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 (6735 MiB free)
memory of node 1: 16384 MiB (1714 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304510-1534107682/watcher-4304510-1534107682 -o /tmp/evaluation-result-4304510-1534107682/solver-4304510-1534107682 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534097471-21025 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=863604592 -superng HOME/instance-4304510-1534107682.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=23432, runsolver pid=23429
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 1.88 1.75 1.67 3/213 23489
/proc/meminfo: memFree=8647464/32770624 swapFree=67108852/67108860
[pid=23432] ppid=23429 vsize=10005480 memory=18328 CPUtime=0.08 cores=0,2,4,6
/proc/23432/stat : 23432 (java) S 23429 23432 20994 0 -1 1077944320 4244 12961 0 0 1 0 4 3 20 0 6 0 228331387 10245611520 4582 33554432000 4194304 4196468 140730164009168 140730163991712 140195192119031 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
/proc/23432/statm: 2501370 4582 1930 1 0 2489808 0
[pid=23432/tid=23485] ppid=23429 vsize=10005480 memory=4279135704047190159 CPUtime=0.08 cores=0,2,4,6
/proc/23432/task/23485/stat : 23485 (java) R 23429 23432 20994 0 -1 4202560 2046 12961 0 0 1 0 4 3 20 0 6 0 228331396 10245611520 4582 33554432000 4194304 4196468 140730164009168 140195163955792 140195176199518 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23486] ppid=23429 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23486/stat : 23486 (java) S 23429 23432 20994 0 -1 1077944384 1 12961 0 0 0 0 4 3 20 0 6 0 228331397 10245611520 4582 33554432000 4194304 4196468 140730164009168 140195196361872 140195192129237 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23487] ppid=23429 vsize=10005480 memory=140090065450624 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23487/stat : 23487 (java) S 23429 23432 20994 0 -1 1077944384 1 12961 0 0 0 0 4 3 20 0 6 0 228331397 10245611520 4582 33554432000 4194304 4196468 140730164009168 140195051080720 140195192129237 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23488] ppid=23429 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23488/stat : 23488 (java) S 23429 23432 20994 0 -1 1077944384 1 12961 0 0 0 0 4 3 20 0 6 0 228331397 10245611520 4582 33554432000 4194304 4196468 140730164009168 140195050027920 140195192129237 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23489] ppid=23429 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23489/stat : 23489 (java) S 23429 23432 20994 0 -1 1077944384 2 12961 0 0 0 0 4 3 20 0 6 0 228331397 10245611520 4582 33554432000 4194304 4196468 140730164009168 140195048975120 140195192129237 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18328 KiB
[startup+0.210342 s]*
/proc/loadavg: 1.88 1.75 1.67 3/222 23498
/proc/meminfo: memFree=8621420/32770624 swapFree=67108852/67108860
[pid=23432] ppid=23429 vsize=10982744 memory=46268 CPUtime=0.25 cores=0,2,4,6
/proc/23432/stat : 23432 (java) S 23429 23432 20994 0 -1 1077944320 7796 12961 0 0 16 2 4 3 20 0 15 0 228331387 11246329856 11567 33554432000 4194304 4196468 140730164009168 140730163991712 140195192119031 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
/proc/23432/statm: 2745686 11567 2948 1 0 2708109 0
[pid=23432/tid=23485] ppid=23429 vsize=10982744 memory=-6517102902069810590 CPUtime=0.18 cores=0,2,4,6
/proc/23432/task/23485/stat : 23485 (java) R 23429 23432 20994 0 -1 4202560 4351 12961 0 0 10 1 4 3 20 0 15 0 228331396 11246329856 11567 33554432000 4194304 4196468 140730164009168 140195163915952 140195192140957 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23486] ppid=23429 vsize=10982744 memory=-7025452035940392864 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23486/stat : 23486 (java) S 23429 23432 20994 0 -1 1077944384 1 12961 0 0 0 0 4 3 20 0 15 0 228331397 11246329856 11567 33554432000 4194304 4196468 140730164009168 140195196361872 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23487] ppid=23429 vsize=10982744 memory=140090065450624 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23487/stat : 23487 (java) S 23429 23432 20994 0 -1 1077944384 1 12961 0 0 0 0 4 3 20 0 15 0 228331397 11246329856 11567 33554432000 4194304 4196468 140730164009168 140195051080720 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23488] ppid=23429 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23488/stat : 23488 (java) S 23429 23432 20994 0 -1 1077944384 1 12961 0 0 0 0 4 3 20 0 15 0 228331397 11246329856 11567 33554432000 4194304 4196468 140730164009168 140195050027920 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23489] ppid=23429 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23489/stat : 23489 (java) S 23429 23432 20994 0 -1 1077944384 2 12961 0 0 0 0 4 3 20 0 15 0 228331397 11246329856 11567 33554432000 4194304 4196468 140730164009168 140195048975120 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23490] ppid=23429 vsize=10982744 memory=140090065450624 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23490/stat : 23490 (java) S 23429 23432 20994 0 -1 1077944384 2 12961 0 0 0 0 4 3 20 0 15 0 228331398 11246329856 11567 33554432000 4194304 4196468 140730164009168 140194618091888 140195192130178 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23491] ppid=23429 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23491/stat : 23491 (java) S 23429 23432 20994 0 -1 1077944384 13 12961 0 0 0 0 4 3 20 0 15 0 228331398 11246329856 11567 33554432000 4194304 4196468 140730164009168 140193987290144 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23492] ppid=23429 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23492/stat : 23492 (java) S 23429 23432 20994 0 -1 1077944384 1 12961 0 0 0 0 4 3 20 0 15 0 228331399 11246329856 11567 33554432000 4194304 4196468 140730164009168 140193839440752 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23493] ppid=23429 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23493/stat : 23493 (java) S 23429 23432 20994 0 -1 1077944384 3 12961 0 0 0 0 4 3 20 0 15 0 228331401 11246329856 11567 33554432000 4194304 4196468 140730164009168 140193532041040 140195192137627 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23494] ppid=23429 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23432/task/23494/stat : 23494 (java) S 23429 23432 20994 0 -1 1077944384 487 12961 0 0 1 0 4 3 20 0 15 0 228331401 11246329856 11567 33554432000 4194304 4196468 140730164009168 140194617039728 140195192130178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23495] ppid=23429 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23495/stat : 23495 (java) S 23429 23432 20994 0 -1 1077944384 129 12961 0 0 0 0 4 3 20 0 15 0 228331401 11246329856 11567 33554432000 4194304 4196468 140730164009168 140194615986928 140195192130178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23496] ppid=23429 vsize=10982744 memory=140090065450624 CPUtime=0.1 cores=0,2,4,6
/proc/23432/task/23496/stat : 23496 (java) S 23429 23432 20994 0 -1 1077944384 608 12961 0 0 3 0 4 3 20 0 15 0 228331401 11246329856 11567 33554432000 4194304 4196468 140730164009168 140194614934128 140195192130178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23497] ppid=23429 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23497/stat : 23497 (java) S 23429 23432 20994 0 -1 1077944384 3 12961 0 0 0 0 4 3 20 0 15 0 228331402 11246329856 11567 33554432000 4194304 4196468 140730164009168 140193101245152 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23498] ppid=23429 vsize=10982744 memory=140090065450624 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23498/stat : 23498 (java) S 23429 23432 20994 0 -1 1077944384 1 12961 0 0 0 0 4 3 20 0 15 0 228331402 11246329856 11567 33554432000 4194304 4196468 140730164009168 140194613881520 140195192130178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 46268 KiB
[startup+0.310759 s]*
/proc/loadavg: 1.88 1.75 1.67 3/222 23498
/proc/meminfo: memFree=8609884/32770624 swapFree=67108852/67108860
[pid=23432] ppid=23429 vsize=10983192 memory=57236 CPUtime=0.38 cores=0,2,4,6
/proc/23432/stat : 23432 (java) S 23429 23432 20994 0 -1 1077944320 10298 12961 0 0 28 3 4 3 20 0 15 0 228331387 11246788608 14309 33554432000 4194304 4196468 140730164009168 140730163991712 140195192119031 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
/proc/23432/statm: 2745798 14309 3098 1 0 2708109 0
[pid=23432/tid=23485] ppid=23429 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/23432/task/23485/stat : 23485 (java) R 23429 23432 20994 0 -1 4202560 6843 12961 0 0 19 2 4 3 20 0 15 0 228331396 11246788608 14309 33554432000 4194304 4196468 140730164009168 140195163931040 140195192140957 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23486] ppid=23429 vsize=10983192 memory=7084813469699035216 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23486/stat : 23486 (java) S 23429 23432 20994 0 -1 1077944384 1 12961 0 0 0 0 4 3 20 0 15 0 228331397 11246788608 14309 33554432000 4194304 4196468 140730164009168 140195196361872 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23487] ppid=23429 vsize=10983192 memory=2076 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23487/stat : 23487 (java) S 23429 23432 20994 0 -1 1077944384 1 12961 0 0 0 0 4 3 20 0 15 0 228331397 11246788608 14309 33554432000 4194304 4196468 140730164009168 140195051080720 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23488] ppid=23429 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23488/stat : 23488 (java) S 23429 23432 20994 0 -1 1077944384 1 12961 0 0 0 0 4 3 20 0 15 0 228331397 11246788608 14309 33554432000 4194304 4196468 140730164009168 140195050027920 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23489] ppid=23429 vsize=10983192 memory=4126316290023845779 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23489/stat : 23489 (java) S 23429 23432 20994 0 -1 1077944384 2 12961 0 0 0 0 4 3 20 0 15 0 228331397 11246788608 14309 33554432000 4194304 4196468 140730164009168 140195048975120 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23490] ppid=23429 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23490/stat : 23490 (java) S 23429 23432 20994 0 -1 1077944384 2 12961 0 0 0 0 4 3 20 0 15 0 228331398 11246788608 14309 33554432000 4194304 4196468 140730164009168 140194618091888 140195192130178 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23491] ppid=23429 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23491/stat : 23491 (java) S 23429 23432 20994 0 -1 1077944384 13 12961 0 0 0 0 4 3 20 0 15 0 228331398 11246788608 14309 33554432000 4194304 4196468 140730164009168 140193987290144 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23492] ppid=23429 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23492/stat : 23492 (java) S 23429 23432 20994 0 -1 1077944384 1 12961 0 0 0 0 4 3 20 0 15 0 228331399 11246788608 14309 33554432000 4194304 4196468 140730164009168 140193839440752 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23493] ppid=23429 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23493/stat : 23493 (java) S 23429 23432 20994 0 -1 1077944384 3 12961 0 0 0 0 4 3 20 0 15 0 228331401 11246788608 14309 33554432000 4194304 4196468 140730164009168 140193532041040 140195192137627 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23494] ppid=23429 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/23432/task/23494/stat : 23494 (java) S 23429 23432 20994 0 -1 1077944384 487 12961 0 0 2 0 4 3 20 0 15 0 228331401 11246788608 14309 33554432000 4194304 4196468 140730164009168 140194617039728 140195192130178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23495] ppid=23429 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23432/task/23495/stat : 23495 (java) S 23429 23432 20994 0 -1 1077944384 132 12961 0 0 1 0 4 3 20 0 15 0 228331401 11246788608 14309 33554432000 4194304 4196468 140730164009168 140194615986928 140195192130178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23496] ppid=23429 vsize=10983192 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/23432/task/23496/stat : 23496 (java) S 23429 23432 20994 0 -1 1077944384 614 12961 0 0 5 0 4 3 20 0 15 0 228331401 11246788608 14309 33554432000 4194304 4196468 140730164009168 140194614934128 140195192130178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23497] ppid=23429 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23497/stat : 23497 (java) S 23429 23432 20994 0 -1 1077944384 3 12961 0 0 0 0 4 3 20 0 15 0 228331402 11246788608 14309 33554432000 4194304 4196468 140730164009168 140193101245152 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23498] ppid=23429 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23498/stat : 23498 (java) S 23429 23432 20994 0 -1 1077944384 1 12961 0 0 0 0 4 3 20 0 15 0 228331402 11246788608 14309 33554432000 4194304 4196468 140730164009168 140194613881520 140195192130178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 57236 KiB
[startup+0.700815 s]
/proc/loadavg: 1.88 1.75 1.67 3/222 23498
/proc/meminfo: memFree=8599216/32770624 swapFree=67108852/67108860
[pid=23432] ppid=23429 vsize=10983192 memory=89408 CPUtime=0.99 cores=0,2,4,6
/proc/23432/stat : 23432 (java) S 23429 23432 20994 0 -1 1077944320 16387 12961 0 0 87 5 4 3 20 0 15 0 228331387 11246788608 22352 33554432000 4194304 4196468 140730164009168 140730163991712 140195192119031 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
/proc/23432/statm: 2745798 22352 3241 1 0 2708109 0
[pid=23432/tid=23485] ppid=23429 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/23432/task/23485/stat : 23485 (java) R 23429 23432 20994 0 -1 4202560 11870 12961 0 0 56 3 4 3 20 0 15 0 228331396 11246788608 22352 33554432000 4194304 4196468 140730164009168 140195163939856 140195173684027 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23486] ppid=23429 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23486/stat : 23486 (java) S 23429 23432 20994 0 -1 1077944384 1 12961 0 0 0 0 4 3 20 0 15 0 228331397 11246788608 22352 33554432000 4194304 4196468 140730164009168 140195196361872 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23487] ppid=23429 vsize=10983192 memory=3768 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23487/stat : 23487 (java) S 23429 23432 20994 0 -1 1077944384 1 12961 0 0 0 0 4 3 20 0 15 0 228331397 11246788608 22352 33554432000 4194304 4196468 140730164009168 140195051080720 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23488] ppid=23429 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23488/stat : 23488 (java) S 23429 23432 20994 0 -1 1077944384 1 12961 0 0 0 0 4 3 20 0 15 0 228331397 11246788608 22352 33554432000 4194304 4196468 140730164009168 140195050027920 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23489] ppid=23429 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23489/stat : 23489 (java) S 23429 23432 20994 0 -1 1077944384 2 12961 0 0 0 0 4 3 20 0 15 0 228331397 11246788608 22352 33554432000 4194304 4196468 140730164009168 140195048975120 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23490] ppid=23429 vsize=10983192 memory=4420 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23490/stat : 23490 (java) S 23429 23432 20994 0 -1 1077944384 5 12961 0 0 0 0 4 3 20 0 15 0 228331398 11246788608 22352 33554432000 4194304 4196468 140730164009168 140194618091888 140195192130178 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23491] ppid=23429 vsize=10983192 memory=6628 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23491/stat : 23491 (java) S 23429 23432 20994 0 -1 1077944384 13 12961 0 0 0 0 4 3 20 0 15 0 228331398 11246788608 22352 33554432000 4194304 4196468 140730164009168 140193987290144 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23492] ppid=23429 vsize=10983192 memory=8836 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23492/stat : 23492 (java) S 23429 23432 20994 0 -1 1077944384 1 12961 0 0 0 0 4 3 20 0 15 0 228331399 11246788608 22352 33554432000 4194304 4196468 140730164009168 140193839440752 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23493] ppid=23429 vsize=10983192 memory=11044 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23493/stat : 23493 (java) S 23429 23432 20994 0 -1 1077944384 3 12961 0 0 0 0 4 3 20 0 15 0 228331401 11246788608 22352 33554432000 4194304 4196468 140730164009168 140193532041040 140195192137627 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23494] ppid=23429 vsize=10983192 memory=13252 CPUtime=0.17 cores=0,2,4,6
/proc/23432/task/23494/stat : 23494 (java) S 23429 23432 20994 0 -1 1077944384 1126 12961 0 0 10 0 4 3 20 0 15 0 228331401 11246788608 22352 33554432000 4194304 4196468 140730164009168 140194617039728 140195192130178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23495] ppid=23429 vsize=10983192 memory=15460 CPUtime=0.13 cores=0,2,4,6
/proc/23432/task/23495/stat : 23495 (java) S 23429 23432 20994 0 -1 1077944384 502 12961 0 0 6 0 4 3 20 0 15 0 228331401 11246788608 22352 33554432000 4194304 4196468 140730164009168 140194615986928 140195192130178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23496] ppid=23429 vsize=10983192 memory=17668 CPUtime=0.2 cores=0,2,4,6
/proc/23432/task/23496/stat : 23496 (java) S 23429 23432 20994 0 -1 1077944384 662 12961 0 0 13 0 4 3 20 0 15 0 228331401 11246788608 22352 33554432000 4194304 4196468 140730164009168 140194614934128 140195192130178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23497] ppid=23429 vsize=10983192 memory=19876 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23497/stat : 23497 (java) S 23429 23432 20994 0 -1 1077944384 3 12961 0 0 0 0 4 3 20 0 15 0 228331402 11246788608 22352 33554432000 4194304 4196468 140730164009168 140193101245152 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23498] ppid=23429 vsize=10983192 memory=22084 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23498/stat : 23498 (java) S 23429 23432 20994 0 -1 1077944384 1 12961 0 0 0 0 4 3 20 0 15 0 228331402 11246788608 22352 33554432000 4194304 4196468 140730164009168 140194613881520 140195192130178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89408 KiB
[startup+1.50937 s]
/proc/loadavg: 1.88 1.75 1.67 4/222 23498
/proc/meminfo: memFree=8553756/32770624 swapFree=67108852/67108860
[pid=23432] ppid=23429 vsize=11001708 memory=205628 CPUtime=3.17 cores=0,2,4,6
/proc/23432/stat : 23432 (java) S 23429 23432 20994 0 -1 1077944320 32937 12961 0 0 300 10 4 3 20 0 15 0 228331387 11265748992 51407 33554432000 4194304 4196468 140730164009168 140730163991712 140195192119031 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
/proc/23432/statm: 2750427 51407 3444 1 0 2712085 0
[pid=23432/tid=23485] ppid=23429 vsize=11001708 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/23432/task/23485/stat : 23485 (java) R 23429 23432 20994 0 -1 4202560 17633 12961 0 0 133 6 4 3 20 0 15 0 228331396 11265748992 51407 33554432000 4194304 4196468 140730164009168 140195163916984 140195192140957 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23486] ppid=23429 vsize=11001708 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23486/stat : 23486 (java) S 23429 23432 20994 0 -1 1077944384 1 12961 0 0 0 0 4 3 20 0 15 0 228331397 11265748992 51407 33554432000 4194304 4196468 140730164009168 140195196361872 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23487] ppid=23429 vsize=11001708 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23487/stat : 23487 (java) S 23429 23432 20994 0 -1 1077944384 1 12961 0 0 0 0 4 3 20 0 15 0 228331397 11265748992 51407 33554432000 4194304 4196468 140730164009168 140195051080720 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23488] ppid=23429 vsize=11001708 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23488/stat : 23488 (java) S 23429 23432 20994 0 -1 1077944384 1 12961 0 0 0 0 4 3 20 0 15 0 228331397 11265748992 51407 33554432000 4194304 4196468 140730164009168 140195050027920 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23489] ppid=23429 vsize=11001708 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23489/stat : 23489 (java) S 23429 23432 20994 0 -1 1077944384 2 12961 0 0 0 0 4 3 20 0 15 0 228331397 11265748992 51407 33554432000 4194304 4196468 140730164009168 140195048975120 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23490] ppid=23429 vsize=11001708 memory=-7965959130280075168 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23490/stat : 23490 (java) S 23429 23432 20994 0 -1 1077944384 13 12961 0 0 0 0 4 3 20 0 15 0 228331398 11265748992 51407 33554432000 4194304 4196468 140730164009168 140194618091888 140195192130178 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23491] ppid=23429 vsize=11001708 memory=280179909929216 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23491/stat : 23491 (java) S 23429 23432 20994 0 -1 1077944384 13 12961 0 0 0 0 4 3 20 0 15 0 228331398 11265748992 51407 33554432000 4194304 4196468 140730164009168 140193987290144 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23492] ppid=23429 vsize=11001708 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23492/stat : 23492 (java) S 23429 23432 20994 0 -1 1077944384 1 12961 0 0 0 0 4 3 20 0 15 0 228331399 11265748992 51407 33554432000 4194304 4196468 140730164009168 140193839440752 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23493] ppid=23429 vsize=11001708 memory=11796 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23493/stat : 23493 (java) S 23429 23432 20994 0 -1 1077944384 3 12961 0 0 0 0 4 3 20 0 15 0 228331401 11265748992 51472 33554432000 4194304 4196468 140730164009168 140193532041040 140195192137627 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23494] ppid=23429 vsize=11001708 memory=5772 CPUtime=0.69 cores=0,2,4,6
/proc/23432/task/23494/stat : 23494 (java) R 23429 23432 20994 0 -1 4202560 6245 12961 0 0 61 1 4 3 20 0 15 0 228331401 11265748992 51472 33554432000 4194304 4196468 140730164009168 140194617025224 140195175676370 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23495] ppid=23429 vsize=11001708 memory=4616 CPUtime=0.67 cores=0,2,4,6
/proc/23432/task/23495/stat : 23495 (java) R 23429 23432 20994 0 -1 4202560 4982 12961 0 0 59 1 4 3 20 0 15 0 228331401 11265748992 51472 33554432000 4194304 4196468 140730164009168 140194615972952 140195173662754 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23496] ppid=23429 vsize=11001708 memory=1388 CPUtime=0.52 cores=0,2,4,6
/proc/23432/task/23496/stat : 23496 (java) S 23429 23432 20994 0 -1 1077944384 1871 12961 0 0 45 0 4 3 20 0 15 0 228331401 11265748992 51472 33554432000 4194304 4196468 140730164009168 140194614934128 140195192130178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23497] ppid=23429 vsize=11001708 memory=1228 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23497/stat : 23497 (java) S 23429 23432 20994 0 -1 1077944384 3 12961 0 0 0 0 4 3 20 0 15 0 228331402 11265748992 51472 33554432000 4194304 4196468 140730164009168 140193101245152 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23498] ppid=23429 vsize=11001708 memory=880 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23498/stat : 23498 (java) S 23429 23432 20994 0 -1 1077944384 1 12961 0 0 0 0 4 3 20 0 15 0 228331402 11265748992 51472 33554432000 4194304 4196468 140730164009168 140194613881520 140195192130178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
Current children cumulated CPU time: 3.17 s
Current children cumulated vsize: 11001708 KiB
################
# More data... #
################
/proc/23432/task/23485/stat : 23485 (java) R 23429 23432 20994 0 -1 4202560 261388 12961 0 0 221729 61 4 3 20 0 15 0 228331396 11348049920 1315307 33554432000 4194304 4196468 140730164009168 140195163953104 140194750529867 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23486] ppid=23429 vsize=11082080 memory=5260964 CPUtime=41.9 cores=0,2,4,6
/proc/23432/task/23486/stat : 23486 (java) S 23429 23432 20994 0 -1 1077944384 84446 12961 0 0 4058 125 4 3 20 0 15 0 228331397 11348049920 1315307 33554432000 4194304 4196468 140730164009168 140195196361872 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23487] ppid=23429 vsize=11082080 memory=5258916 CPUtime=42.04 cores=0,2,4,6
/proc/23432/task/23487/stat : 23487 (java) S 23429 23432 20994 0 -1 1077944384 87170 12961 0 0 4073 124 4 3 20 0 15 0 228331397 11348049920 1315307 33554432000 4194304 4196468 140730164009168 140195051080720 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23488] ppid=23429 vsize=11082080 memory=5258916 CPUtime=41.94 cores=0,2,4,6
/proc/23432/task/23488/stat : 23488 (java) S 23429 23432 20994 0 -1 1077944384 83253 12961 0 0 4062 125 4 3 20 0 15 0 228331397 11348049920 1315307 33554432000 4194304 4196468 140730164009168 140195050027920 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23489] ppid=23429 vsize=11082080 memory=5258916 CPUtime=41.86 cores=0,2,4,6
/proc/23432/task/23489/stat : 23489 (java) S 23429 23432 20994 0 -1 1077944384 88195 12961 0 0 4055 124 4 3 20 0 15 0 228331397 11348049920 1315307 33554432000 4194304 4196468 140730164009168 140195048975120 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23490] ppid=23429 vsize=11082080 memory=5258916 CPUtime=1.9 cores=0,2,4,6
/proc/23432/task/23490/stat : 23490 (java) S 23429 23432 20994 0 -1 1077944384 101471 12961 0 0 171 12 4 3 20 0 15 0 228331398 11348049920 1315307 33554432000 4194304 4196468 140730164009168 140194618091888 140195192130178 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23491] ppid=23429 vsize=11082080 memory=5261228 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23491/stat : 23491 (java) S 23429 23432 20994 0 -1 1077944384 23 12961 0 0 0 0 4 3 20 0 15 0 228331398 11348049920 1315307 33554432000 4194304 4196468 140730164009168 140193987290208 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23492] ppid=23429 vsize=11082080 memory=5261228 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23492/stat : 23492 (java) S 23429 23432 20994 0 -1 1077944384 13 12961 0 0 0 0 4 3 20 0 15 0 228331399 11348049920 1315307 33554432000 4194304 4196468 140730164009168 140193839440768 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23493] ppid=23429 vsize=11082080 memory=62240 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23493/stat : 23493 (java) S 23429 23432 20994 0 -1 1077944384 3 12961 0 0 0 0 4 3 20 0 15 0 228331401 11348049920 1315307 33554432000 4194304 4196468 140730164009168 140193532041040 140195192137627 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23494] ppid=23429 vsize=11082080 memory=5261228 CPUtime=12.27 cores=0,2,4,6
/proc/23432/task/23494/stat : 23494 (java) S 23429 23432 20994 0 -1 1077944384 87549 12961 0 0 1211 9 4 3 20 0 15 0 228331401 11348049920 1315307 33554432000 4194304 4196468 140730164009168 140194617039728 140195192130178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23495] ppid=23429 vsize=11082080 memory=3768 CPUtime=11.5 cores=0,2,4,6
/proc/23432/task/23495/stat : 23495 (java) S 23429 23432 20994 0 -1 1077944384 79375 12961 0 0 1135 8 4 3 20 0 15 0 228331401 11348049920 1315307 33554432000 4194304 4196468 140730164009168 140194615986928 140195192130178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23496] ppid=23429 vsize=11082080 memory=5260964 CPUtime=3.52 cores=0,2,4,6
/proc/23432/task/23496/stat : 23496 (java) S 23429 23432 20994 0 -1 1077944384 64822 12961 0 0 337 8 4 3 20 0 15 0 228331401 11348049920 1315307 33554432000 4194304 4196468 140730164009168 140194614934128 140195192130178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23497] ppid=23429 vsize=11082080 memory=5260964 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23497/stat : 23497 (java) S 23429 23432 20994 0 -1 1077944384 3 12961 0 0 0 0 4 3 20 0 15 0 228331402 11348049920 1315307 33554432000 4194304 4196468 140730164009168 140193101245152 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23498] ppid=23429 vsize=11082080 memory=5258916 CPUtime=1.41 cores=0,2,4,6
/proc/23432/task/23498/stat : 23498 (java) S 23429 23432 20994 0 -1 1077944384 2700 12961 0 0 70 64 4 3 20 0 15 0 228331402 11348049920 1315307 33554432000 4194304 4196468 140730164009168 140194613881520 140195192130178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
Current children cumulated CPU time: 2415.8 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 5261228 KiB
[startup+2322.3 s]
/proc/loadavg: 1.56 1.68 1.72 3/219 23699
/proc/meminfo: memFree=5353744/32770624 swapFree=67108852/67108860
[pid=23432] ppid=23429 vsize=11082080 memory=5271716 CPUtime=2476.06 cores=0,2,4,6
/proc/23432/stat : 23432 (java) S 23429 23432 20994 0 -1 1077944320 960614 12961 0 0 246952 647 4 3 20 0 15 0 228331387 11348049920 1317929 33554432000 4194304 4196468 140730164009168 140730163991712 140195192119031 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
/proc/23432/statm: 2770520 1317929 3536 1 0 2732173 0
[pid=23432/tid=23485] ppid=23429 vsize=11082080 memory=0 CPUtime=2277.87 cores=0,2,4,6
/proc/23432/task/23485/stat : 23485 (java) R 23429 23432 20994 0 -1 4202560 269513 12961 0 0 227719 61 4 3 20 0 15 0 228331396 11348049920 1317929 33554432000 4194304 4196468 140730164009168 140195163952912 140194752165935 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23486] ppid=23429 vsize=11082080 memory=5271716 CPUtime=41.97 cores=0,2,4,6
/proc/23432/task/23486/stat : 23486 (java) S 23429 23432 20994 0 -1 1077944384 86310 12961 0 0 4065 125 4 3 20 0 15 0 228331397 11348049920 1317929 33554432000 4194304 4196468 140730164009168 140195196361872 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23487] ppid=23429 vsize=11082080 memory=33 CPUtime=42.11 cores=0,2,4,6
/proc/23432/task/23487/stat : 23487 (java) S 23429 23432 20994 0 -1 1077944384 87867 12961 0 0 4079 125 4 3 20 0 15 0 228331397 11348049920 1317929 33554432000 4194304 4196468 140730164009168 140195051080720 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23488] ppid=23429 vsize=11082080 memory=5271716 CPUtime=42.01 cores=0,2,4,6
/proc/23432/task/23488/stat : 23488 (java) S 23429 23432 20994 0 -1 1077944384 84525 12961 0 0 4069 125 4 3 20 0 15 0 228331397 11348049920 1317929 33554432000 4194304 4196468 140730164009168 140195050027920 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23489] ppid=23429 vsize=11082080 memory=5269668 CPUtime=41.93 cores=0,2,4,6
/proc/23432/task/23489/stat : 23489 (java) S 23429 23432 20994 0 -1 1077944384 88911 12961 0 0 4062 124 4 3 20 0 15 0 228331397 11348049920 1317929 33554432000 4194304 4196468 140730164009168 140195048975120 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23490] ppid=23429 vsize=11082080 memory=4187 CPUtime=1.91 cores=0,2,4,6
/proc/23432/task/23490/stat : 23490 (java) S 23429 23432 20994 0 -1 1077944384 101782 12961 0 0 172 12 4 3 20 0 15 0 228331398 11348049920 1317929 33554432000 4194304 4196468 140730164009168 140194618091888 140195192130178 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23491] ppid=23429 vsize=11082080 memory=164 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23491/stat : 23491 (java) S 23429 23432 20994 0 -1 1077944384 23 12961 0 0 0 0 4 3 20 0 15 0 228331398 11348049920 1317929 33554432000 4194304 4196468 140730164009168 140193987290208 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23492] ppid=23429 vsize=11082080 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23492/stat : 23492 (java) S 23429 23432 20994 0 -1 1077944384 13 12961 0 0 0 0 4 3 20 0 15 0 228331399 11348049920 1317929 33554432000 4194304 4196468 140730164009168 140193839440768 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23493] ppid=23429 vsize=11082080 memory=1388 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23493/stat : 23493 (java) S 23429 23432 20994 0 -1 1077944384 3 12961 0 0 0 0 4 3 20 0 15 0 228331401 11348049920 1317929 33554432000 4194304 4196468 140730164009168 140193532041040 140195192137627 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23494] ppid=23429 vsize=11082080 memory=5269668 CPUtime=12.28 cores=0,2,4,6
/proc/23432/task/23494/stat : 23494 (java) S 23429 23432 20994 0 -1 1077944384 89075 12961 0 0 1212 9 4 3 20 0 15 0 228331401 11348049920 1317929 33554432000 4194304 4196468 140730164009168 140194617039728 140195192130178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23495] ppid=23429 vsize=11082080 memory=3768 CPUtime=11.52 cores=0,2,4,6
/proc/23432/task/23495/stat : 23495 (java) S 23429 23432 20994 0 -1 1077944384 81790 12961 0 0 1137 8 4 3 20 0 15 0 228331401 11348049920 1317929 33554432000 4194304 4196468 140730164009168 140194615986928 140195192130178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23496] ppid=23429 vsize=11082080 memory=62240 CPUtime=3.54 cores=0,2,4,6
/proc/23432/task/23496/stat : 23496 (java) S 23429 23432 20994 0 -1 1077944384 65811 12961 0 0 338 9 4 3 20 0 15 0 228331401 11348049920 1317929 33554432000 4194304 4196468 140730164009168 140194614934128 140195192130178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23497] ppid=23429 vsize=11082080 memory=5271716 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23497/stat : 23497 (java) S 23429 23432 20994 0 -1 1077944384 3 12961 0 0 0 0 4 3 20 0 15 0 228331402 11348049920 1317929 33554432000 4194304 4196468 140730164009168 140193101245152 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23498] ppid=23429 vsize=11082080 memory=2252 CPUtime=1.45 cores=0,2,4,6
/proc/23432/task/23498/stat : 23498 (java) S 23429 23432 20994 0 -1 1077944384 2793 12961 0 0 72 66 4 3 20 0 15 0 228331402 11348049920 1317929 33554432000 4194304 4196468 140730164009168 140194613881520 140195192130178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
Current children cumulated CPU time: 2476.06 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 5271716 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2366.11 s]
/proc/loadavg: 1.41 1.61 1.70 3/218 23700
/proc/meminfo: memFree=5529504/32770624 swapFree=67108852/67108860
[pid=23432] ppid=23429 vsize=11082080 memory=5273768 CPUtime=2520.08 cores=0,2,4,6
/proc/23432/stat : 23432 (java) S 23429 23432 20994 0 -1 1077944320 973844 12961 0 0 251351 650 4 3 20 0 15 0 228331387 11348049920 1318442 33554432000 4194304 4196468 140730164009168 140730163991712 140195192119031 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
/proc/23432/statm: 2770520 1318442 3536 1 0 2732173 0
[pid=23432/tid=23485] ppid=23429 vsize=11082080 memory=5273768 CPUtime=2321.62 cores=0,2,4,6
/proc/23432/task/23485/stat : 23485 (java) R 23429 23432 20994 0 -1 4202560 275919 12961 0 0 232093 62 4 3 20 0 15 0 228331396 11348049920 1318442 33554432000 4194304 4196468 140730164009168 140195163953024 140194746977524 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23486] ppid=23429 vsize=11082080 memory=5273768 CPUtime=42.02 cores=0,2,4,6
/proc/23432/task/23486/stat : 23486 (java) S 23429 23432 20994 0 -1 1077944384 88272 12961 0 0 4070 125 4 3 20 0 15 0 228331397 11348049920 1318442 33554432000 4194304 4196468 140730164009168 140195196361872 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23487] ppid=23429 vsize=11082080 memory=5273768 CPUtime=42.16 cores=0,2,4,6
/proc/23432/task/23487/stat : 23487 (java) S 23429 23432 20994 0 -1 1077944384 88733 12961 0 0 4084 125 4 3 20 0 15 0 228331397 11348049920 1318442 33554432000 4194304 4196468 140730164009168 140195051080720 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23488] ppid=23429 vsize=11082080 memory=5273768 CPUtime=42.06 cores=0,2,4,6
/proc/23432/task/23488/stat : 23488 (java) S 23429 23432 20994 0 -1 1077944384 85612 12961 0 0 4074 125 4 3 20 0 15 0 228331397 11348049920 1318442 33554432000 4194304 4196468 140730164009168 140195050027920 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23489] ppid=23429 vsize=11082080 memory=5271720 CPUtime=41.99 cores=0,2,4,6
/proc/23432/task/23489/stat : 23489 (java) S 23429 23432 20994 0 -1 1077944384 89674 12961 0 0 4067 125 4 3 20 0 15 0 228331397 11348049920 1318442 33554432000 4194304 4196468 140730164009168 140195048975120 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23490] ppid=23429 vsize=11082080 memory=5271720 CPUtime=1.92 cores=0,2,4,6
/proc/23432/task/23490/stat : 23490 (java) S 23429 23432 20994 0 -1 1077944384 102066 12961 0 0 173 12 4 3 20 0 15 0 228331398 11348049920 1318442 33554432000 4194304 4196468 140730164009168 140194618091888 140195192130178 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23491] ppid=23429 vsize=11082080 memory=5271720 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23491/stat : 23491 (java) S 23429 23432 20994 0 -1 1077944384 23 12961 0 0 0 0 4 3 20 0 15 0 228331398 11348049920 1318442 33554432000 4194304 4196468 140730164009168 140193987290208 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23492] ppid=23429 vsize=11082080 memory=5271720 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23492/stat : 23492 (java) S 23429 23432 20994 0 -1 1077944384 13 12961 0 0 0 0 4 3 20 0 15 0 228331399 11348049920 1318442 33554432000 4194304 4196468 140730164009168 140193839440768 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23493] ppid=23429 vsize=11082080 memory=5271720 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23493/stat : 23493 (java) S 23429 23432 20994 0 -1 1077944384 3 12961 0 0 0 0 4 3 20 0 15 0 228331401 11348049920 1318442 33554432000 4194304 4196468 140730164009168 140193532041040 140195192137627 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23494] ppid=23429 vsize=11082080 memory=5273768 CPUtime=12.29 cores=0,2,4,6
/proc/23432/task/23494/stat : 23494 (java) S 23429 23432 20994 0 -1 1077944384 90472 12961 0 0 1213 9 4 3 20 0 15 0 228331401 11348049920 1318442 33554432000 4194304 4196468 140730164009168 140194617039728 140195192130178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23495] ppid=23429 vsize=11082080 memory=5273768 CPUtime=11.52 cores=0,2,4,6
/proc/23432/task/23495/stat : 23495 (java) S 23429 23432 20994 0 -1 1077944384 82060 12961 0 0 1137 8 4 3 20 0 15 0 228331401 11348049920 1318442 33554432000 4194304 4196468 140730164009168 140194615986928 140195192130178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23496] ppid=23429 vsize=11082080 memory=15448 CPUtime=3.55 cores=0,2,4,6
/proc/23432/task/23496/stat : 23496 (java) S 23429 23432 20994 0 -1 1077944384 65977 12961 0 0 339 9 4 3 20 0 15 0 228331401 11348049920 1318442 33554432000 4194304 4196468 140730164009168 140194614934128 140195192130178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23497] ppid=23429 vsize=11082080 memory=5273768 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23497/stat : 23497 (java) S 23429 23432 20994 0 -1 1077944384 3 12961 0 0 0 0 4 3 20 0 15 0 228331402 11348049920 1318442 33554432000 4194304 4196468 140730164009168 140193101245152 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23498] ppid=23429 vsize=11082080 memory=5271720 CPUtime=1.47 cores=0,2,4,6
/proc/23432/task/23498/stat : 23498 (java) S 23429 23432 20994 0 -1 1077944384 2821 12961 0 0 73 67 4 3 20 0 15 0 228331402 11348049920 1318442 33554432000 4194304 4196468 140730164009168 140194613881520 140195192130178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 5273768 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2366.2 s]
# the end of solver process 23432 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.61 s, system=6.59034 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2366.11 s]
/proc/loadavg: 1.41 1.61 1.70 3/218 23700
/proc/meminfo: memFree=5529504/32770624 swapFree=67108852/67108860
[pid=23432] ppid=23429 vsize=11082080 memory=5273768 CPUtime=2520.08 cores=0,2,4,6
/proc/23432/stat : 23432 (java) S 23429 23432 20994 0 -1 1077944320 973844 12961 0 0 251351 650 4 3 20 0 15 0 228331387 11348049920 1318442 33554432000 4194304 4196468 140730164009168 140730163991712 140195192119031 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
/proc/23432/statm: 2770520 1318442 3536 1 0 2732173 0
[pid=23432/tid=23485] ppid=23429 vsize=11082080 memory=5273768 CPUtime=2321.62 cores=0,2,4,6
/proc/23432/task/23485/stat : 23485 (java) R 23429 23432 20994 0 -1 4202560 275919 12961 0 0 232093 62 4 3 20 0 15 0 228331396 11348049920 1318442 33554432000 4194304 4196468 140730164009168 140195163953024 140194746977524 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23486] ppid=23429 vsize=11082080 memory=5273768 CPUtime=42.02 cores=0,2,4,6
/proc/23432/task/23486/stat : 23486 (java) S 23429 23432 20994 0 -1 1077944384 88272 12961 0 0 4070 125 4 3 20 0 15 0 228331397 11348049920 1318442 33554432000 4194304 4196468 140730164009168 140195196361872 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23487] ppid=23429 vsize=11082080 memory=5273768 CPUtime=42.16 cores=0,2,4,6
/proc/23432/task/23487/stat : 23487 (java) S 23429 23432 20994 0 -1 1077944384 88733 12961 0 0 4084 125 4 3 20 0 15 0 228331397 11348049920 1318442 33554432000 4194304 4196468 140730164009168 140195051080720 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23488] ppid=23429 vsize=11082080 memory=5273768 CPUtime=42.06 cores=0,2,4,6
/proc/23432/task/23488/stat : 23488 (java) S 23429 23432 20994 0 -1 1077944384 85612 12961 0 0 4074 125 4 3 20 0 15 0 228331397 11348049920 1318442 33554432000 4194304 4196468 140730164009168 140195050027920 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23489] ppid=23429 vsize=11082080 memory=5271720 CPUtime=41.99 cores=0,2,4,6
/proc/23432/task/23489/stat : 23489 (java) S 23429 23432 20994 0 -1 1077944384 89674 12961 0 0 4067 125 4 3 20 0 15 0 228331397 11348049920 1318442 33554432000 4194304 4196468 140730164009168 140195048975120 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23490] ppid=23429 vsize=11082080 memory=5271720 CPUtime=1.92 cores=0,2,4,6
/proc/23432/task/23490/stat : 23490 (java) S 23429 23432 20994 0 -1 1077944384 102066 12961 0 0 173 12 4 3 20 0 15 0 228331398 11348049920 1318442 33554432000 4194304 4196468 140730164009168 140194618091888 140195192130178 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23491] ppid=23429 vsize=11082080 memory=5271720 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23491/stat : 23491 (java) S 23429 23432 20994 0 -1 1077944384 23 12961 0 0 0 0 4 3 20 0 15 0 228331398 11348049920 1318442 33554432000 4194304 4196468 140730164009168 140193987290208 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23492] ppid=23429 vsize=11082080 memory=5271720 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23492/stat : 23492 (java) S 23429 23432 20994 0 -1 1077944384 13 12961 0 0 0 0 4 3 20 0 15 0 228331399 11348049920 1318442 33554432000 4194304 4196468 140730164009168 140193839440768 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23493] ppid=23429 vsize=11082080 memory=5271720 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23493/stat : 23493 (java) S 23429 23432 20994 0 -1 1077944384 3 12961 0 0 0 0 4 3 20 0 15 0 228331401 11348049920 1318442 33554432000 4194304 4196468 140730164009168 140193532041040 140195192137627 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23494] ppid=23429 vsize=11082080 memory=5273768 CPUtime=12.29 cores=0,2,4,6
/proc/23432/task/23494/stat : 23494 (java) S 23429 23432 20994 0 -1 1077944384 90472 12961 0 0 1213 9 4 3 20 0 15 0 228331401 11348049920 1318442 33554432000 4194304 4196468 140730164009168 140194617039728 140195192130178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23495] ppid=23429 vsize=11082080 memory=5273768 CPUtime=11.52 cores=0,2,4,6
/proc/23432/task/23495/stat : 23495 (java) S 23429 23432 20994 0 -1 1077944384 82060 12961 0 0 1137 8 4 3 20 0 15 0 228331401 11348049920 1318442 33554432000 4194304 4196468 140730164009168 140194615986928 140195192130178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23496] ppid=23429 vsize=11082080 memory=15448 CPUtime=3.55 cores=0,2,4,6
/proc/23432/task/23496/stat : 23496 (java) S 23429 23432 20994 0 -1 1077944384 65977 12961 0 0 339 9 4 3 20 0 15 0 228331401 11348049920 1318442 33554432000 4194304 4196468 140730164009168 140194614934128 140195192130178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23497] ppid=23429 vsize=11082080 memory=5273768 CPUtime=0.07 cores=0,2,4,6
/proc/23432/task/23497/stat : 23497 (java) S 23429 23432 20994 0 -1 1077944384 3 12961 0 0 0 0 4 3 20 0 15 0 228331402 11348049920 1318442 33554432000 4194304 4196468 140730164009168 140193101245152 140195192129237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
[pid=23432/tid=23498] ppid=23429 vsize=11082080 memory=5271720 CPUtime=1.47 cores=0,2,4,6
/proc/23432/task/23498/stat : 23498 (java) S 23429 23432 20994 0 -1 1077944384 2821 12961 0 0 73 67 4 3 20 0 15 0 228331402 11348049920 1318442 33554432000 4194304 4196468 140730164009168 140194613881520 140195192130178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22937600 140730164017764 140730164020572 140730164020572 140730164023247 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 5273768 KiB
Child status: 143
Real time (s): 2366.2
CPU time (s): 2520.2
CPU user time (s): 2513.61
CPU system time (s): 6.59034
CPU usage (%): 106.509
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 5273768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.61
system time used= 6.59034
maximum resident set size= 5275100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 988204
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73112
involuntary context switches= 5005
# summary of solver processes directly reported to runsolver:
# pid: 23432
# total CPU time (s): 2520.2
# total CPU user time (s): 2513.61
# total CPU system time (s): 6.59034
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2992 second user time and 22.5591 second system time
The end