Trace number 1085932

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 65.478 67.5263

DiagnosticValue
ASSIGNMENTS2024
CHECKS47763000

General information on the benchmark

Namecsp/fapp/fapp13/
normalized-fapp13-2000-9.xml
MD5SUM8646843a2e95f500eada934cacf94d53
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 benchmark53.7878
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints25652
Maximum constraint arity2
Maximum domain size190
Number of constraints which are defined in extension0
Number of constraints which are defined in intension25652
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.00	c cpHydra_k_40 version 0.0
15.53/16.69	c CASE TO CLASSIFY:
15.53/16.69	c Case: 0
15.53/16.69	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.854000 | c 15 >  14.666800 | c 34 >  68.271900 | c 16 >   2.000000 | c 13 >   2.596710 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.681000 | c 21 >  12.658900 | c 20 >   0.000000 | c 22 >  13.784000 | c 23 >   3.099670 | c 24 >   0.791706 | 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.646800 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.289900 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.62/16.70	c choco : 1801.0
15.62/16.70	c mistral : 1801.0
15.62/16.70	c abscon : 1801.0
15.62/16.70	c
15.62/16.70	c
15.62/16.77	c List of same ones: 40
15.62/16.77	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-10.xml
15.62/16.77	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.854000 | c 15 >  12.460500 | c 34 >  68.271900 | c 16 >   2.000000 | c 13 >   2.596710 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.681000 | c 21 >  12.658900 | c 20 >   0.000000 | c 22 >  13.784000 | c 23 >   3.099670 | c 24 >   0.791706 | 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.646800 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.289900 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.62/16.78	c choco : 1801.0
15.62/16.78	c mistral : 1800.11
15.62/16.78	c abscon : 39.9029
15.62/16.78	c
15.62/16.78	c
15.62/16.78	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-9.xml
15.62/16.78	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.854000 | c 15 >  12.322500 | c 34 >  68.271900 | c 16 >   2.000000 | c 13 >   2.596710 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.681000 | c 21 >  12.658900 | c 20 >   0.000000 | c 22 >  13.784000 | c 23 >   3.099670 | c 24 >   0.791706 | 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.646800 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.289900 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.62/16.79	c choco : 1801.0
15.62/16.79	c mistral : 1800.06
15.62/16.79	c abscon : 41.6947
15.62/16.79	c
15.62/16.79	c
15.62/16.79	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-8.xml
15.62/16.79	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.854000 | c 15 >  12.175200 | c 34 >  68.271900 | c 16 >   2.000000 | c 13 >   2.596710 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.681000 | c 21 >  12.658900 | c 20 >   0.000000 | c 22 >  13.784000 | c 23 >   3.099670 | c 24 >   0.791706 | 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.646800 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.289900 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.62/16.80	c choco : 1801.0
15.62/16.80	c mistral : 1800.08
15.62/16.80	c abscon : 49.3535
15.62/16.80	c
15.62/16.80	c
15.62/16.80	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-7.xml
15.71/16.80	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.854000 | c 15 >  12.045400 | c 34 >  68.271900 | c 16 >   2.000000 | c 13 >   2.596710 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.681000 | c 21 >  12.658900 | c 20 >   0.000000 | c 22 >  13.784000 | c 23 >   3.099670 | c 24 >   0.791706 | 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.646800 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.289900 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.71/16.80	c choco : 1801.0
15.71/16.81	c mistral : 1800.04
15.71/16.81	c abscon : 176.285
15.71/16.81	c
15.71/16.81	c
15.71/16.81	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-2.xml
15.71/16.81	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.854000 | c 15 >  11.748600 | c 34 >  68.271900 | c 16 >   2.000000 | c 13 >   2.596710 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.681000 | c 21 >  12.658900 | c 20 >   0.000000 | c 22 >  13.784000 | c 23 >   3.099670 | c 24 >   0.791706 | 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.646800 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.289900 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.71/16.82	c choco : 1801.0
15.71/16.82	c mistral : 22.6026
15.71/16.82	c abscon : 8.82166
15.71/16.82	c
15.71/16.82	c
15.71/16.82	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-1.xml
15.71/16.82	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.854000 | c 15 >  11.706100 | c 34 >  68.271900 | c 16 >   2.000000 | c 13 >   2.596710 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.681000 | c 21 >  12.658900 | c 20 >   0.000000 | c 22 >  13.784000 | c 23 >   3.099670 | c 24 >   0.791706 | 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.646800 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.289900 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.71/16.82	c choco : 1801.0
15.71/16.82	c mistral : 22.5536
15.71/16.82	c abscon : 9.1856
15.71/16.82	c
15.71/16.82	c
15.71/16.82	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-10.xml
15.71/16.82	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.472100 | c 15 >  12.227300 | c 34 >  68.035800 | c 16 >   2.000000 | c 13 >   2.546710 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   4.460350 | c 21 >  13.109900 | c 20 >   0.000000 | c 22 >  13.490700 | c 23 >   4.118320 | c 24 >   0.800152 | 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.011100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.975900 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.71/16.83	c choco : 1801.0
15.71/16.83	c mistral : 1800.05
15.71/16.83	c abscon : 64.5562
15.71/16.83	c
15.71/16.83	c
15.71/16.83	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-9.xml
15.71/16.83	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.472100 | c 15 >  12.083100 | c 34 >  68.035800 | c 16 >   2.000000 | c 13 >   2.546710 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   4.460350 | c 21 >  13.109900 | c 20 >   0.000000 | c 22 >  13.490700 | c 23 >   4.118320 | c 24 >   0.800152 | 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.011100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.975900 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.71/16.84	c choco : 1801.0
15.71/16.84	c mistral : 1800.09
15.71/16.84	c abscon : 128.934
15.71/16.84	c
15.71/16.84	c
15.71/16.84	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-8.xml
15.71/16.84	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.472100 | c 15 >  11.964300 | c 34 >  68.035800 | c 16 >   2.000000 | c 13 >   2.546710 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   4.460350 | c 21 >  13.109900 | c 20 >   0.000000 | c 22 >  13.490700 | c 23 >   4.118320 | c 24 >   0.800152 | 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.011100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.975900 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.71/16.85	c choco : 1801.0
15.71/16.85	c mistral : 1800.07
15.71/16.85	c abscon : 77.7912
15.71/16.85	c
15.71/16.85	c
15.71/16.85	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-0.xml
15.71/16.85	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.854000 | c 15 >  11.346000 | c 34 >  68.271900 | c 16 >   2.000000 | c 13 >   2.596710 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.681000 | c 21 >  12.658900 | c 20 >   0.000000 | c 22 >  13.784000 | c 23 >   3.099670 | c 24 >   0.791706 | 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.646800 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.289900 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.71/16.85	c choco : 1801.0
15.71/16.85	c mistral : 31.97
15.71/16.85	c abscon : 8.58269
15.71/16.86	c
15.71/16.86	c
15.71/16.86	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-7.xml
15.71/16.86	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.472100 | c 15 >  11.758600 | c 34 >  68.035800 | c 16 >   2.000000 | c 13 >   2.546710 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   4.460350 | c 21 >  13.109900 | c 20 >   0.000000 | c 22 >  13.490700 | c 23 >   4.118320 | c 24 >   0.800152 | 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.011100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.975900 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.71/16.87	c choco : 1801.0
15.71/16.87	c mistral : 1800.08
15.71/16.87	c abscon : 213.954
15.71/16.87	c
15.71/16.87	c
15.71/16.87	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-6.xml
15.71/16.87	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.472100 | c 15 >  11.756600 | c 34 >  68.035800 | c 16 >   2.000000 | c 13 >   2.546710 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   4.460350 | c 21 >  13.109900 | c 20 >   0.000000 | c 22 >  13.490700 | c 23 >   4.118320 | c 24 >   0.800152 | 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.011100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.975900 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.71/16.88	c choco : 1801.0
15.71/16.88	c mistral : 1800.03
15.71/16.88	c abscon : 378.267
15.71/16.88	c
15.71/16.88	c
15.71/16.88	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-3.xml
15.71/16.88	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.472100 | c 15 >  11.602700 | c 34 >  68.035800 | c 16 >   2.000000 | c 13 >   2.546710 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   4.460350 | c 21 >  13.109900 | c 20 >   0.000000 | c 22 >  13.490700 | c 23 >   4.118320 | c 24 >   0.800152 | 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.011100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.975900 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.71/16.89	c choco : 1801.0
15.71/16.89	c mistral : 811.31
15.71/16.89	c abscon : 9.81851
15.71/16.89	c
15.71/16.89	c
15.71/16.89	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-2.xml
15.71/16.89	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.472100 | c 15 >  11.592900 | c 34 >  68.035800 | c 16 >   2.000000 | c 13 >   2.546710 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   4.460350 | c 21 >  13.109900 | c 20 >   0.000000 | c 22 >  13.490700 | c 23 >   4.118320 | c 24 >   0.800152 | 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.011100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.975900 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.71/16.89	c choco : 1801.0
15.71/16.89	c mistral : 310.611
15.71/16.89	c abscon : 9.8545
15.71/16.89	c
15.71/16.89	c
15.71/16.89	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-4.xml
15.71/16.89	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.472100 | c 15 >  11.513200 | c 34 >  68.035800 | c 16 >   2.000000 | c 13 >   2.546710 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   4.460350 | c 21 >  13.109900 | c 20 >   0.000000 | c 22 >  13.490700 | c 23 >   4.118320 | c 24 >   0.800152 | 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.011100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.975900 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.78/16.91	c choco : 1801.0
15.78/16.91	c mistral : 1078.26
15.78/16.91	c abscon : 12.6221
15.78/16.91	c
15.78/16.91	c
15.78/16.91	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-1.xml
15.78/16.91	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.472100 | c 15 >  11.491900 | c 34 >  68.035800 | c 16 >   2.000000 | c 13 >   2.546710 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   4.460350 | c 21 >  13.109900 | c 20 >   0.000000 | c 22 >  13.490700 | c 23 >   4.118320 | c 24 >   0.800152 | 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.011100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.975900 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.78/16.91	c choco : 1801.0
15.78/16.91	c mistral : 126.293
15.78/16.91	c abscon : 10.1565
15.78/16.91	c
15.78/16.91	c
15.78/16.91	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-0.xml
15.78/16.91	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.472100 | c 15 >  11.153600 | c 34 >  68.035800 | c 16 >   2.000000 | c 13 >   2.546710 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   4.460350 | c 21 >  13.109900 | c 20 >   0.000000 | c 22 >  13.490700 | c 23 >   4.118320 | c 24 >   0.800152 | 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.011100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.975900 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.78/16.92	c choco : 1801.0
15.78/16.92	c mistral : 44.86
15.78/16.92	c abscon : 9.39257
15.78/16.92	c
15.78/16.92	c
15.78/16.92	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-10.xml
15.78/16.92	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.125800 | c 15 >  11.856000 | c 34 >  68.280300 | c 16 >   2.000000 | c 13 >   3.031350 | c 14 >  -1.000000 | c 11 >   9.228820 | c 12 >   4.906250 | c 21 >  13.519000 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   3.512160 | c 24 >   0.860617 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.135100 | 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 >  16.742700 | c 31 >  -1.000000 | c 4 >   9.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.78/16.92	c choco : 1801.0
15.78/16.92	c mistral : 1800.03
15.78/16.92	c abscon : 25.9351
15.78/16.92	c
15.78/16.92	c
15.78/16.92	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-9.xml
15.78/16.92	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.125800 | c 15 >  11.668400 | c 34 >  68.280300 | c 16 >   2.000000 | c 13 >   3.031350 | c 14 >  -1.000000 | c 11 >   9.228820 | c 12 >   4.906250 | c 21 >  13.519000 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   3.512160 | c 24 >   0.860617 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.135100 | 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 >  16.742700 | c 31 >  -1.000000 | c 4 >   9.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.78/16.93	c choco : 1801.0
15.78/16.93	c mistral : 1800.02
15.78/16.93	c abscon : 17.2824
15.78/16.93	c
15.78/16.93	c
15.78/16.93	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-8.xml
15.78/16.93	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.125800 | c 15 >  11.516200 | c 34 >  68.280300 | c 16 >   2.000000 | c 13 >   3.031350 | c 14 >  -1.000000 | c 11 >   9.228820 | c 12 >   4.906250 | c 21 >  13.519000 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   3.512160 | c 24 >   0.860617 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.135100 | 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 >  16.742700 | c 31 >  -1.000000 | c 4 >   9.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.78/16.94	c choco : 1801.0
15.78/16.94	c mistral : 6.79996
15.78/16.94	c abscon : 6.95294
15.78/16.94	c
15.78/16.94	c
15.78/16.94	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-7.xml
15.78/16.94	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.125800 | c 15 >  11.461000 | c 34 >  68.280300 | c 16 >   2.000000 | c 13 >   3.031350 | c 14 >  -1.000000 | c 11 >   9.228820 | c 12 >   4.906250 | c 21 >  13.519000 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   3.512160 | c 24 >   0.860617 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.135100 | 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 >  16.742700 | c 31 >  -1.000000 | c 4 >   9.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.78/16.95	c choco : 1801.0
15.78/16.95	c mistral : 4.03939
15.78/16.95	c abscon : 7.04993
15.78/16.95	c
15.78/16.95	c
15.78/16.95	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-6.xml
15.78/16.95	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.125800 | c 15 >  11.341500 | c 34 >  68.280300 | c 16 >   2.000000 | c 13 >   3.031350 | c 14 >  -1.000000 | c 11 >   9.228820 | c 12 >   4.906250 | c 21 >  13.519000 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   3.512160 | c 24 >   0.860617 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.135100 | 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 >  16.742700 | c 31 >  -1.000000 | c 4 >   9.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.78/16.95	c choco : 1801.0
15.78/16.95	c mistral : 3.81642
15.78/16.95	c abscon : 7.04593
15.78/16.95	c
15.78/16.95	c
15.78/16.95	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-5.xml
15.78/16.95	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.125800 | c 15 >  11.258600 | c 34 >  68.280300 | c 16 >   2.000000 | c 13 >   3.031350 | c 14 >  -1.000000 | c 11 >   9.228820 | c 12 >   4.906250 | c 21 >  13.519000 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   3.512160 | c 24 >   0.860617 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.135100 | 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 >  16.742700 | c 31 >  -1.000000 | c 4 >   9.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.78/16.96	c choco : 1801.0
15.78/16.96	c mistral : 4.28235
15.78/16.96	c abscon : 6.70698
15.78/16.96	c
15.78/16.96	c
15.78/16.96	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-4.xml
15.78/16.96	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.125800 | c 15 >  11.174900 | c 34 >  68.280300 | c 16 >   2.000000 | c 13 >   3.031350 | c 14 >  -1.000000 | c 11 >   9.228820 | c 12 >   4.906250 | c 21 >  13.519000 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   3.512160 | c 24 >   0.860617 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.135100 | 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 >  16.742700 | c 31 >  -1.000000 | c 4 >   9.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.78/16.96	c choco : 1801.0
15.78/16.96	c mistral : 2.73858
15.78/16.96	c abscon : 6.30204
15.78/16.96	c
15.78/16.96	c
15.78/16.96	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-3.xml
15.78/16.96	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.125800 | c 15 >  11.078800 | c 34 >  68.280300 | c 16 >   2.000000 | c 13 >   3.031350 | c 14 >  -1.000000 | c 11 >   9.228820 | c 12 >   4.906250 | c 21 >  13.519000 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   3.512160 | c 24 >   0.860617 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.135100 | 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 >  16.742700 | c 31 >  -1.000000 | c 4 >   9.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.78/16.97	c choco : 1801.0
15.78/16.97	c mistral : 2.6216
15.78/16.97	c abscon : 6.46502
15.78/16.97	c
15.78/16.97	c
15.78/16.97	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-2.xml
15.78/16.97	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.125800 | c 15 >  11.057300 | c 34 >  68.280300 | c 16 >   2.000000 | c 13 >   3.031350 | c 14 >  -1.000000 | c 11 >   9.228820 | c 12 >   4.906250 | c 21 >  13.519000 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   3.512160 | c 24 >   0.860617 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.135100 | 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 >  16.742700 | c 31 >  -1.000000 | c 4 >   9.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.78/16.97	c choco : 1801.0
15.78/16.97	c mistral : 2.35864
15.78/16.97	c abscon : 6.51701
15.78/16.97	c
15.78/16.97	c
15.78/16.97	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-1.xml
15.78/16.97	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.125800 | c 15 >  10.991500 | c 34 >  68.280300 | c 16 >   2.000000 | c 13 >   3.031350 | c 14 >  -1.000000 | c 11 >   9.228820 | c 12 >   4.906250 | c 21 >  13.519000 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   3.512160 | c 24 >   0.860617 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.135100 | 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 >  16.742700 | c 31 >  -1.000000 | c 4 >   9.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.78/16.98	c choco : 1801.0
15.78/16.98	c mistral : 2.40163
15.78/16.98	c abscon : 6.25705
15.78/16.98	c
15.78/16.98	c
15.78/16.98	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-10.xml
15.78/16.98	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.615000 | c 15 >  12.097700 | c 34 >  68.221700 | c 16 >   2.000000 | c 13 >   2.578290 | c 14 >  -1.000000 | c 11 >   9.643860 | c 12 >   4.487840 | c 21 >  12.340200 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   2.904140 | c 24 >   0.789325 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.131700 | 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 >  16.894400 | c 31 >  -1.000000 | c 4 >   9.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.78/16.98	c choco : 1801.0
15.78/16.99	c mistral : 9.13061
15.78/16.99	c abscon : 16.3965
15.78/16.99	c
15.78/16.99	c
15.78/16.99	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-10.xml
15.78/16.99	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.995800 | c 15 >  11.340400 | c 34 >  68.373000 | c 16 >   2.000000 | c 13 >   2.976840 | c 14 >  -1.000000 | c 11 >  10.287700 | c 12 >   4.876490 | c 21 >  14.266700 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   3.758320 | c 24 >   0.752014 | 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.164200 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.956900 | c 31 >  -1.000000 | c 4 >  10.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.78/16.99	c choco : 1801.0
15.78/16.99	c mistral : 81.4206
15.78/16.99	c abscon : 52.605
15.78/16.99	c
15.78/16.99	c
15.78/16.99	c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-10.xml
15.78/16.99	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.043200 | c 15 >  12.038900 | c 34 >  68.279600 | c 16 >   2.000000 | c 13 >   2.796090 | c 14 >  -1.000000 | c 11 >   8.228820 | c 12 >   4.866910 | c 21 >  13.358600 | c 20 >   0.000000 | c 22 >  15.811400 | c 23 >   3.378010 | c 24 >   0.791706 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  12.095700 | 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 >  15.708200 | c 31 >  -1.000000 | c 4 >   8.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.78/17.00	c choco : 33.36
15.78/17.00	c mistral : 6.83796
15.78/17.00	c abscon : 10.5184
15.78/17.00	c
15.78/17.00	c
15.78/17.00	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-9.xml
15.78/17.00	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.615000 | c 15 >  11.772700 | c 34 >  68.221700 | c 16 >   2.000000 | c 13 >   2.578290 | c 14 >  -1.000000 | c 11 >   9.643860 | c 12 >   4.487840 | c 21 >  12.340200 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   2.904140 | c 24 >   0.789325 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.131700 | 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 >  16.894400 | c 31 >  -1.000000 | c 4 >   9.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.85/17.00	c choco : 1801.0
15.85/17.00	c mistral : 10.4224
15.85/17.00	c abscon : 16.1016
15.85/17.00	c
15.85/17.00	c
15.85/17.00	c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-9.xml
15.85/17.00	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.043200 | c 15 >  11.868400 | c 34 >  68.279600 | c 16 >   2.000000 | c 13 >   2.796090 | c 14 >  -1.000000 | c 11 >   8.228820 | c 12 >   4.866910 | c 21 >  13.358600 | c 20 >   0.000000 | c 22 >  15.811400 | c 23 >   3.378010 | c 24 >   0.791706 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  12.095700 | 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 >  15.708200 | c 31 >  -1.000000 | c 4 >   8.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.85/17.01	c choco : 80.85
15.85/17.01	c mistral : 12.5891
15.85/17.01	c abscon : 10.0495
15.85/17.01	c
15.85/17.01	c
15.85/17.01	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-0.xml
15.85/17.01	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.125800 | c 15 >  10.634800 | c 34 >  68.280300 | c 16 >   2.000000 | c 13 >   3.031350 | c 14 >  -1.000000 | c 11 >   9.228820 | c 12 >   4.906250 | c 21 >  13.519000 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   3.512160 | c 24 >   0.860617 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.135100 | 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 >  16.742700 | c 31 >  -1.000000 | c 4 >   9.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.85/17.01	c choco : 1801.0
15.85/17.01	c mistral : 9.48556
15.85/17.01	c abscon : 6.47801
15.85/17.01	c
15.85/17.01	c
15.85/17.01	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-8.xml
15.85/17.01	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.615000 | c 15 >  11.681200 | c 34 >  68.221700 | c 16 >   2.000000 | c 13 >   2.578290 | c 14 >  -1.000000 | c 11 >   9.643860 | c 12 >   4.487840 | c 21 >  12.340200 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   2.904140 | c 24 >   0.789325 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.131700 | 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 >  16.894400 | c 31 >  -1.000000 | c 4 >   9.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.85/17.02	c choco : 1801.0
15.85/17.02	c mistral : 16.71
15.85/17.02	c abscon : 16.0216
15.85/17.02	c
15.85/17.02	c
15.85/17.02	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-7.xml
15.85/17.02	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.615000 | c 15 >  11.629800 | c 34 >  68.221700 | c 16 >   2.000000 | c 13 >   2.578290 | c 14 >  -1.000000 | c 11 >   9.643860 | c 12 >   4.487840 | c 21 >  12.340200 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   2.904140 | c 24 >   0.789325 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.131700 | 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 >  16.894400 | c 31 >  -1.000000 | c 4 >   9.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.85/17.02	c choco : 1801.0
15.85/17.02	c mistral : 19.43
15.85/17.02	c abscon : 19.1291
15.85/17.02	c
15.85/17.02	c
15.85/17.02	c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-8.xml
15.85/17.02	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.043200 | c 15 >  11.723700 | c 34 >  68.279600 | c 16 >   2.000000 | c 13 >   2.796090 | c 14 >  -1.000000 | c 11 >   8.228820 | c 12 >   4.866910 | c 21 >  13.358600 | c 20 >   0.000000 | c 22 >  15.811400 | c 23 >   3.378010 | c 24 >   0.791706 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  12.095700 | 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 >  15.708200 | c 31 >  -1.000000 | c 4 >   8.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.85/17.03	c choco : 1801.0
15.85/17.03	c mistral : 39.28
15.85/17.03	c abscon : 9.8585
15.85/17.03	c
15.85/17.03	c
15.85/17.03	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-6.xml
15.85/17.03	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.615000 | c 15 >  11.567500 | c 34 >  68.221700 | c 16 >   2.000000 | c 13 >   2.578290 | c 14 >  -1.000000 | c 11 >   9.643860 | c 12 >   4.487840 | c 21 >  12.340200 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   2.904140 | c 24 >   0.789325 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.131700 | 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 >  16.894400 | c 31 >  -1.000000 | c 4 >   9.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.85/17.04	c choco : 1801.0
15.85/17.04	c mistral : 36.3755
15.85/17.04	c abscon : 15.7406
15.85/17.04	c
15.85/17.04	c
15.85/17.04	c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-7.xml
15.85/17.04	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.043200 | c 15 >  11.670200 | c 34 >  68.279600 | c 16 >   2.000000 | c 13 >   2.796090 | c 14 >  -1.000000 | c 11 >   8.228820 | c 12 >   4.866910 | c 21 >  13.358600 | c 20 >   0.000000 | c 22 >  15.811400 | c 23 >   3.378010 | c 24 >   0.791706 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  12.095700 | 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 >  15.708200 | c 31 >  -1.000000 | c 4 >   8.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.85/17.04	c choco : 115.65
15.85/17.04	c mistral : 1800.08
15.85/17.04	c abscon : 11.0983
15.85/17.04	c
15.85/17.04	c
15.85/17.04	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-5.xml
15.85/17.04	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.615000 | c 15 >  11.466100 | c 34 >  68.221700 | c 16 >   2.000000 | c 13 >   2.578290 | c 14 >  -1.000000 | c 11 >   9.643860 | c 12 >   4.487840 | c 21 >  12.340200 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   2.904140 | c 24 >   0.789325 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.131700 | 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 >  16.894400 | c 31 >  -1.000000 | c 4 >   9.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.85/17.05	c choco : 1801.0
15.85/17.05	c mistral : 1800.04
15.85/17.05	c abscon : 15.5706
15.85/17.05	c
15.85/17.05	c
15.85/17.05	c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-5.xml
15.85/17.05	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.043200 | c 15 >  11.494900 | c 34 >  68.279600 | c 16 >   2.000000 | c 13 >   2.796090 | c 14 >  -1.000000 | c 11 >   8.228820 | c 12 >   4.866910 | c 21 >  13.358600 | c 20 >   0.000000 | c 22 >  15.811400 | c 23 >   3.378010 | c 24 >   0.791706 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  12.095700 | 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 >  15.708200 | c 31 >  -1.000000 | c 4 >   8.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.85/17.06	c choco : 30.96
15.85/17.06	c mistral : 2.38464
15.85/17.06	c abscon : 5.81212
15.85/17.06	c
15.85/17.06	c
15.85/17.06	c Length: 40
15.85/17.06	c 2.2063000000000006  2.3443000000000005  2.4916  2.6213999999999995  2.9182000000000006  2.960700000000001  2.9696142931222584  3.0891672809862545  3.189193479536168  3.3208  3.3652750318385585  3.367003540229206  3.500879548044463  3.509460073845549  3.579475067648329  3.598254967330138  3.900002953834266  5.723607188558715  5.818031038841318  5.897911746450687  5.927582664874526  5.993054538290219  6.039446154153624  6.0870722206099215  6.1427051539953474  6.155288202750623  6.194103058467868  6.2308990321831565  6.309560852734841  6.31259363486198  6.371784895087168  6.385453981425282  6.412184230737681  6.413862744030386  6.437949746562254  6.4501796563274105  6.467572066027636  6.4747657524346  6.516771319392832  6.55773814656395  
15.85/17.06	c 
15.85/17.06	c 1.0  0.9692611869247783  0.9384696760994751  0.9129137358736483  0.8594010553130634  0.8522475686959083  0.850762221217282  0.8313305760990987  0.8157419619869505  0.7961008759858348  0.7896754754469156  0.789427847435381  0.7707092648185103  0.7695397580783069  0.760127887026638  0.7576424006285065  0.7198240825639793  0.5530027928519962  0.5464455225363258  0.5410184201820208  0.5390299315688298  0.5346934282672277  0.531662694974312  0.5285868500051225  0.5250386606935844  0.5242427272333162  0.5218026484158216  0.5195103667406168  0.5146768852356359  0.5144923318708411  0.5109166920123264  0.5100980191382845  0.5085046413707839  0.5084049180723693  0.5069781645890885  0.5062568070607208  0.5052344777840367  0.5048128375386522  0.5023647688383334  0.5  
15.85/17.07	c
15.85/17.07	c solver 0
15.85/17.07	c	  before 0.0 seconds: {} 0
15.85/17.07	c	  before 18.0 seconds: {4, 5, 9, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 16668
15.85/17.07	c	  before 36.0 seconds: {4, 5, 9, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17728
15.85/17.07	c	  before 54.0 seconds: {0, 1, 2, 4, 5, 9, 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} 21151
15.85/17.07	c	  before 72.0 seconds: {0, 1, 2, 4, 5, 6, 9, 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} 22001
15.85/17.07	c	  before 90.0 seconds: {0, 1, 2, 4, 5, 6, 8, 9, 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} 22817
15.85/17.07	c	  before 144.0 seconds: {0, 1, 2, 4, 5, 6, 7, 8, 9, 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} 23648
15.85/17.08	c	  before 180.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 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} 24561
15.85/17.08	c	  before 216.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 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} 25351
15.85/17.08	c	  before 396.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} 26140
15.85/17.08	c
15.85/17.08	c solver 1
15.85/17.08	c	  before 0.0 seconds: {} 0
15.85/17.08	c	  before 18.0 seconds: {19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 39} 7818
15.85/17.08	c	  before 36.0 seconds: {4, 5, 9, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 39} 10832
15.85/17.08	c	  before 54.0 seconds: {4, 5, 9, 16, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 39} 12564
15.85/17.08	c	  before 90.0 seconds: {4, 5, 9, 16, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 39} 13078
15.85/17.08	c	  before 144.0 seconds: {4, 5, 9, 15, 16, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 39} 13836
15.85/17.08	c	  before 324.0 seconds: {4, 5, 9, 13, 15, 16, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 39} 14605
15.85/17.08	c	  before 828.0 seconds: {4, 5, 9, 12, 13, 15, 16, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 39} 15376
15.85/17.08	c	  before 1080.0 seconds: {4, 5, 9, 12, 13, 14, 15, 16, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 39} 16136
15.85/17.08	c
15.85/17.08	c solver 2
15.85/17.08	c	  before 0.0 seconds: {} 0
15.85/17.08	c	  before 36.0 seconds: {29, 39} 1014
15.85/17.08	c	  before 90.0 seconds: {29, 31, 39} 1524
15.85/17.08	c	  before 126.0 seconds: {29, 31, 37, 39} 2029
15.85/17.08	c
15.85/17.08	cTotal time: 89
15.85/17.08	c 1602.0 seconds unused
15.85/17.08	c 0 c 13 c 36 
15.85/17.08	c 0 c 0 c 24 
15.85/17.08	c 0 c 1 c 0 
15.85/17.08	c is solver0 dominated by:
15.85/17.08	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)
15.85/17.08	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)
15.85/17.08	c is dominated? false
15.85/17.08	c
15.85/17.08	c is solver1 dominated by:
15.85/17.08	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)
15.85/17.08	c is dominated? true
15.85/17.08	c
15.85/17.08	c is solver2 dominated by:
15.85/17.08	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)
15.85/17.08	c is dominated? true
15.85/17.08	c
15.85/17.08	c Number of non-dominated solvers: 1
15.85/17.08	c remove dominated solvers
15.85/17.08	c solver 0 is not dominated by another solver
15.85/17.08	c solver 2 is dominated by another solver
15.85/17.08	c solver 1 is dominated by another solver
15.85/17.08	c
15.85/17.08	c solver 0: 396.0
15.85/17.08	c
15.85/17.08	c+ 22/22 of 78
15.85/17.08	c
15.85/17.08	c solver 1: 0.0
15.85/17.08	c
15.85/17.08	c solver 2: 0.0
15.85/17.08	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} 26140
15.85/17.08	c	 do not run mistral
15.85/17.08	c	 do not run choco
15.85/17.08	c Starting solver: HOME/cpHydra_k_40/solver/abscon
15.85/17.08	c On Instance: HOME/instance-1085932-1215236160.xml
15.85/17.08	c Running for: 1800 seconds
65.39/67.48	s SAT
65.39/67.48	v  2548 -2484 2532 -2616 -2380 -2472 -2560 -2368 -2636 2460 2340 2324 -2596 2600 -2616 2508 -2656 -2280 -2316 -2316 2344 -2376 -2300 -2404 -2404 -2636 -2352 2580 2592 2480 2324 -2544 -2516 2488 -2656 2428 -2360 2440 2368 -2376 2420 2280 2528 2384 2460 2656 2588 2616 -2468 -2532 -2320 2560 2560 -2600 -2496 -2552 2616 -2320 -2396 2528 2616 2384 2388 2280 -2308 -2480 -2356 2560 2564 -2280 -2520 -2648 2484 2584 -2320 -2504 2368 2624 -2540 2360 -2656 -2400 -2568 -2476 2608 -2332 -2604 2596 2552 2280 -2388 2352 2528 2320 -2436 -2468 -2456 -2532 -2432 2616 -2292 2596 2392 2408 -2328 -2640 2656 2416 -2320 -2656 -2452 2288 -2336 -2336 2600 2408 -2536 -2636 -2552 2444 2600 2600 -2636 2608 -2384 2592 2652 2612 -2504 -2284 -2440 -2420 2588 -2616 -2352 -2484 -2280 2456 -2600 -2436 2328 -2448 -2640 2436 -2516 -2616 2512 2516 -2616 -2628 -2508 -2392 -2432 2320 2588 -2476 -2320 -2292 -2324 -2280 -2320 2628 -2444 2544 -2492 -2392 2512 -2612 2332 2484 2508 -2300 -2340 2384 -2656 2332 2280 -2616 2404 2480 -2504 2656 -2368 -2612 -2608 2396 2500 -2632 2596 -2468 -2280 -2320 -2280 2348 -2304 -2652 -2332 2304 -2656 2464 -2280 -2628 2528 2616 2336 -2612 2568 2484 2320 2512 2648 -2332 -2352 -2320 -2560 -2368 -2516 2656 2644 -2380 2392 2584 -2320 -2360 -2468 -2544 -2656 2508 2328 -2592 -2428 2612 -2368 -2576 -2616 -2280 -2608 -2592 2464 -2600 -2580 -2420 2284 -2320 -2280 -2520 2436 -2320 -2300 -2588 -2592 -2456 2600 2280 2616 -2360 2492 -2460 -2336 2320 2620 -2480 2416 2320 2532 -2312 -2616 -2280 2580 2640 -2328 2540 2596 2524 2576 2596 2332 2484 2312 -2332 2472 2556 -2428 2380 -2616 -2408 -2360 2452 2568 -2320 -2460 2612 -2396 -2444 -2468 -2396 -2500 2652 -2340 -2580 2428 2280 -2500 -2536 -2496 -2588 2500 2356 2420 2308 -2472 -2592 2416 2600 -2448 2516 2580 -2328 -2316 2280 -2616 -2412 2592 -2568 -2332 -2460 -2616 -2300 -2280 -2656 -2400 -2500 2600 2560 -2612 2356 2396 2340 2348 2656 -2320 -2384 2552 2612 -2344 2572 2592 2340 -2300 2484 -2432 2636 2552 2556 2492 -2504 2292 2360 -2376 -2372 -2540 2360 2612 -2352 2656 2592 2428 2612 -2560 -2340 2284 2616 -2444 -2368 2616 -2508 -2412 -2344 -2436 -2576 2656 2400 -2440 -2360 -2368 -2648 -2428 2472 -2348 -2652 2432 -2372 -2280 -2400 2488 2516 -2404 -2280 -2364 2584 2432 -2360 2544 -2560 -2464 -2420 -2392 2432 2348 2328 -2540 2568 2376 2408 -2560 -2656 -2348 2588 2552 2572 -2480 2452 2404 -2656 -2616 2280 -2488 -2468 2636 -2628 2376 -2604 -2388 -2296 -2632 2512 2616 2604 -2344 -2656 2456 -2548 -2656 -2336 -2356 -2544 -2316 2336 -2564 2380 2320 2284 -2476 2328 -2284 2560 -2564 -2324 2384 2600 2480 2404 -2656 -2320 2328 2344 -2452 -2292 -2592 2616 2384 -2288 -2456 2308 -2328 -2488 2316 -2280 -2616 2456 -2632 -2424 -2656 2588 -2592 -2540 -2320 2472 2496 2356 2540 2372 2596 -2552 2408 2360 2340 2472 2544 -2444 -2324 -2288 -2448 2636 -2308 -2440 2584 2656 -2568 2432 -2416 -2432 -2636 -2584 2532 2292 -2656 -2656 2536 -2640 -2396 2308 2488 -2592 -2600 -2424 -2456 -2380 2476 -2380 -2616 2320 2556 2316 2612 2296 -2584 -2500 2520 -2404 2344 2580 2632 -2640 -2284 2512 2592 2340 2568 -2616 -2656 2320 -2380 2360 2324 -2472 -2416 -2280 -2328 -2620 2544 -2372 -2656 -2420 2320 -2628 2648 -2504 -2340 -2380 -2616 2580 -2324 -2600 2524 -2580 -2520 -2296 -2620 -2656 2436 -2288 -2616 -2320 2312 -2588 2644 2540 2560 2424 2572 2288 2404 -2508 -2404 2444 2292 -2596 -2536 2596 -2656 -2412 2484 -2372 -2320 2340 2384 -2556 -2432 2636 2468 2312 -2648 -2600 -2356 2444 2596 -2464 -2524 -2528 -2552 -2604 -2580 2368 -2464 2632 2636 -2372 2652 -2612 2280 2332 2536 -2656 -2400 2652 2320 -2616 -2468 -2336 -2280 -2448 -2352 2616 2340 2324 2352 2404 2304 -2356 2392 -2360 -2472 -2496 -2544 -2280 2640 -2492 -2636 -2328 -2580 2556 2532 -2432 -2472 -2648 -2656 -2516 -2616 -2436 -2440 2600 -2552 2568 2612 -2644 -2412 -2344 -2544 -2280 -2540 2280 -2320 -2316 -2420 -2584 -2632 -2656 -2336 2480 -2448 -2560 2404 2280 2336 2280 2328 -2368 -2600 -2360 -2472 2568 2608 2340 -2628 2584 2520 2576 -2580 2504 -2616 -2428 -2624 -2296 -2656 2480 2508 2320 2640 -2352 2616 2364 -2656 -2624 -2540 -2288 2512 2476 -2280 -2344 -2424 2280 -2316 -2520 -2408 2604 -2624 2328 -2392 -2460 -2388 -2284 -2508 -2392 2520 -2492 -2536 2500 -2560 2556 -2524 -2300 -2520 -2644 -2448 -2656 2356 -2492 2348 2520 2532 -2452 2396 -2392 -2516 -2656 -2320 2616 -2592 -2572 -2388 2320 -2604 2372 -2324 -2584 -2440 2596 -2468 2348 -2548 -2340 2572 -2632 2456 2632 -2636 -2480 2624 2556 -2588 2280 -2576 2624 -2448 2380 2424 -2340 -2452 2388 -2456 2512 -2616 2536 2536 2576 -2308 2288 2472 -2308 -2320 -2340 -2608 -2328 -2348 -2416 -2408 -2444 2340 2512 2356 -2280 -2280 -2652 -2544 -2400 -2452 -2320 -2460 2396 -2468 -2324 2480 -2424 -2576 -2584 -2600 -2412 -2320 -2420 -2516 2300 2384 -2492 -2432 2600 -2528 -2320 -2448 -2428 -2280 -2520 -2584 -2480 -2296 2320 -2616 -2532 -2452 2448 -2356 -2636 2612 2460 2412 -2284 2640 -2304 -2532 -2592 -2336 -2352 -2320 2316 -2356 -2516 -2440 -2432 2384 2616 -2396 -2532 2320 -2284 2572 -2456 -2500 -2604 -2484 -2584 -2428 -2476 -2656 -2460 -2380 2600 2436 2492 -2336 2432 2472 2656 -2652 -2280 -2320 -2408 2468 -2640 -2428 -2576 -2532 2568 2532 2280 2584 -2400 -2656 -2616 -2552 2596 -2432 -2404 2616 2540 -2608 2400 2296 2612 2540 -2320 2436 2556 2652 -2496 -2464 2320 2548 -2592 -2408 2520 -2408 2320 -2580 2428 2608 -2444 -2432 2628 2388 2324 2572 -2608 2488 -2512 2484 -2444 -2492 -2516 -2424 -2360 2516 -2460 -2356 2628 2356 -2340 -2412 -2656 -2292 -2584 -2412 2616 -2328 2460 2444 -2320 2600 2556 -2500 -2412 2368 2508 2280 2572 2600 -2592 -2460 2656 -2380 -2332 2616 2396 2544 -2648 -2336 -2616 -2616 -2584 -2632 2420 -2472 -2460 -2628 2440 2380 -2560 -2520 2440 -2292 2496 2508 2320 2468 -2448 2596 -2624 2540 2452 -2344 -2556 -2280 -2616 2620 -2648 -2428 2504 -2636 -2540 -2640 2436 2584 -2464 -2492 2552 -2412 -2388 2584 2588 -2656 2624 -2328 2520 2392 -2428 2452 -2572 -2392 -2616 2620 2476 2448 2392 2288 2652 -2316 2444 2424 2428 2640 2460 2548 -2280 -2432 -2328 -2508 -2580 2368 2604 -2556 2300 -2508 2436 -2616 -2320 2280 -2640 2476 -2364 -2508 2616 2616 -2320 -2524 2280 2392 2600 -2280 2516 2416 2548 -2496 -2520 2640 2364 -2396 -2432 2376 2308 2400 -2308 -2316 -2416 -2656 2612 -2408 2652 -2600 2608 -2656 2616 -2512 -2560 -2528 -2584 -2336 2392 2604 -2624 2560 -2316 2468 2332 2420 -2396 2544 2364 -2532 2464 -2408 2492 2280 -2296 -2444 -2656 -2288 2584 -2280 2432 2320 -2488 -2584 2288 2300 -2372 -2340 -2400 -2320 -2520 -2444 -2528 -2656 2468 -2508 2456 -2416 2384 2504 -2656 2568 2608 -2508 2320 2424 2616 2320 -2616 2596 -2620 2388 -2592 -2312 2440 2532 -2492 -2396 -2460 2572 2340 2520 2616 -2572 2400 -2564 2344 -2640 -2280 2528 2348 -2284 -2460 2376 2524 2496 -2576 2528 2296 -2524 2640 2316 2564 -2316 -2512 2348 -2320 -2528 -2372 -2532 2564 -2616 2432 -2320 -2636 -2480 -2444 -2436 -2652 -2368 -2284 -2532 -2520 -2604 2376 2560 -2476 -2332 2612 -2348 -2592 -2436 2656 2280 2476 -2480 2612 -2612 -2632 2384 -2556 -2568 -2388 -2612 -2388 2476 -2656 2460 -2344 2320 -2320 -2544 2656 -2288 2304 -2476 -2320 -2392 2488 -2468 2324 -2656 2596 2624 -2420 2592 -2320 -2404 2336 -2336 -2572 -2608 -2352 2500 -2380 -2476 2648 -2440 2564 -2632 -2616 -2416 -2492 -2376 -2608 -2532 2656 -2568 2612 -2524 2604 -2528 -2320 2464 2416 2280 2632 -2380 -2604 -2556 -2436 -2320 2612 2412 2616 -2588 -2572 2396 -2344 -2320 -2492 2376 -2376 -2560 -2420 -2620 2588 2500 2440 -2384 2500 -2380 -2612 2544 -2496 -2444 -2476 2520 -2360 -2584 2548 2656 -2508 -2404 -2616 2520 -2504 -2280 2408 -2368 -2652 -2588 -2536 2460 2424 2616 -2384 2572 -2440 -2556 -2612 -2580 2280 2384 2348 2392 -2600 -2380 2320 -2336 2656 -2444 -2588 2280 2316 -2320 -2652 -2280 -2540 -2544 2444 -2628 -2504 2404 2588 2512 2400 2336 2632 -2320 -2420 -2432 -2656 2280 -2656 2444 -2300 -2320 2552 2524 -2340 2304 -2320 2572 -2280 2516 -2596 2528 -2564 -2560 2612 2528 2384 -2480 -2652 -2396 -2632 -2400 2340 -2444 -2452 -2328 2360 -2564 2324 2320 -2320 2396 -2420 2368 -2544 2616 -2480 2400 -2568 -2480 -2592 2612 -2512 2516 2600 2280 -2536 2616 -2656 -2540 2588 -2492 2412 2288 -2280 2592 2568 -2528 2544 -2340 -2488 2644 2408 2320 -2328 2608 -2376 -2532 -2636 2620 -2636 -2544 2612 -2476 2520 -2656 -2380 -2468 2500 -2496 -2496 2548 -2516 2616 -2280 2332 -2280 2476 2604 -2496 2300 -2452 2612 -2576 -2408 2304 2492 -2344 -2580 -2540 2376 2440 -2424 2412 2328 2516 -2392 2304 -2372 -2280 -2596 -2392 -2404 -2600 2428 -2620 2500 2368 2356 2636 -2364 2516 -2360 -2464 -2656 -2352 -2560 2540 -2500 2356 -2504 -2304 2648 -2320 -2628 2404 -2280 2524 2616 -2280 -2372 -2356 -2344 -2644 -2400 -2336 -2384 -2592 2444 -2528 2448 2320 -2344 -2280 2320 -2280 2352 -2560 -2656 2492 -2656 2656 -2360 2616 2520 2332 -2616 -2596 2280 -2392 2632 -2320 -2440 -2592 -2432 2504 2408 -2580 2632 2324 -2616 -2644 -2408 -2616 2608 2528 2572 -2544 2328 2480 -2452 -2500 -2416 2492 2628 -2580 -2428 -2636 2616 -2440 -2320 2604 -2616 2384 -2332 -2344 -2616 2604 -2452 -2288 -2320 -2484 -2320 2444 -2400 2460 -2616 -2588 2492 -2512 2420 2624 -2544 2316 -2488 2280 -2416 -2392 -2360 -2492 -2528 -2444 -2532 -2592 -2580 -2644 2280 -2300 -2480 2608 -2344 2356 -2512 2640 -2564 -2480 2408 -2408 2608 -2288 -2336 -2280 2436 2492 2372 -2284 2356 -2656 -2408 -2596 -2568 -2288 -2556 -2436 2512 2392 -2320 -2616 2560 2504 -2500 2596 2420 -2568 -2616 2568 -2400 -2280 -2656 -2612 -2656 2320 2652 2508 -2644 -2600 -2316 -2380 -2656 -2424 -2428 2416 2304 -2656 2404 -2356 2312 -2604 -2656 -2496 -2340 -2528 -2352 -2472 2448 -2500 -2656 -2628 2404 2280 -2280 2508 -2568 2528 -2604 -2556 -2548 2380 2616 -2280 2540 2628 2604 -2656 -2412 2320 -2564 -2452 -2344 2488 2576 -2612 -2420 -2552 -2472 2344 2388 2592 -2280 -2324 2640 -2472 -2488 2280 2536 -2656 -2464 -2516 2416 2484 -2456 2412 2592 -2572 2340 -2568 -2596 -2572 2496 -2536 2564 -2420 2420 -2608 -2380 -2352 2472 -2356 -2572 -2388 -2472 2280 -2480 -2448 2296 2484 2568 -2376 -2320 2608 -2436 -2412 2508 -2528 2500 2552 -2476 2596 2600 -2616 -2400 -2296 -2432 -2612 -2560 2360 2324 -2456 -2616 2608 2432 -2596 -2516 2600 -2464 2612 -2620 2572 -2320 -2616 -2484 2364 2616 -2632 2568 -2656 -2280 2628 2508 2572 2364 2552 -2616 2320 2328 2616 2596 -2320 -2592 -2580 -2376 -2524 2528 2540 -2620 -2616 -2544 -2404 -2656 -2460 -2472 2656 2392 -2616 2580 2328 -2608 -2344 -2348 -2524 2584 -2420 -2652 2300 -2320 -2652 -2636 2468 2572 -2336 2312 2656 -2564 -2552 2320 -2452 2356 -2388 -2636 -2472 -2520 -2432 2436 -2344 -2360 2600 -2344 2632 2616 -2428 -2288 2320 -2456 2320 2348 -2376 -2328 2532 -2420 2352 -2480 -2400 -2608 2308 -2356 -2492 -2520 -2656 2280 -2372 2580 2600 2280 -2356 -2376 -2548 -2656 2592 2284 -2320 -2280 -2636 2348 -2496 -2288 2468 2616 2416 2468 -2308 2392 -2304 2600 2296 2592 2536 2472 -2280 -2320 -2648 -2632 -2404 -2612 2376 -2344 2644 -2512 -2340 2356 -2432 2492 -2632 -2568 -2596 2652 2280 -2400 -2300 2292 2404 -2612 -2468 2484 2364 -2440 2500 -2320 -2320 2316 2600 -2416 2292 2280 -2552 -2328 -2320 -2460 -2496 -2564 2388 2324 -2380 -2516 2644 2320 -2560 2652 -2616 -2352 -2444 -2284 2612 -2488 2588 2532 2356 -2320 2380 2424 2396 2516 2644 -2540 2596 -2656 2344 2420 2384 2584 -2656 2504 -2372 2348 -2448 -2468 -2396 -2320 -2616 2456 2596 -2296 2640 -2604 -2296 -2524 -2364 -2636 
65.39/67.49	d ASSIGNMENTS 2024
65.39/67.49	d CHECKS 47762975

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-1085932-1215236160/watcher-1085932-1215236160 -o /tmp/evaluation-result-1085932-1215236160/solver-1085932-1215236160 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1085932-1215236160.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: 4.16 3.41 2.60 4/81 15229
/proc/meminfo: memFree=1626568/2055920 swapFree=4179164/4192956
[pid=15229] ppid=15227 vsize=5360 CPUtime=0
/proc/15229/stat : 15229 (hydra) S 15227 15229 11600 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 135296958 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15229/statm: 1340 236 195 169 0 51 0
[pid=15232] ppid=15229 vsize=1968 CPUtime=0
/proc/15232/stat : 15232 (xsolve) D 15229 15229 11600 0 -1 4194304 51 0 0 0 0 0 0 0 18 0 1 0 135296959 2015232 29 996147200 134512640 135239763 4294956176 18446744073709551615 11768740 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/15232/statm: 492 29 21 177 0 4 0

