2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
choco-solver 2019-09-24 parallel	SAT	12.2415	2.04449
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 (13806 MiB free)
  memory of node 1: 16384 MiB (12312 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406657-1569346244/watcher-4406657-1569346244 -o /tmp/evaluation-result-4406657-1569346244/solver-4406657-1569346244 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569331756-4801 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1480853069 HOME/instance-4406657-1569346244.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=8658, runsolver pid=8655
Current StackSize limit: 8192 KiB


[startup+0.100139 s]*
/proc/loadavg: 3.34 3.47 5.64 2/213 8679
/proc/meminfo: memFree=26728180/32770624 swapFree=66986400/67108860
[pid=8658] ppid=8655 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/8658/stat : 8658 (xcsp3-exec) S 8655 8658 4774 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510881033 115843072 364 33554432000 4194304 5098028 140730552473104 140730552471208 139659632644732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23072768 140730552476533 140730552476777 140730552476777 140730552479690 0
/proc/8658/statm: 28282 364 305 221 0 87 0
[pid=8660] ppid=8658 vsize=28227396 memory=28952 CPUtime=0.12 cores=0-7
/proc/8660/stat : 8660 (java) S 8658 8658 4774 0 -1 1077944320 5707 0 0 0 11 1 0 0 20 0 20 0 510881033 28904853504 7238 33554432000 4194304 4196468 140737470437936 140737470420480 140083505815287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
/proc/8660/statm: 7056849 7238 3120 1 0 7019032 0
[pid=8660/tid=8661] ppid=8658 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/8660/task/8661/stat : 8661 (java) R 8658 8658 4774 0 -1 4202560 3630 0 0 0 8 1 0 0 20 0 20 0 510881033 28904853504 7238 33554432000 4194304 4196468 140737470437936 140083510048560 140083505827222 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8662] ppid=8658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8662/stat : 8662 (java) S 8658 8658 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510881034 28904853504 7238 33554432000 4194304 4196468 140737470437936 140083458435728 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8663] ppid=8658 vsize=28227396 memory=15960029081482904 CPUtime=0 cores=0-7
/proc/8660/task/8663/stat : 8663 (java) S 8658 8658 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510881034 28904853504 7238 33554432000 4194304 4196468 140737470437936 140083457382928 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8664] ppid=8658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8664/stat : 8664 (java) S 8658 8658 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510881034 28904853504 7238 33554432000 4194304 4196468 140737470437936 140083456330128 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8665] ppid=8658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8665/stat : 8665 (java) S 8658 8658 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510881034 28904853504 7238 33554432000 4194304 4196468 140737470437936 140083455277328 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8666] ppid=8658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8666/stat : 8666 (java) S 8658 8658 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510881034 28904853504 7238 33554432000 4194304 4196468 140737470437936 140083454225552 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8667] ppid=8658 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/8660/task/8667/stat : 8667 (java) S 8658 8658 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510881034 28904853504 7238 33554432000 4194304 4196468 140737470437936 140083453172752 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8668] ppid=8658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8668/stat : 8668 (java) S 8658 8658 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510881034 28904853504 7238 33554432000 4194304 4196468 140737470437936 140083452119952 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8669] ppid=8658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8669/stat : 8669 (java) S 8658 8658 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510881034 28904853504 7238 33554432000 4194304 4196468 140737470437936 140083451067152 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8670] ppid=8658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8670/stat : 8670 (java) S 8658 8658 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510881036 28904853504 7238 33554432000 4194304 4196468 140737470437936 140082823350640 140083505826434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8671] ppid=8658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8671/stat : 8671 (java) S 8658 8658 4774 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510881036 28904853504 7238 33554432000 4194304 4196468 140737470437936 140082822296608 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8672] ppid=8658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8672/stat : 8672 (java) S 8658 8658 4774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510881037 28904853504 7238 33554432000 4194304 4196468 140737470437936 140082821243760 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8673] ppid=8658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8673/stat : 8673 (java) S 8658 8658 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510881039 28904853504 7238 33554432000 4194304 4196468 140737470437936 140082820192080 140083505833883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8674] ppid=8658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8674/stat : 8674 (java) S 8658 8658 4774 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 20 0 510881039 28904853504 7238 33554432000 4194304 4196468 140737470437936 140082819140464 140083505826434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8675] ppid=8658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8675/stat : 8675 (java) S 8658 8658 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510881039 28904853504 7238 33554432000 4194304 4196468 140737470437936 140082818087664 140083505826434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8676] ppid=8658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8676/stat : 8676 (java) S 8658 8658 4774 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 510881039 28904853504 7238 33554432000 4194304 4196468 140737470437936 140082817034864 140083505826434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8677] ppid=8658 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/8660/task/8677/stat : 8677 (java) R 8658 8658 4774 0 -1 4202560 350 0 0 0 2 0 0 0 20 0 20 0 510881039 28904853504 7238 33554432000 4194304 4196468 140737470437936 140082815982064 140083505829196 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8678] ppid=8658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8678/stat : 8678 (java) S 8658 8658 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510881039 28904853504 7238 33554432000 4194304 4196468 140737470437936 140082814929504 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8679] ppid=8658 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/8660/task/8679/stat : 8679 (java) S 8658 8658 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510881039 28904853504 7238 33554432000 4194304 4196468 140737470437936 140082813876784 140083505826434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30408 KiB

