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)	34	2400.05	2400.11

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291937-1532261744/watcher-4291937-1532261744 -o /tmp/evaluation-result-4291937-1532261744/solver-4291937-1532261744 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532261739-2079 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2054144775 HOME/instance-4291937-1532261744.xml 

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

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
Current StackSize limit: 8192 KiB

solver pid=2242, runsolver pid=2239

[startup+0.100198 s]*
/proc/loadavg: 2.00 2.01 1.92 5/187 2243
/proc/meminfo: memFree=22706480/32770624 swapFree=67108860/67108860
[pid=2242] ppid=2239 vsize=33076 memory=7588 CPUtime=0.1 cores=0,2,4,6
/proc/2242/stat : 2242 (MistralXCSP) R 2239 2242 2046 0 -1 4202496 2086 0 0 0 10 0 0 0 20 0 1 0 43737564 33869824 1897 33554432000 4194304 7498468 140726465892016 140726465885256 140259976084453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20189184 140726465897581 140726465897731 140726465897731 140726465900489 0
/proc/2242/statm: 8269 1897 702 807 0 1260 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33076 KiB
Current children cumulated memory: 7588 KiB

[startup+0.209749 s]*
/proc/loadavg: 2.00 2.01 1.92 3/187 2243
/proc/meminfo: memFree=22702364/32770624 swapFree=67108860/67108860
[pid=2242] ppid=2239 vsize=36444 memory=10888 CPUtime=0.21 cores=0,2,4,6
/proc/2242/stat : 2242 (MistralXCSP) R 2239 2242 2046 0 -1 4202496 2925 0 0 0 21 0 0 0 20 0 1 0 43737564 37318656 2722 33554432000 4194304 7498468 140726465892016 140726465885256 140259973397456 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20189184 140726465897581 140726465897731 140726465897731 140726465900489 0
/proc/2242/statm: 9111 2722 702 807 0 2102 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 36444 KiB
Current children cumulated memory: 10888 KiB

[startup+0.309343 s]*
/proc/loadavg: 2.00 2.01 1.92 3/187 2243
/proc/meminfo: memFree=22693436/32770624 swapFree=67108860/67108860
[pid=2242] ppid=2239 vsize=39476 memory=14064 CPUtime=0.3 cores=0,2,4,6
/proc/2242/stat : 2242 (MistralXCSP) R 2239 2242 2046 0 -1 4202496 3692 0 0 0 30 0 0 0 20 0 1 0 43737564 40423424 3516 33554432000 4194304 7498468 140726465892016 140726465885256 140259976084453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20189184 140726465897581 140726465897731 140726465897731 140726465900489 0
/proc/2242/statm: 9869 3516 702 807 0 2860 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39476 KiB
Current children cumulated memory: 14064 KiB

[startup+0.700367 s]
/proc/loadavg: 2.00 2.01 1.92 3/187 2243
/proc/meminfo: memFree=22602916/32770624 swapFree=67108860/67108860
[pid=2242] ppid=2239 vsize=51164 memory=25620 CPUtime=0.69 cores=0,2,4,6
/proc/2242/stat : 2242 (MistralXCSP) R 2239 2242 2046 0 -1 4202496 6644 0 0 0 68 1 0 0 20 0 1 0 43737564 52391936 6405 33554432000 4194304 7498468 140726465892016 140726465883160 140259979574313 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20189184 140726465897581 140726465897731 140726465897731 140726465900489 0
/proc/2242/statm: 12791 6405 702 807 0 5782 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 51164 KiB
Current children cumulated memory: 25620 KiB

[startup+1.50035 s]
/proc/loadavg: 2.00 2.01 1.92 3/187 2243
/proc/meminfo: memFree=22578008/32770624 swapFree=67108860/67108860
[pid=2242] ppid=2239 vsize=75088 memory=49620 CPUtime=1.49 cores=0,2,4,6
/proc/2242/stat : 2242 (MistralXCSP) R 2239 2242 2046 0 -1 4202496 12696 0 0 0 148 1 0 0 20 0 1 0 43737564 76890112 12405 33554432000 4194304 7498468 140726465892016 140726465883016 5885316 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20189184 140726465897581 140726465897731 140726465897731 140726465900489 0
/proc/2242/statm: 18772 12405 702 807 0 11763 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 75088 KiB
Current children cumulated memory: 49620 KiB

