Trace number 1085953

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_40? (TO) 1800.01 1828.94

General information on the benchmark

Namecsp/fapp/fapp13/
normalized-fapp13-2000-6.xml
MD5SUMb1bc0ce20909360461048c9e001540ac
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
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
17.32/17.97	c CASE TO CLASSIFY:
17.32/17.97	c Case: 0
17.32/17.97	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.854000 | c 15 >  14.668000 | 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
17.32/17.98	c choco : 1801.0
17.32/17.98	c mistral : 1801.0
17.32/17.98	c abscon : 1801.0
17.32/17.98	c
17.32/17.98	c
17.42/18.04	c List of same ones: 40
17.42/18.04	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-10.xml
17.42/18.04	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
17.42/18.05	c choco : 1801.0
17.42/18.05	c mistral : 1800.11
17.42/18.05	c abscon : 39.9029
17.42/18.05	c
17.42/18.05	c
17.42/18.05	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-9.xml
17.42/18.05	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
17.42/18.05	c choco : 1801.0
17.42/18.05	c mistral : 1800.06
17.42/18.05	c abscon : 41.6947
17.42/18.05	c
17.42/18.05	c
17.42/18.05	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-8.xml
17.42/18.05	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
17.42/18.06	c choco : 1801.0
17.42/18.06	c mistral : 1800.08
17.42/18.06	c abscon : 49.3535
17.42/18.06	c
17.42/18.06	c
17.42/18.06	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-7.xml
17.42/18.06	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
17.42/18.06	c choco : 1801.0
17.42/18.06	c mistral : 1800.04
17.42/18.06	c abscon : 176.285
17.42/18.06	c
17.42/18.06	c
17.42/18.06	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-2.xml
17.42/18.06	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
17.42/18.07	c choco : 1801.0
17.42/18.07	c mistral : 22.6026
17.42/18.07	c abscon : 8.82166
17.42/18.07	c
17.42/18.07	c
17.42/18.07	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-1.xml
17.42/18.07	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
17.42/18.07	c choco : 1801.0
17.42/18.07	c mistral : 22.5536
17.42/18.07	c abscon : 9.1856
17.42/18.07	c
17.42/18.07	c
17.42/18.07	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-10.xml
17.42/18.07	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
17.42/18.07	c choco : 1801.0
17.42/18.07	c mistral : 1800.05
17.42/18.07	c abscon : 64.5562
17.42/18.07	c
17.42/18.07	c
17.42/18.07	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-9.xml
17.42/18.07	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
17.42/18.08	c choco : 1801.0
17.42/18.08	c mistral : 1800.09
17.42/18.08	c abscon : 128.934
17.42/18.08	c
17.42/18.08	c
17.42/18.08	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-8.xml
17.42/18.08	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
17.42/18.08	c choco : 1801.0
17.42/18.08	c mistral : 1800.07
17.42/18.08	c abscon : 77.7912
17.42/18.08	c
17.42/18.08	c
17.42/18.08	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-0.xml
17.42/18.08	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
17.42/18.09	c choco : 1801.0
17.42/18.09	c mistral : 31.97
17.42/18.09	c abscon : 8.58269
17.42/18.09	c
17.42/18.09	c
17.42/18.09	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-7.xml
17.42/18.09	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
17.64/18.27	c choco : 1801.0
17.64/18.27	c mistral : 1800.08
17.64/18.27	c abscon : 213.954
17.64/18.27	c
17.64/18.27	c
17.64/18.27	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-6.xml
17.64/18.27	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
17.64/18.28	c choco : 1801.0
17.64/18.28	c mistral : 1800.03
17.64/18.28	c abscon : 378.267
17.64/18.28	c
17.64/18.28	c
17.64/18.28	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-3.xml
17.64/18.28	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
17.64/18.28	c choco : 1801.0
17.64/18.28	c mistral : 811.31
17.64/18.28	c abscon : 9.81851
17.64/18.28	c
17.64/18.28	c
17.64/18.28	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-2.xml
17.64/18.28	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
17.64/18.28	c choco : 1801.0
17.64/18.28	c mistral : 310.611
17.64/18.28	c abscon : 9.8545
17.64/18.28	c
17.64/18.28	c
17.64/18.28	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-4.xml
17.64/18.28	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
17.64/18.29	c choco : 1801.0
17.64/18.29	c mistral : 1078.26
17.64/18.29	c abscon : 12.6221
17.64/18.29	c
17.64/18.29	c
17.64/18.29	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-1.xml
17.64/18.29	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
17.64/18.29	c choco : 1801.0
17.64/18.29	c mistral : 126.293
17.64/18.29	c abscon : 10.1565
17.64/18.29	c
17.64/18.29	c
17.64/18.29	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-0.xml
17.64/18.29	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
17.64/18.29	c choco : 1801.0
17.64/18.29	c mistral : 44.86
17.64/18.29	c abscon : 9.39257
17.64/18.29	c
17.64/18.29	c
17.64/18.29	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-10.xml
17.64/18.29	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
17.64/18.29	c choco : 1801.0
17.64/18.29	c mistral : 1800.03
17.64/18.29	c abscon : 25.9351
17.64/18.29	c
17.64/18.29	c
17.64/18.29	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-9.xml
17.64/18.29	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
17.64/18.29	c choco : 1801.0
17.64/18.29	c mistral : 1800.02
17.64/18.29	c abscon : 17.2824
17.64/18.29	c
17.64/18.29	c
17.64/18.29	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-8.xml
17.64/18.29	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
17.75/18.30	c choco : 1801.0
17.75/18.30	c mistral : 6.79996
17.75/18.30	c abscon : 6.95294
17.75/18.30	c
17.75/18.30	c
17.75/18.30	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-7.xml
17.75/18.30	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
17.75/18.30	c choco : 1801.0
17.75/18.30	c mistral : 4.03939
17.75/18.30	c abscon : 7.04993
17.75/18.30	c
17.75/18.30	c
17.75/18.30	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-6.xml
17.75/18.30	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
17.75/18.30	c choco : 1801.0
17.75/18.30	c mistral : 3.81642
17.75/18.30	c abscon : 7.04593
17.75/18.30	c
17.75/18.30	c
17.75/18.30	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-5.xml
17.75/18.30	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
17.75/18.30	c choco : 1801.0
17.75/18.30	c mistral : 4.28235
17.75/18.30	c abscon : 6.70698
17.75/18.30	c
17.75/18.30	c
17.75/18.30	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-4.xml
17.75/18.30	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
17.75/18.31	c choco : 1801.0
17.75/18.31	c mistral : 2.73858
17.75/18.31	c abscon : 6.30204
17.75/18.31	c
17.75/18.31	c
17.75/18.31	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-3.xml
17.75/18.31	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
17.75/18.31	c choco : 1801.0
17.75/18.31	c mistral : 2.6216
17.75/18.31	c abscon : 6.46502
17.75/18.31	c
17.75/18.31	c
17.75/18.31	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-2.xml
17.75/18.31	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
17.75/18.31	c choco : 1801.0
17.75/18.31	c mistral : 2.35864
17.75/18.31	c abscon : 6.51701
17.75/18.31	c
17.75/18.31	c
17.75/18.31	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-1.xml
17.75/18.31	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
17.75/18.31	c choco : 1801.0
17.75/18.31	c mistral : 2.40163
17.75/18.31	c abscon : 6.25705
17.75/18.31	c
17.75/18.31	c
17.75/18.31	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-10.xml
17.75/18.31	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
17.75/18.32	c choco : 1801.0
17.75/18.32	c mistral : 9.13061
17.75/18.32	c abscon : 16.3965
17.75/18.32	c
17.75/18.32	c
17.75/18.32	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-10.xml
17.75/18.32	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
17.75/18.32	c choco : 1801.0
17.75/18.32	c mistral : 81.4206
17.75/18.32	c abscon : 52.605
17.75/18.32	c
17.75/18.32	c
17.75/18.32	c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-10.xml
17.75/18.32	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
17.75/18.32	c choco : 33.36
17.75/18.32	c mistral : 6.83796
17.75/18.32	c abscon : 10.5184
17.75/18.32	c
17.75/18.32	c
17.75/18.32	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-9.xml
17.75/18.32	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
17.75/18.32	c choco : 1801.0
17.75/18.32	c mistral : 10.4224
17.75/18.32	c abscon : 16.1016
17.75/18.32	c
17.75/18.32	c
17.75/18.32	c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-9.xml
17.75/18.32	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
17.75/18.33	c choco : 80.85
17.75/18.33	c mistral : 12.5891
17.75/18.33	c abscon : 10.0495
17.75/18.33	c
17.75/18.33	c
17.75/18.33	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-0.xml
17.75/18.33	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
17.75/18.33	c choco : 1801.0
17.75/18.33	c mistral : 9.48556
17.75/18.33	c abscon : 6.47801
17.75/18.33	c
17.75/18.33	c
17.75/18.33	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-8.xml
17.75/18.33	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
17.75/18.33	c choco : 1801.0
17.75/18.33	c mistral : 16.71
17.75/18.33	c abscon : 16.0216
17.75/18.33	c
17.75/18.33	c
17.75/18.33	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-7.xml
17.75/18.33	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
17.75/18.33	c choco : 1801.0
17.75/18.33	c mistral : 19.43
17.75/18.33	c abscon : 19.1291
17.75/18.33	c
17.75/18.33	c
17.75/18.33	c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-8.xml
17.75/18.33	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
17.75/18.33	c choco : 1801.0
17.75/18.33	c mistral : 39.28
17.75/18.33	c abscon : 9.8585
17.75/18.33	c
17.75/18.33	c
17.75/18.33	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-6.xml
17.75/18.33	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
17.75/18.34	c choco : 1801.0
17.75/18.34	c mistral : 36.3755
17.75/18.34	c abscon : 15.7406
17.75/18.34	c
17.75/18.34	c
17.75/18.34	c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-7.xml
17.75/18.34	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
17.75/18.34	c choco : 115.65
17.75/18.34	c mistral : 1800.08
17.75/18.34	c abscon : 11.0983
17.75/18.34	c
17.75/18.34	c
17.75/18.34	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-5.xml
17.75/18.34	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
17.75/18.34	c choco : 1801.0
17.75/18.34	c mistral : 1800.04
17.75/18.34	c abscon : 15.5706
17.75/18.34	c
17.75/18.34	c
17.75/18.34	c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-5.xml
17.75/18.34	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
17.75/18.34	c choco : 30.96
17.75/18.34	c mistral : 2.38464
17.75/18.34	c abscon : 5.81212
17.75/18.34	c
17.75/18.34	c
17.75/18.35	c Length: 40
17.75/18.35	c 2.2074999999999996  2.3454999999999995  2.492799999999999  2.6225999999999985  2.9193999999999996  2.9619  2.970600156519892  3.090171000109218  3.1902104146773778  3.321999999999999  3.3663121007886363  3.3680407895267535  3.501929880782309  3.510511189259479  3.58053234029746  3.5993138248721803  3.901083972425612  5.724196590694714  5.818649565742981  5.898552860568513  5.928231743860979  5.99372045218335  6.040123423318516  6.087760690017388  6.1434061601786505  6.1559919670936045  6.194815159382965  6.231393907406352  6.310193575031119  6.3130932829239885  6.372330031414019  6.385979967780981  6.412938862091309  6.414421422019369  6.438515914344003  6.450727282942598  6.468147199102768  6.475321214341416  6.517360780965021  6.5583186564011955  
17.75/18.35	c 
17.75/18.35	c 1.0  0.9692569447413056  0.9384614542584929  0.9129024161076543  0.859383851184405  0.852229639752238  0.8507797670561753  0.8313417895053669  0.8157485594282793  0.7960777641584259  0.7896751793618045  0.7894274904562403  0.770704536344804  0.7695347711499413  0.7601208799653618  0.7576348774867866  0.7198095367855517  0.5530105147247332  0.5464501408458912  0.5410206625684373  0.539031343502467  0.5346930988461267  0.5316612024643564  0.528584220038442  0.5250347697918241  0.5242385607407337  0.5217976531109464  0.5195185653539737  0.5146758574765814  0.5144993748670654  0.5109204026496127  0.5101027467916062  0.508495524707834  0.5084074319308133  0.506980019311115  0.5062596461677056  0.5052355463524711  0.5048149965252364  0.5023645878901524  0.5  
17.75/18.36	c
17.75/18.36	c solver 0
17.75/18.36	c	  before 0.0 seconds: {} 0
17.75/18.36	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
17.75/18.36	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
17.75/18.36	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
17.75/18.36	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
17.75/18.36	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
17.75/18.36	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
17.75/18.36	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
17.75/18.36	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
17.75/18.36	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
17.75/18.36	c
17.75/18.36	c solver 1
17.75/18.36	c	  before 0.0 seconds: {} 0
17.75/18.36	c	  before 18.0 seconds: {19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 39} 7818
17.75/18.36	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
17.75/18.36	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} 12563
17.75/18.36	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
17.75/18.36	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
17.75/18.36	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
17.75/18.36	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
17.75/18.36	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
17.75/18.36	c
17.75/18.36	c solver 2
17.75/18.36	c	  before 0.0 seconds: {} 0
17.75/18.36	c	  before 36.0 seconds: {29, 39} 1014
17.75/18.36	c	  before 90.0 seconds: {29, 31, 39} 1524
17.75/18.36	c	  before 126.0 seconds: {29, 31, 37, 39} 2029
17.75/18.36	c
17.75/18.36	cTotal time: 89
17.75/18.36	c 1602.0 seconds unused
17.75/18.36	c 0 c 13 c 36 
17.75/18.36	c 0 c 0 c 24 
17.75/18.36	c 0 c 1 c 0 
17.75/18.36	c is solver0 dominated by:
17.75/18.36	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)
17.75/18.36	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)
17.75/18.36	c is dominated? false
17.75/18.36	c
17.75/18.36	c is solver1 dominated by:
17.75/18.36	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)
17.75/18.36	c is dominated? true
17.75/18.36	c
17.75/18.36	c is solver2 dominated by:
17.75/18.36	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)
17.75/18.36	c is dominated? true
17.75/18.36	c
17.75/18.36	c Number of non-dominated solvers: 1
17.75/18.36	c remove dominated solvers
17.75/18.36	c solver 0 is not dominated by another solver
17.75/18.36	c solver 2 is dominated by another solver
17.75/18.36	c solver 1 is dominated by another solver
17.75/18.36	c
17.75/18.36	c solver 0: 396.0
17.75/18.36	c
17.75/18.36	c+ 22/22 of 78
17.75/18.36	c
17.75/18.36	c solver 1: 0.0
17.75/18.36	c
17.75/18.36	c solver 2: 0.0
17.75/18.36	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
17.75/18.36	c	 do not run mistral
17.75/18.36	c	 do not run choco
17.75/18.36	c Starting solver: HOME/cpHydra_k_40/solver/abscon
17.75/18.36	c On Instance: HOME/instance-1085953-1215236340.xml
17.75/18.36	c Running for: 1800 seconds

