Trace number 1086583

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 273.515 281.606

DiagnosticValue
ASSIGNMENTS1501
CHECKS24395000

General information on the benchmark

Namecsp/fapp/fapp35/
normalized-fapp35-1500-9.xml
MD5SUMfb81abe9ad9e3c26d2d93322f7bc814c
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 benchmark57.0313
Satisfiable
(Un)Satisfiability was proved
Number of variables1500
Number of constraints22067
Maximum constraint arity2
Maximum domain size698
Number of constraints which are defined in extension0
Number of constraints which are defined in intension22067
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.00	c cpHydra_k_40 version 0.0
215.55/223.19	c CASE TO CLASSIFY:
215.55/223.19	c Case: 0
215.55/223.19	c 19 >  99.963700 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.068800 | c 15 >  14.606300 | c 34 >  68.297000 | c 16 >   2.000000 | c 13 >   4.157750 | c 14 >  -1.000000 | c 11 >  10.566100 | c 12 >   4.864860 | c 21 >  23.733300 | c 20 >   0.036253 | c 22 >  26.419700 | c 23 >  12.647300 | c 24 >   1.981940 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >   2.584960 | c 2 >  -1.000000 | c 10 >  14.432700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >   3.000000 | c 6 >   4.000000 | c 32 >  -1.000000 | c 5 >  24.483200 | c 31 >  -1.000000 | c 4 >  10.545000 | c 9 >  -1.000000 | c 8 >   4.584960 | c
215.64/223.20	c choco : 1801.0
215.64/223.20	c mistral : 1801.0
215.64/223.20	c abscon : 1801.0
215.64/223.20	c
215.64/223.20	c
215.64/223.27	c List of same ones: 40
215.64/223.27	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp28/fapp28-2800-0.xml
215.64/223.27	c 19 >  99.548100 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.128100 | c 15 >   6.285400 | c 34 >  68.561700 | c 16 >   2.000000 | c 13 >   3.483770 | c 14 >  -1.000000 | c 11 >  11.473700 | c 12 >   3.992560 | c 21 >  27.307400 | c 20 >   0.451947 | c 22 >  31.591100 | c 23 >  12.944500 | c 24 >   1.406030 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >   7.312880 | c 2 >  -1.000000 | c 10 >  14.485600 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >   4.459430 | c 6 >   5.459430 | c 32 >  -1.000000 | c 5 >  26.857800 | c 31 >  -1.000000 | c 4 >  11.366900 | c 9 >  -1.000000 | c 8 >   8.262090 | c
215.64/223.28	c choco : 1801.0
215.64/223.28	c mistral : 777.11
215.64/223.28	c abscon : 10.5744
215.64/223.28	c
215.64/223.28	c
215.64/223.28	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp28/fapp28-2800-8.xml
215.64/223.28	c 19 >  99.548100 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.128100 | c 15 >   6.285400 | c 34 >  68.561700 | c 16 >   2.000000 | c 13 >   3.483770 | c 14 >  -1.000000 | c 11 >  11.473700 | c 12 >   3.992560 | c 21 >  27.307400 | c 20 >   0.451947 | c 22 >  31.591100 | c 23 >  12.944500 | c 24 >   1.406030 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >   7.312880 | c 2 >  -1.000000 | c 10 >  14.485600 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >   4.459430 | c 6 >   5.459430 | c 32 >  -1.000000 | c 5 >  26.857800 | c 31 >  -1.000000 | c 4 >  11.366900 | c 9 >  -1.000000 | c 8 >   8.262090 | c
215.64/223.29	c choco : 1801.0
215.64/223.29	c mistral : 1800.06
215.64/223.29	c abscon : 34.5727
215.64/223.29	c
215.64/223.29	c
215.64/223.29	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp28/fapp28-2800-9.xml
215.64/223.29	c 19 >  99.548100 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.128100 | c 15 >   6.285400 | c 34 >  68.561700 | c 16 >   2.000000 | c 13 >   3.483770 | c 14 >  -1.000000 | c 11 >  11.473700 | c 12 >   3.992560 | c 21 >  27.307400 | c 20 >   0.451947 | c 22 >  31.591100 | c 23 >  12.944500 | c 24 >   1.406030 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >   7.312880 | c 2 >  -1.000000 | c 10 >  14.485600 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >   4.459430 | c 6 >   5.459430 | c 32 >  -1.000000 | c 5 >  26.857800 | c 31 >  -1.000000 | c 4 >  11.366900 | c 9 >  -1.000000 | c 8 >   8.262090 | c
215.64/223.30	c choco : 1801.0
215.64/223.30	c mistral : 1800.07
215.64/223.30	c abscon : 35.1737
215.74/223.30	c
215.74/223.30	c
215.74/223.30	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp28/fapp28-2800-10.xml
215.74/223.30	c 19 >  99.548100 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.128100 | c 15 >   6.266790 | c 34 >  68.561700 | c 16 >   2.000000 | c 13 >   3.483770 | c 14 >  -1.000000 | c 11 >  11.473700 | c 12 >   3.992560 | c 21 >  27.307400 | c 20 >   0.451947 | c 22 >  31.591100 | c 23 >  12.944500 | c 24 >   1.406030 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >   7.312880 | c 2 >  -1.000000 | c 10 >  14.485600 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >   4.459430 | c 6 >   5.459430 | c 32 >  -1.000000 | c 5 >  26.857800 | c 31 >  -1.000000 | c 4 >  11.366900 | c 9 >  -1.000000 | c 8 >   8.262090 | c
215.74/223.31	c choco : 1801.0
215.74/223.31	c mistral : 1800.03
215.74/223.31	c abscon : 37.0364
215.74/223.31	c
215.74/223.31	c
215.74/223.31	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp28/fapp28-2800-3.xml
215.74/223.31	c 19 >  99.548100 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.128100 | c 15 >   6.266790 | c 34 >  68.561700 | c 16 >   2.000000 | c 13 >   3.483770 | c 14 >  -1.000000 | c 11 >  11.473700 | c 12 >   3.992560 | c 21 >  27.307400 | c 20 >   0.451947 | c 22 >  31.591100 | c 23 >  12.944500 | c 24 >   1.406030 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >   7.312880 | c 2 >  -1.000000 | c 10 >  14.485600 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >   4.459430 | c 6 >   5.459430 | c 32 >  -1.000000 | c 5 >  26.857800 | c 31 >  -1.000000 | c 4 >  11.366900 | c 9 >  -1.000000 | c 8 >   8.262090 | c
215.74/223.32	c choco : 1801.0
215.74/223.32	c mistral : 1800.1
215.74/223.32	c abscon : 30.6403
215.74/223.32	c
215.74/223.32	c
215.74/223.32	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp28/fapp28-2800-4.xml
215.74/223.32	c 19 >  99.548100 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.128100 | c 15 >   6.266790 | c 34 >  68.561700 | c 16 >   2.000000 | c 13 >   3.483770 | c 14 >  -1.000000 | c 11 >  11.473700 | c 12 >   3.992560 | c 21 >  27.307400 | c 20 >   0.451947 | c 22 >  31.591100 | c 23 >  12.944500 | c 24 >   1.406030 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >   7.312880 | c 2 >  -1.000000 | c 10 >  14.485600 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >   4.459430 | c 6 >   5.459430 | c 32 >  -1.000000 | c 5 >  26.857800 | c 31 >  -1.000000 | c 4 >  11.366900 | c 9 >  -1.000000 | c 8 >   8.262090 | c
215.74/223.33	c choco : 1801.0
215.74/223.33	c mistral : 1800.04
215.74/223.33	c abscon : 31.5692
215.74/223.33	c
215.74/223.33	c
215.74/223.33	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp28/fapp28-2800-5.xml
215.74/223.33	c 19 >  99.548100 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.128100 | c 15 >   6.266790 | c 34 >  68.561700 | c 16 >   2.000000 | c 13 >   3.483770 | c 14 >  -1.000000 | c 11 >  11.473700 | c 12 >   3.992560 | c 21 >  27.307400 | c 20 >   0.451947 | c 22 >  31.591100 | c 23 >  12.944500 | c 24 >   1.406030 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >   7.312880 | c 2 >  -1.000000 | c 10 >  14.485600 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >   4.459430 | c 6 >   5.459430 | c 32 >  -1.000000 | c 5 >  26.857800 | c 31 >  -1.000000 | c 4 >  11.366900 | c 9 >  -1.000000 | c 8 >   8.262090 | c
215.74/223.33	c choco : 1801.0
215.74/223.33	c mistral : 1800.03
215.74/223.33	c abscon : 30.3754
215.74/223.33	c
215.74/223.33	c
215.74/223.33	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp28/fapp28-2800-6.xml
215.74/223.33	c 19 >  99.548100 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.128100 | c 15 >   6.266790 | c 34 >  68.561700 | c 16 >   2.000000 | c 13 >   3.483770 | c 14 >  -1.000000 | c 11 >  11.473700 | c 12 >   3.992560 | c 21 >  27.307400 | c 20 >   0.451947 | c 22 >  31.591100 | c 23 >  12.944500 | c 24 >   1.406030 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >   7.312880 | c 2 >  -1.000000 | c 10 >  14.485600 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >   4.459430 | c 6 >   5.459430 | c 32 >  -1.000000 | c 5 >  26.857800 | c 31 >  -1.000000 | c 4 >  11.366900 | c 9 >  -1.000000 | c 8 >   8.262090 | c
215.74/223.34	c choco : 1801.0
215.74/223.34	c mistral : 1800.03
215.74/223.34	c abscon : 32.5501
215.74/223.34	c
215.74/223.34	c
215.74/223.34	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp28/fapp28-2800-7.xml
215.74/223.34	c 19 >  99.548100 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.128100 | c 15 >   6.266790 | c 34 >  68.561700 | c 16 >   2.000000 | c 13 >   3.483770 | c 14 >  -1.000000 | c 11 >  11.473700 | c 12 >   3.992560 | c 21 >  27.307400 | c 20 >   0.451947 | c 22 >  31.591100 | c 23 >  12.944500 | c 24 >   1.406030 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >   7.312880 | c 2 >  -1.000000 | c 10 >  14.485600 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >   4.459430 | c 6 >   5.459430 | c 32 >  -1.000000 | c 5 >  26.857800 | c 31 >  -1.000000 | c 4 >  11.366900 | c 9 >  -1.000000 | c 8 >   8.262090 | c
215.74/223.35	c choco : 1801.0
215.74/223.35	c mistral : 1800.05
215.74/223.35	c abscon : 33.2009
215.74/223.35	c
215.74/223.35	c
215.74/223.35	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp28/fapp28-2800-1.xml
215.74/223.35	c 19 >  99.548100 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.128100 | c 15 >   6.247930 | c 34 >  68.561700 | c 16 >   2.000000 | c 13 >   3.483770 | c 14 >  -1.000000 | c 11 >  11.473700 | c 12 >   3.992560 | c 21 >  27.307400 | c 20 >   0.451947 | c 22 >  31.591100 | c 23 >  12.944500 | c 24 >   1.406030 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >   7.312880 | c 2 >  -1.000000 | c 10 >  14.485600 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >   4.459430 | c 6 >   5.459430 | c 32 >  -1.000000 | c 5 >  26.857800 | c 31 >  -1.000000 | c 4 >  11.366900 | c 9 >  -1.000000 | c 8 >   8.262090 | c
215.74/223.36	c choco : 1801.0
215.74/223.36	c mistral : 775.35
215.74/223.36	c abscon : 10.8104
215.74/223.36	c
215.74/223.36	c
215.74/223.36	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp28/fapp28-2800-2.xml
215.74/223.36	c 19 >  99.548100 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.128100 | c 15 >   6.247930 | c 34 >  68.561700 | c 16 >   2.000000 | c 13 >   3.483770 | c 14 >  -1.000000 | c 11 >  11.473700 | c 12 >   3.992560 | c 21 >  27.307400 | c 20 >   0.451947 | c 22 >  31.591100 | c 23 >  12.944500 | c 24 >   1.406030 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >   7.312880 | c 2 >  -1.000000 | c 10 >  14.485600 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >   4.459430 | c 6 >   5.459430 | c 32 >  -1.000000 | c 5 >  26.857800 | c 31 >  -1.000000 | c 4 >  11.366900 | c 9 >  -1.000000 | c 8 >   8.262090 | c
215.91/223.55	c choco : 1801.0
215.91/223.55	c mistral : 1800.1
215.91/223.55	c abscon : 10.3014
215.91/223.55	c
215.91/223.55	c
215.91/223.55	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-10.xml
215.91/223.55	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >   6.741470 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
215.91/223.56	c choco : 1801.0
215.91/223.56	c mistral : 1800.11
215.91/223.56	c abscon : 71.1032
215.91/223.56	c
215.91/223.56	c
215.91/223.56	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-4.xml
215.91/223.56	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >   6.741470 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
215.91/223.57	c choco : 1801.0
215.91/223.57	c mistral : 1800.09
215.91/223.57	c abscon : 10.1455
215.91/223.57	c
215.91/223.57	c
215.91/223.57	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-6.xml
215.91/223.57	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >   6.741470 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
215.91/223.58	c choco : 1801.0
215.91/223.58	c mistral : 1800.04
215.91/223.58	c abscon : 10.1615
215.91/223.58	c
215.91/223.58	c
215.91/223.58	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-7.xml
215.91/223.58	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >   6.741470 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
215.91/223.58	c choco : 1801.0
215.91/223.58	c mistral : 1800.03
215.91/223.58	c abscon : 65.728
215.91/223.58	c
215.91/223.58	c
215.91/223.58	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-8.xml
215.91/223.58	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >   6.741470 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
215.91/223.59	c choco : 1801.0
215.91/223.59	c mistral : 1800.03
215.91/223.59	c abscon : 68.0856
215.91/223.59	c
215.91/223.59	c
215.91/223.59	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-9.xml
215.91/223.59	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >   6.741470 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
215.91/223.59	c choco : 1801.0
215.91/223.59	c mistral : 1800.04
215.91/223.59	c abscon : 74.9176
215.91/223.59	c
215.91/223.59	c
215.91/223.59	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-5.xml
215.91/223.59	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >   6.727920 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
216.00/223.60	c choco : 1801.0
216.00/223.60	c mistral : 1800.05
216.00/223.60	c abscon : 10.0415
216.00/223.60	c
216.00/223.60	c
216.00/223.60	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-0.xml
216.00/223.60	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >   6.714250 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
216.00/223.61	c choco : 1801.0
216.00/223.61	c mistral : 1800.05
216.00/223.61	c abscon : 9.72352
216.00/223.61	c
216.00/223.61	c
216.00/223.61	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-1.xml
216.00/223.61	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >   6.700440 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
216.00/223.62	c choco : 1801.0
216.00/223.62	c mistral : 1800.1
216.00/223.62	c abscon : 9.81651
216.00/223.62	c
216.00/223.62	c
216.00/223.62	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-3.xml
216.00/223.62	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >   6.629360 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
216.00/223.62	c choco : 1801.0
216.00/223.62	c mistral : 1800.05
216.00/223.62	c abscon : 9.97948
216.00/223.62	c
216.00/223.62	c
216.00/223.62	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-2.xml
216.00/223.62	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >   6.475730 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
216.00/223.63	c choco : 1801.0
216.00/223.63	c mistral : 1800.07
216.00/223.63	c abscon : 9.51055
216.00/223.63	c
216.00/223.63	c
216.00/223.63	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-2.xml
216.00/223.63	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
216.00/223.63	c choco : 1801.0
216.00/223.63	c mistral : 91.925
216.00/223.63	c abscon : 8.97863
216.00/223.63	c
216.00/223.63	c
216.00/223.63	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-8.xml
216.00/223.63	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
216.00/223.64	c choco : 1801.0
216.00/223.64	c mistral : 1800.05
216.00/223.64	c abscon : 15.7666
216.00/223.64	c
216.00/223.64	c
216.00/223.64	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-10.xml
216.00/223.64	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.296300 | c 15 >   7.199670 | c 34 >  68.401800 | c 16 >   2.000000 | c 13 >   4.336890 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.157800 | c 21 >  24.988200 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.477540 | c 24 >   0.741730 | 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.708500 | 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.837100 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
216.00/223.64	c choco : 1801.0
216.00/223.64	c mistral : 1800.08
216.00/223.64	c abscon : 76.7213
216.00/223.64	c
216.00/223.64	c
216.00/223.64	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-9.xml
216.00/223.64	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.296300 | c 15 >   7.199670 | c 34 >  68.401800 | c 16 >   2.000000 | c 13 >   4.336890 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.157800 | c 21 >  24.988200 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.477540 | c 24 >   0.741730 | 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.708500 | 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.837100 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
216.00/223.65	c choco : 1801.0
216.00/223.65	c mistral : 1800.06
216.00/223.65	c abscon : 72.15
216.00/223.65	c
216.00/223.65	c
216.00/223.65	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-8.xml
216.00/223.65	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.296300 | c 15 >   7.179910 | c 34 >  68.401800 | c 16 >   2.000000 | c 13 >   4.336890 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.157800 | c 21 >  24.988200 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.477540 | c 24 >   0.741730 | 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.708500 | 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.837100 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
216.00/223.65	c choco : 1801.0
216.00/223.65	c mistral : 1800.08
216.00/223.65	c abscon : 61.9576
216.00/223.65	c
216.00/223.65	c
216.00/223.65	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-1.xml
216.00/223.66	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
216.00/223.66	c choco : 1801.0
216.00/223.66	c mistral : 93.1378
216.00/223.66	c abscon : 8.34573
216.00/223.66	c
216.00/223.66	c
216.00/223.66	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-6.xml
216.00/223.66	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
216.00/223.67	c choco : 1801.0
216.00/223.67	c mistral : 574.22
216.00/223.67	c abscon : 8.86065
216.00/223.67	c
216.00/223.67	c
216.00/223.67	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-0.xml
216.00/223.67	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
216.00/223.67	c choco : 1801.0
216.00/223.67	c mistral : 81.4106
216.00/223.67	c abscon : 8.81466
216.00/223.67	c
216.00/223.67	c
216.00/223.67	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-10.xml
216.00/223.67	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
216.00/223.68	c choco : 1801.0
216.00/223.68	c mistral : 1800.03
216.00/223.68	c abscon : 16.9624
216.00/223.68	c
216.00/223.68	c
216.00/223.68	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-3.xml
216.00/223.68	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
216.00/223.68	c choco : 1801.0
216.00/223.68	c mistral : 69.4484
216.00/223.68	c abscon : 8.71567
216.00/223.68	c
216.00/223.68	c
216.00/223.68	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-4.xml
216.00/223.68	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
216.00/223.69	c choco : 1801.0
216.00/223.69	c mistral : 146.325
216.00/223.69	c abscon : 9.08962
216.00/223.69	c
216.00/223.69	c
216.00/223.69	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-5.xml
216.00/223.69	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
216.00/223.69	c choco : 1801.0
216.00/223.69	c mistral : 182.049
216.00/223.69	c abscon : 8.90564
216.00/223.69	c
216.00/223.69	c
216.00/223.69	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-7.xml
216.00/223.69	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
216.06/223.70	c choco : 1801.0
216.06/223.70	c mistral : 744.68
216.06/223.70	c abscon : 15.7856
216.06/223.70	c
216.06/223.70	c
216.06/223.70	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-9.xml
216.06/223.70	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
216.06/223.70	c choco : 1801.0
216.06/223.70	c mistral : 1800.06
216.06/223.70	c abscon : 16.5685
216.06/223.71	c
216.06/223.71	c
216.06/223.71	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-2.xml
216.06/223.71	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.296300 | c 15 >   7.118940 | c 34 >  68.401800 | c 16 >   2.000000 | c 13 >   4.336890 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.157800 | c 21 >  24.988200 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.477540 | c 24 >   0.741730 | 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.708500 | 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.837100 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
216.06/223.71	c choco : 1801.0
216.06/223.71	c mistral : 1800.09
216.06/223.71	c abscon : 15.7326
216.06/223.71	c
216.06/223.71	c
216.06/223.71	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-3.xml
216.06/223.71	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.296300 | c 15 >   7.108520 | c 34 >  68.401800 | c 16 >   2.000000 | c 13 >   4.336890 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.157800 | c 21 >  24.988200 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.477540 | c 24 >   0.741730 | 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.708500 | 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.837100 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
216.06/223.72	c choco : 1801.0
216.06/223.72	c mistral : 1800.08
216.06/223.72	c abscon : 16.2085
216.06/223.72	c
216.06/223.72	c
216.06/223.72	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-6.xml
216.06/223.72	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.296300 | c 15 >   7.108520 | c 34 >  68.401800 | c 16 >   2.000000 | c 13 >   4.336890 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.157800 | c 21 >  24.988200 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.477540 | c 24 >   0.741730 | 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.708500 | 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.837100 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
216.06/223.73	c choco : 1801.0
216.06/223.73	c mistral : 1800.11
216.06/223.73	c abscon : 56.2494
216.06/223.73	c
216.06/223.73	c
216.06/223.73	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-7.xml
216.06/223.73	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.296300 | c 15 >   7.108520 | c 34 >  68.401800 | c 16 >   2.000000 | c 13 >   4.336890 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.157800 | c 21 >  24.988200 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.477540 | c 24 >   0.741730 | 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.708500 | 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.837100 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
216.06/223.73	c choco : 1801.0
216.06/223.73	c mistral : 1800.05
216.06/223.73	c abscon : 57.1643
216.06/223.73	c
216.06/223.73	c
216.06/223.74	c Length: 40
216.06/223.74	c 12.608163018733476  12.608163018733476  12.608163018733476  12.620452643905386  12.620452643905386  12.620452643905386  12.620452643905386  12.620452643905386  12.620452643905386  12.632923135753595  12.632923135753595  13.140534039886289  13.140534039886289  13.140534039886289  13.140534039886289  13.140534039886289  13.140534039886289  13.148648422895421  13.15684373727264  13.165132215975282  13.207939115854156  13.301287623738173  13.651773985658796  13.66041392667917  13.668469352107799  13.668469352107799  13.679186924108839  13.682516564397437  13.682516564397437  13.687026324187816  13.69157160148572  13.69157160148572  13.69157160148572  13.69157160148572  13.69157160148572  13.69157160148572  13.712382952725985  13.718075353379941  13.718075353379941  13.718075353379941  
216.06/223.74	c 
216.06/223.74	c 1.0  1.0  1.0  0.9890486511234584  0.9890486511234584  0.9890486511234584  0.9890486511234584  0.9890486511234584  0.9890486511234584  0.9781786215187023  0.9781786215187023  0.675834855615574  0.675834855615574  0.675834855615574  0.675834855615574  0.675834855615574  0.675834855615574  0.6725120306137982  0.669189065102303  0.6658615584930851  0.6491898254813905  0.6155793651466747  0.5153936963841428  0.5133341982614692  0.5114288025449026  0.5114288025449026  0.5089155355753805  0.5081397574587968  0.5081397574587968  0.5070927848024422  0.5060419229315642  0.5060419229315642  0.5060419229315642  0.5060419229315642  0.5060419229315642  0.5060419229315642  0.5012854698733638  0.5  0.5  0.5  
216.06/223.75	c
216.06/223.75	c solver 0
216.06/223.75	c	  before 0.0 seconds: {} 0
216.06/223.75	c	  before 18.0 seconds: {0, 9, 10, 12, 13, 17, 18, 19, 20, 21, 22, 23, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37} 14169
216.06/223.75	c	  before 36.0 seconds: {0, 1, 2, 4, 5, 6, 7, 8, 9, 10, 12, 13, 17, 18, 19, 20, 21, 22, 23, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37} 21115
216.06/223.75	c	  before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 17, 18, 19, 20, 21, 22, 23, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37} 22104
216.06/223.75	c	  before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25640
216.06/223.75	c	  before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 27339
216.06/223.75	c
216.06/223.75	c solver 1
216.06/223.75	c	  before 0.0 seconds: {} 0
216.06/223.75	c	  before 72.0 seconds: {31} 506
216.06/223.75	c	  before 90.0 seconds: {29, 31} 1013
216.06/223.75	c	  before 108.0 seconds: {22, 27, 29, 31} 2036
216.06/223.75	c	  before 162.0 seconds: {22, 27, 29, 31, 32} 2542
216.06/223.75	c	  before 198.0 seconds: {22, 27, 29, 31, 32, 33} 3048
216.06/223.75	c	  before 576.0 seconds: {22, 27, 28, 29, 31, 32, 33} 3556
216.06/223.75	c	  before 756.0 seconds: {22, 27, 28, 29, 31, 32, 33, 34} 4062
216.06/223.75	c	  before 792.0 seconds: {0, 9, 22, 27, 28, 29, 31, 32, 33, 34} 6041
216.06/223.75	c
216.06/223.75	c solver 2
216.06/223.75	c	  before 0.0 seconds: {} 0
216.06/223.75	c
216.06/223.75	cTotal time: 49
216.06/223.75	c 882.0 seconds unused
216.06/223.75	c 0 c 30 c 40 
216.06/223.75	c 0 c 0 c 10 
216.06/223.75	c 0 c 0 c 0 
216.06/223.75	c is solver0 dominated by:
216.06/223.75	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)
216.06/223.75	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: false) (0 is equally as fast as 2: false) (0 < 2: false)
216.06/223.75	c is dominated? false
216.06/223.75	c
216.06/223.75	c is solver1 dominated by:
216.06/223.75	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)
216.06/223.75	c is dominated? true
216.06/223.75	c
216.06/223.75	c is solver2 dominated by:
216.06/223.75	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: true) (2 is equally as fast as 0: false) (2 < 0: true)
216.06/223.75	c is dominated? true
216.06/223.75	c
216.06/223.75	c Number of non-dominated solvers: 1
216.06/223.75	c remove dominated solvers
216.06/223.75	c solver 0 is not dominated by another solver
216.06/223.75	c solver 2 is dominated by another solver
216.06/223.75	c solver 1 is dominated by another solver
216.06/223.75	c
216.06/223.75	c solver 0: 90.0
216.06/223.75	c
216.06/223.75	c+ 5/5 of 95
216.06/223.75	c
216.06/223.75	c solver 1: 0.0
216.06/223.75	c
216.06/223.75	c solver 2: 0.0
216.06/223.75	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} 27339
216.06/223.75	c	 do not run mistral
216.06/223.75	c	 do not run choco
216.06/223.75	c Starting solver: HOME/cpHydra_k_40/solver/abscon
216.06/223.75	c On Instance: HOME/instance-1086583-1215240115.xml
216.06/223.75	c Running for: 1800 seconds
273.40/281.59	s SAT
273.40/281.59	v  -2352 2104 -1794 -1850 2158 -2336 -1868 -2168 -1694 -2256 -2108 -2286 1904 -2196 1720 -2224 2184 1802 -2214 -2254 -2100 -2224 -1876 -2318 -2034 -1682 -2060 -2004 -2376 1852 -1984 -2318 2060 -2132 -2222 -1908 2376 -2210 -1686 1806 -2246 -1724 -1950 -1768 -1830 2290 -2326 -1778 2208 2230 -1736 -1996 -1872 -2300 -2078 -1854 -2172 -2224 2088 -1906 2130 -2368 -1800 -2206 2136 1692 -2172 2016 -2100 2264 1706 2338 1946 -1728 -2260 2010 -2030 -1964 -2286 -1728 1734 -1680 -1764 -2082 -2360 -2076 -2356 -2336 -1924 1998 -1872 -2198 -2326 -1846 -2126 1966 2354 -2000 -1944 -2268 -2260 -1864 -2138 2042 2130 2234 2048 1776 -2098 -2102 -1774 -2320 -1880 -1996 2256 -1966 -2030 1818 -1802 2002 -1728 -1786 -2336 1798 2254 2112 -2026 -2074 2286 -2356 -2104 1790 -1858 1988 -1922 2140 -1854 -1916 -1732 1686 1820 -2028 -2336 2276 -2302 -2192 -1736 -2028 -1914 -2136 -2336 -2290 2204 -2250 -2286 -1814 1904 1746 2308 -2032 2328 2044 1816 -1862 2184 2250 2044 2012 -2070 -1712 -2224 -2316 -1696 1898 -2168 1770 -2210 2062 2168 -2168 -2166 -2050 2066 -1946 2000 -2246 -2026 -1916 -2376 -2336 1732 -1728 -1698 1682 -1688 2208 -2114 2194 1802 -2264 1924 -2282 -2132 -2174 2214 -2230 -2286 -1832 -1754 -2238 -1818 1986 -2070 2228 -2100 2168 2224 -2376 -2040 -2178 -2254 2020 1856 2030 2076 -2356 1772 -2276 -2356 2324 1958 -1740 -1874 -2132 -2286 2260 -2206 1732 -2334 -1944 -1740 -2314 2156 -1918 2290 -1892 -2092 -2010 1942 2228 -1712 -1880 2210 2228 1732 -2336 -2120 -1692 2128 -2060 -2114 -2098 2096 -2010 -1896 2286 -2038 2252 -2160 1982 -1692 -1878 -2208 -2122 -1748 -1720 -2066 -1680 -2182 -2316 -1688 1772 -1788 1798 1748 -1910 -2212 -2268 -2336 -2140 -2214 1802 2022 2100 -1876 -1744 -2120 -2238 -2092 -1682 2246 1810 -2346 1730 -2018 2258 -1924 2324 -1820 -2026 1696 -1720 -2210 -1798 -1824 -2132 -2286 -2134 -1906 1930 -1982 2250 -2362 -2120 -1720 2148 -1842 2130 2090 -1994 2292 2170 2208 2206 -2356 2300 -2336 1688 1882 -1772 -2356 2376 -2234 -1930 -2098 -1882 1738 -2224 -2168 -2294 2092 1986 -1896 1732 -2070 -2142 -1688 1680 2066 -2168 -2208 -2262 1982 -2316 1876 -1894 -2336 -2336 -1838 -2218 -2264 -1952 2208 1720 -1844 -2234 -2172 -1878 -1850 1828 -1688 -1938 2050 -1890 2142 -1828 -1872 2322 -2216 -1880 -2282 -1864 -2168 2046 -2328 2188 -2230 2248 -1774 -1692 -1858 1680 1992 2036 -1732 -2326 -2376 2316 -2204 -1938 -2128 -2144 -2218 -1720 1762 2276 -2340 -1884 2216 -2140 -1772 -2066 -1896 1880 -1680 2274 -1960 -1922 -2076 1940 2130 -1870 -1752 1762 2130 2194 1976 -2220 2146 -2132 -2286 1732 -2168 -2184 -2072 -1742 -2320 -2092 -2292 1680 1720 -2224 -2284 -1866 -2224 1972 -2336 -2206 -1798 -2190 -2082 2154 1764 1830 2200 -1988 -2002 -1742 1802 -2326 -2036 1864 1680 -1984 1884 -2300 2208 2036 -2018 -2154 1916 1680 -2264 2254 2010 1870 2156 -1720 -2264 -2238 1936 2018 -2300 2264 -1796 -2336 -2030 1722 2374 -2376 -1924 2000 -2170 -2264 -2206 -1786 2158 1764 1920 -2248 -2142 -2294 2158 1992 1780 -2370 -1724 -2316 1838 -1992 2188 2202 -2246 2246 1864 1702 2100 -2314 2062 -2352 2134 -2078 -2008 1970 1994 2056 2332 -1824 1856 2354 -2202 -1728 -1876 -1680 -2292 2278 -1944 -1996 -2330 -2326 -2286 2274 -1882 -2326 -2278 1812 1938 2160 -2264 -1916 -1860 -2334 1958 1984 -2088 2070 -2324 -2032 1842 -1840 -2326 -2102 1804 -2140 2058 -1840 -2250 2060 -2262 -2084 1920 -1694 -1786 1810 -2376 -2356 -1750 2042 -1730 -1920 -2318 1968 -2246 -2314 1838 2060 -2186 2144 2336 -2316 -2308 -1756 -1852 1720 2060 1800 -1756 1918 1754 -1788 1836 -2376 2284 -2336 -1680 -1720 -2142 -1680 -1990 2206 2100 1996 2074 -2360 2174 -2224 -1966 -1890 2116 -2100 -2098 -1948 1984 -2264 -2140 2126 1728 1698 -1766 -1728 2220 -2068 -2336 -2020 -2242 2334 -1914 2080 -2292 -1720 1902 -1878 -2374 2376 -1924 2170 -1992 1964 -2334 2110 1720 -2224 -1964 -1872 -1684 2174 -1728 -2136 2362 -2160 2284 -1812 -2210 1814 -2058 -1898 -2080 -1926 1976 1822 1800 -2142 -2092 1994 -2170 -2250 1860 1876 2144 -1948 -1992 -1734 -1696 -2168 -1960 -1946 -2092 1988 1850 2004 1942 -2078 1718 -2190 2032 -1680 -2090 -2118 2074 -2264 -1916 -2316 2264 -2124 -1920 -1730 -2210 -1748 -2290 2176 2214 -2214 -2336 -2008 2262 -1774 -1826 2214 2150 1738 2076 -2182 2334 1722 -2376 2314 -1912 2060 1874 -1896 1724 2108 -2054 -1872 -1858 2072 1720 -2130 1690 1904 -1708 -2096 -1814 -2334 -2286 -1738 -2140 -2314 2050 -2212 2194 -1700 2178 -1842 -2012 -2306 2156 1776 -1944 2318 1764 -2172 -2030 2012 -2334 -2358 1966 -1682 2070 -2022 -1900 -1970 2144 -2232 1852 -2186 -2032 2326 -1714 -1680 -2002 -2326 -1680 2064 -1722 -2190 1720 1838 -1916 -1726 -1728 -2142 -2116 -1916 -2198 2332 -2146 1878 -2088 1814 2364 -2068 -1708 -2208 -2252 -1720 1898 -2334 2298 2242 2256 -1682 -2224 -2376 -1812 -2028 2316 2188 -2088 -1926 2192 -2212 1750 -1684 -2288 -2376 -1680 -2060 -1956 1942 2252 -1988 2184 -2210 -1738 -1840 -2330 2086 -2208 -2376 -1806 -2042 1748 -1874 1796 1688 1726 -2070 1702 -1826 -1710 -2182 2264 -2090 1952 2148 2278 -2160 -2336 -2078 -2176 -2194 -2038 -2118 2252 -1728 -2336 2206 2098 -1758 -2030 -2010 -2148 -2102 2206 1984 -1720 -2068 -2070 -1990 -2204 1884 2038 -1910 2316 -1804 -2104 2208 2184 -1986 2312 1914 -2316 -2042 -2208 -1712 2268 -2336 -1790 -2264 -2376 -1916 -1876 -2126 -1866 -2246 2224 1954 -2088 -2182 -2326 1744 -2376 -2246 -1776 -2208 -1788 -1916 -1786 -2356 -2040 -1698 1864 -1876 2166 -2336 -2168 -1908 -1858 2006 1982 2278 2284 -2250 -2020 -2126 -2138 -2140 -2128 2154 -1680 1920 -2142 -1812 -2296 2048 2026 -2010 1686 2052 -2328 1682 2154 1752 1810 -2210 -2050 -2354 -2336 -2294 -2140 -2322 -2376 -2250 -2326 -1782 -1968 1766 -2116 -1838 2060 2208 -1936 -1726 1842 1880 1690 -2062 -1918 2330 -2162 -1680 -1862 -1780 1706 -1692 -1866 -2322 -1992 1876 2270 -2376 -1850 2174 1802 2336 -2184 -2216 1704 1880 -2092 2244 1910 2022 -1732 2214 1704 2180 2332 1752 2276 -2334 -2104 -1910 2216 2176 2288 -2182 -1990 1950 -1904 -2228 -2214 -1938 -2376 -2294 -2164 1872 -2340 1920 1856 2174 -2376 -2182 -2368 -2286 2336 2024 -2278 -2280 2376 -1878 -1834 -1684 2236 2020 2026 1680 1902 -2132 -2132 -1746 -2006 -2132 -1744 -2100 1964 -2092 1774 2290 -2122 1970 -2166 -1698 -1942 1826 1784 1948 -2376 -1688 -2224 1740 -1926 -1990 -2228 -1816 -2160 -2058 -1722 1726 -2050 1774 -2030 -1840 -2030 2264 -2092 1936 1818 -2146 -2356 -2076 -2286 -1936 -2224 -2066 -1838 -1920 -1922 -1680 2136 -2336 1886 -2224 2196 -2286 -2354 -2376 -1876 2350 -1880 -1720 2198 -2286 -2356 -1972 -2032 -1942 -2026 -2264 -1966 -1738 2116 -2328 -2058 -2336 2208 -1690 -1724 -1680 1700 1870 -2322 1734 -2038 -1712 2314 -2140 -2120 -2100 -2324 -1916 -1924 2286 2256 -2376 1734 -2030 1842 -1688 -1940 -2066 -1684 1720 1754 -1960 2236 2354 -1754 2094 -1836 -1956 -1680 -2252 -2090 -1796 2098 -1768 -2202 -2332 2294 -2294 2320 1842 -2168 -2180 -1828 2026 -1846 2270 2376 -1680 -1724 2036 1746 -2132 -2038 -2210 -2128 -1800 -1684 -2090 1884 -1726 -2026 -1752 -2316 1780 -1880 -1982 2362 -2166 -2098 -2336 2224 1832 1724 1982 2036 1746 -2336 -2268 1956 -1846 1720 2040 2334 1912 -2134 -1954 -1692 -2066 -2086 2076 -2288 1998 -2258 1912 2294 2330 1740 -2224 -2138 -2100 2322 -1688 2082 -2218 -2164 -2128 -2336 -2122 -2164 2354 -2104 -2260 -2022 -2174 -1726 -2270 -1692 -2170 -2334 -2006 -2168 -2040 -2182 -2356 -2026 -2230 1736 -2168 1890 -2138 -2224 -1720 1768 2336 -1864 1952 -1882 -2100 -1890 2004 2324 1870 1978 -2316 2082 1912 -2358 -1694 -2336 -1708 -1720 -1926 -2294 -1680 2170 2046 -1700 -2224 -1876 1918 1720 -1720 2190 1720 -2376 1884 1686 -2118 2230 2376 2222 2102 -1886 -2264 2042 -2028 -2316 1728 2048 1788 -2092 1740 -2120 -2376 -2138 2046 1840 -2132 -2058 -2144 -1822 2108 -2170 1738 -2348 -1740 -2376 2086 -2028 -2372 2316 -1814 2348 1730 -1828 1868 1896 1906 2194 2212 -2132 -2336 -2354 -2034 2128 -1838 -1886 -2356 -2264 -1878 -2198 2128 -2210 -2132 -2164 2116 2222 -2166 -1690 -1858 -1904 -1896 -1684 -2336 -1900 2098 -2238 -2182 -1736 1818 2310 -1798 -2282 -1698 1832 2160 -2180 -1708 -2152 -2088 -1748 2254 2124 2224 -1846 2376 2238 -1898 -2364 1910 2292 -1982 -2376 1804 2006 -2250 2150 2234 -2248 -2376 2264 -2028 -2248 -1722 -2106 -2316 1876 -1936 2162 -2294 -2224 -2130 2168 -2176 2248 2034 -1972 -2144 1722 1784 2250 -2000 2246 -2062 -1930 -2254 -2310 -1760 -2308 2224 2314 1904 -1696 -2110 2190 1986 1736 2154 2374 -2070 -2140 1722 -2024 -2128 -2218 -2180 -1992 1714 -2228 -2304 -2312 -1916 -1724 -1870 -1794 -1680 -1748 2242 2290 -1720 -1680 -2316 -2318 -2292 -2142 2012 -2138 -2078 -2328 -2068 2356 1808 2114 -2376 -2208 1816 2158 -1868 1952 -2264 -2376 2034 1812 -2336 -2324 -2166 
273.40/281.59	d ASSIGNMENTS 1501
273.40/281.59	d CHECKS 24395010

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-1086583-1215240115/watcher-1086583-1215240115 -o /tmp/evaluation-result-1086583-1215240115/solver-1086583-1215240115 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1086583-1215240115.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.92 2.05 2.25 4/72 14566
/proc/meminfo: memFree=1893344/2055920 swapFree=4192812/4192956
[pid=14566] ppid=14564 vsize=5360 CPUtime=0
/proc/14566/stat : 14566 (hydra) S 14564 14566 13071 0 -1 4194304 306 124 0 0 0 0 0 0 18 0 1 0 151396942 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14566/statm: 1340 236 195 169 0 51 0
[pid=14568] ppid=14566 vsize=2536 CPUtime=0
/proc/14568/stat : 14568 (rm) R 14566 14566 13071 0 -1 4194304 108 0 0 0 0 0 0 0 21 0 1 0 151396943 2596864 79 996147200 4194304 4227748 548682069008 18446744073709551615 217871201856 0 0 4096 0 0 0 0 17 1 0 0
/proc/14568/statm: 634 91 73 8 0 42 0

