Trace number 1063657

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cpHydra k_40UNSAT 1468.6 1484.94

DiagnosticValue
ASSIGNMENTS49
CHECKS25473600

General information on the benchmark

Namecsp/pseudo/mpsReduced/
normalized-mps-red-bandm.xml
MD5SUM2e689f8063f4b75fb1edd7df8c8edad7
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark21.1048
Satisfiable
(Un)Satisfiability was proved
Number of variables14160
Number of constraints610
Maximum constraint arity2100
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension610
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.00	c cpHydra_k_40 version 0.0
57.41/58.30	c CASE TO CLASSIFY:
57.52/58.30	c Case: 0
57.52/58.31	c 19 >   0.000000 | c 35 >   0.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  24.506200 | c 34 >   0.000000 | c 16 > 2100.000000 | c 13 >   3.301110 | c 14 >  -1.000000 | c 11 >  13.789500 | c 12 >   3.364690 | 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 >  17.929100 | c 1 >  13.789500 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  17.929100 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  31.955800 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
57.52/58.32	c choco : 1801.0
57.52/58.32	c mistral : 1801.0
57.52/58.32	c abscon : 1801.0
57.52/58.32	c
57.52/58.32	c
57.52/58.39	c List of same ones: 40
57.52/58.39	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-bandm.xml
57.52/58.39	c 19 >   0.000000 | c 35 >   0.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  24.374900 | c 34 >   0.000000 | c 16 > 2100.000000 | c 13 >   3.301110 | c 14 >  -1.000000 | c 11 >  13.789500 | c 12 >   3.364690 | 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 >  17.929100 | c 1 >  13.789500 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  17.929100 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  31.955800 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
57.60/58.40	c choco : 1801.0
57.60/58.40	c mistral : 59.24
57.60/58.40	c abscon : 1800.18
57.60/58.40	c
57.60/58.40	c
57.60/58.40	c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/l152lav.xml
57.60/58.40	c 19 >   1.036270 | c 35 >   9.740930 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   4.352330 | c 15 >  20.455200 | c 34 >  19.481900 | c 16 > 1989.000000 | c 13 >   0.793241 | c 14 >   9.290020 | c 11 >  10.957800 | c 12 >   3.243150 | c 21 >   1.414210 | c 20 >  98.963700 | 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.193300 | c 1 >  10.957800 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  15.193200 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  23.809700 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
57.60/58.41	c choco : 30.53
57.60/58.41	c mistral : 8.32
57.60/58.41	c abscon : 14.8297
57.60/58.41	c
57.60/58.41	c
57.60/58.41	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-agg3.xml
57.60/58.41	c 19 >   0.000000 | c 35 >   0.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  20.268700 | c 34 >   0.000000 | c 16 > 1440.000000 | c 13 >   2.572340 | c 14 >   5.906890 | c 11 >  13.145300 | c 12 >   3.508950 | 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 >  17.285500 | c 1 >  13.145300 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  17.285500 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  30.408400 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
57.60/58.42	c choco : 97.98
57.60/58.42	c mistral : 1800.17
57.60/58.42	c abscon : 1800.14
57.60/58.42	c
57.60/58.42	c
57.60/58.42	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-mkc.xml
57.60/58.42	c 19 >  91.709800 | c 35 >  26.876000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  59.305100 | c 15 >  20.432700 | c 34 >  44.846100 | c 16 > 2952.000000 | c 13 >   0.523442 | c 14 >   8.596190 | c 11 >  12.366900 | c 12 >   1.886460 | c 21 >   1.407560 | c 20 >   8.290160 | 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.867300 | c 1 >  12.366900 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.714200 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  29.073500 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
57.60/58.42	c choco : 1801.0
57.60/58.42	c mistral : 18.6
57.60/58.42	c abscon : 463.915
57.60/58.42	c
57.60/58.42	c
57.60/58.42	c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-lp4l.xml
57.60/58.42	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
57.60/58.43	c choco : 60.08
57.60/58.43	c mistral : 1800.03
57.60/58.43	c abscon : 1800.09
57.60/58.43	c
57.60/58.43	c
57.60/58.43	c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-protfold.xml
57.60/58.43	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
57.60/58.44	c choco : 17.09
57.60/58.44	c mistral : 1800.04
57.60/58.44	c abscon : 1800.1
57.60/58.44	c
57.60/58.44	c
57.60/58.44	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-rout.xml
57.60/58.44	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
57.60/58.45	c choco : 47.8
57.60/58.45	c mistral : 24.86
57.60/58.45	c abscon : 1800.13
57.60/58.45	c
57.60/58.45	c
57.60/58.45	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-blend.xml
57.60/58.45	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
57.60/58.46	c choco : 72.65
57.60/58.46	c mistral : 61.66
57.60/58.46	c abscon : 1800.1
57.60/58.46	c
57.60/58.46	c
57.60/58.46	c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/jac3.xml
57.60/58.46	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
57.60/58.47	c choco : 9.63
57.60/58.47	c mistral : 3.51
57.60/58.47	c abscon : 4.6213
57.60/58.47	c
57.60/58.47	c
57.60/58.47	c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/p2756.xml
57.60/58.47	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
57.60/58.47	c choco : 8.43
57.60/58.48	c mistral : 1.57
57.60/58.48	c abscon : 42.6915
57.60/58.48	c
57.60/58.48	c
57.60/58.48	c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-cracpb1.xml
57.60/58.48	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
57.77/58.67	c choco : 5.58
57.77/58.67	c mistral : 2.07
57.77/58.67	c abscon : 24.1083
57.77/58.67	c
57.77/58.67	c
57.77/58.67	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-air02.xml
57.77/58.67	c 19 >   0.000000 | c 35 >   8.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   1.200000 | c 15 >  20.523800 | c 34 >  12.000000 | c 16 > 3729.000000 | c 13 >   2.202630 | c 14 >   5.672430 | c 11 >  12.725800 | c 12 >   4.183800 | 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 >  17.493800 | c 1 >  12.725800 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  17.493800 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  26.652700 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
57.77/58.68	c choco : 378.58
57.77/58.68	c mistral : 253.78
57.77/58.68	c abscon : 299.859
57.77/58.68	c
57.77/58.68	c
57.77/58.69	c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-air02.xml
57.77/58.69	c 19 >   0.000000 | c 35 >   8.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   1.200000 | c 15 >  20.565900 | c 34 >  12.000000 | c 16 > 3729.000000 | c 13 >   2.202630 | c 14 >   5.700440 | c 11 >  12.725800 | c 12 >   4.183800 | 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 >  17.493800 | c 1 >  12.725800 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  17.493800 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  26.652700 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
57.77/58.69	c choco : 324.53
57.77/58.69	c mistral : 232.8
57.77/58.69	c abscon : 328.756
57.77/58.69	c
57.77/58.69	c
57.77/58.69	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-ran17x17.xml
57.77/58.69	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
57.86/58.70	c choco : 52.93
57.86/58.70	c mistral : 5.61
57.86/58.70	c abscon : 1800.08
57.86/58.70	c
57.86/58.70	c
57.86/58.70	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-air01.xml
57.86/58.70	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
57.86/58.71	c choco : 8.6
57.86/58.71	c mistral : 2.27
57.86/58.71	c abscon : 5.8991
57.86/58.71	c
57.86/58.71	c
57.86/58.71	c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-air01.xml
57.86/58.71	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
57.86/58.72	c choco : 8.61
57.86/58.72	c mistral : 2.26
57.86/58.72	c abscon : 5.2622
57.86/58.72	c
57.86/58.72	c
57.86/58.72	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-ran16x16.xml
57.86/58.72	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
57.86/58.72	c choco : 40.89
57.86/58.72	c mistral : 4.67
57.86/58.72	c abscon : 1800.1
57.86/58.72	c
57.86/58.72	c
57.86/58.72	c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/air05.xml
57.86/58.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
57.86/58.73	c choco : 81.31
57.86/58.73	c mistral : 24.24
57.86/58.73	c abscon : 29.0936
57.86/58.73	c
57.86/58.73	c
57.86/58.73	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-noswot.xml
57.86/58.73	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
57.86/58.73	c choco : 5.46
57.86/58.73	c mistral : 1.12
57.86/58.73	c abscon : 18.4442
57.86/58.73	c
57.86/58.73	c
57.86/58.73	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-egout.xml
57.86/58.73	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
57.86/58.74	c choco : 6.17
57.86/58.74	c mistral : 3.48
57.86/58.74	c abscon : 1800.07
57.86/58.74	c
57.86/58.74	c
57.86/58.74	c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/air04.xml
57.86/58.74	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
57.86/58.75	c choco : 83.64
57.86/58.75	c mistral : 28.58
57.86/58.75	c abscon : 31.3522
57.86/58.75	c
57.86/58.75	c
57.86/58.75	c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-air03.xml
57.86/58.75	c 19 >   1.612900 | c 35 >   7.177420 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   2.661290 | c 15 >  20.225500 | c 34 >  10.766100 | c 16 > 3861.000000 | c 13 >   1.962740 | c 14 >   4.584960 | c 11 >  13.393000 | c 12 >   4.081030 | c 21 >   1.414210 | c 20 >  98.387100 | 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.057600 | c 1 >  13.393000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  18.057600 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  27.096600 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
57.86/58.76	c choco : 572.77
57.86/58.76	c mistral : 350.83
57.86/58.76	c abscon : 451.367
57.86/58.76	c
57.86/58.76	c
57.86/58.76	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-air03.xml
57.86/58.76	c 19 >   1.612900 | c 35 >   7.177420 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   2.661290 | c 15 >  20.270700 | c 34 >  10.766100 | c 16 > 3861.000000 | c 13 >   1.962740 | c 14 >   4.643860 | c 11 >  13.393000 | c 12 >   4.081030 | c 21 >   1.414210 | c 20 >  98.387100 | 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.057600 | c 1 >  13.393000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  18.057600 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  27.096600 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
57.86/58.76	c choco : 581.05
57.86/58.76	c mistral : 336.62
57.86/58.76	c abscon : 433.837
57.86/58.76	c
57.86/58.76	c
57.86/58.76	c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/air03.xml
57.86/58.76	c 19 >   3.225810 | c 35 >   7.177420 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   5.322580 | c 15 >  19.940100 | c 34 >  14.354800 | c 16 > 3861.000000 | c 13 >   1.962740 | c 14 >   3.700440 | c 11 >  13.393000 | c 12 >   4.081030 | c 21 >   1.414210 | c 20 >  96.774200 | 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.472900 | c 1 >  13.393000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  18.472900 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  27.098400 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
57.86/58.77	c choco : 510.73
57.86/58.77	c mistral : 325.27
57.86/58.77	c abscon : 488.982
57.86/58.77	c
57.86/58.77	c
57.86/58.77	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-ran13x13.xml
57.86/58.77	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
57.86/58.77	c choco : 22.91
57.86/58.77	c mistral : 2.5
57.86/58.77	c abscon : 1800.1
57.86/58.77	c
57.86/58.77	c
57.86/58.77	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-ran12x12.xml
57.86/58.77	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
57.86/58.78	c choco : 19.38
57.86/58.78	c mistral : 1.98
57.86/58.78	c abscon : 1800.08
57.86/58.78	c
57.86/58.78	c
57.86/58.78	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-kb2.xml
57.86/58.78	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
57.86/58.78	c choco : 9.38
57.86/58.78	c mistral : 8.53
57.86/58.78	c abscon : 853.293
57.86/58.78	c
57.86/58.78	c
57.86/58.78	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-afiro.xml
57.86/58.78	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
57.86/58.79	c choco : 11.35
57.86/58.79	c mistral : 6.16
57.86/58.79	c abscon : 1800.07
57.86/58.79	c
57.86/58.79	c
57.86/58.79	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-misc07.xml
57.86/58.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
57.86/58.79	c choco : 5.96
57.86/58.79	c mistral : 22.01
57.86/58.79	c abscon : 1008.63
57.86/58.79	c
57.86/58.79	c
57.86/58.79	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-neos20.xml
57.86/58.79	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
57.91/58.80	c choco : 23.83
57.91/58.80	c mistral : 4.90325
57.91/58.80	c abscon : 7.12692
57.91/58.80	c
57.91/58.80	c
57.91/58.80	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-ran10x10c.xml
57.91/58.80	c 19 >   0.000000 | c 35 > 221.429000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.857100 | c 15 >  17.922400 | c 34 > 353.429000 | c 16 > 300.000000 | c 13 >   0.193346 | c 14 >   9.413630 | c 11 >  13.155300 | c 12 >   1.310720 | c 21 >   1.235890 | 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.436700 | c 1 >  10.675100 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.436700 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.953000 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
57.91/58.81	c choco : 11.95
57.91/58.81	c mistral : 3.32
57.91/58.81	c abscon : 1800.09
57.91/58.81	c
57.91/58.81	c
57.91/58.81	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-ran10x10b.xml
57.91/58.81	c 19 >   0.000000 | c 35 > 221.429000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.857100 | c 15 >  18.018600 | c 34 > 353.500000 | c 16 > 300.000000 | c 13 >   0.193058 | c 14 >   9.535280 | c 11 >  13.151500 | c 12 >   1.310500 | c 21 >   1.235240 | 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.431600 | c 1 >  10.670700 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.431600 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.943100 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
57.91/58.81	c choco : 11.83
57.91/58.81	c mistral : 3.33
57.91/58.81	c abscon : 1800.05
57.91/58.81	c
57.91/58.81	c
57.91/58.81	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-ran10x10a.xml
57.91/58.81	c 19 >   0.000000 | c 35 > 221.429000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  42.857100 | c 15 >  17.973100 | c 34 > 354.500000 | c 16 > 300.000000 | c 13 >   0.192144 | c 14 >   9.479780 | c 11 >  13.153700 | c 12 >   1.310070 | c 21 >   1.235240 | 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.433500 | c 1 >  10.670700 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.433500 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.944800 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
57.91/58.82	c choco : 11.84
57.91/58.82	c mistral : 3.36
57.91/58.82	c abscon : 1800.08
57.91/58.82	c
57.91/58.82	c
57.91/58.82	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-stocfor1.xml
57.91/58.82	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
57.91/58.82	c choco : 1801.0
57.91/58.82	c mistral : 18.05
57.91/58.82	c abscon : 1800.09
57.91/58.82	c
57.91/58.82	c
57.91/58.82	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-mas74.xml
57.91/58.82	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
57.91/58.83	c choco : 2.83
57.91/58.83	c mistral : 0.65
57.91/58.83	c abscon : 8.5807
57.91/58.83	c
57.91/58.83	c
57.91/58.83	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-mas76.xml
57.91/58.83	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
57.91/58.84	c choco : 2.67
57.91/58.84	c mistral : 0.58
57.91/58.84	c abscon : 8.38772
57.91/58.84	c
57.91/58.84	c
57.91/58.84	c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/mod008.xml
57.91/58.84	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
57.91/58.84	c choco : 2.44
57.91/58.84	c mistral : 0.44
57.91/58.84	c abscon : 1.3238
57.91/58.84	c
57.91/58.84	c
57.91/58.84	c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-mod008.xml
57.91/58.84	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
57.91/58.85	c choco : 2.41
57.91/58.85	c mistral : 0.4
57.91/58.85	c abscon : 1.3208
57.91/58.85	c
57.91/58.85	c
57.91/58.85	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-pp08a.xml
57.91/58.85	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
57.91/58.85	c choco : 18.53
57.91/58.85	c mistral : 1800.06
57.91/58.85	c abscon : 1348.66
57.91/58.85	c
57.91/58.85	c
57.91/58.85	c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-7-210-60-2-10_glb.xml
57.91/58.85	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
57.91/58.86	c choco : 1801.0
57.91/58.86	c mistral : 4.54
57.91/58.86	c abscon : 1801.0
57.91/58.86	c
57.91/58.86	c
57.91/58.86	c Length: 40
57.91/58.86	c 0.13129999999999953  114.20370279215933  660.0532299203925  865.5210081012391  1015.3340599592668  1222.4686266652009  1267.655734819822  1320.4198813183004  1408.7321649692285  1580.1660756917263  1590.6034148762844  1629.0928344291917  1629.0928470216043  1660.151366280738  1662.0999141614686  1662.1000129056167  1687.1954336607448  1696.280188982754  1707.9454236160868  1710.0084985816034  1732.1593087042502  1761.072539518442  1761.0726180061947  1761.1068863397657  1768.3780346158105  1795.4886006062354  1800.6639729552219  1830.4063930200664  1842.454563095365  1845.3509058716475  1848.2869982291306  1848.3010293740385  1848.4923715081607  1860.8993878436454  1861.1113298685561  1861.1125545706916  1869.0781320188275  1869.08041284624  1869.657391852393  1894.3058051893076  
57.91/58.87	c 
57.91/58.87	c 1.0  0.9431980189593242  0.7416221561375586  0.6864034893867046  0.6510583992937667  0.607786720341813  0.599100211984079  0.5892662177829692  0.5735099402471279  0.5452102484479457  0.5435772150559282  0.5376387638424593  0.5376387619208278  0.5329405768592631  0.5326485581758913  0.5326485433857311  0.5289160249308416  0.5275776851366643  0.525869096321249  0.525568071958412  0.5223576173509069  0.5182255877756777  0.518225576647614  0.5182207180983122  0.5171918742176416  0.5133915642667519  0.5126724294672133  0.5085783698348291  0.5069384816089086  0.5065458330766546  0.5061484161550123  0.5061465184563169  0.506120641038979  0.5044483259754284  0.5044198547637454  0.5044196902528402  0.5033519611659927  0.5033516560846114  0.5032744917802825  0.5  
57.91/58.88	c
57.91/58.88	c solver 0
57.91/58.88	c	  before 0.0 seconds: {} 0
57.91/58.88	c	  before 18.0 seconds: {1, 8, 14, 15, 29, 34, 35, 36, 37} 5104
57.91/58.88	c	  before 36.0 seconds: {1, 8, 10, 14, 15, 17, 18, 20, 29, 34, 35, 36, 37} 7223
57.91/58.88	c	  before 54.0 seconds: {1, 8, 9, 10, 14, 15, 17, 18, 20, 29, 34, 35, 36, 37} 7768
57.91/58.88	c	  before 306.0 seconds: {1, 8, 9, 10, 11, 14, 15, 17, 18, 20, 29, 34, 35, 36, 37} 8306
57.91/58.88	c	  before 342.0 seconds: {1, 8, 9, 10, 11, 12, 14, 15, 17, 18, 20, 29, 34, 35, 36, 37} 8843
57.91/58.88	c	  before 450.0 seconds: {1, 8, 9, 10, 11, 12, 14, 15, 17, 18, 20, 22, 29, 34, 35, 36, 37} 9362
57.91/58.88	c	  before 468.0 seconds: {1, 3, 8, 9, 10, 11, 12, 14, 15, 17, 18, 20, 21, 22, 29, 34, 35, 36, 37} 10566
57.91/58.88	c	  before 504.0 seconds: {1, 3, 8, 9, 10, 11, 12, 14, 15, 17, 18, 20, 21, 22, 23, 29, 34, 35, 36, 37} 11085
57.91/58.88	c	  before 864.0 seconds: {1, 3, 8, 9, 10, 11, 12, 14, 15, 17, 18, 20, 21, 22, 23, 26, 29, 34, 35, 36, 37} 11597
57.91/58.88	c	  before 1026.0 seconds: {1, 3, 8, 9, 10, 11, 12, 14, 15, 17, 18, 20, 21, 22, 23, 26, 28, 29, 34, 35, 36, 37} 12104
57.91/58.88	c	  before 1350.0 seconds: {1, 3, 8, 9, 10, 11, 12, 14, 15, 17, 18, 20, 21, 22, 23, 26, 28, 29, 34, 35, 36, 37, 38} 12607
57.91/58.88	c
57.91/58.88	c solver 1
57.91/58.88	c	  before 0.0 seconds: {} 0
57.91/58.88	c	  before 18.0 seconds: {1, 8, 9, 10, 13, 14, 15, 16, 18, 19, 24, 25, 26, 27, 29, 30, 31, 32, 34, 35, 36, 37, 39} 12376
57.91/58.88	c	  before 36.0 seconds: {1, 3, 6, 8, 9, 10, 13, 14, 15, 16, 17, 18, 19, 20, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 15723
57.91/58.88	c	  before 72.0 seconds: {0, 1, 3, 6, 7, 8, 9, 10, 13, 14, 15, 16, 17, 18, 19, 20, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 17312
57.91/58.88	c	  before 234.0 seconds: {0, 1, 3, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 17850
57.91/58.88	c	  before 270.0 seconds: {0, 1, 3, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 18387
57.91/58.88	c	  before 342.0 seconds: {0, 1, 3, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 19424
57.91/58.88	c	  before 360.0 seconds: {0, 1, 3, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 19942
57.91/58.88	c
57.91/58.88	c solver 2
57.91/58.88	c	  before 0.0 seconds: {} 0
57.91/58.88	c	  before 18.0 seconds: {5, 8, 9, 10, 14, 15, 18, 19, 26, 27, 28, 30, 31, 32, 34, 35, 36, 37} 9448
57.91/58.88	c	  before 36.0 seconds: {1, 5, 8, 9, 10, 14, 15, 18, 19, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38} 12432
57.91/58.88	c	  before 54.0 seconds: {1, 5, 6, 8, 9, 10, 13, 14, 15, 16, 18, 19, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38} 14093
57.91/58.88	c	  before 72.0 seconds: {1, 4, 5, 6, 8, 9, 10, 13, 14, 15, 16, 18, 19, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38} 14744
57.91/58.88	c	  before 90.0 seconds: {1, 4, 5, 6, 7, 8, 9, 10, 13, 14, 15, 16, 17, 18, 19, 20, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38} 16383
57.91/58.88	c	  before 108.0 seconds: {1, 2, 4, 5, 6, 7, 8, 9, 10, 13, 14, 15, 16, 17, 18, 19, 20, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38} 17125
57.91/58.88	c	  before 342.0 seconds: {1, 2, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38} 17663
57.91/58.88	c	  before 396.0 seconds: {1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38} 18200
57.91/58.88	c	  before 522.0 seconds: {1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38} 18718
57.91/58.88	c	  before 576.0 seconds: {1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38} 19237
57.91/58.88	c	  before 594.0 seconds: {1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38} 19755
57.91/58.88	c
57.91/58.88	cTotal time: 128
57.91/58.88	c	  run abscon for 1350.0 seconds {1, 3, 8, 9, 10, 11, 12, 14, 15, 17, 18, 20, 21, 22, 23, 26, 28, 29, 34, 35, 36, 37, 38} 12607
57.91/58.88	c	  run mistral for 342.0 seconds {0, 1, 3, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 19424
57.91/58.88	c	  run choco for 108.0 seconds {1, 2, 4, 5, 6, 7, 8, 9, 10, 13, 14, 15, 16, 17, 18, 19, 20, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38} 17125
57.91/58.88	c Starting solver: HOME/cpHydra_k_40/solver/abscon
57.91/58.88	c On Instance: HOME/instance-1063657-1215138383.xml
57.91/58.89	c Running for: 1350 seconds
1415.53/1431.66	c Starting solver: HOME/cpHydra_k_40/solver/mistral
1415.53/1431.66	c On Instance: HOME/instance-1063657-1215138383.xml
1415.53/1431.66	c Running for: 342 seconds
1468.44/1484.90	c mistral-prime version 1.313
1468.44/1484.90	s UNSATISFIABLE
1468.44/1484.90	d CHECKS 25473552
1468.44/1484.90	d ASSIGNMENTS 49

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1063657-1215138383/watcher-1063657-1215138383 -o /tmp/evaluation-result-1063657-1215138383/solver-1063657-1215138383 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1063657-1215138383.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.76 2.18 2.05 4/73 25738
/proc/meminfo: memFree=1367216/2055920 swapFree=4113964/4192956
[pid=25738] ppid=25736 vsize=18572 CPUtime=0
/proc/25738/stat : 25738 (runsolver) R 25736 25738 24309 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1543514706 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 215418989863 0 0 4096 24578 0 0 0 17 1 0 0
/proc/25738/statm: 4643 292 257 25 0 2626 0

[startup+0.0775101 s]
/proc/loadavg: 2.76 2.18 2.05 4/73 25738
/proc/meminfo: memFree=1367216/2055920 swapFree=4113964/4192956
[pid=25738] ppid=25736 vsize=5360 CPUtime=0
/proc/25738/stat : 25738 (hydra) S 25736 25738 24309 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1543514706 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25738/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.101506 s]
/proc/loadavg: 2.76 2.18 2.05 4/73 25738
/proc/meminfo: memFree=1367216/2055920 swapFree=4113964/4192956
[pid=25738] ppid=25736 vsize=5360 CPUtime=0
/proc/25738/stat : 25738 (hydra) S 25736 25738 24309 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1543514706 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25738/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.301547 s]
/proc/loadavg: 2.76 2.18 2.05 4/73 25738
/proc/meminfo: memFree=1367216/2055920 swapFree=4113964/4192956
[pid=25738] ppid=25736 vsize=5360 CPUtime=0
/proc/25738/stat : 25738 (hydra) S 25736 25738 24309 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1543514706 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25738/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.701636 s]
/proc/loadavg: 2.76 2.18 2.05 4/73 25738
/proc/meminfo: memFree=1367216/2055920 swapFree=4113964/4192956
[pid=25738] ppid=25736 vsize=5360 CPUtime=0
/proc/25738/stat : 25738 (hydra) S 25736 25738 24309 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1543514706 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25738/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+1.50278 s]
/proc/loadavg: 2.69 2.18 2.05 3/75 25742
/proc/meminfo: memFree=1347872/2055920 swapFree=4113964/4192956
[pid=25738] ppid=25736 vsize=5360 CPUtime=0
/proc/25738/stat : 25738 (hydra) S 25736 25738 24309 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1543514706 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25738/statm: 1340 236 195 169 0 51 0
[pid=25742] ppid=25738 vsize=27084 CPUtime=1.46
/proc/25742/stat : 25742 (xsolve) R 25738 25738 24309 0 -1 4194304 6077 0 0 0 143 3 0 0 25 0 1 0 1543514707 27734016 6036 996147200 134512640 135239763 4294956176 18446744073709551615 4159010154 0 0 4096 0 0 0 0 17 1 0 0
/proc/25742/statm: 6771 6036 361 177 0 5674 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 32444

[startup+3.10109 s]
/proc/loadavg: 2.69 2.18 2.05 3/74 25742
/proc/meminfo: memFree=1343912/2055920 swapFree=4113964/4192956
[pid=25738] ppid=25736 vsize=5360 CPUtime=0
/proc/25738/stat : 25738 (hydra) S 25736 25738 24309 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1543514706 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25738/statm: 1340 236 195 169 0 51 0
[pid=25742] ppid=25738 vsize=27084 CPUtime=3.03
/proc/25742/stat : 25742 (xsolve) R 25738 25738 24309 0 -1 4194304 6077 0 0 0 300 3 0 0 25 0 1 0 1543514707 27734016 6036 996147200 134512640 135239763 4294956176 18446744073709551615 4159010151 0 0 4096 0 0 0 0 17 1 0 0
/proc/25742/statm: 6771 6036 361 177 0 5674 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 32444

[startup+6.30271 s]
/proc/loadavg: 2.64 2.17 2.05 3/74 25742
/proc/meminfo: memFree=1298472/2055920 swapFree=4113964/4192956
[pid=25738] ppid=25736 vsize=5360 CPUtime=0
/proc/25738/stat : 25738 (hydra) S 25736 25738 24309 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1543514706 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25738/statm: 1340 236 195 169 0 51 0
[pid=25742] ppid=25738 vsize=86056 CPUtime=6.2
/proc/25742/stat : 25742 (xsolve) R 25738 25738 24309 0 -1 4194304 20421 0 0 0 610 10 0 0 25 0 1 0 1543514707 88121344 20380 996147200 134512640 135239763 4294956176 18446744073709551615 134610580 0 0 4096 0 0 0 0 17 1 0 0
/proc/25742/statm: 21514 20380 361 177 0 20417 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 91416

[startup+12.7019 s]
/proc/loadavg: 2.59 2.17 2.05 3/74 25742
/proc/meminfo: memFree=1237544/2055920 swapFree=4113964/4192956
[pid=25738] ppid=25736 vsize=5360 CPUtime=0
/proc/25738/stat : 25738 (hydra) S 25736 25738 24309 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1543514706 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25738/statm: 1340 236 195 169 0 51 0
[pid=25742] ppid=25738 vsize=135512 CPUtime=12.54
/proc/25742/stat : 25742 (xsolve) R 25738 25738 24309 0 -1 4194304 32733 0 0 0 1239 15 0 0 25 0 1 0 1543514707 138764288 32692 996147200 134512640 135239763 4294956176 18446744073709551615 134610588 0 0 4096 0 0 0 0 17 1 0 0
/proc/25742/statm: 33878 32692 361 177 0 32781 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 140872

[startup+25.5014 s]
/proc/loadavg: 2.50 2.16 2.05 3/74 25742
/proc/meminfo: memFree=1237864/2055920 swapFree=4113964/4192956
[pid=25738] ppid=25736 vsize=5360 CPUtime=0
/proc/25738/stat : 25738 (hydra) S 25736 25738 24309 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1543514706 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25738/statm: 1340 236 195 169 0 51 0
[pid=25742] ppid=25738 vsize=135512 CPUtime=25.22
/proc/25742/stat : 25742 (xsolve) R 25738 25738 24309 0 -1 4194304 32734 0 0 0 2506 16 0 0 25 0 1 0 1543514707 138764288 32693 996147200 134512640 135239763 4294956176 18446744073709551615 4159010349 0 0 4096 0 0 0 0 17 1 0 0
/proc/25742/statm: 33878 32693 361 177 0 32781 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 140872

[startup+51.1013 s]
/proc/loadavg: 2.30 2.15 2.05 3/74 25742
/proc/meminfo: memFree=1056808/2055920 swapFree=4113964/4192956
[pid=25738] ppid=25736 vsize=5360 CPUtime=0
/proc/25738/stat : 25738 (hydra) S 25736 25738 24309 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1543514706 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25738/statm: 1340 236 195 169 0 51 0
[pid=25742] ppid=25738 vsize=316924 CPUtime=50.56
/proc/25742/stat : 25742 (xsolve) R 25738 25738 24309 0 -1 4194304 78525 0 0 0 5018 38 0 0 25 0 1 0 1543514707 324530176 77969 996147200 134512640 135239763 4294956176 18446744073709551615 134802977 0 0 4096 0 0 0 0 17 1 0 0
/proc/25742/statm: 79231 77969 430 177 0 78134 0
Current children cumulated CPU time (s) 50.56
Current children cumulated vsize (KiB) 322284

[startup+102.307 s]
/proc/loadavg: 2.17 2.14 2.05 3/94 25766
/proc/meminfo: memFree=1198200/2055920 swapFree=4113964/4192956
[pid=25738] ppid=25736 vsize=5360 CPUtime=52.25
/proc/25738/stat : 25738 (hydra) S 25736 25738 24309 0 -1 4194304 375 79120 0 2 0 0 5181 44 18 0 1 0 1543514706 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25738/statm: 1340 238 196 169 0 51 0
[pid=25746] ppid=25738 vsize=197420 CPUtime=5.72
/proc/25746/stat : 25746 (java) S 25738 25738 24309 0 -1 0 13886 0 77 0 549 23 0 0 18 0 10 0 1543519990 202158080 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25746/statm: 49355 9484 2544 9 0 43937 0
[pid=25756] ppid=25746 vsize=5356 CPUtime=0
/proc/25756/stat : 25756 (abscon) S 25746 25738 24309 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 1543520595 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 215418987332 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/25756/statm: 1339 237 196 169 0 50 0
[pid=25757] ppid=25756 vsize=655660 CPUtime=43.27
/proc/25757/stat : 25757 (java) S 25756 25738 24309 0 -1 0 32196 0 7 0 4303 24 0 0 18 0 9 0 1543520596 671395840 31532 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25757/statm: 163915 31532 2004 9 0 158443 0
[pid=25757/tid=25759] ppid=25756 vsize=655660 CPUtime=41.47
/proc/25757/task/25759/stat : 25759 (java) R 25756 25738 24309 0 -1 64 12664 0 7 0 4134 13 0 0 25 0 9 0 1543520596 671395840 31532 996147200 134512640 134550740 4294955824 18446744073709551615 4126674216 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25757/tid=25760] ppid=25756 vsize=655660 CPUtime=1.58
/proc/25757/task/25760/stat : 25760 (java) S 25756 25738 24309 0 -1 64 18364 0 0 0 148 10 0 0 16 0 9 0 1543520598 671395840 31532 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25757/tid=25761] ppid=25756 vsize=655660 CPUtime=0
/proc/25757/task/25761/stat : 25761 (java) S 25756 25738 24309 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1543520598 671395840 31532 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25757/tid=25762] ppid=25756 vsize=655660 CPUtime=0
/proc/25757/task/25762/stat : 25762 (java) S 25756 25738 24309 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1543520598 671395840 31532 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25757/tid=25763] ppid=25756 vsize=655660 CPUtime=0
/proc/25757/task/25763/stat : 25763 (java) S 25756 25738 24309 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1543520600 671395840 31532 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25757/tid=25764] ppid=25756 vsize=655660 CPUtime=0.19
/proc/25757/task/25764/stat : 25764 (java) S 25756 25738 24309 0 -1 64 622 0 0 0 19 0 0 0 16 0 9 0 1543520600 671395840 31532 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25757/tid=25765] ppid=25756 vsize=655660 CPUtime=0
/proc/25757/task/25765/stat : 25765 (java) S 25756 25738 24309 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1543520600 671395840 31532 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25757/tid=25766] ppid=25756 vsize=655660 CPUtime=0
/proc/25757/task/25766/stat : 25766 (java) S 25756 25738 24309 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1543520600 671395840 31532 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25758] ppid=25756 vsize=7044 CPUtime=0
/proc/25758/stat : 25758 (translate) S 25756 25738 24309 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1543520596 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 215419158610 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/25758/statm: 1761 213 182 1 0 41 0
[pid=25746/tid=25747] ppid=25738 vsize=197420 CPUtime=4.36
/proc/25746/task/25747/stat : 25747 (java) S 25738 25738 24309 0 -1 64 3861 0 44 0 425 11 0 0 25 0 10 0 1543519995 202158080 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=25746/tid=25748] ppid=25738 vsize=197420 CPUtime=1.1
/proc/25746/task/25748/stat : 25748 (java) S 25738 25738 24309 0 -1 64 8561 0 2 0 101 9 0 0 16 0 10 0 1543520006 202158080 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25746/tid=25749] ppid=25738 vsize=197420 CPUtime=0
/proc/25746/task/25749/stat : 25749 (java) S 25738 25738 24309 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1543520008 202158080 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25746/tid=25750] ppid=25738 vsize=197420 CPUtime=0
/proc/25746/task/25750/stat : 25750 (java) S 25738 25738 24309 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1543520008 202158080 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25746/tid=25751] ppid=25738 vsize=197420 CPUtime=0
/proc/25746/task/25751/stat : 25751 (java) S 25738 25738 24309 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1543520012 202158080 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25746/tid=25752] ppid=25738 vsize=197420 CPUtime=0.24
/proc/25746/task/25752/stat : 25752 (java) S 25738 25738 24309 0 -1 64 666 0 1 0 23 1 0 0 15 0 10 0 1543520012 202158080 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25746/tid=25753] ppid=25738 vsize=197420 CPUtime=0
/proc/25746/task/25753/stat : 25753 (java) S 25738 25738 24309 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 1543520013 202158080 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25746/tid=25754] ppid=25738 vsize=197420 CPUtime=0
/proc/25746/task/25754/stat : 25754 (java) S 25738 25738 24309 0 -1 64 33 0 0 0 0 0 0 0 15 0 10 0 1543520013 202158080 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25746/tid=25755] ppid=25738 vsize=197420 CPUtime=0
/proc/25746/task/25755/stat : 25755 (java) S 25738 25738 24309 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1543520595 202158080 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.24
Current children cumulated vsize (KiB) 870840