Verifier Data (download as text)

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer:

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-1085953-1215236340/watcher-1085953-1215236340 -o /tmp/evaluation-result-1085953-1215236340/solver-1085953-1215236340 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1085953-1215236340.xml 

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


[startup+0 s]
/proc/loadavg: 1.09 1.16 1.41 3/82 10293
/proc/meminfo: memFree=1114976/2055920 swapFree=4191676/4192956
[pid=10293] ppid=10291 vsize=5360 CPUtime=0
/proc/10293/stat : 10293 (hydra) R 10291 10293 8486 0 -1 4194304 289 124 0 0 0 0 0 0 18 0 1 0 135629407 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244276849311 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/10293/statm: 1340 236 195 169 0 51 0
[pid=10295] ppid=10293 vsize=2536 CPUtime=0
/proc/10295/stat : 10295 (rm) R 10293 10293 8486 0 -1 4194304 113 0 0 0 0 0 0 0 18 0 1 0 135629407 2596864 84 996147200 4194304 4227748 548682069008 18446744073709551615 244276722656 0 0 4096 0 0 0 0 17 0 0 0
/proc/10295/statm: 634 91 73 8 0 42 0

[startup+0.039338 s]
/proc/loadavg: 1.09 1.16 1.41 3/82 10293
/proc/meminfo: memFree=1114976/2055920 swapFree=4191676/4192956
[pid=10293] ppid=10291 vsize=5360 CPUtime=0
/proc/10293/stat : 10293 (hydra) S 10291 10293 8486 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 135629407 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10293/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.10131 s]
/proc/loadavg: 1.09 1.16 1.41 3/82 10293
/proc/meminfo: memFree=1114976/2055920 swapFree=4191676/4192956
[pid=10293] ppid=10291 vsize=5360 CPUtime=0
/proc/10293/stat : 10293 (hydra) S 10291 10293 8486 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 135629407 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10293/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.301348 s]
/proc/loadavg: 1.09 1.16 1.41 3/82 10293
/proc/meminfo: memFree=1114976/2055920 swapFree=4191676/4192956
[pid=10293] ppid=10291 vsize=5360 CPUtime=0
/proc/10293/stat : 10293 (hydra) S 10291 10293 8486 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 135629407 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10293/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.701428 s]
/proc/loadavg: 1.09 1.16 1.41 3/82 10293
/proc/meminfo: memFree=1114976/2055920 swapFree=4191676/4192956
[pid=10293] ppid=10291 vsize=5360 CPUtime=0
/proc/10293/stat : 10293 (hydra) S 10291 10293 8486 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 135629407 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10293/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+1.50158 s]
/proc/loadavg: 1.09 1.16 1.41 2/84 10297
/proc/meminfo: memFree=1104848/2055920 swapFree=4191676/4192956
[pid=10293] ppid=10291 vsize=5360 CPUtime=0
/proc/10293/stat : 10293 (hydra) S 10291 10293 8486 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 135629407 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10293/statm: 1340 236 195 169 0 51 0
[pid=10296] ppid=10293 vsize=20204 CPUtime=0.96
/proc/10296/stat : 10296 (xsolve) R 10293 10293 8486 0 -1 4194304 4440 0 7 0 93 3 0 0 25 0 1 0 135629408 20688896 4210 996147200 134512640 135239763 4294956176 18446744073709551615 12936827 0 0 4096 0 0 0 0 17 0 0 0
/proc/10296/statm: 5051 4210 379 177 0 3954 0
Current children cumulated CPU time (s) 0.96
Current children cumulated vsize (KiB) 25564

