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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-06-14	OPT	3	10.92	3.51833
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 (13288 MiB free)
  memory of node 1: 16384 MiB (15349 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393169-1568314168/watcher-4393169-1568314168 -o /tmp/evaluation-result-4393169-1568314168/solver-4393169-1568314168 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568309633-14094 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1587802769 HOME/instance-4393169-1568314168.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=15391, runsolver pid=15388

[startup+0.101313 s]*
/proc/loadavg: 8.64 7.93 5.44 7/233 15407
/proc/meminfo: memFree=29309000/32770624 swapFree=66996212/67108860
[pid=15391] ppid=15388 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15391/stat : 15391 (xcsp3-exec) S 15388 15391 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407671542 115843072 362 33554432000 4194304 5098028 140722090942016 140722090940120 139887068328572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26226688 140722090943354 140722090943597 140722090943597 140722090946506 0
/proc/15391/statm: 28282 362 304 221 0 87 0
[pid=15393] ppid=15391 vsize=15144768 memory=29164 CPUtime=0.13 cores=1,3,5,7
/proc/15393/stat : 15393 (java) S 15391 15391 14062 0 -1 1077944320 5749 0 0 0 13 0 0 0 20 0 15 0 407671542 15508242432 7291 33554432000 4194304 4196468 140729419036288 140729419018832 140097477652215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
/proc/15393/statm: 3786192 7291 3146 1 0 3748377 0
[pid=15393/tid=15394] ppid=15391 vsize=15144768 memory=-2698087569006908830 CPUtime=0.09 cores=1,3,5,7
/proc/15393/task/15394/stat : 15394 (java) S 15391 15391 14062 0 -1 1077944384 3620 0 0 0 9 0 0 0 20 0 15 0 407671542 15508242432 7291 33554432000 4194304 4196468 140729419036288 140097481881968 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15395] ppid=15391 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15395/stat : 15395 (java) S 15391 15391 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671543 15508242432 7291 33554432000 4194304 4196468 140729419036288 140097405692944 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15396] ppid=15391 vsize=15144768 memory=140027831727744 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15396/stat : 15396 (java) S 15391 15391 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671543 15508242432 7291 33554432000 4194304 4196468 140729419036288 140097068854416 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15397] ppid=15391 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15397/stat : 15397 (java) S 15391 15391 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671543 15508242432 7291 33554432000 4194304 4196468 140729419036288 140097067801360 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15398] ppid=15391 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15398/stat : 15398 (java) S 15391 15391 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407671543 15508242432 7291 33554432000 4194304 4196468 140729419036288 140097066748816 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15399] ppid=15391 vsize=15144768 memory=140027831727744 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15399/stat : 15399 (java) S 15391 15391 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407671544 15508242432 7291 33554432000 4194304 4196468 140729419036288 140097013500144 140097477663362 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15400] ppid=15391 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15400/stat : 15400 (java) S 15391 15391 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407671545 15508242432 7291 33554432000 4194304 4196468 140729419036288 140097012446368 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15401] ppid=15391 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15401/stat : 15401 (java) S 15391 15391 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407671545 15508242432 7291 33554432000 4194304 4196468 140729419036288 140097011393264 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15402] ppid=15391 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15402/stat : 15402 (java) S 15391 15391 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407671547 15508242432 7291 33554432000 4194304 4196468 140729419036288 140097010341840 140097477670811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15403] ppid=15391 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15403/stat : 15403 (java) R 15391 15391 14062 0 -1 4202560 339 0 0 0 0 0 0 0 20 0 15 0 407671547 15508242432 7291 33554432000 4194304 4196468 140729419036288 140097009289968 140097477664150 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15404] ppid=15391 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15404/stat : 15404 (java) R 15391 15391 14062 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 407671547 15508242432 7291 33554432000 4194304 4196468 140729419036288 140097008237424 140097477663362 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15405] ppid=15391 vsize=15144768 memory=140027831727744 CPUtime=0.02 cores=1,3,5,7
/proc/15393/task/15405/stat : 15405 (java) S 15391 15391 14062 0 -1 1077944384 364 0 0 0 2 0 0 0 20 0 15 0 407671547 15508242432 7291 33554432000 4194304 4196468 140729419036288 140097007184368 140097477663362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15406] ppid=15391 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15406/stat : 15406 (java) S 15391 15391 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407671548 15508242432 7291 33554432000 4194304 4196468 140729419036288 140097006132064 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15407] ppid=15391 vsize=15144768 memory=140027831727744 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15407/stat : 15407 (java) S 15391 15391 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671548 15508242432 7291 33554432000 4194304 4196468 140729419036288 140097005079088 140097477663362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30612 KiB

