Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | ? (TO) | 1800.05 | 1811.14 |
Name | csp/pseudo/course/ normalized-ws97-3.xml |
MD5SUM | 6b29740823b1b2ba28b05996f386f881 |
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 | 1.20782 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 3300 |
Number of constraints | 2572 |
Maximum constraint arity | 220 |
Maximum domain size | 2 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 2572 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 7.57/7.74 c CASE TO CLASSIFY: 7.57/7.74 c Case: 0 7.57/7.74 c 19 > 67.340600 | c 35 > 36.259700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 45.536500 | c 15 > 21.659600 | c 34 > 59.692800 | c 16 > 220.000000 | c 13 > -0.506735 | c 14 > 10.738900 | c 11 > 11.687800 | c 12 > 2.271100 | c 21 > 1.414110 | c 20 > 32.659400 | 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.139600 | c 1 > 11.687800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.994000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.494800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.57/7.75 c choco : 1801.0 7.57/7.75 c mistral : 1801.0 7.57/7.75 c abscon : 1801.0 7.57/7.75 c 7.57/7.75 c 7.87/8.00 c List of same ones: 40 7.87/8.00 c /home/eomahony/cpZilla/CSP/pseudoSeries/course/ss97-4.xml 7.87/8.00 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.87/8.01 c choco : 1801.0 7.87/8.01 c mistral : 4.13 7.87/8.01 c abscon : 1800.06 7.87/8.01 c 7.87/8.01 c 7.87/8.01 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/apex4-a.xml 7.87/8.01 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.87/8.02 c choco : 24.35 7.87/8.02 c mistral : 3.62 7.87/8.02 c abscon : 12.2411 7.87/8.02 c 7.87/8.02 c 7.87/8.02 c /home/eomahony/cpZilla/CSP/pseudoSeries/course/ws97-5.xml 7.87/8.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 7.87/8.03 c choco : 1801.0 7.87/8.03 c mistral : 0.71 7.87/8.03 c abscon : 1800.1 7.87/8.03 c 7.87/8.03 c 7.87/8.03 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-seymour1.xml 7.87/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.87/8.04 c choco : 1801.0 7.87/8.04 c mistral : 14.2628 7.87/8.04 c abscon : 40.6598 7.87/8.04 c 7.87/8.04 c 7.87/8.04 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-stocfor1.xml 7.87/8.04 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.87/8.05 c choco : 1801.0 7.87/8.05 c mistral : 18.05 7.87/8.05 c abscon : 1800.09 7.87/8.05 c 7.87/8.05 c 7.87/8.05 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-neos16.xml 7.87/8.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 7.87/8.06 c choco : 5.46 7.87/8.06 c mistral : 1800.03 7.87/8.06 c abscon : 314.036 7.87/8.06 c 7.87/8.06 c 7.87/8.06 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-bell5.xml 7.87/8.06 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.87/8.07 c choco : 1801.0 7.87/8.07 c mistral : 247.62 7.87/8.07 c abscon : 437.054 7.87/8.07 c 7.87/8.07 c 7.87/8.07 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-markshare2-1.xml 7.87/8.07 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.87/8.07 c choco : 2.64 7.87/8.07 c mistral : 0.55 7.87/8.08 c abscon : 199.342 7.87/8.08 c 7.87/8.08 c 7.87/8.08 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/e-am-pi.xml 7.87/8.08 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.87/8.08 c choco : 16.5 7.87/8.08 c mistral : 4.84 7.87/8.08 c abscon : 6.63899 7.87/8.08 c 7.87/8.08 c 7.87/8.08 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-afiro.xml 7.87/8.08 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.87/8.09 c choco : 11.35 7.87/8.09 c mistral : 6.16 7.87/8.09 c abscon : 1800.07 7.87/8.09 c 7.87/8.09 c 7.87/8.09 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-misc07.xml 7.87/8.09 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.94/8.10 c choco : 5.96 7.94/8.10 c mistral : 22.01 7.94/8.10 c abscon : 1008.63 7.94/8.10 c 7.94/8.10 c 7.94/8.10 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/mod008.xml 7.94/8.10 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.94/8.12 c choco : 2.44 7.94/8.12 c mistral : 0.44 7.94/8.12 c abscon : 1.3238 7.94/8.12 c 7.94/8.12 c 7.94/8.12 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-mod008.xml 7.94/8.12 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.94/8.12 c choco : 2.41 7.94/8.13 c mistral : 0.4 7.94/8.13 c abscon : 1.3208 7.94/8.13 c 7.94/8.13 c 7.94/8.13 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-mas74.xml 7.94/8.13 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.94/8.14 c choco : 2.83 7.94/8.14 c mistral : 0.65 7.94/8.14 c abscon : 8.5807 7.94/8.14 c 7.94/8.14 c 7.94/8.14 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-mas76.xml 7.94/8.14 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.94/8.14 c choco : 2.67 7.94/8.14 c mistral : 0.58 7.94/8.14 c abscon : 8.38772 7.94/8.14 c 7.94/8.14 c 7.94/8.14 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/5xp1-b.xml 7.94/8.14 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.94/8.15 c choco : 6.4 7.94/8.15 c mistral : 2.56 7.94/8.15 c abscon : 3.13052 7.94/8.15 c 7.94/8.15 c 7.94/8.15 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-kb2.xml 7.94/8.15 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.94/8.16 c choco : 9.38 7.94/8.16 c mistral : 8.53 7.94/8.16 c abscon : 853.293 7.94/8.16 c 7.94/8.16 c 7.94/8.16 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/ex5-pi.xml 7.94/8.16 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.94/8.16 c choco : 10.89 7.94/8.16 c mistral : 4.98 7.94/8.16 c abscon : 7.27989 7.94/8.16 c 7.94/8.16 c 7.94/8.16 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-markshare1-1.xml 7.94/8.16 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.94/8.17 c choco : 2.19 7.94/8.17 c mistral : 0.37 7.94/8.17 c abscon : 175.226 7.94/8.17 c 7.94/8.17 c 7.94/8.17 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-pp08aCUTS.xml 7.94/8.17 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.94/8.18 c choco : 482.24 7.94/8.18 c mistral : 1800.08 7.94/8.18 c abscon : 1800.1 7.94/8.18 c 7.94/8.18 c 7.94/8.18 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-7-210-60-2-10_glb.xml 7.94/8.18 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.94/8.19 c choco : 1801.0 7.94/8.19 c mistral : 4.54 7.94/8.19 c abscon : 1801.0 7.94/8.19 c 7.94/8.19 c 7.94/8.19 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-mitre.xml 7.94/8.19 c 19 > 9.584350 | c 35 > 33.271400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.467000 | c 15 > 18.214500 | c 34 > 66.542800 | c 16 > 98.000000 | c 13 > -0.028883 | c 14 > 9.923330 | c 11 > 13.388600 | c 12 > 2.211530 | c 21 > 1.414210 | c 20 > 90.415600 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 16.369600 | c 1 > 13.388600 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 16.366200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 25.787600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.94/8.20 c choco : 1801.0 7.94/8.20 c mistral : 3.9354 7.94/8.20 c abscon : 1800.1 7.94/8.20 c 7.94/8.20 c 7.94/8.20 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/sao2-b.xml 7.94/8.20 c 19 > 15.817000 | c 35 > 77.542500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.196100 | c 15 > 18.013800 | c 34 > 84.692800 | c 16 > 98.000000 | c 13 > 4.520700 | c 14 > 7.348730 | c 11 > 8.519640 | c 12 > 5.072470 | c 21 > 1.409450 | c 20 > 84.183000 | 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.624600 | c 1 > 8.519640 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.610800 | c 6 > 0.000000 | c 32 > -1.000000 | c 5 > 17.580900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.00/8.20 c choco : 3.87 8.00/8.20 c mistral : 0.71 8.00/8.20 c abscon : 2.33864 8.00/8.20 c 8.00/8.20 c 8.00/8.20 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-pp08a.xml 8.00/8.20 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 8.00/8.21 c choco : 18.53 8.00/8.21 c mistral : 1800.06 8.00/8.21 c abscon : 1348.66 8.00/8.21 c 8.00/8.21 c 8.00/8.21 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/clip-b.xml 8.00/8.21 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 8.00/8.21 c choco : 4.16 8.00/8.21 c mistral : 1.2 8.00/8.21 c abscon : 2.05169 8.00/8.21 c 8.00/8.21 c 8.00/8.21 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-neos18.xml 8.00/8.21 c 19 > 25.134400 | c 35 > 25.841100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 19.413100 | c 15 > 16.069800 | c 34 > 34.072800 | c 16 > 80.000000 | c 13 > 2.425940 | c 14 > 8.727920 | c 11 > 13.281600 | c 12 > 0.561496 | c 21 > 1.136120 | c 20 > 74.865600 | 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.375900 | c 1 > 9.911390 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.134900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.385700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.00/8.22 c choco : 9.44 8.00/8.22 c mistral : 1.19 8.00/8.22 c abscon : 6.61899 8.00/8.22 c 8.00/8.22 c 8.00/8.22 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc205.xml 8.00/8.22 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 8.00/8.23 c choco : 15.99 8.00/8.23 c mistral : 52.33 8.00/8.23 c abscon : 1800.11 8.00/8.23 c 8.00/8.23 c 8.00/8.23 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-neos5.xml 8.00/8.23 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 8.00/8.23 c choco : 3.04 8.00/8.23 c mistral : 0.9 8.00/8.23 c abscon : 1.9467 8.00/8.23 c 8.00/8.23 c 8.00/8.23 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc50b.xml 8.00/8.23 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 8.00/8.24 c choco : 3.78 8.00/8.24 c mistral : 1.05 8.00/8.24 c abscon : 1800.08 8.00/8.24 c 8.00/8.24 c 8.00/8.24 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc50a.xml 8.00/8.24 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 8.00/8.24 c choco : 3.95 8.00/8.24 c mistral : 1.4 8.00/8.24 c abscon : 385.752 8.00/8.24 c 8.00/8.24 c 8.00/8.24 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc105.xml 8.00/8.24 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 8.00/8.25 c choco : 24.54 8.00/8.25 c mistral : 2.61 8.00/8.25 c abscon : 1239.19 8.00/8.25 c 8.00/8.25 c 8.00/8.25 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/f51m-b.xml 8.00/8.25 c 19 > 2.923980 | c 35 > 111.326000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 21.345000 | c 15 > 18.781100 | c 34 > 118.148000 | c 16 > 123.000000 | c 13 > 4.863770 | c 14 > 7.276120 | c 11 > 8.647460 | c 12 > 5.030370 | c 21 > 1.409850 | c 20 > 97.076000 | 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.702100 | c 1 > 8.647460 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.700700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.187000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.00/8.25 c choco : 3.95 8.00/8.25 c mistral : 0.97 8.00/8.25 c abscon : 3.01554 8.00/8.25 c 8.00/8.25 c 8.00/8.25 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-p0282.xml 8.00/8.26 c 19 > 79.638000 | c 35 > 17.918600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 48.868800 | c 15 > 15.491400 | c 34 > 35.746600 | c 16 > 57.000000 | c 13 > 2.357980 | c 14 > 7.894820 | c 11 > 10.389100 | c 12 > 0.814866 | c 21 > 1.414210 | c 20 > 20.362000 | 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.224600 | c 1 > 8.139550 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.114400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.526600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.00/8.26 c choco : 2.08 8.00/8.26 c mistral : 0.13 8.00/8.26 c abscon : 6.79797 8.00/8.26 c 8.00/8.26 c 8.00/8.26 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-p0282.xml 8.00/8.26 c 19 > 79.638000 | c 35 > 17.918600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 48.868800 | c 15 > 15.491400 | c 34 > 35.746600 | c 16 > 57.000000 | c 13 > 2.357980 | c 14 > 7.894820 | c 11 > 10.389100 | c 12 > 0.814866 | c 21 > 1.414210 | c 20 > 20.362000 | 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.224600 | c 1 > 8.139550 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.114400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.526600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.00/8.27 c choco : 2.06 8.00/8.27 c mistral : 0.13 8.00/8.27 c abscon : 6.27604 8.00/8.27 c 8.00/8.27 c 8.00/8.27 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/p0282.xml 8.00/8.27 c 19 > 79.638000 | c 35 > 17.918600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 48.868800 | c 15 > 15.486600 | c 34 > 35.746600 | c 16 > 57.000000 | c 13 > 2.357980 | c 14 > 7.839200 | c 11 > 10.389100 | c 12 > 0.814866 | c 21 > 1.414210 | c 20 > 20.362000 | 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.224600 | c 1 > 8.139550 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.114400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.526600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.00/8.28 c choco : 2.05 8.00/8.28 c mistral : 0.13 8.00/8.28 c abscon : 6.83396 8.00/8.28 c 8.00/8.28 c 8.00/8.28 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/alu4-b.xml 8.00/8.28 c 19 > 5.990020 | c 35 > 94.642300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 22.412600 | c 15 > 19.780300 | c 34 > 101.514000 | c 16 > 98.000000 | c 13 > 5.384320 | c 14 > 8.791160 | c 11 > 9.627530 | c 12 > 5.492460 | c 21 > 1.407190 | c 20 > 94.010000 | 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.135300 | c 1 > 9.627530 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.131300 | c 6 > 1.584960 | c 32 > -1.000000 | c 5 > 19.161100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.00/8.28 c choco : 7.44 8.00/8.28 c mistral : 2.31 8.00/8.28 c abscon : 6.18006 8.00/8.28 c 8.00/8.28 c 8.00/8.28 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-misc03.xml 8.00/8.28 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 8.00/8.29 c choco : 2.64 8.00/8.29 c mistral : 1.78 8.00/8.29 c abscon : 65.1051 8.00/8.29 c 8.00/8.29 c 8.00/8.29 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-p0291.xml 8.00/8.29 c 19 > 93.170700 | c 35 > 20.634100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 56.780500 | c 15 > 14.253400 | c 34 > 40.048800 | c 16 > 53.000000 | c 13 > 1.855860 | c 14 > 8.087460 | c 11 > 9.537220 | c 12 > 0.523478 | c 21 > 1.414210 | c 20 > 6.829270 | 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 > 10.018200 | c 1 > 8.184880 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.724510 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.560600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.00/8.30 c choco : 1.93 8.00/8.30 c mistral : 0.08 8.00/8.30 c abscon : 6.47402 8.00/8.30 c 8.00/8.30 c 8.00/8.30 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-p0291.xml 8.00/8.30 c 19 > 93.170700 | c 35 > 20.634100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 56.780500 | c 15 > 14.253400 | c 34 > 40.048800 | c 16 > 53.000000 | c 13 > 1.855860 | c 14 > 8.087460 | c 11 > 9.537220 | c 12 > 0.523478 | c 21 > 1.414210 | c 20 > 6.829270 | 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 > 10.018200 | c 1 > 8.184880 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.724510 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.560600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.06/8.30 c choco : 1.94 8.06/8.30 c mistral : 0.08 8.06/8.30 c abscon : 6.44102 8.06/8.30 c 8.06/8.30 c 8.06/8.30 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/pk1.xml 8.06/8.30 c 19 > 50.000000 | c 35 > 10.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 16.440300 | c 34 > 15.000000 | c 16 > 57.000000 | c 13 > 2.267490 | c 14 > 5.807350 | c 11 > 10.946200 | c 12 > 0.878386 | c 21 > 1.414210 | c 20 > 50.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.727100 | c 1 > 6.426260 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.020000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.06/8.31 c choco : 1.88 8.06/8.31 c mistral : 0.19 8.06/8.31 c abscon : 1.02284 8.06/8.31 c 8.06/8.31 c 8.06/8.31 c Length: 40 8.06/8.31 c 41.877610462539835 73.61502847071938 88.62689608913834 105.36929289643838 106.73648970092245 111.13829293122119 121.19231449679359 121.78941701975326 121.84078906678225 122.02133467733674 127.32645715821093 127.57190624646714 127.60894704653366 128.22250996078543 128.22491848492837 131.75009388185848 132.61417272244893 133.64240654030863 134.36066014240296 143.46363400344939 145.40196546241947 148.60333470309303 151.59070164915073 156.00843558443503 156.37224965940285 157.10150421358492 160.13638167850183 160.68756277471917 161.4492261121276 161.70557842320818 162.33008873424336 165.5970875045498 166.9727597076927 166.9727597076927 166.9738937415262 167.85118455188345 170.83204375309225 173.5032102147459 173.5032102147459 173.78008623688885 8.06/8.31 c 8.06/8.31 c 1.0 0.8060532962068686 0.7383217200882826 0.675058440763463 0.6703677953722881 0.6556989705589841 0.6244874393923552 0.6227270150172222 0.6225760195120964 0.6220459304675149 0.6068630007647766 0.6061784594953108 0.606075289243963 0.6043714184860213 0.6043647488658851 0.5947582010787953 0.592449899797235 0.5897263139220432 0.5878386117257144 0.5649206541700067 0.5602695127848101 0.5527530935828697 0.5459187809519811 0.5361163521111079 0.5353247573120323 0.5337450472309675 0.5272698204109036 0.5261106391136922 0.5245171581194299 0.5239830106254268 0.5226862942832419 0.5160060562916867 0.5132439483218563 0.5132439483218563 0.5132416835793945 0.5114956423602333 0.5056506889052019 0.5005253254735567 0.5005253254735567 0.5 8.06/8.33 c 8.06/8.33 c solver 0 8.06/8.33 c before 0.0 seconds: {} 0 8.06/8.33 c before 18.0 seconds: {1, 8, 11, 12, 13, 14, 15, 17, 22, 24, 25, 27, 31, 32, 33, 34, 35, 37, 38, 39} 11243 8.06/8.33 c before 54.0 seconds: {1, 3, 8, 11, 12, 13, 14, 15, 17, 22, 24, 25, 27, 31, 32, 33, 34, 35, 37, 38, 39} 11918 8.06/8.33 c before 72.0 seconds: {1, 3, 8, 11, 12, 13, 14, 15, 17, 22, 24, 25, 27, 31, 32, 33, 34, 35, 36, 37, 38, 39} 12424 8.06/8.33 c before 180.0 seconds: {1, 3, 8, 11, 12, 13, 14, 15, 17, 18, 22, 24, 25, 27, 31, 32, 33, 34, 35, 36, 37, 38, 39} 13012 8.06/8.33 c before 216.0 seconds: {1, 3, 7, 8, 11, 12, 13, 14, 15, 17, 18, 22, 24, 25, 27, 31, 32, 33, 34, 35, 36, 37, 38, 39} 13634 8.06/8.33 c before 324.0 seconds: {1, 3, 5, 7, 8, 11, 12, 13, 14, 15, 17, 18, 22, 24, 25, 27, 31, 32, 33, 34, 35, 36, 37, 38, 39} 14290 8.06/8.33 c before 396.0 seconds: {1, 3, 5, 7, 8, 11, 12, 13, 14, 15, 17, 18, 22, 24, 25, 27, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 14814 8.06/8.33 c before 450.0 seconds: {1, 3, 5, 6, 7, 8, 11, 12, 13, 14, 15, 17, 18, 22, 24, 25, 27, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15438 8.06/8.33 c before 864.0 seconds: {1, 3, 5, 6, 7, 8, 11, 12, 13, 14, 15, 16, 17, 18, 22, 24, 25, 27, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16031 8.06/8.33 c before 1026.0 seconds: {1, 3, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 22, 24, 25, 27, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16638 8.06/8.33 c before 1242.0 seconds: {1, 3, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 22, 24, 25, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17160 8.06/8.33 c before 1350.0 seconds: {1, 3, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 22, 23, 24, 25, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17697 8.06/8.33 c 8.06/8.33 c solver 1 8.06/8.33 c before 0.0 seconds: {} 0 8.06/8.33 c before 18.0 seconds: {0, 1, 2, 3, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19271 8.06/8.33 c before 36.0 seconds: {0, 1, 2, 3, 4, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20549 8.06/8.33 c before 54.0 seconds: {0, 1, 2, 3, 4, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21076 8.06/8.33 c before 252.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21700 8.06/8.33 c 8.06/8.33 c solver 2 8.06/8.33 c before 0.0 seconds: {} 0 8.06/8.33 c before 18.0 seconds: {5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 22, 24, 25, 26, 27, 28, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16206 8.06/8.33 c before 36.0 seconds: {1, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18071 8.06/8.33 c before 486.0 seconds: {1, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18636 8.06/8.33 c 8.06/8.33 cTotal time: 116 8.06/8.33 c run abscon for 1242.0 seconds {1, 3, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 22, 24, 25, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17160 8.06/8.33 c run mistral for 54.0 seconds {0, 1, 2, 3, 4, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21076 8.06/8.33 c run choco for 486.0 seconds {1, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18636 8.06/8.33 c Starting solver: HOME/cpHydra_k_40/solver/abscon 8.06/8.33 c On Instance: HOME/instance-1049636-1215045637.xml 8.06/8.33 c Running for: 1242 seconds 1250.35/1251.18 c Starting solver: HOME/cpHydra_k_40/solver/mistral 1250.35/1251.18 c On Instance: HOME/instance-1049636-1215045637.xml 1250.35/1251.18 c Running for: 54 seconds 1304.43/1305.70 c Starting solver: HOME/cpHydra_k_40/solver/choco 1304.43/1305.70 c On Instance: HOME/instance-1049636-1215045637.xml 1304.43/1305.70 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-1049636-1215045637/watcher-1049636-1215045637 -o /tmp/evaluation-result-1049636-1215045637/solver-1049636-1215045637 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1049636-1215045637.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/80 14042 /proc/meminfo: memFree=1672680/2055920 swapFree=4180688/4192956 [pid=14042] ppid=14040 vsize=5360 CPUtime=0 /proc/14042/stat : 14042 (hydra) R 14040 14042 12943 0 -1 4194304 265 0 0 0 0 0 0 0 21 0 1 0 1983536725 5488640 233 996147200 4194304 4889804 548682068816 18446744073709551615 4600096 0 0 4100 65536 0 0 0 17 1 0 0 /proc/14042/statm: 1340 233 194 169 0 51 0 [startup+0.259889 s] /proc/loadavg: 2.00 2.00 2.00 4/80 14042 /proc/meminfo: memFree=1672680/2055920 swapFree=4180688/4192956 [pid=14042] ppid=14040 vsize=5360 CPUtime=0 /proc/14042/stat : 14042 (hydra) S 14040 14042 12943 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1983536725 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/14042/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.302894 s] /proc/loadavg: 2.00 2.00 2.00 4/80 14042 /proc/meminfo: memFree=1672680/2055920 swapFree=4180688/4192956 [pid=14042] ppid=14040 vsize=5360 CPUtime=0 /proc/14042/stat : 14042 (hydra) S 14040 14042 12943 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1983536725 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/14042/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.402903 s] /proc/loadavg: 2.00 2.00 2.00 4/80 14042 /proc/meminfo: memFree=1672680/2055920 swapFree=4180688/4192956 [pid=14042] ppid=14040 vsize=5360 CPUtime=0 /proc/14042/stat : 14042 (hydra) S 14040 14042 12943 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1983536725 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/14042/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.702927 s] /proc/loadavg: 2.00 2.00 2.00 4/80 14042 /proc/meminfo: memFree=1672680/2055920 swapFree=4180688/4192956 [pid=14042] ppid=14040 vsize=5360 CPUtime=0 /proc/14042/stat : 14042 (hydra) S 14040 14042 12943 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1983536725 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/14042/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50299 s] /proc/loadavg: 2.00 2.00 2.00 3/82 14046 /proc/meminfo: memFree=1643800/2055920 swapFree=4180688/4192956 [pid=14042] ppid=14040 vsize=5360 CPUtime=0 /proc/14042/stat : 14042 (hydra) S 14040 14042 12943 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1983536725 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/14042/statm: 1340 236 195 169 0 51 0 [pid=14046] ppid=14042 vsize=33700 CPUtime=1.47 /proc/14046/stat : 14046 (xsolve) R 14042 14042 12943 0 -1 4194304 7885 0 0 0 145 2 0 0 25 0 1 0 1983536726 34508800 7551 996147200 134512640 135239763 4294956176 18446744073709551615 135101003 0 0 4096 0 0 0 0 17 1 0 0 /proc/14046/statm: 8425 7551 432 177 0 7328 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 39060 [startup+3.10114 s] /proc/loadavg: 2.00 2.00 2.00 4/90 14058 /proc/meminfo: memFree=1666648/2055920 swapFree=4180688/4192956 [pid=14042] ppid=14040 vsize=5360 CPUtime=1.92 /proc/14042/stat : 14042 (hydra) S 14040 14042 12943 0 -1 4194304 375 8483 0 0 0 0 189 3 18 0 1 0 1983536725 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/14042/statm: 1340 238 196 169 0 51 0 [pid=14050] ppid=14042 vsize=197000 CPUtime=1.12 /proc/14050/stat : 14050 (java) S 14042 14042 12943 0 -1 0 4607 0 1 0 108 4 0 0 18 0 9 0 1983536921 201728000 3888 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/14050/statm: 49250 3888 1678 9 0 43832 0 [pid=14050/tid=14051] ppid=14042 vsize=197000 CPUtime=0.85 /proc/14050/task/14051/stat : 14051 (java) R 14042 14042 12943 0 -1 64 2644 0 1 0 84 1 0 0 25 0 9 0 1983536922 201728000 3888 996147200 134512640 134550740 4294955968 18446744073709551615 4126443965 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14052] ppid=14042 vsize=197000 CPUtime=0.11 /proc/14050/task/14052/stat : 14052 (java) S 14042 14042 12943 0 -1 64 634 0 0 0 10 1 0 0 16 0 9 0 1983536923 201728000 3888 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14053] ppid=14042 vsize=197000 CPUtime=0 /proc/14050/task/14053/stat : 14053 (java) S 14042 14042 12943 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1983536923 201728000 3888 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14054] ppid=14042 vsize=197000 CPUtime=0 /proc/14050/task/14054/stat : 14054 (java) S 14042 14042 12943 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1983536923 201728000 3888 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14055] ppid=14042 vsize=197000 CPUtime=0 /proc/14050/task/14055/stat : 14055 (java) S 14042 14042 12943 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1983536925 201728000 3888 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14056] ppid=14042 vsize=197000 CPUtime=0.13 /proc/14050/task/14056/stat : 14056 (java) S 14042 14042 12943 0 -1 64 604 0 0 0 13 0 0 0 16 0 9 0 1983536925 201728000 3888 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14057] ppid=14042 vsize=197000 CPUtime=0 /proc/14050/task/14057/stat : 14057 (java) S 14042 14042 12943 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1983536925 201728000 3888 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14058] ppid=14042 vsize=197000 CPUtime=0 /proc/14050/task/14058/stat : 14058 (java) S 14042 14042 12943 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1983536926 201728000 3888 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 202360 [startup+6.30242 s] /proc/loadavg: 2.00 2.00 2.00 3/90 14058 /proc/meminfo: memFree=1653400/2055920 swapFree=4180688/4192956 [pid=14042] ppid=14040 vsize=5360 CPUtime=1.92 /proc/14042/stat : 14042 (hydra) S 14040 14042 12943 0 -1 4194304 375 8483 0 0 0 0 189 3 18 0 1 0 1983536725 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/14042/statm: 1340 238 196 169 0 51 0 [pid=14050] ppid=14042 vsize=197112 CPUtime=4.27 /proc/14050/stat : 14050 (java) S 14042 14042 12943 0 -1 0 9522 0 1 0 413 14 0 0 18 0 9 0 1983536921 201842688 7893 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/14050/statm: 49278 7893 2541 9 0 43860 0 [pid=14050/tid=14051] ppid=14042 vsize=197112 CPUtime=3.34 /proc/14050/task/14051/stat : 14051 (java) R 14042 14042 12943 0 -1 64 3470 0 1 0 330 4 0 0 25 0 9 0 1983536922 201842688 7893 996147200 134512640 134550740 4294955968 18446744073709551615 4126518470 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14052] ppid=14042 vsize=197112 CPUtime=0.73 /proc/14050/task/14052/stat : 14052 (java) S 14042 14042 12943 0 -1 64 4697 0 0 0 66 7 0 0 16 0 9 0 1983536923 201842688 7893 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14053] ppid=14042 vsize=197112 CPUtime=0 /proc/14050/task/14053/stat : 14053 (java) S 14042 14042 12943 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1983536923 201842688 7893 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14054] ppid=14042 vsize=197112 CPUtime=0 /proc/14050/task/14054/stat : 14054 (java) S 14042 14042 12943 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1983536923 201842688 7893 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14055] ppid=14042 vsize=197112 CPUtime=0 /proc/14050/task/14055/stat : 14055 (java) S 14042 14042 12943 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1983536925 201842688 7893 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14056] ppid=14042 vsize=197112 CPUtime=0.16 /proc/14050/task/14056/stat : 14056 (java) S 14042 14042 12943 0 -1 64 630 0 0 0 16 0 0 0 16 0 9 0 1983536925 201842688 7893 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14057] ppid=14042 vsize=197112 CPUtime=0 /proc/14050/task/14057/stat : 14057 (java) S 14042 14042 12943 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1983536925 201842688 7893 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14058] ppid=14042 vsize=197112 CPUtime=0 /proc/14050/task/14058/stat : 14058 (java) S 14042 14042 12943 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1983536926 201842688 7893 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.703 s] /proc/loadavg: 2.00 2.00 2.00 3/102 14070 /proc/meminfo: memFree=1574776/2055920 swapFree=4180688/4192956 [pid=14042] ppid=14040 vsize=5360 CPUtime=1.92 /proc/14042/stat : 14042 (hydra) S 14040 14042 12943 0 -1 4194304 375 8483 0 0 0 0 189 3 18 0 1 0 1983536725 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/14042/statm: 1340 238 196 169 0 51 0 [pid=14050] ppid=14042 vsize=197436 CPUtime=6.17 /proc/14050/stat : 14050 (java) S 14042 14042 12943 0 -1 0 14023 0 1 0 596 21 0 0 18 0 10 0 1983536921 202174464 9556 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/14050/statm: 49359 9556 2544 9 0 43941 0 [pid=14060] ppid=14050 vsize=5356 CPUtime=0 /proc/14060/stat : 14060 (abscon) S 14050 14042 12943 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1983537559 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 209135919940 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/14060/statm: 1339 237 196 169 0 50 0 [pid=14061] ppid=14060 vsize=655828 CPUtime=4.34 /proc/14061/stat : 14061 (java) S 14060 14042 12943 0 -1 0 20267 0 1 0 416 18 0 0 18 0 9 0 1983537560 671567872 19580 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/14061/statm: 163957 19580 2616 9 0 158485 0 [pid=14061/tid=14063] ppid=14060 vsize=655828 CPUtime=3.82 /proc/14061/task/14063/stat : 14063 (java) R 14060 14042 12943 0 -1 64 12573 0 1 0 368 14 0 0 25 0 9 0 1983537560 671567872 19580 996147200 134512640 134550740 4294955808 18446744073709551615 4127226708 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14061/tid=14064] ppid=14060 vsize=655828 CPUtime=0.19 /proc/14061/task/14064/stat : 14064 (java) S 14060 14042 12943 0 -1 64 6434 0 0 0 17 2 0 0 16 0 9 0 1983537562 671567872 19580 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=14061/tid=14065] ppid=14060 vsize=655828 CPUtime=0 /proc/14061/task/14065/stat : 14065 (java) S 14060 14042 12943 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1983537562 671567872 19580 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14061/tid=14066] ppid=14060 vsize=655828 CPUtime=0 /proc/14061/task/14066/stat : 14066 (java) S 14060 14042 12943 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1983537562 671567872 19580 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14061/tid=14067] ppid=14060 vsize=655828 CPUtime=0 /proc/14061/task/14067/stat : 14067 (java) S 14060 14042 12943 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1983537564 671567872 19580 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14061/tid=14068] ppid=14060 vsize=655828 CPUtime=0.31 /proc/14061/task/14068/stat : 14068 (java) S 14060 14042 12943 0 -1 64 714 0 0 0 30 1 0 0 15 0 9 0 1983537564 671567872 19580 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14061/tid=14069] ppid=14060 vsize=655828 CPUtime=0 /proc/14061/task/14069/stat : 14069 (java) S 14060 14042 12943 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1983537564 671567872 19580 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14061/tid=14070] ppid=14060 vsize=655828 CPUtime=0 /proc/14061/task/14070/stat : 14070 (java) S 14060 14042 12943 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1983537564 671567872 19580 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14062] ppid=14060 vsize=7044 CPUtime=0 /proc/14062/stat : 14062 (translate) S 14060 14042 12943 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1983537560 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 209136091218 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/14062/statm: 1761 213 182 1 0 41 0 [pid=14050/tid=14051] ppid=14042 vsize=197436 CPUtime=4.79 /proc/14050/task/14051/stat : 14051 (java) S 14042 14042 12943 0 -1 64 3970 0 1 0 472 7 0 0 25 0 10 0 1983536922 202174464 9556 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=14050/tid=14052] ppid=14042 vsize=197436 CPUtime=1.11 /proc/14050/task/14052/stat : 14052 (java) S 14042 14042 12943 0 -1 64 8556 0 0 0 100 11 0 0 16 0 10 0 1983536923 202174464 9556 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14053] ppid=14042 vsize=197436 CPUtime=0 /proc/14050/task/14053/stat : 14053 (java) S 14042 14042 12943 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1983536923 202174464 9556 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14054] ppid=14042 vsize=197436 CPUtime=0 /proc/14050/task/14054/stat : 14054 (java) S 14042 14042 12943 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1983536923 202174464 9556 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14055] ppid=14042 vsize=197436 CPUtime=0 /proc/14050/task/14055/stat : 14055 (java) S 14042 14042 12943 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1983536925 202174464 9556 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14056] ppid=14042 vsize=197436 CPUtime=0.23 /proc/14050/task/14056/stat : 14056 (java) S 14042 14042 12943 0 -1 64 670 0 0 0 23 0 0 0 16 0 10 0 1983536925 202174464 9556 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14057] ppid=14042 vsize=197436 CPUtime=0 /proc/14050/task/14057/stat : 14057 (java) S 14042 14042 12943 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1983536925 202174464 9556 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14058] ppid=14042 vsize=197436 CPUtime=0 /proc/14050/task/14058/stat : 14058 (java) S 14042 14042 12943 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1983536926 202174464 9556 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14059] ppid=14042 vsize=197436 CPUtime=0 /proc/14050/task/14059/stat : 14059 (java) S 14042 14042 12943 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1983537559 202174464 9556 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.43 Current children cumulated vsize (KiB) 871024 [startup+25.5071 s] /proc/loadavg: 2.00 2.00 2.00 3/102 14070 /proc/meminfo: memFree=1574776/2055920 swapFree=4180688/4192956 [pid=14042] ppid=14040 vsize=5360 CPUtime=1.92 /proc/14042/stat : 14042 (hydra) S 14040 14042 12943 0 -1 4194304 375 8483 0 0 0 0 189 3 18 0 1 0 1983536725 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/14042/statm: 1340 238 196 169 0 51 0 [pid=14050] ppid=14042 vsize=197436 CPUtime=6.17 /proc/14050/stat : 14050 (java) S 14042 14042 12943 0 -1 0 14023 0 1 0 596 21 0 0 18 0 10 0 1983536921 202174464 9556 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/14050/statm: 49359 9556 2544 9 0 43941 0 [pid=14060] ppid=14050 vsize=5356 CPUtime=0 /proc/14060/stat : 14060 (abscon) S 14050 14042 12943 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1983537559 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 209135919940 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/14060/statm: 1339 237 196 169 0 50 0 [pid=14061] ppid=14060 vsize=655828 CPUtime=17.13 /proc/14061/stat : 14061 (java) S 14060 14042 12943 0 -1 0 20268 0 1 0 1695 18 0 0 18 0 9 0 1983537560 671567872 19580 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/14061/statm: 163957 19580 2616 9 0 158485 0 [pid=14061/tid=14063] ppid=14060 vsize=655828 CPUtime=16.61 /proc/14061/task/14063/stat : 14063 (java) R 14060 14042 12943 0 -1 64 12574 0 1 0 1647 14 0 0 25 0 9 0 1983537560 671567872 19580 996147200 134512640 134550740 4294955808 18446744073709551615 4127036278 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14061/tid=14064] ppid=14060 vsize=655828 CPUtime=0.19 /proc/14061/task/14064/stat : 14064 (java) S 14060 14042 12943 0 -1 64 6434 0 0 0 17 2 0 0 16 0 9 0 1983537562 671567872 19580 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=14061/tid=14065] ppid=14060 vsize=655828 CPUtime=0 /proc/14061/task/14065/stat : 14065 (java) S 14060 14042 12943 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1983537562 671567872 19580 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/14050/statm: 49440 9563 2545 9 0 44022 0 [pid=14171] ppid=14050 vsize=5356 CPUtime=0 /proc/14171/stat : 14171 (choco) S 14050 14042 12943 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1983667296 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 209135919940 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/14171/statm: 1339 238 197 169 0 50 0 [pid=14172] ppid=14171 vsize=655644 CPUtime=467.35 /proc/14172/stat : 14172 (java) S 14171 14042 12943 0 -1 0 19754 0 1 0 46401 334 0 0 18 0 9 0 1983667297 671379456 19276 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/14172/statm: 163911 19276 1936 9 0 158440 0 [pid=14172/tid=14173] ppid=14171 vsize=655644 CPUtime=466.56 /proc/14172/task/14173/stat : 14173 (java) R 14171 14042 12943 0 -1 64 12226 0 1 0 46328 328 0 0 25 0 9 0 1983667297 671379456 19276 996147200 134512640 134550740 4294955936 18446744073709551615 4127509973 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14172/tid=14174] ppid=14171 vsize=655644 CPUtime=0.3 /proc/14172/task/14174/stat : 14174 (java) S 14171 14042 12943 0 -1 64 6218 0 0 0 27 3 0 0 16 0 9 0 1983667299 671379456 19276 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=14172/tid=14175] ppid=14171 vsize=655644 CPUtime=0 /proc/14172/task/14175/stat : 14175 (java) S 14171 14042 12943 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1983667299 671379456 19276 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14172/tid=14176] ppid=14171 vsize=655644 CPUtime=0 /proc/14172/task/14176/stat : 14176 (java) S 14171 14042 12943 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 1983667299 671379456 19276 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14172/tid=14177] ppid=14171 vsize=655644 CPUtime=0 /proc/14172/task/14177/stat : 14177 (java) S 14171 14042 12943 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1983667301 671379456 19276 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14172/tid=14178] ppid=14171 vsize=655644 CPUtime=0.47 /proc/14172/task/14178/stat : 14178 (java) S 14171 14042 12943 0 -1 64 758 0 0 0 46 1 0 0 15 0 9 0 1983667301 671379456 19276 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14172/tid=14179] ppid=14171 vsize=655644 CPUtime=0 /proc/14172/task/14179/stat : 14179 (java) S 14171 14042 12943 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1983667301 671379456 19276 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14172/tid=14180] ppid=14171 vsize=655644 CPUtime=0 /proc/14172/task/14180/stat : 14180 (java) S 14171 14042 12943 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1983667301 671379456 19276 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14051] ppid=14042 vsize=197760 CPUtime=1301.14 /proc/14050/task/14051/stat : 14051 (java) S 14042 14042 12943 0 -1 64 4126 29936 1 1 472 7 129607 28 16 0 10 0 1983536922 202506240 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=14050/tid=14052] ppid=14042 vsize=197760 CPUtime=1297.46 /proc/14050/task/14052/stat : 14052 (java) S 14042 14042 12943 0 -1 64 8611 29936 0 1 100 11 129607 28 16 0 10 0 1983536923 202506240 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14053] ppid=14042 vsize=197760 CPUtime=1296.35 /proc/14050/task/14053/stat : 14053 (java) S 14042 14042 12943 0 -1 64 11 29936 0 1 0 0 129607 28 16 0 10 0 1983536923 202506240 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14054] ppid=14042 vsize=197760 CPUtime=1296.35 /proc/14050/task/14054/stat : 14054 (java) S 14042 14042 12943 0 -1 64 5 29936 0 1 0 0 129607 28 16 0 10 0 1983536923 202506240 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14055] ppid=14042 vsize=197760 CPUtime=1296.35 /proc/14050/task/14055/stat : 14055 (java) S 14042 14042 12943 0 -1 64 0 29936 0 1 0 0 129607 28 18 0 10 0 1983536925 202506240 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14056] ppid=14042 vsize=197760 CPUtime=1296.58 /proc/14050/task/14056/stat : 14056 (java) S 14042 14042 12943 0 -1 64 702 29936 0 1 23 0 129607 28 16 0 10 0 1983536925 202506240 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14050/tid=14057] ppid=14042 vsize=197760 CPUtime=1296.35 /proc/14050/task/14057/stat : 14057 (java) S 14042 14042 12943 0 -1 64 1 29936 0 1 0 0 129607 28 19 0 10 0 1983536925 202506240 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14058] ppid=14042 vsize=197760 CPUtime=1296.35 /proc/14050/task/14058/stat : 14058 (java) S 14042 14042 12943 0 -1 64 42 29936 0 1 0 0 129607 28 15 0 10 0 1983536926 202506240 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14170] ppid=14042 vsize=197760 CPUtime=1296.35 /proc/14050/task/14170/stat : 14170 (java) S 14042 14042 12943 0 -1 64 43 29936 0 1 0 0 129607 28 17 0 10 0 1983667296 202506240 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1771.8 Current children cumulated vsize (KiB) 864120 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1811.1 s] /proc/loadavg: 2.00 2.00 2.00 3/94 14180 /proc/meminfo: memFree=1727672/2055920 swapFree=4180688/4192956 [pid=14042] ppid=14040 vsize=5360 CPUtime=1.92 /proc/14042/stat : 14042 (hydra) S 14040 14042 12943 0 -1 4194304 375 8483 0 0 0 0 189 3 18 0 1 0 1983536725 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/14042/statm: 1340 238 196 169 0 51 0 [pid=14050] ppid=14042 vsize=197760 CPUtime=1302.53 /proc/14050/stat : 14050 (java) S 14042 14042 12943 0 -1 0 14398 29936 1 1 596 22 129607 28 18 0 10 0 1983536921 202506240 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/14050/statm: 49440 9563 2545 9 0 44022 0 [pid=14171] ppid=14050 vsize=5356 CPUtime=0 /proc/14171/stat : 14171 (choco) S 14050 14042 12943 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1983667296 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 209135919940 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/14171/statm: 1339 238 197 169 0 50 0 [pid=14172] ppid=14171 vsize=655644 CPUtime=495.6 /proc/14172/stat : 14172 (java) S 14171 14042 12943 0 -1 0 19756 0 1 0 49206 354 0 0 18 0 9 0 1983667297 671379456 19276 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/14172/statm: 163911 19276 1936 9 0 158440 0 [pid=14172/tid=14173] ppid=14171 vsize=655644 CPUtime=494.81 /proc/14172/task/14173/stat : 14173 (java) R 14171 14042 12943 0 -1 64 12228 0 1 0 49132 349 0 0 25 0 9 0 1983667297 671379456 19276 996147200 134512640 134550740 4294955936 18446744073709551615 4127570207 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14172/tid=14174] ppid=14171 vsize=655644 CPUtime=0.3 /proc/14172/task/14174/stat : 14174 (java) S 14171 14042 12943 0 -1 64 6218 0 0 0 27 3 0 0 16 0 9 0 1983667299 671379456 19276 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=14172/tid=14175] ppid=14171 vsize=655644 CPUtime=0 /proc/14172/task/14175/stat : 14175 (java) S 14171 14042 12943 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1983667299 671379456 19276 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14172/tid=14176] ppid=14171 vsize=655644 CPUtime=0 /proc/14172/task/14176/stat : 14176 (java) S 14171 14042 12943 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 1983667299 671379456 19276 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14172/tid=14177] ppid=14171 vsize=655644 CPUtime=0 /proc/14172/task/14177/stat : 14177 (java) S 14171 14042 12943 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1983667301 671379456 19276 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14172/tid=14178] ppid=14171 vsize=655644 CPUtime=0.47 /proc/14172/task/14178/stat : 14178 (java) S 14171 14042 12943 0 -1 64 758 0 0 0 46 1 0 0 15 0 9 0 1983667301 671379456 19276 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14172/tid=14179] ppid=14171 vsize=655644 CPUtime=0 /proc/14172/task/14179/stat : 14179 (java) S 14171 14042 12943 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1983667301 671379456 19276 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14172/tid=14180] ppid=14171 vsize=655644 CPUtime=0 /proc/14172/task/14180/stat : 14180 (java) S 14171 14042 12943 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1983667301 671379456 19276 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14051] ppid=14042 vsize=197760 CPUtime=1301.14 /proc/14050/task/14051/stat : 14051 (java) S 14042 14042 12943 0 -1 64 4126 29936 1 1 472 7 129607 28 16 0 10 0 1983536922 202506240 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=14050/tid=14052] ppid=14042 vsize=197760 CPUtime=1297.46 /proc/14050/task/14052/stat : 14052 (java) S 14042 14042 12943 0 -1 64 8611 29936 0 1 100 11 129607 28 16 0 10 0 1983536923 202506240 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14053] ppid=14042 vsize=197760 CPUtime=1296.35 /proc/14050/task/14053/stat : 14053 (java) S 14042 14042 12943 0 -1 64 11 29936 0 1 0 0 129607 28 16 0 10 0 1983536923 202506240 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14054] ppid=14042 vsize=197760 CPUtime=1296.35 /proc/14050/task/14054/stat : 14054 (java) S 14042 14042 12943 0 -1 64 5 29936 0 1 0 0 129607 28 16 0 10 0 1983536923 202506240 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14055] ppid=14042 vsize=197760 CPUtime=1296.35 /proc/14050/task/14055/stat : 14055 (java) S 14042 14042 12943 0 -1 64 0 29936 0 1 0 0 129607 28 18 0 10 0 1983536925 202506240 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14056] ppid=14042 vsize=197760 CPUtime=1296.58 /proc/14050/task/14056/stat : 14056 (java) S 14042 14042 12943 0 -1 64 702 29936 0 1 23 0 129607 28 16 0 10 0 1983536925 202506240 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14050/tid=14057] ppid=14042 vsize=197760 CPUtime=1296.35 /proc/14050/task/14057/stat : 14057 (java) S 14042 14042 12943 0 -1 64 1 29936 0 1 0 0 129607 28 19 0 10 0 1983536925 202506240 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14058] ppid=14042 vsize=197760 CPUtime=1296.35 /proc/14050/task/14058/stat : 14058 (java) S 14042 14042 12943 0 -1 64 42 29936 0 1 0 0 129607 28 15 0 10 0 1983536926 202506240 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14170] ppid=14042 vsize=197760 CPUtime=1296.35 /proc/14050/task/14170/stat : 14170 (java) S 14042 14042 12943 0 -1 64 43 29936 0 1 0 0 129607 28 17 0 10 0 1983667296 202506240 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 864120 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1811.1 s] /proc/loadavg: 2.00 2.00 2.00 3/94 14180 /proc/meminfo: memFree=1727672/2055920 swapFree=4180688/4192956 [pid=14042] ppid=14040 vsize=5360 CPUtime=1.92 /proc/14042/stat : 14042 (hydra) S 14040 14042 12943 0 -1 4194304 375 8483 0 0 0 0 189 3 18 0 1 0 1983536725 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/14042/statm: 1340 238 196 169 0 51 0 [pid=14050] ppid=14042 vsize=197760 CPUtime=1302.53 /proc/14050/stat : 14050 (java) S 14042 14042 12943 0 -1 0 14398 29936 1 1 596 22 129607 28 18 0 10 0 1983536921 202506240 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/14050/statm: 49440 9563 2545 9 0 44022 0 [pid=14171] ppid=14050 vsize=5356 CPUtime=0 /proc/14171/stat : 14171 (choco) S 14050 14042 12943 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1983667296 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 209135919940 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/14171/statm: 1339 238 197 169 0 50 0 [pid=14172] ppid=14171 vsize=655644 CPUtime=495.6 /proc/14172/stat : 14172 (java) S 14171 14042 12943 0 -1 0 19756 0 1 0 49206 354 0 0 18 0 9 0 1983667297 671379456 19276 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/14172/statm: 163911 19276 1936 9 0 158440 0 [pid=14172/tid=14173] ppid=14171 vsize=655644 CPUtime=494.81 /proc/14172/task/14173/stat : 14173 (java) R 14171 14042 12943 0 -1 64 12228 0 1 0 49132 349 0 0 25 0 9 0 1983667297 671379456 19276 996147200 134512640 134550740 4294955936 18446744073709551615 4127570207 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14172/tid=14174] ppid=14171 vsize=655644 CPUtime=0.3 /proc/14172/task/14174/stat : 14174 (java) S 14171 14042 12943 0 -1 64 6218 0 0 0 27 3 0 0 16 0 9 0 1983667299 671379456 19276 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=14172/tid=14175] ppid=14171 vsize=655644 CPUtime=0 /proc/14172/task/14175/stat : 14175 (java) S 14171 14042 12943 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1983667299 671379456 19276 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14172/tid=14176] ppid=14171 vsize=655644 CPUtime=0 /proc/14172/task/14176/stat : 14176 (java) S 14171 14042 12943 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 1983667299 671379456 19276 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14172/tid=14177] ppid=14171 vsize=655644 CPUtime=0 /proc/14172/task/14177/stat : 14177 (java) S 14171 14042 12943 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1983667301 671379456 19276 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14172/tid=14178] ppid=14171 vsize=655644 CPUtime=0.47 /proc/14172/task/14178/stat : 14178 (java) S 14171 14042 12943 0 -1 64 758 0 0 0 46 1 0 0 15 0 9 0 1983667301 671379456 19276 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14172/tid=14179] ppid=14171 vsize=655644 CPUtime=0 /proc/14172/task/14179/stat : 14179 (java) S 14171 14042 12943 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1983667301 671379456 19276 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14172/tid=14180] ppid=14171 vsize=655644 CPUtime=0 /proc/14172/task/14180/stat : 14180 (java) S 14171 14042 12943 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1983667301 671379456 19276 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14051] ppid=14042 vsize=197760 CPUtime=1301.14 /proc/14050/task/14051/stat : 14051 (java) S 14042 14042 12943 0 -1 64 4126 29936 1 1 472 7 129607 28 16 0 10 0 1983536922 202506240 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=14050/tid=14052] ppid=14042 vsize=197760 CPUtime=1297.46 /proc/14050/task/14052/stat : 14052 (java) S 14042 14042 12943 0 -1 64 8611 29936 0 1 100 11 129607 28 16 0 10 0 1983536923 202506240 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14053] ppid=14042 vsize=197760 CPUtime=1296.35 /proc/14050/task/14053/stat : 14053 (java) S 14042 14042 12943 0 -1 64 11 29936 0 1 0 0 129607 28 16 0 10 0 1983536923 202506240 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14054] ppid=14042 vsize=197760 CPUtime=1296.35 /proc/14050/task/14054/stat : 14054 (java) S 14042 14042 12943 0 -1 64 5 29936 0 1 0 0 129607 28 16 0 10 0 1983536923 202506240 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14055] ppid=14042 vsize=197760 CPUtime=1296.35 /proc/14050/task/14055/stat : 14055 (java) S 14042 14042 12943 0 -1 64 0 29936 0 1 0 0 129607 28 18 0 10 0 1983536925 202506240 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14056] ppid=14042 vsize=197760 CPUtime=1296.58 /proc/14050/task/14056/stat : 14056 (java) S 14042 14042 12943 0 -1 64 702 29936 0 1 23 0 129607 28 16 0 10 0 1983536925 202506240 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14050/tid=14057] ppid=14042 vsize=197760 CPUtime=1296.35 /proc/14050/task/14057/stat : 14057 (java) S 14042 14042 12943 0 -1 64 1 29936 0 1 0 0 129607 28 19 0 10 0 1983536925 202506240 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14058] ppid=14042 vsize=197760 CPUtime=1296.35 /proc/14050/task/14058/stat : 14058 (java) S 14042 14042 12943 0 -1 64 42 29936 0 1 0 0 129607 28 15 0 10 0 1983536926 202506240 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14050/tid=14170] ppid=14042 vsize=197760 CPUtime=1296.35 /proc/14050/task/14170/stat : 14170 (java) S 14042 14042 12943 0 -1 64 43 29936 0 1 0 0 129607 28 17 0 10 0 1983667296 202506240 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 864120 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 14042 and gives # childrusage.ru_utime.tv_sec=1 # childrusage.ru_utime.tv_usec=893712 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=43993 # CPU time returned by wait4() is 1.9377 # while last known CPU time is 1800.05 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1811.14 CPU time (s): 1800.05 CPU user time (s): 1795.98 CPU system time (s): 4.07 CPU usage (%): 99.3879 Max. virtual memory (cumulated for all children) (KiB): 871024 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.89371 system time used= 0.043993 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8858 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= 49 runsolver used 5.69813 second user time and 19.2501 second system time The end
Begin job on node41 at 2008-07-03 02:40:37 IDJOB=1049636 IDBENCH=54685 IDSOLVER=366 FILE ID=node41/1049636-1215045637 PBS_JOBID= 7875093 Free space on /tmp= 66192 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/pseudo/course/normalized-ws97-3.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1049636-1215045637/watcher-1049636-1215045637 -o /tmp/evaluation-result-1049636-1215045637/solver-1049636-1215045637 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1049636-1215045637.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 6b29740823b1b2ba28b05996f386f881 RANDOM SEED=318236216 node41.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.232 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.232 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: 1673096 kB Buffers: 20784 kB Cached: 137180 kB SwapCached: 6596 kB Active: 268692 kB Inactive: 57784 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1673096 kB SwapTotal: 4192956 kB SwapFree: 4180688 kB Dirty: 25120 kB Writeback: 0 kB Mapped: 184348 kB Slab: 41372 kB Committed_AS: 4229684 kB PageTables: 2044 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= 66172 MiB End job on node41 at 2008-07-03 03:10:50