Trace number 243339

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.053991 0.0711371

General information on the benchmark

Namedimacs/aim-200/
aim-200-3-4-sat-1_ext.xml
MD5SUM5f9255b591b627d86a75dd8f1122b940
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.053991
SatisfiableYES
(Un)Satisfiability was proved
Number of variables200
Number of constraints646
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension646
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.01	c preparing clauses for relation R0
0.01	c preparing clauses for relation R1
0.01	c preparing clauses for relation R2
0.01	c preparing clauses for relation R3
0.01	c preparing clauses for relation R4
0.01	c preparing clauses for relation R5
0.01	c preparing clauses for relation R6
0.01	c preparing clauses for relation R7
0.01	c preparing clauses for relation R8
0.01	c preparing clauses for relation R9
0.01	c preparing clauses for relation R10
0.01	c preparing clauses for relation R11
0.01	c preparing clauses for relation R12
0.01	c preparing clauses for relation R13
0.01	c preparing clauses for relation R14
0.01	c preparing clauses for relation R15
0.01	c preparing clauses for relation R16
0.01	c preparing clauses for relation R17
0.01	c preparing clauses for relation R18
0.01	c preparing clauses for relation R19
0.01	c preparing clauses for relation R20
0.01	c instanciating clauses for relation R0 (conflicts) and variables V24 V28 V122 
0.01	c instanciating clauses for relation R0 (conflicts) and variables V88 V104 V180 
0.01	c instanciating clauses for relation R0 (conflicts) and variables V35 V89 V131 
0.01	c instanciating clauses for relation R0 (conflicts) and variables V33 V38 V102 
0.01	c instanciating clauses for relation R0 (conflicts) and variables V38 V168 V173 
0.01	c instanciating clauses for relation R0 (conflicts) and variables V130 V140 V186 
0.01	c instanciating clauses for relation R0 (conflicts) and variables V26 V41 V137 
0.01	c instanciating clauses for relation R1 (conflicts) and variables V5 V101 V123 
0.01	c instanciating clauses for relation R1 (conflicts) and variables V5 V123 V197 
0.01	c instanciating clauses for relation R1 (conflicts) and variables V72 V119 V133 
0.01	c instanciating clauses for relation R1 (conflicts) and variables V17 V63 V66 
0.01	c instanciating clauses for relation R1 (conflicts) and variables V63 V74 V132 
0.01	c instanciating clauses for relation R1 (conflicts) and variables V126 V132 V133 
0.01	c instanciating clauses for relation R1 (conflicts) and variables V63 V111 V125 
0.01	c instanciating clauses for relation R1 (conflicts) and variables V111 V125 V142 
0.01	c instanciating clauses for relation R1 (conflicts) and variables V7 V35 V140 
0.01	c instanciating clauses for relation R1 (conflicts) and variables V83 V127 V186 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V69 V186 V187 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V69 V138 V187 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V101 V116 V117 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V80 V187 V191 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V11 V39 V160 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V11 V60 V91 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V48 V52 V171 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V36 V121 V173 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V30 V34 V175 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V13 V59 V191 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V13 V59 V127 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V37 V51 V56 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V78 V116 V188 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V58 V99 V102 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V42 V167 V171 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V114 V128 V153 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V98 V103 V105 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V18 V142 V189 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V89 V93 V107 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V20 V39 V199 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V90 V115 V180 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V21 V65 V124 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V10 V65 V123 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V6 V38 V194 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V94 V185 V198 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V92 V183 V199 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V18 V77 V165 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V19 V50 V77 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V19 V44 V94 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V87 V94 V151 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V76 V109 V176 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V44 V76 V189 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V149 V170 V181 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V20 V53 V166 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V54 V86 V113 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V45 V73 V158 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V54 V158 V172 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V56 V83 V141 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V25 V52 V60 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V25 V50 V196 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V60 V99 V116 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V62 V118 V119 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V47 V58 V84 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V47 V111 V113 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V113 V119 V199 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V88 V157 V191 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V120 V128 V159 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V12 V106 V118 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V12 V49 V118 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V131 V146 V177 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V55 V71 V123 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V115 V123 V198 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V53 V55 V108 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V129 V135 V150 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V137 V177 V182 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V15 V74 V167 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V4 V28 V127 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V28 V63 V67 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V27 V107 V184 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V42 V76 V111 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V35 V108 V192 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V69 V87 V185 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V95 V135 V177 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V4 V64 V98 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V10 V97 V150 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V8 V17 V59 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V41 V130 V167 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V46 V174 V175 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V79 V92 V148 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V5 V17 V83 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V72 V121 V125 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V2 V132 V147 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V127 V140 V186 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V121 V186 V187 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V19 V116 V117 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V0 V77 V161 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V62 V80 V124 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V33 V178 V183 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V33 V110 V183 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V3 V106 V184 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V48 V72 V105 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V139 V144 V163 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V13 V14 V116 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V134 V155 V156 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V116 V122 V136 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V56 V136 V145 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V14 V78 V145 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V26 V44 V152 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V26 V44 V157 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V25 V31 V195 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V11 V145 V167 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V136 V145 V167 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V58 V153 V197 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V42 V51 V103 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V27 V42 V114 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V49 V114 V142 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V98 V137 V142 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V98 V114 V158 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V50 V68 V158 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V47 V95 V98 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V48 V66 V154 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V17 V21 V85 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V79 V128 V142 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V79 V115 V193 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V32 V128 V193 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V23 V115 V184 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V33 V63 V180 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V33 V132 V180 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V21 V65 V123 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V6 V38 V65 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V21 V32 V34 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V1 V6 V91 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V74 V93 V168 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V107 V185 V198 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V19 V96 V125 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V41 V76 V134 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V15 V26 V53 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V50 V170 V181 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V20 V73 V166 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V43 V166 V170 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V25 V82 V150 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V164 V171 V196 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V0 V105 V157 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V118 V119 V152 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V12 V71 V108 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V12 V108 V156 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V4 V135 V177 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V10 V137 V170 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V8 V151 V154 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V63 V76 V93 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V103 V151 V153 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V67 V136 V189 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V4 V117 V189 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V52 V67 V90 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V75 V130 V192 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V79 V108 V139 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V18 V29 V92 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V52 V128 V169 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V16 V176 V195 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V4 V83 V95 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V3 V117 V139 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V75 V111 V135 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V5 V101 V172 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V32 V46 V66 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V17 V46 V125 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V121 V126 V133 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V2 V111 V132 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V108 V125 V192 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V101 V105 V192 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V34 V187 V195 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V7 V83 V140 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V34 V127 V138 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V12 V109 V186 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V75 V101 V117 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V0 V161 V191 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V133 V154 V161 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V75 V80 V154 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V106 V178 V191 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V1 V87 V159 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V11 V60 V112 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V11 V120 V160 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V17 V104 V120 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V29 V147 V196 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V31 V139 V147 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V13 V18 V59 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V51 V78 V188 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V92 V134 V155 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V16 V76 V81 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V44 V84 V193 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V42 V153 V167 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V30 V95 V103 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V18 V21 V142 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V29 V47 V107 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V57 V64 V180 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V20 V65 V193 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V20 V39 V112 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V21 V116 V124 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V33 V65 V177 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V1 V91 V194 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V6 V38 V130 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V25 V38 V173 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V155 V158 V194 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V39 V100 V194 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V6 V39 V100 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V130 V186 V190 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V0 V93 V175 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V3 V14 V39 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V64 V140 V191 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V64 V140 V161 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V102 V114 V198 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V94 V102 V114 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V135 V183 V198 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V77 V96 V102 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V176 V179 V188 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V19 V97 V146 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V15 V53 V134 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V1 V54 V164 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V73 V86 V164 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V45 V54 V86 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V40 V170 V172 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V82 V103 V134 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V82 V103 V124 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V61 V82 V103 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V50 V164 V171 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V60 V105 V196 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V80 V131 V157 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V61 V138 V156 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V28 V95 V108 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V110 V181 V194 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V85 V144 V165 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V135 V140 V181 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V51 V135 V181 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V8 V152 V182 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V15 V53 V179 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V24 V133 V179 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V74 V138 V174 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V10 V81 V93 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V8 V74 V180 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V0 V63 V75 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V0 V31 V89 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V9 V16 V87 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V16 V78 V82 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V30 V109 V132 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V8 V90 V96 
0.03	c instanciating clauses for relation R4 (conflicts) and variables V71 V150 V198 
0.03	c instanciating clauses for relation R4 (conflicts) and variables V2 V107 V146 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V22 V25 V175 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V9 V134 V150 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V2 V40 V190 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V24 V29 V196 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V5 V46 V148 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V17 V83 V148 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V74 V141 V143 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V2 V124 V147 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V69 V100 V149 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V149 V155 V197 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V62 V80 V103 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V11 V101 V122 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V1 V11 V101 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V3 V22 V119 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V91 V143 V169 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V15 V76 V161 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V19 V85 V161 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V88 V104 V175 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V30 V31 V184 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V147 V163 V199 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V13 V51 V56 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V13 V51 V162 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V35 V92 V162 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V14 V78 V168 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V31 V157 V195 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V78 V136 V146 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V16 V37 V145 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V11 V37 V167 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V30 V84 V167 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V58 V88 V176 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V84 V158 V182 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V110 V158 V182 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V42 V126 V152 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V30 V105 V181 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V21 V142 V189 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V20 V146 V193 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V23 V90 V115 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V6 V33 V54 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V6 V65 V96 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V32 V34 V194 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V40 V158 V194 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V22 V122 V155 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V14 V39 V94 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V107 V120 V185 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V57 V90 V185 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V77 V183 V199 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V19 V90 V96 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V7 V86 V170 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V53 V170 V181 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V43 V70 V166 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V1 V91 V141 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V27 V95 V143 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V27 V43 V166 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V9 V40 V56 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V1 V62 V113 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V84 V119 V152 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V77 V84 V118 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V88 V113 V118 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V80 V91 V113 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V146 V177 V190 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V12 V53 V55 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V2 V66 V156 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V15 V138 V156 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V14 V89 V95 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V85 V165 V181 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V10 V43 V177 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V15 V100 V156 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V53 V178 V179 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V117 V133 V174 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V70 V81 V93 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V111 V147 V162 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V4 V22 V69 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V29 V61 V133 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V20 V83 V104 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V54 V70 V163 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V82 V138 V180 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V48 V52 V81 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V75 V88 V97 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V22 V69 V100 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V151 V153 V185 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V52 V98 V137 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V117 V150 V165 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V46 V89 V174 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V89 V172 V174 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V5 V72 V151 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V72 V74 V139 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V8 V141 V179 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V72 V143 V171 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V83 V124 V192 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V34 V124 V192 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V7 V127 V138 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V7 V149 V195 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V12 V97 V109 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V109 V138 V187 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V36 V75 V149 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V0 V77 V80 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V36 V178 V191 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V85 V154 V173 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V121 V154 V173 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V15 V19 V76 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V154 V161 V199 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V24 V147 V196 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V31 V34 V175 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V31 V175 V184 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V37 V57 V163 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V13 V70 V162 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V37 V46 V56 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V92 V169 V177 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V13 V14 V51 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V116 V136 V155 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V122 V136 V148 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V25 V31 V172 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V25 V31 V145 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V145 V167 V170 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V16 V84 V146 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V16 V44 V193 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V36 V37 V58 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V42 V103 V152 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V42 V51 V126 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V27 V68 V114 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V98 V140 V142 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V18 V29 V68 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V17 V29 V128 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V85 V89 V128 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V57 V89 V182 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V7 V93 V115 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V20 V79 V146 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V38 V65 V177 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V40 V68 V155 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V9 V23 V130 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V64 V122 V185 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V64 V81 V90 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V45 V96 V102 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V23 V77 V182 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V19 V97 V188 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V36 V141 V181 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V20 V166 V170 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V1 V54 V172 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V56 V61 V171 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V49 V52 V71 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V0 V157 V179 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V0 V57 V91 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V62 V113 V162 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V113 V119 V162 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V56 V120 V190 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V120 V172 V190 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V172 V188 V190 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V106 V118 V132 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V34 V55 V178 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V2 V66 V126 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V61 V144 V197 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V61 V138 V144 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V51 V135 V165 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V9 V73 V195 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V73 V100 V133 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V100 V137 V156 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V8 V152 V179 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V37 V125 V185 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V18 V32 V76 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V127 V189 V192 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V11 V78 V114 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V60 V78 V156 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V28 V46 V101 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V23 V79 V148 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V99 V105 V121 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V12 V69 V109 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V36 V86 V197 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V94 V106 V183 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V1 V62 V87 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V1 V87 V122 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V39 V112 V160 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V11 V169 V171 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V48 V85 V160 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V136 V147 V161 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V24 V147 V161 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V59 V160 V163 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V59 V163 V174 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V35 V37 V57 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V13 V104 V126 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V9 V70 V162 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V51 V81 V92 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V12 V56 V145 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V14 V145 V157 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V26 V106 V157 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V36 V58 V99 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V30 V36 V58 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V37 V88 V197 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V27 V128 V153 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V17 V85 V128 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V107 V115 V164 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V7 V107 V115 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V32 V79 V193 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V20 V21 V134 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V63 V132 V180 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V33 V131 V194 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V61 V63 V194 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V40 V155 V168 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V22 V93 V175 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V82 V93 V122 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V122 V140 V191 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V94 V174 V198 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V96 V182 V186 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V19 V62 V129 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V50 V109 V188 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V44 V68 V97 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V97 V146 V188 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V25 V166 V170 
0.05	c instanciating clauses for relation R9 (conflicts) and variables V86 V153 V164 
0.05	c instanciating clauses for relation R9 (conflicts) and variables V45 V86 V164 
0.05	c instanciating clauses for relation R9 (conflicts) and variables V27 V43 V169 
0.05	c instanciating clauses for relation R9 (conflicts) and variables V43 V56 V141 
0.05	c instanciating clauses for relation R9 (conflicts) and variables V82 V124 V134 
0.05	c instanciating clauses for relation R9 (conflicts) and variables V52 V99 V120 
0.05	c instanciating clauses for relation R9 (conflicts) and variables V52 V67 V99 
0.05	c instanciating clauses for relation R9 (conflicts) and variables V62 V119 V181 
0.05	c instanciating clauses for relation R9 (conflicts) and variables V58 V84 V111 
0.05	c instanciating clauses for relation R9 (conflicts) and variables V120 V128 V190 
0.05	c instanciating clauses for relation R9 (conflicts) and variables V49 V118 V149 
0.05	c instanciating clauses for relation R9 (conflicts) and variables V49 V106 V118 
0.05	c instanciating clauses for relation R9 (conflicts) and variables V6 V40 V144 
0.05	c instanciating clauses for relation R9 (conflicts) and variables V34 V55 V115 
0.05	c instanciating clauses for relation R9 (conflicts) and variables V40 V110 V196 
0.05	c instanciating clauses for relation R9 (conflicts) and variables V28 V110 V194 
0.05	c instanciating clauses for relation R9 (conflicts) and variables V151 V174 V178 
0.05	c instanciating clauses for relation R9 (conflicts) and variables V17 V66 V81 
0.05	c instanciating clauses for relation R9 (conflicts) and variables V77 V127 V166 
0.05	c instanciating clauses for relation R9 (conflicts) and variables V23 V44 V64 
0.05	c instanciating clauses for relation R9 (conflicts) and variables V38 V68 V156 
0.05	c instanciating clauses for relation R9 (conflicts) and variables V4 V67 V195 
0.05	c instanciating clauses for relation R9 (conflicts) and variables V27 V67 V184 
0.05	c instanciating clauses for relation R9 (conflicts) and variables V8 V23 V67 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V5 V46 V175 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V92 V101 V197 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V28 V92 V148 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V5 V24 V28 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V72 V148 V151 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V72 V133 V148 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V121 V125 V142 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V121 V182 V192 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V124 V187 V195 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V159 V179 V197 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V80 V152 V191 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V62 V87 V101 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V46 V104 V173 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V85 V120 V160 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V15 V154 V161 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V43 V147 V163 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V59 V139 V160 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V35 V57 V139 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V132 V139 V144 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V13 V59 V126 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V18 V35 V70 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V136 V155 V156 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V16 V81 V136 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V26 V78 V106 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V15 V16 V153 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V37 V58 V176 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V30 V84 V158 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V64 V98 V137 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V55 V68 V114 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V50 V68 V114 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V29 V142 V189 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V112 V165 V193 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V41 V165 V168 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V21 V124 V134 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V61 V63 V131 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V33 V61 V131 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V183 V191 V198 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V57 V90 V178 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V50 V96 V176 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V19 V55 V129 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V76 V109 V145 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V41 V97 V109 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V36 V53 V149 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V91 V141 V172 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V95 V143 V166 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V27 V61 V169 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V9 V60 V169 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V60 V99 V171 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V0 V67 V105 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V49 V67 V69 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V88 V118 V157 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V159 V172 V188 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V71 V91 V198 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V6 V144 V190 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V108 V115 V123 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V66 V126 V144 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V89 V95 V110 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V4 V95 V135 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V10 V135 V177 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V73 V129 V195 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V15 V100 V143 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V3 V87 V159 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V10 V97 V102 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V42 V45 V131 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V53 V60 V159 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V24 V102 V121 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V39 V126 V130 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V42 V109 V174 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V23 V54 V83 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V16 V45 V82 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V150 V159 V175 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V3 V60 V160 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V78 V97 V130 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V4 V88 V126 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V41 V111 V130 
0.05	c instanciating clauses for relation R11 (conflicts) and variables V104 V116 V117 
0.05	c instanciating clauses for relation R11 (conflicts) and variables V32 V45 V112 
0.05	c instanciating clauses for relation R12 (conflicts) and variables V189 V194 
0.05	c instanciating clauses for relation R13 (conflicts) and variables V99 V163 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V7 V83 V162 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V3 V75 V193 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V48 V104 V173 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V32 V66 V184 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V86 V127 V199 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V8 V47 V81 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V5 V129 V148 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V68 V110 V168 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V23 V79 V92 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V72 V132 V139 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V74 V141 V179 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V141 V143 V171 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V108 V121 V192 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V26 V99 V192 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V99 V111 V125 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V187 V190 V195 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V149 V179 V197 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V149 V155 V159 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V75 V86 V187 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V133 V154 V191 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V80 V103 V124 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V94 V106 V178 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V36 V106 V183 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V3 V22 V184 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V48 V72 V184 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V48 V119 V184 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V112 V143 V169 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V85 V160 V171 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V46 V119 V173 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V40 V59 V174 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V18 V31 V59 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V144 V163 V176 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V13 V70 V125 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V35 V169 V177 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V12 V56 V78 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V44 V84 V153 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V58 V176 V197 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V50 V158 V169 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V29 V98 V103 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V30 V48 V105 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V48 V66 V105 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V47 V98 V154 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V35 V47 V89 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V57 V107 V182 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V64 V79 V180 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V112 V168 V199 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V41 V49 V168 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V49 V65 V165 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V65 V96 V123 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V6 V32 V91 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V39 V74 V93 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V23 V130 V140 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V39 V47 V94 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V3 V14 V22 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V64 V90 V102 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V112 V178 V185 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V90 V171 V178 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V18 V165 V183 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V77 V112 V183 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V45 V182 V186 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V45 V77 V87 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V44 V87 V94 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V21 V26 V41 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V26 V164 V189 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V7 V149 V170 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V36 V50 V141 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V27 V143 V166 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V49 V52 V120 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V67 V69 V131 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V80 V131 V159 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V57 V91 V157 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V62 V159 V162 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V47 V113 V199 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V113 V159 V187 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V30 V49 V106 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V34 V55 V198 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V71 V108 V172 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V2 V14 V71 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V28 V144 V156 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V10 V43 V137 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V8 V15 V151 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V24 V151 V179 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V74 V143 V167 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V82 V96 V154 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V79 V139 V160 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V4 V41 V70 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V54 V74 V164 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V10 V138 V152 
0.06	c instanciating clauses for relation R19 (conflicts) and variables V9 V70 V110 
0.06	c instanciating clauses for relation R19 (conflicts) and variables V55 V129 V196 
0.06	c instanciating clauses for relation R19 (conflicts) and variables V73 V100 V123 
0.06	c instanciating clauses for relation R20 (conflicts) and variables V43 V176 V188 
0.06	c instanciating clauses for relation R20 (conflicts) and variables V71 V73 V129 
0.06	c ...done
0.06	c #SATvar=402 #SATclauses=1079 #CSPpredicates=0
0.06	Verified 1072 original clauses.
0.06	c SAT problem is solved
0.06	restarts              : 2
0.06	conflicts             : 129            (2932 /sec)
0.06	decisions             : 342            (1.46 % random) (7774 /sec)
0.06	propagations          : 6905           (156957 /sec)
0.06	conflict literals     : 758            (15.12 % deleted)
0.06	Memory used           : 6.77 MB
0.06	CPU time              : 0.043993 s
0.06	c all predicates checked
0.06	
0.06	s SATISFIABLE
0.06	v 1 1 1 1 1 1 0 1 1 0 1 0 1 1 1 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 1 0 1 0 0 0 1 1 1 0 0 1 0 1 0 1 1 1 0 1 1 0 0 1 0 1 1 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 0 0 0 0 1 1 1 0 0 0 1 0 0 1 0 0 1 1 1 1 0 0 1 1 1 1 1 0 1 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 1 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 0 1 1 0 1 0 1 1 
0.06

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/node9/watcher-243339-1168701630 -o ROOT/results/node9/solver-243339-1168701630 -C 1800 -M 900 /tmp/evaluation/243339-1168701630/CSPtoSAT+minisat /tmp/evaluation/243339-1168701630/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: 1.22 1.61 0.85 5/87 28701
/proc/meminfo: memFree=1610128/2055920 swapFree=4191880/4192956
[pid=28700] ppid=28698 vsize=6696 CPUtime=0
/proc/28700/stat : 28700 (CSPtoSAT+minisa) R 28698 28700 28490 0 -1 4194304 403 0 0 0 0 0 0 0 18 0 1 0 218558325 6856704 383 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 8633208 0 0 4096 0 0 0 0 17 1 0 0
/proc/28700/statm: 1674 383 358 52 0 30 0

