Trace number 1087234

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 415.716 423.428

DiagnosticValue
ASSIGNMENTS14255
CHECKS721391000

General information on the benchmark

Namecsp/fapp/fapp14/
normalized-fapp14-2500-9.xml
MD5SUM82e6ad1aef50625fbf6be40e28789b38
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 benchmark415.716
Satisfiable
(Un)Satisfiability was proved
Number of variables2500
Number of constraints40767
Maximum constraint arity2
Maximum domain size362
Number of constraints which are defined in extension0
Number of constraints which are defined in intension40767
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.00	c cpHydra_k_40 version 0.0
60.32/60.92	c CASE TO CLASSIFY:
60.32/60.92	c Case: 0
60.32/60.92	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.234200 | c 15 >  15.348700 | c 34 >  68.320200 | c 16 >   2.000000 | c 13 >   2.980850 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.027400 | c 21 >  17.599100 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.725240 | c 24 >   0.784607 | 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.315100 | 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.562600 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.32/60.93	c choco : 1801.0
60.32/60.93	c mistral : 1801.0
60.32/60.93	c abscon : 1801.0
60.32/60.93	c
60.32/60.93	c
60.42/61.01	c List of same ones: 40
60.42/61.01	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-10.xml
60.42/61.01	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.234200 | c 15 >  10.695200 | c 34 >  68.320200 | c 16 >   2.000000 | c 13 >   2.980850 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.027400 | c 21 >  17.599100 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.725240 | c 24 >   0.784607 | 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.315100 | 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.562600 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.42/61.02	c choco : 1801.0
60.42/61.02	c mistral : 1800.04
60.42/61.02	c abscon : 331.113
60.42/61.02	c
60.42/61.02	c
60.42/61.02	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-9.xml
60.42/61.02	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.234200 | c 15 >  10.502800 | c 34 >  68.320200 | c 16 >   2.000000 | c 13 >   2.980850 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.027400 | c 21 >  17.599100 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.725240 | c 24 >   0.784607 | 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.315100 | 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.562600 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.42/61.02	c choco : 1801.0
60.42/61.02	c mistral : 1800.09
60.42/61.02	c abscon : 506.936
60.42/61.02	c
60.42/61.02	c
60.42/61.02	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-10.xml
60.42/61.03	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.220100 | c 15 >  10.879600 | c 34 >  68.428900 | c 16 >   2.000000 | c 13 >   2.862710 | c 14 >  -1.000000 | c 11 >  10.550700 | c 12 >   5.082310 | c 21 >  17.067800 | c 20 >   0.000000 | c 22 >  17.606800 | c 23 >   5.375360 | c 24 >   0.786959 | 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.633100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.737200 | c 31 >  -1.000000 | c 4 >  10.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.42/61.04	c choco : 1801.0
60.42/61.04	c mistral : 1800.05
60.42/61.04	c abscon : 156.38
60.42/61.04	c
60.42/61.04	c
60.42/61.04	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-9.xml
60.42/61.04	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.220100 | c 15 >  10.689100 | c 34 >  68.428900 | c 16 >   2.000000 | c 13 >   2.862710 | c 14 >  -1.000000 | c 11 >  10.550700 | c 12 >   5.082310 | c 21 >  17.067800 | c 20 >   0.000000 | c 22 >  17.606800 | c 23 >   5.375360 | c 24 >   0.786959 | 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.633100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.737200 | c 31 >  -1.000000 | c 4 >  10.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.42/61.04	c choco : 1801.0
60.42/61.04	c mistral : 1800.06
60.42/61.04	c abscon : 441.864
60.42/61.04	c
60.42/61.04	c
60.42/61.04	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-8.xml
60.42/61.04	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.220100 | c 15 >  10.563200 | c 34 >  68.428900 | c 16 >   2.000000 | c 13 >   2.862710 | c 14 >  -1.000000 | c 11 >  10.550700 | c 12 >   5.082310 | c 21 >  17.067800 | c 20 >   0.000000 | c 22 >  17.606800 | c 23 >   5.375360 | c 24 >   0.786959 | 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.633100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.737200 | c 31 >  -1.000000 | c 4 >  10.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.42/61.05	c choco : 1801.0
60.42/61.05	c mistral : 1800.07
60.42/61.05	c abscon : 349.37
60.42/61.05	c
60.42/61.05	c
60.42/61.06	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-3.xml
60.42/61.06	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.234200 | c 15 >  10.001400 | c 34 >  68.320200 | c 16 >   2.000000 | c 13 >   2.980850 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.027400 | c 21 >  17.599100 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.725240 | c 24 >   0.784607 | 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.315100 | 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.562600 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.42/61.06	c choco : 1801.0
60.42/61.06	c mistral : 1800.08
60.42/61.06	c abscon : 15.1547
60.42/61.07	c
60.42/61.07	c
60.42/61.07	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-2.xml
60.42/61.07	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.234200 | c 15 >   9.977280 | c 34 >  68.320200 | c 16 >   2.000000 | c 13 >   2.980850 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.027400 | c 21 >  17.599100 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.725240 | c 24 >   0.784607 | 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.315100 | 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.562600 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.42/61.07	c choco : 1801.0
60.42/61.07	c mistral : 1800.08
60.42/61.07	c abscon : 12.863
60.42/61.07	c
60.42/61.07	c
60.42/61.07	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-10.xml
60.42/61.07	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.026200 | c 15 >  10.630300 | c 34 >  68.212500 | c 16 >   2.000000 | c 13 >   2.978070 | c 14 >  -1.000000 | c 11 >   9.965780 | c 12 >   4.909970 | c 21 >  17.164900 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.546080 | c 24 >   1.046680 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.875700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.168600 | c 31 >  -1.000000 | c 4 >   9.965780 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.42/61.08	c choco : 1801.0
60.42/61.08	c mistral : 228.6
60.42/61.08	c abscon : 55.2496
60.42/61.08	c
60.42/61.08	c
60.42/61.08	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-9.xml
60.42/61.08	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.026200 | c 15 >  10.433600 | c 34 >  68.212500 | c 16 >   2.000000 | c 13 >   2.978070 | c 14 >  -1.000000 | c 11 >   9.965780 | c 12 >   4.909970 | c 21 >  17.164900 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.546080 | c 24 >   1.046680 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.875700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.168600 | c 31 >  -1.000000 | c 4 >   9.965780 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.42/61.09	c choco : 1801.0
60.42/61.09	c mistral : 1800.03
60.42/61.09	c abscon : 129.181
60.42/61.09	c
60.42/61.09	c
60.42/61.09	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-1.xml
60.42/61.09	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.234200 | c 15 >   9.658210 | c 34 >  68.320200 | c 16 >   2.000000 | c 13 >   2.980850 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.027400 | c 21 >  17.599100 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.725240 | c 24 >   0.784607 | 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.315100 | 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.562600 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.48/61.10	c choco : 1801.0
60.48/61.10	c mistral : 1800.05
60.48/61.10	c abscon : 13.29
60.48/61.10	c
60.48/61.10	c
60.48/61.10	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-1.xml
60.48/61.10	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.220100 | c 15 >  10.047100 | c 34 >  68.428900 | c 16 >   2.000000 | c 13 >   2.862710 | c 14 >  -1.000000 | c 11 >  10.550700 | c 12 >   5.082310 | c 21 >  17.067800 | c 20 >   0.000000 | c 22 >  17.606800 | c 23 >   5.375360 | c 24 >   0.786959 | 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.633100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.737200 | c 31 >  -1.000000 | c 4 >  10.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.48/61.11	c choco : 1801.0
60.48/61.11	c mistral : 1800.03
60.48/61.11	c abscon : 20.0829
60.48/61.11	c
60.48/61.11	c
60.48/61.11	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-8.xml
60.48/61.11	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.026200 | c 15 >  10.260900 | c 34 >  68.212500 | c 16 >   2.000000 | c 13 >   2.978070 | c 14 >  -1.000000 | c 11 >   9.965780 | c 12 >   4.909970 | c 21 >  17.164900 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.546080 | c 24 >   1.046680 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.875700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.168600 | c 31 >  -1.000000 | c 4 >   9.965780 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.48/61.13	c choco : 1801.0
60.48/61.13	c mistral : 1800.02
60.48/61.13	c abscon : 85.215
60.48/61.13	c
60.48/61.13	c
60.48/61.13	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-7.xml
60.48/61.13	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.026200 | c 15 >  10.177400 | c 34 >  68.212500 | c 16 >   2.000000 | c 13 >   2.978070 | c 14 >  -1.000000 | c 11 >   9.965780 | c 12 >   4.909970 | c 21 >  17.164900 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.546080 | c 24 >   1.046680 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.875700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.168600 | c 31 >  -1.000000 | c 4 >   9.965780 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.48/61.13	c choco : 1801.0
60.48/61.13	c mistral : 1800.1
60.48/61.13	c abscon : 11.7712
60.48/61.13	c
60.48/61.13	c
60.48/61.13	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-0.xml
60.48/61.13	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.234200 | c 15 >   9.434630 | c 34 >  68.320200 | c 16 >   2.000000 | c 13 >   2.980850 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.027400 | c 21 >  17.599100 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.725240 | c 24 >   0.784607 | 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.315100 | 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.562600 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.48/61.14	c choco : 1801.0
60.48/61.14	c mistral : 244.12
60.48/61.14	c abscon : 11.5512
60.48/61.14	c
60.48/61.14	c
60.48/61.14	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-6.xml
60.48/61.14	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.026200 | c 15 >  10.049800 | c 34 >  68.212500 | c 16 >   2.000000 | c 13 >   2.978070 | c 14 >  -1.000000 | c 11 >   9.965780 | c 12 >   4.909970 | c 21 >  17.164900 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.546080 | c 24 >   1.046680 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.875700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.168600 | c 31 >  -1.000000 | c 4 >   9.965780 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.48/61.15	c choco : 1801.0
60.48/61.15	c mistral : 80.98
60.48/61.15	c abscon : 8.12576
60.48/61.15	c
60.48/61.15	c
60.48/61.15	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-0.xml
60.48/61.15	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.220100 | c 15 >   9.684750 | c 34 >  68.428900 | c 16 >   2.000000 | c 13 >   2.862710 | c 14 >  -1.000000 | c 11 >  10.550700 | c 12 >   5.082310 | c 21 >  17.067800 | c 20 >   0.000000 | c 22 >  17.606800 | c 23 >   5.375360 | c 24 >   0.786959 | 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.633100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.737200 | c 31 >  -1.000000 | c 4 >  10.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.48/61.16	c choco : 1801.0
60.48/61.16	c mistral : 71.15
60.48/61.16	c abscon : 8.93264
60.48/61.16	c
60.48/61.16	c
60.48/61.16	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-10.xml
60.48/61.16	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.995800 | c 15 >  11.340400 | c 34 >  68.373000 | c 16 >   2.000000 | c 13 >   2.976840 | c 14 >  -1.000000 | c 11 >  10.287700 | c 12 >   4.876490 | c 21 >  14.266700 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   3.758320 | c 24 >   0.752014 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.164200 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.956900 | c 31 >  -1.000000 | c 4 >  10.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.48/61.17	c choco : 1801.0
60.48/61.17	c mistral : 81.4206
60.48/61.17	c abscon : 52.605
60.48/61.17	c
60.48/61.17	c
60.48/61.17	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-5.xml
60.48/61.17	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.026200 | c 15 >   9.911390 | c 34 >  68.212500 | c 16 >   2.000000 | c 13 >   2.978070 | c 14 >  -1.000000 | c 11 >   9.965780 | c 12 >   4.909970 | c 21 >  17.164900 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.546080 | c 24 >   1.046680 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.875700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.168600 | c 31 >  -1.000000 | c 4 >   9.965780 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.48/61.17	c choco : 1801.0
60.48/61.17	c mistral : 108.251
60.48/61.17	c abscon : 8.62069
60.48/61.17	c
60.48/61.17	c
60.48/61.17	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-3.xml
60.48/61.17	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.809400 | c 15 >   9.592460 | c 34 >  68.146000 | c 16 >   2.000000 | c 13 >   2.751130 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.741630 | c 21 >  16.843300 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   5.623530 | c 24 >   0.701495 | 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.707400 | 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.114000 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.48/61.18	c choco : 1801.0
60.48/61.18	c mistral : 155.051
60.48/61.18	c abscon : 7.09492
60.48/61.18	c
60.48/61.18	c
60.48/61.18	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-1.xml
60.48/61.18	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.809400 | c 15 >   9.575540 | c 34 >  68.146000 | c 16 >   2.000000 | c 13 >   2.751130 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.741630 | c 21 >  16.843300 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   5.623530 | c 24 >   0.701495 | 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.707400 | 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.114000 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.48/61.19	c choco : 1801.0
60.48/61.19	c mistral : 71.9411
60.48/61.19	c abscon : 6.95394
60.48/61.19	c
60.48/61.19	c
60.48/61.19	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-4.xml
60.48/61.19	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.026200 | c 15 >   9.879580 | c 34 >  68.212500 | c 16 >   2.000000 | c 13 >   2.978070 | c 14 >  -1.000000 | c 11 >   9.965780 | c 12 >   4.909970 | c 21 >  17.164900 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.546080 | c 24 >   1.046680 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.875700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.168600 | c 31 >  -1.000000 | c 4 >   9.965780 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.48/61.20	c choco : 1801.0
60.48/61.20	c mistral : 233.323
60.48/61.20	c abscon : 8.47971
60.48/61.20	c
60.48/61.20	c
60.48/61.20	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-3.xml
60.48/61.20	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.026200 | c 15 >   9.848620 | c 34 >  68.212500 | c 16 >   2.000000 | c 13 >   2.978070 | c 14 >  -1.000000 | c 11 >   9.965780 | c 12 >   4.909970 | c 21 >  17.164900 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.546080 | c 24 >   1.046680 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.875700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.168600 | c 31 >  -1.000000 | c 4 >   9.965780 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.56/61.20	c choco : 1801.0
60.56/61.20	c mistral : 158.535
60.56/61.20	c abscon : 8.39572
60.56/61.20	c
60.56/61.20	c
60.56/61.20	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-8.xml
60.56/61.20	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.809400 | c 15 >   9.543030 | c 34 >  68.146000 | c 16 >   2.000000 | c 13 >   2.751130 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.741630 | c 21 >  16.843300 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   5.623530 | c 24 >   0.701495 | 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.707400 | 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.114000 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.56/61.21	c choco : 1801.0
60.56/61.21	c mistral : 1800.03
60.56/61.21	c abscon : 11.3953
60.56/61.21	c
60.56/61.21	c
60.56/61.21	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-5.xml
60.56/61.21	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.809400 | c 15 >   9.533330 | c 34 >  68.146000 | c 16 >   2.000000 | c 13 >   2.751130 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.741630 | c 21 >  16.843300 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   5.623530 | c 24 >   0.701495 | 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.707400 | 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.114000 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.56/61.22	c choco : 1801.0
60.56/61.22	c mistral : 152.693
60.56/61.22	c abscon : 6.91295
60.56/61.22	c
60.56/61.22	c
60.56/61.22	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-6.xml
60.56/61.22	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.809400 | c 15 >   9.525520 | c 34 >  68.146000 | c 16 >   2.000000 | c 13 >   2.751130 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.741630 | c 21 >  16.843300 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   5.623530 | c 24 >   0.701495 | 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.707400 | 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.114000 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.56/61.22	c choco : 1801.0
60.56/61.22	c mistral : 145.44
60.56/61.22	c abscon : 7.14491
60.56/61.22	c
60.56/61.22	c
60.56/61.22	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-2.xml
60.56/61.22	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.809400 | c 15 >   9.511750 | c 34 >  68.146000 | c 16 >   2.000000 | c 13 >   2.751130 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.741630 | c 21 >  16.843300 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   5.623530 | c 24 >   0.701495 | 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.707400 | 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.114000 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.56/61.23	c choco : 1801.0
60.56/61.23	c mistral : 73.3329
60.56/61.23	c abscon : 6.84696
60.56/61.23	c
60.56/61.23	c
60.56/61.23	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-2.xml
60.56/61.23	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.026200 | c 15 >   9.807350 | c 34 >  68.212500 | c 16 >   2.000000 | c 13 >   2.978070 | c 14 >  -1.000000 | c 11 >   9.965780 | c 12 >   4.909970 | c 21 >  17.164900 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.546080 | c 24 >   1.046680 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.875700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.168600 | c 31 >  -1.000000 | c 4 >   9.965780 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.56/61.23	c choco : 1801.0
60.56/61.23	c mistral : 1800.05
60.56/61.23	c abscon : 8.65568
60.56/61.23	c
60.56/61.23	c
60.56/61.23	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-1.xml
60.56/61.23	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.026200 | c 15 >   9.800900 | c 34 >  68.212500 | c 16 >   2.000000 | c 13 >   2.978070 | c 14 >  -1.000000 | c 11 >   9.965780 | c 12 >   4.909970 | c 21 >  17.164900 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.546080 | c 24 >   1.046680 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.875700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.168600 | c 31 >  -1.000000 | c 4 >   9.965780 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.56/61.24	c choco : 1801.0
60.56/61.24	c mistral : 79.088
60.56/61.24	c abscon : 8.44271
60.56/61.24	c
60.56/61.24	c
60.56/61.24	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-9.xml
60.56/61.24	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.809400 | c 15 >   9.485830 | c 34 >  68.146000 | c 16 >   2.000000 | c 13 >   2.751130 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.741630 | c 21 >  16.843300 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   5.623530 | c 24 >   0.701495 | 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.707400 | 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.114000 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.56/61.24	c choco : 1801.0
60.56/61.24	c mistral : 1800.04
60.56/61.24	c abscon : 11.0943
60.56/61.24	c
60.56/61.24	c
60.56/61.24	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-0.xml
60.56/61.25	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.809400 | c 15 >   9.428360 | c 34 >  68.146000 | c 16 >   2.000000 | c 13 >   2.751130 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.741630 | c 21 >  16.843300 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   5.623530 | c 24 >   0.701495 | 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.707400 | 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.114000 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.56/61.25	c choco : 1801.0
60.56/61.25	c mistral : 72.111
60.56/61.25	c abscon : 6.68698
60.56/61.25	c
60.56/61.25	c
60.56/61.25	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-7.xml
60.56/61.25	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.809400 | c 15 >   9.405140 | c 34 >  68.146000 | c 16 >   2.000000 | c 13 >   2.751130 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.741630 | c 21 >  16.843300 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   5.623530 | c 24 >   0.701495 | 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.707400 | 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.114000 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.56/61.26	c choco : 1801.0
60.56/61.26	c mistral : 113.54
60.56/61.26	c abscon : 11.2793
60.56/61.26	c
60.56/61.26	c
60.56/61.26	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-4.xml
60.56/61.26	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.809400 | c 15 >   9.400880 | c 34 >  68.146000 | c 16 >   2.000000 | c 13 >   2.751130 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.741630 | c 21 >  16.843300 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   5.623530 | c 24 >   0.701495 | 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.707400 | 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.114000 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.56/61.26	c choco : 1801.0
60.56/61.26	c mistral : 146.632
60.56/61.26	c abscon : 6.95894
60.56/61.26	c
60.56/61.26	c
60.56/61.26	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-3.xml
60.56/61.26	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.801300 | c 15 >   9.419960 | c 34 >  68.864900 | c 16 >   2.000000 | c 13 >   2.636770 | c 14 >  -1.000000 | c 11 >  11.167400 | c 12 >   4.398460 | c 21 >  16.617500 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   5.791620 | c 24 >   0.748797 | 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.565900 | 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.276700 | c 31 >  -1.000000 | c 4 >  11.167400 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.56/61.27	c choco : 1801.0
60.56/61.27	c mistral : 9.51455
60.56/61.27	c abscon : 7.00294
60.56/61.27	c
60.56/61.27	c
60.56/61.27	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-4.xml
60.56/61.27	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.801300 | c 15 >   9.407270 | c 34 >  68.864900 | c 16 >   2.000000 | c 13 >   2.636770 | c 14 >  -1.000000 | c 11 >  11.167400 | c 12 >   4.398460 | c 21 >  16.617500 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   5.791620 | c 24 >   0.748797 | 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.565900 | 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.276700 | c 31 >  -1.000000 | c 4 >  11.167400 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.56/61.27	c choco : 1801.0
60.56/61.27	c mistral : 1800.04
60.56/61.27	c abscon : 7.55785
60.56/61.27	c
60.56/61.27	c
60.56/61.27	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-8.xml
60.56/61.27	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.801300 | c 15 >   9.407270 | c 34 >  68.864900 | c 16 >   2.000000 | c 13 >   2.636770 | c 14 >  -1.000000 | c 11 >  11.167400 | c 12 >   4.398460 | c 21 >  16.617500 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   5.791620 | c 24 >   0.748797 | 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.565900 | 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.276700 | c 31 >  -1.000000 | c 4 >  11.167400 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.56/61.28	c choco : 1801.0
60.56/61.28	c mistral : 1800.03
60.56/61.28	c abscon : 11.9272
60.56/61.28	c
60.56/61.28	c
60.56/61.28	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-9.xml
60.56/61.28	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.801300 | c 15 >   9.407270 | c 34 >  68.864900 | c 16 >   2.000000 | c 13 >   2.636770 | c 14 >  -1.000000 | c 11 >  11.167400 | c 12 >   4.398460 | c 21 >  16.617500 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   5.791620 | c 24 >   0.748797 | 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.565900 | 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.276700 | c 31 >  -1.000000 | c 4 >  11.167400 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.56/61.29	c choco : 1801.0
60.56/61.29	c mistral : 1800.06
60.56/61.29	c abscon : 12.5081
60.56/61.29	c
60.56/61.29	c
60.56/61.29	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-5.xml
60.56/61.29	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.801300 | c 15 >   9.405140 | c 34 >  68.864900 | c 16 >   2.000000 | c 13 >   2.636770 | c 14 >  -1.000000 | c 11 >  11.167400 | c 12 >   4.398460 | c 21 >  16.617500 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   5.791620 | c 24 >   0.748797 | 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.565900 | 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.276700 | c 31 >  -1.000000 | c 4 >  11.167400 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.56/61.29	c choco : 1801.0
60.56/61.29	c mistral : 1800.07
60.56/61.29	c abscon : 7.75882
60.56/61.29	c
60.56/61.29	c
60.56/61.29	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-6.xml
60.56/61.29	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.801300 | c 15 >   9.405140 | c 34 >  68.864900 | c 16 >   2.000000 | c 13 >   2.636770 | c 14 >  -1.000000 | c 11 >  11.167400 | c 12 >   4.398460 | c 21 >  16.617500 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   5.791620 | c 24 >   0.748797 | 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.565900 | 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.276700 | c 31 >  -1.000000 | c 4 >  11.167400 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.62/61.30	c choco : 1801.0
60.62/61.30	c mistral : 1800.06
60.62/61.30	c abscon : 7.56185
60.62/61.30	c
60.62/61.30	c
60.62/61.30	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-2.xml
60.62/61.30	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.801300 | c 15 >   9.375040 | c 34 >  68.864900 | c 16 >   2.000000 | c 13 >   2.636770 | c 14 >  -1.000000 | c 11 >  11.167400 | c 12 >   4.398460 | c 21 >  16.617500 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   5.791620 | c 24 >   0.748797 | 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.565900 | 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.276700 | c 31 >  -1.000000 | c 4 >  11.167400 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.62/61.31	c choco : 1801.0
60.62/61.31	c mistral : 10.6574
60.62/61.31	c abscon : 6.70498
60.62/61.31	c
60.62/61.31	c
60.62/61.31	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-9.xml
60.62/61.31	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.995800 | c 15 >  10.872700 | c 34 >  68.373000 | c 16 >   2.000000 | c 13 >   2.976840 | c 14 >  -1.000000 | c 11 >  10.287700 | c 12 >   4.876490 | c 21 >  14.266700 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   3.758320 | c 24 >   0.752014 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.164200 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.956900 | c 31 >  -1.000000 | c 4 >  10.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
60.62/61.32	c choco : 1801.0
60.62/61.32	c mistral : 866.057
60.62/61.32	c abscon : 36.8914
60.62/61.32	c
60.62/61.32	c
60.62/61.32	c Length: 40
60.62/61.32	c 4.653499999999999  4.8458999999999985  4.965306649543812  5.137439778138912  5.251897329918397  5.347299999999999  5.371419999999999  5.489200571943877  5.659172410258321  5.690489999999999  5.726113679800985  5.80979631304136  5.8830577125359715  5.914069999999999  5.995528798115226  6.063146453492939  6.093240094420126  6.11819944061396  6.128814344352747  6.14470851347271  6.146486633307599  6.174050887823081  6.175262786217604  6.184383119345373  6.191727678309505  6.204679817077108  6.210844079634345  6.216599488388245  6.229069831591552  6.2831912310182005  6.305075083101232  6.309090987007874  6.364415852857197  6.3762388290747065  6.3762388290747065  6.3762388290747065  6.378223626849406  6.378223626849406  6.406281679422158  6.410591389119181  
60.62/61.32	c 
60.62/61.32	c 1.0  0.9013075917781154  0.8492885373194541  0.7840548649169328  0.7459561894387273  0.7169193204235206  0.7099326479238965  0.6776831367522308  0.6359904489537191  0.6288619207592571  0.6209450618787272  0.603109358845765  0.5883153090014589  0.5822692351947596  0.5669645844510387  0.5548584936446219  0.5496352867414371  0.5453772395474599  0.5435862741252746  0.5409264667086798  0.5406305254811051  0.5360839410328772  0.5358857988671308  0.5343993344825907  0.5332082730581311  0.5311207212480655  0.5301329308366283  0.5292139680951975  0.5272337248682176  0.5188084344922929  0.5154776518732287  0.5148710590269605  0.5066573586847052  0.5049359534647504  0.5049359534647504  0.5049359534647504  0.5046481163016023  0.5046481163016023  0.5006139409620891  0.5  
60.62/61.33	c
60.62/61.33	c solver 0
60.62/61.33	c	  before 0.0 seconds: {} 0
60.62/61.33	c	  before 18.0 seconds: {5, 6, 9, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38} 15856
60.62/61.33	c	  before 36.0 seconds: {5, 6, 9, 10, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38} 16477
60.62/61.33	c	  before 54.0 seconds: {5, 6, 9, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17527
60.62/61.33	c	  before 72.0 seconds: {5, 6, 7, 9, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18204
60.62/61.33	c	  before 90.0 seconds: {5, 6, 7, 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} 18807
60.62/61.34	c	  before 144.0 seconds: {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} 19443
60.62/61.34	c	  before 162.0 seconds: {2, 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} 20293
60.62/61.34	c	  before 342.0 seconds: {0, 2, 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} 21293
60.62/61.34	c	  before 360.0 seconds: {0, 2, 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} 22039
60.62/61.34	c	  before 450.0 seconds: {0, 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} 22823
60.62/61.34	c	  before 522.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} 23724
60.62/61.34	c
60.62/61.34	c solver 1
60.62/61.34	c	  before 0.0 seconds: {} 0
60.62/61.34	c	  before 18.0 seconds: {32, 38} 1007
60.62/61.34	c	  before 72.0 seconds: {15, 19, 32, 38} 2103
60.62/61.34	c	  before 90.0 seconds: {14, 15, 16, 19, 25, 27, 29, 32, 38} 4798
60.62/61.34	c	  before 126.0 seconds: {14, 15, 16, 17, 19, 25, 27, 29, 30, 32, 38} 5859
60.62/61.34	c	  before 162.0 seconds: {14, 15, 16, 17, 18, 19, 21, 23, 24, 25, 27, 29, 30, 31, 32, 38} 8521
60.62/61.34	c	  before 234.0 seconds: {7, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 27, 29, 30, 31, 32, 38} 9740
60.62/61.34	c	  before 252.0 seconds: {7, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 27, 29, 30, 31, 32, 38} 10322
60.62/61.34	c	  before 882.0 seconds: {7, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 27, 29, 30, 31, 32, 38, 39} 10822
60.62/61.34	c
60.62/61.34	c solver 2
60.62/61.34	c	  before 0.0 seconds: {} 0
60.62/61.34	c
60.62/61.34	cTotal time: 78
60.62/61.34	c 1404.0 seconds unused
60.62/61.34	c 0 c 20 c 40 
60.62/61.34	c 0 c 0 c 20 
60.62/61.34	c 0 c 0 c 0 
60.62/61.34	c is solver0 dominated by:
60.62/61.34	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)
60.62/61.34	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)
60.62/61.34	c is dominated? false
60.62/61.34	c
60.62/61.34	c is solver1 dominated by:
60.62/61.34	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)
60.62/61.34	c is dominated? true
60.62/61.34	c
60.62/61.34	c is solver2 dominated by:
60.62/61.34	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)
60.62/61.34	c is dominated? true
60.62/61.34	c
60.62/61.34	c Number of non-dominated solvers: 1
60.62/61.34	c remove dominated solvers
60.62/61.34	c solver 0 is not dominated by another solver
60.62/61.34	c solver 2 is dominated by another solver
60.62/61.34	c solver 1 is dominated by another solver
60.62/61.34	c
60.62/61.34	c solver 0: 522.0
60.62/61.34	c
60.62/61.34	c+ 29/29 of 71
60.62/61.34	c
60.62/61.34	c solver 1: 0.0
60.62/61.34	c
60.62/61.34	c solver 2: 0.0
60.62/61.34	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} 23724
60.62/61.34	c	 do not run mistral
60.62/61.34	c	 do not run choco
60.62/61.34	c Starting solver: HOME/cpHydra_k_40/solver/abscon
60.62/61.34	c On Instance: HOME/instance-1087234-1215243171.xml
60.62/61.34	c Running for: 1800 seconds
415.65/423.41	s SAT
415.65/423.41	v  2132 -2020 2592 2624 2552 -2204 -2176 2184 2728 -2136 -2664 -2068 2536 -2136 2620 2484 -2628 2528 2216 -2020 -2172 2480 2492 -2336 2340 -2468 2624 -2740 2460 -2180 2428 2624 -2148 2316 -2596 -2700 2512 -2732 -2472 2032 2600 -2024 -2512 2308 2676 2660 -2696 -2200 -2356 -2196 -2140 -2496 -2740 2592 -2232 2020 -2672 -2408 -2712 2132 2168 2572 2552 -2308 2216 -2580 -2728 2616 -2108 -2700 -2724 -2620 2236 -2680 -2388 -2608 2172 -2140 2160 2576 -2700 -2660 -2660 -2364 -2740 -2388 -2100 2444 2692 2512 -2152 2524 2584 2648 -2676 -2092 2380 -2120 -2116 2632 -2320 -2228 2256 -2220 2156 2452 -2608 -2476 -2660 2056 -2064 -2736 -2136 -2196 2296 -2476 -2232 2020 -2724 -2088 -2740 2448 2404 -2724 -2320 2496 2432 -2520 -2144 -2616 -2400 2672 -2020 -2196 -2612 -2128 -2636 -2700 2444 -2020 2600 -2624 2532 2472 -2024 -2636 2656 -2092 2632 -2060 2112 -2400 -2456 -2512 2452 -2384 -2076 -2740 -2684 2388 2284 -2624 -2640 -2632 2668 -2260 -2380 -2364 -2640 2444 2316 2168 -2128 -2740 2168 2516 2404 -2436 -2516 -2020 -2668 -2740 -2160 -2692 -2536 -2388 -2108 2424 -2256 2392 -2376 2208 -2636 -2172 -2656 2620 -2212 2196 -2088 2296 2556 2704 2680 2700 -2180 -2060 2536 2668 2164 -2072 -2740 2288 -2112 2140 -2456 2536 2600 -2356 2640 -2332 -2336 2672 -2476 2620 -2060 2300 -2140 -2724 -2056 2488 -2512 -2540 -2436 -2272 2560 2020 -2096 -2144 -2700 2600 -2412 -2700 2340 -2472 -2192 2704 -2412 -2448 2700 2568 -2492 -2204 2548 -2436 2280 -2472 -2368 -2080 -2412 -2372 -2436 -2060 -2456 2376 2020 2628 -2548 2556 -2480 -2556 2372 -2020 -2440 2584 -2080 -2064 2096 -2268 2656 2600 -2024 2060 2096 -2588 -2412 2604 -2692 -2532 2552 -2532 -2020 -2672 2652 -2524 -2516 -2588 2352 2404 -2100 -2320 2640 2076 -2636 -2700 -2328 -2444 -2700 -2268 -2600 2340 2072 2536 -2060 2696 -2740 2480 2424 -2236 2412 -2432 -2544 -2556 -2108 -2220 2060 -2056 -2272 2496 -2520 2572 -2396 -2564 2236 2668 -2104 2580 -2700 2316 -2676 -2564 2668 -2692 2580 -2700 -2212 2260 2552 2020 2412 -2388 -2344 2592 -2664 -2312 2376 2740 -2228 -2660 -2660 2252 2664 2284 2088 2632 -2484 -2608 -2176 -2212 -2020 -2676 2100 -2740 -2616 2700 -2740 -2512 -2128 -2516 2176 -2392 2176 2532 -2412 2300 -2708 2020 -2148 -2360 2044 2120 2332 2684 2660 -2592 -2716 -2740 -2432 -2692 2212 -2240 2728 2740 -2424 -2692 -2084 -2488 -2336 2628 2256 2700 2112 2240 2516 -2508 2596 2036 -2628 -2448 -2120 2256 2680 2368 2184 -2704 2176 -2452 -2616 2616 -2352 2268 2700 2184 2092 -2600 -2492 2108 -2700 -2700 2728 -2740 -2092 -2352 2676 -2356 -2664 -2080 -2064 -2296 -2128 2576 -2204 -2680 2296 -2636 -2520 -2536 -2380 -2660 -2328 2064 -2128 -2684 2180 -2232 -2096 -2680 2400 -2060 -2740 -2216 -2360 2412 -2696 2320 -2364 -2568 2216 2280 -2368 2492 -2700 2368 -2160 2624 2036 -2156 2456 -2516 -2532 -2332 -2392 -2180 2556 2224 -2196 -2184 2060 -2280 -2576 -2192 2232 2464 2060 -2184 -2064 -2572 2048 2360 -2320 2652 -2468 2256 -2636 -2060 -2112 -2188 -2680 2452 2252 -2536 -2140 2328 -2340 -2740 2476 2604 -2176 2164 -2484 -2740 2328 2040 -2728 2412 -2088 2172 2564 2380 -2740 -2144 -2020 -2700 -2664 2668 2356 2516 2676 -2324 -2212 2652 -2064 -2500 2416 2020 2280 -2220 -2532 2304 -2724 2552 2688 2116 2396 -2676 2704 -2104 -2020 -2060 -2064 -2060 2428 -2648 -2148 -2524 -2196 -2672 -2644 2060 -2440 -2088 2116 -2436 -2544 -2664 -2712 2320 -2236 2328 2408 2172 2316 -2084 -2664 2232 -2448 -2032 2640 -2672 2520 -2304 2504 -2136 2312 2396 -2032 2300 -2656 -2508 2120 -2408 -2496 -2120 2288 -2216 -2276 2492 -2240 -2080 2320 -2428 -2740 -2052 -2632 2532 2620 2240 -2348 2232 2256 2448 -2736 2324 2116 -2612 -2312 2444 2536 -2020 2664 2652 2376 2272 -2160 -2284 2716 2632 -2064 -2676 -2580 -2640 -2340 2688 -2672 2020 2404 -2456 -2268 -2416 2136 -2208 -2636 2624 -2500 -2108 2632 -2700 -2248 2128 2424 -2060 2724 -2328 -2352 2352 -2348 2564 -2024 2740 2528 -2692 -2260 2500 2528 -2352 -2728 -2128 -2280 2224 -2188 2400 2532 2740 -2288 2532 -2100 -2624 -2236 -2176 2692 2624 -2740 2428 2244 2020 -2464 -2076 2220 2680 2300 -2176 2368 -2572 2108 -2352 -2176 2464 -2200 -2740 2348 2020 2656 -2464 2632 -2148 2516 -2580 -2456 -2192 -2092 -2504 -2548 2444 2208 2400 2700 -2648 2248 2404 -2716 2528 2636 -2700 -2084 -2148 -2088 2348 2176 -2668 -2264 -2688 2248 -2660 -2468 -2064 -2188 -2040 -2248 -2700 2100 -2608 -2180 -2096 2296 2196 -2192 -2508 -2060 2664 2716 2732 -2136 2020 -2404 -2332 2320 -2360 2492 2568 2220 -2688 2260 -2576 -2076 -2576 2060 2020 -2060 -2148 -2408 -2676 2624 2708 -2468 -2452 -2664 2260 -2596 2728 2416 2732 -2364 -2352 2144 2060 -2684 2600 -2404 -2348 -2140 -2272 -2216 -2184 -2496 -2424 2060 -2120 2356 -2684 -2284 -2160 -2684 -2512 2688 -2260 -2396 2148 2168 2328 -2100 2588 2600 -2504 -2664 2316 2224 -2184 2448 -2548 2288 -2396 2624 2560 -2336 2684 2656 -2452 -2560 2452 -2292 2376 -2036 -2640 -2128 2628 2456 -2264 -2320 2632 2500 -2080 2316 -2652 -2020 -2700 2372 -2444 -2140 -2264 -2372 -2272 2452 -2660 -2536 2404 2312 2160 -2112 -2088 -2092 -2472 2596 -2704 2132 2376 2020 -2460 2480 2588 -2240 -2156 -2544 -2212 -2324 -2084 -2220 -2352 2584 2128 -2292 -2628 -2228 -2060 -2216 -2740 2020 2416 2468 -2188 2060 -2272 2276 -2700 -2552 -2684 -2404 -2532 -2064 2452 2072 2684 -2184 -2740 -2700 2728 -2552 -2712 2452 -2332 2724 2716 2452 -2396 -2564 -2220 -2320 2164 2024 2108 -2060 -2588 -2060 -2660 -2248 2556 2148 -2676 -2576 -2444 2576 -2156 2684 -2128 2616 -2740 -2376 2684 2288 -2128 -2268 -2024 -2676 2020 -2420 2644 -2196 2260 2020 -2328 2404 -2700 -2320 -2700 -2236 -2660 -2548 2520 -2676 2028 -2456 -2472 -2740 -2456 2668 2360 -2052 2268 -2168 2308 -2540 2684 2640 2200 -2032 -2700 2628 -2700 -2604 -2440 -2736 2456 -2244 -2372 -2680 -2640 -2060 2740 2480 -2736 -2604 -2364 -2132 -2216 2592 2520 2412 2244 2676 2088 2128 2652 2328 2612 2680 -2548 2236 2652 -2640 -2172 2420 -2528 -2652 -2648 -2040 2508 2608 2348 2400 -2496 -2320 -2408 -2196 2076 2028 -2164 -2740 -2124 -2060 2724 -2644 -2472 2028 -2020 -2640 2584 -2356 -2700 2536 -2656 -2124 -2232 -2600 -2712 2360 2696 -2600 2620 2720 2216 -2720 2472 -2140 2036 -2228 2128 -2728 -2348 2100 2120 -2284 2424 2496 -2088 2684 -2700 -2176 2676 2388 -2372 -2236 2676 -2100 -2232 2488 -2644 2588 -2388 2640 2192 2460 -2364 -2180 2272 2328 2536 2488 2020 2300 2020 -2064 -2404 -2216 2136 -2612 -2740 2112 2456 -2652 -2324 2588 -2200 2608 2716 -2696 -2092 2480 -2676 -2100 -2124 -2624 2484 2036 -2396 -2692 -2608 -2404 2248 2524 -2060 2308 2060 -2452 2460 -2508 -2616 2412 -2120 -2044 -2032 2124 -2616 2552 2048 -2388 2532 -2216 2740 2020 2320 -2708 2360 -2496 2084 2672 -2596 2368 -2628 -2312 -2708 -2516 2376 2676 -2704 2428 2624 -2660 2156 -2496 -2084 2576 -2700 -2740 2096 2640 -2648 -2736 -2516 -2740 -2680 -2584 -2720 2700 2540 -2708 -2220 2492 -2632 -2664 2548 -2708 -2084 -2204 -2580 2592 2456 -2624 -2364 -2688 2132 2540 -2040 2504 -2132 2192 -2204 2248 -2428 -2180 -2232 -2180 2020 2596 -2740 2616 -2564 -2476 -2164 2660 -2192 -2696 2604 -2432 2440 2020 -2708 2592 2204 -2080 -2348 2624 -2740 -2060 2700 -2560 -2188 -2532 -2104 2656 2156 -2544 2308 2088 2600 -2256 -2416 2072 2708 2688 2472 -2204 -2156 2548 -2020 -2536 2476 2088 -2612 -2196 -2608 2132 -2092 2112 2484 -2324 -2396 2336 -2280 2700 2020 2328 2200 2196 -2276 -2364 2672 2156 -2240 2256 2384 -2684 -2148 -2276 2660 -2576 2068 2484 -2088 -2596 -2616 2440 -2444 2080 -2596 2432 -2344 -2136 2140 2684 -2020 2188 2668 -2688 2476 2172 2512 2080 -2176 -2448 2072 2060 -2248 -2480 -2376 -2116 -2592 -2220 -2236 -2660 2528 2196 2612 2560 -2244 2432 -2364 2464 2536 -2372 -2332 2060 2036 2176 -2232 2604 2200 2256 -2036 -2624 2320 -2208 2328 2288 2640 2364 -2616 -2512 -2124 -2612 -2060 -2656 -2468 2708 2060 -2560 -2344 2036 2236 -2404 2628 -2324 -2700 2496 -2152 -2528 2208 -2616 -2204 -2332 -2700 2324 -2436 -2580 -2120 2576 2020 2716 2676 -2208 -2392 2076 -2168 -2464 -2356 2660 -2460 -2428 2288 2292 2392 -2700 2360 -2152 2020 -2064 -2416 -2060 -2116 -2356 -2632 -2188 2172 2308 -2152 2576 -2060 2520 -2068 -2564 -2644 -2668 2456 2700 -2436 2676 -2696 2388 -2052 -2280 2656 -2336 -2416 2092 -2408 2576 -2072 2340 -2636 -2096 -2352 -2352 -2340 2532 2148 2144 2256 -2440 -2332 -2568 -2568 2232 -2672 -2124 2616 2432 2180 -2156 -2740 -2576 -2068 2660 -2572 -2724 2672 -2492 -2152 -2168 -2372 -2068 -2024 -2672 2280 2560 -2696 -2524 -2544 2636 2428 -2724 2508 -2700 2192 -2548 -2232 2576 2168 -2644 2548 2236 2668 -2616 -2060 -2700 -2296 2628 2084 2612 2156 -2060 -2700 2500 2020 2684 2036 2192 2692 2664 2320 -2444 -2316 2140 -2292 -2524 2044 -2232 2524 -2544 -2668 -2552 -2328 2020 -2600 -2700 -2700 2060 -2288 2508 -2420 -2740 -2308 -2700 2516 -2280 -2136 -2144 -2640 2596 2520 -2740 2532 -2136 2508 2576 -2740 2416 2228 2476 -2184 -2620 2636 -2556 -2360 -2612 -2628 -2724 2512 2492 -2288 -2452 -2548 2032 -2028 -2560 2192 -2392 -2156 2412 2616 -2252 -2652 2144 2616 2516 -2700 2584 -2312 -2520 -2576 2588 2464 -2116 -2740 -2408 -2320 -2700 2364 2468 2508 -2644 -2104 -2700 -2388 -2720 -2616 2420 2036 2632 2320 2640 -2740 2136 2020 -2536 -2524 2372 2548 2372 -2720 2560 2356 -2512 2196 2740 -2416 2060 2668 -2416 2132 2108 -2144 -2380 -2704 -2296 -2496 -2740 2180 -2020 2532 -2676 -2140 -2736 -2176 -2396 2496 2452 -2060 -2348 2408 -2740 -2424 -2264 2704 2700 2680 -2040 -2080 -2408 2044 -2208 -2720 2644 -2368 2244 2392 -2680 2664 -2224 -2368 -2592 -2188 2648 -2720 2216 2388 2732 2160 -2212 2084 -2412 -2492 2172 -2740 -2712 -2284 -2324 -2352 -2664 2112 -2704 -2700 -2592 -2236 -2380 2648 2020 2280 -2552 -2452 -2160 2672 -2216 2692 -2208 -2400 -2108 -2640 -2672 -2488 2400 -2340 2020 -2072 2500 -2512 -2372 2680 2288 -2132 -2736 -2444 -2688 -2740 2336 2056 -2516 -2300 2276 2560 -2716 -2188 2052 -2096 -2352 2740 -2740 -2196 2264 -2144 2552 2060 -2728 2664 -2272 -2700 2256 -2020 -2352 2220 -2572 2020 -2708 -2060 -2740 -2276 2444 -2488 -2488 -2024 -2080 -2636 -2712 2128 2172 2652 2512 -2536 -2364 -2664 2696 -2092 -2328 -2212 -2152 2684 2368 2168 -2568 -2444 2392 -2472 2080 -2164 -2552 2608 -2468 -2640 -2376 2020 -2584 -2188 -2380 -2652 2244 -2552 -2308 2172 2364 2040 2252 2504 -2392 -2492 -2032 -2264 2700 -2140 -2300 2588 2284 2476 -2700 -2300 -2500 -2700 2060 -2068 -2312 -2464 -2288 -2280 -2280 -2644 -2060 2184 -2284 -2176 2700 -2620 -2020 2508 -2412 -2244 -2492 2664 -2740 2428 2124 -2288 2608 -2684 2048 -2740 -2612 -2036 2652 -2716 2412 -2700 -2428 -2492 2020 -2120 -2244 2612 -2504 -2500 -2548 -2572 -2068 -2060 -2348 -2080 -2512 2304 -2496 -2580 -2472 2404 -2148 2680 -2740 2252 -2640 2072 2556 -2080 -2496 -2260 -2696 -2468 -2684 2156 2696 2176 2388 -2452 2516 2700 2688 -2608 2528 -2208 -2620 -2620 -2212 -2512 2668 -2060 -2112 -2688 -2652 2128 -2060 -2576 2648 2680 2660 -2612 -2540 -2116 2352 -2520 -2284 2476 -2348 -2060 -2608 -2536 2592 2600 -2700 2556 -2024 -2688 -2632 2652 -2176 2460 2232 2076 -2220 -2620 -2596 -2392 -2300 2264 2300 -2620 -2180 2076 2608 -2256 -2020 -2536 -2336 -2308 2368 2600 2212 -2700 2484 2392 -2376 2684 -2020 2644 2040 -2128 -2148 2700 2648 -2536 -2564 -2700 -2604 -2740 -2672 2236 -2400 -2572 2032 2148 -2612 -2228 2676 -2520 -2260 -2688 -2120 -2092 -2332 2496 2100 -2608 -2716 2572 -2400 2612 -2600 -2060 -2476 -2336 2144 -2276 -2496 -2500 -2556 -2052 -2148 2680 -2372 2636 -2464 2668 -2440 -2560 2420 2572 -2052 -2568 -2204 -2464 2020 -2356 2152 2664 2076 -2740 2176 -2020 -2600 -2456 2700 2172 2280 2168 2076 -2380 -2484 -2112 -2324 2476 -2492 -2640 2152 2524 2348 -2740 2472 2076 -2632 -2528 -2416 2692 2300 2548 -2096 2020 -2432 2072 -2560 2624 -2684 2124 2636 -2572 -2496 -2020 2508 2188 -2100 -2700 2156 -2352 -2020 2232 -2592 -2076 -2060 2460 -2260 -2572 -2720 -2484 -2192 -2120 -2164 2104 -2684 -2336 -2200 2688 2296 -2508 -2560 -2740 -2536 2020 -2360 -2444 2020 -2304 2576 2220 -2060 -2196 -2204 -2700 -2732 2440 -2060 -2620 -2036 -2060 -2088 2712 -2408 2596 -2700 -2732 2560 2020 -2060 -2716 -2508 2212 2728 -2184 2596 -2244 -2032 2080 -2136 -2356 -2728 2436 -2524 2060 2480 2160 -2576 -2596 2148 2020 2492 -2280 2584 2076 -2572 -2520 2500 2216 2060 2296 2128 -2444 2576 -2436 2676 2664 -2212 -2024 -2136 -2180 2212 -2080 2584 -2572 2244 2156 2428 -2628 2372 -2740 2292 2688 2588 2740 -2624 -2740 2528 -2492 -2060 2476 2256 -2552 -2092 2144 2552 -2084 -2556 2168 -2316 2244 -2240 -2452 2416 -2520 2408 -2252 -2404 -2516 2680 2668 2476 -2188 -2052 -2272 2316 -2084 -2196 2376 -2080 -2148 -2064 -2644 2556 2336 -2664 -2664 -2552 2596 -2556 -2088 2644 -2488 2228 2188 2576 -2620 2148 -2404 -2552 -2084 2340 -2040 -2076 -2652 2472 -2328 2304 -2240 -2216 2280 -2052 -2700 -2700 -2740 2392 -2552 -2324 -2060 2412 2420 2272 -2676 -2288 -2072 -2560 2700 2360 -2128 -2548 2592 2584 -2584 2532 -2272 2700 -2604 -2488 -2600 2692 2472 2072 2592 -2696 2140 2616 -2324 2624 2504 -2600 -2444 2600 2164 -2152 -2284 -2636 -2444 2608 2152 -2572 2244 -2640 -2100 -2740 2124 -2100 2696 2320 -2260 -2680 2700 -2576 -2496 2620 -2432 2380 -2200 -2472 2260 -2144 -2640 -2204 2320 2076 2664 -2060 -2100 -2320 -2060 2348 -2544 -2092 2704 -2664 -2180 -2688 -2348 -2476 2564 -2672 -2456 2316 2728 -2308 -2332 -2660 -2348 2600 2636 2292 -2424 -2088 -2508 -2548 -2676 2624 2724 2716 -2616 2584 2376 2036 2524 2076 -2060 -2392 -2260 -2092 2700 2564 2112 2176 -2656 -2300 -2292 2072 -2216 -2532 2672 -2404 -2140 2532 -2084 2060 -2700 -2648 2272 2648 -2516 2636 -2336 2152 2548 2020 2204 -2120 2044 2296 2456 2404 -2064 2556 -2280 2352 -2448 -2700 2336 -2552 -2564 2448 2692 2396 2712 2448 2064 -2544 -2036 -2028 -2368 -2144 -2684 2488 -2580 -2048 2636 -2056 -2700 -2472 2564 -2556 2456 2292 2332 -2060 -2224 -2268 2592 2588 2652 -2512 -2256 -2512 -2392 -2172 2512 -2148 2408 -2104 2676 -2452 -2184 2356 -2512 -2724 -2196 -2480 2024 -2436 2496 2392 -2620 -2544 -2152 -2740 2040 -2044 -2656 2480 -2704 -2296 -2644 -2160 2228 -2056 2648 2088 2520 -2060 2540 -2060 2720 2304 -2060 2668 -2568 -2412 2568 -2536 2120 -2172 2188 -2552 2576 -2636 -2496 2484 2104 -2024 -2072 -2248 2580 -2732 -2360 -2368 -2052 -2740 -2204 2540 -2144 -2536 -2700 2096 -2140 2692 -2492 2048 -2532 -2568 -2312 2140 -2600 2376 2160 2592 -2468 2596 -2448 -2508 -2408 
415.65/423.41	d ASSIGNMENTS 14255
415.65/423.41	d CHECKS 721391134

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-1087234-1215243171/watcher-1087234-1215243171 -o /tmp/evaluation-result-1087234-1215243171/solver-1087234-1215243171 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1087234-1215243171.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/81 32590
/proc/meminfo: memFree=1717552/2055920 swapFree=4180436/4192956
[pid=32590] ppid=32588 vsize=18572 CPUtime=0
/proc/32590/stat : 32590 (runsolver) R 32588 32590 31321 0 -1 4194368 15 0 0 0 0 0 0 0 21 0 1 0 2003285885 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 231962373415 0 0 4096 24578 0 0 0 17 1 0 0
/proc/32590/statm: 4643 292 257 25 0 2626 0

