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 (2094 MiB free)
memory of node 1: 16384 MiB (2121 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403222-1568972654/watcher-4403222-1568972654 -o /var/tmp/evaluation-result-4403222-1568972654/solver-4403222-1568972654 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node136-1568967593-19367 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1308241223 HOME/instance-4403222-1568972654.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=21629, runsolver pid=21626
[startup+0.100061 s]*
/proc/loadavg: 1.51 1.45 1.46 5/220 21686
/proc/meminfo: memFree=4309840/32770624 swapFree=67002224/67108860
[pid=21629] ppid=21626 vsize=9972712 memory=19120 CPUtime=0.09 cores=1,3,5,7
/proc/21629/stat : 21629 (java) S 21626 21629 19335 0 -1 1077944320 4492 13322 0 0 1 0 5 3 20 0 6 0 473514055 10212057088 4780 33554432000 4194304 4196468 140731887864848 140731887847392 140262912065271 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
/proc/21629/statm: 2493178 4780 1935 1 0 2481616 0
[pid=21629/tid=21682] ppid=21626 vsize=9972712 memory=4279135703912971920 CPUtime=0.09 cores=1,3,5,7
/proc/21629/task/21682/stat : 21682 (java) R 21626 21629 19335 0 -1 4202560 2291 13322 0 0 1 0 5 3 20 0 6 0 473514064 10212057088 4780 33554432000 4194304 4196468 140731887864848 140262883902032 140262891366800 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21683] ppid=21626 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21683/stat : 21683 (java) S 21626 21629 19335 0 -1 1077944384 1 13322 0 0 0 0 5 3 20 0 6 0 473514065 10212057088 4780 33554432000 4194304 4196468 140731887864848 140262916307472 140262912075477 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21684] ppid=21626 vsize=9972712 memory=140343301887616 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21684/stat : 21684 (java) S 21626 21629 19335 0 -1 1077944384 1 13322 0 0 0 0 5 3 20 0 6 0 473514065 10212057088 4780 33554432000 4194304 4196468 140731887864848 140262831127184 140262912075477 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21685] ppid=21626 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21685/stat : 21685 (java) S 21626 21629 19335 0 -1 1077944384 1 13322 0 0 0 0 5 3 20 0 6 0 473514065 10212057088 4780 33554432000 4194304 4196468 140731887864848 140262830074128 140262912075477 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21686] ppid=21626 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21686/stat : 21686 (java) S 21626 21629 19335 0 -1 1077944384 2 13322 0 0 0 0 5 3 20 0 6 0 473514065 10212057088 4780 33554432000 4194304 4196468 140731887864848 140262829021584 140262912075477 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 19120 KiB
[startup+0.210102 s]*
/proc/loadavg: 1.51 1.45 1.46 5/229 21695
/proc/meminfo: memFree=4285232/32770624 swapFree=67002224/67108860
[pid=21629] ppid=21626 vsize=10820196 memory=41676 CPUtime=0.27 cores=1,3,5,7
/proc/21629/stat : 21629 (java) S 21626 21629 19335 0 -1 1077944320 7377 13322 0 0 17 2 5 3 20 0 15 0 473514055 11079880704 10419 33554432000 4194304 4196468 140731887864848 140731887847392 140262912065271 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
/proc/21629/statm: 2705049 10419 3290 1 0 2667149 0
[pid=21629/tid=21682] ppid=21626 vsize=10820196 memory=-6517102902069810590 CPUtime=0.19 cores=1,3,5,7
/proc/21629/task/21682/stat : 21682 (java) R 21626 21629 19335 0 -1 4202560 3886 13322 0 0 10 1 5 3 20 0 15 0 473514064 11079880704 10485 33554432000 4194304 4196468 140731887864848 140262883889480 140262896145758 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21683] ppid=21626 vsize=10820196 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21683/stat : 21683 (java) S 21626 21629 19335 0 -1 1077944384 1 13322 0 0 0 0 5 3 20 0 15 0 473514065 11079880704 10485 33554432000 4194304 4196468 140731887864848 140262916307472 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21684] ppid=21626 vsize=10820196 memory=140343301887616 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21684/stat : 21684 (java) S 21626 21629 19335 0 -1 1077944384 1 13322 0 0 0 0 5 3 20 0 15 0 473514065 11079880704 10485 33554432000 4194304 4196468 140731887864848 140262831127184 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21685] ppid=21626 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21685/stat : 21685 (java) S 21626 21629 19335 0 -1 1077944384 1 13322 0 0 0 0 5 3 20 0 15 0 473514065 11079880704 10485 33554432000 4194304 4196468 140731887864848 140262830074128 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21686] ppid=21626 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21686/stat : 21686 (java) S 21626 21629 19335 0 -1 1077944384 2 13322 0 0 0 0 5 3 20 0 15 0 473514065 11079880704 10485 33554432000 4194304 4196468 140731887864848 140262829021584 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21687] ppid=21626 vsize=10820196 memory=140343301887616 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21687/stat : 21687 (java) S 21626 21629 19335 0 -1 1077944384 2 13322 0 0 0 0 5 3 20 0 15 0 473514066 11079880704 10485 33554432000 4194304 4196468 140731887864848 140262438652656 140262912076418 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21688] ppid=21626 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21688/stat : 21688 (java) S 21626 21629 19335 0 -1 1077944384 13 13322 0 0 0 0 5 3 20 0 15 0 473514067 11079880704 10485 33554432000 4194304 4196468 140731887864848 140261820720800 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21689] ppid=21626 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21689/stat : 21689 (java) S 21626 21629 19335 0 -1 1077944384 1 13322 0 0 0 0 5 3 20 0 15 0 473514067 11079880704 10485 33554432000 4194304 4196468 140731887864848 140261686502640 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21690] ppid=21626 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21690/stat : 21690 (java) S 21626 21629 19335 0 -1 1077944384 3 13322 0 0 0 0 5 3 20 0 15 0 473514070 11079880704 10485 33554432000 4194304 4196468 140731887864848 140261446212048 140262912083867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21691] ppid=21626 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/21629/task/21691/stat : 21691 (java) S 21626 21629 19335 0 -1 1077944384 359 13322 0 0 1 0 5 3 20 0 15 0 473514070 11079880704 10485 33554432000 4194304 4196468 140731887864848 140262437599472 140262912076418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21692] ppid=21626 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/21629/task/21692/stat : 21692 (java) S 21626 21629 19335 0 -1 1077944384 300 13322 0 0 1 0 5 3 20 0 15 0 473514070 11079880704 10485 33554432000 4194304 4196468 140731887864848 140262436546928 140262912076418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21693] ppid=21626 vsize=10820196 memory=140343301887616 CPUtime=0.11 cores=1,3,5,7
/proc/21629/task/21693/stat : 21693 (java) S 21626 21629 19335 0 -1 1077944384 603 13322 0 0 3 0 5 3 20 0 15 0 473514070 11079880704 10485 33554432000 4194304 4196468 140731887864848 140262435493872 140262912076418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21694] ppid=21626 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21694/stat : 21694 (java) S 21626 21629 19335 0 -1 1077944384 3 13322 0 0 0 0 5 3 20 0 15 0 473514070 11079880704 10485 33554432000 4194304 4196468 140731887864848 140261412653408 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21695] ppid=21626 vsize=10820196 memory=140343301887616 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21695/stat : 21695 (java) S 21626 21629 19335 0 -1 1077944384 1 13322 0 0 0 0 5 3 20 0 15 0 473514070 11079880704 10485 33554432000 4194304 4196468 140731887864848 140262434442288 140262912076418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 41676 KiB
[startup+0.310793 s]*
/proc/loadavg: 1.51 1.45 1.46 4/229 21695
/proc/meminfo: memFree=4257968/32770624 swapFree=67002224/67108860
[pid=21629] ppid=21626 vsize=10820196 memory=50268 CPUtime=0.41 cores=1,3,5,7
/proc/21629/stat : 21629 (java) S 21626 21629 19335 0 -1 1077944320 10757 13322 0 0 29 4 5 3 20 0 15 0 473514055 11079880704 12567 33554432000 4194304 4196468 140731887864848 140731887847392 140262912065271 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
/proc/21629/statm: 2705049 12567 3315 1 0 2667149 0
[pid=21629/tid=21682] ppid=21626 vsize=10820196 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/21629/task/21682/stat : 21682 (java) R 21626 21629 19335 0 -1 4202560 7242 13322 0 0 19 3 5 3 20 0 15 0 473514064 11079880704 12567 33554432000 4194304 4196468 140731887864848 140262883871776 140262896145758 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21683] ppid=21626 vsize=10820196 memory=7228928657774891088 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21683/stat : 21683 (java) S 21626 21629 19335 0 -1 1077944384 1 13322 0 0 0 0 5 3 20 0 15 0 473514065 11079880704 12567 33554432000 4194304 4196468 140731887864848 140262916307472 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21684] ppid=21626 vsize=10820196 memory=2076 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21684/stat : 21684 (java) S 21626 21629 19335 0 -1 1077944384 1 13322 0 0 0 0 5 3 20 0 15 0 473514065 11079880704 12567 33554432000 4194304 4196468 140731887864848 140262831127184 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21685] ppid=21626 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21685/stat : 21685 (java) S 21626 21629 19335 0 -1 1077944384 1 13322 0 0 0 0 5 3 20 0 15 0 473514065 11079880704 12567 33554432000 4194304 4196468 140731887864848 140262830074128 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21686] ppid=21626 vsize=10820196 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21686/stat : 21686 (java) S 21626 21629 19335 0 -1 1077944384 2 13322 0 0 0 0 5 3 20 0 15 0 473514065 11079880704 12567 33554432000 4194304 4196468 140731887864848 140262829021584 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21687] ppid=21626 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21687/stat : 21687 (java) S 21626 21629 19335 0 -1 1077944384 2 13322 0 0 0 0 5 3 20 0 15 0 473514066 11079880704 12567 33554432000 4194304 4196468 140731887864848 140262438652656 140262912076418 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21688] ppid=21626 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21688/stat : 21688 (java) S 21626 21629 19335 0 -1 1077944384 13 13322 0 0 0 0 5 3 20 0 15 0 473514067 11079880704 12567 33554432000 4194304 4196468 140731887864848 140261820720800 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21689] ppid=21626 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21689/stat : 21689 (java) S 21626 21629 19335 0 -1 1077944384 1 13322 0 0 0 0 5 3 20 0 15 0 473514067 11079880704 12567 33554432000 4194304 4196468 140731887864848 140261686502640 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21690] ppid=21626 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21690/stat : 21690 (java) S 21626 21629 19335 0 -1 1077944384 3 13322 0 0 0 0 5 3 20 0 15 0 473514070 11079880704 12567 33554432000 4194304 4196468 140731887864848 140261446212048 140262912083867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21691] ppid=21626 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/21629/task/21691/stat : 21691 (java) S 21626 21629 19335 0 -1 1077944384 360 13322 0 0 2 0 5 3 20 0 15 0 473514070 11079880704 12567 33554432000 4194304 4196468 140731887864848 140262437599472 140262912076418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21692] ppid=21626 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/21629/task/21692/stat : 21692 (java) S 21626 21629 19335 0 -1 1077944384 300 13322 0 0 1 0 5 3 20 0 15 0 473514070 11079880704 12567 33554432000 4194304 4196468 140731887864848 140262436546928 140262912076418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21693] ppid=21626 vsize=10820196 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/21629/task/21693/stat : 21693 (java) S 21626 21629 19335 0 -1 1077944384 622 13322 0 0 5 0 5 3 20 0 15 0 473514070 11079880704 12567 33554432000 4194304 4196468 140731887864848 140262435493872 140262912076418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21694] ppid=21626 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21694/stat : 21694 (java) S 21626 21629 19335 0 -1 1077944384 3 13322 0 0 0 0 5 3 20 0 15 0 473514070 11079880704 12567 33554432000 4194304 4196468 140731887864848 140261412653408 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21695] ppid=21626 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21695/stat : 21695 (java) S 21626 21629 19335 0 -1 1077944384 1 13322 0 0 0 0 5 3 20 0 15 0 473514070 11079880704 12567 33554432000 4194304 4196468 140731887864848 140262434442288 140262912076418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50268 KiB
[startup+0.700694 s]
/proc/loadavg: 1.51 1.45 1.46 6/229 21695
/proc/meminfo: memFree=4241556/32770624 swapFree=67002224/67108860
[pid=21629] ppid=21626 vsize=10824364 memory=83548 CPUtime=1.17 cores=1,3,5,7
/proc/21629/stat : 21629 (java) S 21626 21629 19335 0 -1 1077944320 15141 13322 0 0 103 6 5 3 20 0 15 0 473514055 11084148736 20887 33554432000 4194304 4196468 140731887864848 140731887847392 140262912065271 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
/proc/21629/statm: 2706091 20887 3504 1 0 2668173 0
[pid=21629/tid=21682] ppid=21626 vsize=10824364 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/21629/task/21682/stat : 21682 (java) R 21626 21629 19335 0 -1 4202560 10492 13322 0 0 55 4 5 3 20 0 15 0 473514064 11084148736 20887 33554432000 4194304 4196468 140731887864848 140262883892432 140262891790400 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21683] ppid=21626 vsize=10824364 memory=827 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21683/stat : 21683 (java) S 21626 21629 19335 0 -1 1077944384 1 13322 0 0 0 0 5 3 20 0 15 0 473514065 11084148736 20887 33554432000 4194304 4196468 140731887864848 140262916307472 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21684] ppid=21626 vsize=10824364 memory=3616 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21684/stat : 21684 (java) S 21626 21629 19335 0 -1 1077944384 1 13322 0 0 0 0 5 3 20 0 15 0 473514065 11084148736 20887 33554432000 4194304 4196468 140731887864848 140262831127184 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21685] ppid=21626 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21685/stat : 21685 (java) S 21626 21629 19335 0 -1 1077944384 1 13322 0 0 0 0 5 3 20 0 15 0 473514065 11084148736 20887 33554432000 4194304 4196468 140731887864848 140262830074128 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21686] ppid=21626 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21686/stat : 21686 (java) S 21626 21629 19335 0 -1 1077944384 2 13322 0 0 0 0 5 3 20 0 15 0 473514065 11084148736 20887 33554432000 4194304 4196468 140731887864848 140262829021584 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21687] ppid=21626 vsize=10824364 memory=4420 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21687/stat : 21687 (java) S 21626 21629 19335 0 -1 1077944384 5 13322 0 0 0 0 5 3 20 0 15 0 473514066 11084148736 20887 33554432000 4194304 4196468 140731887864848 140262438652656 140262912076418 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21688] ppid=21626 vsize=10824364 memory=6628 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21688/stat : 21688 (java) S 21626 21629 19335 0 -1 1077944384 13 13322 0 0 0 0 5 3 20 0 15 0 473514067 11084148736 20887 33554432000 4194304 4196468 140731887864848 140261820720800 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21689] ppid=21626 vsize=10824364 memory=8836 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21689/stat : 21689 (java) S 21626 21629 19335 0 -1 1077944384 1 13322 0 0 0 0 5 3 20 0 15 0 473514067 11084148736 20887 33554432000 4194304 4196468 140731887864848 140261686502640 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21690] ppid=21626 vsize=10824364 memory=11044 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21690/stat : 21690 (java) S 21626 21629 19335 0 -1 1077944384 3 13322 0 0 0 0 5 3 20 0 15 0 473514070 11084148736 20887 33554432000 4194304 4196468 140731887864848 140261446212048 140262912083867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21691] ppid=21626 vsize=10824364 memory=13252 CPUtime=0.2 cores=1,3,5,7
/proc/21629/task/21691/stat : 21691 (java) S 21626 21629 19335 0 -1 1077944384 790 13322 0 0 12 0 5 3 20 0 15 0 473514070 11084148736 20887 33554432000 4194304 4196468 140731887864848 140262437599472 140262912076418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21692] ppid=21626 vsize=10824364 memory=15460 CPUtime=0.24 cores=1,3,5,7
/proc/21629/task/21692/stat : 21692 (java) S 21626 21629 19335 0 -1 1077944384 795 13322 0 0 16 0 5 3 20 0 15 0 473514070 11084148736 20887 33554432000 4194304 4196468 140731887864848 140262436546928 140262912076418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21693] ppid=21626 vsize=10824364 memory=17668 CPUtime=0.25 cores=1,3,5,7
/proc/21629/task/21693/stat : 21693 (java) R 21626 21629 19335 0 -1 4202560 826 13322 0 0 17 0 5 3 20 0 15 0 473514070 11084148736 20887 33554432000 4194304 4196468 140731887864848 140262435493872 140262892025282 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21694] ppid=21626 vsize=10824364 memory=19876 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21694/stat : 21694 (java) S 21626 21629 19335 0 -1 1077944384 3 13322 0 0 0 0 5 3 20 0 15 0 473514070 11084148736 20887 33554432000 4194304 4196468 140731887864848 140261412653408 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21695] ppid=21626 vsize=10824364 memory=22084 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21695/stat : 21695 (java) S 21626 21629 19335 0 -1 1077944384 1 13322 0 0 0 0 5 3 20 0 15 0 473514070 11084148736 20887 33554432000 4194304 4196468 140731887864848 140262434442288 140262912076418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 83548 KiB
[startup+1.50071 s]
/proc/loadavg: 1.51 1.45 1.46 7/229 21695
/proc/meminfo: memFree=4173996/32770624 swapFree=67002224/67108860
[pid=21629] ppid=21626 vsize=10834680 memory=201184 CPUtime=3.13 cores=1,3,5,7
/proc/21629/stat : 21629 (java) S 21626 21629 19335 0 -1 1077944320 28665 13322 0 0 294 11 5 3 20 0 15 0 473514055 11094712320 50296 33554432000 4194304 4196468 140731887864848 140731887847392 140262912065271 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
/proc/21629/statm: 2708670 50296 3590 1 0 2670733 0
[pid=21629/tid=21682] ppid=21626 vsize=10834680 memory=0 CPUtime=1.44 cores=1,3,5,7
/proc/21629/task/21682/stat : 21682 (java) R 21626 21629 19335 0 -1 4202560 15673 13322 0 0 129 7 5 3 20 0 15 0 473514064 11094712320 50296 33554432000 4194304 4196468 140731887864848 140262883888976 140262896145758 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21683] ppid=21626 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/21629/task/21683/stat : 21683 (java) S 21626 21629 19335 0 -1 1077944384 310 13322 0 0 1 0 5 3 20 0 15 0 473514065 11094712320 50296 33554432000 4194304 4196468 140731887864848 140262916307472 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21684] ppid=21626 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/21629/task/21684/stat : 21684 (java) S 21626 21629 19335 0 -1 1077944384 65 13322 0 0 1 0 5 3 20 0 15 0 473514065 11094712320 50296 33554432000 4194304 4196468 140731887864848 140262831127184 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21685] ppid=21626 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/21629/task/21685/stat : 21685 (java) S 21626 21629 19335 0 -1 1077944384 31 13322 0 0 1 0 5 3 20 0 15 0 473514065 11094712320 50296 33554432000 4194304 4196468 140731887864848 140262830074128 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21686] ppid=21626 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/21629/task/21686/stat : 21686 (java) S 21626 21629 19335 0 -1 1077944384 81 13322 0 0 1 0 5 3 20 0 15 0 473514065 11094712320 50296 33554432000 4194304 4196468 140731887864848 140262829021584 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21687] ppid=21626 vsize=10834680 memory=-7965959130280075168 CPUtime=0.09 cores=1,3,5,7
/proc/21629/task/21687/stat : 21687 (java) S 21626 21629 19335 0 -1 1077944384 123 13322 0 0 1 0 5 3 20 0 15 0 473514066 11094712320 50296 33554432000 4194304 4196468 140731887864848 140262438652656 140262912076418 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21688] ppid=21626 vsize=10834680 memory=280686313416960 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21688/stat : 21688 (java) S 21626 21629 19335 0 -1 1077944384 14 13322 0 0 0 0 5 3 20 0 15 0 473514067 11094712320 50296 33554432000 4194304 4196468 140731887864848 140261820720864 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21689] ppid=21626 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21689/stat : 21689 (java) S 21626 21629 19335 0 -1 1077944384 1 13322 0 0 0 0 5 3 20 0 15 0 473514067 11094712320 50296 33554432000 4194304 4196468 140731887864848 140261686502656 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21690] ppid=21626 vsize=10834680 memory=1220 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21690/stat : 21690 (java) S 21626 21629 19335 0 -1 1077944384 3 13322 0 0 0 0 5 3 20 0 15 0 473514070 11094712320 50296 33554432000 4194304 4196468 140731887864848 140261446212048 140262912083867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21691] ppid=21626 vsize=10834680 memory=10600 CPUtime=0.65 cores=1,3,5,7
/proc/21629/task/21691/stat : 21691 (java) S 21626 21629 19335 0 -1 1077944384 5539 13322 0 0 57 0 5 3 20 0 15 0 473514070 11094712320 50296 33554432000 4194304 4196468 140731887864848 140262437599472 140262912076418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21692] ppid=21626 vsize=10834680 memory=1736 CPUtime=0.6 cores=1,3,5,7
/proc/21629/task/21692/stat : 21692 (java) S 21626 21629 19335 0 -1 1077944384 2287 13322 0 0 52 0 5 3 20 0 15 0 473514070 11094712320 50296 33554432000 4194304 4196468 140731887864848 140262436546928 140262912076418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21693] ppid=21626 vsize=10834680 memory=6068 CPUtime=0.54 cores=1,3,5,7
/proc/21629/task/21693/stat : 21693 (java) S 21626 21629 19335 0 -1 1077944384 2328 13322 0 0 45 1 5 3 20 0 15 0 473514070 11094712320 50296 33554432000 4194304 4196468 140731887864848 140262435493872 140262912076418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21694] ppid=21626 vsize=10834680 memory=636 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21694/stat : 21694 (java) S 21626 21629 19335 0 -1 1077944384 3 13322 0 0 0 0 5 3 20 0 15 0 473514070 11094712320 50296 33554432000 4194304 4196468 140731887864848 140261412653408 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21695] ppid=21626 vsize=10834680 memory=2836 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21695/stat : 21695 (java) S 21626 21629 19335 0 -1 1077944384 1 13322 0 0 0 0 5 3 20 0 15 0 473514070 11094712320 50296 33554432000 4194304 4196468 140731887864848 140262434442288 140262912076418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
Current children cumulated CPU time: 3.13 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/21629/task/21682/stat : 21682 (java) R 21626 21629 19335 0 -1 4202560 72737 13322 0 0 223947 44 5 3 20 0 15 0 473514064 11113619456 230993 33554432000 4194304 4196468 140731887864848 140262883900496 140262527667445 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21683] ppid=21626 vsize=10853144 memory=928080 CPUtime=11.55 cores=1,3,5,7
/proc/21629/task/21683/stat : 21683 (java) S 21626 21629 19335 0 -1 1077944384 18143 13322 0 0 1101 46 5 3 20 0 15 0 473514065 11113619456 230993 33554432000 4194304 4196468 140731887864848 140262916307472 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21684] ppid=21626 vsize=10853144 memory=931156 CPUtime=11.55 cores=1,3,5,7
/proc/21629/task/21684/stat : 21684 (java) S 21626 21629 19335 0 -1 1077944384 16589 13322 0 0 1099 48 5 3 20 0 15 0 473514065 11113619456 230993 33554432000 4194304 4196468 140731887864848 140262831127184 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21685] ppid=21626 vsize=10853144 memory=924996 CPUtime=11.57 cores=1,3,5,7
/proc/21629/task/21685/stat : 21685 (java) S 21626 21629 19335 0 -1 1077944384 14314 13322 0 0 1105 44 5 3 20 0 15 0 473514065 11113619456 230993 33554432000 4194304 4196468 140731887864848 140262830074128 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21686] ppid=21626 vsize=10853144 memory=923972 CPUtime=11.55 cores=1,3,5,7
/proc/21629/task/21686/stat : 21686 (java) S 21626 21629 19335 0 -1 1077944384 15423 13322 0 0 1102 45 5 3 20 0 15 0 473514065 11113619456 230993 33554432000 4194304 4196468 140731887864848 140262829021584 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21687] ppid=21626 vsize=10853144 memory=923972 CPUtime=9.3 cores=1,3,5,7
/proc/21629/task/21687/stat : 21687 (java) S 21626 21629 19335 0 -1 1077944384 17725 13322 0 0 871 51 5 3 20 0 15 0 473514066 11113619456 230993 33554432000 4194304 4196468 140731887864848 140262438652656 140262912076418 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21688] ppid=21626 vsize=10853144 memory=923972 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21688/stat : 21688 (java) S 21626 21629 19335 0 -1 1077944384 22 13322 0 0 0 0 5 3 20 0 15 0 473514067 11113619456 230993 33554432000 4194304 4196468 140731887864848 140261820720864 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21689] ppid=21626 vsize=10853144 memory=923972 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21689/stat : 21689 (java) S 21626 21629 19335 0 -1 1077944384 5 13322 0 0 0 0 5 3 20 0 15 0 473514067 11113619456 230993 33554432000 4194304 4196468 140731887864848 140261686502656 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21690] ppid=21626 vsize=10853144 memory=923972 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21690/stat : 21690 (java) S 21626 21629 19335 0 -1 1077944384 3 13322 0 0 0 0 5 3 20 0 15 0 473514070 11113619456 230993 33554432000 4194304 4196468 140731887864848 140261446212048 140262912083867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21691] ppid=21626 vsize=10853144 memory=6944656592455360604 CPUtime=6.11 cores=1,3,5,7
/proc/21629/task/21691/stat : 21691 (java) S 21626 21629 19335 0 -1 1077944384 56331 13322 0 0 597 6 5 3 20 0 15 0 473514070 11113619456 230993 33554432000 4194304 4196468 140731887864848 140262437599472 140262912076418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21692] ppid=21626 vsize=10853144 memory=923972 CPUtime=6.37 cores=1,3,5,7
/proc/21629/task/21692/stat : 21692 (java) S 21626 21629 19335 0 -1 1077944384 64004 13322 0 0 623 6 5 3 20 0 15 0 473514070 11113619456 230993 33554432000 4194304 4196468 140731887864848 140262436546928 140262912076418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21693] ppid=21626 vsize=10853144 memory=988 CPUtime=4.91 cores=1,3,5,7
/proc/21629/task/21693/stat : 21693 (java) S 21626 21629 19335 0 -1 1077944384 69618 13322 0 0 475 8 5 3 20 0 15 0 473514070 11113619456 230993 33554432000 4194304 4196468 140731887864848 140262435493872 140262912076418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21694] ppid=21626 vsize=10853144 memory=2024 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21694/stat : 21694 (java) S 21626 21629 19335 0 -1 1077944384 3 13322 0 0 0 0 5 3 20 0 15 0 473514070 11113619456 230993 33554432000 4194304 4196468 140731887864848 140261412653408 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21695] ppid=21626 vsize=10853144 memory=923972 CPUtime=1.3 cores=1,3,5,7
/proc/21629/task/21695/stat : 21695 (java) S 21626 21629 19335 0 -1 1077944384 1587 13322 0 0 57 65 5 3 20 0 15 0 473514070 11113619456 230993 33554432000 4194304 4196468 140731887864848 140262434442288 140262912076418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
Current children cumulated CPU time: 2313.57 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 923972 KiB
[startup+2322.3 s]
/proc/loadavg: 1.34 1.31 1.38 3/229 21934
/proc/meminfo: memFree=2945564/32770624 swapFree=67002224/67108860
[pid=21629] ppid=21626 vsize=10853144 memory=923972 CPUtime=2374.47 cores=1,3,5,7
/proc/21629/stat : 21629 (java) S 21626 21629 19335 0 -1 1077944320 349589 13322 0 0 237112 327 5 3 20 0 15 0 473514055 11113619456 230993 33554432000 4194304 4196468 140731887864848 140731887847392 140262912065271 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
/proc/21629/statm: 2713286 230993 3633 1 0 2675341 0
[pid=21629/tid=21682] ppid=21626 vsize=10853144 memory=923972 CPUtime=2299.4 cores=1,3,5,7
/proc/21629/task/21682/stat : 21682 (java) R 21626 21629 19335 0 -1 4202560 73214 13322 0 0 229887 45 5 3 20 0 15 0 473514064 11113619456 230993 33554432000 4194304 4196468 140731887864848 140262883900640 140262529430376 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21683] ppid=21626 vsize=10853144 memory=923972 CPUtime=11.85 cores=1,3,5,7
/proc/21629/task/21683/stat : 21683 (java) S 21626 21629 19335 0 -1 1077944384 18168 13322 0 0 1130 47 5 3 20 0 15 0 473514065 11113619456 230993 33554432000 4194304 4196468 140731887864848 140262916307472 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21684] ppid=21626 vsize=10853144 memory=923972 CPUtime=11.85 cores=1,3,5,7
/proc/21629/task/21684/stat : 21684 (java) S 21626 21629 19335 0 -1 1077944384 16661 13322 0 0 1128 49 5 3 20 0 15 0 473514065 11113619456 230993 33554432000 4194304 4196468 140731887864848 140262831127184 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21685] ppid=21626 vsize=10853144 memory=923972 CPUtime=11.88 cores=1,3,5,7
/proc/21629/task/21685/stat : 21685 (java) S 21626 21629 19335 0 -1 1077944384 14380 13322 0 0 1135 45 5 3 20 0 15 0 473514065 11113619456 230993 33554432000 4194304 4196468 140731887864848 140262830074128 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21686] ppid=21626 vsize=10853144 memory=923972 CPUtime=11.85 cores=1,3,5,7
/proc/21629/task/21686/stat : 21686 (java) S 21626 21629 19335 0 -1 1077944384 15438 13322 0 0 1132 45 5 3 20 0 15 0 473514065 11113619456 230993 33554432000 4194304 4196468 140731887864848 140262829021584 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21687] ppid=21626 vsize=10853144 memory=923972 CPUtime=9.54 cores=1,3,5,7
/proc/21629/task/21687/stat : 21687 (java) S 21626 21629 19335 0 -1 1077944384 17925 13322 0 0 894 52 5 3 20 0 15 0 473514066 11113619456 230993 33554432000 4194304 4196468 140731887864848 140262438652656 140262912076418 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21688] ppid=21626 vsize=10853144 memory=923972 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21688/stat : 21688 (java) S 21626 21629 19335 0 -1 1077944384 22 13322 0 0 0 0 5 3 20 0 15 0 473514067 11113619456 230993 33554432000 4194304 4196468 140731887864848 140261820720864 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21689] ppid=21626 vsize=10853144 memory=923972 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21689/stat : 21689 (java) S 21626 21629 19335 0 -1 1077944384 5 13322 0 0 0 0 5 3 20 0 15 0 473514067 11113619456 230993 33554432000 4194304 4196468 140731887864848 140261686502656 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21690] ppid=21626 vsize=10853144 memory=923972 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21690/stat : 21690 (java) S 21626 21629 19335 0 -1 1077944384 3 13322 0 0 0 0 5 3 20 0 15 0 473514070 11113619456 230993 33554432000 4194304 4196468 140731887864848 140261446212048 140262912083867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21691] ppid=21626 vsize=10853144 memory=923972 CPUtime=6.11 cores=1,3,5,7
/proc/21629/task/21691/stat : 21691 (java) S 21626 21629 19335 0 -1 1077944384 56333 13322 0 0 597 6 5 3 20 0 15 0 473514070 11113619456 230993 33554432000 4194304 4196468 140731887864848 140262437599472 140262912076418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21692] ppid=21626 vsize=10853144 memory=923972 CPUtime=6.37 cores=1,3,5,7
/proc/21629/task/21692/stat : 21692 (java) S 21626 21629 19335 0 -1 1077944384 64006 13322 0 0 623 6 5 3 20 0 15 0 473514070 11113619456 230993 33554432000 4194304 4196468 140731887864848 140262436546928 140262912076418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21693] ppid=21626 vsize=10853144 memory=923972 CPUtime=4.91 cores=1,3,5,7
/proc/21629/task/21693/stat : 21693 (java) S 21626 21629 19335 0 -1 1077944384 69620 13322 0 0 475 8 5 3 20 0 15 0 473514070 11113619456 230993 33554432000 4194304 4196468 140731887864848 140262435493872 140262912076418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21694] ppid=21626 vsize=10853144 memory=923972 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21694/stat : 21694 (java) S 21626 21629 19335 0 -1 1077944384 3 13322 0 0 0 0 5 3 20 0 15 0 473514070 11113619456 230993 33554432000 4194304 4196468 140731887864848 140261412653408 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21695] ppid=21626 vsize=10853144 memory=288230574492221466 CPUtime=1.33 cores=1,3,5,7
/proc/21629/task/21695/stat : 21695 (java) S 21626 21629 19335 0 -1 1077944384 1604 13322 0 0 58 67 5 3 20 0 15 0 473514070 11113619456 230993 33554432000 4194304 4196468 140731887864848 140262434442288 140262912076418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
Current children cumulated CPU time: 2374.47 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 923972 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2347.5 s]
/proc/loadavg: 1.70 1.39 1.40 3/228 22065
/proc/meminfo: memFree=3084960/32770624 swapFree=67002224/67108860
[pid=21629] ppid=21626 vsize=10853144 memory=923972 CPUtime=2400.04 cores=1,3,5,7
/proc/21629/stat : 21629 (java) S 21626 21629 19335 0 -1 1077944320 350778 13322 0 0 239666 330 5 3 20 0 15 0 473514055 11113619456 230993 33554432000 4194304 4196468 140731887864848 140731887847392 140262912065271 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
/proc/21629/statm: 2713286 230993 3633 1 0 2675341 0
[pid=21629/tid=21682] ppid=21626 vsize=10853144 memory=923972 CPUtime=2324.35 cores=1,3,5,7
/proc/21629/task/21682/stat : 21682 (java) R 21626 21629 19335 0 -1 4202560 73713 13322 0 0 232382 45 5 3 20 0 15 0 473514064 11113619456 230993 33554432000 4194304 4196468 140731887864848 140262883900688 140262522378152 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21683] ppid=21626 vsize=10853144 memory=923972 CPUtime=11.98 cores=1,3,5,7
/proc/21629/task/21683/stat : 21683 (java) S 21626 21629 19335 0 -1 1077944384 18232 13322 0 0 1143 47 5 3 20 0 15 0 473514065 11113619456 230993 33554432000 4194304 4196468 140731887864848 140262916307472 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21684] ppid=21626 vsize=10853144 memory=923972 CPUtime=11.98 cores=1,3,5,7
/proc/21629/task/21684/stat : 21684 (java) S 21626 21629 19335 0 -1 1077944384 16931 13322 0 0 1140 50 5 3 20 0 15 0 473514065 11113619456 230993 33554432000 4194304 4196468 140731887864848 140262831127184 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21685] ppid=21626 vsize=10853144 memory=923972 CPUtime=12 cores=1,3,5,7
/proc/21629/task/21685/stat : 21685 (java) S 21626 21629 19335 0 -1 1077944384 14494 13322 0 0 1147 45 5 3 20 0 15 0 473514065 11113619456 230993 33554432000 4194304 4196468 140731887864848 140262830074128 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21686] ppid=21626 vsize=10853144 memory=923972 CPUtime=11.97 cores=1,3,5,7
/proc/21629/task/21686/stat : 21686 (java) S 21626 21629 19335 0 -1 1077944384 15452 13322 0 0 1144 45 5 3 20 0 15 0 473514065 11113619456 230993 33554432000 4194304 4196468 140731887864848 140262829021584 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21687] ppid=21626 vsize=10853144 memory=923972 CPUtime=9.64 cores=1,3,5,7
/proc/21629/task/21687/stat : 21687 (java) S 21626 21629 19335 0 -1 1077944384 18132 13322 0 0 904 52 5 3 20 0 15 0 473514066 11113619456 230993 33554432000 4194304 4196468 140731887864848 140262438652656 140262912076418 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21688] ppid=21626 vsize=10853144 memory=923972 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21688/stat : 21688 (java) S 21626 21629 19335 0 -1 1077944384 22 13322 0 0 0 0 5 3 20 0 15 0 473514067 11113619456 230993 33554432000 4194304 4196468 140731887864848 140261820720864 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21689] ppid=21626 vsize=10853144 memory=923972 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21689/stat : 21689 (java) S 21626 21629 19335 0 -1 1077944384 5 13322 0 0 0 0 5 3 20 0 15 0 473514067 11113619456 230993 33554432000 4194304 4196468 140731887864848 140261686502656 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21690] ppid=21626 vsize=10853144 memory=923972 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21690/stat : 21690 (java) S 21626 21629 19335 0 -1 1077944384 3 13322 0 0 0 0 5 3 20 0 15 0 473514070 11113619456 230993 33554432000 4194304 4196468 140731887864848 140261446212048 140262912083867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21691] ppid=21626 vsize=10853144 memory=923972 CPUtime=6.11 cores=1,3,5,7
/proc/21629/task/21691/stat : 21691 (java) S 21626 21629 19335 0 -1 1077944384 56335 13322 0 0 597 6 5 3 20 0 15 0 473514070 11113619456 230993 33554432000 4194304 4196468 140731887864848 140262437599472 140262912076418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21692] ppid=21626 vsize=10853144 memory=923972 CPUtime=6.37 cores=1,3,5,7
/proc/21629/task/21692/stat : 21692 (java) S 21626 21629 19335 0 -1 1077944384 64008 13322 0 0 623 6 5 3 20 0 15 0 473514070 11113619456 230993 33554432000 4194304 4196468 140731887864848 140262436546928 140262912076418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21693] ppid=21626 vsize=10853144 memory=923972 CPUtime=4.91 cores=1,3,5,7
/proc/21629/task/21693/stat : 21693 (java) S 21626 21629 19335 0 -1 1077944384 69622 13322 0 0 475 8 5 3 20 0 15 0 473514070 11113619456 230993 33554432000 4194304 4196468 140731887864848 140262435493872 140262912076418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21694] ppid=21626 vsize=10853144 memory=923972 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21694/stat : 21694 (java) S 21626 21629 19335 0 -1 1077944384 3 13322 0 0 0 0 5 3 20 0 15 0 473514070 11113619456 230993 33554432000 4194304 4196468 140731887864848 140261412653408 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21695] ppid=21626 vsize=10853144 memory=923972 CPUtime=1.34 cores=1,3,5,7
/proc/21629/task/21695/stat : 21695 (java) S 21626 21629 19335 0 -1 1077944384 1619 13322 0 0 58 68 5 3 20 0 15 0 473514070 11113619456 230993 33554432000 4194304 4196468 140731887864848 140262434442288 140262912076418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 923972 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2347.53 s]
# the end of solver process 21629 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.75 s, system=3.34598 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2347.5 s]
/proc/loadavg: 1.70 1.39 1.40 3/228 22065
/proc/meminfo: memFree=3084960/32770624 swapFree=67002224/67108860
[pid=21629] ppid=21626 vsize=10853144 memory=923972 CPUtime=2400.04 cores=1,3,5,7
/proc/21629/stat : 21629 (java) S 21626 21629 19335 0 -1 1077944320 350778 13322 0 0 239666 330 5 3 20 0 15 0 473514055 11113619456 230993 33554432000 4194304 4196468 140731887864848 140731887847392 140262912065271 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
/proc/21629/statm: 2713286 230993 3633 1 0 2675341 0
[pid=21629/tid=21682] ppid=21626 vsize=10853144 memory=923972 CPUtime=2324.35 cores=1,3,5,7
/proc/21629/task/21682/stat : 21682 (java) R 21626 21629 19335 0 -1 4202560 73713 13322 0 0 232382 45 5 3 20 0 15 0 473514064 11113619456 230993 33554432000 4194304 4196468 140731887864848 140262883900688 140262522378152 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21683] ppid=21626 vsize=10853144 memory=923972 CPUtime=11.98 cores=1,3,5,7
/proc/21629/task/21683/stat : 21683 (java) S 21626 21629 19335 0 -1 1077944384 18232 13322 0 0 1143 47 5 3 20 0 15 0 473514065 11113619456 230993 33554432000 4194304 4196468 140731887864848 140262916307472 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21684] ppid=21626 vsize=10853144 memory=923972 CPUtime=11.98 cores=1,3,5,7
/proc/21629/task/21684/stat : 21684 (java) S 21626 21629 19335 0 -1 1077944384 16931 13322 0 0 1140 50 5 3 20 0 15 0 473514065 11113619456 230993 33554432000 4194304 4196468 140731887864848 140262831127184 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21685] ppid=21626 vsize=10853144 memory=923972 CPUtime=12 cores=1,3,5,7
/proc/21629/task/21685/stat : 21685 (java) S 21626 21629 19335 0 -1 1077944384 14494 13322 0 0 1147 45 5 3 20 0 15 0 473514065 11113619456 230993 33554432000 4194304 4196468 140731887864848 140262830074128 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21686] ppid=21626 vsize=10853144 memory=923972 CPUtime=11.97 cores=1,3,5,7
/proc/21629/task/21686/stat : 21686 (java) S 21626 21629 19335 0 -1 1077944384 15452 13322 0 0 1144 45 5 3 20 0 15 0 473514065 11113619456 230993 33554432000 4194304 4196468 140731887864848 140262829021584 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21687] ppid=21626 vsize=10853144 memory=923972 CPUtime=9.64 cores=1,3,5,7
/proc/21629/task/21687/stat : 21687 (java) S 21626 21629 19335 0 -1 1077944384 18132 13322 0 0 904 52 5 3 20 0 15 0 473514066 11113619456 230993 33554432000 4194304 4196468 140731887864848 140262438652656 140262912076418 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21688] ppid=21626 vsize=10853144 memory=923972 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21688/stat : 21688 (java) S 21626 21629 19335 0 -1 1077944384 22 13322 0 0 0 0 5 3 20 0 15 0 473514067 11113619456 230993 33554432000 4194304 4196468 140731887864848 140261820720864 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21689] ppid=21626 vsize=10853144 memory=923972 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21689/stat : 21689 (java) S 21626 21629 19335 0 -1 1077944384 5 13322 0 0 0 0 5 3 20 0 15 0 473514067 11113619456 230993 33554432000 4194304 4196468 140731887864848 140261686502656 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21690] ppid=21626 vsize=10853144 memory=923972 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21690/stat : 21690 (java) S 21626 21629 19335 0 -1 1077944384 3 13322 0 0 0 0 5 3 20 0 15 0 473514070 11113619456 230993 33554432000 4194304 4196468 140731887864848 140261446212048 140262912083867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21691] ppid=21626 vsize=10853144 memory=923972 CPUtime=6.11 cores=1,3,5,7
/proc/21629/task/21691/stat : 21691 (java) S 21626 21629 19335 0 -1 1077944384 56335 13322 0 0 597 6 5 3 20 0 15 0 473514070 11113619456 230993 33554432000 4194304 4196468 140731887864848 140262437599472 140262912076418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21692] ppid=21626 vsize=10853144 memory=923972 CPUtime=6.37 cores=1,3,5,7
/proc/21629/task/21692/stat : 21692 (java) S 21626 21629 19335 0 -1 1077944384 64008 13322 0 0 623 6 5 3 20 0 15 0 473514070 11113619456 230993 33554432000 4194304 4196468 140731887864848 140262436546928 140262912076418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21693] ppid=21626 vsize=10853144 memory=923972 CPUtime=4.91 cores=1,3,5,7
/proc/21629/task/21693/stat : 21693 (java) S 21626 21629 19335 0 -1 1077944384 69622 13322 0 0 475 8 5 3 20 0 15 0 473514070 11113619456 230993 33554432000 4194304 4196468 140731887864848 140262435493872 140262912076418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21694] ppid=21626 vsize=10853144 memory=923972 CPUtime=0.08 cores=1,3,5,7
/proc/21629/task/21694/stat : 21694 (java) S 21626 21629 19335 0 -1 1077944384 3 13322 0 0 0 0 5 3 20 0 15 0 473514070 11113619456 230993 33554432000 4194304 4196468 140731887864848 140261412653408 140262912075477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
[pid=21629/tid=21695] ppid=21626 vsize=10853144 memory=923972 CPUtime=1.34 cores=1,3,5,7
/proc/21629/task/21695/stat : 21695 (java) S 21626 21629 19335 0 -1 1077944384 1619 13322 0 0 58 68 5 3 20 0 15 0 473514070 11113619456 230993 33554432000 4194304 4196468 140731887864848 140262434442288 140262912076418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7675904 140731887872611 140731887875253 140731887875253 140731887878095 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 923972 KiB
Child status: 143
Real time (s): 2347.53
CPU time (s): 2400.09
CPU user time (s): 2396.75
CPU system time (s): 3.34598
CPU usage (%): 102.239
Max. virtual memory (cumulated for all children) (KiB): 10854016
Max. memory (cumulated for all children) (KiB): 1070876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.75
system time used= 3.34598
maximum resident set size= 1072924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 365583
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 253965
involuntary context switches= 7870
# summary of solver processes directly reported to runsolver:
# pid: 21629
# total CPU time (s): 2400.09
# total CPU user time (s): 2396.75
# total CPU system time (s): 3.34598
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.5836 second user time and 25.0608 second system time
The end