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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 5a (2017-08-18)	SAT	2.2017601	1.1897
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 (8447 MiB free)
  memory of node 1: 16384 MiB (12136 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283665-1503222687/watcher-4283665-1503222687 -o /tmp/evaluation-result-4283665-1503222687/solver-4283665-1503222687 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1503215340-8906 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1621970274 HOME/instance-4283665-1503222687.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=10062, runsolver pid=10059


[startup+0.100137 s]*
/proc/loadavg: 1.75 1.59 1.51 4/217 10078
/proc/meminfo: memFree=21059360/32770624 swapFree=67108860/67108860
[pid=10062] ppid=10059 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10062/stat : 10062 (xcsp3-exec) S 10059 10062 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155356460 9740288 346 33554432000 4194304 5098028 140730858046560 140730858044664 140465612518012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36265984 140730858050670 140730858050875 140730858050875 140730858053611 0
/proc/10062/statm: 2378 346 289 221 0 87 0
[pid=10064] ppid=10062 vsize=13978596 memory=28124 CPUtime=0.12 cores=1,3,5,7
/proc/10064/stat : 10064 (java) S 10062 10062 3809 0 -1 1077944320 5322 0 0 0 11 1 0 0 20 0 15 0 155356460 14314082304 7031 33554432000 4194304 4196468 140732818872896 140732818855440 140709118295799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
/proc/10064/statm: 3494649 7031 2904 1 0 3482966 0
[pid=10064/tid=10065] ppid=10062 vsize=13978596 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/10064/task/10065/stat : 10065 (java) R 10062 10062 3809 0 -1 4202560 3326 0 0 0 8 0 0 0 20 0 15 0 155356461 14314082304 7097 33554432000 4194304 4196468 140732818872896 140709122529072 140709118307734 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10066] ppid=10062 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10066/stat : 10066 (java) S 10062 10062 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155356461 14314082304 7097 33554432000 4194304 4196468 140732818872896 140709048384656 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10067] ppid=10062 vsize=13978596 memory=140399782672000 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10067/stat : 10067 (java) S 10062 10062 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155356461 14314082304 7097 33554432000 4194304 4196468 140732818872896 140709047331856 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10068] ppid=10062 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10068/stat : 10068 (java) S 10062 10062 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155356461 14314082304 7097 33554432000 4194304 4196468 140732818872896 140709046279056 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10069] ppid=10062 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10069/stat : 10069 (java) S 10062 10062 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155356461 14314082304 7097 33554432000 4194304 4196468 140732818872896 140709045226256 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10070] ppid=10062 vsize=13978596 memory=140399782672000 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10070/stat : 10070 (java) S 10062 10062 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155356463 14314082304 7097 33554432000 4194304 4196468 140732818872896 140708592335216 140709118306946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10071] ppid=10062 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10071/stat : 10071 (java) S 10062 10062 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155356463 14314082304 7097 33554432000 4194304 4196468 140732818872896 140708591281184 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10072] ppid=10062 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10072/stat : 10072 (java) S 10062 10062 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155356463 14314082304 7097 33554432000 4194304 4196468 140732818872896 140708590228336 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10073] ppid=10062 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10073/stat : 10073 (java) S 10062 10062 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155356466 14314082304 7097 33554432000 4194304 4196468 140732818872896 140708589176656 140709118314395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10074] ppid=10062 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10074/stat : 10074 (java) S 10062 10062 3809 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 15 0 155356466 14314082304 7097 33554432000 4194304 4196468 140732818872896 140708588125040 140709118306946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10075] ppid=10062 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10075/stat : 10075 (java) S 10062 10062 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155356466 14314082304 7097 33554432000 4194304 4196468 140732818872896 140708587072240 140709118306946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10076] ppid=10062 vsize=13978596 memory=140399782672000 CPUtime=0.01 cores=1,3,5,7
/proc/10064/task/10076/stat : 10076 (java) R 10062 10062 3809 0 -1 4202560 344 0 0 0 1 0 0 0 20 0 15 0 155356466 14314082304 7097 33554432000 4194304 4196468 140732818872896 140708586019440 140709102376286 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10077] ppid=10062 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10077/stat : 10077 (java) S 10062 10062 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155356466 14314082304 7097 33554432000 4194304 4196468 140732818872896 140708584966880 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10078] ppid=10062 vsize=13978596 memory=140399782672000 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10078/stat : 10078 (java) S 10062 10062 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155356466 14314082304 7097 33554432000 4194304 4196468 140732818872896 140708583914160 140709118306946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29508 KiB

