Trace number 1086646

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 1091.79 1102.52

DiagnosticValue
ASSIGNMENTS3000
CHECKS104799000

General information on the benchmark

Namecsp/fapp/fapp30/
normalized-fapp30-3000-10.xml
MD5SUM34ca3ffc23008dabfd0338886eeccec5
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 benchmark91.1771
Satisfiable
(Un)Satisfiability was proved
Number of variables3000
Number of constraints63204
Maximum constraint arity2
Maximum domain size778
Number of constraints which are defined in extension0
Number of constraints which are defined in intension63204
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.00	c cpHydra_k_40 version 0.0
1003.10/1011.97	c CASE TO CLASSIFY:
1003.10/1011.97	c Case: 0
1003.10/1011.98	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >  15.957900 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.10/1011.99	c choco : 1801.0
1003.10/1011.99	c mistral : 1801.0
1003.10/1011.99	c abscon : 1801.0
1003.10/1011.99	c
1003.10/1011.99	c
1003.20/1012.06	c List of same ones: 40
1003.20/1012.06	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-10.xml
1003.20/1012.06	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >   6.741470 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.20/1012.07	c choco : 1801.0
1003.20/1012.07	c mistral : 1800.11
1003.20/1012.07	c abscon : 71.1032
1003.20/1012.07	c
1003.20/1012.07	c
1003.20/1012.07	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-4.xml
1003.20/1012.07	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >   6.741470 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.20/1012.08	c choco : 1801.0
1003.20/1012.08	c mistral : 1800.09
1003.20/1012.08	c abscon : 10.1455
1003.20/1012.08	c
1003.20/1012.08	c
1003.20/1012.08	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-6.xml
1003.20/1012.08	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >   6.741470 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.20/1012.09	c choco : 1801.0
1003.20/1012.09	c mistral : 1800.04
1003.20/1012.09	c abscon : 10.1615
1003.20/1012.09	c
1003.20/1012.09	c
1003.20/1012.09	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-7.xml
1003.20/1012.09	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >   6.741470 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.28/1012.10	c choco : 1801.0
1003.28/1012.10	c mistral : 1800.03
1003.28/1012.10	c abscon : 65.728
1003.28/1012.10	c
1003.28/1012.10	c
1003.28/1012.10	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-8.xml
1003.28/1012.10	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >   6.741470 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.28/1012.12	c choco : 1801.0
1003.28/1012.12	c mistral : 1800.03
1003.28/1012.12	c abscon : 68.0856
1003.28/1012.12	c
1003.28/1012.12	c
1003.28/1012.12	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-9.xml
1003.28/1012.12	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >   6.741470 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.28/1012.13	c choco : 1801.0
1003.28/1012.13	c mistral : 1800.04
1003.28/1012.13	c abscon : 74.9176
1003.28/1012.13	c
1003.28/1012.13	c
1003.28/1012.13	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-5.xml
1003.28/1012.13	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >   6.727920 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.28/1012.13	c choco : 1801.0
1003.28/1012.13	c mistral : 1800.05
1003.28/1012.13	c abscon : 10.0415
1003.28/1012.13	c
1003.28/1012.13	c
1003.28/1012.13	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-0.xml
1003.28/1012.13	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >   6.714250 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.28/1012.14	c choco : 1801.0
1003.28/1012.14	c mistral : 1800.05
1003.28/1012.14	c abscon : 9.72352
1003.28/1012.14	c
1003.28/1012.14	c
1003.28/1012.14	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-1.xml
1003.28/1012.14	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >   6.700440 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.28/1012.15	c choco : 1801.0
1003.28/1012.15	c mistral : 1800.1
1003.28/1012.15	c abscon : 9.81651
1003.28/1012.15	c
1003.28/1012.15	c
1003.28/1012.15	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-3.xml
1003.28/1012.15	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >   6.629360 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.28/1012.16	c choco : 1801.0
1003.28/1012.16	c mistral : 1800.05
1003.28/1012.16	c abscon : 9.97948
1003.28/1012.16	c
1003.28/1012.16	c
1003.28/1012.16	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-2.xml
1003.28/1012.16	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.464500 | c 15 >   6.475730 | c 34 >  68.477500 | c 16 >   2.000000 | c 13 >   4.584070 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.396980 | c 21 >  25.444400 | c 20 >   0.000000 | c 22 >  27.892700 | c 23 >  11.054800 | c 24 >   1.441740 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.947700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.889300 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.46/1012.36	c choco : 1801.0
1003.46/1012.36	c mistral : 1800.07
1003.46/1012.36	c abscon : 9.51055
1003.46/1012.36	c
1003.46/1012.36	c
1003.46/1012.36	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-10.xml
1003.46/1012.36	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.296300 | c 15 >   7.199670 | c 34 >  68.401800 | c 16 >   2.000000 | c 13 >   4.336890 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.157800 | c 21 >  24.988200 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.477540 | c 24 >   0.741730 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.708500 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.837100 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.46/1012.37	c choco : 1801.0
1003.46/1012.37	c mistral : 1800.08
1003.46/1012.37	c abscon : 76.7213
1003.46/1012.37	c
1003.46/1012.37	c
1003.46/1012.37	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-9.xml
1003.46/1012.37	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.296300 | c 15 >   7.199670 | c 34 >  68.401800 | c 16 >   2.000000 | c 13 >   4.336890 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.157800 | c 21 >  24.988200 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.477540 | c 24 >   0.741730 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.708500 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.837100 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.46/1012.38	c choco : 1801.0
1003.46/1012.38	c mistral : 1800.06
1003.46/1012.38	c abscon : 72.15
1003.46/1012.38	c
1003.46/1012.38	c
1003.46/1012.38	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-8.xml
1003.46/1012.38	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.296300 | c 15 >   7.179910 | c 34 >  68.401800 | c 16 >   2.000000 | c 13 >   4.336890 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.157800 | c 21 >  24.988200 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.477540 | c 24 >   0.741730 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.708500 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.837100 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.46/1012.38	c choco : 1801.0
1003.46/1012.38	c mistral : 1800.08
1003.46/1012.38	c abscon : 61.9576
1003.46/1012.39	c
1003.46/1012.39	c
1003.46/1012.39	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-2.xml
1003.46/1012.39	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.296300 | c 15 >   7.118940 | c 34 >  68.401800 | c 16 >   2.000000 | c 13 >   4.336890 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.157800 | c 21 >  24.988200 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.477540 | c 24 >   0.741730 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.708500 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.837100 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.55/1012.40	c choco : 1801.0
1003.55/1012.40	c mistral : 1800.09
1003.55/1012.40	c abscon : 15.7326
1003.55/1012.40	c
1003.55/1012.40	c
1003.55/1012.40	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-3.xml
1003.55/1012.40	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.296300 | c 15 >   7.108520 | c 34 >  68.401800 | c 16 >   2.000000 | c 13 >   4.336890 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.157800 | c 21 >  24.988200 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.477540 | c 24 >   0.741730 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.708500 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.837100 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.55/1012.41	c choco : 1801.0
1003.55/1012.41	c mistral : 1800.08
1003.55/1012.41	c abscon : 16.2085
1003.55/1012.41	c
1003.55/1012.41	c
1003.55/1012.41	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-6.xml
1003.55/1012.41	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.296300 | c 15 >   7.108520 | c 34 >  68.401800 | c 16 >   2.000000 | c 13 >   4.336890 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.157800 | c 21 >  24.988200 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.477540 | c 24 >   0.741730 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.708500 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.837100 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.55/1012.41	c choco : 1801.0
1003.55/1012.41	c mistral : 1800.11
1003.55/1012.41	c abscon : 56.2494
1003.55/1012.41	c
1003.55/1012.41	c
1003.55/1012.41	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-7.xml
1003.55/1012.41	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.296300 | c 15 >   7.108520 | c 34 >  68.401800 | c 16 >   2.000000 | c 13 >   4.336890 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.157800 | c 21 >  24.988200 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.477540 | c 24 >   0.741730 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.708500 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.837100 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.55/1012.42	c choco : 1801.0
1003.55/1012.42	c mistral : 1800.05
1003.55/1012.42	c abscon : 57.1643
1003.55/1012.42	c
1003.55/1012.42	c
1003.55/1012.42	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-1.xml
1003.55/1012.42	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.296300 | c 15 >   7.076820 | c 34 >  68.401800 | c 16 >   2.000000 | c 13 >   4.336890 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.157800 | c 21 >  24.988200 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.477540 | c 24 >   0.741730 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.708500 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.837100 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.55/1012.42	c choco : 1801.0
1003.55/1012.42	c mistral : 1800.03
1003.55/1012.42	c abscon : 16.8424
1003.55/1012.42	c
1003.55/1012.42	c
1003.55/1012.43	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-0.xml
1003.55/1012.43	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.296300 | c 15 >   7.066090 | c 34 >  68.401800 | c 16 >   2.000000 | c 13 >   4.336890 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.157800 | c 21 >  24.988200 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.477540 | c 24 >   0.741730 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.708500 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.837100 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.55/1012.44	c choco : 1801.0
1003.55/1012.44	c mistral : 1800.04
1003.55/1012.44	c abscon : 16.5865
1003.55/1012.44	c
1003.55/1012.44	c
1003.55/1012.44	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-4.xml
1003.55/1012.44	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.296300 | c 15 >   7.066090 | c 34 >  68.401800 | c 16 >   2.000000 | c 13 >   4.336890 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.157800 | c 21 >  24.988200 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.477540 | c 24 >   0.741730 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.708500 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.837100 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.55/1012.44	c choco : 1801.0
1003.55/1012.44	c mistral : 1800.05
1003.55/1012.44	c abscon : 50.0494
1003.55/1012.44	c
1003.55/1012.44	c
1003.55/1012.44	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-5.xml
1003.55/1012.44	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.296300 | c 15 >   7.066090 | c 34 >  68.401800 | c 16 >   2.000000 | c 13 >   4.336890 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   5.157800 | c 21 >  24.988200 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.477540 | c 24 >   0.741730 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.708500 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.837100 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.55/1012.45	c choco : 1801.0
1003.55/1012.45	c mistral : 1800.05
1003.55/1012.45	c abscon : 50.7403
1003.55/1012.45	c
1003.55/1012.45	c
1003.55/1012.45	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-10.xml
1003.55/1012.45	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.642200 | c 15 >   7.118940 | c 34 >  68.545000 | c 16 >   2.000000 | c 13 >   4.415590 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.635340 | c 21 >  24.170300 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.500210 | c 24 >   0.519995 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.923000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.478000 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.55/1012.45	c choco : 1801.0
1003.55/1012.45	c mistral : 1800.11
1003.55/1012.45	c abscon : 63.4264
1003.55/1012.45	c
1003.55/1012.45	c
1003.55/1012.45	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-8.xml
1003.55/1012.45	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.642200 | c 15 >   7.022370 | c 34 >  68.545000 | c 16 >   2.000000 | c 13 >   4.415590 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.635340 | c 21 >  24.170300 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.500210 | c 24 >   0.519995 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.923000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.478000 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.55/1012.46	c choco : 1801.0
1003.55/1012.46	c mistral : 1800.07
1003.55/1012.46	c abscon : 60.5128
1003.55/1012.46	c
1003.55/1012.46	c
1003.55/1012.46	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-9.xml
1003.55/1012.46	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.642200 | c 15 >   7.022370 | c 34 >  68.545000 | c 16 >   2.000000 | c 13 >   4.415590 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.635340 | c 21 >  24.170300 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.500210 | c 24 >   0.519995 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.923000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.478000 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.55/1012.47	c choco : 1801.0
1003.55/1012.47	c mistral : 1800.05
1003.55/1012.47	c abscon : 61.2877
1003.55/1012.47	c
1003.55/1012.47	c
1003.55/1012.47	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-2.xml
1003.55/1012.47	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.359500 | c 15 >   7.459430 | c 34 >  68.430200 | c 16 >   2.000000 | c 13 >   4.643650 | c 14 >  -1.000000 | c 11 >  10.773100 | c 12 >   5.194850 | c 21 >  21.554400 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >   8.494280 | c 24 >   1.444420 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.968000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.633000 | c 31 >  -1.000000 | c 4 >  10.773100 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.55/1012.47	c choco : 1801.0
1003.55/1012.47	c mistral : 91.925
1003.55/1012.47	c abscon : 8.97863
1003.55/1012.47	c
1003.55/1012.47	c
1003.55/1012.47	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-7.xml
1003.55/1012.47	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.642200 | c 15 >   6.988680 | c 34 >  68.545000 | c 16 >   2.000000 | c 13 >   4.415590 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.635340 | c 21 >  24.170300 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.500210 | c 24 >   0.519995 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.923000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.478000 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.55/1012.48	c choco : 1801.0
1003.55/1012.48	c mistral : 1800.03
1003.55/1012.48	c abscon : 47.3168
1003.55/1012.48	c
1003.55/1012.48	c
1003.55/1012.48	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-8.xml
1003.55/1012.48	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.359500 | c 15 >   7.442940 | c 34 >  68.430200 | c 16 >   2.000000 | c 13 >   4.643650 | c 14 >  -1.000000 | c 11 >  10.773100 | c 12 >   5.194850 | c 21 >  21.554400 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >   8.494280 | c 24 >   1.444420 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.968000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.633000 | c 31 >  -1.000000 | c 4 >  10.773100 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.55/1012.48	c choco : 1801.0
1003.55/1012.48	c mistral : 1800.05
1003.55/1012.48	c abscon : 15.7666
1003.55/1012.48	c
1003.55/1012.48	c
1003.55/1012.48	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-3.xml
1003.55/1012.48	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.642200 | c 15 >   6.977280 | c 34 >  68.545000 | c 16 >   2.000000 | c 13 >   4.415590 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.635340 | c 21 >  24.170300 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.500210 | c 24 >   0.519995 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.923000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.478000 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.55/1012.49	c choco : 1801.0
1003.55/1012.49	c mistral : 1800.03
1003.55/1012.49	c abscon : 40.7268
1003.55/1012.49	c
1003.55/1012.49	c
1003.55/1012.49	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-1.xml
1003.55/1012.49	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.359500 | c 15 >   7.400880 | c 34 >  68.430200 | c 16 >   2.000000 | c 13 >   4.643650 | c 14 >  -1.000000 | c 11 >  10.773100 | c 12 >   5.194850 | c 21 >  21.554400 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >   8.494280 | c 24 >   1.444420 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.968000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.633000 | c 31 >  -1.000000 | c 4 >  10.773100 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.55/1012.50	c choco : 1801.0
1003.55/1012.50	c mistral : 93.1378
1003.55/1012.50	c abscon : 8.34573
1003.55/1012.50	c
1003.55/1012.50	c
1003.55/1012.50	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-6.xml
1003.55/1012.50	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.359500 | c 15 >   7.400880 | c 34 >  68.430200 | c 16 >   2.000000 | c 13 >   4.643650 | c 14 >  -1.000000 | c 11 >  10.773100 | c 12 >   5.194850 | c 21 >  21.554400 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >   8.494280 | c 24 >   1.444420 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.968000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.633000 | c 31 >  -1.000000 | c 4 >  10.773100 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.61/1012.50	c choco : 1801.0
1003.61/1012.50	c mistral : 574.22
1003.61/1012.50	c abscon : 8.86065
1003.61/1012.50	c
1003.61/1012.50	c
1003.61/1012.50	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-0.xml
1003.61/1012.50	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.359500 | c 15 >   7.392320 | c 34 >  68.430200 | c 16 >   2.000000 | c 13 >   4.643650 | c 14 >  -1.000000 | c 11 >  10.773100 | c 12 >   5.194850 | c 21 >  21.554400 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >   8.494280 | c 24 >   1.444420 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.968000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.633000 | c 31 >  -1.000000 | c 4 >  10.773100 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.61/1012.51	c choco : 1801.0
1003.61/1012.51	c mistral : 81.4106
1003.61/1012.51	c abscon : 8.81466
1003.61/1012.51	c
1003.61/1012.51	c
1003.61/1012.51	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-10.xml
1003.61/1012.51	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.359500 | c 15 >   7.383700 | c 34 >  68.430200 | c 16 >   2.000000 | c 13 >   4.643650 | c 14 >  -1.000000 | c 11 >  10.773100 | c 12 >   5.194850 | c 21 >  21.554400 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >   8.494280 | c 24 >   1.444420 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.968000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.633000 | c 31 >  -1.000000 | c 4 >  10.773100 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.61/1012.52	c choco : 1801.0
1003.61/1012.52	c mistral : 1800.03
1003.61/1012.52	c abscon : 16.9624
1003.61/1012.52	c
1003.61/1012.52	c
1003.61/1012.52	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-3.xml
1003.61/1012.52	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.359500 | c 15 >   7.383700 | c 34 >  68.430200 | c 16 >   2.000000 | c 13 >   4.643650 | c 14 >  -1.000000 | c 11 >  10.773100 | c 12 >   5.194850 | c 21 >  21.554400 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >   8.494280 | c 24 >   1.444420 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.968000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.633000 | c 31 >  -1.000000 | c 4 >  10.773100 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.61/1012.52	c choco : 1801.0
1003.61/1012.52	c mistral : 69.4484
1003.61/1012.52	c abscon : 8.71567
1003.61/1012.52	c
1003.61/1012.52	c
1003.61/1012.52	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-4.xml
1003.61/1012.52	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.359500 | c 15 >   7.383700 | c 34 >  68.430200 | c 16 >   2.000000 | c 13 >   4.643650 | c 14 >  -1.000000 | c 11 >  10.773100 | c 12 >   5.194850 | c 21 >  21.554400 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >   8.494280 | c 24 >   1.444420 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.968000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.633000 | c 31 >  -1.000000 | c 4 >  10.773100 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.61/1012.53	c choco : 1801.0
1003.61/1012.53	c mistral : 146.325
1003.61/1012.53	c abscon : 9.08962
1003.61/1012.53	c
1003.61/1012.53	c
1003.61/1012.53	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-5.xml
1003.61/1012.53	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.359500 | c 15 >   7.383700 | c 34 >  68.430200 | c 16 >   2.000000 | c 13 >   4.643650 | c 14 >  -1.000000 | c 11 >  10.773100 | c 12 >   5.194850 | c 21 >  21.554400 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >   8.494280 | c 24 >   1.444420 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.968000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.633000 | c 31 >  -1.000000 | c 4 >  10.773100 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.61/1012.53	c choco : 1801.0
1003.61/1012.53	c mistral : 182.049
1003.61/1012.53	c abscon : 8.90564
1003.61/1012.53	c
1003.61/1012.53	c
1003.61/1012.53	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-7.xml
1003.61/1012.53	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.359500 | c 15 >   7.383700 | c 34 >  68.430200 | c 16 >   2.000000 | c 13 >   4.643650 | c 14 >  -1.000000 | c 11 >  10.773100 | c 12 >   5.194850 | c 21 >  21.554400 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >   8.494280 | c 24 >   1.444420 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.968000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.633000 | c 31 >  -1.000000 | c 4 >  10.773100 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.61/1012.54	c choco : 1801.0
1003.61/1012.54	c mistral : 744.68
1003.61/1012.54	c abscon : 15.7856
1003.61/1012.54	c
1003.61/1012.54	c
1003.61/1012.54	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-9.xml
1003.61/1012.54	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.359500 | c 15 >   7.383700 | c 34 >  68.430200 | c 16 >   2.000000 | c 13 >   4.643650 | c 14 >  -1.000000 | c 11 >  10.773100 | c 12 >   5.194850 | c 21 >  21.554400 | c 20 >   0.000000 | c 22 >  28.319600 | c 23 >   8.494280 | c 24 >   1.444420 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.968000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.633000 | c 31 >  -1.000000 | c 4 >  10.773100 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.61/1012.55	c choco : 1801.0
1003.61/1012.55	c mistral : 1800.06
1003.61/1012.55	c abscon : 16.5685
1003.61/1012.55	c
1003.61/1012.55	c
1003.61/1012.55	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-4.xml
1003.61/1012.55	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.642200 | c 15 >   6.930740 | c 34 >  68.545000 | c 16 >   2.000000 | c 13 >   4.415590 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.635340 | c 21 >  24.170300 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.500210 | c 24 >   0.519995 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.923000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.478000 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.61/1012.56	c choco : 1801.0
1003.61/1012.56	c mistral : 1800.08
1003.61/1012.56	c abscon : 44.5392
1003.61/1012.56	c
1003.61/1012.56	c
1003.61/1012.56	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-5.xml
1003.61/1012.56	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.642200 | c 15 >   6.906890 | c 34 >  68.545000 | c 16 >   2.000000 | c 13 >   4.415590 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.635340 | c 21 >  24.170300 | c 20 >   0.000000 | c 22 >  26.419700 | c 23 >   7.500210 | c 24 >   0.519995 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.923000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.478000 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
1003.61/1012.56	c choco : 1801.0
1003.61/1012.56	c mistral : 1800.04
1003.61/1012.56	c abscon : 45.897
1003.61/1012.56	c
1003.61/1012.56	c
1003.61/1012.57	c Length: 40
1003.61/1012.57	c 9.21643  9.21643  9.21643  9.21643  9.21643  9.21643  9.229980000000001  9.24365  9.25746  9.32854  9.48217  9.622032608310993  9.622032608310993  9.640022158823081  9.695572838368037  9.705073166488752  9.705073166488752  9.705073166488752  9.733986888675165  9.743777699568069  9.743777699568069  9.743777699568069  9.78950703175216  9.876787454634478  9.876787454634478  9.894427709928454  9.907277196663319  9.90859481297424  9.917598985012702  9.94476237255069  9.94476237255069  9.952128822643928  9.959548835469407  9.959548835469407  9.959548835469407  9.959548835469407  9.959548835469407  9.959548835469407  9.959761629111663  9.98138347441  
1003.61/1012.57	c 
1003.61/1012.57	c 1.0  1.0  1.0  1.0  1.0  1.0  0.9825948111403492  0.9656388393712969  0.949093249051993  0.8721757281302635  0.7421735883676598  0.6534957920442757  0.6534957920442757  0.6436046315943078  0.6148667643760457  0.6102070230992127  0.6102070230992127  0.6102070230992127  0.5964501312643221  0.5919312694387306  0.5919312694387306  0.5919312694387306  0.571701071752166  0.5366923516981811  0.5366923516981811  0.5301312218408181  0.525452068823421  0.5249769226239099  0.5217527836734775  0.5122619195560736  0.5122619195560736  0.5097473118268319  0.5072392546423516  0.5072392546423516  0.5072392546423516  0.5072392546423516  0.5072392546423516  0.5072392546423516  0.5071676917208335  0.5  
1003.61/1012.58	c
1003.61/1012.58	c solver 0
1003.61/1012.58	c	  before 0.0 seconds: {} 0
1003.61/1012.58	c	  before 18.0 seconds: {1, 2, 6, 7, 8, 9, 10, 14, 15, 18, 19, 25, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37} 14557
1003.61/1012.58	c	  before 54.0 seconds: {1, 2, 6, 7, 8, 9, 10, 14, 15, 18, 19, 20, 21, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17796
1003.61/1012.58	c	  before 72.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 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} 24305
1003.61/1012.58	c	  before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26612
1003.61/1012.58	c
1003.61/1012.58	c solver 1
1003.61/1012.58	c	  before 0.0 seconds: {} 0
1003.61/1012.58	c	  before 72.0 seconds: {33} 507
1003.61/1012.58	c	  before 90.0 seconds: {31, 33} 1016
1003.61/1012.58	c	  before 108.0 seconds: {25, 29, 31, 33} 2059
1003.61/1012.58	c	  before 162.0 seconds: {25, 29, 31, 33, 34} 2566
1003.61/1012.58	c	  before 198.0 seconds: {25, 29, 31, 33, 34, 35} 3073
1003.61/1012.58	c	  before 576.0 seconds: {25, 29, 30, 31, 33, 34, 35} 3586
1003.61/1012.58	c	  before 756.0 seconds: {25, 29, 30, 31, 33, 34, 35, 36} 4093
1003.61/1012.58	c
1003.61/1012.58	c solver 2
1003.61/1012.58	c	  before 0.0 seconds: {} 0
1003.61/1012.58	c
1003.61/1012.58	cTotal time: 47
1003.61/1012.58	c 846.0 seconds unused
1003.61/1012.58	c 0 c 32 c 40 
1003.61/1012.58	c 0 c 0 c 8 
1003.61/1012.58	c 0 c 0 c 0 
1003.61/1012.58	c is solver0 dominated by:
1003.61/1012.58	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)
1003.61/1012.58	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)
1003.61/1012.58	c is dominated? false
1003.61/1012.58	c
1003.61/1012.58	c is solver1 dominated by:
1003.61/1012.58	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)
1003.61/1012.58	c is dominated? true
1003.61/1012.58	c
1003.61/1012.58	c is solver2 dominated by:
1003.61/1012.58	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)
1003.61/1012.58	c is dominated? true
1003.61/1012.58	c
1003.61/1012.58	c Number of non-dominated solvers: 1
1003.61/1012.58	c remove dominated solvers
1003.61/1012.58	c solver 0 is not dominated by another solver
1003.61/1012.58	c solver 2 is dominated by another solver
1003.61/1012.58	c solver 1 is dominated by another solver
1003.61/1012.58	c
1003.61/1012.58	c solver 0: 90.0
1003.61/1012.58	c
1003.61/1012.58	c+ 5/5 of 95
1003.61/1012.58	c
1003.61/1012.58	c solver 1: 0.0
1003.61/1012.58	c
1003.61/1012.58	c solver 2: 0.0
1003.61/1012.59	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} 26612
1003.61/1012.59	c	 do not run mistral
1003.61/1012.59	c	 do not run choco
1003.61/1012.59	c Starting solver: HOME/cpHydra_k_40/solver/abscon
1003.61/1012.59	c On Instance: HOME/instance-1086646-1215240422.xml
1003.61/1012.59	c Running for: 1800 seconds
1091.65/1102.48	s SAT
1091.65/1102.48	v  2940 -2296 -2868 -2348 -2668 -2354 -2646 -2982 -2942 -2620 -2376 -2652 -2226 -2610 -2224 -2486 -2732 -2992 -2442 -2874 -2262 -2950 -2362 -2996 -2394 -2808 -2510 -2540 -2762 -2762 -2368 -2288 2510 -2850 -2276 -2312 -2810 -2338 -2252 2276 -2940 -2440 -2590 -2264 -2960 -2268 2892 -2608 -2776 2768 -2356 -2422 2502 -2956 -2384 -2496 2848 -2424 -2474 2514 -2894 -2956 -2940 -2638 -2956 -2622 -2966 -2442 2648 -2452 -2252 -2950 2220 -2790 -2256 -2404 -2272 -2578 -2808 2980 -2928 -2230 2926 -2478 -2252 -2482 -2692 -2640 -2514 -2326 -2608 -2406 -2750 -2282 2356 -2850 -2690 -2588 -2898 -2960 -2248 -2600 -2264 -2590 -2612 -2478 2634 2690 -2266 -2646 2464 -2860 2262 -2642 -2898 -2758 -2592 -2436 2220 -2386 -2598 2870 -2402 -2972 -2488 -2474 -2622 -2620 -2406 -2690 2538 -2758 2780 -2598 2646 -2324 -2936 -2638 -2940 -2778 -2732 -2548 -2740 -2880 -2966 -2644 -2598 -2622 -2900 -2282 -2356 -2550 2220 -2806 -2990 -2318 -2496 -2606 -2744 -2790 -2680 -2290 -2996 -2284 -2620 -2276 2400 -2652 -2464 2364 -2240 -2732 -2650 -2642 -2902 -2408 2404 -2956 -2820 -2750 -2956 -2602 -2916 2936 -2950 2708 -2674 -2788 -2914 -2408 -2956 2816 -2846 2380 -2448 -2366 -2926 -2446 -2764 -2224 -2968 -2624 -2982 -2284 -2982 -2678 -2904 -2760 -2546 2816 -2904 -2582 -2240 -2432 -2630 -2810 -2860 -2312 2384 -2962 -2516 -2640 -2344 -2682 -2856 -2570 -2224 -2848 -2938 -2392 -2596 2598 -2520 -2394 2546 -2964 -2608 -2762 -2878 -2406 -2600 -2332 -2442 -2930 -2770 -2762 -2306 -2884 -2406 -2774 2686 -2860 -2674 -2454 2260 2850 -2924 -2510 2274 -2884 -2862 -2712 -2524 2232 -2996 -2576 -2266 -2982 2810 -2324 -2922 -2602 -2724 -2940 -2290 -2260 -2848 -2296 -2622 -2486 -2950 -2260 -2312 -2276 -2884 -2876 -2222 -2876 -2754 2966 -2534 -2332 -2496 -2282 -2382 -2590 2260 -2982 -2334 -2584 -2788 -2980 -2940 -2282 -2428 2254 -2720 -2946 -2650 -2948 -2680 -2490 -2692 -2942 -2220 -2766 -2514 2476 -2396 -2268 -2890 -2662 -2944 -2238 -2564 -2890 -2860 -2254 -2944 -2600 -2584 -2440 -2626 -2940 -2260 -2452 -2480 -2716 2898 -2318 2778 2262 -2646 -2606 -2376 -2964 -2260 -2384 -2928 2956 -2940 -2924 -2818 -2762 -2614 -2928 -2650 -2648 2246 -2882 -2260 -2470 -2408 -2952 -2936 -2390 -2450 -2314 -2350 -2738 2886 -2636 -2456 -2624 -2950 -2722 -2900 2284 -2292 -2244 -2622 -2730 2620 -2630 -2690 -2262 -2618 -2306 -2550 2412 -2686 -2680 -2836 -2382 -2390 -2624 -2406 -2954 -2460 -2818 -2290 -2964 2888 -2916 -2546 -2384 -2806 -2996 -2688 -2550 -2944 -2942 -2548 -2938 -2990 -2990 -2736 -2916 -2968 -2994 2238 -2610 -2808 -2414 -2738 -2748 -2996 -2264 -2284 -2452 2770 2274 -2820 -2262 -2622 -2248 -2668 -2898 -2538 2898 -2530 -2956 -2560 -2910 -2716 -2860 -2858 -2732 -2924 -2898 -2806 -2610 -2316 -2728 -2792 -2492 -2816 -2996 -2248 -2794 -2996 -2944 2260 -2486 -2678 -2478 -2746 -2592 -2688 -2290 2524 2358 -2646 -2942 -2916 -2322 -2876 -2722 -2944 -2634 -2956 -2902 -2624 -2222 2440 2430 -2366 -2514 -2940 -2360 -2904 -2980 -2514 -2554 -2642 -2370 -2814 -2688 -2854 -2892 -2400 -2960 -2644 -2490 -2840 2258 -2910 -2432 -2308 -2962 -2292 -2940 2596 -2640 -2864 -2284 -2690 -2564 -2514 -2986 -2756 -2572 -2484 -2642 2996 -2828 -2906 -2982 2598 -2956 -2244 -2914 -2848 -2772 -2666 -2810 -2732 -2440 -2762 -2406 -2268 -2948 -2990 2992 -2278 -2982 -2710 -2650 -2956 -2438 -2918 -2992 -2882 -2280 -2606 -2956 -2690 -2842 -2900 -2910 -2704 -2906 -2282 -2692 -2548 2840 2442 -2894 -2430 -2650 -2260 -2542 -2948 2426 2294 2306 -2288 -2226 2554 -2632 -2882 2530 -2920 -2666 -2914 2708 2424 -2330 2892 -2976 -2730 -2550 -2756 -2862 -2690 -2670 -2606 -2596 -2606 -2758 -2850 -2802 -2922 -2448 -2940 -2916 2888 -2506 -2408 2402 -2640 -2820 -2512 -2900 2674 -2298 -2222 -2830 -2282 -2316 -2842 -2896 -2228 -2804 -2368 -2764 -2466 -2612 -2866 -2642 2430 -2736 -2470 -2760 -2220 2436 -2432 -2854 -2554 2984 -2498 -2340 -2380 -2466 -2622 -2744 -2544 -2898 -2588 -2960 -2240 2356 -2414 -2940 -2942 -2950 -2772 -2990 -2754 2714 -2960 2220 2662 -2646 -2866 -2926 -2402 -2254 -2260 -2256 -2646 2702 -2786 -2234 -2296 2260 -2382 -2942 -2996 2402 -2880 -2380 -2430 2458 -2704 -2466 -2332 -2898 -2810 -2860 -2386 -2492 -2678 -2686 -2884 2344 -2554 -2484 -2818 -2942 -2812 -2608 -2682 -2980 -2730 -2258 -2822 2220 -2860 -2430 -2290 2562 -2910 2978 -2266 -2950 2340 -2354 -2726 2996 -2876 -2260 -2960 -2634 2880 -2790 -2486 -2900 -2512 -2630 -2256 -2550 -2878 2946 -2580 -2982 2948 -2310 -2314 -2778 -2648 -2264 2814 2812 -2514 -2876 2326 -2766 2924 -2532 -2810 2260 -2950 -2536 2428 -2950 -2310 -2312 -2286 -2790 -2236 -2570 -2790 -2940 -2554 -2392 -2646 -2732 -2710 2804 -2366 -2678 -2592 -2274 -2602 -2688 2684 -2772 -2554 -2494 2996 2756 -2716 -2502 -2590 -2594 -2872 -2328 -2950 -2514 -2238 -2758 -2860 -2622 -2996 -2646 -2536 -2276 -2964 -2648 -2290 2454 -2970 -2252 -2820 2384 -2674 -2982 -2298 -2636 -2228 -2604 -2834 -2940 -2228 -2446 -2250 -2260 2294 -2718 -2406 -2290 -2632 -2650 -2940 2902 -2926 -2594 -2488 -2344 -2272 -2284 -2556 2826 -2862 -2488 -2876 -2292 -2866 -2940 2664 -2950 -2786 -2592 -2368 -2920 -2364 -2996 -2242 -2758 2888 -2956 -2286 -2982 -2994 -2874 -2278 -2866 2468 -2578 -2646 -2382 -2920 -2424 -2262 -2272 -2990 -2254 2280 -2494 -2470 -2762 -2938 -2776 -2996 2260 -2318 -2220 -2642 2820 -2808 -2678 2776 -2928 -2996 -2910 -2948 -2536 -2344 -2504 -2538 -2950 -2906 2898 -2290 -2704 -2820 2260 -2996 -2512 -2912 -2324 -2572 -2486 -2262 -2706 -2476 -2996 -2956 2912 -2670 -2650 -2490 2788 -2260 -2996 -2654 -2954 -2264 -2952 2248 -2776 -2584 -2624 -2662 2638 -2760 -2988 2956 -2442 -2338 -2732 -2834 -2366 2416 2648 -2910 -2500 -2650 -2226 -2256 -2796 2740 -2446 -2372 -2926 -2920 -2292 -2976 -2618 -2766 2872 2250 -2682 -2952 -2684 -2900 -2516 -2442 -2892 2936 -2666 -2782 -2904 -2598 -2486 -2570 -2624 -2956 -2274 2248 2604 -2322 -2550 -2590 -2732 -2908 -2514 2648 -2860 -2724 -2316 -2230 2338 -2554 -2956 -2920 -2558 -2898 -2646 -2990 -2642 -2848 -2450 -2292 -2282 2220 2866 -2834 -2752 -2424 -2736 -2554 -2358 -2396 -2244 -2640 -2944 -2790 2274 -2772 2874 -2542 -2604 -2370 -2858 -2364 -2452 -2268 -2380 -2594 -2636 -2684 -2422 -2318 -2840 -2856 -2790 -2770 -2262 -2638 -2854 -2842 2882 -2980 -2252 -2688 2664 -2906 -2890 -2862 -2680 -2592 -2980 -2900 -2270 -2294 -2942 -2354 -2492 -2554 -2338 2982 -2250 -2720 -2746 -2384 -2680 -2282 -2244 2548 -2876 -2944 -2632 -2724 -2648 -2766 -2250 -2364 -2606 -2956 -2948 -2344 -2386 -2644 -2784 -2942 -2942 -2874 -2386 -2436 -2590 2276 -2578 -2544 -2982 -2502 -2556 -2994 -2352 -2976 -2252 -2604 -2624 -2610 -2252 -2482 -2956 -2556 -2744 -2732 -2690 -2924 -2576 -2940 -2938 -2988 -2568 2646 2794 -2682 -2828 -2654 -2740 -2646 -2318 -2506 -2294 -2942 2328 -2916 -2598 -2686 -2664 -2870 -2248 -2758 -2366 -2820 -2796 2808 -2748 -2996 -2940 -2950 -2542 -2508 -2550 -2376 -2274 -2942 -2688 -2996 -2986 -2692 2994 -2898 -2560 -2282 -2690 -2904 -2790 -2550 2736 -2578 -2512 -2800 -2996 -2902 -2646 2912 2720 -2904 -2980 -2982 -2732 -2304 -2292 -2390 -2880 2578 -2950 -2896 2722 -2624 -2476 2274 -2644 -2420 -2990 2916 -2830 -2956 -2762 -2686 -2686 -2632 -2300 -2892 -2702 -2222 2744 -2912 2644 -2402 -2938 -2876 -2856 2810 -2902 -2876 -2500 -2262 -2724 -2710 -2950 -2410 -2530 -2708 2308 -2742 -2876 -2806 -2894 2416 -2474 -2830 2908 -2270 -2512 -2220 -2552 -2554 2234 -2830 -2946 -2762 -2294 -2720 -2496 -2764 -2808 -2730 -2876 -2600 2372 -2902 -2454 2704 -2494 -2692 -2824 -2874 -2940 -2390 -2770 -2672 -2594 -2982 -2742 -2574 -2234 -2300 -2680 -2944 -2698 -2390 -2704 -2888 -2554 2630 -2246 2220 2646 2404 -2980 -2746 -2772 -2582 -2600 -2650 -2584 -2598 -2512 -2722 -2816 -2836 -2956 -2368 -2262 -2278 -2862 -2732 -2776 -2288 -2980 -2280 -2944 -2722 -2872 -2838 -2942 -2590 -2354 2260 -2934 2622 -2726 -2860 -2880 -2250 -2888 -2294 -2770 -2768 -2478 -2962 -2994 -2938 -2870 -2408 -2986 -2582 -2354 -2796 -2906 -2292 -2364 -2746 2260 -2682 -2624 -2576 2546 -2292 2504 2260 -2916 -2438 2340 -2266 -2416 -2224 -2366 -2990 -2584 -2280 -2230 -2682 -2942 -2564 -2514 2540 -2952 -2756 -2820 -2946 -2408 -2384 -2442 -2820 -2720 2278 -2564 2950 -2860 -2294 -2902 -2242 2900 -2328 -2266 -2982 -2930 2698 -2680 -2820 -2682 -2882 -2288 2852 -2858 2256 -2262 -2538 -2222 2866 -2996 -2238 -2960 -2676 2990 2440 -2990 -2562 -2424 2950 -2652 -2552 -2264 -2384 -2446 -2292 2702 -2902 -2730 -2430 -2830 -2414 -2996 2894 -2324 -2902 -2472 2836 2814 -2956 -2770 -2720 -2370 -2446 2418 -2230 -2354 -2944 -2294 -2784 -2266 -2864 -2588 -2400 -2460 -2582 -2990 -2512 2400 -2640 -2564 -2860 -2996 -2298 -2996 -2864 -2694 -2610 -2260 -2938 -2266 2238 -2288 -2310 -2946 -2408 -2406 2524 2510 -2236 -2870 -2606 2490 -2988 2260 2532 -2500 2940 -2938 -2350 -2634 2434 2754 -2314 -2864 -2524 -2928 -2504 -2226 -2298 -2950 -2686 2732 -2706 -2220 -2916 -2876 -2256 -2286 -2718 -2242 -2510 -2882 -2812 -2776 2836 2438 -2374 2690 -2762 -2692 -2646 2622 2260 -2606 -2598 2652 -2298 -2564 -2642 -2818 -2996 -2646 -2682 -2264 -2940 -2424 -2356 -2930 -2676 2222 -2350 -2860 -2646 -2830 2974 -2924 -2626 -2918 -2322 2282 -2584 -2446 2696 -2764 -2658 -2938 -2424 -2550 -2642 2614 -2688 -2532 -2380 -2246 -2314 -2380 -2296 -2638 2424 2592 -2502 -2798 -2916 2452 -2794 -2982 -2916 -2830 -2382 -2716 -2954 -2900 -2996 -2338 -2948 -2746 2600 -2458 -2224 -2692 -2490 -2288 -2830 -2220 -2904 -2356 -2262 -2390 -2900 -2384 -2270 -2556 -2582 -2946 -2904 -2982 -2936 -2358 -2662 -2232 -2996 -2230 -2946 -2348 -2640 2420 -2338 2560 2848 -2942 -2244 -2942 -2514 2594 2796 -2722 -2848 -2938 -2296 -2762 -2944 2284 -2956 -2958 -2578 -2580 -2446 -2430 -2982 2906 -2950 -2220 -2996 2898 -2326 -2952 -2942 -2354 2938 -2756 -2278 2500 -2920 -2402 -2544 -2226 -2380 2642 -2716 -2860 -2620 -2920 -2512 2276 -2934 -2588 -2496 2264 -2902 -2576 -2300 -2944 -2552 2698 2576 2554 -2542 -2920 -2632 -2538 -2290 -2376 -2738 -2928 2708 -2822 -2240 -2682 -2956 2652 -2464 -2974 -2900 -2940 -2590 2222 2638 -2320 -2234 2516 -2232 -2468 -2480 -2420 -2254 -2772 -2646 2432 -2222 -2722 -2996 -2444 -2692 -2378 2708 -2552 -2264 -2500 2524 -2550 -2716 2960 -2958 -2802 -2522 -2506 -2550 -2752 -2954 -2622 -2224 -2840 2718 -2806 -2842 -2476 2390 -2672 -2816 -2692 -2974 2526 -2642 -2980 -2690 -2732 -2820 -2940 2360 -2910 -2910 -2904 -2692 -2978 2810 2284 2464 -2716 -2296 2590 -2980 -2240 -2570 -2618 -2328 -2974 -2220 -2902 -2240 2222 2236 -2446 2696 -2760 -2716 -2486 -2904 -2728 -2904 -2766 -2392 -2768 2868 -2982 -2920 -2322 -2512 -2480 -2288 -2324 -2350 2856 -2952 -2246 -2904 -2758 -2438 -2934 -2860 -2260 -2550 -2632 2290 -2988 -2436 -2264 -2346 -2342 -2682 -2646 -2956 -2904 -2286 -2378 -2918 2444 -2890 -2710 -2624 -2220 -2944 -2224 -2816 -2642 -2980 -2346 -2682 -2224 -2508 -2862 -2524 2574 -2658 -2642 -2990 -2866 -2570 2354 -2454 2220 2674 -2350 -2850 -2780 -2682 -2992 -2650 -2508 -2708 -2766 -2532 -2292 -2262 -2860 -2264 -2294 -2778 2382 -2946 -2980 -2702 -2324 -2968 -2472 -2392 -2448 -2452 -2758 2288 -2498 -2932 -2718 -2522 -2786 -2940 -2938 -2844 -2608 -2662 -2440 -2768 -2606 -2536 -2922 2750 -2700 -2720 -2916 2752 -2942 -2450 -2592 -2760 -2274 2380 -2224 -2590 -2966 -2902 -2822 -2752 2280 -2810 2558 -2590 -2420 -2448 2874 -2950 2652 -2628 2308 -2380 -2850 -2898 -2440 -2382 -2406 2934 -2746 -2404 -2722 2470 -2692 -2504 -2950 -2678 -2710 2840 -2616 -2744 -2940 -2730 -2676 -2330 -2976 -2784 2388 -2336 -2870 -2272 -2532 -2834 -2880 -2350 -2584 -2958 -2640 -2776 -2686 -2570 2616 -2538 2402 -2422 -2368 -2280 -2422 -2858 -2770 2240 -2724 -2936 -2564 2442 2508 -2672 -2830 -2724 -2922 -2676 -2366 -2348 -2790 -2722 -2380 -2582 2762 -2694 -2484 -2684 -2260 -2688 -2684 -2904 -2804 -2918 -2446 -2242 -2950 -2504 -2356 2442 -2632 2748 -2732 -2636 -2808 2222 -2404 -2844 2574 -2710 -2514 -2942 2364 -2260 -2876 -2298 -2570 -2580 -2980 -2408 -2650 2252 -2554 -2226 -2638 -2980 -2256 -2412 -2914 2928 -2876 -2562 2234 -2368 -2424 2436 2220 -2648 -2648 2416 -2260 -2956 -2498 -2990 -2948 -2950 -2642 -2860 -2800 -2830 2816 -2904 -2830 -2980 -2914 2896 -2466 -2412 -2296 -2602 -2284 2594 -2648 -2716 -2886 -2996 -2446 -2672 -2988 -2294 -2270 -2326 -2294 -2226 -2278 -2856 -2730 -2264 -2914 -2864 -2826 -2950 -2272 -2920 -2938 -2664 -2310 -2968 -2646 -2490 -2646 -2732 -2858 -2940 2644 -2942 -2266 -2576 -2728 2344 -2934 -2894 -2560 -2990 2982 2284 -2576 -2470 -2900 -2554 -2610 -2316 2608 -2522 -2712 -2702 -2578 2806 -2788 -2580 -2334 2964 -2406 2316 -2450 -2244 -2262 -2996 2642 -2452 -2302 -2510 -2292 -2610 -2850 -2676 -2932 -2246 -2396 -2820 -2682 2374 -2502 -2220 -2242 -2860 -2686 2450 -2354 -2390 -2480 -2420 -2990 -2676 -2904 -2584 -2920 -2698 -2460 -2762 -2408 -2274 -2498 -2902 -2222 -2290 2612 -2780 -2956 -2572 -2850 -2904 -2648 -2444 -2920 -2722 -2366 -2794 -2332 2390 -2908 -2290 -2972 -2678 -2896 2492 -2224 -2334 -2590 -2840 2668 -2454 -2902 -2336 -2820 -2862 -2986 -2228 -2552 -2820 -2944 -2554 -2636 -2798 2402 -2682 2266 2278 2448 -2732 -2934 -2582 2238 -2928 2254 -2876 2268 -2492 -2552 -2774 2314 2792 -2324 -2652 -2602 -2982 -2448 -2378 -2970 -2250 -2980 -2956 -2222 -2848 -2692 -2944 -2514 -2624 -2346 -2840 -2408 -2644 -2904 -2942 2440 -2956 -2334 2506 2220 -2788 -2624 -2584 -2304 2572 2494 -2292 -2488 -2616 -2280 -2974 2912 -2996 -2952 -2330 -2408 -2950 -2920 -2932 -2612 -2254 -2478 -2584 -2590 -2646 2514 -2898 -2906 -2792 -2950 -2906 -2948 -2766 -2366 -2776 -2548 -2820 -2900 2378 -2824 -2728 -2426 -2294 -2752 -2454 -2940 -2874 2860 -2712 2464 -2606 -2938 2826 -2944 -2748 -2756 -2844 2678 -2220 -2638 -2824 -2870 2808 -2446 -2480 -2988 -2880 -2248 -2820 -2990 -2260 -2680 -2234 -2926 -2480 -2322 -2664 2344 -2594 -2810 2952 -2670 -2324 -2770 -2260 -2936 2292 -2722 -2800 -2368 2578 -2764 2452 -2404 -2270 -2690 -2502 -2516 -2306 -2608 -2292 -2920 -2946 -2236 -2940 -2278 -2982 -2238 -2462 2862 -2902 -2252 2814 -2886 -2302 -2692 -2576 2260 -2952 -2384 -2690 -2224 -2586 -2400 2682 -2810 -2942 -2684 2906 -2618 -2774 -2820 -2244 -2620 -2806 -2916 -2420 -2360 -2454 -2432 -2990 2326 -2634 -2736 -2830 -2578 -2776 2776 -2654 -2368 2284 -2368 -2486 -2718 -2234 -2252 -2258 -2486 2220 -2820 -2932 -2942 -2280 -2868 -2568 -2444 -2722 -2996 -2804 -2968 -2220 -2222 -2366 -2944 -2472 2874 2470 2954 -2950 -2440 2942 -2946 -2676 -2282 -2228 -2542 2864 -2550 2948 -2472 -2486 -2270 -2476 -2622 -2558 -2384 -2862 -2314 2440 -2976 -2466 -2386 -2224 -2520 -2314 -2274 -2480 -2438 -2950 -2340 -2844 -2876 -2264 -2642 -2706 -2692 -2900 -2718 -2690 -2904 -2978 -2956 -2842 -2592 -2996 2982 -2990 2494 -2990 -2772 -2482 -2250 2900 -2298 -2862 2552 2440 -2978 -2240 -2590 -2534 -2996 -2722 2458 -2382 -2986 -2944 -2738 -2940 -2510 -2744 2242 -2296 -2940 -2900 -2848 -2356 -2450 -2944 -2562 2966 -2990 -2514 2220 -2924 -2908 2308 -2940 -2862 -2548 -2692 -2534 -2530 -2860 -2748 -2808 -2904 -2900 -2396 2384 -2982 2734 -2606 -2492 -2666 -2888 -2944 -2826 -2980 -2760 -2900 -2638 -2818 -2638 -2406 -2370 2322 -2260 -2364 -2292 2788 -2732 -2466 -2290 -2300 2662 -2330 -2556 -2264 2466 -2924 -2270 -2346 -2780 -2996 -2606 -2846 2402 -2368 -2492 -2514 -2900 2234 -2276 -2944 -2516 -2982 -2606 -2880 -2314 -2790 -2850 2288 -2260 -2528 -2740 2952 -2252 -2820 -2830 -2860 -2904 -2250 -2276 -2276 -2280 -2860 -2250 -2336 -2956 -2534 -2436 -2942 2924 -2872 -2908 -2354 2652 -2804 -2780 -2900 -2272 -2488 -2536 -2940 -2720 -2220 -2736 -2684 -2606 -2662 -2958 -2274 -2850 -2494 -2954 -2278 -2624 -2350 -2650 -2860 -2498 -2600 2444 -2968 -2912 -2750 -2990 -2918 -2490 -2296 -2692 -2364 -2960 2680 -2464 -2798 -2682 -2522 -2308 -2554 -2738 -2316 -2230 -2240 -2480 -2740 -2420 -2990 -2354 -2668 -2982 -2860 -2942 -2446 -2792 -2650 -2438 -2444 -2942 -2830 -2332 -2656 -2422 -2692 2912 2828 -2408 -2504 2234 -2864 2704 -2264 -2464 2662 -2980 -2960 -2642 -2568 -2706 -2848 -2478 -2970 -2592 -2332 -2224 -2806 -2778 -2704 -2434 -2310 -2496 -2918 2978 -2732 -2816 2220 -2912 -2974 -2606 -2956 -2938 -2562 -2490 -2506 -2668 -2286 -2428 -2956 -2482 -2754 -2922 2242 2400 -2280 -2968 2926 -2338 -2556 -2624 -2808 -2650 -2720 -2750 -2938 -2560 -2774 -2956 -2940 -2704 -2934 -2820 -2942 -2722 2232 2734 -2982 -2860 -2400 -2862 -2722 -2346 -2316 -2634 -2468 -2256 -2220 -2300 -2300 -2506 -2860 -2334 -2524 -2596 -2552 2506 -2682 -2980 -2506 -2590 -2858 -2248 -2554 2316 -2616 -2718 -2594 -2552 -2904 -2298 -2634 -2610 -2580 -2992 -2550 -2296 -2648 -2928 2676 -2250 2268 -2668 -2222 -2366 -2744 -2786 -2604 -2474 -2800 -2584 -2638 -2922 -2938 -2456 -2474 -2916 -2548 -2270 -2964 -2584 -2942 2480 -2774 2698 -2602 -2646 2450 2288 2932 -2956 -2314 -2934 -2394 2880 -2808 -2442 -2712 -2346 -2562 -2604 -2956 -2750 -2250 -2394 -2850 -2790 -2282 -2536 2826 2314 2220 -2284 -2744 -2424 -2406 -2722 -2878 -2996 -2722 -2448 -2928 -2688 -2366 -2910 2820 -2422 -2582 -2996 -2224 -2680 -2682 2782 2462 -2274 -2532 -2316 -2904 -2396 2956 -2956 -2326 -2684 -2996 -2440 -2422 -2644 -2288 -2676 -2262 2946 -2732 -2288 -2950 -2324 -2860 -2810 -2702 -2862 2268 -2848 -2508 -2920 -2398 -2916 -2944 -2648 2708 -2768 -2260 -2876 -2510 -2916 -2688 -2250 2734 -2292 -2500 -2292 -2244 -2260 2426 -2790 -2720 -2920 -2292 -2690 -2438 -2442 -2314 -2958 2390 -2290 -2506 -2514 -2538 -2252 2730 -2902 -2272 -2904 -2516 -2658 -2492 2554 -2980 -2316 -2408 2724 -2582 -2710 -2686 -2820 -2760 -2790 -2940 -2554 -2650 -2536 -2942 -2830 -2640 -2448 -2252 -2420 2662 2556 -2912 -2690 -2636 -2414 -2286 -2960 -2858 -2262 -2904 -2320 -2850 -2732 -2634 -2366 2354 -2934 -2940 -2682 -2782 -2440 -2530 2402 -2700 -2292 -2492 -2258 -2606 -2932 -2916 -2222 -2692 -2660 -2330 -2942 -2760 -2484 -2980 2956 -2956 -2982 2564 -2236 2918 -2286 -2550 -2630 -2748 -2332 2236 2380 -2692 2706 -2698 -2460 -2670 2612 -2944 -2522 2260 2248 -2220 -2608 -2946 -2650 -2532 -2746 -2942 -2776 -2974 -2956 -2220 2984 -2818 -2490 -2736 -2720 -2706 -2798 2422 -2456 -2898 -2738 -2854 -2296 
1091.65/1102.48	d ASSIGNMENTS 3000
1091.65/1102.48	d CHECKS 104798851

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-1086646-1215240422/watcher-1086646-1215240422 -o /tmp/evaluation-result-1086646-1215240422/solver-1086646-1215240422 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1086646-1215240422.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: 2.00 2.00 2.00 4/80 23782
/proc/meminfo: memFree=1344904/2055920 swapFree=4180436/4192956
[pid=23782] ppid=23780 vsize=5260 CPUtime=0
/proc/23782/stat : 23782 (hydra) R 23780 23782 22645 0 -1 4194304 69 0 0 0 0 0 0 0 20 0 1 0 1553714064 5386240 52 996147200 4194304 4889804 548682068816 18446744073709551615 269754573680 0 0 4096 0 0 0 0 17 1 0 0
/proc/23782/statm: 1315 52 38 169 0 14 0

