Trace number 1085764

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 93.6188 95.5388

DiagnosticValue
ASSIGNMENTS3497
CHECKS88237200

General information on the benchmark

Namecsp/fapp/fapp15/
normalized-fapp15-3000-8.xml
MD5SUM3783482c1cbff3c4a72df59d958779fb
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 benchmark68.9175
Satisfiable
(Un)Satisfiability was proved
Number of variables3000
Number of constraints33021
Maximum constraint arity2
Maximum domain size182
Number of constraints which are defined in extension0
Number of constraints which are defined in intension33021
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.00	c cpHydra_k_40 version 0.0
24.08/24.49	c CASE TO CLASSIFY:
24.08/24.49	c Case: 0
24.08/24.49	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.472100 | c 15 >  15.213600 | c 34 >  68.035800 | c 16 >   2.000000 | c 13 >   2.546710 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   4.460350 | c 21 >  13.109900 | c 20 >   0.000000 | c 22 >  13.490700 | c 23 >   4.118320 | c 24 >   0.800152 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.011100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.975900 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
24.19/24.50	c choco : 1801.0
24.19/24.50	c mistral : 1801.0
24.19/24.50	c abscon : 1801.0
24.19/24.50	c
24.19/24.50	c
24.19/24.58	c List of same ones: 40
24.19/24.58	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-10.xml
24.19/24.58	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.472100 | c 15 >  12.227300 | c 34 >  68.035800 | c 16 >   2.000000 | c 13 >   2.546710 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   4.460350 | c 21 >  13.109900 | c 20 >   0.000000 | c 22 >  13.490700 | c 23 >   4.118320 | c 24 >   0.800152 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.011100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.975900 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
24.19/24.58	c choco : 1801.0
24.19/24.58	c mistral : 1800.05
24.19/24.58	c abscon : 64.5562
24.19/24.58	c
24.19/24.58	c
24.19/24.58	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-9.xml
24.19/24.58	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.472100 | c 15 >  12.083100 | c 34 >  68.035800 | c 16 >   2.000000 | c 13 >   2.546710 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   4.460350 | c 21 >  13.109900 | c 20 >   0.000000 | c 22 >  13.490700 | c 23 >   4.118320 | c 24 >   0.800152 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.011100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.975900 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
24.19/24.59	c choco : 1801.0
24.19/24.59	c mistral : 1800.09
24.19/24.59	c abscon : 128.934
24.19/24.59	c
24.19/24.59	c
24.19/24.59	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-10.xml
24.19/24.59	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.854000 | c 15 >  12.460500 | c 34 >  68.271900 | c 16 >   2.000000 | c 13 >   2.596710 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.681000 | c 21 >  12.658900 | c 20 >   0.000000 | c 22 >  13.784000 | c 23 >   3.099670 | c 24 >   0.791706 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.646800 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.289900 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
24.27/24.61	c choco : 1801.0
24.27/24.61	c mistral : 1800.11
24.27/24.61	c abscon : 39.9029
24.27/24.61	c
24.27/24.61	c
24.27/24.61	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-8.xml
24.27/24.61	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.472100 | c 15 >  11.964300 | c 34 >  68.035800 | c 16 >   2.000000 | c 13 >   2.546710 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   4.460350 | c 21 >  13.109900 | c 20 >   0.000000 | c 22 >  13.490700 | c 23 >   4.118320 | c 24 >   0.800152 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.011100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.975900 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
24.27/24.62	c choco : 1801.0
24.27/24.62	c mistral : 1800.07
24.27/24.62	c abscon : 77.7912
24.27/24.62	c
24.27/24.62	c
24.27/24.62	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-9.xml
24.27/24.62	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.854000 | c 15 >  12.322500 | c 34 >  68.271900 | c 16 >   2.000000 | c 13 >   2.596710 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.681000 | c 21 >  12.658900 | c 20 >   0.000000 | c 22 >  13.784000 | c 23 >   3.099670 | c 24 >   0.791706 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.646800 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.289900 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
24.27/24.63	c choco : 1801.0
24.27/24.63	c mistral : 1800.06
24.27/24.63	c abscon : 41.6947
24.27/24.63	c
24.27/24.63	c
24.27/24.63	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-7.xml
24.27/24.63	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.472100 | c 15 >  11.758600 | c 34 >  68.035800 | c 16 >   2.000000 | c 13 >   2.546710 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   4.460350 | c 21 >  13.109900 | c 20 >   0.000000 | c 22 >  13.490700 | c 23 >   4.118320 | c 24 >   0.800152 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.011100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.975900 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
24.27/24.64	c choco : 1801.0
24.27/24.64	c mistral : 1800.08
24.27/24.64	c abscon : 213.954
24.27/24.64	c
24.27/24.64	c
24.27/24.64	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-6.xml
24.27/24.64	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.472100 | c 15 >  11.756600 | c 34 >  68.035800 | c 16 >   2.000000 | c 13 >   2.546710 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   4.460350 | c 21 >  13.109900 | c 20 >   0.000000 | c 22 >  13.490700 | c 23 >   4.118320 | c 24 >   0.800152 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.011100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.975900 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
24.27/24.65	c choco : 1801.0
24.27/24.65	c mistral : 1800.03
24.27/24.65	c abscon : 378.267
24.27/24.65	c
24.27/24.65	c
24.27/24.65	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-8.xml
24.27/24.65	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.854000 | c 15 >  12.175200 | c 34 >  68.271900 | c 16 >   2.000000 | c 13 >   2.596710 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.681000 | c 21 >  12.658900 | c 20 >   0.000000 | c 22 >  13.784000 | c 23 >   3.099670 | c 24 >   0.791706 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.646800 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.289900 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
24.27/24.65	c choco : 1801.0
24.27/24.65	c mistral : 1800.08
24.27/24.65	c abscon : 49.3535
24.27/24.65	c
24.27/24.65	c
24.27/24.65	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-7.xml
24.27/24.65	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.854000 | c 15 >  12.045400 | c 34 >  68.271900 | c 16 >   2.000000 | c 13 >   2.596710 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.681000 | c 21 >  12.658900 | c 20 >   0.000000 | c 22 >  13.784000 | c 23 >   3.099670 | c 24 >   0.791706 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.646800 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.289900 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
24.27/24.66	c choco : 1801.0
24.27/24.66	c mistral : 1800.04
24.27/24.66	c abscon : 176.285
24.27/24.66	c
24.27/24.66	c
24.27/24.66	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-3.xml
24.27/24.66	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.472100 | c 15 >  11.602700 | c 34 >  68.035800 | c 16 >   2.000000 | c 13 >   2.546710 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   4.460350 | c 21 >  13.109900 | c 20 >   0.000000 | c 22 >  13.490700 | c 23 >   4.118320 | c 24 >   0.800152 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.011100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.975900 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
24.27/24.67	c choco : 1801.0
24.27/24.67	c mistral : 811.31
24.27/24.67	c abscon : 9.81851
24.27/24.67	c
24.27/24.67	c
24.27/24.67	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-2.xml
24.27/24.67	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.472100 | c 15 >  11.592900 | c 34 >  68.035800 | c 16 >   2.000000 | c 13 >   2.546710 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   4.460350 | c 21 >  13.109900 | c 20 >   0.000000 | c 22 >  13.490700 | c 23 >   4.118320 | c 24 >   0.800152 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.011100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.975900 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
24.44/24.88	c choco : 1801.0
24.44/24.88	c mistral : 310.611
24.44/24.88	c abscon : 9.8545
24.44/24.88	c
24.44/24.88	c
24.44/24.88	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-4.xml
24.44/24.88	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.472100 | c 15 >  11.513200 | c 34 >  68.035800 | c 16 >   2.000000 | c 13 >   2.546710 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   4.460350 | c 21 >  13.109900 | c 20 >   0.000000 | c 22 >  13.490700 | c 23 >   4.118320 | c 24 >   0.800152 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.011100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.975900 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
24.44/24.89	c choco : 1801.0
24.44/24.89	c mistral : 1078.26
24.44/24.89	c abscon : 12.6221
24.44/24.89	c
24.44/24.89	c
24.44/24.89	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-1.xml
24.44/24.89	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.472100 | c 15 >  11.491900 | c 34 >  68.035800 | c 16 >   2.000000 | c 13 >   2.546710 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   4.460350 | c 21 >  13.109900 | c 20 >   0.000000 | c 22 >  13.490700 | c 23 >   4.118320 | c 24 >   0.800152 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.011100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.975900 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
24.53/24.90	c choco : 1801.0
24.53/24.90	c mistral : 126.293
24.53/24.90	c abscon : 10.1565
24.53/24.90	c
24.53/24.90	c
24.53/24.90	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-2.xml
24.53/24.90	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.854000 | c 15 >  11.748600 | c 34 >  68.271900 | c 16 >   2.000000 | c 13 >   2.596710 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.681000 | c 21 >  12.658900 | c 20 >   0.000000 | c 22 >  13.784000 | c 23 >   3.099670 | c 24 >   0.791706 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.646800 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.289900 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
24.53/24.91	c choco : 1801.0
24.53/24.91	c mistral : 22.6026
24.53/24.91	c abscon : 8.82166
24.53/24.91	c
24.53/24.91	c
24.53/24.91	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-1.xml
24.53/24.91	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.854000 | c 15 >  11.706100 | c 34 >  68.271900 | c 16 >   2.000000 | c 13 >   2.596710 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.681000 | c 21 >  12.658900 | c 20 >   0.000000 | c 22 >  13.784000 | c 23 >   3.099670 | c 24 >   0.791706 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.646800 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.289900 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
24.53/24.92	c choco : 1801.0
24.53/24.92	c mistral : 22.5536
24.53/24.92	c abscon : 9.1856
24.53/24.92	c
24.53/24.92	c
24.53/24.92	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-0.xml
24.53/24.92	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.472100 | c 15 >  11.153600 | c 34 >  68.035800 | c 16 >   2.000000 | c 13 >   2.546710 | c 14 >  -1.000000 | c 11 >  11.550700 | c 12 >   4.460350 | c 21 >  13.109900 | c 20 >   0.000000 | c 22 >  13.490700 | c 23 >   4.118320 | c 24 >   0.800152 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.011100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.975900 | c 31 >  -1.000000 | c 4 >  11.550700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
24.53/24.92	c choco : 1801.0
24.53/24.92	c mistral : 44.86
24.53/24.92	c abscon : 9.39257
24.53/24.93	c
24.53/24.93	c
24.53/24.93	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-0.xml
24.53/24.93	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.854000 | c 15 >  11.346000 | c 34 >  68.271900 | c 16 >   2.000000 | c 13 >   2.596710 | c 14 >  -1.000000 | c 11 >  10.965800 | c 12 >   4.681000 | c 21 >  12.658900 | c 20 >   0.000000 | c 22 >  13.784000 | c 23 >   3.099670 | c 24 >   0.791706 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.646800 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.289900 | c 31 >  -1.000000 | c 4 >  10.965800 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
24.53/24.93	c choco : 1801.0
24.53/24.93	c mistral : 31.97
24.53/24.93	c abscon : 8.58269
24.53/24.93	c
24.53/24.93	c
24.53/24.93	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-10.xml
24.53/24.93	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.125800 | c 15 >  11.856000 | c 34 >  68.280300 | c 16 >   2.000000 | c 13 >   3.031350 | c 14 >  -1.000000 | c 11 >   9.228820 | c 12 >   4.906250 | c 21 >  13.519000 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   3.512160 | c 24 >   0.860617 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.135100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  16.742700 | c 31 >  -1.000000 | c 4 >   9.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
24.53/24.94	c choco : 1801.0
24.53/24.94	c mistral : 1800.03
24.53/24.94	c abscon : 25.9351
24.53/24.94	c
24.53/24.94	c
24.53/24.94	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-9.xml
24.53/24.94	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.125800 | c 15 >  11.668400 | c 34 >  68.280300 | c 16 >   2.000000 | c 13 >   3.031350 | c 14 >  -1.000000 | c 11 >   9.228820 | c 12 >   4.906250 | c 21 >  13.519000 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   3.512160 | c 24 >   0.860617 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.135100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  16.742700 | c 31 >  -1.000000 | c 4 >   9.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
24.53/24.94	c choco : 1801.0
24.53/24.94	c mistral : 1800.02
24.53/24.94	c abscon : 17.2824
24.53/24.94	c
24.53/24.94	c
24.53/24.94	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-10.xml
24.53/24.94	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.995800 | c 15 >  11.340400 | c 34 >  68.373000 | c 16 >   2.000000 | c 13 >   2.976840 | c 14 >  -1.000000 | c 11 >  10.287700 | c 12 >   4.876490 | c 21 >  14.266700 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   3.758320 | c 24 >   0.752014 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.164200 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.956900 | c 31 >  -1.000000 | c 4 >  10.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
24.53/24.95	c choco : 1801.0
24.53/24.96	c mistral : 81.4206
24.53/24.96	c abscon : 52.605
24.53/24.96	c
24.53/24.96	c
24.53/24.96	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-8.xml
24.53/24.96	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.125800 | c 15 >  11.516200 | c 34 >  68.280300 | c 16 >   2.000000 | c 13 >   3.031350 | c 14 >  -1.000000 | c 11 >   9.228820 | c 12 >   4.906250 | c 21 >  13.519000 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   3.512160 | c 24 >   0.860617 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.135100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  16.742700 | c 31 >  -1.000000 | c 4 >   9.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
24.53/24.96	c choco : 1801.0
24.53/24.96	c mistral : 6.79996
24.53/24.96	c abscon : 6.95294
24.53/24.96	c
24.53/24.96	c
24.53/24.96	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-7.xml
24.53/24.96	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.125800 | c 15 >  11.461000 | c 34 >  68.280300 | c 16 >   2.000000 | c 13 >   3.031350 | c 14 >  -1.000000 | c 11 >   9.228820 | c 12 >   4.906250 | c 21 >  13.519000 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   3.512160 | c 24 >   0.860617 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.135100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  16.742700 | c 31 >  -1.000000 | c 4 >   9.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
24.53/24.97	c choco : 1801.0
24.53/24.97	c mistral : 4.03939
24.53/24.97	c abscon : 7.04993
24.53/24.97	c
24.53/24.97	c
24.53/24.97	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-6.xml
24.53/24.97	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.125800 | c 15 >  11.341500 | c 34 >  68.280300 | c 16 >   2.000000 | c 13 >   3.031350 | c 14 >  -1.000000 | c 11 >   9.228820 | c 12 >   4.906250 | c 21 >  13.519000 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   3.512160 | c 24 >   0.860617 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.135100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  16.742700 | c 31 >  -1.000000 | c 4 >   9.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
24.53/24.97	c choco : 1801.0
24.53/24.97	c mistral : 3.81642
24.53/24.97	c abscon : 7.04593
24.53/24.97	c
24.53/24.97	c
24.53/24.97	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-5.xml
24.53/24.97	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.125800 | c 15 >  11.258600 | c 34 >  68.280300 | c 16 >   2.000000 | c 13 >   3.031350 | c 14 >  -1.000000 | c 11 >   9.228820 | c 12 >   4.906250 | c 21 >  13.519000 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   3.512160 | c 24 >   0.860617 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.135100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  16.742700 | c 31 >  -1.000000 | c 4 >   9.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
24.53/24.98	c choco : 1801.0
24.53/24.98	c mistral : 4.28235
24.53/24.98	c abscon : 6.70698
24.53/24.98	c
24.53/24.98	c
24.53/24.98	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-4.xml
24.53/24.98	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.125800 | c 15 >  11.174900 | c 34 >  68.280300 | c 16 >   2.000000 | c 13 >   3.031350 | c 14 >  -1.000000 | c 11 >   9.228820 | c 12 >   4.906250 | c 21 >  13.519000 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   3.512160 | c 24 >   0.860617 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.135100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  16.742700 | c 31 >  -1.000000 | c 4 >   9.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
24.53/24.99	c choco : 1801.0
24.53/24.99	c mistral : 2.73858
24.53/24.99	c abscon : 6.30204
24.53/24.99	c
24.53/24.99	c
24.53/24.99	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-3.xml
24.53/24.99	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.125800 | c 15 >  11.078800 | c 34 >  68.280300 | c 16 >   2.000000 | c 13 >   3.031350 | c 14 >  -1.000000 | c 11 >   9.228820 | c 12 >   4.906250 | c 21 >  13.519000 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   3.512160 | c 24 >   0.860617 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.135100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  16.742700 | c 31 >  -1.000000 | c 4 >   9.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
24.53/24.99	c choco : 1801.0
24.53/24.99	c mistral : 2.6216
24.53/24.99	c abscon : 6.46502
24.53/24.99	c
24.53/24.99	c
24.53/24.99	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-2.xml
24.53/24.99	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.125800 | c 15 >  11.057300 | c 34 >  68.280300 | c 16 >   2.000000 | c 13 >   3.031350 | c 14 >  -1.000000 | c 11 >   9.228820 | c 12 >   4.906250 | c 21 >  13.519000 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   3.512160 | c 24 >   0.860617 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.135100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  16.742700 | c 31 >  -1.000000 | c 4 >   9.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
24.59/25.00	c choco : 1801.0
24.59/25.00	c mistral : 2.35864
24.59/25.00	c abscon : 6.51701
24.59/25.00	c
24.59/25.00	c
24.59/25.00	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-9.xml
24.59/25.00	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.995800 | c 15 >  10.872700 | c 34 >  68.373000 | c 16 >   2.000000 | c 13 >   2.976840 | c 14 >  -1.000000 | c 11 >  10.287700 | c 12 >   4.876490 | c 21 >  14.266700 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   3.758320 | c 24 >   0.752014 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.164200 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.956900 | c 31 >  -1.000000 | c 4 >  10.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
24.59/25.01	c choco : 1801.0
24.59/25.01	c mistral : 866.057
24.59/25.01	c abscon : 36.8914
24.59/25.01	c
24.59/25.01	c
24.59/25.01	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-8.xml
24.59/25.01	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.995800 | c 15 >  10.871900 | c 34 >  68.373000 | c 16 >   2.000000 | c 13 >   2.976840 | c 14 >  -1.000000 | c 11 >  10.287700 | c 12 >   4.876490 | c 21 >  14.266700 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   3.758320 | c 24 >   0.752014 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.164200 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.956900 | c 31 >  -1.000000 | c 4 >  10.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
24.59/25.01	c choco : 1801.0
24.59/25.01	c mistral : 1800.02
24.59/25.01	c abscon : 55.4456
24.59/25.01	c
24.59/25.01	c
24.59/25.01	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-1.xml
24.59/25.01	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.125800 | c 15 >  10.991500 | c 34 >  68.280300 | c 16 >   2.000000 | c 13 >   3.031350 | c 14 >  -1.000000 | c 11 >   9.228820 | c 12 >   4.906250 | c 21 >  13.519000 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   3.512160 | c 24 >   0.860617 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.135100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  16.742700 | c 31 >  -1.000000 | c 4 >   9.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
24.59/25.02	c choco : 1801.0
24.59/25.02	c mistral : 2.40163
24.59/25.02	c abscon : 6.25705
24.59/25.02	c
24.59/25.02	c
24.59/25.02	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-10.xml
24.59/25.02	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.615000 | c 15 >  12.097700 | c 34 >  68.221700 | c 16 >   2.000000 | c 13 >   2.578290 | c 14 >  -1.000000 | c 11 >   9.643860 | c 12 >   4.487840 | c 21 >  12.340200 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   2.904140 | c 24 >   0.789325 | 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.131700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  16.894400 | c 31 >  -1.000000 | c 4 >   9.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
24.59/25.02	c choco : 1801.0
24.59/25.02	c mistral : 9.13061
24.59/25.02	c abscon : 16.3965
24.59/25.03	c
24.59/25.03	c
24.59/25.03	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-7.xml
24.59/25.03	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.995800 | c 15 >  10.760700 | c 34 >  68.373000 | c 16 >   2.000000 | c 13 >   2.976840 | c 14 >  -1.000000 | c 11 >  10.287700 | c 12 >   4.876490 | c 21 >  14.266700 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   3.758320 | c 24 >   0.752014 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.164200 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.956900 | c 31 >  -1.000000 | c 4 >  10.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
24.59/25.03	c choco : 1801.0
24.59/25.03	c mistral : 22.7995
24.59/25.03	c abscon : 8.06777
24.59/25.03	c
24.59/25.03	c
24.59/25.03	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-6.xml
24.59/25.03	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.995800 | c 15 >  10.687400 | c 34 >  68.373000 | c 16 >   2.000000 | c 13 >   2.976840 | c 14 >  -1.000000 | c 11 >  10.287700 | c 12 >   4.876490 | c 21 >  14.266700 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   3.758320 | c 24 >   0.752014 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.164200 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.956900 | c 31 >  -1.000000 | c 4 >  10.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
24.59/25.04	c choco : 1801.0
24.59/25.04	c mistral : 19.3181
24.59/25.04	c abscon : 8.28274
24.59/25.04	c
24.59/25.04	c
24.59/25.04	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-4.xml
24.59/25.04	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.995800 | c 15 >  10.582100 | c 34 >  68.373000 | c 16 >   2.000000 | c 13 >   2.976840 | c 14 >  -1.000000 | c 11 >  10.287700 | c 12 >   4.876490 | c 21 >  14.266700 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   3.758320 | c 24 >   0.752014 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.164200 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.956900 | c 31 >  -1.000000 | c 4 >  10.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
24.59/25.04	c choco : 1801.0
24.59/25.04	c mistral : 28.7696
24.59/25.04	c abscon : 7.97079
24.59/25.04	c
24.59/25.04	c
24.59/25.04	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-9.xml
24.59/25.04	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.615000 | c 15 >  11.772700 | c 34 >  68.221700 | c 16 >   2.000000 | c 13 >   2.578290 | c 14 >  -1.000000 | c 11 >   9.643860 | c 12 >   4.487840 | c 21 >  12.340200 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   2.904140 | c 24 >   0.789325 | 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.131700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  16.894400 | c 31 >  -1.000000 | c 4 >   9.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
24.59/25.05	c choco : 1801.0
24.59/25.05	c mistral : 10.4224
24.59/25.05	c abscon : 16.1016
24.59/25.05	c
24.59/25.05	c
24.59/25.05	c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-10.xml
24.59/25.05	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
24.59/25.05	c choco : 1801.0
24.59/25.05	c mistral : 1800.05
24.59/25.05	c abscon : 156.38
24.59/25.05	c
24.59/25.05	c
24.59/25.05	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-0.xml
24.59/25.05	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.125800 | c 15 >  10.634800 | c 34 >  68.280300 | c 16 >   2.000000 | c 13 >   3.031350 | c 14 >  -1.000000 | c 11 >   9.228820 | c 12 >   4.906250 | c 21 >  13.519000 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   3.512160 | c 24 >   0.860617 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.135100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  16.742700 | c 31 >  -1.000000 | c 4 >   9.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
24.59/25.06	c choco : 1801.0
24.59/25.06	c mistral : 9.48556
24.59/25.06	c abscon : 6.47801
24.59/25.06	c
24.59/25.06	c
24.59/25.06	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-3.xml
24.59/25.06	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.995800 | c 15 >  10.474700 | c 34 >  68.373000 | c 16 >   2.000000 | c 13 >   2.976840 | c 14 >  -1.000000 | c 11 >  10.287700 | c 12 >   4.876490 | c 21 >  14.266700 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   3.758320 | c 24 >   0.752014 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.164200 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.956900 | c 31 >  -1.000000 | c 4 >  10.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
24.59/25.07	c choco : 1801.0
24.59/25.07	c mistral : 48.0167
24.59/25.07	c abscon : 8.41372
24.59/25.07	c
24.59/25.07	c
24.59/25.07	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-5.xml
24.59/25.07	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.995800 | c 15 >  10.468600 | c 34 >  68.373000 | c 16 >   2.000000 | c 13 >   2.976840 | c 14 >  -1.000000 | c 11 >  10.287700 | c 12 >   4.876490 | c 21 >  14.266700 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   3.758320 | c 24 >   0.752014 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.164200 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.956900 | c 31 >  -1.000000 | c 4 >  10.287700 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
24.59/25.08	c choco : 1801.0
24.59/25.08	c mistral : 19.2201
24.59/25.08	c abscon : 8.30374
24.59/25.08	c
24.59/25.08	c
24.59/25.08	c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-8.xml
24.59/25.08	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.615000 | c 15 >  11.681200 | c 34 >  68.221700 | c 16 >   2.000000 | c 13 >   2.578290 | c 14 >  -1.000000 | c 11 >   9.643860 | c 12 >   4.487840 | c 21 >  12.340200 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   2.904140 | c 24 >   0.789325 | 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.131700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  16.894400 | c 31 >  -1.000000 | c 4 >   9.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
24.59/25.08	c choco : 1801.0
24.59/25.08	c mistral : 16.71
24.59/25.08	c abscon : 16.0216
24.59/25.08	c
24.59/25.08	c
24.59/25.09	c Length: 40
24.59/25.09	c 2.9863  3.1304999999999996  3.232183226538373  3.2493  3.3505086195853915  3.455  3.456999999999999  3.4784081646517566  3.5923446438107796  3.610899999999999  3.6206999999999994  3.7004  3.7217000000000002  3.8566402217365314  3.8948690671081625  4.059999999999999  4.222058568982198  6.865378626137455  6.959050866334073  7.0276041410671395  7.037805956420297  7.0669620545341125  7.1311362580044015  7.176487366408793  7.222952554892287  7.2771228490540825  7.289360439038875  7.2958176055562145  7.296293621664634  7.327078157780563  7.3615601168522025  7.363006188612368  7.40756560305368  7.472371375510188  7.504900222789708  7.508109933828153  7.538259438373358  7.539410781589236  7.543246431314837  7.547289864847447  
24.59/25.09	c 
24.59/25.09	c 1.0  0.9693529901785005  0.9488475726602792  0.9454808141458819  0.9260519914605366  0.906813339868975  0.9064528989975279  0.9026125830571848  0.8827093872132553  0.8795508290707494  0.8778917431601396  0.864627898614832  0.861150704769506  0.8397556016920471  0.8338862276810117  0.8094482525651714  0.7868186651381404  0.5403972574060484  0.5344654833702647  0.5302062289095788  0.5295781802975756  0.5277914347160901  0.5239008682789269  0.5211858638352262  0.5184331946265188  0.5152605474452185  0.5145491855848047  0.5141746264309154  0.5141470358706248  0.5123689870656657  0.5103919288502222  0.5103093501464364  0.5077777938009603  0.5041404875764  0.502334336773389  0.502156820137388  0.5004954722216494  0.5004322468866574  0.5002217296437086  0.5  
24.64/25.10	c
24.64/25.10	c solver 0
24.64/25.10	c	  before 0.0 seconds: {} 0
24.64/25.10	c	  before 18.0 seconds: {9, 10, 11, 12, 13, 14, 15, 16, 18, 20, 21, 22, 23, 24, 25, 26, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 15986
24.64/25.10	c	  before 36.0 seconds: {9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 16527
24.64/25.10	c	  before 54.0 seconds: {2, 4, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 20349
24.64/25.10	c	  before 72.0 seconds: {0, 2, 4, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 21863
24.64/25.10	c	  before 90.0 seconds: {0, 2, 3, 4, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 22808
24.64/25.10	c	  before 144.0 seconds: {0, 1, 2, 3, 4, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 23778
24.64/25.10	c	  before 162.0 seconds: {0, 1, 2, 3, 4, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24280
24.64/25.10	c	  before 180.0 seconds: {0, 1, 2, 3, 4, 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} 25162
24.64/25.10	c	  before 216.0 seconds: {0, 1, 2, 3, 4, 5, 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} 26069
24.64/25.10	c	  before 396.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} 26976
24.64/25.10	c
24.64/25.10	c solver 1
24.64/25.10	c	  before 0.0 seconds: {} 0
24.64/25.10	c	  before 18.0 seconds: {20, 21, 22, 23, 24, 25, 26, 29, 30, 34, 36, 39} 6176
24.64/25.10	c	  before 36.0 seconds: {13, 14, 16, 20, 21, 22, 23, 24, 25, 26, 29, 30, 31, 32, 33, 34, 36, 38, 39} 10659
24.64/25.10	c	  before 54.0 seconds: {13, 14, 15, 16, 20, 21, 22, 23, 24, 25, 26, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 11969
24.64/25.10	c	  before 90.0 seconds: {13, 14, 15, 16, 19, 20, 21, 22, 23, 24, 25, 26, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 12499
24.64/25.10	c	  before 144.0 seconds: {12, 13, 14, 15, 16, 19, 20, 21, 22, 23, 24, 25, 26, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 13360
24.64/25.10	c	  before 324.0 seconds: {10, 12, 13, 14, 15, 16, 19, 20, 21, 22, 23, 24, 25, 26, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 14238
24.64/25.10	c	  before 828.0 seconds: {9, 10, 12, 13, 14, 15, 16, 19, 20, 21, 22, 23, 24, 25, 26, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 15117
24.64/25.10	c	  before 882.0 seconds: {9, 10, 12, 13, 14, 15, 16, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 15632
24.64/25.10	c	  before 1080.0 seconds: {9, 10, 11, 12, 13, 14, 15, 16, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 16496
24.64/25.10	c
24.64/25.10	c solver 2
24.64/25.10	c	  before 0.0 seconds: {} 0
24.64/25.10	c
24.64/25.10	cTotal time: 82
24.64/25.10	c 1476.0 seconds unused
24.64/25.11	c 0 c 13 c 40 
24.64/25.11	c 0 c 0 c 27 
24.64/25.11	c 0 c 0 c 0 
24.64/25.11	c is solver0 dominated by:
24.64/25.11	c	solver 1 (0 solves instances that 1 can't: true) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false)
24.64/25.11	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)
24.64/25.11	c is dominated? false
24.64/25.11	c
24.64/25.11	c is solver1 dominated by:
24.64/25.11	c	solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true)
24.64/25.11	c is dominated? true
24.64/25.11	c
24.64/25.11	c is solver2 dominated by:
24.64/25.11	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)
24.64/25.11	c is dominated? true
24.64/25.11	c
24.64/25.11	c Number of non-dominated solvers: 1
24.64/25.11	c remove dominated solvers
24.64/25.11	c solver 0 is not dominated by another solver
24.64/25.11	c solver 2 is dominated by another solver
24.64/25.11	c solver 1 is dominated by another solver
24.64/25.11	c
24.64/25.11	c solver 0: 396.0
24.64/25.11	c
24.64/25.11	c+ 22/22 of 78
24.64/25.11	c
24.64/25.11	c solver 1: 0.0
24.64/25.11	c
24.64/25.11	c solver 2: 0.0
24.64/25.11	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} 26976
24.64/25.11	c	 do not run mistral
24.64/25.11	c	 do not run choco
24.64/25.11	c Starting solver: HOME/cpHydra_k_40/solver/abscon
24.64/25.11	c On Instance: HOME/instance-1085764-1215235414.xml
24.64/25.11	c Running for: 1800 seconds
93.54/95.52	s SAT
93.54/95.52	v  2588 2540 2516 2640 2512 -2552 -2360 -2568 -2300 2412 -2636 -2600 2280 -2632 -2280 -2468 -2444 2420 -2380 -2320 2600 2280 2332 2608 -2392 -2556 2612 2576 2460 2612 -2280 -2288 2448 -2368 -2376 -2376 2572 -2408 -2280 -2320 -2456 -2412 -2320 -2500 -2412 -2332 -2624 -2444 -2636 -2560 2320 -2320 -2328 -2300 2328 2280 -2368 -2328 2608 -2360 -2288 2496 -2476 -2536 -2572 2636 2304 -2640 -2600 -2628 -2460 -2520 -2284 2332 -2528 -2600 2300 -2304 2612 2288 2552 -2344 2424 -2320 2472 -2600 2516 2640 2344 -2320 2404 -2600 -2500 -2380 -2352 -2600 2404 -2420 2532 2400 -2312 -2312 2344 -2640 -2292 2352 -2280 2604 -2280 2496 -2560 2596 2404 -2288 -2400 2468 -2280 -2320 -2596 -2320 2488 -2640 -2560 2320 -2396 -2304 -2528 -2340 -2300 -2288 2424 -2588 -2356 2632 -2548 2512 -2636 -2628 -2404 2348 -2548 2360 -2536 -2376 -2620 -2376 -2328 -2408 2516 -2320 2340 -2364 -2292 2640 -2460 -2600 2492 2280 -2600 2376 2288 2556 -2328 -2588 -2288 2504 -2640 -2400 -2640 2428 -2592 -2296 2452 2388 2336 -2640 -2412 2516 -2580 -2612 2412 -2636 2408 2588 -2356 -2320 -2516 -2280 -2280 2368 2568 2616 2548 2372 -2280 -2448 2552 2436 -2380 -2512 2492 -2320 -2428 -2544 -2620 -2552 2620 -2352 2408 -2388 2484 -2416 2336 -2388 -2288 2320 2340 2556 2348 2576 2596 -2512 -2480 -2280 2448 -2400 2480 -2600 2600 2280 -2296 -2368 -2356 -2640 -2320 -2640 2504 2548 2352 2616 -2340 -2636 -2520 -2320 2436 2320 2600 2484 -2324 -2636 -2600 -2384 -2464 -2336 -2320 -2616 -2560 2364 -2356 2588 2396 2376 2580 2568 -2320 2280 2528 -2576 -2392 2280 2452 -2400 -2572 -2468 -2328 -2588 -2284 2320 2492 -2504 2640 2280 -2604 -2596 2448 -2448 -2324 -2396 -2320 -2324 2528 2548 2364 -2436 2284 -2376 2580 2600 2280 2616 -2456 -2436 2600 -2592 2640 -2312 2520 -2280 -2524 2600 -2372 -2640 2532 2416 -2280 2344 2528 2420 2312 -2436 2320 -2636 -2592 -2420 -2332 -2476 2616 -2508 2440 2600 2416 2556 2584 -2280 2380 2600 2280 2316 2580 2288 -2616 -2540 -2640 -2300 -2452 -2444 -2496 -2420 -2356 2492 -2320 -2636 2448 2380 -2328 2628 2596 -2588 -2560 2588 -2524 -2320 -2352 2380 2324 2296 -2460 -2600 -2396 -2616 2540 -2408 -2548 2280 -2588 2336 -2588 -2284 -2348 -2640 -2640 2568 -2332 -2580 2400 -2312 2400 -2520 2468 -2600 2572 -2464 2640 -2536 2556 2572 -2512 2600 -2480 -2340 -2556 -2616 2548 -2320 -2428 2280 -2316 -2640 2456 2388 -2632 2320 -2356 -2600 2396 -2368 2468 -2584 -2504 2528 2480 -2436 2300 2588 -2576 -2640 -2628 2632 -2404 -2488 2600 -2420 -2312 -2392 -2324 -2512 -2320 -2640 -2360 2508 2328 -2292 -2636 -2600 -2320 2520 2556 2452 2404 -2640 -2288 2300 2484 -2600 -2320 -2576 2412 -2512 2300 2308 2352 -2600 -2280 2324 2296 -2320 -2596 2404 2628 -2624 2280 -2552 -2404 -2448 -2376 -2448 2600 2312 -2596 -2280 2600 -2528 2380 -2280 2372 -2640 -2428 -2512 -2624 -2332 2568 -2316 -2324 -2460 -2608 -2640 -2640 -2492 2296 2600 2512 2432 2288 2280 -2280 -2324 2612 -2592 -2292 2600 2444 2344 2436 2304 -2320 -2468 -2528 -2600 -2628 -2288 2444 2424 -2640 -2300 -2356 -2324 2320 2564 2588 -2412 -2524 -2640 2628 -2600 -2420 -2340 2400 2608 -2292 -2440 2424 -2536 -2600 -2432 2440 2496 2640 2432 -2440 -2640 -2320 2344 2364 2320 -2528 -2340 2612 -2464 2436 2308 -2336 -2304 -2328 2596 -2396 2284 2512 2404 -2520 2536 2600 2576 -2600 2460 -2460 2488 -2576 -2472 2284 2576 2484 -2284 -2288 -2320 2304 -2488 2320 -2468 2608 -2640 2436 2484 -2300 2332 -2640 2636 -2592 -2500 -2544 2584 -2384 -2392 2584 -2584 2544 2532 2332 2600 2528 -2356 2388 -2616 -2640 -2332 2372 -2620 -2376 2600 -2600 2320 -2448 -2564 -2524 2452 2416 -2636 -2320 -2348 2600 2560 2456 2280 -2348 -2496 -2548 -2336 2280 -2352 -2348 2448 -2624 -2408 2364 -2592 2280 -2320 -2320 2280 -2576 -2328 -2440 -2324 -2288 2320 -2448 -2580 -2552 -2508 2372 2604 -2280 -2320 2464 2384 -2476 2280 2544 2584 -2396 -2388 2600 -2524 -2372 -2612 -2340 2532 2576 2320 -2396 -2612 -2420 2352 2548 -2328 2508 -2300 2432 2440 -2548 -2580 -2320 -2384 -2612 2444 2364 2360 2324 -2296 2280 2320 -2280 2280 -2288 -2628 -2600 2536 -2500 2580 -2412 2280 2288 -2292 -2588 2468 2596 2288 -2600 2636 2372 -2408 -2512 -2280 2604 2520 -2576 -2304 -2280 2344 2460 -2544 -2580 -2464 2320 -2480 -2552 2492 -2600 2352 2312 2416 2640 2440 -2396 -2284 2524 2588 -2496 2640 -2380 -2540 2372 -2392 -2504 -2580 -2568 -2588 -2492 -2424 -2600 2332 -2308 2532 2600 -2576 2428 2600 -2368 -2376 2636 -2300 -2640 -2596 -2640 2460 -2556 -2384 -2600 -2344 -2476 -2368 2340 -2336 -2432 -2460 2320 -2368 2280 2532 -2324 -2332 -2640 2372 2340 2596 -2436 -2364 -2496 -2424 -2340 2380 2388 -2512 -2632 -2640 -2284 -2388 2632 -2620 -2348 2412 -2468 -2640 -2300 -2308 -2600 2524 2532 2620 -2400 -2624 -2584 2600 2616 -2340 2340 2592 2452 2584 -2588 -2280 2564 -2424 -2384 -2336 -2640 2520 2464 2484 2292 2496 2384 2508 2408 2380 -2536 -2456 -2640 -2320 -2300 2488 -2548 -2464 -2600 -2420 -2280 -2280 -2528 2464 -2336 -2320 -2508 -2340 2356 2320 -2304 -2640 -2420 -2284 -2336 -2540 -2504 -2604 2332 -2380 -2488 -2532 2284 -2376 -2392 -2280 2640 2280 -2328 -2348 2424 2456 2512 -2512 -2552 -2640 2516 -2628 -2288 -2400 2396 -2460 2524 -2580 2464 -2600 2280 2600 2348 2600 2532 2636 -2504 2320 -2544 -2360 2296 2492 -2360 -2424 2544 2536 2332 2560 2580 2352 -2596 -2280 2320 2508 -2280 2312 -2412 2340 -2600 -2496 2452 -2380 2500 2640 -2488 -2604 -2580 2348 2304 -2588 -2400 -2320 -2456 -2548 2616 -2548 2472 2284 -2600 -2324 -2500 2496 2640 2328 2320 -2640 -2344 -2412 2328 2640 -2384 -2568 -2292 -2600 -2456 2640 -2340 -2468 2344 2528 2312 -2500 2356 -2408 -2640 2592 -2636 2308 -2456 -2504 2280 -2588 -2432 -2344 2464 -2628 2280 2512 2396 -2296 -2332 -2332 -2456 -2376 -2540 2516 -2424 2428 2476 -2364 2376 2600 2324 -2516 -2320 2588 -2628 2404 -2612 -2516 -2320 -2636 -2480 2596 -2308 2416 2580 -2348 2320 -2576 2572 -2320 -2320 -2392 -2504 2308 -2348 -2320 -2436 -2476 -2352 2516 -2288 -2616 -2472 -2424 -2372 2552 -2516 2324 -2608 -2408 -2300 2400 2460 -2404 -2640 2464 -2428 -2456 2580 -2608 2344 2332 -2588 2448 -2300 -2420 -2640 -2332 -2552 -2340 -2356 2492 -2324 2368 2400 2488 -2392 -2576 -2324 2616 2388 2464 -2616 -2364 2596 2352 2320 2320 -2280 2396 2584 -2612 2328 -2320 2424 -2636 2600 2432 2560 2432 -2432 -2472 -2340 -2320 -2564 -2404 -2640 -2588 2612 2492 -2600 -2352 -2544 -2524 -2492 -2436 2524 2500 -2600 -2640 -2596 -2412 2548 -2348 2380 2388 -2288 2340 -2424 -2448 2324 2564 2412 -2432 -2448 2548 -2588 -2440 2468 -2360 2524 -2516 -2424 2384 2576 2516 -2516 -2320 2568 -2600 2420 -2500 2632 2316 -2384 -2624 -2456 -2640 -2456 -2600 2500 -2628 -2500 2412 -2320 -2640 -2380 -2320 2620 2640 2296 -2508 -2540 -2600 -2476 -2600 -2620 -2640 -2448 -2280 -2640 -2480 2280 -2280 -2344 2484 2300 -2580 -2572 -2600 -2632 -2420 -2476 2320 -2476 -2564 -2444 2312 -2432 2392 2432 2412 2584 2324 2600 -2348 2568 -2364 -2372 -2328 2388 -2640 -2328 -2572 2376 2544 -2432 -2484 2348 -2416 2596 -2508 2504 2452 2304 2308 -2584 -2372 -2600 -2464 -2384 -2536 2444 -2560 -2640 2640 2508 -2340 -2612 -2328 2440 -2328 -2452 -2640 -2588 -2288 -2380 -2600 -2528 2388 2484 -2552 -2348 2516 -2320 2556 -2412 -2380 2576 2328 -2380 -2320 2640 -2344 2468 -2484 2508 -2640 -2420 -2568 -2572 2320 2636 2408 -2312 2596 2592 -2588 -2500 -2512 2560 2404 2628 2348 -2600 2280 2332 2588 2280 -2420 2460 -2320 -2348 -2292 -2352 2320 -2500 2332 -2368 2428 2600 2348 2624 -2548 -2456 -2372 2368 2320 2284 2460 2580 -2640 2340 -2372 2344 2600 2600 2640 -2600 -2336 -2404 2444 2552 -2324 2600 -2640 -2284 -2556 -2360 -2292 -2280 -2320 -2336 2324 -2504 -2608 2596 2632 -2336 2516 2600 -2640 -2568 -2628 -2344 2540 -2280 2516 -2592 -2408 -2624 -2636 2356 2588 -2412 -2516 2556 -2572 2320 -2368 -2368 2636 -2424 2632 2348 -2352 -2340 -2448 2616 2532 -2408 -2360 2496 -2428 2360 -2280 2568 -2320 2508 -2340 -2640 -2600 -2580 2428 -2640 -2476 -2596 2312 2584 2296 -2320 -2320 -2388 -2436 2524 -2436 2480 -2600 -2520 2308 -2444 2360 -2284 2340 -2280 -2280 2304 -2640 -2440 -2328 2404 2508 2356 -2640 2372 -2508 2572 -2432 -2336 2400 -2556 2336 2600 -2624 2612 -2284 -2612 -2600 -2376 2416 -2416 -2416 -2420 2564 -2640 -2424 -2640 -2612 -2320 -2468 2280 -2500 2532 -2424 2640 -2640 -2348 -2556 -2340 -2352 2516 2600 2636 2576 -2548 2280 2396 2484 -2472 2612 2404 -2640 -2280 2280 -2320 -2364 -2480 -2388 -2600 -2280 2428 2596 -2572 -2372 2424 2544 2420 -2356 -2520 -2636 -2480 2600 -2332 2572 -2528 2572 2400 2564 2508 -2640 -2380 2564 2336 2556 2444 -2280 2380 2392 2628 2340 2544 -2312 2280 2280 2408 2444 2556 -2508 -2640 2540 -2488 -2588 -2320 2280 -2288 -2416 -2324 2556 2460 -2364 -2508 -2364 2424 -2600 -2296 2608 -2532 2516 2600 2348 2460 2340 2344 2588 -2564 -2384 2476 -2604 -2616 -2380 -2600 2536 2600 2372 -2400 2524 -2448 -2356 2320 2392 2608 -2416 -2280 2384 -2448 2532 -2484 -2616 -2576 -2320 2484 -2392 -2448 -2364 2548 -2448 2620 -2372 -2640 2308 -2372 -2320 2576 -2480 2344 2448 -2356 2364 2280 2464 2592 -2352 -2412 -2340 -2564 -2388 2508 -2380 2320 -2468 -2428 -2536 2520 -2340 2280 2432 -2480 2324 -2488 2320 2540 2628 -2392 2548 -2320 2508 -2564 2584 -2312 -2600 2496 -2632 2400 -2640 -2320 2596 2300 -2600 2408 2472 -2324 -2320 2520 2320 2328 2304 -2300 -2336 2468 -2628 -2292 -2564 2516 2624 -2572 2320 -2472 -2452 -2320 2532 2296 2588 2568 2456 2504 2600 2280 2420 2312 2324 -2320 2464 2588 2588 2624 -2480 -2456 2568 -2640 2412 -2396 -2572 -2316 -2392 -2484 -2612 2612 -2324 -2444 2320 -2508 2520 -2636 -2280 -2448 -2368 2384 -2384 2324 -2316 2528 -2280 2340 -2356 2600 -2388 -2444 2544 -2392 -2388 -2640 -2516 -2492 -2488 -2548 2456 -2600 -2288 2320 2296 2628 2512 -2440 -2600 2424 2440 2452 2488 -2340 -2604 -2440 -2600 -2348 -2360 2280 2580 2316 -2368 2432 -2476 -2388 2604 -2400 2476 -2304 2408 -2412 2528 -2596 2372 -2596 2572 -2552 -2520 -2328 -2384 -2360 -2320 -2280 2452 2600 2452 2352 2280 -2640 2444 2280 -2600 2384 2284 2340 2572 -2496 2484 -2280 -2536 -2496 -2528 2412 2536 2472 -2572 2344 2448 -2640 2600 -2628 -2528 2444 -2300 -2436 -2436 2344 2464 -2540 -2312 -2444 -2640 -2384 2280 -2356 -2316 -2296 -2640 -2604 -2428 -2420 -2292 -2392 2488 -2288 2364 2444 -2332 -2536 2476 -2328 -2488 2476 -2320 2376 -2596 -2320 2336 2280 -2584 -2292 2596 2588 2280 2408 2280 -2524 -2332 2424 2336 2308 2380 -2296 -2300 -2316 2640 -2280 2468 -2592 -2288 2328 -2628 -2352 -2280 -2356 -2348 -2288 2340 -2384 -2384 2624 2364 -2344 2564 -2612 -2512 -2600 -2600 2472 2592 -2408 -2388 -2308 2572 -2312 -2280 2640 2312 -2624 -2640 -2640 2560 2280 -2352 2600 -2280 2640 -2284 -2600 -2280 -2280 2340 -2560 -2500 -2612 -2392 2600 2600 2288 2516 2280 -2588 2372 -2368 -2332 -2532 -2576 -2420 -2288 -2640 -2484 -2472 2476 -2596 -2332 2300 -2500 2568 -2600 2572 2508 2568 -2372 -2472 -2300 2320 -2380 -2596 2372 -2392 2384 -2372 2516 -2572 -2640 -2292 -2280 -2400 -2392 -2424 -2600 2640 2356 -2304 -2328 2408 -2508 -2388 -2412 -2320 2544 -2600 -2336 2300 2344 2628 2344 -2416 -2320 -2468 2280 -2640 2548 2428 -2604 2316 2600 -2296 -2388 -2600 2548 -2584 2432 2320 -2640 -2640 2320 -2300 -2640 -2640 -2600 -2540 2364 -2508 2576 2408 -2336 2636 -2352 2512 -2428 -2476 -2328 2408 -2324 2532 2580 -2588 -2452 2496 2464 2444 2336 -2344 -2320 -2544 2280 -2384 2568 -2640 -2280 -2568 -2640 -2324 -2628 -2576 -2412 -2480 -2512 -2600 -2424 2516 2600 2380 -2568 -2548 -2320 -2284 2296 2332 2336 -2632 2352 2360 2584 2548 -2572 -2520 2600 2600 2588 -2476 -2348 2404 2316 2484 -2640 2548 -2524 -2516 -2592 2480 2640 -2380 2472 2640 2356 -2608 -2556 2344 2320 2552 -2344 -2320 2624 -2324 2392 -2604 -2364 2608 2600 2640 2348 2320 -2368 2568 -2512 -2400 2572 -2584 -2484 2640 -2396 -2608 2280 -2420 -2308 -2512 2408 -2376 2588 -2320 2564 -2280 -2464 2640 2452 2484 -2584 -2420 -2468 -2588 -2448 -2548 -2600 -2416 -2504 -2516 -2640 -2320 2368 -2308 -2640 -2288 -2452 2408 2424 -2488 2536 2468 2280 2480 2280 2320 -2640 2584 -2484 -2640 -2516 2328 -2500 2572 2572 2520 -2460 -2448 2280 -2600 -2640 2280 -2552 2320 -2320 2460 2384 -2528 -2600 2496 2472 2320 -2592 -2320 2280 -2544 -2548 2340 -2596 2640 -2404 -2428 2336 -2528 -2568 -2596 -2340 -2560 -2568 -2504 -2572 -2304 -2344 -2376 -2296 2600 -2640 -2372 -2416 2320 2556 -2440 -2280 -2292 -2340 2280 -2564 -2600 -2472 -2612 2640 2360 -2600 -2332 -2464 -2412 -2320 -2528 -2328 -2320 -2540 2280 -2640 2484 2280 2360 -2588 -2320 -2280 -2368 2280 -2568 2280 -2600 2340 -2280 2488 -2300 2464 -2320 2340 2588 2460 -2600 2420 2464 2320 2600 2284 -2476 2572 2388 -2320 -2412 2640 -2488 -2448 -2404 -2468 2596 -2600 2512 2560 -2344 2564 2416 2396 -2344 -2552 -2640 -2320 -2600 2484 2360 -2320 2576 2456 -2536 -2404 -2416 2636 -2332 2332 -2384 -2368 2416 -2416 2284 -2320 -2640 -2324 2624 2304 -2376 -2540 -2460 -2384 -2400 -2444 -2556 2536 -2340 -2524 -2540 -2488 -2320 -2472 -2320 -2532 -2640 -2428 -2424 -2312 -2600 -2600 2444 2320 2600 2360 2320 -2396 -2376 2280 2596 -2340 -2532 2280 -2492 -2568 -2372 2488 -2528 -2588 2360 -2600 2572 -2532 2464 2532 -2412 2380 -2476 -2312 -2440 -2320 2324 -2528 -2572 2388 -2396 2576 -2432 -2352 2404 -2424 -2496 -2292 -2596 -2360 -2608 -2484 2536 -2296 -2320 2412 2560 -2596 -2536 2364 -2432 -2592 -2280 -2448 2300 2380 -2636 2528 2604 2448 -2352 2280 -2604 2300 -2428 2364 2452 -2360 2280 -2604 -2320 2468 -2472 -2624 -2508 2436 -2428 2448 -2300 -2352 2364 -2504 -2584 2640 -2596 -2640 -2352 2408 -2420 2436 -2292 -2464 -2288 -2456 -2620 -2640 2424 -2320 2376 -2600 -2628 2368 2388 -2280 2512 -2364 2568 -2408 -2336 -2600 2556 -2432 2356 2632 2380 2568 2408 -2464 -2424 2500 -2640 -2524 -2460 -2280 -2376 2536 2548 2536 -2640 -2292 -2604 -2280 -2436 -2344 2560 2628 -2600 2320 -2600 2592 -2280 -2404 2576 -2600 2584 -2320 2520 2480 -2340 -2360 2468 -2592 2616 2384 2484 2584 2468 -2628 2280 2344 -2296 -2352 2628 -2320 -2508 -2492 2584 -2596 2640 -2332 -2336 2324 2452 -2280 2640 -2320 -2308 -2348 -2480 2340 -2600 2388 2400 -2516 2488 -2420 2328 -2564 -2384 -2392 -2376 2328 2280 -2428 -2624 2284 -2316 -2372 -2396 -2624 2548 -2408 2572 -2360 -2504 -2392 2372 2388 2316 -2500 -2320 2324 -2320 -2320 -2424 -2496 -2408 -2476 -2596 2636 2532 2576 2600 -2320 -2640 -2280 -2292 -2396 -2412 -2348 2280 -2280 -2584 2328 2320 2628 2372 2284 2320 2600 -2396 -2616 -2528 -2344 -2540 -2380 2472 2320 2348 2340 -2596 2600 -2336 2364 -2548 2328 -2508 -2600 2380 2280 2588 2492 -2372 -2304 2344 -2608 -2540 -2608 -2420 -2640 -2488 2640 -2428 2312 -2424 -2640 -2324 -2396 2280 -2340 -2572 -2320 -2436 2380 -2288 2488 -2416 -2320 2536 2564 2572 -2468 -2280 2472 2296 2280 -2448 2284 2584 -2280 2444 2400 2292 2516 -2320 2588 2640 2600 2320 -2464 -2300 2620 -2320 -2336 2352 2360 2472 2404 -2304 -2624 2508 2452 -2560 -2572 2580 -2344 2600 -2476 -2600 -2520 -2344 -2372 -2588 -2468 -2280 -2396 2576 -2448 -2424 2636 2572 -2448 -2436 2600 -2528 -2512 -2320 -2592 2356 2596 -2400 -2320 -2328 2384 2328 -2320 2280 -2468 -2384 2476 2516 -2588 2280 -2320 2328 2280 -2564 2332 2280 -2320 -2568 -2320 2412 2368 -2500 -2600 2508 -2328 -2540 -2348 -2500 -2548 -2308 -2288 2612 -2352 -2384 -2376 2484 -2520 -2584 2444 -2600 -2428 2448 2560 2336 -2280 -2320 -2356 2548 -2564 2480 2344 -2352 -2464 2540 2640 -2600 2388 -2640 -2600 2384 2584 2360 2552 2520 -2436 -2468 -2280 -2360 -2524 -2564 2328 -2528 -2600 -2584 -2556 -2280 2540 2280 -2320 2428 2496 -2328 2280 -2284 2444 2584 2332 -2480 -2600 -2356 2364 -2340 -2576 -2372 -2320 2376 2568 -2552 2328 -2516 -2640 -2512 -2520 -2640 2572 -2580 -2280 -2640 2508 -2508 2332 -2320 2580 -2320 -2564 -2328 -2384 -2332 -2640 -2300 -2572 -2304 2452 -2412 -2332 2484 -2512 2472 2332 2292 -2588 -2580 2320 -2600 -2496 -2320 -2392 -2360 2296 2600 -2384 -2344 -2472 2636 2520 2352 -2568 2384 2576 -2280 2600 2576 -2396 -2468 2532 -2548 -2320 -2640 2568 -2600 2488 -2452 -2300 -2640 2336 2352 -2488 -2316 2292 -2428 2324 2384 -2588 -2408 -2280 2548 -2600 2392 2432 2600 2392 -2640 -2536 2468 -2568 -2580 2420 -2280 2344 -2640 2504 -2312 2496 -2428 2408 2328 2436 -2388 2300 -2492 2492 2640 -2432 -2640 -2572 -2512 -2548 -2516 -2560 -2492 -2620 2624 2456 -2600 -2336 -2336 -2352 -2620 -2380 2508 -2640 2604 -2600 -2548 -2288 -2448 -2320 2576 -2404 2632 2460 -2600 -2576 -2532 -2384 -2620 -2508 2500 2576 2404 -2280 2340 -2600 2596 -2428 -2352 2320 -2336 -2336 -2328 2564 2344 -2636 -2476 -2284 2304 -2616 -2624 -2628 -2600 -2640 2356 -2600 2376 2508 -2528 2312 -2640 2596 -2280 2468 -2576 -2576 -2444 2588 -2472 -2408 -2280 -2588 -2488 -2412 -2640 2296 -2604 2600 -2320 2532 2488 -2428 -2556 -2316 -2600 2280 -2320 2584 2460 -2440 -2540 -2340 -2332 -2636 -2392 -2424 2476 2640 -2556 -2516 -2328 -2360 -2336 -2340 2408 2480 -2504 2280 2496 2516 2400 -2336 -2636 -2424 -2556 2424 -2640 -2348 -2556 2600 2348 -2352 -2572 -2392 2532 -2432 -2416 2332 2328 -2412 -2372 -2640 -2320 -2284 2320 -2316 -2640 -2496 -2280 -2324 -2580 -2384 -2280 -2384 2540 -2616 2468 2624 2280 -2320 -2568 -2608 -2324 -2368 -2600 2280 -2524 -2320 2596 -2532 -2564 2284 -2588 -2600 -2324 -2432 -2536 -2600 -2628 -2396 -2292 -2468 -2636 -2536 -2640 
93.54/95.52	d ASSIGNMENTS 3497
93.54/95.52	d CHECKS 88237242

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

[startup+0 s]
/proc/loadavg: 2.11 2.11 2.04 3/81 30689
/proc/meminfo: memFree=1852904/2055920 swapFree=4180424/4192956
[pid=30689] ppid=30687 vsize=18572 CPUtime=0
/proc/30689/stat : 30689 (runsolver) R 30687 29276 29276 0 -1 4194368 10 0 0 0 0 0 0 0 20 0 1 0 2002513794 19017728 290 996147200 4194304 4296836 548682068480 18446744073709551615 273651103392 0 0 4096 24578 0 0 0 17 1 0 0
/proc/30689/statm: 4643 290 255 25 0 2626 0
Current StackSize limit: 10240 KiB


[startup+0.0482969 s]
/proc/loadavg: 2.11 2.11 2.04 3/81 30689
/proc/meminfo: memFree=1852904/2055920 swapFree=4180424/4192956
[pid=30689] ppid=30687 vsize=5360 CPUtime=0
/proc/30689/stat : 30689 (hydra) S 30687 30689 29276 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002513794 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30689/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.101297 s]
/proc/loadavg: 2.11 2.11 2.04 3/81 30689
/proc/meminfo: memFree=1852904/2055920 swapFree=4180424/4192956
[pid=30689] ppid=30687 vsize=5360 CPUtime=0
/proc/30689/stat : 30689 (hydra) S 30687 30689 29276 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002513794 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30689/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.301328 s]
/proc/loadavg: 2.11 2.11 2.04 3/81 30689
/proc/meminfo: memFree=1852904/2055920 swapFree=4180424/4192956
[pid=30689] ppid=30687 vsize=5360 CPUtime=0
/proc/30689/stat : 30689 (hydra) S 30687 30689 29276 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002513794 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30689/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.701389 s]
/proc/loadavg: 2.11 2.11 2.04 3/81 30689
/proc/meminfo: memFree=1852904/2055920 swapFree=4180424/4192956
[pid=30689] ppid=30687 vsize=5360 CPUtime=0
/proc/30689/stat : 30689 (hydra) S 30687 30689 29276 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002513794 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30689/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+1.5015 s]
/proc/loadavg: 2.11 2.11 2.04 3/83 30693
/proc/meminfo: memFree=1837656/2055920 swapFree=4180424/4192956
[pid=30689] ppid=30687 vsize=5360 CPUtime=0
/proc/30689/stat : 30689 (hydra) S 30687 30689 29276 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002513794 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30689/statm: 1340 236 195 169 0 51 0
[pid=30693] ppid=30689 vsize=25560 CPUtime=1.44
/proc/30693/stat : 30693 (xsolve) R 30689 30689 29276 0 -1 4194304 5833 0 0 0 141 3 0 0 25 0 1 0 2002513795 26173440 5596 996147200 134512640 135239763 4294956176 18446744073709551615 134683179 0 0 4096 0 0 0 0 17 1 0 0
/proc/30693/statm: 6390 5596 379 177 0 5293 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 30920

[startup+3.10174 s]
/proc/loadavg: 2.11 2.11 2.04 3/83 30693
/proc/meminfo: memFree=1791000/2055920 swapFree=4180424/4192956
[pid=30689] ppid=30687 vsize=5360 CPUtime=0
/proc/30689/stat : 30689 (hydra) S 30687 30689 29276 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002513794 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30689/statm: 1340 236 195 169 0 51 0
[pid=30693] ppid=30689 vsize=105652 CPUtime=3.02
/proc/30693/stat : 30693 (xsolve) R 30689 30689 29276 0 -1 4194304 15801 0 0 0 295 7 0 0 25 0 1 0 2002513795 108187648 15498 996147200 134512640 135239763 4294956176 18446744073709551615 134543076 0 0 4096 0 0 0 0 17 1 0 0
/proc/30693/statm: 26413 15498 417 177 0 25316 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 111012

[startup+6.30121 s]
/proc/loadavg: 2.10 2.11 2.04 3/83 30693
/proc/meminfo: memFree=1791192/2055920 swapFree=4180424/4192956
[pid=30689] ppid=30687 vsize=5360 CPUtime=0
/proc/30689/stat : 30689 (hydra) S 30687 30689 29276 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002513794 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30689/statm: 1340 236 195 169 0 51 0
[pid=30693] ppid=30689 vsize=105652 CPUtime=6.19
/proc/30693/stat : 30693 (xsolve) R 30689 30689 29276 0 -1 4194304 15801 0 0 0 612 7 0 0 25 0 1 0 2002513795 108187648 15498 996147200 134512640 135239763 4294956176 18446744073709551615 134541297 0 0 4096 0 0 0 0 17 1 0 0
/proc/30693/statm: 26413 15498 417 177 0 25316 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 111012

[startup+12.7012 s]
/proc/loadavg: 2.09 2.11 2.04 3/83 30693
/proc/meminfo: memFree=1790040/2055920 swapFree=4180424/4192956
[pid=30689] ppid=30687 vsize=5360 CPUtime=0
/proc/30689/stat : 30689 (hydra) S 30687 30689 29276 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2002513794 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30689/statm: 1340 236 195 169 0 51 0
[pid=30693] ppid=30689 vsize=105652 CPUtime=12.53
/proc/30693/stat : 30693 (xsolve) R 30689 30689 29276 0 -1 4194304 15801 0 0 0 1246 7 0 0 25 0 1 0 2002513795 108187648 15498 996147200 134512640 135239763 4294956176 18446744073709551615 134541297 0 0 4096 0 0 0 0 17 1 0 0
/proc/30693/statm: 26413 15498 417 177 0 25316 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 111012

[startup+25.5031 s]
/proc/loadavg: 2.07 2.10 2.04 4/103 30717
/proc/meminfo: memFree=1814328/2055920 swapFree=4180424/4192956
[pid=30689] ppid=30687 vsize=5360 CPUtime=18.35
/proc/30689/stat : 30689 (hydra) S 30687 30689 29276 0 -1 4194304 375 16410 0 1 0 0 1826 9 18 0 1 0 2002513794 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30689/statm: 1340 238 196 169 0 51 0
[pid=30697] ppid=30689 vsize=197440 CPUtime=6.31
/proc/30697/stat : 30697 (java) S 30689 30689 29276 0 -1 0 13913 0 1 0 610 21 0 0 18 0 10 0 2002515651 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30697/statm: 49360 9484 2544 9 0 43942 0
[pid=30707] ppid=30697 vsize=5356 CPUtime=0
/proc/30707/stat : 30707 (abscon) S 30697 30689 29276 0 -1 4194304 301 0 0 0 0 0 0 0 25 0 1 0 2002516306 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 273653752644 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/30707/statm: 1339 235 194 169 0 50 0
[pid=30708] ppid=30707 vsize=654712 CPUtime=0.35
/proc/30708/stat : 30708 (java) S 30707 30689 29276 0 -1 0 5942 0 1 0 31 4 0 0 18 0 9 0 2002516306 670425088 5464 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30708/statm: 163678 5464 1966 9 0 158206 0
[pid=30708/tid=30710] ppid=30707 vsize=654712 CPUtime=0.28
/proc/30708/task/30710/stat : 30710 (java) R 30707 30689 29276 0 -1 64 5110 0 1 0 25 3 0 0 18 0 9 0 2002516307 670425088 5464 996147200 134512640 134550740 4294955808 18446744073709551615 4125977377 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30708/tid=30711] ppid=30707 vsize=654712 CPUtime=0
/proc/30708/task/30711/stat : 30711 (java) S 30707 30689 29276 0 -1 64 4 0 0 0 0 0 0 0 19 0 9 0 2002516309 670425088 5464 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30708/tid=30712] ppid=30707 vsize=654712 CPUtime=0
/proc/30708/task/30712/stat : 30712 (java) S 30707 30689 29276 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 2002516309 670425088 5464 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30708/tid=30713] ppid=30707 vsize=654712 CPUtime=0
/proc/30708/task/30713/stat : 30713 (java) S 30707 30689 29276 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 2002516309 670425088 5464 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30708/tid=30714] ppid=30707 vsize=654712 CPUtime=0
/proc/30708/task/30714/stat : 30714 (java) S 30707 30689 29276 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002516311 670425088 5464 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30708/tid=30715] ppid=30707 vsize=654712 CPUtime=0.05
/proc/30708/task/30715/stat : 30715 (java) S 30707 30689 29276 0 -1 64 288 0 0 0 5 0 0 0 16 0 9 0 2002516311 670425088 5464 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30708/tid=30716] ppid=30707 vsize=654712 CPUtime=0
/proc/30708/task/30716/stat : 30716 (java) S 30707 30689 29276 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002516311 670425088 5464 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30708/tid=30717] ppid=30707 vsize=654712 CPUtime=0
/proc/30708/task/30717/stat : 30717 (java) S 30707 30689 29276 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2002516311 670425088 5464 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30709] ppid=30707 vsize=7044 CPUtime=0
/proc/30709/stat : 30709 (translate) S 30707 30689 29276 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2002516306 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 273653923922 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/30709/statm: 1761 213 182 1 0 41 0
[pid=30697/tid=30698] ppid=30689 vsize=197440 CPUtime=4.9
/proc/30697/task/30698/stat : 30698 (java) S 30689 30689 29276 0 -1 64 3905 0 1 0 483 7 0 0 25 0 10 0 2002515652 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=30697/tid=30699] ppid=30689 vsize=197440 CPUtime=1.13
/proc/30697/task/30699/stat : 30699 (java) S 30689 30689 29276 0 -1 64 8537 0 0 0 102 11 0 0 16 0 10 0 2002515654 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30697/tid=30700] ppid=30689 vsize=197440 CPUtime=0
/proc/30697/task/30700/stat : 30700 (java) S 30689 30689 29276 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 2002515654 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30697/tid=30701] ppid=30689 vsize=197440 CPUtime=0
/proc/30697/task/30701/stat : 30701 (java) S 30689 30689 29276 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002515654 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30697/tid=30702] ppid=30689 vsize=197440 CPUtime=0
/proc/30697/task/30702/stat : 30702 (java) S 30689 30689 29276 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002515656 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30697/tid=30703] ppid=30689 vsize=197440 CPUtime=0.24
/proc/30697/task/30703/stat : 30703 (java) S 30689 30689 29276 0 -1 64 669 0 0 0 24 0 0 0 16 0 10 0 2002515656 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30697/tid=30704] ppid=30689 vsize=197440 CPUtime=0
/proc/30697/task/30704/stat : 30704 (java) S 30689 30689 29276 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002515657 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30697/tid=30705] ppid=30689 vsize=197440 CPUtime=0
/proc/30697/task/30705/stat : 30705 (java) S 30689 30689 29276 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 2002515657 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30697/tid=30706] ppid=30689 vsize=197440 CPUtime=0
/proc/30697/task/30706/stat : 30706 (java) S 30689 30689 29276 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 2002516306 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.01
Current children cumulated vsize (KiB) 869912