[startup+3.10964 s]
/proc/loadavg: 1.92 2.00 1.92 3/187 2243
/proc/meminfo: memFree=22476300/32770624 swapFree=67108860/67108860
[pid=2242] ppid=2239 vsize=161500 memory=136188 CPUtime=3.09 cores=0,2,4,6
/proc/2242/stat : 2242 (MistralXCSP) R 2239 2242 2046 0 -1 4202496 52476 0 0 0 304 5 0 0 20 0 1 0 43737564 165376000 34047 33554432000 4194304 7498468 140726465892016 140726465887032 4249744 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20189184 140726465897581 140726465897731 140726465897731 140726465900489 0
/proc/2242/statm: 40375 34047 751 807 0 33366 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 161500 KiB
Current children cumulated memory: 136188 KiB

[startup+6.30041 s]
/proc/loadavg: 1.92 2.00 1.92 3/187 2243
/proc/meminfo: memFree=22475012/32770624 swapFree=67108860/67108860
[pid=2242] ppid=2239 vsize=162480 memory=137200 CPUtime=6.29 cores=0,2,4,6
/proc/2242/stat : 2242 (MistralXCSP) R 2239 2242 2046 0 -1 4202496 78206 0 0 0 622 7 0 0 20 0 1 0 43737564 166379520 34300 33554432000 4194304 7498468 140726465892016 140726465886440 5621519 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20189184 140726465897581 140726465897731 140726465897731 140726465900489 0
/proc/2242/statm: 40620 34300 753 807 0 33611 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 162480 KiB
Current children cumulated memory: 137200 KiB

