Trace number 1063678

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_40? (TO) 1800.06 1827.63

General information on the benchmark

Namecsp/pseudo/mpsReduced/
normalized-mps-red-vtp-base.xml
MD5SUM7a5829c10442f057a00aad0acec30b89
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables4524
Number of constraints315
Maximum constraint arity1080
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension315
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.00	c cpHydra_k_40 version 0.0
10.61/10.70	c CASE TO CLASSIFY:
10.61/10.70	c Case: 0
10.61/10.70	c 19 >   0.000000 | c 35 > 169.460000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  34.666700 | c 15 >  21.351500 | c 34 > 285.492000 | c 16 > 1080.000000 | c 13 >   6.614620 | c 14 >  10.107200 | c 11 >  11.722800 | c 12 >   3.878470 | c 21 >   1.321790 | 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.943200 | c 1 >  11.722800 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.943200 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  30.592800 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.61/10.71	c choco : 1801.0
10.61/10.71	c mistral : 1801.0
10.61/10.71	c abscon : 1801.0
10.61/10.71	c
10.61/10.71	c
10.61/10.79	c List of same ones: 40
10.61/10.79	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-rout.xml
10.61/10.79	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
10.61/10.80	c choco : 47.8
10.61/10.80	c mistral : 24.86
10.61/10.80	c abscon : 1800.13
10.61/10.80	c
10.61/10.80	c
10.61/10.80	c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-lp4l.xml
10.61/10.80	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
10.71/10.80	c choco : 60.08
10.71/10.80	c mistral : 1800.03
10.71/10.80	c abscon : 1800.09
10.71/10.80	c
10.71/10.80	c
10.71/10.80	c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-protfold.xml
10.71/10.80	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
10.71/10.81	c choco : 17.09
10.71/10.81	c mistral : 1800.04
10.71/10.81	c abscon : 1800.1
10.71/10.82	c
10.71/10.82	c
10.71/10.82	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-blend.xml
10.71/10.82	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
10.71/10.82	c choco : 72.65
10.71/10.82	c mistral : 61.66
10.71/10.82	c abscon : 1800.1
10.71/10.82	c
10.71/10.82	c
10.71/10.82	c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/jac3.xml
10.71/10.82	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
10.71/10.83	c choco : 9.63
10.71/10.83	c mistral : 3.51
10.71/10.83	c abscon : 4.6213
10.71/10.83	c
10.71/10.83	c
10.71/10.83	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-agg3.xml
10.71/10.83	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
10.71/10.84	c choco : 97.98
10.71/10.84	c mistral : 1800.17
10.71/10.84	c abscon : 1800.14
10.71/10.84	c
10.71/10.84	c
10.71/10.84	c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/p2756.xml
10.71/10.84	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
10.71/10.85	c choco : 8.43
10.71/10.85	c mistral : 1.57
10.71/10.85	c abscon : 42.6915
10.71/10.85	c
10.71/10.85	c
10.71/10.85	c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-cracpb1.xml
10.71/10.85	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
10.71/10.86	c choco : 5.58
10.71/10.86	c mistral : 2.07
10.71/10.86	c abscon : 24.1083
10.71/10.86	c
10.71/10.86	c
10.71/10.86	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-ran17x17.xml
10.71/10.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
10.71/10.87	c choco : 52.93
10.71/10.87	c mistral : 5.61
10.71/10.87	c abscon : 1800.08
10.71/10.87	c
10.71/10.87	c
10.71/10.87	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-ran16x16.xml
10.71/10.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
10.71/10.88	c choco : 40.89
10.71/10.88	c mistral : 4.67
10.71/10.88	c abscon : 1800.1
10.71/10.88	c
10.71/10.88	c
10.71/10.88	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-noswot.xml
10.71/10.88	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
10.71/10.89	c choco : 5.46
10.71/10.89	c mistral : 1.12
10.71/10.89	c abscon : 18.4442
10.71/10.89	c
10.71/10.89	c
10.71/10.89	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-egout.xml
10.71/10.89	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
10.77/10.91	c choco : 6.17
10.77/10.91	c mistral : 3.48
10.77/10.91	c abscon : 1800.07
10.77/10.91	c
10.77/10.91	c
10.77/10.91	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-ran13x13.xml
10.77/10.91	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
10.77/10.92	c choco : 22.91
10.77/10.92	c mistral : 2.5
10.77/10.92	c abscon : 1800.1
10.77/10.92	c
10.77/10.92	c
10.77/10.92	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-air01.xml
10.77/10.92	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
10.77/10.93	c choco : 8.6
10.77/10.93	c mistral : 2.27
10.77/10.93	c abscon : 5.8991
10.77/10.93	c
10.77/10.93	c
10.77/10.93	c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-air01.xml
10.77/10.93	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
10.77/10.93	c choco : 8.61
10.77/10.93	c mistral : 2.26
10.77/10.93	c abscon : 5.2622
10.77/10.93	c
10.77/10.93	c
10.77/10.93	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-ran12x12.xml
10.77/10.93	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
10.77/10.94	c choco : 19.38
10.77/10.94	c mistral : 1.98
10.77/10.94	c abscon : 1800.08
10.77/10.94	c
10.77/10.94	c
10.77/10.94	c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/air05.xml
10.77/10.94	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
10.77/10.95	c choco : 81.31
10.77/10.95	c mistral : 24.24
10.77/10.95	c abscon : 29.0936
10.77/10.95	c
10.77/10.95	c
10.77/10.95	c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/air04.xml
10.77/10.95	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
10.77/10.95	c choco : 83.64
10.77/10.95	c mistral : 28.58
10.77/10.95	c abscon : 31.3522
10.77/10.95	c
10.77/10.95	c
10.77/10.95	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-ran10x10c.xml
10.77/10.95	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
10.77/10.96	c choco : 11.95
10.77/10.96	c mistral : 3.32
10.77/10.96	c abscon : 1800.09
10.77/10.96	c
10.77/10.96	c
10.77/10.96	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-ran10x10b.xml
10.77/10.96	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
10.77/10.97	c choco : 11.83
10.77/10.97	c mistral : 3.33
10.77/10.97	c abscon : 1800.05
10.77/10.97	c
10.77/10.97	c
10.77/10.97	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-ran10x10a.xml
10.77/10.97	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
10.77/10.98	c choco : 11.84
10.77/10.98	c mistral : 3.36
10.77/10.98	c abscon : 1800.08
10.77/10.98	c
10.77/10.98	c
10.77/10.98	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-neos20.xml
10.77/10.98	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
10.77/10.98	c choco : 23.83
10.77/10.98	c mistral : 4.90325
10.77/10.98	c abscon : 7.12692
10.77/10.98	c
10.77/10.98	c
10.77/10.98	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-kb2.xml
10.77/10.98	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
10.77/10.99	c choco : 9.38
10.77/10.99	c mistral : 8.53
10.77/10.99	c abscon : 853.293
10.77/10.99	c
10.77/10.99	c
10.77/10.99	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-misc07.xml
10.77/10.99	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
10.77/10.99	c choco : 5.96
10.77/10.99	c mistral : 22.01
10.77/11.00	c abscon : 1008.63
10.77/11.00	c
10.77/11.00	c
10.77/11.00	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-pp08a.xml
10.77/11.00	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
10.77/11.00	c choco : 18.53
10.77/11.00	c mistral : 1800.06
10.77/11.00	c abscon : 1348.66
10.77/11.00	c
10.77/11.00	c
10.77/11.00	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-afiro.xml
10.77/11.00	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
10.84/11.01	c choco : 11.35
10.84/11.01	c mistral : 6.16
10.84/11.01	c abscon : 1800.07
10.84/11.01	c
10.84/11.01	c
10.84/11.01	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-stocfor1.xml
10.84/11.01	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
10.84/11.01	c choco : 1801.0
10.84/11.01	c mistral : 18.05
10.84/11.01	c abscon : 1800.09
10.84/11.01	c
10.84/11.01	c
10.84/11.01	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-mas74.xml
10.84/11.01	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
10.84/11.02	c choco : 2.83
10.84/11.02	c mistral : 0.65
10.84/11.02	c abscon : 8.5807
10.84/11.02	c
10.84/11.02	c
10.84/11.02	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-mas76.xml
10.84/11.02	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
10.84/11.03	c choco : 2.67
10.84/11.03	c mistral : 0.58
10.84/11.03	c abscon : 8.38772
10.84/11.03	c
10.84/11.03	c
10.84/11.03	c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/mod008.xml
10.84/11.03	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
10.84/11.03	c choco : 2.44
10.84/11.03	c mistral : 0.44
10.84/11.03	c abscon : 1.3238
10.84/11.03	c
10.84/11.03	c
10.84/11.03	c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-mod008.xml
10.84/11.03	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
10.84/11.04	c choco : 2.41
10.84/11.04	c mistral : 0.4
10.84/11.04	c abscon : 1.3208
10.84/11.04	c
10.84/11.04	c
10.84/11.04	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-misc03.xml
10.84/11.04	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
10.84/11.04	c choco : 2.64
10.84/11.04	c mistral : 1.78
10.84/11.04	c abscon : 65.1051
10.84/11.04	c
10.84/11.04	c
10.84/11.04	c /home/eomahony/cpZilla/CSP/pseudoSeries/course/ss97-4.xml
10.84/11.04	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
10.84/11.05	c choco : 1801.0
10.84/11.05	c mistral : 4.13
10.84/11.05	c abscon : 1800.06
10.84/11.05	c
10.84/11.05	c
10.84/11.05	c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-seymour1.xml
10.84/11.05	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
10.84/11.06	c choco : 1801.0
10.84/11.06	c mistral : 14.2628
10.84/11.06	c abscon : 40.6598
10.84/11.06	c
10.84/11.06	c
10.84/11.06	c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-7-210-60-2-10_glb.xml
10.84/11.06	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
10.84/11.07	c choco : 1801.0
10.84/11.07	c mistral : 4.54
10.84/11.07	c abscon : 1801.0
10.84/11.07	c
10.84/11.07	c
10.84/11.07	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-pp08aCUTS.xml
10.84/11.07	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
10.84/11.07	c choco : 482.24
10.84/11.07	c mistral : 1800.08
10.84/11.07	c abscon : 1800.1
10.84/11.07	c
10.84/11.07	c
10.84/11.07	c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/5xp1-b.xml
10.84/11.07	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
10.84/11.08	c choco : 6.4
10.84/11.08	c mistral : 2.56
10.84/11.08	c abscon : 3.13052
10.84/11.08	c
10.84/11.08	c
10.84/11.08	c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/apex4-a.xml
10.84/11.08	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
10.84/11.08	c choco : 24.35
10.84/11.08	c mistral : 3.62
10.84/11.08	c abscon : 12.2411
10.84/11.08	c
10.84/11.08	c
10.84/11.08	c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/e-am-pi.xml
10.84/11.08	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
10.84/11.09	c choco : 16.5
10.84/11.09	c mistral : 4.84
10.84/11.09	c abscon : 6.63899
10.84/11.09	c
10.84/11.09	c
10.84/11.09	c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/l152lav.xml
10.84/11.09	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
10.84/11.10	c choco : 30.53
10.84/11.10	c mistral : 8.32
10.84/11.10	c abscon : 14.8297
10.84/11.10	c
10.84/11.10	c
10.90/11.10	c Length: 40
10.90/11.10	c 203.5222076372269  285.3062560262595  307.505507146515  426.3219918398665  463.3711869303668  490.99338863303575  566.0158170824313  587.4502159306345  587.9337032357123  615.6801551897256  655.3632384348692  660.3224955900068  699.9194146039473  723.6882415705203  723.6882804754971  728.3189525962418  742.2522627142909  778.4245179916164  784.8481016012273  784.8539067168549  784.9414067103414  817.0104378012259  831.7554931988342  839.6344904072307  852.4068223906038  864.2987041844865  885.1943997479955  904.9381622053796  904.9402556281185  912.3219111123758  912.3276265060437  920.3349631895916  921.0009390957047  923.1144160004615  926.5095402003111  952.2135954223612  957.8288917869703  958.897213631096  959.0186487592035  961.0185956235488  
10.90/11.10	c 
10.90/11.10	c 1.0  0.9025545635946933  0.8792968644315041  0.7727219686014516  0.7445813509840654  0.724899423169826  0.6763421010218741  0.6636413155836226  0.6633603278123477  0.647624144134317  0.6263730669543112  0.623814923482761  0.6041153659571008  0.5928767841886017  0.5928767661354317  0.5907357440544083  0.5843858471179794  0.5685208105724375  0.565793084114826  0.5657906308541674  0.5657536556505077  0.5525199757589597  0.5466408076886158  0.54355028343446  0.5386139221951107  0.5340977721896129  0.5263430556100794  0.5192199461826389  0.5192192011445372  0.5166053380332742  0.5166033243940193  0.5137975242886668  0.5135655361233847  0.512830706200279  0.5116546554832874  0.5029229423923182  0.5010549336402894  0.5007011111456313  0.5006609241054777  0.5  
10.90/11.11	c
10.90/11.11	c solver 0
10.90/11.11	c	  before 0.0 seconds: {} 0
10.90/11.11	c	  before 18.0 seconds: {4, 13, 14, 21, 27, 28, 29, 30, 36, 37, 38, 39} 6556
10.90/11.11	c	  before 36.0 seconds: {4, 7, 10, 13, 14, 16, 17, 21, 27, 28, 29, 30, 36, 37, 38, 39} 8999
10.90/11.11	c	  before 54.0 seconds: {4, 6, 7, 10, 13, 14, 16, 17, 21, 27, 28, 29, 30, 33, 36, 37, 38, 39} 10189
10.90/11.11	c	  before 72.0 seconds: {4, 6, 7, 10, 13, 14, 16, 17, 21, 27, 28, 29, 30, 31, 33, 36, 37, 38, 39} 10702
10.90/11.11	c	  before 864.0 seconds: {4, 6, 7, 10, 13, 14, 16, 17, 21, 22, 27, 28, 29, 30, 31, 33, 36, 37, 38, 39} 11249
10.90/11.11	c	  before 1026.0 seconds: {4, 6, 7, 10, 13, 14, 16, 17, 21, 22, 23, 27, 28, 29, 30, 31, 33, 36, 37, 38, 39} 11793
10.90/11.11	c	  before 1350.0 seconds: {4, 6, 7, 10, 13, 14, 16, 17, 21, 22, 23, 24, 27, 28, 29, 30, 31, 33, 36, 37, 38, 39} 12331
10.90/11.11	c
10.90/11.11	c solver 1
10.90/11.12	c	  before 0.0 seconds: {} 0
10.90/11.12	c	  before 18.0 seconds: {4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 18, 19, 20, 21, 22, 25, 27, 28, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 16482
10.90/11.12	c	  before 36.0 seconds: {0, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 19705
10.90/11.12	c	  before 72.0 seconds: {0, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 20478
10.90/11.12	c
10.90/11.12	c solver 2
10.90/11.12	c	  before 0.0 seconds: {} 0
10.90/11.12	c	  before 18.0 seconds: {2, 4, 6, 7, 10, 11, 13, 14, 18, 19, 20, 22, 23, 25, 27, 28, 29, 30, 31, 36, 38} 12308
10.90/11.12	c	  before 36.0 seconds: {2, 4, 6, 7, 10, 11, 12, 13, 14, 15, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 36, 37, 38, 39} 15595
10.90/11.12	c	  before 54.0 seconds: {0, 2, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 36, 37, 38, 39} 17906
10.90/11.12	c	  before 72.0 seconds: {0, 1, 2, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 36, 37, 38, 39} 18808
10.90/11.12	c	  before 90.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 36, 37, 38, 39} 20734
10.90/11.12	c	  before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 36, 37, 38, 39} 21459
10.90/11.12	c	  before 486.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 35, 36, 37, 38, 39} 21962
10.90/11.12	c
10.90/11.12	cTotal time: 106
10.90/11.12	c	  run abscon for 1026.0 seconds {4, 6, 7, 10, 13, 14, 16, 17, 21, 22, 23, 27, 28, 29, 30, 31, 33, 36, 37, 38, 39} 11793
10.90/11.12	c	  run mistral for 72.0 seconds {0, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 20478
10.90/11.12	c	  run choco for 486.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 35, 36, 37, 38, 39} 21962
10.90/11.12	c Starting solver: HOME/cpHydra_k_40/solver/abscon
10.90/11.12	c On Instance: HOME/instance-1063678-1215138468.xml
10.90/11.12	c Running for: 1026 seconds
1037.66/1052.15	c Starting solver: HOME/cpHydra_k_40/solver/mistral
1037.66/1052.15	c On Instance: HOME/instance-1063678-1215138468.xml
1037.66/1052.15	c Running for: 72 seconds
1109.61/1124.49	c Starting solver: HOME/cpHydra_k_40/solver/choco
1109.61/1124.49	c On Instance: HOME/instance-1063678-1215138468.xml
1109.61/1124.49	c Running for: 486 seconds

