Trace number 1094986

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_40UNSAT 34.1408 34.8425

DiagnosticValue
ASSIGNMENTS0
CHECKS91331

General information on the benchmark

Namecsp/fapp/fapp17/
normalized-fapp17-0300-1.xml
MD5SUM73dece1b19758e876aa500d620069f40
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.01284
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints3865
Maximum constraint arity2
Maximum domain size302
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3865
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.00	c cpHydra_k_40 version 0.0
13.35/13.52	c CASE TO CLASSIFY:
13.35/13.53	c Case: 0
13.35/13.53	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.869300 | c 15 >  11.916300 | c 34 >  68.349300 | c 16 >   2.000000 | c 13 >   2.756830 | c 14 >  -1.000000 | c 11 >   8.228820 | c 12 >   4.687430 | c 21 >  14.609800 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   4.132560 | c 24 >   1.222160 | 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 >  11.916300 | 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 >  15.966600 | c 31 >  -1.000000 | c 4 >   8.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.35/13.54	c choco : 1801.0
13.35/13.54	c mistral : 1801.0
13.35/13.54	c abscon : 1801.0
13.35/13.54	c
13.35/13.54	c
13.44/13.61	c List of same ones: 40
13.44/13.61	c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-10.xml
13.44/13.61	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.938900 | c 15 >  11.398200 | c 34 >  68.192900 | c 16 >   2.000000 | c 13 >   2.725340 | c 14 >  -1.000000 | c 11 >   8.451210 | c 12 >   4.736450 | c 21 >  15.053300 | c 20 >   0.000000 | c 22 >  16.431700 | c 23 >   4.379970 | c 24 >   0.967305 | 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 >  12.187700 | 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.275200 | c 31 >  -1.000000 | c 4 >   8.451210 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.44/13.62	c choco : 1801.0
13.44/13.62	c mistral : 1800.04
13.44/13.62	c abscon : 11.0623
13.44/13.62	c
13.44/13.62	c
13.44/13.62	c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-9.xml
13.44/13.62	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.938900 | c 15 >  11.193500 | c 34 >  68.192900 | c 16 >   2.000000 | c 13 >   2.725340 | c 14 >  -1.000000 | c 11 >   8.451210 | c 12 >   4.736450 | c 21 >  15.053300 | c 20 >   0.000000 | c 22 >  16.431700 | c 23 >   4.379970 | c 24 >   0.967305 | 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 >  12.187700 | 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.275200 | c 31 >  -1.000000 | c 4 >   8.451210 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.44/13.63	c choco : 1801.0
13.44/13.63	c mistral : 1800.06
13.44/13.63	c abscon : 11.9282
13.44/13.63	c
13.44/13.63	c
13.44/13.63	c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-8.xml
13.44/13.63	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.938900 | c 15 >  11.127300 | c 34 >  68.192900 | c 16 >   2.000000 | c 13 >   2.725340 | c 14 >  -1.000000 | c 11 >   8.451210 | c 12 >   4.736450 | c 21 >  15.053300 | c 20 >   0.000000 | c 22 >  16.431700 | c 23 >   4.379970 | c 24 >   0.967305 | 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 >  12.187700 | 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.275200 | c 31 >  -1.000000 | c 4 >   8.451210 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.44/13.64	c choco : 1801.0
13.44/13.64	c mistral : 1800.03
13.44/13.64	c abscon : 12.0042
13.44/13.64	c
13.44/13.64	c
13.44/13.64	c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-7.xml
13.44/13.64	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.938900 | c 15 >  11.033400 | c 34 >  68.192900 | c 16 >   2.000000 | c 13 >   2.725340 | c 14 >  -1.000000 | c 11 >   8.451210 | c 12 >   4.736450 | c 21 >  15.053300 | c 20 >   0.000000 | c 22 >  16.431700 | c 23 >   4.379970 | c 24 >   0.967305 | 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 >  12.187700 | 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.275200 | c 31 >  -1.000000 | c 4 >   8.451210 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.44/13.65	c choco : 1801.0
13.44/13.65	c mistral : 1800.01
13.44/13.65	c abscon : 6.594
13.44/13.65	c
13.44/13.65	c
13.44/13.65	c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-6.xml
13.44/13.65	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.938900 | c 15 >  10.978000 | c 34 >  68.192900 | c 16 >   2.000000 | c 13 >   2.725340 | c 14 >  -1.000000 | c 11 >   8.451210 | c 12 >   4.736450 | c 21 >  15.053300 | c 20 >   0.000000 | c 22 >  16.431700 | c 23 >   4.379970 | c 24 >   0.967305 | 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 >  12.187700 | 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.275200 | c 31 >  -1.000000 | c 4 >   8.451210 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.44/13.66	c choco : 1801.0
13.44/13.66	c mistral : 1800.03
13.44/13.66	c abscon : 5.97909
13.44/13.66	c
13.44/13.66	c
13.44/13.66	c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-5.xml
13.44/13.66	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.938900 | c 15 >  10.857200 | c 34 >  68.192900 | c 16 >   2.000000 | c 13 >   2.725340 | c 14 >  -1.000000 | c 11 >   8.451210 | c 12 >   4.736450 | c 21 >  15.053300 | c 20 >   0.000000 | c 22 >  16.431700 | c 23 >   4.379970 | c 24 >   0.967305 | 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 >  12.187700 | 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.275200 | c 31 >  -1.000000 | c 4 >   8.451210 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.44/13.67	c choco : 1801.0
13.44/13.67	c mistral : 1800.05
13.44/13.67	c abscon : 5.9181
13.44/13.67	c
13.44/13.67	c
13.44/13.67	c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-4.xml
13.44/13.67	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.938900 | c 15 >  10.815400 | c 34 >  68.192900 | c 16 >   2.000000 | c 13 >   2.725340 | c 14 >  -1.000000 | c 11 >   8.451210 | c 12 >   4.736450 | c 21 >  15.053300 | c 20 >   0.000000 | c 22 >  16.431700 | c 23 >   4.379970 | c 24 >   0.967305 | 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 >  12.187700 | 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.275200 | c 31 >  -1.000000 | c 4 >   8.451210 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.44/13.68	c choco : 1801.0
13.44/13.68	c mistral : 1800.09
13.44/13.68	c abscon : 6.03108
13.44/13.68	c
13.44/13.68	c
13.44/13.68	c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-3.xml
13.44/13.68	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.938900 | c 15 >  10.775600 | c 34 >  68.192900 | c 16 >   2.000000 | c 13 >   2.725340 | c 14 >  -1.000000 | c 11 >   8.451210 | c 12 >   4.736450 | c 21 >  15.053300 | c 20 >   0.000000 | c 22 >  16.431700 | c 23 >   4.379970 | c 24 >   0.967305 | 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 >  12.187700 | 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.275200 | c 31 >  -1.000000 | c 4 >   8.451210 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.44/13.69	c choco : 1801.0
13.44/13.69	c mistral : 1800.05
13.44/13.69	c abscon : 5.67014
13.44/13.69	c
13.44/13.69	c
13.44/13.69	c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-2.xml
13.44/13.69	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.938900 | c 15 >  10.726200 | c 34 >  68.192900 | c 16 >   2.000000 | c 13 >   2.725340 | c 14 >  -1.000000 | c 11 >   8.451210 | c 12 >   4.736450 | c 21 >  15.053300 | c 20 >   0.000000 | c 22 >  16.431700 | c 23 >   4.379970 | c 24 >   0.967305 | 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 >  12.187700 | 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.275200 | c 31 >  -1.000000 | c 4 >   8.451210 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.44/13.69	c choco : 1801.0
13.44/13.69	c mistral : 514.646
13.44/13.70	c abscon : 5.76312
13.44/13.70	c
13.44/13.70	c
13.44/13.70	c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-1.xml
13.44/13.70	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.938900 | c 15 >  10.700400 | c 34 >  68.192900 | c 16 >   2.000000 | c 13 >   2.725340 | c 14 >  -1.000000 | c 11 >   8.451210 | c 12 >   4.736450 | c 21 >  15.053300 | c 20 >   0.000000 | c 22 >  16.431700 | c 23 >   4.379970 | c 24 >   0.967305 | 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 >  12.187700 | 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.275200 | c 31 >  -1.000000 | c 4 >   8.451210 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.51/13.71	c choco : 1801.0
13.51/13.71	c mistral : 1800.06
13.51/13.71	c abscon : 5.79212
13.51/13.71	c
13.51/13.71	c
13.51/13.71	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-10.xml
13.51/13.71	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.405000 | c 15 >  11.096700 | c 34 >  68.089200 | c 16 >   2.000000 | c 13 >   2.526390 | c 14 >  -1.000000 | c 11 >   8.643860 | c 12 >   4.449560 | c 21 >  14.427800 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   4.100630 | c 24 >   0.735165 | 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 >  12.093400 | 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.345400 | c 31 >  -1.000000 | c 4 >   8.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.71/13.91	c choco : 37.81
13.71/13.91	c mistral : 7.2519
13.71/13.91	c abscon : 12.7981
13.71/13.91	c
13.71/13.91	c
13.71/13.91	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-9.xml
13.71/13.91	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.405000 | c 15 >  11.077500 | c 34 >  68.089200 | c 16 >   2.000000 | c 13 >   2.526390 | c 14 >  -1.000000 | c 11 >   8.643860 | c 12 >   4.449560 | c 21 >  14.427800 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   4.100630 | c 24 >   0.735165 | 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 >  12.093400 | 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.345400 | c 31 >  -1.000000 | c 4 >   8.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.71/13.92	c choco : 67.9
13.71/13.92	c mistral : 6.572
13.71/13.92	c abscon : 12.5521
13.71/13.92	c
13.71/13.92	c
13.71/13.92	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-8.xml
13.71/13.92	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.405000 | c 15 >  10.995800 | c 34 >  68.089200 | c 16 >   2.000000 | c 13 >   2.526390 | c 14 >  -1.000000 | c 11 >   8.643860 | c 12 >   4.449560 | c 21 >  14.427800 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   4.100630 | c 24 >   0.735165 | 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 >  12.093400 | 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.345400 | c 31 >  -1.000000 | c 4 >   8.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.71/13.93	c choco : 1801.0
13.71/13.93	c mistral : 5.8841
13.71/13.93	c abscon : 12.8071
13.71/13.93	c
13.71/13.93	c
13.71/13.93	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-7.xml
13.71/13.93	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.405000 | c 15 >  10.929300 | c 34 >  68.089200 | c 16 >   2.000000 | c 13 >   2.526390 | c 14 >  -1.000000 | c 11 >   8.643860 | c 12 >   4.449560 | c 21 >  14.427800 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   4.100630 | c 24 >   0.735165 | 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 >  12.093400 | 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.345400 | c 31 >  -1.000000 | c 4 >   8.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.71/13.93	c choco : 104.95
13.71/13.93	c mistral : 7.41487
13.71/13.93	c abscon : 12.2871
13.71/13.93	c
13.71/13.93	c
13.71/13.93	c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-0.xml
13.71/13.94	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.869300 | c 15 >   9.902380 | c 34 >  68.349300 | c 16 >   2.000000 | c 13 >   2.756830 | c 14 >  -1.000000 | c 11 >   8.228820 | c 12 >   4.687430 | c 21 >  14.609800 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   4.132560 | c 24 >   1.222160 | 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 >  11.916300 | 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 >  15.966600 | c 31 >  -1.000000 | c 4 >   8.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.71/13.95	c choco : 49.0
13.71/13.95	c mistral : 18.2302
13.71/13.95	c abscon : 5.2362
13.71/13.95	c
13.71/13.95	c
13.71/13.95	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-6.xml
13.71/13.95	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.405000 | c 15 >  10.806500 | c 34 >  68.089200 | c 16 >   2.000000 | c 13 >   2.526390 | c 14 >  -1.000000 | c 11 >   8.643860 | c 12 >   4.449560 | c 21 >  14.427800 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   4.100630 | c 24 >   0.735165 | 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 >  12.093400 | 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.345400 | c 31 >  -1.000000 | c 4 >   8.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.71/13.95	c choco : 201.72
13.71/13.95	c mistral : 9.30558
13.71/13.95	c abscon : 12.6881
13.71/13.95	c
13.71/13.95	c
13.71/13.95	c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-4.xml
13.71/13.95	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.869300 | c 15 >   9.864190 | c 34 >  68.349300 | c 16 >   2.000000 | c 13 >   2.756830 | c 14 >  -1.000000 | c 11 >   8.228820 | c 12 >   4.687430 | c 21 >  14.609800 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   4.132560 | c 24 >   1.222160 | 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 >  11.916300 | 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 >  15.966600 | c 31 >  -1.000000 | c 4 >   8.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.71/13.96	c choco : 47.79
13.71/13.96	c mistral : 4.87226
13.71/13.96	c abscon : 5.55215
13.71/13.96	c
13.71/13.96	c
13.71/13.96	c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-9.xml
13.71/13.96	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.869300 | c 15 >   9.859530 | c 34 >  68.349300 | c 16 >   2.000000 | c 13 >   2.756830 | c 14 >  -1.000000 | c 11 >   8.228820 | c 12 >   4.687430 | c 21 >  14.609800 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   4.132560 | c 24 >   1.222160 | 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 >  11.916300 | 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 >  15.966600 | c 31 >  -1.000000 | c 4 >   8.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.71/13.97	c choco : 47.84
13.71/13.97	c mistral : 4.67629
13.71/13.97	c abscon : 5.53016
13.71/13.97	c
13.71/13.97	c
13.71/13.97	c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-6.xml
13.71/13.97	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.869300 | c 15 >   9.848620 | c 34 >  68.349300 | c 16 >   2.000000 | c 13 >   2.756830 | c 14 >  -1.000000 | c 11 >   8.228820 | c 12 >   4.687430 | c 21 >  14.609800 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   4.132560 | c 24 >   1.222160 | 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 >  11.916300 | 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 >  15.966600 | c 31 >  -1.000000 | c 4 >   8.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.71/13.97	c choco : 47.53
13.71/13.97	c mistral : 4.74228
13.71/13.97	c abscon : 5.53016
13.71/13.97	c
13.71/13.97	c
13.71/13.97	c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-10.xml
13.71/13.97	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.869300 | c 15 >   9.845490 | c 34 >  68.349300 | c 16 >   2.000000 | c 13 >   2.756830 | c 14 >  -1.000000 | c 11 >   8.228820 | c 12 >   4.687430 | c 21 >  14.609800 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   4.132560 | c 24 >   1.222160 | 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 >  11.916300 | 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 >  15.966600 | c 31 >  -1.000000 | c 4 >   8.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.71/13.98	c choco : 47.67
13.71/13.98	c mistral : 5.35519
13.71/13.98	c abscon : 5.65114
13.71/13.98	c
13.71/13.98	c
13.71/13.98	c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-1.xml
13.71/13.99	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.869300 | c 15 >   9.842350 | c 34 >  68.349300 | c 16 >   2.000000 | c 13 >   2.756830 | c 14 >  -1.000000 | c 11 >   8.228820 | c 12 >   4.687430 | c 21 >  14.609800 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   4.132560 | c 24 >   1.222160 | 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 >  11.916300 | 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 >  15.966600 | c 31 >  -1.000000 | c 4 >   8.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.71/13.99	c choco : 49.15
13.71/13.99	c mistral : 19.3991
13.71/13.99	c abscon : 5.2442
13.71/13.99	c
13.71/13.99	c
13.71/13.99	c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-5.xml
13.71/13.99	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.869300 | c 15 >   9.836050 | c 34 >  68.349300 | c 16 >   2.000000 | c 13 >   2.756830 | c 14 >  -1.000000 | c 11 >   8.228820 | c 12 >   4.687430 | c 21 >  14.609800 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   4.132560 | c 24 >   1.222160 | 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 >  11.916300 | 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 >  15.966600 | c 31 >  -1.000000 | c 4 >   8.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.71/14.00	c choco : 47.76
13.71/14.00	c mistral : 4.6153
13.71/14.00	c abscon : 5.52716
13.71/14.00	c
13.71/14.00	c
13.71/14.00	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-5.xml
13.71/14.00	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.405000 | c 15 >  10.734700 | c 34 >  68.089200 | c 16 >   2.000000 | c 13 >   2.526390 | c 14 >  -1.000000 | c 11 >   8.643860 | c 12 >   4.449560 | c 21 >  14.427800 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   4.100630 | c 24 >   0.735165 | 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 >  12.093400 | 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.345400 | c 31 >  -1.000000 | c 4 >   8.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.78/14.00	c choco : 1801.0
13.78/14.00	c mistral : 31.0823
13.78/14.00	c abscon : 15.9926
13.78/14.00	c
13.78/14.00	c
13.78/14.00	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-4.xml
13.78/14.00	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.405000 | c 15 >  10.730500 | c 34 >  68.089200 | c 16 >   2.000000 | c 13 >   2.526390 | c 14 >  -1.000000 | c 11 >   8.643860 | c 12 >   4.449560 | c 21 >  14.427800 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   4.100630 | c 24 >   0.735165 | 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 >  12.093400 | 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.345400 | c 31 >  -1.000000 | c 4 >   8.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.78/14.01	c choco : 1801.0
13.78/14.01	c mistral : 1800.02
13.78/14.01	c abscon : 14.5538
13.78/14.01	c
13.78/14.01	c
13.78/14.01	c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-8.xml
13.78/14.01	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.869300 | c 15 >   9.810570 | c 34 >  68.349300 | c 16 >   2.000000 | c 13 >   2.756830 | c 14 >  -1.000000 | c 11 >   8.228820 | c 12 >   4.687430 | c 21 >  14.609800 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   4.132560 | c 24 >   1.222160 | 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 >  11.916300 | 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 >  15.966600 | c 31 >  -1.000000 | c 4 >   8.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.78/14.02	c choco : 47.94
13.78/14.02	c mistral : 4.84926
13.78/14.02	c abscon : 5.64914
13.78/14.02	c
13.78/14.02	c
13.78/14.02	c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-0.xml
13.78/14.02	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.938900 | c 15 >  10.205800 | c 34 >  68.192900 | c 16 >   2.000000 | c 13 >   2.725340 | c 14 >  -1.000000 | c 11 >   8.451210 | c 12 >   4.736450 | c 21 >  15.053300 | c 20 >   0.000000 | c 22 >  16.431700 | c 23 >   4.379970 | c 24 >   0.967305 | 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 >  12.187700 | 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.275200 | c 31 >  -1.000000 | c 4 >   8.451210 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.78/14.02	c choco : 281.41
13.78/14.02	c mistral : 45.1561
13.78/14.02	c abscon : 5.50616
13.78/14.02	c
13.78/14.02	c
13.78/14.02	c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-3.xml
13.78/14.02	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.869300 | c 15 >   9.804130 | c 34 >  68.349300 | c 16 >   2.000000 | c 13 >   2.756830 | c 14 >  -1.000000 | c 11 >   8.228820 | c 12 >   4.687430 | c 21 >  14.609800 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   4.132560 | c 24 >   1.222160 | 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 >  11.916300 | 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 >  15.966600 | c 31 >  -1.000000 | c 4 >   8.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.78/14.03	c choco : 48.71
13.78/14.03	c mistral : 6.76797
13.78/14.03	c abscon : 5.33119
13.78/14.03	c
13.78/14.03	c
13.78/14.03	c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-7.xml
13.78/14.03	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.869300 | c 15 >   9.802520 | c 34 >  68.349300 | c 16 >   2.000000 | c 13 >   2.756830 | c 14 >  -1.000000 | c 11 >   8.228820 | c 12 >   4.687430 | c 21 >  14.609800 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   4.132560 | c 24 >   1.222160 | 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 >  11.916300 | 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 >  15.966600 | c 31 >  -1.000000 | c 4 >   8.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.78/14.03	c choco : 47.34
13.78/14.03	c mistral : 4.98124
13.78/14.03	c abscon : 5.61215
13.78/14.03	c
13.78/14.03	c
13.78/14.03	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-3.xml
13.78/14.03	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.405000 | c 15 >  10.645700 | c 34 >  68.089200 | c 16 >   2.000000 | c 13 >   2.526390 | c 14 >  -1.000000 | c 11 >   8.643860 | c 12 >   4.449560 | c 21 >  14.427800 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   4.100630 | c 24 >   0.735165 | 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 >  12.093400 | 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.345400 | c 31 >  -1.000000 | c 4 >   8.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.78/14.04	c choco : 245.07
13.78/14.04	c mistral : 279.471
13.78/14.04	c abscon : 6.48201
13.78/14.04	c
13.78/14.04	c
13.78/14.04	c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-2.xml
13.78/14.04	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.869300 | c 15 >   9.764870 | c 34 >  68.349300 | c 16 >   2.000000 | c 13 >   2.756830 | c 14 >  -1.000000 | c 11 >   8.228820 | c 12 >   4.687430 | c 21 >  14.609800 | c 20 >   0.000000 | c 22 >  17.378100 | c 23 >   4.132560 | c 24 >   1.222160 | 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 >  11.916300 | 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 >  15.966600 | c 31 >  -1.000000 | c 4 >   8.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.78/14.04	c choco : 49.45
13.78/14.04	c mistral : 20.1399
13.78/14.05	c abscon : 5.41218
13.78/14.05	c
13.78/14.05	c
13.78/14.05	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-2.xml
13.78/14.05	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.405000 | c 15 >  10.593400 | c 34 >  68.089200 | c 16 >   2.000000 | c 13 >   2.526390 | c 14 >  -1.000000 | c 11 >   8.643860 | c 12 >   4.449560 | c 21 >  14.427800 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   4.100630 | c 24 >   0.735165 | 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 >  12.093400 | 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.345400 | c 31 >  -1.000000 | c 4 >   8.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.78/14.05	c choco : 183.12
13.78/14.05	c mistral : 246.183
13.78/14.05	c abscon : 6.94994
13.78/14.05	c
13.78/14.05	c
13.78/14.05	c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-1.xml
13.78/14.05	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.405000 | c 15 >  10.581200 | c 34 >  68.089200 | c 16 >   2.000000 | c 13 >   2.526390 | c 14 >  -1.000000 | c 11 >   8.643860 | c 12 >   4.449560 | c 21 >  14.427800 | c 20 >   0.000000 | c 22 >  18.708300 | c 23 >   4.100630 | c 24 >   0.735165 | 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 >  12.093400 | 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.345400 | c 31 >  -1.000000 | c 4 >   8.643860 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.78/14.06	c choco : 146.7
13.78/14.06	c mistral : 255.495
13.78/14.06	c abscon : 6.25605
13.78/14.06	c
13.78/14.06	c
13.78/14.06	c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-9.xml
13.78/14.06	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.043200 | c 15 >  11.868400 | c 34 >  68.279600 | c 16 >   2.000000 | c 13 >   2.796090 | c 14 >  -1.000000 | c 11 >   8.228820 | c 12 >   4.866910 | c 21 >  13.358600 | c 20 >   0.000000 | c 22 >  15.811400 | c 23 >   3.378010 | 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 >  12.095700 | 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 >  15.708200 | c 31 >  -1.000000 | c 4 >   8.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.78/14.06	c choco : 80.85
13.78/14.06	c mistral : 12.5891
13.78/14.06	c abscon : 10.0495
13.78/14.06	c
13.78/14.06	c
13.78/14.06	c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-10.xml
13.78/14.06	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.043200 | c 15 >  12.038900 | c 34 >  68.279600 | c 16 >   2.000000 | c 13 >   2.796090 | c 14 >  -1.000000 | c 11 >   8.228820 | c 12 >   4.866910 | c 21 >  13.358600 | c 20 >   0.000000 | c 22 >  15.811400 | c 23 >   3.378010 | 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 >  12.095700 | 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 >  15.708200 | c 31 >  -1.000000 | c 4 >   8.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.78/14.07	c choco : 33.36
13.78/14.07	c mistral : 6.83796
13.78/14.08	c abscon : 10.5184
13.78/14.08	c
13.78/14.08	c
13.78/14.08	c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-8.xml
13.78/14.08	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.043200 | c 15 >  11.723700 | c 34 >  68.279600 | c 16 >   2.000000 | c 13 >   2.796090 | c 14 >  -1.000000 | c 11 >   8.228820 | c 12 >   4.866910 | c 21 >  13.358600 | c 20 >   0.000000 | c 22 >  15.811400 | c 23 >   3.378010 | 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 >  12.095700 | 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 >  15.708200 | c 31 >  -1.000000 | c 4 >   8.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.78/14.08	c choco : 1801.0
13.78/14.08	c mistral : 39.28
13.78/14.08	c abscon : 9.8585
13.78/14.08	c
13.78/14.08	c
13.78/14.08	c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-7.xml
13.78/14.08	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.043200 | c 15 >  11.670200 | c 34 >  68.279600 | c 16 >   2.000000 | c 13 >   2.796090 | c 14 >  -1.000000 | c 11 >   8.228820 | c 12 >   4.866910 | c 21 >  13.358600 | c 20 >   0.000000 | c 22 >  15.811400 | c 23 >   3.378010 | 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 >  12.095700 | 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 >  15.708200 | c 31 >  -1.000000 | c 4 >   8.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.78/14.09	c choco : 115.65
13.78/14.09	c mistral : 1800.08
13.78/14.09	c abscon : 11.0983
13.78/14.09	c
13.78/14.09	c
13.78/14.09	c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-5.xml
13.78/14.09	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.043200 | c 15 >  11.494900 | c 34 >  68.279600 | c 16 >   2.000000 | c 13 >   2.796090 | c 14 >  -1.000000 | c 11 >   8.228820 | c 12 >   4.866910 | c 21 >  13.358600 | c 20 >   0.000000 | c 22 >  15.811400 | c 23 >   3.378010 | 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 >  12.095700 | 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 >  15.708200 | c 31 >  -1.000000 | c 4 >   8.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.78/14.09	c choco : 30.96
13.78/14.09	c mistral : 2.38464
13.78/14.09	c abscon : 5.81212
13.78/14.09	c
13.78/14.09	c
13.78/14.09	c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-4.xml
13.78/14.09	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.043200 | c 15 >  11.475700 | c 34 >  68.279600 | c 16 >   2.000000 | c 13 >   2.796090 | c 14 >  -1.000000 | c 11 >   8.228820 | c 12 >   4.866910 | c 21 >  13.358600 | c 20 >   0.000000 | c 22 >  15.811400 | c 23 >   3.378010 | 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 >  12.095700 | 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 >  15.708200 | c 31 >  -1.000000 | c 4 >   8.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.84/14.10	c choco : 30.87
13.84/14.10	c mistral : 2.28165
13.84/14.10	c abscon : 5.48517
13.84/14.10	c
13.84/14.10	c
13.84/14.10	c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-6.xml
13.84/14.10	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.043200 | c 15 >  11.456400 | c 34 >  68.279600 | c 16 >   2.000000 | c 13 >   2.796090 | c 14 >  -1.000000 | c 11 >   8.228820 | c 12 >   4.866910 | c 21 >  13.358600 | c 20 >   0.000000 | c 22 >  15.811400 | c 23 >   3.378010 | 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 >  12.095700 | 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 >  15.708200 | c 31 >  -1.000000 | c 4 >   8.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.84/14.11	c choco : 1801.0
13.84/14.11	c mistral : 8.45871
13.84/14.11	c abscon : 6.12907
13.84/14.11	c
13.84/14.11	c
13.84/14.11	c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-3.xml
13.84/14.11	c 19 > 100.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  43.043200 | c 15 >  11.419400 | c 34 >  68.279600 | c 16 >   2.000000 | c 13 >   2.796090 | c 14 >  -1.000000 | c 11 >   8.228820 | c 12 >   4.866910 | c 21 >  13.358600 | c 20 >   0.000000 | c 22 >  15.811400 | c 23 >   3.378010 | 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 >  12.095700 | 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 >  15.708200 | c 31 >  -1.000000 | c 4 >   8.228820 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
13.84/14.12	c choco : 31.97
13.84/14.12	c mistral : 2.46962
13.84/14.12	c abscon : 5.44917
13.84/14.12	c
13.84/14.12	c
13.84/14.12	c Length: 40
13.84/14.12	c 1.3369599260355571  1.4288016215783776  1.4634053552672963  1.5160958557508826  1.5490129514710334  1.6250313977966702  1.6525783018740747  1.6793542579887661  1.713292807381447  1.731313675745964  1.9038816503724705  1.912225566878814  1.9494464415892538  1.9817139497477942  2.013919999999999  2.0456483614309184  2.052109999999999  2.05677  2.0676799999999993  2.07081  2.07395  2.0802499999999995  2.0854735046566764  2.0878560339795946  2.1057299999999994  2.1082799823137823  2.112169999999999  2.11378  2.1371582858143667  2.1514299999999995  2.1686598600575886  2.1761234313854994  2.2236883159777583  2.226550263662601  2.2314995130216806  2.236752227363594  2.262757891736541  2.266412071229766  2.2702430104761904  2.278026542122808  
13.84/14.12	c 
13.84/14.12	c 1.0  0.9110843677907078  0.8815512857337782  0.8400861251507133  0.8161049228547922  0.7656313195327068  0.7488484561633398  0.7332257498944835  0.7143365531267107  0.7046969180563185  0.6240543052359074  0.6206203236698533  0.6057511628799235  0.5934256324260225  0.5816137779885361  0.5704280858188779  0.5682025919313003  0.5666083591419184  0.5629107000834851  0.5618587609024341  0.5608074039848205  0.558709815827887  0.5569825090484585  0.5561981967575832  0.5503839176938002  0.5495643193644282  0.5483187073168877  0.5478048241114976  0.5404499769595311  0.5360563646548113  0.5308463294443584  0.5286207691663597  0.5148644202347094  0.5140595097174718  0.5126734778470532  0.5112106132546993  0.5040893834869483  0.503104612242725  0.5020763285646285  0.5  
13.84/14.13	c
13.84/14.13	c solver 0
13.84/14.13	c	  before 0.0 seconds: {} 0
13.84/14.13	c	  before 18.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} 24597
13.84/14.13	c
13.84/14.13	c solver 1
13.84/14.13	c	  before 0.0 seconds: {} 0
13.84/14.13	c	  before 18.0 seconds: {10, 11, 12, 13, 15, 16, 17, 18, 19, 21, 24, 26, 27, 32, 33, 36, 37, 38, 39} 10517
13.84/14.13	c	  before 36.0 seconds: {10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 26, 27, 29, 32, 33, 36, 37, 38, 39} 12752
13.84/14.13	c	  before 54.0 seconds: {10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 29, 32, 33, 34, 36, 37, 38, 39} 13814
13.84/14.13	c	  before 252.0 seconds: {10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 29, 30, 32, 33, 34, 36, 37, 38, 39} 14345
13.84/14.14	c	  before 270.0 seconds: {10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 14874
13.84/14.14	c	  before 288.0 seconds: {10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 15414
13.84/14.14	c	  before 522.0 seconds: {8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 16129
13.84/14.14	c
13.84/14.14	c solver 2
13.84/14.14	c	  before 0.0 seconds: {} 0
13.84/14.14	c	  before 36.0 seconds: {33, 36, 37, 39} 2021
13.84/14.14	c	  before 54.0 seconds: {10, 14, 16, 17, 18, 19, 20, 21, 24, 26, 27, 29, 33, 36, 37, 39} 8788
13.84/14.14	c	  before 72.0 seconds: {10, 11, 14, 16, 17, 18, 19, 20, 21, 24, 26, 27, 29, 33, 36, 37, 39} 9409
13.84/14.14	c	  before 90.0 seconds: {10, 11, 14, 16, 17, 18, 19, 20, 21, 24, 26, 27, 29, 32, 33, 36, 37, 39} 9924
13.84/14.14	c	  before 108.0 seconds: {10, 11, 13, 14, 16, 17, 18, 19, 20, 21, 24, 26, 27, 29, 32, 33, 36, 37, 39} 10517
13.84/14.14	c	  before 126.0 seconds: {10, 11, 13, 14, 16, 17, 18, 19, 20, 21, 24, 26, 27, 29, 32, 33, 35, 36, 37, 39} 11028
13.84/14.14	c	  before 162.0 seconds: {10, 11, 13, 14, 16, 17, 18, 19, 20, 21, 24, 26, 27, 29, 31, 32, 33, 35, 36, 37, 39} 11557
13.84/14.14	c	  before 198.0 seconds: {10, 11, 13, 14, 16, 17, 18, 19, 20, 21, 24, 26, 27, 29, 30, 31, 32, 33, 35, 36, 37, 39} 12088
13.84/14.14	c	  before 216.0 seconds: {10, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 24, 26, 27, 29, 30, 31, 32, 33, 35, 36, 37, 39} 12658
13.84/14.14	c	  before 252.0 seconds: {10, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 24, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 39} 13199
13.84/14.14	c	  before 288.0 seconds: {10, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 39} 13748
13.84/14.14	c
13.84/14.14	cTotal time: 46
13.84/14.14	c 828.0 seconds unused
13.84/14.14	c 0 c 11 c 15 
13.84/14.14	c 0 c 0 c 5 
13.84/14.14	c 0 c 1 c 0 
13.84/14.14	c is solver0 dominated by:
13.84/14.14	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)
13.84/14.14	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: true) (0 is equally as fast as 2: false) (0 < 2: false)
13.84/14.14	c is dominated? false
13.84/14.14	c
13.84/14.14	c is solver1 dominated by:
13.84/14.14	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)
13.84/14.14	c is dominated? true
13.84/14.14	c
13.84/14.14	c is solver2 dominated by:
13.84/14.14	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: false) (2 is equally as fast as 0: false) (2 < 0: true)
13.84/14.14	c is dominated? true
13.84/14.14	c
13.84/14.14	c Number of non-dominated solvers: 1
13.84/14.14	c remove dominated solvers
13.84/14.14	c solver 0 is not dominated by another solver
13.84/14.14	c solver 2 is dominated by another solver
13.84/14.14	c solver 1 is dominated by another solver
13.84/14.14	c
13.84/14.14	c solver 0: 18.0
13.84/14.14	c
13.84/14.14	c+ 1/1 of 99
13.84/14.14	c
13.84/14.14	c solver 1: 0.0
13.84/14.14	c
13.84/14.14	c solver 2: 0.0
13.84/14.14	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} 24597
13.84/14.14	c	 do not run mistral
13.84/14.14	c	 do not run choco
13.84/14.14	c Starting solver: HOME/cpHydra_k_40/solver/abscon
13.84/14.14	c On Instance: HOME/instance-1094986-1215280415.xml
13.84/14.14	c Running for: 1800 seconds
34.01/34.79	s UNSATISFIABLE
34.01/34.79	d ASSIGNMENTS 0
34.01/34.79	d CHECKS 91331

