Trace number 1085995

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 312.075 312.384

DiagnosticValue
ASSIGNMENTS12620
CHECKS576079000

General information on the benchmark

Namecsp/fapp/fapp12/
normalized-fapp12-1500-9.xml
MD5SUMa935103af39bd284c54c6d98a149f42a
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 benchmark203.296
Satisfiable
(Un)Satisfiability was proved
Number of variables1500
Number of constraints25409
Maximum constraint arity2
Maximum domain size310
Number of constraints which are defined in extension0
Number of constraints which are defined in intension25409
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.00	c cpHydra_k_40 version 0.0
32.12/32.23	c CASE TO CLASSIFY:
32.12/32.23	c Case: 0
32.12/32.23	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.220100 | c 15 >  14.645000 | 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
32.12/32.24	c choco : 1801.0
32.12/32.24	c mistral : 1801.0
32.12/32.24	c abscon : 1801.0
32.12/32.24	c
32.12/32.24	c
32.22/32.31	c List of same ones: 40
32.22/32.31	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-10.xml
32.22/32.31	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
32.22/32.32	c choco : 1801.0
32.22/32.32	c mistral : 1800.05
32.22/32.32	c abscon : 156.38
32.22/32.32	c
32.22/32.32	c
32.22/32.32	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-9.xml
32.22/32.32	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
32.22/32.32	c choco : 1801.0
32.22/32.32	c mistral : 1800.06
32.22/32.32	c abscon : 441.864
32.22/32.32	c
32.22/32.32	c
32.22/32.32	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-8.xml
32.22/32.32	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
32.22/32.33	c choco : 1801.0
32.22/32.33	c mistral : 1800.07
32.22/32.33	c abscon : 349.37
32.22/32.33	c
32.22/32.33	c
32.22/32.33	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-10.xml
32.22/32.33	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
32.22/32.34	c choco : 1801.0
32.22/32.34	c mistral : 228.6
32.22/32.34	c abscon : 55.2496
32.22/32.34	c
32.22/32.34	c
32.22/32.34	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-10.xml
32.22/32.34	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
32.22/32.35	c choco : 1801.0
32.22/32.35	c mistral : 1800.04
32.22/32.35	c abscon : 331.113
32.22/32.35	c
32.22/32.35	c
32.22/32.35	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-1.xml
32.22/32.35	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
32.22/32.36	c choco : 1801.0
32.22/32.36	c mistral : 1800.03
32.22/32.36	c abscon : 20.0829
32.22/32.36	c
32.22/32.36	c
32.22/32.36	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-9.xml
32.22/32.36	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
32.22/32.37	c choco : 1801.0
32.22/32.37	c mistral : 1800.03
32.22/32.37	c abscon : 129.181
32.22/32.37	c
32.22/32.37	c
32.22/32.37	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-9.xml
32.22/32.37	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
32.22/32.38	c choco : 1801.0
32.22/32.38	c mistral : 1800.09
32.22/32.38	c abscon : 506.936
32.22/32.38	c
32.22/32.38	c
32.22/32.38	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-8.xml
32.22/32.38	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
32.22/32.38	c choco : 1801.0
32.22/32.38	c mistral : 1800.02
32.22/32.38	c abscon : 85.215
32.22/32.38	c
32.22/32.38	c
32.22/32.38	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-10.xml
32.22/32.38	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
32.22/32.39	c choco : 1801.0
32.22/32.39	c mistral : 81.4206
32.22/32.39	c abscon : 52.605
32.22/32.39	c
32.22/32.39	c
32.22/32.39	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-7.xml
32.22/32.39	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
32.30/32.40	c choco : 1801.0
32.30/32.40	c mistral : 1800.1
32.30/32.40	c abscon : 11.7712
32.30/32.40	c
32.30/32.40	c
32.30/32.40	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-0.xml
32.30/32.40	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
32.30/32.42	c choco : 1801.0
32.30/32.42	c mistral : 71.15
32.30/32.42	c abscon : 8.93264
32.30/32.42	c
32.30/32.42	c
32.30/32.42	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-6.xml
32.30/32.42	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
32.30/32.43	c choco : 1801.0
32.30/32.43	c mistral : 80.98
32.30/32.43	c abscon : 8.12576
32.30/32.43	c
32.30/32.43	c
32.30/32.43	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-5.xml
32.30/32.43	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
32.30/32.43	c choco : 1801.0
32.30/32.43	c mistral : 108.251
32.30/32.43	c abscon : 8.62069
32.30/32.43	c
32.30/32.43	c
32.30/32.43	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-3.xml
32.30/32.43	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
32.30/32.44	c choco : 1801.0
32.30/32.45	c mistral : 1800.08
32.30/32.45	c abscon : 15.1547
32.30/32.45	c
32.30/32.45	c
32.30/32.45	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-2.xml
32.30/32.45	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
32.30/32.45	c choco : 1801.0
32.30/32.45	c mistral : 1800.08
32.30/32.45	c abscon : 12.863
32.30/32.45	c
32.30/32.45	c
32.30/32.45	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-4.xml
32.30/32.45	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
32.30/32.46	c choco : 1801.0
32.30/32.46	c mistral : 233.323
32.30/32.46	c abscon : 8.47971
32.30/32.46	c
32.30/32.46	c
32.30/32.46	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-3.xml
32.30/32.46	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
32.30/32.46	c choco : 1801.0
32.30/32.46	c mistral : 155.051
32.30/32.46	c abscon : 7.09492
32.30/32.46	c
32.30/32.46	c
32.30/32.46	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-1.xml
32.30/32.46	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
32.30/32.47	c choco : 1801.0
32.30/32.47	c mistral : 71.9411
32.30/32.47	c abscon : 6.95394
32.30/32.47	c
32.30/32.47	c
32.30/32.47	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-3.xml
32.30/32.47	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
32.30/32.48	c choco : 1801.0
32.30/32.48	c mistral : 158.535
32.30/32.48	c abscon : 8.39572
32.30/32.48	c
32.30/32.48	c
32.30/32.48	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-9.xml
32.30/32.48	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
32.30/32.49	c choco : 1801.0
32.30/32.49	c mistral : 866.057
32.30/32.49	c abscon : 36.8914
32.30/32.49	c
32.30/32.49	c
32.30/32.49	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-8.xml
32.30/32.49	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.995800 | c 15 >  10.871900 | 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
32.30/32.49	c choco : 1801.0
32.30/32.49	c mistral : 1800.02
32.30/32.49	c abscon : 55.4456
32.30/32.49	c
32.30/32.49	c
32.30/32.49	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-8.xml
32.30/32.49	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
32.30/32.50	c choco : 1801.0
32.30/32.50	c mistral : 1800.03
32.30/32.50	c abscon : 11.3953
32.30/32.50	c
32.30/32.50	c
32.30/32.50	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-5.xml
32.30/32.50	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
32.36/32.50	c choco : 1801.0
32.36/32.50	c mistral : 152.693
32.36/32.50	c abscon : 6.91295
32.36/32.50	c
32.36/32.50	c
32.36/32.50	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-2.xml
32.36/32.50	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
32.36/32.51	c choco : 1801.0
32.36/32.51	c mistral : 1800.05
32.36/32.51	c abscon : 8.65568
32.36/32.51	c
32.36/32.51	c
32.36/32.51	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-6.xml
32.36/32.51	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
32.36/32.51	c choco : 1801.0
32.36/32.51	c mistral : 145.44
32.36/32.51	c abscon : 7.14491
32.36/32.51	c
32.36/32.51	c
32.36/32.51	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-1.xml
32.36/32.51	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
32.36/32.52	c choco : 1801.0
32.36/32.52	c mistral : 79.088
32.36/32.52	c abscon : 8.44271
32.36/32.52	c
32.36/32.52	c
32.36/32.52	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-2.xml
32.36/32.52	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
32.36/32.53	c choco : 1801.0
32.36/32.53	c mistral : 73.3329
32.36/32.53	c abscon : 6.84696
32.36/32.53	c
32.36/32.53	c
32.36/32.53	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-9.xml
32.36/32.53	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
32.36/32.53	c choco : 1801.0
32.36/32.53	c mistral : 1800.04
32.36/32.53	c abscon : 11.0943
32.36/32.53	c
32.36/32.53	c
32.36/32.53	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-7.xml
32.36/32.53	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.995800 | c 15 >  10.760700 | 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
32.36/32.54	c choco : 1801.0
32.36/32.54	c mistral : 22.7995
32.36/32.54	c abscon : 8.06777
32.36/32.54	c
32.36/32.54	c
32.36/32.54	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-0.xml
32.36/32.54	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
32.36/32.54	c choco : 1801.0
32.36/32.54	c mistral : 72.111
32.36/32.54	c abscon : 6.68698
32.36/32.54	c
32.36/32.54	c
32.36/32.54	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-6.xml
32.36/32.54	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.995800 | c 15 >  10.687400 | 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
32.36/32.55	c choco : 1801.0
32.36/32.55	c mistral : 19.3181
32.36/32.55	c abscon : 8.28274
32.36/32.55	c
32.36/32.55	c
32.36/32.55	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-7.xml
32.36/32.55	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
32.36/32.55	c choco : 1801.0
32.36/32.55	c mistral : 113.54
32.36/32.55	c abscon : 11.2793
32.36/32.55	c
32.36/32.55	c
32.36/32.55	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-4.xml
32.36/32.55	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
32.36/32.56	c choco : 1801.0
32.36/32.56	c mistral : 146.632
32.36/32.56	c abscon : 6.95894
32.36/32.56	c
32.36/32.56	c
32.36/32.56	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-4.xml
32.36/32.56	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.995800 | c 15 >  10.582100 | 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
32.36/32.56	c choco : 1801.0
32.36/32.56	c mistral : 28.7696
32.36/32.56	c abscon : 7.97079
32.36/32.56	c
32.36/32.56	c
32.36/32.56	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-1.xml
32.36/32.56	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
32.36/32.57	c choco : 1801.0
32.36/32.57	c mistral : 1800.05
32.36/32.57	c abscon : 13.29
32.36/32.57	c
32.36/32.57	c
32.36/32.57	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-3.xml
32.36/32.57	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
32.36/32.58	c choco : 1801.0
32.36/32.58	c mistral : 9.51455
32.36/32.58	c abscon : 7.00294
32.36/32.58	c
32.36/32.58	c
32.36/32.58	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-4.xml
32.36/32.58	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
32.36/32.59	c choco : 1801.0
32.36/32.59	c mistral : 1800.04
32.36/32.59	c abscon : 7.55785
32.36/32.59	c
32.36/32.59	c
32.36/32.59	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-8.xml
32.36/32.59	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
32.36/32.59	c choco : 1801.0
32.36/32.59	c mistral : 1800.03
32.36/32.59	c abscon : 11.9272
32.36/32.59	c
32.36/32.59	c
32.36/32.59	c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-9.xml
32.36/32.59	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
32.43/32.60	c choco : 1801.0
32.43/32.60	c mistral : 1800.06
32.43/32.60	c abscon : 12.5081
32.43/32.60	c
32.43/32.60	c
32.43/32.60	c Length: 40
32.43/32.60	c 3.7653999999999996  3.9558999999999997  4.081799999999999  4.466260603037063  4.50359138399611  4.597899999999999  4.643873129645231  4.673246853527426  4.8010416051353895  4.865365378255263  4.877408886308486  4.96025  4.99455010228559  5.122180328370037  5.122932390145706  5.144805663230049  5.151591546370984  5.154521456410476  5.1711077811815125  5.180244085816901  5.19438604590812  5.194967056096216  5.202982690139954  5.212494717685189  5.218479204398633  5.220153873536296  5.224459062356694  5.233659002599997  5.259084148584807  5.27628520778824  5.315474003566944  5.330478108380616  5.338264119786131  5.342445654135939  5.409117812908589  5.435944243469021  5.447132137514566  5.459305915118148  5.459305915118148  5.459305915118148  
32.43/32.60	c 
32.43/32.60	c 1.0  0.8989071311697425  0.8426110187406952  0.7073365617384005  0.6964795017596743  0.6704805055204015  0.6584977896497997  0.6510633660245762  0.6205812144867173  0.6062934678257389  0.6036911435289843  0.5863790382057489  0.5794982733935689  0.5552540575858496  0.555117208890015  0.5511663467680573  0.5499520506403707  0.549429411740278  0.5464893632197922  0.5448832857607255  0.5424157915989781  0.5423148945833779  0.5409267376141494  0.5392886258689927  0.5382630838045547  0.5379767992787897  0.5372422235006141  0.5356791815717474  0.5314064485288217  0.5285542333822881  0.5221690508505836  0.5197650258191855  0.5185262191765457  0.5178633432057904  0.5075185380826663  0.5034718409469524  0.5018031817116897  0.5  0.5  0.5  
32.43/32.61	c
32.43/32.61	c solver 0
32.43/32.62	c	  before 0.0 seconds: {} 0
32.43/32.62	c	  before 18.0 seconds: {10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15002
32.43/32.62	c	  before 36.0 seconds: {5, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15672
32.43/32.62	c	  before 54.0 seconds: {5, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16821
32.43/32.62	c	  before 72.0 seconds: {3, 5, 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} 18071
32.43/32.62	c	  before 90.0 seconds: {3, 5, 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} 18691
32.43/32.62	c	  before 144.0 seconds: {3, 5, 6, 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} 19350
32.43/32.62	c	  before 162.0 seconds: {0, 3, 5, 6, 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} 20350
32.43/32.62	c	  before 342.0 seconds: {0, 3, 4, 5, 6, 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} 21046
32.43/32.62	c	  before 360.0 seconds: {0, 2, 3, 4, 5, 6, 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} 21889
32.43/32.62	c	  before 450.0 seconds: {0, 1, 2, 3, 4, 5, 6, 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} 22788
32.43/32.62	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} 23439
32.43/32.62	c
32.43/32.62	c solver 1
32.43/32.62	c	  before 0.0 seconds: {} 0
32.43/32.62	c	  before 18.0 seconds: {36} 501
32.43/32.62	c	  before 36.0 seconds: {29, 31, 34, 36} 2057
32.43/32.62	c	  before 72.0 seconds: {11, 18, 29, 31, 34, 36} 3190
32.43/32.62	c	  before 90.0 seconds: {9, 11, 12, 18, 26, 27, 29, 30, 31, 34, 36} 5971
32.43/32.62	c	  before 126.0 seconds: {9, 11, 12, 13, 18, 26, 27, 29, 30, 31, 32, 34, 36} 7045
32.43/32.62	c	  before 162.0 seconds: {9, 11, 12, 13, 17, 18, 19, 23, 25, 26, 27, 29, 30, 31, 32, 33, 34, 36} 9734
32.43/32.62	c	  before 234.0 seconds: {3, 9, 11, 12, 13, 16, 17, 18, 19, 23, 25, 26, 27, 29, 30, 31, 32, 33, 34, 36} 10991
32.43/32.62	c	  before 882.0 seconds: {3, 9, 11, 12, 13, 16, 17, 18, 19, 20, 23, 25, 26, 27, 29, 30, 31, 32, 33, 34, 36} 11534
32.43/32.62	c
32.43/32.62	c solver 2
32.43/32.62	c	  before 0.0 seconds: {} 0
32.43/32.62	c
32.43/32.62	cTotal time: 78
32.43/32.62	c 1404.0 seconds unused
32.43/32.62	c 0 c 19 c 40 
32.43/32.62	c 0 c 0 c 21 
32.43/32.62	c 0 c 0 c 0 
32.43/32.62	c is solver0 dominated by:
32.43/32.62	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)
32.43/32.62	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)
32.43/32.62	c is dominated? false
32.43/32.62	c
32.43/32.62	c is solver1 dominated by:
32.43/32.62	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)
32.43/32.62	c is dominated? true
32.43/32.62	c
32.43/32.62	c is solver2 dominated by:
32.43/32.62	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)
32.43/32.62	c is dominated? true
32.43/32.62	c
32.43/32.62	c Number of non-dominated solvers: 1
32.43/32.62	c remove dominated solvers
32.43/32.62	c solver 0 is not dominated by another solver
32.43/32.62	c solver 2 is dominated by another solver
32.43/32.62	c solver 1 is dominated by another solver
32.43/32.62	c
32.43/32.62	c solver 0: 522.0
32.43/32.62	c
32.43/32.62	c+ 29/29 of 71
32.43/32.62	c
32.43/32.62	c solver 1: 0.0
32.43/32.62	c
32.43/32.62	c solver 2: 0.0
32.43/32.62	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} 23439
32.43/32.62	c	 do not run mistral
32.43/32.62	c	 do not run choco
32.43/32.62	c Starting solver: HOME/cpHydra_k_40/solver/abscon
32.43/32.62	c On Instance: HOME/instance-1085995-1215236761.xml
32.43/32.62	c Running for: 1800 seconds
311.96/312.37	s SAT
311.96/312.37	v  -2216 -2544 2120 2496 -2332 -2660 2360 -2736 -2348 2388 2204 2148 2468 -2256 2664 -2664 -2736 -2316 -2684 2228 -2220 2644 2160 -2244 2720 2424 2640 -2160 -2488 -2348 -2516 -2376 -2352 -2468 -2696 -2660 -2184 -2164 -2328 -2600 2608 -2696 2352 -2532 -2156 2248 -2368 -2696 2256 -2396 2460 -2504 2680 -2408 -2736 2160 -2260 2660 -2584 2464 2600 -2368 -2396 -2388 2680 -2436 2616 2212 2128 -2136 2660 -2668 -2716 -2612 2184 -2692 -2556 -2732 -2376 2232 -2128 -2336 2148 2732 2516 2252 -2636 2372 -2160 2652 2620 -2620 -2252 -2724 -2736 2452 2684 -2196 2176 -2152 -2660 -2160 2192 2664 -2444 -2380 2328 2480 2312 -2576 -2232 -2148 -2616 2472 -2244 2628 -2736 -2356 -2348 -2376 -2544 -2668 2684 2168 -2304 2520 -2724 2588 2612 -2524 -2328 2212 2436 -2360 2120 -2192 2448 -2664 -2460 2248 2440 -2656 -2272 -2204 2120 2624 2720 -2572 -2360 -2236 -2376 -2164 2340 -2132 -2524 -2488 2148 -2428 2696 2608 -2244 -2688 2252 -2120 2396 -2696 -2536 2684 2544 -2144 -2668 2516 -2160 2464 2736 -2588 -2584 -2488 2568 -2252 -2256 2460 2120 -2340 -2696 -2448 2508 2600 2200 2200 2160 -2176 2484 2280 2348 2412 -2580 2204 2576 -2220 2568 2228 2692 2696 2492 2184 -2708 -2144 2432 2420 2212 2684 -2540 -2620 -2384 -2572 -2200 -2696 2364 2396 2536 -2292 2340 2516 -2368 -2304 -2416 -2716 -2244 2496 2372 -2504 -2320 -2184 -2220 2188 -2532 -2216 2356 -2340 2308 2608 2216 -2664 2396 -2544 -2160 2312 2680 -2616 2412 -2688 -2184 -2416 -2676 2248 2432 -2668 -2384 -2372 2148 -2160 -2372 2384 2164 -2264 -2124 -2160 2336 2576 2280 -2256 -2348 2596 -2272 -2144 2660 -2724 -2284 2272 2488 2320 -2432 2724 -2424 -2132 2272 -2696 2192 2696 -2284 -2164 2404 -2144 -2628 -2648 2700 2480 -2496 -2704 2516 2552 -2216 -2696 -2552 2640 -2696 2560 -2268 -2648 -2344 2152 2680 2372 2212 -2620 2344 -2656 2664 2160 2612 2424 -2736 -2216 2252 -2120 2696 -2596 2216 2676 2120 -2428 -2428 2180 -2508 2380 2604 -2300 -2288 -2632 -2596 -2400 2384 -2284 -2232 2636 -2212 -2696 2624 2548 -2624 -2344 2460 2564 -2264 2160 -2396 -2440 2708 -2120 2636 2616 -2160 -2456 2404 -2168 -2736 -2360 2336 -2136 -2120 -2272 -2400 -2248 2692 -2660 2548 -2376 -2668 -2540 -2128 2696 2556 2696 2304 2188 -2400 -2496 -2160 -2420 -2200 -2412 -2164 2180 -2124 -2288 2620 2204 -2436 2172 2240 2516 -2160 -2208 2456 2132 -2548 -2388 2500 2536 2304 -2524 -2696 2252 -2600 -2160 2420 -2720 2272 2540 -2652 2588 -2440 -2344 2296 2464 -2624 -2700 -2700 -2164 2596 -2736 -2736 2644 2604 2476 -2424 2312 2208 2436 2484 -2696 -2124 -2188 -2696 2248 2640 2492 -2708 -2736 -2264 2288 2328 2676 2736 -2428 -2720 2180 -2120 -2520 -2696 -2532 -2312 -2196 2732 2376 -2124 2656 -2736 -2440 2580 -2120 2328 -2692 2260 -2544 2232 -2388 2416 -2716 2484 -2208 -2288 -2380 2288 -2272 -2368 -2692 2272 -2412 -2500 2536 2464 -2180 -2160 2736 -2284 2124 2576 -2672 2124 -2260 2312 2128 -2164 -2684 2648 -2464 2420 -2160 2336 2680 2676 -2636 -2628 2304 2172 -2676 -2268 -2280 -2456 2588 2120 -2384 -2732 -2272 2520 -2592 -2724 2480 2736 2380 -2188 2616 -2244 2668 2308 -2640 2712 -2120 -2568 -2428 -2332 -2160 -2696 -2432 -2148 -2244 2632 -2652 -2256 -2736 2736 -2560 2160 2548 -2356 -2520 2564 -2200 2332 2696 -2488 2160 -2136 2660 -2284 2252 2124 2660 2124 -2180 -2212 -2676 2232 -2572 -2160 2400 2200 2152 2128 -2160 2656 2640 -2692 2596 -2460 2128 2628 -2736 -2588 2384 -2736 -2128 2640 2356 -2676 -2472 2248 2320 2200 -2272 2472 2132 -2540 -2208 2192 2584 2348 -2652 2484 -2256 -2736 2424 2484 -2360 -2620 2344 -2460 -2204 -2452 -2736 2240 2648 -2584 -2204 -2624 2224 -2608 -2300 -2160 2312 -2628 2648 2480 2480 2280 -2600 -2420 -2496 -2120 2660 2368 2380 -2492 -2696 2344 2148 -2472 2416 2380 2572 -2572 2344 -2616 2308 2680 2724 -2452 -2264 2200 2476 -2336 -2620 -2616 2504 2664 -2192 2632 2500 2736 -2620 -2160 -2208 -2696 2256 -2580 2504 2212 2272 -2564 2120 2736 -2688 -2468 -2348 2648 2260 -2616 -2400 2736 -2312 -2168 -2692 -2344 2572 -2392 -2652 2648 2276 2604 -2212 -2216 -2200 -2512 2560 -2696 2600 2532 -2596 -2588 -2232 -2640 2688 2396 -2136 -2296 -2668 2680 -2120 2172 2212 2164 -2120 -2420 -2256 -2724 -2612 2220 -2208 -2736 -2300 2208 2332 2268 -2528 -2264 -2244 -2428 -2512 2696 -2120 -2264 2160 -2312 -2736 -2340 2496 2292 -2352 -2736 -2624 -2700 2196 2232 -2444 2388 -2160 2124 2640 -2500 -2624 -2224 2412 -2576 2200 2160 -2408 -2504 2544 2160 -2132 -2532 -2256 -2696 2696 2736 2736 -2692 -2212 -2404 -2160 2652 2336 -2280 2456 2652 -2192 -2360 -2472 2360 -2556 2500 2192 2704 2396 2276 2120 -2160 2672 -2356 -2404 -2244 -2368 -2160 2436 -2308 -2156 2220 2708 -2308 -2228 2216 -2368 -2120 -2492 -2248 2196 -2340 -2320 -2620 2140 -2164 -2292 -2160 -2736 2204 -2160 -2484 -2632 2184 -2192 2164 2120 -2400 -2612 2356 -2252 -2584 -2700 2584 -2624 2400 2172 2556 -2200 2372 -2388 -2736 -2624 2660 -2172 -2736 2552 2736 2232 -2496 -2520 -2592 2192 2120 2684 -2220 2536 2188 2440 2432 -2692 2320 -2480 2708 2120 -2616 2256 -2168 2120 2232 -2592 -2236 -2736 -2692 -2160 2196 -2684 2620 2192 2688 -2696 -2252 -2396 -2120 -2144 2700 -2120 2168 -2160 2736 -2696 2296 2496 2736 2400 2276 -2384 -2576 -2692 2372 -2172 2288 2224 2588 -2272 2664 2168 -2200 2164 -2692 2308 2476 2120 2152 -2732 2480 -2260 -2120 2200 -2676 -2364 -2652 -2532 -2684 -2616 -2236 2316 -2652 -2680 2216 -2120 -2160 -2168 2348 2716 2736 2648 -2668 2584 2240 2640 -2380 2348 -2492 2568 -2696 -2160 2700 2528 2172 2688 2236 -2376 -2160 -2736 2360 -2528 -2444 -2556 -2388 2580 -2200 -2152 2196 2288 2456 -2260 -2612 -2500 -2664 -2384 2544 -2372 2244 2492 2660 -2448 -2696 -2556 -2548 2120 -2268 2380 2124 2576 -2736 2200 2332 -2648 -2188 -2624 -2324 -2456 -2444 -2572 2120 -2696 2568 -2592 -2336 2168 -2660 -2656 -2144 2700 2240 -2380 -2660 2120 2568 -2636 2628 -2120 -2736 -2400 -2200 -2608 -2640 -2240 2684 -2628 -2580 -2428 2608 2716 -2160 2652 -2160 -2668 2320 2612 2684 2592 -2120 -2136 2336 -2696 -2444 2724 -2276 -2556 2436 2240 -2160 -2348 -2468 2628 -2304 2736 -2556 -2176 -2296 -2344 -2276 -2728 -2604 -2360 -2232 -2696 2516 -2176 -2364 2176 2548 -2552 -2328 2120 2652 2144 2568 2676 -2280 2392 2460 -2524 -2560 -2180 -2156 2596 -2364 2656 2244 2584 -2360 -2328 2424 -2584 -2160 2160 -2536 -2296 2172 -2236 -2232 -2720 -2172 2652 -2696 2128 -2304 -2188 -2648 2732 -2664 -2320 2312 2176 2444 -2580 -2456 -2404 -2632 -2620 2512 2408 2536 -2192 2188 -2644 2384 -2428 -2228 -2696 -2260 2404 2608 2268 -2160 -2160 -2400 -2700 2624 2572 -2172 -2128 -2460 2600 2684 -2616 -2724 -2336 2188 2356 -2484 2192 2588 2724 2676 2344 2184 2352 2432 -2568 -2452 -2308 -2180 -2668 -2308 -2736 2684 -2688 2520 -2728 2408 -2520 -2700 -2168 -2168 -2164 -2696 -2336 2436 2652 -2376 -2352 -2348 -2160 -2736 -2600 2496 -2204 -2696 -2160 -2252 -2504 -2316 2260 -2232 2156 -2168 2684 2208 2668 -2408 -2592 -2384 -2452 -2704 -2608 -2168 -2420 2500 2216 -2356 -2476 2644 -2208 2288 2520 2628 -2372 -2360 -2212 -2660 2376 -2160 2492 -2552 2692 -2572 -2240 -2312 -2240 -2644 -2552 -2316 2616 -2428 -2736 -2248 -2664 -2696 -2268 2332 2280 -2532 2628 2668 -2500 2728 -2512 2688 2140 2628 2696 -2556 -2220 -2716 -2128 -2716 -2252 2308 -2600 -2164 -2460 2220 2120 -2720 -2320 -2304 -2196 -2668 -2376 2160 2400 2592 -2736 -2672 2240 -2696 -2280 -2164 -2332 -2220 2220 2128 2612 -2284 2216 2636 2276 -2188 -2624 -2280 2120 -2656 -2720 -2228 2160 2696 -2340 -2560 2132 2716 -2232 -2184 -2692 2480 -2120 2504 2728 -2684 -2368 2120 -2440 -2132 2544 -2292 -2652 2652 2332 -2476 2320 -2676 -2440 -2660 2328 -2140 2492 2408 2560 2140 2324 2584 -2672 -2172 -2696 -2172 -2120 -2464 -2564 2608 -2428 -2232 2684 -2316 -2160 -2512 2256 -2388 2248 -2612 -2204 2384 2696 2652 -2320 -2528 -2696 2164 2388 2696 -2664 2408 2388 2176 -2256 2248 -2528 2576 2708 2640 -2296 2636 2392 -2120 2188 -2656 2428 2660 -2612 2484 -2736 -2120 2132 2328 -2528 -2192 -2724 -2148 -2344 -2560 2288 -2644 2652 -2368 -2192 -2360 -2416 2680 2464 -2696 2680 2224 -2708 -2240 2120 -2520 -2288 -2736 -2140 2480 2472 -2532 -2452 -2732 2640 -2452 -2524 -2436 -2676 2388 2424 -2308 2368 -2500 -2224 2712 -2540 2228 -2528 2544 -2476 2292 2120 -2252 -2612 -2128 -2160 -2388 2612 -2620 -2292 -2420 -2324 -2696 -2664 -2512 -2532 2152 -2348 2660 -2500 -2328 -2444 2680 -2364 2704 2620 -2252 -2688 -2392 -2536 2584 -2168 -2716 -2344 -2204 2120 -2508 -2528 2160 2132 -2680 2168 -2524 -2324 -2736 2168 -2696 -2168 -2692 2416 -2448 2512 2132 2400 -2148 -2736 -2632 2352 -2704 -2620 -2624 -2232 2280 -2184 -2680 -2232 2180 -2188 -2156 -2488 
311.96/312.37	d ASSIGNMENTS 12620
311.96/312.37	d CHECKS 576078546

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

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


