Trace number 1065064

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 1104.74 1131.94

DiagnosticValue
ASSIGNMENTS3611
CHECKS1266060

General information on the benchmark

Namecsp/pseudo/mps/
normalized-mps-mzzv11.xml
MD5SUMc9a76bf490192c7e7a129e900791107d
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark7.2629
Satisfiable
(Un)Satisfiability was proved
Number of variables11247
Number of constraints13116
Maximum constraint arity68
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension13116
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.00	c cpHydra_k_40 version 0.0
14.87/20.90	c CASE TO CLASSIFY:
14.87/20.90	c Case: 0
14.96/20.90	c 19 >   3.888380 | c 35 >  80.594700 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  48.323400 | c 15 >  19.944600 | c 34 > 146.118000 | c 16 >  68.000000 | c 13 >   3.973000 | c 14 >  11.198400 | c 11 >  13.457300 | c 12 >   3.829950 | c 21 >   1.414210 | c 20 >  96.111600 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >  18.120700 | c 1 >  13.457300 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  18.114100 | c 6 >   9.609180 | c 32 >  -1.000000 | c 5 >  22.291800 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
14.96/20.91	c choco : 1801.0
14.96/20.91	c mistral : 1801.0
14.96/20.91	c abscon : 1801.0
14.96/20.91	c
14.96/20.91	c
14.96/20.98	c List of same ones: 40
14.96/20.98	c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-mzzv11.xml
14.96/20.98	c 19 >   3.888380 | c 35 >  80.594700 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  48.323400 | c 15 >  19.455300 | c 34 > 146.118000 | c 16 >  68.000000 | c 13 >   3.973000 | c 14 >   7.748190 | c 11 >  13.457300 | c 12 >   3.829950 | c 21 >   1.414210 | c 20 >  96.111600 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >  18.120700 | c 1 >  13.457300 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  18.114100 | c 6 >   9.609180 | c 32 >  -1.000000 | c 5 >  22.291800 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
14.96/20.99	c choco : 53.92
14.96/20.99	c mistral : 14.2
14.96/20.99	c abscon : 307.272
14.96/20.99	c
14.96/20.99	c
14.96/20.99	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-misc02.xml
14.96/20.99	c 19 >   3.773580 | c 35 >  89.434000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  46.415100 | c 15 >  14.210600 | c 34 > 142.264000 | c 16 >  79.000000 | c 13 >   1.217250 | c 14 >   5.169930 | c 11 >   9.784630 | c 12 >   0.653117 | c 21 >   1.414210 | c 20 >  96.226400 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   9.952740 | c 1 >   6.475730 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >   9.949830 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  24.749000 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.05/21.00	c choco : 1.68
15.05/21.00	c mistral : 0.07
15.05/21.00	c abscon : 21.5577
15.05/21.00	c
15.05/21.00	c
15.05/21.00	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-flugpl.xml
15.05/21.00	c 19 >   0.000000 | c 35 >  67.142900 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  36.000000 | c 15 >  20.735000 | c 34 > 130.571000 | c 16 >  65.000000 | c 13 >   5.926460 | c 14 >  12.123200 | c 11 >   9.379380 | c 12 >   3.744580 | c 21 >   1.320380 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   9.951280 | c 1 >   7.622050 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >   9.951280 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.247200 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.05/21.01	c choco : 3.16
15.05/21.01	c mistral : 3.08
15.05/21.01	c abscon : 4.10837
15.05/21.01	c
15.05/21.01	c
15.05/21.01	c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-mzzv42z.xml
15.05/21.01	c 19 >   7.116990 | c 35 >  66.027400 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  44.288000 | c 15 >  19.554500 | c 34 > 117.346000 | c 16 >  80.000000 | c 13 >   4.029350 | c 14 >   7.434630 | c 11 >  13.620700 | c 12 >   3.829030 | c 21 >   1.414210 | c 20 >  92.883000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >  18.272500 | c 1 >  13.620700 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  18.262100 | c 6 >  10.224000 | c 32 >  -1.000000 | c 5 >  22.314300 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.05/21.02	c choco : 63.36
15.05/21.02	c mistral : 16.05
15.05/21.02	c abscon : 350.484
15.05/21.02	c
15.05/21.02	c
15.05/21.02	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-enigma.xml
15.05/21.02	c 19 >   0.000000 | c 35 >  94.761900 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  28.571400 | c 15 >  20.129800 | c 34 > 142.143000 | c 16 >  90.000000 | c 13 >   6.570010 | c 14 >   9.894820 | c 11 >   9.515700 | c 12 >   5.423830 | c 21 >   1.414210 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   9.823370 | c 1 >   6.643860 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >   9.823370 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  25.520800 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.05/21.03	c choco : 1.86
15.05/21.03	c mistral : 0.86
15.05/21.03	c abscon : 1800.07
15.05/21.03	c
15.05/21.03	c
15.05/21.03	c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-enigma.xml
15.05/21.03	c 19 >   0.000000 | c 35 >  94.761900 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  28.571400 | c 15 >  20.829000 | c 34 > 142.143000 | c 16 >  90.000000 | c 13 >   6.767430 | c 14 >  10.433600 | c 11 >   9.396600 | c 12 >   5.943450 | c 21 >   1.414210 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   9.836050 | c 1 >   6.643860 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >   9.836050 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  29.701500 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.05/21.04	c choco : 2.76
15.05/21.04	c mistral : 18.74
15.05/21.04	c abscon : 1800.07
15.05/21.04	c
15.05/21.04	c
15.05/21.04	c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-p0201.xml
15.05/21.04	c 19 >   4.511280 | c 35 >  67.218000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  41.503800 | c 15 >  15.978800 | c 34 > 108.045000 | c 16 >  67.000000 | c 13 >   1.210120 | c 14 >   6.022370 | c 11 >  11.244400 | c 12 >   0.715638 | c 21 >   1.403620 | c 20 >  95.488700 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.637100 | c 1 >   7.607330 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  11.634400 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.905800 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.05/21.05	c choco : 2.01
15.05/21.05	c mistral : 0.19
15.05/21.05	c abscon : 1.05784
15.05/21.05	c
15.05/21.05	c
15.05/21.05	c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/p0201.xml
15.05/21.05	c 19 >   4.511280 | c 35 >  65.413500 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  41.503800 | c 15 >  15.970600 | c 34 > 104.436000 | c 16 >  65.000000 | c 13 >   1.208230 | c 14 >   5.832890 | c 11 >  11.244400 | c 12 >   0.715638 | c 21 >   1.414210 | c 20 >  95.488700 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.637100 | c 1 >   7.607330 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  11.634400 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.905800 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.05/21.06	c choco : 2.02
15.05/21.06	c mistral : 0.18
15.05/21.06	c abscon : 1.04484
15.05/21.06	c
15.05/21.06	c
15.05/21.06	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-vpm1.xml
15.05/21.06	c 19 >   0.000000 | c 35 >  94.691400 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  46.666700 | c 15 >  15.737100 | c 34 > 189.259000 | c 16 >  82.000000 | c 13 >   0.033345 | c 14 >  -1.000000 | c 11 >  11.427300 | c 12 >   2.218800 | c 21 >   1.414210 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.602800 | c 1 >  11.427300 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.602800 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  30.623400 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.05/21.06	c choco : 5.19
15.05/21.06	c mistral : 0.63
15.05/21.06	c abscon : 1800.11
15.05/21.06	c
15.05/21.06	c
15.05/21.06	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-vpm2.xml
15.05/21.06	c 19 >   0.000000 | c 35 >  94.691400 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  46.666700 | c 15 >  15.755100 | c 34 > 189.259000 | c 16 >  84.000000 | c 13 >  -0.301197 | c 14 >  -1.000000 | c 11 >  11.427300 | c 12 >   2.237580 | c 21 >   1.414210 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.622200 | c 1 >  11.427300 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.622200 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  30.683200 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.05/21.07	c choco : 5.27
15.05/21.07	c mistral : 0.63
15.05/21.07	c abscon : 1800.14
15.05/21.07	c
15.05/21.07	c
15.05/21.08	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-misc01.xml
15.05/21.08	c 19 >   0.000000 | c 35 > 111.831000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  40.563400 | c 15 >  18.420800 | c 34 > 166.197000 | c 16 > 101.000000 | c 13 >   3.527310 | c 14 >   7.761550 | c 11 >  10.493900 | c 12 >   2.036790 | c 21 >   1.414210 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >  10.617500 | c 1 >   6.820180 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  10.617500 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  25.095300 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.05/21.09	c choco : 1.96
15.05/21.09	c mistral : 0.89
15.05/21.09	c abscon : 25.1202
15.05/21.09	c
15.05/21.09	c
15.05/21.09	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-nazareth.xml
15.05/21.09	c 19 >   0.000000 | c 35 >  56.666700 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  20.000000 | c 15 >  12.682800 | c 34 > 113.333000 | c 16 >  61.000000 | c 13 >  -0.697651 | c 14 >   6.285400 | c 11 >   7.459430 | c 12 >   0.347923 | c 21 >   1.414210 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   7.607330 | c 1 >   6.285400 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >   7.607330 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  21.321300 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.13/21.10	c choco : 1.18
15.13/21.10	c mistral : 0.02
15.13/21.10	c abscon : 0.702892
15.13/21.10	c
15.13/21.10	c
15.13/21.10	c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/enigma.xml
15.13/21.10	c 19 >   0.000000 | c 35 >  94.761900 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  57.142900 | c 15 >  14.122200 | c 34 > 189.524000 | c 16 >  90.000000 | c 13 >   0.608555 | c 14 >   6.584960 | c 11 >   9.854870 | c 12 >   0.557701 | c 21 >   1.414210 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >  10.103300 | c 1 >   6.643860 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  10.103300 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  25.452400 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.13/21.11	c choco : 1.49
15.13/21.11	c mistral : 0.08
15.13/21.11	c abscon : 1.3048
15.13/21.11	c
15.13/21.11	c
15.13/21.11	c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/rot-b.xml
15.13/21.11	c 19 >   7.039340 | c 35 >  87.481000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  25.082800 | c 15 >  19.778000 | c 34 >  95.138000 | c 16 >  81.000000 | c 13 >   4.883410 | c 14 >   9.923330 | c 11 >  10.479800 | c 12 >   4.801460 | c 21 >   1.408600 | c 20 >  92.960700 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.295000 | c 1 >  10.479800 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  15.287900 | c 6 >   0.000000 | c 32 >  -1.000000 | c 5 >  18.944400 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.13/21.12	c choco : 9.03
15.13/21.12	c mistral : 2.49
15.13/21.12	c abscon : 6.06508
15.13/21.12	c
15.13/21.12	c
15.13/21.12	c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-bm23.xml
15.13/21.12	c 19 >   0.000000 | c 35 >  65.500000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  18.000000 | c 15 >  16.325800 | c 34 > 126.000000 | c 16 >  26.000000 | c 13 >   1.848410 | c 14 >   5.727920 | c 11 >   9.513730 | c 12 >   0.893540 | c 21 >   1.414210 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   9.821770 | c 1 >   4.754890 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >   9.821770 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  14.909200 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.13/21.13	c choco : 1.42
15.13/21.13	c mistral : 0.071988
15.13/21.13	c abscon : 4.93025
15.13/21.13	c
15.13/21.13	c
15.13/21.13	c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/alu4-b.xml
15.13/21.13	c 19 >   5.990020 | c 35 >  94.642300 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  22.412600 | c 15 >  19.780300 | c 34 > 101.514000 | c 16 >  98.000000 | c 13 >   5.384320 | c 14 >   8.791160 | c 11 >   9.627530 | c 12 >   5.492460 | c 21 >   1.407190 | c 20 >  94.010000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.135300 | c 1 >   9.627530 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  15.131300 | c 6 >   1.584960 | c 32 >  -1.000000 | c 5 >  19.161100 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.13/21.13	c choco : 7.44
15.13/21.13	c mistral : 2.31
15.13/21.13	c abscon : 6.18006
15.13/21.13	c
15.13/21.13	c
15.13/21.13	c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-20-19.xml
15.13/21.13	c 19 >   0.000000 | c 35 > 112.785000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  31.369900 | c 15 >  19.187000 | c 34 > 134.475000 | c 16 >  20.000000 | c 13 >   5.501180 | c 14 >  10.448100 | c 11 >  12.556000 | c 12 >   3.023020 | c 21 >   1.414210 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.412600 | c 1 >   9.154820 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  12.412600 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  15.213700 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.13/21.14	c choco : 1801.0
15.13/21.14	c mistral : 1800.01
15.13/21.14	c abscon : 2.09268
15.13/21.14	c
15.13/21.14	c
15.13/21.14	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-qnet1.xml
15.13/21.14	c 19 >  21.205800 | c 35 > 115.021000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  48.960500 | c 15 >  18.134700 | c 34 > 190.988000 | c 16 >  77.000000 | c 13 >   0.491467 | c 14 >  11.026500 | c 11 >  12.070100 | c 12 >   1.563900 | c 21 >   1.341360 | c 20 >  78.794200 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.421400 | c 1 >  12.070100 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.407900 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  24.997500 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.13/21.14	c choco : 9.52
15.13/21.14	c mistral : 1.89
15.13/21.14	c abscon : 1605.97
15.13/21.14	c
15.13/21.14	c
15.13/21.14	c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-20-20.xml
15.13/21.14	c 19 >   0.000000 | c 35 > 117.391000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  31.304300 | c 15 >  19.080400 | c 34 > 139.130000 | c 16 >  20.000000 | c 13 >   6.820790 | c 14 >  10.461500 | c 11 >  12.675100 | c 12 >   3.980620 | c 21 >   1.414210 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.536200 | c 1 >   9.228820 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  12.536200 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  15.378600 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.13/21.15	c choco : 1801.0
15.13/21.15	c mistral : 37.64
15.13/21.15	c abscon : 3.2905
15.13/21.15	c
15.13/21.15	c
15.13/21.15	c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-25-25.xml
15.13/21.15	c 19 >   0.000000 | c 35 > 125.186000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  28.928600 | c 15 >  18.596400 | c 34 > 138.586000 | c 16 >  25.000000 | c 13 >   2.280380 | c 14 >   9.008430 | c 11 >  13.528200 | c 12 >   1.536570 | c 21 >   1.414210 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.408900 | c 1 >   9.873440 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.408900 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  16.487300 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.13/21.16	c choco : 1801.0
15.13/21.16	c mistral : 396.43
15.13/21.16	c abscon : 1800.1
15.13/21.16	c
15.13/21.16	c
15.13/21.16	c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-15-15.xml
15.13/21.16	c 19 >   0.000000 | c 35 >  91.963000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  31.666700 | c 15 >  19.308400 | c 34 > 112.815000 | c 16 >  15.000000 | c 13 >   7.288500 | c 14 >  11.102000 | c 11 >  11.604600 | c 12 >   5.019110 | c 21 >   1.414210 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.438800 | c 1 >   8.400880 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  11.438800 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  14.006800 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.13/21.17	c choco : 1801.0
15.13/21.17	c mistral : 2.03
15.13/21.17	c abscon : 1.09183
15.13/21.17	c
15.13/21.17	c
15.13/21.17	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-qnet1-o.xml
15.13/21.17	c 19 >  20.960700 | c 35 > 117.762000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  49.257600 | c 15 >  17.800200 | c 34 > 195.699000 | c 16 >  54.000000 | c 13 >   0.347454 | c 14 >  11.366300 | c 11 >  12.070100 | c 12 >   1.501510 | c 21 >   1.341360 | c 20 >  79.039300 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.323900 | c 1 >  12.070100 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.310300 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  24.980900 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.13/21.17	c choco : 10.89
15.13/21.17	c mistral : 1.77
15.13/21.17	c abscon : 1071.66
15.13/21.17	c
15.13/21.17	c
15.13/21.17	c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/9sym-b.xml
15.13/21.17	c 19 >   0.000000 | c 35 >  80.373800 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  19.813100 | c 15 >  19.394400 | c 34 >  86.978200 | c 16 >  87.000000 | c 13 >   5.633970 | c 14 >   7.139550 | c 11 >   8.271460 | c 12 >   6.182960 | c 21 >   1.414210 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.463800 | c 1 >   8.271460 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.463800 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.764700 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.13/21.18	c choco : 5.13
15.13/21.18	c mistral : 1.67
15.13/21.18	c abscon : 2.76658
15.13/21.18	c
15.13/21.18	c
15.13/21.18	c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-14-14.xml
15.13/21.18	c 19 >   0.000000 | c 35 >  86.470600 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  31.764700 | c 15 >  19.399800 | c 34 > 107.059000 | c 16 >  14.000000 | c 13 >   6.837210 | c 14 >  11.345400 | c 11 >  11.346500 | c 12 >   4.792060 | c 21 >   1.414210 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.173700 | c 1 >   8.199670 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  11.173700 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  13.673100 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.13/21.19	c choco : 1801.0
15.13/21.19	c mistral : 1.47
15.13/21.19	c abscon : 1.06484
15.13/21.19	c
15.13/21.19	c
15.13/21.19	c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-14-13.xml
15.13/21.19	c 19 >   0.000000 | c 35 >  81.982000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  31.891900 | c 15 >  19.459200 | c 34 > 102.477000 | c 16 >  14.000000 | c 13 >   7.837230 | c 14 >  11.458900 | c 11 >  11.183600 | c 12 >   5.828740 | c 21 >   1.414210 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.003500 | c 1 >   8.092760 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  11.003500 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  13.453500 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.13/21.19	c choco : 1801.0
15.13/21.19	c mistral : 1800.04
15.13/21.19	c abscon : 1.01884
15.13/21.19	c
15.13/21.19	c
15.13/21.19	c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/e64-b.xml
15.13/21.19	c 19 >   0.000000 | c 35 >  79.305300 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  25.332700 | c 15 >  16.325200 | c 34 >  87.749500 | c 16 >  32.000000 | c 13 >   2.222290 | c 14 >   8.839200 | c 11 >  13.078200 | c 12 >   0.816762 | c 21 >   1.414210 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.973200 | c 1 >   9.245550 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  12.973200 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  15.598000 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.13/21.20	c choco : 3.46
15.13/21.20	c mistral : 0.301953
15.13/21.20	c abscon : 2.43263
15.13/21.20	c
15.13/21.20	c
15.20/21.20	c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-13-13.xml
15.20/21.20	c 19 >   0.000000 | c 35 >  81.586500 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  31.875000 | c 15 >  19.495300 | c 34 > 101.923000 | c 16 >  13.000000 | c 13 >   6.722870 | c 14 >  11.442400 | c 11 >  11.080800 | c 12 >   4.829150 | c 21 >   1.414210 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >  10.900900 | c 1 >   7.988680 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  10.900900 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  13.340500 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.20/21.20	c choco : 1801.0
15.20/21.20	c mistral : 1.0
15.20/21.20	c abscon : 0.926858
15.20/21.20	c
15.20/21.20	c
15.20/21.20	c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/sao2-b.xml
15.20/21.20	c 19 >  15.817000 | c 35 >  77.542500 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  26.196100 | c 15 >  18.013800 | c 34 >  84.692800 | c 16 >  98.000000 | c 13 >   4.520700 | c 14 >   7.348730 | c 11 >   8.519640 | c 12 >   5.072470 | c 21 >   1.409450 | c 20 >  84.183000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.624600 | c 1 >   8.519640 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.610800 | c 6 >   0.000000 | c 32 >  -1.000000 | c 5 >  17.580900 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.20/21.21	c choco : 3.87
15.20/21.21	c mistral : 0.71
15.20/21.21	c abscon : 2.33864
15.20/21.21	c
15.20/21.21	c
15.20/21.21	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-rgn.xml
15.20/21.21	c 19 >   0.000000 | c 35 >  93.548400 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  38.709700 | c 15 >  19.503700 | c 34 > 187.097000 | c 16 > 127.000000 | c 13 >   6.481930 | c 14 >  10.316300 | c 11 >  11.964300 | c 12 >   3.424420 | c 21 >   1.414210 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.442900 | c 1 >  10.299200 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.442900 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  30.165900 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.20/21.22	c choco : 37.43
15.20/21.22	c mistral : 1800.06
15.20/21.22	c abscon : 384.748
15.20/21.22	c
15.20/21.22	c
15.20/21.22	c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/f51m-b.xml
15.20/21.22	c 19 >   2.923980 | c 35 > 111.326000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  21.345000 | c 15 >  18.781100 | c 34 > 118.148000 | c 16 > 123.000000 | c 13 >   4.863770 | c 14 >   7.276120 | c 11 >   8.647460 | c 12 >   5.030370 | c 21 >   1.409850 | c 20 >  97.076000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.702100 | c 1 >   8.647460 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.700700 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.187000 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.20/21.22	c choco : 3.95
15.20/21.22	c mistral : 0.97
15.20/21.22	c abscon : 3.01554
15.20/21.22	c
15.20/21.22	c
15.20/21.22	c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-14-12.xml
15.20/21.22	c 19 >   0.000000 | c 35 >  77.475700 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  32.038800 | c 15 >  19.598400 | c 34 >  97.864100 | c 16 >  14.000000 | c 13 >   7.677140 | c 14 >  11.494400 | c 11 >  11.009800 | c 12 >   5.898800 | c 21 >   1.414210 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >  10.821800 | c 1 >   7.977280 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  10.821800 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  13.215800 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.20/21.23	c choco : 1801.0
15.20/21.23	c mistral : 1800.0
15.20/21.23	c abscon : 1628.67
15.20/21.23	c
15.20/21.23	c
15.20/21.23	c /home/eomahony/cpZilla/CSP/mknap/mknap-1-0.xml
15.20/21.23	c 19 >   0.000000 | c 35 >  60.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  60.000000 | c 15 >   9.310610 | c 34 > 120.000000 | c 16 >   6.000000 | c 13 >   1.166680 | c 14 >   1.000000 | c 11 >   6.339850 | c 12 >   0.602665 | c 21 >   1.414210 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   6.807350 | c 1 >   2.584960 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >   6.672430 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  14.881500 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.20/21.23	c choco : 1.09
15.20/21.23	c mistral : 0.012997
15.20/21.23	c abscon : 0.6549
15.20/21.23	c
15.20/21.23	c
15.20/21.23	c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-13-12.xml
15.20/21.23	c 19 >   0.000000 | c 35 >  76.787600 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  32.020700 | c 15 >  19.615500 | c 34 >  96.994800 | c 16 >  13.000000 | c 13 >   7.252100 | c 14 >  11.556000 | c 11 >  10.901600 | c 12 >   5.569820 | c 21 >   1.414210 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >  10.713400 | c 1 >   7.870360 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  10.713400 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  13.092600 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.20/21.24	c choco : 1801.0
15.20/21.24	c mistral : 1800.03
15.20/21.24	c abscon : 128.541
15.20/21.24	c
15.20/21.24	c
15.20/21.24	c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/clip-b.xml
15.20/21.24	c 19 >   0.000000 | c 35 >  81.276600 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  21.659600 | c 15 >  19.044600 | c 34 >  88.496500 | c 16 > 111.000000 | c 13 >   4.719060 | c 14 >   7.768180 | c 11 >   8.442940 | c 12 >   5.368030 | c 21 >   1.413200 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.820000 | c 1 >   8.442940 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.820000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.178400 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.20/21.25	c choco : 4.16
15.20/21.25	c mistral : 1.2
15.20/21.25	c abscon : 2.05169
15.20/21.25	c
15.20/21.25	c
15.20/21.25	c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-46.xml
15.20/21.25	c 19 >   0.000000 | c 35 >  47.656200 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  12.909700 | c 34 > 142.969000 | c 16 >  22.000000 | c 13 >   0.197684 | c 14 >   7.276120 | c 11 >  10.627500 | c 12 >   0.417543 | c 21 >   2.000000 | c 20 > 100.000000 | c 22 >   2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   7.491850 | c 10 >  10.517700 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >   9.315150 | c 6 >   9.579320 | c 32 >  -1.000000 | c 5 >  12.890300 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.20/21.25	c choco : 13.96
15.20/21.25	c mistral : 0.17
15.20/21.25	c abscon : 11.05
15.20/21.25	c
15.20/21.25	c
15.20/21.25	c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-27.xml
15.20/21.25	c 19 >   0.000000 | c 35 >  51.093800 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  13.078500 | c 34 > 153.281000 | c 16 >  20.000000 | c 13 >   0.164806 | c 14 >   7.339850 | c 11 >  10.568000 | c 12 >   0.420018 | c 21 >   2.000000 | c 20 > 100.000000 | c 22 >   2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   7.491850 | c 10 >  10.453300 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >   9.240790 | c 6 >   9.517670 | c 32 >  -1.000000 | c 5 >  12.772100 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.20/21.26	c choco : 25.29
15.20/21.26	c mistral : 0.15
15.20/21.26	c abscon : 6.78
15.20/21.26	c
15.20/21.26	c
15.20/21.26	c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-11.xml
15.20/21.26	c 19 >   0.000000 | c 35 >  49.531200 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  12.718500 | c 34 > 148.594000 | c 16 >  20.000000 | c 13 >   0.150776 | c 14 >   7.139550 | c 11 >  10.568000 | c 12 >   0.405741 | c 21 >   2.000000 | c 20 > 100.000000 | c 22 >   2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   7.491850 | c 10 >  10.453300 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >   9.240790 | c 6 >   9.517670 | c 32 >  -1.000000 | c 5 >  12.774000 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.20/21.27	c choco : 14.04
15.20/21.27	c mistral : 0.08
15.20/21.27	c abscon : 7.52
15.20/21.27	c
15.20/21.27	c
15.20/21.27	c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-10.xml
15.20/21.27	c 19 >   0.000000 | c 35 >  51.718800 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  13.155800 | c 34 > 155.156000 | c 16 >  19.000000 | c 13 >   0.310330 | c 14 >   7.199670 | c 11 >  10.529400 | c 12 >   0.465630 | c 21 >   2.000000 | c 20 > 100.000000 | c 22 >   2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   7.491850 | c 10 >  10.411500 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >   9.192290 | c 6 >   9.477760 | c 32 >  -1.000000 | c 5 >  12.711200 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.20/21.27	c choco : 12.17
15.20/21.27	c mistral : 0.12
15.20/21.27	c abscon : 6.6
15.20/21.27	c
15.20/21.27	c
15.20/21.27	c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-12-12.xml
15.20/21.27	c 19 >   0.000000 | c 35 >  76.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  32.000000 | c 15 >  19.693300 | c 34 >  96.000000 | c 16 >  12.000000 | c 13 >   6.896820 | c 14 >  11.592900 | c 11 >  10.784600 | c 12 >   5.352680 | c 21 >   1.414210 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >  10.596200 | c 1 >   7.754890 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  10.596200 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  12.960000 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.20/21.28	c choco : 1801.0
15.20/21.28	c mistral : 0.67
15.20/21.28	c abscon : 0.920859
15.20/21.28	c
15.20/21.28	c
15.20/21.28	c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-47.xml
15.20/21.28	c 19 >   0.000000 | c 35 >  49.531200 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  12.884200 | c 34 > 148.594000 | c 16 >  19.000000 | c 13 >   0.197185 | c 14 >   7.285400 | c 11 >  10.545000 | c 12 >   0.414313 | c 21 >   2.000000 | c 20 > 100.000000 | c 22 >   2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | 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 >   7.491850 | c 10 >  10.428400 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >   9.211890 | c 6 >   9.493860 | c 32 >  -1.000000 | c 5 >  12.722000 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
15.20/21.29	c choco : 7.16
15.20/21.29	c mistral : 0.13
15.20/21.29	c abscon : 7.53
15.20/21.29	c
15.20/21.29	c
15.20/21.29	c Length: 40
15.20/21.29	c 3.4847329214876703  24.874814006822017  30.413031346314366  35.15628851253072  38.137010609158914  38.756493430266616  44.62687700343867  48.383876747317835  51.849631165017215  52.45616148250374  53.494128974826765  55.3308293850366  55.35720891008619  59.29615865154504  61.631696614811766  62.44170111459408  63.59737369180035  63.65052910278036  65.40068617216642  67.22117681620949  68.31717771540917  69.24739254563322  70.22956768115192  71.45189957362855  73.94429763650068  74.31242006392164  74.97454298445639  75.37073913406248  75.42301745145576  75.59811996657653  76.84532238906478  77.11997444294197  78.14844678090088  78.37790522407767  78.6158895313734  78.72407913332528  79.08076931590674  79.30904234361805  79.55588515308091  79.6796959416362  
15.20/21.29	c 
15.20/21.29	c 1.0  0.7808057445543283  0.7388727039127329  0.7063819617169232  0.6873870971762792  0.6835669032684419  0.6493680038817419  0.6292210661998769  0.6117136150212391  0.6087493779888958  0.6037427199783243  0.5950822597641022  0.5949596838189634  0.5772066317512203  0.5671718791309194  0.5637726544944536  0.5589927553658649  0.5587748518442042  0.5516939940557251  0.5445165220592902  0.5402847871996885  0.5367444283782612  0.5330563230369244  0.528536608007634  0.5195541126268289  0.5182532278930466  0.5159297159041973  0.5145493267294928  0.5143677349973047  0.5137604388871708  0.5094759890402734  0.5085420743651975  0.5050751113307118  0.5043080507770441  0.5035149464377452  0.5031552189631182  0.5019728660725584  0.5012191006839573  0.5004065605415577  0.5  
15.26/21.31	c
15.26/21.31	c solver 0
15.26/21.31	c	  before 0.0 seconds: {} 0
15.26/21.31	c	  before 18.0 seconds: {2, 6, 7, 11, 12, 13, 14, 15, 16, 18, 20, 22, 23, 24, 25, 26, 27, 29, 31, 33, 34, 35, 36, 37, 38, 39} 14233
15.26/21.31	c	  before 36.0 seconds: {1, 2, 6, 7, 10, 11, 12, 13, 14, 15, 16, 18, 20, 22, 23, 24, 25, 26, 27, 29, 31, 33, 34, 35, 36, 37, 38, 39} 15617
15.26/21.31	c	  before 144.0 seconds: {1, 2, 6, 7, 10, 11, 12, 13, 14, 15, 16, 18, 20, 22, 23, 24, 25, 26, 27, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16123
15.26/21.31	c	  before 324.0 seconds: {0, 1, 2, 6, 7, 10, 11, 12, 13, 14, 15, 16, 18, 20, 22, 23, 24, 25, 26, 27, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17123
15.26/21.31	c	  before 360.0 seconds: {0, 1, 2, 3, 6, 7, 10, 11, 12, 13, 14, 15, 16, 18, 20, 22, 23, 24, 25, 26, 27, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17829
15.26/21.31	c	  before 396.0 seconds: {0, 1, 2, 3, 6, 7, 10, 11, 12, 13, 14, 15, 16, 18, 20, 22, 23, 24, 25, 26, 27, 28, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18343
15.26/21.31	c	  before 1080.0 seconds: {0, 1, 2, 3, 6, 7, 10, 11, 12, 13, 14, 15, 16, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18880
15.26/21.31	c	  before 1620.0 seconds: {0, 1, 2, 3, 6, 7, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19439
15.26/21.31	c	  before 1638.0 seconds: {0, 1, 2, 3, 6, 7, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19948
15.26/21.31	c
15.26/21.31	c solver 1
15.26/21.31	c	  before 0.0 seconds: {} 0
15.26/21.31	c	  before 18.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 20, 21, 22, 23, 25, 26, 27, 29, 31, 33, 34, 35, 36, 37, 38, 39} 18697
15.26/21.31	c	  before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 20, 21, 22, 23, 25, 26, 27, 29, 31, 33, 34, 35, 36, 37, 38, 39} 19381
15.26/21.31	c	  before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 20, 21, 22, 23, 25, 26, 27, 29, 31, 33, 34, 35, 36, 37, 38, 39} 19932
15.26/21.31	c	  before 414.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 29, 31, 33, 34, 35, 36, 37, 38, 39} 20477
15.26/21.31	c
15.26/21.31	c solver 2
15.26/21.31	c	  before 0.0 seconds: {} 0
15.26/21.31	c	  before 18.0 seconds: {1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 21, 22, 25, 27, 29, 31, 33, 34, 36, 37, 39} 15086
15.26/21.31	c	  before 36.0 seconds: {1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 21, 22, 25, 27, 29, 31, 33, 34, 35, 36, 37, 39} 15589
15.26/21.31	c	  before 54.0 seconds: {0, 1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 21, 22, 25, 27, 28, 29, 31, 33, 34, 35, 36, 37, 39} 17103
15.26/21.31	c	  before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 21, 22, 25, 27, 28, 29, 31, 33, 34, 35, 36, 37, 39} 17810
15.26/21.31	c
15.26/21.31	cTotal time: 118
15.26/21.31	c	  run abscon for 1080.0 seconds {0, 1, 2, 3, 6, 7, 10, 11, 12, 13, 14, 15, 16, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18880
15.26/21.31	c	  run mistral for 414.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 29, 31, 33, 34, 35, 36, 37, 38, 39} 20477
15.26/21.31	c	  run choco for 72.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 21, 22, 25, 27, 28, 29, 31, 33, 34, 35, 36, 37, 39} 17810
15.26/21.31	c Starting solver: HOME/cpHydra_k_40/solver/abscon
15.26/21.31	c On Instance: HOME/instance-1065064-1215145660.xml
15.26/21.31	c Running for: 1080 seconds
1097.72/1124.98	c Starting solver: HOME/cpHydra_k_40/solver/mistral
1097.72/1124.98	c On Instance: HOME/instance-1065064-1215145660.xml
1097.72/1124.98	c Running for: 414 seconds
1104.67/1131.91	c mistral-prime version 1.313
1104.67/1131.91	s SATISFIABLE
1104.67/1131.91	v 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1104.67/1131.91	d CHECKS 1266057
1104.67/1131.91	d ASSIGNMENTS 3611

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-1065064-1215145660/watcher-1065064-1215145660 -o /tmp/evaluation-result-1065064-1215145660/solver-1065064-1215145660 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1065064-1215145660.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.02 2.05 2.15 4/81 4496
/proc/meminfo: memFree=1167576/2055920 swapFree=4192812/4192956
[pid=4496] ppid=4494 vsize=5360 CPUtime=0
/proc/4496/stat : 4496 (hydra) R 4494 4496 4288 0 -1 4194304 312 247 0 0 0 0 0 0 19 0 1 0 141951406 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 217871608479 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/4496/statm: 1340 236 195 169 0 51 0

[startup+0.0357509 s]
/proc/loadavg: 2.02 2.05 2.15 4/81 4496
/proc/meminfo: memFree=1167576/2055920 swapFree=4192812/4192956
[pid=4496] ppid=4494 vsize=5360 CPUtime=0
/proc/4496/stat : 4496 (hydra) S 4494 4496 4288 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 141951406 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4496/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.102295 s]
/proc/loadavg: 2.02 2.05 2.15 4/81 4496
/proc/meminfo: memFree=1167576/2055920 swapFree=4192812/4192956
[pid=4496] ppid=4494 vsize=5360 CPUtime=0
/proc/4496/stat : 4496 (hydra) S 4494 4496 4288 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 141951406 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4496/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.301786 s]
/proc/loadavg: 2.02 2.05 2.15 4/81 4496
/proc/meminfo: memFree=1167576/2055920 swapFree=4192812/4192956
[pid=4496] ppid=4494 vsize=5360 CPUtime=0
/proc/4496/stat : 4496 (hydra) S 4494 4496 4288 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 141951406 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4496/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.701834 s]
/proc/loadavg: 2.02 2.05 2.15 4/81 4496
/proc/meminfo: memFree=1167576/2055920 swapFree=4192812/4192956
[pid=4496] ppid=4494 vsize=5360 CPUtime=0
/proc/4496/stat : 4496 (hydra) S 4494 4496 4288 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 141951406 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4496/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+1.63203 s]
/proc/loadavg: 2.02 2.05 2.15 4/81 4496
/proc/meminfo: memFree=1167576/2055920 swapFree=4192812/4192956
[pid=4496] ppid=4494 vsize=5360 CPUtime=0
/proc/4496/stat : 4496 (hydra) S 4494 4496 4288 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 141951406 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4496/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+3.10614 s]
/proc/loadavg: 2.10 2.07 2.16 3/83 4500
/proc/meminfo: memFree=1159944/2055920 swapFree=4192812/4192956
[pid=4496] ppid=4494 vsize=5360 CPUtime=0
/proc/4496/stat : 4496 (hydra) S 4494 4496 4288 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 141951406 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4496/statm: 1340 236 195 169 0 51 0
[pid=4499] ppid=4496 vsize=10760 CPUtime=0.86
/proc/4499/stat : 4499 (xsolve) R 4496 4496 4288 0 -1 4194304 1978 0 0 0 82 4 0 0 25 0 1 0 141951406 11018240 1937 996147200 134512640 135239763 4294956176 18446744073709551615 4159001121 0 0 4096 0 0 0 0 17 1 0 0
/proc/4499/statm: 2690 1937 376 177 0 1593 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 16120

