Trace number 1070053

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 1102.15 1103.44

DiagnosticValue
ASSIGNMENTS761
CHECKS2641290

General information on the benchmark

Namecsp/pseudoGLB/
normalized-dbst-v30-e350-d15-mw10-3.PB06.xml
MD5SUM9d1595c5be93853ae6aef6febf44d619
Bench CategoryGLOBAL (global constraints)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark32.668
Satisfiable
(Un)Satisfiability was proved
Number of variables1600
Number of constraints328901
Maximum constraint arity700
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)weightedsum(328901)

Solver Data (download as text)

0.00/0.00	c cpHydra_k_40 version 0.0
35.16/35.58	c CASE TO CLASSIFY:
35.16/35.58	c Case: 0
35.16/35.58	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 >   0.000000 | c 18 > 100.000000 | c 33 >  -1.000000 | c 15 >  20.278600 | c 34 >  -1.000000 | c 16 > 700.000000 | c 13 >   6.450120 | c 14 >   8.447080 | c 11 >  10.643900 | c 12 >   9.379880 | c 21 >   1.414210 | c 20 >   0.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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  18.327300 | c 1 >  10.643900 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  18.327000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  20.219900 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.16/35.59	c choco : 1801.0
35.16/35.59	c mistral : 1801.0
35.16/35.59	c abscon : 1801.0
35.16/35.59	c
35.16/35.59	c
35.25/35.66	c List of same ones: 40
35.25/35.66	c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/jac3.xml
35.25/35.66	c 19 >  15.789500 | c 35 >  51.722500 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  27.320600 | c 15 >  20.282800 | c 34 >  59.250400 | c 16 > 694.000000 | c 13 >   5.174160 | c 14 >   7.055280 | c 11 >  10.757400 | c 12 >   3.794020 | c 21 >   1.414210 | c 20 >  84.210500 | 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.536800 | c 1 >  10.757400 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.524700 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.486200 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.25/35.67	c choco : 9.63
35.25/35.67	c mistral : 3.51
35.25/35.67	c abscon : 4.6213
35.25/35.67	c
35.25/35.67	c
35.25/35.67	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-blend.xml
35.25/35.67	c 19 >   0.000000 | c 35 >  15.384600 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   3.076920 | c 15 >  20.617800 | c 34 >  26.666700 | c 16 > 780.000000 | c 13 >   4.806450 | c 14 >   7.228820 | c 11 >  10.510800 | c 12 >   3.404840 | c 21 >   1.259340 | 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.021000 | c 1 >  10.510800 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.021000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  28.184100 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.25/35.67	c choco : 72.65
35.25/35.67	c mistral : 61.66
35.25/35.67	c abscon : 1800.1
35.25/35.67	c
35.25/35.67	c
35.25/35.67	c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-protfold.xml
35.25/35.67	c 19 >   0.000000 | c 35 >  65.826000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  26.607700 | c 15 >  20.460600 | c 34 >  74.695200 | c 16 > 882.000000 | c 13 >   2.621820 | c 14 >   9.475730 | c 11 >  10.841600 | c 12 >   3.874880 | 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 >  15.131800 | c 1 >  10.841600 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  15.131800 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.763000 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.25/35.68	c choco : 17.09
35.25/35.68	c mistral : 1800.04
35.25/35.68	c abscon : 1800.1
35.25/35.68	c
35.25/35.68	c
35.25/35.68	c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-cracpb1.xml
35.25/35.68	c 19 >   1.395350 | c 35 >  90.186000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  27.209300 | c 15 >  19.905000 | c 34 > 134.605000 | c 16 > 518.000000 | c 13 >   1.408240 | c 14 >   8.321930 | c 11 >  12.922000 | c 12 >   0.764474 | c 21 >   1.414210 | c 20 >  98.604700 | 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.186700 | c 1 >   9.159870 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.186000 | c 6 >   1.000000 | c 32 >  -1.000000 | c 5 >  21.497500 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.25/35.69	c choco : 5.58
35.25/35.69	c mistral : 2.07
35.25/35.69	c abscon : 24.1083
35.25/35.69	c
35.25/35.69	c
35.25/35.69	c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/p2756.xml
35.25/35.69	c 19 >  47.696500 | c 35 >  88.807600 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  58.617900 | c 15 >  19.332400 | c 34 > 177.615000 | c 16 > 535.000000 | c 13 >   0.206131 | c 14 >  11.278400 | c 11 >  11.416800 | c 12 >   1.604700 | c 21 >   1.414210 | c 20 >  52.303500 | 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.872100 | c 1 >  11.416800 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.837800 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  25.224000 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.35/35.70	c choco : 8.43
35.35/35.70	c mistral : 1.57
35.35/35.70	c abscon : 42.6915
35.35/35.70	c
35.35/35.70	c
35.35/35.70	c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-air01.xml
35.35/35.70	c 19 >   0.000000 | c 35 >   0.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  20.676700 | c 34 >   0.000000 | c 16 > 438.000000 | c 13 >   2.561350 | c 14 >   9.411510 | c 11 >   9.590590 | c 12 >   3.493060 | 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.621000 | c 1 >   9.590590 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.621000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.274900 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.35/35.71	c choco : 8.61
35.35/35.71	c mistral : 2.26
35.35/35.71	c abscon : 5.2622
35.35/35.71	c
35.35/35.71	c
35.35/35.71	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-air01.xml
35.35/35.71	c 19 >   0.000000 | c 35 >   0.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  20.719800 | c 34 >   0.000000 | c 16 > 438.000000 | c 13 >   2.561350 | c 14 >   9.411510 | c 11 >   9.590590 | c 12 >   3.493060 | 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.621000 | c 1 >   9.590590 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.621000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.274900 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.35/35.72	c choco : 8.6
35.35/35.72	c mistral : 2.27
35.35/35.72	c abscon : 5.8991
35.35/35.72	c
35.35/35.72	c
35.35/35.72	c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/air05.xml
35.35/35.72	c 19 >   0.704225 | c 35 >  12.136200 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   5.070420 | c 15 >  19.949500 | c 34 >  24.272300 | c 16 > 404.000000 | c 13 >   1.924370 | c 14 >   8.271460 | c 11 >  12.812800 | c 12 >   3.856800 | c 21 >   1.414210 | c 20 >  99.295800 | 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 >  17.663500 | c 1 >  12.812800 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  17.663400 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  23.213000 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.35/35.73	c choco : 81.31
35.35/35.73	c mistral : 24.24
35.35/35.73	c abscon : 29.0936
35.35/35.73	c
35.35/35.73	c
35.35/35.73	c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/air04.xml
35.35/35.73	c 19 >   0.486027 | c 35 >   8.554070 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   3.499390 | c 15 >  19.789900 | c 34 >  17.108100 | c 16 > 368.000000 | c 13 >   2.173930 | c 14 >   7.467610 | c 11 >  13.120200 | c 12 >   4.034680 | c 21 >   1.414210 | c 20 >  99.514000 | 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.146600 | c 1 >  13.120200 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  18.146600 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  23.201400 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.35/35.73	c choco : 83.64
35.35/35.73	c mistral : 28.58
35.35/35.73	c abscon : 31.3522
35.35/35.73	c
35.35/35.73	c
35.35/35.73	c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-lp4l.xml
35.35/35.73	c 19 >   0.591716 | c 35 >  26.982200 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   4.615380 | c 15 >  20.766200 | c 34 >  40.473400 | c 16 > 1086.000000 | c 13 >   2.780560 | c 14 >   9.548820 | c 11 >  10.084800 | c 12 >   3.155980 | c 21 >   1.414210 | c 20 >  99.408300 | 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.744600 | c 1 >  10.084800 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.744500 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.507400 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.35/35.74	c choco : 60.08
35.35/35.74	c mistral : 1800.03
35.35/35.74	c abscon : 1800.09
35.35/35.74	c
35.35/35.74	c
35.35/35.74	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-kb2.xml
35.35/35.74	c 19 >   0.000000 | c 35 >  20.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   7.941180 | c 15 >  20.102000 | c 34 >  40.000000 | c 16 > 300.000000 | c 13 >   5.660250 | c 14 >  10.213100 | c 11 >  12.164900 | c 12 >   2.805870 | c 21 >   1.303770 | 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.114400 | c 1 >   9.583080 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.114400 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  21.469400 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.35/35.75	c choco : 9.38
35.35/35.75	c mistral : 8.53
35.35/35.75	c abscon : 853.293
35.35/35.75	c
35.35/35.75	c
35.35/35.75	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-egout.xml
35.35/35.75	c 19 >   0.000000 | c 35 > 163.475000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  31.914900 | c 15 >  19.912300 | c 34 > 271.277000 | c 16 > 420.000000 | c 13 >   6.871680 | c 14 >   8.554590 | c 11 >  12.431800 | c 12 >   2.674230 | c 21 >   1.237960 | 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.626800 | c 1 >   9.826550 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  12.626800 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.963300 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.35/35.77	c choco : 6.17
35.35/35.77	c mistral : 3.48
35.35/35.77	c abscon : 1800.07
35.35/35.77	c
35.35/35.77	c
35.35/35.77	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-afiro.xml
35.35/35.77	c 19 >   0.000000 | c 35 >  17.142900 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   3.428570 | c 15 >  20.952800 | c 34 >  27.428600 | c 16 > 270.000000 | c 13 >  10.165400 | c 14 >  10.695200 | c 11 >  10.998600 | c 12 >   5.181450 | c 21 >   1.299440 | 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.819400 | c 1 >   9.368510 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  11.819400 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.652100 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.35/35.78	c choco : 11.35
35.35/35.78	c mistral : 6.16
35.35/35.78	c abscon : 1800.07
35.35/35.78	c
35.35/35.78	c
35.35/35.78	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-noswot.xml
35.35/35.78	c 19 >   0.000000 | c 35 > 156.986000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  31.004800 | c 15 >  17.340600 | c 34 > 292.201000 | c 16 > 425.000000 | c 13 >   1.119930 | c 14 >   8.861090 | c 11 >  12.659100 | c 12 >   0.682554 | c 21 >   1.197630 | 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.528000 | c 1 >   9.184880 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  12.528000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  16.994700 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.35/35.79	c choco : 5.46
35.35/35.79	c mistral : 1.12
35.35/35.79	c abscon : 18.4442
35.35/35.79	c
35.35/35.79	c
35.35/35.79	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-misc07.xml
35.35/35.79	c 19 >   0.000000 | c 35 >  69.635600 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  24.534400 | c 15 >  19.531800 | c 34 > 120.081000 | c 16 > 263.000000 | c 13 >   2.690570 | c 14 >   7.339850 | c 11 >  13.434100 | c 12 >   1.502390 | 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.479500 | c 1 >   8.179910 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.479500 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  26.479800 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.35/35.79	c choco : 5.96
35.35/35.79	c mistral : 22.01
35.35/35.79	c abscon : 1008.63
35.35/35.79	c
35.35/35.79	c
35.35/35.79	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-mas74.xml
35.35/35.79	c 19 >   0.000000 | c 35 >   0.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  19.011100 | c 34 >   0.000000 | c 16 > 239.000000 | c 13 >   2.447610 | c 14 >   7.807350 | c 11 >   9.152280 | c 12 >   2.421360 | c 21 >   1.396420 | 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.506800 | c 1 >   7.832890 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  11.506800 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.090300 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.42/35.80	c choco : 2.83
35.42/35.80	c mistral : 0.65
35.42/35.80	c abscon : 8.5807
35.42/35.80	c
35.42/35.80	c
35.42/35.80	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-mas76.xml
35.42/35.80	c 19 >   0.000000 | c 35 >   0.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  18.961600 | c 34 >   0.000000 | c 16 > 239.000000 | c 13 >   2.356230 | c 14 >   7.807350 | c 11 >   9.139550 | c 12 >   2.362290 | c 21 >   1.396420 | 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.432000 | c 1 >   7.832890 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  11.432000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.025100 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.42/35.81	c choco : 2.67
35.42/35.81	c mistral : 0.58
35.42/35.81	c abscon : 8.38772
35.42/35.81	c
35.42/35.81	c
35.42/35.81	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-stocfor1.xml
35.42/35.81	c 19 >   0.000000 | c 35 >  26.666700 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   5.333330 | c 15 >  20.214000 | c 34 >  47.555600 | c 16 > 240.000000 | c 13 >   7.046300 | c 14 >  10.579300 | c 11 >  10.957100 | c 12 >   4.699830 | c 21 >   1.263720 | 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.875400 | c 1 >  10.957100 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.875400 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.633500 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.42/35.81	c choco : 1801.0
35.42/35.81	c mistral : 18.05
35.42/35.81	c abscon : 1800.09
35.42/35.81	c
35.42/35.81	c
35.42/35.81	c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/mod008.xml
35.42/35.81	c 19 >   0.000000 | c 35 >   0.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  18.023400 | c 34 >   0.000000 | c 16 > 231.000000 | c 13 >   0.672413 | c 14 >   8.299210 | c 11 >   9.290020 | c 12 >   1.306170 | 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.255000 | c 1 >   8.317410 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  11.255000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  28.331200 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.42/35.82	c choco : 2.44
35.42/35.82	c mistral : 0.44
35.42/35.82	c abscon : 1.3238
35.42/35.82	c
35.42/35.82	c
35.42/35.82	c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-mod008.xml
35.42/35.82	c 19 >   0.000000 | c 35 >   0.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  18.049400 | c 34 >   0.000000 | c 16 > 231.000000 | c 13 >  -0.085970 | c 14 >   8.290020 | c 11 >   8.317410 | c 12 >   1.959870 | 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.276100 | c 1 >   8.317410 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  11.276100 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  28.679100 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.42/35.83	c choco : 2.41
35.42/35.83	c mistral : 0.4
35.42/35.83	c abscon : 1.3208
35.42/35.83	c
35.42/35.83	c
35.42/35.83	c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-7-210-60-2-10_glb.xml
35.42/35.83	c 19 >   0.000000 | c 35 >  30.000000 | c 17 >   0.000000 | c 18 >   5.120480 | c 33 >  60.000000 | c 15 >  19.466200 | c 34 >  20.000000 | c 16 > 210.000000 | c 13 >  14.040200 | c 14 >  12.696100 | c 11 >  12.521600 | c 12 >  12.045800 | c 21 >   1.414210 | c 20 >  94.879500 | 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 >   0.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  12.182400 | c 1 >  12.521600 | c 0 >  -1.000000 | c 30 > 100.000000 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  13.521600 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.42/35.83	c choco : 1801.0
35.42/35.83	c mistral : 4.54
35.42/35.83	c abscon : 1801.0
35.42/35.83	c
35.42/35.83	c
35.42/35.83	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-neos20.xml
35.42/35.83	c 19 >  21.689000 | c 35 > 111.094000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  45.771300 | c 15 >  19.752000 | c 34 > 202.328000 | c 16 > 270.000000 | c 13 >   4.428430 | c 14 >   6.965780 | c 11 >  11.941400 | c 12 >   3.092220 | c 21 >   1.211450 | c 20 >  78.311000 | 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.686100 | c 1 >  11.941400 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  15.666900 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  30.855700 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.42/35.84	c choco : 23.83
35.42/35.84	c mistral : 4.90325
35.42/35.84	c abscon : 7.12692
35.42/35.84	c
35.42/35.84	c
35.42/35.84	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-pp08a.xml
35.42/35.84	c 19 >   0.000000 | c 35 >  99.200000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  19.200000 | c 15 >  19.988500 | c 34 > 160.000000 | c 16 > 240.000000 | c 13 >  -1.511630 | c 14 >  10.840000 | c 11 >  12.173100 | c 12 >   1.984930 | c 21 >   1.365340 | 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.889900 | c 1 >  12.173100 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.889900 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  31.609200 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.42/35.84	c choco : 18.53
35.42/35.84	c mistral : 1800.06
35.42/35.84	c abscon : 1348.66
35.42/35.84	c
35.42/35.84	c
35.42/35.84	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-rout.xml
35.42/35.84	c 19 >   4.451040 | c 35 > 237.092000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  49.673600 | c 15 >  20.048000 | c 34 > 385.460000 | c 16 > 917.000000 | c 13 >   6.168340 | c 14 >   8.092760 | c 11 >  11.955300 | c 12 >   3.093840 | c 21 >   1.234990 | c 20 >  95.549000 | 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.713900 | c 1 >  11.955300 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.713100 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  26.990400 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.42/35.85	c choco : 47.8
35.42/35.85	c mistral : 24.86
35.42/35.85	c abscon : 1800.13
35.42/35.85	c
35.42/35.85	c
35.42/35.85	c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-seymour1.xml
35.42/35.85	c 19 >   0.000000 | c 35 >  28.957800 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  12.008300 | c 15 >  20.379700 | c 34 >  53.567200 | c 16 > 198.000000 | c 13 >   5.032800 | c 14 >  -1.000000 | c 11 >  13.358500 | c 12 >   5.009860 | c 21 >   1.411570 | 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 >  19.288000 | c 1 >  13.358500 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  19.288000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  29.315800 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.42/35.86	c choco : 1801.0
35.42/35.86	c mistral : 14.2628
35.42/35.86	c abscon : 40.6598
35.42/35.86	c
35.42/35.86	c
35.42/35.86	c /home/eomahony/cpZilla/CSP/pseudoSeries/course/ss97-4.xml
35.42/35.86	c 19 >  47.631600 | c 35 >  46.561400 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  38.842100 | c 15 >  17.622800 | c 34 >  73.008800 | c 16 > 195.000000 | c 13 >   0.050395 | c 14 >   9.411510 | c 11 >  13.409800 | c 12 >   1.282170 | c 21 >   1.412980 | c 20 >  52.368400 | 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.572500 | c 1 >  11.155500 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.506800 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.835000 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.42/35.86	c choco : 1801.0
35.42/35.86	c mistral : 4.13
35.42/35.86	c abscon : 1800.06
35.42/35.86	c
35.42/35.86	c
35.42/35.86	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-ran17x17.xml
35.42/35.86	c 19 >   0.000000 | c 35 > 250.952000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  48.571400 | c 15 >  19.895800 | c 34 > 402.941000 | c 16 > 510.000000 | c 13 >  -0.068922 | c 14 >  10.591500 | c 11 >  12.222800 | c 12 >   2.250400 | c 21 >   1.238360 | 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.993300 | c 1 >  12.222800 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.993300 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  21.249400 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.42/35.87	c choco : 52.93
35.42/35.87	c mistral : 5.61
35.42/35.87	c abscon : 1800.08
35.42/35.87	c
35.42/35.87	c
35.42/35.87	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-ran16x16.xml
35.42/35.87	c 19 >   0.000000 | c 35 > 248.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  48.000000 | c 15 >  19.951800 | c 34 > 397.625000 | c 16 > 480.000000 | c 13 >  -0.070166 | c 14 >  10.659100 | c 11 >  12.050500 | c 12 >   2.250540 | c 21 >   1.238760 | 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.820400 | c 1 >  12.050500 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.820400 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.996800 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.42/35.87	c choco : 40.89
35.42/35.87	c mistral : 4.67
35.42/35.87	c abscon : 1800.1
35.42/35.87	c
35.42/35.87	c
35.42/35.87	c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/e-am-pi.xml
35.42/35.87	c 19 >   0.000000 | c 35 >  32.220000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  19.767400 | c 34 >  32.220000 | c 16 > 166.000000 | c 13 >   2.574380 | c 14 >   9.920350 | c 11 >  12.191100 | c 12 >   2.458080 | 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.620300 | c 1 >  12.191100 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.620300 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.826000 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.42/35.88	c choco : 16.5
35.42/35.88	c mistral : 4.84
35.42/35.88	c abscon : 6.63899
35.42/35.88	c
35.42/35.88	c
35.42/35.88	c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/apex4-a.xml
35.42/35.88	c 19 >  39.091900 | c 35 >  43.768600 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  39.854300 | c 15 >  19.496800 | c 34 >  53.144200 | c 16 > 160.000000 | c 13 >   3.581130 | c 14 >  10.985800 | c 11 >  12.007400 | c 12 >   3.551250 | c 21 >   1.397820 | c 20 >  60.908100 | 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.649000 | c 1 >  12.007400 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  15.517500 | c 6 >   6.954200 | c 32 >  -1.000000 | c 5 >  18.803500 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.42/35.88	c choco : 24.35
35.42/35.88	c mistral : 3.62
35.42/35.88	c abscon : 12.2411
35.42/35.88	c
35.42/35.88	c
35.42/35.88	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-ran13x13.xml
35.42/35.88	c 19 >   0.000000 | c 35 > 237.059000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  45.882400 | c 15 >  20.130300 | c 34 > 380.000000 | c 16 > 390.000000 | c 13 >   0.047139 | c 14 >  11.171800 | c 11 >  11.441400 | c 12 >   2.239740 | c 21 >   1.237270 | 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.208600 | c 1 >  11.441400 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.208600 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.089400 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.42/35.89	c choco : 22.91
35.42/35.89	c mistral : 2.5
35.42/35.89	c abscon : 1800.1
35.42/35.89	c
35.42/35.89	c
35.42/35.89	c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/ex5-pi.xml
35.42/35.89	c 19 >   0.000000 | c 35 >  26.343200 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  20.089900 | c 34 >  26.343200 | c 16 > 146.000000 | c 13 >   3.630320 | c 14 >   8.791160 | c 11 >  11.247300 | c 12 >   4.063740 | c 21 >   1.410180 | 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 >  15.280800 | c 1 >  11.247300 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  15.280800 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.356000 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.42/35.89	c choco : 10.89
35.42/35.89	c mistral : 4.98
35.42/35.89	c abscon : 7.27989
35.42/35.89	c
35.42/35.89	c
35.42/35.89	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-markshare2-1.xml
35.42/35.89	c 19 >   0.000000 | c 35 >  33.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  18.000000 | c 15 >  18.319300 | c 34 >  66.000000 | c 16 > 150.000000 | c 13 >   1.599130 | c 14 >   7.592460 | c 11 >  11.148500 | c 12 >   0.825579 | c 21 >   1.345020 | 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.832500 | c 1 >   8.060700 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  11.832500 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  21.353800 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.48/35.90	c choco : 2.64
35.48/35.90	c mistral : 0.55
35.48/35.90	c abscon : 199.342
35.48/35.90	c
35.48/35.90	c
35.48/35.90	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-ran12x12.xml
35.48/35.90	c 19 >   0.000000 | c 35 > 232.500000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  45.000000 | c 15 >  19.813800 | c 34 > 373.802000 | c 16 > 360.000000 | c 13 >  -0.005693 | c 14 >  10.966500 | c 11 >  11.219200 | c 12 >   2.242570 | c 21 >   1.238570 | 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.989500 | c 1 >  11.219200 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.989500 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.772400 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.48/35.91	c choco : 19.38
35.48/35.91	c mistral : 1.98
35.48/35.91	c abscon : 1800.08
35.48/35.91	c
35.48/35.91	c
35.48/35.91	c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/5xp1-b.xml
35.48/35.91	c 19 >   0.000000 | c 35 >  77.081900 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  13.736700 | c 15 >  19.866700 | c 34 >  81.660700 | c 16 > 149.000000 | c 13 >   5.599960 | c 14 >   6.807350 | c 11 >   8.854870 | c 12 >   6.012360 | c 21 >   1.413450 | 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.865400 | c 1 >   8.854870 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.865400 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.590000 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.48/35.91	c choco : 6.4
35.48/35.91	c mistral : 2.56
35.48/35.91	c abscon : 3.13052
35.48/35.91	c
35.48/35.91	c
35.48/35.91	c /home/eomahony/cpZilla/CSP/pseudoSeries/course/ws97-5.xml
35.48/35.91	c 19 >  58.459200 | c 35 >  31.284000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  35.075500 | c 15 >  19.950800 | c 34 >  48.836900 | c 16 > 134.000000 | c 13 >   4.497660 | c 14 >  10.391200 | c 11 >  11.696100 | c 12 >   2.707310 | c 21 >   1.411090 | c 20 >  41.540800 | 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.857600 | c 1 >   9.812180 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  11.700400 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  16.912900 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.48/35.92	c choco : 1801.0
35.48/35.92	c mistral : 0.71
35.48/35.92	c abscon : 1800.1
35.48/35.92	c
35.48/35.92	c
35.48/35.92	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-misc03.xml
35.48/35.92	c 19 >   0.000000 | c 35 > 105.366000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  40.000000 | c 15 >  19.853600 | c 34 > 171.951000 | c 16 > 169.000000 | c 13 >   4.829990 | c 14 >   8.442940 | c 11 >  11.734700 | c 12 >   3.200360 | 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.866500 | c 1 >   7.569860 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  11.866500 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  25.843600 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.48/35.93	c choco : 2.64
35.48/35.93	c mistral : 1.78
35.48/35.93	c abscon : 65.1051
35.48/35.93	c
35.48/35.93	c
35.48/35.93	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-pp08aCUTS.xml
35.48/35.93	c 19 >   0.000000 | c 35 >  64.598900 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  20.534800 | c 15 >  20.157300 | c 34 > 127.487000 | c 16 > 147.000000 | c 13 >  -0.784144 | c 14 >  10.462500 | c 11 >  12.167400 | c 12 >   2.516780 | 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 >  15.436900 | c 1 >  12.167400 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  15.436900 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  31.838100 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.48/35.93	c choco : 482.24
35.48/35.93	c mistral : 1800.08
35.48/35.93	c abscon : 1800.1
35.48/35.93	c
35.48/35.93	c
35.48/35.93	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-bell5.xml
35.48/35.93	c 19 >  12.605000 | c 35 >  46.554600 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  29.243700 | c 15 >  20.294600 | c 34 >  90.756300 | c 16 > 135.000000 | c 13 >   9.222100 | c 14 >  10.246700 | c 11 >  11.626200 | c 12 >   4.995200 | c 21 >   1.335460 | c 20 >  87.395000 | 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.449700 | c 1 >  10.382600 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  12.445800 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  24.299100 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.48/35.94	c choco : 1801.0
35.48/35.94	c mistral : 247.62
35.48/35.94	c abscon : 437.054
35.48/35.94	c
35.48/35.94	c
35.48/35.94	c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-10_glb.xml
35.48/35.94	c 19 >   0.000000 | c 35 >  -1.000000 | c 17 >   0.000000 | c 18 > 100.000000 | c 33 >  -1.000000 | c 15 >  20.696000 | c 34 >  -1.000000 | c 16 > 100.000000 | c 13 >  12.108300 | c 14 >  14.463800 | c 11 >   6.643860 | c 12 >  14.945800 | c 21 >  10.000000 | c 20 >   0.000000 | c 22 >  10.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   1.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >   4.347830 | c 3 >   6.643860 | c 2 >  -1.000000 | c 10 >  12.279900 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  95.652200 | c 7 >  -1.000000 | c 6 >  -1.000000 | c 32 >   0.000000 | c 5 >  13.287700 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
35.48/35.94	c choco : 1801.0
35.48/35.94	c mistral : 197.92
35.48/35.94	c abscon : 1801.0
35.48/35.94	c
35.48/35.94	c
35.48/35.95	c Length: 40
35.48/35.95	c 186.69824529904184  194.40961499921087  272.67656386371476  301.1940937351447  310.06002555477374  314.5606196510657  314.56067715004116  344.38151024636954  375.286522917089  426.27843204607507  438.7622294233812  459.3402291550362  465.17153296460174  466.8794987436622  491.5821570165008  492.84773943479945  492.8517314010065  495.00912975406055  500.444546208342  500.4523841556633  513.5892180592712  517.6664894088465  527.6883453288676  534.00802394689  535.221401247819  538.272408674091  543.6320848698793  549.577490502819  563.6185994202999  569.0168626692513  574.864956339903  581.9553032725254  582.1544953176684  585.7102482395956  589.0648789017117  592.1834660140333  596.0188854834454  597.9537754507936  599.114408231758  600.7942883172121  
35.48/35.95	c 
35.48/35.95	c 1.0  0.9817182688884648  0.8280689330032178  0.7833946182543597  0.7704717004503187  0.7640734597822748  0.7640733787180545  0.7242235548740029  0.6870861391931253  0.63348799323315  0.6216164677343871  0.6029898255423792  0.5979127643572656  0.5964418613829229  0.5759493575456279  0.5749373257548854  0.5749341391781745  0.5732171540305985  0.5689364550895585  0.56893032842493  0.5588438585299184  0.5557856552411076  0.5484090084697115  0.5438572062820509  0.5429918936988597  0.5408282045723302  0.5370687341295971  0.5329590905854927  0.5234986841178967  0.5199503017890607  0.5161601245016799  0.5116382979330063  0.5115124082532223  0.509275544715482  0.507183065283551  0.5052531839636968  0.502899748651675  0.5017207896360512  0.5010162463865379  0.5  
35.48/35.96	c
35.48/35.96	c solver 0
35.48/35.96	c	  before 0.0 seconds: {} 0
35.48/35.96	c	  before 18.0 seconds: {0, 5, 6, 15, 16, 18, 19, 21, 28, 29, 31, 34} 7433
35.48/35.96	c	  before 36.0 seconds: {0, 3, 5, 6, 7, 8, 13, 15, 16, 18, 19, 21, 28, 29, 31, 34} 10225
35.48/35.96	c	  before 54.0 seconds: {0, 3, 4, 5, 6, 7, 8, 13, 15, 16, 18, 19, 21, 24, 28, 29, 31, 34} 11538
35.48/35.96	c	  before 72.0 seconds: {0, 3, 4, 5, 6, 7, 8, 13, 15, 16, 18, 19, 21, 24, 28, 29, 31, 34, 36} 12041
35.48/35.96	c	  before 216.0 seconds: {0, 3, 4, 5, 6, 7, 8, 13, 15, 16, 18, 19, 21, 24, 28, 29, 31, 32, 34, 36} 12552
35.48/35.96	c	  before 450.0 seconds: {0, 3, 4, 5, 6, 7, 8, 13, 15, 16, 18, 19, 21, 24, 28, 29, 31, 32, 34, 36, 38} 13053
35.48/35.96	c	  before 864.0 seconds: {0, 3, 4, 5, 6, 7, 8, 10, 13, 15, 16, 18, 19, 21, 24, 28, 29, 31, 32, 34, 36, 38} 13675
35.48/35.96	c	  before 1026.0 seconds: {0, 3, 4, 5, 6, 7, 8, 10, 13, 14, 15, 16, 18, 19, 21, 24, 28, 29, 31, 32, 34, 36, 38} 14251
35.48/35.96	c	  before 1350.0 seconds: {0, 3, 4, 5, 6, 7, 8, 10, 13, 14, 15, 16, 18, 19, 21, 22, 24, 28, 29, 31, 32, 34, 36, 38} 14799
35.48/35.96	c
35.48/35.96	c solver 1
35.48/35.96	c	  before 0.0 seconds: {} 0
35.48/35.96	c	  before 18.0 seconds: {0, 3, 4, 5, 6, 10, 11, 12, 13, 15, 16, 18, 19, 20, 21, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36} 16664
35.48/35.96	c	  before 36.0 seconds: {0, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36} 19768
35.48/35.96	c	  before 72.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36} 20750
35.48/35.96	c	  before 198.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 39} 21250
35.48/35.96	c	  before 252.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 21751
35.48/35.96	c
35.48/35.96	c solver 2
35.48/35.96	c	  before 0.0 seconds: {} 0
35.48/35.96	c	  before 18.0 seconds: {0, 2, 3, 4, 5, 6, 10, 11, 12, 13, 14, 15, 16, 18, 19, 28, 31, 32, 34, 36} 12749
35.48/35.96	c	  before 36.0 seconds: {0, 2, 3, 4, 5, 6, 10, 11, 12, 13, 14, 15, 16, 18, 19, 21, 22, 28, 29, 30, 31, 32, 33, 34, 36} 15399
35.48/35.96	c	  before 54.0 seconds: {0, 2, 3, 4, 5, 6, 10, 11, 12, 13, 14, 15, 16, 18, 19, 21, 22, 23, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36} 17012
35.48/35.96	c	  before 72.0 seconds: {0, 2, 3, 4, 5, 6, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 21, 22, 23, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36} 17646
35.48/35.96	c	  before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 21, 22, 23, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36} 20039
35.48/35.96	c	  before 486.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 21, 22, 23, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36, 37} 20541
35.48/35.96	c
35.48/35.96	cTotal time: 116
35.48/35.97	c	  run abscon for 1026.0 seconds {0, 3, 4, 5, 6, 7, 8, 10, 13, 14, 15, 16, 18, 19, 21, 24, 28, 29, 31, 32, 34, 36, 38} 14251
35.48/35.97	c	  run mistral for 252.0 seconds {0, 1, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 21751
35.48/35.97	c	  run choco for 486.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 21, 22, 23, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36, 37} 20541
35.48/35.97	c Starting solver: HOME/cpHydra_k_40/solver/abscon
35.48/35.97	c On Instance: HOME/instance-1070053-1215162995.xml
35.48/35.97	c Running for: 1026 seconds
1067.04/1068.10	c Starting solver: HOME/cpHydra_k_40/solver/mistral
1067.04/1068.10	c On Instance: HOME/instance-1070053-1215162995.xml
1067.04/1068.10	c Running for: 252 seconds
1102.09/1103.41	c mistral-prime version 1.313
1102.09/1103.41	s SATISFIABLE
1102.09/1103.41	v 0 0 0 0 0 0 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 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 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 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 1 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 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 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 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 1 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 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 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 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 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 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 1 0 0 0 0 0 0 0 0 0 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 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 1 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 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 0 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 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 0 0 0 0 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 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 0 0 0 0 0 0 0 0 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 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 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 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 0 1 0 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 1 0 0 0 0 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 1 0 0 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 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 1 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 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 1 0 1 0 0 0 0 0 0 0 0 0 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 1 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 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0
1102.09/1103.41	d CHECKS 2641287
1102.09/1103.41	d ASSIGNMENTS 761

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-1070053-1215162995/watcher-1070053-1215162995 -o /tmp/evaluation-result-1070053-1215162995/solver-1070053-1215162995 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1070053-1215162995.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.10 2.02 2.01 3/73 17361
/proc/meminfo: memFree=1520984/2055920 swapFree=4180240/4192956
[pid=17361] ppid=17359 vsize=18572 CPUtime=0
/proc/17361/stat : 17361 (runsolver) R 17359 17361 16959 0 -1 4194368 15 0 0 0 0 0 0 0 23 0 1 0 1995271878 19017728 293 996147200 4194304 4296836 548682068480 18446744073709551615 240577473831 0 0 4096 24578 0 0 0 17 1 0 0
/proc/17361/statm: 4643 293 257 25 0 2626 0