[startup+0.0498029 s]
/proc/loadavg: 1.92 2.05 2.25 4/72 14566
/proc/meminfo: memFree=1893344/2055920 swapFree=4192812/4192956
[pid=14566] ppid=14564 vsize=5360 CPUtime=0
/proc/14566/stat : 14566 (hydra) S 14564 14566 13071 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 151396942 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14566/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.102806 s]
/proc/loadavg: 1.92 2.05 2.25 4/72 14566
/proc/meminfo: memFree=1893344/2055920 swapFree=4192812/4192956
[pid=14566] ppid=14564 vsize=5360 CPUtime=0
/proc/14566/stat : 14566 (hydra) S 14564 14566 13071 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 151396942 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14566/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.363272 s]
/proc/loadavg: 1.92 2.05 2.25 4/72 14566
/proc/meminfo: memFree=1893344/2055920 swapFree=4192812/4192956
[pid=14566] ppid=14564 vsize=5360 CPUtime=0
/proc/14566/stat : 14566 (hydra) S 14564 14566 13071 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 151396942 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14566/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+1.32333 s]
/proc/loadavg: 1.92 2.05 2.25 4/72 14566
/proc/meminfo: memFree=1893344/2055920 swapFree=4192812/4192956
[pid=14566] ppid=14564 vsize=5360 CPUtime=0
/proc/14566/stat : 14566 (hydra) S 14564 14566 13071 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 151396942 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14566/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+1.6753 s]
/proc/loadavg: 1.92 2.05 2.25 4/72 14566
/proc/meminfo: memFree=1893344/2055920 swapFree=4192812/4192956
[pid=14566] ppid=14564 vsize=5360 CPUtime=0
/proc/14566/stat : 14566 (hydra) S 14564 14566 13071 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 151396942 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14566/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+8.39677 s]
/proc/loadavg: 1.92 2.05 2.25 3/74 14570
/proc/meminfo: memFree=1886928/2055920 swapFree=4192812/4192956
[pid=14566] ppid=14564 vsize=5360 CPUtime=0
/proc/14566/stat : 14566 (hydra) S 14564 14566 13071 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 151396942 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14566/statm: 1340 236 195 169 0 51 0
[pid=14569] ppid=14566 vsize=60932 CPUtime=2.23
/proc/14569/stat : 14569 (xsolve) R 14566 14566 13071 0 -1 4194304 10940 0 0 0 208 15 0 0 25 0 1 0 151396943 62394368 10703 996147200 134512640 135239763 4294956176 18446744073709551615 134535329 0 0 4096 0 0 0 0 17 0 0 0
/proc/14569/statm: 15233 10703 428 177 0 14136 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 66292