[startup+6.30256 s]
/proc/loadavg: 2.10 2.07 2.16 4/83 4500
/proc/meminfo: memFree=1160072/2055920 swapFree=4192812/4192956
[pid=4496] ppid=4494 vsize=5360 CPUtime=0
/proc/4496/stat : 4496 (hydra) S 4494 4496 4288 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 141951406 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4496/statm: 1340 236 195 169 0 51 0
[pid=4499] ppid=4496 vsize=10760 CPUtime=2.02
/proc/4499/stat : 4499 (xsolve) R 4496 4496 4288 0 -1 4194304 2002 0 0 0 190 12 0 0 25 0 1 0 141951406 11018240 1961 996147200 134512640 135239763 4294956176 18446744073709551615 134707494 0 0 4096 0 0 0 0 17 1 0 0
/proc/4499/statm: 2690 1961 376 177 0 1593 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 16120

[startup+12.7014 s]
/proc/loadavg: 2.17 2.09 2.16 3/83 4500
/proc/meminfo: memFree=807112/2055920 swapFree=4192812/4192956
[pid=4496] ppid=4494 vsize=5360 CPUtime=0
/proc/4496/stat : 4496 (hydra) S 4494 4496 4288 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 141951406 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4496/statm: 1340 236 195 169 0 51 0
[pid=4499] ppid=4496 vsize=442692 CPUtime=6.81
/proc/4499/stat : 4499 (xsolve) R 4496 4496 4288 0 -1 4194304 110690 0 0 0 618 63 0 0 25 0 1 0 141951406 453316608 108713 996147200 134512640 135239763 4294956176 18446744073709551615 134805760 0 0 4096 0 0 0 0 17 1 0 0
/proc/4499/statm: 110673 108713 431 177 0 109576 0
Current children cumulated CPU time (s) 6.81
Current children cumulated vsize (KiB) 448052

