Trace number 1085722

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 85.8569 87.073

DiagnosticValue
ASSIGNMENTS750
CHECKS6436050

General information on the benchmark

Namecsp/fapp/fapp34/
normalized-fapp34-0750-4.xml
MD5SUM1196fad89b5a5a4f355ab65ef889a576
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 benchmark28.6446
Satisfiable
(Un)Satisfiability was proved
Number of variables750
Number of constraints8639
Maximum constraint arity2
Maximum domain size998
Number of constraints which are defined in extension0
Number of constraints which are defined in intension8639
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.00	c cpHydra_k_40 version 0.0
57.42/57.95	c CASE TO CLASSIFY:
57.42/57.95	c Case: 0
57.42/57.95	c 19 >  99.884200 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.616000 | c 15 >  13.231400 | c 34 >  68.173400 | c 16 >   2.000000 | c 13 >   2.612610 | c 14 >  -1.000000 | c 11 >   9.550750 | c 12 >   4.525900 | c 21 >  20.971100 | c 20 >   0.115754 | c 22 >  31.591100 | c 23 >   7.420790 | c 24 >   1.410440 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >   4.247930 | c 2 >  -1.000000 | c 10 >  13.081600 | 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.499900 | c 31 >  -1.000000 | c 4 >   9.513730 | c 9 >  -1.000000 | c 8 >   4.954200 | c
57.42/57.96	c choco : 1801.0
57.42/57.96	c mistral : 1801.0
57.42/57.96	c abscon : 1801.0
57.42/57.96	c
57.42/57.96	c
57.52/58.04	c List of same ones: 40
57.52/58.04	c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-10.xml
57.52/58.04	c 19 >  99.884200 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.616000 | c 15 >   8.276120 | c 34 >  68.173400 | c 16 >   2.000000 | c 13 >   2.612610 | c 14 >  -1.000000 | c 11 >   9.550750 | c 12 >   4.525900 | c 21 >  20.971100 | c 20 >   0.115754 | c 22 >  31.591100 | c 23 >   7.420790 | c 24 >   1.410440 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >   4.247930 | c 2 >  -1.000000 | c 10 >  13.081600 | 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.499900 | c 31 >  -1.000000 | c 4 >   9.513730 | c 9 >  -1.000000 | c 8 >   4.954200 | c
57.52/58.05	c choco : 1801.0
57.52/58.05	c mistral : 1800.05
57.52/58.05	c abscon : 12.839
57.52/58.05	c
57.52/58.05	c
57.52/58.05	c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-4.xml
57.52/58.05	c 19 >  99.884200 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.616000 | c 15 >   8.257390 | c 34 >  68.173400 | c 16 >   2.000000 | c 13 >   2.612610 | c 14 >  -1.000000 | c 11 >   9.550750 | c 12 >   4.525900 | c 21 >  20.971100 | c 20 >   0.115754 | c 22 >  31.591100 | c 23 >   7.420790 | c 24 >   1.410440 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >   4.247930 | c 2 >  -1.000000 | c 10 >  13.081600 | 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.499900 | c 31 >  -1.000000 | c 4 >   9.513730 | c 9 >  -1.000000 | c 8 >   4.954200 | c
57.52/58.06	c choco : 1801.0
57.52/58.06	c mistral : 1800.06
57.52/58.06	c abscon : 10.8833
57.52/58.06	c
57.52/58.06	c
57.52/58.06	c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-7.xml
57.52/58.06	c 19 >  99.884200 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.616000 | c 15 >   8.257390 | c 34 >  68.173400 | c 16 >   2.000000 | c 13 >   2.612610 | c 14 >  -1.000000 | c 11 >   9.550750 | c 12 >   4.525900 | c 21 >  20.971100 | c 20 >   0.115754 | c 22 >  31.591100 | c 23 >   7.420790 | c 24 >   1.410440 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >   4.247930 | c 2 >  -1.000000 | c 10 >  13.081600 | 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.499900 | c 31 >  -1.000000 | c 4 >   9.513730 | c 9 >  -1.000000 | c 8 >   4.954200 | c
57.52/58.06	c choco : 1801.0
57.52/58.06	c mistral : 1800.02
57.52/58.06	c abscon : 11.0383
57.52/58.06	c
57.52/58.06	c
57.52/58.06	c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-8.xml
57.52/58.06	c 19 >  99.884200 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.616000 | c 15 >   8.257390 | c 34 >  68.173400 | c 16 >   2.000000 | c 13 >   2.612610 | c 14 >  -1.000000 | c 11 >   9.550750 | c 12 >   4.525900 | c 21 >  20.971100 | c 20 >   0.115754 | c 22 >  31.591100 | c 23 >   7.420790 | c 24 >   1.410440 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >   4.247930 | c 2 >  -1.000000 | c 10 >  13.081600 | 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.499900 | c 31 >  -1.000000 | c 4 >   9.513730 | c 9 >  -1.000000 | c 8 >   4.954200 | c
57.52/58.07	c choco : 1801.0
57.52/58.07	c mistral : 1800.03
57.52/58.07	c abscon : 11.1703
57.52/58.07	c
57.52/58.07	c
57.52/58.07	c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-2.xml
57.52/58.07	c 19 >  99.884200 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.616000 | c 15 >   8.243170 | c 34 >  68.173400 | c 16 >   2.000000 | c 13 >   2.612610 | c 14 >  -1.000000 | c 11 >   9.550750 | c 12 >   4.525900 | c 21 >  20.971100 | c 20 >   0.115754 | c 22 >  31.591100 | c 23 >   7.420790 | c 24 >   1.410440 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >   4.247930 | c 2 >  -1.000000 | c 10 >  13.081600 | 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.499900 | c 31 >  -1.000000 | c 4 >   9.513730 | c 9 >  -1.000000 | c 8 >   4.954200 | c
57.52/58.09	c choco : 1801.0
57.52/58.09	c mistral : 1800.02
57.52/58.09	c abscon : 8.32673
57.52/58.09	c
57.52/58.09	c
57.52/58.09	c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-5.xml
57.52/58.09	c 19 >  99.884200 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.616000 | c 15 >   8.243170 | c 34 >  68.173400 | c 16 >   2.000000 | c 13 >   2.612610 | c 14 >  -1.000000 | c 11 >   9.550750 | c 12 >   4.525900 | c 21 >  20.971100 | c 20 >   0.115754 | c 22 >  31.591100 | c 23 >   7.420790 | c 24 >   1.410440 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >   4.247930 | c 2 >  -1.000000 | c 10 >  13.081600 | 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.499900 | c 31 >  -1.000000 | c 4 >   9.513730 | c 9 >  -1.000000 | c 8 >   4.954200 | c
57.52/58.10	c choco : 1801.0
57.52/58.10	c mistral : 1800.07
57.52/58.10	c abscon : 10.7124
57.52/58.10	c
57.52/58.10	c
57.52/58.10	c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-6.xml
57.52/58.10	c 19 >  99.884200 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.616000 | c 15 >   8.243170 | c 34 >  68.173400 | c 16 >   2.000000 | c 13 >   2.612610 | c 14 >  -1.000000 | c 11 >   9.550750 | c 12 >   4.525900 | c 21 >  20.971100 | c 20 >   0.115754 | c 22 >  31.591100 | c 23 >   7.420790 | c 24 >   1.410440 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >   4.247930 | c 2 >  -1.000000 | c 10 >  13.081600 | 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.499900 | c 31 >  -1.000000 | c 4 >   9.513730 | c 9 >  -1.000000 | c 8 >   4.954200 | c
57.60/58.10	c choco : 1801.0
57.60/58.10	c mistral : 1800.04
57.60/58.10	c abscon : 11.1603
57.60/58.10	c
57.60/58.10	c
57.60/58.10	c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-3.xml
57.60/58.10	c 19 >  99.884200 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.616000 | c 15 >   8.238400 | c 34 >  68.173400 | c 16 >   2.000000 | c 13 >   2.612610 | c 14 >  -1.000000 | c 11 >   9.550750 | c 12 >   4.525900 | c 21 >  20.971100 | c 20 >   0.115754 | c 22 >  31.591100 | c 23 >   7.420790 | c 24 >   1.410440 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >   4.247930 | c 2 >  -1.000000 | c 10 >  13.081600 | 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.499900 | c 31 >  -1.000000 | c 4 >   9.513730 | c 9 >  -1.000000 | c 8 >   4.954200 | c
57.60/58.11	c choco : 1801.0
57.60/58.11	c mistral : 1800.03
57.60/58.11	c abscon : 8.19975
57.60/58.11	c
57.60/58.11	c
57.60/58.11	c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-1.xml
57.60/58.11	c 19 >  99.884200 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.616000 | c 15 >   8.224000 | c 34 >  68.173400 | c 16 >   2.000000 | c 13 >   2.612610 | c 14 >  -1.000000 | c 11 >   9.550750 | c 12 >   4.525900 | c 21 >  20.971100 | c 20 >   0.115754 | c 22 >  31.591100 | c 23 >   7.420790 | c 24 >   1.410440 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >   4.247930 | c 2 >  -1.000000 | c 10 >  13.081600 | 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.499900 | c 31 >  -1.000000 | c 4 >   9.513730 | c 9 >  -1.000000 | c 8 >   4.954200 | c
57.60/58.12	c choco : 1801.0
57.60/58.12	c mistral : 176.95
57.60/58.12	c abscon : 7.68983
57.60/58.12	c
57.60/58.12	c
57.60/58.12	c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-0.xml
57.60/58.12	c 19 >  99.884200 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.616000 | c 15 >   8.124120 | c 34 >  68.173400 | c 16 >   2.000000 | c 13 >   2.612610 | c 14 >  -1.000000 | c 11 >   9.550750 | c 12 >   4.525900 | c 21 >  20.971100 | c 20 >   0.115754 | c 22 >  31.591100 | c 23 >   7.420790 | c 24 >   1.410440 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >   4.247930 | c 2 >  -1.000000 | c 10 >  13.081600 | 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.499900 | c 31 >  -1.000000 | c 4 >   9.513730 | c 9 >  -1.000000 | c 8 >   4.954200 | c
57.60/58.13	c choco : 1801.0
57.60/58.13	c mistral : 421.415
57.60/58.13	c abscon : 7.29189
57.60/58.13	c
57.60/58.13	c
57.60/58.13	c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-9.xml
57.60/58.13	c 19 >  99.884200 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.616000 | c 15 >   7.960000 | c 34 >  68.173400 | c 16 >   2.000000 | c 13 >   2.612610 | c 14 >  -1.000000 | c 11 >   9.550750 | c 12 >   4.525900 | c 21 >  20.971100 | c 20 >   0.115754 | c 22 >  31.591100 | c 23 >   7.420790 | c 24 >   1.410440 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >   4.247930 | c 2 >  -1.000000 | c 10 >  13.081600 | 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.499900 | c 31 >  -1.000000 | c 4 >   9.513730 | c 9 >  -1.000000 | c 8 >   4.954200 | c
57.60/58.14	c choco : 1801.0
57.60/58.14	c mistral : 1800.09
57.60/58.14	c abscon : 12.1392
57.60/58.14	c
57.60/58.14	c
57.60/58.14	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-2.xml
57.60/58.14	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
57.60/58.15	c choco : 1801.0
57.60/58.15	c mistral : 91.925
57.60/58.15	c abscon : 8.97863
57.60/58.15	c
57.60/58.15	c
57.60/58.15	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-8.xml
57.60/58.15	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
57.60/58.17	c choco : 1801.0
57.60/58.17	c mistral : 1800.05
57.60/58.17	c abscon : 15.7666
57.60/58.17	c
57.60/58.17	c
57.60/58.17	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-1.xml
57.60/58.17	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
57.60/58.17	c choco : 1801.0
57.60/58.17	c mistral : 93.1378
57.60/58.17	c abscon : 8.34573
57.60/58.17	c
57.60/58.17	c
57.60/58.17	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-6.xml
57.60/58.18	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
57.60/58.18	c choco : 1801.0
57.60/58.18	c mistral : 574.22
57.60/58.18	c abscon : 8.86065
57.60/58.18	c
57.60/58.18	c
57.60/58.18	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-0.xml
57.60/58.18	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
57.77/58.38	c choco : 1801.0
57.77/58.38	c mistral : 81.4106
57.77/58.38	c abscon : 8.81466
57.77/58.38	c
57.77/58.38	c
57.77/58.38	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-10.xml
57.77/58.38	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
57.77/58.39	c choco : 1801.0
57.77/58.39	c mistral : 1800.03
57.77/58.39	c abscon : 16.9624
57.77/58.39	c
57.77/58.39	c
57.77/58.39	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-3.xml
57.77/58.39	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
57.77/58.39	c choco : 1801.0
57.77/58.39	c mistral : 69.4484
57.77/58.39	c abscon : 8.71567
57.77/58.39	c
57.77/58.39	c
57.77/58.39	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-4.xml
57.77/58.39	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
57.85/58.40	c choco : 1801.0
57.85/58.40	c mistral : 146.325
57.85/58.40	c abscon : 9.08962
57.85/58.40	c
57.85/58.40	c
57.85/58.40	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-5.xml
57.85/58.40	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
57.85/58.41	c choco : 1801.0
57.85/58.41	c mistral : 182.049
57.85/58.41	c abscon : 8.90564
57.85/58.41	c
57.85/58.41	c
57.85/58.41	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-7.xml
57.85/58.41	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
57.85/58.42	c choco : 1801.0
57.85/58.42	c mistral : 744.68
57.85/58.42	c abscon : 15.7856
57.85/58.42	c
57.85/58.42	c
57.85/58.42	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-9.xml
57.85/58.42	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
57.85/58.42	c choco : 1801.0
57.85/58.42	c mistral : 1800.06
57.85/58.42	c abscon : 16.5685
57.85/58.42	c
57.85/58.42	c
57.85/58.42	c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-7.xml
57.85/58.42	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
57.85/58.43	c choco : 289.36
57.85/58.43	c mistral : 69.4914
57.85/58.43	c abscon : 8.48671
57.85/58.43	c
57.85/58.43	c
57.85/58.43	c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-1.xml
57.85/58.43	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
57.85/58.43	c choco : 165.46
57.85/58.44	c mistral : 105.964
57.85/58.44	c abscon : 5.62414
57.85/58.44	c
57.85/58.44	c
57.85/58.44	c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-3.xml
57.85/58.44	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
57.85/58.44	c choco : 241.66
57.85/58.44	c mistral : 109.272
57.85/58.44	c abscon : 5.81612
57.85/58.44	c
57.85/58.44	c
57.85/58.44	c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-6.xml
57.85/58.44	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
57.85/58.45	c choco : 222.88
57.85/58.45	c mistral : 87.2887
57.85/58.45	c abscon : 8.36073
57.85/58.45	c
57.85/58.45	c
57.85/58.45	c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-8.xml
57.85/58.45	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
57.85/58.45	c choco : 258.16
57.85/58.45	c mistral : 67.8027
57.85/58.45	c abscon : 8.5677
57.85/58.45	c
57.85/58.45	c
57.85/58.45	c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-10.xml
57.85/58.45	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
57.85/58.46	c choco : 162.09
57.85/58.46	c mistral : 106.35
57.85/58.46	c abscon : 8.83866
57.85/58.46	c
57.85/58.46	c
57.85/58.46	c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-5.xml
57.85/58.46	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
57.85/58.46	c choco : 123.79
57.85/58.46	c mistral : 119.313
57.85/58.46	c abscon : 5.86111
57.85/58.46	c
57.85/58.46	c
57.85/58.46	c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-9.xml
57.85/58.46	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
57.85/58.47	c choco : 1801.0
57.85/58.47	c mistral : 47.8137
57.85/58.47	c abscon : 8.48171
57.85/58.47	c
57.85/58.47	c
57.85/58.47	c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-2.xml
57.85/58.47	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
57.85/58.48	c choco : 178.61
57.85/58.48	c mistral : 98.855
57.85/58.48	c abscon : 5.66214
57.85/58.48	c
57.85/58.48	c
57.85/58.48	c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-0.xml
57.85/58.48	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
57.85/58.48	c choco : 159.33
57.85/58.48	c mistral : 105.658
57.85/58.48	c abscon : 5.68613
57.85/58.48	c
57.85/58.48	c
57.85/58.48	c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-4.xml
57.85/58.48	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
57.85/58.49	c choco : 135.43
57.85/58.49	c mistral : 106.651
57.85/58.49	c abscon : 5.69113
57.85/58.49	c
57.85/58.49	c
57.85/58.49	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-10.xml
57.85/58.49	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.642200 | c 15 >   7.118940 | c 34 >  68.545000 | c 16 >   2.000000 | c 13 >   4.415590 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.635340 | c 21 >  24.170300 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.500210 | c 24 >   0.519995 | 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.923000 | 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.478000 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
57.85/58.49	c choco : 1801.0
57.85/58.49	c mistral : 1800.11
57.85/58.49	c abscon : 63.4264
57.85/58.49	c
57.85/58.49	c
57.85/58.49	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-8.xml
57.85/58.49	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.642200 | c 15 >   7.022370 | c 34 >  68.545000 | c 16 >   2.000000 | c 13 >   4.415590 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.635340 | c 21 >  24.170300 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.500210 | c 24 >   0.519995 | 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.923000 | 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.478000 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
57.91/58.50	c choco : 1801.0
57.91/58.50	c mistral : 1800.07
57.91/58.50	c abscon : 60.5128
57.91/58.50	c
57.91/58.50	c
57.91/58.50	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-9.xml
57.91/58.50	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.642200 | c 15 >   7.022370 | c 34 >  68.545000 | c 16 >   2.000000 | c 13 >   4.415590 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.635340 | c 21 >  24.170300 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.500210 | c 24 >   0.519995 | 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.923000 | 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.478000 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
57.91/58.51	c choco : 1801.0
57.91/58.51	c mistral : 1800.05
57.91/58.51	c abscon : 61.2877
57.91/58.51	c
57.91/58.51	c
57.91/58.51	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-7.xml
57.91/58.51	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.642200 | c 15 >   6.988680 | c 34 >  68.545000 | c 16 >   2.000000 | c 13 >   4.415590 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.635340 | c 21 >  24.170300 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.500210 | c 24 >   0.519995 | 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.923000 | 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.478000 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
57.91/58.51	c choco : 1801.0
57.91/58.51	c mistral : 1800.03
57.91/58.51	c abscon : 47.3168
57.91/58.51	c
57.91/58.51	c
57.91/58.51	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-3.xml
57.91/58.51	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.642200 | c 15 >   6.977280 | c 34 >  68.545000 | c 16 >   2.000000 | c 13 >   4.415590 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.635340 | c 21 >  24.170300 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.500210 | c 24 >   0.519995 | 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.923000 | 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.478000 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
57.91/58.52	c choco : 1801.0
57.91/58.52	c mistral : 1800.03
57.91/58.52	c abscon : 40.7268
57.91/58.52	c
57.91/58.52	c
57.91/58.52	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-4.xml
57.91/58.52	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.642200 | c 15 >   6.930740 | c 34 >  68.545000 | c 16 >   2.000000 | c 13 >   4.415590 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.635340 | c 21 >  24.170300 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.500210 | c 24 >   0.519995 | 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.923000 | 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.478000 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
57.91/58.53	c choco : 1801.0
57.91/58.53	c mistral : 1800.08
57.91/58.53	c abscon : 44.5392
57.91/58.53	c
57.91/58.53	c
57.91/58.53	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-5.xml
57.91/58.53	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.642200 | c 15 >   6.906890 | c 34 >  68.545000 | c 16 >   2.000000 | c 13 >   4.415590 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.635340 | c 21 >  24.170300 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.500210 | c 24 >   0.519995 | 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.923000 | 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.478000 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
57.91/58.53	c choco : 1801.0
57.91/58.53	c mistral : 1800.04
57.91/58.54	c abscon : 45.897
57.91/58.54	c
57.91/58.54	c
57.91/58.54	c Length: 40
57.91/58.54	c 4.95528  4.974010000000002  4.974010000000002  4.974010000000002  4.9882300000000015  4.9882300000000015  4.9882300000000015  4.993  5.0074000000000005  5.107280000000001  5.271400000000001  11.029330385763044  11.037969027362596  11.060083839999406  11.060083839999406  11.064598787295271  11.069150209813579  11.069150209813579  11.069150209813579  11.069150209813579  11.069150209813579  11.069150209813579  11.670334272406938  11.705181032009543  11.705181032009543  11.742123915276826  11.742123915276826  11.756570528415843  11.76638479578651  11.776360574579737  11.781408680035506  11.796795248308584  11.903954865069675  12.727248982668684  12.773909071076913  12.773909071076913  12.79031869867366  12.79588669806204  12.818697899975685  12.830437488852088  
57.91/58.54	c 
57.91/58.54	c 1.0  0.9976272780646478  0.9976272780646478  0.9976272780646478  0.9958333899676439  0.9958333899676439  0.9958333899676439  0.9952330868191576  0.993425233306984  0.9810642808228074  0.961407729083745  0.5645594760390198  0.5642100649053275  0.5633175445628404  0.5633175445628404  0.5631356751117209  0.5629524552019618  0.5629524552019618  0.5629524552019618  0.5629524552019618  0.5629524552019618  0.5629524552019618  0.5397562158599212  0.5384701522813549  0.5384701522813549  0.5371134043565425  0.5371134043565425  0.5365847022103973  0.5362261231769824  0.5358621338917738  0.5356781303610241  0.5351180684317822  0.5312497673227297  0.5032973628215768  0.5018009808391146  0.5018009808391146  0.5012768392482038  0.5010992399217474  0.500372955892969  0.5  
57.91/58.55	c
57.91/58.55	c solver 0
57.91/58.55	c	  before 0.0 seconds: {} 0
57.91/58.55	c	  before 18.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} 23009
57.91/58.55	c	  before 54.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, 36, 37, 38, 39} 25012
57.91/58.55	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, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26519
57.91/58.55	c
57.91/58.55	c solver 1
57.91/58.55	c	  before 0.0 seconds: {} 0
57.91/58.55	c	  before 54.0 seconds: {29} 535
57.91/58.55	c	  before 72.0 seconds: {17, 22, 26, 29} 2175
57.91/58.55	c	  before 90.0 seconds: {15, 17, 22, 25, 26, 29} 3275
57.91/58.55	c	  before 108.0 seconds: {11, 13, 15, 17, 22, 23, 25, 26, 27, 29, 30, 31, 32} 7080
57.91/58.55	c	  before 126.0 seconds: {11, 13, 15, 17, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32} 8155
57.91/58.55	c	  before 162.0 seconds: {11, 13, 15, 17, 18, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32} 8718
57.91/58.55	c	  before 180.0 seconds: {8, 11, 13, 15, 17, 18, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32} 9711
57.91/58.55	c	  before 198.0 seconds: {8, 11, 13, 15, 17, 18, 19, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32} 10274
57.91/58.55	c	  before 432.0 seconds: {8, 9, 11, 13, 15, 17, 18, 19, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32} 11256
57.91/58.55	c	  before 576.0 seconds: {8, 9, 11, 13, 14, 15, 17, 18, 19, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32} 11819
57.91/58.55	c	  before 756.0 seconds: {8, 9, 11, 13, 14, 15, 17, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32} 12382
57.91/58.55	c
57.91/58.55	c solver 2
57.91/58.55	c	  before 0.0 seconds: {} 0
57.91/58.56	c	  before 126.0 seconds: {28} 536
57.91/58.56	c	  before 144.0 seconds: {28, 32} 1067
57.91/58.56	c	  before 162.0 seconds: {28, 31, 32} 1602
57.91/58.56	c	  before 180.0 seconds: {23, 27, 28, 30, 31, 32} 3213
57.91/58.56	c	  before 234.0 seconds: {23, 25, 27, 28, 30, 31, 32} 3750
57.91/58.56	c	  before 252.0 seconds: {23, 24, 25, 27, 28, 30, 31, 32} 4288
57.91/58.56	c	  before 270.0 seconds: {23, 24, 25, 26, 27, 28, 30, 31, 32} 4826
57.91/58.56	c	  before 306.0 seconds: {22, 23, 24, 25, 26, 27, 28, 30, 31, 32} 5365
57.91/58.56	c
57.91/58.56	cTotal time: 63
57.91/58.56	c 1134.0 seconds unused
57.91/58.56	c 0 c 19 c 30 
57.91/58.56	c 0 c 0 c 11 
57.91/58.56	c 0 c 0 c 0 
57.91/58.56	c is solver0 dominated by:
57.91/58.56	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)
57.91/58.56	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)
57.91/58.56	c is dominated? false
57.91/58.56	c
57.91/58.56	c is solver1 dominated by:
57.91/58.56	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)
57.91/58.56	c is dominated? true
57.91/58.56	c
57.91/58.56	c is solver2 dominated by:
57.91/58.56	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)
57.91/58.56	c is dominated? true
57.91/58.56	c
57.91/58.56	c Number of non-dominated solvers: 1
57.91/58.56	c remove dominated solvers
57.91/58.56	c solver 0 is not dominated by another solver
57.91/58.56	c solver 2 is dominated by another solver
57.91/58.56	c solver 1 is dominated by another solver
57.91/58.56	c
57.91/58.56	c solver 0: 72.0
57.91/58.56	c
57.91/58.56	c+ 4/4 of 96
57.91/58.56	c
57.91/58.56	c solver 1: 0.0
57.91/58.56	c
57.91/58.56	c solver 2: 0.0
57.91/58.56	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} 26519
57.91/58.56	c	 do not run mistral
57.91/58.56	c	 do not run choco
57.91/58.56	c Starting solver: HOME/cpHydra_k_40/solver/abscon
57.91/58.56	c On Instance: HOME/instance-1085722-1215235259.xml
57.91/58.56	c Running for: 1800 seconds
85.79/87.01	s SAT
85.79/87.01	v  -2512 -2558 -3090 -3312 -3352 -3130 2554 -2478 2992 -2758 -2624 -2576 2588 -2758 -3036 -2616 -3044 2562 -3142 -2620 -2584 -2564 2564 -2518 -3044 -2562 3272 -3352 2616 2616 -2828 2756 -2578 -2854 3150 -2482 -3102 3302 -3096 -3352 -2788 -2796 -2996 -3076 -2788 -2604 3352 -2732 2582 -2788 -2518 -3190 -2890 -3150 -2604 3012 -2798 -2506 -2584 -2518 -2568 2576 2796 2784 -2828 -2478 -3150 -2828 -2558 -3038 2916 -3254 -2604 -2518 -3312 -2590 -3190 -3004 -2624 -3150 -2758 2814 3102 -2438 -2828 2612 -3218 -3044 3188 -2854 -2828 -2478 2686 -2574 -2478 -2788 -3004 -3102 -3056 -2562 -3352 -2930 -3312 -3104 -3002 -3044 -3004 -2982 -3150 2758 -2568 -2558 -2356 -2628 -3052 -3004 -2828 -2518 3144 -2478 -2408 3038 3152 3192 -3038 3312 -2992 2608 -3044 -2602 -3102 2558 -3312 -3150 -2602 -3150 2772 -3016 -2618 -3076 -2604 3144 -3004 3032 -2704 -2518 2604 -2758 -2540 3126 -2478 2998 -3190 -2758 2976 -2828 -2578 2584 -2478 -3008 -2620 -3150 -3150 -3148 3142 -2564 -2596 -2828 -2478 -2618 3190 -3150 -2518 -2618 -2542 2906 -3110 -2518 2598 2640 -2784 -2734 2726 3150 -2570 -3058 -2518 -2478 2788 -3142 -2478 -2578 2980 -2786 -2374 -3334 2628 2968 2992 -3150 -3150 -2628 -3142 -2558 -3044 -2362 -2518 -3352 -2680 -2952 -3190 -3352 -2614 -2522 -3312 -2608 -2518 -3190 -2798 -2558 -2828 -2942 -2788 2678 2602 -2578 2628 2404 -3150 -2478 -2558 -3190 -3062 -2854 2938 -2794 -2744 -2494 -2978 2818 -2828 -2828 -2584 -2556 3258 3228 -3142 2564 2620 3210 -3142 -2518 2480 -2478 -2478 -2616 -3102 -2402 2734 -3004 2938 -2828 -3190 -2624 -2590 -3256 -2564 3294 -2654 -2788 -2602 -3352 -2788 2396 3056 -2518 -2374 -3004 -3142 -2788 -2588 -2518 3020 -3144 -3044 -3352 -2518 2920 3214 -2858 -2766 -3190 2726 -3312 -3036 -3004 -2398 -2518 -3170 -3018 -3102 2620 2828 3258 2692 -2628 -3150 -3004 -3044 -3004 3136 -2628 -3190 -2558 -2584 -3190 -3190 -2582 2982 -3268 -3004 2356 -3312 2588 -3190 -2356 2876 3016 -3340 2788 -2678 -3004 -2516 -2586 3084 -2632 3218 3148 -3078 -2758 -2558 -2558 -3150 3148 3124 -2744 2756 -2758 -2826 3312 -2926 -2758 -2478 -2566 -3142 -2398 -3150 -3190 -2978 -3144 -3228 2356 -3106 -2624 -2584 -2798 -2620 -3004 -3280 -2518 -2626 -2518 3352 -2614 2364 -2952 2950 -3190 -2586 -2624 -2626 -2582 -3216 3342 2824 -3190 -2788 -2620 -2798 2676 -2832 -3312 -2518 -2610 -2580 2356 -3142 -3352 -3102 -2588 -3038 -2652 -2580 -2828 2818 -3352 -2718 -2356 -2620 -2710 -2798 -3044 -2368 2788 -3028 -2518 -3192 -3150 3300 -3044 -2500 -2576 -2628 -2562 -3004 -2626 -3004 -2516 2938 -3104 -2562 -2998 -2622 -2788 2960 -2558 -2546 -2558 2732 -3044 2544 -2788 -2588 -3150 -2866 -2478 2420 -3004 -2630 2942 -2798 -2960 -2788 3150 2396 -3044 2824 -3076 -2794 2580 -3312 -3190 2596 -3312 -2694 -3312 -3104 -2580 -2774 -2576 -2784 -2518 -3142 -2478 -2602 -2798 -2592 -2952 -2996 3000 -3190 -2518 -3352 -2396 2916 -2580 3016 -2638 -2562 2578 -2798 2814 3022 -2588 -3056 -3150 3142 -3004 -2898 -2610 -2494 2966 2876 -2720 -2602 -2828 -2758 -2518 2758 -2518 3312 -3312 -3312 -2604 -3036 2356 2946 -2518 -2754 3170 -2798 2814 -3102 -2618 -3004 -2798 -3102 2954 -3044 3102 -3312 2716 -2584 -2408 2988 -2828 -2518 -3190 -2758 -2630 -2788 2396 -2758 -2518 -3150 -3312 3146 -2604 -2562 3150 -2518 -3190 -2518 -2458 3352 -3004 -2788 2564 -2758 -2570 -2828 -3150 -2504 2520 -2396 -2622 2602 -2798 -2828 -2478 -2558 -3044 -2518 -3142 -2556 -2518 2558 2514 -2396 -2580 2618 3072 -3044 -3110 2606 -2518 -2576 -2990 -2558 -3240 -2438 3020 -2454 2396 -2518 -2620 2516 -2518 -3142 -2566 -3150 -3166 -2626 3092 3042 -2994 -2478 -2788 -2886 -3060 -2626 2778 -2788 2556 -2478 2926 -2758 -2518 -2556 -2478 -2478 -2620 -3004 -2586 -2604 -3104 -2518 -2828 -2580 -2798 -3202 -3102 2556 -2758 2368 -2618 -3242 -2786 -2518 -2518 2976 -2670 -3104 -3150 -2624 2568 -2518 -2582 -2758 -2828 -2478 -2578 -3044 -2608 3234 2580 -3142 -2562 -2754 -2828 -3190 2972 -2580 -3144 -2624 -2586 -3152 -3044 -2518 -3078 -3352 2858 -2788 2396 -2828 -2602 -3044 3188 -2798 -2622 -2580 -3102 -3352 2552 -3038 -2956 -2828 2380 2792 2728 -2788 -2768 2606 3182 -3044 -2616 -2798 3188 -2454 -2798 3036 2502 -2788 3016 -2498 -3142 3130 -3108 -3102 -2558 -2600 -2478 -2622 -2576 3016 -2478 -3190 -3078 3190 -2616 2414 -3044 -2798 -2826 -2518 3274 -2564 -3352 -3312 2898 2356 -2718 -2586 -2622 -2788 2906 -2564 -2798 -3352 -2414 -3190 -2518 -2478 -2588 -2460 -3102 -2582 -2518 -2478 -2478 
85.79/87.01	d ASSIGNMENTS 750
85.79/87.01	d CHECKS 6436053

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-1085722-1215235259/watcher-1085722-1215235259 -o /tmp/evaluation-result-1085722-1215235259/solver-1085722-1215235259 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1085722-1215235259.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: 1.93 2.00 1.99 4/72 1588
/proc/meminfo: memFree=1726200/2055920 swapFree=4180688/4192956
[pid=1588] ppid=1586 vsize=5360 CPUtime=0
/proc/1588/stat : 1588 (hydra) R 1586 1588 31525 0 -1 4194304 264 0 0 0 0 0 0 0 20 0 1 0 2002498928 5488640 232 996147200 4194304 4889804 548682068816 18446744073709551615 4459180 0 0 4100 65536 0 0 0 17 1 0 0
/proc/1588/statm: 1340 232 193 169 0 51 0

