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 (13802 MiB free)
memory of node 1: 16384 MiB (9444 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308633-1534344142/watcher-4308633-1534344142 -o /tmp/evaluation-result-4308633-1534344142/solver-4308633-1534344142 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534334213-20772 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1428549438 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308633-1534344142.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22026, runsolver pid=22023
[startup+0.100158 s]*
/proc/loadavg: 1.47 1.40 1.43 4/219 22041
/proc/meminfo: memFree=23784328/32770624 swapFree=67108852/67108860
[pid=22026] ppid=22023 vsize=14082736 memory=32936 CPUtime=0.11 cores=1,3,5,7
/proc/22026/stat : 22026 (java) S 22023 22026 16066 0 -1 1077944320 7179 0 0 0 10 1 0 0 20 0 15 0 251977325 14420721664 8234 33554432000 4194304 4196468 140729232876512 140729232859056 140550125063927 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
/proc/22026/statm: 3520684 8234 3137 1 0 3482761 0
[pid=22026/tid=22028] ppid=22023 vsize=14082736 memory=-8629632960754127482 CPUtime=0.09 cores=1,3,5,7
/proc/22026/task/22028/stat : 22028 (java) R 22023 22026 16066 0 -1 4202560 5252 0 0 0 8 1 0 0 20 0 15 0 251977325 14420721664 8234 33554432000 4194304 4196468 140729232876512 140550129258016 140550125085853 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22029] ppid=22023 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22029/stat : 22029 (java) S 22023 22026 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251977326 14420721664 8234 33554432000 4194304 4196468 140729232876512 140550055152528 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22030] ppid=22023 vsize=14082736 memory=140475235219072 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22030/stat : 22030 (java) S 22023 22026 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251977326 14420721664 8234 33554432000 4194304 4196468 140729232876512 140549719505680 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22031] ppid=22023 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22031/stat : 22031 (java) S 22023 22026 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251977326 14420721664 8234 33554432000 4194304 4196468 140729232876512 140549718453392 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22032] ppid=22023 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22032/stat : 22032 (java) S 22023 22026 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251977326 14420721664 8234 33554432000 4194304 4196468 140729232876512 140549717400592 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22033] ppid=22023 vsize=14082736 memory=140475235219072 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22033/stat : 22033 (java) S 22023 22026 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251977327 14420721664 8234 33554432000 4194304 4196468 140729232876512 140549667219568 140550125075074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22034] ppid=22023 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22034/stat : 22034 (java) S 22023 22026 16066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 251977328 14420721664 8234 33554432000 4194304 4196468 140729232876512 140549666165536 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22035] ppid=22023 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22035/stat : 22035 (java) S 22023 22026 16066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 251977328 14420721664 8234 33554432000 4194304 4196468 140729232876512 140549665113200 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22036] ppid=22023 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22036/stat : 22036 (java) S 22023 22026 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251977330 14420721664 8234 33554432000 4194304 4196468 140729232876512 140549664061520 140550125082523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22037] ppid=22023 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22037/stat : 22037 (java) S 22023 22026 16066 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 251977330 14420721664 8234 33554432000 4194304 4196468 140729232876512 140549663009392 140550125075074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22038] ppid=22023 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22038/stat : 22038 (java) S 22023 22026 16066 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 251977330 14420721664 8234 33554432000 4194304 4196468 140729232876512 140549661956592 140550125075074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22039] ppid=22023 vsize=14082736 memory=140475235219072 CPUtime=0.01 cores=1,3,5,7
/proc/22026/task/22039/stat : 22039 (java) R 22023 22026 16066 0 -1 4202560 255 0 0 0 1 0 0 0 20 0 15 0 251977330 14420721664 8234 33554432000 4194304 4196468 140729232876512 140549660904304 140550117301054 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22040] ppid=22023 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22040/stat : 22040 (java) S 22023 22026 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251977330 14420721664 8234 33554432000 4194304 4196468 140729232876512 140549659851744 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22041] ppid=22023 vsize=14082736 memory=140475235219072 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22041/stat : 22041 (java) S 22023 22026 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251977330 14420721664 8234 33554432000 4194304 4196468 140729232876512 140549658798512 140550125075074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32936 KiB
[startup+0.217237 s]*
/proc/loadavg: 1.47 1.40 1.43 4/219 22041
/proc/meminfo: memFree=23768700/32770624 swapFree=67108852/67108860
[pid=22026] ppid=22023 vsize=14082736 memory=47372 CPUtime=0.33 cores=1,3,5,7
/proc/22026/stat : 22026 (java) S 22023 22026 16066 0 -1 1077944320 10419 0 0 0 31 2 0 0 20 0 15 0 251977325 14420721664 11843 33554432000 4194304 4196468 140729232876512 140729232859056 140550125063927 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
/proc/22026/statm: 3520684 11843 3416 1 0 3482761 0
[pid=22026/tid=22028] ppid=22023 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/22026/task/22028/stat : 22028 (java) R 22023 22026 16066 0 -1 4202560 8118 0 0 0 19 1 0 0 20 0 15 0 251977325 14420721664 11843 33554432000 4194304 4196468 140729232876512 140550129289824 140550109144414 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22029] ppid=22023 vsize=14082736 memory=345 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22029/stat : 22029 (java) S 22023 22026 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251977326 14420721664 11843 33554432000 4194304 4196468 140729232876512 140550055152528 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22030] ppid=22023 vsize=14082736 memory=140475236413092 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22030/stat : 22030 (java) S 22023 22026 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251977326 14420721664 11843 33554432000 4194304 4196468 140729232876512 140549719505680 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22031] ppid=22023 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22031/stat : 22031 (java) S 22023 22026 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251977326 14420721664 11843 33554432000 4194304 4196468 140729232876512 140549718453392 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22032] ppid=22023 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22032/stat : 22032 (java) S 22023 22026 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251977326 14420721664 11843 33554432000 4194304 4196468 140729232876512 140549717400592 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22033] ppid=22023 vsize=14082736 memory=140475235219072 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22033/stat : 22033 (java) S 22023 22026 16066 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 251977327 14420721664 11843 33554432000 4194304 4196468 140729232876512 140549667219568 140550125075074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22034] ppid=22023 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22034/stat : 22034 (java) S 22023 22026 16066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 251977328 14420721664 11843 33554432000 4194304 4196468 140729232876512 140549666165536 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22035] ppid=22023 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22035/stat : 22035 (java) S 22023 22026 16066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 251977328 14420721664 11843 33554432000 4194304 4196468 140729232876512 140549665113200 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22036] ppid=22023 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22036/stat : 22036 (java) S 22023 22026 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251977330 14420721664 11843 33554432000 4194304 4196468 140729232876512 140549664061520 140550125082523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22037] ppid=22023 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22026/task/22037/stat : 22037 (java) S 22023 22026 16066 0 -1 1077944384 541 0 0 0 2 0 0 0 20 0 15 0 251977330 14420721664 11843 33554432000 4194304 4196468 140729232876512 140549663009392 140550125075074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22038] ppid=22023 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/22026/task/22038/stat : 22038 (java) S 22023 22026 16066 0 -1 1077944384 68 0 0 0 1 0 0 0 20 0 15 0 251977330 14420721664 11843 33554432000 4194304 4196468 140729232876512 140549661956592 140550125075074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22039] ppid=22023 vsize=14082736 memory=140475235219072 CPUtime=0.07 cores=1,3,5,7
/proc/22026/task/22039/stat : 22039 (java) S 22023 22026 16066 0 -1 1077944384 312 0 0 0 7 0 0 0 20 0 15 0 251977330 14420721664 11843 33554432000 4194304 4196468 140729232876512 140549660904304 140550125075074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22040] ppid=22023 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22040/stat : 22040 (java) S 22023 22026 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251977330 14420721664 11843 33554432000 4194304 4196468 140729232876512 140549659851744 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22041] ppid=22023 vsize=14082736 memory=140475235219072 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22041/stat : 22041 (java) S 22023 22026 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251977330 14420721664 11843 33554432000 4194304 4196468 140729232876512 140549658798512 140550125075074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47372 KiB
[startup+0.310727 s]*
/proc/loadavg: 1.47 1.40 1.43 3/219 22041
/proc/meminfo: memFree=23767356/32770624 swapFree=67108852/67108860
[pid=22026] ppid=22023 vsize=14082736 memory=50580 CPUtime=0.43 cores=1,3,5,7
/proc/22026/stat : 22026 (java) S 22023 22026 16066 0 -1 1077944320 10735 0 0 0 41 2 0 0 20 0 15 0 251977325 14420721664 12645 33554432000 4194304 4196468 140729232876512 140729232859056 140550125063927 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
/proc/22026/statm: 3520684 12645 3418 1 0 3482761 0
[pid=22026/tid=22028] ppid=22023 vsize=14082736 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/22026/task/22028/stat : 22028 (java) R 22023 22026 16066 0 -1 4202560 8422 0 0 0 28 1 0 0 20 0 15 0 251977325 14420721664 12645 33554432000 4194304 4196468 140729232876512 140550129272624 140550105339808 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22029] ppid=22023 vsize=14082736 memory=304556157652172823 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22029/stat : 22029 (java) S 22023 22026 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251977326 14420721664 12645 33554432000 4194304 4196468 140729232876512 140550055152528 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22030] ppid=22023 vsize=14082736 memory=140475236566569 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22030/stat : 22030 (java) S 22023 22026 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251977326 14420721664 12645 33554432000 4194304 4196468 140729232876512 140549719505680 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22031] ppid=22023 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22031/stat : 22031 (java) S 22023 22026 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251977326 14420721664 12645 33554432000 4194304 4196468 140729232876512 140549718453392 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22032] ppid=22023 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22032/stat : 22032 (java) S 22023 22026 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251977326 14420721664 12645 33554432000 4194304 4196468 140729232876512 140549717400592 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22033] ppid=22023 vsize=14082736 memory=140475235219072 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22033/stat : 22033 (java) S 22023 22026 16066 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 251977327 14420721664 12645 33554432000 4194304 4196468 140729232876512 140549667219568 140550125075074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22034] ppid=22023 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22034/stat : 22034 (java) S 22023 22026 16066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 251977328 14420721664 12645 33554432000 4194304 4196468 140729232876512 140549666165536 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22035] ppid=22023 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22035/stat : 22035 (java) S 22023 22026 16066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 251977328 14420721664 12645 33554432000 4194304 4196468 140729232876512 140549665113200 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22036] ppid=22023 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22036/stat : 22036 (java) S 22023 22026 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251977330 14420721664 12645 33554432000 4194304 4196468 140729232876512 140549664061520 140550125082523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22037] ppid=22023 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22026/task/22037/stat : 22037 (java) S 22023 22026 16066 0 -1 1077944384 541 0 0 0 2 0 0 0 20 0 15 0 251977330 14420721664 12645 33554432000 4194304 4196468 140729232876512 140549663009392 140550125075074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22038] ppid=22023 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/22026/task/22038/stat : 22038 (java) S 22023 22026 16066 0 -1 1077944384 68 0 0 0 2 0 0 0 20 0 15 0 251977330 14420721664 12645 33554432000 4194304 4196468 140729232876512 140549661956592 140550125075074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22039] ppid=22023 vsize=14082736 memory=140475235219072 CPUtime=0.08 cores=1,3,5,7
/proc/22026/task/22039/stat : 22039 (java) R 22023 22026 16066 0 -1 4202560 325 0 0 0 8 0 0 0 20 0 15 0 251977330 14420721664 12645 33554432000 4194304 4196468 140729232876512 140549660904304 140550104350971 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22040] ppid=22023 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22040/stat : 22040 (java) S 22023 22026 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251977330 14420721664 12645 33554432000 4194304 4196468 140729232876512 140549659851744 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22041] ppid=22023 vsize=14082736 memory=140475235219072 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22041/stat : 22041 (java) S 22023 22026 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251977330 14420721664 12645 33554432000 4194304 4196468 140729232876512 140549658798512 140550125075074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50580 KiB
[startup+0.700729 s]
/proc/loadavg: 1.47 1.40 1.43 3/219 22041
/proc/meminfo: memFree=23742728/32770624 swapFree=67108852/67108860
[pid=22026] ppid=22023 vsize=14084804 memory=88828 CPUtime=1 cores=1,3,5,7
/proc/22026/stat : 22026 (java) S 22023 22026 16066 0 -1 1077944320 17593 0 0 0 95 5 0 0 20 0 15 0 251977325 14422839296 22207 33554432000 4194304 4196468 140729232876512 140729232859056 140550125063927 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
/proc/22026/statm: 3521201 22207 3496 1 0 3483273 0
[pid=22026/tid=22028] ppid=22023 vsize=14084804 memory=3340 CPUtime=0.68 cores=1,3,5,7
/proc/22026/task/22028/stat : 22028 (java) R 22023 22026 16066 0 -1 4202560 14849 0 0 0 64 4 0 0 20 0 15 0 251977325 14422839296 22207 33554432000 4194304 4196468 140729232876512 140550129267120 140550106627471 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22029] ppid=22023 vsize=14084804 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22029/stat : 22029 (java) S 22023 22026 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251977326 14422839296 22207 33554432000 4194304 4196468 140729232876512 140550055152528 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22030] ppid=22023 vsize=14084804 memory=37992 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22030/stat : 22030 (java) S 22023 22026 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251977326 14422839296 22207 33554432000 4194304 4196468 140729232876512 140549719505680 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22031] ppid=22023 vsize=14084804 memory=1624 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22031/stat : 22031 (java) S 22023 22026 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251977326 14422839296 22207 33554432000 4194304 4196468 140729232876512 140549718453392 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22032] ppid=22023 vsize=14084804 memory=496 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22032/stat : 22032 (java) S 22023 22026 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251977326 14422839296 22207 33554432000 4194304 4196468 140729232876512 140549717400592 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22033] ppid=22023 vsize=14084804 memory=928 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22033/stat : 22033 (java) S 22023 22026 16066 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 251977327 14422839296 22207 33554432000 4194304 4196468 140729232876512 140549667219568 140550125075074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22034] ppid=22023 vsize=14084804 memory=2248 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22034/stat : 22034 (java) S 22023 22026 16066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 251977328 14422839296 22207 33554432000 4194304 4196468 140729232876512 140549666165536 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22035] ppid=22023 vsize=14084804 memory=1568 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22035/stat : 22035 (java) S 22023 22026 16066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 251977328 14422839296 22207 33554432000 4194304 4196468 140729232876512 140549665113200 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22036] ppid=22023 vsize=14084804 memory=7379241883359864663 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22036/stat : 22036 (java) S 22023 22026 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251977330 14422839296 22207 33554432000 4194304 4196468 140729232876512 140549664061520 140550125082523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22037] ppid=22023 vsize=14084804 memory=7237400421040875609 CPUtime=0.08 cores=1,3,5,7
/proc/22026/task/22037/stat : 22037 (java) S 22023 22026 16066 0 -1 1077944384 694 0 0 0 8 0 0 0 20 0 15 0 251977330 14422839296 22207 33554432000 4194304 4196468 140729232876512 140549663009392 140550125075074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22038] ppid=22023 vsize=14084804 memory=7523071198212214892 CPUtime=0.07 cores=1,3,5,7
/proc/22026/task/22038/stat : 22038 (java) S 22023 22026 16066 0 -1 1077944384 231 0 0 0 7 0 0 0 20 0 15 0 251977330 14422839296 22207 33554432000 4194304 4196468 140729232876512 140549661956592 140550125075074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22039] ppid=22023 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/22026/task/22039/stat : 22039 (java) S 22023 22026 16066 0 -1 1077944384 437 0 0 0 15 0 0 0 20 0 15 0 251977330 14422839296 22207 33554432000 4194304 4196468 140729232876512 140549660904304 140550125075074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22040] ppid=22023 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22040/stat : 22040 (java) S 22023 22026 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251977330 14422839296 22207 33554432000 4194304 4196468 140729232876512 140549659851744 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22041] ppid=22023 vsize=14084804 memory=6436 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22041/stat : 22041 (java) S 22023 22026 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251977330 14422839296 22207 33554432000 4194304 4196468 140729232876512 140549658798512 140550125075074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88828 KiB
[startup+1.50084 s]
/proc/loadavg: 1.43 1.39 1.43 3/219 22041
/proc/meminfo: memFree=23709044/32770624 swapFree=67108852/67108860
[pid=22026] ppid=22023 vsize=14090948 memory=144672 CPUtime=2.95 cores=1,3,5,7
/proc/22026/stat : 22026 (java) S 22023 22026 16066 0 -1 1077944320 29361 0 0 0 287 8 0 0 20 0 15 0 251977325 14429130752 36168 33554432000 4194304 4196468 140729232876512 140729232859056 140550125063927 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
/proc/22026/statm: 3522737 36168 3539 1 0 3484809 0
[pid=22026/tid=22028] ppid=22023 vsize=14090948 memory=130132 CPUtime=1.47 cores=1,3,5,7
/proc/22026/task/22028/stat : 22028 (java) R 22023 22026 16066 0 -1 4202560 19842 0 0 0 142 5 0 0 20 0 15 0 251977325 14429130752 36168 33554432000 4194304 4196468 140729232876512 140550129298864 140549739011395 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22029] ppid=22023 vsize=14090948 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22029/stat : 22029 (java) S 22023 22026 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251977326 14429130752 36168 33554432000 4194304 4196468 140729232876512 140550055152528 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22030] ppid=22023 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22030/stat : 22030 (java) S 22023 22026 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251977326 14429130752 36168 33554432000 4194304 4196468 140729232876512 140549719505680 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22031] ppid=22023 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22031/stat : 22031 (java) S 22023 22026 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251977326 14429130752 36168 33554432000 4194304 4196468 140729232876512 140549718453392 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22032] ppid=22023 vsize=14090948 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22032/stat : 22032 (java) S 22023 22026 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251977326 14429130752 36168 33554432000 4194304 4196468 140729232876512 140549717400592 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22033] ppid=22023 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22033/stat : 22033 (java) S 22023 22026 16066 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 251977327 14429130752 36168 33554432000 4194304 4196468 140729232876512 140549667219568 140550125075074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
################
# More data... #
################
/proc/22026/task/22028/stat : 22028 (java) R 22023 22026 16066 0 -1 4202560 154678 0 0 0 235434 58 0 0 20 0 15 0 251977325 14431227904 82887 33554432000 4194304 4196468 140729232876512 140550129301104 140549741083316 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22029] ppid=22023 vsize=14092996 memory=332404 CPUtime=16.63 cores=1,3,5,7
/proc/22026/task/22029/stat : 22029 (java) S 22023 22026 16066 0 -1 1077944384 22443 0 0 0 1600 63 0 0 20 0 15 0 251977326 14431227904 82887 33554432000 4194304 4196468 140729232876512 140550055152528 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22030] ppid=22023 vsize=14092996 memory=343064 CPUtime=16.63 cores=1,3,5,7
/proc/22026/task/22030/stat : 22030 (java) S 22023 22026 16066 0 -1 1077944384 21135 0 0 0 1602 61 0 0 20 0 15 0 251977326 14431227904 82887 33554432000 4194304 4196468 140729232876512 140549719505680 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22031] ppid=22023 vsize=14092996 memory=334428 CPUtime=16.61 cores=1,3,5,7
/proc/22026/task/22031/stat : 22031 (java) S 22023 22026 16066 0 -1 1077944384 17648 0 0 0 1598 63 0 0 20 0 15 0 251977326 14431227904 82887 33554432000 4194304 4196468 140729232876512 140549718453392 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22032] ppid=22023 vsize=14092996 memory=332684 CPUtime=16.6 cores=1,3,5,7
/proc/22026/task/22032/stat : 22032 (java) S 22023 22026 16066 0 -1 1077944384 21650 0 0 0 1595 65 0 0 20 0 15 0 251977326 14431227904 82887 33554432000 4194304 4196468 140729232876512 140549717400592 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22033] ppid=22023 vsize=14092996 memory=333084 CPUtime=7.16 cores=1,3,5,7
/proc/22026/task/22033/stat : 22033 (java) S 22023 22026 16066 0 -1 1077944384 22755 0 0 0 642 74 0 0 20 0 15 0 251977327 14431227904 82887 33554432000 4194304 4196468 140729232876512 140549667219568 140550125075074 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 31 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22034] ppid=22023 vsize=14092996 memory=328564 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22034/stat : 22034 (java) S 22023 22026 16066 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 251977328 14431227904 82887 33554432000 4194304 4196468 140729232876512 140549666165600 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22035] ppid=22023 vsize=14092996 memory=332376 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22035/stat : 22035 (java) S 22023 22026 16066 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 251977328 14431227904 82887 33554432000 4194304 4196468 140729232876512 140549665113216 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22036] ppid=22023 vsize=14092996 memory=332060 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22036/stat : 22036 (java) S 22023 22026 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251977330 14431227904 82887 33554432000 4194304 4196468 140729232876512 140549664061520 140550125082523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22037] ppid=22023 vsize=14092996 memory=335136 CPUtime=2.33 cores=1,3,5,7
/proc/22026/task/22037/stat : 22037 (java) S 22023 22026 16066 0 -1 1077944384 16773 0 0 0 229 4 0 0 20 0 15 0 251977330 14431227904 82887 33554432000 4194304 4196468 140729232876512 140549663009392 140550125075074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22038] ppid=22023 vsize=14092996 memory=335748 CPUtime=2.2 cores=1,3,5,7
/proc/22026/task/22038/stat : 22038 (java) S 22023 22026 16066 0 -1 1077944384 15812 0 0 0 218 2 0 0 20 0 15 0 251977330 14431227904 82887 33554432000 4194304 4196468 140729232876512 140549661956592 140550125075074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22039] ppid=22023 vsize=14092996 memory=334112 CPUtime=1.03 cores=1,3,5,7
/proc/22026/task/22039/stat : 22039 (java) S 22023 22026 16066 0 -1 1077944384 22545 0 0 0 99 4 0 0 20 0 15 0 251977330 14431227904 82887 33554432000 4194304 4196468 140729232876512 140549660904304 140550125075074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22040] ppid=22023 vsize=14092996 memory=3708 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22040/stat : 22040 (java) S 22023 22026 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251977330 14431227904 82887 33554432000 4194304 4196468 140729232876512 140549659851744 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22041] ppid=22023 vsize=14092996 memory=68700 CPUtime=1.35 cores=1,3,5,7
/proc/22026/task/22041/stat : 22041 (java) S 22023 22026 16066 0 -1 1077944384 1076 0 0 0 57 78 0 0 20 0 15 0 251977330 14431227904 82887 33554432000 4194304 4196468 140729232876512 140549658798512 140550125075074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 36 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
Current children cumulated CPU time: 2435.55 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 331548 KiB
[startup+2442.3 s]
/proc/loadavg: 1.18 1.32 1.39 3/220 22143
/proc/meminfo: memFree=23306980/32770624 swapFree=67108852/67108860
[pid=22026] ppid=22023 vsize=14092996 memory=383404 CPUtime=2496.83 cores=1,3,5,7
/proc/22026/stat : 22026 (java) S 22023 22026 16066 0 -1 1077944320 327005 0 0 0 249250 433 0 0 20 0 15 0 251977325 14431227904 95851 33554432000 4194304 4196468 140729232876512 140729232859056 140550125063927 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
/proc/22026/statm: 3523249 95851 3613 1 0 3485321 0
[pid=22026/tid=22028] ppid=22023 vsize=14092996 memory=344344 CPUtime=2414.26 cores=1,3,5,7
/proc/22026/task/22028/stat : 22028 (java) R 22023 22026 16066 0 -1 4202560 159688 0 0 0 241366 60 0 0 20 0 15 0 251977325 14431227904 95851 33554432000 4194304 4196468 140729232876512 140550129300944 140550107492182 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22029] ppid=22023 vsize=14092996 memory=329504 CPUtime=17.06 cores=1,3,5,7
/proc/22026/task/22029/stat : 22029 (java) S 22023 22026 16066 0 -1 1077944384 23503 0 0 0 1641 65 0 0 20 0 15 0 251977326 14431227904 95851 33554432000 4194304 4196468 140729232876512 140550055152528 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22030] ppid=22023 vsize=14092996 memory=342296 CPUtime=17.06 cores=1,3,5,7
/proc/22026/task/22030/stat : 22030 (java) S 22023 22026 16066 0 -1 1077944384 22020 0 0 0 1643 63 0 0 20 0 15 0 251977326 14431227904 95851 33554432000 4194304 4196468 140729232876512 140549719505680 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22031] ppid=22023 vsize=14092996 memory=0 CPUtime=17.04 cores=1,3,5,7
/proc/22026/task/22031/stat : 22031 (java) S 22023 22026 16066 0 -1 1077944384 18610 0 0 0 1639 65 0 0 20 0 15 0 251977326 14431227904 95851 33554432000 4194304 4196468 140729232876512 140549718453392 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22032] ppid=22023 vsize=14092996 memory=343556 CPUtime=17.03 cores=1,3,5,7
/proc/22026/task/22032/stat : 22032 (java) S 22023 22026 16066 0 -1 1077944384 22543 0 0 0 1636 67 0 0 20 0 15 0 251977326 14431227904 95851 33554432000 4194304 4196468 140729232876512 140549717400592 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22033] ppid=22023 vsize=14092996 memory=343316 CPUtime=7.31 cores=1,3,5,7
/proc/22026/task/22033/stat : 22033 (java) S 22023 22026 16066 0 -1 1077944384 22845 0 0 0 656 75 0 0 20 0 15 0 251977327 14431227904 95851 33554432000 4194304 4196468 140729232876512 140549667219568 140550125075074 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 31 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22034] ppid=22023 vsize=14092996 memory=344576 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22034/stat : 22034 (java) S 22023 22026 16066 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 251977328 14431227904 95851 33554432000 4194304 4196468 140729232876512 140549666165600 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22035] ppid=22023 vsize=14092996 memory=344644 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22035/stat : 22035 (java) S 22023 22026 16066 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 251977328 14431227904 95851 33554432000 4194304 4196468 140729232876512 140549665113216 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22036] ppid=22023 vsize=14092996 memory=365364 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22036/stat : 22036 (java) S 22023 22026 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251977330 14431227904 95851 33554432000 4194304 4196468 140729232876512 140549664061520 140550125082523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22037] ppid=22023 vsize=14092996 memory=385456 CPUtime=2.34 cores=1,3,5,7
/proc/22026/task/22037/stat : 22037 (java) S 22023 22026 16066 0 -1 1077944384 16862 0 0 0 230 4 0 0 20 0 15 0 251977330 14431227904 95851 33554432000 4194304 4196468 140729232876512 140549663009392 140550125075074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22038] ppid=22023 vsize=14092996 memory=11584 CPUtime=2.21 cores=1,3,5,7
/proc/22026/task/22038/stat : 22038 (java) S 22023 22026 16066 0 -1 1077944384 15843 0 0 0 219 2 0 0 20 0 15 0 251977330 14431227904 95851 33554432000 4194304 4196468 140729232876512 140549661956592 140550125075074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22039] ppid=22023 vsize=14092996 memory=383404 CPUtime=1.03 cores=1,3,5,7
/proc/22026/task/22039/stat : 22039 (java) S 22023 22026 16066 0 -1 1077944384 22569 0 0 0 99 4 0 0 20 0 15 0 251977330 14431227904 95851 33554432000 4194304 4196468 140729232876512 140549660904304 140550125075074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22040] ppid=22023 vsize=14092996 memory=384944 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22040/stat : 22040 (java) S 22023 22026 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251977330 14431227904 95851 33554432000 4194304 4196468 140729232876512 140549659851744 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22041] ppid=22023 vsize=14092996 memory=384432 CPUtime=1.38 cores=1,3,5,7
/proc/22026/task/22041/stat : 22041 (java) S 22023 22026 16066 0 -1 1077944384 1080 0 0 0 58 80 0 0 20 0 15 0 251977330 14431227904 95851 33554432000 4194304 4196468 140729232876512 140549658798512 140550125075074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 36 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
Current children cumulated CPU time: 2496.83 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 383404 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2465.11 s]
/proc/loadavg: 1.04 1.28 1.38 2/199 22194
/proc/meminfo: memFree=23707448/32770624 swapFree=67108852/67108860
[pid=22026] ppid=22023 vsize=14092996 memory=375452 CPUtime=2520.08 cores=1,3,5,7
/proc/22026/stat : 22026 (java) S 22023 22026 16066 0 -1 1077944320 328411 0 0 0 251570 438 0 0 20 0 15 0 251977325 14431227904 93863 33554432000 4194304 4196468 140729232876512 140729232859056 140550125063927 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
/proc/22026/statm: 3523249 93863 3613 1 0 3485321 0
[pid=22026/tid=22028] ppid=22023 vsize=14092996 memory=376480 CPUtime=2436.85 cores=1,3,5,7
/proc/22026/task/22028/stat : 22028 (java) R 22023 22026 16066 0 -1 4202560 160823 0 0 0 243624 61 0 0 20 0 15 0 251977325 14431227904 93863 33554432000 4194304 4196468 140729232876512 140550129301136 140549740940696 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22029] ppid=22023 vsize=14092996 memory=382120 CPUtime=17.21 cores=1,3,5,7
/proc/22026/task/22029/stat : 22029 (java) S 22023 22026 16066 0 -1 1077944384 23566 0 0 0 1655 66 0 0 20 0 15 0 251977326 14431227904 93863 33554432000 4194304 4196468 140729232876512 140550055152528 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22030] ppid=22023 vsize=14092996 memory=0 CPUtime=17.21 cores=1,3,5,7
/proc/22026/task/22030/stat : 22030 (java) S 22023 22026 16066 0 -1 1077944384 22082 0 0 0 1658 63 0 0 20 0 15 0 251977326 14431227904 93863 33554432000 4194304 4196468 140729232876512 140549719505680 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22031] ppid=22023 vsize=14092996 memory=0 CPUtime=17.18 cores=1,3,5,7
/proc/22026/task/22031/stat : 22031 (java) S 22023 22026 16066 0 -1 1077944384 18681 0 0 0 1653 65 0 0 20 0 15 0 251977326 14431227904 93863 33554432000 4194304 4196468 140729232876512 140549718453392 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22032] ppid=22023 vsize=14092996 memory=377504 CPUtime=17.17 cores=1,3,5,7
/proc/22026/task/22032/stat : 22032 (java) S 22023 22026 16066 0 -1 1077944384 22600 0 0 0 1650 67 0 0 20 0 15 0 251977326 14431227904 93863 33554432000 4194304 4196468 140729232876512 140549717400592 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22033] ppid=22023 vsize=14092996 memory=376480 CPUtime=7.37 cores=1,3,5,7
/proc/22026/task/22033/stat : 22033 (java) S 22023 22026 16066 0 -1 1077944384 22860 0 0 0 661 76 0 0 20 0 15 0 251977327 14431227904 93863 33554432000 4194304 4196468 140729232876512 140549667219568 140550125075074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 31 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22034] ppid=22023 vsize=14092996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22034/stat : 22034 (java) S 22023 22026 16066 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 251977328 14431227904 93863 33554432000 4194304 4196468 140729232876512 140549666165600 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22035] ppid=22023 vsize=14092996 memory=280950186463720 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22035/stat : 22035 (java) S 22023 22026 16066 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 251977328 14431227904 93863 33554432000 4194304 4196468 140729232876512 140549665113216 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22036] ppid=22023 vsize=14092996 memory=379556 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22036/stat : 22036 (java) S 22023 22026 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251977330 14431227904 93863 33554432000 4194304 4196468 140729232876512 140549664061520 140550125082523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22037] ppid=22023 vsize=14092996 memory=343316 CPUtime=2.34 cores=1,3,5,7
/proc/22026/task/22037/stat : 22037 (java) S 22023 22026 16066 0 -1 1077944384 16862 0 0 0 230 4 0 0 20 0 15 0 251977330 14431227904 93863 33554432000 4194304 4196468 140729232876512 140549663009392 140550125075074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22038] ppid=22023 vsize=14092996 memory=6791534058613427641 CPUtime=2.22 cores=1,3,5,7
/proc/22026/task/22038/stat : 22038 (java) S 22023 22026 16066 0 -1 1077944384 15844 0 0 0 220 2 0 0 20 0 15 0 251977330 14431227904 93863 33554432000 4194304 4196468 140729232876512 140549661956592 140550125075074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22039] ppid=22023 vsize=14092996 memory=288230583166042426 CPUtime=1.03 cores=1,3,5,7
/proc/22026/task/22039/stat : 22039 (java) S 22023 22026 16066 0 -1 1077944384 22569 0 0 0 99 4 0 0 20 0 15 0 251977330 14431227904 93863 33554432000 4194304 4196468 140729232876512 140549660904304 140550125075074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22040] ppid=22023 vsize=14092996 memory=13855174477220093 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22040/stat : 22040 (java) S 22023 22026 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251977330 14431227904 93863 33554432000 4194304 4196468 140729232876512 140549659851744 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22041] ppid=22023 vsize=14092996 memory=376480 CPUtime=1.39 cores=1,3,5,7
/proc/22026/task/22041/stat : 22041 (java) S 22023 22026 16066 0 -1 1077944384 1082 0 0 0 58 81 0 0 20 0 15 0 251977330 14431227904 93863 33554432000 4194304 4196468 140729232876512 140549658798512 140550125075074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 36 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 375452 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2465.13 s]
# the end of solver process 22026 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.72 s, system=4.38793 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2465.11 s]
/proc/loadavg: 1.04 1.28 1.38 2/199 22194
/proc/meminfo: memFree=23707448/32770624 swapFree=67108852/67108860
[pid=22026] ppid=22023 vsize=14092996 memory=375452 CPUtime=2520.08 cores=1,3,5,7
/proc/22026/stat : 22026 (java) S 22023 22026 16066 0 -1 1077944320 328411 0 0 0 251570 438 0 0 20 0 15 0 251977325 14431227904 93863 33554432000 4194304 4196468 140729232876512 140729232859056 140550125063927 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
/proc/22026/statm: 3523249 93863 3613 1 0 3485321 0
[pid=22026/tid=22028] ppid=22023 vsize=14092996 memory=376480 CPUtime=2436.85 cores=1,3,5,7
/proc/22026/task/22028/stat : 22028 (java) R 22023 22026 16066 0 -1 4202560 160823 0 0 0 243624 61 0 0 20 0 15 0 251977325 14431227904 93863 33554432000 4194304 4196468 140729232876512 140550129301136 140549740940696 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22029] ppid=22023 vsize=14092996 memory=382120 CPUtime=17.21 cores=1,3,5,7
/proc/22026/task/22029/stat : 22029 (java) S 22023 22026 16066 0 -1 1077944384 23566 0 0 0 1655 66 0 0 20 0 15 0 251977326 14431227904 93863 33554432000 4194304 4196468 140729232876512 140550055152528 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22030] ppid=22023 vsize=14092996 memory=0 CPUtime=17.21 cores=1,3,5,7
/proc/22026/task/22030/stat : 22030 (java) S 22023 22026 16066 0 -1 1077944384 22082 0 0 0 1658 63 0 0 20 0 15 0 251977326 14431227904 93863 33554432000 4194304 4196468 140729232876512 140549719505680 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22031] ppid=22023 vsize=14092996 memory=0 CPUtime=17.18 cores=1,3,5,7
/proc/22026/task/22031/stat : 22031 (java) S 22023 22026 16066 0 -1 1077944384 18681 0 0 0 1653 65 0 0 20 0 15 0 251977326 14431227904 93863 33554432000 4194304 4196468 140729232876512 140549718453392 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22032] ppid=22023 vsize=14092996 memory=377504 CPUtime=17.17 cores=1,3,5,7
/proc/22026/task/22032/stat : 22032 (java) S 22023 22026 16066 0 -1 1077944384 22600 0 0 0 1650 67 0 0 20 0 15 0 251977326 14431227904 93863 33554432000 4194304 4196468 140729232876512 140549717400592 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22033] ppid=22023 vsize=14092996 memory=376480 CPUtime=7.37 cores=1,3,5,7
/proc/22026/task/22033/stat : 22033 (java) S 22023 22026 16066 0 -1 1077944384 22860 0 0 0 661 76 0 0 20 0 15 0 251977327 14431227904 93863 33554432000 4194304 4196468 140729232876512 140549667219568 140550125075074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 31 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22034] ppid=22023 vsize=14092996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22034/stat : 22034 (java) S 22023 22026 16066 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 251977328 14431227904 93863 33554432000 4194304 4196468 140729232876512 140549666165600 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22035] ppid=22023 vsize=14092996 memory=280950186463720 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22035/stat : 22035 (java) S 22023 22026 16066 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 251977328 14431227904 93863 33554432000 4194304 4196468 140729232876512 140549665113216 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22036] ppid=22023 vsize=14092996 memory=379556 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22036/stat : 22036 (java) S 22023 22026 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251977330 14431227904 93863 33554432000 4194304 4196468 140729232876512 140549664061520 140550125082523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22037] ppid=22023 vsize=14092996 memory=343316 CPUtime=2.34 cores=1,3,5,7
/proc/22026/task/22037/stat : 22037 (java) S 22023 22026 16066 0 -1 1077944384 16862 0 0 0 230 4 0 0 20 0 15 0 251977330 14431227904 93863 33554432000 4194304 4196468 140729232876512 140549663009392 140550125075074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22038] ppid=22023 vsize=14092996 memory=6791534058613427641 CPUtime=2.22 cores=1,3,5,7
/proc/22026/task/22038/stat : 22038 (java) S 22023 22026 16066 0 -1 1077944384 15844 0 0 0 220 2 0 0 20 0 15 0 251977330 14431227904 93863 33554432000 4194304 4196468 140729232876512 140549661956592 140550125075074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22039] ppid=22023 vsize=14092996 memory=288230583166042426 CPUtime=1.03 cores=1,3,5,7
/proc/22026/task/22039/stat : 22039 (java) S 22023 22026 16066 0 -1 1077944384 22569 0 0 0 99 4 0 0 20 0 15 0 251977330 14431227904 93863 33554432000 4194304 4196468 140729232876512 140549660904304 140550125075074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22040] ppid=22023 vsize=14092996 memory=13855174477220093 CPUtime=0 cores=1,3,5,7
/proc/22026/task/22040/stat : 22040 (java) S 22023 22026 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251977330 14431227904 93863 33554432000 4194304 4196468 140729232876512 140549659851744 140550125074133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
[pid=22026/tid=22041] ppid=22023 vsize=14092996 memory=376480 CPUtime=1.39 cores=1,3,5,7
/proc/22026/task/22041/stat : 22041 (java) S 22023 22026 16066 0 -1 1077944384 1082 0 0 0 58 81 0 0 20 0 15 0 251977330 14431227904 93863 33554432000 4194304 4196468 140729232876512 140549658798512 140550125075074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 36 0 0 6293624 6294260 18731008 140729232884820 140729232885001 140729232885001 140729232887759 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 375452 KiB
Child status: 143
Real time (s): 2465.13
CPU time (s): 2520.1
CPU user time (s): 2515.72
CPU system time (s): 4.38793
CPU usage (%): 102.23
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 585680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.72
system time used= 4.38793
maximum resident set size= 597732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 328557
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 235578
involuntary context switches= 7523
# summary of solver processes directly reported to runsolver:
# pid: 22026
# total CPU time (s): 2520.1
# total CPU user time (s): 2515.72
# total CPU system time (s): 4.38793
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9418 second user time and 20.5908 second system time
The end