Trace number 1086835

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
cpHydra k_40SAT 194.882 195.81

DiagnosticValue
ASSIGNMENTS575
CHECKS301073000

General information on the benchmark

Namecsp/fapp/fapp31/
normalized-fapp31-0400-7.xml
MD5SUMb6ccf6de2a96d16153e1dfc9d32ad1be
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark152.754
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints3003
Maximum constraint arity2
Maximum domain size700
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3003
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.00	c cpHydra_k_40 version 0.0
45.73/45.96	c CASE TO CLASSIFY:
45.73/45.96	c Case: 0
45.73/45.96	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  41.728300 | c 15 >  11.983300 | c 34 >  67.602400 | c 16 >   2.000000 | c 13 >   2.104910 | c 14 >  -1.000000 | c 11 >   8.643860 | c 12 >   3.908330 | c 21 >  26.150400 | c 20 >   0.000000 | c 22 >  26.457500 | c 23 >  13.855100 | c 24 >  10.880500 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  11.552200 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.061400 | c 31 >  -1.000000 | c 4 >   8.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
45.73/45.96	c choco : 1801.0
45.73/45.96	c mistral : 1801.0
45.73/45.96	c abscon : 1801.0
45.73/45.96	c
45.73/45.96	c
45.83/46.03	c List of same ones: 44
45.83/46.03	c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-7.xml
45.83/46.03	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.209600 | c 15 >   7.409390 | c 34 >  68.285400 | c 16 >   2.000000 | c 13 >   3.875670 | c 14 >  -1.000000 | c 11 >   8.451210 | c 12 >   5.068670 | c 21 >  23.968700 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >  10.376600 | c 24 >   3.683900 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  12.519900 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.617400 | c 31 >  -1.000000 | c 4 >   8.451210 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
45.83/46.03	c choco : 289.36
45.83/46.03	c mistral : 69.4914
45.83/46.03	c abscon : 8.48671
45.83/46.03	c
45.83/46.03	c
45.83/46.03	c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-1.xml
45.83/46.03	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.209600 | c 15 >   7.339850 | c 34 >  68.285400 | c 16 >   2.000000 | c 13 >   3.875670 | c 14 >  -1.000000 | c 11 >   8.451210 | c 12 >   5.068670 | c 21 >  23.968700 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >  10.376600 | c 24 >   3.683900 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  12.519900 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.617400 | c 31 >  -1.000000 | c 4 >   8.451210 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
45.83/46.04	c choco : 165.46
45.83/46.04	c mistral : 105.964
45.83/46.04	c abscon : 5.62414
45.83/46.04	c
45.83/46.04	c
45.83/46.04	c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-3.xml
45.83/46.04	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.209600 | c 15 >   7.339850 | c 34 >  68.285400 | c 16 >   2.000000 | c 13 >   3.875670 | c 14 >  -1.000000 | c 11 >   8.451210 | c 12 >   5.068670 | c 21 >  23.968700 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >  10.376600 | c 24 >   3.683900 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  12.519900 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.617400 | c 31 >  -1.000000 | c 4 >   8.451210 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
45.83/46.04	c choco : 241.66
45.83/46.04	c mistral : 109.272
45.83/46.04	c abscon : 5.81612
45.83/46.04	c
45.83/46.04	c
45.83/46.04	c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-6.xml
45.83/46.04	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.209600 | c 15 >   7.266790 | c 34 >  68.285400 | c 16 >   2.000000 | c 13 >   3.875670 | c 14 >  -1.000000 | c 11 >   8.451210 | c 12 >   5.068670 | c 21 >  23.968700 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >  10.376600 | c 24 >   3.683900 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  12.519900 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.617400 | c 31 >  -1.000000 | c 4 >   8.451210 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
45.83/46.05	c choco : 222.88
45.83/46.05	c mistral : 87.2887
45.83/46.05	c abscon : 8.36073
45.83/46.05	c
45.83/46.05	c
45.83/46.05	c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-8.xml
45.83/46.05	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.209600 | c 15 >   7.266790 | c 34 >  68.285400 | c 16 >   2.000000 | c 13 >   3.875670 | c 14 >  -1.000000 | c 11 >   8.451210 | c 12 >   5.068670 | c 21 >  23.968700 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >  10.376600 | c 24 >   3.683900 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  12.519900 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.617400 | c 31 >  -1.000000 | c 4 >   8.451210 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
45.83/46.05	c choco : 258.16
45.83/46.05	c mistral : 67.8027
45.83/46.05	c abscon : 8.5677
45.83/46.05	c
45.83/46.05	c
45.83/46.05	c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-10.xml
45.83/46.05	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.209600 | c 15 >   7.238400 | c 34 >  68.285400 | c 16 >   2.000000 | c 13 >   3.875670 | c 14 >  -1.000000 | c 11 >   8.451210 | c 12 >   5.068670 | c 21 >  23.968700 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >  10.376600 | c 24 >   3.683900 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  12.519900 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.617400 | c 31 >  -1.000000 | c 4 >   8.451210 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
45.83/46.06	c choco : 162.09
45.83/46.06	c mistral : 106.35
45.83/46.06	c abscon : 8.83866
45.83/46.06	c
45.83/46.06	c
45.83/46.06	c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-5.xml
45.83/46.06	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.209600 | c 15 >   7.219170 | c 34 >  68.285400 | c 16 >   2.000000 | c 13 >   3.875670 | c 14 >  -1.000000 | c 11 >   8.451210 | c 12 >   5.068670 | c 21 >  23.968700 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >  10.376600 | c 24 >   3.683900 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  12.519900 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.617400 | c 31 >  -1.000000 | c 4 >   8.451210 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
45.83/46.06	c choco : 123.79
45.83/46.06	c mistral : 119.313
45.83/46.06	c abscon : 5.86111
45.83/46.06	c
45.83/46.06	c
45.83/46.06	c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-9.xml
45.83/46.06	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.209600 | c 15 >   7.199670 | c 34 >  68.285400 | c 16 >   2.000000 | c 13 >   3.875670 | c 14 >  -1.000000 | c 11 >   8.451210 | c 12 >   5.068670 | c 21 >  23.968700 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >  10.376600 | c 24 >   3.683900 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  12.519900 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.617400 | c 31 >  -1.000000 | c 4 >   8.451210 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
45.83/46.06	c choco : 1801.0
45.83/46.06	c mistral : 47.8137
45.83/46.06	c abscon : 8.48171
45.83/46.06	c
45.83/46.06	c
45.83/46.06	c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-2.xml
45.83/46.06	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.209600 | c 15 >   7.189820 | c 34 >  68.285400 | c 16 >   2.000000 | c 13 >   3.875670 | c 14 >  -1.000000 | c 11 >   8.451210 | c 12 >   5.068670 | c 21 >  23.968700 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >  10.376600 | c 24 >   3.683900 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  12.519900 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.617400 | c 31 >  -1.000000 | c 4 >   8.451210 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
45.83/46.07	c choco : 178.61
45.83/46.07	c mistral : 98.855
45.83/46.07	c abscon : 5.66214
45.83/46.07	c
45.83/46.07	c
45.83/46.07	c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-0.xml
45.83/46.07	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.209600 | c 15 >   7.159870 | c 34 >  68.285400 | c 16 >   2.000000 | c 13 >   3.875670 | c 14 >  -1.000000 | c 11 >   8.451210 | c 12 >   5.068670 | c 21 >  23.968700 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >  10.376600 | c 24 >   3.683900 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  12.519900 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.617400 | c 31 >  -1.000000 | c 4 >   8.451210 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
45.83/46.07	c choco : 159.33
45.83/46.07	c mistral : 105.658
45.83/46.07	c abscon : 5.68613
45.83/46.07	c
45.83/46.07	c
45.83/46.07	c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-4.xml
45.83/46.07	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.209600 | c 15 >   6.954200 | c 34 >  68.285400 | c 16 >   2.000000 | c 13 >   3.875670 | c 14 >  -1.000000 | c 11 >   8.451210 | c 12 >   5.068670 | c 21 >  23.968700 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >  10.376600 | c 24 >   3.683900 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  12.519900 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.617400 | c 31 >  -1.000000 | c 4 >   8.451210 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
46.05/46.26	c choco : 135.43
46.05/46.26	c mistral : 106.651
46.05/46.26	c abscon : 5.69113
46.05/46.26	c
46.05/46.26	c
46.05/46.26	c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-5.xml
46.05/46.26	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.232200 | c 15 >   6.321930 | c 34 >  68.303600 | c 16 >   2.000000 | c 13 >   3.834120 | c 14 >  -1.000000 | c 11 >   9.103290 | c 12 >   5.104490 | c 21 >  28.554100 | c 20 >   0.000000 | c 22 >  31.591100 | c 23 >  10.555700 | c 24 >   1.233480 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.207800 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.774500 | c 31 >  -1.000000 | c 4 >   9.103290 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
46.05/46.27	c choco : 1801.0
46.05/46.27	c mistral : 1318.62
46.05/46.27	c abscon : 7.84581
46.05/46.27	c
46.05/46.27	c
46.05/46.27	c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-6.xml
46.05/46.27	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.232200 | c 15 >   6.247930 | c 34 >  68.303600 | c 16 >   2.000000 | c 13 >   3.834120 | c 14 >  -1.000000 | c 11 >   9.103290 | c 12 >   5.104490 | c 21 >  28.554100 | c 20 >   0.000000 | c 22 >  31.591100 | c 23 >  10.555700 | c 24 >   1.233480 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.207800 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.774500 | c 31 >  -1.000000 | c 4 >   9.103290 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
46.05/46.27	c choco : 1801.0
46.05/46.27	c mistral : 1800.1
46.05/46.27	c abscon : 13.6839
46.05/46.27	c
46.05/46.27	c
46.05/46.27	c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-0.xml
46.05/46.27	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.232200 | c 15 >   6.228820 | c 34 >  68.303600 | c 16 >   2.000000 | c 13 >   3.834120 | c 14 >  -1.000000 | c 11 >   9.103290 | c 12 >   5.104490 | c 21 >  28.554100 | c 20 >   0.000000 | c 22 >  31.591100 | c 23 >  10.555700 | c 24 >   1.233480 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.207800 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.774500 | c 31 >  -1.000000 | c 4 >   9.103290 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
46.05/46.27	c choco : 1801.0
46.05/46.27	c mistral : 908.571
46.05/46.27	c abscon : 7.52885
46.05/46.27	c
46.05/46.27	c
46.05/46.27	c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-10.xml
46.05/46.27	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.232200 | c 15 >   6.228820 | c 34 >  68.303600 | c 16 >   2.000000 | c 13 >   3.834120 | c 14 >  -1.000000 | c 11 >   9.103290 | c 12 >   5.104490 | c 21 >  28.554100 | c 20 >   0.000000 | c 22 >  31.591100 | c 23 >  10.555700 | c 24 >   1.233480 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.207800 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.774500 | c 31 >  -1.000000 | c 4 >   9.103290 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
46.05/46.28	c choco : 1801.0
46.05/46.28	c mistral : 1800.07
46.05/46.28	c abscon : 19.1911
46.05/46.28	c
46.05/46.28	c
46.05/46.28	c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-3.xml
46.05/46.28	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.232200 | c 15 >   6.228820 | c 34 >  68.303600 | c 16 >   2.000000 | c 13 >   3.834120 | c 14 >  -1.000000 | c 11 >   9.103290 | c 12 >   5.104490 | c 21 >  28.554100 | c 20 >   0.000000 | c 22 >  31.591100 | c 23 >  10.555700 | c 24 >   1.233480 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.207800 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.774500 | c 31 >  -1.000000 | c 4 >   9.103290 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
46.05/46.28	c choco : 1801.0
46.05/46.28	c mistral : 335.826
46.05/46.28	c abscon : 8.30974
46.05/46.28	c
46.05/46.28	c
46.05/46.28	c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-4.xml
46.05/46.28	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.232200 | c 15 >   6.228820 | c 34 >  68.303600 | c 16 >   2.000000 | c 13 >   3.834120 | c 14 >  -1.000000 | c 11 >   9.103290 | c 12 >   5.104490 | c 21 >  28.554100 | c 20 >   0.000000 | c 22 >  31.591100 | c 23 >  10.555700 | c 24 >   1.233480 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.207800 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.774500 | c 31 >  -1.000000 | c 4 >   9.103290 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
46.05/46.28	c choco : 1801.0
46.05/46.28	c mistral : 716.694
46.05/46.28	c abscon : 7.93079
46.05/46.28	c
46.05/46.28	c
46.05/46.28	c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-7.xml
46.05/46.28	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.232200 | c 15 >   6.228820 | c 34 >  68.303600 | c 16 >   2.000000 | c 13 >   3.834120 | c 14 >  -1.000000 | c 11 >   9.103290 | c 12 >   5.104490 | c 21 >  28.554100 | c 20 >   0.000000 | c 22 >  31.591100 | c 23 >  10.555700 | c 24 >   1.233480 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.207800 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.774500 | c 31 >  -1.000000 | c 4 >   9.103290 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
46.05/46.28	c choco : 1801.0
46.05/46.28	c mistral : 1800.02
46.05/46.28	c abscon : 14.6678
46.05/46.28	c
46.05/46.28	c
46.05/46.28	c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-8.xml
46.05/46.28	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.232200 | c 15 >   6.228820 | c 34 >  68.303600 | c 16 >   2.000000 | c 13 >   3.834120 | c 14 >  -1.000000 | c 11 >   9.103290 | c 12 >   5.104490 | c 21 >  28.554100 | c 20 >   0.000000 | c 22 >  31.591100 | c 23 >  10.555700 | c 24 >   1.233480 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.207800 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.774500 | c 31 >  -1.000000 | c 4 >   9.103290 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
46.05/46.29	c choco : 1801.0
46.05/46.29	c mistral : 1800.05
46.05/46.29	c abscon : 14.6898
46.05/46.29	c
46.05/46.29	c
46.05/46.29	c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-9.xml
46.05/46.29	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.232200 | c 15 >   6.228820 | c 34 >  68.303600 | c 16 >   2.000000 | c 13 >   3.834120 | c 14 >  -1.000000 | c 11 >   9.103290 | c 12 >   5.104490 | c 21 >  28.554100 | c 20 >   0.000000 | c 22 >  31.591100 | c 23 >  10.555700 | c 24 >   1.233480 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.207800 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.774500 | c 31 >  -1.000000 | c 4 >   9.103290 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
46.05/46.29	c choco : 1801.0
46.05/46.29	c mistral : 1800.04
46.05/46.29	c abscon : 18.4642
46.05/46.29	c
46.05/46.29	c
46.05/46.29	c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-1.xml
46.05/46.29	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.232200 | c 15 >   5.954200 | c 34 >  68.303600 | c 16 >   2.000000 | c 13 >   3.834120 | c 14 >  -1.000000 | c 11 >   9.103290 | c 12 >   5.104490 | c 21 >  28.554100 | c 20 >   0.000000 | c 22 >  31.591100 | c 23 >  10.555700 | c 24 >   1.233480 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.207800 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.774500 | c 31 >  -1.000000 | c 4 >   9.103290 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
46.05/46.30	c choco : 1801.0
46.05/46.30	c mistral : 484.401
46.05/46.30	c abscon : 7.80381
46.05/46.30	c
46.05/46.30	c
46.05/46.30	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-10.xml
46.05/46.30	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >   6.741470 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
46.15/46.30	c choco : 1801.0
46.15/46.30	c mistral : 1800.11
46.15/46.30	c abscon : 71.1032
46.15/46.30	c
46.15/46.30	c
46.15/46.30	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-4.xml
46.15/46.30	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >   6.741470 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
46.15/46.30	c choco : 1801.0
46.15/46.30	c mistral : 1800.09
46.15/46.30	c abscon : 10.1455
46.15/46.30	c
46.15/46.30	c
46.15/46.30	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-6.xml
46.15/46.30	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >   6.741470 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
46.15/46.31	c choco : 1801.0
46.15/46.31	c mistral : 1800.04
46.15/46.31	c abscon : 10.1615
46.15/46.31	c
46.15/46.31	c
46.15/46.31	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-7.xml
46.15/46.31	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >   6.741470 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
46.15/46.31	c choco : 1801.0
46.15/46.31	c mistral : 1800.03
46.15/46.31	c abscon : 65.728
46.15/46.31	c
46.15/46.31	c
46.15/46.31	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-8.xml
46.15/46.31	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >   6.741470 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
46.15/46.31	c choco : 1801.0
46.15/46.31	c mistral : 1800.03
46.15/46.31	c abscon : 68.0856
46.15/46.31	c
46.15/46.31	c
46.15/46.31	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-9.xml
46.15/46.31	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >   6.741470 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
46.15/46.31	c choco : 1801.0
46.15/46.31	c mistral : 1800.04
46.15/46.31	c abscon : 74.9176
46.15/46.31	c
46.15/46.31	c
46.15/46.31	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-5.xml
46.15/46.31	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >   6.727920 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
46.15/46.31	c choco : 1801.0
46.15/46.31	c mistral : 1800.05
46.15/46.32	c abscon : 10.0415
46.15/46.32	c
46.15/46.32	c
46.15/46.32	c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-2.xml
46.15/46.32	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.232200 | c 15 >   5.930740 | c 34 >  68.303600 | c 16 >   2.000000 | c 13 >   3.834120 | c 14 >  -1.000000 | c 11 >   9.103290 | c 12 >   5.104490 | c 21 >  28.554100 | c 20 >   0.000000 | c 22 >  31.591100 | c 23 >  10.555700 | c 24 >   1.233480 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.207800 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.774500 | c 31 >  -1.000000 | c 4 >   9.103290 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
46.15/46.32	c choco : 1801.0
46.15/46.32	c mistral : 467.434
46.15/46.32	c abscon : 7.96579
46.15/46.32	c
46.15/46.32	c
46.15/46.32	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-0.xml
46.15/46.32	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >   6.714250 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
46.15/46.32	c choco : 1801.0
46.15/46.32	c mistral : 1800.05
46.15/46.32	c abscon : 9.72352
46.15/46.32	c
46.15/46.32	c
46.15/46.32	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-1.xml
46.15/46.32	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >   6.700440 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
46.15/46.32	c choco : 1801.0
46.15/46.32	c mistral : 1800.1
46.15/46.32	c abscon : 9.81651
46.15/46.32	c
46.15/46.32	c
46.15/46.32	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-3.xml
46.15/46.32	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >   6.629360 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
46.15/46.32	c choco : 1801.0
46.15/46.32	c mistral : 1800.05
46.15/46.32	c abscon : 9.97948
46.15/46.33	c
46.15/46.33	c
46.15/46.33	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-2.xml
46.15/46.33	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >   6.475730 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
46.15/46.33	c choco : 1801.0
46.15/46.33	c mistral : 1800.07
46.15/46.33	c abscon : 9.51055
46.15/46.33	c
46.15/46.33	c
46.15/46.33	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-2.xml
46.15/46.33	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.359500 | c 15 >   7.459430 | c 34 >  68.430200 | c 16 >   2.000000 | c 13 >   4.643650 | c 14 >  -1.000000 | c 11 >  10.773100 | c 12 >   5.194850 | c 21 >  21.554400 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >   8.494280 | c 24 >   1.444420 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.968000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.633000 | c 31 >  -1.000000 | c 4 >  10.773100 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
46.15/46.33	c choco : 1801.0
46.15/46.33	c mistral : 91.925
46.15/46.33	c abscon : 8.97863
46.15/46.33	c
46.15/46.33	c
46.15/46.33	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-8.xml
46.15/46.33	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.359500 | c 15 >   7.442940 | c 34 >  68.430200 | c 16 >   2.000000 | c 13 >   4.643650 | c 14 >  -1.000000 | c 11 >  10.773100 | c 12 >   5.194850 | c 21 >  21.554400 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >   8.494280 | c 24 >   1.444420 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.968000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.633000 | c 31 >  -1.000000 | c 4 >  10.773100 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
46.15/46.33	c choco : 1801.0
46.15/46.33	c mistral : 1800.05
46.15/46.33	c abscon : 15.7666
46.15/46.33	c
46.15/46.33	c
46.15/46.33	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-1.xml
46.15/46.33	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.359500 | c 15 >   7.400880 | c 34 >  68.430200 | c 16 >   2.000000 | c 13 >   4.643650 | c 14 >  -1.000000 | c 11 >  10.773100 | c 12 >   5.194850 | c 21 >  21.554400 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >   8.494280 | c 24 >   1.444420 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.968000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.633000 | c 31 >  -1.000000 | c 4 >  10.773100 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
46.15/46.33	c choco : 1801.0
46.15/46.34	c mistral : 93.1378
46.15/46.34	c abscon : 8.34573
46.15/46.34	c
46.15/46.34	c
46.15/46.34	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-6.xml
46.15/46.34	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.359500 | c 15 >   7.400880 | c 34 >  68.430200 | c 16 >   2.000000 | c 13 >   4.643650 | c 14 >  -1.000000 | c 11 >  10.773100 | c 12 >   5.194850 | c 21 >  21.554400 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >   8.494280 | c 24 >   1.444420 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.968000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.633000 | c 31 >  -1.000000 | c 4 >  10.773100 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
46.15/46.34	c choco : 1801.0
46.15/46.34	c mistral : 574.22
46.15/46.34	c abscon : 8.86065
46.15/46.34	c
46.15/46.34	c
46.15/46.34	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-0.xml
46.15/46.34	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.359500 | c 15 >   7.392320 | c 34 >  68.430200 | c 16 >   2.000000 | c 13 >   4.643650 | c 14 >  -1.000000 | c 11 >  10.773100 | c 12 >   5.194850 | c 21 >  21.554400 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >   8.494280 | c 24 >   1.444420 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.968000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.633000 | c 31 >  -1.000000 | c 4 >  10.773100 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
46.15/46.34	c choco : 1801.0
46.15/46.34	c mistral : 81.4106
46.15/46.34	c abscon : 8.81466
46.15/46.34	c
46.15/46.34	c
46.15/46.34	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-10.xml
46.15/46.34	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.359500 | c 15 >   7.383700 | c 34 >  68.430200 | c 16 >   2.000000 | c 13 >   4.643650 | c 14 >  -1.000000 | c 11 >  10.773100 | c 12 >   5.194850 | c 21 >  21.554400 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >   8.494280 | c 24 >   1.444420 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.968000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.633000 | c 31 >  -1.000000 | c 4 >  10.773100 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
46.15/46.35	c choco : 1801.0
46.15/46.35	c mistral : 1800.03
46.15/46.35	c abscon : 16.9624
46.15/46.35	c
46.15/46.35	c
46.15/46.35	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-3.xml
46.15/46.35	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.359500 | c 15 >   7.383700 | c 34 >  68.430200 | c 16 >   2.000000 | c 13 >   4.643650 | c 14 >  -1.000000 | c 11 >  10.773100 | c 12 >   5.194850 | c 21 >  21.554400 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >   8.494280 | c 24 >   1.444420 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.968000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.633000 | c 31 >  -1.000000 | c 4 >  10.773100 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
46.15/46.35	c choco : 1801.0
46.15/46.35	c mistral : 69.4484
46.15/46.35	c abscon : 8.71567
46.15/46.35	c
46.15/46.35	c
46.15/46.35	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-4.xml
46.15/46.35	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.359500 | c 15 >   7.383700 | c 34 >  68.430200 | c 16 >   2.000000 | c 13 >   4.643650 | c 14 >  -1.000000 | c 11 >  10.773100 | c 12 >   5.194850 | c 21 >  21.554400 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >   8.494280 | c 24 >   1.444420 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.968000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.633000 | c 31 >  -1.000000 | c 4 >  10.773100 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
46.15/46.36	c choco : 1801.0
46.15/46.36	c mistral : 146.325
46.15/46.36	c abscon : 9.08962
46.15/46.36	c
46.15/46.36	c
46.15/46.36	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-5.xml
46.15/46.36	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.359500 | c 15 >   7.383700 | c 34 >  68.430200 | c 16 >   2.000000 | c 13 >   4.643650 | c 14 >  -1.000000 | c 11 >  10.773100 | c 12 >   5.194850 | c 21 >  21.554400 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >   8.494280 | c 24 >   1.444420 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.968000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.633000 | c 31 >  -1.000000 | c 4 >  10.773100 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
46.15/46.36	c choco : 1801.0
46.15/46.36	c mistral : 182.049
46.15/46.36	c abscon : 8.90564
46.15/46.36	c
46.15/46.36	c
46.15/46.36	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-7.xml
46.15/46.36	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.359500 | c 15 >   7.383700 | c 34 >  68.430200 | c 16 >   2.000000 | c 13 >   4.643650 | c 14 >  -1.000000 | c 11 >  10.773100 | c 12 >   5.194850 | c 21 >  21.554400 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >   8.494280 | c 24 >   1.444420 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.968000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.633000 | c 31 >  -1.000000 | c 4 >  10.773100 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
46.15/46.36	c choco : 1801.0
46.15/46.36	c mistral : 744.68
46.15/46.36	c abscon : 15.7856
46.15/46.36	c
46.15/46.36	c
46.15/46.36	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-9.xml
46.15/46.36	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.359500 | c 15 >   7.383700 | c 34 >  68.430200 | c 16 >   2.000000 | c 13 >   4.643650 | c 14 >  -1.000000 | c 11 >  10.773100 | c 12 >   5.194850 | c 21 >  21.554400 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >   8.494280 | c 24 >   1.444420 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.968000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.633000 | c 31 >  -1.000000 | c 4 >  10.773100 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
46.15/46.36	c choco : 1801.0
46.15/46.36	c mistral : 1800.06
46.15/46.36	c abscon : 16.5685
46.15/46.36	c
46.15/46.36	c
46.15/46.37	c Length: 44
46.15/46.37	c 10.069231535539345  10.101009797574697  10.101009797574697  10.134803284144198  10.134803284144198  10.14804646413289  10.157052017445812  10.166213011987308  10.170851564082529  10.185001128772644  10.283998144603101  13.378333439064823  13.409815970653735  13.418000424813677  13.418000424813677  13.418000424813677  13.418000424813677  13.418000424813677  13.418000424813677  13.418000424813677  13.53804794421633  13.539803064513162  13.539803064513162  13.539803064513162  13.539803064513162  13.539803064513162  13.539803064513162  13.54505460385081  13.548512017321313  13.550364319065375  13.5557402990947  13.583598889856106  13.644882285377182  14.052948870571614  14.058265935441684  14.071906240392591  14.071906240392591  14.074696072825162  14.077510161317589  14.077510161317589  14.077510161317589  14.077510161317589  14.077510161317589  14.077510161317589  
46.15/46.37	c 
46.15/46.37	c 1.0  0.9921342043149916  0.9921342043149916  0.9839042324634264  0.9839042324634264  0.9807161427686824  0.9785599714270323  0.9763762894352608  0.9752743225343685  0.9719281669162814  0.9491441371994227  0.5477750691967427  0.5454284006336316  0.5448216309025156  0.5448216309025156  0.5448216309025156  0.5448216309025156  0.5448216309025156  0.5448216309025156  0.5448216309025156  0.5360743186100592  0.5359485138542833  0.5359485138542833  0.5359485138542833  0.5359485138542833  0.5359485138542833  0.5359485138542833  0.5355724427079382  0.5353251397683222  0.5351927416884409  0.5348088501460001  0.5328282942443641  0.5285226730440947  0.5015366180655254  0.5012031682275102  0.5003497661697497  0.5003497661697497  0.5001755789045871  0.5  0.5  0.5  0.5  0.5  0.5  
46.15/46.37	c
46.15/46.37	c solver 0
46.15/46.37	c	  before 0.0 seconds: {} 0
46.15/46.37	c	  before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 16, 17, 18, 20, 22, 23, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43} 24915
46.15/46.37	c	  before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 23, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43} 26004
46.15/46.37	c	  before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43} 27612
46.15/46.37	c	  before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43} 28148
46.15/46.37	c
46.15/46.37	c solver 1
46.15/46.37	c	  before 0.0 seconds: {} 0
46.15/46.37	c	  before 54.0 seconds: {7} 976
46.15/46.37	c	  before 72.0 seconds: {0, 4, 7, 39} 3460
46.15/46.37	c	  before 90.0 seconds: {0, 3, 4, 7, 37, 39} 4944
46.15/46.37	c	  before 108.0 seconds: {0, 1, 3, 4, 5, 7, 8, 9, 10, 33, 35, 37, 39} 10815
46.15/46.37	c	  before 126.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 33, 35, 37, 39} 12786
46.15/46.37	c	  before 162.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 33, 35, 37, 39, 40} 13286
46.15/46.37	c	  before 198.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 33, 35, 37, 39, 40, 41} 13786
46.15/46.37	c	  before 342.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 15, 33, 35, 37, 39, 40, 41} 14330
46.15/46.37	c	  before 468.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 15, 28, 33, 35, 37, 39, 40, 41} 14866
46.15/46.37	c	  before 486.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 15, 20, 28, 33, 35, 37, 39, 40, 41} 15402
46.15/46.37	c	  before 576.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 15, 20, 28, 33, 35, 36, 37, 39, 40, 41} 15902
46.15/46.37	c	  before 720.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 15, 16, 20, 28, 33, 35, 36, 37, 39, 40, 41} 16447
46.15/46.37	c	  before 756.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 15, 16, 20, 28, 33, 35, 36, 37, 39, 40, 41, 42} 16947
46.15/46.37	c	  before 918.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 15, 16, 20, 28, 33, 35, 36, 37, 39, 40, 41, 42} 17492
46.15/46.37	c	  before 1332.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 15, 16, 20, 28, 33, 35, 36, 37, 39, 40, 41, 42} 18040
46.15/46.37	c
46.15/46.37	c solver 2
46.15/46.37	c	  before 0.0 seconds: {} 0
46.15/46.37	c	  before 126.0 seconds: {6} 978
46.15/46.37	c	  before 144.0 seconds: {6, 10} 1927
46.15/46.37	c	  before 162.0 seconds: {6, 9, 10} 2899
46.15/46.37	c	  before 180.0 seconds: {1, 5, 6, 8, 9, 10} 5847
46.15/46.37	c	  before 234.0 seconds: {1, 3, 5, 6, 8, 9, 10} 6831
46.15/46.37	c	  before 252.0 seconds: {1, 2, 3, 5, 6, 8, 9, 10} 7823
46.15/46.37	c	  before 270.0 seconds: {1, 2, 3, 4, 5, 6, 8, 9, 10} 8807
46.15/46.37	c	  before 306.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9, 10} 9807
46.15/46.37	c
46.15/46.37	cTotal time: 96
46.15/46.37	c 1728.0 seconds unused
46.15/46.37	c 0 c 19 c 34 
46.15/46.37	c 0 c 0 c 15 
46.15/46.37	c 0 c 0 c 0 
46.15/46.37	c is solver0 dominated by:
46.15/46.37	c	solver 1 (0 solves instances that 1 can't: true) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false)
46.15/46.37	c	solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: true) (0 is faster than 2: true) (0 is equally as fast as 2: false) (0 < 2: false)
46.15/46.37	c is dominated? false
46.15/46.37	c
46.15/46.37	c is solver1 dominated by:
46.15/46.37	c	solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true)
46.15/46.37	c is dominated? true
46.15/46.37	c
46.15/46.37	c is solver2 dominated by:
46.15/46.37	c	solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: false) (2 is equally as fast as 0: false) (2 < 0: true)
46.15/46.37	c is dominated? true
46.15/46.37	c
46.15/46.37	c Number of non-dominated solvers: 1
46.15/46.37	c remove dominated solvers
46.15/46.37	c solver 0 is not dominated by another solver
46.15/46.37	c solver 2 is dominated by another solver
46.15/46.37	c solver 1 is dominated by another solver
46.15/46.37	c
46.15/46.37	c solver 0: 90.0
46.15/46.37	c
46.15/46.37	c+ 5/5 of 95
46.15/46.37	c
46.15/46.37	c solver 1: 0.0
46.15/46.37	c
46.15/46.37	c solver 2: 0.0
46.15/46.37	c	  run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43} 28148
46.15/46.37	c	 do not run mistral
46.15/46.37	c	 do not run choco
46.15/46.37	c Starting solver: HOME/cpHydra_k_40/solver/abscon
46.15/46.37	c On Instance: HOME/instance-1086835-1215241422.xml
46.15/46.37	c Running for: 1800 seconds
194.78/195.78	s SAT
194.78/195.78	v  2492 2380 1304 -1992 1792 -1360 -2600 2600 2076 2288 2312 -2356 -2252 -2600 2392 2176 -1588 -2500 -2560 -1336 -1636 -2416 2540 -1328 2600 -2560 -1800 -1248 -2232 -1676 2428 -2260 -1816 -2040 2276 -1264 -1244 -1936 2488 -2316 -2600 -2312 -2600 2440 -2440 -2288 -2068 -1792 -2600 -2188 -1632 -1992 -2464 -1376 1724 -1456 -1344 -2052 -1296 2540 2400 -1880 -1916 -2580 2144 1948 -1636 -2600 1628 -1736 -1840 -2376 1420 -2064 1996 -1696 2556 -1972 -2524 -1204 -2248 -1216 -2400 -2248 -1288 1624 1820 -2380 -1416 -2192 1840 1884 -2600 -2472 -2560 -1416 -2272 -2316 -2600 -2560 1204 -1800 -1288 -1768 1664 -1204 -2200 -2448 -1204 -2208 -1332 -1960 1952 -1324 -1244 -1696 -1204 -1316 -1524 -1264 1588 2212 -1296 1204 -2292 -2044 -1296 -1392 -2192 -1480 1656 -1384 -1428 -2420 -2560 -1280 1476 -1204 1760 -2260 2564 2272 2352 -1992 -1860 -2380 -1244 -2416 -1668 -1676 -1244 -2008 -1248 -1244 1532 -1236 1620 -2600 1908 -2000 -1808 -1572 -1276 -2504 -2600 -1736 -1952 -1400 -2452 2504 1728 -2560 1548 -1316 -2232 -1376 -2560 2064 -2444 -1972 -2200 -2424 -2424 1680 -2168 -2600 -1328 -2580 -1708 2000 -1392 -1480 -2488 -1912 -1872 -1296 -2600 -1800 -2276 -1244 -1284 -1256 -1336 2028 -2484 -2600 -1316 1244 -1528 -2244 -2560 1320 -1516 -1588 -1428 -2160 -2600 -1436 1244 -1256 -1856 -1256 -2560 -1720 1748 -1380 -1832 1408 -2560 2420 -1580 -1556 -1708 -1436 -1896 -1244 -1268 -1204 -1956 -2240 -2480 -1276 -1744 -1476 -1388 2284 -1336 -2116 -2560 -1352 -1260 -2600 1288 -2152 -1244 2448 -2600 -1452 -2420 1248 -2600 -1420 -2048 -2560 -1872 -1832 -2560 -1412 -1372 -2560 -2456 2340 -1696 -2316 -2024 -2560 1204 -1628 -1872 -1220 -2560 2516 -1520 -2252 1432 -2464 -2148 -1368 -1288 -2600 -1800 -1832 -2216 -1244 -1812 -1416 -2240 -1668 -2212 -2560 1864 -2600 2380 -1708 2008 -2560 -1356 2316 -1592 2524 -1520 -2560 2252 -2560 -2512 -1244 1940 -2600 -1820 1484 -1660 -2560 -1968 -1692 2272 -1348 1516 1336 -1244 -2012 -2464 1900 -1628 -2120 -2032 -2320 -1460 -1204 -2560 -1540 -1760 -1960 1768 2072 -2460 1244 -1924 -1356 -1204 -2528 -2452 -1480 -1652 -2360 -1840 2360 1488 1860 1444 1764 -1204 -2276 2220 -2600 -2012 -2560 -2484 -1204 -1376 -1244 1912 1564 2024 -1956 -2468 -2012 -1852 -1520 2384 -1244 2032 -1364 -1204 1388 1476 -2412 1308 2568 -1296 -1920 -2084 -1208 -1204 -1308 -2104 -2220 -1704 -1224 -1748 -1904 
194.78/195.78	d ASSIGNMENTS 575
194.78/195.78	d CHECKS 301072577

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086835-1215241422/watcher-1086835-1215241422 -o /tmp/evaluation-result-1086835-1215241422/solver-1086835-1215241422 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1086835-1215241422.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.19 3.07 2.49 5/84 32005
/proc/meminfo: memFree=99112/2055920 swapFree=4176992/4192956
[pid=32004] ppid=32002 vsize=5360 CPUtime=0
/proc/32004/stat : 32004 (hydra) R 32002 32004 31735 0 -1 4194304 285 0 0 0 0 0 0 0 20 0 1 0 647062408 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 0 0 0 17 0 0 0
/proc/32004/statm: 1340 236 195 169 0 51 0
[pid=32005] ppid=32004 vsize=0 CPUtime=0
/proc/32005/stat : 32005 (rm) Z 32004 32004 31735 0 -1 4194316 124 0 0 0 0 0 0 0 21 0 1 0 647062408 0 0 996147200 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/32005/statm: 0 0 0 0 0 0 0