[startup+0.210375 s]*
/proc/loadavg: 3.34 3.47 5.64 2/213 8679
/proc/meminfo: memFree=26714092/32770624 swapFree=66986400/67108860
[pid=8658] ppid=8655 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/8658/stat : 8658 (xcsp3-exec) S 8655 8658 4774 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510881033 115843072 364 33554432000 4194304 5098028 140730552473104 140730552471208 139659632644732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23072768 140730552476533 140730552476777 140730552476777 140730552479690 0
/proc/8658/statm: 28282 364 305 221 0 87 0
[pid=8660] ppid=8658 vsize=28227396 memory=41252 CPUtime=0.34 cores=0-7
/proc/8660/stat : 8660 (java) S 8658 8658 4774 0 -1 1077944320 9517 0 0 0 31 3 0 0 20 0 20 0 510881033 28904853504 10313 33554432000 4194304 4196468 140737470437936 140737470420480 140083505815287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
/proc/8660/statm: 7056849 10313 3315 1 0 7019032 0
[pid=8660/tid=8661] ppid=8658 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/8660/task/8661/stat : 8661 (java) R 8658 8658 4774 0 -1 4202560 6637 0 0 0 17 2 0 0 20 0 20 0 510881033 28904853504 10313 33554432000 4194304 4196468 140737470437936 140083510048016 140083505827222 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8662] ppid=8658 vsize=28227396 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/8660/task/8662/stat : 8662 (java) S 8658 8658 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510881034 28904853504 10313 33554432000 4194304 4196468 140737470437936 140083458435728 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8663] ppid=8658 vsize=28227396 memory=15675259864856216 CPUtime=0 cores=0-7
/proc/8660/task/8663/stat : 8663 (java) S 8658 8658 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510881034 28904853504 10313 33554432000 4194304 4196468 140737470437936 140083457382928 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8664] ppid=8658 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/8660/task/8664/stat : 8664 (java) S 8658 8658 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510881034 28904853504 10313 33554432000 4194304 4196468 140737470437936 140083456330128 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8665] ppid=8658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8665/stat : 8665 (java) S 8658 8658 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510881034 28904853504 10313 33554432000 4194304 4196468 140737470437936 140083455277328 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8666] ppid=8658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8666/stat : 8666 (java) S 8658 8658 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510881034 28904853504 10313 33554432000 4194304 4196468 140737470437936 140083454225552 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8667] ppid=8658 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/8660/task/8667/stat : 8667 (java) S 8658 8658 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510881034 28904853504 10313 33554432000 4194304 4196468 140737470437936 140083453172752 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8668] ppid=8658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8668/stat : 8668 (java) S 8658 8658 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510881034 28904853504 10313 33554432000 4194304 4196468 140737470437936 140083452119952 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8669] ppid=8658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8669/stat : 8669 (java) S 8658 8658 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510881034 28904853504 10313 33554432000 4194304 4196468 140737470437936 140083451067152 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8670] ppid=8658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8670/stat : 8670 (java) S 8658 8658 4774 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510881036 28904853504 10313 33554432000 4194304 4196468 140737470437936 140082823350640 140083505826434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8671] ppid=8658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8671/stat : 8671 (java) S 8658 8658 4774 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510881036 28904853504 10313 33554432000 4194304 4196468 140737470437936 140082822296608 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8672] ppid=8658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8672/stat : 8672 (java) S 8658 8658 4774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510881037 28904853504 10313 33554432000 4194304 4196468 140737470437936 140082821243760 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8673] ppid=8658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8673/stat : 8673 (java) S 8658 8658 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510881039 28904853504 10313 33554432000 4194304 4196468 140737470437936 140082820192080 140083505833883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8674] ppid=8658 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/8660/task/8674/stat : 8674 (java) S 8658 8658 4774 0 -1 1077944384 594 0 0 0 2 0 0 0 20 0 20 0 510881039 28904853504 10313 33554432000 4194304 4196468 140737470437936 140082819140464 140083505826434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8675] ppid=8658 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/8660/task/8675/stat : 8675 (java) S 8658 8658 4774 0 -1 1077944384 14 0 0 0 1 0 0 0 20 0 20 0 510881039 28904853504 10313 33554432000 4194304 4196468 140737470437936 140082818087664 140083505826434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8676] ppid=8658 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/8660/task/8676/stat : 8676 (java) S 8658 8658 4774 0 -1 1077944384 200 0 0 0 1 0 0 0 20 0 20 0 510881039 28904853504 10313 33554432000 4194304 4196468 140737470437936 140082817034864 140083505826434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8677] ppid=8658 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7
/proc/8660/task/8677/stat : 8677 (java) R 8658 8658 4774 0 -1 4202560 759 0 0 0 8 0 0 0 20 0 20 0 510881039 28904853504 10313 33554432000 4194304 4196468 140737470437936 140082815982064 140083505827222 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8678] ppid=8658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8678/stat : 8678 (java) S 8658 8658 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510881039 28904853504 10313 33554432000 4194304 4196468 140737470437936 140082814929504 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8679] ppid=8658 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/8660/task/8679/stat : 8679 (java) S 8658 8658 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510881039 28904853504 10313 33554432000 4194304 4196468 140737470437936 140082813876784 140083505826434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42708 KiB