[startup+0.090299 s]
/proc/loadavg: 2.10 2.02 2.01 3/73 17361
/proc/meminfo: memFree=1520984/2055920 swapFree=4180240/4192956
[pid=17361] ppid=17359 vsize=5360 CPUtime=0
/proc/17361/stat : 17361 (hydra) S 17359 17361 16959 0 -1 4194304 330 247 0 0 0 0 0 0 24 0 1 0 1995271878 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17361/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.101297 s]
/proc/loadavg: 2.10 2.02 2.01 3/73 17361
/proc/meminfo: memFree=1520984/2055920 swapFree=4180240/4192956
[pid=17361] ppid=17359 vsize=5360 CPUtime=0
/proc/17361/stat : 17361 (hydra) S 17359 17361 16959 0 -1 4194304 330 247 0 0 0 0 0 0 24 0 1 0 1995271878 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17361/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.301335 s]
/proc/loadavg: 2.10 2.02 2.01 3/73 17361
/proc/meminfo: memFree=1520984/2055920 swapFree=4180240/4192956
[pid=17361] ppid=17359 vsize=5360 CPUtime=0
/proc/17361/stat : 17361 (hydra) S 17359 17361 16959 0 -1 4194304 330 247 0 0 0 0 0 0 24 0 1 0 1995271878 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17361/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.701402 s]
/proc/loadavg: 2.10 2.02 2.01 3/73 17361
/proc/meminfo: memFree=1520984/2055920 swapFree=4180240/4192956
[pid=17361] ppid=17359 vsize=5360 CPUtime=0
/proc/17361/stat : 17361 (hydra) S 17359 17361 16959 0 -1 4194304 330 247 0 0 0 0 0 0 24 0 1 0 1995271878 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17361/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+1.50154 s]
/proc/loadavg: 2.10 2.02 2.01 3/75 17365
/proc/meminfo: memFree=1503240/2055920 swapFree=4180240/4192956
[pid=17361] ppid=17359 vsize=5360 CPUtime=0
/proc/17361/stat : 17361 (hydra) S 17359 17361 16959 0 -1 4194304 330 247 0 0 0 0 0 0 24 0 1 0 1995271878 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17361/statm: 1340 236 195 169 0 51 0
[pid=17365] ppid=17361 vsize=15492 CPUtime=1.47
/proc/17365/stat : 17365 (xsolve) R 17361 17361 16959 0 -1 4194304 3206 0 0 0 145 2 0 0 25 0 1 0 1995271880 15863808 3099 996147200 134512640 135239763 4294956176 18446744073709551615 8347938 0 0 4096 0 0 0 0 17 1 0 0
/proc/17365/statm: 3873 3099 368 177 0 2776 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 20852