[startup+0.067722 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 23782
/proc/meminfo: memFree=1344904/2055920 swapFree=4180436/4192956
[pid=23782] ppid=23780 vsize=5360 CPUtime=0
/proc/23782/stat : 23782 (hydra) S 23780 23782 22645 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 1553714064 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23782/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.101725 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 23782
/proc/meminfo: memFree=1344904/2055920 swapFree=4180436/4192956
[pid=23782] ppid=23780 vsize=5360 CPUtime=0
/proc/23782/stat : 23782 (hydra) S 23780 23782 22645 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 1553714064 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23782/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.301752 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 23782
/proc/meminfo: memFree=1344904/2055920 swapFree=4180436/4192956
[pid=23782] ppid=23780 vsize=5360 CPUtime=0
/proc/23782/stat : 23782 (hydra) S 23780 23782 22645 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 1553714064 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23782/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.701805 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 23782
/proc/meminfo: memFree=1344904/2055920 swapFree=4180436/4192956
[pid=23782] ppid=23780 vsize=5360 CPUtime=0
/proc/23782/stat : 23782 (hydra) S 23780 23782 22645 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 1553714064 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23782/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+1.50191 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 23786
/proc/meminfo: memFree=1328696/2055920 swapFree=4180436/4192956
[pid=23782] ppid=23780 vsize=5360 CPUtime=0
/proc/23782/stat : 23782 (hydra) S 23780 23782 22645 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 1553714064 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23782/statm: 1340 236 195 169 0 51 0
[pid=23786] ppid=23782 vsize=25692 CPUtime=1.4
/proc/23786/stat : 23786 (xsolve) R 23782 23782 22645 0 -1 4194304 5863 0 3 0 136 4 0 0 25 0 1 0 1553714067 26308608 5629 996147200 134512640 135239763 4294956176 18446744073709551615 134621988 0 0 4096 0 0 0 0 17 1 0 0
/proc/23786/statm: 6423 5629 379 177 0 5326 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 31052

[startup+3.10112 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 23786
/proc/meminfo: memFree=1314744/2055920 swapFree=4180436/4192956
[pid=23782] ppid=23780 vsize=5360 CPUtime=0
/proc/23782/stat : 23782 (hydra) S 23780 23782 22645 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 1553714064 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23782/statm: 1340 236 195 169 0 51 0
[pid=23786] ppid=23782 vsize=45344 CPUtime=2.99
/proc/23786/stat : 23786 (xsolve) R 23782 23782 22645 0 -1 4194304 11013 0 3 0 291 8 0 0 25 0 1 0 1553714067 46432256 10488 996147200 134512640 135239763 4294956176 18446744073709551615 134617926 0 0 4096 0 0 0 0 17 1 0 0
/proc/23786/statm: 11336 10488 379 177 0 10239 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 50704

[startup+6.30254 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 23786
/proc/meminfo: memFree=1238712/2055920 swapFree=4180436/4192956
[pid=23782] ppid=23780 vsize=5360 CPUtime=0
/proc/23782/stat : 23782 (hydra) S 23780 23782 22645 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 1553714064 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23782/statm: 1340 236 195 169 0 51 0
[pid=23786] ppid=23782 vsize=152392 CPUtime=6.15
/proc/23786/stat : 23786 (xsolve) R 23782 23782 22645 0 -1 4194304 27082 0 5 0 600 15 0 0 25 0 1 0 1553714067 156049408 26526 996147200 134512640 135239763 4294956176 18446744073709551615 135095088 0 0 4096 0 0 0 0 17 1 0 0
/proc/23786/statm: 38098 26526 416 177 0 37001 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 157752

[startup+12.7014 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 23786
/proc/meminfo: memFree=1238712/2055920 swapFree=4180436/4192956
[pid=23782] ppid=23780 vsize=5360 CPUtime=0
/proc/23782/stat : 23782 (hydra) S 23780 23782 22645 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 1553714064 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23782/statm: 1340 236 195 169 0 51 0
[pid=23786] ppid=23782 vsize=152392 CPUtime=12.49
/proc/23786/stat : 23786 (xsolve) R 23782 23782 22645 0 -1 4194304 27082 0 5 0 1234 15 0 0 25 0 1 0 1553714067 156049408 26526 996147200 134512640 135239763 4294956176 18446744073709551615 134535744 0 0 4096 0 0 0 0 17 1 0 0
/proc/23786/statm: 38098 26526 416 177 0 37001 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 157752

[startup+25.5011 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 23786
/proc/meminfo: memFree=1238840/2055920 swapFree=4180436/4192956
[pid=23782] ppid=23780 vsize=5360 CPUtime=0
/proc/23782/stat : 23782 (hydra) S 23780 23782 22645 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 1553714064 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23782/statm: 1340 236 195 169 0 51 0
[pid=23786] ppid=23782 vsize=152392 CPUtime=25.18
/proc/23786/stat : 23786 (xsolve) R 23782 23782 22645 0 -1 4194304 27082 0 5 0 2503 15 0 0 25 0 1 0 1553714067 156049408 26526 996147200 134512640 135239763 4294956176 18446744073709551615 134535328 0 0 4096 0 0 0 0 17 1 0 0
/proc/23786/statm: 38098 26526 416 177 0 37001 0
Current children cumulated CPU time (s) 25.18
Current children cumulated vsize (KiB) 157752

[startup+51.1015 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 23786
/proc/meminfo: memFree=1238840/2055920 swapFree=4180436/4192956
[pid=23782] ppid=23780 vsize=5360 CPUtime=0
/proc/23782/stat : 23782 (hydra) S 23780 23782 22645 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 1553714064 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23782/statm: 1340 236 195 169 0 51 0
[pid=23786] ppid=23782 vsize=152392 CPUtime=50.55
/proc/23786/stat : 23786 (xsolve) R 23782 23782 22645 0 -1 4194304 27082 0 5 0 5040 15 0 0 25 0 1 0 1553714067 156049408 26526 996147200 134512640 135239763 4294956176 18446744073709551615 134535736 0 0 4096 0 0 0 0 17 1 0 0
/proc/23786/statm: 38098 26526 416 177 0 37001 0
Current children cumulated CPU time (s) 50.55
Current children cumulated vsize (KiB) 157752

[startup+102.305 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 23786
/proc/meminfo: memFree=1238840/2055920 swapFree=4180436/4192956
[pid=23782] ppid=23780 vsize=5360 CPUtime=0
/proc/23782/stat : 23782 (hydra) S 23780 23782 22645 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 1553714064 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23782/statm: 1340 236 195 169 0 51 0
[pid=23786] ppid=23782 vsize=152392 CPUtime=101.31
/proc/23786/stat : 23786 (xsolve) R 23782 23782 22645 0 -1 4194304 27082 0 5 0 10116 15 0 0 25 0 1 0 1553714067 156049408 26526 996147200 134512640 135239763 4294956176 18446744073709551615 134535371 0 0 4096 0 0 0 0 17 1 0 0
/proc/23786/statm: 38098 26526 416 177 0 37001 0
Current children cumulated CPU time (s) 101.31
Current children cumulated vsize (KiB) 157752

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 23786
/proc/meminfo: memFree=1238776/2055920 swapFree=4180436/4192956
[pid=23782] ppid=23780 vsize=5360 CPUtime=0
/proc/23782/stat : 23782 (hydra) S 23780 23782 22645 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 1553714064 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23782/statm: 1340 236 195 169 0 51 0
[pid=23786] ppid=23782 vsize=152392 CPUtime=160.8
/proc/23786/stat : 23786 (xsolve) R 23782 23782 22645 0 -1 4194304 27082 0 5 0 16065 15 0 0 25 0 1 0 1553714067 156049408 26526 996147200 134512640 135239763 4294956176 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 1 0 0
/proc/23786/statm: 38098 26526 416 177 0 37001 0
Current children cumulated CPU time (s) 160.8
Current children cumulated vsize (KiB) 157752

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 23786
/proc/meminfo: memFree=1238776/2055920 swapFree=4180436/4192956
[pid=23782] ppid=23780 vsize=5360 CPUtime=0
/proc/23782/stat : 23782 (hydra) S 23780 23782 22645 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 1553714064 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23782/statm: 1340 236 195 169 0 51 0
[pid=23786] ppid=23782 vsize=152392 CPUtime=220.28
/proc/23786/stat : 23786 (xsolve) R 23782 23782 22645 0 -1 4194304 27082 0 5 0 22013 15 0 0 25 0 1 0 1553714067 156049408 26526 996147200 134512640 135239763 4294956176 18446744073709551615 134535329 0 0 4096 0 0 0 0 17 1 0 0
/proc/23786/statm: 38098 26526 416 177 0 37001 0
Current children cumulated CPU time (s) 220.28
Current children cumulated vsize (KiB) 157752

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 23786
/proc/meminfo: memFree=1238648/2055920 swapFree=4180436/4192956
[pid=23782] ppid=23780 vsize=5360 CPUtime=0
/proc/23782/stat : 23782 (hydra) S 23780 23782 22645 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 1553714064 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23782/statm: 1340 236 195 169 0 51 0
[pid=23786] ppid=23782 vsize=152392 CPUtime=279.77
/proc/23786/stat : 23786 (xsolve) R 23782 23782 22645 0 -1 4194304 27082 0 5 0 27962 15 0 0 25 0 1 0 1553714067 156049408 26526 996147200 134512640 135239763 4294956176 18446744073709551615 134541326 0 0 4096 0 0 0 0 17 1 0 0
/proc/23786/statm: 38098 26526 416 177 0 37001 0
Current children cumulated CPU time (s) 279.77
Current children cumulated vsize (KiB) 157752

[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 23786
/proc/meminfo: memFree=1238528/2055920 swapFree=4180436/4192956
[pid=23782] ppid=23780 vsize=5360 CPUtime=0
/proc/23782/stat : 23782 (hydra) S 23780 23782 22645 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 1553714064 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23782/statm: 1340 236 195 169 0 51 0
[pid=23786] ppid=23782 vsize=152392 CPUtime=339.26
/proc/23786/stat : 23786 (xsolve) R 23782 23782 22645 0 -1 4194304 27082 0 5 0 33911 15 0 0 25 0 1 0 1553714067 156049408 26526 996147200 134512640 135239763 4294956176 18446744073709551615 134540200 0 0 4096 0 0 0 0 17 1 0 0
/proc/23786/statm: 38098 26526 416 177 0 37001 0
Current children cumulated CPU time (s) 339.26
Current children cumulated vsize (KiB) 157752

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 23786
/proc/meminfo: memFree=1238528/2055920 swapFree=4180436/4192956
[pid=23782] ppid=23780 vsize=5360 CPUtime=0
/proc/23782/stat : 23782 (hydra) S 23780 23782 22645 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 1553714064 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23782/statm: 1340 236 195 169 0 51 0
[pid=23786] ppid=23782 vsize=152392 CPUtime=398.76
/proc/23786/stat : 23786 (xsolve) R 23782 23782 22645 0 -1 4194304 27083 0 5 0 39861 15 0 0 25 0 1 0 1553714067 156049408 26527 996147200 134512640 135239763 4294956176 18446744073709551615 134532176 0 0 4096 0 0 0 0 17 1 0 0
/proc/23786/statm: 38098 26527 417 177 0 37001 0
Current children cumulated CPU time (s) 398.76
Current children cumulated vsize (KiB) 157752


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

/proc/23807/task/23812/stat : 23812 (java) S 23806 23782 22645 0 -1 64 19 0 0 0 0 0 0 0 16 0 9 0 1553815328 671449088 103758 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23807/tid=23813] ppid=23806 vsize=655712 CPUtime=0
/proc/23807/task/23813/stat : 23813 (java) S 23806 23782 22645 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1553815330 671449088 103758 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23807/tid=23814] ppid=23806 vsize=655712 CPUtime=0.44
/proc/23807/task/23814/stat : 23814 (java) S 23806 23782 22645 0 -1 64 768 0 0 0 43 1 0 0 15 0 9 0 1553815330 671449088 103758 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23807/tid=23815] ppid=23806 vsize=655712 CPUtime=0
/proc/23807/task/23815/stat : 23815 (java) S 23806 23782 22645 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1553815330 671449088 103758 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23807/tid=23816] ppid=23806 vsize=655712 CPUtime=0
/proc/23807/task/23816/stat : 23816 (java) S 23806 23782 22645 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1553815330 671449088 103758 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23808] ppid=23806 vsize=7044 CPUtime=0
/proc/23808/stat : 23808 (translate) S 23806 23782 22645 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1553815325 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 269757415506 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/23808/statm: 1761 213 182 1 0 41 0
[pid=23796/tid=23797] ppid=23782 vsize=197420 CPUtime=4.72
/proc/23796/task/23797/stat : 23797 (java) S 23782 23782 22645 0 -1 64 3891 0 4 0 465 7 0 0 24 0 10 0 1553814697 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=23796/tid=23798] ppid=23782 vsize=197420 CPUtime=1.09
/proc/23796/task/23798/stat : 23798 (java) S 23782 23782 22645 0 -1 64 8572 0 0 0 99 10 0 0 16 0 10 0 1553814698 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23796/tid=23799] ppid=23782 vsize=197420 CPUtime=0
/proc/23796/task/23799/stat : 23799 (java) S 23782 23782 22645 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1553814698 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23796/tid=23800] ppid=23782 vsize=197420 CPUtime=0
/proc/23796/task/23800/stat : 23800 (java) S 23782 23782 22645 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1553814698 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23796/tid=23801] ppid=23782 vsize=197420 CPUtime=0
/proc/23796/task/23801/stat : 23801 (java) S 23782 23782 22645 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 1553814700 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23796/tid=23802] ppid=23782 vsize=197420 CPUtime=0.23
/proc/23796/task/23802/stat : 23802 (java) S 23782 23782 22645 0 -1 64 666 0 0 0 22 1 0 0 16 0 10 0 1553814700 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23796/tid=23803] ppid=23782 vsize=197420 CPUtime=0
/proc/23796/task/23803/stat : 23803 (java) S 23782 23782 22645 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1553814700 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23796/tid=23804] ppid=23782 vsize=197420 CPUtime=0
/proc/23796/task/23804/stat : 23804 (java) S 23782 23782 22645 0 -1 64 27 0 0 0 0 0 0 0 15 0 10 0 1553814700 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23796/tid=23805] ppid=23782 vsize=197420 CPUtime=0
/proc/23796/task/23805/stat : 23805 (java) S 23782 23782 22645 0 -1 64 71 0 0 0 0 0 0 0 24 0 10 0 1553815323 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1089.99
Current children cumulated vsize (KiB) 870892