[startup+8.40277 s]
/proc/loadavg: 1.92 2.05 2.25 3/74 14570
/proc/meminfo: memFree=1886928/2055920 swapFree=4192812/4192956
[pid=14566] ppid=14564 vsize=5360 CPUtime=0
/proc/14566/stat : 14566 (hydra) S 14564 14566 13071 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 151396942 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14566/statm: 1340 236 195 169 0 51 0
[pid=14569] ppid=14566 vsize=60932 CPUtime=2.24
/proc/14569/stat : 14569 (xsolve) R 14566 14566 13071 0 -1 4194304 10940 0 0 0 209 15 0 0 25 0 1 0 151396943 62394368 10703 996147200 134512640 135239763 4294956176 18446744073709551615 134535329 0 0 4096 0 0 0 0 17 0 0 0
/proc/14569/statm: 15233 10703 428 177 0 14136 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 66292

[startup+12.7053 s]
/proc/loadavg: 2.22 2.11 2.27 3/74 14570
/proc/meminfo: memFree=1851792/2055920 swapFree=4192812/4192956
[pid=14566] ppid=14564 vsize=5360 CPUtime=0
/proc/14566/stat : 14566 (hydra) S 14564 14566 13071 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 151396942 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14566/statm: 1340 236 195 169 0 51 0
[pid=14569] ppid=14566 vsize=60932 CPUtime=6.52
/proc/14569/stat : 14569 (xsolve) R 14566 14566 13071 0 -1 4194304 10940 0 0 0 637 15 0 0 25 0 1 0 151396943 62394368 10703 996147200 134512640 135239763 4294956176 18446744073709551615 134540176 0 0 4096 0 0 0 0 17 0 0 0
/proc/14569/statm: 15233 10703 428 177 0 14136 0
Current children cumulated CPU time (s) 6.52
Current children cumulated vsize (KiB) 66292