[startup+3.10281 s]
/proc/loadavg: 2.18 2.03 2.01 3/75 17365
/proc/meminfo: memFree=1488584/2055920 swapFree=4180240/4192956
[pid=17361] ppid=17359 vsize=5360 CPUtime=0
/proc/17361/stat : 17361 (hydra) S 17359 17361 16959 0 -1 4194304 330 247 0 0 0 0 0 0 24 0 1 0 1995271878 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17361/statm: 1340 236 195 169 0 51 0
[pid=17365] ppid=17361 vsize=26636 CPUtime=3.05
/proc/17365/stat : 17365 (xsolve) R 17361 17361 16959 0 -1 4194304 6092 0 0 0 300 5 0 0 25 0 1 0 1995271880 27275264 5855 996147200 134512640 135239763 4294956176 18446744073709551615 134683265 0 0 4096 0 0 0 0 17 1 0 0
/proc/17365/statm: 6659 5855 368 177 0 5562 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 31996

[startup+6.30134 s]
/proc/loadavg: 2.18 2.03 2.01 3/75 17365
/proc/meminfo: memFree=1445320/2055920 swapFree=4180240/4192956
[pid=17361] ppid=17359 vsize=5360 CPUtime=0
/proc/17361/stat : 17361 (hydra) S 17359 17361 16959 0 -1 4194304 330 247 0 0 0 0 0 0 24 0 1 0 1995271878 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17361/statm: 1340 236 195 169 0 51 0
[pid=17365] ppid=17361 vsize=48756 CPUtime=6.21
/proc/17365/stat : 17365 (xsolve) R 17361 17361 16959 0 -1 4194304 11791 0 0 0 612 9 0 0 25 0 1 0 1995271880 49926144 11296 996147200 134512640 135239763 4294956176 18446744073709551615 134683394 0 0 4096 0 0 0 0 17 1 0 0
/proc/17365/statm: 12189 11296 368 177 0 11092 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 54116