Verifier Data (download as text)

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer:

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-1063678-1215138468/watcher-1063678-1215138468 -o /tmp/evaluation-result-1063678-1215138468/solver-1063678-1215138468 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1063678-1215138468.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: 1.92 1.98 1.99 4/80 15818
/proc/meminfo: memFree=1624968/2055920 swapFree=4180112/4192956
[pid=15818] ppid=15816 vsize=5360 CPUtime=0
/proc/15818/stat : 15818 (hydra) S 15816 15818 12897 0 -1 4194304 306 124 0 0 0 0 0 0 20 0 1 0 1992821423 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15818/statm: 1340 236 195 169 0 51 0
[pid=15820] ppid=15818 vsize=0 CPUtime=0
/proc/15820/stat : 15820 (hydra) R 15818 15818 12897 0 -1 4194368 21 0 0 0 0 0 0 0 23 0 1 0 1992821424 0 0 996147200 0 0 0 18446744073709551615 231962373415 0 0 4096 0 0 0 0 17 1 0 0
/proc/15820/statm: 0 0 0 0 0 0 0

[startup+0.017789 s]
/proc/loadavg: 1.92 1.98 1.99 4/80 15818
/proc/meminfo: memFree=1624968/2055920 swapFree=4180112/4192956
[pid=15818] ppid=15816 vsize=5360 CPUtime=0
/proc/15818/stat : 15818 (hydra) S 15816 15818 12897 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1992821423 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15818/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.101769 s]
/proc/loadavg: 1.92 1.98 1.99 4/80 15818
/proc/meminfo: memFree=1624968/2055920 swapFree=4180112/4192956
[pid=15818] ppid=15816 vsize=5360 CPUtime=0
/proc/15818/stat : 15818 (hydra) S 15816 15818 12897 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1992821423 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15818/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.301714 s]
/proc/loadavg: 1.92 1.98 1.99 4/80 15818
/proc/meminfo: memFree=1624968/2055920 swapFree=4180112/4192956
[pid=15818] ppid=15816 vsize=5360 CPUtime=0
/proc/15818/stat : 15818 (hydra) S 15816 15818 12897 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1992821423 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15818/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.701613 s]
/proc/loadavg: 1.92 1.98 1.99 4/80 15818
/proc/meminfo: memFree=1624968/2055920 swapFree=4180112/4192956
[pid=15818] ppid=15816 vsize=5360 CPUtime=0
/proc/15818/stat : 15818 (hydra) S 15816 15818 12897 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1992821423 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15818/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+1.5014 s]
/proc/loadavg: 1.92 1.98 1.99 3/82 15822
/proc/meminfo: memFree=1599608/2055920 swapFree=4180112/4192956
[pid=15818] ppid=15816 vsize=5360 CPUtime=0
/proc/15818/stat : 15818 (hydra) S 15816 15818 12897 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1992821423 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15818/statm: 1340 236 195 169 0 51 0
[pid=15822] ppid=15818 vsize=35580 CPUtime=1.46
/proc/15822/stat : 15822 (xsolve) R 15818 15818 12897 0 -1 4194304 8208 0 0 0 142 4 0 0 25 0 1 0 1992821424 36433920 8167 996147200 134512640 135239763 4294956176 18446744073709551615 7639435 0 0 4096 0 0 0 0 17 1 0 0
/proc/15822/statm: 8895 8167 361 177 0 7798 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 40940

