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 (13013 MiB free)
memory of node 1: 16384 MiB (14281 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302814-1532894425/watcher-4302814-1532894425 -o /tmp/evaluation-result-4302814-1532894425/solver-4302814-1532894425 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532893331-28701 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1907809164 -superng HOME/instance-4302814-1532894425.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
solver pid=30257, runsolver pid=30254
Current StackSize limit: 8192 KiB
[startup+0.101786 s]*
/proc/loadavg: 1.70 1.89 1.59 4/211 30314
/proc/meminfo: memFree=27941336/32770624 swapFree=67108744/67108860
[pid=30257] ppid=30254 vsize=10005480 memory=16816 CPUtime=0.09 cores=1,3,5,7
/proc/30257/stat : 30257 (java) S 30254 30257 19273 0 -1 1077944320 4345 13151 0 0 1 0 5 3 20 0 6 0 107005680 10245611520 4204 33554432000 4194304 4196468 140720932649520 140720932632064 139802518159095 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
/proc/30257/statm: 2501370 4204 1935 1 0 2489808 0
[pid=30257/tid=30310] ppid=30254 vsize=10005480 memory=4279135704013571469 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30310/stat : 30310 (java) R 30254 30257 19273 0 -1 4202560 2156 13151 0 0 0 0 5 3 20 0 6 0 107005689 10245611520 4204 33554432000 4194304 4196468 140720932649520 139802489995856 139802510396222 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30311] ppid=30254 vsize=10005480 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30311/stat : 30311 (java) S 30254 30257 19273 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 6 0 107005690 10245611520 4204 33554432000 4194304 4196468 140720932649520 139802522401808 139802518169301 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30312] ppid=30254 vsize=10005480 memory=139909067982464 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30312/stat : 30312 (java) S 30254 30257 19273 0 -1 1077944384 2 13151 0 0 0 0 5 3 20 0 6 0 107005690 10245611520 4204 33554432000 4194304 4196468 140720932649520 139802403667088 139802518169301 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30313] ppid=30254 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30313/stat : 30313 (java) S 30254 30257 19273 0 -1 1077944384 2 13151 0 0 0 0 5 3 20 0 6 0 107005690 10245611520 4204 33554432000 4194304 4196468 140720932649520 139802402614032 139802518169301 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30314] ppid=30254 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30314/stat : 30314 (java) S 30254 30257 19273 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 6 0 107005690 10245611520 4204 33554432000 4194304 4196468 140720932649520 139802401561488 139802518169301 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16816 KiB
[startup+0.211556 s]*
/proc/loadavg: 1.70 1.89 1.59 6/220 30323
/proc/meminfo: memFree=27916184/32770624 swapFree=67108744/67108860
[pid=30257] ppid=30254 vsize=10982744 memory=44524 CPUtime=0.25 cores=1,3,5,7
/proc/30257/stat : 30257 (java) S 30254 30257 19273 0 -1 1077944320 7231 13151 0 0 16 1 5 3 20 0 15 0 107005680 11246329856 11131 33554432000 4194304 4196468 140720932649520 140720932632064 139802518159095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
/proc/30257/statm: 2745686 11131 2982 1 0 2708109 0
[pid=30257/tid=30310] ppid=30254 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/30257/task/30310/stat : 30310 (java) R 30254 30257 19273 0 -1 4202560 3797 13151 0 0 10 1 5 3 20 0 15 0 107005689 11246329856 11131 33554432000 4194304 4196468 140720932649520 139802489981000 139802499722651 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30311] ppid=30254 vsize=10982744 memory=364 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30311/stat : 30311 (java) S 30254 30257 19273 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 107005690 11246329856 11131 33554432000 4194304 4196468 140720932649520 139802522401808 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30312] ppid=30254 vsize=10982744 memory=139909068009855 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30312/stat : 30312 (java) S 30254 30257 19273 0 -1 1077944384 2 13151 0 0 0 0 5 3 20 0 15 0 107005690 11246329856 11131 33554432000 4194304 4196468 140720932649520 139802403667088 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30313] ppid=30254 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30313/stat : 30313 (java) S 30254 30257 19273 0 -1 1077944384 2 13151 0 0 0 0 5 3 20 0 15 0 107005690 11246329856 11131 33554432000 4194304 4196468 140720932649520 139802402614032 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30314] ppid=30254 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30314/stat : 30314 (java) S 30254 30257 19273 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 107005690 11246329856 11131 33554432000 4194304 4196468 140720932649520 139802401561488 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30315] ppid=30254 vsize=10982744 memory=139909067982464 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30315/stat : 30315 (java) S 30254 30257 19273 0 -1 1077944384 2 13151 0 0 0 0 5 3 20 0 15 0 107005692 11246329856 11131 33554432000 4194304 4196468 140720932649520 139801688561904 139802518170242 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30316] ppid=30254 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30316/stat : 30316 (java) S 30254 30257 19273 0 -1 1077944384 13 13151 0 0 0 0 5 3 20 0 15 0 107005692 11246329856 11131 33554432000 4194304 4196468 140720932649520 139801319695520 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30317] ppid=30254 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30317/stat : 30317 (java) S 30254 30257 19273 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 107005692 11246329856 11131 33554432000 4194304 4196468 140720932649520 139801118368496 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30318] ppid=30254 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30318/stat : 30318 (java) S 30254 30257 19273 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 107005695 11246329856 11131 33554432000 4194304 4196468 140720932649520 139800810969040 139802518177691 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30319] ppid=30254 vsize=10982744 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/30257/task/30319/stat : 30319 (java) S 30254 30257 19273 0 -1 1077944384 210 13151 0 0 1 0 5 3 20 0 15 0 107005695 11246329856 11131 33554432000 4194304 4196468 140720932649520 139801687509744 139802518170242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30320] ppid=30254 vsize=10982744 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/30257/task/30320/stat : 30320 (java) S 30254 30257 19273 0 -1 1077944384 405 13151 0 0 1 0 5 3 20 0 15 0 107005695 11246329856 11131 33554432000 4194304 4196468 140720932649520 139801686457200 139802518170242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30321] ppid=30254 vsize=10982744 memory=139909067982464 CPUtime=0.11 cores=1,3,5,7
/proc/30257/task/30321/stat : 30321 (java) S 30254 30257 19273 0 -1 1077944384 600 13151 0 0 3 0 5 3 20 0 15 0 107005695 11246329856 11131 33554432000 4194304 4196468 140720932649520 139801685404144 139802518170242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30322] ppid=30254 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30322/stat : 30322 (java) S 30254 30257 19273 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 107005695 11246329856 11131 33554432000 4194304 4196468 140720932649520 139800380173152 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30323] ppid=30254 vsize=10982744 memory=139909067982464 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30323/stat : 30323 (java) S 30254 30257 19273 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 107005695 11246329856 11131 33554432000 4194304 4196468 140720932649520 139801684351536 139802518170242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44524 KiB
[startup+0.310364 s]*
/proc/loadavg: 1.70 1.89 1.59 6/220 30323
/proc/meminfo: memFree=27902788/32770624 swapFree=67108744/67108860
[pid=30257] ppid=30254 vsize=10983192 memory=57716 CPUtime=0.38 cores=1,3,5,7
/proc/30257/stat : 30257 (java) S 30254 30257 19273 0 -1 1077944320 10389 13151 0 0 28 2 5 3 20 0 15 0 107005680 11246788608 14429 33554432000 4194304 4196468 140720932649520 140720932632064 139802518159095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
/proc/30257/statm: 2745798 14429 3101 1 0 2708109 0
[pid=30257/tid=30310] ppid=30254 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/30257/task/30310/stat : 30310 (java) R 30254 30257 19273 0 -1 4202560 6984 13151 0 0 19 1 5 3 20 0 15 0 107005689 11246788608 14429 33554432000 4194304 4196468 140720932649520 139802489971104 139802498434816 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30311] ppid=30254 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30311/stat : 30311 (java) S 30254 30257 19273 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 107005690 11246788608 14429 33554432000 4194304 4196468 140720932649520 139802522401808 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30312] ppid=30254 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30312/stat : 30312 (java) S 30254 30257 19273 0 -1 1077944384 2 13151 0 0 0 0 5 3 20 0 15 0 107005690 11246788608 14429 33554432000 4194304 4196468 140720932649520 139802403667088 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30313] ppid=30254 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30313/stat : 30313 (java) S 30254 30257 19273 0 -1 1077944384 2 13151 0 0 0 0 5 3 20 0 15 0 107005690 11246788608 14429 33554432000 4194304 4196468 140720932649520 139802402614032 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30314] ppid=30254 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30314/stat : 30314 (java) S 30254 30257 19273 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 107005690 11246788608 14429 33554432000 4194304 4196468 140720932649520 139802401561488 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30315] ppid=30254 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30315/stat : 30315 (java) S 30254 30257 19273 0 -1 1077944384 2 13151 0 0 0 0 5 3 20 0 15 0 107005692 11246788608 14495 33554432000 4194304 4196468 140720932649520 139801688561904 139802518170242 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30316] ppid=30254 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30316/stat : 30316 (java) S 30254 30257 19273 0 -1 1077944384 13 13151 0 0 0 0 5 3 20 0 15 0 107005692 11246788608 14495 33554432000 4194304 4196468 140720932649520 139801319695520 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30317] ppid=30254 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30317/stat : 30317 (java) S 30254 30257 19273 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 107005692 11246788608 14495 33554432000 4194304 4196468 140720932649520 139801118368496 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30318] ppid=30254 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30318/stat : 30318 (java) S 30254 30257 19273 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 107005695 11246788608 14495 33554432000 4194304 4196468 140720932649520 139800810969040 139802518177691 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30319] ppid=30254 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/30257/task/30319/stat : 30319 (java) S 30254 30257 19273 0 -1 1077944384 210 13151 0 0 1 0 5 3 20 0 15 0 107005695 11246788608 14495 33554432000 4194304 4196468 140720932649520 139801687509744 139802518170242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30320] ppid=30254 vsize=10983192 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/30257/task/30320/stat : 30320 (java) S 30254 30257 19273 0 -1 1077944384 408 13151 0 0 1 0 5 3 20 0 15 0 107005695 11246788608 14495 33554432000 4194304 4196468 140720932649520 139801686457200 139802518170242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30321] ppid=30254 vsize=10983192 memory=139909067982464 CPUtime=0.12 cores=1,3,5,7
/proc/30257/task/30321/stat : 30321 (java) S 30254 30257 19273 0 -1 1077944384 610 13151 0 0 4 0 5 3 20 0 15 0 107005695 11246788608 14495 33554432000 4194304 4196468 140720932649520 139801685404144 139802518170242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30322] ppid=30254 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30322/stat : 30322 (java) S 30254 30257 19273 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 107005695 11246788608 14495 33554432000 4194304 4196468 140720932649520 139800380173152 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30323] ppid=30254 vsize=10983192 memory=139909067982464 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30323/stat : 30323 (java) S 30254 30257 19273 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 107005695 11246788608 14495 33554432000 4194304 4196468 140720932649520 139801684351536 139802518170242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 57716 KiB
[startup+0.700761 s]
/proc/loadavg: 1.70 1.89 1.59 6/220 30323
/proc/meminfo: memFree=27868168/32770624 swapFree=67108744/67108860
[pid=30257] ppid=30254 vsize=10983192 memory=90560 CPUtime=0.99 cores=1,3,5,7
/proc/30257/stat : 30257 (java) S 30254 30257 19273 0 -1 1077944320 16755 13151 0 0 87 4 5 3 20 0 15 0 107005680 11246788608 22640 33554432000 4194304 4196468 140720932649520 140720932632064 139802518159095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
/proc/30257/statm: 2745798 22640 3238 1 0 2708109 0
[pid=30257/tid=30310] ppid=30254 vsize=10983192 memory=279817924927936 CPUtime=0.66 cores=1,3,5,7
/proc/30257/task/30310/stat : 30310 (java) R 30254 30257 19273 0 -1 4202560 12296 13151 0 0 55 3 5 3 20 0 15 0 107005689 11246788608 22640 33554432000 4194304 4196468 140720932649520 139802489972992 139802502239582 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30311] ppid=30254 vsize=10983192 memory=279817924928128 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30311/stat : 30311 (java) S 30254 30257 19273 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 107005690 11246788608 22640 33554432000 4194304 4196468 140720932649520 139802522401808 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30312] ppid=30254 vsize=10983192 memory=279817924724752 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30312/stat : 30312 (java) S 30254 30257 19273 0 -1 1077944384 2 13151 0 0 0 0 5 3 20 0 15 0 107005690 11246788608 22640 33554432000 4194304 4196468 140720932649520 139802403667088 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30313] ppid=30254 vsize=10983192 memory=33 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30313/stat : 30313 (java) S 30254 30257 19273 0 -1 1077944384 2 13151 0 0 0 0 5 3 20 0 15 0 107005690 11246788608 22640 33554432000 4194304 4196468 140720932649520 139802402614032 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30314] ppid=30254 vsize=10983192 memory=139908962464240 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30314/stat : 30314 (java) S 30254 30257 19273 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 107005690 11246788608 22640 33554432000 4194304 4196468 140720932649520 139802401561488 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30315] ppid=30254 vsize=10983192 memory=139912854635094 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30315/stat : 30315 (java) S 30254 30257 19273 0 -1 1077944384 5 13151 0 0 0 0 5 3 20 0 15 0 107005692 11246788608 22640 33554432000 4194304 4196468 140720932649520 139801688561904 139802518170242 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30316] ppid=30254 vsize=10983192 memory=1200 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30316/stat : 30316 (java) S 30254 30257 19273 0 -1 1077944384 13 13151 0 0 0 0 5 3 20 0 15 0 107005692 11246788608 22640 33554432000 4194304 4196468 140720932649520 139801319695520 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30317] ppid=30254 vsize=10983192 memory=7014751519616751185 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30317/stat : 30317 (java) S 30254 30257 19273 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 107005692 11246788608 22640 33554432000 4194304 4196468 140720932649520 139801118368496 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30318] ppid=30254 vsize=10983192 memory=7811891939479414610 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30318/stat : 30318 (java) S 30254 30257 19273 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 107005695 11246788608 22640 33554432000 4194304 4196468 140720932649520 139800810969040 139802518177691 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30319] ppid=30254 vsize=10983192 memory=6148935659200796009 CPUtime=0.15 cores=1,3,5,7
/proc/30257/task/30319/stat : 30319 (java) S 30254 30257 19273 0 -1 1077944384 557 13151 0 0 7 0 5 3 20 0 15 0 107005695 11246788608 22640 33554432000 4194304 4196468 140720932649520 139801687509744 139802518170242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30320] ppid=30254 vsize=10983192 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/30257/task/30320/stat : 30320 (java) S 30254 30257 19273 0 -1 1077944384 1006 13151 0 0 10 0 5 3 20 0 15 0 107005695 11246788608 22640 33554432000 4194304 4196468 140720932649520 139801686457200 139802518170242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30321] ppid=30254 vsize=10983192 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/30257/task/30321/stat : 30321 (java) S 30254 30257 19273 0 -1 1077944384 677 13151 0 0 13 0 5 3 20 0 15 0 107005695 11246788608 22640 33554432000 4194304 4196468 140720932649520 139801685404144 139802518170242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30322] ppid=30254 vsize=10983192 memory=4096 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30322/stat : 30322 (java) S 30254 30257 19273 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 107005695 11246788608 22640 33554432000 4194304 4196468 140720932649520 139800380173152 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30323] ppid=30254 vsize=10983192 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30323/stat : 30323 (java) S 30254 30257 19273 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 107005695 11246788608 22640 33554432000 4194304 4196468 140720932649520 139801684351536 139802518170242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 90560 KiB
[startup+1.50159 s]
/proc/loadavg: 1.70 1.89 1.59 7/220 30323
/proc/meminfo: memFree=27736568/32770624 swapFree=67108744/67108860
[pid=30257] ppid=30254 vsize=10995744 memory=188664 CPUtime=3.03 cores=1,3,5,7
/proc/30257/stat : 30257 (java) S 30254 30257 19273 0 -1 1077944320 28823 13151 0 0 284 11 5 3 20 0 15 0 107005680 11259641856 47166 33554432000 4194304 4196468 140720932649520 140720932632064 139802518159095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
/proc/30257/statm: 2748936 47166 3441 1 0 2710594 0
[pid=30257/tid=30310] ppid=30254 vsize=10995744 memory=13884 CPUtime=1.46 cores=1,3,5,7
/proc/30257/task/30310/stat : 30310 (java) R 30254 30257 19273 0 -1 4202560 17529 13151 0 0 130 8 5 3 20 0 15 0 107005689 11259641856 47166 33554432000 4194304 4196468 140720932649520 139802489964008 139802499722647 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30311] ppid=30254 vsize=10995744 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30311/stat : 30311 (java) S 30254 30257 19273 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 107005690 11259641856 47166 33554432000 4194304 4196468 140720932649520 139802522401808 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30312] ppid=30254 vsize=10995744 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30312/stat : 30312 (java) S 30254 30257 19273 0 -1 1077944384 2 13151 0 0 0 0 5 3 20 0 15 0 107005690 11259641856 47166 33554432000 4194304 4196468 140720932649520 139802403667088 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30313] ppid=30254 vsize=10995744 memory=2508 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30313/stat : 30313 (java) S 30254 30257 19273 0 -1 1077944384 2 13151 0 0 0 0 5 3 20 0 15 0 107005690 11259641856 47166 33554432000 4194304 4196468 140720932649520 139802402614032 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30314] ppid=30254 vsize=10995744 memory=90560 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30314/stat : 30314 (java) S 30254 30257 19273 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 107005690 11259641856 47166 33554432000 4194304 4196468 140720932649520 139802401561488 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30315] ppid=30254 vsize=10995744 memory=279817924927936 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30315/stat : 30315 (java) S 30254 30257 19273 0 -1 1077944384 14 13151 0 0 0 0 5 3 20 0 15 0 107005692 11259641856 47166 33554432000 4194304 4196468 140720932649520 139801688561904 139802518170242 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30316] ppid=30254 vsize=10995744 memory=279817924928128 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30316/stat : 30316 (java) S 30254 30257 19273 0 -1 1077944384 13 13151 0 0 0 0 5 3 20 0 15 0 107005692 11259641856 47166 33554432000 4194304 4196468 140720932649520 139801319695520 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30317] ppid=30254 vsize=10995744 memory=279817924724384 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30317/stat : 30317 (java) S 30254 30257 19273 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 107005692 11259641856 47166 33554432000 4194304 4196468 140720932649520 139801118368496 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30318] ppid=30254 vsize=10995744 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30318/stat : 30318 (java) S 30254 30257 19273 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 107005695 11259641856 47166 33554432000 4194304 4196468 140720932649520 139800810969040 139802518177691 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30319] ppid=30254 vsize=10995744 memory=4638778398332698720 CPUtime=0.59 cores=1,3,5,7
/proc/30257/task/30319/stat : 30319 (java) R 30254 30257 19273 0 -1 4202560 3952 13151 0 0 51 0 5 3 20 0 15 0 107005695 11259641856 47166 33554432000 4194304 4196468 140720932649520 139801687495088 139802499706401 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30320] ppid=30254 vsize=10995744 memory=279817925204864 CPUtime=0.63 cores=1,3,5,7
/proc/30257/task/30320/stat : 30320 (java) R 30254 30257 19273 0 -1 4202560 3106 13151 0 0 55 0 5 3 20 0 15 0 107005695 11259641856 47166 33554432000 4194304 4196468 140720932649520 139801686442664 139802502558788 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30321] ppid=30254 vsize=10995744 memory=-7522837583129502606 CPUtime=0.54 cores=1,3,5,7
/proc/30257/task/30321/stat : 30321 (java) S 30254 30257 19273 0 -1 1077944384 2004 13151 0 0 45 1 5 3 20 0 15 0 107005695 11259641856 47166 33554432000 4194304 4196468 140720932649520 139801685404144 139802518170242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30322] ppid=30254 vsize=10995744 memory=6944656592452807323 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30322/stat : 30322 (java) S 30254 30257 19273 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 107005695 11259641856 47166 33554432000 4194304 4196468 140720932649520 139800380173152 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30323] ppid=30254 vsize=10995744 memory=6944656591801719708 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30323/stat : 30323 (java) S 30254 30257 19273 0 -1 1077944384 2 13151 0 0 0 0 5 3 20 0 15 0 107005695 11259641856 47166 33554432000 4194304 4196468 140720932649520 139801684351536 139802518170242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 10995744 KiB
################
# More data... #
################
/proc/30257/statm: 2754136 303217 3531 1 0 2715789 0
[pid=30257/tid=30310] ppid=30254 vsize=11016544 memory=1233460 CPUtime=161.82 cores=1,3,5,7
/proc/30257/task/30310/stat : 30310 (java) R 30254 30257 19273 0 -1 4202560 54494 13151 0 0 16146 28 5 3 20 0 15 0 107005689 11280941056 303217 33554432000 4194304 4196468 140720932649520 139802489993008 139802097723646 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30311] ppid=30254 vsize=11016544 memory=1243720 CPUtime=0.32 cores=1,3,5,7
/proc/30257/task/30311/stat : 30311 (java) S 30254 30257 19273 0 -1 1077944384 2356 13151 0 0 18 6 5 3 20 0 15 0 107005690 11280941056 303217 33554432000 4194304 4196468 140720932649520 139802522401808 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30312] ppid=30254 vsize=11016544 memory=1224228 CPUtime=0.32 cores=1,3,5,7
/proc/30257/task/30312/stat : 30312 (java) S 30254 30257 19273 0 -1 1077944384 2749 13151 0 0 19 5 5 3 20 0 15 0 107005690 11280941056 303217 33554432000 4194304 4196468 140720932649520 139802403667088 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30313] ppid=30254 vsize=11016544 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/30257/task/30313/stat : 30313 (java) S 30254 30257 19273 0 -1 1077944384 821 13151 0 0 18 6 5 3 20 0 15 0 107005690 11280941056 303217 33554432000 4194304 4196468 140720932649520 139802402614032 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30314] ppid=30254 vsize=11016544 memory=1223200 CPUtime=0.33 cores=1,3,5,7
/proc/30257/task/30314/stat : 30314 (java) S 30254 30257 19273 0 -1 1077944384 3244 13151 0 0 19 6 5 3 20 0 15 0 107005690 11280941056 303217 33554432000 4194304 4196468 140720932649520 139802401561488 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30315] ppid=30254 vsize=11016544 memory=1228332 CPUtime=0.2 cores=1,3,5,7
/proc/30257/task/30315/stat : 30315 (java) S 30254 30257 19273 0 -1 1077944384 3234 13151 0 0 10 2 5 3 20 0 15 0 107005692 11280941056 303217 33554432000 4194304 4196468 140720932649520 139801688561904 139802518170242 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30316] ppid=30254 vsize=11016544 memory=1215680 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30316/stat : 30316 (java) S 30254 30257 19273 0 -1 1077944384 17 13151 0 0 0 0 5 3 20 0 15 0 107005692 11280941056 303217 33554432000 4194304 4196468 140720932649520 139801319695584 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30317] ppid=30254 vsize=11016544 memory=1215680 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30317/stat : 30317 (java) S 30254 30257 19273 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 107005692 11280941056 303217 33554432000 4194304 4196468 140720932649520 139801118368512 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30318] ppid=30254 vsize=11016544 memory=1212868 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30318/stat : 30318 (java) S 30254 30257 19273 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 107005695 11280941056 303217 33554432000 4194304 4196468 140720932649520 139800810969040 139802518177691 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30319] ppid=30254 vsize=11016544 memory=1256544 CPUtime=7.67 cores=1,3,5,7
/proc/30257/task/30319/stat : 30319 (java) S 30254 30257 19273 0 -1 1077944384 22377 13151 0 0 755 4 5 3 20 0 15 0 107005695 11280941056 303217 33554432000 4194304 4196468 140720932649520 139801687509744 139802518170242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30320] ppid=30254 vsize=11016544 memory=1223200 CPUtime=7.65 cores=1,3,5,7
/proc/30257/task/30320/stat : 30320 (java) S 30254 30257 19273 0 -1 1077944384 23093 13151 0 0 754 3 5 3 20 0 15 0 107005695 11280941056 303217 33554432000 4194304 4196468 140720932649520 139801686457200 139802518170242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30321] ppid=30254 vsize=11016544 memory=6791534058613427641 CPUtime=3.06 cores=1,3,5,7
/proc/30257/task/30321/stat : 30321 (java) S 30254 30257 19273 0 -1 1077944384 23558 13151 0 0 294 4 5 3 20 0 15 0 107005695 11280941056 303217 33554432000 4194304 4196468 140720932649520 139801685404144 139802518170242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30322] ppid=30254 vsize=11016544 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30322/stat : 30322 (java) S 30254 30257 19273 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 107005695 11280941056 303217 33554432000 4194304 4196468 140720932649520 139800380173152 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30323] ppid=30254 vsize=11016544 memory=1200 CPUtime=0.16 cores=1,3,5,7
/proc/30257/task/30323/stat : 30323 (java) S 30254 30257 19273 0 -1 1077944384 1505 13151 0 0 5 3 5 3 20 0 15 0 107005695 11280941056 303217 33554432000 4194304 4196468 140720932649520 139801684351536 139802518170242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
Current children cumulated CPU time: 181.22 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1212868 KiB
[startup+222.301 s]
/proc/loadavg: 1.51 1.76 1.60 3/219 30348
/proc/meminfo: memFree=25935460/32770624 swapFree=67108744/67108860
[pid=30257] ppid=30254 vsize=11016544 memory=1178056 CPUtime=241.64 cores=1,3,5,7
/proc/30257/stat : 30257 (java) S 30254 30257 19273 0 -1 1077944320 148794 13151 0 0 24082 74 5 3 20 0 15 0 107005680 11280941056 294514 33554432000 4194304 4196468 140720932649520 140720932632064 139802518159095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
/proc/30257/statm: 2754136 294514 3531 1 0 2715789 0
[pid=30257/tid=30310] ppid=30254 vsize=11016544 memory=1182648 CPUtime=221.62 cores=1,3,5,7
/proc/30257/task/30310/stat : 30310 (java) R 30254 30257 19273 0 -1 4202560 56034 13151 0 0 22126 28 5 3 20 0 15 0 107005689 11280941056 294514 33554432000 4194304 4196468 140720932649520 139802489992688 139802097718058 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30311] ppid=30254 vsize=11016544 memory=1182136 CPUtime=0.41 cores=1,3,5,7
/proc/30257/task/30311/stat : 30311 (java) S 30254 30257 19273 0 -1 1077944384 3502 13151 0 0 27 6 5 3 20 0 15 0 107005690 11280941056 294514 33554432000 4194304 4196468 140720932649520 139802522401808 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30312] ppid=30254 vsize=11016544 memory=1183676 CPUtime=0.42 cores=1,3,5,7
/proc/30257/task/30312/stat : 30312 (java) S 30254 30257 19273 0 -1 1077944384 3578 13151 0 0 28 6 5 3 20 0 15 0 107005690 11280941056 294514 33554432000 4194304 4196468 140720932649520 139802403667088 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30313] ppid=30254 vsize=11016544 memory=1180108 CPUtime=0.41 cores=1,3,5,7
/proc/30257/task/30313/stat : 30313 (java) S 30254 30257 19273 0 -1 1077944384 862 13151 0 0 27 6 5 3 20 0 15 0 107005690 11280941056 294514 33554432000 4194304 4196468 140720932649520 139802402614032 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30314] ppid=30254 vsize=11016544 memory=1179596 CPUtime=0.42 cores=1,3,5,7
/proc/30257/task/30314/stat : 30314 (java) S 30254 30257 19273 0 -1 1077944384 3340 13151 0 0 27 7 5 3 20 0 15 0 107005690 11280941056 294514 33554432000 4194304 4196468 140720932649520 139802401561488 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30315] ppid=30254 vsize=11016544 memory=1178568 CPUtime=0.28 cores=1,3,5,7
/proc/30257/task/30315/stat : 30315 (java) S 30254 30257 19273 0 -1 1077944384 3552 13151 0 0 17 3 5 3 20 0 15 0 107005692 11280941056 294514 33554432000 4194304 4196468 140720932649520 139801688561904 139802518170242 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30316] ppid=30254 vsize=11016544 memory=1178056 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30316/stat : 30316 (java) S 30254 30257 19273 0 -1 1077944384 17 13151 0 0 0 0 5 3 20 0 15 0 107005692 11280941056 294514 33554432000 4194304 4196468 140720932649520 139801319695584 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30317] ppid=30254 vsize=11016544 memory=1179080 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30317/stat : 30317 (java) S 30254 30257 19273 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 107005692 11280941056 294514 33554432000 4194304 4196468 140720932649520 139801118368512 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30318] ppid=30254 vsize=11016544 memory=1179080 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30318/stat : 30318 (java) S 30254 30257 19273 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 107005695 11280941056 294514 33554432000 4194304 4196468 140720932649520 139800810969040 139802518177691 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30319] ppid=30254 vsize=11016544 memory=30656 CPUtime=7.73 cores=1,3,5,7
/proc/30257/task/30319/stat : 30319 (java) S 30254 30257 19273 0 -1 1077944384 24190 13151 0 0 761 4 5 3 20 0 15 0 107005695 11280941056 294514 33554432000 4194304 4196468 140720932649520 139801687509744 139802518170242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30320] ppid=30254 vsize=11016544 memory=2396 CPUtime=7.7 cores=1,3,5,7
/proc/30257/task/30320/stat : 30320 (java) S 30254 30257 19273 0 -1 1077944384 24732 13151 0 0 759 3 5 3 20 0 15 0 107005695 11280941056 294514 33554432000 4194304 4196468 140720932649520 139801686457200 139802518170242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30321] ppid=30254 vsize=11016544 memory=5404 CPUtime=3.08 cores=1,3,5,7
/proc/30257/task/30321/stat : 30321 (java) S 30254 30257 19273 0 -1 1077944384 25185 13151 0 0 295 5 5 3 20 0 15 0 107005695 11280941056 294514 33554432000 4194304 4196468 140720932649520 139801685404144 139802518170242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30322] ppid=30254 vsize=11016544 memory=796 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30322/stat : 30322 (java) S 30254 30257 19273 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 107005695 11280941056 294514 33554432000 4194304 4196468 140720932649520 139800380173152 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30323] ppid=30254 vsize=11016544 memory=1179596 CPUtime=0.19 cores=1,3,5,7
/proc/30257/task/30323/stat : 30323 (java) S 30254 30257 19273 0 -1 1077944384 1603 13151 0 0 6 5 5 3 20 0 15 0 107005695 11280941056 294514 33554432000 4194304 4196468 140720932649520 139801684351536 139802518170242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
Current children cumulated CPU time: 241.64 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1178056 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+232.601 s]
/proc/loadavg: 1.50 1.75 1.60 3/219 30479
/proc/meminfo: memFree=26896476/32770624 swapFree=67108744/67108860
[pid=30257] ppid=30254 vsize=11016544 memory=1178056 CPUtime=252.01 cores=1,3,5,7
/proc/30257/stat : 30257 (java) S 30254 30257 19273 0 -1 1077944320 149615 13151 0 0 25118 75 5 3 20 0 15 0 107005680 11280941056 294514 33554432000 4194304 4196468 140720932649520 140720932632064 139802518159095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
/proc/30257/statm: 2754136 294514 3531 1 0 2715789 0
[pid=30257/tid=30310] ppid=30254 vsize=11016544 memory=4616 CPUtime=231.87 cores=1,3,5,7
/proc/30257/task/30310/stat : 30310 (java) R 30254 30257 19273 0 -1 4202560 56086 13151 0 0 23151 28 5 3 20 0 15 0 107005689 11280941056 294514 33554432000 4194304 4196468 140720932649520 139802489992496 139802097723535 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30311] ppid=30254 vsize=11016544 memory=1424 CPUtime=0.44 cores=1,3,5,7
/proc/30257/task/30311/stat : 30311 (java) S 30254 30257 19273 0 -1 1077944384 3503 13151 0 0 29 7 5 3 20 0 15 0 107005690 11280941056 294514 33554432000 4194304 4196468 140720932649520 139802522401808 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30312] ppid=30254 vsize=11016544 memory=6791534058613427641 CPUtime=0.45 cores=1,3,5,7
/proc/30257/task/30312/stat : 30312 (java) S 30254 30257 19273 0 -1 1077944384 3580 13151 0 0 31 6 5 3 20 0 15 0 107005690 11280941056 294514 33554432000 4194304 4196468 140720932649520 139802403667088 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30313] ppid=30254 vsize=11016544 memory=15872 CPUtime=0.43 cores=1,3,5,7
/proc/30257/task/30313/stat : 30313 (java) S 30254 30257 19273 0 -1 1077944384 863 13151 0 0 29 6 5 3 20 0 15 0 107005690 11280941056 294514 33554432000 4194304 4196468 140720932649520 139802402614032 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30314] ppid=30254 vsize=11016544 memory=18280 CPUtime=0.45 cores=1,3,5,7
/proc/30257/task/30314/stat : 30314 (java) S 30254 30257 19273 0 -1 1077944384 3342 13151 0 0 30 7 5 3 20 0 15 0 107005690 11280941056 294514 33554432000 4194304 4196468 140720932649520 139802401561488 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30315] ppid=30254 vsize=11016544 memory=1236 CPUtime=0.29 cores=1,3,5,7
/proc/30257/task/30315/stat : 30315 (java) S 30254 30257 19273 0 -1 1077944384 3554 13151 0 0 18 3 5 3 20 0 15 0 107005692 11280941056 294514 33554432000 4194304 4196468 140720932649520 139801688561904 139802518170242 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30316] ppid=30254 vsize=11016544 memory=11116 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30316/stat : 30316 (java) S 30254 30257 19273 0 -1 1077944384 17 13151 0 0 0 0 5 3 20 0 15 0 107005692 11280941056 294514 33554432000 4194304 4196468 140720932649520 139801319695584 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30317] ppid=30254 vsize=11016544 memory=1200 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30317/stat : 30317 (java) S 30254 30257 19273 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 107005692 11280941056 294514 33554432000 4194304 4196468 140720932649520 139801118368512 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30318] ppid=30254 vsize=11016544 memory=1198500 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30318/stat : 30318 (java) S 30254 30257 19273 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 107005695 11280941056 294514 33554432000 4194304 4196468 140720932649520 139800810969040 139802518177691 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30319] ppid=30254 vsize=11016544 memory=11116 CPUtime=7.73 cores=1,3,5,7
/proc/30257/task/30319/stat : 30319 (java) S 30254 30257 19273 0 -1 1077944384 24190 13151 0 0 761 4 5 3 20 0 15 0 107005695 11280941056 294514 33554432000 4194304 4196468 140720932649520 139801687509744 139802518170242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30320] ppid=30254 vsize=11016544 memory=1952 CPUtime=7.7 cores=1,3,5,7
/proc/30257/task/30320/stat : 30320 (java) S 30254 30257 19273 0 -1 1077944384 25152 13151 0 0 759 3 5 3 20 0 15 0 107005695 11280941056 294514 33554432000 4194304 4196468 140720932649520 139801686457200 139802518170242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30321] ppid=30254 vsize=11016544 memory=10592 CPUtime=3.08 cores=1,3,5,7
/proc/30257/task/30321/stat : 30321 (java) S 30254 30257 19273 0 -1 1077944384 25526 13151 0 0 295 5 5 3 20 0 15 0 107005695 11280941056 294514 33554432000 4194304 4196468 140720932649520 139801685404144 139802518170242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30322] ppid=30254 vsize=11016544 memory=15872 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30322/stat : 30322 (java) S 30254 30257 19273 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 107005695 11280941056 294514 33554432000 4194304 4196468 140720932649520 139800380173152 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30323] ppid=30254 vsize=11016544 memory=18280 CPUtime=0.2 cores=1,3,5,7
/proc/30257/task/30323/stat : 30323 (java) S 30254 30257 19273 0 -1 1077944384 1603 13151 0 0 6 6 5 3 20 0 15 0 107005695 11280941056 294514 33554432000 4194304 4196468 140720932649520 139801684351536 139802518170242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1178056 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+232.76 s]
# the end of solver process 30257 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.256 s, system=0.806239 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+232.705 s]
/proc/loadavg: 1.50 1.75 1.60 3/219 30479
/proc/meminfo: memFree=26896476/32770624 swapFree=67108744/67108860
[pid=30257] ppid=30254 vsize=11277668 memory=1180264 CPUtime=252.03 cores=1,3,5,7
/proc/30257/stat : 30257 (java) S 30254 30257 19273 0 -1 1077944320 151487 13151 0 0 25120 75 5 3 20 0 15 0 107005680 11548332032 295066 33554432000 4194304 4196468 140720932649520 140720932632064 139802518159095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
/proc/30257/statm: 2819417 295066 3534 1 0 2781070 0
[pid=30257/tid=30310] ppid=30254 vsize=11277668 memory=1178056 CPUtime=231.88 cores=1,3,5,7
/proc/30257/task/30310/stat : 30310 (java) S 30254 30257 19273 0 -1 1077944384 56732 13151 0 0 23152 28 5 3 20 0 15 0 107005689 11548332032 295066 33554432000 4194304 4196468 140720932649520 139802490001136 139802518170242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30311] ppid=30254 vsize=11277668 memory=1178056 CPUtime=0.44 cores=1,3,5,7
/proc/30257/task/30311/stat : 30311 (java) S 30254 30257 19273 0 -1 1077944384 3503 13151 0 0 29 7 5 3 20 0 15 0 107005690 11548332032 295066 33554432000 4194304 4196468 140720932649520 139802522401808 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30312] ppid=30254 vsize=11277668 memory=1183676 CPUtime=0.45 cores=1,3,5,7
/proc/30257/task/30312/stat : 30312 (java) S 30254 30257 19273 0 -1 1077944384 3580 13151 0 0 31 6 5 3 20 0 15 0 107005690 11548332032 295066 33554432000 4194304 4196468 140720932649520 139802403667088 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30313] ppid=30254 vsize=11277668 memory=1178056 CPUtime=0.43 cores=1,3,5,7
/proc/30257/task/30313/stat : 30313 (java) S 30254 30257 19273 0 -1 1077944384 863 13151 0 0 29 6 5 3 20 0 15 0 107005690 11548332032 295066 33554432000 4194304 4196468 140720932649520 139802402614032 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30314] ppid=30254 vsize=11277668 memory=1178056 CPUtime=0.45 cores=1,3,5,7
/proc/30257/task/30314/stat : 30314 (java) S 30254 30257 19273 0 -1 1077944384 3342 13151 0 0 30 7 5 3 20 0 15 0 107005690 11548332032 295066 33554432000 4194304 4196468 140720932649520 139802401561488 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30315] ppid=30254 vsize=11277668 memory=1183156 CPUtime=0.29 cores=1,3,5,7
/proc/30257/task/30315/stat : 30315 (java) D 30254 30257 19273 0 -1 4202560 3555 13151 0 0 18 3 5 3 20 0 15 0 107005692 11548332032 295066 33554432000 4194304 4196468 140720932649520 139801688561848 139802510844727 0 0 0 16800975 18446744072100277381 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30316] ppid=30254 vsize=11277668 memory=1292 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30316/stat : 30316 (java) S 30254 30257 19273 0 -1 1077944384 17 13151 0 0 0 0 5 3 20 0 15 0 107005692 11548332032 295066 33554432000 4194304 4196468 140720932649520 139801319695584 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30317] ppid=30254 vsize=11277668 memory=1844 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30317/stat : 30317 (java) S 30254 30257 19273 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 107005692 11548332032 295066 33554432000 4194304 4196468 140720932649520 139801118368512 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30318] ppid=30254 vsize=11277668 memory=762 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30318/stat : 30318 (java) S 30254 30257 19273 0 -1 1077944384 177 13151 0 0 0 0 5 3 20 0 15 0 107005695 11548332032 295066 33554432000 4194304 4196468 140720932649520 139800810968752 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30319] ppid=30254 vsize=11277668 memory=300 CPUtime=7.73 cores=1,3,5,7
/proc/30257/task/30319/stat : 30319 (java) S 30254 30257 19273 0 -1 1077944384 24264 13151 0 0 761 4 5 3 20 0 15 0 107005695 11548332032 295066 33554432000 4194304 4196468 140720932649520 139801687509744 139802518170242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30320] ppid=30254 vsize=11277668 memory=1178056 CPUtime=7.7 cores=1,3,5,7
/proc/30257/task/30320/stat : 30320 (java) S 30254 30257 19273 0 -1 1077944384 25573 13151 0 0 759 3 5 3 20 0 15 0 107005695 11548332032 295066 33554432000 4194304 4196468 140720932649520 139801686457200 139802518170242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30321] ppid=30254 vsize=11277668 memory=4096 CPUtime=3.08 cores=1,3,5,7
/proc/30257/task/30321/stat : 30321 (java) S 30254 30257 19273 0 -1 1077944384 25876 13151 0 0 295 5 5 3 20 0 15 0 107005695 11548332032 295066 33554432000 4194304 4196468 140720932649520 139801685404144 139802518170242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
[pid=30257/tid=30322] ppid=30254 vsize=11277668 memory=1712 CPUtime=0.08 cores=1,3,5,7
/proc/30257/task/30322/stat : 30322 (java) S 30254 30257 19273 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 107005695 11548332032 295066 33554432000 4194304 4196468 140720932649520 139800380173152 139802518169301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37883904 140720932657768 140720932660577 140720932660577 140720932663247 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 11277668 KiB
Current children cumulated memory: 1180264 KiB
Child status: 143
Real time (s): 232.76
CPU time (s): 252.062
CPU user time (s): 251.256
CPU system time (s): 0.806239
CPU usage (%): 108.293
Max. virtual memory (cumulated for all children) (KiB): 11277668
Max. memory (cumulated for all children) (KiB): 1323752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.256
system time used= 0.806239
maximum resident set size= 1323752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164660
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= 18268
involuntary context switches= 421
# summary of solver processes directly reported to runsolver:
# pid: 30257
# total CPU time (s): 252.062
# total CPU user time (s): 251.256
# total CPU system time (s): 0.806239
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.37642 second user time and 2.24667 second system time
The end