[startup+0.081793 s]
/proc/loadavg: 4.16 3.41 2.60 4/81 15229
/proc/meminfo: memFree=1626568/2055920 swapFree=4179164/4192956
[pid=15229] ppid=15227 vsize=5360 CPUtime=0
/proc/15229/stat : 15229 (hydra) S 15227 15229 11600 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 135296958 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15229/statm: 1340 236 195 169 0 51 0
[pid=15232] ppid=15229 vsize=1968 CPUtime=0
/proc/15232/stat : 15232 (xsolve) D 15229 15229 11600 0 -1 4194304 51 0 0 0 0 0 0 0 18 0 1 0 135296959 2015232 29 996147200 134512640 135239763 4294956176 18446744073709551615 11768740 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/15232/statm: 492 29 21 177 0 4 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7328

[startup+0.101795 s]
/proc/loadavg: 4.16 3.41 2.60 4/81 15229
/proc/meminfo: memFree=1626568/2055920 swapFree=4179164/4192956
[pid=15229] ppid=15227 vsize=5360 CPUtime=0
/proc/15229/stat : 15229 (hydra) S 15227 15229 11600 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 135296958 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15229/statm: 1340 236 195 169 0 51 0
[pid=15232] ppid=15229 vsize=1968 CPUtime=0
/proc/15232/stat : 15232 (xsolve) D 15229 15229 11600 0 -1 4194304 51 0 0 0 0 0 0 0 18 0 1 0 135296959 2015232 29 996147200 134512640 135239763 4294956176 18446744073709551615 11768740 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/15232/statm: 492 29 21 177 0 4 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7328