[startup+0.210706 s]*
/proc/loadavg: 1.75 1.59 1.51 4/217 10078
/proc/meminfo: memFree=21048324/32770624 swapFree=67108860/67108860
[pid=10062] ppid=10059 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10062/stat : 10062 (xcsp3-exec) S 10059 10062 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155356460 9740288 346 33554432000 4194304 5098028 140730858046560 140730858044664 140465612518012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36265984 140730858050670 140730858050875 140730858050875 140730858053611 0
/proc/10062/statm: 2378 346 289 221 0 87 0
[pid=10064] ppid=10062 vsize=13982852 memory=40456 CPUtime=0.34 cores=1,3,5,7
/proc/10064/stat : 10064 (java) S 10062 10062 3809 0 -1 1077944320 8215 0 0 0 32 2 0 0 20 0 15 0 155356460 14318440448 10114 33554432000 4194304 4196468 140732818872896 140732818855440 140709118295799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
/proc/10064/statm: 3495713 10114 3081 1 0 3482966 0
[pid=10064/tid=10065] ppid=10062 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/10064/task/10065/stat : 10065 (java) R 10062 10062 3809 0 -1 4202560 5404 0 0 0 18 1 0 0 20 0 15 0 155356461 14318440448 10114 33554432000 4194304 4196468 140732818872896 140709122519136 140709118317725 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10066] ppid=10062 vsize=13982852 memory=8944 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10066/stat : 10066 (java) S 10062 10062 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155356461 14318440448 10114 33554432000 4194304 4196468 140732818872896 140709048384656 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10067] ppid=10062 vsize=13982852 memory=140399782682321 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10067/stat : 10067 (java) S 10062 10062 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155356461 14318440448 10114 33554432000 4194304 4196468 140732818872896 140709047331856 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10068] ppid=10062 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10068/stat : 10068 (java) S 10062 10062 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155356461 14318440448 10114 33554432000 4194304 4196468 140732818872896 140709046279056 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10069] ppid=10062 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10069/stat : 10069 (java) S 10062 10062 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155356461 14318440448 10114 33554432000 4194304 4196468 140732818872896 140709045226256 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10070] ppid=10062 vsize=13982852 memory=140399782672000 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10070/stat : 10070 (java) S 10062 10062 3809 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 155356463 14318440448 10114 33554432000 4194304 4196468 140732818872896 140708592335216 140709118306946 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10071] ppid=10062 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10071/stat : 10071 (java) S 10062 10062 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155356463 14318440448 10114 33554432000 4194304 4196468 140732818872896 140708591281184 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10072] ppid=10062 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10072/stat : 10072 (java) S 10062 10062 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155356463 14318440448 10114 33554432000 4194304 4196468 140732818872896 140708590228336 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10073] ppid=10062 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10073/stat : 10073 (java) S 10062 10062 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155356466 14318440448 10114 33554432000 4194304 4196468 140732818872896 140708589176656 140709118314395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10074] ppid=10062 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/10064/task/10074/stat : 10074 (java) R 10062 10062 3809 0 -1 1077944384 485 0 0 0 2 0 0 0 20 0 15 0 155356466 14318440448 10114 33554432000 4194304 4196468 140732818872896 140708588125040 140709118306946 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10075] ppid=10062 vsize=13982852 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/10064/task/10075/stat : 10075 (java) S 10062 10062 3809 0 -1 1077944384 286 0 0 0 3 0 0 0 20 0 15 0 155356466 14318440448 10114 33554432000 4194304 4196468 140732818872896 140708587072240 140709118306946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10076] ppid=10062 vsize=13982852 memory=140399782672000 CPUtime=0.08 cores=1,3,5,7
/proc/10064/task/10076/stat : 10076 (java) R 10062 10062 3809 0 -1 4202560 736 0 0 0 8 0 0 0 20 0 15 0 155356466 14318440448 10114 33554432000 4194304 4196468 140732818872896 140708586019440 140709097047489 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10077] ppid=10062 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10077/stat : 10077 (java) S 10062 10062 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155356466 14318440448 10114 33554432000 4194304 4196468 140732818872896 140708584966880 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10078] ppid=10062 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10078/stat : 10078 (java) S 10062 10062 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155356466 14318440448 10114 33554432000 4194304 4196468 140732818872896 140708583914160 140709118306946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41840 KiB

