2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Mistral-2.0 2018-06-15	SAT (TO)	32	2400.01	2399.9

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 (8706 MiB free)
  memory of node 1: 16384 MiB (10983 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291947-1532262318/watcher-4291947-1532262318 -o /tmp/evaluation-result-4291947-1532262318/solver-4291947-1532262318 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532259915-3427 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 918101385 HOME/instance-4291947-1532262318.xml 

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

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


[startup+0.100108 s]*
/proc/loadavg: 2.16 2.02 1.95 3/187 3735
/proc/meminfo: memFree=20154956/32770624 swapFree=67108860/67108860
[pid=3734] ppid=3731 vsize=33116 memory=7716 CPUtime=0.1 cores=1,3,5,7
/proc/3734/stat : 3734 (MistralXCSP) R 3731 3734 3395 0 -1 4202496 2121 0 0 0 10 0 0 0 20 0 1 0 43794991 33910784 1929 33554432000 4194304 7498468 140735868791728 140735868788728 140041347685349 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 12103680 140735868793966 140735868794115 140735868794115 140735868796873 0
/proc/3734/statm: 8279 1929 702 807 0 1270 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33116 KiB
Current children cumulated memory: 7716 KiB

[startup+0.209394 s]*
/proc/loadavg: 2.16 2.02 1.95 3/187 3735
/proc/meminfo: memFree=20148632/32770624 swapFree=67108860/67108860
[pid=3734] ppid=3731 vsize=36660 memory=11256 CPUtime=0.2 cores=1,3,5,7
/proc/3734/stat : 3734 (MistralXCSP) R 3731 3734 3395 0 -1 4202496 2981 0 0 0 20 0 0 0 20 0 1 0 43794991 37539840 2814 33554432000 4194304 7498468 140735868791728 140735868788728 140041347685349 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 12103680 140735868793966 140735868794115 140735868794115 140735868796873 0
/proc/3734/statm: 9165 2814 702 807 0 2156 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 36660 KiB
Current children cumulated memory: 11256 KiB

[startup+0.309035 s]*
/proc/loadavg: 2.16 2.02 1.95 3/187 3735
/proc/meminfo: memFree=20142556/32770624 swapFree=67108860/67108860
[pid=3734] ppid=3731 vsize=39812 memory=14288 CPUtime=0.31 cores=1,3,5,7
/proc/3734/stat : 3734 (MistralXCSP) R 3731 3734 3395 0 -1 4202496 3764 0 0 0 30 1 0 0 20 0 1 0 43794991 40767488 3572 33554432000 4194304 7498468 140735868791728 140735868788728 4564424 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 12103680 140735868793966 140735868794115 140735868794115 140735868796873 0
/proc/3734/statm: 9953 3572 702 807 0 2944 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39812 KiB
Current children cumulated memory: 14288 KiB

[startup+0.700238 s]
/proc/loadavg: 2.16 2.02 1.95 3/187 3735
/proc/meminfo: memFree=20118948/32770624 swapFree=67108860/67108860
[pid=3734] ppid=3731 vsize=51968 memory=26516 CPUtime=0.69 cores=1,3,5,7
/proc/3734/stat : 3734 (MistralXCSP) R 3731 3734 3395 0 -1 4202496 6913 0 0 0 68 1 0 0 20 0 1 0 43794991 53215232 6629 33554432000 4194304 7498468 140735868791728 140735868788728 4564424 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 12103680 140735868793966 140735868794115 140735868794115 140735868796873 0
/proc/3734/statm: 12992 6629 702 807 0 5983 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 51968 KiB
Current children cumulated memory: 26516 KiB

[startup+1.5003 s]
/proc/loadavg: 2.16 2.02 1.95 3/187 3735
/proc/meminfo: memFree=20078144/32770624 swapFree=67108860/67108860
[pid=3734] ppid=3731 vsize=93716 memory=68136 CPUtime=1.49 cores=1,3,5,7
/proc/3734/stat : 3734 (MistralXCSP) R 3731 3734 3395 0 -1 4202496 17676 0 0 0 147 2 0 0 20 0 1 0 43794991 95965184 17034 33554432000 4194304 7498468 140735868791728 140735868782648 4564583 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 12103680 140735868793966 140735868794115 140735868794115 140735868796873 0
/proc/3734/statm: 23429 17034 716 807 0 16420 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 93716 KiB
Current children cumulated memory: 68136 KiB

[startup+3.10948 s]
/proc/loadavg: 2.14 2.02 1.95 3/187 3735
/proc/meminfo: memFree=19989508/32770624 swapFree=67108860/67108860
[pid=3734] ppid=3731 vsize=139624 memory=114388 CPUtime=3.09 cores=1,3,5,7
/proc/3734/stat : 3734 (MistralXCSP) R 3731 3734 3395 0 -1 4202496 49921 0 0 0 305 4 0 0 20 0 1 0 43794991 142974976 28597 33554432000 4194304 7498468 140735868791728 140735868785992 4249952 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 12103680 140735868793966 140735868794115 140735868794115 140735868796873 0
/proc/3734/statm: 34906 28597 753 807 0 27897 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 139624 KiB
Current children cumulated memory: 114388 KiB

[startup+6.30028 s]
/proc/loadavg: 2.14 2.02 1.95 3/187 3735
/proc/meminfo: memFree=19988500/32770624 swapFree=67108860/67108860
[pid=3734] ppid=3731 vsize=141032 memory=115628 CPUtime=6.29 cores=1,3,5,7
/proc/3734/stat : 3734 (MistralXCSP) R 3731 3734 3395 0 -1 4202496 71272 0 0 0 623 6 0 0 20 0 1 0 43794991 144416768 28907 33554432000 4194304 7498468 140735868791728 140735868786264 4580282 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 12103680 140735868793966 140735868794115 140735868794115 140735868796873 0
/proc/3734/statm: 35258 28907 753 807 0 28249 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 141032 KiB
Current children cumulated memory: 115628 KiB

[startup+12.7002 s]
/proc/loadavg: 2.13 2.02 1.95 3/187 3735
/proc/meminfo: memFree=19987508/32770624 swapFree=67108860/67108860
[pid=3734] ppid=3731 vsize=141844 memory=116504 CPUtime=12.69 cores=1,3,5,7
/proc/3734/stat : 3734 (MistralXCSP) R 3731 3734 3395 0 -1 4202496 92774 0 0 0 1262 7 0 0 20 0 1 0 43794991 145248256 29126 33554432000 4194304 7498468 140735868791728 140735868786184 4258077 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 12103680 140735868793966 140735868794115 140735868794115 140735868796873 0
/proc/3734/statm: 35461 29126 753 807 0 28452 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 141844 KiB
Current children cumulated memory: 116504 KiB

[startup+25.5004 s]
/proc/loadavg: 2.10 2.02 1.95 3/187 3735
/proc/meminfo: memFree=19987120/32770624 swapFree=67108860/67108860
[pid=3734] ppid=3731 vsize=142372 memory=117068 CPUtime=25.49 cores=1,3,5,7
/proc/3734/stat : 3734 (MistralXCSP) R 3731 3734 3395 0 -1 4202496 135834 0 0 0 2540 9 0 0 20 0 1 0 43794991 145788928 29267 33554432000 4194304 7498468 140735868791728 140735868786184 4249936 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 12103680 140735868793966 140735868794115 140735868794115 140735868796873 0
/proc/3734/statm: 35593 29267 753 807 0 28584 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 142372 KiB
Current children cumulated memory: 117068 KiB

[startup+51.1093 s]
/proc/loadavg: 2.07 2.01 1.95 3/187 3735
/proc/meminfo: memFree=19986576/32770624 swapFree=67108860/67108860
[pid=3734] ppid=3731 vsize=142504 memory=117256 CPUtime=51.1 cores=1,3,5,7
/proc/3734/stat : 3734 (MistralXCSP) R 3731 3734 3395 0 -1 4202496 157459 0 0 0 5100 10 0 0 20 0 1 0 43794991 145924096 29314 33554432000 4194304 7498468 140735868791728 140735868786184 4249967 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 12103680 140735868793966 140735868794115 140735868794115 140735868796873 0
/proc/3734/statm: 35626 29314 753 807 0 28617 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 142504 KiB
Current children cumulated memory: 117256 KiB

[startup+102.3 s]
/proc/loadavg: 2.03 2.01 1.95 3/187 3736
/proc/meminfo: memFree=19986440/32770624 swapFree=67108860/67108860
[pid=3734] ppid=3731 vsize=142636 memory=117356 CPUtime=102.28 cores=1,3,5,7
/proc/3734/stat : 3734 (MistralXCSP) R 3731 3734 3395 0 -1 4202496 179074 0 0 0 10217 11 0 0 20 0 1 0 43794991 146059264 29339 33554432000 4194304 7498468 140735868791728 140735868786152 4258062 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 12103680 140735868793966 140735868794115 140735868794115 140735868796873 0
/proc/3734/statm: 35659 29339 753 807 0 28650 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 142636 KiB
Current children cumulated memory: 117356 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/187 3737
/proc/meminfo: memFree=19986948/32770624 swapFree=67108860/67108860
[pid=3734] ppid=3731 vsize=142940 memory=117712 CPUtime=162.26 cores=1,3,5,7
/proc/3734/stat : 3734 (MistralXCSP) R 3731 3734 3395 0 -1 4202496 192760 0 0 0 16214 12 0 0 20 0 1 0 43794991 146370560 29428 33554432000 4194304 7498468 140735868791728 140735868786152 5613376 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 12103680 140735868793966 140735868794115 140735868794115 140735868796873 0
/proc/3734/statm: 35735 29428 753 807 0 28726 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 142940 KiB
Current children cumulated memory: 117712 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 3739
/proc/meminfo: memFree=19985612/32770624 swapFree=67108860/67108860
[pid=3734] ppid=3731 vsize=143268 memory=118088 CPUtime=222.27 cores=1,3,5,7
/proc/3734/stat : 3734 (MistralXCSP) R 3731 3734 3395 0 -1 4202496 193944 0 0 0 22215 12 0 0 20 0 1 0 43794991 146706432 29522 33554432000 4194304 7498468 140735868791728 140735868786904 4249938 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 12103680 140735868793966 140735868794115 140735868794115 140735868796873 0
/proc/3734/statm: 35817 29522 753 807 0 28808 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 143268 KiB
Current children cumulated memory: 118088 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 3740
/proc/meminfo: memFree=19985844/32770624 swapFree=67108860/67108860
[pid=3734] ppid=3731 vsize=143268 memory=118088 CPUtime=282.27 cores=1,3,5,7
/proc/3734/stat : 3734 (MistralXCSP) R 3731 3734 3395 0 -1 4202496 193955 0 0 0 28215 12 0 0 20 0 1 0 43794991 146706432 29522 33554432000 4194304 7498468 140735868791728 140735868786904 5613376 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 12103680 140735868793966 140735868794115 140735868794115 140735868796873 0
/proc/3734/statm: 35817 29522 753 807 0 28808 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 143268 KiB
Current children cumulated memory: 118088 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 3748
/proc/meminfo: memFree=19984884/32770624 swapFree=67108860/67108860
[pid=3734] ppid=3731 vsize=143268 memory=118152 CPUtime=342.27 cores=1,3,5,7
/proc/3734/stat : 3734 (MistralXCSP) R 3731 3734 3395 0 -1 4202496 194563 0 0 0 34215 12 0 0 20 0 1 0 43794991 146706432 29538 33554432000 4194304 7498468 140735868791728 140735868786904 5613376 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 12103680 140735868793966 140735868794115 140735868794115 140735868796873 0
/proc/3734/statm: 35817 29538 753 807 0 28808 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 143268 KiB
Current children cumulated memory: 118152 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/186 3749
/proc/meminfo: memFree=19986500/32770624 swapFree=67108860/67108860
[pid=3734] ppid=3731 vsize=143268 memory=118152 CPUtime=402.27 cores=1,3,5,7
/proc/3734/stat : 3734 (MistralXCSP) R 3731 3734 3395 0 -1 4202496 194778 0 0 0 40215 12 0 0 20 0 1 0 43794991 146706432 29538 33554432000 4194304 7498468 140735868791728 140735868786904 5585650 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 12103680 140735868793966 140735868794115 140735868794115 140735868796873 0
/proc/3734/statm: 35817 29538 753 807 0 28808 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 143268 KiB
Current children cumulated memory: 118152 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 3751
/proc/meminfo: memFree=19986096/32770624 swapFree=67108860/67108860
[pid=3734] ppid=3731 vsize=143400 memory=118216 CPUtime=462.28 cores=1,3,5,7
/proc/3734/stat : 3734 (MistralXCSP) R 3731 3734 3395 0 -1 4202496 195473 0 0 0 46216 12 0 0 20 0 1 0 43794991 146841600 29554 33554432000 4194304 7498468 140735868791728 140735868785992 5838196 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 12103680 140735868793966 140735868794115 140735868794115 140735868796873 0
/proc/3734/statm: 35850 29554 753 807 0 28841 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 143400 KiB
Current children cumulated memory: 118216 KiB


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

/proc/3734/statm: 35850 29582 753 807 0 28841 0
Current children cumulated CPU time: 1662.36 s
Current children cumulated vsize: 143400 KiB
Current children cumulated memory: 118328 KiB

[startup+1722.3 s]
/proc/loadavg: 2.08 2.03 1.98 3/188 3788
/proc/meminfo: memFree=19985848/32770624 swapFree=67108860/67108860
[pid=3734] ppid=3731 vsize=143400 memory=118328 CPUtime=1722.36 cores=1,3,5,7
/proc/3734/stat : 3734 (MistralXCSP) R 3731 3734 3395 0 -1 4202496 201163 0 0 0 172223 13 0 0 20 0 1 0 43794991 146841600 29582 33554432000 4194304 7498468 140735868791728 140735868785992 4249936 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 12103680 140735868793966 140735868794115 140735868794115 140735868796873 0
/proc/3734/statm: 35850 29582 753 807 0 28841 0
Current children cumulated CPU time: 1722.36 s
Current children cumulated vsize: 143400 KiB
Current children cumulated memory: 118328 KiB

[startup+1782.3 s]
/proc/loadavg: 2.38 2.14 2.02 3/188 3789
/proc/meminfo: memFree=19985848/32770624 swapFree=67108860/67108860
[pid=3734] ppid=3731 vsize=143400 memory=118328 CPUtime=1782.36 cores=1,3,5,7
/proc/3734/stat : 3734 (MistralXCSP) R 3731 3734 3395 0 -1 4202496 201880 0 0 0 178223 13 0 0 20 0 1 0 43794991 146841600 29582 33554432000 4194304 7498468 140735868791728 140735868785992 4405496 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 12103680 140735868793966 140735868794115 140735868794115 140735868796873 0
/proc/3734/statm: 35850 29582 753 807 0 28841 0
Current children cumulated CPU time: 1782.36 s
Current children cumulated vsize: 143400 KiB
Current children cumulated memory: 118328 KiB

[startup+1842.3 s]
/proc/loadavg: 2.14 2.12 2.02 3/187 3791
/proc/meminfo: memFree=19985780/32770624 swapFree=67108860/67108860
[pid=3734] ppid=3731 vsize=143400 memory=118328 CPUtime=1842.37 cores=1,3,5,7
/proc/3734/stat : 3734 (MistralXCSP) R 3731 3734 3395 0 -1 4202496 201880 0 0 0 184224 13 0 0 20 0 1 0 43794991 146841600 29582 33554432000 4194304 7498468 140735868791728 140735868785992 4580892 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 12103680 140735868793966 140735868794115 140735868794115 140735868796873 0
/proc/3734/statm: 35850 29582 753 807 0 28841 0
Current children cumulated CPU time: 1842.37 s
Current children cumulated vsize: 143400 KiB
Current children cumulated memory: 118328 KiB

[startup+1902.3 s]
/proc/loadavg: 2.05 2.10 2.02 3/187 3792
/proc/meminfo: memFree=19985708/32770624 swapFree=67108860/67108860
[pid=3734] ppid=3731 vsize=143400 memory=118340 CPUtime=1902.37 cores=1,3,5,7
/proc/3734/stat : 3734 (MistralXCSP) R 3731 3734 3395 0 -1 4202496 202291 0 0 0 190224 13 0 0 20 0 1 0 43794991 146841600 29585 33554432000 4194304 7498468 140735868791728 140735868785992 4404804 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 12103680 140735868793966 140735868794115 140735868794115 140735868796873 0
/proc/3734/statm: 35850 29585 753 807 0 28841 0
Current children cumulated CPU time: 1902.37 s
Current children cumulated vsize: 143400 KiB
Current children cumulated memory: 118340 KiB

[startup+1962.3 s]
/proc/loadavg: 2.02 2.08 2.02 3/187 3793
/proc/meminfo: memFree=19986036/32770624 swapFree=67108860/67108860
[pid=3734] ppid=3731 vsize=143400 memory=118340 CPUtime=1962.37 cores=1,3,5,7
/proc/3734/stat : 3734 (MistralXCSP) R 3731 3734 3395 0 -1 4202496 202291 0 0 0 196224 13 0 0 20 0 1 0 43794991 146841600 29585 33554432000 4194304 7498468 140735868791728 140735868785992 5613413 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 12103680 140735868793966 140735868794115 140735868794115 140735868796873 0
/proc/3734/statm: 35850 29585 753 807 0 28841 0
Current children cumulated CPU time: 1962.37 s
Current children cumulated vsize: 143400 KiB
Current children cumulated memory: 118340 KiB

[startup+2022.3 s]
/proc/loadavg: 2.01 2.06 2.02 3/187 3795
/proc/meminfo: memFree=19985348/32770624 swapFree=67108860/67108860
[pid=3734] ppid=3731 vsize=143400 memory=118340 CPUtime=2022.38 cores=1,3,5,7
/proc/3734/stat : 3734 (MistralXCSP) R 3731 3734 3395 0 -1 4202496 202703 0 0 0 202225 13 0 0 20 0 1 0 43794991 146841600 29585 33554432000 4194304 7498468 140735868791728 140735868785992 5649131 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 12103680 140735868793966 140735868794115 140735868794115 140735868796873 0
/proc/3734/statm: 35850 29585 753 807 0 28841 0
Current children cumulated CPU time: 2022.38 s
Current children cumulated vsize: 143400 KiB
Current children cumulated memory: 118340 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.05 2.02 3/187 3796
/proc/meminfo: memFree=19985528/32770624 swapFree=67108860/67108860
[pid=3734] ppid=3731 vsize=143400 memory=118340 CPUtime=2082.38 cores=1,3,5,7
/proc/3734/stat : 3734 (MistralXCSP) R 3731 3734 3395 0 -1 4202496 202709 0 0 0 208225 13 0 0 20 0 1 0 43794991 146841600 29585 33554432000 4194304 7498468 140735868791728 140735868785992 4249718 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 12103680 140735868793966 140735868794115 140735868794115 140735868796873 0
/proc/3734/statm: 35850 29585 753 807 0 28841 0
Current children cumulated CPU time: 2082.38 s
Current children cumulated vsize: 143400 KiB
Current children cumulated memory: 118340 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.04 2.02 3/188 3805
/proc/meminfo: memFree=19985428/32770624 swapFree=67108860/67108860
[pid=3734] ppid=3731 vsize=143400 memory=118340 CPUtime=2142.38 cores=1,3,5,7
/proc/3734/stat : 3734 (MistralXCSP) R 3731 3734 3395 0 -1 4202496 203110 0 0 0 214225 13 0 0 20 0 1 0 43794991 146841600 29585 33554432000 4194304 7498468 140735868791728 140735868785992 4249751 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 12103680 140735868793966 140735868794115 140735868794115 140735868796873 0
/proc/3734/statm: 35850 29585 753 807 0 28841 0
Current children cumulated CPU time: 2142.38 s
Current children cumulated vsize: 143400 KiB
Current children cumulated memory: 118340 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.04 2.02 3/189 3829
/proc/meminfo: memFree=19985288/32770624 swapFree=67108860/67108860
[pid=3734] ppid=3731 vsize=143400 memory=118340 CPUtime=2202.39 cores=1,3,5,7
/proc/3734/stat : 3734 (MistralXCSP) R 3731 3734 3395 0 -1 4202496 203110 0 0 0 220226 13 0 0 20 0 1 0 43794991 146841600 29585 33554432000 4194304 7498468 140735868791728 140735868785992 5613640 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 12103680 140735868793966 140735868794115 140735868794115 140735868796873 0
/proc/3734/statm: 35850 29585 753 807 0 28841 0
Current children cumulated CPU time: 2202.39 s
Current children cumulated vsize: 143400 KiB
Current children cumulated memory: 118340 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.03 2.02 3/189 3830
/proc/meminfo: memFree=19985588/32770624 swapFree=67108860/67108860
[pid=3734] ppid=3731 vsize=143400 memory=118340 CPUtime=2262.39 cores=1,3,5,7
/proc/3734/stat : 3734 (MistralXCSP) R 3731 3734 3395 0 -1 4202496 203540 0 0 0 226226 13 0 0 20 0 1 0 43794991 146841600 29585 33554432000 4194304 7498468 140735868791728 140735868785992 4404927 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 12103680 140735868793966 140735868794115 140735868794115 140735868796873 0
/proc/3734/statm: 35850 29585 753 807 0 28841 0
Current children cumulated CPU time: 2262.39 s
Current children cumulated vsize: 143400 KiB
Current children cumulated memory: 118340 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/189 3831
/proc/meminfo: memFree=19985904/32770624 swapFree=67108860/67108860
[pid=3734] ppid=3731 vsize=143400 memory=118340 CPUtime=2322.39 cores=1,3,5,7
/proc/3734/stat : 3734 (MistralXCSP) R 3731 3734 3395 0 -1 4202496 203540 0 0 0 232226 13 0 0 20 0 1 0 43794991 146841600 29585 33554432000 4194304 7498468 140735868791728 140735868785992 4249936 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 12103680 140735868793966 140735868794115 140735868794115 140735868796873 0
/proc/3734/statm: 35850 29585 753 807 0 28841 0
Current children cumulated CPU time: 2322.39 s
Current children cumulated vsize: 143400 KiB
Current children cumulated memory: 118340 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/189 3832
/proc/meminfo: memFree=19985948/32770624 swapFree=67108860/67108860
[pid=3734] ppid=3731 vsize=143532 memory=118360 CPUtime=2382.4 cores=1,3,5,7
/proc/3734/stat : 3734 (MistralXCSP) R 3731 3734 3395 0 -1 4202496 204291 0 0 0 238227 13 0 0 20 0 1 0 43794991 146976768 29590 33554432000 4194304 7498468 140735868791728 140735868785992 4249936 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 12103680 140735868793966 140735868794115 140735868794115 140735868796873 0
/proc/3734/statm: 35883 29590 753 807 0 28874 0
Current children cumulated CPU time: 2382.4 s
Current children cumulated vsize: 143532 KiB
Current children cumulated memory: 118360 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2399.9 s]
/proc/loadavg: 2.00 2.02 2.02 5/201 3861
/proc/meminfo: memFree=20046952/32770624 swapFree=67108860/67108860
[pid=3734] ppid=3731 vsize=143532 memory=118360 CPUtime=2400 cores=1,3,5,7
/proc/3734/stat : 3734 (MistralXCSP) R 3731 3734 3395 0 -1 4202496 204291 0 0 0 239987 13 0 0 20 0 1 0 43794991 146976768 29590 33554432000 4194304 7498468 140735868791728 140735868785992 5621496 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 12103680 140735868793966 140735868794115 140735868794115 140735868796873 0
/proc/3734/statm: 35883 29590 753 807 0 28874 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 143532 KiB
Current children cumulated memory: 118360 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2399.9 s]
# the end of solver process 3734 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.87 s, system=0.133007 s

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