[startup+0 s]
/proc/loadavg: 1.01 1.15 1.33 3/93 10350
/proc/meminfo: memFree=1698952/2055920 swapFree=4191676/4192956
[pid=10350] ppid=10348 vsize=5356 CPUtime=0
/proc/10350/stat : 10350 (hydra) R 10348 10350 5874 0 -1 4194304 255 0 0 0 0 0 0 0 20 0 1 0 135671485 5484544 223 996147200 4194304 4889804 548682068816 18446744073709551615 4339760 0 0 4100 65536 0 0 0 17 0 0 0
/proc/10350/statm: 1339 223 185 169 0 50 0

[startup+0.0224251 s]
/proc/loadavg: 1.01 1.15 1.33 3/93 10350
/proc/meminfo: memFree=1698952/2055920 swapFree=4191676/4192956
[pid=10350] ppid=10348 vsize=5360 CPUtime=0
/proc/10350/stat : 10350 (hydra) S 10348 10350 5874 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 135671485 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10350/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.101445 s]
/proc/loadavg: 1.01 1.15 1.33 3/93 10350
/proc/meminfo: memFree=1698952/2055920 swapFree=4191676/4192956
[pid=10350] ppid=10348 vsize=5360 CPUtime=0
/proc/10350/stat : 10350 (hydra) S 10348 10350 5874 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 135671485 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10350/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.301483 s]
/proc/loadavg: 1.01 1.15 1.33 3/93 10350
/proc/meminfo: memFree=1698952/2055920 swapFree=4191676/4192956
[pid=10350] ppid=10348 vsize=5360 CPUtime=0
/proc/10350/stat : 10350 (hydra) S 10348 10350 5874 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 135671485 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10350/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.701558 s]
/proc/loadavg: 1.01 1.15 1.33 3/93 10350
/proc/meminfo: memFree=1698952/2055920 swapFree=4191676/4192956
[pid=10350] ppid=10348 vsize=5360 CPUtime=0
/proc/10350/stat : 10350 (hydra) S 10348 10350 5874 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 135671485 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10350/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+1.50271 s]
/proc/loadavg: 1.09 1.17 1.33 3/95 10354
/proc/meminfo: memFree=1683064/2055920 swapFree=4191676/4192956
[pid=10350] ppid=10348 vsize=5360 CPUtime=0
/proc/10350/stat : 10350 (hydra) S 10348 10350 5874 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 135671485 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10350/statm: 1340 236 195 169 0 51 0
[pid=10354] ppid=10350 vsize=67348 CPUtime=1.48
/proc/10354/stat : 10354 (xsolve) R 10350 10350 5874 0 -1 4194304 11404 0 0 0 143 5 0 0 25 0 1 0 135671486 68964352 11167 996147200 134512640 135239763 4294956176 18446744073709551615 134541297 0 0 4096 0 0 0 0 17 0 0 0
/proc/10354/statm: 16837 11167 416 177 0 15740 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 72708

