Trace number 243235

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.049992 0.061634

General information on the benchmark

Namedimacs/aim-200/
aim-200-3-4-sat-4_ext.xml
MD5SUMcd5fa02169b73a6d6f563f45f297f679
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.049992
SatisfiableYES
(Un)Satisfiability was proved
Number of variables200
Number of constraints643
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension643
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.02	c This is CSPtoSAT+minisat version 0.3
0.02	c (c) 2006 roussel@cril.univ-artois.fr
0.02	
0.02	c This solver internally uses a modified version of MiniSat2 version 061112
0.02	c MiniSat -- Copyright (c) 2003-2006, Niklas Een, Niklas Sorensson
0.02	
0.02	c parsing...
0.02	c preparing clauses for relation R0
0.02	c preparing clauses for relation R1
0.02	c preparing clauses for relation R2
0.02	c preparing clauses for relation R3
0.02	c preparing clauses for relation R4
0.02	c preparing clauses for relation R5
0.02	c preparing clauses for relation R6
0.02	c preparing clauses for relation R7
0.02	c preparing clauses for relation R8
0.02	c preparing clauses for relation R9
0.02	c preparing clauses for relation R10
0.02	c preparing clauses for relation R11
0.02	c preparing clauses for relation R12
0.02	c preparing clauses for relation R13
0.02	c preparing clauses for relation R14
0.02	c preparing clauses for relation R15
0.02	c preparing clauses for relation R16
0.02	c preparing clauses for relation R17
0.02	c preparing clauses for relation R18
0.02	c preparing clauses for relation R19
0.02	c preparing clauses for relation R20
0.02	c preparing clauses for relation R21
0.02	c instanciating clauses for relation R0 (conflicts) and variables V7 V40 V98 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V32 V90 V199 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V5 V11 V142 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V125 V138 V177 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V15 V158 V185 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V92 V113 V125 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V30 V106 V117 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V50 V117 V163 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V64 V151 V172 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V157 V165 V183 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V84 V174 V183 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V103 V114 V140 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V103 V145 V181 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V103 V181 V187 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V13 V36 V144 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V20 V34 V49 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V20 V34 V152 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V72 V128 V169 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V3 V90 V110 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V62 V74 V154 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V38 V62 V197 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V52 V96 V166 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V8 V105 V162 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V68 V83 V169 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V171 V187 V189 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V2 V10 V171 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V53 V54 V192 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V53 V100 V161 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V21 V31 V74 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V51 V74 V171 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V48 V87 V99 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V58 V99 V157 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V29 V66 V155 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V55 V76 V152 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V23 V46 V129 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V89 V96 V129 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V0 V101 V152 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V20 V65 V195 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V49 V80 V159 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V88 V93 V107 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V109 V131 V142 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V108 V161 V186 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V28 V148 V160 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V98 V148 V160 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V99 V148 V160 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V119 V167 V172 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V101 V119 V196 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V114 V136 V192 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V48 V98 V149 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V22 V48 V93 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V10 V23 V193 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V70 V126 V137 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V1 V40 V61 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V83 V91 V124 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V15 V91 V169 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V92 V129 V137 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V3 V64 V137 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V14 V68 V195 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V67 V78 V134 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V42 V139 V153 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V24 V73 V126 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V186 V191 V194 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V44 V86 V154 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V78 V86 V159 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V52 V55 V88 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V22 V52 V174 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V33 V111 V197 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V33 V108 V197 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V32 V69 V115 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V39 V115 V193 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V104 V129 V132 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V120 V143 V185 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V107 V158 V185 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V30 V82 V117 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V117 V157 V172 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V64 V117 V157 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V84 V151 V172 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V0 V128 V168 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V0 V37 V165 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V7 V150 V167 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V36 V40 V144 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V85 V132 V141 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V72 V85 V141 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V97 V110 V184 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V110 V121 V133 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V21 V47 V95 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V9 V83 V162 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V34 V48 V107 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V69 V122 V190 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V2 V83 V122 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V136 V154 V196 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V51 V127 V128 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V77 V147 V183 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V77 V124 V179 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V161 V179 V196 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V53 V112 V177 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V26 V77 V89 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V26 V31 V118 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V31 V59 V87 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V19 V31 V73 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V73 V87 V180 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V73 V87 V123 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V23 V58 V140 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V123 V145 V158 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V18 V135 V145 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V42 V111 V185 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V138 V174 V184 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V24 V45 V102 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V5 V51 V179 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V20 V116 V195 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V25 V131 V187 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V131 V137 V187 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V71 V99 V161 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V9 V97 V178 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V49 V75 V97 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V79 V159 V175 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V95 V175 V198 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V108 V121 V142 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V60 V151 V167 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V37 V71 V119 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V33 V90 V109 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V22 V69 V178 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V24 V86 V163 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V24 V86 V113 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V67 V75 V79 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V6 V118 V190 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V48 V79 V149 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V4 V8 V10 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V46 V102 V193 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V70 V92 V146 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V30 V137 V173 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V9 V139 V141 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V12 V79 V139 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V127 V148 V170 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V3 V84 V139 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V14 V81 V89 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V142 V171 V173 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V35 V50 V97 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V68 V92 V179 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V44 V103 V179 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V3 V78 V154 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V12 V38 V153 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V38 V52 V82 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V11 V22 V33 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V63 V90 V199 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V32 V69 V165 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V7 V32 V132 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V92 V120 V125 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V82 V106 V117 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V50 V60 V163 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V35 V147 V174 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V101 V164 V174 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V99 V114 V165 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V6 V38 V114 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V140 V145 V181 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V84 V150 V181 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V36 V144 V176 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V144 V176 V199 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V90 V121 V133 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V72 V96 V166 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V9 V52 V83 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V6 V130 V150 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V28 V50 V130 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V15 V124 V127 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V56 V65 V94 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V54 V100 V161 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V46 V112 V177 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V17 V28 V150 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V108 V111 V192 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V43 V141 V194 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V43 V145 V194 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V25 V37 V199 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V96 V101 V122 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V5 V46 V103 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V94 V140 V182 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V106 V140 V182 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V94 V116 V182 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V4 V162 V195 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V1 V96 V105 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V78 V134 V177 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V1 V9 V184 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V49 V104 V156 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V15 V81 V93 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V15 V88 V97 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V53 V79 V175 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V106 V160 V186 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V22 V118 V123 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V67 V156 V196 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V8 V21 V146 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V21 V146 V196 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V137 V173 V186 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V30 V92 V150 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V29 V35 V40 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V19 V46 V149 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V134 V148 V184 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V92 V137 V158 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V89 V148 V198 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V100 V143 V191 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V20 V27 V62 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V94 V116 V153 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V109 V126 V182 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V68 V82 V128 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V29 V42 V173 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V29 V56 V122 
0.03	c instanciating clauses for relation R4 (conflicts) and variables V113 V119 V156 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V12 V63 V153 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V12 V52 V82 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V52 V55 V112 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V63 V115 V163 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V90 V115 V199 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V32 V124 V165 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V14 V45 V115 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V6 V36 V98 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V11 V138 V142 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V17 V44 V188 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V98 V153 V188 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V44 V107 V153 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V120 V143 V153 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V106 V143 V145 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V153 V158 V172 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V48 V85 V117 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V143 V176 V183 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V74 V172 V183 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V8 V151 V168 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V101 V147 V164 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V0 V8 V37 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V0 V87 V141 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V114 V140 V188 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V13 V18 V189 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V13 V18 V139 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V17 V85 V199 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V3 V34 V72 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V20 V73 V141 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V72 V74 V110 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V52 V102 V110 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V21 V170 V197 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V8 V45 V170 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V45 V61 V158 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V34 V100 V130 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V64 V171 V190 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V54 V183 V192 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V59 V76 V86 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V18 V31 V177 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V85 V105 V179 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V28 V31 V105 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V31 V87 V160 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V89 V121 V180 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V121 V135 V180 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V42 V91 V163 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V112 V174 V199 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V66 V124 V126 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V24 V49 V66 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V65 V110 V152 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V65 V66 V110 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V5 V51 V152 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V5 V123 V179 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V76 V152 V182 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V4 V24 V116 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V1 V6 V105 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V1 V78 V140 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V60 V155 V187 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V16 V131 V134 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V97 V134 V178 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V97 V134 V170 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V104 V156 V193 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V15 V88 V161 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V10 V15 V142 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V41 V45 V57 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V41 V119 V167 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V33 V90 V167 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V27 V101 V119 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V47 V155 V178 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V3 V86 V93 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V57 V86 V175 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V67 V146 V190 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V27 V34 V149 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V146 V156 V196 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V10 V46 V102 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V21 V105 V196 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V41 V92 V173 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V41 V92 V143 
0.04	c instanciating clauses for relation R5 (conflicts) and variables V19 V83 V124 
0.04	c instanciating clauses for relation R5 (conflicts) and variables V19 V28 V46 
0.04	c instanciating clauses for relation R5 (conflicts) and variables V36 V56 V191 
0.04	c instanciating clauses for relation R5 (conflicts) and variables V35 V116 V171 
0.04	c instanciating clauses for relation R5 (conflicts) and variables V2 V157 V162 
0.04	c instanciating clauses for relation R5 (conflicts) and variables V56 V58 V131 
0.04	c instanciating clauses for relation R5 (conflicts) and variables V18 V44 V142 
0.04	c instanciating clauses for relation R5 (conflicts) and variables V2 V62 V137 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V11 V112 V194 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V11 V33 V88 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V69 V115 V165 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V14 V32 V39 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V106 V188 V189 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V5 V138 V155 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V11 V100 V185 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V113 V153 V172 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V48 V85 V157 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V71 V151 V168 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V83 V147 V164 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V0 V168 V199 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V6 V38 V87 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V13 V54 V146 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V3 V62 V154 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V21 V95 V133 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V47 V95 V197 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V8 V52 V65 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V57 V158 V170 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V6 V150 V166 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V2 V122 V136 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V2 V42 V70 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V2 V32 V127 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V66 V127 V183 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V56 V94 V183 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V76 V86 V196 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V31 V133 V188 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V17 V18 V177 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V28 V31 V150 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V19 V73 V179 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V26 V91 V180 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V67 V135 V180 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V43 V75 V123 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V108 V111 V135 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V23 V111 V192 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V53 V191 V194 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V25 V37 V112 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V37 V126 V174 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V5 V110 V126 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V66 V94 V195 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V5 V103 V122 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V4 V25 V177 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V4 V25 V111 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V9 V74 V184 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V131 V162 V184 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V75 V97 V104 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V71 V80 V120 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V10 V88 V142 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V53 V118 V159 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V57 V135 V159 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V15 V121 V154 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V53 V91 V186 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V53 V54 V186 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V108 V182 V186 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V41 V119 V172 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V41 V71 V172 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V39 V106 V167 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V47 V101 V155 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V33 V72 V155 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V24 V155 V178 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V27 V120 V192 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V57 V75 V114 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V55 V57 V67 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V27 V34 V93 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V19 V23 V91 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V19 V26 V28 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V28 V39 V64 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V19 V35 V39 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V79 V80 V87 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V46 V79 V80 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V12 V127 V148 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V178 V180 V195 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V12 V178 V195 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V134 V148 V164 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V139 V148 V164 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V84 V139 V198 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V36 V78 V160 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V17 V164 V174 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V117 V123 V173 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V18 V59 V140 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V78 V110 V151 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V11 V22 V174 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V63 V81 V130 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V32 V51 V115 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V14 V45 V132 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V14 V132 V172 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V5 V45 V115 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V17 V125 V138 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V11 V138 V177 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V44 V153 V176 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V100 V107 V185 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V117 V157 V163 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V114 V181 V187 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V7 V165 V167 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V18 V114 V189 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V82 V176 V181 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V20 V56 V189 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V52 V102 V133 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V27 V95 V113 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V12 V62 V197 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V38 V50 V133 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V38 V57 V170 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V8 V61 V158 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V13 V37 V166 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V2 V107 V130 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V100 V162 V171 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V58 V122 V130 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V42 V51 V70 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V47 V66 V147 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V59 V161 V196 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V21 V31 V89 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V26 V89 V118 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V7 V23 V58 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V23 V99 V140 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V58 V145 V158 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V58 V124 V145 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V43 V135 V191 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V42 V163 V185 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V32 V111 V185 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V20 V53 V194 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V53 V112 V184 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V29 V49 V66 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V123 V152 V179 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V2 V76 V182 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V55 V103 V122 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V76 V89 V96 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V46 V76 V129 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V0 V96 V101 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V4 V24 V162 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V6 V78 V134 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V60 V155 V177 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V27 V50 V156 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V9 V71 V169 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V71 V109 V169 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V118 V154 V159 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V43 V125 V198 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V54 V121 V186 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V121 V182 V186 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V33 V39 V109 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V69 V101 V119 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V27 V55 V113 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V120 V178 V192 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V79 V146 V190 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V22 V55 V123 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V34 V79 V93 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V102 V146 V156 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V1 V40 V173 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V23 V26 V28 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V28 V91 V169 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V15 V19 V83 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V129 V178 V195 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V134 V164 V184 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V3 V25 V84 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V149 V168 V173 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V50 V120 V171 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V29 V56 V162 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V12 V38 V63 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V32 V82 V98 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V0 V132 V168 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V72 V128 V176 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V112 V149 V191 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V129 V133 V170 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V10 V50 V77 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V59 V85 V193 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V16 V169 V188 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V35 V41 V68 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V112 V194 V197 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V108 V111 V197 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V90 V115 V163 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V7 V129 V132 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V104 V132 V189 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V6 V7 V40 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V5 V60 V138 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V61 V82 V120 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V113 V143 V145 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V106 V113 V143 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V64 V144 V151 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V35 V101 V174 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V84 V108 V183 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V0 V165 V168 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V37 V99 V114 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V87 V114 V141 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V128 V165 V181 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V54 V146 V176 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V36 V176 V199 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V74 V97 V184 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V37 V72 V96 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V8 V65 V105 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V9 V162 V170 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V13 V130 V186 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V34 V50 V100 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V48 V100 V107 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V69 V180 V192 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V68 V171 V189 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V10 V124 V127 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V59 V65 V127 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V46 V177 V188 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V54 V58 V157 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V89 V121 V135 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V49 V121 V135 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V43 V75 V113 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V18 V145 V163 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V40 V66 V76 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V94 V152 V195 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V60 V65 V81 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V25 V107 V111 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V16 V105 V187 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V1 V131 V179 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V1 V9 V131 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V55 V80 V120 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V23 V80 V120 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V49 V71 V80 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V15 V154 V166 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V109 V131 V181 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V109 V142 V185 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V60 V161 V167 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V106 V119 V133 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V33 V69 V161 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V22 V125 V178 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V24 V42 V155 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V54 V86 V93 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V86 V93 V175 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V3 V47 V175 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V75 V136 V192 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V55 V57 V95 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V98 V149 V190 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V102 V118 V173 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V102 V118 V190 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V8 V70 V93 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V4 V23 V193 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V48 V70 V126 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V59 V91 V94 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V19 V35 V146 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V19 V35 V64 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V79 V87 V187 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V123 V137 V158 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V68 V160 V164 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V14 V89 V198 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V44 V62 V123 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V76 V78 V126 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V16 V56 V110 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V14 V34 V110 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V44 V117 V159 
0.05	c instanciating clauses for relation R11 (conflicts) and variables V75 V103 V189 
0.05	c instanciating clauses for relation R11 (conflicts) and variables V77 V104 V147 
0.05	c instanciating clauses for relation R11 (conflicts) and variables V41 V57 V198 
0.05	c instanciating clauses for relation R12 (conflicts) and variables V116 V191 
0.05	c instanciating clauses for relation R13 (conflicts) and variables V60 V148 V167 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V70 V159 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V26 V104 V188 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V7 V96 V166 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V40 V76 V138 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V17 V36 V164 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V16 V27 V156 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V38 V63 V197 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V30 V151 V168 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V73 V90 V141 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V13 V130 V166 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V64 V180 V190 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V39 V139 V187 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V11 V85 V88 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V51 V115 V193 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V45 V71 V115 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V104 V106 V189 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V17 V36 V98 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V11 V44 V61 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V61 V107 V125 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V60 V85 V157 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V74 V138 V143 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V74 V143 V176 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V84 V144 V147 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V30 V108 V144 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V84 V108 V144 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V128 V150 V165 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V175 V176 V181 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V82 V175 V176 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V56 V103 V114 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V20 V49 V152 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V17 V54 V199 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V99 V128 V169 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V14 V62 V95 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V13 V14 V95 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V12 V13 V62 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V27 V62 V95 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V69 V122 V192 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V58 V130 V180 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V83 V100 V162 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V68 V83 V189 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V122 V136 V196 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V2 V127 V128 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V10 V65 V68 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V66 V94 V183 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V54 V59 V179 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V31 V53 V133 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V21 V51 V74 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V21 V74 V171 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V26 V48 V87 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V58 V91 V157 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V43 V123 V135 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V43 V132 V135 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V26 V42 V163 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V20 V37 V194 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V45 V66 V124 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V24 V45 V124 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V29 V126 V155 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V65 V126 V152 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V2 V49 V182 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V103 V122 V134 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V1 V76 V140 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V4 V81 V116 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V16 V25 V105 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V9 V162 V184 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V109 V161 V169 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V71 V80 V88 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V81 V93 V107 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V154 V159 V166 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V43 V154 V198 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V125 V175 V198 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V142 V181 V185 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V67 V109 V160 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V95 V109 V160 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V33 V47 V72 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V22 V69 V125 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V47 V86 V113 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V67 V75 V175 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V67 V75 V127 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V6 V67 V118 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V22 V55 V70 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V67 V102 V146 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V70 V92 V193 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V30 V193 V196 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V1 V61 V173 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V59 V94 V150 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V91 V105 V150 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V29 V149 V170 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V29 V139 V149 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V29 V139 V141 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V64 V129 V158 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V3 V137 V198 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V68 V78 V160 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V59 V111 V118 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V22 V97 V151 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V42 V84 V182 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V16 V35 V61 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V16 V18 V43 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V70 V125 V136 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V44 V56 V131 
0.05	c instanciating clauses for relation R19 (conflicts) and variables V25 V63 V81 
0.05	c instanciating clauses for relation R19 (conflicts) and variables V4 V116 V195 
0.05	c instanciating clauses for relation R19 (conflicts) and variables V30 V80 V88 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V39 V81 V99 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V51 V136 V144 
0.05	c instanciating clauses for relation R20 (conflicts) and variables V77 V136 V194 
0.05	c instanciating clauses for relation R21 (conflicts) and variables V47 V77 V147 
0.05	c ...done
0.05	c #SATvar=402 #SATclauses=1077 #CSPpredicates=0
0.05	Verified 1056 original clauses.
0.05	c SAT problem is solved
0.05	restarts              : 1
0.05	conflicts             : 80             (1818 /sec)
0.05	decisions             : 218            (1.83 % random) (4955 /sec)
0.05	propagations          : 4946           (112427 /sec)
0.05	conflict literals     : 407            (4.68 % deleted)
0.05	Memory used           : 6.77 MB
0.05	CPU time              : 0.043993 s
0.05	c all predicates checked
0.05	
0.05	s SATISFIABLE
0.05	v 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 1 1 1 0 1 1 1 0 1 1 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 0 0 1 1 0 0 1 0 0 0 1 1 1 0 1 1 0 1 0 1 0 1 1 1 1 0 1 1 1 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 0 1 1 0 1 1 0 0 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 1 1 0 0 1 1 0 1 0 0 0 1 1 1 0 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 
0.05

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/node51/watcher-243235-1168093511 -o ROOT/results/node51/solver-243235-1168093511 -C 1800 -M 900 /tmp/evaluation/243235-1168093511/CSPtoSAT+minisat /tmp/evaluation/243235-1168093511/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.02 0.35 0.80 5/73 3611
/proc/meminfo: memFree=1617760/2055920 swapFree=4192812/4192956
[pid=3610] ppid=3608 vsize=18540 CPUtime=0
/proc/3610/stat : 3610 (runsolver) R 3608 3610 3377 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 157751620 18984960 279 18446744073709551615 4194304 4267372 548682069072 18446744073709551615 235371293991 0 0 4096 24578 0 0 0 17 1 0 0
/proc/3610/statm: 4635 279 244 17 0 2626 0