[startup+0.301817 s]
/proc/loadavg: 4.16 3.41 2.60 4/81 15229
/proc/meminfo: memFree=1626568/2055920 swapFree=4179164/4192956
[pid=15229] ppid=15227 vsize=5360 CPUtime=0
/proc/15229/stat : 15229 (hydra) S 15227 15229 11600 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 135296958 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15229/statm: 1340 236 195 169 0 51 0
[pid=15232] ppid=15229 vsize=1968 CPUtime=0
/proc/15232/stat : 15232 (xsolve) D 15229 15229 11600 0 -1 4194304 51 0 0 0 0 0 0 0 18 0 1 0 135296959 2015232 29 996147200 134512640 135239763 4294956176 18446744073709551615 11768740 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/15232/statm: 492 29 21 177 0 4 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7328

[startup+0.701862 s]
/proc/loadavg: 4.16 3.41 2.60 4/81 15229
/proc/meminfo: memFree=1626568/2055920 swapFree=4179164/4192956
[pid=15229] ppid=15227 vsize=5360 CPUtime=0
/proc/15229/stat : 15229 (hydra) S 15227 15229 11600 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 135296958 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15229/statm: 1340 236 195 169 0 51 0
[pid=15232] ppid=15229 vsize=1968 CPUtime=0
/proc/15232/stat : 15232 (xsolve) D 15229 15229 11600 0 -1 4194304 51 0 0 0 0 0 0 0 18 0 1 0 135296959 2015232 29 996147200 134512640 135239763 4294956176 18446744073709551615 11768740 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/15232/statm: 492 29 21 177 0 4 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7328