[startup+0.0929601 s]
/proc/loadavg: 3.19 3.07 2.49 5/84 32005
/proc/meminfo: memFree=99112/2055920 swapFree=4176992/4192956
[pid=32004] ppid=32002 vsize=5360 CPUtime=0
/proc/32004/stat : 32004 (hydra) S 32002 32004 31735 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 647062408 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32004/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.101952 s]
/proc/loadavg: 3.19 3.07 2.49 5/84 32005
/proc/meminfo: memFree=99112/2055920 swapFree=4176992/4192956
[pid=32004] ppid=32002 vsize=5360 CPUtime=0
/proc/32004/stat : 32004 (hydra) S 32002 32004 31735 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 647062408 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32004/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.301973 s]
/proc/loadavg: 3.19 3.07 2.49 5/84 32005
/proc/meminfo: memFree=99112/2055920 swapFree=4176992/4192956
[pid=32004] ppid=32002 vsize=5360 CPUtime=0
/proc/32004/stat : 32004 (hydra) S 32002 32004 31735 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 647062408 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32004/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.702014 s]
/proc/loadavg: 3.19 3.07 2.49 5/84 32005
/proc/meminfo: memFree=99112/2055920 swapFree=4176992/4192956
[pid=32004] ppid=32002 vsize=5360 CPUtime=0
/proc/32004/stat : 32004 (hydra) S 32002 32004 31735 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 647062408 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32004/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+1.5011 s]
/proc/loadavg: 3.19 3.07 2.49 3/85 32008
/proc/meminfo: memFree=86304/2055920 swapFree=4176992/4192956
[pid=32004] ppid=32002 vsize=5360 CPUtime=0
/proc/32004/stat : 32004 (hydra) S 32002 32004 31735 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 647062408 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32004/statm: 1340 236 195 169 0 51 0
[pid=32008] ppid=32004 vsize=17416 CPUtime=1.48
/proc/32008/stat : 32008 (xsolve) R 32004 32004 31735 0 -1 4194304 3192 0 0 0 147 1 0 0 25 0 1 0 647062409 17833984 3151 996147200 134512640 135239763 4294956176 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 0 0 0
/proc/32008/statm: 4354 3151 417 177 0 3257 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 22776

