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 (8168 MiB free)
memory of node 1: 16384 MiB (14727 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292531-1532589827/watcher-4292531-1532589827 -o /tmp/evaluation-result-4292531-1532589827/solver-4292531-1532589827 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532582652-5698 --watchdog 2560 HOME/xcsp3-exec -seed 856062211 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292531-1532589827.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=6558, runsolver pid=6555
[startup+0.100094 s]*
/proc/loadavg: 1.75 1.58 1.61 3/217 6574
/proc/meminfo: memFree=23429436/32770624 swapFree=67076872/67108860
[pid=6558] ppid=6555 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6558/stat : 6558 (xcsp3-exec) S 6555 6558 5667 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 76545916 115843072 363 33554432000 4194304 5098028 140736491184624 140736491182728 140456923644540 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11972608 140736491189307 140736491189508 140736491189508 140736491192266 0
/proc/6558/statm: 28282 363 305 221 0 87 0
[pid=6560] ppid=6558 vsize=14082840 memory=29680 CPUtime=0.12 cores=0,2,4,6
/proc/6560/stat : 6560 (java) S 6558 6558 5667 0 -1 1077944320 5735 0 0 0 11 1 0 0 20 0 15 0 76545916 14420828160 7420 33554432000 4194304 4196468 140737281730160 140737281712704 140205781270263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
/proc/6560/statm: 3520710 7420 3017 1 0 3483008 0
[pid=6560/tid=6561] ppid=6558 vsize=14082840 memory=7756507661705909083 CPUtime=0.09 cores=0,2,4,6
/proc/6560/task/6561/stat : 6561 (java) R 6558 6558 5667 0 -1 4202560 3725 0 0 0 9 0 0 0 20 0 15 0 76545916 14420828160 7420 33554432000 4194304 4196468 140737281730160 140205785503536 140205781282198 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6562] ppid=6558 vsize=14082840 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6562/stat : 6562 (java) S 6558 6558 5667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76545917 14420828160 7420 33554432000 4194304 4196468 140737281730160 140205718871184 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6563] ppid=6558 vsize=14082840 memory=139866067293824 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6563/stat : 6563 (java) S 6558 6558 5667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76545917 14420828160 7420 33554432000 4194304 4196468 140737281730160 140205376412688 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6564] ppid=6558 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6564/stat : 6564 (java) S 6558 6558 5667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76545917 14420828160 7420 33554432000 4194304 4196468 140737281730160 140205375359888 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6565] ppid=6558 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6565/stat : 6565 (java) S 6558 6558 5667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76545917 14420828160 7420 33554432000 4194304 4196468 140737281730160 140205374307088 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6566] ppid=6558 vsize=14082840 memory=139866067293824 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6566/stat : 6566 (java) S 6558 6558 5667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76545919 14420828160 7420 33554432000 4194304 4196468 140737281730160 140205322590576 140205781281410 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6567] ppid=6558 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6567/stat : 6567 (java) S 6558 6558 5667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76545919 14420828160 7420 33554432000 4194304 4196468 140737281730160 140205321536544 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6568] ppid=6558 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6568/stat : 6568 (java) S 6558 6558 5667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76545919 14420828160 7420 33554432000 4194304 4196468 140737281730160 140205320483696 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6569] ppid=6558 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6569/stat : 6569 (java) S 6558 6558 5667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76545922 14420828160 7420 33554432000 4194304 4196468 140737281730160 140205319432016 140205781288859 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6570] ppid=6558 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6570/stat : 6570 (java) S 6558 6558 5667 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 76545922 14420828160 7420 33554432000 4194304 4196468 140737281730160 140205318380400 140205781281410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6571] ppid=6558 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6571/stat : 6571 (java) S 6558 6558 5667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76545922 14420828160 7420 33554432000 4194304 4196468 140737281730160 140205317327600 140205781281410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6572] ppid=6558 vsize=14082840 memory=139866067293824 CPUtime=0.01 cores=0,2,4,6
/proc/6560/task/6572/stat : 6572 (java) S 6558 6558 5667 0 -1 1077944384 282 0 0 0 1 0 0 0 20 0 15 0 76545922 14420828160 7420 33554432000 4194304 4196468 140737281730160 140205316274800 140205781281410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6573] ppid=6558 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6573/stat : 6573 (java) S 6558 6558 5667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76545922 14420828160 7420 33554432000 4194304 4196468 140737281730160 140205247949536 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6574] ppid=6558 vsize=14082840 memory=139866067293824 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6574/stat : 6574 (java) S 6558 6558 5667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76545922 14420828160 7420 33554432000 4194304 4196468 140737281730160 140205246896816 140205781281410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 31132 KiB
[startup+0.210562 s]*
/proc/loadavg: 1.75 1.58 1.61 3/217 6574
/proc/meminfo: memFree=23419788/32770624 swapFree=67076872/67108860
[pid=6558] ppid=6555 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6558/stat : 6558 (xcsp3-exec) S 6555 6558 5667 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 76545916 115843072 363 33554432000 4194304 5098028 140736491184624 140736491182728 140456923644540 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11972608 140736491189307 140736491189508 140736491189508 140736491192266 0
/proc/6558/statm: 28282 363 305 221 0 87 0
[pid=6560] ppid=6558 vsize=14082840 memory=40668 CPUtime=0.34 cores=0,2,4,6
/proc/6560/stat : 6560 (java) S 6558 6558 5667 0 -1 1077944320 8162 0 0 0 32 2 0 0 20 0 15 0 76545916 14420828160 10167 33554432000 4194304 4196468 140737281730160 140737281712704 140205781270263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
/proc/6560/statm: 3520710 10167 3188 1 0 3483008 0
[pid=6560/tid=6561] ppid=6558 vsize=14082840 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/6560/task/6561/stat : 6561 (java) R 6558 6558 5667 0 -1 4202560 5421 0 0 0 19 1 0 0 20 0 15 0 76545916 14420828160 10167 33554432000 4194304 4196468 140737281730160 140205785505248 140205765350750 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6562] ppid=6558 vsize=14082840 memory=8947 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6562/stat : 6562 (java) S 6558 6558 5667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76545917 14420828160 10167 33554432000 4194304 4196468 140737281730160 140205718871184 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6563] ppid=6558 vsize=14082840 memory=288370242219005568 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6563/stat : 6563 (java) S 6558 6558 5667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76545917 14420828160 10167 33554432000 4194304 4196468 140737281730160 140205376412688 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6564] ppid=6558 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6564/stat : 6564 (java) S 6558 6558 5667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76545917 14420828160 10167 33554432000 4194304 4196468 140737281730160 140205375359888 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6565] ppid=6558 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6565/stat : 6565 (java) S 6558 6558 5667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76545917 14420828160 10167 33554432000 4194304 4196468 140737281730160 140205374307088 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6566] ppid=6558 vsize=14082840 memory=139866067293824 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6566/stat : 6566 (java) S 6558 6558 5667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 76545919 14420828160 10167 33554432000 4194304 4196468 140737281730160 140205322590576 140205781281410 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6567] ppid=6558 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6567/stat : 6567 (java) S 6558 6558 5667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76545919 14420828160 10167 33554432000 4194304 4196468 140737281730160 140205321536544 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6568] ppid=6558 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6568/stat : 6568 (java) S 6558 6558 5667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76545919 14420828160 10167 33554432000 4194304 4196468 140737281730160 140205320483696 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6569] ppid=6558 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6569/stat : 6569 (java) S 6558 6558 5667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76545922 14420828160 10167 33554432000 4194304 4196468 140737281730160 140205319432016 140205781288859 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6570] ppid=6558 vsize=14082840 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6560/task/6570/stat : 6570 (java) S 6558 6558 5667 0 -1 1077944384 534 0 0 0 2 0 0 0 20 0 15 0 76545922 14420828160 10167 33554432000 4194304 4196468 140737281730160 140205318380400 140205781281410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6571] ppid=6558 vsize=14082840 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/6560/task/6571/stat : 6571 (java) S 6558 6558 5667 0 -1 1077944384 159 0 0 0 2 0 0 0 20 0 15 0 76545922 14420828160 10167 33554432000 4194304 4196468 140737281730160 140205317327600 140205781281410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6572] ppid=6558 vsize=14082840 memory=139866067293824 CPUtime=0.07 cores=0,2,4,6
/proc/6560/task/6572/stat : 6572 (java) S 6558 6558 5667 0 -1 1077944384 755 0 0 0 7 0 0 0 20 0 15 0 76545922 14420828160 10167 33554432000 4194304 4196468 140737281730160 140205316274800 140205781281410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6573] ppid=6558 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6573/stat : 6573 (java) S 6558 6558 5667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76545922 14420828160 10167 33554432000 4194304 4196468 140737281730160 140205247949536 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6574] ppid=6558 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6574/stat : 6574 (java) S 6558 6558 5667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76545922 14420828160 10167 33554432000 4194304 4196468 140737281730160 140205246896816 140205781281410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 42120 KiB
[startup+0.31068 s]*
/proc/loadavg: 1.75 1.58 1.61 3/217 6574
/proc/meminfo: memFree=23412964/32770624 swapFree=67076872/67108860
[pid=6558] ppid=6555 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6558/stat : 6558 (xcsp3-exec) S 6555 6558 5667 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 76545916 115843072 363 33554432000 4194304 5098028 140736491184624 140736491182728 140456923644540 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11972608 140736491189307 140736491189508 140736491189508 140736491192266 0
/proc/6558/statm: 28282 363 305 221 0 87 0
[pid=6560] ppid=6558 vsize=14087096 memory=47364 CPUtime=0.51 cores=0,2,4,6
/proc/6560/stat : 6560 (java) S 6558 6558 5667 0 -1 1077944320 9052 0 0 0 48 3 0 0 20 0 15 0 76545916 14425186304 11841 33554432000 4194304 4196468 140737281730160 140737281712704 140205781270263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
/proc/6560/statm: 3521774 11841 3223 1 0 3483008 0
[pid=6560/tid=6561] ppid=6558 vsize=14087096 memory=8112282956445269571 CPUtime=0.3 cores=0,2,4,6
/proc/6560/task/6561/stat : 6561 (java) R 6558 6558 5667 0 -1 4202560 6145 0 0 0 28 2 0 0 20 0 15 0 76545916 14425186304 11906 33554432000 4194304 4196468 140737281730160 140205785501376 140205765350750 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6562] ppid=6558 vsize=14087096 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6562/stat : 6562 (java) S 6558 6558 5667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76545917 14425186304 11915 33554432000 4194304 4196468 140737281730160 140205718871184 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6563] ppid=6558 vsize=14087096 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6563/stat : 6563 (java) S 6558 6558 5667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76545917 14425186304 11915 33554432000 4194304 4196468 140737281730160 140205376412688 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6564] ppid=6558 vsize=14087096 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6564/stat : 6564 (java) S 6558 6558 5667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76545917 14425186304 11915 33554432000 4194304 4196468 140737281730160 140205375359888 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6565] ppid=6558 vsize=14087096 memory=7379517710693473142 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6565/stat : 6565 (java) S 6558 6558 5667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76545917 14425186304 11915 33554432000 4194304 4196468 140737281730160 140205374307088 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6566] ppid=6558 vsize=14087096 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6566/stat : 6566 (java) S 6558 6558 5667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 76545919 14425186304 11915 33554432000 4194304 4196468 140737281730160 140205322590576 140205781281410 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6567] ppid=6558 vsize=14087096 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6567/stat : 6567 (java) S 6558 6558 5667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76545919 14425186304 11915 33554432000 4194304 4196468 140737281730160 140205321536544 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6568] ppid=6558 vsize=14087096 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6568/stat : 6568 (java) S 6558 6558 5667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76545919 14425186304 11915 33554432000 4194304 4196468 140737281730160 140205320483696 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6569] ppid=6558 vsize=14087096 memory=8549982201333320512 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6569/stat : 6569 (java) S 6558 6558 5667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76545922 14425186304 11915 33554432000 4194304 4196468 140737281730160 140205319432016 140205781288859 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6570] ppid=6558 vsize=14087096 memory=8325818968683490714 CPUtime=0.03 cores=0,2,4,6
/proc/6560/task/6570/stat : 6570 (java) S 6558 6558 5667 0 -1 1077944384 534 0 0 0 3 0 0 0 20 0 15 0 76545922 14425186304 11915 33554432000 4194304 4196468 140737281730160 140205318380400 140205781281410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6571] ppid=6558 vsize=14087096 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/6560/task/6571/stat : 6571 (java) S 6558 6558 5667 0 -1 1077944384 174 0 0 0 4 0 0 0 20 0 15 0 76545922 14425186304 11915 33554432000 4194304 4196468 140737281730160 140205317327600 140205781281410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6572] ppid=6558 vsize=14087096 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/6560/task/6572/stat : 6572 (java) S 6558 6558 5667 0 -1 1077944384 898 0 0 0 12 0 0 0 20 0 15 0 76545922 14425186304 11915 33554432000 4194304 4196468 140737281730160 140205316274800 140205781281410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6573] ppid=6558 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6573/stat : 6573 (java) S 6558 6558 5667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76545922 14425186304 11915 33554432000 4194304 4196468 140737281730160 140205247949536 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6574] ppid=6558 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6574/stat : 6574 (java) S 6558 6558 5667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76545922 14425186304 11915 33554432000 4194304 4196468 140737281730160 140205246896816 140205781281410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 48816 KiB
[startup+0.701642 s]
/proc/loadavg: 1.75 1.58 1.61 4/217 6574
/proc/meminfo: memFree=23388816/32770624 swapFree=67076872/67108860
[pid=6558] ppid=6555 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6558/stat : 6558 (xcsp3-exec) S 6555 6558 5667 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 76545916 115843072 363 33554432000 4194304 5098028 140736491184624 140736491182728 140456923644540 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11972608 140736491189307 140736491189508 140736491189508 140736491192266 0
/proc/6558/statm: 28282 363 305 221 0 87 0
[pid=6560] ppid=6558 vsize=14089220 memory=81992 CPUtime=1.75 cores=0,2,4,6
/proc/6560/stat : 6560 (java) S 6558 6558 5667 0 -1 1077944320 12634 0 0 0 170 5 0 0 20 0 15 0 76545916 14427361280 20498 33554432000 4194304 4196468 140737281730160 140737281712704 140205781270263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
/proc/6560/statm: 3522305 20498 3344 1 0 3483520 0
[pid=6560/tid=6561] ppid=6558 vsize=14089220 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/6560/task/6561/stat : 6561 (java) R 6558 6558 5667 0 -1 4202560 6954 0 0 0 65 2 0 0 20 0 15 0 76545916 14427361280 20498 33554432000 4194304 4196468 140737281730160 140205785507568 140205403207004 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6562] ppid=6558 vsize=14089220 memory=288230608902300371 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6562/stat : 6562 (java) S 6558 6558 5667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76545917 14427361280 20498 33554432000 4194304 4196468 140737281730160 140205718871184 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6563] ppid=6558 vsize=14089220 memory=14415903932567280 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6563/stat : 6563 (java) S 6558 6558 5667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76545917 14427361280 20498 33554432000 4194304 4196468 140737281730160 140205376412688 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6564] ppid=6558 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6564/stat : 6564 (java) S 6558 6558 5667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76545917 14427361280 20498 33554432000 4194304 4196468 140737281730160 140205375359888 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6565] ppid=6558 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6565/stat : 6565 (java) S 6558 6558 5667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76545917 14427361280 20498 33554432000 4194304 4196468 140737281730160 140205374307088 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6566] ppid=6558 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6566/stat : 6566 (java) S 6558 6558 5667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 76545919 14427361280 20498 33554432000 4194304 4196468 140737281730160 140205322590576 140205781281410 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6567] ppid=6558 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6567/stat : 6567 (java) S 6558 6558 5667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76545919 14427361280 20498 33554432000 4194304 4196468 140737281730160 140205321536544 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6568] ppid=6558 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6568/stat : 6568 (java) S 6558 6558 5667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76545919 14427361280 20498 33554432000 4194304 4196468 140737281730160 140205320483696 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6569] ppid=6558 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6569/stat : 6569 (java) S 6558 6558 5667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76545922 14427361280 20498 33554432000 4194304 4196468 140737281730160 140205319432016 140205781288859 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6570] ppid=6558 vsize=14089220 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/6560/task/6570/stat : 6570 (java) R 6558 6558 5667 0 -1 4202560 1497 0 0 0 34 0 0 0 20 0 15 0 76545922 14427361280 20498 33554432000 4194304 4196468 140737281730160 140205318367952 140205761969590 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6571] ppid=6558 vsize=14089220 memory=0 CPUtime=0.33 cores=0,2,4,6
/proc/6560/task/6571/stat : 6571 (java) R 6558 6558 5667 0 -1 4202560 832 0 0 0 33 0 0 0 20 0 15 0 76545922 14427361280 20498 33554432000 4194304 4196468 140737281730160 140205317309216 140205760926784 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6572] ppid=6558 vsize=14089220 memory=0 CPUtime=0.38 cores=0,2,4,6
/proc/6560/task/6572/stat : 6572 (java) S 6558 6558 5667 0 -1 1077944384 2041 0 0 0 38 0 0 0 20 0 15 0 76545922 14427361280 20498 33554432000 4194304 4196468 140737281730160 140205316274800 140205781281410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6573] ppid=6558 vsize=14089220 memory=7367994820054245709 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6573/stat : 6573 (java) S 6558 6558 5667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76545922 14427361280 20498 33554432000 4194304 4196468 140737281730160 140205247949536 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6574] ppid=6558 vsize=14089220 memory=7377556366512450404 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6574/stat : 6574 (java) S 6558 6558 5667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76545922 14427361280 20498 33554432000 4194304 4196468 140737281730160 140205246896816 140205781281410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 83444 KiB
[startup+1.50081 s]
/proc/loadavg: 1.75 1.58 1.61 5/217 6574
/proc/meminfo: memFree=23372320/32770624 swapFree=67076872/67108860
[pid=6558] ppid=6555 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6558/stat : 6558 (xcsp3-exec) S 6555 6558 5667 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 76545916 115843072 363 33554432000 4194304 5098028 140736491184624 140736491182728 140456923644540 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11972608 140736491189307 140736491189508 140736491189508 140736491192266 0
/proc/6558/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/6560/task/6561/stat : 6561 (java) R 6558 6558 5667 0 -1 4202560 7591 0 0 0 144 2 0 0 20 0 15 0 76545916 14427361280 23984 33554432000 4194304 4196468 140737281730160 140205785509320 140205403581614 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6562] ppid=6558 vsize=14089220 memory=2465 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6562/stat : 6562 (java) S 6558 6558 5667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76545917 14427361280 23984 33554432000 4194304 4196468 140737281730160 140205718871184 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6563] ppid=6558 vsize=14089220 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6563/stat : 6563 (java) S 6558 6558 5667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76545917 14427361280 23984 33554432000 4194304 4196468 140737281730160 140205376412688 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6564] ppid=6558 vsize=14089220 memory=-6520476117441828254 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6564/stat : 6564 (java) S 6558 6558 5667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76545917 14427361280 23984 33554432000 4194304 4196468 140737281730160 140205375359888 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6565] ppid=6558 vsize=14089220 memory=6576565900033827754 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6565/stat : 6565 (java) S 6558 6558 5667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76545917 14427361280 23984 33554432000 4194304 4196468 140737281730160 140205374307088 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6566] ppid=6558 vsize=14089220 memory=7822038051842263955 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6566/stat : 6566 (java) S 6558 6558 5667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 76545919 14427361280 23984 33554432000 4194304 4196468 140737281730160 140205322590576 140205781281410 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6567] ppid=6558 vsize=14089220 memory=4486599637793467488 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6567/stat : 6567 (java) S 6558 6558 5667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76545919 14427361280 23984 33554432000 4194304 4196468 140737281730160 140205321536544 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6568] ppid=6558 vsize=14089220 memory=-3826832332642136911 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6568/stat : 6568 (java) S 6558 6558 5667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76545919 14427361280 23984 33554432000 4194304 4196468 140737281730160 140205320483696 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6569] ppid=6558 vsize=14089220 memory=7451303901299238756 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6569/stat : 6569 (java) S 6558 6558 5667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76545922 14427361280 23984 33554432000 4194304 4196468 140737281730160 140205319432016 140205781288859 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6570] ppid=6558 vsize=14089220 memory=6082488869023541093 CPUtime=1.14 cores=0,2,4,6
/proc/6560/task/6570/stat : 6570 (java) R 6558 6558 5667 0 -1 4202560 5305 0 0 0 113 1 0 0 20 0 15 0 76545922 14427361280 23984 33554432000 4194304 4196468 140737281730160 140205318373360 140205762576128 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6571] ppid=6558 vsize=14089220 memory=6291643382618215782 CPUtime=1.12 cores=0,2,4,6
/proc/6560/task/6571/stat : 6571 (java) R 6558 6558 5667 0 -1 4202560 4323 0 0 0 112 0 0 0 20 0 15 0 76545922 14427361280 23984 33554432000 4194304 4196468 140737281730160 140205317313632 140205766170634 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6572] ppid=6558 vsize=14089220 memory=279731891360932 CPUtime=0.44 cores=0,2,4,6
/proc/6560/task/6572/stat : 6572 (java) R 6558 6558 5667 0 -1 1077944384 2777 0 0 0 44 0 0 0 20 0 15 0 76545922 14427361280 23984 33554432000 4194304 4196468 140737281730160 140205316274800 140205781281410 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6573] ppid=6558 vsize=14089220 memory=279731891225160 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6573/stat : 6573 (java) S 6558 6558 5667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76545922 14427361280 23984 33554432000 4194304 4196468 140737281730160 140205247949536 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6574] ppid=6558 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6574/stat : 6574 (java) S 6558 6558 5667 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 76545922 14427361280 23984 33554432000 4194304 4196468 140737281730160 140205246896816 140205781281410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
Current children cumulated CPU time: 4.2 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 97388 KiB
[startup+1.90874 s]
# the end of solver process 6558 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.28345 s, system=0.068952 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.601 s]
/proc/loadavg: 1.75 1.58 1.61 5/217 6574
/proc/meminfo: memFree=23372320/32770624 swapFree=67076872/67108860
[pid=6558] ppid=6555 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6558/stat : 6558 (xcsp3-exec) S 6555 6558 5667 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 76545916 115843072 363 33554432000 4194304 5098028 140736491184624 140736491182728 140456923644540 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11972608 140736491189307 140736491189508 140736491189508 140736491192266 0
/proc/6558/statm: 28282 363 305 221 0 87 0
[pid=6560] ppid=6558 vsize=14089220 memory=96788 CPUtime=4.5 cores=0,2,4,6
/proc/6560/stat : 6560 (java) S 6558 6558 5667 0 -1 1077944320 21583 0 0 0 445 5 0 0 20 0 15 0 76545916 14427361280 24197 33554432000 4194304 4196468 140737281730160 140737281712704 140205781270263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
/proc/6560/statm: 3522305 24197 3353 1 0 3483520 0
[pid=6560/tid=6561] ppid=6558 vsize=14089220 memory=640 CPUtime=1.56 cores=0,2,4,6
/proc/6560/task/6561/stat : 6561 (java) R 6558 6558 5667 0 -1 4202560 7592 0 0 0 154 2 0 0 20 0 15 0 76545916 14427361280 24197 33554432000 4194304 4196468 140737281730160 140205785507192 140205403582275 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6562] ppid=6558 vsize=14089220 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6562/stat : 6562 (java) S 6558 6558 5667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76545917 14427361280 24197 33554432000 4194304 4196468 140737281730160 140205718871184 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6563] ppid=6558 vsize=14089220 memory=960 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6563/stat : 6563 (java) S 6558 6558 5667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76545917 14427361280 24197 33554432000 4194304 4196468 140737281730160 140205376412688 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6564] ppid=6558 vsize=14089220 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6564/stat : 6564 (java) S 6558 6558 5667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76545917 14427361280 24197 33554432000 4194304 4196468 140737281730160 140205375359888 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6565] ppid=6558 vsize=14089220 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6565/stat : 6565 (java) S 6558 6558 5667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76545917 14427361280 24197 33554432000 4194304 4196468 140737281730160 140205374307088 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6566] ppid=6558 vsize=14089220 memory=2164 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6566/stat : 6566 (java) S 6558 6558 5667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 76545919 14427361280 24197 33554432000 4194304 4196468 140737281730160 140205322590576 140205781281410 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6567] ppid=6558 vsize=14089220 memory=3700 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6567/stat : 6567 (java) S 6558 6558 5667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76545919 14427361280 24197 33554432000 4194304 4196468 140737281730160 140205321536544 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6568] ppid=6558 vsize=14089220 memory=844 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6568/stat : 6568 (java) S 6558 6558 5667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76545919 14427361280 24197 33554432000 4194304 4196468 140737281730160 140205320483696 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6569] ppid=6558 vsize=14089220 memory=1460 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6569/stat : 6569 (java) S 6558 6558 5667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76545922 14427361280 24197 33554432000 4194304 4196468 140737281730160 140205319432016 140205781288859 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6570] ppid=6558 vsize=14089220 memory=15316 CPUtime=1.24 cores=0,2,4,6
/proc/6560/task/6570/stat : 6570 (java) R 6558 6558 5667 0 -1 4202560 5343 0 0 0 123 1 0 0 20 0 15 0 76545922 14427361280 24197 33554432000 4194304 4196468 140737281730160 140205318367216 140205760516106 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6571] ppid=6558 vsize=14089220 memory=3604 CPUtime=1.21 cores=0,2,4,6
/proc/6560/task/6571/stat : 6571 (java) R 6558 6558 5667 0 -1 4202560 4546 0 0 0 121 0 0 0 20 0 15 0 76545922 14427361280 24197 33554432000 4194304 4196468 140737281730160 140205317313624 140205765950923 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6572] ppid=6558 vsize=14089220 memory=10632 CPUtime=0.44 cores=0,2,4,6
/proc/6560/task/6572/stat : 6572 (java) S 6558 6558 5667 0 -1 1077944384 2787 0 0 0 44 0 0 0 20 0 15 0 76545922 14427361280 24197 33554432000 4194304 4196468 140737281730160 140205316274800 140205781281410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6573] ppid=6558 vsize=14089220 memory=15128 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6573/stat : 6573 (java) S 6558 6558 5667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76545922 14427361280 24197 33554432000 4194304 4196468 140737281730160 140205247949536 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6574] ppid=6558 vsize=14089220 memory=640 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6574/stat : 6574 (java) S 6558 6558 5667 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 76545922 14427361280 24197 33554432000 4194304 4196468 140737281730160 140205246896816 140205781281410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
Current children cumulated CPU time: 4.5 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 98240 KiB
[startup+1.80085 s]
/proc/loadavg: 1.75 1.58 1.61 5/217 6574
/proc/meminfo: memFree=23372320/32770624 swapFree=67076872/67108860
[pid=6558] ppid=6555 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6558/stat : 6558 (xcsp3-exec) S 6555 6558 5667 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 76545916 115843072 363 33554432000 4194304 5098028 140736491184624 140736491182728 140456923644540 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11972608 140736491189307 140736491189508 140736491189508 140736491192266 0
/proc/6558/statm: 28282 363 305 221 0 87 0
[pid=6560] ppid=6558 vsize=14089220 memory=97040 CPUtime=5.1 cores=0,2,4,6
/proc/6560/stat : 6560 (java) S 6558 6558 5667 0 -1 1077944320 21702 0 0 0 505 5 0 0 20 0 15 0 76545916 14427361280 24260 33554432000 4194304 4196468 140737281730160 140737281712704 140205781270263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
/proc/6560/statm: 3522305 24260 3360 1 0 3483520 0
[pid=6560/tid=6561] ppid=6558 vsize=14089220 memory=1220 CPUtime=1.76 cores=0,2,4,6
/proc/6560/task/6561/stat : 6561 (java) R 6558 6558 5667 0 -1 4202560 7617 0 0 0 174 2 0 0 20 0 15 0 76545916 14427361280 24260 33554432000 4194304 4196468 140737281730160 140205785506336 140205403580843 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6562] ppid=6558 vsize=14089220 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6562/stat : 6562 (java) S 6558 6558 5667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76545917 14427361280 24260 33554432000 4194304 4196468 140737281730160 140205718871184 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6563] ppid=6558 vsize=14089220 memory=2164 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6563/stat : 6563 (java) S 6558 6558 5667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76545917 14427361280 24260 33554432000 4194304 4196468 140737281730160 140205376412688 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6564] ppid=6558 vsize=14089220 memory=3700 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6564/stat : 6564 (java) S 6558 6558 5667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76545917 14427361280 24260 33554432000 4194304 4196468 140737281730160 140205375359888 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6565] ppid=6558 vsize=14089220 memory=844 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6565/stat : 6565 (java) S 6558 6558 5667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76545917 14427361280 24260 33554432000 4194304 4196468 140737281730160 140205374307088 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6566] ppid=6558 vsize=14089220 memory=1460 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6566/stat : 6566 (java) S 6558 6558 5667 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 76545919 14427361280 24260 33554432000 4194304 4196468 140737281730160 140205322590576 140205781281410 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6567] ppid=6558 vsize=14089220 memory=2160 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6567/stat : 6567 (java) S 6558 6558 5667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76545919 14427361280 24260 33554432000 4194304 4196468 140737281730160 140205321536544 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6568] ppid=6558 vsize=14089220 memory=6768 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6568/stat : 6568 (java) S 6558 6558 5667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76545919 14427361280 24260 33554432000 4194304 4196468 140737281730160 140205320483696 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6569] ppid=6558 vsize=14089220 memory=824 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6569/stat : 6569 (java) S 6558 6558 5667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76545922 14427361280 24260 33554432000 4194304 4196468 140737281730160 140205319432016 140205781288859 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6570] ppid=6558 vsize=14089220 memory=7086240636196247142 CPUtime=1.44 cores=0,2,4,6
/proc/6560/task/6570/stat : 6570 (java) R 6558 6558 5667 0 -1 4202560 5385 0 0 0 143 1 0 0 20 0 15 0 76545922 14427361280 24260 33554432000 4194304 4196468 140737281730160 140205318365712 140205766396686 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6571] ppid=6558 vsize=14089220 memory=916 CPUtime=1.41 cores=0,2,4,6
/proc/6560/task/6571/stat : 6571 (java) R 6558 6558 5667 0 -1 4202560 4575 0 0 0 141 0 0 0 20 0 15 0 76545922 14427361280 24260 33554432000 4194304 4196468 140737281730160 140205317317392 140205764756277 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6572] ppid=6558 vsize=14089220 memory=3848 CPUtime=0.44 cores=0,2,4,6
/proc/6560/task/6572/stat : 6572 (java) S 6558 6558 5667 0 -1 1077944384 2787 0 0 0 44 0 0 0 20 0 15 0 76545922 14427361280 24260 33554432000 4194304 4196468 140737281730160 140205316274800 140205781281410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6573] ppid=6558 vsize=14089220 memory=2588 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6573/stat : 6573 (java) S 6558 6558 5667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76545922 14427361280 24260 33554432000 4194304 4196468 140737281730160 140205247949536 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6574] ppid=6558 vsize=14089220 memory=2588 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6574/stat : 6574 (java) S 6558 6558 5667 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 76545922 14427361280 24260 33554432000 4194304 4196468 140737281730160 140205246896816 140205781281410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
Current children cumulated CPU time: 5.1 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 98492 KiB
[startup+1.9008 s]
/proc/loadavg: 1.75 1.58 1.61 5/217 6574
/proc/meminfo: memFree=23372320/32770624 swapFree=67076872/67108860
[pid=6558] ppid=6555 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6558/stat : 6558 (xcsp3-exec) S 6555 6558 5667 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 76545916 115843072 363 33554432000 4194304 5098028 140736491184624 140736491182728 140456923644540 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11972608 140736491189307 140736491189508 140736491189508 140736491192266 0
/proc/6558/statm: 28282 363 305 221 0 87 0
[pid=6560] ppid=6558 vsize=14089220 memory=97236 CPUtime=5.34 cores=0,2,4,6
/proc/6560/stat : 6560 (java) S 6558 6558 5667 0 -1 1077944320 22363 0 0 0 528 6 0 0 20 0 14 0 76545916 14427361280 24309 33554432000 4194304 4196468 140737281730160 140737281712704 140205781270263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
/proc/6560/statm: 3522305 24309 3364 1 0 3483520 0
[pid=6560/tid=6561] ppid=6558 vsize=14089220 memory=2465 CPUtime=1.87 cores=0,2,4,6
/proc/6560/task/6561/stat : 6561 (java) S 6558 6558 5667 0 -1 1077944384 8167 0 0 0 184 3 0 0 20 0 14 0 76545916 14427361280 24309 33554432000 4194304 4196468 140737281730160 140205785513104 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6562] ppid=6558 vsize=14089220 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6562/stat : 6562 (java) S 6558 6558 5667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 76545917 14427361280 24309 33554432000 4194304 4196468 140737281730160 140205718871184 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6563] ppid=6558 vsize=14089220 memory=95904 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6563/stat : 6563 (java) S 6558 6558 5667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 76545917 14427361280 24309 33554432000 4194304 4196468 140737281730160 140205376412688 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6564] ppid=6558 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6564/stat : 6564 (java) S 6558 6558 5667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 76545917 14427361280 24309 33554432000 4194304 4196468 140737281730160 140205375359888 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6565] ppid=6558 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6565/stat : 6565 (java) S 6558 6558 5667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 76545917 14427361280 24309 33554432000 4194304 4196468 140737281730160 140205374307088 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6566] ppid=6558 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6566/stat : 6566 (java) S 6558 6558 5667 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 14 0 76545919 14427361280 24309 33554432000 4194304 4196468 140737281730160 140205322590784 140205781281410 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6567] ppid=6558 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6567/stat : 6567 (java) S 6558 6558 5667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 76545919 14427361280 24309 33554432000 4194304 4196468 140737281730160 140205321536544 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6568] ppid=6558 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6568/stat : 6568 (java) S 6558 6558 5667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 76545919 14427361280 24309 33554432000 4194304 4196468 140737281730160 140205320483696 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6569] ppid=6558 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6569/stat : 6569 (java) S 6558 6558 5667 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 14 0 76545922 14427361280 24309 33554432000 4194304 4196468 140737281730160 140205319431728 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6570] ppid=6558 vsize=14089220 memory=0 CPUtime=1.51 cores=0,2,4,6
/proc/6560/task/6570/stat : 6570 (java) S 6558 6558 5667 0 -1 1077944384 5433 0 0 0 150 1 0 0 20 0 14 0 76545922 14427361280 24309 33554432000 4194304 4196468 140737281730160 140205318364912 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6571] ppid=6558 vsize=14089220 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/6560/task/6571/stat : 6571 (java) S 6558 6558 5667 0 -1 1077944384 4594 0 0 0 147 0 0 0 20 0 14 0 76545922 14427361280 24309 33554432000 4194304 4196468 140737281730160 140205317308016 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6572] ppid=6558 vsize=14089220 memory=7367994820054245709 CPUtime=0.45 cores=0,2,4,6
/proc/6560/task/6572/stat : 6572 (java) S 6558 6558 5667 0 -1 1077944384 2801 0 0 0 45 0 0 0 20 0 14 0 76545922 14427361280 24309 33554432000 4194304 4196468 140737281730160 140205316274800 140205781281410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
[pid=6560/tid=6573] ppid=6558 vsize=14089220 memory=7377556366512450404 CPUtime=0 cores=0,2,4,6
/proc/6560/task/6573/stat : 6573 (java) S 6558 6558 5667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 76545922 14427361280 24309 33554432000 4194304 4196468 140737281730160 140205247949536 140205781280469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140737281737857 140737281738033 140737281738033 140737281740751 0
Current children cumulated CPU time: 5.34 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 98688 KiB
Child status: 0
Real time (s): 1.90877
CPU time (s): 5.35241
CPU user time (s): 5.28345
CPU system time (s): 0.068952
CPU usage (%): 280.411
Max. virtual memory (cumulated for all children) (KiB): 14202348
Max. memory (cumulated for all children) (KiB): 98688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.28345
system time used= 0.068952
maximum resident set size= 97608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22937
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= 1811
involuntary context switches= 32
# summary of solver processes directly reported to runsolver:
# pid: 6558
# total CPU time (s): 5.35241
# total CPU user time (s): 5.28345
# total CPU system time (s): 0.068952
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.032131 second user time and 0.06105 second system time
The end