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 (10716 MiB free)
memory of node 1: 16384 MiB (15477 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401211-1568673331/watcher-4401211-1568673331 -o /tmp/evaluation-result-4401211-1568673331/solver-4401211-1568673331 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568673293-13491 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1889038206 HOME/instance-4401211-1568673331.xml
running on 4 cores: 0,2,4,6
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=13521, runsolver pid=13514
[startup+0.100144 s]*
/proc/loadavg: 0.00 1.27 2.49 2/205 13578
/proc/meminfo: memFree=26816008/32770624 swapFree=66941500/67108860
[pid=13521] ppid=13514 vsize=113256 memory=1616 CPUtime=0.01 cores=0,2,4,6
/proc/13521/stat : 13521 (bash) S 13514 13521 13460 0 -1 4202496 892 5690 0 0 0 0 0 1 20 0 1 0 443572044 115974144 404 33554432000 4194304 5098028 140726638826080 140726638820088 140286875032576 0 0 4100 65536 18446744071580971376 0 0 17 4 0 0 4 0 0 7196144 7232144 25174016 140726638834708 140726638834833 140726638834833 140726638837742 0
/proc/13521/statm: 28314 404 320 221 0 119 0
[pid=13574] ppid=13521 vsize=113256 memory=712 CPUtime=0 cores=0,2,4,6
/proc/13574/stat : 13574 (bash) S 13521 13521 13460 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 443572051 115974144 178 33554432000 4194304 5098028 140726638826080 140726638818760 140286874858108 0 65536 4096 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25174016 140726638834708 140726638834833 140726638834833 140726638837742 0
/proc/13574/statm: 28314 178 94 221 0 119 0
[pid=13577] ppid=13574 vsize=113256 memory=532 CPUtime=0 cores=0,2,4,6
/proc/13577/stat : 13577 (bash) D 13574 13521 13460 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 1 0 443572051 115974144 133 33554432000 4194304 5098028 140726638826080 140726638818536 140286875030901 0 0 4096 65538 18446744072101592612 0 0 17 0 0 0 0 0 0 7196144 7232144 25174016 140726638834708 140726638834833 140726638834833 140726638837742 0
/proc/13577/statm: 28314 133 49 221 0 119 0
[pid=13578] ppid=13574 vsize=113488 memory=972 CPUtime=0 cores=0,2,4,6
/proc/13578/stat : 13578 (awk) S 13574 13521 13460 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 443572051 116211712 243 33554432000 4194304 4609284 140723617793888 140723617793064 140354084654080 0 0 4096 1216 18446744071580971376 0 0 17 4 0 0 0 0 0 6708720 6711756 12345344 140723617797308 140723617797338 140723617797338 140723617800175 0
/proc/13578/statm: 28372 243 204 102 0 88 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 453256 KiB
Current children cumulated memory: 3832 KiB
[startup+0.210093 s]*
/proc/loadavg: 0.00 1.27 2.49 2/205 13578
/proc/meminfo: memFree=26816008/32770624 swapFree=66941500/67108860
[pid=13521] ppid=13514 vsize=113256 memory=1616 CPUtime=0.01 cores=0,2,4,6
/proc/13521/stat : 13521 (bash) S 13514 13521 13460 0 -1 4202496 892 5690 0 0 0 0 0 1 20 0 1 0 443572044 115974144 404 33554432000 4194304 5098028 140726638826080 140726638820088 140286875032576 0 0 4100 65536 18446744071580971376 0 0 17 4 0 0 4 0 0 7196144 7232144 25174016 140726638834708 140726638834833 140726638834833 140726638837742 0
/proc/13521/statm: 28314 404 320 221 0 119 0
[pid=13574] ppid=13521 vsize=113256 memory=712 CPUtime=0 cores=0,2,4,6
/proc/13574/stat : 13574 (bash) S 13521 13521 13460 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 443572051 115974144 178 33554432000 4194304 5098028 140726638826080 140726638818760 140286874858108 0 65536 4096 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25174016 140726638834708 140726638834833 140726638834833 140726638837742 0
/proc/13574/statm: 28314 178 94 221 0 119 0
[pid=13577] ppid=13574 vsize=113256 memory=532 CPUtime=0 cores=0,2,4,6
/proc/13577/stat : 13577 (bash) D 13574 13521 13460 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 1 0 443572051 115974144 133 33554432000 4194304 5098028 140726638826080 140726638818536 140286875030901 0 0 4096 65538 18446744072101592612 0 0 17 0 0 0 0 0 0 7196144 7232144 25174016 140726638834708 140726638834833 140726638834833 140726638837742 0
/proc/13577/statm: 28314 133 49 221 0 119 0
[pid=13578] ppid=13574 vsize=113488 memory=972 CPUtime=0 cores=0,2,4,6
/proc/13578/stat : 13578 (awk) S 13574 13521 13460 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 443572051 116211712 243 33554432000 4194304 4609284 140723617793888 140723617793064 140354084654080 0 0 4096 1216 18446744071580971376 0 0 17 4 0 0 0 0 0 6708720 6711756 12345344 140723617797308 140723617797338 140723617797338 140723617800175 0
/proc/13578/statm: 28372 243 204 102 0 88 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 453256 KiB
Current children cumulated memory: 3832 KiB
[startup+0.309628 s]*
/proc/loadavg: 0.00 1.27 2.49 3/205 13578
/proc/meminfo: memFree=26815656/32770624 swapFree=66941500/67108860
[pid=13521] ppid=13514 vsize=113256 memory=1616 CPUtime=0.01 cores=0,2,4,6
/proc/13521/stat : 13521 (bash) S 13514 13521 13460 0 -1 4202496 892 5690 0 0 0 0 0 1 20 0 1 0 443572044 115974144 404 33554432000 4194304 5098028 140726638826080 140726638820088 140286875032576 0 0 4100 65536 18446744071580971376 0 0 17 4 0 0 4 0 0 7196144 7232144 25174016 140726638834708 140726638834833 140726638834833 140726638837742 0
/proc/13521/statm: 28314 404 320 221 0 119 0
[pid=13574] ppid=13521 vsize=113256 memory=712 CPUtime=0 cores=0,2,4,6
/proc/13574/stat : 13574 (bash) S 13521 13521 13460 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 443572051 115974144 178 33554432000 4194304 5098028 140726638826080 140726638818760 140286874858108 0 65536 4096 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25174016 140726638834708 140726638834833 140726638834833 140726638837742 0
/proc/13574/statm: 28314 178 94 221 0 119 0
[pid=13577] ppid=13574 vsize=296 memory=4 CPUtime=0 cores=0,2,4,6
/proc/13577/stat : 13577 (java) D 13574 13521 13460 0 -1 1077936128 155 0 0 0 0 0 0 0 20 0 1 0 443572051 303104 1 33554432000 4194304 4196468 140728385216768 140728385214040 140663954798279 0 0 4096 0 18446744072101592612 0 0 17 2 0 0 0 0 0 6293624 6294260 7389184 140728385221772 140728385221786 140728385221786 140728385224655 0
/proc/13577/statm: 74 1 0 1 0 38 0
[pid=13578] ppid=13574 vsize=113488 memory=972 CPUtime=0 cores=0,2,4,6
/proc/13578/stat : 13578 (awk) S 13574 13521 13460 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 443572051 116211712 243 33554432000 4194304 4609284 140723617793888 140723617793064 140354084654080 0 0 4096 1216 18446744071580971376 0 0 17 4 0 0 0 0 0 6708720 6711756 12345344 140723617797308 140723617797338 140723617797338 140723617800175 0
/proc/13578/statm: 28372 243 204 102 0 88 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 340296 KiB
Current children cumulated memory: 3304 KiB
[startup+0.700617 s]
/proc/loadavg: 0.00 1.27 2.49 2/207 13580
/proc/meminfo: memFree=26813768/32770624 swapFree=66941500/67108860
[pid=13521] ppid=13514 vsize=113256 memory=1616 CPUtime=0.01 cores=0,2,4,6
/proc/13521/stat : 13521 (bash) S 13514 13521 13460 0 -1 4202496 892 5690 0 0 0 0 0 1 20 0 1 0 443572044 115974144 404 33554432000 4194304 5098028 140726638826080 140726638820088 140286875032576 0 0 4100 65536 18446744071580971376 0 0 17 4 0 0 4 0 0 7196144 7232144 25174016 140726638834708 140726638834833 140726638834833 140726638837742 0
/proc/13521/statm: 28314 404 320 221 0 119 0
[pid=13574] ppid=13521 vsize=113256 memory=712 CPUtime=0 cores=0,2,4,6
/proc/13574/stat : 13574 (bash) S 13521 13521 13460 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 443572051 115974144 178 33554432000 4194304 5098028 140726638826080 140726638818760 140286874858108 0 65536 4096 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25174016 140726638834708 140726638834833 140726638834833 140726638837742 0
/proc/13574/statm: 28314 178 94 221 0 119 0
[pid=13577] ppid=13574 vsize=10260324 memory=20332 CPUtime=0.04 cores=0,2,4,6
/proc/13577/stat : 13577 (java) S 13574 13521 13460 0 -1 1077944320 3998 0 0 0 3 1 0 0 20 0 9 0 443572051 10506571776 5083 33554432000 4194304 4196468 140728385216768 140728385199312 140663952522999 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7389184 140728385221772 140728385221786 140728385221786 140728385224655 0
/proc/13577/statm: 2565081 5083 2160 1 0 2527622 0
[pid=13577/tid=13579] ppid=13574 vsize=10260324 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/13577/task/13579/stat : 13579 (java) D 13574 13521 13460 0 -1 1077944384 2651 0 0 0 3 0 0 0 20 0 9 0 443572081 10506571776 5083 33554432000 4194304 4196468 140728385216768 140663956749624 140663945201173 0 4 0 16800971 18446744072101592612 0 0 -1 0 0 0 0 0 0 6293624 6294260 7389184 140728385221772 140728385221786 140728385221786 140728385224655 0
[pid=13578] ppid=13574 vsize=113488 memory=972 CPUtime=0 cores=0,2,4,6
/proc/13578/stat : 13578 (awk) S 13574 13521 13460 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 443572051 116211712 243 33554432000 4194304 4609284 140723617793888 140723617793064 140354084654080 0 0 4096 1216 18446744071580971376 0 0 17 4 0 0 0 0 0 6708720 6711756 12345344 140723617797308 140723617797338 140723617797338 140723617800175 0
/proc/13578/statm: 28372 243 204 102 0 88 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10600324 KiB
Current children cumulated memory: 23632 KiB
[startup+1.50033 s]
/proc/loadavg: 0.00 1.27 2.49 2/204 13616
/proc/meminfo: memFree=26815176/32770624 swapFree=66941500/67108860
[pid=13521] ppid=13514 vsize=10820268 memory=59960 CPUtime=0.62 cores=0,2,4,6
/proc/13521/stat : 13521 (java) S 13514 13521 13460 0 -1 1077944320 12525 13054 0 1 49 4 6 3 20 0 15 0 443572044 11079954432 14990 33554432000 4194304 4196468 140724249851248 140724249833792 139636122144503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 4 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
/proc/13521/statm: 2705067 14990 3460 1 0 2667149 0
[pid=13521/tid=13616] ppid=13514 vsize=10820268 memory=6791534058613427641 CPUtime=0.41 cores=0,2,4,6
/proc/13521/task/13616/stat : 13616 (java) R 13514 13521 13460 0 -1 4202560 8309 13054 0 1 29 3 6 3 20 0 15 0 443572142 11079954432 14990 33554432000 4194304 4196468 140724249851248 139636093939720 139636102420224 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 10820268 KiB
Current children cumulated memory: 59960 KiB
[startup+3.11042 s]
/proc/loadavg: 0.32 1.32 2.50 8/227 13652
/proc/meminfo: memFree=26399048/32770624 swapFree=66941500/67108860
[pid=13521] ppid=13514 vsize=10834680 memory=214652 CPUtime=3.45 cores=0,2,4,6
/proc/13521/stat : 13521 (java) S 13514 13521 13460 0 -1 1077944320 26206 13054 0 1 321 15 6 3 20 0 15 0 443572044 11094712320 53663 33554432000 4194304 4196468 140724249851248 140724249833792 139636122144503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 4 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
/proc/13521/statm: 2708670 53663 3589 1 0 2670733 0
[pid=13521/tid=13616] ppid=13514 vsize=10834680 memory=134472 CPUtime=1.63 cores=0,2,4,6
/proc/13521/task/13616/stat : 13616 (java) R 13514 13521 13460 0 -1 4202560 15240 13054 0 1 147 7 6 3 20 0 15 0 443572142 11094712320 53663 33554432000 4194304 4196468 140724249851248 139636093946224 139636106225020 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13627] ppid=13514 vsize=10834680 memory=972 CPUtime=0.1 cores=0,2,4,6
/proc/13521/task/13627/stat : 13627 (java) S 13514 13521 13460 0 -1 1077944384 74 13054 0 1 1 0 6 3 20 0 15 0 443572148 11094712320 53663 33554432000 4194304 4196468 140724249851248 139636126387216 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13628] ppid=13514 vsize=10834680 memory=1616 CPUtime=0.1 cores=0,2,4,6
/proc/13521/task/13628/stat : 13628 (java) S 13514 13521 13460 0 -1 1077944384 42 13054 0 1 1 0 6 3 20 0 15 0 443572148 11094712320 53663 33554432000 4194304 4196468 140724249851248 139635695869072 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13629] ppid=13514 vsize=10834680 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/13521/task/13629/stat : 13629 (java) S 13514 13521 13460 0 -1 1077944384 261 13054 0 1 1 0 6 3 20 0 15 0 443572148 11094712320 53663 33554432000 4194304 4196468 140724249851248 139635694816016 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13630] ppid=13514 vsize=10834680 memory=6944656592455097440 CPUtime=0.1 cores=0,2,4,6
/proc/13521/task/13630/stat : 13630 (java) S 13514 13521 13460 0 -1 1077944384 22 13054 0 1 1 0 6 3 20 0 15 0 443572148 11094712320 53663 33554432000 4194304 4196468 140724249851248 139635693763472 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13635] ppid=13514 vsize=10834680 memory=6944656575208382560 CPUtime=0.1 cores=0,2,4,6
/proc/13521/task/13635/stat : 13635 (java) S 13514 13521 13460 0 -1 1077944384 106 13054 0 1 1 0 6 3 20 0 15 0 443572149 11094712320 53663 33554432000 4194304 4196468 140724249851248 139635394009328 139636122155650 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13636] ppid=13514 vsize=10834680 memory=6944656592455359580 CPUtime=0.09 cores=0,2,4,6
/proc/13521/task/13636/stat : 13636 (java) S 13514 13521 13460 0 -1 1077944384 14 13054 0 1 0 0 6 3 20 0 15 0 443572150 11094712320 53663 33554432000 4194304 4196468 140724249851248 139635292366048 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13637] ppid=13514 vsize=10834680 memory=-8096445597189105254 CPUtime=0.09 cores=0,2,4,6
/proc/13521/task/13637/stat : 13637 (java) S 13514 13521 13460 0 -1 1077944384 1 13054 0 1 0 0 6 3 20 0 15 0 443572150 11094712320 53663 33554432000 4194304 4196468 140724249851248 139635158147840 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13641] ppid=13514 vsize=10834680 memory=7969267389102848828 CPUtime=0.09 cores=0,2,4,6
/proc/13521/task/13641/stat : 13641 (java) S 13514 13521 13460 0 -1 1077944384 3 13054 0 1 0 0 6 3 20 0 15 0 443572155 11094712320 53663 33554432000 4194304 4196468 140724249851248 139634649421776 139636122163099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13642] ppid=13514 vsize=10834680 memory=6944938067432061290 CPUtime=0.66 cores=0,2,4,6
/proc/13521/task/13642/stat : 13642 (java) S 13514 13521 13460 0 -1 1077944384 3286 13054 0 1 56 1 6 3 20 0 15 0 443572155 11094712320 53663 33554432000 4194304 4196468 140724249851248 139635392957168 139636122155650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13643] ppid=13514 vsize=10834680 memory=7893295687695687954 CPUtime=0.67 cores=0,2,4,6
/proc/13521/task/13643/stat : 13643 (java) S 13514 13521 13460 0 -1 1077944384 2517 13054 0 1 56 2 6 3 20 0 15 0 443572155 11094712320 53663 33554432000 4194304 4196468 140724249851248 139635391904624 139636122155650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13644] ppid=13514 vsize=10834680 memory=280198297833192 CPUtime=0.6 cores=0,2,4,6
/proc/13521/task/13644/stat : 13644 (java) R 13514 13521 13460 0 -1 4202560 2427 13054 0 1 51 0 6 3 20 0 15 0 443572155 11094712320 53663 33554432000 4194304 4196468 140724249851248 139635390851568 139636106224990 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13645] ppid=13514 vsize=10834680 memory=712 CPUtime=0.09 cores=0,2,4,6
/proc/13521/task/13645/stat : 13645 (java) S 13514 13521 13460 0 -1 1077944384 3 13054 0 1 0 0 6 3 20 0 15 0 443572155 11094712320 53663 33554432000 4194304 4196468 140724249851248 139634615864160 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13651] ppid=13514 vsize=10834680 memory=20592 CPUtime=0.09 cores=0,2,4,6
/proc/13521/task/13651/stat : 13651 (java) S 13514 13521 13460 0 -1 1077944384 1 13054 0 1 0 0 6 3 20 0 15 0 443572162 11094712320 53663 33554432000 4194304 4196468 140724249851248 139635389798960 139636122155650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
Current children cumulated CPU time: 3.45 s
Current children cumulated vsize: 10834680 KiB
Current children cumulated memory: 214652 KiB
[startup+6.30133 s]
/proc/loadavg: 0.32 1.32 2.50 6/227 13652
/proc/meminfo: memFree=26201824/32770624 swapFree=66941500/67108860
[pid=13521] ppid=13514 vsize=10842892 memory=365288 CPUtime=12.64 cores=0,2,4,6
/proc/13521/stat : 13521 (java) S 13514 13521 13460 0 -1 1077944320 45241 13054 0 1 1224 31 6 3 20 0 15 0 443572044 11103121408 91322 33554432000 4194304 4196468 140724249851248 140724249833792 139636122144503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 4 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
/proc/13521/statm: 2710723 91322 3623 1 0 2672781 0
[pid=13521/tid=13616] ppid=13514 vsize=10842892 memory=5 CPUtime=4.64 cores=0,2,4,6
/proc/13521/task/13616/stat : 13616 (java) R 13514 13521 13460 0 -1 4202560 21880 13054 0 1 442 13 6 3 20 0 15 0 443572142 11103121408 91322 33554432000 4194304 4196468 140724249851248 139636093978952 139635724487499 0 4 0 16800975 0 0 0 -1 6 0 0 15 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13627] ppid=13514 vsize=10842892 memory=33 CPUtime=0.19 cores=0,2,4,6
/proc/13521/task/13627/stat : 13627 (java) S 13514 13521 13460 0 -1 1077944384 278 13054 0 1 8 2 6 3 20 0 15 0 443572148 11103121408 91322 33554432000 4194304 4196468 140724249851248 139636126387216 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13628] ppid=13514 vsize=10842892 memory=254668 CPUtime=0.19 cores=0,2,4,6
/proc/13521/task/13628/stat : 13628 (java) S 13514 13521 13460 0 -1 1077944384 673 13054 0 1 8 2 6 3 20 0 15 0 443572148 11103121408 91322 33554432000 4194304 4196468 140724249851248 139635695869072 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13629] ppid=13514 vsize=10842892 memory=1 CPUtime=0.19 cores=0,2,4,6
/proc/13521/task/13629/stat : 13629 (java) S 13514 13521 13460 0 -1 1077944384 491 13054 0 1 8 2 6 3 20 0 15 0 443572148 11103121408 91322 33554432000 4194304 4196468 140724249851248 139635694816016 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13630] ppid=13514 vsize=10842892 memory=56 CPUtime=0.2 cores=0,2,4,6
/proc/13521/task/13630/stat : 13630 (java) S 13514 13521 13460 0 -1 1077944384 200 13054 0 1 9 2 6 3 20 0 15 0 443572148 11103121408 91322 33554432000 4194304 4196468 140724249851248 139635693763472 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13635] ppid=13514 vsize=10842892 memory=-6150080651513348033 CPUtime=0.12 cores=0,2,4,6
/proc/13521/task/13635/stat : 13635 (java) S 13514 13521 13460 0 -1 1077944384 240 13054 0 1 3 0 6 3 20 0 15 0 443572149 11103121408 91322 33554432000 4194304 4196468 140724249851248 139635394009328 139636122155650 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13636] ppid=13514 vsize=10842892 memory=3620 CPUtime=0.09 cores=0,2,4,6
/proc/13521/task/13636/stat : 13636 (java) S 13514 13521 13460 0 -1 1077944384 21 13054 0 1 0 0 6 3 20 0 15 0 443572150 11103121408 91322 33554432000 4194304 4196468 140724249851248 139635292366048 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13637] ppid=13514 vsize=10842892 memory=47252 CPUtime=0.09 cores=0,2,4,6
/proc/13521/task/13637/stat : 13637 (java) S 13514 13521 13460 0 -1 1077944384 11 13054 0 1 0 0 6 3 20 0 15 0 443572150 11103121408 91322 33554432000 4194304 4196468 140724249851248 139635158147840 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13641] ppid=13514 vsize=10842892 memory=1988 CPUtime=0.09 cores=0,2,4,6
/proc/13521/task/13641/stat : 13641 (java) S 13514 13521 13460 0 -1 1077944384 3 13054 0 1 0 0 6 3 20 0 15 0 443572155 11103121408 91322 33554432000 4194304 4196468 140724249851248 139634649421776 139636122163099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13642] ppid=13514 vsize=10842892 memory=988 CPUtime=2.9 cores=0,2,4,6
/proc/13521/task/13642/stat : 13642 (java) S 13514 13521 13460 0 -1 1077944384 5892 13054 0 1 279 2 6 3 20 0 15 0 443572155 11103121408 91322 33554432000 4194304 4196468 140724249851248 139635392957168 139636122155650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13643] ppid=13514 vsize=10842892 memory=305 CPUtime=3.24 cores=0,2,4,6
/proc/13521/task/13643/stat : 13643 (java) R 13514 13521 13460 0 -1 4202560 5769 13054 0 1 312 3 6 3 20 0 15 0 443572155 11103121408 91322 33554432000 4194304 4196468 140724249851248 139635391884448 139636105641291 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13644] ppid=13514 vsize=10842892 memory=6944656592455097440 CPUtime=1.6 cores=0,2,4,6
/proc/13521/task/13644/stat : 13644 (java) R 13514 13521 13460 0 -1 4202560 7536 13054 0 1 149 2 6 3 20 0 15 0 443572155 11103121408 91322 33554432000 4194304 4196468 140724249851248 139635390851568 139636107310085 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13645] ppid=13514 vsize=10842892 memory=6944656575208382560 CPUtime=0.09 cores=0,2,4,6
/proc/13521/task/13645/stat : 13645 (java) S 13514 13521 13460 0 -1 1077944384 3 13054 0 1 0 0 6 3 20 0 15 0 443572155 11103121408 91322 33554432000 4194304 4196468 140724249851248 139634615864160 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13651] ppid=13514 vsize=10842892 memory=6944656592455097440 CPUtime=0.09 cores=0,2,4,6
/proc/13521/task/13651/stat : 13651 (java) S 13514 13521 13460 0 -1 1077944384 34 13054 0 1 0 0 6 3 20 0 15 0 443572162 11103121408 91322 33554432000 4194304 4196468 140724249851248 139635389798960 139636122155650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 10842892 KiB
Current children cumulated memory: 365288 KiB
[startup+12.7013 s]
/proc/loadavg: 0.65 1.36 2.50 5/227 13652
/proc/meminfo: memFree=24859636/32770624 swapFree=66941500/67108860
[pid=13521] ppid=13514 vsize=10842892 memory=1540860 CPUtime=25.45 cores=0,2,4,6
################
# More data... #
################
[pid=13521/tid=13627] ppid=13514 vsize=11039508 memory=4872558044660077418 CPUtime=8.25 cores=0,2,4,6
/proc/13521/task/13627/stat : 13627 (java) S 13514 13521 13460 0 -1 1077944384 2918 13054 0 1 762 54 6 3 20 0 17 0 443572148 11304456192 956562 33554432000 4194304 4196468 140724249851248 139636126387216 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13628] ppid=13514 vsize=11039508 memory=2112 CPUtime=8.28 cores=0,2,4,6
/proc/13521/task/13628/stat : 13628 (java) S 13514 13521 13460 0 -1 1077944384 5283 13054 0 1 762 57 6 3 20 0 17 0 443572148 11304456192 956562 33554432000 4194304 4196468 140724249851248 139635695869072 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13629] ppid=13514 vsize=11039508 memory=12040 CPUtime=8.29 cores=0,2,4,6
/proc/13521/task/13629/stat : 13629 (java) S 13514 13521 13460 0 -1 1077944384 4343 13054 0 1 763 57 6 3 20 0 17 0 443572148 11304456192 956562 33554432000 4194304 4196468 140724249851248 139635694816016 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13630] ppid=13514 vsize=11039508 memory=27668 CPUtime=8.19 cores=0,2,4,6
/proc/13521/task/13630/stat : 13630 (java) S 13514 13521 13460 0 -1 1077944384 2999 13054 0 1 755 55 6 3 20 0 17 0 443572148 11304456192 956562 33554432000 4194304 4196468 140724249851248 139635693763472 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13635] ppid=13514 vsize=11039508 memory=1556 CPUtime=1.44 cores=0,2,4,6
/proc/13521/task/13635/stat : 13635 (java) S 13514 13521 13460 0 -1 1077944384 21388 13054 0 1 132 3 6 3 20 0 17 0 443572149 11304456192 956562 33554432000 4194304 4196468 140724249851248 139635394009328 139636122155650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13636] ppid=13514 vsize=11039508 memory=532 CPUtime=0.09 cores=0,2,4,6
/proc/13521/task/13636/stat : 13636 (java) S 13514 13521 13460 0 -1 1077944384 23 13054 0 1 0 0 6 3 20 0 17 0 443572150 11304456192 956562 33554432000 4194304 4196468 140724249851248 139635292366112 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13637] ppid=13514 vsize=11039508 memory=928 CPUtime=0.09 cores=0,2,4,6
/proc/13521/task/13637/stat : 13637 (java) S 13514 13521 13460 0 -1 1077944384 20 13054 0 1 0 0 6 3 20 0 17 0 443572150 11304456192 956562 33554432000 4194304 4196468 140724249851248 139635158147840 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13641] ppid=13514 vsize=11039508 memory=1720 CPUtime=0.09 cores=0,2,4,6
/proc/13521/task/13641/stat : 13641 (java) S 13514 13521 13460 0 -1 1077944384 147 13054 0 1 0 0 6 3 20 0 17 0 443572155 11304456192 956562 33554432000 4194304 4196468 140724249851248 139634649421776 139636122163099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13642] ppid=13514 vsize=11039508 memory=1976 CPUtime=7.24 cores=0,2,4,6
/proc/13521/task/13642/stat : 13642 (java) S 13514 13521 13460 0 -1 1077944384 15932 13054 0 1 711 4 6 3 20 0 17 0 443572155 11304456192 956562 33554432000 4194304 4196468 140724249851248 139635392957168 139636122155650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13643] ppid=13514 vsize=11039508 memory=2432 CPUtime=7.57 cores=0,2,4,6
/proc/13521/task/13643/stat : 13643 (java) S 13514 13521 13460 0 -1 1077944384 15270 13054 0 1 743 5 6 3 20 0 17 0 443572155 11304456192 956562 33554432000 4194304 4196468 140724249851248 139635391904624 139636122155650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13644] ppid=13514 vsize=11039508 memory=1436 CPUtime=2.14 cores=0,2,4,6
/proc/13521/task/13644/stat : 13644 (java) S 13514 13521 13460 0 -1 1077944384 14109 13054 0 1 201 4 6 3 20 0 17 0 443572155 11304456192 956562 33554432000 4194304 4196468 140724249851248 139635390851568 139636122155650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13645] ppid=13514 vsize=11039508 memory=804 CPUtime=0.09 cores=0,2,4,6
/proc/13521/task/13645/stat : 13645 (java) S 13514 13521 13460 0 -1 1077944384 3 13054 0 1 0 0 6 3 20 0 17 0 443572155 11304456192 956562 33554432000 4194304 4196468 140724249851248 139634615864160 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13651] ppid=13514 vsize=11039508 memory=6791534058613427641 CPUtime=1.42 cores=0,2,4,6
/proc/13521/task/13651/stat : 13651 (java) S 13514 13521 13460 0 -1 1077944384 2024 13054 0 1 65 68 6 3 20 0 17 0 443572162 11304456192 956562 33554432000 4194304 4196468 140724249851248 139635389798960 139636122155650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=14032] ppid=13514 vsize=11039508 memory=1764 CPUtime=0.09 cores=0,2,4,6
/proc/13521/task/14032/stat : 14032 (java) S 13514 13521 13460 0 -1 1077944384 26 13054 0 1 0 0 6 3 20 0 17 0 443819956 11304456192 956562 33554432000 4194304 4196468 140724249851248 139634218623344 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=14033] ppid=13514 vsize=11039508 memory=111628 CPUtime=0.09 cores=0,2,4,6
/proc/13521/task/14033/stat : 14033 (java) S 13514 13521 13460 0 -1 1077944384 44 13054 0 1 0 0 6 3 20 0 17 0 443819956 11304456192 956562 33554432000 4194304 4196468 140724249851248 139634017297376 139636122155650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
Current children cumulated CPU time: 2520.99 s
Current children cumulated vsize: 11039508 KiB
Current children cumulated memory: 3826248 KiB
[startup+2480.8 s]
/proc/loadavg: 2.44 1.95 1.86 3/229 14033
/proc/meminfo: memFree=20313824/32770624 swapFree=66941500/67108860
[pid=13521] ppid=13514 vsize=11039508 memory=3826248 CPUtime=2521.78 cores=0,2,4,6
/proc/13521/stat : 13521 (java) S 13514 13521 13460 0 -1 1077944320 138588 13054 0 1 251837 332 6 3 20 0 17 0 443572044 11304456192 956562 33554432000 4194304 4196468 140724249851248 140724249833792 139636122144503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 4 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
/proc/13521/statm: 2759877 956562 3635 1 0 2721935 0
[pid=13521/tid=13616] ppid=13514 vsize=11039508 memory=3620 CPUtime=2469.64 cores=0,2,4,6
/proc/13521/task/13616/stat : 13616 (java) R 13514 13521 13460 0 -1 4202560 51846 13054 0 1 246921 34 6 3 20 0 17 0 443572142 11304456192 956562 33554432000 4194304 4196468 140724249851248 139636093977984 139635722766165 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13627] ppid=13514 vsize=11039508 memory=47324 CPUtime=8.25 cores=0,2,4,6
/proc/13521/task/13627/stat : 13627 (java) S 13514 13521 13460 0 -1 1077944384 2918 13054 0 1 762 54 6 3 20 0 17 0 443572148 11304456192 956562 33554432000 4194304 4196468 140724249851248 139636126387216 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13628] ppid=13514 vsize=11039508 memory=4872558044660077418 CPUtime=8.28 cores=0,2,4,6
/proc/13521/task/13628/stat : 13628 (java) S 13514 13521 13460 0 -1 1077944384 5283 13054 0 1 762 57 6 3 20 0 17 0 443572148 11304456192 956562 33554432000 4194304 4196468 140724249851248 139635695869072 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13629] ppid=13514 vsize=11039508 memory=-8486080722631693414 CPUtime=8.29 cores=0,2,4,6
/proc/13521/task/13629/stat : 13629 (java) S 13514 13521 13460 0 -1 1077944384 4343 13054 0 1 763 57 6 3 20 0 17 0 443572148 11304456192 956562 33554432000 4194304 4196468 140724249851248 139635694816016 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13630] ppid=13514 vsize=11039508 memory=1764 CPUtime=8.19 cores=0,2,4,6
/proc/13521/task/13630/stat : 13630 (java) S 13514 13521 13460 0 -1 1077944384 2999 13054 0 1 755 55 6 3 20 0 17 0 443572148 11304456192 956562 33554432000 4194304 4196468 140724249851248 139635693763472 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13635] ppid=13514 vsize=11039508 memory=111628 CPUtime=1.44 cores=0,2,4,6
/proc/13521/task/13635/stat : 13635 (java) S 13514 13521 13460 0 -1 1077944384 21388 13054 0 1 132 3 6 3 20 0 17 0 443572149 11304456192 956562 33554432000 4194304 4196468 140724249851248 139635394009328 139636122155650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13636] ppid=13514 vsize=11039508 memory=3822064 CPUtime=0.09 cores=0,2,4,6
/proc/13521/task/13636/stat : 13636 (java) S 13514 13521 13460 0 -1 1077944384 23 13054 0 1 0 0 6 3 20 0 17 0 443572150 11304456192 956562 33554432000 4194304 4196468 140724249851248 139635292366112 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13637] ppid=13514 vsize=11039508 memory=800 CPUtime=0.09 cores=0,2,4,6
/proc/13521/task/13637/stat : 13637 (java) S 13514 13521 13460 0 -1 1077944384 20 13054 0 1 0 0 6 3 20 0 17 0 443572150 11304456192 956562 33554432000 4194304 4196468 140724249851248 139635158147840 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13641] ppid=13514 vsize=11039508 memory=1804 CPUtime=0.09 cores=0,2,4,6
/proc/13521/task/13641/stat : 13641 (java) S 13514 13521 13460 0 -1 1077944384 147 13054 0 1 0 0 6 3 20 0 17 0 443572155 11304456192 956562 33554432000 4194304 4196468 140724249851248 139634649421776 139636122163099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13642] ppid=13514 vsize=11039508 memory=3826248 CPUtime=7.24 cores=0,2,4,6
/proc/13521/task/13642/stat : 13642 (java) S 13514 13521 13460 0 -1 1077944384 15932 13054 0 1 711 4 6 3 20 0 17 0 443572155 11304456192 956562 33554432000 4194304 4196468 140724249851248 139635392957168 139636122155650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13643] ppid=13514 vsize=11039508 memory=3816 CPUtime=7.57 cores=0,2,4,6
/proc/13521/task/13643/stat : 13643 (java) S 13514 13521 13460 0 -1 1077944384 15270 13054 0 1 743 5 6 3 20 0 17 0 443572155 11304456192 956562 33554432000 4194304 4196468 140724249851248 139635391904624 139636122155650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13644] ppid=13514 vsize=11039508 memory=2304 CPUtime=2.14 cores=0,2,4,6
/proc/13521/task/13644/stat : 13644 (java) S 13514 13521 13460 0 -1 1077944384 14109 13054 0 1 201 4 6 3 20 0 17 0 443572155 11304456192 956562 33554432000 4194304 4196468 140724249851248 139635390851568 139636122155650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13645] ppid=13514 vsize=11039508 memory=3826248 CPUtime=0.09 cores=0,2,4,6
/proc/13521/task/13645/stat : 13645 (java) S 13514 13521 13460 0 -1 1077944384 3 13054 0 1 0 0 6 3 20 0 17 0 443572155 11304456192 956562 33554432000 4194304 4196468 140724249851248 139634615864160 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13651] ppid=13514 vsize=11039508 memory=1408 CPUtime=1.42 cores=0,2,4,6
/proc/13521/task/13651/stat : 13651 (java) S 13514 13521 13460 0 -1 1077944384 2024 13054 0 1 65 68 6 3 20 0 17 0 443572162 11304456192 956562 33554432000 4194304 4196468 140724249851248 139635389798960 139636122155650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=14032] ppid=13514 vsize=11039508 memory=3822064 CPUtime=0.09 cores=0,2,4,6
/proc/13521/task/14032/stat : 14032 (java) S 13514 13521 13460 0 -1 1077944384 26 13054 0 1 0 0 6 3 20 0 17 0 443819956 11304456192 956562 33554432000 4194304 4196468 140724249851248 139634218623344 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=14033] ppid=13514 vsize=11039508 memory=3826248 CPUtime=0.09 cores=0,2,4,6
/proc/13521/task/14033/stat : 14033 (java) S 13514 13521 13460 0 -1 1077944384 44 13054 0 1 0 0 6 3 20 0 17 0 443819956 11304456192 956562 33554432000 4194304 4196468 140724249851248 139634017297376 139636122155650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
Current children cumulated CPU time: 2521.78 s
Current children cumulated vsize: 11039508 KiB
Current children cumulated memory: 3826248 KiB
[startup+2481 s]*
/proc/loadavg: 2.44 1.95 1.86 3/229 14033
/proc/meminfo: memFree=20313824/32770624 swapFree=66941500/67108860
[pid=13521] ppid=13514 vsize=11039508 memory=3826248 CPUtime=2521.99 cores=0,2,4,6
/proc/13521/stat : 13521 (java) S 13514 13521 13460 0 -1 1077944320 138588 13054 0 1 251858 332 6 3 20 0 17 0 443572044 11304456192 956562 33554432000 4194304 4196468 140724249851248 140724249833792 139636122144503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 4 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
/proc/13521/statm: 2759877 956562 3635 1 0 2721935 0
[pid=13521/tid=13616] ppid=13514 vsize=11039508 memory=6791534058613427641 CPUtime=2469.85 cores=0,2,4,6
/proc/13521/task/13616/stat : 13616 (java) R 13514 13521 13460 0 -1 4202560 51846 13054 0 1 246942 34 6 3 20 0 17 0 443572142 11304456192 956562 33554432000 4194304 4196468 140724249851248 139636093977984 139635722766165 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13627] ppid=13514 vsize=11039508 memory=4872558044660077418 CPUtime=8.25 cores=0,2,4,6
/proc/13521/task/13627/stat : 13627 (java) S 13514 13521 13460 0 -1 1077944384 2918 13054 0 1 762 54 6 3 20 0 17 0 443572148 11304456192 956562 33554432000 4194304 4196468 140724249851248 139636126387216 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13628] ppid=13514 vsize=11039508 memory=4872558044660077418 CPUtime=8.28 cores=0,2,4,6
/proc/13521/task/13628/stat : 13628 (java) S 13514 13521 13460 0 -1 1077944384 5283 13054 0 1 762 57 6 3 20 0 17 0 443572148 11304456192 956562 33554432000 4194304 4196468 140724249851248 139635695869072 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13629] ppid=13514 vsize=11039508 memory=9047017150487036571 CPUtime=8.29 cores=0,2,4,6
/proc/13521/task/13629/stat : 13629 (java) S 13514 13521 13460 0 -1 1077944384 4343 13054 0 1 763 57 6 3 20 0 17 0 443572148 11304456192 956562 33554432000 4194304 4196468 140724249851248 139635694816016 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13630] ppid=13514 vsize=11039508 memory=4427205132082312746 CPUtime=8.19 cores=0,2,4,6
/proc/13521/task/13630/stat : 13630 (java) S 13514 13521 13460 0 -1 1077944384 2999 13054 0 1 755 55 6 3 20 0 17 0 443572148 11304456192 956562 33554432000 4194304 4196468 140724249851248 139635693763472 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13635] ppid=13514 vsize=11039508 memory=-7023579799431922829 CPUtime=1.44 cores=0,2,4,6
/proc/13521/task/13635/stat : 13635 (java) S 13514 13521 13460 0 -1 1077944384 21388 13054 0 1 132 3 6 3 20 0 17 0 443572149 11304456192 956562 33554432000 4194304 4196468 140724249851248 139635394009328 139636122155650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13636] ppid=13514 vsize=11039508 memory=-8486080722631693414 CPUtime=0.09 cores=0,2,4,6
/proc/13521/task/13636/stat : 13636 (java) S 13514 13521 13460 0 -1 1077944384 23 13054 0 1 0 0 6 3 20 0 17 0 443572150 11304456192 956562 33554432000 4194304 4196468 140724249851248 139635292366112 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13637] ppid=13514 vsize=11039508 memory=4715435516538746410 CPUtime=0.09 cores=0,2,4,6
/proc/13521/task/13637/stat : 13637 (java) S 13514 13521 13460 0 -1 1077944384 20 13054 0 1 0 0 6 3 20 0 17 0 443572150 11304456192 956562 33554432000 4194304 4196468 140724249851248 139635158147840 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13641] ppid=13514 vsize=11039508 memory=3047711553219693942 CPUtime=0.09 cores=0,2,4,6
/proc/13521/task/13641/stat : 13641 (java) S 13514 13521 13460 0 -1 1077944384 147 13054 0 1 0 0 6 3 20 0 17 0 443572155 11304456192 956562 33554432000 4194304 4196468 140724249851248 139634649421776 139636122163099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13642] ppid=13514 vsize=11039508 memory=4426639978525455914 CPUtime=7.24 cores=0,2,4,6
/proc/13521/task/13642/stat : 13642 (java) S 13514 13521 13460 0 -1 1077944384 15932 13054 0 1 711 4 6 3 20 0 17 0 443572155 11304456192 956562 33554432000 4194304 4196468 140724249851248 139635392957168 139636122155650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13643] ppid=13514 vsize=11039508 memory=4572164749098055210 CPUtime=7.57 cores=0,2,4,6
/proc/13521/task/13643/stat : 13643 (java) S 13514 13521 13460 0 -1 1077944384 15270 13054 0 1 743 5 6 3 20 0 17 0 443572155 11304456192 956562 33554432000 4194304 4196468 140724249851248 139635391904624 139636122155650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13644] ppid=13514 vsize=11039508 memory=-8412652160765825907 CPUtime=2.14 cores=0,2,4,6
/proc/13521/task/13644/stat : 13644 (java) S 13514 13521 13460 0 -1 1077944384 14109 13054 0 1 201 4 6 3 20 0 17 0 443572155 11304456192 956562 33554432000 4194304 4196468 140724249851248 139635390851568 139636122155650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13645] ppid=13514 vsize=11039508 memory=7897517683652307531 CPUtime=0.09 cores=0,2,4,6
/proc/13521/task/13645/stat : 13645 (java) S 13514 13521 13460 0 -1 1077944384 3 13054 0 1 0 0 6 3 20 0 17 0 443572155 11304456192 956562 33554432000 4194304 4196468 140724249851248 139634615864160 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13651] ppid=13514 vsize=11039508 memory=8514726395715349656 CPUtime=1.42 cores=0,2,4,6
/proc/13521/task/13651/stat : 13651 (java) S 13514 13521 13460 0 -1 1077944384 2024 13054 0 1 65 68 6 3 20 0 17 0 443572162 11304456192 956562 33554432000 4194304 4196468 140724249851248 139635389798960 139636122155650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=14032] ppid=13514 vsize=11039508 memory=7100839878645619564 CPUtime=0.09 cores=0,2,4,6
/proc/13521/task/14032/stat : 14032 (java) S 13514 13521 13460 0 -1 1077944384 26 13054 0 1 0 0 6 3 20 0 17 0 443819956 11304456192 956562 33554432000 4194304 4196468 140724249851248 139634218623344 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=14033] ppid=13514 vsize=11039508 memory=-8634980985311628903 CPUtime=0.09 cores=0,2,4,6
/proc/13521/task/14033/stat : 14033 (java) S 13514 13521 13460 0 -1 1077944384 44 13054 0 1 0 0 6 3 20 0 17 0 443819956 11304456192 956562 33554432000 4194304 4196468 140724249851248 139634017297376 139636122155650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
Current children cumulated CPU time: 2521.99 s
Current children cumulated vsize: 11039508 KiB
Current children cumulated memory: 3826248 KiB
[startup+2481.11 s]
/proc/loadavg: 2.44 1.95 1.86 3/229 14033
/proc/meminfo: memFree=20313824/32770624 swapFree=66941500/67108860
[pid=13521] ppid=13514 vsize=11039508 memory=3826248 CPUtime=2522.09 cores=0,2,4,6
/proc/13521/stat : 13521 (java) S 13514 13521 13460 0 -1 1077944320 138588 13054 0 1 251868 332 6 3 20 0 17 0 443572044 11304456192 956562 33554432000 4194304 4196468 140724249851248 140724249833792 139636122144503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 4 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
/proc/13521/statm: 2759877 956562 3635 1 0 2721935 0
[pid=13521/tid=13616] ppid=13514 vsize=11039508 memory=3822064 CPUtime=2469.95 cores=0,2,4,6
/proc/13521/task/13616/stat : 13616 (java) R 13514 13521 13460 0 -1 4202560 51846 13054 0 1 246952 34 6 3 20 0 17 0 443572142 11304456192 956562 33554432000 4194304 4196468 140724249851248 139636093977984 139635722766165 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13627] ppid=13514 vsize=11039508 memory=3822064 CPUtime=8.25 cores=0,2,4,6
/proc/13521/task/13627/stat : 13627 (java) S 13514 13521 13460 0 -1 1077944384 2918 13054 0 1 762 54 6 3 20 0 17 0 443572148 11304456192 956562 33554432000 4194304 4196468 140724249851248 139636126387216 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13628] ppid=13514 vsize=11039508 memory=3822064 CPUtime=8.28 cores=0,2,4,6
/proc/13521/task/13628/stat : 13628 (java) S 13514 13521 13460 0 -1 1077944384 5283 13054 0 1 762 57 6 3 20 0 17 0 443572148 11304456192 956562 33554432000 4194304 4196468 140724249851248 139635695869072 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13629] ppid=13514 vsize=11039508 memory=780 CPUtime=8.29 cores=0,2,4,6
/proc/13521/task/13629/stat : 13629 (java) S 13514 13521 13460 0 -1 1077944384 4343 13054 0 1 763 57 6 3 20 0 17 0 443572148 11304456192 956562 33554432000 4194304 4196468 140724249851248 139635694816016 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13630] ppid=13514 vsize=11039508 memory=3822064 CPUtime=8.19 cores=0,2,4,6
/proc/13521/task/13630/stat : 13630 (java) S 13514 13521 13460 0 -1 1077944384 2999 13054 0 1 755 55 6 3 20 0 17 0 443572148 11304456192 956562 33554432000 4194304 4196468 140724249851248 139635693763472 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13635] ppid=13514 vsize=11039508 memory=3821956 CPUtime=1.44 cores=0,2,4,6
/proc/13521/task/13635/stat : 13635 (java) S 13514 13521 13460 0 -1 1077944384 21388 13054 0 1 132 3 6 3 20 0 17 0 443572149 11304456192 956562 33554432000 4194304 4196468 140724249851248 139635394009328 139636122155650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13636] ppid=13514 vsize=11039508 memory=3822064 CPUtime=0.09 cores=0,2,4,6
/proc/13521/task/13636/stat : 13636 (java) S 13514 13521 13460 0 -1 1077944384 23 13054 0 1 0 0 6 3 20 0 17 0 443572150 11304456192 956562 33554432000 4194304 4196468 140724249851248 139635292366112 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13637] ppid=13514 vsize=11039508 memory=3822064 CPUtime=0.09 cores=0,2,4,6
/proc/13521/task/13637/stat : 13637 (java) S 13514 13521 13460 0 -1 1077944384 20 13054 0 1 0 0 6 3 20 0 17 0 443572150 11304456192 956562 33554432000 4194304 4196468 140724249851248 139635158147840 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13641] ppid=13514 vsize=11039508 memory=3822064 CPUtime=0.09 cores=0,2,4,6
/proc/13521/task/13641/stat : 13641 (java) S 13514 13521 13460 0 -1 1077944384 147 13054 0 1 0 0 6 3 20 0 17 0 443572155 11304456192 956562 33554432000 4194304 4196468 140724249851248 139634649421776 139636122163099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13642] ppid=13514 vsize=11039508 memory=3826248 CPUtime=7.24 cores=0,2,4,6
/proc/13521/task/13642/stat : 13642 (java) S 13514 13521 13460 0 -1 1077944384 15932 13054 0 1 711 4 6 3 20 0 17 0 443572155 11304456192 956562 33554432000 4194304 4196468 140724249851248 139635392957168 139636122155650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13643] ppid=13514 vsize=11039508 memory=3826248 CPUtime=7.57 cores=0,2,4,6
/proc/13521/task/13643/stat : 13643 (java) S 13514 13521 13460 0 -1 1077944384 15270 13054 0 1 743 5 6 3 20 0 17 0 443572155 11304456192 956562 33554432000 4194304 4196468 140724249851248 139635391904624 139636122155650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13644] ppid=13514 vsize=11039508 memory=3826248 CPUtime=2.14 cores=0,2,4,6
/proc/13521/task/13644/stat : 13644 (java) S 13514 13521 13460 0 -1 1077944384 14109 13054 0 1 201 4 6 3 20 0 17 0 443572155 11304456192 956562 33554432000 4194304 4196468 140724249851248 139635390851568 139636122155650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13645] ppid=13514 vsize=11039508 memory=3826248 CPUtime=0.09 cores=0,2,4,6
/proc/13521/task/13645/stat : 13645 (java) S 13514 13521 13460 0 -1 1077944384 3 13054 0 1 0 0 6 3 20 0 17 0 443572155 11304456192 956562 33554432000 4194304 4196468 140724249851248 139634615864160 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=13651] ppid=13514 vsize=11039508 memory=3822064 CPUtime=1.42 cores=0,2,4,6
/proc/13521/task/13651/stat : 13651 (java) S 13514 13521 13460 0 -1 1077944384 2024 13054 0 1 65 68 6 3 20 0 17 0 443572162 11304456192 956562 33554432000 4194304 4196468 140724249851248 139635389798960 139636122155650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=14032] ppid=13514 vsize=11039508 memory=3826248 CPUtime=0.09 cores=0,2,4,6
/proc/13521/task/14032/stat : 14032 (java) S 13514 13521 13460 0 -1 1077944384 26 13054 0 1 0 0 6 3 20 0 17 0 443819956 11304456192 956562 33554432000 4194304 4196468 140724249851248 139634218623344 139636122154709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
[pid=13521/tid=14033] ppid=13514 vsize=11039508 memory=7300 CPUtime=0.09 cores=0,2,4,6
/proc/13521/task/14033/stat : 14033 (java) S 13514 13521 13460 0 -1 1077944384 44 13054 0 1 0 0 6 3 20 0 17 0 443819956 11304456192 956562 33554432000 4194304 4196468 140724249851248 139634017297376 139636122155650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37289984 140724249856751 140724249859269 140724249859269 140724249862095 0
Current children cumulated CPU time: 2522.09 s
Current children cumulated vsize: 11039508 KiB
Current children cumulated memory: 3826248 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2481.13
CPU time (s): 2522.13
CPU user time (s): 2518.75
CPU system time (s): 3.37576
CPU usage (%): 101.652
Max. virtual memory (cumulated for all children) (KiB): 11039508
Max. memory (cumulated for all children) (KiB): 3826248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.75
system time used= 3.37575
maximum resident set size= 3826436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151647
page faults= 1
swaps= 0
block input operations= 136
block output operations= 1656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63275
involuntary context switches= 1391
# summary of solver processes directly reported to runsolver:
# pid: 13521
# total CPU time (s): 2522.13
# total CPU user time (s): 2518.75
# total CPU system time (s): 3.37576
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4035 second user time and 22.0521 second system time
The end