[startup+51.1029 s]
/proc/loadavg: 2.12 2.11 2.04 3/103 30717
/proc/meminfo: memFree=1708472/2055920 swapFree=4180424/4192956
[pid=30689] ppid=30687 vsize=5360 CPUtime=18.35
/proc/30689/stat : 30689 (hydra) S 30687 30689 29276 0 -1 4194304 375 16410 0 1 0 0 1826 9 18 0 1 0 2002513794 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30689/statm: 1340 238 196 169 0 51 0
[pid=30697] ppid=30689 vsize=197440 CPUtime=6.31
/proc/30697/stat : 30697 (java) S 30689 30689 29276 0 -1 0 13974 0 1 0 610 21 0 0 18 0 10 0 2002515651 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30697/statm: 49360 9484 2544 9 0 43942 0
[pid=30707] ppid=30697 vsize=5356 CPUtime=0
/proc/30707/stat : 30707 (abscon) S 30697 30689 29276 0 -1 4194304 301 0 0 0 0 0 0 0 25 0 1 0 2002516306 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 273653752644 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/30707/statm: 1339 235 194 169 0 50 0
[pid=30708] ppid=30707 vsize=655740 CPUtime=25.42
/proc/30708/stat : 30708 (java) S 30707 30689 29276 0 -1 0 29412 0 1 0 2518 24 0 0 18 0 9 0 2002516306 671477760 28901 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30708/statm: 163935 28901 2009 9 0 158463 0
[pid=30708/tid=30710] ppid=30707 vsize=655740 CPUtime=24.29
/proc/30708/task/30710/stat : 30710 (java) R 30707 30689 29276 0 -1 64 12466 0 1 0 2414 15 0 0 25 0 9 0 2002516307 671477760 28901 996147200 134512640 134550740 4294955808 18446744073709551615 102887665 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30708/tid=30711] ppid=30707 vsize=655740 CPUtime=0.82
/proc/30708/task/30711/stat : 30711 (java) S 30707 30689 29276 0 -1 64 15721 0 0 0 76 6 0 0 16 0 9 0 2002516309 671477760 28901 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30708/tid=30712] ppid=30707 vsize=655740 CPUtime=0
/proc/30708/task/30712/stat : 30712 (java) S 30707 30689 29276 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002516309 671477760 28901 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30708/tid=30713] ppid=30707 vsize=655740 CPUtime=0
/proc/30708/task/30713/stat : 30713 (java) S 30707 30689 29276 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002516309 671477760 28901 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30708/tid=30714] ppid=30707 vsize=655740 CPUtime=0
/proc/30708/task/30714/stat : 30714 (java) S 30707 30689 29276 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002516311 671477760 28901 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30708/tid=30715] ppid=30707 vsize=655740 CPUtime=0.27
/proc/30708/task/30715/stat : 30715 (java) S 30707 30689 29276 0 -1 64 681 0 0 0 27 0 0 0 16 0 9 0 2002516311 671477760 28901 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30708/tid=30716] ppid=30707 vsize=655740 CPUtime=0
/proc/30708/task/30716/stat : 30716 (java) S 30707 30689 29276 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002516311 671477760 28901 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30708/tid=30717] ppid=30707 vsize=655740 CPUtime=0
/proc/30708/task/30717/stat : 30717 (java) S 30707 30689 29276 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2002516311 671477760 28901 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30709] ppid=30707 vsize=7044 CPUtime=0
/proc/30709/stat : 30709 (translate) S 30707 30689 29276 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2002516306 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 273653923922 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/30709/statm: 1761 213 182 1 0 41 0
[pid=30697/tid=30698] ppid=30689 vsize=197440 CPUtime=4.9
/proc/30697/task/30698/stat : 30698 (java) S 30689 30689 29276 0 -1 64 3905 0 1 0 483 7 0 0 25 0 10 0 2002515652 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=30697/tid=30699] ppid=30689 vsize=197440 CPUtime=1.13
/proc/30697/task/30699/stat : 30699 (java) S 30689 30689 29276 0 -1 64 8572 0 0 0 102 11 0 0 16 0 10 0 2002515654 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30697/tid=30700] ppid=30689 vsize=197440 CPUtime=0
/proc/30697/task/30700/stat : 30700 (java) S 30689 30689 29276 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 2002515654 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30697/tid=30701] ppid=30689 vsize=197440 CPUtime=0

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