[startup+0.309768 s]*
/proc/loadavg: 3.34 3.47 5.64 4/213 8679
/proc/meminfo: memFree=26707080/32770624 swapFree=66986400/67108860
[pid=8658] ppid=8655 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/8658/stat : 8658 (xcsp3-exec) S 8655 8658 4774 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510881033 115843072 364 33554432000 4194304 5098028 140730552473104 140730552471208 139659632644732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23072768 140730552476533 140730552476777 140730552476777 140730552479690 0
/proc/8658/statm: 28282 364 305 221 0 87 0
[pid=8660] ppid=8658 vsize=28231652 memory=50120 CPUtime=0.53 cores=0-7
/proc/8660/stat : 8660 (java) S 8658 8658 4774 0 -1 1077944320 10869 0 0 0 49 4 0 0 20 0 20 0 510881033 28909211648 12530 33554432000 4194304 4196468 140737470437936 140737470420480 140083505815287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
/proc/8660/statm: 7057913 12530 3360 1 0 7019032 0
[pid=8660/tid=8661] ppid=8658 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/8660/task/8661/stat : 8661 (java) R 8658 8658 4774 0 -1 4202560 7766 0 0 0 27 2 0 0 20 0 20 0 510881033 28909211648 12559 33554432000 4194304 4196468 140737470437936 140083510046400 140083505837213 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8662] ppid=8658 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8662/stat : 8662 (java) S 8658 8658 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510881034 28909211648 12559 33554432000 4194304 4196468 140737470437936 140083458435728 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8663] ppid=8658 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8663/stat : 8663 (java) S 8658 8658 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510881034 28909211648 12559 33554432000 4194304 4196468 140737470437936 140083457382928 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8664] ppid=8658 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8664/stat : 8664 (java) S 8658 8658 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510881034 28909211648 12559 33554432000 4194304 4196468 140737470437936 140083456330128 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8665] ppid=8658 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8665/stat : 8665 (java) S 8658 8658 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510881034 28909211648 12559 33554432000 4194304 4196468 140737470437936 140083455277328 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8666] ppid=8658 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8666/stat : 8666 (java) S 8658 8658 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510881034 28909211648 12559 33554432000 4194304 4196468 140737470437936 140083454225552 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8667] ppid=8658 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8667/stat : 8667 (java) S 8658 8658 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510881034 28909211648 12559 33554432000 4194304 4196468 140737470437936 140083453172752 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8668] ppid=8658 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8668/stat : 8668 (java) S 8658 8658 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510881034 28909211648 12559 33554432000 4194304 4196468 140737470437936 140083452119952 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8669] ppid=8658 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8669/stat : 8669 (java) S 8658 8658 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510881034 28909211648 12559 33554432000 4194304 4196468 140737470437936 140083451067152 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8670] ppid=8658 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8670/stat : 8670 (java) S 8658 8658 4774 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510881036 28909211648 12559 33554432000 4194304 4196468 140737470437936 140082823350640 140083505826434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8671] ppid=8658 vsize=28231652 memory=280062737980800 CPUtime=0 cores=0-7
/proc/8660/task/8671/stat : 8671 (java) S 8658 8658 4774 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510881036 28909211648 12559 33554432000 4194304 4196468 140737470437936 140082822296608 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8672] ppid=8658 vsize=28231652 memory=280062737985408 CPUtime=0 cores=0-7
/proc/8660/task/8672/stat : 8672 (java) S 8658 8658 4774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510881037 28909211648 12559 33554432000 4194304 4196468 140737470437936 140082821243760 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8673] ppid=8658 vsize=28231652 memory=280062737990016 CPUtime=0 cores=0-7
/proc/8660/task/8673/stat : 8673 (java) S 8658 8658 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510881039 28909211648 12559 33554432000 4194304 4196468 140737470437936 140082820192080 140083505833883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8674] ppid=8658 vsize=28231652 memory=280062737994624 CPUtime=0.03 cores=0-7
/proc/8660/task/8674/stat : 8674 (java) S 8658 8658 4774 0 -1 1077944384 600 0 0 0 3 0 0 0 20 0 20 0 510881039 28909211648 12559 33554432000 4194304 4196468 140737470437936 140082819140464 140083505826434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8675] ppid=8658 vsize=28231652 memory=280062737999232 CPUtime=0.02 cores=0-7
/proc/8660/task/8675/stat : 8675 (java) R 8658 8658 4774 0 -1 4202560 145 0 0 0 2 0 0 0 20 0 20 0 510881039 28909211648 12559 33554432000 4194304 4196468 140737470437936 140082818087664 140083485509723 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8676] ppid=8658 vsize=28231652 memory=280062738003840 CPUtime=0.02 cores=0-7
/proc/8660/task/8676/stat : 8676 (java) S 8658 8658 4774 0 -1 1077944384 204 0 0 0 2 0 0 0 20 0 20 0 510881039 28909211648 12559 33554432000 4194304 4196468 140737470437936 140082817034864 140083505826434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8677] ppid=8658 vsize=28231652 memory=280062738008448 CPUtime=0.12 cores=0-7
/proc/8660/task/8677/stat : 8677 (java) S 8658 8658 4774 0 -1 1077944384 851 0 0 0 12 0 0 0 20 0 20 0 510881039 28909211648 12559 33554432000 4194304 4196468 140737470437936 140082815982064 140083505826434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8678] ppid=8658 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8678/stat : 8678 (java) S 8658 8658 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510881039 28909211648 12559 33554432000 4194304 4196468 140737470437936 140082814929504 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8679] ppid=8658 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/8660/task/8679/stat : 8679 (java) S 8658 8658 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510881039 28909211648 12559 33554432000 4194304 4196468 140737470437936 140082813876784 140083505826434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51576 KiB

