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 (15260 MiB free)
memory of node 1: 16384 MiB (13750 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392243-1568312095/watcher-4392243-1568312095 -o /tmp/evaluation-result-4392243-1568312095/solver-4392243-1568312095 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568301260-5609 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=193858785 HOME/instance-4392243-1568312095.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=8825, runsolver pid=8822
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 1.27 1.38 1.44 3/215 8878
/proc/meminfo: memFree=29703296/32770624 swapFree=66999752/67108860
[pid=8825] ppid=8822 vsize=9972712 memory=18328 CPUtime=0.09 cores=0,2,4,6
/proc/8825/stat : 8825 (java) S 8822 8825 5578 0 -1 1077944320 4297 13265 0 0 1 0 5 3 20 0 6 0 407123539 10212057088 4582 33554432000 4194304 4196468 140722663718320 140722663700864 139868005232375 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
/proc/8825/statm: 2493178 4582 1931 1 0 2481616 0
[pid=8825/tid=8878] ppid=8822 vsize=9972712 memory=8514726395714820750 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8878/stat : 8878 (java) R 8822 8825 5578 0 -1 4202560 2100 13265 0 0 0 0 5 3 20 0 6 0 407123548 10212057088 4582 33554432000 4194304 4196468 140722663718320 139867977069136 139868005254301 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8879] ppid=8822 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8879/stat : 8879 (java) S 8822 8825 5578 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 6 0 407123549 10212057088 4582 33554432000 4194304 4196468 140722663718320 139868009475088 139868005242581 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8880] ppid=8822 vsize=9972712 memory=139770826106496 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8880/stat : 8880 (java) S 8822 8825 5578 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 6 0 407123549 10212057088 4582 33554432000 4194304 4196468 140722663718320 139867897748624 139868005242581 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8881] ppid=8822 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8881/stat : 8881 (java) S 8822 8825 5578 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 6 0 407123549 10212057088 4582 33554432000 4194304 4196468 140722663718320 139867896695568 139868005242581 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8882] ppid=8822 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8882/stat : 8882 (java) S 8822 8825 5578 0 -1 1077944384 2 13265 0 0 0 0 5 3 20 0 6 0 407123549 10212057088 4582 33554432000 4194304 4196468 140722663718320 139867895643024 139868005242581 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18328 KiB
[startup+0.210793 s]*
/proc/loadavg: 1.27 1.38 1.44 3/228 8891
/proc/meminfo: memFree=29682064/32770624 swapFree=66999752/67108860
[pid=8825] ppid=8822 vsize=10818940 memory=37728 CPUtime=0.26 cores=0,2,4,6
/proc/8825/stat : 8825 (java) S 8822 8825 5578 0 -1 1077944320 6713 13265 0 0 16 2 5 3 20 0 15 0 407123539 11078594560 9432 33554432000 4194304 4196468 140722663718320 140722663700864 139868005232375 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
/proc/8825/statm: 2704735 9432 2986 1 0 2667149 0
[pid=8825/tid=8878] ppid=8822 vsize=10818940 memory=5450916389569530688 CPUtime=0.19 cores=0,2,4,6
/proc/8825/task/8878/stat : 8878 (java) R 8822 8825 5578 0 -1 4202560 3241 13265 0 0 10 1 5 3 20 0 15 0 407123548 11078594560 9441 33554432000 4194304 4196468 140722663718320 139867977068256 139867989312862 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8879] ppid=8822 vsize=10818940 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8879/stat : 8879 (java) S 8822 8825 5578 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 407123549 11078594560 9441 33554432000 4194304 4196468 140722663718320 139868009475088 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8880] ppid=8822 vsize=10818940 memory=139770826106496 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8880/stat : 8880 (java) S 8822 8825 5578 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 407123549 11078594560 9441 33554432000 4194304 4196468 140722663718320 139867897748624 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8881] ppid=8822 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8881/stat : 8881 (java) S 8822 8825 5578 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 407123549 11078594560 9441 33554432000 4194304 4196468 140722663718320 139867896695568 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8882] ppid=8822 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8882/stat : 8882 (java) S 8822 8825 5578 0 -1 1077944384 2 13265 0 0 0 0 5 3 20 0 15 0 407123549 11078594560 9441 33554432000 4194304 4196468 140722663718320 139867895643024 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8883] ppid=8822 vsize=10818940 memory=139770826106496 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8883/stat : 8883 (java) S 8822 8825 5578 0 -1 1077944384 2 13265 0 0 0 0 5 3 20 0 15 0 407123550 11078594560 9441 33554432000 4194304 4196468 140722663718320 139867464587504 139868005243522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8884] ppid=8822 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8884/stat : 8884 (java) S 8822 8825 5578 0 -1 1077944384 33 13265 0 0 0 0 5 3 20 0 15 0 407123550 11078594560 9441 33554432000 4194304 4196468 140722663718320 139867463533728 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8885] ppid=8822 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8885/stat : 8885 (java) S 8822 8825 5578 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 407123551 11078594560 9441 33554432000 4194304 4196468 140722663718320 139866885055216 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8886] ppid=8822 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8886/stat : 8886 (java) S 8822 8825 5578 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 407123553 11078594560 9441 33554432000 4194304 4196468 140722663718320 139866577655760 139868005250971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8887] ppid=8822 vsize=10818940 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/8825/task/8887/stat : 8887 (java) S 8822 8825 5578 0 -1 1077944384 470 13265 0 0 1 0 5 3 20 0 15 0 407123553 11078594560 9441 33554432000 4194304 4196468 140722663718320 139867429976816 139868005243522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8888] ppid=8822 vsize=10818940 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/8825/task/8888/stat : 8888 (java) S 8822 8825 5578 0 -1 1077944384 142 13265 0 0 1 0 5 3 20 0 15 0 407123553 11078594560 9441 33554432000 4194304 4196468 140722663718320 139867428924272 139868005243522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8889] ppid=8822 vsize=10818940 memory=139770826106496 CPUtime=0.11 cores=0,2,4,6
/proc/8825/task/8889/stat : 8889 (java) S 8822 8825 5578 0 -1 1077944384 628 13265 0 0 3 0 5 3 20 0 15 0 407123553 11078594560 9441 33554432000 4194304 4196468 140722663718320 139867427871216 139868005243522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8890] ppid=8822 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8890/stat : 8890 (java) S 8822 8825 5578 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 407123554 11078594560 9441 33554432000 4194304 4196468 140722663718320 139866544098144 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8891] ppid=8822 vsize=10818940 memory=139770826106496 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8891/stat : 8891 (java) S 8822 8825 5578 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 407123554 11078594560 9441 33554432000 4194304 4196468 140722663718320 139867426818608 139868005243522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 37728 KiB
[startup+0.315425 s]*
/proc/loadavg: 1.27 1.38 1.44 4/228 8891
/proc/meminfo: memFree=29670660/32770624 swapFree=66999752/67108860
[pid=8825] ppid=8822 vsize=10820096 memory=50144 CPUtime=0.41 cores=0,2,4,6
/proc/8825/stat : 8825 (java) S 8822 8825 5578 0 -1 1077944320 10250 13265 0 0 29 4 5 3 20 0 15 0 407123539 11079778304 12536 33554432000 4194304 4196468 140722663718320 140722663700864 139868005232375 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
/proc/8825/statm: 2705024 12536 3240 1 0 2667149 0
[pid=8825/tid=8878] ppid=8822 vsize=10820096 memory=1398722017469774279 CPUtime=0.29 cores=0,2,4,6
/proc/8825/task/8878/stat : 8878 (java) R 8822 8825 5578 0 -1 4202560 6743 13265 0 0 19 2 5 3 20 0 15 0 407123548 11079778304 12536 33554432000 4194304 4196468 140722663718320 139867977044816 139868005244310 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8879] ppid=8822 vsize=10820096 memory=7372798741145284967 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8879/stat : 8879 (java) S 8822 8825 5578 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 407123549 11079778304 12536 33554432000 4194304 4196468 140722663718320 139868009475088 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8880] ppid=8822 vsize=10820096 memory=5788339726952981056 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8880/stat : 8880 (java) S 8822 8825 5578 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 407123549 11079778304 12536 33554432000 4194304 4196468 140722663718320 139867897748624 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8881] ppid=8822 vsize=10820096 memory=7019606858725084872 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8881/stat : 8881 (java) S 8822 8825 5578 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 407123549 11079778304 12536 33554432000 4194304 4196468 140722663718320 139867896695568 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8882] ppid=8822 vsize=10820096 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8882/stat : 8882 (java) S 8822 8825 5578 0 -1 1077944384 2 13265 0 0 0 0 5 3 20 0 15 0 407123549 11079778304 12536 33554432000 4194304 4196468 140722663718320 139867895643024 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8883] ppid=8822 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8883/stat : 8883 (java) S 8822 8825 5578 0 -1 1077944384 2 13265 0 0 0 0 5 3 20 0 15 0 407123550 11079778304 12536 33554432000 4194304 4196468 140722663718320 139867464587504 139868005243522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8884] ppid=8822 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8884/stat : 8884 (java) S 8822 8825 5578 0 -1 1077944384 33 13265 0 0 0 0 5 3 20 0 15 0 407123550 11079778304 12536 33554432000 4194304 4196468 140722663718320 139867463533728 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8885] ppid=8822 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8885/stat : 8885 (java) S 8822 8825 5578 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 407123551 11079778304 12536 33554432000 4194304 4196468 140722663718320 139866885055216 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8886] ppid=8822 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8886/stat : 8886 (java) S 8822 8825 5578 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 407123553 11079778304 12536 33554432000 4194304 4196468 140722663718320 139866577655760 139868005250971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8887] ppid=8822 vsize=10820096 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/8825/task/8887/stat : 8887 (java) S 8822 8825 5578 0 -1 1077944384 471 13265 0 0 1 0 5 3 20 0 15 0 407123553 11079778304 12536 33554432000 4194304 4196468 140722663718320 139867429976816 139868005243522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8888] ppid=8822 vsize=10820096 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/8825/task/8888/stat : 8888 (java) S 8822 8825 5578 0 -1 1077944384 143 13265 0 0 1 0 5 3 20 0 15 0 407123553 11079778304 12536 33554432000 4194304 4196468 140722663718320 139867428924272 139868005243522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8889] ppid=8822 vsize=10820096 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/8825/task/8889/stat : 8889 (java) S 8822 8825 5578 0 -1 1077944384 642 13265 0 0 5 0 5 3 20 0 15 0 407123553 11079778304 12536 33554432000 4194304 4196468 140722663718320 139867427871216 139868005243522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8890] ppid=8822 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8890/stat : 8890 (java) S 8822 8825 5578 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 407123554 11079778304 12536 33554432000 4194304 4196468 140722663718320 139866544098144 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8891] ppid=8822 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8891/stat : 8891 (java) S 8822 8825 5578 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 407123554 11079778304 12536 33554432000 4194304 4196468 140722663718320 139867426818608 139868005243522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 50144 KiB
[startup+0.703358 s]
/proc/loadavg: 1.27 1.38 1.44 6/228 8891
/proc/meminfo: memFree=29658500/32770624 swapFree=66999752/67108860
[pid=8825] ppid=8822 vsize=10824340 memory=79596 CPUtime=1.16 cores=0,2,4,6
/proc/8825/stat : 8825 (java) S 8822 8825 5578 0 -1 1077944320 14108 13265 0 0 102 6 5 3 20 0 15 0 407123539 11084124160 19899 33554432000 4194304 4196468 140722663718320 140722663700864 139868005232375 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
/proc/8825/statm: 2706085 19899 3508 1 0 2668173 0
[pid=8825/tid=8878] ppid=8822 vsize=10824340 memory=2241 CPUtime=0.67 cores=0,2,4,6
/proc/8825/task/8878/stat : 8878 (java) R 8822 8825 5578 0 -1 4202560 9831 13265 0 0 55 4 5 3 20 0 15 0 407123548 11084124160 19899 33554432000 4194304 4196468 140722663718320 139867977059696 139867990399625 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8879] ppid=8822 vsize=10824340 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8879/stat : 8879 (java) S 8822 8825 5578 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 407123549 11084124160 19899 33554432000 4194304 4196468 140722663718320 139868009475088 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8880] ppid=8822 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8880/stat : 8880 (java) S 8822 8825 5578 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 407123549 11084124160 19899 33554432000 4194304 4196468 140722663718320 139867897748624 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8881] ppid=8822 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8881/stat : 8881 (java) S 8822 8825 5578 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 407123549 11084124160 19899 33554432000 4194304 4196468 140722663718320 139867896695568 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8882] ppid=8822 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8882/stat : 8882 (java) S 8822 8825 5578 0 -1 1077944384 2 13265 0 0 0 0 5 3 20 0 15 0 407123549 11084124160 19899 33554432000 4194304 4196468 140722663718320 139867895643024 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8883] ppid=8822 vsize=10824340 memory=6944652177228980320 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8883/stat : 8883 (java) S 8822 8825 5578 0 -1 1077944384 5 13265 0 0 0 0 5 3 20 0 15 0 407123550 11084124160 19899 33554432000 4194304 4196468 140722663718320 139867464587504 139868005243522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8884] ppid=8822 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8884/stat : 8884 (java) S 8822 8825 5578 0 -1 1077944384 33 13265 0 0 0 0 5 3 20 0 15 0 407123550 11084124160 19899 33554432000 4194304 4196468 140722663718320 139867463533728 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8885] ppid=8822 vsize=10824340 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8885/stat : 8885 (java) S 8822 8825 5578 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 407123551 11084124160 19899 33554432000 4194304 4196468 140722663718320 139866885055216 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8886] ppid=8822 vsize=10824340 memory=6944656592455097440 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8886/stat : 8886 (java) S 8822 8825 5578 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 407123553 11084124160 19899 33554432000 4194304 4196468 140722663718320 139866577655760 139868005250971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8887] ppid=8822 vsize=10824340 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/8825/task/8887/stat : 8887 (java) S 8822 8825 5578 0 -1 1077944384 801 13265 0 0 14 0 5 3 20 0 15 0 407123553 11084124160 19899 33554432000 4194304 4196468 140722663718320 139867429976816 139868005243522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8888] ppid=8822 vsize=10824340 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/8825/task/8888/stat : 8888 (java) S 8822 8825 5578 0 -1 1077944384 441 13265 0 0 13 0 5 3 20 0 15 0 407123553 11084124160 19899 33554432000 4194304 4196468 140722663718320 139867428924272 139868005243522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8889] ppid=8822 vsize=10824340 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/8825/task/8889/stat : 8889 (java) S 8822 8825 5578 0 -1 1077944384 778 13265 0 0 17 0 5 3 20 0 15 0 407123553 11084124160 19899 33554432000 4194304 4196468 140722663718320 139867427871216 139868005243522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8890] ppid=8822 vsize=10824340 memory=139770718095344 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8890/stat : 8890 (java) S 8822 8825 5578 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 407123554 11084124160 19899 33554432000 4194304 4196468 140722663718320 139866544098144 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8891] ppid=8822 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8891/stat : 8891 (java) S 8822 8825 5578 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 407123554 11084124160 19899 33554432000 4194304 4196468 140722663718320 139867426818608 139868005243522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 79596 KiB
[startup+1.50076 s]
/proc/loadavg: 1.27 1.38 1.44 4/228 8891
/proc/meminfo: memFree=29612528/32770624 swapFree=66999752/67108860
[pid=8825] ppid=8822 vsize=10834656 memory=180112 CPUtime=2.81 cores=0,2,4,6
/proc/8825/stat : 8825 (java) S 8822 8825 5578 0 -1 1077944320 21577 13265 0 0 262 11 5 3 20 0 15 0 407123539 11094687744 45028 33554432000 4194304 4196468 140722663718320 140722663700864 139868005232375 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
/proc/8825/statm: 2708664 45028 3582 1 0 2670733 0
[pid=8825/tid=8878] ppid=8822 vsize=10834656 memory=26 CPUtime=1.43 cores=0,2,4,6
/proc/8825/task/8878/stat : 8878 (java) R 8822 8825 5578 0 -1 4202560 14373 13265 0 0 129 6 5 3 20 0 15 0 407123548 11094687744 45028 33554432000 4194304 4196468 140722663718320 139867977060848 139867989276005 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8879] ppid=8822 vsize=10834656 memory=32 CPUtime=0.09 cores=0,2,4,6
/proc/8825/task/8879/stat : 8879 (java) S 8822 8825 5578 0 -1 1077944384 48 13265 0 0 1 0 5 3 20 0 15 0 407123549 11094687744 45028 33554432000 4194304 4196468 140722663718320 139868009475088 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8880] ppid=8822 vsize=10834656 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/8825/task/8880/stat : 8880 (java) S 8822 8825 5578 0 -1 1077944384 69 13265 0 0 1 0 5 3 20 0 15 0 407123549 11094687744 45028 33554432000 4194304 4196468 140722663718320 139867897748624 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8881] ppid=8822 vsize=10834656 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/8825/task/8881/stat : 8881 (java) S 8822 8825 5578 0 -1 1077944384 43 13265 0 0 1 0 5 3 20 0 15 0 407123549 11094687744 45028 33554432000 4194304 4196468 140722663718320 139867896695568 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8882] ppid=8822 vsize=10834656 memory=99660 CPUtime=0.09 cores=0,2,4,6
/proc/8825/task/8882/stat : 8882 (java) S 8822 8825 5578 0 -1 1077944384 328 13265 0 0 1 0 5 3 20 0 15 0 407123549 11094687744 45028 33554432000 4194304 4196468 140722663718320 139867895643024 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8883] ppid=8822 vsize=10834656 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/8825/task/8883/stat : 8883 (java) S 8822 8825 5578 0 -1 1077944384 95 13265 0 0 1 0 5 3 20 0 15 0 407123550 11094687744 45028 33554432000 4194304 4196468 140722663718320 139867464587504 139868005243522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8884] ppid=8822 vsize=10834656 memory=7014751519717741926 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8884/stat : 8884 (java) S 8822 8825 5578 0 -1 1077944384 34 13265 0 0 0 0 5 3 20 0 15 0 407123550 11094687744 45028 33554432000 4194304 4196468 140722663718320 139867463533792 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8885] ppid=8822 vsize=10834656 memory=7302988561826473561 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8885/stat : 8885 (java) S 8822 8825 5578 0 -1 1077944384 2 13265 0 0 0 0 5 3 20 0 15 0 407123551 11094687744 45028 33554432000 4194304 4196468 140722663718320 139866885055232 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8886] ppid=8822 vsize=10834656 memory=7885079921596786028 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8886/stat : 8886 (java) S 8822 8825 5578 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 407123553 11094687744 45028 33554432000 4194304 4196468 140722663718320 139866577655760 139868005250971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8887] ppid=8822 vsize=10834656 memory=5571041044932352101 CPUtime=0.45 cores=0,2,4,6
/proc/8825/task/8887/stat : 8887 (java) S 8822 8825 5578 0 -1 1077944384 1275 13265 0 0 37 0 5 3 20 0 15 0 407123553 11094687744 45028 33554432000 4194304 4196468 140722663718320 139867429976816 139868005243522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8888] ppid=8822 vsize=10834656 memory=7737865188466975844 CPUtime=0.51 cores=0,2,4,6
/proc/8825/task/8888/stat : 8888 (java) S 8822 8825 5578 0 -1 1077944384 1497 13265 0 0 43 0 5 3 20 0 15 0 407123553 11094687744 45028 33554432000 4194304 4196468 140722663718320 139867428924272 139868005243522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8889] ppid=8822 vsize=10834656 memory=7014751519717741926 CPUtime=0.51 cores=0,2,4,6
/proc/8825/task/8889/stat : 8889 (java) S 8822 8825 5578 0 -1 1077944384 1600 13265 0 0 43 0 5 3 20 0 15 0 407123553 11094687744 45028 33554432000 4194304 4196468 140722663718320 139867427871216 139868005243522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8890] ppid=8822 vsize=10834656 memory=7014751519717741926 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8890/stat : 8890 (java) S 8822 8825 5578 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 407123554 11094687744 45028 33554432000 4194304 4196468 140722663718320 139866544098144 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8891] ppid=8822 vsize=10834656 memory=55 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8891/stat : 8891 (java) S 8822 8825 5578 0 -1 1077944384 1 13265 0 0 0 0 5 3 20 0 15 0 407123554 11094687744 45028 33554432000 4194304 4196468 140722663718320 139867426818608 139868005243522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 10834656 KiB
################
# More data... #
################
/proc/8825/task/8878/stat : 8878 (java) R 8822 8825 5578 0 -1 4202560 69779 13265 0 0 223845 44 5 3 20 0 15 0 407123548 11107291136 275769 33554432000 4194304 4196468 140722663718320 139867977067792 139867573950762 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8879] ppid=8822 vsize=10846964 memory=1103076 CPUtime=12.99 cores=0,2,4,6
/proc/8825/task/8879/stat : 8879 (java) S 8822 8825 5578 0 -1 1077944384 17010 13265 0 0 1240 51 5 3 20 0 15 0 407123549 11107291136 275769 33554432000 4194304 4196468 140722663718320 139868009475088 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8880] ppid=8822 vsize=10846964 memory=1103076 CPUtime=12.98 cores=0,2,4,6
/proc/8825/task/8880/stat : 8880 (java) S 8822 8825 5578 0 -1 1077944384 23106 13265 0 0 1240 50 5 3 20 0 15 0 407123549 11107291136 275769 33554432000 4194304 4196468 140722663718320 139867897748624 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8881] ppid=8822 vsize=10846964 memory=1103076 CPUtime=12.97 cores=0,2,4,6
/proc/8825/task/8881/stat : 8881 (java) S 8822 8825 5578 0 -1 1077944384 18792 13265 0 0 1244 45 5 3 20 0 15 0 407123549 11107291136 275769 33554432000 4194304 4196468 140722663718320 139867896695568 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8882] ppid=8822 vsize=10846964 memory=3616 CPUtime=12.99 cores=0,2,4,6
/proc/8825/task/8882/stat : 8882 (java) S 8822 8825 5578 0 -1 1077944384 24259 13265 0 0 1244 47 5 3 20 0 15 0 407123549 11107291136 275769 33554432000 4194304 4196468 140722663718320 139867895643024 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8883] ppid=8822 vsize=10846964 memory=33388 CPUtime=8.63 cores=0,2,4,6
/proc/8825/task/8883/stat : 8883 (java) S 8822 8825 5578 0 -1 1077944384 17710 13265 0 0 815 40 5 3 20 0 15 0 407123550 11107291136 275769 33554432000 4194304 4196468 140722663718320 139867464587504 139868005243522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8884] ppid=8822 vsize=10846964 memory=1103076 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8884/stat : 8884 (java) S 8822 8825 5578 0 -1 1077944384 40 13265 0 0 0 0 5 3 20 0 15 0 407123550 11107291136 275769 33554432000 4194304 4196468 140722663718320 139867463533792 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8885] ppid=8822 vsize=10846964 memory=1101028 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8885/stat : 8885 (java) S 8822 8825 5578 0 -1 1077944384 24 13265 0 0 0 0 5 3 20 0 15 0 407123551 11107291136 275769 33554432000 4194304 4196468 140722663718320 139866885055232 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8886] ppid=8822 vsize=10846964 memory=1556 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8886/stat : 8886 (java) S 8822 8825 5578 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 407123553 11107291136 275769 33554432000 4194304 4196468 140722663718320 139866577655760 139868005250971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8887] ppid=8822 vsize=10846964 memory=1056 CPUtime=5.26 cores=0,2,4,6
/proc/8825/task/8887/stat : 8887 (java) S 8822 8825 5578 0 -1 1077944384 23842 13265 0 0 513 5 5 3 20 0 15 0 407123553 11107291136 275769 33554432000 4194304 4196468 140722663718320 139867429976816 139868005243522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8888] ppid=8822 vsize=10846964 memory=1103076 CPUtime=5.2 cores=0,2,4,6
/proc/8825/task/8888/stat : 8888 (java) S 8822 8825 5578 0 -1 1077944384 21077 13265 0 0 508 4 5 3 20 0 15 0 407123553 11107291136 275769 33554432000 4194304 4196468 140722663718320 139867428924272 139868005243522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8889] ppid=8822 vsize=10846964 memory=3196 CPUtime=3.6 cores=0,2,4,6
/proc/8825/task/8889/stat : 8889 (java) S 8822 8825 5578 0 -1 1077944384 24837 13265 0 0 346 6 5 3 20 0 15 0 407123553 11107291136 275769 33554432000 4194304 4196468 140722663718320 139867427871216 139868005243522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8890] ppid=8822 vsize=10846964 memory=790820 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8890/stat : 8890 (java) S 8822 8825 5578 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 407123554 11107291136 275769 33554432000 4194304 4196468 140722663718320 139866544098144 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8891] ppid=8822 vsize=10846964 memory=1103076 CPUtime=1.41 cores=0,2,4,6
/proc/8825/task/8891/stat : 8891 (java) S 8822 8825 5578 0 -1 1077944384 1118 13265 0 0 66 67 5 3 20 0 15 0 407123554 11107291136 275769 33554432000 4194304 4196468 140722663718320 139867426818608 139868005243522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
Current children cumulated CPU time: 2314.39 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1103076 KiB
[startup+2322.3 s]
/proc/loadavg: 1.23 1.38 1.40 3/228 9234
/proc/meminfo: memFree=29799784/32770624 swapFree=66999768/67108860
[pid=8825] ppid=8822 vsize=10846964 memory=1109220 CPUtime=2375.58 cores=0,2,4,6
/proc/8825/stat : 8825 (java) S 8822 8825 5578 0 -1 1077944320 245949 13265 0 0 237229 321 5 3 20 0 15 0 407123539 11107291136 277305 33554432000 4194304 4196468 140722663718320 140722663700864 139868005232375 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
/proc/8825/statm: 2711741 277305 3627 1 0 2673805 0
[pid=8825/tid=8878] ppid=8822 vsize=10846964 memory=1107172 CPUtime=2298.31 cores=0,2,4,6
/proc/8825/task/8878/stat : 8878 (java) R 8822 8825 5578 0 -1 4202560 70411 13265 0 0 229778 45 5 3 20 0 15 0 407123548 11107291136 277305 33554432000 4194304 4196468 140722663718320 139867977067488 139867590254934 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8879] ppid=8822 vsize=10846964 memory=1107172 CPUtime=13.38 cores=0,2,4,6
/proc/8825/task/8879/stat : 8879 (java) S 8822 8825 5578 0 -1 1077944384 17532 13265 0 0 1278 52 5 3 20 0 15 0 407123549 11107291136 277305 33554432000 4194304 4196468 140722663718320 139868009475088 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8880] ppid=8822 vsize=10846964 memory=55 CPUtime=13.38 cores=0,2,4,6
/proc/8825/task/8880/stat : 8880 (java) S 8822 8825 5578 0 -1 1077944384 23271 13265 0 0 1278 52 5 3 20 0 15 0 407123549 11107291136 277305 33554432000 4194304 4196468 140722663718320 139867897748624 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8881] ppid=8822 vsize=10846964 memory=1107172 CPUtime=13.37 cores=0,2,4,6
/proc/8825/task/8881/stat : 8881 (java) S 8822 8825 5578 0 -1 1077944384 19028 13265 0 0 1282 47 5 3 20 0 15 0 407123549 11107291136 277305 33554432000 4194304 4196468 140722663718320 139867896695568 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8882] ppid=8822 vsize=10846964 memory=1107172 CPUtime=13.38 cores=0,2,4,6
/proc/8825/task/8882/stat : 8882 (java) S 8822 8825 5578 0 -1 1077944384 24608 13265 0 0 1282 48 5 3 20 0 15 0 407123549 11107291136 277305 33554432000 4194304 4196468 140722663718320 139867895643024 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8883] ppid=8822 vsize=10846964 memory=1107172 CPUtime=8.85 cores=0,2,4,6
/proc/8825/task/8883/stat : 8883 (java) S 8822 8825 5578 0 -1 1077944384 17926 13265 0 0 836 41 5 3 20 0 15 0 407123550 11107291136 277305 33554432000 4194304 4196468 140722663718320 139867464587504 139868005243522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8884] ppid=8822 vsize=10846964 memory=1109220 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8884/stat : 8884 (java) S 8822 8825 5578 0 -1 1077944384 40 13265 0 0 0 0 5 3 20 0 15 0 407123550 11107291136 277305 33554432000 4194304 4196468 140722663718320 139867463533792 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8885] ppid=8822 vsize=10846964 memory=1109220 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8885/stat : 8885 (java) S 8822 8825 5578 0 -1 1077944384 24 13265 0 0 0 0 5 3 20 0 15 0 407123551 11107291136 277305 33554432000 4194304 4196468 140722663718320 139866885055232 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8886] ppid=8822 vsize=10846964 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8886/stat : 8886 (java) S 8822 8825 5578 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 407123553 11107291136 277305 33554432000 4194304 4196468 140722663718320 139866577655760 139868005250971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8887] ppid=8822 vsize=10846964 memory=1107172 CPUtime=5.26 cores=0,2,4,6
/proc/8825/task/8887/stat : 8887 (java) S 8822 8825 5578 0 -1 1077944384 23844 13265 0 0 513 5 5 3 20 0 15 0 407123553 11107291136 277305 33554432000 4194304 4196468 140722663718320 139867429976816 139868005243522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8888] ppid=8822 vsize=10846964 memory=1109220 CPUtime=5.2 cores=0,2,4,6
/proc/8825/task/8888/stat : 8888 (java) S 8822 8825 5578 0 -1 1077944384 21079 13265 0 0 508 4 5 3 20 0 15 0 407123553 11107291136 277305 33554432000 4194304 4196468 140722663718320 139867428924272 139868005243522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8889] ppid=8822 vsize=10846964 memory=1109220 CPUtime=3.6 cores=0,2,4,6
/proc/8825/task/8889/stat : 8889 (java) S 8822 8825 5578 0 -1 1077944384 24839 13265 0 0 346 6 5 3 20 0 15 0 407123553 11107291136 277305 33554432000 4194304 4196468 140722663718320 139867427871216 139868005243522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8890] ppid=8822 vsize=10846964 memory=1107172 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8890/stat : 8890 (java) S 8822 8825 5578 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 407123554 11107291136 277305 33554432000 4194304 4196468 140722663718320 139866544098144 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8891] ppid=8822 vsize=10846964 memory=1332 CPUtime=1.45 cores=0,2,4,6
/proc/8825/task/8891/stat : 8891 (java) S 8822 8825 5578 0 -1 1077944384 1135 13265 0 0 68 69 5 3 20 0 15 0 407123554 11107291136 277305 33554432000 4194304 4196468 140722663718320 139867426818608 139868005243522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
Current children cumulated CPU time: 2375.58 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1109220 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2346.31 s]
/proc/loadavg: 1.16 1.35 1.39 3/228 9234
/proc/meminfo: memFree=29815256/32770624 swapFree=66999768/67108860
[pid=8825] ppid=8822 vsize=10846964 memory=1111268 CPUtime=2400.06 cores=0,2,4,6
/proc/8825/stat : 8825 (java) S 8822 8825 5578 0 -1 1077944320 246687 13265 0 0 239674 324 5 3 20 0 15 0 407123539 11107291136 277817 33554432000 4194304 4196468 140722663718320 140722663700864 139868005232375 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
/proc/8825/statm: 2711741 277817 3627 1 0 2673805 0
[pid=8825/tid=8878] ppid=8822 vsize=10846964 memory=1111268 CPUtime=2322.04 cores=0,2,4,6
/proc/8825/task/8878/stat : 8878 (java) R 8822 8825 5578 0 -1 4202560 70805 13265 0 0 232151 45 5 3 20 0 15 0 407123548 11107291136 277817 33554432000 4194304 4196468 140722663718320 139867977067632 139867590170863 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8879] ppid=8822 vsize=10846964 memory=1109220 CPUtime=13.54 cores=0,2,4,6
/proc/8825/task/8879/stat : 8879 (java) S 8822 8825 5578 0 -1 1077944384 17708 13265 0 0 1293 53 5 3 20 0 15 0 407123549 11107291136 277817 33554432000 4194304 4196468 140722663718320 139868009475088 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8880] ppid=8822 vsize=10846964 memory=1107172 CPUtime=13.55 cores=0,2,4,6
/proc/8825/task/8880/stat : 8880 (java) S 8822 8825 5578 0 -1 1077944384 23298 13265 0 0 1294 53 5 3 20 0 15 0 407123549 11107291136 277817 33554432000 4194304 4196468 140722663718320 139867897748624 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8881] ppid=8822 vsize=10846964 memory=1111268 CPUtime=13.53 cores=0,2,4,6
/proc/8825/task/8881/stat : 8881 (java) S 8822 8825 5578 0 -1 1077944384 19064 13265 0 0 1298 47 5 3 20 0 15 0 407123549 11107291136 277817 33554432000 4194304 4196468 140722663718320 139867896695568 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8882] ppid=8822 vsize=10846964 memory=1111268 CPUtime=13.55 cores=0,2,4,6
/proc/8825/task/8882/stat : 8882 (java) S 8822 8825 5578 0 -1 1077944384 24676 13265 0 0 1298 49 5 3 20 0 15 0 407123549 11107291136 277817 33554432000 4194304 4196468 140722663718320 139867895643024 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8883] ppid=8822 vsize=10846964 memory=1109220 CPUtime=8.93 cores=0,2,4,6
/proc/8825/task/8883/stat : 8883 (java) S 8822 8825 5578 0 -1 1077944384 17953 13265 0 0 844 41 5 3 20 0 15 0 407123550 11107291136 277817 33554432000 4194304 4196468 140722663718320 139867464587504 139868005243522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8884] ppid=8822 vsize=10846964 memory=6944656592387989600 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8884/stat : 8884 (java) S 8822 8825 5578 0 -1 1077944384 40 13265 0 0 0 0 5 3 20 0 15 0 407123550 11107291136 277817 33554432000 4194304 4196468 140722663718320 139867463533792 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8885] ppid=8822 vsize=10846964 memory=2648 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8885/stat : 8885 (java) S 8822 8825 5578 0 -1 1077944384 24 13265 0 0 0 0 5 3 20 0 15 0 407123551 11107291136 277817 33554432000 4194304 4196468 140722663718320 139866885055232 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8886] ppid=8822 vsize=10846964 memory=1109220 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8886/stat : 8886 (java) S 8822 8825 5578 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 407123553 11107291136 277817 33554432000 4194304 4196468 140722663718320 139866577655760 139868005250971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8887] ppid=8822 vsize=10846964 memory=1109220 CPUtime=5.26 cores=0,2,4,6
/proc/8825/task/8887/stat : 8887 (java) S 8822 8825 5578 0 -1 1077944384 23846 13265 0 0 513 5 5 3 20 0 15 0 407123553 11107291136 277817 33554432000 4194304 4196468 140722663718320 139867429976816 139868005243522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8888] ppid=8822 vsize=10846964 memory=1109220 CPUtime=5.2 cores=0,2,4,6
/proc/8825/task/8888/stat : 8888 (java) S 8822 8825 5578 0 -1 1077944384 21081 13265 0 0 508 4 5 3 20 0 15 0 407123553 11107291136 277817 33554432000 4194304 4196468 140722663718320 139867428924272 139868005243522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8889] ppid=8822 vsize=10846964 memory=1111268 CPUtime=3.6 cores=0,2,4,6
/proc/8825/task/8889/stat : 8889 (java) S 8822 8825 5578 0 -1 1077944384 24841 13265 0 0 346 6 5 3 20 0 15 0 407123553 11107291136 277817 33554432000 4194304 4196468 140722663718320 139867427871216 139868005243522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8890] ppid=8822 vsize=10846964 memory=988 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8890/stat : 8890 (java) S 8822 8825 5578 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 407123554 11107291136 277817 33554432000 4194304 4196468 140722663718320 139866544098144 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8891] ppid=8822 vsize=10846964 memory=1111268 CPUtime=1.47 cores=0,2,4,6
/proc/8825/task/8891/stat : 8891 (java) S 8822 8825 5578 0 -1 1077944384 1139 13265 0 0 69 70 5 3 20 0 15 0 407123554 11107291136 277817 33554432000 4194304 4196468 140722663718320 139867426818608 139868005243522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1111268 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2346.34 s]
# the end of solver process 8825 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.83 s, system=3.28769 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2346.31 s]
/proc/loadavg: 1.16 1.35 1.39 3/228 9234
/proc/meminfo: memFree=29815256/32770624 swapFree=66999768/67108860
[pid=8825] ppid=8822 vsize=10846964 memory=1111268 CPUtime=2400.06 cores=0,2,4,6
/proc/8825/stat : 8825 (java) S 8822 8825 5578 0 -1 1077944320 246687 13265 0 0 239674 324 5 3 20 0 15 0 407123539 11107291136 277817 33554432000 4194304 4196468 140722663718320 140722663700864 139868005232375 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
/proc/8825/statm: 2711741 277817 3627 1 0 2673805 0
[pid=8825/tid=8878] ppid=8822 vsize=10846964 memory=1111268 CPUtime=2322.04 cores=0,2,4,6
/proc/8825/task/8878/stat : 8878 (java) R 8822 8825 5578 0 -1 4202560 70805 13265 0 0 232151 45 5 3 20 0 15 0 407123548 11107291136 277817 33554432000 4194304 4196468 140722663718320 139867977067632 139867590170863 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8879] ppid=8822 vsize=10846964 memory=1109220 CPUtime=13.54 cores=0,2,4,6
/proc/8825/task/8879/stat : 8879 (java) S 8822 8825 5578 0 -1 1077944384 17708 13265 0 0 1293 53 5 3 20 0 15 0 407123549 11107291136 277817 33554432000 4194304 4196468 140722663718320 139868009475088 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8880] ppid=8822 vsize=10846964 memory=1107172 CPUtime=13.55 cores=0,2,4,6
/proc/8825/task/8880/stat : 8880 (java) S 8822 8825 5578 0 -1 1077944384 23298 13265 0 0 1294 53 5 3 20 0 15 0 407123549 11107291136 277817 33554432000 4194304 4196468 140722663718320 139867897748624 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8881] ppid=8822 vsize=10846964 memory=1111268 CPUtime=13.53 cores=0,2,4,6
/proc/8825/task/8881/stat : 8881 (java) S 8822 8825 5578 0 -1 1077944384 19064 13265 0 0 1298 47 5 3 20 0 15 0 407123549 11107291136 277817 33554432000 4194304 4196468 140722663718320 139867896695568 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8882] ppid=8822 vsize=10846964 memory=1111268 CPUtime=13.55 cores=0,2,4,6
/proc/8825/task/8882/stat : 8882 (java) S 8822 8825 5578 0 -1 1077944384 24676 13265 0 0 1298 49 5 3 20 0 15 0 407123549 11107291136 277817 33554432000 4194304 4196468 140722663718320 139867895643024 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8883] ppid=8822 vsize=10846964 memory=1109220 CPUtime=8.93 cores=0,2,4,6
/proc/8825/task/8883/stat : 8883 (java) S 8822 8825 5578 0 -1 1077944384 17953 13265 0 0 844 41 5 3 20 0 15 0 407123550 11107291136 277817 33554432000 4194304 4196468 140722663718320 139867464587504 139868005243522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8884] ppid=8822 vsize=10846964 memory=6944656592387989600 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8884/stat : 8884 (java) S 8822 8825 5578 0 -1 1077944384 40 13265 0 0 0 0 5 3 20 0 15 0 407123550 11107291136 277817 33554432000 4194304 4196468 140722663718320 139867463533792 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8885] ppid=8822 vsize=10846964 memory=2648 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8885/stat : 8885 (java) S 8822 8825 5578 0 -1 1077944384 24 13265 0 0 0 0 5 3 20 0 15 0 407123551 11107291136 277817 33554432000 4194304 4196468 140722663718320 139866885055232 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8886] ppid=8822 vsize=10846964 memory=1109220 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8886/stat : 8886 (java) S 8822 8825 5578 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 407123553 11107291136 277817 33554432000 4194304 4196468 140722663718320 139866577655760 139868005250971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8887] ppid=8822 vsize=10846964 memory=1109220 CPUtime=5.26 cores=0,2,4,6
/proc/8825/task/8887/stat : 8887 (java) S 8822 8825 5578 0 -1 1077944384 23846 13265 0 0 513 5 5 3 20 0 15 0 407123553 11107291136 277817 33554432000 4194304 4196468 140722663718320 139867429976816 139868005243522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8888] ppid=8822 vsize=10846964 memory=1109220 CPUtime=5.2 cores=0,2,4,6
/proc/8825/task/8888/stat : 8888 (java) S 8822 8825 5578 0 -1 1077944384 21081 13265 0 0 508 4 5 3 20 0 15 0 407123553 11107291136 277817 33554432000 4194304 4196468 140722663718320 139867428924272 139868005243522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8889] ppid=8822 vsize=10846964 memory=1111268 CPUtime=3.6 cores=0,2,4,6
/proc/8825/task/8889/stat : 8889 (java) S 8822 8825 5578 0 -1 1077944384 24841 13265 0 0 346 6 5 3 20 0 15 0 407123553 11107291136 277817 33554432000 4194304 4196468 140722663718320 139867427871216 139868005243522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8890] ppid=8822 vsize=10846964 memory=988 CPUtime=0.08 cores=0,2,4,6
/proc/8825/task/8890/stat : 8890 (java) S 8822 8825 5578 0 -1 1077944384 3 13265 0 0 0 0 5 3 20 0 15 0 407123554 11107291136 277817 33554432000 4194304 4196468 140722663718320 139866544098144 139868005242581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
[pid=8825/tid=8891] ppid=8822 vsize=10846964 memory=1111268 CPUtime=1.47 cores=0,2,4,6
/proc/8825/task/8891/stat : 8891 (java) S 8822 8825 5578 0 -1 1077944384 1139 13265 0 0 69 70 5 3 20 0 15 0 407123554 11107291136 277817 33554432000 4194304 4196468 140722663718320 139867426818608 139868005243522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 35663872 140722663721718 140722663724229 140722663724229 140722663727055 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1111268 KiB
Child status: 143
Real time (s): 2346.34
CPU time (s): 2400.12
CPU user time (s): 2396.83
CPU system time (s): 3.28769
CPU usage (%): 102.292
Max. virtual memory (cumulated for all children) (KiB): 10846964
Max. memory (cumulated for all children) (KiB): 1111268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.83
system time used= 3.28769
maximum resident set size= 1115492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 260713
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 248812
involuntary context switches= 7285
# summary of solver processes directly reported to runsolver:
# pid: 8825
# total CPU time (s): 2400.12
# total CPU user time (s): 2396.83
# total CPU system time (s): 3.28769
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9982 second user time and 19.6048 second system time
The end