[startup+1.50196 s]
/proc/loadavg: 4.16 3.41 2.60 3/83 15233
/proc/meminfo: memFree=1625656/2055920 swapFree=4179164/4192956
[pid=15229] ppid=15227 vsize=5360 CPUtime=0
/proc/15229/stat : 15229 (hydra) S 15227 15229 11600 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 135296958 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15229/statm: 1340 236 195 169 0 51 0
[pid=15232] ppid=15229 vsize=14072 CPUtime=0.54
/proc/15232/stat : 15232 (xsolve) R 15229 15229 11600 0 -1 4194304 2866 0 0 0 53 1 0 0 22 0 1 0 135296959 14409728 2759 996147200 134512640 135239763 4294956176 18446744073709551615 134683414 0 0 4096 0 0 0 0 17 0 0 0
/proc/15232/statm: 3518 2759 379 177 0 2421 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 19432

[startup+3.10113 s]
/proc/loadavg: 4.16 3.41 2.60 3/83 15233
/proc/meminfo: memFree=1605624/2055920 swapFree=4179164/4192956
[pid=15229] ppid=15227 vsize=5360 CPUtime=0
/proc/15229/stat : 15229 (hydra) S 15227 15229 11600 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 135296958 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15229/statm: 1340 236 195 169 0 51 0
[pid=15232] ppid=15229 vsize=77100 CPUtime=2.13
/proc/15232/stat : 15232 (xsolve) R 15229 15229 11600 0 -1 4194304 11590 0 0 0 207 6 0 0 25 0 1 0 135296959 78950400 11353 996147200 134512640 135239763 4294956176 18446744073709551615 134535707 0 0 4096 0 0 0 0 17 0 0 0
/proc/15232/statm: 19275 11353 416 177 0 18178 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 82460

