Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | ? (TO) | 1800.01 | 1828.63 |
Name | csp/pseudo/mps/ normalized-mps-l152lav.xml |
MD5SUM | 9169d620fc88fcbfc7ec2d65a69dcbe5 |
Bench Category | N-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 variables | 1989 |
Number of constraints | 193 |
Maximum constraint arity | 1989 |
Maximum domain size | 2 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 193 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 11.14/11.33 c CASE TO CLASSIFY: 11.14/11.33 c Case: 0 11.14/11.33 c 19 > 0.518135 | c 35 > 9.740930 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 2.176170 | c 15 > 21.274400 | c 34 > 14.611400 | c 16 > 1989.000000 | c 13 > 0.793241 | c 14 > 10.040300 | c 11 > 10.957800 | c 12 > 3.243150 | c 21 > 1.414210 | c 20 > 99.481900 | 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.801600 | c 1 > 10.957800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.801600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 23.808000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.14/11.34 c choco : 1801.0 11.14/11.34 c mistral : 1801.0 11.14/11.34 c abscon : 1801.0 11.14/11.34 c 11.14/11.34 c 11.23/11.41 c List of same ones: 40 11.23/11.41 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/l152lav.xml 11.23/11.41 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 11.23/11.42 c choco : 30.53 11.23/11.42 c mistral : 8.32 11.23/11.42 c abscon : 14.8297 11.23/11.42 c 11.23/11.42 c 11.23/11.42 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-bandm.xml 11.23/11.42 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 24.374900 | c 34 > 0.000000 | c 16 > 2100.000000 | c 13 > 3.301110 | c 14 > -1.000000 | c 11 > 13.789500 | c 12 > 3.364690 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 17.929100 | c 1 > 13.789500 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 17.929100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 31.955800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.23/11.44 c choco : 1801.0 11.23/11.44 c mistral : 59.24 11.23/11.44 c abscon : 1800.18 11.23/11.44 c 11.23/11.44 c 11.23/11.44 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-agg3.xml 11.23/11.44 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 11.23/11.45 c choco : 97.98 11.23/11.45 c mistral : 1800.17 11.23/11.45 c abscon : 1800.14 11.23/11.45 c 11.23/11.45 c 11.23/11.45 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-lp4l.xml 11.23/11.45 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 11.23/11.46 c choco : 60.08 11.23/11.46 c mistral : 1800.03 11.23/11.46 c abscon : 1800.09 11.23/11.46 c 11.23/11.46 c 11.23/11.46 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-mkc.xml 11.23/11.46 c 19 > 91.709800 | c 35 > 26.876000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 59.305100 | c 15 > 20.432700 | c 34 > 44.846100 | c 16 > 2952.000000 | c 13 > 0.523442 | c 14 > 8.596190 | c 11 > 12.366900 | c 12 > 1.886460 | c 21 > 1.407560 | c 20 > 8.290160 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.867300 | c 1 > 12.366900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.714200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 29.073500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.23/11.47 c choco : 1801.0 11.23/11.47 c mistral : 18.6 11.23/11.47 c abscon : 463.915 11.23/11.47 c 11.23/11.47 c 11.23/11.47 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-protfold.xml 11.23/11.47 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 11.23/11.48 c choco : 17.09 11.23/11.48 c mistral : 1800.04 11.23/11.48 c abscon : 1800.1 11.23/11.48 c 11.23/11.48 c 11.23/11.48 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-rout.xml 11.23/11.48 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 11.23/11.48 c choco : 47.8 11.23/11.48 c mistral : 24.86 11.23/11.48 c abscon : 1800.13 11.23/11.48 c 11.23/11.48 c 11.23/11.48 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-blend.xml 11.23/11.48 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 11.23/11.49 c choco : 72.65 11.23/11.49 c mistral : 61.66 11.23/11.49 c abscon : 1800.1 11.23/11.49 c 11.23/11.49 c 11.23/11.49 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/jac3.xml 11.23/11.49 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 11.30/11.50 c choco : 9.63 11.30/11.50 c mistral : 3.51 11.30/11.50 c abscon : 4.6213 11.30/11.50 c 11.30/11.50 c 11.30/11.50 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/p2756.xml 11.30/11.50 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 11.30/11.51 c choco : 8.43 11.30/11.51 c mistral : 1.57 11.30/11.51 c abscon : 42.6915 11.30/11.51 c 11.30/11.51 c 11.30/11.51 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-cracpb1.xml 11.30/11.51 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 11.51/11.73 c choco : 5.58 11.51/11.73 c mistral : 2.07 11.51/11.73 c abscon : 24.1083 11.51/11.73 c 11.51/11.73 c 11.51/11.73 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-ran17x17.xml 11.51/11.73 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 11.51/11.74 c choco : 52.93 11.51/11.74 c mistral : 5.61 11.51/11.74 c abscon : 1800.08 11.51/11.74 c 11.51/11.74 c 11.51/11.74 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-air01.xml 11.51/11.74 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 11.51/11.75 c choco : 8.6 11.51/11.75 c mistral : 2.27 11.51/11.75 c abscon : 5.8991 11.51/11.75 c 11.51/11.75 c 11.51/11.75 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-air01.xml 11.51/11.75 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 11.51/11.76 c choco : 8.61 11.51/11.76 c mistral : 2.26 11.51/11.76 c abscon : 5.2622 11.51/11.76 c 11.51/11.76 c 11.51/11.76 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-ran16x16.xml 11.51/11.76 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 11.51/11.77 c choco : 40.89 11.51/11.77 c mistral : 4.67 11.51/11.77 c abscon : 1800.1 11.51/11.77 c 11.51/11.77 c 11.51/11.77 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/air05.xml 11.51/11.77 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 11.51/11.77 c choco : 81.31 11.51/11.77 c mistral : 24.24 11.51/11.77 c abscon : 29.0936 11.51/11.77 c 11.51/11.77 c 11.51/11.77 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-noswot.xml 11.51/11.78 c 19 > 0.000000 | c 35 > 156.986000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 31.004800 | c 15 > 17.340600 | c 34 > 292.201000 | c 16 > 425.000000 | c 13 > 1.119930 | c 14 > 8.861090 | c 11 > 12.659100 | c 12 > 0.682554 | c 21 > 1.197630 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.528000 | c 1 > 9.184880 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.528000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.994700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.51/11.78 c choco : 5.46 11.51/11.78 c mistral : 1.12 11.51/11.78 c abscon : 18.4442 11.51/11.78 c 11.51/11.78 c 11.51/11.78 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-egout.xml 11.51/11.78 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 11.51/11.79 c choco : 6.17 11.51/11.79 c mistral : 3.48 11.51/11.79 c abscon : 1800.07 11.51/11.79 c 11.51/11.79 c 11.51/11.79 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/air04.xml 11.51/11.79 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 11.51/11.79 c choco : 83.64 11.51/11.79 c mistral : 28.58 11.51/11.79 c abscon : 31.3522 11.51/11.79 c 11.51/11.79 c 11.51/11.79 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-ran13x13.xml 11.51/11.79 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 11.58/11.81 c choco : 22.91 11.58/11.81 c mistral : 2.5 11.58/11.81 c abscon : 1800.1 11.58/11.81 c 11.58/11.81 c 11.58/11.81 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-ran12x12.xml 11.58/11.81 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 11.58/11.81 c choco : 19.38 11.58/11.81 c mistral : 1.98 11.58/11.81 c abscon : 1800.08 11.58/11.81 c 11.58/11.81 c 11.58/11.81 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-kb2.xml 11.58/11.81 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 11.58/11.82 c choco : 9.38 11.58/11.82 c mistral : 8.53 11.58/11.82 c abscon : 853.293 11.58/11.82 c 11.58/11.82 c 11.58/11.82 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-afiro.xml 11.58/11.82 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 11.58/11.82 c choco : 11.35 11.58/11.82 c mistral : 6.16 11.58/11.82 c abscon : 1800.07 11.58/11.82 c 11.58/11.82 c 11.58/11.82 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-misc07.xml 11.58/11.82 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 11.58/11.83 c choco : 5.96 11.58/11.83 c mistral : 22.01 11.58/11.83 c abscon : 1008.63 11.58/11.83 c 11.58/11.83 c 11.58/11.83 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-neos20.xml 11.58/11.83 c 19 > 21.689000 | c 35 > 111.094000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 45.771300 | c 15 > 19.752000 | c 34 > 202.328000 | c 16 > 270.000000 | c 13 > 4.428430 | c 14 > 6.965780 | c 11 > 11.941400 | c 12 > 3.092220 | c 21 > 1.211450 | c 20 > 78.311000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.686100 | c 1 > 11.941400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.666900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 30.855700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.58/11.84 c choco : 23.83 11.58/11.84 c mistral : 4.90325 11.58/11.84 c abscon : 7.12692 11.58/11.84 c 11.58/11.84 c 11.58/11.84 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-ran10x10c.xml 11.58/11.84 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 11.58/11.84 c choco : 11.95 11.58/11.84 c mistral : 3.32 11.58/11.84 c abscon : 1800.09 11.58/11.84 c 11.58/11.84 c 11.58/11.84 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-ran10x10b.xml 11.58/11.84 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 11.58/11.85 c choco : 11.83 11.58/11.85 c mistral : 3.33 11.58/11.85 c abscon : 1800.05 11.58/11.85 c 11.58/11.85 c 11.58/11.85 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-ran10x10a.xml 11.58/11.85 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 11.58/11.85 c choco : 11.84 11.58/11.85 c mistral : 3.36 11.58/11.85 c abscon : 1800.08 11.58/11.85 c 11.58/11.85 c 11.58/11.85 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-air02.xml 11.58/11.85 c 19 > 0.000000 | c 35 > 8.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 1.200000 | c 15 > 20.565900 | c 34 > 12.000000 | c 16 > 3729.000000 | c 13 > 2.202630 | c 14 > 5.700440 | c 11 > 12.725800 | c 12 > 4.183800 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 17.493800 | c 1 > 12.725800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 17.493800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 26.652700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.58/11.86 c choco : 324.53 11.58/11.86 c mistral : 232.8 11.58/11.86 c abscon : 328.756 11.58/11.86 c 11.58/11.86 c 11.58/11.86 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-air02.xml 11.58/11.86 c 19 > 0.000000 | c 35 > 8.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 1.200000 | c 15 > 20.523800 | c 34 > 12.000000 | c 16 > 3729.000000 | c 13 > 2.202630 | c 14 > 5.672430 | c 11 > 12.725800 | c 12 > 4.183800 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 17.493800 | c 1 > 12.725800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 17.493800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 26.652700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 11.58/11.87 c choco : 378.58 11.58/11.87 c mistral : 253.78 11.58/11.87 c abscon : 299.859 11.58/11.87 c 11.58/11.87 c 11.58/11.87 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-stocfor1.xml 11.58/11.87 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 11.58/11.87 c choco : 1801.0 11.58/11.87 c mistral : 18.05 11.58/11.87 c abscon : 1800.09 11.58/11.87 c 11.58/11.87 c 11.58/11.87 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-mas74.xml 11.58/11.87 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 11.58/11.88 c choco : 2.83 11.58/11.88 c mistral : 0.65 11.58/11.88 c abscon : 8.5807 11.58/11.88 c 11.58/11.88 c 11.58/11.88 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-mas76.xml 11.58/11.88 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 11.58/11.88 c choco : 2.67 11.58/11.88 c mistral : 0.58 11.58/11.88 c abscon : 8.38772 11.58/11.88 c 11.58/11.88 c 11.58/11.88 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-pp08a.xml 11.58/11.88 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 11.58/11.89 c choco : 18.53 11.58/11.89 c mistral : 1800.06 11.58/11.89 c abscon : 1348.66 11.58/11.89 c 11.58/11.89 c 11.58/11.89 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/mod008.xml 11.58/11.89 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 11.65/11.90 c choco : 2.44 11.65/11.90 c mistral : 0.44 11.65/11.90 c abscon : 1.3238 11.65/11.90 c 11.65/11.90 c 11.65/11.90 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-mod008.xml 11.65/11.90 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 11.65/11.91 c choco : 2.41 11.65/11.91 c mistral : 0.4 11.65/11.91 c abscon : 1.3208 11.65/11.91 c 11.65/11.91 c 11.65/11.91 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-7-210-60-2-10_glb.xml 11.65/11.91 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 11.65/11.91 c choco : 1801.0 11.65/11.91 c mistral : 4.54 11.65/11.91 c abscon : 1801.0 11.65/11.91 c 11.65/11.91 c 11.65/11.91 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-seymour1.xml 11.65/11.91 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 11.65/11.92 c choco : 1801.0 11.65/11.92 c mistral : 14.2628 11.65/11.92 c abscon : 40.6598 11.65/11.92 c 11.65/11.92 c 11.65/11.92 c /home/eomahony/cpZilla/CSP/pseudoSeries/course/ss97-4.xml 11.65/11.92 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 11.65/11.92 c choco : 1801.0 11.65/11.92 c mistral : 4.13 11.65/11.92 c abscon : 1800.06 11.65/11.92 c 11.65/11.92 c 11.65/11.93 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/e-am-pi.xml 11.65/11.93 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 11.65/11.93 c choco : 16.5 11.65/11.93 c mistral : 4.84 11.65/11.93 c abscon : 6.63899 11.65/11.93 c 11.65/11.93 c 11.65/11.94 c Length: 40 11.65/11.94 c 5.525869051309939 113.46560291530993 549.3645955094594 903.5486565729472 973.9141294220043 1110.3225997594623 1157.9009071290232 1209.092547976101 1296.8883591658246 1467.8513320921602 1478.3003981368952 1548.7383566394356 1551.1084913415143 1551.1085073507522 1575.646644321458 1585.043429333369 1595.5410042702115 1597.5749624639457 1621.016301083081 1656.4761659853307 1683.489623058812 1689.24373807072 1719.099935804413 1730.4129789426183 1733.0164741191727 1736.0972439465552 1736.1109110913121 1736.3064867040696 1740.017927336152 1740.0180150742192 1749.4106893404064 1750.1097581556419 1750.110242597838 1757.4143327949316 1758.1098906074492 1758.1115051364814 1783.1170111004642 1791.616854160981 1796.9523784348796 1823.2319332269788 11.65/11.94 c 11.65/11.94 c 1.0 0.9439462158752747 0.7697106027312792 0.6693253131805182 0.652420863199465 0.6219689737706233 0.6120055316996517 0.6016358729368871 0.5846465050336147 0.5541733514123262 0.552413549527763 0.5408360947104015 0.5404549634678268 0.5404549608952638 0.5365404285164146 0.5350563475095976 0.533408092334141 0.53308990826817 0.5294500522133353 0.524037516242788 0.5199879161128548 0.5191333865468261 0.5147442278099837 0.5131004252709326 0.5127236183947809 0.5122784493006328 0.512276476130024 0.5122482419009841 0.5117130299355581 0.5117130172964233 0.5103635210052581 0.5102633665465678 0.5102632971549473 0.5092191984155707 0.5091199932016423 0.5091197629714317 0.5055788047309497 0.5043863567556153 0.5036407023372631 0.5 11.65/11.95 c 11.65/11.95 c solver 0 11.65/11.95 c before 0.0 seconds: {} 0 11.65/11.95 c before 18.0 seconds: {0, 8, 12, 13, 24, 31, 32, 34, 35, 39} 5717 11.65/11.95 c before 36.0 seconds: {0, 8, 10, 12, 13, 15, 16, 18, 24, 31, 32, 34, 35, 39} 7867 11.65/11.95 c before 54.0 seconds: {0, 8, 9, 10, 12, 13, 15, 16, 18, 24, 31, 32, 34, 35, 37, 39} 8925 11.65/11.95 c before 306.0 seconds: {0, 8, 9, 10, 12, 13, 15, 16, 18, 24, 29, 31, 32, 34, 35, 37, 39} 9437 11.65/11.95 c before 342.0 seconds: {0, 8, 9, 10, 12, 13, 15, 16, 18, 24, 28, 29, 31, 32, 34, 35, 37, 39} 9949 11.65/11.95 c before 468.0 seconds: {0, 4, 8, 9, 10, 12, 13, 15, 16, 18, 24, 28, 29, 31, 32, 34, 35, 37, 39} 10601 11.65/11.95 c before 864.0 seconds: {0, 4, 8, 9, 10, 12, 13, 15, 16, 18, 21, 24, 28, 29, 31, 32, 34, 35, 37, 39} 11120 11.65/11.95 c before 1026.0 seconds: {0, 4, 8, 9, 10, 12, 13, 15, 16, 18, 21, 23, 24, 28, 29, 31, 32, 34, 35, 37, 39} 11634 11.65/11.95 c before 1350.0 seconds: {0, 4, 8, 9, 10, 12, 13, 15, 16, 18, 21, 23, 24, 28, 29, 31, 32, 33, 34, 35, 37, 39} 12143 11.65/11.95 c 11.65/11.95 c solver 1 11.65/11.95 c before 0.0 seconds: {} 0 11.65/11.95 c before 18.0 seconds: {0, 8, 9, 10, 11, 12, 13, 14, 16, 17, 19, 20, 21, 22, 24, 25, 26, 27, 31, 32, 34, 35, 36, 37, 38, 39} 14095 11.65/11.95 c before 36.0 seconds: {0, 4, 6, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 34, 35, 36, 37, 38, 39} 17448 11.65/11.95 c before 72.0 seconds: {0, 1, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 34, 35, 36, 37, 38, 39} 18993 11.65/11.95 c before 234.0 seconds: {0, 1, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 34, 35, 36, 37, 38, 39} 19505 11.65/11.95 c before 270.0 seconds: {0, 1, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 20017 11.65/11.95 c 11.65/11.95 c solver 2 11.65/11.95 c before 0.0 seconds: {} 0 11.65/11.95 c before 18.0 seconds: {5, 8, 9, 10, 12, 13, 16, 17, 21, 22, 23, 25, 26, 27, 31, 32, 34, 35, 39} 10083 11.65/11.95 c before 36.0 seconds: {0, 5, 8, 9, 10, 12, 13, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 31, 32, 33, 34, 35, 39} 13149 11.65/11.95 c before 54.0 seconds: {0, 5, 6, 8, 9, 10, 11, 12, 13, 14, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 31, 32, 33, 34, 35, 39} 14838 11.65/11.95 c before 72.0 seconds: {0, 3, 5, 6, 8, 9, 10, 11, 12, 13, 14, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 31, 32, 33, 34, 35, 39} 15507 11.65/11.95 c before 90.0 seconds: {0, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 31, 32, 33, 34, 35, 39} 17173 11.65/11.95 c before 108.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, 31, 32, 33, 34, 35, 39} 17943 11.65/11.95 c before 342.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, 31, 32, 33, 34, 35, 39} 18455 11.65/11.95 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, 31, 32, 33, 34, 35, 39} 18967 11.65/11.95 c 11.65/11.95 cTotal time: 112 11.65/11.96 c run abscon for 1350.0 seconds {0, 4, 8, 9, 10, 12, 13, 15, 16, 18, 21, 23, 24, 28, 29, 31, 32, 33, 34, 35, 37, 39} 12143 11.65/11.96 c run mistral for 270.0 seconds {0, 1, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 20017 11.65/11.96 c run choco for 108.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, 31, 32, 33, 34, 35, 39} 17943 11.65/11.96 c Starting solver: HOME/cpHydra_k_40/solver/abscon 11.65/11.96 c On Instance: HOME/instance-1065232-1215146209.xml 11.65/11.96 c Running for: 1350 seconds 1362.32/1385.07 c Starting solver: HOME/cpHydra_k_40/solver/mistral 1362.32/1385.07 c On Instance: HOME/instance-1065232-1215146209.xml 1362.32/1385.07 c Running for: 270 seconds 1632.34/1657.64 c Starting solver: HOME/cpHydra_k_40/solver/choco 1632.34/1657.64 c On Instance: HOME/instance-1065232-1215146209.xml 1632.34/1657.64 c Running for: 108 seconds
ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected) Got answer:
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1065232-1215146209/watcher-1065232-1215146209 -o /tmp/evaluation-result-1065232-1215146209/solver-1065232-1215146209 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1065232-1215146209.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 2.02 2.02 4/80 18630 /proc/meminfo: memFree=1550112/2055920 swapFree=4180052/4192956 [pid=18630] ppid=18628 vsize=18572 CPUtime=0 /proc/18630/stat : 18630 (runsolver) R 18628 18630 18593 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1993596125 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 244671114535 0 0 4096 24578 0 0 0 17 1 0 0 /proc/18630/statm: 4643 292 257 25 0 2626 0 [startup+0.0859069 s] /proc/loadavg: 1.92 2.02 2.02 4/80 18630 /proc/meminfo: memFree=1550112/2055920 swapFree=4180052/4192956 [pid=18630] ppid=18628 vsize=5360 CPUtime=0 /proc/18630/stat : 18630 (hydra) S 18628 18630 18593 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993596125 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18630/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.101901 s] /proc/loadavg: 1.92 2.02 2.02 4/80 18630 /proc/meminfo: memFree=1550112/2055920 swapFree=4180052/4192956 [pid=18630] ppid=18628 vsize=5360 CPUtime=0 /proc/18630/stat : 18630 (hydra) S 18628 18630 18593 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993596125 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18630/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301931 s] /proc/loadavg: 1.92 2.02 2.02 4/80 18630 /proc/meminfo: memFree=1550112/2055920 swapFree=4180052/4192956 [pid=18630] ppid=18628 vsize=5360 CPUtime=0 /proc/18630/stat : 18630 (hydra) S 18628 18630 18593 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993596125 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18630/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701966 s] /proc/loadavg: 1.92 2.02 2.02 4/80 18630 /proc/meminfo: memFree=1550112/2055920 swapFree=4180052/4192956 [pid=18630] ppid=18628 vsize=5360 CPUtime=0 /proc/18630/stat : 18630 (hydra) S 18628 18630 18593 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993596125 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18630/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50106 s] /proc/loadavg: 1.92 2.02 2.02 3/82 18634 /proc/meminfo: memFree=1521872/2055920 swapFree=4180052/4192956 [pid=18630] ppid=18628 vsize=5360 CPUtime=0 /proc/18630/stat : 18630 (hydra) S 18628 18630 18593 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993596125 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18630/statm: 1340 236 195 169 0 51 0 [pid=18634] ppid=18630 vsize=45820 CPUtime=1.47 /proc/18634/stat : 18634 (xsolve) R 18630 18630 18593 0 -1 4194304 10652 0 0 0 141 6 0 0 25 0 1 0 1993596126 46919680 10611 996147200 134512640 135239763 4294956176 18446744073709551615 10851963 0 0 4096 0 0 0 0 17 1 0 0 /proc/18634/statm: 11455 10611 361 177 0 10358 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 51180 [startup+3.10222 s] /proc/loadavg: 1.93 2.02 2.02 3/82 18634 /proc/meminfo: memFree=1490896/2055920 swapFree=4180052/4192956 [pid=18630] ppid=18628 vsize=5360 CPUtime=0 /proc/18630/stat : 18630 (hydra) S 18628 18630 18593 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993596125 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18630/statm: 1340 236 195 169 0 51 0 [pid=18634] ppid=18630 vsize=94064 CPUtime=3.05 /proc/18634/stat : 18634 (xsolve) R 18630 18630 18593 0 -1 4194304 22368 0 0 0 292 13 0 0 25 0 1 0 1993596126 96321536 22327 996147200 134512640 135239763 4294956176 18446744073709551615 134610613 0 0 4096 0 0 0 0 17 1 0 0 /proc/18634/statm: 23516 22327 361 177 0 22419 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 99424 [startup+6.30156 s] /proc/loadavg: 1.93 2.02 2.02 3/82 18634 /proc/meminfo: memFree=1439056/2055920 swapFree=4180052/4192956 [pid=18630] ppid=18628 vsize=5360 CPUtime=5.39 /proc/18630/stat : 18630 (hydra) S 18628 18630 18593 0 -1 4194304 375 28702 0 0 0 0 521 18 18 0 1 0 1993596125 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18630/statm: 1340 238 196 169 0 51 0 Current children cumulated CPU time (s) 5.39 Current children cumulated vsize (KiB) 5360 [startup+12.7032 s] /proc/loadavg: 1.94 2.02 2.02 3/98 18654 /proc/meminfo: memFree=1517648/2055920 swapFree=4180052/4192956 [pid=18630] ppid=18628 vsize=5360 CPUtime=5.39 /proc/18630/stat : 18630 (hydra) S 18628 18630 18593 0 -1 4194304 375 28702 0 0 0 0 521 18 18 0 1 0 1993596125 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18630/statm: 1340 238 196 169 0 51 0 [pid=18638] ppid=18630 vsize=197436 CPUtime=6.3 /proc/18638/stat : 18638 (java) S 18630 18630 18593 0 -1 0 13914 0 1 0 609 21 0 0 18 0 10 0 1993596673 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/18638/statm: 49359 9486 2544 9 0 43941 0 [pid=18648] ppid=18638 vsize=5356 CPUtime=0 /proc/18648/stat : 18648 (abscon) S 18638 18630 18593 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1993597321 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 244671112004 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/18648/statm: 1339 237 196 169 0 50 0 [pid=18649] ppid=18648 vsize=655720 CPUtime=0.72 /proc/18649/stat : 18649 (java) S 18648 18630 18593 0 -1 0 9557 0 1 0 65 7 0 0 18 0 9 0 1993597322 671457280 9068 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/18649/statm: 163930 9068 1988 9 0 158458 0 [pid=18649/tid=18651] ppid=18648 vsize=655720 CPUtime=0.56 /proc/18649/task/18651/stat : 18651 (java) R 18648 18630 18593 0 -1 64 8413 0 1 0 50 6 0 0 25 0 9 0 1993597323 671457280 9069 996147200 134512640 134550740 4294955824 18446744073709551615 103825763 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18649/tid=18652] ppid=18648 vsize=655720 CPUtime=0 /proc/18649/task/18652/stat : 18652 (java) S 18648 18630 18593 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 1993597324 671457280 9069 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=18649/tid=18653] ppid=18648 vsize=655720 CPUtime=0 /proc/18649/task/18653/stat : 18653 (java) S 18648 18630 18593 0 -1 64 9 0 0 0 0 0 0 0 22 0 9 0 1993597324 671457280 9070 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18649/tid=18654] ppid=18648 vsize=655720 CPUtime=0 /proc/18649/task/18654/stat : 18654 (java) S 18648 18630 18593 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 1993597324 671457280 9070 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18650] ppid=18648 vsize=7044 CPUtime=0 /proc/18650/stat : 18650 (translate) S 18648 18630 18593 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1993597322 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 244671283282 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/18650/statm: 1761 213 182 1 0 41 0 [pid=18638/tid=18639] ppid=18630 vsize=197436 CPUtime=4.86 /proc/18638/task/18639/stat : 18639 (java) S 18630 18630 18593 0 -1 64 3906 0 1 0 479 7 0 0 25 0 10 0 1993596674 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=18638/tid=18640] ppid=18630 vsize=197436 CPUtime=1.16 /proc/18638/task/18640/stat : 18640 (java) S 18630 18630 18593 0 -1 64 8537 0 0 0 104 12 0 0 16 0 10 0 1993596675 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=18638/tid=18641] ppid=18630 vsize=197436 CPUtime=0 /proc/18638/task/18641/stat : 18641 (java) S 18630 18630 18593 0 -1 64 12 0 0 0 0 0 0 0 16 0 10 0 1993596675 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18638/tid=18642] ppid=18630 vsize=197436 CPUtime=0 /proc/18638/task/18642/stat : 18642 (java) S 18630 18630 18593 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1993596675 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18638/tid=18643] ppid=18630 vsize=197436 CPUtime=0 /proc/18638/task/18643/stat : 18643 (java) S 18630 18630 18593 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993596678 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18638/tid=18644] ppid=18630 vsize=197436 CPUtime=0.25 /proc/18638/task/18644/stat : 18644 (java) S 18630 18630 18593 0 -1 64 668 0 0 0 24 1 0 0 16 0 10 0 1993596678 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18638/tid=18645] ppid=18630 vsize=197436 CPUtime=0 /proc/18638/task/18645/stat : 18645 (java) S 18630 18630 18593 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1993596678 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18638/tid=18646] ppid=18630 vsize=197436 CPUtime=0 /proc/18638/task/18646/stat : 18646 (java) S 18630 18630 18593 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1993596678 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18638/tid=18647] ppid=18630 vsize=197436 CPUtime=0 /proc/18638/task/18647/stat : 18647 (java) S 18630 18630 18593 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1993597321 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.41 Current children cumulated vsize (KiB) 870916 [startup+25.5026 s] /proc/loadavg: 1.87 2.00 2.02 3/102 18695 /proc/meminfo: memFree=1577200/2055920 swapFree=4180052/4192956 [pid=18630] ppid=18628 vsize=5360 CPUtime=5.39 /proc/18630/stat : 18630 (hydra) S 18628 18630 18593 0 -1 4194304 375 28702 0 0 0 0 521 18 18 0 1 0 1993596125 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18630/statm: 1340 238 196 169 0 51 0 [pid=18638] ppid=18630 vsize=197436 CPUtime=6.3 /proc/18638/stat : 18638 (java) S 18630 18630 18593 0 -1 0 13975 0 1 0 609 21 0 0 18 0 10 0 1993596673 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/18638/statm: 49359 9486 2544 9 0 43941 0 [pid=18648] ppid=18638 vsize=5356 CPUtime=0 /proc/18648/stat : 18648 (abscon) S 18638 18630 18593 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1993597321 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 244671112004 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/18648/statm: 1339 237 196 169 0 50 0 [pid=18649] ppid=18648 vsize=655720 CPUtime=13.49 /proc/18649/stat : 18649 (java) S 18648 18630 18593 0 -1 0 33854 0 1 0 1328 21 0 0 18 0 9 0 1993597322 671457280 33123 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/18649/statm: 163930 33123 2615 9 0 158458 0 [pid=18649/tid=18651] ppid=18648 vsize=655720 CPUtime=12.63 /proc/18649/task/18651/stat : 18651 (java) R 18648 18630 18593 0 -1 64 12624 0 1 0 1251 12 0 0 25 0 9 0 1993597323 671457280 33123 996147200 134512640 134550740 4294955824 18446744073709551615 4126900481 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18649/tid=18652] ppid=18648 vsize=655720 CPUtime=0.52 /proc/18649/task/18652/stat : 18652 (java) S 18648 18630 18593 0 -1 64 19970 0 0 0 45 7 0 0 16 0 9 0 1993597324 671457280 33123 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=18649/tid=18653] ppid=18648 vsize=655720 CPUtime=0 /proc/18649/task/18653/stat : 18653 (java) S 18648 18630 18593 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1993597324 671457280 33123 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18649/tid=18654] ppid=18648 vsize=655720 CPUtime=0 /proc/18649/task/18654/stat : 18654 (java) S 18648 18630 18593 0 -1 64 15 0 0 0 0 0 0 0 15 0 9 0 1993597324 671457280 33123 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18649/tid=18655] ppid=18648 vsize=655720 CPUtime=0 /proc/18649/task/18655/stat : 18655 (java) S 18648 18630 18593 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1993597326 671457280 33123 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18649/tid=18656] ppid=18648 vsize=655720 CPUtime=0.32 /proc/18649/task/18656/stat : 18656 (java) S 18648 18630 18593 0 -1 64 704 0 0 0 31 1 0 0 16 0 9 0 1993597326 671457280 33123 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18649/tid=18657] ppid=18648 vsize=655720 CPUtime=0 /proc/18649/task/18657/stat : 18657 (java) S 18648 18630 18593 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1993597326 671457280 33123 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18649/tid=18658] ppid=18648 vsize=655720 CPUtime=0 /proc/18649/task/18658/stat : 18658 (java) R 18648 18630 18593 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1993597326 671457280 33123 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18650] ppid=18648 vsize=7044 CPUtime=0 /proc/18650/stat : 18650 (translate) S 18648 18630 18593 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1993597322 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 244671283282 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/18650/statm: 1761 213 182 1 0 41 0 [pid=18638/tid=18639] ppid=18630 vsize=197436 CPUtime=4.86 /proc/18638/task/18639/stat : 18639 (java) S 18630 18630 18593 0 -1 64 3906 0 1 0 479 7 0 0 25 0 10 0 1993596674 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=18638/tid=18640] ppid=18630 vsize=197436 CPUtime=1.16 /proc/18638/task/18640/stat : 18640 (java) S 18630 18630 18593 0 -1 64 8573 0 0 0 104 12 0 0 16 0 10 0 1993596675 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=18638/tid=18641] ppid=18630 vsize=197436 CPUtime=0 /proc/18638/task/18641/stat : 18641 (java) S 18630 18630 18593 0 -1 64 12 0 0 0 0 0 0 0 16 0 10 0 1993596675 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18638/tid=18642] ppid=18630 vsize=197436 CPUtime=0 /proc/18638/task/18642/stat : 18642 (java) S 18630 18630 18593 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1993596675 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18638/tid=18643] ppid=18630 vsize=197436 CPUtime=0 /proc/18638/task/18643/stat : 18643 (java) S 18630 18630 18593 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993596678 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18638/tid=18644] ppid=18630 vsize=197436 CPUtime=0.25 /proc/18638/task/18644/stat : 18644 (java) S 18630 18630 18593 0 -1 64 668 0 0 0 24 1 0 0 16 0 10 0 1993596678 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18638/tid=18645] ppid=18630 vsize=197436 CPUtime=0 /proc/18638/task/18645/stat : 18645 (java) S 18630 18630 18593 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1993596678 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18638/tid=18646] ppid=18630 vsize=197436 CPUtime=0 /proc/18638/task/18646/stat : 18646 (java) S 18630 18630 18593 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1993596678 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18638/tid=18647] ppid=18630 vsize=197436 CPUtime=0 /proc/18638/task/18647/stat : 18647 (java) S 18630 18630 18593 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1993597321 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.18 Current children cumulated vsize (KiB) 870916 [startup+51.1023 s] /proc/loadavg: 1.98 2.02 2.02 3/102 18695 /proc/meminfo: memFree=1565744/2055920 swapFree=4180052/4192956 [pid=18630] ppid=18628 vsize=5360 CPUtime=5.39 /proc/18630/stat : 18630 (hydra) S 18628 18630 18593 0 -1 4194304 375 28702 0 0 0 0 521 18 18 0 1 0 1993596125 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18630/statm: 1340 238 196 169 0 51 0 [pid=18638] ppid=18630 vsize=197436 CPUtime=6.3 /proc/18638/stat : 18638 (java) S 18630 18630 18593 0 -1 0 13975 0 1 0 609 21 0 0 18 0 10 0 1993596673 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/18638/statm: 49359 9486 2544 9 0 43941 0 ################ # More data... # ################ /proc/18638/statm: 49440 9527 2545 9 0 44022 0 [pid=19145] ppid=18638 vsize=5356 CPUtime=0 /proc/19145/stat : 19145 (choco) S 18638 18630 18593 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 1993761889 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 244671112004 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/19145/statm: 1339 238 197 169 0 50 0 [pid=19146] ppid=19145 vsize=655476 CPUtime=63.39 /proc/19146/stat : 19146 (java) S 19145 18630 18593 0 -1 0 23133 0 1 0 6254 85 0 0 19 0 9 0 1993761890 671207424 22653 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/19146/statm: 163869 22653 1934 9 0 158398 0 [pid=19146/tid=19147] ppid=19145 vsize=655476 CPUtime=62.63 /proc/19146/task/19147/stat : 19147 (java) R 19145 18630 18593 0 -1 64 12241 0 1 0 6185 78 0 0 25 0 9 0 1993761891 671207424 22653 996147200 134512640 134550740 4294955936 18446744073709551615 4127138489 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19146/tid=19148] ppid=19145 vsize=655476 CPUtime=0.38 /proc/19146/task/19148/stat : 19148 (java) S 19145 18630 18593 0 -1 64 9678 0 0 0 33 5 0 0 16 0 9 0 1993761892 671207424 22653 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=19146/tid=19149] ppid=19145 vsize=655476 CPUtime=0 /proc/19146/task/19149/stat : 19149 (java) S 19145 18630 18593 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1993761893 671207424 22653 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19146/tid=19150] ppid=19145 vsize=655476 CPUtime=0 /proc/19146/task/19150/stat : 19150 (java) S 19145 18630 18593 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1993761893 671207424 22653 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19146/tid=19151] ppid=19145 vsize=655476 CPUtime=0 /proc/19146/task/19151/stat : 19151 (java) S 19145 18630 18593 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1993761895 671207424 22653 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19146/tid=19152] ppid=19145 vsize=655476 CPUtime=0.36 /proc/19146/task/19152/stat : 19152 (java) S 19145 18630 18593 0 -1 64 660 0 0 0 35 1 0 0 15 0 9 0 1993761895 671207424 22653 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19146/tid=19153] ppid=19145 vsize=655476 CPUtime=0 /proc/19146/task/19153/stat : 19153 (java) S 19145 18630 18593 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1993761895 671207424 22653 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19146/tid=19154] ppid=19145 vsize=655476 CPUtime=0 /proc/19146/task/19154/stat : 19154 (java) S 19145 18630 18593 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1993761895 671207424 22653 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18638/tid=18639] ppid=18630 vsize=197760 CPUtime=1625.54 /proc/18638/task/18639/stat : 18639 (java) S 18630 18630 18593 0 -1 64 4064 62983 1 1 479 7 162014 54 16 0 10 0 1993596674 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=18638/tid=18640] ppid=18630 vsize=197760 CPUtime=1621.84 /proc/18638/task/18640/stat : 18640 (java) S 18630 18630 18593 0 -1 64 8613 62983 0 1 104 12 162014 54 16 0 10 0 1993596675 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=18638/tid=18641] ppid=18630 vsize=197760 CPUtime=1620.68 /proc/18638/task/18641/stat : 18641 (java) S 18630 18630 18593 0 -1 64 12 62983 0 1 0 0 162014 54 16 0 10 0 1993596675 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18638/tid=18642] ppid=18630 vsize=197760 CPUtime=1620.68 /proc/18638/task/18642/stat : 18642 (java) S 18630 18630 18593 0 -1 64 5 62983 0 1 0 0 162014 54 15 0 10 0 1993596675 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18638/tid=18643] ppid=18630 vsize=197760 CPUtime=1620.68 /proc/18638/task/18643/stat : 18643 (java) S 18630 18630 18593 0 -1 64 1 62983 0 1 0 0 162014 54 18 0 10 0 1993596678 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18638/tid=18644] ppid=18630 vsize=197760 CPUtime=1620.94 /proc/18638/task/18644/stat : 18644 (java) S 18630 18630 18593 0 -1 64 696 62983 0 1 25 1 162014 54 16 0 10 0 1993596678 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18638/tid=18645] ppid=18630 vsize=197760 CPUtime=1620.68 /proc/18638/task/18645/stat : 18645 (java) S 18630 18630 18593 0 -1 64 0 62983 0 1 0 0 162014 54 19 0 10 0 1993596678 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18638/tid=18646] ppid=18630 vsize=197760 CPUtime=1620.68 /proc/18638/task/18646/stat : 18646 (java) S 18630 18630 18593 0 -1 64 40 62983 0 1 0 0 162014 54 15 0 10 0 1993596678 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18638/tid=19144] ppid=18630 vsize=197760 CPUtime=1620.68 /proc/18638/task/19144/stat : 19144 (java) S 18630 18630 18593 0 -1 64 44 62983 0 1 0 0 162014 54 17 0 10 0 1993761889 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1695.77 Current children cumulated vsize (KiB) 863952 [startup+1782.3 s] /proc/loadavg: 2.00 2.08 2.04 3/101 19154 /proc/meminfo: memFree=1610992/2055920 swapFree=4180052/4192956 [pid=18630] ppid=18628 vsize=5360 CPUtime=5.39 /proc/18630/stat : 18630 (hydra) S 18628 18630 18593 0 -1 4194304 375 28702 0 0 0 0 521 18 18 0 1 0 1993596125 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18630/statm: 1340 238 196 169 0 51 0 [pid=18638] ppid=18630 vsize=197760 CPUtime=1626.99 /proc/18638/stat : 18638 (java) S 18630 18630 18593 0 -1 0 14331 62983 1 1 609 22 162014 54 18 0 10 0 1993596673 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/18638/statm: 49440 9527 2545 9 0 44022 0 [pid=19145] ppid=18638 vsize=5356 CPUtime=0 /proc/19145/stat : 19145 (choco) S 18638 18630 18593 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 1993761889 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 244671112004 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/19145/statm: 1339 238 197 169 0 50 0 [pid=19146] ppid=19145 vsize=655476 CPUtime=122.23 /proc/19146/stat : 19146 (java) S 19145 18630 18593 0 -1 0 23149 0 1 0 12047 176 0 0 19 0 9 0 1993761890 671207424 22655 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/19146/statm: 163869 22655 1934 9 0 158398 0 [pid=19146/tid=19147] ppid=19145 vsize=655476 CPUtime=121.45 /proc/19146/task/19147/stat : 19147 (java) R 19145 18630 18593 0 -1 64 12255 0 1 0 11976 169 0 0 25 0 9 0 1993761891 671207424 22655 996147200 134512640 134550740 4294955936 18446744073709551615 4127193907 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19146/tid=19148] ppid=19145 vsize=655476 CPUtime=0.4 /proc/19146/task/19148/stat : 19148 (java) S 19145 18630 18593 0 -1 64 9680 0 0 0 35 5 0 0 16 0 9 0 1993761892 671207424 22655 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=19146/tid=19149] ppid=19145 vsize=655476 CPUtime=0 /proc/19146/task/19149/stat : 19149 (java) S 19145 18630 18593 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1993761893 671207424 22655 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19146/tid=19150] ppid=19145 vsize=655476 CPUtime=0 /proc/19146/task/19150/stat : 19150 (java) S 19145 18630 18593 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1993761893 671207424 22655 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19146/tid=19151] ppid=19145 vsize=655476 CPUtime=0 /proc/19146/task/19151/stat : 19151 (java) S 19145 18630 18593 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1993761895 671207424 22655 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19146/tid=19152] ppid=19145 vsize=655476 CPUtime=0.36 /proc/19146/task/19152/stat : 19152 (java) S 19145 18630 18593 0 -1 64 660 0 0 0 35 1 0 0 15 0 9 0 1993761895 671207424 22655 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19146/tid=19153] ppid=19145 vsize=655476 CPUtime=0 /proc/19146/task/19153/stat : 19153 (java) S 19145 18630 18593 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1993761895 671207424 22655 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19146/tid=19154] ppid=19145 vsize=655476 CPUtime=0 /proc/19146/task/19154/stat : 19154 (java) S 19145 18630 18593 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1993761895 671207424 22655 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18638/tid=18639] ppid=18630 vsize=197760 CPUtime=1625.54 /proc/18638/task/18639/stat : 18639 (java) S 18630 18630 18593 0 -1 64 4064 62983 1 1 479 7 162014 54 16 0 10 0 1993596674 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=18638/tid=18640] ppid=18630 vsize=197760 CPUtime=1621.84 /proc/18638/task/18640/stat : 18640 (java) S 18630 18630 18593 0 -1 64 8613 62983 0 1 104 12 162014 54 16 0 10 0 1993596675 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=18638/tid=18641] ppid=18630 vsize=197760 CPUtime=1620.68 /proc/18638/task/18641/stat : 18641 (java) S 18630 18630 18593 0 -1 64 12 62983 0 1 0 0 162014 54 16 0 10 0 1993596675 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18638/tid=18642] ppid=18630 vsize=197760 CPUtime=1620.68 /proc/18638/task/18642/stat : 18642 (java) S 18630 18630 18593 0 -1 64 5 62983 0 1 0 0 162014 54 15 0 10 0 1993596675 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18638/tid=18643] ppid=18630 vsize=197760 CPUtime=1620.68 /proc/18638/task/18643/stat : 18643 (java) S 18630 18630 18593 0 -1 64 1 62983 0 1 0 0 162014 54 18 0 10 0 1993596678 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18638/tid=18644] ppid=18630 vsize=197760 CPUtime=1620.94 /proc/18638/task/18644/stat : 18644 (java) S 18630 18630 18593 0 -1 64 696 62983 0 1 25 1 162014 54 16 0 10 0 1993596678 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18638/tid=18645] ppid=18630 vsize=197760 CPUtime=1620.68 /proc/18638/task/18645/stat : 18645 (java) S 18630 18630 18593 0 -1 64 0 62983 0 1 0 0 162014 54 19 0 10 0 1993596678 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18638/tid=18646] ppid=18630 vsize=197760 CPUtime=1620.68 /proc/18638/task/18646/stat : 18646 (java) S 18630 18630 18593 0 -1 64 40 62983 0 1 0 0 162014 54 15 0 10 0 1993596678 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18638/tid=19144] ppid=18630 vsize=197760 CPUtime=1620.68 /proc/18638/task/19144/stat : 19144 (java) S 18630 18630 18593 0 -1 64 44 62983 0 1 0 0 162014 54 17 0 10 0 1993761889 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1754.61 Current children cumulated vsize (KiB) 863952 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1828.6 s] /proc/loadavg: 2.00 2.07 2.03 3/101 19154 /proc/meminfo: memFree=1610992/2055920 swapFree=4180052/4192956 [pid=18630] ppid=18628 vsize=5360 CPUtime=5.39 /proc/18630/stat : 18630 (hydra) S 18628 18630 18593 0 -1 4194304 375 28702 0 0 0 0 521 18 18 0 1 0 1993596125 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18630/statm: 1340 238 196 169 0 51 0 [pid=18638] ppid=18630 vsize=197760 CPUtime=1626.99 /proc/18638/stat : 18638 (java) S 18630 18630 18593 0 -1 0 14331 62983 1 1 609 22 162014 54 18 0 10 0 1993596673 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/18638/statm: 49440 9527 2545 9 0 44022 0 [pid=19145] ppid=18638 vsize=5356 CPUtime=0 /proc/19145/stat : 19145 (choco) S 18638 18630 18593 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 1993761889 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 244671112004 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/19145/statm: 1339 238 197 169 0 50 0 [pid=19146] ppid=19145 vsize=655476 CPUtime=167.63 /proc/19146/stat : 19146 (java) S 19145 18630 18593 0 -1 0 23160 0 1 0 16530 233 0 0 19 0 9 0 1993761890 671207424 22655 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/19146/statm: 163869 22655 1934 9 0 158398 0 [pid=19146/tid=19147] ppid=19145 vsize=655476 CPUtime=166.83 /proc/19146/task/19147/stat : 19147 (java) R 19145 18630 18593 0 -1 64 12266 0 1 0 16458 225 0 0 25 0 9 0 1993761891 671207424 22655 996147200 134512640 134550740 4294955936 18446744073709551615 4127153842 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19146/tid=19148] ppid=19145 vsize=655476 CPUtime=0.41 /proc/19146/task/19148/stat : 19148 (java) S 19145 18630 18593 0 -1 64 9680 0 0 0 36 5 0 0 16 0 9 0 1993761892 671207424 22655 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=19146/tid=19149] ppid=19145 vsize=655476 CPUtime=0 /proc/19146/task/19149/stat : 19149 (java) S 19145 18630 18593 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1993761893 671207424 22655 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19146/tid=19150] ppid=19145 vsize=655476 CPUtime=0 /proc/19146/task/19150/stat : 19150 (java) S 19145 18630 18593 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1993761893 671207424 22655 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19146/tid=19151] ppid=19145 vsize=655476 CPUtime=0 /proc/19146/task/19151/stat : 19151 (java) S 19145 18630 18593 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1993761895 671207424 22655 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19146/tid=19152] ppid=19145 vsize=655476 CPUtime=0.36 /proc/19146/task/19152/stat : 19152 (java) S 19145 18630 18593 0 -1 64 660 0 0 0 35 1 0 0 15 0 9 0 1993761895 671207424 22655 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19146/tid=19153] ppid=19145 vsize=655476 CPUtime=0 /proc/19146/task/19153/stat : 19153 (java) S 19145 18630 18593 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1993761895 671207424 22655 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19146/tid=19154] ppid=19145 vsize=655476 CPUtime=0 /proc/19146/task/19154/stat : 19154 (java) S 19145 18630 18593 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1993761895 671207424 22655 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18638/tid=18639] ppid=18630 vsize=197760 CPUtime=1625.54 /proc/18638/task/18639/stat : 18639 (java) S 18630 18630 18593 0 -1 64 4064 62983 1 1 479 7 162014 54 16 0 10 0 1993596674 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=18638/tid=18640] ppid=18630 vsize=197760 CPUtime=1621.84 /proc/18638/task/18640/stat : 18640 (java) S 18630 18630 18593 0 -1 64 8613 62983 0 1 104 12 162014 54 16 0 10 0 1993596675 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=18638/tid=18641] ppid=18630 vsize=197760 CPUtime=1620.68 /proc/18638/task/18641/stat : 18641 (java) S 18630 18630 18593 0 -1 64 12 62983 0 1 0 0 162014 54 16 0 10 0 1993596675 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18638/tid=18642] ppid=18630 vsize=197760 CPUtime=1620.68 /proc/18638/task/18642/stat : 18642 (java) S 18630 18630 18593 0 -1 64 5 62983 0 1 0 0 162014 54 15 0 10 0 1993596675 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18638/tid=18643] ppid=18630 vsize=197760 CPUtime=1620.68 /proc/18638/task/18643/stat : 18643 (java) S 18630 18630 18593 0 -1 64 1 62983 0 1 0 0 162014 54 18 0 10 0 1993596678 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18638/tid=18644] ppid=18630 vsize=197760 CPUtime=1620.94 /proc/18638/task/18644/stat : 18644 (java) S 18630 18630 18593 0 -1 64 696 62983 0 1 25 1 162014 54 16 0 10 0 1993596678 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18638/tid=18645] ppid=18630 vsize=197760 CPUtime=1620.68 /proc/18638/task/18645/stat : 18645 (java) S 18630 18630 18593 0 -1 64 0 62983 0 1 0 0 162014 54 19 0 10 0 1993596678 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18638/tid=18646] ppid=18630 vsize=197760 CPUtime=1620.68 /proc/18638/task/18646/stat : 18646 (java) S 18630 18630 18593 0 -1 64 40 62983 0 1 0 0 162014 54 15 0 10 0 1993596678 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18638/tid=19144] ppid=18630 vsize=197760 CPUtime=1620.68 /proc/18638/task/19144/stat : 19144 (java) S 18630 18630 18593 0 -1 64 44 62983 0 1 0 0 162014 54 17 0 10 0 1993761889 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 863952 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 18630 and gives # childrusage.ru_utime.tv_sec=5 # childrusage.ru_utime.tv_usec=220206 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=192970 # CPU time returned by wait4() is 5.41318 # while last known CPU time is 1800.01 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1828.63 CPU time (s): 1800.01 CPU user time (s): 1796.74 CPU system time (s): 3.27 CPU usage (%): 98.4347 Max. virtual memory (cumulated for all children) (KiB): 870916 getrusage(RUSAGE_CHILDREN,...) data: user time used= 5.22021 system time used= 0.19297 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29077 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= 243 runsolver used 4.85326 second user time and 18.1412 second system time The end
Begin job on node7 at 2008-07-04 06:36:49 IDJOB=1065232 IDBENCH=55048 IDSOLVER=366 FILE ID=node7/1065232-1215146209 PBS_JOBID= 7877421 Free space on /tmp= 66548 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/pseudo/mps/normalized-mps-l152lav.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1065232-1215146209/watcher-1065232-1215146209 -o /tmp/evaluation-result-1065232-1215146209/solver-1065232-1215146209 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1065232-1215146209.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 9169d620fc88fcbfc7ec2d65a69dcbe5 RANDOM SEED=1098048253 node7.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.236 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.236 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: 1550528 kB Buffers: 16636 kB Cached: 156308 kB SwapCached: 6984 kB Active: 391276 kB Inactive: 46832 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1550528 kB SwapTotal: 4192956 kB SwapFree: 4180052 kB Dirty: 25304 kB Writeback: 0 kB Mapped: 281524 kB Slab: 51848 kB Committed_AS: 4187760 kB PageTables: 2364 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= 66528 MiB End job on node7 at 2008-07-04 07:07:20