[startup+0.311138 s]*
/proc/loadavg: 1.75 1.59 1.51 3/217 10078
/proc/meminfo: memFree=21040756/32770624 swapFree=67108860/67108860
[pid=10062] ppid=10059 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10062/stat : 10062 (xcsp3-exec) S 10059 10062 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155356460 9740288 346 33554432000 4194304 5098028 140730858046560 140730858044664 140465612518012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36265984 140730858050670 140730858050875 140730858050875 140730858053611 0
/proc/10062/statm: 2378 346 289 221 0 87 0
[pid=10064] ppid=10062 vsize=13982928 memory=47544 CPUtime=0.5 cores=1,3,5,7
/proc/10064/stat : 10064 (java) S 10062 10062 3809 0 -1 1077944320 9058 0 0 0 48 2 0 0 20 0 15 0 155356460 14318518272 11886 33554432000 4194304 4196468 140732818872896 140732818855440 140709118295799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
/proc/10064/statm: 3495732 11886 3112 1 0 3482966 0
[pid=10064/tid=10065] ppid=10062 vsize=13982928 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/10064/task/10065/stat : 10065 (java) R 10062 10062 3809 0 -1 4202560 6109 0 0 0 28 2 0 0 20 0 15 0 155356461 14318518272 11886 33554432000 4194304 4196468 140732818872896 140709122524512 140709102376286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10066] ppid=10062 vsize=13982928 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10066/stat : 10066 (java) S 10062 10062 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155356461 14318518272 11886 33554432000 4194304 4196468 140732818872896 140709048384656 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10067] ppid=10062 vsize=13982928 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10067/stat : 10067 (java) S 10062 10062 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155356461 14318518272 11886 33554432000 4194304 4196468 140732818872896 140709047331856 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10068] ppid=10062 vsize=13982928 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10068/stat : 10068 (java) S 10062 10062 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155356461 14318518272 11886 33554432000 4194304 4196468 140732818872896 140709046279056 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10069] ppid=10062 vsize=13982928 memory=7307460116655545206 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10069/stat : 10069 (java) S 10062 10062 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155356461 14318518272 11886 33554432000 4194304 4196468 140732818872896 140709045226256 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10070] ppid=10062 vsize=13982928 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10070/stat : 10070 (java) S 10062 10062 3809 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 155356463 14318518272 11886 33554432000 4194304 4196468 140732818872896 140708592335216 140709118306946 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10071] ppid=10062 vsize=13982928 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10071/stat : 10071 (java) S 10062 10062 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155356463 14318518272 11886 33554432000 4194304 4196468 140732818872896 140708591281184 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10072] ppid=10062 vsize=13982928 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10072/stat : 10072 (java) S 10062 10062 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155356463 14318518272 11886 33554432000 4194304 4196468 140732818872896 140708590228336 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10073] ppid=10062 vsize=13982928 memory=8693815914432465728 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10073/stat : 10073 (java) S 10062 10062 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155356466 14318518272 11886 33554432000 4194304 4196468 140732818872896 140708589176656 140709118314395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10074] ppid=10062 vsize=13982928 memory=7100839887185294217 CPUtime=0.03 cores=1,3,5,7
/proc/10064/task/10074/stat : 10074 (java) S 10062 10062 3809 0 -1 1077944384 498 0 0 0 3 0 0 0 20 0 15 0 155356466 14318518272 11886 33554432000 4194304 4196468 140732818872896 140708588125040 140709118306946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10075] ppid=10062 vsize=13982928 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/10064/task/10075/stat : 10075 (java) S 10062 10062 3809 0 -1 1077944384 296 0 0 0 4 0 0 0 20 0 15 0 155356466 14318518272 11886 33554432000 4194304 4196468 140732818872896 140708587072240 140709118306946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10076] ppid=10062 vsize=13982928 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/10064/task/10076/stat : 10076 (java) R 10062 10062 3809 0 -1 4202560 852 0 0 0 12 0 0 0 20 0 15 0 155356466 14318518272 11886 33554432000 4194304 4196468 140732818872896 140708586019440 140709111392635 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10077] ppid=10062 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10077/stat : 10077 (java) S 10062 10062 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155356466 14318518272 11886 33554432000 4194304 4196468 140732818872896 140708584966880 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10078] ppid=10062 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10078/stat : 10078 (java) S 10062 10062 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155356466 14318518272 11886 33554432000 4194304 4196468 140732818872896 140708583914160 140709118306946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 48928 KiB