[startup+6.30149 s]
/proc/loadavg: 4.23 3.44 2.62 3/83 15233
/proc/meminfo: memFree=1595000/2055920 swapFree=4179164/4192956
[pid=15229] ppid=15227 vsize=5360 CPUtime=0
/proc/15229/stat : 15229 (hydra) S 15227 15229 11600 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 135296958 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15229/statm: 1340 236 195 169 0 51 0
[pid=15232] ppid=15229 vsize=77100 CPUtime=5.31
/proc/15232/stat : 15232 (xsolve) R 15229 15229 11600 0 -1 4194304 11590 0 0 0 525 6 0 0 25 0 1 0 135296959 78950400 11353 996147200 134512640 135239763 4294956176 18446744073709551615 134535329 0 0 4096 0 0 0 0 17 0 0 0
/proc/15232/statm: 19275 11353 416 177 0 18178 0
Current children cumulated CPU time (s) 5.31
Current children cumulated vsize (KiB) 82460

[startup+12.7022 s]
/proc/loadavg: 4.21 3.45 2.62 3/91 15245
/proc/meminfo: memFree=1649464/2055920 swapFree=4179164/4192956
[pid=15229] ppid=15227 vsize=5360 CPUtime=10.42
/proc/15229/stat : 15229 (hydra) S 15227 15229 11600 0 -1 4194304 375 12197 0 0 0 0 1034 8 20 0 1 0 135296958 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15229/statm: 1340 238 196 169 0 51 0
[pid=15237] ppid=15229 vsize=196996 CPUtime=1.24
/proc/15237/stat : 15237 (java) S 15229 15229 11600 0 -1 0 5009 0 1 0 119 5 0 0 21 0 9 0 135298102 201723904 4202 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15237/statm: 49249 4202 1679 9 0 43831 0
[pid=15237/tid=15238] ppid=15229 vsize=196996 CPUtime=0.96
/proc/15237/task/15238/stat : 15238 (java) R 15229 15229 11600 0 -1 64 2732 0 1 0 94 2 0 0 25 0 9 0 135298103 201723904 4202 996147200 134512640 134550740 4294955968 18446744073709551615 4126468944 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15239] ppid=15229 vsize=196996 CPUtime=0.12
/proc/15237/task/15239/stat : 15239 (java) S 15229 15229 11600 0 -1 64 939 0 0 0 11 1 0 0 16 0 9 0 135298104 201723904 4202 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15240] ppid=15229 vsize=196996 CPUtime=0
/proc/15237/task/15240/stat : 15240 (java) S 15229 15229 11600 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 135298105 201723904 4202 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15241] ppid=15229 vsize=196996 CPUtime=0
/proc/15237/task/15241/stat : 15241 (java) S 15229 15229 11600 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 135298105 201723904 4202 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15242] ppid=15229 vsize=196996 CPUtime=0
/proc/15237/task/15242/stat : 15242 (java) S 15229 15229 11600 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 135298107 201723904 4202 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15243] ppid=15229 vsize=196996 CPUtime=0.13
/proc/15237/task/15243/stat : 15243 (java) S 15229 15229 11600 0 -1 64 613 0 0 0 13 0 0 0 16 0 9 0 135298107 201723904 4202 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15244] ppid=15229 vsize=196996 CPUtime=0
/proc/15237/task/15244/stat : 15244 (java) S 15229 15229 11600 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 135298107 201723904 4202 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15245] ppid=15229 vsize=196996 CPUtime=0
/proc/15237/task/15245/stat : 15245 (java) S 15229 15229 11600 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 135298107 201723904 4202 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.66
Current children cumulated vsize (KiB) 202356