[startup+3.10199 s]
/proc/loadavg: 1.92 1.98 1.99 3/82 15822
/proc/meminfo: memFree=1592376/2055920 swapFree=4180112/4192956
[pid=15818] ppid=15816 vsize=5360 CPUtime=0
/proc/15818/stat : 15818 (hydra) S 15816 15818 12897 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1992821423 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15818/statm: 1340 236 195 169 0 51 0
[pid=15822] ppid=15818 vsize=41228 CPUtime=3.06
/proc/15822/stat : 15822 (xsolve) R 15818 15818 12897 0 -1 4194304 9567 0 0 0 301 5 0 0 25 0 1 0 1992821424 42217472 9526 996147200 134512640 135239763 4294956176 18446744073709551615 134943192 0 0 4096 0 0 0 0 17 1 0 0
/proc/15822/statm: 10307 9526 375 177 0 9210 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 46588

[startup+6.30149 s]
/proc/loadavg: 1.93 1.98 1.99 4/90 15834
/proc/meminfo: memFree=1618488/2055920 swapFree=4180112/4192956
[pid=15818] ppid=15816 vsize=5360 CPUtime=4.93
/proc/15818/stat : 15818 (hydra) S 15816 15818 12897 0 -1 4194304 375 14317 0 0 0 0 485 8 18 0 1 0 1992821423 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15818/statm: 1340 238 196 169 0 51 0
[pid=15826] ppid=15818 vsize=197004 CPUtime=1.3
/proc/15826/stat : 15826 (java) S 15818 15818 12897 0 -1 0 4805 0 1 0 126 4 0 0 18 0 9 0 1992821921 201732096 4046 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15826/statm: 49251 4046 1678 9 0 43833 0
[pid=15826/tid=15827] ppid=15818 vsize=197004 CPUtime=1.03
/proc/15826/task/15827/stat : 15827 (java) R 15818 15818 12897 0 -1 64 2685 0 1 0 102 1 0 0 25 0 9 0 1992821922 201732096 4046 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15826/tid=15828] ppid=15818 vsize=197004 CPUtime=0.11
/proc/15826/task/15828/stat : 15828 (java) S 15818 15818 12897 0 -1 64 792 0 0 0 10 1 0 0 15 0 9 0 1992821923 201732096 4046 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15826/tid=15829] ppid=15818 vsize=197004 CPUtime=0
/proc/15826/task/15829/stat : 15829 (java) S 15818 15818 12897 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1992821923 201732096 4046 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15826/tid=15830] ppid=15818 vsize=197004 CPUtime=0
/proc/15826/task/15830/stat : 15830 (java) S 15818 15818 12897 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992821924 201732096 4046 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15826/tid=15831] ppid=15818 vsize=197004 CPUtime=0
/proc/15826/task/15831/stat : 15831 (java) S 15818 15818 12897 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1992821926 201732096 4046 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15826/tid=15832] ppid=15818 vsize=197004 CPUtime=0.13
/proc/15826/task/15832/stat : 15832 (java) S 15818 15818 12897 0 -1 64 603 0 0 0 13 0 0 0 16 0 9 0 1992821926 201732096 4046 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15826/tid=15833] ppid=15818 vsize=197004 CPUtime=0
/proc/15826/task/15833/stat : 15833 (java) S 15818 15818 12897 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992821926 201732096 4046 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15826/tid=15834] ppid=15818 vsize=197004 CPUtime=0
/proc/15826/task/15834/stat : 15834 (java) S 15818 15818 12897 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992821926 201732096 4046 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 202364