[startup+0.0993759 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 32590
/proc/meminfo: memFree=1717552/2055920 swapFree=4180436/4192956
[pid=32590] ppid=32588 vsize=5360 CPUtime=0
/proc/32590/stat : 32590 (hydra) S 32588 32590 31321 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2003285885 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32590/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.101371 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 32590
/proc/meminfo: memFree=1717552/2055920 swapFree=4180436/4192956
[pid=32590] ppid=32588 vsize=5360 CPUtime=0
/proc/32590/stat : 32590 (hydra) S 32588 32590 31321 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2003285885 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32590/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.301405 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 32590
/proc/meminfo: memFree=1717552/2055920 swapFree=4180436/4192956
[pid=32590] ppid=32588 vsize=5360 CPUtime=0
/proc/32590/stat : 32590 (hydra) S 32588 32590 31321 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2003285885 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32590/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.701458 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 32590
/proc/meminfo: memFree=1717552/2055920 swapFree=4180436/4192956
[pid=32590] ppid=32588 vsize=5360 CPUtime=0
/proc/32590/stat : 32590 (hydra) S 32588 32590 31321 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2003285885 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32590/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+1.50157 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 32594
/proc/meminfo: memFree=1702112/2055920 swapFree=4180436/4192956
[pid=32590] ppid=32588 vsize=5360 CPUtime=0
/proc/32590/stat : 32590 (hydra) S 32588 32590 31321 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2003285885 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32590/statm: 1340 236 195 169 0 51 0
[pid=32594] ppid=32590 vsize=25956 CPUtime=1.47
/proc/32594/stat : 32594 (xsolve) R 32590 32590 31321 0 -1 4194304 5955 0 0 0 144 3 0 0 25 0 1 0 2003285886 26578944 5718 996147200 134512640 135239763 4294956176 18446744073709551615 134704396 0 0 4096 0 0 0 0 17 1 0 0
/proc/32594/statm: 6489 5718 379 177 0 5392 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 31316

[startup+3.10178 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 32594
/proc/meminfo: memFree=1650976/2055920 swapFree=4180436/4192956
[pid=32590] ppid=32588 vsize=5360 CPUtime=0
/proc/32590/stat : 32590 (hydra) S 32588 32590 31321 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2003285885 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32590/statm: 1340 236 195 169 0 51 0
[pid=32594] ppid=32590 vsize=106900 CPUtime=3.05
/proc/32594/stat : 32594 (xsolve) R 32590 32590 31321 0 -1 4194304 18398 0 0 0 294 11 0 0 25 0 1 0 2003285886 109465600 18095 996147200 134512640 135239763 4294956176 18446744073709551615 134538502 0 0 4096 0 0 0 0 17 1 0 0
/proc/32594/statm: 26725 18095 417 177 0 25628 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 112260

[startup+6.30121 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 32594
/proc/meminfo: memFree=1646240/2055920 swapFree=4180436/4192956
[pid=32590] ppid=32588 vsize=5360 CPUtime=0
/proc/32590/stat : 32590 (hydra) S 32588 32590 31321 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2003285885 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32590/statm: 1340 236 195 169 0 51 0
[pid=32594] ppid=32590 vsize=106900 CPUtime=6.22
/proc/32594/stat : 32594 (xsolve) R 32590 32590 31321 0 -1 4194304 18398 0 0 0 611 11 0 0 25 0 1 0 2003285886 109465600 18095 996147200 134512640 135239763 4294956176 18446744073709551615 134820117 0 0 4096 0 0 0 0 17 1 0 0
/proc/32594/statm: 26725 18095 417 177 0 25628 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 112260

[startup+12.7021 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 32594
/proc/meminfo: memFree=1646368/2055920 swapFree=4180436/4192956
[pid=32590] ppid=32588 vsize=5360 CPUtime=0
/proc/32590/stat : 32590 (hydra) S 32588 32590 31321 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2003285885 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32590/statm: 1340 236 195 169 0 51 0
[pid=32594] ppid=32590 vsize=106900 CPUtime=12.56
/proc/32594/stat : 32594 (xsolve) R 32590 32590 31321 0 -1 4194304 18398 0 0 0 1245 11 0 0 25 0 1 0 2003285886 109465600 18095 996147200 134512640 135239763 4294956176 18446744073709551615 134535329 0 0 4096 0 0 0 0 17 1 0 0
/proc/32594/statm: 26725 18095 417 177 0 25628 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 112260

[startup+25.5018 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 32594
/proc/meminfo: memFree=1646496/2055920 swapFree=4180436/4192956
[pid=32590] ppid=32588 vsize=5360 CPUtime=0
/proc/32590/stat : 32590 (hydra) S 32588 32590 31321 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2003285885 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32590/statm: 1340 236 195 169 0 51 0
[pid=32594] ppid=32590 vsize=106900 CPUtime=25.25
/proc/32594/stat : 32594 (xsolve) R 32590 32590 31321 0 -1 4194304 18398 0 0 0 2514 11 0 0 25 0 1 0 2003285886 109465600 18095 996147200 134512640 135239763 4294956176 18446744073709551615 134543144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32594/statm: 26725 18095 417 177 0 25628 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 112260

[startup+51.1013 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 32594
/proc/meminfo: memFree=1646688/2055920 swapFree=4180436/4192956
[pid=32590] ppid=32588 vsize=5360 CPUtime=0
/proc/32590/stat : 32590 (hydra) S 32588 32590 31321 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2003285885 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32590/statm: 1340 236 195 169 0 51 0
[pid=32594] ppid=32590 vsize=106900 CPUtime=50.63
/proc/32594/stat : 32594 (xsolve) R 32590 32590 31321 0 -1 4194304 18398 0 0 0 5052 11 0 0 25 0 1 0 2003285886 109465600 18095 996147200 134512640 135239763 4294956176 18446744073709551615 134534753 0 0 4096 0 0 0 0 17 1 0 0
/proc/32594/statm: 26725 18095 417 177 0 25628 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 112260

[startup+102.307 s]
/proc/loadavg: 2.06 2.02 2.00 3/103 32618
/proc/meminfo: memFree=1484480/2055920 swapFree=4180436/4192956
[pid=32590] ppid=32588 vsize=5360 CPUtime=54.7
/proc/32590/stat : 32590 (hydra) S 32588 32590 31321 0 -1 4194304 375 19006 0 0 0 0 5458 12 18 0 1 0 2003285885 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32590/statm: 1340 238 196 169 0 51 0
[pid=32598] ppid=32590 vsize=197432 CPUtime=5.95
/proc/32598/stat : 32598 (java) S 32590 32590 31321 0 -1 0 11476 0 1 0 579 16 0 0 18 0 10 0 2003291406 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32598/statm: 49358 9427 2544 9 0 43940 0
[pid=32608] ppid=32598 vsize=5356 CPUtime=0
/proc/32608/stat : 32608 (abscon) S 32598 32590 31321 0 -1 4194304 302 0 0 0 0 0 0 0 18 0 1 0 2003292020 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 231962370884 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/32608/statm: 1339 235 194 169 0 50 0
[pid=32609] ppid=32608 vsize=655756 CPUtime=40.14
/proc/32609/stat : 32609 (java) S 32608 32590 31321 0 -1 0 54216 0 1 0 3986 28 0 0 18 0 9 0 2003292021 671494144 53485 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32609/statm: 163939 53485 2617 9 0 158467 0
[pid=32609/tid=32611] ppid=32608 vsize=655756 CPUtime=37.84
/proc/32609/task/32611/stat : 32611 (java) R 32608 32590 31321 0 -1 64 12569 0 1 0 3774 10 0 0 25 0 9 0 2003292022 671494144 53485 996147200 134512640 134550740 4294955808 18446744073709551615 4126457513 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32609/tid=32612] ppid=32608 vsize=655756 CPUtime=1.89
/proc/32609/task/32612/stat : 32612 (java) S 32608 32590 31321 0 -1 64 40340 0 0 0 173 16 0 0 16 0 9 0 2003292023 671494144 53485 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32609/tid=32613] ppid=32608 vsize=655756 CPUtime=0
/proc/32609/task/32613/stat : 32613 (java) S 32608 32590 31321 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2003292023 671494144 53485 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32609/tid=32614] ppid=32608 vsize=655756 CPUtime=0
/proc/32609/task/32614/stat : 32614 (java) S 32608 32590 31321 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 2003292023 671494144 53485 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32609/tid=32615] ppid=32608 vsize=655756 CPUtime=0
/proc/32609/task/32615/stat : 32615 (java) S 32608 32590 31321 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003292025 671494144 53485 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32609/tid=32616] ppid=32608 vsize=655756 CPUtime=0.39
/proc/32609/task/32616/stat : 32616 (java) S 32608 32590 31321 0 -1 64 748 0 0 0 38 1 0 0 16 0 9 0 2003292025 671494144 53485 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32609/tid=32617] ppid=32608 vsize=655756 CPUtime=0
/proc/32609/task/32617/stat : 32617 (java) S 32608 32590 31321 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003292025 671494144 53485 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32609/tid=32618] ppid=32608 vsize=655756 CPUtime=0
/proc/32609/task/32618/stat : 32618 (java) S 32608 32590 31321 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003292025 671494144 53485 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32610] ppid=32608 vsize=7044 CPUtime=0
/proc/32610/stat : 32610 (translate) S 32608 32590 31321 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2003292021 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 231962542162 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/32610/statm: 1761 213 182 1 0 41 0
[pid=32598/tid=32599] ppid=32590 vsize=197432 CPUtime=4.77
/proc/32598/task/32599/stat : 32599 (java) S 32590 32590 31321 0 -1 64 3860 0 1 0 471 6 0 0 25 0 10 0 2003291407 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=32598/tid=32600] ppid=32590 vsize=197432 CPUtime=0.93
/proc/32598/task/32600/stat : 32600 (java) S 32590 32590 31321 0 -1 64 6126 0 0 0 84 9 0 0 16 0 10 0 2003291408 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32598/tid=32601] ppid=32590 vsize=197432 CPUtime=0
/proc/32598/task/32601/stat : 32601 (java) S 32590 32590 31321 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003291409 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32598/tid=32602] ppid=32590 vsize=197432 CPUtime=0
/proc/32598/task/32602/stat : 32602 (java) S 32590 32590 31321 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2003291409 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32598/tid=32603] ppid=32590 vsize=197432 CPUtime=0
/proc/32598/task/32603/stat : 32603 (java) S 32590 32590 31321 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2003291411 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32598/tid=32604] ppid=32590 vsize=197432 CPUtime=0.23
/proc/32598/task/32604/stat : 32604 (java) S 32590 32590 31321 0 -1 64 667 0 0 0 23 0 0 0 16 0 10 0 2003291411 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32598/tid=32605] ppid=32590 vsize=197432 CPUtime=0
/proc/32598/task/32605/stat : 32605 (java) S 32590 32590 31321 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2003291411 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32598/tid=32606] ppid=32590 vsize=197432 CPUtime=0
/proc/32598/task/32606/stat : 32606 (java) S 32590 32590 31321 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 2003291411 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32598/tid=32607] ppid=32590 vsize=197432 CPUtime=0
/proc/32598/task/32607/stat : 32607 (java) S 32590 32590 31321 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 2003292020 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 100.79
Current children cumulated vsize (KiB) 870948