[startup+3.10126 s]
/proc/loadavg: 3.19 3.07 2.49 3/85 32008
/proc/meminfo: memFree=84192/2055920 swapFree=4176992/4192956
[pid=32004] ppid=32002 vsize=5360 CPUtime=0
/proc/32004/stat : 32004 (hydra) S 32002 32004 31735 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 647062408 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32004/statm: 1340 236 195 169 0 51 0
[pid=32008] ppid=32004 vsize=17416 CPUtime=3.07
/proc/32008/stat : 32008 (xsolve) R 32004 32004 31735 0 -1 4194304 3192 0 0 0 306 1 0 0 25 0 1 0 647062409 17833984 3151 996147200 134512640 135239763 4294956176 18446744073709551615 134532182 0 0 4096 0 0 0 0 17 0 0 0
/proc/32008/statm: 4354 3151 417 177 0 3257 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 22776

[startup+6.30159 s]
/proc/loadavg: 3.17 3.07 2.49 3/85 32008
/proc/meminfo: memFree=76896/2055920 swapFree=4176992/4192956
[pid=32004] ppid=32002 vsize=5360 CPUtime=0
/proc/32004/stat : 32004 (hydra) S 32002 32004 31735 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 647062408 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32004/statm: 1340 236 195 169 0 51 0
[pid=32008] ppid=32004 vsize=17416 CPUtime=6.26
/proc/32008/stat : 32008 (xsolve) R 32004 32004 31735 0 -1 4194304 3192 0 0 0 625 1 0 0 25 0 1 0 647062409 17833984 3151 996147200 134512640 135239763 4294956176 18446744073709551615 134538539 0 0 4096 0 0 0 0 17 0 0 0
/proc/32008/statm: 4354 3151 417 177 0 3257 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 22776

