Trace number 4268217

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
cosoco 1.12SAT 2118.48 2118.48

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.08	c intension x[0] != x[2]  using generic constraint 
0.00/0.08	c intension x[0] != x[3]  using generic constraint 
0.00/0.08	c intension x[0] != x[4]  using generic constraint 
0.00/0.09	c intension x[0] != x[5]  using generic constraint 
0.00/0.09	c intension x[0] != x[6]  using generic constraint 
0.00/0.09	c intension x[0] != x[7]  using generic constraint 
0.00/0.09	c intension x[0] != x[8]  using generic constraint 
0.00/0.09	c intension x[0] != x[9]  using generic constraint 
0.00/0.09	c intension x[0] != x[10]  using generic constraint 
0.00/0.09	c intension x[0] != x[11]  using generic constraint 
0.00/0.09	c intension x[0] != x[12]  using generic constraint 
0.00/0.09	c intension x[0] != x[13]  using generic constraint 
0.00/0.09	c intension x[0] != x[14]  using generic constraint 
0.00/0.09	c intension x[0] != x[15]  using generic constraint 
0.00/0.09	c intension x[0] != x[16]  using generic constraint 
0.03/0.10	c intension x[0] != x[17]  using generic constraint 
0.03/0.10	c intension x[0] != x[18]  using generic constraint 
0.03/0.10	c intension x[0] != x[19]  using generic constraint 
0.03/0.10	c intension x[0] != x[20]  using generic constraint 
0.03/0.10	c intension x[0] != x[21]  using generic constraint 
0.03/0.10	c intension x[0] != x[22]  using generic constraint 
0.03/0.10	c intension x[0] != x[23]  using generic constraint 
0.03/0.10	c intension x[0] != x[24]  using generic constraint 
0.03/0.10	c intension x[0] != x[25]  using generic constraint 
0.03/0.10	c intension x[0] != x[26]  using generic constraint 
0.03/0.10	c intension x[0] != x[27]  using generic constraint 
0.03/0.11	c intension x[0] != x[28]  using generic constraint 
0.03/0.11	c intension x[0] != x[29]  using generic constraint 
0.03/0.11	c intension x[0] != x[30]  using generic constraint 
0.03/0.11	c intension x[0] != x[31]  using generic constraint 
0.03/0.11	c intension x[0] != x[32]  using generic constraint 
0.03/0.11	c intension x[0] != x[33]  using generic constraint 
0.03/0.11	c intension x[0] != x[34]  using generic constraint 
0.03/0.11	c intension x[0] != x[35]  using generic constraint 
0.03/0.11	c intension x[0] != x[36]  using generic constraint 
0.03/0.11	c intension x[0] != x[37]  using generic constraint 
0.03/0.11	c intension x[0] != x[38]  using generic constraint 
0.03/0.12	c intension x[0] != x[39]  using generic constraint 
0.03/0.12	c intension x[0] != x[40]  using generic constraint 
0.03/0.12	c intension x[0] != x[41]  using generic constraint 
0.03/0.12	c intension x[0] != x[42]  using generic constraint 
0.03/0.12	c intension x[0] != x[43]  using generic constraint 
0.03/0.12	c intension x[0] != x[44]  using generic constraint 
0.03/0.12	c intension x[0] != x[45]  using generic constraint 
0.03/0.12	c intension x[0] != x[46]  using generic constraint 
0.03/0.12	c intension x[0] != x[47]  using generic constraint 
0.03/0.12	c intension x[0] != x[48]  using generic constraint 
0.03/0.12	c intension x[0] != x[49]  using generic constraint 
0.03/0.13	c intension x[0] != x[50]  using generic constraint 
0.03/0.13	c intension x[0] != x[51]  using generic constraint 
0.03/0.13	c intension x[0] != x[52]  using generic constraint 
0.03/0.13	c intension x[0] != x[53]  using generic constraint 
0.03/0.13	c intension x[0] != x[54]  using generic constraint 
0.03/0.13	c intension x[0] != x[55]  using generic constraint 
0.03/0.13	c intension x[0] != x[56]  using generic constraint 
0.03/0.13	c intension x[0] != x[57]  using generic constraint 
0.03/0.13	c intension x[0] != x[58]  using generic constraint 
0.03/0.13	c intension x[0] != x[59]  using generic constraint 
0.03/0.13	c intension x[0] != x[60]  using generic constraint 
0.03/0.13	c intension x[0] != x[61]  using generic constraint 
0.03/0.14	c intension x[0] != x[62]  using generic constraint 
0.03/0.14	c intension x[0] != x[63]  using generic constraint 
0.03/0.14	c intension x[1] != x[3]  using generic constraint 
0.03/0.14	c intension x[1] != x[4]  using generic constraint 
0.03/0.14	c intension x[1] != x[5]  using generic constraint 
0.03/0.14	c intension x[1] != x[6]  using generic constraint 
0.03/0.14	c intension x[1] != x[7]  using generic constraint 
0.03/0.14	c intension x[1] != x[8]  using generic constraint 
0.03/0.14	c intension x[1] != x[9]  using generic constraint 
0.03/0.14	c intension x[1] != x[10]  using generic constraint 
0.03/0.14	c intension x[1] != x[11]  using generic constraint 
0.03/0.15	c intension x[1] != x[12]  using generic constraint 
0.03/0.15	c intension x[1] != x[13]  using generic constraint 
0.03/0.15	c intension x[1] != x[14]  using generic constraint 
0.03/0.15	c intension x[1] != x[15]  using generic constraint 
0.03/0.15	c intension x[1] != x[16]  using generic constraint 
0.03/0.15	c intension x[1] != x[17]  using generic constraint 
0.03/0.15	c intension x[1] != x[18]  using generic constraint 
0.03/0.15	c intension x[1] != x[19]  using generic constraint 
0.03/0.15	c intension x[1] != x[20]  using generic constraint 
0.03/0.15	c intension x[1] != x[21]  using generic constraint 
0.03/0.15	c intension x[1] != x[22]  using generic constraint 
0.03/0.15	c intension x[1] != x[23]  using generic constraint 
0.03/0.16	c intension x[1] != x[24]  using generic constraint 
0.03/0.16	c intension x[1] != x[25]  using generic constraint 
0.03/0.16	c intension x[1] != x[26]  using generic constraint 
0.03/0.16	c intension x[1] != x[27]  using generic constraint 
0.03/0.16	c intension x[1] != x[28]  using generic constraint 
0.03/0.16	c intension x[1] != x[29]  using generic constraint 
0.03/0.16	c intension x[1] != x[30]  using generic constraint 
0.03/0.16	c intension x[1] != x[31]  using generic constraint 
0.03/0.16	c intension x[1] != x[32]  using generic constraint 
0.03/0.16	c intension x[1] != x[33]  using generic constraint 
0.03/0.16	c intension x[1] != x[34]  using generic constraint 
0.03/0.17	c intension x[1] != x[35]  using generic constraint 
0.03/0.17	c intension x[1] != x[36]  using generic constraint 
0.03/0.17	c intension x[1] != x[37]  using generic constraint 
0.03/0.17	c intension x[1] != x[38]  using generic constraint 
0.03/0.17	c intension x[1] != x[39]  using generic constraint 
0.03/0.17	c intension x[1] != x[40]  using generic constraint 
0.03/0.17	c intension x[1] != x[41]  using generic constraint 
0.03/0.17	c intension x[1] != x[42]  using generic constraint 
0.03/0.17	c intension x[1] != x[43]  using generic constraint 
0.03/0.17	c intension x[1] != x[44]  using generic constraint 
0.03/0.17	c intension x[1] != x[45]  using generic constraint 
0.03/0.17	c intension x[1] != x[46]  using generic constraint 
0.03/0.18	c intension x[1] != x[47]  using generic constraint 
0.03/0.18	c intension x[1] != x[48]  using generic constraint 
0.03/0.18	c intension x[1] != x[49]  using generic constraint 
0.03/0.18	c intension x[1] != x[50]  using generic constraint 
0.03/0.18	c intension x[1] != x[51]  using generic constraint 
0.03/0.18	c intension x[1] != x[52]  using generic constraint 
0.03/0.18	c intension x[1] != x[53]  using generic constraint 
0.03/0.18	c intension x[1] != x[54]  using generic constraint 
0.03/0.18	c intension x[1] != x[55]  using generic constraint 
0.03/0.18	c intension x[1] != x[56]  using generic constraint 
0.03/0.18	c intension x[1] != x[57]  using generic constraint 
0.03/0.19	c intension x[1] != x[58]  using generic constraint 
0.03/0.19	c intension x[1] != x[59]  using generic constraint 
0.03/0.19	c intension x[1] != x[60]  using generic constraint 
0.03/0.19	c intension x[1] != x[61]  using generic constraint 
0.03/0.19	c intension x[1] != x[62]  using generic constraint 
0.03/0.19	c intension x[1] != x[63]  using generic constraint 
0.03/0.19	c intension x[2] != x[4]  using generic constraint 
0.03/0.19	c intension x[2] != x[5]  using generic constraint 
0.03/0.19	c intension x[2] != x[6]  using generic constraint 
0.03/0.19	c intension x[2] != x[7]  using generic constraint 
0.03/0.19	c intension x[2] != x[8]  using generic constraint 
0.03/0.20	c intension x[2] != x[9]  using generic constraint 
0.13/0.20	c intension x[2] != x[10]  using generic constraint 
0.13/0.20	c intension x[2] != x[11]  using generic constraint 
0.13/0.20	c intension x[2] != x[12]  using generic constraint 
0.13/0.20	c intension x[2] != x[13]  using generic constraint 
0.13/0.20	c intension x[2] != x[14]  using generic constraint 
0.13/0.20	c intension x[2] != x[15]  using generic constraint 
0.13/0.20	c intension x[2] != x[16]  using generic constraint 
0.13/0.20	c intension x[2] != x[17]  using generic constraint 
0.13/0.20	c intension x[2] != x[18]  using generic constraint 
0.13/0.20	c intension x[2] != x[19]  using generic constraint 
0.13/0.21	c intension x[2] != x[20]  using generic constraint 
0.13/0.21	c intension x[2] != x[21]  using generic constraint 
0.13/0.21	c intension x[2] != x[22]  using generic constraint 
0.13/0.21	c intension x[2] != x[23]  using generic constraint 
0.13/0.21	c intension x[2] != x[24]  using generic constraint 
0.13/0.21	c intension x[2] != x[25]  using generic constraint 
0.13/0.21	c intension x[2] != x[26]  using generic constraint 
0.13/0.21	c intension x[2] != x[27]  using generic constraint 
0.13/0.21	c intension x[2] != x[28]  using generic constraint 
0.13/0.21	c intension x[2] != x[29]  using generic constraint 
0.13/0.21	c intension x[2] != x[30]  using generic constraint 
0.13/0.21	c intension x[2] != x[31]  using generic constraint 
0.13/0.22	c intension x[2] != x[32]  using generic constraint 
0.13/0.22	c intension x[2] != x[33]  using generic constraint 
0.13/0.22	c intension x[2] != x[34]  using generic constraint 
0.13/0.22	c intension x[2] != x[35]  using generic constraint 
0.13/0.22	c intension x[2] != x[36]  using generic constraint 
0.13/0.22	c intension x[2] != x[37]  using generic constraint 
0.13/0.22	c intension x[2] != x[38]  using generic constraint 
0.13/0.22	c intension x[2] != x[39]  using generic constraint 
0.13/0.22	c intension x[2] != x[40]  using generic constraint 
0.13/0.22	c intension x[2] != x[41]  using generic constraint 
0.13/0.22	c intension x[2] != x[42]  using generic constraint 
0.13/0.23	c intension x[2] != x[43]  using generic constraint 
0.13/0.23	c intension x[2] != x[44]  using generic constraint 
0.13/0.23	c intension x[2] != x[45]  using generic constraint 
0.13/0.23	c intension x[2] != x[46]  using generic constraint 
0.13/0.23	c intension x[2] != x[47]  using generic constraint 
0.13/0.23	c intension x[2] != x[48]  using generic constraint 
0.13/0.23	c intension x[2] != x[49]  using generic constraint 
0.13/0.23	c intension x[2] != x[50]  using generic constraint 
0.13/0.23	c intension x[2] != x[51]  using generic constraint 
0.13/0.23	c intension x[2] != x[52]  using generic constraint 
0.13/0.23	c intension x[2] != x[53]  using generic constraint 
0.13/0.24	c intension x[2] != x[54]  using generic constraint 
0.13/0.24	c intension x[2] != x[55]  using generic constraint 
0.13/0.24	c intension x[2] != x[56]  using generic constraint 
0.13/0.24	c intension x[2] != x[57]  using generic constraint 
0.13/0.24	c intension x[2] != x[58]  using generic constraint 
0.13/0.24	c intension x[2] != x[59]  using generic constraint 
0.13/0.24	c intension x[2] != x[60]  using generic constraint 
0.13/0.24	c intension x[2] != x[61]  using generic constraint 
0.13/0.24	c intension x[2] != x[62]  using generic constraint 
0.13/0.24	c intension x[2] != x[63]  using generic constraint 
0.13/0.24	c intension x[3] != x[5]  using generic constraint 
0.13/0.24	c intension x[3] != x[6]  using generic constraint 
0.13/0.25	c intension x[3] != x[7]  using generic constraint 
0.13/0.25	c intension x[3] != x[8]  using generic constraint 
0.13/0.25	c intension x[3] != x[9]  using generic constraint 
0.13/0.25	c intension x[3] != x[10]  using generic constraint 
0.13/0.25	c intension x[3] != x[11]  using generic constraint 
0.13/0.25	c intension x[3] != x[12]  using generic constraint 
0.13/0.25	c intension x[3] != x[13]  using generic constraint 
0.13/0.25	c intension x[3] != x[14]  using generic constraint 
0.13/0.25	c intension x[3] != x[15]  using generic constraint 
0.13/0.25	c intension x[3] != x[16]  using generic constraint 
0.13/0.25	c intension x[3] != x[17]  using generic constraint 
0.13/0.26	c intension x[3] != x[18]  using generic constraint 
0.13/0.26	c intension x[3] != x[19]  using generic constraint 
0.13/0.26	c intension x[3] != x[20]  using generic constraint 
0.13/0.26	c intension x[3] != x[21]  using generic constraint 
0.13/0.26	c intension x[3] != x[22]  using generic constraint 
0.13/0.26	c intension x[3] != x[23]  using generic constraint 
0.13/0.26	c intension x[3] != x[24]  using generic constraint 
0.13/0.26	c intension x[3] != x[25]  using generic constraint 
0.13/0.26	c intension x[3] != x[26]  using generic constraint 
0.13/0.26	c intension x[3] != x[27]  using generic constraint 
0.13/0.26	c intension x[3] != x[28]  using generic constraint 
0.13/0.26	c intension x[3] != x[29]  using generic constraint 
0.13/0.27	c intension x[3] != x[30]  using generic constraint 
0.13/0.27	c intension x[3] != x[31]  using generic constraint 
0.13/0.27	c intension x[3] != x[32]  using generic constraint 
0.13/0.27	c intension x[3] != x[33]  using generic constraint 
0.13/0.27	c intension x[3] != x[34]  using generic constraint 
0.13/0.27	c intension x[3] != x[35]  using generic constraint 
0.13/0.27	c intension x[3] != x[36]  using generic constraint 
0.13/0.27	c intension x[3] != x[37]  using generic constraint 
0.13/0.27	c intension x[3] != x[38]  using generic constraint 
0.13/0.27	c intension x[3] != x[39]  using generic constraint 
0.13/0.27	c intension x[3] != x[40]  using generic constraint 
0.13/0.28	c intension x[3] != x[41]  using generic constraint 
0.13/0.28	c intension x[3] != x[42]  using generic constraint 
0.13/0.28	c intension x[3] != x[43]  using generic constraint 
0.13/0.28	c intension x[3] != x[44]  using generic constraint 
0.13/0.28	c intension x[3] != x[45]  using generic constraint 
0.13/0.28	c intension x[3] != x[46]  using generic constraint 
0.13/0.28	c intension x[3] != x[47]  using generic constraint 
0.13/0.28	c intension x[3] != x[48]  using generic constraint 
0.13/0.28	c intension x[3] != x[49]  using generic constraint 
0.13/0.28	c intension x[3] != x[50]  using generic constraint 
0.13/0.28	c intension x[3] != x[51]  using generic constraint 
0.13/0.29	c intension x[3] != x[52]  using generic constraint 
0.13/0.29	c intension x[3] != x[53]  using generic constraint 
0.13/0.29	c intension x[3] != x[54]  using generic constraint 
0.13/0.29	c intension x[3] != x[55]  using generic constraint 
0.13/0.29	c intension x[3] != x[56]  using generic constraint 
0.13/0.29	c intension x[3] != x[57]  using generic constraint 
0.13/0.29	c intension x[3] != x[58]  using generic constraint 
0.13/0.29	c intension x[3] != x[59]  using generic constraint 
0.13/0.29	c intension x[3] != x[60]  using generic constraint 
0.13/0.29	c intension x[3] != x[61]  using generic constraint 
0.13/0.29	c intension x[3] != x[62]  using generic constraint 
0.13/0.29	c intension x[3] != x[63]  using generic constraint 
0.23/0.30	c intension x[4] != x[6]  using generic constraint 
0.23/0.30	c intension x[4] != x[7]  using generic constraint 
0.23/0.30	c intension x[4] != x[8]  using generic constraint 
0.23/0.30	c intension x[4] != x[9]  using generic constraint 
0.23/0.30	c intension x[4] != x[10]  using generic constraint 
0.23/0.30	c intension x[4] != x[11]  using generic constraint 
0.23/0.30	c intension x[4] != x[12]  using generic constraint 
0.23/0.30	c intension x[4] != x[13]  using generic constraint 
0.23/0.30	c intension x[4] != x[14]  using generic constraint 
0.23/0.30	c intension x[4] != x[15]  using generic constraint 
0.23/0.30	c intension x[4] != x[16]  using generic constraint 
0.23/0.31	c intension x[4] != x[17]  using generic constraint 
0.23/0.31	c intension x[4] != x[18]  using generic constraint 
0.23/0.31	c intension x[4] != x[19]  using generic constraint 
0.23/0.31	c intension x[4] != x[20]  using generic constraint 
0.23/0.31	c intension x[4] != x[21]  using generic constraint 
0.23/0.31	c intension x[4] != x[22]  using generic constraint 
0.23/0.31	c intension x[4] != x[23]  using generic constraint 
0.23/0.31	c intension x[4] != x[24]  using generic constraint 
0.23/0.31	c intension x[4] != x[25]  using generic constraint 
0.23/0.31	c intension x[4] != x[26]  using generic constraint 
0.23/0.31	c intension x[4] != x[27]  using generic constraint 
0.23/0.32	c intension x[4] != x[28]  using generic constraint 
0.23/0.32	c intension x[4] != x[29]  using generic constraint 
0.23/0.32	c intension x[4] != x[30]  using generic constraint 
0.23/0.32	c intension x[4] != x[31]  using generic constraint 
0.23/0.32	c intension x[4] != x[32]  using generic constraint 
0.23/0.32	c intension x[4] != x[33]  using generic constraint 
0.23/0.32	c intension x[4] != x[34]  using generic constraint 
0.23/0.32	c intension x[4] != x[35]  using generic constraint 
0.23/0.32	c intension x[4] != x[36]  using generic constraint 
0.23/0.32	c intension x[4] != x[37]  using generic constraint 
0.23/0.32	c intension x[4] != x[38]  using generic constraint 
0.23/0.33	c intension x[4] != x[39]  using generic constraint 
0.23/0.33	c intension x[4] != x[40]  using generic constraint 
0.23/0.33	c intension x[4] != x[41]  using generic constraint 
0.23/0.33	c intension x[4] != x[42]  using generic constraint 
0.23/0.33	c intension x[4] != x[43]  using generic constraint 
0.23/0.33	c intension x[4] != x[44]  using generic constraint 
0.23/0.33	c intension x[4] != x[45]  using generic constraint 
0.23/0.33	c intension x[4] != x[46]  using generic constraint 
0.23/0.33	c intension x[4] != x[47]  using generic constraint 
0.23/0.33	c intension x[4] != x[48]  using generic constraint 
0.23/0.33	c intension x[4] != x[49]  using generic constraint 
0.23/0.33	c intension x[4] != x[50]  using generic constraint 
0.23/0.34	c intension x[4] != x[51]  using generic constraint 
0.23/0.34	c intension x[4] != x[52]  using generic constraint 
0.23/0.34	c intension x[4] != x[53]  using generic constraint 
0.23/0.34	c intension x[4] != x[54]  using generic constraint 
0.23/0.34	c intension x[4] != x[55]  using generic constraint 
0.23/0.34	c intension x[4] != x[56]  using generic constraint 
0.23/0.34	c intension x[4] != x[57]  using generic constraint 
0.23/0.34	c intension x[4] != x[58]  using generic constraint 
0.23/0.34	c intension x[4] != x[59]  using generic constraint 
0.23/0.34	c intension x[4] != x[60]  using generic constraint 
0.23/0.34	c intension x[4] != x[61]  using generic constraint 
0.23/0.35	c intension x[4] != x[62]  using generic constraint 
0.23/0.35	c intension x[4] != x[63]  using generic constraint 
0.23/0.35	c intension x[5] != x[7]  using generic constraint 
0.23/0.35	c intension x[5] != x[8]  using generic constraint 
0.23/0.35	c intension x[5] != x[9]  using generic constraint 
0.23/0.35	c intension x[5] != x[10]  using generic constraint 
0.23/0.35	c intension x[5] != x[11]  using generic constraint 
0.23/0.35	c intension x[5] != x[12]  using generic constraint 
0.23/0.35	c intension x[5] != x[13]  using generic constraint 
0.23/0.35	c intension x[5] != x[14]  using generic constraint 
0.23/0.35	c intension x[5] != x[15]  using generic constraint 
0.23/0.36	c intension x[5] != x[16]  using generic constraint 
0.23/0.36	c intension x[5] != x[17]  using generic constraint 
0.23/0.36	c intension x[5] != x[18]  using generic constraint 
0.23/0.36	c intension x[5] != x[19]  using generic constraint 
0.23/0.36	c intension x[5] != x[20]  using generic constraint 
0.23/0.36	c intension x[5] != x[21]  using generic constraint 
0.23/0.36	c intension x[5] != x[22]  using generic constraint 
0.23/0.36	c intension x[5] != x[23]  using generic constraint 
0.23/0.36	c intension x[5] != x[24]  using generic constraint 
0.23/0.36	c intension x[5] != x[25]  using generic constraint 
0.23/0.36	c intension x[5] != x[26]  using generic constraint 
0.23/0.36	c intension x[5] != x[27]  using generic constraint 
0.23/0.37	c intension x[5] != x[28]  using generic constraint 
0.23/0.37	c intension x[5] != x[29]  using generic constraint 
0.23/0.37	c intension x[5] != x[30]  using generic constraint 
0.23/0.37	c intension x[5] != x[31]  using generic constraint 
0.23/0.37	c intension x[5] != x[32]  using generic constraint 
0.23/0.37	c intension x[5] != x[33]  using generic constraint 
0.23/0.37	c intension x[5] != x[34]  using generic constraint 
0.23/0.37	c intension x[5] != x[35]  using generic constraint 
0.23/0.37	c intension x[5] != x[36]  using generic constraint 
0.23/0.37	c intension x[5] != x[37]  using generic constraint 
0.23/0.37	c intension x[5] != x[38]  using generic constraint 
0.23/0.38	c intension x[5] != x[39]  using generic constraint 
0.23/0.38	c intension x[5] != x[40]  using generic constraint 
0.23/0.38	c intension x[5] != x[41]  using generic constraint 
0.23/0.38	c intension x[5] != x[42]  using generic constraint 
0.23/0.38	c intension x[5] != x[43]  using generic constraint 
0.23/0.38	c intension x[5] != x[44]  using generic constraint 
0.23/0.38	c intension x[5] != x[45]  using generic constraint 
0.23/0.38	c intension x[5] != x[46]  using generic constraint 
0.23/0.38	c intension x[5] != x[47]  using generic constraint 
0.23/0.38	c intension x[5] != x[48]  using generic constraint 
0.23/0.38	c intension x[5] != x[49]  using generic constraint 
0.23/0.39	c intension x[5] != x[50]  using generic constraint 
0.23/0.39	c intension x[5] != x[51]  using generic constraint 
0.23/0.39	c intension x[5] != x[52]  using generic constraint 
0.23/0.39	c intension x[5] != x[53]  using generic constraint 
0.23/0.39	c intension x[5] != x[54]  using generic constraint 
0.23/0.39	c intension x[5] != x[55]  using generic constraint 
0.23/0.39	c intension x[5] != x[56]  using generic constraint 
0.23/0.39	c intension x[5] != x[57]  using generic constraint 
0.23/0.39	c intension x[5] != x[58]  using generic constraint 
0.23/0.39	c intension x[5] != x[59]  using generic constraint 
0.23/0.39	c intension x[5] != x[60]  using generic constraint 
0.23/0.39	c intension x[5] != x[61]  using generic constraint 
0.33/0.40	c intension x[5] != x[62]  using generic constraint 
0.33/0.40	c intension x[5] != x[63]  using generic constraint 
0.33/0.40	c intension x[6] != x[8]  using generic constraint 
0.33/0.40	c intension x[6] != x[9]  using generic constraint 
0.33/0.40	c intension x[6] != x[10]  using generic constraint 
0.33/0.40	c intension x[6] != x[11]  using generic constraint 
0.33/0.40	c intension x[6] != x[12]  using generic constraint 
0.33/0.40	c intension x[6] != x[13]  using generic constraint 
0.33/0.40	c intension x[6] != x[14]  using generic constraint 
0.33/0.40	c intension x[6] != x[15]  using generic constraint 
0.33/0.41	c intension x[6] != x[16]  using generic constraint 
0.33/0.41	c intension x[6] != x[17]  using generic constraint 
0.33/0.41	c intension x[6] != x[18]  using generic constraint 
0.33/0.41	c intension x[6] != x[19]  using generic constraint 
0.33/0.41	c intension x[6] != x[20]  using generic constraint 
0.33/0.41	c intension x[6] != x[21]  using generic constraint 
0.33/0.41	c intension x[6] != x[22]  using generic constraint 
0.33/0.41	c intension x[6] != x[23]  using generic constraint 
0.33/0.41	c intension x[6] != x[24]  using generic constraint 
0.33/0.41	c intension x[6] != x[25]  using generic constraint 
0.33/0.41	c intension x[6] != x[26]  using generic constraint 
0.33/0.41	c intension x[6] != x[27]  using generic constraint 
0.33/0.42	c intension x[6] != x[28]  using generic constraint 
0.33/0.42	c intension x[6] != x[29]  using generic constraint 
0.33/0.42	c intension x[6] != x[30]  using generic constraint 
0.33/0.42	c intension x[6] != x[31]  using generic constraint 
0.33/0.42	c intension x[6] != x[32]  using generic constraint 
0.33/0.42	c intension x[6] != x[33]  using generic constraint 
0.33/0.42	c intension x[6] != x[34]  using generic constraint 
0.33/0.42	c intension x[6] != x[35]  using generic constraint 
0.33/0.42	c intension x[6] != x[36]  using generic constraint 
0.33/0.42	c intension x[6] != x[37]  using generic constraint 
0.33/0.42	c intension x[6] != x[38]  using generic constraint 
0.33/0.43	c intension x[6] != x[39]  using generic constraint 
0.33/0.43	c intension x[6] != x[40]  using generic constraint 
0.33/0.43	c intension x[6] != x[41]  using generic constraint 
0.33/0.43	c intension x[6] != x[42]  using generic constraint 
0.33/0.43	c intension x[6] != x[43]  using generic constraint 
0.33/0.43	c intension x[6] != x[44]  using generic constraint 
0.33/0.43	c intension x[6] != x[45]  using generic constraint 
0.33/0.43	c intension x[6] != x[46]  using generic constraint 
0.33/0.43	c intension x[6] != x[47]  using generic constraint 
0.33/0.43	c intension x[6] != x[48]  using generic constraint 
0.33/0.43	c intension x[6] != x[49]  using generic constraint 
0.33/0.44	c intension x[6] != x[50]  using generic constraint 
0.33/0.44	c intension x[6] != x[51]  using generic constraint 
0.33/0.44	c intension x[6] != x[52]  using generic constraint 
0.33/0.44	c intension x[6] != x[53]  using generic constraint 
0.33/0.44	c intension x[6] != x[54]  using generic constraint 
0.33/0.44	c intension x[6] != x[55]  using generic constraint 
0.33/0.44	c intension x[6] != x[56]  using generic constraint 
0.33/0.44	c intension x[6] != x[57]  using generic constraint 
0.33/0.44	c intension x[6] != x[58]  using generic constraint 
0.33/0.44	c intension x[6] != x[59]  using generic constraint 
0.33/0.44	c intension x[6] != x[60]  using generic constraint 
0.33/0.44	c intension x[6] != x[61]  using generic constraint 
0.33/0.45	c intension x[6] != x[62]  using generic constraint 
0.33/0.45	c intension x[6] != x[63]  using generic constraint 
0.33/0.45	c intension x[7] != x[9]  using generic constraint 
0.33/0.45	c intension x[7] != x[10]  using generic constraint 
0.33/0.45	c intension x[7] != x[11]  using generic constraint 
0.33/0.45	c intension x[7] != x[12]  using generic constraint 
0.33/0.45	c intension x[7] != x[13]  using generic constraint 
0.33/0.45	c intension x[7] != x[14]  using generic constraint 
0.33/0.45	c intension x[7] != x[15]  using generic constraint 
0.33/0.45	c intension x[7] != x[16]  using generic constraint 
0.33/0.45	c intension x[7] != x[17]  using generic constraint 
0.33/0.46	c intension x[7] != x[18]  using generic constraint 
0.33/0.46	c intension x[7] != x[19]  using generic constraint 
0.33/0.46	c intension x[7] != x[20]  using generic constraint 
0.33/0.46	c intension x[7] != x[21]  using generic constraint 
0.33/0.46	c intension x[7] != x[22]  using generic constraint 
0.33/0.46	c intension x[7] != x[23]  using generic constraint 
0.33/0.46	c intension x[7] != x[24]  using generic constraint 
0.33/0.46	c intension x[7] != x[25]  using generic constraint 
0.33/0.46	c intension x[7] != x[26]  using generic constraint 
0.33/0.46	c intension x[7] != x[27]  using generic constraint 
0.33/0.46	c intension x[7] != x[28]  using generic constraint 
0.33/0.47	c intension x[7] != x[29]  using generic constraint 
0.33/0.47	c intension x[7] != x[30]  using generic constraint 
0.33/0.47	c intension x[7] != x[31]  using generic constraint 
0.33/0.47	c intension x[7] != x[32]  using generic constraint 
0.33/0.47	c intension x[7] != x[33]  using generic constraint 
0.33/0.47	c intension x[7] != x[34]  using generic constraint 
0.33/0.47	c intension x[7] != x[35]  using generic constraint 
0.33/0.47	c intension x[7] != x[36]  using generic constraint 
0.33/0.47	c intension x[7] != x[37]  using generic constraint 
0.33/0.47	c intension x[7] != x[38]  using generic constraint 
0.33/0.47	c intension x[7] != x[39]  using generic constraint 
0.33/0.48	c intension x[7] != x[40]  using generic constraint 
0.33/0.48	c intension x[7] != x[41]  using generic constraint 
0.33/0.48	c intension x[7] != x[42]  using generic constraint 
0.33/0.48	c intension x[7] != x[43]  using generic constraint 
0.33/0.48	c intension x[7] != x[44]  using generic constraint 
0.33/0.48	c intension x[7] != x[45]  using generic constraint 
0.33/0.48	c intension x[7] != x[46]  using generic constraint 
0.33/0.48	c intension x[7] != x[47]  using generic constraint 
0.33/0.48	c intension x[7] != x[48]  using generic constraint 
0.33/0.48	c intension x[7] != x[49]  using generic constraint 
0.33/0.48	c intension x[7] != x[50]  using generic constraint 
0.33/0.49	c intension x[7] != x[51]  using generic constraint 
0.33/0.49	c intension x[7] != x[52]  using generic constraint 
0.33/0.49	c intension x[7] != x[53]  using generic constraint 
0.33/0.49	c intension x[7] != x[54]  using generic constraint 
0.33/0.49	c intension x[7] != x[55]  using generic constraint 
0.33/0.49	c intension x[7] != x[56]  using generic constraint 
0.33/0.49	c intension x[7] != x[57]  using generic constraint 
0.33/0.49	c intension x[7] != x[58]  using generic constraint 
0.33/0.49	c intension x[7] != x[59]  using generic constraint 
0.33/0.49	c intension x[7] != x[60]  using generic constraint 
0.33/0.49	c intension x[7] != x[61]  using generic constraint 
0.33/0.49	c intension x[7] != x[62]  using generic constraint 
0.43/0.50	c intension x[7] != x[63]  using generic constraint 
0.43/0.50	c intension x[8] != x[10]  using generic constraint 
0.43/0.50	c intension x[8] != x[11]  using generic constraint 
0.43/0.50	c intension x[8] != x[12]  using generic constraint 
0.43/0.50	c intension x[8] != x[13]  using generic constraint 
0.43/0.50	c intension x[8] != x[14]  using generic constraint 
0.43/0.50	c intension x[8] != x[15]  using generic constraint 
0.43/0.50	c intension x[8] != x[16]  using generic constraint 
0.43/0.50	c intension x[8] != x[17]  using generic constraint 
0.43/0.50	c intension x[8] != x[18]  using generic constraint 
0.43/0.50	c intension x[8] != x[19]  using generic constraint 
0.43/0.51	c intension x[8] != x[20]  using generic constraint 
0.43/0.51	c intension x[8] != x[21]  using generic constraint 
0.43/0.51	c intension x[8] != x[22]  using generic constraint 
0.43/0.51	c intension x[8] != x[23]  using generic constraint 
0.43/0.51	c intension x[8] != x[24]  using generic constraint 
0.43/0.51	c intension x[8] != x[25]  using generic constraint 
0.43/0.51	c intension x[8] != x[26]  using generic constraint 
0.43/0.51	c intension x[8] != x[27]  using generic constraint 
0.43/0.51	c intension x[8] != x[28]  using generic constraint 
0.43/0.51	c intension x[8] != x[29]  using generic constraint 
0.43/0.51	c intension x[8] != x[30]  using generic constraint 
0.43/0.52	c intension x[8] != x[31]  using generic constraint 
0.43/0.52	c intension x[8] != x[32]  using generic constraint 
0.43/0.52	c intension x[8] != x[33]  using generic constraint 
0.43/0.52	c intension x[8] != x[34]  using generic constraint 
0.43/0.52	c intension x[8] != x[35]  using generic constraint 
0.43/0.52	c intension x[8] != x[36]  using generic constraint 
0.43/0.52	c intension x[8] != x[37]  using generic constraint 
0.43/0.52	c intension x[8] != x[38]  using generic constraint 
0.43/0.52	c intension x[8] != x[39]  using generic constraint 
0.43/0.52	c intension x[8] != x[40]  using generic constraint 
0.43/0.52	c intension x[8] != x[41]  using generic constraint 
0.43/0.53	c intension x[8] != x[42]  using generic constraint 
0.43/0.53	c intension x[8] != x[43]  using generic constraint 
0.43/0.53	c intension x[8] != x[44]  using generic constraint 
0.43/0.53	c intension x[8] != x[45]  using generic constraint 
0.43/0.53	c intension x[8] != x[46]  using generic constraint 
0.43/0.53	c intension x[8] != x[47]  using generic constraint 
0.43/0.53	c intension x[8] != x[48]  using generic constraint 
0.43/0.53	c intension x[8] != x[49]  using generic constraint 
0.43/0.53	c intension x[8] != x[50]  using generic constraint 
0.43/0.53	c intension x[8] != x[51]  using generic constraint 
0.43/0.53	c intension x[8] != x[52]  using generic constraint 
0.43/0.54	c intension x[8] != x[53]  using generic constraint 
0.43/0.54	c intension x[8] != x[54]  using generic constraint 
0.43/0.54	c intension x[8] != x[55]  using generic constraint 
0.43/0.54	c intension x[8] != x[56]  using generic constraint 
0.43/0.54	c intension x[8] != x[57]  using generic constraint 
0.43/0.54	c intension x[8] != x[58]  using generic constraint 
0.43/0.54	c intension x[8] != x[59]  using generic constraint 
0.43/0.54	c intension x[8] != x[60]  using generic constraint 
0.43/0.54	c intension x[8] != x[61]  using generic constraint 
0.43/0.54	c intension x[8] != x[62]  using generic constraint 
0.43/0.54	c intension x[8] != x[63]  using generic constraint 
0.43/0.55	c intension x[9] != x[11]  using generic constraint 
0.43/0.55	c intension x[9] != x[12]  using generic constraint 
0.43/0.55	c intension x[9] != x[13]  using generic constraint 
0.43/0.55	c intension x[9] != x[14]  using generic constraint 
0.43/0.55	c intension x[9] != x[15]  using generic constraint 
0.43/0.55	c intension x[9] != x[16]  using generic constraint 
0.43/0.55	c intension x[9] != x[17]  using generic constraint 
0.43/0.55	c intension x[9] != x[18]  using generic constraint 
0.43/0.55	c intension x[9] != x[19]  using generic constraint 
0.43/0.55	c intension x[9] != x[20]  using generic constraint 
0.43/0.55	c intension x[9] != x[21]  using generic constraint 
0.43/0.55	c intension x[9] != x[22]  using generic constraint 
0.43/0.56	c intension x[9] != x[23]  using generic constraint 
0.43/0.56	c intension x[9] != x[24]  using generic constraint 
0.43/0.56	c intension x[9] != x[25]  using generic constraint 
0.43/0.56	c intension x[9] != x[26]  using generic constraint 
0.43/0.56	c intension x[9] != x[27]  using generic constraint 
0.43/0.56	c intension x[9] != x[28]  using generic constraint 
0.43/0.56	c intension x[9] != x[29]  using generic constraint 
0.43/0.56	c intension x[9] != x[30]  using generic constraint 
0.43/0.56	c intension x[9] != x[31]  using generic constraint 
0.43/0.56	c intension x[9] != x[32]  using generic constraint 
0.43/0.56	c intension x[9] != x[33]  using generic constraint 
0.43/0.57	c intension x[9] != x[34]  using generic constraint 
0.43/0.57	c intension x[9] != x[35]  using generic constraint 
0.43/0.57	c intension x[9] != x[36]  using generic constraint 
0.43/0.57	c intension x[9] != x[37]  using generic constraint 
0.43/0.57	c intension x[9] != x[38]  using generic constraint 
0.43/0.57	c intension x[9] != x[39]  using generic constraint 
0.43/0.57	c intension x[9] != x[40]  using generic constraint 
0.43/0.57	c intension x[9] != x[41]  using generic constraint 
0.43/0.57	c intension x[9] != x[42]  using generic constraint 
0.43/0.57	c intension x[9] != x[43]  using generic constraint 
0.43/0.57	c intension x[9] != x[44]  using generic constraint 
0.43/0.58	c intension x[9] != x[45]  using generic constraint 
0.43/0.58	c intension x[9] != x[46]  using generic constraint 
0.43/0.58	c intension x[9] != x[47]  using generic constraint 
0.43/0.58	c intension x[9] != x[48]  using generic constraint 
0.43/0.58	c intension x[9] != x[49]  using generic constraint 
0.43/0.58	c intension x[9] != x[50]  using generic constraint 
0.43/0.58	c intension x[9] != x[51]  using generic constraint 
0.43/0.58	c intension x[9] != x[52]  using generic constraint 
0.43/0.58	c intension x[9] != x[53]  using generic constraint 
0.43/0.58	c intension x[9] != x[54]  using generic constraint 
0.43/0.58	c intension x[9] != x[55]  using generic constraint 
0.43/0.59	c intension x[9] != x[56]  using generic constraint 
0.43/0.59	c intension x[9] != x[57]  using generic constraint 
0.43/0.59	c intension x[9] != x[58]  using generic constraint 
0.43/0.59	c intension x[9] != x[59]  using generic constraint 
0.43/0.59	c intension x[9] != x[60]  using generic constraint 
0.43/0.59	c intension x[9] != x[61]  using generic constraint 
0.43/0.59	c intension x[9] != x[62]  using generic constraint 
0.43/0.59	c intension x[9] != x[63]  using generic constraint 
0.43/0.59	c intension x[10] != x[12]  using generic constraint 
0.43/0.59	c intension x[10] != x[13]  using generic constraint 
0.43/0.59	c intension x[10] != x[14]  using generic constraint 
0.43/0.60	c intension x[10] != x[15]  using generic constraint 
0.53/0.60	c intension x[10] != x[16]  using generic constraint 
0.53/0.60	c intension x[10] != x[17]  using generic constraint 
0.53/0.60	c intension x[10] != x[18]  using generic constraint 
0.53/0.60	c intension x[10] != x[19]  using generic constraint 
0.53/0.60	c intension x[10] != x[20]  using generic constraint 
0.53/0.60	c intension x[10] != x[21]  using generic constraint 
0.53/0.60	c intension x[10] != x[22]  using generic constraint 
0.53/0.60	c intension x[10] != x[23]  using generic constraint 
0.53/0.60	c intension x[10] != x[24]  using generic constraint 
0.53/0.60	c intension x[10] != x[25]  using generic constraint 
0.53/0.61	c intension x[10] != x[26]  using generic constraint 
0.53/0.61	c intension x[10] != x[27]  using generic constraint 
0.53/0.61	c intension x[10] != x[28]  using generic constraint 
0.53/0.61	c intension x[10] != x[29]  using generic constraint 
0.53/0.61	c intension x[10] != x[30]  using generic constraint 
0.53/0.61	c intension x[10] != x[31]  using generic constraint 
0.53/0.61	c intension x[10] != x[32]  using generic constraint 
0.53/0.61	c intension x[10] != x[33]  using generic constraint 
0.53/0.61	c intension x[10] != x[34]  using generic constraint 
0.53/0.61	c intension x[10] != x[35]  using generic constraint 
0.53/0.61	c intension x[10] != x[36]  using generic constraint 
0.53/0.62	c intension x[10] != x[37]  using generic constraint 
0.53/0.62	c intension x[10] != x[38]  using generic constraint 
0.53/0.62	c intension x[10] != x[39]  using generic constraint 
0.53/0.62	c intension x[10] != x[40]  using generic constraint 
0.53/0.62	c intension x[10] != x[41]  using generic constraint 
0.53/0.62	c intension x[10] != x[42]  using generic constraint 
0.53/0.62	c intension x[10] != x[43]  using generic constraint 
0.53/0.62	c intension x[10] != x[44]  using generic constraint 
0.53/0.62	c intension x[10] != x[45]  using generic constraint 
0.53/0.62	c intension x[10] != x[46]  using generic constraint 
0.53/0.62	c intension x[10] != x[47]  using generic constraint 
0.53/0.62	c intension x[10] != x[48]  using generic constraint 
0.53/0.63	c intension x[10] != x[49]  using generic constraint 
0.53/0.63	c intension x[10] != x[50]  using generic constraint 
0.53/0.63	c intension x[10] != x[51]  using generic constraint 
0.53/0.63	c intension x[10] != x[52]  using generic constraint 
0.53/0.63	c intension x[10] != x[53]  using generic constraint 
0.53/0.63	c intension x[10] != x[54]  using generic constraint 
0.53/0.63	c intension x[10] != x[55]  using generic constraint 
0.53/0.63	c intension x[10] != x[56]  using generic constraint 
0.53/0.63	c intension x[10] != x[57]  using generic constraint 
0.53/0.63	c intension x[10] != x[58]  using generic constraint 
0.53/0.63	c intension x[10] != x[59]  using generic constraint 
0.53/0.64	c intension x[10] != x[60]  using generic constraint 
0.53/0.64	c intension x[10] != x[61]  using generic constraint 
0.53/0.64	c intension x[10] != x[62]  using generic constraint 
0.53/0.64	c intension x[10] != x[63]  using generic constraint 
0.53/0.64	c intension x[11] != x[13]  using generic constraint 
0.53/0.64	c intension x[11] != x[14]  using generic constraint 
0.53/0.64	c intension x[11] != x[15]  using generic constraint 
0.53/0.64	c intension x[11] != x[16]  using generic constraint 
0.53/0.64	c intension x[11] != x[17]  using generic constraint 
0.53/0.64	c intension x[11] != x[18]  using generic constraint 
0.53/0.64	c intension x[11] != x[19]  using generic constraint 
0.53/0.65	c intension x[11] != x[20]  using generic constraint 
0.53/0.65	c intension x[11] != x[21]  using generic constraint 
0.53/0.65	c intension x[11] != x[22]  using generic constraint 
0.53/0.65	c intension x[11] != x[23]  using generic constraint 
0.53/0.65	c intension x[11] != x[24]  using generic constraint 
0.53/0.65	c intension x[11] != x[25]  using generic constraint 
0.53/0.65	c intension x[11] != x[26]  using generic constraint 
0.53/0.65	c intension x[11] != x[27]  using generic constraint 
0.53/0.65	c intension x[11] != x[28]  using generic constraint 
0.53/0.65	c intension x[11] != x[29]  using generic constraint 
0.53/0.65	c intension x[11] != x[30]  using generic constraint 
0.53/0.66	c intension x[11] != x[31]  using generic constraint 
0.53/0.66	c intension x[11] != x[32]  using generic constraint 
0.53/0.66	c intension x[11] != x[33]  using generic constraint 
0.53/0.66	c intension x[11] != x[34]  using generic constraint 
0.53/0.66	c intension x[11] != x[35]  using generic constraint 
0.53/0.66	c intension x[11] != x[36]  using generic constraint 
0.53/0.66	c intension x[11] != x[37]  using generic constraint 
0.53/0.66	c intension x[11] != x[38]  using generic constraint 
0.53/0.66	c intension x[11] != x[39]  using generic constraint 
0.53/0.66	c intension x[11] != x[40]  using generic constraint 
0.53/0.66	c intension x[11] != x[41]  using generic constraint 
0.53/0.67	c intension x[11] != x[42]  using generic constraint 
0.53/0.67	c intension x[11] != x[43]  using generic constraint 
0.53/0.67	c intension x[11] != x[44]  using generic constraint 
0.53/0.67	c intension x[11] != x[45]  using generic constraint 
0.53/0.67	c intension x[11] != x[46]  using generic constraint 
0.53/0.67	c intension x[11] != x[47]  using generic constraint 
0.53/0.67	c intension x[11] != x[48]  using generic constraint 
0.53/0.67	c intension x[11] != x[49]  using generic constraint 
0.53/0.67	c intension x[11] != x[50]  using generic constraint 
0.53/0.67	c intension x[11] != x[51]  using generic constraint 
0.53/0.67	c intension x[11] != x[52]  using generic constraint 
0.53/0.67	c intension x[11] != x[53]  using generic constraint 
0.53/0.68	c intension x[11] != x[54]  using generic constraint 
0.53/0.68	c intension x[11] != x[55]  using generic constraint 
0.53/0.68	c intension x[11] != x[56]  using generic constraint 
0.53/0.68	c intension x[11] != x[57]  using generic constraint 
0.53/0.68	c intension x[11] != x[58]  using generic constraint 
0.53/0.68	c intension x[11] != x[59]  using generic constraint 
0.53/0.68	c intension x[11] != x[60]  using generic constraint 
0.53/0.68	c intension x[11] != x[61]  using generic constraint 
0.53/0.68	c intension x[11] != x[62]  using generic constraint 
0.53/0.68	c intension x[11] != x[63]  using generic constraint 
0.53/0.68	c intension x[12] != x[14]  using generic constraint 
0.53/0.69	c intension x[12] != x[15]  using generic constraint 
0.53/0.69	c intension x[12] != x[16]  using generic constraint 
0.53/0.69	c intension x[12] != x[17]  using generic constraint 
0.53/0.69	c intension x[12] != x[18]  using generic constraint 
0.53/0.69	c intension x[12] != x[19]  using generic constraint 
0.53/0.69	c intension x[12] != x[20]  using generic constraint 
0.53/0.69	c intension x[12] != x[21]  using generic constraint 
0.53/0.69	c intension x[12] != x[22]  using generic constraint 
0.53/0.69	c intension x[12] != x[23]  using generic constraint 
0.53/0.69	c intension x[12] != x[24]  using generic constraint 
0.53/0.69	c intension x[12] != x[25]  using generic constraint 
0.63/0.70	c intension x[12] != x[26]  using generic constraint 
0.63/0.70	c intension x[12] != x[27]  using generic constraint 
0.63/0.70	c intension x[12] != x[28]  using generic constraint 
0.63/0.70	c intension x[12] != x[29]  using generic constraint 
0.63/0.70	c intension x[12] != x[30]  using generic constraint 
0.63/0.70	c intension x[12] != x[31]  using generic constraint 
0.63/0.70	c intension x[12] != x[32]  using generic constraint 
0.63/0.70	c intension x[12] != x[33]  using generic constraint 
0.63/0.70	c intension x[12] != x[34]  using generic constraint 
0.63/0.70	c intension x[12] != x[35]  using generic constraint 
0.63/0.70	c intension x[12] != x[36]  using generic constraint 
0.63/0.71	c intension x[12] != x[37]  using generic constraint 
0.63/0.71	c intension x[12] != x[38]  using generic constraint 
0.63/0.71	c intension x[12] != x[39]  using generic constraint 
0.63/0.71	c intension x[12] != x[40]  using generic constraint 
0.63/0.71	c intension x[12] != x[41]  using generic constraint 
0.63/0.71	c intension x[12] != x[42]  using generic constraint 
0.63/0.71	c intension x[12] != x[43]  using generic constraint 
0.63/0.71	c intension x[12] != x[44]  using generic constraint 
0.63/0.71	c intension x[12] != x[45]  using generic constraint 
0.63/0.71	c intension x[12] != x[46]  using generic constraint 
0.63/0.71	c intension x[12] != x[47]  using generic constraint 
0.63/0.72	c intension x[12] != x[48]  using generic constraint 
0.63/0.72	c intension x[12] != x[49]  using generic constraint 
0.63/0.72	c intension x[12] != x[50]  using generic constraint 
0.63/0.72	c intension x[12] != x[51]  using generic constraint 
0.63/0.72	c intension x[12] != x[52]  using generic constraint 
0.63/0.72	c intension x[12] != x[53]  using generic constraint 
0.63/0.72	c intension x[12] != x[54]  using generic constraint 
0.63/0.72	c intension x[12] != x[55]  using generic constraint 
0.63/0.72	c intension x[12] != x[56]  using generic constraint 
0.63/0.72	c intension x[12] != x[57]  using generic constraint 
0.63/0.72	c intension x[12] != x[58]  using generic constraint 
0.63/0.73	c intension x[12] != x[59]  using generic constraint 
0.63/0.73	c intension x[12] != x[60]  using generic constraint 
0.63/0.73	c intension x[12] != x[61]  using generic constraint 
0.63/0.73	c intension x[12] != x[62]  using generic constraint 
0.63/0.73	c intension x[12] != x[63]  using generic constraint 
0.63/0.73	c intension x[13] != x[15]  using generic constraint 
0.63/0.73	c intension x[13] != x[16]  using generic constraint 
0.63/0.73	c intension x[13] != x[17]  using generic constraint 
0.63/0.73	c intension x[13] != x[18]  using generic constraint 
0.63/0.73	c intension x[13] != x[19]  using generic constraint 
0.63/0.73	c intension x[13] != x[20]  using generic constraint 
0.63/0.74	c intension x[13] != x[21]  using generic constraint 
0.63/0.74	c intension x[13] != x[22]  using generic constraint 
0.63/0.74	c intension x[13] != x[23]  using generic constraint 
0.63/0.74	c intension x[13] != x[24]  using generic constraint 
0.63/0.74	c intension x[13] != x[25]  using generic constraint 
0.63/0.74	c intension x[13] != x[26]  using generic constraint 
0.63/0.74	c intension x[13] != x[27]  using generic constraint 
0.63/0.74	c intension x[13] != x[28]  using generic constraint 
0.63/0.74	c intension x[13] != x[29]  using generic constraint 
0.63/0.74	c intension x[13] != x[30]  using generic constraint 
0.63/0.74	c intension x[13] != x[31]  using generic constraint 
0.63/0.75	c intension x[13] != x[32]  using generic constraint 
0.63/0.75	c intension x[13] != x[33]  using generic constraint 
0.63/0.75	c intension x[13] != x[34]  using generic constraint 
0.63/0.75	c intension x[13] != x[35]  using generic constraint 
0.63/0.75	c intension x[13] != x[36]  using generic constraint 
0.63/0.75	c intension x[13] != x[37]  using generic constraint 
0.63/0.75	c intension x[13] != x[38]  using generic constraint 
0.63/0.75	c intension x[13] != x[39]  using generic constraint 
0.63/0.75	c intension x[13] != x[40]  using generic constraint 
0.63/0.75	c intension x[13] != x[41]  using generic constraint 
0.63/0.75	c intension x[13] != x[42]  using generic constraint 
0.63/0.76	c intension x[13] != x[43]  using generic constraint 
0.63/0.76	c intension x[13] != x[44]  using generic constraint 
0.63/0.76	c intension x[13] != x[45]  using generic constraint 
0.63/0.76	c intension x[13] != x[46]  using generic constraint 
0.63/0.76	c intension x[13] != x[47]  using generic constraint 
0.63/0.76	c intension x[13] != x[48]  using generic constraint 
0.63/0.76	c intension x[13] != x[49]  using generic constraint 
0.63/0.76	c intension x[13] != x[50]  using generic constraint 
0.63/0.76	c intension x[13] != x[51]  using generic constraint 
0.63/0.76	c intension x[13] != x[52]  using generic constraint 
0.63/0.76	c intension x[13] != x[53]  using generic constraint 
0.63/0.77	c intension x[13] != x[54]  using generic constraint 
0.63/0.77	c intension x[13] != x[55]  using generic constraint 
0.63/0.77	c intension x[13] != x[56]  using generic constraint 
0.63/0.77	c intension x[13] != x[57]  using generic constraint 
0.63/0.77	c intension x[13] != x[58]  using generic constraint 
0.63/0.77	c intension x[13] != x[59]  using generic constraint 
0.63/0.77	c intension x[13] != x[60]  using generic constraint 
0.63/0.77	c intension x[13] != x[61]  using generic constraint 
0.63/0.77	c intension x[13] != x[62]  using generic constraint 
0.63/0.77	c intension x[13] != x[63]  using generic constraint 
0.63/0.77	c intension x[14] != x[16]  using generic constraint 
0.63/0.78	c intension x[14] != x[17]  using generic constraint 
0.63/0.78	c intension x[14] != x[18]  using generic constraint 
0.63/0.78	c intension x[14] != x[19]  using generic constraint 
0.63/0.78	c intension x[14] != x[20]  using generic constraint 
0.63/0.78	c intension x[14] != x[21]  using generic constraint 
0.63/0.78	c intension x[14] != x[22]  using generic constraint 
0.63/0.78	c intension x[14] != x[23]  using generic constraint 
0.63/0.78	c intension x[14] != x[24]  using generic constraint 
0.63/0.78	c intension x[14] != x[25]  using generic constraint 
0.63/0.78	c intension x[14] != x[26]  using generic constraint 
0.63/0.78	c intension x[14] != x[27]  using generic constraint 
0.63/0.79	c intension x[14] != x[28]  using generic constraint 
0.63/0.79	c intension x[14] != x[29]  using generic constraint 
0.63/0.79	c intension x[14] != x[30]  using generic constraint 
0.63/0.79	c intension x[14] != x[31]  using generic constraint 
0.63/0.79	c intension x[14] != x[32]  using generic constraint 
0.63/0.79	c intension x[14] != x[33]  using generic constraint 
0.63/0.79	c intension x[14] != x[34]  using generic constraint 
0.63/0.79	c intension x[14] != x[35]  using generic constraint 
0.63/0.79	c intension x[14] != x[36]  using generic constraint 
0.63/0.79	c intension x[14] != x[37]  using generic constraint 
0.63/0.79	c intension x[14] != x[38]  using generic constraint 
0.63/0.79	c intension x[14] != x[39]  using generic constraint 
0.73/0.80	c intension x[14] != x[40]  using generic constraint 
0.73/0.80	c intension x[14] != x[41]  using generic constraint 
0.73/0.80	c intension x[14] != x[42]  using generic constraint 
0.73/0.80	c intension x[14] != x[43]  using generic constraint 
0.73/0.80	c intension x[14] != x[44]  using generic constraint 
0.73/0.80	c intension x[14] != x[45]  using generic constraint 
0.73/0.80	c intension x[14] != x[46]  using generic constraint 
0.73/0.80	c intension x[14] != x[47]  using generic constraint 
0.73/0.80	c intension x[14] != x[48]  using generic constraint 
0.73/0.80	c intension x[14] != x[49]  using generic constraint 
0.73/0.81	c intension x[14] != x[50]  using generic constraint 
0.73/0.81	c intension x[14] != x[51]  using generic constraint 
0.73/0.81	c intension x[14] != x[52]  using generic constraint 
0.73/0.81	c intension x[14] != x[53]  using generic constraint 
0.73/0.81	c intension x[14] != x[54]  using generic constraint 
0.73/0.81	c intension x[14] != x[55]  using generic constraint 
0.73/0.81	c intension x[14] != x[56]  using generic constraint 
0.73/0.81	c intension x[14] != x[57]  using generic constraint 
0.73/0.81	c intension x[14] != x[58]  using generic constraint 
0.73/0.81	c intension x[14] != x[59]  using generic constraint 
0.73/0.81	c intension x[14] != x[60]  using generic constraint 
0.73/0.81	c intension x[14] != x[61]  using generic constraint 
0.73/0.82	c intension x[14] != x[62]  using generic constraint 
0.73/0.82	c intension x[14] != x[63]  using generic constraint 
0.73/0.82	c intension x[15] != x[17]  using generic constraint 
0.73/0.82	c intension x[15] != x[18]  using generic constraint 
0.73/0.82	c intension x[15] != x[19]  using generic constraint 
0.73/0.82	c intension x[15] != x[20]  using generic constraint 
0.73/0.82	c intension x[15] != x[21]  using generic constraint 
0.73/0.82	c intension x[15] != x[22]  using generic constraint 
0.73/0.82	c intension x[15] != x[23]  using generic constraint 
0.73/0.82	c intension x[15] != x[24]  using generic constraint 
0.73/0.82	c intension x[15] != x[25]  using generic constraint 
0.73/0.83	c intension x[15] != x[26]  using generic constraint 
0.73/0.83	c intension x[15] != x[27]  using generic constraint 
0.73/0.83	c intension x[15] != x[28]  using generic constraint 
0.73/0.83	c intension x[15] != x[29]  using generic constraint 
0.73/0.83	c intension x[15] != x[30]  using generic constraint 
0.73/0.83	c intension x[15] != x[31]  using generic constraint 
0.73/0.83	c intension x[15] != x[32]  using generic constraint 
0.73/0.83	c intension x[15] != x[33]  using generic constraint 
0.73/0.83	c intension x[15] != x[34]  using generic constraint 
0.73/0.83	c intension x[15] != x[35]  using generic constraint 
0.73/0.83	c intension x[15] != x[36]  using generic constraint 
0.73/0.84	c intension x[15] != x[37]  using generic constraint 
0.73/0.84	c intension x[15] != x[38]  using generic constraint 
0.73/0.84	c intension x[15] != x[39]  using generic constraint 
0.73/0.84	c intension x[15] != x[40]  using generic constraint 
0.73/0.84	c intension x[15] != x[41]  using generic constraint 
0.73/0.84	c intension x[15] != x[42]  using generic constraint 
0.73/0.84	c intension x[15] != x[43]  using generic constraint 
0.73/0.84	c intension x[15] != x[44]  using generic constraint 
0.73/0.84	c intension x[15] != x[45]  using generic constraint 
0.73/0.84	c intension x[15] != x[46]  using generic constraint 
0.73/0.84	c intension x[15] != x[47]  using generic constraint 
0.73/0.85	c intension x[15] != x[48]  using generic constraint 
0.73/0.85	c intension x[15] != x[49]  using generic constraint 
0.73/0.85	c intension x[15] != x[50]  using generic constraint 
0.73/0.85	c intension x[15] != x[51]  using generic constraint 
0.73/0.85	c intension x[15] != x[52]  using generic constraint 
0.73/0.85	c intension x[15] != x[53]  using generic constraint 
0.73/0.85	c intension x[15] != x[54]  using generic constraint 
0.73/0.85	c intension x[15] != x[55]  using generic constraint 
0.73/0.85	c intension x[15] != x[56]  using generic constraint 
0.73/0.85	c intension x[15] != x[57]  using generic constraint 
0.73/0.85	c intension x[15] != x[58]  using generic constraint 
0.73/0.86	c intension x[15] != x[59]  using generic constraint 
0.73/0.86	c intension x[15] != x[60]  using generic constraint 
0.73/0.86	c intension x[15] != x[61]  using generic constraint 
0.73/0.86	c intension x[15] != x[62]  using generic constraint 
0.73/0.86	c intension x[15] != x[63]  using generic constraint 
0.73/0.86	c intension x[16] != x[18]  using generic constraint 
0.73/0.86	c intension x[16] != x[19]  using generic constraint 
0.73/0.86	c intension x[16] != x[20]  using generic constraint 
0.73/0.86	c intension x[16] != x[21]  using generic constraint 
0.73/0.86	c intension x[16] != x[22]  using generic constraint 
0.73/0.86	c intension x[16] != x[23]  using generic constraint 
0.73/0.87	c intension x[16] != x[24]  using generic constraint 
0.73/0.87	c intension x[16] != x[25]  using generic constraint 
0.73/0.87	c intension x[16] != x[26]  using generic constraint 
0.73/0.87	c intension x[16] != x[27]  using generic constraint 
0.73/0.87	c intension x[16] != x[28]  using generic constraint 
0.73/0.87	c intension x[16] != x[29]  using generic constraint 
0.73/0.87	c intension x[16] != x[30]  using generic constraint 
0.73/0.87	c intension x[16] != x[31]  using generic constraint 
0.73/0.87	c intension x[16] != x[32]  using generic constraint 
0.73/0.87	c intension x[16] != x[33]  using generic constraint 
0.73/0.87	c intension x[16] != x[34]  using generic constraint 
0.73/0.88	c intension x[16] != x[35]  using generic constraint 
0.73/0.88	c intension x[16] != x[36]  using generic constraint 
0.73/0.88	c intension x[16] != x[37]  using generic constraint 
0.73/0.88	c intension x[16] != x[38]  using generic constraint 
0.73/0.88	c intension x[16] != x[39]  using generic constraint 
0.73/0.88	c intension x[16] != x[40]  using generic constraint 
0.73/0.88	c intension x[16] != x[41]  using generic constraint 
0.73/0.88	c intension x[16] != x[42]  using generic constraint 
0.73/0.88	c intension x[16] != x[43]  using generic constraint 
0.73/0.88	c intension x[16] != x[44]  using generic constraint 
0.73/0.88	c intension x[16] != x[45]  using generic constraint 
0.73/0.89	c intension x[16] != x[46]  using generic constraint 
0.73/0.89	c intension x[16] != x[47]  using generic constraint 
0.73/0.89	c intension x[16] != x[48]  using generic constraint 
0.73/0.89	c intension x[16] != x[49]  using generic constraint 
0.73/0.89	c intension x[16] != x[50]  using generic constraint 
0.73/0.89	c intension x[16] != x[51]  using generic constraint 
0.73/0.89	c intension x[16] != x[52]  using generic constraint 
0.73/0.89	c intension x[16] != x[53]  using generic constraint 
0.73/0.89	c intension x[16] != x[54]  using generic constraint 
0.73/0.89	c intension x[16] != x[55]  using generic constraint 
0.73/0.89	c intension x[16] != x[56]  using generic constraint 
0.73/0.90	c intension x[16] != x[57]  using generic constraint 
0.83/0.90	c intension x[16] != x[58]  using generic constraint 
0.83/0.90	c intension x[16] != x[59]  using generic constraint 
0.83/0.90	c intension x[16] != x[60]  using generic constraint 
0.83/0.90	c intension x[16] != x[61]  using generic constraint 
0.83/0.90	c intension x[16] != x[62]  using generic constraint 
0.83/0.90	c intension x[16] != x[63]  using generic constraint 
0.83/0.90	c intension x[17] != x[19]  using generic constraint 
0.83/0.90	c intension x[17] != x[20]  using generic constraint 
0.83/0.90	c intension x[17] != x[21]  using generic constraint 
0.83/0.90	c intension x[17] != x[22]  using generic constraint 
0.83/0.91	c intension x[17] != x[23]  using generic constraint 
0.83/0.91	c intension x[17] != x[24]  using generic constraint 
0.83/0.91	c intension x[17] != x[25]  using generic constraint 
0.83/0.91	c intension x[17] != x[26]  using generic constraint 
0.83/0.91	c intension x[17] != x[27]  using generic constraint 
0.83/0.91	c intension x[17] != x[28]  using generic constraint 
0.83/0.91	c intension x[17] != x[29]  using generic constraint 
0.83/0.91	c intension x[17] != x[30]  using generic constraint 
0.83/0.91	c intension x[17] != x[31]  using generic constraint 
0.83/0.91	c intension x[17] != x[32]  using generic constraint 
0.83/0.91	c intension x[17] != x[33]  using generic constraint 
0.83/0.92	c intension x[17] != x[34]  using generic constraint 
0.83/0.92	c intension x[17] != x[35]  using generic constraint 
0.83/0.92	c intension x[17] != x[36]  using generic constraint 
0.83/0.92	c intension x[17] != x[37]  using generic constraint 
0.83/0.92	c intension x[17] != x[38]  using generic constraint 
0.83/0.92	c intension x[17] != x[39]  using generic constraint 
0.83/0.92	c intension x[17] != x[40]  using generic constraint 
0.83/0.92	c intension x[17] != x[41]  using generic constraint 
0.83/0.92	c intension x[17] != x[42]  using generic constraint 
0.83/0.92	c intension x[17] != x[43]  using generic constraint 
0.83/0.92	c intension x[17] != x[44]  using generic constraint 
0.83/0.93	c intension x[17] != x[45]  using generic constraint 
0.83/0.93	c intension x[17] != x[46]  using generic constraint 
0.83/0.93	c intension x[17] != x[47]  using generic constraint 
0.83/0.93	c intension x[17] != x[48]  using generic constraint 
0.83/0.93	c intension x[17] != x[49]  using generic constraint 
0.83/0.93	c intension x[17] != x[50]  using generic constraint 
0.83/0.93	c intension x[17] != x[51]  using generic constraint 
0.83/0.93	c intension x[17] != x[52]  using generic constraint 
0.83/0.93	c intension x[17] != x[53]  using generic constraint 
0.83/0.93	c intension x[17] != x[54]  using generic constraint 
0.83/0.93	c intension x[17] != x[55]  using generic constraint 
0.83/0.94	c intension x[17] != x[56]  using generic constraint 
0.83/0.94	c intension x[17] != x[57]  using generic constraint 
0.83/0.94	c intension x[17] != x[58]  using generic constraint 
0.83/0.94	c intension x[17] != x[59]  using generic constraint 
0.83/0.94	c intension x[17] != x[60]  using generic constraint 
0.83/0.94	c intension x[17] != x[61]  using generic constraint 
0.83/0.94	c intension x[17] != x[62]  using generic constraint 
0.83/0.94	c intension x[17] != x[63]  using generic constraint 
0.83/0.94	c intension x[18] != x[20]  using generic constraint 
0.83/0.94	c intension x[18] != x[21]  using generic constraint 
0.83/0.94	c intension x[18] != x[22]  using generic constraint 
0.83/0.95	c intension x[18] != x[23]  using generic constraint 
0.83/0.95	c intension x[18] != x[24]  using generic constraint 
0.83/0.95	c intension x[18] != x[25]  using generic constraint 
0.83/0.95	c intension x[18] != x[26]  using generic constraint 
0.83/0.95	c intension x[18] != x[27]  using generic constraint 
0.83/0.95	c intension x[18] != x[28]  using generic constraint 
0.83/0.95	c intension x[18] != x[29]  using generic constraint 
0.83/0.95	c intension x[18] != x[30]  using generic constraint 
0.83/0.95	c intension x[18] != x[31]  using generic constraint 
0.83/0.97	c intension x[18] != x[32]  using generic constraint 
0.83/0.97	c intension x[18] != x[33]  using generic constraint 
0.83/0.97	c intension x[18] != x[34]  using generic constraint 
0.83/0.97	c intension x[18] != x[35]  using generic constraint 
0.83/0.97	c intension x[18] != x[36]  using generic constraint 
0.83/0.97	c intension x[18] != x[37]  using generic constraint 
0.83/0.97	c intension x[18] != x[38]  using generic constraint 
0.83/0.97	c intension x[18] != x[39]  using generic constraint 
0.83/0.97	c intension x[18] != x[40]  using generic constraint 
0.83/0.97	c intension x[18] != x[41]  using generic constraint 
0.83/0.97	c intension x[18] != x[42]  using generic constraint 
0.83/0.97	c intension x[18] != x[43]  using generic constraint 
0.83/0.97	c intension x[18] != x[44]  using generic constraint 
0.83/0.97	c intension x[18] != x[45]  using generic constraint 
0.83/0.97	c intension x[18] != x[46]  using generic constraint 
0.83/0.97	c intension x[18] != x[47]  using generic constraint 
0.83/0.97	c intension x[18] != x[48]  using generic constraint 
0.83/0.97	c intension x[18] != x[49]  using generic constraint 
0.83/0.97	c intension x[18] != x[50]  using generic constraint 
0.83/0.97	c intension x[18] != x[51]  using generic constraint 
0.83/0.97	c intension x[18] != x[52]  using generic constraint 
0.83/0.97	c intension x[18] != x[53]  using generic constraint 
0.83/0.97	c intension x[18] != x[54]  using generic constraint 
0.83/0.97	c intension x[18] != x[55]  using generic constraint 
0.83/0.97	c intension x[18] != x[56]  using generic constraint 
0.83/0.98	c intension x[18] != x[57]  using generic constraint 
0.83/0.98	c intension x[18] != x[58]  using generic constraint 
0.83/0.98	c intension x[18] != x[59]  using generic constraint 
0.83/0.98	c intension x[18] != x[60]  using generic constraint 
0.83/0.98	c intension x[18] != x[61]  using generic constraint 
0.83/0.98	c intension x[18] != x[62]  using generic constraint 
0.83/0.98	c intension x[18] != x[63]  using generic constraint 
0.83/0.98	c intension x[19] != x[21]  using generic constraint 
0.83/0.98	c intension x[19] != x[22]  using generic constraint 
0.83/0.98	c intension x[19] != x[23]  using generic constraint 
0.83/0.98	c intension x[19] != x[24]  using generic constraint 
0.83/0.99	c intension x[19] != x[25]  using generic constraint 
0.83/0.99	c intension x[19] != x[26]  using generic constraint 
0.83/0.99	c intension x[19] != x[27]  using generic constraint 
0.83/0.99	c intension x[19] != x[28]  using generic constraint 
0.83/0.99	c intension x[19] != x[29]  using generic constraint 
0.83/0.99	c intension x[19] != x[30]  using generic constraint 
0.83/0.99	c intension x[19] != x[31]  using generic constraint 
0.83/0.99	c intension x[19] != x[32]  using generic constraint 
0.83/0.99	c intension x[19] != x[33]  using generic constraint 
0.83/0.99	c intension x[19] != x[34]  using generic constraint 
0.83/0.99	c intension x[19] != x[35]  using generic constraint 
0.93/1.00	c intension x[19] != x[36]  using generic constraint 
0.93/1.00	c intension x[19] != x[37]  using generic constraint 
0.93/1.00	c intension x[19] != x[38]  using generic constraint 
0.93/1.00	c intension x[19] != x[39]  using generic constraint 
0.93/1.00	c intension x[19] != x[40]  using generic constraint 
0.93/1.00	c intension x[19] != x[41]  using generic constraint 
0.93/1.00	c intension x[19] != x[42]  using generic constraint 
0.93/1.00	c intension x[19] != x[43]  using generic constraint 
0.93/1.00	c intension x[19] != x[44]  using generic constraint 
0.93/1.00	c intension x[19] != x[45]  using generic constraint 
0.93/1.01	c intension x[19] != x[46]  using generic constraint 
0.93/1.01	c intension x[19] != x[47]  using generic constraint 
0.93/1.01	c intension x[19] != x[48]  using generic constraint 
0.93/1.01	c intension x[19] != x[49]  using generic constraint 
0.93/1.01	c intension x[19] != x[50]  using generic constraint 
0.93/1.01	c intension x[19] != x[51]  using generic constraint 
0.93/1.01	c intension x[19] != x[52]  using generic constraint 
0.93/1.01	c intension x[19] != x[53]  using generic constraint 
0.93/1.01	c intension x[19] != x[54]  using generic constraint 
0.93/1.01	c intension x[19] != x[55]  using generic constraint 
0.93/1.01	c intension x[19] != x[56]  using generic constraint 
0.93/1.02	c intension x[19] != x[57]  using generic constraint 
0.93/1.02	c intension x[19] != x[58]  using generic constraint 
0.93/1.02	c intension x[19] != x[59]  using generic constraint 
0.93/1.02	c intension x[19] != x[60]  using generic constraint 
0.93/1.02	c intension x[19] != x[61]  using generic constraint 
0.93/1.02	c intension x[19] != x[62]  using generic constraint 
0.93/1.02	c intension x[19] != x[63]  using generic constraint 
0.93/1.02	c intension x[20] != x[22]  using generic constraint 
0.93/1.02	c intension x[20] != x[23]  using generic constraint 
0.93/1.02	c intension x[20] != x[24]  using generic constraint 
0.93/1.02	c intension x[20] != x[25]  using generic constraint 
0.93/1.03	c intension x[20] != x[26]  using generic constraint 
0.93/1.03	c intension x[20] != x[27]  using generic constraint 
0.93/1.03	c intension x[20] != x[28]  using generic constraint 
0.93/1.03	c intension x[20] != x[29]  using generic constraint 
0.93/1.03	c intension x[20] != x[30]  using generic constraint 
0.93/1.03	c intension x[20] != x[31]  using generic constraint 
0.93/1.03	c intension x[20] != x[32]  using generic constraint 
0.93/1.03	c intension x[20] != x[33]  using generic constraint 
0.93/1.03	c intension x[20] != x[34]  using generic constraint 
0.93/1.03	c intension x[20] != x[35]  using generic constraint 
0.93/1.03	c intension x[20] != x[36]  using generic constraint 
0.93/1.04	c intension x[20] != x[37]  using generic constraint 
0.93/1.04	c intension x[20] != x[38]  using generic constraint 
0.93/1.04	c intension x[20] != x[39]  using generic constraint 
0.93/1.04	c intension x[20] != x[40]  using generic constraint 
0.93/1.04	c intension x[20] != x[41]  using generic constraint 
0.93/1.04	c intension x[20] != x[42]  using generic constraint 
0.93/1.04	c intension x[20] != x[43]  using generic constraint 
0.93/1.04	c intension x[20] != x[44]  using generic constraint 
0.93/1.04	c intension x[20] != x[45]  using generic constraint 
0.93/1.04	c intension x[20] != x[46]  using generic constraint 
0.93/1.04	c intension x[20] != x[47]  using generic constraint 
0.93/1.05	c intension x[20] != x[48]  using generic constraint 
0.93/1.05	c intension x[20] != x[49]  using generic constraint 
0.93/1.05	c intension x[20] != x[50]  using generic constraint 
0.93/1.05	c intension x[20] != x[51]  using generic constraint 
0.93/1.05	c intension x[20] != x[52]  using generic constraint 
0.93/1.05	c intension x[20] != x[53]  using generic constraint 
0.93/1.05	c intension x[20] != x[54]  using generic constraint 
0.93/1.05	c intension x[20] != x[55]  using generic constraint 
0.93/1.05	c intension x[20] != x[56]  using generic constraint 
0.93/1.05	c intension x[20] != x[57]  using generic constraint 
0.93/1.05	c intension x[20] != x[58]  using generic constraint 
0.93/1.05	c intension x[20] != x[59]  using generic constraint 
0.93/1.06	c intension x[20] != x[60]  using generic constraint 
0.93/1.06	c intension x[20] != x[61]  using generic constraint 
0.93/1.06	c intension x[20] != x[62]  using generic constraint 
0.93/1.06	c intension x[20] != x[63]  using generic constraint 
0.93/1.06	c intension x[21] != x[23]  using generic constraint 
0.93/1.06	c intension x[21] != x[24]  using generic constraint 
0.93/1.06	c intension x[21] != x[25]  using generic constraint 
0.93/1.06	c intension x[21] != x[26]  using generic constraint 
0.93/1.06	c intension x[21] != x[27]  using generic constraint 
0.93/1.06	c intension x[21] != x[28]  using generic constraint 
0.93/1.06	c intension x[21] != x[29]  using generic constraint 
0.93/1.07	c intension x[21] != x[30]  using generic constraint 
0.93/1.07	c intension x[21] != x[31]  using generic constraint 
0.93/1.07	c intension x[21] != x[32]  using generic constraint 
0.93/1.07	c intension x[21] != x[33]  using generic constraint 
0.93/1.07	c intension x[21] != x[34]  using generic constraint 
0.93/1.07	c intension x[21] != x[35]  using generic constraint 
0.93/1.07	c intension x[21] != x[36]  using generic constraint 
0.93/1.07	c intension x[21] != x[37]  using generic constraint 
0.93/1.07	c intension x[21] != x[38]  using generic constraint 
0.93/1.07	c intension x[21] != x[39]  using generic constraint 
0.93/1.07	c intension x[21] != x[40]  using generic constraint 
0.93/1.08	c intension x[21] != x[41]  using generic constraint 
0.93/1.08	c intension x[21] != x[42]  using generic constraint 
0.93/1.08	c intension x[21] != x[43]  using generic constraint 
0.93/1.08	c intension x[21] != x[44]  using generic constraint 
0.93/1.08	c intension x[21] != x[45]  using generic constraint 
0.93/1.08	c intension x[21] != x[46]  using generic constraint 
0.93/1.08	c intension x[21] != x[47]  using generic constraint 
0.93/1.08	c intension x[21] != x[48]  using generic constraint 
0.93/1.08	c intension x[21] != x[49]  using generic constraint 
0.93/1.08	c intension x[21] != x[50]  using generic constraint 
0.93/1.09	c intension x[21] != x[51]  using generic constraint 
0.93/1.09	c intension x[21] != x[52]  using generic constraint 
0.93/1.09	c intension x[21] != x[53]  using generic constraint 
0.93/1.09	c intension x[21] != x[54]  using generic constraint 
0.93/1.09	c intension x[21] != x[55]  using generic constraint 
0.93/1.09	c intension x[21] != x[56]  using generic constraint 
0.93/1.09	c intension x[21] != x[57]  using generic constraint 
0.93/1.09	c intension x[21] != x[58]  using generic constraint 
0.93/1.09	c intension x[21] != x[59]  using generic constraint 
0.93/1.09	c intension x[21] != x[60]  using generic constraint 
0.93/1.09	c intension x[21] != x[61]  using generic constraint 
0.93/1.10	c intension x[21] != x[62]  using generic constraint 
0.93/1.10	c intension x[21] != x[63]  using generic constraint 
0.93/1.10	c intension x[22] != x[24]  using generic constraint 
0.93/1.10	c intension x[22] != x[25]  using generic constraint 
0.93/1.10	c intension x[22] != x[26]  using generic constraint 
0.93/1.10	c intension x[22] != x[27]  using generic constraint 
0.93/1.10	c intension x[22] != x[28]  using generic constraint 
1.03/1.10	c intension x[22] != x[29]  using generic constraint 
1.03/1.10	c intension x[22] != x[30]  using generic constraint 
1.03/1.10	c intension x[22] != x[31]  using generic constraint 
1.03/1.10	c intension x[22] != x[32]  using generic constraint 
1.03/1.11	c intension x[22] != x[33]  using generic constraint 
1.03/1.11	c intension x[22] != x[34]  using generic constraint 
1.03/1.11	c intension x[22] != x[35]  using generic constraint 
1.03/1.11	c intension x[22] != x[36]  using generic constraint 
1.03/1.11	c intension x[22] != x[37]  using generic constraint 
1.03/1.11	c intension x[22] != x[38]  using generic constraint 
1.03/1.11	c intension x[22] != x[39]  using generic constraint 
1.03/1.11	c intension x[22] != x[40]  using generic constraint 
1.03/1.11	c intension x[22] != x[41]  using generic constraint 
1.03/1.11	c intension x[22] != x[42]  using generic constraint 
1.03/1.11	c intension x[22] != x[43]  using generic constraint 
1.03/1.12	c intension x[22] != x[44]  using generic constraint 
1.03/1.12	c intension x[22] != x[45]  using generic constraint 
1.03/1.12	c intension x[22] != x[46]  using generic constraint 
1.03/1.12	c intension x[22] != x[47]  using generic constraint 
1.03/1.12	c intension x[22] != x[48]  using generic constraint 
1.03/1.12	c intension x[22] != x[49]  using generic constraint 
1.03/1.12	c intension x[22] != x[50]  using generic constraint 
1.03/1.12	c intension x[22] != x[51]  using generic constraint 
1.03/1.12	c intension x[22] != x[52]  using generic constraint 
1.03/1.12	c intension x[22] != x[53]  using generic constraint 
1.03/1.12	c intension x[22] != x[54]  using generic constraint 
1.03/1.13	c intension x[22] != x[55]  using generic constraint 
1.03/1.13	c intension x[22] != x[56]  using generic constraint 
1.03/1.13	c intension x[22] != x[57]  using generic constraint 
1.03/1.13	c intension x[22] != x[58]  using generic constraint 
1.03/1.13	c intension x[22] != x[59]  using generic constraint 
1.03/1.13	c intension x[22] != x[60]  using generic constraint 
1.03/1.13	c intension x[22] != x[61]  using generic constraint 
1.03/1.13	c intension x[22] != x[62]  using generic constraint 
1.03/1.13	c intension x[22] != x[63]  using generic constraint 
1.03/1.13	c intension x[23] != x[25]  using generic constraint 
1.03/1.13	c intension x[23] != x[26]  using generic constraint 
1.03/1.14	c intension x[23] != x[27]  using generic constraint 
1.03/1.14	c intension x[23] != x[28]  using generic constraint 
1.03/1.14	c intension x[23] != x[29]  using generic constraint 
1.03/1.14	c intension x[23] != x[30]  using generic constraint 
1.03/1.14	c intension x[23] != x[31]  using generic constraint 
1.03/1.14	c intension x[23] != x[32]  using generic constraint 
1.03/1.14	c intension x[23] != x[33]  using generic constraint 
1.03/1.14	c intension x[23] != x[34]  using generic constraint 
1.03/1.14	c intension x[23] != x[35]  using generic constraint 
1.03/1.14	c intension x[23] != x[36]  using generic constraint 
1.03/1.14	c intension x[23] != x[37]  using generic constraint 
1.03/1.15	c intension x[23] != x[38]  using generic constraint 
1.03/1.15	c intension x[23] != x[39]  using generic constraint 
1.03/1.15	c intension x[23] != x[40]  using generic constraint 
1.03/1.15	c intension x[23] != x[41]  using generic constraint 
1.03/1.15	c intension x[23] != x[42]  using generic constraint 
1.03/1.15	c intension x[23] != x[43]  using generic constraint 
1.03/1.15	c intension x[23] != x[44]  using generic constraint 
1.03/1.15	c intension x[23] != x[45]  using generic constraint 
1.03/1.15	c intension x[23] != x[46]  using generic constraint 
1.03/1.15	c intension x[23] != x[47]  using generic constraint 
1.03/1.15	c intension x[23] != x[48]  using generic constraint 
1.03/1.16	c intension x[23] != x[49]  using generic constraint 
1.03/1.16	c intension x[23] != x[50]  using generic constraint 
1.03/1.16	c intension x[23] != x[51]  using generic constraint 
1.03/1.16	c intension x[23] != x[52]  using generic constraint 
1.03/1.16	c intension x[23] != x[53]  using generic constraint 
1.03/1.16	c intension x[23] != x[54]  using generic constraint 
1.03/1.16	c intension x[23] != x[55]  using generic constraint 
1.03/1.16	c intension x[23] != x[56]  using generic constraint 
1.03/1.16	c intension x[23] != x[57]  using generic constraint 
1.03/1.16	c intension x[23] != x[58]  using generic constraint 
1.03/1.16	c intension x[23] != x[59]  using generic constraint 
1.03/1.17	c intension x[23] != x[60]  using generic constraint 
1.03/1.17	c intension x[23] != x[61]  using generic constraint 
1.03/1.17	c intension x[23] != x[62]  using generic constraint 
1.03/1.17	c intension x[23] != x[63]  using generic constraint 
1.03/1.17	c intension x[24] != x[26]  using generic constraint 
1.03/1.17	c intension x[24] != x[27]  using generic constraint 
1.03/1.17	c intension x[24] != x[28]  using generic constraint 
1.03/1.17	c intension x[24] != x[29]  using generic constraint 
1.03/1.17	c intension x[24] != x[30]  using generic constraint 
1.03/1.17	c intension x[24] != x[31]  using generic constraint 
1.03/1.17	c intension x[24] != x[32]  using generic constraint 
1.03/1.18	c intension x[24] != x[33]  using generic constraint 
1.03/1.18	c intension x[24] != x[34]  using generic constraint 
1.03/1.18	c intension x[24] != x[35]  using generic constraint 
1.03/1.18	c intension x[24] != x[36]  using generic constraint 
1.03/1.18	c intension x[24] != x[37]  using generic constraint 
1.03/1.18	c intension x[24] != x[38]  using generic constraint 
1.03/1.18	c intension x[24] != x[39]  using generic constraint 
1.03/1.18	c intension x[24] != x[40]  using generic constraint 
1.03/1.18	c intension x[24] != x[41]  using generic constraint 
1.03/1.18	c intension x[24] != x[42]  using generic constraint 
1.03/1.18	c intension x[24] != x[43]  using generic constraint 
1.03/1.19	c intension x[24] != x[44]  using generic constraint 
1.03/1.19	c intension x[24] != x[45]  using generic constraint 
1.03/1.19	c intension x[24] != x[46]  using generic constraint 
1.03/1.19	c intension x[24] != x[47]  using generic constraint 
1.03/1.19	c intension x[24] != x[48]  using generic constraint 
1.03/1.19	c intension x[24] != x[49]  using generic constraint 
1.03/1.19	c intension x[24] != x[50]  using generic constraint 
1.03/1.19	c intension x[24] != x[51]  using generic constraint 
1.03/1.19	c intension x[24] != x[52]  using generic constraint 
1.03/1.19	c intension x[24] != x[53]  using generic constraint 
1.03/1.19	c intension x[24] != x[54]  using generic constraint 
1.03/1.20	c intension x[24] != x[55]  using generic constraint 
1.03/1.20	c intension x[24] != x[56]  using generic constraint 
1.03/1.20	c intension x[24] != x[57]  using generic constraint 
1.03/1.20	c intension x[24] != x[58]  using generic constraint 
1.03/1.20	c intension x[24] != x[59]  using generic constraint 
1.03/1.20	c intension x[24] != x[60]  using generic constraint 
1.03/1.20	c intension x[24] != x[61]  using generic constraint 
1.14/1.20	c intension x[24] != x[62]  using generic constraint 
1.14/1.20	c intension x[24] != x[63]  using generic constraint 
1.14/1.20	c intension x[25] != x[27]  using generic constraint 
1.14/1.20	c intension x[25] != x[28]  using generic constraint 
1.14/1.21	c intension x[25] != x[29]  using generic constraint 
1.14/1.21	c intension x[25] != x[30]  using generic constraint 
1.14/1.21	c intension x[25] != x[31]  using generic constraint 
1.14/1.21	c intension x[25] != x[32]  using generic constraint 
1.14/1.21	c intension x[25] != x[33]  using generic constraint 
1.14/1.21	c intension x[25] != x[34]  using generic constraint 
1.14/1.21	c intension x[25] != x[35]  using generic constraint 
1.14/1.21	c intension x[25] != x[36]  using generic constraint 
1.14/1.21	c intension x[25] != x[37]  using generic constraint 
1.14/1.21	c intension x[25] != x[38]  using generic constraint 
1.14/1.21	c intension x[25] != x[39]  using generic constraint 
1.14/1.22	c intension x[25] != x[40]  using generic constraint 
1.14/1.22	c intension x[25] != x[41]  using generic constraint 
1.14/1.22	c intension x[25] != x[42]  using generic constraint 
1.14/1.22	c intension x[25] != x[43]  using generic constraint 
1.14/1.22	c intension x[25] != x[44]  using generic constraint 
1.14/1.22	c intension x[25] != x[45]  using generic constraint 
1.14/1.22	c intension x[25] != x[46]  using generic constraint 
1.14/1.22	c intension x[25] != x[47]  using generic constraint 
1.14/1.22	c intension x[25] != x[48]  using generic constraint 
1.14/1.22	c intension x[25] != x[49]  using generic constraint 
1.14/1.23	c intension x[25] != x[50]  using generic constraint 
1.14/1.23	c intension x[25] != x[51]  using generic constraint 
1.14/1.23	c intension x[25] != x[52]  using generic constraint 
1.14/1.23	c intension x[25] != x[53]  using generic constraint 
1.14/1.23	c intension x[25] != x[54]  using generic constraint 
1.14/1.23	c intension x[25] != x[55]  using generic constraint 
1.14/1.23	c intension x[25] != x[56]  using generic constraint 
1.14/1.23	c intension x[25] != x[57]  using generic constraint 
1.14/1.23	c intension x[25] != x[58]  using generic constraint 
1.14/1.23	c intension x[25] != x[59]  using generic constraint 
1.14/1.23	c intension x[25] != x[60]  using generic constraint 
1.14/1.24	c intension x[25] != x[61]  using generic constraint 
1.14/1.24	c intension x[25] != x[62]  using generic constraint 
1.14/1.24	c intension x[25] != x[63]  using generic constraint 
1.14/1.24	c intension x[26] != x[28]  using generic constraint 
1.14/1.24	c intension x[26] != x[29]  using generic constraint 
1.14/1.24	c intension x[26] != x[30]  using generic constraint 
1.14/1.24	c intension x[26] != x[31]  using generic constraint 
1.14/1.24	c intension x[26] != x[32]  using generic constraint 
1.14/1.24	c intension x[26] != x[33]  using generic constraint 
1.14/1.24	c intension x[26] != x[34]  using generic constraint 
1.14/1.24	c intension x[26] != x[35]  using generic constraint 
1.14/1.25	c intension x[26] != x[36]  using generic constraint 
1.14/1.25	c intension x[26] != x[37]  using generic constraint 
1.14/1.25	c intension x[26] != x[38]  using generic constraint 
1.14/1.25	c intension x[26] != x[39]  using generic constraint 
1.14/1.25	c intension x[26] != x[40]  using generic constraint 
1.14/1.25	c intension x[26] != x[41]  using generic constraint 
1.14/1.25	c intension x[26] != x[42]  using generic constraint 
1.14/1.25	c intension x[26] != x[43]  using generic constraint 
1.14/1.25	c intension x[26] != x[44]  using generic constraint 
1.14/1.25	c intension x[26] != x[45]  using generic constraint 
1.14/1.25	c intension x[26] != x[46]  using generic constraint 
1.14/1.26	c intension x[26] != x[47]  using generic constraint 
1.14/1.26	c intension x[26] != x[48]  using generic constraint 
1.14/1.26	c intension x[26] != x[49]  using generic constraint 
1.14/1.26	c intension x[26] != x[50]  using generic constraint 
1.14/1.26	c intension x[26] != x[51]  using generic constraint 
1.14/1.26	c intension x[26] != x[52]  using generic constraint 
1.14/1.26	c intension x[26] != x[53]  using generic constraint 
1.14/1.26	c intension x[26] != x[54]  using generic constraint 
1.14/1.26	c intension x[26] != x[55]  using generic constraint 
1.14/1.26	c intension x[26] != x[56]  using generic constraint 
1.14/1.26	c intension x[26] != x[57]  using generic constraint 
1.14/1.27	c intension x[26] != x[58]  using generic constraint 
1.14/1.27	c intension x[26] != x[59]  using generic constraint 
1.14/1.27	c intension x[26] != x[60]  using generic constraint 
1.14/1.27	c intension x[26] != x[61]  using generic constraint 
1.14/1.27	c intension x[26] != x[62]  using generic constraint 
1.14/1.27	c intension x[26] != x[63]  using generic constraint 
1.14/1.27	c intension x[27] != x[29]  using generic constraint 
1.14/1.27	c intension x[27] != x[30]  using generic constraint 
1.14/1.27	c intension x[27] != x[31]  using generic constraint 
1.14/1.27	c intension x[27] != x[32]  using generic constraint 
1.14/1.27	c intension x[27] != x[33]  using generic constraint 
1.14/1.28	c intension x[27] != x[34]  using generic constraint 
1.14/1.28	c intension x[27] != x[35]  using generic constraint 
1.14/1.28	c intension x[27] != x[36]  using generic constraint 
1.14/1.28	c intension x[27] != x[37]  using generic constraint 
1.14/1.28	c intension x[27] != x[38]  using generic constraint 
1.14/1.28	c intension x[27] != x[39]  using generic constraint 
1.14/1.28	c intension x[27] != x[40]  using generic constraint 
1.14/1.28	c intension x[27] != x[41]  using generic constraint 
1.14/1.28	c intension x[27] != x[42]  using generic constraint 
1.14/1.28	c intension x[27] != x[43]  using generic constraint 
1.14/1.28	c intension x[27] != x[44]  using generic constraint 
1.14/1.29	c intension x[27] != x[45]  using generic constraint 
1.14/1.29	c intension x[27] != x[46]  using generic constraint 
1.14/1.29	c intension x[27] != x[47]  using generic constraint 
1.14/1.29	c intension x[27] != x[48]  using generic constraint 
1.14/1.29	c intension x[27] != x[49]  using generic constraint 
1.14/1.29	c intension x[27] != x[50]  using generic constraint 
1.14/1.29	c intension x[27] != x[51]  using generic constraint 
1.14/1.29	c intension x[27] != x[52]  using generic constraint 
1.14/1.29	c intension x[27] != x[53]  using generic constraint 
1.14/1.29	c intension x[27] != x[54]  using generic constraint 
1.14/1.29	c intension x[27] != x[55]  using generic constraint 
1.14/1.30	c intension x[27] != x[56]  using generic constraint 
1.23/1.30	c intension x[27] != x[57]  using generic constraint 
1.23/1.30	c intension x[27] != x[58]  using generic constraint 
1.23/1.30	c intension x[27] != x[59]  using generic constraint 
1.23/1.30	c intension x[27] != x[60]  using generic constraint 
1.23/1.30	c intension x[27] != x[61]  using generic constraint 
1.23/1.30	c intension x[27] != x[62]  using generic constraint 
1.23/1.30	c intension x[27] != x[63]  using generic constraint 
1.23/1.30	c intension x[28] != x[30]  using generic constraint 
1.23/1.30	c intension x[28] != x[31]  using generic constraint 
1.23/1.30	c intension x[28] != x[32]  using generic constraint 
1.23/1.31	c intension x[28] != x[33]  using generic constraint 
1.23/1.31	c intension x[28] != x[34]  using generic constraint 
1.23/1.31	c intension x[28] != x[35]  using generic constraint 
1.23/1.31	c intension x[28] != x[36]  using generic constraint 
1.23/1.31	c intension x[28] != x[37]  using generic constraint 
1.23/1.31	c intension x[28] != x[38]  using generic constraint 
1.23/1.31	c intension x[28] != x[39]  using generic constraint 
1.23/1.31	c intension x[28] != x[40]  using generic constraint 
1.23/1.31	c intension x[28] != x[41]  using generic constraint 
1.23/1.31	c intension x[28] != x[42]  using generic constraint 
1.23/1.31	c intension x[28] != x[43]  using generic constraint 
1.23/1.32	c intension x[28] != x[44]  using generic constraint 
1.23/1.32	c intension x[28] != x[45]  using generic constraint 
1.23/1.32	c intension x[28] != x[46]  using generic constraint 
1.23/1.32	c intension x[28] != x[47]  using generic constraint 
1.23/1.32	c intension x[28] != x[48]  using generic constraint 
1.23/1.32	c intension x[28] != x[49]  using generic constraint 
1.23/1.32	c intension x[28] != x[50]  using generic constraint 
1.23/1.32	c intension x[28] != x[51]  using generic constraint 
1.23/1.32	c intension x[28] != x[52]  using generic constraint 
1.23/1.32	c intension x[28] != x[53]  using generic constraint 
1.23/1.33	c intension x[28] != x[54]  using generic constraint 
1.23/1.33	c intension x[28] != x[55]  using generic constraint 
1.23/1.33	c intension x[28] != x[56]  using generic constraint 
1.23/1.33	c intension x[28] != x[57]  using generic constraint 
1.23/1.33	c intension x[28] != x[58]  using generic constraint 
1.23/1.33	c intension x[28] != x[59]  using generic constraint 
1.23/1.33	c intension x[28] != x[60]  using generic constraint 
1.23/1.33	c intension x[28] != x[61]  using generic constraint 
1.23/1.33	c intension x[28] != x[62]  using generic constraint 
1.23/1.33	c intension x[28] != x[63]  using generic constraint 
1.23/1.33	c intension x[29] != x[31]  using generic constraint 
1.23/1.34	c intension x[29] != x[32]  using generic constraint 
1.23/1.34	c intension x[29] != x[33]  using generic constraint 
1.23/1.34	c intension x[29] != x[34]  using generic constraint 
1.23/1.34	c intension x[29] != x[35]  using generic constraint 
1.23/1.34	c intension x[29] != x[36]  using generic constraint 
1.23/1.34	c intension x[29] != x[37]  using generic constraint 
1.23/1.34	c intension x[29] != x[38]  using generic constraint 
1.23/1.34	c intension x[29] != x[39]  using generic constraint 
1.23/1.34	c intension x[29] != x[40]  using generic constraint 
1.23/1.34	c intension x[29] != x[41]  using generic constraint 
1.23/1.34	c intension x[29] != x[42]  using generic constraint 
1.23/1.35	c intension x[29] != x[43]  using generic constraint 
1.23/1.35	c intension x[29] != x[44]  using generic constraint 
1.23/1.35	c intension x[29] != x[45]  using generic constraint 
1.23/1.35	c intension x[29] != x[46]  using generic constraint 
1.23/1.35	c intension x[29] != x[47]  using generic constraint 
1.23/1.35	c intension x[29] != x[48]  using generic constraint 
1.23/1.35	c intension x[29] != x[49]  using generic constraint 
1.23/1.35	c intension x[29] != x[50]  using generic constraint 
1.23/1.35	c intension x[29] != x[51]  using generic constraint 
1.23/1.35	c intension x[29] != x[52]  using generic constraint 
1.23/1.35	c intension x[29] != x[53]  using generic constraint 
1.23/1.36	c intension x[29] != x[54]  using generic constraint 
1.23/1.36	c intension x[29] != x[55]  using generic constraint 
1.23/1.36	c intension x[29] != x[56]  using generic constraint 
1.23/1.36	c intension x[29] != x[57]  using generic constraint 
1.23/1.36	c intension x[29] != x[58]  using generic constraint 
1.23/1.36	c intension x[29] != x[59]  using generic constraint 
1.23/1.36	c intension x[29] != x[60]  using generic constraint 
1.23/1.36	c intension x[29] != x[61]  using generic constraint 
1.23/1.36	c intension x[29] != x[62]  using generic constraint 
1.23/1.36	c intension x[29] != x[63]  using generic constraint 
1.23/1.36	c intension x[30] != x[32]  using generic constraint 
1.23/1.37	c intension x[30] != x[33]  using generic constraint 
1.23/1.37	c intension x[30] != x[34]  using generic constraint 
1.23/1.37	c intension x[30] != x[35]  using generic constraint 
1.23/1.37	c intension x[30] != x[36]  using generic constraint 
1.23/1.37	c intension x[30] != x[37]  using generic constraint 
1.23/1.37	c intension x[30] != x[38]  using generic constraint 
1.23/1.37	c intension x[30] != x[39]  using generic constraint 
1.23/1.37	c intension x[30] != x[40]  using generic constraint 
1.23/1.37	c intension x[30] != x[41]  using generic constraint 
1.23/1.37	c intension x[30] != x[42]  using generic constraint 
1.23/1.37	c intension x[30] != x[43]  using generic constraint 
1.23/1.38	c intension x[30] != x[44]  using generic constraint 
1.23/1.38	c intension x[30] != x[45]  using generic constraint 
1.23/1.38	c intension x[30] != x[46]  using generic constraint 
1.23/1.38	c intension x[30] != x[47]  using generic constraint 
1.23/1.38	c intension x[30] != x[48]  using generic constraint 
1.23/1.38	c intension x[30] != x[49]  using generic constraint 
1.23/1.38	c intension x[30] != x[50]  using generic constraint 
1.23/1.38	c intension x[30] != x[51]  using generic constraint 
1.23/1.38	c intension x[30] != x[52]  using generic constraint 
1.23/1.38	c intension x[30] != x[53]  using generic constraint 
1.23/1.38	c intension x[30] != x[54]  using generic constraint 
1.23/1.39	c intension x[30] != x[55]  using generic constraint 
1.23/1.39	c intension x[30] != x[56]  using generic constraint 
1.23/1.39	c intension x[30] != x[57]  using generic constraint 
1.23/1.39	c intension x[30] != x[58]  using generic constraint 
1.23/1.39	c intension x[30] != x[59]  using generic constraint 
1.23/1.39	c intension x[30] != x[60]  using generic constraint 
1.23/1.39	c intension x[30] != x[61]  using generic constraint 
1.23/1.39	c intension x[30] != x[62]  using generic constraint 
1.23/1.39	c intension x[30] != x[63]  using generic constraint 
1.23/1.39	c intension x[31] != x[33]  using generic constraint 
1.23/1.39	c intension x[31] != x[34]  using generic constraint 
1.33/1.40	c intension x[31] != x[35]  using generic constraint 
1.33/1.40	c intension x[31] != x[36]  using generic constraint 
1.33/1.40	c intension x[31] != x[37]  using generic constraint 
1.33/1.40	c intension x[31] != x[38]  using generic constraint 
1.33/1.40	c intension x[31] != x[39]  using generic constraint 
1.33/1.40	c intension x[31] != x[40]  using generic constraint 
1.33/1.40	c intension x[31] != x[41]  using generic constraint 
1.33/1.40	c intension x[31] != x[42]  using generic constraint 
1.33/1.40	c intension x[31] != x[43]  using generic constraint 
1.33/1.40	c intension x[31] != x[44]  using generic constraint 
1.33/1.41	c intension x[31] != x[45]  using generic constraint 
1.33/1.41	c intension x[31] != x[46]  using generic constraint 
1.33/1.41	c intension x[31] != x[47]  using generic constraint 
1.33/1.41	c intension x[31] != x[48]  using generic constraint 
1.33/1.41	c intension x[31] != x[49]  using generic constraint 
1.33/1.41	c intension x[31] != x[50]  using generic constraint 
1.33/1.41	c intension x[31] != x[51]  using generic constraint 
1.33/1.41	c intension x[31] != x[52]  using generic constraint 
1.33/1.41	c intension x[31] != x[53]  using generic constraint 
1.33/1.41	c intension x[31] != x[54]  using generic constraint 
1.33/1.41	c intension x[31] != x[55]  using generic constraint 
1.33/1.42	c intension x[31] != x[56]  using generic constraint 
1.33/1.42	c intension x[31] != x[57]  using generic constraint 
1.33/1.42	c intension x[31] != x[58]  using generic constraint 
1.33/1.42	c intension x[31] != x[59]  using generic constraint 
1.33/1.42	c intension x[31] != x[60]  using generic constraint 
1.33/1.42	c intension x[31] != x[61]  using generic constraint 
1.33/1.42	c intension x[31] != x[62]  using generic constraint 
1.33/1.42	c intension x[31] != x[63]  using generic constraint 
1.33/1.42	c intension x[32] != x[34]  using generic constraint 
1.33/1.42	c intension x[32] != x[35]  using generic constraint 
1.33/1.42	c intension x[32] != x[36]  using generic constraint 
1.33/1.43	c intension x[32] != x[37]  using generic constraint 
1.33/1.43	c intension x[32] != x[38]  using generic constraint 
1.33/1.43	c intension x[32] != x[39]  using generic constraint 
1.33/1.43	c intension x[32] != x[40]  using generic constraint 
1.33/1.43	c intension x[32] != x[41]  using generic constraint 
1.33/1.43	c intension x[32] != x[42]  using generic constraint 
1.33/1.43	c intension x[32] != x[43]  using generic constraint 
1.33/1.43	c intension x[32] != x[44]  using generic constraint 
1.33/1.43	c intension x[32] != x[45]  using generic constraint 
1.33/1.43	c intension x[32] != x[46]  using generic constraint 
1.33/1.43	c intension x[32] != x[47]  using generic constraint 
1.33/1.44	c intension x[32] != x[48]  using generic constraint 
1.33/1.44	c intension x[32] != x[49]  using generic constraint 
1.33/1.44	c intension x[32] != x[50]  using generic constraint 
1.33/1.44	c intension x[32] != x[51]  using generic constraint 
1.33/1.44	c intension x[32] != x[52]  using generic constraint 
1.33/1.44	c intension x[32] != x[53]  using generic constraint 
1.33/1.44	c intension x[32] != x[54]  using generic constraint 
1.33/1.44	c intension x[32] != x[55]  using generic constraint 
1.33/1.44	c intension x[32] != x[56]  using generic constraint 
1.33/1.44	c intension x[32] != x[57]  using generic constraint 
1.33/1.45	c intension x[32] != x[58]  using generic constraint 
1.33/1.45	c intension x[32] != x[59]  using generic constraint 
1.33/1.45	c intension x[32] != x[60]  using generic constraint 
1.33/1.45	c intension x[32] != x[61]  using generic constraint 
1.33/1.45	c intension x[32] != x[62]  using generic constraint 
1.33/1.45	c intension x[32] != x[63]  using generic constraint 
1.33/1.45	c intension x[33] != x[35]  using generic constraint 
1.33/1.45	c intension x[33] != x[36]  using generic constraint 
1.33/1.45	c intension x[33] != x[37]  using generic constraint 
1.33/1.45	c intension x[33] != x[38]  using generic constraint 
1.33/1.45	c intension x[33] != x[39]  using generic constraint 
1.33/1.46	c intension x[33] != x[40]  using generic constraint 
1.33/1.46	c intension x[33] != x[41]  using generic constraint 
1.33/1.46	c intension x[33] != x[42]  using generic constraint 
1.33/1.46	c intension x[33] != x[43]  using generic constraint 
1.33/1.46	c intension x[33] != x[44]  using generic constraint 
1.33/1.46	c intension x[33] != x[45]  using generic constraint 
1.33/1.46	c intension x[33] != x[46]  using generic constraint 
1.33/1.46	c intension x[33] != x[47]  using generic constraint 
1.33/1.46	c intension x[33] != x[48]  using generic constraint 
1.33/1.46	c intension x[33] != x[49]  using generic constraint 
1.33/1.46	c intension x[33] != x[50]  using generic constraint 
1.33/1.47	c intension x[33] != x[51]  using generic constraint 
1.33/1.47	c intension x[33] != x[52]  using generic constraint 
1.33/1.47	c intension x[33] != x[53]  using generic constraint 
1.33/1.47	c intension x[33] != x[54]  using generic constraint 
1.33/1.47	c intension x[33] != x[55]  using generic constraint 
1.33/1.47	c intension x[33] != x[56]  using generic constraint 
1.33/1.47	c intension x[33] != x[57]  using generic constraint 
1.33/1.47	c intension x[33] != x[58]  using generic constraint 
1.33/1.47	c intension x[33] != x[59]  using generic constraint 
1.33/1.47	c intension x[33] != x[60]  using generic constraint 
1.33/1.47	c intension x[33] != x[61]  using generic constraint 
1.33/1.48	c intension x[33] != x[62]  using generic constraint 
1.33/1.48	c intension x[33] != x[63]  using generic constraint 
1.33/1.48	c intension x[34] != x[36]  using generic constraint 
1.33/1.48	c intension x[34] != x[37]  using generic constraint 
1.33/1.48	c intension x[34] != x[38]  using generic constraint 
1.33/1.48	c intension x[34] != x[39]  using generic constraint 
1.33/1.48	c intension x[34] != x[40]  using generic constraint 
1.33/1.48	c intension x[34] != x[41]  using generic constraint 
1.33/1.48	c intension x[34] != x[42]  using generic constraint 
1.33/1.48	c intension x[34] != x[43]  using generic constraint 
1.33/1.48	c intension x[34] != x[44]  using generic constraint 
1.33/1.49	c intension x[34] != x[45]  using generic constraint 
1.33/1.49	c intension x[34] != x[46]  using generic constraint 
1.33/1.49	c intension x[34] != x[47]  using generic constraint 
1.33/1.49	c intension x[34] != x[48]  using generic constraint 
1.33/1.49	c intension x[34] != x[49]  using generic constraint 
1.33/1.49	c intension x[34] != x[50]  using generic constraint 
1.33/1.49	c intension x[34] != x[51]  using generic constraint 
1.33/1.49	c intension x[34] != x[52]  using generic constraint 
1.33/1.49	c intension x[34] != x[53]  using generic constraint 
1.33/1.49	c intension x[34] != x[54]  using generic constraint 
1.33/1.49	c intension x[34] != x[55]  using generic constraint 
1.43/1.50	c intension x[34] != x[56]  using generic constraint 
1.43/1.50	c intension x[34] != x[57]  using generic constraint 
1.43/1.50	c intension x[34] != x[58]  using generic constraint 
1.43/1.50	c intension x[34] != x[59]  using generic constraint 
1.43/1.50	c intension x[34] != x[60]  using generic constraint 
1.43/1.50	c intension x[34] != x[61]  using generic constraint 
1.43/1.50	c intension x[34] != x[62]  using generic constraint 
1.43/1.50	c intension x[34] != x[63]  using generic constraint 
1.43/1.50	c intension x[35] != x[37]  using generic constraint 
1.43/1.50	c intension x[35] != x[38]  using generic constraint 
1.43/1.51	c intension x[35] != x[39]  using generic constraint 
1.43/1.51	c intension x[35] != x[40]  using generic constraint 
1.43/1.51	c intension x[35] != x[41]  using generic constraint 
1.43/1.51	c intension x[35] != x[42]  using generic constraint 
1.43/1.51	c intension x[35] != x[43]  using generic constraint 
1.43/1.51	c intension x[35] != x[44]  using generic constraint 
1.43/1.51	c intension x[35] != x[45]  using generic constraint 
1.43/1.51	c intension x[35] != x[46]  using generic constraint 
1.43/1.51	c intension x[35] != x[47]  using generic constraint 
1.43/1.51	c intension x[35] != x[48]  using generic constraint 
1.43/1.51	c intension x[35] != x[49]  using generic constraint 
1.43/1.52	c intension x[35] != x[50]  using generic constraint 
1.43/1.52	c intension x[35] != x[51]  using generic constraint 
1.43/1.52	c intension x[35] != x[52]  using generic constraint 
1.43/1.52	c intension x[35] != x[53]  using generic constraint 
1.43/1.52	c intension x[35] != x[54]  using generic constraint 
1.43/1.52	c intension x[35] != x[55]  using generic constraint 
1.43/1.52	c intension x[35] != x[56]  using generic constraint 
1.43/1.52	c intension x[35] != x[57]  using generic constraint 
1.43/1.52	c intension x[35] != x[58]  using generic constraint 
1.43/1.52	c intension x[35] != x[59]  using generic constraint 
1.43/1.52	c intension x[35] != x[60]  using generic constraint 
1.43/1.53	c intension x[35] != x[61]  using generic constraint 
1.43/1.53	c intension x[35] != x[62]  using generic constraint 
1.43/1.53	c intension x[35] != x[63]  using generic constraint 
1.43/1.53	c intension x[36] != x[38]  using generic constraint 
1.43/1.53	c intension x[36] != x[39]  using generic constraint 
1.43/1.53	c intension x[36] != x[40]  using generic constraint 
1.43/1.53	c intension x[36] != x[41]  using generic constraint 
1.43/1.53	c intension x[36] != x[42]  using generic constraint 
1.43/1.53	c intension x[36] != x[43]  using generic constraint 
1.43/1.53	c intension x[36] != x[44]  using generic constraint 
1.43/1.53	c intension x[36] != x[45]  using generic constraint 
1.43/1.54	c intension x[36] != x[46]  using generic constraint 
1.43/1.54	c intension x[36] != x[47]  using generic constraint 
1.43/1.54	c intension x[36] != x[48]  using generic constraint 
1.43/1.54	c intension x[36] != x[49]  using generic constraint 
1.43/1.54	c intension x[36] != x[50]  using generic constraint 
1.43/1.54	c intension x[36] != x[51]  using generic constraint 
1.43/1.54	c intension x[36] != x[52]  using generic constraint 
1.43/1.54	c intension x[36] != x[53]  using generic constraint 
1.43/1.54	c intension x[36] != x[54]  using generic constraint 
1.43/1.54	c intension x[36] != x[55]  using generic constraint 
1.43/1.54	c intension x[36] != x[56]  using generic constraint 
1.43/1.55	c intension x[36] != x[57]  using generic constraint 
1.43/1.55	c intension x[36] != x[58]  using generic constraint 
1.43/1.55	c intension x[36] != x[59]  using generic constraint 
1.43/1.55	c intension x[36] != x[60]  using generic constraint 
1.43/1.55	c intension x[36] != x[61]  using generic constraint 
1.43/1.55	c intension x[36] != x[62]  using generic constraint 
1.43/1.55	c intension x[36] != x[63]  using generic constraint 
1.43/1.55	c intension x[37] != x[39]  using generic constraint 
1.43/1.55	c intension x[37] != x[40]  using generic constraint 
1.43/1.55	c intension x[37] != x[41]  using generic constraint 
1.43/1.56	c intension x[37] != x[42]  using generic constraint 
1.43/1.56	c intension x[37] != x[43]  using generic constraint 
1.43/1.56	c intension x[37] != x[44]  using generic constraint 
1.43/1.56	c intension x[37] != x[45]  using generic constraint 
1.43/1.56	c intension x[37] != x[46]  using generic constraint 
1.43/1.56	c intension x[37] != x[47]  using generic constraint 
1.43/1.56	c intension x[37] != x[48]  using generic constraint 
1.43/1.56	c intension x[37] != x[49]  using generic constraint 
1.43/1.56	c intension x[37] != x[50]  using generic constraint 
1.43/1.56	c intension x[37] != x[51]  using generic constraint 
1.43/1.56	c intension x[37] != x[52]  using generic constraint 
1.43/1.57	c intension x[37] != x[53]  using generic constraint 
1.43/1.57	c intension x[37] != x[54]  using generic constraint 
1.43/1.57	c intension x[37] != x[55]  using generic constraint 
1.43/1.57	c intension x[37] != x[56]  using generic constraint 
1.43/1.57	c intension x[37] != x[57]  using generic constraint 
1.43/1.57	c intension x[37] != x[58]  using generic constraint 
1.43/1.57	c intension x[37] != x[59]  using generic constraint 
1.43/1.57	c intension x[37] != x[60]  using generic constraint 
1.43/1.57	c intension x[37] != x[61]  using generic constraint 
1.43/1.57	c intension x[37] != x[62]  using generic constraint 
1.43/1.57	c intension x[37] != x[63]  using generic constraint 
1.43/1.58	c intension x[38] != x[40]  using generic constraint 
1.43/1.58	c intension x[38] != x[41]  using generic constraint 
1.43/1.58	c intension x[38] != x[42]  using generic constraint 
1.43/1.58	c intension x[38] != x[43]  using generic constraint 
1.43/1.58	c intension x[38] != x[44]  using generic constraint 
1.43/1.58	c intension x[38] != x[45]  using generic constraint 
1.43/1.58	c intension x[38] != x[46]  using generic constraint 
1.43/1.58	c intension x[38] != x[47]  using generic constraint 
1.43/1.58	c intension x[38] != x[48]  using generic constraint 
1.43/1.58	c intension x[38] != x[49]  using generic constraint 
1.43/1.58	c intension x[38] != x[50]  using generic constraint 
1.43/1.59	c intension x[38] != x[51]  using generic constraint 
1.43/1.59	c intension x[38] != x[52]  using generic constraint 
1.43/1.59	c intension x[38] != x[53]  using generic constraint 
1.43/1.59	c intension x[38] != x[54]  using generic constraint 
1.43/1.59	c intension x[38] != x[55]  using generic constraint 
1.43/1.59	c intension x[38] != x[56]  using generic constraint 
1.43/1.59	c intension x[38] != x[57]  using generic constraint 
1.43/1.59	c intension x[38] != x[58]  using generic constraint 
1.43/1.59	c intension x[38] != x[59]  using generic constraint 
1.43/1.59	c intension x[38] != x[60]  using generic constraint 
1.43/1.59	c intension x[38] != x[61]  using generic constraint 
1.53/1.60	c intension x[38] != x[62]  using generic constraint 
1.53/1.60	c intension x[38] != x[63]  using generic constraint 
1.53/1.60	c intension x[39] != x[41]  using generic constraint 
1.53/1.60	c intension x[39] != x[42]  using generic constraint 
1.53/1.60	c intension x[39] != x[43]  using generic constraint 
1.53/1.60	c intension x[39] != x[44]  using generic constraint 
1.53/1.60	c intension x[39] != x[45]  using generic constraint 
1.53/1.60	c intension x[39] != x[46]  using generic constraint 
1.53/1.60	c intension x[39] != x[47]  using generic constraint 
1.53/1.60	c intension x[39] != x[48]  using generic constraint 
1.53/1.61	c intension x[39] != x[49]  using generic constraint 
1.53/1.61	c intension x[39] != x[50]  using generic constraint 
1.53/1.61	c intension x[39] != x[51]  using generic constraint 
1.53/1.61	c intension x[39] != x[52]  using generic constraint 
1.53/1.61	c intension x[39] != x[53]  using generic constraint 
1.53/1.61	c intension x[39] != x[54]  using generic constraint 
1.53/1.61	c intension x[39] != x[55]  using generic constraint 
1.53/1.61	c intension x[39] != x[56]  using generic constraint 
1.53/1.61	c intension x[39] != x[57]  using generic constraint 
1.53/1.61	c intension x[39] != x[58]  using generic constraint 
1.53/1.61	c intension x[39] != x[59]  using generic constraint 
1.53/1.62	c intension x[39] != x[60]  using generic constraint 
1.53/1.62	c intension x[39] != x[61]  using generic constraint 
1.53/1.62	c intension x[39] != x[62]  using generic constraint 
1.53/1.62	c intension x[39] != x[63]  using generic constraint 
1.53/1.62	c intension x[40] != x[42]  using generic constraint 
1.53/1.62	c intension x[40] != x[43]  using generic constraint 
1.53/1.62	c intension x[40] != x[44]  using generic constraint 
1.53/1.62	c intension x[40] != x[45]  using generic constraint 
1.53/1.62	c intension x[40] != x[46]  using generic constraint 
1.53/1.62	c intension x[40] != x[47]  using generic constraint 
1.53/1.62	c intension x[40] != x[48]  using generic constraint 
1.53/1.63	c intension x[40] != x[49]  using generic constraint 
1.53/1.63	c intension x[40] != x[50]  using generic constraint 
1.53/1.63	c intension x[40] != x[51]  using generic constraint 
1.53/1.63	c intension x[40] != x[52]  using generic constraint 
1.53/1.63	c intension x[40] != x[53]  using generic constraint 
1.53/1.63	c intension x[40] != x[54]  using generic constraint 
1.53/1.63	c intension x[40] != x[55]  using generic constraint 
1.53/1.63	c intension x[40] != x[56]  using generic constraint 
1.53/1.63	c intension x[40] != x[57]  using generic constraint 
1.53/1.63	c intension x[40] != x[58]  using generic constraint 
1.53/1.64	c intension x[40] != x[59]  using generic constraint 
1.53/1.64	c intension x[40] != x[60]  using generic constraint 
1.53/1.64	c intension x[40] != x[61]  using generic constraint 
1.53/1.64	c intension x[40] != x[62]  using generic constraint 
1.53/1.64	c intension x[40] != x[63]  using generic constraint 
1.53/1.64	c intension x[41] != x[43]  using generic constraint 
1.53/1.64	c intension x[41] != x[44]  using generic constraint 
1.53/1.64	c intension x[41] != x[45]  using generic constraint 
1.53/1.64	c intension x[41] != x[46]  using generic constraint 
1.53/1.64	c intension x[41] != x[47]  using generic constraint 
1.53/1.64	c intension x[41] != x[48]  using generic constraint 
1.53/1.65	c intension x[41] != x[49]  using generic constraint 
1.53/1.65	c intension x[41] != x[50]  using generic constraint 
1.53/1.65	c intension x[41] != x[51]  using generic constraint 
1.53/1.65	c intension x[41] != x[52]  using generic constraint 
1.53/1.65	c intension x[41] != x[53]  using generic constraint 
1.53/1.65	c intension x[41] != x[54]  using generic constraint 
1.53/1.65	c intension x[41] != x[55]  using generic constraint 
1.53/1.65	c intension x[41] != x[56]  using generic constraint 
1.53/1.65	c intension x[41] != x[57]  using generic constraint 
1.53/1.65	c intension x[41] != x[58]  using generic constraint 
1.53/1.65	c intension x[41] != x[59]  using generic constraint 
1.53/1.66	c intension x[41] != x[60]  using generic constraint 
1.53/1.66	c intension x[41] != x[61]  using generic constraint 
1.53/1.66	c intension x[41] != x[62]  using generic constraint 
1.53/1.66	c intension x[41] != x[63]  using generic constraint 
1.53/1.66	c intension x[42] != x[44]  using generic constraint 
1.53/1.66	c intension x[42] != x[45]  using generic constraint 
1.53/1.66	c intension x[42] != x[46]  using generic constraint 
1.53/1.66	c intension x[42] != x[47]  using generic constraint 
1.53/1.66	c intension x[42] != x[48]  using generic constraint 
1.53/1.66	c intension x[42] != x[49]  using generic constraint 
1.53/1.66	c intension x[42] != x[50]  using generic constraint 
1.53/1.67	c intension x[42] != x[51]  using generic constraint 
1.53/1.67	c intension x[42] != x[52]  using generic constraint 
1.53/1.67	c intension x[42] != x[53]  using generic constraint 
1.53/1.67	c intension x[42] != x[54]  using generic constraint 
1.53/1.67	c intension x[42] != x[55]  using generic constraint 
1.53/1.67	c intension x[42] != x[56]  using generic constraint 
1.53/1.67	c intension x[42] != x[57]  using generic constraint 
1.53/1.67	c intension x[42] != x[58]  using generic constraint 
1.53/1.67	c intension x[42] != x[59]  using generic constraint 
1.53/1.67	c intension x[42] != x[60]  using generic constraint 
1.53/1.67	c intension x[42] != x[61]  using generic constraint 
1.53/1.68	c intension x[42] != x[62]  using generic constraint 
1.53/1.68	c intension x[42] != x[63]  using generic constraint 
1.53/1.68	c intension x[43] != x[45]  using generic constraint 
1.53/1.68	c intension x[43] != x[46]  using generic constraint 
1.53/1.68	c intension x[43] != x[47]  using generic constraint 
1.53/1.68	c intension x[43] != x[48]  using generic constraint 
1.53/1.68	c intension x[43] != x[49]  using generic constraint 
1.53/1.68	c intension x[43] != x[50]  using generic constraint 
1.53/1.68	c intension x[43] != x[51]  using generic constraint 
1.53/1.68	c intension x[43] != x[52]  using generic constraint 
1.53/1.69	c intension x[43] != x[53]  using generic constraint 
1.53/1.69	c intension x[43] != x[54]  using generic constraint 
1.53/1.69	c intension x[43] != x[55]  using generic constraint 
1.53/1.69	c intension x[43] != x[56]  using generic constraint 
1.53/1.69	c intension x[43] != x[57]  using generic constraint 
1.53/1.69	c intension x[43] != x[58]  using generic constraint 
1.53/1.69	c intension x[43] != x[59]  using generic constraint 
1.53/1.69	c intension x[43] != x[60]  using generic constraint 
1.53/1.69	c intension x[43] != x[61]  using generic constraint 
1.53/1.69	c intension x[43] != x[62]  using generic constraint 
1.53/1.69	c intension x[43] != x[63]  using generic constraint 
1.53/1.70	c intension x[44] != x[46]  using generic constraint 
1.63/1.70	c intension x[44] != x[47]  using generic constraint 
1.63/1.70	c intension x[44] != x[48]  using generic constraint 
1.63/1.70	c intension x[44] != x[49]  using generic constraint 
1.63/1.70	c intension x[44] != x[50]  using generic constraint 
1.63/1.70	c intension x[44] != x[51]  using generic constraint 
1.63/1.70	c intension x[44] != x[52]  using generic constraint 
1.63/1.70	c intension x[44] != x[53]  using generic constraint 
1.63/1.70	c intension x[44] != x[54]  using generic constraint 
1.63/1.70	c intension x[44] != x[55]  using generic constraint 
1.63/1.70	c intension x[44] != x[56]  using generic constraint 
1.63/1.71	c intension x[44] != x[57]  using generic constraint 
1.63/1.71	c intension x[44] != x[58]  using generic constraint 
1.63/1.71	c intension x[44] != x[59]  using generic constraint 
1.63/1.71	c intension x[44] != x[60]  using generic constraint 
1.63/1.71	c intension x[44] != x[61]  using generic constraint 
1.63/1.71	c intension x[44] != x[62]  using generic constraint 
1.63/1.71	c intension x[44] != x[63]  using generic constraint 
1.63/1.71	c intension x[45] != x[47]  using generic constraint 
1.63/1.71	c intension x[45] != x[48]  using generic constraint 
1.63/1.71	c intension x[45] != x[49]  using generic constraint 
1.63/1.72	c intension x[45] != x[50]  using generic constraint 
1.63/1.72	c intension x[45] != x[51]  using generic constraint 
1.63/1.72	c intension x[45] != x[52]  using generic constraint 
1.63/1.72	c intension x[45] != x[53]  using generic constraint 
1.63/1.72	c intension x[45] != x[54]  using generic constraint 
1.63/1.72	c intension x[45] != x[55]  using generic constraint 
1.63/1.72	c intension x[45] != x[56]  using generic constraint 
1.63/1.72	c intension x[45] != x[57]  using generic constraint 
1.63/1.72	c intension x[45] != x[58]  using generic constraint 
1.63/1.72	c intension x[45] != x[59]  using generic constraint 
1.63/1.72	c intension x[45] != x[60]  using generic constraint 
1.63/1.73	c intension x[45] != x[61]  using generic constraint 
1.63/1.73	c intension x[45] != x[62]  using generic constraint 
1.63/1.73	c intension x[45] != x[63]  using generic constraint 
1.63/1.73	c intension x[46] != x[48]  using generic constraint 
1.63/1.73	c intension x[46] != x[49]  using generic constraint 
1.63/1.73	c intension x[46] != x[50]  using generic constraint 
1.63/1.73	c intension x[46] != x[51]  using generic constraint 
1.63/1.73	c intension x[46] != x[52]  using generic constraint 
1.63/1.73	c intension x[46] != x[53]  using generic constraint 
1.63/1.73	c intension x[46] != x[54]  using generic constraint 
1.63/1.73	c intension x[46] != x[55]  using generic constraint 
1.63/1.74	c intension x[46] != x[56]  using generic constraint 
1.63/1.74	c intension x[46] != x[57]  using generic constraint 
1.63/1.74	c intension x[46] != x[58]  using generic constraint 
1.63/1.74	c intension x[46] != x[59]  using generic constraint 
1.63/1.74	c intension x[46] != x[60]  using generic constraint 
1.63/1.74	c intension x[46] != x[61]  using generic constraint 
1.63/1.74	c intension x[46] != x[62]  using generic constraint 
1.63/1.74	c intension x[46] != x[63]  using generic constraint 
1.63/1.74	c intension x[47] != x[49]  using generic constraint 
1.63/1.74	c intension x[47] != x[50]  using generic constraint 
1.63/1.75	c intension x[47] != x[51]  using generic constraint 
1.63/1.75	c intension x[47] != x[52]  using generic constraint 
1.63/1.75	c intension x[47] != x[53]  using generic constraint 
1.63/1.75	c intension x[47] != x[54]  using generic constraint 
1.63/1.75	c intension x[47] != x[55]  using generic constraint 
1.63/1.75	c intension x[47] != x[56]  using generic constraint 
1.63/1.75	c intension x[47] != x[57]  using generic constraint 
1.63/1.75	c intension x[47] != x[58]  using generic constraint 
1.63/1.75	c intension x[47] != x[59]  using generic constraint 
1.63/1.75	c intension x[47] != x[60]  using generic constraint 
1.63/1.75	c intension x[47] != x[61]  using generic constraint 
1.63/1.76	c intension x[47] != x[62]  using generic constraint 
1.63/1.76	c intension x[47] != x[63]  using generic constraint 
1.63/1.76	c intension x[48] != x[50]  using generic constraint 
1.63/1.76	c intension x[48] != x[51]  using generic constraint 
1.63/1.76	c intension x[48] != x[52]  using generic constraint 
1.63/1.76	c intension x[48] != x[53]  using generic constraint 
1.63/1.76	c intension x[48] != x[54]  using generic constraint 
1.63/1.76	c intension x[48] != x[55]  using generic constraint 
1.63/1.76	c intension x[48] != x[56]  using generic constraint 
1.63/1.76	c intension x[48] != x[57]  using generic constraint 
1.63/1.76	c intension x[48] != x[58]  using generic constraint 
1.63/1.77	c intension x[48] != x[59]  using generic constraint 
1.63/1.77	c intension x[48] != x[60]  using generic constraint 
1.63/1.77	c intension x[48] != x[61]  using generic constraint 
1.63/1.77	c intension x[48] != x[62]  using generic constraint 
1.63/1.77	c intension x[48] != x[63]  using generic constraint 
1.63/1.77	c intension x[49] != x[51]  using generic constraint 
1.63/1.77	c intension x[49] != x[52]  using generic constraint 
1.63/1.77	c intension x[49] != x[53]  using generic constraint 
1.63/1.77	c intension x[49] != x[54]  using generic constraint 
1.63/1.77	c intension x[49] != x[55]  using generic constraint 
1.63/1.77	c intension x[49] != x[56]  using generic constraint 
1.63/1.78	c intension x[49] != x[57]  using generic constraint 
1.63/1.78	c intension x[49] != x[58]  using generic constraint 
1.63/1.78	c intension x[49] != x[59]  using generic constraint 
1.63/1.78	c intension x[49] != x[60]  using generic constraint 
1.63/1.78	c intension x[49] != x[61]  using generic constraint 
1.63/1.78	c intension x[49] != x[62]  using generic constraint 
1.63/1.78	c intension x[49] != x[63]  using generic constraint 
1.63/1.78	c intension x[50] != x[52]  using generic constraint 
1.63/1.78	c intension x[50] != x[53]  using generic constraint 
1.63/1.78	c intension x[50] != x[54]  using generic constraint 
1.63/1.79	c intension x[50] != x[55]  using generic constraint 
1.63/1.79	c intension x[50] != x[56]  using generic constraint 
1.63/1.79	c intension x[50] != x[57]  using generic constraint 
1.63/1.79	c intension x[50] != x[58]  using generic constraint 
1.63/1.79	c intension x[50] != x[59]  using generic constraint 
1.63/1.79	c intension x[50] != x[60]  using generic constraint 
1.63/1.79	c intension x[50] != x[61]  using generic constraint 
1.63/1.79	c intension x[50] != x[62]  using generic constraint 
1.63/1.79	c intension x[50] != x[63]  using generic constraint 
1.63/1.79	c intension x[51] != x[53]  using generic constraint 
1.63/1.79	c intension x[51] != x[54]  using generic constraint 
1.73/1.80	c intension x[51] != x[55]  using generic constraint 
1.73/1.80	c intension x[51] != x[56]  using generic constraint 
1.73/1.80	c intension x[51] != x[57]  using generic constraint 
1.73/1.80	c intension x[51] != x[58]  using generic constraint 
1.73/1.80	c intension x[51] != x[59]  using generic constraint 
1.73/1.80	c intension x[51] != x[60]  using generic constraint 
1.73/1.80	c intension x[51] != x[61]  using generic constraint 
1.73/1.80	c intension x[51] != x[62]  using generic constraint 
1.73/1.80	c intension x[51] != x[63]  using generic constraint 
1.73/1.80	c intension x[52] != x[54]  using generic constraint 
1.73/1.81	c intension x[52] != x[55]  using generic constraint 
1.73/1.81	c intension x[52] != x[56]  using generic constraint 
1.73/1.81	c intension x[52] != x[57]  using generic constraint 
1.73/1.81	c intension x[52] != x[58]  using generic constraint 
1.73/1.81	c intension x[52] != x[59]  using generic constraint 
1.73/1.81	c intension x[52] != x[60]  using generic constraint 
1.73/1.81	c intension x[52] != x[61]  using generic constraint 
1.73/1.81	c intension x[52] != x[62]  using generic constraint 
1.73/1.81	c intension x[52] != x[63]  using generic constraint 
1.73/1.81	c intension x[53] != x[55]  using generic constraint 
1.73/1.81	c intension x[53] != x[56]  using generic constraint 
1.73/1.82	c intension x[53] != x[57]  using generic constraint 
1.73/1.82	c intension x[53] != x[58]  using generic constraint 
1.73/1.82	c intension x[53] != x[59]  using generic constraint 
1.73/1.82	c intension x[53] != x[60]  using generic constraint 
1.73/1.82	c intension x[53] != x[61]  using generic constraint 
1.73/1.82	c intension x[53] != x[62]  using generic constraint 
1.73/1.82	c intension x[53] != x[63]  using generic constraint 
1.73/1.82	c intension x[54] != x[56]  using generic constraint 
1.73/1.82	c intension x[54] != x[57]  using generic constraint 
1.73/1.82	c intension x[54] != x[58]  using generic constraint 
1.73/1.82	c intension x[54] != x[59]  using generic constraint 
1.73/1.83	c intension x[54] != x[60]  using generic constraint 
1.73/1.83	c intension x[54] != x[61]  using generic constraint 
1.73/1.83	c intension x[54] != x[62]  using generic constraint 
1.73/1.83	c intension x[54] != x[63]  using generic constraint 
1.73/1.83	c intension x[55] != x[57]  using generic constraint 
1.73/1.83	c intension x[55] != x[58]  using generic constraint 
1.73/1.83	c intension x[55] != x[59]  using generic constraint 
1.73/1.83	c intension x[55] != x[60]  using generic constraint 
1.73/1.83	c intension x[55] != x[61]  using generic constraint 
1.73/1.83	c intension x[55] != x[62]  using generic constraint 
1.73/1.84	c intension x[55] != x[63]  using generic constraint 
1.73/1.84	c intension x[56] != x[58]  using generic constraint 
1.73/1.84	c intension x[56] != x[59]  using generic constraint 
1.73/1.84	c intension x[56] != x[60]  using generic constraint 
1.73/1.84	c intension x[56] != x[61]  using generic constraint 
1.73/1.84	c intension x[56] != x[62]  using generic constraint 
1.73/1.84	c intension x[56] != x[63]  using generic constraint 
1.73/1.84	c intension x[57] != x[59]  using generic constraint 
1.73/1.84	c intension x[57] != x[60]  using generic constraint 
1.73/1.84	c intension x[57] != x[61]  using generic constraint 
1.73/1.84	c intension x[57] != x[62]  using generic constraint 
1.73/1.85	c intension x[57] != x[63]  using generic constraint 
1.73/1.85	c intension x[58] != x[60]  using generic constraint 
1.73/1.85	c intension x[58] != x[61]  using generic constraint 
1.73/1.85	c intension x[58] != x[62]  using generic constraint 
1.73/1.85	c intension x[58] != x[63]  using generic constraint 
1.73/1.85	c intension x[59] != x[61]  using generic constraint 
1.73/1.85	c intension x[59] != x[62]  using generic constraint 
1.73/1.85	c intension x[59] != x[63]  using generic constraint 
1.73/1.85	c intension x[60] != x[62]  using generic constraint 
1.73/1.85	c intension x[60] != x[63]  using generic constraint 
1.73/1.85	c intension x[61] != x[63]  using generic constraint 
1.83/1.97	c root propagations     : 108         
1.83/1.97	c restarts enabled, print stats at every restarts
1.83/1.97	c
1.83/1.97	c
1.83/1.97	c
1.83/1.97	c This is cosoco 1.12 --  
1.83/1.97	c
1.83/1.97	c command line: cosoco -lc -model -restarts HOME/instance-4268217-1502535395.xml 
1.83/1.97	c ========================================[ Problem Statistics ]===========================================
1.83/1.97	c |                                                                                                       
1.83/1.97	c |  Parse time        :         1.90 s 
1.83/1.97	c |
1.83/1.97	c |               Variables: 65
1.83/1.97	c |            Domain Sizes: 10..64
1.83/1.97	c |
1.83/1.97	c |             Constraints: 2034
1.83/1.97	c |                   Arity: 2..2  -- Binary: 2034
1.83/1.97	c | 
1.83/1.97	c |                   Types: 
1.83/1.97	c |                          (X != Y): 1953
1.83/1.97	c |                          Intension: 81
1.83/1.97	c |                          
1.83/1.97	c =========================================================================================================
1.83/1.97	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
1.93/2.01	c 101            244            232907         20259          18             0              17   24   20   
1.93/2.04	c 211            519            444556         37805          18             0              7   34   20    
1.93/2.08	c 332            772            670226         57246          18             0              6   23   19    
2.03/2.12	c 465            1088           968252         79901          18             0              10   22   19   
2.03/2.15	c 611            1404           1244056        102770         18             0              9   23   20    
2.03/2.19	c 771            1735           1514598        126301         18             0              7   26   20    
2.13/2.24	c 947            2132           1856488        152344         18             0              7   22   19    
2.13/2.30	c 1140           2632           2331731        183980         18             0              15   20   18   
2.24/2.35	c 1352           3170           2777867        216987         18             0              6   20   18    
2.33/2.42	c 1585           4112           3403929        258566         18             0              7   42   28    
2.33/2.49	c 1841           4822           4014498        295715         18             0              22   25   24   
2.43/2.56	c 2122           5510           4551540        336425         18             0              7   22   17    
2.53/2.63	c 2431           6206           5183203        382295         18             0              9   25   22    
2.63/2.71	c 2770           7015           5816161        433143         18             0              8   20   17    
2.73/2.80	c 3142           7916           6634641        489501         18             0              9   22   20    
2.83/2.93	c 3551           9009           7712336        563572         18             0              12   19   16   
2.93/3.03	c 4000           10121          8596679        629806         18             0              8   21   18    
3.03/3.15	c 4493           11364          9670388        704616         18             0              7   20   18    
3.13/3.27	c 5035           12815          10843744       774579         18             0              7   21   19    
3.23/3.39	c 5631           14070          11834279       849619         18             0              6   20   16    
3.43/3.53	c 6286           15588          13134433       944689         18             0              8   21   18    
3.63/3.70	c 7006           17417          14769713       1052674        18             0              7   21   17    
3.73/3.85	c 7798           19071          16095472       1154482        18             0              6   19   15    
3.93/4.06	c 8669           21419          18078475       1279901        18             0              12   19   16   
4.13/4.27	c 9627           23815          20091231       1411094        18             0              7   21   18    
4.33/4.48	c 10680          26169          21979696       1539987        18             0              7   20   16    
4.63/4.76	c 11838          29074          24600220       1717547        18             0              7   21   18    
4.93/5.03	c 13111          32451          27381424       1887941        18             0              6   20   17    
5.23/5.32	c 14511          35456          29930971       2063380        18             0              7   21   18    
5.43/5.59	c 16051          38804          32580551       2248698        18             0              7   21   17    
5.83/5.98	c 17745          43150          36292369       2501210        18             0              7   21   17    
6.23/6.36	c 19608          47828          40160991       2789063        18             0              13   22   17   
6.93/7.01	c 21657          53513          45771779       3203869        18             0              10   21   17   
7.33/7.43	c 23910          58625          49933633       3485011        18             0              8   24   19    
8.23/8.32	c 26388          65080          57411556       4035557        18             0              11   19   16   
8.84/8.96	c 29113          71766          63534207       4483326        18             0              7   22   17    
9.53/9.64	c 32110          79164          69811994       4914399        18             0              8   20   17    
10.13/10.26	c 35406          86911          76119434       5338832        18             0              7   21   17    
11.13/11.28	c 39031          96350          85386695       5933786        18             0              7   19   16    
12.53/12.64	c 43018          107175         96909323       6780371        18             0              8   15   13    
14.03/14.18	c 47403          118650         109645543      7715139        18             0              11   19   16   
15.13/15.24	c 52226          131002         119699376      8391729        18             0              6   20   17    
16.23/16.31	c 57531          143310         130298209      9071785        18             0              5   20   17    
17.54/17.62	c 63366          157531         142529736      9947410        18             0              9   22   18    
18.64/18.80	c 69784          171341         154434077      10778405       18             0              7   19   16    
20.63/20.70	c 76843          190190         172207719      11981650       18             0              11   21   17   
22.33/22.45	c 84607          209754         189487126      13119447       18             0              7   21   17    
23.93/24.09	c 93147          229866         206821448      14542836       18             0              13   22   17   
25.63/25.75	c 102541         263809         228090513      15769769       18             0              8   43   29    
27.33/27.48	c 112874         286491         246536441      17051918       18             0              11   26   20   
30.23/30.35	c 124240         315537         273081675      18872809       18             0              8   26   19    
32.53/32.69	c 136742         344081         296209922      20489049       18             0              8   24   18    
35.33/35.47	c 150494         374595         322426007      22479891       18             0              10   26   21   
39.33/39.46	c 165621         413200         359560306      24955578       18             0              8   22   18    
42.43/42.52	c 182260         451625         391860621      27134651       18             0              8   24   18    
46.53/46.66	c 200562         500578         434041093      29686040       18             0              14   24   20   
51.83/51.97	c 220694         553615         482800344      32956952       18             0              8   21   18    
57.83/57.99	c 242839         612429         538408092      36738455       18             0              9   19   16    
64.03/64.14	c 267198         673848         594650213      40666059       18             0              9   19   16    
69.34/69.43	c 293992         737089         647508282      44257177       18             0              7   21   18    
74.93/75.01	c 323465         804933         704331647      48192554       18             0              6   21   16    
82.63/82.73	c 355885         886813         779177885      53168361       18             0              7   22   18    
92.53/92.61	c 391547         981178         870041977      59316513       18             0              10   19   16   
102.24/102.32	c 430775         1081090        963141518      65707704       18             0              7   22   17    
108.43/108.51	c 473925         1169859        1028067023     70244721       18             0              7   21   16    
118.53/118.69	c 521390         1288938        1126958472     76795423       18             0              7   24   19    
127.03/127.10	c 573601         1396396        1209919938     83223993       18             0              7   21   16    
140.13/140.21	c 631033         1541711        1343464246     92157396       18             0              5   26   18    
155.14/155.27	c 694208         1697254        1484633433     102025603      18             0              9   25   19    
167.94/168.00	c 763700         1866667        1617768172     110758866      18             0              7   21   17    
179.24/179.32	c 840141         2092261        1765823481     119267476      18             0              7   47   27    
201.74/201.80	c 924226         2321127        1977952637     133211980      18             0              9   23   18    
220.14/220.25	c 1016719        2529144        2157267814     146000810      18             0              7   24   18    
247.94/248.05	c 1118461        2794764        2413479297     163553578      18             0              9   19   16    
274.74/274.81	c 1230377        3092877        2671450360     181460427      18             0              8   24   19    
302.44/302.58	c 1353484        3423492        2943155999     199040675      18             0              9   23   20    
327.44/327.55	c 1488901        3998200        3251043415     217471097      18             0              12   51   27   
367.54/367.62	c 1637859        4421773        3615024969     240849113      18             0              12   22   19   
407.14/407.22	c 1801712        4855451        3991285356     264733903      18             0              9   24   20    
454.14/454.21	c 1981950        5318155        4427747247     294277093      18             0              8   20   16    
497.15/497.22	c 2180211        5785959        4849429434     323735533      18             0              7   23   18    
555.65/555.72	c 2398298        6359583        5395240483     361134194      18             0              8   20   16    
602.45/602.56	c 2638193        6936832        5871915186     392754934      18             0              5   22   18    
668.25/668.31	c 2902077        7605724        6488116827     435231816      18             0              8   21   16    
737.35/737.45	c 3192349        8362532        7132611836     478443625      18             0              8   22   18    
802.75/802.80	c 3511648        9116752        7769576946     523517545      18             0              7   22   17    
893.36/893.48	c 3862876        10089561       8650949528     577859864      18             0              10   24   18   
967.46/967.54	c 4249226        11041613       9387464006     626791972      18             0              6   21   17    
1066.16/1066.29	c 4674211        12086792       10317605496    691931210      18             0              8   21   16    
1161.06/1161.16	c 5141694        13208133       11254039994    755637582      18             0              5   22   18    
1280.37/1280.49	c 5655925        14506867       12412913453    834010206      18             0              7   22   17    
1398.07/1398.13	c 6221579        15940453       13586624276    910776155      18             0              6   22   17    
1513.87/1513.99	c 6843798        17255707       14655526601    989719367      18             0              4   22   16    
1690.98/1691.00	c 7528238        19117944       16332979126    1098824692     18             0              8   23   18    
1806.88/1806.92	c 8281122        21116592       17834209675    1191814097     18             0              17   42   26   
2003.29/2003.36	c 9109294        23220725       19710482793    1320200990     18             0              7   21   17    
2118.39/2118.47	c solution 1
2118.39/2118.47	
2118.39/2118.47	v <instantiation type='solution'>
2118.39/2118.47	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>
2118.39/2118.47	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>
2118.39/2118.47	v </instantiation>
2118.39/2118.47	
2118.39/2118.47	c restarts              : 96          
2118.39/2118.47	c conflicts             : 9744974      (4600 /sec)
2118.39/2118.47	c decisions             : 25780737     (12169 /sec)
2118.39/2118.47	c propagations          : 1403352018  (662436 /sec)
2118.39/2118.47	c root propagations     : 108         
2118.39/2118.47	c filter calls          : 21157108725    (9986962 /sec)
2118.39/2118.47	c useless filter calls  : 20293969723    (95 %)
2118.39/2118.47	c Memory used           : 28.36 MB
2118.39/2118.47	c CPU time              : 2118.47 s
2118.39/2118.47	
2118.39/2118.47	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-4268217-1502535395/watcher-4268217-1502535395 -o /tmp/evaluation-result-4268217-1502535395/solver-4268217-1502535395 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502500343-24508 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268217-1502535395.xml 

