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 (7808 MiB free)
memory of node 1: 16384 MiB (14273 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302883-1532899198/watcher-4302883-1532899198 -o /tmp/evaluation-result-4302883-1532899198/solver-4302883-1532899198 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532893331-28701 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1830866024 -superng HOME/instance-4302883-1532899198.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4983, runsolver pid=4980
[startup+0.100059 s]*
/proc/loadavg: 2.64 2.07 1.88 3/209 5040
/proc/meminfo: memFree=22604740/32770624 swapFree=67108744/67108860
[pid=4983] ppid=4980 vsize=10005480 memory=18328 CPUtime=0.09 cores=1,3,5,7
/proc/4983/stat : 4983 (java) S 4980 4983 19273 0 -1 1077944320 4222 12894 0 0 1 0 5 3 20 0 6 0 107483040 10245611520 4582 33554432000 4194304 4196468 140730435476864 140730435459408 140167406800631 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
/proc/4983/statm: 2501370 4582 1931 1 0 2489808 0
[pid=4983/tid=5036] ppid=4980 vsize=10005480 memory=-8171376296011865461 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5036/stat : 5036 (java) R 4980 4983 19273 0 -1 4202560 2049 12894 0 0 0 0 5 3 20 0 6 0 107483049 10245611520 4582 33554432000 4194304 4196468 140730435476864 140167378637392 140167392483157 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5037] ppid=4980 vsize=10005480 memory=5792869726567804975 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5037/stat : 5037 (java) S 4980 4983 19273 0 -1 1077944384 1 12894 0 0 0 0 5 3 20 0 6 0 107483050 10245611520 4582 33554432000 4194304 4196468 140730435476864 140167411042576 140167406810837 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5038] ppid=4980 vsize=10005480 memory=139941565499008 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5038/stat : 5038 (java) S 4980 4983 19273 0 -1 1077944384 1 12894 0 0 0 0 5 3 20 0 6 0 107483050 10245611520 4582 33554432000 4194304 4196468 140730435476864 140167265761680 140167406810837 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5039] ppid=4980 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5039/stat : 5039 (java) S 4980 4983 19273 0 -1 1077944384 1 12894 0 0 0 0 5 3 20 0 6 0 107483050 10245611520 4582 33554432000 4194304 4196468 140730435476864 140166945565200 140167406810837 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5040] ppid=4980 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5040/stat : 5040 (java) S 4980 4983 19273 0 -1 1077944384 2 12894 0 0 0 0 5 3 20 0 6 0 107483050 10245611520 4582 33554432000 4194304 4196468 140730435476864 140166944512656 140167406810837 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18328 KiB
[startup+0.210732 s]*
/proc/loadavg: 2.64 2.07 1.88 6/218 5049
/proc/meminfo: memFree=22535888/32770624 swapFree=67108744/67108860
[pid=4983] ppid=4980 vsize=10982744 memory=44824 CPUtime=0.26 cores=1,3,5,7
/proc/4983/stat : 4983 (java) S 4980 4983 19273 0 -1 1077944320 7432 12894 0 0 16 2 5 3 20 0 15 0 107483040 11246329856 11206 33554432000 4194304 4196468 140730435476864 140730435459408 140167406800631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
/proc/4983/statm: 2745686 11206 2946 1 0 2708109 0
[pid=4983/tid=5036] ppid=4980 vsize=10982744 memory=8389772277269004345 CPUtime=0.19 cores=1,3,5,7
/proc/4983/task/5036/stat : 5036 (java) R 4980 4983 19273 0 -1 4202560 4332 12894 0 0 10 1 5 3 20 0 15 0 107483049 11246329856 11602 33554432000 4194304 4196468 140730435476864 140167378617744 140167387076391 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5037] ppid=4980 vsize=10982744 memory=288292155783643159 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5037/stat : 5037 (java) S 4980 4983 19273 0 -1 1077944384 1 12894 0 0 0 0 5 3 20 0 15 0 107483050 11246329856 11602 33554432000 4194304 4196468 140730435476864 140167411042576 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5038] ppid=4980 vsize=10982744 memory=139941565518564 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5038/stat : 5038 (java) S 4980 4983 19273 0 -1 1077944384 1 12894 0 0 0 0 5 3 20 0 15 0 107483050 11246329856 11602 33554432000 4194304 4196468 140730435476864 140167265761680 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5039] ppid=4980 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5039/stat : 5039 (java) S 4980 4983 19273 0 -1 1077944384 1 12894 0 0 0 0 5 3 20 0 15 0 107483050 11246329856 11602 33554432000 4194304 4196468 140730435476864 140166945565200 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5040] ppid=4980 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5040/stat : 5040 (java) S 4980 4983 19273 0 -1 1077944384 2 12894 0 0 0 0 5 3 20 0 15 0 107483050 11246329856 11602 33554432000 4194304 4196468 140730435476864 140166944512656 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5041] ppid=4980 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5041/stat : 5041 (java) S 4980 4983 19273 0 -1 1077944384 2 12894 0 0 0 0 5 3 20 0 15 0 107483051 11246329856 11602 33554432000 4194304 4196468 140730435476864 140166375991792 140167406811778 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5042] ppid=4980 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5042/stat : 5042 (java) S 4980 4983 19273 0 -1 1077944384 13 12894 0 0 0 0 5 3 20 0 15 0 107483052 11246329856 11602 33554432000 4194304 4196468 140730435476864 140166257698208 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5043] ppid=4980 vsize=10982744 memory=139941565499008 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5043/stat : 5043 (java) S 4980 4983 19273 0 -1 1077944384 1 12894 0 0 0 0 5 3 20 0 15 0 107483052 11246329856 11602 33554432000 4194304 4196468 140730435476864 140166056371696 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5044] ppid=4980 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5044/stat : 5044 (java) S 4980 4983 19273 0 -1 1077944384 3 12894 0 0 0 0 5 3 20 0 15 0 107483055 11246329856 11602 33554432000 4194304 4196468 140730435476864 140165748972240 140167406819227 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5045] ppid=4980 vsize=10982744 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4983/task/5045/stat : 5045 (java) S 4980 4983 19273 0 -1 1077944384 360 12894 0 0 1 0 5 3 20 0 15 0 107483055 11246329856 11602 33554432000 4194304 4196468 140730435476864 140166374938608 140167406811778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5046] ppid=4980 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5046/stat : 5046 (java) S 4980 4983 19273 0 -1 1077944384 243 12894 0 0 0 0 5 3 20 0 15 0 107483055 11246329856 11602 33554432000 4194304 4196468 140730435476864 140166373886064 140167406811778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5047] ppid=4980 vsize=10982744 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/4983/task/5047/stat : 5047 (java) S 4980 4983 19273 0 -1 1077944384 627 12894 0 0 3 0 5 3 20 0 15 0 107483055 11246329856 11602 33554432000 4194304 4196468 140730435476864 140166372833520 140167406811778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5048] ppid=4980 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5048/stat : 5048 (java) S 4980 4983 19273 0 -1 1077944384 3 12894 0 0 0 0 5 3 20 0 15 0 107483055 11246329856 11668 33554432000 4194304 4196468 140730435476864 140165318175328 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5049] ppid=4980 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5049/stat : 5049 (java) S 4980 4983 19273 0 -1 1077944384 1 12894 0 0 0 0 5 3 20 0 15 0 107483055 11246329856 11668 33554432000 4194304 4196468 140730435476864 140166371781424 140167406811778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44824 KiB
[startup+0.310519 s]*
/proc/loadavg: 2.64 2.07 1.88 6/218 5049
/proc/meminfo: memFree=22458668/32770624 swapFree=67108744/67108860
[pid=4983] ppid=4980 vsize=10983192 memory=57384 CPUtime=0.39 cores=1,3,5,7
/proc/4983/stat : 4983 (java) S 4980 4983 19273 0 -1 1077944320 10410 12894 0 0 28 3 5 3 20 0 15 0 107483040 11246788608 14346 33554432000 4194304 4196468 140730435476864 140730435459408 140167406800631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
/proc/4983/statm: 2745798 14346 3065 1 0 2708109 0
[pid=4983/tid=5036] ppid=4980 vsize=10983192 memory=6935054825532540783 CPUtime=0.29 cores=1,3,5,7
/proc/4983/task/5036/stat : 5036 (java) R 4980 4983 19273 0 -1 4202560 6937 12894 0 0 19 2 5 3 20 0 15 0 107483049 11246788608 14346 33554432000 4194304 4196468 140730435476864 140167378612640 140167391966279 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5037] ppid=4980 vsize=10983192 memory=4872558044660077418 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5037/stat : 5037 (java) S 4980 4983 19273 0 -1 1077944384 1 12894 0 0 0 0 5 3 20 0 15 0 107483050 11246788608 14346 33554432000 4194304 4196468 140730435476864 140167411042576 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5038] ppid=4980 vsize=10983192 memory=-2843876205323207838 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5038/stat : 5038 (java) S 4980 4983 19273 0 -1 1077944384 1 12894 0 0 0 0 5 3 20 0 15 0 107483050 11246788608 14346 33554432000 4194304 4196468 140730435476864 140167265761680 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5039] ppid=4980 vsize=10983192 memory=-8412656567334364540 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5039/stat : 5039 (java) S 4980 4983 19273 0 -1 1077944384 1 12894 0 0 0 0 5 3 20 0 15 0 107483050 11246788608 14346 33554432000 4194304 4196468 140730435476864 140166945565200 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5040] ppid=4980 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5040/stat : 5040 (java) S 4980 4983 19273 0 -1 1077944384 2 12894 0 0 0 0 5 3 20 0 15 0 107483050 11246788608 14346 33554432000 4194304 4196468 140730435476864 140166944512656 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5041] ppid=4980 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5041/stat : 5041 (java) S 4980 4983 19273 0 -1 1077944384 2 12894 0 0 0 0 5 3 20 0 15 0 107483051 11246788608 14346 33554432000 4194304 4196468 140730435476864 140166375991792 140167406811778 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5042] ppid=4980 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5042/stat : 5042 (java) S 4980 4983 19273 0 -1 1077944384 13 12894 0 0 0 0 5 3 20 0 15 0 107483052 11246788608 14346 33554432000 4194304 4196468 140730435476864 140166257698208 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5043] ppid=4980 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5043/stat : 5043 (java) S 4980 4983 19273 0 -1 1077944384 1 12894 0 0 0 0 5 3 20 0 15 0 107483052 11246788608 14346 33554432000 4194304 4196468 140730435476864 140166056371696 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5044] ppid=4980 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5044/stat : 5044 (java) S 4980 4983 19273 0 -1 1077944384 3 12894 0 0 0 0 5 3 20 0 15 0 107483055 11246788608 14346 33554432000 4194304 4196468 140730435476864 140165748972240 140167406819227 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5045] ppid=4980 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4983/task/5045/stat : 5045 (java) S 4980 4983 19273 0 -1 1077944384 362 12894 0 0 1 0 5 3 20 0 15 0 107483055 11246788608 14346 33554432000 4194304 4196468 140730435476864 140166374938608 140167406811778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5046] ppid=4980 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4983/task/5046/stat : 5046 (java) S 4980 4983 19273 0 -1 1077944384 246 12894 0 0 1 0 5 3 20 0 15 0 107483055 11246788608 14346 33554432000 4194304 4196468 140730435476864 140166373886064 140167406811778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5047] ppid=4980 vsize=10983192 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/4983/task/5047/stat : 5047 (java) S 4980 4983 19273 0 -1 1077944384 642 12894 0 0 5 0 5 3 20 0 15 0 107483055 11246788608 14346 33554432000 4194304 4196468 140730435476864 140166372833520 140167406811778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5048] ppid=4980 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5048/stat : 5048 (java) S 4980 4983 19273 0 -1 1077944384 3 12894 0 0 0 0 5 3 20 0 15 0 107483055 11246788608 14346 33554432000 4194304 4196468 140730435476864 140165318175328 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5049] ppid=4980 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5049/stat : 5049 (java) S 4980 4983 19273 0 -1 1077944384 1 12894 0 0 0 0 5 3 20 0 15 0 107483055 11246788608 14346 33554432000 4194304 4196468 140730435476864 140166371781424 140167406811778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 57384 KiB
[startup+0.700774 s]
/proc/loadavg: 2.64 2.07 1.88 4/218 5049
/proc/meminfo: memFree=22408592/32770624 swapFree=67108744/67108860
[pid=4983] ppid=4980 vsize=10983192 memory=90624 CPUtime=1 cores=1,3,5,7
/proc/4983/stat : 4983 (java) S 4980 4983 19273 0 -1 1077944320 16777 12894 0 0 88 4 5 3 20 0 15 0 107483040 11246788608 22656 33554432000 4194304 4196468 140730435476864 140730435459408 140167406800631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
/proc/4983/statm: 2745798 22656 3238 1 0 2708109 0
[pid=4983/tid=5036] ppid=4980 vsize=10983192 memory=30748 CPUtime=0.67 cores=1,3,5,7
/proc/4983/task/5036/stat : 5036 (java) R 4980 4983 19273 0 -1 4202560 12174 12894 0 0 56 3 5 3 20 0 15 0 107483049 11246788608 22656 33554432000 4194304 4196468 140730435476864 140167378621456 140167387075848 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5037] ppid=4980 vsize=10983192 memory=279882886024976 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5037/stat : 5037 (java) S 4980 4983 19273 0 -1 1077944384 1 12894 0 0 0 0 5 3 20 0 15 0 107483050 11246788608 22656 33554432000 4194304 4196468 140730435476864 140167411042576 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5038] ppid=4980 vsize=10983192 memory=2493899605761 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5038/stat : 5038 (java) S 4980 4983 19273 0 -1 1077944384 1 12894 0 0 0 0 5 3 20 0 15 0 107483050 11246788608 22656 33554432000 4194304 4196468 140730435476864 140167265761680 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5039] ppid=4980 vsize=10983192 memory=2523964376833 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5039/stat : 5039 (java) S 4980 4983 19273 0 -1 1077944384 1 12894 0 0 0 0 5 3 20 0 15 0 107483050 11246788608 22656 33554432000 4194304 4196468 140730435476864 140166945565200 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5040] ppid=4980 vsize=10983192 memory=2549734180609 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5040/stat : 5040 (java) S 4980 4983 19273 0 -1 1077944384 2 12894 0 0 0 0 5 3 20 0 15 0 107483050 11246788608 22656 33554432000 4194304 4196468 140730435476864 140166944512656 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5041] ppid=4980 vsize=10983192 memory=2562619082497 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5041/stat : 5041 (java) S 4980 4983 19273 0 -1 1077944384 5 12894 0 0 0 0 5 3 20 0 15 0 107483051 11246788608 22656 33554432000 4194304 4196468 140730435476864 140166375991792 140167406811778 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5042] ppid=4980 vsize=10983192 memory=2571209017089 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5042/stat : 5042 (java) S 4980 4983 19273 0 -1 1077944384 13 12894 0 0 0 0 5 3 20 0 15 0 107483052 11246788608 22656 33554432000 4194304 4196468 140730435476864 140166257698208 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5043] ppid=4980 vsize=10983192 memory=2631338559233 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5043/stat : 5043 (java) S 4980 4983 19273 0 -1 1077944384 1 12894 0 0 0 0 5 3 20 0 15 0 107483052 11246788608 22656 33554432000 4194304 4196468 140730435476864 140166056371696 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5044] ppid=4980 vsize=10983192 memory=19773292 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5044/stat : 5044 (java) S 4980 4983 19273 0 -1 1077944384 3 12894 0 0 0 0 5 3 20 0 15 0 107483055 11246788608 22656 33554432000 4194304 4196468 140730435476864 140165748972240 140167406819227 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5045] ppid=4980 vsize=10983192 memory=-7453528518462155811 CPUtime=0.17 cores=1,3,5,7
/proc/4983/task/5045/stat : 5045 (java) S 4980 4983 19273 0 -1 1077944384 987 12894 0 0 9 0 5 3 20 0 15 0 107483055 11246788608 22656 33554432000 4194304 4196468 140730435476864 140166374938608 140167406811778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5046] ppid=4980 vsize=10983192 memory=279882886587968 CPUtime=0.16 cores=1,3,5,7
/proc/4983/task/5046/stat : 5046 (java) S 4980 4983 19273 0 -1 1077944384 657 12894 0 0 8 0 5 3 20 0 15 0 107483055 11246788608 22656 33554432000 4194304 4196468 140730435476864 140166373886064 140167406811778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5047] ppid=4980 vsize=10983192 memory=139942919406201 CPUtime=0.21 cores=1,3,5,7
/proc/4983/task/5047/stat : 5047 (java) S 4980 4983 19273 0 -1 1077944384 733 12894 0 0 13 0 5 3 20 0 15 0 107483055 11246788608 22656 33554432000 4194304 4196468 140730435476864 140166372833520 140167406811778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5048] ppid=4980 vsize=10983192 memory=142657338737301 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5048/stat : 5048 (java) S 4980 4983 19273 0 -1 1077944384 3 12894 0 0 0 0 5 3 20 0 15 0 107483055 11246788608 22656 33554432000 4194304 4196468 140730435476864 140165318175328 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5049] ppid=4980 vsize=10983192 memory=139942919406478 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5049/stat : 5049 (java) S 4980 4983 19273 0 -1 1077944384 1 12894 0 0 0 0 5 3 20 0 15 0 107483055 11246788608 22656 33554432000 4194304 4196468 140730435476864 140166371781424 140167406811778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 90624 KiB
[startup+1.50077 s]
/proc/loadavg: 2.64 2.07 1.88 5/218 5049
/proc/meminfo: memFree=22362136/32770624 swapFree=67108744/67108860
[pid=4983] ppid=4980 vsize=10998092 memory=184040 CPUtime=2.36 cores=1,3,5,7
/proc/4983/stat : 4983 (java) S 4980 4983 19273 0 -1 1077944320 24025 12894 0 0 218 10 5 3 20 0 15 0 107483040 11262046208 46010 33554432000 4194304 4196468 140730435476864 140730435459408 140167406800631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
/proc/4983/statm: 2749523 46010 3472 1 0 2711181 0
[pid=4983/tid=5036] ppid=4980 vsize=10998092 memory=118 CPUtime=1.43 cores=1,3,5,7
/proc/4983/task/5036/stat : 5036 (java) R 4980 4983 19273 0 -1 4202560 17615 12894 0 0 130 5 5 3 20 0 15 0 107483049 11262046208 46010 33554432000 4194304 4196468 140730435476864 140167378632576 140167406822557 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5037] ppid=4980 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4983/task/5037/stat : 5037 (java) S 4980 4983 19273 0 -1 1077944384 25 12894 0 0 1 0 5 3 20 0 15 0 107483050 11262046208 46010 33554432000 4194304 4196468 140730435476864 140167411042576 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5038] ppid=4980 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4983/task/5038/stat : 5038 (java) S 4980 4983 19273 0 -1 1077944384 17 12894 0 0 1 0 5 3 20 0 15 0 107483050 11262046208 46010 33554432000 4194304 4196468 140730435476864 140167265761680 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5039] ppid=4980 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4983/task/5039/stat : 5039 (java) S 4980 4983 19273 0 -1 1077944384 175 12894 0 0 1 0 5 3 20 0 15 0 107483050 11262046208 46010 33554432000 4194304 4196468 140730435476864 140166945565200 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5040] ppid=4980 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4983/task/5040/stat : 5040 (java) S 4980 4983 19273 0 -1 1077944384 66 12894 0 0 1 0 5 3 20 0 15 0 107483050 11262046208 46010 33554432000 4194304 4196468 140730435476864 140166944512656 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5041] ppid=4980 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4983/task/5041/stat : 5041 (java) S 4980 4983 19273 0 -1 1077944384 43 12894 0 0 1 0 5 3 20 0 15 0 107483051 11262046208 46010 33554432000 4194304 4196468 140730435476864 140166375991792 140167406811778 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5042] ppid=4980 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5042/stat : 5042 (java) S 4980 4983 19273 0 -1 1077944384 13 12894 0 0 0 0 5 3 20 0 15 0 107483052 11262046208 46010 33554432000 4194304 4196468 140730435476864 140166257698272 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5043] ppid=4980 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5043/stat : 5043 (java) S 4980 4983 19273 0 -1 1077944384 2 12894 0 0 0 0 5 3 20 0 15 0 107483052 11262046208 46010 33554432000 4194304 4196468 140730435476864 140166056371712 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5044] ppid=4980 vsize=10998092 memory=279882886081472 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5044/stat : 5044 (java) S 4980 4983 19273 0 -1 1077944384 3 12894 0 0 0 0 5 3 20 0 15 0 107483055 11262046208 46010 33554432000 4194304 4196468 140730435476864 140165748972240 140167406819227 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5045] ppid=4980 vsize=10998092 memory=6442213876440394334 CPUtime=0.29 cores=1,3,5,7
/proc/4983/task/5045/stat : 5045 (java) S 4980 4983 19273 0 -1 1077944384 1219 12894 0 0 21 0 5 3 20 0 15 0 107483055 11262046208 46010 33554432000 4194304 4196468 140730435476864 140166374938608 140167406811778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5046] ppid=4980 vsize=10998092 memory=7956828548539439465 CPUtime=0.3 cores=1,3,5,7
/proc/4983/task/5046/stat : 5046 (java) S 4980 4983 19273 0 -1 1077944384 1193 12894 0 0 22 0 5 3 20 0 15 0 107483055 11262046208 46010 33554432000 4194304 4196468 140730435476864 140166373886064 140167406811778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5047] ppid=4980 vsize=10998092 memory=6296991514449112163 CPUtime=0.45 cores=1,3,5,7
/proc/4983/task/5047/stat : 5047 (java) S 4980 4983 19273 0 -1 1077944384 1455 12894 0 0 37 0 5 3 20 0 15 0 107483055 11262046208 46010 33554432000 4194304 4196468 140730435476864 140166372833520 140167406811778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5048] ppid=4980 vsize=10998092 memory=7378978017481811817 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5048/stat : 5048 (java) S 4980 4983 19273 0 -1 1077944384 3 12894 0 0 0 0 5 3 20 0 15 0 107483055 11262046208 46010 33554432000 4194304 4196468 140730435476864 140165318175328 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5049] ppid=4980 vsize=10998092 memory=7091035683412207722 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5049/stat : 5049 (java) S 4980 4983 19273 0 -1 1077944384 1 12894 0 0 0 0 5 3 20 0 15 0 107483055 11262046208 46010 33554432000 4194304 4196468 140730435476864 140166371781424 140167406811778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
Current children cumulated CPU time: 2.36 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/4983/task/5036/stat : 5036 (java) R 4980 4983 19273 0 -1 4202560 60897 12894 0 0 16130 25 5 3 20 0 15 0 107483049 11345952768 289217 33554432000 4194304 4196468 140730435476864 140167378636160 140166955372215 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5037] ppid=4980 vsize=11080032 memory=1180548 CPUtime=0.47 cores=1,3,5,7
/proc/4983/task/5037/stat : 5037 (java) S 4980 4983 19273 0 -1 1077944384 2196 12894 0 0 31 8 5 3 20 0 15 0 107483050 11345952768 289217 33554432000 4194304 4196468 140730435476864 140167411042576 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5038] ppid=4980 vsize=11080032 memory=1158408 CPUtime=0.46 cores=1,3,5,7
/proc/4983/task/5038/stat : 5038 (java) S 4980 4983 19273 0 -1 1077944384 3049 12894 0 0 30 8 5 3 20 0 15 0 107483050 11345952768 289217 33554432000 4194304 4196468 140730435476864 140167265761680 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5039] ppid=4980 vsize=11080032 memory=1157380 CPUtime=0.48 cores=1,3,5,7
/proc/4983/task/5039/stat : 5039 (java) S 4980 4983 19273 0 -1 1077944384 812 12894 0 0 32 8 5 3 20 0 15 0 107483050 11345952768 289217 33554432000 4194304 4196468 140730435476864 140166945565200 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5040] ppid=4980 vsize=11080032 memory=1156868 CPUtime=0.46 cores=1,3,5,7
/proc/4983/task/5040/stat : 5040 (java) S 4980 4983 19273 0 -1 1077944384 3503 12894 0 0 29 9 5 3 20 0 15 0 107483050 11345952768 289217 33554432000 4194304 4196468 140730435476864 140166944512656 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5041] ppid=4980 vsize=11080032 memory=644 CPUtime=0.23 cores=1,3,5,7
/proc/4983/task/5041/stat : 5041 (java) S 4980 4983 19273 0 -1 1077944384 3441 12894 0 0 13 2 5 3 20 0 15 0 107483051 11345952768 289217 33554432000 4194304 4196468 140730435476864 140166375991792 140167406811778 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5042] ppid=4980 vsize=11080032 memory=1800 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5042/stat : 5042 (java) S 4980 4983 19273 0 -1 1077944384 15 12894 0 0 0 0 5 3 20 0 15 0 107483052 11345952768 289217 33554432000 4194304 4196468 140730435476864 140166257698272 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5043] ppid=4980 vsize=11080032 memory=1158408 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5043/stat : 5043 (java) S 4980 4983 19273 0 -1 1077944384 5 12894 0 0 0 0 5 3 20 0 15 0 107483052 11345952768 289217 33554432000 4194304 4196468 140730435476864 140166056371712 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5044] ppid=4980 vsize=11080032 memory=1158408 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5044/stat : 5044 (java) S 4980 4983 19273 0 -1 1077944384 3 12894 0 0 0 0 5 3 20 0 15 0 107483055 11345952768 289217 33554432000 4194304 4196468 140730435476864 140165748972240 140167406819227 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5045] ppid=4980 vsize=11080032 memory=1167640 CPUtime=7.11 cores=1,3,5,7
/proc/4983/task/5045/stat : 5045 (java) S 4980 4983 19273 0 -1 1077944384 28831 12894 0 0 699 4 5 3 20 0 15 0 107483055 11345952768 289217 33554432000 4194304 4196468 140730435476864 140166374938608 140167406811778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5046] ppid=4980 vsize=11080032 memory=4096 CPUtime=6.56 cores=1,3,5,7
/proc/4983/task/5046/stat : 5046 (java) S 4980 4983 19273 0 -1 1077944384 23782 12894 0 0 645 3 5 3 20 0 15 0 107483055 11345952768 289217 33554432000 4194304 4196468 140730435476864 140166373886064 140167406811778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5047] ppid=4980 vsize=11080032 memory=1157380 CPUtime=2.83 cores=1,3,5,7
/proc/4983/task/5047/stat : 5047 (java) S 4980 4983 19273 0 -1 1077944384 22213 12894 0 0 269 6 5 3 20 0 15 0 107483055 11345952768 289217 33554432000 4194304 4196468 140730435476864 140166372833520 140167406811778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5048] ppid=4980 vsize=11080032 memory=1157380 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5048/stat : 5048 (java) S 4980 4983 19273 0 -1 1077944384 3 12894 0 0 0 0 5 3 20 0 15 0 107483055 11345952768 289217 33554432000 4194304 4196468 140730435476864 140165318175328 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5049] ppid=4980 vsize=11080032 memory=4096 CPUtime=0.16 cores=1,3,5,7
/proc/4983/task/5049/stat : 5049 (java) S 4980 4983 19273 0 -1 1077944384 1504 12894 0 0 4 4 5 3 20 0 15 0 107483055 11345952768 289217 33554432000 4194304 4196468 140730435476864 140166371781424 140167406811778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
Current children cumulated CPU time: 179.78 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1156868 KiB
[startup+222.302 s]
/proc/loadavg: 1.60 1.91 1.87 3/221 5321
/proc/meminfo: memFree=25853204/32770624 swapFree=67108744/67108860
[pid=4983] ppid=4980 vsize=11080032 memory=1127732 CPUtime=240.82 cores=1,3,5,7
/proc/4983/stat : 4983 (java) S 4980 4983 19273 0 -1 1077944320 163257 12894 0 0 23987 87 5 3 20 0 15 0 107483040 11345952768 281933 33554432000 4194304 4196468 140730435476864 140730435459408 140167406800631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
/proc/4983/statm: 2770008 281933 3531 1 0 2731661 0
[pid=4983/tid=5036] ppid=4980 vsize=11080032 memory=1128208 CPUtime=221.28 cores=1,3,5,7
/proc/4983/task/5036/stat : 5036 (java) R 4980 4983 19273 0 -1 4202560 62273 12894 0 0 22094 26 5 3 20 0 15 0 107483049 11345952768 281933 33554432000 4194304 4196468 140730435476864 140167378635408 140166954015438 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5037] ppid=4980 vsize=11080032 memory=1132760 CPUtime=0.67 cores=1,3,5,7
/proc/4983/task/5037/stat : 5037 (java) S 4980 4983 19273 0 -1 1077944384 2244 12894 0 0 50 9 5 3 20 0 15 0 107483050 11345952768 281933 33554432000 4194304 4196468 140730435476864 140167411042576 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5038] ppid=4980 vsize=11080032 memory=1128200 CPUtime=0.65 cores=1,3,5,7
/proc/4983/task/5038/stat : 5038 (java) S 4980 4983 19273 0 -1 1077944384 4845 12894 0 0 49 8 5 3 20 0 15 0 107483050 11345952768 281933 33554432000 4194304 4196468 140730435476864 140167265761680 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5039] ppid=4980 vsize=11080032 memory=8112282956445269571 CPUtime=0.67 cores=1,3,5,7
/proc/4983/task/5039/stat : 5039 (java) S 4980 4983 19273 0 -1 1077944384 854 12894 0 0 50 9 5 3 20 0 15 0 107483050 11345952768 281933 33554432000 4194304 4196468 140730435476864 140166945565200 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5040] ppid=4980 vsize=11080032 memory=1128204 CPUtime=0.65 cores=1,3,5,7
/proc/4983/task/5040/stat : 5040 (java) S 4980 4983 19273 0 -1 1077944384 3627 12894 0 0 47 10 5 3 20 0 15 0 107483050 11345952768 281933 33554432000 4194304 4196468 140730435476864 140166944512656 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5041] ppid=4980 vsize=11080032 memory=1128204 CPUtime=0.35 cores=1,3,5,7
/proc/4983/task/5041/stat : 5041 (java) S 4980 4983 19273 0 -1 1077944384 3766 12894 0 0 24 3 5 3 20 0 15 0 107483051 11345952768 281933 33554432000 4194304 4196468 140730435476864 140166375991792 140167406811778 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5042] ppid=4980 vsize=11080032 memory=1128212 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5042/stat : 5042 (java) S 4980 4983 19273 0 -1 1077944384 15 12894 0 0 0 0 5 3 20 0 15 0 107483052 11345952768 281933 33554432000 4194304 4196468 140730435476864 140166257698272 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5043] ppid=4980 vsize=11080032 memory=1128208 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5043/stat : 5043 (java) S 4980 4983 19273 0 -1 1077944384 5 12894 0 0 0 0 5 3 20 0 15 0 107483052 11345952768 281933 33554432000 4194304 4196468 140730435476864 140166056371712 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5044] ppid=4980 vsize=11080032 memory=10592 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5044/stat : 5044 (java) S 4980 4983 19273 0 -1 1077944384 3 12894 0 0 0 0 5 3 20 0 15 0 107483055 11345952768 281933 33554432000 4194304 4196468 140730435476864 140165748972240 140167406819227 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5045] ppid=4980 vsize=11080032 memory=1127700 CPUtime=7.3 cores=1,3,5,7
/proc/4983/task/5045/stat : 5045 (java) S 4980 4983 19273 0 -1 1077944384 30783 12894 0 0 717 5 5 3 20 0 15 0 107483055 11345952768 281933 33554432000 4194304 4196468 140730435476864 140166374938608 140167406811778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5046] ppid=4980 vsize=11080032 memory=1126672 CPUtime=6.76 cores=1,3,5,7
/proc/4983/task/5046/stat : 5046 (java) S 4980 4983 19273 0 -1 1077944384 27324 12894 0 0 665 3 5 3 20 0 15 0 107483055 11345952768 281933 33554432000 4194304 4196468 140730435476864 140166373886064 140167406811778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5047] ppid=4980 vsize=11080032 memory=1126672 CPUtime=2.9 cores=1,3,5,7
/proc/4983/task/5047/stat : 5047 (java) S 4980 4983 19273 0 -1 1077944384 23779 12894 0 0 276 6 5 3 20 0 15 0 107483055 11345952768 281933 33554432000 4194304 4196468 140730435476864 140166372833520 140167406811778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5048] ppid=4980 vsize=11080032 memory=4096 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5048/stat : 5048 (java) S 4980 4983 19273 0 -1 1077944384 3 12894 0 0 0 0 5 3 20 0 15 0 107483055 11345952768 281933 33554432000 4194304 4196468 140730435476864 140165318175328 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5049] ppid=4980 vsize=11080032 memory=4096 CPUtime=0.2 cores=1,3,5,7
/proc/4983/task/5049/stat : 5049 (java) S 4980 4983 19273 0 -1 1077944384 1541 12894 0 0 5 7 5 3 20 0 15 0 107483055 11345952768 281933 33554432000 4194304 4196468 140730435476864 140166371781424 140167406811778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
Current children cumulated CPU time: 240.82 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1127732 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+233.301 s]
/proc/loadavg: 1.59 1.90 1.86 3/221 5321
/proc/meminfo: memFree=25901796/32770624 swapFree=67108744/67108860
[pid=4983] ppid=4980 vsize=11080032 memory=1123648 CPUtime=252.01 cores=1,3,5,7
/proc/4983/stat : 4983 (java) S 4980 4983 19273 0 -1 1077944320 165228 12894 0 0 25105 88 5 3 20 0 15 0 107483040 11345952768 280912 33554432000 4194304 4196468 140730435476864 140730435459408 140167406800631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
/proc/4983/statm: 2770008 280912 3531 1 0 2731661 0
[pid=4983/tid=5036] ppid=4980 vsize=11080032 memory=1123648 CPUtime=232.19 cores=1,3,5,7
/proc/4983/task/5036/stat : 5036 (java) R 4980 4983 19273 0 -1 4202560 62331 12894 0 0 23185 26 5 3 20 0 15 0 107483049 11345952768 280912 33554432000 4194304 4196468 140730435476864 140167378635296 140166955372690 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5037] ppid=4980 vsize=11080032 memory=1123648 CPUtime=0.71 cores=1,3,5,7
/proc/4983/task/5037/stat : 5037 (java) S 4980 4983 19273 0 -1 1077944384 2248 12894 0 0 54 9 5 3 20 0 15 0 107483050 11345952768 280912 33554432000 4194304 4196468 140730435476864 140167411042576 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5038] ppid=4980 vsize=11080032 memory=1123648 CPUtime=0.7 cores=1,3,5,7
/proc/4983/task/5038/stat : 5038 (java) S 4980 4983 19273 0 -1 1077944384 4854 12894 0 0 53 9 5 3 20 0 15 0 107483050 11345952768 280912 33554432000 4194304 4196468 140730435476864 140167265761680 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5039] ppid=4980 vsize=11080032 memory=1123648 CPUtime=0.73 cores=1,3,5,7
/proc/4983/task/5039/stat : 5039 (java) S 4980 4983 19273 0 -1 1077944384 857 12894 0 0 55 10 5 3 20 0 15 0 107483050 11345952768 280912 33554432000 4194304 4196468 140730435476864 140166945565200 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5040] ppid=4980 vsize=11080032 memory=1123648 CPUtime=0.7 cores=1,3,5,7
/proc/4983/task/5040/stat : 5040 (java) S 4980 4983 19273 0 -1 1077944384 3631 12894 0 0 52 10 5 3 20 0 15 0 107483050 11345952768 280912 33554432000 4194304 4196468 140730435476864 140166944512656 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5041] ppid=4980 vsize=11080032 memory=1128212 CPUtime=0.38 cores=1,3,5,7
/proc/4983/task/5041/stat : 5041 (java) S 4980 4983 19273 0 -1 1077944384 3766 12894 0 0 27 3 5 3 20 0 15 0 107483051 11345952768 280912 33554432000 4194304 4196468 140730435476864 140166375991792 140167406811778 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5042] ppid=4980 vsize=11080032 memory=8112282956445269571 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5042/stat : 5042 (java) S 4980 4983 19273 0 -1 1077944384 15 12894 0 0 0 0 5 3 20 0 15 0 107483052 11345952768 280912 33554432000 4194304 4196468 140730435476864 140166257698272 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5043] ppid=4980 vsize=11080032 memory=1123648 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5043/stat : 5043 (java) S 4980 4983 19273 0 -1 1077944384 5 12894 0 0 0 0 5 3 20 0 15 0 107483052 11345952768 280912 33554432000 4194304 4196468 140730435476864 140166056371712 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5044] ppid=4980 vsize=11080032 memory=1123648 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5044/stat : 5044 (java) S 4980 4983 19273 0 -1 1077944384 3 12894 0 0 0 0 5 3 20 0 15 0 107483055 11345952768 280912 33554432000 4194304 4196468 140730435476864 140165748972240 140167406819227 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5045] ppid=4980 vsize=11080032 memory=1123648 CPUtime=7.33 cores=1,3,5,7
/proc/4983/task/5045/stat : 5045 (java) S 4980 4983 19273 0 -1 1077944384 31379 12894 0 0 720 5 5 3 20 0 15 0 107483055 11345952768 280912 33554432000 4194304 4196468 140730435476864 140166374938608 140167406811778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5046] ppid=4980 vsize=11080032 memory=1123648 CPUtime=6.78 cores=1,3,5,7
/proc/4983/task/5046/stat : 5046 (java) S 4980 4983 19273 0 -1 1077944384 27717 12894 0 0 667 3 5 3 20 0 15 0 107483055 11345952768 280912 33554432000 4194304 4196468 140730435476864 140166373886064 140167406811778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5047] ppid=4980 vsize=11080032 memory=1123648 CPUtime=2.91 cores=1,3,5,7
/proc/4983/task/5047/stat : 5047 (java) S 4980 4983 19273 0 -1 1077944384 24682 12894 0 0 277 6 5 3 20 0 15 0 107483055 11345952768 280912 33554432000 4194304 4196468 140730435476864 140166372833520 140167406811778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5048] ppid=4980 vsize=11080032 memory=1127700 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5048/stat : 5048 (java) S 4980 4983 19273 0 -1 1077944384 3 12894 0 0 0 0 5 3 20 0 15 0 107483055 11345952768 280912 33554432000 4194304 4196468 140730435476864 140165318175328 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5049] ppid=4980 vsize=11080032 memory=1124672 CPUtime=0.21 cores=1,3,5,7
/proc/4983/task/5049/stat : 5049 (java) S 4980 4983 19273 0 -1 1077944384 1542 12894 0 0 6 7 5 3 20 0 15 0 107483055 11345952768 280912 33554432000 4194304 4196468 140730435476864 140166371781424 140167406811778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1123648 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+233.34 s]
# the end of solver process 4983 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.123 s, system=0.933077 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+233.301 s]
/proc/loadavg: 1.59 1.90 1.86 3/221 5321
/proc/meminfo: memFree=25901796/32770624 swapFree=67108744/67108860
[pid=4983] ppid=4980 vsize=11080032 memory=1123648 CPUtime=252.01 cores=1,3,5,7
/proc/4983/stat : 4983 (java) S 4980 4983 19273 0 -1 1077944320 165228 12894 0 0 25105 88 5 3 20 0 15 0 107483040 11345952768 280912 33554432000 4194304 4196468 140730435476864 140730435459408 140167406800631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
/proc/4983/statm: 2770008 280912 3531 1 0 2731661 0
[pid=4983/tid=5036] ppid=4980 vsize=11080032 memory=1123648 CPUtime=232.19 cores=1,3,5,7
/proc/4983/task/5036/stat : 5036 (java) R 4980 4983 19273 0 -1 4202560 62331 12894 0 0 23185 26 5 3 20 0 15 0 107483049 11345952768 280912 33554432000 4194304 4196468 140730435476864 140167378635296 140166955372690 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5037] ppid=4980 vsize=11080032 memory=1123648 CPUtime=0.71 cores=1,3,5,7
/proc/4983/task/5037/stat : 5037 (java) S 4980 4983 19273 0 -1 1077944384 2248 12894 0 0 54 9 5 3 20 0 15 0 107483050 11345952768 280912 33554432000 4194304 4196468 140730435476864 140167411042576 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5038] ppid=4980 vsize=11080032 memory=1123648 CPUtime=0.7 cores=1,3,5,7
/proc/4983/task/5038/stat : 5038 (java) S 4980 4983 19273 0 -1 1077944384 4854 12894 0 0 53 9 5 3 20 0 15 0 107483050 11345952768 280912 33554432000 4194304 4196468 140730435476864 140167265761680 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5039] ppid=4980 vsize=11080032 memory=1123648 CPUtime=0.73 cores=1,3,5,7
/proc/4983/task/5039/stat : 5039 (java) S 4980 4983 19273 0 -1 1077944384 857 12894 0 0 55 10 5 3 20 0 15 0 107483050 11345952768 280912 33554432000 4194304 4196468 140730435476864 140166945565200 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5040] ppid=4980 vsize=11080032 memory=1123648 CPUtime=0.7 cores=1,3,5,7
/proc/4983/task/5040/stat : 5040 (java) S 4980 4983 19273 0 -1 1077944384 3631 12894 0 0 52 10 5 3 20 0 15 0 107483050 11345952768 280912 33554432000 4194304 4196468 140730435476864 140166944512656 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5041] ppid=4980 vsize=11080032 memory=1128212 CPUtime=0.38 cores=1,3,5,7
/proc/4983/task/5041/stat : 5041 (java) S 4980 4983 19273 0 -1 1077944384 3766 12894 0 0 27 3 5 3 20 0 15 0 107483051 11345952768 280912 33554432000 4194304 4196468 140730435476864 140166375991792 140167406811778 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5042] ppid=4980 vsize=11080032 memory=8112282956445269571 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5042/stat : 5042 (java) S 4980 4983 19273 0 -1 1077944384 15 12894 0 0 0 0 5 3 20 0 15 0 107483052 11345952768 280912 33554432000 4194304 4196468 140730435476864 140166257698272 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5043] ppid=4980 vsize=11080032 memory=1123648 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5043/stat : 5043 (java) S 4980 4983 19273 0 -1 1077944384 5 12894 0 0 0 0 5 3 20 0 15 0 107483052 11345952768 280912 33554432000 4194304 4196468 140730435476864 140166056371712 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5044] ppid=4980 vsize=11080032 memory=1123648 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5044/stat : 5044 (java) S 4980 4983 19273 0 -1 1077944384 3 12894 0 0 0 0 5 3 20 0 15 0 107483055 11345952768 280912 33554432000 4194304 4196468 140730435476864 140165748972240 140167406819227 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5045] ppid=4980 vsize=11080032 memory=1123648 CPUtime=7.33 cores=1,3,5,7
/proc/4983/task/5045/stat : 5045 (java) S 4980 4983 19273 0 -1 1077944384 31379 12894 0 0 720 5 5 3 20 0 15 0 107483055 11345952768 280912 33554432000 4194304 4196468 140730435476864 140166374938608 140167406811778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5046] ppid=4980 vsize=11080032 memory=1123648 CPUtime=6.78 cores=1,3,5,7
/proc/4983/task/5046/stat : 5046 (java) S 4980 4983 19273 0 -1 1077944384 27717 12894 0 0 667 3 5 3 20 0 15 0 107483055 11345952768 280912 33554432000 4194304 4196468 140730435476864 140166373886064 140167406811778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5047] ppid=4980 vsize=11080032 memory=1123648 CPUtime=2.91 cores=1,3,5,7
/proc/4983/task/5047/stat : 5047 (java) S 4980 4983 19273 0 -1 1077944384 24682 12894 0 0 277 6 5 3 20 0 15 0 107483055 11345952768 280912 33554432000 4194304 4196468 140730435476864 140166372833520 140167406811778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5048] ppid=4980 vsize=11080032 memory=1127700 CPUtime=0.08 cores=1,3,5,7
/proc/4983/task/5048/stat : 5048 (java) S 4980 4983 19273 0 -1 1077944384 3 12894 0 0 0 0 5 3 20 0 15 0 107483055 11345952768 280912 33554432000 4194304 4196468 140730435476864 140165318175328 140167406810837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
[pid=4983/tid=5049] ppid=4980 vsize=11080032 memory=1124672 CPUtime=0.21 cores=1,3,5,7
/proc/4983/task/5049/stat : 5049 (java) S 4980 4983 19273 0 -1 1077944384 1542 12894 0 0 6 7 5 3 20 0 15 0 107483055 11345952768 280912 33554432000 4194304 4196468 140730435476864 140166371781424 140167406811778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140730435480168 140730435482977 140730435482977 140730435485647 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1123648 KiB
Child status: 143
Real time (s): 233.341
CPU time (s): 252.056
CPU user time (s): 251.123
CPU system time (s): 0.933077
CPU usage (%): 108.021
Max. virtual memory (cumulated for all children) (KiB): 11082740
Max. memory (cumulated for all children) (KiB): 1367936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.123
system time used= 0.933077
maximum resident set size= 1370004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 178962
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19233
involuntary context switches= 437
# summary of solver processes directly reported to runsolver:
# pid: 4983
# total CPU time (s): 252.056
# total CPU user time (s): 251.123
# total CPU system time (s): 0.933077
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.37549 second user time and 2.38901 second system time
The end