[startup+12.7014 s]
/proc/loadavg: 2.15 2.03 2.01 3/75 17365
/proc/meminfo: memFree=1353480/2055920 swapFree=4180240/4192956
[pid=17361] ppid=17359 vsize=5360 CPUtime=0
/proc/17361/stat : 17361 (hydra) S 17359 17361 16959 0 -1 4194304 330 247 0 0 0 0 0 0 24 0 1 0 1995271878 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17361/statm: 1340 236 195 169 0 51 0
[pid=17365] ppid=17361 vsize=91856 CPUtime=12.54
/proc/17365/stat : 17365 (xsolve) R 17361 17361 16959 0 -1 4194304 22935 0 0 0 1237 17 0 0 25 0 1 0 1995271880 94060544 21926 996147200 134512640 135239763 4294956176 18446744073709551615 134524220 0 0 4096 0 0 0 0 17 1 0 0
/proc/17365/statm: 22964 21926 368 177 0 21867 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 97216

[startup+25.5016 s]
/proc/loadavg: 2.12 2.03 2.01 3/83 17377
/proc/meminfo: memFree=1265736/2055920 swapFree=4180240/4192956
[pid=17361] ppid=17359 vsize=5360 CPUtime=0
/proc/17361/stat : 17361 (hydra) S 17359 17361 16959 0 -1 4194304 330 247 0 0 0 0 0 0 24 0 1 0 1995271878 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17361/statm: 1340 236 195 169 0 51 0
[pid=17365] ppid=17361 vsize=364332 CPUtime=25.22
/proc/17365/stat : 17365 (xsolve) R 17361 17361 16959 0 -1 4194304 91573 0 0 0 2467 55 0 0 25 0 1 0 1995271880 373075968 89084 996147200 134512640 135239763 4294956176 18446744073709551615 8353403 0 0 4096 0 0 0 0 17 1 0 0
/proc/17365/statm: 91083 89084 388 177 0 89986 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 369692