[startup+12.7022 s]
/proc/loadavg: 3.16 3.07 2.49 2/85 32008
/proc/meminfo: memFree=66280/2055920 swapFree=4176992/4192956
[pid=32004] ppid=32002 vsize=5360 CPUtime=0
/proc/32004/stat : 32004 (hydra) S 32002 32004 31735 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 647062408 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32004/statm: 1340 236 195 169 0 51 0
[pid=32008] ppid=32004 vsize=17416 CPUtime=12.63
/proc/32008/stat : 32008 (xsolve) R 32004 32004 31735 0 -1 4194304 3192 0 0 0 1262 1 0 0 25 0 1 0 647062409 17833984 3151 996147200 134512640 135239763 4294956176 18446744073709551615 135096883 0 0 4096 0 0 0 0 17 0 0 0
/proc/32008/statm: 4354 3151 417 177 0 3257 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 22776

[startup+25.5015 s]
/proc/loadavg: 3.12 3.06 2.50 3/85 32008
/proc/meminfo: memFree=43816/2055920 swapFree=4176992/4192956
[pid=32004] ppid=32002 vsize=5360 CPUtime=0
/proc/32004/stat : 32004 (hydra) S 32002 32004 31735 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 647062408 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32004/statm: 1340 236 195 169 0 51 0
[pid=32008] ppid=32004 vsize=17416 CPUtime=25.36
/proc/32008/stat : 32008 (xsolve) R 32004 32004 31735 0 -1 4194304 3192 0 0 0 2535 1 0 0 25 0 1 0 647062409 17833984 3151 996147200 134512640 135239763 4294956176 18446744073709551615 134543095 0 0 4096 0 0 0 0 17 0 0 0
/proc/32008/statm: 4354 3151 417 177 0 3257 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 22776

