Trace number 1087591

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 124.545 125.644

DiagnosticValue
ASSIGNMENTS2000
CHECKS17345300

General information on the benchmark

Namecsp/fapp/fapp36/
normalized-fapp36-2000-10.xml
MD5SUMd5e3aabb8926151d3fb7baec2a204317
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 benchmark37.0944
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints18600
Maximum constraint arity2
Maximum domain size454
Number of constraints which are defined in extension0
Number of constraints which are defined in intension18600
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.00	c cpHydra_k_40 version 0.0
89.58/90.54	c CASE TO CLASSIFY:
89.58/90.54	c Case: 0
89.58/90.55	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.198400 | c 15 >  14.631900 | c 34 >  67.891400 | c 16 >   2.000000 | c 13 >   2.295360 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.217230 | c 21 >  19.377600 | c 20 >   0.000000 | c 22 >  21.307300 | c 23 >   7.439290 | c 24 >   0.816037 | 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.183000 | 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.518400 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
89.58/90.56	c choco : 1801.0
89.58/90.56	c mistral : 1801.0
89.58/90.56	c abscon : 1801.0
89.58/90.56	c
89.58/90.56	c
89.68/90.63	c List of same ones: 40
89.68/90.63	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-10.xml
89.68/90.63	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
89.68/90.64	c choco : 1801.0
89.68/90.64	c mistral : 1800.04
89.68/90.64	c abscon : 331.113
89.68/90.64	c
89.68/90.64	c
89.68/90.64	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-9.xml
89.68/90.64	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
89.68/90.65	c choco : 1801.0
89.68/90.65	c mistral : 1800.09
89.68/90.65	c abscon : 506.936
89.68/90.65	c
89.68/90.65	c
89.68/90.65	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-10.xml
89.68/90.65	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.198400 | c 15 >   8.703900 | c 34 >  67.891400 | c 16 >   2.000000 | c 13 >   2.295360 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.217230 | c 21 >  19.377600 | c 20 >   0.000000 | c 22 >  21.307300 | c 23 >   7.439290 | c 24 >   0.816037 | 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.183000 | 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.518400 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
89.68/90.66	c choco : 1801.0
89.68/90.66	c mistral : 1800.02
89.68/90.66	c abscon : 20.4989
89.68/90.66	c
89.68/90.66	c
89.68/90.66	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-7.xml
89.68/90.66	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.198400 | c 15 >   8.703900 | c 34 >  67.891400 | c 16 >   2.000000 | c 13 >   2.295360 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.217230 | c 21 >  19.377600 | c 20 >   0.000000 | c 22 >  21.307300 | c 23 >   7.439290 | c 24 >   0.816037 | 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.183000 | 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.518400 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
89.68/90.67	c choco : 1801.0
89.68/90.67	c mistral : 1800.04
89.68/90.67	c abscon : 18.3632
89.68/90.67	c
89.68/90.67	c
89.68/90.67	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-5.xml
89.68/90.67	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.198400 | c 15 >   8.682990 | c 34 >  67.891400 | c 16 >   2.000000 | c 13 >   2.295360 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.217230 | c 21 >  19.377600 | c 20 >   0.000000 | c 22 >  21.307300 | c 23 >   7.439290 | c 24 >   0.816037 | 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.183000 | 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.518400 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
89.68/90.68	c choco : 1801.0
89.68/90.68	c mistral : 44.9202
89.68/90.68	c abscon : 8.17176
89.68/90.68	c
89.68/90.68	c
89.68/90.68	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-8.xml
89.68/90.68	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.198400 | c 15 >   8.682990 | c 34 >  67.891400 | c 16 >   2.000000 | c 13 >   2.295360 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.217230 | c 21 >  19.377600 | c 20 >   0.000000 | c 22 >  21.307300 | c 23 >   7.439290 | c 24 >   0.816037 | 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.183000 | 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.518400 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
89.68/90.69	c choco : 1801.0
89.68/90.69	c mistral : 1800.06
89.68/90.69	c abscon : 19.3081
89.68/90.69	c
89.68/90.69	c
89.68/90.69	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-10.xml
89.68/90.69	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
89.76/90.70	c choco : 1801.0
89.76/90.70	c mistral : 228.6
89.76/90.70	c abscon : 55.2496
89.76/90.70	c
89.76/90.70	c
89.76/90.70	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-1.xml
89.76/90.70	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.198400 | c 15 >   8.672430 | c 34 >  67.891400 | c 16 >   2.000000 | c 13 >   2.295360 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.217230 | c 21 >  19.377600 | c 20 >   0.000000 | c 22 >  21.307300 | c 23 >   7.439290 | c 24 >   0.816037 | 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.183000 | 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.518400 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
89.76/90.71	c choco : 1801.0
89.76/90.71	c mistral : 91.75
89.76/90.71	c abscon : 7.97579
89.76/90.71	c
89.76/90.71	c
89.76/90.71	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-9.xml
89.76/90.71	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.198400 | c 15 >   8.665340 | c 34 >  67.891400 | c 16 >   2.000000 | c 13 >   2.295360 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.217230 | c 21 >  19.377600 | c 20 >   0.000000 | c 22 >  21.307300 | c 23 >   7.439290 | c 24 >   0.816037 | 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.183000 | 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.518400 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
89.76/90.71	c choco : 1801.0
89.76/90.71	c mistral : 1800.05
89.76/90.71	c abscon : 19.2911
89.76/90.71	c
89.76/90.71	c
89.76/90.71	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-2.xml
89.76/90.71	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.198400 | c 15 >   8.661780 | c 34 >  67.891400 | c 16 >   2.000000 | c 13 >   2.295360 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.217230 | c 21 >  19.377600 | c 20 >   0.000000 | c 22 >  21.307300 | c 23 >   7.439290 | c 24 >   0.816037 | 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.183000 | 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.518400 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
89.76/90.72	c choco : 1801.0
89.76/90.72	c mistral : 93.34
89.76/90.72	c abscon : 7.92479
89.76/90.72	c
89.76/90.72	c
89.76/90.72	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-3.xml
89.76/90.72	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.198400 | c 15 >   8.661780 | c 34 >  67.891400 | c 16 >   2.000000 | c 13 >   2.295360 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.217230 | c 21 >  19.377600 | c 20 >   0.000000 | c 22 >  21.307300 | c 23 >   7.439290 | c 24 >   0.816037 | 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.183000 | 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.518400 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
89.76/90.74	c choco : 1801.0
89.76/90.74	c mistral : 108.08
89.76/90.74	c abscon : 8.13076
89.76/90.74	c
89.76/90.74	c
89.76/90.74	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-6.xml
89.76/90.74	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.198400 | c 15 >   8.661780 | c 34 >  67.891400 | c 16 >   2.000000 | c 13 >   2.295360 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.217230 | c 21 >  19.377600 | c 20 >   0.000000 | c 22 >  21.307300 | c 23 >   7.439290 | c 24 >   0.816037 | 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.183000 | 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.518400 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
89.76/90.75	c choco : 1801.0
89.76/90.75	c mistral : 41.0328
89.76/90.75	c abscon : 8.14076
89.76/90.75	c
89.76/90.75	c
89.76/90.75	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-0.xml
89.76/90.75	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.198400 | c 15 >   8.658210 | c 34 >  67.891400 | c 16 >   2.000000 | c 13 >   2.295360 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.217230 | c 21 >  19.377600 | c 20 >   0.000000 | c 22 >  21.307300 | c 23 >   7.439290 | c 24 >   0.816037 | 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.183000 | 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.518400 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
89.76/90.76	c choco : 1801.0
89.76/90.76	c mistral : 21.6927
89.76/90.76	c abscon : 8.00678
89.76/90.76	c
89.76/90.76	c
89.76/90.76	c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-4.xml
89.76/90.76	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.198400 | c 15 >   8.658210 | c 34 >  67.891400 | c 16 >   2.000000 | c 13 >   2.295360 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.217230 | c 21 >  19.377600 | c 20 >   0.000000 | c 22 >  21.307300 | c 23 >   7.439290 | c 24 >   0.816037 | 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.183000 | 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.518400 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
89.76/90.76	c choco : 1801.0
89.76/90.76	c mistral : 199.044
89.76/90.76	c abscon : 8.15376
89.76/90.76	c
89.76/90.76	c
89.76/90.76	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-3.xml
89.76/90.76	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
89.76/90.78	c choco : 1801.0
89.76/90.78	c mistral : 1800.08
89.76/90.78	c abscon : 15.1547
89.76/90.78	c
89.76/90.78	c
89.76/90.78	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-2.xml
89.76/90.78	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.234200 | c 15 >   9.977280 | c 34 >  68.320200 | c 16 >   2.000000 | c 13 >   2.980850 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.027400 | c 21 >  17.599100 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.725240 | c 24 >   0.784607 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.315100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.562600 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
89.76/90.79	c choco : 1801.0
89.76/90.79	c mistral : 1800.08
89.76/90.79	c abscon : 12.863
89.76/90.79	c
89.76/90.79	c
89.76/90.79	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-9.xml
89.76/90.79	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
89.76/90.79	c choco : 1801.0
89.76/90.79	c mistral : 1800.03
89.76/90.79	c abscon : 129.181
89.76/90.79	c
89.76/90.79	c
89.76/90.79	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-8.xml
89.76/90.79	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
89.82/90.80	c choco : 1801.0
89.82/90.80	c mistral : 1800.02
89.82/90.80	c abscon : 85.215
89.82/90.80	c
89.82/90.80	c
89.82/90.80	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-7.xml
89.82/90.80	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
89.82/90.81	c choco : 1801.0
89.82/90.81	c mistral : 1800.1
89.82/90.81	c abscon : 11.7712
89.82/90.81	c
89.82/90.81	c
89.82/90.81	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-1.xml
89.82/90.81	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.234200 | c 15 >   9.658210 | c 34 >  68.320200 | c 16 >   2.000000 | c 13 >   2.980850 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.027400 | c 21 >  17.599100 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.725240 | c 24 >   0.784607 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.315100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.562600 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
89.82/90.82	c choco : 1801.0
89.82/90.82	c mistral : 1800.05
89.82/90.82	c abscon : 13.29
89.82/90.82	c
89.82/90.82	c
89.82/90.82	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-6.xml
89.82/90.82	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
89.82/90.82	c choco : 1801.0
89.82/90.82	c mistral : 80.98
89.82/90.82	c abscon : 8.12576
89.82/90.82	c
89.82/90.82	c
89.82/90.82	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-10.xml
89.82/90.82	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
89.82/90.83	c choco : 1801.0
89.82/90.83	c mistral : 1800.05
89.82/90.83	c abscon : 156.38
89.82/90.83	c
89.82/90.83	c
89.82/90.83	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-5.xml
89.82/90.83	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.026200 | c 15 >   9.911390 | c 34 >  68.212500 | c 16 >   2.000000 | c 13 >   2.978070 | c 14 >  -1.000000 | c 11 >   9.965780 | c 12 >   4.909970 | c 21 >  17.164900 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.546080 | c 24 >   1.046680 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.875700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.168600 | c 31 >  -1.000000 | c 4 >   9.965780 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
89.82/90.83	c choco : 1801.0
89.82/90.83	c mistral : 108.251
89.82/90.83	c abscon : 8.62069
89.82/90.83	c
89.82/90.83	c
89.82/90.83	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-4.xml
89.82/90.83	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.026200 | c 15 >   9.879580 | c 34 >  68.212500 | c 16 >   2.000000 | c 13 >   2.978070 | c 14 >  -1.000000 | c 11 >   9.965780 | c 12 >   4.909970 | c 21 >  17.164900 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.546080 | c 24 >   1.046680 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.875700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.168600 | c 31 >  -1.000000 | c 4 >   9.965780 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
89.82/90.84	c choco : 1801.0
89.82/90.84	c mistral : 233.323
89.82/90.84	c abscon : 8.47971
89.82/90.84	c
89.82/90.84	c
89.82/90.84	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-0.xml
89.82/90.84	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.234200 | c 15 >   9.434630 | c 34 >  68.320200 | c 16 >   2.000000 | c 13 >   2.980850 | c 14 >  -1.000000 | c 11 >  11.287700 | c 12 >   5.027400 | c 21 >  17.599100 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.725240 | c 24 >   0.784607 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.315100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.562600 | c 31 >  -1.000000 | c 4 >  11.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
89.82/90.85	c choco : 1801.0
89.82/90.85	c mistral : 244.12
89.82/90.85	c abscon : 11.5512
89.82/90.85	c
89.82/90.85	c
89.82/90.85	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-3.xml
89.82/90.85	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.026200 | c 15 >   9.848620 | c 34 >  68.212500 | c 16 >   2.000000 | c 13 >   2.978070 | c 14 >  -1.000000 | c 11 >   9.965780 | c 12 >   4.909970 | c 21 >  17.164900 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.546080 | c 24 >   1.046680 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.875700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.168600 | c 31 >  -1.000000 | c 4 >   9.965780 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
89.82/90.85	c choco : 1801.0
89.82/90.85	c mistral : 158.535
89.82/90.85	c abscon : 8.39572
89.82/90.85	c
89.82/90.85	c
89.82/90.85	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-9.xml
89.82/90.85	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
89.82/90.86	c choco : 1801.0
89.82/90.86	c mistral : 1800.06
89.82/90.86	c abscon : 441.864
89.82/90.86	c
89.82/90.86	c
89.82/90.86	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-2.xml
89.82/90.86	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.026200 | c 15 >   9.807350 | c 34 >  68.212500 | c 16 >   2.000000 | c 13 >   2.978070 | c 14 >  -1.000000 | c 11 >   9.965780 | c 12 >   4.909970 | c 21 >  17.164900 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.546080 | c 24 >   1.046680 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.875700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.168600 | c 31 >  -1.000000 | c 4 >   9.965780 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
89.82/90.86	c choco : 1801.0
89.82/90.86	c mistral : 1800.05
89.82/90.86	c abscon : 8.65568
89.82/90.86	c
89.82/90.86	c
89.82/90.86	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-1.xml
89.82/90.86	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.026200 | c 15 >   9.800900 | c 34 >  68.212500 | c 16 >   2.000000 | c 13 >   2.978070 | c 14 >  -1.000000 | c 11 >   9.965780 | c 12 >   4.909970 | c 21 >  17.164900 | c 20 >   0.000000 | c 22 >  19.026300 | c 23 >   5.546080 | c 24 >   1.046680 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.875700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.168600 | c 31 >  -1.000000 | c 4 >   9.965780 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
89.82/90.87	c choco : 1801.0
89.82/90.87	c mistral : 79.088
89.82/90.87	c abscon : 8.44271
89.82/90.87	c
89.82/90.87	c
89.82/90.87	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-8.xml
89.82/90.87	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
89.82/90.88	c choco : 1801.0
89.82/90.88	c mistral : 1800.07
89.82/90.88	c abscon : 349.37
89.82/90.88	c
89.82/90.88	c
89.82/90.88	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-0.xml
89.82/90.88	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.026200 | c 15 >   9.385860 | 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
89.82/90.88	c choco : 1801.0
89.82/90.88	c mistral : 60.79
89.82/90.88	c abscon : 7.75582
89.82/90.88	c
89.82/90.88	c
89.82/90.88	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-1.xml
89.82/90.88	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
89.82/90.89	c choco : 1801.0
89.82/90.89	c mistral : 1800.03
89.82/90.89	c abscon : 20.0829
89.82/90.89	c
89.82/90.89	c
89.82/90.89	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-0.xml
89.82/90.89	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.220100 | c 15 >   9.684750 | c 34 >  68.428900 | c 16 >   2.000000 | c 13 >   2.862710 | c 14 >  -1.000000 | c 11 >  10.550700 | c 12 >   5.082310 | c 21 >  17.067800 | c 20 >   0.000000 | c 22 >  17.606800 | c 23 >   5.375360 | c 24 >   0.786959 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.633100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.737200 | c 31 >  -1.000000 | c 4 >  10.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
89.82/90.89	c choco : 1801.0
89.82/90.90	c mistral : 71.15
89.82/90.90	c abscon : 8.93264
89.82/90.90	c
89.82/90.90	c
89.82/90.90	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-3.xml
89.82/90.90	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
89.87/90.90	c choco : 1801.0
89.87/90.90	c mistral : 155.051
89.87/90.90	c abscon : 7.09492
89.87/90.90	c
89.87/90.90	c
89.87/90.90	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-1.xml
89.87/90.90	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
89.87/90.91	c choco : 1801.0
89.87/90.91	c mistral : 71.9411
89.87/90.91	c abscon : 6.95394
89.87/90.91	c
89.87/90.91	c
89.87/90.91	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-8.xml
89.87/90.91	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
89.87/90.91	c choco : 1801.0
89.87/90.91	c mistral : 1800.03
89.87/90.91	c abscon : 11.3953
89.87/90.91	c
89.87/90.91	c
89.87/90.91	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-5.xml
89.87/90.91	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
89.87/90.92	c choco : 1801.0
89.87/90.92	c mistral : 152.693
89.87/90.92	c abscon : 6.91295
89.87/90.92	c
89.87/90.92	c
89.87/90.92	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-6.xml
89.87/90.92	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
89.87/90.93	c choco : 1801.0
89.87/90.93	c mistral : 145.44
89.87/90.93	c abscon : 7.14491
89.87/90.93	c
89.87/90.93	c
89.87/90.93	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-2.xml
89.87/90.93	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
89.87/90.94	c choco : 1801.0
89.87/90.94	c mistral : 73.3329
89.87/90.94	c abscon : 6.84696
89.87/90.94	c
89.87/90.94	c
89.87/90.94	c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-9.xml
89.87/90.94	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
89.87/90.94	c choco : 1801.0
89.87/90.94	c mistral : 1800.04
89.87/90.94	c abscon : 11.0943
89.87/90.94	c
89.87/90.94	c
89.87/90.95	c Length: 40
89.87/90.95	c 5.5386326567484145  5.6769984698254055  5.927999999999999  5.927999999999999  5.94891  5.94891  5.949794801507781  5.95947  5.966559999999999  5.97012  5.97012  5.97012  5.9736899999999995  5.9736899999999995  6.051477097899323  6.069953225585845  6.083829263716152  6.2042643899215815  6.263371765275394  6.3179456338670725  6.354753813488688  6.397639423559601  6.45526686358891  6.478564733214372  6.495418406022819  6.501309343389915  6.511198564310877  6.531733179068861  6.536498804409668  6.588198129525555  6.8489554898282865  6.918845708923131  7.164099945309531  7.206021608617615  7.217864529060102  7.24067605870916  7.247496668171984  7.252993079733636  7.262694261275495  7.280990891023283  
89.87/90.95	c 
89.87/90.95	c 1.0  0.9264294975800326  0.8173464036100807  0.8173464036100807  0.8094069671918059  0.8094069671918059  0.8090744119432223  0.8054557120846191  0.8028244081411129  0.8015096620880678  0.8015096620880678  0.8015096620880678  0.8001955401890665  0.8001955401890665  0.7725949659694846  0.7663167866498388  0.7616683993151461  0.7235737099525389  0.7062381382552568  0.690953771610854  0.681013198853067  0.6697861444078183  0.6552700967980202  0.6495785438652402  0.6455225230273683  0.6441167250013246  0.6417705037960005  0.636952843859906  0.6358450956646824  0.6240708619200143  0.5707632719669223  0.5579882969640569  0.5173540679172892  0.5109933784402425  0.5092247113179429  0.5058522258104289  0.504852516075  0.5040497671441735  0.5026391248894582  0.5  
89.87/90.96	c
89.87/90.96	c solver 0
89.87/90.96	c	  before 0.0 seconds: {} 0
89.87/90.96	c	  before 18.0 seconds: {4, 7, 9, 10, 11, 12, 13, 14, 15, 18, 19, 20, 22, 23, 24, 25, 27, 28, 30, 32, 33, 34, 35, 36, 37, 38, 39} 17729
89.87/90.96	c	  before 36.0 seconds: {2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 18, 19, 20, 22, 23, 24, 25, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21534
89.87/90.96	c	  before 72.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 18, 19, 20, 22, 23, 24, 25, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22343
89.87/90.96	c	  before 90.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 22, 23, 24, 25, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23067
89.87/90.96	c	  before 144.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 23, 24, 25, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23829
89.87/90.96	c	  before 162.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24498
89.87/90.96	c	  before 342.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25498
89.87/90.96	c	  before 360.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26123
89.87/90.96	c	  before 450.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26764
89.87/90.96	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} 27691
89.87/90.96	c
89.87/90.96	c solver 1
89.87/90.96	c	  before 0.0 seconds: {} 0
89.87/90.96	c	  before 36.0 seconds: {12} 800
89.87/90.96	c	  before 54.0 seconds: {4, 11, 12} 2411
89.87/90.96	c	  before 72.0 seconds: {4, 11, 12, 30, 32, 34} 4008
89.87/90.96	c	  before 90.0 seconds: {4, 11, 12, 20, 28, 30, 32, 34, 38} 5827
89.87/90.96	c	  before 108.0 seconds: {4, 7, 9, 11, 12, 20, 28, 30, 32, 34, 38} 7434
89.87/90.96	c	  before 126.0 seconds: {4, 7, 9, 10, 11, 12, 20, 22, 28, 30, 32, 34, 38} 8891
89.87/90.96	c	  before 162.0 seconds: {4, 7, 9, 10, 11, 12, 20, 22, 25, 28, 30, 32, 33, 34, 36, 37, 38} 11055
89.87/90.96	c	  before 216.0 seconds: {4, 7, 9, 10, 11, 12, 13, 20, 22, 25, 28, 30, 32, 33, 34, 36, 37, 38} 11855
89.87/90.96	c	  before 234.0 seconds: {4, 6, 7, 9, 10, 11, 12, 13, 20, 22, 23, 25, 28, 30, 32, 33, 34, 36, 37, 38} 13314
89.87/90.96	c	  before 252.0 seconds: {4, 6, 7, 9, 10, 11, 12, 13, 20, 22, 23, 24, 25, 28, 30, 32, 33, 34, 36, 37, 38} 13960
89.87/90.96	c
89.87/90.96	c solver 2
89.87/90.96	c	  before 0.0 seconds: {} 0
89.87/90.97	c
89.87/90.97	cTotal time: 43
89.87/90.97	c 774.0 seconds unused
89.87/90.97	c 0 c 19 c 40 
89.87/90.97	c 0 c 0 c 21 
89.87/90.97	c 0 c 0 c 0 
89.87/90.97	c is solver0 dominated by:
89.87/90.97	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: false) (0 is equally as fast as 1: false) (0 < 1: false)
89.87/90.97	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)
89.87/90.97	c is dominated? false
89.87/90.97	c
89.87/90.97	c is solver1 dominated by:
89.87/90.97	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: true) (1 is equally as fast as 0: false) (1 < 0: true)
89.87/90.97	c is dominated? true
89.87/90.97	c
89.87/90.97	c is solver2 dominated by:
89.87/90.97	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)
89.87/90.97	c is dominated? true
89.87/90.97	c
89.87/90.97	c Number of non-dominated solvers: 1
89.87/90.97	c remove dominated solvers
89.87/90.97	c solver 0 is not dominated by another solver
89.87/90.97	c solver 2 is dominated by another solver
89.87/90.97	c solver 1 is dominated by another solver
89.87/90.97	c
89.87/90.97	c solver 0: 522.0
89.87/90.97	c
89.87/90.97	c+ 29/29 of 71
89.87/90.97	c
89.87/90.97	c solver 1: 0.0
89.87/90.97	c
89.87/90.97	c solver 2: 0.0
89.87/90.97	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} 27691
89.87/90.97	c	 do not run mistral
89.87/90.97	c	 do not run choco
89.87/90.97	c Starting solver: HOME/cpHydra_k_40/solver/abscon
89.87/90.97	c On Instance: HOME/instance-1087591-1215244843.xml
89.87/90.97	c Running for: 1800 seconds
124.42/125.60	s SAT
124.42/125.60	v  -2194 -2518 -2454 -2894 -2694 2686 2270 2514 2538 -2658 2082 -2246 -2542 2642 2854 2758 2254 2202 -2030 -2894 2854 2442 2826 2498 -2390 -2274 -1990 1990 2546 -2382 2050 1990 2562 2606 -2894 -2806 2710 -2818 -2770 -2150 -2854 2766 2038 -2838 -2854 -2894 2574 -2578 -2686 2758 -2314 -2770 2474 -2034 -2562 -2518 -2854 2686 -2854 2654 -2730 -2150 -2238 -2030 -2382 -2098 2210 2458 -2482 -2642 -1990 2754 -2826 -2810 -2842 -2622 2642 -2266 -2422 -2070 2502 2386 2214 -2678 -2590 -2894 -2722 -2266 2714 -2338 -2110 -2818 -2166 -2778 1990 -2578 -2030 2766 -2442 2206 -2706 2266 -2486 -2722 -2582 -2610 -2018 -2742 2366 2838 -2222 2638 -2306 2414 -2530 2030 2518 -2290 2830 -2010 2810 -2894 2702 -2830 -2602 -2146 -2130 2078 2102 -2834 -2070 2518 -2646 -2478 2242 -2650 -2326 -2286 2854 -2274 -2650 -2718 -2194 -2502 2854 -2854 -2606 -2374 2270 -2314 -2462 -2818 -2534 -2894 2790 2194 -2174 2522 -2750 -2606 -2278 2650 -2474 -2634 -2030 -2854 -2594 -2518 -2702 -2146 2742 2666 -2386 -2562 2826 -2442 -2154 2406 -2834 2582 -2834 -2482 -2774 -2830 -2498 -2030 -2894 -2542 2446 2730 -2282 -2374 -2358 -1990 2450 -2174 -2190 -2762 -2294 -2122 -2266 -2118 -2486 2370 2726 -2262 -1998 -2434 2894 -2414 -2774 -2098 -2342 -2750 -2798 -2658 2722 2510 2382 -2622 -2894 -2618 -2190 -2522 -2394 -2278 -2854 -2378 -2738 2462 -2778 2838 2738 2286 -2714 -2790 -2490 -2374 -2746 2138 -2706 2030 2014 -2230 -2030 -2894 -2706 -2582 -2322 -2258 2458 -2030 -2518 -2578 2258 -2030 2386 2654 -2698 2178 -2418 -2854 2806 -2334 -2870 2270 2870 -2374 -2294 -1990 -2838 -2618 -2894 2766 -2626 1990 -2786 -2894 -2674 -2454 -2562 -2682 -2586 -2474 2034 2894 -1994 -2098 2342 -2314 -2494 2678 -2414 -2586 -2282 2262 -2602 -2786 -2190 -2846 -2814 -2566 -2258 -2754 2590 2242 -2074 -2482 -2646 -2646 2586 -2230 -2142 -2530 2142 -2426 -2894 -2894 -2718 1990 1990 -2882 -2894 -2710 -2786 -2474 2786 -2854 2622 -2862 -2486 -2582 -2558 2398 -2534 2478 -2582 2162 -2678 1990 -2402 -2446 -2362 -2334 -2010 2454 2834 -2042 -2742 -2378 -2030 -2614 2226 -2430 -2258 -2594 -2198 2030 -2854 -2230 -2854 2162 2030 -2650 -2010 -2726 -2046 2142 -2346 -2718 -2806 -2078 -2038 -2454 -2454 2606 -1990 2562 2414 -2586 -2374 2030 2766 2338 -1990 2014 2670 -2854 -2774 -2394 -2674 -2166 2842 2238 -2854 -2434 -2070 -2550 -2310 2714 -2882 2826 -2238 2266 2306 -2854 2242 -2002 -2434 2306 -2006 -2298 -2750 -2634 2650 -2174 2854 -2282 2882 -2378 2402 -2330 -2090 -2346 -2742 -2854 -2014 -2682 -2330 -2794 -2478 -2518 -2218 2230 -2538 2882 2166 2826 -2854 -2254 -2522 2254 2474 -2562 2854 -2450 2178 2758 -2546 2678 -2078 1990 -2254 2830 -2290 -2602 -2418 2514 -2594 -2182 -2318 -2062 -2710 -2438 -2822 -2530 -2894 2230 -2330 -2202 -2382 2306 2178 -2842 2030 -2334 2226 -2554 -2422 -2626 2490 -2030 -2542 -2358 -2826 -2534 -2482 -2230 -2358 2422 -2706 1990 -2314 -2658 -2014 -2758 -2474 -2854 2606 -2458 -2154 2798 2746 2738 -2462 -2854 2578 -2102 -2894 2858 1990 -2102 -2686 -2090 2774 -2854 -2794 2698 -2362 -2626 2826 -2394 -2030 -2466 -2854 -2514 -2790 -2270 -2666 -2882 -2618 -2510 -2426 -2706 -2110 -1990 2666 -2622 -2642 -2134 -2030 -2794 -2226 2482 -2030 -1990 -2206 -2662 -2614 2790 -2282 2866 -2886 -2250 -2674 -2398 2430 -2586 -2470 -2114 -2010 -2398 1990 -2090 2250 2254 2442 -1990 -2890 2626 -2822 -2374 -2610 2122 -2714 2038 -2314 -2726 -2190 2550 -2710 -2842 -1990 2846 -2362 -2894 -2798 -2066 2158 -2702 -2742 -2478 2358 -2530 -2062 -2714 -2058 -2782 2334 -2246 2494 -2654 -2798 1990 -2098 -2882 -2286 -2130 -2190 -2730 -2834 2658 -1990 -2354 -2730 -2186 2850 -2082 -2894 -2030 -2582 2702 -2702 2022 -1994 2886 -2894 -2350 2706 -1990 -2274 -2078 -2858 -2110 2162 2490 -2486 2726 -2894 -2218 2558 -2182 -2054 -2438 -2190 -2778 2618 -2854 -2710 2650 2870 -2494 -2242 -2394 2774 -2854 2498 -2682 2634 2786 -2658 -2750 -2602 -2290 -2478 2438 -2630 -2854 -2426 -2566 2518 -2754 2434 2362 -2602 -2674 -2126 -2662 -2870 -2390 -2414 -2894 2806 2818 -2078 -2226 -2358 -2878 -2894 -2382 -2246 -2878 -2414 -2602 -2226 2070 -2238 2422 -2722 -2626 -2014 2506 2438 2742 2526 -2618 2678 -2218 -2562 2662 2406 -2854 -2030 -2342 2694 -2882 -2054 2690 -2214 -2690 -2546 2706 -2142 2358 -2202 -2318 -2342 -2602 -2654 2814 -2050 2666 2346 -2154 -2322 -2490 -2562 -2394 -2466 -2438 2562 2178 -2478 2626 2086 2538 -2674 -2430 -2806 2434 -2206 -2090 2530 -2534 -2018 -2030 -2894 -2662 2302 -2794 -2854 -2138 -2682 -2478 2446 -2194 -2506 -2590 -2490 -2030 -2798 -2746 -2586 2134 2810 -2182 1994 -2422 2646 -2374 2126 -2218 2250 -2390 -2218 -2606 2462 -2494 -2030 -2766 -2654 -2882 -2618 2030 -2586 2806 2674 -2518 2814 2810 -1990 2606 2034 -2646 -2222 2158 -2462 -2654 -2030 -2174 -2854 -2334 2322 -2522 2518 -2514 -2394 2030 -2558 -2638 -2198 -2366 2038 -2034 2334 2818 2702 -2030 -2226 -2774 -2542 -2046 -2374 -2546 -2126 -2750 -2802 -2490 -1990 -2078 -2842 -2142 2374 2546 -2190 2814 2030 2314 -2834 -2638 2478 -1990 -2490 -2774 1990 1990 -2058 2830 -2130 -2462 -2474 2646 -2338 2434 -2426 -2154 -2586 -2894 2646 -2894 2538 -2374 -2690 -2786 -2642 -2126 -2478 2154 -2702 -2894 -2222 -2398 -2330 -2294 -2462 -2754 -2794 -2442 -2186 -2566 -2822 -2038 2030 -2262 -2642 2638 -2602 -2354 -2658 -2482 -2826 2798 -1998 2518 -2746 2498 2758 2682 -2826 2434 -2474 2702 -2798 -2854 -2578 -2490 -2202 -2710 2566 2162 -2090 2854 -2798 -2406 2510 -2574 2278 -2854 -2030 -2494 -2214 -2098 -2894 -2842 -2310 -2290 2526 -2894 -2470 -2198 -2122 -2274 2330 2726 -2042 2034 -2790 -2542 2774 2350 -2602 2662 2462 -2014 -2546 -2210 -2350 -2854 2794 -2814 2606 -2318 -2758 -2770 2370 -2854 -2410 2626 -2854 -2418 -2406 -2054 -2410 -2718 -2602 -2674 -2794 -2302 -2458 -2030 2374 2574 -2278 -2422 -2698 -2158 -2826 2686 -2414 2030 -2186 -2302 -2854 -2038 -2738 -2354 -2522 -2598 -2558 -2706 -2874 -2530 2798 -2814 2162 2482 -2554 2566 -2054 -2046 2030 -2414 2310 -2458 -1994 -2426 -2702 -2386 -2654 -2154 -2386 -2418 -2578 -2494 1990 -2442 2030 2722 2578 -2034 2606 2682 -2798 -2342 2370 -2226 2854 2230 2662 2378 -2818 -2118 -2802 2562 -2438 -2466 -2622 2058 -2270 -2662 -2178 -2838 2378 -2598 2702 -2474 2526 -2022 -2638 -2106 -2850 -2602 2446 -2894 -2894 2534 2546 2718 -2550 -2210 -2374 -2186 -2050 1990 -2746 2758 2686 -2106 2750 -2014 -2302 2226 -2814 2226 -2158 -2070 2634 2794 -2306 -2846 2534 -2398 -2362 -2854 -2894 -2750 -2246 -2474 -2826 2854 -2834 -2634 -2014 -2866 -2334 -2366 -2078 2430 -2746 2470 -2018 -2770 -1990 2862 -2742 -2330 -2842 2002 -2854 2290 -2802 2210 2566 2526 -2366 2786 2762 -2798 -2894 -2562 -2206 -2854 -2126 -2882 2798 -2426 -2614 -2370 -2746 -2642 -2758 2386 -2126 -2894 -1998 1990 -2562 -2082 -2706 -2282 -2030 2150 -2182 2290 2326 -2362 -2422 -2166 -2894 -1998 -1990 2250 2062 2178 2514 2718 2594 -1990 -2490 2582 -2030 2806 -2538 -2174 2462 2126 -2366 -2586 -2202 2830 -2242 -2662 -2290 -2030 -2574 2770 -2098 -2894 2382 -2678 -2882 2894 -2498 -2438 2814 2522 -2626 -2534 -2374 2838 2218 -2226 -2154 -2534 -2854 -2690 2206 -2602 -2622 2670 -2538 -2726 2546 -2734 2038 -2490 -2514 2514 2470 2614 -2198 -2242 -2826 -2842 -2786 -2686 -2894 2010 2442 2378 2374 2318 2842 -2390 -2486 -2502 -2286 -2090 -2710 -2522 -2490 2058 -2858 2690 2226 -2526 -2570 -2882 -2606 -2610 -2078 -2478 -2414 2730 2210 -2538 -2490 -2506 -2734 -2694 -2446 -2130 -2642 2326 2586 -2214 -2894 -2030 -2558 -2054 -2498 -2350 -2042 -2422 -2474 -2834 2846 2166 -2086 2746 -2370 2306 -2894 2374 -2282 -2794 -2854 -2854 -2306 -2674 -2414 -2402 -2042 -2274 2770 -2118 2310 -2690 -2702 -2894 -2666 -2534 -2374 2250 -2854 -2310 2658 -2314 2466 2838 2346 -2566 -2166 2322 -2550 -2266 -2058 -2738 -2518 -2322 -2190 -2374 -2242 2754 2802 -2230 -2690 -2854 2690 -2650 2894 2894 2714 -2334 -2106 -2134 -2450 2122 -2586 -2610 2894 -2322 2150 2222 2454 2326 -2826 -2842 -2062 1990 -2734 2750 2730 -2342 2486 -2178 2678 -2538 -1990 2854 2798 -2354 -2474 -2786 -2574 2794 -2222 2434 2254 -2466 -2578 -2558 2202 -2118 -2782 -2574 2134 2486 -2670 2490 2626 -2090 -2818 -2186 -2750 -2118 2454 2038 -2690 -2426 2050 -2546 -1990 -2742 -2210 -2194 -2854 2430 -2666 -2030 2118 -2646 -2266 2762 -2518 -2854 -2178 -2854 2602 -2894 2694 2502 2586 -2894 -2562 -2274 -2334 2030 -2506 -2218 2630 -2698 -2662 -2130 2538 2410 1998 2126 -2354 -2498 -2622 -2782 2226 -2294 -2374 -2406 -2750 -2266 2630 2082 -2562 -1990 2674 2554 -1990 2274 2302 -2094 2074 -2362 -2186 -2570 -2794 2498 -2458 2414 -2230 -2334 -2678 -2422 -2546 -2846 -2042 2830 -2794 -2030 2534 -2342 -2510 2002 -2318 -2706 -2290 -2642 -2854 -2450 2450 2346 2458 2662 -2398 2530 -2894 -2054 2498 -2854 -2278 -2542 -2182 -2078 -2182 -2374 2846 -2834 -2730 -2186 2670 2310 -2702 -2882 -2726 -2218 1998 -2894 2838 -2194 -2410 -2550 -2770 -2618 2326 2506 -2854 -2786 2846 -2030 -2834 -2490 2542 -2454 -2034 -2366 2858 2402 -2426 -2662 2006 -2854 -1990 -2218 -2442 -2482 -2598 -2430 2446 2654 2414 2578 2854 -2314 -2606 -2894 -2806 2166 -2590 1990 -2314 -2166 -2746 -2550 1990 -2294 -2350 -2806 -2854 -2334 -2442 2710 2730 -2094 2498 -2190 -2742 2294 -2414 -2486 2446 -2894 2494 -2682 -2238 -2382 -2894 -2046 -2530 -2710 -2106 -2642 -2770 -2014 -2746 -2750 -2282 -2274 -2386 -2318 -2070 -2714 -2894 -2118 -2582 2814 -2330 2090 2702 -2894 2518 2342 -2050 -2566 2078 -2314 -2138 -2350 -2746 -2470 -2074 -2206 -2054 -2510 -2338 -2014 1990 -2226 2578 -2102 2438 -2166 2146 -2882 -2230 -2458 2866 2650 -2166 -2894 2030 2842 -2054 2478 -2070 -2618 2050 -2638 -2758 -2806 2758 -2578 -2354 -2566 -2546 -2162 -2394 -2754 -2186 -2706 -2630 -2698 2606 -2542 -2354 2030 -1990 2358 -2622 -2882 2870 -2790 -2402 2394 -2082 -2818 -2602 -1990 -2030 2634 -2030 -2414 -2378 -2578 -2054 -2130 -2242 2322 2618 -2462 2786 -2494 2170 2842 2522 2354 2434 -2030 -2638 -2742 -2426 -2894 -2870 -2894 -2030 2778 2854 -2614 2642 2446 -2778 2418 2522 -2090 2582 -2158 -2618 -2334 -2546 -2802 -2494 -2750 -2802 -2734 -2466 -2558 -2854 2290 -2330 2286 -2802 -2586 -2854 2706 -2058 -2514 2466 2262 -2682 2114 2038 -2342 -2234 2646 2842 2102 2854 -2810 2714 2030 2894 -2042 -2170 -2534 -2846 -2466 -2470 2314 -2710 -2286 -2842 -2854 -2590 2790 -2834 -2854 -2202 2402 -2842 -2142 -2746 -2674 2754 -2030 -2174 -2470 2050 -2330 -2586 -2334 -2058 -2418 -2374 -2274 -2398 -2478 2282 2874 -2530 -2542 2866 2414 -2766 -2646 2658 -1990 -1990 -2894 2558 -2062 2678 -2066 -2282 -2350 -2406 2110 -2894 2034 2310 -2734 -1990 -1998 2010 -2214 2374 -2506 -2346 -2354 2390 -2294 -2214 2478 -2778 -2550 -2802 2618 -2854 -2278 -2294 -2854 2354 -2350 2254 -2750 -2878 2466 -2406 -2826 2854 -2514 -2030 -2698 2422 2758 2738 -2570 -1990 -2662 -2774 -2414 -2702 -1990 -2050 2474 2038 -2574 2474 -2826 2762 -2766 -2482 -2366 2022 -2438 -2662 -2854 2894 2590 2386 -2302 -2786 -2518 2170 1990 2678 2862 2650 2278 -2682 2350 -2606 -2478 -2030 -2518 -2582 -2766 -2438 -2098 -1990 2766 1994 -2474 -2854 2266 -2378 -2058 2110 -2282 -2054 -2250 -2346 1994 -2714 2146 2398 2558 -2786 -2338 -2054 -2646 -2522 -2830 -2426 -2058 2602 2690 -2714 2590 2398 2030 2858 2250 -2650 2538 -2834 -2530 -2842 -2690 2030 -2770 2050 2530 2682 -2326 2042 2702 -2894 -2282 -2718 -2322 -2894 2578 -2758 -2698 -2414 2846 -2666 -2690 2038 -2842 -2550 -2314 -2482 -2614 -2270 -2894 -2062 -2462 -2802 -2482 -2030 -2054 2838 -2762 -2506 -2530 -2730 2194 -2590 2082 -2582 -2014 2618 2254 -2038 2394 2830 -2774 2626 -2746 2226 -2294 -2582 -2246 -2558 -2478 -2798 2390 -2886 2550 -2106 -2498 -2030 2794 -2462 2322 -2322 -2786 -2894 -2562 -2266 -2006 -2842 2682 -2050 2278 -1990 -2574 2146 -2806 -2374 2422 -2266 2458 
124.42/125.60	d ASSIGNMENTS 2000
124.42/125.60	d CHECKS 17345307

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.04 2.00 4/82 5734
/proc/meminfo: memFree=1706928/2055920 swapFree=4179604/4192956
[pid=5734] ppid=5732 vsize=5360 CPUtime=0
/proc/5734/stat : 5734 (hydra) R 5732 5734 5520 0 -1 4194304 306 124 0 0 0 0 0 0 22 0 1 0 2003435505 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 4459254 0 65536 4100 65536 0 0 0 17 1 0 0
/proc/5734/statm: 1340 236 195 169 0 51 0
[pid=5736] ppid=5734 vsize=0 CPUtime=0
/proc/5736/stat : 5736 (rm) Z 5734 5734 5520 0 -1 4194316 123 0 0 0 0 0 0 0 23 0 1 0 2003435505 0 0 996147200 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/5736/statm: 0 0 0 0 0 0 0

