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 (8192 MiB free)
memory of node 1: 16384 MiB (11809 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302656-1532896899/watcher-4302656-1532896899 -o /tmp/evaluation-result-4302656-1532896899/solver-4302656-1532896899 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532892979-13580 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=40480957 -superng HOME/instance-4302656-1532896899.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=19230, runsolver pid=19227
Current StackSize limit: 8192 KiB
[startup+0.10099 s]*
/proc/loadavg: 2.52 2.05 1.93 6/207 19287
/proc/meminfo: memFree=20444148/32770624 swapFree=67108404/67108860
[pid=19230] ppid=19227 vsize=10005480 memory=18864 CPUtime=0.09 cores=0,2,4,6
/proc/19230/stat : 19230 (java) S 19227 19230 12222 0 -1 1077944320 4360 12877 0 0 1 0 5 3 20 0 6 0 107253219 10245611520 4716 33554432000 4194304 4196468 140724256195024 140724256177568 140101758652151 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
/proc/19230/statm: 2501370 4716 1935 1 0 2489808 0
[pid=19230/tid=19283] ppid=19227 vsize=10005480 memory=4279135703980344719 CPUtime=0.09 cores=0,2,4,6
/proc/19230/task/19283/stat : 19283 (java) R 19227 19230 12222 0 -1 4202560 2180 12877 0 0 1 0 5 3 20 0 6 0 107253228 10245611520 4716 33554432000 4194304 4196468 140724256195024 140101730488912 140101743775088 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19284] ppid=19227 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19284/stat : 19284 (java) S 19227 19230 12222 0 -1 1077944384 1 12877 0 0 0 0 5 3 20 0 6 0 107253229 10245611520 4716 33554432000 4194304 4196468 140724256195024 140101762894224 140101758662357 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19285] ppid=19227 vsize=10005480 memory=140036271437440 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19285/stat : 19285 (java) S 19227 19230 12222 0 -1 1077944384 1 12877 0 0 0 0 5 3 20 0 6 0 107253229 10245611520 4716 33554432000 4194304 4196468 140724256195024 140101633542416 140101758662357 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19286] ppid=19227 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19286/stat : 19286 (java) S 19227 19230 12222 0 -1 1077944384 2 12877 0 0 0 0 5 3 20 0 6 0 107253229 10245611520 4716 33554432000 4194304 4196468 140724256195024 140101297166992 140101758662357 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19287] ppid=19227 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19287/stat : 19287 (java) S 19227 19230 12222 0 -1 1077944384 2 12877 0 0 0 0 5 3 20 0 6 0 107253229 10245611520 4716 33554432000 4194304 4196468 140724256195024 140101296114192 140101758662357 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18864 KiB
[startup+0.209947 s]*
/proc/loadavg: 2.52 2.05 1.93 3/216 19296
/proc/meminfo: memFree=20417164/32770624 swapFree=67108404/67108860
[pid=19230] ppid=19227 vsize=10982744 memory=46336 CPUtime=0.26 cores=0,2,4,6
/proc/19230/stat : 19230 (java) S 19227 19230 12222 0 -1 1077944320 7730 12877 0 0 16 2 5 3 20 0 15 0 107253219 11246329856 11584 33554432000 4194304 4196468 140724256195024 140724256177568 140101758652151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
/proc/19230/statm: 2745686 11584 2983 1 0 2708109 0
[pid=19230/tid=19283] ppid=19227 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/19230/task/19283/stat : 19283 (java) R 19227 19230 12222 0 -1 4202560 4422 12877 0 0 10 1 5 3 20 0 15 0 107253228 11246329856 11716 33554432000 4194304 4196468 140724256195024 140101730449072 140101738927911 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19284] ppid=19227 vsize=10982744 memory=345 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19284/stat : 19284 (java) S 19227 19230 12222 0 -1 1077944384 1 12877 0 0 0 0 5 3 20 0 15 0 107253229 11246329856 11716 33554432000 4194304 4196468 140724256195024 140101762894224 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19285] ppid=19227 vsize=10982744 memory=3691179899860219552 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19285/stat : 19285 (java) S 19227 19230 12222 0 -1 1077944384 1 12877 0 0 0 0 5 3 20 0 15 0 107253229 11246329856 11716 33554432000 4194304 4196468 140724256195024 140101633542416 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19286] ppid=19227 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19286/stat : 19286 (java) S 19227 19230 12222 0 -1 1077944384 2 12877 0 0 0 0 5 3 20 0 15 0 107253229 11246329856 11716 33554432000 4194304 4196468 140724256195024 140101297166992 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19287] ppid=19227 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19287/stat : 19287 (java) S 19227 19230 12222 0 -1 1077944384 2 12877 0 0 0 0 5 3 20 0 15 0 107253229 11246329856 11716 33554432000 4194304 4196468 140724256195024 140101296114192 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19288] ppid=19227 vsize=10982744 memory=140036271437440 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19288/stat : 19288 (java) S 19227 19230 12222 0 -1 1077944384 2 12877 0 0 0 0 5 3 20 0 15 0 107253231 11246329856 11716 33554432000 4194304 4196468 140724256195024 140101251672688 140101758663298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19289] ppid=19227 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19289/stat : 19289 (java) S 19227 19230 12222 0 -1 1077944384 13 12877 0 0 0 0 5 3 20 0 15 0 107253231 11246329856 11716 33554432000 4194304 4196468 140724256195024 140100558120224 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19290] ppid=19227 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19290/stat : 19290 (java) S 19227 19230 12222 0 -1 1077944384 1 12877 0 0 0 0 5 3 20 0 15 0 107253231 11246329856 11716 33554432000 4194304 4196468 140724256195024 140100356793968 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19291] ppid=19227 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19291/stat : 19291 (java) S 19227 19230 12222 0 -1 1077944384 3 12877 0 0 0 0 5 3 20 0 15 0 107253234 11246329856 11716 33554432000 4194304 4196468 140724256195024 140100049394256 140101758670747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19292] ppid=19227 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19292/stat : 19292 (java) S 19227 19230 12222 0 -1 1077944384 543 12877 0 0 0 0 5 3 20 0 15 0 107253234 11246329856 11716 33554432000 4194304 4196468 140724256195024 140101250619504 140101758663298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19293] ppid=19227 vsize=10982744 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/19230/task/19293/stat : 19293 (java) S 19227 19230 12222 0 -1 1077944384 70 12877 0 0 1 0 5 3 20 0 15 0 107253234 11246329856 11716 33554432000 4194304 4196468 140724256195024 140101249566704 140101758663298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19294] ppid=19227 vsize=10982744 memory=140036271437440 CPUtime=0.1 cores=0,2,4,6
/proc/19230/task/19294/stat : 19294 (java) S 19227 19230 12222 0 -1 1077944384 614 12877 0 0 2 0 5 3 20 0 15 0 107253234 11246329856 11716 33554432000 4194304 4196468 140724256195024 140101248514416 140101758663298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19295] ppid=19227 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19295/stat : 19295 (java) S 19227 19230 12222 0 -1 1077944384 3 12877 0 0 0 0 5 3 20 0 15 0 107253234 11246329856 11716 33554432000 4194304 4196468 140724256195024 140099618597344 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19296] ppid=19227 vsize=10982744 memory=140036271437440 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19296/stat : 19296 (java) S 19227 19230 12222 0 -1 1077944384 1 12877 0 0 0 0 5 3 20 0 15 0 107253234 11246329856 11716 33554432000 4194304 4196468 140724256195024 140101247462320 140101758663298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 46336 KiB
[startup+0.310178 s]*
/proc/loadavg: 2.52 2.05 1.93 3/216 19296
/proc/meminfo: memFree=20405628/32770624 swapFree=67108404/67108860
[pid=19230] ppid=19227 vsize=10983192 memory=57564 CPUtime=0.39 cores=0,2,4,6
/proc/19230/stat : 19230 (java) S 19227 19230 12222 0 -1 1077944320 10389 12877 0 0 28 3 5 3 20 0 15 0 107253219 11246788608 14391 33554432000 4194304 4196468 140724256195024 140724256177568 140101758652151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
/proc/19230/statm: 2745798 14391 3102 1 0 2708109 0
[pid=19230/tid=19283] ppid=19227 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/19230/task/19283/stat : 19283 (java) R 19227 19230 12222 0 -1 4202560 6917 12877 0 0 19 2 5 3 20 0 15 0 107253228 11246788608 14391 33554432000 4194304 4196468 140724256195024 140101730464160 140101758674077 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19284] ppid=19227 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19284/stat : 19284 (java) S 19227 19230 12222 0 -1 1077944384 1 12877 0 0 0 0 5 3 20 0 15 0 107253229 11246788608 14391 33554432000 4194304 4196468 140724256195024 140101762894224 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19285] ppid=19227 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19285/stat : 19285 (java) S 19227 19230 12222 0 -1 1077944384 1 12877 0 0 0 0 5 3 20 0 15 0 107253229 11246788608 14391 33554432000 4194304 4196468 140724256195024 140101633542416 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19286] ppid=19227 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19286/stat : 19286 (java) S 19227 19230 12222 0 -1 1077944384 2 12877 0 0 0 0 5 3 20 0 15 0 107253229 11246788608 14391 33554432000 4194304 4196468 140724256195024 140101297166992 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19287] ppid=19227 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19287/stat : 19287 (java) S 19227 19230 12222 0 -1 1077944384 2 12877 0 0 0 0 5 3 20 0 15 0 107253229 11246788608 14391 33554432000 4194304 4196468 140724256195024 140101296114192 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19288] ppid=19227 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19288/stat : 19288 (java) S 19227 19230 12222 0 -1 1077944384 2 12877 0 0 0 0 5 3 20 0 15 0 107253231 11246788608 14391 33554432000 4194304 4196468 140724256195024 140101251672688 140101758663298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19289] ppid=19227 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19289/stat : 19289 (java) S 19227 19230 12222 0 -1 1077944384 13 12877 0 0 0 0 5 3 20 0 15 0 107253231 11246788608 14391 33554432000 4194304 4196468 140724256195024 140100558120224 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19290] ppid=19227 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19290/stat : 19290 (java) S 19227 19230 12222 0 -1 1077944384 1 12877 0 0 0 0 5 3 20 0 15 0 107253231 11246788608 14391 33554432000 4194304 4196468 140724256195024 140100356793968 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19291] ppid=19227 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19291/stat : 19291 (java) S 19227 19230 12222 0 -1 1077944384 3 12877 0 0 0 0 5 3 20 0 15 0 107253234 11246788608 14391 33554432000 4194304 4196468 140724256195024 140100049394256 140101758670747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19292] ppid=19227 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19230/task/19292/stat : 19292 (java) S 19227 19230 12222 0 -1 1077944384 543 12877 0 0 1 0 5 3 20 0 15 0 107253234 11246788608 14391 33554432000 4194304 4196468 140724256195024 140101250619504 140101758663298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19293] ppid=19227 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/19230/task/19293/stat : 19293 (java) S 19227 19230 12222 0 -1 1077944384 71 12877 0 0 1 0 5 3 20 0 15 0 107253234 11246788608 14391 33554432000 4194304 4196468 140724256195024 140101249566704 140101758663298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19294] ppid=19227 vsize=10983192 memory=140036271437440 CPUtime=0.12 cores=0,2,4,6
/proc/19230/task/19294/stat : 19294 (java) S 19227 19230 12222 0 -1 1077944384 634 12877 0 0 4 0 5 3 20 0 15 0 107253234 11246788608 14391 33554432000 4194304 4196468 140724256195024 140101248514416 140101758663298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19295] ppid=19227 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19295/stat : 19295 (java) S 19227 19230 12222 0 -1 1077944384 3 12877 0 0 0 0 5 3 20 0 15 0 107253234 11246788608 14391 33554432000 4194304 4196468 140724256195024 140099618597344 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19296] ppid=19227 vsize=10983192 memory=140036271437440 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19296/stat : 19296 (java) S 19227 19230 12222 0 -1 1077944384 1 12877 0 0 0 0 5 3 20 0 15 0 107253234 11246788608 14391 33554432000 4194304 4196468 140724256195024 140101247462320 140101758663298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 57564 KiB
[startup+0.700704 s]
/proc/loadavg: 2.52 2.05 1.93 3/216 19296
/proc/meminfo: memFree=20393968/32770624 swapFree=67108404/67108860
[pid=19230] ppid=19227 vsize=10983192 memory=90480 CPUtime=0.99 cores=0,2,4,6
/proc/19230/stat : 19230 (java) S 19227 19230 12222 0 -1 1077944320 16725 12877 0 0 86 5 5 3 20 0 15 0 107253219 11246788608 22620 33554432000 4194304 4196468 140724256195024 140724256177568 140101758652151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
/proc/19230/statm: 2745798 22620 3238 1 0 2708109 0
[pid=19230/tid=19283] ppid=19227 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/19230/task/19283/stat : 19283 (java) R 19227 19230 12222 0 -1 4202560 12203 12877 0 0 55 3 5 3 20 0 15 0 107253228 11246788608 22620 33554432000 4194304 4196468 140724256195024 140101730472976 140101741838981 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19284] ppid=19227 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19284/stat : 19284 (java) S 19227 19230 12222 0 -1 1077944384 1 12877 0 0 0 0 5 3 20 0 15 0 107253229 11246788608 22620 33554432000 4194304 4196468 140724256195024 140101762894224 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19285] ppid=19227 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19285/stat : 19285 (java) S 19227 19230 12222 0 -1 1077944384 1 12877 0 0 0 0 5 3 20 0 15 0 107253229 11246788608 22620 33554432000 4194304 4196468 140724256195024 140101633542416 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19286] ppid=19227 vsize=10983192 memory=488 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19286/stat : 19286 (java) S 19227 19230 12222 0 -1 1077944384 2 12877 0 0 0 0 5 3 20 0 15 0 107253229 11246788608 22620 33554432000 4194304 4196468 140724256195024 140101297166992 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19287] ppid=19227 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19287/stat : 19287 (java) S 19227 19230 12222 0 -1 1077944384 2 12877 0 0 0 0 5 3 20 0 15 0 107253229 11246788608 22620 33554432000 4194304 4196468 140724256195024 140101296114192 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19288] ppid=19227 vsize=10983192 memory=7301570131460772950 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19288/stat : 19288 (java) S 19227 19230 12222 0 -1 1077944384 5 12877 0 0 0 0 5 3 20 0 15 0 107253231 11246788608 22620 33554432000 4194304 4196468 140724256195024 140101251672688 140101758663298 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19289] ppid=19227 vsize=10983192 memory=32804 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19289/stat : 19289 (java) S 19227 19230 12222 0 -1 1077944384 13 12877 0 0 0 0 5 3 20 0 15 0 107253231 11246788608 22620 33554432000 4194304 4196468 140724256195024 140100558120224 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19290] ppid=19227 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19290/stat : 19290 (java) S 19227 19230 12222 0 -1 1077944384 1 12877 0 0 0 0 5 3 20 0 15 0 107253231 11246788608 22620 33554432000 4194304 4196468 140724256195024 140100356793968 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19291] ppid=19227 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19291/stat : 19291 (java) S 19227 19230 12222 0 -1 1077944384 3 12877 0 0 0 0 5 3 20 0 15 0 107253234 11246788608 22620 33554432000 4194304 4196468 140724256195024 140100049394256 140101758670747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19292] ppid=19227 vsize=10983192 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/19230/task/19292/stat : 19292 (java) S 19227 19230 12222 0 -1 1077944384 901 12877 0 0 6 0 5 3 20 0 15 0 107253234 11246788608 22620 33554432000 4194304 4196468 140724256195024 140101250619504 140101758663298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19293] ppid=19227 vsize=10983192 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/19230/task/19293/stat : 19293 (java) S 19227 19230 12222 0 -1 1077944384 671 12877 0 0 10 0 5 3 20 0 15 0 107253234 11246788608 22620 33554432000 4194304 4196468 140724256195024 140101249566704 140101758663298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19294] ppid=19227 vsize=10983192 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/19230/task/19294/stat : 19294 (java) S 19227 19230 12222 0 -1 1077944384 722 12877 0 0 12 0 5 3 20 0 15 0 107253234 11246788608 22620 33554432000 4194304 4196468 140724256195024 140101248514416 140101758663298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19295] ppid=19227 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19295/stat : 19295 (java) S 19227 19230 12222 0 -1 1077944384 3 12877 0 0 0 0 5 3 20 0 15 0 107253234 11246788608 22620 33554432000 4194304 4196468 140724256195024 140099618597344 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19296] ppid=19227 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19296/stat : 19296 (java) S 19227 19230 12222 0 -1 1077944384 1 12877 0 0 0 0 5 3 20 0 15 0 107253234 11246788608 22620 33554432000 4194304 4196468 140724256195024 140101247462320 140101758663298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 90480 KiB
[startup+1.50249 s]
/proc/loadavg: 2.52 2.05 1.93 6/216 19296
/proc/meminfo: memFree=20347636/32770624 swapFree=67108404/67108860
[pid=19230] ppid=19227 vsize=10991948 memory=465372 CPUtime=2.71 cores=0,2,4,6
/proc/19230/stat : 19230 (java) S 19227 19230 12222 0 -1 1077944320 22104 12877 0 0 219 44 5 3 20 0 15 0 107253219 11255754752 116343 33554432000 4194304 4196468 140724256195024 140724256177568 140101758652151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
/proc/19230/statm: 2747987 116343 3466 1 0 2709645 0
[pid=19230/tid=19283] ppid=19227 vsize=10991948 memory=4951091520830867572 CPUtime=1.33 cores=0,2,4,6
/proc/19230/task/19283/stat : 19283 (java) R 19227 19230 12222 0 -1 4202560 14692 12877 0 0 115 10 5 3 20 0 15 0 107253228 11255754752 116343 33554432000 4194304 4196468 140724256195024 140101730486976 140101742695781 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19284] ppid=19227 vsize=10991948 memory=4134606225630022328 CPUtime=0.21 cores=0,2,4,6
/proc/19230/task/19284/stat : 19284 (java) S 19227 19230 12222 0 -1 1077944384 505 12877 0 0 6 7 5 3 20 0 15 0 107253229 11255754752 116343 33554432000 4194304 4196468 140724256195024 140101762894224 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19285] ppid=19227 vsize=10991948 memory=-5153075247754915967 CPUtime=0.21 cores=0,2,4,6
/proc/19230/task/19285/stat : 19285 (java) S 19227 19230 12222 0 -1 1077944384 198 12877 0 0 6 7 5 3 20 0 15 0 107253229 11255754752 116343 33554432000 4194304 4196468 140724256195024 140101633542416 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19286] ppid=19227 vsize=10991948 memory=-7737839901667990185 CPUtime=0.2 cores=0,2,4,6
/proc/19230/task/19286/stat : 19286 (java) S 19227 19230 12222 0 -1 1077944384 225 12877 0 0 5 7 5 3 20 0 15 0 107253229 11255754752 116343 33554432000 4194304 4196468 140724256195024 140101297166992 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19287] ppid=19227 vsize=10991948 memory=160468 CPUtime=0.21 cores=0,2,4,6
/proc/19230/task/19287/stat : 19287 (java) S 19227 19230 12222 0 -1 1077944384 259 12877 0 0 5 8 5 3 20 0 15 0 107253229 11255754752 116343 33554432000 4194304 4196468 140724256195024 140101296114192 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19288] ppid=19227 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19288/stat : 19288 (java) S 19227 19230 12222 0 -1 1077944384 96 12877 0 0 0 0 5 3 20 0 15 0 107253231 11255754752 116343 33554432000 4194304 4196468 140724256195024 140101251672688 140101758663298 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19289] ppid=19227 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19289/stat : 19289 (java) S 19227 19230 12222 0 -1 1077944384 14 12877 0 0 0 0 5 3 20 0 15 0 107253231 11255754752 116343 33554432000 4194304 4196468 140724256195024 140100558120224 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19290] ppid=19227 vsize=10991948 memory=280072267301152 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19290/stat : 19290 (java) S 19227 19230 12222 0 -1 1077944384 3 12877 0 0 0 0 5 3 20 0 15 0 107253231 11255754752 116343 33554432000 4194304 4196468 140724256195024 140100356793968 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19291] ppid=19227 vsize=10991948 memory=280072267716096 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19291/stat : 19291 (java) S 19227 19230 12222 0 -1 1077944384 3 12877 0 0 0 0 5 3 20 0 15 0 107253234 11255754752 116343 33554432000 4194304 4196468 140724256195024 140100049394256 140101758670747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19292] ppid=19227 vsize=10991948 memory=140036133660288 CPUtime=0.28 cores=0,2,4,6
/proc/19230/task/19292/stat : 19292 (java) S 19227 19230 12222 0 -1 1077944384 1293 12877 0 0 20 0 5 3 20 0 15 0 107253234 11255754752 116343 33554432000 4194304 4196468 140724256195024 140101250619504 140101758663298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19293] ppid=19227 vsize=10991948 memory=0 CPUtime=0.4 cores=0,2,4,6
/proc/19230/task/19293/stat : 19293 (java) R 19227 19230 12222 0 -1 4202560 1582 12877 0 0 32 0 5 3 20 0 15 0 107253234 11255754752 116343 33554432000 4194304 4196468 140724256195024 140101249557984 140101740176116 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19294] ppid=19227 vsize=10991948 memory=1200 CPUtime=0.33 cores=0,2,4,6
/proc/19230/task/19294/stat : 19294 (java) R 19227 19230 12222 0 -1 1077944384 1035 12877 0 0 25 0 5 3 20 0 15 0 107253234 11255754752 116343 33554432000 4194304 4196468 140724256195024 140101248514416 140101758663298 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19295] ppid=19227 vsize=10991948 memory=15876 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19295/stat : 19295 (java) S 19227 19230 12222 0 -1 1077944384 3 12877 0 0 0 0 5 3 20 0 15 0 107253234 11255754752 116343 33554432000 4194304 4196468 140724256195024 140099618597344 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19296] ppid=19227 vsize=10991948 memory=4044 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19296/stat : 19296 (java) S 19227 19230 12222 0 -1 1077944384 1 12877 0 0 0 0 5 3 20 0 15 0 107253234 11255754752 116343 33554432000 4194304 4196468 140724256195024 140101247462320 140101758663298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 10991948 KiB
################
# More data... #
################
/proc/19230/statm: 2751576 1825420 3511 1 0 2713229 0
[pid=19230/tid=19283] ppid=19227 vsize=11006304 memory=6791534058613427641 CPUtime=100.23 cores=0,2,4,6
/proc/19230/task/19283/stat : 19283 (java) S 19227 19230 12222 0 -1 1077944384 39442 12877 0 0 9988 27 5 3 20 0 15 0 107253228 11270455296 1825420 33554432000 4194304 4196468 140724256195024 140101730481856 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19284] ppid=19227 vsize=11006304 memory=4126316290023845779 CPUtime=36.1 cores=0,2,4,6
/proc/19230/task/19284/stat : 19284 (java) R 19227 19230 12222 0 -1 4202560 11183 12877 0 0 3463 139 5 3 20 0 15 0 107253229 11270455296 1825420 33554432000 4194304 4196468 140724256195024 140101762894424 140101743648222 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19285] ppid=19227 vsize=11006304 memory=3047711553320166262 CPUtime=35.69 cores=0,2,4,6
/proc/19230/task/19285/stat : 19285 (java) R 19227 19230 12222 0 -1 4202560 12822 12877 0 0 3417 144 5 3 20 0 15 0 107253229 11270455296 1825420 33554432000 4194304 4196468 140724256195024 140101633542616 140101743648555 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19286] ppid=19227 vsize=11006304 memory=8514701219730523551 CPUtime=35.59 cores=0,2,4,6
/proc/19230/task/19286/stat : 19286 (java) R 19227 19230 12222 0 -1 4202560 10139 12877 0 0 3401 150 5 3 20 0 15 0 107253229 11270455296 1825420 33554432000 4194304 4196468 140724256195024 140101297166880 140101743352808 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19287] ppid=19227 vsize=11006304 memory=7954882399720467564 CPUtime=35.79 cores=0,2,4,6
/proc/19230/task/19287/stat : 19287 (java) R 19227 19230 12222 0 -1 4202560 11144 12877 0 0 3427 144 5 3 20 0 15 0 107253229 11270455296 1825420 33554432000 4194304 4196468 140724256195024 140101296114392 140101743352769 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19288] ppid=19227 vsize=11006304 memory=7523662774391235921 CPUtime=1.54 cores=0,2,4,6
/proc/19230/task/19288/stat : 19288 (java) S 19227 19230 12222 0 -1 1077944384 46762 12877 0 0 143 3 5 3 20 0 15 0 107253231 11270455296 1825420 33554432000 4194304 4196468 140724256195024 140101251671232 140101758662357 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19289] ppid=19227 vsize=11006304 memory=7595391571586477160 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19289/stat : 19289 (java) S 19227 19230 12222 0 -1 1077944384 26 12877 0 0 0 0 5 3 20 0 15 0 107253231 11270455296 1825420 33554432000 4194304 4196468 140724256195024 140100558120288 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19290] ppid=19227 vsize=11006304 memory=7235710566141946944 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19290/stat : 19290 (java) S 19227 19230 12222 0 -1 1077944384 18 12877 0 0 0 0 5 3 20 0 15 0 107253231 11270455296 1825420 33554432000 4194304 4196468 140724256195024 140100356793984 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19291] ppid=19227 vsize=11006304 memory=7235710566141946944 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19291/stat : 19291 (java) S 19227 19230 12222 0 -1 1077944384 3 12877 0 0 0 0 5 3 20 0 15 0 107253234 11270455296 1825420 33554432000 4194304 4196468 140724256195024 140100049394256 140101758670747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19292] ppid=19227 vsize=11006304 memory=-8813974798734826869 CPUtime=3.18 cores=0,2,4,6
/proc/19230/task/19292/stat : 19292 (java) S 19227 19230 12222 0 -1 1077944384 11713 12877 0 0 308 2 5 3 20 0 15 0 107253234 11270455296 1825420 33554432000 4194304 4196468 140724256195024 140101250619552 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19293] ppid=19227 vsize=11006304 memory=7013635558298313060 CPUtime=3.37 cores=0,2,4,6
/proc/19230/task/19293/stat : 19293 (java) S 19227 19230 12222 0 -1 1077944384 14161 12877 0 0 327 2 5 3 20 0 15 0 107253234 11270455296 1825420 33554432000 4194304 4196468 140724256195024 140101249566464 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19294] ppid=19227 vsize=11006304 memory=7300704889010416232 CPUtime=1.21 cores=0,2,4,6
/proc/19230/task/19294/stat : 19294 (java) S 19227 19230 12222 0 -1 1077944384 6411 12877 0 0 111 2 5 3 20 0 15 0 107253234 11270455296 1825420 33554432000 4194304 4196468 140724256195024 140101248514464 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19295] ppid=19227 vsize=11006304 memory=7523107478184158290 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19295/stat : 19295 (java) S 19227 19230 12222 0 -1 1077944384 3 12877 0 0 0 0 5 3 20 0 15 0 107253234 11270455296 1825420 33554432000 4194304 4196468 140724256195024 140099618597344 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19296] ppid=19227 vsize=11006304 memory=1408 CPUtime=0.15 cores=0,2,4,6
/proc/19230/task/19296/stat : 19296 (java) S 19227 19230 12222 0 -1 1077944384 215 12877 0 0 3 4 5 3 20 0 15 0 107253234 11270455296 1825420 33554432000 4194304 4196468 140724256195024 140101247462320 140101758663298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
Current children cumulated CPU time: 252.25 s
Current children cumulated vsize: 11006304 KiB
Current children cumulated memory: 7301680 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+140.056 s]
# the end of solver process 19230 was just reported to runsolver
# cumulated CPU time of all completed processes: user=253.991 s, system=6.29229 s
Solver just ended.
Dumping a history of the last processes samples
[startup+139.204 s]
/proc/loadavg: 3.21 2.35 2.05 6/216 19426
/proc/meminfo: memFree=15789700/32770624 swapFree=67108404/67108860
[pid=19230] ppid=19227 vsize=11006304 memory=7316496 CPUtime=257 cores=0,2,4,6
/proc/19230/stat : 19230 (java) S 19227 19230 12222 0 -1 1077944320 167192 12877 0 0 25071 621 5 3 20 0 15 0 107253219 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140724256177568 140101758652151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
/proc/19230/statm: 2751576 1829124 3511 1 0 2713229 0
[pid=19230/tid=19283] ppid=19227 vsize=11006304 memory=7316428 CPUtime=100.23 cores=0,2,4,6
/proc/19230/task/19283/stat : 19283 (java) S 19227 19230 12222 0 -1 1077944384 39442 12877 0 0 9988 27 5 3 20 0 15 0 107253228 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140101730481856 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19284] ppid=19227 vsize=11006304 memory=4872558044660077418 CPUtime=37.3 cores=0,2,4,6
/proc/19230/task/19284/stat : 19284 (java) R 19227 19230 12222 0 -1 4202560 11486 12877 0 0 3583 139 5 3 20 0 15 0 107253229 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140101762894424 140101751280359 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19285] ppid=19227 vsize=11006304 memory=30588 CPUtime=36.86 cores=0,2,4,6
/proc/19230/task/19285/stat : 19285 (java) R 19227 19230 12222 0 -1 4202560 12822 12877 0 0 3534 144 5 3 20 0 15 0 107253229 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140101633542536 140101751280359 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19286] ppid=19227 vsize=11006304 memory=2396 CPUtime=36.79 cores=0,2,4,6
/proc/19230/task/19286/stat : 19286 (java) R 19227 19230 12222 0 -1 4202560 10562 12877 0 0 3520 151 5 3 20 0 15 0 107253229 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140101297166880 140101751280359 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19287] ppid=19227 vsize=11006304 memory=1300 CPUtime=36.98 cores=0,2,4,6
/proc/19230/task/19287/stat : 19287 (java) R 19227 19230 12222 0 -1 4202560 11367 12877 0 0 3546 144 5 3 20 0 15 0 107253229 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140101296114392 140101743352826 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19288] ppid=19227 vsize=11006304 memory=1840 CPUtime=1.54 cores=0,2,4,6
/proc/19230/task/19288/stat : 19288 (java) S 19227 19230 12222 0 -1 1077944384 46762 12877 0 0 143 3 5 3 20 0 15 0 107253231 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140101251671232 140101758662357 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19289] ppid=19227 vsize=11006304 memory=1716 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19289/stat : 19289 (java) S 19227 19230 12222 0 -1 1077944384 26 12877 0 0 0 0 5 3 20 0 15 0 107253231 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140100558120288 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19290] ppid=19227 vsize=11006304 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19290/stat : 19290 (java) S 19227 19230 12222 0 -1 1077944384 18 12877 0 0 0 0 5 3 20 0 15 0 107253231 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140100356793984 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19291] ppid=19227 vsize=11006304 memory=165725608122040 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19291/stat : 19291 (java) S 19227 19230 12222 0 -1 1077944384 6 12877 0 0 0 0 5 3 20 0 15 0 107253234 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140100049393904 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19292] ppid=19227 vsize=11006304 memory=6791534058613427641 CPUtime=3.18 cores=0,2,4,6
/proc/19230/task/19292/stat : 19292 (java) S 19227 19230 12222 0 -1 1077944384 11713 12877 0 0 308 2 5 3 20 0 15 0 107253234 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140101250619552 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19293] ppid=19227 vsize=11006304 memory=1952 CPUtime=3.37 cores=0,2,4,6
/proc/19230/task/19293/stat : 19293 (java) S 19227 19230 12222 0 -1 1077944384 14161 12877 0 0 327 2 5 3 20 0 15 0 107253234 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140101249566464 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19294] ppid=19227 vsize=11006304 memory=8572 CPUtime=1.21 cores=0,2,4,6
/proc/19230/task/19294/stat : 19294 (java) S 19227 19230 12222 0 -1 1077944384 6411 12877 0 0 111 2 5 3 20 0 15 0 107253234 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140101248514464 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19295] ppid=19227 vsize=11006304 memory=1228 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19295/stat : 19295 (java) S 19227 19230 12222 0 -1 1077944384 3 12877 0 0 0 0 5 3 20 0 15 0 107253234 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140099618597344 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19296] ppid=19227 vsize=11006304 memory=5372 CPUtime=0.15 cores=0,2,4,6
/proc/19230/task/19296/stat : 19296 (java) S 19227 19230 12222 0 -1 1077944384 215 12877 0 0 3 4 5 3 20 0 15 0 107253234 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140101247462320 140101758663298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
Current children cumulated CPU time: 257 s
Current children cumulated vsize: 11006304 KiB
Current children cumulated memory: 7316496 KiB
[startup+139.601 s]
/proc/loadavg: 3.21 2.35 2.05 6/216 19426
/proc/meminfo: memFree=15789700/32770624 swapFree=67108404/67108860
[pid=19230] ppid=19227 vsize=11006304 memory=7316496 CPUtime=258.58 cores=0,2,4,6
/proc/19230/stat : 19230 (java) S 19227 19230 12222 0 -1 1077944320 167192 12877 0 0 25228 622 5 3 20 0 15 0 107253219 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140724256177568 140101758652151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
/proc/19230/statm: 2751576 1829124 3511 1 0 2713229 0
[pid=19230/tid=19283] ppid=19227 vsize=11006304 memory=4872558044660077418 CPUtime=100.23 cores=0,2,4,6
/proc/19230/task/19283/stat : 19283 (java) S 19227 19230 12222 0 -1 1077944384 39442 12877 0 0 9988 27 5 3 20 0 15 0 107253228 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140101730481856 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19284] ppid=19227 vsize=11006304 memory=7047596 CPUtime=37.69 cores=0,2,4,6
/proc/19230/task/19284/stat : 19284 (java) R 19227 19230 12222 0 -1 4202560 11486 12877 0 0 3622 139 5 3 20 0 15 0 107253229 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140101762894032 140101751280359 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19285] ppid=19227 vsize=11006304 memory=796 CPUtime=37.25 cores=0,2,4,6
/proc/19230/task/19285/stat : 19285 (java) R 19227 19230 12222 0 -1 4202560 12822 12877 0 0 3573 144 5 3 20 0 15 0 107253229 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140101633542536 140101751280359 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19286] ppid=19227 vsize=11006304 memory=11008 CPUtime=37.18 cores=0,2,4,6
/proc/19230/task/19286/stat : 19286 (java) R 19227 19230 12222 0 -1 4202560 10562 12877 0 0 3559 151 5 3 20 0 15 0 107253229 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140101297166800 140101740261817 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19287] ppid=19227 vsize=11006304 memory=1008 CPUtime=37.38 cores=0,2,4,6
/proc/19230/task/19287/stat : 19287 (java) R 19227 19230 12222 0 -1 4202560 11367 12877 0 0 3586 144 5 3 20 0 15 0 107253229 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140101296114312 140101743352828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19288] ppid=19227 vsize=11006304 memory=1952 CPUtime=1.54 cores=0,2,4,6
/proc/19230/task/19288/stat : 19288 (java) S 19227 19230 12222 0 -1 1077944384 46762 12877 0 0 143 3 5 3 20 0 15 0 107253231 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140101251671232 140101758662357 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19289] ppid=19227 vsize=11006304 memory=8572 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19289/stat : 19289 (java) S 19227 19230 12222 0 -1 1077944384 26 12877 0 0 0 0 5 3 20 0 15 0 107253231 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140100558120288 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19290] ppid=19227 vsize=11006304 memory=1228 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19290/stat : 19290 (java) S 19227 19230 12222 0 -1 1077944384 18 12877 0 0 0 0 5 3 20 0 15 0 107253231 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140100356793984 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19291] ppid=19227 vsize=11006304 memory=5372 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19291/stat : 19291 (java) S 19227 19230 12222 0 -1 1077944384 6 12877 0 0 0 0 5 3 20 0 15 0 107253234 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140100049393904 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19292] ppid=19227 vsize=11006304 memory=1440 CPUtime=3.18 cores=0,2,4,6
/proc/19230/task/19292/stat : 19292 (java) S 19227 19230 12222 0 -1 1077944384 11713 12877 0 0 308 2 5 3 20 0 15 0 107253234 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140101250619552 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19293] ppid=19227 vsize=11006304 memory=4612 CPUtime=3.37 cores=0,2,4,6
/proc/19230/task/19293/stat : 19293 (java) S 19227 19230 12222 0 -1 1077944384 14161 12877 0 0 327 2 5 3 20 0 15 0 107253234 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140101249566464 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19294] ppid=19227 vsize=11006304 memory=1200 CPUtime=1.21 cores=0,2,4,6
/proc/19230/task/19294/stat : 19294 (java) S 19227 19230 12222 0 -1 1077944384 6411 12877 0 0 111 2 5 3 20 0 15 0 107253234 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140101248514464 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19295] ppid=19227 vsize=11006304 memory=15876 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19295/stat : 19295 (java) S 19227 19230 12222 0 -1 1077944384 3 12877 0 0 0 0 5 3 20 0 15 0 107253234 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140099618597344 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19296] ppid=19227 vsize=11006304 memory=4044 CPUtime=0.15 cores=0,2,4,6
/proc/19230/task/19296/stat : 19296 (java) S 19227 19230 12222 0 -1 1077944384 215 12877 0 0 3 4 5 3 20 0 15 0 107253234 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140101247462320 140101758663298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
Current children cumulated CPU time: 258.58 s
Current children cumulated vsize: 11006304 KiB
Current children cumulated memory: 7316496 KiB
[startup+140.001 s]*
/proc/loadavg: 3.21 2.35 2.05 6/216 19426
/proc/meminfo: memFree=15785232/32770624 swapFree=67108404/67108860
[pid=19230] ppid=19227 vsize=11006304 memory=7316496 CPUtime=260.2 cores=0,2,4,6
/proc/19230/stat : 19230 (java) S 19227 19230 12222 0 -1 1077944320 167192 12877 0 0 25390 622 5 3 20 0 15 0 107253219 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140724256177568 140101758652151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
/proc/19230/statm: 2751576 1829124 3511 1 0 2713229 0
[pid=19230/tid=19283] ppid=19227 vsize=11006304 memory=6791534058613427641 CPUtime=100.23 cores=0,2,4,6
/proc/19230/task/19283/stat : 19283 (java) S 19227 19230 12222 0 -1 1077944384 39442 12877 0 0 9988 27 5 3 20 0 15 0 107253228 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140101730481856 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19284] ppid=19227 vsize=11006304 memory=4126316290023845779 CPUtime=38.09 cores=0,2,4,6
/proc/19230/task/19284/stat : 19284 (java) S 19227 19230 12222 0 -1 1077944384 11486 12877 0 0 3662 139 5 3 20 0 15 0 107253229 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140101762894032 140101758663298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19285] ppid=19227 vsize=11006304 memory=1300 CPUtime=37.64 cores=0,2,4,6
/proc/19230/task/19285/stat : 19285 (java) R 19227 19230 12222 0 -1 4202560 12822 12877 0 0 3612 144 5 3 20 0 15 0 107253229 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140101633542536 140101743641815 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19286] ppid=19227 vsize=11006304 memory=1840 CPUtime=37.59 cores=0,2,4,6
/proc/19230/task/19286/stat : 19286 (java) R 19227 19230 12222 0 -1 4202560 10562 12877 0 0 3600 151 5 3 20 0 15 0 107253229 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140101297167112 140101751280359 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19287] ppid=19227 vsize=11006304 memory=1716 CPUtime=37.79 cores=0,2,4,6
/proc/19230/task/19287/stat : 19287 (java) R 19227 19230 12222 0 -1 4202560 11367 12877 0 0 3627 144 5 3 20 0 15 0 107253229 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140101296114312 140101751280359 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19288] ppid=19227 vsize=11006304 memory=796 CPUtime=1.54 cores=0,2,4,6
/proc/19230/task/19288/stat : 19288 (java) S 19227 19230 12222 0 -1 1077944384 46762 12877 0 0 143 3 5 3 20 0 15 0 107253231 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140101251671232 140101758662357 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19289] ppid=19227 vsize=11006304 memory=11008 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19289/stat : 19289 (java) S 19227 19230 12222 0 -1 1077944384 26 12877 0 0 0 0 5 3 20 0 15 0 107253231 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140100558120288 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19290] ppid=19227 vsize=11006304 memory=1008 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19290/stat : 19290 (java) S 19227 19230 12222 0 -1 1077944384 18 12877 0 0 0 0 5 3 20 0 15 0 107253231 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140100356793984 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19291] ppid=19227 vsize=11006304 memory=1952 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19291/stat : 19291 (java) S 19227 19230 12222 0 -1 1077944384 6 12877 0 0 0 0 5 3 20 0 15 0 107253234 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140100049393904 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19292] ppid=19227 vsize=11006304 memory=8572 CPUtime=3.18 cores=0,2,4,6
/proc/19230/task/19292/stat : 19292 (java) S 19227 19230 12222 0 -1 1077944384 11713 12877 0 0 308 2 5 3 20 0 15 0 107253234 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140101250619552 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19293] ppid=19227 vsize=11006304 memory=1228 CPUtime=3.37 cores=0,2,4,6
/proc/19230/task/19293/stat : 19293 (java) S 19227 19230 12222 0 -1 1077944384 14161 12877 0 0 327 2 5 3 20 0 15 0 107253234 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140101249566464 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19294] ppid=19227 vsize=11006304 memory=5372 CPUtime=1.21 cores=0,2,4,6
/proc/19230/task/19294/stat : 19294 (java) S 19227 19230 12222 0 -1 1077944384 6411 12877 0 0 111 2 5 3 20 0 15 0 107253234 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140101248514464 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19295] ppid=19227 vsize=11006304 memory=1440 CPUtime=0.08 cores=0,2,4,6
/proc/19230/task/19295/stat : 19295 (java) S 19227 19230 12222 0 -1 1077944384 3 12877 0 0 0 0 5 3 20 0 15 0 107253234 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140099618597344 140101758662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
[pid=19230/tid=19296] ppid=19227 vsize=11006304 memory=4612 CPUtime=0.15 cores=0,2,4,6
/proc/19230/task/19296/stat : 19296 (java) S 19227 19230 12222 0 -1 1077944384 215 12877 0 0 3 4 5 3 20 0 15 0 107253234 11270455296 1829124 33554432000 4194304 4196468 140724256195024 140101247462320 140101758663298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140724256201322 140724256204129 140724256204129 140724256206799 0
Current children cumulated CPU time: 260.2 s
Current children cumulated vsize: 11006304 KiB
Current children cumulated memory: 7316496 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 140.056
CPU time (s): 260.283
CPU user time (s): 253.991
CPU system time (s): 6.29229
CPU usage (%): 185.843
Max. virtual memory (cumulated for all children) (KiB): 11006304
Max. memory (cumulated for all children) (KiB): 7316496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 253.991
system time used= 6.29229
maximum resident set size= 7316676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180071
page faults= 0
swaps= 0
block input operations= 0
block output operations= 328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11184
involuntary context switches= 2056
# summary of solver processes directly reported to runsolver:
# pid: 19230
# total CPU time (s): 260.283
# total CPU user time (s): 253.991
# total CPU system time (s): 6.29229
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.775434 second user time and 1.45287 second system time
The end