[startup+25.503 s]
/proc/loadavg: 2.13 2.08 2.16 4/103 4524
/proc/meminfo: memFree=1038568/2055920 swapFree=4192812/4192956
[pid=4496] ppid=4494 vsize=5360 CPUtime=9.12
/proc/4496/stat : 4496 (hydra) S 4494 4496 4288 0 -1 4194304 375 113000 0 0 0 0 840 72 18 0 1 0 141951406 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4496/statm: 1340 238 196 169 0 51 0
[pid=4504] ppid=4496 vsize=197440 CPUtime=6.15
/proc/4504/stat : 4504 (java) S 4496 4496 4288 0 -1 0 13985 0 1 0 597 18 0 0 18 0 10 0 141952907 202178560 9542 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4504/statm: 49360 9542 2544 9 0 43942 0
[pid=4514] ppid=4504 vsize=5356 CPUtime=0
/proc/4514/stat : 4514 (abscon) S 4504 4496 4288 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 141953538 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 217871606596 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/4514/statm: 1339 237 196 169 0 50 0
[pid=4515] ppid=4514 vsize=655660 CPUtime=4.09
/proc/4515/stat : 4515 (java) S 4514 4496 4288 0 -1 0 41888 0 1 0 377 32 0 0 20 0 9 0 141953538 671395840 41386 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4515/statm: 163915 41386 2008 9 0 158443 0
[pid=4515/tid=4517] ppid=4514 vsize=655660 CPUtime=3.32
/proc/4515/task/4517/stat : 4517 (java) R 4514 4496 4288 0 -1 64 12456 0 1 0 312 20 0 0 25 0 9 0 141953539 671395840 41386 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4515/tid=4518] ppid=4514 vsize=655660 CPUtime=0.52
/proc/4515/task/4518/stat : 4518 (java) R 4514 4496 4288 0 -1 64 28224 0 0 0 42 10 0 0 16 0 9 0 141953540 671395840 41386 996147200 134512640 134550740 4294955808 18446744073709551615 102674877 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4515/tid=4519] ppid=4514 vsize=655660 CPUtime=0
/proc/4515/task/4519/stat : 4519 (java) S 4514 4496 4288 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 141953540 671395840 41386 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4515/tid=4520] ppid=4514 vsize=655660 CPUtime=0
/proc/4515/task/4520/stat : 4520 (java) S 4514 4496 4288 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 141953540 671395840 41386 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4515/tid=4521] ppid=4514 vsize=655660 CPUtime=0
/proc/4515/task/4521/stat : 4521 (java) S 4514 4496 4288 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 141953542 671395840 41386 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4515/tid=4522] ppid=4514 vsize=655660 CPUtime=0.22
/proc/4515/task/4522/stat : 4522 (java) S 4514 4496 4288 0 -1 64 662 0 0 0 22 0 0 0 16 0 9 0 141953542 671395840 41386 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4515/tid=4523] ppid=4514 vsize=655660 CPUtime=0
/proc/4515/task/4523/stat : 4523 (java) S 4514 4496 4288 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 141953542 671395840 41386 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4515/tid=4524] ppid=4514 vsize=655660 CPUtime=0
/proc/4515/task/4524/stat : 4524 (java) S 4514 4496 4288 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 141953542 671395840 41386 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4516] ppid=4514 vsize=7044 CPUtime=0
/proc/4516/stat : 4516 (translate) S 4514 4496 4288 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 141953538 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 217871777874 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/4516/statm: 1761 213 182 1 0 41 0
[pid=4504/tid=4505] ppid=4496 vsize=197440 CPUtime=4.76
/proc/4504/task/4505/stat : 4505 (java) S 4496 4496 4288 0 -1 64 3975 0 1 0 470 6 0 0 25 0 10 0 141952908 202178560 9542 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=4504/tid=4506] ppid=4496 vsize=197440 CPUtime=1.12
/proc/4504/task/4506/stat : 4506 (java) S 4496 4496 4288 0 -1 64 8538 0 0 0 102 10 0 0 16 0 10 0 141952909 202178560 9542 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4504/tid=4507] ppid=4496 vsize=197440 CPUtime=0
/proc/4504/task/4507/stat : 4507 (java) S 4496 4496 4288 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 141952909 202178560 9542 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4504/tid=4508] ppid=4496 vsize=197440 CPUtime=0
/proc/4504/task/4508/stat : 4508 (java) S 4496 4496 4288 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 141952909 202178560 9542 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4504/tid=4509] ppid=4496 vsize=197440 CPUtime=0
/proc/4504/task/4509/stat : 4509 (java) S 4496 4496 4288 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 141952911 202178560 9542 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4504/tid=4510] ppid=4496 vsize=197440 CPUtime=0.23
/proc/4504/task/4510/stat : 4510 (java) S 4496 4496 4288 0 -1 64 667 0 0 0 23 0 0 0 16 0 10 0 141952911 202178560 9542 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4504/tid=4511] ppid=4496 vsize=197440 CPUtime=0
/proc/4504/task/4511/stat : 4511 (java) S 4496 4496 4288 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 141952911 202178560 9542 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4504/tid=4512] ppid=4496 vsize=197440 CPUtime=0
/proc/4504/task/4512/stat : 4512 (java) S 4496 4496 4288 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 141952911 202178560 9542 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4504/tid=4513] ppid=4496 vsize=197440 CPUtime=0
/proc/4504/task/4513/stat : 4513 (java) S 4496 4496 4288 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 141953538 202178560 9542 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 19.36
Current children cumulated vsize (KiB) 870860