[startup+25.5018 s]
/proc/loadavg: 2.18 2.11 2.26 3/74 14570
/proc/meminfo: memFree=1851856/2055920 swapFree=4192812/4192956
[pid=14566] ppid=14564 vsize=5360 CPUtime=0
/proc/14566/stat : 14566 (hydra) S 14564 14566 13071 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 151396942 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14566/statm: 1340 236 195 169 0 51 0
[pid=14569] ppid=14566 vsize=60932 CPUtime=19.27
/proc/14569/stat : 14569 (xsolve) R 14566 14566 13071 0 -1 4194304 10941 0 0 0 1912 15 0 0 25 0 1 0 151396943 62394368 10704 996147200 134512640 135239763 4294956176 18446744073709551615 134539605 0 0 4096 0 0 0 0 17 0 0 0
/proc/14569/statm: 15233 10704 429 177 0 14136 0
Current children cumulated CPU time (s) 19.27
Current children cumulated vsize (KiB) 66292

[startup+51.1018 s]
/proc/loadavg: 2.12 2.10 2.26 3/74 14570
/proc/meminfo: memFree=1851920/2055920 swapFree=4192812/4192956
[pid=14566] ppid=14564 vsize=5360 CPUtime=0
/proc/14566/stat : 14566 (hydra) S 14564 14566 13071 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 151396942 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14566/statm: 1340 236 195 169 0 51 0
[pid=14569] ppid=14566 vsize=60932 CPUtime=44.7
/proc/14569/stat : 14569 (xsolve) R 14566 14566 13071 0 -1 4194304 10941 0 0 0 4455 15 0 0 25 0 1 0 151396943 62394368 10704 996147200 134512640 135239763 4294956176 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 0 0 0
/proc/14569/statm: 15233 10704 429 177 0 14136 0
Current children cumulated CPU time (s) 44.7
Current children cumulated vsize (KiB) 66292