[startup+0.0685411 s]
/proc/loadavg: 2.01 2.04 2.00 4/82 5734
/proc/meminfo: memFree=1706928/2055920 swapFree=4179604/4192956
[pid=5734] ppid=5732 vsize=5360 CPUtime=0
/proc/5734/stat : 5734 (hydra) S 5732 5734 5520 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2003435505 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5734/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.102549 s]
/proc/loadavg: 2.01 2.04 2.00 4/82 5734
/proc/meminfo: memFree=1706928/2055920 swapFree=4179604/4192956
[pid=5734] ppid=5732 vsize=5360 CPUtime=0
/proc/5734/stat : 5734 (hydra) S 5732 5734 5520 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2003435505 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5734/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.301585 s]
/proc/loadavg: 2.01 2.04 2.00 4/82 5734
/proc/meminfo: memFree=1706928/2055920 swapFree=4179604/4192956
[pid=5734] ppid=5732 vsize=5360 CPUtime=0
/proc/5734/stat : 5734 (hydra) S 5732 5734 5520 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2003435505 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5734/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.701662 s]
/proc/loadavg: 2.01 2.04 2.00 4/82 5734
/proc/meminfo: memFree=1706928/2055920 swapFree=4179604/4192956
[pid=5734] ppid=5732 vsize=5360 CPUtime=0
/proc/5734/stat : 5734 (hydra) S 5732 5734 5520 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2003435505 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5734/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+1.50282 s]
/proc/loadavg: 2.01 2.04 2.00 3/84 5738
/proc/meminfo: memFree=1663008/2055920 swapFree=4179604/4192956
[pid=5734] ppid=5732 vsize=5360 CPUtime=0
/proc/5734/stat : 5734 (hydra) S 5732 5734 5520 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2003435505 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5734/statm: 1340 236 195 169 0 51 0
[pid=5738] ppid=5734 vsize=73344 CPUtime=1.46
/proc/5738/stat : 5738 (xsolve) R 5734 5734 5520 0 -1 4194304 11719 0 0 0 141 5 0 0 25 0 1 0 2003435506 75104256 11612 996147200 134512640 135239763 4294956176 18446744073709551615 134535329 0 0 4096 0 0 0 0 17 1 0 0
/proc/5738/statm: 18336 11612 416 177 0 17239 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 78704

