Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | UNSAT | 1280.38 | 1289.68 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 6486 |
CHECKS | 54297400 |
Name | csp/pseudo/mpsReduced/ normalized-mps-red-share2b.xml |
MD5SUM | 8a721fe409f930a696bbe0a3be39d00f |
Bench Category | N-ARY-INT (n-ary constraints in intension) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 12.6901 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2370 |
Number of constraints | 109 |
Maximum constraint arity | 360 |
Maximum domain size | 2 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 109 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 8.57/8.78 c CASE TO CLASSIFY: 8.57/8.78 c Case: 0 8.57/8.78 c 19 > 0.000000 | c 35 > 8.256880 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 1.651380 | c 15 > 21.769500 | c 34 > 13.211000 | c 16 > 360.000000 | c 13 > 5.807470 | c 14 > 9.147200 | c 11 > 10.392300 | c 12 > 4.009300 | c 21 > 1.251830 | 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.911800 | c 1 > 10.392300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.911800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.210800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 8.57/8.79 c choco : 1801.0 8.57/8.79 c mistral : 1801.0 8.57/8.79 c abscon : 1801.0 8.57/8.79 c 8.57/8.79 c 8.86/9.05 c List of same ones: 40 8.86/9.05 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/air04.xml 8.86/9.05 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 8.86/9.05 c choco : 83.64 8.86/9.05 c mistral : 28.58 8.86/9.05 c abscon : 31.3522 8.86/9.05 c 8.86/9.05 c 8.86/9.05 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/air05.xml 8.86/9.05 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 8.86/9.06 c choco : 81.31 8.86/9.06 c mistral : 24.24 8.86/9.06 c abscon : 29.0936 8.86/9.06 c 8.86/9.06 c 8.86/9.06 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-kb2.xml 8.86/9.06 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 8.86/9.07 c choco : 9.38 8.86/9.07 c mistral : 8.53 8.86/9.07 c abscon : 853.293 8.86/9.07 c 8.86/9.07 c 8.86/9.07 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-air01.xml 8.86/9.07 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 8.86/9.08 c choco : 8.6 8.86/9.08 c mistral : 2.27 8.86/9.08 c abscon : 5.8991 8.86/9.08 c 8.86/9.08 c 8.86/9.08 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-air01.xml 8.86/9.08 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 8.86/9.09 c choco : 8.61 8.86/9.09 c mistral : 2.26 8.86/9.09 c abscon : 5.2622 8.86/9.09 c 8.86/9.09 c 8.86/9.09 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-afiro.xml 8.86/9.09 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 8.93/9.10 c choco : 11.35 8.93/9.10 c mistral : 6.16 8.93/9.10 c abscon : 1800.07 8.93/9.10 c 8.93/9.10 c 8.93/9.10 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-mas74.xml 8.93/9.10 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 8.93/9.11 c choco : 2.83 8.93/9.11 c mistral : 0.65 8.93/9.11 c abscon : 8.5807 8.93/9.11 c 8.93/9.11 c 8.93/9.11 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-mas76.xml 8.93/9.11 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 8.93/9.12 c choco : 2.67 8.93/9.12 c mistral : 0.58 8.93/9.12 c abscon : 8.38772 8.93/9.12 c 8.93/9.12 c 8.93/9.12 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-stocfor1.xml 8.93/9.12 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 8.93/9.12 c choco : 1801.0 8.93/9.12 c mistral : 18.05 8.93/9.12 c abscon : 1800.09 8.93/9.13 c 8.93/9.13 c 8.93/9.13 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/mod008.xml 8.93/9.13 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 8.93/9.13 c choco : 2.44 8.93/9.13 c mistral : 0.44 8.93/9.13 c abscon : 1.3238 8.93/9.13 c 8.93/9.13 c 8.93/9.13 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-mod008.xml 8.93/9.13 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 8.93/9.15 c choco : 2.41 8.93/9.15 c mistral : 0.4 8.93/9.15 c abscon : 1.3208 8.93/9.15 c 8.93/9.15 c 8.93/9.15 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-misc07.xml 8.93/9.15 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 8.93/9.16 c choco : 5.96 8.93/9.16 c mistral : 22.01 8.93/9.16 c abscon : 1008.63 8.93/9.16 c 8.93/9.16 c 8.93/9.16 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-seymour1.xml 8.93/9.16 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 8.93/9.17 c choco : 1801.0 8.93/9.17 c mistral : 14.2628 8.93/9.17 c abscon : 40.6598 8.93/9.17 c 8.93/9.17 c 8.93/9.17 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-7-210-60-2-10_glb.xml 8.93/9.17 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 8.93/9.17 c choco : 1801.0 8.93/9.17 c mistral : 4.54 8.93/9.17 c abscon : 1801.0 8.93/9.17 c 8.93/9.17 c 8.93/9.17 c /home/eomahony/cpZilla/CSP/pseudoSeries/course/ss97-4.xml 8.93/9.17 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 8.93/9.19 c choco : 1801.0 8.93/9.19 c mistral : 4.13 8.93/9.19 c abscon : 1800.06 8.93/9.19 c 8.93/9.19 c 8.93/9.19 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/e-am-pi.xml 8.93/9.19 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 8.93/9.19 c choco : 16.5 8.93/9.19 c mistral : 4.84 8.93/9.19 c abscon : 6.63899 8.93/9.19 c 8.93/9.19 c 8.93/9.19 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-pp08a.xml 8.93/9.19 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 9.01/9.20 c choco : 18.53 9.01/9.20 c mistral : 1800.06 9.01/9.20 c abscon : 1348.66 9.01/9.20 c 9.01/9.20 c 9.01/9.20 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/ex5-pi.xml 9.01/9.20 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 9.01/9.20 c choco : 10.89 9.01/9.20 c mistral : 4.98 9.01/9.20 c abscon : 7.27989 9.01/9.20 c 9.01/9.20 c 9.01/9.20 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-cracpb1.xml 9.01/9.20 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 9.01/9.21 c choco : 5.58 9.01/9.21 c mistral : 2.07 9.01/9.21 c abscon : 24.1083 9.01/9.21 c 9.01/9.21 c 9.01/9.21 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/apex4-a.xml 9.01/9.21 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 9.01/9.22 c choco : 24.35 9.01/9.22 c mistral : 3.62 9.01/9.22 c abscon : 12.2411 9.01/9.22 c 9.01/9.22 c 9.01/9.22 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-markshare2-1.xml 9.01/9.22 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 9.01/9.23 c choco : 2.64 9.01/9.23 c mistral : 0.55 9.01/9.23 c abscon : 199.342 9.01/9.23 c 9.01/9.23 c 9.01/9.23 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/5xp1-b.xml 9.01/9.23 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 9.01/9.23 c choco : 6.4 9.01/9.23 c mistral : 2.56 9.01/9.23 c abscon : 3.13052 9.01/9.23 c 9.01/9.23 c 9.01/9.23 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-markshare1-1.xml 9.01/9.23 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 9.01/9.24 c choco : 2.19 9.01/9.24 c mistral : 0.37 9.01/9.24 c abscon : 175.226 9.01/9.24 c 9.01/9.24 c 9.01/9.24 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-neos20.xml 9.01/9.24 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 9.01/9.25 c choco : 23.83 9.01/9.25 c mistral : 4.90325 9.01/9.25 c abscon : 7.12692 9.01/9.25 c 9.01/9.25 c 9.01/9.25 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc205.xml 9.01/9.25 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 9.01/9.25 c choco : 15.99 9.01/9.25 c mistral : 52.33 9.01/9.25 c abscon : 1800.11 9.01/9.25 c 9.01/9.25 c 9.01/9.25 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc50a.xml 9.01/9.25 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 9.01/9.26 c choco : 3.95 9.01/9.26 c mistral : 1.4 9.01/9.26 c abscon : 385.752 9.01/9.26 c 9.01/9.26 c 9.01/9.26 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc50b.xml 9.01/9.26 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 9.01/9.26 c choco : 3.78 9.01/9.26 c mistral : 1.05 9.01/9.26 c abscon : 1800.08 9.01/9.26 c 9.01/9.26 c 9.01/9.26 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc105.xml 9.01/9.26 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 9.01/9.27 c choco : 24.54 9.01/9.27 c mistral : 2.61 9.01/9.27 c abscon : 1239.19 9.01/9.27 c 9.01/9.27 c 9.01/9.27 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-bell5.xml 9.01/9.27 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 9.01/9.27 c choco : 1801.0 9.01/9.27 c mistral : 247.62 9.01/9.27 c abscon : 437.054 9.01/9.27 c 9.01/9.27 c 9.01/9.28 c /home/eomahony/cpZilla/CSP/pseudoSeries/course/ws97-5.xml 9.01/9.28 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 9.01/9.28 c choco : 1801.0 9.01/9.28 c mistral : 0.71 9.01/9.28 c abscon : 1800.1 9.01/9.28 c 9.01/9.28 c 9.01/9.28 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-pp08aCUTS.xml 9.01/9.28 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 9.01/9.29 c choco : 482.24 9.01/9.29 c mistral : 1800.08 9.01/9.29 c abscon : 1800.1 9.01/9.29 c 9.01/9.29 c 9.01/9.29 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-neos5.xml 9.01/9.29 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 9.01/9.29 c choco : 3.04 9.01/9.29 c mistral : 0.9 9.01/9.29 c abscon : 1.9467 9.01/9.29 c 9.01/9.29 c 9.01/9.29 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-neos16.xml 9.01/9.29 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 9.07/9.30 c choco : 5.46 9.07/9.30 c mistral : 1800.03 9.07/9.30 c abscon : 314.036 9.07/9.30 c 9.07/9.30 c 9.07/9.30 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/p2756.xml 9.07/9.30 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 9.07/9.31 c choco : 8.43 9.07/9.31 c mistral : 1.57 9.07/9.31 c abscon : 42.6915 9.07/9.31 c 9.07/9.31 c 9.07/9.31 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-misc03.xml 9.07/9.31 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 9.07/9.32 c choco : 2.64 9.07/9.32 c mistral : 1.78 9.07/9.32 c abscon : 65.1051 9.07/9.32 c 9.07/9.32 c 9.07/9.32 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-mitre.xml 9.07/9.32 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 9.07/9.32 c choco : 1801.0 9.07/9.32 c mistral : 3.9354 9.07/9.32 c abscon : 1800.1 9.07/9.32 c 9.07/9.32 c 9.07/9.32 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-markshare2.xml 9.07/9.32 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.640600 | c 34 > 0.000000 | c 16 > 90.000000 | c 13 > 1.414640 | c 14 > 7.118940 | c 11 > 10.409400 | c 12 > 0.737814 | c 21 > 1.329160 | 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.064700 | c 1 > 7.693490 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.064700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.458100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 9.07/9.33 c choco : 1.89 9.07/9.33 c mistral : 0.2 9.07/9.33 c abscon : 137.014 9.07/9.33 c 9.07/9.33 c 9.07/9.33 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/clip-b.xml 9.07/9.33 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 9.07/9.33 c choco : 4.16 9.07/9.33 c mistral : 1.2 9.07/9.33 c abscon : 2.05169 9.07/9.33 c 9.07/9.33 c 9.07/9.33 c /home/eomahony/cpZilla/CSP/xml/nengfa/queens2.xml 9.07/9.33 c 19 > 0.000000 | c 35 > 19.807700 | c 17 > 0.000000 | c 18 > 1.421800 | c 33 > 0.000000 | c 15 > 15.868300 | c 34 > 19.807700 | c 16 > 104.000000 | c 13 > 5.052650 | c 14 > 6.523560 | c 11 > 8.276120 | c 12 > 5.750310 | c 21 > 10.198000 | c 20 > 98.578200 | c 22 > 10.198000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 3.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.276120 | c 2 > -1.000000 | c 10 > 13.990500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 14.976600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 9.07/9.34 c choco : 7.96 9.07/9.34 c mistral : 0.043992 9.07/9.34 c abscon : 4.92825 9.07/9.34 c 9.07/9.34 c 9.07/9.34 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/f51m-b.xml 9.07/9.34 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 9.07/9.35 c choco : 3.95 9.07/9.35 c mistral : 0.97 9.07/9.35 c abscon : 3.01554 9.07/9.35 c 9.07/9.35 c 9.07/9.35 c Length: 40 9.07/9.35 c 12.563644369347177 46.359106514541715 67.12404786616865 79.64776240485038 79.64834209102848 91.7506137934243 122.20401601891446 122.21273997868512 126.25167667863585 130.40408561196978 130.4540010117011 158.7065214899057 169.2809365658251 192.67508334500988 195.60722093920387 196.47184256908724 211.43726245713123 215.20212266640635 217.06474613625926 217.86502715799296 218.68477197341372 232.6191088986741 237.60792087782298 239.67421862371762 240.55372034749516 240.5790638852211 240.64432601341645 240.84598985276585 243.34228382250913 246.70932428397796 249.26479260251858 258.85967787878576 261.6451319038048 268.3338728107693 269.4913465432766 270.1230103101435 270.61027518554897 270.9802775106415 276.7973044731988 279.7117552163157 9.07/9.35 c 9.07/9.35 c 1.0 0.8877016651022661 0.8304042290950493 0.7992889008345978 0.7992875145651585 0.7713573532253661 0.7090134737582502 0.7089970580181227 0.7014778288450357 0.6939118303569717 0.6938218734063937 0.6463922965287565 0.6302663744877184 0.597299959168923 0.59340969261305 0.5922721963729463 0.5732524778568249 0.5686584441112387 0.5664127145817403 0.5654532694938427 0.5644738536595336 0.548329536868925 0.5427717244518115 0.5405026131047035 0.5395425316717202 0.5395149167209661 0.5394438184888112 0.5392242391105962 0.5365209053057347 0.5329172548518886 0.5302143568389711 0.5203060815540779 0.5174986317804681 0.5108792153102049 0.5097508875806787 0.5091372291518257 0.5086648621061441 0.5083067574504857 0.5027423322575613 0.5 9.07/9.36 c 9.07/9.36 c solver 0 9.07/9.36 c before 0.0 seconds: {} 0 9.07/9.36 c before 18.0 seconds: {3, 4, 6, 7, 9, 10, 15, 17, 19, 21, 23, 31, 37, 38, 39} 9250 9.07/9.36 c before 36.0 seconds: {0, 1, 3, 4, 6, 7, 9, 10, 15, 17, 18, 19, 21, 23, 31, 37, 38, 39} 11705 9.07/9.36 c before 54.0 seconds: {0, 1, 3, 4, 6, 7, 9, 10, 12, 15, 17, 18, 19, 21, 23, 31, 33, 37, 38, 39} 12846 9.07/9.36 c before 72.0 seconds: {0, 1, 3, 4, 6, 7, 9, 10, 12, 15, 17, 18, 19, 21, 23, 31, 33, 34, 37, 38, 39} 13355 9.07/9.36 c before 144.0 seconds: {0, 1, 3, 4, 6, 7, 9, 10, 12, 15, 17, 18, 19, 21, 23, 31, 33, 34, 36, 37, 38, 39} 13864 9.07/9.36 c before 180.0 seconds: {0, 1, 3, 4, 6, 7, 9, 10, 12, 15, 17, 18, 19, 21, 22, 23, 31, 33, 34, 36, 37, 38, 39} 14407 9.07/9.37 c before 216.0 seconds: {0, 1, 3, 4, 6, 7, 9, 10, 12, 15, 17, 18, 19, 20, 21, 22, 23, 31, 33, 34, 36, 37, 38, 39} 14971 9.07/9.37 c before 324.0 seconds: {0, 1, 3, 4, 6, 7, 9, 10, 12, 15, 17, 18, 19, 20, 21, 22, 23, 31, 32, 33, 34, 36, 37, 38, 39} 15489 9.07/9.37 c before 396.0 seconds: {0, 1, 3, 4, 6, 7, 9, 10, 12, 15, 17, 18, 19, 20, 21, 22, 23, 25, 31, 32, 33, 34, 36, 37, 38, 39} 16028 9.07/9.37 c before 450.0 seconds: {0, 1, 3, 4, 6, 7, 9, 10, 12, 15, 17, 18, 19, 20, 21, 22, 23, 25, 28, 31, 32, 33, 34, 36, 37, 38, 39} 16565 9.07/9.37 c before 864.0 seconds: {0, 1, 2, 3, 4, 6, 7, 9, 10, 12, 15, 17, 18, 19, 20, 21, 22, 23, 25, 28, 31, 32, 33, 34, 36, 37, 38, 39} 17395 9.07/9.37 c before 1026.0 seconds: {0, 1, 2, 3, 4, 6, 7, 9, 10, 11, 12, 15, 17, 18, 19, 20, 21, 22, 23, 25, 28, 31, 32, 33, 34, 36, 37, 38, 39} 18042 9.07/9.37 c before 1242.0 seconds: {0, 1, 2, 3, 4, 6, 7, 9, 10, 11, 12, 15, 17, 18, 19, 20, 21, 22, 23, 25, 27, 28, 31, 32, 33, 34, 36, 37, 38, 39} 18581 9.07/9.37 c before 1350.0 seconds: {0, 1, 2, 3, 4, 6, 7, 9, 10, 11, 12, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 27, 28, 31, 32, 33, 34, 36, 37, 38, 39} 19154 9.07/9.37 c 9.07/9.37 c solver 1 9.07/9.37 c before 0.0 seconds: {} 0 9.07/9.37 c before 18.0 seconds: {2, 3, 4, 5, 6, 7, 9, 10, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 29, 31, 33, 34, 35, 36, 37, 38, 39} 18536 9.07/9.37 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 29, 31, 33, 34, 35, 36, 37, 38, 39} 21772 9.07/9.37 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 33, 34, 35, 36, 37, 38, 39} 22311 9.07/9.37 c before 252.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 31, 33, 34, 35, 36, 37, 38, 39} 22848 9.07/9.37 c 9.07/9.37 c solver 2 9.07/9.37 c before 0.0 seconds: {} 0 9.07/9.37 c before 18.0 seconds: {2, 3, 4, 5, 6, 7, 9, 10, 11, 15, 17, 18, 20, 21, 22, 24, 25, 26, 31, 32, 33, 34, 36, 37, 38, 39} 15732 9.07/9.37 c before 36.0 seconds: {2, 3, 4, 5, 6, 7, 9, 10, 11, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 31, 32, 33, 34, 36, 37, 38, 39} 17950 9.07/9.37 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 31, 32, 33, 34, 36, 37, 38, 39} 19838 9.07/9.37 c before 486.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 34, 36, 37, 38, 39} 20368 9.07/9.37 c 9.07/9.37 cTotal time: 116 9.07/9.37 c run abscon for 1242.0 seconds {0, 1, 2, 3, 4, 6, 7, 9, 10, 11, 12, 15, 17, 18, 19, 20, 21, 22, 23, 25, 27, 28, 31, 32, 33, 34, 36, 37, 38, 39} 18581 9.07/9.37 c run mistral for 54.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 33, 34, 35, 36, 37, 38, 39} 22311 9.07/9.37 c run choco for 486.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 34, 36, 37, 38, 39} 20368 9.07/9.37 c Starting solver: HOME/cpHydra_k_40/solver/abscon 9.07/9.37 c On Instance: HOME/instance-1063405-1215136840.xml 9.07/9.37 c Running for: 1242 seconds 1251.51/1260.74 c Starting solver: HOME/cpHydra_k_40/solver/mistral 1251.51/1260.74 c On Instance: HOME/instance-1063405-1215136840.xml 1251.51/1260.74 c Running for: 54 seconds 1280.27/1289.65 c mistral-prime version 1.313 1280.27/1289.65 s UNSATISFIABLE 1280.27/1289.65 d CHECKS 54297400 1280.27/1289.65 d ASSIGNMENTS 6486
No possible verification on an UNSAT instance
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1063405-1215136840/watcher-1063405-1215136840 -o /tmp/evaluation-result-1063405-1215136840/solver-1063405-1215136840 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1063405-1215136840.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.91 1.93 1.93 4/81 5744 /proc/meminfo: memFree=1656488/2055920 swapFree=4180540/4192956 [pid=5744] ppid=5742 vsize=18572 CPUtime=0 /proc/5744/stat : 5744 (runsolver) R 5742 5744 1727 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1992658419 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 227848809767 0 0 4096 24578 0 0 0 17 1 0 0 /proc/5744/statm: 4643 292 257 25 0 2626 0 [startup+0.0768099 s] /proc/loadavg: 1.91 1.93 1.93 4/81 5744 /proc/meminfo: memFree=1656488/2055920 swapFree=4180540/4192956 [pid=5744] ppid=5742 vsize=5360 CPUtime=0 /proc/5744/stat : 5744 (hydra) S 5742 5744 1727 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1992658419 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/5744/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.102812 s] /proc/loadavg: 1.91 1.93 1.93 4/81 5744 /proc/meminfo: memFree=1656488/2055920 swapFree=4180540/4192956 [pid=5744] ppid=5742 vsize=5360 CPUtime=0 /proc/5744/stat : 5744 (hydra) S 5742 5744 1727 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1992658419 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/5744/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.30185 s] /proc/loadavg: 1.91 1.93 1.93 4/81 5744 /proc/meminfo: memFree=1656488/2055920 swapFree=4180540/4192956 [pid=5744] ppid=5742 vsize=5360 CPUtime=0 /proc/5744/stat : 5744 (hydra) S 5742 5744 1727 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1992658419 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/5744/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.70292 s] /proc/loadavg: 1.91 1.93 1.93 4/81 5744 /proc/meminfo: memFree=1656488/2055920 swapFree=4180540/4192956 [pid=5744] ppid=5742 vsize=5360 CPUtime=0 /proc/5744/stat : 5744 (hydra) S 5742 5744 1727 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1992658419 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/5744/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50106 s] /proc/loadavg: 1.91 1.93 1.93 3/83 5748 /proc/meminfo: memFree=1650712/2055920 swapFree=4180540/4192956 [pid=5744] ppid=5742 vsize=5360 CPUtime=0 /proc/5744/stat : 5744 (hydra) S 5742 5744 1727 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1992658419 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/5744/statm: 1340 236 195 169 0 51 0 [pid=5748] ppid=5744 vsize=32936 CPUtime=1.45 /proc/5748/stat : 5748 (xsolve) R 5744 5744 1727 0 -1 4194304 7618 0 0 0 142 3 0 0 25 0 1 0 1992658420 33726464 7446 996147200 134512640 135239763 4294956176 18446744073709551615 135030894 0 0 4096 0 0 0 0 17 1 0 0 /proc/5748/statm: 8234 7446 431 177 0 7137 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 38296 [startup+3.10134 s] /proc/loadavg: 2.00 1.95 1.94 3/83 5748 /proc/meminfo: memFree=1623448/2055920 swapFree=4180540/4192956 [pid=5744] ppid=5742 vsize=5360 CPUtime=2.92 /proc/5744/stat : 5744 (hydra) S 5742 5744 1727 0 -1 4194304 375 9813 0 0 0 0 286 6 18 0 1 0 1992658419 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/5744/statm: 1340 238 196 169 0 51 0 Current children cumulated CPU time (s) 2.92 Current children cumulated vsize (KiB) 5360 [startup+6.30291 s] /proc/loadavg: 2.00 1.95 1.94 3/91 5760 /proc/meminfo: memFree=1641688/2055920 swapFree=4180540/4192956 [pid=5744] ppid=5742 vsize=5360 CPUtime=2.92 /proc/5744/stat : 5744 (hydra) S 5742 5744 1727 0 -1 4194304 375 9813 0 0 0 0 286 6 18 0 1 0 1992658419 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/5744/statm: 1340 238 196 169 0 51 0 [pid=5752] ppid=5744 vsize=197004 CPUtime=3.27 /proc/5752/stat : 5752 (java) S 5744 5744 1727 0 -1 0 8285 0 1 0 316 11 0 0 18 0 9 0 1992658718 201732096 6862 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/5752/statm: 49251 6862 2541 9 0 43833 0 [pid=5752/tid=5753] ppid=5744 vsize=197004 CPUtime=2.58 /proc/5752/task/5753/stat : 5753 (java) R 5744 5744 1727 0 -1 64 3185 0 1 0 255 3 0 0 25 0 9 0 1992658719 201732096 6862 996147200 134512640 134550740 4294955968 18446744073709551615 4126549781 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5752/tid=5754] ppid=5744 vsize=197004 CPUtime=0.48 /proc/5752/task/5754/stat : 5754 (java) S 5744 5744 1727 0 -1 64 3745 0 0 0 42 6 0 0 16 0 9 0 1992658720 201732096 6862 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=5752/tid=5755] ppid=5744 vsize=197004 CPUtime=0 /proc/5752/task/5755/stat : 5755 (java) S 5744 5744 1727 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1992658720 201732096 6862 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5752/tid=5756] ppid=5744 vsize=197004 CPUtime=0 /proc/5752/task/5756/stat : 5756 (java) S 5744 5744 1727 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992658720 201732096 6862 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5752/tid=5757] ppid=5744 vsize=197004 CPUtime=0 /proc/5752/task/5757/stat : 5757 (java) S 5744 5744 1727 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992658722 201732096 6862 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5752/tid=5758] ppid=5744 vsize=197004 CPUtime=0.17 /proc/5752/task/5758/stat : 5758 (java) S 5744 5744 1727 0 -1 64 629 0 0 0 17 0 0 0 16 0 9 0 1992658722 201732096 6862 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5752/tid=5759] ppid=5744 vsize=197004 CPUtime=0 /proc/5752/task/5759/stat : 5759 (java) S 5744 5744 1727 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992658722 201732096 6862 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5752/tid=5760] ppid=5744 vsize=197004 CPUtime=0 /proc/5752/task/5760/stat : 5760 (java) S 5744 5744 1727 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992658722 201732096 6862 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) 202364 [startup+12.702 s] /proc/loadavg: 2.07 1.96 1.94 4/103 5772 /proc/meminfo: memFree=1576376/2055920 swapFree=4180540/4192956 [pid=5744] ppid=5742 vsize=5360 CPUtime=2.92 /proc/5744/stat : 5744 (hydra) S 5742 5744 1727 0 -1 4194304 375 9813 0 0 0 0 286 6 18 0 1 0 1992658419 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/5744/statm: 1340 238 196 169 0 51 0 [pid=5752] ppid=5744 vsize=197436 CPUtime=6.21 /proc/5752/stat : 5752 (java) S 5744 5744 1727 0 -1 0 14012 0 1 0 601 20 0 0 18 0 10 0 1992658718 202174464 9564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/5752/statm: 49359 9564 2544 9 0 43941 0 [pid=5762] ppid=5752 vsize=5356 CPUtime=0 /proc/5762/stat : 5762 (abscon) S 5752 5744 1727 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1992659357 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 227848807236 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/5762/statm: 1339 237 196 169 0 50 0 [pid=5763] ppid=5762 vsize=655728 CPUtime=3.3 /proc/5763/stat : 5763 (java) S 5762 5744 1727 0 -1 0 16657 0 1 0 322 8 0 0 18 0 9 0 1992659358 671465472 16158 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/5763/statm: 163932 16158 2006 9 0 158460 0 [pid=5763/tid=5765] ppid=5762 vsize=655728 CPUtime=2.96 /proc/5763/task/5765/stat : 5765 (java) R 5762 5744 1727 0 -1 64 12448 0 1 0 290 6 0 0 25 0 9 0 1992659358 671465472 16158 996147200 134512640 134550740 4294955808 18446744073709551615 4126677020 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5763/tid=5766] ppid=5762 vsize=655728 CPUtime=0.11 /proc/5763/task/5766/stat : 5766 (java) S 5762 5744 1727 0 -1 64 3027 0 0 0 10 1 0 0 16 0 9 0 1992659360 671465472 16158 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=5763/tid=5767] ppid=5762 vsize=655728 CPUtime=0 /proc/5763/task/5767/stat : 5767 (java) S 5762 5744 1727 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1992659360 671465472 16158 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5763/tid=5768] ppid=5762 vsize=655728 CPUtime=0 /proc/5763/task/5768/stat : 5768 (java) S 5762 5744 1727 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1992659360 671465472 16158 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5763/tid=5769] ppid=5762 vsize=655728 CPUtime=0 /proc/5763/task/5769/stat : 5769 (java) S 5762 5744 1727 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1992659362 671465472 16158 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5763/tid=5770] ppid=5762 vsize=655728 CPUtime=0.2 /proc/5763/task/5770/stat : 5770 (java) S 5762 5744 1727 0 -1 64 636 0 0 0 20 0 0 0 16 0 9 0 1992659362 671465472 16158 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5763/tid=5771] ppid=5762 vsize=655728 CPUtime=0 /proc/5763/task/5771/stat : 5771 (java) S 5762 5744 1727 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1992659362 671465472 16158 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5763/tid=5772] ppid=5762 vsize=655728 CPUtime=0 /proc/5763/task/5772/stat : 5772 (java) S 5762 5744 1727 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992659362 671465472 16158 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5764] ppid=5762 vsize=7044 CPUtime=0 /proc/5764/stat : 5764 (translate) S 5762 5744 1727 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1992659358 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 227848978514 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/5764/statm: 1761 213 182 1 0 41 0 [pid=5752/tid=5753] ppid=5744 vsize=197436 CPUtime=4.84 /proc/5752/task/5753/stat : 5753 (java) S 5744 5744 1727 0 -1 64 3987 0 1 0 478 6 0 0 25 0 10 0 1992658719 202174464 9564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=5752/tid=5754] ppid=5744 vsize=197436 CPUtime=1.09 /proc/5752/task/5754/stat : 5754 (java) S 5744 5744 1727 0 -1 64 8552 0 0 0 97 12 0 0 16 0 10 0 1992658720 202174464 9564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=5752/tid=5755] ppid=5744 vsize=197436 CPUtime=0 /proc/5752/task/5755/stat : 5755 (java) S 5744 5744 1727 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1992658720 202174464 9564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5752/tid=5756] ppid=5744 vsize=197436 CPUtime=0 /proc/5752/task/5756/stat : 5756 (java) S 5744 5744 1727 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1992658720 202174464 9564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5752/tid=5757] ppid=5744 vsize=197436 CPUtime=0 /proc/5752/task/5757/stat : 5757 (java) S 5744 5744 1727 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1992658722 202174464 9564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5752/tid=5758] ppid=5744 vsize=197436 CPUtime=0.24 /proc/5752/task/5758/stat : 5758 (java) S 5744 5744 1727 0 -1 64 668 0 0 0 24 0 0 0 16 0 10 0 1992658722 202174464 9564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5752/tid=5759] ppid=5744 vsize=197436 CPUtime=0 /proc/5752/task/5759/stat : 5759 (java) S 5744 5744 1727 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1992658722 202174464 9564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5752/tid=5760] ppid=5744 vsize=197436 CPUtime=0 /proc/5752/task/5760/stat : 5760 (java) S 5744 5744 1727 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 1992658722 202174464 9564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5752/tid=5761] ppid=5744 vsize=197436 CPUtime=0 /proc/5752/task/5761/stat : 5761 (java) S 5744 5744 1727 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1992659357 202174464 9564 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) 870924 [startup+25.5023 s] /proc/loadavg: 2.06 1.97 1.94 3/103 5778 /proc/meminfo: memFree=1553768/2055920 swapFree=4180540/4192956 [pid=5744] ppid=5742 vsize=5360 CPUtime=2.92 /proc/5744/stat : 5744 (hydra) S 5742 5744 1727 0 -1 4194304 375 9813 0 0 0 0 286 6 18 0 1 0 1992658419 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/5744/statm: 1340 238 196 169 0 51 0 [pid=5752] ppid=5744 vsize=197436 CPUtime=6.21 /proc/5752/stat : 5752 (java) S 5744 5744 1727 0 -1 0 14038 0 1 0 601 20 0 0 18 0 10 0 1992658718 202174464 9564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/5752/statm: 49359 9564 2544 9 0 43941 0 [pid=5762] ppid=5752 vsize=5356 CPUtime=0 /proc/5762/stat : 5762 (abscon) S 5752 5744 1727 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1992659357 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 227848807236 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/5762/statm: 1339 237 196 169 0 50 0 [pid=5763] ppid=5762 vsize=655872 CPUtime=16.09 /proc/5763/stat : 5763 (java) S 5762 5744 1727 0 -1 0 21446 0 1 0 1598 11 0 0 18 0 9 0 1992659358 671612928 20741 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/5763/statm: 163968 20741 2615 9 0 158496 0 [pid=5763/tid=5765] ppid=5762 vsize=655872 CPUtime=15.51 /proc/5763/task/5765/stat : 5765 (java) R 5762 5744 1727 0 -1 64 12572 0 1 0 1544 7 0 0 25 0 9 0 1992659358 671612928 20741 996147200 134512640 134550740 4294955808 18446744073709551615 4127057661 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5763/tid=5766] ppid=5762 vsize=655872 CPUtime=0.26 /proc/5763/task/5766/stat : 5766 (java) S 5762 5744 1727 0 -1 64 7630 0 0 0 24 2 0 0 16 0 9 0 1992659360 671612928 20741 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=5763/tid=5767] ppid=5762 vsize=655872 CPUtime=0 /proc/5763/task/5767/stat : 5767 (java) S 5762 5744 1727 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1992659360 671612928 20741 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5763/tid=5768] ppid=5762 vsize=655872 CPUtime=0 /proc/5763/task/5768/stat : 5768 (java) S 5762 5744 1727 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 1992659360 671612928 20741 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5763/tid=5769] ppid=5762 vsize=655872 CPUtime=0 /proc/5763/task/5769/stat : 5769 (java) S 5762 5744 1727 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1992659362 671612928 20741 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5763/tid=5770] ppid=5762 vsize=655872 CPUtime=0.29 /proc/5763/task/5770/stat : 5770 (java) S 5762 5744 1727 0 -1 64 689 0 0 0 29 0 0 0 15 0 9 0 1992659362 671612928 20741 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5763/tid=5771] ppid=5762 vsize=655872 CPUtime=0 /proc/5763/task/5771/stat : 5771 (java) S 5762 5744 1727 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1992659362 671612928 20741 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5763/tid=5772] ppid=5762 vsize=655872 CPUtime=0 /proc/5763/task/5772/stat : 5772 (java) S 5762 5744 1727 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992659362 671612928 20741 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5764] ppid=5762 vsize=7044 CPUtime=0 /proc/5764/stat : 5764 (translate) S 5762 5744 1727 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1992659358 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 227848978514 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/5764/statm: 1761 213 182 1 0 41 0 [pid=5752/tid=5753] ppid=5744 vsize=197436 CPUtime=4.84 /proc/5752/task/5753/stat : 5753 (java) S 5744 5744 1727 0 -1 64 3987 0 1 0 478 6 0 0 25 0 10 0 1992658719 202174464 9564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=5752/tid=5754] ppid=5744 vsize=197436 CPUtime=1.09 /proc/5752/task/5754/stat : 5754 (java) S 5744 5744 1727 0 -1 64 8552 0 0 0 97 12 0 0 16 0 10 0 1992658720 202174464 9564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=5752/tid=5755] ppid=5744 vsize=197436 CPUtime=0 /proc/5752/task/5755/stat : 5755 (java) S 5744 5744 1727 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1992658720 202174464 9564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 ################ # More data... # ################ [pid=6257] ppid=5752 vsize=5356 CPUtime=0 /proc/6257/stat : 6257 (mistral) S 5752 5744 1727 0 -1 4194304 299 0 0 0 0 0 0 0 18 0 1 0 1992784494 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 227848807236 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/6257/statm: 1339 238 198 169 0 50 0 [pid=6258] ppid=6257 vsize=43384 CPUtime=27.01 /proc/6258/stat : 6258 (xsolve) R 6257 5744 1727 0 -1 4194304 10907 0 0 0 2696 5 0 0 25 0 1 0 1992784495 44425216 9841 996147200 134512640 135239763 4294955968 18446744073709551615 135097552 0 4 0 0 0 0 0 17 1 0 0 /proc/6258/statm: 10846 9841 413 177 0 9749 0 [pid=5752/tid=5753] ppid=5744 vsize=197760 CPUtime=1247.27 /proc/5752/task/5753/stat : 5753 (java) S 5744 5744 1727 0 -1 64 4071 22053 1 1 478 6 124226 17 16 0 10 0 1992658719 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=5752/tid=5754] ppid=5744 vsize=197760 CPUtime=1243.52 /proc/5752/task/5754/stat : 5754 (java) S 5744 5744 1727 0 -1 64 8574 22053 0 1 97 12 124226 17 16 0 10 0 1992658720 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=5752/tid=5755] ppid=5744 vsize=197760 CPUtime=1242.43 /proc/5752/task/5755/stat : 5755 (java) S 5744 5744 1727 0 -1 64 11 22053 0 1 0 0 124226 17 16 0 10 0 1992658720 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5752/tid=5756] ppid=5744 vsize=197760 CPUtime=1242.43 /proc/5752/task/5756/stat : 5756 (java) S 5744 5744 1727 0 -1 64 6 22053 0 1 0 0 124226 17 15 0 10 0 1992658720 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5752/tid=5757] ppid=5744 vsize=197760 CPUtime=1242.43 /proc/5752/task/5757/stat : 5757 (java) S 5744 5744 1727 0 -1 64 1 22053 0 1 0 0 124226 17 18 0 10 0 1992658722 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5752/tid=5758] ppid=5744 vsize=197760 CPUtime=1242.67 /proc/5752/task/5758/stat : 5758 (java) S 5744 5744 1727 0 -1 64 699 22053 0 1 24 0 124226 17 16 0 10 0 1992658722 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5752/tid=5759] ppid=5744 vsize=197760 CPUtime=1242.43 /proc/5752/task/5759/stat : 5759 (java) S 5744 5744 1727 0 -1 64 1 22053 0 1 0 0 124226 17 19 0 10 0 1992658722 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5752/tid=5760] ppid=5744 vsize=197760 CPUtime=1242.43 /proc/5752/task/5760/stat : 5760 (java) S 5744 5744 1727 0 -1 64 40 22053 0 1 0 0 124226 17 15 0 10 0 1992658722 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5752/tid=6256] ppid=5744 vsize=197760 CPUtime=1242.43 /proc/5752/task/6256/stat : 6256 (java) S 5744 5744 1727 0 -1 64 48 22053 0 1 0 0 124226 17 16 0 10 0 1992784493 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1278.58 Current children cumulated vsize (KiB) 251860 [startup+1288.7 s] /proc/loadavg: 2.00 2.02 2.00 3/94 6258 /proc/meminfo: memFree=1579640/2055920 swapFree=4180540/4192956 [pid=5744] ppid=5742 vsize=5360 CPUtime=2.92 /proc/5744/stat : 5744 (hydra) S 5742 5744 1727 0 -1 4194304 375 9813 0 0 0 0 286 6 18 0 1 0 1992658419 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/5744/statm: 1340 238 196 169 0 51 0 [pid=5752] ppid=5744 vsize=197760 CPUtime=1248.65 /proc/5752/stat : 5752 (java) S 5744 5744 1727 0 -1 0 14236 22053 1 1 601 21 124226 17 18 0 10 0 1992658718 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/5752/statm: 49440 9570 2545 9 0 44022 0 [pid=6257] ppid=5752 vsize=5356 CPUtime=0 /proc/6257/stat : 6257 (mistral) S 5752 5744 1727 0 -1 4194304 299 0 0 0 0 0 0 0 18 0 1 0 1992784494 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 227848807236 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/6257/statm: 1339 238 198 169 0 50 0 [pid=6258] ppid=6257 vsize=43384 CPUtime=27.8 /proc/6258/stat : 6258 (xsolve) R 6257 5744 1727 0 -1 4194304 10907 0 0 0 2775 5 0 0 25 0 1 0 1992784495 44425216 9841 996147200 134512640 135239763 4294955968 18446744073709551615 134802974 0 4 0 0 0 0 0 17 1 0 0 /proc/6258/statm: 10846 9841 413 177 0 9749 0 [pid=5752/tid=5753] ppid=5744 vsize=197760 CPUtime=1247.27 /proc/5752/task/5753/stat : 5753 (java) S 5744 5744 1727 0 -1 64 4071 22053 1 1 478 6 124226 17 16 0 10 0 1992658719 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=5752/tid=5754] ppid=5744 vsize=197760 CPUtime=1243.52 /proc/5752/task/5754/stat : 5754 (java) S 5744 5744 1727 0 -1 64 8574 22053 0 1 97 12 124226 17 16 0 10 0 1992658720 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=5752/tid=5755] ppid=5744 vsize=197760 CPUtime=1242.43 /proc/5752/task/5755/stat : 5755 (java) S 5744 5744 1727 0 -1 64 11 22053 0 1 0 0 124226 17 16 0 10 0 1992658720 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5752/tid=5756] ppid=5744 vsize=197760 CPUtime=1242.43 /proc/5752/task/5756/stat : 5756 (java) S 5744 5744 1727 0 -1 64 6 22053 0 1 0 0 124226 17 15 0 10 0 1992658720 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5752/tid=5757] ppid=5744 vsize=197760 CPUtime=1242.43 /proc/5752/task/5757/stat : 5757 (java) S 5744 5744 1727 0 -1 64 1 22053 0 1 0 0 124226 17 18 0 10 0 1992658722 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5752/tid=5758] ppid=5744 vsize=197760 CPUtime=1242.67 /proc/5752/task/5758/stat : 5758 (java) S 5744 5744 1727 0 -1 64 699 22053 0 1 24 0 124226 17 16 0 10 0 1992658722 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5752/tid=5759] ppid=5744 vsize=197760 CPUtime=1242.43 /proc/5752/task/5759/stat : 5759 (java) S 5744 5744 1727 0 -1 64 1 22053 0 1 0 0 124226 17 19 0 10 0 1992658722 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5752/tid=5760] ppid=5744 vsize=197760 CPUtime=1242.43 /proc/5752/task/5760/stat : 5760 (java) S 5744 5744 1727 0 -1 64 40 22053 0 1 0 0 124226 17 15 0 10 0 1992658722 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5752/tid=6256] ppid=5744 vsize=197760 CPUtime=1242.43 /proc/5752/task/6256/stat : 6256 (java) S 5744 5744 1727 0 -1 64 48 22053 0 1 0 0 124226 17 16 0 10 0 1992784493 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1279.37 Current children cumulated vsize (KiB) 251860 [startup+1289.1 s] /proc/loadavg: 2.00 2.02 2.00 3/94 6258 /proc/meminfo: memFree=1579640/2055920 swapFree=4180540/4192956 [pid=5744] ppid=5742 vsize=5360 CPUtime=2.92 /proc/5744/stat : 5744 (hydra) S 5742 5744 1727 0 -1 4194304 375 9813 0 0 0 0 286 6 18 0 1 0 1992658419 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/5744/statm: 1340 238 196 169 0 51 0 [pid=5752] ppid=5744 vsize=197760 CPUtime=1248.65 /proc/5752/stat : 5752 (java) S 5744 5744 1727 0 -1 0 14236 22053 1 1 601 21 124226 17 18 0 10 0 1992658718 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/5752/statm: 49440 9570 2545 9 0 44022 0 [pid=6257] ppid=5752 vsize=5356 CPUtime=0 /proc/6257/stat : 6257 (mistral) S 5752 5744 1727 0 -1 4194304 299 0 0 0 0 0 0 0 18 0 1 0 1992784494 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 227848807236 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/6257/statm: 1339 238 198 169 0 50 0 [pid=6258] ppid=6257 vsize=43384 CPUtime=28.2 /proc/6258/stat : 6258 (xsolve) R 6257 5744 1727 0 -1 4194304 10907 0 0 0 2815 5 0 0 25 0 1 0 1992784495 44425216 9841 996147200 134512640 135239763 4294955968 18446744073709551615 134803725 0 4 0 0 0 0 0 17 1 0 0 /proc/6258/statm: 10846 9841 413 177 0 9749 0 [pid=5752/tid=5753] ppid=5744 vsize=197760 CPUtime=1247.27 /proc/5752/task/5753/stat : 5753 (java) S 5744 5744 1727 0 -1 64 4071 22053 1 1 478 6 124226 17 16 0 10 0 1992658719 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=5752/tid=5754] ppid=5744 vsize=197760 CPUtime=1243.52 /proc/5752/task/5754/stat : 5754 (java) S 5744 5744 1727 0 -1 64 8574 22053 0 1 97 12 124226 17 16 0 10 0 1992658720 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=5752/tid=5755] ppid=5744 vsize=197760 CPUtime=1242.43 /proc/5752/task/5755/stat : 5755 (java) S 5744 5744 1727 0 -1 64 11 22053 0 1 0 0 124226 17 16 0 10 0 1992658720 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5752/tid=5756] ppid=5744 vsize=197760 CPUtime=1242.43 /proc/5752/task/5756/stat : 5756 (java) S 5744 5744 1727 0 -1 64 6 22053 0 1 0 0 124226 17 15 0 10 0 1992658720 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5752/tid=5757] ppid=5744 vsize=197760 CPUtime=1242.43 /proc/5752/task/5757/stat : 5757 (java) S 5744 5744 1727 0 -1 64 1 22053 0 1 0 0 124226 17 18 0 10 0 1992658722 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5752/tid=5758] ppid=5744 vsize=197760 CPUtime=1242.67 /proc/5752/task/5758/stat : 5758 (java) S 5744 5744 1727 0 -1 64 699 22053 0 1 24 0 124226 17 16 0 10 0 1992658722 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5752/tid=5759] ppid=5744 vsize=197760 CPUtime=1242.43 /proc/5752/task/5759/stat : 5759 (java) S 5744 5744 1727 0 -1 64 1 22053 0 1 0 0 124226 17 19 0 10 0 1992658722 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5752/tid=5760] ppid=5744 vsize=197760 CPUtime=1242.43 /proc/5752/task/5760/stat : 5760 (java) S 5744 5744 1727 0 -1 64 40 22053 0 1 0 0 124226 17 15 0 10 0 1992658722 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5752/tid=6256] ppid=5744 vsize=197760 CPUtime=1242.43 /proc/5752/task/6256/stat : 6256 (java) S 5744 5744 1727 0 -1 64 48 22053 0 1 0 0 124226 17 16 0 10 0 1992784493 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1279.77 Current children cumulated vsize (KiB) 251860 [startup+1289.5 s] /proc/loadavg: 2.00 2.02 2.00 3/94 6258 /proc/meminfo: memFree=1579640/2055920 swapFree=4180540/4192956 [pid=5744] ppid=5742 vsize=5360 CPUtime=2.92 /proc/5744/stat : 5744 (hydra) S 5742 5744 1727 0 -1 4194304 375 9813 0 0 0 0 286 6 18 0 1 0 1992658419 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/5744/statm: 1340 238 196 169 0 51 0 [pid=5752] ppid=5744 vsize=197760 CPUtime=1248.65 /proc/5752/stat : 5752 (java) S 5744 5744 1727 0 -1 0 14236 22053 1 1 601 21 124226 17 18 0 10 0 1992658718 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/5752/statm: 49440 9570 2545 9 0 44022 0 [pid=6257] ppid=5752 vsize=5356 CPUtime=0 /proc/6257/stat : 6257 (mistral) S 5752 5744 1727 0 -1 4194304 299 0 0 0 0 0 0 0 18 0 1 0 1992784494 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 227848807236 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/6257/statm: 1339 238 198 169 0 50 0 [pid=6258] ppid=6257 vsize=43384 CPUtime=28.6 /proc/6258/stat : 6258 (xsolve) R 6257 5744 1727 0 -1 4194304 10907 0 0 0 2855 5 0 0 25 0 1 0 1992784495 44425216 9841 996147200 134512640 135239763 4294955968 18446744073709551615 135100993 0 4 0 0 0 0 0 17 1 0 0 /proc/6258/statm: 10846 9841 413 177 0 9749 0 [pid=5752/tid=5753] ppid=5744 vsize=197760 CPUtime=1247.27 /proc/5752/task/5753/stat : 5753 (java) S 5744 5744 1727 0 -1 64 4071 22053 1 1 478 6 124226 17 16 0 10 0 1992658719 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=5752/tid=5754] ppid=5744 vsize=197760 CPUtime=1243.52 /proc/5752/task/5754/stat : 5754 (java) S 5744 5744 1727 0 -1 64 8574 22053 0 1 97 12 124226 17 16 0 10 0 1992658720 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=5752/tid=5755] ppid=5744 vsize=197760 CPUtime=1242.43 /proc/5752/task/5755/stat : 5755 (java) S 5744 5744 1727 0 -1 64 11 22053 0 1 0 0 124226 17 16 0 10 0 1992658720 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5752/tid=5756] ppid=5744 vsize=197760 CPUtime=1242.43 /proc/5752/task/5756/stat : 5756 (java) S 5744 5744 1727 0 -1 64 6 22053 0 1 0 0 124226 17 15 0 10 0 1992658720 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5752/tid=5757] ppid=5744 vsize=197760 CPUtime=1242.43 /proc/5752/task/5757/stat : 5757 (java) S 5744 5744 1727 0 -1 64 1 22053 0 1 0 0 124226 17 18 0 10 0 1992658722 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5752/tid=5758] ppid=5744 vsize=197760 CPUtime=1242.67 /proc/5752/task/5758/stat : 5758 (java) S 5744 5744 1727 0 -1 64 699 22053 0 1 24 0 124226 17 16 0 10 0 1992658722 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5752/tid=5759] ppid=5744 vsize=197760 CPUtime=1242.43 /proc/5752/task/5759/stat : 5759 (java) S 5744 5744 1727 0 -1 64 1 22053 0 1 0 0 124226 17 19 0 10 0 1992658722 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5752/tid=5760] ppid=5744 vsize=197760 CPUtime=1242.43 /proc/5752/task/5760/stat : 5760 (java) S 5744 5744 1727 0 -1 64 40 22053 0 1 0 0 124226 17 15 0 10 0 1992658722 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5752/tid=6256] ppid=5744 vsize=197760 CPUtime=1242.43 /proc/5752/task/6256/stat : 6256 (java) S 5744 5744 1727 0 -1 64 48 22053 0 1 0 0 124226 17 16 0 10 0 1992784493 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1280.17 Current children cumulated vsize (KiB) 251860 [startup+1289.6 s] /proc/loadavg: 2.00 2.02 2.00 3/94 6258 /proc/meminfo: memFree=1579640/2055920 swapFree=4180540/4192956 [pid=5744] ppid=5742 vsize=5360 CPUtime=2.92 /proc/5744/stat : 5744 (hydra) S 5742 5744 1727 0 -1 4194304 375 9813 0 0 0 0 286 6 18 0 1 0 1992658419 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/5744/statm: 1340 238 196 169 0 51 0 [pid=5752] ppid=5744 vsize=197760 CPUtime=1248.65 /proc/5752/stat : 5752 (java) S 5744 5744 1727 0 -1 0 14236 22053 1 1 601 21 124226 17 18 0 10 0 1992658718 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/5752/statm: 49440 9570 2545 9 0 44022 0 [pid=6257] ppid=5752 vsize=5356 CPUtime=0 /proc/6257/stat : 6257 (mistral) S 5752 5744 1727 0 -1 4194304 299 0 0 0 0 0 0 0 18 0 1 0 1992784494 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 227848807236 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/6257/statm: 1339 238 198 169 0 50 0 [pid=6258] ppid=6257 vsize=43384 CPUtime=28.7 /proc/6258/stat : 6258 (xsolve) R 6257 5744 1727 0 -1 4194304 10914 0 0 0 2865 5 0 0 25 0 1 0 1992784495 44425216 9848 996147200 134512640 135239763 4294955968 18446744073709551615 8291633 0 4 0 0 0 0 0 17 1 0 0 /proc/6258/statm: 10846 9848 420 177 0 9749 0 [pid=5752/tid=5753] ppid=5744 vsize=197760 CPUtime=1247.27 /proc/5752/task/5753/stat : 5753 (java) S 5744 5744 1727 0 -1 64 4071 22053 1 1 478 6 124226 17 16 0 10 0 1992658719 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=5752/tid=5754] ppid=5744 vsize=197760 CPUtime=1243.52 /proc/5752/task/5754/stat : 5754 (java) S 5744 5744 1727 0 -1 64 8574 22053 0 1 97 12 124226 17 16 0 10 0 1992658720 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=5752/tid=5755] ppid=5744 vsize=197760 CPUtime=1242.43 /proc/5752/task/5755/stat : 5755 (java) S 5744 5744 1727 0 -1 64 11 22053 0 1 0 0 124226 17 16 0 10 0 1992658720 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5752/tid=5756] ppid=5744 vsize=197760 CPUtime=1242.43 /proc/5752/task/5756/stat : 5756 (java) S 5744 5744 1727 0 -1 64 6 22053 0 1 0 0 124226 17 15 0 10 0 1992658720 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5752/tid=5757] ppid=5744 vsize=197760 CPUtime=1242.43 /proc/5752/task/5757/stat : 5757 (java) S 5744 5744 1727 0 -1 64 1 22053 0 1 0 0 124226 17 18 0 10 0 1992658722 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5752/tid=5758] ppid=5744 vsize=197760 CPUtime=1242.67 /proc/5752/task/5758/stat : 5758 (java) S 5744 5744 1727 0 -1 64 699 22053 0 1 24 0 124226 17 16 0 10 0 1992658722 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=5752/tid=5759] ppid=5744 vsize=197760 CPUtime=1242.43 /proc/5752/task/5759/stat : 5759 (java) S 5744 5744 1727 0 -1 64 1 22053 0 1 0 0 124226 17 19 0 10 0 1992658722 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5752/tid=5760] ppid=5744 vsize=197760 CPUtime=1242.43 /proc/5752/task/5760/stat : 5760 (java) S 5744 5744 1727 0 -1 64 40 22053 0 1 0 0 124226 17 15 0 10 0 1992658722 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=5752/tid=6256] ppid=5744 vsize=197760 CPUtime=1242.43 /proc/5752/task/6256/stat : 6256 (java) S 5744 5744 1727 0 -1 64 48 22053 0 1 0 0 124226 17 16 0 10 0 1992784493 202506240 9570 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1280.27 Current children cumulated vsize (KiB) 251860 Child status: 0 Real time (s): 1289.68 CPU time (s): 1280.38 CPU user time (s): 1279.85 CPU system time (s): 0.532918 CPU usage (%): 99.2791 Max. virtual memory (cumulated for all children) (KiB): 871068 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1279.85 system time used= 0.532918 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 57856 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 62169 involuntary context switches= 62557 runsolver used 3.77743 second user time and 14.7078 second system time The end
Begin job on node18 at 2008-07-04 04:00:40 IDJOB=1063405 IDBENCH=54747 IDSOLVER=366 FILE ID=node18/1063405-1215136840 PBS_JOBID= 7877259 Free space on /tmp= 66552 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/pseudo/mpsReduced/normalized-mps-red-share2b.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1063405-1215136840/watcher-1063405-1215136840 -o /tmp/evaluation-result-1063405-1215136840/solver-1063405-1215136840 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1063405-1215136840.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 8a721fe409f930a696bbe0a3be39d00f RANDOM SEED=1930691865 node18.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.268 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 : 5931.00 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.268 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: 1656904 kB Buffers: 58696 kB Cached: 253264 kB SwapCached: 6280 kB Active: 186828 kB Inactive: 149168 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1656904 kB SwapTotal: 4192956 kB SwapFree: 4180540 kB Dirty: 25048 kB Writeback: 0 kB Mapped: 40076 kB Slab: 48272 kB Committed_AS: 3459116 kB PageTables: 1824 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= 66532 MiB End job on node18 at 2008-07-04 04:22:10