[startup+102.302 s]
/proc/loadavg: 2.05 2.08 2.24 3/74 14570
/proc/meminfo: memFree=1851984/2055920 swapFree=4192812/4192956
[pid=14566] ppid=14564 vsize=5360 CPUtime=0
/proc/14566/stat : 14566 (hydra) S 14564 14566 13071 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 151396942 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14566/statm: 1340 236 195 169 0 51 0
[pid=14569] ppid=14566 vsize=60932 CPUtime=95.69
/proc/14569/stat : 14569 (xsolve) R 14566 14566 13071 0 -1 4194304 10941 0 0 0 9554 15 0 0 25 0 1 0 151396943 62394368 10704 996147200 134512640 135239763 4294956176 18446744073709551615 134539217 0 0 4096 0 0 0 0 17 0 0 0
/proc/14569/statm: 15233 10704 429 177 0 14136 0
Current children cumulated CPU time (s) 95.69
Current children cumulated vsize (KiB) 66292

[startup+162.307 s]
/proc/loadavg: 2.02 2.06 2.22 3/74 14570
/proc/meminfo: memFree=1851920/2055920 swapFree=4192812/4192956
[pid=14566] ppid=14564 vsize=5360 CPUtime=0
/proc/14566/stat : 14566 (hydra) S 14564 14566 13071 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 151396942 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14566/statm: 1340 236 195 169 0 51 0
[pid=14569] ppid=14566 vsize=60932 CPUtime=155.43
/proc/14569/stat : 14569 (xsolve) R 14566 14566 13071 0 -1 4194304 10945 0 0 0 15528 15 0 0 25 0 1 0 151396943 62394368 10708 996147200 134512640 135239763 4294956176 18446744073709551615 134534768 0 0 4096 0 0 0 0 17 0 0 0
/proc/14569/statm: 15233 10708 433 177 0 14136 0
Current children cumulated CPU time (s) 155.43
Current children cumulated vsize (KiB) 66292

