Trace number 1087045

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 95.4365 96.7736

DiagnosticValue
ASSIGNMENTS2230
CHECKS7805720

General information on the benchmark

Namecsp/fapp/fapp25/
normalized-fapp25-2230-4.xml
MD5SUMfc409cb8b4f9cf04e2dbeb29fe62b8ed
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 benchmark28.9386
Satisfiable
(Un)Satisfiability was proved
Number of variables2230
Number of constraints18971
Maximum constraint arity2
Maximum domain size302
Number of constraints which are defined in extension0
Number of constraints which are defined in intension18971
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.00	c cpHydra_k_40 version 0.0
66.29/66.95	c CASE TO CLASSIFY:
66.29/66.95	c Case: 0
66.29/66.95	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  40.142800 | c 15 >  17.279000 | c 34 >  61.245100 | c 16 >   2.000000 | c 13 >   2.155420 | c 14 >  -1.000000 | c 11 >  11.122800 | c 12 >   3.686040 | c 21 >  16.540300 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   5.828690 | c 24 >   0.821282 | 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.211500 | 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.218600 | c 31 >  -1.000000 | c 4 >  11.122800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
66.29/66.96	c choco : 1801.0
66.29/66.96	c mistral : 1801.0
66.29/66.96	c abscon : 1801.0
66.29/66.96	c
66.29/66.96	c
66.38/67.04	c List of same ones: 40
66.38/67.04	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-10.xml
66.38/67.04	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
66.38/67.05	c choco : 1801.0
66.38/67.05	c mistral : 1800.05
66.38/67.05	c abscon : 156.38
66.38/67.05	c
66.38/67.05	c
66.38/67.05	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-9.xml
66.38/67.05	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
66.38/67.06	c choco : 1801.0
66.38/67.06	c mistral : 1800.06
66.38/67.06	c abscon : 441.864
66.38/67.06	c
66.38/67.06	c
66.38/67.06	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-10.xml
66.38/67.06	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.472100 | c 15 >  12.227300 | c 34 >  68.035800 | c 16 >   2.000000 | c 13 >   2.546710 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   4.460350 | c 21 >  13.109900 | c 20 >   0.000000 | c 22 >  13.490700 | c 23 >   4.118320 | c 24 >   0.800152 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.011100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.975900 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
66.38/67.07	c choco : 1801.0
66.38/67.07	c mistral : 1800.05
66.38/67.07	c abscon : 64.5562
66.38/67.07	c
66.38/67.07	c
66.38/67.07	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-9.xml
66.38/67.07	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.472100 | c 15 >  12.083100 | c 34 >  68.035800 | c 16 >   2.000000 | c 13 >   2.546710 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   4.460350 | c 21 >  13.109900 | c 20 >   0.000000 | c 22 >  13.490700 | c 23 >   4.118320 | c 24 >   0.800152 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.011100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.975900 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
66.38/67.08	c choco : 1801.0
66.38/67.08	c mistral : 1800.09
66.38/67.08	c abscon : 128.934
66.38/67.08	c
66.38/67.08	c
66.38/67.08	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-8.xml
66.38/67.08	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
66.38/67.09	c choco : 1801.0
66.38/67.09	c mistral : 1800.07
66.38/67.09	c abscon : 349.37
66.38/67.09	c
66.38/67.09	c
66.38/67.09	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-10.xml
66.38/67.09	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
66.38/67.10	c choco : 1801.0
66.38/67.10	c mistral : 228.6
66.38/67.10	c abscon : 55.2496
66.38/67.10	c
66.38/67.10	c
66.38/67.10	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-10.xml
66.38/67.10	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
66.47/67.10	c choco : 1801.0
66.47/67.10	c mistral : 81.4206
66.47/67.10	c abscon : 52.605
66.47/67.10	c
66.47/67.10	c
66.47/67.10	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-10.xml
66.47/67.10	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
66.47/67.11	c choco : 1801.0
66.47/67.11	c mistral : 1800.04
66.47/67.11	c abscon : 331.113
66.47/67.11	c
66.47/67.11	c
66.47/67.11	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-8.xml
66.47/67.11	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.472100 | c 15 >  11.964300 | c 34 >  68.035800 | c 16 >   2.000000 | c 13 >   2.546710 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   4.460350 | c 21 >  13.109900 | c 20 >   0.000000 | c 22 >  13.490700 | c 23 >   4.118320 | c 24 >   0.800152 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.011100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.975900 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
66.47/67.12	c choco : 1801.0
66.47/67.12	c mistral : 1800.07
66.47/67.12	c abscon : 77.7912
66.47/67.12	c
66.47/67.12	c
66.47/67.12	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-9.xml
66.47/67.12	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
66.47/67.13	c choco : 1801.0
66.47/67.13	c mistral : 1800.03
66.47/67.13	c abscon : 129.181
66.47/67.13	c
66.47/67.13	c
66.47/67.13	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-9.xml
66.47/67.13	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
66.47/67.14	c choco : 1801.0
66.47/67.14	c mistral : 1800.09
66.47/67.14	c abscon : 506.936
66.47/67.14	c
66.47/67.14	c
66.47/67.14	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-7.xml
66.47/67.14	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.472100 | c 15 >  11.758600 | c 34 >  68.035800 | c 16 >   2.000000 | c 13 >   2.546710 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   4.460350 | c 21 >  13.109900 | c 20 >   0.000000 | c 22 >  13.490700 | c 23 >   4.118320 | c 24 >   0.800152 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.011100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.975900 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
66.47/67.16	c choco : 1801.0
66.47/67.16	c mistral : 1800.08
66.47/67.16	c abscon : 213.954
66.47/67.16	c
66.47/67.16	c
66.47/67.16	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-6.xml
66.47/67.16	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.472100 | c 15 >  11.756600 | c 34 >  68.035800 | c 16 >   2.000000 | c 13 >   2.546710 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   4.460350 | c 21 >  13.109900 | c 20 >   0.000000 | c 22 >  13.490700 | c 23 >   4.118320 | c 24 >   0.800152 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.011100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.975900 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
66.47/67.17	c choco : 1801.0
66.47/67.17	c mistral : 1800.03
66.47/67.17	c abscon : 378.267
66.47/67.17	c
66.47/67.17	c
66.47/67.17	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-3.xml
66.47/67.17	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.472100 | c 15 >  11.602700 | c 34 >  68.035800 | c 16 >   2.000000 | c 13 >   2.546710 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   4.460350 | c 21 >  13.109900 | c 20 >   0.000000 | c 22 >  13.490700 | c 23 >   4.118320 | c 24 >   0.800152 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.011100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.975900 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
66.47/67.17	c choco : 1801.0
66.47/67.17	c mistral : 811.31
66.47/67.17	c abscon : 9.81851
66.47/67.17	c
66.47/67.17	c
66.47/67.17	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-8.xml
66.47/67.17	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
66.47/67.18	c choco : 1801.0
66.47/67.18	c mistral : 1800.02
66.47/67.18	c abscon : 85.215
66.47/67.18	c
66.47/67.18	c
66.47/67.18	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-2.xml
66.47/67.18	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.472100 | c 15 >  11.592900 | c 34 >  68.035800 | c 16 >   2.000000 | c 13 >   2.546710 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   4.460350 | c 21 >  13.109900 | c 20 >   0.000000 | c 22 >  13.490700 | c 23 >   4.118320 | c 24 >   0.800152 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.011100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.975900 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
66.47/67.19	c choco : 1801.0
66.47/67.19	c mistral : 310.611
66.47/67.19	c abscon : 9.8545
66.47/67.19	c
66.47/67.19	c
66.47/67.19	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-3.xml
66.47/67.19	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
66.47/67.20	c choco : 1801.0
66.47/67.20	c mistral : 155.051
66.47/67.20	c abscon : 7.09492
66.47/67.20	c
66.47/67.20	c
66.47/67.20	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-1.xml
66.47/67.20	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
66.54/67.20	c choco : 1801.0
66.54/67.20	c mistral : 71.9411
66.54/67.20	c abscon : 6.95394
66.54/67.20	c
66.54/67.20	c
66.54/67.20	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-9.xml
66.54/67.20	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
66.54/67.21	c choco : 1801.0
66.54/67.21	c mistral : 866.057
66.54/67.21	c abscon : 36.8914
66.54/67.21	c
66.54/67.21	c
66.54/67.21	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-8.xml
66.54/67.21	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
66.54/67.22	c choco : 1801.0
66.54/67.22	c mistral : 1800.02
66.54/67.22	c abscon : 55.4456
66.54/67.22	c
66.54/67.22	c
66.54/67.22	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-4.xml
66.54/67.22	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.472100 | c 15 >  11.513200 | c 34 >  68.035800 | c 16 >   2.000000 | c 13 >   2.546710 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   4.460350 | c 21 >  13.109900 | c 20 >   0.000000 | c 22 >  13.490700 | c 23 >   4.118320 | c 24 >   0.800152 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.011100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.975900 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
66.54/67.23	c choco : 1801.0
66.54/67.23	c mistral : 1078.26
66.54/67.23	c abscon : 12.6221
66.54/67.23	c
66.54/67.23	c
66.54/67.23	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-8.xml
66.54/67.23	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
66.54/67.23	c choco : 1801.0
66.54/67.23	c mistral : 1800.03
66.54/67.23	c abscon : 11.3953
66.54/67.23	c
66.54/67.23	c
66.54/67.23	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-7.xml
66.54/67.23	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
66.54/67.24	c choco : 1801.0
66.54/67.24	c mistral : 1800.1
66.54/67.24	c abscon : 11.7712
66.54/67.24	c
66.54/67.24	c
66.54/67.24	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-5.xml
66.54/67.24	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
66.54/67.25	c choco : 1801.0
66.54/67.25	c mistral : 152.693
66.54/67.25	c abscon : 6.91295
66.54/67.25	c
66.54/67.25	c
66.54/67.25	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-1.xml
66.54/67.25	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.472100 | c 15 >  11.491900 | c 34 >  68.035800 | c 16 >   2.000000 | c 13 >   2.546710 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   4.460350 | c 21 >  13.109900 | c 20 >   0.000000 | c 22 >  13.490700 | c 23 >   4.118320 | c 24 >   0.800152 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.011100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.975900 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
66.54/67.25	c choco : 1801.0
66.54/67.25	c mistral : 126.293
66.54/67.25	c abscon : 10.1565
66.54/67.25	c
66.54/67.25	c
66.54/67.25	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-6.xml
66.54/67.25	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
66.54/67.26	c choco : 1801.0
66.54/67.26	c mistral : 145.44
66.54/67.26	c abscon : 7.14491
66.54/67.26	c
66.54/67.26	c
66.54/67.26	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-2.xml
66.54/67.26	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
66.54/67.26	c choco : 1801.0
66.54/67.26	c mistral : 73.3329
66.54/67.26	c abscon : 6.84696
66.54/67.26	c
66.54/67.26	c
66.54/67.26	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-9.xml
66.54/67.26	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
66.54/67.27	c choco : 1801.0
66.54/67.27	c mistral : 1800.04
66.54/67.27	c abscon : 11.0943
66.54/67.27	c
66.54/67.27	c
66.54/67.27	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-1.xml
66.54/67.27	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
66.54/67.27	c choco : 1801.0
66.54/67.27	c mistral : 1800.03
66.54/67.27	c abscon : 20.0829
66.54/67.27	c
66.54/67.27	c
66.54/67.28	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-10.xml
66.54/67.28	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.854000 | c 15 >  12.460500 | c 34 >  68.271900 | c 16 >   2.000000 | c 13 >   2.596710 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.681000 | c 21 >  12.658900 | c 20 >   0.000000 | c 22 >  13.784000 | c 23 >   3.099670 | c 24 >   0.791706 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.646800 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.289900 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
66.54/67.28	c choco : 1801.0
66.54/67.28	c mistral : 1800.11
66.54/67.28	c abscon : 39.9029
66.54/67.28	c
66.54/67.28	c
66.54/67.28	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-7.xml
66.54/67.28	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
66.54/67.29	c choco : 1801.0
66.54/67.29	c mistral : 22.7995
66.54/67.29	c abscon : 8.06777
66.54/67.29	c
66.54/67.29	c
66.54/67.29	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-0.xml
66.54/67.29	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
66.54/67.29	c choco : 1801.0
66.54/67.29	c mistral : 72.111
66.54/67.29	c abscon : 6.68698
66.54/67.29	c
66.54/67.29	c
66.54/67.29	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-6.xml
66.54/67.29	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
66.60/67.30	c choco : 1801.0
66.60/67.30	c mistral : 80.98
66.60/67.30	c abscon : 8.12576
66.60/67.30	c
66.60/67.30	c
66.60/67.30	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-7.xml
66.60/67.30	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
66.60/67.31	c choco : 1801.0
66.60/67.31	c mistral : 113.54
66.60/67.31	c abscon : 11.2793
66.60/67.31	c
66.60/67.31	c
66.60/67.31	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-6.xml
66.60/67.31	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
66.60/67.31	c choco : 1801.0
66.60/67.31	c mistral : 19.3181
66.60/67.31	c abscon : 8.28274
66.60/67.31	c
66.60/67.31	c
66.60/67.31	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-4.xml
66.60/67.31	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
66.60/67.32	c choco : 1801.0
66.60/67.32	c mistral : 146.632
66.60/67.32	c abscon : 6.95894
66.60/67.32	c
66.60/67.32	c
66.60/67.32	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-9.xml
66.60/67.32	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.854000 | c 15 >  12.322500 | c 34 >  68.271900 | c 16 >   2.000000 | c 13 >   2.596710 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.681000 | c 21 >  12.658900 | c 20 >   0.000000 | c 22 >  13.784000 | c 23 >   3.099670 | c 24 >   0.791706 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.646800 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.289900 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
66.60/67.32	c choco : 1801.0
66.60/67.32	c mistral : 1800.06
66.60/67.32	c abscon : 41.6947
66.60/67.32	c
66.60/67.32	c
66.60/67.32	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-10.xml
66.60/67.32	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.125800 | c 15 >  11.856000 | c 34 >  68.280300 | c 16 >   2.000000 | c 13 >   3.031350 | c 14 >  -1.000000 | c 11 >   9.228820 | c 12 >   4.906250 | c 21 >  13.519000 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   3.512160 | c 24 >   0.860617 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.135100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  16.742700 | c 31 >  -1.000000 | c 4 >   9.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
66.60/67.33	c choco : 1801.0
66.60/67.33	c mistral : 1800.03
66.60/67.33	c abscon : 25.9351
66.60/67.33	c
66.60/67.33	c
66.60/67.33	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-4.xml
66.60/67.33	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
66.60/67.34	c choco : 1801.0
66.60/67.34	c mistral : 28.7696
66.60/67.34	c abscon : 7.97079
66.60/67.34	c
66.60/67.34	c
66.60/67.34	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-3.xml
66.60/67.34	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
66.60/67.35	c choco : 1801.0
66.60/67.35	c mistral : 1800.08
66.60/67.35	c abscon : 15.1547
66.60/67.35	c
66.60/67.35	c
66.60/67.35	c Length: 40
66.60/67.35	c 10.299526328148737  10.418958884371747  10.425036062959203  10.495669622944497  10.499042426061006  10.50564804991601  10.513052201032012  10.520509415547565  10.55498650468109  10.631224314193735  10.641972672518238  10.660043160512997  10.661079015934545  10.741605360187084  10.743237727459263  10.746787298258019  10.758234925617165  10.770330427371714  10.784153945100378  10.784629202324206  10.7891683490434  10.793607060851759  10.797969800786817  10.800561341526143  10.800566208954043  10.806163688079549  10.81604798924584  10.834676746081026  10.836433907620577  10.847196026894506  10.851061308076002  10.876087069933238  10.882314179378579  10.892859718309467  10.895250670894363  10.895939439881674  10.909198487784334  10.909471722907801  10.959277632746788  10.968051681252462  
66.60/67.35	c 
66.60/67.35	c 1.0  0.8484277461913432  0.8419342712673303  0.7731578503832125  0.7701537205639811  0.7643372650646845  0.7579212333792249  0.7515671832478875  0.7235236176988956  0.6683760785593122  0.6612700976442814  0.649657868787658  0.6490045671941649  0.6019473379066528  0.6010638936832517  0.5991517723381357  0.5930670849333447  0.5867708868040614  0.5797369216953298  0.5794980889817741  0.5772268914774792  0.5750230979049337  0.5728733607590286  0.5716039738206284  0.5716015949527811  0.5688789694300636  0.5641340344244189  0.5554031818122576  0.5545935696939462  0.5496859669730473  0.5479445032385494  0.5369310249695944  0.5342590094857769  0.5297941284412199  0.5287921802936204  0.5285042487739112  0.5230219480485448  0.5229101676524818  0.5033027940583004  0.5  
66.60/67.36	c
66.60/67.36	c solver 0
66.60/67.36	c	  before 0.0 seconds: {} 0
66.60/67.36	c	  before 18.0 seconds: {13, 15, 16, 17, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 34, 35, 38, 39} 11147
66.60/67.36	c	  before 36.0 seconds: {13, 15, 16, 17, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 37, 38, 39} 12224
66.60/67.36	c	  before 54.0 seconds: {6, 13, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 14635
66.60/67.36	c	  before 72.0 seconds: {2, 5, 6, 13, 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} 16820
66.60/67.36	c	  before 90.0 seconds: {2, 5, 6, 8, 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} 18145
66.60/67.36	c	  before 144.0 seconds: {2, 3, 5, 6, 8, 9, 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} 19586
66.60/67.36	c	  before 162.0 seconds: {0, 2, 3, 5, 6, 8, 9, 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} 20586
66.60/67.37	c	  before 216.0 seconds: {0, 2, 3, 5, 6, 8, 9, 11, 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} 21236
66.60/67.37	c	  before 342.0 seconds: {0, 2, 3, 5, 6, 7, 8, 9, 11, 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} 21988
66.60/67.37	c	  before 360.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 11, 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} 22758
66.60/67.37	c	  before 396.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 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} 23407
66.60/67.37	c	  before 450.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 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} 24255
66.60/67.37	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} 24917
66.60/67.37	c
66.60/67.37	c solver 1
66.60/67.37	c	  before 0.0 seconds: {} 0
66.60/67.37	c	  before 36.0 seconds: {30, 34, 38} 1580
66.60/67.37	c	  before 72.0 seconds: {17, 30, 34, 38} 2166
66.60/67.37	c	  before 90.0 seconds: {6, 17, 26, 30, 31, 32, 34, 38} 4560
66.60/67.37	c	  before 126.0 seconds: {6, 17, 26, 30, 31, 32, 33, 34, 38} 5089
66.60/67.37	c	  before 144.0 seconds: {6, 17, 24, 26, 30, 31, 32, 33, 34, 38} 5661
66.60/67.37	c	  before 162.0 seconds: {6, 16, 17, 23, 24, 25, 26, 30, 31, 32, 33, 34, 35, 38} 7923
66.60/67.37	c	  before 234.0 seconds: {5, 6, 16, 17, 23, 24, 25, 26, 30, 31, 32, 33, 34, 35, 38} 8687
66.60/67.37	c	  before 324.0 seconds: {5, 6, 15, 16, 17, 23, 24, 25, 26, 30, 31, 32, 33, 34, 35, 38} 9286
66.60/67.37	c	  before 828.0 seconds: {5, 6, 13, 15, 16, 17, 23, 24, 25, 26, 30, 31, 32, 33, 34, 35, 38} 9888
66.60/67.37	c	  before 882.0 seconds: {5, 6, 13, 15, 16, 17, 18, 23, 24, 25, 26, 30, 31, 32, 33, 34, 35, 38} 10468
66.60/67.37	c	  before 1080.0 seconds: {5, 6, 13, 15, 16, 17, 18, 20, 23, 24, 25, 26, 30, 31, 32, 33, 34, 35, 38} 11045
66.60/67.37	c
66.60/67.37	c solver 2
66.60/67.37	c	  before 0.0 seconds: {} 0
66.60/67.37	c
66.60/67.37	cTotal time: 89
66.60/67.37	c 1602.0 seconds unused
66.60/67.37	c 0 c 21 c 40 
66.60/67.37	c 0 c 0 c 19 
66.60/67.37	c 0 c 0 c 0 
66.60/67.37	c is solver0 dominated by:
66.60/67.37	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)
66.60/67.37	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)
66.60/67.37	c is dominated? false
66.60/67.37	c
66.60/67.37	c is solver1 dominated by:
66.60/67.37	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)
66.60/67.37	c is dominated? true
66.60/67.37	c
66.60/67.37	c is solver2 dominated by:
66.60/67.37	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)
66.60/67.37	c is dominated? true
66.60/67.37	c
66.60/67.37	c Number of non-dominated solvers: 1
66.60/67.37	c remove dominated solvers
66.60/67.37	c solver 0 is not dominated by another solver
66.60/67.37	c solver 2 is dominated by another solver
66.60/67.37	c solver 1 is dominated by another solver
66.60/67.37	c
66.60/67.37	c solver 0: 522.0
66.60/67.37	c
66.60/67.37	c+ 29/29 of 71
66.60/67.37	c
66.60/67.37	c solver 1: 0.0
66.60/67.37	c
66.60/67.37	c solver 2: 0.0
66.60/67.37	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} 24917
66.60/67.37	c	 do not run mistral
66.60/67.37	c	 do not run choco
66.60/67.37	c Starting solver: HOME/cpHydra_k_40/solver/abscon
66.60/67.37	c On Instance: HOME/instance-1087045-1215242435.xml
66.60/67.37	c Running for: 1800 seconds
95.36/96.73	s SAT
95.36/96.73	v  2260 2520 2500 2428 2256 -2500 2288 2384 -2220 -2372 2396 2688 2820 -2220 -2260 2820 2488 2572 2756 2272 2468 2492 2656 2260 -2260 2268 2684 -2548 2660 2260 2780 2352 2232 -2788 2820 2816 2748 2260 2460 -2372 -2680 2412 -2440 2792 2288 -2260 2608 2220 2304 2308 -2724 -2760 2580 2272 2480 -2448 2780 2540 -2728 -2340 -2732 -2752 -2528 -2636 -2676 2432 -2672 2716 2324 2352 -2260 2524 -2624 -2780 2412 -2560 2260 2820 2372 2820 -2684 -2732 2704 -2776 -2820 -2308 -2820 2392 2620 2220 2220 2516 2348 -2624 -2300 2692 2780 2484 2776 -2388 2588 2668 2264 2676 -2820 2632 2636 2404 2492 2792 2356 2508 2476 -2780 -2332 2268 2780 2524 2600 -2404 2540 -2476 2788 -2260 2640 -2428 2748 2768 -2372 -2480 2376 2644 2788 2644 2328 2352 2260 -2820 2308 -2460 -2696 2728 -2260 2248 -2260 2280 2440 2372 2484 -2244 -2776 2620 2400 -2548 2684 2516 2260 2220 2708 2496 2820 2728 2260 2440 2520 -2684 -2620 2704 -2780 2820 2396 2540 -2368 2400 2220 -2396 -2804 2508 -2636 2736 2276 -2684 -2644 -2820 -2432 -2672 2764 -2820 2632 -2248 -2508 2220 2372 2660 2560 2228 2280 2348 -2288 2616 -2800 2760 2424 2584 -2608 2452 -2572 2220 -2644 2240 -2464 2288 -2780 -2644 -2220 2224 -2304 -2396 -2252 -2260 -2568 2480 2544 -2492 -2632 2344 2712 2256 -2588 -2220 2552 -2220 2584 -2756 -2732 2712 -2404 -2284 -2452 2536 -2800 2356 2288 2460 -2384 -2272 2616 2656 2684 2544 2540 2508 -2624 2676 2584 2540 -2492 2556 2508 2548 2300 -2292 2476 2692 -2376 -2460 2260 2488 2576 2264 -2732 2364 -2260 -2752 2480 2820 2768 2236 -2760 2636 -2228 2296 2680 2412 2628 2236 -2680 2712 2780 -2548 2712 2488 -2396 2504 2224 2688 2248 2240 2768 2616 -2820 -2764 -2712 2220 -2636 2220 2784 -2260 -2504 2816 2516 -2772 2332 2220 2628 -2524 2524 2820 2328 2628 2728 -2604 -2220 2396 2632 -2260 2500 -2260 2716 -2320 -2520 -2608 2692 2492 2260 -2532 -2460 2332 -2556 -2244 2236 2472 2564 2572 -2768 -2332 2220 -2516 -2604 -2608 2312 -2404 -2328 2220 2804 2576 2528 -2440 -2780 -2640 -2788 2608 2728 -2760 -2548 2464 2456 2276 2220 -2820 2352 2260 2388 -2352 2324 -2796 -2744 2536 -2616 2464 2312 2420 2568 2628 -2820 -2264 -2544 -2820 2392 2296 -2260 2648 2724 2732 2260 2220 2260 2568 2444 -2588 -2224 -2672 -2676 -2600 2684 2600 -2576 -2580 2708 2312 2660 2284 2332 2220 2440 -2564 -2712 2620 -2744 2232 2536 -2312 2260 2780 -2616 2260 -2444 2568 2240 -2264 2708 2476 2600 -2260 -2428 2564 2676 2428 2316 2456 -2320 2540 -2780 -2820 2220 2644 2568 -2476 2492 -2636 2780 2220 2808 2372 2420 2452 2328 -2668 2440 -2220 -2276 2476 2544 2364 2564 2404 2456 -2340 2780 2312 2716 -2420 -2260 2588 2820 2232 -2400 -2596 -2688 2632 2220 -2820 2368 -2560 -2416 2608 2260 -2612 2748 2308 2748 2652 2284 2400 -2580 2748 2376 2692 -2280 2260 2352 -2652 -2220 -2600 2280 2220 2220 -2304 2540 2220 2328 -2252 2780 2392 2468 -2220 -2560 2440 2632 2468 2532 2524 2516 2456 2768 -2812 -2656 2432 -2620 2556 -2268 2468 2780 2448 -2780 2264 -2220 2580 2260 -2456 -2400 2552 2444 2808 2636 -2720 -2596 2536 2564 -2432 -2540 2464 -2352 2280 2220 2660 2296 -2640 2604 -2372 -2564 2240 -2260 2220 -2800 -2280 -2580 -2480 -2264 2312 -2780 2780 2260 -2820 2628 2220 2676 -2264 2780 -2528 2512 2428 -2484 2220 2472 -2752 2352 2584 2344 -2752 2536 -2820 2660 2260 -2636 2720 2788 2688 2352 2220 2636 2440 2692 2376 2464 2780 2444 -2388 2296 -2268 -2268 2436 2220 2404 2724 2820 -2684 2508 2680 2332 -2240 2372 2220 -2668 2712 -2440 2260 2812 2664 2328 -2404 2220 2500 -2364 -2288 2644 2820 2260 2628 2600 2440 2428 2780 -2524 2560 -2652 2624 2700 -2820 2672 2316 2244 2352 -2756 2484 2472 -2684 -2820 2724 2288 -2732 2516 2708 -2820 2640 2412 2368 2440 -2404 2312 2220 -2452 2496 2648 2708 2672 -2820 -2276 2464 2220 -2520 2524 2672 2484 2368 2692 2516 2520 -2620 2648 2332 -2508 2780 2348 2592 2780 2724 2220 -2252 2596 -2260 -2540 -2516 2328 2676 2428 2424 -2700 -2272 2460 2652 -2220 -2820 -2812 2684 -2660 2264 2456 -2228 -2752 -2352 2732 2820 -2376 2820 2444 2820 2268 -2304 -2820 -2404 2592 -2376 2256 -2372 2520 2640 -2448 -2676 2436 2392 -2264 2340 2320 -2596 2780 2504 2220 2808 2344 2300 2352 -2592 -2332 2572 2300 -2220 2448 -2348 2220 2264 -2284 2504 2616 2220 2588 2352 -2820 2260 -2564 2356 2684 2504 -2384 2220 2788 2312 2248 -2660 2260 2568 2392 2260 -2448 -2468 -2260 -2260 -2260 -2228 2780 2552 2224 2548 -2304 2604 2588 -2780 2244 -2352 -2220 2408 2420 2428 2560 2588 2604 -2564 -2680 -2736 2764 2556 2616 2284 -2820 2556 2580 2536 2756 2220 2264 2220 2576 2308 2432 2260 2492 2480 2564 2548 2392 2628 2308 2248 -2820 2676 -2708 -2672 -2424 -2576 -2500 2360 -2668 -2820 2300 2600 -2220 2584 -2780 2268 2356 -2260 2272 2220 2528 -2808 2500 2288 -2800 -2508 2780 2408 2280 -2548 2576 2796 -2260 -2768 2260 2820 -2700 2220 2268 -2716 -2500 2260 2676 -2360 2780 -2508 2696 2260 2780 -2820 -2488 2732 -2292 -2532 -2276 -2512 -2352 -2540 -2424 -2736 2780 2560 2220 -2596 2332 2288 2504 -2688 -2260 2268 2372 2728 -2820 -2260 -2780 2560 -2560 -2544 2608 2648 -2568 2260 2732 -2220 2684 -2692 2300 -2516 2820 2468 2768 2692 -2444 -2260 2396 2308 -2508 2736 2528 2348 -2820 2704 -2572 2440 2684 -2312 2780 2524 -2320 2344 2448 2276 -2576 -2312 -2644 2600 2560 2676 2804 2524 -2504 2604 2776 2768 2340 2756 2780 2468 2416 2260 2352 2656 2772 -2764 2644 2612 2664 2416 -2476 2552 2740 2644 -2588 2244 -2680 -2276 -2260 2712 2700 2220 2372 2744 -2528 2480 2780 2448 2668 -2256 -2560 -2780 2260 2260 2764 2624 2544 2592 -2568 2304 2232 2312 -2424 -2644 2620 2368 -2708 2796 2572 2260 2420 2440 2672 2716 -2820 -2764 2712 2316 2400 -2608 -2560 -2360 2328 2440 -2520 2288 2564 2672 -2820 2796 2664 -2440 -2320 2328 2748 2772 2288 2532 2512 2356 2668 -2736 2748 2320 2508 -2272 2424 2780 -2260 2392 2728 2304 2516 2480 2396 2692 2616 -2360 -2636 2780 2292 -2296 2556 2720 2312 2260 2220 2772 2732 2292 2780 2344 2728 -2660 2576 -2292 -2460 2364 2804 2596 2488 2772 2632 -2388 2260 -2288 2484 -2480 2508 2224 -2704 2476 -2748 2292 2268 2736 2260 2404 2532 2780 -2412 2732 2668 2444 -2704 2780 2436 2464 2220 -2416 2504 2332 -2780 -2672 2780 2228 -2652 -2252 2476 -2516 -2468 -2780 -2780 2508 -2468 2312 2664 -2232 -2260 2452 2628 2380 2636 -2240 2676 2260 -2388 2596 2260 -2488 2628 2584 2780 2396 2524 2640 2260 2528 2780 -2472 -2392 2220 2660 2676 -2220 2780 -2708 -2460 2436 -2780 2408 2408 2520 2520 2460 2480 2556 2220 -2588 2368 2392 2500 2336 -2260 2260 -2432 -2560 2704 2220 2468 2520 2648 2384 -2260 2260 -2392 2612 -2784 2220 -2356 -2820 -2464 -2536 2408 2656 -2700 -2220 2220 2324 -2560 -2336 2656 -2496 -2544 -2676 -2800 2476 -2220 2480 -2480 2820 2568 2220 -2312 2260 2260 2392 -2820 2764 2676 2676 2408 2608 -2504 2780 2724 2424 2240 2380 2332 -2556 2520 -2484 2744 -2292 -2408 -2280 -2328 2752 -2392 2280 2696 -2716 -2260 2768 2780 2280 2624 -2476 -2320 -2508 -2444 2640 2432 2704 -2820 -2488 2272 2592 -2444 2660 -2708 -2632 2648 -2588 -2492 -2260 2424 2260 2512 -2616 2656 2748 -2244 2384 -2780 2780 -2704 2636 2552 2336 2228 -2580 2800 -2608 2596 2260 2276 2340 2728 -2576 -2376 2396 -2428 2220 2688 2736 2260 2428 -2576 2460 2312 -2548 2448 -2372 -2260 -2272 2352 2604 -2220 -2300 2548 -2484 2556 -2700 -2820 2268 -2616 -2412 -2768 2400 -2416 -2748 2260 -2672 2600 2552 2472 2820 2260 -2260 2260 2348 2456 -2820 -2516 2576 -2292 2220 2352 -2780 2380 2620 -2492 2512 -2644 2684 2260 -2744 2580 -2408 2336 2820 2780 2256 2332 2664 2328 2672 -2464 -2820 -2440 -2388 2332 2820 2220 2632 2704 2540 2352 2732 2616 -2612 -2820 -2652 2268 2632 2584 2220 -2308 2588 2260 2360 2632 -2260 -2644 -2620 2220 2808 2492 -2392 -2392 -2708 2220 2352 -2820 2568 2600 2556 -2380 -2556 2220 2576 2220 2564 2260 -2636 2544 2652 2340 -2720 -2392 2780 -2524 2220 2736 -2536 2372 -2692 2260 2260 2720 2520 2348 -2356 -2664 2368 -2260 -2780 2572 2556 2820 -2540 -2752 -2820 2780 -2820 2644 2220 -2820 -2260 -2504 2796 -2780 -2760 -2480 2400 -2620 -2220 -2752 -2664 2408 2220 -2260 2324 -2756 -2468 -2232 -2524 -2364 2512 -2596 -2820 2676 2328 2780 -2440 2692 -2260 2260 2664 -2592 2636 2484 2576 2328 2556 2732 -2408 2392 -2596 -2820 2312 2220 2656 2696 -2256 -2700 2428 2728 2524 2400 -2388 2696 -2692 2304 2768 2328 2548 -2784 2568 2604 2752 -2260 2264 2236 2552 2600 2376 2808 -2700 2564 -2256 2780 -2336 2504 2444 2272 2596 -2580 -2372 2820 2768 2348 2260 -2320 2732 -2356 2564 -2580 2548 2568 2552 2780 2260 2412 -2592 2248 -2220 2652 2272 2700 2380 -2596 2436 2356 2596 2428 -2296 2780 2332 2616 -2544 2576 2356 -2588 -2324 2372 -2820 -2340 -2548 -2260 2296 2448 -2220 2220 -2376 2780 2448 2276 2368 2264 2220 2516 2452 -2680 2388 -2220 2636 2728 2716 2620 2504 2460 2544 2436 2620 -2420 -2820 2220 -2684 -2360 2624 -2344 -2260 2692 2616 -2604 2220 2728 2636 2820 -2348 -2820 2360 2624 -2336 2780 2220 -2372 -2436 -2692 2716 2716 -2252 2352 2512 2296 -2764 2324 -2492 2244 -2396 -2320 2312 2220 2352 -2744 -2488 2656 2692 2252 2760 -2652 -2308 -2580 2664 -2580 2220 2780 2596 2412 2408 -2604 2516 2384 2468 -2388 2512 2340 2636 -2284 2264 2796 -2768 -2512 2748 2688 -2412 2628 2300 2232 2260 -2220 -2820 -2260 2272 2448 2660 -2380 2816 -2540 2220 2440 -2332 -2364 2220 2584 -2432 -2548 2372 2220 -2532 -2364 2444 -2220 -2736 2228 2416 -2820 -2548 2720 2260 2476 2412 2484 2492 2512 -2612 2296 -2220 -2260 -2292 2264 -2792 -2532 2456 -2660 2772 2572 -2692 -2584 -2612 -2820 2780 -2220 -2524 2756 2600 2220 2260 -2564 -2704 -2336 -2608 2468 2692 -2384 2780 2644 -2356 2564 -2556 2284 2620 -2572 -2432 2820 2468 2780 -2260 2220 2472 -2532 2220 2748 2536 -2312 -2360 2472 -2644 2400 2600 2220 2220 2348 2520 2276 2300 2780 -2820 2428 2408 2272 -2348 -2436 -2820 -2300 -2268 2552 2800 2476 2400 2672 -2284 2560 2392 2788 2636 -2580 2536 -2764 -2636 -2808 2408 2576 2640 2288 2220 2220 -2428 2480 -2548 2568 2676 2684 2780 -2308 2260 2260 2448 2636 -2628 2348 -2380 2220 2748 -2512 -2348 2336 2260 -2820 -2368 2408 -2316 -2440 2516 2524 2316 -2348 2468 2416 -2668 2696 2492 2260 2220 -2588 2372 2224 2264 2552 -2260 -2780 2220 -2740 2560 2260 2244 -2552 2632 -2784 -2572 2712 2692 -2504 2260 2796 2220 2780 -2472 -2260 -2480 -2260 2760 2260 2640 2400 2312 -2608 -2820 -2288 -2688 2792 -2296 2500 -2820 2352 2780 2428 2696 2772 -2532 2732 2308 2500 2616 2564 2648 2348 2756 2628 2404 -2228 2820 2220 2276 2220 2264 -2612 -2760 2692 2440 -2524 2596 -2396 2340 -2496 2668 2792 -2292 -2416 2780 -2220 2640 -2260 -2236 2780 2268 2780 2672 2720 2540 2572 2512 -2692 2220 -2664 -2280 2304 2288 2496 2644 2420 -2644 2576 -2400 2620 2480 2768 -2600 2264 2668 2220 2368 -2676 2284 2520 2616 -2260 -2372 2508 -2760 2220 -2576 2780 2604 -2568 -2304 -2260 -2236 -2380 -2624 2728 -2700 2372 2408 2328 2340 2820 -2636 -2820 -2764 2368 2304 -2768 -2540 2448 2260 -2720 -2220 -2600 -2444 -2260 -2664 -2612 2352 2712 2468 2788 -2500 -2692 2492 2748 2680 -2408 2808 2596 2336 -2820 -2688 2568 2416 2220 -2220 2500 -2512 -2224 2724 -2820 2228 2532 -2224 -2768 2420 2568 2312 2500 2544 2568 -2532 2668 2780 -2400 2452 2272 2352 2224 2724 2608 -2760 -2300 2464 -2304 2312 -2420 -2540 -2652 2220 2260 -2612 2392 2472 2704 2472 2260 2396 2408 2296 2628 2552 2496 2804 -2780 -2448 2520 -2480 2648 2260 -2580 -2780 -2604 2236 2732 2532 -2592 2464 2780 2384 2264 -2220 2780 2564 2252 2556 2640 -2528 2260 2500 2648 2244 2632 2752 2464 2564 2220 2256 2620 -2444 -2468 2236 2744 2448 2260 2332 2260 2280 2588 -2636 -2432 -2316 2364 -2288 -2492 2260 -2272 -2352 2248 2340 2260 2388 -2780 2308 -2756 -2260 -2544 -2412 -2380 -2252 2820 2820 2488 2596 2788 2580 2220 2668 -2480 2228 2408 2260 -2648 -2352 2260 -2608 -2452 2440 2220 2780 2780 2532 2220 2392 2236 2536 2220 -2524 -2696 2768 -2220 -2528 2540 -2476 -2220 2272 2260 -2580 2732 2488 2264 -2260 -2452 2604 2356 -2780 -2476 -2440 -2580 2220 2360 2612 -2820 2220 -2676 -2696 -2260 2312 2744 2820 -2548 -2480 2440 -2220 2260 2220 2768 2504 2508 2788 2468 2760 2528 2448 2324 2592 2400 2236 2296 2276 2452 2340 -2732 2756 -2820 -2820 2364 -2436 2556 2660 -2660 -2780 -2516 2288 2260 2368 -2432 2436 2776 -2608 -2504 -2500 -2580 2224 -2320 2232 2260 2768 2220 2564 -2752 -2516 2220 2436 2564 2604 2796 2744 2380 2456 
95.36/96.73	d ASSIGNMENTS 2230
95.36/96.73	d CHECKS 7805721

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-1087045-1215242435/watcher-1087045-1215242435 -o /tmp/evaluation-result-1087045-1215242435/solver-1087045-1215242435 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1087045-1215242435.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.00 1.01 1.27 4/73 8916
/proc/meminfo: memFree=1556800/2055920 swapFree=4121428/4192956
[pid=8916] ppid=8914 vsize=5360 CPUtime=0
/proc/8916/stat : 8916 (hydra) S 8914 8916 6099 0 -1 4194304 306 124 0 0 0 0 0 0 20 0 1 0 1553917550 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8916/statm: 1340 236 195 169 0 51 0
[pid=8918] ppid=8916 vsize=0 CPUtime=0
/proc/8918/stat : 8918 (hydra) R 8916 8916 6099 0 -1 4194368 21 0 0 0 0 0 0 0 23 0 1 0 1553917550 0 0 996147200 0 0 0 18446744073709551615 212234464551 0 0 4096 0 0 0 0 17 1 0 0
/proc/8918/statm: 0 0 0 0 0 0 0

