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 (12973 MiB free)
memory of node 1: 16384 MiB (14465 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304374-1534065967/watcher-4304374-1534065967 -o /tmp/evaluation-result-4304374-1534065967/solver-4304374-1534065967 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534063459-27645 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=604593836 -superng HOME/instance-4304374-1534065967.xml
running on 4 cores: 1,3,5,7
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=28345, runsolver pid=28342
Current StackSize limit: 8192 KiB
[startup+0.100119 s]*
/proc/loadavg: 1.62 1.48 1.40 5/206 28402
/proc/meminfo: memFree=28076960/32770624 swapFree=67108804/67108860
[pid=28345] ppid=28342 vsize=10005480 memory=18860 CPUtime=0.09 cores=1,3,5,7
/proc/28345/stat : 28345 (java) S 28342 28345 27613 0 -1 1077944320 4385 12992 0 0 1 1 4 3 20 0 6 0 224159925 10245611520 4715 33554432000 4194304 4196468 140721589198592 140721589181136 140409448939255 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
/proc/28345/statm: 2501370 4715 1934 1 0 2489808 0
[pid=28345/tid=28398] ppid=28342 vsize=10005480 memory=4279135703913235855 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28398/stat : 28398 (java) R 28342 28345 27613 0 -1 4202560 2191 12992 0 0 0 0 4 3 20 0 6 0 224159934 10245611520 4715 33554432000 4194304 4196468 140721589198592 140409420776016 140409433019699 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28399] ppid=28342 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28399/stat : 28399 (java) S 28342 28345 27613 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 6 0 224159935 10245611520 4715 33554432000 4194304 4196468 140721589198592 140409453181968 140409448949461 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28400] ppid=28342 vsize=10005480 memory=140580127159936 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28400/stat : 28400 (java) S 28342 28345 27613 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 6 0 224159935 10245611520 4715 33554432000 4194304 4196468 140721589198592 140409334447248 140409448949461 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28401] ppid=28342 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28401/stat : 28401 (java) S 28342 28345 27613 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 6 0 224159935 10245611520 4715 33554432000 4194304 4196468 140721589198592 140409333394192 140409448949461 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28402] ppid=28342 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28402/stat : 28402 (java) S 28342 28345 27613 0 -1 1077944384 2 12992 0 0 0 0 4 3 20 0 6 0 224159935 10245611520 4715 33554432000 4194304 4196468 140721589198592 140409332341648 140409448949461 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18860 KiB
[startup+0.209958 s]*
/proc/loadavg: 1.62 1.48 1.40 3/215 28411
/proc/meminfo: memFree=28051216/32770624 swapFree=67108804/67108860
[pid=28345] ppid=28342 vsize=10985364 memory=45056 CPUtime=0.25 cores=1,3,5,7
/proc/28345/stat : 28345 (java) S 28342 28345 27613 0 -1 1077944320 8497 12992 0 0 16 2 4 3 20 0 15 0 224159925 11249012736 11264 33554432000 4194304 4196468 140721589198592 140721589181136 140409448939255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
/proc/28345/statm: 2746341 11264 2953 1 0 2708764 0
[pid=28345/tid=28398] ppid=28342 vsize=10985364 memory=-6517102902069810590 CPUtime=0.18 cores=1,3,5,7
/proc/28345/task/28398/stat : 28398 (java) R 28342 28345 27613 0 -1 4202560 5103 12992 0 0 10 1 4 3 20 0 15 0 224159934 11249012736 11330 33554432000 4194304 4196468 140721589198592 140409420764064 140409441618973 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28399] ppid=28342 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28399/stat : 28399 (java) S 28342 28345 27613 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 224159935 11249012736 11330 33554432000 4194304 4196468 140721589198592 140409453181968 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28400] ppid=28342 vsize=10985364 memory=140580127159936 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28400/stat : 28400 (java) S 28342 28345 27613 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 224159935 11249012736 11330 33554432000 4194304 4196468 140721589198592 140409334447248 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28401] ppid=28342 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28401/stat : 28401 (java) S 28342 28345 27613 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 224159935 11249012736 11330 33554432000 4194304 4196468 140721589198592 140409333394192 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28402] ppid=28342 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28402/stat : 28402 (java) S 28342 28345 27613 0 -1 1077944384 2 12992 0 0 0 0 4 3 20 0 15 0 224159935 11249012736 11378 33554432000 4194304 4196468 140721589198592 140409332341648 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28403] ppid=28342 vsize=10985364 memory=140580127159936 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28403/stat : 28403 (java) S 28342 28345 27613 0 -1 1077944384 2 12992 0 0 0 0 4 3 20 0 15 0 224159936 11249012736 10979 33554432000 4194304 4196468 140721589198592 140408942016752 140409448950402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28404] ppid=28342 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28404/stat : 28404 (java) S 28342 28345 27613 0 -1 1077944384 13 12992 0 0 0 0 4 3 20 0 15 0 224159936 11249012736 10979 33554432000 4194304 4196468 140721589198592 140408252261536 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28405] ppid=28342 vsize=10983736 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28405/stat : 28405 (java) S 28342 28345 27613 0 -1 1077944384 21 12992 0 0 0 0 4 3 20 0 15 0 224159937 11247345664 10866 33554432000 4194304 4196468 140721589198592 140408185148144 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28406] ppid=28342 vsize=10983736 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28406/stat : 28406 (java) S 28342 28345 27613 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 224159939 11247345664 10739 33554432000 4194304 4196468 140721589198592 140407877752784 140409448957851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28407] ppid=28342 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28345/task/28407/stat : 28407 (java) S 28342 28345 27613 0 -1 1077944384 368 12992 0 0 1 0 4 3 20 0 15 0 224159939 11246329856 10731 33554432000 4194304 4196468 140721589198592 140408940964592 140409448950402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28408] ppid=28342 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28408/stat : 28408 (java) S 28342 28345 27613 0 -1 1077944384 253 12992 0 0 0 0 4 3 20 0 15 0 224159939 11246329856 10731 33554432000 4194304 4196468 140721589198592 140408939912048 140409448950402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28409] ppid=28342 vsize=10982744 memory=140580127159936 CPUtime=0.1 cores=1,3,5,7
/proc/28345/task/28409/stat : 28409 (java) S 28342 28345 27613 0 -1 1077944384 603 12992 0 0 3 0 4 3 20 0 15 0 224159939 11246329856 10731 33554432000 4194304 4196468 140721589198592 140408938858992 140409448950402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28410] ppid=28342 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28410/stat : 28410 (java) S 28342 28345 27613 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 224159940 11246329856 10731 33554432000 4194304 4196468 140721589198592 140407446956896 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28411] ppid=28342 vsize=10982744 memory=140580127159936 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28411/stat : 28411 (java) S 28342 28345 27613 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 224159940 11246329856 10731 33554432000 4194304 4196468 140721589198592 140408937806384 140409448950402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10985364 KiB
Current children cumulated memory: 45056 KiB
[startup+0.310379 s]*
/proc/loadavg: 1.62 1.48 1.40 3/215 28411
/proc/meminfo: memFree=28038192/32770624 swapFree=67108804/67108860
[pid=28345] ppid=28342 vsize=10983192 memory=53384 CPUtime=0.38 cores=1,3,5,7
/proc/28345/stat : 28345 (java) S 28342 28345 27613 0 -1 1077944320 10464 12992 0 0 28 3 4 3 20 0 15 0 224159925 11246788608 13346 33554432000 4194304 4196468 140721589198592 140721589181136 140409448939255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
/proc/28345/statm: 2745798 13346 3072 1 0 2708109 0
[pid=28345/tid=28398] ppid=28342 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/28345/task/28398/stat : 28398 (java) R 28342 28345 27613 0 -1 4202560 6992 12992 0 0 19 2 4 3 20 0 15 0 224159934 11246788608 13346 33554432000 4194304 4196468 140721589198592 140409420751264 140409442039188 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28399] ppid=28342 vsize=10983192 memory=7084813469699035216 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28399/stat : 28399 (java) S 28342 28345 27613 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 224159935 11246788608 13346 33554432000 4194304 4196468 140721589198592 140409453181968 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28400] ppid=28342 vsize=10983192 memory=2076 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28400/stat : 28400 (java) S 28342 28345 27613 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 224159935 11246788608 13346 33554432000 4194304 4196468 140721589198592 140409334447248 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28401] ppid=28342 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28401/stat : 28401 (java) S 28342 28345 27613 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 224159935 11246788608 13346 33554432000 4194304 4196468 140721589198592 140409333394192 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28402] ppid=28342 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28402/stat : 28402 (java) S 28342 28345 27613 0 -1 1077944384 2 12992 0 0 0 0 4 3 20 0 15 0 224159935 11246788608 13346 33554432000 4194304 4196468 140721589198592 140409332341648 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28403] ppid=28342 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28403/stat : 28403 (java) S 28342 28345 27613 0 -1 1077944384 2 12992 0 0 0 0 4 3 20 0 15 0 224159936 11246788608 13346 33554432000 4194304 4196468 140721589198592 140408942016752 140409448950402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28404] ppid=28342 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28404/stat : 28404 (java) S 28342 28345 27613 0 -1 1077944384 13 12992 0 0 0 0 4 3 20 0 15 0 224159936 11246788608 13346 33554432000 4194304 4196468 140721589198592 140408252261536 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28405] ppid=28342 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28405/stat : 28405 (java) S 28342 28345 27613 0 -1 1077944384 21 12992 0 0 0 0 4 3 20 0 15 0 224159937 11246788608 13346 33554432000 4194304 4196468 140721589198592 140408185148144 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28406] ppid=28342 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28406/stat : 28406 (java) S 28342 28345 27613 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 224159939 11246788608 13346 33554432000 4194304 4196468 140721589198592 140407877752784 140409448957851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28407] ppid=28342 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/28345/task/28407/stat : 28407 (java) S 28342 28345 27613 0 -1 1077944384 369 12992 0 0 2 0 4 3 20 0 15 0 224159939 11246788608 13346 33554432000 4194304 4196468 140721589198592 140408940964592 140409448950402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28408] ppid=28342 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28345/task/28408/stat : 28408 (java) S 28342 28345 27613 0 -1 1077944384 253 12992 0 0 1 0 4 3 20 0 15 0 224159939 11246788608 13346 33554432000 4194304 4196468 140721589198592 140408939912048 140409448950402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28409] ppid=28342 vsize=10983192 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/28345/task/28409/stat : 28409 (java) R 28342 28345 27613 0 -1 4202560 613 12992 0 0 5 0 4 3 20 0 15 0 224159939 11246788608 13346 33554432000 4194304 4196468 140721589198592 140408938858992 140409428910440 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28410] ppid=28342 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28410/stat : 28410 (java) S 28342 28345 27613 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 224159940 11246788608 13346 33554432000 4194304 4196468 140721589198592 140407446956896 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28411] ppid=28342 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28411/stat : 28411 (java) S 28342 28345 27613 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 224159940 11246788608 13346 33554432000 4194304 4196468 140721589198592 140408937806384 140409448950402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 53384 KiB
[startup+0.700724 s]
/proc/loadavg: 1.62 1.48 1.40 3/215 28411
/proc/meminfo: memFree=28027812/32770624 swapFree=67108804/67108860
[pid=28345] ppid=28342 vsize=10983192 memory=86556 CPUtime=0.99 cores=1,3,5,7
/proc/28345/stat : 28345 (java) S 28342 28345 27613 0 -1 1077944320 16782 12992 0 0 87 5 4 3 20 0 15 0 224159925 11246788608 21639 33554432000 4194304 4196468 140721589198592 140721589181136 140409448939255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
/proc/28345/statm: 2745798 21639 3238 1 0 2708109 0
[pid=28345/tid=28398] ppid=28342 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/28345/task/28398/stat : 28398 (java) R 28342 28345 27613 0 -1 4202560 12181 12992 0 0 55 4 4 3 20 0 15 0 224159934 11246788608 21639 33554432000 4194304 4196468 140721589198592 140409420760080 140409430502815 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28399] ppid=28342 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28399/stat : 28399 (java) S 28342 28345 27613 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 224159935 11246788608 21639 33554432000 4194304 4196468 140721589198592 140409453181968 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28400] ppid=28342 vsize=10983192 memory=3708 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28400/stat : 28400 (java) S 28342 28345 27613 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 224159935 11246788608 21639 33554432000 4194304 4196468 140721589198592 140409334447248 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28401] ppid=28342 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28401/stat : 28401 (java) S 28342 28345 27613 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 224159935 11246788608 21639 33554432000 4194304 4196468 140721589198592 140409333394192 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28402] ppid=28342 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28402/stat : 28402 (java) S 28342 28345 27613 0 -1 1077944384 2 12992 0 0 0 0 4 3 20 0 15 0 224159935 11246788608 21639 33554432000 4194304 4196468 140721589198592 140409332341648 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28403] ppid=28342 vsize=10983192 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28403/stat : 28403 (java) S 28342 28345 27613 0 -1 1077944384 5 12992 0 0 0 0 4 3 20 0 15 0 224159936 11246788608 21639 33554432000 4194304 4196468 140721589198592 140408942016752 140409448950402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28404] ppid=28342 vsize=10983192 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28404/stat : 28404 (java) S 28342 28345 27613 0 -1 1077944384 13 12992 0 0 0 0 4 3 20 0 15 0 224159936 11246788608 21639 33554432000 4194304 4196468 140721589198592 140408252261536 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28405] ppid=28342 vsize=10983192 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28405/stat : 28405 (java) S 28342 28345 27613 0 -1 1077944384 21 12992 0 0 0 0 4 3 20 0 15 0 224159937 11246788608 21639 33554432000 4194304 4196468 140721589198592 140408185148144 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28406] ppid=28342 vsize=10983192 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28406/stat : 28406 (java) S 28342 28345 27613 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 224159939 11246788608 21639 33554432000 4194304 4196468 140721589198592 140407877752784 140409448957851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28407] ppid=28342 vsize=10983192 memory=13252 CPUtime=0.17 cores=1,3,5,7
/proc/28345/task/28407/stat : 28407 (java) S 28342 28345 27613 0 -1 1077944384 1014 12992 0 0 10 0 4 3 20 0 15 0 224159939 11246788608 21639 33554432000 4194304 4196468 140721589198592 140408940964592 140409448950402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28408] ppid=28342 vsize=10983192 memory=15460 CPUtime=0.14 cores=1,3,5,7
/proc/28345/task/28408/stat : 28408 (java) S 28342 28345 27613 0 -1 1077944384 653 12992 0 0 7 0 4 3 20 0 15 0 224159939 11246788608 21639 33554432000 4194304 4196468 140721589198592 140408939912048 140409448950402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28409] ppid=28342 vsize=10983192 memory=17668 CPUtime=0.2 cores=1,3,5,7
/proc/28345/task/28409/stat : 28409 (java) S 28342 28345 27613 0 -1 1077944384 691 12992 0 0 13 0 4 3 20 0 15 0 224159939 11246788608 21639 33554432000 4194304 4196468 140721589198592 140408938858992 140409448950402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28410] ppid=28342 vsize=10983192 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28410/stat : 28410 (java) S 28342 28345 27613 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 224159940 11246788608 21639 33554432000 4194304 4196468 140721589198592 140407446956896 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28411] ppid=28342 vsize=10983192 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28411/stat : 28411 (java) S 28342 28345 27613 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 224159940 11246788608 21639 33554432000 4194304 4196468 140721589198592 140408937806384 140409448950402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 86556 KiB
[startup+1.50076 s]
/proc/loadavg: 1.62 1.48 1.40 3/215 28411
/proc/meminfo: memFree=27981272/32770624 swapFree=67108804/67108860
[pid=28345] ppid=28342 vsize=10996044 memory=189356 CPUtime=2.98 cores=1,3,5,7
/proc/28345/stat : 28345 (java) S 28342 28345 27613 0 -1 1077944320 25374 12992 0 0 283 8 4 3 20 0 15 0 224159925 11259949056 47339 33554432000 4194304 4196468 140721589198592 140721589181136 140409448939255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
/proc/28345/statm: 2749011 47339 3478 1 0 2710669 0
[pid=28345/tid=28398] ppid=28342 vsize=10996044 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/28345/task/28398/stat : 28398 (java) S 28342 28345 27613 0 -1 1077944384 17065 12992 0 0 130 6 4 3 20 0 15 0 224159934 11259949056 47339 33554432000 4194304 4196468 140721589198592 140409420753776 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28399] ppid=28342 vsize=10996044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28345/task/28399/stat : 28399 (java) S 28342 28345 27613 0 -1 1077944384 70 12992 0 0 1 0 4 3 20 0 15 0 224159935 11259949056 47339 33554432000 4194304 4196468 140721589198592 140409453181968 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28400] ppid=28342 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28400/stat : 28400 (java) S 28342 28345 27613 0 -1 1077944384 7 12992 0 0 0 0 4 3 20 0 15 0 224159935 11259949056 47339 33554432000 4194304 4196468 140721589198592 140409334447248 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28401] ppid=28342 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28401/stat : 28401 (java) S 28342 28345 27613 0 -1 1077944384 61 12992 0 0 0 0 4 3 20 0 15 0 224159935 11259949056 47339 33554432000 4194304 4196468 140721589198592 140409333394192 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28402] ppid=28342 vsize=10996044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28345/task/28402/stat : 28402 (java) S 28342 28345 27613 0 -1 1077944384 124 12992 0 0 1 0 4 3 20 0 15 0 224159935 11259949056 47339 33554432000 4194304 4196468 140721589198592 140409332341648 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28403] ppid=28342 vsize=10996044 memory=1399103955520229747 CPUtime=0.08 cores=1,3,5,7
/proc/28345/task/28403/stat : 28403 (java) R 28342 28345 27613 0 -1 4202560 112 12992 0 0 1 0 4 3 20 0 15 0 224159936 11259949056 47339 33554432000 4194304 4196468 140721589198592 140408942015040 140409434069168 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28404] ppid=28342 vsize=10996044 memory=281159967779072 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28404/stat : 28404 (java) S 28342 28345 27613 0 -1 1077944384 13 12992 0 0 0 0 4 3 20 0 15 0 224159936 11259949056 47339 33554432000 4194304 4196468 140721589198592 140408252261536 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28405] ppid=28342 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28405/stat : 28405 (java) S 28342 28345 27613 0 -1 1077944384 21 12992 0 0 0 0 4 3 20 0 15 0 224159937 11259949056 47339 33554432000 4194304 4196468 140721589198592 140408185148144 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28406] ppid=28342 vsize=10996044 memory=1084 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28406/stat : 28406 (java) S 28342 28345 27613 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 224159939 11259949056 47339 33554432000 4194304 4196468 140721589198592 140407877752784 140409448957851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28407] ppid=28342 vsize=10996044 memory=1600 CPUtime=0.54 cores=1,3,5,7
/proc/28345/task/28407/stat : 28407 (java) S 28342 28345 27613 0 -1 1077944384 1776 12992 0 0 47 0 4 3 20 0 15 0 224159939 11259949056 47339 33554432000 4194304 4196468 140721589198592 140408940964592 140409448950402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28408] ppid=28342 vsize=10996044 memory=7952 CPUtime=0.65 cores=1,3,5,7
/proc/28345/task/28408/stat : 28408 (java) R 28342 28345 27613 0 -1 4202560 2305 12992 0 0 58 0 4 3 20 0 15 0 224159939 11259949056 47339 33554432000 4194304 4196468 140721589198592 140408939898072 140409430460440 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28409] ppid=28342 vsize=10996044 memory=4088 CPUtime=0.5 cores=1,3,5,7
/proc/28345/task/28409/stat : 28409 (java) S 28342 28345 27613 0 -1 1077944384 1621 12992 0 0 43 0 4 3 20 0 15 0 224159939 11259949056 47339 33554432000 4194304 4196468 140721589198592 140408938858992 140409448950402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28410] ppid=28342 vsize=10996044 memory=1784 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28410/stat : 28410 (java) S 28342 28345 27613 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 224159940 11259949056 47339 33554432000 4194304 4196468 140721589198592 140407446956896 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28411] ppid=28342 vsize=10996044 memory=1060 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28411/stat : 28411 (java) S 28342 28345 27613 0 -1 1077944384 1 12992 0 0 0 0 4 3 20 0 15 0 224159940 11259949056 47339 33554432000 4194304 4196468 140721589198592 140408937806384 140409448950402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 10996044 KiB
################
# More data... #
################
/proc/28345/task/28398/stat : 28398 (java) R 28342 28345 27613 0 -1 4202560 93086 12992 0 0 237184 42 4 3 20 0 15 0 224159934 11345952768 169745 33554432000 4194304 4196468 140721589198592 140409420774560 140409027781135 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28399] ppid=28342 vsize=11080032 memory=678980 CPUtime=6.13 cores=1,3,5,7
/proc/28345/task/28399/stat : 28399 (java) S 28342 28345 27613 0 -1 1077944384 20394 12992 0 0 574 32 4 3 20 0 15 0 224159935 11345952768 169745 33554432000 4194304 4196468 140721589198592 140409453181968 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28400] ppid=28342 vsize=11080032 memory=678980 CPUtime=6.14 cores=1,3,5,7
/proc/28345/task/28400/stat : 28400 (java) S 28342 28345 27613 0 -1 1077944384 13971 12992 0 0 574 33 4 3 20 0 15 0 224159935 11345952768 169745 33554432000 4194304 4196468 140721589198592 140409334447248 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28401] ppid=28342 vsize=11080032 memory=678980 CPUtime=6.14 cores=1,3,5,7
/proc/28345/task/28401/stat : 28401 (java) S 28342 28345 27613 0 -1 1077944384 10329 12992 0 0 572 35 4 3 20 0 15 0 224159935 11345952768 169745 33554432000 4194304 4196468 140721589198592 140409333394192 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28402] ppid=28342 vsize=11080032 memory=678980 CPUtime=6.16 cores=1,3,5,7
/proc/28345/task/28402/stat : 28402 (java) S 28342 28345 27613 0 -1 1077944384 13536 12992 0 0 575 34 4 3 20 0 15 0 224159935 11345952768 169745 33554432000 4194304 4196468 140721589198592 140409332341648 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28403] ppid=28342 vsize=11080032 memory=678980 CPUtime=2.49 cores=1,3,5,7
/proc/28345/task/28403/stat : 28403 (java) S 28342 28345 27613 0 -1 1077944384 13176 12992 0 0 221 21 4 3 20 0 15 0 224159936 11345952768 169745 33554432000 4194304 4196468 140721589198592 140408942016752 140409448950402 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28404] ppid=28342 vsize=11080032 memory=678980 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28404/stat : 28404 (java) S 28342 28345 27613 0 -1 1077944384 17 12992 0 0 0 0 4 3 20 0 15 0 224159936 11345952768 169745 33554432000 4194304 4196468 140721589198592 140408252261600 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28405] ppid=28342 vsize=11080032 memory=678980 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28405/stat : 28405 (java) S 28342 28345 27613 0 -1 1077944384 44 12992 0 0 0 0 4 3 20 0 15 0 224159937 11345952768 169745 33554432000 4194304 4196468 140721589198592 140408185148160 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28406] ppid=28342 vsize=11080032 memory=678980 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28406/stat : 28406 (java) S 28342 28345 27613 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 224159939 11345952768 169745 33554432000 4194304 4196468 140721589198592 140407877752784 140409448957851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28407] ppid=28342 vsize=11080032 memory=678980 CPUtime=5.47 cores=1,3,5,7
/proc/28345/task/28407/stat : 28407 (java) S 28342 28345 27613 0 -1 1077944384 48023 12992 0 0 534 6 4 3 20 0 15 0 224159939 11345952768 169745 33554432000 4194304 4196468 140721589198592 140408940964592 140409448950402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28408] ppid=28342 vsize=11080032 memory=678980 CPUtime=5.59 cores=1,3,5,7
/proc/28345/task/28408/stat : 28408 (java) S 28342 28345 27613 0 -1 1077944384 53369 12992 0 0 547 5 4 3 20 0 15 0 224159939 11345952768 169745 33554432000 4194304 4196468 140721589198592 140408939912048 140409448950402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28409] ppid=28342 vsize=11080032 memory=678980 CPUtime=2.61 cores=1,3,5,7
/proc/28345/task/28409/stat : 28409 (java) S 28342 28345 27613 0 -1 1077944384 40655 12992 0 0 249 5 4 3 20 0 15 0 224159939 11345952768 169745 33554432000 4194304 4196468 140721589198592 140408938858992 140409448950402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28410] ppid=28342 vsize=11080032 memory=3708 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28410/stat : 28410 (java) S 28342 28345 27613 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 224159940 11345952768 169745 33554432000 4194304 4196468 140721589198592 140407446956896 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28411] ppid=28342 vsize=11080032 memory=60928 CPUtime=1.4 cores=1,3,5,7
/proc/28345/task/28411/stat : 28411 (java) S 28342 28345 27613 0 -1 1077944384 1478 12992 0 0 63 70 4 3 20 0 15 0 224159940 11345952768 169745 33554432000 4194304 4196468 140721589198592 140408937806384 140409448950402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
Current children cumulated CPU time: 2413.95 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 678980 KiB
[startup+2442.3 s]
/proc/loadavg: 1.59 1.36 1.34 3/215 28508
/proc/meminfo: memFree=27279300/32770624 swapFree=67108804/67108860
[pid=28345] ppid=28342 vsize=11080032 memory=681028 CPUtime=2474.45 cores=1,3,5,7
/proc/28345/stat : 28345 (java) S 28342 28345 27613 0 -1 1077944320 311958 12992 0 0 247176 262 4 3 20 0 15 0 224159925 11345952768 170257 33554432000 4194304 4196468 140721589198592 140721589181136 140409448939255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
/proc/28345/statm: 2770008 170257 3534 1 0 2731661 0
[pid=28345/tid=28398] ppid=28342 vsize=11080032 memory=681028 CPUtime=2432.06 cores=1,3,5,7
/proc/28345/task/28398/stat : 28398 (java) R 28342 28345 27613 0 -1 4202560 93502 12992 0 0 243157 42 4 3 20 0 15 0 224159934 11345952768 170257 33554432000 4194304 4196468 140721589198592 140409420773600 140409027665856 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28399] ppid=28342 vsize=11080032 memory=681028 CPUtime=6.29 cores=1,3,5,7
/proc/28345/task/28399/stat : 28399 (java) S 28342 28345 27613 0 -1 1077944384 20654 12992 0 0 590 32 4 3 20 0 15 0 224159935 11345952768 170257 33554432000 4194304 4196468 140721589198592 140409453181968 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28400] ppid=28342 vsize=11080032 memory=681028 CPUtime=6.3 cores=1,3,5,7
/proc/28345/task/28400/stat : 28400 (java) S 28342 28345 27613 0 -1 1077944384 14298 12992 0 0 590 33 4 3 20 0 15 0 224159935 11345952768 170257 33554432000 4194304 4196468 140721589198592 140409334447248 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28401] ppid=28342 vsize=11080032 memory=681028 CPUtime=6.31 cores=1,3,5,7
/proc/28345/task/28401/stat : 28401 (java) S 28342 28345 27613 0 -1 1077944384 10424 12992 0 0 589 35 4 3 20 0 15 0 224159935 11345952768 170257 33554432000 4194304 4196468 140721589198592 140409333394192 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28402] ppid=28342 vsize=11080032 memory=681028 CPUtime=6.33 cores=1,3,5,7
/proc/28345/task/28402/stat : 28402 (java) S 28342 28345 27613 0 -1 1077944384 13614 12992 0 0 592 34 4 3 20 0 15 0 224159935 11345952768 170257 33554432000 4194304 4196468 140721589198592 140409332341648 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28403] ppid=28342 vsize=11080032 memory=681028 CPUtime=2.55 cores=1,3,5,7
/proc/28345/task/28403/stat : 28403 (java) S 28342 28345 27613 0 -1 1077944384 13366 12992 0 0 227 21 4 3 20 0 15 0 224159936 11345952768 170257 33554432000 4194304 4196468 140721589198592 140408942016752 140409448950402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28404] ppid=28342 vsize=11080032 memory=678980 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28404/stat : 28404 (java) S 28342 28345 27613 0 -1 1077944384 17 12992 0 0 0 0 4 3 20 0 15 0 224159936 11345952768 170257 33554432000 4194304 4196468 140721589198592 140408252261600 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28405] ppid=28342 vsize=11080032 memory=681028 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28405/stat : 28405 (java) S 28342 28345 27613 0 -1 1077944384 44 12992 0 0 0 0 4 3 20 0 15 0 224159937 11345952768 170257 33554432000 4194304 4196468 140721589198592 140408185148160 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28406] ppid=28342 vsize=11080032 memory=681028 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28406/stat : 28406 (java) S 28342 28345 27613 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 224159939 11345952768 170257 33554432000 4194304 4196468 140721589198592 140407877752784 140409448957851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28407] ppid=28342 vsize=11080032 memory=681028 CPUtime=5.47 cores=1,3,5,7
/proc/28345/task/28407/stat : 28407 (java) S 28342 28345 27613 0 -1 1077944384 48025 12992 0 0 534 6 4 3 20 0 15 0 224159939 11345952768 170257 33554432000 4194304 4196468 140721589198592 140408940964592 140409448950402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28408] ppid=28342 vsize=11080032 memory=7 CPUtime=5.6 cores=1,3,5,7
/proc/28345/task/28408/stat : 28408 (java) S 28342 28345 27613 0 -1 1077944384 53553 12992 0 0 548 5 4 3 20 0 15 0 224159939 11345952768 170257 33554432000 4194304 4196468 140721589198592 140408939912048 140409448950402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28409] ppid=28342 vsize=11080032 memory=681028 CPUtime=2.61 cores=1,3,5,7
/proc/28345/task/28409/stat : 28409 (java) S 28342 28345 27613 0 -1 1077944384 40758 12992 0 0 249 5 4 3 20 0 15 0 224159939 11345952768 170257 33554432000 4194304 4196468 140721589198592 140408938858992 140409448950402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28410] ppid=28342 vsize=11080032 memory=681028 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28410/stat : 28410 (java) S 28342 28345 27613 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 224159940 11345952768 170257 33554432000 4194304 4196468 140721589198592 140407446956896 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28411] ppid=28342 vsize=11080032 memory=15292 CPUtime=1.43 cores=1,3,5,7
/proc/28345/task/28411/stat : 28411 (java) S 28342 28345 27613 0 -1 1077944384 1505 12992 0 0 64 72 4 3 20 0 15 0 224159940 11345952768 170257 33554432000 4194304 4196468 140721589198592 140408937806384 140409448950402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
Current children cumulated CPU time: 2474.45 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 681028 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2487.5 s]
/proc/loadavg: 1.42 1.34 1.33 4/215 28637
/proc/meminfo: memFree=27528528/32770624 swapFree=67108804/67108860
[pid=28345] ppid=28342 vsize=11080032 memory=681028 CPUtime=2520.02 cores=1,3,5,7
/proc/28345/stat : 28345 (java) S 28342 28345 27613 0 -1 1077944320 313235 12992 0 0 251730 265 4 3 20 0 15 0 224159925 11345952768 170257 33554432000 4194304 4196468 140721589198592 140721589181136 140409448939255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
/proc/28345/statm: 2770008 170257 3534 1 0 2731661 0
[pid=28345/tid=28398] ppid=28342 vsize=11080032 memory=681028 CPUtime=2477.08 cores=1,3,5,7
/proc/28345/task/28398/stat : 28398 (java) R 28342 28345 27613 0 -1 4202560 93804 12992 0 0 247658 43 4 3 20 0 15 0 224159934 11345952768 170257 33554432000 4194304 4196468 140721589198592 140409420774672 140409027781618 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28399] ppid=28342 vsize=11080032 memory=681028 CPUtime=6.42 cores=1,3,5,7
/proc/28345/task/28399/stat : 28399 (java) S 28342 28345 27613 0 -1 1077944384 20673 12992 0 0 602 33 4 3 20 0 15 0 224159935 11345952768 170257 33554432000 4194304 4196468 140721589198592 140409453181968 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28400] ppid=28342 vsize=11080032 memory=681028 CPUtime=6.41 cores=1,3,5,7
/proc/28345/task/28400/stat : 28400 (java) S 28342 28345 27613 0 -1 1077944384 14610 12992 0 0 601 33 4 3 20 0 15 0 224159935 11345952768 170257 33554432000 4194304 4196468 140721589198592 140409334447248 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28401] ppid=28342 vsize=11080032 memory=681028 CPUtime=6.42 cores=1,3,5,7
/proc/28345/task/28401/stat : 28401 (java) S 28342 28345 27613 0 -1 1077944384 10476 12992 0 0 600 35 4 3 20 0 15 0 224159935 11345952768 170257 33554432000 4194304 4196468 140721589198592 140409333394192 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28402] ppid=28342 vsize=11080032 memory=681028 CPUtime=6.45 cores=1,3,5,7
/proc/28345/task/28402/stat : 28402 (java) S 28342 28345 27613 0 -1 1077944384 13671 12992 0 0 603 35 4 3 20 0 15 0 224159935 11345952768 170257 33554432000 4194304 4196468 140721589198592 140409332341648 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28403] ppid=28342 vsize=11080032 memory=681028 CPUtime=2.6 cores=1,3,5,7
/proc/28345/task/28403/stat : 28403 (java) S 28342 28345 27613 0 -1 1077944384 13379 12992 0 0 232 21 4 3 20 0 15 0 224159936 11345952768 170257 33554432000 4194304 4196468 140721589198592 140408942016752 140409448950402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28404] ppid=28342 vsize=11080032 memory=681028 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28404/stat : 28404 (java) S 28342 28345 27613 0 -1 1077944384 17 12992 0 0 0 0 4 3 20 0 15 0 224159936 11345952768 170257 33554432000 4194304 4196468 140721589198592 140408252261600 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28405] ppid=28342 vsize=11080032 memory=3708 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28405/stat : 28405 (java) S 28342 28345 27613 0 -1 1077944384 44 12992 0 0 0 0 4 3 20 0 15 0 224159937 11345952768 170257 33554432000 4194304 4196468 140721589198592 140408185148160 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28406] ppid=28342 vsize=11080032 memory=681028 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28406/stat : 28406 (java) S 28342 28345 27613 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 224159939 11345952768 170257 33554432000 4194304 4196468 140721589198592 140407877752784 140409448957851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28407] ppid=28342 vsize=11080032 memory=681028 CPUtime=5.47 cores=1,3,5,7
/proc/28345/task/28407/stat : 28407 (java) S 28342 28345 27613 0 -1 1077944384 48386 12992 0 0 534 6 4 3 20 0 15 0 224159939 11345952768 170257 33554432000 4194304 4196468 140721589198592 140408940964592 140409448950402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28408] ppid=28342 vsize=11080032 memory=681028 CPUtime=5.6 cores=1,3,5,7
/proc/28345/task/28408/stat : 28408 (java) S 28342 28345 27613 0 -1 1077944384 53553 12992 0 0 548 5 4 3 20 0 15 0 224159939 11345952768 170257 33554432000 4194304 4196468 140721589198592 140408939912048 140409448950402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28409] ppid=28342 vsize=11080032 memory=3708 CPUtime=2.62 cores=1,3,5,7
/proc/28345/task/28409/stat : 28409 (java) S 28342 28345 27613 0 -1 1077944384 40912 12992 0 0 250 5 4 3 20 0 15 0 224159939 11345952768 170257 33554432000 4194304 4196468 140721589198592 140408938858992 140409448950402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28410] ppid=28342 vsize=11080032 memory=681028 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28410/stat : 28410 (java) S 28342 28345 27613 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 224159940 11345952768 170257 33554432000 4194304 4196468 140721589198592 140407446956896 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28411] ppid=28342 vsize=11080032 memory=4088 CPUtime=1.46 cores=1,3,5,7
/proc/28345/task/28411/stat : 28411 (java) S 28342 28345 27613 0 -1 1077944384 1512 12992 0 0 65 74 4 3 20 0 15 0 224159940 11345952768 170257 33554432000 4194304 4196468 140721589198592 140408937806384 140409448950402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 681028 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2487.54 s]
# the end of solver process 28345 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.38 s, system=2.69479 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2487.5 s]
/proc/loadavg: 1.42 1.34 1.33 4/215 28637
/proc/meminfo: memFree=27528528/32770624 swapFree=67108804/67108860
[pid=28345] ppid=28342 vsize=11080032 memory=681028 CPUtime=2520.02 cores=1,3,5,7
/proc/28345/stat : 28345 (java) S 28342 28345 27613 0 -1 1077944320 313235 12992 0 0 251730 265 4 3 20 0 15 0 224159925 11345952768 170257 33554432000 4194304 4196468 140721589198592 140721589181136 140409448939255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
/proc/28345/statm: 2770008 170257 3534 1 0 2731661 0
[pid=28345/tid=28398] ppid=28342 vsize=11080032 memory=681028 CPUtime=2477.08 cores=1,3,5,7
/proc/28345/task/28398/stat : 28398 (java) R 28342 28345 27613 0 -1 4202560 93804 12992 0 0 247658 43 4 3 20 0 15 0 224159934 11345952768 170257 33554432000 4194304 4196468 140721589198592 140409420774672 140409027781618 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28399] ppid=28342 vsize=11080032 memory=681028 CPUtime=6.42 cores=1,3,5,7
/proc/28345/task/28399/stat : 28399 (java) S 28342 28345 27613 0 -1 1077944384 20673 12992 0 0 602 33 4 3 20 0 15 0 224159935 11345952768 170257 33554432000 4194304 4196468 140721589198592 140409453181968 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28400] ppid=28342 vsize=11080032 memory=681028 CPUtime=6.41 cores=1,3,5,7
/proc/28345/task/28400/stat : 28400 (java) S 28342 28345 27613 0 -1 1077944384 14610 12992 0 0 601 33 4 3 20 0 15 0 224159935 11345952768 170257 33554432000 4194304 4196468 140721589198592 140409334447248 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28401] ppid=28342 vsize=11080032 memory=681028 CPUtime=6.42 cores=1,3,5,7
/proc/28345/task/28401/stat : 28401 (java) S 28342 28345 27613 0 -1 1077944384 10476 12992 0 0 600 35 4 3 20 0 15 0 224159935 11345952768 170257 33554432000 4194304 4196468 140721589198592 140409333394192 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28402] ppid=28342 vsize=11080032 memory=681028 CPUtime=6.45 cores=1,3,5,7
/proc/28345/task/28402/stat : 28402 (java) S 28342 28345 27613 0 -1 1077944384 13671 12992 0 0 603 35 4 3 20 0 15 0 224159935 11345952768 170257 33554432000 4194304 4196468 140721589198592 140409332341648 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28403] ppid=28342 vsize=11080032 memory=681028 CPUtime=2.6 cores=1,3,5,7
/proc/28345/task/28403/stat : 28403 (java) S 28342 28345 27613 0 -1 1077944384 13379 12992 0 0 232 21 4 3 20 0 15 0 224159936 11345952768 170257 33554432000 4194304 4196468 140721589198592 140408942016752 140409448950402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28404] ppid=28342 vsize=11080032 memory=681028 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28404/stat : 28404 (java) S 28342 28345 27613 0 -1 1077944384 17 12992 0 0 0 0 4 3 20 0 15 0 224159936 11345952768 170257 33554432000 4194304 4196468 140721589198592 140408252261600 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28405] ppid=28342 vsize=11080032 memory=3708 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28405/stat : 28405 (java) S 28342 28345 27613 0 -1 1077944384 44 12992 0 0 0 0 4 3 20 0 15 0 224159937 11345952768 170257 33554432000 4194304 4196468 140721589198592 140408185148160 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28406] ppid=28342 vsize=11080032 memory=681028 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28406/stat : 28406 (java) S 28342 28345 27613 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 224159939 11345952768 170257 33554432000 4194304 4196468 140721589198592 140407877752784 140409448957851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28407] ppid=28342 vsize=11080032 memory=681028 CPUtime=5.47 cores=1,3,5,7
/proc/28345/task/28407/stat : 28407 (java) S 28342 28345 27613 0 -1 1077944384 48386 12992 0 0 534 6 4 3 20 0 15 0 224159939 11345952768 170257 33554432000 4194304 4196468 140721589198592 140408940964592 140409448950402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28408] ppid=28342 vsize=11080032 memory=681028 CPUtime=5.6 cores=1,3,5,7
/proc/28345/task/28408/stat : 28408 (java) S 28342 28345 27613 0 -1 1077944384 53553 12992 0 0 548 5 4 3 20 0 15 0 224159939 11345952768 170257 33554432000 4194304 4196468 140721589198592 140408939912048 140409448950402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28409] ppid=28342 vsize=11080032 memory=3708 CPUtime=2.62 cores=1,3,5,7
/proc/28345/task/28409/stat : 28409 (java) S 28342 28345 27613 0 -1 1077944384 40912 12992 0 0 250 5 4 3 20 0 15 0 224159939 11345952768 170257 33554432000 4194304 4196468 140721589198592 140408938858992 140409448950402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28410] ppid=28342 vsize=11080032 memory=681028 CPUtime=0.07 cores=1,3,5,7
/proc/28345/task/28410/stat : 28410 (java) S 28342 28345 27613 0 -1 1077944384 3 12992 0 0 0 0 4 3 20 0 15 0 224159940 11345952768 170257 33554432000 4194304 4196468 140721589198592 140407446956896 140409448949461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
[pid=28345/tid=28411] ppid=28342 vsize=11080032 memory=4088 CPUtime=1.46 cores=1,3,5,7
/proc/28345/task/28411/stat : 28411 (java) S 28342 28345 27613 0 -1 1077944384 1512 12992 0 0 65 74 4 3 20 0 15 0 224159940 11345952768 170257 33554432000 4194304 4196468 140721589198592 140408937806384 140409448950402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31002624 140721589205604 140721589208412 140721589208412 140721589211087 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 681028 KiB
Child status: 143
Real time (s): 2487.54
CPU time (s): 2520.08
CPU user time (s): 2517.38
CPU system time (s): 2.69479
CPU usage (%): 101.308
Max. virtual memory (cumulated for all children) (KiB): 11080032
Max. memory (cumulated for all children) (KiB): 2116840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.38
system time used= 2.69479
maximum resident set size= 2123472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 326835
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109164
involuntary context switches= 3769
# summary of solver processes directly reported to runsolver:
# pid: 28345
# total CPU time (s): 2520.08
# total CPU user time (s): 2517.38
# total CPU system time (s): 2.69479
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.3731 second user time and 24.5247 second system time
The end