[startup+0.70088 s]
/proc/loadavg: 1.75 1.59 1.51 5/217 10078
/proc/meminfo: memFree=21005388/32770624 swapFree=67108860/67108860
[pid=10062] ppid=10059 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10062/stat : 10062 (xcsp3-exec) S 10059 10062 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155356460 9740288 346 33554432000 4194304 5098028 140730858046560 140730858044664 140465612518012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36265984 140730858050670 140730858050875 140730858050875 140730858053611 0
/proc/10062/statm: 2378 346 289 221 0 87 0
[pid=10064] ppid=10062 vsize=13984976 memory=88508 CPUtime=1.54 cores=1,3,5,7
/proc/10064/stat : 10064 (java) S 10062 10062 3809 0 -1 1077944320 11157 0 0 0 150 4 0 0 20 0 15 0 155356460 14320615424 22127 33554432000 4194304 4196468 140732818872896 140732818855440 140709118295799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
/proc/10064/statm: 3496244 22127 3207 1 0 3483478 0
[pid=10064/tid=10065] ppid=10062 vsize=13984976 memory=1728 CPUtime=0.67 cores=1,3,5,7
/proc/10064/task/10065/stat : 10065 (java) R 10062 10062 3809 0 -1 4202560 6633 0 0 0 64 3 0 0 20 0 15 0 155356461 14320615424 22127 33554432000 4194304 4196468 140732818872896 140709122531088 140708718594144 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10066] ppid=10062 vsize=13984976 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10066/stat : 10066 (java) S 10062 10062 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155356461 14320615424 22127 33554432000 4194304 4196468 140732818872896 140709048384656 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10067] ppid=10062 vsize=13984976 memory=796 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10067/stat : 10067 (java) S 10062 10062 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155356461 14320615424 22127 33554432000 4194304 4196468 140732818872896 140709047331856 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10068] ppid=10062 vsize=13984976 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10068/stat : 10068 (java) S 10062 10062 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155356461 14320615424 22127 33554432000 4194304 4196468 140732818872896 140709046279056 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10069] ppid=10062 vsize=13984976 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10069/stat : 10069 (java) S 10062 10062 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155356461 14320615424 22127 33554432000 4194304 4196468 140732818872896 140709045226256 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10070] ppid=10062 vsize=13984976 memory=8616 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10070/stat : 10070 (java) S 10062 10062 3809 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 155356463 14320615424 22127 33554432000 4194304 4196468 140732818872896 140708592335216 140709118306946 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10071] ppid=10062 vsize=13984976 memory=5784 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10071/stat : 10071 (java) S 10062 10062 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155356463 14320615424 22127 33554432000 4194304 4196468 140732818872896 140708591281184 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10072] ppid=10062 vsize=13984976 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10072/stat : 10072 (java) S 10062 10062 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155356463 14320615424 22127 33554432000 4194304 4196468 140732818872896 140708590228336 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10073] ppid=10062 vsize=13984976 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10073/stat : 10073 (java) S 10062 10062 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155356466 14320615424 22127 33554432000 4194304 4196468 140732818872896 140708589176656 140709118314395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10074] ppid=10062 vsize=13984976 memory=11112 CPUtime=0.3 cores=1,3,5,7
/proc/10064/task/10074/stat : 10074 (java) S 10062 10062 3809 0 -1 1077944384 1086 0 0 0 30 0 0 0 20 0 15 0 155356466 14320615424 22127 33554432000 4194304 4196468 140732818872896 140708588125040 140709118306946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10075] ppid=10062 vsize=13984976 memory=1228 CPUtime=0.32 cores=1,3,5,7
/proc/10064/task/10075/stat : 10075 (java) S 10062 10062 3809 0 -1 1077944384 1007 0 0 0 32 0 0 0 20 0 15 0 155356466 14320615424 22127 33554432000 4194304 4196468 140732818872896 140708587072240 140709118306946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10076] ppid=10062 vsize=13984976 memory=1420 CPUtime=0.23 cores=1,3,5,7
/proc/10064/task/10076/stat : 10076 (java) S 10062 10062 3809 0 -1 1077944384 1124 0 0 0 23 0 0 0 20 0 15 0 155356466 14320615424 22127 33554432000 4194304 4196468 140732818872896 140708586019440 140709118306946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10077] ppid=10062 vsize=13984976 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10077/stat : 10077 (java) S 10062 10062 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155356466 14320615424 22127 33554432000 4194304 4196468 140732818872896 140708584966880 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10078] ppid=10062 vsize=13984976 memory=16448 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10078/stat : 10078 (java) S 10062 10062 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155356466 14320615424 22127 33554432000 4194304 4196468 140732818872896 140708583914160 140709118306946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
Current children cumulated CPU time: 1.54 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 89892 KiB