[startup+0.210766 s]*
/proc/loadavg: 8.64 7.93 5.44 7/233 15407
/proc/meminfo: memFree=29296020/32770624 swapFree=66996212/67108860
[pid=15391] ppid=15388 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15391/stat : 15391 (xcsp3-exec) S 15388 15391 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407671542 115843072 362 33554432000 4194304 5098028 140722090942016 140722090940120 139887068328572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26226688 140722090943354 140722090943597 140722090943597 140722090946506 0
/proc/15391/statm: 28282 362 304 221 0 87 0
[pid=15393] ppid=15391 vsize=15144768 memory=40952 CPUtime=0.34 cores=1,3,5,7
/proc/15393/stat : 15393 (java) S 15391 15391 14062 0 -1 1077944320 9444 0 0 0 32 2 0 0 20 0 15 0 407671542 15508242432 10238 33554432000 4194304 4196468 140729419036288 140729419018832 140097477652215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
/proc/15393/statm: 3786192 10238 3315 1 0 3748377 0
[pid=15393/tid=15394] ppid=15391 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/15393/task/15394/stat : 15394 (java) R 15391 15391 14062 0 -1 4202560 6631 0 0 0 19 1 0 0 20 0 15 0 407671542 15508242432 10238 33554432000 4194304 4196468 140729419036288 140097481886160 140097461732702 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15395] ppid=15391 vsize=15144768 memory=2670165 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15395/stat : 15395 (java) S 15391 15391 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671543 15508242432 10238 33554432000 4194304 4196468 140729419036288 140097405692944 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15396] ppid=15391 vsize=15144768 memory=2855612 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15396/stat : 15396 (java) S 15391 15391 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671543 15508242432 10238 33554432000 4194304 4196468 140729419036288 140097068854416 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15397] ppid=15391 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15397/stat : 15397 (java) S 15391 15391 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671543 15508242432 10238 33554432000 4194304 4196468 140729419036288 140097067801360 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15398] ppid=15391 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15398/stat : 15398 (java) S 15391 15391 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407671543 15508242432 10238 33554432000 4194304 4196468 140729419036288 140097066748816 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15399] ppid=15391 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15399/stat : 15399 (java) S 15391 15391 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407671544 15508242432 10238 33554432000 4194304 4196468 140729419036288 140097013500144 140097477663362 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15400] ppid=15391 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15400/stat : 15400 (java) S 15391 15391 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407671545 15508242432 10238 33554432000 4194304 4196468 140729419036288 140097012446368 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15401] ppid=15391 vsize=15144768 memory=140027831727744 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15401/stat : 15401 (java) S 15391 15391 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407671545 15508242432 10238 33554432000 4194304 4196468 140729419036288 140097011393264 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15402] ppid=15391 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15402/stat : 15402 (java) S 15391 15391 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407671547 15508242432 10238 33554432000 4194304 4196468 140729419036288 140097010341840 140097477670811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15403] ppid=15391 vsize=15144768 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/15393/task/15403/stat : 15403 (java) R 15391 15391 14062 0 -1 1077944384 611 0 0 0 3 0 0 0 20 0 15 0 407671547 15508242432 10238 33554432000 4194304 4196468 140729419036288 140097009289968 140097477663362 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15404] ppid=15391 vsize=15144768 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/15393/task/15404/stat : 15404 (java) S 15391 15391 14062 0 -1 1077944384 135 0 0 0 1 0 0 0 20 0 15 0 407671547 15508242432 10238 33554432000 4194304 4196468 140729419036288 140097008237424 140097477663362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15405] ppid=15391 vsize=15144768 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15393/task/15405/stat : 15405 (java) S 15391 15391 14062 0 -1 1077944384 764 0 0 0 8 0 0 0 20 0 15 0 407671547 15508242432 10238 33554432000 4194304 4196468 140729419036288 140097007184368 140097477663362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15406] ppid=15391 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15406/stat : 15406 (java) S 15391 15391 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407671548 15508242432 10238 33554432000 4194304 4196468 140729419036288 140097006132064 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15407] ppid=15391 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15407/stat : 15407 (java) S 15391 15391 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671548 15508242432 10238 33554432000 4194304 4196468 140729419036288 140097005079088 140097477663362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42400 KiB