[startup+162.303 s]
/proc/loadavg: 2.03 2.11 2.04 3/104 25827
/proc/meminfo: memFree=1179432/2055920 swapFree=4113964/4192956
[pid=25738] ppid=25736 vsize=5360 CPUtime=52.25
/proc/25738/stat : 25738 (hydra) S 25736 25738 24309 0 -1 4194304 375 79120 0 2 0 0 5181 44 18 0 1 0 1543514706 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25738/statm: 1340 238 196 169 0 51 0
[pid=25746] ppid=25738 vsize=197420 CPUtime=5.72
/proc/25746/stat : 25746 (java) S 25738 25738 24309 0 -1 0 13886 0 77 0 549 23 0 0 18 0 10 0 1543519990 202158080 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25746/statm: 49355 9484 2544 9 0 43937 0
[pid=25756] ppid=25746 vsize=5356 CPUtime=0
/proc/25756/stat : 25756 (abscon) S 25746 25738 24309 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 1543520595 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 215418987332 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/25756/statm: 1339 237 196 169 0 50 0
[pid=25757] ppid=25756 vsize=655748 CPUtime=103.19
/proc/25757/stat : 25757 (java) S 25756 25738 24309 0 -1 0 148781 0 8 0 10245 74 0 0 18 0 9 0 1543520596 671485952 146553 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25757/statm: 163937 146553 2615 9 0 158465 0
[pid=25757/tid=25759] ppid=25756 vsize=655748 CPUtime=95.5
/proc/25757/task/25759/stat : 25759 (java) R 25756 25738 24309 0 -1 64 12857 0 8 0 9535 15 0 0 25 0 9 0 1543520596 671485952 146553 996147200 134512640 134550740 4294955824 18446744073709551615 4127255636 0 4 0 16800975 0 0 0 -1 0 0 0

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