[startup+0.0926921 s]
/proc/loadavg: 1.00 1.01 1.27 4/73 8916
/proc/meminfo: memFree=1556800/2055920 swapFree=4121428/4192956
[pid=8916] ppid=8914 vsize=5360 CPUtime=0
/proc/8916/stat : 8916 (hydra) S 8914 8916 6099 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1553917550 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8916/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.101686 s]
/proc/loadavg: 1.00 1.01 1.27 4/73 8916
/proc/meminfo: memFree=1556800/2055920 swapFree=4121428/4192956
[pid=8916] ppid=8914 vsize=5360 CPUtime=0
/proc/8916/stat : 8916 (hydra) S 8914 8916 6099 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1553917550 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8916/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.301724 s]
/proc/loadavg: 1.00 1.01 1.27 4/73 8916
/proc/meminfo: memFree=1556800/2055920 swapFree=4121428/4192956
[pid=8916] ppid=8914 vsize=5360 CPUtime=0
/proc/8916/stat : 8916 (hydra) S 8914 8916 6099 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1553917550 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8916/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.701792 s]
/proc/loadavg: 1.00 1.01 1.27 4/73 8916
/proc/meminfo: memFree=1556800/2055920 swapFree=4121428/4192956
[pid=8916] ppid=8914 vsize=5360 CPUtime=0
/proc/8916/stat : 8916 (hydra) S 8914 8916 6099 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1553917550 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8916/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+1.50193 s]
/proc/loadavg: 1.00 1.01 1.27 3/75 8920
/proc/meminfo: memFree=1513712/2055920 swapFree=4121428/4192956
[pid=8916] ppid=8914 vsize=5360 CPUtime=0
/proc/8916/stat : 8916 (hydra) S 8914 8916 6099 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1553917550 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8916/statm: 1340 236 195 169 0 51 0
[pid=8920] ppid=8916 vsize=76720 CPUtime=1.47
/proc/8920/stat : 8920 (xsolve) R 8916 8916 6099 0 -1 4194304 11187 0 0 0 142 5 0 0 25 0 1 0 1553917551 78561280 11080 996147200 134512640 135239763 4294956176 18446744073709551615 134543045 0 0 4096 0 0 0 0 17 1 0 0
/proc/8920/statm: 19180 11080 417 177 0 18083 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 82080