Child status: 0
Real time (s): 0.061634
CPU time (s): 0.049992
CPU user time (s): 0.043993
CPU system time (s): 0.005999
CPU usage (%): 81.1111
Max. virtual memory (cumulated for all children) (KiB): 0

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.043993
system time used= 0.005999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 903
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= 62
involuntary context switches= 1

runsolver used 0.001999 s user time and 0.008998 s system time

The end

Launcher Data (download as text)

Begin job on node51 on Sat Jan  6 14:25:23 UTC 2007


IDJOB= 243235
IDBENCH= 7452
FILE ID= node51/243235-1168093511

PBS_JOBID= 3476681

Free space on /tmp= 66546 MiB

BENCH NAME= HOME/pub/bench/CPAI06/dimacs/aim-200/aim-200-3-4-sat-4_ext.xml
COMMAND LINE= /tmp/evaluation/243235-1168093511/CSPtoSAT+minisat /tmp/evaluation/243235-1168093511/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node51/watcher-243235-1168093511 -o ROOT/results/node51/solver-243235-1168093511 -C 1800 -M 900  /tmp/evaluation/243235-1168093511/CSPtoSAT+minisat /tmp/evaluation/243235-1168093511/unknown.xml

META MD5SUM SOLVER= 0ab327eaa5be249b47b2f4b19927f0b0
MD5SUM BENCH=  cd5fa02169b73a6d6f563f45f297f679

RANDOM SEED= 234034835

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.277
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.277
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:       1619176 kB
Buffers:         33696 kB
Cached:         315212 kB
SwapCached:          0 kB
Active:          47652 kB
Inactive:       321692 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1619176 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3176 kB
Writeback:           0 kB
Mapped:          30632 kB
Slab:            53196 kB
Committed_AS:  3086268 kB
PageTables:       1616 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 node51 on Sat Jan  6 14:25:38 UTC 2007