[startup+3.10188 s]
/proc/loadavg: 1.08 1.16 1.40 2/84 10297
/proc/meminfo: memFree=1069200/2055920 swapFree=4191676/4192956
[pid=10293] ppid=10291 vsize=5360 CPUtime=0
/proc/10293/stat : 10293 (hydra) S 10291 10293 8486 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 135629407 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10293/statm: 1340 236 195 169 0 51 0
[pid=10296] ppid=10293 vsize=77204 CPUtime=2.56
/proc/10296/stat : 10296 (xsolve) R 10293 10293 8486 0 -1 4194304 11584 0 7 0 250 6 0 0 25 0 1 0 135629408 79056896 11354 996147200 134512640 135239763 4294956176 18446744073709551615 134820151 0 0 4096 0 0 0 0 17 0 0 0
/proc/10296/statm: 19301 11354 416 177 0 18204 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 82564

[startup+6.30249 s]
/proc/loadavg: 1.08 1.16 1.40 2/84 10297
/proc/meminfo: memFree=1068944/2055920 swapFree=4191676/4192956
[pid=10293] ppid=10291 vsize=5360 CPUtime=0
/proc/10293/stat : 10293 (hydra) S 10291 10293 8486 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 135629407 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10293/statm: 1340 236 195 169 0 51 0
[pid=10296] ppid=10293 vsize=77204 CPUtime=5.75
/proc/10296/stat : 10296 (xsolve) R 10293 10293 8486 0 -1 4194304 11584 0 7 0 569 6 0 0 25 0 1 0 135629408 79056896 11354 996147200 134512640 135239763 4294956176 18446744073709551615 134539217 0 0 4096 0 0 0 0 17 0 0 0
/proc/10296/statm: 19301 11354 416 177 0 18204 0
Current children cumulated CPU time (s) 5.75
Current children cumulated vsize (KiB) 82564