[startup+3.10221 s]
/proc/loadavg: 1.00 1.01 1.27 3/75 8920
/proc/meminfo: memFree=1512688/2055920 swapFree=4121428/4192956
[pid=8916] ppid=8914 vsize=5360 CPUtime=0
/proc/8916/stat : 8916 (hydra) S 8914 8916 6099 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1553917550 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8916/statm: 1340 236 195 169 0 51 0
[pid=8920] ppid=8916 vsize=76720 CPUtime=3.04
/proc/8920/stat : 8920 (xsolve) R 8916 8916 6099 0 -1 4194304 11187 0 0 0 297 7 0 0 25 0 1 0 1553917551 78561280 11080 996147200 134512640 135239763 4294956176 18446744073709551615 134539300 0 0 4096 0 0 0 0 17 1 0 0
/proc/8920/statm: 19180 11080 417 177 0 18083 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 82080

[startup+6.30176 s]
/proc/loadavg: 1.16 1.05 1.28 3/75 8920
/proc/meminfo: memFree=1513584/2055920 swapFree=4121428/4192956
[pid=8916] ppid=8914 vsize=5360 CPUtime=0
/proc/8916/stat : 8916 (hydra) S 8914 8916 6099 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1553917550 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8916/statm: 1340 236 195 169 0 51 0
[pid=8920] ppid=8916 vsize=76720 CPUtime=6.22
/proc/8920/stat : 8920 (xsolve) R 8916 8916 6099 0 -1 4194304 11187 0 0 0 615 7 0 0 25 0 1 0 1553917551 78561280 11080 996147200 134512640 135239763 4294956176 18446744073709551615 134820115 0 0 4096 0 0 0 0 17 1 0 0
/proc/8920/statm: 19180 11080 417 177 0 18083 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 82080