[startup+0.700944 s]
/proc/loadavg: 3.34 3.47 5.64 5/213 8679
/proc/meminfo: memFree=26689900/32770624 swapFree=66986400/67108860
[pid=8658] ppid=8655 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/8658/stat : 8658 (xcsp3-exec) S 8655 8658 4774 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510881033 115843072 364 33554432000 4194304 5098028 140730552473104 140730552471208 139659632644732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23072768 140730552476533 140730552476777 140730552476777 140730552479690 0
/proc/8658/statm: 28282 364 305 221 0 87 0
[pid=8660] ppid=8658 vsize=28766288 memory=134576 CPUtime=2.11 cores=0-7
/proc/8660/stat : 8660 (java) S 8658 8658 4774 0 -1 1077944320 15854 0 0 0 204 7 0 0 20 0 28 0 510881033 29456678912 33644 33554432000 4194304 4196468 140737470437936 140737470420480 140083505815287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
/proc/8660/statm: 7191572 33644 3466 1 0 7152672 0
[pid=8660/tid=8661] ppid=8658 vsize=28766288 memory=4580 CPUtime=0.61 cores=0-7
/proc/8660/task/8661/stat : 8661 (java) S 8658 8658 4774 0 -1 1077944384 9158 0 0 0 57 4 0 0 20 0 28 0 510881033 29456678912 33644 33554432000 4194304 4196468 140737470437936 140083510056064 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8662] ppid=8658 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8662/stat : 8662 (java) S 8658 8658 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 510881034 29456678912 33644 33554432000 4194304 4196468 140737470437936 140083458435728 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8663] ppid=8658 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8663/stat : 8663 (java) S 8658 8658 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 510881034 29456678912 33644 33554432000 4194304 4196468 140737470437936 140083457382928 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8664] ppid=8658 vsize=28766288 memory=1056 CPUtime=0 cores=0-7
/proc/8660/task/8664/stat : 8664 (java) S 8658 8658 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510881034 29456678912 33644 33554432000 4194304 4196468 140737470437936 140083456330128 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0

################
# More data... #
################

[pid=8660/tid=8681] ppid=8658 vsize=28766288 memory=7445129005055890543 CPUtime=0.78 cores=0-7
/proc/8660/task/8681/stat : 8681 (java) R 8658 8658 4774 0 -1 4202560 49 0 0 0 78 0 0 0 20 0 28 0 510881097 29456678912 59592 33554432000 4194304 4196468 140737470437936 140082803607736 140083131608660 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8682] ppid=8658 vsize=28766288 memory=692 CPUtime=0.62 cores=0-7
/proc/8660/task/8682/stat : 8682 (java) R 8658 8658 4774 0 -1 4202560 36 0 0 0 62 0 0 0 20 0 28 0 510881097 29456678912 59592 33554432000 4194304 4196468 140737470437936 140082802554024 140083131615347 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8683] ppid=8658 vsize=28766288 memory=1056 CPUtime=0.52 cores=0-7
/proc/8660/task/8683/stat : 8683 (java) R 8658 8658 4774 0 -1 4202560 85 0 0 0 52 0 0 0 20 0 28 0 510881097 29456678912 59592 33554432000 4194304 4196468 140737470437936 140082801500584 140083131607727 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8684] ppid=8658 vsize=28766288 memory=1556 CPUtime=0.57 cores=0-7
/proc/8660/task/8684/stat : 8684 (java) R 8658 8658 4774 0 -1 4202560 37 0 0 0 57 0 0 0 20 0 28 0 510881097 29456678912 59592 33554432000 4194304 4196468 140737470437936 140082800447784 140083131607693 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8685] ppid=8658 vsize=28766288 memory=780 CPUtime=0.59 cores=0-7
/proc/8660/task/8685/stat : 8685 (java) R 8658 8658 4774 0 -1 4202560 34 0 0 0 59 0 0 0 20 0 28 0 510881097 29456678912 59592 33554432000 4194304 4196468 140737470437936 140082799395128 140083131609235 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8686] ppid=8658 vsize=28766288 memory=3616 CPUtime=0.67 cores=0-7
/proc/8660/task/8686/stat : 8686 (java) R 8658 8658 4774 0 -1 4202560 36 0 0 0 67 0 0 0 20 0 28 0 510881097 29456678912 59592 33554432000 4194304 4196468 140737470437936 140082798342184 140083131610103 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8687] ppid=8658 vsize=28766288 memory=1228 CPUtime=0.6 cores=0-7
/proc/8660/task/8687/stat : 8687 (java) R 8658 8658 4774 0 -1 4202560 37 0 0 0 60 0 0 0 20 0 28 0 510881097 29456678912 59592 33554432000 4194304 4196468 140737470437936 140082797291496 140083131270467 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
Current children cumulated CPU time: 8.4 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 239824 KiB

