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 (13449 MiB free)
memory of node 1: 16384 MiB (14511 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304845-1534040018/watcher-4304845-1534040018 -o /tmp/evaluation-result-4304845-1534040018/solver-4304845-1534040018 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534040018-23575 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=327476772 HOME/instance-4304845-1534040018.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
Current StackSize limit: 8192 KiB
solver pid=23604, runsolver pid=23601
[startup+0.100144 s]*
/proc/loadavg: 1.00 1.16 1.59 3/215 23682
/proc/meminfo: memFree=28606096/32770624 swapFree=67108804/67108860
[pid=23604] ppid=23601 vsize=113256 memory=1612 CPUtime=0.07 cores=1,3,5,7
/proc/23604/stat : 23604 (bash) R 23601 23604 22159 0 -1 4202496 947 11525 0 1 0 0 5 2 20 0 1 0 221565001 115974144 403 33554432000 4194304 5098028 140734711765152 140734711758136 140219154103296 0 0 4100 65536 0 0 0 17 5 0 0 2 0 0 7196144 7232144 22183936 140734711772332 140734711772456 140734711772456 140734711775214 0
/proc/23604/statm: 28314 403 319 221 0 119 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 113256 KiB
Current children cumulated memory: 1612 KiB
[startup+0.212708 s]*
/proc/loadavg: 1.00 1.16 1.59 5/220 23739
/proc/meminfo: memFree=28588120/32770624 swapFree=67108804/67108860
[pid=23604] ppid=23601 vsize=10982744 memory=38924 CPUtime=0.23 cores=1,3,5,7
/proc/23604/stat : 23604 (java) S 23601 23604 22159 0 -1 1077944320 6881 12879 0 1 13 2 5 3 20 0 15 0 221565001 11246329856 9731 33554432000 4194304 4196468 140735408270160 140735408252704 140122350792439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 2 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
/proc/23604/statm: 2745686 9731 2988 1 0 2708109 0
[pid=23604/tid=23712] ppid=23601 vsize=10982744 memory=7022364594140610616 CPUtime=0.17 cores=1,3,5,7
/proc/23604/task/23712/stat : 23712 (java) R 23601 23604 22159 0 -1 4202560 3438 12879 0 1 8 1 5 3 20 0 15 0 221565012 11246329856 9731 33554432000 4194304 4196468 140735408270160 140122322616128 140122334872926 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23714] ppid=23601 vsize=10982744 memory=343 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23714/stat : 23714 (java) S 23601 23604 22159 0 -1 1077944384 1 12879 0 1 0 0 5 3 20 0 15 0 221565013 11246329856 9731 33554432000 4194304 4196468 140735408270160 140122355034768 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23715] ppid=23601 vsize=10982744 memory=139933857893930 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23715/stat : 23715 (java) S 23601 23604 22159 0 -1 1077944384 1 12879 0 1 0 0 5 3 20 0 15 0 221565013 11246329856 9731 33554432000 4194304 4196468 140735408270160 140122236299792 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23716] ppid=23601 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23716/stat : 23716 (java) S 23601 23604 22159 0 -1 1077944384 2 12879 0 1 0 0 5 3 20 0 15 0 221565013 11246329856 9731 33554432000 4194304 4196468 140735408270160 140121888971152 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23717] ppid=23601 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23717/stat : 23717 (java) S 23601 23604 22159 0 -1 1077944384 1 12879 0 1 0 0 5 3 20 0 15 0 221565013 11246329856 9731 33554432000 4194304 4196468 140735408270160 140121887918352 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23722] ppid=23601 vsize=10982744 memory=139933857871488 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23722/stat : 23722 (java) S 23601 23604 22159 0 -1 1077944384 2 12879 0 1 0 0 5 3 20 0 15 0 221565014 11246329856 9731 33554432000 4194304 4196468 140735408270160 140121589021552 140122350803586 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23724] ppid=23601 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23724/stat : 23724 (java) S 23601 23604 22159 0 -1 1077944384 13 12879 0 1 0 0 5 3 20 0 15 0 221565015 11246329856 9731 33554432000 4194304 4196468 140735408270160 140121093432864 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23725] ppid=23601 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23725/stat : 23725 (java) S 23601 23604 22159 0 -1 1077944384 21 12879 0 1 0 0 5 3 20 0 15 0 221565015 11246329856 9731 33554432000 4194304 4196468 140735408270160 140121026319728 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23728] ppid=23601 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23728/stat : 23728 (java) S 23601 23604 22159 0 -1 1077944384 3 12879 0 1 0 0 5 3 20 0 15 0 221565018 11246329856 9731 33554432000 4194304 4196468 140735408270160 140120718924112 140122350811035 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23729] ppid=23601 vsize=10982744 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/23604/task/23729/stat : 23729 (java) S 23601 23604 22159 0 -1 1077944384 534 12879 0 1 1 0 5 3 20 0 15 0 221565018 11246329856 9731 33554432000 4194304 4196468 140735408270160 140121587968368 140122350803586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23730] ppid=23601 vsize=10982744 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/23604/task/23730/stat : 23730 (java) S 23601 23604 22159 0 -1 1077944384 72 12879 0 1 1 0 5 3 20 0 15 0 221565018 11246329856 9731 33554432000 4194304 4196468 140735408270160 140121586915568 140122350803586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23731] ppid=23601 vsize=10982744 memory=139933857871488 CPUtime=0.1 cores=1,3,5,7
/proc/23604/task/23731/stat : 23731 (java) R 23601 23604 22159 0 -1 4202560 599 12879 0 1 2 0 5 3 20 0 15 0 221565018 11246329856 9731 33554432000 4194304 4196468 140735408270160 140121585862768 140122329746928 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23732] ppid=23601 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23732/stat : 23732 (java) S 23601 23604 22159 0 -1 1077944384 3 12879 0 1 0 0 5 3 20 0 15 0 221565018 11246329856 9731 33554432000 4194304 4196468 140735408270160 140120288127200 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23737] ppid=23601 vsize=10982744 memory=139933857871488 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23737/stat : 23737 (java) S 23601 23604 22159 0 -1 1077944384 1 12879 0 1 0 0 5 3 20 0 15 0 221565018 11246329856 9731 33554432000 4194304 4196468 140735408270160 140121584811184 140122350803586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 38924 KiB
[startup+0.310438 s]*
/proc/loadavg: 1.00 1.16 1.59 2/220 23739
/proc/meminfo: memFree=28558716/32770624 swapFree=67108804/67108860
[pid=23604] ppid=23601 vsize=10983192 memory=50384 CPUtime=0.36 cores=1,3,5,7
/proc/23604/stat : 23604 (java) S 23601 23604 22159 0 -1 1077944320 10072 12879 0 1 25 3 5 3 20 0 15 0 221565001 11246788608 12596 33554432000 4194304 4196468 140735408270160 140735408252704 140122350792439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 2 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
/proc/23604/statm: 2745798 12596 3107 1 0 2708109 0
[pid=23604/tid=23712] ppid=23601 vsize=10983192 memory=7738124729263149417 CPUtime=0.26 cores=1,3,5,7
/proc/23604/task/23712/stat : 23712 (java) R 23601 23604 22159 0 -1 4202560 6612 12879 0 1 17 1 5 3 20 0 15 0 221565012 11246788608 12596 33554432000 4194304 4196468 140735408270160 140122322602992 140122334872926 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23714] ppid=23601 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23714/stat : 23714 (java) S 23601 23604 22159 0 -1 1077944384 1 12879 0 1 0 0 5 3 20 0 15 0 221565013 11246788608 12596 33554432000 4194304 4196468 140735408270160 140122355034768 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23715] ppid=23601 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23715/stat : 23715 (java) S 23601 23604 22159 0 -1 1077944384 1 12879 0 1 0 0 5 3 20 0 15 0 221565013 11246788608 12596 33554432000 4194304 4196468 140735408270160 140122236299792 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23716] ppid=23601 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23716/stat : 23716 (java) S 23601 23604 22159 0 -1 1077944384 2 12879 0 1 0 0 5 3 20 0 15 0 221565013 11246788608 12596 33554432000 4194304 4196468 140735408270160 140121888971152 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23717] ppid=23601 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23717/stat : 23717 (java) S 23601 23604 22159 0 -1 1077944384 1 12879 0 1 0 0 5 3 20 0 15 0 221565013 11246788608 12596 33554432000 4194304 4196468 140735408270160 140121887918352 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23722] ppid=23601 vsize=10983192 memory=139933857871488 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23722/stat : 23722 (java) S 23601 23604 22159 0 -1 1077944384 2 12879 0 1 0 0 5 3 20 0 15 0 221565014 11246788608 12596 33554432000 4194304 4196468 140735408270160 140121589021552 140122350803586 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23724] ppid=23601 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23724/stat : 23724 (java) S 23601 23604 22159 0 -1 1077944384 13 12879 0 1 0 0 5 3 20 0 15 0 221565015 11246788608 12596 33554432000 4194304 4196468 140735408270160 140121093432864 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23725] ppid=23601 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23725/stat : 23725 (java) S 23601 23604 22159 0 -1 1077944384 21 12879 0 1 0 0 5 3 20 0 15 0 221565015 11246788608 12596 33554432000 4194304 4196468 140735408270160 140121026319728 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23728] ppid=23601 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23728/stat : 23728 (java) S 23601 23604 22159 0 -1 1077944384 3 12879 0 1 0 0 5 3 20 0 15 0 221565018 11246788608 12596 33554432000 4194304 4196468 140735408270160 140120718924112 140122350811035 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23729] ppid=23601 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/23604/task/23729/stat : 23729 (java) S 23601 23604 22159 0 -1 1077944384 536 12879 0 1 1 0 5 3 20 0 15 0 221565018 11246788608 12596 33554432000 4194304 4196468 140735408270160 140121587968368 140122350803586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23730] ppid=23601 vsize=10983192 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/23604/task/23730/stat : 23730 (java) S 23601 23604 22159 0 -1 1077944384 75 12879 0 1 1 0 5 3 20 0 15 0 221565018 11246788608 12596 33554432000 4194304 4196468 140735408270160 140121586915568 140122350803586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23731] ppid=23601 vsize=10983192 memory=139933857871488 CPUtime=0.12 cores=1,3,5,7
/proc/23604/task/23731/stat : 23731 (java) S 23601 23604 22159 0 -1 1077944384 609 12879 0 1 4 0 5 3 20 0 15 0 221565018 11246788608 12596 33554432000 4194304 4196468 140735408270160 140121585862768 140122350803586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23732] ppid=23601 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23732/stat : 23732 (java) S 23601 23604 22159 0 -1 1077944384 3 12879 0 1 0 0 5 3 20 0 15 0 221565018 11246788608 12596 33554432000 4194304 4196468 140735408270160 140120288127200 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23737] ppid=23601 vsize=10983192 memory=139933857871488 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23737/stat : 23737 (java) S 23601 23604 22159 0 -1 1077944384 1 12879 0 1 0 0 5 3 20 0 15 0 221565018 11246788608 12596 33554432000 4194304 4196468 140735408270160 140121584811184 140122350803586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 50384 KiB
[startup+0.700728 s]
/proc/loadavg: 1.00 1.16 1.59 3/220 23739
/proc/meminfo: memFree=28536328/32770624 swapFree=67108804/67108860
[pid=23604] ppid=23601 vsize=10983192 memory=83456 CPUtime=0.94 cores=1,3,5,7
/proc/23604/stat : 23604 (java) S 23601 23604 22159 0 -1 1077944320 16603 12879 0 1 81 5 5 3 20 0 15 0 221565001 11246788608 20864 33554432000 4194304 4196468 140735408270160 140735408252704 140122350792439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 2 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
/proc/23604/statm: 2745798 20864 3229 1 0 2708109 0
[pid=23604/tid=23712] ppid=23601 vsize=10983192 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/23604/task/23712/stat : 23712 (java) R 23601 23604 22159 0 -1 4202560 12151 12879 0 1 51 3 5 3 20 0 15 0 221565012 11246788608 20864 33554432000 4194304 4196468 140735408270160 140122322603328 140122331067769 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23714] ppid=23601 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23714/stat : 23714 (java) S 23601 23604 22159 0 -1 1077944384 1 12879 0 1 0 0 5 3 20 0 15 0 221565013 11246788608 20864 33554432000 4194304 4196468 140735408270160 140122355034768 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23715] ppid=23601 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23715/stat : 23715 (java) S 23601 23604 22159 0 -1 1077944384 1 12879 0 1 0 0 5 3 20 0 15 0 221565013 11246788608 20864 33554432000 4194304 4196468 140735408270160 140122236299792 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23716] ppid=23601 vsize=10983192 memory=139933725632464 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23716/stat : 23716 (java) S 23601 23604 22159 0 -1 1077944384 2 12879 0 1 0 0 5 3 20 0 15 0 221565013 11246788608 20864 33554432000 4194304 4196468 140735408270160 140121888971152 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23717] ppid=23601 vsize=10983192 memory=139934329471563 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23717/stat : 23717 (java) S 23601 23604 22159 0 -1 1077944384 1 12879 0 1 0 0 5 3 20 0 15 0 221565013 11246788608 20864 33554432000 4194304 4196468 140735408270160 140121887918352 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23722] ppid=23601 vsize=10983192 memory=1060 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23722/stat : 23722 (java) S 23601 23604 22159 0 -1 1077944384 5 12879 0 1 0 0 5 3 20 0 15 0 221565014 11246788608 20864 33554432000 4194304 4196468 140735408270160 140121589021552 140122350803586 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23724] ppid=23601 vsize=10983192 memory=6945208482816681536 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23724/stat : 23724 (java) S 23601 23604 22159 0 -1 1077944384 13 12879 0 1 0 0 5 3 20 0 15 0 221565015 11246788608 20864 33554432000 4194304 4196468 140735408270160 140121093432864 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23725] ppid=23601 vsize=10983192 memory=7597102420286068327 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23725/stat : 23725 (java) S 23601 23604 22159 0 -1 1077944384 21 12879 0 1 0 0 5 3 20 0 15 0 221565015 11246788608 20864 33554432000 4194304 4196468 140735408270160 140121026319728 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23728] ppid=23601 vsize=10983192 memory=5787213848606435153 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23728/stat : 23728 (java) S 23601 23604 22159 0 -1 1077944384 3 12879 0 1 0 0 5 3 20 0 15 0 221565018 11246788608 20864 33554432000 4194304 4196468 140735408270160 140120718924112 140122350811035 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23729] ppid=23601 vsize=10983192 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/23604/task/23729/stat : 23729 (java) S 23601 23604 22159 0 -1 1077944384 960 12879 0 1 7 0 5 3 20 0 15 0 221565018 11246788608 20864 33554432000 4194304 4196468 140735408270160 140121587968368 140122350803586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23730] ppid=23601 vsize=10983192 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/23604/task/23730/stat : 23730 (java) R 23601 23604 22159 0 -1 4202560 588 12879 0 1 8 0 5 3 20 0 15 0 221565018 11246788608 20864 33554432000 4194304 4196468 140735408270160 140121586902112 140122334179216 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23731] ppid=23601 vsize=10983192 memory=15292 CPUtime=0.21 cores=1,3,5,7
/proc/23604/task/23731/stat : 23731 (java) S 23601 23604 22159 0 -1 1077944384 660 12879 0 1 13 0 5 3 20 0 15 0 221565018 11246788608 20864 33554432000 4194304 4196468 140735408270160 140121585862768 140122350803586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23732] ppid=23601 vsize=10983192 memory=33208 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23732/stat : 23732 (java) S 23601 23604 22159 0 -1 1077944384 3 12879 0 1 0 0 5 3 20 0 15 0 221565018 11246788608 20864 33554432000 4194304 4196468 140735408270160 140120288127200 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23737] ppid=23601 vsize=10983192 memory=496 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23737/stat : 23737 (java) S 23601 23604 22159 0 -1 1077944384 1 12879 0 1 0 0 5 3 20 0 15 0 221565018 11246788608 20864 33554432000 4194304 4196468 140735408270160 140121584811184 140122350803586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
Current children cumulated CPU time: 0.94 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 83456 KiB
[startup+1.50077 s]
/proc/loadavg: 1.00 1.16 1.59 3/220 23739
/proc/meminfo: memFree=28454196/32770624 swapFree=67108804/67108860
[pid=23604] ppid=23601 vsize=10998092 memory=176164 CPUtime=2.17 cores=1,3,5,7
/proc/23604/stat : 23604 (java) S 23601 23604 22159 0 -1 1077944320 23555 12879 0 1 199 10 5 3 20 0 15 0 221565001 11262046208 44041 33554432000 4194304 4196468 140735408270160 140735408252704 140122350792439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 2 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
/proc/23604/statm: 2749523 44041 3466 1 0 2711181 0
[pid=23604/tid=23712] ppid=23601 vsize=10998092 memory=-7531822216213012384 CPUtime=1.35 cores=1,3,5,7
/proc/23604/task/23712/stat : 23712 (java) R 23601 23604 22159 0 -1 4202560 17445 12879 0 1 121 6 5 3 20 0 15 0 221565012 11262046208 44041 33554432000 4194304 4196468 140735408270160 140122322609632 140122334872926 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23714] ppid=23601 vsize=10998092 memory=4206468019014099040 CPUtime=0.09 cores=1,3,5,7
/proc/23604/task/23714/stat : 23714 (java) S 23601 23604 22159 0 -1 1077944384 30 12879 0 1 1 0 5 3 20 0 15 0 221565013 11262046208 44041 33554432000 4194304 4196468 140735408270160 140122355034768 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23715] ppid=23601 vsize=10998092 memory=6944656592452938395 CPUtime=0.09 cores=1,3,5,7
/proc/23604/task/23715/stat : 23715 (java) S 23601 23604 22159 0 -1 1077944384 193 12879 0 1 1 0 5 3 20 0 15 0 221565013 11262046208 44041 33554432000 4194304 4196468 140735408270160 140122236299792 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23716] ppid=23601 vsize=10998092 memory=-7233780906022716832 CPUtime=0.09 cores=1,3,5,7
/proc/23604/task/23716/stat : 23716 (java) S 23601 23604 22159 0 -1 1077944384 31 12879 0 1 1 0 5 3 20 0 15 0 221565013 11262046208 44041 33554432000 4194304 4196468 140735408270160 140121888971152 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23717] ppid=23601 vsize=10998092 memory=-7531822216213012384 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23717/stat : 23717 (java) S 23601 23604 22159 0 -1 1077944384 58 12879 0 1 0 0 5 3 20 0 15 0 221565013 11262046208 44041 33554432000 4194304 4196468 140735408270160 140121887918352 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23722] ppid=23601 vsize=10998092 memory=4137290303932963203 CPUtime=0.09 cores=1,3,5,7
/proc/23604/task/23722/stat : 23722 (java) S 23601 23604 22159 0 -1 1077944384 53 12879 0 1 1 0 5 3 20 0 15 0 221565014 11262046208 44041 33554432000 4194304 4196468 140735408270160 140121589021552 140122350803586 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23724] ppid=23601 vsize=10998092 memory=-7384994985145249687 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23724/stat : 23724 (java) S 23601 23604 22159 0 -1 1077944384 13 12879 0 1 0 0 5 3 20 0 15 0 221565015 11262046208 44041 33554432000 4194304 4196468 140735408270160 140121093432928 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23725] ppid=23601 vsize=10998092 memory=7450202173468135526 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23725/stat : 23725 (java) S 23601 23604 22159 0 -1 1077944384 43 12879 0 1 0 0 5 3 20 0 15 0 221565015 11262046208 44041 33554432000 4194304 4196468 140735408270160 140121026319744 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23728] ppid=23601 vsize=10998092 memory=7151823192952164432 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23728/stat : 23728 (java) S 23601 23604 22159 0 -1 1077944384 3 12879 0 1 0 0 5 3 20 0 15 0 221565018 11262046208 44041 33554432000 4194304 4196468 140735408270160 140120718924112 140122350811035 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23729] ppid=23601 vsize=10998092 memory=7588675784528062310 CPUtime=0.29 cores=1,3,5,7
/proc/23604/task/23729/stat : 23729 (java) S 23601 23604 22159 0 -1 1077944384 1494 12879 0 1 21 0 5 3 20 0 15 0 221565018 11262046208 44041 33554432000 4194304 4196468 140735408270160 140121587968368 140122350803586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23730] ppid=23601 vsize=10998092 memory=7661010361124278626 CPUtime=0.27 cores=1,3,5,7
/proc/23604/task/23730/stat : 23730 (java) S 23601 23604 22159 0 -1 1077944384 826 12879 0 1 19 0 5 3 20 0 15 0 221565018 11262046208 44041 33554432000 4194304 4196468 140735408270160 140121586915568 140122350803586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23731] ppid=23601 vsize=10998092 memory=56 CPUtime=0.38 cores=1,3,5,7
/proc/23604/task/23731/stat : 23731 (java) S 23601 23604 22159 0 -1 1077944384 1169 12879 0 1 30 0 5 3 20 0 15 0 221565018 11262046208 44041 33554432000 4194304 4196468 140735408270160 140121585862768 140122350803586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23732] ppid=23601 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23732/stat : 23732 (java) S 23601 23604 22159 0 -1 1077944384 3 12879 0 1 0 0 5 3 20 0 15 0 221565018 11262046208 44041 33554432000 4194304 4196468 140735408270160 140120288127200 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23737] ppid=23601 vsize=10998092 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23737/stat : 23737 (java) S 23601 23604 22159 0 -1 1077944384 1 12879 0 1 0 0 5 3 20 0 15 0 221565018 11262046208 44041 33554432000 4194304 4196468 140735408270160 140121584811184 140122350803586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
Current children cumulated CPU time: 2.17 s
Current children cumulated vsize: 10998092 KiB
Current children cumulated memory: 176164 KiB
[startup+3.11069 s]
/proc/loadavg: 1.00 1.16 1.59 6/220 23739
/proc/meminfo: memFree=28176204/32770624 swapFree=67108804/67108860
[pid=23604] ppid=23601 vsize=11008352 memory=251972 CPUtime=5.7 cores=1,3,5,7
/proc/23604/stat : 23604 (java) S 23601 23604 22159 0 -1 1077944320 35808 12879 1 1 547 15 5 3 20 0 15 0 221565001 11272552448 62993 33554432000 4194304 4196468 140735408270160 140735408252704 140122350792439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 2 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
/proc/23604/statm: 2752088 62993 3487 1 0 2713741 0
[pid=23604/tid=23712] ppid=23601 vsize=11008352 memory=223964 CPUtime=2.9 cores=1,3,5,7
/proc/23604/task/23712/stat : 23712 (java) R 23601 23604 22159 0 -1 4202560 23996 12879 1 1 274 8 5 3 20 0 15 0 221565012 11272552448 62993 33554432000 4194304 4196468 140735408270160 140122322625056 140121915649799 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
################
# More data... #
################
/proc/23604/task/23712/stat : 23712 (java) R 23601 23604 22159 0 -1 4202560 62586 12879 1 1 237158 22 5 3 20 0 15 0 221565012 11341758464 129653 33554432000 4194304 4196468 140735408270160 140122322626848 140121927746293 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23714] ppid=23601 vsize=11075936 memory=518612 CPUtime=4.37 cores=1,3,5,7
/proc/23604/task/23714/stat : 23714 (java) S 23601 23604 22159 0 -1 1077944384 6095 12879 0 1 406 23 5 3 20 0 15 0 221565013 11341758464 129653 33554432000 4194304 4196468 140735408270160 140122355034768 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23715] ppid=23601 vsize=11075936 memory=518612 CPUtime=4.33 cores=1,3,5,7
/proc/23604/task/23715/stat : 23715 (java) S 23601 23604 22159 0 -1 1077944384 4910 12879 0 1 402 23 5 3 20 0 15 0 221565013 11341758464 129653 33554432000 4194304 4196468 140735408270160 140122236299792 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23716] ppid=23601 vsize=11075936 memory=518612 CPUtime=4.38 cores=1,3,5,7
/proc/23604/task/23716/stat : 23716 (java) S 23601 23604 22159 0 -1 1077944384 5050 12879 0 1 407 23 5 3 20 0 15 0 221565013 11341758464 129653 33554432000 4194304 4196468 140735408270160 140121888971152 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23717] ppid=23601 vsize=11075936 memory=518612 CPUtime=4.38 cores=1,3,5,7
/proc/23604/task/23717/stat : 23717 (java) S 23601 23604 22159 0 -1 1077944384 6369 12879 0 1 407 23 5 3 20 0 15 0 221565013 11341758464 129653 33554432000 4194304 4196468 140735408270160 140121887918352 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23722] ppid=23601 vsize=11075936 memory=236169 CPUtime=4.21 cores=1,3,5,7
/proc/23604/task/23722/stat : 23722 (java) S 23601 23604 22159 0 -1 1077944384 8691 12879 0 1 386 27 5 3 20 0 15 0 221565014 11341758464 129653 33554432000 4194304 4196468 140735408270160 140121589021552 140122350803586 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23724] ppid=23601 vsize=11075936 memory=518612 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23724/stat : 23724 (java) S 23601 23604 22159 0 -1 1077944384 14 12879 0 1 0 0 5 3 20 0 15 0 221565015 11341758464 129653 33554432000 4194304 4196468 140735408270160 140121093432928 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23725] ppid=23601 vsize=11075936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23725/stat : 23725 (java) S 23601 23604 22159 0 -1 1077944384 43 12879 0 1 0 0 5 3 20 0 15 0 221565015 11341758464 129653 33554432000 4194304 4196468 140735408270160 140121026319744 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23728] ppid=23601 vsize=11075936 memory=518612 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23728/stat : 23728 (java) S 23601 23604 22159 0 -1 1077944384 3 12879 0 1 0 0 5 3 20 0 15 0 221565018 11341758464 129653 33554432000 4194304 4196468 140735408270160 140120718924112 140122350811035 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23729] ppid=23601 vsize=11075936 memory=0 CPUtime=3.61 cores=1,3,5,7
/proc/23604/task/23729/stat : 23729 (java) S 23601 23604 22159 0 -1 1077944384 16251 12879 0 1 350 3 5 3 20 0 15 0 221565018 11341758464 129653 33554432000 4194304 4196468 140735408270160 140121587968368 140122350803586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23730] ppid=23601 vsize=11075936 memory=301741416374337836 CPUtime=2.68 cores=1,3,5,7
/proc/23604/task/23730/stat : 23730 (java) S 23601 23604 22159 0 -1 1077944384 13846 12879 0 1 258 2 5 3 20 0 15 0 221565018 11341758464 129653 33554432000 4194304 4196468 140735408270160 140121586915568 140122350803586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23731] ppid=23601 vsize=11075936 memory=518612 CPUtime=1.57 cores=1,3,5,7
/proc/23604/task/23731/stat : 23731 (java) S 23601 23604 22159 0 -1 1077944384 14216 12879 0 1 146 3 5 3 20 0 15 0 221565018 11341758464 129653 33554432000 4194304 4196468 140735408270160 140121585862768 140122350803586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23732] ppid=23601 vsize=11075936 memory=3708 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23732/stat : 23732 (java) S 23601 23604 22159 0 -1 1077944384 3 12879 0 1 0 0 5 3 20 0 15 0 221565018 11341758464 129653 33554432000 4194304 4196468 140735408270160 140120288127200 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23737] ppid=23601 vsize=11075936 memory=518612 CPUtime=1.09 cores=1,3,5,7
/proc/23604/task/23737/stat : 23737 (java) S 23601 23604 22159 0 -1 1077944384 881 12879 0 1 51 50 5 3 20 0 15 0 221565018 11341758464 129653 33554432000 4194304 4196468 140735408270160 140121584811184 140122350803586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
Current children cumulated CPU time: 2401.88 s
Current children cumulated vsize: 11075936 KiB
Current children cumulated memory: 518612 KiB
[startup+2442.3 s]
/proc/loadavg: 1.11 1.24 1.30 3/216 23943
/proc/meminfo: memFree=27658392/32770624 swapFree=67108804/67108860
[pid=23604] ppid=23601 vsize=11075936 memory=518964 CPUtime=2462.19 cores=1,3,5,7
/proc/23604/stat : 23604 (java) S 23601 23604 22159 0 -1 1077944320 141629 12879 1 1 246039 172 5 3 20 0 15 0 221565001 11341758464 129741 33554432000 4194304 4196468 140735408270160 140735408252704 140122350792439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 2 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
/proc/23604/statm: 2768984 129741 3516 1 0 2730637 0
[pid=23604/tid=23712] ppid=23601 vsize=11075936 memory=518964 CPUtime=2431.63 cores=1,3,5,7
/proc/23604/task/23712/stat : 23712 (java) R 23601 23604 22159 0 -1 4202560 62821 12879 1 1 243133 22 5 3 20 0 15 0 221565012 11341758464 129741 33554432000 4194304 4196468 140735408270160 140122322626080 140121927639771 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23714] ppid=23601 vsize=11075936 memory=518964 CPUtime=4.47 cores=1,3,5,7
/proc/23604/task/23714/stat : 23714 (java) S 23601 23604 22159 0 -1 1077944384 6112 12879 0 1 416 23 5 3 20 0 15 0 221565013 11341758464 129741 33554432000 4194304 4196468 140735408270160 140122355034768 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23715] ppid=23601 vsize=11075936 memory=518964 CPUtime=4.44 cores=1,3,5,7
/proc/23604/task/23715/stat : 23715 (java) S 23601 23604 22159 0 -1 1077944384 4937 12879 0 1 413 23 5 3 20 0 15 0 221565013 11341758464 129741 33554432000 4194304 4196468 140735408270160 140122236299792 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23716] ppid=23601 vsize=11075936 memory=518964 CPUtime=4.49 cores=1,3,5,7
/proc/23604/task/23716/stat : 23716 (java) S 23601 23604 22159 0 -1 1077944384 5057 12879 0 1 418 23 5 3 20 0 15 0 221565013 11341758464 129741 33554432000 4194304 4196468 140735408270160 140121888971152 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23717] ppid=23601 vsize=11075936 memory=518964 CPUtime=4.48 cores=1,3,5,7
/proc/23604/task/23717/stat : 23717 (java) S 23601 23604 22159 0 -1 1077944384 6376 12879 0 1 417 23 5 3 20 0 15 0 221565013 11341758464 129741 33554432000 4194304 4196468 140735408270160 140121887918352 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23722] ppid=23601 vsize=11075936 memory=518964 CPUtime=4.31 cores=1,3,5,7
/proc/23604/task/23722/stat : 23722 (java) S 23601 23604 22159 0 -1 1077944384 8860 12879 0 1 396 27 5 3 20 0 15 0 221565014 11341758464 129741 33554432000 4194304 4196468 140735408270160 140121589021552 140122350803586 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23724] ppid=23601 vsize=11075936 memory=518964 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23724/stat : 23724 (java) S 23601 23604 22159 0 -1 1077944384 14 12879 0 1 0 0 5 3 20 0 15 0 221565015 11341758464 129741 33554432000 4194304 4196468 140735408270160 140121093432928 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23725] ppid=23601 vsize=11075936 memory=518964 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23725/stat : 23725 (java) S 23601 23604 22159 0 -1 1077944384 43 12879 0 1 0 0 5 3 20 0 15 0 221565015 11341758464 129741 33554432000 4194304 4196468 140735408270160 140121026319744 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23728] ppid=23601 vsize=11075936 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23728/stat : 23728 (java) S 23601 23604 22159 0 -1 1077944384 3 12879 0 1 0 0 5 3 20 0 15 0 221565018 11341758464 129741 33554432000 4194304 4196468 140735408270160 140120718924112 140122350811035 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23729] ppid=23601 vsize=11075936 memory=518964 CPUtime=3.61 cores=1,3,5,7
/proc/23604/task/23729/stat : 23729 (java) S 23601 23604 22159 0 -1 1077944384 16251 12879 0 1 350 3 5 3 20 0 15 0 221565018 11341758464 129741 33554432000 4194304 4196468 140735408270160 140121587968368 140122350803586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23730] ppid=23601 vsize=11075936 memory=3708 CPUtime=2.68 cores=1,3,5,7
/proc/23604/task/23730/stat : 23730 (java) S 23601 23604 22159 0 -1 1077944384 13846 12879 0 1 258 2 5 3 20 0 15 0 221565018 11341758464 129741 33554432000 4194304 4196468 140735408270160 140121586915568 140122350803586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23731] ppid=23601 vsize=11075936 memory=518964 CPUtime=1.57 cores=1,3,5,7
/proc/23604/task/23731/stat : 23731 (java) S 23601 23604 22159 0 -1 1077944384 14216 12879 0 1 146 3 5 3 20 0 15 0 221565018 11341758464 129741 33554432000 4194304 4196468 140735408270160 140121585862768 140122350803586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23732] ppid=23601 vsize=11075936 memory=518964 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23732/stat : 23732 (java) S 23601 23604 22159 0 -1 1077944384 3 12879 0 1 0 0 5 3 20 0 15 0 221565018 11341758464 129741 33554432000 4194304 4196468 140735408270160 140120288127200 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23737] ppid=23601 vsize=11075936 memory=518964 CPUtime=1.11 cores=1,3,5,7
/proc/23604/task/23737/stat : 23737 (java) S 23601 23604 22159 0 -1 1077944384 897 12879 0 1 52 51 5 3 20 0 15 0 221565018 11341758464 129741 33554432000 4194304 4196468 140735408270160 140121584811184 140122350803586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
Current children cumulated CPU time: 2462.19 s
Current children cumulated vsize: 11075936 KiB
Current children cumulated memory: 518964 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2499.9 s]
/proc/loadavg: 1.08 1.21 1.29 3/215 23945
/proc/meminfo: memFree=27658072/32770624 swapFree=67108804/67108860
[pid=23604] ppid=23601 vsize=11075936 memory=518964 CPUtime=2520.09 cores=1,3,5,7
/proc/23604/stat : 23604 (java) S 23601 23604 22159 0 -1 1077944320 142203 12879 1 1 251825 176 5 3 20 0 15 0 221565001 11341758464 129741 33554432000 4194304 4196468 140735408270160 140735408252704 140122350792439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 2 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
/proc/23604/statm: 2768984 129741 3516 1 0 2730637 0
[pid=23604/tid=23712] ppid=23601 vsize=11075936 memory=518964 CPUtime=2488.98 cores=1,3,5,7
/proc/23604/task/23712/stat : 23712 (java) R 23601 23604 22159 0 -1 4202560 63080 12879 1 1 248867 23 5 3 20 0 15 0 221565012 11341758464 129741 33554432000 4194304 4196468 140735408270160 140122322626384 140121927778610 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23714] ppid=23601 vsize=11075936 memory=518964 CPUtime=4.58 cores=1,3,5,7
/proc/23604/task/23714/stat : 23714 (java) S 23601 23604 22159 0 -1 1077944384 6333 12879 0 1 426 24 5 3 20 0 15 0 221565013 11341758464 129741 33554432000 4194304 4196468 140735408270160 140122355034768 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23715] ppid=23601 vsize=11075936 memory=518964 CPUtime=4.54 cores=1,3,5,7
/proc/23604/task/23715/stat : 23715 (java) S 23601 23604 22159 0 -1 1077944384 4938 12879 0 1 422 24 5 3 20 0 15 0 221565013 11341758464 129741 33554432000 4194304 4196468 140735408270160 140122236299792 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23716] ppid=23601 vsize=11075936 memory=518964 CPUtime=4.59 cores=1,3,5,7
/proc/23604/task/23716/stat : 23716 (java) S 23601 23604 22159 0 -1 1077944384 5108 12879 0 1 427 24 5 3 20 0 15 0 221565013 11341758464 129741 33554432000 4194304 4196468 140735408270160 140121888971152 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23717] ppid=23601 vsize=11075936 memory=518964 CPUtime=4.59 cores=1,3,5,7
/proc/23604/task/23717/stat : 23717 (java) S 23601 23604 22159 0 -1 1077944384 6385 12879 0 1 427 24 5 3 20 0 15 0 221565013 11341758464 129741 33554432000 4194304 4196468 140735408270160 140121887918352 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23722] ppid=23601 vsize=11075936 memory=518964 CPUtime=4.41 cores=1,3,5,7
/proc/23604/task/23722/stat : 23722 (java) S 23601 23604 22159 0 -1 1077944384 8883 12879 0 1 405 28 5 3 20 0 15 0 221565014 11341758464 129741 33554432000 4194304 4196468 140735408270160 140121589021552 140122350803586 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23724] ppid=23601 vsize=11075936 memory=518964 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23724/stat : 23724 (java) S 23601 23604 22159 0 -1 1077944384 14 12879 0 1 0 0 5 3 20 0 15 0 221565015 11341758464 129741 33554432000 4194304 4196468 140735408270160 140121093432928 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23725] ppid=23601 vsize=11075936 memory=33 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23725/stat : 23725 (java) S 23601 23604 22159 0 -1 1077944384 43 12879 0 1 0 0 5 3 20 0 15 0 221565015 11341758464 129741 33554432000 4194304 4196468 140735408270160 140121026319744 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23728] ppid=23601 vsize=11075936 memory=518964 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23728/stat : 23728 (java) S 23601 23604 22159 0 -1 1077944384 3 12879 0 1 0 0 5 3 20 0 15 0 221565018 11341758464 129741 33554432000 4194304 4196468 140735408270160 140120718924112 140122350811035 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23729] ppid=23601 vsize=11075936 memory=518964 CPUtime=3.61 cores=1,3,5,7
/proc/23604/task/23729/stat : 23729 (java) S 23601 23604 22159 0 -1 1077944384 16253 12879 0 1 350 3 5 3 20 0 15 0 221565018 11341758464 129741 33554432000 4194304 4196468 140735408270160 140121587968368 140122350803586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23730] ppid=23601 vsize=11075936 memory=518964 CPUtime=2.68 cores=1,3,5,7
/proc/23604/task/23730/stat : 23730 (java) S 23601 23604 22159 0 -1 1077944384 13848 12879 0 1 258 2 5 3 20 0 15 0 221565018 11341758464 129741 33554432000 4194304 4196468 140735408270160 140121586915568 140122350803586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23731] ppid=23601 vsize=11075936 memory=518964 CPUtime=1.57 cores=1,3,5,7
/proc/23604/task/23731/stat : 23731 (java) S 23601 23604 22159 0 -1 1077944384 14218 12879 0 1 146 3 5 3 20 0 15 0 221565018 11341758464 129741 33554432000 4194304 4196468 140735408270160 140121585862768 140122350803586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23732] ppid=23601 vsize=11075936 memory=518964 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23732/stat : 23732 (java) S 23601 23604 22159 0 -1 1077944384 3 12879 0 1 0 0 5 3 20 0 15 0 221565018 11341758464 129741 33554432000 4194304 4196468 140735408270160 140120288127200 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23737] ppid=23601 vsize=11075936 memory=1736 CPUtime=1.14 cores=1,3,5,7
/proc/23604/task/23737/stat : 23737 (java) S 23601 23604 22159 0 -1 1077944384 901 12879 0 1 53 53 5 3 20 0 15 0 221565018 11341758464 129741 33554432000 4194304 4196468 140735408270160 140121584811184 140122350803586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 11075936 KiB
Current children cumulated memory: 518964 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2499.92 s]
# the end of solver process 23604 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.33 s, system=1.80346 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2499.9 s]
/proc/loadavg: 1.08 1.21 1.29 3/215 23945
/proc/meminfo: memFree=27658072/32770624 swapFree=67108804/67108860
[pid=23604] ppid=23601 vsize=11075936 memory=518964 CPUtime=2520.09 cores=1,3,5,7
/proc/23604/stat : 23604 (java) S 23601 23604 22159 0 -1 1077944320 142203 12879 1 1 251825 176 5 3 20 0 15 0 221565001 11341758464 129741 33554432000 4194304 4196468 140735408270160 140735408252704 140122350792439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 2 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
/proc/23604/statm: 2768984 129741 3516 1 0 2730637 0
[pid=23604/tid=23712] ppid=23601 vsize=11075936 memory=518964 CPUtime=2488.98 cores=1,3,5,7
/proc/23604/task/23712/stat : 23712 (java) R 23601 23604 22159 0 -1 4202560 63080 12879 1 1 248867 23 5 3 20 0 15 0 221565012 11341758464 129741 33554432000 4194304 4196468 140735408270160 140122322626384 140121927778610 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23714] ppid=23601 vsize=11075936 memory=518964 CPUtime=4.58 cores=1,3,5,7
/proc/23604/task/23714/stat : 23714 (java) S 23601 23604 22159 0 -1 1077944384 6333 12879 0 1 426 24 5 3 20 0 15 0 221565013 11341758464 129741 33554432000 4194304 4196468 140735408270160 140122355034768 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23715] ppid=23601 vsize=11075936 memory=518964 CPUtime=4.54 cores=1,3,5,7
/proc/23604/task/23715/stat : 23715 (java) S 23601 23604 22159 0 -1 1077944384 4938 12879 0 1 422 24 5 3 20 0 15 0 221565013 11341758464 129741 33554432000 4194304 4196468 140735408270160 140122236299792 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23716] ppid=23601 vsize=11075936 memory=518964 CPUtime=4.59 cores=1,3,5,7
/proc/23604/task/23716/stat : 23716 (java) S 23601 23604 22159 0 -1 1077944384 5108 12879 0 1 427 24 5 3 20 0 15 0 221565013 11341758464 129741 33554432000 4194304 4196468 140735408270160 140121888971152 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23717] ppid=23601 vsize=11075936 memory=518964 CPUtime=4.59 cores=1,3,5,7
/proc/23604/task/23717/stat : 23717 (java) S 23601 23604 22159 0 -1 1077944384 6385 12879 0 1 427 24 5 3 20 0 15 0 221565013 11341758464 129741 33554432000 4194304 4196468 140735408270160 140121887918352 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23722] ppid=23601 vsize=11075936 memory=518964 CPUtime=4.41 cores=1,3,5,7
/proc/23604/task/23722/stat : 23722 (java) S 23601 23604 22159 0 -1 1077944384 8883 12879 0 1 405 28 5 3 20 0 15 0 221565014 11341758464 129741 33554432000 4194304 4196468 140735408270160 140121589021552 140122350803586 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23724] ppid=23601 vsize=11075936 memory=518964 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23724/stat : 23724 (java) S 23601 23604 22159 0 -1 1077944384 14 12879 0 1 0 0 5 3 20 0 15 0 221565015 11341758464 129741 33554432000 4194304 4196468 140735408270160 140121093432928 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23725] ppid=23601 vsize=11075936 memory=33 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23725/stat : 23725 (java) S 23601 23604 22159 0 -1 1077944384 43 12879 0 1 0 0 5 3 20 0 15 0 221565015 11341758464 129741 33554432000 4194304 4196468 140735408270160 140121026319744 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23728] ppid=23601 vsize=11075936 memory=518964 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23728/stat : 23728 (java) S 23601 23604 22159 0 -1 1077944384 3 12879 0 1 0 0 5 3 20 0 15 0 221565018 11341758464 129741 33554432000 4194304 4196468 140735408270160 140120718924112 140122350811035 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23729] ppid=23601 vsize=11075936 memory=518964 CPUtime=3.61 cores=1,3,5,7
/proc/23604/task/23729/stat : 23729 (java) S 23601 23604 22159 0 -1 1077944384 16253 12879 0 1 350 3 5 3 20 0 15 0 221565018 11341758464 129741 33554432000 4194304 4196468 140735408270160 140121587968368 140122350803586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23730] ppid=23601 vsize=11075936 memory=518964 CPUtime=2.68 cores=1,3,5,7
/proc/23604/task/23730/stat : 23730 (java) S 23601 23604 22159 0 -1 1077944384 13848 12879 0 1 258 2 5 3 20 0 15 0 221565018 11341758464 129741 33554432000 4194304 4196468 140735408270160 140121586915568 140122350803586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23731] ppid=23601 vsize=11075936 memory=518964 CPUtime=1.57 cores=1,3,5,7
/proc/23604/task/23731/stat : 23731 (java) S 23601 23604 22159 0 -1 1077944384 14218 12879 0 1 146 3 5 3 20 0 15 0 221565018 11341758464 129741 33554432000 4194304 4196468 140735408270160 140121585862768 140122350803586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23732] ppid=23601 vsize=11075936 memory=518964 CPUtime=0.08 cores=1,3,5,7
/proc/23604/task/23732/stat : 23732 (java) S 23601 23604 22159 0 -1 1077944384 3 12879 0 1 0 0 5 3 20 0 15 0 221565018 11341758464 129741 33554432000 4194304 4196468 140735408270160 140120288127200 140122350802645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
[pid=23604/tid=23737] ppid=23601 vsize=11075936 memory=1736 CPUtime=1.14 cores=1,3,5,7
/proc/23604/task/23737/stat : 23737 (java) S 23601 23604 22159 0 -1 1077944384 901 12879 0 1 53 53 5 3 20 0 15 0 221565018 11341758464 129741 33554432000 4194304 4196468 140735408270160 140121584811184 140122350803586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140735408278125 140735408280924 140735408280924 140735408283599 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 11075936 KiB
Current children cumulated memory: 518964 KiB
Child status: 143
Real time (s): 2499.92
CPU time (s): 2520.13
CPU user time (s): 2518.33
CPU system time (s): 1.80346
CPU usage (%): 100.808
Max. virtual memory (cumulated for all children) (KiB): 11078644
Max. memory (cumulated for all children) (KiB): 518964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.33
system time used= 1.80346
maximum resident set size= 521392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156024
page faults= 2
swaps= 0
block input operations= 6144
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 150359
involuntary context switches= 5203
# summary of solver processes directly reported to runsolver:
# pid: 23604
# total CPU time (s): 2520.13
# total CPU user time (s): 2518.33
# total CPU system time (s): 1.80346
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4816 second user time and 23.4107 second system time
The end