[startup+51.1033 s]
/proc/loadavg: 2.09 2.07 2.15 3/103 4524
/proc/meminfo: memFree=571816/2055920 swapFree=4192812/4192956
[pid=4496] ppid=4494 vsize=5360 CPUtime=9.12
/proc/4496/stat : 4496 (hydra) S 4494 4496 4288 0 -1 4194304 375 113000 0 0 0 0 840 72 18 0 1 0 141951406 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4496/statm: 1340 238 196 169 0 51 0
[pid=4504] ppid=4496 vsize=197440 CPUtime=6.15
/proc/4504/stat : 4504 (java) S 4496 4496 4288 0 -1 0 14010 0 1 0 597 18 0 0 18 0 10 0 141952907 202178560 9542 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4504/statm: 49360 9542 2544 9 0 43942 0
[pid=4514] ppid=4504 vsize=5356 CPUtime=0
/proc/4514/stat : 4514 (abscon) S 4504 4496 4288 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 141953538 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 217871606596 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/4514/statm: 1339 237 196 169 0 50 0
[pid=4515] ppid=4514 vsize=655660 CPUtime=29.21
/proc/4515/stat : 4515 (java) S 4514 4496 4288 0 -1 0 144604 0 1 0 2829 92 0 0 20 0 9 0 141953538 671395840 143856 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4515/statm: 163915 143856 2616 9 0 158443 0
[pid=4515/tid=4517] ppid=4514 vsize=655660 CPUtime=26.64
/proc/4515/task/4517/stat : 4517 (java) R 4514 4496 4288 0 -1 64 12584 0 1 0 2626 38 0 0 25 0 9 0 141953539 671395840 143856 996147200 134512640 134550740 4294955808 18446744073709551615 4126802330 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4515/tid=4518] ppid=4514 vsize=655660 CPUtime=2.2
/proc/4515/task/4518/stat : 4518 (java) S 4514 4496 4288 0 -1 64 130728 0 0 0 169 51 0 0 17 0 9 0 141953540 671395840 143856 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4515/tid=4519] ppid=4514 vsize=655660 CPUtime=0
/proc/4515/task/4519/stat : 4519 (java) S 4514 4496 4288 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 141953540 671395840 143856 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4515/tid=4520] ppid=4514 vsize=655660 CPUtime=0
/proc/4515/task/4520/stat : 4520 (java) S 4514 4496 4288 0 -1 64 19 0 0 0 0 0 0 0 16 0 9 0 141953540 671395840 143856 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4515/tid=4521] ppid=4514 vsize=655660 CPUtime=0
/proc/4515/task/4521/stat : 4521 (java) S 4514 4496 4288 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 141953542 671395840 143856 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4515/tid=4522] ppid=4514 vsize=655660 CPUtime=0.33
/proc/4515/task/4522/stat : 4522 (java) S 4514 4496 4288 0 -1 64 732 0 0 0 33 0 0 0 16 0 9 0 141953542 671395840 143856 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4515/tid=4523] ppid=4514 vsize=655660 CPUtime=0
/proc/4515/task/4523/stat : 4523 (java) S 4514 4496 4288 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 141953542 671395840 143856 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4515/tid=4524] ppid=4514 vsize=655660 CPUtime=0
/proc/4515/task/4524/stat : 4524 (java) S 4514 4496 4288 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 141953542 671395840 143856 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4516] ppid=4514 vsize=7044 CPUtime=0
/proc/4516/stat : 4516 (translate) S 4514 4496 4288 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 141953538 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 217871777874 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/4516/statm: 1761 213 182 1 0 41 0
[pid=4504/tid=4505] ppid=4496 vsize=197440 CPUtime=4.76
/proc/4504/task/4505/stat : 4505 (java) S 4496 4496 4288 0 -1 64 3975 0 1 0 470 6 0 0 25 0 10 0 141952908 202178560 9542 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=4504/tid=4506] ppid=4496 vsize=197440 CPUtime=1.12
/proc/4504/task/4506/stat : 4506 (java) S 4496 4496 4288 0 -1 64 8538 0 0 0 102 10 0 0 16 0 10 0 141952909 202178560 9542 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4504/tid=4507] ppid=4496 vsize=197440 CPUtime=0
/proc/4504/task/4507/stat : 4507 (java) S 4496 4496 4288 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 141952909 202178560 9542 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4504/tid=4508] ppid=4496 vsize=197440 CPUtime=0
/proc/4504/task/4508/stat : 4508 (java) S 4496 4496 4288 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 141952909 202178560 9542 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4504/tid=4509] ppid=4496 vsize=197440 CPUtime=0
/proc/4504/task/4509/stat : 4509 (java) S 4496 4496 4288 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 141952911 202178560 9542 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0

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

