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 (9884 MiB free)
memory of node 1: 16384 MiB (15311 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396063-1568410530/watcher-4396063-1568410530 -o /tmp/evaluation-result-4396063-1568410530/solver-4396063-1568410530 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568406191-8565 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=83511311 HOME/instance-4396063-1568410530.xml
running on 4 cores: 1,3,5,7
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
solver pid=8801, runsolver pid=8798
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 1.15 1.16 1.28 3/218 8858
/proc/meminfo: memFree=25793148/32770624 swapFree=66977616/67108860
[pid=8801] ppid=8798 vsize=9972712 memory=18592 CPUtime=0.08 cores=1,3,5,7
/proc/8801/stat : 8801 (java) S 8798 8801 5944 0 -1 1077944320 4405 13279 0 0 1 0 4 3 20 0 6 0 417310227 10212057088 4648 33554432000 4194304 4196468 140734860890736 140734860873280 140611622252279 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
/proc/8801/statm: 2493178 4648 1933 1 0 2481616 0
[pid=8801/tid=8854] ppid=8798 vsize=9972712 memory=720575944405811505 CPUtime=0.08 cores=1,3,5,7
/proc/8801/task/8854/stat : 8854 (java) R 8798 8801 5944 0 -1 4202560 2224 13279 0 0 1 0 4 3 20 0 6 0 417310236 10212057088 4714 33554432000 4194304 4196468 140734860890736 140611594089040 140611607564281 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8855] ppid=8798 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8855/stat : 8855 (java) S 8798 8801 5944 0 -1 1077944384 1 13279 0 0 0 0 4 3 20 0 6 0 417310236 10212057088 4714 33554432000 4194304 4196468 140734860890736 140611626494992 140611622262485 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8856] ppid=8798 vsize=9972712 memory=15684707850266264 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8856/stat : 8856 (java) S 8798 8801 5944 0 -1 1077944384 1 13279 0 0 0 0 4 3 20 0 6 0 417310236 10212057088 4714 33554432000 4194304 4196468 140734860890736 140611195628688 140611622262485 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8857] ppid=8798 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8857/stat : 8857 (java) S 8798 8801 5944 0 -1 1077944384 1 13279 0 0 0 0 4 3 20 0 6 0 417310236 10212057088 4714 33554432000 4194304 4196468 140734860890736 140611194575632 140611622262485 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8858] ppid=8798 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8858/stat : 8858 (java) S 8798 8801 5944 0 -1 1077944384 2 13279 0 0 0 0 4 3 20 0 6 0 417310236 10212057088 4714 33554432000 4194304 4196468 140734860890736 140611193523088 140611622262485 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18592 KiB
[startup+0.210058 s]*
/proc/loadavg: 1.15 1.16 1.28 3/227 8867
/proc/meminfo: memFree=25776720/32770624 swapFree=66977616/67108860
[pid=8801] ppid=8798 vsize=10819664 memory=38784 CPUtime=0.25 cores=1,3,5,7
/proc/8801/stat : 8801 (java) S 8798 8801 5944 0 -1 1077944320 7078 13279 0 0 17 1 4 3 20 0 15 0 417310227 11079335936 9696 33554432000 4194304 4196468 140734860890736 140734860873280 140611622252279 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
/proc/8801/statm: 2704916 9696 3155 1 0 2667149 0
[pid=8801/tid=8854] ppid=8798 vsize=10819664 memory=729618466009055537 CPUtime=0.19 cores=1,3,5,7
/proc/8801/task/8854/stat : 8854 (java) R 8798 8801 5944 0 -1 4202560 3546 13279 0 0 11 1 4 3 20 0 15 0 417310236 11079335936 9696 33554432000 4194304 4196468 140734860890736 140611594084480 140611622274205 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8855] ppid=8798 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8855/stat : 8855 (java) S 8798 8801 5944 0 -1 1077944384 1 13279 0 0 0 0 4 3 20 0 15 0 417310236 11079335936 9696 33554432000 4194304 4196468 140734860890736 140611626494992 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8856] ppid=8798 vsize=10819664 memory=15684707850266264 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8856/stat : 8856 (java) S 8798 8801 5944 0 -1 1077944384 1 13279 0 0 0 0 4 3 20 0 15 0 417310236 11079335936 9696 33554432000 4194304 4196468 140734860890736 140611195628688 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8857] ppid=8798 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8857/stat : 8857 (java) S 8798 8801 5944 0 -1 1077944384 1 13279 0 0 0 0 4 3 20 0 15 0 417310236 11079335936 9696 33554432000 4194304 4196468 140734860890736 140611194575632 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8858] ppid=8798 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8858/stat : 8858 (java) S 8798 8801 5944 0 -1 1077944384 2 13279 0 0 0 0 4 3 20 0 15 0 417310236 11079335936 9696 33554432000 4194304 4196468 140734860890736 140611193523088 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8859] ppid=8798 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8859/stat : 8859 (java) S 8798 8801 5944 0 -1 1077944384 2 13279 0 0 0 0 4 3 20 0 15 0 417310238 11079335936 9760 33554432000 4194304 4196468 140734860890736 140610625583344 140611622263426 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8860] ppid=8798 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8860/stat : 8860 (java) S 8798 8801 5944 0 -1 1077944384 33 13279 0 0 0 0 4 3 20 0 15 0 417310238 11079335936 9760 33554432000 4194304 4196468 140734860890736 140610624529568 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8861] ppid=8798 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8861/stat : 8861 (java) S 8798 8801 5944 0 -1 1077944384 1 13279 0 0 0 0 4 3 20 0 15 0 417310238 11079335936 9760 33554432000 4194304 4196468 140734860890736 140610518377200 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8862] ppid=8798 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8862/stat : 8862 (java) S 8798 8801 5944 0 -1 1077944384 3 13279 0 0 0 0 4 3 20 0 15 0 417310241 11079335936 9760 33554432000 4194304 4196468 140734860890736 140610210977744 140611622270875 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8863] ppid=8798 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8801/task/8863/stat : 8863 (java) S 8798 8801 5944 0 -1 1077944384 493 13279 0 0 1 0 4 3 20 0 15 0 417310241 11079335936 9760 33554432000 4194304 4196468 140734860890736 140610590972656 140611622263426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8864] ppid=8798 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8801/task/8864/stat : 8864 (java) S 8798 8801 5944 0 -1 1077944384 189 13279 0 0 1 0 4 3 20 0 15 0 417310241 11079335936 9760 33554432000 4194304 4196468 140734860890736 140610589920112 140611622263426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8865] ppid=8798 vsize=10819664 memory=140674805409408 CPUtime=0.1 cores=1,3,5,7
/proc/8801/task/8865/stat : 8865 (java) R 8798 8801 5944 0 -1 4202560 613 13279 0 0 3 0 4 3 20 0 15 0 417310241 11079335936 9760 33554432000 4194304 4196468 140734860890736 140610588867056 140611614489406 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8866] ppid=8798 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8866/stat : 8866 (java) S 8798 8801 5944 0 -1 1077944384 3 13279 0 0 0 0 4 3 20 0 15 0 417310241 11079335936 9760 33554432000 4194304 4196468 140734860890736 140610177420128 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8867] ppid=8798 vsize=10819664 memory=140674805409408 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8867/stat : 8867 (java) S 8798 8801 5944 0 -1 1077944384 1 13279 0 0 0 0 4 3 20 0 15 0 417310242 11079335936 9760 33554432000 4194304 4196468 140734860890736 140610587814448 140611622263426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 38784 KiB
[startup+0.310636 s]*
/proc/loadavg: 1.15 1.16 1.28 4/227 8867
/proc/meminfo: memFree=25763912/32770624 swapFree=66977616/67108860
[pid=8801] ppid=8798 vsize=10820148 memory=47868 CPUtime=0.39 cores=1,3,5,7
/proc/8801/stat : 8801 (java) S 8798 8801 5944 0 -1 1077944320 10793 13279 0 0 29 3 4 3 20 0 15 0 417310227 11079831552 11967 33554432000 4194304 4196468 140734860890736 140734860873280 140611622252279 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
/proc/8801/statm: 2705037 11967 3287 1 0 2667149 0
[pid=8801/tid=8854] ppid=8798 vsize=10820148 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/8801/task/8854/stat : 8854 (java) R 8798 8801 5944 0 -1 4202560 7219 13279 0 0 19 3 4 3 20 0 15 0 417310236 11079831552 12032 33554432000 4194304 4196468 140734860890736 140611594052192 140611622274205 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8855] ppid=8798 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8855/stat : 8855 (java) S 8798 8801 5944 0 -1 1077944384 1 13279 0 0 0 0 4 3 20 0 15 0 417310236 11079831552 12032 33554432000 4194304 4196468 140734860890736 140611626494992 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8856] ppid=8798 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8856/stat : 8856 (java) S 8798 8801 5944 0 -1 1077944384 1 13279 0 0 0 0 4 3 20 0 15 0 417310236 11079831552 12032 33554432000 4194304 4196468 140734860890736 140611195628688 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8857] ppid=8798 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8857/stat : 8857 (java) S 8798 8801 5944 0 -1 1077944384 1 13279 0 0 0 0 4 3 20 0 15 0 417310236 11079831552 12032 33554432000 4194304 4196468 140734860890736 140611194575632 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8858] ppid=8798 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8858/stat : 8858 (java) S 8798 8801 5944 0 -1 1077944384 2 13279 0 0 0 0 4 3 20 0 15 0 417310236 11079831552 12032 33554432000 4194304 4196468 140734860890736 140611193523088 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8859] ppid=8798 vsize=10820148 memory=140674805409407 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8859/stat : 8859 (java) S 8798 8801 5944 0 -1 1077944384 2 13279 0 0 0 0 4 3 20 0 15 0 417310238 11079831552 12032 33554432000 4194304 4196468 140734860890736 140610625583344 140611622263426 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8860] ppid=8798 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8860/stat : 8860 (java) S 8798 8801 5944 0 -1 1077944384 33 13279 0 0 0 0 4 3 20 0 15 0 417310238 11079831552 12032 33554432000 4194304 4196468 140734860890736 140610624529568 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8861] ppid=8798 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8861/stat : 8861 (java) S 8798 8801 5944 0 -1 1077944384 1 13279 0 0 0 0 4 3 20 0 15 0 417310238 11079831552 12032 33554432000 4194304 4196468 140734860890736 140610518377200 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8862] ppid=8798 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8862/stat : 8862 (java) S 8798 8801 5944 0 -1 1077944384 3 13279 0 0 0 0 4 3 20 0 15 0 417310241 11079831552 12032 33554432000 4194304 4196468 140734860890736 140610210977744 140611622270875 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8863] ppid=8798 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8801/task/8863/stat : 8863 (java) S 8798 8801 5944 0 -1 1077944384 494 13279 0 0 1 0 4 3 20 0 15 0 417310241 11079831552 12032 33554432000 4194304 4196468 140734860890736 140610590972656 140611622263426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8864] ppid=8798 vsize=10820148 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/8801/task/8864/stat : 8864 (java) S 8798 8801 5944 0 -1 1077944384 198 13279 0 0 2 0 4 3 20 0 15 0 417310241 11079831552 12032 33554432000 4194304 4196468 140734860890736 140610589920112 140611622263426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8865] ppid=8798 vsize=10820148 memory=140674805409408 CPUtime=0.12 cores=1,3,5,7
/proc/8801/task/8865/stat : 8865 (java) S 8798 8801 5944 0 -1 1077944384 633 13279 0 0 5 0 4 3 20 0 15 0 417310241 11079831552 12032 33554432000 4194304 4196468 140734860890736 140610588867056 140611622263426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8866] ppid=8798 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8866/stat : 8866 (java) S 8798 8801 5944 0 -1 1077944384 3 13279 0 0 0 0 4 3 20 0 15 0 417310241 11079831552 12032 33554432000 4194304 4196468 140734860890736 140610177420128 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8867] ppid=8798 vsize=10820148 memory=140674805409408 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8867/stat : 8867 (java) S 8798 8801 5944 0 -1 1077944384 1 13279 0 0 0 0 4 3 20 0 15 0 417310242 11079831552 12032 33554432000 4194304 4196468 140734860890736 140610587814448 140611622263426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 47868 KiB
[startup+0.703366 s]
/proc/loadavg: 1.15 1.16 1.28 5/227 8867
/proc/meminfo: memFree=25749488/32770624 swapFree=66977616/67108860
[pid=8801] ppid=8798 vsize=10824360 memory=81804 CPUtime=1.14 cores=1,3,5,7
/proc/8801/stat : 8801 (java) S 8798 8801 5944 0 -1 1077944320 15216 13279 0 0 102 5 4 3 20 0 15 0 417310227 11084144640 20451 33554432000 4194304 4196468 140734860890736 140734860873280 140611622252279 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
/proc/8801/statm: 2706090 20451 3505 1 0 2668173 0
[pid=8801/tid=8854] ppid=8798 vsize=10824360 memory=7810487918915055718 CPUtime=0.66 cores=1,3,5,7
/proc/8801/task/8854/stat : 8854 (java) R 8798 8801 5944 0 -1 4202560 10414 13279 0 0 55 4 4 3 20 0 15 0 417310236 11084144640 20451 33554432000 4194304 4196468 140734860890736 140611594079440 140611208858209 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8855] ppid=8798 vsize=10824360 memory=1428 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8855/stat : 8855 (java) S 8798 8801 5944 0 -1 1077944384 1 13279 0 0 0 0 4 3 20 0 15 0 417310236 11084144640 20451 33554432000 4194304 4196468 140734860890736 140611626494992 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8856] ppid=8798 vsize=10824360 memory=1724 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8856/stat : 8856 (java) S 8798 8801 5944 0 -1 1077944384 1 13279 0 0 0 0 4 3 20 0 15 0 417310236 11084144640 20451 33554432000 4194304 4196468 140734860890736 140611195628688 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8857] ppid=8798 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8857/stat : 8857 (java) S 8798 8801 5944 0 -1 1077944384 1 13279 0 0 0 0 4 3 20 0 15 0 417310236 11084144640 20451 33554432000 4194304 4196468 140734860890736 140611194575632 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8858] ppid=8798 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8858/stat : 8858 (java) S 8798 8801 5944 0 -1 1077944384 2 13279 0 0 0 0 4 3 20 0 15 0 417310236 11084144640 20451 33554432000 4194304 4196468 140734860890736 140611193523088 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8859] ppid=8798 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8859/stat : 8859 (java) S 8798 8801 5944 0 -1 1077944384 5 13279 0 0 0 0 4 3 20 0 15 0 417310238 11084144640 20451 33554432000 4194304 4196468 140734860890736 140610625583344 140611622263426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8860] ppid=8798 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8860/stat : 8860 (java) S 8798 8801 5944 0 -1 1077944384 33 13279 0 0 0 0 4 3 20 0 15 0 417310238 11084144640 20451 33554432000 4194304 4196468 140734860890736 140610624529568 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8861] ppid=8798 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8861/stat : 8861 (java) S 8798 8801 5944 0 -1 1077944384 1 13279 0 0 0 0 4 3 20 0 15 0 417310238 11084144640 20451 33554432000 4194304 4196468 140734860890736 140610518377200 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8862] ppid=8798 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8862/stat : 8862 (java) S 8798 8801 5944 0 -1 1077944384 3 13279 0 0 0 0 4 3 20 0 15 0 417310241 11084144640 20451 33554432000 4194304 4196468 140734860890736 140610210977744 140611622270875 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8863] ppid=8798 vsize=10824360 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/8801/task/8863/stat : 8863 (java) R 8798 8801 5944 0 -1 4202560 954 13279 0 0 13 0 4 3 20 0 15 0 417310241 11084144640 20451 33554432000 4194304 4196468 140734860890736 140610590954368 140611607359308 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8864] ppid=8798 vsize=10824360 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/8801/task/8864/stat : 8864 (java) S 8798 8801 5944 0 -1 1077944384 686 13279 0 0 15 0 4 3 20 0 15 0 417310241 11084144640 20451 33554432000 4194304 4196468 140734860890736 140610589920112 140611622263426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8865] ppid=8798 vsize=10824360 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/8801/task/8865/stat : 8865 (java) R 8798 8801 5944 0 -1 4202560 901 13279 0 0 17 0 4 3 20 0 15 0 417310241 11084144640 20451 33554432000 4194304 4196468 140734860890736 140610588867056 140611601078974 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8866] ppid=8798 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8866/stat : 8866 (java) S 8798 8801 5944 0 -1 1077944384 3 13279 0 0 0 0 4 3 20 0 15 0 417310241 11084144640 20451 33554432000 4194304 4196468 140734860890736 140610177420128 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8867] ppid=8798 vsize=10824360 memory=3616 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8867/stat : 8867 (java) S 8798 8801 5944 0 -1 1077944384 1 13279 0 0 0 0 4 3 20 0 15 0 417310242 11084144640 20451 33554432000 4194304 4196468 140734860890736 140610587814448 140611622263426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 81804 KiB
[startup+1.50066 s]
/proc/loadavg: 1.15 1.16 1.28 4/227 8867
/proc/meminfo: memFree=25698624/32770624 swapFree=66977616/67108860
[pid=8801] ppid=8798 vsize=10834676 memory=193828 CPUtime=2.98 cores=1,3,5,7
/proc/8801/stat : 8801 (java) S 8798 8801 5944 0 -1 1077944320 29235 13279 0 0 279 12 4 3 20 0 15 0 417310227 11094708224 48457 33554432000 4194304 4196468 140734860890736 140734860873280 140611622252279 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
/proc/8801/statm: 2708669 48457 3588 1 0 2670733 0
[pid=8801/tid=8854] ppid=8798 vsize=10834676 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/8801/task/8854/stat : 8854 (java) R 8798 8801 5944 0 -1 4202560 16275 13279 0 0 129 7 4 3 20 0 15 0 417310236 11094708224 48457 33554432000 4194304 4196468 140734860890736 140611594084224 140611622264214 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8855] ppid=8798 vsize=10834676 memory=-7531822216213012384 CPUtime=0.08 cores=1,3,5,7
/proc/8801/task/8855/stat : 8855 (java) S 8798 8801 5944 0 -1 1077944384 68 13279 0 0 1 0 4 3 20 0 15 0 417310236 11094708224 48457 33554432000 4194304 4196468 140734860890736 140611626494992 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8856] ppid=8798 vsize=10834676 memory=7014751519650437478 CPUtime=0.08 cores=1,3,5,7
/proc/8801/task/8856/stat : 8856 (java) S 8798 8801 5944 0 -1 1077944384 30 13279 0 0 1 0 4 3 20 0 15 0 417310236 11094708224 48457 33554432000 4194304 4196468 140734860890736 140611195628688 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8857] ppid=8798 vsize=10834676 memory=7302417893615822425 CPUtime=0.08 cores=1,3,5,7
/proc/8801/task/8857/stat : 8857 (java) S 8798 8801 5944 0 -1 1077944384 311 13279 0 0 1 0 4 3 20 0 15 0 417310236 11094708224 48457 33554432000 4194304 4196468 140734860890736 140611194575632 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8858] ppid=8798 vsize=10834676 memory=281349349353824 CPUtime=0.08 cores=1,3,5,7
/proc/8801/task/8858/stat : 8858 (java) S 8798 8801 5944 0 -1 1077944384 83 13279 0 0 1 0 4 3 20 0 15 0 417310236 11094708224 48457 33554432000 4194304 4196468 140734860890736 140611193523088 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8859] ppid=8798 vsize=10834676 memory=178460186133761 CPUtime=0.08 cores=1,3,5,7
/proc/8801/task/8859/stat : 8859 (java) S 8798 8801 5944 0 -1 1077944384 166 13279 0 0 1 0 4 3 20 0 15 0 417310238 11094708224 48457 33554432000 4194304 4196468 140734860890736 140610625583344 140611622263426 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8860] ppid=8798 vsize=10834676 memory=178460186133762 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8860/stat : 8860 (java) S 8798 8801 5944 0 -1 1077944384 33 13279 0 0 0 0 4 3 20 0 15 0 417310238 11094708224 48457 33554432000 4194304 4196468 140734860890736 140610624529632 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8861] ppid=8798 vsize=10834676 memory=178460186133763 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8861/stat : 8861 (java) S 8798 8801 5944 0 -1 1077944384 3 13279 0 0 0 0 4 3 20 0 15 0 417310238 11094708224 48457 33554432000 4194304 4196468 140734860890736 140610518377216 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8862] ppid=8798 vsize=10834676 memory=178460186133764 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8862/stat : 8862 (java) S 8798 8801 5944 0 -1 1077944384 3 13279 0 0 0 0 4 3 20 0 15 0 417310241 11094708224 48457 33554432000 4194304 4196468 140734860890736 140610210977744 140611622270875 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8863] ppid=8798 vsize=10834676 memory=0 CPUtime=0.61 cores=1,3,5,7
/proc/8801/task/8863/stat : 8863 (java) R 8798 8801 5944 0 -1 4202560 6176 13279 0 0 54 0 4 3 20 0 15 0 417310241 11094708224 48457 33554432000 4194304 4196468 140734860890736 140610590971840 140611601673654 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8864] ppid=8798 vsize=10834676 memory=281349348947888 CPUtime=0.5 cores=1,3,5,7
/proc/8801/task/8864/stat : 8864 (java) R 8798 8801 5944 0 -1 1077944384 1657 13279 0 0 43 0 4 3 20 0 15 0 417310241 11094708224 48457 33554432000 4194304 4196468 140734860890736 140610589920208 140611622262485 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8865] ppid=8798 vsize=10834676 memory=281349348946032 CPUtime=0.51 cores=1,3,5,7
/proc/8801/task/8865/stat : 8865 (java) S 8798 8801 5944 0 -1 1077944384 2217 13279 0 0 44 0 4 3 20 0 15 0 417310241 11094708224 48457 33554432000 4194304 4196468 140734860890736 140610588867056 140611622263426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8866] ppid=8798 vsize=10834676 memory=281349348946096 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8866/stat : 8866 (java) S 8798 8801 5944 0 -1 1077944384 3 13279 0 0 0 0 4 3 20 0 15 0 417310241 11094708224 48457 33554432000 4194304 4196468 140734860890736 140610177420128 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8867] ppid=8798 vsize=10834676 memory=281349349393616 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8867/stat : 8867 (java) S 8798 8801 5944 0 -1 1077944384 1 13279 0 0 0 0 4 3 20 0 15 0 417310242 11094708224 48457 33554432000 4194304 4196468 140734860890736 140610587814448 140611622263426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 10834676 KiB
Current children cumulated memory: 193828 KiB
[startup+3.1106 s]
/proc/loadavg: 1.22 1.17 1.28 5/227 8867
/proc/meminfo: memFree=25555360/32770624 swapFree=66977616/67108860
[pid=8801] ppid=8798 vsize=10844936 memory=270392 CPUtime=7.52 cores=1,3,5,7
/proc/8801/stat : 8801 (java) S 8798 8801 5944 0 -1 1077944320 38233 13279 0 0 729 16 4 3 20 0 15 0 417310227 11105214464 67598 33554432000 4194304 4196468 140734860890736 140734860873280 140611622252279 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
/proc/8801/statm: 2711234 67598 3607 1 0 2673293 0
[pid=8801/tid=8854] ppid=8798 vsize=10844936 memory=2120 CPUtime=3.02 cores=1,3,5,7
/proc/8801/task/8854/stat : 8854 (java) R 8798 8801 5944 0 -1 4202560 20652 13279 0 0 286 9 4 3 20 0 15 0 417310236 11105214464 67598 33554432000 4194304 4196468 140734860890736 140611594084912 140611622274205 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8855] ppid=8798 vsize=10844936 memory=532 CPUtime=0.08 cores=1,3,5,7
/proc/8801/task/8855/stat : 8855 (java) S 8798 8801 5944 0 -1 1077944384 68 13279 0 0 1 0 4 3 20 0 15 0 417310236 11105214464 67598 33554432000 4194304 4196468 140734860890736 140611626494992 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8856] ppid=8798 vsize=10844936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8801/task/8856/stat : 8856 (java) S 8798 8801 5944 0 -1 1077944384 30 13279 0 0 1 0 4 3 20 0 15 0 417310236 11105214464 67598 33554432000 4194304 4196468 140734860890736 140611195628688 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8857] ppid=8798 vsize=10844936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8801/task/8857/stat : 8857 (java) S 8798 8801 5944 0 -1 1077944384 311 13279 0 0 1 0 4 3 20 0 15 0 417310236 11105214464 67598 33554432000 4194304 4196468 140734860890736 140611194575632 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8858] ppid=8798 vsize=10844936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8801/task/8858/stat : 8858 (java) S 8798 8801 5944 0 -1 1077944384 83 13279 0 0 1 0 4 3 20 0 15 0 417310236 11105214464 67598 33554432000 4194304 4196468 140734860890736 140611193523088 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8859] ppid=8798 vsize=10844936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8801/task/8859/stat : 8859 (java) S 8798 8801 5944 0 -1 1077944384 170 13279 0 0 1 0 4 3 20 0 15 0 417310238 11105214464 67598 33554432000 4194304 4196468 140734860890736 140610625583344 140611622263426 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8860] ppid=8798 vsize=10844936 memory=281349348939488 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8860/stat : 8860 (java) S 8798 8801 5944 0 -1 1077944384 33 13279 0 0 0 0 4 3 20 0 15 0 417310238 11105214464 67598 33554432000 4194304 4196468 140734860890736 140610624529632 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8861] ppid=8798 vsize=10844936 memory=780 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8861/stat : 8861 (java) S 8798 8801 5944 0 -1 1077944384 3 13279 0 0 0 0 4 3 20 0 15 0 417310238 11105214464 67598 33554432000 4194304 4196468 140734860890736 140610518377216 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8862] ppid=8798 vsize=10844936 memory=3252 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8862/stat : 8862 (java) S 8798 8801 5944 0 -1 1077944384 3 13279 0 0 0 0 4 3 20 0 15 0 417310241 11105214464 67598 33554432000 4194304 4196468 140734860890736 140610210977744 140611622270875 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8863] ppid=8798 vsize=10844936 memory=1112 CPUtime=1.71 cores=1,3,5,7
/proc/8801/task/8863/stat : 8863 (java) R 8798 8801 5944 0 -1 4202560 7247 13279 0 0 163 1 4 3 20 0 15 0 417310241 11105214464 67598 33554432000 4194304 4196468 140734860890736 140610590958848 140611606242422 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8864] ppid=8798 vsize=10844936 memory=5968 CPUtime=1.51 cores=1,3,5,7
/proc/8801/task/8864/stat : 8864 (java) R 8798 8801 5944 0 -1 4202560 2626 13279 0 0 143 1 4 3 20 0 15 0 417310241 11105214464 67598 33554432000 4194304 4196468 140734860890736 140610589903744 140611607862977 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8865] ppid=8798 vsize=10844936 memory=7552 CPUtime=1.35 cores=1,3,5,7
/proc/8801/task/8865/stat : 8865 (java) S 8798 8801 5944 0 -1 1077944384 4792 13279 0 0 127 1 4 3 20 0 15 0 417310241 11105214464 67598 33554432000 4194304 4196468 140734860890736 140610588867056 140611622263426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8866] ppid=8798 vsize=10844936 memory=2832 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8866/stat : 8866 (java) S 8798 8801 5944 0 -1 1077944384 3 13279 0 0 0 0 4 3 20 0 15 0 417310241 11105214464 67598 33554432000 4194304 4196468 140734860890736 140610177420128 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8867] ppid=8798 vsize=10844936 memory=1084 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8867/stat : 8867 (java) S 8798 8801 5944 0 -1 1077944384 3 13279 0 0 0 0 4 3 20 0 15 0 417310242 11105214464 67598 33554432000 4194304 4196468 140734860890736 140610587814448 140611622263426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
Current children cumulated CPU time: 7.52 s
Current children cumulated vsize: 10844936 KiB
Current children cumulated memory: 270392 KiB
[startup+4.4142 s]
# the end of solver process 8801 was just reported to runsolver
# cumulated CPU time of all completed processes: user=10.9921 s, system=0.255872 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20093 s]
/proc/loadavg: 1.22 1.17 1.28 5/227 8867
/proc/meminfo: memFree=25555360/32770624 swapFree=66977616/67108860
[pid=8801] ppid=8798 vsize=10844936 memory=294444 CPUtime=7.76 cores=1,3,5,7
/proc/8801/stat : 8801 (java) S 8798 8801 5944 0 -1 1077944320 39783 13279 0 0 752 17 4 3 20 0 15 0 417310227 11105214464 73611 33554432000 4194304 4196468 140734860890736 140734860873280 140611622252279 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
/proc/8801/statm: 2711234 73611 3608 1 0 2673293 0
[pid=8801/tid=8854] ppid=8798 vsize=10844936 memory=7012476690406665581 CPUtime=3.06 cores=1,3,5,7
/proc/8801/task/8854/stat : 8854 (java) R 8798 8801 5944 0 -1 4202560 20813 13279 0 0 290 9 4 3 20 0 15 0 417310236 11105214464 73611 33554432000 4194304 4196468 140734860890736 140611594084336 140611606295909 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8855] ppid=8798 vsize=10844936 memory=4283549152829664617 CPUtime=0.11 cores=1,3,5,7
/proc/8801/task/8855/stat : 8855 (java) S 8798 8801 5944 0 -1 1077944384 89 13279 0 0 4 0 4 3 20 0 15 0 417310236 11105214464 73611 33554432000 4194304 4196468 140734860890736 140611626494992 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8856] ppid=8798 vsize=10844936 memory=-7015419362289488535 CPUtime=0.11 cores=1,3,5,7
/proc/8801/task/8856/stat : 8856 (java) S 8798 8801 5944 0 -1 1077944384 41 13279 0 0 4 0 4 3 20 0 15 0 417310236 11105214464 73611 33554432000 4194304 4196468 140734860890736 140611195628688 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8857] ppid=8798 vsize=10844936 memory=257628 CPUtime=0.1 cores=1,3,5,7
/proc/8801/task/8857/stat : 8857 (java) S 8798 8801 5944 0 -1 1077944384 325 13279 0 0 3 0 4 3 20 0 15 0 417310236 11105214464 73611 33554432000 4194304 4196468 140734860890736 140611194575632 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8858] ppid=8798 vsize=10844936 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/8801/task/8858/stat : 8858 (java) S 8798 8801 5944 0 -1 1077944384 101 13279 0 0 4 0 4 3 20 0 15 0 417310236 11105214464 73611 33554432000 4194304 4196468 140734860890736 140611193523088 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8859] ppid=8798 vsize=10844936 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/8801/task/8859/stat : 8859 (java) S 8798 8801 5944 0 -1 1077944384 1456 13279 0 0 3 0 4 3 20 0 15 0 417310238 11105214464 73611 33554432000 4194304 4196468 140734860890736 140610625583344 140611622263426 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8860] ppid=8798 vsize=10844936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8860/stat : 8860 (java) S 8798 8801 5944 0 -1 1077944384 36 13279 0 0 0 0 4 3 20 0 15 0 417310238 11105214464 73611 33554432000 4194304 4196468 140734860890736 140610624529632 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8861] ppid=8798 vsize=10844936 memory=39974871239402 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8861/stat : 8861 (java) S 8798 8801 5944 0 -1 1077944384 3 13279 0 0 0 0 4 3 20 0 15 0 417310238 11105214464 73611 33554432000 4194304 4196468 140734860890736 140610518377216 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8862] ppid=8798 vsize=10844936 memory=11503629852 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8862/stat : 8862 (java) S 8798 8801 5944 0 -1 1077944384 3 13279 0 0 0 0 4 3 20 0 15 0 417310241 11105214464 73611 33554432000 4194304 4196468 140734860890736 140610210977744 140611622270875 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8863] ppid=8798 vsize=10844936 memory=6298654113266244015 CPUtime=1.74 cores=1,3,5,7
/proc/8801/task/8863/stat : 8863 (java) S 8798 8801 5944 0 -1 1077944384 7254 13279 0 0 166 1 4 3 20 0 15 0 417310241 11105214464 73611 33554432000 4194304 4196468 140734860890736 140610590972656 140611622263426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8864] ppid=8798 vsize=10844936 memory=7017848818269119056 CPUtime=1.54 cores=1,3,5,7
/proc/8801/task/8864/stat : 8864 (java) S 8798 8801 5944 0 -1 1077944384 2635 13279 0 0 146 1 4 3 20 0 15 0 417310241 11105214464 73611 33554432000 4194304 4196468 140734860890736 140610589920112 140611622263426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8865] ppid=8798 vsize=10844936 memory=7379548629740971882 CPUtime=1.36 cores=1,3,5,7
/proc/8801/task/8865/stat : 8865 (java) S 8798 8801 5944 0 -1 1077944384 4811 13279 0 0 128 1 4 3 20 0 15 0 417310241 11105214464 73611 33554432000 4194304 4196468 140734860890736 140610588867056 140611622263426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8866] ppid=8798 vsize=10844936 memory=7590655979367786604 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8866/stat : 8866 (java) S 8798 8801 5944 0 -1 1077944384 3 13279 0 0 0 0 4 3 20 0 15 0 417310241 11105214464 73611 33554432000 4194304 4196468 140734860890736 140610177420128 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8867] ppid=8798 vsize=10844936 memory=7811890942861273957 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8867/stat : 8867 (java) S 8798 8801 5944 0 -1 1077944384 3 13279 0 0 0 0 4 3 20 0 15 0 417310242 11105214464 73611 33554432000 4194304 4196468 140734860890736 140610587814448 140611622263426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
Current children cumulated CPU time: 7.76 s
Current children cumulated vsize: 10844936 KiB
Current children cumulated memory: 294444 KiB
[startup+4.00141 s]*
/proc/loadavg: 1.22 1.17 1.28 5/227 8867
/proc/meminfo: memFree=25494932/32770624 swapFree=66977616/67108860
[pid=8801] ppid=8798 vsize=10851796 memory=325832 CPUtime=10.46 cores=1,3,5,7
/proc/8801/stat : 8801 (java) S 8798 8801 5944 0 -1 1077944320 54575 13279 0 0 1019 20 4 3 20 0 15 0 417310227 11112239104 81458 33554432000 4194304 4196468 140734860890736 140734860873280 140611622252279 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
/proc/8801/statm: 2712949 81458 3614 1 0 2675008 0
[pid=8801/tid=8854] ppid=8798 vsize=10851796 memory=8317482817917895235 CPUtime=3.87 cores=1,3,5,7
/proc/8801/task/8854/stat : 8854 (java) R 8798 8801 5944 0 -1 4202560 25727 13279 0 0 370 10 4 3 20 0 15 0 417310236 11112239104 81458 33554432000 4194304 4196468 140734860890736 140611594083872 140611221829103 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8855] ppid=8798 vsize=10851796 memory=532 CPUtime=0.11 cores=1,3,5,7
/proc/8801/task/8855/stat : 8855 (java) S 8798 8801 5944 0 -1 1077944384 89 13279 0 0 4 0 4 3 20 0 15 0 417310236 11112239104 81458 33554432000 4194304 4196468 140734860890736 140611626494992 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8856] ppid=8798 vsize=10851796 memory=2241 CPUtime=0.11 cores=1,3,5,7
/proc/8801/task/8856/stat : 8856 (java) S 8798 8801 5944 0 -1 1077944384 41 13279 0 0 4 0 4 3 20 0 15 0 417310236 11112239104 81458 33554432000 4194304 4196468 140734860890736 140611195628688 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8857] ppid=8798 vsize=10851796 memory=170932013 CPUtime=0.1 cores=1,3,5,7
/proc/8801/task/8857/stat : 8857 (java) S 8798 8801 5944 0 -1 1077944384 325 13279 0 0 3 0 4 3 20 0 15 0 417310236 11112239104 81458 33554432000 4194304 4196468 140734860890736 140611194575632 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8858] ppid=8798 vsize=10851796 memory=6944656592455359580 CPUtime=0.11 cores=1,3,5,7
/proc/8801/task/8858/stat : 8858 (java) S 8798 8801 5944 0 -1 1077944384 101 13279 0 0 4 0 4 3 20 0 15 0 417310236 11112239104 81458 33554432000 4194304 4196468 140734860890736 140611193523088 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8859] ppid=8798 vsize=10851796 memory=6944656592455097440 CPUtime=0.1 cores=1,3,5,7
/proc/8801/task/8859/stat : 8859 (java) S 8798 8801 5944 0 -1 1077944384 2455 13279 0 0 3 0 4 3 20 0 15 0 417310238 11112239104 81458 33554432000 4194304 4196468 140734860890736 140610625583344 140611622263426 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8860] ppid=8798 vsize=10851796 memory=6944656592387989600 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8860/stat : 8860 (java) S 8798 8801 5944 0 -1 1077944384 36 13279 0 0 0 0 4 3 20 0 15 0 417310238 11112239104 81458 33554432000 4194304 4196468 140734860890736 140610624529632 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8861] ppid=8798 vsize=10851796 memory=6944656592455360604 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8861/stat : 8861 (java) S 8798 8801 5944 0 -1 1077944384 3 13279 0 0 0 0 4 3 20 0 15 0 417310238 11112239104 81458 33554432000 4194304 4196468 140734860890736 140610518377216 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8862] ppid=8798 vsize=10851796 memory=7156589679273398361 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8862/stat : 8862 (java) S 8798 8801 5944 0 -1 1077944384 3 13279 0 0 0 0 4 3 20 0 15 0 417310241 11112239104 81458 33554432000 4194304 4196468 140734860890736 140610210977744 140611622270875 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8863] ppid=8798 vsize=10851796 memory=8292095139715588497 CPUtime=2.53 cores=1,3,5,7
/proc/8801/task/8863/stat : 8863 (java) R 8798 8801 5944 0 -1 4202560 11379 13279 0 0 244 2 4 3 20 0 15 0 417310241 11112239104 81458 33554432000 4194304 4196468 140734860890736 140610590956984 140611603796719 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8864] ppid=8798 vsize=10851796 memory=-9181546051567709026 CPUtime=2.25 cores=1,3,5,7
/proc/8801/task/8864/stat : 8864 (java) R 8798 8801 5944 0 -1 4202560 4965 13279 0 0 217 1 4 3 20 0 15 0 417310241 11112239104 81458 33554432000 4194304 4196468 140734860890736 140610589906136 140611601498506 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8865] ppid=8798 vsize=10851796 memory=0 CPUtime=1.75 cores=1,3,5,7
/proc/8801/task/8865/stat : 8865 (java) S 8798 8801 5944 0 -1 1077944384 7232 13279 0 0 166 2 4 3 20 0 15 0 417310241 11112239104 81458 33554432000 4194304 4196468 140734860890736 140610588867056 140611622263426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8866] ppid=8798 vsize=10851796 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8866/stat : 8866 (java) S 8798 8801 5944 0 -1 1077944384 3 13279 0 0 0 0 4 3 20 0 15 0 417310241 11112239104 81458 33554432000 4194304 4196468 140734860890736 140610177420128 140611622262485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
[pid=8801/tid=8867] ppid=8798 vsize=10851796 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8801/task/8867/stat : 8867 (java) S 8798 8801 5944 0 -1 1077944384 6 13279 0 0 0 0 4 3 20 0 15 0 417310242 11112239104 81458 33554432000 4194304 4196468 140734860890736 140610587814448 140611622263426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10493952 140734860892913 140734860895429 140734860895429 140734860898255 0
Current children cumulated CPU time: 10.46 s
Current children cumulated vsize: 10851796 KiB
Current children cumulated memory: 325832 KiB
[startup+4.40061 s]*
/proc/loadavg: 1.22 1.17 1.28 2/214 8868
/proc/meminfo: memFree=25791232/32770624 swapFree=66977616/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 4.41424
CPU time (s): 11.248
CPU user time (s): 10.9921
CPU system time (s): 0.255872
CPU usage (%): 254.811
Max. virtual memory (cumulated for all children) (KiB): 10914568
Max. memory (cumulated for all children) (KiB): 338232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.9921
system time used= 0.255872
maximum resident set size= 340232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70817
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5877
involuntary context switches= 54
# summary of solver processes directly reported to runsolver:
# pid: 8801
# total CPU time (s): 11.248
# total CPU user time (s): 10.9921
# total CPU system time (s): 0.255872
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.044359 second user time and 0.092046 second system time
The end