[startup+51.1022 s]
/proc/loadavg: 3.16 3.07 2.52 3/105 32032
/proc/meminfo: memFree=15360/2055920 swapFree=4176992/4192956
[pid=32004] ppid=32002 vsize=5360 CPUtime=40.67
/proc/32004/stat : 32004 (hydra) S 32002 32004 31735 0 -1 4194304 375 3790 0 0 0 0 4065 2 19 0 1 0 647062408 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32004/statm: 1340 238 196 169 0 51 0
[pid=32012] ppid=32004 vsize=198460 CPUtime=5.59
/proc/32012/stat : 32012 (java) S 32004 32004 31735 0 -1 0 14258 0 1 0 539 20 0 0 20 0 10 0 647066495 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32012/statm: 49615 9572 2544 9 0 44197 0
[pid=32022] ppid=32012 vsize=5356 CPUtime=0
/proc/32022/stat : 32022 (abscon) S 32012 32004 31735 0 -1 4194304 306 0 0 0 0 0 0 0 19 0 1 0 647067046 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 243665527620 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/32022/statm: 1339 235 194 169 0 50 0
[pid=32023] ppid=32022 vsize=656628 CPUtime=4.66
/proc/32023/stat : 32023 (java) S 32022 32004 31735 0 -1 0 13492 0 1 0 459 7 0 0 20 0 9 0 647067047 672387072 12999 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32023/statm: 164157 12999 1994 9 0 158685 0
[pid=32023/tid=32025] ppid=32022 vsize=656628 CPUtime=4.47
/proc/32023/task/32025/stat : 32025 (java) R 32022 32004 31735 0 -1 64 12263 0 1 0 441 6 0 0 25 0 9 0 647067048 672387072 12999 996147200 134512640 134550740 4294955808 18446744073709551615 4126876476 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32023/tid=32026] ppid=32022 vsize=656628 CPUtime=0
/proc/32023/task/32026/stat : 32026 (java) S 32022 32004 31735 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 647067049 672387072 12999 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32023/tid=32027] ppid=32022 vsize=656628 CPUtime=0
/proc/32023/task/32027/stat : 32027 (java) S 32022 32004 31735 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 647067049 672387072 12999 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32023/tid=32028] ppid=32022 vsize=656628 CPUtime=0
/proc/32023/task/32028/stat : 32028 (java) S 32022 32004 31735 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 647067049 672387072 12999 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32023/tid=32029] ppid=32022 vsize=656628 CPUtime=0
/proc/32023/task/32029/stat : 32029 (java) S 32022 32004 31735 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 647067051 672387072 12999 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32023/tid=32030] ppid=32022 vsize=656628 CPUtime=0.17
/proc/32023/task/32030/stat : 32030 (java) S 32022 32004 31735 0 -1 64 684 0 0 0 17 0 0 0 16 0 9 0 647067051 672387072 12999 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32023/tid=32031] ppid=32022 vsize=656628 CPUtime=0
/proc/32023/task/32031/stat : 32031 (java) S 32022 32004 31735 0 -1 64 0 0 0 0 0 0 0 0 22 0 9 0 647067051 672387072 12999 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32023/tid=32032] ppid=32022 vsize=656628 CPUtime=0
/proc/32023/task/32032/stat : 32032 (java) S 32022 32004 31735 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 647067051 672387072 12999 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32024] ppid=32022 vsize=7044 CPUtime=0
/proc/32024/stat : 32024 (translate) S 32022 32004 31735 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 647067047 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 243665698898 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/32024/statm: 1761 213 182 1 0 41 0
[pid=32012/tid=32013] ppid=32004 vsize=198460 CPUtime=4.3
/proc/32012/task/32013/stat : 32013 (java) S 32004 32004 31735 0 -1 64 3959 0 1 0 423 7 0 0 17 0 10 0 647066497 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=32012/tid=32014] ppid=32004 vsize=198460 CPUtime=1.03
/proc/32012/task/32014/stat : 32014 (java) S 32004 32004 31735 0 -1 64 8699 0 0 0 92 11 0 0 16 0 10 0 647066498 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32012/tid=32015] ppid=32004 vsize=198460 CPUtime=0
/proc/32012/task/32015/stat : 32015 (java) S 32004 32004 31735 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 647066498 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32012/tid=32016] ppid=32004 vsize=198460 CPUtime=0
/proc/32012/task/32016/stat : 32016 (java) S 32004 32004 31735 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 647066498 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32012/tid=32017] ppid=32004 vsize=198460 CPUtime=0
/proc/32012/task/32017/stat : 32017 (java) S 32004 32004 31735 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 647066500 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32012/tid=32018] ppid=32004 vsize=198460 CPUtime=0.23
/proc/32012/task/32018/stat : 32018 (java) S 32004 32004 31735 0 -1 64 810 0 0 0 23 0 0 0 16 0 10 0 647066500 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32012/tid=32019] ppid=32004 vsize=198460 CPUtime=0
/proc/32012/task/32019/stat : 32019 (java) S 32004 32004 31735 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 647066500 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32012/tid=32020] ppid=32004 vsize=198460 CPUtime=0
/proc/32012/task/32020/stat : 32020 (java) S 32004 32004 31735 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 647066500 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32012/tid=32021] ppid=32004 vsize=198460 CPUtime=0
/proc/32012/task/32021/stat : 32021 (java) S 32004 32004 31735 0 -1 64 60 0 0 0 0 0 0 0 16 0 10 0 647067046 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 872848