[startup+12.7035 s]
/proc/loadavg: 2.01 2.00 2.00 3/102 15846
/proc/meminfo: memFree=1549072/2055920 swapFree=4180112/4192956
[pid=15818] ppid=15816 vsize=5360 CPUtime=4.93
/proc/15818/stat : 15818 (hydra) S 15816 15818 12897 0 -1 4194304 375 14317 0 0 0 0 485 8 18 0 1 0 1992821423 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15818/statm: 1340 238 196 169 0 51 0
[pid=15826] ppid=15818 vsize=197436 CPUtime=6
/proc/15826/stat : 15826 (java) S 15818 15818 12897 0 -1 0 11442 0 1 0 581 19 0 0 18 0 10 0 1992821921 202174464 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15826/statm: 49359 9396 2544 9 0 43941 0
[pid=15836] ppid=15826 vsize=5356 CPUtime=0
/proc/15836/stat : 15836 (abscon) S 15826 15818 12897 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1992822536 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 231962370884 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/15836/statm: 1339 237 196 169 0 50 0
[pid=15837] ppid=15836 vsize=655728 CPUtime=1.55
/proc/15837/stat : 15837 (java) S 15836 15818 12897 0 -1 0 15012 0 1 0 145 10 0 0 18 0 9 0 1992822537 671465472 14520 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15837/statm: 163932 14520 2006 9 0 158460 0
[pid=15837/tid=15839] ppid=15836 vsize=655728 CPUtime=1.31
/proc/15837/task/15839/stat : 15839 (java) R 15836 15818 12897 0 -1 64 12430 0 1 0 124 7 0 0 25 0 9 0 1992822538 671465472 14520 996147200 134512640 134550740 4294955808 18446744073709551615 4126844924 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15837/tid=15840] ppid=15836 vsize=655728 CPUtime=0.04
/proc/15837/task/15840/stat : 15840 (java) S 15836 15818 12897 0 -1 64 1428 0 0 0 3 1 0 0 16 0 9 0 1992822539 671465472 14520 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15837/tid=15841] ppid=15836 vsize=655728 CPUtime=0
/proc/15837/task/15841/stat : 15841 (java) S 15836 15818 12897 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1992822539 671465472 14520 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15837/tid=15842] ppid=15836 vsize=655728 CPUtime=0
/proc/15837/task/15842/stat : 15842 (java) S 15836 15818 12897 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1992822539 671465472 14520 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15837/tid=15843] ppid=15836 vsize=655728 CPUtime=0
/proc/15837/task/15843/stat : 15843 (java) S 15836 15818 12897 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992822541 671465472 14520 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15837/tid=15844] ppid=15836 vsize=655728 CPUtime=0.17
/proc/15837/task/15844/stat : 15844 (java) S 15836 15818 12897 0 -1 64 608 0 0 0 17 0 0 0 15 0 9 0 1992822541 671465472 14520 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15837/tid=15845] ppid=15836 vsize=655728 CPUtime=0
/proc/15837/task/15845/stat : 15845 (java) S 15836 15818 12897 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1992822541 671465472 14520 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15837/tid=15846] ppid=15836 vsize=655728 CPUtime=0
/proc/15837/task/15846/stat : 15846 (java) S 15836 15818 12897 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992822541 671465472 14520 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15838] ppid=15836 vsize=7044 CPUtime=0
/proc/15838/stat : 15838 (translate) S 15836 15818 12897 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1992822537 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 231962542162 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/15838/statm: 1761 213 182 1 0 41 0
[pid=15826/tid=15827] ppid=15818 vsize=197436 CPUtime=4.84
/proc/15826/task/15827/stat : 15827 (java) S 15818 15818 12897 0 -1 64 3864 0 1 0 477 7 0 0 25 0 10 0 1992821922 202174464 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=15826/tid=15828] ppid=15818 vsize=197436 CPUtime=0.9
/proc/15826/task/15828/stat : 15828 (java) S 15818 15818 12897 0 -1 64 6108 0 0 0 80 10 0 0 16 0 10 0 1992821923 202174464 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15826/tid=15829] ppid=15818 vsize=197436 CPUtime=0
/proc/15826/task/15829/stat : 15829 (java) S 15818 15818 12897 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1992821923 202174464 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15826/tid=15830] ppid=15818 vsize=197436 CPUtime=0
/proc/15826/task/15830/stat : 15830 (java) S 15818 15818 12897 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 1992821924 202174464 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15826/tid=15831] ppid=15818 vsize=197436 CPUtime=0
/proc/15826/task/15831/stat : 15831 (java) S 15818 15818 12897 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1992821926 202174464 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15826/tid=15832] ppid=15818 vsize=197436 CPUtime=0.22
/proc/15826/task/15832/stat : 15832 (java) S 15818 15818 12897 0 -1 64 666 0 0 0 22 0 0 0 16 0 10 0 1992821926 202174464 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15826/tid=15833] ppid=15818 vsize=197436 CPUtime=0
/proc/15826/task/15833/stat : 15833 (java) S 15818 15818 12897 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1992821926 202174464 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15826/tid=15834] ppid=15818 vsize=197436 CPUtime=0
/proc/15826/task/15834/stat : 15834 (java) S 15818 15818 12897 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 1992821926 202174464 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15826/tid=15835] ppid=15818 vsize=197436 CPUtime=0
/proc/15826/task/15835/stat : 15835 (java) S 15818 15818 12897 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1992822536 202174464 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 870924

