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 (2805 MiB free)
memory of node 1: 16384 MiB (3055 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304266-1534052051/watcher-4304266-1534052051 -o /tmp/evaluation-result-4304266-1534052051/solver-4304266-1534052051 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534040364-20983 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1482446196 -superng HOME/instance-4304266-1534052051.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23059, runsolver pid=23056
[startup+0.100137 s]*
/proc/loadavg: 1.29 1.33 1.35 3/207 23116
/proc/meminfo: memFree=5997296/32770624 swapFree=67108380/67108860
[pid=23059] ppid=23056 vsize=10005480 memory=16428 CPUtime=0.1 cores=1,3,5,7
/proc/23059/stat : 23059 (java) S 23056 23059 18934 0 -1 1077944320 4287 13166 0 0 1 1 5 3 20 0 6 0 222768333 10245611520 4107 33554432000 4194304 4196468 140720589537552 140720589520096 140292184256247 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
/proc/23059/statm: 2501370 4107 1930 1 0 2489808 0
[pid=23059/tid=23112] ppid=23056 vsize=10005480 memory=4279135704047190413 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23112/stat : 23112 (java) R 23056 23059 18934 0 -1 4202560 2091 13166 0 0 0 0 5 3 20 0 6 0 222768342 10245611520 4107 33554432000 4194304 4196468 140720589537552 140292156093008 140292165649978 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23113] ppid=23056 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23113/stat : 23113 (java) S 23056 23059 18934 0 -1 1077944384 2 13166 0 0 0 0 5 3 20 0 6 0 222768343 10245611520 4107 33554432000 4194304 4196468 140720589537552 140292188498704 140292184266453 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23114] ppid=23056 vsize=10005480 memory=140583091320448 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23114/stat : 23114 (java) S 23056 23059 18934 0 -1 1077944384 1 13166 0 0 0 0 5 3 20 0 6 0 222768343 10245611520 4107 33554432000 4194304 4196468 140720589537552 140291724413840 140292184266453 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23115] ppid=23056 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23115/stat : 23115 (java) S 23056 23059 18934 0 -1 1077944384 1 13166 0 0 0 0 5 3 20 0 6 0 222768343 10245611520 4107 33554432000 4194304 4196468 140720589537552 140291723361296 140292184266453 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23116] ppid=23056 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23116/stat : 23116 (java) S 23056 23059 18934 0 -1 1077944384 2 13166 0 0 0 0 5 3 20 0 6 0 222768343 10245611520 4107 33554432000 4194304 4196468 140720589537552 140291722308752 140292184266453 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16428 KiB
[startup+0.210051 s]*
/proc/loadavg: 1.29 1.33 1.35 3/216 23125
/proc/meminfo: memFree=5970432/32770624 swapFree=67108380/67108860
[pid=23059] ppid=23056 vsize=10982696 memory=45920 CPUtime=0.27 cores=1,3,5,7
/proc/23059/stat : 23059 (java) S 23056 23059 18934 0 -1 1077944320 8319 13166 0 0 16 3 5 3 20 0 15 0 222768333 11246280704 11480 33554432000 4194304 4196468 140720589537552 140720589520096 140292184256247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
/proc/23059/statm: 2745674 11480 2966 1 0 2708109 0
[pid=23059/tid=23112] ppid=23056 vsize=10982696 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/23059/task/23112/stat : 23112 (java) R 23056 23059 18934 0 -1 4202560 4765 13166 0 0 9 2 5 3 20 0 15 0 222768342 11246280704 11480 33554432000 4194304 4196468 140720589537552 140292156053904 140292165819843 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23113] ppid=23056 vsize=10982696 memory=345 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23113/stat : 23113 (java) S 23056 23059 18934 0 -1 1077944384 2 13166 0 0 0 0 5 3 20 0 15 0 222768343 11246280704 11480 33554432000 4194304 4196468 140720589537552 140292188498704 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23114] ppid=23056 vsize=10982696 memory=288370959243032192 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23114/stat : 23114 (java) S 23056 23059 18934 0 -1 1077944384 1 13166 0 0 0 0 5 3 20 0 15 0 222768343 11246280704 11480 33554432000 4194304 4196468 140720589537552 140291724413840 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23115] ppid=23056 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23115/stat : 23115 (java) S 23056 23059 18934 0 -1 1077944384 1 13166 0 0 0 0 5 3 20 0 15 0 222768343 11246280704 11480 33554432000 4194304 4196468 140720589537552 140291723361296 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23116] ppid=23056 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23116/stat : 23116 (java) S 23056 23059 18934 0 -1 1077944384 2 13166 0 0 0 0 5 3 20 0 15 0 222768343 11246280704 11480 33554432000 4194304 4196468 140720589537552 140291722308752 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23117] ppid=23056 vsize=10982696 memory=140583091320448 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23117/stat : 23117 (java) S 23056 23059 18934 0 -1 1077944384 2 13166 0 0 0 0 5 3 20 0 15 0 222768345 11246280704 11480 33554432000 4194304 4196468 140720589537552 140291609688048 140292184267394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23118] ppid=23056 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23118/stat : 23118 (java) S 23056 23059 18934 0 -1 1077944384 13 13166 0 0 0 0 5 3 20 0 15 0 222768345 11246280704 11480 33554432000 4194304 4196468 140720589537552 140291013075872 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23119] ppid=23056 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23119/stat : 23119 (java) S 23056 23059 18934 0 -1 1077944384 1 13166 0 0 0 0 5 3 20 0 15 0 222768345 11246280704 11480 33554432000 4194304 4196468 140720589537552 140290811749360 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23120] ppid=23056 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23120/stat : 23120 (java) S 23056 23059 18934 0 -1 1077944384 3 13166 0 0 0 0 5 3 20 0 15 0 222768348 11246280704 11480 33554432000 4194304 4196468 140720589537552 140290504349904 140292184274843 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23121] ppid=23056 vsize=10982696 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/23059/task/23121/stat : 23121 (java) S 23056 23059 18934 0 -1 1077944384 483 13166 0 0 1 0 5 3 20 0 15 0 222768348 11246280704 11480 33554432000 4194304 4196468 140720589537552 140291608635888 140292184267394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23122] ppid=23056 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23122/stat : 23122 (java) S 23056 23059 18934 0 -1 1077944384 155 13166 0 0 0 0 5 3 20 0 15 0 222768348 11246280704 11480 33554432000 4194304 4196468 140720589537552 140291607583344 140292184267394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23123] ppid=23056 vsize=10982696 memory=140583091320448 CPUtime=0.11 cores=1,3,5,7
/proc/23059/task/23123/stat : 23123 (java) S 23056 23059 18934 0 -1 1077944384 691 13166 0 0 3 0 5 3 20 0 15 0 222768348 11246280704 11480 33554432000 4194304 4196468 140720589537552 140291606530800 140292184267394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23124] ppid=23056 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23124/stat : 23124 (java) S 23056 23059 18934 0 -1 1077944384 3 13166 0 0 0 0 5 3 20 0 15 0 222768348 11246280704 11480 33554432000 4194304 4196468 140720589537552 140290073554016 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23125] ppid=23056 vsize=10982696 memory=140583091320448 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23125/stat : 23125 (java) S 23056 23059 18934 0 -1 1077944384 1 13166 0 0 0 0 5 3 20 0 15 0 222768348 11246280704 11480 33554432000 4194304 4196468 140720589537552 140291605477680 140292184267394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 45920 KiB
[startup+0.310542 s]*
/proc/loadavg: 1.29 1.33 1.35 3/216 23125
/proc/meminfo: memFree=5959144/32770624 swapFree=67108380/67108860
[pid=23059] ppid=23056 vsize=10983192 memory=57276 CPUtime=0.38 cores=1,3,5,7
/proc/23059/stat : 23059 (java) S 23056 23059 18934 0 -1 1077944320 10363 13166 0 0 27 3 5 3 20 0 15 0 222768333 11246788608 14319 33554432000 4194304 4196468 140720589537552 140720589520096 140292184256247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
/proc/23059/statm: 2745798 14319 3098 1 0 2708109 0
[pid=23059/tid=23112] ppid=23056 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/23059/task/23112/stat : 23112 (java) R 23056 23059 18934 0 -1 4202560 6777 13166 0 0 18 2 5 3 20 0 15 0 222768342 11246788608 14319 33554432000 4194304 4196468 140720589537552 140292156068256 140292168336734 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23113] ppid=23056 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23113/stat : 23113 (java) S 23056 23059 18934 0 -1 1077944384 2 13166 0 0 0 0 5 3 20 0 15 0 222768343 11246788608 14319 33554432000 4194304 4196468 140720589537552 140292188498704 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23114] ppid=23056 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23114/stat : 23114 (java) S 23056 23059 18934 0 -1 1077944384 1 13166 0 0 0 0 5 3 20 0 15 0 222768343 11246788608 14319 33554432000 4194304 4196468 140720589537552 140291724413840 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23115] ppid=23056 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23115/stat : 23115 (java) S 23056 23059 18934 0 -1 1077944384 1 13166 0 0 0 0 5 3 20 0 15 0 222768343 11246788608 14319 33554432000 4194304 4196468 140720589537552 140291723361296 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23116] ppid=23056 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23116/stat : 23116 (java) S 23056 23059 18934 0 -1 1077944384 2 13166 0 0 0 0 5 3 20 0 15 0 222768343 11246788608 14319 33554432000 4194304 4196468 140720589537552 140291722308752 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23117] ppid=23056 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23117/stat : 23117 (java) S 23056 23059 18934 0 -1 1077944384 2 13166 0 0 0 0 5 3 20 0 15 0 222768345 11246788608 14319 33554432000 4194304 4196468 140720589537552 140291609688048 140292184267394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23118] ppid=23056 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23118/stat : 23118 (java) S 23056 23059 18934 0 -1 1077944384 13 13166 0 0 0 0 5 3 20 0 15 0 222768345 11246788608 14319 33554432000 4194304 4196468 140720589537552 140291013075872 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23119] ppid=23056 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23119/stat : 23119 (java) S 23056 23059 18934 0 -1 1077944384 1 13166 0 0 0 0 5 3 20 0 15 0 222768345 11246788608 14319 33554432000 4194304 4196468 140720589537552 140290811749360 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23120] ppid=23056 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23120/stat : 23120 (java) S 23056 23059 18934 0 -1 1077944384 3 13166 0 0 0 0 5 3 20 0 15 0 222768348 11246788608 14319 33554432000 4194304 4196468 140720589537552 140290504349904 140292184274843 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23121] ppid=23056 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/23059/task/23121/stat : 23121 (java) S 23056 23059 18934 0 -1 1077944384 490 13166 0 0 1 0 5 3 20 0 15 0 222768348 11246788608 14319 33554432000 4194304 4196468 140720589537552 140291608635888 140292184267394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23122] ppid=23056 vsize=10983192 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/23059/task/23122/stat : 23122 (java) S 23056 23059 18934 0 -1 1077944384 156 13166 0 0 1 0 5 3 20 0 15 0 222768348 11246788608 14319 33554432000 4194304 4196468 140720589537552 140291607583344 140292184267394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23123] ppid=23056 vsize=10983192 memory=140583091320448 CPUtime=0.13 cores=1,3,5,7
/proc/23059/task/23123/stat : 23123 (java) S 23056 23059 18934 0 -1 1077944384 717 13166 0 0 5 0 5 3 20 0 15 0 222768348 11246788608 14319 33554432000 4194304 4196468 140720589537552 140291606530800 140292184267394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23124] ppid=23056 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23124/stat : 23124 (java) S 23056 23059 18934 0 -1 1077944384 3 13166 0 0 0 0 5 3 20 0 15 0 222768348 11246788608 14319 33554432000 4194304 4196468 140720589537552 140290073554016 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23125] ppid=23056 vsize=10983192 memory=140583091320448 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23125/stat : 23125 (java) S 23056 23059 18934 0 -1 1077944384 1 13166 0 0 0 0 5 3 20 0 15 0 222768348 11246788608 14319 33554432000 4194304 4196468 140720589537552 140291605477680 140292184267394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 57276 KiB
[startup+0.700776 s]
/proc/loadavg: 1.29 1.33 1.35 3/216 23125
/proc/meminfo: memFree=5946912/32770624 swapFree=67108380/67108860
[pid=23059] ppid=23056 vsize=10983192 memory=90084 CPUtime=0.99 cores=1,3,5,7
/proc/23059/stat : 23059 (java) S 23056 23059 18934 0 -1 1077944320 16723 13166 0 0 87 4 5 3 20 0 15 0 222768333 11246788608 22521 33554432000 4194304 4196468 140720589537552 140720589520096 140292184256247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
/proc/23059/statm: 2745798 22521 3237 1 0 2708109 0
[pid=23059/tid=23112] ppid=23056 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/23059/task/23112/stat : 23112 (java) R 23056 23059 18934 0 -1 4202560 12056 13166 0 0 55 3 5 3 20 0 15 0 222768342 11246788608 22521 33554432000 4194304 4196468 140720589537552 140292156077072 140292168336734 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23113] ppid=23056 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23113/stat : 23113 (java) S 23056 23059 18934 0 -1 1077944384 2 13166 0 0 0 0 5 3 20 0 15 0 222768343 11246788608 22521 33554432000 4194304 4196468 140720589537552 140292188498704 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23114] ppid=23056 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23114/stat : 23114 (java) S 23056 23059 18934 0 -1 1077944384 1 13166 0 0 0 0 5 3 20 0 15 0 222768343 11246788608 22521 33554432000 4194304 4196468 140720589537552 140291724413840 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23115] ppid=23056 vsize=10983192 memory=140582936785712 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23115/stat : 23115 (java) S 23056 23059 18934 0 -1 1077944384 1 13166 0 0 0 0 5 3 20 0 15 0 222768343 11246788608 22521 33554432000 4194304 4196468 140720589537552 140291723361296 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23116] ppid=23056 vsize=10983192 memory=140587164500569 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23116/stat : 23116 (java) S 23056 23059 18934 0 -1 1077944384 2 13166 0 0 0 0 5 3 20 0 15 0 222768343 11246788608 22521 33554432000 4194304 4196468 140720589537552 140291722308752 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23117] ppid=23056 vsize=10983192 memory=1388 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23117/stat : 23117 (java) S 23056 23059 18934 0 -1 1077944384 6 13166 0 0 0 0 5 3 20 0 15 0 222768345 11246788608 22521 33554432000 4194304 4196468 140720589537552 140291609688048 140292184267394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23118] ppid=23056 vsize=10983192 memory=4639098309541127525 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23118/stat : 23118 (java) S 23056 23059 18934 0 -1 1077944384 13 13166 0 0 0 0 5 3 20 0 15 0 222768345 11246788608 22521 33554432000 4194304 4196468 140720589537552 140291013075872 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23119] ppid=23056 vsize=10983192 memory=6082220498109361512 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23119/stat : 23119 (java) S 23056 23059 18934 0 -1 1077944384 1 13166 0 0 0 0 5 3 20 0 15 0 222768345 11246788608 22521 33554432000 4194304 4196468 140720589537552 140290811749360 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23120] ppid=23056 vsize=10983192 memory=33728 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23120/stat : 23120 (java) S 23056 23059 18934 0 -1 1077944384 3 13166 0 0 0 0 5 3 20 0 15 0 222768348 11246788608 22521 33554432000 4194304 4196468 140720589537552 140290504349904 140292184274843 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23121] ppid=23056 vsize=10983192 memory=14392 CPUtime=0.18 cores=1,3,5,7
/proc/23059/task/23121/stat : 23121 (java) S 23056 23059 18934 0 -1 1077944384 1104 13166 0 0 10 0 5 3 20 0 15 0 222768348 11246788608 22521 33554432000 4194304 4196468 140720589537552 140291608635888 140292184267394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23122] ppid=23056 vsize=10983192 memory=4004 CPUtime=0.14 cores=1,3,5,7
/proc/23059/task/23122/stat : 23122 (java) S 23056 23059 18934 0 -1 1077944384 453 13166 0 0 6 0 5 3 20 0 15 0 222768348 11246788608 22521 33554432000 4194304 4196468 140720589537552 140291607583344 140292184267394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23123] ppid=23056 vsize=10983192 memory=500 CPUtime=0.21 cores=1,3,5,7
/proc/23059/task/23123/stat : 23123 (java) S 23056 23059 18934 0 -1 1077944384 881 13166 0 0 13 0 5 3 20 0 15 0 222768348 11246788608 22585 33554432000 4194304 4196468 140720589537552 140291606530800 140292184267394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23124] ppid=23056 vsize=10983192 memory=1720 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23124/stat : 23124 (java) S 23056 23059 18934 0 -1 1077944384 3 13166 0 0 0 0 5 3 20 0 15 0 222768348 11246788608 22585 33554432000 4194304 4196468 140720589537552 140290073554016 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23125] ppid=23056 vsize=10983192 memory=1176 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23125/stat : 23125 (java) S 23056 23059 18934 0 -1 1077944384 1 13166 0 0 0 0 5 3 20 0 15 0 222768348 11246788608 22585 33554432000 4194304 4196468 140720589537552 140291605477680 140292184267394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 90084 KiB
[startup+1.5012 s]
/proc/loadavg: 1.29 1.33 1.35 3/216 23125
/proc/meminfo: memFree=5899400/32770624 swapFree=67108380/67108860
[pid=23059] ppid=23056 vsize=10998092 memory=205908 CPUtime=2.73 cores=1,3,5,7
/proc/23059/stat : 23059 (java) S 23056 23059 18934 0 -1 1077944320 25219 13166 0 0 254 11 5 3 20 0 15 0 222768333 11262046208 51477 33554432000 4194304 4196468 140720589537552 140720589520096 140292184256247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
/proc/23059/statm: 2749523 51477 3472 1 0 2711181 0
[pid=23059/tid=23112] ppid=23056 vsize=10998092 memory=66432 CPUtime=1.42 cores=1,3,5,7
/proc/23059/task/23112/stat : 23112 (java) R 23056 23059 18934 0 -1 4202560 16642 13166 0 0 128 6 5 3 20 0 15 0 222768342 11262046208 51477 33554432000 4194304 4196468 140720589537552 140292156067344 140291756334690 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23113] ppid=23056 vsize=10998092 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/23059/task/23113/stat : 23113 (java) S 23056 23059 18934 0 -1 1077944384 178 13166 0 0 1 0 5 3 20 0 15 0 222768343 11262046208 51477 33554432000 4194304 4196468 140720589537552 140292188498704 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23114] ppid=23056 vsize=10998092 memory=281165873602720 CPUtime=0.09 cores=1,3,5,7
/proc/23059/task/23114/stat : 23114 (java) S 23056 23059 18934 0 -1 1077944384 26 13166 0 0 1 0 5 3 20 0 15 0 222768343 11262046208 51477 33554432000 4194304 4196468 140720589537552 140291724413840 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23115] ppid=23056 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/23059/task/23115/stat : 23115 (java) S 23056 23059 18934 0 -1 1077944384 32 13166 0 0 1 0 5 3 20 0 15 0 222768343 11262046208 51477 33554432000 4194304 4196468 140720589537552 140291723361296 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23116] ppid=23056 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/23059/task/23116/stat : 23116 (java) S 23056 23059 18934 0 -1 1077944384 55 13166 0 0 1 0 5 3 20 0 15 0 222768343 11262046208 51477 33554432000 4194304 4196468 140720589537552 140291722308752 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23117] ppid=23056 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/23059/task/23117/stat : 23117 (java) S 23056 23059 18934 0 -1 1077944384 51 13166 0 0 1 0 5 3 20 0 15 0 222768345 11262046208 51477 33554432000 4194304 4196468 140720589537552 140291609688048 140292184267394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23118] ppid=23056 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23118/stat : 23118 (java) S 23056 23059 18934 0 -1 1077944384 13 13166 0 0 0 0 5 3 20 0 15 0 222768345 11262046208 51477 33554432000 4194304 4196468 140720589537552 140291013075936 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23119] ppid=23056 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23119/stat : 23119 (java) S 23056 23059 18934 0 -1 1077944384 2 13166 0 0 0 0 5 3 20 0 15 0 222768345 11262046208 51477 33554432000 4194304 4196468 140720589537552 140290811749376 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23120] ppid=23056 vsize=10998092 memory=-5921431000321636112 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23120/stat : 23120 (java) S 23056 23059 18934 0 -1 1077944384 3 13166 0 0 0 0 5 3 20 0 15 0 222768348 11262046208 51477 33554432000 4194304 4196468 140720589537552 140290504349904 140292184274843 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23121] ppid=23056 vsize=10998092 memory=0 CPUtime=0.48 cores=1,3,5,7
/proc/23059/task/23121/stat : 23121 (java) S 23056 23059 18934 0 -1 1077944384 2274 13166 0 0 40 0 5 3 20 0 15 0 222768348 11262046208 51477 33554432000 4194304 4196468 140720589537552 140291608635888 140292184267394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23122] ppid=23056 vsize=10998092 memory=10 CPUtime=0.45 cores=1,3,5,7
/proc/23059/task/23122/stat : 23122 (java) S 23056 23059 18934 0 -1 1077944384 1959 13166 0 0 37 0 5 3 20 0 15 0 222768348 11262046208 51477 33554432000 4194304 4196468 140720589537552 140291607583344 140292184267394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23123] ppid=23056 vsize=10998092 memory=6791534058613427641 CPUtime=0.45 cores=1,3,5,7
/proc/23059/task/23123/stat : 23123 (java) S 23056 23059 18934 0 -1 1077944384 1784 13166 0 0 37 0 5 3 20 0 15 0 222768348 11262046208 51477 33554432000 4194304 4196468 140720589537552 140291606530800 140292184267394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23124] ppid=23056 vsize=10998092 memory=4638778398332698720 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23124/stat : 23124 (java) S 23056 23059 18934 0 -1 1077944384 3 13166 0 0 0 0 5 3 20 0 15 0 222768348 11262046208 51477 33554432000 4194304 4196468 140720589537552 140290073554016 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23125] ppid=23056 vsize=10998092 memory=281165873847168 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23125/stat : 23125 (java) S 23056 23059 18934 0 -1 1077944384 1 13166 0 0 0 0 5 3 20 0 15 0 222768348 11262046208 51477 33554432000 4194304 4196468 140720589537552 140291605477680 140292184267394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/23059/task/23112/stat : 23112 (java) R 23056 23059 18934 0 -1 4202560 388881 13166 0 0 221050 62 5 3 20 0 15 0 222768342 11278843904 1166251 33554432000 4194304 4196468 140720589537552 140292156093072 140291776245152 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23113] ppid=23056 vsize=11014496 memory=4665004 CPUtime=48.91 cores=1,3,5,7
/proc/23059/task/23113/stat : 23113 (java) S 23056 23059 18934 0 -1 1077944384 193484 13166 0 0 4614 269 5 3 20 0 15 0 222768343 11278843904 1166251 33554432000 4194304 4196468 140720589537552 140292188498704 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23114] ppid=23056 vsize=11014496 memory=4491736 CPUtime=49.01 cores=1,3,5,7
/proc/23059/task/23114/stat : 23114 (java) S 23056 23059 18934 0 -1 1077944384 198295 13166 0 0 4628 265 5 3 20 0 15 0 222768343 11278843904 1166251 33554432000 4194304 4196468 140720589537552 140291724413840 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23115] ppid=23056 vsize=11014496 memory=4665004 CPUtime=48.95 cores=1,3,5,7
/proc/23059/task/23115/stat : 23115 (java) S 23056 23059 18934 0 -1 1077944384 191582 13166 0 0 4618 269 5 3 20 0 15 0 222768343 11278843904 1166251 33554432000 4194304 4196468 140720589537552 140291723361296 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23116] ppid=23056 vsize=11014496 memory=4665004 CPUtime=49.02 cores=1,3,5,7
/proc/23059/task/23116/stat : 23116 (java) S 23056 23059 18934 0 -1 1077944384 207410 13166 0 0 4636 258 5 3 20 0 15 0 222768343 11278843904 1166251 33554432000 4194304 4196468 140720589537552 140291722308752 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23117] ppid=23056 vsize=11014496 memory=4665004 CPUtime=1.82 cores=1,3,5,7
/proc/23059/task/23117/stat : 23117 (java) S 23056 23059 18934 0 -1 1077944384 48296 13166 0 0 158 16 5 3 20 0 15 0 222768345 11278843904 1166251 33554432000 4194304 4196468 140720589537552 140291609688048 140292184267394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23118] ppid=23056 vsize=11014496 memory=11688 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23118/stat : 23118 (java) S 23056 23059 18934 0 -1 1077944384 38 13166 0 0 0 0 5 3 20 0 15 0 222768345 11278843904 1166251 33554432000 4194304 4196468 140720589537552 140291013076000 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23119] ppid=23056 vsize=11014496 memory=4665004 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23119/stat : 23119 (java) S 23056 23059 18934 0 -1 1077944384 29 13166 0 0 0 0 5 3 20 0 15 0 222768345 11278843904 1166251 33554432000 4194304 4196468 140720589537552 140290811749376 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23120] ppid=23056 vsize=11014496 memory=4665004 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23120/stat : 23120 (java) S 23056 23059 18934 0 -1 1077944384 3 13166 0 0 0 0 5 3 20 0 15 0 222768348 11278843904 1166251 33554432000 4194304 4196468 140720589537552 140290504349904 140292184274843 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23121] ppid=23056 vsize=11014496 memory=3872 CPUtime=16.22 cores=1,3,5,7
/proc/23059/task/23121/stat : 23121 (java) S 23056 23059 18934 0 -1 1077944384 41089 13166 0 0 1607 7 5 3 20 0 15 0 222768348 11278843904 1166251 33554432000 4194304 4196468 140720589537552 140291608635888 140292184267394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23122] ppid=23056 vsize=11014496 memory=60656 CPUtime=15.54 cores=1,3,5,7
/proc/23059/task/23122/stat : 23122 (java) S 23056 23059 18934 0 -1 1077944384 50277 13166 0 0 1535 11 5 3 20 0 15 0 222768348 11278843904 1166251 33554432000 4194304 4196468 140720589537552 140291607583344 140292184267394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23123] ppid=23056 vsize=11014496 memory=4665004 CPUtime=4.52 cores=1,3,5,7
/proc/23059/task/23123/stat : 23123 (java) S 23056 23059 18934 0 -1 1077944384 44046 13166 0 0 433 11 5 3 20 0 15 0 222768348 11278843904 1166251 33554432000 4194304 4196468 140720589537552 140291606530800 140292184267394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23124] ppid=23056 vsize=11014496 memory=4665004 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23124/stat : 23124 (java) S 23056 23059 18934 0 -1 1077944384 3 13166 0 0 0 0 5 3 20 0 15 0 222768348 11278843904 1166251 33554432000 4194304 4196468 140720589537552 140290073554016 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23125] ppid=23056 vsize=11014496 memory=4665004 CPUtime=1.4 cores=1,3,5,7
/proc/23059/task/23125/stat : 23125 (java) S 23056 23059 18934 0 -1 1077944384 2235 13166 0 0 59 73 5 3 20 0 15 0 222768348 11278843904 1166251 33554432000 4194304 4196468 140720589537552 140291605477680 140292184267394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
Current children cumulated CPU time: 2445.98 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 4665004 KiB
[startup+2322.3 s]
/proc/loadavg: 1.87 1.90 1.86 3/216 23348
/proc/meminfo: memFree=208664/32770624 swapFree=67108380/67108860
[pid=23059] ppid=23056 vsize=11014496 memory=4671808 CPUtime=2507.37 cores=1,3,5,7
/proc/23059/stat : 23059 (java) S 23056 23059 18934 0 -1 1077944320 1434554 13166 0 0 249492 1237 5 3 20 0 15 0 222768333 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140720589520096 140292184256247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
/proc/23059/statm: 2753624 1167952 3534 1 0 2715277 0
[pid=23059/tid=23112] ppid=23056 vsize=11014496 memory=4671808 CPUtime=2270.73 cores=1,3,5,7
/proc/23059/task/23112/stat : 23112 (java) R 23056 23059 18934 0 -1 4202560 400652 13166 0 0 227001 64 5 3 20 0 15 0 222768342 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140292156091936 140291760659047 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23113] ppid=23056 vsize=11014496 memory=4671652 CPUtime=49.37 cores=1,3,5,7
/proc/23059/task/23113/stat : 23113 (java) S 23056 23059 18934 0 -1 1077944384 206276 13166 0 0 4659 270 5 3 20 0 15 0 222768343 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140292188498704 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23114] ppid=23056 vsize=11014496 memory=4671652 CPUtime=49.46 cores=1,3,5,7
/proc/23059/task/23114/stat : 23114 (java) S 23056 23059 18934 0 -1 1077944384 211469 13166 0 0 4672 266 5 3 20 0 15 0 222768343 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140291724413840 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23115] ppid=23056 vsize=11014496 memory=4671808 CPUtime=49.4 cores=1,3,5,7
/proc/23059/task/23115/stat : 23115 (java) S 23056 23059 18934 0 -1 1077944384 205514 13166 0 0 4663 269 5 3 20 0 15 0 222768343 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140291723361296 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23116] ppid=23056 vsize=11014496 memory=4671808 CPUtime=49.48 cores=1,3,5,7
/proc/23059/task/23116/stat : 23116 (java) S 23056 23059 18934 0 -1 1077944384 222081 13166 0 0 4680 260 5 3 20 0 15 0 222768343 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140291722308752 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23117] ppid=23056 vsize=11014496 memory=4671808 CPUtime=1.83 cores=1,3,5,7
/proc/23059/task/23117/stat : 23117 (java) S 23056 23059 18934 0 -1 1077944384 48607 13166 0 0 158 17 5 3 20 0 15 0 222768345 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140291609688048 140292184267394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23118] ppid=23056 vsize=11014496 memory=4665644 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23118/stat : 23118 (java) S 23056 23059 18934 0 -1 1077944384 38 13166 0 0 0 0 5 3 20 0 15 0 222768345 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140291013076000 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23119] ppid=23056 vsize=11014496 memory=6628 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23119/stat : 23119 (java) S 23056 23059 18934 0 -1 1077944384 29 13166 0 0 0 0 5 3 20 0 15 0 222768345 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140290811749376 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23120] ppid=23056 vsize=11014496 memory=1824 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23120/stat : 23120 (java) S 23056 23059 18934 0 -1 1077944384 3 13166 0 0 0 0 5 3 20 0 15 0 222768348 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140290504349904 140292184274843 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23121] ppid=23056 vsize=11014496 memory=872 CPUtime=16.22 cores=1,3,5,7
/proc/23059/task/23121/stat : 23121 (java) S 23056 23059 18934 0 -1 1077944384 41097 13166 0 0 1607 7 5 3 20 0 15 0 222768348 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140291608635888 140292184267394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23122] ppid=23056 vsize=11014496 memory=4671808 CPUtime=15.54 cores=1,3,5,7
/proc/23059/task/23122/stat : 23122 (java) S 23056 23059 18934 0 -1 1077944384 50280 13166 0 0 1535 11 5 3 20 0 15 0 222768348 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140291607583344 140292184267394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23123] ppid=23056 vsize=11014496 memory=4671808 CPUtime=4.52 cores=1,3,5,7
/proc/23059/task/23123/stat : 23123 (java) S 23056 23059 18934 0 -1 1077944384 44050 13166 0 0 433 11 5 3 20 0 15 0 222768348 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140291606530800 140292184267394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23124] ppid=23056 vsize=11014496 memory=4671808 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23124/stat : 23124 (java) S 23056 23059 18934 0 -1 1077944384 3 13166 0 0 0 0 5 3 20 0 15 0 222768348 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140290073554016 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23125] ppid=23056 vsize=11014496 memory=3872 CPUtime=1.43 cores=1,3,5,7
/proc/23059/task/23125/stat : 23125 (java) S 23056 23059 18934 0 -1 1077944384 2259 13166 0 0 60 75 5 3 20 0 15 0 222768348 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140291605477680 140292184267394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
Current children cumulated CPU time: 2507.37 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 4671808 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2334.7 s]
/proc/loadavg: 1.90 1.90 1.87 3/216 23348
/proc/meminfo: memFree=208920/32770624 swapFree=67108380/67108860
[pid=23059] ppid=23056 vsize=11014496 memory=4671808 CPUtime=2520.03 cores=1,3,5,7
/proc/23059/stat : 23059 (java) S 23056 23059 18934 0 -1 1077944320 1438856 13166 0 0 250758 1237 5 3 20 0 15 0 222768333 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140720589520096 140292184256247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
/proc/23059/statm: 2753624 1167952 3534 1 0 2715277 0
[pid=23059/tid=23112] ppid=23056 vsize=11014496 memory=4671808 CPUtime=2283.04 cores=1,3,5,7
/proc/23059/task/23112/stat : 23112 (java) R 23056 23059 18934 0 -1 4202560 402494 13166 0 0 228232 64 5 3 20 0 15 0 222768342 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140292156091808 140291772193717 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23113] ppid=23056 vsize=11014496 memory=4671808 CPUtime=49.45 cores=1,3,5,7
/proc/23059/task/23113/stat : 23113 (java) S 23056 23059 18934 0 -1 1077944384 206687 13166 0 0 4667 270 5 3 20 0 15 0 222768343 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140292188498704 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23114] ppid=23056 vsize=11014496 memory=6150004213106110049 CPUtime=49.55 cores=1,3,5,7
/proc/23059/task/23114/stat : 23114 (java) S 23056 23059 18934 0 -1 1077944384 212156 13166 0 0 4681 266 5 3 20 0 15 0 222768343 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140291724413840 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23115] ppid=23056 vsize=11014496 memory=4671808 CPUtime=49.49 cores=1,3,5,7
/proc/23059/task/23115/stat : 23115 (java) S 23056 23059 18934 0 -1 1077944384 206084 13166 0 0 4672 269 5 3 20 0 15 0 222768343 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140291723361296 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23116] ppid=23056 vsize=11014496 memory=4671808 CPUtime=49.56 cores=1,3,5,7
/proc/23059/task/23116/stat : 23116 (java) S 23056 23059 18934 0 -1 1077944384 222869 13166 0 0 4688 260 5 3 20 0 15 0 222768343 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140291722308752 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23117] ppid=23056 vsize=11014496 memory=6628 CPUtime=1.83 cores=1,3,5,7
/proc/23059/task/23117/stat : 23117 (java) S 23056 23059 18934 0 -1 1077944384 48609 13166 0 0 158 17 5 3 20 0 15 0 222768345 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140291609688048 140292184267394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23118] ppid=23056 vsize=11014496 memory=4671808 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23118/stat : 23118 (java) S 23056 23059 18934 0 -1 1077944384 38 13166 0 0 0 0 5 3 20 0 15 0 222768345 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140291013076000 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23119] ppid=23056 vsize=11014496 memory=4671808 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23119/stat : 23119 (java) S 23056 23059 18934 0 -1 1077944384 29 13166 0 0 0 0 5 3 20 0 15 0 222768345 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140290811749376 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23120] ppid=23056 vsize=11014496 memory=3872 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23120/stat : 23120 (java) S 23056 23059 18934 0 -1 1077944384 3 13166 0 0 0 0 5 3 20 0 15 0 222768348 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140290504349904 140292184274843 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23121] ppid=23056 vsize=11014496 memory=60656 CPUtime=16.22 cores=1,3,5,7
/proc/23059/task/23121/stat : 23121 (java) S 23056 23059 18934 0 -1 1077944384 41097 13166 0 0 1607 7 5 3 20 0 15 0 222768348 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140291608635888 140292184267394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23122] ppid=23056 vsize=11014496 memory=4671808 CPUtime=15.54 cores=1,3,5,7
/proc/23059/task/23122/stat : 23122 (java) S 23056 23059 18934 0 -1 1077944384 50280 13166 0 0 1535 11 5 3 20 0 15 0 222768348 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140291607583344 140292184267394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23123] ppid=23056 vsize=11014496 memory=4671808 CPUtime=4.52 cores=1,3,5,7
/proc/23059/task/23123/stat : 23123 (java) S 23056 23059 18934 0 -1 1077944384 44050 13166 0 0 433 11 5 3 20 0 15 0 222768348 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140291606530800 140292184267394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23124] ppid=23056 vsize=11014496 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23124/stat : 23124 (java) S 23056 23059 18934 0 -1 1077944384 3 13166 0 0 0 0 5 3 20 0 15 0 222768348 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140290073554016 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23125] ppid=23056 vsize=11014496 memory=4671808 CPUtime=1.44 cores=1,3,5,7
/proc/23059/task/23125/stat : 23125 (java) S 23056 23059 18934 0 -1 1077944384 2261 13166 0 0 61 75 5 3 20 0 15 0 222768348 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140291605477680 140292184267394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 4671808 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2334.81 s]
# the end of solver process 23059 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2507.67 s, system=12.4884 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2334.7 s]
/proc/loadavg: 1.90 1.90 1.87 3/216 23348
/proc/meminfo: memFree=208920/32770624 swapFree=67108380/67108860
[pid=23059] ppid=23056 vsize=11014496 memory=4671808 CPUtime=2520.03 cores=1,3,5,7
/proc/23059/stat : 23059 (java) S 23056 23059 18934 0 -1 1077944320 1438856 13166 0 0 250758 1237 5 3 20 0 15 0 222768333 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140720589520096 140292184256247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
/proc/23059/statm: 2753624 1167952 3534 1 0 2715277 0
[pid=23059/tid=23112] ppid=23056 vsize=11014496 memory=4671808 CPUtime=2283.04 cores=1,3,5,7
/proc/23059/task/23112/stat : 23112 (java) R 23056 23059 18934 0 -1 4202560 402494 13166 0 0 228232 64 5 3 20 0 15 0 222768342 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140292156091808 140291772193717 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23113] ppid=23056 vsize=11014496 memory=4671808 CPUtime=49.45 cores=1,3,5,7
/proc/23059/task/23113/stat : 23113 (java) S 23056 23059 18934 0 -1 1077944384 206687 13166 0 0 4667 270 5 3 20 0 15 0 222768343 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140292188498704 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23114] ppid=23056 vsize=11014496 memory=6150004213106110049 CPUtime=49.55 cores=1,3,5,7
/proc/23059/task/23114/stat : 23114 (java) S 23056 23059 18934 0 -1 1077944384 212156 13166 0 0 4681 266 5 3 20 0 15 0 222768343 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140291724413840 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23115] ppid=23056 vsize=11014496 memory=4671808 CPUtime=49.49 cores=1,3,5,7
/proc/23059/task/23115/stat : 23115 (java) S 23056 23059 18934 0 -1 1077944384 206084 13166 0 0 4672 269 5 3 20 0 15 0 222768343 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140291723361296 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23116] ppid=23056 vsize=11014496 memory=4671808 CPUtime=49.56 cores=1,3,5,7
/proc/23059/task/23116/stat : 23116 (java) S 23056 23059 18934 0 -1 1077944384 222869 13166 0 0 4688 260 5 3 20 0 15 0 222768343 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140291722308752 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23117] ppid=23056 vsize=11014496 memory=6628 CPUtime=1.83 cores=1,3,5,7
/proc/23059/task/23117/stat : 23117 (java) S 23056 23059 18934 0 -1 1077944384 48609 13166 0 0 158 17 5 3 20 0 15 0 222768345 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140291609688048 140292184267394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23118] ppid=23056 vsize=11014496 memory=4671808 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23118/stat : 23118 (java) S 23056 23059 18934 0 -1 1077944384 38 13166 0 0 0 0 5 3 20 0 15 0 222768345 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140291013076000 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23119] ppid=23056 vsize=11014496 memory=4671808 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23119/stat : 23119 (java) S 23056 23059 18934 0 -1 1077944384 29 13166 0 0 0 0 5 3 20 0 15 0 222768345 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140290811749376 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23120] ppid=23056 vsize=11014496 memory=3872 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23120/stat : 23120 (java) S 23056 23059 18934 0 -1 1077944384 3 13166 0 0 0 0 5 3 20 0 15 0 222768348 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140290504349904 140292184274843 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23121] ppid=23056 vsize=11014496 memory=60656 CPUtime=16.22 cores=1,3,5,7
/proc/23059/task/23121/stat : 23121 (java) S 23056 23059 18934 0 -1 1077944384 41097 13166 0 0 1607 7 5 3 20 0 15 0 222768348 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140291608635888 140292184267394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23122] ppid=23056 vsize=11014496 memory=4671808 CPUtime=15.54 cores=1,3,5,7
/proc/23059/task/23122/stat : 23122 (java) S 23056 23059 18934 0 -1 1077944384 50280 13166 0 0 1535 11 5 3 20 0 15 0 222768348 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140291607583344 140292184267394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23123] ppid=23056 vsize=11014496 memory=4671808 CPUtime=4.52 cores=1,3,5,7
/proc/23059/task/23123/stat : 23123 (java) S 23056 23059 18934 0 -1 1077944384 44050 13166 0 0 433 11 5 3 20 0 15 0 222768348 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140291606530800 140292184267394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23124] ppid=23056 vsize=11014496 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/23059/task/23124/stat : 23124 (java) S 23056 23059 18934 0 -1 1077944384 3 13166 0 0 0 0 5 3 20 0 15 0 222768348 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140290073554016 140292184266453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
[pid=23059/tid=23125] ppid=23056 vsize=11014496 memory=4671808 CPUtime=1.44 cores=1,3,5,7
/proc/23059/task/23125/stat : 23125 (java) S 23056 23059 18934 0 -1 1077944384 2261 13166 0 0 61 75 5 3 20 0 15 0 222768348 11278843904 1167952 33554432000 4194304 4196468 140720589537552 140291605477680 140292184267394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 17219584 140720589544035 140720589546844 140720589546844 140720589549519 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 4671808 KiB
Child status: 143
Real time (s): 2334.81
CPU time (s): 2520.16
CPU user time (s): 2507.67
CPU system time (s): 12.4884
CPU usage (%): 107.939
Max. virtual memory (cumulated for all children) (KiB): 11014496
Max. memory (cumulated for all children) (KiB): 4671808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2507.67
system time used= 12.4884
maximum resident set size= 4672232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1456672
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75911
involuntary context switches= 3494
# summary of solver processes directly reported to runsolver:
# pid: 23059
# total CPU time (s): 2520.16
# total CPU user time (s): 2507.67
# total CPU system time (s): 12.4884
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1755 second user time and 22.522 second system time
The end