[startup+2.04443 s]
# the end of solver process 8658 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=11.972 s, system=0.269482 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1.60193 s]
/proc/loadavg: 3.34 3.47 5.64 11/221 8687
/proc/meminfo: memFree=26606248/32770624 swapFree=66986400/67108860
[pid=8658] ppid=8655 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/8658/stat : 8658 (xcsp3-exec) S 8655 8658 4774 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510881033 115843072 364 33554432000 4194304 5098028 140730552473104 140730552471208 139659632644732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23072768 140730552476533 140730552476777 140730552476777 140730552479690 0
/proc/8658/statm: 28282 364 305 221 0 87 0
[pid=8660] ppid=8658 vsize=28766288 memory=238648 CPUtime=9.19 cores=0-7
/proc/8660/stat : 8660 (java) S 8658 8658 4774 0 -1 1077944320 19555 0 0 0 905 14 0 0 20 0 28 0 510881033 29456678912 59662 33554432000 4194304 4196468 140737470437936 140737470420480 140083505815287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
/proc/8660/statm: 7191572 59662 3504 1 0 7152672 0
[pid=8660/tid=8661] ppid=8658 vsize=28766288 memory=-7531822216215565666 CPUtime=0.61 cores=0-7
/proc/8660/task/8661/stat : 8661 (java) S 8658 8658 4774 0 -1 1077944384 9158 0 0 0 57 4 0 0 20 0 28 0 510881033 29456678912 59662 33554432000 4194304 4196468 140737470437936 140083510056064 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8662] ppid=8658 vsize=28766288 memory=-7522837415797432223 CPUtime=0.01 cores=0-7
/proc/8660/task/8662/stat : 8662 (java) S 8658 8658 4774 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 28 0 510881034 29456678912 59662 33554432000 4194304 4196468 140737470437936 140083458435728 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8663] ppid=8658 vsize=28766288 memory=-9001733975035373671 CPUtime=0.01 cores=0-7
/proc/8660/task/8663/stat : 8663 (java) S 8658 8658 4774 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 28 0 510881034 29456678912 59662 33554432000 4194304 4196468 140737470437936 140083457382928 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8664] ppid=8658 vsize=28766288 memory=7684433386921362234 CPUtime=0.02 cores=0-7
/proc/8660/task/8664/stat : 8664 (java) S 8658 8658 4774 0 -1 1077944384 29 0 0 0 1 1 0 0 20 0 28 0 510881034 29456678912 59662 33554432000 4194304 4196468 140737470437936 140083456330128 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8665] ppid=8658 vsize=28766288 memory=7597402612410957923 CPUtime=0.02 cores=0-7
/proc/8660/task/8665/stat : 8665 (java) S 8658 8658 4774 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 28 0 510881034 29456678912 59662 33554432000 4194304 4196468 140737470437936 140083455277328 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8666] ppid=8658 vsize=28766288 memory=7380626164322690930 CPUtime=0 cores=0-7
/proc/8660/task/8666/stat : 8666 (java) S 8658 8658 4774 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 510881034 29456678912 59662 33554432000 4194304 4196468 140737470437936 140083454225552 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8667] ppid=8658 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8667/stat : 8667 (java) S 8658 8658 4774 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 510881034 29456678912 59662 33554432000 4194304 4196468 140737470437936 140083453172752 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8668] ppid=8658 vsize=28766288 memory=0 CPUtime=0.01 cores=0-7
/proc/8660/task/8668/stat : 8668 (java) S 8658 8658 4774 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 28 0 510881034 29456678912 59662 33554432000 4194304 4196468 140737470437936 140083452119952 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8669] ppid=8658 vsize=28766288 memory=4580 CPUtime=0.02 cores=0-7
/proc/8660/task/8669/stat : 8669 (java) S 8658 8658 4774 0 -1 1077944384 29 0 0 0 1 1 0 0 20 0 28 0 510881034 29456678912 59662 33554432000 4194304 4196468 140737470437936 140083451067152 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8670] ppid=8658 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8670/stat : 8670 (java) S 8658 8658 4774 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 510881036 29456678912 59662 33554432000 4194304 4196468 140737470437936 140082823350640 140083505826434 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8671] ppid=8658 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8671/stat : 8671 (java) S 8658 8658 4774 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 510881036 29456678912 59662 33554432000 4194304 4196468 140737470437936 140082822296608 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8672] ppid=8658 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8672/stat : 8672 (java) S 8658 8658 4774 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 510881037 29456678912 59662 33554432000 4194304 4196468 140737470437936 140082821243760 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8673] ppid=8658 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8673/stat : 8673 (java) S 8658 8658 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510881039 29456678912 59662 33554432000 4194304 4196468 140737470437936 140082820192080 140083505833883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8674] ppid=8658 vsize=28766288 memory=0 CPUtime=0.73 cores=0-7
/proc/8660/task/8674/stat : 8674 (java) R 8658 8658 4774 0 -1 4202560 3078 0 0 0 72 1 0 0 20 0 28 0 510881039 29456678912 59662 33554432000 4194304 4196468 140737470437936 140082819140760 140083483410528 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8675] ppid=8658 vsize=28766288 memory=0 CPUtime=0.86 cores=0-7
/proc/8660/task/8675/stat : 8675 (java) S 8658 8658 4774 0 -1 1077944384 1945 0 0 0 86 0 0 0 20 0 28 0 510881039 29456678912 59662 33554432000 4194304 4196468 140737470437936 140082818087664 140083505826434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8676] ppid=8658 vsize=28766288 memory=0 CPUtime=0.69 cores=0-7
/proc/8660/task/8676/stat : 8676 (java) S 8658 8658 4774 0 -1 1077944384 1679 0 0 0 69 0 0 0 20 0 28 0 510881039 29456678912 59662 33554432000 4194304 4196468 140737470437936 140082817034864 140083505826434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8677] ppid=8658 vsize=28766288 memory=0 CPUtime=0.37 cores=0-7
/proc/8660/task/8677/stat : 8677 (java) R 8658 8658 4774 0 -1 1077944384 1783 0 0 0 37 0 0 0 20 0 28 0 510881039 29456678912 59662 33554432000 4194304 4196468 140737470437936 140082815982064 140083505826434 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8678] ppid=8658 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8678/stat : 8678 (java) S 8658 8658 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510881039 29456678912 59662 33554432000 4194304 4196468 140737470437936 140082814929504 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8679] ppid=8658 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8679/stat : 8679 (java) S 8658 8658 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510881039 29456678912 59662 33554432000 4194304 4196468 140737470437936 140082813876784 140083505826434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8680] ppid=8658 vsize=28766288 memory=-7025424297587845161 CPUtime=0.68 cores=0-7
/proc/8660/task/8680/stat : 8680 (java) R 8658 8658 4774 0 -1 4202560 53 0 0 0 68 0 0 0 20 0 28 0 510881097 29456678912 59662 33554432000 4194304 4196468 140737470437936 140082804655776 140083505827222 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8681] ppid=8658 vsize=28766288 memory=0 CPUtime=0.88 cores=0-7
/proc/8660/task/8681/stat : 8681 (java) R 8658 8658 4774 0 -1 4202560 49 0 0 0 88 0 0 0 20 0 28 0 510881097 29456678912 59662 33554432000 4194304 4196468 140737470437936 140082803607752 140083131609449 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8682] ppid=8658 vsize=28766288 memory=0 CPUtime=0.71 cores=0-7
/proc/8660/task/8682/stat : 8682 (java) R 8658 8658 4774 0 -1 1077944384 36 0 0 0 71 0 0 0 20 0 28 0 510881097 29456678912 59662 33554432000 4194304 4196468 140737470437936 140082802552288 140083505825493 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8683] ppid=8658 vsize=28766288 memory=0 CPUtime=0.6 cores=0-7
/proc/8660/task/8683/stat : 8683 (java) R 8658 8658 4774 0 -1 4202560 85 0 0 0 60 0 0 0 20 0 28 0 510881097 29456678912 59662 33554432000 4194304 4196468 140737470437936 140082801500496 140083131123916 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8684] ppid=8658 vsize=28766288 memory=0 CPUtime=0.64 cores=0-7
/proc/8660/task/8684/stat : 8684 (java) R 8658 8658 4774 0 -1 4202560 37 0 0 0 64 0 0 0 20 0 28 0 510881097 29456678912 59662 33554432000 4194304 4196468 140737470437936 140082800446688 140083131609264 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8685] ppid=8658 vsize=28766288 memory=1564 CPUtime=0.69 cores=0-7
/proc/8660/task/8685/stat : 8685 (java) R 8658 8658 4774 0 -1 4202560 34 0 0 0 69 0 0 0 20 0 28 0 510881097 29456678912 59662 33554432000 4194304 4196468 140737470437936 140082799393888 140083131268208 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8686] ppid=8658 vsize=28766288 memory=924 CPUtime=0.77 cores=0-7
/proc/8660/task/8686/stat : 8686 (java) R 8658 8658 4774 0 -1 4202560 36 0 0 0 77 0 0 0 20 0 28 0 510881097 29456678912 59662 33554432000 4194304 4196468 140737470437936 140082798339504 140083131609449 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8687] ppid=8658 vsize=28766288 memory=1760 CPUtime=0.69 cores=0-7
/proc/8660/task/8687/stat : 8687 (java) R 8658 8658 4774 0 -1 4202560 37 0 0 0 69 0 0 0 20 0 28 0 510881097 29456678912 59662 33554432000 4194304 4196468 140737470437936 140082797291496 140083131267636 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
Current children cumulated CPU time: 9.19 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 240104 KiB