[startup+1101.5 s]
/proc/loadavg: 2.50 2.18 2.06 3/102 23816
/proc/meminfo: memFree=904216/2055920 swapFree=4180436/4192956
[pid=23782] ppid=23780 vsize=5360 CPUtime=997.59
/proc/23782/stat : 23782 (hydra) S 23780 23782 22645 0 -1 4194304 375 27686 0 10 0 0 99741 18 18 0 1 0 1553714064 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23782/statm: 1340 238 196 169 0 51 0
[pid=23796] ppid=23782 vsize=197420 CPUtime=6.08
/proc/23796/stat : 23796 (java) S 23782 23782 22645 0 -1 0 13951 0 4 0 588 20 0 0 19 0 10 0 1553814696 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23796/statm: 49355 9473 2544 9 0 43937 0
[pid=23806] ppid=23796 vsize=5356 CPUtime=0
/proc/23806/stat : 23806 (abscon) S 23796 23782 22645 0 -1 4194304 302 0 1 0 0 0 0 0 25 0 1 0 1553815323 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 269757244228 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/23806/statm: 1339 235 194 169 0 50 0
[pid=23807] ppid=23806 vsize=655712 CPUtime=87.1
/proc/23807/stat : 23807 (java) S 23806 23782 22645 0 -1 0 104660 0 9 0 8665 45 0 0 18 0 9 0 1553815325 671449088 103764 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23807/statm: 163928 103764 2617 9 0 158456 0
[pid=23807/tid=23809] ppid=23806 vsize=655712 CPUtime=84.16
/proc/23807/task/23809/stat : 23809 (java) R 23806 23782 22645 0 -1 64 12565 0 9 0 8407 9 0 0 25 0 9 0 1553815326 671449088 103764 996147200 134512640 134550740 4294955808 18446744073709551615 4127465026 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23807/tid=23810] ppid=23806 vsize=655712 CPUtime=2.48
/proc/23807/task/23810/stat : 23810 (java) S 23806 23782 22645 0 -1 64 90762 0 0 0 214 34 0 0 17 0 9 0 1553815328 671449088 103764 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23807/tid=23811] ppid=23806 vsize=655712 CPUtime=0
/proc/23807/task/23811/stat : 23811 (java) S 23806 23782 22645 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1553815328 671449088 103764 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23807/tid=23812] ppid=23806 vsize=655712 CPUtime=0
/proc/23807/task/23812/stat : 23812 (java) S 23806 23782 22645 0 -1 64 19 0 0 0 0 0 0 0 16 0 9 0 1553815328 671449088 103764 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23807/tid=23813] ppid=23806 vsize=655712 CPUtime=0
/proc/23807/task/23813/stat : 23813 (java) S 23806 23782 22645 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1553815330 671449088 103764 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23807/tid=23814] ppid=23806 vsize=655712 CPUtime=0.45
/proc/23807/task/23814/stat : 23814 (java) S 23806 23782 22645 0 -1 64 775 0 0 0 44 1 0 0 16 0 9 0 1553815330 671449088 103764 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23807/tid=23815] ppid=23806 vsize=655712 CPUtime=0
/proc/23807/task/23815/stat : 23815 (java) S 23806 23782 22645 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1553815330 671449088 103764 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23807/tid=23816] ppid=23806 vsize=655712 CPUtime=0
/proc/23807/task/23816/stat : 23816 (java) S 23806 23782 22645 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1553815330 671449088 103764 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23808] ppid=23806 vsize=7044 CPUtime=0
/proc/23808/stat : 23808 (translate) S 23806 23782 22645 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1553815325 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 269757415506 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/23808/statm: 1761 213 182 1 0 41 0
[pid=23796/tid=23797] ppid=23782 vsize=197420 CPUtime=4.72
/proc/23796/task/23797/stat : 23797 (java) S 23782 23782 22645 0 -1 64 3891 0 4 0 465 7 0 0 24 0 10 0 1553814697 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=23796/tid=23798] ppid=23782 vsize=197420 CPUtime=1.09
/proc/23796/task/23798/stat : 23798 (java) S 23782 23782 22645 0 -1 64 8572 0 0 0 99 10 0 0 16 0 10 0 1553814698 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23796/tid=23799] ppid=23782 vsize=197420 CPUtime=0
/proc/23796/task/23799/stat : 23799 (java) S 23782 23782 22645 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1553814698 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23796/tid=23800] ppid=23782 vsize=197420 CPUtime=0
/proc/23796/task/23800/stat : 23800 (java) S 23782 23782 22645 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1553814698 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23796/tid=23801] ppid=23782 vsize=197420 CPUtime=0
/proc/23796/task/23801/stat : 23801 (java) S 23782 23782 22645 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 1553814700 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23796/tid=23802] ppid=23782 vsize=197420 CPUtime=0.23
/proc/23796/task/23802/stat : 23802 (java) S 23782 23782 22645 0 -1 64 666 0 0 0 22 1 0 0 16 0 10 0 1553814700 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23796/tid=23803] ppid=23782 vsize=197420 CPUtime=0
/proc/23796/task/23803/stat : 23803 (java) S 23782 23782 22645 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1553814700 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23796/tid=23804] ppid=23782 vsize=197420 CPUtime=0
/proc/23796/task/23804/stat : 23804 (java) S 23782 23782 22645 0 -1 64 27 0 0 0 0 0 0 0 15 0 10 0 1553814700 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23796/tid=23805] ppid=23782 vsize=197420 CPUtime=0
/proc/23796/task/23805/stat : 23805 (java) S 23782 23782 22645 0 -1 64 71 0 0 0 0 0 0 0 24 0 10 0 1553815323 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1090.77
Current children cumulated vsize (KiB) 870892