[startup+51.1029 s]
/proc/loadavg: 2.29 2.07 2.02 3/114 17412
/proc/meminfo: memFree=617480/2055920 swapFree=4180240/4192956
[pid=17361] ppid=17359 vsize=5360 CPUtime=29.95
/proc/17361/stat : 17361 (hydra) S 17359 17361 16959 0 -1 4194304 375 149373 0 0 0 0 2908 87 19 0 1 0 1995271878 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17361/statm: 1340 238 196 169 0 51 0
[pid=17392] ppid=17361 vsize=197428 CPUtime=5.58
/proc/17392/stat : 17392 (java) S 17361 17361 16959 0 -1 0 11471 0 1 0 540 18 0 0 22 0 10 0 1995274904 202166272 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17392/statm: 49357 9427 2544 9 0 43939 0
[pid=17402] ppid=17392 vsize=5356 CPUtime=0
/proc/17402/stat : 17402 (abscon) S 17392 17361 16959 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1995275476 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 240577471300 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/17402/statm: 1339 237 196 169 0 50 0
[pid=17403] ppid=17402 vsize=662792 CPUtime=15.09
/proc/17403/stat : 17403 (java) S 17402 17361 16959 0 -1 0 74908 0 1 0 1459 50 0 0 25 0 9 0 1995275477 678699008 72703 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17403/statm: 165698 72703 2614 9 0 160226 0
[pid=17403/tid=17405] ppid=17402 vsize=662792 CPUtime=10.12
/proc/17403/task/17405/stat : 17405 (java) S 17402 17361 16959 0 -1 64 12432 0 1 0 993 19 0 0 25 0 9 0 1995275478 678699008 72703 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17403/tid=17406] ppid=17402 vsize=662792 CPUtime=4.75
/proc/17403/task/17406/stat : 17406 (java) R 17402 17361 16959 0 -1 64 61300 0 0 0 446 29 0 0 25 0 9 0 1995275479 678699008 72703 996147200 134512640 134550740 4294955808 18446744073709551615 103736814 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17403/tid=17407] ppid=17402 vsize=662792 CPUtime=0
/proc/17403/task/17407/stat : 17407 (java) S 17402 17361 16959 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1995275479 678699008 72703 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17403/tid=17408] ppid=17402 vsize=662792 CPUtime=0
/proc/17403/task/17408/stat : 17408 (java) S 17402 17361 16959 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1995275479 678699008 72703 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17403/tid=17409] ppid=17402 vsize=662792 CPUtime=0
/proc/17403/task/17409/stat : 17409 (java) S 17402 17361 16959 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1995275481 678699008 72703 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17403/tid=17410] ppid=17402 vsize=662792 CPUtime=0.19
/proc/17403/task/17410/stat : 17410 (java) S 17402 17361 16959 0 -1 64 630 0 0 0 19 0 0 0 16 0 9 0 1995275481 678699008 72703 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17403/tid=17411] ppid=17402 vsize=662792 CPUtime=0
/proc/17403/task/17411/stat : 17411 (java) S 17402 17361 16959 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1995275481 678699008 72703 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17403/tid=17412] ppid=17402 vsize=662792 CPUtime=0
/proc/17403/task/17412/stat : 17412 (java) S 17402 17361 16959 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1995275481 678699008 72703 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17404] ppid=17402 vsize=7044 CPUtime=0
/proc/17404/stat : 17404 (translate) S 17402 17361 16959 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1995275477 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 240577642578 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/17404/statm: 1761 213 182 1 0 41 0
[pid=17392/tid=17393] ppid=17361 vsize=197428 CPUtime=4.43
/proc/17392/task/17393/stat : 17393 (java) S 17361 17361 16959 0 -1 64 3856 0 1 0 437 6 0 0 25 0 10 0 1995274905 202166272 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=17392/tid=17394] ppid=17361 vsize=197428 CPUtime=0.89
/proc/17392/task/17394/stat : 17394 (java) S 17361 17361 16959 0 -1 64 6120 0 0 0 79 10 0 0 16 0 10 0 1995274906 202166272 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17395] ppid=17361 vsize=197428 CPUtime=0
/proc/17392/task/17395/stat : 17395 (java) S 17361 17361 16959 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1995274906 202166272 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17396] ppid=17361 vsize=197428 CPUtime=0
/proc/17392/task/17396/stat : 17396 (java) S 17361 17361 16959 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1995274907 202166272 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17397] ppid=17361 vsize=197428 CPUtime=0
/proc/17392/task/17397/stat : 17397 (java) S 17361 17361 16959 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1995274908 202166272 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17398] ppid=17361 vsize=197428 CPUtime=0.22
/proc/17392/task/17398/stat : 17398 (java) S 17361 17361 16959 0 -1 64 670 0 0 0 22 0 0 0 16 0 10 0 1995274908 202166272 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17399] ppid=17361 vsize=197428 CPUtime=0
/proc/17392/task/17399/stat : 17399 (java) S 17361 17361 16959 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1995274908 202166272 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17400] ppid=17361 vsize=197428 CPUtime=0
/proc/17392/task/17400/stat : 17400 (java) S 17361 17361 16959 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1995274908 202166272 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17401] ppid=17361 vsize=197428 CPUtime=0
/proc/17392/task/17401/stat : 17401 (java) S 17361 17361 16959 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1995275476 202166272 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 877980