[startup+162.302 s]
/proc/loadavg: 2.02 2.01 2.00 3/103 32618
/proc/meminfo: memFree=1484160/2055920 swapFree=4180436/4192956
[pid=32590] ppid=32588 vsize=5360 CPUtime=54.7
/proc/32590/stat : 32590 (hydra) S 32588 32590 31321 0 -1 4194304 375 19006 0 0 0 0 5458 12 18 0 1 0 2003285885 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32590/statm: 1340 238 196 169 0 51 0
[pid=32598] ppid=32590 vsize=197432 CPUtime=5.95
/proc/32598/stat : 32598 (java) S 32590 32590 31321 0 -1 0 11476 0 1 0 579 16 0 0 18 0 10 0 2003291406 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32598/statm: 49358 9427 2544 9 0 43940 0
[pid=32608] ppid=32598 vsize=5356 CPUtime=0
/proc/32608/stat : 32608 (abscon) S 32598 32590 31321 0 -1 4194304 302 0 0 0 0 0 0 0 18 0 1 0 2003292020 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 231962370884 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/32608/statm: 1339 235 194 169 0 50 0
[pid=32609] ppid=32608 vsize=655756 CPUtime=98.99
/proc/32609/stat : 32609 (java) S 32608 32590 31321 0 -1 0 54244 0 1 0 9871 28 0 0 18 0 9 0 2003292021 671494144 53503 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32609/statm: 163939 53503 2617 9 0 158467 0
[pid=32609/tid=32611] ppid=32608 vsize=655756 CPUtime=96.65
/proc/32609/task/32611/stat : 32611 (java) R 32608 32590 31321 0 -1 64 12577 0 1 0 9655 10 0 0 25 0 9 0 2003292022 671494144 53503 996147200 134512640 134550740 4294955808 18446744073709551615 4126906782 0 4 0 16800975 0 0 0 -1 1 0 0

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