[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 1.92 3/187 2243
/proc/meminfo: memFree=22473524/32770624 swapFree=67108860/67108860
[pid=2242] ppid=2239 vsize=163296 memory=137912 CPUtime=12.69 cores=0,2,4,6
/proc/2242/stat : 2242 (MistralXCSP) R 2239 2242 2046 0 -1 4202496 104197 0 0 0 1261 8 0 0 20 0 1 0 43737564 167215104 34478 33554432000 4194304 7498468 140726465892016 140726465886472 4252703 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20189184 140726465897581 140726465897731 140726465897731 140726465900489 0
/proc/2242/statm: 40824 34478 753 807 0 33815 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 163296 KiB
Current children cumulated memory: 137912 KiB

[startup+25.5004 s]
/proc/loadavg: 1.95 2.00 1.92 3/187 2243
/proc/meminfo: memFree=22471096/32770624 swapFree=67108860/67108860
[pid=2242] ppid=2239 vsize=163692 memory=138388 CPUtime=25.48 cores=0,2,4,6
/proc/2242/stat : 2242 (MistralXCSP) R 2239 2242 2046 0 -1 4202496 133091 0 0 0 2539 9 0 0 20 0 1 0 43737564 167620608 34597 33554432000 4194304 7498468 140726465892016 140726465886472 5585598 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20189184 140726465897581 140726465897731 140726465897731 140726465900489 0
/proc/2242/statm: 40923 34597 753 807 0 33914 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 163692 KiB
Current children cumulated memory: 138388 KiB

[startup+51.1095 s]
/proc/loadavg: 1.96 2.00 1.92 3/187 2243
/proc/meminfo: memFree=22470340/32770624 swapFree=67108860/67108860
[pid=2242] ppid=2239 vsize=163692 memory=138500 CPUtime=51.09 cores=0,2,4,6
/proc/2242/stat : 2242 (MistralXCSP) R 2239 2242 2046 0 -1 4202496 182149 0 0 0 5098 11 0 0 20 0 1 0 43737564 167620608 34625 33554432000 4194304 7498468 140726465892016 140726465886472 5613399 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20189184 140726465897581 140726465897731 140726465897731 140726465900489 0
/proc/2242/statm: 40923 34625 753 807 0 33914 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 163692 KiB
Current children cumulated memory: 138500 KiB

[startup+102.3 s]
/proc/loadavg: 1.99 2.00 1.93 3/187 2244
/proc/meminfo: memFree=22468892/32770624 swapFree=67108860/67108860
[pid=2242] ppid=2239 vsize=163824 memory=138604 CPUtime=102.29 cores=0,2,4,6
/proc/2242/stat : 2242 (MistralXCSP) R 2239 2242 2046 0 -1 4202496 208212 0 0 0 10216 13 0 0 20 0 1 0 43737564 167755776 34651 33554432000 4194304 7498468 140726465892016 140726465886472 4249943 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20189184 140726465897581 140726465897731 140726465897731 140726465900489 0
/proc/2242/statm: 40956 34651 753 807 0 33947 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 163824 KiB
Current children cumulated memory: 138604 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.93 3/187 2245
/proc/meminfo: memFree=22469192/32770624 swapFree=67108860/67108860
[pid=2242] ppid=2239 vsize=163956 memory=138648 CPUtime=162.29 cores=0,2,4,6
/proc/2242/stat : 2242 (MistralXCSP) R 2239 2242 2046 0 -1 4202496 234264 0 0 0 16215 14 0 0 20 0 1 0 43737564 167890944 34662 33554432000 4194304 7498468 140726465892016 140726465886440 4252715 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20189184 140726465897581 140726465897731 140726465897731 140726465900489 0
/proc/2242/statm: 40989 34662 753 807 0 33980 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 163956 KiB
Current children cumulated memory: 138648 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/187 2246
/proc/meminfo: memFree=22468024/32770624 swapFree=67108860/67108860
[pid=2242] ppid=2239 vsize=163956 memory=138664 CPUtime=222.28 cores=0,2,4,6
/proc/2242/stat : 2242 (MistralXCSP) R 2239 2242 2046 0 -1 4202496 260311 0 0 0 22213 15 0 0 20 0 1 0 43737564 167890944 34666 33554432000 4194304 7498468 140726465892016 140726465886440 5613376 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20189184 140726465897581 140726465897731 140726465897731 140726465900489 0
/proc/2242/statm: 40989 34666 753 807 0 33980 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 163956 KiB
Current children cumulated memory: 138664 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/189 2256
/proc/meminfo: memFree=22467744/32770624 swapFree=67108860/67108860
[pid=2242] ppid=2239 vsize=163956 memory=138792 CPUtime=282.26 cores=0,2,4,6
/proc/2242/stat : 2242 (MistralXCSP) R 2239 2242 2046 0 -1 4202496 273732 0 0 0 28210 16 0 0 20 0 1 0 43737564 167890944 34698 33554432000 4194304 7498468 140726465892016 140726465886440 4404908 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20189184 140726465897581 140726465897731 140726465897731 140726465900489 0
/proc/2242/statm: 40989 34698 753 807 0 33980 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 163956 KiB
Current children cumulated memory: 138792 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/189 2257
/proc/meminfo: memFree=22468496/32770624 swapFree=67108860/67108860
[pid=2242] ppid=2239 vsize=163956 memory=138804 CPUtime=342.26 cores=0,2,4,6
/proc/2242/stat : 2242 (MistralXCSP) R 2239 2242 2046 0 -1 4202496 274362 0 0 0 34210 16 0 0 20 0 1 0 43737564 167890944 34701 33554432000 4194304 7498468 140726465892016 140726465886440 4252688 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20189184 140726465897581 140726465897731 140726465897731 140726465900489 0
/proc/2242/statm: 40989 34701 753 807 0 33980 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 163956 KiB
Current children cumulated memory: 138804 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/189 2258
/proc/meminfo: memFree=22469076/32770624 swapFree=67108860/67108860
[pid=2242] ppid=2239 vsize=163956 memory=138808 CPUtime=402.26 cores=0,2,4,6
/proc/2242/stat : 2242 (MistralXCSP) R 2239 2242 2046 0 -1 4202496 274707 0 0 0 40210 16 0 0 20 0 1 0 43737564 167890944 34702 33554432000 4194304 7498468 140726465892016 140726465886440 5613660 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20189184 140726465897581 140726465897731 140726465897731 140726465900489 0
/proc/2242/statm: 40989 34702 753 807 0 33980 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 163956 KiB
Current children cumulated memory: 138808 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/189 2259
/proc/meminfo: memFree=22469160/32770624 swapFree=67108860/67108860
[pid=2242] ppid=2239 vsize=163956 memory=138816 CPUtime=462.26 cores=0,2,4,6
/proc/2242/stat : 2242 (MistralXCSP) R 2239 2242 2046 0 -1 4202496 275052 0 0 0 46210 16 0 0 20 0 1 0 43737564 167890944 34704 33554432000 4194304 7498468 140726465892016 140726465886440 5621529 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20189184 140726465897581 140726465897731 140726465897731 140726465900489 0
/proc/2242/statm: 40989 34704 753 807 0 33980 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 163956 KiB
Current children cumulated memory: 138816 KiB


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

/proc/2242/statm: 41078 34785 753 807 0 34069 0
Current children cumulated CPU time: 1662.23 s
Current children cumulated vsize: 164312 KiB
Current children cumulated memory: 139140 KiB

[startup+1722.3 s]
/proc/loadavg: 2.01 2.08 2.05 3/187 2297
/proc/meminfo: memFree=22466676/32770624 swapFree=67108860/67108860
[pid=2242] ppid=2239 vsize=164312 memory=139140 CPUtime=1722.23 cores=0,2,4,6
/proc/2242/stat : 2242 (MistralXCSP) R 2239 2242 2046 0 -1 4202496 283803 0 0 0 172207 16 0 0 20 0 1 0 43737564 168255488 34785 33554432000 4194304 7498468 140726465892016 140726465887192 4249936 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20189184 140726465897581 140726465897731 140726465897731 140726465900489 0
/proc/2242/statm: 41078 34785 753 807 0 34069 0
Current children cumulated CPU time: 1722.23 s
Current children cumulated vsize: 164312 KiB
Current children cumulated memory: 139140 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.07 2.05 3/187 2298
/proc/meminfo: memFree=22466600/32770624 swapFree=67108860/67108860
[pid=2242] ppid=2239 vsize=164312 memory=139140 CPUtime=1782.23 cores=0,2,4,6
/proc/2242/stat : 2242 (MistralXCSP) R 2239 2242 2046 0 -1 4202496 284154 0 0 0 178207 16 0 0 20 0 1 0 43737564 168255488 34785 33554432000 4194304 7498468 140726465892016 140726465887192 5613376 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20189184 140726465897581 140726465897731 140726465897731 140726465900489 0
/proc/2242/statm: 41078 34785 753 807 0 34069 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 164312 KiB
Current children cumulated memory: 139140 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.06 2.05 3/187 2299
/proc/meminfo: memFree=22466848/32770624 swapFree=67108860/67108860
[pid=2242] ppid=2239 vsize=164312 memory=139140 CPUtime=1842.24 cores=0,2,4,6
/proc/2242/stat : 2242 (MistralXCSP) R 2239 2242 2046 0 -1 4202496 284805 0 0 0 184207 17 0 0 20 0 1 0 43737564 168255488 34785 33554432000 4194304 7498468 140726465892016 140726465887192 4258039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20189184 140726465897581 140726465897731 140726465897731 140726465900489 0
/proc/2242/statm: 41078 34785 753 807 0 34069 0
Current children cumulated CPU time: 1842.24 s
Current children cumulated vsize: 164312 KiB
Current children cumulated memory: 139140 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/187 2300
/proc/meminfo: memFree=22467356/32770624 swapFree=67108860/67108860
[pid=2242] ppid=2239 vsize=164312 memory=139140 CPUtime=1902.24 cores=0,2,4,6
/proc/2242/stat : 2242 (MistralXCSP) R 2239 2242 2046 0 -1 4202496 285141 0 0 0 190207 17 0 0 20 0 1 0 43737564 168255488 34785 33554432000 4194304 7498468 140726465892016 140726465887192 4249696 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20189184 140726465897581 140726465897731 140726465897731 140726465900489 0
/proc/2242/statm: 41078 34785 753 807 0 34069 0
Current children cumulated CPU time: 1902.24 s
Current children cumulated vsize: 164312 KiB
Current children cumulated memory: 139140 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 2301
/proc/meminfo: memFree=22467972/32770624 swapFree=67108860/67108860
[pid=2242] ppid=2239 vsize=164312 memory=139140 CPUtime=1962.24 cores=0,2,4,6
/proc/2242/stat : 2242 (MistralXCSP) R 2239 2242 2046 0 -1 4202496 285515 0 0 0 196207 17 0 0 20 0 1 0 43737564 168255488 34785 33554432000 4194304 7498468 140726465892016 140726465887192 4252715 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20189184 140726465897581 140726465897731 140726465897731 140726465900489 0
/proc/2242/statm: 41078 34785 753 807 0 34069 0
Current children cumulated CPU time: 1962.24 s
Current children cumulated vsize: 164312 KiB
Current children cumulated memory: 139140 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 2302
/proc/meminfo: memFree=22468112/32770624 swapFree=67108860/67108860
[pid=2242] ppid=2239 vsize=164312 memory=139140 CPUtime=2022.24 cores=0,2,4,6
/proc/2242/stat : 2242 (MistralXCSP) R 2239 2242 2046 0 -1 4202496 285865 0 0 0 202207 17 0 0 20 0 1 0 43737564 168255488 34785 33554432000 4194304 7498468 140726465892016 140726465887192 4314717 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20189184 140726465897581 140726465897731 140726465897731 140726465900489 0
/proc/2242/statm: 41078 34785 753 807 0 34069 0
Current children cumulated CPU time: 2022.24 s
Current children cumulated vsize: 164312 KiB
Current children cumulated memory: 139140 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 2311
/proc/meminfo: memFree=22466576/32770624 swapFree=67108860/67108860
[pid=2242] ppid=2239 vsize=164312 memory=139140 CPUtime=2082.24 cores=0,2,4,6
/proc/2242/stat : 2242 (MistralXCSP) R 2239 2242 2046 0 -1 4202496 286226 0 0 0 208207 17 0 0 20 0 1 0 43737564 168255488 34785 33554432000 4194304 7498468 140726465892016 140726465887192 5613391 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20189184 140726465897581 140726465897731 140726465897731 140726465900489 0
/proc/2242/statm: 41078 34785 753 807 0 34069 0
Current children cumulated CPU time: 2082.24 s
Current children cumulated vsize: 164312 KiB
Current children cumulated memory: 139140 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 2312
/proc/meminfo: memFree=22466948/32770624 swapFree=67108860/67108860
[pid=2242] ppid=2239 vsize=164312 memory=139140 CPUtime=2142.23 cores=0,2,4,6
/proc/2242/stat : 2242 (MistralXCSP) R 2239 2242 2046 0 -1 4202496 286587 0 0 0 214206 17 0 0 20 0 1 0 43737564 168255488 34785 33554432000 4194304 7498468 140726465892016 140726465887192 4404954 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20189184 140726465897581 140726465897731 140726465897731 140726465900489 0
/proc/2242/statm: 41078 34785 753 807 0 34069 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 164312 KiB
Current children cumulated memory: 139140 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 2313
/proc/meminfo: memFree=22466932/32770624 swapFree=67108860/67108860
[pid=2242] ppid=2239 vsize=164312 memory=139140 CPUtime=2202.23 cores=0,2,4,6
/proc/2242/stat : 2242 (MistralXCSP) R 2239 2242 2046 0 -1 4202496 286923 0 0 0 220206 17 0 0 20 0 1 0 43737564 168255488 34785 33554432000 4194304 7498468 140726465892016 140726465887192 4249938 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20189184 140726465897581 140726465897731 140726465897731 140726465900489 0
/proc/2242/statm: 41078 34785 753 807 0 34069 0
Current children cumulated CPU time: 2202.23 s
Current children cumulated vsize: 164312 KiB
Current children cumulated memory: 139140 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2314
/proc/meminfo: memFree=22466768/32770624 swapFree=67108860/67108860
[pid=2242] ppid=2239 vsize=164312 memory=139140 CPUtime=2262.23 cores=0,2,4,6
/proc/2242/stat : 2242 (MistralXCSP) R 2239 2242 2046 0 -1 4202496 287259 0 0 0 226206 17 0 0 20 0 1 0 43737564 168255488 34785 33554432000 4194304 7498468 140726465892016 140726465887192 4541152 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20189184 140726465897581 140726465897731 140726465897731 140726465900489 0
/proc/2242/statm: 41078 34785 753 807 0 34069 0
Current children cumulated CPU time: 2262.23 s
Current children cumulated vsize: 164312 KiB
Current children cumulated memory: 139140 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2315
/proc/meminfo: memFree=22466604/32770624 swapFree=67108860/67108860
[pid=2242] ppid=2239 vsize=164312 memory=139140 CPUtime=2322.23 cores=0,2,4,6
/proc/2242/stat : 2242 (MistralXCSP) R 2239 2242 2046 0 -1 4202496 287601 0 0 0 232206 17 0 0 20 0 1 0 43737564 168255488 34785 33554432000 4194304 7498468 140726465892016 140726465887192 5575238 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20189184 140726465897581 140726465897731 140726465897731 140726465900489 0
/proc/2242/statm: 41078 34785 753 807 0 34069 0
Current children cumulated CPU time: 2322.23 s
Current children cumulated vsize: 164312 KiB
Current children cumulated memory: 139140 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2317
/proc/meminfo: memFree=22466644/32770624 swapFree=67108860/67108860
[pid=2242] ppid=2239 vsize=164312 memory=139140 CPUtime=2382.23 cores=0,2,4,6
/proc/2242/stat : 2242 (MistralXCSP) R 2239 2242 2046 0 -1 4202496 288253 0 0 0 238206 17 0 0 20 0 1 0 43737564 168255488 34785 33554432000 4194304 7498468 140726465892016 140726465887192 5613660 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20189184 140726465897581 140726465897731 140726465897731 140726465900489 0
/proc/2242/statm: 41078 34785 753 807 0 34069 0
Current children cumulated CPU time: 2382.23 s
Current children cumulated vsize: 164312 KiB
Current children cumulated memory: 139140 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.11 s]
/proc/loadavg: 1.92 2.00 2.04 3/187 2381
/proc/meminfo: memFree=22507552/32770624 swapFree=67108860/67108860
[pid=2242] ppid=2239 vsize=164312 memory=139152 CPUtime=2400.04 cores=0,2,4,6
/proc/2242/stat : 2242 (MistralXCSP) R 2239 2242 2046 0 -1 4202496 288561 0 0 0 239987 17 0 0 20 0 1 0 43737564 168255488 34788 33554432000 4194304 7498468 140726465892016 140726465887192 4257911 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20189184 140726465897581 140726465897731 140726465897731 140726465900489 0
/proc/2242/statm: 41078 34788 753 807 0 34069 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 164312 KiB
Current children cumulated memory: 139152 KiB

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

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

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