[startup+222.303 s]
/proc/loadavg: 2.00 2.05 2.21 3/82 14582
/proc/meminfo: memFree=1854032/2055920 swapFree=4192812/4192956
[pid=14566] ppid=14564 vsize=5360 CPUtime=210.46
/proc/14566/stat : 14566 (hydra) S 14564 14566 13071 0 -1 4194304 375 11547 0 2 0 0 21029 17 17 0 1 0 151396942 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14566/statm: 1340 238 196 169 0 51 0
[pid=14574] ppid=14566 vsize=197096 CPUtime=4.32
/proc/14574/stat : 14574 (java) S 14566 14566 13071 0 -1 0 9993 0 90 0 415 17 0 0 18 0 9 0 151418707 201826304 8358 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14574/statm: 49274 8358 2541 9 0 43856 0
[pid=14574/tid=14575] ppid=14566 vsize=197096 CPUtime=3.38
/proc/14574/task/14575/stat : 14575 (java) R 14566 14566 13071 0 -1 64 3516 0 49 0 330 8 0 0 25 0 9 0 151418712 201826304 8358 996147200 134512640 134550740 4294955968 18446744073709551615 4126558367 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14574/tid=14576] ppid=14566 vsize=197096 CPUtime=0.73
/proc/14574/task/14576/stat : 14576 (java) S 14566 14566 13071 0 -1 64 5166 0 2 0 67 6 0 0 16 0 9 0 151418732 201826304 8358 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14574/tid=14577] ppid=14566 vsize=197096 CPUtime=0
/proc/14574/task/14577/stat : 14577 (java) S 14566 14566 13071 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 151418733 201826304 8358 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14574/tid=14578] ppid=14566 vsize=197096 CPUtime=0
/proc/14574/task/14578/stat : 14578 (java) S 14566 14566 13071 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 151418733 201826304 8358 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14574/tid=14579] ppid=14566 vsize=197096 CPUtime=0
/proc/14574/task/14579/stat : 14579 (java) S 14566 14566 13071 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 151418738 201826304 8358 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14574/tid=14580] ppid=14566 vsize=197096 CPUtime=0.16
/proc/14574/task/14580/stat : 14580 (java) S 14566 14566 13071 0 -1 64 625 0 1 0 16 0 0 0 16 0 9 0 151418738 201826304 8358 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14574/tid=14581] ppid=14566 vsize=197096 CPUtime=0
/proc/14574/task/14581/stat : 14581 (java) S 14566 14566 13071 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 151418738 201826304 8358 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14574/tid=14582] ppid=14566 vsize=197096 CPUtime=0
/proc/14574/task/14582/stat : 14582 (java) S 14566 14566 13071 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 151418738 201826304 8358 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 214.78
Current children cumulated vsize (KiB) 202456

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

[startup+237.503 s]
/proc/loadavg: 2.00 2.05 2.20 3/94 14594
/proc/meminfo: memFree=1762992/2055920 swapFree=4192812/4192956
[pid=14566] ppid=14564 vsize=5360 CPUtime=210.46
/proc/14566/stat : 14566 (hydra) S 14564 14566 13071 0 -1 4194304 375 11547 0 2 0 0 21029 17 17 0 1 0 151396942 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14566/statm: 1340 238 196 169 0 51 0
[pid=14574] ppid=14566 vsize=197420 CPUtime=5.64
/proc/14574/stat : 14574 (java) S 14566 14566 13071 0 -1 0 13855 0 91 0 541 23 0 0 18 0 10 0 151418707 202158080 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14574/statm: 49355 9474 2544 9 0 43937 0
[pid=14584] ppid=14574 vsize=5356 CPUtime=0
/proc/14584/stat : 14584 (abscon) S 14574 14566 13071 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 151419319 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 217871606596 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/14584/statm: 1339 235 194 169 0 50 0
[pid=14585] ppid=14584 vsize=655708 CPUtime=13.53
/proc/14585/stat : 14585 (java) S 14584 14566 13071 0 -1 0 22219 0 7 0 1336 17 0 0 18 0 9 0 151419319 671444992 21726 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14585/statm: 163927 21726 2008 9 0 158455 0
[pid=14585/tid=14587] ppid=14584 vsize=655708 CPUtime=13.1
/proc/14585/task/14587/stat : 14587 (java) R 14584 14566 13071 0 -1 64 12444 0 7 0 1299 11 0 0 25 0 9 0 151419320 671444992 21726 996147200 134512640 134550740 4294955808 18446744073709551615 4126908112 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14585/tid=14588] ppid=14584 vsize=655708 CPUtime=0.18

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