[startup+3.10113 s]
/proc/loadavg: 2.01 2.04 2.00 3/84 5738
/proc/meminfo: memFree=1661536/2055920 swapFree=4179604/4192956
[pid=5734] ppid=5732 vsize=5360 CPUtime=0
/proc/5734/stat : 5734 (hydra) S 5732 5734 5520 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2003435505 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5734/statm: 1340 236 195 169 0 51 0
[pid=5738] ppid=5734 vsize=73344 CPUtime=3.04
/proc/5738/stat : 5738 (xsolve) R 5734 5734 5520 0 -1 4194304 11719 0 0 0 299 5 0 0 25 0 1 0 2003435506 75104256 11612 996147200 134512640 135239763 4294956176 18446744073709551615 134539288 0 0 4096 0 0 0 0 17 1 0 0
/proc/5738/statm: 18336 11612 416 177 0 17239 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 78704

[startup+6.30275 s]
/proc/loadavg: 2.01 2.04 2.00 3/84 5738
/proc/meminfo: memFree=1661664/2055920 swapFree=4179604/4192956
[pid=5734] ppid=5732 vsize=5360 CPUtime=0
/proc/5734/stat : 5734 (hydra) S 5732 5734 5520 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2003435505 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5734/statm: 1340 236 195 169 0 51 0
[pid=5738] ppid=5734 vsize=73344 CPUtime=6.21
/proc/5738/stat : 5738 (xsolve) R 5734 5734 5520 0 -1 4194304 11720 0 0 0 616 5 0 0 25 0 1 0 2003435506 75104256 11613 996147200 134512640 135239763 4294956176 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 1 0 0
/proc/5738/statm: 18336 11613 417 177 0 17239 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 78704

