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 (9589 MiB free)
memory of node 1: 16384 MiB (9760 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294828-1532492374/watcher-4294828-1532492374 -o /tmp/evaluation-result-4294828-1532492374/solver-4294828-1532492374 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532466433-19936 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=135187924 HOME/instance-4294828-1532492374.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=25201, runsolver pid=25198
Current StackSize limit: 8192 KiB
[startup+0.100067 s]*
/proc/loadavg: 1.38 1.26 1.30 2/206 25255
/proc/meminfo: memFree=19810432/32770624 swapFree=67108860/67108860
[pid=25201] ppid=25198 vsize=9972712 memory=16016 CPUtime=0.08 cores=0,2,4,6
/proc/25201/stat : 25201 (java) S 25198 25201 19905 0 -1 1077944320 4129 13162 0 0 1 0 5 2 20 0 6 0 66800585 10212057088 4004 33554432000 4194304 4196468 140737257185840 140737257168384 139749503176439 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
/proc/25201/statm: 2493178 4004 1895 1 0 2481616 0
[pid=25201/tid=25255] ppid=25198 vsize=9972712 memory=4279135704013569421 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25255/stat : 25255 (java) R 25198 25201 19905 0 -1 4202560 1950 13162 0 0 0 0 5 2 20 0 6 0 66800595 10212057088 4004 33554432000 4194304 4196468 140737257185840 139749475013200 139749486379296 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25256] ppid=25198 vsize=9972712 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25256/stat : 25256 (java) S 25198 25201 19905 0 -1 1077944384 1 13162 0 0 0 0 5 2 20 0 6 0 66800596 10212057088 4004 33554432000 4194304 4196468 140737257185840 139749507419152 139749503186645 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25257] ppid=25198 vsize=9972712 memory=140231421490816 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25257/stat : 25257 (java) S 25198 25201 19905 0 -1 1077944384 1 13162 0 0 0 0 5 2 20 0 6 0 66800596 10212057088 4004 33554432000 4194304 4196468 140737257185840 139749395692688 139749503186645 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25258] ppid=25198 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25258/stat : 25258 (java) S 25198 25201 19905 0 -1 1077944384 2 13162 0 0 0 0 5 2 20 0 6 0 66800596 10212057088 4004 33554432000 4194304 4196468 140737257185840 139749394639632 139749503186645 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25259] ppid=25198 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25259/stat : 25259 (java) S 25198 25201 19905 0 -1 1077944384 2 13162 0 0 0 0 5 2 20 0 6 0 66800596 10212057088 4004 33554432000 4194304 4196468 140737257185840 139749393587088 139749503186645 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16016 KiB
[startup+0.21024 s]*
/proc/loadavg: 1.38 1.26 1.30 3/219 25268
/proc/meminfo: memFree=19788708/32770624 swapFree=67108860/67108860
[pid=25201] ppid=25198 vsize=10818904 memory=38612 CPUtime=0.24 cores=0,2,4,6
/proc/25201/stat : 25201 (java) S 25198 25201 19905 0 -1 1077944320 7371 13162 0 0 16 1 5 2 20 0 15 0 66800585 11078557696 9653 33554432000 4194304 4196468 140737257185840 140737257168384 139749503176439 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
/proc/25201/statm: 2704726 9653 2974 1 0 2667149 0
[pid=25201/tid=25255] ppid=25198 vsize=10818904 memory=-6517102902069810590 CPUtime=0.17 cores=0,2,4,6
/proc/25201/task/25255/stat : 25255 (java) R 25198 25201 19905 0 -1 4202560 3912 13162 0 0 10 0 5 2 20 0 15 0 66800595 11078557696 9653 33554432000 4194304 4196468 140737257185840 139749475000432 139749503190343 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25256] ppid=25198 vsize=10818904 memory=-7025452035940392864 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25256/stat : 25256 (java) S 25198 25201 19905 0 -1 1077944384 1 13162 0 0 0 0 5 2 20 0 15 0 66800596 11078557696 9653 33554432000 4194304 4196468 140737257185840 139749507419152 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25257] ppid=25198 vsize=10818904 memory=140231421490816 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25257/stat : 25257 (java) S 25198 25201 19905 0 -1 1077944384 1 13162 0 0 0 0 5 2 20 0 15 0 66800596 11078557696 9653 33554432000 4194304 4196468 140737257185840 139749395692688 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25258] ppid=25198 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25258/stat : 25258 (java) S 25198 25201 19905 0 -1 1077944384 2 13162 0 0 0 0 5 2 20 0 15 0 66800596 11078557696 9653 33554432000 4194304 4196468 140737257185840 139749394639632 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25259] ppid=25198 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25259/stat : 25259 (java) S 25198 25201 19905 0 -1 1077944384 2 13162 0 0 0 0 5 2 20 0 15 0 66800596 11078557696 9653 33554432000 4194304 4196468 140737257185840 139749393587088 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25260] ppid=25198 vsize=10818904 memory=140231421490816 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25260/stat : 25260 (java) S 25198 25201 19905 0 -1 1077944384 2 13162 0 0 0 0 5 2 20 0 15 0 66800597 11078557696 9653 33554432000 4194304 4196468 140737257185840 139748962150640 139749503187586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25261] ppid=25198 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25261/stat : 25261 (java) S 25198 25201 19905 0 -1 1077944384 33 13162 0 0 0 0 5 2 20 0 15 0 66800598 11078557696 9653 33554432000 4194304 4196468 140737257185840 139748961096864 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25262] ppid=25198 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25262/stat : 25262 (java) S 25198 25201 19905 0 -1 1077944384 1 13162 0 0 0 0 5 2 20 0 15 0 66800598 11078557696 9653 33554432000 4194304 4196468 140737257185840 139748370801392 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25263] ppid=25198 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25263/stat : 25263 (java) S 25198 25201 19905 0 -1 1077944384 3 13162 0 0 0 0 5 2 20 0 15 0 66800601 11078557696 9653 33554432000 4194304 4196468 140737257185840 139748063401936 139749503195035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25264] ppid=25198 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25201/task/25264/stat : 25264 (java) S 25198 25201 19905 0 -1 1077944384 475 13162 0 0 1 0 5 2 20 0 15 0 66800601 11078557696 9653 33554432000 4194304 4196468 140737257185840 139748927539952 139749503187586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25265] ppid=25198 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25265/stat : 25265 (java) S 25198 25201 19905 0 -1 1077944384 137 13162 0 0 0 0 5 2 20 0 15 0 66800601 11078557696 9653 33554432000 4194304 4196468 140737257185840 139748926487408 139749503187586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25266] ppid=25198 vsize=10818904 memory=140231421490816 CPUtime=0.1 cores=0,2,4,6
/proc/25201/task/25266/stat : 25266 (java) S 25198 25201 19905 0 -1 1077944384 611 13162 0 0 3 0 5 2 20 0 15 0 66800601 11078557696 9653 33554432000 4194304 4196468 140737257185840 139748925434352 139749503187586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25267] ppid=25198 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25267/stat : 25267 (java) S 25198 25201 19905 0 -1 1077944384 3 13162 0 0 0 0 5 2 20 0 15 0 66800601 11078557696 9653 33554432000 4194304 4196468 140737257185840 139748029844320 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25268] ppid=25198 vsize=10818904 memory=140231421490816 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25268/stat : 25268 (java) S 25198 25201 19905 0 -1 1077944384 1 13162 0 0 0 0 5 2 20 0 15 0 66800601 11078557696 9653 33554432000 4194304 4196468 140737257185840 139748924381744 139749503187586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 38612 KiB
[startup+0.310322 s]*
/proc/loadavg: 1.38 1.26 1.30 3/219 25268
/proc/meminfo: memFree=19775932/32770624 swapFree=67108860/67108860
[pid=25201] ppid=25198 vsize=10819352 memory=50976 CPUtime=0.37 cores=0,2,4,6
/proc/25201/stat : 25201 (java) S 25198 25201 19905 0 -1 1077944320 10277 13162 0 0 28 2 5 2 20 0 15 0 66800585 11079016448 12744 33554432000 4194304 4196468 140737257185840 140737257168384 139749503176439 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
/proc/25201/statm: 2704838 12744 3093 1 0 2667149 0
[pid=25201/tid=25255] ppid=25198 vsize=10819352 memory=6791534058613427641 CPUtime=0.27 cores=0,2,4,6
/proc/25201/task/25255/stat : 25255 (java) R 25198 25201 19905 0 -1 4202560 6841 13162 0 0 19 1 5 2 20 0 15 0 66800595 11079016448 12744 33554432000 4194304 4196468 140737257185840 139749474988448 139749483452188 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25256] ppid=25198 vsize=10819352 memory=7373043845850746960 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25256/stat : 25256 (java) S 25198 25201 19905 0 -1 1077944384 1 13162 0 0 0 0 5 2 20 0 15 0 66800596 11079016448 12744 33554432000 4194304 4196468 140737257185840 139749507419152 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25257] ppid=25198 vsize=10819352 memory=2076 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25257/stat : 25257 (java) S 25198 25201 19905 0 -1 1077944384 1 13162 0 0 0 0 5 2 20 0 15 0 66800596 11079016448 12744 33554432000 4194304 4196468 140737257185840 139749395692688 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25258] ppid=25198 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25258/stat : 25258 (java) S 25198 25201 19905 0 -1 1077944384 2 13162 0 0 0 0 5 2 20 0 15 0 66800596 11079016448 12810 33554432000 4194304 4196468 140737257185840 139749394639632 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25259] ppid=25198 vsize=10819352 memory=4126316290023845779 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25259/stat : 25259 (java) S 25198 25201 19905 0 -1 1077944384 2 13162 0 0 0 0 5 2 20 0 15 0 66800596 11079016448 12810 33554432000 4194304 4196468 140737257185840 139749393587088 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25260] ppid=25198 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25260/stat : 25260 (java) S 25198 25201 19905 0 -1 1077944384 2 13162 0 0 0 0 5 2 20 0 15 0 66800597 11079016448 12810 33554432000 4194304 4196468 140737257185840 139748962150640 139749503187586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25261] ppid=25198 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25261/stat : 25261 (java) S 25198 25201 19905 0 -1 1077944384 33 13162 0 0 0 0 5 2 20 0 15 0 66800598 11079016448 12810 33554432000 4194304 4196468 140737257185840 139748961096864 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25262] ppid=25198 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25262/stat : 25262 (java) S 25198 25201 19905 0 -1 1077944384 1 13162 0 0 0 0 5 2 20 0 15 0 66800598 11079016448 12810 33554432000 4194304 4196468 140737257185840 139748370801392 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25263] ppid=25198 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25263/stat : 25263 (java) S 25198 25201 19905 0 -1 1077944384 3 13162 0 0 0 0 5 2 20 0 15 0 66800601 11079016448 12810 33554432000 4194304 4196468 140737257185840 139748063401936 139749503195035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25264] ppid=25198 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/25201/task/25264/stat : 25264 (java) S 25198 25201 19905 0 -1 1077944384 476 13162 0 0 2 0 5 2 20 0 15 0 66800601 11079016448 12810 33554432000 4194304 4196468 140737257185840 139748927539952 139749503187586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25265] ppid=25198 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25201/task/25265/stat : 25265 (java) S 25198 25201 19905 0 -1 1077944384 137 13162 0 0 1 0 5 2 20 0 15 0 66800601 11079016448 12810 33554432000 4194304 4196468 140737257185840 139748926487408 139749503187586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25266] ppid=25198 vsize=10819352 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/25201/task/25266/stat : 25266 (java) S 25198 25201 19905 0 -1 1077944384 621 13162 0 0 4 0 5 2 20 0 15 0 66800601 11079016448 12810 33554432000 4194304 4196468 140737257185840 139748925434352 139749503187586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25267] ppid=25198 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25267/stat : 25267 (java) S 25198 25201 19905 0 -1 1077944384 3 13162 0 0 0 0 5 2 20 0 15 0 66800601 11079016448 12810 33554432000 4194304 4196468 140737257185840 139748029844320 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25268] ppid=25198 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25268/stat : 25268 (java) S 25198 25201 19905 0 -1 1077944384 1 13162 0 0 0 0 5 2 20 0 15 0 66800601 11079016448 12810 33554432000 4194304 4196468 140737257185840 139748924381744 139749503187586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 50976 KiB
[startup+0.700722 s]
/proc/loadavg: 1.38 1.26 1.30 3/219 25268
/proc/meminfo: memFree=19765388/32770624 swapFree=67108860/67108860
[pid=25201] ppid=25198 vsize=10819352 memory=84640 CPUtime=0.97 cores=0,2,4,6
/proc/25201/stat : 25201 (java) S 25198 25201 19905 0 -1 1077944320 16805 13162 0 0 87 3 5 2 20 0 15 0 66800585 11079016448 21160 33554432000 4194304 4196468 140737257185840 140737257168384 139749503176439 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
/proc/25201/statm: 2704838 21160 3238 1 0 2667149 0
[pid=25201/tid=25255] ppid=25198 vsize=10819352 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/25201/task/25255/stat : 25255 (java) R 25198 25201 19905 0 -1 4202560 12332 13162 0 0 56 2 5 2 20 0 15 0 66800595 11079016448 21160 33554432000 4194304 4196468 140737257185840 139749474998160 139749488342078 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25256] ppid=25198 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25256/stat : 25256 (java) S 25198 25201 19905 0 -1 1077944384 1 13162 0 0 0 0 5 2 20 0 15 0 66800596 11079016448 21160 33554432000 4194304 4196468 140737257185840 139749507419152 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25257] ppid=25198 vsize=10819352 memory=4036 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25257/stat : 25257 (java) S 25198 25201 19905 0 -1 1077944384 1 13162 0 0 0 0 5 2 20 0 15 0 66800596 11079016448 21160 33554432000 4194304 4196468 140737257185840 139749395692688 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25258] ppid=25198 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25258/stat : 25258 (java) S 25198 25201 19905 0 -1 1077944384 2 13162 0 0 0 0 5 2 20 0 15 0 66800596 11079016448 21160 33554432000 4194304 4196468 140737257185840 139749394639632 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25259] ppid=25198 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25259/stat : 25259 (java) S 25198 25201 19905 0 -1 1077944384 2 13162 0 0 0 0 5 2 20 0 15 0 66800596 11079016448 21160 33554432000 4194304 4196468 140737257185840 139749393587088 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25260] ppid=25198 vsize=10819352 memory=4420 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25260/stat : 25260 (java) S 25198 25201 19905 0 -1 1077944384 5 13162 0 0 0 0 5 2 20 0 15 0 66800597 11079016448 21160 33554432000 4194304 4196468 140737257185840 139748962150640 139749503187586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25261] ppid=25198 vsize=10819352 memory=6628 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25261/stat : 25261 (java) S 25198 25201 19905 0 -1 1077944384 33 13162 0 0 0 0 5 2 20 0 15 0 66800598 11079016448 21160 33554432000 4194304 4196468 140737257185840 139748961096864 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25262] ppid=25198 vsize=10819352 memory=8836 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25262/stat : 25262 (java) S 25198 25201 19905 0 -1 1077944384 1 13162 0 0 0 0 5 2 20 0 15 0 66800598 11079016448 21160 33554432000 4194304 4196468 140737257185840 139748370801392 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25263] ppid=25198 vsize=10819352 memory=11044 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25263/stat : 25263 (java) S 25198 25201 19905 0 -1 1077944384 3 13162 0 0 0 0 5 2 20 0 15 0 66800601 11079016448 21160 33554432000 4194304 4196468 140737257185840 139748063401936 139749503195035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25264] ppid=25198 vsize=10819352 memory=13252 CPUtime=0.17 cores=0,2,4,6
/proc/25201/task/25264/stat : 25264 (java) S 25198 25201 19905 0 -1 1077944384 1078 13162 0 0 10 0 5 2 20 0 15 0 66800601 11079016448 21160 33554432000 4194304 4196468 140737257185840 139748927539952 139749503187586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25265] ppid=25198 vsize=10819352 memory=15460 CPUtime=0.14 cores=0,2,4,6
/proc/25201/task/25265/stat : 25265 (java) S 25198 25201 19905 0 -1 1077944384 485 13162 0 0 7 0 5 2 20 0 15 0 66800601 11079016448 21160 33554432000 4194304 4196468 140737257185840 139748926487408 139749503187586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25266] ppid=25198 vsize=10819352 memory=17668 CPUtime=0.2 cores=0,2,4,6
/proc/25201/task/25266/stat : 25266 (java) S 25198 25201 19905 0 -1 1077944384 671 13162 0 0 13 0 5 2 20 0 15 0 66800601 11079016448 21160 33554432000 4194304 4196468 140737257185840 139748925434352 139749503187586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25267] ppid=25198 vsize=10819352 memory=19876 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25267/stat : 25267 (java) S 25198 25201 19905 0 -1 1077944384 3 13162 0 0 0 0 5 2 20 0 15 0 66800601 11079016448 21160 33554432000 4194304 4196468 140737257185840 139748029844320 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25268] ppid=25198 vsize=10819352 memory=22084 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25268/stat : 25268 (java) S 25198 25201 19905 0 -1 1077944384 1 13162 0 0 0 0 5 2 20 0 15 0 66800601 11079016448 21160 33554432000 4194304 4196468 140737257185840 139748924381744 139749503187586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84640 KiB
[startup+1.50079 s]
/proc/loadavg: 1.38 1.26 1.30 3/219 25268
/proc/meminfo: memFree=19722096/32770624 swapFree=67108860/67108860
[pid=25201] ppid=25198 vsize=10834252 memory=174704 CPUtime=2.34 cores=0,2,4,6
/proc/25201/stat : 25201 (java) S 25198 25201 19905 0 -1 1077944320 24433 13162 0 0 219 8 5 2 20 0 15 0 66800585 11094274048 43676 33554432000 4194304 4196468 140737257185840 140737257168384 139749503176439 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
/proc/25201/statm: 2708563 43676 3467 1 0 2670221 0
[pid=25201/tid=25255] ppid=25198 vsize=10834252 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/25201/task/25255/stat : 25255 (java) R 25198 25201 19905 0 -1 4202560 17789 13162 0 0 130 5 5 2 20 0 15 0 66800595 11094274048 43676 33554432000 4194304 4196468 140737257185840 139749474993360 139749487256926 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25256] ppid=25198 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25201/task/25256/stat : 25256 (java) S 25198 25201 19905 0 -1 1077944384 171 13162 0 0 1 0 5 2 20 0 15 0 66800596 11094274048 43676 33554432000 4194304 4196468 140737257185840 139749507419152 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25257] ppid=25198 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25201/task/25257/stat : 25257 (java) S 25198 25201 19905 0 -1 1077944384 8 13162 0 0 1 0 5 2 20 0 15 0 66800596 11094274048 43676 33554432000 4194304 4196468 140737257185840 139749395692688 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25258] ppid=25198 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25258/stat : 25258 (java) S 25198 25201 19905 0 -1 1077944384 60 13162 0 0 0 0 5 2 20 0 15 0 66800596 11094274048 43676 33554432000 4194304 4196468 140737257185840 139749394639632 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25259] ppid=25198 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25259/stat : 25259 (java) S 25198 25201 19905 0 -1 1077944384 38 13162 0 0 0 0 5 2 20 0 15 0 66800596 11094274048 43676 33554432000 4194304 4196468 140737257185840 139749393587088 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25260] ppid=25198 vsize=10834252 memory=-7965959130280075168 CPUtime=0.08 cores=0,2,4,6
/proc/25201/task/25260/stat : 25260 (java) S 25198 25201 19905 0 -1 1077944384 481 13162 0 0 1 0 5 2 20 0 15 0 66800597 11094274048 43676 33554432000 4194304 4196468 140737257185840 139748962150640 139749503187586 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25261] ppid=25198 vsize=10834252 memory=280462572464384 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25261/stat : 25261 (java) S 25198 25201 19905 0 -1 1077944384 34 13162 0 0 0 0 5 2 20 0 15 0 66800598 11094274048 43676 33554432000 4194304 4196468 140737257185840 139748961096928 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25262] ppid=25198 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25262/stat : 25262 (java) S 25198 25201 19905 0 -1 1077944384 1 13162 0 0 0 0 5 2 20 0 15 0 66800598 11094274048 43676 33554432000 4194304 4196468 140737257185840 139748370801408 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25263] ppid=25198 vsize=10834252 memory=13056 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25263/stat : 25263 (java) S 25198 25201 19905 0 -1 1077944384 3 13162 0 0 0 0 5 2 20 0 15 0 66800601 11094274048 43676 33554432000 4194304 4196468 140737257185840 139748063401936 139749503195035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25264] ppid=25198 vsize=10834252 memory=5788 CPUtime=0.32 cores=0,2,4,6
/proc/25201/task/25264/stat : 25264 (java) S 25198 25201 19905 0 -1 1077944384 1339 13162 0 0 25 0 5 2 20 0 15 0 66800601 11094274048 43676 33554432000 4194304 4196468 140737257185840 139748927539952 139749503187586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25265] ppid=25198 vsize=10834252 memory=4620 CPUtime=0.28 cores=0,2,4,6
/proc/25201/task/25265/stat : 25265 (java) S 25198 25201 19905 0 -1 1077944384 947 13162 0 0 21 0 5 2 20 0 15 0 66800601 11094274048 43676 33554432000 4194304 4196468 140737257185840 139748926487408 139749503187586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25266] ppid=25198 vsize=10834252 memory=1424 CPUtime=0.42 cores=0,2,4,6
/proc/25201/task/25266/stat : 25266 (java) S 25198 25201 19905 0 -1 1077944384 1371 13162 0 0 35 0 5 2 20 0 15 0 66800601 11094274048 43676 33554432000 4194304 4196468 140737257185840 139748925434352 139749503187586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25267] ppid=25198 vsize=10834252 memory=1232 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25267/stat : 25267 (java) S 25198 25201 19905 0 -1 1077944384 3 13162 0 0 0 0 5 2 20 0 15 0 66800601 11094274048 43676 33554432000 4194304 4196468 140737257185840 139748029844320 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25268] ppid=25198 vsize=10834252 memory=1012 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25268/stat : 25268 (java) S 25198 25201 19905 0 -1 1077944384 1 13162 0 0 0 0 5 2 20 0 15 0 66800601 11094274048 43676 33554432000 4194304 4196468 140737257185840 139748924381744 139749503187586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
Current children cumulated CPU time: 2.34 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/25201/task/25255/stat : 25255 (java) R 25198 25201 19905 0 -1 4202560 99822 13162 0 0 235593 51 5 2 20 0 15 0 66800595 11180277760 288722 33554432000 4194304 4196468 140737257185840 139749475011872 139749079220583 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25256] ppid=25198 vsize=10918240 memory=1154888 CPUtime=12.65 cores=0,2,4,6
/proc/25201/task/25256/stat : 25256 (java) S 25198 25201 19905 0 -1 1077944384 24378 13162 0 0 1203 55 5 2 20 0 15 0 66800596 11180277760 288722 33554432000 4194304 4196468 140737257185840 139749507419152 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25257] ppid=25198 vsize=10918240 memory=1154888 CPUtime=12.67 cores=0,2,4,6
/proc/25201/task/25257/stat : 25257 (java) S 25198 25201 19905 0 -1 1077944384 23901 13162 0 0 1211 49 5 2 20 0 15 0 66800596 11180277760 288722 33554432000 4194304 4196468 140737257185840 139749395692688 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25258] ppid=25198 vsize=10918240 memory=1154888 CPUtime=12.69 cores=0,2,4,6
/proc/25201/task/25258/stat : 25258 (java) S 25198 25201 19905 0 -1 1077944384 20746 13162 0 0 1210 52 5 2 20 0 15 0 66800596 11180277760 288722 33554432000 4194304 4196468 140737257185840 139749394639632 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25259] ppid=25198 vsize=10918240 memory=1154888 CPUtime=12.64 cores=0,2,4,6
/proc/25201/task/25259/stat : 25259 (java) S 25198 25201 19905 0 -1 1077944384 17906 13162 0 0 1202 55 5 2 20 0 15 0 66800596 11180277760 288722 33554432000 4194304 4196468 140737257185840 139749393587088 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25260] ppid=25198 vsize=10918240 memory=164 CPUtime=10.6 cores=0,2,4,6
/proc/25201/task/25260/stat : 25260 (java) S 25198 25201 19905 0 -1 1077944384 19180 13162 0 0 1000 53 5 2 20 0 15 0 66800597 11180277760 288722 33554432000 4194304 4196468 140737257185840 139748962150640 139749503187586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25261] ppid=25198 vsize=10918240 memory=1154888 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25261/stat : 25261 (java) S 25198 25201 19905 0 -1 1077944384 38 13162 0 0 0 0 5 2 20 0 15 0 66800598 11180277760 288722 33554432000 4194304 4196468 140737257185840 139748961096992 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25262] ppid=25198 vsize=10918240 memory=33 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25262/stat : 25262 (java) S 25198 25201 19905 0 -1 1077944384 1 13162 0 0 0 0 5 2 20 0 15 0 66800598 11180277760 288722 33554432000 4194304 4196468 140737257185840 139748370801408 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25263] ppid=25198 vsize=10918240 memory=1154888 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25263/stat : 25263 (java) S 25198 25201 19905 0 -1 1077944384 3 13162 0 0 0 0 5 2 20 0 15 0 66800601 11180277760 288722 33554432000 4194304 4196468 140737257185840 139748063401936 139749503195035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25264] ppid=25198 vsize=10918240 memory=4036 CPUtime=7.34 cores=0,2,4,6
/proc/25201/task/25264/stat : 25264 (java) S 25198 25201 19905 0 -1 1077944384 29634 13162 0 0 721 6 5 2 20 0 15 0 66800601 11180277760 288722 33554432000 4194304 4196468 140737257185840 139748927539952 139749503187586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25265] ppid=25198 vsize=10918240 memory=1154888 CPUtime=6.62 cores=0,2,4,6
/proc/25201/task/25265/stat : 25265 (java) S 25198 25201 19905 0 -1 1077944384 23689 13162 0 0 650 5 5 2 20 0 15 0 66800601 11180277760 288722 33554432000 4194304 4196468 140737257185840 139748926487408 139749503187586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25266] ppid=25198 vsize=10918240 memory=4048 CPUtime=3.6 cores=0,2,4,6
/proc/25201/task/25266/stat : 25266 (java) S 25198 25201 19905 0 -1 1077944384 27377 13162 0 0 348 5 5 2 20 0 15 0 66800601 11180277760 288722 33554432000 4194304 4196468 140737257185840 139748925434352 139749503187586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25267] ppid=25198 vsize=10918240 memory=1154888 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25267/stat : 25267 (java) S 25198 25201 19905 0 -1 1077944384 3 13162 0 0 0 0 5 2 20 0 15 0 66800601 11180277760 288722 33554432000 4194304 4196468 140737257185840 139748029844320 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25268] ppid=25198 vsize=10918240 memory=4036 CPUtime=1.49 cores=0,2,4,6
/proc/25201/task/25268/stat : 25268 (java) S 25198 25201 19905 0 -1 1077944384 1064 13162 0 0 70 72 5 2 20 0 15 0 66800601 11180277760 288722 33554432000 4194304 4196468 140737257185840 139748924381744 139749503187586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
Current children cumulated CPU time: 2436.31 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1154888 KiB
[startup+2442.3 s]
/proc/loadavg: 1.48 1.64 1.51 3/219 25615
/proc/meminfo: memFree=18063592/32770624 swapFree=67108860/67108860
[pid=25201] ppid=25198 vsize=10918240 memory=1154888 CPUtime=2497.27 cores=0,2,4,6
/proc/25201/stat : 25201 (java) S 25198 25201 19905 0 -1 1077944320 291627 13162 0 0 249364 356 5 2 20 0 15 0 66800585 11180277760 288722 33554432000 4194304 4196468 140737257185840 140737257168384 139749503176439 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
/proc/25201/statm: 2729560 288722 3529 1 0 2691213 0
[pid=25201/tid=25255] ppid=25198 vsize=10918240 memory=1154888 CPUtime=2415.86 cores=0,2,4,6
/proc/25201/task/25255/stat : 25255 (java) R 25198 25201 19905 0 -1 4202560 100754 13162 0 0 241527 52 5 2 20 0 15 0 66800595 11180277760 288722 33554432000 4194304 4196468 140737257185840 139749475011680 139749078813912 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25256] ppid=25198 vsize=10918240 memory=1154888 CPUtime=12.98 cores=0,2,4,6
/proc/25201/task/25256/stat : 25256 (java) S 25198 25201 19905 0 -1 1077944384 24527 13162 0 0 1235 56 5 2 20 0 15 0 66800596 11180277760 288722 33554432000 4194304 4196468 140737257185840 139749507419152 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25257] ppid=25198 vsize=10918240 memory=1296 CPUtime=13 cores=0,2,4,6
/proc/25201/task/25257/stat : 25257 (java) S 25198 25201 19905 0 -1 1077944384 24033 13162 0 0 1242 51 5 2 20 0 15 0 66800596 11180277760 288722 33554432000 4194304 4196468 140737257185840 139749395692688 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25258] ppid=25198 vsize=10918240 memory=1154888 CPUtime=13.02 cores=0,2,4,6
/proc/25201/task/25258/stat : 25258 (java) S 25198 25201 19905 0 -1 1077944384 20785 13162 0 0 1242 53 5 2 20 0 15 0 66800596 11180277760 288722 33554432000 4194304 4196468 140737257185840 139749394639632 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25259] ppid=25198 vsize=10918240 memory=1154888 CPUtime=12.98 cores=0,2,4,6
/proc/25201/task/25259/stat : 25259 (java) S 25198 25201 19905 0 -1 1077944384 17973 13162 0 0 1234 57 5 2 20 0 15 0 66800596 11180277760 288722 33554432000 4194304 4196468 140737257185840 139749393587088 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25260] ppid=25198 vsize=10918240 memory=1154888 CPUtime=10.87 cores=0,2,4,6
/proc/25201/task/25260/stat : 25260 (java) S 25198 25201 19905 0 -1 1077944384 19534 13162 0 0 1025 55 5 2 20 0 15 0 66800597 11180277760 288722 33554432000 4194304 4196468 140737257185840 139748962150640 139749503187586 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25261] ppid=25198 vsize=10918240 memory=1154888 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25261/stat : 25261 (java) S 25198 25201 19905 0 -1 1077944384 38 13162 0 0 0 0 5 2 20 0 15 0 66800598 11180277760 288722 33554432000 4194304 4196468 140737257185840 139748961096992 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25262] ppid=25198 vsize=10918240 memory=1154888 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25262/stat : 25262 (java) S 25198 25201 19905 0 -1 1077944384 1 13162 0 0 0 0 5 2 20 0 15 0 66800598 11180277760 288722 33554432000 4194304 4196468 140737257185840 139748370801408 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25263] ppid=25198 vsize=10918240 memory=1154888 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25263/stat : 25263 (java) S 25198 25201 19905 0 -1 1077944384 3 13162 0 0 0 0 5 2 20 0 15 0 66800601 11180277760 288722 33554432000 4194304 4196468 140737257185840 139748063401936 139749503195035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25264] ppid=25198 vsize=10918240 memory=1154888 CPUtime=7.34 cores=0,2,4,6
/proc/25201/task/25264/stat : 25264 (java) S 25198 25201 19905 0 -1 1077944384 29636 13162 0 0 721 6 5 2 20 0 15 0 66800601 11180277760 288722 33554432000 4194304 4196468 140737257185840 139748927539952 139749503187586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25265] ppid=25198 vsize=10918240 memory=1154888 CPUtime=6.62 cores=0,2,4,6
/proc/25201/task/25265/stat : 25265 (java) S 25198 25201 19905 0 -1 1077944384 23691 13162 0 0 650 5 5 2 20 0 15 0 66800601 11180277760 288722 33554432000 4194304 4196468 140737257185840 139748926487408 139749503187586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25266] ppid=25198 vsize=10918240 memory=1154888 CPUtime=3.6 cores=0,2,4,6
/proc/25201/task/25266/stat : 25266 (java) S 25198 25201 19905 0 -1 1077944384 27379 13162 0 0 348 5 5 2 20 0 15 0 66800601 11180277760 288722 33554432000 4194304 4196468 140737257185840 139748925434352 139749503187586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25267] ppid=25198 vsize=10918240 memory=1154888 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25267/stat : 25267 (java) S 25198 25201 19905 0 -1 1077944384 3 13162 0 0 0 0 5 2 20 0 15 0 66800601 11180277760 288722 33554432000 4194304 4196468 140737257185840 139748029844320 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25268] ppid=25198 vsize=10918240 memory=1154888 CPUtime=1.53 cores=0,2,4,6
/proc/25201/task/25268/stat : 25268 (java) S 25198 25201 19905 0 -1 1077944384 1083 13162 0 0 72 74 5 2 20 0 15 0 66800601 11180277760 288722 33554432000 4194304 4196468 140737257185840 139748924381744 139749503187586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
Current children cumulated CPU time: 2497.27 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1154888 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2464.7 s]
/proc/loadavg: 1.39 1.61 1.50 3/219 25616
/proc/meminfo: memFree=18064624/32770624 swapFree=67108860/67108860
[pid=25201] ppid=25198 vsize=10918240 memory=1154888 CPUtime=2520.05 cores=0,2,4,6
/proc/25201/stat : 25201 (java) S 25198 25201 19905 0 -1 1077944320 291879 13162 0 0 251639 359 5 2 20 0 15 0 66800585 11180277760 288722 33554432000 4194304 4196468 140737257185840 140737257168384 139749503176439 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
/proc/25201/statm: 2729560 288722 3529 1 0 2691213 0
[pid=25201/tid=25255] ppid=25198 vsize=10918240 memory=1154888 CPUtime=2437.99 cores=0,2,4,6
/proc/25201/task/25255/stat : 25255 (java) R 25198 25201 19905 0 -1 4202560 100958 13162 0 0 243740 52 5 2 20 0 15 0 66800595 11180277760 288722 33554432000 4194304 4196468 140737257185840 139749475011936 139749078325597 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25256] ppid=25198 vsize=10918240 memory=1154888 CPUtime=13.11 cores=0,2,4,6
/proc/25201/task/25256/stat : 25256 (java) S 25198 25201 19905 0 -1 1077944384 24528 13162 0 0 1247 57 5 2 20 0 15 0 66800596 11180277760 288722 33554432000 4194304 4196468 140737257185840 139749507419152 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25257] ppid=25198 vsize=10918240 memory=1154888 CPUtime=13.13 cores=0,2,4,6
/proc/25201/task/25257/stat : 25257 (java) S 25198 25201 19905 0 -1 1077944384 24046 13162 0 0 1255 51 5 2 20 0 15 0 66800596 11180277760 288722 33554432000 4194304 4196468 140737257185840 139749395692688 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25258] ppid=25198 vsize=10918240 memory=1154888 CPUtime=13.15 cores=0,2,4,6
/proc/25201/task/25258/stat : 25258 (java) S 25198 25201 19905 0 -1 1077944384 20792 13162 0 0 1254 54 5 2 20 0 15 0 66800596 11180277760 288722 33554432000 4194304 4196468 140737257185840 139749394639632 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25259] ppid=25198 vsize=10918240 memory=1154888 CPUtime=13.1 cores=0,2,4,6
/proc/25201/task/25259/stat : 25259 (java) S 25198 25201 19905 0 -1 1077944384 17988 13162 0 0 1246 57 5 2 20 0 15 0 66800596 11180277760 288722 33554432000 4194304 4196468 140737257185840 139749393587088 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25260] ppid=25198 vsize=10918240 memory=1154888 CPUtime=10.98 cores=0,2,4,6
/proc/25201/task/25260/stat : 25260 (java) S 25198 25201 19905 0 -1 1077944384 19544 13162 0 0 1036 55 5 2 20 0 15 0 66800597 11180277760 288722 33554432000 4194304 4196468 140737257185840 139748962150640 139749503187586 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25261] ppid=25198 vsize=10918240 memory=1154888 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25261/stat : 25261 (java) S 25198 25201 19905 0 -1 1077944384 38 13162 0 0 0 0 5 2 20 0 15 0 66800598 11180277760 288722 33554432000 4194304 4196468 140737257185840 139748961096992 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25262] ppid=25198 vsize=10918240 memory=1154888 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25262/stat : 25262 (java) S 25198 25201 19905 0 -1 1077944384 1 13162 0 0 0 0 5 2 20 0 15 0 66800598 11180277760 288722 33554432000 4194304 4196468 140737257185840 139748370801408 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25263] ppid=25198 vsize=10918240 memory=20404 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25263/stat : 25263 (java) S 25198 25201 19905 0 -1 1077944384 3 13162 0 0 0 0 5 2 20 0 15 0 66800601 11180277760 288722 33554432000 4194304 4196468 140737257185840 139748063401936 139749503195035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25264] ppid=25198 vsize=10918240 memory=1296 CPUtime=7.34 cores=0,2,4,6
/proc/25201/task/25264/stat : 25264 (java) S 25198 25201 19905 0 -1 1077944384 29636 13162 0 0 721 6 5 2 20 0 15 0 66800601 11180277760 288722 33554432000 4194304 4196468 140737257185840 139748927539952 139749503187586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25265] ppid=25198 vsize=10918240 memory=0 CPUtime=6.62 cores=0,2,4,6
/proc/25201/task/25265/stat : 25265 (java) S 25198 25201 19905 0 -1 1077944384 23691 13162 0 0 650 5 5 2 20 0 15 0 66800601 11180277760 288722 33554432000 4194304 4196468 140737257185840 139748926487408 139749503187586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25266] ppid=25198 vsize=10918240 memory=17142 CPUtime=3.6 cores=0,2,4,6
/proc/25201/task/25266/stat : 25266 (java) S 25198 25201 19905 0 -1 1077944384 27379 13162 0 0 348 5 5 2 20 0 15 0 66800601 11180277760 288722 33554432000 4194304 4196468 140737257185840 139748925434352 139749503187586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25267] ppid=25198 vsize=10918240 memory=1408 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25267/stat : 25267 (java) S 25198 25201 19905 0 -1 1077944384 3 13162 0 0 0 0 5 2 20 0 15 0 66800601 11180277760 288722 33554432000 4194304 4196468 140737257185840 139748029844320 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25268] ppid=25198 vsize=10918240 memory=1154888 CPUtime=1.55 cores=0,2,4,6
/proc/25201/task/25268/stat : 25268 (java) S 25198 25201 19905 0 -1 1077944384 1085 13162 0 0 73 75 5 2 20 0 15 0 66800601 11180277760 288722 33554432000 4194304 4196468 140737257185840 139748924381744 139749503187586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1154888 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2464.74 s]
# the end of solver process 25201 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.47 s, system=3.63093 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2464.7 s]
/proc/loadavg: 1.39 1.61 1.50 3/219 25616
/proc/meminfo: memFree=18064624/32770624 swapFree=67108860/67108860
[pid=25201] ppid=25198 vsize=10918240 memory=1154888 CPUtime=2520.05 cores=0,2,4,6
/proc/25201/stat : 25201 (java) S 25198 25201 19905 0 -1 1077944320 291879 13162 0 0 251639 359 5 2 20 0 15 0 66800585 11180277760 288722 33554432000 4194304 4196468 140737257185840 140737257168384 139749503176439 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
/proc/25201/statm: 2729560 288722 3529 1 0 2691213 0
[pid=25201/tid=25255] ppid=25198 vsize=10918240 memory=1154888 CPUtime=2437.99 cores=0,2,4,6
/proc/25201/task/25255/stat : 25255 (java) R 25198 25201 19905 0 -1 4202560 100958 13162 0 0 243740 52 5 2 20 0 15 0 66800595 11180277760 288722 33554432000 4194304 4196468 140737257185840 139749475011936 139749078325597 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25256] ppid=25198 vsize=10918240 memory=1154888 CPUtime=13.11 cores=0,2,4,6
/proc/25201/task/25256/stat : 25256 (java) S 25198 25201 19905 0 -1 1077944384 24528 13162 0 0 1247 57 5 2 20 0 15 0 66800596 11180277760 288722 33554432000 4194304 4196468 140737257185840 139749507419152 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25257] ppid=25198 vsize=10918240 memory=1154888 CPUtime=13.13 cores=0,2,4,6
/proc/25201/task/25257/stat : 25257 (java) S 25198 25201 19905 0 -1 1077944384 24046 13162 0 0 1255 51 5 2 20 0 15 0 66800596 11180277760 288722 33554432000 4194304 4196468 140737257185840 139749395692688 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25258] ppid=25198 vsize=10918240 memory=1154888 CPUtime=13.15 cores=0,2,4,6
/proc/25201/task/25258/stat : 25258 (java) S 25198 25201 19905 0 -1 1077944384 20792 13162 0 0 1254 54 5 2 20 0 15 0 66800596 11180277760 288722 33554432000 4194304 4196468 140737257185840 139749394639632 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25259] ppid=25198 vsize=10918240 memory=1154888 CPUtime=13.1 cores=0,2,4,6
/proc/25201/task/25259/stat : 25259 (java) S 25198 25201 19905 0 -1 1077944384 17988 13162 0 0 1246 57 5 2 20 0 15 0 66800596 11180277760 288722 33554432000 4194304 4196468 140737257185840 139749393587088 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25260] ppid=25198 vsize=10918240 memory=1154888 CPUtime=10.98 cores=0,2,4,6
/proc/25201/task/25260/stat : 25260 (java) S 25198 25201 19905 0 -1 1077944384 19544 13162 0 0 1036 55 5 2 20 0 15 0 66800597 11180277760 288722 33554432000 4194304 4196468 140737257185840 139748962150640 139749503187586 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25261] ppid=25198 vsize=10918240 memory=1154888 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25261/stat : 25261 (java) S 25198 25201 19905 0 -1 1077944384 38 13162 0 0 0 0 5 2 20 0 15 0 66800598 11180277760 288722 33554432000 4194304 4196468 140737257185840 139748961096992 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25262] ppid=25198 vsize=10918240 memory=1154888 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25262/stat : 25262 (java) S 25198 25201 19905 0 -1 1077944384 1 13162 0 0 0 0 5 2 20 0 15 0 66800598 11180277760 288722 33554432000 4194304 4196468 140737257185840 139748370801408 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25263] ppid=25198 vsize=10918240 memory=20404 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25263/stat : 25263 (java) S 25198 25201 19905 0 -1 1077944384 3 13162 0 0 0 0 5 2 20 0 15 0 66800601 11180277760 288722 33554432000 4194304 4196468 140737257185840 139748063401936 139749503195035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25264] ppid=25198 vsize=10918240 memory=1296 CPUtime=7.34 cores=0,2,4,6
/proc/25201/task/25264/stat : 25264 (java) S 25198 25201 19905 0 -1 1077944384 29636 13162 0 0 721 6 5 2 20 0 15 0 66800601 11180277760 288722 33554432000 4194304 4196468 140737257185840 139748927539952 139749503187586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25265] ppid=25198 vsize=10918240 memory=0 CPUtime=6.62 cores=0,2,4,6
/proc/25201/task/25265/stat : 25265 (java) S 25198 25201 19905 0 -1 1077944384 23691 13162 0 0 650 5 5 2 20 0 15 0 66800601 11180277760 288722 33554432000 4194304 4196468 140737257185840 139748926487408 139749503187586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25266] ppid=25198 vsize=10918240 memory=17142 CPUtime=3.6 cores=0,2,4,6
/proc/25201/task/25266/stat : 25266 (java) S 25198 25201 19905 0 -1 1077944384 27379 13162 0 0 348 5 5 2 20 0 15 0 66800601 11180277760 288722 33554432000 4194304 4196468 140737257185840 139748925434352 139749503187586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25267] ppid=25198 vsize=10918240 memory=1408 CPUtime=0.07 cores=0,2,4,6
/proc/25201/task/25267/stat : 25267 (java) S 25198 25201 19905 0 -1 1077944384 3 13162 0 0 0 0 5 2 20 0 15 0 66800601 11180277760 288722 33554432000 4194304 4196468 140737257185840 139748029844320 139749503186645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
[pid=25201/tid=25268] ppid=25198 vsize=10918240 memory=1154888 CPUtime=1.55 cores=0,2,4,6
/proc/25201/task/25268/stat : 25268 (java) S 25198 25201 19905 0 -1 1077944384 1085 13162 0 0 73 75 5 2 20 0 15 0 66800601 11180277760 288722 33554432000 4194304 4196468 140737257185840 139748924381744 139749503187586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34779136 140737257187951 140737257190748 140737257190748 140737257193423 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1154888 KiB
Child status: 143
Real time (s): 2464.74
CPU time (s): 2520.11
CPU user time (s): 2516.47
CPU system time (s): 3.63093
CPU usage (%): 102.247
Max. virtual memory (cumulated for all children) (KiB): 10918828
Max. memory (cumulated for all children) (KiB): 1154888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.47
system time used= 3.63093
maximum resident set size= 1159092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 305836
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 292819
involuntary context switches= 8970
# summary of solver processes directly reported to runsolver:
# pid: 25201
# total CPU time (s): 2520.11
# total CPU user time (s): 2516.47
# total CPU system time (s): 3.63093
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8981 second user time and 23.9073 second system time
The end