[pid=25738] ppid=25736 vsize=5360 CPUtime=52.25
/proc/25738/stat : 25738 (hydra) S 25736 25738 24309 0 -1 4194304 375 79120 0 2 0 0 5181 44 18 0 1 0 1543514706 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25738/statm: 1340 238 196 169 0 51 0
[pid=25746] ppid=25738 vsize=197744 CPUtime=1363.35
/proc/25746/stat : 25746 (java) S 25738 25738 24309 0 -1 0 14061 149386 77 8 550 24 135664 97 18 0 10 0 1543519990 202489856 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25746/statm: 49436 9508 2545 9 0 44018 0
[pid=26017] ppid=25746 vsize=5356 CPUtime=0
/proc/26017/stat : 26017 (mistral) S 25746 25738 24309 0 -1 4194304 299 0 0 0 0 0 0 0 18 0 1 0 1543657872 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 215418987332 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/26017/statm: 1339 238 198 169 0 50 0
[pid=26018] ppid=26017 vsize=316924 CPUtime=50.36
/proc/26018/stat : 26018 (xsolve) R 26017 25738 24309 0 -1 4194304 78502 0 0 0 5000 36 0 0 25 0 1 0 1543657874 324530176 77951 996147200 134512640 135239763 4294955968 18446744073709551615 135030894 0 4 0 0 0 0 0 17 1 0 0
/proc/26018/statm: 79231 77951 412 177 0 78134 0
[pid=25746/tid=25747] ppid=25738 vsize=197744 CPUtime=1361.97
/proc/25746/task/25747/stat : 25747 (java) S 25738 25738 24309 0 -1 64 3939 149386 44 8 425 11 135664 97 16 0 10 0 1543519995 202489856 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=25746/tid=25748] ppid=25738 vsize=197744 CPUtime=1358.71
/proc/25746/task/25748/stat : 25748 (java) S 25738 25738 24309 0 -1 64 8572 149386 2 8 101 9 135664 97 16 0 10 0 1543520006 202489856 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25746/tid=25749] ppid=25738 vsize=197744 CPUtime=1357.61
/proc/25746/task/25749/stat : 25749 (java) S 25738 25738 24309 0 -1 64 11 149386 0 8 0 0 135664 97 16 0 10 0 1543520008 202489856 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25746/tid=25750] ppid=25738 vsize=197744 CPUtime=1357.61
/proc/25746/task/25750/stat : 25750 (java) S 25738 25738 24309 0 -1 64 5 149386 0 8 0 0 135664 97 15 0 10 0 1543520008 202489856 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25746/tid=25751] ppid=25738 vsize=197744 CPUtime=1357.61
/proc/25746/task/25751/stat : 25751 (java) S 25738 25738 24309 0 -1 64 0 149386 0 8 0 0 135664 97 19 0 10 0 1543520012 202489856 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25746/tid=25752] ppid=25738 vsize=197744 CPUtime=1357.85
/proc/25746/task/25752/stat : 25752 (java) S 25738 25738 24309 0 -1 64 695 149386 1 8 23 1 135664 97 16 0 10 0 1543520012 202489856 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25746/tid=25753] ppid=25738 vsize=197744 CPUtime=1357.61
/proc/25746/task/25753/stat : 25753 (java) S 25738 25738 24309 0 -1 64 1 149386 0 8 0 0 135664 97 20 0 10 0 1543520013 202489856 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25746/tid=25754] ppid=25738 vsize=197744 CPUtime=1357.61
/proc/25746/task/25754/stat : 25754 (java) S 25738 25738 24309 0 -1 64 39 149386 0 8 0 0 135664 97 15 0 10 0 1543520013 202489856 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25746/tid=26016] ppid=25738 vsize=197744 CPUtime=1357.61
/proc/25746/task/26016/stat : 26016 (java) S 25738 25738 24309 0 -1 64 48 149386 0 8 0 0 135664 97 17 0 10 0 1543657872 202489856 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1465.96
Current children cumulated vsize (KiB) 525384

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