[startup+102.307 s]
/proc/loadavg: 3.13 3.09 2.55 3/105 32032
/proc/meminfo: memFree=15104/2055920 swapFree=4176992/4192956
[pid=32004] ppid=32002 vsize=5360 CPUtime=40.67
/proc/32004/stat : 32004 (hydra) S 32002 32004 31735 0 -1 4194304 375 3790 0 0 0 0 4065 2 19 0 1 0 647062408 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32004/statm: 1340 238 196 169 0 51 0
[pid=32012] ppid=32004 vsize=198460 CPUtime=5.59
/proc/32012/stat : 32012 (java) S 32004 32004 31735 0 -1 0 14263 0 1 0 539 20 0 0 20 0 10 0 647066495 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32012/statm: 49615 9572 2544 9 0 44197 0
[pid=32022] ppid=32012 vsize=5356 CPUtime=0
/proc/32022/stat : 32022 (abscon) S 32012 32004 31735 0 -1 4194304 306 0 0 0 0 0 0 0 19 0 1 0 647067046 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 243665527620 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/32022/statm: 1339 235 194 169 0 50 0
[pid=32023] ppid=32022 vsize=656628 CPUtime=55.6
/proc/32023/stat : 32023 (java) S 32022 32004 31735 0 -1 0 23122 0 1 0 5546 14 0 0 20 0 9 0 647067047 672387072 22404 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32023/statm: 164157 22404 2617 9 0 158685 0
[pid=32023/tid=32025] ppid=32022 vsize=656628 CPUtime=55.04
/proc/32023/task/32025/stat : 32025 (java) R 32022 32004 31735 0 -1 64 12557 0 1 0 5495 9 0 0 25 0 9 0 647067048 672387072 22404 996147200 134512640 134550740 4294955808 18446744073709551615 4126876520 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32023/tid=32026] ppid=32022 vsize=656628 CPUtime=0.22
/proc/32023/task/32026/stat : 32026 (java) S 32022 32004 31735 0 -1 64 9234 0 0 0 19 3 0 0 17 0 9 0 647067049 672387072 22404 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32023/tid=32027] ppid=32022 vsize=656628 CPUtime=0
/proc/32023/task/32027/stat : 32027 (java) S 32022 32004 31735 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 647067049 672387072 22404 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32023/tid=32028] ppid=32022 vsize=656628 CPUtime=0
/proc/32023/task/32028/stat : 32028 (java) S 32022 32004 31735 0 -1 64 20 0 0 0 0 0 0 0 15 0 9 0 647067049 672387072 22404 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32023/tid=32029] ppid=32022 vsize=656628 CPUtime=0
/proc/32023/task/32029/stat : 32029 (java) S 32022 32004 31735 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 647067051 672387072 22404 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32023/tid=32030] ppid=32022 vsize=656628 CPUtime=0.3

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

