Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | ? (TO) | 1800.07 | 1811.24 |
Name | csp/pseudo/mps/ normalized-mps-air05.xml |
MD5SUM | 37e5fd3484da66ae9d2e1835399ce3e1 |
Bench Category | N-ARY-INT (n-ary constraints in intension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 46.035 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 7195 |
Number of constraints | 852 |
Maximum constraint arity | 404 |
Maximum domain size | 2 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 852 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 14.21/14.43 c CASE TO CLASSIFY: 14.21/14.43 c Case: 0 14.21/14.43 c 19 > 0.352113 | c 35 > 12.136200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 2.535210 | c 15 > 20.696100 | c 34 > 18.204200 | c 16 > 404.000000 | c 13 > 1.924370 | c 14 > 9.523560 | c 11 > 12.812800 | c 12 > 3.856800 | c 21 > 1.414210 | c 20 > 99.647900 | 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.246500 | c 1 > 12.812800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 17.246500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 23.197500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.21/14.44 c choco : 1801.0 14.21/14.44 c mistral : 1801.0 14.21/14.44 c abscon : 1801.0 14.21/14.44 c 14.21/14.44 c 14.31/14.52 c List of same ones: 40 14.31/14.52 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/air05.xml 14.31/14.52 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 14.31/14.53 c choco : 81.31 14.31/14.53 c mistral : 24.24 14.31/14.53 c abscon : 29.0936 14.31/14.53 c 14.31/14.53 c 14.31/14.53 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/air04.xml 14.31/14.53 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 14.31/14.54 c choco : 83.64 14.31/14.54 c mistral : 28.58 14.31/14.54 c abscon : 31.3522 14.31/14.54 c 14.31/14.54 c 14.31/14.54 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-air01.xml 14.31/14.54 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 14.31/14.55 c choco : 8.61 14.31/14.55 c mistral : 2.26 14.31/14.55 c abscon : 5.2622 14.31/14.55 c 14.31/14.55 c 14.31/14.55 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-air01.xml 14.31/14.55 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 14.31/14.56 c choco : 8.6 14.31/14.56 c mistral : 2.27 14.31/14.56 c abscon : 5.8991 14.31/14.56 c 14.31/14.56 c 14.31/14.56 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-kb2.xml 14.31/14.56 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 14.31/14.57 c choco : 9.38 14.31/14.57 c mistral : 8.53 14.31/14.57 c abscon : 853.293 14.31/14.57 c 14.31/14.57 c 14.31/14.57 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-afiro.xml 14.31/14.57 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 14.31/14.58 c choco : 11.35 14.31/14.58 c mistral : 6.16 14.31/14.58 c abscon : 1800.07 14.31/14.58 c 14.31/14.58 c 14.31/14.58 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-mas74.xml 14.31/14.58 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 14.31/14.59 c choco : 2.83 14.31/14.59 c mistral : 0.65 14.31/14.59 c abscon : 8.5807 14.31/14.59 c 14.31/14.59 c 14.31/14.59 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-mas76.xml 14.31/14.59 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 14.31/14.59 c choco : 2.67 14.31/14.60 c mistral : 0.58 14.31/14.60 c abscon : 8.38772 14.31/14.60 c 14.31/14.60 c 14.31/14.60 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-stocfor1.xml 14.31/14.60 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 14.38/14.60 c choco : 1801.0 14.38/14.60 c mistral : 18.05 14.38/14.60 c abscon : 1800.09 14.38/14.60 c 14.38/14.60 c 14.38/14.60 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/mod008.xml 14.38/14.60 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 14.38/14.61 c choco : 2.44 14.38/14.61 c mistral : 0.44 14.38/14.61 c abscon : 1.3238 14.38/14.61 c 14.38/14.61 c 14.38/14.61 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-mod008.xml 14.38/14.61 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 14.57/14.83 c choco : 2.41 14.57/14.83 c mistral : 0.4 14.57/14.83 c abscon : 1.3208 14.57/14.83 c 14.57/14.83 c 14.57/14.83 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-cracpb1.xml 14.57/14.83 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 14.57/14.84 c choco : 5.58 14.57/14.84 c mistral : 2.07 14.57/14.84 c abscon : 24.1083 14.57/14.84 c 14.57/14.84 c 14.57/14.84 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-misc07.xml 14.57/14.84 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 14.57/14.85 c choco : 5.96 14.57/14.85 c mistral : 22.01 14.57/14.85 c abscon : 1008.63 14.57/14.85 c 14.57/14.85 c 14.57/14.85 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-seymour1.xml 14.57/14.85 c 19 > 0.000000 | c 35 > 28.957800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 12.008300 | c 15 > 20.379700 | c 34 > 53.567200 | c 16 > 198.000000 | c 13 > 5.032800 | c 14 > -1.000000 | c 11 > 13.358500 | c 12 > 5.009860 | c 21 > 1.411570 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 19.288000 | c 1 > 13.358500 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 19.288000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 29.315800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.57/14.86 c choco : 1801.0 14.57/14.86 c mistral : 14.2628 14.57/14.86 c abscon : 40.6598 14.57/14.86 c 14.57/14.86 c 14.57/14.86 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-7-210-60-2-10_glb.xml 14.57/14.86 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 14.57/14.87 c choco : 1801.0 14.57/14.87 c mistral : 4.54 14.57/14.87 c abscon : 1801.0 14.57/14.87 c 14.57/14.87 c 14.57/14.87 c /home/eomahony/cpZilla/CSP/pseudoSeries/course/ss97-4.xml 14.57/14.87 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 14.57/14.88 c choco : 1801.0 14.57/14.88 c mistral : 4.13 14.57/14.88 c abscon : 1800.06 14.57/14.88 c 14.57/14.88 c 14.57/14.88 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-pp08a.xml 14.57/14.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 14.57/14.88 c choco : 18.53 14.57/14.88 c mistral : 1800.06 14.57/14.88 c abscon : 1348.66 14.57/14.88 c 14.57/14.88 c 14.57/14.88 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/p2756.xml 14.57/14.89 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 14.57/14.89 c choco : 8.43 14.57/14.89 c mistral : 1.57 14.57/14.89 c abscon : 42.6915 14.57/14.89 c 14.57/14.89 c 14.57/14.89 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/e-am-pi.xml 14.57/14.89 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 14.57/14.90 c choco : 16.5 14.66/14.90 c mistral : 4.84 14.66/14.90 c abscon : 6.63899 14.66/14.90 c 14.66/14.90 c 14.66/14.90 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-neos20.xml 14.66/14.90 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 14.66/14.91 c choco : 23.83 14.66/14.91 c mistral : 4.90325 14.66/14.91 c abscon : 7.12692 14.66/14.91 c 14.66/14.91 c 14.66/14.91 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/apex4-a.xml 14.66/14.91 c 19 > 39.091900 | c 35 > 43.768600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 39.854300 | c 15 > 19.496800 | c 34 > 53.144200 | c 16 > 160.000000 | c 13 > 3.581130 | c 14 > 10.985800 | c 11 > 12.007400 | c 12 > 3.551250 | c 21 > 1.397820 | c 20 > 60.908100 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.649000 | c 1 > 12.007400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.517500 | c 6 > 6.954200 | c 32 > -1.000000 | c 5 > 18.803500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.66/14.92 c choco : 24.35 14.66/14.92 c mistral : 3.62 14.66/14.92 c abscon : 12.2411 14.66/14.92 c 14.66/14.92 c 14.66/14.92 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/ex5-pi.xml 14.66/14.92 c 19 > 0.000000 | c 35 > 26.343200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.089900 | c 34 > 26.343200 | c 16 > 146.000000 | c 13 > 3.630320 | c 14 > 8.791160 | c 11 > 11.247300 | c 12 > 4.063740 | c 21 > 1.410180 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.280800 | c 1 > 11.247300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.280800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.356000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.66/14.92 c choco : 10.89 14.66/14.92 c mistral : 4.98 14.66/14.92 c abscon : 7.27989 14.66/14.92 c 14.66/14.92 c 14.66/14.92 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-markshare2-1.xml 14.66/14.92 c 19 > 0.000000 | c 35 > 33.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 18.000000 | c 15 > 18.319300 | c 34 > 66.000000 | c 16 > 150.000000 | c 13 > 1.599130 | c 14 > 7.592460 | c 11 > 11.148500 | c 12 > 0.825579 | c 21 > 1.345020 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.832500 | c 1 > 8.060700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.832500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.353800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.66/14.93 c choco : 2.64 14.66/14.93 c mistral : 0.55 14.66/14.93 c abscon : 199.342 14.66/14.93 c 14.66/14.93 c 14.66/14.93 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/5xp1-b.xml 14.66/14.93 c 19 > 0.000000 | c 35 > 77.081900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 13.736700 | c 15 > 19.866700 | c 34 > 81.660700 | c 16 > 149.000000 | c 13 > 5.599960 | c 14 > 6.807350 | c 11 > 8.854870 | c 12 > 6.012360 | c 21 > 1.413450 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.865400 | c 1 > 8.854870 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.865400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.590000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.66/14.93 c choco : 6.4 14.66/14.93 c mistral : 2.56 14.66/14.93 c abscon : 3.13052 14.66/14.93 c 14.66/14.93 c 14.66/14.93 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-markshare1-1.xml 14.66/14.93 c 19 > 0.000000 | c 35 > 32.352900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 17.647100 | c 15 > 17.620800 | c 34 > 64.705900 | c 16 > 130.000000 | c 13 > 1.435600 | c 14 > 7.417850 | c 11 > 10.742300 | c 12 > 0.805067 | c 21 > 1.344300 | 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.385300 | c 1 > 7.820180 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.385300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.739500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.66/14.94 c choco : 2.19 14.66/14.94 c mistral : 0.37 14.66/14.94 c abscon : 175.226 14.66/14.94 c 14.66/14.94 c 14.66/14.94 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-bell5.xml 14.66/14.94 c 19 > 12.605000 | c 35 > 46.554600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 29.243700 | c 15 > 20.294600 | c 34 > 90.756300 | c 16 > 135.000000 | c 13 > 9.222100 | c 14 > 10.246700 | c 11 > 11.626200 | c 12 > 4.995200 | c 21 > 1.335460 | c 20 > 87.395000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.449700 | c 1 > 10.382600 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.445800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 24.299100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.66/14.95 c choco : 1801.0 14.66/14.95 c mistral : 247.62 14.66/14.95 c abscon : 437.054 14.66/14.95 c 14.66/14.95 c 14.66/14.95 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc205.xml 14.66/14.95 c 19 > 0.000000 | c 35 > 2.033900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.406780 | c 15 > 19.897300 | c 34 > 3.661020 | c 16 > 120.000000 | c 13 > 7.464060 | c 14 > 10.204600 | c 11 > 12.481800 | c 12 > 3.376420 | c 21 > 1.392570 | 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.190400 | c 1 > 12.481800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.190400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 31.926500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.66/14.95 c choco : 15.99 14.66/14.95 c mistral : 52.33 14.66/14.95 c abscon : 1800.11 14.66/14.95 c 14.66/14.95 c 14.66/14.95 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-pp08aCUTS.xml 14.66/14.95 c 19 > 0.000000 | c 35 > 64.598900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 20.534800 | c 15 > 20.157300 | c 34 > 127.487000 | c 16 > 147.000000 | c 13 > -0.784144 | c 14 > 10.462500 | c 11 > 12.167400 | c 12 > 2.516780 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.436900 | c 1 > 12.167400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.436900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 31.838100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.66/14.96 c choco : 482.24 14.66/14.96 c mistral : 1800.08 14.66/14.96 c abscon : 1800.1 14.66/14.96 c 14.66/14.96 c 14.66/14.96 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc50b.xml 14.66/14.96 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.558200 | c 34 > 0.000000 | c 16 > 120.000000 | c 13 > 0.606331 | c 14 > 9.525520 | c 11 > 11.422600 | c 12 > 0.996843 | c 21 > 1.326020 | 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.574600 | c 1 > 10.092800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.574600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 23.560300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.66/14.96 c choco : 3.78 14.66/14.96 c mistral : 1.05 14.66/14.96 c abscon : 1800.08 14.66/14.96 c 14.66/14.96 c 14.66/14.96 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc50a.xml 14.66/14.96 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.779300 | c 34 > 0.000000 | c 16 > 120.000000 | c 13 > 8.497930 | c 14 > 10.999300 | c 11 > 11.494900 | c 12 > 5.398850 | c 21 > 1.331250 | 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.683000 | c 1 > 10.118900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.683000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 24.671300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.66/14.97 c choco : 3.95 14.66/14.97 c mistral : 1.4 14.66/14.97 c abscon : 385.752 14.66/14.97 c 14.66/14.97 c 14.66/14.97 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc105.xml 14.66/14.97 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.666100 | c 34 > 0.000000 | c 16 > 120.000000 | c 13 > 12.584100 | c 14 > 12.282800 | c 11 > 11.418900 | c 12 > 8.622250 | c 21 > 1.373350 | 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.085700 | c 1 > 11.418900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.085700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 30.206500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.66/14.98 c choco : 24.54 14.66/14.98 c mistral : 2.61 14.66/14.98 c abscon : 1239.19 14.66/14.98 c 14.66/14.98 c 14.66/14.98 c /home/eomahony/cpZilla/CSP/pseudoSeries/course/ws97-5.xml 14.66/14.98 c 19 > 58.459200 | c 35 > 31.284000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 35.075500 | c 15 > 19.950800 | c 34 > 48.836900 | c 16 > 134.000000 | c 13 > 4.497660 | c 14 > 10.391200 | c 11 > 11.696100 | c 12 > 2.707310 | c 21 > 1.411090 | c 20 > 41.540800 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.857600 | c 1 > 9.812180 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.700400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.912900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.66/14.98 c choco : 1801.0 14.66/14.98 c mistral : 0.71 14.66/14.98 c abscon : 1800.1 14.66/14.98 c 14.66/14.98 c 14.66/14.98 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-egout.xml 14.66/14.98 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 14.66/14.99 c choco : 6.17 14.66/14.99 c mistral : 3.48 14.66/14.99 c abscon : 1800.07 14.66/14.99 c 14.66/14.99 c 14.66/14.99 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/jac3.xml 14.66/14.99 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 14.66/14.99 c choco : 9.63 14.66/14.99 c mistral : 3.51 14.66/14.99 c abscon : 4.6213 14.66/14.99 c 14.66/14.99 c 14.66/14.99 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-misc03.xml 14.66/15.00 c 19 > 0.000000 | c 35 > 105.366000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 40.000000 | c 15 > 19.853600 | c 34 > 171.951000 | c 16 > 169.000000 | c 13 > 4.829990 | c 14 > 8.442940 | c 11 > 11.734700 | c 12 > 3.200360 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.866500 | c 1 > 7.569860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.866500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 25.843600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.71/15.00 c choco : 2.64 14.71/15.00 c mistral : 1.78 14.71/15.00 c abscon : 65.1051 14.71/15.01 c 14.71/15.01 c 14.71/15.01 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-neos16.xml 14.71/15.01 c 19 > 35.173100 | c 35 > 51.487400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 58.877500 | c 15 > 19.272300 | c 34 > 96.688500 | c 16 > 128.000000 | c 13 > 2.942240 | c 14 > 8.566050 | c 11 > 13.219500 | c 12 > 1.620620 | c 21 > 1.414210 | c 20 > 64.826900 | 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.243500 | c 1 > 8.857980 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.186400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.230100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.71/15.01 c choco : 5.46 14.71/15.01 c mistral : 1800.03 14.71/15.01 c abscon : 314.036 14.71/15.01 c 14.71/15.01 c 14.71/15.01 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-neos5.xml 14.71/15.01 c 19 > 0.000000 | c 35 > 15.068500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 8.219180 | c 15 > 19.252700 | c 34 > 30.137000 | c 16 > 102.000000 | c 13 > 3.121570 | c 14 > 7.179910 | c 11 > 10.941000 | c 12 > 1.853770 | 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.311000 | c 1 > 7.348730 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.311000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 27.205100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.71/15.02 c choco : 3.04 14.71/15.02 c mistral : 0.9 14.71/15.02 c abscon : 1.9467 14.71/15.02 c 14.71/15.02 c 14.71/15.02 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/clip-b.xml 14.71/15.02 c 19 > 0.000000 | c 35 > 81.276600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 21.659600 | c 15 > 19.044600 | c 34 > 88.496500 | c 16 > 111.000000 | c 13 > 4.719060 | c 14 > 7.768180 | c 11 > 8.442940 | c 12 > 5.368030 | c 21 > 1.413200 | 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.820000 | c 1 > 8.442940 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.820000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.178400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.71/15.02 c choco : 4.16 14.71/15.02 c mistral : 1.2 14.71/15.02 c abscon : 2.05169 14.71/15.02 c 14.71/15.02 c 14.71/15.02 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-mitre.xml 14.71/15.02 c 19 > 9.584350 | c 35 > 33.271400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.467000 | c 15 > 18.214500 | c 34 > 66.542800 | c 16 > 98.000000 | c 13 > -0.028883 | c 14 > 9.923330 | c 11 > 13.388600 | c 12 > 2.211530 | c 21 > 1.414210 | c 20 > 90.415600 | 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.369600 | c 1 > 13.388600 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 16.366200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 25.787600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.71/15.03 c choco : 1801.0 14.71/15.03 c mistral : 3.9354 14.71/15.03 c abscon : 1800.1 14.71/15.03 c 14.71/15.03 c 14.71/15.03 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-noswot.xml 14.71/15.03 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 14.71/15.04 c choco : 5.46 14.71/15.04 c mistral : 1.12 14.71/15.04 c abscon : 18.4442 14.71/15.04 c 14.71/15.04 c 14.71/15.04 c Length: 40 14.71/15.04 c 6.780131669417933 36.3035812402743 41.20075052104717 41.200752770156626 106.98717813022536 134.97727244226846 166.8515238061576 166.8593651969447 167.45513440388345 174.81945113204256 174.8493016873131 182.5185440724729 184.7255638635464 210.30382145715893 228.45442981868345 231.79246357615554 234.43622949876217 236.90405574850038 239.3320071852937 253.9872667984064 257.38589758897683 258.5794231323441 259.9638357558671 271.06696318407757 279.29044183652195 282.7240178816966 284.76521851327595 284.8870731285031 284.98112613552837 285.0312043036414 285.2337710313971 286.59298227971715 296.9432441410946 297.4730020194955 298.43428927915585 299.29360833317185 302.45820200886266 309.901855504238 311.66874938361724 312.13159602579276 14.71/15.04 c 14.71/15.04 c 1.0 0.9118373806367834 0.8986949765659311 0.8986949706170512 0.7529159325028225 0.7043073388861681 0.6560732033169759 0.6560621500572843 0.655223438837121 0.6450304374179064 0.6449897663627701 0.6347077315639851 0.6318092802494675 0.6000518238504878 0.5793862199537293 0.575739646084158 0.5728839251439726 0.5702436955105359 0.5676697683804943 0.5526137221296893 0.5492355305907655 0.5480589610030225 0.5467005152203464 0.5360444804530946 0.5284160984833722 0.525294867845862 0.5234567656151579 0.5233474422732944 0.5232630927003972 0.5232181921808438 0.5230366476955056 0.5218217456984967 0.5127522922827493 0.5122965634876108 0.5114716731657633 0.5107365282790421 0.5080473532983913 0.5018322422128271 0.5003792332360446 0.5 14.71/15.05 c 14.71/15.05 c solver 0 14.71/15.05 c before 0.0 seconds: {} 0 14.71/15.05 c before 18.0 seconds: {2, 3, 6, 7, 9, 10, 18, 19, 20, 21, 23, 33, 36, 37} 8675 14.71/15.06 c before 36.0 seconds: {0, 1, 2, 3, 6, 7, 9, 10, 11, 18, 19, 20, 21, 23, 33, 36, 37, 39} 11721 14.71/15.06 c before 54.0 seconds: {0, 1, 2, 3, 6, 7, 9, 10, 11, 13, 17, 18, 19, 20, 21, 23, 33, 36, 37, 39} 12892 14.71/15.06 c before 72.0 seconds: {0, 1, 2, 3, 6, 7, 9, 10, 11, 13, 17, 18, 19, 20, 21, 23, 33, 34, 36, 37, 39} 13403 14.71/15.06 c before 180.0 seconds: {0, 1, 2, 3, 6, 7, 9, 10, 11, 13, 17, 18, 19, 20, 21, 23, 24, 33, 34, 36, 37, 39} 13932 14.71/15.06 c before 216.0 seconds: {0, 1, 2, 3, 6, 7, 9, 10, 11, 13, 17, 18, 19, 20, 21, 22, 23, 24, 33, 34, 36, 37, 39} 14478 14.71/15.06 c before 324.0 seconds: {0, 1, 2, 3, 6, 7, 9, 10, 11, 13, 17, 18, 19, 20, 21, 22, 23, 24, 33, 34, 35, 36, 37, 39} 14989 14.71/15.06 c before 396.0 seconds: {0, 1, 2, 3, 6, 7, 9, 10, 11, 13, 17, 18, 19, 20, 21, 22, 23, 24, 29, 33, 34, 35, 36, 37, 39} 15512 14.71/15.06 c before 450.0 seconds: {0, 1, 2, 3, 6, 7, 9, 10, 11, 13, 17, 18, 19, 20, 21, 22, 23, 24, 25, 29, 33, 34, 35, 36, 37, 39} 16038 14.71/15.06 c before 864.0 seconds: {0, 1, 2, 3, 4, 6, 7, 9, 10, 11, 13, 17, 18, 19, 20, 21, 22, 23, 24, 25, 29, 33, 34, 35, 36, 37, 39} 16790 14.71/15.06 c before 1026.0 seconds: {0, 1, 2, 3, 4, 6, 7, 9, 10, 11, 12, 13, 17, 18, 19, 20, 21, 22, 23, 24, 25, 29, 33, 34, 35, 36, 37, 39} 17422 14.71/15.06 c before 1242.0 seconds: {0, 1, 2, 3, 4, 6, 7, 9, 10, 11, 12, 13, 17, 18, 19, 20, 21, 22, 23, 24, 25, 29, 30, 33, 34, 35, 36, 37, 39} 17945 14.71/15.06 c before 1350.0 seconds: {0, 1, 2, 3, 4, 6, 7, 9, 10, 11, 12, 13, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 29, 30, 33, 34, 35, 36, 37, 39} 18518 14.71/15.06 c 14.71/15.06 c solver 1 14.71/15.06 c before 0.0 seconds: {} 0 14.71/15.06 c before 18.0 seconds: {2, 3, 4, 5, 6, 7, 9, 10, 11, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 28, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 18283 14.71/15.06 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 28, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 21482 14.71/15.06 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 26, 28, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 22006 14.71/15.06 c before 252.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 22531 14.71/15.06 c 14.71/15.06 c solver 2 14.71/15.06 c before 0.0 seconds: {} 0 14.71/15.06 c before 18.0 seconds: {2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 17, 18, 21, 22, 23, 24, 26, 28, 29, 32, 33, 34, 35, 36, 37, 39} 15547 14.71/15.06 c before 36.0 seconds: {2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 16, 17, 18, 19, 20, 21, 22, 23, 24, 26, 28, 29, 30, 32, 33, 34, 35, 36, 37, 39} 17745 14.71/15.06 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 16, 17, 18, 19, 20, 21, 22, 23, 24, 26, 28, 29, 30, 32, 33, 34, 35, 36, 37, 39} 19657 14.71/15.06 c before 486.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 16, 17, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 39} 20180 14.71/15.06 c 14.71/15.06 cTotal time: 116 14.71/15.06 c run abscon for 1242.0 seconds {0, 1, 2, 3, 4, 6, 7, 9, 10, 11, 12, 13, 17, 18, 19, 20, 21, 22, 23, 24, 25, 29, 30, 33, 34, 35, 36, 37, 39} 17945 14.71/15.06 c run mistral for 54.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 26, 28, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 22006 14.71/15.06 c run choco for 486.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 16, 17, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 39} 20180 14.71/15.06 c Starting solver: HOME/cpHydra_k_40/solver/abscon 14.71/15.06 c On Instance: HOME/instance-1065106-1215145819.xml 14.71/15.06 c Running for: 1242 seconds 1258.27/1259.23 c Starting solver: HOME/cpHydra_k_40/solver/mistral 1258.27/1259.23 c On Instance: HOME/instance-1065106-1215145819.xml 1258.27/1259.23 c Running for: 54 seconds 1312.25/1313.79 c Starting solver: HOME/cpHydra_k_40/solver/choco 1312.25/1313.79 c On Instance: HOME/instance-1065106-1215145819.xml 1312.25/1313.79 c Running for: 486 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-1065106-1215145819/watcher-1065106-1215145819 -o /tmp/evaluation-result-1065106-1215145819/solver-1065106-1215145819 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1065106-1215145819.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.22 2.10 2.03 4/80 15083 /proc/meminfo: memFree=1520328/2055920 swapFree=4179472/4192956 [pid=15083] ppid=15081 vsize=18572 CPUtime=0 /proc/15083/stat : 15083 (runsolver) R 15081 15083 11984 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1993557564 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 259353275687 0 0 4096 24578 0 0 0 17 1 0 0 /proc/15083/statm: 4643 292 257 25 0 2626 0 [startup+0.103014 s] /proc/loadavg: 2.22 2.10 2.03 4/80 15083 /proc/meminfo: memFree=1520328/2055920 swapFree=4179472/4192956 [pid=15083] ppid=15081 vsize=5360 CPUtime=0 /proc/15083/stat : 15083 (hydra) S 15081 15083 11984 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993557564 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15083/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.202038 s] /proc/loadavg: 2.22 2.10 2.03 4/80 15083 /proc/meminfo: memFree=1520328/2055920 swapFree=4179472/4192956 [pid=15083] ppid=15081 vsize=5360 CPUtime=0 /proc/15083/stat : 15083 (hydra) S 15081 15083 11984 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993557564 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15083/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301055 s] /proc/loadavg: 2.22 2.10 2.03 4/80 15083 /proc/meminfo: memFree=1520328/2055920 swapFree=4179472/4192956 [pid=15083] ppid=15081 vsize=5360 CPUtime=0 /proc/15083/stat : 15083 (hydra) S 15081 15083 11984 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993557564 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15083/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701129 s] /proc/loadavg: 2.22 2.10 2.03 4/80 15083 /proc/meminfo: memFree=1520328/2055920 swapFree=4179472/4192956 [pid=15083] ppid=15081 vsize=5360 CPUtime=0 /proc/15083/stat : 15083 (hydra) S 15081 15083 11984 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993557564 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15083/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50129 s] /proc/loadavg: 2.20 2.10 2.03 3/82 15087 /proc/meminfo: memFree=1513016/2055920 swapFree=4179472/4192956 [pid=15083] ppid=15081 vsize=5360 CPUtime=0 /proc/15083/stat : 15083 (hydra) S 15081 15083 11984 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993557564 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15083/statm: 1340 236 195 169 0 51 0 [pid=15087] ppid=15083 vsize=12744 CPUtime=1.47 /proc/15087/stat : 15087 (xsolve) R 15083 15083 11984 0 -1 4194304 2599 0 0 0 146 1 0 0 25 0 1 0 1993557565 13049856 2461 996147200 134512640 135239763 4294956176 18446744073709551615 5997097 0 0 4096 0 0 0 0 17 1 0 0 /proc/15087/statm: 3186 2461 361 177 0 2089 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 18104 [startup+3.1016 s] /proc/loadavg: 2.20 2.10 2.03 3/82 15087 /proc/meminfo: memFree=1510584/2055920 swapFree=4179472/4192956 [pid=15083] ppid=15081 vsize=5360 CPUtime=0 /proc/15083/stat : 15083 (hydra) S 15081 15083 11984 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993557564 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15083/statm: 1340 236 195 169 0 51 0 [pid=15087] ppid=15083 vsize=16368 CPUtime=3.05 /proc/15087/stat : 15087 (xsolve) R 15083 15083 11984 0 -1 4194304 3461 0 0 0 303 2 0 0 25 0 1 0 1993557565 16760832 3323 996147200 134512640 135239763 4294956176 18446744073709551615 134610280 0 0 4096 0 0 0 0 17 1 0 0 /proc/15087/statm: 4092 3323 361 177 0 2995 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 21728 [startup+6.30124 s] /proc/loadavg: 2.18 2.10 2.03 3/82 15087 /proc/meminfo: memFree=1451384/2055920 swapFree=4179472/4192956 [pid=15083] ppid=15081 vsize=5360 CPUtime=0 /proc/15083/stat : 15083 (hydra) S 15081 15083 11984 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993557564 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15083/statm: 1340 236 195 169 0 51 0 [pid=15087] ppid=15083 vsize=224932 CPUtime=6.22 /proc/15087/stat : 15087 (xsolve) R 15083 15083 11984 0 -1 4194304 55886 0 0 0 592 30 0 0 25 0 1 0 1993557565 230330368 54906 996147200 134512640 135239763 4294956176 18446744073709551615 135095037 0 0 4096 0 0 0 0 17 1 0 0 /proc/15087/statm: 56233 54906 431 177 0 55136 0 Current children cumulated CPU time (s) 6.22 Current children cumulated vsize (KiB) 230292 [startup+12.7015 s] /proc/loadavg: 2.25 2.11 2.03 3/90 15099 /proc/meminfo: memFree=1501496/2055920 swapFree=4179472/4192956 [pid=15083] ppid=15081 vsize=5360 CPUtime=8.45 /proc/15083/stat : 15083 (hydra) S 15081 15083 11984 0 -1 4194304 375 60087 0 0 0 0 809 36 18 0 1 0 1993557564 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15083/statm: 1340 238 196 169 0 51 0 [pid=15091] ppid=15083 vsize=197112 CPUtime=4.09 /proc/15091/stat : 15091 (java) S 15083 15083 11984 0 -1 0 9245 0 1 0 396 13 0 0 18 0 9 0 1993558420 201842688 7661 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/15091/statm: 49278 7661 2541 9 0 43860 0 [pid=15091/tid=15092] ppid=15083 vsize=197112 CPUtime=3.18 /proc/15091/task/15092/stat : 15092 (java) R 15083 15083 11984 0 -1 64 3427 0 1 0 314 4 0 0 25 0 9 0 1993558421 201842688 7661 996147200 134512640 134550740 4294955968 18446744073709551615 4126447056 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15091/tid=15093] ppid=15083 vsize=197112 CPUtime=0.7 /proc/15091/task/15093/stat : 15093 (java) S 15083 15083 11984 0 -1 64 4466 0 0 0 63 7 0 0 16 0 9 0 1993558422 201842688 7661 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=15091/tid=15094] ppid=15083 vsize=197112 CPUtime=0 /proc/15091/task/15094/stat : 15094 (java) S 15083 15083 11984 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1993558422 201842688 7661 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15091/tid=15095] ppid=15083 vsize=197112 CPUtime=0 /proc/15091/task/15095/stat : 15095 (java) S 15083 15083 11984 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1993558422 201842688 7661 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15091/tid=15096] ppid=15083 vsize=197112 CPUtime=0 /proc/15091/task/15096/stat : 15096 (java) S 15083 15083 11984 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1993558424 201842688 7661 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15091/tid=15097] ppid=15083 vsize=197112 CPUtime=0.17 /proc/15091/task/15097/stat : 15097 (java) S 15083 15083 11984 0 -1 64 627 0 0 0 17 0 0 0 16 0 9 0 1993558424 201842688 7661 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15091/tid=15098] ppid=15083 vsize=197112 CPUtime=0 /proc/15091/task/15098/stat : 15098 (java) S 15083 15083 11984 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1993558424 201842688 7661 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15091/tid=15099] ppid=15083 vsize=197112 CPUtime=0 /proc/15091/task/15099/stat : 15099 (java) S 15083 15083 11984 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1993558424 201842688 7661 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.54 Current children cumulated vsize (KiB) 202472 [startup+25.503 s] /proc/loadavg: 2.19 2.11 2.03 3/102 15111 /proc/meminfo: memFree=1406424/2055920 swapFree=4179472/4192956 [pid=15083] ppid=15081 vsize=5360 CPUtime=8.45 /proc/15083/stat : 15083 (hydra) S 15081 15083 11984 0 -1 4194304 375 60087 0 0 0 0 809 36 18 0 1 0 1993557564 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15083/statm: 1340 238 196 169 0 51 0 [pid=15091] ppid=15083 vsize=197436 CPUtime=6.32 /proc/15091/stat : 15091 (java) S 15083 15083 11984 0 -1 0 13973 0 1 0 611 21 0 0 18 0 10 0 1993558420 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/15091/statm: 49359 9485 2544 9 0 43941 0 [pid=15101] ppid=15091 vsize=5356 CPUtime=0 /proc/15101/stat : 15101 (abscon) S 15091 15083 11984 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1993559071 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 259353273156 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/15101/statm: 1339 237 196 169 0 50 0 [pid=15102] ppid=15101 vsize=655660 CPUtime=10.4 /proc/15102/stat : 15102 (java) S 15101 15083 11984 0 -1 0 24120 0 1 0 1023 17 0 0 18 0 9 0 1993559072 671395840 23597 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/15102/statm: 163915 23597 2004 9 0 158443 0 [pid=15102/tid=15104] ppid=15101 vsize=655660 CPUtime=9.65 /proc/15102/task/15104/stat : 15104 (java) R 15101 15083 11984 0 -1 64 12462 0 1 0 955 10 0 0 25 0 9 0 1993559072 671395840 23597 996147200 134512640 134550740 4294955824 18446744073709551615 4126830852 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15102/tid=15105] ppid=15101 vsize=655660 CPUtime=0.5 /proc/15102/task/15105/stat : 15105 (java) S 15101 15083 11984 0 -1 64 10464 0 0 0 45 5 0 0 16 0 9 0 1993559074 671395840 23597 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=15102/tid=15106] ppid=15101 vsize=655660 CPUtime=0 /proc/15102/task/15106/stat : 15106 (java) S 15101 15083 11984 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1993559074 671395840 23597 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15102/tid=15107] ppid=15101 vsize=655660 CPUtime=0 /proc/15102/task/15107/stat : 15107 (java) S 15101 15083 11984 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1993559074 671395840 23597 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15102/tid=15108] ppid=15101 vsize=655660 CPUtime=0 /proc/15102/task/15108/stat : 15108 (java) S 15101 15083 11984 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1993559076 671395840 23597 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15102/tid=15109] ppid=15101 vsize=655660 CPUtime=0.22 /proc/15102/task/15109/stat : 15109 (java) S 15101 15083 11984 0 -1 64 649 0 0 0 22 0 0 0 15 0 9 0 1993559076 671395840 23597 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15102/tid=15110] ppid=15101 vsize=655660 CPUtime=0 /proc/15102/task/15110/stat : 15110 (java) S 15101 15083 11984 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1993559076 671395840 23597 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15102/tid=15111] ppid=15101 vsize=655660 CPUtime=0 /proc/15102/task/15111/stat : 15111 (java) S 15101 15083 11984 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1993559076 671395840 23597 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15103] ppid=15101 vsize=7044 CPUtime=0 /proc/15103/stat : 15103 (translate) S 15101 15083 11984 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1993559072 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 259353444434 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/15103/statm: 1761 213 182 1 0 41 0 [pid=15091/tid=15092] ppid=15083 vsize=197436 CPUtime=4.87 /proc/15091/task/15092/stat : 15092 (java) S 15083 15083 11984 0 -1 64 3907 0 1 0 480 7 0 0 25 0 10 0 1993558421 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=15091/tid=15093] ppid=15083 vsize=197436 CPUtime=1.17 /proc/15091/task/15093/stat : 15093 (java) S 15083 15083 11984 0 -1 64 8573 0 0 0 106 11 0 0 16 0 10 0 1993558422 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=15091/tid=15094] ppid=15083 vsize=197436 CPUtime=0 /proc/15091/task/15094/stat : 15094 (java) S 15083 15083 11984 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993558422 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15091/tid=15095] ppid=15083 vsize=197436 CPUtime=0 /proc/15091/task/15095/stat : 15095 (java) S 15083 15083 11984 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1993558422 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15091/tid=15096] ppid=15083 vsize=197436 CPUtime=0 /proc/15091/task/15096/stat : 15096 (java) S 15083 15083 11984 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1993558424 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15091/tid=15097] ppid=15083 vsize=197436 CPUtime=0.24 /proc/15091/task/15097/stat : 15097 (java) S 15083 15083 11984 0 -1 64 667 0 0 0 24 0 0 0 16 0 10 0 1993558424 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15091/tid=15098] ppid=15083 vsize=197436 CPUtime=0 /proc/15091/task/15098/stat : 15098 (java) S 15083 15083 11984 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1993558424 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15091/tid=15099] ppid=15083 vsize=197436 CPUtime=0 /proc/15091/task/15099/stat : 15099 (java) S 15083 15083 11984 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1993558424 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15091/tid=15100] ppid=15083 vsize=197436 CPUtime=0 /proc/15091/task/15100/stat : 15100 (java) S 15083 15083 11984 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1993559071 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.17 Current children cumulated vsize (KiB) 870856 [startup+51.1021 s] /proc/loadavg: 2.18 2.11 2.04 4/102 15111 /proc/meminfo: memFree=1291352/2055920 swapFree=4179472/4192956 [pid=15083] ppid=15081 vsize=5360 CPUtime=8.45 /proc/15083/stat : 15083 (hydra) S 15081 15083 11984 0 -1 4194304 375 60087 0 0 0 0 809 36 18 0 1 0 1993557564 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15083/statm: 1340 238 196 169 0 51 0 [pid=15091] ppid=15083 vsize=197436 CPUtime=6.32 /proc/15091/stat : 15091 (java) S 15083 15083 11984 0 -1 0 13973 0 1 0 611 21 0 0 18 0 10 0 1993558420 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/15091/statm: 49359 9485 2544 9 0 43941 0 [pid=15101] ppid=15091 vsize=5356 CPUtime=0 /proc/15101/stat : 15101 (abscon) S 15091 15083 11984 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1993559071 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 259353273156 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/15101/statm: 1339 237 196 169 0 50 0 [pid=15102] ppid=15101 vsize=655660 CPUtime=36 /proc/15102/stat : 15102 (java) S 15101 15083 11984 0 -1 0 53119 0 1 0 3567 33 0 0 18 0 9 0 1993559072 671395840 52367 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/15102/statm: 163915 52367 2616 9 0 158443 0 [pid=15102/tid=15104] ppid=15101 vsize=655660 CPUtime=34.33 /proc/15102/task/15104/stat : 15104 (java) R 15101 15083 11984 0 -1 64 12580 0 1 0 3420 13 0 0 25 0 9 0 1993559072 671395840 52367 996147200 134512640 134550740 4294955824 18446744073709551615 4126457635 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15102/tid=15105] ppid=15101 vsize=655660 CPUtime=1.29 /proc/15102/task/15105/stat : 15105 (java) S 15101 15083 11984 0 -1 64 39266 0 0 0 112 17 0 0 16 0 9 0 1993559074 671395840 52367 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=15102/tid=15106] ppid=15101 vsize=655660 CPUtime=0 /proc/15102/task/15106/stat : 15106 (java) S 15101 15083 11984 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1993559074 671395840 52367 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15102/tid=15107] ppid=15101 vsize=655660 CPUtime=0 /proc/15102/task/15107/stat : 15107 (java) S 15101 15083 11984 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 1993559074 671395840 52367 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15102/tid=15108] ppid=15101 vsize=655660 CPUtime=0 /proc/15102/task/15108/stat : 15108 (java) S 15101 15083 11984 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1993559076 671395840 52367 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/15091/statm: 49440 9527 2545 9 0 44022 0 [pid=15474] ppid=15091 vsize=5356 CPUtime=0 /proc/15474/stat : 15474 (choco) S 15091 15083 11984 0 -1 4194304 298 0 0 0 0 0 0 0 18 0 1 0 1993688944 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 259353273156 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/15474/statm: 1339 238 197 169 0 50 0 [pid=15475] ppid=15474 vsize=655476 CPUtime=459.37 /proc/15475/stat : 15475 (java) S 15474 15083 11984 0 -1 0 29411 0 1 0 45811 126 0 0 18 0 9 0 1993688945 671207424 28857 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/15475/statm: 163869 28857 1934 9 0 158398 0 [pid=15475/tid=15476] ppid=15474 vsize=655476 CPUtime=457.69 /proc/15475/task/15476/stat : 15476 (java) R 15474 15083 11984 0 -1 64 12243 0 1 0 45652 117 0 0 25 0 9 0 1993688946 671207424 28857 996147200 134512640 134550740 4294955936 18446744073709551615 4127200781 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15475/tid=15477] ppid=15474 vsize=655476 CPUtime=1.26 /proc/15475/task/15477/stat : 15477 (java) S 15474 15083 11984 0 -1 64 15940 0 0 0 119 7 0 0 16 0 9 0 1993688947 671207424 28857 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=15475/tid=15478] ppid=15474 vsize=655476 CPUtime=0 /proc/15475/task/15478/stat : 15478 (java) S 15474 15083 11984 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1993688947 671207424 28857 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15475/tid=15479] ppid=15474 vsize=655476 CPUtime=0 /proc/15475/task/15479/stat : 15479 (java) S 15474 15083 11984 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1993688947 671207424 28857 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15475/tid=15480] ppid=15474 vsize=655476 CPUtime=0 /proc/15475/task/15480/stat : 15480 (java) S 15474 15083 11984 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1993688949 671207424 28857 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15475/tid=15481] ppid=15474 vsize=655476 CPUtime=0.4 /proc/15475/task/15481/stat : 15481 (java) S 15474 15083 11984 0 -1 64 674 0 0 0 39 1 0 0 17 0 9 0 1993688949 671207424 28857 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15475/tid=15482] ppid=15474 vsize=655476 CPUtime=0 /proc/15475/task/15482/stat : 15482 (java) S 15474 15083 11984 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1993688949 671207424 28857 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15475/tid=15483] ppid=15474 vsize=655476 CPUtime=0 /proc/15475/task/15483/stat : 15483 (java) S 15474 15083 11984 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1993688949 671207424 28857 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15091/tid=15092] ppid=15083 vsize=197760 CPUtime=1302.44 /proc/15091/task/15092/stat : 15092 (java) S 15083 15083 11984 0 -1 64 4066 136101 1 1 480 7 129671 86 16 0 10 0 1993558421 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=15091/tid=15093] ppid=15083 vsize=197760 CPUtime=1298.74 /proc/15091/task/15093/stat : 15093 (java) S 15083 15083 11984 0 -1 64 8611 136101 0 1 106 11 129671 86 16 0 10 0 1993558422 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=15091/tid=15094] ppid=15083 vsize=197760 CPUtime=1297.57 /proc/15091/task/15094/stat : 15094 (java) S 15083 15083 11984 0 -1 64 11 136101 0 1 0 0 129671 86 16 0 10 0 1993558422 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15091/tid=15095] ppid=15083 vsize=197760 CPUtime=1297.57 /proc/15091/task/15095/stat : 15095 (java) S 15083 15083 11984 0 -1 64 5 136101 0 1 0 0 129671 86 15 0 10 0 1993558422 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15091/tid=15096] ppid=15083 vsize=197760 CPUtime=1297.57 /proc/15091/task/15096/stat : 15096 (java) S 15083 15083 11984 0 -1 64 0 136101 0 1 0 0 129671 86 18 0 10 0 1993558424 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15091/tid=15097] ppid=15083 vsize=197760 CPUtime=1297.81 /proc/15091/task/15097/stat : 15097 (java) S 15083 15083 11984 0 -1 64 695 136101 0 1 24 0 129671 86 16 0 10 0 1993558424 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15091/tid=15098] ppid=15083 vsize=197760 CPUtime=1297.57 /proc/15091/task/15098/stat : 15098 (java) S 15083 15083 11984 0 -1 64 1 136101 0 1 0 0 129671 86 19 0 10 0 1993558424 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15091/tid=15099] ppid=15083 vsize=197760 CPUtime=1297.57 /proc/15091/task/15099/stat : 15099 (java) S 15083 15083 11984 0 -1 64 42 136101 0 1 0 0 129671 86 15 0 10 0 1993558424 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15091/tid=15473] ppid=15083 vsize=197760 CPUtime=1297.57 /proc/15091/task/15473/stat : 15473 (java) S 15083 15083 11984 0 -1 64 42 136101 0 1 0 0 129671 86 17 0 10 0 1993688944 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) 1771.73 Current children cumulated vsize (KiB) 863952 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1811.2 s] /proc/loadavg: 1.99 1.97 1.99 3/102 15483 /proc/meminfo: memFree=1566744/2055920 swapFree=4179472/4192956 [pid=15083] ppid=15081 vsize=5360 CPUtime=8.45 /proc/15083/stat : 15083 (hydra) S 15081 15083 11984 0 -1 4194304 375 60087 0 0 0 0 809 36 18 0 1 0 1993557564 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15083/statm: 1340 238 196 169 0 51 0 [pid=15091] ppid=15083 vsize=197760 CPUtime=1303.91 /proc/15091/stat : 15091 (java) S 15083 15083 11984 0 -1 0 14329 136101 1 1 612 22 129671 86 18 0 10 0 1993558420 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/15091/statm: 49440 9527 2545 9 0 44022 0 [pid=15474] ppid=15091 vsize=5356 CPUtime=0 /proc/15474/stat : 15474 (choco) S 15091 15083 11984 0 -1 4194304 298 0 0 0 0 0 0 0 18 0 1 0 1993688944 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 259353273156 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/15474/statm: 1339 238 197 169 0 50 0 [pid=15475] ppid=15474 vsize=655476 CPUtime=487.71 /proc/15475/stat : 15475 (java) S 15474 15083 11984 0 -1 0 29415 0 1 0 48639 132 0 0 18 0 9 0 1993688945 671207424 28858 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/15475/statm: 163869 28858 1934 9 0 158398 0 [pid=15475/tid=15476] ppid=15474 vsize=655476 CPUtime=486.01 /proc/15475/task/15476/stat : 15476 (java) R 15474 15083 11984 0 -1 64 12246 0 1 0 48479 122 0 0 25 0 9 0 1993688946 671207424 28858 996147200 134512640 134550740 4294955936 18446744073709551615 4127199304 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15475/tid=15477] ppid=15474 vsize=655476 CPUtime=1.26 /proc/15475/task/15477/stat : 15477 (java) S 15474 15083 11984 0 -1 64 15941 0 0 0 119 7 0 0 16 0 9 0 1993688947 671207424 28858 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=15475/tid=15478] ppid=15474 vsize=655476 CPUtime=0 /proc/15475/task/15478/stat : 15478 (java) S 15474 15083 11984 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1993688947 671207424 28858 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15475/tid=15479] ppid=15474 vsize=655476 CPUtime=0 /proc/15475/task/15479/stat : 15479 (java) S 15474 15083 11984 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1993688947 671207424 28858 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15475/tid=15480] ppid=15474 vsize=655476 CPUtime=0 /proc/15475/task/15480/stat : 15480 (java) S 15474 15083 11984 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1993688949 671207424 28858 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15475/tid=15481] ppid=15474 vsize=655476 CPUtime=0.4 /proc/15475/task/15481/stat : 15481 (java) S 15474 15083 11984 0 -1 64 674 0 0 0 39 1 0 0 17 0 9 0 1993688949 671207424 28858 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15475/tid=15482] ppid=15474 vsize=655476 CPUtime=0 /proc/15475/task/15482/stat : 15482 (java) S 15474 15083 11984 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1993688949 671207424 28858 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15475/tid=15483] ppid=15474 vsize=655476 CPUtime=0 /proc/15475/task/15483/stat : 15483 (java) S 15474 15083 11984 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1993688949 671207424 28858 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15091/tid=15092] ppid=15083 vsize=197760 CPUtime=1302.44 /proc/15091/task/15092/stat : 15092 (java) S 15083 15083 11984 0 -1 64 4066 136101 1 1 480 7 129671 86 16 0 10 0 1993558421 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=15091/tid=15093] ppid=15083 vsize=197760 CPUtime=1298.74 /proc/15091/task/15093/stat : 15093 (java) S 15083 15083 11984 0 -1 64 8611 136101 0 1 106 11 129671 86 16 0 10 0 1993558422 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=15091/tid=15094] ppid=15083 vsize=197760 CPUtime=1297.57 /proc/15091/task/15094/stat : 15094 (java) S 15083 15083 11984 0 -1 64 11 136101 0 1 0 0 129671 86 16 0 10 0 1993558422 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15091/tid=15095] ppid=15083 vsize=197760 CPUtime=1297.57 /proc/15091/task/15095/stat : 15095 (java) S 15083 15083 11984 0 -1 64 5 136101 0 1 0 0 129671 86 15 0 10 0 1993558422 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15091/tid=15096] ppid=15083 vsize=197760 CPUtime=1297.57 /proc/15091/task/15096/stat : 15096 (java) S 15083 15083 11984 0 -1 64 0 136101 0 1 0 0 129671 86 18 0 10 0 1993558424 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15091/tid=15097] ppid=15083 vsize=197760 CPUtime=1297.81 /proc/15091/task/15097/stat : 15097 (java) S 15083 15083 11984 0 -1 64 695 136101 0 1 24 0 129671 86 16 0 10 0 1993558424 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15091/tid=15098] ppid=15083 vsize=197760 CPUtime=1297.57 /proc/15091/task/15098/stat : 15098 (java) S 15083 15083 11984 0 -1 64 1 136101 0 1 0 0 129671 86 19 0 10 0 1993558424 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15091/tid=15099] ppid=15083 vsize=197760 CPUtime=1297.57 /proc/15091/task/15099/stat : 15099 (java) S 15083 15083 11984 0 -1 64 42 136101 0 1 0 0 129671 86 15 0 10 0 1993558424 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15091/tid=15473] ppid=15083 vsize=197760 CPUtime=1297.57 /proc/15091/task/15473/stat : 15473 (java) S 15083 15083 11984 0 -1 64 42 136101 0 1 0 0 129671 86 17 0 10 0 1993688944 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.07 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 [startup+1811.2 s] /proc/loadavg: 1.99 1.97 1.99 3/102 15483 /proc/meminfo: memFree=1566744/2055920 swapFree=4179472/4192956 [pid=15083] ppid=15081 vsize=5360 CPUtime=8.45 /proc/15083/stat : 15083 (hydra) S 15081 15083 11984 0 -1 4194304 375 60087 0 0 0 0 809 36 18 0 1 0 1993557564 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15083/statm: 1340 238 196 169 0 51 0 [pid=15091] ppid=15083 vsize=197760 CPUtime=1303.91 /proc/15091/stat : 15091 (java) S 15083 15083 11984 0 -1 0 14329 136101 1 1 612 22 129671 86 18 0 10 0 1993558420 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/15091/statm: 49440 9527 2545 9 0 44022 0 [pid=15474] ppid=15091 vsize=5356 CPUtime=0 /proc/15474/stat : 15474 (choco) S 15091 15083 11984 0 -1 4194304 298 0 0 0 0 0 0 0 18 0 1 0 1993688944 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 259353273156 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/15474/statm: 1339 238 197 169 0 50 0 [pid=15475] ppid=15474 vsize=655476 CPUtime=487.71 /proc/15475/stat : 15475 (java) S 15474 15083 11984 0 -1 0 29415 0 1 0 48639 132 0 0 18 0 9 0 1993688945 671207424 28858 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/15475/statm: 163869 28858 1934 9 0 158398 0 [pid=15475/tid=15476] ppid=15474 vsize=655476 CPUtime=486.01 /proc/15475/task/15476/stat : 15476 (java) R 15474 15083 11984 0 -1 64 12246 0 1 0 48479 122 0 0 25 0 9 0 1993688946 671207424 28858 996147200 134512640 134550740 4294955936 18446744073709551615 4127199304 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15475/tid=15477] ppid=15474 vsize=655476 CPUtime=1.26 /proc/15475/task/15477/stat : 15477 (java) S 15474 15083 11984 0 -1 64 15941 0 0 0 119 7 0 0 16 0 9 0 1993688947 671207424 28858 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=15475/tid=15478] ppid=15474 vsize=655476 CPUtime=0 /proc/15475/task/15478/stat : 15478 (java) S 15474 15083 11984 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1993688947 671207424 28858 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15475/tid=15479] ppid=15474 vsize=655476 CPUtime=0 /proc/15475/task/15479/stat : 15479 (java) S 15474 15083 11984 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1993688947 671207424 28858 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15475/tid=15480] ppid=15474 vsize=655476 CPUtime=0 /proc/15475/task/15480/stat : 15480 (java) S 15474 15083 11984 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1993688949 671207424 28858 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15475/tid=15481] ppid=15474 vsize=655476 CPUtime=0.4 /proc/15475/task/15481/stat : 15481 (java) S 15474 15083 11984 0 -1 64 674 0 0 0 39 1 0 0 17 0 9 0 1993688949 671207424 28858 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15475/tid=15482] ppid=15474 vsize=655476 CPUtime=0 /proc/15475/task/15482/stat : 15482 (java) S 15474 15083 11984 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1993688949 671207424 28858 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15475/tid=15483] ppid=15474 vsize=655476 CPUtime=0 /proc/15475/task/15483/stat : 15483 (java) S 15474 15083 11984 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1993688949 671207424 28858 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15091/tid=15092] ppid=15083 vsize=197760 CPUtime=1302.44 /proc/15091/task/15092/stat : 15092 (java) S 15083 15083 11984 0 -1 64 4066 136101 1 1 480 7 129671 86 16 0 10 0 1993558421 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=15091/tid=15093] ppid=15083 vsize=197760 CPUtime=1298.74 /proc/15091/task/15093/stat : 15093 (java) S 15083 15083 11984 0 -1 64 8611 136101 0 1 106 11 129671 86 16 0 10 0 1993558422 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=15091/tid=15094] ppid=15083 vsize=197760 CPUtime=1297.57 /proc/15091/task/15094/stat : 15094 (java) S 15083 15083 11984 0 -1 64 11 136101 0 1 0 0 129671 86 16 0 10 0 1993558422 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15091/tid=15095] ppid=15083 vsize=197760 CPUtime=1297.57 /proc/15091/task/15095/stat : 15095 (java) S 15083 15083 11984 0 -1 64 5 136101 0 1 0 0 129671 86 15 0 10 0 1993558422 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15091/tid=15096] ppid=15083 vsize=197760 CPUtime=1297.57 /proc/15091/task/15096/stat : 15096 (java) S 15083 15083 11984 0 -1 64 0 136101 0 1 0 0 129671 86 18 0 10 0 1993558424 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15091/tid=15097] ppid=15083 vsize=197760 CPUtime=1297.81 /proc/15091/task/15097/stat : 15097 (java) S 15083 15083 11984 0 -1 64 695 136101 0 1 24 0 129671 86 16 0 10 0 1993558424 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15091/tid=15098] ppid=15083 vsize=197760 CPUtime=1297.57 /proc/15091/task/15098/stat : 15098 (java) S 15083 15083 11984 0 -1 64 1 136101 0 1 0 0 129671 86 19 0 10 0 1993558424 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15091/tid=15099] ppid=15083 vsize=197760 CPUtime=1297.57 /proc/15091/task/15099/stat : 15099 (java) S 15083 15083 11984 0 -1 64 42 136101 0 1 0 0 129671 86 15 0 10 0 1993558424 202506240 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15091/tid=15473] ppid=15083 vsize=197760 CPUtime=1297.57 /proc/15091/task/15473/stat : 15473 (java) S 15083 15083 11984 0 -1 64 42 136101 0 1 0 0 129671 86 17 0 10 0 1993688944 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.07 Current children cumulated vsize (KiB) 863952 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 15083 and gives # childrusage.ru_utime.tv_sec=8 # childrusage.ru_utime.tv_usec=94769 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=368943 # CPU time returned by wait4() is 8.46371 # 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): 1811.24 CPU time (s): 1800.07 CPU user time (s): 1797.31 CPU system time (s): 2.76 CPU usage (%): 99.3836 Max. virtual memory (cumulated for all children) (KiB): 870856 getrusage(RUSAGE_CHILDREN,...) data: user time used= 8.09477 system time used= 0.368943 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 60462 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= 31 involuntary context switches= 375 runsolver used 6.63699 second user time and 18.7681 second system time The end
Begin job on node1 at 2008-07-04 06:30:19 IDJOB=1065106 IDBENCH=55035 IDSOLVER=366 FILE ID=node1/1065106-1215145819 PBS_JOBID= 7877229 Free space on /tmp= 66544 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/pseudo/mps/normalized-mps-air05.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1065106-1215145819/watcher-1065106-1215145819 -o /tmp/evaluation-result-1065106-1215145819/solver-1065106-1215145819 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1065106-1215145819.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 37e5fd3484da66ae9d2e1835399ce3e1 RANDOM SEED=758861658 node1.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 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.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1520808 kB Buffers: 39768 kB Cached: 176812 kB SwapCached: 7548 kB Active: 405828 kB Inactive: 76688 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1520808 kB SwapTotal: 4192956 kB SwapFree: 4179472 kB Dirty: 27688 kB Writeback: 0 kB Mapped: 282304 kB Slab: 37292 kB Committed_AS: 3904080 kB PageTables: 2356 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 node1 at 2008-07-04 07:00:33