[startup+25.5022 s]
/proc/loadavg: 2.01 2.00 2.00 3/102 15846
/proc/meminfo: memFree=1489872/2055920 swapFree=4180112/4192956
[pid=15818] ppid=15816 vsize=5360 CPUtime=4.93
/proc/15818/stat : 15818 (hydra) S 15816 15818 12897 0 -1 4194304 375 14317 0 0 0 0 485 8 18 0 1 0 1992821423 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15818/statm: 1340 238 196 169 0 51 0
[pid=15826] ppid=15818 vsize=197436 CPUtime=6
/proc/15826/stat : 15826 (java) S 15818 15818 12897 0 -1 0 11464 0 1 0 581 19 0 0 18 0 10 0 1992821921 202174464 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15826/statm: 49359 9396 2544 9 0 43941 0
[pid=15836] ppid=15826 vsize=5356 CPUtime=0
/proc/15836/stat : 15836 (abscon) S 15826 15818 12897 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1992822536 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 231962370884 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/15836/statm: 1339 237 196 169 0 50 0
[pid=15837] ppid=15836 vsize=655728 CPUtime=14.15
/proc/15837/stat : 15837 (java) S 15836 15818 12897 0 -1 0 29765 0 1 0 1396 19 0 0 18 0 9 0 1992822537 671465472 29028 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15837/statm: 163932 29028 2616 9 0 158460 0
[pid=15837/tid=15839] ppid=15836 vsize=655728 CPUtime=13.25
/proc/15837/task/15839/stat : 15839 (java) R 15836 15818 12897 0 -1 64 12596 0 1 0 1316 9 0 0 25 0 9 0 1992822538 671465472 29028 996147200 134512640 134550740 4294955808 18446744073709551615 4127189664 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15837/tid=15840] ppid=15836 vsize=655728 CPUtime=0.52
/proc/15837/task/15840/stat : 15840 (java) S 15836 15818 12897 0 -1 64 15891 0 0 0 45 7 0 0 17 0 9 0 1992822539 671465472 29028 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15837/tid=15841] ppid=15836 vsize=655728 CPUtime=0
/proc/15837/task/15841/stat : 15841 (java) S 15836 15818 12897 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1992822539 671465472 29028 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15837/tid=15842] ppid=15836 vsize=655728 CPUtime=0
/proc/15837/task/15842/stat : 15842 (java) S 15836 15818 12897 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 1992822539 671465472 29028 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15837/tid=15843] ppid=15836 vsize=655728 CPUtime=0
/proc/15837/task/15843/stat : 15843 (java) S 15836 15818 12897 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992822541 671465472 29028 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15837/tid=15844] ppid=15836 vsize=655728 CPUtime=0.35
/proc/15837/task/15844/stat : 15844 (java) S 15836 15818 12897 0 -1 64 718 0 0 0 34 1 0 0 16 0 9 0 1992822541 671465472 29028 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15837/tid=15845] ppid=15836 vsize=655728 CPUtime=0
/proc/15837/task/15845/stat : 15845 (java) S 15836 15818 12897 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1992822541 671465472 29028 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15837/tid=15846] ppid=15836 vsize=655728 CPUtime=0
/proc/15837/task/15846/stat : 15846 (java) S 15836 15818 12897 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992822541 671465472 29028 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15838] ppid=15836 vsize=7044 CPUtime=0
/proc/15838/stat : 15838 (translate) S 15836 15818 12897 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1992822537 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 231962542162 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/15838/statm: 1761 213 182 1 0 41 0

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

