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 (8032 MiB free)
memory of node 1: 16384 MiB (14404 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304613-1534119249/watcher-4304613-1534119249 -o /tmp/evaluation-result-4304613-1534119249/solver-4304613-1534119249 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534099504-1961 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=33513290 HOME/instance-4304613-1534119249.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=6029, runsolver pid=6026
[startup+0.100159 s]*
/proc/loadavg: 1.48 1.55 1.59 2/219 6071
/proc/meminfo: memFree=22961528/32770624 swapFree=67108804/67108860
[pid=6029] ppid=6026 vsize=113256 memory=1616 CPUtime=0.08 cores=1,3,5,7
/proc/6029/stat : 6029 (bash) R 6026 6029 1929 0 -1 4202496 1003 13246 0 0 0 0 5 3 20 0 1 0 229488040 115974144 404 33554432000 4194304 5098028 140725225554752 140725225550584 140338970961003 0 0 4100 65536 0 0 0 17 3 0 0 0 0 0 7196144 7232144 29298688 140725225559213 140725225559336 140725225559336 140725225562094 0
/proc/6029/statm: 28314 404 319 221 0 119 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 113256 KiB
Current children cumulated memory: 1616 KiB
[startup+0.210391 s]*
/proc/loadavg: 1.48 1.55 1.59 5/217 6095
/proc/meminfo: memFree=22949160/32770624 swapFree=67108804/67108860
[pid=6029] ppid=6026 vsize=10982744 memory=41064 CPUtime=0.24 cores=1,3,5,7
/proc/6029/stat : 6029 (java) S 6026 6029 1929 0 -1 1077944320 6907 13246 0 0 14 2 5 3 20 0 15 0 229488040 11246329856 10266 33554432000 4194304 4196468 140730111660016 140730111642560 140086838730487 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
/proc/6029/statm: 2745686 10266 2983 1 0 2708109 0
[pid=6029/tid=6082] ppid=6026 vsize=10982744 memory=7022364594140610616 CPUtime=0.17 cores=1,3,5,7
/proc/6029/task/6082/stat : 6082 (java) R 6026 6029 1929 0 -1 4202560 3473 13246 0 0 9 0 5 3 20 0 15 0 229488052 11246329856 10266 33554432000 4194304 4196468 140730111660016 140086810508448 140086822810974 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6083] ppid=6026 vsize=10982744 memory=343 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6083/stat : 6083 (java) S 6026 6029 1929 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 229488052 11246329856 10266 33554432000 4194304 4196468 140730111660016 140086842972688 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6084] ppid=6026 vsize=10982744 memory=3760698838290863776 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6084/stat : 6084 (java) S 6026 6029 1929 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 229488052 11246329856 10266 33554432000 4194304 4196468 140730111660016 140086377896592 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6085] ppid=6026 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6085/stat : 6085 (java) S 6026 6029 1929 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 229488052 11246329856 10266 33554432000 4194304 4196468 140730111660016 140086376843536 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6086] ppid=6026 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6086/stat : 6086 (java) S 6026 6029 1929 0 -1 1077944384 2 13246 0 0 0 0 5 3 20 0 15 0 229488052 11246329856 10266 33554432000 4194304 4196468 140730111660016 140086375790992 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6087] ppid=6026 vsize=10982744 memory=140144422753920 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6087/stat : 6087 (java) S 6026 6029 1929 0 -1 1077944384 2 13246 0 0 0 0 5 3 20 0 15 0 229488054 11246329856 10266 33554432000 4194304 4196468 140730111660016 140086129715952 140086838741634 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6088] ppid=6026 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6088/stat : 6088 (java) S 6026 6029 1929 0 -1 1077944384 13 13246 0 0 0 0 5 3 20 0 15 0 229488054 11246329856 10266 33554432000 4194304 4196468 140730111660016 140085659952800 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6089] ppid=6026 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6089/stat : 6089 (java) S 6026 6029 1929 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 229488054 11246329856 10266 33554432000 4194304 4196468 140730111660016 140085458625776 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6090] ppid=6026 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6090/stat : 6090 (java) S 6026 6029 1929 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 229488057 11246329856 10266 33554432000 4194304 4196468 140730111660016 140085151226320 140086838749083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6091] ppid=6026 vsize=10982744 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6029/task/6091/stat : 6091 (java) S 6026 6029 1929 0 -1 1077944384 536 13246 0 0 1 0 5 3 20 0 15 0 229488057 11246329856 10266 33554432000 4194304 4196468 140730111660016 140086128662768 140086838741634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6092] ppid=6026 vsize=10982744 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/6029/task/6092/stat : 6092 (java) S 6026 6029 1929 0 -1 1077944384 68 13246 0 0 1 0 5 3 20 0 15 0 229488057 11246329856 10266 33554432000 4194304 4196468 140730111660016 140086127610224 140086838741634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6093] ppid=6026 vsize=10982744 memory=140144422753920 CPUtime=0.1 cores=1,3,5,7
/proc/6029/task/6093/stat : 6093 (java) S 6026 6029 1929 0 -1 1077944384 615 13246 0 0 2 0 5 3 20 0 15 0 229488057 11246329856 10266 33554432000 4194304 4196468 140730111660016 140086126557168 140086838741634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6094] ppid=6026 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6094/stat : 6094 (java) S 6026 6029 1929 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 229488057 11246329856 10266 33554432000 4194304 4196468 140730111660016 140084720429408 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6095] ppid=6026 vsize=10982744 memory=140144422753920 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6095/stat : 6095 (java) S 6026 6029 1929 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 229488058 11246329856 10266 33554432000 4194304 4196468 140730111660016 140086125505584 140086838741634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 41064 KiB
[startup+0.310587 s]*
/proc/loadavg: 1.48 1.55 1.59 4/217 6095
/proc/meminfo: memFree=22935908/32770624 swapFree=67108804/67108860
[pid=6029] ppid=6026 vsize=10983192 memory=54600 CPUtime=0.37 cores=1,3,5,7
/proc/6029/stat : 6029 (java) S 6026 6029 1929 0 -1 1077944320 10136 13246 0 0 26 3 5 3 20 0 15 0 229488040 11246788608 13650 33554432000 4194304 4196468 140730111660016 140730111642560 140086838730487 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
/proc/6029/statm: 2745798 13650 3102 1 0 2708109 0
[pid=6029/tid=6082] ppid=6026 vsize=10983192 memory=576461178948550685 CPUtime=0.27 cores=1,3,5,7
/proc/6029/task/6082/stat : 6082 (java) R 6026 6029 1929 0 -1 4202560 6682 13246 0 0 18 1 5 3 20 0 15 0 229488052 11246788608 13650 33554432000 4194304 4196468 140730111660016 140086810542496 140086821917313 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6083] ppid=6026 vsize=10983192 memory=302022878499700759 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6083/stat : 6083 (java) S 6026 6029 1929 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 229488052 11246788608 13650 33554432000 4194304 4196468 140730111660016 140086842972688 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6084] ppid=6026 vsize=10983192 memory=15396092469122712 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6084/stat : 6084 (java) S 6026 6029 1929 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 229488052 11246788608 13650 33554432000 4194304 4196468 140730111660016 140086377896592 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6085] ppid=6026 vsize=10983192 memory=7882834749540411979 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6085/stat : 6085 (java) S 6026 6029 1929 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 229488052 11246788608 13650 33554432000 4194304 4196468 140730111660016 140086376843536 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6086] ppid=6026 vsize=10983192 memory=4207609243431883529 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6086/stat : 6086 (java) S 6026 6029 1929 0 -1 1077944384 2 13246 0 0 0 0 5 3 20 0 15 0 229488052 11246788608 13650 33554432000 4194304 4196468 140730111660016 140086375790992 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6087] ppid=6026 vsize=10983192 memory=3472468440650434224 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6087/stat : 6087 (java) S 6026 6029 1929 0 -1 1077944384 2 13246 0 0 0 0 5 3 20 0 15 0 229488054 11246788608 13650 33554432000 4194304 4196468 140730111660016 140086129715952 140086838741634 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6088] ppid=6026 vsize=10983192 memory=3472328296227680264 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6088/stat : 6088 (java) S 6026 6029 1929 0 -1 1077944384 13 13246 0 0 0 0 5 3 20 0 15 0 229488054 11246788608 13650 33554432000 4194304 4196468 140730111660016 140085659952800 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6089] ppid=6026 vsize=10983192 memory=-3621219715169225006 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6089/stat : 6089 (java) S 6026 6029 1929 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 229488054 11246788608 13650 33554432000 4194304 4196468 140730111660016 140085458625776 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6090] ppid=6026 vsize=10983192 memory=6944656592455359580 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6090/stat : 6090 (java) S 6026 6029 1929 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 229488057 11246788608 13650 33554432000 4194304 4196468 140730111660016 140085151226320 140086838749083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6091] ppid=6026 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6029/task/6091/stat : 6091 (java) S 6026 6029 1929 0 -1 1077944384 538 13246 0 0 1 0 5 3 20 0 15 0 229488057 11246788608 13650 33554432000 4194304 4196468 140730111660016 140086128662768 140086838741634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6092] ppid=6026 vsize=10983192 memory=7307199747045421918 CPUtime=0.09 cores=1,3,5,7
/proc/6029/task/6092/stat : 6092 (java) S 6026 6029 1929 0 -1 1077944384 68 13246 0 0 1 0 5 3 20 0 15 0 229488057 11246788608 13650 33554432000 4194304 4196468 140730111660016 140086127610224 140086838741634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6093] ppid=6026 vsize=10983192 memory=140144422753920 CPUtime=0.12 cores=1,3,5,7
/proc/6029/task/6093/stat : 6093 (java) S 6026 6029 1929 0 -1 1077944384 626 13246 0 0 4 0 5 3 20 0 15 0 229488057 11246788608 13650 33554432000 4194304 4196468 140730111660016 140086126557168 140086838741634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6094] ppid=6026 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6094/stat : 6094 (java) S 6026 6029 1929 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 229488057 11246788608 13650 33554432000 4194304 4196468 140730111660016 140084720429408 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6095] ppid=6026 vsize=10983192 memory=140144422753920 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6095/stat : 6095 (java) S 6026 6029 1929 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 229488058 11246788608 13650 33554432000 4194304 4196468 140730111660016 140086125505584 140086838741634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 54600 KiB
[startup+0.700788 s]
/proc/loadavg: 1.48 1.55 1.59 4/217 6095
/proc/meminfo: memFree=22923440/32770624 swapFree=67108804/67108860
[pid=6029] ppid=6026 vsize=10983192 memory=88428 CPUtime=0.97 cores=1,3,5,7
/proc/6029/stat : 6029 (java) S 6026 6029 1929 0 -1 1077944320 16717 13246 0 0 85 4 5 3 20 0 15 0 229488040 11246788608 22107 33554432000 4194304 4196468 140730111660016 140730111642560 140086838730487 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
/proc/6029/statm: 2745798 22107 3237 1 0 2708109 0
[pid=6029/tid=6082] ppid=6026 vsize=10983192 memory=15292 CPUtime=0.65 cores=1,3,5,7
/proc/6029/task/6082/stat : 6082 (java) R 6026 6029 1929 0 -1 4202560 12229 13246 0 0 54 3 5 3 20 0 15 0 229488052 11246788608 22144 33554432000 4194304 4196468 140730111660016 140086810553488 140086831447450 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6083] ppid=6026 vsize=10983192 memory=34480 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6083/stat : 6083 (java) S 6026 6029 1929 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 229488052 11246788608 22144 33554432000 4194304 4196468 140730111660016 140086842972688 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6084] ppid=6026 vsize=10983192 memory=496 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6084/stat : 6084 (java) S 6026 6029 1929 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 229488052 11246788608 22144 33554432000 4194304 4196468 140730111660016 140086377896592 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6085] ppid=6026 vsize=10983192 memory=1616 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6085/stat : 6085 (java) S 6026 6029 1929 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 229488052 11246788608 22144 33554432000 4194304 4196468 140730111660016 140086376843536 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6086] ppid=6026 vsize=10983192 memory=932 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6086/stat : 6086 (java) S 6026 6029 1929 0 -1 1077944384 2 13246 0 0 0 0 5 3 20 0 15 0 229488052 11246788608 22144 33554432000 4194304 4196468 140730111660016 140086375790992 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6087] ppid=6026 vsize=10983192 memory=1168 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6087/stat : 6087 (java) S 6026 6029 1929 0 -1 1077944384 5 13246 0 0 0 0 5 3 20 0 15 0 229488054 11246788608 22144 33554432000 4194304 4196468 140730111660016 140086129715952 140086838741634 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6088] ppid=6026 vsize=10983192 memory=7305218370954617685 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6088/stat : 6088 (java) S 6026 6029 1929 0 -1 1077944384 13 13246 0 0 0 0 5 3 20 0 15 0 229488054 11246788608 22144 33554432000 4194304 4196468 140730111660016 140085659952800 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6089] ppid=6026 vsize=10983192 memory=7378699755609877337 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6089/stat : 6089 (java) S 6026 6029 1929 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 229488054 11246788608 22144 33554432000 4194304 4196468 140730111660016 140085458625776 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6090] ppid=6026 vsize=10983192 memory=7382076411502814296 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6090/stat : 6090 (java) S 6026 6029 1929 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 229488057 11246788608 22144 33554432000 4194304 4196468 140730111660016 140085151226320 140086838749083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6091] ppid=6026 vsize=10983192 memory=7151829807201800272 CPUtime=0.18 cores=1,3,5,7
/proc/6029/task/6091/stat : 6091 (java) S 6026 6029 1929 0 -1 1077944384 1158 13246 0 0 10 0 5 3 20 0 15 0 229488057 11246788608 22144 33554432000 4194304 4196468 140730111660016 140086128662768 140086838741634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6092] ppid=6026 vsize=10983192 memory=6154564063988049513 CPUtime=0.15 cores=1,3,5,7
/proc/6029/task/6092/stat : 6092 (java) S 6026 6029 1929 0 -1 1077944384 435 13246 0 0 7 0 5 3 20 0 15 0 229488057 11246788608 22144 33554432000 4194304 4196468 140730111660016 140086127610224 140086838741634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6093] ppid=6026 vsize=10983192 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/6029/task/6093/stat : 6093 (java) S 6026 6029 1929 0 -1 1077944384 668 13246 0 0 13 0 5 3 20 0 15 0 229488057 11246788608 22144 33554432000 4194304 4196468 140730111660016 140086126557168 140086838741634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6094] ppid=6026 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6094/stat : 6094 (java) S 6026 6029 1929 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 229488057 11246788608 22144 33554432000 4194304 4196468 140730111660016 140084720429408 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6095] ppid=6026 vsize=10983192 memory=3304 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6095/stat : 6095 (java) S 6026 6029 1929 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 229488058 11246788608 22144 33554432000 4194304 4196468 140730111660016 140086125505584 140086838741634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88428 KiB
[startup+1.50076 s]
/proc/loadavg: 1.48 1.55 1.59 3/217 6095
/proc/meminfo: memFree=22880528/32770624 swapFree=67108804/67108860
[pid=6029] ppid=6026 vsize=10998092 memory=177128 CPUtime=2.24 cores=1,3,5,7
/proc/6029/stat : 6029 (java) S 6026 6029 1929 0 -1 1077944320 23711 13246 0 0 206 10 5 3 20 0 15 0 229488040 11262046208 44282 33554432000 4194304 4196468 140730111660016 140730111642560 140086838730487 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
/proc/6029/statm: 2749523 44282 3467 1 0 2711181 0
[pid=6029/tid=6082] ppid=6026 vsize=10998092 memory=0 CPUtime=1.41 cores=1,3,5,7
/proc/6029/task/6082/stat : 6082 (java) R 6026 6029 1929 0 -1 4202560 17726 13246 0 0 128 5 5 3 20 0 15 0 229488052 11262046208 44282 33554432000 4194304 4196468 140730111660016 140086810558544 140086822810974 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6083] ppid=6026 vsize=10998092 memory=288230583166042425 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6083/stat : 6083 (java) S 6026 6029 1929 0 -1 1077944384 187 13246 0 0 0 0 5 3 20 0 15 0 229488052 11262046208 44282 33554432000 4194304 4196468 140730111660016 140086842972688 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6084] ppid=6026 vsize=10998092 memory=288230591722435882 CPUtime=0.09 cores=1,3,5,7
/proc/6029/task/6084/stat : 6084 (java) S 6026 6029 1929 0 -1 1077944384 48 13246 0 0 1 0 5 3 20 0 15 0 229488052 11262046208 44282 33554432000 4194304 4196468 140730111660016 140086377896592 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6085] ppid=6026 vsize=10998092 memory=8112282956445269571 CPUtime=0.09 cores=1,3,5,7
/proc/6029/task/6085/stat : 6085 (java) S 6026 6029 1929 0 -1 1077944384 25 13246 0 0 1 0 5 3 20 0 15 0 229488052 11262046208 44282 33554432000 4194304 4196468 140730111660016 140086376843536 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6086] ppid=6026 vsize=10998092 memory=6935649255911673936 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6086/stat : 6086 (java) S 6026 6029 1929 0 -1 1077944384 42 13246 0 0 0 0 5 3 20 0 15 0 229488052 11262046208 44282 33554432000 4194304 4196468 140730111660016 140086375790992 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6087] ppid=6026 vsize=10998092 memory=6935654753436258384 CPUtime=0.09 cores=1,3,5,7
/proc/6029/task/6087/stat : 6087 (java) S 6026 6029 1929 0 -1 1077944384 59 13246 0 0 1 0 5 3 20 0 15 0 229488054 11262046208 44282 33554432000 4194304 4196468 140730111660016 140086129715952 140086838741634 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6088] ppid=6026 vsize=10998092 memory=6935649255759568960 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6088/stat : 6088 (java) S 6026 6029 1929 0 -1 1077944384 13 13246 0 0 0 0 5 3 20 0 15 0 229488054 11262046208 44282 33554432000 4194304 4196468 140730111660016 140085659952864 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6089] ppid=6026 vsize=10998092 memory=4638778398332698720 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6089/stat : 6089 (java) S 6026 6029 1929 0 -1 1077944384 2 13246 0 0 0 0 5 3 20 0 15 0 229488054 11262046208 44282 33554432000 4194304 4196468 140730111660016 140085458625792 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6090] ppid=6026 vsize=10998092 memory=6940979756583112791 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6090/stat : 6090 (java) S 6026 6029 1929 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 229488057 11262046208 44282 33554432000 4194304 4196468 140730111660016 140085151226320 140086838749083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6091] ppid=6026 vsize=10998092 memory=4640185773216252005 CPUtime=0.28 cores=1,3,5,7
/proc/6029/task/6091/stat : 6091 (java) S 6026 6029 1929 0 -1 1077944384 1312 13246 0 0 20 0 5 3 20 0 15 0 229488057 11262046208 44282 33554432000 4194304 4196468 140730111660016 140086128662768 140086838741634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6092] ppid=6026 vsize=10998092 memory=4638778398332698720 CPUtime=0.27 cores=1,3,5,7
/proc/6029/task/6092/stat : 6092 (java) S 6026 6029 1929 0 -1 1077944384 893 13246 0 0 19 0 5 3 20 0 15 0 229488057 11262046208 44282 33554432000 4194304 4196468 140730111660016 140086127610224 140086838741634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6093] ppid=6026 vsize=10998092 memory=5859271421084521832 CPUtime=0.4 cores=1,3,5,7
/proc/6029/task/6093/stat : 6093 (java) S 6026 6029 1929 0 -1 1077944384 1201 13246 0 0 32 0 5 3 20 0 15 0 229488057 11262046208 44282 33554432000 4194304 4196468 140730111660016 140086126557168 140086838741634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6094] ppid=6026 vsize=10998092 memory=4638778398332698720 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6094/stat : 6094 (java) S 6026 6029 1929 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 229488057 11262046208 44282 33554432000 4194304 4196468 140730111660016 140084720429408 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6095] ppid=6026 vsize=10998092 memory=4638778398332698720 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6095/stat : 6095 (java) S 6026 6029 1929 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 229488058 11262046208 44282 33554432000 4194304 4196468 140730111660016 140086125505584 140086838741634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
Current children cumulated CPU time: 2.24 s
Current children cumulated vsize: 10998092 KiB
Current children cumulated memory: 177128 KiB
[startup+3.1107 s]
/proc/loadavg: 1.48 1.55 1.59 6/217 6095
/proc/meminfo: memFree=22752588/32770624 swapFree=67108804/67108860
[pid=6029] ppid=6026 vsize=11008352 memory=227376 CPUtime=5.74 cores=1,3,5,7
/proc/6029/stat : 6029 (java) S 6026 6029 1929 0 -1 1077944320 32748 13246 0 0 551 15 5 3 20 0 15 0 229488040 11272552448 56844 33554432000 4194304 4196468 140730111660016 140730111642560 140086838730487 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
/proc/6029/statm: 2752088 56844 3486 1 0 2713741 0
[pid=6029/tid=6082] ppid=6026 vsize=11008352 memory=13869 CPUtime=3.01 cores=1,3,5,7
/proc/6029/task/6082/stat : 6082 (java) R 6026 6029 1929 0 -1 4202560 22836 13246 0 0 285 8 5 3 20 0 15 0 229488052 11272552448 56844 33554432000 4194304 4196468 140730111660016 140086810565200 140086838752413 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6083] ppid=6026 vsize=11008352 memory=288230377007612190 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6083/stat : 6083 (java) S 6026 6029 1929 0 -1 1077944384 187 13246 0 0 0 0 5 3 20 0 15 0 229488052 11272552448 56844 33554432000 4194304 4196468 140730111660016 140086842972688 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6084] ppid=6026 vsize=11008352 memory=3304 CPUtime=0.09 cores=1,3,5,7
/proc/6029/task/6084/stat : 6084 (java) S 6026 6029 1929 0 -1 1077944384 48 13246 0 0 1 0 5 3 20 0 15 0 229488052 11272552448 56844 33554432000 4194304 4196468 140730111660016 140086377896592 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6085] ppid=6026 vsize=11008352 memory=1260 CPUtime=0.09 cores=1,3,5,7
/proc/6029/task/6085/stat : 6085 (java) S 6026 6029 1929 0 -1 1077944384 25 13246 0 0 1 0 5 3 20 0 15 0 229488052 11272552448 56844 33554432000 4194304 4196468 140730111660016 140086376843536 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6086] ppid=6026 vsize=11008352 memory=14872 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6086/stat : 6086 (java) S 6026 6029 1929 0 -1 1077944384 42 13246 0 0 0 0 5 3 20 0 15 0 229488052 11272552448 56844 33554432000 4194304 4196468 140730111660016 140086375790992 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6087] ppid=6026 vsize=11008352 memory=3296 CPUtime=0.09 cores=1,3,5,7
/proc/6029/task/6087/stat : 6087 (java) S 6026 6029 1929 0 -1 1077944384 59 13246 0 0 1 0 5 3 20 0 15 0 229488054 11272552448 56844 33554432000 4194304 4196468 140730111660016 140086129715952 140086838741634 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6088] ppid=6026 vsize=11008352 memory=6442450945227 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6088/stat : 6088 (java) S 6026 6029 1929 0 -1 1077944384 13 13246 0 0 0 0 5 3 20 0 15 0 229488054 11272552448 56844 33554432000 4194304 4196468 140730111660016 140085659952864 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6089] ppid=6026 vsize=11008352 memory=288230583166042425 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6089/stat : 6089 (java) S 6026 6029 1929 0 -1 1077944384 2 13246 0 0 0 0 5 3 20 0 15 0 229488054 11272552448 56844 33554432000 4194304 4196468 140730111660016 140085458625792 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6090] ppid=6026 vsize=11008352 memory=13851893122205948 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6090/stat : 6090 (java) S 6026 6029 1929 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 229488057 11272552448 56844 33554432000 4194304 4196468 140730111660016 140085151226320 140086838749083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6091] ppid=6026 vsize=11008352 memory=8112282956445269571 CPUtime=0.8 cores=1,3,5,7
/proc/6029/task/6091/stat : 6091 (java) S 6026 6029 1929 0 -1 1077944384 1983 13246 0 0 71 1 5 3 20 0 15 0 229488057 11272552448 56844 33554432000 4194304 4196468 140730111660016 140086128662768 140086838741634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6092] ppid=6026 vsize=11008352 memory=7524501684531323232 CPUtime=0.81 cores=1,3,5,7
/proc/6029/task/6092/stat : 6092 (java) S 6026 6029 1929 0 -1 1077944384 1234 13246 0 0 73 0 5 3 20 0 15 0 229488057 11272552448 56844 33554432000 4194304 4196468 140730111660016 140086127610224 140086838741634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6093] ppid=6026 vsize=11008352 memory=0 CPUtime=1.23 cores=1,3,5,7
/proc/6029/task/6093/stat : 6093 (java) S 6026 6029 1929 0 -1 1077944384 4115 13246 0 0 114 1 5 3 20 0 15 0 229488057 11272552448 56844 33554432000 4194304 4196468 140730111660016 140086126557168 140086838741634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6094] ppid=6026 vsize=11008352 memory=2276 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6094/stat : 6094 (java) S 6026 6029 1929 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 229488057 11272552448 56844 33554432000 4194304 4196468 140730111660016 140084720429408 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6095] ppid=6026 vsize=11008352 memory=7014751519734192482 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6095/stat : 6095 (java) S 6026 6029 1929 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 229488058 11272552448 56844 33554432000 4194304 4196468 140730111660016 140086125505584 140086838741634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
Current children cumulated CPU time: 5.74 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 227376 KiB
[startup+4.57826 s]
# the end of solver process 6029 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.08158 s, system=0.260335 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.2009 s]
/proc/loadavg: 1.48 1.55 1.59 6/217 6095
/proc/meminfo: memFree=22752588/32770624 swapFree=67108804/67108860
[pid=6029] ppid=6026 vsize=11008352 memory=247492 CPUtime=5.92 cores=1,3,5,7
/proc/6029/stat : 6029 (java) S 6026 6029 1929 0 -1 1077944320 41468 13246 0 0 568 16 5 3 20 0 15 0 229488040 11272552448 61873 33554432000 4194304 4196468 140730111660016 140730111642560 140086838730487 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
/proc/6029/statm: 2752088 61873 3487 1 0 2713741 0
[pid=6029/tid=6082] ppid=6026 vsize=11008352 memory=280288626862224 CPUtime=3.08 cores=1,3,5,7
/proc/6029/task/6082/stat : 6082 (java) S 6026 6029 1929 0 -1 1077944384 25335 13246 0 0 292 8 5 3 20 0 15 0 229488052 11272552448 61873 33554432000 4194304 4196468 140730111660016 140086810553264 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6083] ppid=6026 vsize=11008352 memory=140144313431056 CPUtime=0.09 cores=1,3,5,7
/proc/6029/task/6083/stat : 6083 (java) S 6026 6029 1929 0 -1 1077944384 775 13246 0 0 1 0 5 3 20 0 15 0 229488052 11272552448 61873 33554432000 4194304 4196468 140730111660016 140086842972688 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6084] ppid=6026 vsize=11008352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6029/task/6084/stat : 6084 (java) S 6026 6029 1929 0 -1 1077944384 418 13246 0 0 1 0 5 3 20 0 15 0 229488052 11272552448 61873 33554432000 4194304 4196468 140730111660016 140086377896592 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6085] ppid=6026 vsize=11008352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6029/task/6085/stat : 6085 (java) S 6026 6029 1929 0 -1 1077944384 45 13246 0 0 1 0 5 3 20 0 15 0 229488052 11272552448 61873 33554432000 4194304 4196468 140730111660016 140086376843536 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6086] ppid=6026 vsize=11008352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6029/task/6086/stat : 6086 (java) S 6026 6029 1929 0 -1 1077944384 57 13246 0 0 1 0 5 3 20 0 15 0 229488052 11272552448 61873 33554432000 4194304 4196468 140730111660016 140086375790992 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6087] ppid=6026 vsize=11008352 memory=198276 CPUtime=0.1 cores=1,3,5,7
/proc/6029/task/6087/stat : 6087 (java) R 6026 6029 1929 0 -1 4202560 5083 13246 0 0 2 0 5 3 20 0 15 0 229488054 11272552448 61873 33554432000 4194304 4196468 140730111660016 140086129714240 140086824422183 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6088] ppid=6026 vsize=11008352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6088/stat : 6088 (java) S 6026 6029 1929 0 -1 1077944384 13 13246 0 0 0 0 5 3 20 0 15 0 229488054 11272552448 61873 33554432000 4194304 4196468 140730111660016 140085659952864 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6089] ppid=6026 vsize=11008352 memory=-5921431000321636112 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6089/stat : 6089 (java) S 6026 6029 1929 0 -1 1077944384 2 13246 0 0 0 0 5 3 20 0 15 0 229488054 11272552448 61873 33554432000 4194304 4196468 140730111660016 140085458625792 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6090] ppid=6026 vsize=11008352 memory=6944656592455097440 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6090/stat : 6090 (java) S 6026 6029 1929 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 229488057 11272552448 61873 33554432000 4194304 4196468 140730111660016 140085151226320 140086838749083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6091] ppid=6026 vsize=11008352 memory=0 CPUtime=0.82 cores=1,3,5,7
/proc/6029/task/6091/stat : 6091 (java) S 6026 6029 1929 0 -1 1077944384 1992 13246 0 0 73 1 5 3 20 0 15 0 229488057 11272552448 61873 33554432000 4194304 4196468 140730111660016 140086128662768 140086838741634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6092] ppid=6026 vsize=11008352 memory=280288626661152 CPUtime=0.83 cores=1,3,5,7
/proc/6029/task/6092/stat : 6092 (java) S 6026 6029 1929 0 -1 1077944384 1251 13246 0 0 75 0 5 3 20 0 15 0 229488057 11272552448 61873 33554432000 4194304 4196468 140730111660016 140086127610224 140086838741634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6093] ppid=6026 vsize=11008352 memory=8026508392053723840 CPUtime=1.26 cores=1,3,5,7
/proc/6029/task/6093/stat : 6093 (java) S 6026 6029 1929 0 -1 1077944384 4312 13246 0 0 116 2 5 3 20 0 15 0 229488057 11272552448 61873 33554432000 4194304 4196468 140730111660016 140086126557168 140086838741634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6094] ppid=6026 vsize=11008352 memory=-7965959130280075168 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6094/stat : 6094 (java) S 6026 6029 1929 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 229488057 11272552448 61873 33554432000 4194304 4196468 140730111660016 140084720429408 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6095] ppid=6026 vsize=11008352 memory=-7531822216213012384 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6095/stat : 6095 (java) S 6026 6029 1929 0 -1 1077944384 6 13246 0 0 0 0 5 3 20 0 15 0 229488058 11272552448 61873 33554432000 4194304 4196468 140730111660016 140086125505584 140086838741634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
Current children cumulated CPU time: 5.92 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 247492 KiB
[startup+4.00075 s]*
/proc/loadavg: 1.68 1.59 1.60 5/217 6095
/proc/meminfo: memFree=22639780/32770624 swapFree=67108804/67108860
[pid=6029] ppid=6026 vsize=11080744 memory=332868 CPUtime=8.29 cores=1,3,5,7
/proc/6029/stat : 6029 (java) S 6026 6029 1929 0 -1 1077944320 68959 13246 0 0 800 21 5 3 20 0 15 0 229488040 11346681856 83217 33554432000 4194304 4196468 140730111660016 140730111642560 140086838730487 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
/proc/6029/statm: 2770186 83217 3488 1 0 2731839 0
[pid=6029/tid=6082] ppid=6026 vsize=11080744 memory=720716088718917937 CPUtime=3.87 cores=1,3,5,7
/proc/6029/task/6082/stat : 6082 (java) R 6026 6029 1929 0 -1 4202560 43860 13246 0 0 368 11 5 3 20 0 15 0 229488052 11346681856 83217 33554432000 4194304 4196468 140730111660016 140086810558720 140086417984695 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6083] ppid=6026 vsize=11080744 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/6029/task/6083/stat : 6083 (java) S 6026 6029 1929 0 -1 1077944384 777 13246 0 0 3 0 5 3 20 0 15 0 229488052 11346681856 83217 33554432000 4194304 4196468 140730111660016 140086842972688 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6084] ppid=6026 vsize=11080744 memory=140144423944827 CPUtime=0.11 cores=1,3,5,7
/proc/6029/task/6084/stat : 6084 (java) S 6026 6029 1929 0 -1 1077944384 418 13246 0 0 3 0 5 3 20 0 15 0 229488052 11346681856 83217 33554432000 4194304 4196468 140730111660016 140086377896592 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6085] ppid=6026 vsize=11080744 memory=280288626364256 CPUtime=0.11 cores=1,3,5,7
/proc/6029/task/6085/stat : 6085 (java) S 6026 6029 1929 0 -1 1077944384 45 13246 0 0 3 0 5 3 20 0 15 0 229488052 11346681856 83217 33554432000 4194304 4196468 140730111660016 140086376843536 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6086] ppid=6026 vsize=11080744 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/6029/task/6086/stat : 6086 (java) S 6026 6029 1929 0 -1 1077944384 59 13246 0 0 3 0 5 3 20 0 15 0 229488052 11346681856 83217 33554432000 4194304 4196468 140730111660016 140086375790992 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6087] ppid=6026 vsize=11080744 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/6029/task/6087/stat : 6087 (java) S 6026 6029 1929 0 -1 1077944384 5572 13246 0 0 3 0 5 3 20 0 15 0 229488054 11346681856 83217 33554432000 4194304 4196468 140730111660016 140086129715952 140086838741634 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6088] ppid=6026 vsize=11080744 memory=20577 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6088/stat : 6088 (java) S 6026 6029 1929 0 -1 1077944384 13 13246 0 0 0 0 5 3 20 0 15 0 229488054 11346681856 83217 33554432000 4194304 4196468 140730111660016 140085659952864 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6089] ppid=6026 vsize=11080744 memory=7084280301184240985 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6089/stat : 6089 (java) S 6026 6029 1929 0 -1 1077944384 4 13246 0 0 0 0 5 3 20 0 15 0 229488054 11346681856 83217 33554432000 4194304 4196468 140730111660016 140085458625792 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6090] ppid=6026 vsize=11080744 memory=7451609539861307712 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6090/stat : 6090 (java) S 6026 6029 1929 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 229488057 11346681856 83217 33554432000 4194304 4196468 140730111660016 140085151226320 140086838749083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6091] ppid=6026 vsize=11080744 memory=0 CPUtime=1.44 cores=1,3,5,7
/proc/6029/task/6091/stat : 6091 (java) R 6026 6029 1929 0 -1 4202560 5668 13246 0 0 135 1 5 3 20 0 15 0 229488057 11346681856 83217 33554432000 4194304 4196468 140730111660016 140086128648792 140086820274592 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6092] ppid=6026 vsize=11080744 memory=3472328296227680303 CPUtime=1.46 cores=1,3,5,7
/proc/6029/task/6092/stat : 6092 (java) R 6026 6029 1929 0 -1 4202560 5210 13246 0 0 137 1 5 3 20 0 15 0 229488057 11346681856 83217 33554432000 4194304 4196468 140730111660016 140086127591240 140086817985391 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6093] ppid=6026 vsize=11080744 memory=3472468439996793842 CPUtime=1.52 cores=1,3,5,7
/proc/6029/task/6093/stat : 6093 (java) S 6026 6029 1929 0 -1 1077944384 5129 13246 0 0 142 2 5 3 20 0 15 0 229488057 11346681856 83217 33554432000 4194304 4196468 140730111660016 140086126557168 140086838741634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6094] ppid=6026 vsize=11080744 memory=664624032279693625 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6094/stat : 6094 (java) S 6026 6029 1929 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 229488057 11346681856 83217 33554432000 4194304 4196468 140730111660016 140084720429408 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6095] ppid=6026 vsize=11080744 memory=2319546944666023584 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6095/stat : 6095 (java) S 6026 6029 1929 0 -1 1077944384 6 13246 0 0 0 0 5 3 20 0 15 0 229488058 11346681856 83217 33554432000 4194304 4196468 140730111660016 140086125505584 140086838741634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
Current children cumulated CPU time: 8.29 s
Current children cumulated vsize: 11080744 KiB
Current children cumulated memory: 332868 KiB
[startup+4.40073 s]
/proc/loadavg: 1.68 1.59 1.60 5/217 6095
/proc/meminfo: memFree=22639780/32770624 swapFree=67108804/67108860
[pid=6029] ppid=6026 vsize=11143520 memory=334192 CPUtime=9.31 cores=1,3,5,7
/proc/6029/stat : 6029 (java) S 6026 6029 1929 0 -1 1077944320 69835 13246 0 0 902 21 5 3 20 0 13 0 229488040 11410964480 83548 33554432000 4194304 4196468 140730111660016 140730111642560 140086838730487 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
/proc/6029/statm: 2785880 83548 3494 1 0 2747533 0
[pid=6029/tid=6082] ppid=6026 vsize=11143520 memory=7162531440177276259 CPUtime=4.16 cores=1,3,5,7
/proc/6029/task/6082/stat : 6082 (java) D 6026 6029 1929 0 -1 4202560 44014 13246 0 0 397 11 5 3 20 0 13 0 229488052 11410964480 83548 33554432000 4194304 4196468 140730111660016 140086810574136 140086831416119 0 0 0 16800975 18446744072100379781 0 0 -1 3 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6083] ppid=6026 vsize=11143520 memory=7810763844726514514 CPUtime=0.11 cores=1,3,5,7
/proc/6029/task/6083/stat : 6083 (java) S 6026 6029 1929 0 -1 1077944384 777 13246 0 0 3 0 5 3 20 0 13 0 229488052 11410964480 83548 33554432000 4194304 4196468 140730111660016 140086842972688 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6084] ppid=6026 vsize=11143520 memory=7300442006930157929 CPUtime=0.11 cores=1,3,5,7
/proc/6029/task/6084/stat : 6084 (java) S 6026 6029 1929 0 -1 1077944384 418 13246 0 0 3 0 5 3 20 0 13 0 229488052 11410964480 83548 33554432000 4194304 4196468 140730111660016 140086377896592 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6085] ppid=6026 vsize=11143520 memory=7523094202006596714 CPUtime=0.11 cores=1,3,5,7
/proc/6029/task/6085/stat : 6085 (java) S 6026 6029 1929 0 -1 1077944384 45 13246 0 0 3 0 5 3 20 0 13 0 229488052 11410964480 83548 33554432000 4194304 4196468 140730111660016 140086376843536 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6086] ppid=6026 vsize=11143520 memory=7524501684531323232 CPUtime=0.11 cores=1,3,5,7
/proc/6029/task/6086/stat : 6086 (java) S 6026 6029 1929 0 -1 1077944384 59 13246 0 0 3 0 5 3 20 0 13 0 229488052 11410964480 83548 33554432000 4194304 4196468 140730111660016 140086375790992 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6088] ppid=6026 vsize=11143520 memory=325956 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6088/stat : 6088 (java) S 6026 6029 1929 0 -1 1077944384 13 13246 0 0 0 0 5 3 20 0 13 0 229488054 11410964480 83548 33554432000 4194304 4196468 140730111660016 140085659952864 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6089] ppid=6026 vsize=11143520 memory=280288626318584 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6089/stat : 6089 (java) S 6026 6029 1929 0 -1 1077944384 4 13246 0 0 0 0 5 3 20 0 13 0 229488054 11410964480 83548 33554432000 4194304 4196468 140730111660016 140085458625792 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6090] ppid=6026 vsize=11143520 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6090/stat : 6090 (java) S 6026 6029 1929 0 -1 1077944384 26 13246 0 0 0 0 5 3 20 0 13 0 229488057 11410964480 83548 33554432000 4194304 4196468 140730111660016 140085151225088 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6091] ppid=6026 vsize=11143520 memory=0 CPUtime=1.75 cores=1,3,5,7
/proc/6029/task/6091/stat : 6091 (java) S 6026 6029 1929 0 -1 1077944384 6120 13246 0 0 166 1 5 3 20 0 13 0 229488057 11410964480 83548 33554432000 4194304 4196468 140730111660016 140086128643248 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6092] ppid=6026 vsize=11143520 memory=0 CPUtime=1.78 cores=1,3,5,7
/proc/6029/task/6092/stat : 6092 (java) S 6026 6029 1929 0 -1 1077944384 5266 13246 0 0 169 1 5 3 20 0 13 0 229488057 11410964480 83548 33554432000 4194304 4196468 140730111660016 140086127589264 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6093] ppid=6026 vsize=11143520 memory=0 CPUtime=1.61 cores=1,3,5,7
/proc/6029/task/6093/stat : 6093 (java) S 6026 6029 1929 0 -1 1077944384 5299 13246 0 0 151 2 5 3 20 0 13 0 229488057 11410964480 83548 33554432000 4194304 4196468 140730111660016 140086126557168 140086838741634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
[pid=6029/tid=6094] ppid=6026 vsize=11143520 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6029/task/6094/stat : 6094 (java) S 6026 6029 1929 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 13 0 229488057 11410964480 83548 33554432000 4194304 4196468 140730111660016 140084720429408 140086838740693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15388672 140730111662702 140730111665500 140730111665500 140730111668175 0
Current children cumulated CPU time: 9.31 s
Current children cumulated vsize: 11143520 KiB
Current children cumulated memory: 334192 KiB
[startup+4.50067 s]*
/proc/loadavg: 1.68 1.59 1.60 2/204 6096
/proc/meminfo: memFree=22948572/32770624 swapFree=67108804/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 4.57831
CPU time (s): 9.34192
CPU user time (s): 9.08158
CPU system time (s): 0.260335
CPU usage (%): 204.047
Max. virtual memory (cumulated for all children) (KiB): 11143520
Max. memory (cumulated for all children) (KiB): 334236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.08158
system time used= 0.260335
maximum resident set size= 336148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83105
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7236
involuntary context switches= 47
# summary of solver processes directly reported to runsolver:
# pid: 6029
# total CPU time (s): 9.34192
# total CPU user time (s): 9.08158
# total CPU system time (s): 0.260335
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.046158 second user time and 0.091211 second system time
The end