[pid=14574] ppid=14566 vsize=197420 CPUtime=5.64
/proc/14574/stat : 14574 (java) S 14566 14566 13071 0 -1 0 13855 0 91 0 541 23 0 0 18 0 10 0 151418707 202158080 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14574/statm: 49355 9474 2544 9 0 43937 0
[pid=14584] ppid=14574 vsize=5356 CPUtime=0
/proc/14584/stat : 14584 (abscon) S 14574 14566 13071 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 151419319 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 217871606596 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/14584/statm: 1339 235 194 169 0 50 0
[pid=14585] ppid=14584 vsize=655708 CPUtime=56.5
/proc/14585/stat : 14585 (java) S 14584 14566 13071 0 -1 0 56716 0 8 0 5618 32 0 0 18 0 9 0 151419319 671444992 55990 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14585/statm: 163927 55990 2617 9 0 158455 0
[pid=14585/tid=14587] ppid=14584 vsize=655708 CPUtime=54.91
/proc/14585/task/14587/stat : 14587 (java) R 14584 14566 13071 0 -1 64 12558 0 8 0 5480 11 0 0 25 0 9 0 151419320 671444992 55990 996147200 134512640 134550740 4294955808 18446744073709551615 4127382320 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14585/tid=14588] ppid=14584 vsize=655708 CPUtime=1.15
/proc/14585/task/14588/stat : 14588 (java) S 14584 14566 13071 0 -1 64 42842 0 0 0 98 17 0 0 16 0 9 0 151419321 671444992 55990 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14585/tid=14589] ppid=14584 vsize=655708 CPUtime=0
/proc/14585/task/14589/stat : 14589 (java) S 14584 14566 13071 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 151419321 671444992 55990 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14585/tid=14590] ppid=14584 vsize=655708 CPUtime=0
/proc/14585/task/14590/stat : 14590 (java) S 14584 14566 13071 0 -1 64 17 0 0 0 0 0 0 0 15 0 9 0 151419321 671444992 55990 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14585/tid=14591] ppid=14584 vsize=655708 CPUtime=0
/proc/14585/task/14591/stat : 14591 (java) S 14584 14566 13071 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 151419323 671444992 55990 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14585/tid=14592] ppid=14584 vsize=655708 CPUtime=0.41
/proc/14585/task/14592/stat : 14592 (java) S 14584 14566 13071 0 -1 64 759 0 0 0 40 1 0 0 17 0 9 0 151419323 671444992 55990 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14585/tid=14593] ppid=14584 vsize=655708 CPUtime=0
/proc/14585/task/14593/stat : 14593 (java) S 14584 14566 13071 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 151419324 671444992 55990 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14585/tid=14594] ppid=14584 vsize=655708 CPUtime=0
/proc/14585/task/14594/stat : 14594 (java) S 14584 14566 13071 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 151419324 671444992 55990 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14586] ppid=14584 vsize=7044 CPUtime=0
/proc/14586/stat : 14586 (translate) S 14584 14566 13071 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 151419319 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 217871777874 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/14586/statm: 1761 213 182 1 0 41 0
[pid=14574/tid=14575] ppid=14566 vsize=197420 CPUtime=4.34
/proc/14574/task/14575/stat : 14575 (java) S 14566 14566 13071 0 -1 64 3848 0 50 0 423 11 0 0 25 0 10 0 151418712 202158080 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=14574/tid=14576] ppid=14566 vsize=197420 CPUtime=1.03
/proc/14574/task/14576/stat : 14576 (java) S 14566 14566 13071 0 -1 64 8560 0 2 0 95 8 0 0 16 0 10 0 151418732 202158080 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14574/tid=14577] ppid=14566 vsize=197420 CPUtime=0
/proc/14574/task/14577/stat : 14577 (java) S 14566 14566 13071 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 151418733 202158080 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14574/tid=14578] ppid=14566 vsize=197420 CPUtime=0
/proc/14574/task/14578/stat : 14578 (java) S 14566 14566 13071 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 151418733 202158080 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14574/tid=14579] ppid=14566 vsize=197420 CPUtime=0
/proc/14574/task/14579/stat : 14579 (java) S 14566 14566 13071 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 151418738 202158080 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14574/tid=14580] ppid=14566 vsize=197420 CPUtime=0.21
/proc/14574/task/14580/stat : 14580 (java) S 14566 14566 13071 0 -1 64 665 0 1 0 21 0 0 0 16 0 10 0 151418738 202158080 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14574/tid=14581] ppid=14566 vsize=197420 CPUtime=0
/proc/14574/task/14581/stat : 14581 (java) S 14566 14566 13071 0 -1 64 0 0 0 0 0 0 0 0 20 0 10 0 151418738 202158080 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14574/tid=14582] ppid=14566 vsize=197420 CPUtime=0
/proc/14574/task/14582/stat : 14582 (java) S 14566 14566 13071 0 -1 64 27 0 0 0 0 0 0 0 15 0 10 0 151418738 202158080 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14574/tid=14583] ppid=14566 vsize=197420 CPUtime=0
/proc/14574/task/14583/stat : 14583 (java) S 14566 14566 13071 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 151419319 202158080 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 272.6
Current children cumulated vsize (KiB) 870888

[startup+281.108 s]
/proc/loadavg: 2.08 2.05 2.19 3/94 14594
/proc/meminfo: memFree=1627696/2055920 swapFree=4192812/4192956
[pid=14566] ppid=14564 vsize=5360 CPUtime=210.46
/proc/14566/stat : 14566 (hydra) S 14564 14566 13071 0 -1 4194304 375 11547 0 2 0 0 21029 17 17 0 1 0 151396942 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14566/statm: 1340 238 196 169 0 51 0
[pid=14574] ppid=14566 vsize=197420 CPUtime=5.64
/proc/14574/stat : 14574 (java) S 14566 14566 13071 0 -1 0 13855 0 91 0 541 23 0 0 18 0 10 0 151418707 202158080 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14574/statm: 49355 9474 2544 9 0 43937 0
[pid=14584] ppid=14574 vsize=5356 CPUtime=0
/proc/14584/stat : 14584 (abscon) S 14574 14566 13071 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 151419319 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 217871606596 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/14584/statm: 1339 235 194 169 0 50 0
[pid=14585] ppid=14584 vsize=655708 CPUtime=56.9
/proc/14585/stat : 14585 (java) S 14584 14566 13071 0 -1 0 56716 0 8 0 5658 32 0 0 18 0 9 0 151419319 671444992 55990 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14585/statm: 163927 55990 2617 9 0 158455 0
[pid=14585/tid=14587] ppid=14584 vsize=655708 CPUtime=55.31
/proc/14585/task/14587/stat : 14587 (java) R 14584 14566 13071 0 -1 64 12558 0 8 0 5520 11 0 0 25 0 9 0 151419320 671444992 55990 996147200 134512640 134550740 4294955808 18446744073709551615 4127382289 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14585/tid=14588] ppid=14584 vsize=655708 CPUtime=1.15
/proc/14585/task/14588/stat : 14588 (java) S 14584 14566 13071 0 -1 64 42842 0 0 0 98 17 0 0 16 0 9 0 151419321 671444992 55990 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14585/tid=14589] ppid=14584 vsize=655708 CPUtime=0
/proc/14585/task/14589/stat : 14589 (java) S 14584 14566 13071 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 151419321 671444992 55990 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14585/tid=14590] ppid=14584 vsize=655708 CPUtime=0
/proc/14585/task/14590/stat : 14590 (java) S 14584 14566 13071 0 -1 64 17 0 0 0 0 0 0 0 15 0 9 0 151419321 671444992 55990 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14585/tid=14591] ppid=14584 vsize=655708 CPUtime=0
/proc/14585/task/14591/stat : 14591 (java) S 14584 14566 13071 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 151419323 671444992 55990 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14585/tid=14592] ppid=14584 vsize=655708 CPUtime=0.41
/proc/14585/task/14592/stat : 14592 (java) S 14584 14566 13071 0 -1 64 759 0 0 0 40 1 0 0 17 0 9 0 151419323 671444992 55990 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14585/tid=14593] ppid=14584 vsize=655708 CPUtime=0
/proc/14585/task/14593/stat : 14593 (java) S 14584 14566 13071 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 151419324 671444992 55990 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14585/tid=14594] ppid=14584 vsize=655708 CPUtime=0
/proc/14585/task/14594/stat : 14594 (java) S 14584 14566 13071 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 151419324 671444992 55990 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14586] ppid=14584 vsize=7044 CPUtime=0
/proc/14586/stat : 14586 (translate) S 14584 14566 13071 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 151419319 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 217871777874 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/14586/statm: 1761 213 182 1 0 41 0
[pid=14574/tid=14575] ppid=14566 vsize=197420 CPUtime=4.34
/proc/14574/task/14575/stat : 14575 (java) S 14566 14566 13071 0 -1 64 3848 0 50 0 423 11 0 0 25 0 10 0 151418712 202158080 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=14574/tid=14576] ppid=14566 vsize=197420 CPUtime=1.03
/proc/14574/task/14576/stat : 14576 (java) S 14566 14566 13071 0 -1 64 8560 0 2 0 95 8 0 0 16 0 10 0 151418732 202158080 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14574/tid=14577] ppid=14566 vsize=197420 CPUtime=0
/proc/14574/task/14577/stat : 14577 (java) S 14566 14566 13071 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 151418733 202158080 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14574/tid=14578] ppid=14566 vsize=197420 CPUtime=0
/proc/14574/task/14578/stat : 14578 (java) S 14566 14566 13071 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 151418733 202158080 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14574/tid=14579] ppid=14566 vsize=197420 CPUtime=0
/proc/14574/task/14579/stat : 14579 (java) S 14566 14566 13071 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 151418738 202158080 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14574/tid=14580] ppid=14566 vsize=197420 CPUtime=0.21
/proc/14574/task/14580/stat : 14580 (java) S 14566 14566 13071 0 -1 64 665 0 1 0 21 0 0 0 16 0 10 0 151418738 202158080 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14574/tid=14581] ppid=14566 vsize=197420 CPUtime=0
/proc/14574/task/14581/stat : 14581 (java) S 14566 14566 13071 0 -1 64 0 0 0 0 0 0 0 0 20 0 10 0 151418738 202158080 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14574/tid=14582] ppid=14566 vsize=197420 CPUtime=0
/proc/14574/task/14582/stat : 14582 (java) S 14566 14566 13071 0 -1 64 27 0 0 0 0 0 0 0 15 0 10 0 151418738 202158080 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14574/tid=14583] ppid=14566 vsize=197420 CPUtime=0
/proc/14574/task/14583/stat : 14583 (java) S 14566 14566 13071 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 151419319 202158080 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 273
Current children cumulated vsize (KiB) 870888