[startup+0.315733 s]*
/proc/loadavg: 8.64 7.93 5.44 7/233 15407
/proc/meminfo: memFree=29288468/32770624 swapFree=66996212/67108860
[pid=15391] ppid=15388 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15391/stat : 15391 (xcsp3-exec) S 15388 15391 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407671542 115843072 362 33554432000 4194304 5098028 140722090942016 140722090940120 139887068328572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26226688 140722090943354 140722090943597 140722090943597 140722090946506 0
/proc/15391/statm: 28282 362 304 221 0 87 0
[pid=15393] ppid=15391 vsize=15149024 memory=50388 CPUtime=0.54 cores=1,3,5,7
/proc/15393/stat : 15393 (java) S 15391 15391 14062 0 -1 1077944320 10952 0 0 0 51 3 0 0 20 0 15 0 407671542 15512600576 12597 33554432000 4194304 4196468 140729419036288 140729419018832 140097477652215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
/proc/15393/statm: 3787256 12597 3358 1 0 3748377 0
[pid=15393/tid=15394] ppid=15391 vsize=15149024 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/15393/task/15394/stat : 15394 (java) R 15391 15391 14062 0 -1 4202560 7874 0 0 0 28 2 0 0 20 0 15 0 407671542 15512600576 12597 33554432000 4194304 4196468 140729419036288 140097481888656 140097461732702 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15395] ppid=15391 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15395/stat : 15395 (java) S 15391 15391 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671543 15512600576 12597 33554432000 4194304 4196468 140729419036288 140097405692944 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15396] ppid=15391 vsize=15149024 memory=2855103 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15396/stat : 15396 (java) S 15391 15391 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671543 15512600576 12597 33554432000 4194304 4196468 140729419036288 140097068854416 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15397] ppid=15391 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15397/stat : 15397 (java) S 15391 15391 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671543 15512600576 12597 33554432000 4194304 4196468 140729419036288 140097067801360 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15398] ppid=15391 vsize=15148768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15398/stat : 15398 (java) S 15391 15391 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407671543 15512338432 12605 33554432000 4194304 4196468 140729419036288 140097066748816 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15399] ppid=15391 vsize=15149024 memory=140027831727744 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15399/stat : 15399 (java) S 15391 15391 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407671544 15512600576 12605 33554432000 4194304 4196468 140729419036288 140097013500144 140097477663362 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15400] ppid=15391 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15400/stat : 15400 (java) S 15391 15391 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407671545 15512600576 12605 33554432000 4194304 4196468 140729419036288 140097012446368 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15401] ppid=15391 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15401/stat : 15401 (java) S 15391 15391 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407671545 15512600576 12605 33554432000 4194304 4196468 140729419036288 140097011393264 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15402] ppid=15391 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15402/stat : 15402 (java) S 15391 15391 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407671547 15512600576 12605 33554432000 4194304 4196468 140729419036288 140097010341840 140097477670811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15403] ppid=15391 vsize=15149024 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/15393/task/15403/stat : 15403 (java) S 15391 15391 14062 0 -1 1077944384 720 0 0 0 6 0 0 0 20 0 15 0 407671547 15512600576 12605 33554432000 4194304 4196468 140729419036288 140097009289968 140097477663362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15404] ppid=15391 vsize=15149024 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/15393/task/15404/stat : 15404 (java) S 15391 15391 14062 0 -1 1077944384 186 0 0 0 3 0 0 0 20 0 15 0 407671547 15512600576 12605 33554432000 4194304 4196468 140729419036288 140097008237424 140097477663362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15405] ppid=15391 vsize=15149024 memory=140027831727744 CPUtime=0.12 cores=1,3,5,7
/proc/15393/task/15405/stat : 15405 (java) S 15391 15391 14062 0 -1 1077944384 869 0 0 0 12 0 0 0 20 0 15 0 407671547 15512600576 12605 33554432000 4194304 4196468 140729419036288 140097007184368 140097477663362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15406] ppid=15391 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15406/stat : 15406 (java) S 15391 15391 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407671548 15512600576 12605 33554432000 4194304 4196468 140729419036288 140097006132064 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15407] ppid=15391 vsize=15149024 memory=140027831727744 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15407/stat : 15407 (java) S 15391 15391 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671548 15512600576 12605 33554432000 4194304 4196468 140729419036288 140097005079088 140097477663362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51836 KiB

