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 (8310 MiB free)
memory of node 1: 16384 MiB (14736 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302822-1532897280/watcher-4302822-1532897280 -o /tmp/evaluation-result-4302822-1532897280/solver-4302822-1532897280 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532892979-13580 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=897811109 -superng HOME/instance-4302822-1532897280.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=19999, runsolver pid=19996
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 1.43 1.79 1.89 6/206 20056
/proc/meminfo: memFree=23595904/32770624 swapFree=67108404/67108860
[pid=19999] ppid=19996 vsize=10005480 memory=14912 CPUtime=0.09 cores=0,2,4,6
/proc/19999/stat : 19999 (java) S 19996 19999 12222 0 -1 1077944320 4422 13022 0 0 1 0 5 3 20 0 6 0 107291174 10245611520 3728 33554432000 4194304 4196468 140728833912576 140728833895120 140138708164343 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
/proc/19999/statm: 2501370 3728 1935 1 0 2489808 0
[pid=19999/tid=20052] ppid=19996 vsize=10005480 memory=4279135703946462859 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20052/stat : 20052 (java) R 19996 19999 12222 0 -1 4202560 2252 13022 0 0 0 0 5 3 20 0 6 0 107291183 10245611520 3794 33554432000 4194304 4196468 140728833912576 140138680001104 140138692244830 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20053] ppid=19996 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20053/stat : 20053 (java) S 19996 19999 12222 0 -1 1077944384 1 13022 0 0 0 0 5 3 20 0 6 0 107291184 10245611520 3794 33554432000 4194304 4196468 140728833912576 140138712406288 140138708174549 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20054] ppid=19996 vsize=10005480 memory=140651702253184 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20054/stat : 20054 (java) S 19996 19999 12222 0 -1 1077944384 1 13022 0 0 0 0 5 3 20 0 6 0 107291184 10245611520 3794 33554432000 4194304 4196468 140728833912576 140138610764176 140138708174549 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20055] ppid=19996 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20055/stat : 20055 (java) S 19996 19999 12222 0 -1 1077944384 1 13022 0 0 0 0 5 3 20 0 6 0 107291184 10245611520 3794 33554432000 4194304 4196468 140728833912576 140138246441488 140138708174549 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20056] ppid=19996 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20056/stat : 20056 (java) S 19996 19999 12222 0 -1 1077944384 2 13022 0 0 0 0 5 3 20 0 6 0 107291184 10245611520 3794 33554432000 4194304 4196468 140728833912576 140138245388944 140138708174549 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 14912 KiB
[startup+0.209843 s]*
/proc/loadavg: 1.43 1.79 1.89 5/215 20065
/proc/meminfo: memFree=23570452/32770624 swapFree=67108404/67108860
[pid=19999] ppid=19996 vsize=10982744 memory=41928 CPUtime=0.26 cores=0,2,4,6
/proc/19999/stat : 19999 (java) S 19996 19999 12222 0 -1 1077944320 7725 13022 0 0 16 2 5 3 20 0 15 0 107291174 11246329856 10482 33554432000 4194304 4196468 140728833912576 140728833895120 140138708164343 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
/proc/19999/statm: 2745686 10482 2956 1 0 2708109 0
[pid=19999/tid=20052] ppid=19996 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/19999/task/20052/stat : 20052 (java) R 19996 19999 12222 0 -1 4202560 4352 13022 0 0 10 1 5 3 20 0 15 0 107291183 11246329856 10614 33554432000 4194304 4196468 140728833912576 140138679969936 140138688440103 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20053] ppid=19996 vsize=10982744 memory=345 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20053/stat : 20053 (java) S 19996 19999 12222 0 -1 1077944384 1 13022 0 0 0 0 5 3 20 0 15 0 107291184 11246329856 10614 33554432000 4194304 4196468 140728833912576 140138712406288 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20054] ppid=19996 vsize=10982744 memory=3905096004327962272 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20054/stat : 20054 (java) S 19996 19999 12222 0 -1 1077944384 1 13022 0 0 0 0 5 3 20 0 15 0 107291184 11246329856 10614 33554432000 4194304 4196468 140728833912576 140138610764176 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20055] ppid=19996 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20055/stat : 20055 (java) S 19996 19999 12222 0 -1 1077944384 1 13022 0 0 0 0 5 3 20 0 15 0 107291184 11246329856 10680 33554432000 4194304 4196468 140728833912576 140138246441488 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20056] ppid=19996 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20056/stat : 20056 (java) S 19996 19999 12222 0 -1 1077944384 2 13022 0 0 0 0 5 3 20 0 15 0 107291184 11246329856 10680 33554432000 4194304 4196468 140728833912576 140138245388944 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20057] ppid=19996 vsize=10982744 memory=140651702253184 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20057/stat : 20057 (java) S 19996 19999 12222 0 -1 1077944384 2 13022 0 0 0 0 5 3 20 0 15 0 107291185 11246329856 10680 33554432000 4194304 4196468 140728833912576 140138133821936 140138708175490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20058] ppid=19996 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20058/stat : 20058 (java) S 19996 19999 12222 0 -1 1077944384 13 13022 0 0 0 0 5 3 20 0 15 0 107291186 11246329856 10680 33554432000 4194304 4196468 140728833912576 140137535104416 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20059] ppid=19996 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20059/stat : 20059 (java) S 19996 19999 12222 0 -1 1077944384 1 13022 0 0 0 0 5 3 20 0 15 0 107291186 11246329856 10680 33554432000 4194304 4196468 140728833912576 140137333777904 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20060] ppid=19996 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20060/stat : 20060 (java) S 19996 19999 12222 0 -1 1077944384 3 13022 0 0 0 0 5 3 20 0 15 0 107291189 11246329856 10680 33554432000 4194304 4196468 140728833912576 140137026378448 140138708182939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20061] ppid=19996 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19999/task/20061/stat : 20061 (java) S 19996 19999 12222 0 -1 1077944384 381 13022 0 0 1 0 5 3 20 0 15 0 107291189 11246329856 10680 33554432000 4194304 4196468 140728833912576 140138132768752 140138708175490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20062] ppid=19996 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20062/stat : 20062 (java) S 19996 19999 12222 0 -1 1077944384 253 13022 0 0 0 0 5 3 20 0 15 0 107291189 11246329856 10680 33554432000 4194304 4196468 140728833912576 140138131716208 140138708175490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20063] ppid=19996 vsize=10982744 memory=140651702253184 CPUtime=0.11 cores=0,2,4,6
/proc/19999/task/20063/stat : 20063 (java) S 19996 19999 12222 0 -1 1077944384 668 13022 0 0 3 0 5 3 20 0 15 0 107291189 11246329856 10680 33554432000 4194304 4196468 140728833912576 140138130663664 140138708175490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20064] ppid=19996 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20064/stat : 20064 (java) S 19996 19999 12222 0 -1 1077944384 3 13022 0 0 0 0 5 3 20 0 15 0 107291189 11246329856 10680 33554432000 4194304 4196468 140728833912576 140136595581536 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20065] ppid=19996 vsize=10982744 memory=140651702253184 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20065/stat : 20065 (java) S 19996 19999 12222 0 -1 1077944384 1 13022 0 0 0 0 5 3 20 0 15 0 107291189 11246329856 10680 33554432000 4194304 4196468 140728833912576 140138129611568 140138708175490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 41928 KiB
[startup+0.310229 s]*
/proc/loadavg: 1.43 1.79 1.89 4/215 20065
/proc/meminfo: memFree=23556260/32770624 swapFree=67108404/67108860
[pid=19999] ppid=19996 vsize=10983192 memory=54216 CPUtime=0.38 cores=0,2,4,6
/proc/19999/stat : 19999 (java) S 19996 19999 12222 0 -1 1077944320 10665 13022 0 0 28 2 5 3 20 0 15 0 107291174 11246788608 13554 33554432000 4194304 4196468 140728833912576 140728833895120 140138708164343 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
/proc/19999/statm: 2745798 13554 3075 1 0 2708109 0
[pid=19999/tid=20052] ppid=19996 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/19999/task/20052/stat : 20052 (java) R 19996 19999 12222 0 -1 4202560 7101 13022 0 0 19 2 5 3 20 0 15 0 107291183 11246788608 13554 33554432000 4194304 4196468 140728833912576 140138679976352 140138693329982 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20053] ppid=19996 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20053/stat : 20053 (java) S 19996 19999 12222 0 -1 1077944384 1 13022 0 0 0 0 5 3 20 0 15 0 107291184 11246788608 13554 33554432000 4194304 4196468 140728833912576 140138712406288 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20054] ppid=19996 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20054/stat : 20054 (java) S 19996 19999 12222 0 -1 1077944384 1 13022 0 0 0 0 5 3 20 0 15 0 107291184 11246788608 13554 33554432000 4194304 4196468 140728833912576 140138610764176 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20055] ppid=19996 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20055/stat : 20055 (java) S 19996 19999 12222 0 -1 1077944384 1 13022 0 0 0 0 5 3 20 0 15 0 107291184 11246788608 13554 33554432000 4194304 4196468 140728833912576 140138246441488 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20056] ppid=19996 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20056/stat : 20056 (java) S 19996 19999 12222 0 -1 1077944384 2 13022 0 0 0 0 5 3 20 0 15 0 107291184 11246788608 13554 33554432000 4194304 4196468 140728833912576 140138245388944 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20057] ppid=19996 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20057/stat : 20057 (java) S 19996 19999 12222 0 -1 1077944384 2 13022 0 0 0 0 5 3 20 0 15 0 107291185 11246788608 13554 33554432000 4194304 4196468 140728833912576 140138133821936 140138708175490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20058] ppid=19996 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20058/stat : 20058 (java) S 19996 19999 12222 0 -1 1077944384 13 13022 0 0 0 0 5 3 20 0 15 0 107291186 11246788608 13554 33554432000 4194304 4196468 140728833912576 140137535104416 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20059] ppid=19996 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20059/stat : 20059 (java) S 19996 19999 12222 0 -1 1077944384 1 13022 0 0 0 0 5 3 20 0 15 0 107291186 11246788608 13554 33554432000 4194304 4196468 140728833912576 140137333777904 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20060] ppid=19996 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20060/stat : 20060 (java) S 19996 19999 12222 0 -1 1077944384 3 13022 0 0 0 0 5 3 20 0 15 0 107291189 11246788608 13554 33554432000 4194304 4196468 140728833912576 140137026378448 140138708182939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20061] ppid=19996 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19999/task/20061/stat : 20061 (java) S 19996 19999 12222 0 -1 1077944384 385 13022 0 0 1 0 5 3 20 0 15 0 107291189 11246788608 13554 33554432000 4194304 4196468 140728833912576 140138132768752 140138708175490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20062] ppid=19996 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/19999/task/20062/stat : 20062 (java) S 19996 19999 12222 0 -1 1077944384 257 13022 0 0 1 0 5 3 20 0 15 0 107291189 11246788608 13554 33554432000 4194304 4196468 140728833912576 140138131716208 140138708175490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20063] ppid=19996 vsize=10983192 memory=140651702253184 CPUtime=0.12 cores=0,2,4,6
/proc/19999/task/20063/stat : 20063 (java) S 19996 19999 12222 0 -1 1077944384 702 13022 0 0 4 0 5 3 20 0 15 0 107291189 11246788608 13554 33554432000 4194304 4196468 140728833912576 140138130663664 140138708175490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20064] ppid=19996 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20064/stat : 20064 (java) S 19996 19999 12222 0 -1 1077944384 3 13022 0 0 0 0 5 3 20 0 15 0 107291189 11246788608 13554 33554432000 4194304 4196468 140728833912576 140136595581536 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20065] ppid=19996 vsize=10983192 memory=140651702253184 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20065/stat : 20065 (java) S 19996 19999 12222 0 -1 1077944384 1 13022 0 0 0 0 5 3 20 0 15 0 107291189 11246788608 13554 33554432000 4194304 4196468 140728833912576 140138129611568 140138708175490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 54216 KiB
[startup+0.700748 s]
/proc/loadavg: 1.43 1.79 1.89 7/215 20065
/proc/meminfo: memFree=23541692/32770624 swapFree=67108404/67108860
[pid=19999] ppid=19996 vsize=10983192 memory=87592 CPUtime=0.99 cores=0,2,4,6
/proc/19999/stat : 19999 (java) S 19996 19999 12222 0 -1 1077944320 17052 13022 0 0 87 4 5 3 20 0 15 0 107291174 11246788608 21898 33554432000 4194304 4196468 140728833912576 140728833895120 140138708164343 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
/proc/19999/statm: 2745798 21898 3245 1 0 2708109 0
[pid=19999/tid=20052] ppid=19996 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/19999/task/20052/stat : 20052 (java) R 19996 19999 12222 0 -1 4202560 12283 13022 0 0 56 3 5 3 20 0 15 0 107291183 11246788608 21898 33554432000 4194304 4196468 140728833912576 140138679978112 140138692244830 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20053] ppid=19996 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20053/stat : 20053 (java) S 19996 19999 12222 0 -1 1077944384 1 13022 0 0 0 0 5 3 20 0 15 0 107291184 11246788608 21898 33554432000 4194304 4196468 140728833912576 140138712406288 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20054] ppid=19996 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20054/stat : 20054 (java) S 19996 19999 12222 0 -1 1077944384 1 13022 0 0 0 0 5 3 20 0 15 0 107291184 11246788608 21898 33554432000 4194304 4196468 140728833912576 140138610764176 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20055] ppid=19996 vsize=10983192 memory=488 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20055/stat : 20055 (java) S 19996 19999 12222 0 -1 1077944384 1 13022 0 0 0 0 5 3 20 0 15 0 107291184 11246788608 21898 33554432000 4194304 4196468 140728833912576 140138246441488 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20056] ppid=19996 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20056/stat : 20056 (java) S 19996 19999 12222 0 -1 1077944384 2 13022 0 0 0 0 5 3 20 0 15 0 107291184 11246788608 21898 33554432000 4194304 4196468 140728833912576 140138245388944 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20057] ppid=19996 vsize=10983192 memory=7301570131460772950 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20057/stat : 20057 (java) S 19996 19999 12222 0 -1 1077944384 5 13022 0 0 0 0 5 3 20 0 15 0 107291185 11246788608 21898 33554432000 4194304 4196468 140728833912576 140138133821936 140138708175490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20058] ppid=19996 vsize=10983192 memory=32804 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20058/stat : 20058 (java) S 19996 19999 12222 0 -1 1077944384 13 13022 0 0 0 0 5 3 20 0 15 0 107291186 11246788608 21898 33554432000 4194304 4196468 140728833912576 140137535104416 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20059] ppid=19996 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20059/stat : 20059 (java) S 19996 19999 12222 0 -1 1077944384 1 13022 0 0 0 0 5 3 20 0 15 0 107291186 11246788608 21898 33554432000 4194304 4196468 140728833912576 140137333777904 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20060] ppid=19996 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20060/stat : 20060 (java) S 19996 19999 12222 0 -1 1077944384 3 13022 0 0 0 0 5 3 20 0 15 0 107291189 11246788608 21898 33554432000 4194304 4196468 140728833912576 140137026378448 140138708182939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20061] ppid=19996 vsize=10983192 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/19999/task/20061/stat : 20061 (java) S 19996 19999 12222 0 -1 1077944384 966 13022 0 0 9 0 5 3 20 0 15 0 107291189 11246788608 21898 33554432000 4194304 4196468 140728833912576 140138132768752 140138708175490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20062] ppid=19996 vsize=10983192 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/19999/task/20062/stat : 20062 (java) S 19996 19999 12222 0 -1 1077944384 671 13022 0 0 7 0 5 3 20 0 15 0 107291189 11246788608 21898 33554432000 4194304 4196468 140728833912576 140138131716208 140138708175490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20063] ppid=19996 vsize=10983192 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/19999/task/20063/stat : 20063 (java) S 19996 19999 12222 0 -1 1077944384 910 13022 0 0 13 0 5 3 20 0 15 0 107291189 11246788608 21898 33554432000 4194304 4196468 140728833912576 140138130663664 140138708175490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20064] ppid=19996 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20064/stat : 20064 (java) S 19996 19999 12222 0 -1 1077944384 3 13022 0 0 0 0 5 3 20 0 15 0 107291189 11246788608 21898 33554432000 4194304 4196468 140728833912576 140136595581536 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20065] ppid=19996 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20065/stat : 20065 (java) S 19996 19999 12222 0 -1 1077944384 1 13022 0 0 0 0 5 3 20 0 15 0 107291189 11246788608 21898 33554432000 4194304 4196468 140728833912576 140138129611568 140138708175490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 87592 KiB
[startup+1.50073 s]
/proc/loadavg: 1.43 1.79 1.89 3/214 20066
/proc/meminfo: memFree=23457924/32770624 swapFree=67108404/67108860
[pid=19999] ppid=19996 vsize=10998092 memory=178152 CPUtime=2.28 cores=0,2,4,6
/proc/19999/stat : 19999 (java) S 19996 19999 12222 0 -1 1077944320 24115 13022 0 0 211 9 5 3 20 0 15 0 107291174 11262046208 44538 33554432000 4194304 4196468 140728833912576 140728833895120 140138708164343 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
/proc/19999/statm: 2749523 44538 3471 1 0 2711181 0
[pid=19999/tid=20052] ppid=19996 vsize=10998092 memory=4951091520830867572 CPUtime=1.43 cores=0,2,4,6
/proc/19999/task/20052/stat : 20052 (java) R 19996 19999 12222 0 -1 4202560 17803 13022 0 0 130 5 5 3 20 0 15 0 107291183 11262046208 44538 33554432000 4194304 4196468 140728833912576 140138679994368 140138692244830 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20053] ppid=19996 vsize=10998092 memory=4134606225630022328 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20053/stat : 20053 (java) S 19996 19999 12222 0 -1 1077944384 30 13022 0 0 0 0 5 3 20 0 15 0 107291184 11262046208 44538 33554432000 4194304 4196468 140728833912576 140138712406288 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20054] ppid=19996 vsize=10998092 memory=-5153075247754915967 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20054/stat : 20054 (java) S 19996 19999 12222 0 -1 1077944384 12 13022 0 0 0 0 5 3 20 0 15 0 107291184 11262046208 44538 33554432000 4194304 4196468 140728833912576 140138610764176 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20055] ppid=19996 vsize=10998092 memory=7752263530258265913 CPUtime=0.09 cores=0,2,4,6
/proc/19999/task/20055/stat : 20055 (java) S 19996 19999 12222 0 -1 1077944384 58 13022 0 0 1 0 5 3 20 0 15 0 107291184 11262046208 44538 33554432000 4194304 4196468 140728833912576 140138246441488 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20056] ppid=19996 vsize=10998092 memory=116236 CPUtime=0.09 cores=0,2,4,6
/proc/19999/task/20056/stat : 20056 (java) S 19996 19999 12222 0 -1 1077944384 186 13022 0 0 1 0 5 3 20 0 15 0 107291184 11262046208 44538 33554432000 4194304 4196468 140728833912576 140138245388944 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20057] ppid=19996 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19999/task/20057/stat : 20057 (java) S 19996 19999 12222 0 -1 1077944384 55 13022 0 0 1 0 5 3 20 0 15 0 107291185 11262046208 44538 33554432000 4194304 4196468 140728833912576 140138133821936 140138708175490 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20058] ppid=19996 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20058/stat : 20058 (java) S 19996 19999 12222 0 -1 1077944384 13 13022 0 0 0 0 5 3 20 0 15 0 107291186 11262046208 44538 33554432000 4194304 4196468 140728833912576 140137535104480 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20059] ppid=19996 vsize=10998092 memory=281303178084640 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20059/stat : 20059 (java) S 19996 19999 12222 0 -1 1077944384 3 13022 0 0 0 0 5 3 20 0 15 0 107291186 11262046208 44538 33554432000 4194304 4196468 140728833912576 140137333777904 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20060] ppid=19996 vsize=10998092 memory=281303178499584 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20060/stat : 20060 (java) S 19996 19999 12222 0 -1 1077944384 3 13022 0 0 0 0 5 3 20 0 15 0 107291189 11262046208 44538 33554432000 4194304 4196468 140728833912576 140137026378448 140138708182939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20061] ppid=19996 vsize=10998092 memory=140651589052032 CPUtime=0.32 cores=0,2,4,6
/proc/19999/task/20061/stat : 20061 (java) S 19996 19999 12222 0 -1 1077944384 1418 13022 0 0 24 0 5 3 20 0 15 0 107291189 11262046208 44538 33554432000 4194304 4196468 140728833912576 140138132768752 140138708175490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20062] ppid=19996 vsize=10998092 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/19999/task/20062/stat : 20062 (java) S 19996 19999 12222 0 -1 1077944384 834 13022 0 0 17 0 5 3 20 0 15 0 107291189 11262046208 44538 33554432000 4194304 4196468 140728833912576 140138131716208 140138708175490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20063] ppid=19996 vsize=10998092 memory=1200 CPUtime=0.4 cores=0,2,4,6
/proc/19999/task/20063/stat : 20063 (java) S 19996 19999 12222 0 -1 1077944384 1507 13022 0 0 32 0 5 3 20 0 15 0 107291189 11262046208 44538 33554432000 4194304 4196468 140728833912576 140138130663664 140138708175490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20064] ppid=19996 vsize=10998092 memory=15876 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20064/stat : 20064 (java) S 19996 19999 12222 0 -1 1077944384 3 13022 0 0 0 0 5 3 20 0 15 0 107291189 11262046208 44538 33554432000 4194304 4196468 140728833912576 140136595581536 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20065] ppid=19996 vsize=10998092 memory=4044 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20065/stat : 20065 (java) S 19996 19999 12222 0 -1 1077944384 1 13022 0 0 0 0 5 3 20 0 15 0 107291189 11262046208 44538 33554432000 4194304 4196468 140728833912576 140138129611568 140138708175490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
Current children cumulated CPU time: 2.28 s
Current children cumulated vsize: 10998092 KiB
Current children cumulated memory: 178152 KiB
[startup+3.11068 s]
/proc/loadavg: 1.47 1.79 1.89 4/215 20192
/proc/meminfo: memFree=23556420/32770624 swapFree=67108404/67108860
[pid=19999] ppid=19996 vsize=11010400 memory=247596 CPUtime=5.41 cores=0,2,4,6
/proc/19999/stat : 19999 (java) S 19996 19999 12222 0 -1 1077944320 37865 13022 0 0 518 15 5 3 20 0 15 0 107291174 11274649600 61899 33554432000 4194304 4196468 140728833912576 140728833895120 140138708164343 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
/proc/19999/statm: 2752600 61899 3495 1 0 2714253 0
[pid=19999/tid=20052] ppid=19996 vsize=11010400 memory=324 CPUtime=2.99 cores=0,2,4,6
/proc/19999/task/20052/stat : 20052 (java) R 19996 19999 12222 0 -1 4202560 27020 13022 0 0 284 7 5 3 20 0 15 0 107291183 11274649600 61899 33554432000 4194304 4196468 140728833912576 140138679993104 140138708186269 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20053] ppid=19996 vsize=11010400 memory=196 CPUtime=0.1 cores=0,2,4,6
/proc/19999/task/20053/stat : 20053 (java) S 19996 19999 12222 0 -1 1077944384 63 13022 0 0 2 0 5 3 20 0 15 0 107291184 11274649600 61899 33554432000 4194304 4196468 140728833912576 140138712406288 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20054] ppid=19996 vsize=11010400 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/19999/task/20054/stat : 20054 (java) S 19996 19999 12222 0 -1 1077944384 24 13022 0 0 2 0 5 3 20 0 15 0 107291184 11274649600 61899 33554432000 4194304 4196468 140728833912576 140138610764176 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20055] ppid=19996 vsize=11010400 memory=49 CPUtime=0.1 cores=0,2,4,6
/proc/19999/task/20055/stat : 20055 (java) S 19996 19999 12222 0 -1 1077944384 84 13022 0 0 2 0 5 3 20 0 15 0 107291184 11274649600 61899 33554432000 4194304 4196468 140728833912576 140138246441488 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20056] ppid=19996 vsize=11010400 memory=94 CPUtime=0.1 cores=0,2,4,6
/proc/19999/task/20056/stat : 20056 (java) S 19996 19999 12222 0 -1 1077944384 193 13022 0 0 2 0 5 3 20 0 15 0 107291184 11274649600 61899 33554432000 4194304 4196468 140728833912576 140138245388944 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20057] ppid=19996 vsize=11010400 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/19999/task/20057/stat : 20057 (java) S 19996 19999 12222 0 -1 1077944384 1034 13022 0 0 3 0 5 3 20 0 15 0 107291185 11274649600 61899 33554432000 4194304 4196468 140728833912576 140138133821936 140138708175490 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20058] ppid=19996 vsize=11010400 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20058/stat : 20058 (java) S 19996 19999 12222 0 -1 1077944384 13 13022 0 0 0 0 5 3 20 0 15 0 107291186 11274649600 61899 33554432000 4194304 4196468 140728833912576 140137535104480 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20059] ppid=19996 vsize=11010400 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20059/stat : 20059 (java) S 19996 19999 12222 0 -1 1077944384 3 13022 0 0 0 0 5 3 20 0 15 0 107291186 11274649600 61899 33554432000 4194304 4196468 140728833912576 140137333777920 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20060] ppid=19996 vsize=11010400 memory=-2026666227646604569 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20060/stat : 20060 (java) S 19996 19999 12222 0 -1 1077944384 3 13022 0 0 0 0 5 3 20 0 15 0 107291189 11274649600 61899 33554432000 4194304 4196468 140728833912576 140137026378448 140138708182939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20061] ppid=19996 vsize=11010400 memory=-7022074515825631275 CPUtime=0.67 cores=0,2,4,6
/proc/19999/task/20061/stat : 20061 (java) S 19996 19999 12222 0 -1 1077944384 1769 13022 0 0 58 1 5 3 20 0 15 0 107291189 11274649600 61899 33554432000 4194304 4196468 140728833912576 140138132768752 140138708175490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20062] ppid=19996 vsize=11010400 memory=7649399371413336114 CPUtime=0.64 cores=0,2,4,6
/proc/19999/task/20062/stat : 20062 (java) S 19996 19999 12222 0 -1 1077944384 1391 13022 0 0 55 1 5 3 20 0 15 0 107291189 11274649600 61899 33554432000 4194304 4196468 140728833912576 140138131716208 140138708175490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20063] ppid=19996 vsize=11010400 memory=281303178361424 CPUtime=1.12 cores=0,2,4,6
/proc/19999/task/20063/stat : 20063 (java) S 19996 19999 12222 0 -1 1077944384 4072 13022 0 0 103 1 5 3 20 0 15 0 107291189 11274649600 61899 33554432000 4194304 4196468 140728833912576 140138130663664 140138708175490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20064] ppid=19996 vsize=11010400 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20064/stat : 20064 (java) S 19996 19999 12222 0 -1 1077944384 3 13022 0 0 0 0 5 3 20 0 15 0 107291189 11274649600 61899 33554432000 4194304 4196468 140728833912576 140136595581536 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20065] ppid=19996 vsize=11010400 memory=288230583166042426 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20065/stat : 20065 (java) S 19996 19999 12222 0 -1 1077944384 1 13022 0 0 0 0 5 3 20 0 15 0 107291189 11274649600 61899 33554432000 4194304 4196468 140728833912576 140138129611568 140138708175490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
Current children cumulated CPU time: 5.41 s
Current children cumulated vsize: 11010400 KiB
Current children cumulated memory: 247596 KiB
[startup+3.82354 s]
# the end of solver process 19999 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.1448 s, system=0.254896 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20088 s]
/proc/loadavg: 1.47 1.79 1.89 4/215 20192
/proc/meminfo: memFree=23556420/32770624 swapFree=67108404/67108860
[pid=19999] ppid=19996 vsize=11010400 memory=249408 CPUtime=5.54 cores=0,2,4,6
/proc/19999/stat : 19999 (java) S 19996 19999 12222 0 -1 1077944320 40961 13022 0 0 530 16 5 3 20 0 15 0 107291174 11274649600 62352 33554432000 4194304 4196468 140728833912576 140728833895120 140138708164343 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
/proc/19999/statm: 2752600 62352 3495 1 0 2714253 0
[pid=19999/tid=20052] ppid=19996 vsize=11010400 memory=0 CPUtime=3.09 cores=0,2,4,6
/proc/19999/task/20052/stat : 20052 (java) R 19996 19999 12222 0 -1 4202560 29797 13022 0 0 293 8 5 3 20 0 15 0 107291183 11274649600 62352 33554432000 4194304 4196468 140728833912576 140138679994272 140138694413542 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20053] ppid=19996 vsize=11010400 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/19999/task/20053/stat : 20053 (java) S 19996 19999 12222 0 -1 1077944384 63 13022 0 0 2 0 5 3 20 0 15 0 107291184 11274649600 62352 33554432000 4194304 4196468 140728833912576 140138712406288 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20054] ppid=19996 vsize=11010400 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/19999/task/20054/stat : 20054 (java) S 19996 19999 12222 0 -1 1077944384 24 13022 0 0 2 0 5 3 20 0 15 0 107291184 11274649600 62352 33554432000 4194304 4196468 140728833912576 140138610764176 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20055] ppid=19996 vsize=11010400 memory=-2127767606438485640 CPUtime=0.1 cores=0,2,4,6
/proc/19999/task/20055/stat : 20055 (java) S 19996 19999 12222 0 -1 1077944384 84 13022 0 0 2 0 5 3 20 0 15 0 107291184 11274649600 62352 33554432000 4194304 4196468 140728833912576 140138246441488 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20056] ppid=19996 vsize=11010400 memory=6944656592387989600 CPUtime=0.1 cores=0,2,4,6
/proc/19999/task/20056/stat : 20056 (java) S 19996 19999 12222 0 -1 1077944384 193 13022 0 0 2 0 5 3 20 0 15 0 107291184 11274649600 62352 33554432000 4194304 4196468 140728833912576 140138245388944 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20057] ppid=19996 vsize=11010400 memory=6944656592455359580 CPUtime=0.11 cores=0,2,4,6
/proc/19999/task/20057/stat : 20057 (java) S 19996 19999 12222 0 -1 1077944384 1034 13022 0 0 3 0 5 3 20 0 15 0 107291185 11274649600 62352 33554432000 4194304 4196468 140728833912576 140138133821936 140138708175490 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20058] ppid=19996 vsize=11010400 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20058/stat : 20058 (java) S 19996 19999 12222 0 -1 1077944384 13 13022 0 0 0 0 5 3 20 0 15 0 107291186 11274649600 62352 33554432000 4194304 4196468 140728833912576 140137535104480 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20059] ppid=19996 vsize=11010400 memory=281303178519552 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20059/stat : 20059 (java) S 19996 19999 12222 0 -1 1077944384 3 13022 0 0 0 0 5 3 20 0 15 0 107291186 11274649600 62352 33554432000 4194304 4196468 140728833912576 140137333777920 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20060] ppid=19996 vsize=11010400 memory=9242 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20060/stat : 20060 (java) S 19996 19999 12222 0 -1 1077944384 3 13022 0 0 0 0 5 3 20 0 15 0 107291189 11274649600 62352 33554432000 4194304 4196468 140728833912576 140137026378448 140138708182939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20061] ppid=19996 vsize=11010400 memory=19660 CPUtime=0.68 cores=0,2,4,6
/proc/19999/task/20061/stat : 20061 (java) S 19996 19999 12222 0 -1 1077944384 1776 13022 0 0 59 1 5 3 20 0 15 0 107291189 11274649600 62352 33554432000 4194304 4196468 140728833912576 140138132768752 140138708175490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20062] ppid=19996 vsize=11010400 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/19999/task/20062/stat : 20062 (java) S 19996 19999 12222 0 -1 1077944384 1398 13022 0 0 56 1 5 3 20 0 15 0 107291189 11274649600 62352 33554432000 4194304 4196468 140728833912576 140138131716208 140138708175490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20063] ppid=19996 vsize=11010400 memory=2961 CPUtime=1.14 cores=0,2,4,6
/proc/19999/task/20063/stat : 20063 (java) S 19996 19999 12222 0 -1 1077944384 4380 13022 0 0 105 1 5 3 20 0 15 0 107291189 11274649600 62352 33554432000 4194304 4196468 140728833912576 140138130663664 140138708175490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20064] ppid=19996 vsize=11010400 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20064/stat : 20064 (java) S 19996 19999 12222 0 -1 1077944384 3 13022 0 0 0 0 5 3 20 0 15 0 107291189 11274649600 62352 33554432000 4194304 4196468 140728833912576 140136595581536 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20065] ppid=19996 vsize=11010400 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20065/stat : 20065 (java) S 19996 19999 12222 0 -1 1077944384 1 13022 0 0 0 0 5 3 20 0 15 0 107291189 11274649600 62352 33554432000 4194304 4196468 140728833912576 140138129611568 140138708175490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
Current children cumulated CPU time: 5.54 s
Current children cumulated vsize: 11010400 KiB
Current children cumulated memory: 249408 KiB
[startup+3.60112 s]
/proc/loadavg: 1.47 1.79 1.89 4/215 20192
/proc/meminfo: memFree=23556420/32770624 swapFree=67108404/67108860
[pid=19999] ppid=19996 vsize=11077984 memory=308624 CPUtime=6.76 cores=0,2,4,6
/proc/19999/stat : 19999 (java) S 19996 19999 12222 0 -1 1077944320 69473 13022 0 0 648 20 5 3 20 0 15 0 107291174 11343855616 77156 33554432000 4194304 4196468 140728833912576 140728833895120 140138708164343 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
/proc/19999/statm: 2769496 77156 3496 1 0 2731149 0
[pid=19999/tid=20052] ppid=19996 vsize=11077984 memory=15255930832947754 CPUtime=3.48 cores=0,2,4,6
/proc/19999/task/20052/stat : 20052 (java) R 19996 19999 12222 0 -1 4202560 46781 13022 0 0 330 10 5 3 20 0 15 0 107291183 11343855616 77156 33554432000 4194304 4196468 140728833912576 140138679997088 140138692207973 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20053] ppid=19996 vsize=11077984 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/19999/task/20053/stat : 20053 (java) S 19996 19999 12222 0 -1 1077944384 63 13022 0 0 2 0 5 3 20 0 15 0 107291184 11343855616 77156 33554432000 4194304 4196468 140728833912576 140138712406288 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20054] ppid=19996 vsize=11077984 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/19999/task/20054/stat : 20054 (java) S 19996 19999 12222 0 -1 1077944384 24 13022 0 0 2 0 5 3 20 0 15 0 107291184 11343855616 77156 33554432000 4194304 4196468 140728833912576 140138610764176 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20055] ppid=19996 vsize=11077984 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/19999/task/20055/stat : 20055 (java) S 19996 19999 12222 0 -1 1077944384 84 13022 0 0 2 0 5 3 20 0 15 0 107291184 11343855616 77156 33554432000 4194304 4196468 140728833912576 140138246441488 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20056] ppid=19996 vsize=11077984 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/19999/task/20056/stat : 20056 (java) S 19996 19999 12222 0 -1 1077944384 193 13022 0 0 2 0 5 3 20 0 15 0 107291184 11343855616 77156 33554432000 4194304 4196468 140728833912576 140138245388944 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20057] ppid=19996 vsize=11077984 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/19999/task/20057/stat : 20057 (java) S 19996 19999 12222 0 -1 1077944384 1148 13022 0 0 3 0 5 3 20 0 15 0 107291185 11343855616 77156 33554432000 4194304 4196468 140728833912576 140138133821936 140138708175490 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20058] ppid=19996 vsize=11077984 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20058/stat : 20058 (java) S 19996 19999 12222 0 -1 1077944384 13 13022 0 0 0 0 5 3 20 0 15 0 107291186 11343855616 77156 33554432000 4194304 4196468 140728833912576 140137535104480 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20059] ppid=19996 vsize=11077984 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20059/stat : 20059 (java) S 19996 19999 12222 0 -1 1077944384 3 13022 0 0 0 0 5 3 20 0 15 0 107291186 11343855616 77156 33554432000 4194304 4196468 140728833912576 140137333777920 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20060] ppid=19996 vsize=11077984 memory=6944656592455097440 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20060/stat : 20060 (java) S 19996 19999 12222 0 -1 1077944384 3 13022 0 0 0 0 5 3 20 0 15 0 107291189 11343855616 77156 33554432000 4194304 4196468 140728833912576 140137026378448 140138708182939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20061] ppid=19996 vsize=11077984 memory=0 CPUtime=1.08 cores=0,2,4,6
/proc/19999/task/20061/stat : 20061 (java) R 19996 19999 12222 0 -1 4202560 6520 13022 0 0 98 2 5 3 20 0 15 0 107291189 11343855616 77156 33554432000 4194304 4196468 140728833912576 140138132754248 140138693271916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20062] ppid=19996 vsize=11077984 memory=0 CPUtime=0.98 cores=0,2,4,6
/proc/19999/task/20062/stat : 20062 (java) R 19996 19999 12222 0 -1 4202560 5460 13022 0 0 89 1 5 3 20 0 15 0 107291189 11343855616 77156 33554432000 4194304 4196468 140728833912576 140138131697224 140138691661131 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20063] ppid=19996 vsize=11077984 memory=0 CPUtime=1.22 cores=0,2,4,6
/proc/19999/task/20063/stat : 20063 (java) S 19996 19999 12222 0 -1 1077944384 6982 13022 0 0 113 1 5 3 20 0 15 0 107291189 11343855616 77156 33554432000 4194304 4196468 140728833912576 140138130663664 140138708175490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20064] ppid=19996 vsize=11077984 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20064/stat : 20064 (java) S 19996 19999 12222 0 -1 1077944384 3 13022 0 0 0 0 5 3 20 0 15 0 107291189 11343855616 77156 33554432000 4194304 4196468 140728833912576 140136595581536 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20065] ppid=19996 vsize=11077984 memory=281303178478432 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20065/stat : 20065 (java) S 19996 19999 12222 0 -1 1077944384 5 13022 0 0 0 0 5 3 20 0 15 0 107291189 11343855616 77156 33554432000 4194304 4196468 140728833912576 140138129611568 140138708175490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
Current children cumulated CPU time: 6.76 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 308624 KiB
[startup+3.80062 s]
/proc/loadavg: 1.47 1.79 1.89 4/215 20192
/proc/meminfo: memFree=23556420/32770624 swapFree=67108404/67108860
[pid=19999] ppid=19996 vsize=11148368 memory=315920 CPUtime=7.38 cores=0,2,4,6
/proc/19999/stat : 19999 (java) S 19996 19999 12222 0 -1 1077944320 71541 13022 0 0 709 21 5 3 20 0 14 0 107291174 11415928832 78980 33554432000 4194304 4196468 140728833912576 140728833895120 140138708164343 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
/proc/19999/statm: 2787092 78980 3498 1 0 2748745 0
[pid=19999/tid=20052] ppid=19996 vsize=11148368 memory=4206468019014099040 CPUtime=3.62 cores=0,2,4,6
/proc/19999/task/20052/stat : 20052 (java) S 19996 19999 12222 0 -1 1077944384 47199 13022 0 0 344 10 5 3 20 0 14 0 107291183 11415928832 78980 33554432000 4194304 4196468 140728833912576 140138680007824 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20053] ppid=19996 vsize=11148368 memory=-7233780906022716832 CPUtime=0.1 cores=0,2,4,6
/proc/19999/task/20053/stat : 20053 (java) S 19996 19999 12222 0 -1 1077944384 63 13022 0 0 2 0 5 3 20 0 14 0 107291184 11415928832 78980 33554432000 4194304 4196468 140728833912576 140138712406288 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20054] ppid=19996 vsize=11148368 memory=-7533522213388100735 CPUtime=0.1 cores=0,2,4,6
/proc/19999/task/20054/stat : 20054 (java) S 19996 19999 12222 0 -1 1077944384 24 13022 0 0 2 0 5 3 20 0 14 0 107291184 11415928832 78980 33554432000 4194304 4196468 140728833912576 140138610764176 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20055] ppid=19996 vsize=11148368 memory=-6016417068456117044 CPUtime=0.1 cores=0,2,4,6
/proc/19999/task/20055/stat : 20055 (java) S 19996 19999 12222 0 -1 1077944384 84 13022 0 0 2 0 5 3 20 0 14 0 107291184 11415928832 78980 33554432000 4194304 4196468 140728833912576 140138246441488 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20056] ppid=19996 vsize=11148368 memory=7533807675690544519 CPUtime=0.1 cores=0,2,4,6
/proc/19999/task/20056/stat : 20056 (java) S 19996 19999 12222 0 -1 1077944384 193 13022 0 0 2 0 5 3 20 0 14 0 107291184 11415928832 78980 33554432000 4194304 4196468 140728833912576 140138245388944 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20057] ppid=19996 vsize=11148368 memory=8043063289027854099 CPUtime=0.11 cores=0,2,4,6
/proc/19999/task/20057/stat : 20057 (java) S 19996 19999 12222 0 -1 1077944384 1149 13022 0 0 3 0 5 3 20 0 14 0 107291185 11415928832 78980 33554432000 4194304 4196468 140728833912576 140138133822144 140138708175490 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20058] ppid=19996 vsize=11148368 memory=8303054830060986464 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20058/stat : 20058 (java) S 19996 19999 12222 0 -1 1077944384 13 13022 0 0 0 0 5 3 20 0 14 0 107291186 11415928832 78980 33554432000 4194304 4196468 140728833912576 140137535104480 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20059] ppid=19996 vsize=11148368 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20059/stat : 20059 (java) S 19996 19999 12222 0 -1 1077944384 3 13022 0 0 0 0 5 3 20 0 14 0 107291186 11415928832 78980 33554432000 4194304 4196468 140728833912576 140137333777920 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20060] ppid=19996 vsize=11148368 memory=22369 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20060/stat : 20060 (java) S 19996 19999 12222 0 -1 1077944384 6 13022 0 0 0 0 5 3 20 0 14 0 107291189 11415928832 78980 33554432000 4194304 4196468 140728833912576 140137026378096 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20061] ppid=19996 vsize=11148368 memory=0 CPUtime=1.27 cores=0,2,4,6
/proc/19999/task/20061/stat : 20061 (java) S 19996 19999 12222 0 -1 1077944384 7625 13022 0 0 117 2 5 3 20 0 14 0 107291189 11415928832 78980 33554432000 4194304 4196468 140728833912576 140138132753264 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20062] ppid=19996 vsize=11148368 memory=-2746958450906831424 CPUtime=1.18 cores=0,2,4,6
/proc/19999/task/20062/stat : 20062 (java) S 19996 19999 12222 0 -1 1077944384 5752 13022 0 0 109 1 5 3 20 0 14 0 107291189 11415928832 78980 33554432000 4194304 4196468 140728833912576 140138131700720 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20063] ppid=19996 vsize=11148368 memory=6944652177228980320 CPUtime=1.31 cores=0,2,4,6
/proc/19999/task/20063/stat : 20063 (java) S 19996 19999 12222 0 -1 1077944384 7218 13022 0 0 121 2 5 3 20 0 14 0 107291189 11415928832 78980 33554432000 4194304 4196468 140728833912576 140138130663664 140138708175490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
[pid=19999/tid=20064] ppid=19996 vsize=11148368 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19999/task/20064/stat : 20064 (java) S 19996 19999 12222 0 -1 1077944384 3 13022 0 0 0 0 5 3 20 0 14 0 107291189 11415928832 78980 33554432000 4194304 4196468 140728833912576 140136595581536 140138708174549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140728833915497 140728833918305 140728833918305 140728833920975 0
Current children cumulated CPU time: 7.38 s
Current children cumulated vsize: 11148368 KiB
Current children cumulated memory: 315920 KiB
Child status: 0
Real time (s): 3.8236
CPU time (s): 7.3997
CPU user time (s): 7.1448
CPU system time (s): 0.254896
CPU usage (%): 193.527
Max. virtual memory (cumulated for all children) (KiB): 11148368
Max. memory (cumulated for all children) (KiB): 315920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.1448
system time used= 0.254896
maximum resident set size= 317268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84596
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6378
involuntary context switches= 122
# summary of solver processes directly reported to runsolver:
# pid: 19999
# total CPU time (s): 7.3997
# total CPU user time (s): 7.1448
# total CPU system time (s): 0.254896
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.043809 second user time and 0.076615 second system time
The end