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 (10061 MiB free)
memory of node 1: 16384 MiB (15452 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400908-1568694228/watcher-4400908-1568694228 -o /tmp/evaluation-result-4400908-1568694228/solver-4400908-1568694228 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568673293-13492 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=520998890 HOME/instance-4400908-1568694228.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=19175, runsolver pid=19172
[startup+0.100095 s]*
/proc/loadavg: 1.26 1.38 1.45 3/218 19232
/proc/meminfo: memFree=26115756/32770624 swapFree=66941520/67108860
[pid=19175] ppid=19172 vsize=9972712 memory=18596 CPUtime=0.09 cores=1,3,5,7
/proc/19175/stat : 19175 (java) S 19172 19175 13460 0 -1 1077944320 4388 13155 0 0 1 0 5 3 20 0 6 0 445661512 10212057088 4649 33554432000 4194304 4196468 140734002419808 140734002402352 139908873232119 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
/proc/19175/statm: 2493178 4649 1935 1 0 2481616 0
[pid=19175/tid=19228] ppid=19172 vsize=9972712 memory=4628411388058700198 CPUtime=0.09 cores=1,3,5,7
/proc/19175/task/19228/stat : 19228 (java) R 19172 19175 13460 0 -1 4202560 2176 13155 0 0 1 0 5 3 20 0 6 0 445661521 10212057088 4649 33554432000 4194304 4196468 140734002419808 139908845068880 139908858544121 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19229] ppid=19172 vsize=9972712 memory=5793855730403903929 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19229/stat : 19229 (java) S 19172 19175 13460 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 6 0 445661522 10212057088 4649 33554432000 4194304 4196468 140734002419808 139908877474064 139908873242325 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19230] ppid=19172 vsize=9972712 memory=140479394010752 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19230/stat : 19230 (java) S 19172 19175 13460 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 6 0 445661522 10212057088 4649 33554432000 4194304 4196468 140734002419808 139908765747600 139908873242325 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19231] ppid=19172 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19231/stat : 19231 (java) S 19172 19175 13460 0 -1 1077944384 2 13155 0 0 0 0 5 3 20 0 6 0 445661522 10212057088 4649 33554432000 4194304 4196468 140734002419808 139908764695056 139908873242325 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19232] ppid=19172 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19232/stat : 19232 (java) S 19172 19175 13460 0 -1 1077944384 2 13155 0 0 0 0 5 3 20 0 6 0 445661522 10212057088 4649 33554432000 4194304 4196468 140734002419808 139908763642512 139908873242325 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18596 KiB
[startup+0.209864 s]*
/proc/loadavg: 1.26 1.38 1.45 5/227 19241
/proc/meminfo: memFree=26096536/32770624 swapFree=66941520/67108860
[pid=19175] ppid=19172 vsize=10820196 memory=45424 CPUtime=0.27 cores=1,3,5,7
/proc/19175/stat : 19175 (java) S 19172 19175 13460 0 -1 1077944320 7138 13155 0 0 18 1 5 3 20 0 15 0 445661512 11079880704 11356 33554432000 4194304 4196468 140734002419808 140734002402352 139908873232119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
/proc/19175/statm: 2705049 11356 3305 1 0 2667149 0
[pid=19175/tid=19228] ppid=19172 vsize=10820196 memory=-8540663193526752614 CPUtime=0.19 cores=1,3,5,7
/proc/19175/task/19228/stat : 19228 (java) R 19172 19175 13460 0 -1 4202560 3618 13155 0 0 11 0 5 3 20 0 15 0 445661521 11079880704 11356 33554432000 4194304 4196468 140734002419808 139908845050592 139908865910133 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19229] ppid=19172 vsize=10820196 memory=4211974205598801290 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19229/stat : 19229 (java) S 19172 19175 13460 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 15 0 445661522 11079880704 11356 33554432000 4194304 4196468 140734002419808 139908877474064 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19230] ppid=19172 vsize=10820196 memory=140479394010752 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19230/stat : 19230 (java) S 19172 19175 13460 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 15 0 445661522 11079880704 11356 33554432000 4194304 4196468 140734002419808 139908765747600 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19231] ppid=19172 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19231/stat : 19231 (java) S 19172 19175 13460 0 -1 1077944384 2 13155 0 0 0 0 5 3 20 0 15 0 445661522 11079880704 11356 33554432000 4194304 4196468 140734002419808 139908764695056 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19232] ppid=19172 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19232/stat : 19232 (java) S 19172 19175 13460 0 -1 1077944384 2 13155 0 0 0 0 5 3 20 0 15 0 445661522 11079880704 11356 33554432000 4194304 4196468 140734002419808 139908763642512 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19233] ppid=19172 vsize=10820196 memory=140479394010752 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19233/stat : 19233 (java) S 19172 19175 13460 0 -1 1077944384 2 13155 0 0 0 0 5 3 20 0 15 0 445661523 11079880704 11356 33554432000 4194304 4196468 140734002419808 139908332218864 139908873243266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19234] ppid=19172 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19234/stat : 19234 (java) S 19172 19175 13460 0 -1 1077944384 33 13155 0 0 0 0 5 3 20 0 15 0 445661524 11079880704 11356 33554432000 4194304 4196468 140734002419808 139908331165088 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19235] ppid=19172 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19235/stat : 19235 (java) S 19172 19175 13460 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 15 0 445661524 11079880704 11356 33554432000 4194304 4196468 140734002419808 139908224116208 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19236] ppid=19172 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19236/stat : 19236 (java) S 19172 19175 13460 0 -1 1077944384 2 13155 0 0 0 0 5 3 20 0 15 0 445661527 11079880704 11356 33554432000 4194304 4196468 140734002419808 139907620137680 139908873250715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19237] ppid=19172 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/19175/task/19237/stat : 19237 (java) S 19172 19175 13460 0 -1 1077944384 359 13155 0 0 1 0 5 3 20 0 15 0 445661527 11079880704 11356 33554432000 4194304 4196468 140734002419808 139908297607152 139908873243266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19238] ppid=19172 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/19175/task/19238/stat : 19238 (java) S 19172 19175 13460 0 -1 1077944384 310 13155 0 0 1 0 5 3 20 0 15 0 445661527 11079880704 11356 33554432000 4194304 4196468 140734002419808 139908296554608 139908873243266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19239] ppid=19172 vsize=10820196 memory=140479394010752 CPUtime=0.11 cores=1,3,5,7
/proc/19175/task/19239/stat : 19239 (java) S 19172 19175 13460 0 -1 1077944384 597 13155 0 0 3 0 5 3 20 0 15 0 445661527 11079880704 11356 33554432000 4194304 4196468 140734002419808 139908295502064 139908873243266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19240] ppid=19172 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19240/stat : 19240 (java) S 19172 19175 13460 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 445661527 11079880704 11356 33554432000 4194304 4196468 140734002419808 139907150375520 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19241] ppid=19172 vsize=10820196 memory=140479394010752 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19241/stat : 19241 (java) S 19172 19175 13460 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 15 0 445661527 11079880704 11356 33554432000 4194304 4196468 140734002419808 139908294449968 139908873243266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 45424 KiB
[startup+0.310635 s]*
/proc/loadavg: 1.26 1.38 1.45 3/227 19241
/proc/meminfo: memFree=26084588/32770624 swapFree=66941520/67108860
[pid=19175] ppid=19172 vsize=10820196 memory=53460 CPUtime=0.4 cores=1,3,5,7
/proc/19175/stat : 19175 (java) S 19172 19175 13460 0 -1 1077944320 10595 13155 0 0 29 3 5 3 20 0 15 0 445661512 11079880704 13365 33554432000 4194304 4196468 140734002419808 140734002402352 139908873232119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
/proc/19175/statm: 2705049 13365 3316 1 0 2667149 0
[pid=19175/tid=19228] ppid=19172 vsize=10820196 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/19175/task/19228/stat : 19228 (java) R 19172 19175 13460 0 -1 4202560 7067 13155 0 0 19 2 5 3 20 0 15 0 445661521 11079880704 13365 33554432000 4194304 4196468 140734002419808 139908845038224 139908873254045 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19229] ppid=19172 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19229/stat : 19229 (java) S 19172 19175 13460 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 15 0 445661522 11079880704 13365 33554432000 4194304 4196468 140734002419808 139908877474064 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19230] ppid=19172 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19230/stat : 19230 (java) S 19172 19175 13460 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 15 0 445661522 11079880704 13365 33554432000 4194304 4196468 140734002419808 139908765747600 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19231] ppid=19172 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19231/stat : 19231 (java) S 19172 19175 13460 0 -1 1077944384 2 13155 0 0 0 0 5 3 20 0 15 0 445661522 11079880704 13365 33554432000 4194304 4196468 140734002419808 139908764695056 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19232] ppid=19172 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19232/stat : 19232 (java) S 19172 19175 13460 0 -1 1077944384 2 13155 0 0 0 0 5 3 20 0 15 0 445661522 11079880704 13365 33554432000 4194304 4196468 140734002419808 139908763642512 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19233] ppid=19172 vsize=10820196 memory=140479394010751 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19233/stat : 19233 (java) S 19172 19175 13460 0 -1 1077944384 2 13155 0 0 0 0 5 3 20 0 15 0 445661523 11079880704 13365 33554432000 4194304 4196468 140734002419808 139908332218864 139908873243266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19234] ppid=19172 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19234/stat : 19234 (java) S 19172 19175 13460 0 -1 1077944384 33 13155 0 0 0 0 5 3 20 0 15 0 445661524 11079880704 13365 33554432000 4194304 4196468 140734002419808 139908331165088 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19235] ppid=19172 vsize=10820196 memory=140479394010752 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19235/stat : 19235 (java) S 19172 19175 13460 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 15 0 445661524 11079880704 13365 33554432000 4194304 4196468 140734002419808 139908224116208 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19236] ppid=19172 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19236/stat : 19236 (java) S 19172 19175 13460 0 -1 1077944384 2 13155 0 0 0 0 5 3 20 0 15 0 445661527 11079880704 13365 33554432000 4194304 4196468 140734002419808 139907620137680 139908873250715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19237] ppid=19172 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/19175/task/19237/stat : 19237 (java) S 19172 19175 13460 0 -1 1077944384 359 13155 0 0 1 0 5 3 20 0 15 0 445661527 11079880704 13365 33554432000 4194304 4196468 140734002419808 139908297607152 139908873243266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19238] ppid=19172 vsize=10820196 memory=-1 CPUtime=0.1 cores=1,3,5,7
/proc/19175/task/19238/stat : 19238 (java) S 19172 19175 13460 0 -1 1077944384 311 13155 0 0 2 0 5 3 20 0 15 0 445661527 11079880704 13365 33554432000 4194304 4196468 140734002419808 139908296554608 139908873243266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19239] ppid=19172 vsize=10820196 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/19175/task/19239/stat : 19239 (java) S 19172 19175 13460 0 -1 1077944384 604 13155 0 0 5 0 5 3 20 0 15 0 445661527 11079880704 13365 33554432000 4194304 4196468 140734002419808 139908295502064 139908873243266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19240] ppid=19172 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19240/stat : 19240 (java) S 19172 19175 13460 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 445661527 11079880704 13365 33554432000 4194304 4196468 140734002419808 139907150375520 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19241] ppid=19172 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19241/stat : 19241 (java) S 19172 19175 13460 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 15 0 445661527 11079880704 13365 33554432000 4194304 4196468 140734002419808 139908294449968 139908873243266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 53460 KiB
[startup+0.700714 s]
/proc/loadavg: 1.26 1.38 1.45 3/227 19241
/proc/meminfo: memFree=26070196/32770624 swapFree=66941520/67108860
[pid=19175] ppid=19172 vsize=10824364 memory=85484 CPUtime=1.12 cores=1,3,5,7
/proc/19175/stat : 19175 (java) S 19172 19175 13460 0 -1 1077944320 14636 13155 0 0 99 5 5 3 20 0 15 0 445661512 11084148736 21371 33554432000 4194304 4196468 140734002419808 140734002402352 139908873232119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
/proc/19175/statm: 2706091 21371 3514 1 0 2668173 0
[pid=19175/tid=19228] ppid=19172 vsize=10824364 memory=47804 CPUtime=0.67 cores=1,3,5,7
/proc/19175/task/19228/stat : 19228 (java) R 19172 19175 13460 0 -1 4202560 10072 13155 0 0 56 3 5 3 20 0 15 0 445661521 11084148736 21371 33554432000 4194304 4196468 140734002419808 139908845057376 139908442326503 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19229] ppid=19172 vsize=10824364 memory=4580 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19229/stat : 19229 (java) S 19172 19175 13460 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 15 0 445661522 11084148736 21371 33554432000 4194304 4196468 140734002419808 139908877474064 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19230] ppid=19172 vsize=10824364 memory=140479253750271 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19230/stat : 19230 (java) S 19172 19175 13460 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 15 0 445661522 11084148736 21371 33554432000 4194304 4196468 140734002419808 139908765747600 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19231] ppid=19172 vsize=10824364 memory=140479790318458 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19231/stat : 19231 (java) S 19172 19175 13460 0 -1 1077944384 2 13155 0 0 0 0 5 3 20 0 15 0 445661522 11084148736 21371 33554432000 4194304 4196468 140734002419808 139908764695056 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19232] ppid=19172 vsize=10824364 memory=27960 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19232/stat : 19232 (java) S 19172 19175 13460 0 -1 1077944384 2 13155 0 0 0 0 5 3 20 0 15 0 445661522 11084148736 21371 33554432000 4194304 4196468 140734002419808 139908763642512 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19233] ppid=19172 vsize=10824364 memory=7305218370954225241 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19233/stat : 19233 (java) S 19172 19175 13460 0 -1 1077944384 5 13155 0 0 0 0 5 3 20 0 15 0 445661523 11084148736 21371 33554432000 4194304 4196468 140734002419808 139908332218864 139908873243266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19234] ppid=19172 vsize=10824364 memory=7881696724453321575 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19234/stat : 19234 (java) S 19172 19175 13460 0 -1 1077944384 33 13155 0 0 0 0 5 3 20 0 15 0 445661524 11084148736 21371 33554432000 4194304 4196468 140734002419808 139908331165088 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19235] ppid=19172 vsize=10824364 memory=5787213827113576551 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19235/stat : 19235 (java) S 19172 19175 13460 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 15 0 445661524 11084148736 21371 33554432000 4194304 4196468 140734002419808 139908224116208 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19236] ppid=19172 vsize=10824364 memory=-7028383565733675155 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19236/stat : 19236 (java) S 19172 19175 13460 0 -1 1077944384 2 13155 0 0 0 0 5 3 20 0 15 0 445661527 11084148736 21371 33554432000 4194304 4196468 140734002419808 139907620137680 139908873250715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19237] ppid=19172 vsize=10824364 memory=8326441112149131687 CPUtime=0.2 cores=1,3,5,7
/proc/19175/task/19237/stat : 19237 (java) S 19172 19175 13460 0 -1 1077944384 779 13155 0 0 12 0 5 3 20 0 15 0 445661527 11084148736 21371 33554432000 4194304 4196468 140734002419808 139908297607152 139908873243266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19238] ppid=19172 vsize=10824364 memory=-8990767739041718176 CPUtime=0.2 cores=1,3,5,7
/proc/19175/task/19238/stat : 19238 (java) R 19172 19175 13460 0 -1 4202560 742 13155 0 0 12 0 5 3 20 0 15 0 445661527 11084148736 21371 33554432000 4194304 4196468 140734002419808 139908296554608 139908873253466 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19239] ppid=19172 vsize=10824364 memory=-7384994778349281184 CPUtime=0.25 cores=1,3,5,7
/proc/19175/task/19239/stat : 19239 (java) R 19172 19175 13460 0 -1 4202560 786 13155 0 0 17 0 5 3 20 0 15 0 445661527 11084148736 21371 33554432000 4194304 4196468 140734002419808 139908295497328 139908852035256 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19240] ppid=19172 vsize=10824364 memory=1399103955520229747 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19240/stat : 19240 (java) S 19172 19175 13460 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 445661527 11084148736 21371 33554432000 4194304 4196468 140734002419808 139907150375520 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19241] ppid=19172 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19241/stat : 19241 (java) S 19172 19175 13460 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 15 0 445661527 11084148736 21371 33554432000 4194304 4196468 140734002419808 139908294449968 139908873243266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85484 KiB
[startup+1.50075 s]
/proc/loadavg: 1.26 1.38 1.45 5/227 19241
/proc/meminfo: memFree=26003000/32770624 swapFree=66941520/67108860
[pid=19175] ppid=19172 vsize=10834680 memory=219204 CPUtime=2.91 cores=1,3,5,7
/proc/19175/stat : 19175 (java) S 19172 19175 13460 0 -1 1077944320 24079 13155 0 0 272 11 5 3 20 0 15 0 445661512 11094712320 54801 33554432000 4194304 4196468 140734002419808 140734002402352 139908873232119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
/proc/19175/statm: 2708670 54801 3587 1 0 2670733 0
[pid=19175/tid=19228] ppid=19172 vsize=10834680 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/19175/task/19228/stat : 19228 (java) R 19172 19175 13460 0 -1 4202560 15118 13155 0 0 130 5 5 3 20 0 15 0 445661521 11094712320 54801 33554432000 4194304 4196468 140734002419808 139908845063952 139908857312606 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19229] ppid=19172 vsize=10834680 memory=108636 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19229/stat : 19229 (java) S 19172 19175 13460 0 -1 1077944384 48 13155 0 0 0 0 5 3 20 0 15 0 445661522 11094712320 54801 33554432000 4194304 4196468 140734002419808 139908877474064 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19230] ppid=19172 vsize=10834680 memory=5790086053191909267 CPUtime=0.09 cores=1,3,5,7
/proc/19175/task/19230/stat : 19230 (java) S 19172 19175 13460 0 -1 1077944384 38 13155 0 0 1 0 5 3 20 0 15 0 445661522 11094712320 54801 33554432000 4194304 4196468 140734002419808 139908765747600 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19231] ppid=19172 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/19175/task/19231/stat : 19231 (java) S 19172 19175 13460 0 -1 1077944384 91 13155 0 0 1 0 5 3 20 0 15 0 445661522 11094712320 54801 33554432000 4194304 4196468 140734002419808 139908764695056 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19232] ppid=19172 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/19175/task/19232/stat : 19232 (java) S 19172 19175 13460 0 -1 1077944384 287 13155 0 0 1 0 5 3 20 0 15 0 445661522 11094712320 54801 33554432000 4194304 4196468 140734002419808 139908763642512 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19233] ppid=19172 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/19175/task/19233/stat : 19233 (java) S 19172 19175 13460 0 -1 1077944384 1294 13155 0 0 1 0 5 3 20 0 15 0 445661523 11094712320 54801 33554432000 4194304 4196468 140734002419808 139908332218864 139908873243266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19234] ppid=19172 vsize=10834680 memory=-6221781267475802396 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19234/stat : 19234 (java) S 19172 19175 13460 0 -1 1077944384 54 13155 0 0 0 0 5 3 20 0 15 0 445661524 11094712320 54801 33554432000 4194304 4196468 140734002419808 139908331165152 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19235] ppid=19172 vsize=10834680 memory=804 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19235/stat : 19235 (java) S 19172 19175 13460 0 -1 1077944384 2 13155 0 0 0 0 5 3 20 0 15 0 445661524 11094712320 54801 33554432000 4194304 4196468 140734002419808 139908224116224 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19236] ppid=19172 vsize=10834680 memory=1764 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19236/stat : 19236 (java) S 19172 19175 13460 0 -1 1077944384 2 13155 0 0 0 0 5 3 20 0 15 0 445661527 11094712320 54801 33554432000 4194304 4196468 140734002419808 139907620137680 139908873250715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19237] ppid=19172 vsize=10834680 memory=0 CPUtime=0.56 cores=1,3,5,7
/proc/19175/task/19237/stat : 19237 (java) S 19172 19175 13460 0 -1 1077944384 1878 13155 0 0 48 0 5 3 20 0 15 0 445661527 11094712320 54801 33554432000 4194304 4196468 140734002419808 139908297607152 139908873243266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19238] ppid=19172 vsize=10834680 memory=223084359516480 CPUtime=0.56 cores=1,3,5,7
/proc/19175/task/19238/stat : 19238 (java) S 19172 19175 13460 0 -1 1077944384 1660 13155 0 0 48 0 5 3 20 0 15 0 445661527 11094712320 54801 33554432000 4194304 4196468 140734002419808 139908296554608 139908873243266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19239] ppid=19172 vsize=10834680 memory=2936008 CPUtime=0.46 cores=1,3,5,7
/proc/19175/task/19239/stat : 19239 (java) S 19172 19175 13460 0 -1 1077944384 1396 13155 0 0 38 0 5 3 20 0 15 0 445661527 11094712320 54801 33554432000 4194304 4196468 140734002419808 139908295502064 139908873243266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19240] ppid=19172 vsize=10834680 memory=7660992747008971605 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19240/stat : 19240 (java) S 19172 19175 13460 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 445661527 11094712320 54801 33554432000 4194304 4196468 140734002419808 139907150375520 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19241] ppid=19172 vsize=10834680 memory=6935649255911746641 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19241/stat : 19241 (java) S 19172 19175 13460 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 445661527 11094712320 54801 33554432000 4194304 4196468 140734002419808 139908294449968 139908873243266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/19175/task/19228/stat : 19228 (java) R 19172 19175 13460 0 -1 4202560 49119 13155 0 0 243428 22 5 3 20 0 15 0 445661521 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908845067872 139908448438087 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19229] ppid=19172 vsize=10846988 memory=565540 CPUtime=3.24 cores=1,3,5,7
/proc/19175/task/19229/stat : 19229 (java) S 19172 19175 13460 0 -1 1077944384 8823 13155 0 0 294 22 5 3 20 0 15 0 445661522 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908877474064 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19230] ppid=19172 vsize=10846988 memory=565540 CPUtime=3.26 cores=1,3,5,7
/proc/19175/task/19230/stat : 19230 (java) S 19172 19175 13460 0 -1 1077944384 4144 13155 0 0 298 20 5 3 20 0 15 0 445661522 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908765747600 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19231] ppid=19172 vsize=10846988 memory=565540 CPUtime=3.25 cores=1,3,5,7
/proc/19175/task/19231/stat : 19231 (java) S 19172 19175 13460 0 -1 1077944384 7919 13155 0 0 297 20 5 3 20 0 15 0 445661522 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908764695056 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19232] ppid=19172 vsize=10846988 memory=565540 CPUtime=3.26 cores=1,3,5,7
/proc/19175/task/19232/stat : 19232 (java) S 19172 19175 13460 0 -1 1077944384 10331 13155 0 0 298 20 5 3 20 0 15 0 445661522 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908763642512 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19233] ppid=19172 vsize=10846988 memory=565540 CPUtime=3.17 cores=1,3,5,7
/proc/19175/task/19233/stat : 19233 (java) S 19172 19175 13460 0 -1 1077944384 10571 13155 0 0 290 19 5 3 20 0 15 0 445661523 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908332218864 139908873243266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19234] ppid=19172 vsize=10846988 memory=565540 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19234/stat : 19234 (java) S 19172 19175 13460 0 -1 1077944384 66 13155 0 0 0 0 5 3 20 0 15 0 445661524 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908331165216 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19235] ppid=19172 vsize=10846988 memory=1428 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19235/stat : 19235 (java) S 19172 19175 13460 0 -1 1077944384 18 13155 0 0 0 0 5 3 20 0 15 0 445661524 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908224116224 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19236] ppid=19172 vsize=10846988 memory=565540 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19236/stat : 19236 (java) S 19172 19175 13460 0 -1 1077944384 2 13155 0 0 0 0 5 3 20 0 15 0 445661527 11107315712 141385 33554432000 4194304 4196468 140734002419808 139907620137680 139908873250715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19237] ppid=19172 vsize=10846988 memory=565540 CPUtime=3.28 cores=1,3,5,7
/proc/19175/task/19237/stat : 19237 (java) S 19172 19175 13460 0 -1 1077944384 18825 13155 0 0 317 3 5 3 20 0 15 0 445661527 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908297607152 139908873243266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19238] ppid=19172 vsize=10846988 memory=565540 CPUtime=3.45 cores=1,3,5,7
/proc/19175/task/19238/stat : 19238 (java) S 19172 19175 13460 0 -1 1077944384 21696 13155 0 0 334 3 5 3 20 0 15 0 445661527 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908296554608 139908873243266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19239] ppid=19172 vsize=10846988 memory=3620 CPUtime=1.62 cores=1,3,5,7
/proc/19175/task/19239/stat : 19239 (java) S 19172 19175 13460 0 -1 1077944384 17824 13155 0 0 150 4 5 3 20 0 15 0 445661527 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908295502064 139908873243266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19240] ppid=19172 vsize=10846988 memory=1752 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19240/stat : 19240 (java) S 19172 19175 13460 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 445661527 11107315712 141385 33554432000 4194304 4196468 140734002419808 139907150375520 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19241] ppid=19172 vsize=10846988 memory=1056 CPUtime=1.15 cores=1,3,5,7
/proc/19175/task/19241/stat : 19241 (java) S 19172 19175 13460 0 -1 1077944384 1680 13155 0 0 52 55 5 3 20 0 15 0 445661527 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908294449968 139908873243266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
Current children cumulated CPU time: 2459.64 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 565540 KiB
[startup+2502.3 s]
/proc/loadavg: 1.32 1.41 1.47 3/227 19623
/proc/meminfo: memFree=22093120/32770624 swapFree=66941520/67108860
[pid=19175] ppid=19172 vsize=10846988 memory=565540 CPUtime=2519.88 cores=1,3,5,7
/proc/19175/stat : 19175 (java) S 19172 19175 13460 0 -1 1077944320 153784 13155 0 0 251815 165 5 3 20 0 15 0 445661512 11107315712 141385 33554432000 4194304 4196468 140734002419808 140734002402352 139908873232119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
/proc/19175/statm: 2711747 141385 3628 1 0 2673805 0
[pid=19175/tid=19228] ppid=19172 vsize=10846988 memory=565540 CPUtime=2494.4 cores=1,3,5,7
/proc/19175/task/19228/stat : 19228 (java) R 19172 19175 13460 0 -1 4202560 49421 13155 0 0 249410 22 5 3 20 0 15 0 445661521 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908845067600 139908455777139 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19229] ppid=19172 vsize=10846988 memory=565540 CPUtime=3.33 cores=1,3,5,7
/proc/19175/task/19229/stat : 19229 (java) S 19172 19175 13460 0 -1 1077944384 8844 13155 0 0 302 23 5 3 20 0 15 0 445661522 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908877474064 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19230] ppid=19172 vsize=10846988 memory=565540 CPUtime=3.34 cores=1,3,5,7
/proc/19175/task/19230/stat : 19230 (java) S 19172 19175 13460 0 -1 1077944384 4177 13155 0 0 305 21 5 3 20 0 15 0 445661522 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908765747600 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19231] ppid=19172 vsize=10846988 memory=565540 CPUtime=3.33 cores=1,3,5,7
/proc/19175/task/19231/stat : 19231 (java) S 19172 19175 13460 0 -1 1077944384 7925 13155 0 0 305 20 5 3 20 0 15 0 445661522 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908764695056 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19232] ppid=19172 vsize=10846988 memory=164 CPUtime=3.34 cores=1,3,5,7
/proc/19175/task/19232/stat : 19232 (java) S 19172 19175 13460 0 -1 1077944384 10347 13155 0 0 305 21 5 3 20 0 15 0 445661522 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908763642512 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19233] ppid=19172 vsize=10846988 memory=326 CPUtime=3.24 cores=1,3,5,7
/proc/19175/task/19233/stat : 19233 (java) S 19172 19175 13460 0 -1 1077944384 10735 13155 0 0 297 19 5 3 20 0 15 0 445661523 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908332218864 139908873243266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19234] ppid=19172 vsize=10846988 memory=4004 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19234/stat : 19234 (java) S 19172 19175 13460 0 -1 1077944384 66 13155 0 0 0 0 5 3 20 0 15 0 445661524 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908331165216 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19235] ppid=19172 vsize=10846988 memory=565540 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19235/stat : 19235 (java) S 19172 19175 13460 0 -1 1077944384 18 13155 0 0 0 0 5 3 20 0 15 0 445661524 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908224116224 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19236] ppid=19172 vsize=10846988 memory=565540 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19236/stat : 19236 (java) S 19172 19175 13460 0 -1 1077944384 2 13155 0 0 0 0 5 3 20 0 15 0 445661527 11107315712 141385 33554432000 4194304 4196468 140734002419808 139907620137680 139908873250715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19237] ppid=19172 vsize=10846988 memory=565540 CPUtime=3.28 cores=1,3,5,7
/proc/19175/task/19237/stat : 19237 (java) S 19172 19175 13460 0 -1 1077944384 18825 13155 0 0 317 3 5 3 20 0 15 0 445661527 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908297607152 139908873243266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19238] ppid=19172 vsize=10846988 memory=565540 CPUtime=3.45 cores=1,3,5,7
/proc/19175/task/19238/stat : 19238 (java) S 19172 19175 13460 0 -1 1077944384 21696 13155 0 0 334 3 5 3 20 0 15 0 445661527 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908296554608 139908873243266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19239] ppid=19172 vsize=10846988 memory=565540 CPUtime=1.62 cores=1,3,5,7
/proc/19175/task/19239/stat : 19239 (java) S 19172 19175 13460 0 -1 1077944384 17824 13155 0 0 150 4 5 3 20 0 15 0 445661527 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908295502064 139908873243266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19240] ppid=19172 vsize=10846988 memory=565540 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19240/stat : 19240 (java) S 19172 19175 13460 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 445661527 11107315712 141385 33554432000 4194304 4196468 140734002419808 139907150375520 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19241] ppid=19172 vsize=10846988 memory=3620 CPUtime=1.17 cores=1,3,5,7
/proc/19175/task/19241/stat : 19241 (java) S 19172 19175 13460 0 -1 1077944384 1695 13155 0 0 53 56 5 3 20 0 15 0 445661527 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908294449968 139908873243266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
Current children cumulated CPU time: 2519.88 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 565540 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2502.5 s]
/proc/loadavg: 1.32 1.41 1.47 3/227 19623
/proc/meminfo: memFree=22093120/32770624 swapFree=66941520/67108860
[pid=19175] ppid=19172 vsize=10846988 memory=565540 CPUtime=2520.08 cores=1,3,5,7
/proc/19175/stat : 19175 (java) S 19172 19175 13460 0 -1 1077944320 153785 13155 0 0 251835 165 5 3 20 0 15 0 445661512 11107315712 141385 33554432000 4194304 4196468 140734002419808 140734002402352 139908873232119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
/proc/19175/statm: 2711747 141385 3628 1 0 2673805 0
[pid=19175/tid=19228] ppid=19172 vsize=10846988 memory=565540 CPUtime=2494.6 cores=1,3,5,7
/proc/19175/task/19228/stat : 19228 (java) R 19172 19175 13460 0 -1 4202560 49422 13155 0 0 249430 22 5 3 20 0 15 0 445661521 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908845066160 139908455775710 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19229] ppid=19172 vsize=10846988 memory=565540 CPUtime=3.33 cores=1,3,5,7
/proc/19175/task/19229/stat : 19229 (java) S 19172 19175 13460 0 -1 1077944384 8844 13155 0 0 302 23 5 3 20 0 15 0 445661522 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908877474064 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19230] ppid=19172 vsize=10846988 memory=565540 CPUtime=3.34 cores=1,3,5,7
/proc/19175/task/19230/stat : 19230 (java) S 19172 19175 13460 0 -1 1077944384 4177 13155 0 0 305 21 5 3 20 0 15 0 445661522 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908765747600 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19231] ppid=19172 vsize=10846988 memory=565540 CPUtime=3.33 cores=1,3,5,7
/proc/19175/task/19231/stat : 19231 (java) S 19172 19175 13460 0 -1 1077944384 7925 13155 0 0 305 20 5 3 20 0 15 0 445661522 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908764695056 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19232] ppid=19172 vsize=10846988 memory=164 CPUtime=3.34 cores=1,3,5,7
/proc/19175/task/19232/stat : 19232 (java) S 19172 19175 13460 0 -1 1077944384 10347 13155 0 0 305 21 5 3 20 0 15 0 445661522 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908763642512 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19233] ppid=19172 vsize=10846988 memory=326 CPUtime=3.24 cores=1,3,5,7
/proc/19175/task/19233/stat : 19233 (java) S 19172 19175 13460 0 -1 1077944384 10735 13155 0 0 297 19 5 3 20 0 15 0 445661523 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908332218864 139908873243266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19234] ppid=19172 vsize=10846988 memory=4004 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19234/stat : 19234 (java) S 19172 19175 13460 0 -1 1077944384 66 13155 0 0 0 0 5 3 20 0 15 0 445661524 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908331165216 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19235] ppid=19172 vsize=10846988 memory=565540 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19235/stat : 19235 (java) S 19172 19175 13460 0 -1 1077944384 18 13155 0 0 0 0 5 3 20 0 15 0 445661524 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908224116224 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19236] ppid=19172 vsize=10846988 memory=565540 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19236/stat : 19236 (java) S 19172 19175 13460 0 -1 1077944384 2 13155 0 0 0 0 5 3 20 0 15 0 445661527 11107315712 141385 33554432000 4194304 4196468 140734002419808 139907620137680 139908873250715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19237] ppid=19172 vsize=10846988 memory=565540 CPUtime=3.28 cores=1,3,5,7
/proc/19175/task/19237/stat : 19237 (java) S 19172 19175 13460 0 -1 1077944384 18825 13155 0 0 317 3 5 3 20 0 15 0 445661527 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908297607152 139908873243266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19238] ppid=19172 vsize=10846988 memory=565540 CPUtime=3.45 cores=1,3,5,7
/proc/19175/task/19238/stat : 19238 (java) S 19172 19175 13460 0 -1 1077944384 21696 13155 0 0 334 3 5 3 20 0 15 0 445661527 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908296554608 139908873243266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19239] ppid=19172 vsize=10846988 memory=3620 CPUtime=1.62 cores=1,3,5,7
/proc/19175/task/19239/stat : 19239 (java) S 19172 19175 13460 0 -1 1077944384 17824 13155 0 0 150 4 5 3 20 0 15 0 445661527 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908295502064 139908873243266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19240] ppid=19172 vsize=10846988 memory=565540 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19240/stat : 19240 (java) S 19172 19175 13460 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 445661527 11107315712 141385 33554432000 4194304 4196468 140734002419808 139907150375520 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19241] ppid=19172 vsize=10846988 memory=565540 CPUtime=1.17 cores=1,3,5,7
/proc/19175/task/19241/stat : 19241 (java) S 19172 19175 13460 0 -1 1077944384 1695 13155 0 0 53 56 5 3 20 0 15 0 445661527 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908294449968 139908873243266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 565540 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2502.52 s]
# the end of solver process 19175 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.43 s, system=1.69439 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2502.5 s]
/proc/loadavg: 1.32 1.41 1.47 3/227 19623
/proc/meminfo: memFree=22093120/32770624 swapFree=66941520/67108860
[pid=19175] ppid=19172 vsize=10846988 memory=565540 CPUtime=2520.08 cores=1,3,5,7
/proc/19175/stat : 19175 (java) S 19172 19175 13460 0 -1 1077944320 153785 13155 0 0 251835 165 5 3 20 0 15 0 445661512 11107315712 141385 33554432000 4194304 4196468 140734002419808 140734002402352 139908873232119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
/proc/19175/statm: 2711747 141385 3628 1 0 2673805 0
[pid=19175/tid=19228] ppid=19172 vsize=10846988 memory=565540 CPUtime=2494.6 cores=1,3,5,7
/proc/19175/task/19228/stat : 19228 (java) R 19172 19175 13460 0 -1 4202560 49422 13155 0 0 249430 22 5 3 20 0 15 0 445661521 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908845066160 139908455775710 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19229] ppid=19172 vsize=10846988 memory=565540 CPUtime=3.33 cores=1,3,5,7
/proc/19175/task/19229/stat : 19229 (java) S 19172 19175 13460 0 -1 1077944384 8844 13155 0 0 302 23 5 3 20 0 15 0 445661522 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908877474064 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19230] ppid=19172 vsize=10846988 memory=565540 CPUtime=3.34 cores=1,3,5,7
/proc/19175/task/19230/stat : 19230 (java) S 19172 19175 13460 0 -1 1077944384 4177 13155 0 0 305 21 5 3 20 0 15 0 445661522 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908765747600 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19231] ppid=19172 vsize=10846988 memory=565540 CPUtime=3.33 cores=1,3,5,7
/proc/19175/task/19231/stat : 19231 (java) S 19172 19175 13460 0 -1 1077944384 7925 13155 0 0 305 20 5 3 20 0 15 0 445661522 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908764695056 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19232] ppid=19172 vsize=10846988 memory=164 CPUtime=3.34 cores=1,3,5,7
/proc/19175/task/19232/stat : 19232 (java) S 19172 19175 13460 0 -1 1077944384 10347 13155 0 0 305 21 5 3 20 0 15 0 445661522 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908763642512 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19233] ppid=19172 vsize=10846988 memory=326 CPUtime=3.24 cores=1,3,5,7
/proc/19175/task/19233/stat : 19233 (java) S 19172 19175 13460 0 -1 1077944384 10735 13155 0 0 297 19 5 3 20 0 15 0 445661523 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908332218864 139908873243266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19234] ppid=19172 vsize=10846988 memory=4004 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19234/stat : 19234 (java) S 19172 19175 13460 0 -1 1077944384 66 13155 0 0 0 0 5 3 20 0 15 0 445661524 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908331165216 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19235] ppid=19172 vsize=10846988 memory=565540 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19235/stat : 19235 (java) S 19172 19175 13460 0 -1 1077944384 18 13155 0 0 0 0 5 3 20 0 15 0 445661524 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908224116224 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19236] ppid=19172 vsize=10846988 memory=565540 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19236/stat : 19236 (java) S 19172 19175 13460 0 -1 1077944384 2 13155 0 0 0 0 5 3 20 0 15 0 445661527 11107315712 141385 33554432000 4194304 4196468 140734002419808 139907620137680 139908873250715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19237] ppid=19172 vsize=10846988 memory=565540 CPUtime=3.28 cores=1,3,5,7
/proc/19175/task/19237/stat : 19237 (java) S 19172 19175 13460 0 -1 1077944384 18825 13155 0 0 317 3 5 3 20 0 15 0 445661527 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908297607152 139908873243266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19238] ppid=19172 vsize=10846988 memory=565540 CPUtime=3.45 cores=1,3,5,7
/proc/19175/task/19238/stat : 19238 (java) S 19172 19175 13460 0 -1 1077944384 21696 13155 0 0 334 3 5 3 20 0 15 0 445661527 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908296554608 139908873243266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19239] ppid=19172 vsize=10846988 memory=3620 CPUtime=1.62 cores=1,3,5,7
/proc/19175/task/19239/stat : 19239 (java) S 19172 19175 13460 0 -1 1077944384 17824 13155 0 0 150 4 5 3 20 0 15 0 445661527 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908295502064 139908873243266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19240] ppid=19172 vsize=10846988 memory=565540 CPUtime=0.08 cores=1,3,5,7
/proc/19175/task/19240/stat : 19240 (java) S 19172 19175 13460 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 445661527 11107315712 141385 33554432000 4194304 4196468 140734002419808 139907150375520 139908873242325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
[pid=19175/tid=19241] ppid=19172 vsize=10846988 memory=565540 CPUtime=1.17 cores=1,3,5,7
/proc/19175/task/19241/stat : 19241 (java) S 19172 19175 13460 0 -1 1077944384 1695 13155 0 0 53 56 5 3 20 0 15 0 445661527 11107315712 141385 33554432000 4194304 4196468 140734002419808 139908294449968 139908873243266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20877312 140734002428656 140734002431173 140734002431173 140734002433999 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 565540 KiB
Child status: 143
Real time (s): 2502.52
CPU time (s): 2520.12
CPU user time (s): 2518.43
CPU system time (s): 1.69439
CPU usage (%): 100.703
Max. virtual memory (cumulated for all children) (KiB): 10847588
Max. memory (cumulated for all children) (KiB): 722328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.43
system time used= 1.6944
maximum resident set size= 724388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 167996
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125474
involuntary context switches= 7537
# summary of solver processes directly reported to runsolver:
# pid: 19175
# total CPU time (s): 2520.12
# total CPU user time (s): 2518.43
# total CPU system time (s): 1.69439
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1925 second user time and 25.0788 second system time
The end