pid=1013
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.19 2.07 2.06 4/184 1016
/proc/meminfo: memFree=30981880/32770624 swapFree=0/590276
[pid=1016] ppid=1013 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/1016/stat : 1016 (runsolver) D 1013 1016 24445 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 101045870 24240128 107 18446744073709551615 4194304 4338465 140722945889440 140722945887080 140717344162519 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 17072128 140722945892545 140722945892937 140722945892937 140722945896394 0
/proc/1016/statm: 5918 107 54 36 0 2156 0

[startup+0.100196 s]
/proc/loadavg: 2.19 2.07 2.06 4/184 1016
/proc/meminfo: memFree=30981880/32770624 swapFree=0/590276
[pid=1016] ppid=1013 vsize=27140 CPUtime=0.03 cores=0,2,4,6
/proc/1016/stat : 1016 (cosoco) R 1013 1016 24445 0 -1 4202496 1045 0 0 0 3 0 0 0 20 0 1 0 101045870 27791360 832 18446744073709551615 4194304 5972588 140730173076784 140730173073432 139673705452931 0 0 1 0 0 0 0 17 2 0 0 6 0 0 8070896 8075904 29007872 140730173080046 140730173080141 140730173080141 140730173083598 0
/proc/1016/statm: 6785 832 717 435 0 148 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 27140