Verifier Data (download as text)

No possible verification on an UNSAT instance

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

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


[startup+0 s]
/proc/loadavg: 2.21 2.07 2.02 4/81 16472
/proc/meminfo: memFree=1551224/2055920 swapFree=4180436/4192956
[pid=16472] ppid=16470 vsize=5360 CPUtime=0
/proc/16472/stat : 16472 (hydra) S 16470 16472 14240 0 -1 4194304 285 0 0 0 0 0 0 0 20 0 1 0 2007013716 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16472/statm: 1340 236 195 169 0 51 0
[pid=16473] ppid=16472 vsize=144 CPUtime=0
/proc/16473/stat : 16473 (rm) R 16472 16472 14240 0 -1 4194304 44 0 0 0 0 0 0 0 22 0 1 0 2007013717 147456 22 996147200 4194304 4227748 548682069024 18446744073709551615 255536985365 0 0 4096 0 0 0 0 17 1 0 0
/proc/16473/statm: 36 22 16 8 0 3 0

[startup+0.109233 s]
/proc/loadavg: 2.21 2.07 2.02 4/81 16472
/proc/meminfo: memFree=1551224/2055920 swapFree=4180436/4192956
[pid=16472] ppid=16470 vsize=5360 CPUtime=0
/proc/16472/stat : 16472 (hydra) S 16470 16472 14240 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2007013716 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16472/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.201246 s]
/proc/loadavg: 2.21 2.07 2.02 4/81 16472
/proc/meminfo: memFree=1551224/2055920 swapFree=4180436/4192956
[pid=16472] ppid=16470 vsize=5360 CPUtime=0
/proc/16472/stat : 16472 (hydra) S 16470 16472 14240 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2007013716 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16472/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.301244 s]
/proc/loadavg: 2.21 2.07 2.02 4/81 16472
/proc/meminfo: memFree=1551224/2055920 swapFree=4180436/4192956
[pid=16472] ppid=16470 vsize=5360 CPUtime=0
/proc/16472/stat : 16472 (hydra) S 16470 16472 14240 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2007013716 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16472/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.701282 s]
/proc/loadavg: 2.21 2.07 2.02 4/81 16472
/proc/meminfo: memFree=1551224/2055920 swapFree=4180436/4192956
[pid=16472] ppid=16470 vsize=5360 CPUtime=0
/proc/16472/stat : 16472 (hydra) S 16470 16472 14240 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2007013716 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16472/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+1.50136 s]
/proc/loadavg: 2.21 2.07 2.02 4/83 16476
/proc/meminfo: memFree=1543720/2055920 swapFree=4180436/4192956
[pid=16472] ppid=16470 vsize=5360 CPUtime=0
/proc/16472/stat : 16472 (hydra) S 16470 16472 14240 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2007013716 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16472/statm: 1340 236 195 169 0 51 0
[pid=16476] ppid=16472 vsize=15536 CPUtime=1.47
/proc/16476/stat : 16476 (xsolve) R 16472 16472 14240 0 -1 4194304 2236 0 0 0 146 1 0 0 25 0 1 0 2007013717 15908864 2195 996147200 134512640 135239763 4294956176 18446744073709551615 134535664 0 0 4096 0 0 0 0 17 1 0 0
/proc/16476/statm: 3884 2195 416 177 0 2787 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 20896