[startup+102.307 s]
/proc/loadavg: 2.20 2.09 2.03 3/114 17412
/proc/meminfo: memFree=614216/2055920 swapFree=4180240/4192956
[pid=17361] ppid=17359 vsize=5360 CPUtime=29.95
/proc/17361/stat : 17361 (hydra) S 17359 17361 16959 0 -1 4194304 375 149373 0 0 0 0 2908 87 19 0 1 0 1995271878 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17361/statm: 1340 238 196 169 0 51 0
[pid=17392] ppid=17361 vsize=197428 CPUtime=5.58
/proc/17392/stat : 17392 (java) S 17361 17361 16959 0 -1 0 11471 0 1 0 540 18 0 0 22 0 10 0 1995274904 202166272 9427 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17392/statm: 49357 9427 2544 9 0 43939 0
[pid=17402] ppid=17392 vsize=5356 CPUtime=0
/proc/17402/stat : 17402 (abscon) S 17392 17361 16959 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1995275476 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 240577471300 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/17402/statm: 1339 237 196 169 0 50 0
[pid=17403] ppid=17402 vsize=655660 CPUtime=66.26
/proc/17403/stat : 17403 (java) S 17402 17361 16959 0 -1 0 76645 0 1 0 6575 51 0 0 25 0 9 0 1995275477 671395840 72649 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17403/statm: 163915 72649 2616 9 0 158443 0
[pid=17403/tid=17405] ppid=17402 vsize=655660 CPUtime=60.53
/proc/17403/task/17405/stat : 17405 (java) R 17402 17361 16959 0 -1 64 12502 0 1 0 6034 19 0 0 25 0 9 0 1995275478 671395840 72649 996147200 134512640 134550740 4294955808 18446744073709551615 4127139696 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17403/tid=17406] ppid=17402 vsize=655660 CPUtime=5.36
/proc/17403/task/17406/stat : 17406 (java) S 17402 17361 16959 0 -1 64 62881 0 0 0 507 29 0 0 16 0 9 0 1995275479 671395840 72649 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17403/tid=17407] ppid=17402 vsize=655660 CPUtime=0
/proc/17403/task/17407/stat : 17407 (java) S 17402 17361 16959 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1995275479 671395840 72649 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17403/tid=17408] ppid=17402 vsize=655660 CPUtime=0
/proc/17403/task/17408/stat : 17408 (java) S 17402 17361 16959 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1995275479 671395840 72649 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17403/tid=17409] ppid=17402 vsize=655660 CPUtime=0
/proc/17403/task/17409/stat : 17409 (java) S 17402 17361 16959 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1995275481 671395840 72649 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17403/tid=17410] ppid=17402 vsize=655660 CPUtime=0.34
/proc/17403/task/17410/stat : 17410 (java) S 17402 17361 16959 0 -1 64 716 0 0 0 33 1 0 0 16 0 9 0 1995275481 671395840 72649 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17403/tid=17411] ppid=17402 vsize=655660 CPUtime=0
/proc/17403/task/17411/stat : 17411 (java) S 17402 17361 16959 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1995275481 671395840 72649 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0

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

/proc/17392/task/17394/stat : 17394 (java) S 17361 17361 16959 0 -1 64 6139 77225 0 1 79 10 103104 58 16 0 10 0 1995274906 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17395] ppid=17361 vsize=197752 CPUtime=1031.62
/proc/17392/task/17395/stat : 17395 (java) S 17361 17361 16959 0 -1 64 11 77225 0 1 0 0 103104 58 16 0 10 0 1995274906 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17396] ppid=17361 vsize=197752 CPUtime=1031.62
/proc/17392/task/17396/stat : 17396 (java) S 17361 17361 16959 0 -1 64 5 77225 0 1 0 0 103104 58 16 0 10 0 1995274907 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17397] ppid=17361 vsize=197752 CPUtime=1031.62
/proc/17392/task/17397/stat : 17397 (java) S 17361 17361 16959 0 -1 64 1 77225 0 1 0 0 103104 58 25 0 10 0 1995274908 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17398] ppid=17361 vsize=197752 CPUtime=1031.84
/proc/17392/task/17398/stat : 17398 (java) S 17361 17361 16959 0 -1 64 702 77225 0 1 22 0 103104 58 16 0 10 0 1995274908 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17399] ppid=17361 vsize=197752 CPUtime=1031.62
/proc/17392/task/17399/stat : 17399 (java) S 17361 17361 16959 0 -1 64 1 77225 0 1 0 0 103104 58 25 0 10 0 1995274908 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17400] ppid=17361 vsize=197752 CPUtime=1031.62
/proc/17392/task/17400/stat : 17400 (java) S 17361 17361 16959 0 -1 64 37 77225 0 1 0 0 103104 58 15 0 10 0 1995274908 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17451] ppid=17361 vsize=197752 CPUtime=1031.62
/proc/17392/task/17451/stat : 17451 (java) S 17361 17361 16959 0 -1 64 47 77225 0 1 0 0 103104 58 18 0 10 0 1995378689 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1099.42
Current children cumulated vsize (KiB) 803420