[startup+25.5027 s]
/proc/loadavg: 4.24 3.49 2.65 3/103 15257
/proc/meminfo: memFree=1581464/2055920 swapFree=4179164/4192956
[pid=15229] ppid=15227 vsize=5360 CPUtime=10.42
/proc/15229/stat : 15229 (hydra) S 15227 15229 11600 0 -1 4194304 375 12197 0 0 0 0 1034 8 20 0 1 0 135296958 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15229/statm: 1340 238 196 169 0 51 0
[pid=15237] ppid=15229 vsize=197428 CPUtime=5.49
/proc/15237/stat : 15237 (java) S 15229 15229 11600 0 -1 0 11469 0 1 0 531 18 0 0 21 0 10 0 135298102 202166272 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15237/statm: 49357 9424 2544 9 0 43939 0
[pid=15247] ppid=15237 vsize=5356 CPUtime=0
/proc/15247/stat : 15247 (abscon) S 15237 15229 11600 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 135298667 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 265674089284 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/15247/statm: 1339 235 194 169 0 50 0
[pid=15248] ppid=15247 vsize=655728 CPUtime=8.25
/proc/15248/stat : 15248 (java) S 15247 15229 11600 0 -1 0 21284 0 1 0 811 14 0 0 25 0 9 0 135298668 671465472 20784 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15248/statm: 163932 20784 2008 9 0 158460 0
[pid=15248/tid=15250] ppid=15247 vsize=655728 CPUtime=7.73
/proc/15248/task/15250/stat : 15250 (java) R 15247 15229 11600 0 -1 64 12454 0 1 0 763 10 0 0 25 0 9 0 135298668 671465472 20784 996147200 134512640 134550740 4294955808 18446744073709551615 4126900087 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15248/tid=15251] ppid=15247 vsize=655728 CPUtime=0.27
/proc/15248/task/15251/stat : 15251 (java) S 15247 15229 11600 0 -1 64 7624 0 0 0 24 3 0 0 17 0 9 0 135298670 671465472 20784 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15248/tid=15252] ppid=15247 vsize=655728 CPUtime=0
/proc/15248/task/15252/stat : 15252 (java) S 15247 15229 11600 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 135298670 671465472 20784 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15248/tid=15253] ppid=15247 vsize=655728 CPUtime=0
/proc/15248/task/15253/stat : 15253 (java) S 15247 15229 11600 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 135298670 671465472 20784 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15248/tid=15254] ppid=15247 vsize=655728 CPUtime=0
/proc/15248/task/15254/stat : 15254 (java) S 15247 15229 11600 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 135298672 671465472 20784 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15248/tid=15255] ppid=15247 vsize=655728 CPUtime=0.22
/proc/15248/task/15255/stat : 15255 (java) S 15247 15229 11600 0 -1 64 660 0 0 0 22 0 0 0 15 0 9 0 135298672 671465472 20784 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15248/tid=15256] ppid=15247 vsize=655728 CPUtime=0
/proc/15248/task/15256/stat : 15256 (java) S 15247 15229 11600 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 135298672 671465472 20784 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15248/tid=15257] ppid=15247 vsize=655728 CPUtime=0
/proc/15248/task/15257/stat : 15257 (java) S 15247 15229 11600 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 135298672 671465472 20784 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15249] ppid=15247 vsize=7044 CPUtime=0
/proc/15249/stat : 15249 (translate) S 15247 15229 11600 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 135298668 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 265674260562 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/15249/statm: 1761 213 182 1 0 41 0
[pid=15237/tid=15238] ppid=15229 vsize=197428 CPUtime=4.43
/proc/15237/task/15238/stat : 15238 (java) S 15229 15229 11600 0 -1 64 3855 0 1 0 434 9 0 0 25 0 10 0 135298103 202166272 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=15237/tid=15239] ppid=15229 vsize=197428 CPUtime=0.82
/proc/15237/task/15239/stat : 15239 (java) S 15229 15229 11600 0 -1 64 6122 0 0 0 74 8 0 0 16 0 10 0 135298104 202166272 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15240] ppid=15229 vsize=197428 CPUtime=0
/proc/15237/task/15240/stat : 15240 (java) S 15229 15229 11600 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 135298105 202166272 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15241] ppid=15229 vsize=197428 CPUtime=0
/proc/15237/task/15241/stat : 15241 (java) S 15229 15229 11600 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 135298105 202166272 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15242] ppid=15229 vsize=197428 CPUtime=0
/proc/15237/task/15242/stat : 15242 (java) S 15229 15229 11600 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 135298107 202166272 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15243] ppid=15229 vsize=197428 CPUtime=0.22
/proc/15237/task/15243/stat : 15243 (java) S 15229 15229 11600 0 -1 64 668 0 0 0 22 0 0 0 16 0 10 0 135298107 202166272 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15244] ppid=15229 vsize=197428 CPUtime=0
/proc/15237/task/15244/stat : 15244 (java) S 15229 15229 11600 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 135298107 202166272 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15245] ppid=15229 vsize=197428 CPUtime=0
/proc/15237/task/15245/stat : 15245 (java) S 15229 15229 11600 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 135298107 202166272 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15246] ppid=15229 vsize=197428 CPUtime=0
/proc/15237/task/15246/stat : 15246 (java) S 15229 15229 11600 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 135298667 202166272 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.16
Current children cumulated vsize (KiB) 870916