[startup+12.702 s]
/proc/loadavg: 2.00 2.04 2.00 3/84 5738
/proc/meminfo: memFree=1661792/2055920 swapFree=4179604/4192956
[pid=5734] ppid=5732 vsize=5360 CPUtime=0
/proc/5734/stat : 5734 (hydra) S 5732 5734 5520 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2003435505 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5734/statm: 1340 236 195 169 0 51 0
[pid=5738] ppid=5734 vsize=73344 CPUtime=12.55
/proc/5738/stat : 5738 (xsolve) R 5734 5734 5520 0 -1 4194304 11720 0 0 0 1250 5 0 0 25 0 1 0 2003435506 75104256 11613 996147200 134512640 135239763 4294956176 18446744073709551615 134538577 0 0 4096 0 0 0 0 17 1 0 0
/proc/5738/statm: 18336 11613 417 177 0 17239 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 78704

[startup+25.5015 s]
/proc/loadavg: 2.00 2.04 2.00 3/84 5744
/proc/meminfo: memFree=1661016/2055920 swapFree=4179604/4192956
[pid=5734] ppid=5732 vsize=5360 CPUtime=0
/proc/5734/stat : 5734 (hydra) S 5732 5734 5520 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2003435505 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5734/statm: 1340 236 195 169 0 51 0
[pid=5738] ppid=5734 vsize=73344 CPUtime=25.22
/proc/5738/stat : 5738 (xsolve) R 5734 5734 5520 0 -1 4194304 11720 0 0 0 2516 6 0 0 25 0 1 0 2003435506 75104256 11613 996147200 134512640 135239763 4294956176 18446744073709551615 134535328 0 0 4096 0 0 0 0 17 1 0 0
/proc/5738/statm: 18336 11613 417 177 0 17239 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 78704