[startup+1102.3 s]
/proc/loadavg: 2.50 2.18 2.06 3/102 23816
/proc/meminfo: memFree=904152/2055920 swapFree=4180436/4192956
[pid=23782] ppid=23780 vsize=5360 CPUtime=997.59
/proc/23782/stat : 23782 (hydra) S 23780 23782 22645 0 -1 4194304 375 27686 0 10 0 0 99741 18 18 0 1 0 1553714064 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23782/statm: 1340 238 196 169 0 51 0
[pid=23796] ppid=23782 vsize=197420 CPUtime=6.08
/proc/23796/stat : 23796 (java) S 23782 23782 22645 0 -1 0 13951 0 4 0 588 20 0 0 19 0 10 0 1553814696 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23796/statm: 49355 9473 2544 9 0 43937 0
[pid=23806] ppid=23796 vsize=5356 CPUtime=0
/proc/23806/stat : 23806 (abscon) S 23796 23782 22645 0 -1 4194304 302 0 1 0 0 0 0 0 25 0 1 0 1553815323 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 269757244228 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/23806/statm: 1339 235 194 169 0 50 0
[pid=23807] ppid=23806 vsize=655712 CPUtime=87.88
/proc/23807/stat : 23807 (java) S 23806 23782 22645 0 -1 0 104671 0 9 0 8743 45 0 0 18 0 9 0 1553815325 671449088 103774 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23807/statm: 163928 103774 2617 9 0 158456 0
[pid=23807/tid=23809] ppid=23806 vsize=655712 CPUtime=84.92
/proc/23807/task/23809/stat : 23809 (java) R 23806 23782 22645 0 -1 64 12568 0 9 0 8483 9 0 0 25 0 9 0 1553815326 671449088 103774 996147200 134512640 134550740 4294955808 18446744073709551615 4127168161 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23807/tid=23810] ppid=23806 vsize=655712 CPUtime=2.48
/proc/23807/task/23810/stat : 23810 (java) S 23806 23782 22645 0 -1 64 90762 0 0 0 214 34 0 0 16 0 9 0 1553815328 671449088 103774 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23807/tid=23811] ppid=23806 vsize=655712 CPUtime=0
/proc/23807/task/23811/stat : 23811 (java) S 23806 23782 22645 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1553815328 671449088 103774 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23807/tid=23812] ppid=23806 vsize=655712 CPUtime=0
/proc/23807/task/23812/stat : 23812 (java) S 23806 23782 22645 0 -1 64 19 0 0 0 0 0 0 0 16 0 9 0 1553815328 671449088 103774 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23807/tid=23813] ppid=23806 vsize=655712 CPUtime=0
/proc/23807/task/23813/stat : 23813 (java) S 23806 23782 22645 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1553815330 671449088 103774 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23807/tid=23814] ppid=23806 vsize=655712 CPUtime=0.46
/proc/23807/task/23814/stat : 23814 (java) S 23806 23782 22645 0 -1 64 783 0 0 0 45 1 0 0 15 0 9 0 1553815330 671449088 103774 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23807/tid=23815] ppid=23806 vsize=655712 CPUtime=0
/proc/23807/task/23815/stat : 23815 (java) S 23806 23782 22645 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1553815330 671449088 103774 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23807/tid=23816] ppid=23806 vsize=655712 CPUtime=0
/proc/23807/task/23816/stat : 23816 (java) S 23806 23782 22645 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1553815330 671449088 103774 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23808] ppid=23806 vsize=7044 CPUtime=0
/proc/23808/stat : 23808 (translate) S 23806 23782 22645 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1553815325 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 269757415506 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/23808/statm: 1761 213 182 1 0 41 0
[pid=23796/tid=23797] ppid=23782 vsize=197420 CPUtime=4.72
/proc/23796/task/23797/stat : 23797 (java) S 23782 23782 22645 0 -1 64 3891 0 4 0 465 7 0 0 24 0 10 0 1553814697 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=23796/tid=23798] ppid=23782 vsize=197420 CPUtime=1.09
/proc/23796/task/23798/stat : 23798 (java) S 23782 23782 22645 0 -1 64 8572 0 0 0 99 10 0 0 16 0 10 0 1553814698 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23796/tid=23799] ppid=23782 vsize=197420 CPUtime=0
/proc/23796/task/23799/stat : 23799 (java) S 23782 23782 22645 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1553814698 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23796/tid=23800] ppid=23782 vsize=197420 CPUtime=0
/proc/23796/task/23800/stat : 23800 (java) S 23782 23782 22645 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1553814698 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23796/tid=23801] ppid=23782 vsize=197420 CPUtime=0
/proc/23796/task/23801/stat : 23801 (java) S 23782 23782 22645 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 1553814700 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23796/tid=23802] ppid=23782 vsize=197420 CPUtime=0.23
/proc/23796/task/23802/stat : 23802 (java) S 23782 23782 22645 0 -1 64 666 0 0 0 22 1 0 0 16 0 10 0 1553814700 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23796/tid=23803] ppid=23782 vsize=197420 CPUtime=0
/proc/23796/task/23803/stat : 23803 (java) S 23782 23782 22645 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1553814700 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23796/tid=23804] ppid=23782 vsize=197420 CPUtime=0
/proc/23796/task/23804/stat : 23804 (java) S 23782 23782 22645 0 -1 64 27 0 0 0 0 0 0 0 15 0 10 0 1553814700 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23796/tid=23805] ppid=23782 vsize=197420 CPUtime=0
/proc/23796/task/23805/stat : 23805 (java) S 23782 23782 22645 0 -1 64 71 0 0 0 0 0 0 0 24 0 10 0 1553815323 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1091.55
Current children cumulated vsize (KiB) 870892