[startup+3.10151 s]
/proc/loadavg: 2.21 2.07 2.02 3/83 16476
/proc/meminfo: memFree=1543528/2055920 swapFree=4180436/4192956
[pid=16472] ppid=16470 vsize=5360 CPUtime=0
/proc/16472/stat : 16472 (hydra) S 16470 16472 14240 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2007013716 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16472/statm: 1340 236 195 169 0 51 0
[pid=16476] ppid=16472 vsize=15536 CPUtime=3.06
/proc/16476/stat : 16476 (xsolve) R 16472 16472 14240 0 -1 4194304 2236 0 0 0 305 1 0 0 25 0 1 0 2007013717 15908864 2195 996147200 134512640 135239763 4294956176 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 1 0 0
/proc/16476/statm: 3884 2195 416 177 0 2787 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 20896

[startup+6.3028 s]
/proc/loadavg: 2.20 2.07 2.01 3/83 16476
/proc/meminfo: memFree=1543784/2055920 swapFree=4180436/4192956
[pid=16472] ppid=16470 vsize=5360 CPUtime=0
/proc/16472/stat : 16472 (hydra) S 16470 16472 14240 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2007013716 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16472/statm: 1340 236 195 169 0 51 0
[pid=16476] ppid=16472 vsize=15536 CPUtime=6.23
/proc/16476/stat : 16476 (xsolve) R 16472 16472 14240 0 -1 4194304 2236 0 0 0 621 2 0 0 25 0 1 0 2007013717 15908864 2195 996147200 134512640 135239763 4294956176 18446744073709551615 134532191 0 0 4096 0 0 0 0 17 1 0 0
/proc/16476/statm: 3884 2195 416 177 0 2787 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 20896