[startup+3.10201 s]
/proc/loadavg: 1.09 1.17 1.33 3/95 10354
/proc/meminfo: memFree=1654392/2055920 swapFree=4191676/4192956
[pid=10350] ppid=10348 vsize=5360 CPUtime=0
/proc/10350/stat : 10350 (hydra) S 10348 10350 5874 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 135671485 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10350/statm: 1340 236 195 169 0 51 0
[pid=10354] ppid=10350 vsize=67348 CPUtime=3.08
/proc/10354/stat : 10354 (xsolve) R 10350 10350 5874 0 -1 4194304 11404 0 0 0 301 7 0 0 25 0 1 0 135671486 68964352 11167 996147200 134512640 135239763 4294956176 18446744073709551615 134534752 0 0 4096 0 0 0 0 17 0 0 0
/proc/10354/statm: 16837 11167 416 177 0 15740 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 72708

[startup+6.30162 s]
/proc/loadavg: 1.16 1.18 1.33 3/95 10354
/proc/meminfo: memFree=1655352/2055920 swapFree=4191676/4192956
[pid=10350] ppid=10348 vsize=5360 CPUtime=0
/proc/10350/stat : 10350 (hydra) S 10348 10350 5874 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 135671485 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10350/statm: 1340 236 195 169 0 51 0
[pid=10354] ppid=10350 vsize=67348 CPUtime=6.27
/proc/10354/stat : 10354 (xsolve) R 10350 10350 5874 0 -1 4194304 11404 0 0 0 620 7 0 0 25 0 1 0 135671486 68964352 11167 996147200 134512640 135239763 4294956176 18446744073709551615 134543129 0 0 4096 0 0 0 0 17 0 0 0
/proc/10354/statm: 16837 11167 416 177 0 15740 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 72708

