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 (14379 MiB free)
memory of node 1: 16384 MiB (13092 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395785-1568404019/watcher-4395785-1568404019 -o /tmp/evaluation-result-4395785-1568404019/solver-4395785-1568404019 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568393375-17084 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1172677649 HOME/instance-4395785-1568404019.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
solver pid=20558, runsolver pid=20555
Current StackSize limit: 8192 KiB
[startup+0.100159 s]*
/proc/loadavg: 1.70 1.51 1.46 3/222 20615
/proc/meminfo: memFree=28125088/32770624 swapFree=66916536/67108860
[pid=20558] ppid=20555 vsize=9972712 memory=17076 CPUtime=0.09 cores=0,2,4,6
/proc/20558/stat : 20558 (java) S 20555 20558 15665 0 -1 1077944320 4490 13009 0 0 1 0 5 3 20 0 6 0 416652417 10212057088 4269 33554432000 4194304 4196468 140734873273296 140734873255840 140160660008695 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
/proc/20558/statm: 2493178 4269 1935 1 0 2481616 0
[pid=20558/tid=20611] ppid=20555 vsize=9972712 memory=4279135704013962638 CPUtime=0.09 cores=0,2,4,6
/proc/20558/task/20611/stat : 20611 (java) R 20555 20558 15665 0 -1 4202560 2297 13009 0 0 1 0 5 3 20 0 6 0 416652426 10212057088 4269 33554432000 4194304 4196468 140734873273296 140160631845456 140160644089182 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20612] ppid=20555 vsize=9972712 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20612/stat : 20612 (java) S 20555 20558 15665 0 -1 1077944384 1 13009 0 0 0 0 5 3 20 0 6 0 416652427 10212057088 4269 33554432000 4194304 4196468 140734873273296 140160664250768 140160660018901 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20613] ppid=20555 vsize=9972712 memory=140171345577600 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20613/stat : 20613 (java) S 20555 20558 15665 0 -1 1077944384 1 13009 0 0 0 0 5 3 20 0 6 0 416652427 10212057088 4269 33554432000 4194304 4196468 140734873273296 140160563140880 140160660018901 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20614] ppid=20555 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20614/stat : 20614 (java) S 20555 20558 15665 0 -1 1077944384 1 13009 0 0 0 0 5 3 20 0 6 0 416652427 10212057088 4269 33554432000 4194304 4196468 140734873273296 140160562088592 140160660018901 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20615] ppid=20555 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20615/stat : 20615 (java) S 20555 20558 15665 0 -1 1077944384 2 13009 0 0 0 0 5 3 20 0 6 0 416652427 10212057088 4269 33554432000 4194304 4196468 140734873273296 140160561035792 140160660018901 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17076 KiB
[startup+0.210454 s]*
/proc/loadavg: 1.70 1.51 1.46 3/231 20624
/proc/meminfo: memFree=28105088/32770624 swapFree=66916536/67108860
[pid=20558] ppid=20555 vsize=10819664 memory=38408 CPUtime=0.25 cores=0,2,4,6
/proc/20558/stat : 20558 (java) S 20555 20558 15665 0 -1 1077944320 7144 13009 0 0 16 1 5 3 20 0 15 0 416652417 11079335936 9602 33554432000 4194304 4196468 140734873273296 140734873255840 140160660008695 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
/proc/20558/statm: 2704916 9602 3162 1 0 2667149 0
[pid=20558/tid=20611] ppid=20555 vsize=10819664 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/20558/task/20611/stat : 20611 (java) R 20555 20558 15665 0 -1 4202560 3621 13009 0 0 10 1 5 3 20 0 15 0 416652426 11079335936 9602 33554432000 4194304 4196468 140734873273296 140160631825808 140160643195504 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20612] ppid=20555 vsize=10819664 memory=365 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20612/stat : 20612 (java) S 20555 20558 15665 0 -1 1077944384 1 13009 0 0 0 0 5 3 20 0 15 0 416652427 11079335936 9602 33554432000 4194304 4196468 140734873273296 140160664250768 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20613] ppid=20555 vsize=10819664 memory=4121273816528111264 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20613/stat : 20613 (java) S 20555 20558 15665 0 -1 1077944384 1 13009 0 0 0 0 5 3 20 0 15 0 416652427 11079335936 9602 33554432000 4194304 4196468 140734873273296 140160563140880 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20614] ppid=20555 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20614/stat : 20614 (java) S 20555 20558 15665 0 -1 1077944384 1 13009 0 0 0 0 5 3 20 0 15 0 416652427 11079335936 9602 33554432000 4194304 4196468 140734873273296 140160562088592 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20615] ppid=20555 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20615/stat : 20615 (java) S 20555 20558 15665 0 -1 1077944384 2 13009 0 0 0 0 5 3 20 0 15 0 416652427 11079335936 9602 33554432000 4194304 4196468 140734873273296 140160561035792 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20616] ppid=20555 vsize=10819664 memory=140171345577600 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20616/stat : 20616 (java) S 20555 20558 15665 0 -1 1077944384 2 13009 0 0 0 0 5 3 20 0 15 0 416652428 11079335936 9602 33554432000 4194304 4196468 140734873273296 140160119110256 140160660019842 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20617] ppid=20555 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20617/stat : 20617 (java) S 20555 20558 15665 0 -1 1077944384 33 13009 0 0 0 0 5 3 20 0 15 0 416652429 11079335936 9602 33554432000 4194304 4196468 140734873273296 140160118056224 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20618] ppid=20555 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20618/stat : 20618 (java) S 20555 20558 15665 0 -1 1077944384 1 13009 0 0 0 0 5 3 20 0 15 0 416652429 11079335936 9602 33554432000 4194304 4196468 140734873273296 140159546812016 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20619] ppid=20555 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20619/stat : 20619 (java) S 20555 20558 15665 0 -1 1077944384 3 13009 0 0 0 0 5 3 20 0 15 0 416652432 11079335936 9602 33554432000 4194304 4196468 140734873273296 140159239412304 140160660027291 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20620] ppid=20555 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20620/stat : 20620 (java) S 20555 20558 15665 0 -1 1077944384 337 13009 0 0 0 0 5 3 20 0 15 0 416652432 11079335936 9602 33554432000 4194304 4196468 140734873273296 140159627552880 140160660019842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20621] ppid=20555 vsize=10819664 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/20558/task/20621/stat : 20621 (java) S 20555 20558 15665 0 -1 1077944384 320 13009 0 0 1 0 5 3 20 0 15 0 416652432 11079335936 9602 33554432000 4194304 4196468 140734873273296 140159626500080 140160660019842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20622] ppid=20555 vsize=10819664 memory=140171345577600 CPUtime=0.11 cores=0,2,4,6
/proc/20558/task/20622/stat : 20622 (java) S 20555 20558 15665 0 -1 1077944384 613 13009 0 0 3 0 5 3 20 0 15 0 416652432 11079335936 9602 33554432000 4194304 4196468 140734873273296 140159625447792 140160660019842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20623] ppid=20555 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20623/stat : 20623 (java) S 20555 20558 15665 0 -1 1077944384 3 13009 0 0 0 0 5 3 20 0 15 0 416652432 11079335936 9602 33554432000 4194304 4196468 140734873273296 140159205853664 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20624] ppid=20555 vsize=10819664 memory=140171345577600 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20624/stat : 20624 (java) S 20555 20558 15665 0 -1 1077944384 1 13009 0 0 0 0 5 3 20 0 15 0 416652432 11079335936 9602 33554432000 4194304 4196468 140734873273296 140159624395696 140160660019842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 38408 KiB
[startup+0.310653 s]*
/proc/loadavg: 1.70 1.51 1.46 3/231 20624
/proc/meminfo: memFree=28092784/32770624 swapFree=66916536/67108860
[pid=20558] ppid=20555 vsize=10820148 memory=49532 CPUtime=0.4 cores=0,2,4,6
/proc/20558/stat : 20558 (java) S 20555 20558 15665 0 -1 1077944320 10838 13009 0 0 29 3 5 3 20 0 15 0 416652417 11079831552 12383 33554432000 4194304 4196468 140734873273296 140734873255840 140160660008695 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
/proc/20558/statm: 2705037 12383 3294 1 0 2667149 0
[pid=20558/tid=20611] ppid=20555 vsize=10820148 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/20558/task/20611/stat : 20611 (java) R 20555 20558 15665 0 -1 4202560 7295 13009 0 0 19 2 5 3 20 0 15 0 416652426 11079831552 12383 33554432000 4194304 4196468 140734873273296 140160631808608 140160643195504 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20612] ppid=20555 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20612/stat : 20612 (java) S 20555 20558 15665 0 -1 1077944384 1 13009 0 0 0 0 5 3 20 0 15 0 416652427 11079831552 12383 33554432000 4194304 4196468 140734873273296 140160664250768 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20613] ppid=20555 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20613/stat : 20613 (java) S 20555 20558 15665 0 -1 1077944384 1 13009 0 0 0 0 5 3 20 0 15 0 416652427 11079831552 12383 33554432000 4194304 4196468 140734873273296 140160563140880 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20614] ppid=20555 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20614/stat : 20614 (java) S 20555 20558 15665 0 -1 1077944384 1 13009 0 0 0 0 5 3 20 0 15 0 416652427 11079831552 12383 33554432000 4194304 4196468 140734873273296 140160562088592 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20615] ppid=20555 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20615/stat : 20615 (java) S 20555 20558 15665 0 -1 1077944384 2 13009 0 0 0 0 5 3 20 0 15 0 416652427 11079831552 12383 33554432000 4194304 4196468 140734873273296 140160561035792 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20616] ppid=20555 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20616/stat : 20616 (java) S 20555 20558 15665 0 -1 1077944384 2 13009 0 0 0 0 5 3 20 0 15 0 416652428 11079831552 12383 33554432000 4194304 4196468 140734873273296 140160119110256 140160660019842 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20617] ppid=20555 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20617/stat : 20617 (java) S 20555 20558 15665 0 -1 1077944384 33 13009 0 0 0 0 5 3 20 0 15 0 416652429 11079831552 12383 33554432000 4194304 4196468 140734873273296 140160118056224 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20618] ppid=20555 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20618/stat : 20618 (java) S 20555 20558 15665 0 -1 1077944384 1 13009 0 0 0 0 5 3 20 0 15 0 416652429 11079831552 12383 33554432000 4194304 4196468 140734873273296 140159546812016 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20619] ppid=20555 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20619/stat : 20619 (java) S 20555 20558 15665 0 -1 1077944384 3 13009 0 0 0 0 5 3 20 0 15 0 416652432 11079831552 12383 33554432000 4194304 4196468 140734873273296 140159239412304 140160660027291 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20620] ppid=20555 vsize=10820148 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/20558/task/20620/stat : 20620 (java) S 20555 20558 15665 0 -1 1077944384 346 13009 0 0 1 0 5 3 20 0 15 0 416652432 11079831552 12383 33554432000 4194304 4196468 140734873273296 140159627552880 140160660019842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20621] ppid=20555 vsize=10820148 memory=-1 CPUtime=0.1 cores=0,2,4,6
/proc/20558/task/20621/stat : 20621 (java) S 20555 20558 15665 0 -1 1077944384 321 13009 0 0 2 0 5 3 20 0 15 0 416652432 11079831552 12383 33554432000 4194304 4196468 140734873273296 140159626500080 140160660019842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20622] ppid=20555 vsize=10820148 memory=140171345577600 CPUtime=0.13 cores=0,2,4,6
/proc/20558/task/20622/stat : 20622 (java) S 20555 20558 15665 0 -1 1077944384 623 13009 0 0 5 0 5 3 20 0 15 0 416652432 11079831552 12383 33554432000 4194304 4196468 140734873273296 140159625447792 140160660019842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20623] ppid=20555 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20623/stat : 20623 (java) S 20555 20558 15665 0 -1 1077944384 3 13009 0 0 0 0 5 3 20 0 15 0 416652432 11079831552 12383 33554432000 4194304 4196468 140734873273296 140159205853664 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20624] ppid=20555 vsize=10820148 memory=140171345577600 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20624/stat : 20624 (java) S 20555 20558 15665 0 -1 1077944384 1 13009 0 0 0 0 5 3 20 0 15 0 416652432 11079831552 12383 33554432000 4194304 4196468 140734873273296 140159624395696 140160660019842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 49532 KiB
[startup+0.700782 s]
/proc/loadavg: 1.70 1.51 1.46 3/231 20624
/proc/meminfo: memFree=28078496/32770624 swapFree=66916536/67108860
[pid=20558] ppid=20555 vsize=10824360 memory=82364 CPUtime=1.11 cores=0,2,4,6
/proc/20558/stat : 20558 (java) S 20555 20558 15665 0 -1 1077944320 15035 13009 0 0 98 5 5 3 20 0 15 0 416652417 11084144640 20591 33554432000 4194304 4196468 140734873273296 140734873255840 140160660008695 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
/proc/20558/statm: 2706090 20591 3507 1 0 2668173 0
[pid=20558/tid=20611] ppid=20555 vsize=10824360 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/20558/task/20611/stat : 20611 (java) R 20555 20558 15665 0 -1 4202560 10243 13009 0 0 55 4 5 3 20 0 15 0 416652426 11084144640 20591 33554432000 4194304 4196468 140734873273296 140160631828640 140160660030621 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20612] ppid=20555 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20612/stat : 20612 (java) S 20555 20558 15665 0 -1 1077944384 1 13009 0 0 0 0 5 3 20 0 15 0 416652427 11084144640 20591 33554432000 4194304 4196468 140734873273296 140160664250768 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20613] ppid=20555 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20613/stat : 20613 (java) S 20555 20558 15665 0 -1 1077944384 1 13009 0 0 0 0 5 3 20 0 15 0 416652427 11084144640 20591 33554432000 4194304 4196468 140734873273296 140160563140880 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20614] ppid=20555 vsize=10824360 memory=140171223905040 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20614/stat : 20614 (java) S 20555 20558 15665 0 -1 1077944384 1 13009 0 0 0 0 5 3 20 0 15 0 416652427 11084144640 20591 33554432000 4194304 4196468 140734873273296 140160562088592 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20615] ppid=20555 vsize=10824360 memory=140174847640154 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20615/stat : 20615 (java) S 20555 20558 15665 0 -1 1077944384 2 13009 0 0 0 0 5 3 20 0 15 0 416652427 11084144640 20591 33554432000 4194304 4196468 140734873273296 140160561035792 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20616] ppid=20555 vsize=10824360 memory=8300 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20616/stat : 20616 (java) S 20555 20558 15665 0 -1 1077944384 5 13009 0 0 0 0 5 3 20 0 15 0 416652428 11084144640 20591 33554432000 4194304 4196468 140734873273296 140160119110256 140160660019842 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20617] ppid=20555 vsize=10824360 memory=6297835844906604903 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20617/stat : 20617 (java) S 20555 20558 15665 0 -1 1077944384 33 13009 0 0 0 0 5 3 20 0 15 0 416652429 11084144640 20591 33554432000 4194304 4196468 140734873273296 140160118056224 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20618] ppid=20555 vsize=10824360 memory=6081102367496366441 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20618/stat : 20618 (java) S 20555 20558 15665 0 -1 1077944384 1 13009 0 0 0 0 5 3 20 0 15 0 416652429 11084144640 20591 33554432000 4194304 4196468 140734873273296 140159546812016 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20619] ppid=20555 vsize=10824360 memory=20360 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20619/stat : 20619 (java) S 20555 20558 15665 0 -1 1077944384 3 13009 0 0 0 0 5 3 20 0 15 0 416652432 11084144640 20591 33554432000 4194304 4196468 140734873273296 140159239412304 140160660027291 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20620] ppid=20555 vsize=10824360 memory=12036 CPUtime=0.19 cores=0,2,4,6
/proc/20558/task/20620/stat : 20620 (java) S 20555 20558 15665 0 -1 1077944384 847 13009 0 0 11 0 5 3 20 0 15 0 416652432 11084144640 20591 33554432000 4194304 4196468 140734873273296 140159627552880 140160660019842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20621] ppid=20555 vsize=10824360 memory=2116 CPUtime=0.21 cores=0,2,4,6
/proc/20558/task/20621/stat : 20621 (java) S 20555 20558 15665 0 -1 1077944384 796 13009 0 0 13 0 5 3 20 0 15 0 416652432 11084144640 20591 33554432000 4194304 4196468 140734873273296 140159626500080 140160660019842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20622] ppid=20555 vsize=10824360 memory=500 CPUtime=0.25 cores=0,2,4,6
/proc/20558/task/20622/stat : 20622 (java) S 20555 20558 15665 0 -1 1077944384 894 13009 0 0 17 0 5 3 20 0 15 0 416652432 11084144640 20591 33554432000 4194304 4196468 140734873273296 140159625447792 140160660019842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20623] ppid=20555 vsize=10824360 memory=1556 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20623/stat : 20623 (java) S 20555 20558 15665 0 -1 1077944384 3 13009 0 0 0 0 5 3 20 0 15 0 416652432 11084144640 20591 33554432000 4194304 4196468 140734873273296 140159205853664 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20624] ppid=20555 vsize=10824360 memory=928 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20624/stat : 20624 (java) S 20555 20558 15665 0 -1 1077944384 1 13009 0 0 0 0 5 3 20 0 15 0 416652432 11084144640 20591 33554432000 4194304 4196468 140734873273296 140159624395696 140160660019842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 82364 KiB
[startup+1.50114 s]
/proc/loadavg: 1.70 1.51 1.46 4/231 20624
/proc/meminfo: memFree=28038920/32770624 swapFree=66916536/67108860
[pid=20558] ppid=20555 vsize=10834676 memory=174296 CPUtime=2.59 cores=0,2,4,6
/proc/20558/stat : 20558 (java) S 20555 20558 15665 0 -1 1077944320 24384 13009 0 0 240 11 5 3 20 0 15 0 416652417 11094708224 43574 33554432000 4194304 4196468 140734873273296 140734873255840 140160660008695 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
/proc/20558/statm: 2708669 43574 3581 1 0 2670733 0
[pid=20558/tid=20611] ppid=20555 vsize=10834676 memory=66456 CPUtime=1.44 cores=0,2,4,6
/proc/20558/task/20611/stat : 20611 (java) R 20555 20558 15665 0 -1 4202560 15973 13009 0 0 129 7 5 3 20 0 15 0 416652426 11094708224 43574 33554432000 4194304 4196468 140734873273296 140160631832560 140160644089212 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20612] ppid=20555 vsize=10834676 memory=6791534058613427641 CPUtime=0.09 cores=0,2,4,6
/proc/20558/task/20612/stat : 20612 (java) S 20555 20558 15665 0 -1 1077944384 47 13009 0 0 1 0 5 3 20 0 15 0 416652427 11094708224 43574 33554432000 4194304 4196468 140734873273296 140160664250768 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20613] ppid=20555 vsize=10834676 memory=280342447841440 CPUtime=0.09 cores=0,2,4,6
/proc/20558/task/20613/stat : 20613 (java) S 20555 20558 15665 0 -1 1077944384 83 13009 0 0 1 0 5 3 20 0 15 0 416652427 11094708224 43574 33554432000 4194304 4196468 140734873273296 140160563140880 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20614] ppid=20555 vsize=10834676 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/20558/task/20614/stat : 20614 (java) S 20555 20558 15665 0 -1 1077944384 51 13009 0 0 1 0 5 3 20 0 15 0 416652427 11094708224 43574 33554432000 4194304 4196468 140734873273296 140160562088592 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20615] ppid=20555 vsize=10834676 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/20558/task/20615/stat : 20615 (java) S 20555 20558 15665 0 -1 1077944384 319 13009 0 0 1 0 5 3 20 0 15 0 416652427 11094708224 43574 33554432000 4194304 4196468 140734873273296 140160561035792 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20616] ppid=20555 vsize=10834676 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/20558/task/20616/stat : 20616 (java) S 20555 20558 15665 0 -1 1077944384 1500 13009 0 0 1 0 5 3 20 0 15 0 416652428 11094708224 43574 33554432000 4194304 4196468 140734873273296 140160119110256 140160660019842 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20617] ppid=20555 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20617/stat : 20617 (java) S 20555 20558 15665 0 -1 1077944384 33 13009 0 0 0 0 5 3 20 0 15 0 416652429 11094708224 43574 33554432000 4194304 4196468 140734873273296 140160118056288 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20618] ppid=20555 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20618/stat : 20618 (java) S 20555 20558 15665 0 -1 1077944384 2 13009 0 0 0 0 5 3 20 0 15 0 416652429 11094708224 43574 33554432000 4194304 4196468 140734873273296 140159546812032 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20619] ppid=20555 vsize=10834676 memory=-2245088631185882904 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20619/stat : 20619 (java) S 20555 20558 15665 0 -1 1077944384 3 13009 0 0 0 0 5 3 20 0 15 0 416652432 11094708224 43574 33554432000 4194304 4196468 140734873273296 140159239412304 140160660027291 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20620] ppid=20555 vsize=10834676 memory=0 CPUtime=0.37 cores=0,2,4,6
/proc/20558/task/20620/stat : 20620 (java) S 20555 20558 15665 0 -1 1077944384 1054 13009 0 0 29 0 5 3 20 0 15 0 416652432 11094708224 43574 33554432000 4194304 4196468 140734873273296 140159627552880 140160660019842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20621] ppid=20555 vsize=10834676 memory=0 CPUtime=0.41 cores=0,2,4,6
/proc/20558/task/20621/stat : 20621 (java) S 20555 20558 15665 0 -1 1077944384 1377 13009 0 0 33 0 5 3 20 0 15 0 416652432 11094708224 43574 33554432000 4194304 4196468 140734873273296 140159626500080 140160660019842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20622] ppid=20555 vsize=10834676 memory=6791534058613427641 CPUtime=0.49 cores=0,2,4,6
/proc/20558/task/20622/stat : 20622 (java) S 20555 20558 15665 0 -1 1077944384 1732 13009 0 0 41 0 5 3 20 0 15 0 416652432 11094708224 43574 33554432000 4194304 4196468 140734873273296 140159625447792 140160660019842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20623] ppid=20555 vsize=10834676 memory=6935649255759568960 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20623/stat : 20623 (java) S 20555 20558 15665 0 -1 1077944384 3 13009 0 0 0 0 5 3 20 0 15 0 416652432 11094708224 43574 33554432000 4194304 4196468 140734873273296 140159205853664 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20624] ppid=20555 vsize=10834676 memory=280342448085888 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20624/stat : 20624 (java) S 20555 20558 15665 0 -1 1077944384 3 13009 0 0 0 0 5 3 20 0 15 0 416652432 11094708224 43574 33554432000 4194304 4196468 140734873273296 140159624395696 140160660019842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
Current children cumulated CPU time: 2.59 s
Current children cumulated vsize: 10834676 KiB
################
# More data... #
################
[startup+3.11146 s]
/proc/loadavg: 1.70 1.51 1.46 5/231 20626
/proc/meminfo: memFree=27847960/32770624 swapFree=66916536/67108860
[pid=20558] ppid=20555 vsize=10842888 memory=297788 CPUtime=6.53 cores=0,2,4,6
/proc/20558/stat : 20558 (java) S 20555 20558 15665 0 -1 1077944320 34120 13009 0 0 628 17 5 3 20 0 15 0 416652417 11103117312 74447 33554432000 4194304 4196468 140734873273296 140734873255840 140160660008695 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
/proc/20558/statm: 2710722 74447 3607 1 0 2672781 0
[pid=20558/tid=20611] ppid=20555 vsize=10842888 memory=8 CPUtime=3.02 cores=0,2,4,6
/proc/20558/task/20611/stat : 20611 (java) R 20555 20558 15665 0 -1 4202560 18721 13009 0 0 285 9 5 3 20 0 15 0 416652426 11103117312 74447 33554432000 4194304 4196468 140734873273296 140160631843664 140160645724768 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20612] ppid=20555 vsize=10842888 memory=244240 CPUtime=0.1 cores=0,2,4,6
/proc/20558/task/20612/stat : 20612 (java) S 20555 20558 15665 0 -1 1077944384 73 13009 0 0 2 0 5 3 20 0 15 0 416652427 11103117312 74447 33554432000 4194304 4196468 140734873273296 140160664250768 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20613] ppid=20555 vsize=10842888 memory=3628 CPUtime=0.09 cores=0,2,4,6
/proc/20558/task/20613/stat : 20613 (java) S 20555 20558 15665 0 -1 1077944384 89 13009 0 0 1 0 5 3 20 0 15 0 416652427 11103117312 74447 33554432000 4194304 4196468 140734873273296 140160563140880 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20614] ppid=20555 vsize=10842888 memory=39064 CPUtime=0.09 cores=0,2,4,6
/proc/20558/task/20614/stat : 20614 (java) S 20555 20558 15665 0 -1 1077944384 63 13009 0 0 1 0 5 3 20 0 15 0 416652427 11103117312 74447 33554432000 4194304 4196468 140734873273296 140160562088592 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20615] ppid=20555 vsize=10842888 memory=992 CPUtime=0.1 cores=0,2,4,6
/proc/20558/task/20615/stat : 20615 (java) S 20555 20558 15665 0 -1 1077944384 330 13009 0 0 2 0 5 3 20 0 15 0 416652427 11103117312 74447 33554432000 4194304 4196468 140734873273296 140160561035792 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20616] ppid=20555 vsize=10842888 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/20558/task/20616/stat : 20616 (java) S 20555 20558 15665 0 -1 1077944384 1545 13009 0 0 2 0 5 3 20 0 15 0 416652428 11103117312 74447 33554432000 4194304 4196468 140734873273296 140160119110256 140160660019842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20617] ppid=20555 vsize=10842888 memory=-3535359994705172060 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20617/stat : 20617 (java) S 20555 20558 15665 0 -1 1077944384 36 13009 0 0 0 0 5 3 20 0 15 0 416652429 11103117312 74447 33554432000 4194304 4196468 140734873273296 140160118056288 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20618] ppid=20555 vsize=10842888 memory=6944656592387989600 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20618/stat : 20618 (java) S 20555 20558 15665 0 -1 1077944384 2 13009 0 0 0 0 5 3 20 0 15 0 416652429 11103117312 74447 33554432000 4194304 4196468 140734873273296 140159546812032 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20619] ppid=20555 vsize=10842888 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20619/stat : 20619 (java) S 20555 20558 15665 0 -1 1077944384 3 13009 0 0 0 0 5 3 20 0 15 0 416652432 11103117312 74447 33554432000 4194304 4196468 140734873273296 140159239412304 140160660027291 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20620] ppid=20555 vsize=10842888 memory=0 CPUtime=1.29 cores=0,2,4,6
/proc/20558/task/20620/stat : 20620 (java) R 20555 20558 15665 0 -1 4202560 3553 13009 0 0 120 1 5 3 20 0 15 0 416652432 11103117312 74447 33554432000 4194304 4196468 140734873273296 140159627541472 140160638175176 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20621] ppid=20555 vsize=10842888 memory=7378735357114097551 CPUtime=1.17 cores=0,2,4,6
/proc/20558/task/20621/stat : 20621 (java) R 20555 20558 15665 0 -1 4202560 3102 13009 0 0 109 0 5 3 20 0 15 0 416652432 11103117312 74447 33554432000 4194304 4196468 140734873273296 140159626486896 140160641529207 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20622] ppid=20555 vsize=10842888 memory=56 CPUtime=1.11 cores=0,2,4,6
/proc/20558/task/20622/stat : 20622 (java) S 20555 20558 15665 0 -1 1077944384 4393 13009 0 0 101 2 5 3 20 0 15 0 416652432 11103117312 74447 33554432000 4194304 4196468 140734873273296 140159625447792 140160660019842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20623] ppid=20555 vsize=10842888 memory=8470556300216991377 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20623/stat : 20623 (java) S 20555 20558 15665 0 -1 1077944384 3 13009 0 0 0 0 5 3 20 0 15 0 416652432 11103117312 74447 33554432000 4194304 4196468 140734873273296 140159205853664 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20624] ppid=20555 vsize=10842888 memory=4638778398333360489 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20624/stat : 20624 (java) S 20555 20558 15665 0 -1 1077944384 3 13009 0 0 0 0 5 3 20 0 15 0 416652432 11103117312 74447 33554432000 4194304 4196468 140734873273296 140159624395696 140160660019842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
Current children cumulated CPU time: 6.53 s
Current children cumulated vsize: 10842888 KiB
Current children cumulated memory: 297788 KiB
[startup+6.30072 s]
/proc/loadavg: 1.72 1.52 1.46 3/231 20626
/proc/meminfo: memFree=27522060/32770624 swapFree=66916536/67108860
[pid=20558] ppid=20555 vsize=10846984 memory=632984 CPUtime=11.99 cores=0,2,4,6
/proc/20558/stat : 20558 (java) S 20555 20558 15665 0 -1 1077944320 52958 13009 0 0 1160 31 5 3 20 0 15 0 416652417 11107311616 158246 33554432000 4194304 4196468 140734873273296 140734873255840 140160660008695 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
/proc/20558/statm: 2711746 158246 3618 1 0 2673805 0
[pid=20558/tid=20611] ppid=20555 vsize=10846984 memory=0 CPUtime=6.09 cores=0,2,4,6
/proc/20558/task/20611/stat : 20611 (java) R 20555 20558 15665 0 -1 4202560 23605 13009 0 0 587 14 5 3 20 0 15 0 416652426 11107311616 158246 33554432000 4194304 4196468 140734873273296 140160631841904 140160660020630 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20612] ppid=20555 vsize=10846984 memory=6944656425123290226 CPUtime=0.19 cores=0,2,4,6
/proc/20558/task/20612/stat : 20612 (java) S 20555 20558 15665 0 -1 1077944384 275 13009 0 0 9 2 5 3 20 0 15 0 416652427 11107311616 158246 33554432000 4194304 4196468 140734873273296 140160664250768 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20613] ppid=20555 vsize=10846984 memory=-7233780906022716832 CPUtime=0.18 cores=0,2,4,6
/proc/20558/task/20613/stat : 20613 (java) S 20555 20558 15665 0 -1 1077944384 146 13009 0 0 8 2 5 3 20 0 15 0 416652427 11107311616 158246 33554432000 4194304 4196468 140734873273296 140160563140880 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20614] ppid=20555 vsize=10846984 memory=-7531822216213012384 CPUtime=0.18 cores=0,2,4,6
/proc/20558/task/20614/stat : 20614 (java) S 20555 20558 15665 0 -1 1077944384 438 13009 0 0 8 2 5 3 20 0 15 0 416652427 11107311616 158246 33554432000 4194304 4196468 140734873273296 140160562088592 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20615] ppid=20555 vsize=10846984 memory=280342448170816 CPUtime=0.19 cores=0,2,4,6
/proc/20558/task/20615/stat : 20615 (java) S 20555 20558 15665 0 -1 1077944384 420 13009 0 0 9 2 5 3 20 0 15 0 416652427 11107311616 158246 33554432000 4194304 4196468 140734873273296 140160561035792 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20616] ppid=20555 vsize=10846984 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/20558/task/20616/stat : 20616 (java) S 20555 20558 15665 0 -1 1077944384 4283 13009 0 0 4 0 5 3 20 0 15 0 416652428 11107311616 158246 33554432000 4194304 4196468 140734873273296 140160119110256 140160660019842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20617] ppid=20555 vsize=10846984 memory=13564886244395449 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20617/stat : 20617 (java) S 20555 20558 15665 0 -1 1077944384 41 13009 0 0 0 0 5 3 20 0 15 0 416652429 11107311616 158246 33554432000 4194304 4196468 140734873273296 140160118056352 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20618] ppid=20555 vsize=10846984 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20618/stat : 20618 (java) S 20555 20558 15665 0 -1 1077944384 8 13009 0 0 0 0 5 3 20 0 15 0 416652429 11107311616 158246 33554432000 4194304 4196468 140734873273296 140159546812032 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20619] ppid=20555 vsize=10846984 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20619/stat : 20619 (java) S 20555 20558 15665 0 -1 1077944384 3 13009 0 0 0 0 5 3 20 0 15 0 416652432 11107311616 158246 33554432000 4194304 4196468 140734873273296 140159239412304 140160660027291 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20620] ppid=20555 vsize=10846984 memory=8 CPUtime=1.86 cores=0,2,4,6
/proc/20558/task/20620/stat : 20620 (java) R 20555 20558 15665 0 -1 4202560 4320 13009 0 0 177 1 5 3 20 0 15 0 416652432 11107311616 158246 33554432000 4194304 4196468 140734873273296 140159627552880 140160644758865 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20621] ppid=20555 vsize=10846984 memory=8 CPUtime=2.3 cores=0,2,4,6
/proc/20558/task/20621/stat : 20621 (java) R 20555 20558 15665 0 -1 4202560 11455 13009 0 0 220 2 5 3 20 0 15 0 416652432 11107311616 158246 33554432000 4194304 4196468 140734873273296 140159626488832 140160644903463 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20622] ppid=20555 vsize=10846984 memory=8 CPUtime=1.42 cores=0,2,4,6
/proc/20558/task/20622/stat : 20622 (java) R 20555 20558 15665 0 -1 1077944384 5747 13009 0 0 132 2 5 3 20 0 15 0 416652432 11107311616 158246 33554432000 4194304 4196468 140734873273296 140159625447792 140160660019842 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20623] ppid=20555 vsize=10846984 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20623/stat : 20623 (java) S 20555 20558 15665 0 -1 1077944384 3 13009 0 0 0 0 5 3 20 0 15 0 416652432 11107311616 158246 33554432000 4194304 4196468 140734873273296 140159205853664 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20624] ppid=20555 vsize=10846984 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20624/stat : 20624 (java) S 20555 20558 15665 0 -1 1077944384 9 13009 0 0 0 0 5 3 20 0 15 0 416652432 11107311616 158246 33554432000 4194304 4196468 140734873273296 140159624395696 140160660019842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
Current children cumulated CPU time: 11.99 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 632984 KiB
[startup+6.70408 s]
# the end of solver process 20558 was just reported to runsolver
# cumulated CPU time of all completed processes: user=12.8288 s, system=0.364179 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.4013 s]
/proc/loadavg: 1.72 1.52 1.46 3/231 20626
/proc/meminfo: memFree=27522060/32770624 swapFree=66916536/67108860
[pid=20558] ppid=20555 vsize=10846984 memory=633164 CPUtime=12.29 cores=0,2,4,6
/proc/20558/stat : 20558 (java) S 20555 20558 15665 0 -1 1077944320 53045 13009 0 0 1190 31 5 3 20 0 15 0 416652417 11107311616 158291 33554432000 4194304 4196468 140734873273296 140734873255840 140160660008695 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
/proc/20558/statm: 2711746 158291 3619 1 0 2673805 0
[pid=20558/tid=20611] ppid=20555 vsize=10846984 memory=8 CPUtime=6.19 cores=0,2,4,6
/proc/20558/task/20611/stat : 20611 (java) R 20555 20558 15665 0 -1 4202560 23632 13009 0 0 597 14 5 3 20 0 15 0 416652426 11107311616 158291 33554432000 4194304 4196468 140734873273296 140160631842176 140160247768069 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20612] ppid=20555 vsize=10846984 memory=8 CPUtime=0.19 cores=0,2,4,6
/proc/20558/task/20612/stat : 20612 (java) S 20555 20558 15665 0 -1 1077944384 275 13009 0 0 9 2 5 3 20 0 15 0 416652427 11107311616 158291 33554432000 4194304 4196468 140734873273296 140160664250768 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20613] ppid=20555 vsize=10846984 memory=6791534058613427641 CPUtime=0.18 cores=0,2,4,6
/proc/20558/task/20613/stat : 20613 (java) S 20555 20558 15665 0 -1 1077944384 146 13009 0 0 8 2 5 3 20 0 15 0 416652427 11107311616 158291 33554432000 4194304 4196468 140734873273296 140160563140880 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20614] ppid=20555 vsize=10846984 memory=146 CPUtime=0.18 cores=0,2,4,6
/proc/20558/task/20614/stat : 20614 (java) S 20555 20558 15665 0 -1 1077944384 438 13009 0 0 8 2 5 3 20 0 15 0 416652427 11107311616 158291 33554432000 4194304 4196468 140734873273296 140160562088592 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20615] ppid=20555 vsize=10846984 memory=1 CPUtime=0.19 cores=0,2,4,6
/proc/20558/task/20615/stat : 20615 (java) S 20555 20558 15665 0 -1 1077944384 420 13009 0 0 9 2 5 3 20 0 15 0 416652427 11107311616 158291 33554432000 4194304 4196468 140734873273296 140160561035792 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20616] ppid=20555 vsize=10846984 memory=1 CPUtime=0.12 cores=0,2,4,6
/proc/20558/task/20616/stat : 20616 (java) S 20555 20558 15665 0 -1 1077944384 4283 13009 0 0 4 0 5 3 20 0 15 0 416652428 11107311616 158291 33554432000 4194304 4196468 140734873273296 140160119110256 140160660019842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20617] ppid=20555 vsize=10846984 memory=1 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20617/stat : 20617 (java) S 20555 20558 15665 0 -1 1077944384 41 13009 0 0 0 0 5 3 20 0 15 0 416652429 11107311616 158291 33554432000 4194304 4196468 140734873273296 140160118056352 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20618] ppid=20555 vsize=10846984 memory=1 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20618/stat : 20618 (java) S 20555 20558 15665 0 -1 1077944384 8 13009 0 0 0 0 5 3 20 0 15 0 416652429 11107311616 158291 33554432000 4194304 4196468 140734873273296 140159546812032 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20619] ppid=20555 vsize=10846984 memory=1 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20619/stat : 20619 (java) S 20555 20558 15665 0 -1 1077944384 3 13009 0 0 0 0 5 3 20 0 15 0 416652432 11107311616 158291 33554432000 4194304 4196468 140734873273296 140159239412304 140160660027291 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20620] ppid=20555 vsize=10846984 memory=0 CPUtime=1.95 cores=0,2,4,6
/proc/20558/task/20620/stat : 20620 (java) R 20555 20558 15665 0 -1 4202560 4336 13009 0 0 186 1 5 3 20 0 15 0 416652432 11107311616 158291 33554432000 4194304 4196468 140734873273296 140159627539312 140160652298014 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20621] ppid=20555 vsize=10846984 memory=0 CPUtime=2.4 cores=0,2,4,6
/proc/20558/task/20621/stat : 20621 (java) R 20555 20558 15665 0 -1 4202560 11475 13009 0 0 230 2 5 3 20 0 15 0 416652432 11107311616 158291 33554432000 4194304 4196468 140734873273296 140159626487104 140160643505435 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20622] ppid=20555 vsize=10846984 memory=542980 CPUtime=1.44 cores=0,2,4,6
/proc/20558/task/20622/stat : 20622 (java) S 20555 20558 15665 0 -1 1077944384 5771 13009 0 0 134 2 5 3 20 0 15 0 416652432 11107311616 158291 33554432000 4194304 4196468 140734873273296 140159625447792 140160660019842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20623] ppid=20555 vsize=10846984 memory=14012 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20623/stat : 20623 (java) S 20555 20558 15665 0 -1 1077944384 3 13009 0 0 0 0 5 3 20 0 15 0 416652432 11107311616 158291 33554432000 4194304 4196468 140734873273296 140159205853664 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20624] ppid=20555 vsize=10846984 memory=20360 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20624/stat : 20624 (java) S 20555 20558 15665 0 -1 1077944384 9 13009 0 0 0 0 5 3 20 0 15 0 416652432 11107311616 158291 33554432000 4194304 4196468 140734873273296 140159624395696 140160660019842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
Current children cumulated CPU time: 12.29 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 633164 KiB
[startup+6.6007 s]
/proc/loadavg: 1.72 1.52 1.46 3/231 20626
/proc/meminfo: memFree=27522060/32770624 swapFree=66916536/67108860
[pid=20558] ppid=20555 vsize=10846984 memory=633532 CPUtime=12.89 cores=0,2,4,6
/proc/20558/stat : 20558 (java) S 20555 20558 15665 0 -1 1077944320 53108 13009 0 0 1250 31 5 3 20 0 15 0 416652417 11107311616 158383 33554432000 4194304 4196468 140734873273296 140734873255840 140160660008695 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
/proc/20558/statm: 2711746 158383 3619 1 0 2673805 0
[pid=20558/tid=20611] ppid=20555 vsize=10846984 memory=2116 CPUtime=6.39 cores=0,2,4,6
/proc/20558/task/20611/stat : 20611 (java) R 20555 20558 15665 0 -1 4202560 23633 13009 0 0 617 14 5 3 20 0 15 0 416652426 11107311616 158383 33554432000 4194304 4196468 140734873273296 140160631842848 140160247768106 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20612] ppid=20555 vsize=10846984 memory=2241 CPUtime=0.19 cores=0,2,4,6
/proc/20558/task/20612/stat : 20612 (java) S 20555 20558 15665 0 -1 1077944384 275 13009 0 0 9 2 5 3 20 0 15 0 416652427 11107311616 158383 33554432000 4194304 4196468 140734873273296 140160664250768 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20613] ppid=20555 vsize=10846984 memory=2244 CPUtime=0.18 cores=0,2,4,6
/proc/20558/task/20613/stat : 20613 (java) S 20555 20558 15665 0 -1 1077944384 146 13009 0 0 8 2 5 3 20 0 15 0 416652427 11107311616 158383 33554432000 4194304 4196468 140734873273296 140160563140880 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20614] ppid=20555 vsize=10846984 memory=6656426216303648864 CPUtime=0.18 cores=0,2,4,6
/proc/20558/task/20614/stat : 20614 (java) S 20555 20558 15665 0 -1 1077944384 438 13009 0 0 8 2 5 3 20 0 15 0 416652427 11107311616 158383 33554432000 4194304 4196468 140734873273296 140160562088592 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20615] ppid=20555 vsize=10846984 memory=1156 CPUtime=0.19 cores=0,2,4,6
/proc/20558/task/20615/stat : 20615 (java) S 20555 20558 15665 0 -1 1077944384 420 13009 0 0 9 2 5 3 20 0 15 0 416652427 11107311616 158383 33554432000 4194304 4196468 140734873273296 140160561035792 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20616] ppid=20555 vsize=10846984 memory=280342448356608 CPUtime=0.12 cores=0,2,4,6
/proc/20558/task/20616/stat : 20616 (java) S 20555 20558 15665 0 -1 1077944384 4283 13009 0 0 4 0 5 3 20 0 15 0 416652428 11107311616 158383 33554432000 4194304 4196468 140734873273296 140160119110256 140160660019842 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20617] ppid=20555 vsize=10846984 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20617/stat : 20617 (java) S 20555 20558 15665 0 -1 1077944384 41 13009 0 0 0 0 5 3 20 0 15 0 416652429 11107311616 158383 33554432000 4194304 4196468 140734873273296 140160118056352 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20618] ppid=20555 vsize=10846984 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20618/stat : 20618 (java) S 20555 20558 15665 0 -1 1077944384 8 13009 0 0 0 0 5 3 20 0 15 0 416652429 11107311616 158383 33554432000 4194304 4196468 140734873273296 140159546812032 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20619] ppid=20555 vsize=10846984 memory=331872 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20619/stat : 20619 (java) S 20555 20558 15665 0 -1 1077944384 3 13009 0 0 0 0 5 3 20 0 15 0 416652432 11107311616 158383 33554432000 4194304 4196468 140734873273296 140159239412304 140160660027291 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20620] ppid=20555 vsize=10846984 memory=1 CPUtime=2.14 cores=0,2,4,6
/proc/20558/task/20620/stat : 20620 (java) R 20555 20558 15665 0 -1 4202560 4354 13009 0 0 205 1 5 3 20 0 15 0 416652432 11107311616 158383 33554432000 4194304 4196468 140734873273296 140159627542560 140160643505483 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20621] ppid=20555 vsize=10846984 memory=1 CPUtime=2.59 cores=0,2,4,6
/proc/20558/task/20621/stat : 20621 (java) R 20555 20558 15665 0 -1 4202560 11498 13009 0 0 249 2 5 3 20 0 15 0 416652432 11107311616 158383 33554432000 4194304 4196468 140734873273296 140159626500080 140160641187669 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20622] ppid=20555 vsize=10846984 memory=490972 CPUtime=1.46 cores=0,2,4,6
/proc/20558/task/20622/stat : 20622 (java) R 20555 20558 15665 0 -1 1077944384 5792 13009 0 0 136 2 5 3 20 0 15 0 416652432 11107311616 158383 33554432000 4194304 4196468 140734873273296 140159625447792 140160660019842 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20623] ppid=20555 vsize=10846984 memory=3628 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20623/stat : 20623 (java) S 20555 20558 15665 0 -1 1077944384 3 13009 0 0 0 0 5 3 20 0 15 0 416652432 11107311616 158383 33554432000 4194304 4196468 140734873273296 140159205853664 140160660018901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
[pid=20558/tid=20624] ppid=20555 vsize=10846984 memory=39064 CPUtime=0.08 cores=0,2,4,6
/proc/20558/task/20624/stat : 20624 (java) S 20555 20558 15665 0 -1 1077944384 9 13009 0 0 0 0 5 3 20 0 15 0 416652432 11107311616 158383 33554432000 4194304 4196468 140734873273296 140159624395696 140160660019842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8278016 140734873275119 140734873277637 140734873277637 140734873280463 0
Current children cumulated CPU time: 12.89 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 633532 KiB
Child status: 0
Real time (s): 6.70413
CPU time (s): 13.193
CPU user time (s): 12.8288
CPU system time (s): 0.364179
CPU usage (%): 196.789
Max. virtual memory (cumulated for all children) (KiB): 10847564
Max. memory (cumulated for all children) (KiB): 633532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.8288
system time used= 0.364179
maximum resident set size= 636300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66339
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6279
involuntary context switches= 60
# summary of solver processes directly reported to runsolver:
# pid: 20558
# total CPU time (s): 13.193
# total CPU user time (s): 12.8288
# total CPU system time (s): 0.364179
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.067365 second user time and 0.103162 second system time
The end