[startup+1102.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/93 17453
/proc/meminfo: memFree=942568/2055920 swapFree=4180240/4192956
[pid=17361] ppid=17359 vsize=5360 CPUtime=29.95
/proc/17361/stat : 17361 (hydra) S 17359 17361 16959 0 -1 4194304 375 149373 0 0 0 0 2908 87 19 0 1 0 1995271878 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17361/statm: 1340 238 196 169 0 51 0
[pid=17392] ppid=17361 vsize=197752 CPUtime=1037.2
/proc/17392/stat : 17392 (java) S 17361 17361 16959 0 -1 0 11662 77225 1 1 540 18 103104 58 22 0 10 0 1995274904 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17392/statm: 49438 9433 2545 9 0 44020 0
[pid=17452] ppid=17392 vsize=5356 CPUtime=0
/proc/17452/stat : 17452 (mistral) S 17392 17361 16959 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 1995378689 5484544 238 996147200 4194304 4889804 548682068576 18446744073709551615 240577471300 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/17452/statm: 1339 238 198 169 0 50 0
[pid=17453] ppid=17452 vsize=594952 CPUtime=33.85
/proc/17453/stat : 17453 (xsolve) R 17452 17361 16959 0 -1 4194304 151249 0 0 0 3298 87 0 0 25 0 1 0 1995378690 609230848 145907 996147200 134512640 135239763 4294955952 18446744073709551615 8347810 0 4 0 0 0 0 0 17 1 0 0
/proc/17453/statm: 148738 145907 415 177 0 147641 0
[pid=17392/tid=17393] ppid=17361 vsize=197752 CPUtime=1036.06
/proc/17392/task/17393/stat : 17393 (java) S 17361 17361 16959 0 -1 64 3937 77225 1 1 438 6 103104 58 16 0 10 0 1995274905 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=17392/tid=17394] ppid=17361 vsize=197752 CPUtime=1032.51
/proc/17392/task/17394/stat : 17394 (java) S 17361 17361 16959 0 -1 64 6139 77225 0 1 79 10 103104 58 16 0 10 0 1995274906 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17395] ppid=17361 vsize=197752 CPUtime=1031.62
/proc/17392/task/17395/stat : 17395 (java) S 17361 17361 16959 0 -1 64 11 77225 0 1 0 0 103104 58 16 0 10 0 1995274906 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17396] ppid=17361 vsize=197752 CPUtime=1031.62
/proc/17392/task/17396/stat : 17396 (java) S 17361 17361 16959 0 -1 64 5 77225 0 1 0 0 103104 58 16 0 10 0 1995274907 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17397] ppid=17361 vsize=197752 CPUtime=1031.62
/proc/17392/task/17397/stat : 17397 (java) S 17361 17361 16959 0 -1 64 1 77225 0 1 0 0 103104 58 25 0 10 0 1995274908 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17398] ppid=17361 vsize=197752 CPUtime=1031.84
/proc/17392/task/17398/stat : 17398 (java) S 17361 17361 16959 0 -1 64 702 77225 0 1 22 0 103104 58 16 0 10 0 1995274908 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17399] ppid=17361 vsize=197752 CPUtime=1031.62
/proc/17392/task/17399/stat : 17399 (java) S 17361 17361 16959 0 -1 64 1 77225 0 1 0 0 103104 58 25 0 10 0 1995274908 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17400] ppid=17361 vsize=197752 CPUtime=1031.62
/proc/17392/task/17400/stat : 17400 (java) S 17361 17361 16959 0 -1 64 37 77225 0 1 0 0 103104 58 15 0 10 0 1995274908 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17451] ppid=17361 vsize=197752 CPUtime=1031.62
/proc/17392/task/17451/stat : 17451 (java) S 17361 17361 16959 0 -1 64 47 77225 0 1 0 0 103104 58 18 0 10 0 1995378689 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1101
Current children cumulated vsize (KiB) 803420

[startup+1103.1 s]
/proc/loadavg: 2.07 2.03 2.00 3/93 17453
/proc/meminfo: memFree=942568/2055920 swapFree=4180240/4192956
[pid=17361] ppid=17359 vsize=5360 CPUtime=29.95
/proc/17361/stat : 17361 (hydra) S 17359 17361 16959 0 -1 4194304 375 149373 0 0 0 0 2908 87 19 0 1 0 1995271878 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17361/statm: 1340 238 196 169 0 51 0
[pid=17392] ppid=17361 vsize=197752 CPUtime=1037.2
/proc/17392/stat : 17392 (java) S 17361 17361 16959 0 -1 0 11662 77225 1 1 540 18 103104 58 22 0 10 0 1995274904 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17392/statm: 49438 9433 2545 9 0 44020 0
[pid=17452] ppid=17392 vsize=5356 CPUtime=0
/proc/17452/stat : 17452 (mistral) S 17392 17361 16959 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 1995378689 5484544 238 996147200 4194304 4889804 548682068576 18446744073709551615 240577471300 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/17452/statm: 1339 238 198 169 0 50 0
[pid=17453] ppid=17452 vsize=571904 CPUtime=34.65
/proc/17453/stat : 17453 (xsolve) R 17452 17361 16959 0 -1 4194304 151258 0 0 0 3377 88 0 0 25 0 1 0 1995378690 585629696 140919 996147200 134512640 135239763 4294955952 18446744073709551615 8347800 0 4 0 0 0 0 0 17 1 0 0
/proc/17453/statm: 142976 140919 424 177 0 141879 0
[pid=17392/tid=17393] ppid=17361 vsize=197752 CPUtime=1036.06
/proc/17392/task/17393/stat : 17393 (java) S 17361 17361 16959 0 -1 64 3937 77225 1 1 438 6 103104 58 16 0 10 0 1995274905 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=17392/tid=17394] ppid=17361 vsize=197752 CPUtime=1032.51
/proc/17392/task/17394/stat : 17394 (java) S 17361 17361 16959 0 -1 64 6139 77225 0 1 79 10 103104 58 16 0 10 0 1995274906 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17395] ppid=17361 vsize=197752 CPUtime=1031.62
/proc/17392/task/17395/stat : 17395 (java) S 17361 17361 16959 0 -1 64 11 77225 0 1 0 0 103104 58 16 0 10 0 1995274906 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17396] ppid=17361 vsize=197752 CPUtime=1031.62
/proc/17392/task/17396/stat : 17396 (java) S 17361 17361 16959 0 -1 64 5 77225 0 1 0 0 103104 58 16 0 10 0 1995274907 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17397] ppid=17361 vsize=197752 CPUtime=1031.62
/proc/17392/task/17397/stat : 17397 (java) S 17361 17361 16959 0 -1 64 1 77225 0 1 0 0 103104 58 25 0 10 0 1995274908 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17398] ppid=17361 vsize=197752 CPUtime=1031.84
/proc/17392/task/17398/stat : 17398 (java) S 17361 17361 16959 0 -1 64 702 77225 0 1 22 0 103104 58 16 0 10 0 1995274908 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17399] ppid=17361 vsize=197752 CPUtime=1031.62
/proc/17392/task/17399/stat : 17399 (java) S 17361 17361 16959 0 -1 64 1 77225 0 1 0 0 103104 58 25 0 10 0 1995274908 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17400] ppid=17361 vsize=197752 CPUtime=1031.62
/proc/17392/task/17400/stat : 17400 (java) S 17361 17361 16959 0 -1 64 37 77225 0 1 0 0 103104 58 15 0 10 0 1995274908 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17451] ppid=17361 vsize=197752 CPUtime=1031.62
/proc/17392/task/17451/stat : 17451 (java) S 17361 17361 16959 0 -1 64 47 77225 0 1 0 0 103104 58 18 0 10 0 1995378689 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1101.8
Current children cumulated vsize (KiB) 780372

