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 (9825 MiB free)
memory of node 1: 16384 MiB (12590 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310322-1534333216/watcher-4310322-1534333216 -o /tmp/evaluation-result-4310322-1534333216/solver-4310322-1534333216 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534329093-21607 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1132262774 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310322-1534333216.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=24888, runsolver pid=24885
Current StackSize limit: 8192 KiB
[startup+0.10008 s]*
/proc/loadavg: 1.60 1.67 1.63 4/215 24903
/proc/meminfo: memFree=22937276/32770624 swapFree=67108688/67108860
[pid=24888] ppid=24885 vsize=14082736 memory=32684 CPUtime=0.12 cores=0,2,4,6
/proc/24888/stat : 24888 (java) S 24885 24888 21576 0 -1 1077944320 7110 0 0 0 10 2 0 0 20 0 15 0 250884496 14420721664 8171 33554432000 4194304 4196468 140732764696416 140732764678960 140446957776631 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
/proc/24888/statm: 3520684 8171 3140 1 0 3482761 0
[pid=24888/tid=24890] ppid=24885 vsize=14082736 memory=-6966721798027829888 CPUtime=0.09 cores=0,2,4,6
/proc/24888/task/24890/stat : 24890 (java) R 24885 24888 21576 0 -1 4202560 5189 0 0 0 8 1 0 0 20 0 15 0 250884496 14420721664 8171 33554432000 4194304 4196468 140732764696416 140446962002320 140446941857118 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24891] ppid=24885 vsize=14082736 memory=5793854925138909625 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24891/stat : 24891 (java) S 24885 24888 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250884497 14420721664 8171 33554432000 4194304 4196468 140732764696416 140446910397584 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24892] ppid=24885 vsize=14082736 memory=139674129016448 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24892/stat : 24892 (java) S 24885 24888 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250884497 14420721664 8171 33554432000 4194304 4196468 140732764696416 140446909344784 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24893] ppid=24885 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24893/stat : 24893 (java) S 24885 24888 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250884497 14420721664 8171 33554432000 4194304 4196468 140732764696416 140446908291984 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24894] ppid=24885 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24894/stat : 24894 (java) S 24885 24888 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250884497 14420721664 8171 33554432000 4194304 4196468 140732764696416 140446550649616 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24895] ppid=24885 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24895/stat : 24895 (java) S 24885 24888 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250884499 14420721664 8171 33554432000 4194304 4196468 140732764696416 140445937277296 140446957787778 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24896] ppid=24885 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24896/stat : 24896 (java) S 24885 24888 21576 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250884499 14420721664 8171 33554432000 4194304 4196468 140732764696416 140445936223264 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24897] ppid=24885 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24897/stat : 24897 (java) S 24885 24888 21576 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250884499 14420721664 8171 33554432000 4194304 4196468 140732764696416 140445935170416 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24898] ppid=24885 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24898/stat : 24898 (java) S 24885 24888 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250884501 14420721664 8171 33554432000 4194304 4196468 140732764696416 140445934118736 140446957795227 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24899] ppid=24885 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24899/stat : 24899 (java) S 24885 24888 21576 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 250884502 14420721664 8171 33554432000 4194304 4196468 140732764696416 140445933067120 140446957787778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24900] ppid=24885 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24900/stat : 24900 (java) S 24885 24888 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250884502 14420721664 8171 33554432000 4194304 4196468 140732764696416 140445932014320 140446957787778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24901] ppid=24885 vsize=14082736 memory=139674129016448 CPUtime=0.01 cores=0,2,4,6
/proc/24888/task/24901/stat : 24901 (java) R 24885 24888 21576 0 -1 4202560 243 0 0 0 1 0 0 0 20 0 15 0 250884502 14420721664 8171 33554432000 4194304 4196468 140732764696416 140445930961520 140446936476832 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24902] ppid=24885 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24902/stat : 24902 (java) S 24885 24888 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250884502 14420721664 8171 33554432000 4194304 4196468 140732764696416 140445929908960 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24903] ppid=24885 vsize=14082736 memory=139674129016448 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24903/stat : 24903 (java) S 24885 24888 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250884502 14420721664 8171 33554432000 4194304 4196468 140732764696416 140445928856240 140446957787778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32684 KiB
[startup+0.210364 s]*
/proc/loadavg: 1.60 1.67 1.63 6/215 24903
/proc/meminfo: memFree=22921524/32770624 swapFree=67108688/67108860
[pid=24888] ppid=24885 vsize=14082736 memory=47092 CPUtime=0.3 cores=0,2,4,6
/proc/24888/stat : 24888 (java) S 24885 24888 21576 0 -1 1077944320 10315 0 0 0 27 3 0 0 20 0 15 0 250884496 14420721664 11773 33554432000 4194304 4196468 140732764696416 140732764678960 140446957776631 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
/proc/24888/statm: 3520684 11773 3411 1 0 3482761 0
[pid=24888/tid=24890] ppid=24885 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/24888/task/24890/stat : 24890 (java) R 24885 24888 21576 0 -1 4202560 8027 0 0 0 18 2 0 0 20 0 15 0 250884496 14420721664 11773 33554432000 4194304 4196468 140732764696416 140446962004960 140446936854163 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24891] ppid=24885 vsize=14082736 memory=4211973400333806986 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24891/stat : 24891 (java) S 24885 24888 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250884497 14420721664 11773 33554432000 4194304 4196468 140732764696416 140446910397584 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24892] ppid=24885 vsize=14082736 memory=139674129016448 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24892/stat : 24892 (java) S 24885 24888 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250884497 14420721664 11773 33554432000 4194304 4196468 140732764696416 140446909344784 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24893] ppid=24885 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24893/stat : 24893 (java) S 24885 24888 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250884497 14420721664 11773 33554432000 4194304 4196468 140732764696416 140446908291984 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24894] ppid=24885 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24894/stat : 24894 (java) S 24885 24888 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250884497 14420721664 11773 33554432000 4194304 4196468 140732764696416 140446550649616 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24895] ppid=24885 vsize=14082736 memory=139674129016448 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24895/stat : 24895 (java) S 24885 24888 21576 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250884499 14420721664 11773 33554432000 4194304 4196468 140732764696416 140445937277296 140446957787778 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24896] ppid=24885 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24896/stat : 24896 (java) S 24885 24888 21576 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250884499 14420721664 11773 33554432000 4194304 4196468 140732764696416 140445936223264 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24897] ppid=24885 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24897/stat : 24897 (java) S 24885 24888 21576 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250884499 14420721664 11773 33554432000 4194304 4196468 140732764696416 140445935170416 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24898] ppid=24885 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24898/stat : 24898 (java) S 24885 24888 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250884501 14420721664 11773 33554432000 4194304 4196468 140732764696416 140445934118736 140446957795227 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24899] ppid=24885 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/24888/task/24899/stat : 24899 (java) R 24885 24888 21576 0 -1 1077944384 465 0 0 0 1 0 0 0 20 0 15 0 250884502 14420721664 11773 33554432000 4194304 4196468 140732764696416 140445933067120 140446957787778 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24900] ppid=24885 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/24888/task/24900/stat : 24900 (java) R 24885 24888 21576 0 -1 4202560 142 0 0 0 2 0 0 0 20 0 15 0 250884502 14420721664 11773 33554432000 4194304 4196468 140732764696416 140445932014616 140446943933024 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24901] ppid=24885 vsize=14082736 memory=139674129016448 CPUtime=0.05 cores=0,2,4,6
/proc/24888/task/24901/stat : 24901 (java) R 24885 24888 21576 0 -1 4202560 301 0 0 0 5 0 0 0 20 0 15 0 250884502 14420721664 11773 33554432000 4194304 4196468 140732764696416 140445930961520 140446942024104 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24902] ppid=24885 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24902/stat : 24902 (java) S 24885 24888 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250884502 14420721664 11773 33554432000 4194304 4196468 140732764696416 140445929908960 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24903] ppid=24885 vsize=14082736 memory=139674129016448 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24903/stat : 24903 (java) S 24885 24888 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250884502 14420721664 11773 33554432000 4194304 4196468 140732764696416 140445928856240 140446957787778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47092 KiB
[startup+0.310535 s]*
/proc/loadavg: 1.60 1.67 1.63 3/215 24903
/proc/meminfo: memFree=22918112/32770624 swapFree=67108688/67108860
[pid=24888] ppid=24885 vsize=14082736 memory=50296 CPUtime=0.43 cores=0,2,4,6
/proc/24888/stat : 24888 (java) S 24885 24888 21576 0 -1 1077944320 10711 0 0 0 40 3 0 0 20 0 15 0 250884496 14420721664 12574 33554432000 4194304 4196468 140732764696416 140732764678960 140446957776631 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
/proc/24888/statm: 3520684 12574 3412 1 0 3482761 0
[pid=24888/tid=24890] ppid=24885 vsize=14082736 memory=6735269665583770266 CPUtime=0.29 cores=0,2,4,6
/proc/24888/task/24890/stat : 24890 (java) R 24885 24888 21576 0 -1 4202560 8387 0 0 0 27 2 0 0 20 0 15 0 250884496 14420721664 12574 33554432000 4194304 4196468 140732764696416 140446961970016 140446939340187 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24891] ppid=24885 vsize=14082736 memory=4211973400333806986 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24891/stat : 24891 (java) S 24885 24888 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250884497 14420721664 12574 33554432000 4194304 4196468 140732764696416 140446910397584 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24892] ppid=24885 vsize=14082736 memory=279348143315328 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24892/stat : 24892 (java) S 24885 24888 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250884497 14420721664 12574 33554432000 4194304 4196468 140732764696416 140446909344784 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24893] ppid=24885 vsize=14082736 memory=279348028625408 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24893/stat : 24893 (java) S 24885 24888 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250884497 14420721664 12574 33554432000 4194304 4196468 140732764696416 140446908291984 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24894] ppid=24885 vsize=14082736 memory=139674014298895 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24894/stat : 24894 (java) S 24885 24888 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250884497 14420721664 12574 33554432000 4194304 4196468 140732764696416 140446550649616 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24895] ppid=24885 vsize=14082736 memory=279348143322240 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24895/stat : 24895 (java) S 24885 24888 21576 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250884499 14420721664 12574 33554432000 4194304 4196468 140732764696416 140445937277296 140446957787778 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24896] ppid=24885 vsize=14082736 memory=139674014303503 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24896/stat : 24896 (java) S 24885 24888 21576 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250884499 14420721664 12574 33554432000 4194304 4196468 140732764696416 140445936223264 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24897] ppid=24885 vsize=14082736 memory=139674014327415 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24897/stat : 24897 (java) S 24885 24888 21576 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250884499 14420721664 12574 33554432000 4194304 4196468 140732764696416 140445935170416 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24898] ppid=24885 vsize=14082736 memory=139674014329720 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24898/stat : 24898 (java) S 24885 24888 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250884501 14420721664 12574 33554432000 4194304 4196468 140732764696416 140445934118736 140446957795227 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24899] ppid=24885 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24888/task/24899/stat : 24899 (java) S 24885 24888 21576 0 -1 1077944384 472 0 0 0 2 0 0 0 20 0 15 0 250884502 14420721664 12574 33554432000 4194304 4196468 140732764696416 140445933067120 140446957787778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24900] ppid=24885 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/24888/task/24900/stat : 24900 (java) S 24885 24888 21576 0 -1 1077944384 147 0 0 0 2 0 0 0 20 0 15 0 250884502 14420721664 12574 33554432000 4194304 4196468 140732764696416 140445932014320 140446957787778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24901] ppid=24885 vsize=14082736 memory=139674129016448 CPUtime=0.07 cores=0,2,4,6
/proc/24888/task/24901/stat : 24901 (java) S 24885 24888 21576 0 -1 1077944384 324 0 0 0 7 0 0 0 20 0 15 0 250884502 14420721664 12574 33554432000 4194304 4196468 140732764696416 140445930961520 140446957787778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24902] ppid=24885 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24902/stat : 24902 (java) S 24885 24888 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250884502 14420721664 12574 33554432000 4194304 4196468 140732764696416 140445929908960 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24903] ppid=24885 vsize=14082736 memory=139674129049132 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24903/stat : 24903 (java) S 24885 24888 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250884502 14420721664 12574 33554432000 4194304 4196468 140732764696416 140445928856240 140446957787778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50296 KiB
[startup+0.700749 s]
/proc/loadavg: 1.60 1.67 1.63 4/215 24903
/proc/meminfo: memFree=22896472/32770624 swapFree=67108688/67108860
[pid=24888] ppid=24885 vsize=14084804 memory=88796 CPUtime=0.98 cores=0,2,4,6
/proc/24888/stat : 24888 (java) S 24885 24888 21576 0 -1 1077944320 17571 0 0 0 93 5 0 0 20 0 15 0 250884496 14422839296 22199 33554432000 4194304 4196468 140732764696416 140732764678960 140446957776631 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
/proc/24888/statm: 3521201 22199 3497 1 0 3483273 0
[pid=24888/tid=24890] ppid=24885 vsize=14084804 memory=56 CPUtime=0.67 cores=0,2,4,6
/proc/24888/task/24890/stat : 24890 (java) R 24885 24888 21576 0 -1 4202560 14835 0 0 0 63 4 0 0 20 0 15 0 250884496 14422839296 22199 33554432000 4194304 4196468 140732764696416 140446961991568 140446957798557 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24891] ppid=24885 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24891/stat : 24891 (java) S 24885 24888 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250884497 14422839296 22199 33554432000 4194304 4196468 140732764696416 140446910397584 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24892] ppid=24885 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24892/stat : 24892 (java) S 24885 24888 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250884497 14422839296 22199 33554432000 4194304 4196468 140732764696416 140446909344784 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24893] ppid=24885 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24893/stat : 24893 (java) S 24885 24888 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250884497 14422839296 22199 33554432000 4194304 4196468 140732764696416 140446908291984 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24894] ppid=24885 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24894/stat : 24894 (java) S 24885 24888 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250884497 14422839296 22199 33554432000 4194304 4196468 140732764696416 140446550649616 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24895] ppid=24885 vsize=14084804 memory=748 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24895/stat : 24895 (java) S 24885 24888 21576 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250884499 14422839296 22199 33554432000 4194304 4196468 140732764696416 140445937277296 140446957787778 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24896] ppid=24885 vsize=14084804 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24896/stat : 24896 (java) S 24885 24888 21576 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250884499 14422839296 22199 33554432000 4194304 4196468 140732764696416 140445936223264 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24897] ppid=24885 vsize=14084804 memory=6608 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24897/stat : 24897 (java) S 24885 24888 21576 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250884499 14422839296 22199 33554432000 4194304 4196468 140732764696416 140445935170416 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24898] ppid=24885 vsize=14084804 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24898/stat : 24898 (java) S 24885 24888 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250884501 14422839296 22199 33554432000 4194304 4196468 140732764696416 140445934118736 140446957795227 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24899] ppid=24885 vsize=14084804 memory=4452 CPUtime=0.08 cores=0,2,4,6
/proc/24888/task/24899/stat : 24899 (java) S 24885 24888 21576 0 -1 1077944384 639 0 0 0 8 0 0 0 20 0 15 0 250884502 14422839296 22199 33554432000 4194304 4196468 140732764696416 140445933067120 140446957787778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24900] ppid=24885 vsize=14084804 memory=3732 CPUtime=0.06 cores=0,2,4,6
/proc/24888/task/24900/stat : 24900 (java) S 24885 24888 21576 0 -1 1077944384 286 0 0 0 6 0 0 0 20 0 15 0 250884502 14422839296 22199 33554432000 4194304 4196468 140732764696416 140445932014320 140446957787778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24901] ppid=24885 vsize=14084804 memory=12668 CPUtime=0.15 cores=0,2,4,6
/proc/24888/task/24901/stat : 24901 (java) S 24885 24888 21576 0 -1 1077944384 430 0 0 0 15 0 0 0 20 0 15 0 250884502 14422839296 22199 33554432000 4194304 4196468 140732764696416 140445930961520 140446957787778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24902] ppid=24885 vsize=14084804 memory=1072 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24902/stat : 24902 (java) S 24885 24888 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250884502 14422839296 22199 33554432000 4194304 4196468 140732764696416 140445929908960 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24903] ppid=24885 vsize=14084804 memory=14888 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24903/stat : 24903 (java) S 24885 24888 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250884502 14422839296 22199 33554432000 4194304 4196468 140732764696416 140445928856240 140446957787778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88796 KiB
[startup+1.50115 s]
/proc/loadavg: 1.60 1.67 1.63 3/215 24903
/proc/meminfo: memFree=22860848/32770624 swapFree=67108688/67108860
[pid=24888] ppid=24885 vsize=14090948 memory=186824 CPUtime=3.06 cores=0,2,4,6
/proc/24888/stat : 24888 (java) S 24885 24888 21576 0 -1 1077944320 23910 0 0 0 298 8 0 0 20 0 15 0 250884496 14429130752 46706 33554432000 4194304 4196468 140732764696416 140732764678960 140446957776631 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
/proc/24888/statm: 3522737 46706 3546 1 0 3484809 0
[pid=24888/tid=24890] ppid=24885 vsize=14090948 memory=3868 CPUtime=1.46 cores=0,2,4,6
/proc/24888/task/24890/stat : 24890 (java) R 24885 24888 21576 0 -1 4202560 18214 0 0 0 141 5 0 0 20 0 15 0 250884496 14429130752 46706 33554432000 4194304 4196468 140732764696416 140446962011600 140446593894850 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24891] ppid=24885 vsize=14090948 memory=68452 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24891/stat : 24891 (java) S 24885 24888 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250884497 14429130752 46706 33554432000 4194304 4196468 140732764696416 140446910397584 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24892] ppid=24885 vsize=14090948 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24892/stat : 24892 (java) S 24885 24888 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250884497 14429130752 46706 33554432000 4194304 4196468 140732764696416 140446909344784 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24893] ppid=24885 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24893/stat : 24893 (java) S 24885 24888 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250884497 14429130752 46706 33554432000 4194304 4196468 140732764696416 140446908291984 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24894] ppid=24885 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24894/stat : 24894 (java) S 24885 24888 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250884497 14429130752 46706 33554432000 4194304 4196468 140732764696416 140446550649616 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24895] ppid=24885 vsize=14090948 memory=7379241870439770200 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24895/stat : 24895 (java) S 24885 24888 21576 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 250884499 14429130752 46706 33554432000 4194304 4196468 140732764696416 140445937277296 140446957787778 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
################
# More data... #
################
/proc/24888/task/24890/stat : 24890 (java) R 24885 24888 21576 0 -1 4202560 32248 0 0 0 16046 10 0 0 20 0 15 0 250884496 14431227904 62422 33554432000 4194304 4196468 140732764696416 140446962013952 140446589339852 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24891] ppid=24885 vsize=14092996 memory=0 CPUtime=0.76 cores=0,2,4,6
/proc/24888/task/24891/stat : 24891 (java) S 24885 24888 21576 0 -1 1077944384 2962 0 0 0 69 7 0 0 20 0 15 0 250884497 14431227904 62422 33554432000 4194304 4196468 140732764696416 140446910397584 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24892] ppid=24885 vsize=14092996 memory=239592 CPUtime=0.76 cores=0,2,4,6
/proc/24888/task/24892/stat : 24892 (java) S 24885 24888 21576 0 -1 1077944384 2352 0 0 0 69 7 0 0 20 0 15 0 250884497 14431227904 62422 33554432000 4194304 4196468 140732764696416 140446909344784 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24893] ppid=24885 vsize=14092996 memory=246888 CPUtime=0.75 cores=0,2,4,6
/proc/24888/task/24893/stat : 24893 (java) S 24885 24888 21576 0 -1 1077944384 2224 0 0 0 69 6 0 0 20 0 15 0 250884497 14431227904 62422 33554432000 4194304 4196468 140732764696416 140446908291984 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24894] ppid=24885 vsize=14092996 memory=246852 CPUtime=0.76 cores=0,2,4,6
/proc/24888/task/24894/stat : 24894 (java) S 24885 24888 21576 0 -1 1077944384 2268 0 0 0 68 8 0 0 20 0 15 0 250884497 14431227904 62422 33554432000 4194304 4196468 140732764696416 140446550649616 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24895] ppid=24885 vsize=14092996 memory=246888 CPUtime=0.66 cores=0,2,4,6
/proc/24888/task/24895/stat : 24895 (java) S 24885 24888 21576 0 -1 1077944384 1551 0 0 0 63 3 0 0 20 0 15 0 250884499 14431227904 62422 33554432000 4194304 4196468 140732764696416 140445937277296 140446957787778 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24896] ppid=24885 vsize=14092996 memory=249688 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24896/stat : 24896 (java) S 24885 24888 21576 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 250884499 14431227904 62422 33554432000 4194304 4196468 140732764696416 140445936223328 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24897] ppid=24885 vsize=14092996 memory=246888 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24897/stat : 24897 (java) S 24885 24888 21576 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 250884499 14431227904 62422 33554432000 4194304 4196468 140732764696416 140445935170432 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24898] ppid=24885 vsize=14092996 memory=244260 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24898/stat : 24898 (java) S 24885 24888 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250884501 14431227904 62422 33554432000 4194304 4196468 140732764696416 140445934118736 140446957795227 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24899] ppid=24885 vsize=14092996 memory=244260 CPUtime=3.19 cores=0,2,4,6
/proc/24888/task/24899/stat : 24899 (java) S 24885 24888 21576 0 -1 1077944384 17595 0 0 0 315 4 0 0 20 0 15 0 250884502 14431227904 62422 33554432000 4194304 4196468 140732764696416 140445933067120 140446957787778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24900] ppid=24885 vsize=14092996 memory=249688 CPUtime=2 cores=0,2,4,6
/proc/24888/task/24900/stat : 24900 (java) S 24885 24888 21576 0 -1 1077944384 10005 0 0 0 199 1 0 0 20 0 15 0 250884502 14431227904 62422 33554432000 4194304 4196468 140732764696416 140445932014320 140446957787778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24901] ppid=24885 vsize=14092996 memory=249688 CPUtime=0.93 cores=0,2,4,6
/proc/24888/task/24901/stat : 24901 (java) S 24885 24888 21576 0 -1 1077944384 12388 0 0 0 91 2 0 0 20 0 15 0 250884502 14431227904 62422 33554432000 4194304 4196468 140732764696416 140445930961520 140446957787778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24902] ppid=24885 vsize=14092996 memory=3868 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24902/stat : 24902 (java) S 24885 24888 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250884502 14431227904 62422 33554432000 4194304 4196468 140732764696416 140445929908960 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24903] ppid=24885 vsize=14092996 memory=68452 CPUtime=0.08 cores=0,2,4,6
/proc/24888/task/24903/stat : 24903 (java) S 24885 24888 21576 0 -1 1077944384 1116 0 0 0 4 4 0 0 20 0 15 0 250884502 14431227904 62422 33554432000 4194304 4196468 140732764696416 140445928856240 140446957787778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
Current children cumulated CPU time: 170.55 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 249688 KiB
[startup+222.301 s]
/proc/loadavg: 1.94 1.83 1.71 3/215 24986
/proc/meminfo: memFree=19396828/32770624 swapFree=67108688/67108860
[pid=24888] ppid=24885 vsize=14092996 memory=288144 CPUtime=231.93 cores=0,2,4,6
/proc/24888/stat : 24888 (java) S 24885 24888 21576 0 -1 1077944320 95352 0 0 0 23134 59 0 0 20 0 15 0 250884496 14431227904 72036 33554432000 4194304 4196468 140732764696416 140732764678960 140446957776631 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
/proc/24888/statm: 3523249 72036 3603 1 0 3485321 0
[pid=24888/tid=24890] ppid=24885 vsize=14092996 memory=287968 CPUtime=219.92 cores=0,2,4,6
/proc/24888/task/24890/stat : 24890 (java) R 24885 24888 21576 0 -1 4202560 34413 0 0 0 21980 12 0 0 20 0 15 0 250884496 14431227904 72036 33554432000 4194304 4196468 140732764696416 140446962014624 140446595947228 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24891] ppid=24885 vsize=14092996 memory=288036 CPUtime=1.08 cores=0,2,4,6
/proc/24888/task/24891/stat : 24891 (java) S 24885 24888 21576 0 -1 1077944384 3193 0 0 0 100 8 0 0 20 0 15 0 250884497 14431227904 72036 33554432000 4194304 4196468 140732764696416 140446910397584 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24892] ppid=24885 vsize=14092996 memory=268968 CPUtime=1.07 cores=0,2,4,6
/proc/24888/task/24892/stat : 24892 (java) S 24885 24888 21576 0 -1 1077944384 2894 0 0 0 98 9 0 0 20 0 15 0 250884497 14431227904 72036 33554432000 4194304 4196468 140732764696416 140446909344784 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24893] ppid=24885 vsize=14092996 memory=288144 CPUtime=1.08 cores=0,2,4,6
/proc/24888/task/24893/stat : 24893 (java) S 24885 24888 21576 0 -1 1077944384 2539 0 0 0 101 7 0 0 20 0 15 0 250884497 14431227904 72036 33554432000 4194304 4196468 140732764696416 140446908291984 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24894] ppid=24885 vsize=14092996 memory=288144 CPUtime=1.09 cores=0,2,4,6
/proc/24888/task/24894/stat : 24894 (java) S 24885 24888 21576 0 -1 1077944384 2525 0 0 0 100 9 0 0 20 0 15 0 250884497 14431227904 72036 33554432000 4194304 4196468 140732764696416 140446550649616 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24895] ppid=24885 vsize=14092996 memory=288144 CPUtime=0.89 cores=0,2,4,6
/proc/24888/task/24895/stat : 24895 (java) S 24885 24888 21576 0 -1 1077944384 1825 0 0 0 84 5 0 0 20 0 15 0 250884499 14431227904 72036 33554432000 4194304 4196468 140732764696416 140445937277296 140446957787778 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24896] ppid=24885 vsize=14092996 memory=288144 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24896/stat : 24896 (java) S 24885 24888 21576 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 250884499 14431227904 72036 33554432000 4194304 4196468 140732764696416 140445936223328 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24897] ppid=24885 vsize=14092996 memory=288144 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24897/stat : 24897 (java) S 24885 24888 21576 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 250884499 14431227904 72036 33554432000 4194304 4196468 140732764696416 140445935170432 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24898] ppid=24885 vsize=14092996 memory=288036 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24898/stat : 24898 (java) S 24885 24888 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250884501 14431227904 72036 33554432000 4194304 4196468 140732764696416 140445934118736 140446957795227 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24899] ppid=24885 vsize=14092996 memory=3868 CPUtime=3.49 cores=0,2,4,6
/proc/24888/task/24899/stat : 24899 (java) S 24885 24888 21576 0 -1 1077944384 18737 0 0 0 345 4 0 0 20 0 15 0 250884502 14431227904 72036 33554432000 4194304 4196468 140732764696416 140445933067120 140446957787778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24900] ppid=24885 vsize=14092996 memory=271028 CPUtime=2.15 cores=0,2,4,6
/proc/24888/task/24900/stat : 24900 (java) S 24885 24888 21576 0 -1 1077944384 12773 0 0 0 214 1 0 0 20 0 15 0 250884502 14431227904 72036 33554432000 4194304 4196468 140732764696416 140445932014320 140446957787778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24901] ppid=24885 vsize=14092996 memory=2336 CPUtime=0.96 cores=0,2,4,6
/proc/24888/task/24901/stat : 24901 (java) S 24885 24888 21576 0 -1 1077944384 13872 0 0 0 93 3 0 0 20 0 15 0 250884502 14431227904 72036 33554432000 4194304 4196468 140732764696416 140445930961520 140446957787778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24902] ppid=24885 vsize=14092996 memory=288144 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24902/stat : 24902 (java) S 24885 24888 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250884502 14431227904 72036 33554432000 4194304 4196468 140732764696416 140445929908960 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24903] ppid=24885 vsize=14092996 memory=4452 CPUtime=0.11 cores=0,2,4,6
/proc/24888/task/24903/stat : 24903 (java) S 24885 24888 21576 0 -1 1077944384 1123 0 0 0 5 6 0 0 20 0 15 0 250884502 14431227904 72036 33554432000 4194304 4196468 140732764696416 140445928856240 140446957787778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
Current children cumulated CPU time: 231.93 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 288144 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+242.119 s]
/proc/loadavg: 1.89 1.83 1.71 3/215 24986
/proc/meminfo: memFree=19378396/32770624 swapFree=67108688/67108860
[pid=24888] ppid=24885 vsize=14092996 memory=307468 CPUtime=252.03 cores=0,2,4,6
/proc/24888/stat : 24888 (java) S 24885 24888 21576 0 -1 1077944320 95819 0 0 0 25142 61 0 0 20 0 15 0 250884496 14431227904 76867 33554432000 4194304 4196468 140732764696416 140732764678960 140446957776631 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
/proc/24888/statm: 3523249 76867 3603 1 0 3485321 0
[pid=24888/tid=24890] ppid=24885 vsize=14092996 memory=307328 CPUtime=239.54 cores=0,2,4,6
/proc/24888/task/24890/stat : 24890 (java) R 24885 24888 21576 0 -1 4202560 34711 0 0 0 23942 12 0 0 20 0 15 0 250884496 14431227904 76867 33554432000 4194304 4196468 140732764696416 140446962014512 140446595947364 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24891] ppid=24885 vsize=14092996 memory=307328 CPUtime=1.19 cores=0,2,4,6
/proc/24888/task/24891/stat : 24891 (java) S 24885 24888 21576 0 -1 1077944384 3200 0 0 0 110 9 0 0 20 0 15 0 250884497 14431227904 76867 33554432000 4194304 4196468 140732764696416 140446910397584 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24892] ppid=24885 vsize=14092996 memory=307328 CPUtime=1.17 cores=0,2,4,6
/proc/24888/task/24892/stat : 24892 (java) S 24885 24888 21576 0 -1 1077944384 2950 0 0 0 108 9 0 0 20 0 15 0 250884497 14431227904 76867 33554432000 4194304 4196468 140732764696416 140446909344784 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24893] ppid=24885 vsize=14092996 memory=307328 CPUtime=1.17 cores=0,2,4,6
/proc/24888/task/24893/stat : 24893 (java) S 24885 24888 21576 0 -1 1077944384 2589 0 0 0 110 7 0 0 20 0 15 0 250884497 14431227904 76867 33554432000 4194304 4196468 140732764696416 140446908291984 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24894] ppid=24885 vsize=14092996 memory=290292 CPUtime=1.18 cores=0,2,4,6
/proc/24888/task/24894/stat : 24894 (java) S 24885 24888 21576 0 -1 1077944384 2555 0 0 0 109 9 0 0 20 0 15 0 250884497 14431227904 76867 33554432000 4194304 4196468 140732764696416 140446550649616 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24895] ppid=24885 vsize=14092996 memory=290292 CPUtime=0.96 cores=0,2,4,6
/proc/24888/task/24895/stat : 24895 (java) S 24885 24888 21576 0 -1 1077944384 1827 0 0 0 91 5 0 0 20 0 15 0 250884499 14431227904 76867 33554432000 4194304 4196468 140732764696416 140445937277296 140446957787778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24896] ppid=24885 vsize=14092996 memory=288244 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24896/stat : 24896 (java) S 24885 24888 21576 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 250884499 14431227904 76867 33554432000 4194304 4196468 140732764696416 140445936223328 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24897] ppid=24885 vsize=14092996 memory=307328 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24897/stat : 24897 (java) S 24885 24888 21576 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 250884499 14431227904 76867 33554432000 4194304 4196468 140732764696416 140445935170432 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24898] ppid=24885 vsize=14092996 memory=307328 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24898/stat : 24898 (java) S 24885 24888 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250884501 14431227904 76867 33554432000 4194304 4196468 140732764696416 140445934118736 140446957795227 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24899] ppid=24885 vsize=14092996 memory=307328 CPUtime=3.49 cores=0,2,4,6
/proc/24888/task/24899/stat : 24899 (java) S 24885 24888 21576 0 -1 1077944384 18737 0 0 0 345 4 0 0 20 0 15 0 250884502 14431227904 76867 33554432000 4194304 4196468 140732764696416 140445933067120 140446957787778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24900] ppid=24885 vsize=14092996 memory=12668 CPUtime=2.15 cores=0,2,4,6
/proc/24888/task/24900/stat : 24900 (java) S 24885 24888 21576 0 -1 1077944384 12773 0 0 0 214 1 0 0 20 0 15 0 250884502 14431227904 76867 33554432000 4194304 4196468 140732764696416 140445932014320 140446957787778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24901] ppid=24885 vsize=14092996 memory=307328 CPUtime=0.96 cores=0,2,4,6
/proc/24888/task/24901/stat : 24901 (java) S 24885 24888 21576 0 -1 1077944384 13894 0 0 0 93 3 0 0 20 0 15 0 250884502 14431227904 76867 33554432000 4194304 4196468 140732764696416 140445930961520 140446957787778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24902] ppid=24885 vsize=14092996 memory=3868 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24902/stat : 24902 (java) S 24885 24888 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250884502 14431227904 76867 33554432000 4194304 4196468 140732764696416 140445929908960 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24903] ppid=24885 vsize=14092996 memory=3316 CPUtime=0.12 cores=0,2,4,6
/proc/24888/task/24903/stat : 24903 (java) S 24885 24888 21576 0 -1 1077944384 1125 0 0 0 5 7 0 0 20 0 15 0 250884502 14431227904 76867 33554432000 4194304 4196468 140732764696416 140445928856240 140446957787778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 307468 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+242.146 s]
# the end of solver process 24888 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.44 s, system=0.62778 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+242.119 s]
/proc/loadavg: 1.89 1.83 1.71 3/215 24986
/proc/meminfo: memFree=19378396/32770624 swapFree=67108688/67108860
[pid=24888] ppid=24885 vsize=14092996 memory=307468 CPUtime=252.03 cores=0,2,4,6
/proc/24888/stat : 24888 (java) S 24885 24888 21576 0 -1 1077944320 95819 0 0 0 25142 61 0 0 20 0 15 0 250884496 14431227904 76867 33554432000 4194304 4196468 140732764696416 140732764678960 140446957776631 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
/proc/24888/statm: 3523249 76867 3603 1 0 3485321 0
[pid=24888/tid=24890] ppid=24885 vsize=14092996 memory=307328 CPUtime=239.54 cores=0,2,4,6
/proc/24888/task/24890/stat : 24890 (java) R 24885 24888 21576 0 -1 4202560 34711 0 0 0 23942 12 0 0 20 0 15 0 250884496 14431227904 76867 33554432000 4194304 4196468 140732764696416 140446962014512 140446595947364 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24891] ppid=24885 vsize=14092996 memory=307328 CPUtime=1.19 cores=0,2,4,6
/proc/24888/task/24891/stat : 24891 (java) S 24885 24888 21576 0 -1 1077944384 3200 0 0 0 110 9 0 0 20 0 15 0 250884497 14431227904 76867 33554432000 4194304 4196468 140732764696416 140446910397584 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24892] ppid=24885 vsize=14092996 memory=307328 CPUtime=1.17 cores=0,2,4,6
/proc/24888/task/24892/stat : 24892 (java) S 24885 24888 21576 0 -1 1077944384 2950 0 0 0 108 9 0 0 20 0 15 0 250884497 14431227904 76867 33554432000 4194304 4196468 140732764696416 140446909344784 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24893] ppid=24885 vsize=14092996 memory=307328 CPUtime=1.17 cores=0,2,4,6
/proc/24888/task/24893/stat : 24893 (java) S 24885 24888 21576 0 -1 1077944384 2589 0 0 0 110 7 0 0 20 0 15 0 250884497 14431227904 76867 33554432000 4194304 4196468 140732764696416 140446908291984 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24894] ppid=24885 vsize=14092996 memory=290292 CPUtime=1.18 cores=0,2,4,6
/proc/24888/task/24894/stat : 24894 (java) S 24885 24888 21576 0 -1 1077944384 2555 0 0 0 109 9 0 0 20 0 15 0 250884497 14431227904 76867 33554432000 4194304 4196468 140732764696416 140446550649616 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24895] ppid=24885 vsize=14092996 memory=290292 CPUtime=0.96 cores=0,2,4,6
/proc/24888/task/24895/stat : 24895 (java) S 24885 24888 21576 0 -1 1077944384 1827 0 0 0 91 5 0 0 20 0 15 0 250884499 14431227904 76867 33554432000 4194304 4196468 140732764696416 140445937277296 140446957787778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24896] ppid=24885 vsize=14092996 memory=288244 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24896/stat : 24896 (java) S 24885 24888 21576 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 250884499 14431227904 76867 33554432000 4194304 4196468 140732764696416 140445936223328 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24897] ppid=24885 vsize=14092996 memory=307328 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24897/stat : 24897 (java) S 24885 24888 21576 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 250884499 14431227904 76867 33554432000 4194304 4196468 140732764696416 140445935170432 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24898] ppid=24885 vsize=14092996 memory=307328 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24898/stat : 24898 (java) S 24885 24888 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250884501 14431227904 76867 33554432000 4194304 4196468 140732764696416 140445934118736 140446957795227 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24899] ppid=24885 vsize=14092996 memory=307328 CPUtime=3.49 cores=0,2,4,6
/proc/24888/task/24899/stat : 24899 (java) S 24885 24888 21576 0 -1 1077944384 18737 0 0 0 345 4 0 0 20 0 15 0 250884502 14431227904 76867 33554432000 4194304 4196468 140732764696416 140445933067120 140446957787778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24900] ppid=24885 vsize=14092996 memory=12668 CPUtime=2.15 cores=0,2,4,6
/proc/24888/task/24900/stat : 24900 (java) S 24885 24888 21576 0 -1 1077944384 12773 0 0 0 214 1 0 0 20 0 15 0 250884502 14431227904 76867 33554432000 4194304 4196468 140732764696416 140445932014320 140446957787778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24901] ppid=24885 vsize=14092996 memory=307328 CPUtime=0.96 cores=0,2,4,6
/proc/24888/task/24901/stat : 24901 (java) S 24885 24888 21576 0 -1 1077944384 13894 0 0 0 93 3 0 0 20 0 15 0 250884502 14431227904 76867 33554432000 4194304 4196468 140732764696416 140445930961520 140446957787778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24902] ppid=24885 vsize=14092996 memory=3868 CPUtime=0 cores=0,2,4,6
/proc/24888/task/24902/stat : 24902 (java) S 24885 24888 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250884502 14431227904 76867 33554432000 4194304 4196468 140732764696416 140445929908960 140446957786837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
[pid=24888/tid=24903] ppid=24885 vsize=14092996 memory=3316 CPUtime=0.12 cores=0,2,4,6
/proc/24888/task/24903/stat : 24903 (java) S 24885 24888 21576 0 -1 1077944384 1125 0 0 0 5 7 0 0 20 0 15 0 250884502 14431227904 76867 33554432000 4194304 4196468 140732764696416 140445928856240 140446957787778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36466688 140732764697690 140732764697870 140732764697870 140732764700623 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 307468 KiB
Child status: 143
Real time (s): 242.146
CPU time (s): 252.067
CPU user time (s): 251.44
CPU system time (s): 0.62778
CPU usage (%): 104.097
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 354408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.44
system time used= 0.62778
maximum resident set size= 354420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96123
page faults= 0
swaps= 0
block input operations= 0
block output operations= 432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33927
involuntary context switches= 780
# summary of solver processes directly reported to runsolver:
# pid: 24888
# total CPU time (s): 252.067
# total CPU user time (s): 251.44
# total CPU system time (s): 0.62778
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.48392 second user time and 2.26394 second system time
The end