[startup+12.7024 s]
/proc/loadavg: 2.18 2.07 2.01 3/91 16488
/proc/meminfo: memFree=1529000/2055920 swapFree=4180436/4192956
[pid=16472] ppid=16470 vsize=5360 CPUtime=7.79
/proc/16472/stat : 16472 (hydra) S 16470 16472 14240 0 -1 4194304 375 2834 0 0 0 0 776 3 19 0 1 0 2007013716 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16472/statm: 1340 238 196 169 0 51 0
[pid=16480] ppid=16472 vsize=197096 CPUtime=4.77
/proc/16480/stat : 16480 (java) S 16472 16472 14240 0 -1 0 10235 0 1 0 460 17 0 0 21 0 9 0 2007014504 201826304 8486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16480/statm: 49274 8486 2541 9 0 43856 0
[pid=16480/tid=16481] ppid=16472 vsize=197096 CPUtime=3.76
/proc/16480/task/16481/stat : 16481 (java) R 16472 16472 14240 0 -1 64 3589 0 1 0 371 5 0 0 25 0 9 0 2007014505 201826304 8486 996147200 134512640 134550740 4294955968 18446744073709551615 4126487767 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16482] ppid=16472 vsize=197096 CPUtime=0.8
/proc/16480/task/16482/stat : 16482 (java) S 16472 16472 14240 0 -1 64 5293 0 0 0 71 9 0 0 16 0 9 0 2007014506 201826304 8486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16483] ppid=16472 vsize=197096 CPUtime=0
/proc/16480/task/16483/stat : 16483 (java) S 16472 16472 14240 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2007014506 201826304 8486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16484] ppid=16472 vsize=197096 CPUtime=0
/proc/16480/task/16484/stat : 16484 (java) S 16472 16472 14240 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2007014506 201826304 8486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16485] ppid=16472 vsize=197096 CPUtime=0
/proc/16480/task/16485/stat : 16485 (java) S 16472 16472 14240 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2007014508 201826304 8486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16486] ppid=16472 vsize=197096 CPUtime=0.17
/proc/16480/task/16486/stat : 16486 (java) S 16472 16472 14240 0 -1 64 627 0 0 0 17 0 0 0 16 0 9 0 2007014508 201826304 8486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16487] ppid=16472 vsize=197096 CPUtime=0
/proc/16480/task/16487/stat : 16487 (java) S 16472 16472 14240 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2007014508 201826304 8486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16488] ppid=16472 vsize=197096 CPUtime=0
/proc/16480/task/16488/stat : 16488 (java) S 16472 16472 14240 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2007014508 201826304 8486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 202456