[startup+0.703734 s]
/proc/loadavg: 8.64 7.93 5.44 9/233 15407
/proc/meminfo: memFree=29267688/32770624 swapFree=66996212/67108860
[pid=15391] ppid=15388 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15391/stat : 15391 (xcsp3-exec) S 15388 15391 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407671542 115843072 362 33554432000 4194304 5098028 140722090942016 140722090940120 139887068328572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26226688 140722090943354 140722090943597 140722090943597 140722090946506 0
/proc/15391/statm: 28282 362 304 221 0 87 0
[pid=15393] ppid=15391 vsize=15151148 memory=106348 CPUtime=1.74 cores=1,3,5,7
/proc/15393/stat : 15393 (java) S 15391 15391 14062 0 -1 1077944320 14144 0 0 0 170 4 0 0 20 0 15 0 407671542 15514775552 26587 33554432000 4194304 4196468 140729419036288 140729419018832 140097477652215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
/proc/15393/statm: 3787787 26587 3446 1 0 3748889 0
[pid=15393/tid=15394] ppid=15391 vsize=15151148 memory=11932 CPUtime=0.68 cores=1,3,5,7
/proc/15393/task/15394/stat : 15394 (java) R 15391 15391 14062 0 -1 4202560 8383 0 0 0 65 3 0 0 20 0 15 0 407671542 15514775552 26587 33554432000 4194304 4196468 140729419036288 140097481886408 140097088491900 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15395] ppid=15391 vsize=15151148 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15395/stat : 15395 (java) S 15391 15391 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671543 15514775552 26587 33554432000 4194304 4196468 140729419036288 140097405692944 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15396] ppid=15391 vsize=15151148 memory=500 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15396/stat : 15396 (java) S 15391 15391 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671543 15514775552 26587 33554432000 4194304 4196468 140729419036288 140097068854416 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15397] ppid=15391 vsize=15151148 memory=928 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15397/stat : 15397 (java) S 15391 15391 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671543 15514775552 26587 33554432000 4194304 4196468 140729419036288 140097067801360 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15398] ppid=15391 vsize=15151148 memory=1528 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15398/stat : 15398 (java) S 15391 15391 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407671543 15514775552 26587 33554432000 4194304 4196468 140729419036288 140097066748816 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15399] ppid=15391 vsize=15151148 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15399/stat : 15399 (java) S 15391 15391 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407671544 15514775552 26587 33554432000 4194304 4196468 140729419036288 140097013500144 140097477663362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15400] ppid=15391 vsize=15151148 memory=876 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15400/stat : 15400 (java) S 15391 15391 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407671545 15514775552 26587 33554432000 4194304 4196468 140729419036288 140097012446368 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15401] ppid=15391 vsize=15151148 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15401/stat : 15401 (java) S 15391 15391 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407671545 15514775552 26587 33554432000 4194304 4196468 140729419036288 140097011393264 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15402] ppid=15391 vsize=15151148 memory=7086240636179075427 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15402/stat : 15402 (java) S 15391 15391 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407671547 15514775552 26587 33554432000 4194304 4196468 140729419036288 140097010341840 140097477670811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15403] ppid=15391 vsize=15151148 memory=7453282923427948884 CPUtime=0.37 cores=1,3,5,7
/proc/15393/task/15403/stat : 15403 (java) R 15391 15391 14062 0 -1 4202560 1567 0 0 0 37 0 0 0 20 0 15 0 407671547 15514775552 26587 33554432000 4194304 4196468 140729419036288 140097009276512 140097461191138 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15404] ppid=15391 vsize=15151148 memory=7223879631928058176 CPUtime=0.35 cores=1,3,5,7
/proc/15393/task/15404/stat : 15404 (java) R 15391 15391 14062 0 -1 4202560 1162 0 0 0 35 0 0 0 20 0 15 0 407671547 15514775552 26587 33554432000 4194304 4196468 140729419036288 140097008219616 140097470749051 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15405] ppid=15391 vsize=15151148 memory=8514726395714826909 CPUtime=0.31 cores=1,3,5,7
/proc/15393/task/15405/stat : 15405 (java) S 15391 15391 14062 0 -1 1077944384 1727 0 0 0 31 0 0 0 20 0 15 0 407671547 15514775552 26587 33554432000 4194304 4196468 140729419036288 140097007184368 140097477663362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15406] ppid=15391 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15406/stat : 15406 (java) S 15391 15391 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407671548 15514775552 26587 33554432000 4194304 4196468 140729419036288 140097006132064 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15407] ppid=15391 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15407/stat : 15407 (java) S 15391 15391 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671548 15514775552 26587 33554432000 4194304 4196468 140729419036288 140097005079088 140097477663362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 107796 KiB

[startup+1.50178 s]
/proc/loadavg: 8.64 7.93 5.44 8/233 15407
/proc/meminfo: memFree=29188380/32770624 swapFree=66996212/67108860
[pid=15391] ppid=15388 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15391/stat : 15391 (xcsp3-exec) S 15388 15391 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407671542 115843072 362 33554432000 4194304 5098028 140722090942016 140722090940120 139887068328572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26226688 140722090943354 140722090943597 140722090943597 140722090946506 0
/proc/15391/statm: 28282 362 304 221 0 87 0

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

/proc/15393/task/15398/stat : 15398 (java) S 15391 15391 14062 0 -1 1077944384 116 0 0 0 3 1 0 0 20 0 19 0 407671543 15790571520 94135 33554432000 4194304 4196468 140729419036288 140097066748816 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15399] ppid=15391 vsize=15420480 memory=140027677939754 CPUtime=0.01 cores=1,3,5,7
/proc/15393/task/15399/stat : 15399 (java) S 15391 15391 14062 0 -1 1077944384 425 0 0 0 1 0 0 0 20 0 19 0 407671544 15790571520 94135 33554432000 4194304 4196468 140729419036288 140097013500144 140097477663362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15400] ppid=15391 vsize=15420480 memory=-7025452035940392864 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15400/stat : 15400 (java) S 15391 15391 14062 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 407671545 15790571520 94135 33554432000 4194304 4196468 140729419036288 140097012446432 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15401] ppid=15391 vsize=15420480 memory=-9001734043636558696 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15401/stat : 15401 (java) S 15391 15391 14062 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 407671545 15790571520 94135 33554432000 4194304 4196468 140729419036288 140097011393280 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15402] ppid=15391 vsize=15420480 memory=-7457052372387209120 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15402/stat : 15402 (java) S 15391 15391 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407671547 15790571520 94135 33554432000 4194304 4196468 140729419036288 140097010341840 140097477670811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15403] ppid=15391 vsize=15420480 memory=1448 CPUtime=2.45 cores=1,3,5,7
/proc/15393/task/15403/stat : 15403 (java) R 15391 15391 14062 0 -1 4202560 6644 0 0 0 244 1 0 0 20 0 19 0 407671547 15790571520 94135 33554432000 4194304 4196468 140729419036288 140097009277472 140097461613104 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15404] ppid=15391 vsize=15420480 memory=224136 CPUtime=2.5 cores=1,3,5,7
/proc/15393/task/15404/stat : 15404 (java) R 15391 15391 14062 0 -1 4202560 5979 0 0 0 249 1 0 0 20 0 19 0 407671547 15790571520 94135 33554432000 4194304 4196468 140729419036288 140097008236608 140097456056243 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15405] ppid=15391 vsize=15420480 memory=0 CPUtime=0.75 cores=1,3,5,7
/proc/15393/task/15405/stat : 15405 (java) S 15391 15391 14062 0 -1 1077944384 3468 0 0 0 74 1 0 0 20 0 19 0 407671547 15790571520 94135 33554432000 4194304 4196468 140729419036288 140097007184368 140097477663362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15406] ppid=15391 vsize=15420480 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15406/stat : 15406 (java) S 15391 15391 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407671548 15790571520 94135 33554432000 4194304 4196468 140729419036288 140097006132064 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15407] ppid=15391 vsize=15420480 memory=373908 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15407/stat : 15407 (java) S 15391 15391 14062 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 407671548 15790571520 94135 33554432000 4194304 4196468 140729419036288 140097005079088 140097477663362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15420] ppid=15391 vsize=15420480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15393/task/15420/stat : 15420 (java) S 15391 15391 14062 0 -1 1077944384 23 0 0 0 7 0 0 0 20 0 19 0 407671821 15790571520 94135 33554432000 4194304 4196468 140729419036288 140096921477248 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15421] ppid=15391 vsize=15420480 memory=288230574492221466 CPUtime=0.06 cores=1,3,5,7
/proc/15393/task/15421/stat : 15421 (java) S 15391 15391 14062 0 -1 1077944384 19 0 0 0 6 0 0 0 20 0 19 0 407671823 15790571520 94135 33554432000 4194304 4196468 140729419036288 140096924628176 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15422] ppid=15391 vsize=15420480 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/15393/task/15422/stat : 15422 (java) R 15391 15391 14062 0 -1 4202560 80 0 0 0 23 0 0 0 20 0 19 0 407671823 15790571520 94135 33554432000 4194304 4196468 140729419036288 140096926727216 140097093925292 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15423] ppid=15391 vsize=15420480 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/15393/task/15423/stat : 15423 (java) S 15391 15391 14062 0 -1 1077944384 18 0 0 0 4 0 0 0 20 0 19 0 407671823 15790571520 94135 33554432000 4194304 4196468 140729419036288 140096927785936 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
Current children cumulated CPU time: 9.64 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 377988 KiB