[startup+0.200329 s]
/proc/loadavg: 2.19 2.07 2.06 4/184 1016
/proc/meminfo: memFree=30981880/32770624 swapFree=0/590276
[pid=1016] ppid=1013 vsize=27264 CPUtime=0.13 cores=0,2,4,6
/proc/1016/stat : 1016 (cosoco) R 1013 1016 24445 0 -1 4202496 1065 0 0 0 13 0 0 0 20 0 1 0 101045870 27918336 892 18446744073709551615 4194304 5972588 140730173076784 140730173073432 139673714723568 0 0 1 0 0 0 0 17 2 0 0 6 0 0 8070896 8075904 29007872 140730173080046 140730173080141 140730173080141 140730173083598 0
/proc/1016/statm: 6816 892 750 435 0 179 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 27264

[startup+0.300317 s]
/proc/loadavg: 2.19 2.07 2.06 4/184 1016
/proc/meminfo: memFree=30981880/32770624 swapFree=0/590276
[pid=1016] ppid=1013 vsize=27388 CPUtime=0.23 cores=0,2,4,6
/proc/1016/stat : 1016 (cosoco) R 1013 1016 24445 0 -1 4202496 1083 0 0 0 23 0 0 0 20 0 1 0 101045870 28045312 923 18446744073709551615 4194304 5972588 140730173076784 140730173073432 139673715027296 0 0 1 0 0 0 0 17 2 0 0 6 0 0 8070896 8075904 29007872 140730173080046 140730173080141 140730173080141 140730173083598 0
/proc/1016/statm: 6847 923 750 435 0 210 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 27388

