Trace number 242485

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CSPtoSAT+minisat 0.3SAT 0.132979 0.140699

General information on the benchmark

Namedimacs/varDimacs/
bf-0432-007_ext.xml
MD5SUM8ef6acc181e34b3544105edf85fc32bd
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.096984
SatisfiableYES
(Un)Satisfiability was proved
Number of variables970
Number of constraints1943
Maximum constraint arity5
Maximum domain size2
Number of constraints which are defined in extension1943
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.01	c This is CSPtoSAT+minisat version 0.3
0.01	c (c) 2006 roussel@cril.univ-artois.fr
0.01	
0.01	c This solver internally uses a modified version of MiniSat2 version 061112
0.01	c MiniSat -- Copyright (c) 2003-2006, Niklas Een, Niklas Sorensson
0.01	
0.01	c parsing...
0.03	c preparing clauses for relation R0
0.03	c preparing clauses for relation R1
0.03	c preparing clauses for relation R2
0.03	c preparing clauses for relation R3
0.03	c preparing clauses for relation R4
0.03	c preparing clauses for relation R5
0.03	c preparing clauses for relation R6
0.03	c preparing clauses for relation R7
0.03	c preparing clauses for relation R8
0.03	c preparing clauses for relation R9
0.03	c preparing clauses for relation R10
0.03	c preparing clauses for relation R11
0.03	c preparing clauses for relation R12
0.03	c instanciating clauses for relation R0 (conflicts) and variables V928 V926 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V927 V926 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V193 V29 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V199 V193 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V931 V929 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V930 V929 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V627 V32 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V242 V187 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V100 V79 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V621 V79 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V434 V79 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V452 V79 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V468 V452 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V483 V260 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V916 V470 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V915 V470 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V480 V471 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V933 V472 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V932 V472 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V446 V434 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V746 V434 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V649 V434 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V894 V440 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V904 V876 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V903 V876 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V891 V877 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V935 V878 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V934 V878 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V764 V437 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V910 V560 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V909 V560 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V737 V561 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V937 V562 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V936 V562 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V219 V209 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V922 V201 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V921 V201 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V206 V202 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V939 V203 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V938 V203 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V589 V449 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V615 V558 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V914 V564 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V913 V564 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V609 V565 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V941 V566 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V940 V566 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V115 V100 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V310 V100 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V295 V100 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V325 V100 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V511 V109 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V924 V49 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V923 V49 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V196 V50 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V943 V51 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V942 V51 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V664 V106 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V906 V656 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V905 V656 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V796 V657 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V945 V658 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V944 V658 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V800 V103 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V918 V274 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V917 V274 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V280 V275 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V947 V276 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V946 V276 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V680 V76 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V912 V670 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V911 V670 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V676 V671 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V949 V672 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V948 V672 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V952 V950 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V951 V950 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V537 V35 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V554 V239 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V67 V94 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V97 V94 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V82 V94 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V85 V82 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V88 V82 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V91 V82 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V498 V91 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V319 V91 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V508 V91 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V322 V319 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V328 V322 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V331 V322 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V501 V498 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V504 V498 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V803 V88 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V313 V85 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V316 V85 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V233 V97 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V213 V97 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V236 V97 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V743 V236 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V767 V236 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V761 V236 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V640 V761 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V776 V761 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V791 V761 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V897 V791 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V779 V776 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V782 V776 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V643 V640 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V646 V640 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V652 V643 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V908 V742 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V907 V742 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V749 V743 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V752 V743 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V955 V744 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V954 V744 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V216 V213 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V222 V213 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V920 V215 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V919 V215 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V443 V216 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V230 V216 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V957 V217 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V956 V217 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V266 V233 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V257 V266 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V269 V266 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V272 V266 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V586 V272 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V612 V272 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V618 V272 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V624 V612 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V630 V612 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V592 V586 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V595 V586 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V486 V269 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V465 V257 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V263 V257 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V70 V67 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V73 V67 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V61 V67 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V64 V61 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V283 V64 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V286 V64 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V289 V64 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V661 V289 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V304 V286 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V307 V286 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V292 V283 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V298 V292 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V301 V292 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V683 V73 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V112 V70 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V227 V70 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V960 V958 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V959 V958 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V190 V47 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V166 V47 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V181 V166 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V172 V166 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V175 V166 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V367 V166 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V713 V178 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V710 V178 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V713 V716 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V720 V710 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V723 V720 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V726 V720 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V726 V729 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V723 V837 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V548 V175 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V551 V175 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V519 V130 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V812 V519 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V818 V519 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V809 V519 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V818 V821 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V812 V815 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V824 V809 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V827 V824 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V827 V830 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V698 V340 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V688 V340 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V691 V688 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V691 V694 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V701 V698 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V704 V698 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V704 V707 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V701 V833 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V385 V172 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V376 V172 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V397 V172 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V406 V379 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V574 V352 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V580 V352 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V571 V352 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V580 V583 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V574 V577 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V599 V571 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V605 V602 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V599 V602 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V416 V376 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V409 V376 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V422 V376 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V251 V245 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V254 V245 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V248 V245 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V254 V473 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V251 V492 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V455 V248 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V462 V455 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V462 V488 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V459 V409 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V459 V412 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V425 V416 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V428 V416 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V428 V431 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V425 V731 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V540 V337 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V522 V337 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V522 V545 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V544 V545 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V540 V545 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V525 V522 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V531 V522 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V531 V534 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V525 V528 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V785 V169 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V788 V169 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V770 V169 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V788 V879 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V785 V884 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V773 V770 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V874 V773 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V874 V899 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V863 V190 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V860 V190 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V863 V867 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V842 V860 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V845 V842 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V851 V842 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V851 V848 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V845 V854 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V963 V961 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V962 V961 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V142 V41 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V151 V41 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V124 V41 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V136 V41 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V388 V127 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V355 V124 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V403 V124 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V361 V124 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V343 V121 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V349 V121 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V358 V121 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V334 V121 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V382 V334 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V184 V118 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V966 V964 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V965 V964 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V346 V38 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V157 V38 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V139 V38 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V145 V38 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V364 V133 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V370 V364 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V373 V364 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V969 V967 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V968 V967 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V154 V44 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V160 V44 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V148 V44 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V163 V44 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V391 V148 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V419 V148 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V394 V148 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V400 V148 
0.04	c instanciating clauses for relation R1 (conflicts) and variables V953 V713 V827 V845 V874 
0.04	c instanciating clauses for relation R1 (conflicts) and variables V130 V346 V349 V355 V551 
0.04	c instanciating clauses for relation R1 (conflicts) and variables V127 V136 V139 V343 V391 
0.04	c instanciating clauses for relation R2 (conflicts) and variables V925 V32 V29 
0.04	c instanciating clauses for relation R2 (conflicts) and variables V926 V928 V927 
0.04	c instanciating clauses for relation R2 (conflicts) and variables V929 V931 V930 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V452 V433 V435 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V452 V620 V622 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V452 V99 V101 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V434 V451 V453 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V434 V620 V622 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V434 V99 V101 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V621 V451 V453 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V621 V433 V435 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V621 V99 V101 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V100 V451 V453 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V100 V433 V435 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V100 V620 V622 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V260 V465 V468 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V471 V483 V486 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V470 V916 V915 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V472 V933 V932 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V877 V894 V897 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V876 V904 V903 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V878 V935 V934 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V437 V746 V749 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V561 V764 V767 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V560 V910 V909 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V562 V937 V936 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V209 V443 V446 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V202 V219 V222 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V201 V922 V921 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V203 V939 V938 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V449 V621 V624 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V558 V589 V592 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V565 V615 V618 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V564 V914 V913 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V566 V941 V940 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V50 V508 V511 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V49 V924 V923 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V51 V943 V942 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V657 V661 V664 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V656 V906 V905 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V658 V945 V944 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V103 V310 V313 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V275 V800 V803 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V274 V918 V917 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V276 V947 V946 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V76 V112 V115 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V671 V680 V683 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V670 V912 V911 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V672 V949 V948 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V950 V952 V951 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V82 V96 V98 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V82 V66 V68 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V97 V81 V83 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V97 V66 V68 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V67 V81 V83 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V67 V96 V98 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V88 V84 V86 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V85 V87 V89 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V319 V497 V499 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V498 V318 V320 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V504 V500 V502 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V501 V503 V505 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V759 V760 V762 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V767 V760 V762 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V743 V760 V762 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V776 V790 V792 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V640 V790 V792 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V742 V908 V907 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V744 V955 V954 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V215 V920 V919 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V217 V957 V956 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V269 V256 V258 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V257 V268 V270 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V612 V585 V587 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V586 V611 V613 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V630 V623 V625 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V624 V629 V631 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V595 V591 V593 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V592 V594 V596 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V73 V69 V71 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V70 V72 V74 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V286 V288 V290 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V283 V288 V290 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V301 V297 V299 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V298 V300 V302 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V958 V960 V959 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V717 V712 V714 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V730 V725 V727 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V838 V722 V724 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V551 V547 V549 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V548 V550 V552 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V822 V817 V819 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V816 V811 V813 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V831 V826 V828 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V688 V697 V699 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V698 V687 V689 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V695 V690 V692 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V708 V703 V705 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V834 V700 V702 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V397 V375 V377 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V397 V384 V386 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V376 V396 V398 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V376 V384 V386 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V385 V396 V398 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V385 V375 V377 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V379 V397 V400 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V352 V403 V406 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V584 V579 V581 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V578 V573 V575 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V409 V415 V417 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V416 V408 V410 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V245 V419 V422 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V474 V253 V255 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V493 V250 V252 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V489 V461 V463 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V413 V458 V460 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V432 V427 V429 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V732 V424 V426 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V337 V382 V385 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V546 V521 V523 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V544 V521 V523 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V540 V521 V523 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V535 V530 V532 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V529 V524 V526 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V169 V181 V184 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V880 V787 V789 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V885 V784 V786 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V900 V873 V875 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V868 V862 V864 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V849 V850 V852 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V855 V844 V846 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V961 V963 V962 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V136 V123 V125 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V136 V150 V152 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V136 V141 V143 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V124 V135 V137 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V124 V150 V152 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V124 V141 V143 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V151 V135 V137 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V151 V123 V125 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V151 V141 V143 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V142 V135 V137 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V142 V123 V125 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V142 V150 V152 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V361 V402 V404 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V361 V354 V356 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V403 V360 V362 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V403 V354 V356 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V355 V360 V362 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V355 V402 V404 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V121 V151 V154 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V334 V357 V359 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V334 V348 V350 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V334 V342 V344 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V358 V333 V335 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V358 V348 V350 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V358 V342 V344 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V349 V333 V335 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V349 V357 V359 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V349 V342 V344 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V343 V333 V335 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V343 V357 V359 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V343 V348 V350 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V964 V966 V965 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V145 V138 V140 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V145 V156 V158 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V145 V345 V347 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V139 V144 V146 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V139 V156 V158 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V139 V345 V347 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V157 V144 V146 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V157 V138 V140 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V157 V345 V347 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V346 V144 V146 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V346 V138 V140 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V346 V156 V158 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V133 V157 V160 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V967 V969 V968 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V163 V147 V149 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V163 V159 V161 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V163 V153 V155 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V148 V162 V164 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V148 V159 V161 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V148 V153 V155 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V160 V162 V164 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V160 V147 V149 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V160 V153 V155 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V154 V162 V164 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V154 V147 V149 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V154 V159 V161 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V400 V393 V395 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V400 V418 V420 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V400 V390 V392 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V394 V399 V401 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V394 V418 V420 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V394 V390 V392 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V419 V399 V401 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V419 V393 V395 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V419 V390 V392 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V391 V399 V401 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V391 V393 V395 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V391 V418 V420 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V636 V673 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V634 V673 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V638 V673 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V30 V927 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V28 V928 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V835 V655 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V836 V655 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V277 V56 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V59 V56 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V527 V52 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V513 V52 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V814 V57 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V807 V57 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V636 V632 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V634 V632 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V638 V632 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V494 V478 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V495 V478 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V886 V871 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V887 V871 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V869 V735 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V870 V735 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V733 V204 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V734 V204 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V576 V567 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V569 V567 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V839 V669 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V840 V669 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V33 V930 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V31 V931 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V482 V259 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V475 V259 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V477 V259 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V483 V477 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V483 V475 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V484 V261 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V475 V261 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V477 V261 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V637 V915 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V479 V916 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V637 V932 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V481 V933 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V445 V433 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V745 V433 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V648 V433 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V447 V435 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V747 V435 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V650 V435 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V893 V439 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V881 V439 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V883 V439 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V894 V883 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V894 V881 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V895 V441 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V881 V441 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V883 V441 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V889 V903 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V890 V904 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V889 V934 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V892 V935 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V763 V436 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V847 V436 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V865 V436 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V764 V865 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V764 V847 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V765 V438 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V847 V438 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V865 V438 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V740 V909 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V736 V910 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V740 V936 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V738 V937 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V218 V208 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V430 V208 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V224 V208 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V219 V224 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V219 V430 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V220 V210 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V430 V210 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V224 V210 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V756 V921 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V205 V922 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V756 V938 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V207 V939 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V614 V557 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V582 V557 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V568 V557 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V615 V568 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V615 V582 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V616 V559 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V582 V559 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V568 V559 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V635 V913 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V608 V914 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V635 V940 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V610 V941 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V114 V99 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V309 V99 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V294 V99 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V324 V99 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V116 V101 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V311 V101 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V296 V101 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V326 V101 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V510 V108 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V533 V108 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V514 V108 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V511 V514 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V511 V533 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V512 V110 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V533 V110 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V514 V110 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V58 V923 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V195 V924 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V58 V942 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V197 V943 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V663 V105 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V706 V105 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V667 V105 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V664 V667 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V664 V706 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V665 V107 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V706 V107 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V667 V107 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V794 V905 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V795 V906 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V794 V944 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V797 V945 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V799 V102 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V820 V102 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V805 V102 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V800 V805 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V800 V820 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V801 V104 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V820 V104 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V805 V104 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V278 V917 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V279 V918 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V278 V946 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V281 V947 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V679 V75 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V728 V75 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V685 V75 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V680 V685 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V680 V728 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V681 V77 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V728 V77 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V685 V77 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V674 V911 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V675 V912 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V674 V948 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V677 V949 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V36 V951 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V34 V952 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V90 V81 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V92 V83 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V507 V90 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V506 V90 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V508 V506 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V319 V506 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V498 V506 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V509 V92 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V506 V92 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V327 V321 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V330 V321 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V329 V323 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V332 V323 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V802 V87 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V829 V87 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V806 V87 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V803 V806 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V803 V829 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V804 V89 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V829 V89 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V806 V89 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V232 V96 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V212 V96 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V235 V96 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V234 V98 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V214 V98 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V237 V98 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V767 V758 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V743 V758 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V896 V790 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V901 V790 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V902 V790 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V897 V902 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V897 V901 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V898 V792 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V901 V792 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V902 V792 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V778 V775 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V781 V775 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V780 V777 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V783 V777 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V642 V639 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V645 V639 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V644 V641 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V647 V641 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V748 V907 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V751 V908 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V750 V954 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V753 V955 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V215 V212 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V221 V212 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V411 V212 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V225 V212 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V222 V225 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V222 V411 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V216 V225 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V216 V411 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V217 V214 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V223 V214 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V411 V214 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V225 V214 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V442 V919 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V229 V920 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V444 V956 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V231 V957 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V271 V265 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V273 V267 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V617 V271 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V603 V271 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V618 V603 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V612 V603 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V586 V603 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V619 V273 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V603 V273 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V485 V268 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V490 V268 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V491 V268 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V486 V491 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V486 V490 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V487 V270 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V490 V270 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V491 V270 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V60 V66 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V62 V68 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V660 V288 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V693 V288 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V666 V288 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V661 V666 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V661 V693 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V662 V290 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V693 V290 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V666 V290 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V303 V285 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V306 V285 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V305 V287 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V308 V287 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V682 V72 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V715 V72 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V686 V72 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V683 V686 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V683 V715 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V684 V74 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V715 V74 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V686 V74 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V48 V959 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V46 V960 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V189 V46 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V165 V46 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V191 V48 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V167 V48 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V180 V165 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V171 V165 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V174 V165 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V366 V165 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V182 V167 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V173 V167 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V176 V167 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V368 V167 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V718 V177 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V709 V177 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V710 V718 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V717 V718 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V713 V718 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V718 V179 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V711 V179 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V808 V518 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V810 V520 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V832 V823 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V831 V832 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V827 V832 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V832 V825 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V696 V687 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V695 V696 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V691 V696 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V696 V689 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V570 V351 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V572 V353 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V599 V604 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V421 V375 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V423 V377 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V247 V244 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V249 V246 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V476 V454 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V489 V476 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V462 V476 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V476 V456 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V414 V408 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V413 V414 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V459 V414 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V414 V410 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V540 V543 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V769 V168 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V771 V170 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V882 V772 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V900 V882 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V874 V882 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V882 V774 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V859 V189 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V866 V189 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V860 V866 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V863 V866 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V868 V866 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V861 V191 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V866 V191 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V42 V962 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V40 V963 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V39 V965 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V37 V966 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V369 V363 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V372 V363 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V371 V365 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V374 V365 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V45 V968 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V43 V969 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V927 V30 V28 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V930 V33 V31 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V915 V637 V479 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V932 V637 V481 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V903 V889 V890 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V934 V889 V892 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V909 V740 V736 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V936 V740 V738 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V921 V756 V205 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V938 V756 V207 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V913 V635 V608 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V940 V635 V610 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V923 V58 V195 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V942 V58 V197 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V905 V794 V795 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V944 V794 V797 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V917 V278 V279 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V946 V278 V281 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V911 V674 V675 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V948 V674 V677 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V951 V36 V34 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V907 V748 V751 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V954 V750 V753 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V919 V442 V229 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V956 V444 V231 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V959 V48 V46 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V962 V42 V40 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V965 V39 V37 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V968 V45 V43 
0.07	c instanciating clauses for relation R5 (supports) and variables V315 V312 V84 
0.07	c instanciating clauses for relation R5 (supports) and variables V317 V314 V86 
0.07	c instanciating clauses for relation R5 (supports) and variables V262 V464 V256 
0.07	c instanciating clauses for relation R5 (supports) and variables V264 V466 V258 
0.07	c instanciating clauses for relation R5 (supports) and variables V226 V111 V69 
0.07	c instanciating clauses for relation R5 (supports) and variables V228 V113 V71 
0.07	c instanciating clauses for relation R6 (supports) and variables V632 V633 
0.07	c instanciating clauses for relation R6 (supports) and variables V53 V195 
0.07	c instanciating clauses for relation R6 (supports) and variables V53 V198 
0.07	c instanciating clauses for relation R6 (supports) and variables V53 V205 
0.07	c instanciating clauses for relation R6 (supports) and variables V53 V250 
0.07	c instanciating clauses for relation R6 (supports) and variables V53 V279 
0.07	c instanciating clauses for relation R6 (supports) and variables V53 V424 
0.07	c instanciating clauses for relation R6 (supports) and variables V53 V479 
0.07	c instanciating clauses for relation R6 (supports) and variables V53 V524 
0.07	c instanciating clauses for relation R6 (supports) and variables V53 V573 
0.07	c instanciating clauses for relation R6 (supports) and variables V53 V608 
0.07	c instanciating clauses for relation R6 (supports) and variables V53 V675 
0.07	c instanciating clauses for relation R6 (supports) and variables V53 V700 
0.07	c instanciating clauses for relation R6 (supports) and variables V53 V722 
0.07	c instanciating clauses for relation R6 (supports) and variables V53 V736 
0.07	c instanciating clauses for relation R6 (supports) and variables V53 V784 
0.07	c instanciating clauses for relation R6 (supports) and variables V53 V795 
0.07	c instanciating clauses for relation R6 (supports) and variables V53 V811 
0.07	c instanciating clauses for relation R6 (supports) and variables V53 V862 
0.07	c instanciating clauses for relation R6 (supports) and variables V53 V890 
0.07	c instanciating clauses for relation R6 (supports) and variables V55 V197 
0.07	c instanciating clauses for relation R6 (supports) and variables V55 V200 
0.07	c instanciating clauses for relation R6 (supports) and variables V55 V207 
0.07	c instanciating clauses for relation R6 (supports) and variables V55 V252 
0.07	c instanciating clauses for relation R6 (supports) and variables V55 V281 
0.07	c instanciating clauses for relation R6 (supports) and variables V55 V426 
0.07	c instanciating clauses for relation R6 (supports) and variables V55 V481 
0.07	c instanciating clauses for relation R6 (supports) and variables V55 V526 
0.07	c instanciating clauses for relation R6 (supports) and variables V55 V575 
0.07	c instanciating clauses for relation R6 (supports) and variables V55 V610 
0.07	c instanciating clauses for relation R6 (supports) and variables V55 V677 
0.07	c instanciating clauses for relation R6 (supports) and variables V55 V702 
0.07	c instanciating clauses for relation R6 (supports) and variables V55 V724 
0.07	c instanciating clauses for relation R6 (supports) and variables V55 V738 
0.07	c instanciating clauses for relation R6 (supports) and variables V55 V786 
0.07	c instanciating clauses for relation R6 (supports) and variables V55 V797 
0.07	c instanciating clauses for relation R6 (supports) and variables V55 V813 
0.07	c instanciating clauses for relation R6 (supports) and variables V55 V864 
0.07	c instanciating clauses for relation R6 (supports) and variables V55 V892 
0.07	c instanciating clauses for relation R6 (supports) and variables V655 V793 
0.08	c instanciating clauses for relation R6 (supports) and variables V655 V794 
0.08	c instanciating clauses for relation R6 (supports) and variables V659 V666 
0.08	c instanciating clauses for relation R6 (supports) and variables V659 V667 
0.08	c instanciating clauses for relation R6 (supports) and variables V659 V696 
0.08	c instanciating clauses for relation R6 (supports) and variables V659 V836 
0.08	c instanciating clauses for relation R6 (supports) and variables V6 V833 
0.08	c instanciating clauses for relation R6 (supports) and variables V6 V835 
0.08	c instanciating clauses for relation R6 (supports) and variables V52 V58 
0.08	c instanciating clauses for relation R6 (supports) and variables V52 V59 
0.08	c instanciating clauses for relation R6 (supports) and variables V496 V513 
0.08	c instanciating clauses for relation R6 (supports) and variables V496 V514 
0.08	c instanciating clauses for relation R6 (supports) and variables V24 V516 
0.08	c instanciating clauses for relation R6 (supports) and variables V24 V517 
0.08	c instanciating clauses for relation R6 (supports) and variables V24 V545 
0.08	c instanciating clauses for relation R6 (supports) and variables V4 V527 
0.08	c instanciating clauses for relation R6 (supports) and variables V4 V528 
0.08	c instanciating clauses for relation R6 (supports) and variables V57 V277 
0.08	c instanciating clauses for relation R6 (supports) and variables V57 V278 
0.08	c instanciating clauses for relation R6 (supports) and variables V798 V805 
0.08	c instanciating clauses for relation R6 (supports) and variables V798 V806 
0.08	c instanciating clauses for relation R6 (supports) and variables V798 V807 
0.08	c instanciating clauses for relation R6 (supports) and variables V798 V832 
0.08	c instanciating clauses for relation R6 (supports) and variables V16 V814 
0.08	c instanciating clauses for relation R6 (supports) and variables V16 V815 
0.08	c instanciating clauses for relation R6 (supports) and variables V478 V637 
0.08	c instanciating clauses for relation R6 (supports) and variables V478 V638 
0.08	c instanciating clauses for relation R6 (supports) and variables V457 V476 
0.08	c instanciating clauses for relation R6 (supports) and variables V457 V477 
0.08	c instanciating clauses for relation R6 (supports) and variables V457 V491 
0.08	c instanciating clauses for relation R6 (supports) and variables V457 V495 
0.08	c instanciating clauses for relation R6 (supports) and variables V20 V492 
0.08	c instanciating clauses for relation R6 (supports) and variables V20 V494 
0.08	c instanciating clauses for relation R6 (supports) and variables V871 V888 
0.08	c instanciating clauses for relation R6 (supports) and variables V871 V889 
0.08	c instanciating clauses for relation R6 (supports) and variables V872 V882 
0.08	c instanciating clauses for relation R6 (supports) and variables V872 V883 
0.08	c instanciating clauses for relation R6 (supports) and variables V872 V887 
0.08	c instanciating clauses for relation R6 (supports) and variables V872 V902 
0.08	c instanciating clauses for relation R6 (supports) and variables V13 V884 
0.08	c instanciating clauses for relation R6 (supports) and variables V13 V886 
0.08	c instanciating clauses for relation R6 (supports) and variables V735 V740 
0.08	c instanciating clauses for relation R6 (supports) and variables V735 V741 
0.08	c instanciating clauses for relation R6 (supports) and variables V563 V865 
0.08	c instanciating clauses for relation R6 (supports) and variables V563 V866 
0.08	c instanciating clauses for relation R6 (supports) and variables V563 V870 
0.08	c instanciating clauses for relation R6 (supports) and variables V26 V857 
0.08	c instanciating clauses for relation R6 (supports) and variables V26 V858 
0.08	c instanciating clauses for relation R6 (supports) and variables V22 V867 
0.08	c instanciating clauses for relation R6 (supports) and variables V22 V869 
0.08	c instanciating clauses for relation R6 (supports) and variables V204 V756 
0.08	c instanciating clauses for relation R6 (supports) and variables V204 V757 
0.08	c instanciating clauses for relation R6 (supports) and variables V211 V224 
0.08	c instanciating clauses for relation R6 (supports) and variables V211 V225 
0.08	c instanciating clauses for relation R6 (supports) and variables V211 V414 
0.08	c instanciating clauses for relation R6 (supports) and variables V211 V734 
0.08	c instanciating clauses for relation R6 (supports) and variables V3 V731 
0.08	c instanciating clauses for relation R6 (supports) and variables V3 V733 
0.08	c instanciating clauses for relation R6 (supports) and variables V567 V635 
0.08	c instanciating clauses for relation R6 (supports) and variables V567 V636 
0.08	c instanciating clauses for relation R6 (supports) and variables V556 V568 
0.08	c instanciating clauses for relation R6 (supports) and variables V556 V569 
0.08	c instanciating clauses for relation R6 (supports) and variables V5 V601 
0.08	c instanciating clauses for relation R6 (supports) and variables V5 V602 
0.08	c instanciating clauses for relation R6 (supports) and variables V5 V607 
0.08	c instanciating clauses for relation R6 (supports) and variables V8 V576 
0.08	c instanciating clauses for relation R6 (supports) and variables V8 V577 
0.08	c instanciating clauses for relation R6 (supports) and variables V669 V673 
0.08	c instanciating clauses for relation R6 (supports) and variables V669 V674 
0.08	c instanciating clauses for relation R6 (supports) and variables V678 V685 
0.08	c instanciating clauses for relation R6 (supports) and variables V678 V686 
0.08	c instanciating clauses for relation R6 (supports) and variables V678 V718 
0.08	c instanciating clauses for relation R6 (supports) and variables V678 V840 
0.08	c instanciating clauses for relation R6 (supports) and variables V9 V837 
0.08	c instanciating clauses for relation R6 (supports) and variables V9 V839 
0.08	c instanciating clauses for relation R6 (supports) and variables V186 V626 
0.08	c instanciating clauses for relation R6 (supports) and variables V186 V629 
0.08	c instanciating clauses for relation R6 (supports) and variables V186 V645 
0.08	c instanciating clauses for relation R6 (supports) and variables V188 V628 
0.08	c instanciating clauses for relation R6 (supports) and variables V188 V631 
0.08	c instanciating clauses for relation R6 (supports) and variables V188 V647 
0.08	c instanciating clauses for relation R6 (supports) and variables V78 V226 
0.08	c instanciating clauses for relation R6 (supports) and variables V78 V229 
0.08	c instanciating clauses for relation R6 (supports) and variables V78 V241 
0.08	c instanciating clauses for relation R6 (supports) and variables V78 V253 
0.08	c instanciating clauses for relation R6 (supports) and variables V78 V262 
0.08	c instanciating clauses for relation R6 (supports) and variables V78 V300 
0.08	c instanciating clauses for relation R6 (supports) and variables V78 V306 
0.08	c instanciating clauses for relation R6 (supports) and variables V78 V315 
0.08	c instanciating clauses for relation R6 (supports) and variables V78 V330 
0.08	c instanciating clauses for relation R6 (supports) and variables V78 V427 
0.08	c instanciating clauses for relation R6 (supports) and variables V78 V503 
0.08	c instanciating clauses for relation R6 (supports) and variables V78 V530 
0.08	c instanciating clauses for relation R6 (supports) and variables V78 V579 
0.08	c instanciating clauses for relation R6 (supports) and variables V78 V594 
0.08	c instanciating clauses for relation R6 (supports) and variables V78 V703 
0.08	c instanciating clauses for relation R6 (supports) and variables V78 V725 
0.08	c instanciating clauses for relation R6 (supports) and variables V78 V751 
0.08	c instanciating clauses for relation R6 (supports) and variables V78 V781 
0.08	c instanciating clauses for relation R6 (supports) and variables V78 V787 
0.08	c instanciating clauses for relation R6 (supports) and variables V78 V817 
0.08	c instanciating clauses for relation R6 (supports) and variables V78 V850 
0.08	c instanciating clauses for relation R6 (supports) and variables V80 V228 
0.08	c instanciating clauses for relation R6 (supports) and variables V80 V231 
0.08	c instanciating clauses for relation R6 (supports) and variables V80 V243 
0.08	c instanciating clauses for relation R6 (supports) and variables V80 V255 
0.08	c instanciating clauses for relation R6 (supports) and variables V80 V264 
0.08	c instanciating clauses for relation R6 (supports) and variables V80 V302 
0.08	c instanciating clauses for relation R6 (supports) and variables V80 V308 
0.08	c instanciating clauses for relation R6 (supports) and variables V80 V317 
0.08	c instanciating clauses for relation R6 (supports) and variables V80 V332 
0.08	c instanciating clauses for relation R6 (supports) and variables V80 V429 
0.08	c instanciating clauses for relation R6 (supports) and variables V80 V505 
0.08	c instanciating clauses for relation R6 (supports) and variables V80 V532 
0.08	c instanciating clauses for relation R6 (supports) and variables V80 V581 
0.08	c instanciating clauses for relation R6 (supports) and variables V80 V596 
0.08	c instanciating clauses for relation R6 (supports) and variables V80 V705 
0.08	c instanciating clauses for relation R6 (supports) and variables V80 V727 
0.08	c instanciating clauses for relation R6 (supports) and variables V80 V753 
0.08	c instanciating clauses for relation R6 (supports) and variables V80 V783 
0.08	c instanciating clauses for relation R6 (supports) and variables V80 V789 
0.08	c instanciating clauses for relation R6 (supports) and variables V80 V819 
0.08	c instanciating clauses for relation R6 (supports) and variables V80 V852 
0.08	c instanciating clauses for relation R6 (supports) and variables V259 V464 
0.08	c instanciating clauses for relation R6 (supports) and variables V259 V467 
0.08	c instanciating clauses for relation R6 (supports) and variables V261 V466 
0.08	c instanciating clauses for relation R6 (supports) and variables V261 V469 
0.08	c instanciating clauses for relation R6 (supports) and variables V10 V473 
0.08	c instanciating clauses for relation R6 (supports) and variables V10 V475 
0.08	c instanciating clauses for relation R6 (supports) and variables V470 V482 
0.08	c instanciating clauses for relation R6 (supports) and variables V470 V485 
0.08	c instanciating clauses for relation R6 (supports) and variables V472 V484 
0.08	c instanciating clauses for relation R6 (supports) and variables V472 V487 
0.08	c instanciating clauses for relation R6 (supports) and variables V439 V648 
0.08	c instanciating clauses for relation R6 (supports) and variables V439 V651 
0.08	c instanciating clauses for relation R6 (supports) and variables V439 V778 
0.08	c instanciating clauses for relation R6 (supports) and variables V441 V650 
0.08	c instanciating clauses for relation R6 (supports) and variables V441 V653 
0.08	c instanciating clauses for relation R6 (supports) and variables V441 V780 
0.08	c instanciating clauses for relation R6 (supports) and variables V14 V879 
0.08	c instanciating clauses for relation R6 (supports) and variables V14 V881 
0.08	c instanciating clauses for relation R6 (supports) and variables V876 V893 
0.08	c instanciating clauses for relation R6 (supports) and variables V876 V896 
0.08	c instanciating clauses for relation R6 (supports) and variables V878 V895 
0.08	c instanciating clauses for relation R6 (supports) and variables V878 V898 
0.08	c instanciating clauses for relation R6 (supports) and variables V436 V745 
0.08	c instanciating clauses for relation R6 (supports) and variables V436 V748 
0.08	c instanciating clauses for relation R6 (supports) and variables V438 V747 
0.08	c instanciating clauses for relation R6 (supports) and variables V438 V750 
0.08	c instanciating clauses for relation R6 (supports) and variables V17 V847 
0.08	c instanciating clauses for relation R6 (supports) and variables V17 V848 
0.08	c instanciating clauses for relation R6 (supports) and variables V560 V763 
0.08	c instanciating clauses for relation R6 (supports) and variables V560 V766 
0.08	c instanciating clauses for relation R6 (supports) and variables V562 V765 
0.08	c instanciating clauses for relation R6 (supports) and variables V562 V768 
0.08	c instanciating clauses for relation R6 (supports) and variables V208 V442 
0.08	c instanciating clauses for relation R6 (supports) and variables V208 V445 
0.08	c instanciating clauses for relation R6 (supports) and variables V210 V444 
0.08	c instanciating clauses for relation R6 (supports) and variables V210 V447 
0.08	c instanciating clauses for relation R6 (supports) and variables V18 V430 
0.08	c instanciating clauses for relation R6 (supports) and variables V18 V431 
0.08	c instanciating clauses for relation R6 (supports) and variables V201 V218 
0.08	c instanciating clauses for relation R6 (supports) and variables V201 V221 
0.08	c instanciating clauses for relation R6 (supports) and variables V203 V220 
0.08	c instanciating clauses for relation R6 (supports) and variables V203 V223 
0.08	c instanciating clauses for relation R6 (supports) and variables V448 V620 
0.08	c instanciating clauses for relation R6 (supports) and variables V448 V623 
0.08	c instanciating clauses for relation R6 (supports) and variables V450 V622 
0.08	c instanciating clauses for relation R6 (supports) and variables V450 V625 
0.08	c instanciating clauses for relation R6 (supports) and variables V557 V588 
0.08	c instanciating clauses for relation R6 (supports) and variables V557 V591 
0.08	c instanciating clauses for relation R6 (supports) and variables V559 V590 
0.08	c instanciating clauses for relation R6 (supports) and variables V559 V593 
0.08	c instanciating clauses for relation R6 (supports) and variables V25 V582 
0.08	c instanciating clauses for relation R6 (supports) and variables V25 V583 
0.08	c instanciating clauses for relation R6 (supports) and variables V564 V614 
0.08	c instanciating clauses for relation R6 (supports) and variables V564 V617 
0.08	c instanciating clauses for relation R6 (supports) and variables V566 V616 
0.08	c instanciating clauses for relation R6 (supports) and variables V566 V619 
0.08	c instanciating clauses for relation R6 (supports) and variables V108 V324 
0.08	c instanciating clauses for relation R6 (supports) and variables V108 V327 
0.08	c instanciating clauses for relation R6 (supports) and variables V108 V500 
0.08	c instanciating clauses for relation R6 (supports) and variables V110 V326 
0.08	c instanciating clauses for relation R6 (supports) and variables V110 V329 
0.08	c instanciating clauses for relation R6 (supports) and variables V110 V502 
0.08	c instanciating clauses for relation R6 (supports) and variables V21 V533 
0.08	c instanciating clauses for relation R6 (supports) and variables V21 V534 
0.08	c instanciating clauses for relation R6 (supports) and variables V49 V507 
0.08	c instanciating clauses for relation R6 (supports) and variables V49 V510 
0.08	c instanciating clauses for relation R6 (supports) and variables V51 V509 
0.08	c instanciating clauses for relation R6 (supports) and variables V51 V512 
0.08	c instanciating clauses for relation R6 (supports) and variables V105 V294 
0.08	c instanciating clauses for relation R6 (supports) and variables V105 V297 
0.08	c instanciating clauses for relation R6 (supports) and variables V105 V303 
0.09	c instanciating clauses for relation R6 (supports) and variables V107 V296 
0.09	c instanciating clauses for relation R6 (supports) and variables V107 V299 
0.09	c instanciating clauses for relation R6 (supports) and variables V107 V305 
0.09	c instanciating clauses for relation R6 (supports) and variables V23 V706 
0.09	c instanciating clauses for relation R6 (supports) and variables V23 V707 
0.09	c instanciating clauses for relation R6 (supports) and variables V656 V660 
0.09	c instanciating clauses for relation R6 (supports) and variables V656 V663 
0.09	c instanciating clauses for relation R6 (supports) and variables V658 V662 
0.09	c instanciating clauses for relation R6 (supports) and variables V658 V665 
0.09	c instanciating clauses for relation R6 (supports) and variables V102 V309 
0.09	c instanciating clauses for relation R6 (supports) and variables V102 V312 
0.09	c instanciating clauses for relation R6 (supports) and variables V104 V311 
0.09	c instanciating clauses for relation R6 (supports) and variables V104 V314 
0.09	c instanciating clauses for relation R6 (supports) and variables V15 V820 
0.09	c instanciating clauses for relation R6 (supports) and variables V15 V821 
0.09	c instanciating clauses for relation R6 (supports) and variables V274 V799 
0.09	c instanciating clauses for relation R6 (supports) and variables V274 V802 
0.09	c instanciating clauses for relation R6 (supports) and variables V276 V801 
0.09	c instanciating clauses for relation R6 (supports) and variables V276 V804 
0.09	c instanciating clauses for relation R6 (supports) and variables V75 V111 
0.09	c instanciating clauses for relation R6 (supports) and variables V75 V114 
0.09	c instanciating clauses for relation R6 (supports) and variables V77 V113 
0.09	c instanciating clauses for relation R6 (supports) and variables V77 V116 
0.09	c instanciating clauses for relation R6 (supports) and variables V11 V728 
0.09	c instanciating clauses for relation R6 (supports) and variables V11 V729 
0.09	c instanciating clauses for relation R6 (supports) and variables V670 V679 
0.09	c instanciating clauses for relation R6 (supports) and variables V670 V682 
0.09	c instanciating clauses for relation R6 (supports) and variables V672 V681 
0.09	c instanciating clauses for relation R6 (supports) and variables V672 V684 
0.09	c instanciating clauses for relation R6 (supports) and variables V238 V536 
0.09	c instanciating clauses for relation R6 (supports) and variables V238 V539 
0.09	c instanciating clauses for relation R6 (supports) and variables V238 V598 
0.09	c instanciating clauses for relation R6 (supports) and variables V240 V538 
0.09	c instanciating clauses for relation R6 (supports) and variables V240 V541 
0.09	c instanciating clauses for relation R6 (supports) and variables V240 V600 
0.09	c instanciating clauses for relation R6 (supports) and variables V93 V458 
0.09	c instanciating clauses for relation R6 (supports) and variables V93 V461 
0.09	c instanciating clauses for relation R6 (supports) and variables V93 V553 
0.09	c instanciating clauses for relation R6 (supports) and variables V93 V690 
0.09	c instanciating clauses for relation R6 (supports) and variables V93 V712 
0.09	c instanciating clauses for relation R6 (supports) and variables V93 V826 
0.09	c instanciating clauses for relation R6 (supports) and variables V93 V844 
0.09	c instanciating clauses for relation R6 (supports) and variables V93 V873 
0.09	c instanciating clauses for relation R6 (supports) and variables V95 V460 
0.09	c instanciating clauses for relation R6 (supports) and variables V95 V463 
0.09	c instanciating clauses for relation R6 (supports) and variables V95 V555 
0.09	c instanciating clauses for relation R6 (supports) and variables V95 V692 
0.09	c instanciating clauses for relation R6 (supports) and variables V95 V714 
0.09	c instanciating clauses for relation R6 (supports) and variables V95 V828 
0.09	c instanciating clauses for relation R6 (supports) and variables V95 V846 
0.09	c instanciating clauses for relation R6 (supports) and variables V95 V875 
0.09	c instanciating clauses for relation R6 (supports) and variables V515 V542 
0.09	c instanciating clauses for relation R6 (supports) and variables V515 V543 
0.09	c instanciating clauses for relation R6 (supports) and variables V7 V829 
0.09	c instanciating clauses for relation R6 (supports) and variables V7 V830 
0.09	c instanciating clauses for relation R6 (supports) and variables V2 V899 
0.09	c instanciating clauses for relation R6 (supports) and variables V2 V901 
0.09	c instanciating clauses for relation R6 (supports) and variables V0 V854 
0.09	c instanciating clauses for relation R6 (supports) and variables V0 V856 
0.09	c instanciating clauses for relation R6 (supports) and variables V12 V411 
0.09	c instanciating clauses for relation R6 (supports) and variables V12 V412 
0.09	c instanciating clauses for relation R6 (supports) and variables V597 V604 
0.09	c instanciating clauses for relation R6 (supports) and variables V597 V606 
0.09	c instanciating clauses for relation R6 (supports) and variables V27 V488 
0.09	c instanciating clauses for relation R6 (supports) and variables V27 V490 
0.09	c instanciating clauses for relation R6 (supports) and variables V19 V693 
0.09	c instanciating clauses for relation R6 (supports) and variables V19 V694 
0.09	c instanciating clauses for relation R6 (supports) and variables V1 V715 
0.09	c instanciating clauses for relation R6 (supports) and variables V1 V716 
0.09	c instanciating clauses for relation R6 (supports) and variables V177 V366 
0.09	c instanciating clauses for relation R6 (supports) and variables V177 V369 
0.09	c instanciating clauses for relation R6 (supports) and variables V177 V387 
0.09	c instanciating clauses for relation R6 (supports) and variables V179 V368 
0.09	c instanciating clauses for relation R6 (supports) and variables V179 V371 
0.09	c instanciating clauses for relation R6 (supports) and variables V179 V389 
0.09	c instanciating clauses for relation R6 (supports) and variables V129 V345 
0.09	c instanciating clauses for relation R6 (supports) and variables V129 V348 
0.09	c instanciating clauses for relation R6 (supports) and variables V129 V354 
0.09	c instanciating clauses for relation R6 (supports) and variables V129 V550 
0.09	c instanciating clauses for relation R6 (supports) and variables V131 V347 
0.09	c instanciating clauses for relation R6 (supports) and variables V131 V350 
0.09	c instanciating clauses for relation R6 (supports) and variables V131 V356 
0.09	c instanciating clauses for relation R6 (supports) and variables V131 V552 
0.09	c instanciating clauses for relation R6 (supports) and variables V339 V357 
0.09	c instanciating clauses for relation R6 (supports) and variables V339 V360 
0.09	c instanciating clauses for relation R6 (supports) and variables V339 V372 
0.09	c instanciating clauses for relation R6 (supports) and variables V339 V393 
0.09	c instanciating clauses for relation R6 (supports) and variables V339 V547 
0.09	c instanciating clauses for relation R6 (supports) and variables V341 V359 
0.09	c instanciating clauses for relation R6 (supports) and variables V341 V362 
0.09	c instanciating clauses for relation R6 (supports) and variables V341 V374 
0.09	c instanciating clauses for relation R6 (supports) and variables V341 V395 
0.09	c instanciating clauses for relation R6 (supports) and variables V341 V549 
0.09	c instanciating clauses for relation R6 (supports) and variables V378 V396 
0.09	c instanciating clauses for relation R6 (supports) and variables V378 V399 
0.09	c instanciating clauses for relation R6 (supports) and variables V380 V398 
0.09	c instanciating clauses for relation R6 (supports) and variables V380 V401 
0.09	c instanciating clauses for relation R6 (supports) and variables V351 V402 
0.09	c instanciating clauses for relation R6 (supports) and variables V351 V405 
0.09	c instanciating clauses for relation R6 (supports) and variables V353 V404 
0.09	c instanciating clauses for relation R6 (supports) and variables V353 V407 
0.09	c instanciating clauses for relation R6 (supports) and variables V244 V418 
0.09	c instanciating clauses for relation R6 (supports) and variables V244 V421 
0.09	c instanciating clauses for relation R6 (supports) and variables V246 V420 
0.09	c instanciating clauses for relation R6 (supports) and variables V246 V423 
0.09	c instanciating clauses for relation R6 (supports) and variables V336 V381 
0.09	c instanciating clauses for relation R6 (supports) and variables V336 V384 
0.09	c instanciating clauses for relation R6 (supports) and variables V338 V383 
0.09	c instanciating clauses for relation R6 (supports) and variables V338 V386 
0.09	c instanciating clauses for relation R6 (supports) and variables V168 V180 
0.09	c instanciating clauses for relation R6 (supports) and variables V168 V183 
0.09	c instanciating clauses for relation R6 (supports) and variables V170 V182 
0.09	c instanciating clauses for relation R6 (supports) and variables V170 V185 
0.09	c instanciating clauses for relation R6 (supports) and variables V126 V135 
0.09	c instanciating clauses for relation R6 (supports) and variables V126 V138 
0.09	c instanciating clauses for relation R6 (supports) and variables V126 V342 
0.09	c instanciating clauses for relation R6 (supports) and variables V126 V390 
0.09	c instanciating clauses for relation R6 (supports) and variables V128 V137 
0.09	c instanciating clauses for relation R6 (supports) and variables V128 V140 
0.09	c instanciating clauses for relation R6 (supports) and variables V128 V344 
0.09	c instanciating clauses for relation R6 (supports) and variables V128 V392 
0.09	c instanciating clauses for relation R6 (supports) and variables V120 V150 
0.09	c instanciating clauses for relation R6 (supports) and variables V120 V153 
0.09	c instanciating clauses for relation R6 (supports) and variables V122 V152 
0.09	c instanciating clauses for relation R6 (supports) and variables V122 V155 
0.09	c instanciating clauses for relation R6 (supports) and variables V117 V141 
0.09	c instanciating clauses for relation R6 (supports) and variables V117 V144 
0.09	c instanciating clauses for relation R6 (supports) and variables V117 V162 
0.09	c instanciating clauses for relation R6 (supports) and variables V119 V143 
0.09	c instanciating clauses for relation R6 (supports) and variables V119 V146 
0.09	c instanciating clauses for relation R6 (supports) and variables V119 V164 
0.09	c instanciating clauses for relation R6 (supports) and variables V132 V156 
0.09	c instanciating clauses for relation R6 (supports) and variables V132 V159 
0.09	c instanciating clauses for relation R6 (supports) and variables V134 V158 
0.09	c instanciating clauses for relation R6 (supports) and variables V134 V161 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V632 V53 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V56 V53 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V654 V53 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V632 V55 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V56 V55 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V654 V55 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V754 V634 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V739 V634 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V755 V634 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V99 V78 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V620 V78 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V433 V78 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V451 V78 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V101 V80 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V622 V80 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V435 V80 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V453 V80 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V66 V93 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V96 V93 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V81 V93 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V68 V95 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V98 V95 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V83 V95 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V542 V506 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V517 V506 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V500 V497 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V503 V497 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V502 V499 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V505 V499 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V760 V235 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V762 V237 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V790 V760 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V792 V762 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V853 V758 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V857 V758 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V606 V603 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V607 V603 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V623 V611 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V629 V611 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V625 V613 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V631 V613 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V591 V585 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V594 V585 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V593 V587 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V596 V587 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V288 V63 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V290 V65 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V297 V291 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V300 V291 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V299 V293 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V302 V293 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V547 V174 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V550 V174 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V549 V176 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V552 V176 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V697 V339 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V687 V339 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V699 V341 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V689 V341 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V384 V171 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V375 V171 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V396 V171 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V386 V173 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V377 V173 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V398 V173 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V602 V570 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V602 V572 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V545 V336 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V521 V336 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V545 V338 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V523 V338 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V141 V40 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V150 V40 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V123 V40 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V135 V40 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V143 V42 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V152 V42 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V125 V42 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V137 V42 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V354 V123 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V402 V123 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V360 V123 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V356 V125 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V404 V125 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V362 V125 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V342 V120 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V348 V120 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V357 V120 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V333 V120 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V344 V122 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V350 V122 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V359 V122 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V335 V122 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V345 V37 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V156 V37 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V138 V37 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V144 V37 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V347 V39 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V158 V39 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V140 V39 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V146 V39 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V153 V43 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V159 V43 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V147 V43 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V162 V43 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V155 V45 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V161 V45 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V149 V45 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V164 V45 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V390 V147 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V418 V147 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V393 V147 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V399 V147 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V392 V149 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V420 V149 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V395 V149 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V401 V149 
0.10	c instanciating clauses for relation R8 (supports) and variables V668 V632 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V655 V835 V836 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V56 V277 V59 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V52 V527 V513 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V57 V814 V807 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V478 V494 V495 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V871 V886 V887 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V735 V869 V870 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V204 V733 V734 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V567 V576 V569 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V669 V839 V840 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V90 V84 V81 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V90 V87 V81 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V92 V86 V83 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V92 V89 V83 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V321 V327 V330 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V323 V329 V332 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V775 V639 V760 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V777 V641 V762 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V775 V778 V781 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V777 V780 V783 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V639 V642 V645 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V641 V644 V647 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V271 V256 V265 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V271 V268 V265 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V273 V258 V267 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V273 V270 V267 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V60 V69 V66 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V60 V72 V66 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V62 V71 V68 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V62 V74 V68 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V285 V282 V63 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V287 V284 V65 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V285 V303 V306 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V287 V305 V308 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V46 V189 V165 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V48 V191 V167 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V725 V722 V719 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V729 V722 V719 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V725 V837 V719 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V729 V837 V719 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V727 V724 V721 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V729 V724 V721 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V727 V837 V721 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V729 V837 V721 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V832 V826 V823 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V832 V830 V823 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V832 V828 V825 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V832 V830 V825 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V696 V690 V687 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V696 V694 V687 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V696 V692 V689 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V696 V694 V689 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V703 V700 V697 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V707 V700 V697 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V703 V833 V697 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V707 V833 V697 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V705 V702 V699 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V707 V702 V699 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V705 V833 V699 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V707 V833 V699 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V604 V598 V570 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V604 V600 V572 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V421 V415 V375 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V421 V408 V375 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V423 V417 V377 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V423 V410 V377 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V476 V461 V454 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V476 V488 V454 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V476 V463 V456 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V476 V488 V456 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V414 V458 V408 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V414 V412 V408 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V414 V460 V410 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V414 V412 V410 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V427 V424 V415 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V431 V424 V415 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V427 V731 V415 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V431 V731 V415 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V429 V426 V417 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V431 V426 V417 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V429 V731 V417 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V431 V731 V417 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V543 V539 V336 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V543 V541 V338 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V530 V524 V521 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V534 V524 V521 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V530 V528 V521 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V534 V528 V521 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V532 V526 V523 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V534 V526 V523 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V532 V528 V523 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V534 V528 V523 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V882 V873 V772 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V882 V899 V772 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V882 V875 V774 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V882 V899 V774 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V848 V854 V841 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V850 V854 V841 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V848 V844 V841 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V850 V844 V841 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V848 V854 V843 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V852 V854 V843 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V848 V846 V843 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V852 V846 V843 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V363 V369 V372 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V365 V371 V374 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V638 V634 V636 V673 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V632 V636 V634 V638 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V259 V482 V475 V477 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V261 V484 V475 V477 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V433 V445 V745 V648 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V435 V447 V747 V650 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V439 V893 V881 V883 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V441 V895 V881 V883 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V436 V763 V847 V865 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V438 V765 V847 V865 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V208 V218 V430 V224 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V210 V220 V430 V224 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V557 V614 V582 V568 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V559 V616 V582 V568 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V108 V510 V533 V514 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V110 V512 V533 V514 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V105 V663 V706 V667 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V107 V665 V706 V667 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V102 V799 V820 V805 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V104 V801 V820 V805 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V75 V679 V728 V685 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V77 V681 V728 V685 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V506 V507 V497 V90 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V506 V507 V318 V90 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V506 V509 V499 V92 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V506 V509 V320 V92 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V87 V802 V829 V806 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V89 V804 V829 V806 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V96 V232 V212 V235 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V98 V234 V214 V237 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V758 V766 V742 V235 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V758 V768 V744 V237 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V790 V896 V901 V902 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V792 V898 V901 V902 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V603 V617 V585 V271 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V603 V617 V611 V271 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V603 V619 V587 V273 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V603 V619 V613 V273 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V268 V485 V490 V491 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V270 V487 V490 V491 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V288 V660 V693 V666 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V290 V662 V693 V666 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V72 V682 V715 V686 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V74 V684 V715 V686 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V709 V718 V712 V177 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V709 V718 V716 V177 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V711 V718 V714 V179 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V711 V718 V716 V179 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V808 V817 V811 V518 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V808 V821 V811 V518 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V808 V817 V815 V518 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V808 V821 V815 V518 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V810 V819 V813 V520 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V810 V821 V813 V520 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V810 V819 V815 V520 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V810 V821 V815 V520 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V570 V579 V573 V351 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V570 V583 V573 V351 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V570 V579 V577 V351 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V570 V583 V577 V351 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V572 V581 V575 V353 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V572 V583 V575 V353 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V572 V581 V577 V353 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V572 V583 V577 V353 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V247 V253 V250 V244 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V247 V473 V250 V244 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V247 V253 V492 V244 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V247 V473 V492 V244 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V249 V255 V252 V246 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V249 V473 V252 V246 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V249 V255 V492 V246 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V249 V473 V492 V246 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V769 V787 V784 V168 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V769 V879 V784 V168 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V769 V787 V884 V168 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V769 V879 V884 V168 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V771 V789 V786 V170 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V771 V879 V786 V170 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V771 V789 V884 V170 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V771 V879 V884 V170 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V866 V859 V867 V189 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V866 V859 V862 V189 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V866 V861 V867 V191 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V866 V861 V864 V191 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V28 V927 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V30 V928 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V54 V196 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V54 V199 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V54 V206 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V54 V251 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V54 V280 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V54 V425 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V54 V480 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V54 V525 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V54 V574 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V54 V609 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V54 V676 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V54 V701 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V54 V723 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V54 V737 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V54 V785 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V54 V796 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V54 V812 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V54 V863 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V54 V891 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V31 V930 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V33 V931 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V187 V627 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V187 V630 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V187 V646 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V79 V227 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V79 V230 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V79 V242 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V79 V254 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V79 V263 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V79 V301 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V79 V307 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V79 V316 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V79 V331 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V79 V428 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V79 V504 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V79 V531 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V79 V580 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V79 V595 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V79 V704 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V79 V726 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V79 V752 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V79 V782 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V79 V788 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V79 V818 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V79 V851 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V260 V465 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V260 V468 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V471 V483 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V471 V486 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V479 V915 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V637 V916 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V481 V932 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V637 V933 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V440 V649 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V440 V652 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V440 V779 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V877 V894 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V877 V897 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V890 V903 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V889 V904 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V892 V934 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V889 V935 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V437 V746 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V437 V749 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V561 V764 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V561 V767 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V736 V909 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V740 V910 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V738 V936 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V740 V937 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V209 V443 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V209 V446 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V202 V219 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V202 V222 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V205 V921 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V756 V922 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V207 V938 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V756 V939 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V449 V621 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V449 V624 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V558 V589 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V558 V592 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V565 V615 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V565 V618 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V608 V913 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V635 V914 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V610 V940 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V635 V941 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V109 V325 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V109 V328 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V109 V501 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V50 V508 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V50 V511 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V195 V923 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V58 V924 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V197 V942 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V58 V943 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V106 V295 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V106 V298 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V106 V304 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V657 V661 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V657 V664 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V795 V905 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V794 V906 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V797 V944 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V794 V945 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V103 V310 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V103 V313 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V275 V800 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V275 V803 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V279 V917 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V278 V918 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V281 V946 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V278 V947 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V76 V112 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V76 V115 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V671 V680 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V671 V683 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V675 V911 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V674 V912 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V677 V948 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V674 V949 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V34 V951 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V36 V952 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V239 V537 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V239 V540 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V239 V599 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V94 V459 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V94 V462 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V94 V554 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V94 V691 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V94 V713 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V94 V827 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V94 V845 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V94 V874 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V751 V907 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V748 V908 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V753 V954 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V750 V955 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V229 V919 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V442 V920 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V231 V956 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V444 V957 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V46 V959 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V48 V960 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V178 V367 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V178 V370 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V178 V388 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V130 V346 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V130 V349 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V130 V355 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V130 V551 
0.12	c instanciating clauses for relation R11 (conflicts) and variables V340 V358 
0.12	c instanciating clauses for relation R11 (conflicts) and variables V340 V361 
0.12	c instanciating clauses for relation R11 (conflicts) and variables V340 V373 
0.12	c instanciating clauses for relation R11 (conflicts) and variables V340 V394 
0.12	c instanciating clauses for relation R11 (conflicts) and variables V340 V548 
0.12	c instanciating clauses for relation R11 (conflicts) and variables V379 V397 
0.12	c instanciating clauses for relation R11 (conflicts) and variables V379 V400 
0.12	c instanciating clauses for relation R11 (conflicts) and variables V352 V403 
0.12	c instanciating clauses for relation R11 (conflicts) and variables V352 V406 
0.12	c instanciating clauses for relation R11 (conflicts) and variables V245 V419 
0.12	c instanciating clauses for relation R11 (conflicts) and variables V245 V422 
0.12	c instanciating clauses for relation R11 (conflicts) and variables V337 V382 
0.12	c instanciating clauses for relation R11 (conflicts) and variables V337 V385 
0.12	c instanciating clauses for relation R11 (conflicts) and variables V169 V181 
0.12	c instanciating clauses for relation R11 (conflicts) and variables V169 V184 
0.12	c instanciating clauses for relation R11 (conflicts) and variables V40 V962 
0.12	c instanciating clauses for relation R11 (conflicts) and variables V42 V963 
0.12	c instanciating clauses for relation R11 (conflicts) and variables V127 V136 
0.12	c instanciating clauses for relation R11 (conflicts) and variables V127 V139 
0.12	c instanciating clauses for relation R11 (conflicts) and variables V127 V343 
0.12	c instanciating clauses for relation R11 (conflicts) and variables V127 V391 
0.12	c instanciating clauses for relation R11 (conflicts) and variables V121 V151 
0.12	c instanciating clauses for relation R11 (conflicts) and variables V121 V154 
0.12	c instanciating clauses for relation R11 (conflicts) and variables V118 V142 
0.12	c instanciating clauses for relation R11 (conflicts) and variables V118 V145 
0.12	c instanciating clauses for relation R11 (conflicts) and variables V118 V163 
0.12	c instanciating clauses for relation R11 (conflicts) and variables V37 V965 
0.12	c instanciating clauses for relation R11 (conflicts) and variables V39 V966 
0.12	c instanciating clauses for relation R11 (conflicts) and variables V133 V157 
0.12	c instanciating clauses for relation R11 (conflicts) and variables V133 V160 
0.12	c instanciating clauses for relation R11 (conflicts) and variables V43 V968 
0.12	c instanciating clauses for relation R11 (conflicts) and variables V45 V969 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V29 V28 V30 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V193 V192 V194 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V891 V890 V892 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V863 V862 V864 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V812 V811 V813 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V796 V795 V797 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V785 V784 V786 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V737 V736 V738 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V723 V722 V724 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V701 V700 V702 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V676 V675 V677 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V609 V608 V610 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V574 V573 V575 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V525 V524 V526 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V480 V479 V481 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V425 V424 V426 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V280 V279 V281 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V251 V250 V252 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V206 V205 V207 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V199 V198 V200 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V196 V195 V197 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V54 V53 V55 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V32 V31 V33 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V646 V645 V647 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V630 V629 V631 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V627 V626 V628 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V187 V186 V188 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V851 V850 V852 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V818 V817 V819 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V788 V787 V789 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V782 V781 V783 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V752 V751 V753 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V726 V725 V727 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V704 V703 V705 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V595 V594 V596 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V580 V579 V581 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V531 V530 V532 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V504 V503 V505 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V428 V427 V429 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V331 V330 V332 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V316 V315 V317 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V307 V306 V308 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V301 V300 V302 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V263 V262 V264 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V254 V253 V255 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V242 V241 V243 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V230 V229 V231 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V227 V226 V228 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V79 V78 V80 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V452 V451 V453 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V468 V467 V469 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V465 V464 V466 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V260 V259 V261 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V486 V485 V487 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V483 V482 V484 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V471 V470 V472 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V434 V433 V435 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V779 V778 V780 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V652 V651 V653 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V649 V648 V650 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V440 V439 V441 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V897 V896 V898 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V894 V893 V895 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V877 V876 V878 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V749 V748 V750 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V746 V745 V747 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V437 V436 V438 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V767 V766 V768 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V764 V763 V765 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V561 V560 V562 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V446 V445 V447 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V443 V442 V444 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V209 V208 V210 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V222 V221 V223 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V219 V218 V220 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V202 V201 V203 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V624 V623 V625 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V621 V620 V622 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V449 V448 V450 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V592 V591 V593 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V589 V588 V590 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V558 V557 V559 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V618 V617 V619 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V615 V614 V616 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V565 V564 V566 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V100 V99 V101 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V501 V500 V502 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V328 V327 V329 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V325 V324 V326 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V109 V108 V110 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V511 V510 V512 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V508 V507 V509 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V50 V49 V51 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V304 V303 V305 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V298 V297 V299 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V295 V294 V296 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V106 V105 V107 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V664 V663 V665 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V661 V660 V662 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V657 V656 V658 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V313 V312 V314 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V310 V309 V311 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V103 V102 V104 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V803 V802 V804 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V800 V799 V801 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V275 V274 V276 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V115 V114 V116 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V112 V111 V113 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V76 V75 V77 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V683 V682 V684 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V680 V679 V681 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V671 V670 V672 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V35 V34 V36 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V599 V598 V600 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V540 V539 V541 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V537 V536 V538 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V239 V238 V240 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V874 V873 V875 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V845 V844 V846 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V827 V826 V828 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V713 V712 V714 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V691 V690 V692 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V554 V553 V555 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V462 V461 V463 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V459 V458 V460 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V94 V93 V95 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V82 V81 V83 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V91 V90 V92 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V319 V318 V320 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V322 V321 V323 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V498 V497 V499 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V88 V87 V89 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V85 V84 V86 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V97 V96 V98 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V236 V235 V237 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V761 V760 V762 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V791 V790 V792 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V776 V775 V777 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V640 V639 V641 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V643 V642 V644 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V743 V742 V744 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V213 V212 V214 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V216 V215 V217 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V233 V232 V234 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V266 V265 V267 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V272 V271 V273 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V612 V611 V613 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V586 V585 V587 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V269 V268 V270 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V257 V256 V258 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V67 V66 V68 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V61 V60 V62 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V64 V63 V65 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V289 V288 V290 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V286 V285 V287 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V283 V282 V284 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V292 V291 V293 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V73 V72 V74 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V70 V69 V71 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V47 V46 V48 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V166 V165 V167 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V388 V387 V389 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V370 V369 V371 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V367 V366 V368 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V178 V177 V179 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V710 V709 V711 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V720 V719 V721 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V175 V174 V176 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V551 V550 V552 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V355 V354 V356 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V349 V348 V350 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V346 V345 V347 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V130 V129 V131 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V519 V518 V520 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V809 V808 V810 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V824 V823 V825 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V548 V547 V549 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V394 V393 V395 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V373 V372 V374 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V361 V360 V362 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V358 V357 V359 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V340 V339 V341 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V688 V687 V689 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V698 V697 V699 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V172 V171 V173 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V400 V399 V401 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V397 V396 V398 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V379 V378 V380 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V406 V405 V407 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V403 V402 V404 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V352 V351 V353 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V571 V570 V572 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V376 V375 V377 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V422 V421 V423 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V419 V418 V420 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V245 V244 V246 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V248 V247 V249 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V455 V454 V456 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V409 V408 V410 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V416 V415 V417 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V385 V384 V386 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V382 V381 V383 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V337 V336 V338 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V522 V521 V523 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V184 V183 V185 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V181 V180 V182 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V169 V168 V170 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V770 V769 V771 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V773 V772 V774 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V190 V189 V191 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V860 V859 V861 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V842 V841 V843 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V41 V40 V42 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V391 V390 V392 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V343 V342 V344 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V139 V138 V140 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V136 V135 V137 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V127 V126 V128 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V124 V123 V125 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V154 V153 V155 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V151 V150 V152 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V121 V120 V122 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V334 V333 V335 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V163 V162 V164 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V145 V144 V146 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V142 V141 V143 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V118 V117 V119 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V38 V37 V39 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V160 V159 V161 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V157 V156 V158 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V133 V132 V134 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V364 V363 V365 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V44 V43 V45 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V148 V147 V149 
0.13	c ...done
0.13	c #SATvar=2701 #SATclauses=7496 #CSPpredicates=0
0.13	Verified 6844 original clauses.
0.13	c SAT problem is solved
0.13	restarts              : 1
0.13	conflicts             : 2              (17 /sec)
0.13	decisions             : 152            (0.00 % random) (1299 /sec)
0.13	propagations          : 3027           (25876 /sec)
0.13	conflict literals     : 7              (0.00 % deleted)
0.13	Memory used           : 7.44 MB
0.13	CPU time              : 0.116982 s
0.13	c all predicates checked
0.13	
0.13	s SATISFIABLE
0.13	v 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 1 0 1 0 1 1 0 1 1 0 1 1 1 0 1 0 1 0 1 1 0 0 0 1 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 0 1 0 1 1 1 0 1 1 0 1 1 0 1 1 1 0 1 0 0 1 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 1 0 0 0 0 1 1 0 1 0 1 1 0 1 0 0 0 1 0 0 1 1 0 1 0 1 1 1 0 0 1 1 1 0 1 1 0 1 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 1 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 1 1 1 0 1 1 1 1 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 0 1 0 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 0 1 0 0 0 1 0 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 0 1 0 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 1 1 1 0 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 1 1 1 0 1 1 0 1 1 1 1 0 1 0 1 0 0 1 0 1 1 1 0 1 1 0 1 1 1 0 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 1 1 0 1 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 1 0 1 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 1 0 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 1 1 0 1 1 1 1 0 0 0 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 0 1 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 1 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 
0.13

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node29/watcher-242485-1168093400 -o ROOT/results/node29/solver-242485-1168093400 -C 1800 -M 900 /tmp/evaluation/242485-1168093400/CSPtoSAT+minisat /tmp/evaluation/242485-1168093400/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 0.01 0.53 0.88 3/84 21238
/proc/meminfo: memFree=1638472/2055920 swapFree=4192812/4192956
[pid=21237] ppid=21232 vsize=6696 CPUtime=0
/proc/21237/stat : 21237 (CSPtoSAT+minisa) R 21232 21237 21070 0 -1 4194304 428 0 0 0 0 0 0 0 18 0 1 0 157734494 6856704 407 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 4098936 0 0 4096 0 0 0 0 17 0 0 0
/proc/21237/statm: 1674 407 367 52 0 30 0