[startup+12.7017 s]
/proc/loadavg: 1.07 1.15 1.40 2/84 10297
/proc/meminfo: memFree=1069264/2055920 swapFree=4191676/4192956
[pid=10293] ppid=10291 vsize=5360 CPUtime=0
/proc/10293/stat : 10293 (hydra) S 10291 10293 8486 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 135629407 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10293/statm: 1340 236 195 169 0 51 0
[pid=10296] ppid=10293 vsize=77204 CPUtime=12.16
/proc/10296/stat : 10296 (xsolve) R 10293 10293 8486 0 -1 4194304 11596 0 7 0 1209 7 0 0 25 0 1 0 135629408 79056896 11366 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/10296/statm: 19301 11366 421 177 0 18204 0
Current children cumulated CPU time (s) 12.16
Current children cumulated vsize (KiB) 82564

[startup+25.5021 s]
/proc/loadavg: 1.13 1.16 1.40 2/104 10321
/proc/meminfo: memFree=1007216/2055920 swapFree=4191676/4192956
[pid=10293] ppid=10291 vsize=5360 CPUtime=12.28
/proc/10293/stat : 10293 (hydra) S 10291 10293 8486 0 -1 4194304 375 12187 0 10 0 0 1220 8 18 0 1 0 135629407 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10293/statm: 1340 238 196 169 0 51 0
[pid=10301] ppid=10293 vsize=198324 CPUtime=5.55
/proc/10301/stat : 10301 (java) S 10293 10293 8486 0 -1 0 14117 0 1 0 538 17 0 0 19 0 10 0 135630692 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10301/statm: 49581 9515 2544 9 0 44163 0
[pid=10311] ppid=10301 vsize=5356 CPUtime=0
/proc/10311/stat : 10311 (abscon) S 10301 10293 8486 0 -1 4194304 304 0 0 0 0 0 0 0 18 0 1 0 135631243 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 244276847428 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/10311/statm: 1339 235 194 169 0 50 0
[pid=10312] ppid=10311 vsize=656348 CPUtime=7.26
/proc/10312/stat : 10312 (java) S 10311 10293 8486 0 -1 0 21331 0 1 0 713 13 0 0 19 0 9 0 135631244 672100352 20833 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10312/statm: 164087 20833 2008 9 0 158615 0
[pid=10312/tid=10314] ppid=10311 vsize=656348 CPUtime=6.77
/proc/10312/task/10314/stat : 10314 (java) R 10311 10293 8486 0 -1 64 12418 0 1 0 667 10 0 0 25 0 9 0 135631245 672100352 20833 996147200 134512640 134550740 4294955808 18446744073709551615 4126901329 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10312/tid=10315] ppid=10311 vsize=656348 CPUtime=0.26
/proc/10312/task/10315/stat : 10315 (java) S 10311 10293 8486 0 -1 64 7658 0 0 0 24 2 0 0 16 0 9 0 135631246 672100352 20833 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10312/tid=10316] ppid=10311 vsize=656348 CPUtime=0
/proc/10312/task/10316/stat : 10316 (java) S 10311 10293 8486 0 -1 64 13 0 0 0 0 0 0 0 15 0 9 0 135631246 672100352 20833 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10312/tid=10317] ppid=10311 vsize=656348 CPUtime=0
/proc/10312/task/10317/stat : 10317 (java) S 10311 10293 8486 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 135631246 672100352 20833 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10312/tid=10318] ppid=10311 vsize=656348 CPUtime=0
/proc/10312/task/10318/stat : 10318 (java) S 10311 10293 8486 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 135631248 672100352 20833 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10312/tid=10319] ppid=10311 vsize=656348 CPUtime=0.21
/proc/10312/task/10319/stat : 10319 (java) S 10311 10293 8486 0 -1 64 707 0 0 0 21 0 0 0 16 0 9 0 135631248 672100352 20833 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10312/tid=10320] ppid=10311 vsize=656348 CPUtime=0
/proc/10312/task/10320/stat : 10320 (java) S 10311 10293 8486 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 135631248 672100352 20833 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10312/tid=10321] ppid=10311 vsize=656348 CPUtime=0
/proc/10312/task/10321/stat : 10321 (java) S 10311 10293 8486 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 135631248 672100352 20833 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10313] ppid=10311 vsize=7044 CPUtime=0
/proc/10313/stat : 10313 (translate) S 10311 10293 8486 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 135631244 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 244277018706 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/10313/statm: 1761 213 182 1 0 41 0
[pid=10301/tid=10302] ppid=10293 vsize=198324 CPUtime=4.31
/proc/10301/task/10302/stat : 10302 (java) S 10293 10293 8486 0 -1 64 3890 0 1 0 425 6 0 0 16 0 10 0 135630694 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=10301/tid=10303] ppid=10293 vsize=198324 CPUtime=0.99
/proc/10301/task/10303/stat : 10303 (java) S 10293 10293 8486 0 -1 64 8708 0 0 0 90 9 0 0 16 0 10 0 135630709 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10301/tid=10304] ppid=10293 vsize=198324 CPUtime=0
/proc/10301/task/10304/stat : 10304 (java) S 10293 10293 8486 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 135630709 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10301/tid=10305] ppid=10293 vsize=198324 CPUtime=0
/proc/10301/task/10305/stat : 10305 (java) S 10293 10293 8486 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 135630709 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10301/tid=10306] ppid=10293 vsize=198324 CPUtime=0
/proc/10301/task/10306/stat : 10306 (java) S 10293 10293 8486 0 -1 64 1 0 0 0 0 0 0 0 21 0 10 0 135630712 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10301/tid=10307] ppid=10293 vsize=198324 CPUtime=0.22
/proc/10301/task/10307/stat : 10307 (java) S 10293 10293 8486 0 -1 64 694 0 0 0 22 0 0 0 16 0 10 0 135630712 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10301/tid=10308] ppid=10293 vsize=198324 CPUtime=0
/proc/10301/task/10308/stat : 10308 (java) S 10293 10293 8486 0 -1 64 0 0 0 0 0 0 0 0 22 0 10 0 135630712 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10301/tid=10309] ppid=10293 vsize=198324 CPUtime=0
/proc/10301/task/10309/stat : 10309 (java) S 10293 10293 8486 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 135630712 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10301/tid=10310] ppid=10293 vsize=198324 CPUtime=0
/proc/10301/task/10310/stat : 10310 (java) S 10293 10293 8486 0 -1 64 71 0 0 0 0 0 0 0 17 0 10 0 135631243 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 872432

