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 (14385 MiB free)
memory of node 1: 16384 MiB (11896 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293894-1532384850/watcher-4293894-1532384850 -o /tmp/evaluation-result-4293894-1532384850/solver-4293894-1532384850 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532369950-17305 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1647571030 -superng HOME/instance-4293894-1532384850.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=19671, runsolver pid=19668
[startup+0.109874 s]*
/proc/loadavg: 1.38 1.39 1.40 3/206 19728
/proc/meminfo: memFree=26902896/32770624 swapFree=67108860/67108860
[pid=19671] ppid=19668 vsize=10355560 memory=21888 CPUtime=0.09 cores=1,3,5,7
/proc/19671/stat : 19671 (java) S 19668 19671 17273 0 -1 1077944320 4612 12882 0 0 2 0 4 3 20 0 9 0 56048215 10604093440 5472 33554432000 4194304 4196468 140730020309712 140730020292256 140385536974583 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
/proc/19671/statm: 2588890 5472 2101 1 0 2551431 0
[pid=19671/tid=19724] ppid=19668 vsize=10355560 memory=4351193298085512584 CPUtime=0.08 cores=1,3,5,7
/proc/19671/task/19724/stat : 19724 (java) R 19668 19671 17273 0 -1 4202560 2393 12882 0 0 1 0 4 3 20 0 9 0 56048224 10604093440 5472 33554432000 4194304 4196468 140730020309712 140385508810608 140385536996509 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19725] ppid=19668 vsize=10355560 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19725/stat : 19725 (java) S 19668 19671 17273 0 -1 1077944384 1 12882 0 0 0 0 4 3 20 0 9 0 56048225 10604093440 5472 33554432000 4194304 4196468 140730020309712 140385541216528 140385536984789 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19726] ppid=19668 vsize=10355560 memory=140334142703232 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19726/stat : 19726 (java) S 19668 19671 17273 0 -1 1077944384 1 12882 0 0 0 0 4 3 20 0 9 0 56048225 10604093440 5472 33554432000 4194304 4196468 140730020309712 140385440106896 140385536984789 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19727] ppid=19668 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19727/stat : 19727 (java) S 19668 19671 17273 0 -1 1077944384 1 12882 0 0 0 0 4 3 20 0 9 0 56048225 10604093440 5472 33554432000 4194304 4196468 140730020309712 140385439054352 140385536984789 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19728] ppid=19668 vsize=10355560 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19728/stat : 19728 (java) S 19668 19671 17273 0 -1 1077944384 2 12882 0 0 0 0 4 3 20 0 9 0 56048225 10604093440 5472 33554432000 4194304 4196468 140730020309712 140385438001808 140385536984789 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19729] ppid=19668 vsize=10355560 memory=140334142703232 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19729/stat : 19729 (java) S 19668 19671 17273 0 -1 1077944384 2 12882 0 0 0 0 4 3 20 0 9 0 56048227 10604093440 5472 33554432000 4194304 4196468 140730020309712 140384540301808 140385536985730 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19730] ppid=19668 vsize=10355560 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19730/stat : 19730 (java) S 19668 19671 17273 0 -1 1077944384 33 12882 0 0 0 0 4 3 20 0 9 0 56048227 10604093440 5472 33554432000 4194304 4196468 140730020309712 140384539248032 140385536984789 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19731] ppid=19668 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19731/stat : 19731 (java) S 19668 19671 17273 0 -1 1077944384 1 12882 0 0 0 0 4 3 20 0 9 0 56048227 10604093440 5472 33554432000 4194304 4196468 140730020309712 140384428615216 140385536984789 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10355560 KiB
Current children cumulated memory: 21888 KiB
[startup+0.210056 s]*
/proc/loadavg: 1.38 1.39 1.40 3/215 19737
/proc/meminfo: memFree=26887932/32770624 swapFree=67108860/67108860
[pid=19671] ppid=19668 vsize=10818904 memory=43420 CPUtime=0.25 cores=1,3,5,7
/proc/19671/stat : 19671 (java) S 19668 19671 17273 0 -1 1077944320 9248 12882 0 0 16 2 4 3 20 0 15 0 56048215 11078557696 10855 33554432000 4194304 4196468 140730020309712 140730020292256 140385536974583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
/proc/19671/statm: 2704726 10855 2971 1 0 2667149 0
[pid=19671/tid=19724] ppid=19668 vsize=10818904 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/19671/task/19724/stat : 19724 (java) R 19668 19671 17273 0 -1 4202560 5862 12882 0 0 10 1 4 3 20 0 15 0 56048224 11078557696 10855 33554432000 4194304 4196468 140730020309712 140385508799392 140385536986518 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19725] ppid=19668 vsize=10818904 memory=345 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19725/stat : 19725 (java) S 19668 19671 17273 0 -1 1077944384 1 12882 0 0 0 0 4 3 20 0 15 0 56048225 11078557696 10855 33554432000 4194304 4196468 140730020309712 140385541216528 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19726] ppid=19668 vsize=10818904 memory=288370710294414976 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19726/stat : 19726 (java) S 19668 19671 17273 0 -1 1077944384 1 12882 0 0 0 0 4 3 20 0 15 0 56048225 11078557696 10855 33554432000 4194304 4196468 140730020309712 140385440106896 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19727] ppid=19668 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19727/stat : 19727 (java) S 19668 19671 17273 0 -1 1077944384 1 12882 0 0 0 0 4 3 20 0 15 0 56048225 11078557696 10855 33554432000 4194304 4196468 140730020309712 140385439054352 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19728] ppid=19668 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19728/stat : 19728 (java) S 19668 19671 17273 0 -1 1077944384 2 12882 0 0 0 0 4 3 20 0 15 0 56048225 11078557696 10855 33554432000 4194304 4196468 140730020309712 140385438001808 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19729] ppid=19668 vsize=10818904 memory=140334142703232 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19729/stat : 19729 (java) S 19668 19671 17273 0 -1 1077944384 2 12882 0 0 0 0 4 3 20 0 15 0 56048227 11078557696 10855 33554432000 4194304 4196468 140730020309712 140384540301808 140385536985730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19730] ppid=19668 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19730/stat : 19730 (java) S 19668 19671 17273 0 -1 1077944384 33 12882 0 0 0 0 4 3 20 0 15 0 56048227 11078557696 10855 33554432000 4194304 4196468 140730020309712 140384539248032 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19731] ppid=19668 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19731/stat : 19731 (java) S 19668 19671 17273 0 -1 1077944384 1 12882 0 0 0 0 4 3 20 0 15 0 56048227 11078557696 10855 33554432000 4194304 4196468 140730020309712 140384428615152 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19732] ppid=19668 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19732/stat : 19732 (java) S 19668 19671 17273 0 -1 1077944384 3 12882 0 0 0 0 4 3 20 0 15 0 56048230 11078557696 10855 33554432000 4194304 4196468 140730020309712 140384121215696 140385536993179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19733] ppid=19668 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19671/task/19733/stat : 19733 (java) S 19668 19671 17273 0 -1 1077944384 493 12882 0 0 1 0 4 3 20 0 15 0 56048230 11078557696 10855 33554432000 4194304 4196468 140730020309712 140384505690096 140385536985730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19734] ppid=19668 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19671/task/19734/stat : 19734 (java) S 19668 19671 17273 0 -1 1077944384 90 12882 0 0 1 0 4 3 20 0 15 0 56048230 11078557696 10855 33554432000 4194304 4196468 140730020309712 140384504637552 140385536985730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19735] ppid=19668 vsize=10818904 memory=140334142703232 CPUtime=0.1 cores=1,3,5,7
/proc/19671/task/19735/stat : 19735 (java) R 19668 19671 17273 0 -1 4202560 570 12882 0 0 3 0 4 3 20 0 15 0 56048230 11078557696 10855 33554432000 4194304 4196468 140730020309712 140384503585008 140385516353614 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19736] ppid=19668 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19736/stat : 19736 (java) S 19668 19671 17273 0 -1 1077944384 3 12882 0 0 0 0 4 3 20 0 15 0 56048230 11078557696 10855 33554432000 4194304 4196468 140730020309712 140384087657056 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19737] ppid=19668 vsize=10818904 memory=140334142703232 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19737/stat : 19737 (java) S 19668 19671 17273 0 -1 1077944384 1 12882 0 0 0 0 4 3 20 0 15 0 56048230 11078557696 10855 33554432000 4194304 4196468 140730020309712 140384502532912 140385536985730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 43420 KiB
[startup+0.310286 s]*
/proc/loadavg: 1.38 1.39 1.40 3/215 19737
/proc/meminfo: memFree=26874784/32770624 swapFree=67108860/67108860
[pid=19671] ppid=19668 vsize=10819352 memory=51296 CPUtime=0.38 cores=1,3,5,7
/proc/19671/stat : 19671 (java) S 19668 19671 17273 0 -1 1077944320 10464 12882 0 0 28 3 4 3 20 0 15 0 56048215 11079016448 12824 33554432000 4194304 4196468 140730020309712 140730020292256 140385536974583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
/proc/19671/statm: 2704838 12824 3090 1 0 2667149 0
[pid=19671/tid=19724] ppid=19668 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/19671/task/19724/stat : 19724 (java) R 19668 19671 17273 0 -1 4202560 7053 12882 0 0 19 2 4 3 20 0 15 0 56048224 11079016448 12824 33554432000 4194304 4196468 140730020309712 140385508786592 140385520161392 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19725] ppid=19668 vsize=10819352 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19725/stat : 19725 (java) S 19668 19671 17273 0 -1 1077944384 1 12882 0 0 0 0 4 3 20 0 15 0 56048225 11079016448 12824 33554432000 4194304 4196468 140730020309712 140385541216528 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19726] ppid=19668 vsize=10819352 memory=140334142713825 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19726/stat : 19726 (java) S 19668 19671 17273 0 -1 1077944384 1 12882 0 0 0 0 4 3 20 0 15 0 56048225 11079016448 12824 33554432000 4194304 4196468 140730020309712 140385440106896 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19727] ppid=19668 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19727/stat : 19727 (java) S 19668 19671 17273 0 -1 1077944384 1 12882 0 0 0 0 4 3 20 0 15 0 56048225 11079016448 12824 33554432000 4194304 4196468 140730020309712 140385439054352 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19728] ppid=19668 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19728/stat : 19728 (java) S 19668 19671 17273 0 -1 1077944384 2 12882 0 0 0 0 4 3 20 0 15 0 56048225 11079016448 12824 33554432000 4194304 4196468 140730020309712 140385438001808 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19729] ppid=19668 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19729/stat : 19729 (java) S 19668 19671 17273 0 -1 1077944384 2 12882 0 0 0 0 4 3 20 0 15 0 56048227 11079016448 12824 33554432000 4194304 4196468 140730020309712 140384540301808 140385536985730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19730] ppid=19668 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19730/stat : 19730 (java) S 19668 19671 17273 0 -1 1077944384 33 12882 0 0 0 0 4 3 20 0 15 0 56048227 11079016448 12824 33554432000 4194304 4196468 140730020309712 140384539248032 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19731] ppid=19668 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19731/stat : 19731 (java) S 19668 19671 17273 0 -1 1077944384 1 12882 0 0 0 0 4 3 20 0 15 0 56048227 11079016448 12824 33554432000 4194304 4196468 140730020309712 140384428615152 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19732] ppid=19668 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19732/stat : 19732 (java) S 19668 19671 17273 0 -1 1077944384 3 12882 0 0 0 0 4 3 20 0 15 0 56048230 11079016448 12824 33554432000 4194304 4196468 140730020309712 140384121215696 140385536993179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19733] ppid=19668 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19671/task/19733/stat : 19733 (java) S 19668 19671 17273 0 -1 1077944384 493 12882 0 0 1 0 4 3 20 0 15 0 56048230 11079016448 12824 33554432000 4194304 4196468 140730020309712 140384505690096 140385536985730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19734] ppid=19668 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19671/task/19734/stat : 19734 (java) S 19668 19671 17273 0 -1 1077944384 91 12882 0 0 1 0 4 3 20 0 15 0 56048230 11079016448 12824 33554432000 4194304 4196468 140730020309712 140384504637552 140385536985730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19735] ppid=19668 vsize=10819352 memory=140334142703232 CPUtime=0.12 cores=1,3,5,7
/proc/19671/task/19735/stat : 19735 (java) S 19668 19671 17273 0 -1 1077944384 592 12882 0 0 5 0 4 3 20 0 15 0 56048230 11079016448 12824 33554432000 4194304 4196468 140730020309712 140384503585008 140385536985730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19736] ppid=19668 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19736/stat : 19736 (java) S 19668 19671 17273 0 -1 1077944384 3 12882 0 0 0 0 4 3 20 0 15 0 56048230 11079016448 12824 33554432000 4194304 4196468 140730020309712 140384087657056 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19737] ppid=19668 vsize=10819352 memory=140334142703232 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19737/stat : 19737 (java) S 19668 19671 17273 0 -1 1077944384 1 12882 0 0 0 0 4 3 20 0 15 0 56048230 11079016448 12824 33554432000 4194304 4196468 140730020309712 140384502532912 140385536985730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 51296 KiB
[startup+0.700704 s]
/proc/loadavg: 1.38 1.39 1.40 3/215 19737
/proc/meminfo: memFree=26864852/32770624 swapFree=67108860/67108860
[pid=19671] ppid=19668 vsize=10819352 memory=84368 CPUtime=0.98 cores=1,3,5,7
/proc/19671/stat : 19671 (java) S 19668 19671 17273 0 -1 1077944320 16760 12882 0 0 86 5 4 3 20 0 15 0 56048215 11079016448 21092 33554432000 4194304 4196468 140730020309712 140730020292256 140385536974583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
/proc/19671/statm: 2704838 21092 3237 1 0 2667149 0
[pid=19671/tid=19724] ppid=19668 vsize=10819352 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/19671/task/19724/stat : 19724 (java) R 19668 19671 17273 0 -1 4202560 12274 12882 0 0 55 3 4 3 20 0 15 0 56048224 11079016448 21092 33554432000 4194304 4196468 140730020309712 140385508795408 140385522140136 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19725] ppid=19668 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19725/stat : 19725 (java) S 19668 19671 17273 0 -1 1077944384 1 12882 0 0 0 0 4 3 20 0 15 0 56048225 11079016448 21092 33554432000 4194304 4196468 140730020309712 140385541216528 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19726] ppid=19668 vsize=10819352 memory=2465579664897 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19726/stat : 19726 (java) S 19668 19671 17273 0 -1 1077944384 1 12882 0 0 0 0 4 3 20 0 15 0 56048225 11079016448 21092 33554432000 4194304 4196468 140730020309712 140385440106896 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19727] ppid=19668 vsize=10819352 memory=217978766 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19727/stat : 19727 (java) S 19668 19671 17273 0 -1 1077944384 1 12882 0 0 0 0 4 3 20 0 15 0 56048225 11079016448 21092 33554432000 4194304 4196468 140730020309712 140385439054352 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19728] ppid=19668 vsize=10819352 memory=7295947221009195419 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19728/stat : 19728 (java) S 19668 19671 17273 0 -1 1077944384 2 12882 0 0 0 0 4 3 20 0 15 0 56048225 11079016448 21092 33554432000 4194304 4196468 140730020309712 140385438001808 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19729] ppid=19668 vsize=10819352 memory=33 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19729/stat : 19729 (java) S 19668 19671 17273 0 -1 1077944384 5 12882 0 0 0 0 4 3 20 0 15 0 56048227 11079016448 21092 33554432000 4194304 4196468 140730020309712 140384540301808 140385536985730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19730] ppid=19668 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19730/stat : 19730 (java) S 19668 19671 17273 0 -1 1077944384 33 12882 0 0 0 0 4 3 20 0 15 0 56048227 11079016448 21092 33554432000 4194304 4196468 140730020309712 140384539248032 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19731] ppid=19668 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19731/stat : 19731 (java) S 19668 19671 17273 0 -1 1077944384 1 12882 0 0 0 0 4 3 20 0 15 0 56048227 11079016448 21092 33554432000 4194304 4196468 140730020309712 140384428615152 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19732] ppid=19668 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19732/stat : 19732 (java) S 19668 19671 17273 0 -1 1077944384 3 12882 0 0 0 0 4 3 20 0 15 0 56048230 11079016448 21092 33554432000 4194304 4196468 140730020309712 140384121215696 140385536993179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19733] ppid=19668 vsize=10819352 memory=8551153264050216321 CPUtime=0.14 cores=1,3,5,7
/proc/19671/task/19733/stat : 19733 (java) S 19668 19671 17273 0 -1 1077944384 849 12882 0 0 7 0 4 3 20 0 15 0 56048230 11079016448 21092 33554432000 4194304 4196468 140730020309712 140384505690096 140385536985730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19734] ppid=19668 vsize=10819352 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/19671/task/19734/stat : 19734 (java) S 19668 19671 17273 0 -1 1077944384 720 12882 0 0 9 0 4 3 20 0 15 0 56048230 11079016448 21092 33554432000 4194304 4196468 140730020309712 140384504637552 140385536985730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19735] ppid=19668 vsize=10819352 memory=140334142705745 CPUtime=0.19 cores=1,3,5,7
/proc/19671/task/19735/stat : 19735 (java) S 19668 19671 17273 0 -1 1077944384 679 12882 0 0 12 0 4 3 20 0 15 0 56048230 11079016448 21092 33554432000 4194304 4196468 140730020309712 140384503585008 140385536985730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19736] ppid=19668 vsize=10819352 memory=4028 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19736/stat : 19736 (java) S 19668 19671 17273 0 -1 1077944384 3 12882 0 0 0 0 4 3 20 0 15 0 56048230 11079016448 21092 33554432000 4194304 4196468 140730020309712 140384087657056 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19737] ppid=19668 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19737/stat : 19737 (java) S 19668 19671 17273 0 -1 1077944384 1 12882 0 0 0 0 4 3 20 0 15 0 56048230 11079016448 21092 33554432000 4194304 4196468 140730020309712 140384502532912 140385536985730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84368 KiB
[startup+1.50077 s]
/proc/loadavg: 1.38 1.39 1.40 3/215 19737
/proc/meminfo: memFree=26817964/32770624 swapFree=67108860/67108860
[pid=19671] ppid=19668 vsize=10832204 memory=176008 CPUtime=2.92 cores=1,3,5,7
/proc/19671/stat : 19671 (java) S 19668 19671 17273 0 -1 1077944320 24658 12882 0 0 276 9 4 3 20 0 15 0 56048215 11092176896 44002 33554432000 4194304 4196468 140730020309712 140730020292256 140385536974583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
/proc/19671/statm: 2708051 44002 3450 1 0 2669709 0
[pid=19671/tid=19724] ppid=19668 vsize=10832204 memory=14771 CPUtime=1.45 cores=1,3,5,7
/proc/19671/task/19724/stat : 19724 (java) R 19668 19671 17273 0 -1 4202560 16977 12882 0 0 132 6 4 3 20 0 15 0 56048224 11092176896 44002 33554432000 4194304 4196468 140730020309712 140385508807168 140385518538135 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19725] ppid=19668 vsize=10832204 memory=33 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19725/stat : 19725 (java) S 19668 19671 17273 0 -1 1077944384 1 12882 0 0 0 0 4 3 20 0 15 0 56048225 11092176896 44002 33554432000 4194304 4196468 140730020309712 140385541216528 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19726] ppid=19668 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19726/stat : 19726 (java) S 19668 19671 17273 0 -1 1077944384 1 12882 0 0 0 0 4 3 20 0 15 0 56048225 11092176896 44002 33554432000 4194304 4196468 140730020309712 140385440106896 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19727] ppid=19668 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19727/stat : 19727 (java) S 19668 19671 17273 0 -1 1077944384 1 12882 0 0 0 0 4 3 20 0 15 0 56048225 11092176896 44002 33554432000 4194304 4196468 140730020309712 140385439054352 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19728] ppid=19668 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19728/stat : 19728 (java) S 19668 19671 17273 0 -1 1077944384 2 12882 0 0 0 0 4 3 20 0 15 0 56048225 11092176896 44002 33554432000 4194304 4196468 140730020309712 140385438001808 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19729] ppid=19668 vsize=10832204 memory=8551153264050216321 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19729/stat : 19729 (java) S 19668 19671 17273 0 -1 1077944384 12 12882 0 0 0 0 4 3 20 0 15 0 56048227 11092176896 44002 33554432000 4194304 4196468 140730020309712 140384540301808 140385536985730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19730] ppid=19668 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19730/stat : 19730 (java) S 19668 19671 17273 0 -1 1077944384 33 12882 0 0 0 0 4 3 20 0 15 0 56048227 11092176896 44002 33554432000 4194304 4196468 140730020309712 140384539248032 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19731] ppid=19668 vsize=10832204 memory=140334142705745 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19731/stat : 19731 (java) S 19668 19671 17273 0 -1 1077944384 1 12882 0 0 0 0 4 3 20 0 15 0 56048227 11092176896 44002 33554432000 4194304 4196468 140730020309712 140384428615152 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19732] ppid=19668 vsize=10832204 memory=5520 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19732/stat : 19732 (java) S 19668 19671 17273 0 -1 1077944384 3 12882 0 0 0 0 4 3 20 0 15 0 56048230 11092176896 44002 33554432000 4194304 4196468 140730020309712 140384121215696 140385536993179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19733] ppid=19668 vsize=10832204 memory=792 CPUtime=0.52 cores=1,3,5,7
/proc/19671/task/19733/stat : 19733 (java) S 19668 19671 17273 0 -1 1077944384 1840 12882 0 0 45 0 4 3 20 0 15 0 56048230 11092176896 44002 33554432000 4194304 4196468 140730020309712 140384505690096 140385536985730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19734] ppid=19668 vsize=10832204 memory=1228 CPUtime=0.59 cores=1,3,5,7
/proc/19671/task/19734/stat : 19734 (java) S 19668 19671 17273 0 -1 1077944384 1973 12882 0 0 52 0 4 3 20 0 15 0 56048230 11092176896 44002 33554432000 4194304 4196468 140730020309712 140384504637552 140385536985730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19735] ppid=19668 vsize=10832204 memory=1944 CPUtime=0.52 cores=1,3,5,7
/proc/19671/task/19735/stat : 19735 (java) S 19668 19671 17273 0 -1 1077944384 1621 12882 0 0 45 0 4 3 20 0 15 0 56048230 11092176896 44002 33554432000 4194304 4196468 140730020309712 140384503585008 140385536985730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
################
# More data... #
################
/proc/19671/task/19726/stat : 19726 (java) S 19668 19671 17273 0 -1 1077944384 48007 12882 0 0 1069 54 4 3 20 0 15 0 56048225 11178180608 984498 33554432000 4194304 4196468 140730020309712 140385440106896 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19727] ppid=19668 vsize=10916192 memory=3937992 CPUtime=11.25 cores=1,3,5,7
/proc/19671/task/19727/stat : 19727 (java) S 19668 19671 17273 0 -1 1077944384 45872 12882 0 0 1063 55 4 3 20 0 15 0 56048225 11178180608 984498 33554432000 4194304 4196468 140730020309712 140385439054352 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19728] ppid=19668 vsize=10916192 memory=3937992 CPUtime=11.3 cores=1,3,5,7
/proc/19671/task/19728/stat : 19728 (java) S 19668 19671 17273 0 -1 1077944384 52000 12882 0 0 1073 50 4 3 20 0 15 0 56048225 11178180608 984498 33554432000 4194304 4196468 140730020309712 140385438001808 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19729] ppid=19668 vsize=10916192 memory=3937992 CPUtime=0.86 cores=1,3,5,7
/proc/19671/task/19729/stat : 19729 (java) S 19668 19671 17273 0 -1 1077944384 27009 12882 0 0 75 4 4 3 20 0 15 0 56048227 11178180608 984498 33554432000 4194304 4196468 140730020309712 140384540301808 140385536985730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 37 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19730] ppid=19668 vsize=10916192 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19730/stat : 19730 (java) S 19668 19671 17273 0 -1 1077944384 78 12882 0 0 0 0 4 3 20 0 15 0 56048227 11178180608 984498 33554432000 4194304 4196468 140730020309712 140384539248160 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19731] ppid=19668 vsize=10916192 memory=3937992 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19731/stat : 19731 (java) S 19668 19671 17273 0 -1 1077944384 55 12882 0 0 0 0 4 3 20 0 15 0 56048227 11178180608 984498 33554432000 4194304 4196468 140730020309712 140384428615168 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19732] ppid=19668 vsize=10916192 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19732/stat : 19732 (java) S 19668 19671 17273 0 -1 1077944384 3 12882 0 0 0 0 4 3 20 0 15 0 56048230 11178180608 984498 33554432000 4194304 4196468 140730020309712 140384121215696 140385536993179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19733] ppid=19668 vsize=10916192 memory=928 CPUtime=8.23 cores=1,3,5,7
/proc/19671/task/19733/stat : 19733 (java) S 19668 19671 17273 0 -1 1077944384 57201 12882 0 0 808 8 4 3 20 0 15 0 56048230 11178180608 984498 33554432000 4194304 4196468 140730020309712 140384505690096 140385536985730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19734] ppid=19668 vsize=10916192 memory=3937992 CPUtime=8.38 cores=1,3,5,7
/proc/19671/task/19734/stat : 19734 (java) S 19668 19671 17273 0 -1 1077944384 54458 12882 0 0 825 6 4 3 20 0 15 0 56048230 11178180608 984498 33554432000 4194304 4196468 140730020309712 140384504637552 140385536985730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 42 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19735] ppid=19668 vsize=10916192 memory=3937992 CPUtime=2.79 cores=1,3,5,7
/proc/19671/task/19735/stat : 19735 (java) S 19668 19671 17273 0 -1 1077944384 65444 12882 0 0 264 8 4 3 20 0 15 0 56048230 11178180608 984498 33554432000 4194304 4196468 140730020309712 140384503585008 140385536985730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 45 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19736] ppid=19668 vsize=10916192 memory=3937992 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19736/stat : 19736 (java) S 19668 19671 17273 0 -1 1077944384 3 12882 0 0 0 0 4 3 20 0 15 0 56048230 11178180608 984498 33554432000 4194304 4196468 140730020309712 140384087657056 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19737] ppid=19668 vsize=10916192 memory=3937992 CPUtime=1.06 cores=1,3,5,7
/proc/19671/task/19737/stat : 19737 (java) S 19668 19671 17273 0 -1 1077944384 2697 12882 0 0 41 58 4 3 20 0 15 0 56048230 11178180608 984498 33554432000 4194304 4196468 140730020309712 140384502532912 140385536985730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 47 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 3937992 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2467.18 s]
# the end of solver process 19671 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.14 s, system=3.43806 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2466.81 s]
/proc/loadavg: 1.96 1.92 1.87 3/215 20120
/proc/meminfo: memFree=23471352/32770624 swapFree=67108860/67108860
[pid=19671] ppid=19668 vsize=11112808 memory=3942196 CPUtime=2520.19 cores=1,3,5,7
/proc/19671/stat : 19671 (java) S 19668 19671 17273 0 -1 1077944320 588536 12882 0 0 251675 337 4 3 20 0 17 0 56048215 11379515392 985549 33554432000 4194304 4196468 140730020309712 140730020292256 140385536974583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
/proc/19671/statm: 2778202 985549 3546 1 0 2739855 0
[pid=19671/tid=19724] ppid=19668 vsize=11112808 memory=4100 CPUtime=2454.18 cores=1,3,5,7
/proc/19671/task/19724/stat : 19724 (java) R 19668 19671 17273 0 -1 4202560 179080 12882 0 0 245365 46 4 3 20 0 17 0 56048224 11379515392 985549 33554432000 4194304 4196468 140730020309712 140385508790992 140385136040304 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19725] ppid=19668 vsize=11112808 memory=6791534058613427641 CPUtime=11.35 cores=1,3,5,7
/proc/19671/task/19725/stat : 19725 (java) S 19668 19671 17273 0 -1 1077944384 53757 12882 0 0 1074 54 4 3 20 0 17 0 56048225 11379515392 985549 33554432000 4194304 4196468 140730020309712 140385541216528 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19726] ppid=19668 vsize=11112808 memory=288230621803970871 CPUtime=11.3 cores=1,3,5,7
/proc/19671/task/19726/stat : 19726 (java) S 19668 19671 17273 0 -1 1077944384 48007 12882 0 0 1069 54 4 3 20 0 17 0 56048225 11379515392 985549 33554432000 4194304 4196468 140730020309712 140385440106896 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19727] ppid=19668 vsize=11112808 memory=14412618299345480 CPUtime=11.25 cores=1,3,5,7
/proc/19671/task/19727/stat : 19727 (java) S 19668 19671 17273 0 -1 1077944384 45872 12882 0 0 1063 55 4 3 20 0 17 0 56048225 11379515392 985549 33554432000 4194304 4196468 140730020309712 140385439054352 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19728] ppid=19668 vsize=11112808 memory=1228 CPUtime=11.3 cores=1,3,5,7
/proc/19671/task/19728/stat : 19728 (java) S 19668 19671 17273 0 -1 1077944384 52000 12882 0 0 1073 50 4 3 20 0 17 0 56048225 11379515392 985549 33554432000 4194304 4196468 140730020309712 140385438001808 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19729] ppid=19668 vsize=11112808 memory=1944 CPUtime=0.86 cores=1,3,5,7
/proc/19671/task/19729/stat : 19729 (java) S 19668 19671 17273 0 -1 1077944384 27009 12882 0 0 75 4 4 3 20 0 17 0 56048227 11379515392 985549 33554432000 4194304 4196468 140730020309712 140384540301808 140385536985730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 37 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19730] ppid=19668 vsize=11112808 memory=1416 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19730/stat : 19730 (java) S 19668 19671 17273 0 -1 1077944384 78 12882 0 0 0 0 4 3 20 0 17 0 56048227 11379515392 985549 33554432000 4194304 4196468 140730020309712 140384539248160 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19731] ppid=19668 vsize=11112808 memory=4612 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19731/stat : 19731 (java) S 19668 19671 17273 0 -1 1077944384 55 12882 0 0 0 0 4 3 20 0 17 0 56048227 11379515392 985549 33554432000 4194304 4196468 140730020309712 140384428615168 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19732] ppid=19668 vsize=11112808 memory=8384 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19732/stat : 19732 (java) S 19668 19671 17273 0 -1 1077944384 273 12882 0 0 0 0 4 3 20 0 17 0 56048230 11379515392 985549 33554432000 4194304 4196468 140730020309712 140384121215696 140385536993179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19733] ppid=19668 vsize=11112808 memory=1624 CPUtime=8.23 cores=1,3,5,7
/proc/19671/task/19733/stat : 19733 (java) S 19668 19671 17273 0 -1 1077944384 57201 12882 0 0 808 8 4 3 20 0 17 0 56048230 11379515392 985549 33554432000 4194304 4196468 140730020309712 140384505690096 140385536985730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19734] ppid=19668 vsize=11112808 memory=1200 CPUtime=8.38 cores=1,3,5,7
/proc/19671/task/19734/stat : 19734 (java) S 19668 19671 17273 0 -1 1077944384 54458 12882 0 0 825 6 4 3 20 0 17 0 56048230 11379515392 985549 33554432000 4194304 4196468 140730020309712 140384504637552 140385536985730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 42 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19735] ppid=19668 vsize=11112808 memory=15872 CPUtime=2.79 cores=1,3,5,7
/proc/19671/task/19735/stat : 19735 (java) S 19668 19671 17273 0 -1 1077944384 65444 12882 0 0 264 8 4 3 20 0 17 0 56048230 11379515392 985549 33554432000 4194304 4196468 140730020309712 140384503585008 140385536985730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 45 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19736] ppid=19668 vsize=11112808 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19736/stat : 19736 (java) S 19668 19671 17273 0 -1 1077944384 3 12882 0 0 0 0 4 3 20 0 17 0 56048230 11379515392 985549 33554432000 4194304 4196468 140730020309712 140384087657056 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19737] ppid=19668 vsize=11112808 memory=5520 CPUtime=1.06 cores=1,3,5,7
/proc/19671/task/19737/stat : 19737 (java) S 19668 19671 17273 0 -1 1077944384 2697 12882 0 0 41 58 4 3 20 0 17 0 56048230 11379515392 985549 33554432000 4194304 4196468 140730020309712 140384502532912 140385536985730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 47 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
Current children cumulated CPU time: 2520.19 s
Current children cumulated vsize: 11112808 KiB
Current children cumulated memory: 3942196 KiB
[startup+2467 s]*
/proc/loadavg: 1.96 1.92 1.87 4/217 20122
/proc/meminfo: memFree=23365500/32770624 swapFree=67108860/67108860
[pid=19671] ppid=19668 vsize=11112808 memory=3942196 CPUtime=2520.39 cores=1,3,5,7
/proc/19671/stat : 19671 (java) S 19668 19671 17273 0 -1 1077944320 588538 12882 0 0 251695 337 4 3 20 0 17 0 56048215 11379515392 985549 33554432000 4194304 4196468 140730020309712 140730020292256 140385536974583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
/proc/19671/statm: 2778202 985549 3546 1 0 2739855 0
[pid=19671/tid=19724] ppid=19668 vsize=11112808 memory=6791534058613427641 CPUtime=2454.38 cores=1,3,5,7
/proc/19671/task/19724/stat : 19724 (java) R 19668 19671 17273 0 -1 4202560 179082 12882 0 0 245385 46 4 3 20 0 17 0 56048224 11379515392 985549 33554432000 4194304 4196468 140730020309712 140385508790992 140385136040369 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19725] ppid=19668 vsize=11112808 memory=4126316290023845779 CPUtime=11.35 cores=1,3,5,7
/proc/19671/task/19725/stat : 19725 (java) S 19668 19671 17273 0 -1 1077944384 53757 12882 0 0 1074 54 4 3 20 0 17 0 56048225 11379515392 985549 33554432000 4194304 4196468 140730020309712 140385541216528 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19726] ppid=19668 vsize=11112808 memory=3280 CPUtime=11.3 cores=1,3,5,7
/proc/19671/task/19726/stat : 19726 (java) S 19668 19671 17273 0 -1 1077944384 48007 12882 0 0 1069 54 4 3 20 0 17 0 56048225 11379515392 985549 33554432000 4194304 4196468 140730020309712 140385440106896 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19727] ppid=19668 vsize=11112808 memory=4100 CPUtime=11.25 cores=1,3,5,7
/proc/19671/task/19727/stat : 19727 (java) S 19668 19671 17273 0 -1 1077944384 45872 12882 0 0 1063 55 4 3 20 0 17 0 56048225 11379515392 985549 33554432000 4194304 4196468 140730020309712 140385439054352 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19728] ppid=19668 vsize=11112808 memory=1408 CPUtime=11.3 cores=1,3,5,7
/proc/19671/task/19728/stat : 19728 (java) S 19668 19671 17273 0 -1 1077944384 52000 12882 0 0 1073 50 4 3 20 0 17 0 56048225 11379515392 985549 33554432000 4194304 4196468 140730020309712 140385438001808 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19729] ppid=19668 vsize=11112808 memory=3260 CPUtime=0.86 cores=1,3,5,7
/proc/19671/task/19729/stat : 19729 (java) S 19668 19671 17273 0 -1 1077944384 27009 12882 0 0 75 4 4 3 20 0 17 0 56048227 11379515392 985549 33554432000 4194304 4196468 140730020309712 140384540301808 140385536985730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 37 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19730] ppid=19668 vsize=11112808 memory=3937992 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19730/stat : 19730 (java) S 19668 19671 17273 0 -1 1077944384 78 12882 0 0 0 0 4 3 20 0 17 0 56048227 11379515392 985549 33554432000 4194304 4196468 140730020309712 140384539248160 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19731] ppid=19668 vsize=11112808 memory=1360 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19731/stat : 19731 (java) S 19668 19671 17273 0 -1 1077944384 55 12882 0 0 0 0 4 3 20 0 17 0 56048227 11379515392 985549 33554432000 4194304 4196468 140730020309712 140384428615168 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19732] ppid=19668 vsize=11112808 memory=307776 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19732/stat : 19732 (java) S 19668 19671 17273 0 -1 1077944384 273 12882 0 0 0 0 4 3 20 0 17 0 56048230 11379515392 985549 33554432000 4194304 4196468 140730020309712 140384121215696 140385536993179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19733] ppid=19668 vsize=11112808 memory=6791534058613427641 CPUtime=8.23 cores=1,3,5,7
/proc/19671/task/19733/stat : 19733 (java) S 19668 19671 17273 0 -1 1077944384 57201 12882 0 0 808 8 4 3 20 0 17 0 56048230 11379515392 985549 33554432000 4194304 4196468 140730020309712 140384505690096 140385536985730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19734] ppid=19668 vsize=11112808 memory=4126316290023845779 CPUtime=8.38 cores=1,3,5,7
/proc/19671/task/19734/stat : 19734 (java) S 19668 19671 17273 0 -1 1077944384 54458 12882 0 0 825 6 4 3 20 0 17 0 56048230 11379515392 985549 33554432000 4194304 4196468 140730020309712 140384504637552 140385536985730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 42 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19735] ppid=19668 vsize=11112808 memory=5520 CPUtime=2.79 cores=1,3,5,7
/proc/19671/task/19735/stat : 19735 (java) S 19668 19671 17273 0 -1 1077944384 65444 12882 0 0 264 8 4 3 20 0 17 0 56048230 11379515392 985549 33554432000 4194304 4196468 140730020309712 140384503585008 140385536985730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 45 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19736] ppid=19668 vsize=11112808 memory=792 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19736/stat : 19736 (java) S 19668 19671 17273 0 -1 1077944384 3 12882 0 0 0 0 4 3 20 0 17 0 56048230 11379515392 985549 33554432000 4194304 4196468 140730020309712 140384087657056 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19737] ppid=19668 vsize=11112808 memory=1228 CPUtime=1.06 cores=1,3,5,7
/proc/19671/task/19737/stat : 19737 (java) S 19668 19671 17273 0 -1 1077944384 2697 12882 0 0 41 58 4 3 20 0 17 0 56048230 11379515392 985549 33554432000 4194304 4196468 140730020309712 140384502532912 140385536985730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 47 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=20121] ppid=19668 vsize=11112808 memory=1944 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/20121/stat : 20121 (java) S 19668 19671 17273 0 -1 1077944384 318 12882 0 0 0 0 4 3 20 0 17 0 56294886 11379515392 985549 33554432000 4194304 4196468 140730020309712 140383556199024 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=20122] ppid=19668 vsize=11112808 memory=1416 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/20122/stat : 20122 (java) S 19668 19671 17273 0 -1 1077944384 96 12882 0 0 0 0 4 3 20 0 17 0 56294886 11379515392 985549 33554432000 4194304 4196468 140730020309712 140383421982432 140385536985730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
Current children cumulated CPU time: 2520.39 s
Current children cumulated vsize: 11112808 KiB
Current children cumulated memory: 3942196 KiB
[startup+2467.11 s]
/proc/loadavg: 1.96 1.92 1.87 4/217 20122
/proc/meminfo: memFree=23365500/32770624 swapFree=67108860/67108860
[pid=19671] ppid=19668 vsize=11112808 memory=3942196 CPUtime=2520.49 cores=1,3,5,7
/proc/19671/stat : 19671 (java) S 19668 19671 17273 0 -1 1077944320 588538 12882 0 0 251705 337 4 3 20 0 17 0 56048215 11379515392 985549 33554432000 4194304 4196468 140730020309712 140730020292256 140385536974583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
/proc/19671/statm: 2778202 985549 3546 1 0 2739855 0
[pid=19671/tid=19724] ppid=19668 vsize=11112808 memory=3937992 CPUtime=2454.48 cores=1,3,5,7
/proc/19671/task/19724/stat : 19724 (java) R 19668 19671 17273 0 -1 4202560 179082 12882 0 0 245395 46 4 3 20 0 17 0 56048224 11379515392 985549 33554432000 4194304 4196468 140730020309712 140385508790992 140385136038156 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19725] ppid=19668 vsize=11112808 memory=3937992 CPUtime=11.35 cores=1,3,5,7
/proc/19671/task/19725/stat : 19725 (java) S 19668 19671 17273 0 -1 1077944384 53757 12882 0 0 1074 54 4 3 20 0 17 0 56048225 11379515392 985549 33554432000 4194304 4196468 140730020309712 140385541216528 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19726] ppid=19668 vsize=11112808 memory=3937992 CPUtime=11.3 cores=1,3,5,7
/proc/19671/task/19726/stat : 19726 (java) S 19668 19671 17273 0 -1 1077944384 48007 12882 0 0 1069 54 4 3 20 0 17 0 56048225 11379515392 985549 33554432000 4194304 4196468 140730020309712 140385440106896 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19727] ppid=19668 vsize=11112808 memory=3937992 CPUtime=11.25 cores=1,3,5,7
/proc/19671/task/19727/stat : 19727 (java) S 19668 19671 17273 0 -1 1077944384 45872 12882 0 0 1063 55 4 3 20 0 17 0 56048225 11379515392 985549 33554432000 4194304 4196468 140730020309712 140385439054352 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19728] ppid=19668 vsize=11112808 memory=3937992 CPUtime=11.3 cores=1,3,5,7
/proc/19671/task/19728/stat : 19728 (java) S 19668 19671 17273 0 -1 1077944384 52000 12882 0 0 1073 50 4 3 20 0 17 0 56048225 11379515392 985549 33554432000 4194304 4196468 140730020309712 140385438001808 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19729] ppid=19668 vsize=11112808 memory=3937992 CPUtime=0.86 cores=1,3,5,7
/proc/19671/task/19729/stat : 19729 (java) S 19668 19671 17273 0 -1 1077944384 27009 12882 0 0 75 4 4 3 20 0 17 0 56048227 11379515392 985549 33554432000 4194304 4196468 140730020309712 140384540301808 140385536985730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 37 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19730] ppid=19668 vsize=11112808 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19730/stat : 19730 (java) S 19668 19671 17273 0 -1 1077944384 78 12882 0 0 0 0 4 3 20 0 17 0 56048227 11379515392 985549 33554432000 4194304 4196468 140730020309712 140384539248160 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19731] ppid=19668 vsize=11112808 memory=3942196 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19731/stat : 19731 (java) S 19668 19671 17273 0 -1 1077944384 55 12882 0 0 0 0 4 3 20 0 17 0 56048227 11379515392 985549 33554432000 4194304 4196468 140730020309712 140384428615168 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19732] ppid=19668 vsize=11112808 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19732/stat : 19732 (java) S 19668 19671 17273 0 -1 1077944384 273 12882 0 0 0 0 4 3 20 0 17 0 56048230 11379515392 985549 33554432000 4194304 4196468 140730020309712 140384121215696 140385536993179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19733] ppid=19668 vsize=11112808 memory=3937992 CPUtime=8.23 cores=1,3,5,7
/proc/19671/task/19733/stat : 19733 (java) S 19668 19671 17273 0 -1 1077944384 57201 12882 0 0 808 8 4 3 20 0 17 0 56048230 11379515392 985549 33554432000 4194304 4196468 140730020309712 140384505690096 140385536985730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19734] ppid=19668 vsize=11112808 memory=3937992 CPUtime=8.38 cores=1,3,5,7
/proc/19671/task/19734/stat : 19734 (java) S 19668 19671 17273 0 -1 1077944384 54458 12882 0 0 825 6 4 3 20 0 17 0 56048230 11379515392 985549 33554432000 4194304 4196468 140730020309712 140384504637552 140385536985730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 42 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19735] ppid=19668 vsize=11112808 memory=4028 CPUtime=2.79 cores=1,3,5,7
/proc/19671/task/19735/stat : 19735 (java) S 19668 19671 17273 0 -1 1077944384 65444 12882 0 0 264 8 4 3 20 0 17 0 56048230 11379515392 985549 33554432000 4194304 4196468 140730020309712 140384503585008 140385536985730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 45 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19736] ppid=19668 vsize=11112808 memory=17948 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/19736/stat : 19736 (java) S 19668 19671 17273 0 -1 1077944384 3 12882 0 0 0 0 4 3 20 0 17 0 56048230 11379515392 985549 33554432000 4194304 4196468 140730020309712 140384087657056 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=19737] ppid=19668 vsize=11112808 memory=1296 CPUtime=1.06 cores=1,3,5,7
/proc/19671/task/19737/stat : 19737 (java) S 19668 19671 17273 0 -1 1077944384 2697 12882 0 0 41 58 4 3 20 0 17 0 56048230 11379515392 985549 33554432000 4194304 4196468 140730020309712 140384502532912 140385536985730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 47 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=20121] ppid=19668 vsize=11112808 memory=11472 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/20121/stat : 20121 (java) S 19668 19671 17273 0 -1 1077944384 318 12882 0 0 0 0 4 3 20 0 17 0 56294886 11379515392 985549 33554432000 4194304 4196468 140730020309712 140383556199024 140385536984789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
[pid=19671/tid=20122] ppid=19668 vsize=11112808 memory=4052 CPUtime=0.07 cores=1,3,5,7
/proc/19671/task/20122/stat : 20122 (java) S 19668 19671 17273 0 -1 1077944384 96 12882 0 0 0 0 4 3 20 0 17 0 56294886 11379515392 985549 33554432000 4194304 4196468 140730020309712 140383421982432 140385536985730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8138752 140730020317355 140730020320604 140730020320604 140730020323279 0
Current children cumulated CPU time: 2520.49 s
Current children cumulated vsize: 11112808 KiB
Current children cumulated memory: 3942196 KiB
Child status: 143
Real time (s): 2467.18
CPU time (s): 2520.58
CPU user time (s): 2517.14
CPU system time (s): 3.43806
CPU usage (%): 102.164
Max. virtual memory (cumulated for all children) (KiB): 11112808
Max. memory (cumulated for all children) (KiB): 3974420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.14
system time used= 3.43806
maximum resident set size= 3974420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 603161
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 65754
involuntary context switches= 1363
# summary of solver processes directly reported to runsolver:
# pid: 19671
# total CPU time (s): 2520.58
# total CPU user time (s): 2517.14
# total CPU system time (s): 3.43806
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.5123 second user time and 25.1273 second system time
The end