[startup+2399.9 s]
/proc/loadavg: 2.00 2.02 2.02 5/201 3861
/proc/meminfo: memFree=20046952/32770624 swapFree=67108860/67108860
[pid=3734] ppid=3731 vsize=143532 memory=118360 CPUtime=2400 cores=1,3,5,7
/proc/3734/stat : 3734 (MistralXCSP) R 3731 3734 3395 0 -1 4202496 204291 0 0 0 239987 13 0 0 20 0 1 0 43794991 146976768 29590 33554432000 4194304 7498468 140735868791728 140735868785992 5621496 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 12103680 140735868793966 140735868794115 140735868794115 140735868796873 0
/proc/3734/statm: 35883 29590 753 807 0 28874 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 143532 KiB
Current children cumulated memory: 118360 KiB

Child status: 0
Real time (s): 2399.9
CPU time (s): 2400.01
CPU user time (s): 2399.87
CPU system time (s): 0.133007
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 143532
Max. memory (cumulated for all children) (KiB): 118360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.87
system time used= 0.133007
maximum resident set size= 118380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 204347
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53
involuntary context switches= 657


# summary of solver processes directly reported to runsolver:
#   pid: 3734
#   total CPU time (s): 2400.01
#   total CPU user time (s): 2399.87
#   total CPU system time (s): 0.133007

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.86351 second user time and 16.1049 second system time