/proc/32609/task/32618/stat : 32618 (java) S 32608 32590 31321 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003292025 671494144 53521 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32610] ppid=32608 vsize=7044 CPUtime=0
/proc/32610/stat : 32610 (translate) S 32608 32590 31321 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2003292021 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 231962542162 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/32610/statm: 1761 213 182 1 0 41 0
[pid=32598/tid=32599] ppid=32590 vsize=197432 CPUtime=4.77
/proc/32598/task/32599/stat : 32599 (java) S 32590 32590 31321 0 -1 64 3860 0 1 0 471 6 0 0 25 0 10 0 2003291407 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=32598/tid=32600] ppid=32590 vsize=197432 CPUtime=0.93
/proc/32598/task/32600/stat : 32600 (java) S 32590 32590 31321 0 -1 64 6126 0 0 0 84 9 0 0 16 0 10 0 2003291408 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32598/tid=32601] ppid=32590 vsize=197432 CPUtime=0
/proc/32598/task/32601/stat : 32601 (java) S 32590 32590 31321 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003291409 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32598/tid=32602] ppid=32590 vsize=197432 CPUtime=0
/proc/32598/task/32602/stat : 32602 (java) S 32590 32590 31321 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2003291409 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32598/tid=32603] ppid=32590 vsize=197432 CPUtime=0
/proc/32598/task/32603/stat : 32603 (java) S 32590 32590 31321 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2003291411 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32598/tid=32604] ppid=32590 vsize=197432 CPUtime=0.23
/proc/32598/task/32604/stat : 32604 (java) S 32590 32590 31321 0 -1 64 667 0 0 0 23 0 0 0 16 0 10 0 2003291411 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32598/tid=32605] ppid=32590 vsize=197432 CPUtime=0
/proc/32598/task/32605/stat : 32605 (java) S 32590 32590 31321 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2003291411 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32598/tid=32606] ppid=32590 vsize=197432 CPUtime=0
/proc/32598/task/32606/stat : 32606 (java) S 32590 32590 31321 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 2003291411 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32598/tid=32607] ppid=32590 vsize=197432 CPUtime=0
/proc/32598/task/32607/stat : 32607 (java) S 32590 32590 31321 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 2003292020 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 414.6
Current children cumulated vsize (KiB) 870948