[startup+12.7029 s]
/proc/loadavg: 1.23 1.06 1.28 3/75 8920
/proc/meminfo: memFree=1513776/2055920 swapFree=4121428/4192956
[pid=8916] ppid=8914 vsize=5360 CPUtime=0
/proc/8916/stat : 8916 (hydra) S 8914 8916 6099 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1553917550 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8916/statm: 1340 236 195 169 0 51 0
[pid=8920] ppid=8916 vsize=76720 CPUtime=12.57
/proc/8920/stat : 8920 (xsolve) R 8916 8916 6099 0 -1 4194304 11187 0 0 0 1250 7 0 0 25 0 1 0 1553917551 78561280 11080 996147200 134512640 135239763 4294956176 18446744073709551615 134820078 0 0 4096 0 0 0 0 17 1 0 0
/proc/8920/statm: 19180 11080 417 177 0 18083 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 82080

[startup+25.5011 s]
/proc/loadavg: 1.40 1.11 1.29 3/75 8920
/proc/meminfo: memFree=1513904/2055920 swapFree=4121428/4192956
[pid=8916] ppid=8914 vsize=5360 CPUtime=0
/proc/8916/stat : 8916 (hydra) S 8914 8916 6099 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1553917550 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8916/statm: 1340 236 195 169 0 51 0
[pid=8920] ppid=8916 vsize=76720 CPUtime=25.27
/proc/8920/stat : 8920 (xsolve) R 8916 8916 6099 0 -1 4194304 11187 0 0 0 2520 7 0 0 25 0 1 0 1553917551 78561280 11080 996147200 134512640 135239763 4294956176 18446744073709551615 135096889 0 0 4096 0 0 0 0 17 1 0 0
/proc/8920/statm: 19180 11080 417 177 0 18083 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 82080