[pid=4526] ppid=4504 vsize=5356 CPUtime=0
/proc/4526/stat : 4526 (mistral) S 4504 4496 4288 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 142063904 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 217871606596 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/4526/statm: 1339 238 198 169 0 50 0
[pid=4527] ppid=4526 vsize=446884 CPUtime=5.38
/proc/4527/stat : 4527 (xsolve) R 4526 4496 4288 0 -1 4194304 112691 0 0 0 490 48 0 0 25 0 1 0 142063905 457609216 109722 996147200 134512640 135239763 4294955968 18446744073709551615 134803360 0 4 0 0 0 0 0 17 1 0 0
/proc/4527/statm: 111721 109722 414 177 0 110624 0
[pid=4504/tid=4505] ppid=4496 vsize=197764 CPUtime=1087.28
/proc/4504/task/4505/stat : 4505 (java) S 4496 4496 4288 0 -1 64 4057 145206 1 1 470 6 108149 103 16 0 10 0 141952908 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=4504/tid=4506] ppid=4496 vsize=197764 CPUtime=1083.64
/proc/4504/task/4506/stat : 4506 (java) S 4496 4496 4288 0 -1 64 8556 145206 0 1 102 10 108149 103 16 0 10 0 141952909 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4504/tid=4507] ppid=4496 vsize=197764 CPUtime=1082.52
/proc/4504/task/4507/stat : 4507 (java) S 4496 4496 4288 0 -1 64 11 145206 0 1 0 0 108149 103 16 0 10 0 141952909 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4504/tid=4508] ppid=4496 vsize=197764 CPUtime=1082.52
/proc/4504/task/4508/stat : 4508 (java) S 4496 4496 4288 0 -1 64 5 145206 0 1 0 0 108149 103 16 0 10 0 141952909 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4504/tid=4509] ppid=4496 vsize=197764 CPUtime=1082.52
/proc/4504/task/4509/stat : 4509 (java) S 4496 4496 4288 0 -1 64 1 145206 0 1 0 0 108149 103 18 0 10 0 141952911 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4504/tid=4510] ppid=4496 vsize=197764 CPUtime=1082.75
/proc/4504/task/4510/stat : 4510 (java) S 4496 4496 4288 0 -1 64 701 145206 0 1 23 0 108149 103 16 0 10 0 141952911 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4504/tid=4511] ppid=4496 vsize=197764 CPUtime=1082.52
/proc/4504/task/4511/stat : 4511 (java) S 4496 4496 4288 0 -1 64 1 145206 0 1 0 0 108149 103 19 0 10 0 141952911 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4504/tid=4512] ppid=4496 vsize=197764 CPUtime=1082.52
/proc/4504/task/4512/stat : 4512 (java) S 4496 4496 4288 0 -1 64 39 145206 0 1 0 0 108149 103 15 0 10 0 141952911 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4504/tid=4525] ppid=4496 vsize=197764 CPUtime=1082.52
/proc/4504/task/4525/stat : 4525 (java) S 4496 4496 4288 0 -1 64 48 145206 0 1 0 0 108149 103 17 0 10 0 142063904 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1103.18
Current children cumulated vsize (KiB) 655364

