Trace number 4241833

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
R1: cosoco 1.1SAT 2111.26 2111.72

General information on the benchmark

NameQueenAttacking/QueenAttacking-xcsp2-s1/
QueenAttacking-08_X2.xml
MD5SUM01373ebb4a146089a71bb04c36ed4f3a
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark2118.48
Satisfiable
(Un)Satisfiability was proved
Number of variables65
Number of constraints2034
Number of domains2
Minimum domain size10
Maximum domain size64
Distribution of domain sizes[{"size":10,"count":1},{"size":64,"count":64}]
Minimum variable degree18
Maximum variable degree64
Distribution of variable degrees[{"degree":18,"count":1},{"degree":63,"count":46},{"degree":64,"count":18}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":2034}]
Number of extensional constraints0
Number of intensional constraints2034
Distribution of constraint types[{"type":"intension","count":2034}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.04	c intension x[0] != x[2]  using generic constraint 
0.00/0.04	c intension x[0] != x[3]  using generic constraint 
0.00/0.04	c intension x[0] != x[4]  using generic constraint 
0.00/0.05	c intension x[0] != x[5]  using generic constraint 
0.00/0.05	c intension x[0] != x[6]  using generic constraint 
0.00/0.05	c intension x[0] != x[7]  using generic constraint 
0.00/0.05	c intension x[0] != x[8]  using generic constraint 
0.00/0.05	c intension x[0] != x[9]  using generic constraint 
0.00/0.05	c intension x[0] != x[10]  using generic constraint 
0.00/0.06	c intension x[0] != x[11]  using generic constraint 
0.00/0.06	c intension x[0] != x[12]  using generic constraint 
0.00/0.06	c intension x[0] != x[13]  using generic constraint 
0.00/0.06	c intension x[0] != x[14]  using generic constraint 
0.00/0.06	c intension x[0] != x[15]  using generic constraint 
0.00/0.06	c intension x[0] != x[16]  using generic constraint 
0.00/0.06	c intension x[0] != x[17]  using generic constraint 
0.00/0.07	c intension x[0] != x[18]  using generic constraint 
0.00/0.07	c intension x[0] != x[19]  using generic constraint 
0.00/0.07	c intension x[0] != x[20]  using generic constraint 
0.00/0.07	c intension x[0] != x[21]  using generic constraint 
0.00/0.07	c intension x[0] != x[22]  using generic constraint 
0.00/0.07	c intension x[0] != x[23]  using generic constraint 
0.00/0.07	c intension x[0] != x[24]  using generic constraint 
0.00/0.08	c intension x[0] != x[25]  using generic constraint 
0.00/0.08	c intension x[0] != x[26]  using generic constraint 
0.00/0.08	c intension x[0] != x[27]  using generic constraint 
0.00/0.08	c intension x[0] != x[28]  using generic constraint 
0.00/0.08	c intension x[0] != x[29]  using generic constraint 
0.00/0.08	c intension x[0] != x[30]  using generic constraint 
0.00/0.08	c intension x[0] != x[31]  using generic constraint 
0.00/0.08	c intension x[0] != x[32]  using generic constraint 
0.00/0.09	c intension x[0] != x[33]  using generic constraint 
0.00/0.09	c intension x[0] != x[34]  using generic constraint 
0.00/0.09	c intension x[0] != x[35]  using generic constraint 
0.00/0.09	c intension x[0] != x[36]  using generic constraint 
0.00/0.09	c intension x[0] != x[37]  using generic constraint 
0.00/0.09	c intension x[0] != x[38]  using generic constraint 
0.00/0.09	c intension x[0] != x[39]  using generic constraint 
0.00/0.09	c intension x[0] != x[40]  using generic constraint 
0.09/0.10	c intension x[0] != x[41]  using generic constraint 
0.09/0.10	c intension x[0] != x[42]  using generic constraint 
0.09/0.10	c intension x[0] != x[43]  using generic constraint 
0.09/0.10	c intension x[0] != x[44]  using generic constraint 
0.09/0.10	c intension x[0] != x[45]  using generic constraint 
0.09/0.10	c intension x[0] != x[46]  using generic constraint 
0.09/0.10	c intension x[0] != x[47]  using generic constraint 
0.09/0.10	c intension x[0] != x[48]  using generic constraint 
0.09/0.11	c intension x[0] != x[49]  using generic constraint 
0.09/0.11	c intension x[0] != x[50]  using generic constraint 
0.09/0.11	c intension x[0] != x[51]  using generic constraint 
0.09/0.11	c intension x[0] != x[52]  using generic constraint 
0.09/0.11	c intension x[0] != x[53]  using generic constraint 
0.09/0.11	c intension x[0] != x[54]  using generic constraint 
0.09/0.11	c intension x[0] != x[55]  using generic constraint 
0.09/0.11	c intension x[0] != x[56]  using generic constraint 
0.09/0.12	c intension x[0] != x[57]  using generic constraint 
0.09/0.12	c intension x[0] != x[58]  using generic constraint 
0.09/0.12	c intension x[0] != x[59]  using generic constraint 
0.09/0.12	c intension x[0] != x[60]  using generic constraint 
0.09/0.12	c intension x[0] != x[61]  using generic constraint 
0.09/0.12	c intension x[0] != x[62]  using generic constraint 
0.09/0.12	c intension x[0] != x[63]  using generic constraint 
0.09/0.12	c intension x[1] != x[3]  using generic constraint 
0.09/0.12	c intension x[1] != x[4]  using generic constraint 
0.09/0.13	c intension x[1] != x[5]  using generic constraint 
0.09/0.13	c intension x[1] != x[6]  using generic constraint 
0.09/0.13	c intension x[1] != x[7]  using generic constraint 
0.09/0.13	c intension x[1] != x[8]  using generic constraint 
0.09/0.13	c intension x[1] != x[9]  using generic constraint 
0.09/0.13	c intension x[1] != x[10]  using generic constraint 
0.09/0.13	c intension x[1] != x[11]  using generic constraint 
0.09/0.13	c intension x[1] != x[12]  using generic constraint 
0.09/0.13	c intension x[1] != x[13]  using generic constraint 
0.09/0.14	c intension x[1] != x[14]  using generic constraint 
0.09/0.14	c intension x[1] != x[15]  using generic constraint 
0.09/0.14	c intension x[1] != x[16]  using generic constraint 
0.09/0.14	c intension x[1] != x[17]  using generic constraint 
0.09/0.14	c intension x[1] != x[18]  using generic constraint 
0.09/0.14	c intension x[1] != x[19]  using generic constraint 
0.09/0.14	c intension x[1] != x[20]  using generic constraint 
0.09/0.14	c intension x[1] != x[21]  using generic constraint 
0.09/0.14	c intension x[1] != x[22]  using generic constraint 
0.09/0.15	c intension x[1] != x[23]  using generic constraint 
0.09/0.15	c intension x[1] != x[24]  using generic constraint 
0.09/0.15	c intension x[1] != x[25]  using generic constraint 
0.09/0.15	c intension x[1] != x[26]  using generic constraint 
0.09/0.15	c intension x[1] != x[27]  using generic constraint 
0.09/0.15	c intension x[1] != x[28]  using generic constraint 
0.09/0.15	c intension x[1] != x[29]  using generic constraint 
0.09/0.15	c intension x[1] != x[30]  using generic constraint 
0.09/0.15	c intension x[1] != x[31]  using generic constraint 
0.09/0.16	c intension x[1] != x[32]  using generic constraint 
0.09/0.16	c intension x[1] != x[33]  using generic constraint 
0.09/0.16	c intension x[1] != x[34]  using generic constraint 
0.09/0.16	c intension x[1] != x[35]  using generic constraint 
0.09/0.16	c intension x[1] != x[36]  using generic constraint 
0.09/0.16	c intension x[1] != x[37]  using generic constraint 
0.09/0.16	c intension x[1] != x[38]  using generic constraint 
0.09/0.16	c intension x[1] != x[39]  using generic constraint 
0.09/0.16	c intension x[1] != x[40]  using generic constraint 
0.09/0.16	c intension x[1] != x[41]  using generic constraint 
0.09/0.17	c intension x[1] != x[42]  using generic constraint 
0.09/0.17	c intension x[1] != x[43]  using generic constraint 
0.09/0.17	c intension x[1] != x[44]  using generic constraint 
0.09/0.17	c intension x[1] != x[45]  using generic constraint 
0.09/0.17	c intension x[1] != x[46]  using generic constraint 
0.09/0.17	c intension x[1] != x[47]  using generic constraint 
0.09/0.17	c intension x[1] != x[48]  using generic constraint 
0.09/0.17	c intension x[1] != x[49]  using generic constraint 
0.09/0.17	c intension x[1] != x[50]  using generic constraint 
0.09/0.17	c intension x[1] != x[51]  using generic constraint 
0.09/0.18	c intension x[1] != x[52]  using generic constraint 
0.09/0.18	c intension x[1] != x[53]  using generic constraint 
0.09/0.18	c intension x[1] != x[54]  using generic constraint 
0.09/0.18	c intension x[1] != x[55]  using generic constraint 
0.09/0.18	c intension x[1] != x[56]  using generic constraint 
0.09/0.18	c intension x[1] != x[57]  using generic constraint 
0.09/0.18	c intension x[1] != x[58]  using generic constraint 
0.09/0.18	c intension x[1] != x[59]  using generic constraint 
0.09/0.18	c intension x[1] != x[60]  using generic constraint 
0.09/0.18	c intension x[1] != x[61]  using generic constraint 
0.09/0.19	c intension x[1] != x[62]  using generic constraint 
0.09/0.19	c intension x[1] != x[63]  using generic constraint 
0.09/0.19	c intension x[2] != x[4]  using generic constraint 
0.09/0.19	c intension x[2] != x[5]  using generic constraint 
0.09/0.19	c intension x[2] != x[6]  using generic constraint 
0.09/0.19	c intension x[2] != x[7]  using generic constraint 
0.09/0.19	c intension x[2] != x[8]  using generic constraint 
0.09/0.19	c intension x[2] != x[9]  using generic constraint 
0.09/0.19	c intension x[2] != x[10]  using generic constraint 
0.09/0.19	c intension x[2] != x[11]  using generic constraint 
0.09/0.19	c intension x[2] != x[12]  using generic constraint 
0.09/0.20	c intension x[2] != x[13]  using generic constraint 
0.19/0.20	c intension x[2] != x[14]  using generic constraint 
0.19/0.20	c intension x[2] != x[15]  using generic constraint 
0.19/0.20	c intension x[2] != x[16]  using generic constraint 
0.19/0.20	c intension x[2] != x[17]  using generic constraint 
0.19/0.20	c intension x[2] != x[18]  using generic constraint 
0.19/0.20	c intension x[2] != x[19]  using generic constraint 
0.19/0.20	c intension x[2] != x[20]  using generic constraint 
0.19/0.20	c intension x[2] != x[21]  using generic constraint 
0.19/0.20	c intension x[2] != x[22]  using generic constraint 
0.19/0.20	c intension x[2] != x[23]  using generic constraint 
0.19/0.20	c intension x[2] != x[24]  using generic constraint 
0.19/0.21	c intension x[2] != x[25]  using generic constraint 
0.19/0.21	c intension x[2] != x[26]  using generic constraint 
0.19/0.21	c intension x[2] != x[27]  using generic constraint 
0.19/0.21	c intension x[2] != x[28]  using generic constraint 
0.19/0.21	c intension x[2] != x[29]  using generic constraint 
0.19/0.21	c intension x[2] != x[30]  using generic constraint 
0.19/0.21	c intension x[2] != x[31]  using generic constraint 
0.19/0.21	c intension x[2] != x[32]  using generic constraint 
0.19/0.21	c intension x[2] != x[33]  using generic constraint 
0.19/0.21	c intension x[2] != x[34]  using generic constraint 
0.19/0.21	c intension x[2] != x[35]  using generic constraint 
0.19/0.22	c intension x[2] != x[36]  using generic constraint 
0.19/0.22	c intension x[2] != x[37]  using generic constraint 
0.19/0.22	c intension x[2] != x[38]  using generic constraint 
0.19/0.22	c intension x[2] != x[39]  using generic constraint 
0.19/0.22	c intension x[2] != x[40]  using generic constraint 
0.19/0.22	c intension x[2] != x[41]  using generic constraint 
0.19/0.22	c intension x[2] != x[42]  using generic constraint 
0.19/0.22	c intension x[2] != x[43]  using generic constraint 
0.19/0.22	c intension x[2] != x[44]  using generic constraint 
0.19/0.22	c intension x[2] != x[45]  using generic constraint 
0.19/0.22	c intension x[2] != x[46]  using generic constraint 
0.19/0.22	c intension x[2] != x[47]  using generic constraint 
0.19/0.23	c intension x[2] != x[48]  using generic constraint 
0.19/0.23	c intension x[2] != x[49]  using generic constraint 
0.19/0.23	c intension x[2] != x[50]  using generic constraint 
0.19/0.23	c intension x[2] != x[51]  using generic constraint 
0.19/0.23	c intension x[2] != x[52]  using generic constraint 
0.19/0.23	c intension x[2] != x[53]  using generic constraint 
0.19/0.23	c intension x[2] != x[54]  using generic constraint 
0.19/0.23	c intension x[2] != x[55]  using generic constraint 
0.19/0.23	c intension x[2] != x[56]  using generic constraint 
0.19/0.23	c intension x[2] != x[57]  using generic constraint 
0.19/0.23	c intension x[2] != x[58]  using generic constraint 
0.19/0.24	c intension x[2] != x[59]  using generic constraint 
0.19/0.24	c intension x[2] != x[60]  using generic constraint 
0.19/0.24	c intension x[2] != x[61]  using generic constraint 
0.19/0.24	c intension x[2] != x[62]  using generic constraint 
0.19/0.24	c intension x[2] != x[63]  using generic constraint 
0.19/0.24	c intension x[3] != x[5]  using generic constraint 
0.19/0.24	c intension x[3] != x[6]  using generic constraint 
0.19/0.24	c intension x[3] != x[7]  using generic constraint 
0.19/0.24	c intension x[3] != x[8]  using generic constraint 
0.19/0.24	c intension x[3] != x[9]  using generic constraint 
0.19/0.24	c intension x[3] != x[10]  using generic constraint 
0.19/0.24	c intension x[3] != x[11]  using generic constraint 
0.19/0.25	c intension x[3] != x[12]  using generic constraint 
0.19/0.25	c intension x[3] != x[13]  using generic constraint 
0.19/0.25	c intension x[3] != x[14]  using generic constraint 
0.19/0.25	c intension x[3] != x[15]  using generic constraint 
0.19/0.25	c intension x[3] != x[16]  using generic constraint 
0.19/0.25	c intension x[3] != x[17]  using generic constraint 
0.19/0.25	c intension x[3] != x[18]  using generic constraint 
0.19/0.25	c intension x[3] != x[19]  using generic constraint 
0.19/0.25	c intension x[3] != x[20]  using generic constraint 
0.19/0.25	c intension x[3] != x[21]  using generic constraint 
0.19/0.25	c intension x[3] != x[22]  using generic constraint 
0.19/0.25	c intension x[3] != x[23]  using generic constraint 
0.19/0.26	c intension x[3] != x[24]  using generic constraint 
0.19/0.26	c intension x[3] != x[25]  using generic constraint 
0.19/0.26	c intension x[3] != x[26]  using generic constraint 
0.19/0.26	c intension x[3] != x[27]  using generic constraint 
0.19/0.26	c intension x[3] != x[28]  using generic constraint 
0.19/0.26	c intension x[3] != x[29]  using generic constraint 
0.19/0.26	c intension x[3] != x[30]  using generic constraint 
0.19/0.26	c intension x[3] != x[31]  using generic constraint 
0.19/0.26	c intension x[3] != x[32]  using generic constraint 
0.19/0.26	c intension x[3] != x[33]  using generic constraint 
0.19/0.26	c intension x[3] != x[34]  using generic constraint 
0.19/0.27	c intension x[3] != x[35]  using generic constraint 
0.19/0.27	c intension x[3] != x[36]  using generic constraint 
0.19/0.27	c intension x[3] != x[37]  using generic constraint 
0.19/0.27	c intension x[3] != x[38]  using generic constraint 
0.19/0.27	c intension x[3] != x[39]  using generic constraint 
0.19/0.27	c intension x[3] != x[40]  using generic constraint 
0.19/0.27	c intension x[3] != x[41]  using generic constraint 
0.19/0.27	c intension x[3] != x[42]  using generic constraint 
0.19/0.27	c intension x[3] != x[43]  using generic constraint 
0.19/0.27	c intension x[3] != x[44]  using generic constraint 
0.19/0.27	c intension x[3] != x[45]  using generic constraint 
0.19/0.27	c intension x[3] != x[46]  using generic constraint 
0.19/0.28	c intension x[3] != x[47]  using generic constraint 
0.19/0.28	c intension x[3] != x[48]  using generic constraint 
0.19/0.28	c intension x[3] != x[49]  using generic constraint 
0.19/0.28	c intension x[3] != x[50]  using generic constraint 
0.19/0.28	c intension x[3] != x[51]  using generic constraint 
0.19/0.28	c intension x[3] != x[52]  using generic constraint 
0.19/0.28	c intension x[3] != x[53]  using generic constraint 
0.19/0.28	c intension x[3] != x[54]  using generic constraint 
0.19/0.28	c intension x[3] != x[55]  using generic constraint 
0.19/0.28	c intension x[3] != x[56]  using generic constraint 
0.19/0.28	c intension x[3] != x[57]  using generic constraint 
0.19/0.29	c intension x[3] != x[58]  using generic constraint 
0.19/0.29	c intension x[3] != x[59]  using generic constraint 
0.19/0.29	c intension x[3] != x[60]  using generic constraint 
0.19/0.29	c intension x[3] != x[61]  using generic constraint 
0.19/0.29	c intension x[3] != x[62]  using generic constraint 
0.19/0.29	c intension x[3] != x[63]  using generic constraint 
0.19/0.29	c intension x[4] != x[6]  using generic constraint 
0.19/0.29	c intension x[4] != x[7]  using generic constraint 
0.19/0.29	c intension x[4] != x[8]  using generic constraint 
0.19/0.29	c intension x[4] != x[9]  using generic constraint 
0.19/0.29	c intension x[4] != x[10]  using generic constraint 
0.19/0.29	c intension x[4] != x[11]  using generic constraint 
0.29/0.30	c intension x[4] != x[12]  using generic constraint 
0.29/0.30	c intension x[4] != x[13]  using generic constraint 
0.29/0.30	c intension x[4] != x[14]  using generic constraint 
0.29/0.30	c intension x[4] != x[15]  using generic constraint 
0.29/0.30	c intension x[4] != x[16]  using generic constraint 
0.29/0.30	c intension x[4] != x[17]  using generic constraint 
0.29/0.30	c intension x[4] != x[18]  using generic constraint 
0.29/0.30	c intension x[4] != x[19]  using generic constraint 
0.29/0.30	c intension x[4] != x[20]  using generic constraint 
0.29/0.30	c intension x[4] != x[21]  using generic constraint 
0.29/0.30	c intension x[4] != x[22]  using generic constraint 
0.29/0.31	c intension x[4] != x[23]  using generic constraint 
0.29/0.31	c intension x[4] != x[24]  using generic constraint 
0.29/0.31	c intension x[4] != x[25]  using generic constraint 
0.29/0.31	c intension x[4] != x[26]  using generic constraint 
0.29/0.31	c intension x[4] != x[27]  using generic constraint 
0.29/0.31	c intension x[4] != x[28]  using generic constraint 
0.29/0.31	c intension x[4] != x[29]  using generic constraint 
0.29/0.31	c intension x[4] != x[30]  using generic constraint 
0.29/0.31	c intension x[4] != x[31]  using generic constraint 
0.29/0.31	c intension x[4] != x[32]  using generic constraint 
0.29/0.31	c intension x[4] != x[33]  using generic constraint 
0.29/0.31	c intension x[4] != x[34]  using generic constraint 
0.29/0.32	c intension x[4] != x[35]  using generic constraint 
0.29/0.32	c intension x[4] != x[36]  using generic constraint 
0.29/0.32	c intension x[4] != x[37]  using generic constraint 
0.29/0.32	c intension x[4] != x[38]  using generic constraint 
0.29/0.32	c intension x[4] != x[39]  using generic constraint 
0.29/0.32	c intension x[4] != x[40]  using generic constraint 
0.29/0.32	c intension x[4] != x[41]  using generic constraint 
0.29/0.32	c intension x[4] != x[42]  using generic constraint 
0.29/0.32	c intension x[4] != x[43]  using generic constraint 
0.29/0.32	c intension x[4] != x[44]  using generic constraint 
0.29/0.32	c intension x[4] != x[45]  using generic constraint 
0.29/0.33	c intension x[4] != x[46]  using generic constraint 
0.29/0.33	c intension x[4] != x[47]  using generic constraint 
0.29/0.33	c intension x[4] != x[48]  using generic constraint 
0.29/0.33	c intension x[4] != x[49]  using generic constraint 
0.29/0.33	c intension x[4] != x[50]  using generic constraint 
0.29/0.33	c intension x[4] != x[51]  using generic constraint 
0.29/0.33	c intension x[4] != x[52]  using generic constraint 
0.29/0.33	c intension x[4] != x[53]  using generic constraint 
0.29/0.33	c intension x[4] != x[54]  using generic constraint 
0.29/0.33	c intension x[4] != x[55]  using generic constraint 
0.29/0.33	c intension x[4] != x[56]  using generic constraint 
0.29/0.33	c intension x[4] != x[57]  using generic constraint 
0.29/0.34	c intension x[4] != x[58]  using generic constraint 
0.29/0.34	c intension x[4] != x[59]  using generic constraint 
0.29/0.34	c intension x[4] != x[60]  using generic constraint 
0.29/0.34	c intension x[4] != x[61]  using generic constraint 
0.29/0.34	c intension x[4] != x[62]  using generic constraint 
0.29/0.34	c intension x[4] != x[63]  using generic constraint 
0.29/0.34	c intension x[5] != x[7]  using generic constraint 
0.29/0.34	c intension x[5] != x[8]  using generic constraint 
0.29/0.34	c intension x[5] != x[9]  using generic constraint 
0.29/0.34	c intension x[5] != x[10]  using generic constraint 
0.29/0.34	c intension x[5] != x[11]  using generic constraint 
0.29/0.35	c intension x[5] != x[12]  using generic constraint 
0.29/0.35	c intension x[5] != x[13]  using generic constraint 
0.29/0.35	c intension x[5] != x[14]  using generic constraint 
0.29/0.35	c intension x[5] != x[15]  using generic constraint 
0.29/0.35	c intension x[5] != x[16]  using generic constraint 
0.29/0.35	c intension x[5] != x[17]  using generic constraint 
0.29/0.35	c intension x[5] != x[18]  using generic constraint 
0.29/0.35	c intension x[5] != x[19]  using generic constraint 
0.29/0.35	c intension x[5] != x[20]  using generic constraint 
0.29/0.35	c intension x[5] != x[21]  using generic constraint 
0.29/0.35	c intension x[5] != x[22]  using generic constraint 
0.29/0.35	c intension x[5] != x[23]  using generic constraint 
0.29/0.36	c intension x[5] != x[24]  using generic constraint 
0.29/0.36	c intension x[5] != x[25]  using generic constraint 
0.29/0.36	c intension x[5] != x[26]  using generic constraint 
0.29/0.36	c intension x[5] != x[27]  using generic constraint 
0.29/0.36	c intension x[5] != x[28]  using generic constraint 
0.29/0.36	c intension x[5] != x[29]  using generic constraint 
0.29/0.36	c intension x[5] != x[30]  using generic constraint 
0.29/0.36	c intension x[5] != x[31]  using generic constraint 
0.29/0.36	c intension x[5] != x[32]  using generic constraint 
0.29/0.36	c intension x[5] != x[33]  using generic constraint 
0.29/0.36	c intension x[5] != x[34]  using generic constraint 
0.29/0.37	c intension x[5] != x[35]  using generic constraint 
0.29/0.37	c intension x[5] != x[36]  using generic constraint 
0.29/0.37	c intension x[5] != x[37]  using generic constraint 
0.29/0.37	c intension x[5] != x[38]  using generic constraint 
0.29/0.37	c intension x[5] != x[39]  using generic constraint 
0.29/0.37	c intension x[5] != x[40]  using generic constraint 
0.29/0.37	c intension x[5] != x[41]  using generic constraint 
0.29/0.37	c intension x[5] != x[42]  using generic constraint 
0.29/0.37	c intension x[5] != x[43]  using generic constraint 
0.29/0.37	c intension x[5] != x[44]  using generic constraint 
0.29/0.37	c intension x[5] != x[45]  using generic constraint 
0.29/0.37	c intension x[5] != x[46]  using generic constraint 
0.29/0.38	c intension x[5] != x[47]  using generic constraint 
0.29/0.38	c intension x[5] != x[48]  using generic constraint 
0.29/0.38	c intension x[5] != x[49]  using generic constraint 
0.29/0.38	c intension x[5] != x[50]  using generic constraint 
0.29/0.38	c intension x[5] != x[51]  using generic constraint 
0.29/0.38	c intension x[5] != x[52]  using generic constraint 
0.29/0.38	c intension x[5] != x[53]  using generic constraint 
0.29/0.38	c intension x[5] != x[54]  using generic constraint 
0.29/0.38	c intension x[5] != x[55]  using generic constraint 
0.29/0.38	c intension x[5] != x[56]  using generic constraint 
0.29/0.38	c intension x[5] != x[57]  using generic constraint 
0.29/0.39	c intension x[5] != x[58]  using generic constraint 
0.29/0.39	c intension x[5] != x[59]  using generic constraint 
0.29/0.39	c intension x[5] != x[60]  using generic constraint 
0.29/0.39	c intension x[5] != x[61]  using generic constraint 
0.29/0.39	c intension x[5] != x[62]  using generic constraint 
0.29/0.39	c intension x[5] != x[63]  using generic constraint 
0.29/0.39	c intension x[6] != x[8]  using generic constraint 
0.29/0.39	c intension x[6] != x[9]  using generic constraint 
0.29/0.39	c intension x[6] != x[10]  using generic constraint 
0.29/0.39	c intension x[6] != x[11]  using generic constraint 
0.29/0.39	c intension x[6] != x[12]  using generic constraint 
0.29/0.39	c intension x[6] != x[13]  using generic constraint 
0.29/0.40	c intension x[6] != x[14]  using generic constraint 
0.39/0.40	c intension x[6] != x[15]  using generic constraint 
0.39/0.40	c intension x[6] != x[16]  using generic constraint 
0.39/0.40	c intension x[6] != x[17]  using generic constraint 
0.39/0.40	c intension x[6] != x[18]  using generic constraint 
0.39/0.40	c intension x[6] != x[19]  using generic constraint 
0.39/0.40	c intension x[6] != x[20]  using generic constraint 
0.39/0.40	c intension x[6] != x[21]  using generic constraint 
0.39/0.40	c intension x[6] != x[22]  using generic constraint 
0.39/0.40	c intension x[6] != x[23]  using generic constraint 
0.39/0.40	c intension x[6] != x[24]  using generic constraint 
0.39/0.41	c intension x[6] != x[25]  using generic constraint 
0.39/0.41	c intension x[6] != x[26]  using generic constraint 
0.39/0.41	c intension x[6] != x[27]  using generic constraint 
0.39/0.41	c intension x[6] != x[28]  using generic constraint 
0.39/0.41	c intension x[6] != x[29]  using generic constraint 
0.39/0.41	c intension x[6] != x[30]  using generic constraint 
0.39/0.41	c intension x[6] != x[31]  using generic constraint 
0.39/0.41	c intension x[6] != x[32]  using generic constraint 
0.39/0.41	c intension x[6] != x[33]  using generic constraint 
0.39/0.41	c intension x[6] != x[34]  using generic constraint 
0.39/0.41	c intension x[6] != x[35]  using generic constraint 
0.39/0.41	c intension x[6] != x[36]  using generic constraint 
0.39/0.42	c intension x[6] != x[37]  using generic constraint 
0.39/0.42	c intension x[6] != x[38]  using generic constraint 
0.39/0.42	c intension x[6] != x[39]  using generic constraint 
0.39/0.42	c intension x[6] != x[40]  using generic constraint 
0.39/0.42	c intension x[6] != x[41]  using generic constraint 
0.39/0.42	c intension x[6] != x[42]  using generic constraint 
0.39/0.42	c intension x[6] != x[43]  using generic constraint 
0.39/0.42	c intension x[6] != x[44]  using generic constraint 
0.39/0.42	c intension x[6] != x[45]  using generic constraint 
0.39/0.42	c intension x[6] != x[46]  using generic constraint 
0.39/0.42	c intension x[6] != x[47]  using generic constraint 
0.39/0.43	c intension x[6] != x[48]  using generic constraint 
0.39/0.43	c intension x[6] != x[49]  using generic constraint 
0.39/0.43	c intension x[6] != x[50]  using generic constraint 
0.39/0.43	c intension x[6] != x[51]  using generic constraint 
0.39/0.43	c intension x[6] != x[52]  using generic constraint 
0.39/0.43	c intension x[6] != x[53]  using generic constraint 
0.39/0.43	c intension x[6] != x[54]  using generic constraint 
0.39/0.43	c intension x[6] != x[55]  using generic constraint 
0.39/0.43	c intension x[6] != x[56]  using generic constraint 
0.39/0.43	c intension x[6] != x[57]  using generic constraint 
0.39/0.43	c intension x[6] != x[58]  using generic constraint 
0.39/0.43	c intension x[6] != x[59]  using generic constraint 
0.39/0.44	c intension x[6] != x[60]  using generic constraint 
0.39/0.44	c intension x[6] != x[61]  using generic constraint 
0.39/0.44	c intension x[6] != x[62]  using generic constraint 
0.39/0.44	c intension x[6] != x[63]  using generic constraint 
0.39/0.44	c intension x[7] != x[9]  using generic constraint 
0.39/0.44	c intension x[7] != x[10]  using generic constraint 
0.39/0.44	c intension x[7] != x[11]  using generic constraint 
0.39/0.44	c intension x[7] != x[12]  using generic constraint 
0.39/0.44	c intension x[7] != x[13]  using generic constraint 
0.39/0.44	c intension x[7] != x[14]  using generic constraint 
0.39/0.44	c intension x[7] != x[15]  using generic constraint 
0.39/0.45	c intension x[7] != x[16]  using generic constraint 
0.39/0.45	c intension x[7] != x[17]  using generic constraint 
0.39/0.45	c intension x[7] != x[18]  using generic constraint 
0.39/0.45	c intension x[7] != x[19]  using generic constraint 
0.39/0.45	c intension x[7] != x[20]  using generic constraint 
0.39/0.45	c intension x[7] != x[21]  using generic constraint 
0.39/0.45	c intension x[7] != x[22]  using generic constraint 
0.39/0.45	c intension x[7] != x[23]  using generic constraint 
0.39/0.45	c intension x[7] != x[24]  using generic constraint 
0.39/0.45	c intension x[7] != x[25]  using generic constraint 
0.39/0.45	c intension x[7] != x[26]  using generic constraint 
0.39/0.45	c intension x[7] != x[27]  using generic constraint 
0.39/0.46	c intension x[7] != x[28]  using generic constraint 
0.39/0.46	c intension x[7] != x[29]  using generic constraint 
0.39/0.46	c intension x[7] != x[30]  using generic constraint 
0.39/0.46	c intension x[7] != x[31]  using generic constraint 
0.39/0.46	c intension x[7] != x[32]  using generic constraint 
0.39/0.46	c intension x[7] != x[33]  using generic constraint 
0.39/0.46	c intension x[7] != x[34]  using generic constraint 
0.39/0.46	c intension x[7] != x[35]  using generic constraint 
0.39/0.46	c intension x[7] != x[36]  using generic constraint 
0.39/0.46	c intension x[7] != x[37]  using generic constraint 
0.39/0.46	c intension x[7] != x[38]  using generic constraint 
0.39/0.47	c intension x[7] != x[39]  using generic constraint 
0.39/0.47	c intension x[7] != x[40]  using generic constraint 
0.39/0.47	c intension x[7] != x[41]  using generic constraint 
0.39/0.47	c intension x[7] != x[42]  using generic constraint 
0.39/0.47	c intension x[7] != x[43]  using generic constraint 
0.39/0.47	c intension x[7] != x[44]  using generic constraint 
0.39/0.47	c intension x[7] != x[45]  using generic constraint 
0.39/0.47	c intension x[7] != x[46]  using generic constraint 
0.39/0.47	c intension x[7] != x[47]  using generic constraint 
0.39/0.47	c intension x[7] != x[48]  using generic constraint 
0.39/0.47	c intension x[7] != x[49]  using generic constraint 
0.39/0.47	c intension x[7] != x[50]  using generic constraint 
0.39/0.48	c intension x[7] != x[51]  using generic constraint 
0.39/0.48	c intension x[7] != x[52]  using generic constraint 
0.39/0.48	c intension x[7] != x[53]  using generic constraint 
0.39/0.48	c intension x[7] != x[54]  using generic constraint 
0.39/0.48	c intension x[7] != x[55]  using generic constraint 
0.39/0.48	c intension x[7] != x[56]  using generic constraint 
0.39/0.48	c intension x[7] != x[57]  using generic constraint 
0.39/0.48	c intension x[7] != x[58]  using generic constraint 
0.39/0.48	c intension x[7] != x[59]  using generic constraint 
0.39/0.48	c intension x[7] != x[60]  using generic constraint 
0.39/0.48	c intension x[7] != x[61]  using generic constraint 
0.39/0.49	c intension x[7] != x[62]  using generic constraint 
0.39/0.49	c intension x[7] != x[63]  using generic constraint 
0.39/0.49	c intension x[8] != x[10]  using generic constraint 
0.39/0.49	c intension x[8] != x[11]  using generic constraint 
0.39/0.49	c intension x[8] != x[12]  using generic constraint 
0.39/0.49	c intension x[8] != x[13]  using generic constraint 
0.39/0.49	c intension x[8] != x[14]  using generic constraint 
0.39/0.49	c intension x[8] != x[15]  using generic constraint 
0.39/0.49	c intension x[8] != x[16]  using generic constraint 
0.39/0.49	c intension x[8] != x[17]  using generic constraint 
0.39/0.49	c intension x[8] != x[18]  using generic constraint 
0.39/0.50	c intension x[8] != x[19]  using generic constraint 
0.49/0.50	c intension x[8] != x[20]  using generic constraint 
0.49/0.50	c intension x[8] != x[21]  using generic constraint 
0.49/0.50	c intension x[8] != x[22]  using generic constraint 
0.49/0.50	c intension x[8] != x[23]  using generic constraint 
0.49/0.50	c intension x[8] != x[24]  using generic constraint 
0.49/0.50	c intension x[8] != x[25]  using generic constraint 
0.49/0.50	c intension x[8] != x[26]  using generic constraint 
0.49/0.50	c intension x[8] != x[27]  using generic constraint 
0.49/0.50	c intension x[8] != x[28]  using generic constraint 
0.49/0.50	c intension x[8] != x[29]  using generic constraint 
0.49/0.50	c intension x[8] != x[30]  using generic constraint 
0.49/0.51	c intension x[8] != x[31]  using generic constraint 
0.49/0.51	c intension x[8] != x[32]  using generic constraint 
0.49/0.51	c intension x[8] != x[33]  using generic constraint 
0.49/0.51	c intension x[8] != x[34]  using generic constraint 
0.49/0.51	c intension x[8] != x[35]  using generic constraint 
0.49/0.51	c intension x[8] != x[36]  using generic constraint 
0.49/0.51	c intension x[8] != x[37]  using generic constraint 
0.49/0.51	c intension x[8] != x[38]  using generic constraint 
0.49/0.51	c intension x[8] != x[39]  using generic constraint 
0.49/0.51	c intension x[8] != x[40]  using generic constraint 
0.49/0.51	c intension x[8] != x[41]  using generic constraint 
0.49/0.52	c intension x[8] != x[42]  using generic constraint 
0.49/0.52	c intension x[8] != x[43]  using generic constraint 
0.49/0.52	c intension x[8] != x[44]  using generic constraint 
0.49/0.52	c intension x[8] != x[45]  using generic constraint 
0.49/0.52	c intension x[8] != x[46]  using generic constraint 
0.49/0.52	c intension x[8] != x[47]  using generic constraint 
0.49/0.52	c intension x[8] != x[48]  using generic constraint 
0.49/0.52	c intension x[8] != x[49]  using generic constraint 
0.49/0.52	c intension x[8] != x[50]  using generic constraint 
0.49/0.52	c intension x[8] != x[51]  using generic constraint 
0.49/0.52	c intension x[8] != x[52]  using generic constraint 
0.49/0.52	c intension x[8] != x[53]  using generic constraint 
0.49/0.53	c intension x[8] != x[54]  using generic constraint 
0.49/0.53	c intension x[8] != x[55]  using generic constraint 
0.49/0.53	c intension x[8] != x[56]  using generic constraint 
0.49/0.53	c intension x[8] != x[57]  using generic constraint 
0.49/0.53	c intension x[8] != x[58]  using generic constraint 
0.49/0.53	c intension x[8] != x[59]  using generic constraint 
0.49/0.53	c intension x[8] != x[60]  using generic constraint 
0.49/0.53	c intension x[8] != x[61]  using generic constraint 
0.49/0.53	c intension x[8] != x[62]  using generic constraint 
0.49/0.53	c intension x[8] != x[63]  using generic constraint 
0.49/0.53	c intension x[9] != x[11]  using generic constraint 
0.49/0.54	c intension x[9] != x[12]  using generic constraint 
0.49/0.54	c intension x[9] != x[13]  using generic constraint 
0.49/0.54	c intension x[9] != x[14]  using generic constraint 
0.49/0.54	c intension x[9] != x[15]  using generic constraint 
0.49/0.54	c intension x[9] != x[16]  using generic constraint 
0.49/0.54	c intension x[9] != x[17]  using generic constraint 
0.49/0.54	c intension x[9] != x[18]  using generic constraint 
0.49/0.54	c intension x[9] != x[19]  using generic constraint 
0.49/0.54	c intension x[9] != x[20]  using generic constraint 
0.49/0.54	c intension x[9] != x[21]  using generic constraint 
0.49/0.54	c intension x[9] != x[22]  using generic constraint 
0.49/0.55	c intension x[9] != x[23]  using generic constraint 
0.49/0.55	c intension x[9] != x[24]  using generic constraint 
0.49/0.55	c intension x[9] != x[25]  using generic constraint 
0.49/0.55	c intension x[9] != x[26]  using generic constraint 
0.49/0.55	c intension x[9] != x[27]  using generic constraint 
0.49/0.55	c intension x[9] != x[28]  using generic constraint 
0.49/0.55	c intension x[9] != x[29]  using generic constraint 
0.49/0.55	c intension x[9] != x[30]  using generic constraint 
0.49/0.55	c intension x[9] != x[31]  using generic constraint 
0.49/0.55	c intension x[9] != x[32]  using generic constraint 
0.49/0.55	c intension x[9] != x[33]  using generic constraint 
0.49/0.55	c intension x[9] != x[34]  using generic constraint 
0.49/0.56	c intension x[9] != x[35]  using generic constraint 
0.49/0.56	c intension x[9] != x[36]  using generic constraint 
0.49/0.56	c intension x[9] != x[37]  using generic constraint 
0.49/0.56	c intension x[9] != x[38]  using generic constraint 
0.49/0.56	c intension x[9] != x[39]  using generic constraint 
0.49/0.56	c intension x[9] != x[40]  using generic constraint 
0.49/0.56	c intension x[9] != x[41]  using generic constraint 
0.49/0.56	c intension x[9] != x[42]  using generic constraint 
0.49/0.56	c intension x[9] != x[43]  using generic constraint 
0.49/0.56	c intension x[9] != x[44]  using generic constraint 
0.49/0.56	c intension x[9] != x[45]  using generic constraint 
0.49/0.57	c intension x[9] != x[46]  using generic constraint 
0.49/0.57	c intension x[9] != x[47]  using generic constraint 
0.49/0.57	c intension x[9] != x[48]  using generic constraint 
0.49/0.57	c intension x[9] != x[49]  using generic constraint 
0.49/0.57	c intension x[9] != x[50]  using generic constraint 
0.49/0.57	c intension x[9] != x[51]  using generic constraint 
0.49/0.57	c intension x[9] != x[52]  using generic constraint 
0.49/0.57	c intension x[9] != x[53]  using generic constraint 
0.49/0.57	c intension x[9] != x[54]  using generic constraint 
0.49/0.57	c intension x[9] != x[55]  using generic constraint 
0.49/0.57	c intension x[9] != x[56]  using generic constraint 
0.49/0.57	c intension x[9] != x[57]  using generic constraint 
0.49/0.58	c intension x[9] != x[58]  using generic constraint 
0.49/0.58	c intension x[9] != x[59]  using generic constraint 
0.49/0.58	c intension x[9] != x[60]  using generic constraint 
0.49/0.58	c intension x[9] != x[61]  using generic constraint 
0.49/0.58	c intension x[9] != x[62]  using generic constraint 
0.49/0.58	c intension x[9] != x[63]  using generic constraint 
0.49/0.58	c intension x[10] != x[12]  using generic constraint 
0.49/0.58	c intension x[10] != x[13]  using generic constraint 
0.49/0.58	c intension x[10] != x[14]  using generic constraint 
0.49/0.58	c intension x[10] != x[15]  using generic constraint 
0.49/0.58	c intension x[10] != x[16]  using generic constraint 
0.49/0.59	c intension x[10] != x[17]  using generic constraint 
0.49/0.59	c intension x[10] != x[18]  using generic constraint 
0.49/0.59	c intension x[10] != x[19]  using generic constraint 
0.49/0.59	c intension x[10] != x[20]  using generic constraint 
0.49/0.59	c intension x[10] != x[21]  using generic constraint 
0.49/0.59	c intension x[10] != x[22]  using generic constraint 
0.49/0.59	c intension x[10] != x[23]  using generic constraint 
0.49/0.59	c intension x[10] != x[24]  using generic constraint 
0.49/0.59	c intension x[10] != x[25]  using generic constraint 
0.49/0.59	c intension x[10] != x[26]  using generic constraint 
0.49/0.59	c intension x[10] != x[27]  using generic constraint 
0.49/0.59	c intension x[10] != x[28]  using generic constraint 
0.59/0.60	c intension x[10] != x[29]  using generic constraint 
0.59/0.60	c intension x[10] != x[30]  using generic constraint 
0.59/0.60	c intension x[10] != x[31]  using generic constraint 
0.59/0.60	c intension x[10] != x[32]  using generic constraint 
0.59/0.60	c intension x[10] != x[33]  using generic constraint 
0.59/0.60	c intension x[10] != x[34]  using generic constraint 
0.59/0.60	c intension x[10] != x[35]  using generic constraint 
0.59/0.60	c intension x[10] != x[36]  using generic constraint 
0.59/0.60	c intension x[10] != x[37]  using generic constraint 
0.59/0.60	c intension x[10] != x[38]  using generic constraint 
0.59/0.60	c intension x[10] != x[39]  using generic constraint 
0.59/0.61	c intension x[10] != x[40]  using generic constraint 
0.59/0.61	c intension x[10] != x[41]  using generic constraint 
0.59/0.61	c intension x[10] != x[42]  using generic constraint 
0.59/0.61	c intension x[10] != x[43]  using generic constraint 
0.59/0.61	c intension x[10] != x[44]  using generic constraint 
0.59/0.61	c intension x[10] != x[45]  using generic constraint 
0.59/0.61	c intension x[10] != x[46]  using generic constraint 
0.59/0.61	c intension x[10] != x[47]  using generic constraint 
0.59/0.61	c intension x[10] != x[48]  using generic constraint 
0.59/0.61	c intension x[10] != x[49]  using generic constraint 
0.59/0.61	c intension x[10] != x[50]  using generic constraint 
0.59/0.62	c intension x[10] != x[51]  using generic constraint 
0.59/0.62	c intension x[10] != x[52]  using generic constraint 
0.59/0.62	c intension x[10] != x[53]  using generic constraint 
0.59/0.62	c intension x[10] != x[54]  using generic constraint 
0.59/0.62	c intension x[10] != x[55]  using generic constraint 
0.59/0.62	c intension x[10] != x[56]  using generic constraint 
0.59/0.62	c intension x[10] != x[57]  using generic constraint 
0.59/0.62	c intension x[10] != x[58]  using generic constraint 
0.59/0.62	c intension x[10] != x[59]  using generic constraint 
0.59/0.62	c intension x[10] != x[60]  using generic constraint 
0.59/0.62	c intension x[10] != x[61]  using generic constraint 
0.59/0.62	c intension x[10] != x[62]  using generic constraint 
0.59/0.63	c intension x[10] != x[63]  using generic constraint 
0.59/0.63	c intension x[11] != x[13]  using generic constraint 
0.59/0.63	c intension x[11] != x[14]  using generic constraint 
0.59/0.63	c intension x[11] != x[15]  using generic constraint 
0.59/0.63	c intension x[11] != x[16]  using generic constraint 
0.59/0.63	c intension x[11] != x[17]  using generic constraint 
0.59/0.63	c intension x[11] != x[18]  using generic constraint 
0.59/0.63	c intension x[11] != x[19]  using generic constraint 
0.59/0.63	c intension x[11] != x[20]  using generic constraint 
0.59/0.63	c intension x[11] != x[21]  using generic constraint 
0.59/0.63	c intension x[11] != x[22]  using generic constraint 
0.59/0.64	c intension x[11] != x[23]  using generic constraint 
0.59/0.64	c intension x[11] != x[24]  using generic constraint 
0.59/0.64	c intension x[11] != x[25]  using generic constraint 
0.59/0.64	c intension x[11] != x[26]  using generic constraint 
0.59/0.64	c intension x[11] != x[27]  using generic constraint 
0.59/0.64	c intension x[11] != x[28]  using generic constraint 
0.59/0.64	c intension x[11] != x[29]  using generic constraint 
0.59/0.64	c intension x[11] != x[30]  using generic constraint 
0.59/0.64	c intension x[11] != x[31]  using generic constraint 
0.59/0.64	c intension x[11] != x[32]  using generic constraint 
0.59/0.64	c intension x[11] != x[33]  using generic constraint 
0.59/0.65	c intension x[11] != x[34]  using generic constraint 
0.59/0.65	c intension x[11] != x[35]  using generic constraint 
0.59/0.65	c intension x[11] != x[36]  using generic constraint 
0.59/0.65	c intension x[11] != x[37]  using generic constraint 
0.59/0.65	c intension x[11] != x[38]  using generic constraint 
0.59/0.65	c intension x[11] != x[39]  using generic constraint 
0.59/0.65	c intension x[11] != x[40]  using generic constraint 
0.59/0.65	c intension x[11] != x[41]  using generic constraint 
0.59/0.65	c intension x[11] != x[42]  using generic constraint 
0.59/0.65	c intension x[11] != x[43]  using generic constraint 
0.59/0.65	c intension x[11] != x[44]  using generic constraint 
0.59/0.65	c intension x[11] != x[45]  using generic constraint 
0.59/0.66	c intension x[11] != x[46]  using generic constraint 
0.59/0.66	c intension x[11] != x[47]  using generic constraint 
0.59/0.66	c intension x[11] != x[48]  using generic constraint 
0.59/0.66	c intension x[11] != x[49]  using generic constraint 
0.59/0.66	c intension x[11] != x[50]  using generic constraint 
0.59/0.66	c intension x[11] != x[51]  using generic constraint 
0.59/0.66	c intension x[11] != x[52]  using generic constraint 
0.59/0.66	c intension x[11] != x[53]  using generic constraint 
0.59/0.66	c intension x[11] != x[54]  using generic constraint 
0.59/0.66	c intension x[11] != x[55]  using generic constraint 
0.59/0.66	c intension x[11] != x[56]  using generic constraint 
0.59/0.67	c intension x[11] != x[57]  using generic constraint 
0.59/0.67	c intension x[11] != x[58]  using generic constraint 
0.59/0.67	c intension x[11] != x[59]  using generic constraint 
0.59/0.67	c intension x[11] != x[60]  using generic constraint 
0.59/0.67	c intension x[11] != x[61]  using generic constraint 
0.59/0.67	c intension x[11] != x[62]  using generic constraint 
0.59/0.67	c intension x[11] != x[63]  using generic constraint 
0.59/0.67	c intension x[12] != x[14]  using generic constraint 
0.59/0.67	c intension x[12] != x[15]  using generic constraint 
0.59/0.67	c intension x[12] != x[16]  using generic constraint 
0.59/0.67	c intension x[12] != x[17]  using generic constraint 
0.59/0.68	c intension x[12] != x[18]  using generic constraint 
0.59/0.68	c intension x[12] != x[19]  using generic constraint 
0.59/0.68	c intension x[12] != x[20]  using generic constraint 
0.59/0.68	c intension x[12] != x[21]  using generic constraint 
0.59/0.68	c intension x[12] != x[22]  using generic constraint 
0.59/0.68	c intension x[12] != x[23]  using generic constraint 
0.59/0.68	c intension x[12] != x[24]  using generic constraint 
0.59/0.68	c intension x[12] != x[25]  using generic constraint 
0.59/0.68	c intension x[12] != x[26]  using generic constraint 
0.59/0.68	c intension x[12] != x[27]  using generic constraint 
0.59/0.68	c intension x[12] != x[28]  using generic constraint 
0.59/0.68	c intension x[12] != x[29]  using generic constraint 
0.59/0.69	c intension x[12] != x[30]  using generic constraint 
0.59/0.69	c intension x[12] != x[31]  using generic constraint 
0.59/0.69	c intension x[12] != x[32]  using generic constraint 
0.59/0.69	c intension x[12] != x[33]  using generic constraint 
0.59/0.69	c intension x[12] != x[34]  using generic constraint 
0.59/0.69	c intension x[12] != x[35]  using generic constraint 
0.59/0.69	c intension x[12] != x[36]  using generic constraint 
0.59/0.69	c intension x[12] != x[37]  using generic constraint 
0.59/0.69	c intension x[12] != x[38]  using generic constraint 
0.59/0.69	c intension x[12] != x[39]  using generic constraint 
0.59/0.69	c intension x[12] != x[40]  using generic constraint 
0.59/0.70	c intension x[12] != x[41]  using generic constraint 
0.69/0.70	c intension x[12] != x[42]  using generic constraint 
0.69/0.70	c intension x[12] != x[43]  using generic constraint 
0.69/0.70	c intension x[12] != x[44]  using generic constraint 
0.69/0.70	c intension x[12] != x[45]  using generic constraint 
0.69/0.70	c intension x[12] != x[46]  using generic constraint 
0.69/0.70	c intension x[12] != x[47]  using generic constraint 
0.69/0.70	c intension x[12] != x[48]  using generic constraint 
0.69/0.70	c intension x[12] != x[49]  using generic constraint 
0.69/0.70	c intension x[12] != x[50]  using generic constraint 
0.69/0.70	c intension x[12] != x[51]  using generic constraint 
0.69/0.71	c intension x[12] != x[52]  using generic constraint 
0.69/0.71	c intension x[12] != x[53]  using generic constraint 
0.69/0.71	c intension x[12] != x[54]  using generic constraint 
0.69/0.71	c intension x[12] != x[55]  using generic constraint 
0.69/0.71	c intension x[12] != x[56]  using generic constraint 
0.69/0.71	c intension x[12] != x[57]  using generic constraint 
0.69/0.71	c intension x[12] != x[58]  using generic constraint 
0.69/0.71	c intension x[12] != x[59]  using generic constraint 
0.69/0.71	c intension x[12] != x[60]  using generic constraint 
0.69/0.71	c intension x[12] != x[61]  using generic constraint 
0.69/0.71	c intension x[12] != x[62]  using generic constraint 
0.69/0.71	c intension x[12] != x[63]  using generic constraint 
0.69/0.72	c intension x[13] != x[15]  using generic constraint 
0.69/0.72	c intension x[13] != x[16]  using generic constraint 
0.69/0.72	c intension x[13] != x[17]  using generic constraint 
0.69/0.72	c intension x[13] != x[18]  using generic constraint 
0.69/0.72	c intension x[13] != x[19]  using generic constraint 
0.69/0.72	c intension x[13] != x[20]  using generic constraint 
0.69/0.72	c intension x[13] != x[21]  using generic constraint 
0.69/0.72	c intension x[13] != x[22]  using generic constraint 
0.69/0.72	c intension x[13] != x[23]  using generic constraint 
0.69/0.72	c intension x[13] != x[24]  using generic constraint 
0.69/0.72	c intension x[13] != x[25]  using generic constraint 
0.69/0.73	c intension x[13] != x[26]  using generic constraint 
0.69/0.73	c intension x[13] != x[27]  using generic constraint 
0.69/0.73	c intension x[13] != x[28]  using generic constraint 
0.69/0.73	c intension x[13] != x[29]  using generic constraint 
0.69/0.73	c intension x[13] != x[30]  using generic constraint 
0.69/0.73	c intension x[13] != x[31]  using generic constraint 
0.69/0.73	c intension x[13] != x[32]  using generic constraint 
0.69/0.73	c intension x[13] != x[33]  using generic constraint 
0.69/0.73	c intension x[13] != x[34]  using generic constraint 
0.69/0.73	c intension x[13] != x[35]  using generic constraint 
0.69/0.73	c intension x[13] != x[36]  using generic constraint 
0.69/0.74	c intension x[13] != x[37]  using generic constraint 
0.69/0.74	c intension x[13] != x[38]  using generic constraint 
0.69/0.74	c intension x[13] != x[39]  using generic constraint 
0.69/0.74	c intension x[13] != x[40]  using generic constraint 
0.69/0.74	c intension x[13] != x[41]  using generic constraint 
0.69/0.74	c intension x[13] != x[42]  using generic constraint 
0.69/0.74	c intension x[13] != x[43]  using generic constraint 
0.69/0.74	c intension x[13] != x[44]  using generic constraint 
0.69/0.74	c intension x[13] != x[45]  using generic constraint 
0.69/0.74	c intension x[13] != x[46]  using generic constraint 
0.69/0.74	c intension x[13] != x[47]  using generic constraint 
0.69/0.74	c intension x[13] != x[48]  using generic constraint 
0.69/0.75	c intension x[13] != x[49]  using generic constraint 
0.69/0.75	c intension x[13] != x[50]  using generic constraint 
0.69/0.75	c intension x[13] != x[51]  using generic constraint 
0.69/0.75	c intension x[13] != x[52]  using generic constraint 
0.69/0.75	c intension x[13] != x[53]  using generic constraint 
0.69/0.75	c intension x[13] != x[54]  using generic constraint 
0.69/0.75	c intension x[13] != x[55]  using generic constraint 
0.69/0.75	c intension x[13] != x[56]  using generic constraint 
0.69/0.75	c intension x[13] != x[57]  using generic constraint 
0.69/0.75	c intension x[13] != x[58]  using generic constraint 
0.69/0.75	c intension x[13] != x[59]  using generic constraint 
0.69/0.76	c intension x[13] != x[60]  using generic constraint 
0.69/0.76	c intension x[13] != x[61]  using generic constraint 
0.69/0.76	c intension x[13] != x[62]  using generic constraint 
0.69/0.76	c intension x[13] != x[63]  using generic constraint 
0.69/0.76	c intension x[14] != x[16]  using generic constraint 
0.69/0.76	c intension x[14] != x[17]  using generic constraint 
0.69/0.76	c intension x[14] != x[18]  using generic constraint 
0.69/0.76	c intension x[14] != x[19]  using generic constraint 
0.69/0.76	c intension x[14] != x[20]  using generic constraint 
0.69/0.76	c intension x[14] != x[21]  using generic constraint 
0.69/0.76	c intension x[14] != x[22]  using generic constraint 
0.69/0.77	c intension x[14] != x[23]  using generic constraint 
0.69/0.77	c intension x[14] != x[24]  using generic constraint 
0.69/0.77	c intension x[14] != x[25]  using generic constraint 
0.69/0.77	c intension x[14] != x[26]  using generic constraint 
0.69/0.77	c intension x[14] != x[27]  using generic constraint 
0.69/0.77	c intension x[14] != x[28]  using generic constraint 
0.69/0.77	c intension x[14] != x[29]  using generic constraint 
0.69/0.77	c intension x[14] != x[30]  using generic constraint 
0.69/0.77	c intension x[14] != x[31]  using generic constraint 
0.69/0.77	c intension x[14] != x[32]  using generic constraint 
0.69/0.77	c intension x[14] != x[33]  using generic constraint 
0.69/0.77	c intension x[14] != x[34]  using generic constraint 
0.69/0.78	c intension x[14] != x[35]  using generic constraint 
0.69/0.78	c intension x[14] != x[36]  using generic constraint 
0.69/0.78	c intension x[14] != x[37]  using generic constraint 
0.69/0.78	c intension x[14] != x[38]  using generic constraint 
0.69/0.78	c intension x[14] != x[39]  using generic constraint 
0.69/0.78	c intension x[14] != x[40]  using generic constraint 
0.69/0.78	c intension x[14] != x[41]  using generic constraint 
0.69/0.78	c intension x[14] != x[42]  using generic constraint 
0.69/0.78	c intension x[14] != x[43]  using generic constraint 
0.69/0.78	c intension x[14] != x[44]  using generic constraint 
0.69/0.78	c intension x[14] != x[45]  using generic constraint 
0.69/0.79	c intension x[14] != x[46]  using generic constraint 
0.69/0.79	c intension x[14] != x[47]  using generic constraint 
0.69/0.79	c intension x[14] != x[48]  using generic constraint 
0.69/0.79	c intension x[14] != x[49]  using generic constraint 
0.69/0.79	c intension x[14] != x[50]  using generic constraint 
0.69/0.79	c intension x[14] != x[51]  using generic constraint 
0.69/0.79	c intension x[14] != x[52]  using generic constraint 
0.69/0.79	c intension x[14] != x[53]  using generic constraint 
0.69/0.79	c intension x[14] != x[54]  using generic constraint 
0.69/0.79	c intension x[14] != x[55]  using generic constraint 
0.69/0.79	c intension x[14] != x[56]  using generic constraint 
0.69/0.80	c intension x[14] != x[57]  using generic constraint 
0.79/0.80	c intension x[14] != x[58]  using generic constraint 
0.79/0.80	c intension x[14] != x[59]  using generic constraint 
0.79/0.80	c intension x[14] != x[60]  using generic constraint 
0.79/0.80	c intension x[14] != x[61]  using generic constraint 
0.79/0.80	c intension x[14] != x[62]  using generic constraint 
0.79/0.80	c intension x[14] != x[63]  using generic constraint 
0.79/0.80	c intension x[15] != x[17]  using generic constraint 
0.79/0.80	c intension x[15] != x[18]  using generic constraint 
0.79/0.80	c intension x[15] != x[19]  using generic constraint 
0.79/0.80	c intension x[15] != x[20]  using generic constraint 
0.79/0.81	c intension x[15] != x[21]  using generic constraint 
0.79/0.81	c intension x[15] != x[22]  using generic constraint 
0.79/0.81	c intension x[15] != x[23]  using generic constraint 
0.79/0.81	c intension x[15] != x[24]  using generic constraint 
0.79/0.81	c intension x[15] != x[25]  using generic constraint 
0.79/0.81	c intension x[15] != x[26]  using generic constraint 
0.79/0.81	c intension x[15] != x[27]  using generic constraint 
0.79/0.81	c intension x[15] != x[28]  using generic constraint 
0.79/0.81	c intension x[15] != x[29]  using generic constraint 
0.79/0.81	c intension x[15] != x[30]  using generic constraint 
0.79/0.81	c intension x[15] != x[31]  using generic constraint 
0.79/0.81	c intension x[15] != x[32]  using generic constraint 
0.79/0.82	c intension x[15] != x[33]  using generic constraint 
0.79/0.82	c intension x[15] != x[34]  using generic constraint 
0.79/0.82	c intension x[15] != x[35]  using generic constraint 
0.79/0.82	c intension x[15] != x[36]  using generic constraint 
0.79/0.82	c intension x[15] != x[37]  using generic constraint 
0.79/0.82	c intension x[15] != x[38]  using generic constraint 
0.79/0.82	c intension x[15] != x[39]  using generic constraint 
0.79/0.82	c intension x[15] != x[40]  using generic constraint 
0.79/0.82	c intension x[15] != x[41]  using generic constraint 
0.79/0.82	c intension x[15] != x[42]  using generic constraint 
0.79/0.82	c intension x[15] != x[43]  using generic constraint 
0.79/0.83	c intension x[15] != x[44]  using generic constraint 
0.79/0.83	c intension x[15] != x[45]  using generic constraint 
0.79/0.83	c intension x[15] != x[46]  using generic constraint 
0.79/0.83	c intension x[15] != x[47]  using generic constraint 
0.79/0.83	c intension x[15] != x[48]  using generic constraint 
0.79/0.83	c intension x[15] != x[49]  using generic constraint 
0.79/0.83	c intension x[15] != x[50]  using generic constraint 
0.79/0.83	c intension x[15] != x[51]  using generic constraint 
0.79/0.83	c intension x[15] != x[52]  using generic constraint 
0.79/0.83	c intension x[15] != x[53]  using generic constraint 
0.79/0.83	c intension x[15] != x[54]  using generic constraint 
0.79/0.84	c intension x[15] != x[55]  using generic constraint 
0.79/0.84	c intension x[15] != x[56]  using generic constraint 
0.79/0.84	c intension x[15] != x[57]  using generic constraint 
0.79/0.84	c intension x[15] != x[58]  using generic constraint 
0.79/0.84	c intension x[15] != x[59]  using generic constraint 
0.79/0.84	c intension x[15] != x[60]  using generic constraint 
0.79/0.84	c intension x[15] != x[61]  using generic constraint 
0.79/0.84	c intension x[15] != x[62]  using generic constraint 
0.79/0.84	c intension x[15] != x[63]  using generic constraint 
0.79/0.84	c intension x[16] != x[18]  using generic constraint 
0.79/0.84	c intension x[16] != x[19]  using generic constraint 
0.79/0.84	c intension x[16] != x[20]  using generic constraint 
0.79/0.85	c intension x[16] != x[21]  using generic constraint 
0.79/0.85	c intension x[16] != x[22]  using generic constraint 
0.79/0.85	c intension x[16] != x[23]  using generic constraint 
0.79/0.85	c intension x[16] != x[24]  using generic constraint 
0.79/0.85	c intension x[16] != x[25]  using generic constraint 
0.79/0.85	c intension x[16] != x[26]  using generic constraint 
0.79/0.85	c intension x[16] != x[27]  using generic constraint 
0.79/0.85	c intension x[16] != x[28]  using generic constraint 
0.79/0.85	c intension x[16] != x[29]  using generic constraint 
0.79/0.85	c intension x[16] != x[30]  using generic constraint 
0.79/0.85	c intension x[16] != x[31]  using generic constraint 
0.79/0.86	c intension x[16] != x[32]  using generic constraint 
0.79/0.86	c intension x[16] != x[33]  using generic constraint 
0.79/0.86	c intension x[16] != x[34]  using generic constraint 
0.79/0.86	c intension x[16] != x[35]  using generic constraint 
0.79/0.86	c intension x[16] != x[36]  using generic constraint 
0.79/0.86	c intension x[16] != x[37]  using generic constraint 
0.79/0.86	c intension x[16] != x[38]  using generic constraint 
0.79/0.86	c intension x[16] != x[39]  using generic constraint 
0.79/0.86	c intension x[16] != x[40]  using generic constraint 
0.79/0.86	c intension x[16] != x[41]  using generic constraint 
0.79/0.86	c intension x[16] != x[42]  using generic constraint 
0.79/0.87	c intension x[16] != x[43]  using generic constraint 
0.79/0.87	c intension x[16] != x[44]  using generic constraint 
0.79/0.87	c intension x[16] != x[45]  using generic constraint 
0.79/0.87	c intension x[16] != x[46]  using generic constraint 
0.79/0.87	c intension x[16] != x[47]  using generic constraint 
0.79/0.87	c intension x[16] != x[48]  using generic constraint 
0.79/0.87	c intension x[16] != x[49]  using generic constraint 
0.79/0.87	c intension x[16] != x[50]  using generic constraint 
0.79/0.87	c intension x[16] != x[51]  using generic constraint 
0.79/0.87	c intension x[16] != x[52]  using generic constraint 
0.79/0.87	c intension x[16] != x[53]  using generic constraint 
0.79/0.87	c intension x[16] != x[54]  using generic constraint 
0.79/0.88	c intension x[16] != x[55]  using generic constraint 
0.79/0.88	c intension x[16] != x[56]  using generic constraint 
0.79/0.88	c intension x[16] != x[57]  using generic constraint 
0.79/0.88	c intension x[16] != x[58]  using generic constraint 
0.79/0.88	c intension x[16] != x[59]  using generic constraint 
0.79/0.88	c intension x[16] != x[60]  using generic constraint 
0.79/0.88	c intension x[16] != x[61]  using generic constraint 
0.79/0.88	c intension x[16] != x[62]  using generic constraint 
0.79/0.88	c intension x[16] != x[63]  using generic constraint 
0.79/0.88	c intension x[17] != x[19]  using generic constraint 
0.79/0.88	c intension x[17] != x[20]  using generic constraint 
0.79/0.89	c intension x[17] != x[21]  using generic constraint 
0.79/0.89	c intension x[17] != x[22]  using generic constraint 
0.79/0.89	c intension x[17] != x[23]  using generic constraint 
0.79/0.89	c intension x[17] != x[24]  using generic constraint 
0.79/0.89	c intension x[17] != x[25]  using generic constraint 
0.79/0.89	c intension x[17] != x[26]  using generic constraint 
0.79/0.89	c intension x[17] != x[27]  using generic constraint 
0.79/0.89	c intension x[17] != x[28]  using generic constraint 
0.79/0.89	c intension x[17] != x[29]  using generic constraint 
0.79/0.89	c intension x[17] != x[30]  using generic constraint 
0.79/0.89	c intension x[17] != x[31]  using generic constraint 
0.79/0.90	c intension x[17] != x[32]  using generic constraint 
0.89/0.90	c intension x[17] != x[33]  using generic constraint 
0.89/0.90	c intension x[17] != x[34]  using generic constraint 
0.89/0.90	c intension x[17] != x[35]  using generic constraint 
0.89/0.90	c intension x[17] != x[36]  using generic constraint 
0.89/0.90	c intension x[17] != x[37]  using generic constraint 
0.89/0.90	c intension x[17] != x[38]  using generic constraint 
0.89/0.90	c intension x[17] != x[39]  using generic constraint 
0.89/0.90	c intension x[17] != x[40]  using generic constraint 
0.89/0.90	c intension x[17] != x[41]  using generic constraint 
0.89/0.90	c intension x[17] != x[42]  using generic constraint 
0.89/0.91	c intension x[17] != x[43]  using generic constraint 
0.89/0.91	c intension x[17] != x[44]  using generic constraint 
0.89/0.91	c intension x[17] != x[45]  using generic constraint 
0.89/0.91	c intension x[17] != x[46]  using generic constraint 
0.89/0.91	c intension x[17] != x[47]  using generic constraint 
0.89/0.91	c intension x[17] != x[48]  using generic constraint 
0.89/0.91	c intension x[17] != x[49]  using generic constraint 
0.89/0.91	c intension x[17] != x[50]  using generic constraint 
0.89/0.91	c intension x[17] != x[51]  using generic constraint 
0.89/0.91	c intension x[17] != x[52]  using generic constraint 
0.89/0.91	c intension x[17] != x[53]  using generic constraint 
0.89/0.91	c intension x[17] != x[54]  using generic constraint 
0.89/0.92	c intension x[17] != x[55]  using generic constraint 
0.89/0.92	c intension x[17] != x[56]  using generic constraint 
0.89/0.92	c intension x[17] != x[57]  using generic constraint 
0.89/0.92	c intension x[17] != x[58]  using generic constraint 
0.89/0.92	c intension x[17] != x[59]  using generic constraint 
0.89/0.92	c intension x[17] != x[60]  using generic constraint 
0.89/0.92	c intension x[17] != x[61]  using generic constraint 
0.89/0.92	c intension x[17] != x[62]  using generic constraint 
0.89/0.92	c intension x[17] != x[63]  using generic constraint 
0.89/0.92	c intension x[18] != x[20]  using generic constraint 
0.89/0.92	c intension x[18] != x[21]  using generic constraint 
0.89/0.93	c intension x[18] != x[22]  using generic constraint 
0.89/0.93	c intension x[18] != x[23]  using generic constraint 
0.89/0.93	c intension x[18] != x[24]  using generic constraint 
0.89/0.93	c intension x[18] != x[25]  using generic constraint 
0.89/0.93	c intension x[18] != x[26]  using generic constraint 
0.89/0.93	c intension x[18] != x[27]  using generic constraint 
0.89/0.93	c intension x[18] != x[28]  using generic constraint 
0.89/0.93	c intension x[18] != x[29]  using generic constraint 
0.89/0.93	c intension x[18] != x[30]  using generic constraint 
0.89/0.93	c intension x[18] != x[31]  using generic constraint 
0.89/0.93	c intension x[18] != x[32]  using generic constraint 
0.89/0.94	c intension x[18] != x[33]  using generic constraint 
0.89/0.94	c intension x[18] != x[34]  using generic constraint 
0.89/0.94	c intension x[18] != x[35]  using generic constraint 
0.89/0.94	c intension x[18] != x[36]  using generic constraint 
0.89/0.94	c intension x[18] != x[37]  using generic constraint 
0.89/0.94	c intension x[18] != x[38]  using generic constraint 
0.89/0.94	c intension x[18] != x[39]  using generic constraint 
0.89/0.94	c intension x[18] != x[40]  using generic constraint 
0.89/0.94	c intension x[18] != x[41]  using generic constraint 
0.89/0.94	c intension x[18] != x[42]  using generic constraint 
0.89/0.94	c intension x[18] != x[43]  using generic constraint 
0.89/0.94	c intension x[18] != x[44]  using generic constraint 
0.89/0.95	c intension x[18] != x[45]  using generic constraint 
0.89/0.95	c intension x[18] != x[46]  using generic constraint 
0.89/0.95	c intension x[18] != x[47]  using generic constraint 
0.89/0.95	c intension x[18] != x[48]  using generic constraint 
0.89/0.95	c intension x[18] != x[49]  using generic constraint 
0.89/0.95	c intension x[18] != x[50]  using generic constraint 
0.89/0.95	c intension x[18] != x[51]  using generic constraint 
0.89/0.95	c intension x[18] != x[52]  using generic constraint 
0.89/0.95	c intension x[18] != x[53]  using generic constraint 
0.89/0.95	c intension x[18] != x[54]  using generic constraint 
0.89/0.95	c intension x[18] != x[55]  using generic constraint 
0.89/0.96	c intension x[18] != x[56]  using generic constraint 
0.89/0.96	c intension x[18] != x[57]  using generic constraint 
0.89/0.96	c intension x[18] != x[58]  using generic constraint 
0.89/0.96	c intension x[18] != x[59]  using generic constraint 
0.89/0.96	c intension x[18] != x[60]  using generic constraint 
0.89/0.96	c intension x[18] != x[61]  using generic constraint 
0.89/0.96	c intension x[18] != x[62]  using generic constraint 
0.89/0.96	c intension x[18] != x[63]  using generic constraint 
0.89/0.96	c intension x[19] != x[21]  using generic constraint 
0.89/0.96	c intension x[19] != x[22]  using generic constraint 
0.89/0.96	c intension x[19] != x[23]  using generic constraint 
0.89/0.97	c intension x[19] != x[24]  using generic constraint 
0.89/0.97	c intension x[19] != x[25]  using generic constraint 
0.89/0.97	c intension x[19] != x[26]  using generic constraint 
0.89/0.97	c intension x[19] != x[27]  using generic constraint 
0.89/0.97	c intension x[19] != x[28]  using generic constraint 
0.89/0.97	c intension x[19] != x[29]  using generic constraint 
0.89/0.97	c intension x[19] != x[30]  using generic constraint 
0.89/0.97	c intension x[19] != x[31]  using generic constraint 
0.89/0.97	c intension x[19] != x[32]  using generic constraint 
0.89/0.97	c intension x[19] != x[33]  using generic constraint 
0.89/0.97	c intension x[19] != x[34]  using generic constraint 
0.89/0.97	c intension x[19] != x[35]  using generic constraint 
0.89/0.98	c intension x[19] != x[36]  using generic constraint 
0.89/0.98	c intension x[19] != x[37]  using generic constraint 
0.89/0.98	c intension x[19] != x[38]  using generic constraint 
0.89/0.98	c intension x[19] != x[39]  using generic constraint 
0.89/0.98	c intension x[19] != x[40]  using generic constraint 
0.89/0.98	c intension x[19] != x[41]  using generic constraint 
0.89/0.98	c intension x[19] != x[42]  using generic constraint 
0.89/0.98	c intension x[19] != x[43]  using generic constraint 
0.89/0.98	c intension x[19] != x[44]  using generic constraint 
0.89/0.98	c intension x[19] != x[45]  using generic constraint 
0.89/0.98	c intension x[19] != x[46]  using generic constraint 
0.89/0.99	c intension x[19] != x[47]  using generic constraint 
0.89/0.99	c intension x[19] != x[48]  using generic constraint 
0.89/0.99	c intension x[19] != x[49]  using generic constraint 
0.89/0.99	c intension x[19] != x[50]  using generic constraint 
0.89/0.99	c intension x[19] != x[51]  using generic constraint 
0.89/0.99	c intension x[19] != x[52]  using generic constraint 
0.89/0.99	c intension x[19] != x[53]  using generic constraint 
0.89/0.99	c intension x[19] != x[54]  using generic constraint 
0.89/0.99	c intension x[19] != x[55]  using generic constraint 
0.89/0.99	c intension x[19] != x[56]  using generic constraint 
0.89/0.99	c intension x[19] != x[57]  using generic constraint 
0.89/1.00	c intension x[19] != x[58]  using generic constraint 
0.99/1.00	c intension x[19] != x[59]  using generic constraint 
0.99/1.00	c intension x[19] != x[60]  using generic constraint 
0.99/1.00	c intension x[19] != x[61]  using generic constraint 
0.99/1.00	c intension x[19] != x[62]  using generic constraint 
0.99/1.00	c intension x[19] != x[63]  using generic constraint 
0.99/1.00	c intension x[20] != x[22]  using generic constraint 
0.99/1.00	c intension x[20] != x[23]  using generic constraint 
0.99/1.00	c intension x[20] != x[24]  using generic constraint 
0.99/1.00	c intension x[20] != x[25]  using generic constraint 
0.99/1.00	c intension x[20] != x[26]  using generic constraint 
0.99/1.01	c intension x[20] != x[27]  using generic constraint 
0.99/1.01	c intension x[20] != x[28]  using generic constraint 
0.99/1.01	c intension x[20] != x[29]  using generic constraint 
0.99/1.01	c intension x[20] != x[30]  using generic constraint 
0.99/1.01	c intension x[20] != x[31]  using generic constraint 
0.99/1.01	c intension x[20] != x[32]  using generic constraint 
0.99/1.01	c intension x[20] != x[33]  using generic constraint 
0.99/1.01	c intension x[20] != x[34]  using generic constraint 
0.99/1.01	c intension x[20] != x[35]  using generic constraint 
0.99/1.01	c intension x[20] != x[36]  using generic constraint 
0.99/1.01	c intension x[20] != x[37]  using generic constraint 
0.99/1.01	c intension x[20] != x[38]  using generic constraint 
0.99/1.02	c intension x[20] != x[39]  using generic constraint 
0.99/1.02	c intension x[20] != x[40]  using generic constraint 
0.99/1.02	c intension x[20] != x[41]  using generic constraint 
0.99/1.02	c intension x[20] != x[42]  using generic constraint 
0.99/1.02	c intension x[20] != x[43]  using generic constraint 
0.99/1.02	c intension x[20] != x[44]  using generic constraint 
0.99/1.02	c intension x[20] != x[45]  using generic constraint 
0.99/1.02	c intension x[20] != x[46]  using generic constraint 
0.99/1.02	c intension x[20] != x[47]  using generic constraint 
0.99/1.02	c intension x[20] != x[48]  using generic constraint 
0.99/1.02	c intension x[20] != x[49]  using generic constraint 
0.99/1.03	c intension x[20] != x[50]  using generic constraint 
0.99/1.03	c intension x[20] != x[51]  using generic constraint 
0.99/1.03	c intension x[20] != x[52]  using generic constraint 
0.99/1.03	c intension x[20] != x[53]  using generic constraint 
0.99/1.03	c intension x[20] != x[54]  using generic constraint 
0.99/1.03	c intension x[20] != x[55]  using generic constraint 
0.99/1.03	c intension x[20] != x[56]  using generic constraint 
0.99/1.03	c intension x[20] != x[57]  using generic constraint 
0.99/1.03	c intension x[20] != x[58]  using generic constraint 
0.99/1.03	c intension x[20] != x[59]  using generic constraint 
0.99/1.03	c intension x[20] != x[60]  using generic constraint 
0.99/1.04	c intension x[20] != x[61]  using generic constraint 
0.99/1.04	c intension x[20] != x[62]  using generic constraint 
0.99/1.04	c intension x[20] != x[63]  using generic constraint 
0.99/1.04	c intension x[21] != x[23]  using generic constraint 
0.99/1.04	c intension x[21] != x[24]  using generic constraint 
0.99/1.04	c intension x[21] != x[25]  using generic constraint 
0.99/1.04	c intension x[21] != x[26]  using generic constraint 
0.99/1.04	c intension x[21] != x[27]  using generic constraint 
0.99/1.04	c intension x[21] != x[28]  using generic constraint 
0.99/1.04	c intension x[21] != x[29]  using generic constraint 
0.99/1.04	c intension x[21] != x[30]  using generic constraint 
0.99/1.05	c intension x[21] != x[31]  using generic constraint 
0.99/1.05	c intension x[21] != x[32]  using generic constraint 
0.99/1.05	c intension x[21] != x[33]  using generic constraint 
0.99/1.05	c intension x[21] != x[34]  using generic constraint 
0.99/1.05	c intension x[21] != x[35]  using generic constraint 
0.99/1.05	c intension x[21] != x[36]  using generic constraint 
0.99/1.05	c intension x[21] != x[37]  using generic constraint 
0.99/1.05	c intension x[21] != x[38]  using generic constraint 
0.99/1.05	c intension x[21] != x[39]  using generic constraint 
0.99/1.05	c intension x[21] != x[40]  using generic constraint 
0.99/1.05	c intension x[21] != x[41]  using generic constraint 
0.99/1.06	c intension x[21] != x[42]  using generic constraint 
0.99/1.06	c intension x[21] != x[43]  using generic constraint 
0.99/1.06	c intension x[21] != x[44]  using generic constraint 
0.99/1.06	c intension x[21] != x[45]  using generic constraint 
0.99/1.06	c intension x[21] != x[46]  using generic constraint 
0.99/1.06	c intension x[21] != x[47]  using generic constraint 
0.99/1.06	c intension x[21] != x[48]  using generic constraint 
0.99/1.06	c intension x[21] != x[49]  using generic constraint 
0.99/1.06	c intension x[21] != x[50]  using generic constraint 
0.99/1.06	c intension x[21] != x[51]  using generic constraint 
0.99/1.06	c intension x[21] != x[52]  using generic constraint 
0.99/1.06	c intension x[21] != x[53]  using generic constraint 
0.99/1.07	c intension x[21] != x[54]  using generic constraint 
0.99/1.07	c intension x[21] != x[55]  using generic constraint 
0.99/1.07	c intension x[21] != x[56]  using generic constraint 
0.99/1.07	c intension x[21] != x[57]  using generic constraint 
0.99/1.07	c intension x[21] != x[58]  using generic constraint 
0.99/1.07	c intension x[21] != x[59]  using generic constraint 
0.99/1.07	c intension x[21] != x[60]  using generic constraint 
0.99/1.07	c intension x[21] != x[61]  using generic constraint 
0.99/1.07	c intension x[21] != x[62]  using generic constraint 
0.99/1.07	c intension x[21] != x[63]  using generic constraint 
0.99/1.07	c intension x[22] != x[24]  using generic constraint 
0.99/1.08	c intension x[22] != x[25]  using generic constraint 
0.99/1.08	c intension x[22] != x[26]  using generic constraint 
0.99/1.08	c intension x[22] != x[27]  using generic constraint 
0.99/1.08	c intension x[22] != x[28]  using generic constraint 
0.99/1.08	c intension x[22] != x[29]  using generic constraint 
0.99/1.08	c intension x[22] != x[30]  using generic constraint 
0.99/1.08	c intension x[22] != x[31]  using generic constraint 
0.99/1.08	c intension x[22] != x[32]  using generic constraint 
0.99/1.08	c intension x[22] != x[33]  using generic constraint 
0.99/1.08	c intension x[22] != x[34]  using generic constraint 
0.99/1.08	c intension x[22] != x[35]  using generic constraint 
0.99/1.09	c intension x[22] != x[36]  using generic constraint 
0.99/1.09	c intension x[22] != x[37]  using generic constraint 
0.99/1.09	c intension x[22] != x[38]  using generic constraint 
0.99/1.09	c intension x[22] != x[39]  using generic constraint 
0.99/1.09	c intension x[22] != x[40]  using generic constraint 
0.99/1.09	c intension x[22] != x[41]  using generic constraint 
0.99/1.09	c intension x[22] != x[42]  using generic constraint 
0.99/1.09	c intension x[22] != x[43]  using generic constraint 
0.99/1.09	c intension x[22] != x[44]  using generic constraint 
0.99/1.09	c intension x[22] != x[45]  using generic constraint 
0.99/1.09	c intension x[22] != x[46]  using generic constraint 
0.99/1.10	c intension x[22] != x[47]  using generic constraint 
0.99/1.10	c intension x[22] != x[48]  using generic constraint 
0.99/1.10	c intension x[22] != x[49]  using generic constraint 
0.99/1.10	c intension x[22] != x[50]  using generic constraint 
0.99/1.10	c intension x[22] != x[51]  using generic constraint 
0.99/1.10	c intension x[22] != x[52]  using generic constraint 
0.99/1.10	c intension x[22] != x[53]  using generic constraint 
0.99/1.10	c intension x[22] != x[54]  using generic constraint 
0.99/1.10	c intension x[22] != x[55]  using generic constraint 
0.99/1.10	c intension x[22] != x[56]  using generic constraint 
1.10/1.10	c intension x[22] != x[57]  using generic constraint 
1.10/1.11	c intension x[22] != x[58]  using generic constraint 
1.10/1.11	c intension x[22] != x[59]  using generic constraint 
1.10/1.11	c intension x[22] != x[60]  using generic constraint 
1.10/1.11	c intension x[22] != x[61]  using generic constraint 
1.10/1.11	c intension x[22] != x[62]  using generic constraint 
1.10/1.11	c intension x[22] != x[63]  using generic constraint 
1.10/1.11	c intension x[23] != x[25]  using generic constraint 
1.10/1.11	c intension x[23] != x[26]  using generic constraint 
1.10/1.11	c intension x[23] != x[27]  using generic constraint 
1.10/1.11	c intension x[23] != x[28]  using generic constraint 
1.10/1.11	c intension x[23] != x[29]  using generic constraint 
1.10/1.11	c intension x[23] != x[30]  using generic constraint 
1.10/1.12	c intension x[23] != x[31]  using generic constraint 
1.10/1.12	c intension x[23] != x[32]  using generic constraint 
1.10/1.12	c intension x[23] != x[33]  using generic constraint 
1.10/1.12	c intension x[23] != x[34]  using generic constraint 
1.10/1.12	c intension x[23] != x[35]  using generic constraint 
1.10/1.12	c intension x[23] != x[36]  using generic constraint 
1.10/1.12	c intension x[23] != x[37]  using generic constraint 
1.10/1.12	c intension x[23] != x[38]  using generic constraint 
1.10/1.12	c intension x[23] != x[39]  using generic constraint 
1.10/1.12	c intension x[23] != x[40]  using generic constraint 
1.10/1.12	c intension x[23] != x[41]  using generic constraint 
1.10/1.13	c intension x[23] != x[42]  using generic constraint 
1.10/1.13	c intension x[23] != x[43]  using generic constraint 
1.10/1.13	c intension x[23] != x[44]  using generic constraint 
1.10/1.13	c intension x[23] != x[45]  using generic constraint 
1.10/1.13	c intension x[23] != x[46]  using generic constraint 
1.10/1.13	c intension x[23] != x[47]  using generic constraint 
1.10/1.13	c intension x[23] != x[48]  using generic constraint 
1.10/1.13	c intension x[23] != x[49]  using generic constraint 
1.10/1.13	c intension x[23] != x[50]  using generic constraint 
1.10/1.13	c intension x[23] != x[51]  using generic constraint 
1.10/1.13	c intension x[23] != x[52]  using generic constraint 
1.10/1.14	c intension x[23] != x[53]  using generic constraint 
1.10/1.14	c intension x[23] != x[54]  using generic constraint 
1.10/1.14	c intension x[23] != x[55]  using generic constraint 
1.10/1.14	c intension x[23] != x[56]  using generic constraint 
1.10/1.14	c intension x[23] != x[57]  using generic constraint 
1.10/1.14	c intension x[23] != x[58]  using generic constraint 
1.10/1.14	c intension x[23] != x[59]  using generic constraint 
1.10/1.14	c intension x[23] != x[60]  using generic constraint 
1.10/1.14	c intension x[23] != x[61]  using generic constraint 
1.10/1.14	c intension x[23] != x[62]  using generic constraint 
1.10/1.14	c intension x[23] != x[63]  using generic constraint 
1.10/1.15	c intension x[24] != x[26]  using generic constraint 
1.10/1.15	c intension x[24] != x[27]  using generic constraint 
1.10/1.15	c intension x[24] != x[28]  using generic constraint 
1.10/1.15	c intension x[24] != x[29]  using generic constraint 
1.10/1.15	c intension x[24] != x[30]  using generic constraint 
1.10/1.15	c intension x[24] != x[31]  using generic constraint 
1.10/1.15	c intension x[24] != x[32]  using generic constraint 
1.10/1.15	c intension x[24] != x[33]  using generic constraint 
1.10/1.15	c intension x[24] != x[34]  using generic constraint 
1.10/1.15	c intension x[24] != x[35]  using generic constraint 
1.10/1.15	c intension x[24] != x[36]  using generic constraint 
1.10/1.16	c intension x[24] != x[37]  using generic constraint 
1.10/1.16	c intension x[24] != x[38]  using generic constraint 
1.10/1.16	c intension x[24] != x[39]  using generic constraint 
1.10/1.16	c intension x[24] != x[40]  using generic constraint 
1.10/1.16	c intension x[24] != x[41]  using generic constraint 
1.10/1.16	c intension x[24] != x[42]  using generic constraint 
1.10/1.16	c intension x[24] != x[43]  using generic constraint 
1.10/1.16	c intension x[24] != x[44]  using generic constraint 
1.10/1.16	c intension x[24] != x[45]  using generic constraint 
1.10/1.16	c intension x[24] != x[46]  using generic constraint 
1.10/1.16	c intension x[24] != x[47]  using generic constraint 
1.10/1.17	c intension x[24] != x[48]  using generic constraint 
1.10/1.17	c intension x[24] != x[49]  using generic constraint 
1.10/1.17	c intension x[24] != x[50]  using generic constraint 
1.10/1.17	c intension x[24] != x[51]  using generic constraint 
1.10/1.17	c intension x[24] != x[52]  using generic constraint 
1.10/1.17	c intension x[24] != x[53]  using generic constraint 
1.10/1.17	c intension x[24] != x[54]  using generic constraint 
1.10/1.17	c intension x[24] != x[55]  using generic constraint 
1.10/1.17	c intension x[24] != x[56]  using generic constraint 
1.10/1.17	c intension x[24] != x[57]  using generic constraint 
1.10/1.17	c intension x[24] != x[58]  using generic constraint 
1.10/1.17	c intension x[24] != x[59]  using generic constraint 
1.10/1.18	c intension x[24] != x[60]  using generic constraint 
1.10/1.18	c intension x[24] != x[61]  using generic constraint 
1.10/1.18	c intension x[24] != x[62]  using generic constraint 
1.10/1.18	c intension x[24] != x[63]  using generic constraint 
1.10/1.18	c intension x[25] != x[27]  using generic constraint 
1.10/1.18	c intension x[25] != x[28]  using generic constraint 
1.10/1.18	c intension x[25] != x[29]  using generic constraint 
1.10/1.18	c intension x[25] != x[30]  using generic constraint 
1.10/1.18	c intension x[25] != x[31]  using generic constraint 
1.10/1.18	c intension x[25] != x[32]  using generic constraint 
1.10/1.18	c intension x[25] != x[33]  using generic constraint 
1.10/1.19	c intension x[25] != x[34]  using generic constraint 
1.10/1.19	c intension x[25] != x[35]  using generic constraint 
1.10/1.19	c intension x[25] != x[36]  using generic constraint 
1.10/1.19	c intension x[25] != x[37]  using generic constraint 
1.10/1.19	c intension x[25] != x[38]  using generic constraint 
1.10/1.19	c intension x[25] != x[39]  using generic constraint 
1.10/1.19	c intension x[25] != x[40]  using generic constraint 
1.10/1.19	c intension x[25] != x[41]  using generic constraint 
1.10/1.19	c intension x[25] != x[42]  using generic constraint 
1.10/1.19	c intension x[25] != x[43]  using generic constraint 
1.10/1.19	c intension x[25] != x[44]  using generic constraint 
1.10/1.20	c intension x[25] != x[45]  using generic constraint 
1.10/1.20	c intension x[25] != x[46]  using generic constraint 
1.10/1.20	c intension x[25] != x[47]  using generic constraint 
1.10/1.20	c intension x[25] != x[48]  using generic constraint 
1.10/1.20	c intension x[25] != x[49]  using generic constraint 
1.10/1.20	c intension x[25] != x[50]  using generic constraint 
1.10/1.20	c intension x[25] != x[51]  using generic constraint 
1.10/1.20	c intension x[25] != x[52]  using generic constraint 
1.10/1.20	c intension x[25] != x[53]  using generic constraint 
1.20/1.20	c intension x[25] != x[54]  using generic constraint 
1.20/1.20	c intension x[25] != x[55]  using generic constraint 
1.20/1.21	c intension x[25] != x[56]  using generic constraint 
1.20/1.21	c intension x[25] != x[57]  using generic constraint 
1.20/1.21	c intension x[25] != x[58]  using generic constraint 
1.20/1.21	c intension x[25] != x[59]  using generic constraint 
1.20/1.21	c intension x[25] != x[60]  using generic constraint 
1.20/1.21	c intension x[25] != x[61]  using generic constraint 
1.20/1.21	c intension x[25] != x[62]  using generic constraint 
1.20/1.21	c intension x[25] != x[63]  using generic constraint 
1.20/1.21	c intension x[26] != x[28]  using generic constraint 
1.20/1.21	c intension x[26] != x[29]  using generic constraint 
1.20/1.21	c intension x[26] != x[30]  using generic constraint 
1.20/1.22	c intension x[26] != x[31]  using generic constraint 
1.20/1.22	c intension x[26] != x[32]  using generic constraint 
1.20/1.22	c intension x[26] != x[33]  using generic constraint 
1.20/1.22	c intension x[26] != x[34]  using generic constraint 
1.20/1.22	c intension x[26] != x[35]  using generic constraint 
1.20/1.22	c intension x[26] != x[36]  using generic constraint 
1.20/1.22	c intension x[26] != x[37]  using generic constraint 
1.20/1.22	c intension x[26] != x[38]  using generic constraint 
1.20/1.22	c intension x[26] != x[39]  using generic constraint 
1.20/1.22	c intension x[26] != x[40]  using generic constraint 
1.20/1.22	c intension x[26] != x[41]  using generic constraint 
1.20/1.23	c intension x[26] != x[42]  using generic constraint 
1.20/1.23	c intension x[26] != x[43]  using generic constraint 
1.20/1.23	c intension x[26] != x[44]  using generic constraint 
1.20/1.23	c intension x[26] != x[45]  using generic constraint 
1.20/1.23	c intension x[26] != x[46]  using generic constraint 
1.20/1.23	c intension x[26] != x[47]  using generic constraint 
1.20/1.23	c intension x[26] != x[48]  using generic constraint 
1.20/1.23	c intension x[26] != x[49]  using generic constraint 
1.20/1.23	c intension x[26] != x[50]  using generic constraint 
1.20/1.23	c intension x[26] != x[51]  using generic constraint 
1.20/1.23	c intension x[26] != x[52]  using generic constraint 
1.20/1.24	c intension x[26] != x[53]  using generic constraint 
1.20/1.24	c intension x[26] != x[54]  using generic constraint 
1.20/1.24	c intension x[26] != x[55]  using generic constraint 
1.20/1.24	c intension x[26] != x[56]  using generic constraint 
1.20/1.24	c intension x[26] != x[57]  using generic constraint 
1.20/1.24	c intension x[26] != x[58]  using generic constraint 
1.20/1.24	c intension x[26] != x[59]  using generic constraint 
1.20/1.24	c intension x[26] != x[60]  using generic constraint 
1.20/1.24	c intension x[26] != x[61]  using generic constraint 
1.20/1.24	c intension x[26] != x[62]  using generic constraint 
1.20/1.24	c intension x[26] != x[63]  using generic constraint 
1.20/1.25	c intension x[27] != x[29]  using generic constraint 
1.20/1.25	c intension x[27] != x[30]  using generic constraint 
1.20/1.25	c intension x[27] != x[31]  using generic constraint 
1.20/1.25	c intension x[27] != x[32]  using generic constraint 
1.20/1.25	c intension x[27] != x[33]  using generic constraint 
1.20/1.25	c intension x[27] != x[34]  using generic constraint 
1.20/1.25	c intension x[27] != x[35]  using generic constraint 
1.20/1.25	c intension x[27] != x[36]  using generic constraint 
1.20/1.25	c intension x[27] != x[37]  using generic constraint 
1.20/1.25	c intension x[27] != x[38]  using generic constraint 
1.20/1.25	c intension x[27] != x[39]  using generic constraint 
1.20/1.26	c intension x[27] != x[40]  using generic constraint 
1.20/1.26	c intension x[27] != x[41]  using generic constraint 
1.20/1.26	c intension x[27] != x[42]  using generic constraint 
1.20/1.26	c intension x[27] != x[43]  using generic constraint 
1.20/1.26	c intension x[27] != x[44]  using generic constraint 
1.20/1.26	c intension x[27] != x[45]  using generic constraint 
1.20/1.26	c intension x[27] != x[46]  using generic constraint 
1.20/1.26	c intension x[27] != x[47]  using generic constraint 
1.20/1.26	c intension x[27] != x[48]  using generic constraint 
1.20/1.26	c intension x[27] != x[49]  using generic constraint 
1.20/1.26	c intension x[27] != x[50]  using generic constraint 
1.20/1.26	c intension x[27] != x[51]  using generic constraint 
1.20/1.27	c intension x[27] != x[52]  using generic constraint 
1.20/1.27	c intension x[27] != x[53]  using generic constraint 
1.20/1.27	c intension x[27] != x[54]  using generic constraint 
1.20/1.27	c intension x[27] != x[55]  using generic constraint 
1.20/1.27	c intension x[27] != x[56]  using generic constraint 
1.20/1.27	c intension x[27] != x[57]  using generic constraint 
1.20/1.27	c intension x[27] != x[58]  using generic constraint 
1.20/1.27	c intension x[27] != x[59]  using generic constraint 
1.20/1.27	c intension x[27] != x[60]  using generic constraint 
1.20/1.27	c intension x[27] != x[61]  using generic constraint 
1.20/1.27	c intension x[27] != x[62]  using generic constraint 
1.20/1.28	c intension x[27] != x[63]  using generic constraint 
1.20/1.28	c intension x[28] != x[30]  using generic constraint 
1.20/1.28	c intension x[28] != x[31]  using generic constraint 
1.20/1.28	c intension x[28] != x[32]  using generic constraint 
1.20/1.28	c intension x[28] != x[33]  using generic constraint 
1.20/1.28	c intension x[28] != x[34]  using generic constraint 
1.20/1.28	c intension x[28] != x[35]  using generic constraint 
1.20/1.28	c intension x[28] != x[36]  using generic constraint 
1.20/1.28	c intension x[28] != x[37]  using generic constraint 
1.20/1.28	c intension x[28] != x[38]  using generic constraint 
1.20/1.28	c intension x[28] != x[39]  using generic constraint 
1.20/1.29	c intension x[28] != x[40]  using generic constraint 
1.20/1.29	c intension x[28] != x[41]  using generic constraint 
1.20/1.29	c intension x[28] != x[42]  using generic constraint 
1.20/1.29	c intension x[28] != x[43]  using generic constraint 
1.20/1.29	c intension x[28] != x[44]  using generic constraint 
1.20/1.29	c intension x[28] != x[45]  using generic constraint 
1.20/1.29	c intension x[28] != x[46]  using generic constraint 
1.20/1.29	c intension x[28] != x[47]  using generic constraint 
1.20/1.29	c intension x[28] != x[48]  using generic constraint 
1.20/1.29	c intension x[28] != x[49]  using generic constraint 
1.20/1.29	c intension x[28] != x[50]  using generic constraint 
1.20/1.30	c intension x[28] != x[51]  using generic constraint 
1.29/1.30	c intension x[28] != x[52]  using generic constraint 
1.29/1.30	c intension x[28] != x[53]  using generic constraint 
1.29/1.30	c intension x[28] != x[54]  using generic constraint 
1.29/1.30	c intension x[28] != x[55]  using generic constraint 
1.29/1.30	c intension x[28] != x[56]  using generic constraint 
1.29/1.30	c intension x[28] != x[57]  using generic constraint 
1.29/1.30	c intension x[28] != x[58]  using generic constraint 
1.29/1.30	c intension x[28] != x[59]  using generic constraint 
1.29/1.30	c intension x[28] != x[60]  using generic constraint 
1.29/1.30	c intension x[28] != x[61]  using generic constraint 
1.29/1.31	c intension x[28] != x[62]  using generic constraint 
1.29/1.31	c intension x[28] != x[63]  using generic constraint 
1.29/1.31	c intension x[29] != x[31]  using generic constraint 
1.29/1.31	c intension x[29] != x[32]  using generic constraint 
1.29/1.31	c intension x[29] != x[33]  using generic constraint 
1.29/1.31	c intension x[29] != x[34]  using generic constraint 
1.29/1.31	c intension x[29] != x[35]  using generic constraint 
1.29/1.31	c intension x[29] != x[36]  using generic constraint 
1.29/1.31	c intension x[29] != x[37]  using generic constraint 
1.29/1.31	c intension x[29] != x[38]  using generic constraint 
1.29/1.31	c intension x[29] != x[39]  using generic constraint 
1.29/1.32	c intension x[29] != x[40]  using generic constraint 
1.29/1.32	c intension x[29] != x[41]  using generic constraint 
1.29/1.32	c intension x[29] != x[42]  using generic constraint 
1.29/1.32	c intension x[29] != x[43]  using generic constraint 
1.29/1.32	c intension x[29] != x[44]  using generic constraint 
1.29/1.32	c intension x[29] != x[45]  using generic constraint 
1.29/1.32	c intension x[29] != x[46]  using generic constraint 
1.29/1.32	c intension x[29] != x[47]  using generic constraint 
1.29/1.32	c intension x[29] != x[48]  using generic constraint 
1.29/1.32	c intension x[29] != x[49]  using generic constraint 
1.29/1.32	c intension x[29] != x[50]  using generic constraint 
1.29/1.33	c intension x[29] != x[51]  using generic constraint 
1.29/1.33	c intension x[29] != x[52]  using generic constraint 
1.29/1.33	c intension x[29] != x[53]  using generic constraint 
1.29/1.33	c intension x[29] != x[54]  using generic constraint 
1.29/1.33	c intension x[29] != x[55]  using generic constraint 
1.29/1.33	c intension x[29] != x[56]  using generic constraint 
1.29/1.33	c intension x[29] != x[57]  using generic constraint 
1.29/1.33	c intension x[29] != x[58]  using generic constraint 
1.29/1.33	c intension x[29] != x[59]  using generic constraint 
1.29/1.33	c intension x[29] != x[60]  using generic constraint 
1.29/1.33	c intension x[29] != x[61]  using generic constraint 
1.29/1.34	c intension x[29] != x[62]  using generic constraint 
1.29/1.34	c intension x[29] != x[63]  using generic constraint 
1.29/1.34	c intension x[30] != x[32]  using generic constraint 
1.29/1.34	c intension x[30] != x[33]  using generic constraint 
1.29/1.34	c intension x[30] != x[34]  using generic constraint 
1.29/1.34	c intension x[30] != x[35]  using generic constraint 
1.29/1.34	c intension x[30] != x[36]  using generic constraint 
1.29/1.34	c intension x[30] != x[37]  using generic constraint 
1.29/1.34	c intension x[30] != x[38]  using generic constraint 
1.29/1.34	c intension x[30] != x[39]  using generic constraint 
1.29/1.34	c intension x[30] != x[40]  using generic constraint 
1.29/1.35	c intension x[30] != x[41]  using generic constraint 
1.29/1.35	c intension x[30] != x[42]  using generic constraint 
1.29/1.35	c intension x[30] != x[43]  using generic constraint 
1.29/1.35	c intension x[30] != x[44]  using generic constraint 
1.29/1.35	c intension x[30] != x[45]  using generic constraint 
1.29/1.35	c intension x[30] != x[46]  using generic constraint 
1.29/1.35	c intension x[30] != x[47]  using generic constraint 
1.29/1.35	c intension x[30] != x[48]  using generic constraint 
1.29/1.35	c intension x[30] != x[49]  using generic constraint 
1.29/1.35	c intension x[30] != x[50]  using generic constraint 
1.29/1.35	c intension x[30] != x[51]  using generic constraint 
1.29/1.36	c intension x[30] != x[52]  using generic constraint 
1.29/1.36	c intension x[30] != x[53]  using generic constraint 
1.29/1.36	c intension x[30] != x[54]  using generic constraint 
1.29/1.36	c intension x[30] != x[55]  using generic constraint 
1.29/1.36	c intension x[30] != x[56]  using generic constraint 
1.29/1.36	c intension x[30] != x[57]  using generic constraint 
1.29/1.36	c intension x[30] != x[58]  using generic constraint 
1.29/1.36	c intension x[30] != x[59]  using generic constraint 
1.29/1.36	c intension x[30] != x[60]  using generic constraint 
1.29/1.36	c intension x[30] != x[61]  using generic constraint 
1.29/1.36	c intension x[30] != x[62]  using generic constraint 
1.29/1.37	c intension x[30] != x[63]  using generic constraint 
1.29/1.37	c intension x[31] != x[33]  using generic constraint 
1.29/1.37	c intension x[31] != x[34]  using generic constraint 
1.29/1.37	c intension x[31] != x[35]  using generic constraint 
1.29/1.37	c intension x[31] != x[36]  using generic constraint 
1.29/1.37	c intension x[31] != x[37]  using generic constraint 
1.29/1.37	c intension x[31] != x[38]  using generic constraint 
1.29/1.37	c intension x[31] != x[39]  using generic constraint 
1.29/1.37	c intension x[31] != x[40]  using generic constraint 
1.29/1.37	c intension x[31] != x[41]  using generic constraint 
1.29/1.37	c intension x[31] != x[42]  using generic constraint 
1.29/1.38	c intension x[31] != x[43]  using generic constraint 
1.29/1.38	c intension x[31] != x[44]  using generic constraint 
1.29/1.38	c intension x[31] != x[45]  using generic constraint 
1.29/1.38	c intension x[31] != x[46]  using generic constraint 
1.29/1.38	c intension x[31] != x[47]  using generic constraint 
1.29/1.38	c intension x[31] != x[48]  using generic constraint 
1.29/1.38	c intension x[31] != x[49]  using generic constraint 
1.29/1.38	c intension x[31] != x[50]  using generic constraint 
1.29/1.38	c intension x[31] != x[51]  using generic constraint 
1.29/1.38	c intension x[31] != x[52]  using generic constraint 
1.29/1.38	c intension x[31] != x[53]  using generic constraint 
1.29/1.38	c intension x[31] != x[54]  using generic constraint 
1.29/1.39	c intension x[31] != x[55]  using generic constraint 
1.29/1.39	c intension x[31] != x[56]  using generic constraint 
1.29/1.39	c intension x[31] != x[57]  using generic constraint 
1.29/1.39	c intension x[31] != x[58]  using generic constraint 
1.29/1.39	c intension x[31] != x[59]  using generic constraint 
1.29/1.39	c intension x[31] != x[60]  using generic constraint 
1.29/1.39	c intension x[31] != x[61]  using generic constraint 
1.29/1.39	c intension x[31] != x[62]  using generic constraint 
1.29/1.39	c intension x[31] != x[63]  using generic constraint 
1.29/1.39	c intension x[32] != x[34]  using generic constraint 
1.29/1.39	c intension x[32] != x[35]  using generic constraint 
1.39/1.40	c intension x[32] != x[36]  using generic constraint 
1.39/1.40	c intension x[32] != x[37]  using generic constraint 
1.39/1.40	c intension x[32] != x[38]  using generic constraint 
1.39/1.40	c intension x[32] != x[39]  using generic constraint 
1.39/1.40	c intension x[32] != x[40]  using generic constraint 
1.39/1.40	c intension x[32] != x[41]  using generic constraint 
1.39/1.40	c intension x[32] != x[42]  using generic constraint 
1.39/1.40	c intension x[32] != x[43]  using generic constraint 
1.39/1.40	c intension x[32] != x[44]  using generic constraint 
1.39/1.40	c intension x[32] != x[45]  using generic constraint 
1.39/1.40	c intension x[32] != x[46]  using generic constraint 
1.39/1.41	c intension x[32] != x[47]  using generic constraint 
1.39/1.41	c intension x[32] != x[48]  using generic constraint 
1.39/1.41	c intension x[32] != x[49]  using generic constraint 
1.39/1.41	c intension x[32] != x[50]  using generic constraint 
1.39/1.41	c intension x[32] != x[51]  using generic constraint 
1.39/1.41	c intension x[32] != x[52]  using generic constraint 
1.39/1.41	c intension x[32] != x[53]  using generic constraint 
1.39/1.41	c intension x[32] != x[54]  using generic constraint 
1.39/1.41	c intension x[32] != x[55]  using generic constraint 
1.39/1.41	c intension x[32] != x[56]  using generic constraint 
1.39/1.41	c intension x[32] != x[57]  using generic constraint 
1.39/1.42	c intension x[32] != x[58]  using generic constraint 
1.39/1.42	c intension x[32] != x[59]  using generic constraint 
1.39/1.42	c intension x[32] != x[60]  using generic constraint 
1.39/1.42	c intension x[32] != x[61]  using generic constraint 
1.39/1.42	c intension x[32] != x[62]  using generic constraint 
1.39/1.42	c intension x[32] != x[63]  using generic constraint 
1.39/1.42	c intension x[33] != x[35]  using generic constraint 
1.39/1.42	c intension x[33] != x[36]  using generic constraint 
1.39/1.42	c intension x[33] != x[37]  using generic constraint 
1.39/1.42	c intension x[33] != x[38]  using generic constraint 
1.39/1.42	c intension x[33] != x[39]  using generic constraint 
1.39/1.43	c intension x[33] != x[40]  using generic constraint 
1.39/1.43	c intension x[33] != x[41]  using generic constraint 
1.39/1.43	c intension x[33] != x[42]  using generic constraint 
1.39/1.43	c intension x[33] != x[43]  using generic constraint 
1.39/1.43	c intension x[33] != x[44]  using generic constraint 
1.39/1.43	c intension x[33] != x[45]  using generic constraint 
1.39/1.43	c intension x[33] != x[46]  using generic constraint 
1.39/1.43	c intension x[33] != x[47]  using generic constraint 
1.39/1.43	c intension x[33] != x[48]  using generic constraint 
1.39/1.43	c intension x[33] != x[49]  using generic constraint 
1.39/1.43	c intension x[33] != x[50]  using generic constraint 
1.39/1.44	c intension x[33] != x[51]  using generic constraint 
1.39/1.44	c intension x[33] != x[52]  using generic constraint 
1.39/1.44	c intension x[33] != x[53]  using generic constraint 
1.39/1.44	c intension x[33] != x[54]  using generic constraint 
1.39/1.44	c intension x[33] != x[55]  using generic constraint 
1.39/1.44	c intension x[33] != x[56]  using generic constraint 
1.39/1.44	c intension x[33] != x[57]  using generic constraint 
1.39/1.44	c intension x[33] != x[58]  using generic constraint 
1.39/1.44	c intension x[33] != x[59]  using generic constraint 
1.39/1.44	c intension x[33] != x[60]  using generic constraint 
1.39/1.44	c intension x[33] != x[61]  using generic constraint 
1.39/1.45	c intension x[33] != x[62]  using generic constraint 
1.39/1.45	c intension x[33] != x[63]  using generic constraint 
1.39/1.45	c intension x[34] != x[36]  using generic constraint 
1.39/1.45	c intension x[34] != x[37]  using generic constraint 
1.39/1.45	c intension x[34] != x[38]  using generic constraint 
1.39/1.45	c intension x[34] != x[39]  using generic constraint 
1.39/1.45	c intension x[34] != x[40]  using generic constraint 
1.39/1.45	c intension x[34] != x[41]  using generic constraint 
1.39/1.45	c intension x[34] != x[42]  using generic constraint 
1.39/1.45	c intension x[34] != x[43]  using generic constraint 
1.39/1.45	c intension x[34] != x[44]  using generic constraint 
1.39/1.46	c intension x[34] != x[45]  using generic constraint 
1.39/1.46	c intension x[34] != x[46]  using generic constraint 
1.39/1.46	c intension x[34] != x[47]  using generic constraint 
1.39/1.46	c intension x[34] != x[48]  using generic constraint 
1.39/1.46	c intension x[34] != x[49]  using generic constraint 
1.39/1.46	c intension x[34] != x[50]  using generic constraint 
1.39/1.46	c intension x[34] != x[51]  using generic constraint 
1.39/1.46	c intension x[34] != x[52]  using generic constraint 
1.39/1.46	c intension x[34] != x[53]  using generic constraint 
1.39/1.46	c intension x[34] != x[54]  using generic constraint 
1.39/1.46	c intension x[34] != x[55]  using generic constraint 
1.39/1.47	c intension x[34] != x[56]  using generic constraint 
1.39/1.47	c intension x[34] != x[57]  using generic constraint 
1.39/1.47	c intension x[34] != x[58]  using generic constraint 
1.39/1.47	c intension x[34] != x[59]  using generic constraint 
1.39/1.47	c intension x[34] != x[60]  using generic constraint 
1.39/1.47	c intension x[34] != x[61]  using generic constraint 
1.39/1.47	c intension x[34] != x[62]  using generic constraint 
1.39/1.47	c intension x[34] != x[63]  using generic constraint 
1.39/1.47	c intension x[35] != x[37]  using generic constraint 
1.39/1.47	c intension x[35] != x[38]  using generic constraint 
1.39/1.47	c intension x[35] != x[39]  using generic constraint 
1.39/1.48	c intension x[35] != x[40]  using generic constraint 
1.39/1.48	c intension x[35] != x[41]  using generic constraint 
1.39/1.48	c intension x[35] != x[42]  using generic constraint 
1.39/1.48	c intension x[35] != x[43]  using generic constraint 
1.39/1.48	c intension x[35] != x[44]  using generic constraint 
1.39/1.48	c intension x[35] != x[45]  using generic constraint 
1.39/1.48	c intension x[35] != x[46]  using generic constraint 
1.39/1.48	c intension x[35] != x[47]  using generic constraint 
1.39/1.48	c intension x[35] != x[48]  using generic constraint 
1.39/1.48	c intension x[35] != x[49]  using generic constraint 
1.39/1.48	c intension x[35] != x[50]  using generic constraint 
1.39/1.49	c intension x[35] != x[51]  using generic constraint 
1.39/1.49	c intension x[35] != x[52]  using generic constraint 
1.39/1.49	c intension x[35] != x[53]  using generic constraint 
1.39/1.49	c intension x[35] != x[54]  using generic constraint 
1.39/1.49	c intension x[35] != x[55]  using generic constraint 
1.39/1.49	c intension x[35] != x[56]  using generic constraint 
1.39/1.49	c intension x[35] != x[57]  using generic constraint 
1.39/1.49	c intension x[35] != x[58]  using generic constraint 
1.39/1.49	c intension x[35] != x[59]  using generic constraint 
1.39/1.49	c intension x[35] != x[60]  using generic constraint 
1.39/1.49	c intension x[35] != x[61]  using generic constraint 
1.39/1.50	c intension x[35] != x[62]  using generic constraint 
1.49/1.50	c intension x[35] != x[63]  using generic constraint 
1.49/1.50	c intension x[36] != x[38]  using generic constraint 
1.49/1.50	c intension x[36] != x[39]  using generic constraint 
1.49/1.50	c intension x[36] != x[40]  using generic constraint 
1.49/1.50	c intension x[36] != x[41]  using generic constraint 
1.49/1.50	c intension x[36] != x[42]  using generic constraint 
1.49/1.50	c intension x[36] != x[43]  using generic constraint 
1.49/1.50	c intension x[36] != x[44]  using generic constraint 
1.49/1.50	c intension x[36] != x[45]  using generic constraint 
1.49/1.50	c intension x[36] != x[46]  using generic constraint 
1.49/1.51	c intension x[36] != x[47]  using generic constraint 
1.49/1.51	c intension x[36] != x[48]  using generic constraint 
1.49/1.51	c intension x[36] != x[49]  using generic constraint 
1.49/1.51	c intension x[36] != x[50]  using generic constraint 
1.49/1.51	c intension x[36] != x[51]  using generic constraint 
1.49/1.51	c intension x[36] != x[52]  using generic constraint 
1.49/1.51	c intension x[36] != x[53]  using generic constraint 
1.49/1.51	c intension x[36] != x[54]  using generic constraint 
1.49/1.51	c intension x[36] != x[55]  using generic constraint 
1.49/1.51	c intension x[36] != x[56]  using generic constraint 
1.49/1.51	c intension x[36] != x[57]  using generic constraint 
1.49/1.52	c intension x[36] != x[58]  using generic constraint 
1.49/1.52	c intension x[36] != x[59]  using generic constraint 
1.49/1.52	c intension x[36] != x[60]  using generic constraint 
1.49/1.52	c intension x[36] != x[61]  using generic constraint 
1.49/1.52	c intension x[36] != x[62]  using generic constraint 
1.49/1.52	c intension x[36] != x[63]  using generic constraint 
1.49/1.52	c intension x[37] != x[39]  using generic constraint 
1.49/1.52	c intension x[37] != x[40]  using generic constraint 
1.49/1.52	c intension x[37] != x[41]  using generic constraint 
1.49/1.52	c intension x[37] != x[42]  using generic constraint 
1.49/1.52	c intension x[37] != x[43]  using generic constraint 
1.49/1.53	c intension x[37] != x[44]  using generic constraint 
1.49/1.53	c intension x[37] != x[45]  using generic constraint 
1.49/1.53	c intension x[37] != x[46]  using generic constraint 
1.49/1.53	c intension x[37] != x[47]  using generic constraint 
1.49/1.53	c intension x[37] != x[48]  using generic constraint 
1.49/1.53	c intension x[37] != x[49]  using generic constraint 
1.49/1.53	c intension x[37] != x[50]  using generic constraint 
1.49/1.53	c intension x[37] != x[51]  using generic constraint 
1.49/1.53	c intension x[37] != x[52]  using generic constraint 
1.49/1.53	c intension x[37] != x[53]  using generic constraint 
1.49/1.53	c intension x[37] != x[54]  using generic constraint 
1.49/1.54	c intension x[37] != x[55]  using generic constraint 
1.49/1.54	c intension x[37] != x[56]  using generic constraint 
1.49/1.54	c intension x[37] != x[57]  using generic constraint 
1.49/1.54	c intension x[37] != x[58]  using generic constraint 
1.49/1.54	c intension x[37] != x[59]  using generic constraint 
1.49/1.54	c intension x[37] != x[60]  using generic constraint 
1.49/1.54	c intension x[37] != x[61]  using generic constraint 
1.49/1.54	c intension x[37] != x[62]  using generic constraint 
1.49/1.54	c intension x[37] != x[63]  using generic constraint 
1.49/1.54	c intension x[38] != x[40]  using generic constraint 
1.49/1.54	c intension x[38] != x[41]  using generic constraint 
1.49/1.55	c intension x[38] != x[42]  using generic constraint 
1.49/1.55	c intension x[38] != x[43]  using generic constraint 
1.49/1.55	c intension x[38] != x[44]  using generic constraint 
1.49/1.55	c intension x[38] != x[45]  using generic constraint 
1.49/1.55	c intension x[38] != x[46]  using generic constraint 
1.49/1.55	c intension x[38] != x[47]  using generic constraint 
1.49/1.55	c intension x[38] != x[48]  using generic constraint 
1.49/1.55	c intension x[38] != x[49]  using generic constraint 
1.49/1.55	c intension x[38] != x[50]  using generic constraint 
1.49/1.55	c intension x[38] != x[51]  using generic constraint 
1.49/1.55	c intension x[38] != x[52]  using generic constraint 
1.49/1.56	c intension x[38] != x[53]  using generic constraint 
1.49/1.56	c intension x[38] != x[54]  using generic constraint 
1.49/1.56	c intension x[38] != x[55]  using generic constraint 
1.49/1.56	c intension x[38] != x[56]  using generic constraint 
1.49/1.56	c intension x[38] != x[57]  using generic constraint 
1.49/1.56	c intension x[38] != x[58]  using generic constraint 
1.49/1.56	c intension x[38] != x[59]  using generic constraint 
1.49/1.56	c intension x[38] != x[60]  using generic constraint 
1.49/1.56	c intension x[38] != x[61]  using generic constraint 
1.49/1.56	c intension x[38] != x[62]  using generic constraint 
1.49/1.56	c intension x[38] != x[63]  using generic constraint 
1.49/1.57	c intension x[39] != x[41]  using generic constraint 
1.49/1.57	c intension x[39] != x[42]  using generic constraint 
1.49/1.57	c intension x[39] != x[43]  using generic constraint 
1.49/1.57	c intension x[39] != x[44]  using generic constraint 
1.49/1.57	c intension x[39] != x[45]  using generic constraint 
1.49/1.57	c intension x[39] != x[46]  using generic constraint 
1.49/1.57	c intension x[39] != x[47]  using generic constraint 
1.49/1.57	c intension x[39] != x[48]  using generic constraint 
1.49/1.57	c intension x[39] != x[49]  using generic constraint 
1.49/1.57	c intension x[39] != x[50]  using generic constraint 
1.49/1.57	c intension x[39] != x[51]  using generic constraint 
1.49/1.58	c intension x[39] != x[52]  using generic constraint 
1.49/1.58	c intension x[39] != x[53]  using generic constraint 
1.49/1.58	c intension x[39] != x[54]  using generic constraint 
1.49/1.58	c intension x[39] != x[55]  using generic constraint 
1.49/1.58	c intension x[39] != x[56]  using generic constraint 
1.49/1.58	c intension x[39] != x[57]  using generic constraint 
1.49/1.58	c intension x[39] != x[58]  using generic constraint 
1.49/1.58	c intension x[39] != x[59]  using generic constraint 
1.49/1.58	c intension x[39] != x[60]  using generic constraint 
1.49/1.58	c intension x[39] != x[61]  using generic constraint 
1.49/1.58	c intension x[39] != x[62]  using generic constraint 
1.49/1.59	c intension x[39] != x[63]  using generic constraint 
1.49/1.59	c intension x[40] != x[42]  using generic constraint 
1.49/1.59	c intension x[40] != x[43]  using generic constraint 
1.49/1.59	c intension x[40] != x[44]  using generic constraint 
1.49/1.59	c intension x[40] != x[45]  using generic constraint 
1.49/1.59	c intension x[40] != x[46]  using generic constraint 
1.49/1.59	c intension x[40] != x[47]  using generic constraint 
1.49/1.59	c intension x[40] != x[48]  using generic constraint 
1.49/1.59	c intension x[40] != x[49]  using generic constraint 
1.49/1.59	c intension x[40] != x[50]  using generic constraint 
1.49/1.59	c intension x[40] != x[51]  using generic constraint 
1.59/1.60	c intension x[40] != x[52]  using generic constraint 
1.59/1.60	c intension x[40] != x[53]  using generic constraint 
1.59/1.60	c intension x[40] != x[54]  using generic constraint 
1.59/1.60	c intension x[40] != x[55]  using generic constraint 
1.59/1.60	c intension x[40] != x[56]  using generic constraint 
1.59/1.60	c intension x[40] != x[57]  using generic constraint 
1.59/1.60	c intension x[40] != x[58]  using generic constraint 
1.59/1.60	c intension x[40] != x[59]  using generic constraint 
1.59/1.60	c intension x[40] != x[60]  using generic constraint 
1.59/1.60	c intension x[40] != x[61]  using generic constraint 
1.59/1.60	c intension x[40] != x[62]  using generic constraint 
1.59/1.61	c intension x[40] != x[63]  using generic constraint 
1.59/1.61	c intension x[41] != x[43]  using generic constraint 
1.59/1.61	c intension x[41] != x[44]  using generic constraint 
1.59/1.61	c intension x[41] != x[45]  using generic constraint 
1.59/1.61	c intension x[41] != x[46]  using generic constraint 
1.59/1.61	c intension x[41] != x[47]  using generic constraint 
1.59/1.61	c intension x[41] != x[48]  using generic constraint 
1.59/1.61	c intension x[41] != x[49]  using generic constraint 
1.59/1.61	c intension x[41] != x[50]  using generic constraint 
1.59/1.61	c intension x[41] != x[51]  using generic constraint 
1.59/1.61	c intension x[41] != x[52]  using generic constraint 
1.59/1.62	c intension x[41] != x[53]  using generic constraint 
1.59/1.62	c intension x[41] != x[54]  using generic constraint 
1.59/1.62	c intension x[41] != x[55]  using generic constraint 
1.59/1.62	c intension x[41] != x[56]  using generic constraint 
1.59/1.62	c intension x[41] != x[57]  using generic constraint 
1.59/1.62	c intension x[41] != x[58]  using generic constraint 
1.59/1.62	c intension x[41] != x[59]  using generic constraint 
1.59/1.62	c intension x[41] != x[60]  using generic constraint 
1.59/1.62	c intension x[41] != x[61]  using generic constraint 
1.59/1.62	c intension x[41] != x[62]  using generic constraint 
1.59/1.63	c intension x[41] != x[63]  using generic constraint 
1.59/1.63	c intension x[42] != x[44]  using generic constraint 
1.59/1.63	c intension x[42] != x[45]  using generic constraint 
1.59/1.63	c intension x[42] != x[46]  using generic constraint 
1.59/1.63	c intension x[42] != x[47]  using generic constraint 
1.59/1.63	c intension x[42] != x[48]  using generic constraint 
1.59/1.63	c intension x[42] != x[49]  using generic constraint 
1.59/1.63	c intension x[42] != x[50]  using generic constraint 
1.59/1.63	c intension x[42] != x[51]  using generic constraint 
1.59/1.63	c intension x[42] != x[52]  using generic constraint 
1.59/1.63	c intension x[42] != x[53]  using generic constraint 
1.59/1.64	c intension x[42] != x[54]  using generic constraint 
1.59/1.64	c intension x[42] != x[55]  using generic constraint 
1.59/1.64	c intension x[42] != x[56]  using generic constraint 
1.59/1.64	c intension x[42] != x[57]  using generic constraint 
1.59/1.64	c intension x[42] != x[58]  using generic constraint 
1.59/1.64	c intension x[42] != x[59]  using generic constraint 
1.59/1.64	c intension x[42] != x[60]  using generic constraint 
1.59/1.64	c intension x[42] != x[61]  using generic constraint 
1.59/1.64	c intension x[42] != x[62]  using generic constraint 
1.59/1.64	c intension x[42] != x[63]  using generic constraint 
1.59/1.64	c intension x[43] != x[45]  using generic constraint 
1.59/1.65	c intension x[43] != x[46]  using generic constraint 
1.59/1.65	c intension x[43] != x[47]  using generic constraint 
1.59/1.65	c intension x[43] != x[48]  using generic constraint 
1.59/1.65	c intension x[43] != x[49]  using generic constraint 
1.59/1.65	c intension x[43] != x[50]  using generic constraint 
1.59/1.65	c intension x[43] != x[51]  using generic constraint 
1.59/1.65	c intension x[43] != x[52]  using generic constraint 
1.59/1.65	c intension x[43] != x[53]  using generic constraint 
1.59/1.65	c intension x[43] != x[54]  using generic constraint 
1.59/1.65	c intension x[43] != x[55]  using generic constraint 
1.59/1.65	c intension x[43] != x[56]  using generic constraint 
1.59/1.66	c intension x[43] != x[57]  using generic constraint 
1.59/1.66	c intension x[43] != x[58]  using generic constraint 
1.59/1.66	c intension x[43] != x[59]  using generic constraint 
1.59/1.66	c intension x[43] != x[60]  using generic constraint 
1.59/1.66	c intension x[43] != x[61]  using generic constraint 
1.59/1.66	c intension x[43] != x[62]  using generic constraint 
1.59/1.66	c intension x[43] != x[63]  using generic constraint 
1.59/1.66	c intension x[44] != x[46]  using generic constraint 
1.59/1.66	c intension x[44] != x[47]  using generic constraint 
1.59/1.66	c intension x[44] != x[48]  using generic constraint 
1.59/1.66	c intension x[44] != x[49]  using generic constraint 
1.59/1.67	c intension x[44] != x[50]  using generic constraint 
1.59/1.67	c intension x[44] != x[51]  using generic constraint 
1.59/1.67	c intension x[44] != x[52]  using generic constraint 
1.59/1.67	c intension x[44] != x[53]  using generic constraint 
1.59/1.67	c intension x[44] != x[54]  using generic constraint 
1.59/1.67	c intension x[44] != x[55]  using generic constraint 
1.59/1.67	c intension x[44] != x[56]  using generic constraint 
1.59/1.67	c intension x[44] != x[57]  using generic constraint 
1.59/1.67	c intension x[44] != x[58]  using generic constraint 
1.59/1.67	c intension x[44] != x[59]  using generic constraint 
1.59/1.67	c intension x[44] != x[60]  using generic constraint 
1.59/1.68	c intension x[44] != x[61]  using generic constraint 
1.59/1.68	c intension x[44] != x[62]  using generic constraint 
1.59/1.68	c intension x[44] != x[63]  using generic constraint 
1.59/1.68	c intension x[45] != x[47]  using generic constraint 
1.59/1.68	c intension x[45] != x[48]  using generic constraint 
1.59/1.68	c intension x[45] != x[49]  using generic constraint 
1.59/1.68	c intension x[45] != x[50]  using generic constraint 
1.59/1.68	c intension x[45] != x[51]  using generic constraint 
1.59/1.68	c intension x[45] != x[52]  using generic constraint 
1.59/1.68	c intension x[45] != x[53]  using generic constraint 
1.59/1.68	c intension x[45] != x[54]  using generic constraint 
1.59/1.69	c intension x[45] != x[55]  using generic constraint 
1.59/1.69	c intension x[45] != x[56]  using generic constraint 
1.59/1.69	c intension x[45] != x[57]  using generic constraint 
1.59/1.69	c intension x[45] != x[58]  using generic constraint 
1.59/1.69	c intension x[45] != x[59]  using generic constraint 
1.59/1.69	c intension x[45] != x[60]  using generic constraint 
1.59/1.69	c intension x[45] != x[61]  using generic constraint 
1.59/1.69	c intension x[45] != x[62]  using generic constraint 
1.59/1.69	c intension x[45] != x[63]  using generic constraint 
1.59/1.69	c intension x[46] != x[48]  using generic constraint 
1.59/1.69	c intension x[46] != x[49]  using generic constraint 
1.69/1.70	c intension x[46] != x[50]  using generic constraint 
1.69/1.70	c intension x[46] != x[51]  using generic constraint 
1.69/1.70	c intension x[46] != x[52]  using generic constraint 
1.69/1.70	c intension x[46] != x[53]  using generic constraint 
1.69/1.70	c intension x[46] != x[54]  using generic constraint 
1.69/1.70	c intension x[46] != x[55]  using generic constraint 
1.69/1.70	c intension x[46] != x[56]  using generic constraint 
1.69/1.70	c intension x[46] != x[57]  using generic constraint 
1.69/1.70	c intension x[46] != x[58]  using generic constraint 
1.69/1.70	c intension x[46] != x[59]  using generic constraint 
1.69/1.70	c intension x[46] != x[60]  using generic constraint 
1.69/1.71	c intension x[46] != x[61]  using generic constraint 
1.69/1.71	c intension x[46] != x[62]  using generic constraint 
1.69/1.71	c intension x[46] != x[63]  using generic constraint 
1.69/1.71	c intension x[47] != x[49]  using generic constraint 
1.69/1.71	c intension x[47] != x[50]  using generic constraint 
1.69/1.71	c intension x[47] != x[51]  using generic constraint 
1.69/1.71	c intension x[47] != x[52]  using generic constraint 
1.69/1.71	c intension x[47] != x[53]  using generic constraint 
1.69/1.71	c intension x[47] != x[54]  using generic constraint 
1.69/1.71	c intension x[47] != x[55]  using generic constraint 
1.69/1.72	c intension x[47] != x[56]  using generic constraint 
1.69/1.72	c intension x[47] != x[57]  using generic constraint 
1.69/1.72	c intension x[47] != x[58]  using generic constraint 
1.69/1.72	c intension x[47] != x[59]  using generic constraint 
1.69/1.72	c intension x[47] != x[60]  using generic constraint 
1.69/1.72	c intension x[47] != x[61]  using generic constraint 
1.69/1.72	c intension x[47] != x[62]  using generic constraint 
1.69/1.72	c intension x[47] != x[63]  using generic constraint 
1.69/1.72	c intension x[48] != x[50]  using generic constraint 
1.69/1.72	c intension x[48] != x[51]  using generic constraint 
1.69/1.72	c intension x[48] != x[52]  using generic constraint 
1.69/1.73	c intension x[48] != x[53]  using generic constraint 
1.69/1.73	c intension x[48] != x[54]  using generic constraint 
1.69/1.73	c intension x[48] != x[55]  using generic constraint 
1.69/1.73	c intension x[48] != x[56]  using generic constraint 
1.69/1.73	c intension x[48] != x[57]  using generic constraint 
1.69/1.73	c intension x[48] != x[58]  using generic constraint 
1.69/1.73	c intension x[48] != x[59]  using generic constraint 
1.69/1.73	c intension x[48] != x[60]  using generic constraint 
1.69/1.73	c intension x[48] != x[61]  using generic constraint 
1.69/1.73	c intension x[48] != x[62]  using generic constraint 
1.69/1.73	c intension x[48] != x[63]  using generic constraint 
1.69/1.74	c intension x[49] != x[51]  using generic constraint 
1.69/1.74	c intension x[49] != x[52]  using generic constraint 
1.69/1.74	c intension x[49] != x[53]  using generic constraint 
1.69/1.74	c intension x[49] != x[54]  using generic constraint 
1.69/1.74	c intension x[49] != x[55]  using generic constraint 
1.69/1.74	c intension x[49] != x[56]  using generic constraint 
1.69/1.74	c intension x[49] != x[57]  using generic constraint 
1.69/1.74	c intension x[49] != x[58]  using generic constraint 
1.69/1.74	c intension x[49] != x[59]  using generic constraint 
1.69/1.74	c intension x[49] != x[60]  using generic constraint 
1.69/1.74	c intension x[49] != x[61]  using generic constraint 
1.69/1.75	c intension x[49] != x[62]  using generic constraint 
1.69/1.75	c intension x[49] != x[63]  using generic constraint 
1.69/1.75	c intension x[50] != x[52]  using generic constraint 
1.69/1.75	c intension x[50] != x[53]  using generic constraint 
1.69/1.75	c intension x[50] != x[54]  using generic constraint 
1.69/1.75	c intension x[50] != x[55]  using generic constraint 
1.69/1.75	c intension x[50] != x[56]  using generic constraint 
1.69/1.75	c intension x[50] != x[57]  using generic constraint 
1.69/1.75	c intension x[50] != x[58]  using generic constraint 
1.69/1.75	c intension x[50] != x[59]  using generic constraint 
1.69/1.75	c intension x[50] != x[60]  using generic constraint 
1.69/1.76	c intension x[50] != x[61]  using generic constraint 
1.69/1.76	c intension x[50] != x[62]  using generic constraint 
1.69/1.76	c intension x[50] != x[63]  using generic constraint 
1.69/1.76	c intension x[51] != x[53]  using generic constraint 
1.69/1.76	c intension x[51] != x[54]  using generic constraint 
1.69/1.76	c intension x[51] != x[55]  using generic constraint 
1.69/1.76	c intension x[51] != x[56]  using generic constraint 
1.69/1.76	c intension x[51] != x[57]  using generic constraint 
1.69/1.76	c intension x[51] != x[58]  using generic constraint 
1.69/1.76	c intension x[51] != x[59]  using generic constraint 
1.69/1.76	c intension x[51] != x[60]  using generic constraint 
1.69/1.77	c intension x[51] != x[61]  using generic constraint 
1.69/1.77	c intension x[51] != x[62]  using generic constraint 
1.69/1.77	c intension x[51] != x[63]  using generic constraint 
1.69/1.77	c intension x[52] != x[54]  using generic constraint 
1.69/1.77	c intension x[52] != x[55]  using generic constraint 
1.69/1.77	c intension x[52] != x[56]  using generic constraint 
1.69/1.77	c intension x[52] != x[57]  using generic constraint 
1.69/1.77	c intension x[52] != x[58]  using generic constraint 
1.69/1.77	c intension x[52] != x[59]  using generic constraint 
1.69/1.77	c intension x[52] != x[60]  using generic constraint 
1.69/1.78	c intension x[52] != x[61]  using generic constraint 
1.69/1.78	c intension x[52] != x[62]  using generic constraint 
1.69/1.78	c intension x[52] != x[63]  using generic constraint 
1.69/1.78	c intension x[53] != x[55]  using generic constraint 
1.69/1.78	c intension x[53] != x[56]  using generic constraint 
1.69/1.78	c intension x[53] != x[57]  using generic constraint 
1.69/1.78	c intension x[53] != x[58]  using generic constraint 
1.69/1.78	c intension x[53] != x[59]  using generic constraint 
1.69/1.78	c intension x[53] != x[60]  using generic constraint 
1.69/1.78	c intension x[53] != x[61]  using generic constraint 
1.69/1.78	c intension x[53] != x[62]  using generic constraint 
1.69/1.79	c intension x[53] != x[63]  using generic constraint 
1.69/1.79	c intension x[54] != x[56]  using generic constraint 
1.69/1.79	c intension x[54] != x[57]  using generic constraint 
1.69/1.79	c intension x[54] != x[58]  using generic constraint 
1.69/1.79	c intension x[54] != x[59]  using generic constraint 
1.69/1.79	c intension x[54] != x[60]  using generic constraint 
1.69/1.79	c intension x[54] != x[61]  using generic constraint 
1.69/1.79	c intension x[54] != x[62]  using generic constraint 
1.69/1.79	c intension x[54] != x[63]  using generic constraint 
1.69/1.79	c intension x[55] != x[57]  using generic constraint 
1.69/1.79	c intension x[55] != x[58]  using generic constraint 
1.69/1.80	c intension x[55] != x[59]  using generic constraint 
1.79/1.80	c intension x[55] != x[60]  using generic constraint 
1.79/1.80	c intension x[55] != x[61]  using generic constraint 
1.79/1.80	c intension x[55] != x[62]  using generic constraint 
1.79/1.80	c intension x[55] != x[63]  using generic constraint 
1.79/1.80	c intension x[56] != x[58]  using generic constraint 
1.79/1.80	c intension x[56] != x[59]  using generic constraint 
1.79/1.80	c intension x[56] != x[60]  using generic constraint 
1.79/1.80	c intension x[56] != x[61]  using generic constraint 
1.79/1.80	c intension x[56] != x[62]  using generic constraint 
1.79/1.80	c intension x[56] != x[63]  using generic constraint 
1.79/1.81	c intension x[57] != x[59]  using generic constraint 
1.79/1.81	c intension x[57] != x[60]  using generic constraint 
1.79/1.81	c intension x[57] != x[61]  using generic constraint 
1.79/1.81	c intension x[57] != x[62]  using generic constraint 
1.79/1.81	c intension x[57] != x[63]  using generic constraint 
1.79/1.81	c intension x[58] != x[60]  using generic constraint 
1.79/1.81	c intension x[58] != x[61]  using generic constraint 
1.79/1.81	c intension x[58] != x[62]  using generic constraint 
1.79/1.81	c intension x[58] != x[63]  using generic constraint 
1.79/1.81	c intension x[59] != x[61]  using generic constraint 
1.79/1.81	c intension x[59] != x[62]  using generic constraint 
1.79/1.82	c intension x[59] != x[63]  using generic constraint 
1.79/1.82	c intension x[60] != x[62]  using generic constraint 
1.79/1.82	c intension x[60] != x[63]  using generic constraint 
1.79/1.82	c intension x[61] != x[63]  using generic constraint 
1.89/1.93	c root propagations     : 108         
1.89/1.93	c restarts enabled, print stats at every restarts
1.89/1.93	c
1.89/1.93	c
1.89/1.93	c
1.89/1.93	c This is cosoco 1.0 --  
1.89/1.93	c
1.89/1.93	c ========================================[ Problem Statistics ]===========================================
1.89/1.93	c |                                                                                                       
1.89/1.93	c |  Parse time        :         1.91 s 
1.89/1.93	c |
1.89/1.93	c |               Variables: 65
1.89/1.93	c |            Domain Sizes: 10..64
1.89/1.93	c |
1.89/1.93	c |             Constraints: 2034
1.89/1.93	c |                   Arity: 2..2  -- Binary: 2034
1.89/1.93	c | 
1.89/1.93	c |                   Types: 
1.89/1.93	c |                          (X != Y): 1953
1.89/1.93	c |                          Intension: 81
1.89/1.93	c |                          
1.89/1.93	c =========================================================================================================
1.89/1.93	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
1.89/1.96	c 101            244            232907         20259          18             0              17   24   20   
1.89/2.00	c 211            519            444556         37805          18             0              7   34   20    
1.99/2.03	c 332            772            670226         57246          18             0              6   23   19    
1.99/2.07	c 465            1088           968252         79901          18             0              10   22   19   
2.09/2.10	c 611            1404           1244056        102770         18             0              9   23   20    
2.09/2.14	c 771            1735           1514598        126301         18             0              7   26   20    
2.09/2.19	c 947            2132           1856488        152344         18             0              7   22   19    
2.19/2.25	c 1140           2632           2331731        183980         18             0              15   20   18   
2.29/2.30	c 1352           3170           2777867        216987         18             0              6   20   18    
2.29/2.37	c 1585           4112           3403929        258566         18             0              7   42   28    
2.39/2.44	c 1841           4822           4014498        295715         18             0              22   25   24   
2.49/2.51	c 2122           5510           4551540        336425         18             0              7   22   17    
2.49/2.58	c 2431           6206           5183203        382295         18             0              9   25   22    
2.59/2.66	c 2770           7015           5816161        433143         18             0              8   20   17    
2.69/2.75	c 3142           7916           6634641        489501         18             0              9   22   20    
2.79/2.87	c 3551           9009           7712336        563572         18             0              12   19   16   
2.89/2.98	c 4000           10121          8596679        629806         18             0              8   21   18    
3.09/3.10	c 4493           11364          9670388        704616         18             0              7   20   18    
3.19/3.22	c 5035           12815          10843744       774579         18             0              7   21   19    
3.29/3.33	c 5631           14070          11834279       849619         18             0              6   20   16    
3.39/3.48	c 6286           15588          13134433       944689         18             0              8   21   18    
3.59/3.65	c 7006           17417          14769713       1052674        18             0              7   21   17    
3.69/3.79	c 7798           19071          16095472       1154482        18             0              6   19   15    
3.99/4.00	c 8669           21419          18078475       1279901        18             0              12   19   16   
4.19/4.21	c 9627           23815          20091231       1411094        18             0              7   21   18    
4.39/4.42	c 10680          26169          21979696       1539987        18             0              7   20   16    
4.69/4.71	c 11838          29074          24600220       1717547        18             0              7   21   18    
4.89/4.98	c 13111          32451          27381424       1887941        18             0              6   20   17    
5.19/5.26	c 14511          35456          29930971       2063380        18             0              7   21   18    
5.49/5.53	c 16051          38804          32580551       2248698        18             0              7   21   17    
5.89/5.92	c 17745          43150          36292369       2501210        18             0              7   21   17    
6.29/6.30	c 19608          47828          40160991       2789063        18             0              13   22   17   
6.89/6.94	c 21657          53513          45771779       3203869        18             0              10   21   17   
7.29/7.36	c 23910          58625          49933633       3485011        18             0              8   24   19    
8.18/8.25	c 26388          65080          57411556       4035557        18             0              11   19   16   
8.79/8.89	c 29113          71766          63534207       4483326        18             0              7   22   17    
9.48/9.57	c 32110          79164          69811994       4914399        18             0              8   20   17    
10.08/10.19	c 35406          86911          76119434       5338832        18             0              7   21   17    
11.18/11.20	c 39031          96350          85386695       5933786        18             0              7   19   16    
12.48/12.55	c 43018          107175         96909323       6780371        18             0              8   15   13    
13.98/14.08	c 47403          118650         109645543      7715139        18             0              11   19   16   
15.08/15.15	c 52226          131002         119699376      8391729        18             0              6   20   17    
16.18/16.21	c 57531          143310         130298209      9071785        18             0              5   20   17    
17.48/17.51	c 63366          157531         142529736      9947410        18             0              9   22   18    
18.58/18.69	c 69784          171341         154434077      10778405       18             0              7   19   16    
20.48/20.58	c 76843          190190         172207719      11981650       18             0              11   21   17   
22.28/22.34	c 84607          209754         189487126      13119447       18             0              7   21   17    
23.88/23.97	c 93147          229866         206821448      14542836       18             0              13   22   17   
25.58/25.62	c 102541         263809         228090513      15769769       18             0              8   43   29    
27.28/27.34	c 112874         286491         246536441      17051918       18             0              11   26   20   
30.18/30.20	c 124240         315537         273081675      18872809       18             0              8   26   19    
32.48/32.53	c 136742         344081         296209922      20489049       18             0              8   24   18    
35.29/35.30	c 150494         374595         322426007      22479891       18             0              10   26   21   
39.18/39.28	c 165621         413200         359560306      24955578       18             0              8   22   18    
42.28/42.33	c 182260         451625         391860621      27134651       18             0              8   24   18    
46.38/46.48	c 200562         500578         434041093      29686040       18             0              14   24   20   
51.68/51.76	c 220694         553615         482800344      32956952       18             0              8   21   18    
57.67/57.74	c 242839         612429         538408092      36738455       18             0              9   19   16    
63.78/63.86	c 267198         673848         594650213      40666059       18             0              9   19   16    
69.07/69.17	c 293992         737089         647508282      44257177       18             0              7   21   18    
74.67/74.71	c 323465         804933         704331647      48192554       18             0              6   21   16    
82.37/82.43	c 355885         886813         779177885      53168361       18             0              7   22   18    
92.17/92.26	c 391547         981178         870041977      59316513       18             0              10   19   16   
101.86/101.95	c 430775         1081090        963141518      65707704       18             0              7   22   17    
108.06/108.13	c 473925         1169859        1028067023     70244721       18             0              7   21   16    
118.16/118.26	c 521390         1288938        1126958472     76795423       18             0              7   24   19    
126.57/126.66	c 573601         1396396        1209919938     83223993       18             0              7   21   16    
139.66/139.78	c 631033         1541711        1343464246     92157396       18             0              5   26   18    
154.65/154.74	c 694208         1697254        1484633433     102025603      18             0              9   25   19    
167.35/167.44	c 763700         1866667        1617768172     110758866      18             0              7   21   17    
178.55/178.65	c 840141         2092261        1765823481     119267476      18             0              7   47   27    
201.04/201.10	c 924226         2321127        1977952637     133211980      18             0              9   23   18    
219.34/219.48	c 1016719        2529144        2157267814     146000810      18             0              7   24   18    
247.03/247.14	c 1118461        2794764        2413479297     163553578      18             0              9   19   16    
273.73/273.85	c 1230377        3092877        2671450360     181460427      18             0              8   24   19    
301.33/301.48	c 1353484        3423492        2943155999     199040675      18             0              9   23   20    
326.22/326.30	c 1488901        3998200        3251043415     217471097      18             0              12   51   27   
366.11/366.30	c 1637859        4421773        3615024969     240849113      18             0              12   22   19   
405.70/405.86	c 1801712        4855451        3991285356     264733903      18             0              9   24   20    
452.39/452.58	c 1981950        5318155        4427747247     294277093      18             0              8   20   16    
495.38/495.52	c 2180211        5785959        4849429434     323735533      18             0              7   23   18    
553.67/553.88	c 2398298        6359583        5395240483     361134194      18             0              8   20   16    
600.56/600.76	c 2638193        6936832        5871915186     392754934      18             0              5   22   18    
665.94/666.14	c 2902077        7605724        6488116827     435231816      18             0              8   21   16    
735.03/735.26	c 3192349        8362532        7132611836     478443625      18             0              8   22   18    
800.11/800.34	c 3511648        9116752        7769576946     523517545      18             0              7   22   17    
890.59/890.84	c 3862876        10089561       8650949528     577859864      18             0              10   24   18   
964.28/964.58	c 4249226        11041613       9387464006     626791972      18             0              6   21   17    
1062.56/1062.85	c 4674211        12086792       10317605496    691931210      18             0              8   21   16    
1157.44/1157.74	c 5141694        13208133       11254039994    755637582      18             0              5   22   18    
1276.41/1276.77	c 5655925        14506867       12412913453    834010206      18             0              7   22   17    
1393.28/1393.70	c 6221579        15940453       13586624276    910776155      18             0              6   22   17    
1508.97/1509.34	c 6843798        17255707       14655526601    989719367      18             0              4   22   16    
1685.52/1685.94	c 7528238        19117944       16332979126    1098824692     18             0              8   23   18    
1800.99/1801.40	c 8281122        21116592       17834209675    1191814097     18             0              17   42   26   
1997.05/1997.51	c 9109294        23220725       19710482793    1320200990     18             0              7   21   17    
2111.23/2111.72	c solution 1
2111.23/2111.72	
2111.23/2111.72	v <instantiation type='solution'>
2111.23/2111.72	v <list>w0 x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] </list>
2111.23/2111.72	v <values>19 7 22 28 13 23 38 55 61 44 27 10 0 17 34 49 32 26 16 33 48 58 52 46 63 53 47 62 45 51 57 40 50 56 41 24 9 3 20 30 15 5 11 1 18 8 25 35 29 39 54 60 43 37 31 14 4 19 2 12 6 21 36 42 59 </values>
2111.23/2111.72	v </instantiation>
2111.23/2111.72	
2111.23/2111.72	c restarts              : 96          
2111.23/2111.72	c conflicts             : 9744974      (4616 /sec)
2111.23/2111.72	c decisions             : 25780737     (12211 /sec)
2111.23/2111.72	c propagations          : 1403352018  (664701 /sec)
2111.23/2111.72	c root propagations     : 108         
2111.23/2111.72	c filter calls          : 21157108725    (10021116 /sec)
2111.23/2111.72	c useless filter calls  : 20293969723    (95 %)
2111.23/2111.72	c Memory used           : 28.46 MB
2111.23/2111.72	c CPU time              : 2111.25 s
2111.23/2111.72	
2111.23/2111.72	s SATISFIABLE

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4241833-1500654418/watcher-4241833-1500654418 -o /tmp/evaluation-result-4241833-1500654418/solver-4241833-1500654418 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500648174-9891 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4241833-1500654418.xml 

pid=10872
running on 8 cores: 1,3,5,7,9,11,13,15

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.04 3/246 10875
/proc/meminfo: memFree=32026020/32770624 swapFree=5904/189728
[pid=10875] ppid=10872 vsize=27136 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/10875/stat : 10875 (cosoco) R 10872 10875 9859 0 -1 4202496 981 0 0 0 1 0 0 0 20 0 1 0 708747 27787264 766 33554432000 4194304 5970956 140725285839424 140725285835416 140505746459648 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 21975040 140725285844161 140725285844291 140725285844291 140725285846990 0
/proc/10875/statm: 6784 766 683 434 0 148 0

[startup+0.100121 s]
/proc/loadavg: 2.00 2.01 2.04 3/246 10875
/proc/meminfo: memFree=32026020/32770624 swapFree=5904/189728
[pid=10875] ppid=10872 vsize=27136 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/10875/stat : 10875 (cosoco) R 10872 10875 9859 0 -1 4202496 1048 0 0 0 9 0 0 0 20 0 1 0 708747 27787264 832 33554432000 4194304 5970956 140725285839424 140725285823176 140505746459744 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 21975040 140725285844161 140725285844291 140725285844291 140725285846990 0
/proc/10875/statm: 6784 832 711 434 0 148 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27136

[startup+0.200292 s]
/proc/loadavg: 2.00 2.01 2.04 3/246 10875
/proc/meminfo: memFree=32026020/32770624 swapFree=5904/189728
[pid=10875] ppid=10872 vsize=27260 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/10875/stat : 10875 (cosoco) R 10872 10875 9859 0 -1 4202496 1064 0 0 0 19 0 0 0 20 0 1 0 708747 27914240 890 33554432000 4194304 5970956 140725285839424 140725285823176 140505746459744 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 21975040 140725285844161 140725285844291 140725285844291 140725285846990 0
/proc/10875/statm: 6815 890 747 434 0 179 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27260

[startup+0.300259 s]
/proc/loadavg: 2.00 2.01 2.04 3/246 10875
/proc/meminfo: memFree=32026020/32770624 swapFree=5904/189728
[pid=10875] ppid=10872 vsize=27384 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/10875/stat : 10875 (cosoco) R 10872 10875 9859 0 -1 4202496 1083 0 0 0 29 0 0 0 20 0 1 0 708747 28041216 921 33554432000 4194304 5970956 140725285839424 140725285823176 140505746459744 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 21975040 140725285844161 140725285844291 140725285844291 140725285846990 0
/proc/10875/statm: 6846 921 747 434 0 210 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27384

[startup+0.700256 s]
/proc/loadavg: 2.00 2.01 2.04 3/246 10875
/proc/meminfo: memFree=32026020/32770624 swapFree=5904/189728
[pid=10875] ppid=10872 vsize=27644 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/10875/stat : 10875 (cosoco) R 10872 10875 9859 0 -1 4202496 1157 0 0 0 69 0 0 0 20 0 1 0 708747 28307456 985 33554432000 4194304 5970956 140725285839424 140725285823176 140505746459744 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 21975040 140725285844161 140725285844291 140725285844291 140725285846990 0
/proc/10875/statm: 6911 985 747 434 0 275 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27644

[startup+1.50019 s]
/proc/loadavg: 2.00 2.01 2.04 3/247 10876
/proc/meminfo: memFree=32024596/32770624 swapFree=5904/189832
[pid=10875] ppid=10872 vsize=28256 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/10875/stat : 10875 (cosoco) R 10872 10875 9859 0 -1 4202496 1303 0 0 0 149 0 0 0 20 0 1 0 708747 28934144 1139 33554432000 4194304 5970956 140725285839424 140725285823176 140505746459744 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 21975040 140725285844161 140725285844291 140725285844291 140725285846990 0
/proc/10875/statm: 7064 1139 747 434 0 428 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28256

[startup+3.10021 s]
/proc/loadavg: 2.00 2.01 2.04 3/247 10876
/proc/meminfo: memFree=32022092/32770624 swapFree=5904/189832
[pid=10875] ppid=10872 vsize=29136 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/10875/stat : 10875 (cosoco) R 10872 10875 9859 0 -1 4202496 2143 0 0 0 309 0 0 0 20 0 1 0 708747 29835264 1436 33554432000 4194304 5970956 140725285839424 140725285836760 4908175 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 21975040 140725285844161 140725285844291 140725285844291 140725285846990 0
/proc/10875/statm: 7284 1436 826 434 0 648 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29136

[startup+6.3002 s]
/proc/loadavg: 2.00 2.01 2.04 3/247 10876
/proc/meminfo: memFree=32021948/32770624 swapFree=5904/189760
[pid=10875] ppid=10872 vsize=29136 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/10875/stat : 10875 (cosoco) R 10872 10875 9859 0 -1 4202496 2690 0 0 0 629 0 0 0 20 0 1 0 708747 29835264 1437 33554432000 4194304 5970956 140725285839424 140725285836760 5070008 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 21975040 140725285844161 140725285844291 140725285844291 140725285846990 0
/proc/10875/statm: 7284 1437 826 434 0 648 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29136

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.04 3/247 10876
/proc/meminfo: memFree=32021824/32770624 swapFree=5904/189768
[pid=10875] ppid=10872 vsize=29136 CPUtime=12.68 cores=1,3,5,7,9,11,13,15
/proc/10875/stat : 10875 (cosoco) R 10872 10875 9859 0 -1 4202496 3237 0 0 0 1268 0 0 0 20 0 1 0 708747 29835264 1437 33554432000 4194304 5970956 140725285839424 140725285836760 4964784 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 21975040 140725285844161 140725285844291 140725285844291 140725285846990 0
/proc/10875/statm: 7284 1437 826 434 0 648 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 29136

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.04 3/247 10876
/proc/meminfo: memFree=32021824/32770624 swapFree=5904/189780
[pid=10875] ppid=10872 vsize=29136 CPUtime=25.48 cores=1,3,5,7,9,11,13,15
/proc/10875/stat : 10875 (cosoco) R 10872 10875 9859 0 -1 4202496 4331 0 0 0 2548 0 0 0 20 0 1 0 708747 29835264 1437 33554432000 4194304 5970956 140725285839424 140725285836760 5071049 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 21975040 140725285844161 140725285844291 140725285844291 140725285846990 0
/proc/10875/statm: 7284 1437 826 434 0 648 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 29136

[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.04 3/246 10876
/proc/meminfo: memFree=32021716/32770624 swapFree=5904/189812
[pid=10875] ppid=10872 vsize=29136 CPUtime=51.08 cores=1,3,5,7,9,11,13,15
/proc/10875/stat : 10875 (cosoco) R 10872 10875 9859 0 -1 4202496 4878 0 0 0 5108 0 0 0 20 0 1 0 708747 29835264 1437 33554432000 4194304 5970956 140725285839424 140725285836760 4964389 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 21975040 140725285844161 140725285844291 140725285844291 140725285846990 0
/proc/10875/statm: 7284 1437 826 434 0 648 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 29136

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/247 10879
/proc/meminfo: memFree=32021828/32770624 swapFree=5904/189888
[pid=10875] ppid=10872 vsize=29136 CPUtime=102.27 cores=1,3,5,7,9,11,13,15
/proc/10875/stat : 10875 (cosoco) R 10872 10875 9859 0 -1 4202496 5425 0 0 0 10227 0 0 0 20 0 1 0 708747 29835264 1437 33554432000 4194304 5970956 140725285839424 140725285836760 5093213 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 21975040 140725285844161 140725285844291 140725285844291 140725285846990 0
/proc/10875/statm: 7284 1437 826 434 0 648 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 29136

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/247 10880
/proc/meminfo: memFree=32021856/32770624 swapFree=5904/189972
[pid=10875] ppid=10872 vsize=29136 CPUtime=162.25 cores=1,3,5,7,9,11,13,15
/proc/10875/stat : 10875 (cosoco) R 10872 10875 9859 0 -1 4202496 5972 0 0 0 16225 0 0 0 20 0 1 0 708747 29835264 1437 33554432000 4194304 5970956 140725285839424 140725285836760 5076400 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 21975040 140725285844161 140725285844291 140725285844291 140725285846990 0
/proc/10875/statm: 7284 1437 826 434 0 648 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 29136

[startup+222.308 s]
/proc/loadavg: 2.00 2.01 2.04 3/248 10889
/proc/meminfo: memFree=32020900/32770624 swapFree=5904/190000
[pid=10875] ppid=10872 vsize=29136 CPUtime=222.25 cores=1,3,5,7,9,11,13,15
/proc/10875/stat : 10875 (cosoco) R 10872 10875 9859 0 -1 4202496 6519 0 0 0 22225 0 0 0 20 0 1 0 708747 29835264 1437 33554432000 4194304 5970956 140725285839424 140725285836760 4908171 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 21975040 140725285844161 140725285844291 140725285844291 140725285846990 0
/proc/10875/statm: 7284 1437 826 434 0 648 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 29136

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/248 10890
/proc/meminfo: memFree=32021600/32770624 swapFree=5904/190052
[pid=10875] ppid=10872 vsize=29136 CPUtime=282.23 cores=1,3,5,7,9,11,13,15
/proc/10875/stat : 10875 (cosoco) R 10872 10875 9859 0 -1 4202496 7066 0 0 0 28223 0 0 0 20 0 1 0 708747 29835264 1437 33554432000 4194304 5970956 140725285839424 140725285836760 5069835 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 21975040 140725285844161 140725285844291 140725285844291 140725285846990 0
/proc/10875/statm: 7284 1437 826 434 0 648 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 29136

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/248 10891
/proc/meminfo: memFree=32021404/32770624 swapFree=5904/190096
[pid=10875] ppid=10872 vsize=29136 CPUtime=342.21 cores=1,3,5,7,9,11,13,15
/proc/10875/stat : 10875 (cosoco) R 10872 10875 9859 0 -1 4202496 7613 0 0 0 34221 0 0 0 20 0 1 0 708747 29835264 1437 33554432000 4194304 5970956 140725285839424 140725285836760 4964481 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 21975040 140725285844161 140725285844291 140725285844291 140725285846990 0
/proc/10875/statm: 7284 1437 826 434 0 648 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 29136

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/248 10893
/proc/meminfo: memFree=32021292/32770624 swapFree=5904/190140
[pid=10875] ppid=10872 vsize=29136 CPUtime=402.2 cores=1,3,5,7,9,11,13,15
/proc/10875/stat : 10875 (cosoco) R 10872 10875 9859 0 -1 4202496 8160 0 0 0 40220 0 0 0 20 0 1 0 708747 29835264 1437 33554432000 4194304 5970956 140725285839424 140725285836760 5070034 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 21975040 140725285844161 140725285844291 140725285844291 140725285846990 0
/proc/10875/statm: 7284 1437 826 434 0 648 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 29136

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/248 10894
/proc/meminfo: memFree=32021360/32770624 swapFree=5904/190196
[pid=10875] ppid=10872 vsize=29136 CPUtime=462.19 cores=1,3,5,7,9,11,13,15
/proc/10875/stat : 10875 (cosoco) R 10872 10875 9859 0 -1 4202496 8707 0 0 0 46219 0 0 0 20 0 1 0 708747 29835264 1437 33554432000 4194304 5970956 140725285839424 140725285836760 5070016 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 21975040 140725285844161 140725285844291 140725285844291 140725285846990 0
/proc/10875/statm: 7284 1437 826 434 0 648 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 29136

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/247 10895
/proc/meminfo: memFree=32021488/32770624 swapFree=5904/190244
[pid=10875] ppid=10872 vsize=29136 CPUtime=522.17 cores=1,3,5,7,9,11,13,15
/proc/10875/stat : 10875 (cosoco) R 10872 10875 9859 0 -1 4202496 9254 0 0 0 52217 0 0 0 20 0 1 0 708747 29835264 1437 33554432000 4194304 5970956 140725285839424 140725285836760 5070056 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 21975040 140725285844161 140725285844291 140725285844291 140725285846990 0
/proc/10875/statm: 7284 1437 826 434 0 648 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 29136

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/247 10896
/proc/meminfo: memFree=32021416/32770624 swapFree=5904/190276
[pid=10875] ppid=10872 vsize=29136 CPUtime=582.16 cores=1,3,5,7,9,11,13,15
/proc/10875/stat : 10875 (cosoco) R 10872 10875 9859 0 -1 4202496 9801 0 0 0 58216 0 0 0 20 0 1 0 708747 29835264 1437 33554432000 4194304 5970956 140725285839424 140725285836760 4964406 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 21975040 140725285844161 140725285844291 140725285844291 140725285846990 0
/proc/10875/statm: 7284 1437 826 434 0 648 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 29136


################
# More data... #
################

/proc/loadavg: 2.01 2.02 2.05 3/247 10993
/proc/meminfo: memFree=32015632/32770624 swapFree=5904/190988
[pid=10875] ppid=10872 vsize=29136 CPUtime=1541.96 cores=1,3,5,7,9,11,13,15
/proc/10875/stat : 10875 (cosoco) R 10872 10875 9859 0 -1 4202496 18469 0 0 0 154196 0 0 0 20 0 1 0 708747 29835264 1437 33554432000 4194304 5970956 140725285839424 140725285836760 5070056 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 21975040 140725285844161 140725285844291 140725285844291 140725285846990 0
/proc/10875/statm: 7284 1437 826 434 0 648 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 29136

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/247 10994
/proc/meminfo: memFree=32015324/32770624 swapFree=5904/191024
[pid=10875] ppid=10872 vsize=29136 CPUtime=1601.94 cores=1,3,5,7,9,11,13,15
/proc/10875/stat : 10875 (cosoco) R 10872 10875 9859 0 -1 4202496 18993 0 0 0 160194 0 0 0 20 0 1 0 708747 29835264 1437 33554432000 4194304 5970956 140725285839424 140725285836760 5070791 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 21975040 140725285844161 140725285844291 140725285844291 140725285846990 0
/proc/10875/statm: 7284 1437 826 434 0 648 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 29136

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/247 10996
/proc/meminfo: memFree=32015600/32770624 swapFree=5904/191064
[pid=10875] ppid=10872 vsize=29136 CPUtime=1661.93 cores=1,3,5,7,9,11,13,15
/proc/10875/stat : 10875 (cosoco) R 10872 10875 9859 0 -1 4202496 19521 0 0 0 166193 0 0 0 20 0 1 0 708747 29835264 1437 33554432000 4194304 5970956 140725285839424 140725285836760 4964366 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 21975040 140725285844161 140725285844291 140725285844291 140725285846990 0
/proc/10875/statm: 7284 1437 826 434 0 648 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 29136

[startup+1722.3 s]
/proc/loadavg: 2.12 2.04 2.05 3/247 10998
/proc/meminfo: memFree=32015176/32770624 swapFree=5904/191112
[pid=10875] ppid=10872 vsize=29136 CPUtime=1721.91 cores=1,3,5,7,9,11,13,15
/proc/10875/stat : 10875 (cosoco) R 10872 10875 9859 0 -1 4202496 20068 0 0 0 172191 0 0 0 20 0 1 0 708747 29835264 1437 33554432000 4194304 5970956 140725285839424 140725285836760 5076424 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 21975040 140725285844161 140725285844291 140725285844291 140725285846990 0
/proc/10875/statm: 7284 1437 826 434 0 648 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 29136

[startup+1782.3 s]
/proc/loadavg: 2.12 2.05 2.05 3/247 10999
/proc/meminfo: memFree=32015328/32770624 swapFree=5904/191148
[pid=10875] ppid=10872 vsize=29136 CPUtime=1781.9 cores=1,3,5,7,9,11,13,15
/proc/10875/stat : 10875 (cosoco) R 10872 10875 9859 0 -1 4202496 20594 0 0 0 178190 0 0 0 20 0 1 0 708747 29835264 1437 33554432000 4194304 5970956 140725285839424 140725285836760 5069938 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 21975040 140725285844161 140725285844291 140725285844291 140725285846990 0
/proc/10875/statm: 7284 1437 826 434 0 648 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 29136

[startup+1842.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/247 11000
/proc/meminfo: memFree=32015200/32770624 swapFree=5904/191188
[pid=10875] ppid=10872 vsize=29136 CPUtime=1841.89 cores=1,3,5,7,9,11,13,15
/proc/10875/stat : 10875 (cosoco) R 10872 10875 9859 0 -1 4202496 21141 0 0 0 184189 0 0 0 20 0 1 0 708747 29835264 1437 33554432000 4194304 5970956 140725285839424 140725285836760 5070008 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 21975040 140725285844161 140725285844291 140725285844291 140725285846990 0
/proc/10875/statm: 7284 1437 826 434 0 648 0
Current children cumulated CPU time (s) 1841.89
Current children cumulated vsize (KiB) 29136

[startup+1902.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/247 11002
/proc/meminfo: memFree=32015832/32770624 swapFree=5904/191232
[pid=10875] ppid=10872 vsize=29136 CPUtime=1901.87 cores=1,3,5,7,9,11,13,15
/proc/10875/stat : 10875 (cosoco) R 10872 10875 9859 0 -1 4202496 21672 0 0 0 190187 0 0 0 20 0 1 0 708747 29835264 1437 33554432000 4194304 5970956 140725285839424 140725285836760 4968233 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 21975040 140725285844161 140725285844291 140725285844291 140725285846990 0
/proc/10875/statm: 7284 1437 826 434 0 648 0
Current children cumulated CPU time (s) 1901.87
Current children cumulated vsize (KiB) 29136

[startup+1962.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/247 11004
/proc/meminfo: memFree=32015100/32770624 swapFree=5904/191272
[pid=10875] ppid=10872 vsize=29136 CPUtime=1961.86 cores=1,3,5,7,9,11,13,15
/proc/10875/stat : 10875 (cosoco) R 10872 10875 9859 0 -1 4202496 22203 0 0 0 196186 0 0 0 20 0 1 0 708747 29835264 1437 33554432000 4194304 5970956 140725285839424 140725285836760 5076464 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 21975040 140725285844161 140725285844291 140725285844291 140725285846990 0
/proc/10875/statm: 7284 1437 826 434 0 648 0
Current children cumulated CPU time (s) 1961.86
Current children cumulated vsize (KiB) 29136

[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/247 11012
/proc/meminfo: memFree=32014184/32770624 swapFree=5904/191332
[pid=10875] ppid=10872 vsize=29136 CPUtime=2021.85 cores=1,3,5,7,9,11,13,15
/proc/10875/stat : 10875 (cosoco) R 10872 10875 9859 0 -1 4202496 22750 0 0 0 202185 0 0 0 20 0 1 0 708747 29835264 1437 33554432000 4194304 5970956 140725285839424 140725285836760 5052121 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 21975040 140725285844161 140725285844291 140725285844291 140725285846990 0
/proc/10875/statm: 7284 1437 826 434 0 648 0
Current children cumulated CPU time (s) 2021.85
Current children cumulated vsize (KiB) 29136

[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/248 11036
/proc/meminfo: memFree=32013756/32770624 swapFree=5904/191372
[pid=10875] ppid=10872 vsize=29136 CPUtime=2081.84 cores=1,3,5,7,9,11,13,15
/proc/10875/stat : 10875 (cosoco) R 10872 10875 9859 0 -1 4202496 23283 0 0 0 208184 0 0 0 20 0 1 0 708747 29835264 1437 33554432000 4194304 5970956 140725285839424 140725285836760 4964366 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 21975040 140725285844161 140725285844291 140725285844291 140725285846990 0
/proc/10875/statm: 7284 1437 826 434 0 648 0
Current children cumulated CPU time (s) 2081.84
Current children cumulated vsize (KiB) 29136

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10875 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2086.4 s]
/proc/loadavg: 2.00 2.02 2.05 3/248 11037
/proc/meminfo: memFree=32014080/32770624 swapFree=5904/191372
[pid=10875] ppid=10872 vsize=29136 CPUtime=2085.93 cores=1,3,5,7,9,11,13,15
/proc/10875/stat : 10875 (cosoco) R 10872 10875 9859 0 -1 4202496 23283 0 0 0 208593 0 0 0 20 0 1 0 708747 29835264 1437 33554432000 4194304 5970956 140725285839424 140725285836760 4908661 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 21975040 140725285844161 140725285844291 140725285844291 140725285846990 0
/proc/10875/statm: 7284 1437 826 434 0 648 0
Current children cumulated CPU time (s) 2085.93
Current children cumulated vsize (KiB) 29136

[startup+2099.2 s]
/proc/loadavg: 2.00 2.02 2.05 3/248 11037
/proc/meminfo: memFree=32014352/32770624 swapFree=5904/191400
[pid=10875] ppid=10872 vsize=29136 CPUtime=2098.73 cores=1,3,5,7,9,11,13,15
/proc/10875/stat : 10875 (cosoco) R 10872 10875 9859 0 -1 4202496 23812 0 0 0 209873 0 0 0 20 0 1 0 708747 29835264 1437 33554432000 4194304 5970956 140725285839424 140725285836760 4908539 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 21975040 140725285844161 140725285844291 140725285844291 140725285846990 0
/proc/10875/statm: 7284 1437 826 434 0 648 0
Current children cumulated CPU time (s) 2098.73
Current children cumulated vsize (KiB) 29136

[startup+2105.6 s]
/proc/loadavg: 2.00 2.02 2.05 3/248 11037
/proc/meminfo: memFree=32014600/32770624 swapFree=5904/191400
[pid=10875] ppid=10872 vsize=29136 CPUtime=2105.13 cores=1,3,5,7,9,11,13,15
/proc/10875/stat : 10875 (cosoco) R 10872 10875 9859 0 -1 4202496 23812 0 0 0 210513 0 0 0 20 0 1 0 708747 29835264 1437 33554432000 4194304 5970956 140725285839424 140725285836760 5070874 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 21975040 140725285844161 140725285844291 140725285844291 140725285846990 0
/proc/10875/statm: 7284 1437 826 434 0 648 0
Current children cumulated CPU time (s) 2105.13
Current children cumulated vsize (KiB) 29136

[startup+2108.81 s]
/proc/loadavg: 2.00 2.02 2.05 3/248 11037
/proc/meminfo: memFree=32014724/32770624 swapFree=5904/191400
[pid=10875] ppid=10872 vsize=29136 CPUtime=2108.33 cores=1,3,5,7,9,11,13,15
/proc/10875/stat : 10875 (cosoco) R 10872 10875 9859 0 -1 4202496 23812 0 0 0 210833 0 0 0 20 0 1 0 708747 29835264 1437 33554432000 4194304 5970956 140725285839424 140725285836760 5328055 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 21975040 140725285844161 140725285844291 140725285844291 140725285846990 0
/proc/10875/statm: 7284 1437 826 434 0 648 0
Current children cumulated CPU time (s) 2108.33
Current children cumulated vsize (KiB) 29136

[startup+2110.4 s]
/proc/loadavg: 2.00 2.02 2.05 3/248 11037
/proc/meminfo: memFree=32014600/32770624 swapFree=5904/191400
[pid=10875] ppid=10872 vsize=29136 CPUtime=2109.93 cores=1,3,5,7,9,11,13,15
/proc/10875/stat : 10875 (cosoco) R 10872 10875 9859 0 -1 4202496 23812 0 0 0 210993 0 0 0 20 0 1 0 708747 29835264 1437 33554432000 4194304 5970956 140725285839424 140725285836760 5070880 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 21975040 140725285844161 140725285844291 140725285844291 140725285846990 0
/proc/10875/statm: 7284 1437 826 434 0 648 0
Current children cumulated CPU time (s) 2109.93
Current children cumulated vsize (KiB) 29136

[startup+2111.2 s]
/proc/loadavg: 2.00 2.02 2.05 3/248 11037
/proc/meminfo: memFree=32014600/32770624 swapFree=5904/191400
[pid=10875] ppid=10872 vsize=29136 CPUtime=2110.73 cores=1,3,5,7,9,11,13,15
/proc/10875/stat : 10875 (cosoco) R 10872 10875 9859 0 -1 4202496 23812 0 0 0 211073 0 0 0 20 0 1 0 708747 29835264 1437 33554432000 4194304 5970956 140725285839424 140725285836760 5071048 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 21975040 140725285844161 140725285844291 140725285844291 140725285846990 0
/proc/10875/statm: 7284 1437 826 434 0 648 0
Current children cumulated CPU time (s) 2110.73
Current children cumulated vsize (KiB) 29136

[startup+2111.6 s]
/proc/loadavg: 2.00 2.02 2.05 3/248 11037
/proc/meminfo: memFree=32014600/32770624 swapFree=5904/191400
[pid=10875] ppid=10872 vsize=29136 CPUtime=2111.13 cores=1,3,5,7,9,11,13,15
/proc/10875/stat : 10875 (cosoco) R 10872 10875 9859 0 -1 4202496 23812 0 0 0 211113 0 0 0 20 0 1 0 708747 29835264 1437 33554432000 4194304 5970956 140725285839424 140725285836760 4908539 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 21975040 140725285844161 140725285844291 140725285844291 140725285846990 0
/proc/10875/statm: 7284 1437 826 434 0 648 0
Current children cumulated CPU time (s) 2111.13
Current children cumulated vsize (KiB) 29136

[startup+2111.7 s]
/proc/loadavg: 2.00 2.02 2.05 3/248 11037
/proc/meminfo: memFree=32014600/32770624 swapFree=5904/191400
[pid=10875] ppid=10872 vsize=29136 CPUtime=2111.23 cores=1,3,5,7,9,11,13,15
/proc/10875/stat : 10875 (cosoco) R 10872 10875 9859 0 -1 4202496 23812 0 0 0 211123 0 0 0 20 0 1 0 708747 29835264 1437 33554432000 4194304 5970956 140725285839424 140725285836760 5076424 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 21975040 140725285844161 140725285844291 140725285844291 140725285846990 0
/proc/10875/statm: 7284 1437 826 434 0 648 0
Current children cumulated CPU time (s) 2111.23
Current children cumulated vsize (KiB) 29136

Child status: 0
Real time (s): 2111.72
CPU time (s): 2111.26
CPU user time (s): 2111.25
CPU system time (s): 0.009997
CPU usage (%): 99.9782
Max. virtual memory (cumulated for all children) (KiB): 29136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2111.25
system time used= 0.009997
maximum resident set size= 5828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23870
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= 6
involuntary context switches= 106116

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.81476 second user time and 10.0043 second system time

The end

Launcher Data 

Begin job on node133 at 2017-07-21 18:26:58
IDJOB=4241833
IDBENCH=130608
IDSOLVER=2620
FILE ID=node133/4241833-1500654418
RUNJOBID= node133-1500648174-9891
PBS_JOBID= 20623287
Free space on /tmp= 62016 MiB

SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/QueenAttacking/QueenAttacking-xcsp2-s1/QueenAttacking-08_X2.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241833-1500654418/watcher-4241833-1500654418 -o /tmp/evaluation-result-4241833-1500654418/solver-4241833-1500654418 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500648174-9891 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4241833-1500654418.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 01373ebb4a146089a71bb04c36ed4f3a
RANDOM SEED=2029947784

node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        32026768 kB
MemAvailable:   32015128 kB
Buffers:           32064 kB
Cached:           266508 kB
SwapCached:            0 kB
Active:           170780 kB
Inactive:         198480 kB
Active(anon):      73456 kB
Inactive(anon):     8752 kB
Active(file):      97324 kB
Inactive(file):   189728 kB
Unevictable:        5904 kB
Mlocked:            5904 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2492 kB
Writeback:             0 kB
AnonPages:         76504 kB
Mapped:            31208 kB
Shmem:              8872 kB
Slab:              66360 kB
SReclaimable:      34284 kB
SUnreclaim:        32076 kB
KernelStack:        4272 kB
PageTables:         5576 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     343936 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62012 MiB
End job on node133 at 2017-07-21 19:02:10