[startup+12.7018 s]
/proc/loadavg: 1.23 1.19 1.34 3/95 10354
/proc/meminfo: memFree=1655480/2055920 swapFree=4191676/4192956
[pid=10350] ppid=10348 vsize=5360 CPUtime=0
/proc/10350/stat : 10350 (hydra) S 10348 10350 5874 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 135671485 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10350/statm: 1340 236 195 169 0 51 0
[pid=10354] ppid=10350 vsize=67348 CPUtime=12.67
/proc/10354/stat : 10354 (xsolve) R 10350 10350 5874 0 -1 4194304 11404 0 0 0 1260 7 0 0 25 0 1 0 135671486 68964352 11167 996147200 134512640 135239763 4294956176 18446744073709551615 134540222 0 0 4096 0 0 0 0 17 0 0 0
/proc/10354/statm: 16837 11167 416 177 0 15740 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 72708

[startup+25.5013 s]
/proc/loadavg: 1.35 1.22 1.35 3/95 10354
/proc/meminfo: memFree=1655608/2055920 swapFree=4191676/4192956
[pid=10350] ppid=10348 vsize=5360 CPUtime=0
/proc/10350/stat : 10350 (hydra) S 10348 10350 5874 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 135671485 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10350/statm: 1340 236 195 169 0 51 0
[pid=10354] ppid=10350 vsize=67348 CPUtime=25.46
/proc/10354/stat : 10354 (xsolve) R 10350 10350 5874 0 -1 4194304 11405 0 0 0 2539 7 0 0 25 0 1 0 135671486 68964352 11168 996147200 134512640 135239763 4294956176 18446744073709551615 134538496 0 0 4096 0 0 0 0 17 0 0 0
/proc/10354/statm: 16837 11168 417 177 0 15740 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 72708