[startup+0.06397 s]
/proc/loadavg: 1.93 2.00 1.99 4/72 1588
/proc/meminfo: memFree=1726200/2055920 swapFree=4180688/4192956
[pid=1588] ppid=1586 vsize=5360 CPUtime=0
/proc/1588/stat : 1588 (hydra) S 1586 1588 31525 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002498928 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1588/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.101974 s]
/proc/loadavg: 1.93 2.00 1.99 4/72 1588
/proc/meminfo: memFree=1726200/2055920 swapFree=4180688/4192956
[pid=1588] ppid=1586 vsize=5360 CPUtime=0
/proc/1588/stat : 1588 (hydra) S 1586 1588 31525 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002498928 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1588/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.301993 s]
/proc/loadavg: 1.93 2.00 1.99 4/72 1588
/proc/meminfo: memFree=1726200/2055920 swapFree=4180688/4192956
[pid=1588] ppid=1586 vsize=5360 CPUtime=0
/proc/1588/stat : 1588 (hydra) S 1586 1588 31525 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002498928 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1588/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.702021 s]
/proc/loadavg: 1.93 2.00 1.99 4/72 1588
/proc/meminfo: memFree=1726200/2055920 swapFree=4180688/4192956
[pid=1588] ppid=1586 vsize=5360 CPUtime=0
/proc/1588/stat : 1588 (hydra) S 1586 1588 31525 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002498928 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1588/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+1.50109 s]
/proc/loadavg: 1.93 2.00 1.99 3/74 1592
/proc/meminfo: memFree=1708008/2055920 swapFree=4180688/4192956
[pid=1588] ppid=1586 vsize=5360 CPUtime=0
/proc/1588/stat : 1588 (hydra) S 1586 1588 31525 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002498928 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1588/statm: 1340 236 195 169 0 51 0
[pid=1592] ppid=1588 vsize=34172 CPUtime=1.47
/proc/1592/stat : 1592 (xsolve) R 1588 1588 31525 0 -1 4194304 4904 0 0 0 145 2 0 0 25 0 1 0 2002498929 34992128 4863 996147200 134512640 135239763 4294956176 18446744073709551615 134534753 0 0 4096 0 0 0 0 17 1 0 0
/proc/1592/statm: 8543 4863 425 177 0 7446 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 39532