[startup+25.5026 s]
/proc/loadavg: 2.14 2.06 2.01 3/103 16500
/proc/meminfo: memFree=1471496/2055920 swapFree=4180436/4192956
[pid=16472] ppid=16470 vsize=5360 CPUtime=7.79
/proc/16472/stat : 16472 (hydra) S 16470 16472 14240 0 -1 4194304 375 2834 0 0 0 0 776 3 19 0 1 0 2007013716 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16472/statm: 1340 238 196 169 0 51 0
[pid=16480] ppid=16472 vsize=197420 CPUtime=6.09
/proc/16480/stat : 16480 (java) S 16472 16472 14240 0 -1 0 13963 0 1 0 586 23 0 0 21 0 10 0 2007014504 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16480/statm: 49355 9479 2544 9 0 43937 0
[pid=16490] ppid=16480 vsize=5356 CPUtime=0
/proc/16490/stat : 16490 (abscon) S 16480 16472 14240 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 2007015131 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 255539602244 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/16490/statm: 1339 235 194 169 0 50 0
[pid=16491] ppid=16490 vsize=655876 CPUtime=11.11
/proc/16491/stat : 16491 (java) S 16490 16472 14240 0 -1 0 15037 0 1 0 1097 14 0 0 18 0 9 0 2007015132 671617024 14538 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16491/statm: 163969 14538 2007 9 0 158497 0
[pid=16491/tid=16493] ppid=16490 vsize=655876 CPUtime=10.8
/proc/16491/task/16493/stat : 16493 (java) R 16490 16472 14240 0 -1 64 12454 0 1 0 1068 12 0 0 25 0 9 0 2007015133 671617024 14538 996147200 134512640 134550740 4294955808 18446744073709551615 4126874209 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16491/tid=16494] ppid=16490 vsize=655876 CPUtime=0.03
/proc/16491/task/16494/stat : 16494 (java) S 16490 16472 14240 0 -1 64 1347 0 0 0 3 0 0 0 16 0 9 0 2007015134 671617024 14538 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16491/tid=16495] ppid=16490 vsize=655876 CPUtime=0
/proc/16491/task/16495/stat : 16495 (java) S 16490 16472 14240 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2007015135 671617024 14538 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16491/tid=16496] ppid=16490 vsize=655876 CPUtime=0
/proc/16491/task/16496/stat : 16496 (java) S 16490 16472 14240 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2007015135 671617024 14538 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16491/tid=16497] ppid=16490 vsize=655876 CPUtime=0
/proc/16491/task/16497/stat : 16497 (java) S 16490 16472 14240 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2007015137 671617024 14538 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16491/tid=16498] ppid=16490 vsize=655876 CPUtime=0.24
/proc/16491/task/16498/stat : 16498 (java) S 16490 16472 14240 0 -1 64 691 0 0 0 24 0 0 0 16 0 9 0 2007015137 671617024 14538 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16491/tid=16499] ppid=16490 vsize=655876 CPUtime=0
/proc/16491/task/16499/stat : 16499 (java) S 16490 16472 14240 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2007015137 671617024 14538 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16491/tid=16500] ppid=16490 vsize=655876 CPUtime=0
/proc/16491/task/16500/stat : 16500 (java) S 16490 16472 14240 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2007015137 671617024 14538 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16492] ppid=16490 vsize=7044 CPUtime=0
/proc/16492/stat : 16492 (translate) S 16490 16472 14240 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2007015132 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 255539773522 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/16492/statm: 1761 213 182 1 0 41 0
[pid=16480/tid=16481] ppid=16472 vsize=197420 CPUtime=4.7
/proc/16480/task/16481/stat : 16481 (java) S 16472 16472 14240 0 -1 64 3901 0 1 0 462 8 0 0 25 0 10 0 2007014505 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=16480/tid=16482] ppid=16472 vsize=197420 CPUtime=1.11
/proc/16480/task/16482/stat : 16482 (java) S 16472 16472 14240 0 -1 64 8570 0 0 0 99 12 0 0 16 0 10 0 2007014506 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16483] ppid=16472 vsize=197420 CPUtime=0
/proc/16480/task/16483/stat : 16483 (java) S 16472 16472 14240 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2007014506 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16484] ppid=16472 vsize=197420 CPUtime=0
/proc/16480/task/16484/stat : 16484 (java) S 16472 16472 14240 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2007014506 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16485] ppid=16472 vsize=197420 CPUtime=0
/proc/16480/task/16485/stat : 16485 (java) S 16472 16472 14240 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2007014508 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16486] ppid=16472 vsize=197420 CPUtime=0.23
/proc/16480/task/16486/stat : 16486 (java) S 16472 16472 14240 0 -1 64 667 0 0 0 23 0 0 0 16 0 10 0 2007014508 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16487] ppid=16472 vsize=197420 CPUtime=0
/proc/16480/task/16487/stat : 16487 (java) S 16472 16472 14240 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2007014508 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16488] ppid=16472 vsize=197420 CPUtime=0
/proc/16480/task/16488/stat : 16488 (java) S 16472 16472 14240 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 2007014508 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16489] ppid=16472 vsize=197420 CPUtime=0
/proc/16480/task/16489/stat : 16489 (java) S 16472 16472 14240 0 -1 64 68 0 0 0 0 0 0 0 25 0 10 0 2007015131 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.99
Current children cumulated vsize (KiB) 871056

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