The end

Begin job on node107 at 2018-07-22 14:25:18
IDJOB=4291947
IDBENCH=141207
IDSOLVER=2741
FILE ID=node107/4291947-1532262318
RUNJOBID= node107-1532259915-3427
PBS_JOBID= 21018963
Free space on /tmp= 55156 MiB

SOLVER NAME= Mistral-2.0 2018-06-15
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-02-opt_c18.xml
COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291947-1532262318/watcher-4291947-1532262318 -o /tmp/evaluation-result-4291947-1532262318/solver-4291947-1532262318 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532259915-3427 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 918101385 HOME/instance-4291947-1532262318.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= f46e6f53d96372a3a8925b0c81d3424e
RANDOM SEED=918101385

node107.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        20163300 kB
MemAvailable:   31883928 kB
Buffers:          245156 kB
Cached:         11625944 kB
SwapCached:            0 kB
Active:          1563432 kB
Inactive:       10417632 kB
Active(anon):     112440 kB
Inactive(anon):    16860 kB
Active(file):    1450992 kB
Inactive(file): 10400772 kB
Unevictable:        7152 kB
Mlocked:            7152 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8936 kB
Writeback:           300 kB
AnonPages:        116540 kB
Mapped:            37044 kB
Shmem:             17036 kB
Slab:             324428 kB
SReclaimable:     297324 kB
SUnreclaim:        27104 kB
KernelStack:        3312 kB
PageTables:         5512 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     398408 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 55144 MiB
End job on node107 at 2018-07-22 15:05:18