[startup+51.1021 s]
/proc/loadavg: 1.66 1.31 1.37 3/115 10378
/proc/meminfo: memFree=1591384/2055920 swapFree=4191676/4192956
[pid=10350] ppid=10348 vsize=5360 CPUtime=26.88
/proc/10350/stat : 10350 (hydra) S 10348 10350 5874 0 -1 4194304 375 12009 0 0 0 0 2680 8 20 0 1 0 135671485 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10350/statm: 1340 238 196 169 0 51 0
[pid=10358] ppid=10350 vsize=197348 CPUtime=5.57
/proc/10358/stat : 10358 (java) S 10350 10350 5874 0 -1 0 11469 0 1 0 539 18 0 0 21 0 10 0 135674178 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10358/statm: 49337 9424 2544 9 0 43919 0
[pid=10368] ppid=10358 vsize=5356 CPUtime=0
/proc/10368/stat : 10368 (abscon) S 10358 10350 5874 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 135674748 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 244276847428 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/10368/statm: 1339 235 194 169 0 50 0
[pid=10369] ppid=10368 vsize=655732 CPUtime=18.44
/proc/10369/stat : 10369 (java) S 10368 10350 5874 0 -1 0 22122 0 1 0 1827 17 0 0 25 0 9 0 135674749 671469568 21622 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10369/statm: 163933 21622 2008 9 0 158461 0
[pid=10369/tid=10371] ppid=10368 vsize=655732 CPUtime=17.91
/proc/10369/task/10371/stat : 10371 (java) R 10368 10350 5874 0 -1 64 12456 0 1 0 1779 12 0 0 25 0 9 0 135674750 671469568 21622 996147200 134512640 134550740 4294955808 18446744073709551615 4126930423 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10369/tid=10372] ppid=10368 vsize=655732 CPUtime=0.29
/proc/10369/task/10372/stat : 10372 (java) S 10368 10350 5874 0 -1 64 8465 0 0 0 26 3 0 0 16 0 9 0 135674751 671469568 21622 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10369/tid=10373] ppid=10368 vsize=655732 CPUtime=0
/proc/10369/task/10373/stat : 10373 (java) S 10368 10350 5874 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 135674752 671469568 21622 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10369/tid=10374] ppid=10368 vsize=655732 CPUtime=0
/proc/10369/task/10374/stat : 10374 (java) S 10368 10350 5874 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 135674752 671469568 21622 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10369/tid=10375] ppid=10368 vsize=655732 CPUtime=0
/proc/10369/task/10375/stat : 10375 (java) S 10368 10350 5874 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 135674754 671469568 21622 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10369/tid=10376] ppid=10368 vsize=655732 CPUtime=0.22
/proc/10369/task/10376/stat : 10376 (java) S 10368 10350 5874 0 -1 64 656 0 0 0 22 0 0 0 15 0 9 0 135674754 671469568 21622 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10369/tid=10377] ppid=10368 vsize=655732 CPUtime=0
/proc/10369/task/10377/stat : 10377 (java) S 10368 10350 5874 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 135674754 671469568 21622 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10369/tid=10378] ppid=10368 vsize=655732 CPUtime=0
/proc/10369/task/10378/stat : 10378 (java) S 10368 10350 5874 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 135674754 671469568 21622 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10370] ppid=10368 vsize=7044 CPUtime=0
/proc/10370/stat : 10370 (translate) S 10368 10350 5874 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 135674749 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 244277018706 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/10370/statm: 1761 213 182 1 0 41 0
[pid=10358/tid=10359] ppid=10350 vsize=197348 CPUtime=4.49
/proc/10358/task/10359/stat : 10359 (java) S 10350 10350 5874 0 -1 64 3855 0 1 0 442 7 0 0 25 0 10 0 135674179 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=10358/tid=10360] ppid=10350 vsize=197348 CPUtime=0.83
/proc/10358/task/10360/stat : 10360 (java) S 10350 10350 5874 0 -1 64 6122 0 0 0 74 9 0 0 16 0 10 0 135674180 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10358/tid=10361] ppid=10350 vsize=197348 CPUtime=0
/proc/10358/task/10361/stat : 10361 (java) S 10350 10350 5874 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 135674180 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10358/tid=10362] ppid=10350 vsize=197348 CPUtime=0
/proc/10358/task/10362/stat : 10362 (java) S 10350 10350 5874 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 135674180 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10358/tid=10363] ppid=10350 vsize=197348 CPUtime=0
/proc/10358/task/10363/stat : 10363 (java) S 10350 10350 5874 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 135674182 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10358/tid=10364] ppid=10350 vsize=197348 CPUtime=0.23
/proc/10358/task/10364/stat : 10364 (java) S 10350 10350 5874 0 -1 64 669 0 0 0 22 1 0 0 16 0 10 0 135674182 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10358/tid=10365] ppid=10350 vsize=197348 CPUtime=0
/proc/10358/task/10365/stat : 10365 (java) S 10350 10350 5874 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 135674183 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10358/tid=10366] ppid=10350 vsize=197348 CPUtime=0
/proc/10358/task/10366/stat : 10366 (java) S 10350 10350 5874 0 -1 64 28 0 0 0 0 0 0 0 15 0 10 0 135674183 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10358/tid=10367] ppid=10350 vsize=197348 CPUtime=0
/proc/10358/task/10367/stat : 10367 (java) S 10350 10350 5874 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 135674748 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 870840

