Trace number 243352

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.05499 0.0813879

General information on the benchmark

Namedimacs/aim-200/
aim-200-3-4-sat-2_ext.xml
MD5SUM94a97ae905bf33f4458c8b3f25bf2515
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.05499
SatisfiableYES
(Un)Satisfiability was proved
Number of variables200
Number of constraints636
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension636
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 instanciating clauses for relation R0 (conflicts) and variables V9 V105 V193 
0.01	c instanciating clauses for relation R0 (conflicts) and variables V39 V78 V181 
0.01	c instanciating clauses for relation R0 (conflicts) and variables V99 V169 V196 
0.01	c instanciating clauses for relation R0 (conflicts) and variables V28 V169 V196 
0.01	c instanciating clauses for relation R0 (conflicts) and variables V17 V131 V189 
0.01	c instanciating clauses for relation R0 (conflicts) and variables V20 V129 V195 
0.01	c instanciating clauses for relation R0 (conflicts) and variables V104 V181 V195 
0.01	c instanciating clauses for relation R0 (conflicts) and variables V95 V129 V155 
0.01	c instanciating clauses for relation R0 (conflicts) and variables V90 V100 V155 
0.01	c instanciating clauses for relation R0 (conflicts) and variables V49 V90 V107 
0.01	c instanciating clauses for relation R0 (conflicts) and variables V67 V103 V154 
0.01	c instanciating clauses for relation R0 (conflicts) and variables V55 V76 V168 
0.01	c instanciating clauses for relation R0 (conflicts) and variables V154 V173 V197 
0.01	c instanciating clauses for relation R0 (conflicts) and variables V40 V79 V191 
0.01	c instanciating clauses for relation R0 (conflicts) and variables V17 V59 V145 
0.01	c instanciating clauses for relation R0 (conflicts) and variables V107 V150 V165 
0.01	c instanciating clauses for relation R0 (conflicts) and variables V38 V59 V165 
0.01	c instanciating clauses for relation R0 (conflicts) and variables V69 V123 V144 
0.01	c instanciating clauses for relation R0 (conflicts) and variables V4 V15 V143 
0.01	c instanciating clauses for relation R0 (conflicts) and variables V20 V48 V126 
0.01	c instanciating clauses for relation R0 (conflicts) and variables V35 V143 V147 
0.01	c instanciating clauses for relation R0 (conflicts) and variables V54 V82 V187 
0.01	c instanciating clauses for relation R0 (conflicts) and variables V118 V187 V188 
0.01	c instanciating clauses for relation R0 (conflicts) and variables V44 V136 V179 
0.01	c instanciating clauses for relation R0 (conflicts) and variables V21 V84 V89 
0.01	c instanciating clauses for relation R0 (conflicts) and variables V24 V161 V184 
0.01	c instanciating clauses for relation R0 (conflicts) and variables V21 V135 V158 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V21 V68 V151 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V26 V47 V63 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V13 V26 V122 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V56 V125 V162 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V18 V86 V141 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V1 V36 V73 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V57 V68 V111 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V6 V170 V198 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V104 V139 V198 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V44 V57 V169 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V111 V168 V182 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V126 V134 V139 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V83 V162 V166 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V22 V92 V162 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V28 V66 V120 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V0 V17 V153 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V37 V91 V163 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V131 V152 V185 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V0 V115 V131 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V43 V145 V186 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V17 V87 V186 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V5 V10 V150 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V5 V10 V62 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V127 V128 V138 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V120 V127 V138 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V12 V106 V170 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V12 V163 V170 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V106 V164 V196 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V32 V106 V148 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V60 V101 V114 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V65 V157 V173 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V148 V187 V190 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V22 V73 V159 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V79 V165 V194 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V73 V86 V156 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V16 V51 V74 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V103 V104 V141 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V15 V30 V124 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V20 V83 V171 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V27 V160 V192 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V54 V65 V172 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V6 V15 V122 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V32 V52 V65 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V124 V154 V176 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V35 V57 V135 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V64 V81 V131 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V24 V64 V159 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V3 V116 V176 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V110 V120 V135 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V61 V69 V122 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V53 V66 V149 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V22 V105 V133 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V39 V78 V160 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V108 V118 V146 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V95 V108 V118 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V99 V169 V181 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V20 V140 V176 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V90 V151 V171 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V59 V90 V100 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V40 V63 V126 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V40 V137 V160 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V50 V142 V197 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V38 V55 V157 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V20 V31 V82 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V35 V94 V143 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V14 V107 V187 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V11 V152 V165 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V7 V62 V158 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V35 V80 V129 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V80 V86 V132 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V74 V84 V113 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V21 V74 V113 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V55 V168 V180 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V46 V102 V161 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V3 V84 V108 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V59 V88 V184 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V37 V88 V184 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V45 V88 V184 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V100 V126 V131 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V84 V126 V131 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V63 V67 V161 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V67 V138 V150 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V110 V156 V158 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V19 V110 V135 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V25 V38 V194 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V31 V34 V72 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V83 V111 V168 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V44 V162 V166 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V29 V40 V75 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V6 V28 V163 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V43 V87 V145 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V45 V116 V129 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V5 V122 V130 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V33 V50 V180 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V2 V33 V180 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V46 V138 V151 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V10 V40 V193 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V69 V106 V170 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V25 V53 V136 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V32 V106 V128 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V100 V101 V114 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V33 V65 V157 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V33 V114 V157 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V114 V159 V190 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V101 V102 V148 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V101 V190 V194 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V86 V134 V191 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V41 V134 V156 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V16 V41 V51 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V52 V141 V158 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V74 V77 V186 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V30 V139 V170 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V68 V96 V137 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V93 V96 V137 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V91 V127 V199 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V83 V125 V174 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V27 V70 V192 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V6 V160 V192 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V26 V138 V189 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V44 V150 V174 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V58 V75 V117 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V36 V95 V177 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V23 V161 V171 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V48 V75 V107 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V48 V117 V153 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V57 V58 V171 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V56 V95 V146 
0.02	c instanciating clauses for relation R2 (conflicts) and variables V76 V94 V119 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V109 V118 V189 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V80 V123 V156 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V2 V25 V183 
0.02	c instanciating clauses for relation R4 (conflicts) and variables V3 V62 V118 
0.02	c instanciating clauses for relation R4 (conflicts) and variables V13 V21 V112 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V42 V78 V148 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V22 V39 V160 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V9 V38 V56 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V9 V47 V56 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V8 V19 V60 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V8 V9 V19 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V151 V155 V171 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V103 V137 V147 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V63 V126 V137 
0.02	c instanciating clauses for relation R5 (conflicts) and variables V14 V40 V93 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V39 V53 V108 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V39 V68 V90 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V59 V66 V69 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V37 V144 V150 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V116 V126 V165 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V48 V136 V198 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V4 V48 V68 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V68 V82 V117 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V14 V94 V136 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V152 V165 V181 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V11 V14 V158 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V80 V157 V168 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V89 V168 V199 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V12 V85 V88 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V3 V85 V97 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V88 V152 V181 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V121 V135 V198 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V19 V43 V68 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V31 V68 V75 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V23 V125 V143 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V36 V41 V161 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V38 V167 V194 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V98 V133 V195 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V31 V115 V132 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V66 V98 V115 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V38 V66 V76 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V57 V72 V111 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V76 V164 V169 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V29 V31 V105 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V71 V141 V175 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V6 V30 V78 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V28 V43 V153 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V0 V18 V115 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V43 V87 V186 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V1 V28 V116 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V107 V116 V121 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V2 V45 V129 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V24 V58 V87 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V5 V42 V180 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V42 V151 V180 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V123 V127 V179 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V70 V97 V157 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V34 V52 V136 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V52 V140 V193 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V64 V114 V159 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V49 V71 V119 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V13 V51 V158 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V7 V194 V196 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V42 V60 V96 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V60 V102 V177 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V60 V96 V102 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V7 V77 V102 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V92 V160 V174 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V54 V87 V192 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V54 V83 V192 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V23 V32 V81 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V64 V80 V145 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V2 V81 V113 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V3 V79 V139 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V124 V140 V188 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V47 V65 V195 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V8 V11 V22 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V93 V104 V197 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V30 V164 V175 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V74 V79 V172 
0.03	c instanciating clauses for relation R8 (conflicts) and variables V107 V121 V145 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V78 V148 V181 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V17 V179 V189 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V28 V169 V181 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V20 V129 V176 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V9 V60 V178 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V90 V100 V151 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V109 V154 V197 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V45 V59 V199 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V4 V30 V123 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V38 V55 V171 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V55 V117 V120 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V54 V81 V187 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V47 V167 V185 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V35 V85 V107 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V132 V182 V188 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V44 V89 V179 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V60 V168 V180 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V88 V89 V102 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V16 V96 V119 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V3 V16 V178 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V126 V131 V161 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V138 V161 V184 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V67 V110 V150 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V13 V121 V150 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V19 V21 V151 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V31 V43 V75 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V23 V32 V110 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V26 V32 V170 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V61 V70 V86 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V70 V132 V133 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V29 V132 V133 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V70 V114 V133 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V31 V72 V132 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V31 V52 V57 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V83 V111 V188 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V44 V111 V126 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V71 V92 V162 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V71 V155 V162 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V105 V128 V182 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V6 V105 V152 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V17 V105 V153 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V17 V108 V153 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V0 V105 V153 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V10 V18 V163 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V43 V62 V182 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V120 V127 V199 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V138 V148 V149 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V34 V53 V127 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V128 V130 V186 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V130 V159 V190 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V8 V159 V190 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V82 V159 V163 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V82 V163 V190 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V49 V69 V71 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V73 V190 V194 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V41 V73 V87 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V79 V87 V194 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V41 V79 V134 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V16 V51 V159 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V15 V51 V74 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V61 V92 V175 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V2 V176 V177 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V115 V176 V177 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V24 V79 V128 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V27 V75 V166 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V57 V74 V164 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V99 V110 V184 
0.03	c instanciating clauses for relation R10 (conflicts) and variables V66 V148 V149 
0.03	c instanciating clauses for relation R10 (conflicts) and variables V9 V39 V193 
0.03	c instanciating clauses for relation R10 (conflicts) and variables V56 V175 V181 
0.03	c instanciating clauses for relation R10 (conflicts) and variables V56 V150 V175 
0.03	c instanciating clauses for relation R10 (conflicts) and variables V42 V95 V178 
0.03	c instanciating clauses for relation R10 (conflicts) and variables V95 V129 V132 
0.03	c instanciating clauses for relation R10 (conflicts) and variables V49 V79 V155 
0.03	c instanciating clauses for relation R10 (conflicts) and variables V37 V154 V155 
0.03	c instanciating clauses for relation R10 (conflicts) and variables V4 V40 V166 
0.03	c instanciating clauses for relation R10 (conflicts) and variables V39 V90 V108 
0.03	c instanciating clauses for relation R10 (conflicts) and variables V11 V41 V142 
0.03	c instanciating clauses for relation R10 (conflicts) and variables V50 V93 V140 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V50 V81 V165 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V63 V81 V144 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V17 V69 V145 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V120 V123 V130 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V55 V157 V171 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V34 V117 V147 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V48 V55 V136 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V94 V104 V143 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V35 V77 V187 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V80 V121 V157 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V80 V107 V145 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V146 V174 V179 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V33 V72 V199 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V72 V89 V113 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V16 V25 V59 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V45 V50 V181 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V65 V84 V88 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V103 V110 V158 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V87 V110 V156 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V26 V47 V53 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V112 V134 V167 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V112 V134 V182 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V23 V53 V61 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V12 V36 V112 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V36 V61 V141 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V41 V61 V141 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V36 V46 V112 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V46 V86 V133 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V98 V185 V195 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V98 V114 V185 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V46 V98 V115 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V57 V72 V169 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V139 V169 V198 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V25 V134 V162 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V78 V114 V183 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V128 V178 V182 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V31 V105 V178 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V18 V37 V91 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V10 V18 V119 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V43 V87 V115 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V1 V116 V145 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V5 V50 V180 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V127 V149 V199 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V123 V157 V179 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V33 V100 V164 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V16 V92 V101 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V33 V82 V163 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V49 V101 V119 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V27 V103 V104 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V7 V28 V102 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V42 V137 V171 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V77 V92 V125 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V6 V177 V192 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V6 V27 V177 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V54 V65 V87 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V0 V54 V176 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V2 V54 V115 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V67 V78 V93 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V44 V54 V97 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V33 V142 V194 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V37 V98 V154 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V72 V122 V147 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V110 V113 V115 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V147 V173 V197 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V59 V63 V137 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V96 V185 V187 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V28 V29 V172 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V1 V58 V165 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V20 V77 V99 
0.04	c instanciating clauses for relation R12 (conflicts) and variables V19 V141 V166 
0.04	c instanciating clauses for relation R12 (conflicts) and variables V25 V26 V112 
0.04	c instanciating clauses for relation R12 (conflicts) and variables V70 V97 V193 
0.04	c instanciating clauses for relation R12 (conflicts) and variables V15 V183 V199 
0.04	c instanciating clauses for relation R12 (conflicts) and variables V91 V121 V125 
0.04	c instanciating clauses for relation R12 (conflicts) and variables V99 V177 V192 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V137 V148 V149 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V42 V148 V149 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V22 V39 V105 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V22 V133 V160 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V17 V169 V179 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V131 V189 V196 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V104 V140 V195 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V2 V8 V47 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V13 V24 V49 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V129 V132 V155 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V37 V103 V154 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V63 V140 V152 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V63 V93 V140 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V37 V38 V173 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V4 V30 V120 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V117 V136 V156 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V117 V143 V156 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V117 V147 V156 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V15 V34 V143 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V81 V94 V187 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V11 V14 V152 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V107 V118 V175 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V132 V187 V188 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V80 V86 V188 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V60 V84 V89 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V33 V60 V72 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V96 V179 V185 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V88 V142 V161 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V85 V88 V161 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V84 V131 V161 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V53 V112 V130 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V13 V21 V167 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V12 V36 V167 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V18 V61 V73 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V46 V160 V167 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V25 V38 V167 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V52 V57 V66 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V62 V169 V170 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V111 V168 V183 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V134 V168 V183 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V71 V92 V155 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V29 V40 V162 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V105 V128 V178 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V66 V120 V175 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V91 V163 V172 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V10 V59 V163 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V18 V115 V178 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V18 V109 V185 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V119 V131 V145 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V62 V122 V182 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V127 V149 V164 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V70 V123 V157 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V34 V97 V143 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V34 V127 V166 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V101 V102 V190 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V49 V69 V101 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V64 V172 V193 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V22 V64 V172 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V86 V156 V191 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V15 V51 V158 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V51 V52 V104 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V15 V51 V186 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V27 V103 V170 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V7 V103 V141 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V30 V42 V139 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V26 V92 V171 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V77 V92 V171 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V70 V130 V189 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V54 V174 V176 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V58 V125 V164 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V32 V182 V183 
0.05	c instanciating clauses for relation R13 (conflicts) and variables V36 V64 V146 
0.05	c instanciating clauses for relation R13 (conflicts) and variables V77 V111 V159 
0.05	c instanciating clauses for relation R13 (conflicts) and variables V30 V106 V138 
0.05	c instanciating clauses for relation R13 (conflicts) and variables V12 V64 V184 
0.05	c instanciating clauses for relation R13 (conflicts) and variables V18 V49 V98 
0.05	c instanciating clauses for relation R13 (conflicts) and variables V125 V144 V176 
0.05	c instanciating clauses for relation R13 (conflicts) and variables V44 V50 V142 
0.05	c instanciating clauses for relation R13 (conflicts) and variables V57 V106 V135 
0.05	c instanciating clauses for relation R13 (conflicts) and variables V27 V58 V73 
0.05	c instanciating clauses for relation R13 (conflicts) and variables V5 V79 V124 
0.05	c instanciating clauses for relation R13 (conflicts) and variables V5 V48 V139 
0.05	c instanciating clauses for relation R13 (conflicts) and variables V7 V146 V184 
0.05	c instanciating clauses for relation R13 (conflicts) and variables V23 V113 V173 
0.05	c instanciating clauses for relation R13 (conflicts) and variables V7 V23 V183 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V42 V66 V149 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V39 V151 V193 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V72 V146 V189 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V147 V189 V196 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V129 V195 V196 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V8 V47 V163 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V9 V95 V178 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V24 V49 V95 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V0 V154 V155 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V67 V154 V155 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V40 V100 V166 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V42 V63 V173 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V14 V160 V173 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V4 V76 V166 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V29 V55 V76 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V93 V142 V191 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V11 V17 V142 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V52 V69 V147 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V116 V144 V150 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V37 V130 V173 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V55 V82 V198 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V14 V158 V181 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V35 V129 V168 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V35 V136 V158 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V80 V146 V188 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V113 V140 V188 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V85 V108 V113 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V84 V88 V142 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V12 V85 V108 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V16 V97 V119 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V3 V78 V84 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V3 V9 V84 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V45 V145 V184 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V65 V67 V198 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V67 V121 V138 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V1 V109 V135 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V1 V109 V165 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V1 V64 V109 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V32 V110 V135 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V21 V26 V32 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V15 V74 V86 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V38 V76 V94 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V6 V104 V170 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V0 V10 V119 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V0 V119 V186 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V24 V43 V182 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V2 V5 V122 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V10 V46 V193 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V98 V106 V144 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V34 V127 V167 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V128 V130 V196 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V16 V100 V101 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V33 V65 V114 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V22 V128 V172 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V13 V52 V141 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V51 V77 V186 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V90 V91 V199 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V135 V191 V192 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V11 V70 V192 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V75 V124 V177 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V36 V124 V144 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V48 V142 V190 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V56 V111 V190 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V24 V121 V123 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V6 V19 V153 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V23 V99 V133 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V95 V113 V180 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V5 V32 V156 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V4 V29 V76 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V58 V83 V109 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V12 V117 V122 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V106 V144 V151 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V118 V133 V146 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V95 V146 V189 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V72 V181 V189 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V150 V181 V195 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V24 V147 V195 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V8 V11 V160 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V56 V90 V100 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V49 V107 V166 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V14 V93 V137 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V39 V53 V68 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V11 V41 V191 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V50 V81 V142 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V45 V59 V66 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V37 V116 V126 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V4 V48 V198 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V4 V31 V48 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V94 V143 V147 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V14 V82 V136 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V14 V47 V82 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V7 V62 V175 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V38 V62 V175 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V35 V77 V118 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V174 V179 V188 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V55 V113 V180 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V60 V97 V103 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V46 V89 V102 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V3 V85 V96 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V16 V45 V152 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V45 V50 V184 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V13 V43 V75 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V64 V109 V135 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V1 V21 V135 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V13 V47 V122 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V112 V143 V167 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V23 V125 V134 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V56 V162 V167 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V23 V61 V85 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V18 V74 V86 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V36 V73 V86 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V25 V26 V186 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V29 V132 V197 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V62 V139 V164 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V83 V111 V182 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V44 V83 V162 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V71 V114 V183 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V28 V71 V120 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V153 V175 V185 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V27 V153 V185 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V10 V18 V172 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V1 V45 V58 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V24 V58 V182 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V5 V10 V133 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V46 V127 V138 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V12 V46 V193 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V12 V89 V193 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V69 V100 V170 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V25 V34 V136 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V34 V52 V140 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V164 V186 V196 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V92 V101 V148 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V82 V130 V159 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V41 V52 V128 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V7 V30 V124 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V7 V194 V199 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V28 V102 V196 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V68 V93 V96 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V91 V125 V174 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V11 V130 V192 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V124 V176 V177 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V124 V133 V174 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V35 V81 V120 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V81 V99 V151 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V117 V123 V194 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V41 V51 V153 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V4 V44 V144 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V24 V69 V179 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V67 V178 V191 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V71 V98 V198 
0.06	c instanciating clauses for relation R17 (conflicts) and variables V20 V27 V191 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V9 V19 V173 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V94 V154 V197 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V50 V85 V89 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V0 V149 V180 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V73 V90 V91 
0.06	c instanciating clauses for relation R18 (conflicts) and variables V53 V61 V174 
0.06	c instanciating clauses for relation R19 (conflicts) and variables V78 V108 V139 
0.06	c instanciating clauses for relation R19 (conflicts) and variables V2 V8 V152 
0.06	c instanciating clauses for relation R19 (conflicts) and variables V97 V103 V134 
0.06	c instanciating clauses for relation R19 (conflicts) and variables V40 V75 V99 
0.06	c ...done
0.06	c #SATvar=402 #SATclauses=1079 #CSPpredicates=0
0.06	Verified 1079 original clauses.
0.06	c SAT problem is solved
0.06	restarts              : 1
0.06	conflicts             : 29             (617 /sec)
0.06	decisions             : 114            (0.88 % random) (2426 /sec)
0.06	propagations          : 1994           (42433 /sec)
0.06	conflict literals     : 149            (12.87 % deleted)
0.06	Memory used           : 6.77 MB
0.06	CPU time              : 0.046992 s
0.06	c all predicates checked
0.06	
0.06	s SATISFIABLE
0.06	v 0 1 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 1 0 1 1 0 0 1 0 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 1 1 0 1 0 1 0 1 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 1 1 0 1 1 1 0 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 1 1 0 1 1 1 1 0 0 1 1 1 1 1 0 1 1 0 1 1 0 0 1 0 1 0 0 0 1 0 1 1 0 1 1 1 1 0 0 1 0 1 0 0 0 1 1 0 1 1 0 0 0 1 1 1 0 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/node2/watcher-243352-1168701630 -o ROOT/results/node2/solver-243352-1168701630 -C 1800 -M 900 /tmp/evaluation/243352-1168701630/CSPtoSAT+minisat /tmp/evaluation/243352-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.21 1.52 0.80 5/87 5576
/proc/meminfo: memFree=1602616/2055920 swapFree=4180552/4192956
[pid=5575] ppid=5573 vsize=6696 CPUtime=0
/proc/5575/stat : 5575 (CSPtoSAT+minisa) R 5573 5575 5441 0 -1 4194304 423 0 0 0 0 0 0 0 18 0 1 0 218558831 6856704 402 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 10539116 0 0 4096 0 0 0 0 17 1 0 0
/proc/5575/statm: 1674 403 365 52 0 30 0

