Trace number 252776

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.081986 0.093718

General information on the benchmark

Namecoloring/
dsjc-125-1-5-ext.xml
MD5SUMb5b06de4e97ce0cff637b76e26edc390
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.05599
SatisfiableYES
(Un)Satisfiability was proved
Number of variables125
Number of constraints736
Maximum constraint arity2
Maximum domain size5
Number of constraints which are defined in extension736
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.02	c This is CSPtoSAT+minisat version 0.3
0.02	c (c) 2006 roussel@cril.univ-artois.fr
0.02	
0.02	c This solver internally uses a modified version of MiniSat2 version 061112
0.02	c MiniSat -- Copyright (c) 2003-2006, Niklas Een, Niklas Sorensson
0.02	
0.02	c parsing...
0.02	c preparing clauses for relation R0
0.02	c instanciating clauses for relation R0 (conflicts) and variables V4 V0 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V5 V1 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V7 V3 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V8 V3 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V8 V5 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V10 V1 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V12 V4 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V13 V6 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V13 V8 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V13 V12 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V14 V7 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V15 V9 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V15 V11 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V16 V1 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V17 V11 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V18 V4 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V18 V7 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V18 V10 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V20 V6 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V20 V7 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V21 V16 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V22 V12 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V23 V20 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V24 V2 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V24 V9 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V26 V1 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V26 V5 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V27 V8 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V27 V16 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V27 V18 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V28 V0 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V28 V23 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V29 V4 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V29 V14 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V29 V27 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V30 V9 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V30 V26 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V31 V1 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V31 V10 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V31 V17 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V32 V9 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V33 V11 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V33 V31 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V34 V2 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V34 V4 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V34 V11 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V34 V14 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V34 V15 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V34 V23 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V35 V19 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V35 V26 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V35 V34 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V36 V12 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V36 V21 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V37 V2 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V37 V3 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V37 V5 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V37 V16 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V38 V25 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V39 V1 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V39 V36 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V40 V2 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V40 V6 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V40 V15 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V40 V21 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V40 V34 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V41 V5 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V41 V6 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V41 V7 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V41 V11 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V41 V18 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V41 V24 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V42 V28 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V42 V32 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V42 V34 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V43 V0 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V43 V33 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V44 V15 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V44 V23 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V45 V1 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V45 V9 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V45 V11 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V45 V12 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V45 V24 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V45 V25 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V45 V35 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V46 V11 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V46 V19 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V46 V29 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V46 V35 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V46 V45 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V47 V18 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V47 V23 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V48 V8 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V48 V36 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V48 V42 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V49 V21 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V49 V22 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V49 V23 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V49 V31 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V49 V40 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V49 V46 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V50 V6 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V50 V16 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V50 V26 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V50 V34 
0.02	c instanciating clauses for relation R0 (conflicts) and variables V50 V40 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V50 V41 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V50 V47 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V51 V8 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V51 V11 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V51 V13 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V51 V16 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V51 V27 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V51 V47 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V51 V48 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V52 V0 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V52 V27 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V52 V29 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V52 V43 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V53 V21 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V53 V28 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V53 V47 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V54 V14 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V54 V24 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V54 V42 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V54 V48 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V54 V49 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V54 V53 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V55 V2 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V55 V5 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V55 V34 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V55 V37 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V55 V43 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V56 V7 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V56 V13 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V56 V25 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V56 V29 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V56 V35 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V56 V42 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V56 V49 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V57 V7 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V57 V16 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V57 V48 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V57 V51 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V57 V54 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V58 V15 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V58 V36 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V58 V41 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V58 V50 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V58 V56 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V59 V55 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V59 V56 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V60 V8 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V60 V13 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V60 V16 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V60 V30 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V60 V35 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V60 V46 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V60 V51 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V60 V57 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V61 V2 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V61 V7 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V61 V9 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V61 V15 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V61 V23 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V61 V31 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V61 V36 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V61 V44 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V61 V52 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V61 V53 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V61 V54 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V61 V55 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V62 V2 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V62 V10 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V62 V23 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V62 V28 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V62 V29 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V62 V32 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V62 V34 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V62 V37 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V62 V38 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V62 V50 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V62 V51 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V63 V28 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V63 V41 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V63 V44 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V63 V54 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V63 V56 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V63 V57 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V64 V4 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V64 V7 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V64 V20 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V64 V25 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V64 V35 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V64 V36 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V64 V47 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V64 V57 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V65 V8 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V65 V13 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V65 V14 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V65 V17 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V65 V18 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V65 V27 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V65 V36 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V65 V61 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V65 V63 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V66 V5 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V66 V9 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V66 V10 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V66 V21 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V66 V30 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V66 V34 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V66 V36 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V66 V44 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V66 V46 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V67 V21 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V67 V34 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V67 V42 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V67 V52 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V68 V3 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V68 V5 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V68 V14 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V68 V24 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V68 V28 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V68 V58 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V68 V62 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V68 V64 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V68 V66 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V69 V26 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V69 V27 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V69 V30 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V69 V31 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V69 V33 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V70 V10 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V70 V22 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V70 V39 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V70 V55 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V71 V3 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V71 V11 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V71 V25 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V71 V38 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V71 V39 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V72 V6 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V72 V8 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V72 V11 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V72 V23 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V72 V47 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V72 V49 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V72 V50 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V72 V71 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V73 V20 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V73 V24 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V73 V27 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V73 V30 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V73 V38 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V73 V58 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V73 V65 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V74 V5 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V74 V17 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V74 V61 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V74 V64 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V74 V65 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V75 V13 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V75 V23 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V75 V29 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V75 V31 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V75 V34 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V75 V39 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V76 V4 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V76 V6 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V76 V8 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V76 V10 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V76 V36 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V76 V54 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V76 V57 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V76 V59 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V76 V60 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V76 V63 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V76 V68 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V77 V15 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V77 V42 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V77 V48 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V77 V68 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V77 V71 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V78 V0 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V78 V1 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V78 V13 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V78 V38 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V78 V68 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V78 V73 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V79 V0 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V79 V13 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V79 V40 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V79 V51 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V79 V67 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V79 V75 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V80 V9 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V80 V19 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V80 V27 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V81 V4 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V81 V5 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V81 V21 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V81 V25 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V81 V36 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V81 V39 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V81 V50 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V81 V57 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V81 V73 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V81 V77 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V81 V79 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V81 V80 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V82 V12 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V82 V44 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V82 V49 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V82 V53 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V82 V68 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V82 V75 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V83 V4 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V83 V8 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V83 V12 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V83 V16 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V83 V17 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V83 V20 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V83 V23 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V83 V41 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V83 V48 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V83 V52 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V83 V55 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V83 V56 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V83 V62 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V83 V76 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V83 V77 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V84 V19 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V84 V21 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V84 V30 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V84 V31 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V84 V39 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V84 V64 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V84 V78 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V85 V13 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V85 V21 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V85 V31 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V85 V32 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V85 V47 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V85 V67 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V85 V80 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V85 V81 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V86 V9 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V86 V13 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V86 V15 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V86 V43 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V86 V70 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V86 V71 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V86 V75 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V87 V2 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V87 V10 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V87 V23 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V87 V25 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V87 V36 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V87 V37 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V87 V41 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V88 V40 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V88 V44 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V88 V50 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V88 V61 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V88 V73 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V88 V78 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V88 V83 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V89 V17 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V89 V21 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V89 V43 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V89 V52 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V89 V61 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V89 V69 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V90 V8 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V90 V21 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V90 V23 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V90 V30 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V90 V35 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V90 V45 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V90 V49 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V90 V52 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V90 V63 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V90 V67 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V90 V71 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V90 V77 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V90 V79 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V90 V80 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V90 V87 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V91 V4 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V91 V14 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V91 V20 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V91 V26 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V91 V39 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V91 V51 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V91 V61 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V91 V72 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V91 V73 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V91 V85 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V92 V14 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V92 V25 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V92 V32 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V92 V44 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V92 V47 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V92 V58 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V92 V60 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V92 V69 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V92 V82 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V92 V90 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V93 V16 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V93 V37 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V93 V38 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V93 V69 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V93 V70 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V93 V75 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V93 V80 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V93 V89 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V94 V59 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V94 V60 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V94 V76 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V94 V83 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V94 V91 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V94 V93 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V95 V8 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V95 V10 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V95 V12 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V95 V34 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V95 V60 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V95 V68 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V95 V74 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V95 V76 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V95 V90 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V96 V19 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V96 V43 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V96 V53 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V96 V54 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V96 V57 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V96 V67 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V96 V68 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V96 V72 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V96 V76 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V96 V79 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V96 V83 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V96 V89 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V96 V92 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V96 V95 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V97 V6 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V97 V15 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V97 V16 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V97 V18 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V97 V22 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V97 V26 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V97 V31 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V97 V48 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V97 V70 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V97 V74 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V97 V82 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V97 V88 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V98 V3 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V98 V12 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V98 V16 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V98 V26 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V98 V46 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V98 V48 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V98 V55 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V98 V68 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V98 V75 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V98 V88 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V99 V8 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V99 V11 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V99 V13 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V99 V47 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V99 V57 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V99 V84 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V100 V8 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V100 V12 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V100 V31 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V100 V57 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V100 V65 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V100 V76 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V100 V83 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V100 V96 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V101 V16 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V101 V19 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V101 V35 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V101 V41 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V101 V51 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V101 V65 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V101 V83 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V101 V85 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V102 V7 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V102 V10 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V102 V11 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V102 V13 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V102 V26 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V102 V31 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V102 V33 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V102 V35 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V102 V37 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V102 V46 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V102 V58 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V102 V64 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V102 V68 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V103 V15 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V103 V48 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V103 V73 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V103 V75 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V103 V82 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V103 V84 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V103 V101 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V104 V1 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V104 V3 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V104 V7 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V104 V15 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V104 V31 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V104 V38 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V104 V46 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V104 V55 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V104 V72 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V104 V79 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V104 V82 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V104 V87 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V104 V103 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V105 V10 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V105 V15 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V105 V24 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V105 V26 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V105 V41 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V105 V45 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V105 V50 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V105 V63 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V105 V69 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V105 V76 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V105 V79 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V105 V81 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V105 V87 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V105 V92 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V105 V99 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V106 V41 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V106 V44 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V106 V48 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V106 V50 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V106 V71 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V106 V73 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V106 V76 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V106 V87 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V107 V40 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V107 V41 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V107 V50 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V107 V57 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V107 V63 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V107 V65 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V107 V82 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V108 V5 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V108 V68 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V108 V74 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V109 V7 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V109 V9 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V109 V22 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V109 V40 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V109 V48 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V109 V49 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V109 V59 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V109 V70 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V109 V75 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V109 V76 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V109 V77 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V109 V83 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V109 V88 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V109 V96 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V109 V107 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V110 V8 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V110 V24 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V110 V39 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V110 V45 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V110 V47 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V110 V51 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V110 V52 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V110 V60 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V110 V61 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V110 V78 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V110 V97 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V111 V2 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V111 V16 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V111 V23 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V111 V31 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V111 V53 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V111 V57 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V111 V65 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V111 V77 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V112 V0 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V112 V3 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V112 V16 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V112 V18 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V112 V22 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V112 V52 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V112 V70 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V112 V71 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V112 V95 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V112 V107 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V112 V111 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V113 V15 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V113 V17 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V113 V18 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V113 V48 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V113 V50 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V113 V56 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V113 V79 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V113 V82 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V113 V93 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V113 V97 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V114 V2 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V114 V22 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V114 V30 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V114 V46 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V114 V52 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V114 V63 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V114 V77 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V114 V88 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V114 V91 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V114 V92 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V114 V99 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V114 V102 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V114 V108 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V114 V109 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V114 V113 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V115 V2 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V115 V12 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V115 V14 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V115 V25 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V115 V26 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V115 V37 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V115 V66 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V115 V67 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V115 V83 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V115 V106 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V116 V25 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V116 V34 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V116 V49 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V116 V50 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V116 V79 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V116 V81 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V116 V95 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V116 V102 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V117 V4 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V117 V9 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V117 V28 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V117 V51 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V117 V53 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V117 V55 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V117 V69 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V117 V92 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V117 V108 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V117 V109 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V117 V114 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V118 V12 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V118 V30 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V118 V39 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V118 V54 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V118 V57 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V118 V63 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V118 V67 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V118 V70 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V118 V107 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V118 V113 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V118 V115 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V118 V116 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V118 V117 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V119 V0 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V119 V5 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V119 V21 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V119 V23 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V119 V26 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V119 V43 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V119 V46 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V119 V90 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V119 V98 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V120 V4 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V120 V10 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V120 V32 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V120 V51 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V120 V63 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V120 V92 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V120 V112 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V120 V117 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V121 V10 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V121 V16 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V121 V40 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V121 V41 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V121 V43 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V121 V44 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V121 V50 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V121 V52 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V121 V58 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V121 V65 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V121 V83 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V121 V88 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V121 V95 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V121 V100 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V121 V103 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V121 V106 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V121 V107 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V122 V0 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V122 V5 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V122 V17 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V122 V22 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V122 V62 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V122 V80 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V122 V82 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V122 V87 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V122 V91 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V122 V92 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V122 V115 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V123 V19 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V123 V26 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V123 V32 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V123 V39 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V123 V46 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V123 V54 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V123 V62 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V123 V71 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V123 V101 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V123 V104 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V123 V109 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V123 V116 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V123 V121 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V124 V33 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V124 V48 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V124 V59 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V124 V61 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V124 V79 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V124 V84 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V124 V98 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V124 V104 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V124 V109 
0.09	c ...done
0.09	c #SATvar=627 #SATclauses=5055 #CSPpredicates=0
0.09	Verified 5055 original clauses.
0.09	c SAT problem is solved
0.09	restarts              : 4
0.09	conflicts             : 596            (8055 /sec)
0.09	decisions             : 790            (1.65 % random) (10677 /sec)
0.09	propagations          : 57608          (778613 /sec)
0.09	conflict literals     : 24760          (2.45 % deleted)
0.09	Memory used           : 7.02 MB
0.09	CPU time              : 0.073988 s
0.09	c all predicates checked
0.09	
0.09	s SATISFIABLE
0.09	v 0 0 1 0 2 4 1 1 1 2 2 1 1 3 3 3 1 2 4 4 3 4 4 0 3 1 3 3 1 0 0 3 4 4 4 1 2 2 0 4 2 2 0 2 2 4 3 3 3 1 0 2 1 0 2 3 2 0 4 4 4 4 3 4 4 0 1 2 2 2 1 2 4 2 3 2 3 1 4 4 0 3 4 4 2 1 0 4 1 3 3 0 0 4 2 0 1 2 4 4 2 3 0 0 2 1 1 1 0 0 0 2 3 1 2 0 2 4 3 1 1 3 1 1 1 
0.09

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/node20/watcher-252776-1168095816 -o ROOT/results/node20/solver-252776-1168095816 -C 1800 -M 900 /tmp/evaluation/252776-1168095816/CSPtoSAT+minisat /tmp/evaluation/252776-1168095816/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
/proc/loadavg: 2.02 2.00 1.91 5/86 27136
/proc/meminfo: memFree=1565648/2055920 swapFree=4170284/4192956
[pid=27135] ppid=27133 vsize=18540 CPUtime=0
/proc/27135/stat : 27135 (runsolver) R 27133 26352 26352 0 -1 4194368 3 0 0 0 0 0 0 0 19 0 1 0 157976284 18984960 277 18446744073709551615 4194304 4267372 548682069072 18446744073709551615 273952598772 0 0 4096 24578 0 0 0 17 1 0 0
/proc/27135/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB


