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 (13253 MiB free)
memory of node 1: 16384 MiB (15439 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259569-1502644466/watcher-4259569-1502644466 -o /tmp/evaluation-result-4259569-1502644466/solver-4259569-1502644466 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25474 --watchdog 312 bin/concrete HOME/instance-4259569-1502644466.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27983, runsolver pid=27980
[startup+0.100261 s]*
/proc/loadavg: 1.87 1.96 1.94 3/204 27990
/proc/meminfo: memFree=29380468/32770624 swapFree=67108860/67108860
[pid=27983] ppid=27980 vsize=9636 memory=1440 CPUtime=0.01 cores=1,3,5,7
/proc/27983/stat : 27983 (bash) S 27980 27983 8289 0 -1 4202496 805 5302 0 0 0 0 0 1 20 0 1 0 112261765 9867264 360 18446744073709551615 4194304 5098028 140727768093856 140727768091512 140055649344512 0 0 5 65536 18446744071580971376 0 0 17 1 0 0 9 0 0 7196144 7232144 16801792 140727768101364 140727768101449 140727768101449 140727768104938 0
/proc/27983/statm: 2409 360 286 221 0 118 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 9636 KiB
Current children cumulated memory: 1440 KiB
[startup+0.20999 s]*
/proc/loadavg: 1.87 1.96 1.94 2/218 28028
/proc/meminfo: memFree=29367364/32770624 swapFree=67108860/67108860
[pid=27983] ppid=27980 vsize=98708 memory=4708 CPUtime=0.08 cores=1,3,5,7
/proc/27983/stat : 27983 (java) S 27980 27983 8289 0 -1 1077944320 2240 12353 0 0 0 0 5 3 20 0 2 0 112261765 101076992 1177 18446744073709551615 4194304 4196468 140723680913888 140723680896432 139772937514743 0 0 1 0 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
/proc/27983/statm: 24677 1177 874 1 0 16801 0
[pid=27983/tid=28033] ppid=27980 vsize=100812 memory=8316850467074736180 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28033/stat : 28033 (java) R 27980 27983 8289 0 -1 1077944384 93 12353 0 0 0 0 5 3 20 0 2 0 112261786 103231488 1177 18446744073709551615 4194304 4196468 140723680913888 139772941751648 139772930193965 0 0 1 0 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 98708 KiB
Current children cumulated memory: 4708 KiB
[startup+0.310247 s]*
/proc/loadavg: 1.87 1.96 1.94 2/215 28045
/proc/meminfo: memFree=29368700/32770624 swapFree=67108860/67108860
[pid=27983] ppid=27980 vsize=13907308 memory=22160 CPUtime=0.14 cores=1,3,5,7
/proc/27983/stat : 27983 (java) S 27980 27983 8289 0 -1 1077944320 5873 12353 0 0 5 1 5 3 20 0 14 0 112261765 14241083392 5540 18446744073709551615 4194304 4196468 140723680913888 140723680896432 139772937514743 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
/proc/27983/statm: 3476827 5540 2553 1 0 3466324 0
[pid=27983/tid=28033] ppid=27980 vsize=13907308 memory=8316850467074736180 CPUtime=0.12 cores=1,3,5,7
/proc/27983/task/28033/stat : 28033 (java) D 27980 27983 8289 0 -1 4202560 3136 12353 0 0 4 0 5 3 20 0 14 0 112261786 14241083392 5540 18446744073709551615 4194304 4196468 140723680913888 139772941752224 139772937536765 0 4 1 16800974 18446744071580418449 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28034] ppid=27980 vsize=13907308 memory=8293 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28034/stat : 28034 (java) S 27980 27983 8289 0 -1 1077944384 1 12353 0 0 0 0 5 3 20 0 14 0 112261787 14241083392 5540 18446744073709551615 4194304 4196468 140723680913888 139772871948560 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28035] ppid=27980 vsize=13907308 memory=320860440444414336 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28035/stat : 28035 (java) S 27980 27983 8289 0 -1 1077944384 1 12353 0 0 0 0 5 3 20 0 14 0 112261787 14241083392 5540 18446744073709551615 4194304 4196468 140723680913888 139772870896016 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28036] ppid=27980 vsize=13907308 memory=6944656592455097440 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28036/stat : 28036 (java) S 27980 27983 8289 0 -1 1077944384 1 12353 0 0 0 0 5 3 20 0 14 0 112261787 14241083392 5540 18446744073709551615 4194304 4196468 140723680913888 139772869843472 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28037] ppid=27980 vsize=13907308 memory=3472328296227680299 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28037/stat : 28037 (java) S 27980 27983 8289 0 -1 1077944384 2 12353 0 0 0 0 5 3 20 0 14 0 112261787 14241083392 5540 18446744073709551615 4194304 4196468 140723680913888 139772868790928 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28038] ppid=27980 vsize=13907308 memory=3472468456346756784 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28038/stat : 28038 (java) S 27980 27983 8289 0 -1 1077944384 2 12353 0 0 0 0 5 3 20 0 14 0 112261788 14241083392 5540 18446744073709551615 4194304 4196468 140723680913888 139772415293936 139772937525890 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28039] ppid=27980 vsize=13907308 memory=8607328266676888414 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28039/stat : 28039 (java) S 27980 27983 8289 0 -1 1077944384 33 12353 0 0 0 0 5 3 20 0 14 0 112261789 14241083392 5540 18446744073709551615 4194304 4196468 140723680913888 139772414240160 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28040] ppid=27980 vsize=13907308 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28040/stat : 28040 (java) S 27980 27983 8289 0 -1 1077944384 21 12353 0 0 0 0 5 3 20 0 14 0 112261789 14241083392 5540 18446744073709551615 4194304 4196468 140723680913888 139772413187568 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28041] ppid=27980 vsize=13907308 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28041/stat : 28041 (java) S 27980 27983 8289 0 -1 1077944384 3 12353 0 0 0 0 5 3 20 0 14 0 112261792 14241083392 5540 18446744073709551615 4194304 4196468 140723680913888 139772412136144 139772937533339 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28042] ppid=27980 vsize=13907308 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28042/stat : 28042 (java) S 27980 27983 8289 0 -1 1077944384 289 12353 0 0 0 0 5 3 20 0 14 0 112261792 14241083392 5540 18446744073709551615 4194304 4196468 140723680913888 139772411082736 139772937525890 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28043] ppid=27980 vsize=13907308 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28043/stat : 28043 (java) S 27980 27983 8289 0 -1 1077944384 3 12353 0 0 0 0 5 3 20 0 14 0 112261792 14241083392 5540 18446744073709551615 4194304 4196468 140723680913888 139772410030192 139772937525890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28044] ppid=27980 vsize=13907308 memory=140160119338624 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28044/stat : 28044 (java) S 27980 27983 8289 0 -1 1077944384 222 12353 0 0 0 0 5 3 20 0 14 0 112261792 14241083392 5540 18446744073709551615 4194304 4196468 140723680913888 139772408977648 139772937525890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28045] ppid=27980 vsize=13907308 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28045/stat : 28045 (java) S 27980 27983 8289 0 -1 1077944384 3 12353 0 0 0 0 5 3 20 0 14 0 112261792 14241083392 5540 18446744073709551615 4194304 4196468 140723680913888 139772407925344 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 13907308 KiB
Current children cumulated memory: 22160 KiB
[startup+0.700824 s]
/proc/loadavg: 1.87 1.96 1.94 3/216 28046
/proc/meminfo: memFree=29356092/32770624 swapFree=67108860/67108860
[pid=27983] ppid=27980 vsize=13974784 memory=53652 CPUtime=0.49 cores=1,3,5,7
/proc/27983/stat : 27983 (java) S 27980 27983 8289 0 -1 1077944320 13100 12353 0 0 38 3 5 3 20 0 15 0 112261765 14310178816 13413 18446744073709551615 4194304 4196468 140723680913888 140723680896432 139772937514743 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
/proc/27983/statm: 3493696 13413 3064 1 0 3482965 0
[pid=27983/tid=28033] ppid=27980 vsize=13974784 memory=4040 CPUtime=0.38 cores=1,3,5,7
/proc/27983/task/28033/stat : 28033 (java) R 27980 27983 8289 0 -1 4202560 9603 12353 0 0 28 2 5 3 20 0 15 0 112261786 14310178816 13413 18446744073709551615 4194304 4196468 140723680913888 139772941731984 139772922680382 0 4 1 16800974 0 0 0 -1 5 0 0 16 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28034] ppid=27980 vsize=13974784 memory=33408 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28034/stat : 28034 (java) S 27980 27983 8289 0 -1 1077944384 1 12353 0 0 0 0 5 3 20 0 15 0 112261787 14310178816 13413 18446744073709551615 4194304 4196468 140723680913888 139772871948560 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28035] ppid=27980 vsize=13974784 memory=1232 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28035/stat : 28035 (java) S 27980 27983 8289 0 -1 1077944384 1 12353 0 0 0 0 5 3 20 0 15 0 112261787 14310178816 13413 18446744073709551615 4194304 4196468 140723680913888 139772870896016 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28036] ppid=27980 vsize=13974784 memory=640 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28036/stat : 28036 (java) S 27980 27983 8289 0 -1 1077944384 1 12353 0 0 0 0 5 3 20 0 15 0 112261787 14310178816 13413 18446744073709551615 4194304 4196468 140723680913888 139772869843472 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28037] ppid=27980 vsize=13974784 memory=1792 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28037/stat : 28037 (java) S 27980 27983 8289 0 -1 1077944384 2 12353 0 0 0 0 5 3 20 0 15 0 112261787 14310178816 13413 18446744073709551615 4194304 4196468 140723680913888 139772868790928 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28038] ppid=27980 vsize=13974784 memory=956 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28038/stat : 28038 (java) S 27980 27983 8289 0 -1 1077944384 2 12353 0 0 0 0 5 3 20 0 15 0 112261788 14310178816 13413 18446744073709551615 4194304 4196468 140723680913888 139772415293936 139772937525890 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28039] ppid=27980 vsize=13974784 memory=2248 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28039/stat : 28039 (java) S 27980 27983 8289 0 -1 1077944384 33 12353 0 0 0 0 5 3 20 0 15 0 112261789 14310178816 13413 18446744073709551615 4194304 4196468 140723680913888 139772414240160 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28040] ppid=27980 vsize=13974784 memory=4288 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28040/stat : 28040 (java) S 27980 27983 8289 0 -1 1077944384 21 12353 0 0 0 0 5 3 20 0 15 0 112261789 14310178816 13413 18446744073709551615 4194304 4196468 140723680913888 139772413187568 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28041] ppid=27980 vsize=13974784 memory=2164 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28041/stat : 28041 (java) S 27980 27983 8289 0 -1 1077944384 3 12353 0 0 0 0 5 3 20 0 15 0 112261792 14310178816 13413 18446744073709551615 4194304 4196468 140723680913888 139772412136144 139772937533339 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28042] ppid=27980 vsize=13974784 memory=928 CPUtime=0.09 cores=1,3,5,7
/proc/27983/task/28042/stat : 28042 (java) S 27980 27983 8289 0 -1 1077944384 524 12353 0 0 1 0 5 3 20 0 15 0 112261792 14310178816 13413 18446744073709551615 4194304 4196468 140723680913888 139772411082736 139772937525890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28043] ppid=27980 vsize=13974784 memory=1620 CPUtime=0.09 cores=1,3,5,7
/proc/27983/task/28043/stat : 28043 (java) S 27980 27983 8289 0 -1 1077944384 202 12353 0 0 1 0 5 3 20 0 15 0 112261792 14310178816 13413 18446744073709551615 4194304 4196468 140723680913888 139772410030192 139772937525890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28044] ppid=27980 vsize=13974784 memory=844 CPUtime=0.13 cores=1,3,5,7
/proc/27983/task/28044/stat : 28044 (java) S 27980 27983 8289 0 -1 1077944384 547 12353 0 0 5 0 5 3 20 0 15 0 112261792 14310178816 13413 18446744073709551615 4194304 4196468 140723680913888 139772408977648 139772937525890 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28045] ppid=27980 vsize=13974784 memory=18484 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28045/stat : 28045 (java) S 27980 27983 8289 0 -1 1077944384 3 12353 0 0 0 0 5 3 20 0 15 0 112261792 14310178816 13413 18446744073709551615 4194304 4196468 140723680913888 139772407925344 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28046] ppid=27980 vsize=13974784 memory=4168 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28046/stat : 28046 (java) S 27980 27983 8289 0 -1 1077944384 1 12353 0 0 0 0 5 3 20 0 15 0 112261809 14310178816 13413 18446744073709551615 4194304 4196468 140723680913888 139772406872880 139772937525890 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 13974784 KiB
Current children cumulated memory: 53652 KiB
[startup+1.5007 s]
/proc/loadavg: 1.87 1.96 1.94 4/216 28046
/proc/meminfo: memFree=29311128/32770624 swapFree=67108860/67108860
[pid=27983] ppid=27980 vsize=13985408 memory=129700 CPUtime=1.69 cores=1,3,5,7
/proc/27983/stat : 27983 (java) S 27980 27983 8289 0 -1 1077944320 26350 12353 0 0 155 6 5 3 20 0 15 0 112261765 14321057792 32425 18446744073709551615 4194304 4196468 140723680913888 140723680896432 139772937514743 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
/proc/27983/statm: 3496352 32425 3333 1 0 3485525 0
[pid=27983/tid=28033] ppid=27980 vsize=13985408 memory=4168 CPUtime=1.18 cores=1,3,5,7
/proc/27983/task/28033/stat : 28033 (java) R 27980 27983 8289 0 -1 4202560 21555 12353 0 0 105 5 5 3 20 0 15 0 112261786 14321057792 32425 18446744073709551615 4194304 4196468 140723680913888 139772941740608 139772937536669 0 4 1 16800974 0 0 0 -1 1 0 0 16 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28034] ppid=27980 vsize=13985408 memory=54364 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28034/stat : 28034 (java) S 27980 27983 8289 0 -1 1077944384 1 12353 0 0 0 0 5 3 20 0 15 0 112261787 14321057792 32425 18446744073709551615 4194304 4196468 140723680913888 139772871948560 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28035] ppid=27980 vsize=13985408 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28035/stat : 28035 (java) S 27980 27983 8289 0 -1 1077944384 1 12353 0 0 0 0 5 3 20 0 15 0 112261787 14321057792 32425 18446744073709551615 4194304 4196468 140723680913888 139772870896016 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28036] ppid=27980 vsize=13985408 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28036/stat : 28036 (java) S 27980 27983 8289 0 -1 1077944384 1 12353 0 0 0 0 5 3 20 0 15 0 112261787 14321057792 32425 18446744073709551615 4194304 4196468 140723680913888 139772869843472 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28037] ppid=27980 vsize=13985408 memory=4040 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28037/stat : 28037 (java) S 27980 27983 8289 0 -1 1077944384 2 12353 0 0 0 0 5 3 20 0 15 0 112261787 14321057792 32425 18446744073709551615 4194304 4196468 140723680913888 139772868790928 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28038] ppid=27980 vsize=13985408 memory=33408 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28038/stat : 28038 (java) S 27980 27983 8289 0 -1 1077944384 5 12353 0 0 0 0 5 3 20 0 15 0 112261788 14321057792 32425 18446744073709551615 4194304 4196468 140723680913888 139772415293936 139772937525890 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28039] ppid=27980 vsize=13985408 memory=1232 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28039/stat : 28039 (java) S 27980 27983 8289 0 -1 1077944384 33 12353 0 0 0 0 5 3 20 0 15 0 112261789 14321057792 32425 18446744073709551615 4194304 4196468 140723680913888 139772414240160 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28040] ppid=27980 vsize=13985408 memory=640 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28040/stat : 28040 (java) S 27980 27983 8289 0 -1 1077944384 21 12353 0 0 0 0 5 3 20 0 15 0 112261789 14321057792 32425 18446744073709551615 4194304 4196468 140723680913888 139772413187568 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28041] ppid=27980 vsize=13985408 memory=1792 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28041/stat : 28041 (java) S 27980 27983 8289 0 -1 1077944384 3 12353 0 0 0 0 5 3 20 0 15 0 112261792 14321057792 32425 18446744073709551615 4194304 4196468 140723680913888 139772412136144 139772937533339 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28042] ppid=27980 vsize=13985408 memory=956 CPUtime=0.24 cores=1,3,5,7
/proc/27983/task/28042/stat : 28042 (java) S 27980 27983 8289 0 -1 1077944384 1044 12353 0 0 16 0 5 3 20 0 15 0 112261792 14321057792 32425 18446744073709551615 4194304 4196468 140723680913888 139772411082736 139772937525890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28043] ppid=27980 vsize=13985408 memory=2248 CPUtime=0.22 cores=1,3,5,7
/proc/27983/task/28043/stat : 28043 (java) S 27980 27983 8289 0 -1 1077944384 634 12353 0 0 14 0 5 3 20 0 15 0 112261792 14321057792 32425 18446744073709551615 4194304 4196468 140723680913888 139772410030192 139772937525890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28044] ppid=27980 vsize=13985408 memory=4288 CPUtime=0.28 cores=1,3,5,7
/proc/27983/task/28044/stat : 28044 (java) S 27980 27983 8289 0 -1 1077944384 881 12353 0 0 20 0 5 3 20 0 15 0 112261792 14321057792 32425 18446744073709551615 4194304 4196468 140723680913888 139772408977648 139772937525890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28045] ppid=27980 vsize=13985408 memory=2164 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28045/stat : 28045 (java) S 27980 27983 8289 0 -1 1077944384 3 12353 0 0 0 0 5 3 20 0 15 0 112261792 14321057792 32425 18446744073709551615 4194304 4196468 140723680913888 139772407925344 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28046] ppid=27980 vsize=13985408 memory=9878424783013 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28046/stat : 28046 (java) S 27980 27983 8289 0 -1 1077944384 10 12353 0 0 0 0 5 3 20 0 15 0 112261809 14321057792 32425 18446744073709551615 4194304 4196468 140723680913888 139772406872880 139772937525890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 13985408 KiB
Current children cumulated memory: 129700 KiB
[startup+3.11078 s]
/proc/loadavg: 1.96 1.97 1.95 5/215 28046
/proc/meminfo: memFree=29177364/32770624 swapFree=67108860/67108860
[pid=27983] ppid=27980 vsize=13997884 memory=218668 CPUtime=5.56 cores=1,3,5,7
/proc/27983/stat : 27983 (java) S 27980 27983 8289 0 -1 1077944320 42358 12353 0 0 534 14 5 3 20 0 15 0 112261765 14333833216 54667 18446744073709551615 4194304 4196468 140723680913888 140723680896432 139772937514743 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
/proc/27983/statm: 3499471 54667 3446 1 0 3488085 0
[pid=27983/tid=28033] ppid=27980 vsize=13997884 memory=189828 CPUtime=2.74 cores=1,3,5,7
/proc/27983/task/28033/stat : 28033 (java) R 27980 27983 8289 0 -1 4202560 28649 12353 0 0 259 7 5 3 20 0 15 0 112261786 14333833216 54667 18446744073709551615 4194304 4196468 140723680913888 139772941748192 139772917239777 0 4 1 16800974 0 0 0 -1 5 0 0 16 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28034] ppid=27980 vsize=13997884 memory=1 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28034/stat : 28034 (java) S 27980 27983 8289 0 -1 1077944384 206 12353 0 0 0 0 5 3 20 0 15 0 112261787 14333833216 54667 18446744073709551615 4194304 4196468 140723680913888 139772871948560 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28035] ppid=27980 vsize=13997884 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/27983/task/28035/stat : 28035 (java) S 27980 27983 8289 0 -1 1077944384 45 12353 0 0 1 0 5 3 20 0 15 0 112261787 14333833216 54667 18446744073709551615 4194304 4196468 140723680913888 139772870896016 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28036] ppid=27980 vsize=13997884 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28036/stat : 28036 (java) S 27980 27983 8289 0 -1 1077944384 55 12353 0 0 0 0 5 3 20 0 15 0 112261787 14333833216 54667 18446744073709551615 4194304 4196468 140723680913888 139772869843472 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28037] ppid=27980 vsize=13997884 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28037/stat : 28037 (java) S 27980 27983 8289 0 -1 1077944384 49 12353 0 0 0 0 5 3 20 0 15 0 112261787 14333833216 54667 18446744073709551615 4194304 4196468 140723680913888 139772868790928 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28038] ppid=27980 vsize=13997884 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/27983/task/28038/stat : 28038 (java) S 27980 27983 8289 0 -1 1077944384 1537 12353 0 0 1 0 5 3 20 0 15 0 112261788 14333833216 54667 18446744073709551615 4194304 4196468 140723680913888 139772415293936 139772937525890 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28039] ppid=27980 vsize=13997884 memory=67 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28039/stat : 28039 (java) S 27980 27983 8289 0 -1 1077944384 55 12353 0 0 0 0 5 3 20 0 15 0 112261789 14333833216 54667 18446744073709551615 4194304 4196468 140723680913888 139772414240160 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28040] ppid=27980 vsize=13997884 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28040/stat : 28040 (java) S 27980 27983 8289 0 -1 1077944384 44 12353 0 0 0 0 5 3 20 0 15 0 112261789 14333833216 54667 18446744073709551615 4194304 4196468 140723680913888 139772413187584 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28041] ppid=27980 vsize=13997884 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28041/stat : 28041 (java) S 27980 27983 8289 0 -1 1077944384 3 12353 0 0 0 0 5 3 20 0 15 0 112261792 14333833216 54667 18446744073709551615 4194304 4196468 140723680913888 139772412136144 139772937533339 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28042] ppid=27980 vsize=13997884 memory=8 CPUtime=0.95 cores=1,3,5,7
/proc/27983/task/28042/stat : 28042 (java) R 27980 27983 8289 0 -1 4202560 2578 12353 0 0 86 1 5 3 20 0 15 0 112261792 14333833216 54667 18446744073709551615 4194304 4196468 140723680913888 139772411082864 139772916732610 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28043] ppid=27980 vsize=13997884 memory=8 CPUtime=0.9 cores=1,3,5,7
/proc/27983/task/28043/stat : 28043 (java) R 27980 27983 8289 0 -1 4202560 2248 12353 0 0 81 1 5 3 20 0 15 0 112261792 14333833216 54667 18446744073709551615 4194304 4196468 140723680913888 139772410023216 139772916801727 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28044] ppid=27980 vsize=13997884 memory=8 CPUtime=1.09 cores=1,3,5,7
/proc/27983/task/28044/stat : 28044 (java) R 27980 27983 8289 0 -1 4202560 4717 12353 0 0 100 1 5 3 20 0 15 0 112261792 14333833216 54667 18446744073709551615 4194304 4196468 140723680913888 139772408974760 139772916439111 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28045] ppid=27980 vsize=13997884 memory=792 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28045/stat : 28045 (java) S 27980 27983 8289 0 -1 1077944384 3 12353 0 0 0 0 5 3 20 0 15 0 112261792 14333833216 54667 18446744073709551615 4194304 4196468 140723680913888 139772407925344 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28046] ppid=27980 vsize=13997884 memory=1716 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28046/stat : 28046 (java) S 27980 27983 8289 0 -1 1077944384 13 12353 0 0 0 0 5 3 20 0 15 0 112261809 14333833216 54667 18446744073709551615 4194304 4196468 140723680913888 139772406872880 139772937525890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
Current children cumulated CPU time: 5.56 s
Current children cumulated vsize: 13997884 KiB
################
# More data... #
################
/proc/27983/task/28033/stat : 28033 (java) R 27980 27983 8289 0 -1 4202560 57756 12353 0 0 10089 25 5 3 20 0 15 0 112261786 14407233536 312981 18446744073709551615 4194304 4196468 140723680913888 139772941748896 139772565491054 0 4 1 16800974 0 0 0 -1 1 0 0 16 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28034] ppid=27980 vsize=14069564 memory=1257568 CPUtime=0.54 cores=1,3,5,7
/proc/27983/task/28034/stat : 28034 (java) S 27980 27983 8289 0 -1 1077944384 3613 12353 0 0 41 5 5 3 20 0 15 0 112261787 14407233536 312981 18446744073709551615 4194304 4196468 140723680913888 139772871948560 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28035] ppid=27980 vsize=14069564 memory=1200 CPUtime=0.56 cores=1,3,5,7
/proc/27983/task/28035/stat : 28035 (java) S 27980 27983 8289 0 -1 1077944384 599 12353 0 0 43 5 5 3 20 0 15 0 112261787 14407233536 312981 18446744073709551615 4194304 4196468 140723680913888 139772870896016 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28036] ppid=27980 vsize=14069564 memory=1255516 CPUtime=0.55 cores=1,3,5,7
/proc/27983/task/28036/stat : 28036 (java) S 27980 27983 8289 0 -1 1077944384 1618 12353 0 0 42 5 5 3 20 0 15 0 112261787 14407233536 312981 18446744073709551615 4194304 4196468 140723680913888 139772869843472 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28037] ppid=27980 vsize=14069564 memory=1256028 CPUtime=0.55 cores=1,3,5,7
/proc/27983/task/28037/stat : 28037 (java) S 27980 27983 8289 0 -1 1077944384 1489 12353 0 0 42 5 5 3 20 0 15 0 112261787 14407233536 312981 18446744073709551615 4194304 4196468 140723680913888 139772868790928 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28038] ppid=27980 vsize=14069564 memory=196 CPUtime=0.28 cores=1,3,5,7
/proc/27983/task/28038/stat : 28038 (java) S 27980 27983 8289 0 -1 1077944384 8486 12353 0 0 19 1 5 3 20 0 15 0 112261788 14407233536 312981 18446744073709551615 4194304 4196468 140723680913888 139772415293936 139772937525890 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28039] ppid=27980 vsize=14069564 memory=-7606742951091920751 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28039/stat : 28039 (java) S 27980 27983 8289 0 -1 1077944384 60 12353 0 0 0 0 5 3 20 0 15 0 112261789 14407233536 312981 18446744073709551615 4194304 4196468 140723680913888 139772414240224 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28040] ppid=27980 vsize=14069564 memory=1261672 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28040/stat : 28040 (java) S 27980 27983 8289 0 -1 1077944384 49 12353 0 0 0 0 5 3 20 0 15 0 112261789 14407233536 312981 18446744073709551615 4194304 4196468 140723680913888 139772413187584 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28041] ppid=27980 vsize=14069564 memory=33420 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28041/stat : 28041 (java) S 27980 27983 8289 0 -1 1077944384 3 12353 0 0 0 0 5 3 20 0 15 0 112261792 14407233536 312981 18446744073709551615 4194304 4196468 140723680913888 139772412136144 139772937533339 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28042] ppid=27980 vsize=14069564 memory=1232 CPUtime=12.68 cores=1,3,5,7
/proc/27983/task/28042/stat : 28042 (java) S 27980 27983 8289 0 -1 1077944384 15398 12353 0 0 1255 5 5 3 20 0 15 0 112261792 14407233536 312981 18446744073709551615 4194304 4196468 140723680913888 139772411082736 139772937525890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28043] ppid=27980 vsize=14069564 memory=1276544 CPUtime=12.66 cores=1,3,5,7
/proc/27983/task/28043/stat : 28043 (java) S 27980 27983 8289 0 -1 1077944384 16152 12353 0 0 1254 4 5 3 20 0 15 0 112261792 14407233536 312981 18446744073709551615 4194304 4196468 140723680913888 139772410030192 139772937525890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28044] ppid=27980 vsize=14069564 memory=15825482134324680 CPUtime=3.81 cores=1,3,5,7
/proc/27983/task/28044/stat : 28044 (java) S 27980 27983 8289 0 -1 1077944384 14015 12353 0 0 367 6 5 3 20 0 15 0 112261792 14407233536 312981 18446744073709551615 4194304 4196468 140723680913888 139772408977648 139772937525890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28045] ppid=27980 vsize=14069564 memory=2872 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28045/stat : 28045 (java) S 27980 27983 8289 0 -1 1077944384 3 12353 0 0 0 0 5 3 20 0 15 0 112261792 14407233536 312981 18446744073709551615 4194304 4196468 140723680913888 139772407925344 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28046] ppid=27980 vsize=14069564 memory=1252948 CPUtime=0.12 cores=1,3,5,7
/proc/27983/task/28046/stat : 28046 (java) S 27980 27983 8289 0 -1 1077944384 447 12353 0 0 1 3 5 3 20 0 15 0 112261809 14407233536 312981 18446744073709551615 4194304 4196468 140723680913888 139772406872880 139772937525890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
Current children cumulated CPU time: 132.37 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 1251924 KiB
[startup+162.301 s]
/proc/loadavg: 1.45 1.79 1.88 3/216 28079
/proc/meminfo: memFree=27234364/32770624 swapFree=67108860/67108860
[pid=27983] ppid=27980 vsize=14069564 memory=1167404 CPUtime=193.01 cores=1,3,5,7
/proc/27983/stat : 27983 (java) S 27980 27983 8289 0 -1 1077944320 127082 12353 0 0 19219 74 5 3 20 0 15 0 112261765 14407233536 291851 18446744073709551615 4194304 4196468 140723680913888 140723680896432 139772937514743 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
/proc/27983/statm: 3517391 291851 3486 1 0 3506005 0
[pid=27983/tid=28033] ppid=27980 vsize=14069564 memory=1172004 CPUtime=160.83 cores=1,3,5,7
/proc/27983/task/28033/stat : 28033 (java) R 27980 27983 8289 0 -1 4202560 58961 12353 0 0 16050 25 5 3 20 0 15 0 112261786 14407233536 291851 18446744073709551615 4194304 4196468 140723680913888 139772941748384 139772567508023 0 4 1 16800974 0 0 0 -1 3 0 0 16 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28034] ppid=27980 vsize=14069564 memory=1172016 CPUtime=0.75 cores=1,3,5,7
/proc/27983/task/28034/stat : 28034 (java) S 27980 27983 8289 0 -1 1077944384 3775 12353 0 0 61 6 5 3 20 0 15 0 112261787 14407233536 291851 18446744073709551615 4194304 4196468 140723680913888 139772871948560 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28035] ppid=27980 vsize=14069564 memory=1169964 CPUtime=0.77 cores=1,3,5,7
/proc/27983/task/28035/stat : 28035 (java) S 27980 27983 8289 0 -1 1077944384 2250 12353 0 0 63 6 5 3 20 0 15 0 112261787 14407233536 291851 18446744073709551615 4194304 4196468 140723680913888 139772870896016 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28036] ppid=27980 vsize=14069564 memory=1169964 CPUtime=0.76 cores=1,3,5,7
/proc/27983/task/28036/stat : 28036 (java) S 27980 27983 8289 0 -1 1077944384 1785 12353 0 0 62 6 5 3 20 0 15 0 112261787 14407233536 291851 18446744073709551615 4194304 4196468 140723680913888 139772869843472 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28037] ppid=27980 vsize=14069564 memory=1167404 CPUtime=0.77 cores=1,3,5,7
/proc/27983/task/28037/stat : 28037 (java) S 27980 27983 8289 0 -1 1077944384 1782 12353 0 0 63 6 5 3 20 0 15 0 112261787 14407233536 291851 18446744073709551615 4194304 4196468 140723680913888 139772868790928 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28038] ppid=27980 vsize=14069564 memory=8 CPUtime=0.43 cores=1,3,5,7
/proc/27983/task/28038/stat : 28038 (java) S 27980 27983 8289 0 -1 1077944384 8884 12353 0 0 33 2 5 3 20 0 15 0 112261788 14407233536 291851 18446744073709551615 4194304 4196468 140723680913888 139772415293936 139772937525890 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28039] ppid=27980 vsize=14069564 memory=1169964 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28039/stat : 28039 (java) S 27980 27983 8289 0 -1 1077944384 60 12353 0 0 0 0 5 3 20 0 15 0 112261789 14407233536 291851 18446744073709551615 4194304 4196468 140723680913888 139772414240224 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28040] ppid=27980 vsize=14069564 memory=4168 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28040/stat : 28040 (java) S 27980 27983 8289 0 -1 1077944384 49 12353 0 0 0 0 5 3 20 0 15 0 112261789 14407233536 291851 18446744073709551615 4194304 4196468 140723680913888 139772413187584 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28041] ppid=27980 vsize=14069564 memory=1170476 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28041/stat : 28041 (java) S 27980 27983 8289 0 -1 1077944384 3 12353 0 0 0 0 5 3 20 0 15 0 112261792 14407233536 291851 18446744073709551615 4194304 4196468 140723680913888 139772412136144 139772937533339 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28042] ppid=27980 vsize=14069564 memory=1170476 CPUtime=12.68 cores=1,3,5,7
/proc/27983/task/28042/stat : 28042 (java) S 27980 27983 8289 0 -1 1077944384 15401 12353 0 0 1255 5 5 3 20 0 15 0 112261792 14407233536 291851 18446744073709551615 4194304 4196468 140723680913888 139772411082736 139772937525890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28043] ppid=27980 vsize=14069564 memory=1169964 CPUtime=12.66 cores=1,3,5,7
/proc/27983/task/28043/stat : 28043 (java) S 27980 27983 8289 0 -1 1077944384 17488 12353 0 0 1254 4 5 3 20 0 15 0 112261792 14407233536 291851 18446744073709551615 4194304 4196468 140723680913888 139772410030192 139772937525890 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28044] ppid=27980 vsize=14069564 memory=15876 CPUtime=3.81 cores=1,3,5,7
/proc/27983/task/28044/stat : 28044 (java) S 27980 27983 8289 0 -1 1077944384 14017 12353 0 0 367 6 5 3 20 0 15 0 112261792 14407233536 291851 18446744073709551615 4194304 4196468 140723680913888 139772408977648 139772937525890 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28045] ppid=27980 vsize=14069564 memory=1169964 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28045/stat : 28045 (java) S 27980 27983 8289 0 -1 1077944384 3 12353 0 0 0 0 5 3 20 0 15 0 112261792 14407233536 291851 18446744073709551615 4194304 4196468 140723680913888 139772407925344 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28046] ppid=27980 vsize=14069564 memory=1296 CPUtime=0.15 cores=1,3,5,7
/proc/27983/task/28046/stat : 28046 (java) S 27980 27983 8289 0 -1 1077944384 468 12353 0 0 2 5 5 3 20 0 15 0 112261809 14407233536 291851 18446744073709551615 4194304 4196468 140723680913888 139772406872880 139772937525890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
Current children cumulated CPU time: 193.01 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 1167404 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+220.501 s]
/proc/loadavg: 1.65 1.78 1.87 3/216 28206
/proc/meminfo: memFree=27709296/32770624 swapFree=67108860/67108860
[pid=27983] ppid=27980 vsize=14069564 memory=1054340 CPUtime=252.08 cores=1,3,5,7
/proc/27983/stat : 27983 (java) S 27980 27983 8289 0 -1 1077944320 139997 12353 0 0 25118 82 5 3 20 0 15 0 112261765 14407233536 263585 18446744073709551615 4194304 4196468 140723680913888 140723680896432 139772937514743 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
/proc/27983/statm: 3517391 263585 3486 1 0 3506005 0
[pid=27983/tid=28033] ppid=27980 vsize=14069564 memory=1055368 CPUtime=218.55 cores=1,3,5,7
/proc/27983/task/28033/stat : 28033 (java) R 27980 27983 8289 0 -1 4202560 61461 12353 0 0 21821 26 5 3 20 0 15 0 112261786 14407233536 263585 18446744073709551615 4194304 4196468 140723680913888 139772941748112 139772561271919 0 4 1 16800974 0 0 0 -1 1 0 0 16 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28034] ppid=27980 vsize=14069564 memory=1055880 CPUtime=1.01 cores=1,3,5,7
/proc/27983/task/28034/stat : 28034 (java) S 27980 27983 8289 0 -1 1077944384 5135 12353 0 0 87 6 5 3 20 0 15 0 112261787 14407233536 263585 18446744073709551615 4194304 4196468 140723680913888 139772871948560 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28035] ppid=27980 vsize=14069564 memory=1071268 CPUtime=1.03 cores=1,3,5,7
/proc/27983/task/28035/stat : 28035 (java) S 27980 27983 8289 0 -1 1077944384 2600 12353 0 0 88 7 5 3 20 0 15 0 112261787 14407233536 263585 18446744073709551615 4194304 4196468 140723680913888 139772870896016 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28036] ppid=27980 vsize=14069564 memory=0 CPUtime=1.03 cores=1,3,5,7
/proc/27983/task/28036/stat : 28036 (java) S 27980 27983 8289 0 -1 1077944384 2349 12353 0 0 88 7 5 3 20 0 15 0 112261787 14407233536 263585 18446744073709551615 4194304 4196468 140723680913888 139772869843472 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28037] ppid=27980 vsize=14069564 memory=280320034308640 CPUtime=1.04 cores=1,3,5,7
/proc/27983/task/28037/stat : 28037 (java) S 27980 27983 8289 0 -1 1077944384 1893 12353 0 0 88 8 5 3 20 0 15 0 112261787 14407233536 263585 18446744073709551615 4194304 4196468 140723680913888 139772868790928 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28038] ppid=27980 vsize=14069564 memory=1055880 CPUtime=0.61 cores=1,3,5,7
/proc/27983/task/28038/stat : 28038 (java) S 27980 27983 8289 0 -1 1077944384 9298 12353 0 0 48 5 5 3 20 0 15 0 112261788 14407233536 263585 18446744073709551615 4194304 4196468 140723680913888 139772415293936 139772937525890 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28039] ppid=27980 vsize=14069564 memory=1054852 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28039/stat : 28039 (java) S 27980 27983 8289 0 -1 1077944384 66 12353 0 0 0 0 5 3 20 0 15 0 112261789 14407233536 263585 18446744073709551615 4194304 4196468 140723680913888 139772414240224 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28040] ppid=27980 vsize=14069564 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28040/stat : 28040 (java) S 27980 27983 8289 0 -1 1077944384 49 12353 0 0 0 0 5 3 20 0 15 0 112261789 14407233536 263585 18446744073709551615 4194304 4196468 140723680913888 139772413187584 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28041] ppid=27980 vsize=14069564 memory=288230617509003574 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28041/stat : 28041 (java) S 27980 27983 8289 0 -1 1077944384 3 12353 0 0 0 0 5 3 20 0 15 0 112261792 14407233536 263585 18446744073709551615 4194304 4196468 140723680913888 139772412136144 139772937533339 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28042] ppid=27980 vsize=14069564 memory=15825482134324680 CPUtime=12.69 cores=1,3,5,7
/proc/27983/task/28042/stat : 28042 (java) S 27980 27983 8289 0 -1 1077944384 15904 12353 0 0 1256 5 5 3 20 0 15 0 112261792 14407233536 263585 18446744073709551615 4194304 4196468 140723680913888 139772411082736 139772937525890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28043] ppid=27980 vsize=14069564 memory=1055368 CPUtime=12.71 cores=1,3,5,7
/proc/27983/task/28043/stat : 28043 (java) S 27980 27983 8289 0 -1 1077944384 18209 12353 0 0 1258 5 5 3 20 0 15 0 112261792 14407233536 263585 18446744073709551615 4194304 4196468 140723680913888 139772410030192 139772937525890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28044] ppid=27980 vsize=14069564 memory=844 CPUtime=3.84 cores=1,3,5,7
/proc/27983/task/28044/stat : 28044 (java) S 27980 27983 8289 0 -1 1077944384 20382 12353 0 0 370 6 5 3 20 0 15 0 112261792 14407233536 263585 18446744073709551615 4194304 4196468 140723680913888 139772408977648 139772937525890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28045] ppid=27980 vsize=14069564 memory=1055368 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28045/stat : 28045 (java) S 27980 27983 8289 0 -1 1077944384 3 12353 0 0 0 0 5 3 20 0 15 0 112261792 14407233536 263585 18446744073709551615 4194304 4196468 140723680913888 139772407925344 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28046] ppid=27980 vsize=14069564 memory=1055368 CPUtime=0.19 cores=1,3,5,7
/proc/27983/task/28046/stat : 28046 (java) S 27980 27983 8289 0 -1 1077944384 489 12353 0 0 4 7 5 3 20 0 15 0 112261809 14407233536 263585 18446744073709551615 4194304 4196468 140723680913888 139772406872880 139772937525890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 1054340 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+220.536 s]
# the end of solver process 27983 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.256 s, system=0.869997 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+220.501 s]
/proc/loadavg: 1.65 1.78 1.87 3/216 28206
/proc/meminfo: memFree=27709296/32770624 swapFree=67108860/67108860
[pid=27983] ppid=27980 vsize=14069564 memory=1054340 CPUtime=252.08 cores=1,3,5,7
/proc/27983/stat : 27983 (java) S 27980 27983 8289 0 -1 1077944320 139997 12353 0 0 25118 82 5 3 20 0 15 0 112261765 14407233536 263585 18446744073709551615 4194304 4196468 140723680913888 140723680896432 139772937514743 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
/proc/27983/statm: 3517391 263585 3486 1 0 3506005 0
[pid=27983/tid=28033] ppid=27980 vsize=14069564 memory=1055368 CPUtime=218.55 cores=1,3,5,7
/proc/27983/task/28033/stat : 28033 (java) R 27980 27983 8289 0 -1 4202560 61461 12353 0 0 21821 26 5 3 20 0 15 0 112261786 14407233536 263585 18446744073709551615 4194304 4196468 140723680913888 139772941748112 139772561271919 0 4 1 16800974 0 0 0 -1 1 0 0 16 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28034] ppid=27980 vsize=14069564 memory=1055880 CPUtime=1.01 cores=1,3,5,7
/proc/27983/task/28034/stat : 28034 (java) S 27980 27983 8289 0 -1 1077944384 5135 12353 0 0 87 6 5 3 20 0 15 0 112261787 14407233536 263585 18446744073709551615 4194304 4196468 140723680913888 139772871948560 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28035] ppid=27980 vsize=14069564 memory=1071268 CPUtime=1.03 cores=1,3,5,7
/proc/27983/task/28035/stat : 28035 (java) S 27980 27983 8289 0 -1 1077944384 2600 12353 0 0 88 7 5 3 20 0 15 0 112261787 14407233536 263585 18446744073709551615 4194304 4196468 140723680913888 139772870896016 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28036] ppid=27980 vsize=14069564 memory=0 CPUtime=1.03 cores=1,3,5,7
/proc/27983/task/28036/stat : 28036 (java) S 27980 27983 8289 0 -1 1077944384 2349 12353 0 0 88 7 5 3 20 0 15 0 112261787 14407233536 263585 18446744073709551615 4194304 4196468 140723680913888 139772869843472 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28037] ppid=27980 vsize=14069564 memory=280320034308640 CPUtime=1.04 cores=1,3,5,7
/proc/27983/task/28037/stat : 28037 (java) S 27980 27983 8289 0 -1 1077944384 1893 12353 0 0 88 8 5 3 20 0 15 0 112261787 14407233536 263585 18446744073709551615 4194304 4196468 140723680913888 139772868790928 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28038] ppid=27980 vsize=14069564 memory=1055880 CPUtime=0.61 cores=1,3,5,7
/proc/27983/task/28038/stat : 28038 (java) S 27980 27983 8289 0 -1 1077944384 9298 12353 0 0 48 5 5 3 20 0 15 0 112261788 14407233536 263585 18446744073709551615 4194304 4196468 140723680913888 139772415293936 139772937525890 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28039] ppid=27980 vsize=14069564 memory=1054852 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28039/stat : 28039 (java) S 27980 27983 8289 0 -1 1077944384 66 12353 0 0 0 0 5 3 20 0 15 0 112261789 14407233536 263585 18446744073709551615 4194304 4196468 140723680913888 139772414240224 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28040] ppid=27980 vsize=14069564 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28040/stat : 28040 (java) S 27980 27983 8289 0 -1 1077944384 49 12353 0 0 0 0 5 3 20 0 15 0 112261789 14407233536 263585 18446744073709551615 4194304 4196468 140723680913888 139772413187584 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28041] ppid=27980 vsize=14069564 memory=288230617509003574 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28041/stat : 28041 (java) S 27980 27983 8289 0 -1 1077944384 3 12353 0 0 0 0 5 3 20 0 15 0 112261792 14407233536 263585 18446744073709551615 4194304 4196468 140723680913888 139772412136144 139772937533339 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28042] ppid=27980 vsize=14069564 memory=15825482134324680 CPUtime=12.69 cores=1,3,5,7
/proc/27983/task/28042/stat : 28042 (java) S 27980 27983 8289 0 -1 1077944384 15904 12353 0 0 1256 5 5 3 20 0 15 0 112261792 14407233536 263585 18446744073709551615 4194304 4196468 140723680913888 139772411082736 139772937525890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28043] ppid=27980 vsize=14069564 memory=1055368 CPUtime=12.71 cores=1,3,5,7
/proc/27983/task/28043/stat : 28043 (java) S 27980 27983 8289 0 -1 1077944384 18209 12353 0 0 1258 5 5 3 20 0 15 0 112261792 14407233536 263585 18446744073709551615 4194304 4196468 140723680913888 139772410030192 139772937525890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28044] ppid=27980 vsize=14069564 memory=844 CPUtime=3.84 cores=1,3,5,7
/proc/27983/task/28044/stat : 28044 (java) S 27980 27983 8289 0 -1 1077944384 20382 12353 0 0 370 6 5 3 20 0 15 0 112261792 14407233536 263585 18446744073709551615 4194304 4196468 140723680913888 139772408977648 139772937525890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28045] ppid=27980 vsize=14069564 memory=1055368 CPUtime=0.08 cores=1,3,5,7
/proc/27983/task/28045/stat : 28045 (java) S 27980 27983 8289 0 -1 1077944384 3 12353 0 0 0 0 5 3 20 0 15 0 112261792 14407233536 263585 18446744073709551615 4194304 4196468 140723680913888 139772407925344 139772937524949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
[pid=27983/tid=28046] ppid=27980 vsize=14069564 memory=1055368 CPUtime=0.19 cores=1,3,5,7
/proc/27983/task/28046/stat : 28046 (java) S 27980 27983 8289 0 -1 1077944384 489 12353 0 0 4 7 5 3 20 0 15 0 112261809 14407233536 263585 18446744073709551615 4194304 4196468 140723680913888 139772406872880 139772937525890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27889664 140723680921520 140723680924305 140723680924305 140723680927695 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 1054340 KiB
Child status: 143
Real time (s): 220.536
CPU time (s): 252.126
CPU user time (s): 251.256
CPU system time (s): 0.869997
CPU usage (%): 114.324
Max. virtual memory (cumulated for all children) (KiB): 14072252
Max. memory (cumulated for all children) (KiB): 1300072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.256
system time used= 0.869997
maximum resident set size= 1302136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156779
page faults= 0
swaps= 0
block input operations= 0
block output operations= 480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27527
involuntary context switches= 651
# summary of solver processes directly reported to runsolver:
# pid: 27983
# total CPU time (s): 252.126
# total CPU user time (s): 251.256
# total CPU system time (s): 0.869997
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.62092 second user time and 1.88146 second system time
The end