[startup+51.1015 s]
/proc/loadavg: 2.00 2.03 2.00 3/84 5744
/proc/meminfo: memFree=1661088/2055920 swapFree=4179604/4192956
[pid=5734] ppid=5732 vsize=5360 CPUtime=0
/proc/5734/stat : 5734 (hydra) S 5732 5734 5520 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2003435505 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5734/statm: 1340 236 195 169 0 51 0
[pid=5738] ppid=5734 vsize=73344 CPUtime=50.58
/proc/5738/stat : 5738 (xsolve) R 5734 5734 5520 0 -1 4194304 11720 0 0 0 5052 6 0 0 25 0 1 0 2003435506 75104256 11613 996147200 134512640 135239763 4294956176 18446744073709551615 134535329 0 0 4096 0 0 0 0 17 1 0 0
/proc/5738/statm: 18336 11613 417 177 0 17239 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 78704

[startup+102.309 s]
/proc/loadavg: 2.07 2.04 2.00 5/104 5768
/proc/meminfo: memFree=1599872/2055920 swapFree=4179604/4192956
[pid=5734] ppid=5732 vsize=5360 CPUtime=83.89
/proc/5734/stat : 5734 (hydra) S 5732 5734 5520 0 -1 4194304 375 12326 0 0 0 0 8381 8 18 0 1 0 2003435505 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5734/statm: 1340 238 196 169 0 51 0
[pid=5748] ppid=5734 vsize=197352 CPUtime=6.04
/proc/5748/stat : 5748 (java) S 5734 5734 5520 0 -1 0 11455 0 1 0 584 20 0 0 18 0 10 0 2003443976 202088448 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5748/statm: 49338 9390 2544 9 0 43920 0
[pid=5758] ppid=5748 vsize=5356 CPUtime=0
/proc/5758/stat : 5758 (abscon) S 5748 5734 5520 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2003444602 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 228774699844 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/5758/statm: 1339 235 194 169 0 50 0
[pid=5759] ppid=5758 vsize=655740 CPUtime=11.31
/proc/5759/stat : 5759 (java) S 5758 5734 5520 0 -1 0 21813 0 1 0 1118 13 0 0 18 0 9 0 2003444603 671477760 21313 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5759/statm: 163935 21313 2008 9 0 158463 0
[pid=5759/tid=5761] ppid=5758 vsize=655740 CPUtime=10.88
/proc/5759/task/5761/stat : 5761 (java) R 5758 5734 5520 0 -1 64 12455 0 1 0 1080 8 0 0 25 0 9 0 2003444604 671477760 21313 996147200 134512640 134550740 4294955808 18446744073709551615 4126901175 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5759/tid=5762] ppid=5758 vsize=655740 CPUtime=0.18
/proc/5759/task/5762/stat : 5762 (java) S 5758 5734 5520 0 -1 64 8163 0 0 0 15 3 0 0 16 0 9 0 2003444605 671477760 21313 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5759/tid=5763] ppid=5758 vsize=655740 CPUtime=0
/proc/5759/task/5763/stat : 5763 (java) S 5758 5734 5520 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003444605 671477760 21313 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5759/tid=5764] ppid=5758 vsize=655740 CPUtime=0
/proc/5759/task/5764/stat : 5764 (java) S 5758 5734 5520 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2003444605 671477760 21313 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5759/tid=5765] ppid=5758 vsize=655740 CPUtime=0
/proc/5759/task/5765/stat : 5765 (java) S 5758 5734 5520 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2003444607 671477760 21313 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5759/tid=5766] ppid=5758 vsize=655740 CPUtime=0.22
/proc/5759/task/5766/stat : 5766 (java) S 5758 5734 5520 0 -1 64 651 0 0 0 22 0 0 0 16 0 9 0 2003444607 671477760 21313 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5759/tid=5767] ppid=5758 vsize=655740 CPUtime=0
/proc/5759/task/5767/stat : 5767 (java) S 5758 5734 5520 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2003444607 671477760 21313 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5759/tid=5768] ppid=5758 vsize=655740 CPUtime=0
/proc/5759/task/5768/stat : 5768 (java) S 5758 5734 5520 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003444607 671477760 21313 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5760] ppid=5758 vsize=7044 CPUtime=0
/proc/5760/stat : 5760 (translate) S 5758 5734 5520 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2003444603 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 228774871122 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/5760/statm: 1761 213 182 1 0 41 0
[pid=5748/tid=5749] ppid=5734 vsize=197352 CPUtime=4.84
/proc/5748/task/5749/stat : 5749 (java) S 5734 5734 5520 0 -1 64 3859 0 1 0 476 8 0 0 25 0 10 0 2003443977 202088448 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=5748/tid=5750] ppid=5734 vsize=197352 CPUtime=0.91
/proc/5748/task/5750/stat : 5750 (java) S 5734 5734 5520 0 -1 64 6103 0 0 0 82 9 0 0 16 0 10 0 2003443979 202088448 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5748/tid=5751] ppid=5734 vsize=197352 CPUtime=0
/proc/5748/task/5751/stat : 5751 (java) S 5734 5734 5520 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003443979 202088448 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5748/tid=5752] ppid=5734 vsize=197352 CPUtime=0
/proc/5748/task/5752/stat : 5752 (java) S 5734 5734 5520 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2003443979 202088448 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5748/tid=5753] ppid=5734 vsize=197352 CPUtime=0
/proc/5748/task/5753/stat : 5753 (java) S 5734 5734 5520 0 -1 64 1 0 0 0 0 0 0 0 17 0 10 0 2003443983 202088448 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5748/tid=5754] ppid=5734 vsize=197352 CPUtime=0.23
/proc/5748/task/5754/stat : 5754 (java) S 5734 5734 5520 0 -1 64 671 0 0 0 23 0 0 0 16 0 10 0 2003443983 202088448 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5748/tid=5755] ppid=5734 vsize=197352 CPUtime=0
/proc/5748/task/5755/stat : 5755 (java) S 5734 5734 5520 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2003443983 202088448 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5748/tid=5756] ppid=5734 vsize=197352 CPUtime=0
/proc/5748/task/5756/stat : 5756 (java) R 5734 5734 5520 0 -1 64 28 0 0 0 0 0 0 0 15 0 10 0 2003443983 202088448 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5748/tid=5757] ppid=5734 vsize=197352 CPUtime=0
/proc/5748/task/5757/stat : 5757 (java) S 5734 5734 5520 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2003444602 202088448 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.24
Current children cumulated vsize (KiB) 870852

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