[startup+1.18965 s]
# the end of solver process 10062 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2.14966 s, system=0.052097 s

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

[startup+0.800979 s]
/proc/loadavg: 1.75 1.59 1.51 5/217 10078
/proc/meminfo: memFree=21005388/32770624 swapFree=67108860/67108860
[pid=10062] ppid=10059 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10062/stat : 10062 (xcsp3-exec) S 10059 10062 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155356460 9740288 346 33554432000 4194304 5098028 140730858046560 140730858044664 140465612518012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36265984 140730858050670 140730858050875 140730858050875 140730858053611 0
/proc/10062/statm: 2378 346 289 221 0 87 0
[pid=10064] ppid=10062 vsize=13984976 memory=90556 CPUtime=1.67 cores=1,3,5,7
/proc/10064/stat : 10064 (java) S 10062 10062 3809 0 -1 1077944320 11204 0 0 0 163 4 0 0 20 0 15 0 155356460 14320615424 22639 33554432000 4194304 4196468 140732818872896 140732818855440 140709118295799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
/proc/10064/statm: 3496244 22639 3207 1 0 3483478 0
[pid=10064/tid=10065] ppid=10062 vsize=13984976 memory=6791534058613427641 CPUtime=0.77 cores=1,3,5,7
/proc/10064/task/10065/stat : 10065 (java) R 10062 10062 3809 0 -1 4202560 6634 0 0 0 74 3 0 0 20 0 15 0 155356461 14320615424 22639 33554432000 4194304 4196468 140732818872896 140709122531088 140708715551514 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10066] ppid=10062 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10066/stat : 10066 (java) S 10062 10062 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155356461 14320615424 22639 33554432000 4194304 4196468 140732818872896 140709048384656 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10067] ppid=10062 vsize=13984976 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10067/stat : 10067 (java) S 10062 10062 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155356461 14320615424 22639 33554432000 4194304 4196468 140732818872896 140709047331856 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10068] ppid=10062 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10068/stat : 10068 (java) S 10062 10062 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155356461 14320615424 22639 33554432000 4194304 4196468 140732818872896 140709046279056 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10069] ppid=10062 vsize=13984976 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10069/stat : 10069 (java) S 10062 10062 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155356461 14320615424 22639 33554432000 4194304 4196468 140732818872896 140709045226256 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10070] ppid=10062 vsize=13984976 memory=796 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10070/stat : 10070 (java) S 10062 10062 3809 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 155356463 14320615424 22639 33554432000 4194304 4196468 140732818872896 140708592335216 140709118306946 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10071] ppid=10062 vsize=13984976 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10071/stat : 10071 (java) S 10062 10062 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155356463 14320615424 22639 33554432000 4194304 4196468 140732818872896 140708591281184 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10072] ppid=10062 vsize=13984976 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10072/stat : 10072 (java) S 10062 10062 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155356463 14320615424 22639 33554432000 4194304 4196468 140732818872896 140708590228336 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10073] ppid=10062 vsize=13984976 memory=8616 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10073/stat : 10073 (java) S 10062 10062 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155356466 14320615424 22639 33554432000 4194304 4196468 140732818872896 140708589176656 140709118314395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10074] ppid=10062 vsize=13984976 memory=5784 CPUtime=0.32 cores=1,3,5,7
/proc/10064/task/10074/stat : 10074 (java) R 10062 10062 3809 0 -1 4202560 1127 0 0 0 32 0 0 0 20 0 15 0 155356466 14320615424 22639 33554432000 4194304 4196468 140732818872896 140708588125040 140709099840239 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10075] ppid=10062 vsize=13984976 memory=4616 CPUtime=0.32 cores=1,3,5,7
/proc/10064/task/10075/stat : 10075 (java) S 10062 10062 3809 0 -1 1077944384 1008 0 0 0 32 0 0 0 20 0 15 0 155356466 14320615424 22639 33554432000 4194304 4196468 140732818872896 140708587072240 140709118306946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10076] ppid=10062 vsize=13984976 memory=1008 CPUtime=0.23 cores=1,3,5,7
/proc/10064/task/10076/stat : 10076 (java) S 10062 10062 3809 0 -1 1077944384 1128 0 0 0 23 0 0 0 20 0 15 0 155356466 14320615424 22639 33554432000 4194304 4196468 140732818872896 140708586019440 140709118306946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10077] ppid=10062 vsize=13984976 memory=11112 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10077/stat : 10077 (java) S 10062 10062 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155356466 14320615424 22639 33554432000 4194304 4196468 140732818872896 140708584966880 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10078] ppid=10062 vsize=13984976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10078/stat : 10078 (java) S 10062 10062 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155356466 14320615424 22639 33554432000 4194304 4196468 140732818872896 140708583914160 140709118306946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 91940 KiB