[startup+25.6026 s]
/proc/loadavg: 2.14 2.06 2.01 3/103 16500
/proc/meminfo: memFree=1471496/2055920 swapFree=4180436/4192956
[pid=16472] ppid=16470 vsize=5360 CPUtime=7.79
/proc/16472/stat : 16472 (hydra) S 16470 16472 14240 0 -1 4194304 375 2834 0 0 0 0 776 3 19 0 1 0 2007013716 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16472/statm: 1340 238 196 169 0 51 0
[pid=16480] ppid=16472 vsize=197420 CPUtime=6.09
/proc/16480/stat : 16480 (java) S 16472 16472 14240 0 -1 0 13963 0 1 0 586 23 0 0 21 0 10 0 2007014504 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16480/statm: 49355 9479 2544 9 0 43937 0
[pid=16490] ppid=16480 vsize=5356 CPUtime=0
/proc/16490/stat : 16490 (abscon) S 16480 16472 14240 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 2007015131 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 255539602244 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/16490/statm: 1339 235 194 169 0 50 0
[pid=16491] ppid=16490 vsize=655876 CPUtime=11.21
/proc/16491/stat : 16491 (java) S 16490 16472 14240 0 -1 0 15037 0 1 0 1107 14 0 0 18 0 9 0 2007015132 671617024 14538 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16491/statm: 163969 14538 2007 9 0 158497 0
[pid=16491/tid=16493] ppid=16490 vsize=655876 CPUtime=10.9
/proc/16491/task/16493/stat : 16493 (java) R 16490 16472 14240 0 -1 64 12454 0 1 0 1078 12 0 0 25 0 9 0 2007015133 671617024 14538 996147200 134512640 134550740 4294955808 18446744073709551615 4126902745 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16491/tid=16494] ppid=16490 vsize=655876 CPUtime=0.03
/proc/16491/task/16494/stat : 16494 (java) S 16490 16472 14240 0 -1 64 1347 0 0 0 3 0 0 0 16 0 9 0 2007015134 671617024 14538 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16491/tid=16495] ppid=16490 vsize=655876 CPUtime=0

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