[startup+3.10224 s]
/proc/loadavg: 1.93 2.00 1.99 3/74 1592
/proc/meminfo: memFree=1707880/2055920 swapFree=4180688/4192956
[pid=1588] ppid=1586 vsize=5360 CPUtime=0
/proc/1588/stat : 1588 (hydra) S 1586 1588 31525 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002498928 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1588/statm: 1340 236 195 169 0 51 0
[pid=1592] ppid=1588 vsize=34172 CPUtime=3.05
/proc/1592/stat : 1592 (xsolve) R 1588 1588 31525 0 -1 4194304 4905 0 0 0 302 3 0 0 25 0 1 0 2002498929 34992128 4864 996147200 134512640 135239763 4294956176 18446744073709551615 134543127 0 0 4096 0 0 0 0 17 1 0 0
/proc/1592/statm: 8543 4864 426 177 0 7446 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 39532

[startup+6.30152 s]
/proc/loadavg: 1.93 2.00 1.99 3/74 1592
/proc/meminfo: memFree=1707880/2055920 swapFree=4180688/4192956
[pid=1588] ppid=1586 vsize=5360 CPUtime=0
/proc/1588/stat : 1588 (hydra) S 1586 1588 31525 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002498928 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1588/statm: 1340 236 195 169 0 51 0
[pid=1592] ppid=1588 vsize=34172 CPUtime=6.23
/proc/1592/stat : 1592 (xsolve) R 1588 1588 31525 0 -1 4194304 4910 0 0 0 619 4 0 0 25 0 1 0 2002498929 34992128 4869 996147200 134512640 135239763 4294956176 18446744073709551615 134535329 0 0 4096 0 0 0 0 17 1 0 0
/proc/1592/statm: 8543 4869 431 177 0 7446 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 39532