[pid=32012] ppid=32004 vsize=198460 CPUtime=5.59
/proc/32012/stat : 32012 (java) S 32004 32004 31735 0 -1 0 14263 0 1 0 539 20 0 0 20 0 10 0 647066495 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32012/statm: 49615 9572 2544 9 0 44197 0
[pid=32022] ppid=32012 vsize=5356 CPUtime=0
/proc/32022/stat : 32022 (abscon) S 32012 32004 31735 0 -1 4194304 306 0 0 0 0 0 0 0 19 0 1 0 647067046 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 243665527620 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/32022/statm: 1339 235 194 169 0 50 0
[pid=32023] ppid=32022 vsize=656628 CPUtime=147.93
/proc/32023/stat : 32023 (java) S 32022 32004 31735 0 -1 0 23140 0 1 0 14776 17 0 0 20 0 9 0 647067047 672387072 22414 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32023/statm: 164157 22414 2617 9 0 158685 0
[pid=32023/tid=32025] ppid=32022 vsize=656628 CPUtime=147.34
/proc/32023/task/32025/stat : 32025 (java) R 32022 32004 31735 0 -1 64 12561 0 1 0 14722 12 0 0 25 0 9 0 647067048 672387072 22414 996147200 134512640 134550740 4294955808 18446744073709551615 4126878896 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32023/tid=32026] ppid=32022 vsize=656628 CPUtime=0.22
/proc/32023/task/32026/stat : 32026 (java) S 32022 32004 31735 0 -1 64 9234 0 0 0 19 3 0 0 16 0 9 0 647067049 672387072 22414 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32023/tid=32027] ppid=32022 vsize=656628 CPUtime=0
/proc/32023/task/32027/stat : 32027 (java) S 32022 32004 31735 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 647067049 672387072 22414 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32023/tid=32028] ppid=32022 vsize=656628 CPUtime=0
/proc/32023/task/32028/stat : 32028 (java) S 32022 32004 31735 0 -1 64 20 0 0 0 0 0 0 0 15 0 9 0 647067049 672387072 22414 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32023/tid=32029] ppid=32022 vsize=656628 CPUtime=0
/proc/32023/task/32029/stat : 32029 (java) S 32022 32004 31735 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 647067051 672387072 22414 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32023/tid=32030] ppid=32022 vsize=656628 CPUtime=0.33
/proc/32023/task/32030/stat : 32030 (java) S 32022 32004 31735 0 -1 64 786 0 0 0 32 1 0 0 15 0 9 0 647067051 672387072 22414 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32023/tid=32031] ppid=32022 vsize=656628 CPUtime=0
/proc/32023/task/32031/stat : 32031 (java) S 32022 32004 31735 0 -1 64 0 0 0 0 0 0 0 0 22 0 9 0 647067051 672387072 22414 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32023/tid=32032] ppid=32022 vsize=656628 CPUtime=0
/proc/32023/task/32032/stat : 32032 (java) S 32022 32004 31735 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 647067051 672387072 22414 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32024] ppid=32022 vsize=7044 CPUtime=0
/proc/32024/stat : 32024 (translate) S 32022 32004 31735 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 647067047 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 243665698898 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/32024/statm: 1761 213 182 1 0 41 0
[pid=32012/tid=32013] ppid=32004 vsize=198460 CPUtime=4.3
/proc/32012/task/32013/stat : 32013 (java) S 32004 32004 31735 0 -1 64 3959 0 1 0 423 7 0 0 17 0 10 0 647066497 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=32012/tid=32014] ppid=32004 vsize=198460 CPUtime=1.03
/proc/32012/task/32014/stat : 32014 (java) S 32004 32004 31735 0 -1 64 8699 0 0 0 92 11 0 0 16 0 10 0 647066498 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32012/tid=32015] ppid=32004 vsize=198460 CPUtime=0
/proc/32012/task/32015/stat : 32015 (java) S 32004 32004 31735 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 647066498 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32012/tid=32016] ppid=32004 vsize=198460 CPUtime=0
/proc/32012/task/32016/stat : 32016 (java) S 32004 32004 31735 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 647066498 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32012/tid=32017] ppid=32004 vsize=198460 CPUtime=0
/proc/32012/task/32017/stat : 32017 (java) S 32004 32004 31735 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 647066500 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32012/tid=32018] ppid=32004 vsize=198460 CPUtime=0.23
/proc/32012/task/32018/stat : 32018 (java) S 32004 32004 31735 0 -1 64 810 0 0 0 23 0 0 0 16 0 10 0 647066500 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32012/tid=32019] ppid=32004 vsize=198460 CPUtime=0
/proc/32012/task/32019/stat : 32019 (java) S 32004 32004 31735 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 647066500 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32012/tid=32020] ppid=32004 vsize=198460 CPUtime=0
/proc/32012/task/32020/stat : 32020 (java) S 32004 32004 31735 0 -1 64 9 0 0 0 0 0 0 0 15 0 10 0 647066500 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32012/tid=32021] ppid=32004 vsize=198460 CPUtime=0
/proc/32012/task/32021/stat : 32021 (java) S 32004 32004 31735 0 -1 64 60 0 0 0 0 0 0 0 16 0 10 0 647067046 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 194.19
Current children cumulated vsize (KiB) 872848

[startup+195.503 s]
/proc/loadavg: 3.17 3.10 2.60 3/105 32032
/proc/meminfo: memFree=15808/2055920 swapFree=4176992/4192956
[pid=32004] ppid=32002 vsize=5360 CPUtime=40.67
/proc/32004/stat : 32004 (hydra) S 32002 32004 31735 0 -1 4194304 375 3790 0 0 0 0 4065 2 19 0 1 0 647062408 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32004/statm: 1340 238 196 169 0 51 0
[pid=32012] ppid=32004 vsize=198460 CPUtime=5.59
/proc/32012/stat : 32012 (java) S 32004 32004 31735 0 -1 0 14263 0 1 0 539 20 0 0 20 0 10 0 647066495 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32012/statm: 49615 9572 2544 9 0 44197 0
[pid=32022] ppid=32012 vsize=5356 CPUtime=0
/proc/32022/stat : 32022 (abscon) S 32012 32004 31735 0 -1 4194304 306 0 0 0 0 0 0 0 19 0 1 0 647067046 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 243665527620 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/32022/statm: 1339 235 194 169 0 50 0
[pid=32023] ppid=32022 vsize=656628 CPUtime=148.32
/proc/32023/stat : 32023 (java) S 32022 32004 31735 0 -1 0 23143 0 1 0 14815 17 0 0 20 0 9 0 647067047 672387072 22417 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32023/statm: 164157 22417 2617 9 0 158685 0
[pid=32023/tid=32025] ppid=32022 vsize=656628 CPUtime=147.73
/proc/32023/task/32025/stat : 32025 (java) R 32022 32004 31735 0 -1 64 12561 0 1 0 14761 12 0 0 25 0 9 0 647067048 672387072 22417 996147200 134512640 134550740 4294955808 18446744073709551615 4126881668 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32023/tid=32026] ppid=32022 vsize=656628 CPUtime=0.22
/proc/32023/task/32026/stat : 32026 (java) S 32022 32004 31735 0 -1 64 9234 0 0 0 19 3 0 0 16 0 9 0 647067049 672387072 22417 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32023/tid=32027] ppid=32022 vsize=656628 CPUtime=0
/proc/32023/task/32027/stat : 32027 (java) S 32022 32004 31735 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 647067049 672387072 22417 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32023/tid=32028] ppid=32022 vsize=656628 CPUtime=0
/proc/32023/task/32028/stat : 32028 (java) S 32022 32004 31735 0 -1 64 20 0 0 0 0 0 0 0 15 0 9 0 647067049 672387072 22417 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32023/tid=32029] ppid=32022 vsize=656628 CPUtime=0
/proc/32023/task/32029/stat : 32029 (java) S 32022 32004 31735 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 647067051 672387072 22417 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32023/tid=32030] ppid=32022 vsize=656628 CPUtime=0.34
/proc/32023/task/32030/stat : 32030 (java) S 32022 32004 31735 0 -1 64 789 0 0 0 33 1 0 0 15 0 9 0 647067051 672387072 22417 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32023/tid=32031] ppid=32022 vsize=656628 CPUtime=0
/proc/32023/task/32031/stat : 32031 (java) S 32022 32004 31735 0 -1 64 0 0 0 0 0 0 0 0 22 0 9 0 647067051 672387072 22417 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32023/tid=32032] ppid=32022 vsize=656628 CPUtime=0
/proc/32023/task/32032/stat : 32032 (java) S 32022 32004 31735 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 647067051 672387072 22417 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32024] ppid=32022 vsize=7044 CPUtime=0
/proc/32024/stat : 32024 (translate) S 32022 32004 31735 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 647067047 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 243665698898 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/32024/statm: 1761 213 182 1 0 41 0
[pid=32012/tid=32013] ppid=32004 vsize=198460 CPUtime=4.3
/proc/32012/task/32013/stat : 32013 (java) S 32004 32004 31735 0 -1 64 3959 0 1 0 423 7 0 0 17 0 10 0 647066497 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=32012/tid=32014] ppid=32004 vsize=198460 CPUtime=1.03
/proc/32012/task/32014/stat : 32014 (java) S 32004 32004 31735 0 -1 64 8699 0 0 0 92 11 0 0 16 0 10 0 647066498 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32012/tid=32015] ppid=32004 vsize=198460 CPUtime=0
/proc/32012/task/32015/stat : 32015 (java) S 32004 32004 31735 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 647066498 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32012/tid=32016] ppid=32004 vsize=198460 CPUtime=0
/proc/32012/task/32016/stat : 32016 (java) S 32004 32004 31735 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 647066498 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32012/tid=32017] ppid=32004 vsize=198460 CPUtime=0
/proc/32012/task/32017/stat : 32017 (java) S 32004 32004 31735 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 647066500 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32012/tid=32018] ppid=32004 vsize=198460 CPUtime=0.23
/proc/32012/task/32018/stat : 32018 (java) S 32004 32004 31735 0 -1 64 810 0 0 0 23 0 0 0 16 0 10 0 647066500 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32012/tid=32019] ppid=32004 vsize=198460 CPUtime=0
/proc/32012/task/32019/stat : 32019 (java) S 32004 32004 31735 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 647066500 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32012/tid=32020] ppid=32004 vsize=198460 CPUtime=0
/proc/32012/task/32020/stat : 32020 (java) S 32004 32004 31735 0 -1 64 9 0 0 0 0 0 0 0 15 0 10 0 647066500 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32012/tid=32021] ppid=32004 vsize=198460 CPUtime=0
/proc/32012/task/32021/stat : 32021 (java) S 32004 32004 31735 0 -1 64 60 0 0 0 0 0 0 0 16 0 10 0 647067046 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 194.58
Current children cumulated vsize (KiB) 872848