[startup+1.00081 s]*
/proc/loadavg: 1.75 1.59 1.51 3/217 10078
/proc/meminfo: memFree=20991364/32770624 swapFree=67108860/67108860
[pid=10062] ppid=10059 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10062/stat : 10062 (xcsp3-exec) S 10059 10062 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155356460 9740288 346 33554432000 4194304 5098028 140730858046560 140730858044664 140465612518012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36265984 140730858050670 140730858050875 140730858050875 140730858053611 0
/proc/10062/statm: 2378 346 289 221 0 87 0
[pid=10064] ppid=10062 vsize=13984976 memory=97116 CPUtime=1.99 cores=1,3,5,7
/proc/10064/stat : 10064 (java) S 10062 10062 3809 0 -1 1077944320 11259 0 0 0 195 4 0 0 20 0 15 0 155356460 14320615424 24279 33554432000 4194304 4196468 140732818872896 140732818855440 140709118295799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
/proc/10064/statm: 3496244 24279 3208 1 0 3483478 0
[pid=10064/tid=10065] ppid=10062 vsize=13984976 memory=8389772277269004345 CPUtime=0.98 cores=1,3,5,7
/proc/10064/task/10065/stat : 10065 (java) R 10062 10062 3809 0 -1 4202560 6637 0 0 0 95 3 0 0 20 0 15 0 155356461 14320615424 24279 33554432000 4194304 4196468 140732818872896 140709122531088 140708715580400 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10066] ppid=10062 vsize=13984976 memory=288292155783652105 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10066/stat : 10066 (java) S 10062 10062 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155356461 14320615424 24279 33554432000 4194304 4196468 140732818872896 140709048384656 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10067] ppid=10062 vsize=13984976 memory=4122254017466476655 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10067/stat : 10067 (java) S 10062 10062 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155356461 14320615424 24279 33554432000 4194304 4196468 140732818872896 140709047331856 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10068] ppid=10062 vsize=13984976 memory=6933690279252828305 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10068/stat : 10068 (java) S 10062 10062 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155356461 14320615424 24279 33554432000 4194304 4196468 140732818872896 140709046279056 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10069] ppid=10062 vsize=13984976 memory=3615598892041925480 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10069/stat : 10069 (java) S 10062 10062 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155356461 14320615424 24279 33554432000 4194304 4196468 140732818872896 140709045226256 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10070] ppid=10062 vsize=13984976 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10070/stat : 10070 (java) S 10062 10062 3809 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 155356463 14320615424 24279 33554432000 4194304 4196468 140732818872896 140708592335216 140709118306946 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10071] ppid=10062 vsize=13984976 memory=3472328296227680299 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10071/stat : 10071 (java) S 10062 10062 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155356463 14320615424 24279 33554432000 4194304 4196468 140732818872896 140708591281184 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10072] ppid=10062 vsize=13984976 memory=3472468696010090160 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10072/stat : 10072 (java) S 10062 10062 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155356463 14320615424 24279 33554432000 4194304 4196468 140732818872896 140708590228336 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10073] ppid=10062 vsize=13984976 memory=734378360886880354 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10073/stat : 10073 (java) S 10062 10062 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155356466 14320615424 24279 33554432000 4194304 4196468 140732818872896 140708589176656 140709118314395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10074] ppid=10062 vsize=13984976 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/10064/task/10074/stat : 10074 (java) S 10062 10062 3809 0 -1 1077944384 1151 0 0 0 38 0 0 0 20 0 15 0 155356466 14320615424 24279 33554432000 4194304 4196468 140732818872896 140708588125040 140709118306946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10075] ppid=10062 vsize=13984976 memory=3472328296227680303 CPUtime=0.36 cores=1,3,5,7
/proc/10064/task/10075/stat : 10075 (java) S 10062 10062 3809 0 -1 1077944384 1020 0 0 0 36 0 0 0 20 0 15 0 155356466 14320615424 24279 33554432000 4194304 4196468 140732818872896 140708587072240 140709118306946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10076] ppid=10062 vsize=13984976 memory=6944656592452807326 CPUtime=0.24 cores=1,3,5,7
/proc/10064/task/10076/stat : 10076 (java) S 10062 10062 3809 0 -1 1077944384 1144 0 0 0 24 0 0 0 20 0 15 0 155356466 14320615424 24279 33554432000 4194304 4196468 140732818872896 140708586019440 140709118306946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10077] ppid=10062 vsize=13984976 memory=280799324668144 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10077/stat : 10077 (java) S 10062 10062 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155356466 14320615424 24279 33554432000 4194304 4196468 140732818872896 140708584966880 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10078] ppid=10062 vsize=13984976 memory=-7384994778349281184 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10078/stat : 10078 (java) S 10062 10062 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155356466 14320615424 24279 33554432000 4194304 4196468 140732818872896 140708583914160 140709118306946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
Current children cumulated CPU time: 1.99 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 98500 KiB