[startup+1102.5 s]
/proc/loadavg: 2.50 2.18 2.06 3/102 23816
/proc/meminfo: memFree=904152/2055920 swapFree=4180436/4192956
[pid=23782] ppid=23780 vsize=5360 CPUtime=997.59
/proc/23782/stat : 23782 (hydra) S 23780 23782 22645 0 -1 4194304 375 27686 0 10 0 0 99741 18 18 0 1 0 1553714064 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23782/statm: 1340 238 196 169 0 51 0
[pid=23796] ppid=23782 vsize=197420 CPUtime=94.16
/proc/23796/stat : 23796 (java) S 23782 23782 22645 0 -1 0 14075 105287 4 10 588 20 8755 53 19 0 9 0 1553814696 202158080 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23796/statm: 49355 9512 2545 9 0 43937 0
[pid=23796/tid=23797] ppid=23782 vsize=197420 CPUtime=92.8
/proc/23796/task/23797/stat : 23797 (java) S 23782 23782 22645 0 -1 64 3994 105287 4 10 465 7 8755 53 16 0 9 0 1553814697 202158080 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23796/tid=23798] ppid=23782 vsize=197420 CPUtime=89.17
/proc/23796/task/23798/stat : 23798 (java) S 23782 23782 22645 0 -1 64 8584 105287 0 10 99 10 8755 53 16 0 9 0 1553814698 202158080 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23796/tid=23799] ppid=23782 vsize=197420 CPUtime=88.08
/proc/23796/task/23799/stat : 23799 (java) S 23782 23782 22645 0 -1 64 11 105287 0 10 0 0 8755 53 16 0 9 0 1553814698 202158080 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23796/tid=23800] ppid=23782 vsize=197420 CPUtime=88.08
/proc/23796/task/23800/stat : 23800 (java) S 23782 23782 22645 0 -1 64 5 105287 0 10 0 0 8755 53 15 0 9 0 1553814698 202158080 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23796/tid=23801] ppid=23782 vsize=197420 CPUtime=88.08
/proc/23796/task/23801/stat : 23801 (java) S 23782 23782 22645 0 -1 64 1 105287 0 10 0 0 8755 53 24 0 9 0 1553814700 202158080 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23796/tid=23802] ppid=23782 vsize=197420 CPUtime=88.31
/proc/23796/task/23802/stat : 23802 (java) S 23782 23782 22645 0 -1 64 666 105287 0 10 22 1 8755 53 16 0 9 0 1553814700 202158080 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23796/tid=23803] ppid=23782 vsize=197420 CPUtime=88.08
/proc/23796/task/23803/stat : 23803 (java) S 23782 23782 22645 0 -1 64 0 105287 0 10 0 0 8755 53 25 0 9 0 1553814700 202158080 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23796/tid=23804] ppid=23782 vsize=197420 CPUtime=88.08
/proc/23796/task/23804/stat : 23804 (java) S 23782 23782 22645 0 -1 64 27 105287 0 10 0 0 8755 53 15 0 9 0 1553814700 202158080 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1091.75
Current children cumulated vsize (KiB) 202780

