Trace number 242520

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.108982 0.126846

General information on the benchmark

Namedimacs/varDimacs/
bf-2670-001_ext.xml
MD5SUMc4b49105a3f1ccc38a86cbec338ca7e3
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.094985
SatisfiableYES
(Un)Satisfiability was proved
Number of variables1244
Number of constraints1354
Maximum constraint arity5
Maximum domain size2
Number of constraints which are defined in extension1354
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.04	c This is CSPtoSAT+minisat version 0.3
0.04	c (c) 2006 roussel@cril.univ-artois.fr
0.04	
0.04	c This solver internally uses a modified version of MiniSat2 version 061112
0.04	c MiniSat -- Copyright (c) 2003-2006, Niklas Een, Niklas Sorensson
0.04	
0.04	c parsing...
0.04	c preparing clauses for relation R0
0.04	c preparing clauses for relation R1
0.04	c preparing clauses for relation R2
0.04	c preparing clauses for relation R3
0.04	c preparing clauses for relation R4
0.04	c instanciating clauses for relation R0 (conflicts) and variables V81 V1236 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V80 V1237 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V831 V834 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V469 V474 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V475 V469 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V667 V471 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V682 V471 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V663 V471 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V590 V471 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V593 V590 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V591 V590 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V75 V381 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V749 V381 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V766 V663 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V665 V663 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V661 V663 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V691 V666 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V693 V666 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V694 V666 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V911 V682 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V900 V897 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V762 V1214 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V764 V1215 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V905 V896 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V903 V896 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V680 V1218 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V679 V1219 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V950 V697 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V951 V697 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1021 V605 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V606 V605 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V704 V677 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V776 V1212 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V775 V1213 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V579 V577 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V483 V596 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V597 V596 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1122 V1192 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1124 V1193 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1130 V1019 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1134 V1019 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1057 V1056 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1058 V1056 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1151 V1150 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1152 V1150 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1127 V1126 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1129 V1126 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V917 V673 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V773 V673 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V767 V765 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V899 V765 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V908 V907 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V909 V907 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V238 V1232 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V237 V1233 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V351 V90 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V353 V90 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V354 V90 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V340 V89 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V338 V89 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V342 V89 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V219 V216 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V106 V1234 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V108 V1235 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V371 V104 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V373 V104 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V374 V104 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V361 V102 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V360 V102 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V362 V102 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V339 V215 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V1137 V215 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V341 V215 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V882 V655 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V884 V655 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V229 V228 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V221 V228 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V100 V228 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V91 V228 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V218 V91 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V93 V91 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V95 V91 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V97 V91 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V103 V100 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V101 V100 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V105 V100 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V223 V221 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V225 V221 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V222 V221 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V227 V221 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V236 V229 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V234 V229 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V823 V819 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V833 V819 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V824 V833 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V825 V820 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V833 V820 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V118 V124 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V119 V125 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V126 V118 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V121 V126 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V117 V126 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V126 V119 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V567 V123 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V752 V123 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V562 V123 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V753 V123 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V754 V753 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V889 V753 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V466 V464 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V624 V464 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V467 V464 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V462 V460 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V477 V460 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V463 V460 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V566 V562 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V563 V562 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V659 V562 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V599 V564 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V636 V564 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V600 V564 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V461 V452 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V692 V452 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V453 V452 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V890 V1206 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V892 V1207 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V887 V752 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V886 V752 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V446 V752 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V888 V752 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V458 V1226 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V456 V1227 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V1048 V1024 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V1049 V1024 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V1022 V1020 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V1023 V1020 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V806 V801 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V803 V801 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V807 V804 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V808 V804 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V1104 V886 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V1112 V1104 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V1119 V1104 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V1106 V1104 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V1149 V1108 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V1113 V1107 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V584 V329 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V798 V796 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V799 V796 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V797 V794 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V795 V794 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V657 V450 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V565 V450 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V885 V755 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V653 V755 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V457 V455 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V459 V455 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V249 V1230 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V251 V1231 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V376 V114 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V375 V114 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V377 V114 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V259 V1228 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V260 V1229 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V349 V257 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V352 V257 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V350 V257 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V271 V252 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V269 V271 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V267 V271 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V271 V253 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V369 V111 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V372 V111 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V370 V111 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V135 V115 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V132 V115 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V140 V132 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V133 V132 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V134 V132 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V130 V132 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V141 V135 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V274 V135 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V138 V135 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V272 V135 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V85 V1238 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V84 V1239 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V1178 V1168 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V1089 V1168 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V1090 V1178 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V1178 V1169 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V1091 V1169 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V1086 V1194 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V1079 V1195 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V54 V1184 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V15 V1185 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V74 V1182 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V20 V1183 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V44 V1186 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V68 V1187 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V1087 V1196 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V998 V1197 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V1000 V1198 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V999 V1199 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V533 V1222 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V609 V1223 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V535 V1224 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V641 V1225 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V513 V514 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V502 V514 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V630 V1220 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V643 V1221 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V71 V1188 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V1153 V1189 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V1142 V1190 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V1143 V1191 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V811 V1202 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V781 V1203 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V782 V781 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V683 V781 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V934 V1204 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V935 V1205 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V792 V1210 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V793 V1211 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V707 V1216 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V708 V1217 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V714 V713 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V715 V713 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V709 V713 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V725 V709 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V718 V709 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V723 V709 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V813 V1208 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V812 V1209 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V721 V714 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V729 V714 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V719 V714 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V966 V1200 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V967 V1201 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V83 V1240 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V82 V1241 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V79 V1242 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V78 V1243 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V911 V913 V915 V916 V897 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V670 V759 V672 V673 V674 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V669 V914 V907 V765 V912 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V668 V769 V774 V771 V768 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V569 V877 V876 V450 V879 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V568 V757 V455 V755 V656 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V327 V448 V335 V330 V333 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V1089 V1176 V1088 V1180 V1095 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V1091 V1176 V1088 V1180 V1096 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V405 V406 V399 V402 V407 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V742 V972 V970 V856 V1075 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V835 V1156 V1066 V1154 V1158 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V992 V986 V988 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V993 V987 V989 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V828 V826 V821 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V834 V830 V821 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V829 V827 V822 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V834 V832 V822 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V469 V476 V474 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V469 V468 V474 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V475 V473 V469 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V475 V470 V469 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V590 V593 V591 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V415 V413 V412 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V57 V413 V412 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V416 V413 V412 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V415 V53 V412 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V57 V53 V412 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V416 V53 V412 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V415 V414 V412 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V57 V414 V412 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V416 V414 V412 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V381 V75 V749 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V177 V175 V174 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V66 V175 V174 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V178 V175 V174 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V177 V45 V174 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V66 V45 V174 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V178 V45 V174 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V177 V176 V174 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V66 V176 V174 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V178 V176 V174 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V201 V200 V197 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V52 V200 V197 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V202 V200 V197 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V201 V58 V197 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V52 V58 V197 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V202 V58 V197 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V201 V199 V197 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V52 V199 V197 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V202 V199 V197 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V302 V300 V299 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V303 V300 V299 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V302 V18 V299 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V303 V18 V299 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V302 V301 V299 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V303 V301 V299 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V911 V1003 V682 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V911 V1006 V682 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V911 V1007 V682 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V900 V898 V897 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V900 V895 V897 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V896 V905 V903 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V195 V193 V192 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V33 V193 V192 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V196 V193 V192 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V195 V5 V192 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V33 V5 V192 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V196 V5 V192 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V195 V194 V192 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V33 V194 V192 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V196 V194 V192 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V926 V923 V901 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V922 V923 V901 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V926 V921 V901 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V922 V921 V901 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V697 V605 V675 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V697 V950 V951 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V605 V1021 V606 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V704 V699 V677 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V704 V703 V677 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V211 V209 V208 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V50 V209 V208 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V212 V209 V208 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V211 V70 V208 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V50 V70 V208 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V212 V70 V208 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V211 V210 V208 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V50 V210 V208 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V212 V210 V208 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V579 V573 V577 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V579 V578 V577 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V596 V483 V597 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V486 V485 V483 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V487 V485 V483 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V486 V484 V483 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V487 V484 V483 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V316 V314 V313 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V23 V314 V313 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V317 V314 V313 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V316 V9 V313 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V23 V9 V313 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V317 V9 V313 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V316 V315 V313 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V23 V315 V313 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V317 V315 V313 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V323 V321 V320 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V12 V321 V320 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V324 V321 V320 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V323 V41 V320 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V12 V41 V320 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V324 V41 V320 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V323 V322 V320 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V12 V322 V320 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V324 V322 V320 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V941 V940 V939 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V944 V943 V939 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V1012 V1009 V1002 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V1013 V1009 V1002 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V1012 V1010 V1002 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V1013 V1010 V1002 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V206 V204 V203 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V37 V204 V203 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V207 V204 V203 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V206 V4 V203 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V37 V4 V203 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V207 V4 V203 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V206 V205 V203 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V37 V205 V203 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V207 V205 V203 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V1019 V1130 V1134 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V1056 V1150 V1134 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V185 V182 V179 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V2 V182 V179 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V190 V182 V179 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V185 V16 V179 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V2 V16 V179 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V190 V16 V179 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V185 V184 V179 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V2 V184 V179 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V190 V184 V179 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V1056 V1057 V1058 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V1150 V1151 V1152 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V1131 V1126 V1130 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V1126 V1127 V1129 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V673 V917 V773 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V765 V767 V899 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V907 V908 V909 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V167 V165 V164 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V8 V165 V164 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V168 V165 V164 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V167 V11 V164 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V8 V11 V164 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V168 V11 V164 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V167 V166 V164 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V8 V166 V164 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V168 V166 V164 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V162 V160 V144 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V39 V160 V144 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V163 V160 V144 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V162 V3 V144 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V39 V3 V144 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V163 V3 V144 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V162 V161 V144 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V39 V161 V144 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V163 V161 V144 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V219 V217 V216 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V219 V213 V216 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V282 V280 V279 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V34 V280 V279 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V283 V280 V279 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V282 V59 V279 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V34 V59 V279 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V283 V59 V279 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V282 V281 V279 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V34 V281 V279 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V283 V281 V279 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V189 V187 V186 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V67 V187 V186 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V191 V187 V186 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V189 V13 V186 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V67 V13 V186 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V191 V13 V186 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V189 V188 V186 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V67 V188 V186 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V191 V188 V186 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V655 V882 V884 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V229 V236 V234 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V819 V823 V833 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V820 V825 V833 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V118 V127 V124 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V118 V129 V124 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V119 V127 V125 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V119 V129 V125 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V126 V116 V118 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V126 V120 V118 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V126 V116 V119 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V126 V122 V119 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V753 V754 V889 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V927 V924 V454 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V928 V924 V454 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V927 V925 V454 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V928 V925 V454 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V1024 V1020 V652 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V1024 V1048 V1049 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V1020 V1022 V1023 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V801 V804 V651 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V801 V806 V803 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V804 V807 V808 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V947 V946 V945 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V949 V948 V945 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V1017 V1015 V1014 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V1018 V1015 V1014 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V1017 V1016 V1014 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V1018 V1016 V1014 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V1149 V1053 V1108 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V1149 V1051 V1108 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V1113 V1110 V1107 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V1113 V1111 V1107 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V584 V570 V329 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V584 V583 V329 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V796 V794 V331 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V796 V798 V799 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V794 V797 V795 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V450 V657 V565 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V755 V885 V653 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V455 V457 V459 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V271 V266 V252 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V271 V268 V252 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V271 V266 V253 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V271 V270 V253 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V248 V250 V112 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V115 V135 V132 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V1168 V1178 V1089 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V1169 V1178 V1091 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V851 V847 V845 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V852 V847 V845 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V853 V847 V845 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V851 V849 V845 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V852 V849 V845 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V853 V849 V845 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V851 V850 V845 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V852 V850 V845 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V853 V850 V845 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V615 V621 V616 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V618 V620 V616 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V518 V517 V515 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V520 V519 V515 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V523 V521 V516 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V524 V521 V516 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V523 V522 V516 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V524 V522 V516 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V172 V170 V169 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V60 V170 V169 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V173 V170 V169 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V172 V69 V169 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V60 V69 V169 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V173 V69 V169 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V172 V171 V169 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V60 V171 V169 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V173 V171 V169 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V514 V513 V502 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V420 V418 V417 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V76 V418 V417 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V421 V418 V417 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V420 V48 V417 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V76 V48 V417 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V421 V48 V417 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V420 V419 V417 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V76 V419 V417 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V421 V419 V417 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V157 V156 V154 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V7 V156 V154 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V159 V156 V154 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V157 V73 V154 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V7 V73 V154 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V159 V73 V154 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V157 V155 V154 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V7 V155 V154 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V159 V155 V154 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V499 V507 V495 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V501 V507 V495 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V510 V507 V495 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V499 V504 V495 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V501 V504 V495 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V510 V504 V495 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V499 V500 V495 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V501 V500 V495 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V510 V500 V495 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V1040 V1034 V1032 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V1037 V1034 V1032 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V1039 V1034 V1032 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V1040 V1042 V1032 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V1037 V1042 V1032 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V1039 V1042 V1032 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V1040 V1036 V1032 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V1037 V1036 V1032 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V1039 V1036 V1032 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V781 V782 V683 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V556 V554 V553 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V42 V554 V553 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V557 V554 V553 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V556 V63 V553 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V42 V63 V553 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V557 V63 V553 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V556 V555 V553 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V42 V555 V553 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V557 V555 V553 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V974 V1077 V744 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V861 V1077 V744 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V974 V859 V744 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V861 V859 V744 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1237 V81 V80 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1215 V762 V764 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1219 V680 V679 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1213 V776 V775 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1193 V1122 V1124 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1233 V238 V237 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1235 V106 V108 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1207 V890 V892 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1227 V458 V456 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1231 V249 V251 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1229 V259 V260 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1239 V85 V84 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1195 V1086 V1079 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1185 V54 V15 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1183 V74 V20 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1187 V44 V68 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1197 V1087 V998 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1199 V1000 V999 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1223 V533 V609 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1225 V535 V641 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1221 V630 V643 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1189 V71 V1153 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1191 V1142 V1143 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1203 V811 V781 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1205 V934 V935 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1211 V792 V793 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1217 V707 V708 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1209 V813 V812 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1201 V966 V967 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1241 V83 V82 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V1243 V79 V78 
0.07	c instanciating clauses for relation R4 (supports) and variables V136 V137 
0.07	c instanciating clauses for relation R4 (supports) and variables V988 V1093 
0.07	c instanciating clauses for relation R4 (supports) and variables V988 V1095 
0.07	c instanciating clauses for relation R4 (supports) and variables V989 V1094 
0.07	c instanciating clauses for relation R4 (supports) and variables V989 V1096 
0.07	c instanciating clauses for relation R4 (supports) and variables V821 V990 
0.07	c instanciating clauses for relation R4 (supports) and variables V821 V992 
0.07	c instanciating clauses for relation R4 (supports) and variables V821 V994 
0.07	c instanciating clauses for relation R4 (supports) and variables V822 V991 
0.07	c instanciating clauses for relation R4 (supports) and variables V822 V993 
0.08	c instanciating clauses for relation R4 (supports) and variables V822 V995 
0.08	c instanciating clauses for relation R4 (supports) and variables V474 V833 
0.08	c instanciating clauses for relation R4 (supports) and variables V474 V834 
0.08	c instanciating clauses for relation R4 (supports) and variables V471 V475 
0.08	c instanciating clauses for relation R4 (supports) and variables V471 V476 
0.08	c instanciating clauses for relation R4 (supports) and variables V589 V594 
0.08	c instanciating clauses for relation R4 (supports) and variables V589 V595 
0.08	c instanciating clauses for relation R4 (supports) and variables V242 V347 
0.08	c instanciating clauses for relation R4 (supports) and variables V242 V348 
0.08	c instanciating clauses for relation R4 (supports) and variables V242 V357 
0.08	c instanciating clauses for relation R4 (supports) and variables V242 V359 
0.08	c instanciating clauses for relation R4 (supports) and variables V242 V368 
0.08	c instanciating clauses for relation R4 (supports) and variables V242 V391 
0.08	c instanciating clauses for relation R4 (supports) and variables V242 V395 
0.08	c instanciating clauses for relation R4 (supports) and variables V242 V398 
0.08	c instanciating clauses for relation R4 (supports) and variables V242 V482 
0.08	c instanciating clauses for relation R4 (supports) and variables V242 V484 
0.08	c instanciating clauses for relation R4 (supports) and variables V242 V580 
0.08	c instanciating clauses for relation R4 (supports) and variables V242 V582 
0.08	c instanciating clauses for relation R4 (supports) and variables V242 V587 
0.08	c instanciating clauses for relation R4 (supports) and variables V242 V604 
0.08	c instanciating clauses for relation R4 (supports) and variables V242 V606 
0.08	c instanciating clauses for relation R4 (supports) and variables V242 V702 
0.08	c instanciating clauses for relation R4 (supports) and variables V242 V799 
0.08	c instanciating clauses for relation R4 (supports) and variables V242 V803 
0.08	c instanciating clauses for relation R4 (supports) and variables V242 V922 
0.08	c instanciating clauses for relation R4 (supports) and variables V242 V928 
0.08	c instanciating clauses for relation R4 (supports) and variables V242 V938 
0.08	c instanciating clauses for relation R4 (supports) and variables V242 V941 
0.08	c instanciating clauses for relation R4 (supports) and variables V242 V947 
0.08	c instanciating clauses for relation R4 (supports) and variables V242 V1013 
0.08	c instanciating clauses for relation R4 (supports) and variables V242 V1018 
0.08	c instanciating clauses for relation R4 (supports) and variables V242 V1023 
0.08	c instanciating clauses for relation R4 (supports) and variables V242 V1052 
0.08	c instanciating clauses for relation R4 (supports) and variables V242 V1152 
0.08	c instanciating clauses for relation R4 (supports) and variables V380 V386 
0.08	c instanciating clauses for relation R4 (supports) and variables V380 V387 
0.08	c instanciating clauses for relation R4 (supports) and variables V531 V534 
0.08	c instanciating clauses for relation R4 (supports) and variables V531 V535 
0.08	c instanciating clauses for relation R4 (supports) and variables V531 V631 
0.08	c instanciating clauses for relation R4 (supports) and variables V531 V743 
0.08	c instanciating clauses for relation R4 (supports) and variables V150 V158 
0.08	c instanciating clauses for relation R4 (supports) and variables V150 V159 
0.08	c instanciating clauses for relation R4 (supports) and variables V150 V163 
0.08	c instanciating clauses for relation R4 (supports) and variables V150 V166 
0.08	c instanciating clauses for relation R4 (supports) and variables V150 V173 
0.08	c instanciating clauses for relation R4 (supports) and variables V150 V178 
0.08	c instanciating clauses for relation R4 (supports) and variables V150 V283 
0.08	c instanciating clauses for relation R4 (supports) and variables V150 V285 
0.08	c instanciating clauses for relation R4 (supports) and variables V150 V287 
0.08	c instanciating clauses for relation R4 (supports) and variables V150 V292 
0.08	c instanciating clauses for relation R4 (supports) and variables V150 V295 
0.08	c instanciating clauses for relation R4 (supports) and variables V150 V404 
0.08	c instanciating clauses for relation R4 (supports) and variables V150 V409 
0.08	c instanciating clauses for relation R4 (supports) and variables V150 V414 
0.08	c instanciating clauses for relation R4 (supports) and variables V150 V421 
0.08	c instanciating clauses for relation R4 (supports) and variables V150 V519 
0.08	c instanciating clauses for relation R4 (supports) and variables V150 V523 
0.08	c instanciating clauses for relation R4 (supports) and variables V150 V537 
0.08	c instanciating clauses for relation R4 (supports) and variables V150 V541 
0.08	c instanciating clauses for relation R4 (supports) and variables V150 V635 
0.08	c instanciating clauses for relation R4 (supports) and variables V62 V148 
0.08	c instanciating clauses for relation R4 (supports) and variables V62 V149 
0.08	c instanciating clauses for relation R4 (supports) and variables V62 V153 
0.08	c instanciating clauses for relation R4 (supports) and variables V62 V155 
0.08	c instanciating clauses for relation R4 (supports) and variables V62 V161 
0.08	c instanciating clauses for relation R4 (supports) and variables V62 V168 
0.08	c instanciating clauses for relation R4 (supports) and variables V62 V171 
0.08	c instanciating clauses for relation R4 (supports) and variables V62 V176 
0.08	c instanciating clauses for relation R4 (supports) and variables V62 V281 
0.08	c instanciating clauses for relation R4 (supports) and variables V62 V290 
0.08	c instanciating clauses for relation R4 (supports) and variables V62 V401 
0.08	c instanciating clauses for relation R4 (supports) and variables V62 V411 
0.08	c instanciating clauses for relation R4 (supports) and variables V62 V416 
0.08	c instanciating clauses for relation R4 (supports) and variables V62 V419 
0.08	c instanciating clauses for relation R4 (supports) and variables V62 V423 
0.08	c instanciating clauses for relation R4 (supports) and variables V62 V517 
0.08	c instanciating clauses for relation R4 (supports) and variables V62 V521 
0.08	c instanciating clauses for relation R4 (supports) and variables V62 V525 
0.08	c instanciating clauses for relation R4 (supports) and variables V62 V539 
0.08	c instanciating clauses for relation R4 (supports) and variables V62 V543 
0.08	c instanciating clauses for relation R4 (supports) and variables V62 V633 
0.08	c instanciating clauses for relation R4 (supports) and variables V21 V156 
0.08	c instanciating clauses for relation R4 (supports) and variables V21 V157 
0.08	c instanciating clauses for relation R4 (supports) and variables V21 V160 
0.08	c instanciating clauses for relation R4 (supports) and variables V21 V162 
0.08	c instanciating clauses for relation R4 (supports) and variables V21 V170 
0.08	c instanciating clauses for relation R4 (supports) and variables V21 V172 
0.08	c instanciating clauses for relation R4 (supports) and variables V21 V175 
0.08	c instanciating clauses for relation R4 (supports) and variables V21 V177 
0.08	c instanciating clauses for relation R4 (supports) and variables V21 V280 
0.08	c instanciating clauses for relation R4 (supports) and variables V21 V282 
0.08	c instanciating clauses for relation R4 (supports) and variables V21 V294 
0.08	c instanciating clauses for relation R4 (supports) and variables V21 V400 
0.08	c instanciating clauses for relation R4 (supports) and variables V21 V403 
0.08	c instanciating clauses for relation R4 (supports) and variables V21 V418 
0.08	c instanciating clauses for relation R4 (supports) and variables V21 V420 
0.08	c instanciating clauses for relation R4 (supports) and variables V21 V422 
0.08	c instanciating clauses for relation R4 (supports) and variables V21 V518 
0.08	c instanciating clauses for relation R4 (supports) and variables V21 V520 
0.08	c instanciating clauses for relation R4 (supports) and variables V21 V522 
0.08	c instanciating clauses for relation R4 (supports) and variables V21 V524 
0.08	c instanciating clauses for relation R4 (supports) and variables V21 V536 
0.08	c instanciating clauses for relation R4 (supports) and variables V21 V538 
0.08	c instanciating clauses for relation R4 (supports) and variables V21 V544 
0.08	c instanciating clauses for relation R4 (supports) and variables V145 V146 
0.08	c instanciating clauses for relation R4 (supports) and variables V145 V147 
0.08	c instanciating clauses for relation R4 (supports) and variables V145 V151 
0.08	c instanciating clauses for relation R4 (supports) and variables V145 V152 
0.08	c instanciating clauses for relation R4 (supports) and variables V145 V165 
0.08	c instanciating clauses for relation R4 (supports) and variables V145 V167 
0.08	c instanciating clauses for relation R4 (supports) and variables V145 V284 
0.08	c instanciating clauses for relation R4 (supports) and variables V145 V286 
0.08	c instanciating clauses for relation R4 (supports) and variables V145 V289 
0.08	c instanciating clauses for relation R4 (supports) and variables V145 V291 
0.08	c instanciating clauses for relation R4 (supports) and variables V145 V408 
0.08	c instanciating clauses for relation R4 (supports) and variables V145 V410 
0.08	c instanciating clauses for relation R4 (supports) and variables V145 V413 
0.08	c instanciating clauses for relation R4 (supports) and variables V145 V415 
0.08	c instanciating clauses for relation R4 (supports) and variables V145 V540 
0.08	c instanciating clauses for relation R4 (supports) and variables V145 V542 
0.08	c instanciating clauses for relation R4 (supports) and variables V145 V632 
0.08	c instanciating clauses for relation R4 (supports) and variables V145 V634 
0.08	c instanciating clauses for relation R4 (supports) and variables V381 V384 
0.08	c instanciating clauses for relation R4 (supports) and variables V381 V385 
0.08	c instanciating clauses for relation R4 (supports) and variables V628 V643 
0.08	c instanciating clauses for relation R4 (supports) and variables V628 V644 
0.08	c instanciating clauses for relation R4 (supports) and variables V628 V750 
0.08	c instanciating clauses for relation R4 (supports) and variables V628 V870 
0.08	c instanciating clauses for relation R4 (supports) and variables V51 V382 
0.08	c instanciating clauses for relation R4 (supports) and variables V51 V383 
0.08	c instanciating clauses for relation R4 (supports) and variables V432 V602 
0.08	c instanciating clauses for relation R4 (supports) and variables V432 V603 
0.08	c instanciating clauses for relation R4 (supports) and variables V432 V623 
0.08	c instanciating clauses for relation R4 (supports) and variables V432 V707 
0.08	c instanciating clauses for relation R4 (supports) and variables V432 V733 
0.08	c instanciating clauses for relation R4 (supports) and variables V180 V190 
0.08	c instanciating clauses for relation R4 (supports) and variables V180 V191 
0.08	c instanciating clauses for relation R4 (supports) and variables V180 V196 
0.08	c instanciating clauses for relation R4 (supports) and variables V180 V199 
0.08	c instanciating clauses for relation R4 (supports) and variables V180 V207 
0.08	c instanciating clauses for relation R4 (supports) and variables V180 V212 
0.08	c instanciating clauses for relation R4 (supports) and variables V180 V301 
0.08	c instanciating clauses for relation R4 (supports) and variables V180 V302 
0.08	c instanciating clauses for relation R4 (supports) and variables V180 V310 
0.08	c instanciating clauses for relation R4 (supports) and variables V180 V317 
0.08	c instanciating clauses for relation R4 (supports) and variables V180 V322 
0.08	c instanciating clauses for relation R4 (supports) and variables V180 V428 
0.08	c instanciating clauses for relation R4 (supports) and variables V180 V431 
0.08	c instanciating clauses for relation R4 (supports) and variables V180 V434 
0.08	c instanciating clauses for relation R4 (supports) and variables V180 V438 
0.08	c instanciating clauses for relation R4 (supports) and variables V180 V441 
0.08	c instanciating clauses for relation R4 (supports) and variables V180 V444 
0.08	c instanciating clauses for relation R4 (supports) and variables V180 V546 
0.08	c instanciating clauses for relation R4 (supports) and variables V180 V552 
0.08	c instanciating clauses for relation R4 (supports) and variables V180 V557 
0.08	c instanciating clauses for relation R4 (supports) and variables V26 V183 
0.08	c instanciating clauses for relation R4 (supports) and variables V26 V184 
0.08	c instanciating clauses for relation R4 (supports) and variables V26 V188 
0.08	c instanciating clauses for relation R4 (supports) and variables V26 V194 
0.08	c instanciating clauses for relation R4 (supports) and variables V26 V202 
0.08	c instanciating clauses for relation R4 (supports) and variables V26 V205 
0.08	c instanciating clauses for relation R4 (supports) and variables V26 V210 
0.08	c instanciating clauses for relation R4 (supports) and variables V26 V298 
0.08	c instanciating clauses for relation R4 (supports) and variables V26 V306 
0.08	c instanciating clauses for relation R4 (supports) and variables V26 V308 
0.08	c instanciating clauses for relation R4 (supports) and variables V26 V315 
0.08	c instanciating clauses for relation R4 (supports) and variables V26 V319 
0.08	c instanciating clauses for relation R4 (supports) and variables V26 V324 
0.08	c instanciating clauses for relation R4 (supports) and variables V26 V326 
0.08	c instanciating clauses for relation R4 (supports) and variables V26 V424 
0.08	c instanciating clauses for relation R4 (supports) and variables V26 V426 
0.08	c instanciating clauses for relation R4 (supports) and variables V26 V436 
0.08	c instanciating clauses for relation R4 (supports) and variables V26 V548 
0.08	c instanciating clauses for relation R4 (supports) and variables V26 V550 
0.08	c instanciating clauses for relation R4 (supports) and variables V26 V555 
0.08	c instanciating clauses for relation R4 (supports) and variables V26 V559 
0.08	c instanciating clauses for relation R4 (supports) and variables V55 V181 
0.08	c instanciating clauses for relation R4 (supports) and variables V55 V182 
0.08	c instanciating clauses for relation R4 (supports) and variables V55 V185 
0.08	c instanciating clauses for relation R4 (supports) and variables V55 V187 
0.08	c instanciating clauses for relation R4 (supports) and variables V55 V189 
0.08	c instanciating clauses for relation R4 (supports) and variables V55 V193 
0.08	c instanciating clauses for relation R4 (supports) and variables V55 V195 
0.08	c instanciating clauses for relation R4 (supports) and variables V55 V204 
0.08	c instanciating clauses for relation R4 (supports) and variables V55 V206 
0.08	c instanciating clauses for relation R4 (supports) and variables V55 V209 
0.08	c instanciating clauses for relation R4 (supports) and variables V55 V211 
0.08	c instanciating clauses for relation R4 (supports) and variables V55 V303 
0.08	c instanciating clauses for relation R4 (supports) and variables V55 V314 
0.09	c instanciating clauses for relation R4 (supports) and variables V55 V316 
0.09	c instanciating clauses for relation R4 (supports) and variables V55 V318 
0.09	c instanciating clauses for relation R4 (supports) and variables V55 V433 
0.09	c instanciating clauses for relation R4 (supports) and variables V55 V440 
0.09	c instanciating clauses for relation R4 (supports) and variables V55 V554 
0.09	c instanciating clauses for relation R4 (supports) and variables V55 V556 
0.09	c instanciating clauses for relation R4 (supports) and variables V55 V558 
0.09	c instanciating clauses for relation R4 (supports) and variables V55 V561 
0.09	c instanciating clauses for relation R4 (supports) and variables V198 V200 
0.09	c instanciating clauses for relation R4 (supports) and variables V198 V201 
0.09	c instanciating clauses for relation R4 (supports) and variables V198 V297 
0.09	c instanciating clauses for relation R4 (supports) and variables V198 V300 
0.09	c instanciating clauses for relation R4 (supports) and variables V198 V305 
0.09	c instanciating clauses for relation R4 (supports) and variables V198 V307 
0.09	c instanciating clauses for relation R4 (supports) and variables V198 V309 
0.09	c instanciating clauses for relation R4 (supports) and variables V198 V321 
0.09	c instanciating clauses for relation R4 (supports) and variables V198 V323 
0.09	c instanciating clauses for relation R4 (supports) and variables V198 V325 
0.09	c instanciating clauses for relation R4 (supports) and variables V198 V425 
0.09	c instanciating clauses for relation R4 (supports) and variables V198 V427 
0.09	c instanciating clauses for relation R4 (supports) and variables V198 V430 
0.09	c instanciating clauses for relation R4 (supports) and variables V198 V435 
0.09	c instanciating clauses for relation R4 (supports) and variables V198 V437 
0.09	c instanciating clauses for relation R4 (supports) and variables V198 V443 
0.09	c instanciating clauses for relation R4 (supports) and variables V198 V545 
0.09	c instanciating clauses for relation R4 (supports) and variables V198 V547 
0.09	c instanciating clauses for relation R4 (supports) and variables V198 V549 
0.09	c instanciating clauses for relation R4 (supports) and variables V198 V551 
0.09	c instanciating clauses for relation R4 (supports) and variables V35 V480 
0.09	c instanciating clauses for relation R4 (supports) and variables V35 V481 
0.09	c instanciating clauses for relation R4 (supports) and variables V35 V601 
0.09	c instanciating clauses for relation R4 (supports) and variables V35 V698 
0.09	c instanciating clauses for relation R4 (supports) and variables V35 V800 
0.09	c instanciating clauses for relation R4 (supports) and variables V35 V805 
0.09	c instanciating clauses for relation R4 (supports) and variables V35 V936 
0.09	c instanciating clauses for relation R4 (supports) and variables V35 V1025 
0.09	c instanciating clauses for relation R4 (supports) and variables V479 V592 
0.09	c instanciating clauses for relation R4 (supports) and variables V479 V593 
0.09	c instanciating clauses for relation R4 (supports) and variables V49 V477 
0.09	c instanciating clauses for relation R4 (supports) and variables V49 V478 
0.09	c instanciating clauses for relation R4 (supports) and variables V49 V751 
0.09	c instanciating clauses for relation R4 (supports) and variables V49 V982 
0.09	c instanciating clauses for relation R4 (supports) and variables V662 V761 
0.09	c instanciating clauses for relation R4 (supports) and variables V662 V762 
0.09	c instanciating clauses for relation R4 (supports) and variables V304 V626 
0.09	c instanciating clauses for relation R4 (supports) and variables V304 V627 
0.09	c instanciating clauses for relation R4 (supports) and variables V304 V736 
0.09	c instanciating clauses for relation R4 (supports) and variables V304 V810 
0.09	c instanciating clauses for relation R4 (supports) and variables V304 V937 
0.09	c instanciating clauses for relation R4 (supports) and variables V666 V763 
0.09	c instanciating clauses for relation R4 (supports) and variables V666 V764 
0.09	c instanciating clauses for relation R4 (supports) and variables V232 V341 
0.09	c instanciating clauses for relation R4 (supports) and variables V232 V342 
0.09	c instanciating clauses for relation R4 (supports) and variables V232 V350 
0.09	c instanciating clauses for relation R4 (supports) and variables V232 V354 
0.09	c instanciating clauses for relation R4 (supports) and variables V232 V362 
0.09	c instanciating clauses for relation R4 (supports) and variables V232 V370 
0.09	c instanciating clauses for relation R4 (supports) and variables V232 V374 
0.09	c instanciating clauses for relation R4 (supports) and variables V232 V377 
0.09	c instanciating clauses for relation R4 (supports) and variables V232 V453 
0.09	c instanciating clauses for relation R4 (supports) and variables V232 V463 
0.09	c instanciating clauses for relation R4 (supports) and variables V232 V467 
0.09	c instanciating clauses for relation R4 (supports) and variables V232 V487 
0.09	c instanciating clauses for relation R4 (supports) and variables V232 V572 
0.09	c instanciating clauses for relation R4 (supports) and variables V232 V576 
0.09	c instanciating clauses for relation R4 (supports) and variables V232 V600 
0.09	c instanciating clauses for relation R4 (supports) and variables V232 V694 
0.09	c instanciating clauses for relation R4 (supports) and variables V232 V706 
0.09	c instanciating clauses for relation R4 (supports) and variables V232 V795 
0.09	c instanciating clauses for relation R4 (supports) and variables V232 V808 
0.09	c instanciating clauses for relation R4 (supports) and variables V232 V921 
0.09	c instanciating clauses for relation R4 (supports) and variables V232 V925 
0.09	c instanciating clauses for relation R4 (supports) and variables V232 V944 
0.09	c instanciating clauses for relation R4 (supports) and variables V232 V949 
0.09	c instanciating clauses for relation R4 (supports) and variables V232 V951 
0.09	c instanciating clauses for relation R4 (supports) and variables V232 V1010 
0.09	c instanciating clauses for relation R4 (supports) and variables V232 V1016 
0.09	c instanciating clauses for relation R4 (supports) and variables V232 V1049 
0.09	c instanciating clauses for relation R4 (supports) and variables V232 V1055 
0.09	c instanciating clauses for relation R4 (supports) and variables V232 V1058 
0.09	c instanciating clauses for relation R4 (supports) and variables V30 V692 
0.09	c instanciating clauses for relation R4 (supports) and variables V30 V693 
0.09	c instanciating clauses for relation R4 (supports) and variables V30 V812 
0.09	c instanciating clauses for relation R4 (supports) and variables V30 V872 
0.09	c instanciating clauses for relation R4 (supports) and variables V337 V461 
0.09	c instanciating clauses for relation R4 (supports) and variables V337 V462 
0.09	c instanciating clauses for relation R4 (supports) and variables V337 V466 
0.09	c instanciating clauses for relation R4 (supports) and variables V337 V579 
0.09	c instanciating clauses for relation R4 (supports) and variables V337 V584 
0.09	c instanciating clauses for relation R4 (supports) and variables V337 V597 
0.09	c instanciating clauses for relation R4 (supports) and variables V337 V599 
0.09	c instanciating clauses for relation R4 (supports) and variables V337 V691 
0.09	c instanciating clauses for relation R4 (supports) and variables V337 V704 
0.09	c instanciating clauses for relation R4 (supports) and variables V664 V766 
0.09	c instanciating clauses for relation R4 (supports) and variables V664 V767 
0.09	c instanciating clauses for relation R4 (supports) and variables V664 V773 
0.09	c instanciating clauses for relation R4 (supports) and variables V588 V770 
0.09	c instanciating clauses for relation R4 (supports) and variables V588 V771 
0.09	c instanciating clauses for relation R4 (supports) and variables V588 V916 
0.09	c instanciating clauses for relation R4 (supports) and variables V758 V899 
0.09	c instanciating clauses for relation R4 (supports) and variables V758 V900 
0.09	c instanciating clauses for relation R4 (supports) and variables V671 V759 
0.09	c instanciating clauses for relation R4 (supports) and variables V671 V760 
0.09	c instanciating clauses for relation R4 (supports) and variables V671 V769 
0.09	c instanciating clauses for relation R4 (supports) and variables V902 V903 
0.09	c instanciating clauses for relation R4 (supports) and variables V902 V904 
0.09	c instanciating clauses for relation R4 (supports) and variables V902 V969 
0.09	c instanciating clauses for relation R4 (supports) and variables V312 V458 
0.09	c instanciating clauses for relation R4 (supports) and variables V312 V459 
0.09	c instanciating clauses for relation R4 (supports) and variables V312 V646 
0.09	c instanciating clauses for relation R4 (supports) and variables V312 V792 
0.09	c instanciating clauses for relation R4 (supports) and variables V312 V865 
0.09	c instanciating clauses for relation R4 (supports) and variables V312 V909 
0.09	c instanciating clauses for relation R4 (supports) and variables V312 V959 
0.09	c instanciating clauses for relation R4 (supports) and variables V312 V965 
0.09	c instanciating clauses for relation R4 (supports) and variables V901 V905 
0.09	c instanciating clauses for relation R4 (supports) and variables V901 V906 
0.09	c instanciating clauses for relation R4 (supports) and variables V901 V908 
0.09	c instanciating clauses for relation R4 (supports) and variables V920 V926 
0.09	c instanciating clauses for relation R4 (supports) and variables V920 V927 
0.09	c instanciating clauses for relation R4 (supports) and variables V65 V873 
0.09	c instanciating clauses for relation R4 (supports) and variables V65 V874 
0.09	c instanciating clauses for relation R4 (supports) and variables V65 V953 
0.09	c instanciating clauses for relation R4 (supports) and variables V919 V923 
0.09	c instanciating clauses for relation R4 (supports) and variables V919 V924 
0.09	c instanciating clauses for relation R4 (supports) and variables V14 V1139 
0.09	c instanciating clauses for relation R4 (supports) and variables V14 V1140 
0.09	c instanciating clauses for relation R4 (supports) and variables V14 V1143 
0.09	c instanciating clauses for relation R4 (supports) and variables V14 V1161 
0.09	c instanciating clauses for relation R4 (supports) and variables V676 V914 
0.09	c instanciating clauses for relation R4 (supports) and variables V676 V915 
0.09	c instanciating clauses for relation R4 (supports) and variables V675 V678 
0.09	c instanciating clauses for relation R4 (supports) and variables V675 V679 
0.09	c instanciating clauses for relation R4 (supports) and variables V56 V815 
0.09	c instanciating clauses for relation R4 (supports) and variables V56 V816 
0.09	c instanciating clauses for relation R4 (supports) and variables V56 V950 
0.09	c instanciating clauses for relation R4 (supports) and variables V56 V1048 
0.09	c instanciating clauses for relation R4 (supports) and variables V46 V1021 
0.09	c instanciating clauses for relation R4 (supports) and variables V46 V1022 
0.09	c instanciating clauses for relation R4 (supports) and variables V46 V1145 
0.09	c instanciating clauses for relation R4 (supports) and variables V46 V1147 
0.09	c instanciating clauses for relation R4 (supports) and variables V46 V1148 
0.09	c instanciating clauses for relation R4 (supports) and variables V46 V1162 
0.09	c instanciating clauses for relation R4 (supports) and variables V677 V680 
0.09	c instanciating clauses for relation R4 (supports) and variables V677 V681 
0.09	c instanciating clauses for relation R4 (supports) and variables V445 V700 
0.09	c instanciating clauses for relation R4 (supports) and variables V445 V701 
0.09	c instanciating clauses for relation R4 (supports) and variables V445 V705 
0.09	c instanciating clauses for relation R4 (supports) and variables V445 V793 
0.09	c instanciating clauses for relation R4 (supports) and variables V445 V868 
0.09	c instanciating clauses for relation R4 (supports) and variables V445 V981 
0.09	c instanciating clauses for relation R4 (supports) and variables V445 V984 
0.09	c instanciating clauses for relation R4 (supports) and variables V910 V912 
0.09	c instanciating clauses for relation R4 (supports) and variables V910 V913 
0.09	c instanciating clauses for relation R4 (supports) and variables V772 V917 
0.09	c instanciating clauses for relation R4 (supports) and variables V772 V918 
0.09	c instanciating clauses for relation R4 (supports) and variables V577 V774 
0.09	c instanciating clauses for relation R4 (supports) and variables V577 V775 
0.09	c instanciating clauses for relation R4 (supports) and variables V581 V585 
0.09	c instanciating clauses for relation R4 (supports) and variables V581 V586 
0.09	c instanciating clauses for relation R4 (supports) and variables V581 V817 
0.09	c instanciating clauses for relation R4 (supports) and variables V36 V813 
0.09	c instanciating clauses for relation R4 (supports) and variables V36 V814 
0.09	c instanciating clauses for relation R4 (supports) and variables V36 V818 
0.09	c instanciating clauses for relation R4 (supports) and variables V571 V574 
0.09	c instanciating clauses for relation R4 (supports) and variables V571 V575 
0.09	c instanciating clauses for relation R4 (supports) and variables V29 V745 
0.09	c instanciating clauses for relation R4 (supports) and variables V29 V746 
0.09	c instanciating clauses for relation R4 (supports) and variables V29 V1146 
0.09	c instanciating clauses for relation R4 (supports) and variables V29 V1160 
0.09	c instanciating clauses for relation R4 (supports) and variables V596 V776 
0.09	c instanciating clauses for relation R4 (supports) and variables V596 V777 
0.09	c instanciating clauses for relation R4 (supports) and variables V439 V485 
0.09	c instanciating clauses for relation R4 (supports) and variables V439 V486 
0.09	c instanciating clauses for relation R4 (supports) and variables V439 V560 
0.10	c instanciating clauses for relation R4 (supports) and variables V439 V735 
0.10	c instanciating clauses for relation R4 (supports) and variables V439 V748 
0.10	c instanciating clauses for relation R4 (supports) and variables V439 V809 
0.10	c instanciating clauses for relation R4 (supports) and variables V439 V869 
0.10	c instanciating clauses for relation R4 (supports) and variables V1082 V1117 
0.10	c instanciating clauses for relation R4 (supports) and variables V1082 V1118 
0.10	c instanciating clauses for relation R4 (supports) and variables V1082 V1125 
0.10	c instanciating clauses for relation R4 (supports) and variables V442 V854 
0.10	c instanciating clauses for relation R4 (supports) and variables V442 V855 
0.10	c instanciating clauses for relation R4 (supports) and variables V442 V864 
0.10	c instanciating clauses for relation R4 (supports) and variables V442 V934 
0.10	c instanciating clauses for relation R4 (supports) and variables V442 V1081 
0.10	c instanciating clauses for relation R4 (supports) and variables V442 V1083 
0.10	c instanciating clauses for relation R4 (supports) and variables V442 V1098 
0.10	c instanciating clauses for relation R4 (supports) and variables V442 V1106 
0.10	c instanciating clauses for relation R4 (supports) and variables V442 V1114 
0.10	c instanciating clauses for relation R4 (supports) and variables V442 V1127 
0.10	c instanciating clauses for relation R4 (supports) and variables V442 V1136 
0.10	c instanciating clauses for relation R4 (supports) and variables V939 V1128 
0.10	c instanciating clauses for relation R4 (supports) and variables V939 V1129 
0.10	c instanciating clauses for relation R4 (supports) and variables V939 V1135 
0.10	c instanciating clauses for relation R4 (supports) and variables V31 V942 
0.10	c instanciating clauses for relation R4 (supports) and variables V31 V943 
0.10	c instanciating clauses for relation R4 (supports) and variables V31 V948 
0.10	c instanciating clauses for relation R4 (supports) and variables V31 V999 
0.10	c instanciating clauses for relation R4 (supports) and variables V43 V738 
0.10	c instanciating clauses for relation R4 (supports) and variables V43 V739 
0.10	c instanciating clauses for relation R4 (supports) and variables V43 V940 
0.10	c instanciating clauses for relation R4 (supports) and variables V43 V946 
0.10	c instanciating clauses for relation R4 (supports) and variables V43 V1153 
0.10	c instanciating clauses for relation R4 (supports) and variables V1121 V1132 
0.10	c instanciating clauses for relation R4 (supports) and variables V1121 V1133 
0.10	c instanciating clauses for relation R4 (supports) and variables V1002 V1123 
0.10	c instanciating clauses for relation R4 (supports) and variables V1002 V1124 
0.10	c instanciating clauses for relation R4 (supports) and variables V875 V1011 
0.10	c instanciating clauses for relation R4 (supports) and variables V875 V1012 
0.10	c instanciating clauses for relation R4 (supports) and variables V875 V1017 
0.10	c instanciating clauses for relation R4 (supports) and variables V0 V996 
0.10	c instanciating clauses for relation R4 (supports) and variables V0 V997 
0.10	c instanciating clauses for relation R4 (supports) and variables V0 V1074 
0.10	c instanciating clauses for relation R4 (supports) and variables V737 V1008 
0.10	c instanciating clauses for relation R4 (supports) and variables V737 V1009 
0.10	c instanciating clauses for relation R4 (supports) and variables V737 V1015 
0.10	c instanciating clauses for relation R4 (supports) and variables V27 V1141 
0.10	c instanciating clauses for relation R4 (supports) and variables V27 V1142 
0.10	c instanciating clauses for relation R4 (supports) and variables V27 V1144 
0.10	c instanciating clauses for relation R4 (supports) and variables V27 V1163 
0.10	c instanciating clauses for relation R4 (supports) and variables V311 V866 
0.10	c instanciating clauses for relation R4 (supports) and variables V311 V867 
0.10	c instanciating clauses for relation R4 (supports) and variables V311 V935 
0.10	c instanciating clauses for relation R4 (supports) and variables V311 V978 
0.10	c instanciating clauses for relation R4 (supports) and variables V311 V1099 
0.10	c instanciating clauses for relation R4 (supports) and variables V311 V1101 
0.10	c instanciating clauses for relation R4 (supports) and variables V311 V1122 
0.10	c instanciating clauses for relation R4 (supports) and variables V1084 V1166 
0.10	c instanciating clauses for relation R4 (supports) and variables V1084 V1167 
0.10	c instanciating clauses for relation R4 (supports) and variables V429 V929 
0.10	c instanciating clauses for relation R4 (supports) and variables V429 V930 
0.10	c instanciating clauses for relation R4 (supports) and variables V429 V933 
0.10	c instanciating clauses for relation R4 (supports) and variables V429 V964 
0.10	c instanciating clauses for relation R4 (supports) and variables V429 V1080 
0.10	c instanciating clauses for relation R4 (supports) and variables V429 V1085 
0.10	c instanciating clauses for relation R4 (supports) and variables V429 V1149 
0.10	c instanciating clauses for relation R4 (supports) and variables V72 V1000 
0.10	c instanciating clauses for relation R4 (supports) and variables V72 V1001 
0.10	c instanciating clauses for relation R4 (supports) and variables V72 V1057 
0.10	c instanciating clauses for relation R4 (supports) and variables V72 V1059 
0.10	c instanciating clauses for relation R4 (supports) and variables V1 V372 
0.10	c instanciating clauses for relation R4 (supports) and variables V1 V373 
0.10	c instanciating clauses for relation R4 (supports) and variables V1 V967 
0.10	c instanciating clauses for relation R4 (supports) and variables V1 V1060 
0.10	c instanciating clauses for relation R4 (supports) and variables V1 V1063 
0.10	c instanciating clauses for relation R4 (supports) and variables V1 V1151 
0.10	c instanciating clauses for relation R4 (supports) and variables V977 V1004 
0.10	c instanciating clauses for relation R4 (supports) and variables V977 V1005 
0.10	c instanciating clauses for relation R4 (supports) and variables V977 V1109 
0.10	c instanciating clauses for relation R4 (supports) and variables V86 V649 
0.10	c instanciating clauses for relation R4 (supports) and variables V86 V650 
0.10	c instanciating clauses for relation R4 (supports) and variables V87 V94 
0.10	c instanciating clauses for relation R4 (supports) and variables V87 V95 
0.10	c instanciating clauses for relation R4 (supports) and variables V87 V103 
0.10	c instanciating clauses for relation R4 (supports) and variables V233 V236 
0.10	c instanciating clauses for relation R4 (supports) and variables V233 V237 
0.10	c instanciating clauses for relation R4 (supports) and variables V355 V366 
0.10	c instanciating clauses for relation R4 (supports) and variables V355 V367 
0.10	c instanciating clauses for relation R4 (supports) and variables V240 V345 
0.10	c instanciating clauses for relation R4 (supports) and variables V240 V346 
0.10	c instanciating clauses for relation R4 (supports) and variables V240 V356 
0.10	c instanciating clauses for relation R4 (supports) and variables V240 V358 
0.10	c instanciating clauses for relation R4 (supports) and variables V240 V365 
0.10	c instanciating clauses for relation R4 (supports) and variables V240 V388 
0.10	c instanciating clauses for relation R4 (supports) and variables V240 V392 
0.10	c instanciating clauses for relation R4 (supports) and variables V240 V397 
0.10	c instanciating clauses for relation R4 (supports) and variables V230 V339 
0.10	c instanciating clauses for relation R4 (supports) and variables V230 V340 
0.10	c instanciating clauses for relation R4 (supports) and variables V230 V343 
0.10	c instanciating clauses for relation R4 (supports) and variables V230 V349 
0.10	c instanciating clauses for relation R4 (supports) and variables V230 V351 
0.10	c instanciating clauses for relation R4 (supports) and variables V230 V361 
0.10	c instanciating clauses for relation R4 (supports) and variables V230 V369 
0.10	c instanciating clauses for relation R4 (supports) and variables V230 V371 
0.10	c instanciating clauses for relation R4 (supports) and variables V230 V376 
0.10	c instanciating clauses for relation R4 (supports) and variables V235 V238 
0.10	c instanciating clauses for relation R4 (supports) and variables V235 V239 
0.10	c instanciating clauses for relation R4 (supports) and variables V296 V378 
0.10	c instanciating clauses for relation R4 (supports) and variables V296 V379 
0.10	c instanciating clauses for relation R4 (supports) and variables V296 V492 
0.10	c instanciating clauses for relation R4 (supports) and variables V296 V639 
0.10	c instanciating clauses for relation R4 (supports) and variables V88 V647 
0.10	c instanciating clauses for relation R4 (supports) and variables V88 V648 
0.10	c instanciating clauses for relation R4 (supports) and variables V90 V98 
0.10	c instanciating clauses for relation R4 (supports) and variables V90 V99 
0.10	c instanciating clauses for relation R4 (supports) and variables V77 V352 
0.10	c instanciating clauses for relation R4 (supports) and variables V77 V353 
0.10	c instanciating clauses for relation R4 (supports) and variables V77 V952 
0.10	c instanciating clauses for relation R4 (supports) and variables V77 V954 
0.10	c instanciating clauses for relation R4 (supports) and variables V77 V966 
0.10	c instanciating clauses for relation R4 (supports) and variables V89 V96 
0.10	c instanciating clauses for relation R4 (supports) and variables V89 V97 
0.10	c instanciating clauses for relation R4 (supports) and variables V143 V393 
0.10	c instanciating clauses for relation R4 (supports) and variables V143 V394 
0.10	c instanciating clauses for relation R4 (supports) and variables V143 V526 
0.10	c instanciating clauses for relation R4 (supports) and variables V143 V530 
0.10	c instanciating clauses for relation R4 (supports) and variables V92 V218 
0.10	c instanciating clauses for relation R4 (supports) and variables V92 V219 
0.10	c instanciating clauses for relation R4 (supports) and variables V92 V223 
0.10	c instanciating clauses for relation R4 (supports) and variables V104 V107 
0.10	c instanciating clauses for relation R4 (supports) and variables V104 V108 
0.10	c instanciating clauses for relation R4 (supports) and variables V102 V105 
0.10	c instanciating clauses for relation R4 (supports) and variables V102 V106 
0.10	c instanciating clauses for relation R4 (supports) and variables V241 V363 
0.10	c instanciating clauses for relation R4 (supports) and variables V241 V364 
0.10	c instanciating clauses for relation R4 (supports) and variables V241 V491 
0.10	c instanciating clauses for relation R4 (supports) and variables V241 V532 
0.10	c instanciating clauses for relation R4 (supports) and variables V215 V224 
0.10	c instanciating clauses for relation R4 (supports) and variables V215 V225 
0.10	c instanciating clauses for relation R4 (supports) and variables V215 V882 
0.10	c instanciating clauses for relation R4 (supports) and variables V231 V1137 
0.10	c instanciating clauses for relation R4 (supports) and variables V231 V1138 
0.10	c instanciating clauses for relation R4 (supports) and variables V396 V488 
0.10	c instanciating clauses for relation R4 (supports) and variables V396 V489 
0.10	c instanciating clauses for relation R4 (supports) and variables V396 V645 
0.10	c instanciating clauses for relation R4 (supports) and variables V396 V708 
0.10	c instanciating clauses for relation R4 (supports) and variables V396 V734 
0.10	c instanciating clauses for relation R4 (supports) and variables V214 V883 
0.10	c instanciating clauses for relation R4 (supports) and variables V214 V884 
0.10	c instanciating clauses for relation R4 (supports) and variables V220 V226 
0.10	c instanciating clauses for relation R4 (supports) and variables V220 V227 
0.10	c instanciating clauses for relation R4 (supports) and variables V344 V389 
0.10	c instanciating clauses for relation R4 (supports) and variables V344 V390 
0.10	c instanciating clauses for relation R4 (supports) and variables V64 V979 
0.10	c instanciating clauses for relation R4 (supports) and variables V64 V980 
0.10	c instanciating clauses for relation R4 (supports) and variables V64 V983 
0.10	c instanciating clauses for relation R4 (supports) and variables V228 V472 
0.10	c instanciating clauses for relation R4 (supports) and variables V228 V473 
0.10	c instanciating clauses for relation R4 (supports) and variables V819 V828 
0.10	c instanciating clauses for relation R4 (supports) and variables V819 V830 
0.10	c instanciating clauses for relation R4 (supports) and variables V820 V829 
0.10	c instanciating clauses for relation R4 (supports) and variables V820 V832 
0.10	c instanciating clauses for relation R4 (supports) and variables V124 V823 
0.10	c instanciating clauses for relation R4 (supports) and variables V124 V826 
0.10	c instanciating clauses for relation R4 (supports) and variables V124 V1064 
0.10	c instanciating clauses for relation R4 (supports) and variables V125 V825 
0.10	c instanciating clauses for relation R4 (supports) and variables V125 V827 
0.10	c instanciating clauses for relation R4 (supports) and variables V125 V1065 
0.10	c instanciating clauses for relation R4 (supports) and variables V123 V126 
0.10	c instanciating clauses for relation R4 (supports) and variables V123 V127 
0.10	c instanciating clauses for relation R4 (supports) and variables V464 V889 
0.10	c instanciating clauses for relation R4 (supports) and variables V464 V890 
0.10	c instanciating clauses for relation R4 (supports) and variables V465 V624 
0.10	c instanciating clauses for relation R4 (supports) and variables V465 V625 
0.10	c instanciating clauses for relation R4 (supports) and variables V460 V891 
0.10	c instanciating clauses for relation R4 (supports) and variables V460 V892 
0.10	c instanciating clauses for relation R4 (supports) and variables V564 V659 
0.10	c instanciating clauses for relation R4 (supports) and variables V564 V660 
0.11	c instanciating clauses for relation R4 (supports) and variables V598 V636 
0.11	c instanciating clauses for relation R4 (supports) and variables V598 V637 
0.11	c instanciating clauses for relation R4 (supports) and variables V452 V880 
0.11	c instanciating clauses for relation R4 (supports) and variables V452 V881 
0.11	c instanciating clauses for relation R4 (supports) and variables V451 V565 
0.11	c instanciating clauses for relation R4 (supports) and variables V451 V566 
0.11	c instanciating clauses for relation R4 (supports) and variables V451 V885 
0.11	c instanciating clauses for relation R4 (supports) and variables V451 V888 
0.11	c instanciating clauses for relation R4 (supports) and variables V451 V1097 
0.11	c instanciating clauses for relation R4 (supports) and variables V454 V456 
0.11	c instanciating clauses for relation R4 (supports) and variables V454 V457 
0.11	c instanciating clauses for relation R4 (supports) and variables V328 V448 
0.11	c instanciating clauses for relation R4 (supports) and variables V328 V449 
0.11	c instanciating clauses for relation R4 (supports) and variables V328 V654 
0.11	c instanciating clauses for relation R4 (supports) and variables V328 V877 
0.11	c instanciating clauses for relation R4 (supports) and variables V447 V756 
0.11	c instanciating clauses for relation R4 (supports) and variables V447 V757 
0.11	c instanciating clauses for relation R4 (supports) and variables V652 V893 
0.11	c instanciating clauses for relation R4 (supports) and variables V652 V894 
0.11	c instanciating clauses for relation R4 (supports) and variables V651 V878 
0.11	c instanciating clauses for relation R4 (supports) and variables V651 V879 
0.11	c instanciating clauses for relation R4 (supports) and variables V802 V806 
0.11	c instanciating clauses for relation R4 (supports) and variables V802 V807 
0.11	c instanciating clauses for relation R4 (supports) and variables V802 V976 
0.11	c instanciating clauses for relation R4 (supports) and variables V1105 V1119 
0.11	c instanciating clauses for relation R4 (supports) and variables V1105 V1120 
0.11	c instanciating clauses for relation R4 (supports) and variables V945 V1115 
0.11	c instanciating clauses for relation R4 (supports) and variables V945 V1116 
0.11	c instanciating clauses for relation R4 (supports) and variables V1100 V1112 
0.11	c instanciating clauses for relation R4 (supports) and variables V1100 V1113 
0.11	c instanciating clauses for relation R4 (supports) and variables V1014 V1102 
0.11	c instanciating clauses for relation R4 (supports) and variables V1014 V1103 
0.11	c instanciating clauses for relation R4 (supports) and variables V1054 V1061 
0.11	c instanciating clauses for relation R4 (supports) and variables V1054 V1062 
0.11	c instanciating clauses for relation R4 (supports) and variables V332 V657 
0.11	c instanciating clauses for relation R4 (supports) and variables V332 V658 
0.11	c instanciating clauses for relation R4 (supports) and variables V332 V887 
0.11	c instanciating clauses for relation R4 (supports) and variables V329 V335 
0.11	c instanciating clauses for relation R4 (supports) and variables V329 V336 
0.11	c instanciating clauses for relation R4 (supports) and variables V331 V333 
0.11	c instanciating clauses for relation R4 (supports) and variables V331 V334 
0.11	c instanciating clauses for relation R4 (supports) and variables V747 V797 
0.11	c instanciating clauses for relation R4 (supports) and variables V747 V798 
0.11	c instanciating clauses for relation R4 (supports) and variables V747 V968 
0.11	c instanciating clauses for relation R4 (supports) and variables V243 V255 
0.11	c instanciating clauses for relation R4 (supports) and variables V243 V256 
0.11	c instanciating clauses for relation R4 (supports) and variables V243 V262 
0.11	c instanciating clauses for relation R4 (supports) and variables V243 V265 
0.11	c instanciating clauses for relation R4 (supports) and variables V113 V250 
0.11	c instanciating clauses for relation R4 (supports) and variables V113 V251 
0.11	c instanciating clauses for relation R4 (supports) and variables V114 V248 
0.11	c instanciating clauses for relation R4 (supports) and variables V114 V249 
0.11	c instanciating clauses for relation R4 (supports) and variables V254 V263 
0.11	c instanciating clauses for relation R4 (supports) and variables V254 V264 
0.11	c instanciating clauses for relation R4 (supports) and variables V257 V260 
0.11	c instanciating clauses for relation R4 (supports) and variables V257 V261 
0.11	c instanciating clauses for relation R4 (supports) and variables V131 V258 
0.11	c instanciating clauses for relation R4 (supports) and variables V131 V259 
0.11	c instanciating clauses for relation R4 (supports) and variables V109 V140 
0.11	c instanciating clauses for relation R4 (supports) and variables V109 V141 
0.11	c instanciating clauses for relation R4 (supports) and variables V109 V271 
0.11	c instanciating clauses for relation R4 (supports) and variables V111 V244 
0.11	c instanciating clauses for relation R4 (supports) and variables V111 V245 
0.11	c instanciating clauses for relation R4 (supports) and variables V110 V246 
0.11	c instanciating clauses for relation R4 (supports) and variables V110 V247 
0.11	c instanciating clauses for relation R4 (supports) and variables V136 V274 
0.11	c instanciating clauses for relation R4 (supports) and variables V136 V275 
0.11	c instanciating clauses for relation R4 (supports) and variables V142 V276 
0.11	c instanciating clauses for relation R4 (supports) and variables V142 V277 
0.11	c instanciating clauses for relation R4 (supports) and variables V139 V272 
0.11	c instanciating clauses for relation R4 (supports) and variables V139 V273 
0.11	c instanciating clauses for relation R4 (supports) and variables V139 V278 
0.11	c instanciating clauses for relation R4 (supports) and variables V112 V128 
0.11	c instanciating clauses for relation R4 (supports) and variables V112 V129 
0.11	c instanciating clauses for relation R4 (supports) and variables V1168 V1170 
0.11	c instanciating clauses for relation R4 (supports) and variables V1168 V1172 
0.11	c instanciating clauses for relation R4 (supports) and variables V1169 V1171 
0.11	c instanciating clauses for relation R4 (supports) and variables V1169 V1173 
0.11	c instanciating clauses for relation R4 (supports) and variables V1092 V1180 
0.11	c instanciating clauses for relation R4 (supports) and variables V1092 V1181 
0.11	c instanciating clauses for relation R4 (supports) and variables V741 V843 
0.11	c instanciating clauses for relation R4 (supports) and variables V741 V844 
0.11	c instanciating clauses for relation R4 (supports) and variables V741 V853 
0.11	c instanciating clauses for relation R4 (supports) and variables V838 V841 
0.11	c instanciating clauses for relation R4 (supports) and variables V838 V842 
0.11	c instanciating clauses for relation R4 (supports) and variables V838 V850 
0.11	c instanciating clauses for relation R4 (supports) and variables V838 V852 
0.11	c instanciating clauses for relation R4 (supports) and variables V837 V839 
0.11	c instanciating clauses for relation R4 (supports) and variables V837 V840 
0.11	c instanciating clauses for relation R4 (supports) and variables V837 V851 
0.11	c instanciating clauses for relation R4 (supports) and variables V740 V848 
0.11	c instanciating clauses for relation R4 (supports) and variables V740 V849 
0.11	c instanciating clauses for relation R4 (supports) and variables V836 V846 
0.11	c instanciating clauses for relation R4 (supports) and variables V836 V847 
0.11	c instanciating clauses for relation R4 (supports) and variables V616 V1072 
0.11	c instanciating clauses for relation R4 (supports) and variables V616 V1073 
0.11	c instanciating clauses for relation R4 (supports) and variables V527 V962 
0.11	c instanciating clauses for relation R4 (supports) and variables V527 V963 
0.11	c instanciating clauses for relation R4 (supports) and variables V28 V528 
0.11	c instanciating clauses for relation R4 (supports) and variables V28 V529 
0.11	c instanciating clauses for relation R4 (supports) and variables V617 V621 
0.11	c instanciating clauses for relation R4 (supports) and variables V617 V622 
0.11	c instanciating clauses for relation R4 (supports) and variables V515 V610 
0.11	c instanciating clauses for relation R4 (supports) and variables V515 V611 
0.11	c instanciating clauses for relation R4 (supports) and variables V293 V612 
0.11	c instanciating clauses for relation R4 (supports) and variables V293 V613 
0.11	c instanciating clauses for relation R4 (supports) and variables V293 V614 
0.11	c instanciating clauses for relation R4 (supports) and variables V293 V638 
0.11	c instanciating clauses for relation R4 (supports) and variables V405 V641 
0.11	c instanciating clauses for relation R4 (supports) and variables V405 V642 
0.11	c instanciating clauses for relation R4 (supports) and variables V405 V871 
0.11	c instanciating clauses for relation R4 (supports) and variables V514 V619 
0.11	c instanciating clauses for relation R4 (supports) and variables V514 V620 
0.11	c instanciating clauses for relation R4 (supports) and variables V497 V510 
0.11	c instanciating clauses for relation R4 (supports) and variables V497 V511 
0.11	c instanciating clauses for relation R4 (supports) and variables V497 V512 
0.11	c instanciating clauses for relation R4 (supports) and variables V490 V500 
0.11	c instanciating clauses for relation R4 (supports) and variables V490 V501 
0.11	c instanciating clauses for relation R4 (supports) and variables V490 V506 
0.11	c instanciating clauses for relation R4 (supports) and variables V490 V509 
0.11	c instanciating clauses for relation R4 (supports) and variables V493 V507 
0.11	c instanciating clauses for relation R4 (supports) and variables V493 V508 
0.11	c instanciating clauses for relation R4 (supports) and variables V494 V498 
0.11	c instanciating clauses for relation R4 (supports) and variables V494 V499 
0.11	c instanciating clauses for relation R4 (supports) and variables V494 V503 
0.11	c instanciating clauses for relation R4 (supports) and variables V288 V629 
0.11	c instanciating clauses for relation R4 (supports) and variables V288 V630 
0.11	c instanciating clauses for relation R4 (supports) and variables V496 V504 
0.11	c instanciating clauses for relation R4 (supports) and variables V496 V505 
0.11	c instanciating clauses for relation R4 (supports) and variables V958 V1070 
0.11	c instanciating clauses for relation R4 (supports) and variables V958 V1071 
0.11	c instanciating clauses for relation R4 (supports) and variables V1030 V1042 
0.11	c instanciating clauses for relation R4 (supports) and variables V1030 V1043 
0.11	c instanciating clauses for relation R4 (supports) and variables V1031 V1038 
0.11	c instanciating clauses for relation R4 (supports) and variables V1031 V1039 
0.11	c instanciating clauses for relation R4 (supports) and variables V1031 V1045 
0.11	c instanciating clauses for relation R4 (supports) and variables V1026 V1046 
0.11	c instanciating clauses for relation R4 (supports) and variables V1026 V1047 
0.11	c instanciating clauses for relation R4 (supports) and variables V1027 V1035 
0.11	c instanciating clauses for relation R4 (supports) and variables V1027 V1036 
0.11	c instanciating clauses for relation R4 (supports) and variables V1027 V1037 
0.11	c instanciating clauses for relation R4 (supports) and variables V1028 V1040 
0.11	c instanciating clauses for relation R4 (supports) and variables V1028 V1041 
0.11	c instanciating clauses for relation R4 (supports) and variables V1029 V1033 
0.11	c instanciating clauses for relation R4 (supports) and variables V1029 V1034 
0.11	c instanciating clauses for relation R4 (supports) and variables V1029 V1044 
0.11	c instanciating clauses for relation R4 (supports) and variables V61 V607 
0.11	c instanciating clauses for relation R4 (supports) and variables V61 V608 
0.11	c instanciating clauses for relation R4 (supports) and variables V61 V957 
0.11	c instanciating clauses for relation R4 (supports) and variables V40 V955 
0.11	c instanciating clauses for relation R4 (supports) and variables V40 V956 
0.11	c instanciating clauses for relation R4 (supports) and variables V961 V1068 
0.11	c instanciating clauses for relation R4 (supports) and variables V961 V1069 
0.11	c instanciating clauses for relation R4 (supports) and variables V688 V695 
0.11	c instanciating clauses for relation R4 (supports) and variables V688 V696 
0.11	c instanciating clauses for relation R4 (supports) and variables V688 V784 
0.11	c instanciating clauses for relation R4 (supports) and variables V640 V931 
0.11	c instanciating clauses for relation R4 (supports) and variables V640 V932 
0.11	c instanciating clauses for relation R4 (supports) and variables V640 V960 
0.11	c instanciating clauses for relation R4 (supports) and variables V640 V1164 
0.11	c instanciating clauses for relation R4 (supports) and variables V640 V1165 
0.12	c instanciating clauses for relation R4 (supports) and variables V686 V689 
0.12	c instanciating clauses for relation R4 (supports) and variables V686 V690 
0.12	c instanciating clauses for relation R4 (supports) and variables V778 V785 
0.12	c instanciating clauses for relation R4 (supports) and variables V778 V786 
0.12	c instanciating clauses for relation R4 (supports) and variables V778 V789 
0.12	c instanciating clauses for relation R4 (supports) and variables V687 V787 
0.12	c instanciating clauses for relation R4 (supports) and variables V687 V788 
0.12	c instanciating clauses for relation R4 (supports) and variables V684 V779 
0.12	c instanciating clauses for relation R4 (supports) and variables V684 V780 
0.12	c instanciating clauses for relation R4 (supports) and variables V684 V783 
0.12	c instanciating clauses for relation R4 (supports) and variables V685 V790 
0.12	c instanciating clauses for relation R4 (supports) and variables V685 V791 
0.12	c instanciating clauses for relation R4 (supports) and variables V985 V1176 
0.12	c instanciating clauses for relation R4 (supports) and variables V985 V1177 
0.12	c instanciating clauses for relation R4 (supports) and variables V712 V723 
0.12	c instanciating clauses for relation R4 (supports) and variables V712 V724 
0.12	c instanciating clauses for relation R4 (supports) and variables V717 V729 
0.12	c instanciating clauses for relation R4 (supports) and variables V717 V730 
0.12	c instanciating clauses for relation R4 (supports) and variables V717 V1050 
0.12	c instanciating clauses for relation R4 (supports) and variables V711 V718 
0.12	c instanciating clauses for relation R4 (supports) and variables V711 V719 
0.12	c instanciating clauses for relation R4 (supports) and variables V720 V727 
0.12	c instanciating clauses for relation R4 (supports) and variables V720 V728 
0.12	c instanciating clauses for relation R4 (supports) and variables V720 V732 
0.12	c instanciating clauses for relation R4 (supports) and variables V710 V725 
0.12	c instanciating clauses for relation R4 (supports) and variables V710 V726 
0.12	c instanciating clauses for relation R4 (supports) and variables V716 V721 
0.12	c instanciating clauses for relation R4 (supports) and variables V716 V722 
0.12	c instanciating clauses for relation R4 (supports) and variables V716 V731 
0.12	c instanciating clauses for relation R4 (supports) and variables V1174 V1178 
0.12	c instanciating clauses for relation R4 (supports) and variables V1174 V1179 
0.12	c instanciating clauses for relation R4 (supports) and variables V744 V862 
0.12	c instanciating clauses for relation R4 (supports) and variables V744 V863 
0.12	c instanciating clauses for relation R4 (supports) and variables V744 V1175 
0.12	c instanciating clauses for relation R4 (supports) and variables V742 V860 
0.12	c instanciating clauses for relation R4 (supports) and variables V742 V861 
0.12	c instanciating clauses for relation R4 (supports) and variables V6 V1075 
0.12	c instanciating clauses for relation R4 (supports) and variables V6 V1076 
0.12	c instanciating clauses for relation R4 (supports) and variables V10 V856 
0.12	c instanciating clauses for relation R4 (supports) and variables V10 V857 
0.12	c instanciating clauses for relation R4 (supports) and variables V25 V970 
0.12	c instanciating clauses for relation R4 (supports) and variables V25 V971 
0.12	c instanciating clauses for relation R4 (supports) and variables V38 V972 
0.12	c instanciating clauses for relation R4 (supports) and variables V38 V973 
0.12	c instanciating clauses for relation R4 (supports) and variables V24 V974 
0.12	c instanciating clauses for relation R4 (supports) and variables V24 V975 
0.12	c instanciating clauses for relation R4 (supports) and variables V835 V858 
0.12	c instanciating clauses for relation R4 (supports) and variables V835 V859 
0.12	c instanciating clauses for relation R4 (supports) and variables V47 V1158 
0.12	c instanciating clauses for relation R4 (supports) and variables V47 V1159 
0.12	c instanciating clauses for relation R4 (supports) and variables V17 V1154 
0.12	c instanciating clauses for relation R4 (supports) and variables V17 V1155 
0.12	c instanciating clauses for relation R4 (supports) and variables V32 V1066 
0.12	c instanciating clauses for relation R4 (supports) and variables V32 V1067 
0.12	c instanciating clauses for relation R4 (supports) and variables V22 V1156 
0.12	c instanciating clauses for relation R4 (supports) and variables V22 V1157 
0.12	c instanciating clauses for relation R4 (supports) and variables V19 V1077 
0.12	c instanciating clauses for relation R4 (supports) and variables V19 V1078 
0.12	c ...done
0.12	c #SATvar=4028 #SATclauses=10763 #CSPpredicates=0
0.12	Verified 10763 original clauses.
0.12	c SAT problem is solved
0.12	restarts              : 1
0.12	conflicts             : 0              (0 /sec)
0.12	decisions             : 324            (1.23 % random) (3307 /sec)
0.12	propagations          : 4026           (41088 /sec)
0.12	conflict literals     : 0              ( nan % deleted)
0.12	Memory used           : 7.52 MB
0.12	CPU time              : 0.097985 s
0.12	c all predicates checked
0.12	
0.12	s SATISFIABLE
0.12	v 0 0 1 1 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 0 0 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 1 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 0 0 1 1 1 1 1 1 1 0 1 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 0 0 0 1 1 0 1 1 1 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 0 1 0 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 1 0 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 0 0 0 0 1 0 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 1 0 0 1 1 1 0 0 1 1 0 1 1 1 1 1 1 0 1 0 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 0 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 0 1 1 0 1 1 1 0 1 1 0 0 0 0 0 0 1 0 0 0 1 1 1 0 1 1 1 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 0 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 1 1 0 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 0 1 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 0 1 0 1 1 0 0 0 1 0 1 1 1 1 1 1 1 0 0 1 0 1 1 0 1 0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 1 0 0 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 1 1 1 1 1 1 1 0 1 0 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 
0.12

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/node16/watcher-242520-1168093402 -o ROOT/results/node16/solver-242520-1168093402 -C 1800 -M 900 /tmp/evaluation/242520-1168093402/CSPtoSAT+minisat /tmp/evaluation/242520-1168093402/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.47 1.86 1.95 3/86 25664
/proc/meminfo: memFree=1577400/2055920 swapFree=4191880/4192956
[pid=25663] ppid=25661 vsize=18540 CPUtime=0
/proc/25663/stat : 25663 (runsolver) R 25661 25663 24992 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 157735931 18984960 279 18446744073709551615 4194304 4267372 548682069072 18446744073709551615 231962373415 0 0 4096 24578 0 0 0 17 1 0 0
/proc/25663/statm: 4635 279 244 17 0 2626 0