[startup+1483.1 s]
/proc/loadavg: 2.00 2.01 2.04 3/95 26018
/proc/meminfo: memFree=635680/2055920 swapFree=4113964/4192956
[pid=25738] ppid=25736 vsize=5360 CPUtime=52.25
/proc/25738/stat : 25738 (hydra) S 25736 25738 24309 0 -1 4194304 375 79120 0 2 0 0 5181 44 18 0 1 0 1543514706 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25738/statm: 1340 238 196 169 0 51 0
[pid=25746] ppid=25738 vsize=197744 CPUtime=1363.35
/proc/25746/stat : 25746 (java) S 25738 25738 24309 0 -1 0 14061 149386 77 8 550 24 135664 97 18 0 10 0 1543519990 202489856 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25746/statm: 49436 9508 2545 9 0 44018 0
[pid=26017] ppid=25746 vsize=5356 CPUtime=0
/proc/26017/stat : 26017 (mistral) S 25746 25738 24309 0 -1 4194304 299 0 0 0 0 0 0 0 18 0 1 0 1543657872 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 215418987332 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/26017/statm: 1339 238 198 169 0 50 0
[pid=26018] ppid=26017 vsize=320660 CPUtime=51.15
/proc/26018/stat : 26018 (xsolve) R 26017 25738 24309 0 -1 4194304 79749 0 0 0 5079 36 0 0 25 0 1 0 1543657874 328355840 78714 996147200 134512640 135239763 4294955968 18446744073709551615 135071574 0 4 0 0 0 0 0 17 1 0 0
/proc/26018/statm: 80165 78714 413 177 0 79068 0
[pid=25746/tid=25747] ppid=25738 vsize=197744 CPUtime=1361.97
/proc/25746/task/25747/stat : 25747 (java) S 25738 25738 24309 0 -1 64 3939 149386 44 8 425 11 135664 97 16 0 10 0 1543519995 202489856 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=25746/tid=25748] ppid=25738 vsize=197744 CPUtime=1358.71
/proc/25746/task/25748/stat : 25748 (java) S 25738 25738 24309 0 -1 64 8572 149386 2 8 101 9 135664 97 16 0 10 0 1543520006 202489856 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25746/tid=25749] ppid=25738 vsize=197744 CPUtime=1357.61
/proc/25746/task/25749/stat : 25749 (java) S 25738 25738 24309 0 -1 64 11 149386 0 8 0 0 135664 97 16 0 10 0 1543520008 202489856 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25746/tid=25750] ppid=25738 vsize=197744 CPUtime=1357.61
/proc/25746/task/25750/stat : 25750 (java) S 25738 25738 24309 0 -1 64 5 149386 0 8 0 0 135664 97 15 0 10 0 1543520008 202489856 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25746/tid=25751] ppid=25738 vsize=197744 CPUtime=1357.61
/proc/25746/task/25751/stat : 25751 (java) S 25738 25738 24309 0 -1 64 0 149386 0 8 0 0 135664 97 19 0 10 0 1543520012 202489856 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25746/tid=25752] ppid=25738 vsize=197744 CPUtime=1357.85
/proc/25746/task/25752/stat : 25752 (java) S 25738 25738 24309 0 -1 64 695 149386 1 8 23 1 135664 97 16 0 10 0 1543520012 202489856 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25746/tid=25753] ppid=25738 vsize=197744 CPUtime=1357.61
/proc/25746/task/25753/stat : 25753 (java) S 25738 25738 24309 0 -1 64 1 149386 0 8 0 0 135664 97 20 0 10 0 1543520013 202489856 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25746/tid=25754] ppid=25738 vsize=197744 CPUtime=1357.61
/proc/25746/task/25754/stat : 25754 (java) S 25738 25738 24309 0 -1 64 39 149386 0 8 0 0 135664 97 15 0 10 0 1543520013 202489856 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25746/tid=26016] ppid=25738 vsize=197744 CPUtime=1357.61
/proc/25746/task/26016/stat : 26016 (java) S 25738 25738 24309 0 -1 64 48 149386 0 8 0 0 135664 97 17 0 10 0 1543657872 202489856 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1466.75
Current children cumulated vsize (KiB) 529120

