Trace number 242359

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.3UNSAT 0.05799 0.0616229

General information on the benchmark

Namedimacs/ssa/
ssa-0432-003_ext.xml
MD5SUM186780f30bf46b633acf597de8e6a549
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.05799
SatisfiableNO
(Un)Satisfiability was proved
Number of variables435
Number of constraints738
Maximum constraint arity5
Maximum domain size2
Number of constraints which are defined in extension738
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00	c This is CSPtoSAT+minisat version 0.3
0.00	c (c) 2006 roussel@cril.univ-artois.fr
0.00	
0.00	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.02	c preparing clauses for relation R3
0.02	c preparing clauses for relation R4
0.02	c preparing clauses for relation R5
0.02	c preparing clauses for relation R6
0.02	c preparing clauses for relation R7
0.02	c preparing clauses for relation R8
0.02	c preparing clauses for relation R9
0.02	c preparing clauses for relation R10
0.02	c preparing clauses for relation R11
0.02	c preparing clauses for relation R12
0.02	c preparing clauses for relation R13
0.02	c preparing clauses for relation R14
0.02	c preparing clauses for relation R15
0.02	c preparing clauses for relation R16
0.02	c preparing clauses for relation R17
0.02	c preparing clauses for relation R18
0.02	c instanciating clauses for relation R0 (conflicts) and variables V432 V38 V36 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V421 V270 V194 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V409 V402 V403 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V415 V324 V322 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V427 V332 V83 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V419 V268 V258 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V429 V44 V79 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V411 V347 V348 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V423 V110 V111 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V417 V289 V290 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V413 V328 V329 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V425 V178 V93 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V52 V59 V262 V175 V181 
0.02	c instanciating clauses for relation R1 (conflicts) and variables V41 V285 V266 V42 V277 
0.02	c instanciating clauses for relation R2 (supports) and variables V173 V159 
0.02	c instanciating clauses for relation R2 (supports) and variables V173 V168 
0.02	c instanciating clauses for relation R2 (supports) and variables V434 V431 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V59 V52 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V262 V52 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V175 V52 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V181 V52 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V285 V41 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V266 V41 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V42 V41 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V277 V41 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V330 V267 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V323 V267 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V331 V267 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V48 V57 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V58 V57 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V53 V57 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V225 V207 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V214 V207 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V205 V204 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V206 V204 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V335 V95 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V345 V335 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V378 V334 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V381 V334 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V256 V254 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V257 V254 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V263 V259 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V265 V259 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V248 V246 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V249 V246 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V114 V47 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V117 V115 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V118 V115 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V228 V73 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V229 V73 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V301 V130 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V296 V130 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V145 V70 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V140 V70 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V148 V70 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V145 V72 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V142 V72 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V148 V72 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V253 V239 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V227 V129 
0.02	c instanciating clauses for relation R3 (conflicts) and variables V216 V129 
0.02	c instanciating clauses for relation R4 (supports) and variables V74 V137 
0.02	c instanciating clauses for relation R4 (supports) and variables V74 V138 
0.02	c instanciating clauses for relation R4 (supports) and variables V74 V146 
0.02	c instanciating clauses for relation R4 (supports) and variables V14 V314 
0.02	c instanciating clauses for relation R4 (supports) and variables V14 V315 
0.02	c instanciating clauses for relation R4 (supports) and variables V52 V92 
0.02	c instanciating clauses for relation R4 (supports) and variables V52 V93 
0.02	c instanciating clauses for relation R4 (supports) and variables V52 V97 
0.02	c instanciating clauses for relation R4 (supports) and variables V52 V101 
0.02	c instanciating clauses for relation R4 (supports) and variables V52 V104 
0.02	c instanciating clauses for relation R4 (supports) and variables V52 V118 
0.02	c instanciating clauses for relation R4 (supports) and variables V52 V120 
0.02	c instanciating clauses for relation R4 (supports) and variables V52 V123 
0.02	c instanciating clauses for relation R4 (supports) and variables V52 V128 
0.02	c instanciating clauses for relation R4 (supports) and variables V52 V168 
0.02	c instanciating clauses for relation R4 (supports) and variables V52 V206 
0.02	c instanciating clauses for relation R4 (supports) and variables V52 V220 
0.02	c instanciating clauses for relation R4 (supports) and variables V52 V243 
0.02	c instanciating clauses for relation R4 (supports) and variables V52 V249 
0.02	c instanciating clauses for relation R4 (supports) and variables V52 V303 
0.02	c instanciating clauses for relation R4 (supports) and variables V52 V313 
0.02	c instanciating clauses for relation R4 (supports) and variables V52 V329 
0.02	c instanciating clauses for relation R4 (supports) and variables V52 V342 
0.02	c instanciating clauses for relation R4 (supports) and variables V52 V344 
0.02	c instanciating clauses for relation R4 (supports) and variables V52 V359 
0.02	c instanciating clauses for relation R4 (supports) and variables V52 V377 
0.02	c instanciating clauses for relation R4 (supports) and variables V103 V186 
0.02	c instanciating clauses for relation R4 (supports) and variables V103 V187 
0.02	c instanciating clauses for relation R4 (supports) and variables V183 V191 
0.02	c instanciating clauses for relation R4 (supports) and variables V183 V192 
0.02	c instanciating clauses for relation R4 (supports) and variables V183 V199 
0.02	c instanciating clauses for relation R4 (supports) and variables V183 V202 
0.02	c instanciating clauses for relation R4 (supports) and variables V11 V189 
0.02	c instanciating clauses for relation R4 (supports) and variables V11 V190 
0.02	c instanciating clauses for relation R4 (supports) and variables V188 V195 
0.02	c instanciating clauses for relation R4 (supports) and variables V188 V196 
0.02	c instanciating clauses for relation R4 (supports) and variables V41 V79 
0.02	c instanciating clauses for relation R4 (supports) and variables V41 V80 
0.02	c instanciating clauses for relation R4 (supports) and variables V41 V83 
0.02	c instanciating clauses for relation R4 (supports) and variables V41 V100 
0.02	c instanciating clauses for relation R4 (supports) and variables V41 V111 
0.02	c instanciating clauses for relation R4 (supports) and variables V41 V165 
0.02	c instanciating clauses for relation R4 (supports) and variables V41 V194 
0.02	c instanciating clauses for relation R4 (supports) and variables V41 V217 
0.02	c instanciating clauses for relation R4 (supports) and variables V41 V240 
0.02	c instanciating clauses for relation R4 (supports) and variables V41 V258 
0.02	c instanciating clauses for relation R4 (supports) and variables V41 V290 
0.02	c instanciating clauses for relation R4 (supports) and variables V41 V302 
0.02	c instanciating clauses for relation R4 (supports) and variables V41 V312 
0.02	c instanciating clauses for relation R4 (supports) and variables V41 V322 
0.02	c instanciating clauses for relation R4 (supports) and variables V41 V343 
0.02	c instanciating clauses for relation R4 (supports) and variables V41 V348 
0.02	c instanciating clauses for relation R4 (supports) and variables V41 V356 
0.02	c instanciating clauses for relation R4 (supports) and variables V41 V384 
0.02	c instanciating clauses for relation R4 (supports) and variables V41 V403 
0.02	c instanciating clauses for relation R4 (supports) and variables V278 V346 
0.02	c instanciating clauses for relation R4 (supports) and variables V278 V347 
0.02	c instanciating clauses for relation R4 (supports) and variables V280 V283 
0.02	c instanciating clauses for relation R4 (supports) and variables V280 V284 
0.02	c instanciating clauses for relation R4 (supports) and variables V280 V300 
0.02	c instanciating clauses for relation R4 (supports) and variables V280 V369 
0.02	c instanciating clauses for relation R4 (supports) and variables V6 V367 
0.02	c instanciating clauses for relation R4 (supports) and variables V6 V368 
0.02	c instanciating clauses for relation R4 (supports) and variables V40 V44 
0.02	c instanciating clauses for relation R4 (supports) and variables V40 V45 
0.02	c instanciating clauses for relation R4 (supports) and variables V203 V210 
0.02	c instanciating clauses for relation R4 (supports) and variables V203 V211 
0.02	c instanciating clauses for relation R4 (supports) and variables V31 V213 
0.02	c instanciating clauses for relation R4 (supports) and variables V31 V214 
0.02	c instanciating clauses for relation R4 (supports) and variables V31 V227 
0.02	c instanciating clauses for relation R4 (supports) and variables V4 V218 
0.02	c instanciating clauses for relation R4 (supports) and variables V4 V219 
0.02	c instanciating clauses for relation R4 (supports) and variables V43 V109 
0.02	c instanciating clauses for relation R4 (supports) and variables V43 V110 
0.02	c instanciating clauses for relation R4 (supports) and variables V349 V352 
0.02	c instanciating clauses for relation R4 (supports) and variables V349 V353 
0.02	c instanciating clauses for relation R4 (supports) and variables V349 V354 
0.02	c instanciating clauses for relation R4 (supports) and variables V349 V366 
0.02	c instanciating clauses for relation R4 (supports) and variables V20 V357 
0.02	c instanciating clauses for relation R4 (supports) and variables V20 V358 
0.02	c instanciating clauses for relation R4 (supports) and variables V193 V270 
0.02	c instanciating clauses for relation R4 (supports) and variables V193 V271 
0.02	c instanciating clauses for relation R4 (supports) and variables V24 V200 
0.02	c instanciating clauses for relation R4 (supports) and variables V24 V201 
0.02	c instanciating clauses for relation R4 (supports) and variables V390 V401 
0.02	c instanciating clauses for relation R4 (supports) and variables V390 V402 
0.02	c instanciating clauses for relation R4 (supports) and variables V391 V396 
0.02	c instanciating clauses for relation R4 (supports) and variables V391 V397 
0.02	c instanciating clauses for relation R4 (supports) and variables V391 V400 
0.02	c instanciating clauses for relation R4 (supports) and variables V391 V408 
0.02	c instanciating clauses for relation R4 (supports) and variables V16 V398 
0.02	c instanciating clauses for relation R4 (supports) and variables V16 V399 
0.02	c instanciating clauses for relation R4 (supports) and variables V321 V324 
0.02	c instanciating clauses for relation R4 (supports) and variables V321 V325 
0.02	c instanciating clauses for relation R4 (supports) and variables V234 V385 
0.02	c instanciating clauses for relation R4 (supports) and variables V234 V386 
0.02	c instanciating clauses for relation R4 (supports) and variables V234 V389 
0.02	c instanciating clauses for relation R4 (supports) and variables V34 V381 
0.02	c instanciating clauses for relation R4 (supports) and variables V34 V382 
0.02	c instanciating clauses for relation R4 (supports) and variables V29 V387 
0.02	c instanciating clauses for relation R4 (supports) and variables V29 V388 
0.02	c instanciating clauses for relation R4 (supports) and variables V82 V332 
0.02	c instanciating clauses for relation R4 (supports) and variables V82 V333 
0.02	c instanciating clauses for relation R4 (supports) and variables V85 V90 
0.02	c instanciating clauses for relation R4 (supports) and variables V85 V91 
0.02	c instanciating clauses for relation R4 (supports) and variables V85 V157 
0.02	c instanciating clauses for relation R4 (supports) and variables V85 V320 
0.02	c instanciating clauses for relation R4 (supports) and variables V3 V316 
0.02	c instanciating clauses for relation R4 (supports) and variables V3 V319 
0.02	c instanciating clauses for relation R4 (supports) and variables V236 V268 
0.02	c instanciating clauses for relation R4 (supports) and variables V236 V269 
0.02	c instanciating clauses for relation R4 (supports) and variables V231 V237 
0.02	c instanciating clauses for relation R4 (supports) and variables V231 V238 
0.02	c instanciating clauses for relation R4 (supports) and variables V5 V252 
0.02	c instanciating clauses for relation R4 (supports) and variables V5 V253 
0.02	c instanciating clauses for relation R4 (supports) and variables V5 V257 
0.02	c instanciating clauses for relation R4 (supports) and variables V9 V241 
0.02	c instanciating clauses for relation R4 (supports) and variables V9 V242 
0.02	c instanciating clauses for relation R4 (supports) and variables V286 V288 
0.02	c instanciating clauses for relation R4 (supports) and variables V286 V289 
0.02	c instanciating clauses for relation R4 (supports) and variables V291 V294 
0.02	c instanciating clauses for relation R4 (supports) and variables V291 V295 
0.02	c instanciating clauses for relation R4 (supports) and variables V291 V310 
0.02	c instanciating clauses for relation R4 (supports) and variables V291 V372 
0.02	c instanciating clauses for relation R4 (supports) and variables V10 V370 
0.02	c instanciating clauses for relation R4 (supports) and variables V10 V371 
0.02	c instanciating clauses for relation R4 (supports) and variables V177 V275 
0.02	c instanciating clauses for relation R4 (supports) and variables V177 V276 
0.02	c instanciating clauses for relation R4 (supports) and variables V177 V341 
0.02	c instanciating clauses for relation R4 (supports) and variables V17 V394 
0.02	c instanciating clauses for relation R4 (supports) and variables V17 V395 
0.02	c instanciating clauses for relation R4 (supports) and variables V393 V404 
0.02	c instanciating clauses for relation R4 (supports) and variables V393 V405 
0.02	c instanciating clauses for relation R4 (supports) and variables V176 V327 
0.02	c instanciating clauses for relation R4 (supports) and variables V176 V328 
0.02	c instanciating clauses for relation R4 (supports) and variables V21 V375 
0.02	c instanciating clauses for relation R4 (supports) and variables V21 V376 
0.03	c instanciating clauses for relation R4 (supports) and variables V233 V336 
0.03	c instanciating clauses for relation R4 (supports) and variables V233 V337 
0.03	c instanciating clauses for relation R4 (supports) and variables V84 V178 
0.03	c instanciating clauses for relation R4 (supports) and variables V84 V179 
0.03	c instanciating clauses for relation R4 (supports) and variables V22 V171 
0.03	c instanciating clauses for relation R4 (supports) and variables V81 V88 
0.03	c instanciating clauses for relation R4 (supports) and variables V81 V89 
0.03	c instanciating clauses for relation R4 (supports) and variables V180 V262 
0.03	c instanciating clauses for relation R4 (supports) and variables V180 V263 
0.03	c instanciating clauses for relation R4 (supports) and variables V232 V247 
0.03	c instanciating clauses for relation R4 (supports) and variables V232 V248 
0.03	c instanciating clauses for relation R4 (supports) and variables V32 V244 
0.03	c instanciating clauses for relation R4 (supports) and variables V32 V245 
0.03	c instanciating clauses for relation R4 (supports) and variables V235 V260 
0.03	c instanciating clauses for relation R4 (supports) and variables V235 V261 
0.03	c instanciating clauses for relation R4 (supports) and variables V62 V126 
0.03	c instanciating clauses for relation R4 (supports) and variables V62 V127 
0.03	c instanciating clauses for relation R4 (supports) and variables V62 V205 
0.03	c instanciating clauses for relation R4 (supports) and variables V28 V221 
0.03	c instanciating clauses for relation R4 (supports) and variables V28 V222 
0.03	c instanciating clauses for relation R4 (supports) and variables V39 V208 
0.03	c instanciating clauses for relation R4 (supports) and variables V39 V209 
0.03	c instanciating clauses for relation R4 (supports) and variables V61 V116 
0.03	c instanciating clauses for relation R4 (supports) and variables V61 V117 
0.03	c instanciating clauses for relation R4 (supports) and variables V61 V119 
0.03	c instanciating clauses for relation R4 (supports) and variables V30 V304 
0.03	c instanciating clauses for relation R4 (supports) and variables V30 V305 
0.03	c instanciating clauses for relation R4 (supports) and variables V279 V281 
0.03	c instanciating clauses for relation R4 (supports) and variables V279 V282 
0.03	c instanciating clauses for relation R4 (supports) and variables V60 V121 
0.03	c instanciating clauses for relation R4 (supports) and variables V60 V122 
0.03	c instanciating clauses for relation R4 (supports) and variables V19 V360 
0.03	c instanciating clauses for relation R4 (supports) and variables V19 V361 
0.03	c instanciating clauses for relation R4 (supports) and variables V108 V350 
0.03	c instanciating clauses for relation R4 (supports) and variables V108 V351 
0.03	c instanciating clauses for relation R4 (supports) and variables V51 V63 
0.03	c instanciating clauses for relation R4 (supports) and variables V51 V64 
0.03	c instanciating clauses for relation R4 (supports) and variables V287 V292 
0.03	c instanciating clauses for relation R4 (supports) and variables V287 V293 
0.03	c instanciating clauses for relation R4 (supports) and variables V1 V308 
0.03	c instanciating clauses for relation R4 (supports) and variables V1 V309 
0.03	c instanciating clauses for relation R4 (supports) and variables V57 V184 
0.03	c instanciating clauses for relation R4 (supports) and variables V57 V185 
0.03	c instanciating clauses for relation R4 (supports) and variables V57 V230 
0.03	c instanciating clauses for relation R4 (supports) and variables V57 V297 
0.03	c instanciating clauses for relation R4 (supports) and variables V57 V307 
0.03	c instanciating clauses for relation R4 (supports) and variables V57 V363 
0.03	c instanciating clauses for relation R4 (supports) and variables V57 V374 
0.03	c instanciating clauses for relation R4 (supports) and variables V57 V392 
0.03	c instanciating clauses for relation R4 (supports) and variables V212 V225 
0.03	c instanciating clauses for relation R4 (supports) and variables V212 V226 
0.03	c instanciating clauses for relation R4 (supports) and variables V7 V364 
0.03	c instanciating clauses for relation R4 (supports) and variables V7 V365 
0.03	c instanciating clauses for relation R4 (supports) and variables V2 V406 
0.03	c instanciating clauses for relation R4 (supports) and variables V2 V407 
0.03	c instanciating clauses for relation R4 (supports) and variables V77 V264 
0.03	c instanciating clauses for relation R4 (supports) and variables V77 V265 
0.03	c instanciating clauses for relation R4 (supports) and variables V77 V274 
0.03	c instanciating clauses for relation R4 (supports) and variables V0 V379 
0.03	c instanciating clauses for relation R4 (supports) and variables V0 V380 
0.03	c instanciating clauses for relation R4 (supports) and variables V15 V155 
0.03	c instanciating clauses for relation R4 (supports) and variables V15 V156 
0.03	c instanciating clauses for relation R4 (supports) and variables V250 V255 
0.03	c instanciating clauses for relation R4 (supports) and variables V250 V256 
0.03	c instanciating clauses for relation R4 (supports) and variables V35 V197 
0.03	c instanciating clauses for relation R4 (supports) and variables V35 V198 
0.03	c instanciating clauses for relation R4 (supports) and variables V23 V298 
0.03	c instanciating clauses for relation R4 (supports) and variables V23 V299 
0.03	c instanciating clauses for relation R4 (supports) and variables V65 V131 
0.03	c instanciating clauses for relation R4 (supports) and variables V65 V132 
0.03	c instanciating clauses for relation R4 (supports) and variables V65 V134 
0.03	c instanciating clauses for relation R4 (supports) and variables V65 V229 
0.03	c instanciating clauses for relation R4 (supports) and variables V130 V135 
0.03	c instanciating clauses for relation R4 (supports) and variables V130 V136 
0.03	c instanciating clauses for relation R4 (supports) and variables V130 V139 
0.03	c instanciating clauses for relation R4 (supports) and variables V130 V147 
0.03	c instanciating clauses for relation R4 (supports) and variables V130 V228 
0.03	c instanciating clauses for relation R4 (supports) and variables V143 V148 
0.03	c instanciating clauses for relation R4 (supports) and variables V143 V149 
0.03	c instanciating clauses for relation R4 (supports) and variables V133 V150 
0.03	c instanciating clauses for relation R4 (supports) and variables V133 V151 
0.03	c instanciating clauses for relation R4 (supports) and variables V96 V223 
0.03	c instanciating clauses for relation R4 (supports) and variables V96 V224 
0.03	c instanciating clauses for relation R4 (supports) and variables V96 V251 
0.03	c instanciating clauses for relation R4 (supports) and variables V98 V161 
0.03	c instanciating clauses for relation R4 (supports) and variables V98 V162 
0.03	c instanciating clauses for relation R4 (supports) and variables V129 V144 
0.03	c instanciating clauses for relation R4 (supports) and variables V129 V145 
0.03	c instanciating clauses for relation R4 (supports) and variables V69 V75 
0.03	c instanciating clauses for relation R4 (supports) and variables V69 V76 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V36 V78 V66 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V38 V78 V68 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V313 V312 V311 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V315 V312 V311 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V313 V370 V311 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V315 V370 V311 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V278 V368 V369 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V42 V109 V45 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V40 V218 V210 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V43 V357 V354 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V193 V201 V202 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V390 V399 V400 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V321 V388 V389 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V82 V319 V320 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V236 V241 V238 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V286 V371 V372 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V56 V54 V53 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V56 V55 V53 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V125 V127 V128 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V340 V272 V335 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V340 V341 V342 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V272 V273 V274 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V107 V102 V105 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V107 V106 V105 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V46 V49 V48 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V46 V50 V48 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V113 V112 V47 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V113 V119 V120 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V366 V363 V362 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V366 V365 V362 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V300 V297 V296 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V300 V299 V296 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V303 V302 V301 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V305 V302 V301 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V303 V367 V301 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V305 V367 V301 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V255 V251 V239 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V162 V158 V140 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V162 V152 V140 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V162 V160 V142 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V162 V152 V142 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V191 V185 V182 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V191 V197 V182 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V157 V184 V152 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V157 V156 V152 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V168 V165 V158 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V168 V316 V158 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V168 V165 V160 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V168 V316 V160 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V226 V224 V129 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V220 V217 V216 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V222 V217 V216 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V220 V219 V216 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V222 V219 V216 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V396 V392 V339 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V396 V406 V339 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V376 V379 V373 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V377 V379 V373 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V376 V374 V373 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V377 V374 V373 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V431 V433 V432 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V188 V422 V421 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V393 V410 V409 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V233 V416 V415 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V81 V428 V427 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V235 V420 V419 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V39 V430 V429 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V279 V412 V411 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V108 V424 V423 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V287 V418 V417 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V326 V414 V413 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V87 V426 V425 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V153 V158 V160 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V433 V431 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V432 V431 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V67 V37 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V71 V67 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V422 V188 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V421 V188 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V410 V393 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V409 V393 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V416 V233 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V415 V233 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V428 V81 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V427 V81 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V420 V235 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V419 V235 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V430 V39 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V429 V39 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V412 V279 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V411 V279 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V424 V108 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V423 V108 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V418 V287 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V417 V287 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V414 V326 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V413 V326 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V426 V87 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V425 V87 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V141 V71 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V141 V148 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V141 V145 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V159 V141 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V159 V152 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V317 V165 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V166 V316 
0.03	c instanciating clauses for relation R8 (conflicts) and variables V306 V310 V307 V74 
0.03	c instanciating clauses for relation R8 (conflicts) and variables V306 V310 V309 V74 
0.03	c instanciating clauses for relation R8 (conflicts) and variables V103 V195 V190 V192 
0.03	c instanciating clauses for relation R8 (conflicts) and variables V266 V269 V267 V271 
0.03	c instanciating clauses for relation R8 (conflicts) and variables V175 V179 V327 V275 
0.03	c instanciating clauses for relation R8 (conflicts) and variables V177 V404 V395 V397 
0.03	c instanciating clauses for relation R8 (conflicts) and variables V176 V336 V375 V385 
0.03	c instanciating clauses for relation R8 (conflicts) and variables V84 V88 V171 V90 
0.03	c instanciating clauses for relation R8 (conflicts) and variables V232 V260 V244 V237 
0.03	c instanciating clauses for relation R8 (conflicts) and variables V62 V209 V221 V211 
0.03	c instanciating clauses for relation R8 (conflicts) and variables V61 V282 V304 V284 
0.03	c instanciating clauses for relation R8 (conflicts) and variables V60 V350 V360 V352 
0.03	c instanciating clauses for relation R8 (conflicts) and variables V51 V292 V314 V294 
0.03	c instanciating clauses for relation R8 (conflicts) and variables V207 V208 V204 V56 
0.03	c instanciating clauses for relation R8 (conflicts) and variables V207 V208 V124 V56 
0.03	c instanciating clauses for relation R8 (conflicts) and variables V55 V351 V364 V353 
0.03	c instanciating clauses for relation R8 (conflicts) and variables V58 V94 V86 V95 
0.03	c instanciating clauses for relation R8 (conflicts) and variables V334 V337 V326 V95 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V345 V405 V407 V408 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V254 V261 V246 V107 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V254 V261 V259 V107 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V106 V196 V198 V199 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V114 V281 V298 V283 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V50 V293 V308 V295 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V355 V359 V356 V215 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V355 V361 V356 V215 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V355 V359 V358 V215 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V355 V361 V358 V215 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V239 V243 V240 V133 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V239 V245 V240 V133 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V239 V243 V242 V133 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V239 V245 V242 V133 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V99 V101 V100 V98 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V99 V189 V100 V98 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V99 V101 V200 V98 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V99 V189 V200 V98 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V338 V344 V343 V69 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V338 V394 V343 V69 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V338 V344 V398 V69 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V338 V394 V398 V69 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V386 V383 V387 V78 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V386 V383 V384 V78 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V309 V307 V74 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V370 V312 V311 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V315 V313 V311 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V55 V54 V53 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V124 V204 V56 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V207 V225 V214 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V204 V205 V206 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V335 V326 V95 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V335 V337 V95 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V335 V334 V95 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V345 V272 V335 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V345 V340 V335 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V334 V378 V381 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V106 V102 V105 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V259 V246 V107 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V254 V256 V257 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V259 V263 V265 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V246 V248 V249 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V50 V49 V48 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V114 V112 V47 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V114 V113 V47 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V115 V117 V118 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V73 V228 V229 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V358 V356 V215 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V361 V359 V215 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V365 V363 V362 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V130 V301 V296 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V299 V297 V296 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V367 V302 V301 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V305 V303 V301 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V242 V240 V133 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V245 V243 V133 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V253 V251 V239 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V253 V255 V239 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V152 V158 V140 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V152 V160 V142 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V200 V100 V98 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V189 V101 V98 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V197 V185 V182 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V156 V184 V152 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V316 V165 V158 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V169 V316 V165 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V316 V165 V160 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V219 V217 V216 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V222 V220 V216 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V398 V343 V69 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V394 V344 V69 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V406 V392 V339 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V384 V387 V78 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V374 V379 V373 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V377 V376 V373 
0.04	c instanciating clauses for relation R10 (supports) and variables V123 V122 V54 
0.04	c instanciating clauses for relation R10 (supports) and variables V104 V186 V102 
0.04	c instanciating clauses for relation R10 (supports) and variables V92 V63 V49 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V38 V432 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V36 V433 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V78 V36 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V66 V36 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V67 V78 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V78 V38 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V68 V38 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V75 V66 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V70 V66 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V73 V66 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V137 V66 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V71 V137 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V71 V73 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V71 V75 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V75 V68 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V72 V68 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V73 V68 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V137 V68 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V310 V74 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V306 V74 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V195 V103 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V190 V103 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V192 V103 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V270 V421 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V194 V422 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V368 V278 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V369 V278 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V109 V42 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V45 V42 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V218 V40 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V210 V40 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V357 V43 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V354 V43 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V269 V266 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V267 V266 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V271 V266 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V201 V193 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V202 V193 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V399 V390 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V400 V390 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V388 V321 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V389 V321 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V319 V82 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V320 V82 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V241 V236 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V238 V236 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V371 V286 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V372 V286 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V179 V175 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V327 V175 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V275 V175 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V404 V177 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V395 V177 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V397 V177 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V402 V409 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V403 V410 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V336 V176 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V375 V176 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V385 V176 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V324 V415 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V322 V416 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V88 V84 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V171 V84 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V90 V84 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V332 V427 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V83 V428 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V260 V232 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V244 V232 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V237 V232 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V268 V419 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V258 V420 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V64 V59 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V121 V59 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V116 V59 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V126 V59 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V209 V62 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V221 V62 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V211 V62 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V44 V429 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V79 V430 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V282 V61 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V304 V61 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V284 V61 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V347 V411 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V348 V412 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V350 V60 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V360 V60 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V352 V60 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V110 V423 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V111 V424 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V292 V51 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V314 V51 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V294 V51 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V289 V417 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V290 V418 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V56 V53 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V208 V56 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V207 V56 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V127 V125 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V128 V125 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V351 V55 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V364 V55 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V353 V55 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V94 V58 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V86 V58 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V95 V58 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V405 V345 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V407 V345 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V408 V345 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V341 V340 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V342 V340 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V273 V272 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V274 V272 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V328 V413 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V329 V414 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V87 V86 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V89 V86 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V155 V86 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V91 V86 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V178 V425 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V93 V426 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V107 V105 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V261 V107 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V254 V107 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V196 V106 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V198 V106 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V199 V106 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V46 V48 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V281 V114 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V298 V114 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V283 V114 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V119 V113 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V120 V113 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V293 V50 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V308 V50 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V295 V50 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V355 V215 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V366 V362 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V300 V296 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V239 V133 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V162 V140 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V153 V162 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V159 V162 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V162 V142 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V99 V98 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V191 V182 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V157 V152 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V338 V69 
0.05	c instanciating clauses for relation R11 (conflicts) and variables V396 V339 
0.05	c instanciating clauses for relation R11 (conflicts) and variables V383 V78 
0.05	c instanciating clauses for relation R11 (conflicts) and variables V386 V78 
0.05	c instanciating clauses for relation R12 (conflicts) and variables V169 V170 V174 
0.05	c instanciating clauses for relation R13 (supports) and variables V311 V306 
0.05	c instanciating clauses for relation R13 (supports) and variables V187 V181 
0.05	c instanciating clauses for relation R13 (supports) and variables V33 V183 
0.05	c instanciating clauses for relation R13 (supports) and variables V346 V277 
0.05	c instanciating clauses for relation R13 (supports) and variables V25 V280 
0.05	c instanciating clauses for relation R13 (supports) and variables V213 V203 
0.05	c instanciating clauses for relation R13 (supports) and variables V8 V349 
0.05	c instanciating clauses for relation R13 (supports) and variables V401 V331 
0.05	c instanciating clauses for relation R13 (supports) and variables V18 V391 
0.05	c instanciating clauses for relation R13 (supports) and variables V325 V323 
0.05	c instanciating clauses for relation R13 (supports) and variables V382 V234 
0.05	c instanciating clauses for relation R13 (supports) and variables V333 V330 
0.05	c instanciating clauses for relation R13 (supports) and variables V27 V85 
0.05	c instanciating clauses for relation R13 (supports) and variables V252 V231 
0.05	c instanciating clauses for relation R13 (supports) and variables V288 V285 
0.05	c instanciating clauses for relation R13 (supports) and variables V26 V291 
0.05	c instanciating clauses for relation R13 (supports) and variables V247 V180 
0.05	c instanciating clauses for relation R13 (supports) and variables V13 V212 
0.05	c instanciating clauses for relation R13 (supports) and variables V125 V124 
0.05	c instanciating clauses for relation R13 (supports) and variables V97 V77 
0.05	c instanciating clauses for relation R13 (supports) and variables V276 V273 
0.05	c instanciating clauses for relation R13 (supports) and variables V380 V378 
0.05	c instanciating clauses for relation R13 (supports) and variables V105 V94 
0.05	c instanciating clauses for relation R13 (supports) and variables V12 V250 
0.05	c instanciating clauses for relation R13 (supports) and variables V47 V46 
0.05	c instanciating clauses for relation R13 (supports) and variables V115 V112 
0.05	c instanciating clauses for relation R13 (supports) and variables V215 V65 
0.05	c instanciating clauses for relation R13 (supports) and variables V362 V355 
0.05	c instanciating clauses for relation R13 (supports) and variables V151 V143 
0.05	c instanciating clauses for relation R13 (supports) and variables V230 V96 
0.05	c instanciating clauses for relation R13 (supports) and variables V182 V99 
0.05	c instanciating clauses for relation R13 (supports) and variables V339 V338 
0.05	c instanciating clauses for relation R13 (supports) and variables V373 V383 
0.05	c instanciating clauses for relation R5 (conflicts) and variables V174 V165 V160 
0.05	c instanciating clauses for relation R5 (conflicts) and variables V174 V316 V160 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V66 V75 V70 V73 V137 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V68 V75 V72 V73 V137 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V59 V64 V121 V116 V126 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V86 V87 V89 V155 V91 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V317 V168 V318 V172 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V166 V168 V167 V172 
0.05	c instanciating clauses for relation R9 (conflicts) and variables V172 V168 V158 
0.05	c instanciating clauses for relation R9 (conflicts) and variables V173 V316 V165 
0.05	c instanciating clauses for relation R2 (supports) and variables V22 V172 
0.05	c instanciating clauses for relation R12 (conflicts) and variables V153 V154 V160 
0.05	c instanciating clauses for relation R12 (conflicts) and variables V153 V152 V158 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V267 V330 V323 V331 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V57 V48 V58 V53 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V70 V145 V140 V148 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V72 V145 V142 V148 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V163 V152 V164 V158 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V163 V152 V162 V160 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V163 V152 V158 V160 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V216 V227 V224 V129 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V216 V227 V226 V129 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V37 V36 V38 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V67 V66 V68 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V71 V70 V72 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V141 V140 V142 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V159 V158 V160 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V36 V432 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V38 V433 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V194 V421 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V270 V422 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V403 V409 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V402 V410 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V322 V415 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V324 V416 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V83 V427 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V332 V428 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V258 V419 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V268 V420 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V79 V429 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V44 V430 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V348 V411 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V347 V412 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V111 V423 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V110 V424 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V290 V417 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V289 V418 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V329 V413 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V328 V414 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V93 V425 
0.05	c instanciating clauses for relation R17 (conflicts) and variables V178 V426 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V433 V38 V36 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V422 V270 V194 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V410 V402 V403 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V416 V324 V322 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V428 V332 V83 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V420 V268 V258 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V430 V44 V79 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V412 V347 V348 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V424 V110 V111 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V418 V289 V290 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V414 V328 V329 
0.05	c instanciating clauses for relation R18 (conflicts) and variables V426 V178 V93 
0.05	c ...done
0.05	c #SATvar=1400 #SATclauses=3798 #CSPpredicates=0
0.05	c SAT problem is solved
0.05	restarts              : 1
0.05	conflicts             : 43             (796 /sec)
0.05	decisions             : 104            (0.96 % random) (1926 /sec)
0.05	propagations          : 10834          (200663 /sec)
0.05	conflict literals     : 155            (3.73 % deleted)
0.05	Memory used           : 7.02 MB
0.05	CPU time              : 0.053991 s
0.05	
0.05	s UNSATISFIABLE