[startup+2400.11 s]
/proc/loadavg: 1.92 2.00 2.04 3/187 2381
/proc/meminfo: memFree=22507552/32770624 swapFree=67108860/67108860
[pid=2242] ppid=2239 vsize=164312 memory=139152 CPUtime=2400.04 cores=0,2,4,6
/proc/2242/stat : 2242 (MistralXCSP) R 2239 2242 2046 0 -1 4202496 288561 0 0 0 239987 17 0 0 20 0 1 0 43737564 168255488 34788 33554432000 4194304 7498468 140726465892016 140726465887192 4257911 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20189184 140726465897581 140726465897731 140726465897731 140726465900489 0
/proc/2242/statm: 41078 34788 753 807 0 34069 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 164312 KiB
Current children cumulated memory: 139152 KiB

Child status: 0
Real time (s): 2400.11
CPU time (s): 2400.05
CPU user time (s): 2399.87
CPU system time (s): 0.175997
CPU usage (%): 99.9974
Max. virtual memory (cumulated for all children) (KiB): 164312
Max. memory (cumulated for all children) (KiB): 139152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.87
system time used= 0.175997
maximum resident set size= 139204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 288659
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= 50
involuntary context switches= 675


# summary of solver processes directly reported to runsolver:
#   pid: 2242
#   total CPU time (s): 2400.05
#   total CPU user time (s): 2399.87
#   total CPU system time (s): 0.175997

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.01687 second user time and 16.0996 second system time