[startup+102.308 s]
/proc/loadavg: 1.85 1.41 1.40 3/115 10378
/proc/meminfo: memFree=1527832/2055920 swapFree=4191676/4192956
[pid=10350] ppid=10348 vsize=5360 CPUtime=26.88
/proc/10350/stat : 10350 (hydra) S 10348 10350 5874 0 -1 4194304 375 12009 0 0 0 0 2680 8 20 0 1 0 135671485 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10350/statm: 1340 238 196 169 0 51 0
[pid=10358] ppid=10350 vsize=197348 CPUtime=5.57
/proc/10358/stat : 10358 (java) S 10350 10350 5874 0 -1 0 11469 0 1 0 539 18 0 0 21 0 10 0 135674178 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10358/statm: 49337 9424 2544 9 0 43919 0
[pid=10368] ppid=10358 vsize=5356 CPUtime=0
/proc/10368/stat : 10368 (abscon) S 10358 10350 5874 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 135674748 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 244276847428 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/10368/statm: 1339 235 194 169 0 50 0
[pid=10369] ppid=10368 vsize=655732 CPUtime=69.61
/proc/10369/stat : 10369 (java) S 10368 10350 5874 0 -1 0 38761 0 1 0 6936 25 0 0 25 0 9 0 135674749 671469568 38028 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10369/statm: 163933 38028 2617 9 0 158461 0
[pid=10369/tid=10371] ppid=10368 vsize=655732 CPUtime=68.04
/proc/10369/task/10371/stat : 10371 (java) R 10368 10350 5874 0 -1 64 12572 0 1 0 6791 13 0 0 25 0 9 0 135674750 671469568 38028 996147200 134512640 134550740 4294955808 18446744073709551615 4126932272 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10369/tid=10372] ppid=10368 vsize=655732 CPUtime=1.17
/proc/10369/task/10372/stat : 10372 (java) S 10368 10350 5874 0 -1 64 24879 0 0 0 106 11 0 0 16 0 9 0 135674751 671469568 38028 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10369/tid=10373] ppid=10368 vsize=655732 CPUtime=0
/proc/10369/task/10373/stat : 10373 (java) S 10368 10350 5874 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 135674752 671469568 38028 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10369/tid=10374] ppid=10368 vsize=655732 CPUtime=0
/proc/10369/task/10374/stat : 10374 (java) S 10368 10350 5874 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 135674752 671469568 38028 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10369/tid=10375] ppid=10368 vsize=655732 CPUtime=0
/proc/10369/task/10375/stat : 10375 (java) S 10368 10350 5874 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 135674754 671469568 38028 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10369/tid=10376] ppid=10368 vsize=655732 CPUtime=0.39
/proc/10369/task/10376/stat : 10376 (java) S 10368 10350 5874 0 -1 64 751 0 0 0 38 1 0 0 16 0 9 0 135674754 671469568 38028 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10369/tid=10377] ppid=10368 vsize=655732 CPUtime=0
/proc/10369/task/10377/stat : 10377 (java) S 10368 10350 5874 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 135674754 671469568 38028 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0

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

/proc/10358/task/10366/stat : 10366 (java) S 10350 10350 5874 0 -1 64 28 0 0 0 0 0 0 0 15 0 10 0 135674183 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10358/tid=10367] ppid=10350 vsize=197348 CPUtime=0
/proc/10358/task/10367/stat : 10367 (java) S 10350 10350 5874 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 135674748 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 309.96
Current children cumulated vsize (KiB) 870840