Child status: 0
Real time (s): 1102.52
CPU time (s): 1091.79
CPU user time (s): 1090.85
CPU system time (s): 0.936857
CPU usage (%): 99.0267
Max. virtual memory (cumulated for all children) (KiB): 871540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1090.85
system time used= 0.936857
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147464
page faults= 24
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15886
involuntary context switches= 63210

runsolver used 1.47877 second user time and 3.63945 second system time

The end

Launcher Data (download as text)

Begin job on node13 at 2008-07-05 08:47:02
IDJOB=1086646
IDBENCH=57847
IDSOLVER=366
FILE ID=node13/1086646-1215240422
PBS_JOBID= 7881934
Free space on /tmp= 66508 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 34ca3ffc23008dabfd0338886eeccec5
RANDOM SEED=2047380344

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1345384 kB
Buffers:          5592 kB
Cached:         108232 kB
SwapCached:       6400 kB
Active:         616420 kB
Inactive:        40040 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1345384 kB
SwapTotal:     4192956 kB
SwapFree:      4180436 kB
Dirty:           33180 kB
Writeback:           0 kB
Mapped:         556548 kB
Slab:            38232 kB
Committed_AS:  3867496 kB
PageTables:       2968 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= 66484 MiB
End job on node13 at 2008-07-05 09:05:25