[startup+1.11017 s]
/proc/loadavg: 1.75 1.59 1.51 3/217 10078
/proc/meminfo: memFree=20991364/32770624 swapFree=67108860/67108860
[pid=10062] ppid=10059 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10062/stat : 10062 (xcsp3-exec) S 10059 10062 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155356460 9740288 346 33554432000 4194304 5098028 140730858046560 140730858044664 140465612518012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36265984 140730858050670 140730858050875 140730858050875 140730858053611 0
/proc/10062/statm: 2378 346 289 221 0 87 0
[pid=10064] ppid=10062 vsize=13984976 memory=101352 CPUtime=2.09 cores=1,3,5,7
/proc/10064/stat : 10064 (java) S 10062 10062 3809 0 -1 1077944320 11779 0 0 0 205 4 0 0 20 0 15 0 155356460 14320615424 25338 33554432000 4194304 4196468 140732818872896 140732818855440 140709118295799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
/proc/10064/statm: 3496244 25338 3209 1 0 3483478 0
[pid=10064/tid=10065] ppid=10062 vsize=13984976 memory=6791534058613427641 CPUtime=1.08 cores=1,3,5,7
/proc/10064/task/10065/stat : 10065 (java) R 10062 10062 3809 0 -1 4202560 6926 0 0 0 105 3 0 0 20 0 15 0 155356461 14320615424 25338 33554432000 4194304 4196468 140732818872896 140709122531088 140708718651810 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10066] ppid=10062 vsize=13984976 memory=6944656592452807320 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10066/stat : 10066 (java) S 10062 10062 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155356461 14320615424 25338 33554432000 4194304 4196468 140732818872896 140709048384656 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10067] ppid=10062 vsize=13984976 memory=280799324671376 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10067/stat : 10067 (java) S 10062 10062 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155356461 14320615424 25338 33554432000 4194304 4196468 140732818872896 140709047331856 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10068] ppid=10062 vsize=13984976 memory=280799325022880 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10068/stat : 10068 (java) S 10062 10062 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155356461 14320615424 25338 33554432000 4194304 4196468 140732818872896 140709046279056 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10069] ppid=10062 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10069/stat : 10069 (java) S 10062 10062 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155356461 14320615424 25338 33554432000 4194304 4196468 140732818872896 140709045226256 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10070] ppid=10062 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10070/stat : 10070 (java) S 10062 10062 3809 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 155356463 14320615424 25338 33554432000 4194304 4196468 140732818872896 140708592335216 140709118306946 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10071] ppid=10062 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10071/stat : 10071 (java) S 10062 10062 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155356463 14320615424 25338 33554432000 4194304 4196468 140732818872896 140708591281184 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10072] ppid=10062 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10072/stat : 10072 (java) S 10062 10062 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155356463 14320615424 25338 33554432000 4194304 4196468 140732818872896 140708590228336 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10073] ppid=10062 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10073/stat : 10073 (java) S 10062 10062 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155356466 14320615424 25338 33554432000 4194304 4196468 140732818872896 140708589176656 140709118314395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10074] ppid=10062 vsize=13984976 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/10064/task/10074/stat : 10074 (java) S 10062 10062 3809 0 -1 1077944384 1154 0 0 0 38 0 0 0 20 0 15 0 155356466 14320615424 25338 33554432000 4194304 4196468 140732818872896 140708588125040 140709118306946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10075] ppid=10062 vsize=13984976 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/10064/task/10075/stat : 10075 (java) S 10062 10062 3809 0 -1 1077944384 1096 0 0 0 36 0 0 0 20 0 15 0 155356466 14320615424 25338 33554432000 4194304 4196468 140732818872896 140708587072240 140709118306946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10076] ppid=10062 vsize=13984976 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/10064/task/10076/stat : 10076 (java) R 10062 10062 3809 0 -1 1077944384 1296 0 0 0 24 0 0 0 20 0 15 0 155356466 14320615424 25338 33554432000 4194304 4196468 140732818872896 140708586019440 140709118306946 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10077] ppid=10062 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10077/stat : 10077 (java) S 10062 10062 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155356466 14320615424 25338 33554432000 4194304 4196468 140732818872896 140708584966880 140709118306005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
[pid=10064/tid=10078] ppid=10062 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10078/stat : 10078 (java) S 10062 10062 3809 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 155356466 14320615424 25338 33554432000 4194304 4196468 140732818872896 140708583914160 140709118306946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36077568 140732818879639 140732818879815 140732818879815 140732818882511 0
Current children cumulated CPU time: 2.09 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 102736 KiB

