Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | ? (TO) | 1800.01 | 1828.63 |
Name | csp/magicSquare/ normalized-magicSquare-20_glb.xml |
MD5SUM | 7812e1842715799c37ff5f210a866913 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 43 |
Maximum constraint arity | 400 |
Maximum domain size | 400 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 0 |
Global constraints used (with number of constraints) | alldifferent(1),weightedsum(42) |
0.00/0.00 c cpHydra_k_40 version 0.0 7.48/7.61 c CASE TO CLASSIFY: 7.48/7.61 c Case: 0 7.48/7.62 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 20.160000 | c 34 > -1.000000 | c 16 > 400.000000 | c 13 > 6.631310 | c 14 > 10.996500 | c 11 > 8.643860 | c 12 > 11.632400 | c 21 > 20.000000 | c 20 > 0.000000 | c 22 > 20.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 2.325580 | c 3 > 8.643860 | c 2 > -1.000000 | c 10 > 16.284900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 97.674400 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 17.287700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.48/7.63 c choco : 1801.0 7.48/7.63 c mistral : 1801.0 7.48/7.63 c abscon : 1801.0 7.48/7.63 c 7.48/7.63 c 7.77/7.90 c List of same ones: 40 7.77/7.90 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/air05.xml 7.77/7.90 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 7.77/7.91 c choco : 81.31 7.77/7.91 c mistral : 24.24 7.77/7.91 c abscon : 29.0936 7.77/7.91 c 7.77/7.91 c 7.77/7.91 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-air01.xml 7.77/7.91 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 7.77/7.92 c choco : 8.61 7.77/7.92 c mistral : 2.26 7.77/7.92 c abscon : 5.2622 7.77/7.92 c 7.77/7.92 c 7.77/7.92 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-air01.xml 7.77/7.92 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.719800 | c 34 > 0.000000 | c 16 > 438.000000 | c 13 > 2.561350 | c 14 > 9.411510 | c 11 > 9.590590 | c 12 > 3.493060 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.621000 | c 1 > 9.590590 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.621000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.274900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.77/7.93 c choco : 8.6 7.77/7.93 c mistral : 2.27 7.77/7.93 c abscon : 5.8991 7.77/7.93 c 7.77/7.93 c 7.77/7.93 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/air04.xml 7.77/7.93 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 7.77/7.94 c choco : 83.64 7.77/7.94 c mistral : 28.58 7.77/7.94 c abscon : 31.3522 7.77/7.94 c 7.77/7.94 c 7.77/7.94 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-kb2.xml 7.77/7.94 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 7.77/7.95 c choco : 9.38 7.77/7.95 c mistral : 8.53 7.77/7.95 c abscon : 853.293 7.77/7.95 c 7.77/7.95 c 7.77/7.95 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-afiro.xml 7.77/7.95 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 7.77/7.96 c choco : 11.35 7.77/7.96 c mistral : 6.16 7.77/7.96 c abscon : 1800.07 7.77/7.96 c 7.77/7.96 c 7.77/7.96 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-mas74.xml 7.77/7.96 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 7.77/7.97 c choco : 2.83 7.77/7.97 c mistral : 0.65 7.77/7.97 c abscon : 8.5807 7.77/7.97 c 7.77/7.97 c 7.77/7.97 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-mas76.xml 7.77/7.97 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 7.77/7.97 c choco : 2.67 7.77/7.97 c mistral : 0.58 7.77/7.97 c abscon : 8.38772 7.77/7.97 c 7.77/7.97 c 7.77/7.97 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/mod008.xml 7.77/7.97 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 7.77/7.98 c choco : 2.44 7.77/7.98 c mistral : 0.44 7.77/7.98 c abscon : 1.3238 7.77/7.98 c 7.77/7.98 c 7.77/7.98 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-mod008.xml 7.77/7.98 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 7.77/7.99 c choco : 2.41 7.77/7.99 c mistral : 0.4 7.77/7.99 c abscon : 1.3208 7.77/7.99 c 7.77/7.99 c 7.77/7.99 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-stocfor1.xml 7.77/7.99 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 7.83/8.00 c choco : 1801.0 7.83/8.00 c mistral : 18.05 7.83/8.00 c abscon : 1800.09 7.83/8.00 c 7.83/8.00 c 7.83/8.00 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-7-210-60-2-10_glb.xml 7.83/8.00 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 7.83/8.02 c choco : 1801.0 7.83/8.02 c mistral : 4.54 7.83/8.02 c abscon : 1801.0 7.83/8.02 c 7.83/8.02 c 7.83/8.02 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-misc07.xml 7.83/8.02 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 7.83/8.03 c choco : 5.96 7.83/8.03 c mistral : 22.01 7.83/8.03 c abscon : 1008.63 7.83/8.03 c 7.83/8.03 c 7.83/8.03 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-cracpb1.xml 7.83/8.03 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 7.83/8.03 c choco : 5.58 7.83/8.03 c mistral : 2.07 7.83/8.03 c abscon : 24.1083 7.83/8.03 c 7.83/8.03 c 7.83/8.03 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-seymour1.xml 7.83/8.03 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 7.83/8.04 c choco : 1801.0 7.83/8.04 c mistral : 14.2628 7.83/8.04 c abscon : 40.6598 7.83/8.04 c 7.83/8.04 c 7.83/8.04 c /home/eomahony/cpZilla/CSP/pseudoSeries/course/ss97-4.xml 7.83/8.04 c 19 > 47.631600 | c 35 > 46.561400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 38.842100 | c 15 > 17.622800 | c 34 > 73.008800 | c 16 > 195.000000 | c 13 > 0.050395 | c 14 > 9.411510 | c 11 > 13.409800 | c 12 > 1.282170 | c 21 > 1.412980 | c 20 > 52.368400 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.572500 | c 1 > 11.155500 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.506800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.835000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.83/8.05 c choco : 1801.0 7.83/8.05 c mistral : 4.13 7.83/8.05 c abscon : 1800.06 7.83/8.05 c 7.83/8.05 c 7.83/8.05 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/p2756.xml 7.83/8.05 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 7.83/8.06 c choco : 8.43 7.83/8.06 c mistral : 1.57 7.83/8.06 c abscon : 42.6915 7.83/8.06 c 7.83/8.06 c 7.83/8.06 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/e-am-pi.xml 7.83/8.06 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 7.83/8.06 c choco : 16.5 7.83/8.06 c mistral : 4.84 7.83/8.06 c abscon : 6.63899 7.83/8.06 c 7.83/8.06 c 7.83/8.06 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-10_glb.xml 7.83/8.06 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 20.696000 | c 34 > -1.000000 | c 16 > 100.000000 | c 13 > 12.108300 | c 14 > 14.463800 | c 11 > 6.643860 | c 12 > 14.945800 | c 21 > 10.000000 | c 20 > 0.000000 | c 22 > 10.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 4.347830 | c 3 > 6.643860 | c 2 > -1.000000 | c 10 > 12.279900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 95.652200 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 13.287700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.83/8.07 c choco : 1801.0 7.83/8.07 c mistral : 197.92 7.83/8.07 c abscon : 1801.0 7.83/8.07 c 7.83/8.07 c 7.83/8.07 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/apex4-a.xml 7.83/8.07 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 7.83/8.08 c choco : 24.35 7.83/8.08 c mistral : 3.62 7.83/8.08 c abscon : 12.2411 7.83/8.08 c 7.83/8.08 c 7.83/8.08 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-pp08a.xml 7.83/8.08 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 7.83/8.09 c choco : 18.53 7.83/8.09 c mistral : 1800.06 7.83/8.09 c abscon : 1348.66 7.83/8.09 c 7.83/8.09 c 7.83/8.09 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/ex5-pi.xml 7.83/8.09 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 7.83/8.09 c choco : 10.89 7.83/8.09 c mistral : 4.98 7.83/8.09 c abscon : 7.27989 7.83/8.09 c 7.83/8.09 c 7.83/8.09 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-markshare2-1.xml 7.83/8.09 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 7.83/8.10 c choco : 2.64 7.83/8.10 c mistral : 0.55 7.91/8.10 c abscon : 199.342 7.91/8.10 c 7.91/8.10 c 7.91/8.10 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-neos20.xml 7.91/8.10 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 7.91/8.11 c choco : 23.83 7.91/8.11 c mistral : 4.90325 7.91/8.11 c abscon : 7.12692 7.91/8.11 c 7.91/8.11 c 7.91/8.11 c /home/eomahony/cpZilla/CSP/pseudoSeries/course/ws97-5.xml 7.91/8.11 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 7.91/8.11 c choco : 1801.0 7.91/8.11 c mistral : 0.71 7.91/8.11 c abscon : 1800.1 7.91/8.11 c 7.91/8.11 c 7.91/8.11 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-9_glb.xml 7.91/8.11 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 16.832600 | c 34 > -1.000000 | c 16 > 81.000000 | c 13 > 7.189530 | c 14 > 10.327600 | c 11 > 6.339850 | c 12 > 9.808860 | c 21 > 9.000000 | c 20 > 0.000000 | c 22 > 9.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 4.761900 | c 3 > 6.339850 | c 2 > -1.000000 | c 10 > 11.671100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 95.238100 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.679700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.91/8.12 c choco : 12.89 7.91/8.12 c mistral : 7.43 7.91/8.12 c abscon : 1801.0 7.91/8.12 c 7.91/8.12 c 7.91/8.12 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/5xp1-b.xml 7.91/8.12 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 7.91/8.12 c choco : 6.4 7.91/8.12 c mistral : 2.56 7.91/8.12 c abscon : 3.13052 7.91/8.12 c 7.91/8.12 c 7.91/8.12 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc50a.xml 7.91/8.12 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 7.91/8.13 c choco : 3.95 7.91/8.13 c mistral : 1.4 7.91/8.13 c abscon : 385.752 7.91/8.13 c 7.91/8.13 c 7.91/8.13 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc50b.xml 7.91/8.13 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 7.91/8.13 c choco : 3.78 7.91/8.13 c mistral : 1.05 7.91/8.13 c abscon : 1800.08 7.91/8.13 c 7.91/8.13 c 7.91/8.13 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc105.xml 7.91/8.13 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 7.91/8.14 c choco : 24.54 7.91/8.14 c mistral : 2.61 7.91/8.14 c abscon : 1239.19 7.91/8.14 c 7.91/8.14 c 7.91/8.14 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-markshare1-1.xml 7.91/8.14 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 7.91/8.15 c choco : 2.19 7.91/8.15 c mistral : 0.37 7.91/8.15 c abscon : 175.226 7.91/8.15 c 7.91/8.15 c 7.91/8.15 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc205.xml 7.91/8.15 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 7.91/8.15 c choco : 15.99 7.91/8.15 c mistral : 52.33 7.91/8.15 c abscon : 1800.11 7.91/8.15 c 7.91/8.15 c 7.91/8.15 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-bell5.xml 7.91/8.15 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 7.91/8.16 c choco : 1801.0 7.91/8.16 c mistral : 247.62 7.91/8.16 c abscon : 437.054 7.91/8.16 c 7.91/8.16 c 7.91/8.16 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-100-50-3-20_glb.xml 7.91/8.16 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 7.464530 | c 33 > 60.000000 | c 15 > 20.218500 | c 34 > 20.000000 | c 16 > 100.000000 | c 13 > 13.204400 | c 14 > 12.708000 | c 11 > 11.036200 | c 12 > 11.253500 | c 21 > 1.414210 | c 20 > 92.535500 | 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 > 10.662700 | c 1 > 11.036200 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.036200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.91/8.17 c choco : 1801.0 7.91/8.17 c mistral : 0.25 7.91/8.17 c abscon : 1801.0 7.91/8.17 c 7.91/8.17 c 7.91/8.17 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-8_glb.xml 7.91/8.17 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 20.914200 | c 34 > -1.000000 | c 16 > 64.000000 | c 13 > 12.258500 | c 14 > 14.563600 | c 11 > 6.000000 | c 12 > 14.663600 | c 21 > 8.000000 | c 20 > 0.000000 | c 22 > 8.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 5.263160 | c 3 > 6.000000 | c 2 > -1.000000 | c 10 > 10.990800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 94.736800 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.000000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.91/8.17 c choco : 30.19 7.91/8.18 c mistral : 1.82 7.91/8.18 c abscon : 1801.0 7.91/8.18 c 7.91/8.18 c 7.91/8.18 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-98-42-3-14_glb.xml 7.91/8.18 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 5.769230 | c 33 > 60.000000 | c 15 > 20.189000 | c 34 > 20.000000 | c 16 > 98.000000 | c 13 > 11.267000 | c 14 > 13.952600 | c 11 > 11.422100 | c 12 > 9.350030 | c 21 > 1.414210 | c 20 > 94.230800 | 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 > 11.092800 | c 1 > 11.422100 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.422100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.91/8.18 c choco : 1801.0 7.91/8.18 c mistral : 11.66 7.91/8.18 c abscon : 16.56 7.91/8.18 c 7.91/8.18 c 7.91/8.18 c /home/ehebrard/new_instances/competition_5c/data5/bibd8/bibd-8-98-49-4-21_glb.xml 7.91/8.18 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 4.656010 | c 33 > 60.000000 | c 15 > 19.889800 | c 34 > 20.000000 | c 16 > 98.000000 | c 13 > 14.236200 | c 14 > 13.363900 | c 11 > 11.784600 | c 12 > 12.139700 | c 21 > 1.414210 | c 20 > 95.344000 | 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 > 11.490900 | c 1 > 11.784600 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.784600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.91/8.19 c choco : 1801.0 7.91/8.19 c mistral : 16.49 7.91/8.19 c abscon : 1801.0 7.91/8.19 c 7.91/8.19 c 7.91/8.19 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-neos16.xml 7.91/8.19 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 7.91/8.19 c choco : 5.46 7.91/8.19 c mistral : 1800.03 7.91/8.19 c abscon : 314.036 7.91/8.19 c 7.91/8.19 c 7.91/8.19 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-pp08aCUTS.xml 7.91/8.19 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 7.97/8.20 c choco : 482.24 7.97/8.20 c mistral : 1800.08 7.97/8.20 c abscon : 1800.1 7.97/8.20 c 7.97/8.20 c 7.97/8.20 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-90-45-3-18_glb.xml 7.97/8.20 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 7.597540 | c 33 > 60.000000 | c 15 > 21.043400 | c 34 > 20.000000 | c 16 > 90.000000 | c 13 > 13.730600 | c 14 > 13.581800 | c 11 > 10.884200 | c 12 > 12.360000 | c 21 > 1.414210 | c 20 > 92.402500 | 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 > 10.512700 | c 1 > 10.884200 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.884200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.97/8.21 c choco : 1801.0 7.97/8.21 c mistral : 64.09 7.97/8.21 c abscon : 1801.0 7.97/8.21 c 7.97/8.21 c 7.97/8.21 c Length: 40 7.97/8.21 c 178.72438489302468 180.02779445897374 180.02792332000195 180.5987146668448 207.7769187992687 221.26743360437592 238.39849171901045 238.39973380089103 244.20732849104164 244.21609010347288 244.41439153372292 245.5814404380842 264.85225379909474 268.6809723918954 276.34579002613066 278.29420510220496 296.4567900244652 296.71608557387253 300.502087043023 300.9524812888224 305.46755038502505 311.5291884953919 315.4197617142118 317.60801496124026 318.83082011917986 319.5045615904452 327.2442664568566 330.7107724188934 330.85850699694754 330.97844638742083 331.1337487139533 331.2279251797775 332.54935014582634 336.60121574301957 336.6383409362363 339.3076229487892 339.97643830842753 341.0142031356172 341.5057916148075 345.4884708691529 7.97/8.21 c 7.97/8.21 c 1.0 0.9922447254792182 0.9922439647040481 0.9888855112550433 0.8516339730320338 0.7967434374615414 0.7364662467601683 0.7364622070425225 0.7180461523314706 0.7180190647739879 0.7174065386365102 0.7138227511871135 0.6594281975233652 0.6495935201430855 0.6307611105150529 0.6261466606512275 0.5861727338952464 0.5856389713232286 0.5779547117218002 0.577053969444429 0.5681770557353225 0.5566802554523318 0.5495432056686668 0.5456088078601373 0.5434346880983084 0.5422441782084048 0.528932972004014 0.5231806690165857 0.522938297396348 0.522741691337595 0.5224873374717208 0.5223332159547449 0.5201802286661481 0.5136878234774289 0.5136290860291522 0.5094408102138045 0.5084020752316489 0.5067986850728288 0.5060426850656341 0.5 7.97/8.22 c 7.97/8.22 c solver 0 7.97/8.22 c before 0.0 seconds: {} 0 7.97/8.22 c before 18.0 seconds: {1, 2, 6, 7, 8, 9, 17, 19, 21, 23, 26, 35} 8196 7.97/8.22 c before 36.0 seconds: {0, 1, 2, 3, 6, 7, 8, 9, 13, 17, 19, 21, 23, 26, 35} 10835 7.97/8.22 c before 54.0 seconds: {0, 1, 2, 3, 6, 7, 8, 9, 13, 14, 16, 17, 19, 21, 23, 26, 35} 12052 7.97/8.22 c before 180.0 seconds: {0, 1, 2, 3, 6, 7, 8, 9, 13, 14, 16, 17, 19, 21, 23, 26, 30, 35} 12574 7.97/8.23 c before 216.0 seconds: {0, 1, 2, 3, 6, 7, 8, 9, 13, 14, 16, 17, 19, 21, 22, 23, 26, 30, 35} 13124 7.97/8.23 c before 324.0 seconds: {0, 1, 2, 3, 6, 7, 8, 9, 13, 14, 16, 17, 19, 21, 22, 23, 26, 30, 35, 37} 13631 7.97/8.23 c before 396.0 seconds: {0, 1, 2, 3, 6, 7, 8, 9, 13, 14, 16, 17, 19, 21, 22, 23, 26, 27, 30, 35, 37} 14154 7.97/8.23 c before 450.0 seconds: {0, 1, 2, 3, 6, 7, 8, 9, 13, 14, 16, 17, 19, 21, 22, 23, 26, 27, 30, 32, 35, 37} 14674 7.97/8.23 c before 864.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 13, 14, 16, 17, 19, 21, 22, 23, 26, 27, 30, 32, 35, 37} 15526 7.97/8.23 c before 1026.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 12, 13, 14, 16, 17, 19, 21, 22, 23, 26, 27, 30, 32, 35, 37} 16185 7.97/8.23 c before 1242.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 12, 13, 14, 16, 17, 19, 21, 22, 23, 26, 27, 29, 30, 32, 35, 37} 16708 7.97/8.23 c before 1350.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 12, 13, 14, 16, 17, 19, 20, 21, 22, 23, 26, 27, 29, 30, 32, 35, 37} 17276 7.97/8.23 c 7.97/8.23 c solver 1 7.97/8.23 c before 0.0 seconds: {} 0 7.97/8.23 c before 18.0 seconds: {1, 2, 4, 5, 6, 7, 8, 9, 11, 13, 14, 15, 16, 17, 19, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 33, 34, 35, 36} 18314 7.97/8.23 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 19, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 33, 34, 35, 36} 21679 7.97/8.23 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 19, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36} 22202 7.97/8.23 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 19, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 39} 22702 7.97/8.23 c before 198.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 39} 23280 7.97/8.23 c before 252.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 39} 23800 7.97/8.23 c 7.97/8.23 c solver 2 7.97/8.23 c before 0.0 seconds: {} 0 7.97/8.23 c before 18.0 seconds: {1, 2, 4, 5, 6, 7, 8, 9, 12, 13, 16, 17, 21, 22, 25, 26, 27, 28, 30, 31, 37} 13797 7.97/8.23 c before 36.0 seconds: {1, 2, 4, 5, 6, 7, 8, 9, 12, 13, 16, 17, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 34, 37} 16525 7.97/8.23 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 16, 17, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 34, 37} 18513 7.97/8.23 c before 486.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 16, 17, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 34, 37, 38} 19019 7.97/8.23 c 7.97/8.23 cTotal time: 116 7.97/8.23 c run abscon for 1026.0 seconds {0, 1, 2, 3, 4, 6, 7, 8, 9, 12, 13, 14, 16, 17, 19, 21, 22, 23, 26, 27, 30, 32, 35, 37} 16185 7.97/8.23 c run mistral for 252.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 39} 23800 7.97/8.23 c run choco for 486.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 16, 17, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 34, 37, 38} 19019 7.97/8.23 c Starting solver: HOME/cpHydra_k_40/solver/abscon 7.97/8.23 c On Instance: HOME/instance-1046279-1215024886.xml 7.97/8.23 c Running for: 1026 seconds 1034.12/1050.34 c Starting solver: HOME/cpHydra_k_40/solver/mistral 1034.12/1050.34 c On Instance: HOME/instance-1046279-1215024886.xml 1034.12/1050.34 c Running for: 252 seconds 1286.09/1304.73 c Starting solver: HOME/cpHydra_k_40/solver/choco 1286.09/1304.73 c On Instance: HOME/instance-1046279-1215024886.xml 1286.09/1304.73 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-1046279-1215024886/watcher-1046279-1215024886 -o /tmp/evaluation-result-1046279-1215024886/solver-1046279-1215024886 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1046279-1215024886.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/72 9394 /proc/meminfo: memFree=1303352/2055920 swapFree=4110296/4192956 [pid=9394] ppid=9392 vsize=5360 CPUtime=0 /proc/9394/stat : 9394 (hydra) R 9392 9394 8821 0 -1 4194304 289 124 0 0 0 0 0 0 21 0 1 0 1981457462 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233402067615 0 65538 4100 65536 0 0 0 17 1 0 0 /proc/9394/statm: 1340 236 195 169 0 51 0 [pid=9396] ppid=9394 vsize=5360 CPUtime=0 /proc/9396/stat : 9396 (hydra) R 9394 9394 8821 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 1981457463 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233402067615 0 65538 4100 65536 0 0 0 17 1 0 0 /proc/9396/statm: 1340 236 195 169 0 51 0 [startup+0.0795801 s] /proc/loadavg: 2.00 2.00 2.00 4/72 9394 /proc/meminfo: memFree=1303352/2055920 swapFree=4110296/4192956 [pid=9394] ppid=9392 vsize=5360 CPUtime=0 /proc/9394/stat : 9394 (hydra) S 9392 9394 8821 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1981457462 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/9394/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.101579 s] /proc/loadavg: 2.00 2.00 2.00 4/72 9394 /proc/meminfo: memFree=1303352/2055920 swapFree=4110296/4192956 [pid=9394] ppid=9392 vsize=5360 CPUtime=0 /proc/9394/stat : 9394 (hydra) S 9392 9394 8821 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1981457462 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/9394/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301613 s] /proc/loadavg: 2.00 2.00 2.00 4/72 9394 /proc/meminfo: memFree=1303352/2055920 swapFree=4110296/4192956 [pid=9394] ppid=9392 vsize=5360 CPUtime=0 /proc/9394/stat : 9394 (hydra) S 9392 9394 8821 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1981457462 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/9394/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701683 s] /proc/loadavg: 2.00 2.00 2.00 4/72 9394 /proc/meminfo: memFree=1303352/2055920 swapFree=4110296/4192956 [pid=9394] ppid=9392 vsize=5360 CPUtime=0 /proc/9394/stat : 9394 (hydra) S 9392 9394 8821 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1981457462 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/9394/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50183 s] /proc/loadavg: 2.00 2.00 2.00 3/74 9398 /proc/meminfo: memFree=1284904/2055920 swapFree=4110296/4192956 [pid=9394] ppid=9392 vsize=5360 CPUtime=0 /proc/9394/stat : 9394 (hydra) S 9392 9394 8821 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1981457462 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/9394/statm: 1340 236 195 169 0 51 0 [pid=9398] ppid=9394 vsize=23036 CPUtime=1.47 /proc/9398/stat : 9398 (xsolve) R 9394 9394 8821 0 -1 4194304 5087 0 0 0 145 2 0 0 25 0 1 0 1981457463 23588864 4948 996147200 134512640 135239763 4294956176 18446744073709551615 134787942 0 0 4096 0 0 0 0 17 1 0 0 /proc/9398/statm: 5759 4948 425 177 0 4662 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 28396 [startup+3.10212 s] /proc/loadavg: 2.00 2.00 2.00 4/82 9410 /proc/meminfo: memFree=1296872/2055920 swapFree=4110296/4192956 [pid=9394] ppid=9392 vsize=5360 CPUtime=1.61 /proc/9394/stat : 9394 (hydra) S 9392 9394 8821 0 -1 4194304 375 5683 0 0 0 0 158 3 18 0 1 0 1981457462 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/9394/statm: 1340 238 196 169 0 51 0 [pid=9402] ppid=9394 vsize=197004 CPUtime=1.42 /proc/9402/stat : 9402 (java) S 9394 9394 8821 0 -1 0 4907 0 1 0 138 4 0 0 18 0 9 0 1981457627 201732096 4125 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9402/statm: 49251 4125 1678 9 0 43833 0 [pid=9402/tid=9403] ppid=9394 vsize=197004 CPUtime=1.15 /proc/9402/task/9403/stat : 9403 (java) R 9394 9394 8821 0 -1 64 2709 0 1 0 114 1 0 0 25 0 9 0 1981457628 201732096 4125 996147200 134512640 134550740 4294955968 18446744073709551615 4126553832 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9404] ppid=9394 vsize=197004 CPUtime=0.1 /proc/9402/task/9404/stat : 9404 (java) S 9394 9394 8821 0 -1 64 867 0 0 0 9 1 0 0 16 0 9 0 1981457629 201732096 4125 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9405] ppid=9394 vsize=197004 CPUtime=0 /proc/9402/task/9405/stat : 9405 (java) S 9394 9394 8821 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1981457630 201732096 4125 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9406] ppid=9394 vsize=197004 CPUtime=0 /proc/9402/task/9406/stat : 9406 (java) S 9394 9394 8821 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981457630 201732096 4125 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9407] ppid=9394 vsize=197004 CPUtime=0 /proc/9402/task/9407/stat : 9407 (java) S 9394 9394 8821 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1981457632 201732096 4125 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9408] ppid=9394 vsize=197004 CPUtime=0.14 /proc/9402/task/9408/stat : 9408 (java) S 9394 9394 8821 0 -1 64 606 0 0 0 14 0 0 0 16 0 9 0 1981457632 201732096 4125 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9409] ppid=9394 vsize=197004 CPUtime=0 /proc/9402/task/9409/stat : 9409 (java) S 9394 9394 8821 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1981457632 201732096 4125 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9410] ppid=9394 vsize=197004 CPUtime=0 /proc/9402/task/9410/stat : 9410 (java) S 9394 9394 8821 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1981457632 201732096 4125 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.03 Current children cumulated vsize (KiB) 202364 [startup+6.30302 s] /proc/loadavg: 2.08 2.02 2.01 3/82 9410 /proc/meminfo: memFree=1283944/2055920 swapFree=4110296/4192956 [pid=9394] ppid=9392 vsize=5360 CPUtime=1.61 /proc/9394/stat : 9394 (hydra) S 9392 9394 8821 0 -1 4194304 375 5683 0 0 0 0 158 3 18 0 1 0 1981457462 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/9394/statm: 1340 238 196 169 0 51 0 [pid=9402] ppid=9394 vsize=197112 CPUtime=4.58 /proc/9402/stat : 9402 (java) S 9394 9394 8821 0 -1 0 9717 0 1 0 444 14 0 0 18 0 9 0 1981457627 201842688 8055 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9402/statm: 49278 8055 2541 9 0 43860 0 [pid=9402/tid=9403] ppid=9394 vsize=197112 CPUtime=3.63 /proc/9402/task/9403/stat : 9403 (java) R 9394 9394 8821 0 -1 64 3505 0 1 0 360 3 0 0 25 0 9 0 1981457628 201842688 8055 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9404] ppid=9394 vsize=197112 CPUtime=0.73 /proc/9402/task/9404/stat : 9404 (java) S 9394 9394 8821 0 -1 64 4857 0 0 0 65 8 0 0 15 0 9 0 1981457629 201842688 8055 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9405] ppid=9394 vsize=197112 CPUtime=0 /proc/9402/task/9405/stat : 9405 (java) S 9394 9394 8821 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1981457630 201842688 8055 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9406] ppid=9394 vsize=197112 CPUtime=0 /proc/9402/task/9406/stat : 9406 (java) S 9394 9394 8821 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981457630 201842688 8055 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9407] ppid=9394 vsize=197112 CPUtime=0 /proc/9402/task/9407/stat : 9407 (java) S 9394 9394 8821 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1981457632 201842688 8055 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9408] ppid=9394 vsize=197112 CPUtime=0.17 /proc/9402/task/9408/stat : 9408 (java) S 9394 9394 8821 0 -1 64 630 0 0 0 17 0 0 0 16 0 9 0 1981457632 201842688 8055 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9409] ppid=9394 vsize=197112 CPUtime=0 /proc/9402/task/9409/stat : 9409 (java) S 9394 9394 8821 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1981457632 201842688 8055 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9410] ppid=9394 vsize=197112 CPUtime=0 /proc/9402/task/9410/stat : 9410 (java) S 9394 9394 8821 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1981457632 201842688 8055 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.19 Current children cumulated vsize (KiB) 202472 [startup+12.7038 s] /proc/loadavg: 2.15 2.03 2.01 3/94 9422 /proc/meminfo: memFree=1233096/2055920 swapFree=4110296/4192956 [pid=9394] ppid=9392 vsize=5360 CPUtime=1.61 /proc/9394/stat : 9394 (hydra) S 9392 9394 8821 0 -1 4194304 375 5683 0 0 0 0 158 3 18 0 1 0 1981457462 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/9394/statm: 1340 238 196 169 0 51 0 [pid=9402] ppid=9394 vsize=197436 CPUtime=6.39 /proc/9402/stat : 9402 (java) S 9394 9394 8821 0 -1 0 14034 0 1 0 619 20 0 0 18 0 10 0 1981457627 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9402/statm: 49359 9563 2544 9 0 43941 0 [pid=9412] ppid=9402 vsize=5356 CPUtime=0 /proc/9412/stat : 9412 (abscon) S 9402 9394 8821 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1981458286 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 233402065732 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/9412/statm: 1339 237 196 169 0 50 0 [pid=9413] ppid=9412 vsize=655324 CPUtime=4.35 /proc/9413/stat : 9413 (java) S 9412 9394 8821 0 -1 0 13337 0 1 0 426 9 0 0 25 0 9 0 1981458287 671051776 12652 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9413/statm: 163831 12652 2613 9 0 158359 0 [pid=9413/tid=9415] ppid=9412 vsize=655324 CPUtime=4.09 /proc/9413/task/9415/stat : 9415 (java) R 9412 9394 8821 0 -1 64 10283 0 1 0 402 7 0 0 25 0 9 0 1981458288 671051776 12652 996147200 134512640 134550740 4294955808 18446744073709551615 4126816601 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9413/tid=9416] ppid=9412 vsize=655324 CPUtime=0.04 /proc/9413/task/9416/stat : 9416 (java) S 9412 9394 8821 0 -1 64 2012 0 0 0 4 0 0 0 16 0 9 0 1981458289 671051776 12652 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=9413/tid=9417] ppid=9412 vsize=655324 CPUtime=0 /proc/9413/task/9417/stat : 9417 (java) S 9412 9394 8821 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1981458290 671051776 12652 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9413/tid=9418] ppid=9412 vsize=655324 CPUtime=0 /proc/9413/task/9418/stat : 9418 (java) S 9412 9394 8821 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1981458290 671051776 12652 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9413/tid=9419] ppid=9412 vsize=655324 CPUtime=0 /proc/9413/task/9419/stat : 9419 (java) S 9412 9394 8821 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981458292 671051776 12652 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9413/tid=9420] ppid=9412 vsize=655324 CPUtime=0.19 /proc/9413/task/9420/stat : 9420 (java) S 9412 9394 8821 0 -1 64 497 0 0 0 19 0 0 0 15 0 9 0 1981458292 671051776 12652 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9413/tid=9421] ppid=9412 vsize=655324 CPUtime=0 /proc/9413/task/9421/stat : 9421 (java) S 9412 9394 8821 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1981458292 671051776 12652 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9413/tid=9422] ppid=9412 vsize=655324 CPUtime=0 /proc/9413/task/9422/stat : 9422 (java) S 9412 9394 8821 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1981458292 671051776 12652 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9414] ppid=9412 vsize=7044 CPUtime=0 /proc/9414/stat : 9414 (translate) S 9412 9394 8821 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1981458287 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 233402237010 0 4 0 0 18446744071563648864 0 0 17 1 0 0 /proc/9414/statm: 1761 213 182 1 0 41 0 [pid=9402/tid=9403] ppid=9394 vsize=197436 CPUtime=5.01 /proc/9402/task/9403/stat : 9403 (java) S 9394 9394 8821 0 -1 64 3987 0 1 0 494 7 0 0 25 0 10 0 1981457628 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=9402/tid=9404] ppid=9394 vsize=197436 CPUtime=1.11 /proc/9402/task/9404/stat : 9404 (java) S 9394 9394 8821 0 -1 64 8552 0 0 0 100 11 0 0 16 0 10 0 1981457629 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9405] ppid=9394 vsize=197436 CPUtime=0 /proc/9402/task/9405/stat : 9405 (java) S 9394 9394 8821 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1981457630 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9406] ppid=9394 vsize=197436 CPUtime=0 /proc/9402/task/9406/stat : 9406 (java) S 9394 9394 8821 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1981457630 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9407] ppid=9394 vsize=197436 CPUtime=0 /proc/9402/task/9407/stat : 9407 (java) S 9394 9394 8821 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1981457632 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9408] ppid=9394 vsize=197436 CPUtime=0.24 /proc/9402/task/9408/stat : 9408 (java) S 9394 9394 8821 0 -1 64 668 0 0 0 24 0 0 0 16 0 10 0 1981457632 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9409] ppid=9394 vsize=197436 CPUtime=0 /proc/9402/task/9409/stat : 9409 (java) S 9394 9394 8821 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1981457632 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9410] ppid=9394 vsize=197436 CPUtime=0 /proc/9402/task/9410/stat : 9410 (java) S 9394 9394 8821 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1981457632 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9411] ppid=9394 vsize=197436 CPUtime=0 /proc/9402/task/9411/stat : 9411 (java) S 9394 9394 8821 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1981458286 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.35 Current children cumulated vsize (KiB) 870520 [startup+25.5021 s] /proc/loadavg: 2.12 2.03 2.01 4/94 9422 /proc/meminfo: memFree=1232904/2055920 swapFree=4110296/4192956 [pid=9394] ppid=9392 vsize=5360 CPUtime=1.61 /proc/9394/stat : 9394 (hydra) S 9392 9394 8821 0 -1 4194304 375 5683 0 0 0 0 158 3 18 0 1 0 1981457462 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/9394/statm: 1340 238 196 169 0 51 0 [pid=9402] ppid=9394 vsize=197436 CPUtime=6.39 /proc/9402/stat : 9402 (java) S 9394 9394 8821 0 -1 0 14034 0 1 0 619 20 0 0 18 0 10 0 1981457627 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9402/statm: 49359 9563 2544 9 0 43941 0 [pid=9412] ppid=9402 vsize=5356 CPUtime=0 /proc/9412/stat : 9412 (abscon) S 9402 9394 8821 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1981458286 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 233402065732 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/9412/statm: 1339 237 196 169 0 50 0 [pid=9413] ppid=9412 vsize=655324 CPUtime=16.9 /proc/9413/stat : 9413 (java) S 9412 9394 8821 0 -1 0 13396 0 1 0 1680 10 0 0 25 0 9 0 1981458287 671051776 12701 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9413/statm: 163831 12701 2613 9 0 158359 0 [pid=9413/tid=9415] ppid=9412 vsize=655324 CPUtime=16.59 /proc/9413/task/9415/stat : 9415 (java) R 9412 9394 8821 0 -1 64 10320 0 1 0 1651 8 0 0 25 0 9 0 1981458288 671051776 12701 996147200 134512640 134550740 4294955808 18446744073709551615 4126787271 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9413/tid=9416] ppid=9412 vsize=655324 CPUtime=0.04 ################ # More data... # ################ /proc/9402/statm: 49440 9569 2545 9 0 44022 0 [pid=9568] ppid=9402 vsize=5356 CPUtime=0 /proc/9568/stat : 9568 (choco) S 9402 9394 8821 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 1981587936 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 233402065732 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/9568/statm: 1339 238 197 169 0 50 0 [pid=9569] ppid=9568 vsize=655444 CPUtime=409.6 /proc/9569/stat : 9569 (java) S 9568 9394 8821 0 -1 0 14145 0 1 0 40840 120 0 0 18 0 9 0 1981587937 671174656 13689 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9569/statm: 163861 13689 1908 9 0 158390 0 [pid=9569/tid=9570] ppid=9568 vsize=655444 CPUtime=409.26 /proc/9569/task/9570/stat : 9570 (java) R 9568 9394 8821 0 -1 64 12101 0 1 0 40809 117 0 0 25 0 9 0 1981587938 671174656 13689 996147200 134512640 134550740 4294955936 18446744073709551615 4126701399 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9569/tid=9571] ppid=9568 vsize=655444 CPUtime=0.1 /proc/9569/task/9571/stat : 9571 (java) S 9568 9394 8821 0 -1 64 941 0 0 0 10 0 0 0 16 0 9 0 1981587940 671174656 13689 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=9569/tid=9572] ppid=9568 vsize=655444 CPUtime=0 /proc/9569/task/9572/stat : 9572 (java) S 9568 9394 8821 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1981587940 671174656 13689 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9569/tid=9573] ppid=9568 vsize=655444 CPUtime=0 /proc/9569/task/9573/stat : 9573 (java) S 9568 9394 8821 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981587940 671174656 13689 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9569/tid=9574] ppid=9568 vsize=655444 CPUtime=0 /proc/9569/task/9574/stat : 9574 (java) S 9568 9394 8821 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981587942 671174656 13689 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9569/tid=9575] ppid=9568 vsize=655444 CPUtime=0.19 /proc/9569/task/9575/stat : 9575 (java) S 9568 9394 8821 0 -1 64 554 0 0 0 19 0 0 0 15 0 9 0 1981587942 671174656 13689 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9569/tid=9576] ppid=9568 vsize=655444 CPUtime=0 /proc/9569/task/9576/stat : 9576 (java) S 9568 9394 8821 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1981587942 671174656 13689 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9569/tid=9577] ppid=9568 vsize=655444 CPUtime=0 /proc/9569/task/9577/stat : 9577 (java) S 9568 9394 8821 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1981587942 671174656 13689 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9403] ppid=9394 vsize=197760 CPUtime=1283.15 /proc/9402/task/9403/stat : 9403 (java) S 9394 9394 8821 0 -1 64 4150 19382 1 1 494 7 127796 18 16 0 10 0 1981457628 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=9402/tid=9404] ppid=9394 vsize=197760 CPUtime=1279.25 /proc/9402/task/9404/stat : 9404 (java) S 9394 9394 8821 0 -1 64 8604 19382 0 1 100 11 127796 18 16 0 10 0 1981457629 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9405] ppid=9394 vsize=197760 CPUtime=1278.14 /proc/9402/task/9405/stat : 9405 (java) S 9394 9394 8821 0 -1 64 11 19382 0 1 0 0 127796 18 16 0 10 0 1981457630 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9406] ppid=9394 vsize=197760 CPUtime=1278.14 /proc/9402/task/9406/stat : 9406 (java) S 9394 9394 8821 0 -1 64 6 19382 0 1 0 0 127796 18 15 0 10 0 1981457630 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9407] ppid=9394 vsize=197760 CPUtime=1278.14 /proc/9402/task/9407/stat : 9407 (java) S 9394 9394 8821 0 -1 64 0 19382 0 1 0 0 127796 18 18 0 10 0 1981457632 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9408] ppid=9394 vsize=197760 CPUtime=1278.38 /proc/9402/task/9408/stat : 9408 (java) S 9394 9394 8821 0 -1 64 701 19382 0 1 24 0 127796 18 16 0 10 0 1981457632 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9402/tid=9409] ppid=9394 vsize=197760 CPUtime=1278.14 /proc/9402/task/9409/stat : 9409 (java) S 9394 9394 8821 0 -1 64 1 19382 0 1 0 0 127796 18 19 0 10 0 1981457632 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9410] ppid=9394 vsize=197760 CPUtime=1278.14 /proc/9402/task/9410/stat : 9410 (java) S 9394 9394 8821 0 -1 64 42 19382 0 1 0 0 127796 18 15 0 10 0 1981457632 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9567] ppid=9394 vsize=197760 CPUtime=1278.14 /proc/9402/task/9567/stat : 9567 (java) S 9394 9394 8821 0 -1 64 45 19382 0 1 0 0 127796 18 17 0 10 0 1981587936 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1695.75 Current children cumulated vsize (KiB) 863920 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/101 9577 /proc/meminfo: memFree=1173696/2055920 swapFree=4110296/4192956 [pid=9394] ppid=9392 vsize=5360 CPUtime=1.61 /proc/9394/stat : 9394 (hydra) S 9392 9394 8821 0 -1 4194304 375 5683 0 0 0 0 158 3 18 0 1 0 1981457462 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/9394/statm: 1340 238 196 169 0 51 0 [pid=9402] ppid=9394 vsize=197760 CPUtime=1284.54 /proc/9402/stat : 9402 (java) S 9394 9394 8821 0 -1 0 14417 19382 1 1 619 21 127796 18 18 0 10 0 1981457627 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9402/statm: 49440 9569 2545 9 0 44022 0 [pid=9568] ppid=9402 vsize=5356 CPUtime=0 /proc/9568/stat : 9568 (choco) S 9402 9394 8821 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 1981587936 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 233402065732 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/9568/statm: 1339 238 197 169 0 50 0 [pid=9569] ppid=9568 vsize=655444 CPUtime=468.44 /proc/9569/stat : 9569 (java) S 9568 9394 8821 0 -1 0 14151 0 1 0 46710 134 0 0 18 0 9 0 1981587937 671174656 13689 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9569/statm: 163861 13689 1908 9 0 158390 0 [pid=9569/tid=9570] ppid=9568 vsize=655444 CPUtime=468.11 /proc/9569/task/9570/stat : 9570 (java) R 9568 9394 8821 0 -1 64 12107 0 1 0 46679 132 0 0 25 0 9 0 1981587938 671174656 13689 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9569/tid=9571] ppid=9568 vsize=655444 CPUtime=0.1 /proc/9569/task/9571/stat : 9571 (java) S 9568 9394 8821 0 -1 64 941 0 0 0 10 0 0 0 16 0 9 0 1981587940 671174656 13689 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=9569/tid=9572] ppid=9568 vsize=655444 CPUtime=0 /proc/9569/task/9572/stat : 9572 (java) S 9568 9394 8821 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1981587940 671174656 13689 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9569/tid=9573] ppid=9568 vsize=655444 CPUtime=0 /proc/9569/task/9573/stat : 9573 (java) S 9568 9394 8821 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981587940 671174656 13689 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9569/tid=9574] ppid=9568 vsize=655444 CPUtime=0 /proc/9569/task/9574/stat : 9574 (java) S 9568 9394 8821 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981587942 671174656 13689 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9569/tid=9575] ppid=9568 vsize=655444 CPUtime=0.19 /proc/9569/task/9575/stat : 9575 (java) S 9568 9394 8821 0 -1 64 554 0 0 0 19 0 0 0 15 0 9 0 1981587942 671174656 13689 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9569/tid=9576] ppid=9568 vsize=655444 CPUtime=0 /proc/9569/task/9576/stat : 9576 (java) S 9568 9394 8821 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1981587942 671174656 13689 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9569/tid=9577] ppid=9568 vsize=655444 CPUtime=0 /proc/9569/task/9577/stat : 9577 (java) S 9568 9394 8821 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1981587942 671174656 13689 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9403] ppid=9394 vsize=197760 CPUtime=1283.15 /proc/9402/task/9403/stat : 9403 (java) S 9394 9394 8821 0 -1 64 4150 19382 1 1 494 7 127796 18 16 0 10 0 1981457628 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=9402/tid=9404] ppid=9394 vsize=197760 CPUtime=1279.25 /proc/9402/task/9404/stat : 9404 (java) S 9394 9394 8821 0 -1 64 8604 19382 0 1 100 11 127796 18 16 0 10 0 1981457629 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9405] ppid=9394 vsize=197760 CPUtime=1278.14 /proc/9402/task/9405/stat : 9405 (java) S 9394 9394 8821 0 -1 64 11 19382 0 1 0 0 127796 18 16 0 10 0 1981457630 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9406] ppid=9394 vsize=197760 CPUtime=1278.14 /proc/9402/task/9406/stat : 9406 (java) S 9394 9394 8821 0 -1 64 6 19382 0 1 0 0 127796 18 15 0 10 0 1981457630 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9407] ppid=9394 vsize=197760 CPUtime=1278.14 /proc/9402/task/9407/stat : 9407 (java) S 9394 9394 8821 0 -1 64 0 19382 0 1 0 0 127796 18 18 0 10 0 1981457632 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9408] ppid=9394 vsize=197760 CPUtime=1278.38 /proc/9402/task/9408/stat : 9408 (java) S 9394 9394 8821 0 -1 64 701 19382 0 1 24 0 127796 18 16 0 10 0 1981457632 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9402/tid=9409] ppid=9394 vsize=197760 CPUtime=1278.14 /proc/9402/task/9409/stat : 9409 (java) S 9394 9394 8821 0 -1 64 1 19382 0 1 0 0 127796 18 19 0 10 0 1981457632 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9410] ppid=9394 vsize=197760 CPUtime=1278.14 /proc/9402/task/9410/stat : 9410 (java) S 9394 9394 8821 0 -1 64 42 19382 0 1 0 0 127796 18 15 0 10 0 1981457632 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9567] ppid=9394 vsize=197760 CPUtime=1278.14 /proc/9402/task/9567/stat : 9567 (java) S 9394 9394 8821 0 -1 64 45 19382 0 1 0 0 127796 18 17 0 10 0 1981587936 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1754.59 Current children cumulated vsize (KiB) 863920 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1828.6 s] /proc/loadavg: 2.00 2.00 2.00 3/101 9577 /proc/meminfo: memFree=1173696/2055920 swapFree=4110296/4192956 [pid=9394] ppid=9392 vsize=5360 CPUtime=1.61 /proc/9394/stat : 9394 (hydra) S 9392 9394 8821 0 -1 4194304 375 5683 0 0 0 0 158 3 18 0 1 0 1981457462 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/9394/statm: 1340 238 196 169 0 51 0 [pid=9402] ppid=9394 vsize=197760 CPUtime=1284.54 /proc/9402/stat : 9402 (java) S 9394 9394 8821 0 -1 0 14417 19382 1 1 619 21 127796 18 18 0 10 0 1981457627 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9402/statm: 49440 9569 2545 9 0 44022 0 [pid=9568] ppid=9402 vsize=5356 CPUtime=0 /proc/9568/stat : 9568 (choco) S 9402 9394 8821 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 1981587936 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 233402065732 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/9568/statm: 1339 238 197 169 0 50 0 [pid=9569] ppid=9568 vsize=655444 CPUtime=513.86 /proc/9569/stat : 9569 (java) S 9568 9394 8821 0 -1 0 14155 0 1 0 51240 146 0 0 18 0 9 0 1981587937 671174656 13689 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9569/statm: 163861 13689 1908 9 0 158390 0 [pid=9569/tid=9570] ppid=9568 vsize=655444 CPUtime=513.52 /proc/9569/task/9570/stat : 9570 (java) R 9568 9394 8821 0 -1 64 12111 0 1 0 51209 143 0 0 25 0 9 0 1981587938 671174656 13689 996147200 134512640 134550740 4294955936 18446744073709551615 4126768569 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9569/tid=9571] ppid=9568 vsize=655444 CPUtime=0.1 /proc/9569/task/9571/stat : 9571 (java) S 9568 9394 8821 0 -1 64 941 0 0 0 10 0 0 0 16 0 9 0 1981587940 671174656 13689 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=9569/tid=9572] ppid=9568 vsize=655444 CPUtime=0 /proc/9569/task/9572/stat : 9572 (java) S 9568 9394 8821 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1981587940 671174656 13689 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9569/tid=9573] ppid=9568 vsize=655444 CPUtime=0 /proc/9569/task/9573/stat : 9573 (java) S 9568 9394 8821 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981587940 671174656 13689 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9569/tid=9574] ppid=9568 vsize=655444 CPUtime=0 /proc/9569/task/9574/stat : 9574 (java) S 9568 9394 8821 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981587942 671174656 13689 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9569/tid=9575] ppid=9568 vsize=655444 CPUtime=0.19 /proc/9569/task/9575/stat : 9575 (java) S 9568 9394 8821 0 -1 64 554 0 0 0 19 0 0 0 15 0 9 0 1981587942 671174656 13689 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9569/tid=9576] ppid=9568 vsize=655444 CPUtime=0 /proc/9569/task/9576/stat : 9576 (java) S 9568 9394 8821 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1981587942 671174656 13689 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9569/tid=9577] ppid=9568 vsize=655444 CPUtime=0 /proc/9569/task/9577/stat : 9577 (java) S 9568 9394 8821 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1981587942 671174656 13689 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9403] ppid=9394 vsize=197760 CPUtime=1283.15 /proc/9402/task/9403/stat : 9403 (java) S 9394 9394 8821 0 -1 64 4150 19382 1 1 494 7 127796 18 16 0 10 0 1981457628 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=9402/tid=9404] ppid=9394 vsize=197760 CPUtime=1279.25 /proc/9402/task/9404/stat : 9404 (java) S 9394 9394 8821 0 -1 64 8604 19382 0 1 100 11 127796 18 16 0 10 0 1981457629 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9405] ppid=9394 vsize=197760 CPUtime=1278.14 /proc/9402/task/9405/stat : 9405 (java) S 9394 9394 8821 0 -1 64 11 19382 0 1 0 0 127796 18 16 0 10 0 1981457630 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9406] ppid=9394 vsize=197760 CPUtime=1278.14 /proc/9402/task/9406/stat : 9406 (java) S 9394 9394 8821 0 -1 64 6 19382 0 1 0 0 127796 18 15 0 10 0 1981457630 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9407] ppid=9394 vsize=197760 CPUtime=1278.14 /proc/9402/task/9407/stat : 9407 (java) S 9394 9394 8821 0 -1 64 0 19382 0 1 0 0 127796 18 18 0 10 0 1981457632 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9408] ppid=9394 vsize=197760 CPUtime=1278.38 /proc/9402/task/9408/stat : 9408 (java) S 9394 9394 8821 0 -1 64 701 19382 0 1 24 0 127796 18 16 0 10 0 1981457632 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9402/tid=9409] ppid=9394 vsize=197760 CPUtime=1278.14 /proc/9402/task/9409/stat : 9409 (java) S 9394 9394 8821 0 -1 64 1 19382 0 1 0 0 127796 18 19 0 10 0 1981457632 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9410] ppid=9394 vsize=197760 CPUtime=1278.14 /proc/9402/task/9410/stat : 9410 (java) S 9394 9394 8821 0 -1 64 42 19382 0 1 0 0 127796 18 15 0 10 0 1981457632 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9402/tid=9567] ppid=9394 vsize=197760 CPUtime=1278.14 /proc/9402/task/9567/stat : 9567 (java) S 9394 9394 8821 0 -1 64 45 19382 0 1 0 0 127796 18 17 0 10 0 1981587936 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 863920 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 9394 and gives # childrusage.ru_utime.tv_sec=1 # childrusage.ru_utime.tv_usec=588758 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=39993 # CPU time returned by wait4() is 1.62875 # while last known CPU time is 1800.01 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1828.63 CPU time (s): 1800.01 CPU user time (s): 1798.13 CPU system time (s): 1.88 CPU usage (%): 98.4347 Max. virtual memory (cumulated for all children) (KiB): 870520 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.58876 system time used= 0.039993 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6058 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= 41 runsolver used 6.80896 second user time and 16.8784 second system time The end
Begin job on node70 at 2008-07-02 20:54:46 IDJOB=1046279 IDBENCH=53660 IDSOLVER=366 FILE ID=node70/1046279-1215024886 PBS_JOBID= 7874330 Free space on /tmp= 66436 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/magicSquare/normalized-magicSquare-20_glb.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1046279-1215024886/watcher-1046279-1215024886 -o /tmp/evaluation-result-1046279-1215024886/solver-1046279-1215024886 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1046279-1215024886.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 7812e1842715799c37ff5f210a866913 RANDOM SEED=1803595696 node70.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.256 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.256 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: 1303768 kB Buffers: 70060 kB Cached: 496700 kB SwapCached: 76996 kB Active: 188444 kB Inactive: 484040 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1303768 kB SwapTotal: 4192956 kB SwapFree: 4110296 kB Dirty: 24332 kB Writeback: 0 kB Mapped: 112884 kB Slab: 64964 kB Committed_AS: 4120892 kB PageTables: 1892 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= 66412 MiB End job on node70 at 2008-07-02 21:25:17