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 (15332 MiB free)
memory of node 1: 16384 MiB (15731 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401274-1568673331/watcher-4401274-1568673331 -o /tmp/evaluation-result-4401274-1568673331/solver-4401274-1568673331 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568673289-15739 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1889038206 HOME/instance-4401274-1568673331.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=15767, runsolver pid=15760
[startup+0.100156 s]*
/proc/loadavg: 0.16 1.18 2.42 4/217 15837
/proc/meminfo: memFree=31788292/32770624 swapFree=66976424/67108860
[pid=15767] ppid=15760 vsize=113256 memory=1616 CPUtime=0.01 cores=1,3,5,7
/proc/15767/stat : 15767 (bash) S 15760 15767 15707 0 -1 4202496 891 5690 0 1 0 0 0 1 20 0 1 0 443596593 115974144 404 33554432000 4194304 5098028 140735422199344 140735422193352 140648983018496 0 0 4100 65536 18446744071580971376 0 0 17 5 0 0 3 0 0 7196144 7232144 38490112 140735422202900 140735422203025 140735422203025 140735422205934 0
/proc/15767/statm: 28314 404 320 221 0 119 0
[pid=15820] ppid=15767 vsize=113256 memory=712 CPUtime=0 cores=1,3,5,7
/proc/15820/stat : 15820 (bash) S 15767 15767 15707 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 443596600 115974144 178 33554432000 4194304 5098028 140735422199344 140735422192024 140648982844028 0 65536 4096 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38490112 140735422202900 140735422203025 140735422203025 140735422205934 0
/proc/15820/statm: 28314 178 94 221 0 119 0
[pid=15821] ppid=15820 vsize=10260324 memory=19164 CPUtime=0.03 cores=1,3,5,7
/proc/15821/stat : 15821 (java) S 15820 15767 15707 0 -1 1077944320 4154 0 0 0 2 1 0 0 20 0 9 0 443596600 10506571776 4791 33554432000 4194304 4196468 140735974328864 140735974311408 140642321006327 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22802432 140735974335628 140735974335642 140735974335642 140735974338511 0
/proc/15821/statm: 2565081 4791 2149 1 0 2527622 0
[pid=15821/tid=15826] ppid=15820 vsize=10260324 memory=-6877121556232578236 CPUtime=0.02 cores=1,3,5,7
/proc/15821/task/15826/stat : 15826 (java) R 15820 15767 15707 0 -1 4202560 2823 0 0 0 2 0 0 0 20 0 9 0 443596600 10506571776 4791 33554432000 4194304 4196468 140735974328864 140642325241712 140642305086814 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22802432 140735974335628 140735974335642 140735974335642 140735974338511 0
[pid=15821/tid=15828] ppid=15820 vsize=10260324 memory=1414370859846324153 CPUtime=0 cores=1,3,5,7
/proc/15821/task/15828/stat : 15828 (java) S 15820 15767 15707 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 443596601 10506571776 4791 33554432000 4194304 4196468 140735974328864 140642263009808 140642321016533 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22802432 140735974335628 140735974335642 140735974335642 140735974338511 0
[pid=15821/tid=15831] ppid=15820 vsize=10260324 memory=140458983249536 CPUtime=0 cores=1,3,5,7
/proc/15821/task/15831/stat : 15831 (java) S 15820 15767 15707 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 443596601 10506571776 4791 33554432000 4194304 4196468 140735974328864 140642261957264 140642321016533 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22802432 140735974335628 140735974335642 140735974335642 140735974338511 0
[pid=15821/tid=15833] ppid=15820 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15821/task/15833/stat : 15833 (java) S 15820 15767 15707 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 443596601 10506571776 4791 33554432000 4194304 4196468 140735974328864 140641926174992 140642321016533 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22802432 140735974335628 140735974335642 140735974335642 140735974338511 0
[pid=15821/tid=15835] ppid=15820 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15821/task/15835/stat : 15835 (java) S 15820 15767 15707 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 443596601 10506571776 4791 33554432000 4194304 4196468 140735974328864 140641925122448 140642321016533 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22802432 140735974335628 140735974335642 140735974335642 140735974338511 0
[pid=15821/tid=15837] ppid=15820 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15821/task/15837/stat : 15837 (java) S 15820 15767 15707 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 443596603 10506571776 4791 33554432000 4194304 4196468 140735974328864 140641625369328 140642321017474 0 0 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22802432 140735974335628 140735974335642 140735974335642 140735974338511 0
[pid=15821/tid=15839] ppid=15820 vsize=10260324 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15821/task/15839/stat : 15839 (java) S 15820 15767 15707 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 443596603 10506571776 4791 33554432000 4194304 4196468 140735974328864 140641624315552 140642321016533 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22802432 140735974335628 140735974335642 140735974335642 140735974338511 0
[pid=15821/tid=15841] ppid=15820 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15821/task/15841/stat : 15841 (java) S 15820 15767 15707 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 443596603 10506571776 4791 33554432000 4194304 4196468 140735974328864 140641623262512 140642321016533 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22802432 140735974335628 140735974335642 140735974335642 140735974338511 0
[pid=15823] ppid=15820 vsize=113488 memory=972 CPUtime=0 cores=1,3,5,7
/proc/15823/stat : 15823 (awk) S 15820 15767 15707 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 443596600 116211712 243 33554432000 4194304 4609284 140723148483584 140723148482760 140054949571584 0 0 4096 1216 18446744071580971376 0 0 17 5 0 0 0 0 0 6708720 6711756 16703488 140723148485820 140723148485850 140723148485850 140723148488687 0
/proc/15823/statm: 28372 243 204 102 0 88 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 10600324 KiB
Current children cumulated memory: 22464 KiB
[startup+0.210842 s]*
/proc/loadavg: 0.16 1.18 2.42 4/215 15887
/proc/meminfo: memFree=31778200/32770624 swapFree=66976424/67108860
[pid=15767] ppid=15760 vsize=10818432 memory=28780 CPUtime=0.14 cores=1,3,5,7
/proc/15767/stat : 15767 (java) S 15760 15767 15707 0 -1 1077944320 5526 13342 0 2 5 1 5 3 20 0 15 0 443596593 11078074368 7195 33554432000 4194304 4196468 140721779002640 140721778985184 140367228485367 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 3 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
/proc/15767/statm: 2704608 7195 2599 1 0 2667149 0
[pid=15767/tid=15872] ppid=15760 vsize=10818432 memory=7900017517374083699 CPUtime=0.13 cores=1,3,5,7
/proc/15767/task/15872/stat : 15872 (java) R 15760 15767 15707 0 -1 4202560 2758 13342 0 2 4 1 5 3 20 0 15 0 443596609 11078074368 7195 33554432000 4194304 4196468 140721779002640 140367200328288 140367228507293 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15874] ppid=15760 vsize=10818432 memory=4211974185188040074 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15874/stat : 15874 (java) S 15760 15767 15707 0 -1 1077944384 1 13342 0 2 0 0 5 3 20 0 15 0 443596610 11078074368 7195 33554432000 4194304 4196468 140721779002640 140367232727312 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15875] ppid=15760 vsize=10818432 memory=140458983249536 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15875/stat : 15875 (java) S 15760 15767 15707 0 -1 1077944384 2 13342 0 2 0 0 5 3 20 0 15 0 443596610 11078074368 7195 33554432000 4194304 4196468 140721779002640 140367121000848 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15876] ppid=15760 vsize=10818432 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15876/stat : 15876 (java) S 15760 15767 15707 0 -1 1077944384 3 13342 0 2 0 0 5 3 20 0 15 0 443596610 11078074368 7195 33554432000 4194304 4196468 140721779002640 140367119948304 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15877] ppid=15760 vsize=10818432 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15877/stat : 15877 (java) S 15760 15767 15707 0 -1 1077944384 2 13342 0 2 0 0 5 3 20 0 15 0 443596610 11078074368 7195 33554432000 4194304 4196468 140721779002640 140367118895760 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15882] ppid=15760 vsize=10818432 memory=140458983249536 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15882/stat : 15882 (java) S 15760 15767 15707 0 -1 1077944384 2 13342 0 2 0 0 5 3 20 0 15 0 443596611 11078074368 7195 33554432000 4194304 4196468 140721779002640 140366432913904 140367228496514 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15884] ppid=15760 vsize=10818432 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15884/stat : 15884 (java) S 15760 15767 15707 0 -1 1077944384 33 13342 0 2 0 0 5 3 20 0 15 0 443596612 11078074368 7195 33554432000 4194304 4196468 140721779002640 140366431860128 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15886] ppid=15760 vsize=10818432 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15886/stat : 15886 (java) S 15760 15767 15707 0 -1 1077944384 1 13342 0 2 0 0 5 3 20 0 15 0 443596612 11078074368 7195 33554432000 4194304 4196468 140721779002640 140366309221872 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15888] ppid=15760 vsize=10818432 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15888/stat : 15888 (java) S 15760 15767 15707 0 -1 1077944384 2 13342 0 2 0 0 5 3 20 0 15 0 443596615 11078074368 7195 33554432000 4194304 4196468 140721779002640 140366175005392 140367228503963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15889] ppid=15760 vsize=10818432 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15889/stat : 15889 (java) S 15760 15767 15707 0 -1 1077944384 297 13342 0 2 0 0 5 3 20 0 15 0 443596615 11078074368 7195 33554432000 4194304 4196468 140721779002640 140366398302192 140367228496514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15890] ppid=15760 vsize=10818432 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15890/stat : 15890 (java) S 15760 15767 15707 0 -1 1077944384 3 13342 0 2 0 0 5 3 20 0 15 0 443596615 11078074368 7195 33554432000 4194304 4196468 140721779002640 140366397249648 140367228496514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15891] ppid=15760 vsize=10818432 memory=140458983249536 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15891/stat : 15891 (java) S 15760 15767 15707 0 -1 1077944384 209 13342 0 2 0 0 5 3 20 0 15 0 443596615 11078074368 7195 33554432000 4194304 4196468 140721779002640 140366396197104 140367228496514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15896] ppid=15760 vsize=10818432 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15896/stat : 15896 (java) S 15760 15767 15707 0 -1 1077944384 3 13342 0 2 0 0 5 3 20 0 15 0 443596615 11078074368 7195 33554432000 4194304 4196468 140721779002640 140365436807776 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15898] ppid=15760 vsize=10818432 memory=140458983249536 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15898/stat : 15898 (java) S 15760 15767 15707 0 -1 1077944384 1 13342 0 2 0 0 5 3 20 0 15 0 443596615 11078074368 7195 33554432000 4194304 4196468 140721779002640 140366395145008 140367228496514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10818432 KiB
Current children cumulated memory: 28780 KiB
[startup+0.310757 s]*
/proc/loadavg: 0.16 1.18 2.42 4/227 15899
/proc/meminfo: memFree=31737944/32770624 swapFree=66976424/67108860
[pid=15767] ppid=15760 vsize=10820196 memory=48800 CPUtime=0.31 cores=1,3,5,7
/proc/15767/stat : 15767 (java) S 15760 15767 15707 0 -1 1077944320 9837 13342 0 2 20 3 5 3 20 0 15 0 443596593 11079880704 12200 33554432000 4194304 4196468 140721779002640 140721778985184 140367228485367 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 3 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
/proc/15767/statm: 2705049 12200 3294 1 0 2667149 0
[pid=15767/tid=15872] ppid=15760 vsize=10820196 memory=7022364594140610616 CPUtime=0.22 cores=1,3,5,7
/proc/15767/task/15872/stat : 15872 (java) R 15760 15767 15707 0 -1 4202560 6290 13342 0 2 12 2 5 3 20 0 15 0 443596609 11079880704 12200 33554432000 4194304 4196468 140721779002640 140367200317568 140367212565854 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15874] ppid=15760 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15874/stat : 15874 (java) S 15760 15767 15707 0 -1 1077944384 1 13342 0 2 0 0 5 3 20 0 15 0 443596610 11079880704 12200 33554432000 4194304 4196468 140721779002640 140367232727312 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15875] ppid=15760 vsize=10820196 memory=288370835138423787 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15875/stat : 15875 (java) S 15760 15767 15707 0 -1 1077944384 2 13342 0 2 0 0 5 3 20 0 15 0 443596610 11079880704 12200 33554432000 4194304 4196468 140721779002640 140367121000848 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15876] ppid=15760 vsize=10820196 memory=140458983256529 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15876/stat : 15876 (java) S 15760 15767 15707 0 -1 1077944384 3 13342 0 2 0 0 5 3 20 0 15 0 443596610 11079880704 12200 33554432000 4194304 4196468 140721779002640 140367119948304 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15877] ppid=15760 vsize=10820196 memory=11201815328056 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15877/stat : 15877 (java) S 15760 15767 15707 0 -1 1077944384 2 13342 0 2 0 0 5 3 20 0 15 0 443596610 11079880704 12200 33554432000 4194304 4196468 140721779002640 140367118895760 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15882] ppid=15760 vsize=10820196 memory=280917966497856 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15882/stat : 15882 (java) S 15760 15767 15707 0 -1 1077944384 2 13342 0 2 0 0 5 3 20 0 15 0 443596611 11079880704 12200 33554432000 4194304 4196468 140721779002640 140366432913904 140367228496514 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15884] ppid=15760 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15884/stat : 15884 (java) S 15760 15767 15707 0 -1 1077944384 33 13342 0 2 0 0 5 3 20 0 15 0 443596612 11079880704 12200 33554432000 4194304 4196468 140721779002640 140366431860128 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15886] ppid=15760 vsize=10820196 memory=280917704954336 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15886/stat : 15886 (java) S 15760 15767 15707 0 -1 1077944384 1 13342 0 2 0 0 5 3 20 0 15 0 443596612 11079880704 12200 33554432000 4194304 4196468 140721779002640 140366309221872 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15888] ppid=15760 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15888/stat : 15888 (java) S 15760 15767 15707 0 -1 1077944384 2 13342 0 2 0 0 5 3 20 0 15 0 443596615 11079880704 12200 33554432000 4194304 4196468 140721779002640 140366175005392 140367228503963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15889] ppid=15760 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15767/task/15889/stat : 15889 (java) S 15760 15767 15707 0 -1 1077944384 592 13342 0 2 1 0 5 3 20 0 15 0 443596615 11079880704 12200 33554432000 4194304 4196468 140721779002640 140366398302192 140367228496514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15890] ppid=15760 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/15767/task/15890/stat : 15890 (java) S 15760 15767 15707 0 -1 1077944384 75 13342 0 2 1 0 5 3 20 0 15 0 443596615 11079880704 12200 33554432000 4194304 4196468 140721779002640 140366397249648 140367228496514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15891] ppid=15760 vsize=10820196 memory=140458983249536 CPUtime=0.12 cores=1,3,5,7
/proc/15767/task/15891/stat : 15891 (java) S 15760 15767 15707 0 -1 1077944384 625 13342 0 2 4 0 5 3 20 0 15 0 443596615 11079880704 12200 33554432000 4194304 4196468 140721779002640 140366396197104 140367228496514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15896] ppid=15760 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15896/stat : 15896 (java) S 15760 15767 15707 0 -1 1077944384 3 13342 0 2 0 0 5 3 20 0 15 0 443596615 11079880704 12200 33554432000 4194304 4196468 140721779002640 140365436807776 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15898] ppid=15760 vsize=10820196 memory=140458983249536 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15898/stat : 15898 (java) S 15760 15767 15707 0 -1 1077944384 1 13342 0 2 0 0 5 3 20 0 15 0 443596615 11079880704 12200 33554432000 4194304 4196468 140721779002640 140366395145008 140367228496514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 48800 KiB
[startup+0.708258 s]
/proc/loadavg: 0.16 1.18 2.42 6/227 15899
/proc/meminfo: memFree=31709396/32770624 swapFree=66976424/67108860
[pid=15767] ppid=15760 vsize=10822316 memory=79124 CPUtime=0.98 cores=1,3,5,7
/proc/15767/stat : 15767 (java) S 15760 15767 15707 0 -1 1077944320 14580 13342 0 2 85 5 5 3 20 0 15 0 443596593 11082051584 19781 33554432000 4194304 4196468 140721779002640 140721778985184 140367228485367 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 3 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
/proc/15767/statm: 2705579 19781 3498 1 0 2667661 0
[pid=15767/tid=15872] ppid=15760 vsize=10822316 memory=780 CPUtime=0.61 cores=1,3,5,7
/proc/15767/task/15872/stat : 15872 (java) R 15760 15767 15707 0 -1 4202560 10030 13342 0 2 49 4 5 3 20 0 15 0 443596609 11082051584 19781 33554432000 4194304 4196468 140721779002640 140367200302584 140367228507293 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15874] ppid=15760 vsize=10822316 memory=4088 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15874/stat : 15874 (java) S 15760 15767 15707 0 -1 1077944384 1 13342 0 2 0 0 5 3 20 0 15 0 443596610 11082051584 19781 33554432000 4194304 4196468 140721779002640 140367232727312 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15875] ppid=15760 vsize=10822316 memory=1580 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15875/stat : 15875 (java) S 15760 15767 15707 0 -1 1077944384 2 13342 0 2 0 0 5 3 20 0 15 0 443596610 11082051584 19781 33554432000 4194304 4196468 140721779002640 140367121000848 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15876] ppid=15760 vsize=10822316 memory=1028 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15876/stat : 15876 (java) S 15760 15767 15707 0 -1 1077944384 3 13342 0 2 0 0 5 3 20 0 15 0 443596610 11082051584 19781 33554432000 4194304 4196468 140721779002640 140367119948304 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15877] ppid=15760 vsize=10822316 memory=1060 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15877/stat : 15877 (java) S 15760 15767 15707 0 -1 1077944384 2 13342 0 2 0 0 5 3 20 0 15 0 443596610 11082051584 19781 33554432000 4194304 4196468 140721779002640 140367118895760 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15882] ppid=15760 vsize=10822316 memory=2828 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15882/stat : 15882 (java) S 15760 15767 15707 0 -1 1077944384 5 13342 0 2 0 0 5 3 20 0 15 0 443596611 11082051584 19781 33554432000 4194304 4196468 140721779002640 140366432913904 140367228496514 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15884] ppid=15760 vsize=10822316 memory=756 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15884/stat : 15884 (java) S 15760 15767 15707 0 -1 1077944384 33 13342 0 2 0 0 5 3 20 0 15 0 443596612 11082051584 19781 33554432000 4194304 4196468 140721779002640 140366431860128 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15886] ppid=15760 vsize=10822316 memory=1548 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15886/stat : 15886 (java) S 15760 15767 15707 0 -1 1077944384 1 13342 0 2 0 0 5 3 20 0 15 0 443596612 11082051584 19781 33554432000 4194304 4196468 140721779002640 140366309221872 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15888] ppid=15760 vsize=10822316 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15888/stat : 15888 (java) S 15760 15767 15707 0 -1 1077944384 2 13342 0 2 0 0 5 3 20 0 15 0 443596615 11082051584 19781 33554432000 4194304 4196468 140721779002640 140366175005392 140367228503963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15889] ppid=15760 vsize=10822316 memory=20036 CPUtime=0.18 cores=1,3,5,7
/proc/15767/task/15889/stat : 15889 (java) R 15760 15767 15707 0 -1 4202560 1027 13342 0 2 10 0 5 3 20 0 15 0 443596615 11082051584 19781 33554432000 4194304 4196468 140721779002640 140366398281104 140367211971317 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15890] ppid=15760 vsize=10822316 memory=1164 CPUtime=0.16 cores=1,3,5,7
/proc/15767/task/15890/stat : 15890 (java) R 15760 15767 15707 0 -1 4202560 453 13342 0 2 8 0 5 3 20 0 15 0 443596615 11082051584 19781 33554432000 4194304 4196468 140721779002640 140366397230664 140367220774656 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15891] ppid=15760 vsize=10822316 memory=9448 CPUtime=0.24 cores=1,3,5,7
/proc/15767/task/15891/stat : 15891 (java) S 15760 15767 15707 0 -1 1077944384 807 13342 0 2 16 0 5 3 20 0 15 0 443596615 11082051584 19781 33554432000 4194304 4196468 140721779002640 140366396197104 140367228496514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15896] ppid=15760 vsize=10822316 memory=14004 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15896/stat : 15896 (java) S 15760 15767 15707 0 -1 1077944384 3 13342 0 2 0 0 5 3 20 0 15 0 443596615 11082051584 19781 33554432000 4194304 4196468 140721779002640 140365436807776 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15898] ppid=15760 vsize=10822316 memory=2120 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15898/stat : 15898 (java) S 15760 15767 15707 0 -1 1077944384 1 13342 0 2 0 0 5 3 20 0 15 0 443596615 11082051584 19781 33554432000 4194304 4196468 140721779002640 140366395145008 140367228496514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10822316 KiB
Current children cumulated memory: 79124 KiB
[startup+1.50066 s]
/proc/loadavg: 0.16 1.18 2.42 5/227 15899
/proc/meminfo: memFree=31638516/32770624 swapFree=66976424/67108860
[pid=15767] ppid=15760 vsize=10834680 memory=173972 CPUtime=2.3 cores=1,3,5,7
/proc/15767/stat : 15767 (java) S 15760 15767 15707 0 -1 1077944320 21350 13342 0 2 212 10 5 3 20 0 15 0 443596593 11094712320 43493 33554432000 4194304 4196468 140721779002640 140721778985184 140367228485367 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 3 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
/proc/15767/statm: 2708670 43493 3576 1 0 2670733 0
[pid=15767/tid=15872] ppid=15760 vsize=10834680 memory=280917705010552 CPUtime=1.35 cores=1,3,5,7
/proc/15767/task/15872/stat : 15872 (java) R 15760 15767 15707 0 -1 4202560 15263 13342 0 2 121 6 5 3 20 0 15 0 443596609 11094712320 43493 33554432000 4194304 4196468 140721779002640 140367200309152 140367228497302 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15874] ppid=15760 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15767/task/15874/stat : 15874 (java) S 15760 15767 15707 0 -1 1077944384 72 13342 0 2 1 0 5 3 20 0 15 0 443596610 11094712320 43493 33554432000 4194304 4196468 140721779002640 140367232727312 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15875] ppid=15760 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15875/stat : 15875 (java) S 15760 15767 15707 0 -1 1077944384 64 13342 0 2 0 0 5 3 20 0 15 0 443596610 11094712320 43493 33554432000 4194304 4196468 140721779002640 140367121000848 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15876] ppid=15760 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15767/task/15876/stat : 15876 (java) S 15760 15767 15707 0 -1 1077944384 19 13342 0 2 1 0 5 3 20 0 15 0 443596610 11094712320 43493 33554432000 4194304 4196468 140721779002640 140367119948304 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15877] ppid=15760 vsize=10834680 memory=4580 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15877/stat : 15877 (java) S 15760 15767 15707 0 -1 1077944384 370 13342 0 2 0 0 5 3 20 0 15 0 443596610 11094712320 43493 33554432000 4194304 4196468 140721779002640 140367118895760 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15882] ppid=15760 vsize=10834680 memory=-7378486588396698303 CPUtime=0.09 cores=1,3,5,7
/proc/15767/task/15882/stat : 15882 (java) S 15760 15767 15707 0 -1 1077944384 137 13342 0 2 1 0 5 3 20 0 15 0 443596611 11094712320 43493 33554432000 4194304 4196468 140721779002640 140366432913904 140367228496514 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15884] ppid=15760 vsize=10834680 memory=3760849013060364657 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15884/stat : 15884 (java) S 15760 15767 15707 0 -1 1077944384 34 13342 0 2 0 0 5 3 20 0 15 0 443596612 11094712320 43493 33554432000 4194304 4196468 140721779002640 140366431860192 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15886] ppid=15760 vsize=10834680 memory=7306919332889580141 CPUtime=0.08 cores=1,3,5,7
################
# More data... #
################
/proc/15767/task/15872/stat : 15872 (java) R 15760 15767 15707 0 -1 4202560 74762 13342 2 2 223627 55 5 3 20 0 15 0 443596609 11111522304 281854 33554432000 4194304 4196468 140721779002640 140367200321776 140366813836581 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15874] ppid=15760 vsize=10851096 memory=1127416 CPUtime=11.92 cores=1,3,5,7
/proc/15767/task/15874/stat : 15874 (java) S 15760 15767 15707 0 -1 1077944384 12756 13342 0 2 1133 51 5 3 20 0 15 0 443596610 11111522304 281854 33554432000 4194304 4196468 140721779002640 140367232727312 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15875] ppid=15760 vsize=10851096 memory=1127416 CPUtime=11.91 cores=1,3,5,7
/proc/15767/task/15875/stat : 15875 (java) S 15760 15767 15707 0 -1 1077944384 11831 13342 0 2 1132 51 5 3 20 0 15 0 443596610 11111522304 281854 33554432000 4194304 4196468 140721779002640 140367121000848 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15876] ppid=15760 vsize=10851096 memory=1127416 CPUtime=11.9 cores=1,3,5,7
/proc/15767/task/15876/stat : 15876 (java) S 15760 15767 15707 0 -1 1077944384 16264 13342 0 2 1122 60 5 3 20 0 15 0 443596610 11111522304 281854 33554432000 4194304 4196468 140721779002640 140367119948304 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15877] ppid=15760 vsize=10851096 memory=1127416 CPUtime=11.91 cores=1,3,5,7
/proc/15767/task/15877/stat : 15877 (java) S 15760 15767 15707 0 -1 1077944384 10727 13342 0 2 1131 52 5 3 20 0 15 0 443596610 11111522304 281854 33554432000 4194304 4196468 140721779002640 140367118895760 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15882] ppid=15760 vsize=10851096 memory=1127416 CPUtime=10.34 cores=1,3,5,7
/proc/15767/task/15882/stat : 15882 (java) S 15760 15767 15707 0 -1 1077944384 16968 13342 0 2 973 53 5 3 20 0 15 0 443596611 11111522304 281854 33554432000 4194304 4196468 140721779002640 140366432913904 140367228496514 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15884] ppid=15760 vsize=10851096 memory=1127416 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15884/stat : 15884 (java) S 15760 15767 15707 0 -1 1077944384 39 13342 0 2 0 0 5 3 20 0 15 0 443596612 11111522304 281854 33554432000 4194304 4196468 140721779002640 140366431860256 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15886] ppid=15760 vsize=10851096 memory=1127416 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15886/stat : 15886 (java) S 15760 15767 15707 0 -1 1077944384 1 13342 0 2 0 0 5 3 20 0 15 0 443596612 11111522304 281854 33554432000 4194304 4196468 140721779002640 140366309221888 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15888] ppid=15760 vsize=10851096 memory=1127416 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15888/stat : 15888 (java) S 15760 15767 15707 0 -1 1077944384 2 13342 0 2 0 0 5 3 20 0 15 0 443596615 11111522304 281854 33554432000 4194304 4196468 140721779002640 140366175005392 140367228503963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15889] ppid=15760 vsize=10851096 memory=1127416 CPUtime=6.7 cores=1,3,5,7
/proc/15767/task/15889/stat : 15889 (java) S 15760 15767 15707 0 -1 1077944384 27207 13342 0 2 657 5 5 3 20 0 15 0 443596615 11111522304 281854 33554432000 4194304 4196468 140721779002640 140366398302192 140367228496514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15890] ppid=15760 vsize=10851096 memory=1127416 CPUtime=7 cores=1,3,5,7
/proc/15767/task/15890/stat : 15890 (java) S 15760 15767 15707 0 -1 1077944384 31404 13342 0 2 686 6 5 3 20 0 15 0 443596615 11111522304 281854 33554432000 4194304 4196468 140721779002640 140366397249648 140367228496514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15891] ppid=15760 vsize=10851096 memory=6791534058613427641 CPUtime=4.62 cores=1,3,5,7
/proc/15767/task/15891/stat : 15891 (java) S 15760 15767 15707 0 -1 1077944384 36062 13342 0 2 446 8 5 3 20 0 15 0 443596615 11111522304 281854 33554432000 4194304 4196468 140721779002640 140366396197104 140367228496514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15896] ppid=15760 vsize=10851096 memory=904 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15896/stat : 15896 (java) S 15760 15767 15707 0 -1 1077944384 3 13342 0 2 0 0 5 3 20 0 15 0 443596615 11111522304 281854 33554432000 4194304 4196468 140721779002640 140365436807776 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15898] ppid=15760 vsize=10851096 memory=1127416 CPUtime=1.43 cores=1,3,5,7
/proc/15767/task/15898/stat : 15898 (java) S 15760 15767 15707 0 -1 1077944384 1452 13342 0 2 64 71 5 3 20 0 15 0 443596615 11111522304 281854 33554432000 4194304 4196468 140721779002640 140366395145008 140367228496514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
Current children cumulated CPU time: 2314.01 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1127416 KiB
[startup+2322.3 s]
/proc/loadavg: 1.24 1.34 1.46 4/228 16139
/proc/meminfo: memFree=28896872/32770624 swapFree=66976500/67108860
[pid=15767] ppid=15760 vsize=10851096 memory=1129464 CPUtime=2375.02 cores=1,3,5,7
/proc/15767/stat : 15767 (java) S 15760 15767 15707 0 -1 1077944320 243407 13342 2 2 237132 362 5 3 20 0 15 0 443596593 11111522304 282366 33554432000 4194304 4196468 140721779002640 140721778985184 140367228485367 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 3 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
/proc/15767/statm: 2712774 282366 3632 1 0 2674829 0
[pid=15767/tid=15872] ppid=15760 vsize=10851096 memory=1129464 CPUtime=2296.21 cores=1,3,5,7
/proc/15767/task/15872/stat : 15872 (java) R 15760 15767 15707 0 -1 4202560 75563 13342 2 2 229557 56 5 3 20 0 15 0 443596609 11111522304 282366 33554432000 4194304 4196468 140721779002640 140367200320624 140366814429436 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15874] ppid=15760 vsize=10851096 memory=1129464 CPUtime=12.27 cores=1,3,5,7
/proc/15767/task/15874/stat : 15874 (java) S 15760 15767 15707 0 -1 1077944384 12781 13342 0 2 1166 53 5 3 20 0 15 0 443596610 11111522304 282366 33554432000 4194304 4196468 140721779002640 140367232727312 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15875] ppid=15760 vsize=10851096 memory=1129464 CPUtime=12.25 cores=1,3,5,7
/proc/15767/task/15875/stat : 15875 (java) S 15760 15767 15707 0 -1 1077944384 11905 13342 0 2 1165 52 5 3 20 0 15 0 443596610 11111522304 282366 33554432000 4194304 4196468 140721779002640 140367121000848 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15876] ppid=15760 vsize=10851096 memory=1129464 CPUtime=12.24 cores=1,3,5,7
/proc/15767/task/15876/stat : 15876 (java) S 15760 15767 15707 0 -1 1077944384 16431 13342 0 2 1155 61 5 3 20 0 15 0 443596610 11111522304 282366 33554432000 4194304 4196468 140721779002640 140367119948304 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15877] ppid=15760 vsize=10851096 memory=1129464 CPUtime=12.25 cores=1,3,5,7
/proc/15767/task/15877/stat : 15877 (java) S 15760 15767 15707 0 -1 1077944384 11122 13342 0 2 1164 53 5 3 20 0 15 0 443596610 11111522304 282366 33554432000 4194304 4196468 140721779002640 140367118895760 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15882] ppid=15760 vsize=10851096 memory=1129464 CPUtime=10.62 cores=1,3,5,7
/proc/15767/task/15882/stat : 15882 (java) S 15760 15767 15707 0 -1 1077944384 17202 13342 0 2 1000 54 5 3 20 0 15 0 443596611 11111522304 282366 33554432000 4194304 4196468 140721779002640 140366432913904 140367228496514 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15884] ppid=15760 vsize=10851096 memory=904 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15884/stat : 15884 (java) S 15760 15767 15707 0 -1 1077944384 39 13342 0 2 0 0 5 3 20 0 15 0 443596612 11111522304 282366 33554432000 4194304 4196468 140721779002640 140366431860256 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15886] ppid=15760 vsize=10851096 memory=1129464 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15886/stat : 15886 (java) S 15760 15767 15707 0 -1 1077944384 1 13342 0 2 0 0 5 3 20 0 15 0 443596612 11111522304 282366 33554432000 4194304 4196468 140721779002640 140366309221888 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15888] ppid=15760 vsize=10851096 memory=1129464 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15888/stat : 15888 (java) S 15760 15767 15707 0 -1 1077944384 2 13342 0 2 0 0 5 3 20 0 15 0 443596615 11111522304 282366 33554432000 4194304 4196468 140721779002640 140366175005392 140367228503963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15889] ppid=15760 vsize=10851096 memory=1129464 CPUtime=6.7 cores=1,3,5,7
/proc/15767/task/15889/stat : 15889 (java) S 15760 15767 15707 0 -1 1077944384 27209 13342 0 2 657 5 5 3 20 0 15 0 443596615 11111522304 282366 33554432000 4194304 4196468 140721779002640 140366398302192 140367228496514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15890] ppid=15760 vsize=10851096 memory=1060 CPUtime=7 cores=1,3,5,7
/proc/15767/task/15890/stat : 15890 (java) S 15760 15767 15707 0 -1 1077944384 31406 13342 0 2 686 6 5 3 20 0 15 0 443596615 11111522304 282366 33554432000 4194304 4196468 140721779002640 140366397249648 140367228496514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15891] ppid=15760 vsize=10851096 memory=1129464 CPUtime=4.62 cores=1,3,5,7
/proc/15767/task/15891/stat : 15891 (java) S 15760 15767 15707 0 -1 1077944384 36064 13342 0 2 446 8 5 3 20 0 15 0 443596615 11111522304 282366 33554432000 4194304 4196468 140721779002640 140366396197104 140367228496514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15896] ppid=15760 vsize=10851096 memory=3620 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15896/stat : 15896 (java) S 15760 15767 15707 0 -1 1077944384 3 13342 0 2 0 0 5 3 20 0 15 0 443596615 11111522304 282366 33554432000 4194304 4196468 140721779002640 140365436807776 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15898] ppid=15760 vsize=10851096 memory=1129464 CPUtime=1.47 cores=1,3,5,7
/proc/15767/task/15898/stat : 15898 (java) S 15760 15767 15707 0 -1 1077944384 1469 13342 0 2 65 74 5 3 20 0 15 0 443596615 11111522304 282366 33554432000 4194304 4196468 140721779002640 140366395145008 140367228496514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
Current children cumulated CPU time: 2375.02 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1129464 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2346.9 s]
/proc/loadavg: 1.32 1.35 1.46 3/228 16271
/proc/meminfo: memFree=30265892/32770624 swapFree=66976500/67108860
[pid=15767] ppid=15760 vsize=10851096 memory=1129464 CPUtime=2400.02 cores=1,3,5,7
/proc/15767/stat : 15767 (java) S 15760 15767 15707 0 -1 1077944320 244172 13342 2 2 239629 365 5 3 20 0 15 0 443596593 11111522304 282366 33554432000 4194304 4196468 140721779002640 140721778985184 140367228485367 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 3 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
/proc/15767/statm: 2712774 282366 3632 1 0 2674829 0
[pid=15767/tid=15872] ppid=15760 vsize=10851096 memory=1129464 CPUtime=2320.54 cores=1,3,5,7
/proc/15767/task/15872/stat : 15872 (java) R 15760 15767 15707 0 -1 4202560 75857 13342 2 2 231990 56 5 3 20 0 15 0 443596609 11111522304 282366 33554432000 4194304 4196468 140721779002640 140367200321600 140367207562899 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15874] ppid=15760 vsize=10851096 memory=1129464 CPUtime=12.4 cores=1,3,5,7
/proc/15767/task/15874/stat : 15874 (java) S 15760 15767 15707 0 -1 1077944384 12803 13342 0 2 1179 53 5 3 20 0 15 0 443596610 11111522304 282366 33554432000 4194304 4196468 140721779002640 140367232727312 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15875] ppid=15760 vsize=10851096 memory=1129464 CPUtime=12.39 cores=1,3,5,7
/proc/15767/task/15875/stat : 15875 (java) S 15760 15767 15707 0 -1 1077944384 11976 13342 0 2 1178 53 5 3 20 0 15 0 443596610 11111522304 282366 33554432000 4194304 4196468 140721779002640 140367121000848 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15876] ppid=15760 vsize=10851096 memory=1129464 CPUtime=12.37 cores=1,3,5,7
/proc/15767/task/15876/stat : 15876 (java) S 15760 15767 15707 0 -1 1077944384 16565 13342 0 2 1168 61 5 3 20 0 15 0 443596610 11111522304 282366 33554432000 4194304 4196468 140721779002640 140367119948304 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15877] ppid=15760 vsize=10851096 memory=1129464 CPUtime=12.39 cores=1,3,5,7
/proc/15767/task/15877/stat : 15877 (java) S 15760 15767 15707 0 -1 1077944384 11152 13342 0 2 1177 54 5 3 20 0 15 0 443596610 11111522304 282366 33554432000 4194304 4196468 140721779002640 140367118895760 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15882] ppid=15760 vsize=10851096 memory=1129464 CPUtime=10.74 cores=1,3,5,7
/proc/15767/task/15882/stat : 15882 (java) S 15760 15767 15707 0 -1 1077944384 17405 13342 0 2 1011 55 5 3 20 0 15 0 443596611 11111522304 282366 33554432000 4194304 4196468 140721779002640 140366432913904 140367228496514 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15884] ppid=15760 vsize=10851096 memory=1129464 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15884/stat : 15884 (java) S 15760 15767 15707 0 -1 1077944384 39 13342 0 2 0 0 5 3 20 0 15 0 443596612 11111522304 282366 33554432000 4194304 4196468 140721779002640 140366431860256 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15886] ppid=15760 vsize=10851096 memory=1164 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15886/stat : 15886 (java) S 15760 15767 15707 0 -1 1077944384 1 13342 0 2 0 0 5 3 20 0 15 0 443596612 11111522304 282366 33554432000 4194304 4196468 140721779002640 140366309221888 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15888] ppid=15760 vsize=10851096 memory=14004 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15888/stat : 15888 (java) S 15760 15767 15707 0 -1 1077944384 2 13342 0 2 0 0 5 3 20 0 15 0 443596615 11111522304 282366 33554432000 4194304 4196468 140721779002640 140366175005392 140367228503963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15889] ppid=15760 vsize=10851096 memory=2120 CPUtime=6.7 cores=1,3,5,7
/proc/15767/task/15889/stat : 15889 (java) S 15760 15767 15707 0 -1 1077944384 27209 13342 0 2 657 5 5 3 20 0 15 0 443596615 11111522304 282366 33554432000 4194304 4196468 140721779002640 140366398302192 140367228496514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15890] ppid=15760 vsize=10851096 memory=1129464 CPUtime=7 cores=1,3,5,7
/proc/15767/task/15890/stat : 15890 (java) S 15760 15767 15707 0 -1 1077944384 31406 13342 0 2 686 6 5 3 20 0 15 0 443596615 11111522304 282366 33554432000 4194304 4196468 140721779002640 140366397249648 140367228496514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15891] ppid=15760 vsize=10851096 memory=1129464 CPUtime=4.62 cores=1,3,5,7
/proc/15767/task/15891/stat : 15891 (java) S 15760 15767 15707 0 -1 1077944384 36064 13342 0 2 446 8 5 3 20 0 15 0 443596615 11111522304 282366 33554432000 4194304 4196468 140721779002640 140366396197104 140367228496514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15896] ppid=15760 vsize=10851096 memory=1129464 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15896/stat : 15896 (java) S 15760 15767 15707 0 -1 1077944384 3 13342 0 2 0 0 5 3 20 0 15 0 443596615 11111522304 282366 33554432000 4194304 4196468 140721779002640 140365436807776 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15898] ppid=15760 vsize=10851096 memory=1129464 CPUtime=1.49 cores=1,3,5,7
/proc/15767/task/15898/stat : 15898 (java) S 15760 15767 15707 0 -1 1077944384 1480 13342 0 2 66 75 5 3 20 0 15 0 443596615 11111522304 282366 33554432000 4194304 4196468 140721779002640 140366395145008 140367228496514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1129464 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2346.93 s]
# the end of solver process 15767 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.36 s, system=3.70524 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2346.9 s]
/proc/loadavg: 1.32 1.35 1.46 3/228 16271
/proc/meminfo: memFree=30265892/32770624 swapFree=66976500/67108860
[pid=15767] ppid=15760 vsize=10851096 memory=1129464 CPUtime=2400.02 cores=1,3,5,7
/proc/15767/stat : 15767 (java) S 15760 15767 15707 0 -1 1077944320 244172 13342 2 2 239629 365 5 3 20 0 15 0 443596593 11111522304 282366 33554432000 4194304 4196468 140721779002640 140721778985184 140367228485367 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 3 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
/proc/15767/statm: 2712774 282366 3632 1 0 2674829 0
[pid=15767/tid=15872] ppid=15760 vsize=10851096 memory=1129464 CPUtime=2320.54 cores=1,3,5,7
/proc/15767/task/15872/stat : 15872 (java) R 15760 15767 15707 0 -1 4202560 75857 13342 2 2 231990 56 5 3 20 0 15 0 443596609 11111522304 282366 33554432000 4194304 4196468 140721779002640 140367200321600 140367207562899 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15874] ppid=15760 vsize=10851096 memory=1129464 CPUtime=12.4 cores=1,3,5,7
/proc/15767/task/15874/stat : 15874 (java) S 15760 15767 15707 0 -1 1077944384 12803 13342 0 2 1179 53 5 3 20 0 15 0 443596610 11111522304 282366 33554432000 4194304 4196468 140721779002640 140367232727312 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15875] ppid=15760 vsize=10851096 memory=1129464 CPUtime=12.39 cores=1,3,5,7
/proc/15767/task/15875/stat : 15875 (java) S 15760 15767 15707 0 -1 1077944384 11976 13342 0 2 1178 53 5 3 20 0 15 0 443596610 11111522304 282366 33554432000 4194304 4196468 140721779002640 140367121000848 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15876] ppid=15760 vsize=10851096 memory=1129464 CPUtime=12.37 cores=1,3,5,7
/proc/15767/task/15876/stat : 15876 (java) S 15760 15767 15707 0 -1 1077944384 16565 13342 0 2 1168 61 5 3 20 0 15 0 443596610 11111522304 282366 33554432000 4194304 4196468 140721779002640 140367119948304 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15877] ppid=15760 vsize=10851096 memory=1129464 CPUtime=12.39 cores=1,3,5,7
/proc/15767/task/15877/stat : 15877 (java) S 15760 15767 15707 0 -1 1077944384 11152 13342 0 2 1177 54 5 3 20 0 15 0 443596610 11111522304 282366 33554432000 4194304 4196468 140721779002640 140367118895760 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15882] ppid=15760 vsize=10851096 memory=1129464 CPUtime=10.74 cores=1,3,5,7
/proc/15767/task/15882/stat : 15882 (java) S 15760 15767 15707 0 -1 1077944384 17405 13342 0 2 1011 55 5 3 20 0 15 0 443596611 11111522304 282366 33554432000 4194304 4196468 140721779002640 140366432913904 140367228496514 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15884] ppid=15760 vsize=10851096 memory=1129464 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15884/stat : 15884 (java) S 15760 15767 15707 0 -1 1077944384 39 13342 0 2 0 0 5 3 20 0 15 0 443596612 11111522304 282366 33554432000 4194304 4196468 140721779002640 140366431860256 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15886] ppid=15760 vsize=10851096 memory=1164 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15886/stat : 15886 (java) S 15760 15767 15707 0 -1 1077944384 1 13342 0 2 0 0 5 3 20 0 15 0 443596612 11111522304 282366 33554432000 4194304 4196468 140721779002640 140366309221888 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15888] ppid=15760 vsize=10851096 memory=14004 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15888/stat : 15888 (java) S 15760 15767 15707 0 -1 1077944384 2 13342 0 2 0 0 5 3 20 0 15 0 443596615 11111522304 282366 33554432000 4194304 4196468 140721779002640 140366175005392 140367228503963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15889] ppid=15760 vsize=10851096 memory=2120 CPUtime=6.7 cores=1,3,5,7
/proc/15767/task/15889/stat : 15889 (java) S 15760 15767 15707 0 -1 1077944384 27209 13342 0 2 657 5 5 3 20 0 15 0 443596615 11111522304 282366 33554432000 4194304 4196468 140721779002640 140366398302192 140367228496514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15890] ppid=15760 vsize=10851096 memory=1129464 CPUtime=7 cores=1,3,5,7
/proc/15767/task/15890/stat : 15890 (java) S 15760 15767 15707 0 -1 1077944384 31406 13342 0 2 686 6 5 3 20 0 15 0 443596615 11111522304 282366 33554432000 4194304 4196468 140721779002640 140366397249648 140367228496514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15891] ppid=15760 vsize=10851096 memory=1129464 CPUtime=4.62 cores=1,3,5,7
/proc/15767/task/15891/stat : 15891 (java) S 15760 15767 15707 0 -1 1077944384 36064 13342 0 2 446 8 5 3 20 0 15 0 443596615 11111522304 282366 33554432000 4194304 4196468 140721779002640 140366396197104 140367228496514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15896] ppid=15760 vsize=10851096 memory=1129464 CPUtime=0.08 cores=1,3,5,7
/proc/15767/task/15896/stat : 15896 (java) S 15760 15767 15707 0 -1 1077944384 3 13342 0 2 0 0 5 3 20 0 15 0 443596615 11111522304 282366 33554432000 4194304 4196468 140721779002640 140365436807776 140367228495573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
[pid=15767/tid=15898] ppid=15760 vsize=10851096 memory=1129464 CPUtime=1.49 cores=1,3,5,7
/proc/15767/task/15898/stat : 15898 (java) S 15760 15767 15707 0 -1 1077944384 1480 13342 0 2 66 75 5 3 20 0 15 0 443596615 11111522304 282366 33554432000 4194304 4196468 140721779002640 140366395145008 140367228496514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 19296256 140721779010287 140721779012805 140721779012805 140721779015631 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1129464 KiB
Child status: 143
Real time (s): 2346.93
CPU time (s): 2400.07
CPU user time (s): 2396.36
CPU system time (s): 3.70524
CPU usage (%): 102.264
Max. virtual memory (cumulated for all children) (KiB): 10851096
Max. memory (cumulated for all children) (KiB): 1129468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.36
system time used= 3.70524
maximum resident set size= 1133644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258484
page faults= 4
swaps= 0
block input operations= 12560
block output operations= 2840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 276688
involuntary context switches= 6726
# summary of solver processes directly reported to runsolver:
# pid: 15767
# total CPU time (s): 2400.07
# total CPU user time (s): 2396.36
# total CPU system time (s): 3.70524
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7724 second user time and 22.4495 second system time
The end