Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | ? (TO) | 1800 | 1824.04 |
Name | csp/pseudo/mps/ normalized-mps-air06.xml |
MD5SUM | 00668b6a7dafa5fe6313e8c116ffb6c0 |
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 | 912.34 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 8627 |
Number of constraints | 1640 |
Maximum constraint arity | 461 |
Maximum domain size | 2 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 1640 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 14.19/14.48 c CASE TO CLASSIFY: 14.19/14.48 c Case: 0 14.19/14.48 c 19 > 0.792683 | c 35 > 20.012200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 4.317070 | c 15 > 20.558400 | c 34 > 30.018300 | c 16 > 461.000000 | c 13 > 2.219890 | c 14 > 9.361940 | c 11 > 13.074100 | c 12 > 4.037100 | c 21 > 1.414090 | c 20 > 99.207300 | 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.684900 | c 1 > 13.074100 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 17.684700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 23.242300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 14.19/14.49 c choco : 1801.0 14.19/14.49 c mistral : 1801.0 14.19/14.49 c abscon : 1801.0 14.19/14.49 c 14.19/14.49 c 14.48/14.76 c List of same ones: 40 14.48/14.76 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-air01.xml 14.48/14.76 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.48/14.77 c choco : 8.61 14.48/14.77 c mistral : 2.26 14.48/14.77 c abscon : 5.2622 14.48/14.77 c 14.48/14.77 c 14.48/14.77 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-air01.xml 14.48/14.77 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.48/14.78 c choco : 8.6 14.48/14.78 c mistral : 2.27 14.48/14.78 c abscon : 5.8991 14.48/14.78 c 14.48/14.78 c 14.48/14.78 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/air05.xml 14.48/14.78 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.48/14.79 c choco : 81.31 14.48/14.79 c mistral : 24.24 14.48/14.79 c abscon : 29.0936 14.48/14.79 c 14.48/14.79 c 14.48/14.79 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/air04.xml 14.48/14.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 14.58/14.80 c choco : 83.64 14.58/14.80 c mistral : 28.58 14.58/14.80 c abscon : 31.3522 14.58/14.80 c 14.58/14.80 c 14.58/14.80 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-cracpb1.xml 14.58/14.80 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.58/14.81 c choco : 5.58 14.58/14.81 c mistral : 2.07 14.58/14.81 c abscon : 24.1083 14.58/14.81 c 14.58/14.81 c 14.58/14.81 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-kb2.xml 14.58/14.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 14.58/14.82 c choco : 9.38 14.58/14.82 c mistral : 8.53 14.58/14.82 c abscon : 853.293 14.58/14.82 c 14.58/14.82 c 14.58/14.82 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-afiro.xml 14.58/14.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 14.58/14.83 c choco : 11.35 14.58/14.83 c mistral : 6.16 14.58/14.83 c abscon : 1800.07 14.58/14.83 c 14.58/14.83 c 14.58/14.83 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/p2756.xml 14.58/14.83 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.58/14.84 c choco : 8.43 14.58/14.84 c mistral : 1.57 14.58/14.84 c abscon : 42.6915 14.58/14.84 c 14.58/14.84 c 14.58/14.84 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-stocfor1.xml 14.58/14.84 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.58/14.84 c choco : 1801.0 14.58/14.84 c mistral : 18.05 14.58/14.84 c abscon : 1800.09 14.58/14.84 c 14.58/14.84 c 14.58/14.84 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-misc07.xml 14.58/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.58/14.85 c choco : 5.96 14.58/14.85 c mistral : 22.01 14.58/14.85 c abscon : 1008.63 14.58/14.85 c 14.58/14.85 c 14.58/14.85 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-mas74.xml 14.58/14.85 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.58/14.86 c choco : 2.83 14.58/14.86 c mistral : 0.65 14.58/14.86 c abscon : 8.5807 14.58/14.86 c 14.58/14.86 c 14.58/14.87 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-mas76.xml 14.58/14.87 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.58/14.88 c choco : 2.67 14.58/14.88 c mistral : 0.58 14.58/14.88 c abscon : 8.38772 14.58/14.88 c 14.58/14.88 c 14.58/14.88 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/mod008.xml 14.58/14.88 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.58/14.89 c choco : 2.44 14.58/14.89 c mistral : 0.44 14.58/14.89 c abscon : 1.3238 14.58/14.89 c 14.58/14.89 c 14.58/14.89 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-mod008.xml 14.58/14.89 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.58/14.89 c choco : 2.41 14.58/14.89 c mistral : 0.4 14.58/14.89 c abscon : 1.3208 14.58/14.89 c 14.58/14.89 c 14.58/14.89 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/jac3.xml 14.58/14.89 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.65/14.91 c choco : 9.63 14.65/14.91 c mistral : 3.51 14.65/14.91 c abscon : 4.6213 14.65/14.91 c 14.65/14.91 c 14.65/14.91 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-seymour1.xml 14.65/14.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 14.65/14.91 c choco : 1801.0 14.65/14.91 c mistral : 14.2628 14.65/14.91 c abscon : 40.6598 14.65/14.91 c 14.65/14.91 c 14.65/14.91 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-pp08a.xml 14.65/14.91 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.65/14.92 c choco : 18.53 14.65/14.92 c mistral : 1800.06 14.65/14.92 c abscon : 1348.66 14.65/14.92 c 14.65/14.92 c 14.65/14.92 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-neos20.xml 14.65/14.92 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.65/14.93 c choco : 23.83 14.65/14.93 c mistral : 4.90325 14.65/14.93 c abscon : 7.12692 14.65/14.93 c 14.65/14.93 c 14.65/14.93 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-7-210-60-2-10_glb.xml 14.65/14.93 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.65/14.93 c choco : 1801.0 14.65/14.93 c mistral : 4.54 14.65/14.93 c abscon : 1801.0 14.65/14.93 c 14.65/14.93 c 14.65/14.93 c /home/eomahony/cpZilla/CSP/pseudoSeries/course/ss97-4.xml 14.65/14.93 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.65/14.94 c choco : 1801.0 14.65/14.94 c mistral : 4.13 14.65/14.94 c abscon : 1800.06 14.65/14.94 c 14.65/14.94 c 14.65/14.94 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-egout.xml 14.65/14.94 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.65/14.95 c choco : 6.17 14.65/14.95 c mistral : 3.48 14.65/14.95 c abscon : 1800.07 14.65/14.95 c 14.65/14.95 c 14.65/14.95 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/e-am-pi.xml 14.65/14.95 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.65/14.96 c choco : 16.5 14.65/14.96 c mistral : 4.84 14.65/14.96 c abscon : 6.63899 14.65/14.96 c 14.65/14.96 c 14.65/14.96 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-noswot.xml 14.65/14.96 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.65/14.96 c choco : 5.46 14.65/14.96 c mistral : 1.12 14.65/14.96 c abscon : 18.4442 14.65/14.96 c 14.65/14.96 c 14.65/14.96 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/apex4-a.xml 14.65/14.96 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.65/14.97 c choco : 24.35 14.65/14.97 c mistral : 3.62 14.65/14.97 c abscon : 12.2411 14.65/14.97 c 14.65/14.97 c 14.65/14.97 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-markshare2-1.xml 14.65/14.97 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.65/14.97 c choco : 2.64 14.65/14.97 c mistral : 0.55 14.65/14.97 c abscon : 199.342 14.65/14.97 c 14.65/14.97 c 14.65/14.97 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/ex5-pi.xml 14.65/14.98 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.65/14.98 c choco : 10.89 14.65/14.98 c mistral : 4.98 14.65/14.98 c abscon : 7.27989 14.65/14.98 c 14.65/14.98 c 14.65/14.98 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-blend.xml 14.65/14.98 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 14.65/14.99 c choco : 72.65 14.65/14.99 c mistral : 61.66 14.65/14.99 c abscon : 1800.1 14.65/14.99 c 14.65/14.99 c 14.65/14.99 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/5xp1-b.xml 14.65/14.99 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.65/14.99 c choco : 6.4 14.65/14.99 c mistral : 2.56 14.65/14.99 c abscon : 3.13052 14.65/14.99 c 14.65/14.99 c 14.65/14.99 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-pp08aCUTS.xml 14.65/14.99 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.71/15.00 c choco : 482.24 14.71/15.00 c mistral : 1800.08 14.71/15.00 c abscon : 1800.1 14.71/15.00 c 14.71/15.00 c 14.71/15.00 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-markshare1-1.xml 14.71/15.00 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.71/15.00 c choco : 2.19 14.71/15.00 c mistral : 0.37 14.71/15.01 c abscon : 175.226 14.71/15.01 c 14.71/15.01 c 14.71/15.01 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-bell5.xml 14.71/15.01 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.71/15.01 c choco : 1801.0 14.71/15.01 c mistral : 247.62 14.71/15.01 c abscon : 437.054 14.71/15.01 c 14.71/15.01 c 14.71/15.01 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-misc03.xml 14.71/15.01 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.02 c choco : 2.64 14.71/15.02 c mistral : 1.78 14.71/15.02 c abscon : 65.1051 14.71/15.02 c 14.71/15.02 c 14.71/15.02 c /home/eomahony/cpZilla/CSP/pseudoSeries/course/ws97-5.xml 14.71/15.02 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.71/15.02 c choco : 1801.0 14.71/15.02 c mistral : 0.71 14.71/15.02 c abscon : 1800.1 14.71/15.02 c 14.71/15.02 c 14.71/15.02 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc205.xml 14.71/15.02 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.71/15.03 c choco : 15.99 14.71/15.03 c mistral : 52.33 14.71/15.03 c abscon : 1800.11 14.71/15.03 c 14.71/15.03 c 14.71/15.03 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc50b.xml 14.71/15.03 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.71/15.04 c choco : 3.78 14.71/15.04 c mistral : 1.05 14.71/15.04 c abscon : 1800.08 14.71/15.04 c 14.71/15.04 c 14.71/15.04 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc50a.xml 14.71/15.04 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.71/15.05 c choco : 3.95 14.71/15.05 c mistral : 1.4 14.71/15.05 c abscon : 385.752 14.71/15.05 c 14.71/15.05 c 14.71/15.05 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc105.xml 14.71/15.05 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.71/15.05 c choco : 24.54 14.71/15.05 c mistral : 2.61 14.71/15.05 c abscon : 1239.19 14.71/15.05 c 14.71/15.05 c 14.71/15.05 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-neos16.xml 14.71/15.05 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.06 c choco : 5.46 14.71/15.06 c mistral : 1800.03 14.71/15.06 c abscon : 314.036 14.71/15.06 c 14.71/15.06 c 14.71/15.06 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-neos5.xml 14.71/15.06 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.07 c choco : 3.04 14.71/15.07 c mistral : 0.9 14.71/15.07 c abscon : 1.9467 14.71/15.07 c 14.71/15.07 c 14.71/15.07 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/clip-b.xml 14.71/15.07 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.07 c choco : 4.16 14.71/15.07 c mistral : 1.2 14.71/15.07 c abscon : 2.05169 14.71/15.07 c 14.71/15.07 c 14.71/15.08 c Length: 40 14.71/15.08 c 43.78371170636506 43.7838493722981 57.84850176820022 94.61729413184956 140.4003515803346 161.57740088803104 191.46259841710412 198.4842859001298 221.95782858494445 224.20858850410366 225.2762290941343 225.28249258191082 233.2046644067258 233.2284505142684 239.1243182379862 264.6175283760906 268.9565157149921 277.7410513019611 277.9243696781552 281.01118973351726 285.21189104774413 295.3546020481421 299.40225865337356 309.83329395327837 313.83530866295104 315.16278430365855 319.17474771680963 321.6287398866454 332.3352803804239 333.5230370800422 334.19473375284355 337.7633896953058 339.3197331797507 342.6851601800234 343.0558376719994 343.0894174705374 343.24823659521866 348.95275043485844 359.20088741480595 360.6747943282897 14.71/15.08 c 14.71/15.08 c 1.0 0.9999995655735336 0.9575025215664489 0.8617618363485877 0.766348644492537 0.7290135361933262 0.6821170190512446 0.6719607483339641 0.6400996938214438 0.637202721166875 0.635837701352454 0.6358297104963754 0.6258809992936714 0.6258515973194717 0.61864794648996 0.5893182239456795 0.5846009860418989 0.5752781887732987 0.5750868040387058 0.5718831765005824 0.5675804225481884 0.5574534404998085 0.5535122315069625 0.5436077832951066 0.5399012435924532 0.5386829160215268 0.5350340195203827 0.5328263693194762 0.523403962280493 0.5223791594440188 0.52180139042158 0.5187530702976131 0.517434777956215 0.5146068953745347 0.5142973131231565 0.5142692863620815 0.5141367722794395 0.50942195415773 0.5011654971242789 0.5 14.71/15.09 c 14.71/15.09 c solver 0 14.71/15.09 c before 0.0 seconds: {} 0 14.71/15.09 c before 18.0 seconds: {0, 1, 10, 11, 12, 13, 14, 17, 21, 23, 25, 27, 38, 39} 8891 14.71/15.09 c before 36.0 seconds: {0, 1, 2, 3, 4, 10, 11, 12, 13, 14, 17, 21, 22, 23, 25, 27, 38, 39} 12030 14.71/15.09 c before 54.0 seconds: {0, 1, 2, 3, 4, 7, 10, 11, 12, 13, 14, 15, 17, 21, 22, 23, 25, 27, 38, 39} 13291 14.71/15.09 c before 72.0 seconds: {0, 1, 2, 3, 4, 7, 10, 11, 12, 13, 14, 15, 17, 21, 22, 23, 25, 27, 31, 38, 39} 13810 14.71/15.09 c before 180.0 seconds: {0, 1, 2, 3, 4, 7, 10, 11, 12, 13, 14, 15, 17, 21, 22, 23, 25, 27, 29, 31, 38, 39} 14332 14.71/15.09 c before 216.0 seconds: {0, 1, 2, 3, 4, 7, 10, 11, 12, 13, 14, 15, 17, 21, 22, 23, 24, 25, 27, 29, 31, 38, 39} 14872 14.71/15.09 c before 324.0 seconds: {0, 1, 2, 3, 4, 7, 10, 11, 12, 13, 14, 15, 17, 21, 22, 23, 24, 25, 27, 29, 31, 37, 38, 39} 15381 14.71/15.09 c before 396.0 seconds: {0, 1, 2, 3, 4, 7, 10, 11, 12, 13, 14, 15, 17, 21, 22, 23, 24, 25, 27, 29, 31, 35, 37, 38, 39} 15896 14.71/15.09 c before 450.0 seconds: {0, 1, 2, 3, 4, 7, 10, 11, 12, 13, 14, 15, 17, 21, 22, 23, 24, 25, 27, 29, 30, 31, 35, 37, 38, 39} 16417 14.71/15.09 c before 864.0 seconds: {0, 1, 2, 3, 4, 5, 7, 10, 11, 12, 13, 14, 15, 17, 21, 22, 23, 24, 25, 27, 29, 30, 31, 35, 37, 38, 39} 17147 14.71/15.09 c before 1026.0 seconds: {0, 1, 2, 3, 4, 5, 7, 9, 10, 11, 12, 13, 14, 15, 17, 21, 22, 23, 24, 25, 27, 29, 30, 31, 35, 37, 38, 39} 17784 14.71/15.09 c before 1242.0 seconds: {0, 1, 2, 3, 4, 5, 7, 9, 10, 11, 12, 13, 14, 15, 17, 21, 22, 23, 24, 25, 27, 29, 30, 31, 35, 36, 37, 38, 39} 18298 14.71/15.09 c before 1350.0 seconds: {0, 1, 2, 3, 4, 5, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 21, 22, 23, 24, 25, 27, 29, 30, 31, 35, 36, 37, 38, 39} 18882 14.71/15.09 c 14.71/15.09 c solver 1 14.71/15.09 c before 0.0 seconds: {} 0 14.71/15.09 c before 18.0 seconds: {0, 1, 4, 5, 6, 7, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 29, 31, 32, 34, 35, 36, 38, 39} 18239 14.71/15.09 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, 25, 27, 29, 31, 32, 34, 35, 36, 38, 39} 21335 14.71/15.09 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, 25, 27, 29, 31, 32, 33, 34, 35, 36, 38, 39} 21850 14.71/15.09 c before 72.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, 27, 29, 31, 32, 33, 34, 35, 36, 38, 39} 22385 14.71/15.09 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, 27, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 22907 14.71/15.09 c 14.71/15.09 c solver 2 14.71/15.09 c before 0.0 seconds: {} 0 14.71/15.09 c before 18.0 seconds: {0, 1, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 20, 21, 22, 24, 25, 27, 29, 31, 33, 34, 35, 37, 38, 39} 16013 14.71/15.09 c before 36.0 seconds: {0, 1, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 16, 17, 20, 21, 22, 23, 24, 25, 27, 29, 31, 33, 34, 35, 36, 37, 38, 39} 18231 14.71/15.09 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 16, 17, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 33, 34, 35, 36, 37, 38, 39} 20585 14.71/15.09 c before 486.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 16, 17, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 31, 33, 34, 35, 36, 37, 38, 39} 21108 14.71/15.09 c 14.71/15.09 cTotal time: 116 14.78/15.10 c run abscon for 1242.0 seconds {0, 1, 2, 3, 4, 5, 7, 9, 10, 11, 12, 13, 14, 15, 17, 21, 22, 23, 24, 25, 27, 29, 30, 31, 35, 36, 37, 38, 39} 18298 14.78/15.10 c run mistral for 72.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, 27, 29, 31, 32, 33, 34, 35, 36, 38, 39} 22385 14.78/15.10 c run choco for 486.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 16, 17, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 31, 33, 34, 35, 36, 37, 38, 39} 21108 14.78/15.10 c Starting solver: HOME/cpHydra_k_40/solver/abscon 14.78/15.10 c On Instance: HOME/instance-1065001-1215145217.xml 14.78/15.10 c Running for: 1242 seconds 1258.38/1272.44 c Starting solver: HOME/cpHydra_k_40/solver/mistral 1258.38/1272.44 c On Instance: HOME/instance-1065001-1215145217.xml 1258.38/1272.44 c Running for: 72 seconds 1330.39/1345.19 c Starting solver: HOME/cpHydra_k_40/solver/choco 1330.39/1345.19 c On Instance: HOME/instance-1065001-1215145217.xml 1330.39/1345.19 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-1065001-1215145217/watcher-1065001-1215145217 -o /tmp/evaluation-result-1065001-1215145217/solver-1065001-1215145217 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1065001-1215145217.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 4/84 28191 /proc/meminfo: memFree=1703288/2055920 swapFree=4180884/4192956 [pid=28191] ppid=28189 vsize=18572 CPUtime=0 /proc/28191/stat : 28191 (runsolver) R 28189 28191 24795 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 998926357 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 206381313319 0 0 4096 24578 0 0 0 17 1 0 0 /proc/28191/statm: 4643 292 257 25 0 2626 0 [startup+0.018076 s] /proc/loadavg: 2.00 2.00 2.00 4/84 28191 /proc/meminfo: memFree=1703288/2055920 swapFree=4180884/4192956 [pid=28191] ppid=28189 vsize=5360 CPUtime=0 /proc/28191/stat : 28191 (hydra) S 28189 28191 24795 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 998926357 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28191/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.101129 s] /proc/loadavg: 2.00 2.00 2.00 4/84 28191 /proc/meminfo: memFree=1703288/2055920 swapFree=4180884/4192956 [pid=28191] ppid=28189 vsize=5360 CPUtime=0 /proc/28191/stat : 28191 (hydra) S 28189 28191 24795 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 998926357 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28191/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301143 s] /proc/loadavg: 2.00 2.00 2.00 4/84 28191 /proc/meminfo: memFree=1703288/2055920 swapFree=4180884/4192956 [pid=28191] ppid=28189 vsize=5360 CPUtime=0 /proc/28191/stat : 28191 (hydra) S 28189 28191 24795 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 998926357 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28191/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701178 s] /proc/loadavg: 2.00 2.00 2.00 4/84 28191 /proc/meminfo: memFree=1703288/2055920 swapFree=4180884/4192956 [pid=28191] ppid=28189 vsize=5360 CPUtime=0 /proc/28191/stat : 28191 (hydra) S 28189 28191 24795 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 998926357 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28191/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50127 s] /proc/loadavg: 2.00 2.00 2.00 3/86 28195 /proc/meminfo: memFree=1694504/2055920 swapFree=4180884/4192956 [pid=28191] ppid=28189 vsize=5360 CPUtime=0 /proc/28191/stat : 28191 (hydra) S 28189 28191 24795 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 998926357 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28191/statm: 1340 236 195 169 0 51 0 [pid=28195] ppid=28191 vsize=13012 CPUtime=1.47 /proc/28195/stat : 28195 (xsolve) R 28191 28191 24795 0 -1 4194304 2534 0 0 0 145 2 0 0 25 0 1 0 998926358 13324288 2493 996147200 134512640 135239763 4294956176 18446744073709551615 4158664983 0 0 4096 0 0 0 0 17 1 0 0 /proc/28195/statm: 3253 2493 361 177 0 2156 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 18372 [startup+3.1024 s] /proc/loadavg: 2.00 2.00 2.00 3/86 28195 /proc/meminfo: memFree=1692584/2055920 swapFree=4180884/4192956 [pid=28191] ppid=28189 vsize=5360 CPUtime=0 /proc/28191/stat : 28191 (hydra) S 28189 28191 24795 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 998926357 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28191/statm: 1340 236 195 169 0 51 0 [pid=28195] ppid=28191 vsize=17044 CPUtime=3.04 /proc/28195/stat : 28195 (xsolve) R 28191 28191 24795 0 -1 4194304 3536 0 0 0 301 3 0 0 25 0 1 0 998926358 17453056 3495 996147200 134512640 135239763 4294956176 18446744073709551615 4159010159 0 0 4096 0 0 0 0 17 1 0 0 /proc/28195/statm: 4261 3495 361 177 0 3164 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 22404 [startup+6.30177 s] /proc/loadavg: 2.00 2.00 2.00 3/86 28195 /proc/meminfo: memFree=1533736/2055920 swapFree=4180884/4192956 [pid=28191] ppid=28189 vsize=5360 CPUtime=0 /proc/28191/stat : 28191 (hydra) S 28189 28191 24795 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 998926357 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28191/statm: 1340 236 195 169 0 51 0 [pid=28195] ppid=28191 vsize=312956 CPUtime=6.2 /proc/28195/stat : 28195 (xsolve) R 28191 28191 24795 0 -1 4194304 77807 0 0 0 581 39 0 0 25 0 1 0 998926358 320466944 76540 996147200 134512640 135239763 4294956176 18446744073709551615 135096169 0 0 4096 0 0 0 0 17 1 0 0 /proc/28195/statm: 78239 76540 433 177 0 77142 0 Current children cumulated CPU time (s) 6.2 Current children cumulated vsize (KiB) 318316 [startup+12.7024 s] /proc/loadavg: 2.00 2.00 2.00 3/94 28207 /proc/meminfo: memFree=1685032/2055920 swapFree=4180884/4192956 [pid=28191] ppid=28189 vsize=5360 CPUtime=8.47 /proc/28191/stat : 28191 (hydra) S 28189 28191 24795 0 -1 4194304 375 80933 0 0 0 0 800 47 18 0 1 0 998926357 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28191/statm: 1340 238 196 169 0 51 0 [pid=28199] ppid=28191 vsize=197112 CPUtime=4.05 /proc/28199/stat : 28199 (java) S 28191 28191 24795 0 -1 0 9193 0 1 0 394 11 0 0 18 0 9 0 998927215 201842688 7619 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/28199/statm: 49278 7619 2541 9 0 43860 0 [pid=28199/tid=28200] ppid=28191 vsize=197112 CPUtime=3.18 /proc/28199/task/28200/stat : 28200 (java) R 28191 28191 24795 0 -1 64 3417 0 1 0 314 4 0 0 25 0 9 0 998927216 201842688 7619 996147200 134512640 134550740 4294955968 18446744073709551615 4126435687 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28199/tid=28201] ppid=28191 vsize=197112 CPUtime=0.67 /proc/28199/task/28201/stat : 28201 (java) S 28191 28191 24795 0 -1 64 4425 0 0 0 62 5 0 0 16 0 9 0 998927218 201842688 7619 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=28199/tid=28202] ppid=28191 vsize=197112 CPUtime=0 /proc/28199/task/28202/stat : 28202 (java) S 28191 28191 24795 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 998927218 201842688 7619 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28199/tid=28203] ppid=28191 vsize=197112 CPUtime=0 /proc/28199/task/28203/stat : 28203 (java) S 28191 28191 24795 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 998927218 201842688 7619 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28199/tid=28204] ppid=28191 vsize=197112 CPUtime=0 /proc/28199/task/28204/stat : 28204 (java) S 28191 28191 24795 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 998927220 201842688 7619 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28199/tid=28205] ppid=28191 vsize=197112 CPUtime=0.17 /proc/28199/task/28205/stat : 28205 (java) S 28191 28191 24795 0 -1 64 627 0 0 0 17 0 0 0 16 0 9 0 998927220 201842688 7619 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28199/tid=28206] ppid=28191 vsize=197112 CPUtime=0 /proc/28199/task/28206/stat : 28206 (java) S 28191 28191 24795 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 998927220 201842688 7619 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28199/tid=28207] ppid=28191 vsize=197112 CPUtime=0 /proc/28199/task/28207/stat : 28207 (java) S 28191 28191 24795 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 998927220 201842688 7619 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.52 Current children cumulated vsize (KiB) 202472 [startup+25.5027 s] /proc/loadavg: 2.00 2.00 2.00 3/106 28219 /proc/meminfo: memFree=1567496/2055920 swapFree=4180884/4192956 [pid=28191] ppid=28189 vsize=5360 CPUtime=8.47 /proc/28191/stat : 28191 (hydra) S 28189 28191 24795 0 -1 4194304 375 80933 0 0 0 0 800 47 18 0 1 0 998926357 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28191/statm: 1340 238 196 169 0 51 0 [pid=28199] ppid=28191 vsize=197436 CPUtime=6.31 /proc/28199/stat : 28199 (java) S 28191 28191 24795 0 -1 0 14033 0 1 0 612 19 0 0 18 0 10 0 998927215 202174464 9562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/28199/statm: 49359 9562 2544 9 0 43941 0 [pid=28209] ppid=28199 vsize=5356 CPUtime=0 /proc/28209/stat : 28209 (abscon) S 28199 28191 24795 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 998927867 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 206381310788 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/28209/statm: 1339 237 196 169 0 50 0 [pid=28210] ppid=28209 vsize=655664 CPUtime=10.38 /proc/28210/stat : 28210 (java) S 28209 28191 24795 0 -1 0 29532 0 1 0 1019 19 0 0 18 0 9 0 998927868 671399936 29008 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/28210/statm: 163916 29008 2008 9 0 158444 0 [pid=28210/tid=28212] ppid=28209 vsize=655664 CPUtime=9.55 /proc/28210/task/28212/stat : 28212 (java) R 28209 28191 24795 0 -1 64 12475 0 1 0 944 11 0 0 25 0 9 0 998927869 671399936 29008 996147200 134512640 134550740 4294955824 18446744073709551615 4126998881 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=28210/tid=28213] ppid=28209 vsize=655664 CPUtime=0.58 /proc/28210/task/28213/stat : 28213 (java) S 28209 28191 24795 0 -1 64 15859 0 0 0 52 6 0 0 16 0 9 0 998927870 671399936 29008 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=28210/tid=28214] ppid=28209 vsize=655664 CPUtime=0 /proc/28210/task/28214/stat : 28214 (java) S 28209 28191 24795 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 998927870 671399936 29008 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=28210/tid=28215] ppid=28209 vsize=655664 CPUtime=0 /proc/28210/task/28215/stat : 28215 (java) S 28209 28191 24795 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 998927870 671399936 29008 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=28210/tid=28216] ppid=28209 vsize=655664 CPUtime=0 /proc/28210/task/28216/stat : 28216 (java) S 28209 28191 24795 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 998927872 671399936 29008 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=28210/tid=28217] ppid=28209 vsize=655664 CPUtime=0.22 /proc/28210/task/28217/stat : 28217 (java) S 28209 28191 24795 0 -1 64 652 0 0 0 22 0 0 0 15 0 9 0 998927872 671399936 29008 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=28210/tid=28218] ppid=28209 vsize=655664 CPUtime=0 /proc/28210/task/28218/stat : 28218 (java) S 28209 28191 24795 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 998927872 671399936 29008 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=28210/tid=28219] ppid=28209 vsize=655664 CPUtime=0 /proc/28210/task/28219/stat : 28219 (java) S 28209 28191 24795 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 998927872 671399936 29008 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=28211] ppid=28209 vsize=7044 CPUtime=0 /proc/28211/stat : 28211 (translate) S 28209 28191 24795 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 998927868 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 206381482066 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/28211/statm: 1761 213 182 1 0 41 0 [pid=28199/tid=28200] ppid=28191 vsize=197436 CPUtime=4.93 /proc/28199/task/28200/stat : 28200 (java) S 28191 28191 24795 0 -1 64 3986 0 1 0 485 8 0 0 25 0 10 0 998927216 202174464 9562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=28199/tid=28201] ppid=28191 vsize=197436 CPUtime=1.12 /proc/28199/task/28201/stat : 28201 (java) S 28191 28191 24795 0 -1 64 8556 0 0 0 103 9 0 0 16 0 10 0 998927218 202174464 9562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=28199/tid=28202] ppid=28191 vsize=197436 CPUtime=0 /proc/28199/task/28202/stat : 28202 (java) S 28191 28191 24795 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 998927218 202174464 9562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28199/tid=28203] ppid=28191 vsize=197436 CPUtime=0 /proc/28199/task/28203/stat : 28203 (java) S 28191 28191 24795 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 998927218 202174464 9562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28199/tid=28204] ppid=28191 vsize=197436 CPUtime=0 /proc/28199/task/28204/stat : 28204 (java) S 28191 28191 24795 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 998927220 202174464 9562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28199/tid=28205] ppid=28191 vsize=197436 CPUtime=0.24 /proc/28199/task/28205/stat : 28205 (java) S 28191 28191 24795 0 -1 64 666 0 0 0 24 0 0 0 16 0 10 0 998927220 202174464 9562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28199/tid=28206] ppid=28191 vsize=197436 CPUtime=0 /proc/28199/task/28206/stat : 28206 (java) S 28191 28191 24795 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 998927220 202174464 9562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28199/tid=28207] ppid=28191 vsize=197436 CPUtime=0 /proc/28199/task/28207/stat : 28207 (java) S 28191 28191 24795 0 -1 64 28 0 0 0 0 0 0 0 15 0 10 0 998927220 202174464 9562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28199/tid=28208] ppid=28191 vsize=197436 CPUtime=0 /proc/28199/task/28208/stat : 28208 (java) S 28191 28191 24795 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 998927867 202174464 9562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.16 Current children cumulated vsize (KiB) 870860 [startup+51.1024 s] /proc/loadavg: 2.00 2.00 2.00 3/106 28219 /proc/meminfo: memFree=1455944/2055920 swapFree=4180884/4192956 [pid=28191] ppid=28189 vsize=5360 CPUtime=8.47 /proc/28191/stat : 28191 (hydra) S 28189 28191 24795 0 -1 4194304 375 80933 0 0 0 0 800 47 18 0 1 0 998926357 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28191/statm: 1340 238 196 169 0 51 0 [pid=28199] ppid=28191 vsize=197436 CPUtime=6.31 /proc/28199/stat : 28199 (java) S 28191 28191 24795 0 -1 0 14033 0 1 0 612 19 0 0 18 0 10 0 998927215 202174464 9562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/28199/statm: 49359 9562 2544 9 0 43941 0 [pid=28209] ppid=28199 vsize=5356 CPUtime=0 /proc/28209/stat : 28209 (abscon) S 28199 28191 24795 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 998927867 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 206381310788 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/28209/statm: 1339 237 196 169 0 50 0 [pid=28210] ppid=28209 vsize=655664 CPUtime=35.94 /proc/28210/stat : 28210 (java) S 28209 28191 24795 0 -1 0 57664 0 1 0 3562 32 0 0 18 0 9 0 998927868 671399936 56910 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/28210/statm: 163916 56910 2616 9 0 158444 0 [pid=28210/tid=28212] ppid=28209 vsize=655664 CPUtime=34.18 /proc/28210/task/28212/stat : 28212 (java) R 28209 28191 24795 0 -1 64 12590 0 1 0 3405 13 0 0 25 0 9 0 998927869 671399936 56910 996147200 134512640 134550740 4294955824 18446744073709551615 4126926416 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=28210/tid=28213] ppid=28209 vsize=655664 CPUtime=1.39 /proc/28210/task/28213/stat : 28213 (java) S 28209 28191 24795 0 -1 64 43792 0 0 0 122 17 0 0 16 0 9 0 998927870 671399936 56910 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=28210/tid=28214] ppid=28209 vsize=655664 CPUtime=0 /proc/28210/task/28214/stat : 28214 (java) S 28209 28191 24795 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 998927870 671399936 56910 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=28210/tid=28215] ppid=28209 vsize=655664 CPUtime=0 /proc/28210/task/28215/stat : 28215 (java) S 28209 28191 24795 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 998927870 671399936 56910 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=28210/tid=28216] ppid=28209 vsize=655664 CPUtime=0 /proc/28210/task/28216/stat : 28216 (java) S 28209 28191 24795 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 998927872 671399936 56910 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/28199/statm: 49440 9568 2545 9 0 44022 0 [pid=28261] ppid=28199 vsize=5356 CPUtime=0 /proc/28261/stat : 28261 (choco) S 28199 28191 24795 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 999060877 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 206381310788 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/28261/statm: 1339 238 197 169 0 50 0 [pid=28262] ppid=28261 vsize=655492 CPUtime=369.78 /proc/28262/stat : 28262 (java) S 28261 28191 24795 0 -1 0 32549 0 1 0 36886 92 0 0 18 0 9 0 999060878 671223808 32008 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/28262/statm: 163873 32008 1938 9 0 158402 0 [pid=28262/tid=28263] ppid=28261 vsize=655492 CPUtime=367.76 /proc/28262/task/28263/stat : 28263 (java) R 28261 28191 24795 0 -1 64 12249 0 1 0 36696 80 0 0 25 0 9 0 999060879 671223808 32008 996147200 134512640 134550740 4294955936 18446744073709551615 4127417931 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28262/tid=28264] ppid=28261 vsize=655492 CPUtime=1.54 /proc/28262/task/28264/stat : 28264 (java) S 28261 28191 24795 0 -1 64 19031 0 0 0 145 9 0 0 16 0 9 0 999060881 671223808 32008 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=28262/tid=28265] ppid=28261 vsize=655492 CPUtime=0 /proc/28262/task/28265/stat : 28265 (java) S 28261 28191 24795 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 999060881 671223808 32008 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28262/tid=28266] ppid=28261 vsize=655492 CPUtime=0 /proc/28262/task/28266/stat : 28266 (java) S 28261 28191 24795 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 999060881 671223808 32008 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28262/tid=28267] ppid=28261 vsize=655492 CPUtime=0 /proc/28262/task/28267/stat : 28267 (java) S 28261 28191 24795 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 999060883 671223808 32008 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28262/tid=28268] ppid=28261 vsize=655492 CPUtime=0.45 /proc/28262/task/28268/stat : 28268 (java) S 28261 28191 24795 0 -1 64 716 0 0 0 44 1 0 0 16 0 9 0 999060883 671223808 32008 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28262/tid=28269] ppid=28261 vsize=655492 CPUtime=0 /proc/28262/task/28269/stat : 28269 (java) S 28261 28191 24795 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 999060883 671223808 32008 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28262/tid=28270] ppid=28261 vsize=655492 CPUtime=0 /proc/28262/task/28270/stat : 28270 (java) S 28261 28191 24795 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 999060883 671223808 32008 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28199/tid=28200] ppid=28191 vsize=197760 CPUtime=1320.61 /proc/28199/task/28200/stat : 28200 (java) S 28191 28191 24795 0 -1 64 4149 157378 1 1 485 8 131466 102 16 0 10 0 998927216 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=28199/tid=28201] ppid=28191 vsize=197760 CPUtime=1316.8 /proc/28199/task/28201/stat : 28201 (java) S 28191 28191 24795 0 -1 64 8609 157378 0 1 103 9 131466 102 16 0 10 0 998927218 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=28199/tid=28202] ppid=28191 vsize=197760 CPUtime=1315.68 /proc/28199/task/28202/stat : 28202 (java) S 28191 28191 24795 0 -1 64 11 157378 0 1 0 0 131466 102 16 0 10 0 998927218 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28199/tid=28203] ppid=28191 vsize=197760 CPUtime=1315.68 /proc/28199/task/28203/stat : 28203 (java) S 28191 28191 24795 0 -1 64 6 157378 0 1 0 0 131466 102 15 0 10 0 998927218 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28199/tid=28204] ppid=28191 vsize=197760 CPUtime=1315.68 /proc/28199/task/28204/stat : 28204 (java) S 28191 28191 24795 0 -1 64 1 157378 0 1 0 0 131466 102 18 0 10 0 998927220 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28199/tid=28205] ppid=28191 vsize=197760 CPUtime=1315.92 /proc/28199/task/28205/stat : 28205 (java) S 28191 28191 24795 0 -1 64 698 157378 0 1 24 0 131466 102 16 0 10 0 998927220 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28199/tid=28206] ppid=28191 vsize=197760 CPUtime=1315.68 /proc/28199/task/28206/stat : 28206 (java) S 28191 28191 24795 0 -1 64 0 157378 0 1 0 0 131466 102 19 0 10 0 998927220 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28199/tid=28207] ppid=28191 vsize=197760 CPUtime=1315.69 /proc/28199/task/28207/stat : 28207 (java) S 28191 28191 24795 0 -1 64 41 157378 0 1 0 1 131466 102 15 0 10 0 998927220 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28199/tid=28260] ppid=28191 vsize=197760 CPUtime=1315.68 /proc/28199/task/28260/stat : 28260 (java) S 28191 28191 24795 0 -1 64 54 157378 0 1 0 0 131466 102 17 0 10 0 999060877 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1700.28 Current children cumulated vsize (KiB) 863968 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/101 28270 /proc/meminfo: memFree=1513824/2055920 swapFree=4180884/4192956 [pid=28191] ppid=28189 vsize=5360 CPUtime=8.47 /proc/28191/stat : 28191 (hydra) S 28189 28191 24795 0 -1 4194304 375 80933 0 0 0 0 800 47 18 0 1 0 998926357 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28191/statm: 1340 238 196 169 0 51 0 [pid=28199] ppid=28191 vsize=197760 CPUtime=1322.03 /proc/28199/stat : 28199 (java) S 28191 28191 24795 0 -1 0 14401 157378 1 1 614 21 131466 102 18 0 10 0 998927215 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/28199/statm: 49440 9568 2545 9 0 44022 0 [pid=28261] ppid=28199 vsize=5356 CPUtime=0 /proc/28261/stat : 28261 (choco) S 28199 28191 24795 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 999060877 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 206381310788 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/28261/statm: 1339 238 197 169 0 50 0 [pid=28262] ppid=28261 vsize=655492 CPUtime=428.61 /proc/28262/stat : 28262 (java) S 28261 28191 24795 0 -1 0 32556 0 1 0 42760 101 0 0 18 0 9 0 999060878 671223808 32010 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/28262/statm: 163873 32010 1938 9 0 158402 0 [pid=28262/tid=28263] ppid=28261 vsize=655492 CPUtime=426.59 /proc/28262/task/28263/stat : 28263 (java) R 28261 28191 24795 0 -1 64 12254 0 1 0 42569 90 0 0 25 0 9 0 999060879 671223808 32010 996147200 134512640 134550740 4294955936 18446744073709551615 4127389192 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28262/tid=28264] ppid=28261 vsize=655492 CPUtime=1.55 /proc/28262/task/28264/stat : 28264 (java) S 28261 28191 24795 0 -1 64 19033 0 0 0 146 9 0 0 16 0 9 0 999060881 671223808 32010 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=28262/tid=28265] ppid=28261 vsize=655492 CPUtime=0 /proc/28262/task/28265/stat : 28265 (java) S 28261 28191 24795 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 999060881 671223808 32010 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28262/tid=28266] ppid=28261 vsize=655492 CPUtime=0 /proc/28262/task/28266/stat : 28266 (java) S 28261 28191 24795 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 999060881 671223808 32010 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28262/tid=28267] ppid=28261 vsize=655492 CPUtime=0 /proc/28262/task/28267/stat : 28267 (java) S 28261 28191 24795 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 999060883 671223808 32010 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28262/tid=28268] ppid=28261 vsize=655492 CPUtime=0.45 /proc/28262/task/28268/stat : 28268 (java) S 28261 28191 24795 0 -1 64 716 0 0 0 44 1 0 0 16 0 9 0 999060883 671223808 32010 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28262/tid=28269] ppid=28261 vsize=655492 CPUtime=0 /proc/28262/task/28269/stat : 28269 (java) S 28261 28191 24795 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 999060883 671223808 32010 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28262/tid=28270] ppid=28261 vsize=655492 CPUtime=0 /proc/28262/task/28270/stat : 28270 (java) S 28261 28191 24795 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 999060883 671223808 32010 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28199/tid=28200] ppid=28191 vsize=197760 CPUtime=1320.61 /proc/28199/task/28200/stat : 28200 (java) S 28191 28191 24795 0 -1 64 4149 157378 1 1 485 8 131466 102 16 0 10 0 998927216 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=28199/tid=28201] ppid=28191 vsize=197760 CPUtime=1316.8 /proc/28199/task/28201/stat : 28201 (java) S 28191 28191 24795 0 -1 64 8609 157378 0 1 103 9 131466 102 16 0 10 0 998927218 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=28199/tid=28202] ppid=28191 vsize=197760 CPUtime=1315.68 /proc/28199/task/28202/stat : 28202 (java) S 28191 28191 24795 0 -1 64 11 157378 0 1 0 0 131466 102 16 0 10 0 998927218 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28199/tid=28203] ppid=28191 vsize=197760 CPUtime=1315.68 /proc/28199/task/28203/stat : 28203 (java) S 28191 28191 24795 0 -1 64 6 157378 0 1 0 0 131466 102 15 0 10 0 998927218 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28199/tid=28204] ppid=28191 vsize=197760 CPUtime=1315.68 /proc/28199/task/28204/stat : 28204 (java) S 28191 28191 24795 0 -1 64 1 157378 0 1 0 0 131466 102 18 0 10 0 998927220 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28199/tid=28205] ppid=28191 vsize=197760 CPUtime=1315.92 /proc/28199/task/28205/stat : 28205 (java) S 28191 28191 24795 0 -1 64 698 157378 0 1 24 0 131466 102 16 0 10 0 998927220 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28199/tid=28206] ppid=28191 vsize=197760 CPUtime=1315.68 /proc/28199/task/28206/stat : 28206 (java) S 28191 28191 24795 0 -1 64 0 157378 0 1 0 0 131466 102 19 0 10 0 998927220 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28199/tid=28207] ppid=28191 vsize=197760 CPUtime=1315.69 /proc/28199/task/28207/stat : 28207 (java) S 28191 28191 24795 0 -1 64 41 157378 0 1 0 1 131466 102 15 0 10 0 998927220 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28199/tid=28260] ppid=28191 vsize=197760 CPUtime=1315.68 /proc/28199/task/28260/stat : 28260 (java) S 28191 28191 24795 0 -1 64 54 157378 0 1 0 0 131466 102 17 0 10 0 999060877 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1759.11 Current children cumulated vsize (KiB) 863968 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1824 s] /proc/loadavg: 2.00 2.00 2.00 3/101 28270 /proc/meminfo: memFree=1513824/2055920 swapFree=4180884/4192956 [pid=28191] ppid=28189 vsize=5360 CPUtime=8.47 /proc/28191/stat : 28191 (hydra) S 28189 28191 24795 0 -1 4194304 375 80933 0 0 0 0 800 47 18 0 1 0 998926357 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28191/statm: 1340 238 196 169 0 51 0 [pid=28199] ppid=28191 vsize=197760 CPUtime=1322.03 /proc/28199/stat : 28199 (java) S 28191 28191 24795 0 -1 0 14401 157378 1 1 614 21 131466 102 18 0 10 0 998927215 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/28199/statm: 49440 9568 2545 9 0 44022 0 [pid=28261] ppid=28199 vsize=5356 CPUtime=0 /proc/28261/stat : 28261 (choco) S 28199 28191 24795 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 999060877 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 206381310788 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/28261/statm: 1339 238 197 169 0 50 0 [pid=28262] ppid=28261 vsize=655492 CPUtime=469.5 /proc/28262/stat : 28262 (java) S 28261 28191 24795 0 -1 0 32560 0 1 0 46841 109 0 0 18 0 9 0 999060878 671223808 32011 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/28262/statm: 163873 32011 1938 9 0 158402 0 [pid=28262/tid=28263] ppid=28261 vsize=655492 CPUtime=467.46 /proc/28262/task/28263/stat : 28263 (java) R 28261 28191 24795 0 -1 64 12257 0 1 0 46649 97 0 0 25 0 9 0 999060879 671223808 32011 996147200 134512640 134550740 4294955936 18446744073709551615 4127378293 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28262/tid=28264] ppid=28261 vsize=655492 CPUtime=1.56 /proc/28262/task/28264/stat : 28264 (java) S 28261 28191 24795 0 -1 64 19034 0 0 0 147 9 0 0 16 0 9 0 999060881 671223808 32011 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=28262/tid=28265] ppid=28261 vsize=655492 CPUtime=0 /proc/28262/task/28265/stat : 28265 (java) S 28261 28191 24795 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 999060881 671223808 32011 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28262/tid=28266] ppid=28261 vsize=655492 CPUtime=0 /proc/28262/task/28266/stat : 28266 (java) S 28261 28191 24795 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 999060881 671223808 32011 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28262/tid=28267] ppid=28261 vsize=655492 CPUtime=0 /proc/28262/task/28267/stat : 28267 (java) S 28261 28191 24795 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 999060883 671223808 32011 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28262/tid=28268] ppid=28261 vsize=655492 CPUtime=0.45 /proc/28262/task/28268/stat : 28268 (java) S 28261 28191 24795 0 -1 64 716 0 0 0 44 1 0 0 16 0 9 0 999060883 671223808 32011 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28262/tid=28269] ppid=28261 vsize=655492 CPUtime=0 /proc/28262/task/28269/stat : 28269 (java) S 28261 28191 24795 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 999060883 671223808 32011 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28262/tid=28270] ppid=28261 vsize=655492 CPUtime=0 /proc/28262/task/28270/stat : 28270 (java) R 28261 28191 24795 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 999060883 671223808 32011 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28199/tid=28200] ppid=28191 vsize=197760 CPUtime=1320.61 /proc/28199/task/28200/stat : 28200 (java) S 28191 28191 24795 0 -1 64 4149 157378 1 1 485 8 131466 102 16 0 10 0 998927216 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=28199/tid=28201] ppid=28191 vsize=197760 CPUtime=1316.8 /proc/28199/task/28201/stat : 28201 (java) S 28191 28191 24795 0 -1 64 8609 157378 0 1 103 9 131466 102 16 0 10 0 998927218 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=28199/tid=28202] ppid=28191 vsize=197760 CPUtime=1315.68 /proc/28199/task/28202/stat : 28202 (java) S 28191 28191 24795 0 -1 64 11 157378 0 1 0 0 131466 102 16 0 10 0 998927218 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28199/tid=28203] ppid=28191 vsize=197760 CPUtime=1315.68 /proc/28199/task/28203/stat : 28203 (java) S 28191 28191 24795 0 -1 64 6 157378 0 1 0 0 131466 102 15 0 10 0 998927218 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28199/tid=28204] ppid=28191 vsize=197760 CPUtime=1315.68 /proc/28199/task/28204/stat : 28204 (java) S 28191 28191 24795 0 -1 64 1 157378 0 1 0 0 131466 102 18 0 10 0 998927220 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28199/tid=28205] ppid=28191 vsize=197760 CPUtime=1315.92 /proc/28199/task/28205/stat : 28205 (java) S 28191 28191 24795 0 -1 64 698 157378 0 1 24 0 131466 102 16 0 10 0 998927220 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28199/tid=28206] ppid=28191 vsize=197760 CPUtime=1315.68 /proc/28199/task/28206/stat : 28206 (java) S 28191 28191 24795 0 -1 64 0 157378 0 1 0 0 131466 102 19 0 10 0 998927220 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28199/tid=28207] ppid=28191 vsize=197760 CPUtime=1315.69 /proc/28199/task/28207/stat : 28207 (java) R 28191 28191 24795 0 -1 64 41 157378 0 1 0 1 131466 102 15 0 10 0 998927220 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28199/tid=28260] ppid=28191 vsize=197760 CPUtime=1315.68 /proc/28199/task/28260/stat : 28260 (java) S 28191 28191 24795 0 -1 64 54 157378 0 1 0 0 131466 102 17 0 10 0 999060877 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 863968 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 28191 and gives # childrusage.ru_utime.tv_sec=8 # childrusage.ru_utime.tv_usec=6782 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=475927 # CPU time returned by wait4() is 8.48271 # while last known CPU time is 1800 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1824.04 CPU time (s): 1800 CPU user time (s): 1797.21 CPU system time (s): 2.79 CPU usage (%): 98.6823 Max. virtual memory (cumulated for all children) (KiB): 870860 getrusage(RUSAGE_CHILDREN,...) data: user time used= 8.00678 system time used= 0.475927 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 81308 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= 382 runsolver used 7.04793 second user time and 18.2282 second system time The end
Begin job on node2 at 2008-07-04 06:20:17 IDJOB=1065001 IDBENCH=55020 IDSOLVER=366 FILE ID=node2/1065001-1215145217 PBS_JOBID= 7877248 Free space on /tmp= 66528 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/pseudo/mps/normalized-mps-air06.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1065001-1215145217/watcher-1065001-1215145217 -o /tmp/evaluation-result-1065001-1215145217/solver-1065001-1215145217 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1065001-1215145217.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 00668b6a7dafa5fe6313e8c116ffb6c0 RANDOM SEED=408830619 node2.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: 1703704 kB Buffers: 32244 kB Cached: 169860 kB SwapCached: 5908 kB Active: 213964 kB Inactive: 75380 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1703704 kB SwapTotal: 4192956 kB SwapFree: 4180884 kB Dirty: 28172 kB Writeback: 0 kB Mapped: 104492 kB Slab: 47464 kB Committed_AS: 1638944 kB PageTables: 2276 kB VmallocTotal: 536870911 kB VmallocUsed: 264992 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66520 MiB End job on node2 at 2008-07-04 06:50:43