[startup+1483.91 s]
/proc/loadavg: 2.00 2.01 2.04 3/95 26018
/proc/meminfo: memFree=632864/2055920 swapFree=4113964/4192956
[pid=25738] ppid=25736 vsize=5360 CPUtime=52.25
/proc/25738/stat : 25738 (hydra) S 25736 25738 24309 0 -1 4194304 375 79120 0 2 0 0 5181 44 18 0 1 0 1543514706 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25738/statm: 1340 238 196 169 0 51 0
[pid=25746] ppid=25738 vsize=197744 CPUtime=1363.35
/proc/25746/stat : 25746 (java) S 25738 25738 24309 0 -1 0 14061 149386 77 8 550 24 135664 97 18 0 10 0 1543519990 202489856 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25746/statm: 49436 9508 2545 9 0 44018 0
[pid=26017] ppid=25746 vsize=5356 CPUtime=0
/proc/26017/stat : 26017 (mistral) S 25746 25738 24309 0 -1 4194304 299 0 0 0 0 0 0 0 18 0 1 0 1543657872 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 215418987332 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/26017/statm: 1339 238 198 169 0 50 0
[pid=26018] ppid=26017 vsize=320792 CPUtime=51.95
/proc/26018/stat : 26018 (xsolve) R 26017 25738 24309 0 -1 4194304 79818 0 0 0 5159 36 0 0 25 0 1 0 1543657874 328491008 78783 996147200 134512640 135239763 4294955968 18446744073709551615 9093189 0 4 0 0 0 0 0 17 1 0 0
/proc/26018/statm: 80198 78783 418 177 0 79101 0
[pid=25746/tid=25747] ppid=25738 vsize=197744 CPUtime=1361.97
/proc/25746/task/25747/stat : 25747 (java) S 25738 25738 24309 0 -1 64 3939 149386 44 8 425 11 135664 97 16 0 10 0 1543519995 202489856 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=25746/tid=25748] ppid=25738 vsize=197744 CPUtime=1358.71
/proc/25746/task/25748/stat : 25748 (java) S 25738 25738 24309 0 -1 64 8572 149386 2 8 101 9 135664 97 16 0 10 0 1543520006 202489856 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25746/tid=25749] ppid=25738 vsize=197744 CPUtime=1357.61
/proc/25746/task/25749/stat : 25749 (java) S 25738 25738 24309 0 -1 64 11 149386 0 8 0 0 135664 97 16 0 10 0 1543520008 202489856 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25746/tid=25750] ppid=25738 vsize=197744 CPUtime=1357.61
/proc/25746/task/25750/stat : 25750 (java) S 25738 25738 24309 0 -1 64 5 149386 0 8 0 0 135664 97 15 0 10 0 1543520008 202489856 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25746/tid=25751] ppid=25738 vsize=197744 CPUtime=1357.61
/proc/25746/task/25751/stat : 25751 (java) S 25738 25738 24309 0 -1 64 0 149386 0 8 0 0 135664 97 19 0 10 0 1543520012 202489856 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25746/tid=25752] ppid=25738 vsize=197744 CPUtime=1357.85
/proc/25746/task/25752/stat : 25752 (java) S 25738 25738 24309 0 -1 64 695 149386 1 8 23 1 135664 97 16 0 10 0 1543520012 202489856 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25746/tid=25753] ppid=25738 vsize=197744 CPUtime=1357.61
/proc/25746/task/25753/stat : 25753 (java) S 25738 25738 24309 0 -1 64 1 149386 0 8 0 0 135664 97 20 0 10 0 1543520013 202489856 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25746/tid=25754] ppid=25738 vsize=197744 CPUtime=1357.61
/proc/25746/task/25754/stat : 25754 (java) S 25738 25738 24309 0 -1 64 39 149386 0 8 0 0 135664 97 15 0 10 0 1543520013 202489856 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25746/tid=26016] ppid=25738 vsize=197744 CPUtime=1357.61
/proc/25746/task/26016/stat : 26016 (java) S 25738 25738 24309 0 -1 64 48 149386 0 8 0 0 135664 97 17 0 10 0 1543657872 202489856 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1467.55
Current children cumulated vsize (KiB) 529252