[startup+1131.2 s]
/proc/loadavg: 2.00 2.00 2.02 3/94 4527
/proc/meminfo: memFree=698344/2055920 swapFree=4192812/4192956
[pid=4496] ppid=4494 vsize=5360 CPUtime=9.12
/proc/4496/stat : 4496 (hydra) S 4494 4496 4288 0 -1 4194304 375 113000 0 0 0 0 840 72 18 0 1 0 141951406 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4496/statm: 1340 238 196 169 0 51 0
[pid=4504] ppid=4496 vsize=197764 CPUtime=1088.68
/proc/4504/stat : 4504 (java) S 4496 4496 4288 0 -1 0 14250 145206 1 1 597 19 108149 103 18 0 10 0 141952907 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4504/statm: 49441 9548 2545 9 0 44023 0
[pid=4526] ppid=4504 vsize=5356 CPUtime=0
/proc/4526/stat : 4526 (mistral) S 4504 4496 4288 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 142063904 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 217871606596 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/4526/statm: 1339 238 198 169 0 50 0
[pid=4527] ppid=4526 vsize=449820 CPUtime=6.17
/proc/4527/stat : 4527 (xsolve) R 4526 4496 4288 0 -1 4194304 113820 0 0 0 569 48 0 0 25 0 1 0 142063905 460615680 109536 996147200 134512640 135239763 4294955968 18446744073709551615 13024688 0 4 0 0 0 0 0 17 1 0 0
/proc/4527/statm: 112455 109536 421 177 0 111358 0
[pid=4504/tid=4505] ppid=4496 vsize=197764 CPUtime=1087.28
/proc/4504/task/4505/stat : 4505 (java) S 4496 4496 4288 0 -1 64 4103 145206 1 1 470 6 108149 103 16 0 10 0 141952908 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=4504/tid=4506] ppid=4496 vsize=197764 CPUtime=1083.64
/proc/4504/task/4506/stat : 4506 (java) S 4496 4496 4288 0 -1 64 8556 145206 0 1 102 10 108149 103 16 0 10 0 141952909 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4504/tid=4507] ppid=4496 vsize=197764 CPUtime=1082.52
/proc/4504/task/4507/stat : 4507 (java) S 4496 4496 4288 0 -1 64 11 145206 0 1 0 0 108149 103 16 0 10 0 141952909 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4504/tid=4508] ppid=4496 vsize=197764 CPUtime=1082.52
/proc/4504/task/4508/stat : 4508 (java) S 4496 4496 4288 0 -1 64 5 145206 0 1 0 0 108149 103 16 0 10 0 141952909 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4504/tid=4509] ppid=4496 vsize=197764 CPUtime=1082.52
/proc/4504/task/4509/stat : 4509 (java) S 4496 4496 4288 0 -1 64 1 145206 0 1 0 0 108149 103 18 0 10 0 141952911 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4504/tid=4510] ppid=4496 vsize=197764 CPUtime=1082.75
/proc/4504/task/4510/stat : 4510 (java) S 4496 4496 4288 0 -1 64 701 145206 0 1 23 0 108149 103 16 0 10 0 141952911 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4504/tid=4511] ppid=4496 vsize=197764 CPUtime=1082.52
/proc/4504/task/4511/stat : 4511 (java) S 4496 4496 4288 0 -1 64 1 145206 0 1 0 0 108149 103 19 0 10 0 141952911 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4504/tid=4512] ppid=4496 vsize=197764 CPUtime=1082.52
/proc/4504/task/4512/stat : 4512 (java) S 4496 4496 4288 0 -1 64 39 145206 0 1 0 0 108149 103 15 0 10 0 141952911 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4504/tid=4525] ppid=4496 vsize=197764 CPUtime=1082.52
/proc/4504/task/4525/stat : 4525 (java) S 4496 4496 4288 0 -1 64 48 145206 0 1 0 0 108149 103 17 0 10 0 142063904 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1103.97
Current children cumulated vsize (KiB) 658300