[startup+51.1025 s]
/proc/loadavg: 3.74 3.43 2.65 3/102 15257
/proc/meminfo: memFree=1534752/2055920 swapFree=4179164/4192956
[pid=15229] ppid=15227 vsize=5360 CPUtime=10.42
/proc/15229/stat : 15229 (hydra) S 15227 15229 11600 0 -1 4194304 375 12197 0 0 0 0 1034 8 20 0 1 0 135296958 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15229/statm: 1340 238 196 169 0 51 0
[pid=15237] ppid=15229 vsize=197428 CPUtime=5.49
/proc/15237/stat : 15237 (java) S 15229 15229 11600 0 -1 0 11469 0 1 0 531 18 0 0 21 0 10 0 135298102 202166272 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15237/statm: 49357 9424 2544 9 0 43939 0
[pid=15247] ppid=15237 vsize=5356 CPUtime=0

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

/proc/15248/task/15253/stat : 15253 (java) S 15247 15229 11600 0 -1 64 14 0 0 0 0 0 0 0 15 0 9 0 135298670 671465472 33374 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15248/tid=15254] ppid=15247 vsize=655728 CPUtime=0
/proc/15248/task/15254/stat : 15254 (java) S 15247 15229 11600 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 135298672 671465472 33374 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15248/tid=15255] ppid=15247 vsize=655728 CPUtime=0.37
/proc/15248/task/15255/stat : 15255 (java) S 15247 15229 11600 0 -1 64 751 0 0 0 37 0 0 0 16 0 9 0 135298672 671465472 33374 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15248/tid=15256] ppid=15247 vsize=655728 CPUtime=0
/proc/15248/task/15256/stat : 15256 (java) S 15247 15229 11600 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 135298672 671465472 33374 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15248/tid=15257] ppid=15247 vsize=655728 CPUtime=0
/proc/15248/task/15257/stat : 15257 (java) S 15247 15229 11600 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 135298672 671465472 33374 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15249] ppid=15247 vsize=7044 CPUtime=0
/proc/15249/stat : 15249 (translate) S 15247 15229 11600 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 135298668 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 265674260562 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/15249/statm: 1761 213 182 1 0 41 0
[pid=15237/tid=15238] ppid=15229 vsize=197428 CPUtime=4.43
/proc/15237/task/15238/stat : 15238 (java) S 15229 15229 11600 0 -1 64 3855 0 1 0 434 9 0 0 25 0 10 0 135298103 202166272 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=15237/tid=15239] ppid=15229 vsize=197428 CPUtime=0.82
/proc/15237/task/15239/stat : 15239 (java) S 15229 15229 11600 0 -1 64 6122 0 0 0 74 8 0 0 16 0 10 0 135298104 202166272 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15240] ppid=15229 vsize=197428 CPUtime=0
/proc/15237/task/15240/stat : 15240 (java) S 15229 15229 11600 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 135298105 202166272 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15241] ppid=15229 vsize=197428 CPUtime=0
/proc/15237/task/15241/stat : 15241 (java) S 15229 15229 11600 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 135298105 202166272 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15242] ppid=15229 vsize=197428 CPUtime=0
/proc/15237/task/15242/stat : 15242 (java) S 15229 15229 11600 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 135298107 202166272 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15243] ppid=15229 vsize=197428 CPUtime=0.22
/proc/15237/task/15243/stat : 15243 (java) S 15229 15229 11600 0 -1 64 668 0 0 0 22 0 0 0 16 0 10 0 135298107 202166272 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15244] ppid=15229 vsize=197428 CPUtime=0
/proc/15237/task/15244/stat : 15244 (java) S 15229 15229 11600 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 135298107 202166272 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15245] ppid=15229 vsize=197428 CPUtime=0
/proc/15237/task/15245/stat : 15245 (java) S 15229 15229 11600 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 135298107 202166272 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15246] ppid=15229 vsize=197428 CPUtime=0
/proc/15237/task/15246/stat : 15246 (java) S 15229 15229 11600 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 135298667 202166272 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 63.52
Current children cumulated vsize (KiB) 870916

[startup+66.3023 s]
/proc/loadavg: 3.35 3.36 2.64 3/102 15257
/proc/meminfo: memFree=1534944/2055920 swapFree=4179164/4192956
[pid=15229] ppid=15227 vsize=5360 CPUtime=10.42
/proc/15229/stat : 15229 (hydra) S 15227 15229 11600 0 -1 4194304 375 12197 0 0 0 0 1034 8 20 0 1 0 135296958 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15229/statm: 1340 238 196 169 0 51 0
[pid=15237] ppid=15229 vsize=197428 CPUtime=5.49
/proc/15237/stat : 15237 (java) S 15229 15229 11600 0 -1 0 11469 0 1 0 531 18 0 0 21 0 10 0 135298102 202166272 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15237/statm: 49357 9424 2544 9 0 43939 0
[pid=15247] ppid=15237 vsize=5356 CPUtime=0
/proc/15247/stat : 15247 (abscon) S 15237 15229 11600 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 135298667 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 265674089284 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/15247/statm: 1339 235 194 169 0 50 0
[pid=15248] ppid=15247 vsize=655728 CPUtime=48.4
/proc/15248/stat : 15248 (java) S 15247 15229 11600 0 -1 0 34097 0 1 0 4813 27 0 0 25 0 9 0 135298668 671465472 33374 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15248/statm: 163932 33374 2617 9 0 158460 0
[pid=15248/tid=15250] ppid=15247 vsize=655728 CPUtime=46.83
/proc/15248/task/15250/stat : 15250 (java) R 15247 15229 11600 0 -1 64 12561 0 1 0 4666 17 0 0 25 0 9 0 135298668 671465472 33374 996147200 134512640 134550740 4294955808 18446744073709551615 4127343376 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15248/tid=15251] ppid=15247 vsize=655728 CPUtime=1.17
/proc/15248/task/15251/stat : 15251 (java) S 15247 15229 11600 0 -1 64 20230 0 0 0 109 8 0 0 16 0 9 0 135298670 671465472 33374 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15248/tid=15252] ppid=15247 vsize=655728 CPUtime=0
/proc/15248/task/15252/stat : 15252 (java) S 15247 15229 11600 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 135298670 671465472 33374 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15248/tid=15253] ppid=15247 vsize=655728 CPUtime=0
/proc/15248/task/15253/stat : 15253 (java) S 15247 15229 11600 0 -1 64 14 0 0 0 0 0 0 0 15 0 9 0 135298670 671465472 33374 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15248/tid=15254] ppid=15247 vsize=655728 CPUtime=0
/proc/15248/task/15254/stat : 15254 (java) S 15247 15229 11600 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 135298672 671465472 33374 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15248/tid=15255] ppid=15247 vsize=655728 CPUtime=0.37
/proc/15248/task/15255/stat : 15255 (java) S 15247 15229 11600 0 -1 64 751 0 0 0 37 0 0 0 16 0 9 0 135298672 671465472 33374 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15248/tid=15256] ppid=15247 vsize=655728 CPUtime=0
/proc/15248/task/15256/stat : 15256 (java) S 15247 15229 11600 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 135298672 671465472 33374 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15248/tid=15257] ppid=15247 vsize=655728 CPUtime=0
/proc/15248/task/15257/stat : 15257 (java) S 15247 15229 11600 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 135298672 671465472 33374 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15249] ppid=15247 vsize=7044 CPUtime=0
/proc/15249/stat : 15249 (translate) S 15247 15229 11600 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 135298668 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 265674260562 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/15249/statm: 1761 213 182 1 0 41 0
[pid=15237/tid=15238] ppid=15229 vsize=197428 CPUtime=4.43
/proc/15237/task/15238/stat : 15238 (java) S 15229 15229 11600 0 -1 64 3855 0 1 0 434 9 0 0 25 0 10 0 135298103 202166272 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=15237/tid=15239] ppid=15229 vsize=197428 CPUtime=0.82
/proc/15237/task/15239/stat : 15239 (java) S 15229 15229 11600 0 -1 64 6122 0 0 0 74 8 0 0 16 0 10 0 135298104 202166272 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15240] ppid=15229 vsize=197428 CPUtime=0
/proc/15237/task/15240/stat : 15240 (java) S 15229 15229 11600 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 135298105 202166272 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15241] ppid=15229 vsize=197428 CPUtime=0
/proc/15237/task/15241/stat : 15241 (java) S 15229 15229 11600 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 135298105 202166272 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15242] ppid=15229 vsize=197428 CPUtime=0
/proc/15237/task/15242/stat : 15242 (java) S 15229 15229 11600 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 135298107 202166272 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15243] ppid=15229 vsize=197428 CPUtime=0.22
/proc/15237/task/15243/stat : 15243 (java) S 15229 15229 11600 0 -1 64 668 0 0 0 22 0 0 0 16 0 10 0 135298107 202166272 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15244] ppid=15229 vsize=197428 CPUtime=0
/proc/15237/task/15244/stat : 15244 (java) S 15229 15229 11600 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 135298107 202166272 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15245] ppid=15229 vsize=197428 CPUtime=0
/proc/15237/task/15245/stat : 15245 (java) S 15229 15229 11600 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 135298107 202166272 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15246] ppid=15229 vsize=197428 CPUtime=0
/proc/15237/task/15246/stat : 15246 (java) S 15229 15229 11600 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 135298667 202166272 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 64.31
Current children cumulated vsize (KiB) 870916