[startup+51.103 s]
/proc/loadavg: 1.24 1.18 1.40 2/104 10321
/proc/meminfo: memFree=958832/2055920 swapFree=4191676/4192956
[pid=10293] ppid=10291 vsize=5360 CPUtime=12.28
/proc/10293/stat : 10293 (hydra) S 10291 10293 8486 0 -1 4194304 375 12187 0 10 0 0 1220 8 18 0 1 0 135629407 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10293/statm: 1340 238 196 169 0 51 0
[pid=10301] ppid=10293 vsize=198324 CPUtime=5.55
/proc/10301/stat : 10301 (java) S 10293 10293 8486 0 -1 0 14117 0 1 0 538 17 0 0 19 0 10 0 135630692 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10301/statm: 49581 9515 2544 9 0 44163 0
[pid=10311] ppid=10301 vsize=5356 CPUtime=0
/proc/10311/stat : 10311 (abscon) S 10301 10293 8486 0 -1 4194304 304 0 0 0 0 0 0 0 18 0 1 0 135631243 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 244276847428 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/10311/statm: 1339 235 194 169 0 50 0
[pid=10312] ppid=10311 vsize=656348 CPUtime=32.85
/proc/10312/stat : 10312 (java) S 10311 10293 8486 0 -1 0 34267 0 1 0 3260 25 0 0 19 0 9 0 135631244 672100352 33538 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10312/statm: 164087 33538 2617 9 0 158615 0
[pid=10312/tid=10314] ppid=10311 vsize=656348 CPUtime=31.31
/proc/10312/task/10314/stat : 10314 (java) R 10311 10293 8486 0 -1 64 12532 0 1 0 3114 17 0 0 25 0 9 0 135631245 672100352 33538 996147200 134512640 134550740 4294955808 18446744073709551615 4126936080 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10312/tid=10315] ppid=10311 vsize=656348 CPUtime=1.18
/proc/10312/task/10315/stat : 10315 (java) S 10311 10293 8486 0 -1 64 20402 0 0 0 111 7 0 0 16 0 9 0 135631246 672100352 33538 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10312/tid=10316] ppid=10311 vsize=656348 CPUtime=0
/proc/10312/task/10316/stat : 10316 (java) S 10311 10293 8486 0 -1 64 13 0 0 0 0 0 0 0 15 0 9 0 135631246 672100352 33538 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10312/tid=10317] ppid=10311 vsize=656348 CPUtime=0
/proc/10312/task/10317/stat : 10317 (java) S 10311 10293 8486 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 135631246 672100352 33538 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10312/tid=10318] ppid=10311 vsize=656348 CPUtime=0
/proc/10312/task/10318/stat : 10318 (java) S 10311 10293 8486 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 135631248 672100352 33538 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10312/tid=10319] ppid=10311 vsize=656348 CPUtime=0.33
/proc/10312/task/10319/stat : 10319 (java) S 10311 10293 8486 0 -1 64 784 0 0 0 33 0 0 0 16 0 9 0 135631248 672100352 33538 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10312/tid=10320] ppid=10311 vsize=656348 CPUtime=0
/proc/10312/task/10320/stat : 10320 (java) S 10311 10293 8486 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 135631248 672100352 33538 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10312/tid=10321] ppid=10311 vsize=656348 CPUtime=0
/proc/10312/task/10321/stat : 10321 (java) S 10311 10293 8486 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 135631248 672100352 33538 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10313] ppid=10311 vsize=7044 CPUtime=0
/proc/10313/stat : 10313 (translate) S 10311 10293 8486 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 135631244 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 244277018706 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/10313/statm: 1761 213 182 1 0 41 0
[pid=10301/tid=10302] ppid=10293 vsize=198324 CPUtime=4.31
/proc/10301/task/10302/stat : 10302 (java) S 10293 10293 8486 0 -1 64 3890 0 1 0 425 6 0 0 16 0 10 0 135630694 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=10301/tid=10303] ppid=10293 vsize=198324 CPUtime=0.99
/proc/10301/task/10303/stat : 10303 (java) S 10293 10293 8486 0 -1 64 8708 0 0 0 90 9 0 0 16 0 10 0 135630709 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0

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