[startup+12.7021 s]
/proc/loadavg: 1.94 2.00 1.99 3/74 1592
/proc/meminfo: memFree=1707880/2055920 swapFree=4180688/4192956
[pid=1588] ppid=1586 vsize=5360 CPUtime=0
/proc/1588/stat : 1588 (hydra) S 1586 1588 31525 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002498928 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1588/statm: 1340 236 195 169 0 51 0
[pid=1592] ppid=1588 vsize=34172 CPUtime=12.58
/proc/1592/stat : 1592 (xsolve) R 1588 1588 31525 0 -1 4194304 4910 0 0 0 1254 4 0 0 25 0 1 0 2002498929 34992128 4869 996147200 134512640 135239763 4294956176 18446744073709551615 134543041 0 0 4096 0 0 0 0 17 1 0 0
/proc/1592/statm: 8543 4869 431 177 0 7446 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 39532

[startup+25.5012 s]
/proc/loadavg: 1.95 2.00 1.99 3/74 1592
/proc/meminfo: memFree=1708200/2055920 swapFree=4180688/4192956
[pid=1588] ppid=1586 vsize=5360 CPUtime=0
/proc/1588/stat : 1588 (hydra) S 1586 1588 31525 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002498928 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1588/statm: 1340 236 195 169 0 51 0
[pid=1592] ppid=1588 vsize=34172 CPUtime=25.28
/proc/1592/stat : 1592 (xsolve) R 1588 1588 31525 0 -1 4194304 4910 0 0 0 2524 4 0 0 25 0 1 0 2002498929 34992128 4869 996147200 134512640 135239763 4294956176 18446744073709551615 134543200 0 0 4096 0 0 0 0 17 1 0 0
/proc/1592/statm: 8543 4869 431 177 0 7446 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 39532

