Trace number 1093452

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.07 1825.44

General information on the benchmark

Namecsp/socialGolfers/
normalized-socialGolfer-6-4-7.xml
MD5SUM07e8c5063bb60946aa9e827386c017d9
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark20.8538
Satisfiable
(Un)Satisfiability was proved
Number of variables3444
Number of constraints16464
Maximum constraint arity28
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension16464
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.00	c cpHydra_k_40 version 0.0
8.03/8.14	c CASE TO CLASSIFY:
8.03/8.14	c Case: 0
8.03/8.14	c 19 >   0.000000 | c 35 >  31.020400 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  20.149600 | c 34 >  31.020400 | c 16 >  28.000000 | c 13 >   5.973570 | c 14 >  10.293500 | c 11 >  11.749900 | c 12 >   4.337240 | 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.127000 | c 1 >  11.749900 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  15.103100 | c 6 >   8.562240 | c 32 >  -1.000000 | c 5 >  16.997300 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.03/8.15	c choco : 1801.0
8.03/8.15	c mistral : 1801.0
8.03/8.15	c abscon : 1801.0
8.03/8.15	c
8.03/8.15	c
8.12/8.22	c List of same ones: 40
8.12/8.22	c /home/eomahony/cpZilla/CSP/socialGolfers/socialGolfer-6-3-8.xml
8.12/8.22	c 19 >   0.000000 | c 35 >  31.023600 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  19.073800 | c 34 >  31.023600 | c 16 >  24.000000 | c 13 >   4.574770 | c 14 >   9.897850 | c 11 >  11.455300 | c 12 >   4.148820 | 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.872100 | c 1 >  11.455300 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.849400 | c 6 >   8.108520 | c 32 >  -1.000000 | c 5 >  16.742300 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.12/8.23	c choco : 20.92
8.12/8.23	c mistral : 4.84
8.12/8.23	c abscon : 43.4904
8.12/8.23	c
8.12/8.23	c
8.12/8.23	c /home/eomahony/cpZilla/CSP/socialGolfers/socialGolfer-6-4-8.xml
8.12/8.23	c 19 >   0.000000 | c 35 >  30.938700 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  18.981300 | c 34 >  30.938700 | c 16 >  32.000000 | c 13 >   3.601170 | c 14 >   9.751540 | c 11 >  12.139600 | c 12 >   4.151730 | 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.691700 | c 1 >  12.139600 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  15.671500 | c 6 >   8.954200 | c 32 >  -1.000000 | c 5 >  17.560700 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.12/8.24	c choco : 1801.0
8.12/8.24	c mistral : 960.35
8.12/8.24	c abscon : 239.695
8.12/8.24	c
8.12/8.24	c
8.12/8.24	c /home/eomahony/cpZilla/CSP/socialGolfers/socialGolfer-6-3-7.xml
8.12/8.24	c 19 >   0.000000 | c 35 >  32.054800 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  19.000400 | c 34 >  32.054800 | c 16 >  21.000000 | c 13 >   2.992920 | c 14 >   9.407270 | c 11 >  11.064700 | c 12 >   3.871940 | 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.308200 | c 1 >  11.064700 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.281100 | c 6 >   7.714250 | c 32 >  -1.000000 | c 5 >  16.177800 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.12/8.25	c choco : 14.12
8.12/8.25	c mistral : 3.42148
8.12/8.25	c abscon : 15.1667
8.12/8.25	c
8.12/8.25	c
8.12/8.25	c /home/eomahony/cpZilla/CSP/socialGolfers/socialGolfer-6-3-6.xml
8.12/8.25	c 19 >   0.000000 | c 35 >  32.279100 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  19.086000 | c 34 >  32.279100 | c 16 >  18.000000 | c 13 >   4.811540 | c 14 >   9.463520 | c 11 >  10.612900 | c 12 >   4.280860 | 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.658800 | c 1 >  10.612900 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.625300 | c 6 >   7.257390 | c 32 >  -1.000000 | c 5 >  15.527500 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.12/8.25	c choco : 8.85
8.12/8.25	c mistral : 4.83926
8.12/8.25	c abscon : 20.2099
8.12/8.26	c
8.12/8.26	c
8.12/8.26	c /home/eomahony/cpZilla/CSP/socialGolfers/socialGolfer-6-3-5.xml
8.12/8.26	c 19 >   0.000000 | c 35 >  32.533300 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  18.368300 | c 34 >  32.533300 | c 16 >  15.000000 | c 13 >   2.757520 | c 14 >   8.588710 | c 11 >  13.064200 | c 12 >   1.778410 | c 21 >   1.414210 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  12.892700 | c 1 >  10.076800 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  12.849400 | c 6 >   6.714250 | c 32 >  -1.000000 | c 5 >  14.760200 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.12/8.26	c choco : 1801.0
8.12/8.26	c mistral : 712.73
8.12/8.27	c abscon : 1579.13
8.12/8.27	c
8.12/8.27	c
8.12/8.27	c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16d2.xml
8.12/8.27	c 19 >   6.287130 | c 35 >  29.657800 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   3.772280 | c 15 >  19.536500 | c 34 >  30.915200 | c 16 >  16.000000 | c 13 >   5.139330 | c 14 >   6.569860 | c 11 >  10.707400 | c 12 >   4.567380 | c 21 >   1.414210 | c 20 >  93.712900 | 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.673900 | c 1 >  10.707400 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.627000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.296500 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.12/8.27	c choco : 1801.0
8.12/8.27	c mistral : 59.302
8.12/8.27	c abscon : 28.8566
8.12/8.27	c
8.12/8.27	c
8.12/8.27	c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16c1.xml
8.12/8.27	c 19 >   8.754920 | c 35 >  28.691700 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   5.252950 | c 15 >  19.421200 | c 34 >  30.442700 | c 16 >  20.000000 | c 13 >   3.984800 | c 14 >   8.813780 | c 11 >  11.625700 | c 12 >   4.053800 | c 21 >   1.414210 | c 20 >  91.245100 | 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.041900 | c 1 >  11.625700 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.972700 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.649800 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.12/8.28	c choco : 1801.0
8.12/8.28	c mistral : 28.4047
8.12/8.28	c abscon : 99.5269
8.12/8.28	c
8.12/8.28	c
8.12/8.28	c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16c2.xml
8.12/8.28	c 19 >   6.274190 | c 35 >  27.913400 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   3.764510 | c 15 >  19.331400 | c 34 >  29.168200 | c 16 >  16.000000 | c 13 >   5.072050 | c 14 >   6.491850 | c 11 >  10.851700 | c 12 >   4.481130 | c 21 >   1.414210 | c 20 >  93.725800 | 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.687200 | c 1 >  10.851700 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.635800 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.206900 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.12/8.29	c choco : 1801.0
8.12/8.29	c mistral : 75.2366
8.12/8.29	c abscon : 1800.1
8.12/8.29	c
8.12/8.29	c
8.12/8.29	c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16d1.xml
8.12/8.29	c 19 >   7.179970 | c 35 >  29.332800 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   4.307980 | c 15 >  19.476000 | c 34 >  30.768800 | c 16 >  16.000000 | c 13 >   4.377040 | c 14 >   7.781360 | c 11 >  11.264400 | c 12 >   4.362010 | c 21 >   1.414210 | c 20 >  92.820000 | 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.015400 | c 1 >  11.264400 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.960800 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.626900 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.12/8.30	c choco : 1801.0
8.12/8.30	c mistral : 33.9608
8.12/8.30	c abscon : 55.5955
8.12/8.30	c
8.12/8.30	c
8.12/8.30	c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16b2.xml
8.12/8.30	c 19 >   6.256910 | c 35 >  25.583500 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   3.754140 | c 15 >  19.339800 | c 34 >  26.834900 | c 16 >  16.000000 | c 13 >   4.989890 | c 14 >   6.108520 | c 11 >  11.071500 | c 12 >   4.356670 | c 21 >   1.414210 | c 20 >  93.743100 | 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.709900 | c 1 >  11.071500 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.650800 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.037500 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.20/8.31	c choco : 1801.0
8.20/8.31	c mistral : 105.677
8.20/8.31	c abscon : 10.7104
8.20/8.31	c
8.20/8.31	c
8.20/8.31	c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16b1.xml
8.20/8.31	c 19 >   6.515840 | c 35 >  25.315200 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   3.909500 | c 15 >  19.382000 | c 34 >  26.618400 | c 16 >  16.000000 | c 13 >   4.704770 | c 14 >   7.139550 | c 11 >  11.754900 | c 12 >   4.281220 | c 21 >   1.414210 | c 20 >  93.484200 | 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.309800 | c 1 >  11.754900 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  15.247000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.610300 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.20/8.32	c choco : 1801.0
8.20/8.32	c mistral : 56.2854
8.20/8.32	c abscon : 132.43
8.20/8.32	c
8.20/8.32	c
8.20/8.32	c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32a1.xml
8.20/8.32	c 19 >   4.746150 | c 35 >  19.093200 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   2.847690 | c 15 >  19.726400 | c 34 >  20.042400 | c 16 >  32.000000 | c 13 >   4.856550 | c 14 >   7.276120 | c 11 >   9.842350 | c 12 >   5.211620 | c 21 >   1.414210 | c 20 >  95.253900 | 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.565700 | c 1 >   9.842350 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.538100 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.139100 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.20/8.33	c choco : 1801.0
8.20/8.33	c mistral : 171.472
8.20/8.33	c abscon : 613.015
8.20/8.33	c
8.20/8.33	c
8.20/8.33	c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-02-02.xml
8.20/8.33	c 19 >   0.000000 | c 35 >  20.035900 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  16.782200 | c 34 >  30.752100 | c 16 >  17.000000 | c 13 >   3.814870 | c 14 >   9.005620 | c 11 >  11.455800 | c 12 >   3.270540 | 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.013900 | c 1 >  11.455800 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.385500 | c 6 >  12.895800 | c 32 >  -1.000000 | c 5 >  16.512700 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  11.952000 | c
8.20/8.34	c choco : 13.2
8.20/8.34	c mistral : 0.068989
8.20/8.34	c abscon : 22.3216
8.20/8.34	c
8.20/8.34	c
8.20/8.34	c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e5.xml
8.20/8.34	c 19 >   4.293470 | c 35 >  18.659300 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   2.576080 | c 15 >  19.700800 | c 34 >  19.518000 | c 16 >  32.000000 | c 13 >   5.665320 | c 14 >   7.247930 | c 11 >  10.027900 | c 12 >   5.597150 | c 21 >   1.414210 | c 20 >  95.706500 | 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.227600 | c 1 >  10.027900 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  15.207900 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.956300 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.20/8.35	c choco : 1801.0
8.20/8.35	c mistral : 28.4527
8.20/8.35	c abscon : 1800.08
8.20/8.35	c
8.20/8.35	c
8.20/8.35	c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16a2.xml
8.20/8.35	c 19 >   6.438130 | c 35 >  22.572000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   3.862880 | c 15 >  18.387400 | c 34 >  23.859700 | c 16 >  16.000000 | c 13 >   4.792640 | c 14 >   6.686500 | c 11 >  11.645700 | c 12 >   4.049520 | c 21 >   1.414210 | c 20 >  93.561900 | 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.933100 | c 1 >  11.645700 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.857300 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  16.817200 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.20/8.35	c choco : 24.25
8.20/8.35	c mistral : 2.88
8.20/8.35	c abscon : 1800.1
8.20/8.35	c
8.20/8.35	c
8.20/8.35	c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/stein27.xml
8.20/8.35	c 19 >   0.000000 | c 35 >  29.745800 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  10.662700 | c 34 >  29.745800 | c 16 >  27.000000 | c 13 >   1.905440 | c 14 >   3.000000 | c 11 >   8.164910 | c 12 >   0.857461 | 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 >   8.022370 | c 1 >   4.754890 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >   8.022370 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  10.162400 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.20/8.36	c choco : 1.41
8.20/8.36	c mistral : 0.02
8.20/8.36	c abscon : 0.732888
8.20/8.36	c
8.20/8.36	c
8.20/8.36	c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-stein27.xml
8.20/8.36	c 19 >   0.000000 | c 35 >  29.745800 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  10.651900 | c 34 >  29.745800 | c 16 >  27.000000 | c 13 >   1.905080 | c 14 >   3.000000 | c 11 >   8.164910 | c 12 >   0.857461 | 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 >   8.022370 | c 1 >   4.754890 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >   8.022370 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  10.162400 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.20/8.37	c choco : 1.39
8.20/8.37	c mistral : 0.02
8.20/8.37	c abscon : 0.763883
8.20/8.37	c
8.20/8.37	c
8.20/8.37	c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e4.xml
8.20/8.37	c 19 >   5.164820 | c 35 >  18.205000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   3.098890 | c 15 >  19.645000 | c 34 >  19.238000 | c 16 >  32.000000 | c 13 >   5.455050 | c 14 >   7.266790 | c 11 >   9.596190 | c 12 >   5.548950 | c 21 >   1.414210 | c 20 >  94.835200 | 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.809200 | c 1 >   9.596190 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.789600 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.635700 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.20/8.37	c choco : 1801.0
8.20/8.37	c mistral : 38.2112
8.20/8.37	c abscon : 762.347
8.20/8.37	c
8.20/8.37	c
8.20/8.37	c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32b4.xml
8.20/8.37	c 19 >   5.219890 | c 35 >  18.138100 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   3.131940 | c 15 >  19.632900 | c 34 >  19.182100 | c 16 >  32.000000 | c 13 >   5.469140 | c 14 >   7.312880 | c 11 >   9.573650 | c 12 >   5.562700 | c 21 >   1.414210 | c 20 >  94.780100 | 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.808400 | c 1 >   9.573650 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.789100 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.646000 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.20/8.38	c choco : 1801.0
8.20/8.38	c mistral : 68.1926
8.20/8.38	c abscon : 1398.64
8.20/8.38	c
8.20/8.38	c
8.20/8.38	c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32d2.xml
8.20/8.38	c 19 >   7.270110 | c 35 >  19.226200 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   4.362070 | c 15 >  19.723200 | c 34 >  20.680200 | c 16 >  32.000000 | c 13 >   3.628800 | c 14 >   8.113740 | c 11 >   9.658210 | c 12 >   4.554740 | c 21 >   1.414210 | c 20 >  92.729900 | 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.687300 | c 1 >   9.658210 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.642400 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.214800 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.20/8.39	c choco : 1801.0
8.20/8.39	c mistral : 65.521
8.20/8.39	c abscon : 1800.05
8.20/8.39	c
8.20/8.39	c
8.20/8.39	c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16a1.xml
8.20/8.39	c 19 >   7.850410 | c 35 >  22.680600 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   4.710250 | c 15 >  19.168600 | c 34 >  24.250600 | c 16 >  16.000000 | c 13 >   3.711370 | c 14 >   8.554590 | c 11 >  11.688300 | c 12 >   3.859460 | c 21 >   1.414210 | c 20 >  92.149600 | 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.702000 | c 1 >  11.688300 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.609800 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  16.666000 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.20/8.40	c choco : 1801.0
8.20/8.40	c mistral : 17.7903
8.20/8.40	c abscon : 207.102
8.20/8.40	c
8.20/8.40	c
8.20/8.40	c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32c4.xml
8.20/8.40	c 19 >   3.510480 | c 35 >  17.836800 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   2.106290 | c 15 >  19.658400 | c 34 >  18.538900 | c 16 >  32.000000 | c 13 >   7.016210 | c 14 >   5.754890 | c 11 >  10.568000 | c 12 >   6.261040 | c 21 >   1.414210 | c 20 >  96.489500 | 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 >  16.532600 | c 1 >  10.568000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  16.521000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.412700 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.26/8.40	c choco : 1801.0
8.26/8.40	c mistral : 158.081
8.26/8.40	c abscon : 1800.11
8.26/8.40	c
8.26/8.40	c
8.26/8.40	c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e3.xml
8.26/8.40	c 19 >   6.168220 | c 35 >  18.358900 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   3.700930 | c 15 >  19.678100 | c 34 >  19.592500 | c 16 >  32.000000 | c 13 >   4.952670 | c 14 >   7.531380 | c 11 >   9.366320 | c 12 >   5.241470 | c 21 >   1.414210 | c 20 >  93.831800 | 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.233000 | c 1 >   9.366320 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.208100 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.031600 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.26/8.41	c choco : 1801.0
8.26/8.41	c mistral : 38.3842
8.26/8.41	c abscon : 864.371
8.26/8.41	c
8.26/8.41	c
8.26/8.41	c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32b3.xml
8.26/8.41	c 19 >   5.721800 | c 35 >  18.132200 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   3.433080 | c 15 >  19.664900 | c 34 >  19.276600 | c 16 >  32.000000 | c 13 >   5.224600 | c 14 >   7.276120 | c 11 >   9.442940 | c 12 >   5.434720 | c 21 >   1.414210 | c 20 >  94.278200 | 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.548000 | c 1 >   9.442940 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.526900 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.386700 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.26/8.41	c choco : 1801.0
8.26/8.41	c mistral : 34.6827
8.26/8.41	c abscon : 227.057
8.26/8.41	c
8.26/8.41	c
8.26/8.41	c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16e2.xml
8.26/8.41	c 19 >   6.365920 | c 35 >  40.277600 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   3.819550 | c 15 >  19.511600 | c 34 >  41.550800 | c 16 >  16.000000 | c 13 >   5.568540 | c 14 >   6.727920 | c 11 >  10.055300 | c 12 >   4.991330 | c 21 >   1.414210 | c 20 >  93.634100 | 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.627000 | c 1 >  10.055300 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.596400 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.569400 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.26/8.42	c choco : 1801.0
8.26/8.42	c mistral : 132.853
8.26/8.42	c abscon : 1800.05
8.26/8.42	c
8.26/8.42	c
8.26/8.42	c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16e1.xml
8.26/8.42	c 19 >   7.775900 | c 35 >  39.956900 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   4.665540 | c 15 >  19.728200 | c 34 >  41.512100 | c 16 >  16.000000 | c 13 >   4.729470 | c 14 >   8.523560 | c 11 >  11.281900 | c 12 >   4.688060 | c 21 >   1.414210 | c 20 >  92.224100 | 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.549700 | c 1 >  11.281900 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  15.511700 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.495900 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.26/8.42	c choco : 1801.0
8.26/8.42	c mistral : 395.649
8.26/8.42	c abscon : 140.834
8.26/8.42	c
8.26/8.42	c
8.26/8.42	c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32c3.xml
8.26/8.42	c 19 >   7.856940 | c 35 >  18.037200 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   4.714170 | c 15 >  19.685700 | c 34 >  19.608600 | c 16 >  32.000000 | c 13 >   4.633610 | c 14 >   7.483820 | c 11 >   9.124120 | c 12 >   5.041490 | c 21 >   1.414210 | c 20 >  92.143100 | 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.820800 | c 1 >   9.124120 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.792700 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.674800 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.26/8.43	c choco : 23.56
8.26/8.43	c mistral : 26.173
8.26/8.43	c abscon : 26.201
8.26/8.43	c
8.26/8.43	c
8.26/8.43	c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-02-08.xml
8.26/8.43	c 19 >   0.000000 | c 35 >  19.335500 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  17.449400 | c 34 >  29.596400 | c 16 >  17.000000 | c 13 >   3.811990 | c 14 >   9.011230 | c 11 >  11.455800 | c 12 >   3.267290 | c 21 >   2.828430 | c 20 > 100.000000 | c 22 >   2.828430 | 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.013900 | c 1 >  11.455800 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.385500 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.911400 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  13.512000 | c
8.26/8.43	c choco : 13.33
8.26/8.43	c mistral : 0.077987
8.26/8.43	c abscon : 26.9069
8.26/8.43	c
8.26/8.43	c
8.26/8.43	c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e2.xml
8.26/8.43	c 19 >   8.861600 | c 35 >  18.589400 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   5.316960 | c 15 >  19.203800 | c 34 >  20.361800 | c 16 >  32.000000 | c 13 >   3.100940 | c 14 >   7.800900 | c 11 >  13.295600 | c 12 >   1.642620 | c 21 >   1.414210 | c 20 >  91.138400 | 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.256800 | c 1 >   9.060700 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.216900 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.005100 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.26/8.44	c choco : 1801.0
8.26/8.44	c mistral : 1.61175
8.26/8.44	c abscon : 1784.44
8.26/8.44	c
8.26/8.44	c
8.26/8.44	c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32b2.xml
8.26/8.44	c 19 >   9.258600 | c 35 >  18.442700 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   5.555160 | c 15 >  19.224400 | c 34 >  20.294400 | c 16 >  32.000000 | c 13 >   2.783920 | c 14 >   7.700440 | c 11 >  13.292500 | c 12 >   1.612590 | c 21 >   1.414210 | c 20 >  90.741400 | 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.254400 | c 1 >   9.027910 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.215400 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.036800 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.26/8.44	c choco : 37.65
8.26/8.44	c mistral : 4.67629
8.26/8.44	c abscon : 13.5079
8.26/8.44	c
8.26/8.44	c
8.26/8.44	c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-stein45.xml
8.26/8.44	c 19 >   0.000000 | c 35 >  29.879200 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  12.144700 | c 34 >  29.879200 | c 16 >  45.000000 | c 13 >   2.372830 | c 14 >   3.584960 | c 11 >   9.546890 | c 12 >   0.910486 | c 21 >   1.414210 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   9.457380 | c 1 >   5.491850 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >   9.457380 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  11.608300 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.26/8.45	c choco : 1.83
8.26/8.45	c mistral : 0.05
8.26/8.45	c abscon : 0.839872
8.26/8.45	c
8.26/8.45	c
8.26/8.45	c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/stein45.xml
8.26/8.45	c 19 >   0.000000 | c 35 >  29.879200 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  12.135400 | c 34 >  29.879200 | c 16 >  45.000000 | c 13 >   2.373190 | c 14 >   3.584960 | c 11 >   9.546890 | c 12 >   0.910486 | c 21 >   1.414210 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   9.457380 | c 1 >   5.491850 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >   9.457380 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  11.608300 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.26/8.46	c choco : 1.85
8.26/8.46	c mistral : 0.05
8.26/8.46	c abscon : 0.831872
8.26/8.46	c
8.26/8.46	c
8.26/8.46	c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32d1.xml
8.26/8.46	c 19 >  10.939000 | c 35 >  19.308100 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   6.563430 | c 15 >  19.426200 | c 34 >  21.495900 | c 16 >  32.000000 | c 13 >   2.401190 | c 14 >   7.707360 | c 11 >  12.798700 | c 12 >   1.614890 | c 21 >   1.414210 | c 20 >  89.061000 | 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.729800 | c 1 >   9.375040 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  12.657500 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  16.208500 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.26/8.46	c choco : 5.88
8.26/8.46	c mistral : 5.9101
8.26/8.46	c abscon : 1.74073
8.26/8.46	c
8.26/8.46	c
8.26/8.46	c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32c2.xml
8.26/8.46	c 19 >  10.242700 | c 35 >  18.079000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   6.145620 | c 15 >  19.372300 | c 34 >  20.127500 | c 16 >  32.000000 | c 13 >   2.722930 | c 14 >   7.531380 | c 11 >  13.286100 | c 12 >   1.582940 | c 21 >   1.414210 | c 20 >  89.757300 | 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.249700 | c 1 >   8.960000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.212300 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.098200 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.26/8.47	c choco : 1801.0
8.26/8.47	c mistral : 2.04969
8.26/8.47	c abscon : 35.6686
8.26/8.47	c
8.26/8.47	c
8.26/8.47	c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-02-16.xml
8.26/8.47	c 19 >   0.000000 | c 35 >  17.110300 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  17.449300 | c 34 >  25.470900 | c 16 >  17.000000 | c 13 >   3.811990 | c 14 >   9.011230 | c 11 >  11.455800 | c 12 >   3.267290 | c 21 >   4.000000 | c 20 > 100.000000 | c 22 >   4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.013900 | c 1 >  11.455800 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.385500 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.968100 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  13.512000 | c
8.26/8.47	c choco : 13.37
8.26/8.47	c mistral : 0.077987
8.26/8.47	c abscon : 26.506
8.26/8.47	c
8.26/8.47	c
8.26/8.47	c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-stein15.xml
8.26/8.47	c 19 >   0.000000 | c 35 >  33.333300 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >   8.980140 | c 34 >  33.333300 | c 16 >  15.000000 | c 13 >   1.312730 | c 14 >   2.584960 | c 11 >   6.629360 | c 12 >   0.762961 | c 21 >   1.414210 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >   6.392320 | c 1 >   3.906890 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >   6.392320 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >   8.515700 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.26/8.48	c choco : 1.18
8.26/8.48	c mistral : 0.01
8.26/8.48	c abscon : 0.696893
8.26/8.48	c
8.26/8.48	c
8.26/8.48	c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32b1.xml
8.26/8.48	c 19 >  14.232200 | c 35 >  18.651700 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   8.539330 | c 15 >  19.731000 | c 34 >  21.498100 | c 16 >  32.000000 | c 13 >   2.394650 | c 14 >   7.266790 | c 11 >  12.361400 | c 12 >   1.646680 | c 21 >   1.414210 | c 20 >  85.767800 | 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.297500 | c 1 >   8.832890 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  12.230600 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  16.031400 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.26/8.49	c choco : 4.72
8.26/8.49	c mistral : 0.34
8.26/8.49	c abscon : 1.3318
8.26/8.49	c
8.26/8.49	c
8.26/8.49	c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-8e2.xml
8.26/8.49	c 19 >  12.444600 | c 35 >  23.301400 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   7.466740 | c 15 >  18.879300 | c 34 >  25.790300 | c 16 >  10.000000 | c 13 >   3.282830 | c 14 >   8.247930 | c 11 >  13.311900 | c 12 >   1.682290 | c 21 >   1.414210 | c 20 >  87.555400 | 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.182900 | c 1 >  10.764900 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.041100 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  14.933500 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.26/8.49	c choco : 15.93
8.26/8.49	c mistral : 0.815875
8.26/8.49	c abscon : 11.3283
8.26/8.49	c
8.26/8.49	c
8.26/8.49	c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-8a4.xml
8.26/8.49	c 19 >  12.398200 | c 35 >  26.261700 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   7.438950 | c 15 >  18.898000 | c 34 >  28.741400 | c 16 >   8.000000 | c 13 >   4.452910 | c 14 >   8.285400 | c 11 >  12.448600 | c 12 >   1.839660 | c 21 >   1.414210 | c 20 >  87.601800 | 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.342600 | c 1 >   9.629360 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  12.228200 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  14.286300 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.32/8.50	c choco : 5.29
8.32/8.50	c mistral : 0.296953
8.32/8.50	c abscon : 1.60376
8.32/8.50	c
8.32/8.50	c
8.32/8.50	c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-8d2.xml
8.32/8.50	c 19 >  12.438100 | c 35 >  22.669500 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   7.462890 | c 15 >  15.577800 | c 34 >  25.157100 | c 16 >  10.000000 | c 13 >   2.448500 | c 14 >   6.321930 | c 11 >  13.344700 | c 12 >   0.792920 | c 21 >   1.414210 | c 20 >  87.561900 | 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.209600 | c 1 >  10.861100 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.060500 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  14.892000 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.32/8.50	c choco : 8.3
8.32/8.50	c mistral : 0.75
8.32/8.50	c abscon : 19.783
8.32/8.50	c
8.32/8.50	c
8.32/8.51	c Length: 40
8.32/8.51	c 4.458682702020857  4.975081915235164  8.125428745333997  10.822672646264415  14.817734366481265  18.662135924906877  18.690102530521337  18.959108564718964  19.241242617416894  19.88327104736542  20.00347219224952  21.068535766170367  21.165932339445856  21.377355065124398  21.76357862834603  21.83234487093269  21.837107075492877  22.288175576275865  22.3860851394164  22.398175724091907  22.497474803735194  22.587349769368693  22.62480627808777  22.651042879145763  23.408326759123558  24.001673781742802  24.08293166753998  24.180907872455904  24.49887626913732  25.00046368013801  25.57163511175451  25.574497209437293  25.772208886096667  26.168785493904753  26.17201694744981  28.313519197703787  29.741952039008805  30.060759364829757  30.406344911937378  31.01510867709317  
8.32/8.51	c 
8.32/8.51	c 1.0  0.9809255513740128  0.8786776569619306  0.8066856153992417  0.7193845961953119  0.6515334809039995  0.6510867502776064  0.6468208054530284  0.6424063242730758  0.6325818088239228  0.6307757550838317  0.6152123038203633  0.6138273181625169  0.6108422290042963  0.605463420249224  0.6045156542375159  0.604450129325459  0.5983074511811032  0.5969905676470311  0.596828351309639  0.5954994082402716  0.5943016824394199  0.593803936528834  0.5934557841356857  0.5835798599240853  0.5760685854987508  0.5750549555465679  0.5738375107687286  0.569921729000706  0.5638521653587902  0.5570961249105957  0.5570626785377788  0.5547619075695542  0.5502037675693209  0.5501669337854551  0.5267954951629771  0.5122797465380566  0.5091485497473839  0.5057972987075875  0.5  
8.32/8.52	c
8.32/8.52	c solver 0
8.32/8.52	c	  before 0.0 seconds: {} 0
8.32/8.52	c	  before 18.0 seconds: {2, 9, 15, 16, 29, 30, 31, 32, 35, 36, 37, 38} 7007
8.32/8.52	c	  before 36.0 seconds: {2, 3, 5, 9, 12, 15, 16, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 11828
8.32/8.52	c	  before 54.0 seconds: {0, 2, 3, 5, 9, 12, 15, 16, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 12828
8.32/8.52	c	  before 72.0 seconds: {0, 2, 3, 5, 8, 9, 12, 15, 16, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 13470
8.32/8.52	c	  before 108.0 seconds: {0, 2, 3, 5, 6, 8, 9, 12, 15, 16, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 14121
8.32/8.52	c	  before 144.0 seconds: {0, 2, 3, 5, 6, 8, 9, 10, 12, 15, 16, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15328
8.32/8.52	c	  before 216.0 seconds: {0, 2, 3, 5, 6, 8, 9, 10, 12, 15, 16, 20, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15924
8.32/8.52	c	  before 234.0 seconds: {0, 2, 3, 5, 6, 8, 9, 10, 12, 15, 16, 20, 23, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16517
8.32/8.52	c	  before 252.0 seconds: {0, 1, 2, 3, 5, 6, 8, 9, 10, 12, 15, 16, 20, 23, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17498
8.32/8.52	c	  before 630.0 seconds: {0, 1, 2, 3, 5, 6, 8, 9, 10, 11, 12, 15, 16, 20, 23, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18113
8.32/8.52	c	  before 774.0 seconds: {0, 1, 2, 3, 5, 6, 8, 9, 10, 11, 12, 15, 16, 17, 20, 23, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18712
8.32/8.52	c	  before 882.0 seconds: {0, 1, 2, 3, 5, 6, 8, 9, 10, 11, 12, 15, 16, 17, 20, 22, 23, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19305
8.32/8.52	c	  before 1404.0 seconds: {0, 1, 2, 3, 5, 6, 8, 9, 10, 11, 12, 15, 16, 17, 18, 20, 22, 23, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19902
8.32/8.52	c	  before 1584.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 15, 16, 17, 18, 20, 22, 23, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20622
8.32/8.52	c	  before 1800.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 15, 16, 17, 18, 20, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21192
8.32/8.52	c
8.32/8.52	c solver 1
8.32/8.52	c	  before 0.0 seconds: {} 0
8.32/8.52	c	  before 18.0 seconds: {0, 2, 3, 12, 14, 15, 16, 20, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 12740
8.32/8.53	c	  before 36.0 seconds: {0, 2, 3, 6, 8, 12, 13, 14, 15, 16, 20, 23, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15812
8.32/8.53	c	  before 54.0 seconds: {0, 2, 3, 6, 8, 12, 13, 14, 15, 16, 17, 20, 22, 23, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17005
8.32/8.53	c	  before 72.0 seconds: {0, 2, 3, 5, 6, 8, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 23, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19481
8.32/8.53	c	  before 90.0 seconds: {0, 2, 3, 5, 6, 7, 8, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 23, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20127
8.32/8.53	c	  before 108.0 seconds: {0, 2, 3, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 23, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20760
8.32/8.53	c	  before 144.0 seconds: {0, 2, 3, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21344
8.32/8.53	c	  before 162.0 seconds: {0, 2, 3, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21938
8.32/8.53	c	  before 180.0 seconds: {0, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22553
8.32/8.53	c	  before 396.0 seconds: {0, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23129
8.32/8.53	c	  before 720.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23849
8.32/8.53	c	  before 972.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24830
8.32/8.53	c
8.32/8.53	c solver 2
8.32/8.53	c	  before 0.0 seconds: {} 0
8.32/8.53	c	  before 18.0 seconds: {2, 3, 12, 15, 16, 27, 30, 31, 32, 34, 35, 36, 37, 38, 39} 8855
8.32/8.53	c	  before 36.0 seconds: {0, 2, 3, 12, 14, 15, 16, 26, 27, 30, 31, 32, 34, 35, 36, 37, 38, 39} 11035
8.32/8.53	c	  before 54.0 seconds: {0, 2, 3, 12, 14, 15, 16, 26, 27, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 11599
8.32/8.53	c
8.32/8.53	cTotal time: 157
8.32/8.53	c	  run abscon for 1584.0 seconds {0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 15, 16, 17, 18, 20, 22, 23, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20622
8.32/8.53	c	  run mistral for 180.0 seconds {0, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22553
8.32/8.53	c	  run choco for 36.0 seconds {0, 2, 3, 12, 14, 15, 16, 26, 27, 30, 31, 32, 34, 35, 36, 37, 38, 39} 11035
8.32/8.53	c Starting solver: HOME/cpHydra_k_40/solver/abscon
8.32/8.53	c On Instance: HOME/instance-1093452-1215249764.xml
8.32/8.53	c Running for: 1584 seconds
1593.21/1617.28	c Starting solver: HOME/cpHydra_k_40/solver/mistral
1593.21/1617.28	c On Instance: HOME/instance-1093452-1215249764.xml
1593.21/1617.28	c Running for: 180 seconds
1773.18/1798.19	c Starting solver: HOME/cpHydra_k_40/solver/choco
1773.18/1798.19	c On Instance: HOME/instance-1093452-1215249764.xml
1773.18/1798.19	c Running for: 36 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-1093452-1215249764/watcher-1093452-1215249764 -o /tmp/evaluation-result-1093452-1215249764/solver-1093452-1215249764 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1093452-1215249764.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.00 2.00 1.98 4/74 6950
/proc/meminfo: memFree=1707096/2055924 swapFree=4177320/4192956
[pid=6950] ppid=6948 vsize=5360 CPUtime=0
/proc/6950/stat : 6950 (hydra) S 6948 6950 5579 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 680706010 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6950/statm: 1340 236 195 169 0 51 0
[pid=6951] ppid=6950 vsize=5360 CPUtime=0
/proc/6951/stat : 6951 (hydra) R 6950 6950 5579 0 -1 4194368 22 0 0 0 0 0 0 0 18 0 1 0 680706010 5488640 239 996147200 4194304 4889804 548682068816 18446744073709551615 230266826023 0 0 4096 0 0 0 0 17 1 0 0
/proc/6951/statm: 1340 239 198 169 0 51 0

[startup+0.0321241 s]
/proc/loadavg: 2.00 2.00 1.98 4/74 6950
/proc/meminfo: memFree=1707096/2055924 swapFree=4177320/4192956
[pid=6950] ppid=6948 vsize=5360 CPUtime=0
/proc/6950/stat : 6950 (hydra) S 6948 6950 5579 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 680706010 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6950/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.101137 s]
/proc/loadavg: 2.00 2.00 1.98 4/74 6950
/proc/meminfo: memFree=1707096/2055924 swapFree=4177320/4192956
[pid=6950] ppid=6948 vsize=5360 CPUtime=0
/proc/6950/stat : 6950 (hydra) S 6948 6950 5579 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 680706010 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6950/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.301171 s]
/proc/loadavg: 2.00 2.00 1.98 4/74 6950
/proc/meminfo: memFree=1707096/2055924 swapFree=4177320/4192956
[pid=6950] ppid=6948 vsize=5360 CPUtime=0
/proc/6950/stat : 6950 (hydra) S 6948 6950 5579 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 680706010 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6950/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.701247 s]
/proc/loadavg: 2.00 2.00 1.98 4/74 6950
/proc/meminfo: memFree=1707096/2055924 swapFree=4177320/4192956
[pid=6950] ppid=6948 vsize=5360 CPUtime=0
/proc/6950/stat : 6950 (hydra) S 6948 6950 5579 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 680706010 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6950/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+1.5024 s]
/proc/loadavg: 2.00 2.00 1.98 3/76 6954
/proc/meminfo: memFree=1650120/2055924 swapFree=4177320/4192956
[pid=6950] ppid=6948 vsize=5360 CPUtime=0
/proc/6950/stat : 6950 (hydra) S 6948 6950 5579 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 680706010 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6950/statm: 1340 236 195 169 0 51 0
[pid=6954] ppid=6950 vsize=63232 CPUtime=1.48
/proc/6954/stat : 6954 (xsolve) R 6950 6950 5579 0 -1 4194304 15337 0 0 0 141 7 0 0 25 0 1 0 680706011 64749568 14867 996147200 134512640 135239763 4294956176 18446744073709551615 134821584 0 0 4096 0 0 0 0 17 0 0 0
/proc/6954/statm: 15808 14867 430 177 0 14711 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 68592

[startup+3.10169 s]
/proc/loadavg: 2.00 2.00 1.98 3/76 6954
/proc/meminfo: memFree=1648520/2055924 swapFree=4177320/4192956
[pid=6950] ppid=6948 vsize=5360 CPUtime=2.68
/proc/6950/stat : 6950 (hydra) S 6948 6950 5579 0 -1 4194304 375 16111 0 0 0 0 259 9 20 0 1 0 680706010 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6950/statm: 1340 238 196 169 0 51 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 5360

[startup+6.30229 s]
/proc/loadavg: 2.00 2.00 1.98 4/84 6966
/proc/meminfo: memFree=1689736/2055924 swapFree=4177320/4192956
[pid=6950] ppid=6948 vsize=5360 CPUtime=2.68
/proc/6950/stat : 6950 (hydra) S 6948 6950 5579 0 -1 4194304 375 16111 0 0 0 0 259 9 20 0 1 0 680706010 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6950/statm: 1340 238 196 169 0 51 0
[pid=6958] ppid=6950 vsize=197024 CPUtime=3.56
/proc/6958/stat : 6958 (java) S 6950 6950 5579 0 -1 0 9013 0 1 0 344 12 0 0 21 0 9 0 680706282 201752576 7461 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6958/statm: 49256 7461 2541 9 0 43838 0
[pid=6958/tid=6959] ppid=6950 vsize=197024 CPUtime=2.74
/proc/6958/task/6959/stat : 6959 (java) R 6950 6950 5579 0 -1 64 3393 0 1 0 270 4 0 0 25 0 9 0 680706283 201752576 7461 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6958/tid=6960] ppid=6950 vsize=197024 CPUtime=0.63
/proc/6958/task/6960/stat : 6960 (java) S 6950 6950 5579 0 -1 64 4264 0 0 0 57 6 0 0 15 0 9 0 680706284 201752576 7461 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6958/tid=6961] ppid=6950 vsize=197024 CPUtime=0
/proc/6958/task/6961/stat : 6961 (java) S 6950 6950 5579 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 680706284 201752576 7461 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6958/tid=6962] ppid=6950 vsize=197024 CPUtime=0
/proc/6958/task/6962/stat : 6962 (java) S 6950 6950 5579 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 680706284 201752576 7461 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6958/tid=6963] ppid=6950 vsize=197024 CPUtime=0
/proc/6958/task/6963/stat : 6963 (java) S 6950 6950 5579 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 680706286 201752576 7461 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6958/tid=6964] ppid=6950 vsize=197024 CPUtime=0.16
/proc/6958/task/6964/stat : 6964 (java) S 6950 6950 5579 0 -1 64 632 0 0 0 16 0 0 0 16 0 9 0 680706286 201752576 7461 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6958/tid=6965] ppid=6950 vsize=197024 CPUtime=0
/proc/6958/task/6965/stat : 6965 (java) S 6950 6950 5579 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 680706286 201752576 7461 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6958/tid=6966] ppid=6950 vsize=197024 CPUtime=0
/proc/6958/task/6966/stat : 6966 (java) S 6950 6950 5579 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 680706286 201752576 7461 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 202384

[startup+12.7025 s]
/proc/loadavg: 2.15 2.03 1.99 4/96 6978
/proc/meminfo: memFree=1605792/2055924 swapFree=4177320/4192956
[pid=6950] ppid=6948 vsize=5360 CPUtime=2.68
/proc/6950/stat : 6950 (hydra) S 6948 6950 5579 0 -1 4194304 375 16111 0 0 0 0 259 9 20 0 1 0 680706010 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6950/statm: 1340 238 196 169 0 51 0
[pid=6958] ppid=6950 vsize=197348 CPUtime=5.68
/proc/6958/stat : 6958 (java) S 6950 6950 5579 0 -1 0 11429 0 1 0 548 20 0 0 21 0 10 0 680706282 202084352 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6958/statm: 49337 9390 2544 9 0 43919 0
[pid=6968] ppid=6958 vsize=5356 CPUtime=0
/proc/6968/stat : 6968 (abscon) S 6958 6950 5579 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 680706864 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 230266823492 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/6968/statm: 1339 237 196 169 0 50 0
[pid=6969] ppid=6968 vsize=655804 CPUtime=4.08
/proc/6969/stat : 6969 (java) S 6968 6950 5579 0 -1 0 24699 0 1 0 333 75 0 0 19 0 9 0 680706864 671543296 23990 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6969/statm: 163951 23990 2615 9 0 158479 0
[pid=6969/tid=6971] ppid=6968 vsize=655804 CPUtime=3.14
/proc/6969/task/6971/stat : 6971 (java) R 6968 6950 5579 0 -1 64 12509 0 1 0 245 69 0 0 25 0 9 0 680706865 671543296 23990 996147200 134512640 134550740 4294955808 18446744073709551615 4126520613 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6969/tid=6972] ppid=6968 vsize=655804 CPUtime=0.63
/proc/6969/task/6972/stat : 6972 (java) S 6968 6950 5579 0 -1 64 10966 0 0 0 59 4 0 0 16 0 9 0 680706867 671543296 23990 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6969/tid=6973] ppid=6968 vsize=655804 CPUtime=0
/proc/6969/task/6973/stat : 6973 (java) S 6968 6950 5579 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 680706867 671543296 23990 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6969/tid=6974] ppid=6968 vsize=655804 CPUtime=0
/proc/6969/task/6974/stat : 6974 (java) S 6968 6950 5579 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 680706867 671543296 23990 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6969/tid=6975] ppid=6968 vsize=655804 CPUtime=0
/proc/6969/task/6975/stat : 6975 (java) S 6968 6950 5579 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 680706869 671543296 23990 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6969/tid=6976] ppid=6968 vsize=655804 CPUtime=0.27
/proc/6969/task/6976/stat : 6976 (java) S 6968 6950 5579 0 -1 64 678 0 0 0 27 0 0 0 15 0 9 0 680706869 671543296 23990 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6969/tid=6977] ppid=6968 vsize=655804 CPUtime=0
/proc/6969/task/6977/stat : 6977 (java) S 6968 6950 5579 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 680706869 671543296 23990 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6969/tid=6978] ppid=6968 vsize=655804 CPUtime=0
/proc/6969/task/6978/stat : 6978 (java) S 6968 6950 5579 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 680706869 671543296 23990 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6970] ppid=6968 vsize=7044 CPUtime=0
/proc/6970/stat : 6970 (translate) S 6968 6950 5579 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 680706864 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 230266994770 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/6970/statm: 1761 213 182 1 0 41 0
[pid=6958/tid=6959] ppid=6950 vsize=197348 CPUtime=4.53
/proc/6958/task/6959/stat : 6959 (java) S 6950 6950 5579 0 -1 64 3858 0 1 0 445 8 0 0 25 0 10 0 680706283 202084352 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=6958/tid=6960] ppid=6950 vsize=197348 CPUtime=0.89
/proc/6958/task/6960/stat : 6960 (java) S 6950 6950 5579 0 -1 64 6101 0 0 0 79 10 0 0 16 0 10 0 680706284 202084352 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6958/tid=6961] ppid=6950 vsize=197348 CPUtime=0
/proc/6958/task/6961/stat : 6961 (java) S 6950 6950 5579 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 680706284 202084352 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6958/tid=6962] ppid=6950 vsize=197348 CPUtime=0
/proc/6958/task/6962/stat : 6962 (java) S 6950 6950 5579 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 680706284 202084352 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6958/tid=6963] ppid=6950 vsize=197348 CPUtime=0
/proc/6958/task/6963/stat : 6963 (java) S 6950 6950 5579 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 680706286 202084352 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6958/tid=6964] ppid=6950 vsize=197348 CPUtime=0.22
/proc/6958/task/6964/stat : 6964 (java) S 6950 6950 5579 0 -1 64 672 0 0 0 22 0 0 0 16 0 10 0 680706286 202084352 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6958/tid=6965] ppid=6950 vsize=197348 CPUtime=0
/proc/6958/task/6965/stat : 6965 (java) S 6950 6950 5579 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 680706286 202084352 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6958/tid=6966] ppid=6950 vsize=197348 CPUtime=0
/proc/6958/task/6966/stat : 6966 (java) S 6950 6950 5579 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 680706286 202084352 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6958/tid=6967] ppid=6950 vsize=197348 CPUtime=0
/proc/6958/task/6967/stat : 6967 (java) S 6950 6950 5579 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 680706864 202084352 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 870912