[startup+0.700279 s]
/proc/loadavg: 2.19 2.07 2.06 4/184 1016
/proc/meminfo: memFree=30981880/32770624 swapFree=0/590276
[pid=1016] ppid=1013 vsize=27648 CPUtime=0.63 cores=0,2,4,6
/proc/1016/stat : 1016 (cosoco) R 1013 1016 24445 0 -1 4202496 1156 0 0 0 63 0 0 0 20 0 1 0 101045870 28311552 987 18446744073709551615 4194304 5972588 140730173076784 140730173073432 5162592 0 0 1 0 0 0 0 17 2 0 0 6 0 0 8070896 8075904 29007872 140730173080046 140730173080141 140730173080141 140730173083598 0
/proc/1016/statm: 6912 987 750 435 0 275 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 27648

[startup+1.50027 s]
/proc/loadavg: 2.19 2.07 2.06 3/185 1017
/proc/meminfo: memFree=30980444/32770624 swapFree=0/590284
[pid=1016] ppid=1013 vsize=28148 CPUtime=1.43 cores=0,2,4,6
/proc/1016/stat : 1016 (cosoco) R 1013 1016 24445 0 -1 4202496 1298 0 0 0 143 0 0 0 20 0 1 0 101045870 28823552 1112 18446744073709551615 4194304 5972588 140730173076784 140730173060504 5163240 0 0 1 0 0 0 0 17 2 0 0 6 0 0 8070896 8075904 29007872 140730173080046 140730173080141 140730173080141 140730173083598 0
/proc/1016/statm: 7037 1112 750 435 0 400 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 28148