[startup+3.51827 s]
# the end of solver process 15391 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=10.7146 s, system=0.205404 s

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

[startup+3.20174 s]
/proc/loadavg: 8.64 7.93 5.44 9/236 15423
/proc/meminfo: memFree=28931212/32770624 swapFree=66996212/67108860
[pid=15391] ppid=15388 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15391/stat : 15391 (xcsp3-exec) S 15388 15391 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407671542 115843072 362 33554432000 4194304 5098028 140722090942016 140722090940120 139887068328572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26226688 140722090943354 140722090943597 140722090943597 140722090946506 0
/proc/15391/statm: 28282 362 304 221 0 87 0
[pid=15393] ppid=15391 vsize=15420480 memory=376836 CPUtime=9.98 cores=1,3,5,7
/proc/15393/stat : 15393 (java) S 15391 15391 14062 0 -1 1077944320 30635 0 0 0 982 16 0 0 20 0 19 0 407671542 15790571520 94209 33554432000 4194304 4196468 140729419036288 140729419018832 140097477652215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
/proc/15393/statm: 3855120 94209 3525 1 0 3816222 0
[pid=15393/tid=15394] ppid=15391 vsize=15420480 memory=6656426216303648864 CPUtime=2.23 cores=1,3,5,7
/proc/15393/task/15394/stat : 15394 (java) S 15391 15391 14062 0 -1 1077944384 11042 0 0 0 217 6 0 0 20 0 19 0 407671542 15790571520 94209 33554432000 4194304 4196468 140729419036288 140097481892992 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15395] ppid=15391 vsize=15420480 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/15393/task/15395/stat : 15395 (java) S 15391 15391 14062 0 -1 1077944384 241 0 0 0 3 1 0 0 20 0 19 0 407671543 15790571520 94209 33554432000 4194304 4196468 140729419036288 140097405692944 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15396] ppid=15391 vsize=15420480 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/15393/task/15396/stat : 15396 (java) S 15391 15391 14062 0 -1 1077944384 93 0 0 0 2 1 0 0 20 0 19 0 407671543 15790571520 94209 33554432000 4194304 4196468 140729419036288 140097068854416 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15397] ppid=15391 vsize=15420480 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/15393/task/15397/stat : 15397 (java) S 15391 15391 14062 0 -1 1077944384 504 0 0 0 3 1 0 0 20 0 19 0 407671543 15790571520 94209 33554432000 4194304 4196468 140729419036288 140097067801360 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15398] ppid=15391 vsize=15420480 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/15393/task/15398/stat : 15398 (java) S 15391 15391 14062 0 -1 1077944384 116 0 0 0 3 1 0 0 20 0 19 0 407671543 15790571520 94209 33554432000 4194304 4196468 140729419036288 140097066748816 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15399] ppid=15391 vsize=15420480 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/15393/task/15399/stat : 15399 (java) S 15391 15391 14062 0 -1 1077944384 425 0 0 0 1 0 0 0 20 0 19 0 407671544 15790571520 94209 33554432000 4194304 4196468 140729419036288 140097013500144 140097477663362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15400] ppid=15391 vsize=15420480 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15400/stat : 15400 (java) S 15391 15391 14062 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 407671545 15790571520 94209 33554432000 4194304 4196468 140729419036288 140097012446432 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15401] ppid=15391 vsize=15420480 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15401/stat : 15401 (java) S 15391 15391 14062 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 407671545 15790571520 94209 33554432000 4194304 4196468 140729419036288 140097011393280 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15402] ppid=15391 vsize=15420480 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15402/stat : 15402 (java) S 15391 15391 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407671547 15790571520 94209 33554432000 4194304 4196468 140729419036288 140097010341840 140097477670811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15403] ppid=15391 vsize=15420480 memory=2116 CPUtime=2.52 cores=1,3,5,7
/proc/15393/task/15403/stat : 15403 (java) R 15391 15391 14062 0 -1 4202560 6659 0 0 0 251 1 0 0 20 0 19 0 407671547 15790571520 94209 33554432000 4194304 4196468 140729419036288 140097009276640 140097456890624 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15404] ppid=15391 vsize=15420480 memory=8812 CPUtime=2.58 cores=1,3,5,7
/proc/15393/task/15404/stat : 15404 (java) R 15391 15391 14062 0 -1 4202560 6006 0 0 0 257 1 0 0 20 0 19 0 407671547 15790571520 94209 33554432000 4194304 4196468 140729419036288 140097008230616 140097461135771 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15405] ppid=15391 vsize=15420480 memory=11932 CPUtime=0.77 cores=1,3,5,7
/proc/15393/task/15405/stat : 15405 (java) R 15391 15391 14062 0 -1 4202560 3528 0 0 0 76 1 0 0 20 0 19 0 407671547 15790571520 94209 33554432000 4194304 4196468 140729419036288 140097007182328 140097455829985 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15406] ppid=15391 vsize=15420480 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15406/stat : 15406 (java) S 15391 15391 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407671548 15790571520 94209 33554432000 4194304 4196468 140729419036288 140097006132064 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15407] ppid=15391 vsize=15420480 memory=500 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15407/stat : 15407 (java) S 15391 15391 14062 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 407671548 15790571520 94209 33554432000 4194304 4196468 140729419036288 140097005079088 140097477663362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
Current children cumulated CPU time: 9.98 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 378284 KiB

