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 (14203 MiB free)
memory of node 1: 16384 MiB (15376 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387340-1568299693/watcher-4387340-1568299693 -o /tmp/evaluation-result-4387340-1568299693/solver-4387340-1568299693 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568287628-8129 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1525862265 HOME/instance-4387340-1568299693.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=12609, runsolver pid=12606
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 1.27 1.29 1.34 3/220 12666
/proc/meminfo: memFree=30281984/32770624 swapFree=66940056/67108860
[pid=12609] ppid=12606 vsize=9988792 memory=17348 CPUtime=0.09 cores=1,3,5,7
/proc/12609/stat : 12609 (java) S 12606 12609 6622 0 -1 1077944320 4609 12989 0 0 1 1 4 3 20 0 6 0 406208010 10228523008 4337 33554432000 4194304 4196468 140728045726880 140728045709424 140242871664375 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
/proc/12609/statm: 2497198 4337 1958 1 0 2485636 0
[pid=12609/tid=12662] ppid=12606 vsize=10055356 memory=4279135704047321230 CPUtime=0.08 cores=1,3,5,7
/proc/12609/task/12662/stat : 12662 (java) R 12606 12609 6622 0 -1 4202560 2414 12989 0 0 1 0 4 3 20 0 7 0 406208019 10296684544 4403 33554432000 4194304 4196468 140728045726880 140242843507472 140242855744862 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12663] ppid=12606 vsize=10055356 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12663/stat : 12663 (java) S 12606 12609 6622 0 -1 1077944384 1 12989 0 0 0 0 4 3 20 0 7 0 406208019 10296684544 4403 33554432000 4194304 4196468 140728045726880 140242875907088 140242871674581 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12664] ppid=12606 vsize=10055356 memory=140533398881920 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12664/stat : 12664 (java) S 12606 12609 6622 0 -1 1077944384 1 12989 0 0 0 0 4 3 20 0 7 0 406208019 10296684544 4403 33554432000 4194304 4196468 140728045726880 140242764180624 140242871674581 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12665] ppid=12606 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12665/stat : 12665 (java) S 12606 12609 6622 0 -1 1077944384 1 12989 0 0 0 0 4 3 20 0 7 0 406208019 10296684544 4403 33554432000 4194304 4196468 140728045726880 140242763127568 140242871674581 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12666] ppid=12606 vsize=10055356 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12666/stat : 12666 (java) S 12606 12609 6622 0 -1 1077944384 2 12989 0 0 0 0 4 3 20 0 7 0 406208019 10296684544 4403 33554432000 4194304 4196468 140728045726880 140242443037584 140242871674581 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12667] ppid=12606 vsize=10055356 memory=140533398881920 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12667/stat : 12667 (java) S 12606 12609 6622 0 -1 1077944384 2 12989 0 0 0 0 4 3 20 0 7 0 406208021 10296684544 4403 33554432000 4194304 4196468 140728045726880 140242331240688 140242871675522 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9988792 KiB
Current children cumulated memory: 17348 KiB
[startup+0.212514 s]*
/proc/loadavg: 1.27 1.29 1.34 4/229 12675
/proc/meminfo: memFree=30265112/32770624 swapFree=66940056/67108860
[pid=12609] ppid=12606 vsize=10818940 memory=36712 CPUtime=0.26 cores=1,3,5,7
/proc/12609/stat : 12609 (java) S 12606 12609 6622 0 -1 1077944320 7053 12989 0 0 18 1 4 3 20 0 15 0 406208010 11078594560 9178 33554432000 4194304 4196468 140728045726880 140728045709424 140242871664375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
/proc/12609/statm: 2704735 9178 2977 1 0 2667149 0
[pid=12609/tid=12662] ppid=12606 vsize=10818940 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/12609/task/12662/stat : 12662 (java) R 12606 12609 6622 0 -1 4202560 3519 12989 0 0 11 1 4 3 20 0 15 0 406208019 11078594560 9178 33554432000 4194304 4196468 140728045726880 140242843488800 140242855744862 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12663] ppid=12606 vsize=10818940 memory=342 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12663/stat : 12663 (java) S 12606 12609 6622 0 -1 1077944384 1 12989 0 0 0 0 4 3 20 0 15 0 406208019 11078594560 9178 33554432000 4194304 4196468 140728045726880 140242875907088 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12664] ppid=12606 vsize=10818940 memory=288370909550593664 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12664/stat : 12664 (java) S 12606 12609 6622 0 -1 1077944384 1 12989 0 0 0 0 4 3 20 0 15 0 406208019 11078594560 9178 33554432000 4194304 4196468 140728045726880 140242764180624 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12665] ppid=12606 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12665/stat : 12665 (java) S 12606 12609 6622 0 -1 1077944384 1 12989 0 0 0 0 4 3 20 0 15 0 406208019 11078594560 9178 33554432000 4194304 4196468 140728045726880 140242763127568 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12666] ppid=12606 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12666/stat : 12666 (java) S 12606 12609 6622 0 -1 1077944384 2 12989 0 0 0 0 4 3 20 0 15 0 406208019 11078594560 9178 33554432000 4194304 4196468 140728045726880 140242443037584 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12667] ppid=12606 vsize=10818940 memory=140533398881920 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12667/stat : 12667 (java) S 12606 12609 6622 0 -1 1077944384 2 12989 0 0 0 0 4 3 20 0 15 0 406208021 11078594560 9178 33554432000 4194304 4196468 140728045726880 140242331240688 140242871675522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12668] ppid=12606 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12668/stat : 12668 (java) S 12606 12609 6622 0 -1 1077944384 33 12989 0 0 0 0 4 3 20 0 15 0 406208021 11078594560 9178 33554432000 4194304 4196468 140728045726880 140242330186912 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12669] ppid=12606 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12669/stat : 12669 (java) S 12606 12609 6622 0 -1 1077944384 1 12989 0 0 0 0 4 3 20 0 15 0 406208021 11078594560 9178 33554432000 4194304 4196468 140728045726880 140241755169520 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12670] ppid=12606 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12670/stat : 12670 (java) S 12606 12609 6622 0 -1 1077944384 3 12989 0 0 0 0 4 3 20 0 15 0 406208024 11078594560 9178 33554432000 4194304 4196468 140728045726880 140241447770064 140242871682971 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12671] ppid=12606 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12609/task/12671/stat : 12671 (java) S 12606 12609 6622 0 -1 1077944384 581 12989 0 0 1 0 4 3 20 0 15 0 406208024 11078594560 9178 33554432000 4194304 4196468 140728045726880 140242296630000 140242871675522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12672] ppid=12606 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12609/task/12672/stat : 12672 (java) S 12606 12609 6622 0 -1 1077944384 67 12989 0 0 1 0 4 3 20 0 15 0 406208024 11078594560 9178 33554432000 4194304 4196468 140728045726880 140242295577456 140242871675522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12673] ppid=12606 vsize=10818940 memory=140533398881920 CPUtime=0.1 cores=1,3,5,7
/proc/12609/task/12673/stat : 12673 (java) S 12606 12609 6622 0 -1 1077944384 630 12989 0 0 3 0 4 3 20 0 15 0 406208024 11078594560 9178 33554432000 4194304 4196468 140728045726880 140242294524400 140242871675522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12674] ppid=12606 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12674/stat : 12674 (java) S 12606 12609 6622 0 -1 1077944384 3 12989 0 0 0 0 4 3 20 0 15 0 406208024 11078594560 9178 33554432000 4194304 4196468 140728045726880 140241414212448 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12675] ppid=12606 vsize=10818940 memory=140533398881920 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12675/stat : 12675 (java) S 12606 12609 6622 0 -1 1077944384 1 12989 0 0 0 0 4 3 20 0 15 0 406208024 11078594560 9178 33554432000 4194304 4196468 140728045726880 140242293471792 140242871675522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 36712 KiB
[startup+0.310343 s]*
/proc/loadavg: 1.27 1.29 1.34 3/229 12675
/proc/meminfo: memFree=30251828/32770624 swapFree=66940056/67108860
[pid=12609] ppid=12606 vsize=10820244 memory=49296 CPUtime=0.39 cores=1,3,5,7
/proc/12609/stat : 12609 (java) S 12606 12609 6622 0 -1 1077944320 10571 12989 0 0 29 3 4 3 20 0 15 0 406208010 11079929856 12324 33554432000 4194304 4196468 140728045726880 140728045709424 140242871664375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
/proc/12609/statm: 2705061 12324 3296 1 0 2667149 0
[pid=12609/tid=12662] ppid=12606 vsize=10820244 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/12609/task/12662/stat : 12662 (java) R 12606 12609 6622 0 -1 4202560 7017 12989 0 0 19 2 4 3 20 0 15 0 406208019 11079929856 12324 33554432000 4194304 4196468 140728045726880 140242843478888 140242871686301 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12663] ppid=12606 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12663/stat : 12663 (java) S 12606 12609 6622 0 -1 1077944384 1 12989 0 0 0 0 4 3 20 0 15 0 406208019 11079929856 12324 33554432000 4194304 4196468 140728045726880 140242875907088 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12664] ppid=12606 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12664/stat : 12664 (java) S 12606 12609 6622 0 -1 1077944384 1 12989 0 0 0 0 4 3 20 0 15 0 406208019 11079929856 12324 33554432000 4194304 4196468 140728045726880 140242764180624 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12665] ppid=12606 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12665/stat : 12665 (java) S 12606 12609 6622 0 -1 1077944384 1 12989 0 0 0 0 4 3 20 0 15 0 406208019 11079929856 12324 33554432000 4194304 4196468 140728045726880 140242763127568 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12666] ppid=12606 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12666/stat : 12666 (java) S 12606 12609 6622 0 -1 1077944384 2 12989 0 0 0 0 4 3 20 0 15 0 406208019 11079929856 12324 33554432000 4194304 4196468 140728045726880 140242443037584 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12667] ppid=12606 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12667/stat : 12667 (java) S 12606 12609 6622 0 -1 1077944384 2 12989 0 0 0 0 4 3 20 0 15 0 406208021 11079929856 12324 33554432000 4194304 4196468 140728045726880 140242331240688 140242871675522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12668] ppid=12606 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12668/stat : 12668 (java) S 12606 12609 6622 0 -1 1077944384 33 12989 0 0 0 0 4 3 20 0 15 0 406208021 11079929856 12324 33554432000 4194304 4196468 140728045726880 140242330186912 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12669] ppid=12606 vsize=10820244 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12669/stat : 12669 (java) S 12606 12609 6622 0 -1 1077944384 1 12989 0 0 0 0 4 3 20 0 15 0 406208021 11079929856 12324 33554432000 4194304 4196468 140728045726880 140241755169520 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12670] ppid=12606 vsize=10820244 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12670/stat : 12670 (java) S 12606 12609 6622 0 -1 1077944384 3 12989 0 0 0 0 4 3 20 0 15 0 406208024 11079929856 12324 33554432000 4194304 4196468 140728045726880 140241447770064 140242871682971 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12671] ppid=12606 vsize=10820244 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12609/task/12671/stat : 12671 (java) R 12606 12609 6622 0 -1 4202560 586 12989 0 0 2 0 4 3 20 0 15 0 406208024 11079929856 12324 33554432000 4194304 4196468 140728045726880 140242296630000 140242856790766 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12672] ppid=12606 vsize=10820244 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12609/task/12672/stat : 12672 (java) S 12606 12609 6622 0 -1 1077944384 68 12989 0 0 1 0 4 3 20 0 15 0 406208024 11079929856 12324 33554432000 4194304 4196468 140728045726880 140242295577456 140242871675522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12673] ppid=12606 vsize=10820244 memory=140533398881920 CPUtime=0.12 cores=1,3,5,7
/proc/12609/task/12673/stat : 12673 (java) S 12606 12609 6622 0 -1 1077944384 642 12989 0 0 5 0 4 3 20 0 15 0 406208024 11079929856 12324 33554432000 4194304 4196468 140728045726880 140242294524400 140242871675522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12674] ppid=12606 vsize=10820244 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12674/stat : 12674 (java) S 12606 12609 6622 0 -1 1077944384 3 12989 0 0 0 0 4 3 20 0 15 0 406208024 11079929856 12324 33554432000 4194304 4196468 140728045726880 140241414212448 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12675] ppid=12606 vsize=10820244 memory=140533398881920 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12675/stat : 12675 (java) S 12606 12609 6622 0 -1 1077944384 1 12989 0 0 0 0 4 3 20 0 15 0 406208024 11079929856 12324 33554432000 4194304 4196468 140728045726880 140242293471792 140242871675522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820244 KiB
Current children cumulated memory: 49296 KiB
[startup+0.706508 s]
/proc/loadavg: 1.27 1.29 1.34 5/229 12675
/proc/meminfo: memFree=30238292/32770624 swapFree=66940056/67108860
[pid=12609] ppid=12606 vsize=10824340 memory=81956 CPUtime=1.14 cores=1,3,5,7
/proc/12609/stat : 12609 (java) S 12606 12609 6622 0 -1 1077944320 14892 12989 0 0 102 5 4 3 20 0 15 0 406208010 11084124160 20489 33554432000 4194304 4196468 140728045726880 140728045709424 140242871664375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
/proc/12609/statm: 2706085 20489 3489 1 0 2668173 0
[pid=12609/tid=12662] ppid=12606 vsize=10824340 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/12609/task/12662/stat : 12662 (java) R 12606 12609 6622 0 -1 1077944384 10513 12989 0 0 57 3 4 3 20 0 15 0 406208019 11084124160 20489 33554432000 4194304 4196468 140728045726880 140242843490848 140242871688253 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12663] ppid=12606 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12663/stat : 12663 (java) S 12606 12609 6622 0 -1 1077944384 1 12989 0 0 0 0 4 3 20 0 15 0 406208019 11084124160 20489 33554432000 4194304 4196468 140728045726880 140242875907088 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12664] ppid=12606 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12664/stat : 12664 (java) S 12606 12609 6622 0 -1 1077944384 1 12989 0 0 0 0 4 3 20 0 15 0 406208019 11084124160 20489 33554432000 4194304 4196468 140728045726880 140242764180624 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12665] ppid=12606 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12665/stat : 12665 (java) S 12606 12609 6622 0 -1 1077944384 1 12989 0 0 0 0 4 3 20 0 15 0 406208019 11084124160 20489 33554432000 4194304 4196468 140728045726880 140242763127568 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12666] ppid=12606 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12666/stat : 12666 (java) S 12606 12609 6622 0 -1 1077944384 2 12989 0 0 0 0 4 3 20 0 15 0 406208019 11084124160 20489 33554432000 4194304 4196468 140728045726880 140242443037584 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12667] ppid=12606 vsize=10824340 memory=140535624892993 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12667/stat : 12667 (java) S 12606 12609 6622 0 -1 1077944384 5 12989 0 0 0 0 4 3 20 0 15 0 406208021 11084124160 20489 33554432000 4194304 4196468 140728045726880 140242331240688 140242871675522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12668] ppid=12606 vsize=10824340 memory=140535624893000 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12668/stat : 12668 (java) S 12606 12609 6622 0 -1 1077944384 33 12989 0 0 0 0 4 3 20 0 15 0 406208021 11084124160 20489 33554432000 4194304 4196468 140728045726880 140242330186912 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12669] ppid=12606 vsize=10824340 memory=140535624893004 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12669/stat : 12669 (java) S 12606 12609 6622 0 -1 1077944384 1 12989 0 0 0 0 4 3 20 0 15 0 406208021 11084124160 20489 33554432000 4194304 4196468 140728045726880 140241755169520 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12670] ppid=12606 vsize=10824340 memory=140535624893005 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12670/stat : 12670 (java) S 12606 12609 6622 0 -1 1077944384 3 12989 0 0 0 0 4 3 20 0 15 0 406208024 11084124160 20489 33554432000 4194304 4196468 140728045726880 140241447770064 140242871682971 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12671] ppid=12606 vsize=10824340 memory=140535624893012 CPUtime=0.19 cores=1,3,5,7
/proc/12609/task/12671/stat : 12671 (java) R 12606 12609 6622 0 -1 4202560 844 12989 0 0 12 0 4 3 20 0 15 0 406208024 11084124160 20489 33554432000 4194304 4196468 140728045726880 140242296630000 140242856573279 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12672] ppid=12606 vsize=10824340 memory=140535624893014 CPUtime=0.21 cores=1,3,5,7
/proc/12609/task/12672/stat : 12672 (java) S 12606 12609 6622 0 -1 1077944384 418 12989 0 0 14 0 4 3 20 0 15 0 406208024 11084124160 20489 33554432000 4194304 4196468 140728045726880 140242295577456 140242871675522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12673] ppid=12606 vsize=10824340 memory=140535624893034 CPUtime=0.24 cores=1,3,5,7
/proc/12609/task/12673/stat : 12673 (java) S 12606 12609 6622 0 -1 1077944384 856 12989 0 0 17 0 4 3 20 0 15 0 406208024 11084124160 20489 33554432000 4194304 4196468 140728045726880 140242294524400 140242871675522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12674] ppid=12606 vsize=10824340 memory=14012 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12674/stat : 12674 (java) S 12606 12609 6622 0 -1 1077944384 3 12989 0 0 0 0 4 3 20 0 15 0 406208024 11084124160 20489 33554432000 4194304 4196468 140728045726880 140241414212448 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12675] ppid=12606 vsize=10824340 memory=2112 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12675/stat : 12675 (java) S 12606 12609 6622 0 -1 1077944384 1 12989 0 0 0 0 4 3 20 0 15 0 406208024 11084124160 20489 33554432000 4194304 4196468 140728045726880 140242293471792 140242871675522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 81956 KiB
[startup+1.50122 s]
/proc/loadavg: 1.27 1.29 1.34 4/229 12675
/proc/meminfo: memFree=30199404/32770624 swapFree=66940056/67108860
[pid=12609] ppid=12606 vsize=10834656 memory=174876 CPUtime=2.67 cores=1,3,5,7
/proc/12609/stat : 12609 (java) S 12606 12609 6622 0 -1 1077944320 21760 12989 0 0 251 9 4 3 20 0 15 0 406208010 11094687744 43719 33554432000 4194304 4196468 140728045726880 140728045709424 140242871664375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
/proc/12609/statm: 2708664 43719 3570 1 0 2670733 0
[pid=12609/tid=12662] ppid=12606 vsize=10834656 memory=1943560 CPUtime=1.43 cores=1,3,5,7
/proc/12609/task/12662/stat : 12662 (java) R 12606 12609 6622 0 -1 4202560 14994 12989 0 0 131 5 4 3 20 0 15 0 406208019 11094687744 43719 33554432000 4194304 4196468 140728045726880 140242843490064 140242871676310 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12663] ppid=12606 vsize=10834656 memory=1944736 CPUtime=0.08 cores=1,3,5,7
/proc/12609/task/12663/stat : 12663 (java) S 12606 12609 6622 0 -1 1077944384 56 12989 0 0 1 0 4 3 20 0 15 0 406208019 11094687744 43719 33554432000 4194304 4196468 140728045726880 140242875907088 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12664] ppid=12606 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12609/task/12664/stat : 12664 (java) S 12606 12609 6622 0 -1 1077944384 60 12989 0 0 1 0 4 3 20 0 15 0 406208019 11094687744 43719 33554432000 4194304 4196468 140728045726880 140242764180624 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12665] ppid=12606 vsize=10834656 memory=320425177016018691 CPUtime=0.08 cores=1,3,5,7
/proc/12609/task/12665/stat : 12665 (java) S 12606 12609 6622 0 -1 1077944384 314 12989 0 0 1 0 4 3 20 0 15 0 406208019 11094687744 43719 33554432000 4194304 4196468 140728045726880 140242763127568 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12666] ppid=12606 vsize=10834656 memory=288287770758195043 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12666/stat : 12666 (java) S 12606 12609 6622 0 -1 1077944384 55 12989 0 0 0 0 4 3 20 0 15 0 406208019 11094687744 43719 33554432000 4194304 4196468 140728045726880 140242443037584 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12667] ppid=12606 vsize=10834656 memory=6656426216303648864 CPUtime=0.08 cores=1,3,5,7
/proc/12609/task/12667/stat : 12667 (java) S 12606 12609 6622 0 -1 1077944384 103 12989 0 0 1 0 4 3 20 0 15 0 406208021 11094687744 43719 33554432000 4194304 4196468 140728045726880 140242331240688 140242871675522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12668] ppid=12606 vsize=10834656 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12668/stat : 12668 (java) S 12606 12609 6622 0 -1 1077944384 34 12989 0 0 0 0 4 3 20 0 15 0 406208021 11094687744 43719 33554432000 4194304 4196468 140728045726880 140242330186976 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12669] ppid=12606 vsize=10834656 memory=7681421203011431829 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12669/stat : 12669 (java) S 12606 12609 6622 0 -1 1077944384 1 12989 0 0 0 0 4 3 20 0 15 0 406208021 11094687744 43719 33554432000 4194304 4196468 140728045726880 140241755169536 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12670] ppid=12606 vsize=10834656 memory=7222483652687470737 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12670/stat : 12670 (java) S 12606 12609 6622 0 -1 1077944384 3 12989 0 0 0 0 4 3 20 0 15 0 406208024 11094687744 43719 33554432000 4194304 4196468 140728045726880 140241447770064 140242871682971 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12671] ppid=12606 vsize=10834656 memory=-3472574944341025154 CPUtime=0.38 cores=1,3,5,7
/proc/12609/task/12671/stat : 12671 (java) S 12606 12609 6622 0 -1 1077944384 1451 12989 0 0 31 0 4 3 20 0 15 0 406208024 11094687744 43719 33554432000 4194304 4196468 140728045726880 140242296630000 140242871675522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12672] ppid=12606 vsize=10834656 memory=0 CPUtime=0.42 cores=1,3,5,7
/proc/12609/task/12672/stat : 12672 (java) S 12606 12609 6622 0 -1 1077944384 885 12989 0 0 35 0 4 3 20 0 15 0 406208024 11094687744 43719 33554432000 4194304 4196468 140728045726880 140242295577456 140242871675522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12673] ppid=12606 vsize=10834656 memory=-2672971631320983069 CPUtime=0.52 cores=1,3,5,7
/proc/12609/task/12673/stat : 12673 (java) R 12606 12609 6622 0 -1 4202560 1591 12989 0 0 45 0 4 3 20 0 15 0 406208024 11094687744 43719 33554432000 4194304 4196468 140728045726880 140242294524400 140242855744862 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12674] ppid=12606 vsize=10834656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12674/stat : 12674 (java) S 12606 12609 6622 0 -1 1077944384 3 12989 0 0 0 0 4 3 20 0 15 0 406208024 11094687744 43719 33554432000 4194304 4196468 140728045726880 140241414212448 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12675] ppid=12606 vsize=10834656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12675/stat : 12675 (java) S 12606 12609 6622 0 -1 1077944384 1 12989 0 0 0 0 4 3 20 0 15 0 406208024 11094687744 43719 33554432000 4194304 4196468 140728045726880 140242293471792 140242871675522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
################
# More data... #
################
/proc/12609/task/12662/stat : 12662 (java) R 12606 12609 6622 0 -1 4202560 64611 12989 0 0 235544 53 4 3 20 0 15 0 406208019 11105193984 247036 33554432000 4194304 4196468 140728045726880 140242843499488 140242456217579 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12663] ppid=12606 vsize=10844916 memory=988144 CPUtime=13.03 cores=1,3,5,7
/proc/12609/task/12663/stat : 12663 (java) S 12606 12609 6622 0 -1 1077944384 14362 12989 0 0 1237 59 4 3 20 0 15 0 406208019 11105193984 247036 33554432000 4194304 4196468 140728045726880 140242875907088 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12664] ppid=12606 vsize=10844916 memory=988144 CPUtime=12.95 cores=1,3,5,7
/proc/12609/task/12664/stat : 12664 (java) S 12606 12609 6622 0 -1 1077944384 17486 12989 0 0 1229 59 4 3 20 0 15 0 406208019 11105193984 247036 33554432000 4194304 4196468 140728045726880 140242764180624 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12665] ppid=12606 vsize=10844916 memory=988144 CPUtime=13.03 cores=1,3,5,7
/proc/12609/task/12665/stat : 12665 (java) S 12606 12609 6622 0 -1 1077944384 13029 12989 0 0 1237 59 4 3 20 0 15 0 406208019 11105193984 247036 33554432000 4194304 4196468 140728045726880 140242763127568 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12666] ppid=12606 vsize=10844916 memory=4699 CPUtime=13 cores=1,3,5,7
/proc/12609/task/12666/stat : 12666 (java) S 12606 12609 6622 0 -1 1077944384 17072 12989 0 0 1232 61 4 3 20 0 15 0 406208019 11105193984 247036 33554432000 4194304 4196468 140728045726880 140242443037584 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12667] ppid=12606 vsize=10844916 memory=988144 CPUtime=11.13 cores=1,3,5,7
/proc/12609/task/12667/stat : 12667 (java) S 12606 12609 6622 0 -1 1077944384 15033 12989 0 0 1047 59 4 3 20 0 15 0 406208021 11105193984 247036 33554432000 4194304 4196468 140728045726880 140242331240688 140242871675522 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12668] ppid=12606 vsize=10844916 memory=1556 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12668/stat : 12668 (java) S 12606 12609 6622 0 -1 1077944384 42 12989 0 0 0 0 4 3 20 0 15 0 406208021 11105193984 247036 33554432000 4194304 4196468 140728045726880 140242330186976 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12669] ppid=12606 vsize=10844916 memory=988144 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12669/stat : 12669 (java) S 12606 12609 6622 0 -1 1077944384 2 12989 0 0 0 0 4 3 20 0 15 0 406208021 11105193984 247036 33554432000 4194304 4196468 140728045726880 140241755169536 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12670] ppid=12606 vsize=10844916 memory=988144 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12670/stat : 12670 (java) S 12606 12609 6622 0 -1 1077944384 3 12989 0 0 0 0 4 3 20 0 15 0 406208024 11105193984 247036 33554432000 4194304 4196468 140728045726880 140241447770064 140242871682971 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12671] ppid=12606 vsize=10844916 memory=988144 CPUtime=3.2 cores=1,3,5,7
/proc/12609/task/12671/stat : 12671 (java) S 12606 12609 6622 0 -1 1077944384 11821 12989 0 0 308 5 4 3 20 0 15 0 406208024 11105193984 247036 33554432000 4194304 4196468 140728045726880 140242296630000 140242871675522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12672] ppid=12606 vsize=10844916 memory=988144 CPUtime=3.38 cores=1,3,5,7
/proc/12609/task/12672/stat : 12672 (java) S 12606 12609 6622 0 -1 1077944384 11908 12989 0 0 327 4 4 3 20 0 15 0 406208024 11105193984 247036 33554432000 4194304 4196468 140728045726880 140242295577456 140242871675522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12673] ppid=12606 vsize=10844916 memory=6791534058613427641 CPUtime=3.08 cores=1,3,5,7
/proc/12609/task/12673/stat : 12673 (java) S 12606 12609 6622 0 -1 1077944384 15509 12989 0 0 296 5 4 3 20 0 15 0 406208024 11105193984 247036 33554432000 4194304 4196468 140728045726880 140242294524400 140242871675522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12674] ppid=12606 vsize=10844916 memory=37036 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12674/stat : 12674 (java) S 12606 12609 6622 0 -1 1077944384 3 12989 0 0 0 0 4 3 20 0 15 0 406208024 11105193984 247036 33554432000 4194304 4196468 140728045726880 140241414212448 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12675] ppid=12606 vsize=10844916 memory=1988 CPUtime=1.38 cores=1,3,5,7
/proc/12609/task/12675/stat : 12675 (java) S 12606 12609 6622 0 -1 1077944384 1124 12989 0 0 61 70 4 3 20 0 15 0 406208024 11105193984 247036 33554432000 4194304 4196468 140728045726880 140242293471792 140242871675522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
Current children cumulated CPU time: 2429.7 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 988144 KiB
[startup+2442.3 s]
/proc/loadavg: 1.26 1.51 1.47 3/228 13053
/proc/meminfo: memFree=29546944/32770624 swapFree=66940072/67108860
[pid=12609] ppid=12606 vsize=10844916 memory=990264 CPUtime=2490.74 cores=1,3,5,7
/proc/12609/stat : 12609 (java) S 12606 12609 6622 0 -1 1077944320 185651 12989 0 0 248687 380 4 3 20 0 15 0 406208010 11105193984 247566 33554432000 4194304 4196468 140728045726880 140728045709424 140242871664375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
/proc/12609/statm: 2711229 247566 3615 1 0 2673293 0
[pid=12609/tid=12662] ppid=12606 vsize=10844916 memory=990264 CPUtime=2415.33 cores=1,3,5,7
/proc/12609/task/12662/stat : 12662 (java) R 12606 12609 6622 0 -1 4202560 65329 12989 0 0 241472 54 4 3 20 0 15 0 406208019 11105193984 247566 33554432000 4194304 4196468 140728045726880 140242843499680 140242456566433 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12663] ppid=12606 vsize=10844916 memory=990264 CPUtime=13.38 cores=1,3,5,7
/proc/12609/task/12663/stat : 12663 (java) S 12606 12609 6622 0 -1 1077944384 14522 12989 0 0 1271 60 4 3 20 0 15 0 406208019 11105193984 247566 33554432000 4194304 4196468 140728045726880 140242875907088 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12664] ppid=12606 vsize=10844916 memory=990244 CPUtime=13.31 cores=1,3,5,7
/proc/12609/task/12664/stat : 12664 (java) S 12606 12609 6622 0 -1 1077944384 17588 12989 0 0 1263 61 4 3 20 0 15 0 406208019 11105193984 247566 33554432000 4194304 4196468 140728045726880 140242764180624 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12665] ppid=12606 vsize=10844916 memory=988144 CPUtime=13.38 cores=1,3,5,7
/proc/12609/task/12665/stat : 12665 (java) S 12606 12609 6622 0 -1 1077944384 13220 12989 0 0 1271 60 4 3 20 0 15 0 406208019 11105193984 247566 33554432000 4194304 4196468 140728045726880 140242763127568 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12666] ppid=12606 vsize=10844916 memory=988144 CPUtime=13.36 cores=1,3,5,7
/proc/12609/task/12666/stat : 12666 (java) S 12606 12609 6622 0 -1 1077944384 17109 12989 0 0 1266 63 4 3 20 0 15 0 406208019 11105193984 247566 33554432000 4194304 4196468 140728045726880 140242443037584 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12667] ppid=12606 vsize=10844916 memory=988196 CPUtime=11.42 cores=1,3,5,7
/proc/12609/task/12667/stat : 12667 (java) S 12606 12609 6622 0 -1 1077944384 15238 12989 0 0 1075 60 4 3 20 0 15 0 406208021 11105193984 247566 33554432000 4194304 4196468 140728045726880 140242331240688 140242871675522 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12668] ppid=12606 vsize=10844916 memory=990264 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12668/stat : 12668 (java) S 12606 12609 6622 0 -1 1077944384 42 12989 0 0 0 0 4 3 20 0 15 0 406208021 11105193984 247566 33554432000 4194304 4196468 140728045726880 140242330186976 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12669] ppid=12606 vsize=10844916 memory=281066552322848 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12669/stat : 12669 (java) S 12606 12609 6622 0 -1 1077944384 2 12989 0 0 0 0 4 3 20 0 15 0 406208021 11105193984 247566 33554432000 4194304 4196468 140728045726880 140241755169536 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12670] ppid=12606 vsize=10844916 memory=990264 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12670/stat : 12670 (java) S 12606 12609 6622 0 -1 1077944384 3 12989 0 0 0 0 4 3 20 0 15 0 406208024 11105193984 247566 33554432000 4194304 4196468 140728045726880 140241447770064 140242871682971 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12671] ppid=12606 vsize=10844916 memory=990264 CPUtime=3.2 cores=1,3,5,7
/proc/12609/task/12671/stat : 12671 (java) S 12606 12609 6622 0 -1 1077944384 11823 12989 0 0 308 5 4 3 20 0 15 0 406208024 11105193984 247566 33554432000 4194304 4196468 140728045726880 140242296630000 140242871675522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12672] ppid=12606 vsize=10844916 memory=990264 CPUtime=3.38 cores=1,3,5,7
/proc/12609/task/12672/stat : 12672 (java) S 12606 12609 6622 0 -1 1077944384 11910 12989 0 0 327 4 4 3 20 0 15 0 406208024 11105193984 247566 33554432000 4194304 4196468 140728045726880 140242295577456 140242871675522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12673] ppid=12606 vsize=10844916 memory=990264 CPUtime=3.08 cores=1,3,5,7
/proc/12609/task/12673/stat : 12673 (java) S 12606 12609 6622 0 -1 1077944384 15511 12989 0 0 296 5 4 3 20 0 15 0 406208024 11105193984 247566 33554432000 4194304 4196468 140728045726880 140242294524400 140242871675522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12674] ppid=12606 vsize=10844916 memory=624 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12674/stat : 12674 (java) S 12606 12609 6622 0 -1 1077944384 3 12989 0 0 0 0 4 3 20 0 15 0 406208024 11105193984 247566 33554432000 4194304 4196468 140728045726880 140241414212448 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12675] ppid=12606 vsize=10844916 memory=990264 CPUtime=1.42 cores=1,3,5,7
/proc/12609/task/12675/stat : 12675 (java) S 12606 12609 6622 0 -1 1077944384 1141 12989 0 0 63 72 4 3 20 0 15 0 406208024 11105193984 247566 33554432000 4194304 4196468 140728045726880 140242293471792 140242871675522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
Current children cumulated CPU time: 2490.74 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 990264 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2471.11 s]
/proc/loadavg: 1.35 1.51 1.47 3/228 13056
/proc/meminfo: memFree=29545044/32770624 swapFree=66940072/67108860
[pid=12609] ppid=12606 vsize=10844916 memory=990268 CPUtime=2520.02 cores=1,3,5,7
/proc/12609/stat : 12609 (java) S 12606 12609 6622 0 -1 1077944320 186577 12989 0 0 251612 383 4 3 20 0 15 0 406208010 11105193984 247567 33554432000 4194304 4196468 140728045726880 140728045709424 140242871664375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
/proc/12609/statm: 2711229 247567 3615 1 0 2673293 0
[pid=12609/tid=12662] ppid=12606 vsize=10844916 memory=990268 CPUtime=2443.82 cores=1,3,5,7
/proc/12609/task/12662/stat : 12662 (java) R 12606 12609 6622 0 -1 4202560 65721 12989 0 0 244321 54 4 3 20 0 15 0 406208019 11105193984 247567 33554432000 4194304 4196468 140728045726880 140242843500160 140242451026173 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12663] ppid=12606 vsize=10844916 memory=990268 CPUtime=13.54 cores=1,3,5,7
/proc/12609/task/12663/stat : 12663 (java) S 12606 12609 6622 0 -1 1077944384 14544 12989 0 0 1286 61 4 3 20 0 15 0 406208019 11105193984 247567 33554432000 4194304 4196468 140728045726880 140242875907088 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12664] ppid=12606 vsize=10844916 memory=990264 CPUtime=13.46 cores=1,3,5,7
/proc/12609/task/12664/stat : 12664 (java) S 12606 12609 6622 0 -1 1077944384 17600 12989 0 0 1278 61 4 3 20 0 15 0 406208019 11105193984 247567 33554432000 4194304 4196468 140728045726880 140242764180624 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12665] ppid=12606 vsize=10844916 memory=990268 CPUtime=13.54 cores=1,3,5,7
/proc/12609/task/12665/stat : 12665 (java) S 12606 12609 6622 0 -1 1077944384 13328 12989 0 0 1286 61 4 3 20 0 15 0 406208019 11105193984 247567 33554432000 4194304 4196468 140728045726880 140242763127568 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12666] ppid=12606 vsize=10844916 memory=990268 CPUtime=13.51 cores=1,3,5,7
/proc/12609/task/12666/stat : 12666 (java) S 12606 12609 6622 0 -1 1077944384 17283 12989 0 0 1281 63 4 3 20 0 15 0 406208019 11105193984 247567 33554432000 4194304 4196468 140728045726880 140242443037584 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12667] ppid=12606 vsize=10844916 memory=990268 CPUtime=11.56 cores=1,3,5,7
/proc/12609/task/12667/stat : 12667 (java) S 12606 12609 6622 0 -1 1077944384 15444 12989 0 0 1088 61 4 3 20 0 15 0 406208021 11105193984 247567 33554432000 4194304 4196468 140728045726880 140242331240688 140242871675522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12668] ppid=12606 vsize=10844916 memory=990268 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12668/stat : 12668 (java) S 12606 12609 6622 0 -1 1077944384 42 12989 0 0 0 0 4 3 20 0 15 0 406208021 11105193984 247567 33554432000 4194304 4196468 140728045726880 140242330186976 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12669] ppid=12606 vsize=10844916 memory=990268 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12669/stat : 12669 (java) S 12606 12609 6622 0 -1 1077944384 2 12989 0 0 0 0 4 3 20 0 15 0 406208021 11105193984 247567 33554432000 4194304 4196468 140728045726880 140241755169536 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12670] ppid=12606 vsize=10844916 memory=990268 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12670/stat : 12670 (java) S 12606 12609 6622 0 -1 1077944384 3 12989 0 0 0 0 4 3 20 0 15 0 406208024 11105193984 247567 33554432000 4194304 4196468 140728045726880 140241447770064 140242871682971 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12671] ppid=12606 vsize=10844916 memory=281066552322848 CPUtime=3.2 cores=1,3,5,7
/proc/12609/task/12671/stat : 12671 (java) S 12606 12609 6622 0 -1 1077944384 11825 12989 0 0 308 5 4 3 20 0 15 0 406208024 11105193984 247567 33554432000 4194304 4196468 140728045726880 140242296630000 140242871675522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12672] ppid=12606 vsize=10844916 memory=140535624893405 CPUtime=3.38 cores=1,3,5,7
/proc/12609/task/12672/stat : 12672 (java) S 12606 12609 6622 0 -1 1077944384 11912 12989 0 0 327 4 4 3 20 0 15 0 406208024 11105193984 247567 33554432000 4194304 4196468 140728045726880 140242295577456 140242871675522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12673] ppid=12606 vsize=10844916 memory=990268 CPUtime=3.08 cores=1,3,5,7
/proc/12609/task/12673/stat : 12673 (java) S 12606 12609 6622 0 -1 1077944384 15513 12989 0 0 296 5 4 3 20 0 15 0 406208024 11105193984 247567 33554432000 4194304 4196468 140728045726880 140242294524400 140242871675522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12674] ppid=12606 vsize=10844916 memory=990268 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12674/stat : 12674 (java) S 12606 12609 6622 0 -1 1077944384 3 12989 0 0 0 0 4 3 20 0 15 0 406208024 11105193984 247567 33554432000 4194304 4196468 140728045726880 140241414212448 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12675] ppid=12606 vsize=10844916 memory=990268 CPUtime=1.43 cores=1,3,5,7
/proc/12609/task/12675/stat : 12675 (java) S 12606 12609 6622 0 -1 1077944384 1147 12989 0 0 63 73 4 3 20 0 15 0 406208024 11105193984 247567 33554432000 4194304 4196468 140728045726880 140242293471792 140242871675522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 990268 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2471.14 s]
# the end of solver process 12609 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.2 s, system=3.8816 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2471.11 s]
/proc/loadavg: 1.35 1.51 1.47 3/228 13056
/proc/meminfo: memFree=29545044/32770624 swapFree=66940072/67108860
[pid=12609] ppid=12606 vsize=10844916 memory=990268 CPUtime=2520.02 cores=1,3,5,7
/proc/12609/stat : 12609 (java) S 12606 12609 6622 0 -1 1077944320 186577 12989 0 0 251612 383 4 3 20 0 15 0 406208010 11105193984 247567 33554432000 4194304 4196468 140728045726880 140728045709424 140242871664375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
/proc/12609/statm: 2711229 247567 3615 1 0 2673293 0
[pid=12609/tid=12662] ppid=12606 vsize=10844916 memory=990268 CPUtime=2443.82 cores=1,3,5,7
/proc/12609/task/12662/stat : 12662 (java) R 12606 12609 6622 0 -1 4202560 65721 12989 0 0 244321 54 4 3 20 0 15 0 406208019 11105193984 247567 33554432000 4194304 4196468 140728045726880 140242843500160 140242451026173 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12663] ppid=12606 vsize=10844916 memory=990268 CPUtime=13.54 cores=1,3,5,7
/proc/12609/task/12663/stat : 12663 (java) S 12606 12609 6622 0 -1 1077944384 14544 12989 0 0 1286 61 4 3 20 0 15 0 406208019 11105193984 247567 33554432000 4194304 4196468 140728045726880 140242875907088 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12664] ppid=12606 vsize=10844916 memory=990264 CPUtime=13.46 cores=1,3,5,7
/proc/12609/task/12664/stat : 12664 (java) S 12606 12609 6622 0 -1 1077944384 17600 12989 0 0 1278 61 4 3 20 0 15 0 406208019 11105193984 247567 33554432000 4194304 4196468 140728045726880 140242764180624 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12665] ppid=12606 vsize=10844916 memory=990268 CPUtime=13.54 cores=1,3,5,7
/proc/12609/task/12665/stat : 12665 (java) S 12606 12609 6622 0 -1 1077944384 13328 12989 0 0 1286 61 4 3 20 0 15 0 406208019 11105193984 247567 33554432000 4194304 4196468 140728045726880 140242763127568 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12666] ppid=12606 vsize=10844916 memory=990268 CPUtime=13.51 cores=1,3,5,7
/proc/12609/task/12666/stat : 12666 (java) S 12606 12609 6622 0 -1 1077944384 17283 12989 0 0 1281 63 4 3 20 0 15 0 406208019 11105193984 247567 33554432000 4194304 4196468 140728045726880 140242443037584 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12667] ppid=12606 vsize=10844916 memory=990268 CPUtime=11.56 cores=1,3,5,7
/proc/12609/task/12667/stat : 12667 (java) S 12606 12609 6622 0 -1 1077944384 15444 12989 0 0 1088 61 4 3 20 0 15 0 406208021 11105193984 247567 33554432000 4194304 4196468 140728045726880 140242331240688 140242871675522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12668] ppid=12606 vsize=10844916 memory=990268 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12668/stat : 12668 (java) S 12606 12609 6622 0 -1 1077944384 42 12989 0 0 0 0 4 3 20 0 15 0 406208021 11105193984 247567 33554432000 4194304 4196468 140728045726880 140242330186976 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12669] ppid=12606 vsize=10844916 memory=990268 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12669/stat : 12669 (java) S 12606 12609 6622 0 -1 1077944384 2 12989 0 0 0 0 4 3 20 0 15 0 406208021 11105193984 247567 33554432000 4194304 4196468 140728045726880 140241755169536 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12670] ppid=12606 vsize=10844916 memory=990268 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12670/stat : 12670 (java) S 12606 12609 6622 0 -1 1077944384 3 12989 0 0 0 0 4 3 20 0 15 0 406208024 11105193984 247567 33554432000 4194304 4196468 140728045726880 140241447770064 140242871682971 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12671] ppid=12606 vsize=10844916 memory=281066552322848 CPUtime=3.2 cores=1,3,5,7
/proc/12609/task/12671/stat : 12671 (java) S 12606 12609 6622 0 -1 1077944384 11825 12989 0 0 308 5 4 3 20 0 15 0 406208024 11105193984 247567 33554432000 4194304 4196468 140728045726880 140242296630000 140242871675522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12672] ppid=12606 vsize=10844916 memory=140535624893405 CPUtime=3.38 cores=1,3,5,7
/proc/12609/task/12672/stat : 12672 (java) S 12606 12609 6622 0 -1 1077944384 11912 12989 0 0 327 4 4 3 20 0 15 0 406208024 11105193984 247567 33554432000 4194304 4196468 140728045726880 140242295577456 140242871675522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12673] ppid=12606 vsize=10844916 memory=990268 CPUtime=3.08 cores=1,3,5,7
/proc/12609/task/12673/stat : 12673 (java) S 12606 12609 6622 0 -1 1077944384 15513 12989 0 0 296 5 4 3 20 0 15 0 406208024 11105193984 247567 33554432000 4194304 4196468 140728045726880 140242294524400 140242871675522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12674] ppid=12606 vsize=10844916 memory=990268 CPUtime=0.07 cores=1,3,5,7
/proc/12609/task/12674/stat : 12674 (java) S 12606 12609 6622 0 -1 1077944384 3 12989 0 0 0 0 4 3 20 0 15 0 406208024 11105193984 247567 33554432000 4194304 4196468 140728045726880 140241414212448 140242871674581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
[pid=12609/tid=12675] ppid=12606 vsize=10844916 memory=990268 CPUtime=1.43 cores=1,3,5,7
/proc/12609/task/12675/stat : 12675 (java) S 12606 12609 6622 0 -1 1077944384 1147 12989 0 0 63 73 4 3 20 0 15 0 406208024 11105193984 247567 33554432000 4194304 4196468 140728045726880 140242293471792 140242871675522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20897792 140728045734645 140728045737157 140728045737157 140728045739983 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 990268 KiB
Child status: 143
Real time (s): 2471.14
CPU time (s): 2520.08
CPU user time (s): 2516.2
CPU system time (s): 3.8816
CPU usage (%): 101.981
Max. virtual memory (cumulated for all children) (KiB): 10847540
Max. memory (cumulated for all children) (KiB): 990268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.2
system time used= 3.8816
maximum resident set size= 994488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200754
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 314656
involuntary context switches= 10131
# summary of solver processes directly reported to runsolver:
# pid: 12609
# total CPU time (s): 2520.08
# total CPU user time (s): 2516.2
# total CPU system time (s): 3.8816
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9406 second user time and 24.3063 second system time
The end