/proc/30708/task/30717/stat : 30717 (java) S 30707 30689 29276 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2002516311 671477760 38150 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30709] ppid=30707 vsize=7044 CPUtime=0
/proc/30709/stat : 30709 (translate) S 30707 30689 29276 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2002516306 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 273653923922 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/30709/statm: 1761 213 182 1 0 41 0
[pid=30697/tid=30698] ppid=30689 vsize=197440 CPUtime=4.9
/proc/30697/task/30698/stat : 30698 (java) S 30689 30689 29276 0 -1 64 3905 0 1 0 483 7 0 0 25 0 10 0 2002515652 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=30697/tid=30699] ppid=30689 vsize=197440 CPUtime=1.13
/proc/30697/task/30699/stat : 30699 (java) S 30689 30689 29276 0 -1 64 8572 0 0 0 102 11 0 0 16 0 10 0 2002515654 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30697/tid=30700] ppid=30689 vsize=197440 CPUtime=0
/proc/30697/task/30700/stat : 30700 (java) S 30689 30689 29276 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 2002515654 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30697/tid=30701] ppid=30689 vsize=197440 CPUtime=0
/proc/30697/task/30701/stat : 30701 (java) S 30689 30689 29276 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002515654 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30697/tid=30702] ppid=30689 vsize=197440 CPUtime=0
/proc/30697/task/30702/stat : 30702 (java) S 30689 30689 29276 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002515656 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30697/tid=30703] ppid=30689 vsize=197440 CPUtime=0.24
/proc/30697/task/30703/stat : 30703 (java) S 30689 30689 29276 0 -1 64 669 0 0 0 24 0 0 0 16 0 10 0 2002515656 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30697/tid=30704] ppid=30689 vsize=197440 CPUtime=0
/proc/30697/task/30704/stat : 30704 (java) S 30689 30689 29276 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002515657 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30697/tid=30705] ppid=30689 vsize=197440 CPUtime=0
/proc/30697/task/30705/stat : 30705 (java) S 30689 30689 29276 0 -1 64 33 0 0 0 0 0 0 0 15 0 10 0 2002515657 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30697/tid=30706] ppid=30689 vsize=197440 CPUtime=0
/proc/30697/task/30706/stat : 30706 (java) S 30689 30689 29276 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 2002516306 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 90.84
Current children cumulated vsize (KiB) 870940