[startup+3.40079 s]
/proc/loadavg: 8.64 7.93 5.44 9/236 15423
/proc/meminfo: memFree=28931212/32770624 swapFree=66996212/67108860
[pid=15391] ppid=15388 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15391/stat : 15391 (xcsp3-exec) S 15388 15391 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407671542 115843072 362 33554432000 4194304 5098028 140722090942016 140722090940120 139887068328572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26226688 140722090943354 140722090943597 140722090943597 140722090946506 0
/proc/15391/statm: 28282 362 304 221 0 87 0
[pid=15393] ppid=15391 vsize=15420480 memory=377064 CPUtime=10.58 cores=1,3,5,7
/proc/15393/stat : 15393 (java) S 15391 15391 14062 0 -1 1077944320 30701 0 0 0 1042 16 0 0 20 0 19 0 407671542 15790571520 94266 33554432000 4194304 4196468 140729419036288 140729419018832 140097477652215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
/proc/15393/statm: 3855120 94266 3525 1 0 3816222 0
[pid=15393/tid=15394] ppid=15391 vsize=15420480 memory=373908 CPUtime=2.23 cores=1,3,5,7
/proc/15393/task/15394/stat : 15394 (java) S 15391 15391 14062 0 -1 1077944384 11042 0 0 0 217 6 0 0 20 0 19 0 407671542 15790571520 94266 33554432000 4194304 4196468 140729419036288 140097481892992 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15395] ppid=15391 vsize=15420480 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/15393/task/15395/stat : 15395 (java) S 15391 15391 14062 0 -1 1077944384 241 0 0 0 3 1 0 0 20 0 19 0 407671543 15790571520 94266 33554432000 4194304 4196468 140729419036288 140097405692944 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15396] ppid=15391 vsize=15420480 memory=6791534058613427641 CPUtime=0.03 cores=1,3,5,7
/proc/15393/task/15396/stat : 15396 (java) S 15391 15391 14062 0 -1 1077944384 93 0 0 0 2 1 0 0 20 0 19 0 407671543 15790571520 94266 33554432000 4194304 4196468 140729419036288 140097068854416 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15397] ppid=15391 vsize=15420480 memory=5792825811789107811 CPUtime=0.04 cores=1,3,5,7
/proc/15393/task/15397/stat : 15397 (java) S 15391 15391 14062 0 -1 1077944384 504 0 0 0 3 1 0 0 20 0 19 0 407671543 15790571520 94266 33554432000 4194304 4196468 140729419036288 140097067801360 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15398] ppid=15391 vsize=15420480 memory=6656426216303648864 CPUtime=0.04 cores=1,3,5,7
/proc/15393/task/15398/stat : 15398 (java) S 15391 15391 14062 0 -1 1077944384 116 0 0 0 3 1 0 0 20 0 19 0 407671543 15790571520 94266 33554432000 4194304 4196468 140729419036288 140097066748816 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15399] ppid=15391 vsize=15420480 memory=7302417850599036770 CPUtime=0.01 cores=1,3,5,7
/proc/15393/task/15399/stat : 15399 (java) S 15391 15391 14062 0 -1 1077944384 425 0 0 0 1 0 0 0 20 0 19 0 407671544 15790571520 94266 33554432000 4194304 4196468 140729419036288 140097013500144 140097477663362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15400] ppid=15391 vsize=15420480 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15400/stat : 15400 (java) S 15391 15391 14062 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 407671545 15790571520 94266 33554432000 4194304 4196468 140729419036288 140097012446432 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15401] ppid=15391 vsize=15420480 memory=8318037000084816045 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15401/stat : 15401 (java) S 15391 15391 14062 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 407671545 15790571520 94266 33554432000 4194304 4196468 140729419036288 140097011393280 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15402] ppid=15391 vsize=15420480 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15402/stat : 15402 (java) S 15391 15391 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407671547 15790571520 94266 33554432000 4194304 4196468 140729419036288 140097010341840 140097477670811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15403] ppid=15391 vsize=15420480 memory=6944656592455360604 CPUtime=2.66 cores=1,3,5,7
/proc/15393/task/15403/stat : 15403 (java) S 15391 15391 14062 0 -1 1077944384 6688 0 0 0 265 1 0 0 20 0 19 0 407671547 15790571520 94266 33554432000 4194304 4196468 140729419036288 140097009289968 140097477663362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15404] ppid=15391 vsize=15420480 memory=6944652177228980320 CPUtime=2.77 cores=1,3,5,7
/proc/15393/task/15404/stat : 15404 (java) R 15391 15391 14062 0 -1 4202560 6024 0 0 0 276 1 0 0 20 0 19 0 407671547 15790571520 94266 33554432000 4194304 4196468 140729419036288 140097008237424 140097463976481 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15405] ppid=15391 vsize=15420480 memory=-4190076264842474805 CPUtime=0.79 cores=1,3,5,7
/proc/15393/task/15405/stat : 15405 (java) S 15391 15391 14062 0 -1 1077944384 3545 0 0 0 78 1 0 0 20 0 19 0 407671547 15790571520 94266 33554432000 4194304 4196468 140729419036288 140097007184368 140097477663362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15406] ppid=15391 vsize=15420480 memory=-7161737549785448607 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15406/stat : 15406 (java) S 15391 15391 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407671548 15790571520 94266 33554432000 4194304 4196468 140729419036288 140097006132064 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15407] ppid=15391 vsize=15420480 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15407/stat : 15407 (java) S 15391 15391 14062 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 407671548 15790571520 94266 33554432000 4194304 4196468 140729419036288 140097005079088 140097477663362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
Current children cumulated CPU time: 10.58 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 378512 KiB