[startup+2.00122 s]*
/proc/loadavg: 4.03 3.61 5.68 3/221 8687
/proc/meminfo: memFree=26421196/32770624 swapFree=66986400/67108860
[pid=8658] ppid=8655 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/8658/stat : 8658 (xcsp3-exec) S 8655 8658 4774 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510881033 115843072 364 33554432000 4194304 5098028 140730552473104 140730552471208 139659632644732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23072768 140730552476533 140730552476777 140730552476777 140730552479690 0
/proc/8658/statm: 28282 364 305 221 0 87 0
[pid=8660] ppid=8658 vsize=28766288 memory=340044 CPUtime=12.19 cores=0-7
/proc/8660/stat : 8660 (java) S 8658 8658 4774 0 -1 1077944320 20194 0 0 0 1194 25 0 0 20 0 28 0 510881033 29456678912 85011 33554432000 4194304 4196468 140737470437936 140737470420480 140083505815287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
/proc/8660/statm: 7191572 85011 3514 1 0 7152672 0
[pid=8660/tid=8661] ppid=8658 vsize=28766288 memory=288363917221298210 CPUtime=0.61 cores=0-7
/proc/8660/task/8661/stat : 8661 (java) S 8658 8658 4774 0 -1 1077944384 9158 0 0 0 57 4 0 0 20 0 28 0 510881033 29456678912 85011 33554432000 4194304 4196468 140737470437936 140083510056064 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8662] ppid=8658 vsize=28766288 memory=301741394949833029 CPUtime=0.05 cores=0-7
/proc/8660/task/8662/stat : 8662 (java) S 8658 8658 4774 0 -1 1077944384 60 0 0 0 4 1 0 0 20 0 28 0 510881034 29456678912 85011 33554432000 4194304 4196468 140737470437936 140083458435728 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8663] ppid=8658 vsize=28766288 memory=15539639226209502 CPUtime=0.05 cores=0-7
/proc/8660/task/8663/stat : 8663 (java) S 8658 8658 4774 0 -1 1077944384 119 0 0 0 3 2 0 0 20 0 28 0 510881034 29456678912 85011 33554432000 4194304 4196468 140737470437936 140083457382928 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8664] ppid=8658 vsize=28766288 memory=-8990767739041718176 CPUtime=0.05 cores=0-7
/proc/8660/task/8664/stat : 8664 (java) S 8658 8658 4774 0 -1 1077944384 130 0 0 0 3 2 0 0 20 0 28 0 510881034 29456678912 85011 33554432000 4194304 4196468 140737470437936 140083456330128 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8665] ppid=8658 vsize=28766288 memory=0 CPUtime=0.05 cores=0-7
/proc/8660/task/8665/stat : 8665 (java) S 8658 8658 4774 0 -1 1077944384 49 0 0 0 3 2 0 0 20 0 28 0 510881034 29456678912 85011 33554432000 4194304 4196468 140737470437936 140083455277328 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8666] ppid=8658 vsize=28766288 memory=0 CPUtime=0.04 cores=0-7
/proc/8660/task/8666/stat : 8666 (java) S 8658 8658 4774 0 -1 1077944384 102 0 0 0 3 1 0 0 20 0 28 0 510881034 29456678912 85011 33554432000 4194304 4196468 140737470437936 140083454225552 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8667] ppid=8658 vsize=28766288 memory=0 CPUtime=0.03 cores=0-7
/proc/8660/task/8667/stat : 8667 (java) S 8658 8658 4774 0 -1 1077944384 38 0 0 0 2 1 0 0 20 0 28 0 510881034 29456678912 85011 33554432000 4194304 4196468 140737470437936 140083453172752 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8668] ppid=8658 vsize=28766288 memory=0 CPUtime=0.04 cores=0-7
/proc/8660/task/8668/stat : 8668 (java) S 8658 8658 4774 0 -1 1077944384 39 0 0 0 3 1 0 0 20 0 28 0 510881034 29456678912 85011 33554432000 4194304 4196468 140737470437936 140083452119952 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8669] ppid=8658 vsize=28766288 memory=0 CPUtime=0.05 cores=0-7
/proc/8660/task/8669/stat : 8669 (java) S 8658 8658 4774 0 -1 1077944384 131 0 0 0 3 2 0 0 20 0 28 0 510881034 29456678912 85011 33554432000 4194304 4196468 140737470437936 140083451067152 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8670] ppid=8658 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8670/stat : 8670 (java) S 8658 8658 4774 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 510881036 29456678912 85011 33554432000 4194304 4196468 140737470437936 140082823350640 140083505826434 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8671] ppid=8658 vsize=28766288 memory=3184097920075968559 CPUtime=0 cores=0-7
/proc/8660/task/8671/stat : 8671 (java) S 8658 8658 4774 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 510881036 29456678912 85011 33554432000 4194304 4196468 140737470437936 140082822296608 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8672] ppid=8658 vsize=28766288 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/8660/task/8672/stat : 8672 (java) S 8658 8658 4774 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 510881037 29456678912 85011 33554432000 4194304 4196468 140737470437936 140082821243760 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8673] ppid=8658 vsize=28766288 memory=-2893623298589923098 CPUtime=0 cores=0-7
/proc/8660/task/8673/stat : 8673 (java) S 8658 8658 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510881039 29456678912 85011 33554432000 4194304 4196468 140737470437936 140082820192080 140083505833883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8674] ppid=8658 vsize=28766288 memory=0 CPUtime=0.79 cores=0-7
/proc/8660/task/8674/stat : 8674 (java) S 8658 8658 4774 0 -1 1077944384 3091 0 0 0 78 1 0 0 20 0 28 0 510881039 29456678912 85011 33554432000 4194304 4196468 140737470437936 140082819140464 140083505826434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8675] ppid=8658 vsize=28766288 memory=1456 CPUtime=0.88 cores=0-7
/proc/8660/task/8675/stat : 8675 (java) S 8658 8658 4774 0 -1 1077944384 1954 0 0 0 88 0 0 0 20 0 28 0 510881039 29456678912 85011 33554432000 4194304 4196468 140737470437936 140082818087664 140083505826434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8676] ppid=8658 vsize=28766288 memory=237580 CPUtime=0.72 cores=0-7
/proc/8660/task/8676/stat : 8676 (java) S 8658 8658 4774 0 -1 1077944384 1692 0 0 0 72 0 0 0 20 0 28 0 510881039 29456678912 85011 33554432000 4194304 4196468 140737470437936 140082817034864 140083505826434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8677] ppid=8658 vsize=28766288 memory=0 CPUtime=0.4 cores=0-7
/proc/8660/task/8677/stat : 8677 (java) S 8658 8658 4774 0 -1 1077944384 1823 0 0 0 40 0 0 0 20 0 28 0 510881039 29456678912 85011 33554432000 4194304 4196468 140737470437936 140082815982064 140083505826434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8678] ppid=8658 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8678/stat : 8678 (java) S 8658 8658 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510881039 29456678912 85011 33554432000 4194304 4196468 140737470437936 140082814929504 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8679] ppid=8658 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/8660/task/8679/stat : 8679 (java) S 8658 8658 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510881039 29456678912 85011 33554432000 4194304 4196468 140737470437936 140082813876784 140083505826434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8680] ppid=8658 vsize=28766288 memory=0 CPUtime=1.01 cores=0-7
/proc/8660/task/8680/stat : 8680 (java) S 8658 8658 4774 0 -1 1077944384 61 0 0 0 101 0 0 0 20 0 28 0 510881097 29456678912 85011 33554432000 4194304 4196468 140737470437936 140082804661744 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8681] ppid=8658 vsize=28766288 memory=0 CPUtime=1.2 cores=0-7
/proc/8660/task/8681/stat : 8681 (java) S 8658 8658 4774 0 -1 1077944384 56 0 0 0 120 0 0 0 20 0 28 0 510881097 29456678912 85011 33554432000 4194304 4196468 140737470437936 140082803610320 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8682] ppid=8658 vsize=28766288 memory=0 CPUtime=1.07 cores=0-7
/proc/8660/task/8682/stat : 8682 (java) R 8658 8658 4774 0 -1 4202560 46 0 0 0 107 0 0 0 20 0 28 0 510881097 29456678912 85011 33554432000 4194304 4196468 140737470437936 140082802553672 140083131270565 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8683] ppid=8658 vsize=28766288 memory=0 CPUtime=0.9 cores=0-7
/proc/8660/task/8683/stat : 8683 (java) S 8658 8658 4774 0 -1 1077944384 96 0 0 0 90 0 0 0 20 0 28 0 510881097 29456678912 85011 33554432000 4194304 4196468 140737470437936 140082801505744 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8684] ppid=8658 vsize=28766288 memory=0 CPUtime=0.96 cores=0-7
/proc/8660/task/8684/stat : 8684 (java) S 8658 8658 4774 0 -1 1077944384 40 0 0 0 96 0 0 0 20 0 28 0 510881097 29456678912 85011 33554432000 4194304 4196468 140737470437936 140082800452944 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8685] ppid=8658 vsize=28766288 memory=0 CPUtime=0.99 cores=0-7
/proc/8660/task/8685/stat : 8685 (java) S 8658 8658 4774 0 -1 1077944384 40 0 0 0 99 0 0 0 20 0 28 0 510881097 29456678912 85011 33554432000 4194304 4196468 140737470437936 140082799400144 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8686] ppid=8658 vsize=28766288 memory=0 CPUtime=1.1 cores=0-7
/proc/8660/task/8686/stat : 8686 (java) S 8658 8658 4774 0 -1 1077944384 43 0 0 0 110 0 0 0 20 0 28 0 510881097 29456678912 85011 33554432000 4194304 4196468 140737470437936 140082798347344 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
[pid=8660/tid=8687] ppid=8658 vsize=28766288 memory=5792262887553650768 CPUtime=1.01 cores=0-7
/proc/8660/task/8687/stat : 8687 (java) S 8658 8658 4774 0 -1 1077944384 47 0 0 0 101 0 0 0 20 0 28 0 510881097 29456678912 85011 33554432000 4194304 4196468 140737470437936 140082797294544 140083505825493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7475200 140737470440426 140737470440598 140737470440598 140737470443471 0
Current children cumulated CPU time: 12.19 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 341500 KiB