[startup+311.103 s]
/proc/loadavg: 1.99 1.70 1.51 3/115 10378
/proc/meminfo: memFree=1527256/2055920 swapFree=4191676/4192956
[pid=10350] ppid=10348 vsize=5360 CPUtime=26.88
/proc/10350/stat : 10350 (hydra) S 10348 10350 5874 0 -1 4194304 375 12009 0 0 0 0 2680 8 20 0 1 0 135671485 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10350/statm: 1340 238 196 169 0 51 0
[pid=10358] ppid=10350 vsize=197348 CPUtime=5.57
/proc/10358/stat : 10358 (java) S 10350 10350 5874 0 -1 0 11469 0 1 0 539 18 0 0 21 0 10 0 135674178 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10358/statm: 49337 9424 2544 9 0 43919 0
[pid=10368] ppid=10358 vsize=5356 CPUtime=0
/proc/10368/stat : 10368 (abscon) S 10358 10350 5874 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 135674748 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 244276847428 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/10368/statm: 1339 235 194 169 0 50 0
[pid=10369] ppid=10368 vsize=655732 CPUtime=278.31
/proc/10369/stat : 10369 (java) S 10368 10350 5874 0 -1 0 38800 0 1 0 27805 26 0 0 25 0 9 0 135674749 671469568 38049 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10369/statm: 163933 38049 2617 9 0 158461 0
[pid=10369/tid=10371] ppid=10368 vsize=655732 CPUtime=276.68
/proc/10369/task/10371/stat : 10371 (java) R 10368 10350 5874 0 -1 64 12578 0 1 0 27655 13 0 0 25 0 9 0 135674750 671469568 38049 996147200 134512640 134550740 4294955808 18446744073709551615 4127396620 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10369/tid=10372] ppid=10368 vsize=655732 CPUtime=1.17
/proc/10369/task/10372/stat : 10372 (java) S 10368 10350 5874 0 -1 64 24879 0 0 0 106 11 0 0 16 0 9 0 135674751 671469568 38049 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10369/tid=10373] ppid=10368 vsize=655732 CPUtime=0
/proc/10369/task/10373/stat : 10373 (java) S 10368 10350 5874 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 135674752 671469568 38049 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10369/tid=10374] ppid=10368 vsize=655732 CPUtime=0
/proc/10369/task/10374/stat : 10374 (java) S 10368 10350 5874 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 135674752 671469568 38049 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10369/tid=10375] ppid=10368 vsize=655732 CPUtime=0
/proc/10369/task/10375/stat : 10375 (java) S 10368 10350 5874 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 135674754 671469568 38049 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10369/tid=10376] ppid=10368 vsize=655732 CPUtime=0.43
/proc/10369/task/10376/stat : 10376 (java) S 10368 10350 5874 0 -1 64 784 0 0 0 42 1 0 0 16 0 9 0 135674754 671469568 38049 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10369/tid=10377] ppid=10368 vsize=655732 CPUtime=0
/proc/10369/task/10377/stat : 10377 (java) S 10368 10350 5874 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 135674754 671469568 38049 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10369/tid=10378] ppid=10368 vsize=655732 CPUtime=0
/proc/10369/task/10378/stat : 10378 (java) S 10368 10350 5874 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 135674754 671469568 38049 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10370] ppid=10368 vsize=7044 CPUtime=0
/proc/10370/stat : 10370 (translate) S 10368 10350 5874 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 135674749 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 244277018706 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/10370/statm: 1761 213 182 1 0 41 0
[pid=10358/tid=10359] ppid=10350 vsize=197348 CPUtime=4.49
/proc/10358/task/10359/stat : 10359 (java) S 10350 10350 5874 0 -1 64 3855 0 1 0 442 7 0 0 25 0 10 0 135674179 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=10358/tid=10360] ppid=10350 vsize=197348 CPUtime=0.83
/proc/10358/task/10360/stat : 10360 (java) S 10350 10350 5874 0 -1 64 6122 0 0 0 74 9 0 0 16 0 10 0 135674180 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10358/tid=10361] ppid=10350 vsize=197348 CPUtime=0
/proc/10358/task/10361/stat : 10361 (java) S 10350 10350 5874 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 135674180 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10358/tid=10362] ppid=10350 vsize=197348 CPUtime=0
/proc/10358/task/10362/stat : 10362 (java) S 10350 10350 5874 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 135674180 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10358/tid=10363] ppid=10350 vsize=197348 CPUtime=0
/proc/10358/task/10363/stat : 10363 (java) S 10350 10350 5874 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 135674182 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10358/tid=10364] ppid=10350 vsize=197348 CPUtime=0.23
/proc/10358/task/10364/stat : 10364 (java) S 10350 10350 5874 0 -1 64 669 0 0 0 22 1 0 0 16 0 10 0 135674182 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10358/tid=10365] ppid=10350 vsize=197348 CPUtime=0
/proc/10358/task/10365/stat : 10365 (java) S 10350 10350 5874 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 135674183 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10358/tid=10366] ppid=10350 vsize=197348 CPUtime=0
/proc/10358/task/10366/stat : 10366 (java) S 10350 10350 5874 0 -1 64 28 0 0 0 0 0 0 0 15 0 10 0 135674183 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10358/tid=10367] ppid=10350 vsize=197348 CPUtime=0
/proc/10358/task/10367/stat : 10367 (java) S 10350 10350 5874 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 135674748 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 310.76
Current children cumulated vsize (KiB) 870840

[startup+311.904 s]
/proc/loadavg: 1.99 1.70 1.51 3/115 10378
/proc/meminfo: memFree=1527256/2055920 swapFree=4191676/4192956
[pid=10350] ppid=10348 vsize=5360 CPUtime=26.88
/proc/10350/stat : 10350 (hydra) S 10348 10350 5874 0 -1 4194304 375 12009 0 0 0 0 2680 8 20 0 1 0 135671485 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10350/statm: 1340 238 196 169 0 51 0
[pid=10358] ppid=10350 vsize=197348 CPUtime=5.57
/proc/10358/stat : 10358 (java) S 10350 10350 5874 0 -1 0 11469 0 1 0 539 18 0 0 21 0 10 0 135674178 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10358/statm: 49337 9424 2544 9 0 43919 0
[pid=10368] ppid=10358 vsize=5356 CPUtime=0
/proc/10368/stat : 10368 (abscon) S 10358 10350 5874 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 135674748 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 244276847428 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/10368/statm: 1339 235 194 169 0 50 0
[pid=10369] ppid=10368 vsize=655732 CPUtime=279.11
/proc/10369/stat : 10369 (java) S 10368 10350 5874 0 -1 0 38800 0 1 0 27885 26 0 0 25 0 9 0 135674749 671469568 38049 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10369/statm: 163933 38049 2617 9 0 158461 0
[pid=10369/tid=10371] ppid=10368 vsize=655732 CPUtime=277.48
/proc/10369/task/10371/stat : 10371 (java) R 10368 10350 5874 0 -1 64 12578 0 1 0 27735 13 0 0 25 0 9 0 135674750 671469568 38049 996147200 134512640 134550740 4294955808 18446744073709551615 4126929622 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10369/tid=10372] ppid=10368 vsize=655732 CPUtime=1.17
/proc/10369/task/10372/stat : 10372 (java) S 10368 10350 5874 0 -1 64 24879 0 0 0 106 11 0 0 16 0 9 0 135674751 671469568 38049 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10369/tid=10373] ppid=10368 vsize=655732 CPUtime=0
/proc/10369/task/10373/stat : 10373 (java) S 10368 10350 5874 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 135674752 671469568 38049 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10369/tid=10374] ppid=10368 vsize=655732 CPUtime=0
/proc/10369/task/10374/stat : 10374 (java) S 10368 10350 5874 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 135674752 671469568 38049 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10369/tid=10375] ppid=10368 vsize=655732 CPUtime=0
/proc/10369/task/10375/stat : 10375 (java) S 10368 10350 5874 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 135674754 671469568 38049 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10369/tid=10376] ppid=10368 vsize=655732 CPUtime=0.43
/proc/10369/task/10376/stat : 10376 (java) S 10368 10350 5874 0 -1 64 784 0 0 0 42 1 0 0 16 0 9 0 135674754 671469568 38049 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10369/tid=10377] ppid=10368 vsize=655732 CPUtime=0
/proc/10369/task/10377/stat : 10377 (java) S 10368 10350 5874 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 135674754 671469568 38049 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10369/tid=10378] ppid=10368 vsize=655732 CPUtime=0
/proc/10369/task/10378/stat : 10378 (java) S 10368 10350 5874 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 135674754 671469568 38049 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10370] ppid=10368 vsize=7044 CPUtime=0
/proc/10370/stat : 10370 (translate) S 10368 10350 5874 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 135674749 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 244277018706 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/10370/statm: 1761 213 182 1 0 41 0
[pid=10358/tid=10359] ppid=10350 vsize=197348 CPUtime=4.49
/proc/10358/task/10359/stat : 10359 (java) S 10350 10350 5874 0 -1 64 3855 0 1 0 442 7 0 0 25 0 10 0 135674179 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=10358/tid=10360] ppid=10350 vsize=197348 CPUtime=0.83
/proc/10358/task/10360/stat : 10360 (java) S 10350 10350 5874 0 -1 64 6122 0 0 0 74 9 0 0 16 0 10 0 135674180 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10358/tid=10361] ppid=10350 vsize=197348 CPUtime=0
/proc/10358/task/10361/stat : 10361 (java) S 10350 10350 5874 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 135674180 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10358/tid=10362] ppid=10350 vsize=197348 CPUtime=0
/proc/10358/task/10362/stat : 10362 (java) S 10350 10350 5874 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 135674180 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10358/tid=10363] ppid=10350 vsize=197348 CPUtime=0
/proc/10358/task/10363/stat : 10363 (java) S 10350 10350 5874 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 135674182 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10358/tid=10364] ppid=10350 vsize=197348 CPUtime=0.23
/proc/10358/task/10364/stat : 10364 (java) S 10350 10350 5874 0 -1 64 669 0 0 0 22 1 0 0 16 0 10 0 135674182 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10358/tid=10365] ppid=10350 vsize=197348 CPUtime=0
/proc/10358/task/10365/stat : 10365 (java) S 10350 10350 5874 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 135674183 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10358/tid=10366] ppid=10350 vsize=197348 CPUtime=0
/proc/10358/task/10366/stat : 10366 (java) S 10350 10350 5874 0 -1 64 28 0 0 0 0 0 0 0 15 0 10 0 135674183 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10358/tid=10367] ppid=10350 vsize=197348 CPUtime=0
/proc/10358/task/10367/stat : 10367 (java) S 10350 10350 5874 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 135674748 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 311.56
Current children cumulated vsize (KiB) 870840

