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 (13730 MiB free)
memory of node 1: 16384 MiB (14185 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392864-1568357620/watcher-4392864-1568357620 -o /tmp/evaluation-result-4392864-1568357620/solver-4392864-1568357620 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568357582-4057 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 2065875199 HOME/instance-4392864-1568357620.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
Current StackSize limit: 8192 KiB
solver pid=4071, runsolver pid=4068
[startup+0.100134 s]*
/proc/loadavg: 2.00 2.02 2.05 3/207 4087
/proc/meminfo: memFree=28567824/32770624 swapFree=67004752/67108860
[pid=4071] ppid=4068 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4071/stat : 4071 (xcsp3-exec) S 4068 4071 2914 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 412029825 115843072 363 33554432000 4194304 5098028 140728833214976 140728833213080 139679734235772 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17559552 140728833221498 140728833221741 140728833221741 140728833224650 0
/proc/4071/statm: 28282 363 304 221 0 87 0
[pid=4073] ppid=4071 vsize=15144768 memory=30056 CPUtime=0.12 cores=0,2,4,6
/proc/4073/stat : 4073 (java) S 4071 4071 2914 0 -1 1077944320 5476 0 0 0 11 1 0 0 20 0 15 0 412029826 15508242432 7514 33554432000 4194304 4196468 140731817095088 140731817077632 140576063164151 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
/proc/4073/statm: 3786192 7514 3117 1 0 3748377 0
[pid=4073/tid=4074] ppid=4071 vsize=15144768 memory=-7024592270288534718 CPUtime=0.08 cores=0,2,4,6
/proc/4073/task/4074/stat : 4074 (java) R 4071 4071 2914 0 -1 4202560 3399 0 0 0 8 0 0 0 20 0 15 0 412029826 15508242432 7514 33554432000 4194304 4196468 140731817095088 140576067395472 140576063176086 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4075] ppid=4071 vsize=15144768 memory=-5738297875903123798 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4075/stat : 4075 (java) S 4071 4071 2914 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 412029827 15508242432 7514 33554432000 4194304 4196468 140731817095088 140576026270736 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4076] ppid=4071 vsize=15144768 memory=140479277618816 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4076/stat : 4076 (java) S 4071 4071 2914 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 412029827 15508242432 7514 33554432000 4194304 4196468 140731817095088 140575654206608 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4077] ppid=4071 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4077/stat : 4077 (java) S 4071 4071 2914 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 412029827 15508242432 7514 33554432000 4194304 4196468 140731817095088 140575653153552 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4078] ppid=4071 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4078/stat : 4078 (java) S 4071 4071 2914 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 412029827 15508242432 7514 33554432000 4194304 4196468 140731817095088 140575652101008 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4079] ppid=4071 vsize=15144768 memory=140479277618816 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4079/stat : 4079 (java) S 4071 4071 2914 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 412029828 15508242432 7514 33554432000 4194304 4196468 140731817095088 140575531534576 140576063175298 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4080] ppid=4071 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4080/stat : 4080 (java) S 4071 4071 2914 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 412029829 15508242432 7514 33554432000 4194304 4196468 140731817095088 140575530480800 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4081] ppid=4071 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4081/stat : 4081 (java) S 4071 4071 2914 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 412029829 15508242432 7514 33554432000 4194304 4196468 140731817095088 140575529427696 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4082] ppid=4071 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4082/stat : 4082 (java) S 4071 4071 2914 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 412029831 15508242432 7514 33554432000 4194304 4196468 140731817095088 140575528376272 140576063182747 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4083] ppid=4071 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4083/stat : 4083 (java) R 4071 4071 2914 0 -1 4202560 302 0 0 0 0 0 0 0 20 0 15 0 412029831 15508242432 7514 33554432000 4194304 4196468 140731817095088 140575527324400 140576063176086 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4084] ppid=4071 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4084/stat : 4084 (java) R 4071 4071 2914 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 412029831 15508242432 7514 33554432000 4194304 4196468 140731817095088 140575526271856 140576063175298 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4085] ppid=4071 vsize=15144768 memory=140479277618816 CPUtime=0.02 cores=0,2,4,6
/proc/4073/task/4085/stat : 4085 (java) R 4071 4071 2914 0 -1 4202560 351 0 0 0 2 0 0 0 20 0 15 0 412029831 15508242432 7514 33554432000 4194304 4196468 140731817095088 140575525218800 140576042105830 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4086] ppid=4071 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4086/stat : 4086 (java) S 4071 4071 2914 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 412029831 15508242432 7514 33554432000 4194304 4196468 140731817095088 140575524166496 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4087] ppid=4071 vsize=15144768 memory=140479277618816 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4087/stat : 4087 (java) S 4071 4071 2914 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 412029832 15508242432 7514 33554432000 4194304 4196468 140731817095088 140575523113520 140576063175298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31508 KiB
[startup+0.211544 s]*
/proc/loadavg: 2.00 2.02 2.05 3/207 4087
/proc/meminfo: memFree=28555564/32770624 swapFree=67004752/67108860
[pid=4071] ppid=4068 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4071/stat : 4071 (xcsp3-exec) S 4068 4071 2914 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 412029825 115843072 363 33554432000 4194304 5098028 140728833214976 140728833213080 139679734235772 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17559552 140728833221498 140728833221741 140728833221741 140728833224650 0
/proc/4071/statm: 28282 363 304 221 0 87 0
[pid=4073] ppid=4071 vsize=15144768 memory=40460 CPUtime=0.34 cores=0,2,4,6
/proc/4073/stat : 4073 (java) S 4071 4071 2914 0 -1 1077944320 8851 0 0 0 31 3 0 0 20 0 15 0 412029826 15508242432 10115 33554432000 4194304 4196468 140731817095088 140731817077632 140576063164151 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
/proc/4073/statm: 3786192 10115 3260 1 0 3748377 0
[pid=4073/tid=4074] ppid=4071 vsize=15144768 memory=8390339637985935414 CPUtime=0.2 cores=0,2,4,6
/proc/4073/task/4074/stat : 4074 (java) R 4071 4071 2914 0 -1 4202560 6161 0 0 0 18 2 0 0 20 0 15 0 412029826 15508242432 10115 33554432000 4194304 4196468 140731817095088 140576067395392 140576055453623 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4075] ppid=4071 vsize=15144768 memory=288230591823085591 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4075/stat : 4075 (java) S 4071 4071 2914 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 412029827 15508242432 10115 33554432000 4194304 4196468 140731817095088 140576026270736 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4076] ppid=4071 vsize=15144768 memory=14270514616129176 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4076/stat : 4076 (java) S 4071 4071 2914 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 412029827 15508242432 10115 33554432000 4194304 4196468 140731817095088 140575654206608 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4077] ppid=4071 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4077/stat : 4077 (java) S 4071 4071 2914 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 412029827 15508242432 10115 33554432000 4194304 4196468 140731817095088 140575653153552 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4078] ppid=4071 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4078/stat : 4078 (java) S 4071 4071 2914 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 412029827 15508242432 10115 33554432000 4194304 4196468 140731817095088 140575652101008 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4079] ppid=4071 vsize=15144768 memory=140479277618816 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4079/stat : 4079 (java) S 4071 4071 2914 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 412029828 15508242432 10115 33554432000 4194304 4196468 140731817095088 140575531534576 140576063175298 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4080] ppid=4071 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4080/stat : 4080 (java) S 4071 4071 2914 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 412029829 15508242432 10115 33554432000 4194304 4196468 140731817095088 140575530480800 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4081] ppid=4071 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4081/stat : 4081 (java) S 4071 4071 2914 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 412029829 15508242432 10115 33554432000 4194304 4196468 140731817095088 140575529427696 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4082] ppid=4071 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4082/stat : 4082 (java) S 4071 4071 2914 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 412029831 15508242432 10115 33554432000 4194304 4196468 140731817095088 140575528376272 140576063182747 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4083] ppid=4071 vsize=15144768 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4073/task/4083/stat : 4083 (java) R 4071 4071 2914 0 -1 1077944384 378 0 0 0 1 0 0 0 20 0 15 0 412029831 15508242432 10115 33554432000 4194304 4196468 140731817095088 140575527324400 140576063175298 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4084] ppid=4071 vsize=15144768 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/4073/task/4084/stat : 4084 (java) S 4071 4071 2914 0 -1 1077944384 240 0 0 0 3 0 0 0 20 0 15 0 412029831 15508242432 10115 33554432000 4194304 4196468 140731817095088 140575526271856 140576063175298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4085] ppid=4071 vsize=15144768 memory=140479277618816 CPUtime=0.08 cores=0,2,4,6
/proc/4073/task/4085/stat : 4085 (java) R 4071 4071 2914 0 -1 4202560 768 0 0 0 8 0 0 0 20 0 15 0 412029831 15508242432 10115 33554432000 4194304 4196468 140731817095088 140575525218608 140576041712235 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4086] ppid=4071 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4086/stat : 4086 (java) S 4071 4071 2914 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 412029831 15508242432 10115 33554432000 4194304 4196468 140731817095088 140575524166496 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4087] ppid=4071 vsize=15144768 memory=140479277618816 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4087/stat : 4087 (java) S 4071 4071 2914 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 412029832 15508242432 10115 33554432000 4194304 4196468 140731817095088 140575523113520 140576063175298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41912 KiB
[startup+0.311468 s]*
/proc/loadavg: 2.00 2.02 2.05 4/207 4087
/proc/meminfo: memFree=28550472/32770624 swapFree=67004752/67108860
[pid=4071] ppid=4068 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4071/stat : 4071 (xcsp3-exec) S 4068 4071 2914 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 412029825 115843072 363 33554432000 4194304 5098028 140728833214976 140728833213080 139679734235772 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17559552 140728833221498 140728833221741 140728833221741 140728833224650 0
/proc/4071/statm: 28282 363 304 221 0 87 0
[pid=4073] ppid=4071 vsize=15149024 memory=49324 CPUtime=0.52 cores=0,2,4,6
/proc/4073/stat : 4073 (java) S 4071 4071 2914 0 -1 1077944320 10139 0 0 0 48 4 0 0 20 0 15 0 412029826 15512600576 12331 33554432000 4194304 4196468 140731817095088 140731817077632 140576063164151 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
/proc/4073/statm: 3787256 12331 3368 1 0 3748377 0
[pid=4073/tid=4074] ppid=4071 vsize=15149024 memory=1398722017469774279 CPUtime=0.28 cores=0,2,4,6
/proc/4073/task/4074/stat : 4074 (java) R 4071 4071 2914 0 -1 4202560 7168 0 0 0 26 2 0 0 20 0 15 0 412029826 15512600576 12331 33554432000 4194304 4196468 140731817095088 140576067398128 140576063186077 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4075] ppid=4071 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4075/stat : 4075 (java) S 4071 4071 2914 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 412029827 15512600576 12331 33554432000 4194304 4196468 140731817095088 140576026270736 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4076] ppid=4071 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4076/stat : 4076 (java) S 4071 4071 2914 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 412029827 15512600576 12331 33554432000 4194304 4196468 140731817095088 140575654206608 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4077] ppid=4071 vsize=15149024 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4077/stat : 4077 (java) S 4071 4071 2914 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 412029827 15512600576 12331 33554432000 4194304 4196468 140731817095088 140575653153552 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4078] ppid=4071 vsize=15149024 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4078/stat : 4078 (java) S 4071 4071 2914 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 412029827 15512600576 12331 33554432000 4194304 4196468 140731817095088 140575652101008 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4079] ppid=4071 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4079/stat : 4079 (java) S 4071 4071 2914 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 412029828 15512600576 12331 33554432000 4194304 4196468 140731817095088 140575531534576 140576063175298 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4080] ppid=4071 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4080/stat : 4080 (java) S 4071 4071 2914 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 412029829 15512600576 12331 33554432000 4194304 4196468 140731817095088 140575530480800 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4081] ppid=4071 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4081/stat : 4081 (java) S 4071 4071 2914 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 412029829 15512600576 12331 33554432000 4194304 4196468 140731817095088 140575529427696 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4082] ppid=4071 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4082/stat : 4082 (java) S 4071 4071 2914 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 412029831 15512600576 12331 33554432000 4194304 4196468 140731817095088 140575528376272 140576063182747 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4083] ppid=4071 vsize=15149024 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/4073/task/4083/stat : 4083 (java) R 4071 4071 2914 0 -1 4202560 433 0 0 0 3 0 0 0 20 0 15 0 412029831 15512600576 12331 33554432000 4194304 4196468 140731817095088 140575527324496 140576046548923 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4084] ppid=4071 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/4073/task/4084/stat : 4084 (java) R 4071 4071 2914 0 -1 4202560 345 0 0 0 4 0 0 0 20 0 15 0 412029831 15512600576 12331 33554432000 4194304 4196468 140731817095088 140575526262240 140576048069777 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4085] ppid=4071 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/4073/task/4085/stat : 4085 (java) R 4071 4071 2914 0 -1 1077944384 906 0 0 0 12 0 0 0 20 0 15 0 412029831 15512600576 12331 33554432000 4194304 4196468 140731817095088 140575525218896 140576063174357 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4086] ppid=4071 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4086/stat : 4086 (java) S 4071 4071 2914 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 412029831 15512600576 12331 33554432000 4194304 4196468 140731817095088 140575524166496 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4087] ppid=4071 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4087/stat : 4087 (java) S 4071 4071 2914 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 412029832 15512600576 12331 33554432000 4194304 4196468 140731817095088 140575523113520 140576063175298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 50776 KiB
[startup+0.700825 s]
/proc/loadavg: 2.00 2.02 2.05 4/207 4087
/proc/meminfo: memFree=28537980/32770624 swapFree=67004752/67108860
[pid=4071] ppid=4068 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4071/stat : 4071 (xcsp3-exec) S 4068 4071 2914 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 412029825 115843072 363 33554432000 4194304 5098028 140728833214976 140728833213080 139679734235772 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17559552 140728833221498 140728833221741 140728833221741 140728833224650 0
/proc/4071/statm: 28282 363 304 221 0 87 0
[pid=4073] ppid=4071 vsize=15151148 memory=187764 CPUtime=1.44 cores=0,2,4,6
/proc/4073/stat : 4073 (java) S 4071 4071 2914 0 -1 1077944320 14035 0 0 0 137 7 0 0 20 0 15 0 412029826 15514775552 46941 33554432000 4194304 4196468 140731817095088 140731817077632 140576063164151 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
/proc/4073/statm: 3787787 46941 3450 1 0 3748889 0
[pid=4073/tid=4074] ppid=4071 vsize=15151148 memory=33 CPUtime=0.66 cores=0,2,4,6
/proc/4073/task/4074/stat : 4074 (java) S 4071 4071 2914 0 -1 1077944384 8756 0 0 0 61 5 0 0 20 0 15 0 412029826 15514775552 46941 33554432000 4194304 4196468 140731817095088 140576067402048 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4075] ppid=4071 vsize=15151148 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4075/stat : 4075 (java) S 4071 4071 2914 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 412029827 15514775552 46941 33554432000 4194304 4196468 140731817095088 140576026270736 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4076] ppid=4071 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4076/stat : 4076 (java) S 4071 4071 2914 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 412029827 15514775552 46941 33554432000 4194304 4196468 140731817095088 140575654206608 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4077] ppid=4071 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4077/stat : 4077 (java) S 4071 4071 2914 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 412029827 15514775552 46941 33554432000 4194304 4196468 140731817095088 140575653153552 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4078] ppid=4071 vsize=15151148 memory=39096 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4078/stat : 4078 (java) S 4071 4071 2914 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 412029827 15514775552 46941 33554432000 4194304 4196468 140731817095088 140575652101008 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4079] ppid=4071 vsize=15151148 memory=984 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4079/stat : 4079 (java) R 4071 4071 2914 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 15 0 412029828 15514775552 46941 33554432000 4194304 4196468 140731817095088 140575531533088 140576056261027 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4080] ppid=4071 vsize=15151148 memory=2004 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4080/stat : 4080 (java) S 4071 4071 2914 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 412029829 15514775552 46941 33554432000 4194304 4196468 140731817095088 140575530480800 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4081] ppid=4071 vsize=15151148 memory=1276 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4081/stat : 4081 (java) S 4071 4071 2914 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 412029829 15514775552 46941 33554432000 4194304 4196468 140731817095088 140575529427696 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4082] ppid=4071 vsize=15151148 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4082/stat : 4082 (java) S 4071 4071 2914 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 412029831 15514775552 46941 33554432000 4194304 4196468 140731817095088 140575528376272 140576063182747 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4083] ppid=4071 vsize=15151148 memory=752 CPUtime=0.23 cores=0,2,4,6
/proc/4073/task/4083/stat : 4083 (java) S 4071 4071 2914 0 -1 1077944384 1108 0 0 0 23 0 0 0 20 0 15 0 412029831 15514775552 46941 33554432000 4194304 4196468 140731817095088 140575527324400 140576063175298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4084] ppid=4071 vsize=15151148 memory=1228 CPUtime=0.21 cores=0,2,4,6
/proc/4073/task/4084/stat : 4084 (java) S 4071 4071 2914 0 -1 1077944384 998 0 0 0 21 0 0 0 20 0 15 0 412029831 15514775552 46941 33554432000 4194304 4196468 140731817095088 140575526271856 140576063175298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4085] ppid=4071 vsize=15151148 memory=9584 CPUtime=0.28 cores=0,2,4,6
/proc/4073/task/4085/stat : 4085 (java) S 4071 4071 2914 0 -1 1077944384 1817 0 0 0 28 0 0 0 20 0 15 0 412029831 15514775552 46941 33554432000 4194304 4196468 140731817095088 140575525218800 140576063175298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4086] ppid=4071 vsize=15151148 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4086/stat : 4086 (java) S 4071 4071 2914 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 412029831 15514775552 46941 33554432000 4194304 4196468 140731817095088 140575524166496 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4087] ppid=4071 vsize=15151148 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4087/stat : 4087 (java) S 4071 4071 2914 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 412029832 15514775552 46941 33554432000 4194304 4196468 140731817095088 140575523113520 140576063175298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 189216 KiB
[startup+1.50092 s]
/proc/loadavg: 2.00 2.02 2.05 2/207 4087
/proc/meminfo: memFree=28256152/32770624 swapFree=67004752/67108860
[pid=4071] ppid=4068 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4071/stat : 4071 (xcsp3-exec) S 4068 4071 2914 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 412029825 115843072 363 33554432000 4194304 5098028 140728833214976 140728833213080 139679734235772 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17559552 140728833221498 140728833221741 140728833221741 140728833224650 0
/proc/4071/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/4073/task/4077/stat : 4077 (java) R 4071 4071 2914 0 -1 4202560 61503 0 0 0 56835 192 0 0 20 0 15 0 412029827 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575653153552 140576048114756 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4078] ppid=4071 vsize=15151148 memory=12701332 CPUtime=569.98 cores=0,2,4,6
/proc/4073/task/4078/stat : 4078 (java) R 4071 4071 2914 0 -1 4202560 62858 0 0 0 56823 175 0 0 20 0 15 0 412029827 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575652101208 140576047861926 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4079] ppid=4071 vsize=15151148 memory=1780 CPUtime=56.97 cores=0,2,4,6
/proc/4073/task/4079/stat : 4079 (java) S 4071 4071 2914 0 -1 1077944384 141160 0 0 0 5687 10 0 0 20 0 15 0 412029828 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575531532896 140576063174357 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4080] ppid=4071 vsize=15151148 memory=2300 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4080/stat : 4080 (java) S 4071 4071 2914 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 412029829 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575530480864 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4081] ppid=4071 vsize=15151148 memory=1276 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4081/stat : 4081 (java) S 4071 4071 2914 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 412029829 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575529427712 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4082] ppid=4071 vsize=15151148 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4082/stat : 4082 (java) S 4071 4071 2914 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 412029831 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575528376272 140576063182747 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4083] ppid=4071 vsize=15151148 memory=752 CPUtime=0.41 cores=0,2,4,6
/proc/4073/task/4083/stat : 4083 (java) S 4071 4071 2914 0 -1 1077944384 2401 0 0 0 40 1 0 0 20 0 15 0 412029831 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575527324400 140576063175298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4084] ppid=4071 vsize=15151148 memory=1228 CPUtime=0.45 cores=0,2,4,6
/proc/4073/task/4084/stat : 4084 (java) S 4071 4071 2914 0 -1 1077944384 4692 0 0 0 45 0 0 0 20 0 15 0 412029831 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575526271856 140576063175298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4085] ppid=4071 vsize=15151148 memory=9584 CPUtime=0.48 cores=0,2,4,6
/proc/4073/task/4085/stat : 4085 (java) S 4071 4071 2914 0 -1 1077944384 8009 0 0 0 47 1 0 0 20 0 15 0 412029831 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575525218800 140576063175298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4086] ppid=4071 vsize=15151148 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4086/stat : 4086 (java) S 4071 4071 2914 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 412029831 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575524166496 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4087] ppid=4071 vsize=15151148 memory=3620 CPUtime=0.69 cores=0,2,4,6
/proc/4073/task/4087/stat : 4087 (java) S 4071 4071 2914 0 -1 1077944384 889 0 0 0 35 34 0 0 20 0 15 0 412029832 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575523113520 140576063175298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 41 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 12702788 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+811.223 s]
# the end of solver process 4071 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00116 s, system=0.00116 s
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+813.263 s]
# the end of solver process 4073 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.24 s, system=7.89651 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+812.001 s]*
/proc/loadavg: 3.53 3.33 2.68 5/206 4182
/proc/meminfo: memFree=15870960/32770624 swapFree=67004752/67108860
[pid=4073] ppid=4068 vsize=15151148 memory=12701336 CPUtime=2523.31 cores=0,2,4,6
/proc/4073/stat : 4073 (java) S 4068 4071 2914 0 -1 1077944320 457107 0 0 0 251547 784 0 0 20 0 15 0 412029826 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140731817077632 140576063164151 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
/proc/4073/statm: 3787787 3175334 3498 1 0 3748889 0
[pid=4073/tid=4074] ppid=4068 vsize=15151148 memory=2300 CPUtime=180.76 cores=0,2,4,6
/proc/4073/task/4074/stat : 4074 (java) S 4068 4071 2914 0 -1 1077944384 31761 0 0 0 18026 50 0 0 20 0 15 0 412029826 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140576067402272 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4075] ppid=4068 vsize=15151148 memory=4126316290023845779 CPUtime=570.91 cores=0,2,4,6
/proc/4073/task/4075/stat : 4075 (java) R 4068 4071 2914 0 -1 4202560 72302 0 0 0 56910 181 0 0 20 0 15 0 412029827 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140576026270936 140576048149447 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4076] ppid=4068 vsize=15151148 memory=1780 CPUtime=570.71 cores=0,2,4,6
/proc/4073/task/4076/stat : 4076 (java) R 4068 4071 2914 0 -1 4202560 70184 0 0 0 56905 166 0 0 20 0 15 0 412029827 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575654206496 140576048114756 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4077] ppid=4068 vsize=15151148 memory=5960 CPUtime=571.08 cores=0,2,4,6
/proc/4073/task/4077/stat : 4077 (java) R 4068 4071 2914 0 -1 4202560 61520 0 0 0 56916 192 0 0 20 0 15 0 412029827 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575653153752 140576047861937 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4078] ppid=4068 vsize=15151148 memory=772 CPUtime=570.76 cores=0,2,4,6
/proc/4073/task/4078/stat : 4078 (java) R 4068 4071 2914 0 -1 4202560 62858 0 0 0 56901 175 0 0 20 0 15 0 412029827 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575652101208 140576047861926 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4079] ppid=4068 vsize=15151148 memory=952 CPUtime=56.97 cores=0,2,4,6
/proc/4073/task/4079/stat : 4079 (java) S 4068 4071 2914 0 -1 1077944384 141160 0 0 0 5687 10 0 0 20 0 15 0 412029828 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575531532896 140576063174357 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4080] ppid=4068 vsize=15151148 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4080/stat : 4080 (java) S 4068 4071 2914 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 412029829 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575530480864 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4081] ppid=4068 vsize=15151148 memory=21452 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4081/stat : 4081 (java) S 4068 4071 2914 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 412029829 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575529427712 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4082] ppid=4068 vsize=15151148 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4082/stat : 4082 (java) S 4068 4071 2914 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 412029831 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575528375920 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4083] ppid=4068 vsize=15151148 memory=12028 CPUtime=0.41 cores=0,2,4,6
/proc/4073/task/4083/stat : 4083 (java) S 4068 4071 2914 0 -1 1077944384 2401 0 0 0 40 1 0 0 20 0 15 0 412029831 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575527324400 140576063175298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4084] ppid=4068 vsize=15151148 memory=496 CPUtime=0.45 cores=0,2,4,6
/proc/4073/task/4084/stat : 4084 (java) S 4068 4071 2914 0 -1 1077944384 4692 0 0 0 45 0 0 0 20 0 15 0 412029831 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575526271856 140576063175298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4085] ppid=4068 vsize=15151148 memory=1564 CPUtime=0.48 cores=0,2,4,6
/proc/4073/task/4085/stat : 4085 (java) S 4068 4071 2914 0 -1 1077944384 8009 0 0 0 47 1 0 0 20 0 15 0 412029831 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575525218800 140576063175298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4086] ppid=4068 vsize=15151148 memory=928 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4086/stat : 4086 (java) S 4068 4071 2914 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 412029831 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575524166496 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4087] ppid=4068 vsize=15151148 memory=1660 CPUtime=0.69 cores=0,2,4,6
/proc/4073/task/4087/stat : 4087 (java) S 4068 4071 2914 0 -1 1077944384 889 0 0 0 35 34 0 0 20 0 15 0 412029832 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575523113520 140576063175298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 41 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
Current cumulated CPU time of completed processes: 0.00232 s
Current children cumulated CPU time: 2523.31 s
Current children cumulated vsize: 15151148 KiB
Current children cumulated memory: 12701336 KiB
[startup+812.801 s]
/proc/loadavg: 3.53 3.33 2.68 5/206 4182
/proc/meminfo: memFree=15870960/32770624 swapFree=67004752/67108860
[pid=4073] ppid=4068 vsize=15151148 memory=12701336 CPUtime=2526.44 cores=0,2,4,6
/proc/4073/stat : 4073 (java) S 4068 4071 2914 0 -1 1077944320 457290 0 0 0 251860 784 0 0 20 0 15 0 412029826 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140731817077632 140576063164151 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
/proc/4073/statm: 3787787 3175334 3498 1 0 3748889 0
[pid=4073/tid=4074] ppid=4068 vsize=15151148 memory=1228 CPUtime=180.76 cores=0,2,4,6
/proc/4073/task/4074/stat : 4074 (java) S 4068 4071 2914 0 -1 1077944384 31761 0 0 0 18026 50 0 0 20 0 15 0 412029826 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140576067402272 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4075] ppid=4068 vsize=15151148 memory=9584 CPUtime=571.69 cores=0,2,4,6
/proc/4073/task/4075/stat : 4075 (java) R 4068 4071 2914 0 -1 4202560 72485 0 0 0 56988 181 0 0 20 0 15 0 412029827 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140576026270936 140576047862910 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4076] ppid=4068 vsize=15151148 memory=1452 CPUtime=571.5 cores=0,2,4,6
/proc/4073/task/4076/stat : 4076 (java) R 4068 4071 2914 0 -1 4202560 70184 0 0 0 56984 166 0 0 20 0 15 0 412029827 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575654206808 140576047862891 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4077] ppid=4068 vsize=15151148 memory=12701332 CPUtime=571.86 cores=0,2,4,6
/proc/4073/task/4077/stat : 4077 (java) R 4068 4071 2914 0 -1 4202560 61520 0 0 0 56994 192 0 0 20 0 15 0 412029827 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575653153552 140576048160660 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4078] ppid=4068 vsize=15151148 memory=12701332 CPUtime=571.54 cores=0,2,4,6
/proc/4073/task/4078/stat : 4078 (java) R 4068 4071 2914 0 -1 4202560 62858 0 0 0 56979 175 0 0 20 0 15 0 412029827 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575652101008 140576047862848 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4079] ppid=4068 vsize=15151148 memory=1808 CPUtime=56.98 cores=0,2,4,6
/proc/4073/task/4079/stat : 4079 (java) S 4068 4071 2914 0 -1 1077944384 141160 0 0 0 5688 10 0 0 20 0 15 0 412029828 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575531533120 140576063174357 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4080] ppid=4068 vsize=15151148 memory=924 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4080/stat : 4080 (java) S 4068 4071 2914 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 412029829 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575530480864 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4081] ppid=4068 vsize=15151148 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4081/stat : 4081 (java) S 4068 4071 2914 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 412029829 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575529427712 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4082] ppid=4068 vsize=15151148 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4082/stat : 4082 (java) S 4068 4071 2914 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 412029831 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575528375920 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4083] ppid=4068 vsize=15151148 memory=12701336 CPUtime=0.41 cores=0,2,4,6
/proc/4073/task/4083/stat : 4083 (java) S 4068 4071 2914 0 -1 1077944384 2401 0 0 0 40 1 0 0 20 0 15 0 412029831 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575527324448 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4084] ppid=4068 vsize=15151148 memory=1540 CPUtime=0.45 cores=0,2,4,6
/proc/4073/task/4084/stat : 4084 (java) S 4068 4071 2914 0 -1 1077944384 4692 0 0 0 45 0 0 0 20 0 15 0 412029831 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575526271904 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4085] ppid=4068 vsize=15151148 memory=8112282956445269571 CPUtime=0.48 cores=0,2,4,6
/proc/4073/task/4085/stat : 4085 (java) S 4068 4071 2914 0 -1 1077944384 8009 0 0 0 47 1 0 0 20 0 15 0 412029831 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575525218560 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4086] ppid=4068 vsize=15151148 memory=12701332 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4086/stat : 4086 (java) S 4068 4071 2914 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 412029831 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575524166496 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4087] ppid=4068 vsize=15151148 memory=3220 CPUtime=0.69 cores=0,2,4,6
/proc/4073/task/4087/stat : 4087 (java) S 4068 4071 2914 0 -1 1077944384 889 0 0 0 35 34 0 0 20 0 15 0 412029832 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575523113520 140576063175298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 41 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
Current cumulated CPU time of completed processes: 0.00232 s
Current children cumulated CPU time: 2526.44 s
Current children cumulated vsize: 15151148 KiB
Current children cumulated memory: 12701336 KiB
[startup+813.201 s]
/proc/loadavg: 3.53 3.33 2.68 5/206 4182
/proc/meminfo: memFree=15870960/32770624 swapFree=67004752/67108860
[pid=4073] ppid=4068 vsize=15151148 memory=12701336 CPUtime=2528.03 cores=0,2,4,6
/proc/4073/stat : 4073 (java) S 4068 4071 2914 0 -1 1077944320 457290 0 0 0 252019 784 0 0 20 0 15 0 412029826 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140731817077632 140576063164151 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
/proc/4073/statm: 3787787 3175334 3498 1 0 3748889 0
[pid=4073/tid=4074] ppid=4068 vsize=15151148 memory=1564 CPUtime=180.76 cores=0,2,4,6
/proc/4073/task/4074/stat : 4074 (java) S 4068 4071 2914 0 -1 1077944384 31761 0 0 0 18026 50 0 0 20 0 15 0 412029826 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140576067402272 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4075] ppid=4068 vsize=15151148 memory=928 CPUtime=572.08 cores=0,2,4,6
/proc/4073/task/4075/stat : 4075 (java) R 4068 4071 2914 0 -1 4202560 72485 0 0 0 57027 181 0 0 20 0 15 0 412029827 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140576026270936 140576048160552 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4076] ppid=4068 vsize=15151148 memory=1660 CPUtime=571.9 cores=0,2,4,6
/proc/4073/task/4076/stat : 4076 (java) R 4068 4071 2914 0 -1 4202560 70184 0 0 0 57024 166 0 0 20 0 15 0 412029827 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575654206808 140576055792359 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4077] ppid=4068 vsize=15151148 memory=1984 CPUtime=572.26 cores=0,2,4,6
/proc/4073/task/4077/stat : 4077 (java) R 4068 4071 2914 0 -1 4202560 61520 0 0 0 57034 192 0 0 20 0 15 0 412029827 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575653153552 140576048160830 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4078] ppid=4068 vsize=15151148 memory=2472 CPUtime=571.94 cores=0,2,4,6
/proc/4073/task/4078/stat : 4078 (java) R 4068 4071 2914 0 -1 4202560 62858 0 0 0 57019 175 0 0 20 0 15 0 412029827 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575652101008 140576044773922 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4079] ppid=4068 vsize=15151148 memory=1440 CPUtime=56.98 cores=0,2,4,6
/proc/4073/task/4079/stat : 4079 (java) S 4068 4071 2914 0 -1 1077944384 141160 0 0 0 5688 10 0 0 20 0 15 0 412029828 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575531533120 140576063174357 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4080] ppid=4068 vsize=15151148 memory=816 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4080/stat : 4080 (java) S 4068 4071 2914 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 412029829 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575530480864 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4081] ppid=4068 vsize=15151148 memory=1764 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4081/stat : 4081 (java) S 4068 4071 2914 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 412029829 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575529427712 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4082] ppid=4068 vsize=15151148 memory=111628 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4082/stat : 4082 (java) S 4068 4071 2914 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 412029831 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575528375920 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4083] ppid=4068 vsize=15151148 memory=1452 CPUtime=0.41 cores=0,2,4,6
/proc/4073/task/4083/stat : 4083 (java) S 4068 4071 2914 0 -1 1077944384 2401 0 0 0 40 1 0 0 20 0 15 0 412029831 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575527324448 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4084] ppid=4068 vsize=15151148 memory=1764 CPUtime=0.45 cores=0,2,4,6
/proc/4073/task/4084/stat : 4084 (java) S 4068 4071 2914 0 -1 1077944384 4692 0 0 0 45 0 0 0 20 0 15 0 412029831 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575526271904 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4085] ppid=4068 vsize=15151148 memory=1540 CPUtime=0.48 cores=0,2,4,6
/proc/4073/task/4085/stat : 4085 (java) S 4068 4071 2914 0 -1 1077944384 8009 0 0 0 47 1 0 0 20 0 15 0 412029831 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575525218560 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4086] ppid=4068 vsize=15151148 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/4073/task/4086/stat : 4086 (java) S 4068 4071 2914 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 412029831 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575524166496 140576063174357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
[pid=4073/tid=4087] ppid=4068 vsize=15151148 memory=1412 CPUtime=0.69 cores=0,2,4,6
/proc/4073/task/4087/stat : 4087 (java) S 4068 4071 2914 0 -1 1077944384 889 0 0 0 35 34 0 0 20 0 15 0 412029832 15514775552 3175334 33554432000 4194304 4196468 140731817095088 140575523113520 140576063175298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 41 0 0 6293624 6294260 31182848 140731817096175 140731817096346 140731817096346 140731817099215 0
Current cumulated CPU time of completed processes: 0.00232 s
Current children cumulated CPU time: 2528.03 s
Current children cumulated vsize: 15151148 KiB
Current children cumulated memory: 12701336 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 813.263
CPU time (s): 2528.14
CPU user time (s): 2520.24
CPU system time (s): 7.89651
CPU usage (%): 310.863
Max. virtual memory (cumulated for all children) (KiB): 15264276
Max. memory (cumulated for all children) (KiB): 12702788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.24
system time used= 7.89651
maximum resident set size= 12701664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 457839
page faults= 0
swaps= 0
block input operations= 256
block output operations= 1016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28440
involuntary context switches= 20895
# summary of solver processes directly reported to runsolver:
# pid: 4071,4073
# total CPU time (s): 2528.14
# total CPU user time (s): 2520.24
# total CPU system time (s): 7.89651
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.83069 second user time and 8.65179 second system time
The end