Child status: 0
Real time (s): 0.0813879
CPU time (s): 0.05499
CPU user time (s): 0.046992
CPU system time (s): 0.007998
CPU usage (%): 67.5653
Max. virtual memory (cumulated for all children) (KiB): 0

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.046992
system time used= 0.007998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 901
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= 13
involuntary context switches= 681

runsolver used 0.005999 s user time and 0.013997 s system time

The end

Launcher Data (download as text)

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


IDJOB= 243352
IDBENCH= 7461
IDSOLVER= 87
FILE ID= node2/243352-1168701630

PBS_JOBID= 3547009

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-2_ext.xml
COMMAND LINE= /tmp/evaluation/243352-1168701630/CSPtoSAT+minisat /tmp/evaluation/243352-1168701630/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node2/watcher-243352-1168701630 -o ROOT/results/node2/solver-243352-1168701630 -C 1800 -M 900  /tmp/evaluation/243352-1168701630/CSPtoSAT+minisat /tmp/evaluation/243352-1168701630/unknown.xml

META MD5SUM SOLVER= 0ab327eaa5be249b47b2f4b19927f0b0
MD5SUM BENCH=  94a97ae905bf33f4458c8b3f25bf2515

RANDOM SEED= 707467965

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.259
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	: 5931.00
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.259
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:       1603288 kB
Buffers:         15276 kB
Cached:         111268 kB
SwapCached:        548 kB
Active:         299284 kB
Inactive:        93216 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1603288 kB
SwapTotal:     4192956 kB
SwapFree:      4180552 kB
Dirty:            1612 kB
Writeback:           0 kB
Mapped:         278328 kB
Slab:            44468 kB
Committed_AS:  6341832 kB
PageTables:       2820 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 node2 on Sat Jan 13 15:20:34 UTC 2007