Verifier Data (download as text)

No possible verification on an UNSAT instance

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-242359-1168093384 -o ROOT/results/node9/solver-242359-1168093384 -C 1800 -M 900 /tmp/evaluation/242359-1168093384/CSPtoSAT+minisat /tmp/evaluation/242359-1168093384/unknown.xml 

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

/proc/loadavg: 0.04 0.82 1.47 4/81 22544
/proc/meminfo: memFree=1217992/2055920 swapFree=4191880/4192956
[pid=22543] ppid=22541 vsize=6696 CPUtime=0
/proc/22543/stat : 22543 (CSPtoSAT+minisa) R 22541 22543 22155 0 -1 4194304 427 0 0 0 0 0 0 0 18 0 1 0 157734017 6856704 406 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 8633208 0 0 4096 0 0 0 0 17 0 0 0
/proc/22543/statm: 1674 406 366 52 0 30 0

Child status: 0
Real time (s): 0.0616229
CPU time (s): 0.05799
CPU user time (s): 0.053991
CPU system time (s): 0.003999
CPU usage (%): 94.1046
Max. virtual memory (cumulated for all children) (KiB): 0

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.053991
system time used= 0.003999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 954
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= 1

runsolver used 0.004999 s user time and 0.011998 s system time

The end

Launcher Data (download as text)