[startup+3.5008 s]
/proc/loadavg: 8.64 7.93 5.44 9/236 15423
/proc/meminfo: memFree=28931212/32770624 swapFree=66996212/67108860
[pid=15391] ppid=15388 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15391/stat : 15391 (xcsp3-exec) S 15388 15391 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407671542 115843072 362 33554432000 4194304 5098028 140722090942016 140722090940120 139887068328572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26226688 140722090943354 140722090943597 140722090943597 140722090946506 0
/proc/15391/statm: 28282 362 304 221 0 87 0
[pid=15393] ppid=15391 vsize=15420480 memory=409288 CPUtime=10.89 cores=1,3,5,7
/proc/15393/stat : 15393 (java) S 15391 15391 14062 0 -1 1077944320 31161 0 0 0 1070 19 0 0 20 0 16 0 407671542 15790571520 102322 33554432000 4194304 4196468 140729419036288 140729419018832 140097477652215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
/proc/15393/statm: 3855120 102322 3525 1 0 3816222 0
[pid=15393/tid=15394] ppid=15391 vsize=15420480 memory=1448 CPUtime=2.23 cores=1,3,5,7
/proc/15393/task/15394/stat : 15394 (java) S 15391 15391 14062 0 -1 1077944384 11047 0 0 0 217 6 0 0 20 0 16 0 407671542 15790571520 102322 33554432000 4194304 4196468 140729419036288 140097481895056 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15395] ppid=15391 vsize=15420480 memory=377000 CPUtime=0.07 cores=1,3,5,7
/proc/15393/task/15395/stat : 15395 (java) S 15391 15391 14062 0 -1 1077944384 352 0 0 0 5 2 0 0 20 0 16 0 407671543 15790571520 102322 33554432000 4194304 4196468 140729419036288 140097405692944 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15396] ppid=15391 vsize=15420480 memory=-7025452035940392864 CPUtime=0.05 cores=1,3,5,7
/proc/15393/task/15396/stat : 15396 (java) S 15391 15391 14062 0 -1 1077944384 130 0 0 0 4 1 0 0 20 0 16 0 407671543 15790571520 102322 33554432000 4194304 4196468 140729419036288 140097068854416 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15397] ppid=15391 vsize=15420480 memory=-9001734043636558696 CPUtime=0.07 cores=1,3,5,7
/proc/15393/task/15397/stat : 15397 (java) S 15391 15391 14062 0 -1 1077944384 594 0 0 0 5 2 0 0 20 0 16 0 407671543 15790571520 102322 33554432000 4194304 4196468 140729419036288 140097067801360 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15398] ppid=15391 vsize=15420480 memory=-7457052372387209120 CPUtime=0.07 cores=1,3,5,7
/proc/15393/task/15398/stat : 15398 (java) S 15391 15391 14062 0 -1 1077944384 228 0 0 0 5 2 0 0 20 0 16 0 407671543 15790571520 102322 33554432000 4194304 4196468 140729419036288 140097066748816 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15399] ppid=15391 vsize=15420480 memory=280052201738258 CPUtime=0.01 cores=1,3,5,7
/proc/15393/task/15399/stat : 15399 (java) S 15391 15391 14062 0 -1 1077944384 428 0 0 0 1 0 0 0 20 0 16 0 407671544 15790571520 102322 33554432000 4194304 4196468 140729419036288 140097013500352 140097477663362 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15400] ppid=15391 vsize=15420480 memory=140027677937658 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15400/stat : 15400 (java) S 15391 15391 14062 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 407671545 15790571520 102322 33554432000 4194304 4196468 140729419036288 140097012446432 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15401] ppid=15391 vsize=15420480 memory=140027677939754 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15401/stat : 15401 (java) S 15391 15391 14062 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 407671545 15790571520 102322 33554432000 4194304 4196468 140729419036288 140097011393280 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15402] ppid=15391 vsize=15420480 memory=56 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15402/stat : 15402 (java) S 15391 15391 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 407671547 15790571520 102322 33554432000 4194304 4196468 140729419036288 140097010340896 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15403] ppid=15391 vsize=15420480 memory=590870084700891186 CPUtime=2.68 cores=1,3,5,7
/proc/15393/task/15403/stat : 15403 (java) S 15391 15391 14062 0 -1 1077944384 6694 0 0 0 267 1 0 0 20 0 16 0 407671547 15790571520 102322 33554432000 4194304 4196468 140729419036288 140097009270368 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15404] ppid=15391 vsize=15420480 memory=2670355 CPUtime=2.85 cores=1,3,5,7
/proc/15393/task/15404/stat : 15404 (java) R 15391 15391 14062 0 -1 4202560 6024 0 0 0 284 1 0 0 20 0 16 0 407671547 15790571520 102322 33554432000 4194304 4196468 140729419036288 140097008228840 140097456906488 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15405] ppid=15391 vsize=15420480 memory=6791534058613427641 CPUtime=0.8 cores=1,3,5,7
/proc/15393/task/15405/stat : 15405 (java) S 15391 15391 14062 0 -1 1077944384 3566 0 0 0 79 1 0 0 20 0 16 0 407671547 15790571520 102322 33554432000 4194304 4196468 140729419036288 140097007184368 140097477663362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
[pid=15393/tid=15406] ppid=15391 vsize=15420480 memory=8514701219781834910 CPUtime=0 cores=1,3,5,7
/proc/15393/task/15406/stat : 15406 (java) S 15391 15391 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 407671548 15790571520 102322 33554432000 4194304 4196468 140729419036288 140097006132064 140097477662421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15835136 140729419039727 140729419039898 140729419039898 140729419042767 0
Current children cumulated CPU time: 10.89 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 410736 KiB

