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 (15307 MiB free)
memory of node 1: 16384 MiB (14871 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393166-1568320295/watcher-4393166-1568320295 -o /tmp/evaluation-result-4393166-1568320295/solver-4393166-1568320295 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568308867-14285 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1830538412 HOME/instance-4393166-1568320295.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=26096, runsolver pid=26093
Current StackSize limit: 8192 KiB
[startup+0.100121 s]*
/proc/loadavg: 7.14 8.04 8.26 7/232 26112
/proc/meminfo: memFree=30886568/32770624 swapFree=66920756/67108860
[pid=26096] ppid=26093 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26096/stat : 26096 (xcsp3-exec) S 26093 26096 14254 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408285629 115843072 362 33554432000 4194304 5098028 140723970702640 140723970700744 140418638471804 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8187904 140723970704250 140723970704493 140723970704493 140723970707402 0
/proc/26096/statm: 28282 362 304 221 0 87 0
[pid=26098] ppid=26096 vsize=15144768 memory=29720 CPUtime=0.13 cores=0,2,4,6
/proc/26098/stat : 26098 (java) S 26096 26096 14254 0 -1 1077944320 5828 0 0 0 11 2 0 0 20 0 15 0 408285629 15508242432 7430 33554432000 4194304 4196468 140720449143600 140720449126144 140408435928823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
/proc/26098/statm: 3786192 7430 3145 1 0 3748377 0
[pid=26098/tid=26099] ppid=26096 vsize=15144768 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/26098/task/26099/stat : 26099 (java) R 26096 26096 14254 0 -1 4202560 3751 0 0 0 8 1 0 0 20 0 15 0 408285630 15508242432 7430 33554432000 4194304 4196468 140720449143600 140408440154656 140408428170213 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26100] ppid=26096 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26100/stat : 26100 (java) S 26096 26096 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408285630 15508242432 7430 33554432000 4194304 4196468 140720449143600 140408388549520 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26101] ppid=26096 vsize=15144768 memory=3472749824337315488 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26101/stat : 26101 (java) S 26096 26096 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408285630 15508242432 7430 33554432000 4194304 4196468 140720449143600 140408026749712 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26102] ppid=26096 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26102/stat : 26102 (java) S 26096 26096 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408285630 15508242432 7430 33554432000 4194304 4196468 140720449143600 140408025697424 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26103] ppid=26096 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26103/stat : 26103 (java) S 26096 26096 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408285630 15508242432 7430 33554432000 4194304 4196468 140720449143600 140408024644624 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26104] ppid=26096 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26104/stat : 26104 (java) S 26096 26096 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408285632 15508242432 7430 33554432000 4194304 4196468 140720449143600 140407904598128 140408435939970 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26105] ppid=26096 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26105/stat : 26105 (java) S 26096 26096 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408285632 15508242432 7430 33554432000 4194304 4196468 140720449143600 140407903544096 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26106] ppid=26096 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26106/stat : 26106 (java) S 26096 26096 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408285632 15508242432 7430 33554432000 4194304 4196468 140720449143600 140407902491760 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26107] ppid=26096 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26107/stat : 26107 (java) S 26096 26096 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408285635 15508242432 7430 33554432000 4194304 4196468 140720449143600 140407901440080 140408435947419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26108] ppid=26096 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26108/stat : 26108 (java) R 26096 26096 14254 0 -1 4202560 444 0 0 0 0 0 0 0 20 0 15 0 408285635 15508242432 7430 33554432000 4194304 4196468 140720449143600 140407900388048 140408435950170 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26109] ppid=26096 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26109/stat : 26109 (java) R 26096 26096 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408285635 15508242432 7430 33554432000 4194304 4196468 140720449143600 140407899335152 140408435939970 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26110] ppid=26096 vsize=15144768 memory=140027349239424 CPUtime=0.02 cores=0,2,4,6
/proc/26098/task/26110/stat : 26110 (java) R 26096 26096 14254 0 -1 4202560 344 0 0 0 2 0 0 0 20 0 15 0 408285635 15508242432 7430 33554432000 4194304 4196468 140720449143600 140407898282864 140408067719289 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26111] ppid=26096 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26111/stat : 26111 (java) S 26096 26096 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408285635 15508242432 7430 33554432000 4194304 4196468 140720449143600 140407897230304 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26112] ppid=26096 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26112/stat : 26112 (java) S 26096 26096 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408285635 15508242432 7430 33554432000 4194304 4196468 140720449143600 140407896177072 140408435939970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31168 KiB
[startup+0.210668 s]*
/proc/loadavg: 7.37 8.07 8.27 7/232 26112
/proc/meminfo: memFree=30874232/32770624 swapFree=66920756/67108860
[pid=26096] ppid=26093 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26096/stat : 26096 (xcsp3-exec) S 26093 26096 14254 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408285629 115843072 362 33554432000 4194304 5098028 140723970702640 140723970700744 140418638471804 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8187904 140723970704250 140723970704493 140723970704493 140723970707402 0
/proc/26096/statm: 28282 362 304 221 0 87 0
[pid=26098] ppid=26096 vsize=15144768 memory=40896 CPUtime=0.35 cores=0,2,4,6
/proc/26098/stat : 26098 (java) S 26096 26096 14254 0 -1 1077944320 9435 0 0 0 31 4 0 0 20 0 15 0 408285629 15508242432 10224 33554432000 4194304 4196468 140720449143600 140720449126144 140408435928823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
/proc/26098/statm: 3786192 10224 3304 1 0 3748377 0
[pid=26098/tid=26099] ppid=26096 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/26098/task/26099/stat : 26099 (java) R 26096 26096 14254 0 -1 4202560 6621 0 0 0 18 2 0 0 20 0 15 0 408285630 15508242432 10224 33554432000 4194304 4196468 140720449143600 140408440161552 140408069232547 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26100] ppid=26096 vsize=15144768 memory=10592 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26100/stat : 26100 (java) S 26096 26096 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408285630 15508242432 10224 33554432000 4194304 4196468 140720449143600 140408388549520 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26101] ppid=26096 vsize=15144768 memory=140027352092611 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26101/stat : 26101 (java) S 26096 26096 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408285630 15508242432 10224 33554432000 4194304 4196468 140720449143600 140408026749712 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26102] ppid=26096 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26102/stat : 26102 (java) S 26096 26096 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408285630 15508242432 10224 33554432000 4194304 4196468 140720449143600 140408025697424 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26103] ppid=26096 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26103/stat : 26103 (java) S 26096 26096 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408285630 15508242432 10224 33554432000 4194304 4196468 140720449143600 140408024644624 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26104] ppid=26096 vsize=15144768 memory=140027349239424 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26104/stat : 26104 (java) S 26096 26096 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408285632 15508242432 10224 33554432000 4194304 4196468 140720449143600 140407904598128 140408435939970 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26105] ppid=26096 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26105/stat : 26105 (java) S 26096 26096 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408285632 15508242432 10224 33554432000 4194304 4196468 140720449143600 140407903544096 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26106] ppid=26096 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26106/stat : 26106 (java) S 26096 26096 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408285632 15508242432 10224 33554432000 4194304 4196468 140720449143600 140407902491760 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26107] ppid=26096 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26107/stat : 26107 (java) S 26096 26096 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408285635 15508242432 10224 33554432000 4194304 4196468 140720449143600 140407901440080 140408435947419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26108] ppid=26096 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26098/task/26108/stat : 26108 (java) S 26096 26096 14254 0 -1 1077944384 653 0 0 0 2 0 0 0 20 0 15 0 408285635 15508242432 10224 33554432000 4194304 4196468 140720449143600 140407900387952 140408435939970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26109] ppid=26096 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/26098/task/26109/stat : 26109 (java) S 26096 26096 14254 0 -1 1077944384 116 0 0 0 2 0 0 0 20 0 15 0 408285635 15508242432 10224 33554432000 4194304 4196468 140720449143600 140407899335152 140408435939970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26110] ppid=26096 vsize=15144768 memory=140027349239424 CPUtime=0.08 cores=0,2,4,6
/proc/26098/task/26110/stat : 26110 (java) R 26096 26096 14254 0 -1 4202560 740 0 0 0 8 0 0 0 20 0 15 0 408285635 15508242432 10224 33554432000 4194304 4196468 140720449143600 140407898282672 140408435940758 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26111] ppid=26096 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26111/stat : 26111 (java) S 26096 26096 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408285635 15508242432 10224 33554432000 4194304 4196468 140720449143600 140407897230304 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26112] ppid=26096 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26112/stat : 26112 (java) S 26096 26096 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408285635 15508242432 10224 33554432000 4194304 4196468 140720449143600 140407896177072 140408435939970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42344 KiB
[startup+0.31203 s]*
/proc/loadavg: 7.37 8.07 8.27 7/232 26112
/proc/meminfo: memFree=30867216/32770624 swapFree=66920756/67108860
[pid=26096] ppid=26093 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26096/stat : 26096 (xcsp3-exec) S 26093 26096 14254 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408285629 115843072 362 33554432000 4194304 5098028 140723970702640 140723970700744 140418638471804 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8187904 140723970704250 140723970704493 140723970704493 140723970707402 0
/proc/26096/statm: 28282 362 304 221 0 87 0
[pid=26098] ppid=26096 vsize=15149024 memory=50200 CPUtime=0.54 cores=0,2,4,6
/proc/26098/stat : 26098 (java) S 26096 26096 14254 0 -1 1077944320 10880 0 0 0 50 4 0 0 20 0 15 0 408285629 15512600576 12550 33554432000 4194304 4196468 140720449143600 140720449126144 140408435928823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
/proc/26098/statm: 3787256 12550 3369 1 0 3748377 0
[pid=26098/tid=26099] ppid=26096 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/26098/task/26099/stat : 26099 (java) R 26096 26096 14254 0 -1 4202560 7817 0 0 0 27 3 0 0 20 0 15 0 408285630 15512600576 12556 33554432000 4194304 4196468 140720449143600 140408440159440 140408420009310 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26100] ppid=26096 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26100/stat : 26100 (java) S 26096 26096 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408285630 15512600576 12556 33554432000 4194304 4196468 140720449143600 140408388549520 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26101] ppid=26096 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26101/stat : 26101 (java) S 26096 26096 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408285630 15512600576 12556 33554432000 4194304 4196468 140720449143600 140408026749712 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26102] ppid=26096 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26102/stat : 26102 (java) S 26096 26096 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408285630 15512600576 12556 33554432000 4194304 4196468 140720449143600 140408025697424 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26103] ppid=26096 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26103/stat : 26103 (java) S 26096 26096 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408285630 15512600576 12556 33554432000 4194304 4196468 140720449143600 140408024644624 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26104] ppid=26096 vsize=15149024 memory=-7233513673208676511 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26104/stat : 26104 (java) S 26096 26096 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408285632 15512600576 12556 33554432000 4194304 4196468 140720449143600 140407904598128 140408435939970 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26105] ppid=26096 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26105/stat : 26105 (java) S 26096 26096 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408285632 15512600576 12556 33554432000 4194304 4196468 140720449143600 140407903544096 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26106] ppid=26096 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26106/stat : 26106 (java) S 26096 26096 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408285632 15512600576 12556 33554432000 4194304 4196468 140720449143600 140407902491760 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26107] ppid=26096 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26107/stat : 26107 (java) S 26096 26096 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408285635 15512600576 12556 33554432000 4194304 4196468 140720449143600 140407901440080 140408435947419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26108] ppid=26096 vsize=15149024 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/26098/task/26108/stat : 26108 (java) S 26096 26096 14254 0 -1 1077944384 676 0 0 0 4 0 0 0 20 0 15 0 408285635 15512600576 12556 33554432000 4194304 4196468 140720449143600 140407900387952 140408435939970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26109] ppid=26096 vsize=15149024 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/26098/task/26109/stat : 26109 (java) R 26096 26096 14254 0 -1 4202560 244 0 0 0 5 0 0 0 20 0 15 0 408285635 15512600576 12556 33554432000 4194304 4196468 140720449143600 140407899316264 140408417450199 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26110] ppid=26096 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/26098/task/26110/stat : 26110 (java) S 26096 26096 14254 0 -1 1077944384 840 0 0 0 12 0 0 0 20 0 15 0 408285635 15512600576 12556 33554432000 4194304 4196468 140720449143600 140407898282864 140408435939970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26111] ppid=26096 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26111/stat : 26111 (java) S 26096 26096 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408285635 15512600576 12556 33554432000 4194304 4196468 140720449143600 140407897230304 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26112] ppid=26096 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26112/stat : 26112 (java) S 26096 26096 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408285635 15512600576 12556 33554432000 4194304 4196468 140720449143600 140407896177072 140408435939970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51648 KiB
[startup+0.700803 s]
/proc/loadavg: 7.37 8.07 8.27 7/234 26202
/proc/meminfo: memFree=30747760/32770624 swapFree=66920756/67108860
[pid=26096] ppid=26093 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26096/stat : 26096 (xcsp3-exec) S 26093 26096 14254 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408285629 115843072 362 33554432000 4194304 5098028 140723970702640 140723970700744 140418638471804 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8187904 140723970704250 140723970704493 140723970704493 140723970707402 0
/proc/26096/statm: 28282 362 304 221 0 87 0
[pid=26098] ppid=26096 vsize=15551560 memory=187648 CPUtime=1.64 cores=0,2,4,6
/proc/26098/stat : 26098 (java) S 26096 26096 14254 0 -1 1077944320 18813 0 0 0 154 10 0 0 20 0 18 0 408285629 15924797440 46912 33554432000 4194304 4196468 140720449143600 140720449126144 140408435928823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
/proc/26098/statm: 3887890 46912 3482 1 0 3848992 0
[pid=26098/tid=26099] ppid=26096 vsize=15551560 memory=7594587853987276131 CPUtime=0.46 cores=0,2,4,6
/proc/26098/task/26099/stat : 26099 (java) S 26096 26096 14254 0 -1 1077944384 9060 0 0 0 42 4 0 0 20 0 18 0 408285630 15924797440 46912 33554432000 4194304 4196468 140720449143600 140408440169600 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26100] ppid=26096 vsize=15551560 memory=7584172172082901604 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26100/stat : 26100 (java) S 26096 26096 14254 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 18 0 408285630 15924797440 46912 33554432000 4194304 4196468 140720449143600 140408388549520 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26101] ppid=26096 vsize=15551560 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26101/stat : 26101 (java) S 26096 26096 14254 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 18 0 408285630 15924797440 46912 33554432000 4194304 4196468 140720449143600 140408026749712 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26102] ppid=26096 vsize=15551560 memory=-7533522213388100735 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26102/stat : 26102 (java) S 26096 26096 14254 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 18 0 408285630 15924797440 46912 33554432000 4194304 4196468 140720449143600 140408025697424 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26103] ppid=26096 vsize=15551560 memory=7881696724453321575 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26103/stat : 26103 (java) S 26096 26096 14254 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 18 0 408285630 15924797440 46912 33554432000 4194304 4196468 140720449143600 140408024644624 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26104] ppid=26096 vsize=15551560 memory=7374757993051607376 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26104/stat : 26104 (java) S 26096 26096 14254 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 18 0 408285632 15924797440 46912 33554432000 4194304 4196468 140720449143600 140407904598128 140408435939970 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26105] ppid=26096 vsize=15551560 memory=708 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26105/stat : 26105 (java) S 26096 26096 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 18 0 408285632 15924797440 46912 33554432000 4194304 4196468 140720449143600 140407903544160 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26106] ppid=26096 vsize=15551560 memory=9364 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26106/stat : 26106 (java) S 26096 26096 14254 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 18 0 408285632 15924797440 46912 33554432000 4194304 4196468 140720449143600 140407902491776 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26107] ppid=26096 vsize=15551560 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26107/stat : 26107 (java) S 26096 26096 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 408285635 15924797440 46912 33554432000 4194304 4196468 140720449143600 140407901440080 140408435947419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26108] ppid=26096 vsize=15551560 memory=776 CPUtime=0.22 cores=0,2,4,6
/proc/26098/task/26108/stat : 26108 (java) R 26096 26096 14254 0 -1 4202560 1317 0 0 0 22 0 0 0 20 0 18 0 408285635 15924797440 46912 33554432000 4194304 4196468 140720449143600 140407900378784 140408419425607 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26109] ppid=26096 vsize=15551560 memory=1552 CPUtime=0.28 cores=0,2,4,6
/proc/26098/task/26109/stat : 26109 (java) R 26096 26096 14254 0 -1 4202560 827 0 0 0 28 0 0 0 20 0 18 0 408285635 15924797440 46912 33554432000 4194304 4196468 140720449143600 140407899326800 140408417448948 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26110] ppid=26096 vsize=15551560 memory=7956 CPUtime=0.31 cores=0,2,4,6
/proc/26098/task/26110/stat : 26110 (java) S 26096 26096 14254 0 -1 1077944384 1680 0 0 0 31 0 0 0 20 0 18 0 408285635 15924797440 46912 33554432000 4194304 4196468 140720449143600 140407898282864 140408435939970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26111] ppid=26096 vsize=15551560 memory=3444 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26111/stat : 26111 (java) S 26096 26096 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 408285635 15924797440 46912 33554432000 4194304 4196468 140720449143600 140407897230304 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26112] ppid=26096 vsize=15551560 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26112/stat : 26112 (java) S 26096 26096 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 408285635 15924797440 46912 33554432000 4194304 4196468 140720449143600 140407896177072 140408435939970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 15664688 KiB
Current children cumulated memory: 189096 KiB
[startup+1.50539 s]
/proc/loadavg: 7.37 8.07 8.27 12/236 26424
/proc/meminfo: memFree=30719824/32770624 swapFree=66920756/67108860
[pid=26096] ppid=26093 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26096/stat : 26096 (xcsp3-exec) S 26093 26096 14254 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408285629 115843072 362 33554432000 4194304 5098028 140723970702640 140723970700744 140418638471804 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8187904 140723970704250 140723970704493 140723970704493 140723970707402 0
/proc/26096/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/26098/task/26108/stat : 26108 (java) D 26096 26096 14254 0 -1 4202560 2868 0 0 0 68 0 0 0 20 0 19 0 408285635 15924797440 49593 33554432000 4194304 4196468 140720449143600 140407900387872 140408415852959 0 4 0 16800975 18446744072100293765 0 0 -1 4 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26109] ppid=26096 vsize=15551560 memory=708 CPUtime=0.77 cores=0,2,4,6
/proc/26098/task/26109/stat : 26109 (java) D 26096 26096 14254 0 -1 4202560 1719 0 0 0 77 0 0 0 20 0 19 0 408285635 15924797440 49593 33554432000 4194304 4196468 140720449143600 140407899323840 140408415835959 0 4 0 16800975 18446744072100293765 0 0 -1 2 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26110] ppid=26096 vsize=15551560 memory=9364 CPUtime=0.38 cores=0,2,4,6
/proc/26098/task/26110/stat : 26110 (java) D 26096 26096 14254 0 -1 4202560 1941 0 0 0 38 0 0 0 20 0 19 0 408285635 15924797440 49593 33554432000 4194304 4196468 140720449143600 140407898283160 140408415852959 0 4 0 16800975 18446744072100293765 0 0 -1 0 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26111] ppid=26096 vsize=15551560 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26111/stat : 26111 (java) S 26096 26096 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408285635 15924797440 49593 33554432000 4194304 4196468 140720449143600 140407897230304 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26112] ppid=26096 vsize=15551560 memory=776 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26112/stat : 26112 (java) D 26096 26096 14254 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 408285635 15924797440 49593 33554432000 4194304 4196468 140720449143600 140407896176992 140408420784910 0 4 0 16800975 18446744072100293765 0 0 -1 2 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
Current children cumulated CPU time: 4.79 s
Current children cumulated vsize: 15664688 KiB
Current children cumulated memory: 199820 KiB
[startup+2.2463 s]
# the end of solver process 26096 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.09863 s, system=0.131146 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.76199 s]
/proc/loadavg: 7.37 8.07 8.27 12/236 26424
/proc/meminfo: memFree=30719824/32770624 swapFree=66920756/67108860
[pid=26096] ppid=26093 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26096/stat : 26096 (xcsp3-exec) S 26093 26096 14254 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408285629 115843072 362 33554432000 4194304 5098028 140723970702640 140723970700744 140418638471804 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8187904 140723970704250 140723970704493 140723970704493 140723970707402 0
/proc/26096/statm: 28282 362 304 221 0 87 0
[pid=26098] ppid=26096 vsize=15551560 memory=202648 CPUtime=5.35 cores=0,2,4,6
/proc/26098/stat : 26098 (java) S 26096 26096 14254 0 -1 1077944320 22703 0 0 0 523 12 0 0 20 0 19 0 408285629 15924797440 50662 33554432000 4194304 4196468 140720449143600 140720449126144 140408435928823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
/proc/26098/statm: 3887890 50662 3497 1 0 3848992 0
[pid=26098/tid=26099] ppid=26096 vsize=15551560 memory=-6368199152461293614 CPUtime=0.46 cores=0,2,4,6
/proc/26098/task/26099/stat : 26099 (java) S 26096 26096 14254 0 -1 1077944384 9060 0 0 0 42 4 0 0 20 0 19 0 408285630 15924797440 50662 33554432000 4194304 4196468 140720449143600 140408440169600 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26100] ppid=26096 vsize=15551560 memory=6645459911560372124 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26100/stat : 26100 (java) S 26096 26096 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 408285630 15924797440 50662 33554432000 4194304 4196468 140720449143600 140408388549520 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26101] ppid=26096 vsize=15551560 memory=6944656592385698452 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26101/stat : 26101 (java) S 26096 26096 14254 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 408285630 15924797440 50662 33554432000 4194304 4196468 140720449143600 140408026749712 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26102] ppid=26096 vsize=15551560 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26102/stat : 26102 (java) S 26096 26096 14254 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 408285630 15924797440 50662 33554432000 4194304 4196468 140720449143600 140408025697424 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26103] ppid=26096 vsize=15551560 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26103/stat : 26103 (java) S 26096 26096 14254 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 408285630 15924797440 50662 33554432000 4194304 4196468 140720449143600 140408024644624 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26104] ppid=26096 vsize=15551560 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26104/stat : 26104 (java) S 26096 26096 14254 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 408285632 15924797440 50662 33554432000 4194304 4196468 140720449143600 140407904598128 140408435939970 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26105] ppid=26096 vsize=15551560 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26105/stat : 26105 (java) S 26096 26096 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408285632 15924797440 50662 33554432000 4194304 4196468 140720449143600 140407903544160 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26106] ppid=26096 vsize=15551560 memory=-1807685287724412255 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26106/stat : 26106 (java) S 26096 26096 14254 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 408285632 15924797440 50662 33554432000 4194304 4196468 140720449143600 140407902491776 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26107] ppid=26096 vsize=15551560 memory=2324508702694522976 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26107/stat : 26107 (java) S 26096 26096 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408285635 15924797440 50662 33554432000 4194304 4196468 140720449143600 140407901440080 140408435947419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26108] ppid=26096 vsize=15551560 memory=0 CPUtime=0.7 cores=0,2,4,6
/proc/26098/task/26108/stat : 26108 (java) R 26096 26096 14254 0 -1 4202560 2873 0 0 0 69 1 0 0 20 0 19 0 408285635 15924797440 50662 33554432000 4194304 4196468 140720449143600 140407900379904 140408421038399 0 4 0 16800975 0 0 0 -1 4 0 0 20 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26109] ppid=26096 vsize=15551560 memory=164 CPUtime=0.78 cores=0,2,4,6
/proc/26098/task/26109/stat : 26109 (java) S 26096 26096 14254 0 -1 1077944384 1725 0 0 0 78 0 0 0 20 0 19 0 408285635 15924797440 50662 33554432000 4194304 4196468 140720449143600 140407899335152 140408435939970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26110] ppid=26096 vsize=15551560 memory=280054416545632 CPUtime=0.39 cores=0,2,4,6
/proc/26098/task/26110/stat : 26110 (java) S 26096 26096 14254 0 -1 1077944384 1968 0 0 0 39 0 0 0 20 0 19 0 408285635 15924797440 50662 33554432000 4194304 4196468 140720449143600 140407898282864 140408435939970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 25 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26111] ppid=26096 vsize=15551560 memory=10896 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26111/stat : 26111 (java) S 26096 26096 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408285635 15924797440 50662 33554432000 4194304 4196468 140720449143600 140407897230304 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26112] ppid=26096 vsize=15551560 memory=4062904798405730336 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26112/stat : 26112 (java) S 26096 26096 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408285635 15924797440 50662 33554432000 4194304 4196468 140720449143600 140407896177072 140408435939970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 25 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
Current children cumulated CPU time: 5.35 s
Current children cumulated vsize: 15664688 KiB
Current children cumulated memory: 204096 KiB
[startup+2.10138 s]*
/proc/loadavg: 7.37 8.07 8.27 9/236 26428
/proc/meminfo: memFree=30713812/32770624 swapFree=66920756/67108860
[pid=26096] ppid=26093 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26096/stat : 26096 (xcsp3-exec) S 26093 26096 14254 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408285629 115843072 362 33554432000 4194304 5098028 140723970702640 140723970700744 140418638471804 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8187904 140723970704250 140723970704493 140723970704493 140723970707402 0
/proc/26096/statm: 28282 362 304 221 0 87 0
[pid=26098] ppid=26096 vsize=15551560 memory=202720 CPUtime=6.73 cores=0,2,4,6
/proc/26098/stat : 26098 (java) S 26096 26096 14254 0 -1 1077944320 22747 0 0 0 661 12 0 0 20 0 19 0 408285629 15924797440 50680 33554432000 4194304 4196468 140720449143600 140720449126144 140408435928823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
/proc/26098/statm: 3887890 50680 3499 1 0 3848992 0
[pid=26098/tid=26099] ppid=26096 vsize=15551560 memory=7883960649037381690 CPUtime=0.46 cores=0,2,4,6
/proc/26098/task/26099/stat : 26099 (java) S 26096 26096 14254 0 -1 1077944384 9060 0 0 0 42 4 0 0 20 0 19 0 408285630 15924797440 50680 33554432000 4194304 4196468 140720449143600 140408440169600 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26100] ppid=26096 vsize=15551560 memory=10592 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26100/stat : 26100 (java) S 26096 26096 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 408285630 15924797440 50680 33554432000 4194304 4196468 140720449143600 140408388549520 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26101] ppid=26096 vsize=15551560 memory=140027352092611 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26101/stat : 26101 (java) S 26096 26096 14254 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 408285630 15924797440 50680 33554432000 4194304 4196468 140720449143600 140408026749712 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26102] ppid=26096 vsize=15551560 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26102/stat : 26102 (java) S 26096 26096 14254 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 408285630 15924797440 50680 33554432000 4194304 4196468 140720449143600 140408025697424 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26103] ppid=26096 vsize=15551560 memory=8505664916391803507 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26103/stat : 26103 (java) S 26096 26096 14254 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 408285630 15924797440 50680 33554432000 4194304 4196468 140720449143600 140408024644624 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26104] ppid=26096 vsize=15551560 memory=3544789804767848121 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26104/stat : 26104 (java) S 26096 26096 14254 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 408285632 15924797440 50680 33554432000 4194304 4196468 140720449143600 140407904598128 140408435939970 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26105] ppid=26096 vsize=15551560 memory=664954319714410818 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26105/stat : 26105 (java) S 26096 26096 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408285632 15924797440 50680 33554432000 4194304 4196468 140720449143600 140407903544160 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26106] ppid=26096 vsize=15551560 memory=-2026666227646604569 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26106/stat : 26106 (java) S 26096 26096 14254 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 408285632 15924797440 50680 33554432000 4194304 4196468 140720449143600 140407902491776 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26107] ppid=26096 vsize=15551560 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26107/stat : 26107 (java) S 26096 26096 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408285635 15924797440 50680 33554432000 4194304 4196468 140720449143600 140407901440080 140408435947419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26108] ppid=26096 vsize=15551560 memory=0 CPUtime=0.77 cores=0,2,4,6
/proc/26098/task/26108/stat : 26108 (java) S 26096 26096 14254 0 -1 1077944384 2894 0 0 0 76 1 0 0 20 0 19 0 408285635 15924797440 50680 33554432000 4194304 4196468 140720449143600 140407900387952 140408435939970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26109] ppid=26096 vsize=15551560 memory=3472328296227418159 CPUtime=0.8 cores=0,2,4,6
/proc/26098/task/26109/stat : 26109 (java) S 26096 26096 14254 0 -1 1077944384 1735 0 0 0 80 0 0 0 20 0 19 0 408285635 15924797440 50680 33554432000 4194304 4196468 140720449143600 140407899335152 140408435939970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26110] ppid=26096 vsize=15551560 memory=3472468306397050544 CPUtime=0.4 cores=0,2,4,6
/proc/26098/task/26110/stat : 26110 (java) S 26096 26096 14254 0 -1 1077944384 1981 0 0 0 40 0 0 0 20 0 19 0 408285635 15924797440 50680 33554432000 4194304 4196468 140720449143600 140407898282864 140408435939970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 25 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26111] ppid=26096 vsize=15551560 memory=3472328296227680303 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26111/stat : 26111 (java) S 26096 26096 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408285635 15924797440 50680 33554432000 4194304 4196468 140720449143600 140407897230304 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26112] ppid=26096 vsize=15551560 memory=15818915214219428 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26112/stat : 26112 (java) S 26096 26096 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408285635 15924797440 50680 33554432000 4194304 4196468 140720449143600 140407896177072 140408435939970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26425] ppid=26096 vsize=15551560 memory=0 CPUtime=0.84 cores=0,2,4,6
/proc/26098/task/26425/stat : 26425 (java) R 26096 26096 14254 0 -1 4202560 18 0 0 0 84 0 0 0 20 0 19 0 408285731 15924797440 50680 33554432000 4194304 4196468 140720449143600 140407882759128 140408071417309 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26426] ppid=26096 vsize=15551560 memory=0 CPUtime=0.75 cores=0,2,4,6
/proc/26098/task/26426/stat : 26426 (java) R 26096 26096 14254 0 -1 4202560 17 0 0 0 75 0 0 0 20 0 19 0 408285731 15924797440 50680 33554432000 4194304 4196468 140720449143600 140407881703504 140408071162741 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26427] ppid=26096 vsize=15551560 memory=0 CPUtime=0.86 cores=0,2,4,6
/proc/26098/task/26427/stat : 26427 (java) R 26096 26096 14254 0 -1 4202560 17 0 0 0 86 0 0 0 20 0 19 0 408285731 15924797440 50680 33554432000 4194304 4196468 140720449143600 140407886967432 140408071417402 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26428] ppid=26096 vsize=15551560 memory=0 CPUtime=0.83 cores=0,2,4,6
/proc/26098/task/26428/stat : 26428 (java) R 26096 26096 14254 0 -1 4202560 17 0 0 0 83 0 0 0 20 0 19 0 408285731 15924797440 50680 33554432000 4194304 4196468 140720449143600 140407883808544 140408071162746 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
Current children cumulated CPU time: 6.73 s
Current children cumulated vsize: 15664688 KiB
Current children cumulated memory: 204168 KiB
[startup+2.21138 s]
/proc/loadavg: 7.37 8.07 8.27 9/236 26428
/proc/meminfo: memFree=30713812/32770624 swapFree=66920756/67108860
[pid=26096] ppid=26093 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26096/stat : 26096 (xcsp3-exec) S 26093 26096 14254 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408285629 115843072 362 33554432000 4194304 5098028 140723970702640 140723970700744 140418638471804 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8187904 140723970704250 140723970704493 140723970704493 140723970707402 0
/proc/26096/statm: 28282 362 304 221 0 87 0
[pid=26098] ppid=26096 vsize=15551560 memory=219104 CPUtime=7.13 cores=0,2,4,6
/proc/26098/stat : 26098 (java) S 26096 26096 14254 0 -1 1077944320 22756 0 0 0 701 12 0 0 20 0 19 0 408285629 15924797440 54776 33554432000 4194304 4196468 140720449143600 140720449126144 140408435928823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
/proc/26098/statm: 3887890 54776 3499 1 0 3848992 0
[pid=26098/tid=26099] ppid=26096 vsize=15551560 memory=7451575454666216817 CPUtime=0.46 cores=0,2,4,6
/proc/26098/task/26099/stat : 26099 (java) S 26096 26096 14254 0 -1 1077944384 9060 0 0 0 42 4 0 0 20 0 19 0 408285630 15924797440 54776 33554432000 4194304 4196468 140720449143600 140408440169600 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26100] ppid=26096 vsize=15551560 memory=7085996475730798231 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26100/stat : 26100 (java) S 26096 26096 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 408285630 15924797440 54776 33554432000 4194304 4196468 140720449143600 140408388549520 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26101] ppid=26096 vsize=15551560 memory=280054416280400 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26101/stat : 26101 (java) S 26096 26096 14254 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 408285630 15924797440 54776 33554432000 4194304 4196468 140720449143600 140408026749712 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26102] ppid=26096 vsize=15551560 memory=46 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26102/stat : 26102 (java) S 26096 26096 14254 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 408285630 15924797440 54776 33554432000 4194304 4196468 140720449143600 140408025697424 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26103] ppid=26096 vsize=15551560 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26103/stat : 26103 (java) S 26096 26096 14254 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 408285630 15924797440 54776 33554432000 4194304 4196468 140720449143600 140408024644624 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26104] ppid=26096 vsize=15551560 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26104/stat : 26104 (java) S 26096 26096 14254 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 408285632 15924797440 54776 33554432000 4194304 4196468 140720449143600 140407904598128 140408435939970 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26105] ppid=26096 vsize=15551560 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26105/stat : 26105 (java) S 26096 26096 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408285632 15924797440 54776 33554432000 4194304 4196468 140720449143600 140407903544160 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26106] ppid=26096 vsize=15551560 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26106/stat : 26106 (java) S 26096 26096 14254 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 408285632 15924797440 54776 33554432000 4194304 4196468 140720449143600 140407902491776 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26107] ppid=26096 vsize=15551560 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26107/stat : 26107 (java) S 26096 26096 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408285635 15924797440 54776 33554432000 4194304 4196468 140720449143600 140407901440080 140408435947419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26108] ppid=26096 vsize=15551560 memory=71 CPUtime=0.77 cores=0,2,4,6
/proc/26098/task/26108/stat : 26108 (java) S 26096 26096 14254 0 -1 1077944384 2894 0 0 0 76 1 0 0 20 0 19 0 408285635 15924797440 54776 33554432000 4194304 4196468 140720449143600 140407900387952 140408435939970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26109] ppid=26096 vsize=15551560 memory=708 CPUtime=0.8 cores=0,2,4,6
/proc/26098/task/26109/stat : 26109 (java) S 26096 26096 14254 0 -1 1077944384 1735 0 0 0 80 0 0 0 20 0 19 0 408285635 15924797440 54776 33554432000 4194304 4196468 140720449143600 140407899335152 140408435939970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26110] ppid=26096 vsize=15551560 memory=9364 CPUtime=0.4 cores=0,2,4,6
/proc/26098/task/26110/stat : 26110 (java) S 26096 26096 14254 0 -1 1077944384 1982 0 0 0 40 0 0 0 20 0 19 0 408285635 15924797440 54776 33554432000 4194304 4196468 140720449143600 140407898282864 140408435939970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 25 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26111] ppid=26096 vsize=15551560 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26111/stat : 26111 (java) S 26096 26096 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408285635 15924797440 54776 33554432000 4194304 4196468 140720449143600 140407897230304 140408435939029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26112] ppid=26096 vsize=15551560 memory=776 CPUtime=0 cores=0,2,4,6
/proc/26098/task/26112/stat : 26112 (java) S 26096 26096 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408285635 15924797440 54776 33554432000 4194304 4196468 140720449143600 140407896177072 140408435939970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26425] ppid=26096 vsize=15551560 memory=288230574492221466 CPUtime=0.94 cores=0,2,4,6
/proc/26098/task/26425/stat : 26425 (java) R 26096 26096 14254 0 -1 4202560 19 0 0 0 94 0 0 0 20 0 19 0 408285731 15924797440 54776 33554432000 4194304 4196468 140720449143600 140407882759128 140408072075145 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26426] ppid=26096 vsize=15551560 memory=7739276948477865063 CPUtime=0.85 cores=0,2,4,6
/proc/26098/task/26426/stat : 26426 (java) R 26096 26096 14254 0 -1 4202560 18 0 0 0 85 0 0 0 20 0 19 0 408285731 15924797440 54776 33554432000 4194304 4196468 140720449143600 140407881703504 140408071996016 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26427] ppid=26096 vsize=15551560 memory=7881696724453321575 CPUtime=0.96 cores=0,2,4,6
/proc/26098/task/26427/stat : 26427 (java) R 26096 26096 14254 0 -1 4202560 17 0 0 0 96 0 0 0 20 0 19 0 408285731 15924797440 54776 33554432000 4194304 4196468 140720449143600 140407886967960 140408071170740 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
[pid=26098/tid=26428] ppid=26096 vsize=15551560 memory=6082509772360804961 CPUtime=0.93 cores=0,2,4,6
/proc/26098/task/26428/stat : 26428 (java) R 26096 26096 14254 0 -1 4202560 23 0 0 0 93 0 0 0 20 0 19 0 408285731 15924797440 54776 33554432000 4194304 4196468 140720449143600 140407883809128 140408071962515 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31604736 140720449151983 140720449152154 140720449152154 140720449155023 0
Current children cumulated CPU time: 7.13 s
Current children cumulated vsize: 15664688 KiB
Current children cumulated memory: 220552 KiB
Child status: 0
Real time (s): 2.24635
CPU time (s): 7.22978
CPU user time (s): 7.09863
CPU system time (s): 0.131146
CPU usage (%): 321.846
Max. virtual memory (cumulated for all children) (KiB): 15664688
Max. memory (cumulated for all children) (KiB): 220552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.09863
system time used= 0.131146
maximum resident set size= 226572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23328
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3533
involuntary context switches= 271
# summary of solver processes directly reported to runsolver:
# pid: 26096
# total CPU time (s): 7.22978
# total CPU user time (s): 7.09863
# total CPU system time (s): 0.131146
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.029135 second user time and 0.078631 second system time
The end