[startup+3.10028 s]
/proc/loadavg: 2.19 2.07 2.06 3/185 1017
/proc/meminfo: memFree=30979700/32770624 swapFree=0/590284
[pid=1016] ppid=1013 vsize=29032 CPUtime=3.03 cores=0,2,4,6
/proc/1016/stat : 1016 (cosoco) R 1013 1016 24445 0 -1 4202496 2148 0 0 0 303 0 0 0 20 0 1 0 101045870 29728768 1441 18446744073709551615 4194304 5972588 140730173076784 140730173060504 5071032 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 29007872 140730173080046 140730173080141 140730173080141 140730173083598 0
/proc/1016/statm: 7258 1441 829 435 0 621 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 29032

[startup+6.30028 s]
/proc/loadavg: 2.10 2.05 2.05 3/185 1017
/proc/meminfo: memFree=30979456/32770624 swapFree=0/590284
[pid=1016] ppid=1013 vsize=29032 CPUtime=6.23 cores=0,2,4,6
/proc/1016/stat : 1016 (cosoco) R 1013 1016 24445 0 -1 4202496 2696 0 0 0 623 0 0 0 20 0 1 0 101045870 29728768 1442 18446744073709551615 4194304 5972588 140730173076784 140730173074088 4909602 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 29007872 140730173080046 140730173080141 140730173080141 140730173083598 0
/proc/1016/statm: 7258 1442 829 435 0 621 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 29032