[startup+51.1015 s]
/proc/loadavg: 1.97 2.00 1.99 3/74 1592
/proc/meminfo: memFree=1708328/2055920 swapFree=4180688/4192956
[pid=1588] ppid=1586 vsize=5360 CPUtime=0
/proc/1588/stat : 1588 (hydra) S 1586 1588 31525 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2002498928 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1588/statm: 1340 236 195 169 0 51 0
[pid=1592] ppid=1588 vsize=34304 CPUtime=50.69
/proc/1592/stat : 1592 (xsolve) R 1588 1588 31525 0 -1 4194304 4914 0 0 0 5065 4 0 0 25 0 1 0 2002498929 35127296 4873 996147200 134512640 135239763 4294956176 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 1 0 0
/proc/1592/statm: 8576 4873 431 177 0 7479 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 39664

Solver just ended. Dumping a history of the last processes samples

[startup+63.9036 s]
/proc/loadavg: 1.97 2.00 1.99 3/94 1616
/proc/meminfo: memFree=1641928/2055920 swapFree=4180688/4192956
[pid=1588] ppid=1586 vsize=5360 CPUtime=51.81
/proc/1588/stat : 1588 (hydra) S 1586 1588 31525 0 -1 4194304 375 5512 0 0 0 0 5176 5 19 0 1 0 2002498928 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1588/statm: 1340 238 196 169 0 51 0
[pid=1596] ppid=1588 vsize=197436 CPUtime=6.16
/proc/1596/stat : 1596 (java) S 1588 1588 31525 0 -1 0 13874 0 1 0 599 17 0 0 21 0 10 0 2002504151 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1596/statm: 49359 9409 2544 9 0 43941 0
[pid=1606] ppid=1596 vsize=5356 CPUtime=0
/proc/1606/stat : 1606 (abscon) S 1596 1588 31525 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 2002504784 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 209135919940 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/1606/statm: 1339 235 194 169 0 50 0
[pid=1607] ppid=1606 vsize=655908 CPUtime=5.21
/proc/1607/stat : 1607 (java) S 1606 1588 31525 0 -1 0 16330 0 1 0 511 10 0 0 18 0 9 0 2002504786 671649792 15835 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1607/statm: 163977 15835 2008 9 0 158505 0
[pid=1607/tid=1609] ppid=1606 vsize=655908 CPUtime=4.93
/proc/1607/task/1609/stat : 1609 (java) R 1606 1588 31525 0 -1 64 12472 0 1 0 485 8 0 0 25 0 9 0 2002504787 671649792 15835 996147200 134512640 134550740 4294955808 18446744073709551615 4126888172 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1607/tid=1610] ppid=1606 vsize=655908 CPUtime=0.03
/proc/1607/task/1610/stat : 1610 (java) S 1606 1588 31525 0 -1 64 2651 0 0 0 3 0 0 0 16 0 9 0 2002504788 671649792 15835 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1607/tid=1611] ppid=1606 vsize=655908 CPUtime=0
/proc/1607/task/1611/stat : 1611 (java) S 1606 1588 31525 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002504788 671649792 15835 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1607/tid=1612] ppid=1606 vsize=655908 CPUtime=0
/proc/1607/task/1612/stat : 1612 (java) S 1606 1588 31525 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002504788 671649792 15835 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1607/tid=1613] ppid=1606 vsize=655908 CPUtime=0
/proc/1607/task/1613/stat : 1613 (java) S 1606 1588 31525 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002504790 671649792 15835 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1607/tid=1614] ppid=1606 vsize=655908 CPUtime=0.21
/proc/1607/task/1614/stat : 1614 (java) S 1606 1588 31525 0 -1 64 663 0 0 0 21 0 0 0 16 0 9 0 2002504790 671649792 15835 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1607/tid=1615] ppid=1606 vsize=655908 CPUtime=0
/proc/1607/task/1615/stat : 1615 (java) S 1606 1588 31525 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002504790 671649792 15835 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1607/tid=1616] ppid=1606 vsize=655908 CPUtime=0
/proc/1607/task/1616/stat : 1616 (java) S 1606 1588 31525 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2002504790 671649792 15835 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1608] ppid=1606 vsize=7044 CPUtime=0
/proc/1608/stat : 1608 (translate) S 1606 1588 31525 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2002504786 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 209136091218 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/1608/statm: 1761 213 182 1 0 41 0
[pid=1596/tid=1597] ppid=1588 vsize=197436 CPUtime=4.82
/proc/1596/task/1597/stat : 1597 (java) S 1588 1588 31525 0 -1 64 3861 0 1 0 475 7 0 0 25 0 10 0 2002504152 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=1596/tid=1598] ppid=1588 vsize=197436 CPUtime=1.07
/proc/1596/task/1598/stat : 1598 (java) S 1588 1588 31525 0 -1 64 8522 0 0 0 98 9 0 0 16 0 10 0 2002504153 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1596/tid=1599] ppid=1588 vsize=197436 CPUtime=0
/proc/1596/task/1599/stat : 1599 (java) S 1588 1588 31525 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002504153 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1596/tid=1600] ppid=1588 vsize=197436 CPUtime=0
/proc/1596/task/1600/stat : 1600 (java) S 1588 1588 31525 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002504153 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1596/tid=1601] ppid=1588 vsize=197436 CPUtime=0
/proc/1596/task/1601/stat : 1601 (java) S 1588 1588 31525 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002504155 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1596/tid=1602] ppid=1588 vsize=197436 CPUtime=0.24
/proc/1596/task/1602/stat : 1602 (java) S 1588 1588 31525 0 -1 64 667 0 0 0 24 0 0 0 16 0 10 0 2002504155 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1596/tid=1603] ppid=1588 vsize=197436 CPUtime=0
/proc/1596/task/1603/stat : 1603 (java) S 1588 1588 31525 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2002504155 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1596/tid=1604] ppid=1588 vsize=197436 CPUtime=0
/proc/1596/task/1604/stat : 1604 (java) S 1588 1588 31525 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 2002504155 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1596/tid=1605] ppid=1588 vsize=197436 CPUtime=0
/proc/1596/task/1605/stat : 1605 (java) S 1588 1588 31525 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2002504784 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 63.18
Current children cumulated vsize (KiB) 871104