Child status: 0
Real time (s): 2.04449
CPU time (s): 12.2415
CPU user time (s): 11.972
CPU system time (s): 0.269482
CPU usage (%): 598.756
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 341500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.972
system time used= 0.269482
maximum resident set size= 344132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20792
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2718
involuntary context switches= 339


# summary of solver processes directly reported to runsolver:
#   pid: 8658
#   total CPU time (s): 12.2415
#   total CPU user time (s): 11.972
#   total CPU system time (s): 0.269482

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.034759 second user time and 0.071625 second system time

The end
Name	MagicSequence/MagicSequence-card-s1/ MagicSequence-1000-ca.xml
MD5SUM	d2780e3631970b53a6f91cd037f7d107
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	3.15721
Satisfiable
(Un)Satisfiability was proved
Number of variables	1000
Number of constraints	3
Number of domains	1
Minimum domain size	1000
Maximum domain size	1000
Distribution of domain sizes	[{"size":1000,"count":1000}]
Minimum variable degree	3
Maximum variable degree	3
Distribution of variable degrees	[{"degree":3,"count":1000}]
Minimum constraint arity	1000
Maximum constraint arity	1000
Distribution of constraint arities	[{"arity":1000,"count":3}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2},{"type":"cardinality","count":1}]
Optimization problem	NO
Type of objective
Trace number 4406657

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