/proc/16491/task/16496/stat : 16496 (java) S 16490 16472 14240 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2007015135 671617024 16714 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16491/tid=16497] ppid=16490 vsize=655876 CPUtime=0
/proc/16491/task/16497/stat : 16497 (java) S 16490 16472 14240 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2007015137 671617024 16714 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16491/tid=16498] ppid=16490 vsize=655876 CPUtime=0.26
/proc/16491/task/16498/stat : 16498 (java) S 16490 16472 14240 0 -1 64 704 0 0 0 26 0 0 0 15 0 9 0 2007015137 671617024 16714 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16491/tid=16499] ppid=16490 vsize=655876 CPUtime=0
/proc/16491/task/16499/stat : 16499 (java) S 16490 16472 14240 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2007015137 671617024 16714 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16491/tid=16500] ppid=16490 vsize=655876 CPUtime=0
/proc/16491/task/16500/stat : 16500 (java) S 16490 16472 14240 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2007015137 671617024 16714 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16492] ppid=16490 vsize=7044 CPUtime=0
/proc/16492/stat : 16492 (translate) S 16490 16472 14240 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2007015132 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 255539773522 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/16492/statm: 1761 213 182 1 0 41 0
[pid=16480/tid=16481] ppid=16472 vsize=197420 CPUtime=4.7
/proc/16480/task/16481/stat : 16481 (java) S 16472 16472 14240 0 -1 64 3901 0 1 0 462 8 0 0 25 0 10 0 2007014505 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=16480/tid=16482] ppid=16472 vsize=197420 CPUtime=1.11
/proc/16480/task/16482/stat : 16482 (java) S 16472 16472 14240 0 -1 64 8570 0 0 0 99 12 0 0 16 0 10 0 2007014506 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16483] ppid=16472 vsize=197420 CPUtime=0
/proc/16480/task/16483/stat : 16483 (java) S 16472 16472 14240 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2007014506 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16484] ppid=16472 vsize=197420 CPUtime=0
/proc/16480/task/16484/stat : 16484 (java) S 16472 16472 14240 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2007014506 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16485] ppid=16472 vsize=197420 CPUtime=0
/proc/16480/task/16485/stat : 16485 (java) S 16472 16472 14240 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2007014508 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16486] ppid=16472 vsize=197420 CPUtime=0.23
/proc/16480/task/16486/stat : 16486 (java) S 16472 16472 14240 0 -1 64 667 0 0 0 23 0 0 0 16 0 10 0 2007014508 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16487] ppid=16472 vsize=197420 CPUtime=0
/proc/16480/task/16487/stat : 16487 (java) S 16472 16472 14240 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2007014508 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16488] ppid=16472 vsize=197420 CPUtime=0
/proc/16480/task/16488/stat : 16488 (java) S 16472 16472 14240 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 2007014508 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16489] ppid=16472 vsize=197420 CPUtime=0
/proc/16480/task/16489/stat : 16489 (java) S 16472 16472 14240 0 -1 64 68 0 0 0 0 0 0 0 25 0 10 0 2007015131 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.37
Current children cumulated vsize (KiB) 871056

[startup+33.6023 s]
/proc/loadavg: 2.13 2.06 2.01 3/103 16500
/proc/meminfo: memFree=1462664/2055920 swapFree=4180436/4192956
[pid=16472] ppid=16470 vsize=5360 CPUtime=7.79
/proc/16472/stat : 16472 (hydra) S 16470 16472 14240 0 -1 4194304 375 2834 0 0 0 0 776 3 19 0 1 0 2007013716 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16472/statm: 1340 238 196 169 0 51 0
[pid=16480] ppid=16472 vsize=197420 CPUtime=6.09
/proc/16480/stat : 16480 (java) S 16472 16472 14240 0 -1 0 13963 0 1 0 586 23 0 0 21 0 10 0 2007014504 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16480/statm: 49355 9479 2544 9 0 43937 0
[pid=16490] ppid=16480 vsize=5356 CPUtime=0
/proc/16490/stat : 16490 (abscon) S 16480 16472 14240 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 2007015131 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 255539602244 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/16490/statm: 1339 235 194 169 0 50 0
[pid=16491] ppid=16490 vsize=655876 CPUtime=19.05
/proc/16491/stat : 16491 (java) S 16490 16472 14240 0 -1 0 17219 0 1 0 1884 21 0 0 18 0 9 0 2007015132 671617024 16717 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16491/statm: 163969 16717 2008 9 0 158497 0
[pid=16491/tid=16493] ppid=16490 vsize=655876 CPUtime=18.66
/proc/16491/task/16493/stat : 16493 (java) R 16490 16472 14240 0 -1 64 12458 0 1 0 1848 18 0 0 25 0 9 0 2007015133 671617024 16717 996147200 134512640 134550740 4294955808 18446744073709551615 4126878084 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16491/tid=16494] ppid=16490 vsize=655876 CPUtime=0.09
/proc/16491/task/16494/stat : 16494 (java) S 16490 16472 14240 0 -1 64 3509 0 0 0 8 1 0 0 16 0 9 0 2007015134 671617024 16717 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16491/tid=16495] ppid=16490 vsize=655876 CPUtime=0
/proc/16491/task/16495/stat : 16495 (java) S 16490 16472 14240 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2007015135 671617024 16717 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16491/tid=16496] ppid=16490 vsize=655876 CPUtime=0
/proc/16491/task/16496/stat : 16496 (java) S 16490 16472 14240 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2007015135 671617024 16717 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16491/tid=16497] ppid=16490 vsize=655876 CPUtime=0
/proc/16491/task/16497/stat : 16497 (java) S 16490 16472 14240 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2007015137 671617024 16717 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16491/tid=16498] ppid=16490 vsize=655876 CPUtime=0.27
/proc/16491/task/16498/stat : 16498 (java) S 16490 16472 14240 0 -1 64 707 0 0 0 27 0 0 0 15 0 9 0 2007015137 671617024 16717 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16491/tid=16499] ppid=16490 vsize=655876 CPUtime=0
/proc/16491/task/16499/stat : 16499 (java) S 16490 16472 14240 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2007015137 671617024 16717 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16491/tid=16500] ppid=16490 vsize=655876 CPUtime=0
/proc/16491/task/16500/stat : 16500 (java) S 16490 16472 14240 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2007015137 671617024 16717 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16492] ppid=16490 vsize=7044 CPUtime=0
/proc/16492/stat : 16492 (translate) S 16490 16472 14240 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2007015132 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 255539773522 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/16492/statm: 1761 213 182 1 0 41 0
[pid=16480/tid=16481] ppid=16472 vsize=197420 CPUtime=4.7
/proc/16480/task/16481/stat : 16481 (java) S 16472 16472 14240 0 -1 64 3901 0 1 0 462 8 0 0 25 0 10 0 2007014505 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=16480/tid=16482] ppid=16472 vsize=197420 CPUtime=1.11
/proc/16480/task/16482/stat : 16482 (java) S 16472 16472 14240 0 -1 64 8570 0 0 0 99 12 0 0 16 0 10 0 2007014506 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16483] ppid=16472 vsize=197420 CPUtime=0
/proc/16480/task/16483/stat : 16483 (java) S 16472 16472 14240 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2007014506 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16484] ppid=16472 vsize=197420 CPUtime=0
/proc/16480/task/16484/stat : 16484 (java) S 16472 16472 14240 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2007014506 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16485] ppid=16472 vsize=197420 CPUtime=0
/proc/16480/task/16485/stat : 16485 (java) S 16472 16472 14240 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2007014508 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16486] ppid=16472 vsize=197420 CPUtime=0.23
/proc/16480/task/16486/stat : 16486 (java) S 16472 16472 14240 0 -1 64 667 0 0 0 23 0 0 0 16 0 10 0 2007014508 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16487] ppid=16472 vsize=197420 CPUtime=0
/proc/16480/task/16487/stat : 16487 (java) S 16472 16472 14240 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2007014508 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16488] ppid=16472 vsize=197420 CPUtime=0
/proc/16480/task/16488/stat : 16488 (java) S 16472 16472 14240 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 2007014508 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16489] ppid=16472 vsize=197420 CPUtime=0
/proc/16480/task/16489/stat : 16489 (java) S 16472 16472 14240 0 -1 64 68 0 0 0 0 0 0 0 25 0 10 0 2007015131 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 32.93
Current children cumulated vsize (KiB) 871056