[pid=10312/tid=10315] ppid=10311 vsize=656348 CPUtime=1.18
/proc/10312/task/10315/stat : 10315 (java) S 10311 10293 8486 0 -1 64 20402 0 0 0 111 7 0 0 16 0 9 0 135631246 672100352 33571 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10312/tid=10316] ppid=10311 vsize=656348 CPUtime=0
/proc/10312/task/10316/stat : 10316 (java) S 10311 10293 8486 0 -1 64 13 0 0 0 0 0 0 0 15 0 9 0 135631246 672100352 33571 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10312/tid=10317] ppid=10311 vsize=656348 CPUtime=0
/proc/10312/task/10317/stat : 10317 (java) S 10311 10293 8486 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 135631246 672100352 33571 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10312/tid=10318] ppid=10311 vsize=656348 CPUtime=0
/proc/10312/task/10318/stat : 10318 (java) S 10311 10293 8486 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 135631248 672100352 33571 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10312/tid=10319] ppid=10311 vsize=656348 CPUtime=0.4
/proc/10312/task/10319/stat : 10319 (java) S 10311 10293 8486 0 -1 64 824 0 0 0 40 0 0 0 16 0 9 0 135631248 672100352 33571 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10312/tid=10320] ppid=10311 vsize=656348 CPUtime=0
/proc/10312/task/10320/stat : 10320 (java) S 10311 10293 8486 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 135631248 672100352 33571 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10312/tid=10321] ppid=10311 vsize=656348 CPUtime=0
/proc/10312/task/10321/stat : 10321 (java) S 10311 10293 8486 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 135631248 672100352 33571 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10313] ppid=10311 vsize=7044 CPUtime=0
/proc/10313/stat : 10313 (translate) S 10311 10293 8486 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 135631244 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 244277018706 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/10313/statm: 1761 213 182 1 0 41 0
[pid=10301/tid=10302] ppid=10293 vsize=198324 CPUtime=4.31
/proc/10301/task/10302/stat : 10302 (java) S 10293 10293 8486 0 -1 64 3890 0 1 0 425 6 0 0 16 0 10 0 135630694 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=10301/tid=10303] ppid=10293 vsize=198324 CPUtime=0.99
/proc/10301/task/10303/stat : 10303 (java) S 10293 10293 8486 0 -1 64 8708 0 0 0 90 9 0 0 16 0 10 0 135630709 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10301/tid=10304] ppid=10293 vsize=198324 CPUtime=0
/proc/10301/task/10304/stat : 10304 (java) S 10293 10293 8486 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 135630709 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10301/tid=10305] ppid=10293 vsize=198324 CPUtime=0
/proc/10301/task/10305/stat : 10305 (java) S 10293 10293 8486 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 135630709 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10301/tid=10306] ppid=10293 vsize=198324 CPUtime=0
/proc/10301/task/10306/stat : 10306 (java) S 10293 10293 8486 0 -1 64 1 0 0 0 0 0 0 0 21 0 10 0 135630712 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10301/tid=10307] ppid=10293 vsize=198324 CPUtime=0.22
/proc/10301/task/10307/stat : 10307 (java) S 10293 10293 8486 0 -1 64 694 0 0 0 22 0 0 0 16 0 10 0 135630712 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10301/tid=10308] ppid=10293 vsize=198324 CPUtime=0
/proc/10301/task/10308/stat : 10308 (java) S 10293 10293 8486 0 -1 64 0 0 0 0 0 0 0 0 22 0 10 0 135630712 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10301/tid=10309] ppid=10293 vsize=198324 CPUtime=0
/proc/10301/task/10309/stat : 10309 (java) S 10293 10293 8486 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 135630712 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10301/tid=10310] ppid=10293 vsize=198324 CPUtime=0
/proc/10301/task/10310/stat : 10310 (java) S 10293 10293 8486 0 -1 64 71 0 0 0 0 0 0 0 17 0 10 0 135631243 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1754.23
Current children cumulated vsize (KiB) 872432



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1828.9 s]
/proc/loadavg: 2.01 1.99 1.82 3/94 10479
/proc/meminfo: memFree=1707256/2055920 swapFree=4191676/4192956
[pid=10293] ppid=10291 vsize=5360 CPUtime=12.28
/proc/10293/stat : 10293 (hydra) S 10291 10293 8486 0 -1 4194304 375 12187 0 10 0 0 1220 8 18 0 1 0 135629407 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10293/statm: 1340 238 196 169 0 51 0
[pid=10301] ppid=10293 vsize=198324 CPUtime=5.55
/proc/10301/stat : 10301 (java) S 10293 10293 8486 0 -1 0 14117 0 1 0 538 17 0 0 19 0 10 0 135630692 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10301/statm: 49581 9515 2544 9 0 44163 0
[pid=10311] ppid=10301 vsize=5356 CPUtime=0
/proc/10311/stat : 10311 (abscon) S 10301 10293 8486 0 -1 4194304 304 0 0 0 0 0 0 0 18 0 1 0 135631243 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 244276847428 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/10311/statm: 1339 235 194 169 0 50 0
[pid=10312] ppid=10311 vsize=656348 CPUtime=1782.18
/proc/10312/stat : 10312 (java) S 10311 10293 8486 0 -1 0 34322 0 1 0 178188 30 0 0 19 0 9 0 135631244 672100352 33571 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10312/statm: 164087 33571 2617 9 0 158615 0
[pid=10312/tid=10314] ppid=10311 vsize=656348 CPUtime=1780.58
/proc/10312/task/10314/stat : 10314 (java) R 10311 10293 8486 0 -1 64 12547 0 1 0 178036 22 0 0 25 0 9 0 135631245 672100352 33571 996147200 134512640 134550740 4294955808 18446744073709551615 4126095741 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10312/tid=10315] ppid=10311 vsize=656348 CPUtime=1.18
/proc/10312/task/10315/stat : 10315 (java) S 10311 10293 8486 0 -1 64 20402 0 0 0 111 7 0 0 16 0 9 0 135631246 672100352 33571 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10312/tid=10316] ppid=10311 vsize=656348 CPUtime=0
/proc/10312/task/10316/stat : 10316 (java) S 10311 10293 8486 0 -1 64 13 0 0 0 0 0 0 0 15 0 9 0 135631246 672100352 33571 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10312/tid=10317] ppid=10311 vsize=656348 CPUtime=0
/proc/10312/task/10317/stat : 10317 (java) S 10311 10293 8486 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 135631246 672100352 33571 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10312/tid=10318] ppid=10311 vsize=656348 CPUtime=0
/proc/10312/task/10318/stat : 10318 (java) S 10311 10293 8486 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 135631248 672100352 33571 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10312/tid=10319] ppid=10311 vsize=656348 CPUtime=0.4
/proc/10312/task/10319/stat : 10319 (java) S 10311 10293 8486 0 -1 64 824 0 0 0 40 0 0 0 16 0 9 0 135631248 672100352 33571 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10312/tid=10320] ppid=10311 vsize=656348 CPUtime=0
/proc/10312/task/10320/stat : 10320 (java) S 10311 10293 8486 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 135631248 672100352 33571 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10312/tid=10321] ppid=10311 vsize=656348 CPUtime=0
/proc/10312/task/10321/stat : 10321 (java) S 10311 10293 8486 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 135631248 672100352 33571 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10313] ppid=10311 vsize=7044 CPUtime=0
/proc/10313/stat : 10313 (translate) S 10311 10293 8486 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 135631244 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 244277018706 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/10313/statm: 1761 213 182 1 0 41 0
[pid=10301/tid=10302] ppid=10293 vsize=198324 CPUtime=4.31
/proc/10301/task/10302/stat : 10302 (java) S 10293 10293 8486 0 -1 64 3890 0 1 0 425 6 0 0 16 0 10 0 135630694 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=10301/tid=10303] ppid=10293 vsize=198324 CPUtime=0.99
/proc/10301/task/10303/stat : 10303 (java) S 10293 10293 8486 0 -1 64 8708 0 0 0 90 9 0 0 16 0 10 0 135630709 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10301/tid=10304] ppid=10293 vsize=198324 CPUtime=0
/proc/10301/task/10304/stat : 10304 (java) S 10293 10293 8486 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 135630709 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10301/tid=10305] ppid=10293 vsize=198324 CPUtime=0
/proc/10301/task/10305/stat : 10305 (java) S 10293 10293 8486 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 135630709 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10301/tid=10306] ppid=10293 vsize=198324 CPUtime=0
/proc/10301/task/10306/stat : 10306 (java) S 10293 10293 8486 0 -1 64 1 0 0 0 0 0 0 0 21 0 10 0 135630712 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10301/tid=10307] ppid=10293 vsize=198324 CPUtime=0.22
/proc/10301/task/10307/stat : 10307 (java) S 10293 10293 8486 0 -1 64 694 0 0 0 22 0 0 0 16 0 10 0 135630712 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10301/tid=10308] ppid=10293 vsize=198324 CPUtime=0
/proc/10301/task/10308/stat : 10308 (java) S 10293 10293 8486 0 -1 64 0 0 0 0 0 0 0 0 22 0 10 0 135630712 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10301/tid=10309] ppid=10293 vsize=198324 CPUtime=0
/proc/10301/task/10309/stat : 10309 (java) R 10293 10293 8486 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 135630712 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10301/tid=10310] ppid=10293 vsize=198324 CPUtime=0
/proc/10301/task/10310/stat : 10310 (java) S 10293 10293 8486 0 -1 64 71 0 0 0 0 0 0 0 17 0 10 0 135631243 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 872432

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

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