Name	Rlfap/Rlfap-opt/ Rlfap-graph-02-opt_c18.xml
MD5SUM	f46e6f53d96372a3a8925b0c81d3424e
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	14
Best CPU time to get the best result obtained on this benchmark	2520.07
Satisfiable
(Un)Satisfiability was proved
Number of variables	400
Number of constraints	2245
Number of domains	5
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":56},{"size":22,"count":4},{"size":36,"count":66},{"size":42,"count":116},{"size":44,"count":158}]
Minimum variable degree	4
Maximum variable degree	32
Distribution of variable degrees	[{"degree":4,"count":2},{"degree":6,"count":12},{"degree":7,"count":21},{"degree":8,"count":38},{"degree":9,"count":42},{"degree":10,"count":44},{"degree":11,"count":45},{"degree":12,"count":27},{"degree":13,"count":16},{"degree":14,"count":27},{"degree":15,"count":21},{"degree":16,"count":44},{"degree":17,"count":30},{"degree":18,"count":17},{"degree":19,"count":7},{"degree":20,"count":2},{"degree":21,"count":2},{"degree":22,"count":1},{"degree":32,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":2245}]
Number of extensional constraints	0
Number of intensional constraints	2245
Distribution of constraint types	[{"type":"intension","count":2245}]
Optimization problem	YES
Type of objective	min NVALUES

Trace number 4291947

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data