[startup+1131.6 s]
/proc/loadavg: 2.00 2.00 2.02 3/94 4527
/proc/meminfo: memFree=702760/2055920 swapFree=4192812/4192956
[pid=4496] ppid=4494 vsize=5360 CPUtime=9.12
/proc/4496/stat : 4496 (hydra) S 4494 4496 4288 0 -1 4194304 375 113000 0 0 0 0 840 72 18 0 1 0 141951406 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4496/statm: 1340 238 196 169 0 51 0
[pid=4504] ppid=4496 vsize=197764 CPUtime=1088.68
/proc/4504/stat : 4504 (java) S 4496 4496 4288 0 -1 0 14250 145206 1 1 597 19 108149 103 18 0 10 0 141952907 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4504/statm: 49441 9548 2545 9 0 44023 0
[pid=4526] ppid=4504 vsize=5356 CPUtime=0
/proc/4526/stat : 4526 (mistral) S 4504 4496 4288 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 142063904 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 217871606596 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/4526/statm: 1339 238 198 169 0 50 0
[pid=4527] ppid=4526 vsize=445268 CPUtime=6.58
/proc/4527/stat : 4527 (xsolve) R 4526 4496 4288 0 -1 4194304 113820 0 0 0 610 48 0 0 25 0 1 0 142063905 455954432 108676 996147200 134512640 135239763 4294955968 18446744073709551615 13021326 0 4 0 0 0 0 0 17 1 0 0
/proc/4527/statm: 111317 108676 421 177 0 110220 0
[pid=4504/tid=4505] ppid=4496 vsize=197764 CPUtime=1087.28
/proc/4504/task/4505/stat : 4505 (java) S 4496 4496 4288 0 -1 64 4103 145206 1 1 470 6 108149 103 16 0 10 0 141952908 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=4504/tid=4506] ppid=4496 vsize=197764 CPUtime=1083.64
/proc/4504/task/4506/stat : 4506 (java) S 4496 4496 4288 0 -1 64 8556 145206 0 1 102 10 108149 103 16 0 10 0 141952909 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4504/tid=4507] ppid=4496 vsize=197764 CPUtime=1082.52
/proc/4504/task/4507/stat : 4507 (java) S 4496 4496 4288 0 -1 64 11 145206 0 1 0 0 108149 103 16 0 10 0 141952909 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4504/tid=4508] ppid=4496 vsize=197764 CPUtime=1082.52
/proc/4504/task/4508/stat : 4508 (java) S 4496 4496 4288 0 -1 64 5 145206 0 1 0 0 108149 103 16 0 10 0 141952909 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4504/tid=4509] ppid=4496 vsize=197764 CPUtime=1082.52
/proc/4504/task/4509/stat : 4509 (java) S 4496 4496 4288 0 -1 64 1 145206 0 1 0 0 108149 103 18 0 10 0 141952911 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4504/tid=4510] ppid=4496 vsize=197764 CPUtime=1082.75
/proc/4504/task/4510/stat : 4510 (java) S 4496 4496 4288 0 -1 64 701 145206 0 1 23 0 108149 103 16 0 10 0 141952911 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4504/tid=4511] ppid=4496 vsize=197764 CPUtime=1082.52
/proc/4504/task/4511/stat : 4511 (java) S 4496 4496 4288 0 -1 64 1 145206 0 1 0 0 108149 103 19 0 10 0 141952911 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4504/tid=4512] ppid=4496 vsize=197764 CPUtime=1082.52
/proc/4504/task/4512/stat : 4512 (java) S 4496 4496 4288 0 -1 64 39 145206 0 1 0 0 108149 103 15 0 10 0 141952911 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4504/tid=4525] ppid=4496 vsize=197764 CPUtime=1082.52
/proc/4504/task/4525/stat : 4525 (java) S 4496 4496 4288 0 -1 64 48 145206 0 1 0 0 108149 103 17 0 10 0 142063904 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1104.38
Current children cumulated vsize (KiB) 653748