Child status: 0
Real time (s): 0.093718
CPU time (s): 0.081986
CPU user time (s): 0.074988
CPU system time (s): 0.006998
CPU usage (%): 87.4816
Max. virtual memory (cumulated for all children) (KiB): 0

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

runsolver used 0.002999 s user time and 0.008998 s system time

The end

Launcher Data (download as text)

Begin job on node20 on Sat Jan  6 15:03:37 UTC 2007


IDJOB= 252776
IDBENCH= 12966
FILE ID= node20/252776-1168095816

PBS_JOBID= 3476561

Free space on /tmp= 66522 MiB

BENCH NAME= HOME/pub/bench/CPAI06/coloring/dsjc-125-1-5-ext.xml
COMMAND LINE= /tmp/evaluation/252776-1168095816/CSPtoSAT+minisat /tmp/evaluation/252776-1168095816/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node20/watcher-252776-1168095816 -o ROOT/results/node20/solver-252776-1168095816 -C 1800 -M 900  /tmp/evaluation/252776-1168095816/CSPtoSAT+minisat /tmp/evaluation/252776-1168095816/unknown.xml

META MD5SUM SOLVER= 0ab327eaa5be249b47b2f4b19927f0b0
MD5SUM BENCH=  b5b06de4e97ce0cff637b76e26edc390

RANDOM SEED= 769824316

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.216
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.216
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:       1566128 kB
Buffers:         44364 kB
Cached:         228844 kB
SwapCached:       4300 kB
Active:         237000 kB
Inactive:       182660 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1566128 kB
SwapTotal:     4192956 kB
SwapFree:      4170284 kB
Dirty:            1596 kB
Writeback:           0 kB
Mapped:         163608 kB
Slab:            54568 kB
Committed_AS:  3072088 kB
PageTables:       2616 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= 66522 MiB



End job on node20 on Sat Jan  6 15:03:39 UTC 2007