[startup+76.7027 s]
/proc/loadavg: 1.98 2.00 1.99 3/94 1616
/proc/meminfo: memFree=1629320/2055920 swapFree=4180688/4192956
[pid=1588] ppid=1586 vsize=5360 CPUtime=51.81
/proc/1588/stat : 1588 (hydra) S 1586 1588 31525 0 -1 4194304 375 5512 0 0 0 0 5176 5 19 0 1 0 2002498928 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1588/statm: 1340 238 196 169 0 51 0
[pid=1596] ppid=1588 vsize=197436 CPUtime=6.16
/proc/1596/stat : 1596 (java) S 1588 1588 31525 0 -1 0 13874 0 1 0 599 17 0 0 21 0 10 0 2002504151 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1596/statm: 49359 9409 2544 9 0 43941 0
[pid=1606] ppid=1596 vsize=5356 CPUtime=0
/proc/1606/stat : 1606 (abscon) S 1596 1588 31525 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 2002504784 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 209135919940 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/1606/statm: 1339 235 194 169 0 50 0
[pid=1607] ppid=1606 vsize=655908 CPUtime=17.77
/proc/1607/stat : 1607 (java) S 1606 1588 31525 0 -1 0 19402 0 1 0 1764 13 0 0 18 0 9 0 2002504786 671649792 18902 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1607/statm: 163977 18902 2008 9 0 158505 0

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

/proc/1607/task/1616/stat : 1616 (java) S 1606 1588 31525 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2002504790 671649792 26304 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1608] ppid=1606 vsize=7044 CPUtime=0
/proc/1608/stat : 1608 (translate) S 1606 1588 31525 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2002504786 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 209136091218 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/1608/statm: 1761 213 182 1 0 41 0
[pid=1596/tid=1597] ppid=1588 vsize=197436 CPUtime=4.82
/proc/1596/task/1597/stat : 1597 (java) S 1588 1588 31525 0 -1 64 3861 0 1 0 475 7 0 0 25 0 10 0 2002504152 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=1596/tid=1598] ppid=1588 vsize=197436 CPUtime=1.07
/proc/1596/task/1598/stat : 1598 (java) S 1588 1588 31525 0 -1 64 8522 0 0 0 98 9 0 0 16 0 10 0 2002504153 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1596/tid=1599] ppid=1588 vsize=197436 CPUtime=0
/proc/1596/task/1599/stat : 1599 (java) S 1588 1588 31525 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002504153 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1596/tid=1600] ppid=1588 vsize=197436 CPUtime=0
/proc/1596/task/1600/stat : 1600 (java) S 1588 1588 31525 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002504153 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1596/tid=1601] ppid=1588 vsize=197436 CPUtime=0
/proc/1596/task/1601/stat : 1601 (java) S 1588 1588 31525 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002504155 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1596/tid=1602] ppid=1588 vsize=197436 CPUtime=0.24
/proc/1596/task/1602/stat : 1602 (java) S 1588 1588 31525 0 -1 64 667 0 0 0 24 0 0 0 16 0 10 0 2002504155 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1596/tid=1603] ppid=1588 vsize=197436 CPUtime=0
/proc/1596/task/1603/stat : 1603 (java) S 1588 1588 31525 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2002504155 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1596/tid=1604] ppid=1588 vsize=197436 CPUtime=0
/proc/1596/task/1604/stat : 1604 (java) S 1588 1588 31525 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 2002504155 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1596/tid=1605] ppid=1588 vsize=197436 CPUtime=0
/proc/1596/task/1605/stat : 1605 (java) S 1588 1588 31525 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2002504784 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 85.15
Current children cumulated vsize (KiB) 871104