[startup+12.7003 s]
/proc/loadavg: 2.09 2.05 2.05 3/185 1017
/proc/meminfo: memFree=30979084/32770624 swapFree=0/590280
[pid=1016] ppid=1013 vsize=29032 CPUtime=12.63 cores=0,2,4,6
/proc/1016/stat : 1016 (cosoco) R 1013 1016 24445 0 -1 4202496 3244 0 0 0 1263 0 0 0 20 0 1 0 101045870 29728768 1442 18446744073709551615 4194304 5972588 140730173076784 140730173074088 5328649 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 29007872 140730173080046 140730173080141 140730173080141 140730173083598 0
/proc/1016/statm: 7258 1442 829 435 0 621 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 29032

[startup+25.5003 s]
/proc/loadavg: 2.07 2.05 2.05 3/185 1017
/proc/meminfo: memFree=30979084/32770624 swapFree=0/590272
[pid=1016] ppid=1013 vsize=29032 CPUtime=25.43 cores=0,2,4,6
/proc/1016/stat : 1016 (cosoco) R 1013 1016 24445 0 -1 4202496 4340 0 0 0 2543 0 0 0 20 0 1 0 101045870 29728768 1442 18446744073709551615 4194304 5972588 140730173076784 140730173074088 5053024 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 29007872 140730173080046 140730173080141 140730173080141 140730173083598 0
/proc/1016/statm: 7258 1442 829 435 0 621 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 29032

