2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Mistral-2.0 2018-08-01	SAT (TO)	32	2519.92	2520.01

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304061-1534004165/watcher-4304061-1534004165 -o /tmp/evaluation-result-4304061-1534004165/solver-4304061-1534004165 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1533993568-10241 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1526683606 HOME/instance-4304061-1534004165.xml 

running on 4 cores: 0,2,4,6

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=11396, runsolver pid=11393

[startup+0.100107 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 11397
/proc/meminfo: memFree=2216428/32770624 swapFree=67058152/67108860
[pid=11396] ppid=11393 vsize=33116 memory=7720 CPUtime=0.1 cores=0,2,4,6
/proc/11396/stat : 11396 (MistralXCSP) R 11393 11396 10209 0 -1 4202496 2095 0 0 0 10 0 0 0 20 0 1 0 217979711 33910784 1930 33554432000 4194304 7499544 140731136250032 140731136247032 140663385426917 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16207872 140731136259181 140731136259331 140731136259331 140731136262089 0
/proc/11396/statm: 8279 1930 702 807 0 1270 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33116 KiB
Current children cumulated memory: 7720 KiB

[startup+0.209395 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 11397
/proc/meminfo: memFree=2213100/32770624 swapFree=67058152/67108860
[pid=11396] ppid=11393 vsize=36396 memory=10996 CPUtime=0.21 cores=0,2,4,6
/proc/11396/stat : 11396 (MistralXCSP) R 11393 11396 10209 0 -1 4202496 2926 0 0 0 21 0 0 0 20 0 1 0 217979711 37269504 2749 33554432000 4194304 7499544 140731136250032 140731136247032 140663385426917 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16207872 140731136259181 140731136259331 140731136259331 140731136262089 0
/proc/11396/statm: 9099 2749 702 807 0 2090 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 36396 KiB
Current children cumulated memory: 10996 KiB

[startup+0.30896 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 11397
/proc/meminfo: memFree=2210124/32770624 swapFree=67058152/67108860
[pid=11396] ppid=11393 vsize=39420 memory=14032 CPUtime=0.3 cores=0,2,4,6
/proc/11396/stat : 11396 (MistralXCSP) R 11393 11396 10209 0 -1 4202496 3686 0 0 0 30 0 0 0 20 0 1 0 217979711 40366080 3508 33554432000 4194304 7499544 140731136250032 140731136247032 140663385426917 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16207872 140731136259181 140731136259331 140731136259331 140731136262089 0
/proc/11396/statm: 9855 3508 702 807 0 2846 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39420 KiB
Current children cumulated memory: 14032 KiB

[startup+0.700236 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11397
/proc/meminfo: memFree=2203676/32770624 swapFree=67058152/67108860
[pid=11396] ppid=11393 vsize=50976 memory=25456 CPUtime=0.68 cores=0,2,4,6
/proc/11396/stat : 11396 (MistralXCSP) R 11393 11396 10209 0 -1 4202496 6620 0 0 0 68 0 0 0 20 0 1 0 217979711 52199424 6364 33554432000 4194304 7499544 140731136250032 140731136240792 140663386369653 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16207872 140731136259181 140731136259331 140731136259331 140731136262089 0
/proc/11396/statm: 12744 6364 702 807 0 5735 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 50976 KiB
Current children cumulated memory: 25456 KiB

[startup+1.50031 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11397
/proc/meminfo: memFree=2188976/32770624 swapFree=67058152/67108860
[pid=11396] ppid=11393 vsize=92208 memory=66832 CPUtime=1.48 cores=0,2,4,6
/proc/11396/stat : 11396 (MistralXCSP) R 11393 11396 10209 0 -1 4202496 17302 0 0 0 147 1 0 0 20 0 1 0 217979711 94420992 16708 33554432000 4194304 7499544 140731136250032 140731136240792 4563999 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16207872 140731136259181 140731136259331 140731136259331 140731136262089 0
/proc/11396/statm: 23052 16708 719 807 0 16043 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 92208 KiB
Current children cumulated memory: 66832 KiB

[startup+3.10951 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11397
/proc/meminfo: memFree=2109584/32770624 swapFree=67058152/67108860
[pid=11396] ppid=11393 vsize=139624 memory=114280 CPUtime=3.09 cores=0,2,4,6
/proc/11396/stat : 11396 (MistralXCSP) R 11393 11396 10209 0 -1 4202496 49975 0 0 0 305 4 0 0 20 0 1 0 217979711 142974976 28570 33554432000 4194304 7499544 140731136250032 140731136244296 5613208 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16207872 140731136259181 140731136259331 140731136259331 140731136262089 0
/proc/11396/statm: 34906 28570 758 807 0 27897 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 139624 KiB
Current children cumulated memory: 114280 KiB

[startup+6.3003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11397
/proc/meminfo: memFree=2108448/32770624 swapFree=67058152/67108860
[pid=11396] ppid=11393 vsize=141032 memory=115744 CPUtime=6.29 cores=0,2,4,6
/proc/11396/stat : 11396 (MistralXCSP) R 11393 11396 10209 0 -1 4202496 71381 0 0 0 623 6 0 0 20 0 1 0 217979711 144416768 28936 33554432000 4194304 7499544 140731136250032 140731136244664 4405488 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16207872 140731136259181 140731136259331 140731136259331 140731136262089 0
/proc/11396/statm: 35258 28936 758 807 0 28249 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 141032 KiB
Current children cumulated memory: 115744 KiB

[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11397
/proc/meminfo: memFree=2107456/32770624 swapFree=67058152/67108860
[pid=11396] ppid=11393 vsize=141844 memory=116444 CPUtime=12.69 cores=0,2,4,6
/proc/11396/stat : 11396 (MistralXCSP) R 11393 11396 10209 0 -1 4202496 92936 0 0 0 1262 7 0 0 20 0 1 0 217979711 145248256 29111 33554432000 4194304 7499544 140731136250032 140731136244456 4249768 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 16207872 140731136259181 140731136259331 140731136259331 140731136262089 0
/proc/11396/statm: 35461 29111 758 807 0 28452 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 141844 KiB
Current children cumulated memory: 116444 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11397
/proc/meminfo: memFree=2106952/32770624 swapFree=67058152/67108860
[pid=11396] ppid=11393 vsize=142372 memory=117092 CPUtime=25.48 cores=0,2,4,6
/proc/11396/stat : 11396 (MistralXCSP) R 11393 11396 10209 0 -1 4202496 136102 0 0 0 2539 9 0 0 20 0 1 0 217979711 145788928 29273 33554432000 4194304 7499544 140731136250032 140731136244488 5612944 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 16207872 140731136259181 140731136259331 140731136259331 140731136262089 0
/proc/11396/statm: 35593 29273 758 807 0 28584 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 142372 KiB
Current children cumulated memory: 117092 KiB

[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11397
/proc/meminfo: memFree=2106580/32770624 swapFree=67058152/67108860
[pid=11396] ppid=11393 vsize=142504 memory=117288 CPUtime=51.09 cores=0,2,4,6
/proc/11396/stat : 11396 (MistralXCSP) R 11393 11396 10209 0 -1 4202496 157781 0 0 0 5099 10 0 0 20 0 1 0 217979711 145924096 29322 33554432000 4194304 7499544 140731136250032 140731136244488 4252710 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 16207872 140731136259181 140731136259331 140731136259331 140731136262089 0
/proc/11396/statm: 35626 29322 758 807 0 28617 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 142504 KiB
Current children cumulated memory: 117288 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11398
/proc/meminfo: memFree=2106788/32770624 swapFree=67058152/67108860
[pid=11396] ppid=11393 vsize=142636 memory=117380 CPUtime=102.28 cores=0,2,4,6
/proc/11396/stat : 11396 (MistralXCSP) R 11393 11396 10209 0 -1 4202496 179435 0 0 0 10217 11 0 0 20 0 1 0 217979711 146059264 29345 33554432000 4194304 7499544 140731136250032 140731136244456 4252699 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 16207872 140731136259181 140731136259331 140731136259331 140731136262089 0
/proc/11396/statm: 35659 29345 758 807 0 28650 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 142636 KiB
Current children cumulated memory: 117380 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11399
/proc/meminfo: memFree=2106212/32770624 swapFree=67058152/67108860
[pid=11396] ppid=11393 vsize=142940 memory=117568 CPUtime=162.28 cores=0,2,4,6
/proc/11396/stat : 11396 (MistralXCSP) R 11393 11396 10209 0 -1 4202496 201178 0 0 0 16216 12 0 0 20 0 1 0 217979711 146370560 29392 33554432000 4194304 7499544 140731136250032 140731136244456 4249936 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 16207872 140731136259181 140731136259331 140731136259331 140731136262089 0
/proc/11396/statm: 35735 29392 758 807 0 28726 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 142940 KiB
Current children cumulated memory: 117568 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11400
/proc/meminfo: memFree=2104768/32770624 swapFree=67058152/67108860
[pid=11396] ppid=11393 vsize=143268 memory=118112 CPUtime=222.26 cores=0,2,4,6
/proc/11396/stat : 11396 (MistralXCSP) R 11393 11396 10209 0 -1 4202496 212022 0 0 0 22213 13 0 0 20 0 1 0 217979711 146706432 29528 33554432000 4194304 7499544 140731136250032 140731136245208 4579850 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 16207872 140731136259181 140731136259331 140731136259331 140731136262089 0
/proc/11396/statm: 35817 29528 758 807 0 28808 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 143268 KiB
Current children cumulated memory: 118112 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11409
/proc/meminfo: memFree=2104148/32770624 swapFree=67058152/67108860
[pid=11396] ppid=11393 vsize=143268 memory=118132 CPUtime=282.25 cores=0,2,4,6
/proc/11396/stat : 11396 (MistralXCSP) R 11393 11396 10209 0 -1 4202496 212815 0 0 0 28212 13 0 0 20 0 1 0 217979711 146706432 29533 33554432000 4194304 7499544 140731136250032 140731136245208 4405034 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 16207872 140731136259181 140731136259331 140731136259331 140731136262089 0
/proc/11396/statm: 35817 29533 758 807 0 28808 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 143268 KiB
Current children cumulated memory: 118132 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11410
/proc/meminfo: memFree=2104272/32770624 swapFree=67058152/67108860
[pid=11396] ppid=11393 vsize=143268 memory=118176 CPUtime=342.25 cores=0,2,4,6
/proc/11396/stat : 11396 (MistralXCSP) R 11393 11396 10209 0 -1 4202496 213297 0 0 0 34212 13 0 0 20 0 1 0 217979711 146706432 29544 33554432000 4194304 7499544 140731136250032 140731136245208 5612967 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 16207872 140731136259181 140731136259331 140731136259331 140731136262089 0
/proc/11396/statm: 35817 29544 758 807 0 28808 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 143268 KiB
Current children cumulated memory: 118176 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11411
/proc/meminfo: memFree=2104768/32770624 swapFree=67058152/67108860
[pid=11396] ppid=11393 vsize=143268 memory=118204 CPUtime=402.25 cores=0,2,4,6
/proc/11396/stat : 11396 (MistralXCSP) R 11393 11396 10209 0 -1 4202496 214070 0 0 0 40212 13 0 0 20 0 1 0 217979711 146706432 29551 33554432000 4194304 7499544 140731136250032 140731136245208 4580654 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 16207872 140731136259181 140731136259331 140731136259331 140731136262089 0
/proc/11396/statm: 35817 29551 758 807 0 28808 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 143268 KiB
Current children cumulated memory: 118204 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11412
/proc/meminfo: memFree=2104660/32770624 swapFree=67058152/67108860
[pid=11396] ppid=11393 vsize=143400 memory=118240 CPUtime=462.25 cores=0,2,4,6
/proc/11396/stat : 11396 (MistralXCSP) R 11393 11396 10209 0 -1 4202496 214841 0 0 0 46212 13 0 0 20 0 1 0 217979711 146841600 29560 33554432000 4194304 7499544 140731136250032 140731136244296 5612981 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 16207872 140731136259181 140731136259331 140731136259331 140731136262089 0
/proc/11396/statm: 35850 29560 758 807 0 28841 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 143400 KiB
Current children cumulated memory: 118240 KiB


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

/proc/11396/statm: 35850 29588 758 807 0 28841 0
Current children cumulated CPU time: 1722.22 s
Current children cumulated vsize: 143400 KiB
Current children cumulated memory: 118352 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 11450
/proc/meminfo: memFree=2103220/32770624 swapFree=67058152/67108860
[pid=11396] ppid=11393 vsize=143400 memory=118352 CPUtime=1782.22 cores=0,2,4,6
/proc/11396/stat : 11396 (MistralXCSP) R 11393 11396 10209 0 -1 4202496 226820 0 0 0 178208 14 0 0 20 0 1 0 217979711 146841600 29588 33554432000 4194304 7499544 140731136250032 140731136244296 4258061 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 16207872 140731136259181 140731136259331 140731136259331 140731136262089 0
/proc/11396/statm: 35850 29588 758 807 0 28841 0
Current children cumulated CPU time: 1782.22 s
Current children cumulated vsize: 143400 KiB
Current children cumulated memory: 118352 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 11451
/proc/meminfo: memFree=2103096/32770624 swapFree=67058152/67108860
[pid=11396] ppid=11393 vsize=143400 memory=118360 CPUtime=1842.22 cores=0,2,4,6
/proc/11396/stat : 11396 (MistralXCSP) R 11393 11396 10209 0 -1 4202496 227229 0 0 0 184208 14 0 0 20 0 1 0 217979711 146841600 29590 33554432000 4194304 7499544 140731136250032 140731136244296 4579934 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 16207872 140731136259181 140731136259331 140731136259331 140731136262089 0
/proc/11396/statm: 35850 29590 758 807 0 28841 0
Current children cumulated CPU time: 1842.22 s
Current children cumulated vsize: 143400 KiB
Current children cumulated memory: 118360 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 11452
/proc/meminfo: memFree=2103096/32770624 swapFree=67058152/67108860
[pid=11396] ppid=11393 vsize=143400 memory=118364 CPUtime=1902.22 cores=0,2,4,6
/proc/11396/stat : 11396 (MistralXCSP) R 11393 11396 10209 0 -1 4202496 227647 0 0 0 190208 14 0 0 20 0 1 0 217979711 146841600 29591 33554432000 4194304 7499544 140731136250032 140731136244296 5648135 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 16207872 140731136259181 140731136259331 140731136259331 140731136262089 0
/proc/11396/statm: 35850 29591 758 807 0 28841 0
Current children cumulated CPU time: 1902.22 s
Current children cumulated vsize: 143400 KiB
Current children cumulated memory: 118364 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11453
/proc/meminfo: memFree=2102848/32770624 swapFree=67058152/67108860
[pid=11396] ppid=11393 vsize=143400 memory=118364 CPUtime=1962.22 cores=0,2,4,6
/proc/11396/stat : 11396 (MistralXCSP) R 11393 11396 10209 0 -1 4202496 228059 0 0 0 196208 14 0 0 20 0 1 0 217979711 146841600 29591 33554432000 4194304 7499544 140731136250032 140731136244296 4405034 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 16207872 140731136259181 140731136259331 140731136259331 140731136262089 0
/proc/11396/statm: 35850 29591 758 807 0 28841 0
Current children cumulated CPU time: 1962.22 s
Current children cumulated vsize: 143400 KiB
Current children cumulated memory: 118364 KiB

[startup+2022.3 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 11576
/proc/meminfo: memFree=2376464/32770624 swapFree=67058152/67108860
[pid=11396] ppid=11393 vsize=143400 memory=118364 CPUtime=2022.22 cores=0,2,4,6
/proc/11396/stat : 11396 (MistralXCSP) R 11393 11396 10209 0 -1 4202496 228491 0 0 0 202208 14 0 0 20 0 1 0 217979711 146841600 29591 33554432000 4194304 7499544 140731136250032 140731136244296 5613208 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 16207872 140731136259181 140731136259331 140731136259331 140731136262089 0
/proc/11396/statm: 35850 29591 758 807 0 28841 0
Current children cumulated CPU time: 2022.22 s
Current children cumulated vsize: 143400 KiB
Current children cumulated memory: 118364 KiB

[startup+2082.3 s]
/proc/loadavg: 1.97 2.00 2.04 3/187 11584
/proc/meminfo: memFree=2375836/32770624 swapFree=67058152/67108860
[pid=11396] ppid=11393 vsize=143400 memory=118364 CPUtime=2082.22 cores=0,2,4,6
/proc/11396/stat : 11396 (MistralXCSP) R 11393 11396 10209 0 -1 4202496 228871 0 0 0 208208 14 0 0 20 0 1 0 217979711 146841600 29591 33554432000 4194304 7499544 140731136250032 140731136244296 4258050 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 16207872 140731136259181 140731136259331 140731136259331 140731136262089 0
/proc/11396/statm: 35850 29591 758 807 0 28841 0
Current children cumulated CPU time: 2082.22 s
Current children cumulated vsize: 143400 KiB
Current children cumulated memory: 118364 KiB

[startup+2142.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 11585
/proc/meminfo: memFree=2376208/32770624 swapFree=67058152/67108860
[pid=11396] ppid=11393 vsize=143400 memory=118364 CPUtime=2142.21 cores=0,2,4,6
/proc/11396/stat : 11396 (MistralXCSP) R 11393 11396 10209 0 -1 4202496 229293 0 0 0 214207 14 0 0 20 0 1 0 217979711 146841600 29591 33554432000 4194304 7499544 140731136250032 140731136244296 4252710 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 16207872 140731136259181 140731136259331 140731136259331 140731136262089 0
/proc/11396/statm: 35850 29591 758 807 0 28841 0
Current children cumulated CPU time: 2142.21 s
Current children cumulated vsize: 143400 KiB
Current children cumulated memory: 118364 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 11586
/proc/meminfo: memFree=2376208/32770624 swapFree=67058152/67108860
[pid=11396] ppid=11393 vsize=143400 memory=118364 CPUtime=2202.21 cores=0,2,4,6
/proc/11396/stat : 11396 (MistralXCSP) R 11393 11396 10209 0 -1 4202496 229686 0 0 0 220207 14 0 0 20 0 1 0 217979711 146841600 29591 33554432000 4194304 7499544 140731136250032 140731136244296 4252710 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 16207872 140731136259181 140731136259331 140731136259331 140731136262089 0
/proc/11396/statm: 35850 29591 758 807 0 28841 0
Current children cumulated CPU time: 2202.21 s
Current children cumulated vsize: 143400 KiB
Current children cumulated memory: 118364 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 11587
/proc/meminfo: memFree=2376472/32770624 swapFree=67058152/67108860
[pid=11396] ppid=11393 vsize=143400 memory=118368 CPUtime=2262.21 cores=0,2,4,6
/proc/11396/stat : 11396 (MistralXCSP) R 11393 11396 10209 0 -1 4202496 230147 0 0 0 226207 14 0 0 20 0 1 0 217979711 146841600 29592 33554432000 4194304 7499544 140731136250032 140731136244296 5585166 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 16207872 140731136259181 140731136259331 140731136259331 140731136262089 0
/proc/11396/statm: 35850 29592 758 807 0 28841 0
Current children cumulated CPU time: 2262.21 s
Current children cumulated vsize: 143400 KiB
Current children cumulated memory: 118368 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 11588
/proc/meminfo: memFree=2376356/32770624 swapFree=67058152/67108860
[pid=11396] ppid=11393 vsize=143532 memory=118368 CPUtime=2322.21 cores=0,2,4,6
/proc/11396/stat : 11396 (MistralXCSP) R 11393 11396 10209 0 -1 4202496 230948 0 0 0 232207 14 0 0 20 0 1 0 217979711 146976768 29592 33554432000 4194304 7499544 140731136250032 140731136244296 5164081 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 16207872 140731136259181 140731136259331 140731136259331 140731136262089 0
/proc/11396/statm: 35883 29592 758 807 0 28874 0
Current children cumulated CPU time: 2322.21 s
Current children cumulated vsize: 143532 KiB
Current children cumulated memory: 118368 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 11590
/proc/meminfo: memFree=2375992/32770624 swapFree=67058152/67108860
[pid=11396] ppid=11393 vsize=143532 memory=118384 CPUtime=2382.21 cores=0,2,4,6
/proc/11396/stat : 11396 (MistralXCSP) R 11393 11396 10209 0 -1 4202496 231409 0 0 0 238207 14 0 0 20 0 1 0 217979711 146976768 29596 33554432000 4194304 7499544 140731136250032 140731136244296 5621203 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 16207872 140731136259181 140731136259331 140731136259331 140731136262089 0
/proc/11396/statm: 35883 29596 758 807 0 28874 0
Current children cumulated CPU time: 2382.21 s
Current children cumulated vsize: 143532 KiB
Current children cumulated memory: 118384 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 11591
/proc/meminfo: memFree=2375744/32770624 swapFree=67058152/67108860
[pid=11396] ppid=11393 vsize=143532 memory=118384 CPUtime=2442.2 cores=0,2,4,6
/proc/11396/stat : 11396 (MistralXCSP) R 11393 11396 10209 0 -1 4202496 231881 0 0 0 244206 14 0 0 20 0 1 0 217979711 146976768 29596 33554432000 4194304 7499544 140731136250032 140731136244296 4249936 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 16207872 140731136259181 140731136259331 140731136259331 140731136262089 0
/proc/11396/statm: 35883 29596 758 807 0 28874 0
Current children cumulated CPU time: 2442.2 s
Current children cumulated vsize: 143532 KiB
Current children cumulated memory: 118384 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 11592
/proc/meminfo: memFree=2375868/32770624 swapFree=67058152/67108860
[pid=11396] ppid=11393 vsize=143532 memory=118384 CPUtime=2502.2 cores=0,2,4,6
/proc/11396/stat : 11396 (MistralXCSP) R 11393 11396 10209 0 -1 4202496 232353 0 0 0 250206 14 0 0 20 0 1 0 217979711 146976768 29596 33554432000 4194304 7499544 140731136250032 140731136244296 4258061 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 16207872 140731136259181 140731136259331 140731136259331 140731136262089 0
/proc/11396/statm: 35883 29596 758 807 0 28874 0
Current children cumulated CPU time: 2502.2 s
Current children cumulated vsize: 143532 KiB
Current children cumulated memory: 118384 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.00 2.04 3/187 11593
/proc/meminfo: memFree=2375496/32770624 swapFree=67058152/67108860
[pid=11396] ppid=11393 vsize=143532 memory=118384 CPUtime=2519.91 cores=0,2,4,6
/proc/11396/stat : 11396 (MistralXCSP) R 11393 11396 10209 0 -1 4202496 232803 0 0 0 251977 14 0 0 20 0 1 0 217979711 146976768 29596 33554432000 4194304 7499544 140731136250032 140731136244296 4249705 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 16207872 140731136259181 140731136259331 140731136259331 140731136262089 0
/proc/11396/statm: 35883 29596 758 807 0 28874 0
Current children cumulated CPU time: 2519.91 s
Current children cumulated vsize: 143532 KiB
Current children cumulated memory: 118384 KiB

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

[startup+2520.01 s]
# the end of solver process 11396 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.78 s, system=0.146996 s

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

Child status: 0
Real time (s): 2520.01
CPU time (s): 2519.92
CPU user time (s): 2519.78
CPU system time (s): 0.146996
CPU usage (%): 99.9965
Max. virtual memory (cumulated for all children) (KiB): 143532
Max. memory (cumulated for all children) (KiB): 118384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.78
system time used= 0.146996
maximum resident set size= 118404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 232870
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= 49
involuntary context switches= 3162


# summary of solver processes directly reported to runsolver:
#   pid: 11396
#   total CPU time (s): 2519.92
#   total CPU user time (s): 2519.78
#   total CPU system time (s): 0.146996

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.43017 second user time and 16.3065 second system time

The end

Begin job on node103 at 2018-08-11 18:16:05
IDJOB=4304061
IDBENCH=141207
IDSOLVER=2779
FILE ID=node103/4304061-1534004165
RUNJOBID= node103-1533993568-10241
PBS_JOBID= 21036954
Free space on /tmp= 34452 MiB

SOLVER NAME= Mistral-2.0 2018-08-01
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-4304061-1534004165/watcher-4304061-1534004165 -o /tmp/evaluation-result-4304061-1534004165/solver-4304061-1534004165 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1533993568-10241 --watchdog 2580  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1526683606 HOME/instance-4304061-1534004165.xml

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

MD5SUM BENCH= f46e6f53d96372a3a8925b0c81d3424e
RANDOM SEED=1526683606

node103.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.48
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.48
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.48
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.48
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:         2221228 kB
MemAvailable:   31670096 kB
Buffers:          102088 kB
Cached:         29271592 kB
SwapCached:         5736 kB
Active:         14622540 kB
Inactive:       15040424 kB
Active(anon):     281000 kB
Inactive(anon):    59456 kB
Active(file):   14341540 kB
Inactive(file): 14980968 kB
Unevictable:        7784 kB
Mlocked:            7784 kB
SwapTotal:      67108860 kB
SwapFree:       67058152 kB
Dirty:              5888 kB
Writeback:             0 kB
AnonPages:        295644 kB
Mapped:            49896 kB
Shmem:             48516 kB
Slab:             582852 kB
SReclaimable:     554820 kB
SUnreclaim:        28032 kB
KernelStack:        3568 kB
PageTables:         5852 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     653364 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    272384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 34448 MiB
End job on node103 at 2018-08-11 18:58:05

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 4304061

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data