[startup+51.1015 s]
/proc/loadavg: 1.60 1.18 1.31 3/75 8920
/proc/meminfo: memFree=1513840/2055920 swapFree=4121428/4192956
[pid=8916] ppid=8914 vsize=5360 CPUtime=0
/proc/8916/stat : 8916 (hydra) S 8914 8916 6099 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1553917550 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8916/statm: 1340 236 195 169 0 51 0
[pid=8920] ppid=8916 vsize=76720 CPUtime=50.65
/proc/8920/stat : 8920 (xsolve) R 8916 8916 6099 0 -1 4194304 11196 0 0 0 5058 7 0 0 25 0 1 0 1553917551 78561280 11089 996147200 134512640 135239763 4294956176 18446744073709551615 134543098 0 0 4096 0 0 0 0 17 1 0 0
/proc/8920/statm: 19180 11089 417 177 0 18083 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 82080

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

[startup+76.703 s]
/proc/loadavg: 1.74 1.24 1.33 3/95 8944
/proc/meminfo: memFree=1452880/2055920 swapFree=4121428/4192956
[pid=8916] ppid=8914 vsize=5360 CPUtime=60.78
/proc/8916/stat : 8916 (hydra) S 8914 8916 6099 0 -1 4194304 375 11794 0 0 0 0 6069 9 18 0 1 0 1553917550 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8916/statm: 1340 238 196 169 0 51 0
[pid=8924] ppid=8916 vsize=197432 CPUtime=5.87
/proc/8924/stat : 8924 (java) S 8916 8916 6099 0 -1 0 11475 0 1 0 569 18 0 0 18 0 10 0 1553923682 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8924/statm: 49358 9426 2544 9 0 43940 0
[pid=8934] ppid=8924 vsize=5356 CPUtime=0
/proc/8934/stat : 8934 (abscon) S 8924 8916 6099 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 1553924288 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 212234462020 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/8934/statm: 1339 235 194 169 0 50 0
[pid=8935] ppid=8934 vsize=655740 CPUtime=9.13
/proc/8935/stat : 8935 (java) S 8934 8916 6099 0 -1 0 21266 0 1 0 899 14 0 0 18 0 9 0 1553924288 671477760 20767 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8935/statm: 163935 20767 2008 9 0 158463 0
[pid=8935/tid=8937] ppid=8934 vsize=655740 CPUtime=8.67
/proc/8935/task/8937/stat : 8937 (java) R 8934 8916 6099 0 -1 64 12453 0 1 0 858 9 0 0 25 0 9 0 1553924289 671477760 20767 996147200 134512640 134550740 4294955808 18446744073709551615 4126929040 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8935/tid=8938] ppid=8934 vsize=655740 CPUtime=0.19
/proc/8935/task/8938/stat : 8938 (java) S 8934 8916 6099 0 -1 64 7614 0 0 0 17 2 0 0 16 0 9 0 1553924290 671477760 20767 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8935/tid=8939] ppid=8934 vsize=655740 CPUtime=0
/proc/8935/task/8939/stat : 8939 (java) S 8934 8916 6099 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1553924290 671477760 20767 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8935/tid=8940] ppid=8934 vsize=655740 CPUtime=0
/proc/8935/task/8940/stat : 8940 (java) S 8934 8916 6099 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1553924290 671477760 20767 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8935/tid=8941] ppid=8934 vsize=655740 CPUtime=0
/proc/8935/task/8941/stat : 8941 (java) S 8934 8916 6099 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1553924292 671477760 20767 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8935/tid=8942] ppid=8934 vsize=655740 CPUtime=0.24
/proc/8935/task/8942/stat : 8942 (java) S 8934 8916 6099 0 -1 64 655 0 0 0 23 1 0 0 15 0 9 0 1553924292 671477760 20767 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8935/tid=8943] ppid=8934 vsize=655740 CPUtime=0
/proc/8935/task/8943/stat : 8943 (java) S 8934 8916 6099 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1553924292 671477760 20767 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8935/tid=8944] ppid=8934 vsize=655740 CPUtime=0
/proc/8935/task/8944/stat : 8944 (java) S 8934 8916 6099 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1553924293 671477760 20767 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8936] ppid=8934 vsize=7044 CPUtime=0
/proc/8936/stat : 8936 (translate) S 8934 8916 6099 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1553924288 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 212234633298 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/8936/statm: 1761 213 182 1 0 41 0
[pid=8924/tid=8925] ppid=8916 vsize=197432 CPUtime=4.73
/proc/8924/task/8925/stat : 8925 (java) S 8916 8916 6099 0 -1 64 3859 0 1 0 466 7 0 0 25 0 10 0 1553923683 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=8924/tid=8926] ppid=8916 vsize=197432 CPUtime=0.88
/proc/8924/task/8926/stat : 8926 (java) S 8916 8916 6099 0 -1 64 6127 0 0 0 79 9 0 0 16 0 10 0 1553923684 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8924/tid=8927] ppid=8916 vsize=197432 CPUtime=0
/proc/8924/task/8927/stat : 8927 (java) S 8916 8916 6099 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1553923684 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8924/tid=8928] ppid=8916 vsize=197432 CPUtime=0
/proc/8924/task/8928/stat : 8928 (java) S 8916 8916 6099 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1553923684 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8924/tid=8929] ppid=8916 vsize=197432 CPUtime=0
/proc/8924/task/8929/stat : 8929 (java) S 8916 8916 6099 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1553923686 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8924/tid=8930] ppid=8916 vsize=197432 CPUtime=0.23
/proc/8924/task/8930/stat : 8930 (java) S 8916 8916 6099 0 -1 64 666 0 0 0 23 0 0 0 16 0 10 0 1553923686 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8924/tid=8931] ppid=8916 vsize=197432 CPUtime=0
/proc/8924/task/8931/stat : 8931 (java) S 8916 8916 6099 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1553923687 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8924/tid=8932] ppid=8916 vsize=197432 CPUtime=0
/proc/8924/task/8932/stat : 8932 (java) S 8916 8916 6099 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1553923687 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8924/tid=8933] ppid=8916 vsize=197432 CPUtime=0
/proc/8924/task/8933/stat : 8933 (java) S 8916 8916 6099 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1553924288 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 75.78
Current children cumulated vsize (KiB) 870932