[startup+25.5028 s]
/proc/loadavg: 2.13 2.03 1.99 3/96 6978
/proc/meminfo: memFree=1587808/2055924 swapFree=4177320/4192956
[pid=6950] ppid=6948 vsize=5360 CPUtime=2.68
/proc/6950/stat : 6950 (hydra) S 6948 6950 5579 0 -1 4194304 375 16111 0 0 0 0 259 9 20 0 1 0 680706010 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6950/statm: 1340 238 196 169 0 51 0
[pid=6958] ppid=6950 vsize=197348 CPUtime=5.68
/proc/6958/stat : 6958 (java) S 6950 6950 5579 0 -1 0 11456 0 1 0 548 20 0 0 21 0 10 0 680706282 202084352 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6958/statm: 49337 9390 2544 9 0 43919 0
[pid=6968] ppid=6958 vsize=5356 CPUtime=0
/proc/6968/stat : 6968 (abscon) S 6958 6950 5579 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 680706864 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 230266823492 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/6968/statm: 1339 237 196 169 0 50 0
[pid=6969] ppid=6968 vsize=655804 CPUtime=16.69
/proc/6969/stat : 6969 (java) S 6968 6950 5579 0 -1 0 25790 0 1 0 1593 76 0 0 19 0 9 0 680706864 671543296 25071 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6969/statm: 163951 25071 2616 9 0 158479 0
[pid=6969/tid=6971] ppid=6968 vsize=655804 CPUtime=15.57
/proc/6969/task/6971/stat : 6971 (java) R 6968 6950 5579 0 -1 64 12549 0 1 0 1488 69 0 0 25 0 9 0 680706865 671543296 25071 996147200 134512640 134550740 4294955808 18446744073709551615 4127256423 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6969/tid=6972] ppid=6968 vsize=655804 CPUtime=0.74
/proc/6969/task/6972/stat : 6972 (java) S 6968 6950 5579 0 -1 64 11961 0 0 0 69 5 0 0 16 0 9 0 680706867 671543296 25071 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6969/tid=6973] ppid=6968 vsize=655804 CPUtime=0
/proc/6969/task/6973/stat : 6973 (java) S 6968 6950 5579 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 680706867 671543296 25071 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6969/tid=6974] ppid=6968 vsize=655804 CPUtime=0
/proc/6969/task/6974/stat : 6974 (java) S 6968 6950 5579 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 680706867 671543296 25071 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6969/tid=6975] ppid=6968 vsize=655804 CPUtime=0
/proc/6969/task/6975/stat : 6975 (java) S 6968 6950 5579 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 680706869 671543296 25071 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6969/tid=6976] ppid=6968 vsize=655804 CPUtime=0.36
/proc/6969/task/6976/stat : 6976 (java) S 6968 6950 5579 0 -1 64 729 0 0 0 35 1 0 0 17 0 9 0 680706869 671543296 25071 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6969/tid=6977] ppid=6968 vsize=655804 CPUtime=0
/proc/6969/task/6977/stat : 6977 (java) S 6968 6950 5579 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 680706869 671543296 25071 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6969/tid=6978] ppid=6968 vsize=655804 CPUtime=0
/proc/6969/task/6978/stat : 6978 (java) S 6968 6950 5579 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 680706869 671543296 25071 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6970] ppid=6968 vsize=7044 CPUtime=0
/proc/6970/stat : 6970 (translate) S 6968 6950 5579 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 680706864 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 230266994770 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/6970/statm: 1761 213 182 1 0 41 0
[pid=6958/tid=6959] ppid=6950 vsize=197348 CPUtime=4.53
/proc/6958/task/6959/stat : 6959 (java) S 6950 6950 5579 0 -1 64 3858 0 1 0 445 8 0 0 25 0 10 0 680706283 202084352 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=6958/tid=6960] ppid=6950 vsize=197348 CPUtime=0.89

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

