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 (895 MiB free)
memory of node 1: 16384 MiB (1950 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403113-1568970029/watcher-4403113-1568970029 -o /var/tmp/evaluation-result-4403113-1568970029/solver-4403113-1568970029 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node145-1568967596-13935 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1550022693 HOME/instance-4403113-1568970029.xml
running on 4 cores: 1,3,5,7
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
Current StackSize limit: 8192 KiB
solver pid=14766, runsolver pid=14763
[startup+0.101611 s]*
/proc/loadavg: 1.79 1.41 1.26 3/218 14823
/proc/meminfo: memFree=2905552/32770624 swapFree=66966844/67108860
[pid=14766] ppid=14763 vsize=9972712 memory=18856 CPUtime=0.1 cores=1,3,5,7
/proc/14766/stat : 14766 (java) S 14763 14766 13903 0 -1 1077944320 4479 13313 0 0 1 1 5 3 20 0 6 0 472939348 10212057088 4714 33554432000 4194304 4196468 140725466800576 140725466783120 140004141018871 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
/proc/14766/statm: 2493178 4714 1934 1 0 2481616 0
[pid=14766/tid=14819] ppid=14763 vsize=9972712 memory=8514726395714820750 CPUtime=0.09 cores=1,3,5,7
/proc/14766/task/14819/stat : 14819 (java) R 14763 14766 13903 0 -1 4202560 2289 13313 0 0 1 0 5 3 20 0 6 0 472939357 10212057088 4779 33554432000 4194304 4196468 140725466800576 140004112855632 140004126141808 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14820] ppid=14763 vsize=9972712 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14820/stat : 14820 (java) S 14763 14766 13903 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 6 0 472939358 10212057088 4779 33554432000 4194304 4196468 140725466800576 140004145260944 140004141029077 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14821] ppid=14763 vsize=9972712 memory=140529853945472 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14821/stat : 14821 (java) S 14763 14766 13903 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 6 0 472939358 10212057088 4779 33554432000 4194304 4196468 140725466800576 140004060080400 140004141029077 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14822] ppid=14763 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14822/stat : 14822 (java) S 14763 14766 13903 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 6 0 472939358 10212057088 4779 33554432000 4194304 4196468 140725466800576 140004059028112 140004141029077 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14823] ppid=14763 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14823/stat : 14823 (java) S 14763 14766 13903 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 6 0 472939358 10212057088 4779 33554432000 4194304 4196468 140725466800576 140004057975312 140004141029077 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18856 KiB
[startup+0.209826 s]*
/proc/loadavg: 1.79 1.41 1.26 3/227 14832
/proc/meminfo: memFree=2884136/32770624 swapFree=66966844/67108860
[pid=14766] ppid=14763 vsize=10820164 memory=45784 CPUtime=0.27 cores=1,3,5,7
/proc/14766/stat : 14766 (java) S 14763 14766 13903 0 -1 1077944320 7322 13313 0 0 17 2 5 3 20 0 15 0 472939348 11079847936 11446 33554432000 4194304 4196468 140725466800576 140725466783120 140004141018871 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
/proc/14766/statm: 2705041 11446 3289 1 0 2667149 0
[pid=14766/tid=14819] ppid=14763 vsize=10820176 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/14766/task/14819/stat : 14819 (java) R 14763 14766 13903 0 -1 4202560 3840 13313 0 0 10 1 5 3 20 0 15 0 472939357 11079860224 11446 33554432000 4194304 4196468 140725466800576 140004112829904 140004064095205 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14820] ppid=14763 vsize=10820176 memory=342 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14820/stat : 14820 (java) S 14763 14766 13903 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 472939358 11079860224 11446 33554432000 4194304 4196468 140725466800576 140004145260944 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14821] ppid=14763 vsize=10820176 memory=3833611129704830624 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14821/stat : 14821 (java) S 14763 14766 13903 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 472939358 11079860224 11446 33554432000 4194304 4196468 140725466800576 140004060080400 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14822] ppid=14763 vsize=10820176 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14822/stat : 14822 (java) S 14763 14766 13903 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 472939358 11079860224 11446 33554432000 4194304 4196468 140725466800576 140004059028112 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14823] ppid=14763 vsize=10820176 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14823/stat : 14823 (java) S 14763 14766 13903 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 15 0 472939358 11079860224 11446 33554432000 4194304 4196468 140725466800576 140004057975312 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14824] ppid=14763 vsize=10820184 memory=140529853945472 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14824/stat : 14824 (java) S 14763 14766 13903 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 15 0 472939360 11079868416 11446 33554432000 4194304 4196468 140725466800576 140003667679856 140004141030018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14825] ppid=14763 vsize=10820184 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14825/stat : 14825 (java) S 14763 14766 13903 0 -1 1077944384 13 13313 0 0 0 0 5 3 20 0 15 0 472939360 11079868416 11446 33554432000 4194304 4196468 140725466800576 140003585811744 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14826] ppid=14763 vsize=10820184 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14826/stat : 14826 (java) S 14763 14766 13903 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 472939360 11079868416 11446 33554432000 4194304 4196468 140725466800576 140003451594352 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14827] ppid=14763 vsize=10820184 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14827/stat : 14827 (java) S 14763 14766 13903 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 15 0 472939363 11079868416 11446 33554432000 4194304 4196468 140725466800576 140002847615568 140004141037467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14828] ppid=14763 vsize=10820184 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/14766/task/14828/stat : 14828 (java) S 14763 14766 13903 0 -1 1077944384 346 13313 0 0 1 0 5 3 20 0 15 0 472939363 11079868416 11446 33554432000 4194304 4196468 140725466800576 140003666626672 140004141030018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14829] ppid=14763 vsize=10820184 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/14766/task/14829/stat : 14829 (java) R 14763 14766 13903 0 -1 4202560 308 13313 0 0 1 0 5 3 20 0 15 0 472939363 11079868416 11446 33554432000 4194304 4196468 140725466800576 140003665573872 140004127049856 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14830] ppid=14763 vsize=10820188 memory=140529853945472 CPUtime=0.11 cores=1,3,5,7
/proc/14766/task/14830/stat : 14830 (java) R 14763 14766 13903 0 -1 1077944384 600 13313 0 0 3 0 5 3 20 0 15 0 472939363 11079872512 11446 33554432000 4194304 4196468 140725466800576 140003664521584 140004141030018 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14831] ppid=14763 vsize=10820188 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14831/stat : 14831 (java) S 14763 14766 13903 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 472939363 11079872512 11446 33554432000 4194304 4196468 140725466800576 140002377853408 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14832] ppid=14763 vsize=10820188 memory=140529853945472 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14832/stat : 14832 (java) S 14763 14766 13903 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 472939364 11079872512 11446 33554432000 4194304 4196468 140725466800576 140003663469488 140004141030018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820164 KiB
Current children cumulated memory: 45784 KiB
[startup+0.311228 s]*
/proc/loadavg: 1.79 1.41 1.26 3/227 14832
/proc/meminfo: memFree=2870928/32770624 swapFree=66966844/67108860
[pid=14766] ppid=14763 vsize=10820196 memory=54368 CPUtime=0.41 cores=1,3,5,7
/proc/14766/stat : 14766 (java) S 14763 14766 13903 0 -1 1077944320 10383 13313 0 0 30 3 5 3 20 0 15 0 472939348 11079880704 13592 33554432000 4194304 4196468 140725466800576 140725466783120 140004141018871 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
/proc/14766/statm: 2705049 13592 3311 1 0 2667149 0
[pid=14766/tid=14819] ppid=14763 vsize=10820196 memory=1398722017469774279 CPUtime=0.3 cores=1,3,5,7
/proc/14766/task/14819/stat : 14819 (java) R 14763 14766 13903 0 -1 4202560 6870 13313 0 0 20 2 5 3 20 0 15 0 472939357 11079880704 13592 33554432000 4194304 4196468 140725466800576 140004112828808 140004127207461 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14820] ppid=14763 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14820/stat : 14820 (java) S 14763 14766 13903 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 472939358 11079880704 13592 33554432000 4194304 4196468 140725466800576 140004145260944 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14821] ppid=14763 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14821/stat : 14821 (java) S 14763 14766 13903 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 472939358 11079880704 13592 33554432000 4194304 4196468 140725466800576 140004060080400 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14822] ppid=14763 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14822/stat : 14822 (java) S 14763 14766 13903 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 472939358 11079880704 13592 33554432000 4194304 4196468 140725466800576 140004059028112 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14823] ppid=14763 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14823/stat : 14823 (java) S 14763 14766 13903 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 15 0 472939358 11079880704 13592 33554432000 4194304 4196468 140725466800576 140004057975312 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14824] ppid=14763 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14824/stat : 14824 (java) S 14763 14766 13903 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 15 0 472939360 11079880704 13592 33554432000 4194304 4196468 140725466800576 140003667679856 140004141030018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14825] ppid=14763 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14825/stat : 14825 (java) S 14763 14766 13903 0 -1 1077944384 13 13313 0 0 0 0 5 3 20 0 15 0 472939360 11079880704 13592 33554432000 4194304 4196468 140725466800576 140003585811744 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14826] ppid=14763 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14826/stat : 14826 (java) S 14763 14766 13903 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 472939360 11079880704 13592 33554432000 4194304 4196468 140725466800576 140003451594352 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14827] ppid=14763 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14827/stat : 14827 (java) S 14763 14766 13903 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 15 0 472939363 11079880704 13592 33554432000 4194304 4196468 140725466800576 140002847615568 140004141037467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14828] ppid=14763 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/14766/task/14828/stat : 14828 (java) S 14763 14766 13903 0 -1 1077944384 346 13313 0 0 1 0 5 3 20 0 15 0 472939363 11079880704 13592 33554432000 4194304 4196468 140725466800576 140003666626672 140004141030018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14829] ppid=14763 vsize=10820196 memory=-1 CPUtime=0.1 cores=1,3,5,7
/proc/14766/task/14829/stat : 14829 (java) S 14763 14766 13903 0 -1 1077944384 318 13313 0 0 2 0 5 3 20 0 15 0 472939363 11079880704 13592 33554432000 4194304 4196468 140725466800576 140003665573872 140004141030018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14830] ppid=14763 vsize=10820196 memory=140529853945472 CPUtime=0.13 cores=1,3,5,7
/proc/14766/task/14830/stat : 14830 (java) S 14763 14766 13903 0 -1 1077944384 620 13313 0 0 5 0 5 3 20 0 15 0 472939363 11079880704 13592 33554432000 4194304 4196468 140725466800576 140003664521584 140004141030018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14831] ppid=14763 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14831/stat : 14831 (java) S 14763 14766 13903 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 472939363 11079880704 13592 33554432000 4194304 4196468 140725466800576 140002377853408 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14832] ppid=14763 vsize=10820196 memory=140529853945472 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14832/stat : 14832 (java) S 14763 14766 13903 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 472939364 11079880704 13592 33554432000 4194304 4196468 140725466800576 140003663469488 140004141030018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 54368 KiB
[startup+0.700748 s]
/proc/loadavg: 1.79 1.41 1.26 4/227 14832
/proc/meminfo: memFree=2855996/32770624 swapFree=66966844/67108860
[pid=14766] ppid=14763 vsize=10824364 memory=87304 CPUtime=1.16 cores=1,3,5,7
/proc/14766/stat : 14766 (java) S 14763 14766 13903 0 -1 1077944320 15043 13313 0 0 102 6 5 3 20 0 15 0 472939348 11084148736 21826 33554432000 4194304 4196468 140725466800576 140725466783120 140004141018871 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
/proc/14766/statm: 2706091 21826 3514 1 0 2668173 0
[pid=14766/tid=14819] ppid=14763 vsize=10824364 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/14766/task/14819/stat : 14819 (java) R 14763 14766 13903 0 -1 4202560 10305 13313 0 0 56 3 5 3 20 0 15 0 472939357 11084148736 21826 33554432000 4194304 4196468 140725466800576 140004112848416 140004141040797 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14820] ppid=14763 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14820/stat : 14820 (java) S 14763 14766 13903 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 472939358 11084148736 21826 33554432000 4194304 4196468 140725466800576 140004145260944 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14821] ppid=14763 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14821/stat : 14821 (java) S 14763 14766 13903 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 472939358 11084148736 21826 33554432000 4194304 4196468 140725466800576 140004060080400 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14822] ppid=14763 vsize=10824364 memory=68 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14822/stat : 14822 (java) S 14763 14766 13903 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 472939358 11084148736 21826 33554432000 4194304 4196468 140725466800576 140004059028112 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14823] ppid=14763 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14823/stat : 14823 (java) S 14763 14766 13903 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 15 0 472939358 11084148736 21826 33554432000 4194304 4196468 140725466800576 140004057975312 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14824] ppid=14763 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14824/stat : 14824 (java) S 14763 14766 13903 0 -1 1077944384 5 13313 0 0 0 0 5 3 20 0 15 0 472939360 11084148736 21826 33554432000 4194304 4196468 140725466800576 140003667679856 140004141030018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14825] ppid=14763 vsize=10824364 memory=140529719455856 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14825/stat : 14825 (java) S 14763 14766 13903 0 -1 1077944384 13 13313 0 0 0 0 5 3 20 0 15 0 472939360 11084148736 21826 33554432000 4194304 4196468 140725466800576 140003585811744 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14826] ppid=14763 vsize=10824364 memory=140531329925710 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14826/stat : 14826 (java) S 14763 14766 13903 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 472939360 11084148736 21826 33554432000 4194304 4196468 140725466800576 140003451594352 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14827] ppid=14763 vsize=10824364 memory=8100 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14827/stat : 14827 (java) S 14763 14766 13903 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 15 0 472939363 11084148736 21826 33554432000 4194304 4196468 140725466800576 140002847615568 140004141037467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14828] ppid=14763 vsize=10824364 memory=7518026621751088994 CPUtime=0.23 cores=1,3,5,7
/proc/14766/task/14828/stat : 14828 (java) S 14763 14766 13903 0 -1 1077944384 933 13313 0 0 15 0 5 3 20 0 15 0 472939363 11084148736 21826 33554432000 4194304 4196468 140725466800576 140003666626672 140004141030018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14829] ppid=14763 vsize=10824364 memory=7235703887467473233 CPUtime=0.21 cores=1,3,5,7
/proc/14766/task/14829/stat : 14829 (java) R 14763 14766 13903 0 -1 4202560 713 13313 0 0 13 0 5 3 20 0 15 0 472939363 11084148736 21826 33554432000 4194304 4196468 140725466800576 140003665573872 140004122540519 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14830] ppid=14763 vsize=10824364 memory=7881696724453321575 CPUtime=0.24 cores=1,3,5,7
/proc/14766/task/14830/stat : 14830 (java) S 14763 14766 13903 0 -1 1077944384 857 13313 0 0 16 0 5 3 20 0 15 0 472939363 11084148736 21826 33554432000 4194304 4196468 140725466800576 140003664521584 140004141030018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14831] ppid=14763 vsize=10824364 memory=3612 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14831/stat : 14831 (java) S 14763 14766 13903 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 472939363 11084148736 21826 33554432000 4194304 4196468 140725466800576 140002377853408 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14832] ppid=14763 vsize=10824364 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14832/stat : 14832 (java) S 14763 14766 13903 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 472939364 11084148736 21826 33554432000 4194304 4196468 140725466800576 140003663469488 140004141030018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 87304 KiB
[startup+1.50065 s]
/proc/loadavg: 1.79 1.41 1.26 3/227 14832
/proc/meminfo: memFree=2794000/32770624 swapFree=66966844/67108860
[pid=14766] ppid=14763 vsize=10834680 memory=175160 CPUtime=2.5 cores=1,3,5,7
/proc/14766/stat : 14766 (java) S 14763 14766 13903 0 -1 1077944320 21868 13313 0 0 232 10 5 3 20 0 15 0 472939348 11094712320 43790 33554432000 4194304 4196468 140725466800576 140725466783120 140004141018871 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
/proc/14766/statm: 2708670 43790 3591 1 0 2670733 0
[pid=14766/tid=14819] ppid=14763 vsize=10834680 memory=9125 CPUtime=1.43 cores=1,3,5,7
/proc/14766/task/14819/stat : 14819 (java) R 14763 14766 13903 0 -1 4202560 15153 13313 0 0 130 5 5 3 20 0 15 0 472939357 11094712320 43790 33554432000 4194304 4196468 140725466800576 140004112818224 140004125099388 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14820] ppid=14763 vsize=10834680 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/14766/task/14820/stat : 14820 (java) S 14763 14766 13903 0 -1 1077944384 67 13313 0 0 1 0 5 3 20 0 15 0 472939358 11094712320 43790 33554432000 4194304 4196468 140725466800576 140004145260944 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14821] ppid=14763 vsize=10834680 memory=311396 CPUtime=0.09 cores=1,3,5,7
/proc/14766/task/14821/stat : 14821 (java) S 14763 14766 13903 0 -1 1077944384 345 13313 0 0 1 0 5 3 20 0 15 0 472939358 11094712320 43790 33554432000 4194304 4196468 140725466800576 140004060080400 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14822] ppid=14763 vsize=10834680 memory=1404 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14822/stat : 14822 (java) S 14763 14766 13903 0 -1 1077944384 36 13313 0 0 0 0 5 3 20 0 15 0 472939358 11094712320 43790 33554432000 4194304 4196468 140725466800576 140004059028112 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14823] ppid=14763 vsize=10834680 memory=87304 CPUtime=0.09 cores=1,3,5,7
/proc/14766/task/14823/stat : 14823 (java) S 14763 14766 13903 0 -1 1077944384 68 13313 0 0 1 0 5 3 20 0 15 0 472939358 11094712320 43790 33554432000 4194304 4196468 140725466800576 140004057975312 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14824] ppid=14763 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/14766/task/14824/stat : 14824 (java) S 14763 14766 13903 0 -1 1077944384 135 13313 0 0 1 0 5 3 20 0 15 0 472939360 11094712320 43790 33554432000 4194304 4196468 140725466800576 140003667679856 140004141030018 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14825] ppid=14763 vsize=10834680 memory=281059438854688 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14825/stat : 14825 (java) S 14763 14766 13903 0 -1 1077944384 14 13313 0 0 0 0 5 3 20 0 15 0 472939360 11094712320 43790 33554432000 4194304 4196468 140725466800576 140003585811808 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14826] ppid=14763 vsize=10834680 memory=281059438905488 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14826/stat : 14826 (java) S 14763 14766 13903 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 15 0 472939360 11094712320 43790 33554432000 4194304 4196468 140725466800576 140003451594368 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14827] ppid=14763 vsize=10834680 memory=281059439450304 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14827/stat : 14827 (java) S 14763 14766 13903 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 15 0 472939363 11094712320 43790 33554432000 4194304 4196468 140725466800576 140002847615568 140004141037467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14828] ppid=14763 vsize=10834680 memory=3047711553219693942 CPUtime=0.34 cores=1,3,5,7
/proc/14766/task/14828/stat : 14828 (java) S 14763 14766 13903 0 -1 1077944384 1272 13313 0 0 26 0 5 3 20 0 15 0 472939363 11094712320 43790 33554432000 4194304 4196468 140725466800576 140003666626672 140004141030018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14829] ppid=14763 vsize=10834680 memory=-7521736447810188379 CPUtime=0.35 cores=1,3,5,7
/proc/14766/task/14829/stat : 14829 (java) R 14763 14766 13903 0 -1 1077944384 971 13313 0 0 27 0 5 3 20 0 15 0 472939363 11094712320 43790 33554432000 4194304 4196468 140725466800576 140003665573872 140004141030018 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14830] ppid=14763 vsize=10834680 memory=-8412652160765825907 CPUtime=0.5 cores=1,3,5,7
/proc/14766/task/14830/stat : 14830 (java) R 14763 14766 13903 0 -1 4202560 1599 13313 0 0 41 1 5 3 20 0 15 0 472939363 11094712320 43790 33554432000 4194304 4196468 140725466800576 140003664518320 140004125099358 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14831] ppid=14763 vsize=10834680 memory=7100839878645619564 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14831/stat : 14831 (java) S 14763 14766 13903 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 472939363 11094712320 43790 33554432000 4194304 4196468 140725466800576 140002377853408 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14832] ppid=14763 vsize=10834680 memory=-8634980985311628903 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14832/stat : 14832 (java) S 14763 14766 13903 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 472939364 11094712320 43790 33554432000 4194304 4196468 140725466800576 140003663469488 140004141030018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
Current children cumulated CPU time: 2.5 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/14766/task/14819/stat : 14819 (java) R 14763 14766 13903 0 -1 4202560 258520 13313 0 0 223746 112 5 3 20 0 15 0 472939357 11107315712 109513 33554432000 4194304 4196468 140725466800576 140004112854832 140003744707648 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14820] ppid=14763 vsize=10846988 memory=438052 CPUtime=13.43 cores=1,3,5,7
/proc/14766/task/14820/stat : 14820 (java) S 14763 14766 13903 0 -1 1077944384 42050 13313 0 0 1279 56 5 3 20 0 15 0 472939358 11107315712 109513 33554432000 4194304 4196468 140725466800576 140004145260944 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14821] ppid=14763 vsize=10846988 memory=438052 CPUtime=13.42 cores=1,3,5,7
/proc/14766/task/14821/stat : 14821 (java) S 14763 14766 13903 0 -1 1077944384 43592 13313 0 0 1276 58 5 3 20 0 15 0 472939358 11107315712 109513 33554432000 4194304 4196468 140725466800576 140004060080400 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14822] ppid=14763 vsize=10846988 memory=438052 CPUtime=13.43 cores=1,3,5,7
/proc/14766/task/14822/stat : 14822 (java) S 14763 14766 13903 0 -1 1077944384 36732 13313 0 0 1283 52 5 3 20 0 15 0 472939358 11107315712 109513 33554432000 4194304 4196468 140725466800576 140004059028112 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14823] ppid=14763 vsize=10846988 memory=438052 CPUtime=13.44 cores=1,3,5,7
/proc/14766/task/14823/stat : 14823 (java) S 14763 14766 13903 0 -1 1077944384 36286 13313 0 0 1287 49 5 3 20 0 15 0 472939358 11107315712 109513 33554432000 4194304 4196468 140725466800576 140004057975312 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14824] ppid=14763 vsize=10846988 memory=438052 CPUtime=7.83 cores=1,3,5,7
/proc/14766/task/14824/stat : 14824 (java) S 14763 14766 13903 0 -1 1077944384 18672 13313 0 0 718 57 5 3 20 0 15 0 472939360 11107315712 109513 33554432000 4194304 4196468 140725466800576 140003667679856 140004141030018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14825] ppid=14763 vsize=10846988 memory=438052 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14825/stat : 14825 (java) S 14763 14766 13903 0 -1 1077944384 24 13313 0 0 0 0 5 3 20 0 15 0 472939360 11107315712 109513 33554432000 4194304 4196468 140725466800576 140003585811808 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14826] ppid=14763 vsize=10846988 memory=438052 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14826/stat : 14826 (java) S 14763 14766 13903 0 -1 1077944384 10 13313 0 0 0 0 5 3 20 0 15 0 472939360 11107315712 109513 33554432000 4194304 4196468 140725466800576 140003451594368 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14827] ppid=14763 vsize=10846988 memory=438052 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14827/stat : 14827 (java) S 14763 14766 13903 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 15 0 472939363 11107315712 109513 33554432000 4194304 4196468 140725466800576 140002847615568 140004141037467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14828] ppid=14763 vsize=10846988 memory=444040 CPUtime=5.86 cores=1,3,5,7
/proc/14766/task/14828/stat : 14828 (java) S 14763 14766 13903 0 -1 1077944384 17056 13313 0 0 574 4 5 3 20 0 15 0 472939363 11107315712 109513 33554432000 4194304 4196468 140725466800576 140003666626672 140004141030018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14829] ppid=14763 vsize=10846988 memory=3612 CPUtime=5.95 cores=1,3,5,7
/proc/14766/task/14829/stat : 14829 (java) S 14763 14766 13903 0 -1 1077944384 14218 13313 0 0 585 2 5 3 20 0 15 0 472939363 11107315712 109513 33554432000 4194304 4196468 140725466800576 140003665573872 140004141030018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14830] ppid=14763 vsize=10846988 memory=438052 CPUtime=2.17 cores=1,3,5,7
/proc/14766/task/14830/stat : 14830 (java) S 14763 14766 13903 0 -1 1077944384 13474 13313 0 0 205 4 5 3 20 0 15 0 472939363 11107315712 109513 33554432000 4194304 4196468 140725466800576 140003664521584 140004141030018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14831] ppid=14763 vsize=10846988 memory=54396 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14831/stat : 14831 (java) S 14763 14766 13903 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 472939363 11107315712 109513 33554432000 4194304 4196468 140725466800576 140002377853408 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14832] ppid=14763 vsize=10846988 memory=438052 CPUtime=1.41 cores=1,3,5,7
/proc/14766/task/14832/stat : 14832 (java) S 14763 14766 13903 0 -1 1077944384 1076 13313 0 0 60 73 5 3 20 0 15 0 472939364 11107315712 109513 33554432000 4194304 4196468 140725466800576 140003663469488 140004141030018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
Current children cumulated CPU time: 2314.99 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 438052 KiB
[startup+2322.3 s]
/proc/loadavg: 1.39 1.50 1.46 3/227 15067
/proc/meminfo: memFree=1665184/32770624 swapFree=66966844/67108860
[pid=14766] ppid=14763 vsize=10846988 memory=433944 CPUtime=2376.16 cores=1,3,5,7
/proc/14766/stat : 14766 (java) S 14763 14766 13903 0 -1 1077944320 492073 13313 0 0 237171 437 5 3 20 0 15 0 472939348 11107315712 108486 33554432000 4194304 4196468 140725466800576 140725466783120 140004141018871 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
/proc/14766/statm: 2711747 108486 3628 1 0 2673805 0
[pid=14766/tid=14819] ppid=14763 vsize=10846988 memory=435484 CPUtime=2297.97 cores=1,3,5,7
/proc/14766/task/14819/stat : 14819 (java) R 14763 14766 13903 0 -1 4202560 262733 13313 0 0 229676 113 5 3 20 0 15 0 472939357 11107315712 108486 33554432000 4194304 4196468 140725466800576 140004112855360 140003746876106 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14820] ppid=14763 vsize=10846988 memory=439588 CPUtime=13.83 cores=1,3,5,7
/proc/14766/task/14820/stat : 14820 (java) S 14763 14766 13903 0 -1 1077944384 42621 13313 0 0 1317 58 5 3 20 0 15 0 472939358 11107315712 108486 33554432000 4194304 4196468 140725466800576 140004145260944 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14821] ppid=14763 vsize=10846988 memory=452604 CPUtime=13.82 cores=1,3,5,7
/proc/14766/task/14821/stat : 14821 (java) S 14763 14766 13903 0 -1 1077944384 43997 13313 0 0 1315 59 5 3 20 0 15 0 472939358 11107315712 108486 33554432000 4194304 4196468 140725466800576 140004060080400 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14822] ppid=14763 vsize=10846988 memory=435484 CPUtime=13.83 cores=1,3,5,7
/proc/14766/task/14822/stat : 14822 (java) S 14763 14766 13903 0 -1 1077944384 37932 13313 0 0 1322 53 5 3 20 0 15 0 472939358 11107315712 108486 33554432000 4194304 4196468 140725466800576 140004059028112 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14823] ppid=14763 vsize=10846988 memory=434968 CPUtime=13.85 cores=1,3,5,7
/proc/14766/task/14823/stat : 14823 (java) S 14763 14766 13903 0 -1 1077944384 37639 13313 0 0 1326 51 5 3 20 0 15 0 472939358 11107315712 108486 33554432000 4194304 4196468 140725466800576 140004057975312 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14824] ppid=14763 vsize=10846988 memory=434968 CPUtime=8.07 cores=1,3,5,7
/proc/14766/task/14824/stat : 14824 (java) S 14763 14766 13903 0 -1 1077944384 19052 13313 0 0 739 60 5 3 20 0 15 0 472939360 11107315712 108486 33554432000 4194304 4196468 140725466800576 140003667679856 140004141030018 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14825] ppid=14763 vsize=10846988 memory=434456 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14825/stat : 14825 (java) S 14763 14766 13903 0 -1 1077944384 24 13313 0 0 0 0 5 3 20 0 15 0 472939360 11107315712 108486 33554432000 4194304 4196468 140725466800576 140003585811808 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14826] ppid=14763 vsize=10846988 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14826/stat : 14826 (java) S 14763 14766 13903 0 -1 1077944384 10 13313 0 0 0 0 5 3 20 0 15 0 472939360 11107315712 108486 33554432000 4194304 4196468 140725466800576 140003451594368 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14827] ppid=14763 vsize=10846988 memory=434968 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14827/stat : 14827 (java) S 14763 14766 13903 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 15 0 472939363 11107315712 108486 33554432000 4194304 4196468 140725466800576 140002847615568 140004141037467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14828] ppid=14763 vsize=10846988 memory=3612 CPUtime=5.86 cores=1,3,5,7
/proc/14766/task/14828/stat : 14828 (java) S 14763 14766 13903 0 -1 1077944384 17058 13313 0 0 574 4 5 3 20 0 15 0 472939363 11107315712 108486 33554432000 4194304 4196468 140725466800576 140003666626672 140004141030018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14829] ppid=14763 vsize=10846988 memory=440612 CPUtime=5.95 cores=1,3,5,7
/proc/14766/task/14829/stat : 14829 (java) S 14763 14766 13903 0 -1 1077944384 14220 13313 0 0 585 2 5 3 20 0 15 0 472939363 11107315712 108486 33554432000 4194304 4196468 140725466800576 140003665573872 140004141030018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14830] ppid=14763 vsize=10846988 memory=1432 CPUtime=2.17 cores=1,3,5,7
/proc/14766/task/14830/stat : 14830 (java) S 14763 14766 13903 0 -1 1077944384 13477 13313 0 0 205 4 5 3 20 0 15 0 472939363 11107315712 108486 33554432000 4194304 4196468 140725466800576 140003664521584 140004141030018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14831] ppid=14763 vsize=10846988 memory=434968 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14831/stat : 14831 (java) S 14763 14766 13903 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 472939363 11107315712 108486 33554432000 4194304 4196468 140725466800576 140002377853408 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14832] ppid=14763 vsize=10846988 memory=3616 CPUtime=1.45 cores=1,3,5,7
/proc/14766/task/14832/stat : 14832 (java) S 14763 14766 13903 0 -1 1077944384 1100 13313 0 0 62 75 5 3 20 0 15 0 472939364 11107315712 108486 33554432000 4194304 4196468 140725466800576 140003663469488 140004141030018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
Current children cumulated CPU time: 2376.16 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 433944 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2345.7 s]
/proc/loadavg: 1.26 1.46 1.45 2/211 15073
/proc/meminfo: memFree=3937816/32770624 swapFree=66966844/67108860
[pid=14766] ppid=14763 vsize=10846988 memory=436164 CPUtime=2400.01 cores=1,3,5,7
/proc/14766/stat : 14766 (java) S 14763 14766 13903 0 -1 1077944320 495364 13313 0 0 239553 440 5 3 20 0 15 0 472939348 11107315712 109041 33554432000 4194304 4196468 140725466800576 140725466783120 140004141018871 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
/proc/14766/statm: 2711747 109041 3628 1 0 2673805 0
[pid=14766/tid=14819] ppid=14763 vsize=10846988 memory=426988 CPUtime=2321.09 cores=1,3,5,7
/proc/14766/task/14819/stat : 14819 (java) R 14763 14766 13903 0 -1 4202560 264736 13313 0 0 231987 114 5 3 20 0 15 0 472939357 11107315712 109041 33554432000 4194304 4196468 140725466800576 140004112855216 140003737934704 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14820] ppid=14763 vsize=10846988 memory=436736 CPUtime=13.98 cores=1,3,5,7
/proc/14766/task/14820/stat : 14820 (java) S 14763 14766 13903 0 -1 1077944384 42929 13313 0 0 1332 58 5 3 20 0 15 0 472939358 11107315712 109041 33554432000 4194304 4196468 140725466800576 140004145260944 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14821] ppid=14763 vsize=10846988 memory=423168 CPUtime=13.97 cores=1,3,5,7
/proc/14766/task/14821/stat : 14821 (java) S 14763 14766 13903 0 -1 1077944384 44310 13313 0 0 1330 59 5 3 20 0 15 0 472939358 11107315712 109041 33554432000 4194304 4196468 140725466800576 140004060080400 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14822] ppid=14763 vsize=10846988 memory=433144 CPUtime=13.98 cores=1,3,5,7
/proc/14766/task/14822/stat : 14822 (java) S 14763 14766 13903 0 -1 1077944384 38284 13313 0 0 1337 53 5 3 20 0 15 0 472939358 11107315712 109041 33554432000 4194304 4196468 140725466800576 140004059028112 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14823] ppid=14763 vsize=10846988 memory=436164 CPUtime=14 cores=1,3,5,7
/proc/14766/task/14823/stat : 14823 (java) S 14763 14766 13903 0 -1 1077944384 37921 13313 0 0 1341 51 5 3 20 0 15 0 472939358 11107315712 109041 33554432000 4194304 4196468 140725466800576 140004057975312 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14824] ppid=14763 vsize=10846988 memory=3612 CPUtime=8.15 cores=1,3,5,7
/proc/14766/task/14824/stat : 14824 (java) S 14763 14766 13903 0 -1 1077944384 19084 13313 0 0 747 60 5 3 20 0 15 0 472939360 11107315712 109041 33554432000 4194304 4196468 140725466800576 140003667679856 140004141030018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14825] ppid=14763 vsize=10846988 memory=7440056984007045732 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14825/stat : 14825 (java) S 14763 14766 13903 0 -1 1077944384 24 13313 0 0 0 0 5 3 20 0 15 0 472939360 11107315712 109041 33554432000 4194304 4196468 140725466800576 140003585811808 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14826] ppid=14763 vsize=10846988 memory=432632 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14826/stat : 14826 (java) S 14763 14766 13903 0 -1 1077944384 10 13313 0 0 0 0 5 3 20 0 15 0 472939360 11107315712 109041 33554432000 4194304 4196468 140725466800576 140003451594368 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14827] ppid=14763 vsize=10846988 memory=436964 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14827/stat : 14827 (java) S 14763 14766 13903 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 15 0 472939363 11107315712 109041 33554432000 4194304 4196468 140725466800576 140002847615568 140004141037467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14828] ppid=14763 vsize=10846988 memory=436964 CPUtime=5.86 cores=1,3,5,7
/proc/14766/task/14828/stat : 14828 (java) S 14763 14766 13903 0 -1 1077944384 17058 13313 0 0 574 4 5 3 20 0 15 0 472939363 11107315712 109041 33554432000 4194304 4196468 140725466800576 140003666626672 140004141030018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14829] ppid=14763 vsize=10846988 memory=437184 CPUtime=5.95 cores=1,3,5,7
/proc/14766/task/14829/stat : 14829 (java) S 14763 14766 13903 0 -1 1077944384 14220 13313 0 0 585 2 5 3 20 0 15 0 472939363 11107315712 109041 33554432000 4194304 4196468 140725466800576 140003665573872 140004141030018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14830] ppid=14763 vsize=10846988 memory=430064 CPUtime=2.17 cores=1,3,5,7
/proc/14766/task/14830/stat : 14830 (java) S 14763 14766 13903 0 -1 1077944384 13477 13313 0 0 205 4 5 3 20 0 15 0 472939363 11107315712 109041 33554432000 4194304 4196468 140725466800576 140003664521584 140004141030018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14831] ppid=14763 vsize=10846988 memory=430580 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14831/stat : 14831 (java) S 14763 14766 13903 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 472939363 11107315712 109041 33554432000 4194304 4196468 140725466800576 140002377853408 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14832] ppid=14763 vsize=10846988 memory=6791534058613427641 CPUtime=1.46 cores=1,3,5,7
/proc/14766/task/14832/stat : 14832 (java) S 14763 14766 13903 0 -1 1077944384 1101 13313 0 0 63 75 5 3 20 0 15 0 472939364 11107315712 109041 33554432000 4194304 4196468 140725466800576 140003663469488 140004141030018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 436164 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2345.73 s]
# the end of solver process 14766 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2395.61 s, system=4.45385 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2345.7 s]
/proc/loadavg: 1.26 1.46 1.45 2/211 15073
/proc/meminfo: memFree=3937816/32770624 swapFree=66966844/67108860
[pid=14766] ppid=14763 vsize=10846988 memory=436164 CPUtime=2400.01 cores=1,3,5,7
/proc/14766/stat : 14766 (java) S 14763 14766 13903 0 -1 1077944320 495364 13313 0 0 239553 440 5 3 20 0 15 0 472939348 11107315712 109041 33554432000 4194304 4196468 140725466800576 140725466783120 140004141018871 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
/proc/14766/statm: 2711747 109041 3628 1 0 2673805 0
[pid=14766/tid=14819] ppid=14763 vsize=10846988 memory=426988 CPUtime=2321.09 cores=1,3,5,7
/proc/14766/task/14819/stat : 14819 (java) R 14763 14766 13903 0 -1 4202560 264736 13313 0 0 231987 114 5 3 20 0 15 0 472939357 11107315712 109041 33554432000 4194304 4196468 140725466800576 140004112855216 140003737934704 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14820] ppid=14763 vsize=10846988 memory=436736 CPUtime=13.98 cores=1,3,5,7
/proc/14766/task/14820/stat : 14820 (java) S 14763 14766 13903 0 -1 1077944384 42929 13313 0 0 1332 58 5 3 20 0 15 0 472939358 11107315712 109041 33554432000 4194304 4196468 140725466800576 140004145260944 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14821] ppid=14763 vsize=10846988 memory=423168 CPUtime=13.97 cores=1,3,5,7
/proc/14766/task/14821/stat : 14821 (java) S 14763 14766 13903 0 -1 1077944384 44310 13313 0 0 1330 59 5 3 20 0 15 0 472939358 11107315712 109041 33554432000 4194304 4196468 140725466800576 140004060080400 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14822] ppid=14763 vsize=10846988 memory=433144 CPUtime=13.98 cores=1,3,5,7
/proc/14766/task/14822/stat : 14822 (java) S 14763 14766 13903 0 -1 1077944384 38284 13313 0 0 1337 53 5 3 20 0 15 0 472939358 11107315712 109041 33554432000 4194304 4196468 140725466800576 140004059028112 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14823] ppid=14763 vsize=10846988 memory=436164 CPUtime=14 cores=1,3,5,7
/proc/14766/task/14823/stat : 14823 (java) S 14763 14766 13903 0 -1 1077944384 37921 13313 0 0 1341 51 5 3 20 0 15 0 472939358 11107315712 109041 33554432000 4194304 4196468 140725466800576 140004057975312 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14824] ppid=14763 vsize=10846988 memory=3612 CPUtime=8.15 cores=1,3,5,7
/proc/14766/task/14824/stat : 14824 (java) S 14763 14766 13903 0 -1 1077944384 19084 13313 0 0 747 60 5 3 20 0 15 0 472939360 11107315712 109041 33554432000 4194304 4196468 140725466800576 140003667679856 140004141030018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14825] ppid=14763 vsize=10846988 memory=7440056984007045732 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14825/stat : 14825 (java) S 14763 14766 13903 0 -1 1077944384 24 13313 0 0 0 0 5 3 20 0 15 0 472939360 11107315712 109041 33554432000 4194304 4196468 140725466800576 140003585811808 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14826] ppid=14763 vsize=10846988 memory=432632 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14826/stat : 14826 (java) S 14763 14766 13903 0 -1 1077944384 10 13313 0 0 0 0 5 3 20 0 15 0 472939360 11107315712 109041 33554432000 4194304 4196468 140725466800576 140003451594368 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14827] ppid=14763 vsize=10846988 memory=436964 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14827/stat : 14827 (java) S 14763 14766 13903 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 15 0 472939363 11107315712 109041 33554432000 4194304 4196468 140725466800576 140002847615568 140004141037467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14828] ppid=14763 vsize=10846988 memory=436964 CPUtime=5.86 cores=1,3,5,7
/proc/14766/task/14828/stat : 14828 (java) S 14763 14766 13903 0 -1 1077944384 17058 13313 0 0 574 4 5 3 20 0 15 0 472939363 11107315712 109041 33554432000 4194304 4196468 140725466800576 140003666626672 140004141030018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14829] ppid=14763 vsize=10846988 memory=437184 CPUtime=5.95 cores=1,3,5,7
/proc/14766/task/14829/stat : 14829 (java) S 14763 14766 13903 0 -1 1077944384 14220 13313 0 0 585 2 5 3 20 0 15 0 472939363 11107315712 109041 33554432000 4194304 4196468 140725466800576 140003665573872 140004141030018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14830] ppid=14763 vsize=10846988 memory=430064 CPUtime=2.17 cores=1,3,5,7
/proc/14766/task/14830/stat : 14830 (java) S 14763 14766 13903 0 -1 1077944384 13477 13313 0 0 205 4 5 3 20 0 15 0 472939363 11107315712 109041 33554432000 4194304 4196468 140725466800576 140003664521584 140004141030018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14831] ppid=14763 vsize=10846988 memory=430580 CPUtime=0.08 cores=1,3,5,7
/proc/14766/task/14831/stat : 14831 (java) S 14763 14766 13903 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 472939363 11107315712 109041 33554432000 4194304 4196468 140725466800576 140002377853408 140004141029077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
[pid=14766/tid=14832] ppid=14763 vsize=10846988 memory=6791534058613427641 CPUtime=1.46 cores=1,3,5,7
/proc/14766/task/14832/stat : 14832 (java) S 14763 14766 13903 0 -1 1077944384 1101 13313 0 0 63 75 5 3 20 0 15 0 472939364 11107315712 109041 33554432000 4194304 4196468 140725466800576 140003663469488 140004141030018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11849728 140725466802787 140725466805429 140725466805429 140725466808271 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 436164 KiB
Child status: 143
Real time (s): 2345.73
CPU time (s): 2400.06
CPU user time (s): 2395.61
CPU system time (s): 4.45385
CPU usage (%): 102.316
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 1604628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.61
system time used= 4.45385
maximum resident set size= 1604628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 512355
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 207782
involuntary context switches= 5751
# summary of solver processes directly reported to runsolver:
# pid: 14766
# total CPU time (s): 2400.06
# total CPU user time (s): 2395.61
# total CPU system time (s): 4.45385
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.458 second user time and 21.7941 second system time
The end