The end

Begin job on node138 at 2018-07-22 14:15:44
IDJOB=4291937
IDBENCH=141205
IDSOLVER=2741
FILE ID=node138/4291937-1532261744
RUNJOBID= node138-1532261739-2079
PBS_JOBID= 21018975
Free space on /tmp= 59100 MiB

SOLVER NAME= Mistral-2.0 2018-06-15
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-scen-03-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-4291937-1532261744/watcher-4291937-1532261744 -o /tmp/evaluation-result-4291937-1532261744/solver-4291937-1532261744 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532261739-2079 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2054144775 HOME/instance-4291937-1532261744.xml

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

MD5SUM BENCH= 631d96c8d55ed895f005166b86b2772f
RANDOM SEED=2054144775

node138.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.71
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.71
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.71
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.71
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:        22712700 kB
MemAvailable:   31783932 kB
Buffers:          243932 kB
Cached:          9068828 kB
SwapCached:            0 kB
Active:          2459968 kB
Inactive:        7079500 kB
Active(anon):     229644 kB
Inactive(anon):    16960 kB
Active(file):    2230324 kB
Inactive(file):  7062540 kB
Unevictable:        7280 kB
Mlocked:            7280 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             10072 kB
Writeback:            56 kB
AnonPages:        229952 kB
Mapped:            37216 kB
Shmem:             17036 kB
Slab:             215372 kB
SReclaimable:     188404 kB
SUnreclaim:        26968 kB
KernelStack:        3424 kB
PageTables:         5096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     511268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 58968 MiB
End job on node138 at 2018-07-22 14:55:44