[pid=7021] ppid=7020 vsize=63748 CPUtime=44.77
/proc/7021/stat : 7021 (xsolve) R 7020 6950 5579 0 -1 4194304 15527 0 0 0 4469 8 0 0 25 0 1 0 680867739 65277952 14934 996147200 134512640 135239763 4294955952 18446744073709551615 135030867 0 4 0 0 0 0 0 17 0 0 0
/proc/7021/statm: 15937 14934 412 177 0 14840 0
[pid=6958/tid=6959] ppid=6950 vsize=197672 CPUtime=1589.47
/proc/6958/task/6959/stat : 6959 (java) S 6950 6950 5579 0 -1 64 3935 26392 1 1 445 8 158415 79 16 0 10 0 680706283 202416128 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=6958/tid=6960] ppid=6950 vsize=197672 CPUtime=1585.83
/proc/6958/task/6960/stat : 6960 (java) S 6950 6950 5579 0 -1 64 6125 26392 0 1 79 10 158415 79 16 0 10 0 680706284 202416128 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6958/tid=6961] ppid=6950 vsize=197672 CPUtime=1584.94
/proc/6958/task/6961/stat : 6961 (java) S 6950 6950 5579 0 -1 64 11 26392 0 1 0 0 158415 79 16 0 10 0 680706284 202416128 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6958/tid=6962] ppid=6950 vsize=197672 CPUtime=1584.94
/proc/6958/task/6962/stat : 6962 (java) S 6950 6950 5579 0 -1 64 5 26392 0 1 0 0 158415 79 16 0 10 0 680706284 202416128 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6958/tid=6963] ppid=6950 vsize=197672 CPUtime=1584.94
/proc/6958/task/6963/stat : 6963 (java) S 6950 6950 5579 0 -1 64 1 26392 0 1 0 0 158415 79 25 0 10 0 680706286 202416128 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6958/tid=6964] ppid=6950 vsize=197672 CPUtime=1585.16
/proc/6958/task/6964/stat : 6964 (java) S 6950 6950 5579 0 -1 64 703 26392 0 1 22 0 158415 79 16 0 10 0 680706286 202416128 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6958/tid=6965] ppid=6950 vsize=197672 CPUtime=1584.94
/proc/6958/task/6965/stat : 6965 (java) S 6950 6950 5579 0 -1 64 0 26392 0 1 0 0 158415 79 25 0 10 0 680706286 202416128 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6958/tid=6966] ppid=6950 vsize=197672 CPUtime=1584.94
/proc/6958/task/6966/stat : 6966 (java) S 6950 6950 5579 0 -1 64 37 26392 0 1 0 0 158415 79 15 0 10 0 680706286 202416128 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6958/tid=7019] ppid=6950 vsize=197672 CPUtime=1584.94
/proc/6958/task/7019/stat : 7019 (java) S 6950 6950 5579 0 -1 64 49 26392 0 1 0 0 158415 79 17 0 10 0 680867738 202416128 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1638.07
Current children cumulated vsize (KiB) 272136

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 7022
/proc/meminfo: memFree=1721688/2055924 swapFree=4177320/4192956
[pid=6950] ppid=6948 vsize=5360 CPUtime=2.68
/proc/6950/stat : 6950 (hydra) S 6948 6950 5579 0 -1 4194304 375 16111 0 0 0 0 259 9 20 0 1 0 680706010 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6950/statm: 1340 238 196 169 0 51 0
[pid=6958] ppid=6950 vsize=197672 CPUtime=1590.62
/proc/6958/stat : 6958 (java) S 6950 6950 5579 0 -1 0 11648 26392 1 1 548 20 158415 79 21 0 10 0 680706282 202416128 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6958/statm: 49418 9396 2545 9 0 44000 0
[pid=7020] ppid=6958 vsize=5356 CPUtime=0
/proc/7020/stat : 7020 (mistral) S 6958 6950 5579 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 680867738 5484544 238 996147200 4194304 4889804 548682068576 18446744073709551615 230266823492 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/7020/statm: 1339 238 198 169 0 50 0
[pid=7021] ppid=7020 vsize=63748 CPUtime=104.47
/proc/7021/stat : 7021 (xsolve) R 7020 6950 5579 0 -1 4194304 15528 0 0 0 10438 9 0 0 25 0 1 0 680867739 65277952 14935 996147200 134512640 135239763 4294955952 18446744073709551615 134821040 0 4 0 0 0 0 0 17 0 0 0
/proc/7021/statm: 15937 14935 412 177 0 14840 0
[pid=6958/tid=6959] ppid=6950 vsize=197672 CPUtime=1589.47
/proc/6958/task/6959/stat : 6959 (java) S 6950 6950 5579 0 -1 64 3935 26392 1 1 445 8 158415 79 16 0 10 0 680706283 202416128 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=6958/tid=6960] ppid=6950 vsize=197672 CPUtime=1585.83
/proc/6958/task/6960/stat : 6960 (java) S 6950 6950 5579 0 -1 64 6125 26392 0 1 79 10 158415 79 16 0 10 0 680706284 202416128 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6958/tid=6961] ppid=6950 vsize=197672 CPUtime=1584.94
/proc/6958/task/6961/stat : 6961 (java) S 6950 6950 5579 0 -1 64 11 26392 0 1 0 0 158415 79 16 0 10 0 680706284 202416128 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6958/tid=6962] ppid=6950 vsize=197672 CPUtime=1584.94
/proc/6958/task/6962/stat : 6962 (java) S 6950 6950 5579 0 -1 64 5 26392 0 1 0 0 158415 79 16 0 10 0 680706284 202416128 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6958/tid=6963] ppid=6950 vsize=197672 CPUtime=1584.94
/proc/6958/task/6963/stat : 6963 (java) S 6950 6950 5579 0 -1 64 1 26392 0 1 0 0 158415 79 25 0 10 0 680706286 202416128 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6958/tid=6964] ppid=6950 vsize=197672 CPUtime=1585.16
/proc/6958/task/6964/stat : 6964 (java) S 6950 6950 5579 0 -1 64 703 26392 0 1 22 0 158415 79 16 0 10 0 680706286 202416128 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6958/tid=6965] ppid=6950 vsize=197672 CPUtime=1584.94
/proc/6958/task/6965/stat : 6965 (java) S 6950 6950 5579 0 -1 64 0 26392 0 1 0 0 158415 79 25 0 10 0 680706286 202416128 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6958/tid=6966] ppid=6950 vsize=197672 CPUtime=1584.94
/proc/6958/task/6966/stat : 6966 (java) S 6950 6950 5579 0 -1 64 37 26392 0 1 0 0 158415 79 15 0 10 0 680706286 202416128 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6958/tid=7019] ppid=6950 vsize=197672 CPUtime=1584.94
/proc/6958/task/7019/stat : 7019 (java) S 6950 6950 5579 0 -1 64 49 26392 0 1 0 0 158415 79 17 0 10 0 680867738 202416128 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1697.77
Current children cumulated vsize (KiB) 272136

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 7022
/proc/meminfo: memFree=1721432/2055924 swapFree=4177320/4192956
[pid=6950] ppid=6948 vsize=5360 CPUtime=2.68
/proc/6950/stat : 6950 (hydra) S 6948 6950 5579 0 -1 4194304 375 16111 0 0 0 0 259 9 20 0 1 0 680706010 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6950/statm: 1340 238 196 169 0 51 0
[pid=6958] ppid=6950 vsize=197672 CPUtime=1590.62
/proc/6958/stat : 6958 (java) S 6950 6950 5579 0 -1 0 11648 26392 1 1 548 20 158415 79 21 0 10 0 680706282 202416128 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6958/statm: 49418 9396 2545 9 0 44000 0
[pid=7020] ppid=6958 vsize=5356 CPUtime=0
/proc/7020/stat : 7020 (mistral) S 6958 6950 5579 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 680867738 5484544 238 996147200 4194304 4889804 548682068576 18446744073709551615 230266823492 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/7020/statm: 1339 238 198 169 0 50 0
[pid=7021] ppid=7020 vsize=63748 CPUtime=164.17
/proc/7021/stat : 7021 (xsolve) R 7020 6950 5579 0 -1 4194304 15528 0 0 0 16408 9 0 0 25 0 1 0 680867739 65277952 14935 996147200 134512640 135239763 4294955952 18446744073709551615 135071045 0 4 0 0 0 0 0 17 0 0 0
/proc/7021/statm: 15937 14935 412 177 0 14840 0
[pid=6958/tid=6959] ppid=6950 vsize=197672 CPUtime=1589.47
/proc/6958/task/6959/stat : 6959 (java) S 6950 6950 5579 0 -1 64 3935 26392 1 1 445 8 158415 79 16 0 10 0 680706283 202416128 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=6958/tid=6960] ppid=6950 vsize=197672 CPUtime=1585.83
/proc/6958/task/6960/stat : 6960 (java) S 6950 6950 5579 0 -1 64 6125 26392 0 1 79 10 158415 79 16 0 10 0 680706284 202416128 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6958/tid=6961] ppid=6950 vsize=197672 CPUtime=1584.94
/proc/6958/task/6961/stat : 6961 (java) S 6950 6950 5579 0 -1 64 11 26392 0 1 0 0 158415 79 16 0 10 0 680706284 202416128 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6958/tid=6962] ppid=6950 vsize=197672 CPUtime=1584.94
/proc/6958/task/6962/stat : 6962 (java) S 6950 6950 5579 0 -1 64 5 26392 0 1 0 0 158415 79 16 0 10 0 680706284 202416128 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6958/tid=6963] ppid=6950 vsize=197672 CPUtime=1584.94
/proc/6958/task/6963/stat : 6963 (java) S 6950 6950 5579 0 -1 64 1 26392 0 1 0 0 158415 79 25 0 10 0 680706286 202416128 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6958/tid=6964] ppid=6950 vsize=197672 CPUtime=1585.16
/proc/6958/task/6964/stat : 6964 (java) S 6950 6950 5579 0 -1 64 703 26392 0 1 22 0 158415 79 16 0 10 0 680706286 202416128 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6958/tid=6965] ppid=6950 vsize=197672 CPUtime=1584.94
/proc/6958/task/6965/stat : 6965 (java) S 6950 6950 5579 0 -1 64 0 26392 0 1 0 0 158415 79 25 0 10 0 680706286 202416128 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6958/tid=6966] ppid=6950 vsize=197672 CPUtime=1584.94
/proc/6958/task/6966/stat : 6966 (java) S 6950 6950 5579 0 -1 64 37 26392 0 1 0 0 158415 79 15 0 10 0 680706286 202416128 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6958/tid=7019] ppid=6950 vsize=197672 CPUtime=1584.94
/proc/6958/task/7019/stat : 7019 (java) S 6950 6950 5579 0 -1 64 49 26392 0 1 0 0 158415 79 17 0 10 0 680867738 202416128 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1757.47
Current children cumulated vsize (KiB) 272136



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1825.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/103 7033
/proc/meminfo: memFree=1670352/2055924 swapFree=4177320/4192956
[pid=6950] ppid=6948 vsize=5360 CPUtime=2.68
/proc/6950/stat : 6950 (hydra) S 6948 6950 5579 0 -1 4194304 375 16111 0 0 0 0 259 9 20 0 1 0 680706010 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6950/statm: 1340 238 196 169 0 51 0
[pid=6958] ppid=6950 vsize=197672 CPUtime=1770.62
/proc/6958/stat : 6958 (java) S 6950 6950 5579 0 -1 0 11813 42229 1 1 549 20 176403 90 21 0 10 0 680706282 202416128 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6958/statm: 49418 9396 2545 9 0 44000 0
[pid=7024] ppid=6958 vsize=5356 CPUtime=0
/proc/7024/stat : 7024 (choco) S 6958 6950 5579 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 680885829 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 230266823492 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/7024/statm: 1339 238 197 169 0 50 0
[pid=7025] ppid=7024 vsize=655624 CPUtime=26.77
/proc/7025/stat : 7025 (java) S 7024 6950 5579 0 -1 0 29641 0 1 0 2651 26 0 0 18 0 9 0 680885831 671358976 29160 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7025/statm: 163906 29160 1934 9 0 158435 0
[pid=7025/tid=7026] ppid=7024 vsize=655624 CPUtime=25.22
/proc/7025/task/7026/stat : 7026 (java) R 7024 6950 5579 0 -1 64 12200 0 1 0 2504 18 0 0 25 0 9 0 680885831 671358976 29160 996147200 134512640 134550740 4294955920 18446744073709551615 4127480179 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7025/tid=7027] ppid=7024 vsize=655624 CPUtime=1.07
/proc/7025/task/7027/stat : 7027 (java) S 7024 6950 5579 0 -1 64 16128 0 0 0 101 6 0 0 16 0 9 0 680885833 671358976 29160 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7025/tid=7028] ppid=7024 vsize=655624 CPUtime=0
/proc/7025/task/7028/stat : 7028 (java) S 7024 6950 5579 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 680885833 671358976 29160 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7025/tid=7029] ppid=7024 vsize=655624 CPUtime=0
/proc/7025/task/7029/stat : 7029 (java) S 7024 6950 5579 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 680885833 671358976 29160 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7025/tid=7030] ppid=7024 vsize=655624 CPUtime=0
/proc/7025/task/7030/stat : 7030 (java) S 7024 6950 5579 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 680885835 671358976 29160 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7025/tid=7031] ppid=7024 vsize=655624 CPUtime=0.46
/proc/7025/task/7031/stat : 7031 (java) S 7024 6950 5579 0 -1 64 759 0 0 0 45 1 0 0 15 0 9 0 680885835 671358976 29160 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7025/tid=7032] ppid=7024 vsize=655624 CPUtime=0
/proc/7025/task/7032/stat : 7032 (java) S 7024 6950 5579 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 680885835 671358976 29160 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7025/tid=7033] ppid=7024 vsize=655624 CPUtime=0
/proc/7025/task/7033/stat : 7033 (java) S 7024 6950 5579 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 680885835 671358976 29160 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6958/tid=6959] ppid=6950 vsize=197672 CPUtime=1769.46
/proc/6958/task/6959/stat : 6959 (java) S 6950 6950 5579 0 -1 64 4009 42229 1 1 445 8 176403 90 16 0 10 0 680706283 202416128 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=6958/tid=6960] ppid=6950 vsize=197672 CPUtime=1765.82
/proc/6958/task/6960/stat : 6960 (java) S 6950 6950 5579 0 -1 64 6157 42229 0 1 79 10 176403 90 16 0 10 0 680706284 202416128 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6958/tid=6961] ppid=6950 vsize=197672 CPUtime=1764.93
/proc/6958/task/6961/stat : 6961 (java) S 6950 6950 5579 0 -1 64 11 42229 0 1 0 0 176403 90 16 0 10 0 680706284 202416128 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6958/tid=6962] ppid=6950 vsize=197672 CPUtime=1764.93
/proc/6958/task/6962/stat : 6962 (java) S 6950 6950 5579 0 -1 64 5 42229 0 1 0 0 176403 90 16 0 10 0 680706284 202416128 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6958/tid=6963] ppid=6950 vsize=197672 CPUtime=1764.93
/proc/6958/task/6963/stat : 6963 (java) S 6950 6950 5579 0 -1 64 1 42229 0 1 0 0 176403 90 25 0 10 0 680706286 202416128 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6958/tid=6964] ppid=6950 vsize=197672 CPUtime=1765.15
/proc/6958/task/6964/stat : 6964 (java) S 6950 6950 5579 0 -1 64 703 42229 0 1 22 0 176403 90 16 0 10 0 680706286 202416128 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6958/tid=6965] ppid=6950 vsize=197672 CPUtime=1764.93
/proc/6958/task/6965/stat : 6965 (java) S 6950 6950 5579 0 -1 64 0 42229 0 1 0 0 176403 90 25 0 10 0 680706286 202416128 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6958/tid=6966] ppid=6950 vsize=197672 CPUtime=1764.93
/proc/6958/task/6966/stat : 6966 (java) S 6950 6950 5579 0 -1 64 42 42229 0 1 0 0 176403 90 15 0 10 0 680706286 202416128 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6958/tid=7023] ppid=6950 vsize=197672 CPUtime=1764.93
/proc/6958/task/7023/stat : 7023 (java) S 6950 6950 5579 0 -1 64 51 42229 0 1 0 0 176403 90 17 0 10 0 680885829 202416128 9396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 864012

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 6950 and gives
#  childrusage.ru_utime.tv_sec=2
#  childrusage.ru_utime.tv_usec=591606
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=101984
# CPU time returned by wait4() is 2.69359
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1825.44
CPU time (s): 1800.07
CPU user time (s): 1798.62
CPU system time (s): 1.45
CPU usage (%): 98.6103
Max. virtual memory (cumulated for all children) (KiB): 871008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.59161
system time used= 0.101984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16486
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= 30
involuntary context switches= 46