[startup+94.304 s]
/proc/loadavg: 2.06 2.09 2.03 3/103 30717
/proc/meminfo: memFree=1665336/2055920 swapFree=4180424/4192956
[pid=30689] ppid=30687 vsize=5360 CPUtime=18.35
/proc/30689/stat : 30689 (hydra) S 30687 30689 29276 0 -1 4194304 375 16410 0 1 0 0 1826 9 18 0 1 0 2002513794 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30689/statm: 1340 238 196 169 0 51 0
[pid=30697] ppid=30689 vsize=197440 CPUtime=6.31
/proc/30697/stat : 30697 (java) S 30689 30689 29276 0 -1 0 13974 0 1 0 610 21 0 0 18 0 10 0 2002515651 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30697/statm: 49360 9484 2544 9 0 43942 0
[pid=30707] ppid=30697 vsize=5356 CPUtime=0
/proc/30707/stat : 30707 (abscon) S 30697 30689 29276 0 -1 4194304 301 0 0 0 0 0 0 0 25 0 1 0 2002516306 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 273653752644 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/30707/statm: 1339 235 194 169 0 50 0
[pid=30708] ppid=30707 vsize=655740 CPUtime=67.75
/proc/30708/stat : 30708 (java) S 30707 30689 29276 0 -1 0 38893 0 1 0 6745 30 0 0 18 0 9 0 2002516306 671477760 38155 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30708/statm: 163935 38155 2617 9 0 158463 0
[pid=30708/tid=30710] ppid=30707 vsize=655740 CPUtime=65.76
/proc/30708/task/30710/stat : 30710 (java) R 30707 30689 29276 0 -1 64 12565 0 1 0 6560 16 0 0 25 0 9 0 2002516307 671477760 38155 996147200 134512640 134550740 4294955808 18446744073709551615 4127119860 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30708/tid=30711] ppid=30707 vsize=655740 CPUtime=1.52
/proc/30708/task/30711/stat : 30711 (java) S 30707 30689 29276 0 -1 64 24994 0 0 0 141 11 0 0 17 0 9 0 2002516309 671477760 38155 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30708/tid=30712] ppid=30707 vsize=655740 CPUtime=0
/proc/30708/task/30712/stat : 30712 (java) S 30707 30689 29276 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002516309 671477760 38155 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30708/tid=30713] ppid=30707 vsize=655740 CPUtime=0
/proc/30708/task/30713/stat : 30713 (java) S 30707 30689 29276 0 -1 64 20 0 0 0 0 0 0 0 15 0 9 0 2002516309 671477760 38155 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30708/tid=30714] ppid=30707 vsize=655740 CPUtime=0
/proc/30708/task/30714/stat : 30714 (java) S 30707 30689 29276 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002516311 671477760 38155 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30708/tid=30715] ppid=30707 vsize=655740 CPUtime=0.43
/proc/30708/task/30715/stat : 30715 (java) S 30707 30689 29276 0 -1 64 775 0 0 0 42 1 0 0 16 0 9 0 2002516311 671477760 38155 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30708/tid=30716] ppid=30707 vsize=655740 CPUtime=0
/proc/30708/task/30716/stat : 30716 (java) S 30707 30689 29276 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002516311 671477760 38155 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30708/tid=30717] ppid=30707 vsize=655740 CPUtime=0
/proc/30708/task/30717/stat : 30717 (java) S 30707 30689 29276 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2002516311 671477760 38155 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30709] ppid=30707 vsize=7044 CPUtime=0
/proc/30709/stat : 30709 (translate) S 30707 30689 29276 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2002516306 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 273653923922 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/30709/statm: 1761 213 182 1 0 41 0
[pid=30697/tid=30698] ppid=30689 vsize=197440 CPUtime=4.9
/proc/30697/task/30698/stat : 30698 (java) S 30689 30689 29276 0 -1 64 3905 0 1 0 483 7 0 0 25 0 10 0 2002515652 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=30697/tid=30699] ppid=30689 vsize=197440 CPUtime=1.13
/proc/30697/task/30699/stat : 30699 (java) S 30689 30689 29276 0 -1 64 8572 0 0 0 102 11 0 0 16 0 10 0 2002515654 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30697/tid=30700] ppid=30689 vsize=197440 CPUtime=0
/proc/30697/task/30700/stat : 30700 (java) S 30689 30689 29276 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 2002515654 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30697/tid=30701] ppid=30689 vsize=197440 CPUtime=0
/proc/30697/task/30701/stat : 30701 (java) S 30689 30689 29276 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002515654 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30697/tid=30702] ppid=30689 vsize=197440 CPUtime=0
/proc/30697/task/30702/stat : 30702 (java) S 30689 30689 29276 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002515656 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30697/tid=30703] ppid=30689 vsize=197440 CPUtime=0.24
/proc/30697/task/30703/stat : 30703 (java) S 30689 30689 29276 0 -1 64 669 0 0 0 24 0 0 0 16 0 10 0 2002515656 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30697/tid=30704] ppid=30689 vsize=197440 CPUtime=0
/proc/30697/task/30704/stat : 30704 (java) S 30689 30689 29276 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002515657 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30697/tid=30705] ppid=30689 vsize=197440 CPUtime=0
/proc/30697/task/30705/stat : 30705 (java) S 30689 30689 29276 0 -1 64 33 0 0 0 0 0 0 0 15 0 10 0 2002515657 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30697/tid=30706] ppid=30689 vsize=197440 CPUtime=0
/proc/30697/task/30706/stat : 30706 (java) S 30689 30689 29276 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 2002516306 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 92.41
Current children cumulated vsize (KiB) 870940