[startup+115.102 s]
/proc/loadavg: 2.13 2.06 2.01 3/104 5768
/proc/meminfo: memFree=1579584/2055920 swapFree=4179604/4192956
[pid=5734] ppid=5732 vsize=5360 CPUtime=83.89
/proc/5734/stat : 5734 (hydra) S 5732 5734 5520 0 -1 4194304 375 12326 0 0 0 0 8381 8 18 0 1 0 2003435505 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5734/statm: 1340 238 196 169 0 51 0
[pid=5748] ppid=5734 vsize=197352 CPUtime=6.04
/proc/5748/stat : 5748 (java) S 5734 5734 5520 0 -1 0 11455 0 1 0 584 20 0 0 18 0 10 0 2003443976 202088448 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5748/statm: 49338 9390 2544 9 0 43920 0
[pid=5758] ppid=5748 vsize=5356 CPUtime=0
/proc/5758/stat : 5758 (abscon) S 5748 5734 5520 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2003444602 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 228774699844 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/5758/statm: 1339 235 194 169 0 50 0

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

/proc/5759/task/5764/stat : 5764 (java) S 5758 5734 5520 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 2003444605 671477760 39489 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5759/tid=5765] ppid=5758 vsize=655740 CPUtime=0
/proc/5759/task/5765/stat : 5765 (java) S 5758 5734 5520 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2003444607 671477760 39489 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5759/tid=5766] ppid=5758 vsize=655740 CPUtime=0.37
/proc/5759/task/5766/stat : 5766 (java) S 5758 5734 5520 0 -1 64 738 0 0 0 36 1 0 0 15 0 9 0 2003444607 671477760 39489 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5759/tid=5767] ppid=5758 vsize=655740 CPUtime=0
/proc/5759/task/5767/stat : 5767 (java) S 5758 5734 5520 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2003444607 671477760 39489 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5759/tid=5768] ppid=5758 vsize=655740 CPUtime=0
/proc/5759/task/5768/stat : 5768 (java) S 5758 5734 5520 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003444607 671477760 39489 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5760] ppid=5758 vsize=7044 CPUtime=0
/proc/5760/stat : 5760 (translate) S 5758 5734 5520 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2003444603 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 228774871122 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/5760/statm: 1761 213 182 1 0 41 0
[pid=5748/tid=5749] ppid=5734 vsize=197352 CPUtime=4.84
/proc/5748/task/5749/stat : 5749 (java) S 5734 5734 5520 0 -1 64 3859 0 1 0 476 8 0 0 25 0 10 0 2003443977 202088448 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=5748/tid=5750] ppid=5734 vsize=197352 CPUtime=0.91
/proc/5748/task/5750/stat : 5750 (java) S 5734 5734 5520 0 -1 64 6103 0 0 0 82 9 0 0 16 0 10 0 2003443979 202088448 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5748/tid=5751] ppid=5734 vsize=197352 CPUtime=0
/proc/5748/task/5751/stat : 5751 (java) S 5734 5734 5520 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003443979 202088448 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5748/tid=5752] ppid=5734 vsize=197352 CPUtime=0
/proc/5748/task/5752/stat : 5752 (java) S 5734 5734 5520 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2003443979 202088448 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5748/tid=5753] ppid=5734 vsize=197352 CPUtime=0
/proc/5748/task/5753/stat : 5753 (java) S 5734 5734 5520 0 -1 64 1 0 0 0 0 0 0 0 17 0 10 0 2003443983 202088448 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5748/tid=5754] ppid=5734 vsize=197352 CPUtime=0.23
/proc/5748/task/5754/stat : 5754 (java) S 5734 5734 5520 0 -1 64 671 0 0 0 23 0 0 0 16 0 10 0 2003443983 202088448 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5748/tid=5755] ppid=5734 vsize=197352 CPUtime=0
/proc/5748/task/5755/stat : 5755 (java) S 5734 5734 5520 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2003443983 202088448 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5748/tid=5756] ppid=5734 vsize=197352 CPUtime=0
/proc/5748/task/5756/stat : 5756 (java) S 5734 5734 5520 0 -1 64 28 0 0 0 0 0 0 0 15 0 10 0 2003443983 202088448 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5748/tid=5757] ppid=5734 vsize=197352 CPUtime=0
/proc/5748/task/5757/stat : 5757 (java) S 5734 5734 5520 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2003444602 202088448 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 123.62
Current children cumulated vsize (KiB) 870852