runsolver used 8.00678 second user time and 16.5935 second system time

The end

Launcher Data (download as text)

Begin job on node83 at 2008-07-05 11:22:44
IDJOB=1093452
IDBENCH=58705
IDSOLVER=366
FILE ID=node83/1093452-1215249764
PBS_JOBID= 7881936
Free space on /tmp= 66448 MiB

SOLVER NAME= cpHydra k_40
BENCH NAME= CPAI08/csp/socialGolfers/normalized-socialGolfer-6-4-7.xml
COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME 
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1093452-1215249764/watcher-1093452-1215249764 -o /tmp/evaluation-result-1093452-1215249764/solver-1093452-1215249764 -C 1800 -W 2200 -M 900 --output-limit 1,15  HOME/cpHydra_k_40/hydra HOME/instance-1093452-1215249764.xml 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 07e8c5063bb60946aa9e827386c017d9
RANDOM SEED=1670424668

node83.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.263
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.263
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055924 kB
MemFree:       1707640 kB
Buffers:         10628 kB
Cached:         165236 kB
SwapCached:       9708 kB
Active:         272724 kB
Inactive:        30048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1707640 kB
SwapTotal:     4192956 kB
SwapFree:      4177320 kB
Dirty:           26676 kB
Writeback:           0 kB
Mapped:         132768 kB
Slab:            30508 kB
Committed_AS:  1246808 kB
PageTables:       2092 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= 66468 MiB
End job on node83 at 2008-07-05 11:53:12