[startup+95.1074 s]
/proc/loadavg: 2.06 2.09 2.03 3/103 30717
/proc/meminfo: memFree=1665144/2055920 swapFree=4180424/4192956
[pid=30689] ppid=30687 vsize=5360 CPUtime=18.35
/proc/30689/stat : 30689 (hydra) S 30687 30689 29276 0 -1 4194304 375 16410 0 1 0 0 1826 9 18 0 1 0 2002513794 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30689/statm: 1340 238 196 169 0 51 0
[pid=30697] ppid=30689 vsize=197440 CPUtime=6.31
/proc/30697/stat : 30697 (java) S 30689 30689 29276 0 -1 0 13974 0 1 0 610 21 0 0 18 0 10 0 2002515651 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30697/statm: 49360 9484 2544 9 0 43942 0
[pid=30707] ppid=30697 vsize=5356 CPUtime=0
/proc/30707/stat : 30707 (abscon) S 30697 30689 29276 0 -1 4194304 301 0 0 0 0 0 0 0 25 0 1 0 2002516306 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 273653752644 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/30707/statm: 1339 235 194 169 0 50 0
[pid=30708] ppid=30707 vsize=655740 CPUtime=68.54
/proc/30708/stat : 30708 (java) S 30707 30689 29276 0 -1 0 38896 0 1 0 6824 30 0 0 18 0 9 0 2002516306 671477760 38157 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30708/statm: 163935 38157 2617 9 0 158463 0
[pid=30708/tid=30710] ppid=30707 vsize=655740 CPUtime=66.54
/proc/30708/task/30710/stat : 30710 (java) R 30707 30689 29276 0 -1 64 12565 0 1 0 6638 16 0 0 25 0 9 0 2002516307 671477760 38157 996147200 134512640 134550740 4294955808 18446744073709551615 4127431934 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30708/tid=30711] ppid=30707 vsize=655740 CPUtime=1.52
/proc/30708/task/30711/stat : 30711 (java) S 30707 30689 29276 0 -1 64 24994 0 0 0 141 11 0 0 17 0 9 0 2002516309 671477760 38157 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30708/tid=30712] ppid=30707 vsize=655740 CPUtime=0
/proc/30708/task/30712/stat : 30712 (java) S 30707 30689 29276 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002516309 671477760 38157 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30708/tid=30713] ppid=30707 vsize=655740 CPUtime=0
/proc/30708/task/30713/stat : 30713 (java) S 30707 30689 29276 0 -1 64 20 0 0 0 0 0 0 0 15 0 9 0 2002516309 671477760 38157 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30708/tid=30714] ppid=30707 vsize=655740 CPUtime=0
/proc/30708/task/30714/stat : 30714 (java) S 30707 30689 29276 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002516311 671477760 38157 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30708/tid=30715] ppid=30707 vsize=655740 CPUtime=0.44
/proc/30708/task/30715/stat : 30715 (java) S 30707 30689 29276 0 -1 64 778 0 0 0 43 1 0 0 15 0 9 0 2002516311 671477760 38157 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30708/tid=30716] ppid=30707 vsize=655740 CPUtime=0
/proc/30708/task/30716/stat : 30716 (java) S 30707 30689 29276 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2002516311 671477760 38157 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30708/tid=30717] ppid=30707 vsize=655740 CPUtime=0
/proc/30708/task/30717/stat : 30717 (java) S 30707 30689 29276 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2002516311 671477760 38157 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30709] ppid=30707 vsize=7044 CPUtime=0
/proc/30709/stat : 30709 (translate) S 30707 30689 29276 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2002516306 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 273653923922 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/30709/statm: 1761 213 182 1 0 41 0
[pid=30697/tid=30698] ppid=30689 vsize=197440 CPUtime=4.9
/proc/30697/task/30698/stat : 30698 (java) S 30689 30689 29276 0 -1 64 3905 0 1 0 483 7 0 0 25 0 10 0 2002515652 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=30697/tid=30699] ppid=30689 vsize=197440 CPUtime=1.13
/proc/30697/task/30699/stat : 30699 (java) S 30689 30689 29276 0 -1 64 8572 0 0 0 102 11 0 0 16 0 10 0 2002515654 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30697/tid=30700] ppid=30689 vsize=197440 CPUtime=0
/proc/30697/task/30700/stat : 30700 (java) S 30689 30689 29276 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 2002515654 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30697/tid=30701] ppid=30689 vsize=197440 CPUtime=0
/proc/30697/task/30701/stat : 30701 (java) S 30689 30689 29276 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002515654 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30697/tid=30702] ppid=30689 vsize=197440 CPUtime=0
/proc/30697/task/30702/stat : 30702 (java) S 30689 30689 29276 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002515656 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30697/tid=30703] ppid=30689 vsize=197440 CPUtime=0.24
/proc/30697/task/30703/stat : 30703 (java) S 30689 30689 29276 0 -1 64 669 0 0 0 24 0 0 0 16 0 10 0 2002515656 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30697/tid=30704] ppid=30689 vsize=197440 CPUtime=0
/proc/30697/task/30704/stat : 30704 (java) S 30689 30689 29276 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002515657 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30697/tid=30705] ppid=30689 vsize=197440 CPUtime=0
/proc/30697/task/30705/stat : 30705 (java) S 30689 30689 29276 0 -1 64 33 0 0 0 0 0 0 0 15 0 10 0 2002515657 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30697/tid=30706] ppid=30689 vsize=197440 CPUtime=0
/proc/30697/task/30706/stat : 30706 (java) S 30689 30689 29276 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 2002516306 202178560 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 93.2
Current children cumulated vsize (KiB) 870940