Child status: 0
Real time (s): 1.1897
CPU time (s): 2.20176
CPU user time (s): 2.14966
CPU system time (s): 0.052097
CPU usage (%): 185.068
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 102736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.14966
system time used= 0.052097
maximum resident set size= 105880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14755
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= 1526
involuntary context switches= 12


# summary of solver processes directly reported to runsolver:
#   pid: 10062
#   total CPU time (s): 2.20176
#   total CPU user time (s): 2.14966
#   total CPU system time (s): 0.052097

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.031294 second user time and 0.057698 second system time

The end
Name	Domino/ Domino-m1-s1/Domino-300-300.xml
MD5SUM	f2877c27d9d8eb249e584ffb90778d14
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	0.0095349997
Satisfiable
(Un)Satisfiability was proved
Number of variables	300
Number of constraints	2
Number of domains	1
Minimum domain size	300
Maximum domain size	300
Distribution of domain sizes	[{"size":300,"count":300}]
Minimum variable degree	1
Maximum variable degree	2
Distribution of variable degrees	[{"degree":1,"count":298},{"degree":2,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	300
Distribution of constraint arities	[{"arity":2,"count":1},{"arity":300,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	1
Distribution of constraint types	[{"type":"intension","count":1},{"type":"allEqual","count":1}]
Optimization problem	NO
Type of objective
Trace number 4283665

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
