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 (14102 MiB free)
memory of node 1: 16384 MiB (15434 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393443-1568316942/watcher-4393443-1568316942 -o /tmp/evaluation-result-4393443-1568316942/solver-4393443-1568316942 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568308867-14286 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 333843099 HOME/instance-4393443-1568316942.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
Current StackSize limit: 8192 KiB
solver pid=17859, runsolver pid=17856
[startup+0.100572 s]*
/proc/loadavg: 7.84 8.07 8.01 6/233 17875
/proc/meminfo: memFree=30230216/32770624 swapFree=66920708/67108860
[pid=17859] ppid=17856 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17859/stat : 17859 (xcsp3-exec) S 17856 17859 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407950325 115843072 362 33554432000 4194304 5098028 140736173015920 140736173014024 139936814277244 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 35192832 140736173024123 140736173024365 140736173024365 140736173027274 0
/proc/17859/statm: 28282 362 304 221 0 87 0
[pid=17861] ppid=17859 vsize=15144768 memory=28896 CPUtime=0.13 cores=1,3,5,7
/proc/17861/stat : 17861 (java) S 17859 17859 14254 0 -1 1077944320 5708 0 0 0 12 1 0 0 20 0 15 0 407950326 15508242432 7224 33554432000 4194304 4196468 140731282561904 140731282544448 140460985597687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
/proc/17861/statm: 3786192 7224 3153 1 0 3748377 0
[pid=17861/tid=17862] ppid=17859 vsize=15144768 memory=576460756329955459 CPUtime=0.08 cores=1,3,5,7
/proc/17861/task/17862/stat : 17862 (java) R 17859 17859 14254 0 -1 4202560 3571 0 0 0 8 0 0 0 20 0 15 0 407950326 15508242432 7224 33554432000 4194304 4196468 140731282561904 140460989828688 140460969641317 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17863] ppid=17859 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17863/stat : 17863 (java) S 17859 17859 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407950327 15508242432 7224 33554432000 4194304 4196468 140731282561904 140460938218000 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17864] ppid=17859 vsize=15144768 memory=288370363229230720 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17864/stat : 17864 (java) S 17859 17859 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407950327 15508242432 7224 33554432000 4194304 4196468 140731282561904 140460937165456 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17865] ppid=17859 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17865/stat : 17865 (java) S 17859 17859 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407950327 15508242432 7224 33554432000 4194304 4196468 140731282561904 140460936112400 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17866] ppid=17859 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17866/stat : 17866 (java) S 17859 17859 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407950327 15508242432 7224 33554432000 4194304 4196468 140731282561904 140460935059856 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17867] ppid=17859 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17867/stat : 17867 (java) S 17859 17859 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407950328 15508242432 7224 33554432000 4194304 4196468 140731282561904 140460454267632 140460985608834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17868] ppid=17859 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17868/stat : 17868 (java) S 17859 17859 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407950328 15508242432 7224 33554432000 4194304 4196468 140731282561904 140460453213856 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17869] ppid=17859 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17869/stat : 17869 (java) S 17859 17859 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407950329 15508242432 7224 33554432000 4194304 4196468 140731282561904 140460452160752 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17870] ppid=17859 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17870/stat : 17870 (java) S 17859 17859 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407950331 15508242432 7224 33554432000 4194304 4196468 140731282561904 140460451109328 140460985616283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17871] ppid=17859 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17871/stat : 17871 (java) R 17859 17859 14254 0 -1 4202560 414 0 0 0 0 0 0 0 20 0 15 0 407950331 15508242432 7224 33554432000 4194304 4196468 140731282561904 140460450056432 140460964918770 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17872] ppid=17859 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17872/stat : 17872 (java) R 17859 17859 14254 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 407950331 15508242432 7224 33554432000 4194304 4196468 140731282561904 140460449003888 140460985608834 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17873] ppid=17859 vsize=15144768 memory=139987077518976 CPUtime=0.02 cores=1,3,5,7
/proc/17861/task/17873/stat : 17873 (java) R 17859 17859 14254 0 -1 4202560 378 0 0 0 2 0 0 0 20 0 15 0 407950331 15508242432 7224 33554432000 4194304 4196468 140731282561904 140460447950832 140460969678174 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17874] ppid=17859 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17874/stat : 17874 (java) S 17859 17859 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407950331 15508242432 7224 33554432000 4194304 4196468 140731282561904 140460446898528 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17875] ppid=17859 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17875/stat : 17875 (java) R 17859 17859 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407950331 15508242432 7224 33554432000 4194304 4196468 140731282561904 140460445846576 140460985608834 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30344 KiB
[startup+0.210767 s]*
/proc/loadavg: 7.84 8.07 8.01 6/233 17875
/proc/meminfo: memFree=30215976/32770624 swapFree=66920708/67108860
[pid=17859] ppid=17856 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17859/stat : 17859 (xcsp3-exec) S 17856 17859 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407950325 115843072 362 33554432000 4194304 5098028 140736173015920 140736173014024 139936814277244 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 35192832 140736173024123 140736173024365 140736173024365 140736173027274 0
/proc/17859/statm: 28282 362 304 221 0 87 0
[pid=17861] ppid=17859 vsize=15144768 memory=41048 CPUtime=0.34 cores=1,3,5,7
/proc/17861/stat : 17861 (java) S 17859 17859 14254 0 -1 1077944320 9494 0 0 0 32 2 0 0 20 0 15 0 407950326 15508242432 10262 33554432000 4194304 4196468 140731282561904 140731282544448 140460985597687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
/proc/17861/statm: 3786192 10262 3243 1 0 3748377 0
[pid=17861/tid=17862] ppid=17859 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/17861/task/17862/stat : 17862 (java) R 17859 17859 14254 0 -1 4202560 6629 0 0 0 18 2 0 0 20 0 15 0 407950326 15508242432 10262 33554432000 4194304 4196468 140731282561904 140460989832672 140460985619613 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17863] ppid=17859 vsize=15144768 memory=10592 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17863/stat : 17863 (java) S 17859 17859 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407950327 15508242432 10262 33554432000 4194304 4196468 140731282561904 140460938218000 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17864] ppid=17859 vsize=15144768 memory=139987077535055 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17864/stat : 17864 (java) S 17859 17859 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407950327 15508242432 10262 33554432000 4194304 4196468 140731282561904 140460937165456 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17865] ppid=17859 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17865/stat : 17865 (java) S 17859 17859 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407950327 15508242432 10262 33554432000 4194304 4196468 140731282561904 140460936112400 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17866] ppid=17859 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17866/stat : 17866 (java) S 17859 17859 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407950327 15508242432 10262 33554432000 4194304 4196468 140731282561904 140460935059856 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17867] ppid=17859 vsize=15144768 memory=139987077518976 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17867/stat : 17867 (java) S 17859 17859 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407950328 15508242432 10262 33554432000 4194304 4196468 140731282561904 140460454267632 140460985608834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17868] ppid=17859 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17868/stat : 17868 (java) S 17859 17859 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407950328 15508242432 10262 33554432000 4194304 4196468 140731282561904 140460453213856 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17869] ppid=17859 vsize=15145792 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17869/stat : 17869 (java) S 17859 17859 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407950329 15509291008 10262 33554432000 4194304 4196468 140731282561904 140460452160752 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17870] ppid=17859 vsize=15145792 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17870/stat : 17870 (java) S 17859 17859 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407950331 15509291008 10262 33554432000 4194304 4196468 140731282561904 140460451109328 140460985616283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17871] ppid=17859 vsize=15145792 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/17861/task/17871/stat : 17871 (java) S 17859 17859 14254 0 -1 1077944384 454 0 0 0 1 0 0 0 20 0 15 0 407950331 15509291008 10262 33554432000 4194304 4196468 140731282561904 140460450056432 140460985608834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17872] ppid=17859 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/17861/task/17872/stat : 17872 (java) S 17859 17859 14254 0 -1 1077944384 308 0 0 0 2 0 0 0 20 0 15 0 407950331 15508242432 10286 33554432000 4194304 4196468 140731282561904 140460449003888 140460985608834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17873] ppid=17859 vsize=15144768 memory=139987077518976 CPUtime=0.08 cores=1,3,5,7
/proc/17861/task/17873/stat : 17873 (java) S 17859 17859 14254 0 -1 1077944384 801 0 0 0 8 0 0 0 20 0 15 0 407950331 15508242432 10286 33554432000 4194304 4196468 140731282561904 140460447950832 140460985608834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17874] ppid=17859 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17874/stat : 17874 (java) S 17859 17859 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407950331 15508242432 10286 33554432000 4194304 4196468 140731282561904 140460446898528 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17875] ppid=17859 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17875/stat : 17875 (java) S 17859 17859 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407950331 15508242432 10286 33554432000 4194304 4196468 140731282561904 140460445846576 140460985608834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42496 KiB
[startup+0.310618 s]*
/proc/loadavg: 7.84 8.07 8.01 7/233 17875
/proc/meminfo: memFree=30208224/32770624 swapFree=66920708/67108860
[pid=17859] ppid=17856 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17859/stat : 17859 (xcsp3-exec) S 17856 17859 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407950325 115843072 362 33554432000 4194304 5098028 140736173015920 140736173014024 139936814277244 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 35192832 140736173024123 140736173024365 140736173024365 140736173027274 0
/proc/17859/statm: 28282 362 304 221 0 87 0
[pid=17861] ppid=17859 vsize=15149024 memory=50132 CPUtime=0.52 cores=1,3,5,7
/proc/17861/stat : 17861 (java) S 17859 17859 14254 0 -1 1077944320 10935 0 0 0 49 3 0 0 20 0 15 0 407950326 15512600576 12533 33554432000 4194304 4196468 140731282561904 140731282544448 140460985597687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
/proc/17861/statm: 3787256 12533 3329 1 0 3748377 0
[pid=17861/tid=17862] ppid=17859 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/17861/task/17862/stat : 17862 (java) R 17859 17859 14254 0 -1 4202560 7837 0 0 0 27 3 0 0 20 0 15 0 407950326 15512600576 12598 33554432000 4194304 4196468 140731282561904 140460989828800 140460969678174 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17863] ppid=17859 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17863/stat : 17863 (java) S 17859 17859 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407950327 15512600576 12598 33554432000 4194304 4196468 140731282561904 140460938218000 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17864] ppid=17859 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17864/stat : 17864 (java) S 17859 17859 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407950327 15512600576 12598 33554432000 4194304 4196468 140731282561904 140460937165456 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17865] ppid=17859 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17865/stat : 17865 (java) S 17859 17859 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407950327 15512600576 12598 33554432000 4194304 4196468 140731282561904 140460936112400 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17866] ppid=17859 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17866/stat : 17866 (java) S 17859 17859 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407950327 15512600576 12598 33554432000 4194304 4196468 140731282561904 140460935059856 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17867] ppid=17859 vsize=15149024 memory=-7377628861284532383 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17867/stat : 17867 (java) S 17859 17859 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407950328 15512600576 12598 33554432000 4194304 4196468 140731282561904 140460454267632 140460985608834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17868] ppid=17859 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17868/stat : 17868 (java) S 17859 17859 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407950328 15512600576 12598 33554432000 4194304 4196468 140731282561904 140460453213856 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17869] ppid=17859 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17869/stat : 17869 (java) S 17859 17859 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407950329 15512600576 12598 33554432000 4194304 4196468 140731282561904 140460452160752 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17870] ppid=17859 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17870/stat : 17870 (java) S 17859 17859 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407950331 15512600576 12598 33554432000 4194304 4196468 140731282561904 140460451109328 140460985616283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17871] ppid=17859 vsize=15149024 memory=7827413994055111515 CPUtime=0.04 cores=1,3,5,7
/proc/17861/task/17871/stat : 17871 (java) S 17859 17859 14254 0 -1 1077944384 566 0 0 0 4 0 0 0 20 0 15 0 407950331 15512600576 12598 33554432000 4194304 4196468 140731282561904 140460450056432 140460985608834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17872] ppid=17859 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/17861/task/17872/stat : 17872 (java) S 17859 17859 14254 0 -1 1077944384 317 0 0 0 4 0 0 0 20 0 15 0 407950331 15512600576 12598 33554432000 4194304 4196468 140731282561904 140460449003888 140460985608834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17873] ppid=17859 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/17861/task/17873/stat : 17873 (java) R 17859 17859 14254 0 -1 4202560 910 0 0 0 12 0 0 0 20 0 15 0 407950331 15512600576 12598 33554432000 4194304 4196468 140731282561904 140460447950832 140460985609622 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17874] ppid=17859 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17874/stat : 17874 (java) S 17859 17859 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407950331 15512600576 12598 33554432000 4194304 4196468 140731282561904 140460446898528 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17875] ppid=17859 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17875/stat : 17875 (java) S 17859 17859 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407950331 15512600576 12598 33554432000 4194304 4196468 140731282561904 140460445846576 140460985608834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51580 KiB
[startup+0.702145 s]
/proc/loadavg: 7.84 8.07 8.01 9/233 17875
/proc/meminfo: memFree=30185492/32770624 swapFree=66920708/67108860
[pid=17859] ppid=17856 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17859/stat : 17859 (xcsp3-exec) S 17856 17859 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407950325 115843072 362 33554432000 4194304 5098028 140736173015920 140736173014024 139936814277244 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 35192832 140736173024123 140736173024365 140736173024365 140736173027274 0
/proc/17859/statm: 28282 362 304 221 0 87 0
[pid=17861] ppid=17859 vsize=15151148 memory=92044 CPUtime=1.75 cores=1,3,5,7
/proc/17861/stat : 17861 (java) S 17859 17859 14254 0 -1 1077944320 15130 0 0 0 170 5 0 0 20 0 15 0 407950326 15514775552 23011 33554432000 4194304 4196468 140731282561904 140731282544448 140460985597687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
/proc/17861/statm: 3787787 23011 3455 1 0 3748889 0
[pid=17861/tid=17862] ppid=17859 vsize=15151148 memory=-3704326594973231466 CPUtime=0.67 cores=1,3,5,7
/proc/17861/task/17862/stat : 17862 (java) R 17859 17859 14254 0 -1 4202560 9162 0 0 0 64 3 0 0 20 0 15 0 407950326 15514775552 23011 33554432000 4194304 4196468 140731282561904 140460989834528 140460985609622 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17863] ppid=17859 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17863/stat : 17863 (java) S 17859 17859 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407950327 15514775552 23011 33554432000 4194304 4196468 140731282561904 140460938218000 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17864] ppid=17859 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17864/stat : 17864 (java) S 17859 17859 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407950327 15514775552 23011 33554432000 4194304 4196468 140731282561904 140460937165456 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17865] ppid=17859 vsize=15151148 memory=708 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17865/stat : 17865 (java) S 17859 17859 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407950327 15514775552 23011 33554432000 4194304 4196468 140731282561904 140460936112400 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17866] ppid=17859 vsize=15151148 memory=9364 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17866/stat : 17866 (java) S 17859 17859 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407950327 15514775552 23011 33554432000 4194304 4196468 140731282561904 140460935059856 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17867] ppid=17859 vsize=15151148 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17867/stat : 17867 (java) S 17859 17859 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407950328 15514775552 23011 33554432000 4194304 4196468 140731282561904 140460454267632 140460985608834 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17868] ppid=17859 vsize=15151148 memory=776 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17868/stat : 17868 (java) S 17859 17859 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407950328 15514775552 23011 33554432000 4194304 4196468 140731282561904 140460453213856 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17869] ppid=17859 vsize=15151148 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17869/stat : 17869 (java) S 17859 17859 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407950329 15514775552 23011 33554432000 4194304 4196468 140731282561904 140460452160752 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17870] ppid=17859 vsize=15151148 memory=7956 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17870/stat : 17870 (java) S 17859 17859 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407950331 15514775552 23011 33554432000 4194304 4196468 140731282561904 140460451109328 140460985616283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17871] ppid=17859 vsize=15151148 memory=3444 CPUtime=0.34 cores=1,3,5,7
/proc/17861/task/17871/stat : 17871 (java) S 17859 17859 14254 0 -1 1077944384 1626 0 0 0 34 0 0 0 20 0 15 0 407950331 15514775552 23011 33554432000 4194304 4196468 140731282561904 140460450056432 140460985608834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17872] ppid=17859 vsize=15151148 memory=1556 CPUtime=0.28 cores=1,3,5,7
/proc/17861/task/17872/stat : 17872 (java) S 17859 17859 14254 0 -1 1077944384 852 0 0 0 28 0 0 0 20 0 15 0 407950331 15514775552 23011 33554432000 4194304 4196468 140731282561904 140460449003888 140460985608834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17873] ppid=17859 vsize=15151148 memory=2832 CPUtime=0.43 cores=1,3,5,7
/proc/17861/task/17873/stat : 17873 (java) R 17859 17859 14254 0 -1 4202560 2184 0 0 0 43 0 0 0 20 0 15 0 407950331 15514775552 23011 33554432000 4194304 4196468 140731282561904 140460447947768 140460964731923 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17874] ppid=17859 vsize=15151148 memory=984 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17874/stat : 17874 (java) S 17859 17859 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407950331 15514775552 23011 33554432000 4194304 4196468 140731282561904 140460446898528 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17875] ppid=17859 vsize=15151148 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17875/stat : 17875 (java) S 17859 17859 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407950331 15514775552 23011 33554432000 4194304 4196468 140731282561904 140460445846576 140460985608834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 93492 KiB
[startup+1.50081 s]
/proc/loadavg: 7.84 8.07 8.01 8/233 17875
/proc/meminfo: memFree=30091296/32770624 swapFree=66920708/67108860
[pid=17859] ppid=17856 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17859/stat : 17859 (xcsp3-exec) S 17856 17859 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407950325 115843072 362 33554432000 4194304 5098028 140736173015920 140736173014024 139936814277244 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 35192832 140736173024123 140736173024365 140736173024365 140736173027274 0
/proc/17859/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/17861/stat : 17861 (java) S 17859 17859 14254 0 -1 1077944320 128909 0 0 0 207166 40 0 0 20 0 19 0 407950326 15790571520 133539 33554432000 4194304 4196468 140731282561904 140731282544448 140460985597687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
/proc/17861/statm: 3855120 133539 3532 1 0 3816222 0
[pid=17861/tid=17862] ppid=17859 vsize=15420480 memory=8317482817917895235 CPUtime=1.42 cores=1,3,5,7
/proc/17861/task/17862/stat : 17862 (java) S 17859 17859 14254 0 -1 1077944384 12165 0 0 0 137 5 0 0 20 0 19 0 407950326 15790571520 133539 33554432000 4194304 4196468 140731282561904 140460989838464 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17863] ppid=17859 vsize=15420480 memory=1444 CPUtime=0.12 cores=1,3,5,7
/proc/17861/task/17863/stat : 17863 (java) S 17859 17859 14254 0 -1 1077944384 531 0 0 0 8 4 0 0 20 0 19 0 407950327 15790571520 133539 33554432000 4194304 4196468 140731282561904 140460938218000 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17864] ppid=17859 vsize=15420480 memory=888 CPUtime=0.12 cores=1,3,5,7
/proc/17861/task/17864/stat : 17864 (java) S 17859 17859 14254 0 -1 1077944384 435 0 0 0 8 4 0 0 20 0 19 0 407950327 15790571520 133539 33554432000 4194304 4196468 140731282561904 140460937165456 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17865] ppid=17859 vsize=15420480 memory=1448 CPUtime=0.12 cores=1,3,5,7
/proc/17861/task/17865/stat : 17865 (java) S 17859 17859 14254 0 -1 1077944384 1463 0 0 0 8 4 0 0 20 0 19 0 407950327 15790571520 133539 33554432000 4194304 4196468 140731282561904 140460936112400 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17866] ppid=17859 vsize=15420480 memory=1556 CPUtime=0.12 cores=1,3,5,7
/proc/17861/task/17866/stat : 17866 (java) S 17859 17859 14254 0 -1 1077944384 1174 0 0 0 8 4 0 0 20 0 19 0 407950327 15790571520 133539 33554432000 4194304 4196468 140731282561904 140460935059856 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17867] ppid=17859 vsize=15420480 memory=2832 CPUtime=0.03 cores=1,3,5,7
/proc/17861/task/17867/stat : 17867 (java) S 17859 17859 14254 0 -1 1077944384 2571 0 0 0 2 1 0 0 20 0 19 0 407950328 15790571520 133539 33554432000 4194304 4196468 140731282561904 140460454267632 140460985608834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 37 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17868] ppid=17859 vsize=15420480 memory=984 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17868/stat : 17868 (java) S 17859 17859 14254 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 407950328 15790571520 133539 33554432000 4194304 4196468 140731282561904 140460453213920 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17869] ppid=17859 vsize=15420480 memory=3444 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17869/stat : 17869 (java) S 17859 17859 14254 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 407950329 15790571520 133539 33554432000 4194304 4196468 140731282561904 140460452160768 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17870] ppid=17859 vsize=15420480 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17870/stat : 17870 (java) S 17859 17859 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407950331 15790571520 133539 33554432000 4194304 4196468 140731282561904 140460451109328 140460985616283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17871] ppid=17859 vsize=15420480 memory=2832 CPUtime=3.16 cores=1,3,5,7
/proc/17861/task/17871/stat : 17871 (java) S 17859 17859 14254 0 -1 1077944384 29003 0 0 0 314 2 0 0 20 0 19 0 407950331 15790571520 133539 33554432000 4194304 4196468 140731282561904 140460450056432 140460985608834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17872] ppid=17859 vsize=15420480 memory=984 CPUtime=2.81 cores=1,3,5,7
/proc/17861/task/17872/stat : 17872 (java) S 17859 17859 14254 0 -1 1077944384 28783 0 0 0 279 2 0 0 20 0 19 0 407950331 15790571520 133539 33554432000 4194304 4196468 140731282561904 140460449003888 140460985608834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17873] ppid=17859 vsize=15420480 memory=14012 CPUtime=0.89 cores=1,3,5,7
/proc/17861/task/17873/stat : 17873 (java) S 17859 17859 14254 0 -1 1077944384 21312 0 0 0 87 2 0 0 20 0 19 0 407950331 15790571520 133539 33554432000 4194304 4196468 140731282561904 140460447950832 140460985608834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17874] ppid=17859 vsize=15420480 memory=5192 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17874/stat : 17874 (java) S 17859 17859 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407950331 15790571520 133539 33554432000 4194304 4196468 140731282561904 140460446898528 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17875] ppid=17859 vsize=15420480 memory=2120 CPUtime=0.23 cores=1,3,5,7
/proc/17861/task/17875/stat : 17875 (java) S 17859 17859 14254 0 -1 1077944384 2364 0 0 0 0 23 0 0 20 0 19 0 407950331 15790571520 133539 33554432000 4194304 4196468 140731282561904 140460445846576 140460985608834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 36 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17919] ppid=17859 vsize=15420480 memory=12020 CPUtime=414.93 cores=1,3,5,7
/proc/17861/task/17919/stat : 17919 (java) R 17859 17859 14254 0 -1 4202560 1010 0 0 0 41493 0 0 0 20 0 19 0 407961035 15790571520 133539 33554432000 4194304 4196468 140731282561904 140460430326984 140460622135857 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17920] ppid=17859 vsize=15420480 memory=496 CPUtime=411.95 cores=1,3,5,7
/proc/17861/task/17920/stat : 17920 (java) R 17859 17859 14254 0 -1 4202560 3604 0 0 0 41195 0 0 0 20 0 19 0 407961035 15790571520 133539 33554432000 4194304 4196468 140731282561904 140460436636872 140460621474305 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17921] ppid=17859 vsize=15420480 memory=1560 CPUtime=413.94 cores=1,3,5,7
/proc/17861/task/17921/stat : 17921 (java) R 17859 17859 14254 0 -1 4202560 1293 0 0 0 41393 1 0 0 20 0 19 0 407961035 15790571520 133539 33554432000 4194304 4196468 140731282561904 140460435582776 140460622279374 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17922] ppid=17859 vsize=15420480 memory=928 CPUtime=411.38 cores=1,3,5,7
/proc/17861/task/17922/stat : 17922 (java) R 17859 17859 14254 0 -1 4202560 1795 0 0 0 41137 1 0 0 20 0 19 0 407961035 15790571520 133539 33554432000 4194304 4196468 140731282561904 140460434531400 140460621677894 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
Current children cumulated CPU time: 2072.06 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 535604 KiB
[startup+582.301 s]*
/proc/loadavg: 8.12 8.16 8.13 9/237 18050
/proc/meminfo: memFree=18473604/32770624 swapFree=66920712/67108860
[pid=17859] ppid=17856 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17859/stat : 17859 (xcsp3-exec) S 17856 17859 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407950325 115843072 362 33554432000 4194304 5098028 140736173015920 140736173014024 139936814277244 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 35192832 140736173024123 140736173024365 140736173024365 140736173027274 0
/proc/17859/statm: 28282 362 304 221 0 87 0
[pid=17861] ppid=17859 vsize=15420480 memory=534156 CPUtime=2310.87 cores=1,3,5,7
/proc/17861/stat : 17861 (java) S 17859 17859 14254 0 -1 1077944320 129843 0 0 0 231047 40 0 0 20 0 19 0 407950326 15790571520 133539 33554432000 4194304 4196468 140731282561904 140731282544448 140460985597687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
/proc/17861/statm: 3855120 133539 3532 1 0 3816222 0
[pid=17861/tid=17862] ppid=17859 vsize=15420480 memory=8317482817917895235 CPUtime=1.42 cores=1,3,5,7
/proc/17861/task/17862/stat : 17862 (java) S 17859 17859 14254 0 -1 1077944384 12165 0 0 0 137 5 0 0 20 0 19 0 407950326 15790571520 133539 33554432000 4194304 4196468 140731282561904 140460989838464 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17863] ppid=17859 vsize=15420480 memory=8317482817917895235 CPUtime=0.12 cores=1,3,5,7
/proc/17861/task/17863/stat : 17863 (java) S 17859 17859 14254 0 -1 1077944384 531 0 0 0 8 4 0 0 20 0 19 0 407950327 15790571520 133539 33554432000 4194304 4196468 140731282561904 140460938218000 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17864] ppid=17859 vsize=15420480 memory=1120 CPUtime=0.12 cores=1,3,5,7
/proc/17861/task/17864/stat : 17864 (java) S 17859 17859 14254 0 -1 1077944384 435 0 0 0 8 4 0 0 20 0 19 0 407950327 15790571520 133539 33554432000 4194304 4196468 140731282561904 140460937165456 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17865] ppid=17859 vsize=15420480 memory=776 CPUtime=0.12 cores=1,3,5,7
/proc/17861/task/17865/stat : 17865 (java) S 17859 17859 14254 0 -1 1077944384 1463 0 0 0 8 4 0 0 20 0 19 0 407950327 15790571520 133539 33554432000 4194304 4196468 140731282561904 140460936112400 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17866] ppid=17859 vsize=15420480 memory=6791534058613427641 CPUtime=0.12 cores=1,3,5,7
/proc/17861/task/17866/stat : 17866 (java) S 17859 17859 14254 0 -1 1077944384 1174 0 0 0 8 4 0 0 20 0 19 0 407950327 15790571520 133539 33554432000 4194304 4196468 140731282561904 140460935059856 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17867] ppid=17859 vsize=15420480 memory=6791534058613427641 CPUtime=0.04 cores=1,3,5,7
/proc/17861/task/17867/stat : 17867 (java) S 17859 17859 14254 0 -1 1077944384 2578 0 0 0 2 2 0 0 20 0 19 0 407950328 15790571520 133539 33554432000 4194304 4196468 140731282561904 140460454267632 140460985608834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 37 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17868] ppid=17859 vsize=15420480 memory=534156 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17868/stat : 17868 (java) S 17859 17859 14254 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 407950328 15790571520 133539 33554432000 4194304 4196468 140731282561904 140460453213920 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17869] ppid=17859 vsize=15420480 memory=14981065810905736 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17869/stat : 17869 (java) S 17859 17859 14254 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 407950329 15790571520 133539 33554432000 4194304 4196468 140731282561904 140460452160768 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17870] ppid=17859 vsize=15420480 memory=216742304659090 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17870/stat : 17870 (java) S 17859 17859 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407950331 15790571520 133539 33554432000 4194304 4196468 140731282561904 140460451109328 140460985616283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17871] ppid=17859 vsize=15420480 memory=139986944282751 CPUtime=3.16 cores=1,3,5,7
/proc/17861/task/17871/stat : 17871 (java) S 17859 17859 14254 0 -1 1077944384 29006 0 0 0 314 2 0 0 20 0 19 0 407950331 15790571520 133539 33554432000 4194304 4196468 140731282561904 140460450056432 140460985608834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17872] ppid=17859 vsize=15420480 memory=279973888160536 CPUtime=2.81 cores=1,3,5,7
/proc/17861/task/17872/stat : 17872 (java) S 17859 17859 14254 0 -1 1077944384 28786 0 0 0 279 2 0 0 20 0 19 0 407950331 15790571520 133539 33554432000 4194304 4196468 140731282561904 140460449003888 140460985608834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17873] ppid=17859 vsize=15420480 memory=139986944098031 CPUtime=0.89 cores=1,3,5,7
/proc/17861/task/17873/stat : 17873 (java) S 17859 17859 14254 0 -1 1077944384 21321 0 0 0 87 2 0 0 20 0 19 0 407950331 15790571520 133539 33554432000 4194304 4196468 140731282561904 140460447950832 140460985608834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17874] ppid=17859 vsize=15420480 memory=279973886441732 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17874/stat : 17874 (java) S 17859 17859 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407950331 15790571520 133539 33554432000 4194304 4196468 140731282561904 140460446898528 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17875] ppid=17859 vsize=15420480 memory=7667208389858781541 CPUtime=0.26 cores=1,3,5,7
/proc/17861/task/17875/stat : 17875 (java) S 17859 17859 14254 0 -1 1077944384 2395 0 0 0 0 26 0 0 20 0 19 0 407950331 15790571520 133539 33554432000 4194304 4196468 140731282561904 140460445846576 140460985608834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 36 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17919] ppid=17859 vsize=15420480 memory=-8253362762721548664 CPUtime=474.92 cores=1,3,5,7
/proc/17861/task/17919/stat : 17919 (java) R 17859 17859 14254 0 -1 4202560 1059 0 0 0 47492 0 0 0 20 0 19 0 407961035 15790571520 133539 33554432000 4194304 4196468 140731282561904 140460430326984 140460621677689 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17920] ppid=17859 vsize=15420480 memory=-8383865636863188341 CPUtime=471.93 cores=1,3,5,7
/proc/17861/task/17920/stat : 17920 (java) R 17859 17859 14254 0 -1 4202560 4085 0 0 0 47192 1 0 0 20 0 19 0 407961035 15790571520 133539 33554432000 4194304 4196468 140731282561904 140460436636872 140460622321101 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17921] ppid=17859 vsize=15420480 memory=-8412658736277716636 CPUtime=473.92 cores=1,3,5,7
/proc/17861/task/17921/stat : 17921 (java) R 17859 17859 14254 0 -1 4202560 1382 0 0 0 47391 1 0 0 20 0 19 0 407961035 15790571520 133539 33554432000 4194304 4196468 140731282561904 140460435582776 140460621677448 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17922] ppid=17859 vsize=15420480 memory=-8817073721047310274 CPUtime=470.24 cores=1,3,5,7
/proc/17861/task/17922/stat : 17922 (java) R 17859 17859 14254 0 -1 4202560 2057 0 0 0 47023 1 0 0 20 0 19 0 407961035 15790571520 133539 33554432000 4194304 4196468 140731282561904 140460434531400 140460621812166 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
Current children cumulated CPU time: 2310.87 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 535604 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+634.901 s]
/proc/loadavg: 8.35 8.21 8.15 9/237 18053
/proc/meminfo: memFree=18428724/32770624 swapFree=66920712/67108860
[pid=17859] ppid=17856 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17859/stat : 17859 (xcsp3-exec) S 17856 17859 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407950325 115843072 362 33554432000 4194304 5098028 140736173015920 140736173014024 139936814277244 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 35192832 140736173024123 140736173024365 140736173024365 140736173027274 0
/proc/17859/statm: 28282 362 304 221 0 87 0
[pid=17861] ppid=17859 vsize=15420480 memory=578216 CPUtime=2520.21 cores=1,3,5,7
/proc/17861/stat : 17861 (java) S 17859 17859 14254 0 -1 1077944320 132303 0 0 0 251979 42 0 0 20 0 19 0 407950326 15790571520 144554 33554432000 4194304 4196468 140731282561904 140731282544448 140460985597687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
/proc/17861/statm: 3855120 144554 3532 1 0 3816222 0
[pid=17861/tid=17862] ppid=17859 vsize=15420480 memory=8187704045996132563 CPUtime=1.42 cores=1,3,5,7
/proc/17861/task/17862/stat : 17862 (java) S 17859 17859 14254 0 -1 1077944384 12165 0 0 0 137 5 0 0 20 0 19 0 407950326 15790571520 144554 33554432000 4194304 4196468 140731282561904 140460989838464 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17863] ppid=17859 vsize=15420480 memory=-7101718590825193272 CPUtime=0.12 cores=1,3,5,7
/proc/17861/task/17863/stat : 17863 (java) S 17859 17859 14254 0 -1 1077944384 531 0 0 0 8 4 0 0 20 0 19 0 407950327 15790571520 144554 33554432000 4194304 4196468 140731282561904 140460938218000 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17864] ppid=17859 vsize=15420480 memory=6655300316396806240 CPUtime=0.12 cores=1,3,5,7
/proc/17861/task/17864/stat : 17864 (java) S 17859 17859 14254 0 -1 1077944384 435 0 0 0 8 4 0 0 20 0 19 0 407950327 15790571520 144554 33554432000 4194304 4196468 140731282561904 140460937165456 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17865] ppid=17859 vsize=15420480 memory=7882828121784479853 CPUtime=0.12 cores=1,3,5,7
/proc/17861/task/17865/stat : 17865 (java) S 17859 17859 14254 0 -1 1077944384 1463 0 0 0 8 4 0 0 20 0 19 0 407950327 15790571520 144554 33554432000 4194304 4196468 140731282561904 140460936112400 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17866] ppid=17859 vsize=15420480 memory=1448 CPUtime=0.12 cores=1,3,5,7
/proc/17861/task/17866/stat : 17866 (java) S 17859 17859 14254 0 -1 1077944384 1174 0 0 0 8 4 0 0 20 0 19 0 407950327 15790571520 144554 33554432000 4194304 4196468 140731282561904 140460935059856 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17867] ppid=17859 vsize=15420480 memory=576168 CPUtime=0.04 cores=1,3,5,7
/proc/17861/task/17867/stat : 17867 (java) S 17859 17859 14254 0 -1 1077944384 2586 0 0 0 2 2 0 0 20 0 19 0 407950328 15790571520 144554 33554432000 4194304 4196468 140731282561904 140460454267632 140460985608834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 37 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17868] ppid=17859 vsize=15420480 memory=14981065810905736 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17868/stat : 17868 (java) S 17859 17859 14254 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 407950328 15790571520 144554 33554432000 4194304 4196468 140731282561904 140460453213920 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17869] ppid=17859 vsize=15420480 memory=804 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17869/stat : 17869 (java) S 17859 17859 14254 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 407950329 15790571520 144554 33554432000 4194304 4196468 140731282561904 140460452160768 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17870] ppid=17859 vsize=15420480 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17870/stat : 17870 (java) S 17859 17859 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407950331 15790571520 144554 33554432000 4194304 4196468 140731282561904 140460451109328 140460985616283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17871] ppid=17859 vsize=15420480 memory=924 CPUtime=3.16 cores=1,3,5,7
/proc/17861/task/17871/stat : 17871 (java) S 17859 17859 14254 0 -1 1077944384 29009 0 0 0 314 2 0 0 20 0 19 0 407950331 15790571520 144554 33554432000 4194304 4196468 140731282561904 140460450056432 140460985608834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17872] ppid=17859 vsize=15420480 memory=3848 CPUtime=2.81 cores=1,3,5,7
/proc/17861/task/17872/stat : 17872 (java) S 17859 17859 14254 0 -1 1077944384 29307 0 0 0 279 2 0 0 20 0 19 0 407950331 15790571520 144554 33554432000 4194304 4196468 140731282561904 140460449003888 140460985608834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17873] ppid=17859 vsize=15420480 memory=2956 CPUtime=0.89 cores=1,3,5,7
/proc/17861/task/17873/stat : 17873 (java) S 17859 17859 14254 0 -1 1077944384 21947 0 0 0 87 2 0 0 20 0 19 0 407950331 15790571520 144554 33554432000 4194304 4196468 140731282561904 140460447950832 140460985608834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17874] ppid=17859 vsize=15420480 memory=2680 CPUtime=0 cores=1,3,5,7
/proc/17861/task/17874/stat : 17874 (java) S 17859 17859 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407950331 15790571520 144554 33554432000 4194304 4196468 140731282561904 140460446898528 140460985607893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17875] ppid=17859 vsize=15420480 memory=4096 CPUtime=0.28 cores=1,3,5,7
/proc/17861/task/17875/stat : 17875 (java) S 17859 17859 14254 0 -1 1077944384 2425 0 0 0 0 28 0 0 20 0 19 0 407950331 15790571520 144554 33554432000 4194304 4196468 140731282561904 140460445846576 140460985608834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 36 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17919] ppid=17859 vsize=15420480 memory=1448 CPUtime=527.49 cores=1,3,5,7
/proc/17861/task/17919/stat : 17919 (java) R 17859 17859 14254 0 -1 4202560 1167 0 0 0 52749 0 0 0 20 0 19 0 407961035 15790571520 144554 33554432000 4194304 4196468 140731282561904 140460430326984 140460622067237 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17920] ppid=17859 vsize=15420480 memory=576168 CPUtime=524.48 cores=1,3,5,7
/proc/17861/task/17920/stat : 17920 (java) R 17859 17859 14254 0 -1 4202560 4926 0 0 0 52446 2 0 0 20 0 19 0 407961035 15790571520 144554 33554432000 4194304 4196468 140731282561904 140460436635352 140460622135884 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17921] ppid=17859 vsize=15420480 memory=0 CPUtime=526.49 cores=1,3,5,7
/proc/17861/task/17921/stat : 17921 (java) R 17859 17859 14254 0 -1 4202560 1467 0 0 0 52648 1 0 0 20 0 19 0 407961035 15790571520 144554 33554432000 4194304 4196468 140731282561904 140460435582776 140460621677526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
[pid=17861/tid=17922] ppid=17859 vsize=15420480 memory=0 CPUtime=521.83 cores=1,3,5,7
/proc/17861/task/17922/stat : 17922 (java) R 17859 17859 14254 0 -1 4202560 2295 0 0 0 52182 1 0 0 20 0 19 0 407961035 15790571520 144554 33554432000 4194304 4196468 140731282561904 140460434531400 140460622278841 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140731282564079 140731282564250 140731282564250 140731282567119 0
Current children cumulated CPU time: 2520.21 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 579664 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+634.935 s]
# the end of solver process 17859 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001132 s, system=0.001132 s
[startup+634.979 s]
# the end of solver process 17861 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.07 s, system=0.430208 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 634.979
CPU time (s): 2520.5
CPU user time (s): 2520.07
CPU system time (s): 0.430208
CPU usage (%): 396.943
Max. virtual memory (cumulated for all children) (KiB): 15533608
Max. memory (cumulated for all children) (KiB): 579664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.07
system time used= 0.430208
maximum resident set size= 584916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133511
page faults= 0
swaps= 0
block input operations= 0
block output operations= 728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17264
involuntary context switches= 33407
# summary of solver processes directly reported to runsolver:
# pid: 17859,17861
# total CPU time (s): 2520.5
# total CPU user time (s): 2520.07
# total CPU system time (s): 0.430208
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.21115 second user time and 7.3676 second system time
The end