[startup+89.5022 s]
/proc/loadavg: 1.79 1.28 1.34 3/95 8944
/proc/meminfo: memFree=1448336/2055920 swapFree=4121428/4192956
[pid=8916] ppid=8914 vsize=5360 CPUtime=60.78
/proc/8916/stat : 8916 (hydra) S 8914 8916 6099 0 -1 4194304 375 11794 0 0 0 0 6069 9 18 0 1 0 1553917550 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8916/statm: 1340 238 196 169 0 51 0
[pid=8924] ppid=8916 vsize=197432 CPUtime=5.87
/proc/8924/stat : 8924 (java) S 8916 8916 6099 0 -1 0 11475 0 1 0 569 18 0 0 18 0 10 0 1553923682 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8924/statm: 49358 9426 2544 9 0 43940 0
[pid=8934] ppid=8924 vsize=5356 CPUtime=0
/proc/8934/stat : 8934 (abscon) S 8924 8916 6099 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 1553924288 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 212234462020 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/8934/statm: 1339 235 194 169 0 50 0

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

[pid=8924/tid=8931] ppid=8916 vsize=197432 CPUtime=0
/proc/8924/task/8931/stat : 8931 (java) S 8916 8916 6099 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1553923687 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8924/tid=8932] ppid=8916 vsize=197432 CPUtime=0
/proc/8924/task/8932/stat : 8932 (java) S 8916 8916 6099 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1553923687 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8924/tid=8933] ppid=8916 vsize=197432 CPUtime=0
/proc/8924/task/8933/stat : 8933 (java) S 8916 8916 6099 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1553924288 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 93.04
Current children cumulated vsize (KiB) 870932