[startup+1484.7 s]
/proc/loadavg: 2.00 2.01 2.04 3/95 26018
/proc/meminfo: memFree=632864/2055920 swapFree=4113964/4192956
[pid=25738] ppid=25736 vsize=5360 CPUtime=52.25
/proc/25738/stat : 25738 (hydra) S 25736 25738 24309 0 -1 4194304 375 79120 0 2 0 0 5181 44 18 0 1 0 1543514706 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25738/statm: 1340 238 196 169 0 51 0
[pid=25746] ppid=25738 vsize=197744 CPUtime=1363.35
/proc/25746/stat : 25746 (java) S 25738 25738 24309 0 -1 0 14061 149386 77 8 550 24 135664 97 18 0 10 0 1543519990 202489856 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25746/statm: 49436 9508 2545 9 0 44018 0
[pid=26017] ppid=25746 vsize=5356 CPUtime=0
/proc/26017/stat : 26017 (mistral) S 25746 25738 24309 0 -1 4194304 299 0 0 0 0 0 0 0 18 0 1 0 1543657872 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 215418987332 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/26017/statm: 1339 238 198 169 0 50 0
[pid=26018] ppid=26017 vsize=304640 CPUtime=52.74
/proc/26018/stat : 26018 (xsolve) R 26017 25738 24309 0 -1 4194304 79826 0 0 0 5237 37 0 0 25 0 1 0 1543657874 311951360 75426 996147200 134512640 135239763 4294955968 18446744073709551615 134920348 0 4 0 0 0 0 0 17 1 0 0
/proc/26018/statm: 76160 75426 426 177 0 75063 0
[pid=25746/tid=25747] ppid=25738 vsize=197744 CPUtime=1361.97
/proc/25746/task/25747/stat : 25747 (java) S 25738 25738 24309 0 -1 64 3939 149386 44 8 425 11 135664 97 16 0 10 0 1543519995 202489856 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=25746/tid=25748] ppid=25738 vsize=197744 CPUtime=1358.71
/proc/25746/task/25748/stat : 25748 (java) S 25738 25738 24309 0 -1 64 8572 149386 2 8 101 9 135664 97 16 0 10 0 1543520006 202489856 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25746/tid=25749] ppid=25738 vsize=197744 CPUtime=1357.61
/proc/25746/task/25749/stat : 25749 (java) S 25738 25738 24309 0 -1 64 11 149386 0 8 0 0 135664 97 16 0 10 0 1543520008 202489856 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25746/tid=25750] ppid=25738 vsize=197744 CPUtime=1357.61
/proc/25746/task/25750/stat : 25750 (java) S 25738 25738 24309 0 -1 64 5 149386 0 8 0 0 135664 97 15 0 10 0 1543520008 202489856 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25746/tid=25751] ppid=25738 vsize=197744 CPUtime=1357.61
/proc/25746/task/25751/stat : 25751 (java) S 25738 25738 24309 0 -1 64 0 149386 0 8 0 0 135664 97 19 0 10 0 1543520012 202489856 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25746/tid=25752] ppid=25738 vsize=197744 CPUtime=1357.85
/proc/25746/task/25752/stat : 25752 (java) S 25738 25738 24309 0 -1 64 695 149386 1 8 23 1 135664 97 16 0 10 0 1543520012 202489856 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25746/tid=25753] ppid=25738 vsize=197744 CPUtime=1357.61
/proc/25746/task/25753/stat : 25753 (java) S 25738 25738 24309 0 -1 64 1 149386 0 8 0 0 135664 97 20 0 10 0 1543520013 202489856 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25746/tid=25754] ppid=25738 vsize=197744 CPUtime=1357.61
/proc/25746/task/25754/stat : 25754 (java) S 25738 25738 24309 0 -1 64 39 149386 0 8 0 0 135664 97 15 0 10 0 1543520013 202489856 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25746/tid=26016] ppid=25738 vsize=197744 CPUtime=1357.61
/proc/25746/task/26016/stat : 26016 (java) S 25738 25738 24309 0 -1 64 48 149386 0 8 0 0 135664 97 17 0 10 0 1543657872 202489856 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1468.34
Current children cumulated vsize (KiB) 513100