[startup+312.303 s]
/proc/loadavg: 1.99 1.70 1.51 3/115 10378
/proc/meminfo: memFree=1527256/2055920 swapFree=4191676/4192956
[pid=10350] ppid=10348 vsize=5360 CPUtime=26.88
/proc/10350/stat : 10350 (hydra) S 10348 10350 5874 0 -1 4194304 375 12009 0 0 0 0 2680 8 20 0 1 0 135671485 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10350/statm: 1340 238 196 169 0 51 0
[pid=10358] ppid=10350 vsize=197348 CPUtime=5.57
/proc/10358/stat : 10358 (java) S 10350 10350 5874 0 -1 0 11469 0 1 0 539 18 0 0 21 0 10 0 135674178 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10358/statm: 49337 9424 2544 9 0 43919 0
[pid=10368] ppid=10358 vsize=5356 CPUtime=0
/proc/10368/stat : 10368 (abscon) S 10358 10350 5874 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 135674748 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 244276847428 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/10368/statm: 1339 235 194 169 0 50 0
[pid=10369] ppid=10368 vsize=655732 CPUtime=279.51
/proc/10369/stat : 10369 (java) S 10368 10350 5874 0 -1 0 38806 0 1 0 27925 26 0 0 25 0 9 0 135674749 671469568 38055 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10369/statm: 163933 38055 2617 9 0 158461 0
[pid=10369/tid=10371] ppid=10368 vsize=655732 CPUtime=277.88
/proc/10369/task/10371/stat : 10371 (java) R 10368 10350 5874 0 -1 64 12580 0 1 0 27775 13 0 0 25 0 9 0 135674750 671469568 38055 996147200 134512640 134550740 4294955808 18446744073709551615 4127403673 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10369/tid=10372] ppid=10368 vsize=655732 CPUtime=1.17
/proc/10369/task/10372/stat : 10372 (java) S 10368 10350 5874 0 -1 64 24879 0 0 0 106 11 0 0 16 0 9 0 135674751 671469568 38055 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10369/tid=10373] ppid=10368 vsize=655732 CPUtime=0
/proc/10369/task/10373/stat : 10373 (java) S 10368 10350 5874 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 135674752 671469568 38055 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10369/tid=10374] ppid=10368 vsize=655732 CPUtime=0
/proc/10369/task/10374/stat : 10374 (java) S 10368 10350 5874 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 135674752 671469568 38055 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10369/tid=10375] ppid=10368 vsize=655732 CPUtime=0
/proc/10369/task/10375/stat : 10375 (java) S 10368 10350 5874 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 135674754 671469568 38055 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10369/tid=10376] ppid=10368 vsize=655732 CPUtime=0.44
/proc/10369/task/10376/stat : 10376 (java) S 10368 10350 5874 0 -1 64 788 0 0 0 43 1 0 0 16 0 9 0 135674754 671469568 38055 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10369/tid=10377] ppid=10368 vsize=655732 CPUtime=0
/proc/10369/task/10377/stat : 10377 (java) S 10368 10350 5874 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 135674754 671469568 38055 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10369/tid=10378] ppid=10368 vsize=655732 CPUtime=0
/proc/10369/task/10378/stat : 10378 (java) S 10368 10350 5874 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 135674754 671469568 38055 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10370] ppid=10368 vsize=7044 CPUtime=0
/proc/10370/stat : 10370 (translate) S 10368 10350 5874 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 135674749 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 244277018706 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/10370/statm: 1761 213 182 1 0 41 0
[pid=10358/tid=10359] ppid=10350 vsize=197348 CPUtime=4.49
/proc/10358/task/10359/stat : 10359 (java) S 10350 10350 5874 0 -1 64 3855 0 1 0 442 7 0 0 25 0 10 0 135674179 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=10358/tid=10360] ppid=10350 vsize=197348 CPUtime=0.83
/proc/10358/task/10360/stat : 10360 (java) S 10350 10350 5874 0 -1 64 6122 0 0 0 74 9 0 0 16 0 10 0 135674180 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10358/tid=10361] ppid=10350 vsize=197348 CPUtime=0
/proc/10358/task/10361/stat : 10361 (java) S 10350 10350 5874 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 135674180 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10358/tid=10362] ppid=10350 vsize=197348 CPUtime=0
/proc/10358/task/10362/stat : 10362 (java) S 10350 10350 5874 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 135674180 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10358/tid=10363] ppid=10350 vsize=197348 CPUtime=0
/proc/10358/task/10363/stat : 10363 (java) S 10350 10350 5874 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 135674182 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10358/tid=10364] ppid=10350 vsize=197348 CPUtime=0.23
/proc/10358/task/10364/stat : 10364 (java) S 10350 10350 5874 0 -1 64 669 0 0 0 22 1 0 0 16 0 10 0 135674182 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10358/tid=10365] ppid=10350 vsize=197348 CPUtime=0
/proc/10358/task/10365/stat : 10365 (java) S 10350 10350 5874 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 135674183 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10358/tid=10366] ppid=10350 vsize=197348 CPUtime=0
/proc/10358/task/10366/stat : 10366 (java) S 10350 10350 5874 0 -1 64 28 0 0 0 0 0 0 0 15 0 10 0 135674183 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10358/tid=10367] ppid=10350 vsize=197348 CPUtime=0
/proc/10358/task/10367/stat : 10367 (java) S 10350 10350 5874 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 135674748 202084352 9424 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 311.96
Current children cumulated vsize (KiB) 870840

Child status: 0
Real time (s): 312.384
CPU time (s): 312.075
CPU user time (s): 311.493
CPU system time (s): 0.581911
CPU usage (%): 99.9009
Max. virtual memory (cumulated for all children) (KiB): 870840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 311.493
system time used= 0.581911
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63425
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= 23260
involuntary context switches= 32497

runsolver used 1.19082 second user time and 3.11852 second system time

The end

Launcher Data (download as text)

Begin job on node63 at 2008-07-05 07:46:01
IDJOB=1085995
IDBENCH=57738
IDSOLVER=366
FILE ID=node63/1085995-1215236761
PBS_JOBID= 7881778
Free space on /tmp= 66492 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= a935103af39bd284c54c6d98a149f42a
RANDOM SEED=1420066744

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1699432 kB
Buffers:          2868 kB
Cached:         122468 kB
SwapCached:        260 kB
Active:         279584 kB
Inactive:        16188 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1699432 kB
SwapTotal:     4192956 kB
SwapFree:      4191676 kB
Dirty:           27804 kB
Writeback:           0 kB
Mapped:         191860 kB
Slab:            45392 kB
Committed_AS:  1049068 kB
PageTables:       2176 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66468 MiB
End job on node63 at 2008-07-05 07:51:14