[startup+125.103 s]
/proc/loadavg: 2.11 2.05 2.01 3/104 5768
/proc/meminfo: memFree=1529408/2055920 swapFree=4179604/4192956
[pid=5734] ppid=5732 vsize=5360 CPUtime=83.89
/proc/5734/stat : 5734 (hydra) S 5732 5734 5520 0 -1 4194304 375 12326 0 0 0 0 8381 8 18 0 1 0 2003435505 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5734/statm: 1340 238 196 169 0 51 0
[pid=5748] ppid=5734 vsize=197352 CPUtime=6.04
/proc/5748/stat : 5748 (java) S 5734 5734 5520 0 -1 0 11455 0 1 0 584 20 0 0 18 0 10 0 2003443976 202088448 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5748/statm: 49338 9390 2544 9 0 43920 0
[pid=5758] ppid=5748 vsize=5356 CPUtime=0
/proc/5758/stat : 5758 (abscon) S 5748 5734 5520 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2003444602 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 228774699844 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/5758/statm: 1339 235 194 169 0 50 0
[pid=5759] ppid=5758 vsize=655740 CPUtime=34.09
/proc/5759/stat : 5759 (java) S 5758 5734 5520 0 -1 0 40212 0 1 0 3386 23 0 0 18 0 9 0 2003444603 671477760 39489 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5759/statm: 163935 39489 2617 9 0 158463 0
[pid=5759/tid=5761] ppid=5758 vsize=655740 CPUtime=32.73
/proc/5759/task/5761/stat : 5761 (java) R 5758 5734 5520 0 -1 64 12559 0 1 0 3263 10 0 0 25 0 9 0 2003444604 671477760 39489 996147200 134512640 134550740 4294955808 18446744073709551615 4127312237 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5759/tid=5762] ppid=5758 vsize=655740 CPUtime=0.97
/proc/5759/task/5762/stat : 5762 (java) S 5758 5734 5520 0 -1 64 26356 0 0 0 86 11 0 0 17 0 9 0 2003444605 671477760 39489 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5759/tid=5763] ppid=5758 vsize=655740 CPUtime=0
/proc/5759/task/5763/stat : 5763 (java) S 5758 5734 5520 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003444605 671477760 39489 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5759/tid=5764] ppid=5758 vsize=655740 CPUtime=0
/proc/5759/task/5764/stat : 5764 (java) S 5758 5734 5520 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 2003444605 671477760 39489 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5759/tid=5765] ppid=5758 vsize=655740 CPUtime=0
/proc/5759/task/5765/stat : 5765 (java) S 5758 5734 5520 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2003444607 671477760 39489 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5759/tid=5766] ppid=5758 vsize=655740 CPUtime=0.37
/proc/5759/task/5766/stat : 5766 (java) S 5758 5734 5520 0 -1 64 739 0 0 0 36 1 0 0 15 0 9 0 2003444607 671477760 39489 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5759/tid=5767] ppid=5758 vsize=655740 CPUtime=0
/proc/5759/task/5767/stat : 5767 (java) S 5758 5734 5520 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2003444607 671477760 39489 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5759/tid=5768] ppid=5758 vsize=655740 CPUtime=0
/proc/5759/task/5768/stat : 5768 (java) S 5758 5734 5520 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003444607 671477760 39489 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5760] ppid=5758 vsize=7044 CPUtime=0
/proc/5760/stat : 5760 (translate) S 5758 5734 5520 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2003444603 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 228774871122 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/5760/statm: 1761 213 182 1 0 41 0
[pid=5748/tid=5749] ppid=5734 vsize=197352 CPUtime=4.84
/proc/5748/task/5749/stat : 5749 (java) S 5734 5734 5520 0 -1 64 3859 0 1 0 476 8 0 0 25 0 10 0 2003443977 202088448 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=5748/tid=5750] ppid=5734 vsize=197352 CPUtime=0.91
/proc/5748/task/5750/stat : 5750 (java) S 5734 5734 5520 0 -1 64 6103 0 0 0 82 9 0 0 16 0 10 0 2003443979 202088448 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5748/tid=5751] ppid=5734 vsize=197352 CPUtime=0
/proc/5748/task/5751/stat : 5751 (java) S 5734 5734 5520 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003443979 202088448 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5748/tid=5752] ppid=5734 vsize=197352 CPUtime=0
/proc/5748/task/5752/stat : 5752 (java) S 5734 5734 5520 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2003443979 202088448 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5748/tid=5753] ppid=5734 vsize=197352 CPUtime=0
/proc/5748/task/5753/stat : 5753 (java) S 5734 5734 5520 0 -1 64 1 0 0 0 0 0 0 0 17 0 10 0 2003443983 202088448 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5748/tid=5754] ppid=5734 vsize=197352 CPUtime=0.23
/proc/5748/task/5754/stat : 5754 (java) S 5734 5734 5520 0 -1 64 671 0 0 0 23 0 0 0 16 0 10 0 2003443983 202088448 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5748/tid=5755] ppid=5734 vsize=197352 CPUtime=0
/proc/5748/task/5755/stat : 5755 (java) S 5734 5734 5520 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2003443983 202088448 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5748/tid=5756] ppid=5734 vsize=197352 CPUtime=0
/proc/5748/task/5756/stat : 5756 (java) S 5734 5734 5520 0 -1 64 28 0 0 0 0 0 0 0 15 0 10 0 2003443983 202088448 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5748/tid=5757] ppid=5734 vsize=197352 CPUtime=0
/proc/5748/task/5757/stat : 5757 (java) S 5734 5734 5520 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2003444602 202088448 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 124.02
Current children cumulated vsize (KiB) 870852