[startup+86.7026 s]
/proc/loadavg: 1.98 2.00 1.99 3/94 1616
/proc/meminfo: memFree=1602120/2055920 swapFree=4180688/4192956
[pid=1588] ppid=1586 vsize=5360 CPUtime=51.81
/proc/1588/stat : 1588 (hydra) S 1586 1588 31525 0 -1 4194304 375 5512 0 0 0 0 5176 5 19 0 1 0 2002498928 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1588/statm: 1340 238 196 169 0 51 0
[pid=1596] ppid=1588 vsize=197436 CPUtime=6.16
/proc/1596/stat : 1596 (java) S 1588 1588 31525 0 -1 0 13874 0 1 0 599 17 0 0 21 0 10 0 2002504151 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1596/statm: 49359 9409 2544 9 0 43941 0
[pid=1606] ppid=1596 vsize=5356 CPUtime=0
/proc/1606/stat : 1606 (abscon) S 1596 1588 31525 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 2002504784 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 209135919940 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/1606/statm: 1339 235 194 169 0 50 0
[pid=1607] ppid=1606 vsize=655908 CPUtime=27.57
/proc/1607/stat : 1607 (java) S 1606 1588 31525 0 -1 0 32087 0 1 0 2738 19 0 0 18 0 9 0 2002504786 671649792 31370 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1607/statm: 163977 31370 2617 9 0 158505 0
[pid=1607/tid=1609] ppid=1606 vsize=655908 CPUtime=26.62
/proc/1607/task/1609/stat : 1609 (java) R 1606 1588 31525 0 -1 64 12578 0 1 0 2652 10 0 0 25 0 9 0 2002504787 671649792 31370 996147200 134512640 134550740 4294955808 18446744073709551615 4127310618 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1607/tid=1610] ppid=1606 vsize=655908 CPUtime=0.56
/proc/1607/task/1610/stat : 1610 (java) S 1606 1588 31525 0 -1 64 18205 0 0 0 49 7 0 0 16 0 9 0 2002504788 671649792 31370 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1607/tid=1611] ppid=1606 vsize=655908 CPUtime=0
/proc/1607/task/1611/stat : 1611 (java) S 1606 1588 31525 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002504788 671649792 31370 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1607/tid=1612] ppid=1606 vsize=655908 CPUtime=0
/proc/1607/task/1612/stat : 1612 (java) S 1606 1588 31525 0 -1 64 19 0 0 0 0 0 0 0 16 0 9 0 2002504788 671649792 31370 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1607/tid=1613] ppid=1606 vsize=655908 CPUtime=0
/proc/1607/task/1613/stat : 1613 (java) S 1606 1588 31525 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002504790 671649792 31370 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1607/tid=1614] ppid=1606 vsize=655908 CPUtime=0.37
/proc/1607/task/1614/stat : 1614 (java) S 1606 1588 31525 0 -1 64 746 0 0 0 36 1 0 0 15 0 9 0 2002504790 671649792 31370 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1607/tid=1615] ppid=1606 vsize=655908 CPUtime=0
/proc/1607/task/1615/stat : 1615 (java) S 1606 1588 31525 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002504790 671649792 31370 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1607/tid=1616] ppid=1606 vsize=655908 CPUtime=0
/proc/1607/task/1616/stat : 1616 (java) S 1606 1588 31525 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2002504790 671649792 31370 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1608] ppid=1606 vsize=7044 CPUtime=0
/proc/1608/stat : 1608 (translate) S 1606 1588 31525 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2002504786 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 209136091218 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/1608/statm: 1761 213 182 1 0 41 0
[pid=1596/tid=1597] ppid=1588 vsize=197436 CPUtime=4.82
/proc/1596/task/1597/stat : 1597 (java) S 1588 1588 31525 0 -1 64 3861 0 1 0 475 7 0 0 25 0 10 0 2002504152 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=1596/tid=1598] ppid=1588 vsize=197436 CPUtime=1.07
/proc/1596/task/1598/stat : 1598 (java) S 1588 1588 31525 0 -1 64 8522 0 0 0 98 9 0 0 16 0 10 0 2002504153 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1596/tid=1599] ppid=1588 vsize=197436 CPUtime=0
/proc/1596/task/1599/stat : 1599 (java) S 1588 1588 31525 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002504153 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1596/tid=1600] ppid=1588 vsize=197436 CPUtime=0
/proc/1596/task/1600/stat : 1600 (java) S 1588 1588 31525 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002504153 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1596/tid=1601] ppid=1588 vsize=197436 CPUtime=0
/proc/1596/task/1601/stat : 1601 (java) S 1588 1588 31525 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002504155 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1596/tid=1602] ppid=1588 vsize=197436 CPUtime=0.24
/proc/1596/task/1602/stat : 1602 (java) S 1588 1588 31525 0 -1 64 667 0 0 0 24 0 0 0 16 0 10 0 2002504155 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1596/tid=1603] ppid=1588 vsize=197436 CPUtime=0
/proc/1596/task/1603/stat : 1603 (java) S 1588 1588 31525 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2002504155 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1596/tid=1604] ppid=1588 vsize=197436 CPUtime=0
/proc/1596/task/1604/stat : 1604 (java) S 1588 1588 31525 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 2002504155 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1596/tid=1605] ppid=1588 vsize=197436 CPUtime=0
/proc/1596/task/1605/stat : 1605 (java) S 1588 1588 31525 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2002504784 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 85.54
Current children cumulated vsize (KiB) 871104