[startup+1484.9 s]
/proc/loadavg: 2.00 2.01 2.04 3/95 26018
/proc/meminfo: memFree=938080/2055920 swapFree=4113964/4192956
[pid=25738] ppid=25736 vsize=5360 CPUtime=52.25
/proc/25738/stat : 25738 (hydra) S 25736 25738 24309 0 -1 4194304 375 79120 0 2 0 0 5181 44 18 0 1 0 1543514706 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25738/statm: 1340 238 196 169 0 51 0
[pid=25746] ppid=25738 vsize=197744 CPUtime=1416.31
/proc/25746/stat : 25746 (java) S 25738 25738 24309 0 -1 0 14164 229523 77 8 550 24 140917 140 18 0 9 0 1543519990 202489856 9510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25746/statm: 49436 9510 2545 9 0 44018 0
[pid=25746/tid=25747] ppid=25738 vsize=197744 CPUtime=1414.93
/proc/25746/task/25747/stat : 25747 (java) S 25738 25738 24309 0 -1 64 4002 229523 44 8 425 11 140917 140 16 0 9 0 1543519995 202489856 9510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25746/tid=25748] ppid=25738 vsize=197744 CPUtime=1411.67
/proc/25746/task/25748/stat : 25748 (java) S 25738 25738 24309 0 -1 64 8600 229523 2 8 101 9 140917 140 16 0 9 0 1543520006 202489856 9510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25746/tid=25749] ppid=25738 vsize=197744 CPUtime=1410.57
/proc/25746/task/25749/stat : 25749 (java) S 25738 25738 24309 0 -1 64 11 229523 0 8 0 0 140917 140 16 0 9 0 1543520008 202489856 9510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25746/tid=25750] ppid=25738 vsize=197744 CPUtime=1410.57
/proc/25746/task/25750/stat : 25750 (java) S 25738 25738 24309 0 -1 64 5 229523 0 8 0 0 140917 140 15 0 9 0 1543520008 202489856 9510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25746/tid=25751] ppid=25738 vsize=197744 CPUtime=1410.57
/proc/25746/task/25751/stat : 25751 (java) S 25738 25738 24309 0 -1 64 0 229523 0 8 0 0 140917 140 19 0 9 0 1543520012 202489856 9510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25746/tid=25752] ppid=25738 vsize=197744 CPUtime=1410.81
/proc/25746/task/25752/stat : 25752 (java) S 25738 25738 24309 0 -1 64 695 229523 1 8 23 1 140917 140 16 0 9 0 1543520012 202489856 9510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25746/tid=25753] ppid=25738 vsize=197744 CPUtime=1410.57
/proc/25746/task/25753/stat : 25753 (java) S 25738 25738 24309 0 -1 64 1 229523 0 8 0 0 140917 140 20 0 9 0 1543520013 202489856 9510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25746/tid=25754] ppid=25738 vsize=197744 CPUtime=1410.57
/proc/25746/task/25754/stat : 25754 (java) S 25738 25738 24309 0 -1 64 39 229523 0 8 0 0 140917 140 15 0 9 0 1543520013 202489856 9510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1468.56
Current children cumulated vsize (KiB) 203104