[startup+195.703 s]
/proc/loadavg: 3.17 3.10 2.60 3/105 32032
/proc/meminfo: memFree=15744/2055920 swapFree=4176992/4192956
[pid=32004] ppid=32002 vsize=5360 CPUtime=40.67
/proc/32004/stat : 32004 (hydra) S 32002 32004 31735 0 -1 4194304 375 3790 0 0 0 0 4065 2 19 0 1 0 647062408 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32004/statm: 1340 238 196 169 0 51 0
[pid=32012] ppid=32004 vsize=198460 CPUtime=5.59
/proc/32012/stat : 32012 (java) S 32004 32004 31735 0 -1 0 14263 0 1 0 539 20 0 0 20 0 10 0 647066495 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32012/statm: 49615 9572 2544 9 0 44197 0
[pid=32022] ppid=32012 vsize=5356 CPUtime=0
/proc/32022/stat : 32022 (abscon) S 32012 32004 31735 0 -1 4194304 306 0 0 0 0 0 0 0 19 0 1 0 647067046 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 243665527620 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/32022/statm: 1339 235 194 169 0 50 0
[pid=32023] ppid=32022 vsize=656628 CPUtime=148.52
/proc/32023/stat : 32023 (java) S 32022 32004 31735 0 -1 0 23146 0 1 0 14835 17 0 0 20 0 9 0 647067047 672387072 22419 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32023/statm: 164157 22419 2617 9 0 158685 0
[pid=32023/tid=32025] ppid=32022 vsize=656628 CPUtime=147.94
/proc/32023/task/32025/stat : 32025 (java) R 32022 32004 31735 0 -1 64 12564 0 1 0 14782 12 0 0 25 0 9 0 647067048 672387072 22419 996147200 134512640 134550740 4294955808 18446744073709551615 4127289254 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32023/tid=32026] ppid=32022 vsize=656628 CPUtime=0.22
/proc/32023/task/32026/stat : 32026 (java) S 32022 32004 31735 0 -1 64 9234 0 0 0 19 3 0 0 17 0 9 0 647067049 672387072 22419 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32023/tid=32027] ppid=32022 vsize=656628 CPUtime=0
/proc/32023/task/32027/stat : 32027 (java) S 32022 32004 31735 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 647067049 672387072 22419 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32023/tid=32028] ppid=32022 vsize=656628 CPUtime=0
/proc/32023/task/32028/stat : 32028 (java) S 32022 32004 31735 0 -1 64 20 0 0 0 0 0 0 0 15 0 9 0 647067049 672387072 22419 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32023/tid=32029] ppid=32022 vsize=656628 CPUtime=0
/proc/32023/task/32029/stat : 32029 (java) S 32022 32004 31735 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 647067051 672387072 22419 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32023/tid=32030] ppid=32022 vsize=656628 CPUtime=0.34
/proc/32023/task/32030/stat : 32030 (java) S 32022 32004 31735 0 -1 64 789 0 0 0 33 1 0 0 15 0 9 0 647067051 672387072 22419 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32023/tid=32031] ppid=32022 vsize=656628 CPUtime=0
/proc/32023/task/32031/stat : 32031 (java) S 32022 32004 31735 0 -1 64 0 0 0 0 0 0 0 0 22 0 9 0 647067051 672387072 22419 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32023/tid=32032] ppid=32022 vsize=656628 CPUtime=0
/proc/32023/task/32032/stat : 32032 (java) S 32022 32004 31735 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 647067051 672387072 22419 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32024] ppid=32022 vsize=7044 CPUtime=0
/proc/32024/stat : 32024 (translate) S 32022 32004 31735 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 647067047 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 243665698898 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/32024/statm: 1761 213 182 1 0 41 0
[pid=32012/tid=32013] ppid=32004 vsize=198460 CPUtime=4.3
/proc/32012/task/32013/stat : 32013 (java) S 32004 32004 31735 0 -1 64 3959 0 1 0 423 7 0 0 17 0 10 0 647066497 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=32012/tid=32014] ppid=32004 vsize=198460 CPUtime=1.03
/proc/32012/task/32014/stat : 32014 (java) S 32004 32004 31735 0 -1 64 8699 0 0 0 92 11 0 0 16 0 10 0 647066498 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32012/tid=32015] ppid=32004 vsize=198460 CPUtime=0
/proc/32012/task/32015/stat : 32015 (java) S 32004 32004 31735 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 647066498 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32012/tid=32016] ppid=32004 vsize=198460 CPUtime=0
/proc/32012/task/32016/stat : 32016 (java) S 32004 32004 31735 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 647066498 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32012/tid=32017] ppid=32004 vsize=198460 CPUtime=0
/proc/32012/task/32017/stat : 32017 (java) S 32004 32004 31735 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 647066500 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32012/tid=32018] ppid=32004 vsize=198460 CPUtime=0.23
/proc/32012/task/32018/stat : 32018 (java) S 32004 32004 31735 0 -1 64 810 0 0 0 23 0 0 0 16 0 10 0 647066500 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32012/tid=32019] ppid=32004 vsize=198460 CPUtime=0
/proc/32012/task/32019/stat : 32019 (java) S 32004 32004 31735 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 647066500 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32012/tid=32020] ppid=32004 vsize=198460 CPUtime=0
/proc/32012/task/32020/stat : 32020 (java) S 32004 32004 31735 0 -1 64 9 0 0 0 0 0 0 0 15 0 10 0 647066500 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32012/tid=32021] ppid=32004 vsize=198460 CPUtime=0
/proc/32012/task/32021/stat : 32021 (java) S 32004 32004 31735 0 -1 64 60 0 0 0 0 0 0 0 16 0 10 0 647067046 203223040 9572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 194.78
Current children cumulated vsize (KiB) 872848

[startup+195.808 s]
/proc/loadavg: 3.17 3.10 2.60 3/105 32032
/proc/meminfo: memFree=15744/2055920 swapFree=4176992/4192956
[pid=32004] ppid=32002 vsize=5360 CPUtime=40.67
/proc/32004/stat : 32004 (hydra) S 32002 32004 31735 0 -1 4194304 375 3790 0 0 0 0 4065 2 19 0 1 0 647062408 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32004/statm: 1340 238 196 169 0 51 0
[pid=32012] ppid=32004 vsize=0 CPUtime=154.17
/proc/32012/stat : 32012 (java) R 32004 32004 31735 0 -1 1028 14357 23764 1 1 539 20 14838 20 16 0 1 0 647066495 0 0 996147200 0 0 0 0 0 0 0 0 16800975 0 0 0 17 1 0 0
/proc/32012/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 194.84
Current children cumulated vsize (KiB) 5360

Child status: 0
Real time (s): 195.81
CPU time (s): 194.882
CPU user time (s): 194.442
CPU system time (s): 0.439933
CPU usage (%): 99.5265
Max. virtual memory (cumulated for all children) (KiB): 872848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 194.442
system time used= 0.439933
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42298
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16753
involuntary context switches= 16493

runsolver used 0.673897 second user time and 1.74473 second system time

The end

Launcher Data (download as text)

Begin job on node84 at 2008-07-05 09:03:42
IDJOB=1086835
IDBENCH=57885
IDSOLVER=366
FILE ID=node84/1086835-1215241422
PBS_JOBID= 7881979
Free space on /tmp= 65716 MiB

SOLVER NAME= cpHydra k_40
BENCH NAME= CPAI08/csp/fapp/fapp31/normalized-fapp31-0400-7.xml
COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME 
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086835-1215241422/watcher-1086835-1215241422 -o /tmp/evaluation-result-1086835-1215241422/solver-1086835-1215241422 -C 1800 -W 2200 -M 900 --output-limit 1,15  HOME/cpHydra_k_40/hydra HOME/instance-1086835-1215241422.xml 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= b6ccf6de2a96d16153e1dfc9d32ad1be
RANDOM SEED=1034906313

node84.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:         99856 kB
Buffers:         37576 kB
Cached:        1682500 kB
SwapCached:      10116 kB
Active:        1095024 kB
Inactive:       790436 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:         99856 kB
SwapTotal:     4192956 kB
SwapFree:      4176992 kB
Dirty:          208324 kB
Writeback:       12136 kB
Mapped:         181896 kB
Slab:            55368 kB
Committed_AS:  1401808 kB
PageTables:       2200 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 65316 MiB
End job on node84 at 2008-07-05 09:06:59