[startup+281.503 s]
/proc/loadavg: 2.08 2.05 2.19 3/94 14594
/proc/meminfo: memFree=1627696/2055920 swapFree=4192812/4192956
[pid=14566] ppid=14564 vsize=5360 CPUtime=210.46
/proc/14566/stat : 14566 (hydra) S 14564 14566 13071 0 -1 4194304 375 11547 0 2 0 0 21029 17 17 0 1 0 151396942 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14566/statm: 1340 238 196 169 0 51 0
[pid=14574] ppid=14566 vsize=197420 CPUtime=5.64
/proc/14574/stat : 14574 (java) S 14566 14566 13071 0 -1 0 13855 0 91 0 541 23 0 0 18 0 10 0 151418707 202158080 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14574/statm: 49355 9474 2544 9 0 43937 0
[pid=14584] ppid=14574 vsize=5356 CPUtime=0
/proc/14584/stat : 14584 (abscon) S 14574 14566 13071 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 151419319 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 217871606596 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/14584/statm: 1339 235 194 169 0 50 0
[pid=14585] ppid=14584 vsize=655708 CPUtime=57.3
/proc/14585/stat : 14585 (java) S 14584 14566 13071 0 -1 0 56728 0 8 0 5698 32 0 0 18 0 9 0 151419319 671444992 56001 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14585/statm: 163927 56001 2617 9 0 158455 0
[pid=14585/tid=14587] ppid=14584 vsize=655708 CPUtime=55.68
/proc/14585/task/14587/stat : 14587 (java) R 14584 14566 13071 0 -1 64 12561 0 8 0 5557 11 0 0 25 0 9 0 151419320 671444992 56001 996147200 134512640 134550740 4294955808 18446744073709551615 4127378966 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14585/tid=14588] ppid=14584 vsize=655708 CPUtime=1.15
/proc/14585/task/14588/stat : 14588 (java) S 14584 14566 13071 0 -1 64 42842 0 0 0 98 17 0 0 16 0 9 0 151419321 671444992 56001 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14585/tid=14589] ppid=14584 vsize=655708 CPUtime=0
/proc/14585/task/14589/stat : 14589 (java) S 14584 14566 13071 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 151419321 671444992 56001 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14585/tid=14590] ppid=14584 vsize=655708 CPUtime=0
/proc/14585/task/14590/stat : 14590 (java) S 14584 14566 13071 0 -1 64 17 0 0 0 0 0 0 0 15 0 9 0 151419321 671444992 56001 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14585/tid=14591] ppid=14584 vsize=655708 CPUtime=0
/proc/14585/task/14591/stat : 14591 (java) S 14584 14566 13071 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 151419323 671444992 56001 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14585/tid=14592] ppid=14584 vsize=655708 CPUtime=0.42
/proc/14585/task/14592/stat : 14592 (java) S 14584 14566 13071 0 -1 64 768 0 0 0 41 1 0 0 16 0 9 0 151419323 671444992 56001 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14585/tid=14593] ppid=14584 vsize=655708 CPUtime=0
/proc/14585/task/14593/stat : 14593 (java) S 14584 14566 13071 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 151419324 671444992 56001 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14585/tid=14594] ppid=14584 vsize=655708 CPUtime=0
/proc/14585/task/14594/stat : 14594 (java) S 14584 14566 13071 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 151419324 671444992 56001 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14586] ppid=14584 vsize=7044 CPUtime=0
/proc/14586/stat : 14586 (translate) S 14584 14566 13071 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 151419319 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 217871777874 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/14586/statm: 1761 213 182 1 0 41 0
[pid=14574/tid=14575] ppid=14566 vsize=197420 CPUtime=4.34
/proc/14574/task/14575/stat : 14575 (java) S 14566 14566 13071 0 -1 64 3848 0 50 0 423 11 0 0 25 0 10 0 151418712 202158080 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=14574/tid=14576] ppid=14566 vsize=197420 CPUtime=1.03
/proc/14574/task/14576/stat : 14576 (java) S 14566 14566 13071 0 -1 64 8560 0 2 0 95 8 0 0 16 0 10 0 151418732 202158080 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14574/tid=14577] ppid=14566 vsize=197420 CPUtime=0
/proc/14574/task/14577/stat : 14577 (java) S 14566 14566 13071 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 151418733 202158080 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14574/tid=14578] ppid=14566 vsize=197420 CPUtime=0
/proc/14574/task/14578/stat : 14578 (java) S 14566 14566 13071 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 151418733 202158080 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14574/tid=14579] ppid=14566 vsize=197420 CPUtime=0
/proc/14574/task/14579/stat : 14579 (java) S 14566 14566 13071 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 151418738 202158080 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14574/tid=14580] ppid=14566 vsize=197420 CPUtime=0.21
/proc/14574/task/14580/stat : 14580 (java) S 14566 14566 13071 0 -1 64 665 0 1 0 21 0 0 0 16 0 10 0 151418738 202158080 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14574/tid=14581] ppid=14566 vsize=197420 CPUtime=0
/proc/14574/task/14581/stat : 14581 (java) S 14566 14566 13071 0 -1 64 0 0 0 0 0 0 0 0 20 0 10 0 151418738 202158080 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14574/tid=14582] ppid=14566 vsize=197420 CPUtime=0
/proc/14574/task/14582/stat : 14582 (java) S 14566 14566 13071 0 -1 64 27 0 0 0 0 0 0 0 15 0 10 0 151418738 202158080 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14574/tid=14583] ppid=14566 vsize=197420 CPUtime=0
/proc/14574/task/14583/stat : 14583 (java) S 14566 14566 13071 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 151419319 202158080 9474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 273.4
Current children cumulated vsize (KiB) 870888

[startup+281.603 s]
/proc/loadavg: 2.08 2.05 2.19 3/94 14594
/proc/meminfo: memFree=1627696/2055920 swapFree=4192812/4192956
[pid=14566] ppid=14564 vsize=5360 CPUtime=210.46
/proc/14566/stat : 14566 (hydra) S 14564 14566 13071 0 -1 4194304 375 11547 0 2 0 0 21029 17 17 0 1 0 151396942 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14566/statm: 1340 238 196 169 0 51 0
[pid=14574] ppid=14566 vsize=0 CPUtime=63.01
/proc/14574/stat : 14574 (java) Z 14566 14566 13071 0 -1 1036 13987 57342 91 8 541 23 5701 36 16 0 2 0 151418707 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14574/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 273.47
Current children cumulated vsize (KiB) 5360

Child status: 0
Real time (s): 281.606
CPU time (s): 273.515
CPU user time (s): 272.736
CPU system time (s): 0.779881
CPU usage (%): 97.127
Max. virtual memory (cumulated for all children) (KiB): 870888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 272.736
system time used= 0.779881
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83263
page faults= 101
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14938
involuntary context switches= 21735

runsolver used 1.05784 second user time and 2.49362 second system time

The end

Launcher Data (download as text)

Begin job on node28 at 2008-07-05 08:41:56
IDJOB=1086583
IDBENCH=57842
IDSOLVER=366
FILE ID=node28/1086583-1215240115
PBS_JOBID= 7881843
Free space on /tmp= 66500 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= fb81abe9ad9e3c26d2d93322f7bc814c
RANDOM SEED=1392463817

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1893824 kB
Buffers:          3172 kB
Cached:          75164 kB
SwapCached:          0 kB
Active:          81260 kB
Inactive:        31252 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1893824 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           27360 kB
Writeback:           0 kB
Mapped:          45700 kB
Slab:            34848 kB
Committed_AS:   375264 kB
PageTables:       1808 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66476 MiB
End job on node28 at 2008-07-05 08:46:38