[startup+95.5022 s]
/proc/loadavg: 2.06 2.09 2.03 3/103 30717
/proc/meminfo: memFree=1665144/2055920 swapFree=4180424/4192956
[pid=30689] ppid=30687 vsize=5360 CPUtime=18.35
/proc/30689/stat : 30689 (hydra) S 30687 30689 29276 0 -1 4194304 375 16410 0 1 0 0 1826 9 18 0 1 0 2002513794 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30689/statm: 1340 238 196 169 0 51 0
[pid=30697] ppid=30689 vsize=197440 CPUtime=6.31
/proc/30697/stat : 30697 (java) S 30689 30689 29276 0 -1 0 14015 0 1 0 610 21 0 0 18 0 10 0 2002515651 202178560 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30697/statm: 49360 9521 2544 9 0 43942 0
[pid=30707] ppid=30697 vsize=5356 CPUtime=0
/proc/30707/stat : 30707 (abscon) S 30697 30689 29276 0 -1 4194304 301 292 0 0 0 0 0 0 16 0 1 0 2002516306 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 273653752644 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/30707/statm: 1339 235 194 169 0 50 0
[pid=30708] ppid=30707 vsize=0 CPUtime=68.88
/proc/30708/stat : 30708 (java) Z 30707 30689 29276 0 -1 12 38911 0 1 0 6858 30 0 0 16 0 2 0 2002516306 0 0 996147200 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30708/statm: 0 0 0 0 0 0 0
[pid=30697/tid=30698] ppid=30689 vsize=197440 CPUtime=4.9
/proc/30697/task/30698/stat : 30698 (java) S 30689 30689 29276 0 -1 64 3946 0 1 0 483 7 0 0 16 0 10 0 2002515652 202178560 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=30697/tid=30699] ppid=30689 vsize=197440 CPUtime=1.13
/proc/30697/task/30699/stat : 30699 (java) S 30689 30689 29276 0 -1 64 8572 0 0 0 102 11 0 0 16 0 10 0 2002515654 202178560 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30697/tid=30700] ppid=30689 vsize=197440 CPUtime=0
/proc/30697/task/30700/stat : 30700 (java) S 30689 30689 29276 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 2002515654 202178560 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30697/tid=30701] ppid=30689 vsize=197440 CPUtime=0
/proc/30697/task/30701/stat : 30701 (java) S 30689 30689 29276 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2002515654 202178560 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30697/tid=30702] ppid=30689 vsize=197440 CPUtime=0
/proc/30697/task/30702/stat : 30702 (java) S 30689 30689 29276 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2002515656 202178560 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30697/tid=30703] ppid=30689 vsize=197440 CPUtime=0.24
/proc/30697/task/30703/stat : 30703 (java) S 30689 30689 29276 0 -1 64 669 0 0 0 24 0 0 0 16 0 10 0 2002515656 202178560 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30697/tid=30704] ppid=30689 vsize=197440 CPUtime=0
/proc/30697/task/30704/stat : 30704 (java) S 30689 30689 29276 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2002515657 202178560 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30697/tid=30705] ppid=30689 vsize=197440 CPUtime=0
/proc/30697/task/30705/stat : 30705 (java) S 30689 30689 29276 0 -1 64 33 0 0 0 0 0 0 0 15 0 10 0 2002515657 202178560 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30697/tid=30706] ppid=30689 vsize=197440 CPUtime=0
/proc/30697/task/30706/stat : 30706 (java) S 30689 30689 29276 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 2002516306 202178560 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 93.54
Current children cumulated vsize (KiB) 208156