[startup+34.4024 s]
/proc/loadavg: 2.12 2.06 2.01 3/103 16500
/proc/meminfo: memFree=1462664/2055920 swapFree=4180436/4192956
[pid=16472] ppid=16470 vsize=5360 CPUtime=7.79
/proc/16472/stat : 16472 (hydra) S 16470 16472 14240 0 -1 4194304 375 2834 0 0 0 0 776 3 19 0 1 0 2007013716 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16472/statm: 1340 238 196 169 0 51 0
[pid=16480] ppid=16472 vsize=197420 CPUtime=6.09
/proc/16480/stat : 16480 (java) S 16472 16472 14240 0 -1 0 13963 0 1 0 586 23 0 0 21 0 10 0 2007014504 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16480/statm: 49355 9479 2544 9 0 43937 0
[pid=16490] ppid=16480 vsize=5356 CPUtime=0
/proc/16490/stat : 16490 (abscon) S 16480 16472 14240 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 2007015131 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 255539602244 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/16490/statm: 1339 235 194 169 0 50 0
[pid=16491] ppid=16490 vsize=655876 CPUtime=19.84
/proc/16491/stat : 16491 (java) S 16490 16472 14240 0 -1 0 17241 0 1 0 1962 22 0 0 18 0 9 0 2007015132 671617024 16733 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16491/statm: 163969 16733 2012 9 0 158497 0
[pid=16491/tid=16493] ppid=16490 vsize=655876 CPUtime=19.44
/proc/16491/task/16493/stat : 16493 (java) R 16490 16472 14240 0 -1 64 12477 0 1 0 1925 19 0 0 24 0 9 0 2007015133 671617024 16733 996147200 134512640 134550740 4294955808 18446744073709551615 4125958923 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16491/tid=16494] ppid=16490 vsize=655876 CPUtime=0.09
/proc/16491/task/16494/stat : 16494 (java) S 16490 16472 14240 0 -1 64 3509 0 0 0 8 1 0 0 16 0 9 0 2007015134 671617024 16733 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16491/tid=16495] ppid=16490 vsize=655876 CPUtime=0
/proc/16491/task/16495/stat : 16495 (java) S 16490 16472 14240 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2007015135 671617024 16733 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16491/tid=16496] ppid=16490 vsize=655876 CPUtime=0
/proc/16491/task/16496/stat : 16496 (java) S 16490 16472 14240 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2007015135 671617024 16733 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16491/tid=16497] ppid=16490 vsize=655876 CPUtime=0
/proc/16491/task/16497/stat : 16497 (java) S 16490 16472 14240 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2007015137 671617024 16733 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16491/tid=16498] ppid=16490 vsize=655876 CPUtime=0.27
/proc/16491/task/16498/stat : 16498 (java) S 16490 16472 14240 0 -1 64 710 0 0 0 27 0 0 0 16 0 9 0 2007015137 671617024 16733 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16491/tid=16499] ppid=16490 vsize=655876 CPUtime=0
/proc/16491/task/16499/stat : 16499 (java) S 16490 16472 14240 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2007015137 671617024 16733 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16491/tid=16500] ppid=16490 vsize=655876 CPUtime=0
/proc/16491/task/16500/stat : 16500 (java) S 16490 16472 14240 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2007015137 671617024 16733 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16492] ppid=16490 vsize=7044 CPUtime=0
/proc/16492/stat : 16492 (translate) S 16490 16472 14240 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2007015132 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 255539773522 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/16492/statm: 1761 213 182 1 0 41 0
[pid=16480/tid=16481] ppid=16472 vsize=197420 CPUtime=4.7
/proc/16480/task/16481/stat : 16481 (java) S 16472 16472 14240 0 -1 64 3901 0 1 0 462 8 0 0 25 0 10 0 2007014505 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=16480/tid=16482] ppid=16472 vsize=197420 CPUtime=1.11
/proc/16480/task/16482/stat : 16482 (java) S 16472 16472 14240 0 -1 64 8570 0 0 0 99 12 0 0 16 0 10 0 2007014506 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16483] ppid=16472 vsize=197420 CPUtime=0
/proc/16480/task/16483/stat : 16483 (java) S 16472 16472 14240 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2007014506 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16484] ppid=16472 vsize=197420 CPUtime=0
/proc/16480/task/16484/stat : 16484 (java) S 16472 16472 14240 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2007014506 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16485] ppid=16472 vsize=197420 CPUtime=0
/proc/16480/task/16485/stat : 16485 (java) S 16472 16472 14240 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2007014508 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16486] ppid=16472 vsize=197420 CPUtime=0.23
/proc/16480/task/16486/stat : 16486 (java) S 16472 16472 14240 0 -1 64 667 0 0 0 23 0 0 0 16 0 10 0 2007014508 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16487] ppid=16472 vsize=197420 CPUtime=0
/proc/16480/task/16487/stat : 16487 (java) S 16472 16472 14240 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2007014508 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16488] ppid=16472 vsize=197420 CPUtime=0
/proc/16480/task/16488/stat : 16488 (java) S 16472 16472 14240 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 2007014508 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16489] ppid=16472 vsize=197420 CPUtime=0
/proc/16480/task/16489/stat : 16489 (java) S 16472 16472 14240 0 -1 64 68 0 0 0 0 0 0 0 25 0 10 0 2007015131 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 33.72
Current children cumulated vsize (KiB) 871056

[startup+34.8025 s]
/proc/loadavg: 2.12 2.06 2.01 3/103 16500
/proc/meminfo: memFree=1462664/2055920 swapFree=4180436/4192956
[pid=16472] ppid=16470 vsize=5360 CPUtime=7.79
/proc/16472/stat : 16472 (hydra) S 16470 16472 14240 0 -1 4194304 375 2834 0 0 0 0 776 3 19 0 1 0 2007013716 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16472/statm: 1340 238 196 169 0 51 0
[pid=16480] ppid=16472 vsize=197420 CPUtime=26.32
/proc/16480/stat : 16480 (java) S 16472 16472 14240 0 -1 0 14030 20291 1 1 586 23 1998 25 21 0 9 0 2007014504 202158080 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16480/statm: 49355 9481 2545 9 0 43937 0
[pid=16480/tid=16481] ppid=16472 vsize=197420 CPUtime=24.93
/proc/16480/task/16481/stat : 16481 (java) S 16472 16472 14240 0 -1 64 3949 20291 1 1 462 8 1998 25 16 0 9 0 2007014505 202158080 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16482] ppid=16472 vsize=197420 CPUtime=21.34
/proc/16480/task/16482/stat : 16482 (java) S 16472 16472 14240 0 -1 64 8581 20291 0 1 99 12 1998 25 16 0 9 0 2007014506 202158080 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16483] ppid=16472 vsize=197420 CPUtime=20.23
/proc/16480/task/16483/stat : 16483 (java) S 16472 16472 14240 0 -1 64 11 20291 0 1 0 0 1998 25 16 0 9 0 2007014506 202158080 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16484] ppid=16472 vsize=197420 CPUtime=20.23
/proc/16480/task/16484/stat : 16484 (java) S 16472 16472 14240 0 -1 64 5 20291 0 1 0 0 1998 25 15 0 9 0 2007014506 202158080 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16485] ppid=16472 vsize=197420 CPUtime=20.23
/proc/16480/task/16485/stat : 16485 (java) S 16472 16472 14240 0 -1 64 1 20291 0 1 0 0 1998 25 18 0 9 0 2007014508 202158080 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16486] ppid=16472 vsize=197420 CPUtime=20.46
/proc/16480/task/16486/stat : 16486 (java) S 16472 16472 14240 0 -1 64 667 20291 0 1 23 0 1998 25 16 0 9 0 2007014508 202158080 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16487] ppid=16472 vsize=197420 CPUtime=20.23
/proc/16480/task/16487/stat : 16487 (java) S 16472 16472 14240 0 -1 64 1 20291 0 1 0 0 1998 25 19 0 9 0 2007014508 202158080 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16480/tid=16488] ppid=16472 vsize=197420 CPUtime=20.23
/proc/16480/task/16488/stat : 16488 (java) S 16472 16472 14240 0 -1 64 32 20291 0 1 0 0 1998 25 15 0 9 0 2007014508 202158080 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 34.11
Current children cumulated vsize (KiB) 202780

Child status: 0
Real time (s): 34.8425
CPU time (s): 34.1408
CPU user time (s): 33.6099
CPU system time (s): 0.530919
CPU usage (%): 97.986
Max. virtual memory (cumulated for all children) (KiB): 871056

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

runsolver used 0.142978 second user time and 0.342947 second system time

The end

Launcher Data (download as text)

Begin job on node48 at 2008-07-05 19:53:35
IDJOB=1094986
IDBENCH=58860
IDSOLVER=366
FILE ID=node48/1094986-1215280415
PBS_JOBID= 7882198
Free space on /tmp= 66544 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 73dece1b19758e876aa500d620069f40
RANDOM SEED=539552336

node48.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.231
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.231
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:       1551640 kB
Buffers:         47928 kB
Cached:         224368 kB
SwapCached:       6436 kB
Active:         341012 kB
Inactive:       106572 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1551640 kB
SwapTotal:     4192956 kB
SwapFree:      4180436 kB
Dirty:           24864 kB
Writeback:           0 kB
Mapped:         191524 kB
Slab:            41416 kB
Committed_AS:  4530576 kB
PageTables:       2120 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 node48 at 2008-07-05 19:54:10