[startup+86.9076 s]
/proc/loadavg: 1.98 2.00 1.99 3/94 1616
/proc/meminfo: memFree=1581832/2055920 swapFree=4180688/4192956
[pid=1588] ppid=1586 vsize=5360 CPUtime=51.81
/proc/1588/stat : 1588 (hydra) S 1586 1588 31525 0 -1 4194304 375 5512 0 0 0 0 5176 5 19 0 1 0 2002498928 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1588/statm: 1340 238 196 169 0 51 0
[pid=1596] ppid=1588 vsize=197436 CPUtime=6.16
/proc/1596/stat : 1596 (java) S 1588 1588 31525 0 -1 0 13874 0 1 0 599 17 0 0 21 0 10 0 2002504151 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1596/statm: 49359 9409 2544 9 0 43941 0
[pid=1606] ppid=1596 vsize=5356 CPUtime=0
/proc/1606/stat : 1606 (abscon) S 1596 1588 31525 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 2002504784 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 209135919940 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/1606/statm: 1339 235 194 169 0 50 0
[pid=1607] ppid=1606 vsize=655908 CPUtime=27.77
/proc/1607/stat : 1607 (java) S 1606 1588 31525 0 -1 0 32092 0 1 0 2758 19 0 0 18 0 9 0 2002504786 671649792 31375 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1607/statm: 163977 31375 2617 9 0 158505 0
[pid=1607/tid=1609] ppid=1606 vsize=655908 CPUtime=26.81
/proc/1607/task/1609/stat : 1609 (java) R 1606 1588 31525 0 -1 64 12581 0 1 0 2671 10 0 0 25 0 9 0 2002504787 671649792 31375 996147200 134512640 134550740 4294955808 18446744073709551615 4125952058 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1607/tid=1610] ppid=1606 vsize=655908 CPUtime=0.56
/proc/1607/task/1610/stat : 1610 (java) S 1606 1588 31525 0 -1 64 18205 0 0 0 49 7 0 0 16 0 9 0 2002504788 671649792 31375 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1607/tid=1611] ppid=1606 vsize=655908 CPUtime=0
/proc/1607/task/1611/stat : 1611 (java) S 1606 1588 31525 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002504788 671649792 31375 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1607/tid=1612] ppid=1606 vsize=655908 CPUtime=0
/proc/1607/task/1612/stat : 1612 (java) S 1606 1588 31525 0 -1 64 19 0 0 0 0 0 0 0 16 0 9 0 2002504788 671649792 31375 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1607/tid=1613] ppid=1606 vsize=655908 CPUtime=0
/proc/1607/task/1613/stat : 1613 (java) S 1606 1588 31525 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002504790 671649792 31375 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1607/tid=1614] ppid=1606 vsize=655908 CPUtime=0.37
/proc/1607/task/1614/stat : 1614 (java) S 1606 1588 31525 0 -1 64 748 0 0 0 36 1 0 0 15 0 9 0 2002504790 671649792 31375 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1607/tid=1615] ppid=1606 vsize=655908 CPUtime=0
/proc/1607/task/1615/stat : 1615 (java) S 1606 1588 31525 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002504790 671649792 31375 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1607/tid=1616] ppid=1606 vsize=655908 CPUtime=0
/proc/1607/task/1616/stat : 1616 (java) S 1606 1588 31525 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2002504790 671649792 31375 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1608] ppid=1606 vsize=7044 CPUtime=0
/proc/1608/stat : 1608 (translate) S 1606 1588 31525 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2002504786 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 209136091218 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/1608/statm: 1761 213 182 1 0 41 0
[pid=1596/tid=1597] ppid=1588 vsize=197436 CPUtime=4.82
/proc/1596/task/1597/stat : 1597 (java) S 1588 1588 31525 0 -1 64 3861 0 1 0 475 7 0 0 25 0 10 0 2002504152 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=1596/tid=1598] ppid=1588 vsize=197436 CPUtime=1.07
/proc/1596/task/1598/stat : 1598 (java) S 1588 1588 31525 0 -1 64 8522 0 0 0 98 9 0 0 16 0 10 0 2002504153 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1596/tid=1599] ppid=1588 vsize=197436 CPUtime=0
/proc/1596/task/1599/stat : 1599 (java) S 1588 1588 31525 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002504153 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1596/tid=1600] ppid=1588 vsize=197436 CPUtime=0
/proc/1596/task/1600/stat : 1600 (java) S 1588 1588 31525 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002504153 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1596/tid=1601] ppid=1588 vsize=197436 CPUtime=0
/proc/1596/task/1601/stat : 1601 (java) S 1588 1588 31525 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002504155 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1596/tid=1602] ppid=1588 vsize=197436 CPUtime=0.24
/proc/1596/task/1602/stat : 1602 (java) S 1588 1588 31525 0 -1 64 667 0 0 0 24 0 0 0 16 0 10 0 2002504155 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1596/tid=1603] ppid=1588 vsize=197436 CPUtime=0
/proc/1596/task/1603/stat : 1603 (java) S 1588 1588 31525 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2002504155 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1596/tid=1604] ppid=1588 vsize=197436 CPUtime=0
/proc/1596/task/1604/stat : 1604 (java) S 1588 1588 31525 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 2002504155 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1596/tid=1605] ppid=1588 vsize=197436 CPUtime=0
/proc/1596/task/1605/stat : 1605 (java) S 1588 1588 31525 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2002504784 202174464 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 85.74
Current children cumulated vsize (KiB) 871104

[startup+87.0037 s]
/proc/loadavg: 1.98 2.00 1.99 3/94 1616
/proc/meminfo: memFree=1581832/2055920 swapFree=4180688/4192956
[pid=1588] ppid=1586 vsize=5360 CPUtime=51.81
/proc/1588/stat : 1588 (hydra) S 1586 1588 31525 0 -1 4194304 375 5512 0 0 0 0 5176 5 19 0 1 0 2002498928 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1588/statm: 1340 238 196 169 0 51 0
[pid=1596] ppid=1588 vsize=197436 CPUtime=6.16
/proc/1596/stat : 1596 (java) S 1588 1588 31525 0 -1 0 13879 0 1 0 599 17 0 0 21 0 10 0 2002504151 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1596/statm: 49359 9411 2544 9 0 43941 0
[pid=1606] ppid=1596 vsize=5356 CPUtime=0
/proc/1606/stat : 1606 (abscon) S 1596 1588 31525 0 -1 4194304 303 289 0 0 0 0 0 0 16 0 1 0 2002504784 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 209135919940 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/1606/statm: 1339 235 194 169 0 50 0
[pid=1607] ppid=1606 vsize=0 CPUtime=27.82
/proc/1607/stat : 1607 (java) Z 1606 1588 31525 0 -1 12 32100 0 1 0 2762 20 0 0 16 0 2 0 2002504786 0 0 996147200 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1607/statm: 0 0 0 0 0 0 0
[pid=1596/tid=1597] ppid=1588 vsize=197436 CPUtime=4.82
/proc/1596/task/1597/stat : 1597 (java) S 1588 1588 31525 0 -1 64 3866 0 1 0 475 7 0 0 16 0 10 0 2002504152 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=1596/tid=1598] ppid=1588 vsize=197436 CPUtime=1.07
/proc/1596/task/1598/stat : 1598 (java) S 1588 1588 31525 0 -1 64 8522 0 0 0 98 9 0 0 16 0 10 0 2002504153 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1596/tid=1599] ppid=1588 vsize=197436 CPUtime=0
/proc/1596/task/1599/stat : 1599 (java) S 1588 1588 31525 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2002504153 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1596/tid=1600] ppid=1588 vsize=197436 CPUtime=0
/proc/1596/task/1600/stat : 1600 (java) S 1588 1588 31525 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002504153 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1596/tid=1601] ppid=1588 vsize=197436 CPUtime=0
/proc/1596/task/1601/stat : 1601 (java) S 1588 1588 31525 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002504155 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1596/tid=1602] ppid=1588 vsize=197436 CPUtime=0.24
/proc/1596/task/1602/stat : 1602 (java) S 1588 1588 31525 0 -1 64 667 0 0 0 24 0 0 0 16 0 10 0 2002504155 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1596/tid=1603] ppid=1588 vsize=197436 CPUtime=0
/proc/1596/task/1603/stat : 1603 (java) S 1588 1588 31525 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2002504155 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1596/tid=1604] ppid=1588 vsize=197436 CPUtime=0
/proc/1596/task/1604/stat : 1604 (java) S 1588 1588 31525 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 2002504155 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1596/tid=1605] ppid=1588 vsize=197436 CPUtime=0
/proc/1596/task/1605/stat : 1605 (java) S 1588 1588 31525 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2002504784 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 85.79
Current children cumulated vsize (KiB) 208152

Child status: 0
Real time (s): 87.073
CPU time (s): 85.8569
CPU user time (s): 85.386
CPU system time (s): 0.470928
CPU usage (%): 98.6034
Max. virtual memory (cumulated for all children) (KiB): 871104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 85.386
system time used= 0.470928
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52580
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= 12064
involuntary context switches= 18804

runsolver used 0.219966 second user time and 0.528919 second system time

The end

Launcher Data (download as text)

Begin job on node41 at 2008-07-05 07:20:59
IDJOB=1085722
IDBENCH=57690
IDSOLVER=366
FILE ID=node41/1085722-1215235259
PBS_JOBID= 7881816
Free space on /tmp= 66156 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 1196fad89b5a5a4f355ab65ef889a576
RANDOM SEED=15428476

node41.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.232
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.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1726616 kB
Buffers:         44092 kB
Cached:         202912 kB
SwapCached:       6228 kB
Active:         190312 kB
Inactive:        84904 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1726616 kB
SwapTotal:     4192956 kB
SwapFree:      4180688 kB
Dirty:           25488 kB
Writeback:           0 kB
Mapped:          35676 kB
Slab:            39584 kB
Committed_AS:  3637724 kB
PageTables:       1720 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= 66132 MiB
End job on node41 at 2008-07-05 07:22:26