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 (4650 MiB free)
memory of node 1: 16384 MiB (741 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304283-1534053139/watcher-4304283-1534053139 -o /tmp/evaluation-result-4304283-1534053139/solver-4304283-1534053139 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534037558-11009 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=968472937 HOME/instance-4304283-1534053139.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=14077, runsolver pid=14074
Current StackSize limit: 8192 KiB
[startup+0.102507 s]*
/proc/loadavg: 1.15 1.32 1.40 2/212 14134
/proc/meminfo: memFree=5512220/32770624 swapFree=67108856/67108860
[pid=14077] ppid=14074 vsize=10005480 memory=16812 CPUtime=0.09 cores=0,2,4,6
/proc/14077/stat : 14077 (java) S 14074 14077 9992 0 -1 1077944320 4349 13145 0 0 1 0 5 3 20 0 6 0 222877043 10245611520 4203 33554432000 4194304 4196468 140725365835360 140725365817904 140474551521015 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
/proc/14077/statm: 2501370 4203 1934 1 0 2489808 0
[pid=14077/tid=14130] ppid=14074 vsize=10005480 memory=4279135703946462605 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14130/stat : 14130 (java) R 14074 14077 9992 0 -1 4202560 2165 13145 0 0 0 0 5 3 20 0 6 0 222877052 10245611520 4203 33554432000 4194304 4196468 140725365835360 140474523357776 140474535601502 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14131] ppid=14074 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14131/stat : 14131 (java) S 14074 14077 9992 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 6 0 222877053 10245611520 4203 33554432000 4194304 4196468 140725365835360 140474555763216 140474551531221 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14132] ppid=14074 vsize=10005480 memory=139707092137600 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14132/stat : 14132 (java) S 14074 14077 9992 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 6 0 222877053 10245611520 4203 33554432000 4194304 4196468 140725365835360 140474426411664 140474551531221 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14133] ppid=14074 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14133/stat : 14133 (java) S 14074 14077 9992 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 6 0 222877053 10245611520 4203 33554432000 4194304 4196468 140725365835360 140474425358608 140474551531221 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14134] ppid=14074 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14134/stat : 14134 (java) S 14074 14077 9992 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 6 0 222877053 10245611520 4203 33554432000 4194304 4196468 140725365835360 140474424306064 140474551531221 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16812 KiB
[startup+0.210091 s]*
/proc/loadavg: 1.15 1.32 1.40 3/221 14143
/proc/meminfo: memFree=5493364/32770624 swapFree=67108856/67108860
[pid=14077] ppid=14074 vsize=10982744 memory=42272 CPUtime=0.25 cores=0,2,4,6
/proc/14077/stat : 14077 (java) S 14074 14077 9992 0 -1 1077944320 7245 13145 0 0 16 1 5 3 20 0 15 0 222877043 11246329856 10568 33554432000 4194304 4196468 140725365835360 140725365817904 140474551521015 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
/proc/14077/statm: 2745686 10568 2951 1 0 2708109 0
[pid=14077/tid=14130] ppid=14074 vsize=10982744 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/14077/task/14130/stat : 14130 (java) R 14074 14077 9992 0 -1 4202560 3810 13145 0 0 10 1 5 3 20 0 15 0 222877052 11246329856 10568 33554432000 4194304 4196468 140725365835360 140474523317936 140474531796167 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14131] ppid=14074 vsize=10982744 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14131/stat : 14131 (java) S 14074 14077 9992 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 222877053 11246329856 10568 33554432000 4194304 4196468 140725365835360 140474555763216 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14132] ppid=14074 vsize=10982744 memory=139707092137600 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14132/stat : 14132 (java) S 14074 14077 9992 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 222877053 11246329856 10568 33554432000 4194304 4196468 140725365835360 140474426411664 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14133] ppid=14074 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14133/stat : 14133 (java) S 14074 14077 9992 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 222877053 11246329856 10568 33554432000 4194304 4196468 140725365835360 140474425358608 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14134] ppid=14074 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14134/stat : 14134 (java) S 14074 14077 9992 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 15 0 222877053 11246329856 10568 33554432000 4194304 4196468 140725365835360 140474424306064 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14135] ppid=14074 vsize=10982744 memory=139707092137600 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14135/stat : 14135 (java) S 14074 14077 9992 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 15 0 222877054 11246329856 10568 33554432000 4194304 4196468 140725365835360 140473976908528 140474551532162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14136] ppid=14074 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14136/stat : 14136 (java) S 14074 14077 9992 0 -1 1077944384 13 13145 0 0 0 0 5 3 20 0 15 0 222877055 11246329856 10568 33554432000 4194304 4196468 140725365835360 140473414968992 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14137] ppid=14074 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14137/stat : 14137 (java) S 14074 14077 9992 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 222877055 11246329856 10568 33554432000 4194304 4196468 140725365835360 140473213641968 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14138] ppid=14074 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14138/stat : 14138 (java) S 14074 14077 9992 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 222877058 11246329856 10568 33554432000 4194304 4196468 140725365835360 140472906242512 140474551539611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14139] ppid=14074 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/14077/task/14139/stat : 14139 (java) S 14074 14077 9992 0 -1 1077944384 367 13145 0 0 1 0 5 3 20 0 15 0 222877058 11246329856 10568 33554432000 4194304 4196468 140725365835360 140473975855344 140474551532162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14140] ppid=14074 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14140/stat : 14140 (java) S 14074 14077 9992 0 -1 1077944384 247 13145 0 0 0 0 5 3 20 0 15 0 222877058 11246329856 10568 33554432000 4194304 4196468 140725365835360 140473974802800 140474551532162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14141] ppid=14074 vsize=10982744 memory=139707092137600 CPUtime=0.11 cores=0,2,4,6
/proc/14077/task/14141/stat : 14141 (java) S 14074 14077 9992 0 -1 1077944384 604 13145 0 0 3 0 5 3 20 0 15 0 222877058 11246329856 10568 33554432000 4194304 4196468 140725365835360 140473973749744 140474551532162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14142] ppid=14074 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14142/stat : 14142 (java) S 14074 14077 9992 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 222877058 11246329856 10568 33554432000 4194304 4196468 140725365835360 140472475445600 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14143] ppid=14074 vsize=10982744 memory=139707092137600 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14143/stat : 14143 (java) S 14074 14077 9992 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 222877058 11246329856 10568 33554432000 4194304 4196468 140725365835360 140473972698160 140474551532162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 42272 KiB
[startup+0.310408 s]*
/proc/loadavg: 1.30 1.35 1.41 3/221 14143
/proc/meminfo: memFree=5480300/32770624 swapFree=67108856/67108860
[pid=14077] ppid=14074 vsize=10983192 memory=55976 CPUtime=0.38 cores=0,2,4,6
/proc/14077/stat : 14077 (java) S 14074 14077 9992 0 -1 1077944320 10557 13145 0 0 28 2 5 3 20 0 15 0 222877043 11246788608 13994 33554432000 4194304 4196468 140725365835360 140725365817904 140474551521015 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
/proc/14077/statm: 2745798 13994 3070 1 0 2708109 0
[pid=14077/tid=14130] ppid=14074 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/14077/task/14130/stat : 14130 (java) R 14074 14077 9992 0 -1 4202560 7115 13145 0 0 19 1 5 3 20 0 15 0 222877052 11246788608 13994 33554432000 4194304 4196468 140725365835360 140474523333024 140474535601502 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14131] ppid=14074 vsize=10983192 memory=7084833269481492816 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14131/stat : 14131 (java) S 14074 14077 9992 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 222877053 11246788608 13994 33554432000 4194304 4196468 140725365835360 140474555763216 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14132] ppid=14074 vsize=10983192 memory=2076 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14132/stat : 14132 (java) S 14074 14077 9992 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 222877053 11246788608 13994 33554432000 4194304 4196468 140725365835360 140474426411664 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14133] ppid=14074 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14133/stat : 14133 (java) S 14074 14077 9992 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 222877053 11246788608 13994 33554432000 4194304 4196468 140725365835360 140474425358608 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14134] ppid=14074 vsize=10983192 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14134/stat : 14134 (java) S 14074 14077 9992 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 15 0 222877053 11246788608 13994 33554432000 4194304 4196468 140725365835360 140474424306064 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14135] ppid=14074 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14135/stat : 14135 (java) S 14074 14077 9992 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 15 0 222877054 11246788608 13994 33554432000 4194304 4196468 140725365835360 140473976908528 140474551532162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14136] ppid=14074 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14136/stat : 14136 (java) S 14074 14077 9992 0 -1 1077944384 13 13145 0 0 0 0 5 3 20 0 15 0 222877055 11246788608 13994 33554432000 4194304 4196468 140725365835360 140473414968992 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14137] ppid=14074 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14137/stat : 14137 (java) S 14074 14077 9992 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 222877055 11246788608 13994 33554432000 4194304 4196468 140725365835360 140473213641968 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14138] ppid=14074 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14138/stat : 14138 (java) S 14074 14077 9992 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 222877058 11246788608 13994 33554432000 4194304 4196468 140725365835360 140472906242512 140474551539611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14139] ppid=14074 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/14077/task/14139/stat : 14139 (java) S 14074 14077 9992 0 -1 1077944384 369 13145 0 0 1 0 5 3 20 0 15 0 222877058 11246788608 13994 33554432000 4194304 4196468 140725365835360 140473975855344 140474551532162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14140] ppid=14074 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/14077/task/14140/stat : 14140 (java) S 14074 14077 9992 0 -1 1077944384 250 13145 0 0 1 0 5 3 20 0 15 0 222877058 11246788608 13994 33554432000 4194304 4196468 140725365835360 140473974802800 140474551532162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14141] ppid=14074 vsize=10983192 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/14077/task/14141/stat : 14141 (java) S 14074 14077 9992 0 -1 1077944384 611 13145 0 0 4 0 5 3 20 0 15 0 222877058 11246788608 13994 33554432000 4194304 4196468 140725365835360 140473973749744 140474551532162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14142] ppid=14074 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14142/stat : 14142 (java) S 14074 14077 9992 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 222877058 11246788608 13994 33554432000 4194304 4196468 140725365835360 140472475445600 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14143] ppid=14074 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14143/stat : 14143 (java) S 14074 14077 9992 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 222877058 11246788608 13994 33554432000 4194304 4196468 140725365835360 140473972698160 140474551532162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55976 KiB
[startup+0.700755 s]
/proc/loadavg: 1.30 1.35 1.41 3/221 14143
/proc/meminfo: memFree=5469632/32770624 swapFree=67108856/67108860
[pid=14077] ppid=14074 vsize=10983192 memory=88332 CPUtime=1 cores=0,2,4,6
/proc/14077/stat : 14077 (java) S 14074 14077 9992 0 -1 1077944320 16711 13145 0 0 88 4 5 3 20 0 15 0 222877043 11246788608 22083 33554432000 4194304 4196468 140725365835360 140725365817904 140474551521015 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
/proc/14077/statm: 2745798 22083 3238 1 0 2708109 0
[pid=14077/tid=14130] ppid=14074 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/14077/task/14130/stat : 14130 (java) R 14074 14077 9992 0 -1 4202560 12203 13145 0 0 56 3 5 3 20 0 15 0 222877052 11246788608 22083 33554432000 4194304 4196468 140725365835360 140474523344016 140474533084575 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14131] ppid=14074 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14131/stat : 14131 (java) S 14074 14077 9992 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 222877053 11246788608 22083 33554432000 4194304 4196468 140725365835360 140474555763216 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14132] ppid=14074 vsize=10983192 memory=3768 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14132/stat : 14132 (java) S 14074 14077 9992 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 222877053 11246788608 22083 33554432000 4194304 4196468 140725365835360 140474426411664 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14133] ppid=14074 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14133/stat : 14133 (java) S 14074 14077 9992 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 222877053 11246788608 22083 33554432000 4194304 4196468 140725365835360 140474425358608 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14134] ppid=14074 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14134/stat : 14134 (java) S 14074 14077 9992 0 -1 1077944384 2 13145 0 0 0 0 5 3 20 0 15 0 222877053 11246788608 22083 33554432000 4194304 4196468 140725365835360 140474424306064 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14135] ppid=14074 vsize=10983192 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14135/stat : 14135 (java) S 14074 14077 9992 0 -1 1077944384 5 13145 0 0 0 0 5 3 20 0 15 0 222877054 11246788608 22083 33554432000 4194304 4196468 140725365835360 140473976908528 140474551532162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14136] ppid=14074 vsize=10983192 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14136/stat : 14136 (java) S 14074 14077 9992 0 -1 1077944384 13 13145 0 0 0 0 5 3 20 0 15 0 222877055 11246788608 22083 33554432000 4194304 4196468 140725365835360 140473414968992 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14137] ppid=14074 vsize=10983192 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14137/stat : 14137 (java) S 14074 14077 9992 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 222877055 11246788608 22083 33554432000 4194304 4196468 140725365835360 140473213641968 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14138] ppid=14074 vsize=10983192 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14138/stat : 14138 (java) S 14074 14077 9992 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 222877058 11246788608 22083 33554432000 4194304 4196468 140725365835360 140472906242512 140474551539611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14139] ppid=14074 vsize=10983192 memory=13252 CPUtime=0.18 cores=0,2,4,6
/proc/14077/task/14139/stat : 14139 (java) S 14074 14077 9992 0 -1 1077944384 954 13145 0 0 10 0 5 3 20 0 15 0 222877058 11246788608 22083 33554432000 4194304 4196468 140725365835360 140473975855344 140474551532162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14140] ppid=14074 vsize=10983192 memory=15460 CPUtime=0.15 cores=0,2,4,6
/proc/14077/task/14140/stat : 14140 (java) S 14074 14077 9992 0 -1 1077944384 651 13145 0 0 7 0 5 3 20 0 15 0 222877058 11246788608 22083 33554432000 4194304 4196468 140725365835360 140473974802800 140474551532162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14141] ppid=14074 vsize=10983192 memory=17668 CPUtime=0.21 cores=0,2,4,6
/proc/14077/task/14141/stat : 14141 (java) S 14074 14077 9992 0 -1 1077944384 683 13145 0 0 13 0 5 3 20 0 15 0 222877058 11246788608 22083 33554432000 4194304 4196468 140725365835360 140473973749744 140474551532162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14142] ppid=14074 vsize=10983192 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14142/stat : 14142 (java) S 14074 14077 9992 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 222877058 11246788608 22083 33554432000 4194304 4196468 140725365835360 140472475445600 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14143] ppid=14074 vsize=10983192 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14143/stat : 14143 (java) S 14074 14077 9992 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 222877058 11246788608 22083 33554432000 4194304 4196468 140725365835360 140473972698160 140474551532162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88332 KiB
[startup+1.50078 s]
/proc/loadavg: 1.30 1.35 1.41 3/221 14143
/proc/meminfo: memFree=5426776/32770624 swapFree=67108856/67108860
[pid=14077] ppid=14074 vsize=10996044 memory=202896 CPUtime=2.81 cores=0,2,4,6
/proc/14077/stat : 14077 (java) S 14074 14077 9992 0 -1 1077944320 25183 13145 0 0 263 10 5 3 20 0 15 0 222877043 11259949056 50724 33554432000 4194304 4196468 140725365835360 140725365817904 140474551521015 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
/proc/14077/statm: 2749011 50724 3477 1 0 2710669 0
[pid=14077/tid=14130] ppid=14074 vsize=10996044 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/14077/task/14130/stat : 14130 (java) R 14074 14077 9992 0 -1 4202560 17006 13145 0 0 128 6 5 3 20 0 15 0 222877052 11259949056 50724 33554432000 4194304 4196468 140725365835360 140474523336064 140474535601502 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14131] ppid=14074 vsize=10996044 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/14077/task/14131/stat : 14131 (java) S 14074 14077 9992 0 -1 1077944384 19 13145 0 0 1 0 5 3 20 0 15 0 222877053 11259949056 50724 33554432000 4194304 4196468 140725365835360 140474555763216 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14132] ppid=14074 vsize=10996044 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/14077/task/14132/stat : 14132 (java) S 14074 14077 9992 0 -1 1077944384 163 13145 0 0 1 0 5 3 20 0 15 0 222877053 11259949056 50724 33554432000 4194304 4196468 140725365835360 140474426411664 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14133] ppid=14074 vsize=10996044 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/14077/task/14133/stat : 14133 (java) S 14074 14077 9992 0 -1 1077944384 27 13145 0 0 1 0 5 3 20 0 15 0 222877053 11259949056 50724 33554432000 4194304 4196468 140725365835360 140474425358608 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14134] ppid=14074 vsize=10996044 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/14077/task/14134/stat : 14134 (java) S 14074 14077 9992 0 -1 1077944384 66 13145 0 0 1 0 5 3 20 0 15 0 222877053 11259949056 50724 33554432000 4194304 4196468 140725365835360 140474424306064 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14135] ppid=14074 vsize=10996044 memory=-7965959130280075168 CPUtime=0.09 cores=0,2,4,6
/proc/14077/task/14135/stat : 14135 (java) S 14074 14077 9992 0 -1 1077944384 64 13145 0 0 1 0 5 3 20 0 15 0 222877054 11259949056 50724 33554432000 4194304 4196468 140725365835360 140473976908528 140474551532162 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14136] ppid=14074 vsize=10996044 memory=279413929355520 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14136/stat : 14136 (java) R 14074 14077 9992 0 -1 4202560 14 13145 0 0 0 0 5 3 20 0 15 0 222877055 11259949056 50724 33554432000 4194304 4196468 140725365835360 140473414968992 140474534663904 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14137] ppid=14074 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14137/stat : 14137 (java) R 14074 14077 9992 0 -1 4202560 1 13145 0 0 0 0 5 3 20 0 15 0 222877055 11259949056 50724 33554432000 4194304 4196468 140725365835360 140473213641968 140474102929464 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14138] ppid=14074 vsize=10996044 memory=11796 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14138/stat : 14138 (java) S 14074 14077 9992 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 222877058 11259949056 50724 33554432000 4194304 4196468 140725365835360 140472906242512 140474551539611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14139] ppid=14074 vsize=10996044 memory=5772 CPUtime=0.52 cores=0,2,4,6
/proc/14077/task/14139/stat : 14139 (java) S 14074 14077 9992 0 -1 1077944384 2273 13145 0 0 44 0 5 3 20 0 15 0 222877058 11259949056 50724 33554432000 4194304 4196468 140725365835360 140473975855344 140474551532162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14140] ppid=14074 vsize=10996044 memory=4616 CPUtime=0.5 cores=0,2,4,6
/proc/14077/task/14140/stat : 14140 (java) S 14074 14077 9992 0 -1 1077944384 1748 13145 0 0 42 0 5 3 20 0 15 0 222877058 11259949056 50724 33554432000 4194304 4196468 140725365835360 140473974802800 140474551532162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14141] ppid=14074 vsize=10996044 memory=1388 CPUtime=0.47 cores=0,2,4,6
/proc/14077/task/14141/stat : 14141 (java) S 14074 14077 9992 0 -1 1077944384 1611 13145 0 0 39 0 5 3 20 0 15 0 222877058 11259949056 50724 33554432000 4194304 4196468 140725365835360 140473973749744 140474551532162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14142] ppid=14074 vsize=10996044 memory=1228 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14142/stat : 14142 (java) S 14074 14077 9992 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 222877058 11259949056 50724 33554432000 4194304 4196468 140725365835360 140472475445600 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14143] ppid=14074 vsize=10996044 memory=880 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14143/stat : 14143 (java) S 14074 14077 9992 0 -1 1077944384 1 13145 0 0 0 0 5 3 20 0 15 0 222877058 11259949056 50724 33554432000 4194304 4196468 140725365835360 140473972698160 140474551532162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 10996044 KiB
################
# More data... #
################
/proc/14077/task/14130/stat : 14130 (java) R 14074 14077 9992 0 -1 4202560 147723 13145 0 0 230200 43 5 3 20 0 15 0 222877052 11278843904 637134 33554432000 4194304 4196468 140725365835360 140474523355872 140474123384811 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14131] ppid=14074 vsize=11014496 memory=2561888 CPUtime=16.92 cores=0,2,4,6
/proc/14077/task/14131/stat : 14131 (java) S 14074 14077 9992 0 -1 1077944384 41018 13145 0 0 1631 53 5 3 20 0 15 0 222877053 11278843904 637134 33554432000 4194304 4196468 140725365835360 140474555763216 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14132] ppid=14074 vsize=11014496 memory=2561888 CPUtime=16.95 cores=0,2,4,6
/proc/14077/task/14132/stat : 14132 (java) S 14074 14077 9992 0 -1 1077944384 46598 13145 0 0 1633 54 5 3 20 0 15 0 222877053 11278843904 637134 33554432000 4194304 4196468 140725365835360 140474426411664 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14133] ppid=14074 vsize=11014496 memory=2561888 CPUtime=16.94 cores=0,2,4,6
/proc/14077/task/14133/stat : 14133 (java) S 14074 14077 9992 0 -1 1077944384 41960 13145 0 0 1633 53 5 3 20 0 15 0 222877053 11278843904 637134 33554432000 4194304 4196468 140725365835360 140474425358608 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14134] ppid=14074 vsize=11014496 memory=2558796 CPUtime=16.98 cores=0,2,4,6
/proc/14077/task/14134/stat : 14134 (java) S 14074 14077 9992 0 -1 1077944384 39907 13145 0 0 1637 53 5 3 20 0 15 0 222877053 11278843904 637134 33554432000 4194304 4196468 140725365835360 140474424306064 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14135] ppid=14074 vsize=11014496 memory=2559824 CPUtime=2.04 cores=0,2,4,6
/proc/14077/task/14135/stat : 14135 (java) S 14074 14077 9992 0 -1 1077944384 26319 13145 0 0 180 16 5 3 20 0 15 0 222877054 11278843904 637134 33554432000 4194304 4196468 140725365835360 140473976908528 140474551532162 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14136] ppid=14074 vsize=11014496 memory=2554692 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14136/stat : 14136 (java) S 14074 14077 9992 0 -1 1077944384 41 13145 0 0 0 0 5 3 20 0 15 0 222877055 11278843904 637134 33554432000 4194304 4196468 140725365835360 140473414969056 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14137] ppid=14074 vsize=11014496 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14137/stat : 14137 (java) S 14074 14077 9992 0 -1 1077944384 27 13145 0 0 0 0 5 3 20 0 15 0 222877055 11278843904 637134 33554432000 4194304 4196468 140725365835360 140473213641984 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14138] ppid=14074 vsize=11014496 memory=2552640 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14138/stat : 14138 (java) S 14074 14077 9992 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 222877058 11278843904 637134 33554432000 4194304 4196468 140725365835360 140472906242512 140474551539611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14139] ppid=14074 vsize=11014496 memory=2549564 CPUtime=12.07 cores=0,2,4,6
/proc/14077/task/14139/stat : 14139 (java) S 14074 14077 9992 0 -1 1077944384 21058 13145 0 0 1194 5 5 3 20 0 15 0 222877058 11278843904 637134 33554432000 4194304 4196468 140725365835360 140473975855344 140474551532162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14140] ppid=14074 vsize=11014496 memory=2549048 CPUtime=11.98 cores=0,2,4,6
/proc/14077/task/14140/stat : 14140 (java) S 14074 14077 9992 0 -1 1077944384 20357 13145 0 0 1185 5 5 3 20 0 15 0 222877058 11278843904 637134 33554432000 4194304 4196468 140725365835360 140473974802800 140474551532162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14141] ppid=14074 vsize=11014496 memory=2548536 CPUtime=4.05 cores=0,2,4,6
/proc/14077/task/14141/stat : 14141 (java) S 14074 14077 9992 0 -1 1077944384 23115 13145 0 0 389 8 5 3 20 0 15 0 222877058 11278843904 637134 33554432000 4194304 4196468 140725365835360 140473973749744 140474551532162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14142] ppid=14074 vsize=11014496 memory=2550588 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14142/stat : 14142 (java) S 14074 14077 9992 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 222877058 11278843904 637134 33554432000 4194304 4196468 140725365835360 140472475445600 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14143] ppid=14074 vsize=11014496 memory=2549048 CPUtime=1.38 cores=0,2,4,6
/proc/14077/task/14143/stat : 14143 (java) S 14074 14077 9992 0 -1 1077944384 2301 13145 0 0 65 65 5 3 20 0 15 0 222877058 11278843904 637134 33554432000 4194304 4196468 140725365835360 140473972698160 140474551532162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
Current children cumulated CPU time: 2401.2 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 2548536 KiB
[startup+2382.3 s]
/proc/loadavg: 1.37 1.55 1.53 3/221 14372
/proc/meminfo: memFree=3298880/32770624 swapFree=67108856/67108860
[pid=14077] ppid=14074 vsize=11014496 memory=2546996 CPUtime=2462.54 cores=0,2,4,6
/proc/14077/stat : 14077 (java) S 14074 14077 9992 0 -1 1077944320 420916 13145 0 0 245903 343 5 3 20 0 15 0 222877043 11278843904 636749 33554432000 4194304 4196468 140725365835360 140725365817904 140474551521015 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
/proc/14077/statm: 2753624 636749 3534 1 0 2715277 0
[pid=14077/tid=14130] ppid=14074 vsize=11014496 memory=2546996 CPUtime=2361.98 cores=0,2,4,6
/proc/14077/task/14130/stat : 14130 (java) R 14074 14077 9992 0 -1 4202560 149390 13145 0 0 236147 43 5 3 20 0 15 0 222877052 11278843904 636749 33554432000 4194304 4196468 140725365835360 140474523356016 140474122385745 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14131] ppid=14074 vsize=11014496 memory=2546996 CPUtime=17.35 cores=0,2,4,6
/proc/14077/task/14131/stat : 14131 (java) S 14074 14077 9992 0 -1 1077944384 42795 13145 0 0 1674 53 5 3 20 0 15 0 222877053 11278843904 636749 33554432000 4194304 4196468 140725365835360 140474555763216 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14132] ppid=14074 vsize=11014496 memory=2546996 CPUtime=17.39 cores=0,2,4,6
/proc/14077/task/14132/stat : 14132 (java) S 14074 14077 9992 0 -1 1077944384 47176 13145 0 0 1677 54 5 3 20 0 15 0 222877053 11278843904 636749 33554432000 4194304 4196468 140725365835360 140474426411664 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14133] ppid=14074 vsize=11014496 memory=2546996 CPUtime=17.39 cores=0,2,4,6
/proc/14077/task/14133/stat : 14133 (java) S 14074 14077 9992 0 -1 1077944384 43438 13145 0 0 1677 54 5 3 20 0 15 0 222877053 11278843904 636749 33554432000 4194304 4196468 140725365835360 140474425358608 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14134] ppid=14074 vsize=11014496 memory=2546996 CPUtime=17.42 cores=0,2,4,6
/proc/14077/task/14134/stat : 14134 (java) S 14074 14077 9992 0 -1 1077944384 41949 13145 0 0 1681 53 5 3 20 0 15 0 222877053 11278843904 636749 33554432000 4194304 4196468 140725365835360 140474424306064 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14135] ppid=14074 vsize=11014496 memory=2546996 CPUtime=2.09 cores=0,2,4,6
/proc/14077/task/14135/stat : 14135 (java) S 14074 14077 9992 0 -1 1077944384 27007 13145 0 0 185 16 5 3 20 0 15 0 222877054 11278843904 636749 33554432000 4194304 4196468 140725365835360 140473976908528 140474551532162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14136] ppid=14074 vsize=11014496 memory=2546996 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14136/stat : 14136 (java) S 14074 14077 9992 0 -1 1077944384 41 13145 0 0 0 0 5 3 20 0 15 0 222877055 11278843904 636749 33554432000 4194304 4196468 140725365835360 140473414969056 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14137] ppid=14074 vsize=11014496 memory=2546996 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14137/stat : 14137 (java) S 14074 14077 9992 0 -1 1077944384 27 13145 0 0 0 0 5 3 20 0 15 0 222877055 11278843904 636749 33554432000 4194304 4196468 140725365835360 140473213641984 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14138] ppid=14074 vsize=11014496 memory=2546996 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14138/stat : 14138 (java) S 14074 14077 9992 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 222877058 11278843904 636749 33554432000 4194304 4196468 140725365835360 140472906242512 140474551539611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14139] ppid=14074 vsize=11014496 memory=2546996 CPUtime=12.08 cores=0,2,4,6
/proc/14077/task/14139/stat : 14139 (java) S 14074 14077 9992 0 -1 1077944384 21070 13145 0 0 1195 5 5 3 20 0 15 0 222877058 11278843904 636749 33554432000 4194304 4196468 140725365835360 140473975855344 140474551532162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14140] ppid=14074 vsize=11014496 memory=2546996 CPUtime=11.98 cores=0,2,4,6
/proc/14077/task/14140/stat : 14140 (java) S 14074 14077 9992 0 -1 1077944384 20363 13145 0 0 1185 5 5 3 20 0 15 0 222877058 11278843904 636749 33554432000 4194304 4196468 140725365835360 140473974802800 140474551532162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14141] ppid=14074 vsize=11014496 memory=1620 CPUtime=4.05 cores=0,2,4,6
/proc/14077/task/14141/stat : 14141 (java) S 14074 14077 9992 0 -1 1077944384 23122 13145 0 0 389 8 5 3 20 0 15 0 222877058 11278843904 636749 33554432000 4194304 4196468 140725365835360 140473973749744 140474551532162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14142] ppid=14074 vsize=11014496 memory=2546996 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14142/stat : 14142 (java) S 14074 14077 9992 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 222877058 11278843904 636749 33554432000 4194304 4196468 140725365835360 140472475445600 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14143] ppid=14074 vsize=11014496 memory=3768 CPUtime=1.42 cores=0,2,4,6
/proc/14077/task/14143/stat : 14143 (java) S 14074 14077 9992 0 -1 1077944384 2343 13145 0 0 67 67 5 3 20 0 15 0 222877058 11278843904 636749 33554432000 4194304 4196468 140725365835360 140473972698160 140474551532162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
Current children cumulated CPU time: 2462.54 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 2546996 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2438.5 s]
/proc/loadavg: 1.34 1.50 1.51 3/221 14373
/proc/meminfo: memFree=3356216/32770624 swapFree=67108856/67108860
[pid=14077] ppid=14074 vsize=11014496 memory=2526468 CPUtime=2520 cores=0,2,4,6
/proc/14077/stat : 14077 (java) S 14074 14077 9992 0 -1 1077944320 429476 13145 0 0 251645 347 5 3 20 0 15 0 222877043 11278843904 631617 33554432000 4194304 4196468 140725365835360 140725365817904 140474551521015 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
/proc/14077/statm: 2753624 631617 3534 1 0 2715277 0
[pid=14077/tid=14130] ppid=14074 vsize=11014496 memory=3768 CPUtime=2417.66 cores=0,2,4,6
/proc/14077/task/14130/stat : 14130 (java) R 14074 14077 9992 0 -1 4202560 151702 13145 0 0 241714 44 5 3 20 0 15 0 222877052 11278843904 631617 33554432000 4194304 4196468 140725365835360 140474523355968 140474124169905 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14131] ppid=14074 vsize=11014496 memory=2526468 CPUtime=17.77 cores=0,2,4,6
/proc/14077/task/14131/stat : 14131 (java) S 14074 14077 9992 0 -1 1077944384 44605 13145 0 0 1715 54 5 3 20 0 15 0 222877053 11278843904 631617 33554432000 4194304 4196468 140725365835360 140474555763216 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14132] ppid=14074 vsize=11014496 memory=2528008 CPUtime=17.82 cores=0,2,4,6
/proc/14077/task/14132/stat : 14132 (java) S 14074 14077 9992 0 -1 1077944384 48670 13145 0 0 1719 55 5 3 20 0 15 0 222877053 11278843904 631617 33554432000 4194304 4196468 140725365835360 140474426411664 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14133] ppid=14074 vsize=11014496 memory=2549044 CPUtime=17.81 cores=0,2,4,6
/proc/14077/task/14133/stat : 14133 (java) S 14074 14077 9992 0 -1 1077944384 43852 13145 0 0 1719 54 5 3 20 0 15 0 222877053 11278843904 631617 33554432000 4194304 4196468 140725365835360 140474425358608 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14134] ppid=14074 vsize=11014496 memory=2546996 CPUtime=17.85 cores=0,2,4,6
/proc/14077/task/14134/stat : 14134 (java) S 14074 14077 9992 0 -1 1077944384 42510 13145 0 0 1724 53 5 3 20 0 15 0 222877053 11278843904 631617 33554432000 4194304 4196468 140725365835360 140474424306064 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14135] ppid=14074 vsize=11014496 memory=2546996 CPUtime=2.15 cores=0,2,4,6
/proc/14077/task/14135/stat : 14135 (java) S 14074 14077 9992 0 -1 1077944384 27412 13145 0 0 190 17 5 3 20 0 15 0 222877054 11278843904 631617 33554432000 4194304 4196468 140725365835360 140473976908528 140474551532162 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14136] ppid=14074 vsize=11014496 memory=2526468 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14136/stat : 14136 (java) S 14074 14077 9992 0 -1 1077944384 41 13145 0 0 0 0 5 3 20 0 15 0 222877055 11278843904 631617 33554432000 4194304 4196468 140725365835360 140473414969056 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14137] ppid=14074 vsize=11014496 memory=3276 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14137/stat : 14137 (java) S 14074 14077 9992 0 -1 1077944384 27 13145 0 0 0 0 5 3 20 0 15 0 222877055 11278843904 631617 33554432000 4194304 4196468 140725365835360 140473213641984 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14138] ppid=14074 vsize=11014496 memory=2526468 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14138/stat : 14138 (java) S 14074 14077 9992 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 222877058 11278843904 631617 33554432000 4194304 4196468 140725365835360 140472906242512 140474551539611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14139] ppid=14074 vsize=11014496 memory=2412 CPUtime=12.08 cores=0,2,4,6
/proc/14077/task/14139/stat : 14139 (java) S 14074 14077 9992 0 -1 1077944384 21075 13145 0 0 1195 5 5 3 20 0 15 0 222877058 11278843904 631617 33554432000 4194304 4196468 140725365835360 140473975855344 140474551532162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14140] ppid=14074 vsize=11014496 memory=5772 CPUtime=11.98 cores=0,2,4,6
/proc/14077/task/14140/stat : 14140 (java) S 14074 14077 9992 0 -1 1077944384 21784 13145 0 0 1185 5 5 3 20 0 15 0 222877058 11278843904 631617 33554432000 4194304 4196468 140725365835360 140473974802800 140474551532162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14141] ppid=14074 vsize=11014496 memory=2526468 CPUtime=4.05 cores=0,2,4,6
/proc/14077/task/14141/stat : 14141 (java) S 14074 14077 9992 0 -1 1077944384 23194 13145 0 0 389 8 5 3 20 0 15 0 222877058 11278843904 631617 33554432000 4194304 4196468 140725365835360 140473973749744 140474551532162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14142] ppid=14074 vsize=11014496 memory=2527496 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14142/stat : 14142 (java) S 14074 14077 9992 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 222877058 11278843904 631617 33554432000 4194304 4196468 140725365835360 140472475445600 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14143] ppid=14074 vsize=11014496 memory=2528008 CPUtime=1.44 cores=0,2,4,6
/proc/14077/task/14143/stat : 14143 (java) S 14074 14077 9992 0 -1 1077944384 2409 13145 0 0 68 68 5 3 20 0 15 0 222877058 11278843904 631617 33554432000 4194304 4196468 140725365835360 140473972698160 140474551532162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 2526468 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2438.54 s]
# the end of solver process 14077 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.53 s, system=3.53683 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2438.5 s]
/proc/loadavg: 1.34 1.50 1.51 3/221 14373
/proc/meminfo: memFree=3356216/32770624 swapFree=67108856/67108860
[pid=14077] ppid=14074 vsize=11014496 memory=2526468 CPUtime=2520 cores=0,2,4,6
/proc/14077/stat : 14077 (java) S 14074 14077 9992 0 -1 1077944320 429476 13145 0 0 251645 347 5 3 20 0 15 0 222877043 11278843904 631617 33554432000 4194304 4196468 140725365835360 140725365817904 140474551521015 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
/proc/14077/statm: 2753624 631617 3534 1 0 2715277 0
[pid=14077/tid=14130] ppid=14074 vsize=11014496 memory=3768 CPUtime=2417.66 cores=0,2,4,6
/proc/14077/task/14130/stat : 14130 (java) R 14074 14077 9992 0 -1 4202560 151702 13145 0 0 241714 44 5 3 20 0 15 0 222877052 11278843904 631617 33554432000 4194304 4196468 140725365835360 140474523355968 140474124169905 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14131] ppid=14074 vsize=11014496 memory=2526468 CPUtime=17.77 cores=0,2,4,6
/proc/14077/task/14131/stat : 14131 (java) S 14074 14077 9992 0 -1 1077944384 44605 13145 0 0 1715 54 5 3 20 0 15 0 222877053 11278843904 631617 33554432000 4194304 4196468 140725365835360 140474555763216 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14132] ppid=14074 vsize=11014496 memory=2528008 CPUtime=17.82 cores=0,2,4,6
/proc/14077/task/14132/stat : 14132 (java) S 14074 14077 9992 0 -1 1077944384 48670 13145 0 0 1719 55 5 3 20 0 15 0 222877053 11278843904 631617 33554432000 4194304 4196468 140725365835360 140474426411664 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14133] ppid=14074 vsize=11014496 memory=2549044 CPUtime=17.81 cores=0,2,4,6
/proc/14077/task/14133/stat : 14133 (java) S 14074 14077 9992 0 -1 1077944384 43852 13145 0 0 1719 54 5 3 20 0 15 0 222877053 11278843904 631617 33554432000 4194304 4196468 140725365835360 140474425358608 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14134] ppid=14074 vsize=11014496 memory=2546996 CPUtime=17.85 cores=0,2,4,6
/proc/14077/task/14134/stat : 14134 (java) S 14074 14077 9992 0 -1 1077944384 42510 13145 0 0 1724 53 5 3 20 0 15 0 222877053 11278843904 631617 33554432000 4194304 4196468 140725365835360 140474424306064 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14135] ppid=14074 vsize=11014496 memory=2546996 CPUtime=2.15 cores=0,2,4,6
/proc/14077/task/14135/stat : 14135 (java) S 14074 14077 9992 0 -1 1077944384 27412 13145 0 0 190 17 5 3 20 0 15 0 222877054 11278843904 631617 33554432000 4194304 4196468 140725365835360 140473976908528 140474551532162 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14136] ppid=14074 vsize=11014496 memory=2526468 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14136/stat : 14136 (java) S 14074 14077 9992 0 -1 1077944384 41 13145 0 0 0 0 5 3 20 0 15 0 222877055 11278843904 631617 33554432000 4194304 4196468 140725365835360 140473414969056 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14137] ppid=14074 vsize=11014496 memory=3276 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14137/stat : 14137 (java) S 14074 14077 9992 0 -1 1077944384 27 13145 0 0 0 0 5 3 20 0 15 0 222877055 11278843904 631617 33554432000 4194304 4196468 140725365835360 140473213641984 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14138] ppid=14074 vsize=11014496 memory=2526468 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14138/stat : 14138 (java) S 14074 14077 9992 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 222877058 11278843904 631617 33554432000 4194304 4196468 140725365835360 140472906242512 140474551539611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14139] ppid=14074 vsize=11014496 memory=2412 CPUtime=12.08 cores=0,2,4,6
/proc/14077/task/14139/stat : 14139 (java) S 14074 14077 9992 0 -1 1077944384 21075 13145 0 0 1195 5 5 3 20 0 15 0 222877058 11278843904 631617 33554432000 4194304 4196468 140725365835360 140473975855344 140474551532162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14140] ppid=14074 vsize=11014496 memory=5772 CPUtime=11.98 cores=0,2,4,6
/proc/14077/task/14140/stat : 14140 (java) S 14074 14077 9992 0 -1 1077944384 21784 13145 0 0 1185 5 5 3 20 0 15 0 222877058 11278843904 631617 33554432000 4194304 4196468 140725365835360 140473974802800 140474551532162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14141] ppid=14074 vsize=11014496 memory=2526468 CPUtime=4.05 cores=0,2,4,6
/proc/14077/task/14141/stat : 14141 (java) S 14074 14077 9992 0 -1 1077944384 23194 13145 0 0 389 8 5 3 20 0 15 0 222877058 11278843904 631617 33554432000 4194304 4196468 140725365835360 140473973749744 140474551532162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14142] ppid=14074 vsize=11014496 memory=2527496 CPUtime=0.08 cores=0,2,4,6
/proc/14077/task/14142/stat : 14142 (java) S 14074 14077 9992 0 -1 1077944384 3 13145 0 0 0 0 5 3 20 0 15 0 222877058 11278843904 631617 33554432000 4194304 4196468 140725365835360 140472475445600 140474551531221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
[pid=14077/tid=14143] ppid=14074 vsize=11014496 memory=2528008 CPUtime=1.44 cores=0,2,4,6
/proc/14077/task/14143/stat : 14143 (java) S 14074 14077 9992 0 -1 1077944384 2409 13145 0 0 68 68 5 3 20 0 15 0 222877058 11278843904 631617 33554432000 4194304 4196468 140725365835360 140473972698160 140474551532162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 15286272 140725365840493 140725365843292 140725365843292 140725365845967 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 2526468 KiB
Child status: 143
Real time (s): 2438.54
CPU time (s): 2520.07
CPU user time (s): 2516.53
CPU system time (s): 3.53683
CPU usage (%): 103.343
Max. virtual memory (cumulated for all children) (KiB): 11014496
Max. memory (cumulated for all children) (KiB): 3037572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.53
system time used= 3.53683
maximum resident set size= 3037572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 447384
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 100926
involuntary context switches= 6062
# summary of solver processes directly reported to runsolver:
# pid: 14077
# total CPU time (s): 2520.07
# total CPU user time (s): 2516.53
# total CPU system time (s): 3.53683
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.3222 second user time and 24.4084 second system time
The end