/proc/15826/statm: 49440 9402 2545 9 0 44022 0
[pid=15851] ppid=15826 vsize=5356 CPUtime=0
/proc/15851/stat : 15851 (choco) S 15826 15818 12897 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 1992933873 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 231962370884 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/15851/statm: 1339 238 197 169 0 50 0
[pid=15852] ppid=15851 vsize=655492 CPUtime=587.05
/proc/15852/stat : 15852 (java) S 15851 15818 12897 0 -1 0 21120 0 1 0 58625 80 0 0 18 0 9 0 1992933874 671223808 20636 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15852/statm: 163873 20636 1935 9 0 158402 0
[pid=15852/tid=15853] ppid=15851 vsize=655492 CPUtime=586.19
/proc/15852/task/15853/stat : 15853 (java) R 15851 15818 12897 0 -1 64 12219 0 1 0 58545 74 0 0 25 0 9 0 1992933875 671223808 20636 996147200 134512640 134550740 4294955936 18446744073709551615 4127299058 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15852/tid=15854] ppid=15851 vsize=655492 CPUtime=0.45
/proc/15852/task/15854/stat : 15854 (java) S 15851 15818 12897 0 -1 64 7674 0 0 0 42 3 0 0 16 0 9 0 1992933876 671223808 20636 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15852/tid=15855] ppid=15851 vsize=655492 CPUtime=0
/proc/15852/task/15855/stat : 15855 (java) S 15851 15818 12897 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1992933876 671223808 20636 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15852/tid=15856] ppid=15851 vsize=655492 CPUtime=0
/proc/15852/task/15856/stat : 15856 (java) S 15851 15818 12897 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992933876 671223808 20636 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15852/tid=15857] ppid=15851 vsize=655492 CPUtime=0
/proc/15852/task/15857/stat : 15857 (java) S 15851 15818 12897 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992933878 671223808 20636 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15852/tid=15858] ppid=15851 vsize=655492 CPUtime=0.38
/proc/15852/task/15858/stat : 15858 (java) S 15851 15818 12897 0 -1 64 674 0 0 0 37 1 0 0 16 0 9 0 1992933879 671223808 20636 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15852/tid=15859] ppid=15851 vsize=655492 CPUtime=0
/proc/15852/task/15859/stat : 15859 (java) S 15851 15818 12897 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1992933879 671223808 20636 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15852/tid=15860] ppid=15851 vsize=655492 CPUtime=0
/proc/15852/task/15860/stat : 15860 (java) S 15851 15818 12897 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1992933879 671223808 20636 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15826/tid=15827] ppid=15818 vsize=197760 CPUtime=1103.63
/proc/15826/task/15827/stat : 15827 (java) S 15818 15818 12897 0 -1 64 4024 44782 1 1 477 7 109845 34 17 0 10 0 1992821922 202506240 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=15826/tid=15828] ppid=15818 vsize=197760 CPUtime=1099.69
/proc/15826/task/15828/stat : 15828 (java) S 15818 15818 12897 0 -1 64 6163 44782 0 1 80 10 109845 34 16 0 10 0 1992821923 202506240 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15826/tid=15829] ppid=15818 vsize=197760 CPUtime=1098.79
/proc/15826/task/15829/stat : 15829 (java) S 15818 15818 12897 0 -1 64 11 44782 0 1 0 0 109845 34 16 0 10 0 1992821923 202506240 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15826/tid=15830] ppid=15818 vsize=197760 CPUtime=1098.79
/proc/15826/task/15830/stat : 15830 (java) S 15818 15818 12897 0 -1 64 6 44782 0 1 0 0 109845 34 16 0 10 0 1992821924 202506240 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15826/tid=15831] ppid=15818 vsize=197760 CPUtime=1098.79
/proc/15826/task/15831/stat : 15831 (java) S 15818 15818 12897 0 -1 64 0 44782 0 1 0 0 109845 34 18 0 10 0 1992821926 202506240 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15826/tid=15832] ppid=15818 vsize=197760 CPUtime=1099.01
/proc/15826/task/15832/stat : 15832 (java) S 15818 15818 12897 0 -1 64 700 44782 0 1 22 0 109845 34 16 0 10 0 1992821926 202506240 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15826/tid=15833] ppid=15818 vsize=197760 CPUtime=1098.79
/proc/15826/task/15833/stat : 15833 (java) S 15818 15818 12897 0 -1 64 1 44782 0 1 0 0 109845 34 19 0 10 0 1992821926 202506240 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15826/tid=15834] ppid=15818 vsize=197760 CPUtime=1098.79
/proc/15826/task/15834/stat : 15834 (java) S 15818 15818 12897 0 -1 64 43 44782 0 1 0 0 109845 34 15 0 10 0 1992821926 202506240 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15826/tid=15850] ppid=15818 vsize=197760 CPUtime=1098.79
/proc/15826/task/15850/stat : 15850 (java) S 15818 15818 12897 0 -1 64 52 44782 0 1 0 0 109845 34 18 0 10 0 1992933873 202506240 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1696.77
Current children cumulated vsize (KiB) 863968