[startup+1828.9 s]
/proc/loadavg: 2.01 1.99 1.82 3/94 10479
/proc/meminfo: memFree=1707256/2055920 swapFree=4191676/4192956
[pid=10293] ppid=10291 vsize=5360 CPUtime=12.28
/proc/10293/stat : 10293 (hydra) S 10291 10293 8486 0 -1 4194304 375 12187 0 10 0 0 1220 8 18 0 1 0 135629407 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10293/statm: 1340 238 196 169 0 51 0
[pid=10301] ppid=10293 vsize=198324 CPUtime=5.55
/proc/10301/stat : 10301 (java) S 10293 10293 8486 0 -1 0 14117 0 1 0 538 17 0 0 19 0 10 0 135630692 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10301/statm: 49581 9515 2544 9 0 44163 0
[pid=10311] ppid=10301 vsize=5356 CPUtime=0
/proc/10311/stat : 10311 (abscon) S 10301 10293 8486 0 -1 4194304 304 0 0 0 0 0 0 0 18 0 1 0 135631243 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 244276847428 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/10311/statm: 1339 235 194 169 0 50 0
[pid=10312] ppid=10311 vsize=656348 CPUtime=1782.18
/proc/10312/stat : 10312 (java) S 10311 10293 8486 0 -1 0 34322 0 1 0 178188 30 0 0 19 0 9 0 135631244 672100352 33571 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10312/statm: 164087 33571 2617 9 0 158615 0
[pid=10312/tid=10314] ppid=10311 vsize=656348 CPUtime=1780.58
/proc/10312/task/10314/stat : 10314 (java) R 10311 10293 8486 0 -1 64 12547 0 1 0 178036 22 0 0 25 0 9 0 135631245 672100352 33571 996147200 134512640 134550740 4294955808 18446744073709551615 4126095741 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10312/tid=10315] ppid=10311 vsize=656348 CPUtime=1.18
/proc/10312/task/10315/stat : 10315 (java) S 10311 10293 8486 0 -1 64 20402 0 0 0 111 7 0 0 16 0 9 0 135631246 672100352 33571 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10312/tid=10316] ppid=10311 vsize=656348 CPUtime=0
/proc/10312/task/10316/stat : 10316 (java) S 10311 10293 8486 0 -1 64 13 0 0 0 0 0 0 0 15 0 9 0 135631246 672100352 33571 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10312/tid=10317] ppid=10311 vsize=656348 CPUtime=0
/proc/10312/task/10317/stat : 10317 (java) S 10311 10293 8486 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 135631246 672100352 33571 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10312/tid=10318] ppid=10311 vsize=656348 CPUtime=0
/proc/10312/task/10318/stat : 10318 (java) S 10311 10293 8486 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 135631248 672100352 33571 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10312/tid=10319] ppid=10311 vsize=656348 CPUtime=0.4
/proc/10312/task/10319/stat : 10319 (java) S 10311 10293 8486 0 -1 64 824 0 0 0 40 0 0 0 16 0 9 0 135631248 672100352 33571 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10312/tid=10320] ppid=10311 vsize=656348 CPUtime=0
/proc/10312/task/10320/stat : 10320 (java) S 10311 10293 8486 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 135631248 672100352 33571 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10312/tid=10321] ppid=10311 vsize=656348 CPUtime=0
/proc/10312/task/10321/stat : 10321 (java) S 10311 10293 8486 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 135631248 672100352 33571 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10313] ppid=10311 vsize=7044 CPUtime=0
/proc/10313/stat : 10313 (translate) S 10311 10293 8486 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 135631244 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 244277018706 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/10313/statm: 1761 213 182 1 0 41 0
[pid=10301/tid=10302] ppid=10293 vsize=198324 CPUtime=4.31
/proc/10301/task/10302/stat : 10302 (java) S 10293 10293 8486 0 -1 64 3890 0 1 0 425 6 0 0 16 0 10 0 135630694 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=10301/tid=10303] ppid=10293 vsize=198324 CPUtime=0.99
/proc/10301/task/10303/stat : 10303 (java) S 10293 10293 8486 0 -1 64 8708 0 0 0 90 9 0 0 16 0 10 0 135630709 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10301/tid=10304] ppid=10293 vsize=198324 CPUtime=0
/proc/10301/task/10304/stat : 10304 (java) S 10293 10293 8486 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 135630709 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10301/tid=10305] ppid=10293 vsize=198324 CPUtime=0
/proc/10301/task/10305/stat : 10305 (java) S 10293 10293 8486 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 135630709 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10301/tid=10306] ppid=10293 vsize=198324 CPUtime=0
/proc/10301/task/10306/stat : 10306 (java) S 10293 10293 8486 0 -1 64 1 0 0 0 0 0 0 0 21 0 10 0 135630712 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10301/tid=10307] ppid=10293 vsize=198324 CPUtime=0.22
/proc/10301/task/10307/stat : 10307 (java) S 10293 10293 8486 0 -1 64 694 0 0 0 22 0 0 0 16 0 10 0 135630712 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10301/tid=10308] ppid=10293 vsize=198324 CPUtime=0
/proc/10301/task/10308/stat : 10308 (java) S 10293 10293 8486 0 -1 64 0 0 0 0 0 0 0 0 22 0 10 0 135630712 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10301/tid=10309] ppid=10293 vsize=198324 CPUtime=0
/proc/10301/task/10309/stat : 10309 (java) R 10293 10293 8486 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 135630712 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10301/tid=10310] ppid=10293 vsize=198324 CPUtime=0
/proc/10301/task/10310/stat : 10310 (java) S 10293 10293 8486 0 -1 64 71 0 0 0 0 0 0 0 17 0 10 0 135631243 203083776 9515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 872432

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10293 and gives
#  childrusage.ru_utime.tv_sec=12
#  childrusage.ru_utime.tv_usec=207144
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=83987
# CPU time returned by wait4() is 12.2911
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1828.94
CPU time (s): 1800.01
CPU user time (s): 1799.46
CPU system time (s): 0.55
CPU usage (%): 98.4185
Max. virtual memory (cumulated for all children) (KiB): 872620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.2071
system time used= 0.083987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12562
page faults= 10
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73
involuntary context switches= 94

runsolver used 5.17821 second user time and 19.915 second system time

The end

Launcher Data (download as text)

Begin job on node63 at 2008-07-05 07:39:00
IDJOB=1085953
IDBENCH=57732
IDSOLVER=366
FILE ID=node63/1085953-1215236340
PBS_JOBID= 7881861
Free space on /tmp= 66512 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= b1bc0ce20909360461048c9e001540ac
RANDOM SEED=144617447

node63.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.256
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.256
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:       1115712 kB
Buffers:          1836 kB
Cached:          90792 kB
SwapCached:        260 kB
Active:         838348 kB
Inactive:        39932 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1115712 kB
SwapTotal:     4192956 kB
SwapFree:      4191676 kB
Dirty:           27884 kB
Writeback:           0 kB
Mapped:         806920 kB
Slab:            45808 kB
Committed_AS:  1168580 kB
PageTables:       3192 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66496 MiB
End job on node63 at 2008-07-05 08:09:32