Child status: 0
Real time (s): 3.51833
CPU time (s): 10.92
CPU user time (s): 10.7146
CPU system time (s): 0.205404
CPU usage (%): 310.374
Max. virtual memory (cumulated for all children) (KiB): 15533608
Max. memory (cumulated for all children) (KiB): 410736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.7146
system time used= 0.205404
maximum resident set size= 410144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31747
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= 2574
involuntary context switches= 196


# summary of solver processes directly reported to runsolver:
#   pid: 15391
#   total CPU time (s): 10.92
#   total CPU user time (s): 10.7146
#   total CPU system time (s): 0.205404

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042993 second user time and 0.0825 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-ash608GPIA.xml
MD5SUM	0df69417c613ef889e63c8df69e0b506
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	3
Best CPU time to get the best result obtained on this benchmark	1.33999
Satisfiable
(Un)Satisfiability was proved
Number of variables	1216
Number of constraints	7844
Number of domains	1
Minimum domain size	1216
Maximum domain size	1216
Distribution of domain sizes	[{"size":1216,"count":1216}]
Minimum variable degree	2
Maximum variable degree	21
Distribution of variable degrees	[{"degree":2,"count":1},{"degree":6,"count":2},{"degree":7,"count":13},{"degree":8,"count":18},{"degree":9,"count":26},{"degree":10,"count":54},{"degree":11,"count":102},{"degree":12,"count":128},{"degree":13,"count":194},{"degree":14,"count":189},{"degree":15,"count":154},{"degree":16,"count":130},{"degree":17,"count":97},{"degree":18,"count":66},{"degree":19,"count":22},{"degree":20,"count":10},{"degree":21,"count":10}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":7844}]
Number of extensional constraints	0
Number of intensional constraints	7844
Distribution of constraint types	[{"type":"intension","count":7844}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4393169

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