Name	Rlfap/Rlfap-opt/ Rlfap-scen-03-opt_c18.xml
MD5SUM	631d96c8d55ed895f005166b86b2772f
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.06
Satisfiable
(Un)Satisfiability was proved
Number of variables	400
Number of constraints	2760
Number of domains	4
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":2},{"size":22,"count":8},{"size":36,"count":182},{"size":44,"count":208}]
Minimum variable degree	4
Maximum variable degree	62
Distribution of variable degrees	[{"degree":4,"count":16},{"degree":5,"count":11},{"degree":6,"count":28},{"degree":7,"count":18},{"degree":8,"count":30},{"degree":9,"count":5},{"degree":10,"count":40},{"degree":11,"count":25},{"degree":12,"count":20},{"degree":13,"count":11},{"degree":14,"count":23},{"degree":15,"count":16},{"degree":16,"count":20},{"degree":17,"count":7},{"degree":18,"count":26},{"degree":19,"count":7},{"degree":20,"count":16},{"degree":21,"count":14},{"degree":22,"count":7},{"degree":23,"count":7},{"degree":24,"count":8},{"degree":25,"count":5},{"degree":26,"count":9},{"degree":27,"count":4},{"degree":28,"count":2},{"degree":29,"count":4},{"degree":30,"count":2},{"degree":31,"count":4},{"degree":32,"count":3},{"degree":33,"count":1},{"degree":37,"count":1},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":2},{"degree":55,"count":1},{"degree":62,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":2760}]
Number of extensional constraints	0
Number of intensional constraints	2760
Distribution of constraint types	[{"type":"intension","count":2760}]
Optimization problem	YES
Type of objective	min NVALUES

Trace number 4291937

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data