[startup+95.9023 s]
/proc/loadavg: 1.81 1.29 1.34 3/95 8944
/proc/meminfo: memFree=1395600/2055920 swapFree=4121428/4192956
[pid=8916] ppid=8914 vsize=5360 CPUtime=60.78
/proc/8916/stat : 8916 (hydra) S 8914 8916 6099 0 -1 4194304 375 11794 0 0 0 0 6069 9 18 0 1 0 1553917550 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8916/statm: 1340 238 196 169 0 51 0
[pid=8924] ppid=8916 vsize=197432 CPUtime=5.87
/proc/8924/stat : 8924 (java) S 8916 8916 6099 0 -1 0 11475 0 1 0 569 18 0 0 18 0 10 0 1553923682 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8924/statm: 49358 9426 2544 9 0 43940 0
[pid=8934] ppid=8924 vsize=5356 CPUtime=0
/proc/8934/stat : 8934 (abscon) S 8924 8916 6099 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 1553924288 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 212234462020 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/8934/statm: 1339 235 194 169 0 50 0
[pid=8935] ppid=8934 vsize=655740 CPUtime=27.95
/proc/8935/stat : 8935 (java) S 8934 8916 6099 0 -1 0 36306 0 1 0 2772 23 0 0 18 0 9 0 1553924288 671477760 35588 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8935/statm: 163935 35588 2617 9 0 158463 0
[pid=8935/tid=8937] ppid=8934 vsize=655740 CPUtime=26.74
/proc/8935/task/8937/stat : 8937 (java) R 8934 8916 6099 0 -1 64 12555 0 1 0 2659 15 0 0 25 0 9 0 1553924289 671477760 35588 996147200 134512640 134550740 4294955808 18446744073709551615 4126457635 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8935/tid=8938] ppid=8934 vsize=655740 CPUtime=0.82
/proc/8935/task/8938/stat : 8938 (java) S 8934 8916 6099 0 -1 64 22461 0 0 0 76 6 0 0 17 0 9 0 1553924290 671477760 35588 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8935/tid=8939] ppid=8934 vsize=655740 CPUtime=0
/proc/8935/task/8939/stat : 8939 (java) S 8934 8916 6099 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1553924290 671477760 35588 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8935/tid=8940] ppid=8934 vsize=655740 CPUtime=0
/proc/8935/task/8940/stat : 8940 (java) S 8934 8916 6099 0 -1 64 17 0 0 0 0 0 0 0 15 0 9 0 1553924290 671477760 35588 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8935/tid=8941] ppid=8934 vsize=655740 CPUtime=0
/proc/8935/task/8941/stat : 8941 (java) S 8934 8916 6099 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1553924292 671477760 35588 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8935/tid=8942] ppid=8934 vsize=655740 CPUtime=0.37
/proc/8935/task/8942/stat : 8942 (java) S 8934 8916 6099 0 -1 64 734 0 0 0 36 1 0 0 15 0 9 0 1553924292 671477760 35588 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8935/tid=8943] ppid=8934 vsize=655740 CPUtime=0
/proc/8935/task/8943/stat : 8943 (java) S 8934 8916 6099 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1553924292 671477760 35588 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8935/tid=8944] ppid=8934 vsize=655740 CPUtime=0
/proc/8935/task/8944/stat : 8944 (java) S 8934 8916 6099 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1553924293 671477760 35588 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8936] ppid=8934 vsize=7044 CPUtime=0
/proc/8936/stat : 8936 (translate) S 8934 8916 6099 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1553924288 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 212234633298 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/8936/statm: 1761 213 182 1 0 41 0
[pid=8924/tid=8925] ppid=8916 vsize=197432 CPUtime=4.73
/proc/8924/task/8925/stat : 8925 (java) S 8916 8916 6099 0 -1 64 3859 0 1 0 466 7 0 0 25 0 10 0 1553923683 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=8924/tid=8926] ppid=8916 vsize=197432 CPUtime=0.88
/proc/8924/task/8926/stat : 8926 (java) S 8916 8916 6099 0 -1 64 6127 0 0 0 79 9 0 0 16 0 10 0 1553923684 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8924/tid=8927] ppid=8916 vsize=197432 CPUtime=0
/proc/8924/task/8927/stat : 8927 (java) S 8916 8916 6099 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1553923684 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8924/tid=8928] ppid=8916 vsize=197432 CPUtime=0
/proc/8924/task/8928/stat : 8928 (java) S 8916 8916 6099 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1553923684 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8924/tid=8929] ppid=8916 vsize=197432 CPUtime=0
/proc/8924/task/8929/stat : 8929 (java) S 8916 8916 6099 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1553923686 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8924/tid=8930] ppid=8916 vsize=197432 CPUtime=0.23
/proc/8924/task/8930/stat : 8930 (java) S 8916 8916 6099 0 -1 64 666 0 0 0 23 0 0 0 16 0 10 0 1553923686 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8924/tid=8931] ppid=8916 vsize=197432 CPUtime=0
/proc/8924/task/8931/stat : 8931 (java) S 8916 8916 6099 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1553923687 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8924/tid=8932] ppid=8916 vsize=197432 CPUtime=0
/proc/8924/task/8932/stat : 8932 (java) S 8916 8916 6099 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1553923687 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8924/tid=8933] ppid=8916 vsize=197432 CPUtime=0
/proc/8924/task/8933/stat : 8933 (java) S 8916 8916 6099 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1553924288 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 94.6
Current children cumulated vsize (KiB) 870932

[startup+96.3024 s]
/proc/loadavg: 1.81 1.29 1.34 3/95 8944
/proc/meminfo: memFree=1395600/2055920 swapFree=4121428/4192956
[pid=8916] ppid=8914 vsize=5360 CPUtime=60.78
/proc/8916/stat : 8916 (hydra) S 8914 8916 6099 0 -1 4194304 375 11794 0 0 0 0 6069 9 18 0 1 0 1553917550 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8916/statm: 1340 238 196 169 0 51 0
[pid=8924] ppid=8916 vsize=197432 CPUtime=5.87
/proc/8924/stat : 8924 (java) S 8916 8916 6099 0 -1 0 11475 0 1 0 569 18 0 0 18 0 10 0 1553923682 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8924/statm: 49358 9426 2544 9 0 43940 0
[pid=8934] ppid=8924 vsize=5356 CPUtime=0
/proc/8934/stat : 8934 (abscon) S 8924 8916 6099 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 1553924288 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 212234462020 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/8934/statm: 1339 235 194 169 0 50 0
[pid=8935] ppid=8934 vsize=655740 CPUtime=28.34
/proc/8935/stat : 8935 (java) S 8934 8916 6099 0 -1 0 36316 0 1 0 2811 23 0 0 18 0 9 0 1553924288 671477760 35597 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8935/statm: 163935 35597 2617 9 0 158463 0
[pid=8935/tid=8937] ppid=8934 vsize=655740 CPUtime=27.12
/proc/8935/task/8937/stat : 8937 (java) R 8934 8916 6099 0 -1 64 12556 0 1 0 2697 15 0 0 25 0 9 0 1553924289 671477760 35597 996147200 134512640 134550740 4294955808 18446744073709551615 4127363726 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8935/tid=8938] ppid=8934 vsize=655740 CPUtime=0.82
/proc/8935/task/8938/stat : 8938 (java) S 8934 8916 6099 0 -1 64 22461 0 0 0 76 6 0 0 17 0 9 0 1553924290 671477760 35597 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8935/tid=8939] ppid=8934 vsize=655740 CPUtime=0
/proc/8935/task/8939/stat : 8939 (java) S 8934 8916 6099 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1553924290 671477760 35597 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8935/tid=8940] ppid=8934 vsize=655740 CPUtime=0
/proc/8935/task/8940/stat : 8940 (java) S 8934 8916 6099 0 -1 64 17 0 0 0 0 0 0 0 15 0 9 0 1553924290 671477760 35597 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8935/tid=8941] ppid=8934 vsize=655740 CPUtime=0
/proc/8935/task/8941/stat : 8941 (java) S 8934 8916 6099 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1553924292 671477760 35597 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8935/tid=8942] ppid=8934 vsize=655740 CPUtime=0.39
/proc/8935/task/8942/stat : 8942 (java) S 8934 8916 6099 0 -1 64 743 0 0 0 38 1 0 0 15 0 9 0 1553924292 671477760 35597 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8935/tid=8943] ppid=8934 vsize=655740 CPUtime=0
/proc/8935/task/8943/stat : 8943 (java) S 8934 8916 6099 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1553924292 671477760 35597 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8935/tid=8944] ppid=8934 vsize=655740 CPUtime=0
/proc/8935/task/8944/stat : 8944 (java) S 8934 8916 6099 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1553924293 671477760 35597 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8936] ppid=8934 vsize=7044 CPUtime=0
/proc/8936/stat : 8936 (translate) S 8934 8916 6099 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1553924288 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 212234633298 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/8936/statm: 1761 213 182 1 0 41 0
[pid=8924/tid=8925] ppid=8916 vsize=197432 CPUtime=4.73
/proc/8924/task/8925/stat : 8925 (java) S 8916 8916 6099 0 -1 64 3859 0 1 0 466 7 0 0 25 0 10 0 1553923683 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=8924/tid=8926] ppid=8916 vsize=197432 CPUtime=0.88
/proc/8924/task/8926/stat : 8926 (java) S 8916 8916 6099 0 -1 64 6127 0 0 0 79 9 0 0 16 0 10 0 1553923684 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8924/tid=8927] ppid=8916 vsize=197432 CPUtime=0
/proc/8924/task/8927/stat : 8927 (java) S 8916 8916 6099 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1553923684 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8924/tid=8928] ppid=8916 vsize=197432 CPUtime=0
/proc/8924/task/8928/stat : 8928 (java) S 8916 8916 6099 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1553923684 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8924/tid=8929] ppid=8916 vsize=197432 CPUtime=0
/proc/8924/task/8929/stat : 8929 (java) S 8916 8916 6099 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1553923686 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8924/tid=8930] ppid=8916 vsize=197432 CPUtime=0.23
/proc/8924/task/8930/stat : 8930 (java) S 8916 8916 6099 0 -1 64 666 0 0 0 23 0 0 0 16 0 10 0 1553923686 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8924/tid=8931] ppid=8916 vsize=197432 CPUtime=0
/proc/8924/task/8931/stat : 8931 (java) S 8916 8916 6099 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1553923687 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8924/tid=8932] ppid=8916 vsize=197432 CPUtime=0
/proc/8924/task/8932/stat : 8932 (java) S 8916 8916 6099 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1553923687 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8924/tid=8933] ppid=8916 vsize=197432 CPUtime=0
/proc/8924/task/8933/stat : 8933 (java) S 8916 8916 6099 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1553924288 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 94.99
Current children cumulated vsize (KiB) 870932