[startup+423.104 s]
/proc/loadavg: 2.02 2.01 2.00 3/103 32618
/proc/meminfo: memFree=1483776/2055920 swapFree=4180436/4192956
[pid=32590] ppid=32588 vsize=5360 CPUtime=54.7
/proc/32590/stat : 32590 (hydra) S 32588 32590 31321 0 -1 4194304 375 19006 0 0 0 0 5458 12 18 0 1 0 2003285885 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32590/statm: 1340 238 196 169 0 51 0
[pid=32598] ppid=32590 vsize=197432 CPUtime=5.95
/proc/32598/stat : 32598 (java) S 32590 32590 31321 0 -1 0 11476 0 1 0 579 16 0 0 18 0 10 0 2003291406 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32598/statm: 49358 9427 2544 9 0 43940 0
[pid=32608] ppid=32598 vsize=5356 CPUtime=0
/proc/32608/stat : 32608 (abscon) S 32598 32590 31321 0 -1 4194304 302 0 0 0 0 0 0 0 18 0 1 0 2003292020 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 231962370884 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/32608/statm: 1339 235 194 169 0 50 0
[pid=32609] ppid=32608 vsize=655756 CPUtime=354.74
/proc/32609/stat : 32609 (java) S 32608 32590 31321 0 -1 0 54281 0 1 0 35445 29 0 0 18 0 9 0 2003292021 671494144 53521 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32609/statm: 163939 53521 2617 9 0 158467 0
[pid=32609/tid=32611] ppid=32608 vsize=655756 CPUtime=352.34
/proc/32609/task/32611/stat : 32611 (java) R 32608 32590 31321 0 -1 64 12585 0 1 0 35224 10 0 0 25 0 9 0 2003292022 671494144 53521 996147200 134512640 134550740 4294955808 18446744073709551615 4127444302 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32609/tid=32612] ppid=32608 vsize=655756 CPUtime=1.89
/proc/32609/task/32612/stat : 32612 (java) S 32608 32590 31321 0 -1 64 40340 0 0 0 173 16 0 0 16 0 9 0 2003292023 671494144 53521 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32609/tid=32613] ppid=32608 vsize=655756 CPUtime=0
/proc/32609/task/32613/stat : 32613 (java) S 32608 32590 31321 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2003292023 671494144 53521 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32609/tid=32614] ppid=32608 vsize=655756 CPUtime=0
/proc/32609/task/32614/stat : 32614 (java) S 32608 32590 31321 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 2003292023 671494144 53521 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32609/tid=32615] ppid=32608 vsize=655756 CPUtime=0
/proc/32609/task/32615/stat : 32615 (java) S 32608 32590 31321 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003292025 671494144 53521 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32609/tid=32616] ppid=32608 vsize=655756 CPUtime=0.47
/proc/32609/task/32616/stat : 32616 (java) S 32608 32590 31321 0 -1 64 797 0 0 0 46 1 0 0 16 0 9 0 2003292025 671494144 53521 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32609/tid=32617] ppid=32608 vsize=655756 CPUtime=0
/proc/32609/task/32617/stat : 32617 (java) S 32608 32590 31321 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003292025 671494144 53521 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32609/tid=32618] ppid=32608 vsize=655756 CPUtime=0
/proc/32609/task/32618/stat : 32618 (java) S 32608 32590 31321 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003292025 671494144 53521 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32610] ppid=32608 vsize=7044 CPUtime=0
/proc/32610/stat : 32610 (translate) S 32608 32590 31321 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2003292021 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 231962542162 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/32610/statm: 1761 213 182 1 0 41 0
[pid=32598/tid=32599] ppid=32590 vsize=197432 CPUtime=4.77
/proc/32598/task/32599/stat : 32599 (java) S 32590 32590 31321 0 -1 64 3860 0 1 0 471 6 0 0 25 0 10 0 2003291407 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=32598/tid=32600] ppid=32590 vsize=197432 CPUtime=0.93
/proc/32598/task/32600/stat : 32600 (java) S 32590 32590 31321 0 -1 64 6126 0 0 0 84 9 0 0 16 0 10 0 2003291408 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32598/tid=32601] ppid=32590 vsize=197432 CPUtime=0
/proc/32598/task/32601/stat : 32601 (java) S 32590 32590 31321 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003291409 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32598/tid=32602] ppid=32590 vsize=197432 CPUtime=0
/proc/32598/task/32602/stat : 32602 (java) S 32590 32590 31321 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2003291409 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32598/tid=32603] ppid=32590 vsize=197432 CPUtime=0
/proc/32598/task/32603/stat : 32603 (java) S 32590 32590 31321 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2003291411 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32598/tid=32604] ppid=32590 vsize=197432 CPUtime=0.23
/proc/32598/task/32604/stat : 32604 (java) S 32590 32590 31321 0 -1 64 667 0 0 0 23 0 0 0 16 0 10 0 2003291411 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32598/tid=32605] ppid=32590 vsize=197432 CPUtime=0
/proc/32598/task/32605/stat : 32605 (java) S 32590 32590 31321 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2003291411 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32598/tid=32606] ppid=32590 vsize=197432 CPUtime=0
/proc/32598/task/32606/stat : 32606 (java) S 32590 32590 31321 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 2003291411 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32598/tid=32607] ppid=32590 vsize=197432 CPUtime=0
/proc/32598/task/32607/stat : 32607 (java) S 32590 32590 31321 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 2003292020 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 415.39
Current children cumulated vsize (KiB) 870948