[startup+1782.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/102 16008
/proc/meminfo: memFree=937720/2055920 swapFree=4180112/4192956
[pid=15818] ppid=15816 vsize=5360 CPUtime=4.93
/proc/15818/stat : 15818 (hydra) S 15816 15818 12897 0 -1 4194304 375 14317 0 0 0 0 485 8 18 0 1 0 1992821423 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15818/statm: 1340 238 196 169 0 51 0
[pid=15826] ppid=15818 vsize=197760 CPUtime=1104.79
/proc/15826/stat : 15826 (java) S 15818 15818 12897 0 -1 0 11836 44782 1 1 581 19 109845 34 18 0 10 0 1992821921 202506240 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15826/statm: 49440 9402 2545 9 0 44022 0
[pid=15851] ppid=15826 vsize=5356 CPUtime=0
/proc/15851/stat : 15851 (choco) S 15826 15818 12897 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 1992933873 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 231962370884 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/15851/statm: 1339 238 197 169 0 50 0
[pid=15852] ppid=15851 vsize=655492 CPUtime=645.9
/proc/15852/stat : 15852 (java) S 15851 15818 12897 0 -1 0 21120 0 1 0 64507 83 0 0 18 0 9 0 1992933874 671223808 20636 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15852/statm: 163873 20636 1935 9 0 158402 0
[pid=15852/tid=15853] ppid=15851 vsize=655492 CPUtime=645.04
/proc/15852/task/15853/stat : 15853 (java) R 15851 15818 12897 0 -1 64 12219 0 1 0 64426 78 0 0 25 0 9 0 1992933875 671223808 20636 996147200 134512640 134550740 4294955936 18446744073709551615 4127299058 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15852/tid=15854] ppid=15851 vsize=655492 CPUtime=0.45
/proc/15852/task/15854/stat : 15854 (java) S 15851 15818 12897 0 -1 64 7674 0 0 0 42 3 0 0 16 0 9 0 1992933876 671223808 20636 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15852/tid=15855] ppid=15851 vsize=655492 CPUtime=0
/proc/15852/task/15855/stat : 15855 (java) S 15851 15818 12897 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1992933876 671223808 20636 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15852/tid=15856] ppid=15851 vsize=655492 CPUtime=0
/proc/15852/task/15856/stat : 15856 (java) S 15851 15818 12897 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992933876 671223808 20636 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15852/tid=15857] ppid=15851 vsize=655492 CPUtime=0
/proc/15852/task/15857/stat : 15857 (java) S 15851 15818 12897 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992933878 671223808 20636 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15852/tid=15858] ppid=15851 vsize=655492 CPUtime=0.38
/proc/15852/task/15858/stat : 15858 (java) S 15851 15818 12897 0 -1 64 674 0 0 0 37 1 0 0 16 0 9 0 1992933879 671223808 20636 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15852/tid=15859] ppid=15851 vsize=655492 CPUtime=0
/proc/15852/task/15859/stat : 15859 (java) S 15851 15818 12897 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1992933879 671223808 20636 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15852/tid=15860] ppid=15851 vsize=655492 CPUtime=0
/proc/15852/task/15860/stat : 15860 (java) S 15851 15818 12897 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1992933879 671223808 20636 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15826/tid=15827] ppid=15818 vsize=197760 CPUtime=1103.63
/proc/15826/task/15827/stat : 15827 (java) S 15818 15818 12897 0 -1 64 4024 44782 1 1 477 7 109845 34 17 0 10 0 1992821922 202506240 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=15826/tid=15828] ppid=15818 vsize=197760 CPUtime=1099.69
/proc/15826/task/15828/stat : 15828 (java) S 15818 15818 12897 0 -1 64 6163 44782 0 1 80 10 109845 34 16 0 10 0 1992821923 202506240 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15826/tid=15829] ppid=15818 vsize=197760 CPUtime=1098.79
/proc/15826/task/15829/stat : 15829 (java) S 15818 15818 12897 0 -1 64 11 44782 0 1 0 0 109845 34 16 0 10 0 1992821923 202506240 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15826/tid=15830] ppid=15818 vsize=197760 CPUtime=1098.79
/proc/15826/task/15830/stat : 15830 (java) S 15818 15818 12897 0 -1 64 6 44782 0 1 0 0 109845 34 16 0 10 0 1992821924 202506240 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15826/tid=15831] ppid=15818 vsize=197760 CPUtime=1098.79
/proc/15826/task/15831/stat : 15831 (java) S 15818 15818 12897 0 -1 64 0 44782 0 1 0 0 109845 34 18 0 10 0 1992821926 202506240 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15826/tid=15832] ppid=15818 vsize=197760 CPUtime=1099.01
/proc/15826/task/15832/stat : 15832 (java) S 15818 15818 12897 0 -1 64 700 44782 0 1 22 0 109845 34 16 0 10 0 1992821926 202506240 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15826/tid=15833] ppid=15818 vsize=197760 CPUtime=1098.79
/proc/15826/task/15833/stat : 15833 (java) S 15818 15818 12897 0 -1 64 1 44782 0 1 0 0 109845 34 19 0 10 0 1992821926 202506240 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15826/tid=15834] ppid=15818 vsize=197760 CPUtime=1098.79
/proc/15826/task/15834/stat : 15834 (java) S 15818 15818 12897 0 -1 64 43 44782 0 1 0 0 109845 34 15 0 10 0 1992821926 202506240 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15826/tid=15850] ppid=15818 vsize=197760 CPUtime=1098.79
/proc/15826/task/15850/stat : 15850 (java) S 15818 15818 12897 0 -1 64 52 44782 0 1 0 0 109845 34 18 0 10 0 1992933873 202506240 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1755.62
Current children cumulated vsize (KiB) 863968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1827.6 s]
/proc/loadavg: 2.05 2.03 2.00 3/102 16008
/proc/meminfo: memFree=937720/2055920 swapFree=4180112/4192956
[pid=15818] ppid=15816 vsize=5360 CPUtime=4.93
/proc/15818/stat : 15818 (hydra) S 15816 15818 12897 0 -1 4194304 375 14317 0 0 0 0 485 8 18 0 1 0 1992821423 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15818/statm: 1340 238 196 169 0 51 0
[pid=15826] ppid=15818 vsize=197760 CPUtime=1104.79
/proc/15826/stat : 15826 (java) S 15818 15818 12897 0 -1 0 11836 44782 1 1 581 19 109845 34 18 0 10 0 1992821921 202506240 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15826/statm: 49440 9402 2545 9 0 44022 0
[pid=15851] ppid=15826 vsize=5356 CPUtime=0
/proc/15851/stat : 15851 (choco) S 15826 15818 12897 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 1992933873 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 231962370884 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/15851/statm: 1339 238 197 169 0 50 0
[pid=15852] ppid=15851 vsize=655492 CPUtime=690.34
/proc/15852/stat : 15852 (java) S 15851 15818 12897 0 -1 0 21121 0 1 0 68947 87 0 0 18 0 9 0 1992933874 671223808 20636 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15852/statm: 163873 20636 1935 9 0 158402 0
[pid=15852/tid=15853] ppid=15851 vsize=655492 CPUtime=689.48
/proc/15852/task/15853/stat : 15853 (java) R 15851 15818 12897 0 -1 64 12220 0 1 0 68867 81 0 0 25 0 9 0 1992933875 671223808 20636 996147200 134512640 134550740 4294955936 18446744073709551615 4126655453 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15852/tid=15854] ppid=15851 vsize=655492 CPUtime=0.45
/proc/15852/task/15854/stat : 15854 (java) S 15851 15818 12897 0 -1 64 7674 0 0 0 42 3 0 0 16 0 9 0 1992933876 671223808 20636 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15852/tid=15855] ppid=15851 vsize=655492 CPUtime=0
/proc/15852/task/15855/stat : 15855 (java) S 15851 15818 12897 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1992933876 671223808 20636 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15852/tid=15856] ppid=15851 vsize=655492 CPUtime=0
/proc/15852/task/15856/stat : 15856 (java) S 15851 15818 12897 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992933876 671223808 20636 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15852/tid=15857] ppid=15851 vsize=655492 CPUtime=0
/proc/15852/task/15857/stat : 15857 (java) S 15851 15818 12897 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992933878 671223808 20636 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15852/tid=15858] ppid=15851 vsize=655492 CPUtime=0.38
/proc/15852/task/15858/stat : 15858 (java) S 15851 15818 12897 0 -1 64 674 0 0 0 37 1 0 0 16 0 9 0 1992933879 671223808 20636 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15852/tid=15859] ppid=15851 vsize=655492 CPUtime=0
/proc/15852/task/15859/stat : 15859 (java) S 15851 15818 12897 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1992933879 671223808 20636 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15852/tid=15860] ppid=15851 vsize=655492 CPUtime=0
/proc/15852/task/15860/stat : 15860 (java) S 15851 15818 12897 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1992933879 671223808 20636 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15826/tid=15827] ppid=15818 vsize=197760 CPUtime=1103.63
/proc/15826/task/15827/stat : 15827 (java) S 15818 15818 12897 0 -1 64 4024 44782 1 1 477 7 109845 34 17 0 10 0 1992821922 202506240 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=15826/tid=15828] ppid=15818 vsize=197760 CPUtime=1099.69
/proc/15826/task/15828/stat : 15828 (java) S 15818 15818 12897 0 -1 64 6163 44782 0 1 80 10 109845 34 16 0 10 0 1992821923 202506240 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15826/tid=15829] ppid=15818 vsize=197760 CPUtime=1098.79
/proc/15826/task/15829/stat : 15829 (java) S 15818 15818 12897 0 -1 64 11 44782 0 1 0 0 109845 34 16 0 10 0 1992821923 202506240 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15826/tid=15830] ppid=15818 vsize=197760 CPUtime=1098.79
/proc/15826/task/15830/stat : 15830 (java) S 15818 15818 12897 0 -1 64 6 44782 0 1 0 0 109845 34 16 0 10 0 1992821924 202506240 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15826/tid=15831] ppid=15818 vsize=197760 CPUtime=1098.79
/proc/15826/task/15831/stat : 15831 (java) S 15818 15818 12897 0 -1 64 0 44782 0 1 0 0 109845 34 18 0 10 0 1992821926 202506240 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15826/tid=15832] ppid=15818 vsize=197760 CPUtime=1099.01
/proc/15826/task/15832/stat : 15832 (java) S 15818 15818 12897 0 -1 64 700 44782 0 1 22 0 109845 34 16 0 10 0 1992821926 202506240 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15826/tid=15833] ppid=15818 vsize=197760 CPUtime=1098.79
/proc/15826/task/15833/stat : 15833 (java) S 15818 15818 12897 0 -1 64 1 44782 0 1 0 0 109845 34 19 0 10 0 1992821926 202506240 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15826/tid=15834] ppid=15818 vsize=197760 CPUtime=1098.79
/proc/15826/task/15834/stat : 15834 (java) R 15818 15818 12897 0 -1 64 43 44782 0 1 0 0 109845 34 15 0 10 0 1992821926 202506240 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15826/tid=15850] ppid=15818 vsize=197760 CPUtime=1098.79
/proc/15826/task/15850/stat : 15850 (java) S 15818 15818 12897 0 -1 64 52 44782 0 1 0 0 109845 34 18 0 10 0 1992933873 202506240 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 863968

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15818 and gives
#  childrusage.ru_utime.tv_sec=4
#  childrusage.ru_utime.tv_usec=855261
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=84987
# CPU time returned by wait4() is 4.94025
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1827.63
CPU time (s): 1800.06
CPU user time (s): 1798.58
CPU system time (s): 1.48
CPU usage (%): 98.4912
Max. virtual memory (cumulated for all children) (KiB): 870924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.85526
system time used= 0.084987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14692
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32
involuntary context switches= 72

runsolver used 5.16122 second user time and 19.865 second system time

The end

Launcher Data (download as text)

Begin job on node16 at 2008-07-04 04:27:48
IDJOB=1063678
IDBENCH=54827
IDSOLVER=366
FILE ID=node16/1063678-1215138468
PBS_JOBID= 7877258
Free space on /tmp= 66556 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 7a5829c10442f057a00aad0acec30b89
RANDOM SEED=109380159

node16.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.213
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.213
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:       1625384 kB
Buffers:         24104 kB
Cached:         160464 kB
SwapCached:       7056 kB
Active:         317100 kB
Inactive:        60648 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1625384 kB
SwapTotal:     4192956 kB
SwapFree:      4180112 kB
Dirty:           25360 kB
Writeback:           0 kB
Mapped:         209032 kB
Slab:            37748 kB
Committed_AS:  4194192 kB
PageTables:       2208 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= 66532 MiB
End job on node16 at 2008-07-04 04:58:18