[startup+1131.8 s]
/proc/loadavg: 2.00 2.00 2.02 3/94 4527
/proc/meminfo: memFree=702760/2055920 swapFree=4192812/4192956
[pid=4496] ppid=4494 vsize=5360 CPUtime=9.12
/proc/4496/stat : 4496 (hydra) S 4494 4496 4288 0 -1 4194304 375 113000 0 0 0 0 840 72 18 0 1 0 141951406 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4496/statm: 1340 238 196 169 0 51 0
[pid=4504] ppid=4496 vsize=197764 CPUtime=1088.68
/proc/4504/stat : 4504 (java) S 4496 4496 4288 0 -1 0 14250 145206 1 1 597 19 108149 103 18 0 10 0 141952907 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4504/statm: 49441 9548 2545 9 0 44023 0
[pid=4526] ppid=4504 vsize=5356 CPUtime=0
/proc/4526/stat : 4526 (mistral) S 4504 4496 4288 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 142063904 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 217871606596 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/4526/statm: 1339 238 198 169 0 50 0
[pid=4527] ppid=4526 vsize=428304 CPUtime=6.77
/proc/4527/stat : 4527 (xsolve) R 4526 4496 4288 0 -1 4194304 113826 0 0 0 629 48 0 0 25 0 1 0 142063905 438583296 105856 996147200 134512640 135239763 4294955968 18446744073709551615 135003182 0 4 0 0 0 0 0 17 1 0 0
/proc/4527/statm: 107076 105856 427 177 0 105979 0
[pid=4504/tid=4505] ppid=4496 vsize=197764 CPUtime=1087.28
/proc/4504/task/4505/stat : 4505 (java) S 4496 4496 4288 0 -1 64 4103 145206 1 1 470 6 108149 103 16 0 10 0 141952908 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=4504/tid=4506] ppid=4496 vsize=197764 CPUtime=1083.64
/proc/4504/task/4506/stat : 4506 (java) S 4496 4496 4288 0 -1 64 8556 145206 0 1 102 10 108149 103 16 0 10 0 141952909 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4504/tid=4507] ppid=4496 vsize=197764 CPUtime=1082.52
/proc/4504/task/4507/stat : 4507 (java) S 4496 4496 4288 0 -1 64 11 145206 0 1 0 0 108149 103 16 0 10 0 141952909 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4504/tid=4508] ppid=4496 vsize=197764 CPUtime=1082.52
/proc/4504/task/4508/stat : 4508 (java) S 4496 4496 4288 0 -1 64 5 145206 0 1 0 0 108149 103 16 0 10 0 141952909 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4504/tid=4509] ppid=4496 vsize=197764 CPUtime=1082.52
/proc/4504/task/4509/stat : 4509 (java) S 4496 4496 4288 0 -1 64 1 145206 0 1 0 0 108149 103 18 0 10 0 141952911 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4504/tid=4510] ppid=4496 vsize=197764 CPUtime=1082.75
/proc/4504/task/4510/stat : 4510 (java) S 4496 4496 4288 0 -1 64 701 145206 0 1 23 0 108149 103 16 0 10 0 141952911 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4504/tid=4511] ppid=4496 vsize=197764 CPUtime=1082.52
/proc/4504/task/4511/stat : 4511 (java) S 4496 4496 4288 0 -1 64 1 145206 0 1 0 0 108149 103 19 0 10 0 141952911 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4504/tid=4512] ppid=4496 vsize=197764 CPUtime=1082.52
/proc/4504/task/4512/stat : 4512 (java) S 4496 4496 4288 0 -1 64 39 145206 0 1 0 0 108149 103 15 0 10 0 141952911 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4504/tid=4525] ppid=4496 vsize=197764 CPUtime=1082.52
/proc/4504/task/4525/stat : 4525 (java) S 4496 4496 4288 0 -1 64 48 145206 0 1 0 0 108149 103 17 0 10 0 142063904 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1104.57
Current children cumulated vsize (KiB) 636784

[startup+1131.9 s]
/proc/loadavg: 2.00 2.00 2.02 3/94 4527
/proc/meminfo: memFree=702760/2055920 swapFree=4192812/4192956
[pid=4496] ppid=4494 vsize=5360 CPUtime=9.12
/proc/4496/stat : 4496 (hydra) S 4494 4496 4288 0 -1 4194304 375 113000 0 0 0 0 840 72 18 0 1 0 141951406 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4496/statm: 1340 238 196 169 0 51 0
[pid=4504] ppid=4496 vsize=197764 CPUtime=1088.68
/proc/4504/stat : 4504 (java) S 4496 4496 4288 0 -1 0 14250 145206 1 1 597 19 108149 103 18 0 10 0 141952907 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4504/statm: 49441 9548 2545 9 0 44023 0
[pid=4526] ppid=4504 vsize=5356 CPUtime=0
/proc/4526/stat : 4526 (mistral) S 4504 4496 4288 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 142063904 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 217871606596 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/4526/statm: 1339 238 198 169 0 50 0
[pid=4527] ppid=4526 vsize=0 CPUtime=6.87
/proc/4527/stat : 4527 (xsolve) R 4526 4496 4288 0 -1 4194308 113828 0 0 0 633 54 0 0 25 0 1 0 142063905 0 0 996147200 0 0 0 0 0 0 4 0 0 0 0 0 17 1 0 0
/proc/4527/statm: 0 0 0 0 0 0 0
[pid=4504/tid=4505] ppid=4496 vsize=197764 CPUtime=1087.28
/proc/4504/task/4505/stat : 4505 (java) S 4496 4496 4288 0 -1 64 4103 145206 1 1 470 6 108149 103 16 0 10 0 141952908 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=4504/tid=4506] ppid=4496 vsize=197764 CPUtime=1083.64
/proc/4504/task/4506/stat : 4506 (java) S 4496 4496 4288 0 -1 64 8556 145206 0 1 102 10 108149 103 16 0 10 0 141952909 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4504/tid=4507] ppid=4496 vsize=197764 CPUtime=1082.52
/proc/4504/task/4507/stat : 4507 (java) S 4496 4496 4288 0 -1 64 11 145206 0 1 0 0 108149 103 16 0 10 0 141952909 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4504/tid=4508] ppid=4496 vsize=197764 CPUtime=1082.52
/proc/4504/task/4508/stat : 4508 (java) S 4496 4496 4288 0 -1 64 5 145206 0 1 0 0 108149 103 16 0 10 0 141952909 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4504/tid=4509] ppid=4496 vsize=197764 CPUtime=1082.52
/proc/4504/task/4509/stat : 4509 (java) S 4496 4496 4288 0 -1 64 1 145206 0 1 0 0 108149 103 18 0 10 0 141952911 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4504/tid=4510] ppid=4496 vsize=197764 CPUtime=1082.75
/proc/4504/task/4510/stat : 4510 (java) S 4496 4496 4288 0 -1 64 701 145206 0 1 23 0 108149 103 16 0 10 0 141952911 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4504/tid=4511] ppid=4496 vsize=197764 CPUtime=1082.52
/proc/4504/task/4511/stat : 4511 (java) S 4496 4496 4288 0 -1 64 1 145206 0 1 0 0 108149 103 19 0 10 0 141952911 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4504/tid=4512] ppid=4496 vsize=197764 CPUtime=1082.52
/proc/4504/task/4512/stat : 4512 (java) S 4496 4496 4288 0 -1 64 39 145206 0 1 0 0 108149 103 15 0 10 0 141952911 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4504/tid=4525] ppid=4496 vsize=197764 CPUtime=1082.52
/proc/4504/task/4525/stat : 4525 (java) S 4496 4496 4288 0 -1 64 48 145206 0 1 0 0 108149 103 17 0 10 0 142063904 202510336 9548 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1104.67
Current children cumulated vsize (KiB) 208480

Child status: 0
Real time (s): 1131.94
CPU time (s): 1104.74
CPU user time (s): 1102.23
CPU system time (s): 2.51662
CPU usage (%): 97.5973
Max. virtual memory (cumulated for all children) (KiB): 870864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1102.23
system time used= 2.51662
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 387126
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= 56261
involuntary context switches= 53568

runsolver used 3.34649 second user time and 12.3291 second system time

The end

Launcher Data (download as text)

Begin job on node28 at 2008-07-04 06:27:40
IDJOB=1065064
IDBENCH=55031
IDSOLVER=366
FILE ID=node28/1065064-1215145660
PBS_JOBID= 7877412
Free space on /tmp= 66552 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= c9a76bf490192c7e7a129e900791107d
RANDOM SEED=1134328382

node28.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:       1168056 kB
Buffers:          7048 kB
Cached:         117324 kB
SwapCached:          0 kB
Active:         784812 kB
Inactive:        50456 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1168056 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           28556 kB
Writeback:           0 kB
Mapped:         731024 kB
Slab:            36156 kB
Committed_AS:   999544 kB
PageTables:       3356 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66528 MiB
End job on node28 at 2008-07-04 06:46:33