[startup+423.304 s]
/proc/loadavg: 2.02 2.01 2.00 3/103 32618
/proc/meminfo: memFree=1483776/2055920 swapFree=4180436/4192956
[pid=32590] ppid=32588 vsize=5360 CPUtime=54.7
/proc/32590/stat : 32590 (hydra) S 32588 32590 31321 0 -1 4194304 375 19006 0 0 0 0 5458 12 18 0 1 0 2003285885 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32590/statm: 1340 238 196 169 0 51 0
[pid=32598] ppid=32590 vsize=197432 CPUtime=5.95
/proc/32598/stat : 32598 (java) S 32590 32590 31321 0 -1 0 11476 0 1 0 579 16 0 0 18 0 10 0 2003291406 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32598/statm: 49358 9427 2544 9 0 43940 0
[pid=32608] ppid=32598 vsize=5356 CPUtime=0
/proc/32608/stat : 32608 (abscon) S 32598 32590 31321 0 -1 4194304 302 0 0 0 0 0 0 0 18 0 1 0 2003292020 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 231962370884 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/32608/statm: 1339 235 194 169 0 50 0
[pid=32609] ppid=32608 vsize=655756 CPUtime=354.93
/proc/32609/stat : 32609 (java) S 32608 32590 31321 0 -1 0 54285 0 1 0 35464 29 0 0 18 0 9 0 2003292021 671494144 53525 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32609/statm: 163939 53525 2617 9 0 158467 0
[pid=32609/tid=32611] ppid=32608 vsize=655756 CPUtime=352.53
/proc/32609/task/32611/stat : 32611 (java) R 32608 32590 31321 0 -1 64 12587 0 1 0 35243 10 0 0 25 0 9 0 2003292022 671494144 53525 996147200 134512640 134550740 4294955808 18446744073709551615 4127442190 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32609/tid=32612] ppid=32608 vsize=655756 CPUtime=1.89
/proc/32609/task/32612/stat : 32612 (java) S 32608 32590 31321 0 -1 64 40340 0 0 0 173 16 0 0 16 0 9 0 2003292023 671494144 53525 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32609/tid=32613] ppid=32608 vsize=655756 CPUtime=0
/proc/32609/task/32613/stat : 32613 (java) S 32608 32590 31321 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2003292023 671494144 53525 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32609/tid=32614] ppid=32608 vsize=655756 CPUtime=0
/proc/32609/task/32614/stat : 32614 (java) S 32608 32590 31321 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 2003292023 671494144 53525 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32609/tid=32615] ppid=32608 vsize=655756 CPUtime=0
/proc/32609/task/32615/stat : 32615 (java) S 32608 32590 31321 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003292025 671494144 53525 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32609/tid=32616] ppid=32608 vsize=655756 CPUtime=0.48
/proc/32609/task/32616/stat : 32616 (java) S 32608 32590 31321 0 -1 64 799 0 0 0 47 1 0 0 16 0 9 0 2003292025 671494144 53525 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32609/tid=32617] ppid=32608 vsize=655756 CPUtime=0
/proc/32609/task/32617/stat : 32617 (java) S 32608 32590 31321 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003292025 671494144 53525 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32609/tid=32618] ppid=32608 vsize=655756 CPUtime=0
/proc/32609/task/32618/stat : 32618 (java) S 32608 32590 31321 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003292025 671494144 53525 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32610] ppid=32608 vsize=7044 CPUtime=0
/proc/32610/stat : 32610 (translate) S 32608 32590 31321 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2003292021 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 231962542162 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/32610/statm: 1761 213 182 1 0 41 0
[pid=32598/tid=32599] ppid=32590 vsize=197432 CPUtime=4.77
/proc/32598/task/32599/stat : 32599 (java) S 32590 32590 31321 0 -1 64 3860 0 1 0 471 6 0 0 25 0 10 0 2003291407 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=32598/tid=32600] ppid=32590 vsize=197432 CPUtime=0.93
/proc/32598/task/32600/stat : 32600 (java) S 32590 32590 31321 0 -1 64 6126 0 0 0 84 9 0 0 16 0 10 0 2003291408 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32598/tid=32601] ppid=32590 vsize=197432 CPUtime=0
/proc/32598/task/32601/stat : 32601 (java) S 32590 32590 31321 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003291409 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32598/tid=32602] ppid=32590 vsize=197432 CPUtime=0
/proc/32598/task/32602/stat : 32602 (java) S 32590 32590 31321 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2003291409 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32598/tid=32603] ppid=32590 vsize=197432 CPUtime=0
/proc/32598/task/32603/stat : 32603 (java) S 32590 32590 31321 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2003291411 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32598/tid=32604] ppid=32590 vsize=197432 CPUtime=0.23
/proc/32598/task/32604/stat : 32604 (java) S 32590 32590 31321 0 -1 64 667 0 0 0 23 0 0 0 16 0 10 0 2003291411 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32598/tid=32605] ppid=32590 vsize=197432 CPUtime=0
/proc/32598/task/32605/stat : 32605 (java) S 32590 32590 31321 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2003291411 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32598/tid=32606] ppid=32590 vsize=197432 CPUtime=0
/proc/32598/task/32606/stat : 32606 (java) S 32590 32590 31321 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 2003291411 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32598/tid=32607] ppid=32590 vsize=197432 CPUtime=0
/proc/32598/task/32607/stat : 32607 (java) S 32590 32590 31321 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 2003292020 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 415.58
Current children cumulated vsize (KiB) 870948

