Trace number 243443

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.036994 0.0438661

General information on the benchmark

Namedimacs/aim-200/
aim-200-1-6-sat-1_ext.xml
MD5SUMa616b72377c9ae96e59ecae417bcf631
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.036993
SatisfiableYES
(Un)Satisfiability was proved
Number of variables200
Number of constraints315
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension315
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

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

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/node6/watcher-243443-1168701636 -o ROOT/results/node6/solver-243443-1168701636 -C 1800 -M 900 /tmp/evaluation/243443-1168701636/CSPtoSAT+minisat /tmp/evaluation/243443-1168701636/unknown.xml 

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

/proc/loadavg: 1.40 1.73 0.89 5/87 11321
/proc/meminfo: memFree=1588896/2055924 swapFree=4165736/4192956
[pid=11320] ppid=11318 vsize=496 CPUtime=0
/proc/11320/stat : 11320 (CSPtoSAT+minisa) R 11318 11320 11110 0 -1 4194304 51 0 0 0 0 0 0 0 19 0 1 0 218559049 507904 36 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 2188068 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/11320/statm: 124 36 29 52 0 19 0

Child status: 0
Real time (s): 0.0438661
CPU time (s): 0.036994
CPU user time (s): 0.031995
CPU system time (s): 0.004999
CPU usage (%): 84.334
Max. virtual memory (cumulated for all children) (KiB): 0

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

runsolver used 0.002999 s user time and 0.004999 s system time

The end

Launcher Data (download as text)

Begin job on node6 on Sat Jan 13 15:20:36 UTC 2007


IDJOB= 243443
IDBENCH= 7468
IDSOLVER= 87
FILE ID= node6/243443-1168701636

PBS_JOBID= 3547005

Free space on /tmp= 66561 MiB

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

META MD5SUM SOLVER= 0ab327eaa5be249b47b2f4b19927f0b0
MD5SUM BENCH=  a616b72377c9ae96e59ecae417bcf631

RANDOM SEED= 355602987

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.240
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.240
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:      2055924 kB
MemFree:       1589376 kB
Buffers:         17884 kB
Cached:         138348 kB
SwapCached:       2548 kB
Active:         285248 kB
Inactive:       124768 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1589376 kB
SwapTotal:     4192956 kB
SwapFree:      4165736 kB
Dirty:            1744 kB
Writeback:           0 kB
Mapped:         264528 kB
Slab:            40728 kB
Committed_AS:  7341744 kB
PageTables:       2808 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66561 MiB



End job on node6 on Sat Jan 13 15:20:39 UTC 2007