[startup+125.502 s]
/proc/loadavg: 2.11 2.05 2.01 3/104 5768
/proc/meminfo: memFree=1529408/2055920 swapFree=4179604/4192956
[pid=5734] ppid=5732 vsize=5360 CPUtime=83.89
/proc/5734/stat : 5734 (hydra) S 5732 5734 5520 0 -1 4194304 375 12326 0 0 0 0 8381 8 18 0 1 0 2003435505 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5734/statm: 1340 238 196 169 0 51 0
[pid=5748] ppid=5734 vsize=197352 CPUtime=6.04
/proc/5748/stat : 5748 (java) S 5734 5734 5520 0 -1 0 11455 0 1 0 584 20 0 0 18 0 10 0 2003443976 202088448 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5748/statm: 49338 9390 2544 9 0 43920 0
[pid=5758] ppid=5748 vsize=5356 CPUtime=0
/proc/5758/stat : 5758 (abscon) S 5748 5734 5520 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2003444602 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 228774699844 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/5758/statm: 1339 235 194 169 0 50 0
[pid=5759] ppid=5758 vsize=655740 CPUtime=34.49
/proc/5759/stat : 5759 (java) S 5758 5734 5520 0 -1 0 40226 0 1 0 3426 23 0 0 18 0 9 0 2003444603 671477760 39503 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5759/statm: 163935 39503 2617 9 0 158463 0
[pid=5759/tid=5761] ppid=5758 vsize=655740 CPUtime=33.11
/proc/5759/task/5761/stat : 5761 (java) R 5758 5734 5520 0 -1 64 12562 0 1 0 3301 10 0 0 25 0 9 0 2003444604 671477760 39503 996147200 134512640 134550740 4294955808 18446744073709551615 4127421168 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5759/tid=5762] ppid=5758 vsize=655740 CPUtime=0.97
/proc/5759/task/5762/stat : 5762 (java) S 5758 5734 5520 0 -1 64 26356 0 0 0 86 11 0 0 17 0 9 0 2003444605 671477760 39503 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5759/tid=5763] ppid=5758 vsize=655740 CPUtime=0
/proc/5759/task/5763/stat : 5763 (java) S 5758 5734 5520 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003444605 671477760 39503 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5759/tid=5764] ppid=5758 vsize=655740 CPUtime=0
/proc/5759/task/5764/stat : 5764 (java) S 5758 5734 5520 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 2003444605 671477760 39503 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5759/tid=5765] ppid=5758 vsize=655740 CPUtime=0
/proc/5759/task/5765/stat : 5765 (java) S 5758 5734 5520 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2003444607 671477760 39503 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5759/tid=5766] ppid=5758 vsize=655740 CPUtime=0.39
/proc/5759/task/5766/stat : 5766 (java) S 5758 5734 5520 0 -1 64 750 0 0 0 38 1 0 0 15 0 9 0 2003444607 671477760 39503 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5759/tid=5767] ppid=5758 vsize=655740 CPUtime=0
/proc/5759/task/5767/stat : 5767 (java) S 5758 5734 5520 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2003444607 671477760 39503 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5759/tid=5768] ppid=5758 vsize=655740 CPUtime=0
/proc/5759/task/5768/stat : 5768 (java) S 5758 5734 5520 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003444607 671477760 39503 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5760] ppid=5758 vsize=7044 CPUtime=0
/proc/5760/stat : 5760 (translate) S 5758 5734 5520 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2003444603 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 228774871122 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/5760/statm: 1761 213 182 1 0 41 0
[pid=5748/tid=5749] ppid=5734 vsize=197352 CPUtime=4.84
/proc/5748/task/5749/stat : 5749 (java) S 5734 5734 5520 0 -1 64 3859 0 1 0 476 8 0 0 25 0 10 0 2003443977 202088448 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=5748/tid=5750] ppid=5734 vsize=197352 CPUtime=0.91
/proc/5748/task/5750/stat : 5750 (java) S 5734 5734 5520 0 -1 64 6103 0 0 0 82 9 0 0 16 0 10 0 2003443979 202088448 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5748/tid=5751] ppid=5734 vsize=197352 CPUtime=0
/proc/5748/task/5751/stat : 5751 (java) S 5734 5734 5520 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003443979 202088448 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5748/tid=5752] ppid=5734 vsize=197352 CPUtime=0
/proc/5748/task/5752/stat : 5752 (java) S 5734 5734 5520 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2003443979 202088448 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5748/tid=5753] ppid=5734 vsize=197352 CPUtime=0
/proc/5748/task/5753/stat : 5753 (java) S 5734 5734 5520 0 -1 64 1 0 0 0 0 0 0 0 17 0 10 0 2003443983 202088448 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5748/tid=5754] ppid=5734 vsize=197352 CPUtime=0.23
/proc/5748/task/5754/stat : 5754 (java) S 5734 5734 5520 0 -1 64 671 0 0 0 23 0 0 0 16 0 10 0 2003443983 202088448 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5748/tid=5755] ppid=5734 vsize=197352 CPUtime=0
/proc/5748/task/5755/stat : 5755 (java) S 5734 5734 5520 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2003443983 202088448 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5748/tid=5756] ppid=5734 vsize=197352 CPUtime=0
/proc/5748/task/5756/stat : 5756 (java) S 5734 5734 5520 0 -1 64 28 0 0 0 0 0 0 0 15 0 10 0 2003443983 202088448 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5748/tid=5757] ppid=5734 vsize=197352 CPUtime=0
/proc/5748/task/5757/stat : 5757 (java) S 5734 5734 5520 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2003444602 202088448 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 124.42
Current children cumulated vsize (KiB) 870852

[startup+125.602 s]
/proc/loadavg: 2.11 2.05 2.01 3/104 5768
/proc/meminfo: memFree=1529408/2055920 swapFree=4179604/4192956
[pid=5734] ppid=5732 vsize=5360 CPUtime=83.89
/proc/5734/stat : 5734 (hydra) S 5732 5734 5520 0 -1 4194304 375 12326 0 0 0 0 8381 8 18 0 1 0 2003435505 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5734/statm: 1340 238 196 169 0 51 0
[pid=5748] ppid=5734 vsize=197352 CPUtime=40.62
/proc/5748/stat : 5748 (java) S 5734 5734 5520 0 -1 0 11574 40840 1 1 584 20 3432 26 18 0 9 0 2003443976 202088448 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5748/statm: 49338 9392 2545 9 0 43920 0
[pid=5748/tid=5749] ppid=5734 vsize=197352 CPUtime=39.42
/proc/5748/task/5749/stat : 5749 (java) S 5734 5734 5520 0 -1 64 3942 40840 1 1 476 8 3432 26 16 0 9 0 2003443977 202088448 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5748/tid=5750] ppid=5734 vsize=197352 CPUtime=35.49
/proc/5748/task/5750/stat : 5750 (java) S 5734 5734 5520 0 -1 64 6127 40840 0 1 82 9 3432 26 16 0 9 0 2003443979 202088448 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5748/tid=5751] ppid=5734 vsize=197352 CPUtime=34.58
/proc/5748/task/5751/stat : 5751 (java) S 5734 5734 5520 0 -1 64 11 40840 0 1 0 0 3432 26 16 0 9 0 2003443979 202088448 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5748/tid=5752] ppid=5734 vsize=197352 CPUtime=34.58
/proc/5748/task/5752/stat : 5752 (java) S 5734 5734 5520 0 -1 64 5 40840 0 1 0 0 3432 26 16 0 9 0 2003443979 202088448 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5748/tid=5753] ppid=5734 vsize=197352 CPUtime=34.58
/proc/5748/task/5753/stat : 5753 (java) S 5734 5734 5520 0 -1 64 1 40840 0 1 0 0 3432 26 17 0 9 0 2003443983 202088448 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5748/tid=5754] ppid=5734 vsize=197352 CPUtime=34.81
/proc/5748/task/5754/stat : 5754 (java) S 5734 5734 5520 0 -1 64 671 40840 0 1 23 0 3432 26 16 0 9 0 2003443983 202088448 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5748/tid=5755] ppid=5734 vsize=197352 CPUtime=34.58
/proc/5748/task/5755/stat : 5755 (java) S 5734 5734 5520 0 -1 64 0 40840 0 1 0 0 3432 26 18 0 9 0 2003443983 202088448 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5748/tid=5756] ppid=5734 vsize=197352 CPUtime=34.58
/proc/5748/task/5756/stat : 5756 (java) S 5734 5734 5520 0 -1 64 28 40840 0 1 0 0 3432 26 15 0 9 0 2003443983 202088448 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 124.51
Current children cumulated vsize (KiB) 202712

Child status: 0
Real time (s): 125.644
CPU time (s): 124.545
CPU user time (s): 123.987
CPU system time (s): 0.557915
CPU usage (%): 99.1255
Max. virtual memory (cumulated for all children) (KiB): 870852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 123.987
system time used= 0.557915
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65156
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= 13049
involuntary context switches= 21025

runsolver used 0.345947 second user time and 0.681896 second system time

The end

Launcher Data (download as text)

Begin job on node74 at 2008-07-05 10:00:43
IDJOB=1087591
IDBENCH=58019
IDSOLVER=366
FILE ID=node74/1087591-1215244843
PBS_JOBID= 7882030
Free space on /tmp= 103232 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= d5e3aabb8926151d3fb7baec2a204317
RANDOM SEED=947664238

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
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:       1707344 kB
Buffers:          4032 kB
Cached:          98136 kB
SwapCached:       6360 kB
Active:         276924 kB
Inactive:        18376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1707344 kB
SwapTotal:     4192956 kB
SwapFree:      4179604 kB
Dirty:           27060 kB
Writeback:           0 kB
Mapped:         209572 kB
Slab:            37792 kB
Committed_AS:  4350096 kB
PageTables:       2260 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 103208 MiB
End job on node74 at 2008-07-05 10:02:49