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 (9279 MiB free)
memory of node 1: 16384 MiB (12395 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394306-1568327958/watcher-4394306-1568327958 -o /tmp/evaluation-result-4394306-1568327958/solver-4394306-1568327958 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568327905-19560 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 985975339 HOME/instance-4394306-1568327958.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=19892, runsolver pid=19889
Current StackSize limit: 8192 KiB
[startup+0.102323 s]*
/proc/loadavg: 2.13 1.13 1.22 6/229 19908
/proc/meminfo: memFree=22154220/32770624 swapFree=66939824/67108860
[pid=19892] ppid=19889 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/19892/stat : 19892 (xcsp3-exec) S 19889 19892 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408710700 115843072 362 33554432000 4194304 5098028 140728056028784 140728056026888 139660784779900 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8404992 140728056034171 140728056034413 140728056034413 140728056037322 0
/proc/19892/statm: 28282 362 304 221 0 87 0
[pid=19894] ppid=19892 vsize=15144768 memory=29556 CPUtime=0.13 cores=1,3,5,7
/proc/19894/stat : 19894 (java) S 19892 19892 19528 0 -1 1077944320 5843 0 0 0 12 1 0 0 20 0 15 0 408710701 15508242432 7389 33554432000 4194304 4196468 140722796666960 140722796649504 140613828693751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
/proc/19894/statm: 3786192 7389 3141 1 0 3748377 0
[pid=19894/tid=19895] ppid=19892 vsize=15144768 memory=7100839878644302962 CPUtime=0.09 cores=1,3,5,7
/proc/19894/task/19895/stat : 19895 (java) R 19892 19892 19528 0 -1 4202560 3721 0 0 0 8 1 0 0 20 0 15 0 408710701 15508242432 7389 33554432000 4194304 4196468 140722796666960 140613832925072 140613420874592 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19896] ppid=19892 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19896/stat : 19896 (java) S 19892 19892 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408710702 15508242432 7389 33554432000 4194304 4196468 140722796666960 140613420837264 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19897] ppid=19892 vsize=15144768 memory=140286332524160 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19897/stat : 19897 (java) S 19892 19892 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408710702 15508242432 7389 33554432000 4194304 4196468 140722796666960 140613419784464 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19898] ppid=19892 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19898/stat : 19898 (java) S 19892 19892 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408710702 15508242432 7389 33554432000 4194304 4196468 140722796666960 140613418732176 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19899] ppid=19892 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19899/stat : 19899 (java) S 19892 19892 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408710702 15508242432 7389 33554432000 4194304 4196468 140722796666960 140613417679376 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19900] ppid=19892 vsize=15144768 memory=140286332524160 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19900/stat : 19900 (java) S 19892 19892 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408710703 15508242432 7389 33554432000 4194304 4196468 140722796666960 140612971215472 140613828704898 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19901] ppid=19892 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19901/stat : 19901 (java) S 19892 19892 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408710703 15508242432 7389 33554432000 4194304 4196468 140722796666960 140612970161440 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19902] ppid=19892 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19902/stat : 19902 (java) S 19892 19892 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408710704 15508242432 7389 33554432000 4194304 4196468 140722796666960 140612969109104 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19903] ppid=19892 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19903/stat : 19903 (java) S 19892 19892 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408710706 15508242432 7389 33554432000 4194304 4196468 140722796666960 140612968057424 140613828712347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19904] ppid=19892 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19904/stat : 19904 (java) S 19892 19892 19528 0 -1 1077944384 346 0 0 0 0 0 0 0 20 0 15 0 408710706 15508242432 7389 33554432000 4194304 4196468 140722796666960 140612967004272 140613828704898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19905] ppid=19892 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19905/stat : 19905 (java) S 19892 19892 19528 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 408710706 15508242432 7389 33554432000 4194304 4196468 140722796666960 140612965951472 140613828704898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19906] ppid=19892 vsize=15144768 memory=140286332524160 CPUtime=0.02 cores=1,3,5,7
/proc/19894/task/19906/stat : 19906 (java) R 19892 19892 19528 0 -1 4202560 350 0 0 0 2 0 0 0 20 0 15 0 408710706 15508242432 7389 33554432000 4194304 4196468 140722796666960 140612964899184 140613812089873 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19907] ppid=19892 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19907/stat : 19907 (java) S 19892 19892 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408710706 15508242432 7389 33554432000 4194304 4196468 140722796666960 140612963846624 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19908] ppid=19892 vsize=15144768 memory=140286332524160 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19908/stat : 19908 (java) S 19892 19892 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408710707 15508242432 7389 33554432000 4194304 4196468 140722796666960 140612962794416 140613828704898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31004 KiB
[startup+0.211757 s]*
/proc/loadavg: 2.13 1.13 1.22 7/229 19908
/proc/meminfo: memFree=22115152/32770624 swapFree=66939824/67108860
[pid=19892] ppid=19889 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/19892/stat : 19892 (xcsp3-exec) S 19889 19892 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408710700 115843072 362 33554432000 4194304 5098028 140728056028784 140728056026888 139660784779900 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8404992 140728056034171 140728056034413 140728056034413 140728056037322 0
/proc/19892/statm: 28282 362 304 221 0 87 0
[pid=19894] ppid=19892 vsize=15144768 memory=41144 CPUtime=0.35 cores=1,3,5,7
/proc/19894/stat : 19894 (java) S 19892 19892 19528 0 -1 1077944320 9470 0 0 0 32 3 0 0 20 0 15 0 408710701 15508242432 10286 33554432000 4194304 4196468 140722796666960 140722796649504 140613828693751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
/proc/19894/statm: 3786192 10286 3312 1 0 3748377 0
[pid=19894/tid=19895] ppid=19892 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/19894/task/19895/stat : 19895 (java) R 19892 19892 19528 0 -1 4202560 6629 0 0 0 18 2 0 0 20 0 15 0 408710701 15508242432 10286 33554432000 4194304 4196468 140722796666960 140613832928448 140613812774238 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19896] ppid=19892 vsize=15144768 memory=11079 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19896/stat : 19896 (java) S 19892 19892 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408710702 15508242432 10286 33554432000 4194304 4196468 140722796666960 140613420837264 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19897] ppid=19892 vsize=15144768 memory=3760560910071234592 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19897/stat : 19897 (java) S 19892 19892 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408710702 15508242432 10286 33554432000 4194304 4196468 140722796666960 140613419784464 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19898] ppid=19892 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19898/stat : 19898 (java) S 19892 19892 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408710702 15508242432 10286 33554432000 4194304 4196468 140722796666960 140613418732176 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19899] ppid=19892 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19899/stat : 19899 (java) S 19892 19892 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408710702 15508242432 10286 33554432000 4194304 4196468 140722796666960 140613417679376 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19900] ppid=19892 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19900/stat : 19900 (java) S 19892 19892 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408710703 15508242432 10286 33554432000 4194304 4196468 140722796666960 140612971215472 140613828704898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19901] ppid=19892 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19901/stat : 19901 (java) S 19892 19892 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408710703 15508242432 10286 33554432000 4194304 4196468 140722796666960 140612970161440 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19902] ppid=19892 vsize=15144768 memory=140286332524160 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19902/stat : 19902 (java) S 19892 19892 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408710704 15508242432 10286 33554432000 4194304 4196468 140722796666960 140612969109104 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19903] ppid=19892 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19903/stat : 19903 (java) S 19892 19892 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408710706 15508242432 10286 33554432000 4194304 4196468 140722796666960 140612968057424 140613828712347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19904] ppid=19892 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/19894/task/19904/stat : 19904 (java) S 19892 19892 19528 0 -1 1077944384 450 0 0 0 2 0 0 0 20 0 15 0 408710706 15508242432 10286 33554432000 4194304 4196468 140722796666960 140612967004272 140613828704898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19905] ppid=19892 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/19894/task/19905/stat : 19905 (java) S 19892 19892 19528 0 -1 1077944384 336 0 0 0 2 0 0 0 20 0 15 0 408710706 15508242432 10286 33554432000 4194304 4196468 140722796666960 140612965951472 140613828704898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19906] ppid=19892 vsize=15144768 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19894/task/19906/stat : 19906 (java) S 19892 19892 19528 0 -1 1077944384 751 0 0 0 8 0 0 0 20 0 15 0 408710706 15508242432 10286 33554432000 4194304 4196468 140722796666960 140612964899184 140613828704898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19907] ppid=19892 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19907/stat : 19907 (java) S 19892 19892 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408710706 15508242432 10286 33554432000 4194304 4196468 140722796666960 140612963846624 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19908] ppid=19892 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19908/stat : 19908 (java) S 19892 19892 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408710707 15508242432 10286 33554432000 4194304 4196468 140722796666960 140612962794416 140613828704898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42592 KiB
[startup+0.319243 s]*
/proc/loadavg: 2.36 1.19 1.25 10/233 19912
/proc/meminfo: memFree=22106332/32770624 swapFree=66939824/67108860
[pid=19892] ppid=19889 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/19892/stat : 19892 (xcsp3-exec) S 19889 19892 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408710700 115843072 362 33554432000 4194304 5098028 140728056028784 140728056026888 139660784779900 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8404992 140728056034171 140728056034413 140728056034413 140728056037322 0
/proc/19892/statm: 28282 362 304 221 0 87 0
[pid=19894] ppid=19892 vsize=15149024 memory=50560 CPUtime=0.54 cores=1,3,5,7
/proc/19894/stat : 19894 (java) S 19892 19892 19528 0 -1 1077944320 10971 0 0 0 50 4 0 0 20 0 15 0 408710701 15512600576 12640 33554432000 4194304 4196468 140722796666960 140722796649504 140613828693751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
/proc/19894/statm: 3787256 12640 3362 1 0 3748377 0
[pid=19894/tid=19895] ppid=19892 vsize=15149024 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/19894/task/19895/stat : 19895 (java) R 19892 19892 19528 0 -1 4202560 7900 0 0 0 27 3 0 0 20 0 15 0 408710701 15512600576 12648 33554432000 4194304 4196468 140722796666960 140613832930064 140613812774238 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19896] ppid=19892 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19896/stat : 19896 (java) S 19892 19892 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408710702 15512600576 12648 33554432000 4194304 4196468 140722796666960 140613420837264 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19897] ppid=19892 vsize=15149024 memory=4409645500605923360 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19897/stat : 19897 (java) S 19892 19892 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408710702 15512600576 12648 33554432000 4194304 4196468 140722796666960 140613419784464 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19898] ppid=19892 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19898/stat : 19898 (java) S 19892 19892 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408710702 15512600576 12648 33554432000 4194304 4196468 140722796666960 140613418732176 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19899] ppid=19892 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19899/stat : 19899 (java) S 19892 19892 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408710702 15512600576 12648 33554432000 4194304 4196468 140722796666960 140613417679376 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19900] ppid=19892 vsize=15149024 memory=140286332524160 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19900/stat : 19900 (java) S 19892 19892 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408710703 15512600576 12648 33554432000 4194304 4196468 140722796666960 140612971215472 140613828704898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19901] ppid=19892 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19901/stat : 19901 (java) S 19892 19892 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408710703 15512600576 12648 33554432000 4194304 4196468 140722796666960 140612970161440 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19902] ppid=19892 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19902/stat : 19902 (java) S 19892 19892 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408710704 15512600576 12648 33554432000 4194304 4196468 140722796666960 140612969109104 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19903] ppid=19892 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19903/stat : 19903 (java) S 19892 19892 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408710706 15512600576 12648 33554432000 4194304 4196468 140722796666960 140612968057424 140613828712347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19904] ppid=19892 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/19894/task/19904/stat : 19904 (java) S 19892 19892 19528 0 -1 1077944384 565 0 0 0 5 0 0 0 20 0 15 0 408710706 15512600576 12648 33554432000 4194304 4196468 140722796666960 140612967004272 140613828704898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19905] ppid=19892 vsize=15149024 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/19894/task/19905/stat : 19905 (java) S 19892 19892 19528 0 -1 1077944384 343 0 0 0 4 0 0 0 20 0 15 0 408710706 15512600576 12648 33554432000 4194304 4196468 140722796666960 140612965951472 140613828704898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19906] ppid=19892 vsize=15149024 memory=140286332524160 CPUtime=0.12 cores=1,3,5,7
/proc/19894/task/19906/stat : 19906 (java) S 19892 19892 19528 0 -1 1077944384 868 0 0 0 12 0 0 0 20 0 15 0 408710706 15512600576 12648 33554432000 4194304 4196468 140722796666960 140612964899184 140613828704898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19907] ppid=19892 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19907/stat : 19907 (java) S 19892 19892 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408710706 15512600576 12648 33554432000 4194304 4196468 140722796666960 140612963846624 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19908] ppid=19892 vsize=15149024 memory=140286332524160 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19908/stat : 19908 (java) S 19892 19892 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408710707 15512600576 12648 33554432000 4194304 4196468 140722796666960 140612962794416 140613828704898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 52008 KiB
[startup+0.705291 s]
/proc/loadavg: 2.36 1.19 1.25 13/233 19916
/proc/meminfo: memFree=22083460/32770624 swapFree=66939824/67108860
[pid=19892] ppid=19889 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/19892/stat : 19892 (xcsp3-exec) S 19889 19892 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408710700 115843072 362 33554432000 4194304 5098028 140728056028784 140728056026888 139660784779900 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8404992 140728056034171 140728056034413 140728056034413 140728056037322 0
/proc/19892/statm: 28282 362 304 221 0 87 0
[pid=19894] ppid=19892 vsize=15151148 memory=115364 CPUtime=1.7 cores=1,3,5,7
/proc/19894/stat : 19894 (java) S 19892 19892 19528 0 -1 1077944320 14419 0 0 0 165 5 0 0 20 0 15 0 408710701 15514775552 28841 33554432000 4194304 4196468 140722796666960 140722796649504 140613828693751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
/proc/19894/statm: 3787787 28841 3439 1 0 3748889 0
[pid=19894/tid=19895] ppid=19892 vsize=15151148 memory=2116 CPUtime=0.68 cores=1,3,5,7
/proc/19894/task/19895/stat : 19895 (java) R 19892 19892 19528 0 -1 4202560 8308 0 0 0 64 4 0 0 20 0 15 0 408710701 15514775552 28841 33554432000 4194304 4196468 140722796666960 140613832928552 140613811101312 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19896] ppid=19892 vsize=15151148 memory=520 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19896/stat : 19896 (java) S 19892 19892 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408710702 15514775552 28841 33554432000 4194304 4196468 140722796666960 140613420837264 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19897] ppid=19892 vsize=15151148 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19897/stat : 19897 (java) S 19892 19892 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408710702 15514775552 28841 33554432000 4194304 4196468 140722796666960 140613419784464 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19898] ppid=19892 vsize=15151148 memory=924 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19898/stat : 19898 (java) S 19892 19892 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408710702 15514775552 28841 33554432000 4194304 4196468 140722796666960 140613418732176 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19899] ppid=19892 vsize=15151148 memory=3688 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19899/stat : 19899 (java) S 19892 19892 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408710702 15514775552 28841 33554432000 4194304 4196468 140722796666960 140613417679376 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19900] ppid=19892 vsize=15151148 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19900/stat : 19900 (java) S 19892 19892 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408710703 15514775552 28841 33554432000 4194304 4196468 140722796666960 140612971215472 140613828704898 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19901] ppid=19892 vsize=15151148 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19901/stat : 19901 (java) S 19892 19892 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408710703 15514775552 28841 33554432000 4194304 4196468 140722796666960 140612970161440 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19902] ppid=19892 vsize=15151148 memory=804 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19902/stat : 19902 (java) S 19892 19892 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408710704 15514775552 28841 33554432000 4194304 4196468 140722796666960 140612969109104 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19903] ppid=19892 vsize=15151148 memory=7086240636179272035 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19903/stat : 19903 (java) S 19892 19892 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408710706 15514775552 28841 33554432000 4194304 4196468 140722796666960 140612968057424 140613828712347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19904] ppid=19892 vsize=15151148 memory=7453282923444726100 CPUtime=0.36 cores=1,3,5,7
/proc/19894/task/19904/stat : 19904 (java) R 19892 19892 19528 0 -1 4202560 1593 0 0 0 36 0 0 0 20 0 15 0 408710706 15514775552 28841 33554432000 4194304 4196468 140722796666960 140612966990152 140613810238258 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19905] ppid=19892 vsize=15151148 memory=5792825802846453857 CPUtime=0.34 cores=1,3,5,7
/proc/19894/task/19905/stat : 19905 (java) R 19892 19892 19528 0 -1 4202560 1695 0 0 0 34 0 0 0 20 0 15 0 408710706 15514775552 28841 33554432000 4194304 4196468 140722796666960 140612965937496 140613807950331 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19906] ppid=19892 vsize=15151148 memory=8514726395715219869 CPUtime=0.28 cores=1,3,5,7
/proc/19894/task/19906/stat : 19906 (java) S 19892 19892 19528 0 -1 1077944384 1517 0 0 0 28 0 0 0 20 0 15 0 408710706 15514775552 28841 33554432000 4194304 4196468 140722796666960 140612964899184 140613828704898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19907] ppid=19892 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19907/stat : 19907 (java) S 19892 19892 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408710706 15514775552 28841 33554432000 4194304 4196468 140722796666960 140612963846624 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19908] ppid=19892 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19908/stat : 19908 (java) S 19892 19892 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408710707 15514775552 28841 33554432000 4194304 4196468 140722796666960 140612962794416 140613828704898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 116812 KiB
[startup+1.50125 s]
/proc/loadavg: 2.36 1.19 1.25 11/233 19924
/proc/meminfo: memFree=21968164/32770624 swapFree=66939824/67108860
[pid=19892] ppid=19889 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/19892/stat : 19892 (xcsp3-exec) S 19889 19892 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408710700 115843072 362 33554432000 4194304 5098028 140728056028784 140728056026888 139660784779900 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8404992 140728056034171 140728056034413 140728056034413 140728056037322 0
/proc/19892/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/19894/stat : 19894 (java) S 19892 19892 19528 0 -1 1077944320 108345 0 0 0 231239 106 0 0 20 0 19 0 408710701 15790571520 723216 33554432000 4194304 4196468 140722796666960 140722796649504 140613828693751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
/proc/19894/statm: 3855120 723216 3534 1 0 3816222 0
[pid=19894/tid=19895] ppid=19892 vsize=15420480 memory=2868160 CPUtime=3.4 cores=1,3,5,7
/proc/19894/task/19895/stat : 19895 (java) S 19892 19892 19528 0 -1 1077944384 9510 0 0 0 330 10 0 0 20 0 19 0 408710701 15790571520 723216 33554432000 4194304 4196468 140722796666960 140613832934528 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19896] ppid=19892 vsize=15420480 memory=2893828 CPUtime=0.49 cores=1,3,5,7
/proc/19894/task/19896/stat : 19896 (java) S 19892 19892 19528 0 -1 1077944384 3549 0 0 0 40 9 0 0 20 0 19 0 408710702 15790571520 723216 33554432000 4194304 4196468 140722796666960 140613420837264 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19897] ppid=19892 vsize=15420480 memory=1448 CPUtime=0.52 cores=1,3,5,7
/proc/19894/task/19897/stat : 19897 (java) S 19892 19892 19528 0 -1 1077944384 3027 0 0 0 42 10 0 0 20 0 19 0 408710702 15790571520 723216 33554432000 4194304 4196468 140722796666960 140613419784464 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19898] ppid=19892 vsize=15420480 memory=2868160 CPUtime=0.52 cores=1,3,5,7
/proc/19894/task/19898/stat : 19898 (java) S 19892 19892 19528 0 -1 1077944384 2385 0 0 0 43 9 0 0 20 0 19 0 408710702 15790571520 723216 33554432000 4194304 4196468 140722796666960 140613418732176 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19899] ppid=19892 vsize=15420480 memory=1448 CPUtime=0.5 cores=1,3,5,7
/proc/19894/task/19899/stat : 19899 (java) S 19892 19892 19528 0 -1 1077944384 5181 0 0 0 42 8 0 0 20 0 19 0 408710702 15790571520 723216 33554432000 4194304 4196468 140722796666960 140613417679376 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19900] ppid=19892 vsize=15420480 memory=1448 CPUtime=0.1 cores=1,3,5,7
/proc/19894/task/19900/stat : 19900 (java) S 19892 19892 19528 0 -1 1077944384 5334 0 0 0 7 3 0 0 20 0 19 0 408710703 15790571520 723216 33554432000 4194304 4196468 140722796666960 140612971215472 140613828704898 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19901] ppid=19892 vsize=15420480 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19901/stat : 19901 (java) S 19892 19892 19528 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 19 0 408710703 15790571520 723216 33554432000 4194304 4196468 140722796666960 140612970161504 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19902] ppid=19892 vsize=15420480 memory=2881980 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19902/stat : 19902 (java) S 19892 19892 19528 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 19 0 408710704 15790571520 723216 33554432000 4194304 4196468 140722796666960 140612969109120 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19903] ppid=19892 vsize=15420480 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19903/stat : 19903 (java) S 19892 19892 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408710706 15790571520 723216 33554432000 4194304 4196468 140722796666960 140612968057424 140613828712347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19904] ppid=19892 vsize=15420480 memory=4100 CPUtime=4.09 cores=1,3,5,7
/proc/19894/task/19904/stat : 19904 (java) S 19892 19892 19528 0 -1 1077944384 12968 0 0 0 408 1 0 0 20 0 19 0 408710706 15790571520 723216 33554432000 4194304 4196468 140722796666960 140612967004272 140613828704898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19905] ppid=19892 vsize=15420480 memory=1448 CPUtime=4.08 cores=1,3,5,7
/proc/19894/task/19905/stat : 19905 (java) S 19892 19892 19528 0 -1 1077944384 18211 0 0 0 407 1 0 0 20 0 19 0 408710706 15790571520 723216 33554432000 4194304 4196468 140722796666960 140612965951472 140613828704898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19906] ppid=19892 vsize=15420480 memory=3504 CPUtime=0.95 cores=1,3,5,7
/proc/19894/task/19906/stat : 19906 (java) S 19892 19892 19528 0 -1 1077944384 10870 0 0 0 94 1 0 0 20 0 19 0 408710706 15790571520 723216 33554432000 4194304 4196468 140722796666960 140612964899184 140613828704898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19907] ppid=19892 vsize=15420480 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19907/stat : 19907 (java) S 19892 19892 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408710706 15790571520 723216 33554432000 4194304 4196468 140722796666960 140612963846624 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19908] ppid=19892 vsize=15420480 memory=2893828 CPUtime=0.18 cores=1,3,5,7
/proc/19894/task/19908/stat : 19908 (java) S 19892 19892 19528 0 -1 1077944384 570 0 0 0 0 18 0 0 20 0 19 0 408710707 15790571520 723216 33554432000 4194304 4196468 140722796666960 140612962794416 140613828704898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19937] ppid=19892 vsize=15420480 memory=2870212 CPUtime=574.5 cores=1,3,5,7
/proc/19894/task/19937/stat : 19937 (java) R 19892 19892 19528 0 -1 4202560 2396 0 0 0 57450 0 0 0 20 0 19 0 408711098 15790571520 723216 33554432000 4194304 4196468 140722796666960 140612950423952 140613429189860 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19938] ppid=19892 vsize=15420480 memory=1448 CPUtime=574.19 cores=1,3,5,7
/proc/19894/task/19938/stat : 19938 (java) R 19892 19892 19528 0 -1 4202560 13596 0 0 0 57404 15 0 0 20 0 19 0 408711098 15790571520 723216 33554432000 4194304 4196468 140722796666960 140612952531272 140613428760865 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19939] ppid=19892 vsize=15420480 memory=1448 CPUtime=575.27 cores=1,3,5,7
/proc/19894/task/19939/stat : 19939 (java) R 19892 19892 19528 0 -1 4202560 9062 0 0 0 57521 6 0 0 20 0 19 0 408711098 15790571520 723216 33554432000 4194304 4196468 140722796666960 140612949372720 140613429713876 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19940] ppid=19892 vsize=15420480 memory=1448 CPUtime=573.75 cores=1,3,5,7
/proc/19894/task/19940/stat : 19940 (java) R 19892 19892 19528 0 -1 4202560 9966 0 0 0 57346 29 0 0 20 0 19 0 408711098 15790571520 723216 33554432000 4194304 4196468 140722796666960 140612951481504 140613429189713 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
Current children cumulated CPU time: 2313.45 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 2894312 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+604.111 s]
/proc/loadavg: 8.04 7.30 4.59 9/237 19996
/proc/meminfo: memFree=18747752/32770624 swapFree=66939824/67108860
[pid=19892] ppid=19889 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/19892/stat : 19892 (xcsp3-exec) S 19889 19892 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408710700 115843072 362 33554432000 4194304 5098028 140728056028784 140728056026888 139660784779900 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8404992 140728056034171 140728056034413 140728056034413 140728056037322 0
/proc/19892/statm: 28282 362 304 221 0 87 0
[pid=19894] ppid=19892 vsize=15420480 memory=2908812 CPUtime=2400.13 cores=1,3,5,7
/proc/19894/stat : 19894 (java) S 19892 19892 19528 0 -1 1077944320 109786 0 0 0 239906 107 0 0 20 0 19 0 408710701 15790571520 727203 33554432000 4194304 4196468 140722796666960 140722796649504 140613828693751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
/proc/19894/statm: 3855120 727203 3534 1 0 3816222 0
[pid=19894/tid=19895] ppid=19892 vsize=15420480 memory=2906732 CPUtime=3.4 cores=1,3,5,7
/proc/19894/task/19895/stat : 19895 (java) S 19892 19892 19528 0 -1 1077944384 9510 0 0 0 330 10 0 0 20 0 19 0 408710701 15790571520 727203 33554432000 4194304 4196468 140722796666960 140613832934528 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19896] ppid=19892 vsize=15420480 memory=2892348 CPUtime=0.58 cores=1,3,5,7
/proc/19894/task/19896/stat : 19896 (java) S 19892 19892 19528 0 -1 1077944384 3701 0 0 0 49 9 0 0 20 0 19 0 408710702 15790571520 727203 33554432000 4194304 4196468 140722796666960 140613420837264 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19897] ppid=19892 vsize=15420480 memory=2908812 CPUtime=0.61 cores=1,3,5,7
/proc/19894/task/19897/stat : 19897 (java) S 19892 19892 19528 0 -1 1077944384 3067 0 0 0 51 10 0 0 20 0 19 0 408710702 15790571520 727203 33554432000 4194304 4196468 140722796666960 140613419784464 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19898] ppid=19892 vsize=15420480 memory=1448 CPUtime=0.62 cores=1,3,5,7
/proc/19894/task/19898/stat : 19898 (java) S 19892 19892 19528 0 -1 1077944384 2441 0 0 0 52 10 0 0 20 0 19 0 408710702 15790571520 727203 33554432000 4194304 4196468 140722796666960 140613418732176 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19899] ppid=19892 vsize=15420480 memory=2908812 CPUtime=0.6 cores=1,3,5,7
/proc/19894/task/19899/stat : 19899 (java) S 19892 19892 19528 0 -1 1077944384 5479 0 0 0 51 9 0 0 20 0 19 0 408710702 15790571520 727203 33554432000 4194304 4196468 140722796666960 140613417679376 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19900] ppid=19892 vsize=15420480 memory=3504 CPUtime=0.12 cores=1,3,5,7
/proc/19894/task/19900/stat : 19900 (java) S 19892 19892 19528 0 -1 1077944384 5607 0 0 0 9 3 0 0 20 0 19 0 408710703 15790571520 727203 33554432000 4194304 4196468 140722796666960 140612971215472 140613828704898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19901] ppid=19892 vsize=15420480 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19901/stat : 19901 (java) S 19892 19892 19528 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 19 0 408710703 15790571520 727203 33554432000 4194304 4196468 140722796666960 140612970161504 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19902] ppid=19892 vsize=15420480 memory=2892864 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19902/stat : 19902 (java) S 19892 19892 19528 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 19 0 408710704 15790571520 727203 33554432000 4194304 4196468 140722796666960 140612969109120 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19903] ppid=19892 vsize=15420480 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19903/stat : 19903 (java) S 19892 19892 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408710706 15790571520 727203 33554432000 4194304 4196468 140722796666960 140612968057424 140613828712347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19904] ppid=19892 vsize=15420480 memory=1448 CPUtime=4.09 cores=1,3,5,7
/proc/19894/task/19904/stat : 19904 (java) S 19892 19892 19528 0 -1 1077944384 12971 0 0 0 408 1 0 0 20 0 19 0 408710706 15790571520 727203 33554432000 4194304 4196468 140722796666960 140612967004272 140613828704898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19905] ppid=19892 vsize=15420480 memory=6791534058613427641 CPUtime=4.08 cores=1,3,5,7
/proc/19894/task/19905/stat : 19905 (java) S 19892 19892 19528 0 -1 1077944384 18213 0 0 0 407 1 0 0 20 0 19 0 408710706 15790571520 727203 33554432000 4194304 4196468 140722796666960 140612965951472 140613828704898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19906] ppid=19892 vsize=15420480 memory=21116 CPUtime=0.95 cores=1,3,5,7
/proc/19894/task/19906/stat : 19906 (java) S 19892 19892 19528 0 -1 1077944384 10872 0 0 0 94 1 0 0 20 0 19 0 408710706 15790571520 727203 33554432000 4194304 4196468 140722796666960 140612964899184 140613828704898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19907] ppid=19892 vsize=15420480 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19907/stat : 19907 (java) S 19892 19892 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408710706 15790571520 727203 33554432000 4194304 4196468 140722796666960 140612963846624 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19908] ppid=19892 vsize=15420480 memory=2908812 CPUtime=0.19 cores=1,3,5,7
/proc/19894/task/19908/stat : 19908 (java) S 19892 19892 19528 0 -1 1077944384 593 0 0 0 0 19 0 0 20 0 19 0 408710707 15790571520 727203 33554432000 4194304 4196468 140722796666960 140612962794416 140613828704898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19937] ppid=19892 vsize=15420480 memory=1448 CPUtime=596.1 cores=1,3,5,7
/proc/19894/task/19937/stat : 19937 (java) R 19892 19892 19528 0 -1 4202560 2511 0 0 0 59610 0 0 0 20 0 19 0 408711098 15790571520 727203 33554432000 4194304 4196468 140722796666960 140612950427104 140613428761268 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19938] ppid=19892 vsize=15420480 memory=2908812 CPUtime=595.78 cores=1,3,5,7
/proc/19894/task/19938/stat : 19938 (java) R 19892 19892 19528 0 -1 4202560 13790 0 0 0 59563 15 0 0 20 0 19 0 408711098 15790571520 727203 33554432000 4194304 4196468 140722796666960 140612952531000 140613430188882 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19939] ppid=19892 vsize=15420480 memory=1448 CPUtime=596.76 cores=1,3,5,7
/proc/19894/task/19939/stat : 19939 (java) R 19892 19892 19528 0 -1 4202560 9241 0 0 0 59670 6 0 0 20 0 19 0 408711098 15790571520 727203 33554432000 4194304 4196468 140722796666960 140612949372720 140613429714286 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19940] ppid=19892 vsize=15420480 memory=2906732 CPUtime=595.35 cores=1,3,5,7
/proc/19894/task/19940/stat : 19940 (java) R 19892 19892 19528 0 -1 4202560 10070 0 0 0 59506 29 0 0 20 0 19 0 408711098 15790571520 727203 33554432000 4194304 4196468 140722796666960 140612951478224 140613431649562 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
Current children cumulated CPU time: 2400.13 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 2910260 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+604.143 s]
# the end of solver process 19892 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001168 s, system=0.001168 s
[startup+604.206 s]
# the end of solver process 19894 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.37 s, system=1.09499 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
[startup+604.111 s]
/proc/loadavg: 8.04 7.30 4.59 9/237 19996
/proc/meminfo: memFree=18747752/32770624 swapFree=66939824/67108860
[pid=19892] ppid=19889 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/19892/stat : 19892 (xcsp3-exec) S 19889 19892 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408710700 115843072 362 33554432000 4194304 5098028 140728056028784 140728056026888 139660784779900 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8404992 140728056034171 140728056034413 140728056034413 140728056037322 0
/proc/19892/statm: 28282 362 304 221 0 87 0
[pid=19894] ppid=19892 vsize=15420480 memory=2908812 CPUtime=2400.13 cores=1,3,5,7
/proc/19894/stat : 19894 (java) S 19892 19892 19528 0 -1 1077944320 109786 0 0 0 239906 107 0 0 20 0 19 0 408710701 15790571520 727203 33554432000 4194304 4196468 140722796666960 140722796649504 140613828693751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
/proc/19894/statm: 3855120 727203 3534 1 0 3816222 0
[pid=19894/tid=19895] ppid=19892 vsize=15420480 memory=2906732 CPUtime=3.4 cores=1,3,5,7
/proc/19894/task/19895/stat : 19895 (java) S 19892 19892 19528 0 -1 1077944384 9510 0 0 0 330 10 0 0 20 0 19 0 408710701 15790571520 727203 33554432000 4194304 4196468 140722796666960 140613832934528 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19896] ppid=19892 vsize=15420480 memory=2892348 CPUtime=0.58 cores=1,3,5,7
/proc/19894/task/19896/stat : 19896 (java) S 19892 19892 19528 0 -1 1077944384 3701 0 0 0 49 9 0 0 20 0 19 0 408710702 15790571520 727203 33554432000 4194304 4196468 140722796666960 140613420837264 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19897] ppid=19892 vsize=15420480 memory=2908812 CPUtime=0.61 cores=1,3,5,7
/proc/19894/task/19897/stat : 19897 (java) S 19892 19892 19528 0 -1 1077944384 3067 0 0 0 51 10 0 0 20 0 19 0 408710702 15790571520 727203 33554432000 4194304 4196468 140722796666960 140613419784464 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19898] ppid=19892 vsize=15420480 memory=1448 CPUtime=0.62 cores=1,3,5,7
/proc/19894/task/19898/stat : 19898 (java) S 19892 19892 19528 0 -1 1077944384 2441 0 0 0 52 10 0 0 20 0 19 0 408710702 15790571520 727203 33554432000 4194304 4196468 140722796666960 140613418732176 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19899] ppid=19892 vsize=15420480 memory=2908812 CPUtime=0.6 cores=1,3,5,7
/proc/19894/task/19899/stat : 19899 (java) S 19892 19892 19528 0 -1 1077944384 5479 0 0 0 51 9 0 0 20 0 19 0 408710702 15790571520 727203 33554432000 4194304 4196468 140722796666960 140613417679376 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19900] ppid=19892 vsize=15420480 memory=3504 CPUtime=0.12 cores=1,3,5,7
/proc/19894/task/19900/stat : 19900 (java) S 19892 19892 19528 0 -1 1077944384 5607 0 0 0 9 3 0 0 20 0 19 0 408710703 15790571520 727203 33554432000 4194304 4196468 140722796666960 140612971215472 140613828704898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19901] ppid=19892 vsize=15420480 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19901/stat : 19901 (java) S 19892 19892 19528 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 19 0 408710703 15790571520 727203 33554432000 4194304 4196468 140722796666960 140612970161504 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19902] ppid=19892 vsize=15420480 memory=2892864 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19902/stat : 19902 (java) S 19892 19892 19528 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 19 0 408710704 15790571520 727203 33554432000 4194304 4196468 140722796666960 140612969109120 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19903] ppid=19892 vsize=15420480 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19903/stat : 19903 (java) S 19892 19892 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408710706 15790571520 727203 33554432000 4194304 4196468 140722796666960 140612968057424 140613828712347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19904] ppid=19892 vsize=15420480 memory=1448 CPUtime=4.09 cores=1,3,5,7
/proc/19894/task/19904/stat : 19904 (java) S 19892 19892 19528 0 -1 1077944384 12971 0 0 0 408 1 0 0 20 0 19 0 408710706 15790571520 727203 33554432000 4194304 4196468 140722796666960 140612967004272 140613828704898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19905] ppid=19892 vsize=15420480 memory=6791534058613427641 CPUtime=4.08 cores=1,3,5,7
/proc/19894/task/19905/stat : 19905 (java) S 19892 19892 19528 0 -1 1077944384 18213 0 0 0 407 1 0 0 20 0 19 0 408710706 15790571520 727203 33554432000 4194304 4196468 140722796666960 140612965951472 140613828704898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19906] ppid=19892 vsize=15420480 memory=21116 CPUtime=0.95 cores=1,3,5,7
/proc/19894/task/19906/stat : 19906 (java) S 19892 19892 19528 0 -1 1077944384 10872 0 0 0 94 1 0 0 20 0 19 0 408710706 15790571520 727203 33554432000 4194304 4196468 140722796666960 140612964899184 140613828704898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19907] ppid=19892 vsize=15420480 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/19894/task/19907/stat : 19907 (java) S 19892 19892 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408710706 15790571520 727203 33554432000 4194304 4196468 140722796666960 140612963846624 140613828703957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19908] ppid=19892 vsize=15420480 memory=2908812 CPUtime=0.19 cores=1,3,5,7
/proc/19894/task/19908/stat : 19908 (java) S 19892 19892 19528 0 -1 1077944384 593 0 0 0 0 19 0 0 20 0 19 0 408710707 15790571520 727203 33554432000 4194304 4196468 140722796666960 140612962794416 140613828704898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19937] ppid=19892 vsize=15420480 memory=1448 CPUtime=596.1 cores=1,3,5,7
/proc/19894/task/19937/stat : 19937 (java) R 19892 19892 19528 0 -1 4202560 2511 0 0 0 59610 0 0 0 20 0 19 0 408711098 15790571520 727203 33554432000 4194304 4196468 140722796666960 140612950427104 140613428761268 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19938] ppid=19892 vsize=15420480 memory=2908812 CPUtime=595.78 cores=1,3,5,7
/proc/19894/task/19938/stat : 19938 (java) R 19892 19892 19528 0 -1 4202560 13790 0 0 0 59563 15 0 0 20 0 19 0 408711098 15790571520 727203 33554432000 4194304 4196468 140722796666960 140612952531000 140613430188882 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19939] ppid=19892 vsize=15420480 memory=1448 CPUtime=596.76 cores=1,3,5,7
/proc/19894/task/19939/stat : 19939 (java) R 19892 19892 19528 0 -1 4202560 9241 0 0 0 59670 6 0 0 20 0 19 0 408711098 15790571520 727203 33554432000 4194304 4196468 140722796666960 140612949372720 140613429714286 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
[pid=19894/tid=19940] ppid=19892 vsize=15420480 memory=2906732 CPUtime=595.35 cores=1,3,5,7
/proc/19894/task/19940/stat : 19940 (java) R 19892 19892 19528 0 -1 4202560 10070 0 0 0 59506 29 0 0 20 0 19 0 408711098 15790571520 727203 33554432000 4194304 4196468 140722796666960 140612951478224 140613431649562 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722796671983 140722796672154 140722796672154 140722796675023 0
Current children cumulated CPU time: 2400.13 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 2910260 KiB
Child status: 143
Real time (s): 604.206
CPU time (s): 2400.46
CPU user time (s): 2399.37
CPU system time (s): 1.09499
CPU usage (%): 397.292
Max. virtual memory (cumulated for all children) (KiB): 15533608
Max. memory (cumulated for all children) (KiB): 3500560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.37
system time used= 1.09499
maximum resident set size= 3519632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111476
page faults= 0
swaps= 0
block input operations= 0
block output operations= 880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18757
involuntary context switches= 36367
# summary of solver processes directly reported to runsolver:
# pid: 19892,19894
# total CPU time (s): 2400.46
# total CPU user time (s): 2399.37
# total CPU system time (s): 1.09499
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.83066 second user time and 7.05065 second system time
The end