Child status: 0
Real time (s): 95.5388
CPU time (s): 93.6188
CPU user time (s): 92.9649
CPU system time (s): 0.6539
CPU usage (%): 97.9903
Max. virtual memory (cumulated for all children) (KiB): 870944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 92.9649
system time used= 0.6539
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70435
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14604
involuntary context switches= 22699

runsolver used 0.341948 second user time and 0.971852 second system time

The end

Launcher Data (download as text)

Begin job on node52 at 2008-07-05 07:23:35
IDJOB=1085764
IDBENCH=57693
IDSOLVER=366
FILE ID=node52/1085764-1215235414
PBS_JOBID= 7881876
Free space on /tmp= 66544 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 3783482c1cbff3c4a72df59d958779fb
RANDOM SEED=170407154

node52.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.265
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.265
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:       1853448 kB
Buffers:          3736 kB
Cached:          97276 kB
SwapCached:       6360 kB
Active:         113024 kB
Inactive:        33820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1853448 kB
SwapTotal:     4192956 kB
SwapFree:      4180424 kB
Dirty:           29176 kB
Writeback:           0 kB
Mapped:          62108 kB
Slab:            40708 kB
Committed_AS:  4011348 kB
PageTables:       2032 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66520 MiB
End job on node52 at 2008-07-05 07:25:11