Child status: 0
Real time (s): 0.0711371
CPU time (s): 0.053991
CPU user time (s): 0.043993
CPU system time (s): 0.009998
CPU usage (%): 75.8972
Max. virtual memory (cumulated for all children) (KiB): 0

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

runsolver used 0.005999 s user time and 0.014997 s system time

The end

Launcher Data (download as text)

Begin job on node9 on Sat Jan 13 15:20:30 UTC 2007


IDJOB= 243339
IDBENCH= 7460
IDSOLVER= 87
FILE ID= node9/243339-1168701630

PBS_JOBID= 3547004

Free space on /tmp= 66561 MiB

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

META MD5SUM SOLVER= 0ab327eaa5be249b47b2f4b19927f0b0
MD5SUM BENCH=  5f9255b591b627d86a75dd8f1122b940

RANDOM SEED= 810095694

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.231
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.231
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:       1610736 kB
Buffers:         47448 kB
Cached:          77600 kB
SwapCached:        276 kB
Active:         296508 kB
Inactive:        92320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1610736 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            1768 kB
Writeback:           0 kB
Mapped:         276620 kB
Slab:            40748 kB
Committed_AS:  7347856 kB
PageTables:       2728 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= 66561 MiB



End job on node9 on Sat Jan 13 15:20:32 UTC 2007