[startup+0.10209 s]
/proc/loadavg: 0.01 0.53 0.88 3/84 21238
/proc/meminfo: memFree=1638472/2055920 swapFree=4192812/4192956
[pid=21237] ppid=21232 vsize=7644 CPUtime=0.09
/proc/21237/stat : 21237 (CSPtoSAT+minisa) R 21232 21237 21070 0 -1 4194304 1024 0 0 0 8 1 0 0 18 0 1 0 157734494 7827456 992 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 4159310402 0 0 4096 0 0 0 0 17 1 0 0
/proc/21237/statm: 1911 992 704 52 0 279 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7644

Child status: 0
Real time (s): 0.140699
CPU time (s): 0.132979
CPU user time (s): 0.117982
CPU system time (s): 0.014997
CPU usage (%): 94.5132
Max. virtual memory (cumulated for all children) (KiB): 7644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.117982
system time used= 0.014997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1050
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= 16
involuntary context switches= 295

runsolver used 0.002999 s user time and 0.030995 s system time

The end

Launcher Data (download as text)

Begin job on node29 on Sat Jan  6 14:23:22 UTC 2007


IDJOB= 242485
IDBENCH= 7395
FILE ID= node29/242485-1168093400

PBS_JOBID= 3476677

Free space on /tmp= 66546 MiB

BENCH NAME= HOME/pub/bench/CPAI06/dimacs/varDimacs/bf-0432-007_ext.xml
COMMAND LINE= /tmp/evaluation/242485-1168093400/CSPtoSAT+minisat /tmp/evaluation/242485-1168093400/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node29/watcher-242485-1168093400 -o ROOT/results/node29/solver-242485-1168093400 -C 1800 -M 900  /tmp/evaluation/242485-1168093400/CSPtoSAT+minisat /tmp/evaluation/242485-1168093400/unknown.xml

META MD5SUM SOLVER= 0ab327eaa5be249b47b2f4b19927f0b0
MD5SUM BENCH=  8ef6acc181e34b3544105edf85fc32bd

RANDOM SEED= 741011358

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.241
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.241
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1637856 kB
Buffers:         45412 kB
Cached:         235564 kB
SwapCached:          0 kB
Active:         132720 kB
Inactive:       208384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1637856 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3656 kB
Writeback:           0 kB
Mapped:          82544 kB
Slab:            61620 kB
Committed_AS:  3069248 kB
PageTables:       2352 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66546 MiB



End job on node29 on Sat Jan  6 14:23:31 UTC 2007