Child status: 0
Real time (s): 1484.94
CPU time (s): 1468.6
CPU user time (s): 1466.5
CPU system time (s): 2.10668
CPU usage (%): 98.8997
Max. virtual memory (cumulated for all children) (KiB): 871932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1466.5
system time used= 2.10668
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 323227
page faults= 87
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70441
involuntary context switches= 61492

runsolver used 6.42602 second user time and 13.318 second system time

The end

Launcher Data (download as text)

Begin job on node9 at 2008-07-04 04:26:24
IDJOB=1063657
IDBENCH=54816
IDSOLVER=366
FILE ID=node9/1063657-1215138383
PBS_JOBID= 7877323
Free space on /tmp= 66544 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 2e689f8063f4b75fb1edd7df8c8edad7
RANDOM SEED=1993346701

node9.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.265
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.265
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1367824 kB
Buffers:          1712 kB
Cached:          71164 kB
SwapCached:      72780 kB
Active:         603316 kB
Inactive:        26676 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1367824 kB
SwapTotal:     4192956 kB
SwapFree:      4113964 kB
Dirty:           31504 kB
Writeback:           0 kB
Mapped:         564568 kB
Slab:            42312 kB
Committed_AS:  3400564 kB
PageTables:       2984 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= 66348 MiB
End job on node9 at 2008-07-04 04:51:10