[startup+96.7024 s]
/proc/loadavg: 1.81 1.29 1.34 2/94 8944
/proc/meminfo: memFree=1395544/2055920 swapFree=4121428/4192956
[pid=8916] ppid=8914 vsize=5360 CPUtime=60.78
/proc/8916/stat : 8916 (hydra) S 8914 8916 6099 0 -1 4194304 375 11794 0 0 0 0 6069 9 18 0 1 0 1553917550 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8916/statm: 1340 238 196 169 0 51 0
[pid=8924] ppid=8916 vsize=197432 CPUtime=5.88
/proc/8924/stat : 8924 (java) S 8916 8916 6099 0 -1 0 11496 0 1 0 570 18 0 0 18 0 10 0 1553923682 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8924/statm: 49358 9426 2544 9 0 43940 0
[pid=8934] ppid=8924 vsize=5356 CPUtime=0
/proc/8934/stat : 8934 (abscon) S 8924 8916 6099 0 -1 4194304 302 291 0 0 0 0 0 0 16 0 1 0 1553924288 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 212234462020 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/8934/statm: 1339 235 194 169 0 50 0
[pid=8935] ppid=8934 vsize=655740 CPUtime=28.7
/proc/8935/stat : 8935 (java) S 8934 8916 6099 0 -1 0 36332 0 1 0 2846 24 0 0 18 0 9 0 1553924288 671477760 35612 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8935/statm: 163935 35612 2617 9 0 158463 0
[pid=8935/tid=8937] ppid=8934 vsize=655740 CPUtime=27.44
/proc/8935/task/8937/stat : 8937 (java) S 8934 8916 6099 0 -1 64 12561 0 1 0 2729 15 0 0 25 0 9 0 1553924289 671477760 35612 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8935/tid=8938] ppid=8934 vsize=655740 CPUtime=0.82
/proc/8935/task/8938/stat : 8938 (java) S 8934 8916 6099 0 -1 64 22461 0 0 0 76 6 0 0 17 0 9 0 1553924290 671477760 35612 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8935/tid=8939] ppid=8934 vsize=655740 CPUtime=0
/proc/8935/task/8939/stat : 8939 (java) S 8934 8916 6099 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1553924290 671477760 35612 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8935/tid=8940] ppid=8934 vsize=655740 CPUtime=0
/proc/8935/task/8940/stat : 8940 (java) S 8934 8916 6099 0 -1 64 17 0 0 0 0 0 0 0 15 0 9 0 1553924290 671477760 35612 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8935/tid=8941] ppid=8934 vsize=655740 CPUtime=0
/proc/8935/task/8941/stat : 8941 (java) S 8934 8916 6099 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1553924292 671477760 35612 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8935/tid=8942] ppid=8934 vsize=655740 CPUtime=0.41
/proc/8935/task/8942/stat : 8942 (java) S 8934 8916 6099 0 -1 64 754 0 0 0 40 1 0 0 15 0 9 0 1553924292 671477760 35612 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8935/tid=8943] ppid=8934 vsize=655740 CPUtime=0
/proc/8935/task/8943/stat : 8943 (java) S 8934 8916 6099 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1553924292 671477760 35612 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8935/tid=8944] ppid=8934 vsize=655740 CPUtime=0
/proc/8935/task/8944/stat : 8944 (java) R 8934 8916 6099 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1553924293 671477760 35612 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8924/tid=8925] ppid=8916 vsize=197432 CPUtime=4.74
/proc/8924/task/8925/stat : 8925 (java) S 8916 8916 6099 0 -1 64 3880 0 1 0 467 7 0 0 16 0 10 0 1553923683 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=8924/tid=8926] ppid=8916 vsize=197432 CPUtime=0.88
/proc/8924/task/8926/stat : 8926 (java) S 8916 8916 6099 0 -1 64 6127 0 0 0 79 9 0 0 16 0 10 0 1553923684 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8924/tid=8927] ppid=8916 vsize=197432 CPUtime=0
/proc/8924/task/8927/stat : 8927 (java) S 8916 8916 6099 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1553923684 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8924/tid=8928] ppid=8916 vsize=197432 CPUtime=0
/proc/8924/task/8928/stat : 8928 (java) S 8916 8916 6099 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1553923684 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8924/tid=8929] ppid=8916 vsize=197432 CPUtime=0
/proc/8924/task/8929/stat : 8929 (java) S 8916 8916 6099 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1553923686 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8924/tid=8930] ppid=8916 vsize=197432 CPUtime=0.23
/proc/8924/task/8930/stat : 8930 (java) S 8916 8916 6099 0 -1 64 666 0 0 0 23 0 0 0 16 0 10 0 1553923686 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8924/tid=8931] ppid=8916 vsize=197432 CPUtime=0
/proc/8924/task/8931/stat : 8931 (java) S 8916 8916 6099 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1553923687 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8924/tid=8932] ppid=8916 vsize=197432 CPUtime=0
/proc/8924/task/8932/stat : 8932 (java) S 8916 8916 6099 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1553923687 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8924/tid=8933] ppid=8916 vsize=197432 CPUtime=0
/proc/8924/task/8933/stat : 8933 (java) S 8916 8916 6099 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1553924288 202170368 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 95.36
Current children cumulated vsize (KiB) 863888

Child status: 0
Real time (s): 96.7736
CPU time (s): 95.4365
CPU user time (s): 94.8736
CPU system time (s): 0.562914
CPU usage (%): 98.6183
Max. virtual memory (cumulated for all children) (KiB): 870936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 94.8736
system time used= 0.562914
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60743
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= 12641
involuntary context switches= 18939

runsolver used 0.245962 second user time and 0.553915 second system time

The end

Launcher Data (download as text)

Begin job on node14 at 2008-07-05 09:20:35
IDJOB=1087045
IDBENCH=57918
IDSOLVER=366
FILE ID=node14/1087045-1215242435
PBS_JOBID= 7881837
Free space on /tmp= 66408 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= fc409cb8b4f9cf04e2dbeb29fe62b8ed
RANDOM SEED=202673964

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1557280 kB
Buffers:         47936 kB
Cached:         240680 kB
SwapCached:      65664 kB
Active:         356340 kB
Inactive:        86872 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1557280 kB
SwapTotal:     4192956 kB
SwapFree:      4121428 kB
Dirty:           26936 kB
Writeback:           0 kB
Mapped:         162624 kB
Slab:            40356 kB
Committed_AS:  3181288 kB
PageTables:       2160 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66384 MiB
End job on node14 at 2008-07-05 09:22:12