[startup+0.102315 s]
/proc/loadavg: 1.47 1.86 1.95 3/86 25664
/proc/meminfo: memFree=1577400/2055920 swapFree=4191880/4192956
[pid=25663] ppid=25661 vsize=7704 CPUtime=0.08
/proc/25663/stat : 25663 (CSPtoSAT+minisa) R 25661 25663 24992 0 -1 4194304 1037 0 0 0 8 0 0 0 18 0 1 0 157735931 7888896 1005 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 134644729 0 0 4096 0 0 0 0 17 1 0 0
/proc/25663/statm: 1926 1005 704 52 0 294 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7704

Child status: 0
Real time (s): 0.126846
CPU time (s): 0.108982
CPU user time (s): 0.099984
CPU system time (s): 0.008998
CPU usage (%): 85.9167
Max. virtual memory (cumulated for all children) (KiB): 7704

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

runsolver used 0.003999 s user time and 0.012998 s system time

The end

Launcher Data (download as text)

Begin job on node16 on Sat Jan  6 14:23:24 UTC 2007


IDJOB= 242520
IDBENCH= 7397
FILE ID= node16/242520-1168093402

PBS_JOBID= 3476383

Free space on /tmp= 66499 MiB

BENCH NAME= HOME/pub/bench/CPAI06/dimacs/varDimacs/bf-2670-001_ext.xml
COMMAND LINE= /tmp/evaluation/242520-1168093402/CSPtoSAT+minisat /tmp/evaluation/242520-1168093402/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node16/watcher-242520-1168093402 -o ROOT/results/node16/solver-242520-1168093402 -C 1800 -M 900  /tmp/evaluation/242520-1168093402/CSPtoSAT+minisat /tmp/evaluation/242520-1168093402/unknown.xml

META MD5SUM SOLVER= 0ab327eaa5be249b47b2f4b19927f0b0
MD5SUM BENCH=  c4b49105a3f1ccc38a86cbec338ca7e3

RANDOM SEED= 612636582

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.220
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.220
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:       1577816 kB
Buffers:         44664 kB
Cached:         252704 kB
SwapCached:        268 kB
Active:         136244 kB
Inactive:       249504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1577816 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            1736 kB
Writeback:           0 kB
Mapped:         110236 kB
Slab:            76976 kB
Committed_AS:  3989736 kB
PageTables:       2408 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= 66499 MiB



End job on node16 on Sat Jan  6 14:23:35 UTC 2007