[startup+51.1003 s]
/proc/loadavg: 2.04 2.04 2.05 3/185 1017
/proc/meminfo: memFree=30979208/32770624 swapFree=0/590268
[pid=1016] ppid=1013 vsize=29032 CPUtime=51.03 cores=0,2,4,6
/proc/1016/stat : 1016 (cosoco) R 1013 1016 24445 0 -1 4202496 4888 0 0 0 5103 0 0 0 20 0 1 0 101045870 29728768 1442 18446744073709551615 4194304 5972588 140730173076784 140730173074088 5070984 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 29007872 140730173080046 140730173080141 140730173080141 140730173083598 0
/proc/1016/statm: 7258 1442 829 435 0 621 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 29032

[startup+102.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/185 1019
/proc/meminfo: memFree=30978504/32770624 swapFree=0/590276
[pid=1016] ppid=1013 vsize=29032 CPUtime=102.24 cores=0,2,4,6
/proc/1016/stat : 1016 (cosoco) R 1013 1016 24445 0 -1 4202496 5436 0 0 0 10224 0 0 0 20 0 1 0 101045870 29728768 1442 18446744073709551615 4194304 5972588 140730173076784 140730173074088 5328649 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 29007872 140730173080046 140730173080141 140730173080141 140730173083598 0
/proc/1016/statm: 7258 1442 829 435 0 621 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 29032

[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 1022
/proc/meminfo: memFree=30978372/32770624 swapFree=0/590268
[pid=1016] ppid=1013 vsize=29032 CPUtime=162.24 cores=0,2,4,6
/proc/1016/stat : 1016 (cosoco) R 1013 1016 24445 0 -1 4202496 5984 0 0 0 16224 0 0 0 20 0 1 0 101045870 29728768 1442 18446744073709551615 4194304 5972588 140730173076784 140730173074088 5070984 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 29007872 140730173080046 140730173080141 140730173080141 140730173083598 0
/proc/1016/statm: 7258 1442 829 435 0 621 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 29032

[startup+222.306 s]
/proc/loadavg: 2.05 2.04 2.05 3/185 1024
/proc/meminfo: memFree=30978112/32770624 swapFree=0/590268
[pid=1016] ppid=1013 vsize=29032 CPUtime=222.24 cores=0,2,4,6
/proc/1016/stat : 1016 (cosoco) R 1013 1016 24445 0 -1 4202496 6532 0 0 0 22224 0 0 0 20 0 1 0 101045870 29728768 1442 18446744073709551615 4194304 5972588 140730173076784 140730173074088 5070811 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 29007872 140730173080046 140730173080141 140730173080141 140730173083598 0
/proc/1016/statm: 7258 1442 829 435 0 621 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 29032

[startup+282.3 s]
/proc/loadavg: 2.18 2.08 2.06 3/185 1026
/proc/meminfo: memFree=30978232/32770624 swapFree=0/590292
[pid=1016] ppid=1013 vsize=29032 CPUtime=282.24 cores=0,2,4,6
/proc/1016/stat : 1016 (cosoco) R 1013 1016 24445 0 -1 4202496 7080 0 0 0 28224 0 0 0 20 0 1 0 101045870 29728768 1442 18446744073709551615 4194304 5972588 140730173076784 140730173074088 5070973 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 29007872 140730173080046 140730173080141 140730173080141 140730173083598 0
/proc/1016/statm: 7258 1442 829 435 0 621 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 29032

[startup+342.3 s]
/proc/loadavg: 2.10 2.08 2.06 3/185 1028
/proc/meminfo: memFree=30978240/32770624 swapFree=0/590292
[pid=1016] ppid=1013 vsize=29032 CPUtime=342.24 cores=0,2,4,6
/proc/1016/stat : 1016 (cosoco) R 1013 1016 24445 0 -1 4202496 7628 0 0 0 34224 0 0 0 20 0 1 0 101045870 29728768 1442 18446744073709551615 4194304 5972588 140730173076784 140730173074088 5070704 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 29007872 140730173080046 140730173080141 140730173080141 140730173083598 0
/proc/1016/statm: 7258 1442 829 435 0 621 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 29032

[startup+402.3 s]
/proc/loadavg: 2.04 2.07 2.05 3/185 1030
/proc/meminfo: memFree=30978240/32770624 swapFree=0/590296
[pid=1016] ppid=1013 vsize=29032 CPUtime=402.24 cores=0,2,4,6
/proc/1016/stat : 1016 (cosoco) R 1013 1016 24445 0 -1 4202496 8176 0 0 0 40224 0 0 0 20 0 1 0 101045870 29728768 1442 18446744073709551615 4194304 5972588 140730173076784 140730173074088 5071903 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 29007872 140730173080046 140730173080141 140730173080141 140730173083598 0
/proc/1016/statm: 7258 1442 829 435 0 621 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 29032

[startup+462.3 s]
/proc/loadavg: 2.11 2.08 2.06 4/188 1047
/proc/meminfo: memFree=30972336/32770624 swapFree=0/590320
[pid=1016] ppid=1013 vsize=29032 CPUtime=462.24 cores=0,2,4,6
/proc/1016/stat : 1016 (cosoco) R 1013 1016 24445 0 -1 4202496 8724 0 0 0 46224 0 0 0 20 0 1 0 101045870 29728768 1442 18446744073709551615 4194304 5972588 140730173076784 140730173074088 4965560 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 29007872 140730173080046 140730173080141 140730173080141 140730173083598 0
/proc/1016/statm: 7258 1442 829 435 0 621 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 29032

[startup+522.3 s]
/proc/loadavg: 2.04 2.07 2.05 3/188 1049
/proc/meminfo: memFree=30972608/32770624 swapFree=0/590324
[pid=1016] ppid=1013 vsize=29032 CPUtime=522.25 cores=0,2,4,6
/proc/1016/stat : 1016 (cosoco) R 1013 1016 24445 0 -1 4202496 9272 0 0 0 52225 0 0 0 20 0 1 0 101045870 29728768 1442 18446744073709551615 4194304 5972588 140730173076784 140730173074088 5053024 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 29007872 140730173080046 140730173080141 140730173080141 140730173083598 0
/proc/1016/statm: 7258 1442 829 435 0 621 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 29032

[startup+582.3 s]
/proc/loadavg: 2.02 2.06 2.05 3/185 1051
/proc/meminfo: memFree=30976252/32770624 swapFree=0/590324
[pid=1016] ppid=1013 vsize=29032 CPUtime=582.25 cores=0,2,4,6
/proc/1016/stat : 1016 (cosoco) R 1013 1016 24445 0 -1 4202496 9820 0 0 0 58225 0 0 0 20 0 1 0 101045870 29728768 1442 18446744073709551615 4194304 5972588 140730173076784 140730173074088 4968812 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 29007872 140730173080046 140730173080141 140730173080141 140730173083598 0
/proc/1016/statm: 7258 1442 829 435 0 621 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 29032


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

/proc/loadavg: 2.00 2.01 2.05 3/185 1127
/proc/meminfo: memFree=30976464/32770624 swapFree=0/590408
[pid=1016] ppid=1013 vsize=29032 CPUtime=1482.27 cores=0,2,4,6
/proc/1016/stat : 1016 (cosoco) R 1013 1016 24445 0 -1 4202496 17960 0 0 0 148227 0 0 0 20 0 1 0 101045870 29728768 1442 18446744073709551615 4194304 5972588 140730173076784 140730173074088 5070984 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 29007872 140730173080046 140730173080141 140730173080141 140730173083598 0
/proc/1016/statm: 7258 1442 829 435 0 621 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 29032

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 1130
/proc/meminfo: memFree=30976464/32770624 swapFree=0/590416
[pid=1016] ppid=1013 vsize=29032 CPUtime=1542.28 cores=0,2,4,6
/proc/1016/stat : 1016 (cosoco) R 1013 1016 24445 0 -1 4202496 18508 0 0 0 154228 0 0 0 20 0 1 0 101045870 29728768 1442 18446744073709551615 4194304 5972588 140730173076784 140730173074088 5077402 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 29007872 140730173080046 140730173080141 140730173080141 140730173083598 0
/proc/1016/statm: 7258 1442 829 435 0 621 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 29032

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 1133
/proc/meminfo: memFree=30976464/32770624 swapFree=0/590436
[pid=1016] ppid=1013 vsize=29032 CPUtime=1602.28 cores=0,2,4,6
/proc/1016/stat : 1016 (cosoco) R 1013 1016 24445 0 -1 4202496 19033 0 0 0 160228 0 0 0 20 0 1 0 101045870 29728768 1442 18446744073709551615 4194304 5972588 140730173076784 140730173074088 5328649 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 29007872 140730173080046 140730173080141 140730173080141 140730173083598 0
/proc/1016/statm: 7258 1442 829 435 0 621 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 29032

[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 1149
/proc/meminfo: memFree=30972588/32770624 swapFree=0/590468
[pid=1016] ppid=1013 vsize=29032 CPUtime=1662.28 cores=0,2,4,6
/proc/1016/stat : 1016 (cosoco) R 1013 1016 24445 0 -1 4202496 19562 0 0 0 166228 0 0 0 20 0 1 0 101045870 29728768 1442 18446744073709551615 4194304 5972588 140730173076784 140730173074088 4965342 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 29007872 140730173080046 140730173080141 140730173080141 140730173083598 0
/proc/1016/statm: 7258 1442 829 435 0 621 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 29032

[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/189 1152
/proc/meminfo: memFree=30972448/32770624 swapFree=0/590484
[pid=1016] ppid=1013 vsize=29032 CPUtime=1722.28 cores=0,2,4,6
/proc/1016/stat : 1016 (cosoco) R 1013 1016 24445 0 -1 4202496 20110 0 0 0 172228 0 0 0 20 0 1 0 101045870 29728768 1442 18446744073709551615 4194304 5972588 140730173076784 140730173074088 5070811 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 29007872 140730173080046 140730173080141 140730173080141 140730173083598 0
/proc/1016/statm: 7258 1442 829 435 0 621 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 29032

[startup+1782.3 s]
/proc/loadavg: 2.09 2.03 2.05 4/185 1154
/proc/meminfo: memFree=30975736/32770624 swapFree=0/590492
[pid=1016] ppid=1013 vsize=29032 CPUtime=1782.28 cores=0,2,4,6
/proc/1016/stat : 1016 (cosoco) R 1013 1016 24445 0 -1 4202496 20633 0 0 0 178228 0 0 0 20 0 1 0 101045870 29728768 1442 18446744073709551615 4194304 5972588 140730173076784 140730173074088 4965339 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 29007872 140730173080046 140730173080141 140730173080141 140730173083598 0
/proc/1016/statm: 7258 1442 829 435 0 621 0
Current children cumulated CPU time (s) 1782.28
Current children cumulated vsize (KiB) 29032

[startup+1842.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/185 1156
/proc/meminfo: memFree=30976232/32770624 swapFree=0/590500
[pid=1016] ppid=1013 vsize=29032 CPUtime=1842.28 cores=0,2,4,6
/proc/1016/stat : 1016 (cosoco) R 1013 1016 24445 0 -1 4202496 21181 0 0 0 184228 0 0 0 20 0 1 0 101045870 29728768 1442 18446744073709551615 4194304 5972588 140730173076784 140730173074088 4908840 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 29007872 140730173080046 140730173080141 140730173080141 140730173083598 0
/proc/1016/statm: 7258 1442 829 435 0 621 0
Current children cumulated CPU time (s) 1842.28
Current children cumulated vsize (KiB) 29032

[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 1158
/proc/meminfo: memFree=30976480/32770624 swapFree=0/590512
[pid=1016] ppid=1013 vsize=29032 CPUtime=1902.28 cores=0,2,4,6
/proc/1016/stat : 1016 (cosoco) R 1013 1016 24445 0 -1 4202496 21713 0 0 0 190228 0 0 0 20 0 1 0 101045870 29728768 1442 18446744073709551615 4194304 5972588 140730173076784 140730173074088 4909211 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 29007872 140730173080046 140730173080141 140730173080141 140730173083598 0
/proc/1016/statm: 7258 1442 829 435 0 621 0
Current children cumulated CPU time (s) 1902.28
Current children cumulated vsize (KiB) 29032

[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 1161
/proc/meminfo: memFree=30976464/32770624 swapFree=0/590516
[pid=1016] ppid=1013 vsize=29032 CPUtime=1962.29 cores=0,2,4,6
/proc/1016/stat : 1016 (cosoco) R 1013 1016 24445 0 -1 4202496 22245 0 0 0 196229 0 0 0 20 0 1 0 101045870 29728768 1442 18446744073709551615 4194304 5972588 140730173076784 140730173074088 5070984 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 29007872 140730173080046 140730173080141 140730173080141 140730173083598 0
/proc/1016/statm: 7258 1442 829 435 0 621 0
Current children cumulated CPU time (s) 1962.29
Current children cumulated vsize (KiB) 29032

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 1163
/proc/meminfo: memFree=30976852/32770624 swapFree=0/590516
[pid=1016] ppid=1013 vsize=29032 CPUtime=2022.29 cores=0,2,4,6
/proc/1016/stat : 1016 (cosoco) R 1013 1016 24445 0 -1 4202496 22793 0 0 0 202229 0 0 0 20 0 1 0 101045870 29728768 1442 18446744073709551615 4194304 5972588 140730173076784 140730173074088 5070992 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 29007872 140730173080046 140730173080141 140730173080141 140730173083598 0
/proc/1016/statm: 7258 1442 829 435 0 621 0
Current children cumulated CPU time (s) 2022.29
Current children cumulated vsize (KiB) 29032

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 1165
/proc/meminfo: memFree=30976728/32770624 swapFree=0/590520
[pid=1016] ppid=1013 vsize=29032 CPUtime=2082.29 cores=0,2,4,6
/proc/1016/stat : 1016 (cosoco) R 1013 1016 24445 0 -1 4202496 23323 0 0 0 208229 0 0 0 20 0 1 0 101045870 29728768 1442 18446744073709551615 4194304 5972588 140730173076784 140730173074088 5071906 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 29007872 140730173080046 140730173080141 140730173080141 140730173083598 0
/proc/1016/statm: 7258 1442 829 435 0 621 0
Current children cumulated CPU time (s) 2082.29
Current children cumulated vsize (KiB) 29032

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

[startup+2099.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 1165
/proc/meminfo: memFree=30976852/32770624 swapFree=0/590516
[pid=1016] ppid=1013 vsize=29032 CPUtime=2099.19 cores=0,2,4,6
/proc/1016/stat : 1016 (cosoco) R 1013 1016 24445 0 -1 4202496 23857 0 0 0 209919 0 0 0 20 0 1 0 101045870 29728768 1442 18446744073709551615 4194304 5972588 140730173076784 140730173074088 5070914 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 29007872 140730173080046 140730173080141 140730173080141 140730173083598 0
/proc/1016/statm: 7258 1442 829 435 0 621 0
Current children cumulated CPU time (s) 2099.19
Current children cumulated vsize (KiB) 29032

[startup+2112 s]
/proc/loadavg: 2.00 2.01 2.05 4/185 1166
/proc/meminfo: memFree=30976728/32770624 swapFree=0/590516
[pid=1016] ppid=1013 vsize=29032 CPUtime=2111.99 cores=0,2,4,6
/proc/1016/stat : 1016 (cosoco) R 1013 1016 24445 0 -1 4202496 23857 0 0 0 211199 0 0 0 20 0 1 0 101045870 29728768 1442 18446744073709551615 4194304 5972588 140730173076784 140730173074088 5071825 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 29007872 140730173080046 140730173080141 140730173080141 140730173083598 0
/proc/1016/statm: 7258 1442 829 435 0 621 0
Current children cumulated CPU time (s) 2111.99
Current children cumulated vsize (KiB) 29032

[startup+2115.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 1166
/proc/meminfo: memFree=30976728/32770624 swapFree=0/590516
[pid=1016] ppid=1013 vsize=29032 CPUtime=2115.19 cores=0,2,4,6
/proc/1016/stat : 1016 (cosoco) R 1013 1016 24445 0 -1 4202496 23857 0 0 0 211519 0 0 0 20 0 1 0 101045870 29728768 1442 18446744073709551615 4194304 5972588 140730173076784 140730173074088 4908847 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 29007872 140730173080046 140730173080141 140730173080141 140730173083598 0
/proc/1016/statm: 7258 1442 829 435 0 621 0
Current children cumulated CPU time (s) 2115.19
Current children cumulated vsize (KiB) 29032

[startup+2116.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 1167
/proc/meminfo: memFree=30976852/32770624 swapFree=0/590524
[pid=1016] ppid=1013 vsize=29032 CPUtime=2116.79 cores=0,2,4,6
/proc/1016/stat : 1016 (cosoco) R 1013 1016 24445 0 -1 4202496 23857 0 0 0 211679 0 0 0 20 0 1 0 101045870 29728768 1442 18446744073709551615 4194304 5972588 140730173076784 140730173074088 5077472 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 29007872 140730173080046 140730173080141 140730173080141 140730173083598 0
/proc/1016/statm: 7258 1442 829 435 0 621 0
Current children cumulated CPU time (s) 2116.79
Current children cumulated vsize (KiB) 29032

[startup+2117.61 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 1167
/proc/meminfo: memFree=30976852/32770624 swapFree=0/590524
[pid=1016] ppid=1013 vsize=29032 CPUtime=2117.6 cores=0,2,4,6
/proc/1016/stat : 1016 (cosoco) R 1013 1016 24445 0 -1 4202496 23857 0 0 0 211760 0 0 0 20 0 1 0 101045870 29728768 1442 18446744073709551615 4194304 5972588 140730173076784 140730173074088 4962342 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 29007872 140730173080046 140730173080141 140730173080141 140730173083598 0
/proc/1016/statm: 7258 1442 829 435 0 621 0
Current children cumulated CPU time (s) 2117.6
Current children cumulated vsize (KiB) 29032

[startup+2118 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 1167
/proc/meminfo: memFree=30976852/32770624 swapFree=0/590524
[pid=1016] ppid=1013 vsize=29032 CPUtime=2117.99 cores=0,2,4,6
/proc/1016/stat : 1016 (cosoco) R 1013 1016 24445 0 -1 4202496 23857 0 0 0 211799 0 0 0 20 0 1 0 101045870 29728768 1442 18446744073709551615 4194304 5972588 140730173076784 140730173074088 5071785 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 29007872 140730173080046 140730173080141 140730173080141 140730173083598 0
/proc/1016/statm: 7258 1442 829 435 0 621 0
Current children cumulated CPU time (s) 2117.99
Current children cumulated vsize (KiB) 29032

[startup+2118.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 1167
/proc/meminfo: memFree=30976852/32770624 swapFree=0/590524
[pid=1016] ppid=1013 vsize=29032 CPUtime=2118.39 cores=0,2,4,6
/proc/1016/stat : 1016 (cosoco) R 1013 1016 24445 0 -1 4202496 23857 0 0 0 211839 0 0 0 20 0 1 0 101045870 29728768 1442 18446744073709551615 4194304 5972588 140730173076784 140730173074088 5328649 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 29007872 140730173080046 140730173080141 140730173080141 140730173083598 0
/proc/1016/statm: 7258 1442 829 435 0 621 0
Current children cumulated CPU time (s) 2118.39
Current children cumulated vsize (KiB) 29032

Child status: 0
Real time (s): 2118.48
CPU time (s): 2118.48
CPU user time (s): 2118.47
CPU system time (s): 0.004
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 29032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2118.47
system time used= 0.004
maximum resident set size= 5844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23914
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= 10
involuntary context switches= 532

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.52695 second user time and 7.13991 second system time

The end

Launcher Data 

Begin job on node134 at 2017-08-12 12:42:40
IDJOB=4268217
IDBENCH=130608
IDSOLVER=2658
FILE ID=node134/4268217-1502535395
RUNJOBID= node134-1502500343-24508
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP17/QueenAttacking/QueenAttacking-xcsp2-s1/QueenAttacking-08_X2.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4268217-1502535395/watcher-4268217-1502535395 -o /tmp/evaluation-result-4268217-1502535395/solver-4268217-1502535395 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502500343-24508 --watchdog 2580  cosoco -lc -model -restarts HOME/instance-4268217-1502535395.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 01373ebb4a146089a71bb04c36ed4f3a
RANDOM SEED=538090696

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/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		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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	: 5333.43
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		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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	: 5332.55
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		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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	: 5333.43
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		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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	: 5332.55
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		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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	: 5333.43
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		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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	: 5332.55
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		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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	: 5333.43
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		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30982224 kB
MemAvailable:   31970364 kB
Buffers:          301092 kB
Cached:           987088 kB
SwapCached:            0 kB
Active:           721936 kB
Inactive:         629960 kB
Active(anon):      65700 kB
Inactive(anon):    39408 kB
Active(file):     656236 kB
Inactive(file):   590552 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2472 kB
Writeback:             0 kB
AnonPages:        121076 kB
Mapped:            55232 kB
Shmem:             41660 kB
Slab:             140548 kB
SReclaimable:     114376 kB
SUnreclaim:        26172 kB
KernelStack:        3536 kB
PageTables:         5072 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     338136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 62024 MiB
End job on node134 at 2017-08-12 13:17:59