Begin job on node9 on Sat Jan  6 14:23:05 UTC 2007


IDJOB= 242359
IDBENCH= 7386
FILE ID= node9/242359-1168093384

PBS_JOBID= 3476422

Free space on /tmp= 66544 MiB

BENCH NAME= HOME/pub/bench/CPAI06/dimacs/ssa/ssa-0432-003_ext.xml
COMMAND LINE= /tmp/evaluation/242359-1168093384/CSPtoSAT+minisat /tmp/evaluation/242359-1168093384/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node9/watcher-242359-1168093384 -o ROOT/results/node9/solver-242359-1168093384 -C 1800 -M 900  /tmp/evaluation/242359-1168093384/CSPtoSAT+minisat /tmp/evaluation/242359-1168093384/unknown.xml

META MD5SUM SOLVER= 0ab327eaa5be249b47b2f4b19927f0b0
MD5SUM BENCH=  186780f30bf46b633acf597de8e6a549

RANDOM SEED= 480729796

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:       1218536 kB
Buffers:         84612 kB
Cached:         602940 kB
SwapCached:        268 kB
Active:         330120 kB
Inactive:       405308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1218536 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            1756 kB
Writeback:           0 kB
Mapped:          59520 kB
Slab:            87052 kB
Committed_AS:  4039820 kB
PageTables:       2136 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= 66544 MiB



End job on node9 on Sat Jan  6 14:23:16 UTC 2007