[startup+1103.31 s]
/proc/loadavg: 2.07 2.03 2.00 3/93 17453
/proc/meminfo: memFree=962536/2055920 swapFree=4180240/4192956
[pid=17361] ppid=17359 vsize=5360 CPUtime=29.95
/proc/17361/stat : 17361 (hydra) S 17359 17361 16959 0 -1 4194304 375 149373 0 0 0 0 2908 87 19 0 1 0 1995271878 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17361/statm: 1340 238 196 169 0 51 0
[pid=17392] ppid=17361 vsize=197752 CPUtime=1037.2
/proc/17392/stat : 17392 (java) S 17361 17361 16959 0 -1 0 11662 77225 1 1 540 18 103104 58 22 0 10 0 1995274904 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17392/statm: 49438 9433 2545 9 0 44020 0
[pid=17452] ppid=17392 vsize=5356 CPUtime=0
/proc/17452/stat : 17452 (mistral) S 17392 17361 16959 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 1995378689 5484544 238 996147200 4194304 4889804 548682068576 18446744073709551615 240577471300 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/17452/statm: 1339 238 198 169 0 50 0
[pid=17453] ppid=17452 vsize=571904 CPUtime=34.85
/proc/17453/stat : 17453 (xsolve) R 17452 17361 16959 0 -1 4194304 151258 0 0 0 3397 88 0 0 25 0 1 0 1995378690 585629696 140919 996147200 134512640 135239763 4294955952 18446744073709551615 8347717 0 4 0 0 0 0 0 17 1 0 0
/proc/17453/statm: 142976 140919 424 177 0 141879 0
[pid=17392/tid=17393] ppid=17361 vsize=197752 CPUtime=1036.06
/proc/17392/task/17393/stat : 17393 (java) S 17361 17361 16959 0 -1 64 3937 77225 1 1 438 6 103104 58 16 0 10 0 1995274905 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=17392/tid=17394] ppid=17361 vsize=197752 CPUtime=1032.51
/proc/17392/task/17394/stat : 17394 (java) S 17361 17361 16959 0 -1 64 6139 77225 0 1 79 10 103104 58 16 0 10 0 1995274906 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17395] ppid=17361 vsize=197752 CPUtime=1031.62
/proc/17392/task/17395/stat : 17395 (java) S 17361 17361 16959 0 -1 64 11 77225 0 1 0 0 103104 58 16 0 10 0 1995274906 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17396] ppid=17361 vsize=197752 CPUtime=1031.62
/proc/17392/task/17396/stat : 17396 (java) S 17361 17361 16959 0 -1 64 5 77225 0 1 0 0 103104 58 16 0 10 0 1995274907 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17397] ppid=17361 vsize=197752 CPUtime=1031.62
/proc/17392/task/17397/stat : 17397 (java) S 17361 17361 16959 0 -1 64 1 77225 0 1 0 0 103104 58 25 0 10 0 1995274908 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17398] ppid=17361 vsize=197752 CPUtime=1031.84
/proc/17392/task/17398/stat : 17398 (java) S 17361 17361 16959 0 -1 64 702 77225 0 1 22 0 103104 58 16 0 10 0 1995274908 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17399] ppid=17361 vsize=197752 CPUtime=1031.62
/proc/17392/task/17399/stat : 17399 (java) S 17361 17361 16959 0 -1 64 1 77225 0 1 0 0 103104 58 25 0 10 0 1995274908 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17400] ppid=17361 vsize=197752 CPUtime=1031.62
/proc/17392/task/17400/stat : 17400 (java) S 17361 17361 16959 0 -1 64 37 77225 0 1 0 0 103104 58 15 0 10 0 1995274908 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17451] ppid=17361 vsize=197752 CPUtime=1031.62
/proc/17392/task/17451/stat : 17451 (java) S 17361 17361 16959 0 -1 64 47 77225 0 1 0 0 103104 58 18 0 10 0 1995378689 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1102
Current children cumulated vsize (KiB) 780372

[startup+1103.4 s]
/proc/loadavg: 2.07 2.03 2.00 3/93 17453
/proc/meminfo: memFree=962536/2055920 swapFree=4180240/4192956
[pid=17361] ppid=17359 vsize=5360 CPUtime=29.95
/proc/17361/stat : 17361 (hydra) S 17359 17361 16959 0 -1 4194304 375 149373 0 0 0 0 2908 87 19 0 1 0 1995271878 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17361/statm: 1340 238 196 169 0 51 0
[pid=17392] ppid=17361 vsize=197752 CPUtime=1037.2
/proc/17392/stat : 17392 (java) S 17361 17361 16959 0 -1 0 11662 77225 1 1 540 18 103104 58 22 0 10 0 1995274904 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17392/statm: 49438 9433 2545 9 0 44020 0
[pid=17452] ppid=17392 vsize=5356 CPUtime=0
/proc/17452/stat : 17452 (mistral) S 17392 17361 16959 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 1995378689 5484544 238 996147200 4194304 4889804 548682068576 18446744073709551615 240577471300 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/17452/statm: 1339 238 198 169 0 50 0
[pid=17453] ppid=17452 vsize=0 CPUtime=34.94
/proc/17453/stat : 17453 (xsolve) R 17452 17361 16959 0 -1 4194308 151260 0 0 0 3398 96 0 0 25 0 1 0 1995378690 0 0 996147200 0 0 0 0 0 0 4 0 0 0 0 0 17 1 0 0
/proc/17453/statm: 0 0 0 0 0 0 0
[pid=17392/tid=17393] ppid=17361 vsize=197752 CPUtime=1036.06
/proc/17392/task/17393/stat : 17393 (java) S 17361 17361 16959 0 -1 64 3937 77225 1 1 438 6 103104 58 16 0 10 0 1995274905 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=17392/tid=17394] ppid=17361 vsize=197752 CPUtime=1032.51
/proc/17392/task/17394/stat : 17394 (java) S 17361 17361 16959 0 -1 64 6139 77225 0 1 79 10 103104 58 16 0 10 0 1995274906 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17395] ppid=17361 vsize=197752 CPUtime=1031.62
/proc/17392/task/17395/stat : 17395 (java) S 17361 17361 16959 0 -1 64 11 77225 0 1 0 0 103104 58 16 0 10 0 1995274906 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17396] ppid=17361 vsize=197752 CPUtime=1031.62
/proc/17392/task/17396/stat : 17396 (java) S 17361 17361 16959 0 -1 64 5 77225 0 1 0 0 103104 58 16 0 10 0 1995274907 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17397] ppid=17361 vsize=197752 CPUtime=1031.62
/proc/17392/task/17397/stat : 17397 (java) S 17361 17361 16959 0 -1 64 1 77225 0 1 0 0 103104 58 25 0 10 0 1995274908 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17398] ppid=17361 vsize=197752 CPUtime=1031.84
/proc/17392/task/17398/stat : 17398 (java) S 17361 17361 16959 0 -1 64 702 77225 0 1 22 0 103104 58 16 0 10 0 1995274908 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17399] ppid=17361 vsize=197752 CPUtime=1031.62
/proc/17392/task/17399/stat : 17399 (java) S 17361 17361 16959 0 -1 64 1 77225 0 1 0 0 103104 58 25 0 10 0 1995274908 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17400] ppid=17361 vsize=197752 CPUtime=1031.62
/proc/17392/task/17400/stat : 17400 (java) S 17361 17361 16959 0 -1 64 37 77225 0 1 0 0 103104 58 15 0 10 0 1995274908 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17392/tid=17451] ppid=17361 vsize=197752 CPUtime=1031.62
/proc/17392/task/17451/stat : 17451 (java) S 17361 17361 16959 0 -1 64 47 77225 0 1 0 0 103104 58 18 0 10 0 1995378689 202498048 9433 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1102.09
Current children cumulated vsize (KiB) 208468

Child status: 0

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.00012207
#  lost CPU user time (s): 0.00012207
#  lost CPU system time (s): -1.19209e-07

Real time (s): 1103.44
CPU time (s): 1102.15
CPU user time (s): 1099.52
CPU system time (s): 2.6276
CPU usage (%): 99.8825
Max. virtual memory (cumulated for all children) (KiB): 877980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1099.52
system time used= 2.6276
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 390349
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= 53685
involuntary context switches= 65124

runsolver used 3.53246 second user time and 11.9222 second system time

The end

Launcher Data (download as text)

Begin job on node50 at 2008-07-04 11:16:39
IDJOB=1070053
IDBENCH=55787
IDSOLVER=366
FILE ID=node50/1070053-1215162995
PBS_JOBID= 7881466
Free space on /tmp= 66372 MiB

SOLVER NAME= cpHydra k_40
BENCH NAME= CPAI08/csp/pseudoGLB/normalized-dbst-v30-e350-d15-mw10-3.PB06.xml
COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME 
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1070053-1215162995/watcher-1070053-1215162995 -o /tmp/evaluation-result-1070053-1215162995/solver-1070053-1215162995 -C 1800 -W 2200 -M 900 --output-limit 1,15  HOME/cpHydra_k_40/hydra HOME/instance-1070053-1215162995.xml 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 9d1595c5be93853ae6aef6febf44d619
RANDOM SEED=641774784

node50.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.261
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.261
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:       1521528 kB
Buffers:         55968 kB
Cached:         362376 kB
SwapCached:       6724 kB
Active:         378748 kB
Inactive:        80332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1521528 kB
SwapTotal:     4192956 kB
SwapFree:      4180240 kB
Dirty:          171168 kB
Writeback:           0 kB
Mapped:          48132 kB
Slab:            60604 kB
Committed_AS:  3878688 kB
PageTables:       1896 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66424 MiB
End job on node50 at 2008-07-04 11:35:03