Trace number 4266286

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-sat 1.12? (TO) 2520.05 2519.8999

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.02	c intension x[0] != x[2]  using generic constraint 
0.00/0.02	c intension x[0] != x[3]  using generic constraint 
0.00/0.02	c intension x[0] != x[4]  using generic constraint 
0.00/0.02	c intension x[0] != x[5]  using generic constraint 
0.00/0.02	c intension x[0] != x[6]  using generic constraint 
0.00/0.03	c intension x[0] != x[7]  using generic constraint 
0.00/0.03	c intension x[0] != x[8]  using generic constraint 
0.00/0.03	c intension x[0] != x[9]  using generic constraint 
0.00/0.03	c intension x[0] != x[10]  using generic constraint 
0.00/0.03	c intension x[0] != x[11]  using generic constraint 
0.00/0.03	c intension x[0] != x[12]  using generic constraint 
0.00/0.03	c intension x[0] != x[13]  using generic constraint 
0.00/0.03	c intension x[0] != x[14]  using generic constraint 
0.00/0.03	c intension x[0] != x[15]  using generic constraint 
0.00/0.03	c intension x[0] != x[16]  using generic constraint 
0.00/0.03	c intension x[0] != x[17]  using generic constraint 
0.00/0.03	c intension x[0] != x[18]  using generic constraint 
0.00/0.04	c intension x[0] != x[19]  using generic constraint 
0.00/0.04	c intension x[0] != x[20]  using generic constraint 
0.00/0.04	c intension x[0] != x[21]  using generic constraint 
0.00/0.04	c intension x[0] != x[22]  using generic constraint 
0.00/0.04	c intension x[0] != x[23]  using generic constraint 
0.00/0.04	c intension x[0] != x[24]  using generic constraint 
0.00/0.04	c intension x[0] != x[25]  using generic constraint 
0.00/0.04	c intension x[0] != x[26]  using generic constraint 
0.00/0.04	c intension x[0] != x[27]  using generic constraint 
0.00/0.04	c intension x[0] != x[28]  using generic constraint 
0.00/0.04	c intension x[0] != x[29]  using generic constraint 
0.00/0.04	c intension x[0] != x[30]  using generic constraint 
0.00/0.05	c intension x[0] != x[31]  using generic constraint 
0.00/0.05	c intension x[0] != x[32]  using generic constraint 
0.00/0.05	c intension x[0] != x[33]  using generic constraint 
0.00/0.05	c intension x[0] != x[34]  using generic constraint 
0.00/0.05	c intension x[0] != x[35]  using generic constraint 
0.00/0.05	c intension x[0] != x[36]  using generic constraint 
0.00/0.05	c intension x[0] != x[37]  using generic constraint 
0.00/0.05	c intension x[0] != x[38]  using generic constraint 
0.00/0.05	c intension x[0] != x[39]  using generic constraint 
0.00/0.05	c intension x[0] != x[40]  using generic constraint 
0.00/0.05	c intension x[0] != x[41]  using generic constraint 
0.00/0.06	c intension x[0] != x[42]  using generic constraint 
0.00/0.06	c intension x[0] != x[43]  using generic constraint 
0.00/0.06	c intension x[0] != x[44]  using generic constraint 
0.00/0.06	c intension x[0] != x[45]  using generic constraint 
0.00/0.06	c intension x[0] != x[46]  using generic constraint 
0.00/0.06	c intension x[0] != x[47]  using generic constraint 
0.00/0.06	c intension x[0] != x[48]  using generic constraint 
0.00/0.06	c intension x[0] != x[49]  using generic constraint 
0.00/0.06	c intension x[0] != x[50]  using generic constraint 
0.00/0.06	c intension x[0] != x[51]  using generic constraint 
0.00/0.06	c intension x[0] != x[52]  using generic constraint 
0.00/0.06	c intension x[0] != x[53]  using generic constraint 
0.00/0.07	c intension x[0] != x[54]  using generic constraint 
0.00/0.07	c intension x[0] != x[55]  using generic constraint 
0.00/0.07	c intension x[0] != x[56]  using generic constraint 
0.00/0.07	c intension x[0] != x[57]  using generic constraint 
0.00/0.07	c intension x[0] != x[58]  using generic constraint 
0.00/0.07	c intension x[0] != x[59]  using generic constraint 
0.00/0.07	c intension x[0] != x[60]  using generic constraint 
0.00/0.07	c intension x[0] != x[61]  using generic constraint 
0.00/0.07	c intension x[0] != x[62]  using generic constraint 
0.00/0.07	c intension x[0] != x[63]  using generic constraint 
0.00/0.07	c intension x[1] != x[3]  using generic constraint 
0.00/0.07	c intension x[1] != x[4]  using generic constraint 
0.00/0.08	c intension x[1] != x[5]  using generic constraint 
0.00/0.08	c intension x[1] != x[6]  using generic constraint 
0.00/0.08	c intension x[1] != x[7]  using generic constraint 
0.00/0.08	c intension x[1] != x[8]  using generic constraint 
0.00/0.08	c intension x[1] != x[9]  using generic constraint 
0.00/0.08	c intension x[1] != x[10]  using generic constraint 
0.00/0.08	c intension x[1] != x[11]  using generic constraint 
0.00/0.08	c intension x[1] != x[12]  using generic constraint 
0.00/0.08	c intension x[1] != x[13]  using generic constraint 
0.00/0.08	c intension x[1] != x[14]  using generic constraint 
0.00/0.08	c intension x[1] != x[15]  using generic constraint 
0.00/0.09	c intension x[1] != x[16]  using generic constraint 
0.00/0.09	c intension x[1] != x[17]  using generic constraint 
0.00/0.09	c intension x[1] != x[18]  using generic constraint 
0.00/0.09	c intension x[1] != x[19]  using generic constraint 
0.00/0.09	c intension x[1] != x[20]  using generic constraint 
0.00/0.09	c intension x[1] != x[21]  using generic constraint 
0.00/0.09	c intension x[1] != x[22]  using generic constraint 
0.00/0.09	c intension x[1] != x[23]  using generic constraint 
0.00/0.09	c intension x[1] != x[24]  using generic constraint 
0.00/0.09	c intension x[1] != x[25]  using generic constraint 
0.00/0.09	c intension x[1] != x[26]  using generic constraint 
0.00/0.09	c intension x[1] != x[27]  using generic constraint 
0.00/0.10	c intension x[1] != x[28]  using generic constraint 
0.00/0.10	c intension x[1] != x[29]  using generic constraint 
0.00/0.10	c intension x[1] != x[30]  using generic constraint 
0.00/0.10	c intension x[1] != x[31]  using generic constraint 
0.00/0.10	c intension x[1] != x[32]  using generic constraint 
0.00/0.10	c intension x[1] != x[33]  using generic constraint 
0.00/0.10	c intension x[1] != x[34]  using generic constraint 
0.00/0.10	c intension x[1] != x[35]  using generic constraint 
0.00/0.10	c intension x[1] != x[36]  using generic constraint 
0.00/0.10	c intension x[1] != x[37]  using generic constraint 
0.00/0.10	c intension x[1] != x[38]  using generic constraint 
0.10/0.11	c intension x[1] != x[39]  using generic constraint 
0.10/0.11	c intension x[1] != x[40]  using generic constraint 
0.10/0.11	c intension x[1] != x[41]  using generic constraint 
0.10/0.11	c intension x[1] != x[42]  using generic constraint 
0.10/0.11	c intension x[1] != x[43]  using generic constraint 
0.10/0.11	c intension x[1] != x[44]  using generic constraint 
0.10/0.11	c intension x[1] != x[45]  using generic constraint 
0.10/0.11	c intension x[1] != x[46]  using generic constraint 
0.10/0.11	c intension x[1] != x[47]  using generic constraint 
0.10/0.11	c intension x[1] != x[48]  using generic constraint 
0.10/0.11	c intension x[1] != x[49]  using generic constraint 
0.10/0.11	c intension x[1] != x[50]  using generic constraint 
0.10/0.12	c intension x[1] != x[51]  using generic constraint 
0.10/0.12	c intension x[1] != x[52]  using generic constraint 
0.10/0.12	c intension x[1] != x[53]  using generic constraint 
0.10/0.12	c intension x[1] != x[54]  using generic constraint 
0.10/0.12	c intension x[1] != x[55]  using generic constraint 
0.10/0.12	c intension x[1] != x[56]  using generic constraint 
0.10/0.12	c intension x[1] != x[57]  using generic constraint 
0.10/0.12	c intension x[1] != x[58]  using generic constraint 
0.10/0.12	c intension x[1] != x[59]  using generic constraint 
0.10/0.12	c intension x[1] != x[60]  using generic constraint 
0.10/0.12	c intension x[1] != x[61]  using generic constraint 
0.10/0.13	c intension x[1] != x[62]  using generic constraint 
0.10/0.13	c intension x[1] != x[63]  using generic constraint 
0.10/0.13	c intension x[2] != x[4]  using generic constraint 
0.10/0.13	c intension x[2] != x[5]  using generic constraint 
0.10/0.13	c intension x[2] != x[6]  using generic constraint 
0.10/0.13	c intension x[2] != x[7]  using generic constraint 
0.10/0.13	c intension x[2] != x[8]  using generic constraint 
0.10/0.13	c intension x[2] != x[9]  using generic constraint 
0.10/0.13	c intension x[2] != x[10]  using generic constraint 
0.10/0.13	c intension x[2] != x[11]  using generic constraint 
0.10/0.13	c intension x[2] != x[12]  using generic constraint 
0.10/0.13	c intension x[2] != x[13]  using generic constraint 
0.10/0.14	c intension x[2] != x[14]  using generic constraint 
0.10/0.14	c intension x[2] != x[15]  using generic constraint 
0.10/0.14	c intension x[2] != x[16]  using generic constraint 
0.10/0.14	c intension x[2] != x[17]  using generic constraint 
0.10/0.14	c intension x[2] != x[18]  using generic constraint 
0.10/0.14	c intension x[2] != x[19]  using generic constraint 
0.10/0.14	c intension x[2] != x[20]  using generic constraint 
0.10/0.14	c intension x[2] != x[21]  using generic constraint 
0.10/0.14	c intension x[2] != x[22]  using generic constraint 
0.10/0.14	c intension x[2] != x[23]  using generic constraint 
0.10/0.14	c intension x[2] != x[24]  using generic constraint 
0.10/0.14	c intension x[2] != x[25]  using generic constraint 
0.10/0.15	c intension x[2] != x[26]  using generic constraint 
0.10/0.15	c intension x[2] != x[27]  using generic constraint 
0.10/0.15	c intension x[2] != x[28]  using generic constraint 
0.10/0.15	c intension x[2] != x[29]  using generic constraint 
0.10/0.15	c intension x[2] != x[30]  using generic constraint 
0.10/0.15	c intension x[2] != x[31]  using generic constraint 
0.10/0.15	c intension x[2] != x[32]  using generic constraint 
0.10/0.15	c intension x[2] != x[33]  using generic constraint 
0.10/0.15	c intension x[2] != x[34]  using generic constraint 
0.10/0.15	c intension x[2] != x[35]  using generic constraint 
0.10/0.15	c intension x[2] != x[36]  using generic constraint 
0.10/0.16	c intension x[2] != x[37]  using generic constraint 
0.10/0.16	c intension x[2] != x[38]  using generic constraint 
0.10/0.16	c intension x[2] != x[39]  using generic constraint 
0.10/0.16	c intension x[2] != x[40]  using generic constraint 
0.10/0.16	c intension x[2] != x[41]  using generic constraint 
0.10/0.16	c intension x[2] != x[42]  using generic constraint 
0.10/0.16	c intension x[2] != x[43]  using generic constraint 
0.10/0.16	c intension x[2] != x[44]  using generic constraint 
0.10/0.16	c intension x[2] != x[45]  using generic constraint 
0.10/0.16	c intension x[2] != x[46]  using generic constraint 
0.10/0.16	c intension x[2] != x[47]  using generic constraint 
0.10/0.16	c intension x[2] != x[48]  using generic constraint 
0.10/0.17	c intension x[2] != x[49]  using generic constraint 
0.10/0.17	c intension x[2] != x[50]  using generic constraint 
0.10/0.17	c intension x[2] != x[51]  using generic constraint 
0.10/0.17	c intension x[2] != x[52]  using generic constraint 
0.10/0.17	c intension x[2] != x[53]  using generic constraint 
0.10/0.17	c intension x[2] != x[54]  using generic constraint 
0.10/0.17	c intension x[2] != x[55]  using generic constraint 
0.10/0.17	c intension x[2] != x[56]  using generic constraint 
0.10/0.17	c intension x[2] != x[57]  using generic constraint 
0.10/0.17	c intension x[2] != x[58]  using generic constraint 
0.10/0.17	c intension x[2] != x[59]  using generic constraint 
0.10/0.18	c intension x[2] != x[60]  using generic constraint 
0.10/0.18	c intension x[2] != x[61]  using generic constraint 
0.10/0.18	c intension x[2] != x[62]  using generic constraint 
0.10/0.18	c intension x[2] != x[63]  using generic constraint 
0.10/0.18	c intension x[3] != x[5]  using generic constraint 
0.10/0.18	c intension x[3] != x[6]  using generic constraint 
0.10/0.18	c intension x[3] != x[7]  using generic constraint 
0.10/0.18	c intension x[3] != x[8]  using generic constraint 
0.10/0.18	c intension x[3] != x[9]  using generic constraint 
0.10/0.18	c intension x[3] != x[10]  using generic constraint 
0.10/0.18	c intension x[3] != x[11]  using generic constraint 
0.10/0.18	c intension x[3] != x[12]  using generic constraint 
0.10/0.19	c intension x[3] != x[13]  using generic constraint 
0.10/0.19	c intension x[3] != x[14]  using generic constraint 
0.10/0.19	c intension x[3] != x[15]  using generic constraint 
0.10/0.19	c intension x[3] != x[16]  using generic constraint 
0.10/0.19	c intension x[3] != x[17]  using generic constraint 
0.10/0.19	c intension x[3] != x[18]  using generic constraint 
0.10/0.19	c intension x[3] != x[19]  using generic constraint 
0.10/0.19	c intension x[3] != x[20]  using generic constraint 
0.10/0.19	c intension x[3] != x[21]  using generic constraint 
0.10/0.19	c intension x[3] != x[22]  using generic constraint 
0.10/0.19	c intension x[3] != x[23]  using generic constraint 
0.10/0.19	c intension x[3] != x[24]  using generic constraint 
0.10/0.20	c intension x[3] != x[25]  using generic constraint 
0.10/0.20	c intension x[3] != x[26]  using generic constraint 
0.10/0.20	c intension x[3] != x[27]  using generic constraint 
0.10/0.20	c intension x[3] != x[28]  using generic constraint 
0.10/0.20	c intension x[3] != x[29]  using generic constraint 
0.10/0.20	c intension x[3] != x[30]  using generic constraint 
0.10/0.20	c intension x[3] != x[31]  using generic constraint 
0.10/0.20	c intension x[3] != x[32]  using generic constraint 
0.10/0.20	c intension x[3] != x[33]  using generic constraint 
0.10/0.20	c intension x[3] != x[34]  using generic constraint 
0.10/0.20	c intension x[3] != x[35]  using generic constraint 
0.10/0.21	c intension x[3] != x[36]  using generic constraint 
0.10/0.21	c intension x[3] != x[37]  using generic constraint 
0.10/0.21	c intension x[3] != x[38]  using generic constraint 
0.10/0.21	c intension x[3] != x[39]  using generic constraint 
0.10/0.21	c intension x[3] != x[40]  using generic constraint 
0.10/0.21	c intension x[3] != x[41]  using generic constraint 
0.10/0.21	c intension x[3] != x[42]  using generic constraint 
0.10/0.21	c intension x[3] != x[43]  using generic constraint 
0.10/0.21	c intension x[3] != x[44]  using generic constraint 
0.10/0.21	c intension x[3] != x[45]  using generic constraint 
0.21/0.21	c intension x[3] != x[46]  using generic constraint 
0.21/0.21	c intension x[3] != x[47]  using generic constraint 
0.21/0.22	c intension x[3] != x[48]  using generic constraint 
0.21/0.22	c intension x[3] != x[49]  using generic constraint 
0.21/0.22	c intension x[3] != x[50]  using generic constraint 
0.21/0.22	c intension x[3] != x[51]  using generic constraint 
0.21/0.22	c intension x[3] != x[52]  using generic constraint 
0.21/0.22	c intension x[3] != x[53]  using generic constraint 
0.21/0.22	c intension x[3] != x[54]  using generic constraint 
0.21/0.22	c intension x[3] != x[55]  using generic constraint 
0.21/0.22	c intension x[3] != x[56]  using generic constraint 
0.21/0.22	c intension x[3] != x[57]  using generic constraint 
0.21/0.22	c intension x[3] != x[58]  using generic constraint 
0.21/0.23	c intension x[3] != x[59]  using generic constraint 
0.21/0.23	c intension x[3] != x[60]  using generic constraint 
0.21/0.23	c intension x[3] != x[61]  using generic constraint 
0.21/0.23	c intension x[3] != x[62]  using generic constraint 
0.21/0.23	c intension x[3] != x[63]  using generic constraint 
0.21/0.23	c intension x[4] != x[6]  using generic constraint 
0.21/0.23	c intension x[4] != x[7]  using generic constraint 
0.21/0.23	c intension x[4] != x[8]  using generic constraint 
0.21/0.23	c intension x[4] != x[9]  using generic constraint 
0.21/0.23	c intension x[4] != x[10]  using generic constraint 
0.21/0.23	c intension x[4] != x[11]  using generic constraint 
0.21/0.23	c intension x[4] != x[12]  using generic constraint 
0.21/0.24	c intension x[4] != x[13]  using generic constraint 
0.21/0.24	c intension x[4] != x[14]  using generic constraint 
0.21/0.24	c intension x[4] != x[15]  using generic constraint 
0.21/0.24	c intension x[4] != x[16]  using generic constraint 
0.21/0.24	c intension x[4] != x[17]  using generic constraint 
0.21/0.24	c intension x[4] != x[18]  using generic constraint 
0.21/0.24	c intension x[4] != x[19]  using generic constraint 
0.21/0.24	c intension x[4] != x[20]  using generic constraint 
0.21/0.24	c intension x[4] != x[21]  using generic constraint 
0.21/0.24	c intension x[4] != x[22]  using generic constraint 
0.21/0.24	c intension x[4] != x[23]  using generic constraint 
0.21/0.25	c intension x[4] != x[24]  using generic constraint 
0.21/0.25	c intension x[4] != x[25]  using generic constraint 
0.21/0.25	c intension x[4] != x[26]  using generic constraint 
0.21/0.25	c intension x[4] != x[27]  using generic constraint 
0.21/0.25	c intension x[4] != x[28]  using generic constraint 
0.21/0.25	c intension x[4] != x[29]  using generic constraint 
0.21/0.25	c intension x[4] != x[30]  using generic constraint 
0.21/0.25	c intension x[4] != x[31]  using generic constraint 
0.21/0.25	c intension x[4] != x[32]  using generic constraint 
0.21/0.25	c intension x[4] != x[33]  using generic constraint 
0.21/0.25	c intension x[4] != x[34]  using generic constraint 
0.21/0.25	c intension x[4] != x[35]  using generic constraint 
0.21/0.26	c intension x[4] != x[36]  using generic constraint 
0.21/0.26	c intension x[4] != x[37]  using generic constraint 
0.21/0.26	c intension x[4] != x[38]  using generic constraint 
0.21/0.26	c intension x[4] != x[39]  using generic constraint 
0.21/0.26	c intension x[4] != x[40]  using generic constraint 
0.21/0.26	c intension x[4] != x[41]  using generic constraint 
0.21/0.26	c intension x[4] != x[42]  using generic constraint 
0.21/0.26	c intension x[4] != x[43]  using generic constraint 
0.21/0.26	c intension x[4] != x[44]  using generic constraint 
0.21/0.26	c intension x[4] != x[45]  using generic constraint 
0.21/0.26	c intension x[4] != x[46]  using generic constraint 
0.21/0.27	c intension x[4] != x[47]  using generic constraint 
0.21/0.27	c intension x[4] != x[48]  using generic constraint 
0.21/0.27	c intension x[4] != x[49]  using generic constraint 
0.21/0.27	c intension x[4] != x[50]  using generic constraint 
0.21/0.27	c intension x[4] != x[51]  using generic constraint 
0.21/0.27	c intension x[4] != x[52]  using generic constraint 
0.21/0.27	c intension x[4] != x[53]  using generic constraint 
0.21/0.27	c intension x[4] != x[54]  using generic constraint 
0.21/0.27	c intension x[4] != x[55]  using generic constraint 
0.21/0.27	c intension x[4] != x[56]  using generic constraint 
0.21/0.27	c intension x[4] != x[57]  using generic constraint 
0.21/0.27	c intension x[4] != x[58]  using generic constraint 
0.21/0.28	c intension x[4] != x[59]  using generic constraint 
0.21/0.28	c intension x[4] != x[60]  using generic constraint 
0.21/0.28	c intension x[4] != x[61]  using generic constraint 
0.21/0.28	c intension x[4] != x[62]  using generic constraint 
0.21/0.28	c intension x[4] != x[63]  using generic constraint 
0.21/0.28	c intension x[5] != x[7]  using generic constraint 
0.21/0.28	c intension x[5] != x[8]  using generic constraint 
0.21/0.28	c intension x[5] != x[9]  using generic constraint 
0.21/0.28	c intension x[5] != x[10]  using generic constraint 
0.21/0.28	c intension x[5] != x[11]  using generic constraint 
0.21/0.28	c intension x[5] != x[12]  using generic constraint 
0.21/0.29	c intension x[5] != x[13]  using generic constraint 
0.21/0.29	c intension x[5] != x[14]  using generic constraint 
0.21/0.29	c intension x[5] != x[15]  using generic constraint 
0.21/0.29	c intension x[5] != x[16]  using generic constraint 
0.21/0.29	c intension x[5] != x[17]  using generic constraint 
0.21/0.29	c intension x[5] != x[18]  using generic constraint 
0.21/0.29	c intension x[5] != x[19]  using generic constraint 
0.21/0.29	c intension x[5] != x[20]  using generic constraint 
0.21/0.29	c intension x[5] != x[21]  using generic constraint 
0.21/0.29	c intension x[5] != x[22]  using generic constraint 
0.21/0.29	c intension x[5] != x[23]  using generic constraint 
0.21/0.29	c intension x[5] != x[24]  using generic constraint 
0.21/0.30	c intension x[5] != x[25]  using generic constraint 
0.21/0.30	c intension x[5] != x[26]  using generic constraint 
0.21/0.30	c intension x[5] != x[27]  using generic constraint 
0.21/0.30	c intension x[5] != x[28]  using generic constraint 
0.21/0.30	c intension x[5] != x[29]  using generic constraint 
0.21/0.30	c intension x[5] != x[30]  using generic constraint 
0.21/0.30	c intension x[5] != x[31]  using generic constraint 
0.21/0.30	c intension x[5] != x[32]  using generic constraint 
0.21/0.30	c intension x[5] != x[33]  using generic constraint 
0.21/0.30	c intension x[5] != x[34]  using generic constraint 
0.21/0.30	c intension x[5] != x[35]  using generic constraint 
0.21/0.31	c intension x[5] != x[36]  using generic constraint 
0.21/0.31	c intension x[5] != x[37]  using generic constraint 
0.21/0.31	c intension x[5] != x[38]  using generic constraint 
0.21/0.31	c intension x[5] != x[39]  using generic constraint 
0.21/0.31	c intension x[5] != x[40]  using generic constraint 
0.21/0.31	c intension x[5] != x[41]  using generic constraint 
0.21/0.31	c intension x[5] != x[42]  using generic constraint 
0.21/0.31	c intension x[5] != x[43]  using generic constraint 
0.21/0.31	c intension x[5] != x[44]  using generic constraint 
0.31/0.31	c intension x[5] != x[45]  using generic constraint 
0.31/0.31	c intension x[5] != x[46]  using generic constraint 
0.31/0.31	c intension x[5] != x[47]  using generic constraint 
0.31/0.32	c intension x[5] != x[48]  using generic constraint 
0.31/0.32	c intension x[5] != x[49]  using generic constraint 
0.31/0.32	c intension x[5] != x[50]  using generic constraint 
0.31/0.32	c intension x[5] != x[51]  using generic constraint 
0.31/0.32	c intension x[5] != x[52]  using generic constraint 
0.31/0.32	c intension x[5] != x[53]  using generic constraint 
0.31/0.32	c intension x[5] != x[54]  using generic constraint 
0.31/0.32	c intension x[5] != x[55]  using generic constraint 
0.31/0.32	c intension x[5] != x[56]  using generic constraint 
0.31/0.32	c intension x[5] != x[57]  using generic constraint 
0.31/0.32	c intension x[5] != x[58]  using generic constraint 
0.31/0.33	c intension x[5] != x[59]  using generic constraint 
0.31/0.33	c intension x[5] != x[60]  using generic constraint 
0.31/0.33	c intension x[5] != x[61]  using generic constraint 
0.31/0.33	c intension x[5] != x[62]  using generic constraint 
0.31/0.33	c intension x[5] != x[63]  using generic constraint 
0.31/0.33	c intension x[6] != x[8]  using generic constraint 
0.31/0.33	c intension x[6] != x[9]  using generic constraint 
0.31/0.33	c intension x[6] != x[10]  using generic constraint 
0.31/0.33	c intension x[6] != x[11]  using generic constraint 
0.31/0.33	c intension x[6] != x[12]  using generic constraint 
0.31/0.33	c intension x[6] != x[13]  using generic constraint 
0.31/0.33	c intension x[6] != x[14]  using generic constraint 
0.31/0.34	c intension x[6] != x[15]  using generic constraint 
0.31/0.34	c intension x[6] != x[16]  using generic constraint 
0.31/0.34	c intension x[6] != x[17]  using generic constraint 
0.31/0.34	c intension x[6] != x[18]  using generic constraint 
0.31/0.34	c intension x[6] != x[19]  using generic constraint 
0.31/0.34	c intension x[6] != x[20]  using generic constraint 
0.31/0.34	c intension x[6] != x[21]  using generic constraint 
0.31/0.34	c intension x[6] != x[22]  using generic constraint 
0.31/0.34	c intension x[6] != x[23]  using generic constraint 
0.31/0.34	c intension x[6] != x[24]  using generic constraint 
0.31/0.34	c intension x[6] != x[25]  using generic constraint 
0.31/0.35	c intension x[6] != x[26]  using generic constraint 
0.31/0.35	c intension x[6] != x[27]  using generic constraint 
0.31/0.35	c intension x[6] != x[28]  using generic constraint 
0.31/0.35	c intension x[6] != x[29]  using generic constraint 
0.31/0.35	c intension x[6] != x[30]  using generic constraint 
0.31/0.35	c intension x[6] != x[31]  using generic constraint 
0.31/0.35	c intension x[6] != x[32]  using generic constraint 
0.31/0.35	c intension x[6] != x[33]  using generic constraint 
0.31/0.35	c intension x[6] != x[34]  using generic constraint 
0.31/0.35	c intension x[6] != x[35]  using generic constraint 
0.31/0.35	c intension x[6] != x[36]  using generic constraint 
0.31/0.35	c intension x[6] != x[37]  using generic constraint 
0.31/0.36	c intension x[6] != x[38]  using generic constraint 
0.31/0.36	c intension x[6] != x[39]  using generic constraint 
0.31/0.36	c intension x[6] != x[40]  using generic constraint 
0.31/0.36	c intension x[6] != x[41]  using generic constraint 
0.31/0.36	c intension x[6] != x[42]  using generic constraint 
0.31/0.36	c intension x[6] != x[43]  using generic constraint 
0.31/0.36	c intension x[6] != x[44]  using generic constraint 
0.31/0.36	c intension x[6] != x[45]  using generic constraint 
0.31/0.36	c intension x[6] != x[46]  using generic constraint 
0.31/0.36	c intension x[6] != x[47]  using generic constraint 
0.31/0.36	c intension x[6] != x[48]  using generic constraint 
0.31/0.37	c intension x[6] != x[49]  using generic constraint 
0.31/0.37	c intension x[6] != x[50]  using generic constraint 
0.31/0.37	c intension x[6] != x[51]  using generic constraint 
0.31/0.37	c intension x[6] != x[52]  using generic constraint 
0.31/0.37	c intension x[6] != x[53]  using generic constraint 
0.31/0.37	c intension x[6] != x[54]  using generic constraint 
0.31/0.37	c intension x[6] != x[55]  using generic constraint 
0.31/0.37	c intension x[6] != x[56]  using generic constraint 
0.31/0.37	c intension x[6] != x[57]  using generic constraint 
0.31/0.37	c intension x[6] != x[58]  using generic constraint 
0.31/0.37	c intension x[6] != x[59]  using generic constraint 
0.31/0.37	c intension x[6] != x[60]  using generic constraint 
0.31/0.38	c intension x[6] != x[61]  using generic constraint 
0.31/0.38	c intension x[6] != x[62]  using generic constraint 
0.31/0.38	c intension x[6] != x[63]  using generic constraint 
0.31/0.38	c intension x[7] != x[9]  using generic constraint 
0.31/0.38	c intension x[7] != x[10]  using generic constraint 
0.31/0.38	c intension x[7] != x[11]  using generic constraint 
0.31/0.38	c intension x[7] != x[12]  using generic constraint 
0.31/0.38	c intension x[7] != x[13]  using generic constraint 
0.31/0.38	c intension x[7] != x[14]  using generic constraint 
0.31/0.38	c intension x[7] != x[15]  using generic constraint 
0.31/0.38	c intension x[7] != x[16]  using generic constraint 
0.31/0.39	c intension x[7] != x[17]  using generic constraint 
0.31/0.39	c intension x[7] != x[18]  using generic constraint 
0.31/0.39	c intension x[7] != x[19]  using generic constraint 
0.31/0.39	c intension x[7] != x[20]  using generic constraint 
0.31/0.39	c intension x[7] != x[21]  using generic constraint 
0.31/0.39	c intension x[7] != x[22]  using generic constraint 
0.31/0.39	c intension x[7] != x[23]  using generic constraint 
0.31/0.39	c intension x[7] != x[24]  using generic constraint 
0.31/0.39	c intension x[7] != x[25]  using generic constraint 
0.31/0.39	c intension x[7] != x[26]  using generic constraint 
0.31/0.39	c intension x[7] != x[27]  using generic constraint 
0.31/0.39	c intension x[7] != x[28]  using generic constraint 
0.31/0.40	c intension x[7] != x[29]  using generic constraint 
0.31/0.40	c intension x[7] != x[30]  using generic constraint 
0.31/0.40	c intension x[7] != x[31]  using generic constraint 
0.31/0.40	c intension x[7] != x[32]  using generic constraint 
0.31/0.40	c intension x[7] != x[33]  using generic constraint 
0.31/0.40	c intension x[7] != x[34]  using generic constraint 
0.31/0.40	c intension x[7] != x[35]  using generic constraint 
0.31/0.40	c intension x[7] != x[36]  using generic constraint 
0.31/0.40	c intension x[7] != x[37]  using generic constraint 
0.31/0.40	c intension x[7] != x[38]  using generic constraint 
0.31/0.40	c intension x[7] != x[39]  using generic constraint 
0.31/0.41	c intension x[7] != x[40]  using generic constraint 
0.31/0.41	c intension x[7] != x[41]  using generic constraint 
0.31/0.41	c intension x[7] != x[42]  using generic constraint 
0.31/0.41	c intension x[7] != x[43]  using generic constraint 
0.31/0.41	c intension x[7] != x[44]  using generic constraint 
0.31/0.41	c intension x[7] != x[45]  using generic constraint 
0.31/0.41	c intension x[7] != x[46]  using generic constraint 
0.31/0.41	c intension x[7] != x[47]  using generic constraint 
0.31/0.41	c intension x[7] != x[48]  using generic constraint 
0.41/0.41	c intension x[7] != x[49]  using generic constraint 
0.41/0.41	c intension x[7] != x[50]  using generic constraint 
0.41/0.42	c intension x[7] != x[51]  using generic constraint 
0.41/0.42	c intension x[7] != x[52]  using generic constraint 
0.41/0.42	c intension x[7] != x[53]  using generic constraint 
0.41/0.42	c intension x[7] != x[54]  using generic constraint 
0.41/0.42	c intension x[7] != x[55]  using generic constraint 
0.41/0.42	c intension x[7] != x[56]  using generic constraint 
0.41/0.42	c intension x[7] != x[57]  using generic constraint 
0.41/0.42	c intension x[7] != x[58]  using generic constraint 
0.41/0.42	c intension x[7] != x[59]  using generic constraint 
0.41/0.42	c intension x[7] != x[60]  using generic constraint 
0.41/0.42	c intension x[7] != x[61]  using generic constraint 
0.41/0.42	c intension x[7] != x[62]  using generic constraint 
0.41/0.43	c intension x[7] != x[63]  using generic constraint 
0.41/0.43	c intension x[8] != x[10]  using generic constraint 
0.41/0.43	c intension x[8] != x[11]  using generic constraint 
0.41/0.43	c intension x[8] != x[12]  using generic constraint 
0.41/0.43	c intension x[8] != x[13]  using generic constraint 
0.41/0.43	c intension x[8] != x[14]  using generic constraint 
0.41/0.43	c intension x[8] != x[15]  using generic constraint 
0.41/0.43	c intension x[8] != x[16]  using generic constraint 
0.41/0.43	c intension x[8] != x[17]  using generic constraint 
0.41/0.43	c intension x[8] != x[18]  using generic constraint 
0.41/0.43	c intension x[8] != x[19]  using generic constraint 
0.41/0.44	c intension x[8] != x[20]  using generic constraint 
0.41/0.44	c intension x[8] != x[21]  using generic constraint 
0.41/0.44	c intension x[8] != x[22]  using generic constraint 
0.41/0.44	c intension x[8] != x[23]  using generic constraint 
0.41/0.44	c intension x[8] != x[24]  using generic constraint 
0.41/0.44	c intension x[8] != x[25]  using generic constraint 
0.41/0.44	c intension x[8] != x[26]  using generic constraint 
0.41/0.44	c intension x[8] != x[27]  using generic constraint 
0.41/0.44	c intension x[8] != x[28]  using generic constraint 
0.41/0.44	c intension x[8] != x[29]  using generic constraint 
0.41/0.44	c intension x[8] != x[30]  using generic constraint 
0.41/0.44	c intension x[8] != x[31]  using generic constraint 
0.41/0.45	c intension x[8] != x[32]  using generic constraint 
0.41/0.45	c intension x[8] != x[33]  using generic constraint 
0.41/0.45	c intension x[8] != x[34]  using generic constraint 
0.41/0.45	c intension x[8] != x[35]  using generic constraint 
0.41/0.45	c intension x[8] != x[36]  using generic constraint 
0.41/0.45	c intension x[8] != x[37]  using generic constraint 
0.41/0.45	c intension x[8] != x[38]  using generic constraint 
0.41/0.45	c intension x[8] != x[39]  using generic constraint 
0.41/0.45	c intension x[8] != x[40]  using generic constraint 
0.41/0.45	c intension x[8] != x[41]  using generic constraint 
0.41/0.45	c intension x[8] != x[42]  using generic constraint 
0.41/0.46	c intension x[8] != x[43]  using generic constraint 
0.41/0.46	c intension x[8] != x[44]  using generic constraint 
0.41/0.46	c intension x[8] != x[45]  using generic constraint 
0.41/0.46	c intension x[8] != x[46]  using generic constraint 
0.41/0.46	c intension x[8] != x[47]  using generic constraint 
0.41/0.46	c intension x[8] != x[48]  using generic constraint 
0.41/0.46	c intension x[8] != x[49]  using generic constraint 
0.41/0.46	c intension x[8] != x[50]  using generic constraint 
0.41/0.46	c intension x[8] != x[51]  using generic constraint 
0.41/0.46	c intension x[8] != x[52]  using generic constraint 
0.41/0.46	c intension x[8] != x[53]  using generic constraint 
0.41/0.47	c intension x[8] != x[54]  using generic constraint 
0.41/0.47	c intension x[8] != x[55]  using generic constraint 
0.41/0.47	c intension x[8] != x[56]  using generic constraint 
0.41/0.47	c intension x[8] != x[57]  using generic constraint 
0.41/0.47	c intension x[8] != x[58]  using generic constraint 
0.41/0.47	c intension x[8] != x[59]  using generic constraint 
0.41/0.47	c intension x[8] != x[60]  using generic constraint 
0.41/0.47	c intension x[8] != x[61]  using generic constraint 
0.41/0.47	c intension x[8] != x[62]  using generic constraint 
0.41/0.47	c intension x[8] != x[63]  using generic constraint 
0.41/0.47	c intension x[9] != x[11]  using generic constraint 
0.41/0.47	c intension x[9] != x[12]  using generic constraint 
0.41/0.48	c intension x[9] != x[13]  using generic constraint 
0.41/0.48	c intension x[9] != x[14]  using generic constraint 
0.41/0.48	c intension x[9] != x[15]  using generic constraint 
0.41/0.48	c intension x[9] != x[16]  using generic constraint 
0.41/0.48	c intension x[9] != x[17]  using generic constraint 
0.41/0.48	c intension x[9] != x[18]  using generic constraint 
0.41/0.48	c intension x[9] != x[19]  using generic constraint 
0.41/0.48	c intension x[9] != x[20]  using generic constraint 
0.41/0.48	c intension x[9] != x[21]  using generic constraint 
0.41/0.48	c intension x[9] != x[22]  using generic constraint 
0.41/0.48	c intension x[9] != x[23]  using generic constraint 
0.41/0.49	c intension x[9] != x[24]  using generic constraint 
0.41/0.49	c intension x[9] != x[25]  using generic constraint 
0.41/0.49	c intension x[9] != x[26]  using generic constraint 
0.41/0.49	c intension x[9] != x[27]  using generic constraint 
0.41/0.49	c intension x[9] != x[28]  using generic constraint 
0.41/0.49	c intension x[9] != x[29]  using generic constraint 
0.41/0.49	c intension x[9] != x[30]  using generic constraint 
0.41/0.49	c intension x[9] != x[31]  using generic constraint 
0.41/0.49	c intension x[9] != x[32]  using generic constraint 
0.41/0.49	c intension x[9] != x[33]  using generic constraint 
0.41/0.49	c intension x[9] != x[34]  using generic constraint 
0.41/0.49	c intension x[9] != x[35]  using generic constraint 
0.41/0.50	c intension x[9] != x[36]  using generic constraint 
0.41/0.50	c intension x[9] != x[37]  using generic constraint 
0.41/0.50	c intension x[9] != x[38]  using generic constraint 
0.41/0.50	c intension x[9] != x[39]  using generic constraint 
0.41/0.50	c intension x[9] != x[40]  using generic constraint 
0.41/0.50	c intension x[9] != x[41]  using generic constraint 
0.41/0.50	c intension x[9] != x[42]  using generic constraint 
0.41/0.50	c intension x[9] != x[43]  using generic constraint 
0.41/0.50	c intension x[9] != x[44]  using generic constraint 
0.41/0.50	c intension x[9] != x[45]  using generic constraint 
0.41/0.50	c intension x[9] != x[46]  using generic constraint 
0.41/0.51	c intension x[9] != x[47]  using generic constraint 
0.41/0.51	c intension x[9] != x[48]  using generic constraint 
0.41/0.51	c intension x[9] != x[49]  using generic constraint 
0.41/0.51	c intension x[9] != x[50]  using generic constraint 
0.41/0.51	c intension x[9] != x[51]  using generic constraint 
0.41/0.51	c intension x[9] != x[52]  using generic constraint 
0.41/0.51	c intension x[9] != x[53]  using generic constraint 
0.41/0.51	c intension x[9] != x[54]  using generic constraint 
0.41/0.51	c intension x[9] != x[55]  using generic constraint 
0.51/0.51	c intension x[9] != x[56]  using generic constraint 
0.51/0.51	c intension x[9] != x[57]  using generic constraint 
0.51/0.52	c intension x[9] != x[58]  using generic constraint 
0.51/0.52	c intension x[9] != x[59]  using generic constraint 
0.51/0.52	c intension x[9] != x[60]  using generic constraint 
0.51/0.52	c intension x[9] != x[61]  using generic constraint 
0.51/0.52	c intension x[9] != x[62]  using generic constraint 
0.51/0.52	c intension x[9] != x[63]  using generic constraint 
0.51/0.52	c intension x[10] != x[12]  using generic constraint 
0.51/0.52	c intension x[10] != x[13]  using generic constraint 
0.51/0.52	c intension x[10] != x[14]  using generic constraint 
0.51/0.52	c intension x[10] != x[15]  using generic constraint 
0.51/0.52	c intension x[10] != x[16]  using generic constraint 
0.51/0.52	c intension x[10] != x[17]  using generic constraint 
0.51/0.53	c intension x[10] != x[18]  using generic constraint 
0.51/0.53	c intension x[10] != x[19]  using generic constraint 
0.51/0.53	c intension x[10] != x[20]  using generic constraint 
0.51/0.53	c intension x[10] != x[21]  using generic constraint 
0.51/0.53	c intension x[10] != x[22]  using generic constraint 
0.51/0.53	c intension x[10] != x[23]  using generic constraint 
0.51/0.53	c intension x[10] != x[24]  using generic constraint 
0.51/0.53	c intension x[10] != x[25]  using generic constraint 
0.51/0.53	c intension x[10] != x[26]  using generic constraint 
0.51/0.53	c intension x[10] != x[27]  using generic constraint 
0.51/0.53	c intension x[10] != x[28]  using generic constraint 
0.51/0.54	c intension x[10] != x[29]  using generic constraint 
0.51/0.54	c intension x[10] != x[30]  using generic constraint 
0.51/0.54	c intension x[10] != x[31]  using generic constraint 
0.51/0.54	c intension x[10] != x[32]  using generic constraint 
0.51/0.54	c intension x[10] != x[33]  using generic constraint 
0.51/0.54	c intension x[10] != x[34]  using generic constraint 
0.51/0.54	c intension x[10] != x[35]  using generic constraint 
0.51/0.54	c intension x[10] != x[36]  using generic constraint 
0.51/0.54	c intension x[10] != x[37]  using generic constraint 
0.51/0.54	c intension x[10] != x[38]  using generic constraint 
0.51/0.54	c intension x[10] != x[39]  using generic constraint 
0.51/0.55	c intension x[10] != x[40]  using generic constraint 
0.51/0.55	c intension x[10] != x[41]  using generic constraint 
0.51/0.55	c intension x[10] != x[42]  using generic constraint 
0.51/0.55	c intension x[10] != x[43]  using generic constraint 
0.51/0.55	c intension x[10] != x[44]  using generic constraint 
0.51/0.55	c intension x[10] != x[45]  using generic constraint 
0.51/0.55	c intension x[10] != x[46]  using generic constraint 
0.51/0.55	c intension x[10] != x[47]  using generic constraint 
0.51/0.55	c intension x[10] != x[48]  using generic constraint 
0.51/0.55	c intension x[10] != x[49]  using generic constraint 
0.51/0.55	c intension x[10] != x[50]  using generic constraint 
0.51/0.55	c intension x[10] != x[51]  using generic constraint 
0.51/0.56	c intension x[10] != x[52]  using generic constraint 
0.51/0.56	c intension x[10] != x[53]  using generic constraint 
0.51/0.56	c intension x[10] != x[54]  using generic constraint 
0.51/0.56	c intension x[10] != x[55]  using generic constraint 
0.51/0.56	c intension x[10] != x[56]  using generic constraint 
0.51/0.56	c intension x[10] != x[57]  using generic constraint 
0.51/0.56	c intension x[10] != x[58]  using generic constraint 
0.51/0.56	c intension x[10] != x[59]  using generic constraint 
0.51/0.56	c intension x[10] != x[60]  using generic constraint 
0.51/0.56	c intension x[10] != x[61]  using generic constraint 
0.51/0.56	c intension x[10] != x[62]  using generic constraint 
0.51/0.57	c intension x[10] != x[63]  using generic constraint 
0.51/0.57	c intension x[11] != x[13]  using generic constraint 
0.51/0.57	c intension x[11] != x[14]  using generic constraint 
0.51/0.57	c intension x[11] != x[15]  using generic constraint 
0.51/0.57	c intension x[11] != x[16]  using generic constraint 
0.51/0.57	c intension x[11] != x[17]  using generic constraint 
0.51/0.57	c intension x[11] != x[18]  using generic constraint 
0.51/0.57	c intension x[11] != x[19]  using generic constraint 
0.51/0.57	c intension x[11] != x[20]  using generic constraint 
0.51/0.57	c intension x[11] != x[21]  using generic constraint 
0.51/0.57	c intension x[11] != x[22]  using generic constraint 
0.51/0.57	c intension x[11] != x[23]  using generic constraint 
0.51/0.58	c intension x[11] != x[24]  using generic constraint 
0.51/0.58	c intension x[11] != x[25]  using generic constraint 
0.51/0.58	c intension x[11] != x[26]  using generic constraint 
0.51/0.58	c intension x[11] != x[27]  using generic constraint 
0.51/0.58	c intension x[11] != x[28]  using generic constraint 
0.51/0.58	c intension x[11] != x[29]  using generic constraint 
0.51/0.58	c intension x[11] != x[30]  using generic constraint 
0.51/0.58	c intension x[11] != x[31]  using generic constraint 
0.51/0.58	c intension x[11] != x[32]  using generic constraint 
0.51/0.58	c intension x[11] != x[33]  using generic constraint 
0.51/0.58	c intension x[11] != x[34]  using generic constraint 
0.51/0.59	c intension x[11] != x[35]  using generic constraint 
0.51/0.59	c intension x[11] != x[36]  using generic constraint 
0.51/0.59	c intension x[11] != x[37]  using generic constraint 
0.51/0.59	c intension x[11] != x[38]  using generic constraint 
0.51/0.59	c intension x[11] != x[39]  using generic constraint 
0.51/0.59	c intension x[11] != x[40]  using generic constraint 
0.51/0.59	c intension x[11] != x[41]  using generic constraint 
0.51/0.59	c intension x[11] != x[42]  using generic constraint 
0.51/0.59	c intension x[11] != x[43]  using generic constraint 
0.51/0.59	c intension x[11] != x[44]  using generic constraint 
0.51/0.59	c intension x[11] != x[45]  using generic constraint 
0.51/0.60	c intension x[11] != x[46]  using generic constraint 
0.51/0.60	c intension x[11] != x[47]  using generic constraint 
0.51/0.60	c intension x[11] != x[48]  using generic constraint 
0.51/0.60	c intension x[11] != x[49]  using generic constraint 
0.51/0.60	c intension x[11] != x[50]  using generic constraint 
0.51/0.60	c intension x[11] != x[51]  using generic constraint 
0.51/0.60	c intension x[11] != x[52]  using generic constraint 
0.51/0.60	c intension x[11] != x[53]  using generic constraint 
0.51/0.60	c intension x[11] != x[54]  using generic constraint 
0.51/0.60	c intension x[11] != x[55]  using generic constraint 
0.51/0.60	c intension x[11] != x[56]  using generic constraint 
0.60/0.60	c intension x[11] != x[57]  using generic constraint 
0.60/0.61	c intension x[11] != x[58]  using generic constraint 
0.60/0.61	c intension x[11] != x[59]  using generic constraint 
0.60/0.61	c intension x[11] != x[60]  using generic constraint 
0.60/0.61	c intension x[11] != x[61]  using generic constraint 
0.60/0.61	c intension x[11] != x[62]  using generic constraint 
0.60/0.61	c intension x[11] != x[63]  using generic constraint 
0.60/0.61	c intension x[12] != x[14]  using generic constraint 
0.60/0.61	c intension x[12] != x[15]  using generic constraint 
0.60/0.61	c intension x[12] != x[16]  using generic constraint 
0.60/0.61	c intension x[12] != x[17]  using generic constraint 
0.60/0.61	c intension x[12] != x[18]  using generic constraint 
0.60/0.62	c intension x[12] != x[19]  using generic constraint 
0.60/0.62	c intension x[12] != x[20]  using generic constraint 
0.60/0.62	c intension x[12] != x[21]  using generic constraint 
0.60/0.62	c intension x[12] != x[22]  using generic constraint 
0.60/0.62	c intension x[12] != x[23]  using generic constraint 
0.60/0.62	c intension x[12] != x[24]  using generic constraint 
0.60/0.62	c intension x[12] != x[25]  using generic constraint 
0.60/0.62	c intension x[12] != x[26]  using generic constraint 
0.60/0.62	c intension x[12] != x[27]  using generic constraint 
0.60/0.62	c intension x[12] != x[28]  using generic constraint 
0.60/0.62	c intension x[12] != x[29]  using generic constraint 
0.60/0.63	c intension x[12] != x[30]  using generic constraint 
0.60/0.63	c intension x[12] != x[31]  using generic constraint 
0.60/0.63	c intension x[12] != x[32]  using generic constraint 
0.60/0.63	c intension x[12] != x[33]  using generic constraint 
0.60/0.63	c intension x[12] != x[34]  using generic constraint 
0.60/0.63	c intension x[12] != x[35]  using generic constraint 
0.60/0.63	c intension x[12] != x[36]  using generic constraint 
0.60/0.63	c intension x[12] != x[37]  using generic constraint 
0.60/0.63	c intension x[12] != x[38]  using generic constraint 
0.60/0.63	c intension x[12] != x[39]  using generic constraint 
0.60/0.63	c intension x[12] != x[40]  using generic constraint 
0.60/0.63	c intension x[12] != x[41]  using generic constraint 
0.60/0.64	c intension x[12] != x[42]  using generic constraint 
0.60/0.64	c intension x[12] != x[43]  using generic constraint 
0.60/0.64	c intension x[12] != x[44]  using generic constraint 
0.60/0.64	c intension x[12] != x[45]  using generic constraint 
0.60/0.64	c intension x[12] != x[46]  using generic constraint 
0.60/0.64	c intension x[12] != x[47]  using generic constraint 
0.60/0.64	c intension x[12] != x[48]  using generic constraint 
0.60/0.64	c intension x[12] != x[49]  using generic constraint 
0.60/0.64	c intension x[12] != x[50]  using generic constraint 
0.60/0.64	c intension x[12] != x[51]  using generic constraint 
0.60/0.64	c intension x[12] != x[52]  using generic constraint 
0.60/0.65	c intension x[12] != x[53]  using generic constraint 
0.60/0.65	c intension x[12] != x[54]  using generic constraint 
0.60/0.65	c intension x[12] != x[55]  using generic constraint 
0.60/0.65	c intension x[12] != x[56]  using generic constraint 
0.60/0.65	c intension x[12] != x[57]  using generic constraint 
0.60/0.65	c intension x[12] != x[58]  using generic constraint 
0.60/0.65	c intension x[12] != x[59]  using generic constraint 
0.60/0.65	c intension x[12] != x[60]  using generic constraint 
0.60/0.65	c intension x[12] != x[61]  using generic constraint 
0.60/0.65	c intension x[12] != x[62]  using generic constraint 
0.60/0.65	c intension x[12] != x[63]  using generic constraint 
0.60/0.66	c intension x[13] != x[15]  using generic constraint 
0.60/0.66	c intension x[13] != x[16]  using generic constraint 
0.60/0.66	c intension x[13] != x[17]  using generic constraint 
0.60/0.66	c intension x[13] != x[18]  using generic constraint 
0.60/0.66	c intension x[13] != x[19]  using generic constraint 
0.60/0.66	c intension x[13] != x[20]  using generic constraint 
0.60/0.66	c intension x[13] != x[21]  using generic constraint 
0.60/0.66	c intension x[13] != x[22]  using generic constraint 
0.60/0.66	c intension x[13] != x[23]  using generic constraint 
0.60/0.66	c intension x[13] != x[24]  using generic constraint 
0.60/0.66	c intension x[13] != x[25]  using generic constraint 
0.60/0.66	c intension x[13] != x[26]  using generic constraint 
0.60/0.67	c intension x[13] != x[27]  using generic constraint 
0.60/0.67	c intension x[13] != x[28]  using generic constraint 
0.60/0.67	c intension x[13] != x[29]  using generic constraint 
0.60/0.67	c intension x[13] != x[30]  using generic constraint 
0.60/0.67	c intension x[13] != x[31]  using generic constraint 
0.60/0.67	c intension x[13] != x[32]  using generic constraint 
0.60/0.67	c intension x[13] != x[33]  using generic constraint 
0.60/0.67	c intension x[13] != x[34]  using generic constraint 
0.60/0.67	c intension x[13] != x[35]  using generic constraint 
0.60/0.67	c intension x[13] != x[36]  using generic constraint 
0.60/0.67	c intension x[13] != x[37]  using generic constraint 
0.60/0.68	c intension x[13] != x[38]  using generic constraint 
0.60/0.68	c intension x[13] != x[39]  using generic constraint 
0.60/0.68	c intension x[13] != x[40]  using generic constraint 
0.60/0.68	c intension x[13] != x[41]  using generic constraint 
0.60/0.68	c intension x[13] != x[42]  using generic constraint 
0.60/0.68	c intension x[13] != x[43]  using generic constraint 
0.60/0.68	c intension x[13] != x[44]  using generic constraint 
0.60/0.68	c intension x[13] != x[45]  using generic constraint 
0.60/0.68	c intension x[13] != x[46]  using generic constraint 
0.60/0.68	c intension x[13] != x[47]  using generic constraint 
0.60/0.68	c intension x[13] != x[48]  using generic constraint 
0.60/0.69	c intension x[13] != x[49]  using generic constraint 
0.60/0.69	c intension x[13] != x[50]  using generic constraint 
0.60/0.69	c intension x[13] != x[51]  using generic constraint 
0.60/0.69	c intension x[13] != x[52]  using generic constraint 
0.60/0.69	c intension x[13] != x[53]  using generic constraint 
0.60/0.69	c intension x[13] != x[54]  using generic constraint 
0.60/0.69	c intension x[13] != x[55]  using generic constraint 
0.60/0.69	c intension x[13] != x[56]  using generic constraint 
0.60/0.69	c intension x[13] != x[57]  using generic constraint 
0.60/0.69	c intension x[13] != x[58]  using generic constraint 
0.60/0.69	c intension x[13] != x[59]  using generic constraint 
0.60/0.69	c intension x[13] != x[60]  using generic constraint 
0.69/0.70	c intension x[13] != x[61]  using generic constraint 
0.69/0.70	c intension x[13] != x[62]  using generic constraint 
0.69/0.70	c intension x[13] != x[63]  using generic constraint 
0.69/0.70	c intension x[14] != x[16]  using generic constraint 
0.69/0.70	c intension x[14] != x[17]  using generic constraint 
0.69/0.70	c intension x[14] != x[18]  using generic constraint 
0.69/0.70	c intension x[14] != x[19]  using generic constraint 
0.69/0.70	c intension x[14] != x[20]  using generic constraint 
0.69/0.70	c intension x[14] != x[21]  using generic constraint 
0.69/0.70	c intension x[14] != x[22]  using generic constraint 
0.69/0.70	c intension x[14] != x[23]  using generic constraint 
0.69/0.71	c intension x[14] != x[24]  using generic constraint 
0.69/0.71	c intension x[14] != x[25]  using generic constraint 
0.69/0.71	c intension x[14] != x[26]  using generic constraint 
0.69/0.71	c intension x[14] != x[27]  using generic constraint 
0.69/0.71	c intension x[14] != x[28]  using generic constraint 
0.69/0.71	c intension x[14] != x[29]  using generic constraint 
0.69/0.71	c intension x[14] != x[30]  using generic constraint 
0.69/0.71	c intension x[14] != x[31]  using generic constraint 
0.69/0.71	c intension x[14] != x[32]  using generic constraint 
0.69/0.71	c intension x[14] != x[33]  using generic constraint 
0.69/0.71	c intension x[14] != x[34]  using generic constraint 
0.69/0.72	c intension x[14] != x[35]  using generic constraint 
0.69/0.72	c intension x[14] != x[36]  using generic constraint 
0.69/0.72	c intension x[14] != x[37]  using generic constraint 
0.69/0.72	c intension x[14] != x[38]  using generic constraint 
0.69/0.72	c intension x[14] != x[39]  using generic constraint 
0.69/0.72	c intension x[14] != x[40]  using generic constraint 
0.69/0.72	c intension x[14] != x[41]  using generic constraint 
0.69/0.72	c intension x[14] != x[42]  using generic constraint 
0.69/0.72	c intension x[14] != x[43]  using generic constraint 
0.69/0.72	c intension x[14] != x[44]  using generic constraint 
0.69/0.72	c intension x[14] != x[45]  using generic constraint 
0.69/0.72	c intension x[14] != x[46]  using generic constraint 
0.69/0.73	c intension x[14] != x[47]  using generic constraint 
0.69/0.73	c intension x[14] != x[48]  using generic constraint 
0.69/0.73	c intension x[14] != x[49]  using generic constraint 
0.69/0.73	c intension x[14] != x[50]  using generic constraint 
0.69/0.73	c intension x[14] != x[51]  using generic constraint 
0.69/0.73	c intension x[14] != x[52]  using generic constraint 
0.69/0.73	c intension x[14] != x[53]  using generic constraint 
0.69/0.73	c intension x[14] != x[54]  using generic constraint 
0.69/0.73	c intension x[14] != x[55]  using generic constraint 
0.69/0.73	c intension x[14] != x[56]  using generic constraint 
0.69/0.73	c intension x[14] != x[57]  using generic constraint 
0.69/0.74	c intension x[14] != x[58]  using generic constraint 
0.69/0.74	c intension x[14] != x[59]  using generic constraint 
0.69/0.74	c intension x[14] != x[60]  using generic constraint 
0.69/0.74	c intension x[14] != x[61]  using generic constraint 
0.69/0.74	c intension x[14] != x[62]  using generic constraint 
0.69/0.74	c intension x[14] != x[63]  using generic constraint 
0.69/0.74	c intension x[15] != x[17]  using generic constraint 
0.69/0.74	c intension x[15] != x[18]  using generic constraint 
0.69/0.74	c intension x[15] != x[19]  using generic constraint 
0.69/0.74	c intension x[15] != x[20]  using generic constraint 
0.69/0.74	c intension x[15] != x[21]  using generic constraint 
0.69/0.75	c intension x[15] != x[22]  using generic constraint 
0.69/0.75	c intension x[15] != x[23]  using generic constraint 
0.69/0.75	c intension x[15] != x[24]  using generic constraint 
0.69/0.75	c intension x[15] != x[25]  using generic constraint 
0.69/0.75	c intension x[15] != x[26]  using generic constraint 
0.69/0.75	c intension x[15] != x[27]  using generic constraint 
0.69/0.75	c intension x[15] != x[28]  using generic constraint 
0.69/0.75	c intension x[15] != x[29]  using generic constraint 
0.69/0.75	c intension x[15] != x[30]  using generic constraint 
0.69/0.75	c intension x[15] != x[31]  using generic constraint 
0.69/0.75	c intension x[15] != x[32]  using generic constraint 
0.69/0.75	c intension x[15] != x[33]  using generic constraint 
0.69/0.76	c intension x[15] != x[34]  using generic constraint 
0.69/0.76	c intension x[15] != x[35]  using generic constraint 
0.69/0.76	c intension x[15] != x[36]  using generic constraint 
0.69/0.76	c intension x[15] != x[37]  using generic constraint 
0.69/0.76	c intension x[15] != x[38]  using generic constraint 
0.69/0.76	c intension x[15] != x[39]  using generic constraint 
0.69/0.76	c intension x[15] != x[40]  using generic constraint 
0.69/0.76	c intension x[15] != x[41]  using generic constraint 
0.69/0.76	c intension x[15] != x[42]  using generic constraint 
0.69/0.76	c intension x[15] != x[43]  using generic constraint 
0.69/0.76	c intension x[15] != x[44]  using generic constraint 
0.69/0.77	c intension x[15] != x[45]  using generic constraint 
0.69/0.77	c intension x[15] != x[46]  using generic constraint 
0.69/0.77	c intension x[15] != x[47]  using generic constraint 
0.69/0.77	c intension x[15] != x[48]  using generic constraint 
0.69/0.77	c intension x[15] != x[49]  using generic constraint 
0.69/0.77	c intension x[15] != x[50]  using generic constraint 
0.69/0.77	c intension x[15] != x[51]  using generic constraint 
0.69/0.77	c intension x[15] != x[52]  using generic constraint 
0.69/0.77	c intension x[15] != x[53]  using generic constraint 
0.69/0.77	c intension x[15] != x[54]  using generic constraint 
0.69/0.77	c intension x[15] != x[55]  using generic constraint 
0.69/0.78	c intension x[15] != x[56]  using generic constraint 
0.69/0.78	c intension x[15] != x[57]  using generic constraint 
0.69/0.78	c intension x[15] != x[58]  using generic constraint 
0.69/0.78	c intension x[15] != x[59]  using generic constraint 
0.69/0.78	c intension x[15] != x[60]  using generic constraint 
0.69/0.78	c intension x[15] != x[61]  using generic constraint 
0.69/0.78	c intension x[15] != x[62]  using generic constraint 
0.69/0.78	c intension x[15] != x[63]  using generic constraint 
0.69/0.78	c intension x[16] != x[18]  using generic constraint 
0.69/0.78	c intension x[16] != x[19]  using generic constraint 
0.69/0.78	c intension x[16] != x[20]  using generic constraint 
0.69/0.78	c intension x[16] != x[21]  using generic constraint 
0.69/0.79	c intension x[16] != x[22]  using generic constraint 
0.69/0.79	c intension x[16] != x[23]  using generic constraint 
0.69/0.79	c intension x[16] != x[24]  using generic constraint 
0.69/0.79	c intension x[16] != x[25]  using generic constraint 
0.69/0.79	c intension x[16] != x[26]  using generic constraint 
0.69/0.79	c intension x[16] != x[27]  using generic constraint 
0.69/0.79	c intension x[16] != x[28]  using generic constraint 
0.69/0.79	c intension x[16] != x[29]  using generic constraint 
0.69/0.79	c intension x[16] != x[30]  using generic constraint 
0.69/0.79	c intension x[16] != x[31]  using generic constraint 
0.69/0.79	c intension x[16] != x[32]  using generic constraint 
0.69/0.80	c intension x[16] != x[33]  using generic constraint 
0.79/0.80	c intension x[16] != x[34]  using generic constraint 
0.79/0.80	c intension x[16] != x[35]  using generic constraint 
0.79/0.80	c intension x[16] != x[36]  using generic constraint 
0.79/0.80	c intension x[16] != x[37]  using generic constraint 
0.79/0.80	c intension x[16] != x[38]  using generic constraint 
0.79/0.80	c intension x[16] != x[39]  using generic constraint 
0.79/0.80	c intension x[16] != x[40]  using generic constraint 
0.79/0.80	c intension x[16] != x[41]  using generic constraint 
0.79/0.80	c intension x[16] != x[42]  using generic constraint 
0.79/0.80	c intension x[16] != x[43]  using generic constraint 
0.79/0.81	c intension x[16] != x[44]  using generic constraint 
0.79/0.81	c intension x[16] != x[45]  using generic constraint 
0.79/0.81	c intension x[16] != x[46]  using generic constraint 
0.79/0.81	c intension x[16] != x[47]  using generic constraint 
0.79/0.81	c intension x[16] != x[48]  using generic constraint 
0.79/0.81	c intension x[16] != x[49]  using generic constraint 
0.79/0.81	c intension x[16] != x[50]  using generic constraint 
0.79/0.81	c intension x[16] != x[51]  using generic constraint 
0.79/0.81	c intension x[16] != x[52]  using generic constraint 
0.79/0.81	c intension x[16] != x[53]  using generic constraint 
0.79/0.81	c intension x[16] != x[54]  using generic constraint 
0.79/0.81	c intension x[16] != x[55]  using generic constraint 
0.79/0.82	c intension x[16] != x[56]  using generic constraint 
0.79/0.82	c intension x[16] != x[57]  using generic constraint 
0.79/0.82	c intension x[16] != x[58]  using generic constraint 
0.79/0.82	c intension x[16] != x[59]  using generic constraint 
0.79/0.82	c intension x[16] != x[60]  using generic constraint 
0.79/0.82	c intension x[16] != x[61]  using generic constraint 
0.79/0.82	c intension x[16] != x[62]  using generic constraint 
0.79/0.82	c intension x[16] != x[63]  using generic constraint 
0.79/0.82	c intension x[17] != x[19]  using generic constraint 
0.79/0.82	c intension x[17] != x[20]  using generic constraint 
0.79/0.82	c intension x[17] != x[21]  using generic constraint 
0.79/0.83	c intension x[17] != x[22]  using generic constraint 
0.79/0.83	c intension x[17] != x[23]  using generic constraint 
0.79/0.83	c intension x[17] != x[24]  using generic constraint 
0.79/0.83	c intension x[17] != x[25]  using generic constraint 
0.79/0.83	c intension x[17] != x[26]  using generic constraint 
0.79/0.83	c intension x[17] != x[27]  using generic constraint 
0.79/0.83	c intension x[17] != x[28]  using generic constraint 
0.79/0.83	c intension x[17] != x[29]  using generic constraint 
0.79/0.83	c intension x[17] != x[30]  using generic constraint 
0.79/0.83	c intension x[17] != x[31]  using generic constraint 
0.79/0.83	c intension x[17] != x[32]  using generic constraint 
0.79/0.84	c intension x[17] != x[33]  using generic constraint 
0.79/0.84	c intension x[17] != x[34]  using generic constraint 
0.79/0.84	c intension x[17] != x[35]  using generic constraint 
0.79/0.84	c intension x[17] != x[36]  using generic constraint 
0.79/0.84	c intension x[17] != x[37]  using generic constraint 
0.79/0.84	c intension x[17] != x[38]  using generic constraint 
0.79/0.84	c intension x[17] != x[39]  using generic constraint 
0.79/0.84	c intension x[17] != x[40]  using generic constraint 
0.79/0.84	c intension x[17] != x[41]  using generic constraint 
0.79/0.84	c intension x[17] != x[42]  using generic constraint 
0.79/0.84	c intension x[17] != x[43]  using generic constraint 
0.79/0.84	c intension x[17] != x[44]  using generic constraint 
0.79/0.85	c intension x[17] != x[45]  using generic constraint 
0.79/0.85	c intension x[17] != x[46]  using generic constraint 
0.79/0.85	c intension x[17] != x[47]  using generic constraint 
0.79/0.85	c intension x[17] != x[48]  using generic constraint 
0.79/0.85	c intension x[17] != x[49]  using generic constraint 
0.79/0.85	c intension x[17] != x[50]  using generic constraint 
0.79/0.85	c intension x[17] != x[51]  using generic constraint 
0.79/0.85	c intension x[17] != x[52]  using generic constraint 
0.79/0.85	c intension x[17] != x[53]  using generic constraint 
0.79/0.85	c intension x[17] != x[54]  using generic constraint 
0.79/0.85	c intension x[17] != x[55]  using generic constraint 
0.79/0.86	c intension x[17] != x[56]  using generic constraint 
0.79/0.86	c intension x[17] != x[57]  using generic constraint 
0.79/0.86	c intension x[17] != x[58]  using generic constraint 
0.79/0.86	c intension x[17] != x[59]  using generic constraint 
0.79/0.86	c intension x[17] != x[60]  using generic constraint 
0.79/0.86	c intension x[17] != x[61]  using generic constraint 
0.79/0.86	c intension x[17] != x[62]  using generic constraint 
0.79/0.86	c intension x[17] != x[63]  using generic constraint 
0.79/0.86	c intension x[18] != x[20]  using generic constraint 
0.79/0.86	c intension x[18] != x[21]  using generic constraint 
0.79/0.86	c intension x[18] != x[22]  using generic constraint 
0.79/0.87	c intension x[18] != x[23]  using generic constraint 
0.79/0.87	c intension x[18] != x[24]  using generic constraint 
0.79/0.87	c intension x[18] != x[25]  using generic constraint 
0.79/0.87	c intension x[18] != x[26]  using generic constraint 
0.79/0.88	c intension x[18] != x[27]  using generic constraint 
0.79/0.88	c intension x[18] != x[28]  using generic constraint 
0.79/0.88	c intension x[18] != x[29]  using generic constraint 
0.79/0.88	c intension x[18] != x[30]  using generic constraint 
0.79/0.88	c intension x[18] != x[31]  using generic constraint 
0.79/0.88	c intension x[18] != x[32]  using generic constraint 
0.79/0.88	c intension x[18] != x[33]  using generic constraint 
0.79/0.88	c intension x[18] != x[34]  using generic constraint 
0.79/0.88	c intension x[18] != x[35]  using generic constraint 
0.79/0.88	c intension x[18] != x[36]  using generic constraint 
0.79/0.88	c intension x[18] != x[37]  using generic constraint 
0.79/0.88	c intension x[18] != x[38]  using generic constraint 
0.79/0.88	c intension x[18] != x[39]  using generic constraint 
0.79/0.88	c intension x[18] != x[40]  using generic constraint 
0.79/0.88	c intension x[18] != x[41]  using generic constraint 
0.79/0.88	c intension x[18] != x[42]  using generic constraint 
0.79/0.88	c intension x[18] != x[43]  using generic constraint 
0.79/0.88	c intension x[18] != x[44]  using generic constraint 
0.79/0.88	c intension x[18] != x[45]  using generic constraint 
0.79/0.89	c intension x[18] != x[46]  using generic constraint 
0.79/0.89	c intension x[18] != x[47]  using generic constraint 
0.79/0.89	c intension x[18] != x[48]  using generic constraint 
0.79/0.89	c intension x[18] != x[49]  using generic constraint 
0.79/0.89	c intension x[18] != x[50]  using generic constraint 
0.79/0.89	c intension x[18] != x[51]  using generic constraint 
0.79/0.89	c intension x[18] != x[52]  using generic constraint 
0.79/0.89	c intension x[18] != x[53]  using generic constraint 
0.79/0.89	c intension x[18] != x[54]  using generic constraint 
0.79/0.89	c intension x[18] != x[55]  using generic constraint 
0.79/0.89	c intension x[18] != x[56]  using generic constraint 
0.79/0.90	c intension x[18] != x[57]  using generic constraint 
0.89/0.90	c intension x[18] != x[58]  using generic constraint 
0.89/0.90	c intension x[18] != x[59]  using generic constraint 
0.89/0.90	c intension x[18] != x[60]  using generic constraint 
0.89/0.90	c intension x[18] != x[61]  using generic constraint 
0.89/0.90	c intension x[18] != x[62]  using generic constraint 
0.89/0.90	c intension x[18] != x[63]  using generic constraint 
0.89/0.90	c intension x[19] != x[21]  using generic constraint 
0.89/0.90	c intension x[19] != x[22]  using generic constraint 
0.89/0.90	c intension x[19] != x[23]  using generic constraint 
0.89/0.90	c intension x[19] != x[24]  using generic constraint 
0.89/0.91	c intension x[19] != x[25]  using generic constraint 
0.89/0.91	c intension x[19] != x[26]  using generic constraint 
0.89/0.91	c intension x[19] != x[27]  using generic constraint 
0.89/0.91	c intension x[19] != x[28]  using generic constraint 
0.89/0.91	c intension x[19] != x[29]  using generic constraint 
0.89/0.91	c intension x[19] != x[30]  using generic constraint 
0.89/0.91	c intension x[19] != x[31]  using generic constraint 
0.89/0.91	c intension x[19] != x[32]  using generic constraint 
0.89/0.91	c intension x[19] != x[33]  using generic constraint 
0.89/0.91	c intension x[19] != x[34]  using generic constraint 
0.89/0.91	c intension x[19] != x[35]  using generic constraint 
0.89/0.91	c intension x[19] != x[36]  using generic constraint 
0.89/0.92	c intension x[19] != x[37]  using generic constraint 
0.89/0.92	c intension x[19] != x[38]  using generic constraint 
0.89/0.92	c intension x[19] != x[39]  using generic constraint 
0.89/0.92	c intension x[19] != x[40]  using generic constraint 
0.89/0.92	c intension x[19] != x[41]  using generic constraint 
0.89/0.92	c intension x[19] != x[42]  using generic constraint 
0.89/0.92	c intension x[19] != x[43]  using generic constraint 
0.89/0.92	c intension x[19] != x[44]  using generic constraint 
0.89/0.92	c intension x[19] != x[45]  using generic constraint 
0.89/0.92	c intension x[19] != x[46]  using generic constraint 
0.89/0.92	c intension x[19] != x[47]  using generic constraint 
0.89/0.93	c intension x[19] != x[48]  using generic constraint 
0.89/0.93	c intension x[19] != x[49]  using generic constraint 
0.89/0.93	c intension x[19] != x[50]  using generic constraint 
0.89/0.93	c intension x[19] != x[51]  using generic constraint 
0.89/0.93	c intension x[19] != x[52]  using generic constraint 
0.89/0.93	c intension x[19] != x[53]  using generic constraint 
0.89/0.93	c intension x[19] != x[54]  using generic constraint 
0.89/0.93	c intension x[19] != x[55]  using generic constraint 
0.89/0.93	c intension x[19] != x[56]  using generic constraint 
0.89/0.93	c intension x[19] != x[57]  using generic constraint 
0.89/0.93	c intension x[19] != x[58]  using generic constraint 
0.89/0.94	c intension x[19] != x[59]  using generic constraint 
0.89/0.94	c intension x[19] != x[60]  using generic constraint 
0.89/0.94	c intension x[19] != x[61]  using generic constraint 
0.89/0.94	c intension x[19] != x[62]  using generic constraint 
0.89/0.94	c intension x[19] != x[63]  using generic constraint 
0.89/0.94	c intension x[20] != x[22]  using generic constraint 
0.89/0.94	c intension x[20] != x[23]  using generic constraint 
0.89/0.94	c intension x[20] != x[24]  using generic constraint 
0.89/0.94	c intension x[20] != x[25]  using generic constraint 
0.89/0.94	c intension x[20] != x[26]  using generic constraint 
0.89/0.94	c intension x[20] != x[27]  using generic constraint 
0.89/0.94	c intension x[20] != x[28]  using generic constraint 
0.89/0.95	c intension x[20] != x[29]  using generic constraint 
0.89/0.95	c intension x[20] != x[30]  using generic constraint 
0.89/0.95	c intension x[20] != x[31]  using generic constraint 
0.89/0.95	c intension x[20] != x[32]  using generic constraint 
0.89/0.95	c intension x[20] != x[33]  using generic constraint 
0.89/0.95	c intension x[20] != x[34]  using generic constraint 
0.89/0.95	c intension x[20] != x[35]  using generic constraint 
0.89/0.95	c intension x[20] != x[36]  using generic constraint 
0.89/0.95	c intension x[20] != x[37]  using generic constraint 
0.89/0.95	c intension x[20] != x[38]  using generic constraint 
0.89/0.95	c intension x[20] != x[39]  using generic constraint 
0.89/0.96	c intension x[20] != x[40]  using generic constraint 
0.89/0.96	c intension x[20] != x[41]  using generic constraint 
0.89/0.96	c intension x[20] != x[42]  using generic constraint 
0.89/0.96	c intension x[20] != x[43]  using generic constraint 
0.89/0.96	c intension x[20] != x[44]  using generic constraint 
0.89/0.96	c intension x[20] != x[45]  using generic constraint 
0.89/0.96	c intension x[20] != x[46]  using generic constraint 
0.89/0.96	c intension x[20] != x[47]  using generic constraint 
0.89/0.96	c intension x[20] != x[48]  using generic constraint 
0.89/0.96	c intension x[20] != x[49]  using generic constraint 
0.89/0.96	c intension x[20] != x[50]  using generic constraint 
0.89/0.97	c intension x[20] != x[51]  using generic constraint 
0.89/0.97	c intension x[20] != x[52]  using generic constraint 
0.89/0.97	c intension x[20] != x[53]  using generic constraint 
0.89/0.97	c intension x[20] != x[54]  using generic constraint 
0.89/0.97	c intension x[20] != x[55]  using generic constraint 
0.89/0.97	c intension x[20] != x[56]  using generic constraint 
0.89/0.97	c intension x[20] != x[57]  using generic constraint 
0.89/0.97	c intension x[20] != x[58]  using generic constraint 
0.89/0.97	c intension x[20] != x[59]  using generic constraint 
0.89/0.97	c intension x[20] != x[60]  using generic constraint 
0.89/0.97	c intension x[20] != x[61]  using generic constraint 
0.89/0.98	c intension x[20] != x[62]  using generic constraint 
0.89/0.98	c intension x[20] != x[63]  using generic constraint 
0.89/0.98	c intension x[21] != x[23]  using generic constraint 
0.89/0.98	c intension x[21] != x[24]  using generic constraint 
0.89/0.98	c intension x[21] != x[25]  using generic constraint 
0.89/0.98	c intension x[21] != x[26]  using generic constraint 
0.89/0.98	c intension x[21] != x[27]  using generic constraint 
0.89/0.98	c intension x[21] != x[28]  using generic constraint 
0.89/0.98	c intension x[21] != x[29]  using generic constraint 
0.89/0.98	c intension x[21] != x[30]  using generic constraint 
0.89/0.98	c intension x[21] != x[31]  using generic constraint 
0.89/0.99	c intension x[21] != x[32]  using generic constraint 
0.89/0.99	c intension x[21] != x[33]  using generic constraint 
0.89/0.99	c intension x[21] != x[34]  using generic constraint 
0.89/0.99	c intension x[21] != x[35]  using generic constraint 
0.89/0.99	c intension x[21] != x[36]  using generic constraint 
0.89/0.99	c intension x[21] != x[37]  using generic constraint 
0.89/0.99	c intension x[21] != x[38]  using generic constraint 
0.89/0.99	c intension x[21] != x[39]  using generic constraint 
0.89/0.99	c intension x[21] != x[40]  using generic constraint 
0.89/0.99	c intension x[21] != x[41]  using generic constraint 
0.89/0.99	c intension x[21] != x[42]  using generic constraint 
0.89/0.99	c intension x[21] != x[43]  using generic constraint 
0.89/1.00	c intension x[21] != x[44]  using generic constraint 
0.89/1.00	c intension x[21] != x[45]  using generic constraint 
0.89/1.00	c intension x[21] != x[46]  using generic constraint 
0.89/1.00	c intension x[21] != x[47]  using generic constraint 
0.89/1.00	c intension x[21] != x[48]  using generic constraint 
0.89/1.00	c intension x[21] != x[49]  using generic constraint 
0.89/1.00	c intension x[21] != x[50]  using generic constraint 
0.89/1.00	c intension x[21] != x[51]  using generic constraint 
0.89/1.00	c intension x[21] != x[52]  using generic constraint 
0.89/1.00	c intension x[21] != x[53]  using generic constraint 
1.00/1.00	c intension x[21] != x[54]  using generic constraint 
1.00/1.01	c intension x[21] != x[55]  using generic constraint 
1.00/1.01	c intension x[21] != x[56]  using generic constraint 
1.00/1.01	c intension x[21] != x[57]  using generic constraint 
1.00/1.01	c intension x[21] != x[58]  using generic constraint 
1.00/1.01	c intension x[21] != x[59]  using generic constraint 
1.00/1.01	c intension x[21] != x[60]  using generic constraint 
1.00/1.01	c intension x[21] != x[61]  using generic constraint 
1.00/1.01	c intension x[21] != x[62]  using generic constraint 
1.00/1.01	c intension x[21] != x[63]  using generic constraint 
1.00/1.01	c intension x[22] != x[24]  using generic constraint 
1.00/1.01	c intension x[22] != x[25]  using generic constraint 
1.00/1.02	c intension x[22] != x[26]  using generic constraint 
1.00/1.02	c intension x[22] != x[27]  using generic constraint 
1.00/1.02	c intension x[22] != x[28]  using generic constraint 
1.00/1.02	c intension x[22] != x[29]  using generic constraint 
1.00/1.02	c intension x[22] != x[30]  using generic constraint 
1.00/1.02	c intension x[22] != x[31]  using generic constraint 
1.00/1.02	c intension x[22] != x[32]  using generic constraint 
1.00/1.02	c intension x[22] != x[33]  using generic constraint 
1.00/1.02	c intension x[22] != x[34]  using generic constraint 
1.00/1.02	c intension x[22] != x[35]  using generic constraint 
1.00/1.02	c intension x[22] != x[36]  using generic constraint 
1.00/1.03	c intension x[22] != x[37]  using generic constraint 
1.00/1.03	c intension x[22] != x[38]  using generic constraint 
1.00/1.03	c intension x[22] != x[39]  using generic constraint 
1.00/1.03	c intension x[22] != x[40]  using generic constraint 
1.00/1.03	c intension x[22] != x[41]  using generic constraint 
1.00/1.03	c intension x[22] != x[42]  using generic constraint 
1.00/1.03	c intension x[22] != x[43]  using generic constraint 
1.00/1.03	c intension x[22] != x[44]  using generic constraint 
1.00/1.03	c intension x[22] != x[45]  using generic constraint 
1.00/1.03	c intension x[22] != x[46]  using generic constraint 
1.00/1.03	c intension x[22] != x[47]  using generic constraint 
1.00/1.04	c intension x[22] != x[48]  using generic constraint 
1.00/1.04	c intension x[22] != x[49]  using generic constraint 
1.00/1.04	c intension x[22] != x[50]  using generic constraint 
1.00/1.04	c intension x[22] != x[51]  using generic constraint 
1.00/1.04	c intension x[22] != x[52]  using generic constraint 
1.00/1.04	c intension x[22] != x[53]  using generic constraint 
1.00/1.04	c intension x[22] != x[54]  using generic constraint 
1.00/1.04	c intension x[22] != x[55]  using generic constraint 
1.00/1.04	c intension x[22] != x[56]  using generic constraint 
1.00/1.04	c intension x[22] != x[57]  using generic constraint 
1.00/1.04	c intension x[22] != x[58]  using generic constraint 
1.00/1.04	c intension x[22] != x[59]  using generic constraint 
1.00/1.05	c intension x[22] != x[60]  using generic constraint 
1.00/1.05	c intension x[22] != x[61]  using generic constraint 
1.00/1.05	c intension x[22] != x[62]  using generic constraint 
1.00/1.05	c intension x[22] != x[63]  using generic constraint 
1.00/1.05	c intension x[23] != x[25]  using generic constraint 
1.00/1.05	c intension x[23] != x[26]  using generic constraint 
1.00/1.05	c intension x[23] != x[27]  using generic constraint 
1.00/1.05	c intension x[23] != x[28]  using generic constraint 
1.00/1.05	c intension x[23] != x[29]  using generic constraint 
1.00/1.05	c intension x[23] != x[30]  using generic constraint 
1.00/1.05	c intension x[23] != x[31]  using generic constraint 
1.00/1.06	c intension x[23] != x[32]  using generic constraint 
1.00/1.06	c intension x[23] != x[33]  using generic constraint 
1.00/1.06	c intension x[23] != x[34]  using generic constraint 
1.00/1.06	c intension x[23] != x[35]  using generic constraint 
1.00/1.06	c intension x[23] != x[36]  using generic constraint 
1.00/1.06	c intension x[23] != x[37]  using generic constraint 
1.00/1.06	c intension x[23] != x[38]  using generic constraint 
1.00/1.06	c intension x[23] != x[39]  using generic constraint 
1.00/1.06	c intension x[23] != x[40]  using generic constraint 
1.00/1.06	c intension x[23] != x[41]  using generic constraint 
1.00/1.06	c intension x[23] != x[42]  using generic constraint 
1.00/1.07	c intension x[23] != x[43]  using generic constraint 
1.00/1.07	c intension x[23] != x[44]  using generic constraint 
1.00/1.07	c intension x[23] != x[45]  using generic constraint 
1.00/1.07	c intension x[23] != x[46]  using generic constraint 
1.00/1.07	c intension x[23] != x[47]  using generic constraint 
1.00/1.07	c intension x[23] != x[48]  using generic constraint 
1.00/1.07	c intension x[23] != x[49]  using generic constraint 
1.00/1.07	c intension x[23] != x[50]  using generic constraint 
1.00/1.07	c intension x[23] != x[51]  using generic constraint 
1.00/1.07	c intension x[23] != x[52]  using generic constraint 
1.00/1.07	c intension x[23] != x[53]  using generic constraint 
1.00/1.08	c intension x[23] != x[54]  using generic constraint 
1.00/1.08	c intension x[23] != x[55]  using generic constraint 
1.00/1.08	c intension x[23] != x[56]  using generic constraint 
1.00/1.08	c intension x[23] != x[57]  using generic constraint 
1.00/1.08	c intension x[23] != x[58]  using generic constraint 
1.00/1.08	c intension x[23] != x[59]  using generic constraint 
1.00/1.08	c intension x[23] != x[60]  using generic constraint 
1.00/1.08	c intension x[23] != x[61]  using generic constraint 
1.00/1.08	c intension x[23] != x[62]  using generic constraint 
1.00/1.08	c intension x[23] != x[63]  using generic constraint 
1.00/1.08	c intension x[24] != x[26]  using generic constraint 
1.00/1.09	c intension x[24] != x[27]  using generic constraint 
1.00/1.09	c intension x[24] != x[28]  using generic constraint 
1.00/1.09	c intension x[24] != x[29]  using generic constraint 
1.00/1.09	c intension x[24] != x[30]  using generic constraint 
1.00/1.09	c intension x[24] != x[31]  using generic constraint 
1.00/1.09	c intension x[24] != x[32]  using generic constraint 
1.00/1.09	c intension x[24] != x[33]  using generic constraint 
1.00/1.09	c intension x[24] != x[34]  using generic constraint 
1.00/1.09	c intension x[24] != x[35]  using generic constraint 
1.00/1.09	c intension x[24] != x[36]  using generic constraint 
1.00/1.09	c intension x[24] != x[37]  using generic constraint 
1.00/1.09	c intension x[24] != x[38]  using generic constraint 
1.00/1.10	c intension x[24] != x[39]  using generic constraint 
1.00/1.10	c intension x[24] != x[40]  using generic constraint 
1.00/1.10	c intension x[24] != x[41]  using generic constraint 
1.00/1.10	c intension x[24] != x[42]  using generic constraint 
1.00/1.10	c intension x[24] != x[43]  using generic constraint 
1.00/1.10	c intension x[24] != x[44]  using generic constraint 
1.00/1.10	c intension x[24] != x[45]  using generic constraint 
1.00/1.10	c intension x[24] != x[46]  using generic constraint 
1.00/1.10	c intension x[24] != x[47]  using generic constraint 
1.00/1.10	c intension x[24] != x[48]  using generic constraint 
1.10/1.10	c intension x[24] != x[49]  using generic constraint 
1.10/1.11	c intension x[24] != x[50]  using generic constraint 
1.10/1.11	c intension x[24] != x[51]  using generic constraint 
1.10/1.11	c intension x[24] != x[52]  using generic constraint 
1.10/1.11	c intension x[24] != x[53]  using generic constraint 
1.10/1.11	c intension x[24] != x[54]  using generic constraint 
1.10/1.11	c intension x[24] != x[55]  using generic constraint 
1.10/1.11	c intension x[24] != x[56]  using generic constraint 
1.10/1.11	c intension x[24] != x[57]  using generic constraint 
1.10/1.11	c intension x[24] != x[58]  using generic constraint 
1.10/1.11	c intension x[24] != x[59]  using generic constraint 
1.10/1.11	c intension x[24] != x[60]  using generic constraint 
1.10/1.12	c intension x[24] != x[61]  using generic constraint 
1.10/1.12	c intension x[24] != x[62]  using generic constraint 
1.10/1.12	c intension x[24] != x[63]  using generic constraint 
1.10/1.12	c intension x[25] != x[27]  using generic constraint 
1.10/1.12	c intension x[25] != x[28]  using generic constraint 
1.10/1.12	c intension x[25] != x[29]  using generic constraint 
1.10/1.12	c intension x[25] != x[30]  using generic constraint 
1.10/1.12	c intension x[25] != x[31]  using generic constraint 
1.10/1.12	c intension x[25] != x[32]  using generic constraint 
1.10/1.12	c intension x[25] != x[33]  using generic constraint 
1.10/1.12	c intension x[25] != x[34]  using generic constraint 
1.10/1.13	c intension x[25] != x[35]  using generic constraint 
1.10/1.13	c intension x[25] != x[36]  using generic constraint 
1.10/1.13	c intension x[25] != x[37]  using generic constraint 
1.10/1.13	c intension x[25] != x[38]  using generic constraint 
1.10/1.13	c intension x[25] != x[39]  using generic constraint 
1.10/1.13	c intension x[25] != x[40]  using generic constraint 
1.10/1.13	c intension x[25] != x[41]  using generic constraint 
1.10/1.13	c intension x[25] != x[42]  using generic constraint 
1.10/1.13	c intension x[25] != x[43]  using generic constraint 
1.10/1.13	c intension x[25] != x[44]  using generic constraint 
1.10/1.13	c intension x[25] != x[45]  using generic constraint 
1.10/1.14	c intension x[25] != x[46]  using generic constraint 
1.10/1.14	c intension x[25] != x[47]  using generic constraint 
1.10/1.14	c intension x[25] != x[48]  using generic constraint 
1.10/1.14	c intension x[25] != x[49]  using generic constraint 
1.10/1.14	c intension x[25] != x[50]  using generic constraint 
1.10/1.14	c intension x[25] != x[51]  using generic constraint 
1.10/1.14	c intension x[25] != x[52]  using generic constraint 
1.10/1.14	c intension x[25] != x[53]  using generic constraint 
1.10/1.14	c intension x[25] != x[54]  using generic constraint 
1.10/1.14	c intension x[25] != x[55]  using generic constraint 
1.10/1.14	c intension x[25] != x[56]  using generic constraint 
1.10/1.15	c intension x[25] != x[57]  using generic constraint 
1.10/1.15	c intension x[25] != x[58]  using generic constraint 
1.10/1.15	c intension x[25] != x[59]  using generic constraint 
1.10/1.15	c intension x[25] != x[60]  using generic constraint 
1.10/1.15	c intension x[25] != x[61]  using generic constraint 
1.10/1.15	c intension x[25] != x[62]  using generic constraint 
1.10/1.15	c intension x[25] != x[63]  using generic constraint 
1.10/1.15	c intension x[26] != x[28]  using generic constraint 
1.10/1.15	c intension x[26] != x[29]  using generic constraint 
1.10/1.15	c intension x[26] != x[30]  using generic constraint 
1.10/1.15	c intension x[26] != x[31]  using generic constraint 
1.10/1.15	c intension x[26] != x[32]  using generic constraint 
1.10/1.16	c intension x[26] != x[33]  using generic constraint 
1.10/1.16	c intension x[26] != x[34]  using generic constraint 
1.10/1.16	c intension x[26] != x[35]  using generic constraint 
1.10/1.16	c intension x[26] != x[36]  using generic constraint 
1.10/1.16	c intension x[26] != x[37]  using generic constraint 
1.10/1.16	c intension x[26] != x[38]  using generic constraint 
1.10/1.16	c intension x[26] != x[39]  using generic constraint 
1.10/1.16	c intension x[26] != x[40]  using generic constraint 
1.10/1.16	c intension x[26] != x[41]  using generic constraint 
1.10/1.16	c intension x[26] != x[42]  using generic constraint 
1.10/1.16	c intension x[26] != x[43]  using generic constraint 
1.10/1.17	c intension x[26] != x[44]  using generic constraint 
1.10/1.17	c intension x[26] != x[45]  using generic constraint 
1.10/1.17	c intension x[26] != x[46]  using generic constraint 
1.10/1.17	c intension x[26] != x[47]  using generic constraint 
1.10/1.17	c intension x[26] != x[48]  using generic constraint 
1.10/1.17	c intension x[26] != x[49]  using generic constraint 
1.10/1.17	c intension x[26] != x[50]  using generic constraint 
1.10/1.17	c intension x[26] != x[51]  using generic constraint 
1.10/1.17	c intension x[26] != x[52]  using generic constraint 
1.10/1.17	c intension x[26] != x[53]  using generic constraint 
1.10/1.17	c intension x[26] != x[54]  using generic constraint 
1.10/1.18	c intension x[26] != x[55]  using generic constraint 
1.10/1.18	c intension x[26] != x[56]  using generic constraint 
1.10/1.18	c intension x[26] != x[57]  using generic constraint 
1.10/1.18	c intension x[26] != x[58]  using generic constraint 
1.10/1.18	c intension x[26] != x[59]  using generic constraint 
1.10/1.18	c intension x[26] != x[60]  using generic constraint 
1.10/1.18	c intension x[26] != x[61]  using generic constraint 
1.10/1.18	c intension x[26] != x[62]  using generic constraint 
1.10/1.18	c intension x[26] != x[63]  using generic constraint 
1.10/1.18	c intension x[27] != x[29]  using generic constraint 
1.10/1.18	c intension x[27] != x[30]  using generic constraint 
1.10/1.19	c intension x[27] != x[31]  using generic constraint 
1.10/1.19	c intension x[27] != x[32]  using generic constraint 
1.10/1.19	c intension x[27] != x[33]  using generic constraint 
1.10/1.19	c intension x[27] != x[34]  using generic constraint 
1.10/1.19	c intension x[27] != x[35]  using generic constraint 
1.10/1.19	c intension x[27] != x[36]  using generic constraint 
1.10/1.19	c intension x[27] != x[37]  using generic constraint 
1.10/1.19	c intension x[27] != x[38]  using generic constraint 
1.10/1.19	c intension x[27] != x[39]  using generic constraint 
1.10/1.19	c intension x[27] != x[40]  using generic constraint 
1.10/1.19	c intension x[27] != x[41]  using generic constraint 
1.10/1.20	c intension x[27] != x[42]  using generic constraint 
1.19/1.20	c intension x[27] != x[43]  using generic constraint 
1.19/1.20	c intension x[27] != x[44]  using generic constraint 
1.19/1.20	c intension x[27] != x[45]  using generic constraint 
1.19/1.20	c intension x[27] != x[46]  using generic constraint 
1.19/1.20	c intension x[27] != x[47]  using generic constraint 
1.19/1.20	c intension x[27] != x[48]  using generic constraint 
1.19/1.20	c intension x[27] != x[49]  using generic constraint 
1.19/1.20	c intension x[27] != x[50]  using generic constraint 
1.19/1.20	c intension x[27] != x[51]  using generic constraint 
1.19/1.20	c intension x[27] != x[52]  using generic constraint 
1.19/1.21	c intension x[27] != x[53]  using generic constraint 
1.19/1.21	c intension x[27] != x[54]  using generic constraint 
1.19/1.21	c intension x[27] != x[55]  using generic constraint 
1.19/1.21	c intension x[27] != x[56]  using generic constraint 
1.19/1.21	c intension x[27] != x[57]  using generic constraint 
1.19/1.21	c intension x[27] != x[58]  using generic constraint 
1.19/1.21	c intension x[27] != x[59]  using generic constraint 
1.19/1.21	c intension x[27] != x[60]  using generic constraint 
1.19/1.21	c intension x[27] != x[61]  using generic constraint 
1.19/1.21	c intension x[27] != x[62]  using generic constraint 
1.19/1.21	c intension x[27] != x[63]  using generic constraint 
1.19/1.22	c intension x[28] != x[30]  using generic constraint 
1.19/1.22	c intension x[28] != x[31]  using generic constraint 
1.19/1.22	c intension x[28] != x[32]  using generic constraint 
1.19/1.22	c intension x[28] != x[33]  using generic constraint 
1.19/1.22	c intension x[28] != x[34]  using generic constraint 
1.19/1.22	c intension x[28] != x[35]  using generic constraint 
1.19/1.22	c intension x[28] != x[36]  using generic constraint 
1.19/1.22	c intension x[28] != x[37]  using generic constraint 
1.19/1.22	c intension x[28] != x[38]  using generic constraint 
1.19/1.22	c intension x[28] != x[39]  using generic constraint 
1.19/1.22	c intension x[28] != x[40]  using generic constraint 
1.19/1.23	c intension x[28] != x[41]  using generic constraint 
1.19/1.23	c intension x[28] != x[42]  using generic constraint 
1.19/1.23	c intension x[28] != x[43]  using generic constraint 
1.19/1.23	c intension x[28] != x[44]  using generic constraint 
1.19/1.23	c intension x[28] != x[45]  using generic constraint 
1.19/1.23	c intension x[28] != x[46]  using generic constraint 
1.19/1.23	c intension x[28] != x[47]  using generic constraint 
1.19/1.23	c intension x[28] != x[48]  using generic constraint 
1.19/1.23	c intension x[28] != x[49]  using generic constraint 
1.19/1.23	c intension x[28] != x[50]  using generic constraint 
1.19/1.23	c intension x[28] != x[51]  using generic constraint 
1.19/1.23	c intension x[28] != x[52]  using generic constraint 
1.19/1.24	c intension x[28] != x[53]  using generic constraint 
1.19/1.24	c intension x[28] != x[54]  using generic constraint 
1.19/1.24	c intension x[28] != x[55]  using generic constraint 
1.19/1.24	c intension x[28] != x[56]  using generic constraint 
1.19/1.24	c intension x[28] != x[57]  using generic constraint 
1.19/1.24	c intension x[28] != x[58]  using generic constraint 
1.19/1.24	c intension x[28] != x[59]  using generic constraint 
1.19/1.24	c intension x[28] != x[60]  using generic constraint 
1.19/1.24	c intension x[28] != x[61]  using generic constraint 
1.19/1.24	c intension x[28] != x[62]  using generic constraint 
1.19/1.24	c intension x[28] != x[63]  using generic constraint 
1.19/1.25	c intension x[29] != x[31]  using generic constraint 
1.19/1.25	c intension x[29] != x[32]  using generic constraint 
1.19/1.25	c intension x[29] != x[33]  using generic constraint 
1.19/1.25	c intension x[29] != x[34]  using generic constraint 
1.19/1.25	c intension x[29] != x[35]  using generic constraint 
1.19/1.25	c intension x[29] != x[36]  using generic constraint 
1.19/1.25	c intension x[29] != x[37]  using generic constraint 
1.19/1.25	c intension x[29] != x[38]  using generic constraint 
1.19/1.25	c intension x[29] != x[39]  using generic constraint 
1.19/1.25	c intension x[29] != x[40]  using generic constraint 
1.19/1.25	c intension x[29] != x[41]  using generic constraint 
1.19/1.26	c intension x[29] != x[42]  using generic constraint 
1.19/1.26	c intension x[29] != x[43]  using generic constraint 
1.19/1.26	c intension x[29] != x[44]  using generic constraint 
1.19/1.26	c intension x[29] != x[45]  using generic constraint 
1.19/1.26	c intension x[29] != x[46]  using generic constraint 
1.19/1.26	c intension x[29] != x[47]  using generic constraint 
1.19/1.26	c intension x[29] != x[48]  using generic constraint 
1.19/1.26	c intension x[29] != x[49]  using generic constraint 
1.19/1.26	c intension x[29] != x[50]  using generic constraint 
1.19/1.26	c intension x[29] != x[51]  using generic constraint 
1.19/1.26	c intension x[29] != x[52]  using generic constraint 
1.19/1.27	c intension x[29] != x[53]  using generic constraint 
1.19/1.27	c intension x[29] != x[54]  using generic constraint 
1.19/1.27	c intension x[29] != x[55]  using generic constraint 
1.19/1.27	c intension x[29] != x[56]  using generic constraint 
1.19/1.27	c intension x[29] != x[57]  using generic constraint 
1.19/1.27	c intension x[29] != x[58]  using generic constraint 
1.19/1.27	c intension x[29] != x[59]  using generic constraint 
1.19/1.27	c intension x[29] != x[60]  using generic constraint 
1.19/1.27	c intension x[29] != x[61]  using generic constraint 
1.19/1.27	c intension x[29] != x[62]  using generic constraint 
1.19/1.27	c intension x[29] != x[63]  using generic constraint 
1.19/1.28	c intension x[30] != x[32]  using generic constraint 
1.19/1.28	c intension x[30] != x[33]  using generic constraint 
1.19/1.28	c intension x[30] != x[34]  using generic constraint 
1.19/1.28	c intension x[30] != x[35]  using generic constraint 
1.19/1.28	c intension x[30] != x[36]  using generic constraint 
1.19/1.28	c intension x[30] != x[37]  using generic constraint 
1.19/1.28	c intension x[30] != x[38]  using generic constraint 
1.19/1.28	c intension x[30] != x[39]  using generic constraint 
1.19/1.28	c intension x[30] != x[40]  using generic constraint 
1.19/1.28	c intension x[30] != x[41]  using generic constraint 
1.19/1.28	c intension x[30] != x[42]  using generic constraint 
1.19/1.29	c intension x[30] != x[43]  using generic constraint 
1.19/1.29	c intension x[30] != x[44]  using generic constraint 
1.19/1.29	c intension x[30] != x[45]  using generic constraint 
1.19/1.29	c intension x[30] != x[46]  using generic constraint 
1.19/1.29	c intension x[30] != x[47]  using generic constraint 
1.19/1.29	c intension x[30] != x[48]  using generic constraint 
1.19/1.29	c intension x[30] != x[49]  using generic constraint 
1.19/1.29	c intension x[30] != x[50]  using generic constraint 
1.19/1.29	c intension x[30] != x[51]  using generic constraint 
1.19/1.29	c intension x[30] != x[52]  using generic constraint 
1.19/1.29	c intension x[30] != x[53]  using generic constraint 
1.19/1.30	c intension x[30] != x[54]  using generic constraint 
1.29/1.30	c intension x[30] != x[55]  using generic constraint 
1.29/1.30	c intension x[30] != x[56]  using generic constraint 
1.29/1.30	c intension x[30] != x[57]  using generic constraint 
1.29/1.30	c intension x[30] != x[58]  using generic constraint 
1.29/1.30	c intension x[30] != x[59]  using generic constraint 
1.29/1.30	c intension x[30] != x[60]  using generic constraint 
1.29/1.30	c intension x[30] != x[61]  using generic constraint 
1.29/1.30	c intension x[30] != x[62]  using generic constraint 
1.29/1.30	c intension x[30] != x[63]  using generic constraint 
1.29/1.30	c intension x[31] != x[33]  using generic constraint 
1.29/1.31	c intension x[31] != x[34]  using generic constraint 
1.29/1.31	c intension x[31] != x[35]  using generic constraint 
1.29/1.31	c intension x[31] != x[36]  using generic constraint 
1.29/1.31	c intension x[31] != x[37]  using generic constraint 
1.29/1.31	c intension x[31] != x[38]  using generic constraint 
1.29/1.31	c intension x[31] != x[39]  using generic constraint 
1.29/1.31	c intension x[31] != x[40]  using generic constraint 
1.29/1.31	c intension x[31] != x[41]  using generic constraint 
1.29/1.31	c intension x[31] != x[42]  using generic constraint 
1.29/1.31	c intension x[31] != x[43]  using generic constraint 
1.29/1.31	c intension x[31] != x[44]  using generic constraint 
1.29/1.32	c intension x[31] != x[45]  using generic constraint 
1.29/1.32	c intension x[31] != x[46]  using generic constraint 
1.29/1.32	c intension x[31] != x[47]  using generic constraint 
1.29/1.32	c intension x[31] != x[48]  using generic constraint 
1.29/1.32	c intension x[31] != x[49]  using generic constraint 
1.29/1.32	c intension x[31] != x[50]  using generic constraint 
1.29/1.32	c intension x[31] != x[51]  using generic constraint 
1.29/1.32	c intension x[31] != x[52]  using generic constraint 
1.29/1.32	c intension x[31] != x[53]  using generic constraint 
1.29/1.32	c intension x[31] != x[54]  using generic constraint 
1.29/1.32	c intension x[31] != x[55]  using generic constraint 
1.29/1.33	c intension x[31] != x[56]  using generic constraint 
1.29/1.33	c intension x[31] != x[57]  using generic constraint 
1.29/1.33	c intension x[31] != x[58]  using generic constraint 
1.29/1.33	c intension x[31] != x[59]  using generic constraint 
1.29/1.33	c intension x[31] != x[60]  using generic constraint 
1.29/1.33	c intension x[31] != x[61]  using generic constraint 
1.29/1.33	c intension x[31] != x[62]  using generic constraint 
1.29/1.33	c intension x[31] != x[63]  using generic constraint 
1.29/1.33	c intension x[32] != x[34]  using generic constraint 
1.29/1.33	c intension x[32] != x[35]  using generic constraint 
1.29/1.33	c intension x[32] != x[36]  using generic constraint 
1.29/1.34	c intension x[32] != x[37]  using generic constraint 
1.29/1.34	c intension x[32] != x[38]  using generic constraint 
1.29/1.34	c intension x[32] != x[39]  using generic constraint 
1.29/1.34	c intension x[32] != x[40]  using generic constraint 
1.29/1.34	c intension x[32] != x[41]  using generic constraint 
1.29/1.34	c intension x[32] != x[42]  using generic constraint 
1.29/1.34	c intension x[32] != x[43]  using generic constraint 
1.29/1.34	c intension x[32] != x[44]  using generic constraint 
1.29/1.34	c intension x[32] != x[45]  using generic constraint 
1.29/1.34	c intension x[32] != x[46]  using generic constraint 
1.29/1.34	c intension x[32] != x[47]  using generic constraint 
1.29/1.35	c intension x[32] != x[48]  using generic constraint 
1.29/1.35	c intension x[32] != x[49]  using generic constraint 
1.29/1.35	c intension x[32] != x[50]  using generic constraint 
1.29/1.35	c intension x[32] != x[51]  using generic constraint 
1.29/1.35	c intension x[32] != x[52]  using generic constraint 
1.29/1.35	c intension x[32] != x[53]  using generic constraint 
1.29/1.35	c intension x[32] != x[54]  using generic constraint 
1.29/1.35	c intension x[32] != x[55]  using generic constraint 
1.29/1.35	c intension x[32] != x[56]  using generic constraint 
1.29/1.35	c intension x[32] != x[57]  using generic constraint 
1.29/1.35	c intension x[32] != x[58]  using generic constraint 
1.29/1.36	c intension x[32] != x[59]  using generic constraint 
1.29/1.36	c intension x[32] != x[60]  using generic constraint 
1.29/1.36	c intension x[32] != x[61]  using generic constraint 
1.29/1.36	c intension x[32] != x[62]  using generic constraint 
1.29/1.36	c intension x[32] != x[63]  using generic constraint 
1.29/1.36	c intension x[33] != x[35]  using generic constraint 
1.29/1.36	c intension x[33] != x[36]  using generic constraint 
1.29/1.36	c intension x[33] != x[37]  using generic constraint 
1.29/1.36	c intension x[33] != x[38]  using generic constraint 
1.29/1.36	c intension x[33] != x[39]  using generic constraint 
1.29/1.36	c intension x[33] != x[40]  using generic constraint 
1.29/1.36	c intension x[33] != x[41]  using generic constraint 
1.29/1.37	c intension x[33] != x[42]  using generic constraint 
1.29/1.37	c intension x[33] != x[43]  using generic constraint 
1.29/1.37	c intension x[33] != x[44]  using generic constraint 
1.29/1.37	c intension x[33] != x[45]  using generic constraint 
1.29/1.37	c intension x[33] != x[46]  using generic constraint 
1.29/1.37	c intension x[33] != x[47]  using generic constraint 
1.29/1.37	c intension x[33] != x[48]  using generic constraint 
1.29/1.37	c intension x[33] != x[49]  using generic constraint 
1.29/1.37	c intension x[33] != x[50]  using generic constraint 
1.29/1.37	c intension x[33] != x[51]  using generic constraint 
1.29/1.37	c intension x[33] != x[52]  using generic constraint 
1.29/1.38	c intension x[33] != x[53]  using generic constraint 
1.29/1.38	c intension x[33] != x[54]  using generic constraint 
1.29/1.38	c intension x[33] != x[55]  using generic constraint 
1.29/1.38	c intension x[33] != x[56]  using generic constraint 
1.29/1.38	c intension x[33] != x[57]  using generic constraint 
1.29/1.38	c intension x[33] != x[58]  using generic constraint 
1.29/1.38	c intension x[33] != x[59]  using generic constraint 
1.29/1.38	c intension x[33] != x[60]  using generic constraint 
1.29/1.38	c intension x[33] != x[61]  using generic constraint 
1.29/1.38	c intension x[33] != x[62]  using generic constraint 
1.29/1.38	c intension x[33] != x[63]  using generic constraint 
1.29/1.39	c intension x[34] != x[36]  using generic constraint 
1.29/1.39	c intension x[34] != x[37]  using generic constraint 
1.29/1.39	c intension x[34] != x[38]  using generic constraint 
1.29/1.39	c intension x[34] != x[39]  using generic constraint 
1.29/1.39	c intension x[34] != x[40]  using generic constraint 
1.29/1.39	c intension x[34] != x[41]  using generic constraint 
1.29/1.39	c intension x[34] != x[42]  using generic constraint 
1.29/1.39	c intension x[34] != x[43]  using generic constraint 
1.29/1.39	c intension x[34] != x[44]  using generic constraint 
1.29/1.39	c intension x[34] != x[45]  using generic constraint 
1.29/1.39	c intension x[34] != x[46]  using generic constraint 
1.39/1.40	c intension x[34] != x[47]  using generic constraint 
1.39/1.40	c intension x[34] != x[48]  using generic constraint 
1.39/1.40	c intension x[34] != x[49]  using generic constraint 
1.39/1.40	c intension x[34] != x[50]  using generic constraint 
1.39/1.40	c intension x[34] != x[51]  using generic constraint 
1.39/1.40	c intension x[34] != x[52]  using generic constraint 
1.39/1.40	c intension x[34] != x[53]  using generic constraint 
1.39/1.40	c intension x[34] != x[54]  using generic constraint 
1.39/1.40	c intension x[34] != x[55]  using generic constraint 
1.39/1.40	c intension x[34] != x[56]  using generic constraint 
1.39/1.40	c intension x[34] != x[57]  using generic constraint 
1.39/1.41	c intension x[34] != x[58]  using generic constraint 
1.39/1.41	c intension x[34] != x[59]  using generic constraint 
1.39/1.41	c intension x[34] != x[60]  using generic constraint 
1.39/1.41	c intension x[34] != x[61]  using generic constraint 
1.39/1.41	c intension x[34] != x[62]  using generic constraint 
1.39/1.41	c intension x[34] != x[63]  using generic constraint 
1.39/1.41	c intension x[35] != x[37]  using generic constraint 
1.39/1.41	c intension x[35] != x[38]  using generic constraint 
1.39/1.41	c intension x[35] != x[39]  using generic constraint 
1.39/1.41	c intension x[35] != x[40]  using generic constraint 
1.39/1.41	c intension x[35] != x[41]  using generic constraint 
1.39/1.42	c intension x[35] != x[42]  using generic constraint 
1.39/1.42	c intension x[35] != x[43]  using generic constraint 
1.39/1.42	c intension x[35] != x[44]  using generic constraint 
1.39/1.42	c intension x[35] != x[45]  using generic constraint 
1.39/1.42	c intension x[35] != x[46]  using generic constraint 
1.39/1.42	c intension x[35] != x[47]  using generic constraint 
1.39/1.42	c intension x[35] != x[48]  using generic constraint 
1.39/1.42	c intension x[35] != x[49]  using generic constraint 
1.39/1.42	c intension x[35] != x[50]  using generic constraint 
1.39/1.42	c intension x[35] != x[51]  using generic constraint 
1.39/1.42	c intension x[35] != x[52]  using generic constraint 
1.39/1.43	c intension x[35] != x[53]  using generic constraint 
1.39/1.43	c intension x[35] != x[54]  using generic constraint 
1.39/1.43	c intension x[35] != x[55]  using generic constraint 
1.39/1.43	c intension x[35] != x[56]  using generic constraint 
1.39/1.43	c intension x[35] != x[57]  using generic constraint 
1.39/1.43	c intension x[35] != x[58]  using generic constraint 
1.39/1.43	c intension x[35] != x[59]  using generic constraint 
1.39/1.43	c intension x[35] != x[60]  using generic constraint 
1.39/1.43	c intension x[35] != x[61]  using generic constraint 
1.39/1.43	c intension x[35] != x[62]  using generic constraint 
1.39/1.43	c intension x[35] != x[63]  using generic constraint 
1.39/1.44	c intension x[36] != x[38]  using generic constraint 
1.39/1.44	c intension x[36] != x[39]  using generic constraint 
1.39/1.44	c intension x[36] != x[40]  using generic constraint 
1.39/1.44	c intension x[36] != x[41]  using generic constraint 
1.39/1.44	c intension x[36] != x[42]  using generic constraint 
1.39/1.44	c intension x[36] != x[43]  using generic constraint 
1.39/1.44	c intension x[36] != x[44]  using generic constraint 
1.39/1.44	c intension x[36] != x[45]  using generic constraint 
1.39/1.44	c intension x[36] != x[46]  using generic constraint 
1.39/1.44	c intension x[36] != x[47]  using generic constraint 
1.39/1.44	c intension x[36] != x[48]  using generic constraint 
1.39/1.45	c intension x[36] != x[49]  using generic constraint 
1.39/1.45	c intension x[36] != x[50]  using generic constraint 
1.39/1.45	c intension x[36] != x[51]  using generic constraint 
1.39/1.45	c intension x[36] != x[52]  using generic constraint 
1.39/1.45	c intension x[36] != x[53]  using generic constraint 
1.39/1.45	c intension x[36] != x[54]  using generic constraint 
1.39/1.45	c intension x[36] != x[55]  using generic constraint 
1.39/1.45	c intension x[36] != x[56]  using generic constraint 
1.39/1.45	c intension x[36] != x[57]  using generic constraint 
1.39/1.45	c intension x[36] != x[58]  using generic constraint 
1.39/1.45	c intension x[36] != x[59]  using generic constraint 
1.39/1.46	c intension x[36] != x[60]  using generic constraint 
1.39/1.46	c intension x[36] != x[61]  using generic constraint 
1.39/1.46	c intension x[36] != x[62]  using generic constraint 
1.39/1.46	c intension x[36] != x[63]  using generic constraint 
1.39/1.46	c intension x[37] != x[39]  using generic constraint 
1.39/1.46	c intension x[37] != x[40]  using generic constraint 
1.39/1.46	c intension x[37] != x[41]  using generic constraint 
1.39/1.46	c intension x[37] != x[42]  using generic constraint 
1.39/1.46	c intension x[37] != x[43]  using generic constraint 
1.39/1.46	c intension x[37] != x[44]  using generic constraint 
1.39/1.46	c intension x[37] != x[45]  using generic constraint 
1.39/1.47	c intension x[37] != x[46]  using generic constraint 
1.39/1.47	c intension x[37] != x[47]  using generic constraint 
1.39/1.47	c intension x[37] != x[48]  using generic constraint 
1.39/1.47	c intension x[37] != x[49]  using generic constraint 
1.39/1.47	c intension x[37] != x[50]  using generic constraint 
1.39/1.47	c intension x[37] != x[51]  using generic constraint 
1.39/1.47	c intension x[37] != x[52]  using generic constraint 
1.39/1.47	c intension x[37] != x[53]  using generic constraint 
1.39/1.47	c intension x[37] != x[54]  using generic constraint 
1.39/1.47	c intension x[37] != x[55]  using generic constraint 
1.39/1.47	c intension x[37] != x[56]  using generic constraint 
1.39/1.48	c intension x[37] != x[57]  using generic constraint 
1.39/1.48	c intension x[37] != x[58]  using generic constraint 
1.39/1.48	c intension x[37] != x[59]  using generic constraint 
1.39/1.48	c intension x[37] != x[60]  using generic constraint 
1.39/1.48	c intension x[37] != x[61]  using generic constraint 
1.39/1.48	c intension x[37] != x[62]  using generic constraint 
1.39/1.48	c intension x[37] != x[63]  using generic constraint 
1.39/1.48	c intension x[38] != x[40]  using generic constraint 
1.39/1.48	c intension x[38] != x[41]  using generic constraint 
1.39/1.48	c intension x[38] != x[42]  using generic constraint 
1.39/1.48	c intension x[38] != x[43]  using generic constraint 
1.39/1.49	c intension x[38] != x[44]  using generic constraint 
1.39/1.49	c intension x[38] != x[45]  using generic constraint 
1.39/1.49	c intension x[38] != x[46]  using generic constraint 
1.39/1.49	c intension x[38] != x[47]  using generic constraint 
1.39/1.49	c intension x[38] != x[48]  using generic constraint 
1.39/1.49	c intension x[38] != x[49]  using generic constraint 
1.39/1.49	c intension x[38] != x[50]  using generic constraint 
1.39/1.49	c intension x[38] != x[51]  using generic constraint 
1.39/1.49	c intension x[38] != x[52]  using generic constraint 
1.39/1.49	c intension x[38] != x[53]  using generic constraint 
1.39/1.49	c intension x[38] != x[54]  using generic constraint 
1.39/1.50	c intension x[38] != x[55]  using generic constraint 
1.49/1.50	c intension x[38] != x[56]  using generic constraint 
1.49/1.50	c intension x[38] != x[57]  using generic constraint 
1.49/1.50	c intension x[38] != x[58]  using generic constraint 
1.49/1.50	c intension x[38] != x[59]  using generic constraint 
1.49/1.50	c intension x[38] != x[60]  using generic constraint 
1.49/1.50	c intension x[38] != x[61]  using generic constraint 
1.49/1.50	c intension x[38] != x[62]  using generic constraint 
1.49/1.50	c intension x[38] != x[63]  using generic constraint 
1.49/1.50	c intension x[39] != x[41]  using generic constraint 
1.49/1.50	c intension x[39] != x[42]  using generic constraint 
1.49/1.51	c intension x[39] != x[43]  using generic constraint 
1.49/1.51	c intension x[39] != x[44]  using generic constraint 
1.49/1.51	c intension x[39] != x[45]  using generic constraint 
1.49/1.51	c intension x[39] != x[46]  using generic constraint 
1.49/1.51	c intension x[39] != x[47]  using generic constraint 
1.49/1.51	c intension x[39] != x[48]  using generic constraint 
1.49/1.51	c intension x[39] != x[49]  using generic constraint 
1.49/1.51	c intension x[39] != x[50]  using generic constraint 
1.49/1.51	c intension x[39] != x[51]  using generic constraint 
1.49/1.51	c intension x[39] != x[52]  using generic constraint 
1.49/1.51	c intension x[39] != x[53]  using generic constraint 
1.49/1.52	c intension x[39] != x[54]  using generic constraint 
1.49/1.52	c intension x[39] != x[55]  using generic constraint 
1.49/1.52	c intension x[39] != x[56]  using generic constraint 
1.49/1.52	c intension x[39] != x[57]  using generic constraint 
1.49/1.52	c intension x[39] != x[58]  using generic constraint 
1.49/1.52	c intension x[39] != x[59]  using generic constraint 
1.49/1.52	c intension x[39] != x[60]  using generic constraint 
1.49/1.52	c intension x[39] != x[61]  using generic constraint 
1.49/1.52	c intension x[39] != x[62]  using generic constraint 
1.49/1.52	c intension x[39] != x[63]  using generic constraint 
1.49/1.52	c intension x[40] != x[42]  using generic constraint 
1.49/1.53	c intension x[40] != x[43]  using generic constraint 
1.49/1.53	c intension x[40] != x[44]  using generic constraint 
1.49/1.53	c intension x[40] != x[45]  using generic constraint 
1.49/1.53	c intension x[40] != x[46]  using generic constraint 
1.49/1.53	c intension x[40] != x[47]  using generic constraint 
1.49/1.53	c intension x[40] != x[48]  using generic constraint 
1.49/1.53	c intension x[40] != x[49]  using generic constraint 
1.49/1.53	c intension x[40] != x[50]  using generic constraint 
1.49/1.53	c intension x[40] != x[51]  using generic constraint 
1.49/1.53	c intension x[40] != x[52]  using generic constraint 
1.49/1.53	c intension x[40] != x[53]  using generic constraint 
1.49/1.54	c intension x[40] != x[54]  using generic constraint 
1.49/1.54	c intension x[40] != x[55]  using generic constraint 
1.49/1.54	c intension x[40] != x[56]  using generic constraint 
1.49/1.54	c intension x[40] != x[57]  using generic constraint 
1.49/1.54	c intension x[40] != x[58]  using generic constraint 
1.49/1.54	c intension x[40] != x[59]  using generic constraint 
1.49/1.54	c intension x[40] != x[60]  using generic constraint 
1.49/1.54	c intension x[40] != x[61]  using generic constraint 
1.49/1.54	c intension x[40] != x[62]  using generic constraint 
1.49/1.54	c intension x[40] != x[63]  using generic constraint 
1.49/1.54	c intension x[41] != x[43]  using generic constraint 
1.49/1.55	c intension x[41] != x[44]  using generic constraint 
1.49/1.55	c intension x[41] != x[45]  using generic constraint 
1.49/1.55	c intension x[41] != x[46]  using generic constraint 
1.49/1.55	c intension x[41] != x[47]  using generic constraint 
1.49/1.55	c intension x[41] != x[48]  using generic constraint 
1.49/1.55	c intension x[41] != x[49]  using generic constraint 
1.49/1.55	c intension x[41] != x[50]  using generic constraint 
1.49/1.55	c intension x[41] != x[51]  using generic constraint 
1.49/1.55	c intension x[41] != x[52]  using generic constraint 
1.49/1.55	c intension x[41] != x[53]  using generic constraint 
1.49/1.55	c intension x[41] != x[54]  using generic constraint 
1.49/1.56	c intension x[41] != x[55]  using generic constraint 
1.49/1.56	c intension x[41] != x[56]  using generic constraint 
1.49/1.56	c intension x[41] != x[57]  using generic constraint 
1.49/1.56	c intension x[41] != x[58]  using generic constraint 
1.49/1.56	c intension x[41] != x[59]  using generic constraint 
1.49/1.56	c intension x[41] != x[60]  using generic constraint 
1.49/1.56	c intension x[41] != x[61]  using generic constraint 
1.49/1.56	c intension x[41] != x[62]  using generic constraint 
1.49/1.56	c intension x[41] != x[63]  using generic constraint 
1.49/1.56	c intension x[42] != x[44]  using generic constraint 
1.49/1.56	c intension x[42] != x[45]  using generic constraint 
1.49/1.57	c intension x[42] != x[46]  using generic constraint 
1.49/1.57	c intension x[42] != x[47]  using generic constraint 
1.49/1.57	c intension x[42] != x[48]  using generic constraint 
1.49/1.57	c intension x[42] != x[49]  using generic constraint 
1.49/1.57	c intension x[42] != x[50]  using generic constraint 
1.49/1.57	c intension x[42] != x[51]  using generic constraint 
1.49/1.57	c intension x[42] != x[52]  using generic constraint 
1.49/1.57	c intension x[42] != x[53]  using generic constraint 
1.49/1.57	c intension x[42] != x[54]  using generic constraint 
1.49/1.57	c intension x[42] != x[55]  using generic constraint 
1.49/1.57	c intension x[42] != x[56]  using generic constraint 
1.49/1.58	c intension x[42] != x[57]  using generic constraint 
1.49/1.58	c intension x[42] != x[58]  using generic constraint 
1.49/1.58	c intension x[42] != x[59]  using generic constraint 
1.49/1.58	c intension x[42] != x[60]  using generic constraint 
1.49/1.58	c intension x[42] != x[61]  using generic constraint 
1.49/1.58	c intension x[42] != x[62]  using generic constraint 
1.49/1.58	c intension x[42] != x[63]  using generic constraint 
1.49/1.58	c intension x[43] != x[45]  using generic constraint 
1.49/1.58	c intension x[43] != x[46]  using generic constraint 
1.49/1.58	c intension x[43] != x[47]  using generic constraint 
1.49/1.58	c intension x[43] != x[48]  using generic constraint 
1.49/1.59	c intension x[43] != x[49]  using generic constraint 
1.49/1.59	c intension x[43] != x[50]  using generic constraint 
1.49/1.59	c intension x[43] != x[51]  using generic constraint 
1.49/1.59	c intension x[43] != x[52]  using generic constraint 
1.49/1.59	c intension x[43] != x[53]  using generic constraint 
1.49/1.59	c intension x[43] != x[54]  using generic constraint 
1.49/1.59	c intension x[43] != x[55]  using generic constraint 
1.49/1.59	c intension x[43] != x[56]  using generic constraint 
1.49/1.59	c intension x[43] != x[57]  using generic constraint 
1.49/1.59	c intension x[43] != x[58]  using generic constraint 
1.49/1.59	c intension x[43] != x[59]  using generic constraint 
1.59/1.60	c intension x[43] != x[60]  using generic constraint 
1.59/1.60	c intension x[43] != x[61]  using generic constraint 
1.59/1.60	c intension x[43] != x[62]  using generic constraint 
1.59/1.60	c intension x[43] != x[63]  using generic constraint 
1.59/1.60	c intension x[44] != x[46]  using generic constraint 
1.59/1.60	c intension x[44] != x[47]  using generic constraint 
1.59/1.60	c intension x[44] != x[48]  using generic constraint 
1.59/1.60	c intension x[44] != x[49]  using generic constraint 
1.59/1.60	c intension x[44] != x[50]  using generic constraint 
1.59/1.60	c intension x[44] != x[51]  using generic constraint 
1.59/1.60	c intension x[44] != x[52]  using generic constraint 
1.59/1.61	c intension x[44] != x[53]  using generic constraint 
1.59/1.61	c intension x[44] != x[54]  using generic constraint 
1.59/1.61	c intension x[44] != x[55]  using generic constraint 
1.59/1.61	c intension x[44] != x[56]  using generic constraint 
1.59/1.61	c intension x[44] != x[57]  using generic constraint 
1.59/1.61	c intension x[44] != x[58]  using generic constraint 
1.59/1.61	c intension x[44] != x[59]  using generic constraint 
1.59/1.61	c intension x[44] != x[60]  using generic constraint 
1.59/1.61	c intension x[44] != x[61]  using generic constraint 
1.59/1.61	c intension x[44] != x[62]  using generic constraint 
1.59/1.61	c intension x[44] != x[63]  using generic constraint 
1.59/1.62	c intension x[45] != x[47]  using generic constraint 
1.59/1.62	c intension x[45] != x[48]  using generic constraint 
1.59/1.62	c intension x[45] != x[49]  using generic constraint 
1.59/1.62	c intension x[45] != x[50]  using generic constraint 
1.59/1.62	c intension x[45] != x[51]  using generic constraint 
1.59/1.62	c intension x[45] != x[52]  using generic constraint 
1.59/1.62	c intension x[45] != x[53]  using generic constraint 
1.59/1.62	c intension x[45] != x[54]  using generic constraint 
1.59/1.62	c intension x[45] != x[55]  using generic constraint 
1.59/1.62	c intension x[45] != x[56]  using generic constraint 
1.59/1.62	c intension x[45] != x[57]  using generic constraint 
1.59/1.63	c intension x[45] != x[58]  using generic constraint 
1.59/1.63	c intension x[45] != x[59]  using generic constraint 
1.59/1.63	c intension x[45] != x[60]  using generic constraint 
1.59/1.63	c intension x[45] != x[61]  using generic constraint 
1.59/1.63	c intension x[45] != x[62]  using generic constraint 
1.59/1.63	c intension x[45] != x[63]  using generic constraint 
1.59/1.63	c intension x[46] != x[48]  using generic constraint 
1.59/1.63	c intension x[46] != x[49]  using generic constraint 
1.59/1.63	c intension x[46] != x[50]  using generic constraint 
1.59/1.63	c intension x[46] != x[51]  using generic constraint 
1.59/1.63	c intension x[46] != x[52]  using generic constraint 
1.59/1.64	c intension x[46] != x[53]  using generic constraint 
1.59/1.64	c intension x[46] != x[54]  using generic constraint 
1.59/1.64	c intension x[46] != x[55]  using generic constraint 
1.59/1.64	c intension x[46] != x[56]  using generic constraint 
1.59/1.64	c intension x[46] != x[57]  using generic constraint 
1.59/1.64	c intension x[46] != x[58]  using generic constraint 
1.59/1.64	c intension x[46] != x[59]  using generic constraint 
1.59/1.64	c intension x[46] != x[60]  using generic constraint 
1.59/1.64	c intension x[46] != x[61]  using generic constraint 
1.59/1.64	c intension x[46] != x[62]  using generic constraint 
1.59/1.65	c intension x[46] != x[63]  using generic constraint 
1.59/1.65	c intension x[47] != x[49]  using generic constraint 
1.59/1.65	c intension x[47] != x[50]  using generic constraint 
1.59/1.65	c intension x[47] != x[51]  using generic constraint 
1.59/1.65	c intension x[47] != x[52]  using generic constraint 
1.59/1.65	c intension x[47] != x[53]  using generic constraint 
1.59/1.65	c intension x[47] != x[54]  using generic constraint 
1.59/1.65	c intension x[47] != x[55]  using generic constraint 
1.59/1.65	c intension x[47] != x[56]  using generic constraint 
1.59/1.65	c intension x[47] != x[57]  using generic constraint 
1.59/1.65	c intension x[47] != x[58]  using generic constraint 
1.59/1.66	c intension x[47] != x[59]  using generic constraint 
1.59/1.66	c intension x[47] != x[60]  using generic constraint 
1.59/1.66	c intension x[47] != x[61]  using generic constraint 
1.59/1.66	c intension x[47] != x[62]  using generic constraint 
1.59/1.66	c intension x[47] != x[63]  using generic constraint 
1.59/1.66	c intension x[48] != x[50]  using generic constraint 
1.59/1.66	c intension x[48] != x[51]  using generic constraint 
1.59/1.66	c intension x[48] != x[52]  using generic constraint 
1.59/1.66	c intension x[48] != x[53]  using generic constraint 
1.59/1.66	c intension x[48] != x[54]  using generic constraint 
1.59/1.66	c intension x[48] != x[55]  using generic constraint 
1.59/1.67	c intension x[48] != x[56]  using generic constraint 
1.59/1.67	c intension x[48] != x[57]  using generic constraint 
1.59/1.67	c intension x[48] != x[58]  using generic constraint 
1.59/1.67	c intension x[48] != x[59]  using generic constraint 
1.59/1.67	c intension x[48] != x[60]  using generic constraint 
1.59/1.67	c intension x[48] != x[61]  using generic constraint 
1.59/1.67	c intension x[48] != x[62]  using generic constraint 
1.59/1.67	c intension x[48] != x[63]  using generic constraint 
1.59/1.67	c intension x[49] != x[51]  using generic constraint 
1.59/1.67	c intension x[49] != x[52]  using generic constraint 
1.59/1.67	c intension x[49] != x[53]  using generic constraint 
1.59/1.68	c intension x[49] != x[54]  using generic constraint 
1.59/1.68	c intension x[49] != x[55]  using generic constraint 
1.59/1.68	c intension x[49] != x[56]  using generic constraint 
1.59/1.68	c intension x[49] != x[57]  using generic constraint 
1.59/1.68	c intension x[49] != x[58]  using generic constraint 
1.59/1.68	c intension x[49] != x[59]  using generic constraint 
1.59/1.68	c intension x[49] != x[60]  using generic constraint 
1.59/1.68	c intension x[49] != x[61]  using generic constraint 
1.59/1.68	c intension x[49] != x[62]  using generic constraint 
1.59/1.68	c intension x[49] != x[63]  using generic constraint 
1.59/1.68	c intension x[50] != x[52]  using generic constraint 
1.59/1.69	c intension x[50] != x[53]  using generic constraint 
1.59/1.69	c intension x[50] != x[54]  using generic constraint 
1.59/1.69	c intension x[50] != x[55]  using generic constraint 
1.59/1.69	c intension x[50] != x[56]  using generic constraint 
1.59/1.69	c intension x[50] != x[57]  using generic constraint 
1.59/1.69	c intension x[50] != x[58]  using generic constraint 
1.59/1.69	c intension x[50] != x[59]  using generic constraint 
1.59/1.69	c intension x[50] != x[60]  using generic constraint 
1.59/1.69	c intension x[50] != x[61]  using generic constraint 
1.59/1.69	c intension x[50] != x[62]  using generic constraint 
1.59/1.69	c intension x[50] != x[63]  using generic constraint 
1.59/1.70	c intension x[51] != x[53]  using generic constraint 
1.69/1.70	c intension x[51] != x[54]  using generic constraint 
1.69/1.70	c intension x[51] != x[55]  using generic constraint 
1.69/1.70	c intension x[51] != x[56]  using generic constraint 
1.69/1.70	c intension x[51] != x[57]  using generic constraint 
1.69/1.70	c intension x[51] != x[58]  using generic constraint 
1.69/1.70	c intension x[51] != x[59]  using generic constraint 
1.69/1.70	c intension x[51] != x[60]  using generic constraint 
1.69/1.70	c intension x[51] != x[61]  using generic constraint 
1.69/1.70	c intension x[51] != x[62]  using generic constraint 
1.69/1.70	c intension x[51] != x[63]  using generic constraint 
1.69/1.71	c intension x[52] != x[54]  using generic constraint 
1.69/1.71	c intension x[52] != x[55]  using generic constraint 
1.69/1.71	c intension x[52] != x[56]  using generic constraint 
1.69/1.71	c intension x[52] != x[57]  using generic constraint 
1.69/1.71	c intension x[52] != x[58]  using generic constraint 
1.69/1.71	c intension x[52] != x[59]  using generic constraint 
1.69/1.71	c intension x[52] != x[60]  using generic constraint 
1.69/1.71	c intension x[52] != x[61]  using generic constraint 
1.69/1.71	c intension x[52] != x[62]  using generic constraint 
1.69/1.71	c intension x[52] != x[63]  using generic constraint 
1.69/1.71	c intension x[53] != x[55]  using generic constraint 
1.69/1.72	c intension x[53] != x[56]  using generic constraint 
1.69/1.72	c intension x[53] != x[57]  using generic constraint 
1.69/1.72	c intension x[53] != x[58]  using generic constraint 
1.69/1.72	c intension x[53] != x[59]  using generic constraint 
1.69/1.72	c intension x[53] != x[60]  using generic constraint 
1.69/1.72	c intension x[53] != x[61]  using generic constraint 
1.69/1.72	c intension x[53] != x[62]  using generic constraint 
1.69/1.72	c intension x[53] != x[63]  using generic constraint 
1.69/1.72	c intension x[54] != x[56]  using generic constraint 
1.69/1.72	c intension x[54] != x[57]  using generic constraint 
1.69/1.72	c intension x[54] != x[58]  using generic constraint 
1.69/1.73	c intension x[54] != x[59]  using generic constraint 
1.69/1.73	c intension x[54] != x[60]  using generic constraint 
1.69/1.73	c intension x[54] != x[61]  using generic constraint 
1.69/1.73	c intension x[54] != x[62]  using generic constraint 
1.69/1.73	c intension x[54] != x[63]  using generic constraint 
1.69/1.73	c intension x[55] != x[57]  using generic constraint 
1.69/1.73	c intension x[55] != x[58]  using generic constraint 
1.69/1.73	c intension x[55] != x[59]  using generic constraint 
1.69/1.73	c intension x[55] != x[60]  using generic constraint 
1.69/1.73	c intension x[55] != x[61]  using generic constraint 
1.69/1.73	c intension x[55] != x[62]  using generic constraint 
1.69/1.74	c intension x[55] != x[63]  using generic constraint 
1.69/1.74	c intension x[56] != x[58]  using generic constraint 
1.69/1.74	c intension x[56] != x[59]  using generic constraint 
1.69/1.74	c intension x[56] != x[60]  using generic constraint 
1.69/1.74	c intension x[56] != x[61]  using generic constraint 
1.69/1.74	c intension x[56] != x[62]  using generic constraint 
1.69/1.74	c intension x[56] != x[63]  using generic constraint 
1.69/1.74	c intension x[57] != x[59]  using generic constraint 
1.69/1.74	c intension x[57] != x[60]  using generic constraint 
1.69/1.74	c intension x[57] != x[61]  using generic constraint 
1.69/1.74	c intension x[57] != x[62]  using generic constraint 
1.69/1.75	c intension x[57] != x[63]  using generic constraint 
1.69/1.75	c intension x[58] != x[60]  using generic constraint 
1.69/1.75	c intension x[58] != x[61]  using generic constraint 
1.69/1.75	c intension x[58] != x[62]  using generic constraint 
1.69/1.75	c intension x[58] != x[63]  using generic constraint 
1.69/1.75	c intension x[59] != x[61]  using generic constraint 
1.69/1.75	c intension x[59] != x[62]  using generic constraint 
1.69/1.75	c intension x[59] != x[63]  using generic constraint 
1.69/1.75	c intension x[60] != x[62]  using generic constraint 
1.69/1.75	c intension x[60] != x[63]  using generic constraint 
1.69/1.76	c intension x[61] != x[63]  using generic constraint 
1.79/1.86	c SAT : Variables: 4106 -- Clauses: 129134
1.79/1.87	c root propagations     : 108         
1.79/1.87	c restarts enabled, print stats at every restarts
1.79/1.87	c
1.79/1.87	c
1.79/1.87	c
1.79/1.87	c This is cosoco 1.12 --  
1.79/1.87	c
1.79/1.87	c command line: cosoco -lc -model -restarts -sat HOME/instance-4266286-1502578910.xml 
1.79/1.87	c ========================================[ Problem Statistics ]===========================================
1.79/1.87	c |                                                                                                       
1.79/1.87	c |  Parse time        :         1.86 s 
1.79/1.87	c |
1.79/1.87	c |               Variables: 65
1.79/1.87	c |            Domain Sizes: 10..64
1.79/1.87	c |
1.79/1.87	c |             Constraints: 2034
1.79/1.87	c |                   Arity: 2..2  -- Binary: 2034
1.79/1.87	c | 
1.79/1.87	c |                   Types: 
1.79/1.87	c |                          (X != Y): 1953
1.79/1.87	c |                          Intension: 81
1.79/1.87	c |                          
1.79/1.87	c =========================================================================================================
1.79/1.87	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
1.79/1.89	c 10             37             45565          4529           18             4              18   24   19   
1.89/1.91	c 20             79             96676          9244           18             8              21   24   21   
1.89/1.92	c 30             101            123631         15023          18             15             8   10   8     
1.89/1.93	c 40             133            162114         20693          18             18             7   10   8     
1.89/1.95	c 50             195            217460         26357          18             21             8   44   22    
1.89/1.96	c 60             220            246204         31621          18             25             6   8   6      
1.89/1.98	c 70             253            282954         35884          18             26             17   20   17   
1.89/1.99	c 80             274            310775         41924          18             34             7   9   7      
1.89/2.00	c 90             315            362488         47871          18             38             6   22   12    
2.00/2.02	c 100            346            406032         52816          18             41             4   16   12    
2.00/2.03	c 101            352            420903         56250          18             42             6   6   3      
2.00/2.04	c 110            391            463655         61118          18             49             5   24   18    
2.00/2.05	c 120            425            506859         67801          18             52             8   9   8      
2.00/2.07	c 130            446            536345         73619          18             61             6   8   6      
2.00/2.08	c 140            481            579588         79712          18             67             7   16   9     
2.00/2.10	c 150            511            617865         85198          18             69             7   16   12    
2.10/2.11	c 160            542            658960         91488          18             74             9   18   11    
2.10/2.12	c 170            567            690410         97926          18             83             6   8   6      
2.10/2.14	c 180            606            736310         102533         18             88             18   19   17   
2.10/2.15	c 190            634            775510         108403         18             93             5   8   6      
2.10/2.17	c 200            671            821196         113159         18             95             16   18   15   
2.10/2.18	c 210            691            847025         118895         18             103            6   8   6      
2.10/2.19	c 211            701            863580         122207         18             104            10   10   5    
2.19/2.20	c 220            731            901070         126844         18             110            4   18   14    
2.19/2.22	c 230            767            945775         131675         18             115            5   18   15    
2.19/2.23	c 240            806            994382         138408         18             118            9   11   9     
2.19/2.25	c 250            842            1041267        143311         18             121            16   17   15   
2.19/2.26	c 260            875            1085498        148977         18             124            8   18   14    
2.19/2.27	c 270            895            1114591        154648         18             132            7   9   6      
2.19/2.29	c 280            929            1154255        159849         18             138            6   21   15    
2.29/2.30	c 290            949            1182471        165580         18             145            7   9   7      
2.29/2.32	c 300            983            1229048        172236         18             149            10   10   9    
2.29/2.33	c 310            1004           1257448        178051         18             155            5   7   5      
2.29/2.34	c 320            1042           1305237        182658         18             160            17   18   16   
2.29/2.36	c 330            1079           1351127        188167         18             164            9   18   14    
2.29/2.37	c 332            1098           1378693        192168         18             166            6   18   8     
2.29/2.38	c 340            1132           1424737        197862         18             170            5   18   11    
2.39/2.40	c 350            1150           1446873        203108         18             177            6   8   6      
2.39/2.41	c 360            1188           1499264        208824         18             182            6   18   11    
2.39/2.42	c 370            1207           1525781        214598         18             189            6   8   6      
2.39/2.44	c 380            1256           1582444        220202         18             193            7   29   14    
2.39/2.46	c 390            1293           1627444        225342         18             196            8   20   15    
2.39/2.47	c 400            1322           1662347        231358         18             201            7   9   7      
2.39/2.48	c 410            1383           1711676        235910         18             207            21   33   25   
2.49/2.50	c 420            1423           1759114        241172         18             213            6   15   12    
2.49/2.51	c 430            1448           1790778        247572         18             222            6   8   6      
2.49/2.53	c 440            1487           1836801        252138         18             226            18   18   16   
2.49/2.54	c 450            1515           1874388        257435         18             235            6   18   10    
2.49/2.55	c 460            1557           1924638        263084         18             239            10   19   15   
2.49/2.57	c 465            1572           1945864        267870         18             243            7   9   6      
2.49/2.58	c 470            1595           1978299        271736         18             246            16   19   15   
2.49/2.59	c 480            1633           2024834        278370         18             249            9   10   9     
2.59/2.61	c 490            1664           2058775        283108         18             256            5   19   13    
2.59/2.62	c 500            1690           2090228        289567         18             265            7   9   7      
2.59/2.63	c 510            1728           2136693        294223         18             269            17   18   16   
2.59/2.65	c 520            1758           2175381        299325         18             273            8   18   14    
2.59/2.66	c 530            1794           2219468        305395         18             276            6   11   8     
2.59/2.68	c 540            1826           2259312        309815         18             280            16   18   16   
2.59/2.69	c 550            1851           2290949        316214         18             289            6   8   6      
2.69/2.71	c 560            1893           2339734        320828         18             292            19   19   17   
2.69/2.72	c 570            1912           2367201        326546         18             299            6   8   6      
2.69/2.73	c 580            1950           2411963        331138         18             303            16   22   18   
2.69/2.75	c 590            1980           2454269        336568         18             310            9   16   11    
2.69/2.76	c 600            2018           2501281        342805         18             315            7   18   10    
2.69/2.77	c 610            2038           2528809        348555         18             322            7   9   7      
2.69/2.79	c 611            2063           2563476        352423         18             323            25   25   12   
2.79/2.80	c 620            2086           2602906        358266         18             326            6   8   6      
2.79/2.82	c 630            2127           2651943        363055         18             328            18   20   17   
2.79/2.83	c 640            2161           2695097        367886         18             330            14   18   15   
2.79/2.84	c 650            2201           2738234        372664         18             335            16   19   16   
2.79/2.86	c 660            2221           2766190        378411         18             342            7   9   7      
2.79/2.87	c 670            2271           2820518        383280         18             345            22   27   21   
2.79/2.89	c 680            2312           2868203        388160         18             347            16   17   15   
2.89/2.90	c 690            2331           2891071        393362         18             354            7   9   6      
2.89/2.91	c 700            2374           2942086        398221         18             357            17   19   17   
2.89/2.93	c 710            2412           2995090        403844         18             362            7   19   10    
2.89/2.94	c 720            2444           3036245        409304         18             369            6   19   12    
2.89/2.96	c 730            2487           3087711        415041         18             373            9   19   15    
2.89/2.97	c 740            2506           3110560        420247         18             380            7   9   6      
2.89/2.98	c 750            2537           3153565        425860         18             386            6   15   8     
2.89/3.00	c 760            2566           3187768        431259         18             389            6   10   8     
3.00/3.01	c 770            2601           3231811        435785         18             393            18   19   16   
3.00/3.02	c 771            2609           3247411        439156         18             394            8   8   4      
3.00/3.04	c 780            2632           3275661        445116         18             402            7   9   7      
3.00/3.05	c 790            2671           3320482        449652         18             409            17   23   19   
3.00/3.07	c 800            2704           3366265        455729         18             415            6   18   11    
3.00/3.08	c 810            2742           3421404        461385         18             419            9   19   12    
3.00/3.10	c 820            2781           3468146        467150         18             422            6   18   12    
3.10/3.11	c 830            2823           3518879        472852         18             426            9   19   15    
3.10/3.13	c 840            2845           3544451        478523         18             434            7   9   7      
3.10/3.14	c 850            2878           3586206        482956         18             435            15   18   15   
3.10/3.15	c 860            2910           3624568        488602         18             438            6   10   8     
3.10/3.17	c 870            2944           3671445        495349         18             442            10   10   9    
3.10/3.18	c 880            2964           3697252        501183         18             450            5   7   5      
3.19/3.20	c 890            3002           3746536        508003         18             455            7   16   8     
3.19/3.21	c 900            3020           3766985        513006         18             463            7   9   6      
3.19/3.22	c 910            3049           3806613        518653         18             466            5   17   7     
3.19/3.24	c 920            3092           3856118        523573         18             468            18   20   18   
3.19/3.25	c 930            3131           3904494        529120         18             472            7   21   10    
3.19/3.27	c 940            3164           3942198        533584         18             476            6   20   15    
3.19/3.28	c 947            3197           3979459        538123         18             478            15   18   14   
3.19/3.29	c 950            3210           4001872        541927         18             479            9   9   6      
3.29/3.30	c 960            3241           4042705        547899         18             483            5   19   6     
3.29/3.32	c 970            3284           4093773        552744         18             486            20   20   18   
3.29/3.33	c 980            3326           4143082        557362         18             490            21   21   19   
3.29/3.35	c 990            3358           4181515        563032         18             493            6   10   8     
3.29/3.36	c 1000           3400           4227277        567585         18             497            21   21   19   
3.29/3.38	c 1010           3431           4269476        572139         18             499            17   17   15   
3.29/3.39	c 1020           3471           4318516        577817         18             503            6   21   15    
3.39/3.41	c 1030           3513           4366624        582581         18             506            19   19   17   
3.39/3.42	c 1040           3546           4411762        588018         18             512            9   17   14    
3.39/3.43	c 1050           3568           4437306        593683         18             520            7   9   7      
3.39/3.45	c 1060           3607           4480613        598312         18             523            19   20   17   
3.39/3.46	c 1070           3642           4525179        603031         18             526            18   19   16   
3.39/3.48	c 1080           3682           4572334        607811         18             530            20   21   18   
3.39/3.49	c 1090           3704           4599420        614140         18             532            7   9   6      
3.49/3.50	c 1100           3744           4650511        618846         18             537            19   20   18   
3.49/3.52	c 1110           3779           4693820        623712         18             541            18   18   16   
3.49/3.53	c 1120           3813           4739301        628471         18             545            18   20   17   
3.49/3.55	c 1130           3846           4782446        633504         18             550            7   19   16    
3.49/3.56	c 1140           3887           4831829        638604         18             553            17   19   16   
3.49/3.57	c 1141           3903           4853744        641984         18             554            16   16   8    
3.49/3.59	c 1150           3942           4901795        647359         18             559            9   20   16    
3.59/3.60	c 1160           3969           4930406        653750         18             569            8   10   8     
3.59/3.62	c 1170           4013           4983492        658966         18             573            17   19   17   
3.59/3.63	c 1180           4046           5023470        663903         18             579            5   19   14    
3.59/3.64	c 1190           4084           5070484        669497         18             583            8   18   14    
3.59/3.66	c 1200           4114           5106146        673900         18             586            14   19   15   
3.59/3.67	c 1210           4148           5147764        678458         18             588            14   20   17   
3.59/3.68	c 1220           4180           5189167        683295         18             594            8   20   16    
3.69/3.70	c 1230           4221           5240374        688474         18             596            19   21   18   
3.69/3.71	c 1240           4257           5284978        693163         18             599            17   19   16   
3.69/3.73	c 1250           4293           5334181        698908         18             605            7   18   14    
3.69/3.74	c 1260           4333           5382701        704529         18             611            6   20   15    
3.69/3.75	c 1270           4352           5404760        709841         18             619            8   10   7     
3.69/3.77	c 1280           4390           5459816        715600         18             624            8   19   15    
3.69/3.78	c 1290           4424           5502600        720973         18             629            10   19   15   
3.79/3.80	c 1300           4462           5553045        726408         18             633            8   20   16    
3.79/3.81	c 1310           4498           5604840        732333         18             638            9   16   13    
3.79/3.83	c 1320           4519           5630425        738121         18             640            6   8   6      
3.79/3.84	c 1330           4556           5679858        743434         18             643            6   17   14    
3.79/3.86	c 1340           4597           5728031        748269         18             645            17   21   18   
3.79/3.87	c 1350           4631           5771295        752861         18             649            16   19   15   
3.79/3.88	c 1352           4654           5805408        757690         18             651            10   19   9    
3.89/3.90	c 1360           4690           5849016        762151         18             655            20   21   18   
3.89/3.91	c 1370           4727           5898365        767255         18             659            15   19   16   
3.89/3.92	c 1380           4761           5941165        771904         18             661            19   20   17   
3.89/3.94	c 1390           4799           5990867        776856         18             664            16   19   16   
3.89/3.95	c 1400           4844           6046464        781782         18             667            19   21   18   
3.89/3.97	c 1410           4868           6073902        787627         18             670            8   10   7     
3.89/3.98	c 1420           4907           6128783        793056         18             673            15   17   15   
3.89/3.99	c 1430           4929           6154368        798754         18             681            7   9   7      
4.00/4.01	c 1440           4968           6206336        803822         18             685            18   21   18   
4.00/4.02	c 1450           5000           6251343        808641         18             688            17   17   15   
4.00/4.04	c 1460           5033           6293454        814629         18             692            6   18   8     
4.00/4.05	c 1470           5053           6321097        820443         18             699            7   9   7      
4.00/4.07	c 1480           5086           6364833        825170         18             701            16   17   14   
4.00/4.08	c 1490           5119           6403299        830393         18             709            10   20   16   
4.00/4.09	c 1500           5155           6447931        835074         18             713            17   20   17   
4.10/4.11	c 1510           5198           6495875        839706         18             715            19   21   18   
4.10/4.12	c 1520           5234           6542073        844517         18             718            17   19   16   
4.10/4.14	c 1530           5272           6589207        849398         18             721            16   19   16   
4.10/4.15	c 1540           5293           6616775        855154         18             728            8   10   7     
4.10/4.16	c 1550           5325           6658829        860662         18             738            9   20   14    
4.10/4.18	c 1560           5358           6703392        867022         18             741            8   20   8     
4.19/4.20	c 1570           5398           6753737        873513         18             746            7   20   12    
4.19/4.21	c 1580           5441           6803588        878121         18             749            20   20   18   
4.19/4.22	c 1585           5463           6834904        882958         18             754            9   15   11    
4.19/4.24	c 1590           5494           6870887        887028         18             757            21   21   17   
4.19/4.25	c 1600           5535           6921400        891892         18             759            17   19   17   
4.19/4.27	c 1610           5574           6973314        897169         18             764            16   18   15   
4.19/4.28	c 1620           5616           7023720        902022         18             766            18   19   17   
4.19/4.30	c 1630           5643           7055464        908506         18             775            8   10   8     
4.29/4.31	c 1640           5686           7105931        913255         18             778            20   20   18   
4.29/4.32	c 1650           5708           7134742        919007         18             787            7   9   7      
4.29/4.34	c 1660           5748           7187991        924277         18             793            18   20   17   
4.29/4.35	c 1670           5793           7236576        928847         18             796            22   22   20   
4.29/4.37	c 1680           5829           7283927        933678         18             799            15   18   15   
4.29/4.38	c 1690           5869           7336826        938771         18             803            16   19   16   
4.29/4.39	c 1700           5909           7382575        943608         18             809            16   18   15   
4.39/4.41	c 1710           5945           7426726        948047         18             811            19   20   17   
4.39/4.42	c 1720           5981           7471645        952487         18             815            19   20   17   
4.39/4.44	c 1730           6022           7523947        957187         18             820            20   21   18   
4.39/4.45	c 1740           6063           7571398        962275         18             825            17   19   16   
4.39/4.47	c 1750           6104           7620216        966974         18             828            19   21   18   
4.39/4.48	c 1760           6137           7665708        971686         18             834            13   17   14   
4.49/4.50	c 1770           6177           7717056        976577         18             837            17   17   15   
4.49/4.51	c 1780           6216           7765181        981851         18             841            7   19   15    
4.49/4.53	c 1790           6257           7817232        986844         18             844            15   17   15   
4.49/4.54	c 1800           6296           7867068        991688         18             846            15   17   15   
4.49/4.55	c 1810           6333           7910173        996970         18             851            7   18   14    
4.49/4.57	c 1820           6362           7948006        1001378        18             859            15   18   15   
4.49/4.58	c 1830           6393           7986977        1006361        18             863            8   18   14    
4.59/4.60	c 1840           6428           8029189        1010861        18             868            16   19   16   
4.59/4.61	c 1841           6436           8044185        1014338        18             869            8   8   4      
4.59/4.62	c 1850           6471           8082828        1018726        18             875            16   20   16   
4.59/4.63	c 1860           6505           8128316        1023402        18             880            17   18   15   
4.59/4.65	c 1870           6536           8161685        1027631        18             888            16   20   16   
4.59/4.66	c 1880           6574           8207706        1032375        18             891            8   19   15    
4.59/4.68	c 1890           6608           8255139        1037259        18             896            16   18   15   
4.59/4.69	c 1900           6638           8293670        1042450        18             904            9   18   14    
4.69/4.70	c 1910           6678           8339982        1046959        18             909            19   20   18   
4.69/4.72	c 1920           6709           8381862        1051614        18             912            16   16   14   
4.69/4.73	c 1930           6743           8431535        1056592        18             914            16   18   15   
4.69/4.75	c 1940           6783           8484023        1061710        18             917            16   17   15   
4.69/4.76	c 1950           6817           8533253        1066722        18             922            16   19   16   
4.69/4.77	c 1960           6853           8577287        1071576        18             928            15   18   15   
4.69/4.79	c 1970           6875           8607821        1077683        18             936            8   9   8      
4.79/4.80	c 1980           6914           8654912        1082502        18             941            15   18   15   
4.79/4.82	c 1990           6948           8698867        1087164        18             943            17   18   15   
4.79/4.83	c 2000           6979           8740233        1092999        18             946            7   19   8     
4.79/4.84	c 2010           6998           8760726        1098048        18             954            8   10   7     
4.79/4.86	c 2020           7034           8810001        1102910        18             959            16   19   16   
4.79/4.87	c 2030           7074           8858725        1107897        18             964            14   18   15   
4.79/4.89	c 2040           7120           8909519        1112837        18             967            19   19   17   
4.89/4.90	c 2050           7156           8955189        1117722        18             969            16   18   15   
4.89/4.92	c 2060           7185           8990005        1121973        18             975            17   18   16   
4.89/4.93	c 2070           7215           9027519        1127235        18             985            7   20   14    
4.89/4.94	c 2080           7256           9072561        1131868        18             989            16   20   17   
4.89/4.96	c 2090           7277           9101782        1137958        18             997            7   8   7      
4.89/4.97	c 2100           7311           9141388        1142282        18             1003           15   20   16   
4.89/4.98	c 2110           7341           9175951        1146608        18             1013           16   21   17   
4.89/5.00	c 2120           7382           9227228        1151597        18             1016           16   18   16   
5.00/5.01	c 2122           7404           9258909        1155415        18             1018           19   21   13   
5.00/5.02	c 2130           7435           9305868        1160107        18             1021           15   17   14   
5.00/5.04	c 2140           7464           9340445        1164351        18             1027           17   18   16   
5.00/5.05	c 2150           7495           9378581        1168583        18             1030           16   18   16   
5.00/5.07	c 2160           7533           9428796        1173662        18             1033           16   18   15   
5.00/5.08	c 2170           7573           9478323        1179107        18             1037           8   19   16    
5.00/5.09	c 2180           7595           9505943        1185068        18             1045           8   10   7     
5.10/5.11	c 2190           7629           9550792        1190079        18             1049           17   17   15   
5.10/5.13	c 2200           7663           9602603        1197187        18             1054           6   17   8     
5.10/5.14	c 2210           7702           9655972        1202340        18             1057           15   18   15   
5.10/5.15	c 2220           7732           9695550        1206942        18             1064           11   17   13   
5.10/5.17	c 2230           7751           9716279        1212065        18             1072           8   10   7     
5.10/5.18	c 2240           7772           9746407        1218146        18             1080           7   8   7      
5.10/5.19	c 2250           7810           9788694        1222911        18             1082           15   18   15   
5.19/5.21	c 2260           7849           9839146        1227772        18             1087           15   19   16   
5.19/5.22	c 2270           7890           9887349        1232607        18             1089           16   19   16   
5.19/5.24	c 2280           7928           9935997        1237559        18             1093           17   18   16   
5.19/5.25	c 2290           7960           9979721        1243131        18             1098           7   19   13    
5.19/5.27	c 2300           7999           10028888       1247936        18             1100           15   17   15   
5.19/5.28	c 2310           8031           10067849       1252405        18             1104           16   20   16   
5.19/5.29	c 2320           8062           10101617       1256613        18             1109           15   18   15   
5.29/5.31	c 2330           8110           10154604       1261696        18             1113           18   19   17   
5.29/5.32	c 2340           8133           10187585       1267997        18             1120           8   10   8     
5.29/5.33	c 2350           8167           10232292       1272679        18             1127           14   20   16   
5.29/5.35	c 2360           8204           10275616       1277248        18             1129           19   20   17   
5.29/5.36	c 2370           8245           10323782       1282234        18             1135           15   18   15   
5.29/5.38	c 2380           8283           10367459       1288289        18             1143           5   18   11    
5.29/5.39	c 2390           8320           10415391       1292849        18             1145           19   20   17   
5.39/5.41	c 2400           8354           10458120       1298758        18             1149           7   21   9     
5.39/5.42	c 2410           8392           10511002       1303705        18             1152           17   18   16   
5.39/5.44	c 2420           8426           10554894       1308667        18             1156           17   17   15   
5.39/5.45	c 2430           8461           10598725       1313458        18             1159           7   19   15    
5.39/5.46	c 2431           8478           10628674       1317114        18             1160           17   17   8    
5.39/5.48	c 2440           8519           10681934       1322146        18             1163           18   20   17   
5.39/5.49	c 2450           8560           10733614       1327107        18             1169           16   20   17   
5.49/5.51	c 2460           8594           10775741       1332596        18             1175           6   21   13    
5.49/5.52	c 2470           8634           10827258       1337518        18             1178           17   17   15   
5.49/5.54	c 2480           8674           10876549       1342464        18             1182           16   18   15   
5.49/5.55	c 2490           8711           10921503       1347009        18             1186           17   18   16   
5.49/5.57	c 2500           8747           10971647       1353731        18             1190           6   18   9     
5.49/5.58	c 2510           8786           11022428       1358678        18             1192           15   17   15   
5.59/5.60	c 2520           8814           11059288       1363146        18             1195           11   17   13   
5.59/5.61	c 2530           8855           11108573       1367794        18             1197           18   19   17   
5.59/5.62	c 2540           8873           11128800       1372853        18             1205           7   9   6      
5.59/5.64	c 2550           8909           11174045       1377642        18             1209           13   16   14   
5.59/5.65	c 2560           8952           11229656       1382650        18             1211           20   21   18   
5.59/5.67	c 2570           8990           11280321       1387673        18             1215           16   17   15   
5.59/5.68	c 2580           9012           11311345       1393807        18             1223           8   9   8      
5.59/5.69	c 2590           9041           11351995       1399265        18             1232           8   17   13    
5.69/5.71	c 2600           9082           11402312       1404075        18             1236           15   19   16   
5.69/5.72	c 2610           9122           11449922       1408695        18             1239           18   20   17   
5.69/5.74	c 2620           9164           11502347       1413857        18             1242           19   21   18   
5.69/5.75	c 2630           9185           11530412       1419836        18             1249           8   10   7     
5.69/5.77	c 2640           9222           11584182       1425056        18             1253           17   19   16   
5.69/5.78	c 2650           9264           11635983       1429876        18             1256           19   19   17   
5.69/5.79	c 2660           9299           11679655       1434661        18             1260           15   17   14   
5.79/5.81	c 2670           9321           11710489       1440773        18             1268           8   9   8      
5.79/5.82	c 2680           9351           11745993       1445085        18             1275           16   21   16   
5.79/5.83	c 2690           9383           11782466       1449629        18             1282           14   17   14   
5.79/5.85	c 2700           9417           11824935       1454084        18             1288           18   21   17   
5.79/5.86	c 2710           9462           11877019       1458698        18             1291           22   22   20   
5.79/5.88	c 2720           9493           11914745       1462849        18             1295           15   20   17   
5.79/5.89	c 2730           9531           11962295       1467884        18             1297           18   20   17   
5.89/5.91	c 2740           9568           12011910       1474251        18             1303           6   20   12    
5.89/5.92	c 2750           9605           12057116       1478797        18             1306           17   18   16   
5.89/5.93	c 2760           9638           12101195       1483592        18             1311           16   18   15   
5.89/5.95	c 2770           9670           12143983       1488235        18             1316           16   18   15   
5.89/5.96	c 2771           9689           12172422       1491945        18             1317           19   19   9    
5.89/5.98	c 2780           9727           12222027       1496704        18             1321           20   21   18   
5.89/5.99	c 2790           9761           12272047       1502033        18             1328           14   17   14   
5.89/6.00	c 2800           9796           12316017       1506702        18             1332           15   17   15   
6.00/6.02	c 2810           9826           12355105       1511224        18             1337           16   20   15   
6.00/6.03	c 2820           9869           12408887       1516397        18             1339           15   18   15   
6.00/6.05	c 2830           9913           12466164       1521738        18             1343           15   19   16   
6.00/6.06	c 2840           9948           12511457       1526471        18             1346           16   18   15   
6.00/6.08	c 2850           9992           12564827       1531330        18             1348           20   21   18   
6.00/6.09	c 2860           10026          12608134       1536194        18             1352           17   17   15   
6.10/6.11	c 2870           10061          12648269       1540598        18             1356           15   19   15   
6.10/6.12	c 2880           10100          12697210       1545396        18             1358           15   17   15   
6.10/6.13	c 2890           10136          12740488       1550175        18             1363           16   19   15   
6.10/6.15	c 2900           10171          12789267       1556872        18             1368           5   18   8     
6.10/6.17	c 2910           10207          12836240       1561604        18             1371           15   17   14   
6.10/6.18	c 2920           10247          12886328       1566486        18             1374           16   18   16   
6.10/6.19	c 2930           10286          12935086       1571257        18             1376           15   17   15   
6.19/6.21	c 2940           10320          12977579       1575767        18             1380           18   18   16   
6.19/6.22	c 2950           10339          13001961       1581321        18             1388           7   9   6      
6.19/6.23	c 2960           10370          13041467       1585765        18             1394           15   20   15   
6.19/6.25	c 2970           10408          13087329       1590578        18             1396           18   19   16   
6.19/6.26	c 2980           10442          13132051       1596298        18             1399           6   20   9     
6.19/6.28	c 2990           10475          13172865       1600787        18             1402           18   18   16   
6.19/6.29	c 3000           10507          13216499       1605402        18             1407           17   19   16   
6.29/6.30	c 3010           10547          13262014       1610334        18             1409           18   19   16   
6.29/6.32	c 3020           10583          13305068       1614767        18             1411           19   20   17   
6.29/6.33	c 3030           10617          13345998       1619215        18             1413           17   19   16   
6.29/6.35	c 3040           10662          13400890       1624509        18             1418           16   19   17   
6.29/6.36	c 3050           10705          13454436       1629414        18             1422           17   19   17   
6.29/6.38	c 3060           10741          13496841       1634978        18             1425           10   19   13   
6.29/6.39	c 3070           10777          13546494       1640146        18             1431           14   16   14   
6.39/6.41	c 3080           10821          13595904       1644858        18             1433           20   20   18   
6.39/6.42	c 3090           10860          13643735       1649851        18             1437           16   20   16   
6.39/6.43	c 3100           10879          13665400       1655159        18             1445           8   10   7     
6.39/6.44	c 3110           10901          13695531       1661216        18             1453           8   9   8      
6.39/6.46	c 3120           10922          13726156       1667247        18             1461           7   8   7      
6.39/6.47	c 3130           10963          13775032       1671964        18             1466           20   21   18   
6.39/6.48	c 3140           10990          13811922       1676530        18             1472           13   15   13   
6.49/6.50	c 3142           11000          13829175       1680472        18             1474           8   8   5      
6.49/6.51	c 3150           11028          13864986       1684676        18             1479           15   18   15   
6.49/6.53	c 3160           11065          13916260       1691542        18             1484           7   20   11    
6.49/6.54	c 3170           11109          13966849       1696211        18             1487           21   21   19   
6.49/6.55	c 3180           11140          14006721       1700628        18             1492           17   19   16   
6.49/6.57	c 3190           11173          14052437       1705554        18             1495           14   16   14   
6.49/6.58	c 3200           11211          14096944       1711045        18             1499           8   18   14    
6.59/6.60	c 3210           11245          14147195       1717735        18             1504           6   17   9     
6.59/6.61	c 3220           11288          14197582       1722414        18             1507           20   20   18   
6.59/6.63	c 3230           11327          14246885       1728006        18             1511           8   18   14    
6.59/6.64	c 3240           11357          14286816       1733431        18             1520           8   18   14    
6.59/6.66	c 3250           11400          14340869       1738496        18             1524           16   21   18   
6.59/6.67	c 3260           11436          14381803       1743184        18             1526           16   18   16   
6.59/6.69	c 3270           11476          14428188       1747721        18             1529           18   20   17   
6.69/6.70	c 3280           11520          14479268       1752296        18             1532           21   21   19   
6.69/6.72	c 3290           11559          14529182       1757375        18             1539           19   22   18   
6.69/6.73	c 3300           11589          14570006       1761885        18             1541           15   19   15   
6.69/6.74	c 3310           11623          14613076       1766625        18             1543           14   18   15   
6.69/6.76	c 3320           11664          14660464       1771666        18             1548           13   17   14   
6.69/6.77	c 3330           11698          14714706       1778809        18             1553           7   17   10    
6.69/6.79	c 3340           11738          14762639       1783473        18             1557           19   20   17   
6.79/6.80	c 3350           11782          14813767       1788081        18             1560           21   21   19   
6.79/6.82	c 3360           11819          14854495       1792541        18             1564           15   20   16   
6.79/6.83	c 3370           11858          14900926       1797108        18             1567           18   19   17   
6.79/6.85	c 3380           11903          14955769       1802149        18             1571           19   20   18   
6.79/6.86	c 3390           11937          15000237       1806885        18             1576           17   18   15   
6.79/6.88	c 3400           11971          15049871       1812724        18             1583           8   19   14    
6.79/6.89	c 3410           12006          15094296       1817454        18             1585           15   17   14   
6.89/6.90	c 3420           12039          15135727       1822085        18             1589           17   19   16   
6.89/6.92	c 3430           12080          15187783       1828058        18             1595           9   20   15    
6.89/6.94	c 3440           12117          15236900       1835333        18             1598           7   18   9     
6.89/6.95	c 3450           12156          15283137       1840021        18             1600           19   21   18   
6.89/6.96	c 3460           12200          15334305       1844631        18             1603           21   21   19   
6.89/6.98	c 3470           12234          15378810       1849165        18             1608           16   20   17   
6.89/6.99	c 3480           12271          15425780       1853843        18             1612           14   19   16   
7.00/7.01	c 3490           12312          15475071       1858526        18             1614           19   20   17   
7.00/7.02	c 3500           12348          15520010       1863577        18             1621           15   20   16   
7.00/7.04	c 3510           12386          15569390       1868749        18             1623           10   20   16   
7.00/7.05	c 3520           12431          15623697       1873901        18             1626           19   20   18   
7.00/7.07	c 3530           12467          15670177       1878810        18             1629           17   18   15   
7.00/7.08	c 3540           12508          15717967       1883622        18             1633           15   19   16   
7.00/7.09	c 3550           12537          15762950       1888441        18             1646           14   17   13   
7.10/7.11	c 3551           12546          15777171       1891919        18             1647           9   9   4      
7.10/7.12	c 3560           12583          15820482       1896733        18             1651           17   19   16   
7.10/7.13	c 3570           12622          15871267       1901736        18             1653           17   19   16   
7.10/7.15	c 3580           12662          15921075       1906943        18             1658           15   19   16   
7.10/7.16	c 3590           12698          15966339       1911499        18             1661           19   21   18   
7.10/7.18	c 3600           12738          16014735       1916110        18             1663           16   18   16   
7.10/7.19	c 3610           12766          16052623       1921722        18             1672           7   16   12    
7.19/7.21	c 3620           12802          16097736       1926274        18             1674           16   18   15   
7.19/7.22	c 3630           12851          16154536       1932091        18             1679           17   19   17   
7.19/7.24	c 3640           12891          16206566       1937219        18             1682           18   21   17   
7.19/7.25	c 3650           12932          16257134       1941951        18             1685           19   21   18   
7.19/7.27	c 3660           12976          16307621       1947043        18             1687           17   19   16   
7.19/7.28	c 3670           13012          16353141       1952266        18             1690           14   17   14   
7.19/7.29	c 3680           13054          16401533       1957274        18             1694           15   19   16   
7.29/7.31	c 3690           13099          16456877       1962599        18             1696           17   19   17   
7.29/7.32	c 3700           13120          16484575       1968525        18             1704           7   9   7      
7.29/7.34	c 3710           13151          16527833       1973146        18             1707           16   16   14   
7.29/7.35	c 3720           13184          16568846       1977598        18             1712           15   18   15   
7.29/7.36	c 3730           13214          16614754       1983047        18             1721           13   18   14   
7.29/7.38	c 3740           13246          16654517       1987531        18             1728           15   18   15   
7.29/7.39	c 3750           13274          16685933       1991778        18             1736           14   19   15   
7.39/7.41	c 3760           13308          16730175       1996625        18             1740           16   18   15   
7.39/7.42	c 3770           13337          16763594       2001105        18             1747           15   18   15   
7.39/7.43	c 3780           13357          16789765       2006604        18             1748           6   8   6      
7.39/7.44	c 3790           13400          16835870       2011274        18             1750           17   18   16   
7.39/7.46	c 3800           13437          16877571       2015765        18             1754           6   19   14    
7.39/7.47	c 3810           13472          16920793       2020307        18             1759           17   19   17   
7.39/7.49	c 3820           13505          16962104       2024887        18             1761           17   18   15   
7.49/7.50	c 3830           13548          17008458       2029463        18             1767           19   19   17   
7.49/7.51	c 3840           13581          17053867       2034877        18             1771           13   17   14   
7.49/7.53	c 3850           13622          17105569       2039926        18             1775           19   20   17   
7.49/7.54	c 3860           13661          17153132       2044715        18             1778           17   19   16   
7.49/7.56	c 3870           13692          17196994       2050233        18             1783           16   17   14   
7.49/7.57	c 3880           13736          17244065       2054901        18             1787           17   19   17   
7.49/7.59	c 3890           13774          17292867       2059753        18             1792           19   20   17   
7.59/7.60	c 3900           13793          17313796       2064854        18             1800           8   10   7     
7.59/7.61	c 3910           13836          17366520       2070111        18             1804           18   19   17   
7.59/7.63	c 3920           13875          17413034       2074573        18             1808           19   20   18   
7.59/7.64	c 3930           13908          17450654       2078977        18             1810           14   20   16   
7.59/7.65	c 3940           13952          17506194       2084522        18             1815           17   20   17   
7.59/7.67	c 3950           13989          17553152       2089337        18             1819           16   17   15   
7.59/7.68	c 3960           14020          17591702       2094557        18             1827           7   19   13    
7.69/7.70	c 3970           14056          17632407       2099237        18             1832           15   20   16   
7.69/7.71	c 3980           14077          17660246       2105105        18             1840           7   9   7      
7.69/7.72	c 3990           14104          17695266       2109383        18             1846           15   17   14   
7.69/7.74	c 4000           14138          17735672       2113804        18             1849           16   18   15   
7.69/7.75	c 4001           14145          17747980       2117219        18             1850           7   7   3      
7.69/7.76	c 4010           14179          17795527       2122170        18             1854           14   19   15   
7.69/7.78	c 4020           14220          17845851       2127108        18             1855           18   20   17   
7.69/7.79	c 4030           14254          17888473       2131896        18             1857           17   19   15   
7.79/7.80	c 4040           14289          17937060       2137678        18             1864           9   19   15    
7.79/7.82	c 4050           14332          17985945       2142484        18             1868           17   19   17   
7.79/7.83	c 4060           14370          18034680       2147139        18             1871           19   20   17   
7.79/7.85	c 4070           14401          18073366       2151560        18             1874           17   18   15   
7.79/7.86	c 4080           14434          18114611       2156191        18             1876           17   19   16   
7.79/7.87	c 4090           14462          18150356       2160617        18             1883           12   18   13   
7.79/7.89	c 4100           14493          18191872       2165644        18             1888           16   17   15   
7.89/7.90	c 4110           14532          18239719       2170456        18             1891           17   19   16   
7.89/7.91	c 4120           14568          18284839       2175303        18             1894           15   19   16   
7.89/7.93	c 4130           14609          18332247       2179871        18             1899           20   21   18   
7.89/7.94	c 4140           14637          18368238       2184153        18             1901           15   18   15   
7.89/7.96	c 4150           14676          18411296       2188760        18             1906           13   19   15   
7.89/7.97	c 4160           14697          18439613       2194826        18             1913           8   10   7     
7.89/7.98	c 4170           14732          18487098       2200310        18             1920           15   20   16   
7.89/8.00	c 4180           14773          18543270       2205793        18             1923           17   20   17   
8.00/8.01	c 4190           14813          18592798       2210577        18             1926           17   21   18   
8.00/8.03	c 4200           14847          18635040       2215493        18             1934           15   18   15   
8.00/8.04	c 4210           14887          18688526       2221187        18             1938           15   19   16   
8.00/8.06	c 4220           14918          18727670       2225412        18             1941           16   18   16   
8.00/8.07	c 4230           14956          18774564       2230311        18             1944           17   21   17   
8.00/8.08	c 4240           14994          18822398       2235203        18             1948           17   18   16   
8.00/8.10	c 4250           15013          18846223       2240759        18             1956           7   9   6      
8.10/8.11	c 4260           15051          18895938       2245629        18             1960           16   18   15   
8.10/8.13	c 4270           15085          18942660       2250412        18             1962           16   17   14   
8.10/8.14	c 4280           15126          18989279       2255046        18             1964           16   20   17   
8.10/8.16	c 4290           15167          19038611       2260075        18             1968           15   17   15   
8.10/8.17	c 4300           15213          19086120       2264872        18             1971           19   19   17   
8.10/8.18	c 4310           15245          19125523       2269278        18             1974           15   18   15   
8.19/8.20	c 4320           15283          19173785       2273942        18             1978           19   20   17   
8.19/8.21	c 4330           15321          19221131       2279081        18             1986           16   19   15   
8.19/8.23	c 4340           15363          19271822       2284094        18             1990           17   19   16   
8.19/8.24	c 4350           15385          19299620       2290019        18             1998           8   10   7     
8.19/8.25	c 4360           15416          19338583       2294614        18             2000           14   19   15   
8.19/8.27	c 4370           15446          19378478       2299060        18             2003           16   17   15   
8.19/8.28	c 4380           15489          19431396       2303969        18             2007           17   19   16   
8.19/8.29	c 4390           15526          19477025       2308627        18             2012           18   19   16   
8.29/8.31	c 4400           15568          19527277       2313766        18             2016           15   17   15   
8.29/8.32	c 4410           15610          19574472       2318282        18             2020           21   21   19   
8.29/8.34	c 4420           15644          19617971       2323085        18             2025           16   19   16   
8.29/8.35	c 4430           15682          19666131       2327688        18             2027           20   21   18   
8.29/8.37	c 4440           15723          19714701       2332286        18             2030           20   21   18   
8.29/8.38	c 4450           15764          19763683       2336870        18             2035           20   21   18   
8.39/8.40	c 4460           15806          19816265       2341955        18             2038           17   17   15   
8.39/8.41	c 4470           15849          19863894       2346609        18             2040           19   19   17   
8.39/8.43	c 4480           15883          19910496       2351621        18             2045           14   19   15   
8.39/8.44	c 4490           15927          19958065       2356137        18             2047           20   20   18   
8.39/8.45	c 4493           15949          19990255       2359999        18             2048           18   18   13   
8.39/8.47	c 4500           15975          20024558       2364140        18             2055           16   20   15   
8.39/8.48	c 4510           16017          20073205       2369347        18             2059           15   17   15   
8.39/8.49	c 4520           16052          20110920       2373749        18             2066           16   20   17   
8.49/8.51	c 4530           16100          20159948       2379135        18             2073           15   17   15   
8.49/8.52	c 4540           16142          20206555       2383809        18             2076           19   20   17   
8.49/8.54	c 4550           16179          20252349       2388354        18             2078           19   20   17   
8.49/8.55	c 4560           16216          20300455       2394100        18             2086           8   18   14    
8.49/8.57	c 4570           16256          20354534       2399855        18             2092           7   19   15    
8.49/8.58	c 4580           16293          20396394       2404275        18             2094           15   20   17   
8.49/8.59	c 4590           16327          20437914       2408952        18             2097           15   20   16   
8.59/8.61	c 4600           16358          20480589       2413577        18             2098           18   21   17   
8.59/8.62	c 4610           16393          20530901       2418692        18             2102           14   17   14   
8.59/8.64	c 4620           16433          20574800       2423266        18             2104           15   20   17   
8.59/8.65	c 4630           16467          20614898       2428012        18             2106           15   20   17   
8.59/8.66	c 4640           16497          20648783       2432329        18             2111           14   19   15   
8.59/8.68	c 4650           16543          20707844       2437961        18             2115           18   21   18   
8.59/8.69	c 4660           16581          20751482       2442468        18             2120           15   20   17   
8.69/8.71	c 4670           16610          20788437       2446816        18             2124           15   18   15   
8.69/8.72	c 4680           16651          20839396       2451812        18             2129           16   19   16   
8.69/8.74	c 4690           16691          20888651       2456510        18             2134           19   20   18   
8.69/8.75	c 4700           16726          20934225       2461199        18             2138           17   18   15   
8.69/8.76	c 4710           16763          20976866       2466190        18             2140           15   19   15   
8.69/8.78	c 4720           16801          21023831       2471470        18             2145           8   19   15    
8.69/8.79	c 4730           16837          21070811       2478414        18             2150           7   17   9     
8.79/8.81	c 4740           16876          21117352       2483117        18             2155           17   21   17   
8.79/8.82	c 4750           16915          21168956       2488352        18             2160           16   18   15   
8.79/8.84	c 4760           16949          21212257       2493058        18             2162           17   17   15   
8.79/8.85	c 4770           16990          21265414       2498048        18             2166           19   20   17   
8.79/8.87	c 4780           17024          21308300       2502863        18             2172           14   19   15   
8.79/8.88	c 4790           17061          21356723       2507594        18             2175           18   19   16   
8.89/8.90	c 4800           17097          21404118       2514787        18             2178           6   17   8     
8.89/8.91	c 4810           17127          21441320       2519049        18             2182           17   21   17   
8.89/8.93	c 4820           17163          21488350       2523824        18             2185           17   18   15   
8.89/8.94	c 4830           17206          21542258       2528531        18             2188           18   20   18   
8.89/8.95	c 4840           17240          21587010       2533146        18             2192           17   19   15   
8.89/8.97	c 4850           17278          21643279       2538465        18             2196           16   19   16   
8.89/8.98	c 4860           17322          21696840       2543530        18             2199           18   18   16   
8.89/9.00	c 4870           17363          21746804       2548028        18             2203           20   20   18   
9.00/9.01	c 4880           17397          21788686       2554441        18             2208           6   17   9     
9.00/9.03	c 4890           17431          21828629       2558999        18             2213           16   19   16   
9.00/9.04	c 4900           17474          21878129       2563724        18             2218           18   23   20   
9.00/9.06	c 4910           17520          21935104       2569092        18             2222           17   21   17   
9.00/9.07	c 4920           17552          21971607       2573367        18             2226           16   19   16   
9.00/9.09	c 4930           17595          22026754       2578619        18             2233           16   21   17   
9.00/9.10	c 4940           17629          22070006       2583334        18             2236           17   18   15   
9.10/9.11	c 4950           17647          22091043       2588707        18             2244           7   9   6      
9.10/9.12	c 4960           17668          22116653       2594309        18             2252           8   10   7     
9.10/9.14	c 4970           17704          22157029       2598868        18             2256           16   19   16   
9.10/9.15	c 4980           17735          22195175       2603686        18             2260           14   19   14   
9.10/9.16	c 4990           17776          22243027       2608302        18             2265           20   21   18   
9.10/9.19	c 5035           17891          22363084       2618777        18             2277           14   19   16   
9.29/9.36	c 5631           19471          23904440       2718461        18             2294           15   21   19   
9.49/9.52	c 6286           21146          25449561       2818289        18             2321           8   20   17    
9.59/9.67	c 7006           22743          26786338       2913862        18             2335           6   20   15    
9.79/9.86	c 7798           24718          28623150       3040396        18             2359           7   22   19    
10.00/10.05	c 8669           26719          30263042       3151970        18             2376           7   21   18    
10.19/10.29	c 9627           29144          32425496       3300281        18             2392           7   21   17    
10.49/10.50	c 10680          31302          34335506       3459661        18             2418           8   21   18    
10.69/10.75	c 11838          34233          36665114       3612935        18             2429           6   20   17    
11.00/11.05	c 13111          37133          39327632       3807939        18             2449           7   20   17    
11.29/11.39	c 14511          40650          42317507       4006817        18             2461           6   20   17    
11.59/11.68	c 16051          43882          45073239       4204998        18             2480           9   20   17    
11.89/12.00	c 17745          47692          48094552       4408728        18             2494           8   22   19    
12.39/12.44	c 19608          52275          52112349       4684296        18             2518           6   20   17    
13.10/13.18	c 21657          57840          58235242       5132715        18             2524           11   17   15   
13.59/13.69	c 23910          63178          62865176       5445595        18             2539           6   21   17    
14.10/14.19	c 26388          68951          67630697       5772841        18             2563           7   19   17    
14.89/14.92	c 29113          76151          74177034       6190325        18             2572           9   20   18    
15.39/15.49	c 32110          82648          79992170       6605036        18             2591           7   20   17    
16.19/16.28	c 35406          91308          87688712       7063540        18             2599           16   23   20   
17.10/17.18	c 39031          100991         95870321       7585181        18             2614           12   20   17   
17.79/17.89	c 43018          109735         102619896      8024766        18             2628           7   21   17    
19.19/19.24	c 47403          121263         114484469      8796155        18             2647           11   19   16   
20.19/20.29	c 52226          132558         124790856      9488556        18             2661           12   21   17   
20.89/20.97	c 57531          145536         133572569      10012347       18             2682           7   35   28    
22.29/22.34	c 63366          160852         146065040      10850258       18             2697           15   23   20   
23.39/23.49	c 69784          174472         157830536      11669448       18             2714           11   24   20   
25.00/25.04	c 76843          191722         172870126      12631484       18             2726           14   21   18   
26.49/26.59	c 84607          209572         187892729      13666873       18             2743           10   24   21   
28.39/28.42	c 93147          229021         204490444      14844777       18             2755           10   22   17   
30.10/30.11	c 102541         248665         220554840      16078190       18             2780           7   22   18    
32.89/32.91	c 112874         276865         245461319      17703377       18             2789           8   20   17    
35.00/35.04	c 124240         301270         266754060      19193821       18             2811           9   22   18    
37.10/37.19	c 136742         326899         287239837      20861069       18             2832           12   22   18   
41.00/41.04	c 150494         362249         321223964      23131648       18             2858           10   21   16   
44.50/44.57	c 165621         399485         355018369      25333324       18             2883           9   22   18    
48.50/48.50	c 182260         443324         392567364      27699986       18             2894           13   23   19   
52.80/52.85	c 200562         488297         433425239      30540047       18             2907           8   22   18    
58.30/58.36	c 220694         538810         482431775      33903611       18             2933           9   18   15    
62.40/62.49	c 242839         587507         521776726      36776359       18             2944           11   21   17   
68.60/68.65	c 267198         653062         579606978      40421979       18             2949           14   23   19   
74.60/74.68	c 293992         720093         639317731      44255129       18             2972           12   22   18   
79.70/79.74	c 323465         780088         687534626      47967130       18             2983           11   21   16   
88.90/88.99	c 355885         865342         768506689      53487561       18             2992           9   20   16    
99.30/99.37	c 391547         958302         859387509      59650244       18             3011           10   19   15   
107.20/107.24	c 430775         1109561        952658916      65123756       18             3036           7   49   26    
116.80/116.83	c 473925         1228098        1044461657     71217636       18             3058           9   22   18    
130.30/130.32	c 521390         1363520        1163162405     78485960       18             3078           13   23   19   
138.90/139.00	c 573601         1472230        1247286610     85160325       18             3099           7   22   17    
151.60/151.62	c 631033         1609881        1367846657     93977462       18             3117           9   22   17    
168.20/168.25	c 694208         1775435        1516189410     103948658      18             3132           8   22   18    
182.80/182.85	c 763700         1936949        1656696855     113687381      18             3153           8   22   17    
199.50/199.55	c 840141         2119955        1817574995     124849220      18             3172           5   21   17    
217.30/217.33	c 924226         2316966        1990859045     136992547      18             3184           7   22   17    
236.01/236.02	c 1016719        2545387        2180593195     148635770      18             3204           7   23   18    
259.61/259.62	c 1118461        2789488        2400109958     163792269      18             3226           8   23   18    
285.71/285.70	c 1230377        3057570        2636770361     180043344      18             3255           9   22   18    
319.91/319.91	c 1353484        3379986        2943197531     200688715      18             3267           8   20   16    
357.21/357.20	c 1488901        3739413        3281302775     222464711      18             3291           10   20   17   
383.51/383.55	c 1637859        4051869        3537240063     242660732      18             3322           7   22   17    
426.42/426.46	c 1801712        4493453        3928288341     268358840      18             3344           9   21   17    
465.22/465.21	c 1981950        4922030        4297732775     294199905      18             3380           7   21   17    
501.13/501.20	c 2180211        5382931        4660923005     318334308      18             3404           7   21   17    
541.42/541.42	c 2398298        5854489        5034646970     344308275      18             3459           7   22   17    
595.53/595.53	c 2638193        6451789        5547464157     378379794      18             3490           7   22   17    
652.23/652.25	c 2902077        7105171        6116674268     417027115      18             3514           6   23   18    
720.33/720.30	c 3192349        7856557        6766609782     459107513      18             3542           6   22   18    
792.15/792.13	c 3511648        8659937        7471956173     505335591      18             3564           7   23   19    
910.05/910.09	c 3862876        9619187        8470115915     579302939      18             3597           6   22   14    
1003.06/1003.08	c 4249226        10582232       9312261562     638005428      18             3620           6   23   17    
1091.25/1091.22	c 4674211        11624601       10173777419    695040869      18             3646           6   22   17    
1199.76/1199.77	c 5141694        12716810       11129286755    763792992      18             3673           6   19   14    
1312.27/1312.27	c 5655925        13967561       12178471704    832635700      18             3702           7   21   17    
1410.57/1410.50	c 6221579        15207156       13089427687    897012288      18             3742           6   21   16    
1519.38/1519.31	c 6843798        16545972       14104502197    968458120      18             3771           6   23   17    
1671.99/1671.98	c 7528238        18253087       15546203542    1059344601     18             3801           5   25   19    
1793.39/1793.36	c 8281122        20255274       17080042632    1151293975     18             3842           17   45   26   
1995.41/1995.33	c 9109294        22390977       18890205209    1277634027     18             3879           8   26   19    
2156.02/2155.92	c 10020283       24411775       20504279000    1395118644     18             3916           10   30   23   
2416.04/2416.00	c 11022370       27147826       22894888967    1552692113     18             3938           10   27   20   
2520.04/2519.90	
2520.04/2519.90	c *** INTERRUPTED ***
2520.04/2519.90	c restarts              : 597         
2520.04/2519.90	c conflicts             : 11508809     (4567 /sec)
2520.04/2519.90	c decisions             : 28365067     (11256 /sec)
2520.04/2519.90	c propagations          : 1618793629  (642372 /sec)
2520.04/2519.90	c root propagations     : 108         
2520.04/2519.90	c filter calls          : 23889011497    (9479672 /sec)
2520.04/2519.90	c useless filter calls  : 22914053848    (95 %)
2520.04/2519.90	c
2520.04/2519.90	c clauses               : 133072
2520.04/2519.90	c SAT propagations      : 1660
2520.04/2519.90	c SAT conflicts         : 0 (0 learnts)
2520.04/2519.90	c Memory used           : 37.04 MB
2520.04/2519.90	c CPU time              : 2520.02 s
2520.04/2519.90	
2520.04/2519.90	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (12082 MiB free)
  memory of node 1: 16384 MiB (15026 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266286-1502578910/watcher-4266286-1502578910 -o /tmp/evaluation-result-4266286-1502578910/solver-4266286-1502578910 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1502567255-24592 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266286-1502578910.xml 

running on 4 cores: 1,3,5,7

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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=26169, runsolver pid=26166

[startup+0.100156 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 26170
/proc/meminfo: memFree=27759244/32770624 swapFree=67108860/67108860
[pid=26169] ppid=26166 vsize=27264 memory=3564 CPUtime=0.1 cores=1,3,5,7
/proc/26169/stat : 26169 (cosoco) R 26166 26169 24508 0 -1 4202496 1061 0 0 0 10 0 0 0 20 0 1 0 90978959 27918336 891 33554432000 4194304 5972588 140730991274256 140730991270904 140261640784992 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 21495808 140730991277242 140730991277342 140730991277342 140730991280078 0
/proc/26169/statm: 6816 891 750 435 0 179 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27264 KiB
Current children cumulated memory: 3564 KiB

[startup+0.20945 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 26170
/proc/meminfo: memFree=27759244/32770624 swapFree=67108860/67108860
[pid=26169] ppid=26166 vsize=27264 memory=3564 CPUtime=0.21 cores=1,3,5,7
/proc/26169/stat : 26169 (cosoco) R 26166 26169 24508 0 -1 4202496 1082 0 0 0 21 0 0 0 20 0 1 0 90978959 27918336 891 33554432000 4194304 5972588 140730991274256 140730991270904 140261640784992 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 21495808 140730991277242 140730991277342 140730991277342 140730991280078 0
/proc/26169/statm: 6816 891 750 435 0 179 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27264 KiB
Current children cumulated memory: 3564 KiB

[startup+0.308931 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 26170
/proc/meminfo: memFree=27759244/32770624 swapFree=67108860/67108860
[pid=26169] ppid=26166 vsize=27388 memory=3688 CPUtime=0.31 cores=1,3,5,7
/proc/26169/stat : 26169 (cosoco) R 26166 26169 24508 0 -1 4202496 1101 0 0 0 31 0 0 0 20 0 1 0 90978959 28045312 922 33554432000 4194304 5972588 140730991274256 140730991270904 140261640339256 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 21495808 140730991277242 140730991277342 140730991277342 140730991280078 0
/proc/26169/statm: 6847 922 750 435 0 210 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27388 KiB
Current children cumulated memory: 3688 KiB

[startup+0.700264 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26170
/proc/meminfo: memFree=27759244/32770624 swapFree=67108860/67108860
[pid=26169] ppid=26166 vsize=27648 memory=3944 CPUtime=0.69 cores=1,3,5,7
/proc/26169/stat : 26169 (cosoco) R 26166 26169 24508 0 -1 4202496 1171 0 0 0 69 0 0 0 20 0 1 0 90978959 28311552 986 33554432000 4194304 5972588 140730991274256 140730991270904 5165328 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 21495808 140730991277242 140730991277342 140730991277342 140730991280078 0
/proc/26169/statm: 6912 986 750 435 0 275 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27648 KiB
Current children cumulated memory: 3944 KiB

[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26170
/proc/meminfo: memFree=27758584/32770624 swapFree=67108860/67108860
[pid=26169] ppid=26166 vsize=28276 memory=4572 CPUtime=1.49 cores=1,3,5,7
/proc/26169/stat : 26169 (cosoco) R 26166 26169 24508 0 -1 4202496 1316 0 0 0 149 0 0 0 20 0 1 0 90978959 28954624 1143 33554432000 4194304 5972588 140730991274256 140730991257976 140261640784992 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 21495808 140730991277242 140730991277342 140730991277342 140730991280078 0
/proc/26169/statm: 7069 1143 750 435 0 432 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 28276 KiB
Current children cumulated memory: 4572 KiB

[startup+3.10911 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26170
/proc/meminfo: memFree=27749852/32770624 swapFree=67108860/67108860
[pid=26169] ppid=26166 vsize=37668 memory=13000 CPUtime=3.1 cores=1,3,5,7
/proc/26169/stat : 26169 (cosoco) R 26166 26169 24508 0 -1 4202496 3874 0 0 0 310 0 0 0 20 0 1 0 90978959 38572032 3250 33554432000 4194304 5972588 140730991274256 140730991271560 5071995 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 21495808 140730991277242 140730991277342 140730991277342 140730991280078 0
/proc/26169/statm: 9417 3250 836 435 0 2780 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 37668 KiB
Current children cumulated memory: 13000 KiB

[startup+6.30026 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26170
/proc/meminfo: memFree=27750096/32770624 swapFree=67108860/67108860
[pid=26169] ppid=26166 vsize=37796 memory=13028 CPUtime=6.29 cores=1,3,5,7
/proc/26169/stat : 26169 (cosoco) R 26166 26169 24508 0 -1 4202496 5463 0 0 0 629 0 0 0 20 0 1 0 90978959 38703104 3257 33554432000 4194304 5972588 140730991274256 140730991271560 5071792 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 21495808 140730991277242 140730991277342 140730991277342 140730991280078 0
/proc/26169/statm: 9449 3257 836 435 0 2812 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 37796 KiB
Current children cumulated memory: 13028 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26170
/proc/meminfo: memFree=27749792/32770624 swapFree=67108860/67108860
[pid=26169] ppid=26166 vsize=37796 memory=13076 CPUtime=12.69 cores=1,3,5,7
/proc/26169/stat : 26169 (cosoco) R 26166 26169 24508 0 -1 4202496 6839 0 0 0 1269 0 0 0 20 0 1 0 90978959 38703104 3269 33554432000 4194304 5972588 140730991274256 140730991271560 4968825 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 21495808 140730991277242 140730991277342 140730991277342 140730991280078 0
/proc/26169/statm: 9449 3269 836 435 0 2812 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 37796 KiB
Current children cumulated memory: 13076 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26170
/proc/meminfo: memFree=27749952/32770624 swapFree=67108860/67108860
[pid=26169] ppid=26166 vsize=37796 memory=13100 CPUtime=25.49 cores=1,3,5,7
/proc/26169/stat : 26169 (cosoco) R 26166 26169 24508 0 -1 4202496 9224 0 0 0 2549 0 0 0 20 0 1 0 90978959 38703104 3275 33554432000 4194304 5972588 140730991274256 140730991271560 5070704 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 21495808 140730991277242 140730991277342 140730991277342 140730991280078 0
/proc/26169/statm: 9449 3275 836 435 0 2812 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 37796 KiB
Current children cumulated memory: 13100 KiB

[startup+51.109 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26170
/proc/meminfo: memFree=27750796/32770624 swapFree=67108860/67108860
[pid=26169] ppid=26166 vsize=37796 memory=13108 CPUtime=51.1 cores=1,3,5,7
/proc/26169/stat : 26169 (cosoco) R 26166 26169 24508 0 -1 4202496 10463 0 0 0 5109 1 0 0 20 0 1 0 90978959 38703104 3277 33554432000 4194304 5972588 140730991274256 140730991271560 4965365 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 21495808 140730991277242 140730991277342 140730991277342 140730991280078 0
/proc/26169/statm: 9449 3277 836 435 0 2812 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 37796 KiB
Current children cumulated memory: 13108 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26171
/proc/meminfo: memFree=27747484/32770624 swapFree=67108860/67108860
[pid=26169] ppid=26166 vsize=37796 memory=13116 CPUtime=102.3 cores=1,3,5,7
/proc/26169/stat : 26169 (cosoco) R 26166 26169 24508 0 -1 4202496 11814 0 0 0 10229 1 0 0 20 0 1 0 90978959 38703104 3279 33554432000 4194304 5972588 140730991274256 140730991271560 4908856 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 21495808 140730991277242 140730991277342 140730991277342 140730991280078 0
/proc/26169/statm: 9449 3279 836 435 0 2812 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 37796 KiB
Current children cumulated memory: 13116 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 26181
/proc/meminfo: memFree=27746116/32770624 swapFree=67108860/67108860
[pid=26169] ppid=26166 vsize=37796 memory=13124 CPUtime=162.3 cores=1,3,5,7
/proc/26169/stat : 26169 (cosoco) R 26166 26169 24508 0 -1 4202496 13017 0 0 0 16229 1 0 0 20 0 1 0 90978959 38703104 3281 33554432000 4194304 5972588 140730991274256 140730991271560 5070896 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 21495808 140730991277242 140730991277342 140730991277342 140730991280078 0
/proc/26169/statm: 9449 3281 836 435 0 2812 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 37796 KiB
Current children cumulated memory: 13124 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 26182
/proc/meminfo: memFree=27746436/32770624 swapFree=67108860/67108860
[pid=26169] ppid=26166 vsize=37796 memory=13132 CPUtime=222.3 cores=1,3,5,7
/proc/26169/stat : 26169 (cosoco) R 26166 26169 24508 0 -1 4202496 14149 0 0 0 22229 1 0 0 20 0 1 0 90978959 38703104 3283 33554432000 4194304 5972588 140730991274256 140730991271560 5070912 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 21495808 140730991277242 140730991277342 140730991277342 140730991280078 0
/proc/26169/statm: 9449 3283 836 435 0 2812 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 37796 KiB
Current children cumulated memory: 13132 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 26183
/proc/meminfo: memFree=27746688/32770624 swapFree=67108860/67108860
[pid=26169] ppid=26166 vsize=37796 memory=13132 CPUtime=282.31 cores=1,3,5,7
/proc/26169/stat : 26169 (cosoco) R 26166 26169 24508 0 -1 4202496 14179 0 0 0 28230 1 0 0 20 0 1 0 90978959 38703104 3283 33554432000 4194304 5972588 140730991274256 140730991271560 5328649 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 21495808 140730991277242 140730991277342 140730991277342 140730991280078 0
/proc/26169/statm: 9449 3283 836 435 0 2812 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 37796 KiB
Current children cumulated memory: 13132 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 26184
/proc/meminfo: memFree=27744972/32770624 swapFree=67108860/67108860
[pid=26169] ppid=26166 vsize=37796 memory=13132 CPUtime=342.31 cores=1,3,5,7
/proc/26169/stat : 26169 (cosoco) R 26166 26169 24508 0 -1 4202496 15274 0 0 0 34230 1 0 0 20 0 1 0 90978959 38703104 3283 33554432000 4194304 5972588 140730991274256 140730991271560 5070688 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 21495808 140730991277242 140730991277342 140730991277342 140730991280078 0
/proc/26169/statm: 9449 3283 836 435 0 2812 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 37796 KiB
Current children cumulated memory: 13132 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 26185
/proc/meminfo: memFree=27745664/32770624 swapFree=67108860/67108860
[pid=26169] ppid=26166 vsize=37796 memory=13132 CPUtime=402.31 cores=1,3,5,7
/proc/26169/stat : 26169 (cosoco) R 26166 26169 24508 0 -1 4202496 15291 0 0 0 40230 1 0 0 20 0 1 0 90978959 38703104 3283 33554432000 4194304 5972588 140730991274256 140730991271560 5328649 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 21495808 140730991277242 140730991277342 140730991277342 140730991280078 0
/proc/26169/statm: 9449 3283 836 435 0 2812 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 37796 KiB
Current children cumulated memory: 13132 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26187
/proc/meminfo: memFree=27745452/32770624 swapFree=67108860/67108860
[pid=26169] ppid=26166 vsize=37796 memory=13132 CPUtime=462.32 cores=1,3,5,7
/proc/26169/stat : 26169 (cosoco) R 26166 26169 24508 0 -1 4202496 16099 0 0 0 46231 1 0 0 20 0 1 0 90978959 38703104 3283 33554432000 4194304 5972588 140730991274256 140730991271560 4965342 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 21495808 140730991277242 140730991277342 140730991277342 140730991280078 0
/proc/26169/statm: 9449 3283 836 435 0 2812 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 37796 KiB
Current children cumulated memory: 13132 KiB


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

/proc/26169/statm: 9482 3290 836 435 0 2845 0
Current children cumulated CPU time: 1782.39 s
Current children cumulated vsize: 37928 KiB
Current children cumulated memory: 13160 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26260
/proc/meminfo: memFree=27735152/32770624 swapFree=67108860/67108860
[pid=26169] ppid=26166 vsize=37928 memory=13160 CPUtime=1842.4 cores=1,3,5,7
/proc/26169/stat : 26169 (cosoco) R 26166 26169 24508 0 -1 4202496 26348 0 0 0 184239 1 0 0 20 0 1 0 90978959 38838272 3290 33554432000 4194304 5972588 140730991274256 140730991271560 5328655 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 21495808 140730991277242 140730991277342 140730991277342 140730991280078 0
/proc/26169/statm: 9482 3290 836 435 0 2845 0
Current children cumulated CPU time: 1842.4 s
Current children cumulated vsize: 37928 KiB
Current children cumulated memory: 13160 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26261
/proc/meminfo: memFree=27734888/32770624 swapFree=67108860/67108860
[pid=26169] ppid=26166 vsize=37928 memory=13160 CPUtime=1902.4 cores=1,3,5,7
/proc/26169/stat : 26169 (cosoco) R 26166 26169 24508 0 -1 4202496 26368 0 0 0 190239 1 0 0 20 0 1 0 90978959 38838272 3290 33554432000 4194304 5972588 140730991274256 140730991271560 5320643 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 21495808 140730991277242 140730991277342 140730991277342 140730991280078 0
/proc/26169/statm: 9482 3290 836 435 0 2845 0
Current children cumulated CPU time: 1902.4 s
Current children cumulated vsize: 37928 KiB
Current children cumulated memory: 13160 KiB

[startup+1962.3 s]
/proc/loadavg: 2.45 2.15 2.09 3/188 26270
/proc/meminfo: memFree=27733844/32770624 swapFree=67108860/67108860
[pid=26169] ppid=26166 vsize=37928 memory=13160 CPUtime=1962.41 cores=1,3,5,7
/proc/26169/stat : 26169 (cosoco) R 26166 26169 24508 0 -1 4202496 27120 0 0 0 196239 2 0 0 20 0 1 0 90978959 38838272 3290 33554432000 4194304 5972588 140730991274256 140730991271560 5328544 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 21495808 140730991277242 140730991277342 140730991277342 140730991280078 0
/proc/26169/statm: 9482 3290 836 435 0 2845 0
Current children cumulated CPU time: 1962.41 s
Current children cumulated vsize: 37928 KiB
Current children cumulated memory: 13160 KiB

[startup+2022.3 s]
/proc/loadavg: 2.16 2.12 2.08 3/188 26271
/proc/meminfo: memFree=27734820/32770624 swapFree=67108860/67108860
[pid=26169] ppid=26166 vsize=37928 memory=13160 CPUtime=2022.42 cores=1,3,5,7
/proc/26169/stat : 26169 (cosoco) R 26166 26169 24508 0 -1 4202496 27257 0 0 0 202240 2 0 0 20 0 1 0 90978959 38838272 3290 33554432000 4194304 5972588 140730991274256 140730991271560 5070984 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 21495808 140730991277242 140730991277342 140730991277342 140730991280078 0
/proc/26169/statm: 9482 3290 836 435 0 2845 0
Current children cumulated CPU time: 2022.42 s
Current children cumulated vsize: 37928 KiB
Current children cumulated memory: 13160 KiB

[startup+2082.3 s]
/proc/loadavg: 2.01 2.08 2.07 3/188 26333
/proc/meminfo: memFree=28731816/32770624 swapFree=67108860/67108860
[pid=26169] ppid=26166 vsize=37928 memory=13160 CPUtime=2082.42 cores=1,3,5,7
/proc/26169/stat : 26169 (cosoco) R 26166 26169 24508 0 -1 4202496 28025 0 0 0 208240 2 0 0 20 0 1 0 90978959 38838272 3290 33554432000 4194304 5972588 140730991274256 140730991271560 5071008 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 21495808 140730991277242 140730991277342 140730991277342 140730991280078 0
/proc/26169/statm: 9482 3290 836 435 0 2845 0
Current children cumulated CPU time: 2082.42 s
Current children cumulated vsize: 37928 KiB
Current children cumulated memory: 13160 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.07 2.07 3/188 26334
/proc/meminfo: memFree=28731788/32770624 swapFree=67108860/67108860
[pid=26169] ppid=26166 vsize=37928 memory=13160 CPUtime=2142.42 cores=1,3,5,7
/proc/26169/stat : 26169 (cosoco) R 26166 26169 24508 0 -1 4202496 28032 0 0 0 214240 2 0 0 20 0 1 0 90978959 38838272 3290 33554432000 4194304 5972588 140730991274256 140730991271560 4908843 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 21495808 140730991277242 140730991277342 140730991277342 140730991280078 0
/proc/26169/statm: 9482 3290 836 435 0 2845 0
Current children cumulated CPU time: 2142.42 s
Current children cumulated vsize: 37928 KiB
Current children cumulated memory: 13160 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/188 26335
/proc/meminfo: memFree=28731136/32770624 swapFree=67108860/67108860
[pid=26169] ppid=26166 vsize=37928 memory=13164 CPUtime=2202.42 cores=1,3,5,7
/proc/26169/stat : 26169 (cosoco) R 26166 26169 24508 0 -1 4202496 28884 0 0 0 220240 2 0 0 20 0 1 0 90978959 38838272 3291 33554432000 4194304 5972588 140730991274256 140730991271560 5070800 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 21495808 140730991277242 140730991277342 140730991277342 140730991280078 0
/proc/26169/statm: 9482 3291 836 435 0 2845 0
Current children cumulated CPU time: 2202.42 s
Current children cumulated vsize: 37928 KiB
Current children cumulated memory: 13164 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 26337
/proc/meminfo: memFree=28730548/32770624 swapFree=67108860/67108860
[pid=26169] ppid=26166 vsize=37928 memory=13164 CPUtime=2262.43 cores=1,3,5,7
/proc/26169/stat : 26169 (cosoco) R 26166 26169 24508 0 -1 4202496 28885 0 0 0 226241 2 0 0 20 0 1 0 90978959 38838272 3291 33554432000 4194304 5972588 140730991274256 140730991271560 5053108 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 21495808 140730991277242 140730991277342 140730991277342 140730991280078 0
/proc/26169/statm: 9482 3291 836 435 0 2845 0
Current children cumulated CPU time: 2262.43 s
Current children cumulated vsize: 37928 KiB
Current children cumulated memory: 13164 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 26338
/proc/meminfo: memFree=28730064/32770624 swapFree=67108860/67108860
[pid=26169] ppid=26166 vsize=37928 memory=13164 CPUtime=2322.43 cores=1,3,5,7
/proc/26169/stat : 26169 (cosoco) R 26166 26169 24508 0 -1 4202496 29642 0 0 0 232241 2 0 0 20 0 1 0 90978959 38838272 3291 33554432000 4194304 5972588 140730991274256 140730991271560 4965560 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 21495808 140730991277242 140730991277342 140730991277342 140730991280078 0
/proc/26169/statm: 9482 3291 836 435 0 2845 0
Current children cumulated CPU time: 2322.43 s
Current children cumulated vsize: 37928 KiB
Current children cumulated memory: 13164 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 26339
/proc/meminfo: memFree=28729940/32770624 swapFree=67108860/67108860
[pid=26169] ppid=26166 vsize=37928 memory=13164 CPUtime=2382.43 cores=1,3,5,7
/proc/26169/stat : 26169 (cosoco) R 26166 26169 24508 0 -1 4202496 29657 0 0 0 238241 2 0 0 20 0 1 0 90978959 38838272 3291 33554432000 4194304 5972588 140730991274256 140730991271560 4965486 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 21495808 140730991277242 140730991277342 140730991277342 140730991280078 0
/proc/26169/statm: 9482 3291 836 435 0 2845 0
Current children cumulated CPU time: 2382.43 s
Current children cumulated vsize: 37928 KiB
Current children cumulated memory: 13164 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 26341
/proc/meminfo: memFree=28730224/32770624 swapFree=67108860/67108860
[pid=26169] ppid=26166 vsize=37928 memory=13164 CPUtime=2442.44 cores=1,3,5,7
/proc/26169/stat : 26169 (cosoco) R 26166 26169 24508 0 -1 4202496 30504 0 0 0 244242 2 0 0 20 0 1 0 90978959 38838272 3291 33554432000 4194304 5972588 140730991274256 140730991271560 4965445 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 21495808 140730991277242 140730991277342 140730991277342 140730991280078 0
/proc/26169/statm: 9482 3291 836 435 0 2845 0
Current children cumulated CPU time: 2442.44 s
Current children cumulated vsize: 37928 KiB
Current children cumulated memory: 13164 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 26342
/proc/meminfo: memFree=28730236/32770624 swapFree=67108860/67108860
[pid=26169] ppid=26166 vsize=37928 memory=13164 CPUtime=2502.44 cores=1,3,5,7
/proc/26169/stat : 26169 (cosoco) R 26166 26169 24508 0 -1 4202496 30510 0 0 0 250242 2 0 0 20 0 1 0 90978959 38838272 3291 33554432000 4194304 5972588 140730991274256 140730991271560 5070896 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 21495808 140730991277242 140730991277342 140730991277342 140730991280078 0
/proc/26169/statm: 9482 3291 836 435 0 2845 0
Current children cumulated CPU time: 2502.44 s
Current children cumulated vsize: 37928 KiB
Current children cumulated memory: 13164 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.9 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 26342
/proc/meminfo: memFree=28730248/32770624 swapFree=67108860/67108860
[pid=26169] ppid=26166 vsize=37928 memory=13164 CPUtime=2520.04 cores=1,3,5,7
/proc/26169/stat : 26169 (cosoco) R 26166 26169 24508 0 -1 4202496 31196 0 0 0 252002 2 0 0 20 0 1 0 90978959 38838272 3291 33554432000 4194304 5972588 140730991274256 140730991271560 4968793 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 21495808 140730991277242 140730991277342 140730991277342 140730991280078 0
/proc/26169/statm: 9482 3291 836 435 0 2845 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 37928 KiB
Current children cumulated memory: 13164 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2519.9 s]
# the end of solver process 26169 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520.03 s, system=0.022001 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2519.9 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 26342
/proc/meminfo: memFree=28730248/32770624 swapFree=67108860/67108860
[pid=26169] ppid=26166 vsize=37928 memory=13164 CPUtime=2520.04 cores=1,3,5,7
/proc/26169/stat : 26169 (cosoco) R 26166 26169 24508 0 -1 4202496 31196 0 0 0 252002 2 0 0 20 0 1 0 90978959 38838272 3291 33554432000 4194304 5972588 140730991274256 140730991271560 4968793 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 21495808 140730991277242 140730991277342 140730991277342 140730991280078 0
/proc/26169/statm: 9482 3291 836 435 0 2845 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 37928 KiB
Current children cumulated memory: 13164 KiB

Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.05
CPU user time (s): 2520.03
CPU system time (s): 0.022001
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 37928
Max. memory (cumulated for all children) (KiB): 13164

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


# summary of solver processes directly reported to runsolver:
#   pid: 26169
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2520.03
#   total CPU system time (s): 0.022001

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.73514 second user time and 16.3228 second system time

The end

Launcher Data 

Begin job on node104 at 2017-08-13 00:47:32
IDJOB=4266286
IDBENCH=130608
IDSOLVER=2655
FILE ID=node104/4266286-1502578910
RUNJOBID= node104-1502567255-24592
PBS_JOBID= 20628287
Free space on /tmp= 61860 MiB

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

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

MD5SUM BENCH= 01373ebb4a146089a71bb04c36ed4f3a
RANDOM SEED=1669986449

node104.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:        27760088 kB
MemAvailable:   31008292 kB
Buffers:          129700 kB
Cached:          3414012 kB
SwapCached:            0 kB
Active:          1313440 kB
Inactive:        3272624 kB
Active(anon):    1045408 kB
Inactive(anon):    25024 kB
Active(file):     268032 kB
Inactive(file):  3247600 kB
Unevictable:        6532 kB
Mlocked:            6532 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1952 kB
Writeback:             0 kB
AnonPages:       1020520 kB
Mapped:            44412 kB
Shmem:             25228 kB
Slab:             122328 kB
SReclaimable:      96812 kB
SUnreclaim:        25516 kB
KernelStack:        3360 kB
PageTables:         7128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1373504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    460800 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61860 MiB
End job on node104 at 2017-08-13 01:29:32