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 (14781 MiB free)
memory of node 1: 16384 MiB (10555 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401123-1568694476/watcher-4401123-1568694476 -o /tmp/evaluation-result-4401123-1568694476/solver-4401123-1568694476 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568673290-5121 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1267883449 HOME/instance-4401123-1568694476.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=11074, runsolver pid=11071
[startup+0.100092 s]*
/proc/loadavg: 2.18 1.85 1.69 3/218 11131
/proc/meminfo: memFree=25938432/32770624 swapFree=67001992/67108860
[pid=11074] ppid=11071 vsize=9972712 memory=18332 CPUtime=0.09 cores=0,2,4,6
/proc/11074/stat : 11074 (java) S 11071 11074 5090 0 -1 1077944320 4343 13136 0 0 1 0 5 3 20 0 6 0 445361637 10212057088 4583 33554432000 4194304 4196468 140725056744752 140725056727296 140607080586999 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
/proc/11074/statm: 2493178 4583 1931 1 0 2481616 0
[pid=11074/tid=11127] ppid=11071 vsize=9972712 memory=8514726395714820750 CPUtime=0.09 cores=0,2,4,6
/proc/11074/task/11127/stat : 11127 (java) R 11071 11074 5090 0 -1 4202560 2136 13136 0 0 1 0 5 3 20 0 6 0 445361646 10212057088 4583 33554432000 4194304 4196468 140725056744752 140607052423760 140607080608925 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11128] ppid=11071 vsize=9972712 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11128/stat : 11128 (java) S 11071 11074 5090 0 -1 1077944384 2 13136 0 0 0 0 5 3 20 0 6 0 445361647 10212057088 4583 33554432000 4194304 4196468 140725056744752 140607084829584 140607080597205 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11129] ppid=11071 vsize=9972712 memory=140418515404416 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11129/stat : 11129 (java) S 11071 11074 5090 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 6 0 445361647 10212057088 4583 33554432000 4194304 4196468 140725056744752 140606973102864 140607080597205 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11130] ppid=11071 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11130/stat : 11130 (java) S 11071 11074 5090 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 6 0 445361647 10212057088 4583 33554432000 4194304 4196468 140725056744752 140606972050576 140607080597205 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11131] ppid=11071 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11131/stat : 11131 (java) S 11071 11074 5090 0 -1 1077944384 2 13136 0 0 0 0 5 3 20 0 6 0 445361647 10212057088 4583 33554432000 4194304 4196468 140725056744752 140606970997776 140607080597205 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18332 KiB
[startup+0.209915 s]*
/proc/loadavg: 2.18 1.85 1.69 3/227 11140
/proc/meminfo: memFree=25916900/32770624 swapFree=67001992/67108860
[pid=11074] ppid=11071 vsize=10820196 memory=41108 CPUtime=0.27 cores=0,2,4,6
/proc/11074/stat : 11074 (java) S 11071 11074 5090 0 -1 1077944320 7108 13136 0 0 18 1 5 3 20 0 15 0 445361637 11079880704 10277 33554432000 4194304 4196468 140725056744752 140725056727296 140607080586999 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
/proc/11074/statm: 2705049 10277 3306 1 0 2667149 0
[pid=11074/tid=11127] ppid=11071 vsize=10820196 memory=5450916389569530688 CPUtime=0.19 cores=0,2,4,6
/proc/11074/task/11127/stat : 11127 (java) R 11071 11074 5090 0 -1 4202560 3596 13136 0 0 11 0 5 3 20 0 15 0 445361646 11079880704 10277 33554432000 4194304 4196468 140725056744752 140607052383040 140607063773808 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11128] ppid=11071 vsize=10820196 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11128/stat : 11128 (java) S 11071 11074 5090 0 -1 1077944384 2 13136 0 0 0 0 5 3 20 0 15 0 445361647 11079880704 10277 33554432000 4194304 4196468 140725056744752 140607084829584 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11129] ppid=11071 vsize=10820196 memory=140418515404416 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11129/stat : 11129 (java) S 11071 11074 5090 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 445361647 11079880704 10277 33554432000 4194304 4196468 140725056744752 140606973102864 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11130] ppid=11071 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11130/stat : 11130 (java) S 11071 11074 5090 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 445361647 11079880704 10277 33554432000 4194304 4196468 140725056744752 140606972050576 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11131] ppid=11071 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11131/stat : 11131 (java) S 11071 11074 5090 0 -1 1077944384 2 13136 0 0 0 0 5 3 20 0 15 0 445361647 11079880704 10277 33554432000 4194304 4196468 140725056744752 140606970997776 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11132] ppid=11071 vsize=10820196 memory=140418515404416 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11132/stat : 11132 (java) S 11071 11074 5090 0 -1 1077944384 2 13136 0 0 0 0 5 3 20 0 15 0 445361648 11079880704 10277 33554432000 4194304 4196468 140725056744752 140606538987632 140607080598146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11133] ppid=11071 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11133/stat : 11133 (java) S 11071 11074 5090 0 -1 1077944384 33 13136 0 0 0 0 5 3 20 0 15 0 445361648 11079880704 10277 33554432000 4194304 4196468 140725056744752 140606537933600 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11134] ppid=11071 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11134/stat : 11134 (java) S 11071 11074 5090 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 445361649 11079880704 10277 33554432000 4194304 4196468 140725056744752 140605954974832 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11135] ppid=11071 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11135/stat : 11135 (java) S 11071 11074 5090 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 445361651 11079880704 10277 33554432000 4194304 4196468 140725056744752 140605647575120 140607080605595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11136] ppid=11071 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11074/task/11136/stat : 11136 (java) S 11071 11074 5090 0 -1 1077944384 369 13136 0 0 1 0 5 3 20 0 15 0 445361651 11079880704 10277 33554432000 4194304 4196468 140725056744752 140606504376944 140607080598146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11137] ppid=11071 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/11074/task/11137/stat : 11137 (java) S 11071 11074 5090 0 -1 1077944384 286 13136 0 0 1 0 5 3 20 0 15 0 445361651 11079880704 10277 33554432000 4194304 4196468 140725056744752 140606503324144 140607080598146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11138] ppid=11071 vsize=10820196 memory=140418515404416 CPUtime=0.11 cores=0,2,4,6
/proc/11074/task/11138/stat : 11138 (java) S 11071 11074 5090 0 -1 1077944384 599 13136 0 0 3 0 5 3 20 0 15 0 445361651 11079880704 10277 33554432000 4194304 4196468 140725056744752 140606502271856 140607080598146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11139] ppid=11071 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11139/stat : 11139 (java) S 11071 11074 5090 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 445361652 11079880704 10277 33554432000 4194304 4196468 140725056744752 140605614017504 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11140] ppid=11071 vsize=10820196 memory=140418515404416 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11140/stat : 11140 (java) S 11071 11074 5090 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 445361652 11079880704 10277 33554432000 4194304 4196468 140725056744752 140606501218736 140607080598146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 41108 KiB
[startup+0.310271 s]*
/proc/loadavg: 2.18 1.85 1.69 3/227 11140
/proc/meminfo: memFree=25906672/32770624 swapFree=67001992/67108860
[pid=11074] ppid=11071 vsize=10820196 memory=49476 CPUtime=0.4 cores=0,2,4,6
/proc/11074/stat : 11074 (java) S 11071 11074 5090 0 -1 1077944320 10607 13136 0 0 30 2 5 3 20 0 15 0 445361637 11079880704 12369 33554432000 4194304 4196468 140725056744752 140725056727296 140607080586999 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
/proc/11074/statm: 2705049 12369 3317 1 0 2667149 0
[pid=11074/tid=11127] ppid=11071 vsize=10820196 memory=1398722017469774279 CPUtime=0.29 cores=0,2,4,6
/proc/11074/task/11127/stat : 11127 (java) R 11071 11074 5090 0 -1 4202560 7085 13136 0 0 19 2 5 3 20 0 15 0 445361646 11079880704 12369 33554432000 4194304 4196468 140725056744752 140607052399264 140607064667486 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11128] ppid=11071 vsize=10820196 memory=6154857642014827879 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11128/stat : 11128 (java) S 11071 11074 5090 0 -1 1077944384 2 13136 0 0 0 0 5 3 20 0 15 0 445361647 11079880704 12369 33554432000 4194304 4196468 140725056744752 140607084829584 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11129] ppid=11071 vsize=10820196 memory=5787213827347079232 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11129/stat : 11129 (java) S 11071 11074 5090 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 445361647 11079880704 12369 33554432000 4194304 4196468 140725056744752 140606973102864 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11130] ppid=11071 vsize=10820196 memory=7649539794110924737 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11130/stat : 11130 (java) S 11071 11074 5090 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 445361647 11079880704 12369 33554432000 4194304 4196468 140725056744752 140606972050576 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11131] ppid=11071 vsize=10820196 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11131/stat : 11131 (java) S 11071 11074 5090 0 -1 1077944384 2 13136 0 0 0 0 5 3 20 0 15 0 445361647 11079880704 12369 33554432000 4194304 4196468 140725056744752 140606970997776 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11132] ppid=11071 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11132/stat : 11132 (java) S 11071 11074 5090 0 -1 1077944384 2 13136 0 0 0 0 5 3 20 0 15 0 445361648 11079880704 12369 33554432000 4194304 4196468 140725056744752 140606538987632 140607080598146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11133] ppid=11071 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11133/stat : 11133 (java) S 11071 11074 5090 0 -1 1077944384 33 13136 0 0 0 0 5 3 20 0 15 0 445361648 11079880704 12369 33554432000 4194304 4196468 140725056744752 140606537933600 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11134] ppid=11071 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11134/stat : 11134 (java) S 11071 11074 5090 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 445361649 11079880704 12369 33554432000 4194304 4196468 140725056744752 140605954974832 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11135] ppid=11071 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11135/stat : 11135 (java) S 11071 11074 5090 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 445361651 11079880704 12369 33554432000 4194304 4196468 140725056744752 140605647575120 140607080605595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11136] ppid=11071 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/11074/task/11136/stat : 11136 (java) S 11071 11074 5090 0 -1 1077944384 370 13136 0 0 2 0 5 3 20 0 15 0 445361651 11079880704 12369 33554432000 4194304 4196468 140725056744752 140606504376944 140607080598146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11137] ppid=11071 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11074/task/11137/stat : 11137 (java) S 11071 11074 5090 0 -1 1077944384 286 13136 0 0 1 0 5 3 20 0 15 0 445361651 11079880704 12369 33554432000 4194304 4196468 140725056744752 140606503324144 140607080598146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11138] ppid=11071 vsize=10820196 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/11074/task/11138/stat : 11138 (java) S 11071 11074 5090 0 -1 1077944384 608 13136 0 0 5 0 5 3 20 0 15 0 445361651 11079880704 12369 33554432000 4194304 4196468 140725056744752 140606502271856 140607080598146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11139] ppid=11071 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11139/stat : 11139 (java) S 11071 11074 5090 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 445361652 11079880704 12369 33554432000 4194304 4196468 140725056744752 140605614017504 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11140] ppid=11071 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11140/stat : 11140 (java) S 11071 11074 5090 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 445361652 11079880704 12369 33554432000 4194304 4196468 140725056744752 140606501218736 140607080598146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 49476 KiB
[startup+0.700739 s]
/proc/loadavg: 2.18 1.85 1.69 3/227 11140
/proc/meminfo: memFree=25892648/32770624 swapFree=67001992/67108860
[pid=11074] ppid=11071 vsize=10824364 memory=81396 CPUtime=1.14 cores=0,2,4,6
/proc/11074/stat : 11074 (java) S 11071 11074 5090 0 -1 1077944320 14561 13136 0 0 101 5 5 3 20 0 15 0 445361637 11084148736 20349 33554432000 4194304 4196468 140725056744752 140725056727296 140607080586999 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
/proc/11074/statm: 2706091 20349 3509 1 0 2668173 0
[pid=11074/tid=11127] ppid=11071 vsize=10824364 memory=2241 CPUtime=0.67 cores=0,2,4,6
/proc/11074/task/11127/stat : 11127 (java) R 11071 11074 5090 0 -1 4202560 10071 13136 0 0 55 4 5 3 20 0 15 0 445361646 11084148736 20349 33554432000 4194304 4196468 140725056744752 140607052401504 140607080608925 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11128] ppid=11071 vsize=10824364 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11128/stat : 11128 (java) S 11071 11074 5090 0 -1 1077944384 2 13136 0 0 0 0 5 3 20 0 15 0 445361647 11084148736 20349 33554432000 4194304 4196468 140725056744752 140607084829584 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11129] ppid=11071 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11129/stat : 11129 (java) S 11071 11074 5090 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 445361647 11084148736 20349 33554432000 4194304 4196468 140725056744752 140606973102864 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11130] ppid=11071 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11130/stat : 11130 (java) S 11071 11074 5090 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 445361647 11084148736 20349 33554432000 4194304 4196468 140725056744752 140606972050576 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11131] ppid=11071 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11131/stat : 11131 (java) S 11071 11074 5090 0 -1 1077944384 2 13136 0 0 0 0 5 3 20 0 15 0 445361647 11084148736 20349 33554432000 4194304 4196468 140725056744752 140606970997776 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11132] ppid=11071 vsize=10824364 memory=6944652177228980320 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11132/stat : 11132 (java) S 11071 11074 5090 0 -1 1077944384 5 13136 0 0 0 0 5 3 20 0 15 0 445361648 11084148736 20349 33554432000 4194304 4196468 140725056744752 140606538987632 140607080598146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11133] ppid=11071 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11133/stat : 11133 (java) S 11071 11074 5090 0 -1 1077944384 33 13136 0 0 0 0 5 3 20 0 15 0 445361648 11084148736 20349 33554432000 4194304 4196468 140725056744752 140606537933600 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11134] ppid=11071 vsize=10824364 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11134/stat : 11134 (java) S 11071 11074 5090 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 445361649 11084148736 20349 33554432000 4194304 4196468 140725056744752 140605954974832 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11135] ppid=11071 vsize=10824364 memory=6944656592455097440 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11135/stat : 11135 (java) S 11071 11074 5090 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 445361651 11084148736 20349 33554432000 4194304 4196468 140725056744752 140605647575120 140607080605595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11136] ppid=11071 vsize=10824364 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/11074/task/11136/stat : 11136 (java) S 11071 11074 5090 0 -1 1077944384 806 13136 0 0 14 0 5 3 20 0 15 0 445361651 11084148736 20349 33554432000 4194304 4196468 140725056744752 140606504376944 140607080598146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11137] ppid=11071 vsize=10824364 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/11074/task/11137/stat : 11137 (java) R 11071 11074 5090 0 -1 4202560 679 13136 0 0 12 0 5 3 20 0 15 0 445361651 11084148736 20349 33554432000 4194304 4196468 140725056744752 140606503324144 140607065468845 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11138] ppid=11071 vsize=10824364 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/11074/task/11138/stat : 11138 (java) S 11071 11074 5090 0 -1 1077944384 742 13136 0 0 17 0 5 3 20 0 15 0 445361651 11084148736 20349 33554432000 4194304 4196468 140725056744752 140606502271856 140607080598146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11139] ppid=11071 vsize=10824364 memory=140418385741808 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11139/stat : 11139 (java) S 11071 11074 5090 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 445361652 11084148736 20349 33554432000 4194304 4196468 140725056744752 140605614017504 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11140] ppid=11071 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11140/stat : 11140 (java) S 11071 11074 5090 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 445361652 11084148736 20349 33554432000 4194304 4196468 140725056744752 140606501218736 140607080598146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 81396 KiB
[startup+1.50089 s]
/proc/loadavg: 2.18 1.85 1.69 5/227 11140
/proc/meminfo: memFree=25834020/32770624 swapFree=67001992/67108860
[pid=11074] ppid=11071 vsize=10832632 memory=211780 CPUtime=3.24 cores=0,2,4,6
/proc/11074/stat : 11074 (java) S 11071 11074 5090 0 -1 1077944320 25426 13136 0 0 307 9 5 3 20 0 15 0 445361637 11092615168 52945 33554432000 4194304 4196468 140725056744752 140725056727296 140607080586999 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
/proc/11074/statm: 2708158 52945 3585 1 0 2670221 0
[pid=11074/tid=11127] ppid=11071 vsize=10832632 memory=26 CPUtime=1.42 cores=0,2,4,6
/proc/11074/task/11127/stat : 11127 (java) R 11071 11074 5090 0 -1 4202560 14578 13136 0 0 129 5 5 3 20 0 15 0 445361646 11092615168 52945 33554432000 4194304 4196468 140725056744752 140607052415184 140607080608925 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11128] ppid=11071 vsize=10832632 memory=30 CPUtime=0.09 cores=0,2,4,6
/proc/11074/task/11128/stat : 11128 (java) S 11071 11074 5090 0 -1 1077944384 275 13136 0 0 1 0 5 3 20 0 15 0 445361647 11092615168 52945 33554432000 4194304 4196468 140725056744752 140607084829584 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11129] ppid=11071 vsize=10832632 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11074/task/11129/stat : 11129 (java) S 11071 11074 5090 0 -1 1077944384 36 13136 0 0 1 0 5 3 20 0 15 0 445361647 11092615168 52945 33554432000 4194304 4196468 140725056744752 140606973102864 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11130] ppid=11071 vsize=10832632 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11074/task/11130/stat : 11130 (java) S 11071 11074 5090 0 -1 1077944384 24 13136 0 0 1 0 5 3 20 0 15 0 445361647 11092615168 52945 33554432000 4194304 4196468 140725056744752 140606972050576 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11131] ppid=11071 vsize=10832632 memory=104980 CPUtime=0.09 cores=0,2,4,6
/proc/11074/task/11131/stat : 11131 (java) S 11071 11074 5090 0 -1 1077944384 49 13136 0 0 1 0 5 3 20 0 15 0 445361647 11092615168 52945 33554432000 4194304 4196468 140725056744752 140606970997776 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11132] ppid=11071 vsize=10832632 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11074/task/11132/stat : 11132 (java) S 11071 11074 5090 0 -1 1077944384 94 13136 0 0 1 0 5 3 20 0 15 0 445361648 11092615168 52945 33554432000 4194304 4196468 140725056744752 140606538987632 140607080598146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11133] ppid=11071 vsize=10832632 memory=6296149172610225255 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11133/stat : 11133 (java) S 11071 11074 5090 0 -1 1077944384 33 13136 0 0 0 0 5 3 20 0 15 0 445361648 11092615168 52945 33554432000 4194304 4196468 140725056744752 140606537933664 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11134] ppid=11071 vsize=10832632 memory=7739838807593607777 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11134/stat : 11134 (java) S 11071 11074 5090 0 -1 1077944384 2 13136 0 0 0 0 5 3 20 0 15 0 445361649 11092615168 52945 33554432000 4194304 4196468 140725056744752 140605954974832 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11135] ppid=11071 vsize=10832632 memory=7595413570358176615 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11135/stat : 11135 (java) S 11071 11074 5090 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 445361651 11092615168 52945 33554432000 4194304 4196468 140725056744752 140605647575120 140607080605595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11136] ppid=11071 vsize=10832632 memory=5787218259806017892 CPUtime=0.7 cores=0,2,4,6
/proc/11074/task/11136/stat : 11136 (java) S 11071 11074 5090 0 -1 1077944384 2640 13136 0 0 62 0 5 3 20 0 15 0 445361651 11092615168 52945 33554432000 4194304 4196468 140725056744752 140606504376944 140607080598146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11137] ppid=11071 vsize=10832632 memory=7450479250113129833 CPUtime=0.68 cores=0,2,4,6
/proc/11074/task/11137/stat : 11137 (java) S 11071 11074 5090 0 -1 1077944384 3767 13136 0 0 60 0 5 3 20 0 15 0 445361651 11092615168 52945 33554432000 4194304 4196468 140725056744752 140606503324144 140607080598146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11138] ppid=11071 vsize=10832632 memory=6296149172610225255 CPUtime=0.52 cores=0,2,4,6
/proc/11074/task/11138/stat : 11138 (java) S 11071 11074 5090 0 -1 1077944384 1710 13136 0 0 44 0 5 3 20 0 15 0 445361651 11092615168 52945 33554432000 4194304 4196468 140725056744752 140606502271856 140607080598146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11139] ppid=11071 vsize=10832632 memory=6296149172610225255 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11139/stat : 11139 (java) S 11071 11074 5090 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 445361652 11092615168 52945 33554432000 4194304 4196468 140725056744752 140605614017504 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11140] ppid=11071 vsize=10832632 memory=56 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11140/stat : 11140 (java) S 11071 11074 5090 0 -1 1077944384 1 13136 0 0 0 0 5 3 20 0 15 0 445361652 11092615168 52945 33554432000 4194304 4196468 140725056744752 140606501218736 140607080598146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
Current children cumulated CPU time: 3.24 s
Current children cumulated vsize: 10832632 KiB
################
# More data... #
################
/proc/11074/task/11127/stat : 11127 (java) R 11071 11074 5090 0 -1 4202560 143461 13136 0 0 235735 61 5 3 20 0 15 0 445361646 11113619456 103056 33554432000 4194304 4196468 140725056744752 140607052423056 140606649637979 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11128] ppid=11071 vsize=10853144 memory=6036 CPUtime=13.2 cores=0,2,4,6
/proc/11074/task/11128/stat : 11128 (java) S 11071 11074 5090 0 -1 1077944384 17426 13136 0 0 1252 60 5 3 20 0 15 0 445361647 11113619456 103056 33554432000 4194304 4196468 140725056744752 140607084829584 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11129] ppid=11071 vsize=10853144 memory=413252 CPUtime=13.18 cores=0,2,4,6
/proc/11074/task/11129/stat : 11129 (java) S 11071 11074 5090 0 -1 1077944384 23669 13136 0 0 1248 62 5 3 20 0 15 0 445361647 11113619456 103056 33554432000 4194304 4196468 140725056744752 140606973102864 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11130] ppid=11071 vsize=10853144 memory=396260 CPUtime=13.15 cores=0,2,4,6
/proc/11074/task/11130/stat : 11130 (java) S 11071 11074 5090 0 -1 1077944384 17211 13136 0 0 1246 61 5 3 20 0 15 0 445361647 11113619456 103056 33554432000 4194304 4196468 140725056744752 140606972050576 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11131] ppid=11071 vsize=10853144 memory=399668 CPUtime=13.21 cores=0,2,4,6
/proc/11074/task/11131/stat : 11131 (java) S 11071 11074 5090 0 -1 1077944384 18835 13136 0 0 1256 57 5 3 20 0 15 0 445361647 11113619456 103056 33554432000 4194304 4196468 140725056744752 140606970997776 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11132] ppid=11071 vsize=10853144 memory=396592 CPUtime=8.67 cores=0,2,4,6
/proc/11074/task/11132/stat : 11132 (java) S 11071 11074 5090 0 -1 1077944384 13170 13136 0 0 793 66 5 3 20 0 15 0 445361648 11113619456 103056 33554432000 4194304 4196468 140725056744752 140606538987632 140607080598146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11133] ppid=11071 vsize=10853144 memory=397048 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11133/stat : 11133 (java) S 11071 11074 5090 0 -1 1077944384 43 13136 0 0 0 0 5 3 20 0 15 0 445361648 11113619456 103056 33554432000 4194304 4196468 140725056744752 140606537933664 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11134] ppid=11071 vsize=10853144 memory=403772 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11134/stat : 11134 (java) S 11071 11074 5090 0 -1 1077944384 5 13136 0 0 0 0 5 3 20 0 15 0 445361649 11113619456 103056 33554432000 4194304 4196468 140725056744752 140605954974848 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11135] ppid=11071 vsize=10853144 memory=401208 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11135/stat : 11135 (java) S 11071 11074 5090 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 445361651 11113619456 103056 33554432000 4194304 4196468 140725056744752 140605647575120 140607080605595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11136] ppid=11071 vsize=10853144 memory=402524 CPUtime=8.65 cores=0,2,4,6
/proc/11074/task/11136/stat : 11136 (java) S 11071 11074 5090 0 -1 1077944384 52197 13136 0 0 849 8 5 3 20 0 15 0 445361651 11113619456 103056 33554432000 4194304 4196468 140725056744752 140606504376944 140607080598146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11137] ppid=11071 vsize=10853144 memory=1096 CPUtime=8.48 cores=0,2,4,6
/proc/11074/task/11137/stat : 11137 (java) S 11071 11074 5090 0 -1 1077944384 53046 13136 0 0 830 10 5 3 20 0 15 0 445361651 11113619456 103056 33554432000 4194304 4196468 140725056744752 140606503324144 140607080598146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11138] ppid=11071 vsize=10853144 memory=403188 CPUtime=6.88 cores=0,2,4,6
/proc/11074/task/11138/stat : 11138 (java) S 11071 11074 5090 0 -1 1077944384 67810 13136 0 0 669 11 5 3 20 0 15 0 445361651 11113619456 103056 33554432000 4194304 4196468 140725056744752 140606502271856 140607080598146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11139] ppid=11071 vsize=10853144 memory=412740 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11139/stat : 11139 (java) S 11071 11074 5090 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 445361652 11113619456 103056 33554432000 4194304 4196468 140725056744752 140605614017504 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11140] ppid=11071 vsize=10853144 memory=412740 CPUtime=1.48 cores=0,2,4,6
/proc/11074/task/11140/stat : 11140 (java) S 11071 11074 5090 0 -1 1077944384 2446 13136 0 0 69 71 5 3 20 0 15 0 445361652 11113619456 103056 33554432000 4194304 4196468 140725056744752 140606501218736 140607080598146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
Current children cumulated CPU time: 2444.32 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 412224 KiB
[startup+2442.3 s]
/proc/loadavg: 1.38 1.35 1.41 3/227 11644
/proc/meminfo: memFree=28968772/32770624 swapFree=67002008/67108860
[pid=11074] ppid=11071 vsize=10853144 memory=428032 CPUtime=2505.36 cores=0,2,4,6
/proc/11074/stat : 11074 (java) S 11071 11074 5090 0 -1 1077944320 417091 13136 0 0 250100 428 5 3 20 0 15 0 445361637 11113619456 107008 33554432000 4194304 4196468 140725056744752 140725056727296 140607080586999 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
/proc/11074/statm: 2713286 107008 3632 1 0 2675341 0
[pid=11074/tid=11127] ppid=11071 vsize=10853144 memory=428032 CPUtime=2417.41 cores=0,2,4,6
/proc/11074/task/11127/stat : 11127 (java) R 11071 11074 5090 0 -1 4202560 147077 13136 0 0 241670 63 5 3 20 0 15 0 445361646 11113619456 107008 33554432000 4194304 4196468 140725056744752 140607052422224 140606652030112 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11128] ppid=11071 vsize=10853144 memory=432604 CPUtime=13.55 cores=0,2,4,6
/proc/11074/task/11128/stat : 11128 (java) S 11071 11074 5090 0 -1 1077944384 17777 13136 0 0 1285 62 5 3 20 0 15 0 445361647 11113619456 107008 33554432000 4194304 4196468 140725056744752 140607084829584 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11129] ppid=11071 vsize=10853144 memory=425036 CPUtime=13.53 cores=0,2,4,6
/proc/11074/task/11129/stat : 11129 (java) S 11071 11074 5090 0 -1 1077944384 24236 13136 0 0 1281 64 5 3 20 0 15 0 445361647 11113619456 107008 33554432000 4194304 4196468 140725056744752 140606973102864 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11130] ppid=11071 vsize=10853144 memory=423496 CPUtime=13.51 cores=0,2,4,6
/proc/11074/task/11130/stat : 11130 (java) S 11071 11074 5090 0 -1 1077944384 17619 13136 0 0 1280 63 5 3 20 0 15 0 445361647 11113619456 107008 33554432000 4194304 4196468 140725056744752 140606972050576 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11131] ppid=11071 vsize=10853144 memory=418736 CPUtime=13.57 cores=0,2,4,6
/proc/11074/task/11131/stat : 11131 (java) S 11071 11074 5090 0 -1 1077944384 19199 13136 0 0 1289 60 5 3 20 0 15 0 445361647 11113619456 107008 33554432000 4194304 4196468 140725056744752 140606970997776 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11132] ppid=11071 vsize=10853144 memory=401960 CPUtime=8.88 cores=0,2,4,6
/proc/11074/task/11132/stat : 11132 (java) S 11071 11074 5090 0 -1 1077944384 13404 13136 0 0 812 68 5 3 20 0 15 0 445361648 11113619456 107008 33554432000 4194304 4196468 140725056744752 140606538987632 140607080598146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11133] ppid=11071 vsize=10853144 memory=434452 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11133/stat : 11133 (java) S 11071 11074 5090 0 -1 1077944384 43 13136 0 0 0 0 5 3 20 0 15 0 445361648 11113619456 107008 33554432000 4194304 4196468 140725056744752 140606537933664 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11134] ppid=11071 vsize=10853144 memory=433572 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11134/stat : 11134 (java) S 11071 11074 5090 0 -1 1077944384 5 13136 0 0 0 0 5 3 20 0 15 0 445361649 11113619456 107008 33554432000 4194304 4196468 140725056744752 140605954974848 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11135] ppid=11071 vsize=10853144 memory=428032 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11135/stat : 11135 (java) S 11071 11074 5090 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 445361651 11113619456 107008 33554432000 4194304 4196468 140725056744752 140605647575120 140607080605595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11136] ppid=11071 vsize=10853144 memory=428032 CPUtime=8.65 cores=0,2,4,6
/proc/11074/task/11136/stat : 11136 (java) S 11071 11074 5090 0 -1 1077944384 52197 13136 0 0 849 8 5 3 20 0 15 0 445361651 11113619456 107008 33554432000 4194304 4196468 140725056744752 140606504376944 140607080598146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11137] ppid=11071 vsize=10853144 memory=428032 CPUtime=8.48 cores=0,2,4,6
/proc/11074/task/11137/stat : 11137 (java) S 11071 11074 5090 0 -1 1077944384 53046 13136 0 0 830 10 5 3 20 0 15 0 445361651 11113619456 107008 33554432000 4194304 4196468 140725056744752 140606503324144 140607080598146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11138] ppid=11071 vsize=10853144 memory=428032 CPUtime=6.88 cores=0,2,4,6
/proc/11074/task/11138/stat : 11138 (java) S 11071 11074 5090 0 -1 1077944384 67810 13136 0 0 669 11 5 3 20 0 15 0 445361651 11113619456 107008 33554432000 4194304 4196468 140725056744752 140606502271856 140607080598146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11139] ppid=11071 vsize=10853144 memory=428032 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11139/stat : 11139 (java) S 11071 11074 5090 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 445361652 11113619456 107008 33554432000 4194304 4196468 140725056744752 140605614017504 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11140] ppid=11071 vsize=10853144 memory=428032 CPUtime=1.51 cores=0,2,4,6
/proc/11074/task/11140/stat : 11140 (java) S 11071 11074 5090 0 -1 1077944384 2461 13136 0 0 71 72 5 3 20 0 15 0 445361652 11113619456 107008 33554432000 4194304 4196468 140725056744752 140606501218736 140607080598146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
Current children cumulated CPU time: 2505.36 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 428032 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2456.7 s]
/proc/loadavg: 1.36 1.35 1.41 3/227 11645
/proc/meminfo: memFree=28968308/32770624 swapFree=67002008/67108860
[pid=11074] ppid=11071 vsize=10853144 memory=428528 CPUtime=2520.03 cores=0,2,4,6
/proc/11074/stat : 11074 (java) S 11071 11074 5090 0 -1 1077944320 420445 13136 0 0 251565 430 5 3 20 0 15 0 445361637 11113619456 107132 33554432000 4194304 4196468 140725056744752 140725056727296 140607080586999 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
/proc/11074/statm: 2713286 107132 3632 1 0 2675341 0
[pid=11074/tid=11127] ppid=11071 vsize=10853144 memory=428528 CPUtime=2431.65 cores=0,2,4,6
/proc/11074/task/11127/stat : 11127 (java) R 11071 11074 5090 0 -1 4202560 149985 13136 0 0 243094 63 5 3 20 0 15 0 445361646 11113619456 107132 33554432000 4194304 4196468 140725056744752 140607052421632 140606649637439 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11128] ppid=11071 vsize=10853144 memory=428032 CPUtime=13.64 cores=0,2,4,6
/proc/11074/task/11128/stat : 11128 (java) S 11071 11074 5090 0 -1 1077944384 17817 13136 0 0 1294 62 5 3 20 0 15 0 445361647 11113619456 107132 33554432000 4194304 4196468 140725056744752 140607084829584 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11129] ppid=11071 vsize=10853144 memory=428032 CPUtime=13.62 cores=0,2,4,6
/proc/11074/task/11129/stat : 11129 (java) S 11071 11074 5090 0 -1 1077944384 24285 13136 0 0 1290 64 5 3 20 0 15 0 445361647 11113619456 107132 33554432000 4194304 4196468 140725056744752 140606973102864 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11130] ppid=11071 vsize=10853144 memory=432604 CPUtime=13.6 cores=0,2,4,6
/proc/11074/task/11130/stat : 11130 (java) S 11071 11074 5090 0 -1 1077944384 17892 13136 0 0 1289 63 5 3 20 0 15 0 445361647 11113619456 107132 33554432000 4194304 4196468 140725056744752 140606972050576 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11131] ppid=11071 vsize=10853144 memory=425036 CPUtime=13.66 cores=0,2,4,6
/proc/11074/task/11131/stat : 11131 (java) S 11071 11074 5090 0 -1 1077944384 19247 13136 0 0 1298 60 5 3 20 0 15 0 445361647 11113619456 107132 33554432000 4194304 4196468 140725056744752 140606970997776 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11132] ppid=11071 vsize=10853144 memory=423496 CPUtime=8.94 cores=0,2,4,6
/proc/11074/task/11132/stat : 11132 (java) S 11071 11074 5090 0 -1 1077944384 13431 13136 0 0 818 68 5 3 20 0 15 0 445361648 11113619456 107132 33554432000 4194304 4196468 140725056744752 140606538987632 140607080598146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11133] ppid=11071 vsize=10853144 memory=418736 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11133/stat : 11133 (java) S 11071 11074 5090 0 -1 1077944384 43 13136 0 0 0 0 5 3 20 0 15 0 445361648 11113619456 107132 33554432000 4194304 4196468 140725056744752 140606537933664 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11134] ppid=11071 vsize=10853144 memory=401960 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11134/stat : 11134 (java) S 11071 11074 5090 0 -1 1077944384 5 13136 0 0 0 0 5 3 20 0 15 0 445361649 11113619456 107132 33554432000 4194304 4196468 140725056744752 140605954974848 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11135] ppid=11071 vsize=10853144 memory=434452 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11135/stat : 11135 (java) S 11071 11074 5090 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 445361651 11113619456 107132 33554432000 4194304 4196468 140725056744752 140605647575120 140607080605595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11136] ppid=11071 vsize=10853144 memory=433572 CPUtime=8.65 cores=0,2,4,6
/proc/11074/task/11136/stat : 11136 (java) S 11071 11074 5090 0 -1 1077944384 52199 13136 0 0 849 8 5 3 20 0 15 0 445361651 11113619456 107132 33554432000 4194304 4196468 140725056744752 140606504376944 140607080598146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11137] ppid=11071 vsize=10853144 memory=428032 CPUtime=8.48 cores=0,2,4,6
/proc/11074/task/11137/stat : 11137 (java) S 11071 11074 5090 0 -1 1077944384 53048 13136 0 0 830 10 5 3 20 0 15 0 445361651 11113619456 107132 33554432000 4194304 4196468 140725056744752 140606503324144 140607080598146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11138] ppid=11071 vsize=10853144 memory=0 CPUtime=6.88 cores=0,2,4,6
/proc/11074/task/11138/stat : 11138 (java) S 11071 11074 5090 0 -1 1077944384 67812 13136 0 0 669 11 5 3 20 0 15 0 445361651 11113619456 107132 33554432000 4194304 4196468 140725056744752 140606502271856 140607080598146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11139] ppid=11071 vsize=10853144 memory=428032 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11139/stat : 11139 (java) S 11071 11074 5090 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 445361652 11113619456 107132 33554432000 4194304 4196468 140725056744752 140605614017504 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11140] ppid=11071 vsize=10853144 memory=428528 CPUtime=1.52 cores=0,2,4,6
/proc/11074/task/11140/stat : 11140 (java) S 11071 11074 5090 0 -1 1077944384 2464 13136 0 0 71 73 5 3 20 0 15 0 445361652 11113619456 107132 33554432000 4194304 4196468 140725056744752 140606501218736 140607080598146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 428528 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2456.73 s]
# the end of solver process 11074 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.73 s, system=4.3458 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2456.7 s]
/proc/loadavg: 1.36 1.35 1.41 3/227 11645
/proc/meminfo: memFree=28968308/32770624 swapFree=67002008/67108860
[pid=11074] ppid=11071 vsize=10853144 memory=428528 CPUtime=2520.03 cores=0,2,4,6
/proc/11074/stat : 11074 (java) S 11071 11074 5090 0 -1 1077944320 420445 13136 0 0 251565 430 5 3 20 0 15 0 445361637 11113619456 107132 33554432000 4194304 4196468 140725056744752 140725056727296 140607080586999 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
/proc/11074/statm: 2713286 107132 3632 1 0 2675341 0
[pid=11074/tid=11127] ppid=11071 vsize=10853144 memory=428528 CPUtime=2431.65 cores=0,2,4,6
/proc/11074/task/11127/stat : 11127 (java) R 11071 11074 5090 0 -1 4202560 149985 13136 0 0 243094 63 5 3 20 0 15 0 445361646 11113619456 107132 33554432000 4194304 4196468 140725056744752 140607052421632 140606649637439 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11128] ppid=11071 vsize=10853144 memory=428032 CPUtime=13.64 cores=0,2,4,6
/proc/11074/task/11128/stat : 11128 (java) S 11071 11074 5090 0 -1 1077944384 17817 13136 0 0 1294 62 5 3 20 0 15 0 445361647 11113619456 107132 33554432000 4194304 4196468 140725056744752 140607084829584 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11129] ppid=11071 vsize=10853144 memory=428032 CPUtime=13.62 cores=0,2,4,6
/proc/11074/task/11129/stat : 11129 (java) S 11071 11074 5090 0 -1 1077944384 24285 13136 0 0 1290 64 5 3 20 0 15 0 445361647 11113619456 107132 33554432000 4194304 4196468 140725056744752 140606973102864 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11130] ppid=11071 vsize=10853144 memory=432604 CPUtime=13.6 cores=0,2,4,6
/proc/11074/task/11130/stat : 11130 (java) S 11071 11074 5090 0 -1 1077944384 17892 13136 0 0 1289 63 5 3 20 0 15 0 445361647 11113619456 107132 33554432000 4194304 4196468 140725056744752 140606972050576 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11131] ppid=11071 vsize=10853144 memory=425036 CPUtime=13.66 cores=0,2,4,6
/proc/11074/task/11131/stat : 11131 (java) S 11071 11074 5090 0 -1 1077944384 19247 13136 0 0 1298 60 5 3 20 0 15 0 445361647 11113619456 107132 33554432000 4194304 4196468 140725056744752 140606970997776 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11132] ppid=11071 vsize=10853144 memory=423496 CPUtime=8.94 cores=0,2,4,6
/proc/11074/task/11132/stat : 11132 (java) S 11071 11074 5090 0 -1 1077944384 13431 13136 0 0 818 68 5 3 20 0 15 0 445361648 11113619456 107132 33554432000 4194304 4196468 140725056744752 140606538987632 140607080598146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11133] ppid=11071 vsize=10853144 memory=418736 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11133/stat : 11133 (java) S 11071 11074 5090 0 -1 1077944384 43 13136 0 0 0 0 5 3 20 0 15 0 445361648 11113619456 107132 33554432000 4194304 4196468 140725056744752 140606537933664 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11134] ppid=11071 vsize=10853144 memory=401960 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11134/stat : 11134 (java) S 11071 11074 5090 0 -1 1077944384 5 13136 0 0 0 0 5 3 20 0 15 0 445361649 11113619456 107132 33554432000 4194304 4196468 140725056744752 140605954974848 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11135] ppid=11071 vsize=10853144 memory=434452 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11135/stat : 11135 (java) S 11071 11074 5090 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 445361651 11113619456 107132 33554432000 4194304 4196468 140725056744752 140605647575120 140607080605595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11136] ppid=11071 vsize=10853144 memory=433572 CPUtime=8.65 cores=0,2,4,6
/proc/11074/task/11136/stat : 11136 (java) S 11071 11074 5090 0 -1 1077944384 52199 13136 0 0 849 8 5 3 20 0 15 0 445361651 11113619456 107132 33554432000 4194304 4196468 140725056744752 140606504376944 140607080598146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11137] ppid=11071 vsize=10853144 memory=428032 CPUtime=8.48 cores=0,2,4,6
/proc/11074/task/11137/stat : 11137 (java) S 11071 11074 5090 0 -1 1077944384 53048 13136 0 0 830 10 5 3 20 0 15 0 445361651 11113619456 107132 33554432000 4194304 4196468 140725056744752 140606503324144 140607080598146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11138] ppid=11071 vsize=10853144 memory=0 CPUtime=6.88 cores=0,2,4,6
/proc/11074/task/11138/stat : 11138 (java) S 11071 11074 5090 0 -1 1077944384 67812 13136 0 0 669 11 5 3 20 0 15 0 445361651 11113619456 107132 33554432000 4194304 4196468 140725056744752 140606502271856 140607080598146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11139] ppid=11071 vsize=10853144 memory=428032 CPUtime=0.08 cores=0,2,4,6
/proc/11074/task/11139/stat : 11139 (java) S 11071 11074 5090 0 -1 1077944384 3 13136 0 0 0 0 5 3 20 0 15 0 445361652 11113619456 107132 33554432000 4194304 4196468 140725056744752 140605614017504 140607080597205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
[pid=11074/tid=11140] ppid=11071 vsize=10853144 memory=428528 CPUtime=1.52 cores=0,2,4,6
/proc/11074/task/11140/stat : 11140 (java) S 11071 11074 5090 0 -1 1077944384 2464 13136 0 0 71 73 5 3 20 0 15 0 445361652 11113619456 107132 33554432000 4194304 4196468 140725056744752 140606501218736 140607080598146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12128256 140725056748271 140725056750789 140725056750789 140725056753615 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 428528 KiB
Child status: 143
Real time (s): 2456.73
CPU time (s): 2520.07
CPU user time (s): 2515.73
CPU system time (s): 4.3458
CPU usage (%): 102.578
Max. virtual memory (cumulated for all children) (KiB): 10854016
Max. memory (cumulated for all children) (KiB): 1337548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.73
system time used= 4.3458
maximum resident set size= 1339624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 434480
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 249550
involuntary context switches= 7365
# summary of solver processes directly reported to runsolver:
# pid: 11074
# total CPU time (s): 2520.07
# total CPU user time (s): 2515.73
# total CPU system time (s): 4.3458
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9661 second user time and 21.6473 second system time
The end