[startup+67.1073 s]
/proc/loadavg: 3.35 3.36 2.64 3/102 15257
/proc/meminfo: memFree=1534944/2055920 swapFree=4179164/4192956
[pid=15229] ppid=15227 vsize=5360 CPUtime=10.42
/proc/15229/stat : 15229 (hydra) S 15227 15229 11600 0 -1 4194304 375 12197 0 0 0 0 1034 8 20 0 1 0 135296958 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15229/statm: 1340 238 196 169 0 51 0
[pid=15237] ppid=15229 vsize=197428 CPUtime=5.49
/proc/15237/stat : 15237 (java) S 15229 15229 11600 0 -1 0 11469 0 1 0 531 18 0 0 21 0 10 0 135298102 202166272 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15237/statm: 49357 9424 2544 9 0 43939 0
[pid=15247] ppid=15237 vsize=5356 CPUtime=0
/proc/15247/stat : 15247 (abscon) S 15237 15229 11600 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 135298667 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 265674089284 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/15247/statm: 1339 235 194 169 0 50 0
[pid=15248] ppid=15247 vsize=655728 CPUtime=49.19
/proc/15248/stat : 15248 (java) S 15247 15229 11600 0 -1 0 34099 0 1 0 4892 27 0 0 25 0 9 0 135298668 671465472 33376 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15248/statm: 163932 33376 2617 9 0 158460 0
[pid=15248/tid=15250] ppid=15247 vsize=655728 CPUtime=47.62
/proc/15248/task/15250/stat : 15250 (java) R 15247 15229 11600 0 -1 64 12561 0 1 0 4745 17 0 0 25 0 9 0 135298668 671465472 33376 996147200 134512640 134550740 4294955808 18446744073709551615 4127388195 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15248/tid=15251] ppid=15247 vsize=655728 CPUtime=1.17
/proc/15248/task/15251/stat : 15251 (java) S 15247 15229 11600 0 -1 64 20230 0 0 0 109 8 0 0 16 0 9 0 135298670 671465472 33376 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15248/tid=15252] ppid=15247 vsize=655728 CPUtime=0
/proc/15248/task/15252/stat : 15252 (java) S 15247 15229 11600 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 135298670 671465472 33376 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15248/tid=15253] ppid=15247 vsize=655728 CPUtime=0
/proc/15248/task/15253/stat : 15253 (java) S 15247 15229 11600 0 -1 64 14 0 0 0 0 0 0 0 15 0 9 0 135298670 671465472 33376 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15248/tid=15254] ppid=15247 vsize=655728 CPUtime=0
/proc/15248/task/15254/stat : 15254 (java) S 15247 15229 11600 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 135298672 671465472 33376 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15248/tid=15255] ppid=15247 vsize=655728 CPUtime=0.37
/proc/15248/task/15255/stat : 15255 (java) S 15247 15229 11600 0 -1 64 753 0 0 0 37 0 0 0 16 0 9 0 135298672 671465472 33376 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15248/tid=15256] ppid=15247 vsize=655728 CPUtime=0
/proc/15248/task/15256/stat : 15256 (java) S 15247 15229 11600 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 135298672 671465472 33376 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15248/tid=15257] ppid=15247 vsize=655728 CPUtime=0
/proc/15248/task/15257/stat : 15257 (java) S 15247 15229 11600 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 135298672 671465472 33376 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15249] ppid=15247 vsize=7044 CPUtime=0
/proc/15249/stat : 15249 (translate) S 15247 15229 11600 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 135298668 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 265674260562 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/15249/statm: 1761 213 182 1 0 41 0
[pid=15237/tid=15238] ppid=15229 vsize=197428 CPUtime=4.43
/proc/15237/task/15238/stat : 15238 (java) S 15229 15229 11600 0 -1 64 3855 0 1 0 434 9 0 0 25 0 10 0 135298103 202166272 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=15237/tid=15239] ppid=15229 vsize=197428 CPUtime=0.82
/proc/15237/task/15239/stat : 15239 (java) S 15229 15229 11600 0 -1 64 6122 0 0 0 74 8 0 0 16 0 10 0 135298104 202166272 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15240] ppid=15229 vsize=197428 CPUtime=0
/proc/15237/task/15240/stat : 15240 (java) S 15229 15229 11600 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 135298105 202166272 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15241] ppid=15229 vsize=197428 CPUtime=0
/proc/15237/task/15241/stat : 15241 (java) S 15229 15229 11600 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 135298105 202166272 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15242] ppid=15229 vsize=197428 CPUtime=0
/proc/15237/task/15242/stat : 15242 (java) S 15229 15229 11600 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 135298107 202166272 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15243] ppid=15229 vsize=197428 CPUtime=0.22
/proc/15237/task/15243/stat : 15243 (java) S 15229 15229 11600 0 -1 64 668 0 0 0 22 0 0 0 16 0 10 0 135298107 202166272 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15244] ppid=15229 vsize=197428 CPUtime=0
/proc/15237/task/15244/stat : 15244 (java) S 15229 15229 11600 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 135298107 202166272 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15245] ppid=15229 vsize=197428 CPUtime=0
/proc/15237/task/15245/stat : 15245 (java) S 15229 15229 11600 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 135298107 202166272 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15246] ppid=15229 vsize=197428 CPUtime=0
/proc/15237/task/15246/stat : 15246 (java) S 15229 15229 11600 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 135298667 202166272 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 65.1
Current children cumulated vsize (KiB) 870916

[startup+67.5024 s]
/proc/loadavg: 3.35 3.36 2.64 3/102 15257
/proc/meminfo: memFree=1534944/2055920 swapFree=4179164/4192956
[pid=15229] ppid=15227 vsize=5360 CPUtime=10.42
/proc/15229/stat : 15229 (hydra) S 15227 15229 11600 0 -1 4194304 375 12197 0 0 0 0 1034 8 20 0 1 0 135296958 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15229/statm: 1340 238 196 169 0 51 0
[pid=15237] ppid=15229 vsize=197428 CPUtime=55.02
/proc/15237/stat : 15237 (java) S 15229 15229 11600 0 -1 0 11584 34728 1 1 531 19 4923 29 21 0 9 0 135298102 202166272 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15237/statm: 49357 9426 2545 9 0 43939 0
[pid=15237/tid=15238] ppid=15229 vsize=197428 CPUtime=53.95
/proc/15237/task/15238/stat : 15238 (java) S 15229 15229 11600 0 -1 64 3939 34728 1 1 434 9 4923 29 16 0 9 0 135298103 202166272 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15239] ppid=15229 vsize=197428 CPUtime=50.34
/proc/15237/task/15239/stat : 15239 (java) S 15229 15229 11600 0 -1 64 6141 34728 0 1 74 8 4923 29 15 0 9 0 135298104 202166272 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15240] ppid=15229 vsize=197428 CPUtime=49.52
/proc/15237/task/15240/stat : 15240 (java) S 15229 15229 11600 0 -1 64 11 34728 0 1 0 0 4923 29 16 0 9 0 135298105 202166272 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15241] ppid=15229 vsize=197428 CPUtime=49.52
/proc/15237/task/15241/stat : 15241 (java) S 15229 15229 11600 0 -1 64 5 34728 0 1 0 0 4923 29 16 0 9 0 135298105 202166272 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15242] ppid=15229 vsize=197428 CPUtime=49.52
/proc/15237/task/15242/stat : 15242 (java) S 15229 15229 11600 0 -1 64 1 34728 0 1 0 0 4923 29 25 0 9 0 135298107 202166272 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15243] ppid=15229 vsize=197428 CPUtime=49.74
/proc/15237/task/15243/stat : 15243 (java) S 15229 15229 11600 0 -1 64 668 34728 0 1 22 0 4923 29 16 0 9 0 135298107 202166272 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15244] ppid=15229 vsize=197428 CPUtime=49.52
/proc/15237/task/15244/stat : 15244 (java) S 15229 15229 11600 0 -1 64 0 34728 0 1 0 0 4923 29 25 0 9 0 135298107 202166272 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15237/tid=15245] ppid=15229 vsize=197428 CPUtime=49.52
/proc/15237/task/15245/stat : 15245 (java) S 15229 15229 11600 0 -1 64 29 34728 0 1 0 0 4923 29 15 0 9 0 135298107 202166272 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 65.44
Current children cumulated vsize (KiB) 202788

Child status: 0
Real time (s): 67.5263
CPU time (s): 65.478
CPU user time (s): 64.8921
CPU system time (s): 0.58591
CPU usage (%): 96.9668
Max. virtual memory (cumulated for all children) (KiB): 870916

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

runsolver used 0.255961 second user time and 0.663899 second system time

The end

Launcher Data (download as text)

Begin job on node76 at 2008-07-05 07:36:03
IDJOB=1085932
IDBENCH=57726
IDSOLVER=366
FILE ID=node76/1085932-1215236160
PBS_JOBID= 7881791
Free space on /tmp= 65828 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 8646843a2e95f500eada934cacf94d53
RANDOM SEED=389974886

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1626984 kB
Buffers:         22372 kB
Cached:         242904 kB
SwapCached:       7608 kB
Active:         233296 kB
Inactive:       124968 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1626984 kB
SwapTotal:     4192956 kB
SwapFree:      4179164 kB
Dirty:           92368 kB
Writeback:           0 kB
Mapped:         102396 kB
Slab:            55440 kB
Committed_AS:   530600 kB
PageTables:       2224 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66456 MiB
End job on node76 at 2008-07-05 07:37:11