[startup+423.404 s]
/proc/loadavg: 2.02 2.01 2.00 3/95 32618
/proc/meminfo: memFree=1667400/2055920 swapFree=4180436/4192956
[pid=32590] ppid=32588 vsize=5360 CPUtime=54.7
/proc/32590/stat : 32590 (hydra) S 32588 32590 31321 0 -1 4194304 375 19006 0 0 0 0 5458 12 18 0 1 0 2003285885 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32590/statm: 1340 238 196 169 0 51 0
[pid=32598] ppid=32590 vsize=197432 CPUtime=5.95
/proc/32598/stat : 32598 (java) S 32590 32590 31321 0 -1 0 11499 0 1 0 579 16 0 0 18 0 10 0 2003291406 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32598/statm: 49358 9427 2544 9 0 43940 0
[pid=32608] ppid=32598 vsize=5356 CPUtime=0
/proc/32608/stat : 32608 (abscon) S 32598 32590 31321 0 -1 4194304 302 292 0 0 0 0 0 0 16 0 1 0 2003292020 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 231962370884 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/32608/statm: 1339 235 194 169 0 50 0
[pid=32609] ppid=32608 vsize=0 CPUtime=355
/proc/32609/stat : 32609 (java) Z 32608 32590 31321 0 -1 12 54293 0 1 0 35468 32 0 0 16 0 2 0 2003292021 0 0 996147200 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32609/statm: 0 0 0 0 0 0 0
[pid=32598/tid=32599] ppid=32590 vsize=197432 CPUtime=4.77
/proc/32598/task/32599/stat : 32599 (java) S 32590 32590 31321 0 -1 64 3883 0 1 0 471 6 0 0 16 0 10 0 2003291407 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=32598/tid=32600] ppid=32590 vsize=197432 CPUtime=0.93
/proc/32598/task/32600/stat : 32600 (java) S 32590 32590 31321 0 -1 64 6126 0 0 0 84 9 0 0 16 0 10 0 2003291408 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32598/tid=32601] ppid=32590 vsize=197432 CPUtime=0
/proc/32598/task/32601/stat : 32601 (java) S 32590 32590 31321 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003291409 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32598/tid=32602] ppid=32590 vsize=197432 CPUtime=0
/proc/32598/task/32602/stat : 32602 (java) S 32590 32590 31321 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2003291409 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32598/tid=32603] ppid=32590 vsize=197432 CPUtime=0
/proc/32598/task/32603/stat : 32603 (java) S 32590 32590 31321 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2003291411 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32598/tid=32604] ppid=32590 vsize=197432 CPUtime=0.23
/proc/32598/task/32604/stat : 32604 (java) S 32590 32590 31321 0 -1 64 667 0 0 0 23 0 0 0 16 0 10 0 2003291411 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32598/tid=32605] ppid=32590 vsize=197432 CPUtime=0
/proc/32598/task/32605/stat : 32605 (java) S 32590 32590 31321 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2003291411 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32598/tid=32606] ppid=32590 vsize=197432 CPUtime=0
/proc/32598/task/32606/stat : 32606 (java) S 32590 32590 31321 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 2003291411 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32598/tid=32607] ppid=32590 vsize=197432 CPUtime=0
/proc/32598/task/32607/stat : 32607 (java) S 32590 32590 31321 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 2003292020 202170368 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 415.65
Current children cumulated vsize (KiB) 208148

Child status: 0
Real time (s): 423.428
CPU time (s): 415.716
CPU user time (s): 415.069
CPU system time (s): 0.646901
CPU usage (%): 98.1787
Max. virtual memory (cumulated for all children) (KiB): 870948

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

runsolver used 1.75373 second user time and 3.83742 second system time

The end

Launcher Data (download as text)

Begin job on node71 at 2008-07-05 09:32:51
IDJOB=1087234
IDBENCH=57949
IDSOLVER=366
FILE ID=node71/1087234-1215243171
PBS_JOBID= 7881915
Free space on /tmp= 66512 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 82e6ad1aef50625fbf6be40e28789b38
RANDOM SEED=1269123468

node71.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.209
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.209
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:       1718032 kB
Buffers:         23416 kB
Cached:         175576 kB
SwapCached:       6572 kB
Active:         236984 kB
Inactive:        45012 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1718032 kB
SwapTotal:     4192956 kB
SwapFree:      4180436 kB
Dirty:           29984 kB
Writeback:           0 kB
Mapped:          99124 kB
Slab:            40752 kB
Committed_AS:  4376972 kB
PageTables:       2072 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= 66488 MiB
End job on node71 at 2008-07-05 09:39:55