Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | SAT | 319.841 | 319.522 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 48701 |
CHECKS | 42122700 |
Name | csp/socialGolfers/ normalized-socialGolfer-6-3-5.xml |
MD5SUM | be5703472a17e97989b970da7fed1b87 |
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 | 8.05377 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1080 |
Number of constraints | 3375 |
Maximum constraint arity | 15 |
Maximum domain size | 2 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 3375 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 6.73/6.62 c CASE TO CLASSIFY: 6.73/6.62 c Case: 0 6.73/6.62 c 19 > 0.000000 | c 35 > 32.533300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.710200 | c 34 > 32.533300 | c 16 > 15.000000 | c 13 > 3.675900 | c 14 > 9.233620 | c 11 > 13.064200 | c 12 > 2.253390 | 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 > 12.892700 | c 1 > 10.076800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.849400 | c 6 > 6.714250 | c 32 > -1.000000 | c 5 > 14.760200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.73/6.63 c choco : 1801.0 6.73/6.63 c mistral : 1801.0 6.73/6.63 c abscon : 1801.0 6.73/6.63 c 6.73/6.63 c 6.73/6.69 c List of same ones: 40 6.73/6.69 c /home/eomahony/cpZilla/CSP/socialGolfers/socialGolfer-6-3-5.xml 6.73/6.69 c 19 > 0.000000 | c 35 > 32.533300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.368300 | c 34 > 32.533300 | c 16 > 15.000000 | c 13 > 2.757520 | c 14 > 8.588710 | c 11 > 13.064200 | c 12 > 1.778410 | 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 > 12.892700 | c 1 > 10.076800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.849400 | c 6 > 6.714250 | c 32 > -1.000000 | c 5 > 14.760200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.85/6.70 c choco : 1801.0 6.85/6.70 c mistral : 712.73 6.85/6.70 c abscon : 1579.13 6.85/6.70 c 6.85/6.70 c 6.85/6.70 c /home/eomahony/cpZilla/CSP/socialGolfers/socialGolfer-6-3-6.xml 6.85/6.70 c 19 > 0.000000 | c 35 > 32.279100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.086000 | c 34 > 32.279100 | c 16 > 18.000000 | c 13 > 4.811540 | c 14 > 9.463520 | c 11 > 10.612900 | c 12 > 4.280860 | 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.658800 | c 1 > 10.612900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.625300 | c 6 > 7.257390 | c 32 > -1.000000 | c 5 > 15.527500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.85/6.70 c choco : 8.85 6.85/6.70 c mistral : 4.83926 6.85/6.70 c abscon : 20.2099 6.85/6.70 c 6.85/6.70 c 6.85/6.70 c /home/eomahony/cpZilla/CSP/socialGolfers/socialGolfer-6-3-7.xml 6.85/6.70 c 19 > 0.000000 | c 35 > 32.054800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.000400 | c 34 > 32.054800 | c 16 > 21.000000 | c 13 > 2.992920 | c 14 > 9.407270 | c 11 > 11.064700 | c 12 > 3.871940 | 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.308200 | c 1 > 11.064700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.281100 | c 6 > 7.714250 | c 32 > -1.000000 | c 5 > 16.177800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.85/6.71 c choco : 14.12 6.85/6.71 c mistral : 3.42148 6.85/6.71 c abscon : 15.1667 6.85/6.71 c 6.85/6.71 c 6.85/6.71 c /home/eomahony/cpZilla/CSP/socialGolfers/socialGolfer-6-3-8.xml 6.85/6.71 c 19 > 0.000000 | c 35 > 31.023600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.073800 | c 34 > 31.023600 | c 16 > 24.000000 | c 13 > 4.574770 | c 14 > 9.897850 | c 11 > 11.455300 | c 12 > 4.148820 | 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.872100 | c 1 > 11.455300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.849400 | c 6 > 8.108520 | c 32 > -1.000000 | c 5 > 16.742300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.85/6.71 c choco : 20.92 6.85/6.71 c mistral : 4.84 6.85/6.71 c abscon : 43.4904 6.85/6.71 c 6.85/6.71 c 6.85/6.71 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16d2.xml 6.85/6.71 c 19 > 6.287130 | c 35 > 29.657800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.772280 | c 15 > 19.536500 | c 34 > 30.915200 | c 16 > 16.000000 | c 13 > 5.139330 | c 14 > 6.569860 | c 11 > 10.707400 | c 12 > 4.567380 | c 21 > 1.414210 | c 20 > 93.712900 | 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.673900 | c 1 > 10.707400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.627000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.296500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.85/6.72 c choco : 1801.0 6.85/6.72 c mistral : 59.302 6.85/6.72 c abscon : 28.8566 6.85/6.72 c 6.85/6.72 c 6.85/6.72 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16c2.xml 6.85/6.72 c 19 > 6.274190 | c 35 > 27.913400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.764510 | c 15 > 19.331400 | c 34 > 29.168200 | c 16 > 16.000000 | c 13 > 5.072050 | c 14 > 6.491850 | c 11 > 10.851700 | c 12 > 4.481130 | c 21 > 1.414210 | c 20 > 93.725800 | 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.687200 | c 1 > 10.851700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.635800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.206900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.85/6.72 c choco : 1801.0 6.85/6.72 c mistral : 75.2366 6.85/6.72 c abscon : 1800.1 6.85/6.72 c 6.85/6.72 c 6.85/6.72 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16d1.xml 6.85/6.72 c 19 > 7.179970 | c 35 > 29.332800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 4.307980 | c 15 > 19.476000 | c 34 > 30.768800 | c 16 > 16.000000 | c 13 > 4.377040 | c 14 > 7.781360 | c 11 > 11.264400 | c 12 > 4.362010 | c 21 > 1.414210 | c 20 > 92.820000 | 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.015400 | c 1 > 11.264400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.960800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.626900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.85/6.72 c choco : 1801.0 6.85/6.72 c mistral : 33.9608 6.85/6.72 c abscon : 55.5955 6.85/6.72 c 6.85/6.72 c 6.85/6.73 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16b2.xml 6.85/6.73 c 19 > 6.256910 | c 35 > 25.583500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.754140 | c 15 > 19.339800 | c 34 > 26.834900 | c 16 > 16.000000 | c 13 > 4.989890 | c 14 > 6.108520 | c 11 > 11.071500 | c 12 > 4.356670 | c 21 > 1.414210 | c 20 > 93.743100 | 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.709900 | c 1 > 11.071500 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.650800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.037500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.85/6.73 c choco : 1801.0 6.85/6.73 c mistral : 105.677 6.85/6.73 c abscon : 10.7104 6.85/6.73 c 6.85/6.73 c 6.85/6.73 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16b1.xml 6.85/6.73 c 19 > 6.515840 | c 35 > 25.315200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.909500 | c 15 > 19.382000 | c 34 > 26.618400 | c 16 > 16.000000 | c 13 > 4.704770 | c 14 > 7.139550 | c 11 > 11.754900 | c 12 > 4.281220 | c 21 > 1.414210 | c 20 > 93.484200 | 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.309800 | c 1 > 11.754900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.247000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.610300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.85/6.73 c choco : 1801.0 6.85/6.73 c mistral : 56.2854 6.85/6.73 c abscon : 132.43 6.85/6.73 c 6.85/6.73 c 6.85/6.73 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16c1.xml 6.85/6.73 c 19 > 8.754920 | c 35 > 28.691700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 5.252950 | c 15 > 19.421200 | c 34 > 30.442700 | c 16 > 20.000000 | c 13 > 3.984800 | c 14 > 8.813780 | c 11 > 11.625700 | c 12 > 4.053800 | c 21 > 1.414210 | c 20 > 91.245100 | 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.041900 | c 1 > 11.625700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.972700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.649800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.85/6.74 c choco : 1801.0 6.85/6.74 c mistral : 28.4047 6.85/6.74 c abscon : 99.5269 6.85/6.74 c 6.85/6.74 c 6.85/6.74 c /home/eomahony/cpZilla/CSP/socialGolfers/socialGolfer-6-4-8.xml 6.85/6.74 c 19 > 0.000000 | c 35 > 30.938700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.981300 | c 34 > 30.938700 | c 16 > 32.000000 | c 13 > 3.601170 | c 14 > 9.751540 | c 11 > 12.139600 | c 12 > 4.151730 | 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.691700 | c 1 > 12.139600 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.671500 | c 6 > 8.954200 | c 32 > -1.000000 | c 5 > 17.560700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.05/6.92 c choco : 1801.0 7.05/6.92 c mistral : 960.35 7.05/6.92 c abscon : 239.695 7.05/6.92 c 7.05/6.92 c 7.05/6.92 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16e2.xml 7.05/6.92 c 19 > 6.365920 | c 35 > 40.277600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.819550 | c 15 > 19.511600 | c 34 > 41.550800 | c 16 > 16.000000 | c 13 > 5.568540 | c 14 > 6.727920 | c 11 > 10.055300 | c 12 > 4.991330 | c 21 > 1.414210 | c 20 > 93.634100 | 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.627000 | c 1 > 10.055300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.596400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.569400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.05/6.93 c choco : 1801.0 7.05/6.93 c mistral : 132.853 7.05/6.93 c abscon : 1800.05 7.05/6.93 c 7.05/6.93 c 7.05/6.93 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16a2.xml 7.05/6.93 c 19 > 6.438130 | c 35 > 22.572000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.862880 | c 15 > 18.387400 | c 34 > 23.859700 | c 16 > 16.000000 | c 13 > 4.792640 | c 14 > 6.686500 | c 11 > 11.645700 | c 12 > 4.049520 | c 21 > 1.414210 | c 20 > 93.561900 | 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.933100 | c 1 > 11.645700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.857300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.817200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.05/6.93 c choco : 24.25 7.05/6.93 c mistral : 2.88 7.05/6.93 c abscon : 1800.1 7.05/6.93 c 7.05/6.93 c 7.05/6.93 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16e1.xml 7.05/6.93 c 19 > 7.775900 | c 35 > 39.956900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 4.665540 | c 15 > 19.728200 | c 34 > 41.512100 | c 16 > 16.000000 | c 13 > 4.729470 | c 14 > 8.523560 | c 11 > 11.281900 | c 12 > 4.688060 | c 21 > 1.414210 | c 20 > 92.224100 | 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.549700 | c 1 > 11.281900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.511700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.495900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.05/6.94 c choco : 1801.0 7.05/6.94 c mistral : 395.649 7.05/6.94 c abscon : 140.834 7.05/6.94 c 7.05/6.94 c 7.05/6.94 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-16a1.xml 7.05/6.94 c 19 > 7.850410 | c 35 > 22.680600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 4.710250 | c 15 > 19.168600 | c 34 > 24.250600 | c 16 > 16.000000 | c 13 > 3.711370 | c 14 > 8.554590 | c 11 > 11.688300 | c 12 > 3.859460 | c 21 > 1.414210 | c 20 > 92.149600 | 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.702000 | c 1 > 11.688300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.609800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.666000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.05/6.94 c choco : 1801.0 7.05/6.94 c mistral : 17.7903 7.05/6.94 c abscon : 207.102 7.05/6.94 c 7.05/6.94 c 7.05/6.94 c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-02-02.xml 7.05/6.94 c 19 > 0.000000 | c 35 > 20.035900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.782200 | c 34 > 30.752100 | c 16 > 17.000000 | c 13 > 3.814870 | c 14 > 9.005620 | c 11 > 11.455800 | c 12 > 3.270540 | 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.013900 | c 1 > 11.455800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.385500 | c 6 > 12.895800 | c 32 > -1.000000 | c 5 > 16.512700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 11.952000 | c 7.05/6.94 c choco : 13.2 7.05/6.94 c mistral : 0.068989 7.05/6.94 c abscon : 22.3216 7.05/6.94 c 7.05/6.94 c 7.05/6.94 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-stein15.xml 7.05/6.94 c 19 > 0.000000 | c 35 > 33.333300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 8.980140 | c 34 > 33.333300 | c 16 > 15.000000 | c 13 > 1.312730 | c 14 > 2.584960 | c 11 > 6.629360 | c 12 > 0.762961 | 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 > 6.392320 | c 1 > 3.906890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.392320 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.515700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.05/6.94 c choco : 1.18 7.05/6.94 c mistral : 0.01 7.05/6.94 c abscon : 0.696893 7.05/6.94 c 7.05/6.94 c 7.05/6.94 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/stein27.xml 7.05/6.94 c 19 > 0.000000 | c 35 > 29.745800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.662700 | c 34 > 29.745800 | c 16 > 27.000000 | c 13 > 1.905440 | c 14 > 3.000000 | c 11 > 8.164910 | c 12 > 0.857461 | 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 > 8.022370 | c 1 > 4.754890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.022370 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.162400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.05/6.94 c choco : 1.41 7.05/6.94 c mistral : 0.02 7.05/6.94 c abscon : 0.732888 7.05/6.94 c 7.05/6.94 c 7.05/6.94 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-stein27.xml 7.05/6.94 c 19 > 0.000000 | c 35 > 29.745800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.651900 | c 34 > 29.745800 | c 16 > 27.000000 | c 13 > 1.905080 | c 14 > 3.000000 | c 11 > 8.164910 | c 12 > 0.857461 | 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 > 8.022370 | c 1 > 4.754890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.022370 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.162400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.05/6.94 c choco : 1.39 7.05/6.94 c mistral : 0.02 7.05/6.94 c abscon : 0.763883 7.05/6.94 c 7.05/6.94 c 7.05/6.94 c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-02-08.xml 7.05/6.94 c 19 > 0.000000 | c 35 > 19.335500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.449400 | c 34 > 29.596400 | c 16 > 17.000000 | c 13 > 3.811990 | c 14 > 9.011230 | c 11 > 11.455800 | c 12 > 3.267290 | c 21 > 2.828430 | c 20 > 100.000000 | c 22 > 2.828430 | 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.013900 | c 1 > 11.455800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.385500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.911400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 13.512000 | c 7.05/6.95 c choco : 13.33 7.05/6.95 c mistral : 0.077987 7.05/6.95 c abscon : 26.9069 7.05/6.95 c 7.05/6.95 c 7.05/6.95 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-8a4.xml 7.05/6.95 c 19 > 12.398200 | c 35 > 26.261700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 7.438950 | c 15 > 18.898000 | c 34 > 28.741400 | c 16 > 8.000000 | c 13 > 4.452910 | c 14 > 8.285400 | c 11 > 12.448600 | c 12 > 1.839660 | c 21 > 1.414210 | c 20 > 87.601800 | 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.342600 | c 1 > 9.629360 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.228200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.286300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.05/6.95 c choco : 5.29 7.05/6.95 c mistral : 0.296953 7.05/6.95 c abscon : 1.60376 7.05/6.95 c 7.05/6.95 c 7.05/6.95 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-8e2.xml 7.05/6.95 c 19 > 12.444600 | c 35 > 23.301400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 7.466740 | c 15 > 18.879300 | c 34 > 25.790300 | c 16 > 10.000000 | c 13 > 3.282830 | c 14 > 8.247930 | c 11 > 13.311900 | c 12 > 1.682290 | c 21 > 1.414210 | c 20 > 87.555400 | 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.182900 | c 1 > 10.764900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.041100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.933500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.05/6.95 c choco : 15.93 7.05/6.95 c mistral : 0.815875 7.05/6.95 c abscon : 11.3283 7.05/6.95 c 7.05/6.95 c 7.05/6.95 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-stein9.xml 7.05/6.95 c 19 > 0.000000 | c 35 > 34.615400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 7.539160 | c 34 > 34.615400 | c 16 > 9.000000 | c 13 > 0.738286 | c 14 > 2.000000 | c 11 > 5.357550 | c 12 > 0.642448 | 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 > 5.000000 | c 1 > 3.169930 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 5.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 7.108520 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.05/6.95 c choco : 1.08 7.05/6.95 c mistral : 0.01 7.05/6.95 c abscon : 0.664898 7.05/6.95 c 7.05/6.95 c 7.05/6.95 c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-02-16.xml 7.05/6.95 c 19 > 0.000000 | c 35 > 17.110300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.449300 | c 34 > 25.470900 | c 16 > 17.000000 | c 13 > 3.811990 | c 14 > 9.011230 | c 11 > 11.455800 | c 12 > 3.267290 | c 21 > 4.000000 | c 20 > 100.000000 | c 22 > 4.000000 | 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.013900 | c 1 > 11.455800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.385500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.968100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 13.512000 | c 7.05/6.96 c choco : 13.37 7.05/6.96 c mistral : 0.077987 7.05/6.96 c abscon : 26.506 7.05/6.96 c 7.05/6.96 c 7.05/6.96 c /home/eomahony/cpZilla/CSP/pseudoSeries/primesDimacs/hanoi4.xml 7.05/6.96 c 19 > 12.997800 | c 35 > 24.453300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 7.798700 | c 15 > 19.124800 | c 34 > 27.052900 | c 16 > 7.000000 | c 13 > 2.443970 | c 14 > 7.832890 | c 11 > 12.828100 | c 12 > 1.603560 | c 21 > 1.324190 | c 20 > 87.002200 | 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.716600 | c 1 > 10.079500 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.595700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.149400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.05/6.96 c choco : 1801.0 7.05/6.96 c mistral : 1273.03 7.05/6.96 c abscon : 1800.08 7.05/6.96 c 7.05/6.96 c 7.05/6.96 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-8b4.xml 7.05/6.96 c 19 > 11.506100 | c 35 > 22.171900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 6.903680 | c 15 > 15.455400 | c 34 > 24.473200 | c 16 > 8.000000 | c 13 > 2.957960 | c 14 > 5.523560 | c 11 > 13.594100 | c 12 > 0.799835 | c 21 > 1.414210 | c 20 > 88.493900 | 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.463800 | c 1 > 11.060700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.320500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.017000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.05/6.96 c choco : 9.46 7.05/6.96 c mistral : 0.88 7.05/6.96 c abscon : 20.6129 7.05/6.96 c 7.05/6.96 c 7.05/6.96 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-8d2.xml 7.05/6.96 c 19 > 12.438100 | c 35 > 22.669500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 7.462890 | c 15 > 15.577800 | c 34 > 25.157100 | c 16 > 10.000000 | c 13 > 2.448500 | c 14 > 6.321930 | c 11 > 13.344700 | c 12 > 0.792920 | c 21 > 1.414210 | c 20 > 87.561900 | 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.209600 | c 1 > 10.861100 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.060500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.892000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.05/6.96 c choco : 8.3 7.05/6.96 c mistral : 0.75 7.05/6.96 c abscon : 19.783 7.05/6.96 c 7.05/6.96 c 7.05/6.96 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-8c2.xml 7.05/6.96 c 19 > 12.436200 | c 35 > 22.476800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 7.461710 | c 15 > 15.365900 | c 34 > 24.964000 | c 16 > 10.000000 | c 13 > 2.471200 | c 14 > 6.643860 | c 11 > 13.355500 | c 12 > 0.789169 | c 21 > 1.414210 | c 20 > 87.563800 | 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.218400 | c 1 > 10.891800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.066900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.877900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.05/6.97 c choco : 8.14 7.05/6.97 c mistral : 0.77 7.05/6.97 c abscon : 16.3695 7.05/6.97 c 7.05/6.97 c 7.05/6.97 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-8b3.xml 7.05/6.97 c 19 > 11.785100 | c 35 > 22.253000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 7.071060 | c 15 > 15.046100 | c 34 > 24.610100 | c 16 > 8.000000 | c 13 > 2.754840 | c 14 > 5.554590 | c 11 > 13.183000 | c 12 > 0.796410 | c 21 > 1.414210 | c 20 > 88.214900 | 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.050500 | c 1 > 10.672400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.904600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.617700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.05/6.97 c choco : 7.57 7.05/6.97 c mistral : 0.64 7.05/6.97 c abscon : 10.8503 7.05/6.97 c 7.05/6.97 c 7.05/6.97 c /home/eomahony/cpZilla/CSP/pseudoSeries/garden/g-9x3.xml 7.05/6.97 c 19 > 0.000000 | c 35 > 41.111100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 8.957100 | c 34 > 41.111100 | c 16 > 5.000000 | c 13 > 0.530942 | c 14 > 4.169930 | c 11 > 6.794420 | c 12 > 0.597902 | 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 > 6.392320 | c 1 > 4.754890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 6.392320 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.543030 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.05/6.97 c choco : 1.14 7.05/6.97 c mistral : 0.014997 7.05/6.97 c abscon : 0.660898 7.05/6.97 c 7.05/6.97 c 7.05/6.97 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-8b2.xml 7.05/6.97 c 19 > 12.349900 | c 35 > 22.229800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 7.409950 | c 15 > 14.472900 | c 34 > 24.699800 | c 16 > 8.000000 | c 13 > 2.484830 | c 14 > 5.700440 | c 11 > 12.616500 | c 12 > 0.786463 | c 21 > 1.414210 | c 20 > 87.650100 | 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.477800 | c 1 > 10.169900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.324200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.046400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.05/6.97 c choco : 5.75 7.05/6.97 c mistral : 0.399938 7.05/6.97 c abscon : 1.9757 7.05/6.97 c 7.05/6.97 c 7.05/6.97 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-17-7-a4.xml 7.05/6.97 c 19 > 0.000000 | c 35 > 34.285700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.918100 | c 34 > 27.857100 | c 16 > 4.000000 | c 13 > 6.133140 | c 14 > 7.994350 | c 11 > 8.479780 | c 12 > 3.996460 | c 21 > 4.242640 | c 20 > 100.000000 | c 22 > 4.242640 | 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 > 2.807350 | c 10 > 9.092760 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.595300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 8.451210 | c 7.05/6.97 c choco : 2.24 7.05/6.97 c mistral : 0.108983 7.05/6.97 c abscon : 0.937856 7.05/6.97 c 7.05/6.97 c 7.05/6.98 c /home/eomahony/cpZilla/CSP/pseudoSeries/garden/g-7x7.xml 7.05/6.98 c 19 > 0.000000 | c 35 > 44.285700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.027900 | c 34 > 44.285700 | c 16 > 5.000000 | c 13 > 0.607495 | c 14 > 5.044390 | c 11 > 7.761550 | c 12 > 0.630766 | 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 > 7.392320 | c 1 > 5.614710 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.392320 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.583080 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.05/6.98 c choco : 1.29 7.05/6.98 c mistral : 0.017997 7.05/6.98 c abscon : 0.677896 7.05/6.98 c 7.05/6.98 c 7.05/6.98 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-25-7-a4.xml 7.05/6.98 c 19 > 0.000000 | c 35 > 34.285700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.726300 | c 34 > 27.857100 | c 16 > 4.000000 | c 13 > 5.987050 | c 14 > 8.027910 | c 11 > 8.479780 | c 12 > 3.319910 | c 21 > 5.099020 | c 20 > 100.000000 | c 22 > 5.099020 | 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 > 2.807350 | c 10 > 9.092760 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.138300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 8.451210 | c 7.05/6.98 c choco : 2.14 7.05/6.98 c mistral : 1.10983 7.05/6.98 c abscon : 0.921859 7.05/6.98 c 7.05/6.98 c 7.05/6.98 c /home/eomahony/cpZilla/CSP/pseudoSeries/garden/g-9x9.xml 7.05/6.98 c 19 > 0.000000 | c 35 > 45.555600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.838400 | c 34 > 45.555600 | c 16 > 5.000000 | c 13 > 0.632557 | c 14 > 5.754890 | c 11 > 8.527480 | c 12 > 0.642448 | 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 > 8.169930 | c 1 > 6.339850 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.169930 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.374000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.05/6.98 c choco : 1.39 7.05/6.98 c mistral : 0.02 7.05/6.98 c abscon : 0.768882 7.05/6.98 c 7.05/6.98 c 7.05/6.98 c /home/eomahony/cpZilla/CSP/pseudoSeries/garden/g-4x4.xml 7.05/6.98 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 8.129280 | c 34 > 40.000000 | c 16 > 5.000000 | c 13 > 0.477098 | c 14 > 3.000000 | c 11 > 6.000000 | c 12 > 0.584963 | 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 > 5.584960 | c 1 > 4.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 5.584960 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 7.727920 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.05/6.99 c choco : 1.12 7.05/6.99 c mistral : 0.01 7.05/6.99 c abscon : 0.642901 7.05/6.99 c 7.05/6.99 c 7.05/6.99 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-25-8-a4.xml 7.05/6.99 c 19 > 0.000000 | c 35 > 35.200000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.605800 | c 34 > 28.400000 | c 16 > 4.000000 | c 13 > 6.576820 | c 14 > 8.879580 | c 11 > 9.348730 | c 12 > 4.144250 | c 21 > 5.099020 | c 20 > 100.000000 | c 22 > 5.099020 | 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 > 3.000000 | c 10 > 9.957100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.012400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 9.330920 | c 7.05/6.99 c choco : 9.13 7.05/6.99 c mistral : 1.35979 7.05/6.99 c abscon : 2.70059 7.05/6.99 c 7.05/6.99 c 7.05/6.99 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-8e1.xml 7.05/6.99 c 19 > 14.223200 | c 35 > 23.085300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 8.533920 | c 15 > 18.997200 | c 34 > 25.930000 | c 16 > 10.000000 | c 13 > 6.251360 | c 14 > 8.945440 | c 11 > 12.372900 | c 12 > 3.242050 | c 21 > 1.414210 | c 20 > 85.776800 | 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.224000 | c 1 > 10.022400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.058000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.963300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.05/6.99 c choco : 7.15 7.05/6.99 c mistral : 0.349945 7.05/6.99 c abscon : 3.46347 7.05/6.99 c 7.05/6.99 c 7.05/6.99 c /home/eomahony/cpZilla/CSP/pseudoSeries/garden/g-15x15.xml 7.05/6.99 c 19 > 0.000000 | c 35 > 47.333300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.414900 | c 34 > 47.333300 | c 16 > 5.000000 | c 13 > 0.660790 | c 14 > 7.266790 | c 11 > 10.056600 | c 12 > 0.657608 | 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 > 9.714250 | c 1 > 7.813780 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.714250 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.936300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.05/6.99 c choco : 1.79 7.05/6.99 c mistral : 0.040993 7.05/6.99 c abscon : 0.85087 7.05/6.99 c 7.05/6.99 c 7.05/6.99 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-17-6-a4.xml 7.05/6.99 c 19 > 0.000000 | c 35 > 33.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 15.037900 | c 34 > 27.000000 | c 16 > 4.000000 | c 13 > 4.840150 | c 14 > 6.285400 | c 11 > 7.459430 | c 12 > 2.641230 | c 21 > 4.242640 | c 20 > 100.000000 | c 22 > 4.242640 | 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 > 2.584960 | c 10 > 8.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.564600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 7.409390 | c 7.05/6.99 c choco : 1.71 7.05/6.99 c mistral : 0.030994 7.05/6.99 c abscon : 0.751885 7.05/6.99 c 7.05/6.99 c 7.17/7.00 c Length: 40 7.17/7.00 c 1.8126313312143747 4.831250667280678 7.21907211526523 10.444365555532801 14.072015099849772 14.783297442779805 14.982078184797999 16.322372997781297 16.78393279743457 17.608828497520783 18.22808735571014 18.38040945992771 19.036793939177365 19.473283893876243 19.734803131772047 19.83485719247557 20.744927796190108 21.571607562338535 21.576169037258236 22.26437677613052 22.99599492194239 24.1562103352554 24.605231657122435 24.897879148853217 24.94620497149015 25.0925081468578 25.127081782642406 25.259132409903568 25.36583751152325 25.510848054988454 26.088938110732467 26.27560232638445 26.343061357985732 26.431749908363994 26.444755360810447 26.447364979945224 26.52740184318095 26.555522831013892 26.615595471836137 26.77444963056757 7.17/7.00 c 7.17/7.00 c 1.0 0.8921167933325984 0.8219706711141233 0.7430538428992857 0.6706343941756021 0.6580591460592045 0.6546286413324177 0.6324000956867506 0.6250906126516302 0.6124394923100369 0.6032736256135108 0.601060940782066 0.5917088511985779 0.5856492548300162 0.5820777926959991 0.5807228888487259 0.5686825770009312 0.5581702776398939 0.5581133506537327 0.5496555707435113 0.5409409450116108 0.5276737903554645 0.522712222616167 0.5195284606675568 0.5190064430847376 0.5174324459339625 0.5170618804078403 0.5156514132295134 0.5145172772162037 0.5129839772513373 0.5069611862630535 0.5050465293965188 0.5043581397811961 0.5034559625512642 0.5033239368990906 0.503297453530285 0.5024865615101407 0.5022022741953259 0.5015960499668922 0.5 7.17/7.01 c 7.17/7.01 c solver 0 7.17/7.01 c before 0.0 seconds: {} 0 7.17/7.01 c before 18.0 seconds: {2, 7, 16, 17, 18, 20, 21, 22, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 11306 7.17/7.01 c before 36.0 seconds: {1, 2, 4, 7, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15553 7.17/7.01 c before 54.0 seconds: {1, 2, 3, 4, 7, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16296 7.17/7.01 c before 72.0 seconds: {1, 2, 3, 4, 6, 7, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16951 7.17/7.01 c before 108.0 seconds: {1, 2, 3, 4, 6, 7, 9, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17563 7.17/7.01 c before 144.0 seconds: {1, 2, 3, 4, 6, 7, 8, 9, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18774 7.17/7.01 c before 216.0 seconds: {1, 2, 3, 4, 6, 7, 8, 9, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19356 7.17/7.01 c before 252.0 seconds: {1, 2, 3, 4, 6, 7, 8, 9, 10, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19959 7.17/7.01 c before 1584.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20959 7.17/7.01 c 7.17/7.01 c solver 1 7.17/7.01 c before 0.0 seconds: {} 0 7.17/7.01 c before 18.0 seconds: {1, 2, 3, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16167 7.17/7.01 c before 36.0 seconds: {1, 2, 3, 6, 9, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17434 7.17/7.01 c before 72.0 seconds: {1, 2, 3, 4, 6, 8, 9, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18730 7.17/7.01 c before 90.0 seconds: {1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19388 7.17/7.01 c before 108.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20020 7.17/7.01 c before 144.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20621 7.17/7.01 c before 396.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21207 7.17/7.01 c before 720.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22207 7.17/7.01 c before 972.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22810 7.17/7.01 c before 1278.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23329 7.17/7.01 c 7.17/7.01 c solver 2 7.17/7.01 c before 0.0 seconds: {} 0 7.17/7.01 c before 18.0 seconds: {1, 2, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 14250 7.17/7.01 c before 36.0 seconds: {1, 2, 3, 12, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15585 7.17/7.01 c 7.17/7.01 cTotal time: 161 7.17/7.01 c run abscon for 252.0 seconds {1, 2, 3, 4, 6, 7, 8, 9, 10, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19959 7.17/7.01 c run mistral for 1278.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23329 7.17/7.01 c run choco for 36.0 seconds {1, 2, 3, 12, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15585 7.17/7.01 c Starting solver: HOME/cpHydra_k_40/solver/abscon 7.17/7.01 c On Instance: HOME/instance-1093536-1215250383.xml 7.17/7.01 c Running for: 252 seconds 259.64/259.32 c Starting solver: HOME/cpHydra_k_40/solver/mistral 259.64/259.32 c On Instance: HOME/instance-1093536-1215250383.xml 259.64/259.32 c Running for: 1278 seconds 319.70/319.48 c mistral-prime version 1.313 319.70/319.48 s SATISFIABLE 319.70/319.48 v 1 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 319.70/319.48 d CHECKS 42122742 319.70/319.48 d ASSIGNMENTS 48701
OK
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1093536-1215250383/watcher-1093536-1215250383 -o /tmp/evaluation-result-1093536-1215250383/solver-1093536-1215250383 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1093536-1215250383.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.39 1.44 1.45 3/64 11248 /proc/meminfo: memFree=1855032/2055920 swapFree=4180584/4192956 [pid=11248] ppid=11246 vsize=5360 CPUtime=0 /proc/11248/stat : 11248 (hydra) R 11246 11248 9075 0 -1 4194304 289 124 0 0 0 0 0 0 18 0 1 0 2003988089 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231882680991 0 65538 4100 65536 0 0 0 17 0 0 0 /proc/11248/statm: 1340 236 195 169 0 51 0 [startup+0.0578651 s] /proc/loadavg: 1.39 1.44 1.45 3/64 11248 /proc/meminfo: memFree=1855032/2055920 swapFree=4180584/4192956 [pid=11248] ppid=11246 vsize=5360 CPUtime=0 /proc/11248/stat : 11248 (hydra) S 11246 11248 9075 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 2003988089 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11248/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.101866 s] /proc/loadavg: 1.39 1.44 1.45 3/64 11248 /proc/meminfo: memFree=1855032/2055920 swapFree=4180584/4192956 [pid=11248] ppid=11246 vsize=5360 CPUtime=0 /proc/11248/stat : 11248 (hydra) S 11246 11248 9075 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 2003988089 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11248/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301896 s] /proc/loadavg: 1.39 1.44 1.45 3/64 11248 /proc/meminfo: memFree=1855032/2055920 swapFree=4180584/4192956 [pid=11248] ppid=11246 vsize=5360 CPUtime=0 /proc/11248/stat : 11248 (hydra) S 11246 11248 9075 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 2003988089 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11248/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701943 s] /proc/loadavg: 1.39 1.44 1.45 3/64 11248 /proc/meminfo: memFree=1855032/2055920 swapFree=4180584/4192956 [pid=11248] ppid=11246 vsize=5360 CPUtime=0 /proc/11248/stat : 11248 (hydra) S 11246 11248 9075 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 2003988089 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11248/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50202 s] /proc/loadavg: 1.39 1.44 1.45 2/66 11252 /proc/meminfo: memFree=1842152/2055920 swapFree=4180584/4192956 [pid=11248] ppid=11246 vsize=5360 CPUtime=0 /proc/11248/stat : 11248 (hydra) S 11246 11248 9075 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 2003988089 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11248/statm: 1340 236 195 169 0 51 0 [pid=11251] ppid=11248 vsize=17140 CPUtime=1.48 /proc/11251/stat : 11251 (xsolve) R 11248 11248 9075 0 -1 4194304 3663 0 0 0 147 1 0 0 25 0 1 0 2003988090 17551360 3589 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/11251/statm: 4285 3589 431 177 0 3188 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 22500 [startup+3.10222 s] /proc/loadavg: 1.39 1.44 1.45 2/74 11264 /proc/meminfo: memFree=1847400/2055920 swapFree=4180584/4192956 [pid=11248] ppid=11246 vsize=5360 CPUtime=1.71 /proc/11248/stat : 11248 (hydra) S 11246 11248 9075 0 -1 4194304 375 4259 0 0 0 0 169 2 19 0 1 0 2003988089 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11248/statm: 1340 238 196 169 0 51 0 [pid=11256] ppid=11248 vsize=197700 CPUtime=1.51 /proc/11256/stat : 11256 (java) S 11248 11248 9075 0 -1 0 6591 0 1 0 146 5 0 0 20 0 9 0 2003988261 202444800 5545 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11256/statm: 49425 5545 2541 9 0 44007 0 [pid=11256/tid=11257] ppid=11248 vsize=197700 CPUtime=1.14 /proc/11256/task/11257/stat : 11257 (java) S 11248 11248 9075 0 -1 64 2798 0 1 0 112 2 0 0 16 0 9 0 2003988262 202444800 5545 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11256/tid=11258] ppid=11248 vsize=197700 CPUtime=0.21 /proc/11256/task/11258/stat : 11258 (java) R 11248 11248 9075 0 -1 64 2443 0 0 0 19 2 0 0 16 0 9 0 2003988263 202444800 5545 996147200 134512640 134550740 4294955968 18446744073709551615 102109414 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=11256/tid=11259] ppid=11248 vsize=197700 CPUtime=0 /proc/11256/task/11259/stat : 11259 (java) S 11248 11248 9075 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2003988264 202444800 5545 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11256/tid=11260] ppid=11248 vsize=197700 CPUtime=0 /proc/11256/task/11260/stat : 11260 (java) S 11248 11248 9075 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2003988264 202444800 5545 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11256/tid=11261] ppid=11248 vsize=197700 CPUtime=0 /proc/11256/task/11261/stat : 11261 (java) S 11248 11248 9075 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2003988265 202444800 5545 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11256/tid=11262] ppid=11248 vsize=197700 CPUtime=0.13 /proc/11256/task/11262/stat : 11262 (java) S 11248 11248 9075 0 -1 64 624 0 0 0 13 0 0 0 16 0 9 0 2003988265 202444800 5545 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11256/tid=11263] ppid=11248 vsize=197700 CPUtime=0 /proc/11256/task/11263/stat : 11263 (java) S 11248 11248 9075 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2003988266 202444800 5545 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11256/tid=11264] ppid=11248 vsize=197700 CPUtime=0 /proc/11256/task/11264/stat : 11264 (java) S 11248 11248 9075 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003988266 202444800 5545 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.22 Current children cumulated vsize (KiB) 203060 [startup+6.30159 s] /proc/loadavg: 1.44 1.45 1.45 2/74 11264 /proc/meminfo: memFree=1832872/2055920 swapFree=4180584/4192956 [pid=11248] ppid=11246 vsize=5360 CPUtime=1.71 /proc/11248/stat : 11248 (hydra) S 11246 11248 9075 0 -1 4194304 375 4259 0 0 0 0 169 2 19 0 1 0 2003988089 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11248/statm: 1340 238 196 169 0 51 0 [pid=11256] ppid=11248 vsize=197780 CPUtime=4.72 /proc/11256/stat : 11256 (java) S 11248 11248 9075 0 -1 0 10733 0 1 0 460 12 0 0 20 0 9 0 2003988261 202526720 8902 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11256/statm: 49445 8902 2541 9 0 44027 0 [pid=11256/tid=11257] ppid=11248 vsize=197780 CPUtime=3.75 /proc/11256/task/11257/stat : 11257 (java) R 11248 11248 9075 0 -1 64 3658 0 1 0 371 4 0 0 16 0 9 0 2003988262 202526720 8902 996147200 134512640 134550740 4294955968 18446744073709551615 4126483139 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11256/tid=11258] ppid=11248 vsize=197780 CPUtime=0.78 /proc/11256/task/11258/stat : 11258 (java) S 11248 11248 9075 0 -1 64 5702 0 0 0 72 6 0 0 16 0 9 0 2003988263 202526720 8902 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=11256/tid=11259] ppid=11248 vsize=197780 CPUtime=0 /proc/11256/task/11259/stat : 11259 (java) S 11248 11248 9075 0 -1 64 11 0 0 0 0 0 0 0 15 0 9 0 2003988264 202526720 8902 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11256/tid=11260] ppid=11248 vsize=197780 CPUtime=0 /proc/11256/task/11260/stat : 11260 (java) S 11248 11248 9075 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2003988264 202526720 8902 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11256/tid=11261] ppid=11248 vsize=197780 CPUtime=0 /proc/11256/task/11261/stat : 11261 (java) S 11248 11248 9075 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2003988265 202526720 8902 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11256/tid=11262] ppid=11248 vsize=197780 CPUtime=0.16 /proc/11256/task/11262/stat : 11262 (java) S 11248 11248 9075 0 -1 64 647 0 0 0 16 0 0 0 16 0 9 0 2003988265 202526720 8902 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11256/tid=11263] ppid=11248 vsize=197780 CPUtime=0 /proc/11256/task/11263/stat : 11263 (java) S 11248 11248 9075 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2003988266 202526720 8902 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11256/tid=11264] ppid=11248 vsize=197780 CPUtime=0 /proc/11256/task/11264/stat : 11264 (java) S 11248 11248 9075 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003988266 202526720 8902 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.43 Current children cumulated vsize (KiB) 203140 [startup+12.7023 s] /proc/loadavg: 1.41 1.44 1.45 2/86 11276 /proc/meminfo: memFree=1767176/2055920 swapFree=4180584/4192956 [pid=11248] ppid=11246 vsize=5360 CPUtime=1.71 /proc/11248/stat : 11248 (hydra) S 11246 11248 9075 0 -1 4194304 375 4259 0 0 0 0 169 2 19 0 1 0 2003988089 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11248/statm: 1340 238 196 169 0 51 0 [pid=11256] ppid=11248 vsize=198120 CPUtime=5.49 /proc/11256/stat : 11256 (java) S 11248 11248 9075 0 -1 0 14081 0 1 0 532 17 0 0 20 0 10 0 2003988261 202874880 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11256/statm: 49530 9514 2544 9 0 44112 0 [pid=11266] ppid=11256 vsize=5356 CPUtime=0 /proc/11266/stat : 11266 (abscon) S 11256 11248 9075 0 -1 4194304 308 0 0 0 0 0 0 0 18 0 1 0 2003988791 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 231882679108 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/11266/statm: 1339 237 196 169 0 50 0 [pid=11267] ppid=11266 vsize=656344 CPUtime=5.97 /proc/11267/stat : 11267 (java) S 11266 11248 9075 0 -1 0 17904 0 1 0 575 22 0 0 19 0 9 0 2003988791 672096256 17217 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/11267/statm: 164086 17217 2616 9 0 158614 0 [pid=11267/tid=11269] ppid=11266 vsize=656344 CPUtime=5.47 /proc/11267/task/11269/stat : 11269 (java) R 11266 11248 9075 0 -1 64 12515 0 1 0 528 19 0 0 25 0 9 0 2003988792 672096256 17217 996147200 134512640 134550740 4294955808 18446744073709551615 4127191144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11267/tid=11270] ppid=11266 vsize=656344 CPUtime=0.14 /proc/11267/task/11270/stat : 11270 (java) S 11266 11248 9075 0 -1 64 4001 0 0 0 13 1 0 0 16 0 9 0 2003988793 672096256 17217 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=11267/tid=11271] ppid=11266 vsize=656344 CPUtime=0 /proc/11267/task/11271/stat : 11271 (java) S 11266 11248 9075 0 -1 64 13 0 0 0 0 0 0 0 15 0 9 0 2003988794 672096256 17217 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11267/tid=11272] ppid=11266 vsize=656344 CPUtime=0 /proc/11267/task/11272/stat : 11272 (java) S 11266 11248 9075 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 2003988794 672096256 17217 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11267/tid=11273] ppid=11266 vsize=656344 CPUtime=0 /proc/11267/task/11273/stat : 11273 (java) S 11266 11248 9075 0 -1 64 0 0 0 0 0 0 0 0 21 0 9 0 2003988795 672096256 17217 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11267/tid=11274] ppid=11266 vsize=656344 CPUtime=0.33 /proc/11267/task/11274/stat : 11274 (java) S 11266 11248 9075 0 -1 64 841 0 0 0 33 0 0 0 16 0 9 0 2003988795 672096256 17217 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11267/tid=11275] ppid=11266 vsize=656344 CPUtime=0 /proc/11267/task/11275/stat : 11275 (java) S 11266 11248 9075 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 2003988795 672096256 17217 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11267/tid=11276] ppid=11266 vsize=656344 CPUtime=0 /proc/11267/task/11276/stat : 11276 (java) S 11266 11248 9075 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003988796 672096256 17217 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11268] ppid=11266 vsize=7044 CPUtime=0 /proc/11268/stat : 11268 (translate) S 11266 11248 9075 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2003988791 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 231882850386 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/11268/statm: 1761 213 182 1 0 41 0 [pid=11256/tid=11257] ppid=11248 vsize=198120 CPUtime=4.24 /proc/11256/task/11257/stat : 11257 (java) S 11248 11248 9075 0 -1 64 3890 0 1 0 417 7 0 0 16 0 10 0 2003988262 202874880 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=11256/tid=11258] ppid=11248 vsize=198120 CPUtime=1.01 /proc/11256/task/11258/stat : 11258 (java) S 11248 11248 9075 0 -1 64 8667 0 0 0 93 8 0 0 16 0 10 0 2003988263 202874880 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=11256/tid=11259] ppid=11248 vsize=198120 CPUtime=0 /proc/11256/task/11259/stat : 11259 (java) S 11248 11248 9075 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003988264 202874880 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11256/tid=11260] ppid=11248 vsize=198120 CPUtime=0 /proc/11256/task/11260/stat : 11260 (java) S 11248 11248 9075 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 2003988264 202874880 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11256/tid=11261] ppid=11248 vsize=198120 CPUtime=0 /proc/11256/task/11261/stat : 11261 (java) S 11248 11248 9075 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 2003988265 202874880 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11256/tid=11262] ppid=11248 vsize=198120 CPUtime=0.21 /proc/11256/task/11262/stat : 11262 (java) S 11248 11248 9075 0 -1 64 696 0 0 0 21 0 0 0 16 0 10 0 2003988265 202874880 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11256/tid=11263] ppid=11248 vsize=198120 CPUtime=0 /proc/11256/task/11263/stat : 11263 (java) S 11248 11248 9075 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 2003988266 202874880 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11256/tid=11264] ppid=11248 vsize=198120 CPUtime=0 /proc/11256/task/11264/stat : 11264 (java) S 11248 11248 9075 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 2003988266 202874880 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11256/tid=11265] ppid=11248 vsize=198120 CPUtime=0 /proc/11256/task/11265/stat : 11265 (java) S 11248 11248 9075 0 -1 64 73 0 0 0 0 0 0 0 17 0 10 0 2003988791 202874880 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 13.17 Current children cumulated vsize (KiB) 872224 [startup+25.5029 s] /proc/loadavg: 1.31 1.42 1.44 2/86 11276 /proc/meminfo: memFree=1767048/2055920 swapFree=4180584/4192956 [pid=11248] ppid=11246 vsize=5360 CPUtime=1.71 /proc/11248/stat : 11248 (hydra) S 11246 11248 9075 0 -1 4194304 375 4259 0 0 0 0 169 2 19 0 1 0 2003988089 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11248/statm: 1340 238 196 169 0 51 0 [pid=11256] ppid=11248 vsize=198120 CPUtime=5.49 /proc/11256/stat : 11256 (java) S 11248 11248 9075 0 -1 0 14081 0 1 0 532 17 0 0 20 0 10 0 2003988261 202874880 9514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11256/statm: 49530 9514 2544 9 0 44112 0 [pid=11266] ppid=11256 vsize=5356 CPUtime=0 /proc/11266/stat : 11266 (abscon) S 11256 11248 9075 0 -1 4194304 308 0 0 0 0 0 0 0 18 0 1 0 2003988791 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 231882679108 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/11266/statm: 1339 237 196 169 0 50 0 [pid=11267] ppid=11266 vsize=656344 CPUtime=18.76 /proc/11267/stat : 11267 (java) S 11266 11248 9075 0 -1 0 17906 0 1 0 1854 22 0 0 19 0 9 0 2003988791 672096256 17218 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/11267/statm: 164086 17218 2616 9 0 158614 0 [pid=11267/tid=11269] ppid=11266 vsize=656344 CPUtime=18.26 /proc/11267/task/11269/stat : 11269 (java) R 11266 11248 9075 0 -1 64 12516 0 1 0 1807 19 0 0 25 0 9 0 2003988792 672096256 17218 996147200 134512640 134550740 4294955808 18446744073709551615 4127260912 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11267/tid=11270] ppid=11266 vsize=656344 CPUtime=0.14 /proc/11267/task/11270/stat : 11270 (java) S 11266 11248 9075 0 -1 64 4001 0 0 0 13 1 0 0 16 0 9 0 2003988793 672096256 17218 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=11267/tid=11271] ppid=11266 vsize=656344 CPUtime=0 /proc/11267/task/11271/stat : 11271 (java) S 11266 11248 9075 0 -1 64 13 0 0 0 0 0 0 0 15 0 9 0 2003988794 672096256 17218 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/loadavg: 1.00 1.15 1.31 2/77 11279 /proc/meminfo: memFree=1812872/2055920 swapFree=4180584/4192956 [pid=11248] ppid=11246 vsize=5360 CPUtime=1.71 /proc/11248/stat : 11248 (hydra) S 11246 11248 9075 0 -1 4194304 375 4259 0 0 0 0 169 2 19 0 1 0 2003988089 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11248/statm: 1340 238 196 169 0 51 0 [pid=11256] ppid=11248 vsize=198444 CPUtime=257.97 /proc/11256/stat : 11256 (java) S 11248 11248 9075 0 -1 0 14296 18485 1 1 533 17 25222 25 20 0 10 0 2003988261 203206656 9538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11256/statm: 49611 9538 2545 9 0 44193 0 [pid=11278] ppid=11256 vsize=5356 CPUtime=0 /proc/11278/stat : 11278 (mistral) S 11256 11248 9075 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 2004014021 5484544 238 996147200 4194304 4889804 548682068576 18446744073709551615 231882679108 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/11278/statm: 1339 238 198 169 0 50 0 [pid=11279] ppid=11278 vsize=17140 CPUtime=54.13 /proc/11279/stat : 11279 (xsolve) R 11278 11248 9075 0 -1 4194304 3642 0 0 0 5412 1 0 0 25 0 1 0 2004014022 17551360 3573 996147200 134512640 135239763 4294955952 18446744073709551615 134842477 0 4 0 0 0 0 0 17 0 0 0 /proc/11279/statm: 4285 3573 412 177 0 3188 0 [pid=11256/tid=11257] ppid=11248 vsize=198444 CPUtime=256.71 /proc/11256/task/11257/stat : 11257 (java) S 11248 11248 9075 0 -1 64 3966 18485 1 1 417 7 25222 25 16 0 10 0 2003988262 203206656 9538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=11256/tid=11258] ppid=11248 vsize=198444 CPUtime=253.48 /proc/11256/task/11258/stat : 11258 (java) S 11248 11248 9075 0 -1 64 8679 18485 0 1 93 8 25222 25 16 0 10 0 2003988263 203206656 9538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=11256/tid=11259] ppid=11248 vsize=198444 CPUtime=252.47 /proc/11256/task/11259/stat : 11259 (java) S 11248 11248 9075 0 -1 64 11 18485 0 1 0 0 25222 25 16 0 10 0 2003988264 203206656 9538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11256/tid=11260] ppid=11248 vsize=198444 CPUtime=252.47 /proc/11256/task/11260/stat : 11260 (java) S 11248 11248 9075 0 -1 64 6 18485 0 1 0 0 25222 25 15 0 10 0 2003988264 203206656 9538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11256/tid=11261] ppid=11248 vsize=198444 CPUtime=252.47 /proc/11256/task/11261/stat : 11261 (java) S 11248 11248 9075 0 -1 64 1 18485 0 1 0 0 25222 25 25 0 10 0 2003988265 203206656 9538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11256/tid=11262] ppid=11248 vsize=198444 CPUtime=252.68 /proc/11256/task/11262/stat : 11262 (java) S 11248 11248 9075 0 -1 64 750 18485 0 1 21 0 25222 25 16 0 10 0 2003988265 203206656 9538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11256/tid=11263] ppid=11248 vsize=198444 CPUtime=252.47 /proc/11256/task/11263/stat : 11263 (java) S 11248 11248 9075 0 -1 64 1 18485 0 1 0 0 25222 25 25 0 10 0 2003988266 203206656 9538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11256/tid=11264] ppid=11248 vsize=198444 CPUtime=252.47 /proc/11256/task/11264/stat : 11264 (java) S 11248 11248 9075 0 -1 64 33 18485 0 1 0 0 25222 25 15 0 10 0 2003988266 203206656 9538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11256/tid=11277] ppid=11248 vsize=198444 CPUtime=252.47 /proc/11256/task/11277/stat : 11277 (java) S 11248 11248 9075 0 -1 64 42 18485 0 1 0 0 25222 25 16 0 10 0 2004014021 203206656 9538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 313.81 Current children cumulated vsize (KiB) 226300 [startup+316.702 s] /proc/loadavg: 1.00 1.15 1.31 2/77 11279 /proc/meminfo: memFree=1812872/2055920 swapFree=4180584/4192956 [pid=11248] ppid=11246 vsize=5360 CPUtime=1.71 /proc/11248/stat : 11248 (hydra) S 11246 11248 9075 0 -1 4194304 375 4259 0 0 0 0 169 2 19 0 1 0 2003988089 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11248/statm: 1340 238 196 169 0 51 0 [pid=11256] ppid=11248 vsize=198444 CPUtime=257.97 /proc/11256/stat : 11256 (java) S 11248 11248 9075 0 -1 0 14296 18485 1 1 533 17 25222 25 20 0 10 0 2003988261 203206656 9538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11256/statm: 49611 9538 2545 9 0 44193 0 [pid=11278] ppid=11256 vsize=5356 CPUtime=0 /proc/11278/stat : 11278 (mistral) S 11256 11248 9075 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 2004014021 5484544 238 996147200 4194304 4889804 548682068576 18446744073709551615 231882679108 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/11278/statm: 1339 238 198 169 0 50 0 [pid=11279] ppid=11278 vsize=17140 CPUtime=57.33 /proc/11279/stat : 11279 (xsolve) R 11278 11248 9075 0 -1 4194304 3642 0 0 0 5732 1 0 0 25 0 1 0 2004014022 17551360 3573 996147200 134512640 135239763 4294955952 18446744073709551615 134805047 0 4 0 0 0 0 0 17 0 0 0 /proc/11279/statm: 4285 3573 412 177 0 3188 0 [pid=11256/tid=11257] ppid=11248 vsize=198444 CPUtime=256.71 /proc/11256/task/11257/stat : 11257 (java) S 11248 11248 9075 0 -1 64 3966 18485 1 1 417 7 25222 25 16 0 10 0 2003988262 203206656 9538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=11256/tid=11258] ppid=11248 vsize=198444 CPUtime=253.48 /proc/11256/task/11258/stat : 11258 (java) S 11248 11248 9075 0 -1 64 8679 18485 0 1 93 8 25222 25 16 0 10 0 2003988263 203206656 9538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=11256/tid=11259] ppid=11248 vsize=198444 CPUtime=252.47 /proc/11256/task/11259/stat : 11259 (java) S 11248 11248 9075 0 -1 64 11 18485 0 1 0 0 25222 25 16 0 10 0 2003988264 203206656 9538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11256/tid=11260] ppid=11248 vsize=198444 CPUtime=252.47 /proc/11256/task/11260/stat : 11260 (java) S 11248 11248 9075 0 -1 64 6 18485 0 1 0 0 25222 25 15 0 10 0 2003988264 203206656 9538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11256/tid=11261] ppid=11248 vsize=198444 CPUtime=252.47 /proc/11256/task/11261/stat : 11261 (java) S 11248 11248 9075 0 -1 64 1 18485 0 1 0 0 25222 25 25 0 10 0 2003988265 203206656 9538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11256/tid=11262] ppid=11248 vsize=198444 CPUtime=252.68 /proc/11256/task/11262/stat : 11262 (java) S 11248 11248 9075 0 -1 64 750 18485 0 1 21 0 25222 25 16 0 10 0 2003988265 203206656 9538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11256/tid=11263] ppid=11248 vsize=198444 CPUtime=252.47 /proc/11256/task/11263/stat : 11263 (java) S 11248 11248 9075 0 -1 64 1 18485 0 1 0 0 25222 25 25 0 10 0 2003988266 203206656 9538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11256/tid=11264] ppid=11248 vsize=198444 CPUtime=252.47 /proc/11256/task/11264/stat : 11264 (java) S 11248 11248 9075 0 -1 64 33 18485 0 1 0 0 25222 25 15 0 10 0 2003988266 203206656 9538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11256/tid=11277] ppid=11248 vsize=198444 CPUtime=252.47 /proc/11256/task/11277/stat : 11277 (java) S 11248 11248 9075 0 -1 64 42 18485 0 1 0 0 25222 25 16 0 10 0 2004014021 203206656 9538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 317.01 Current children cumulated vsize (KiB) 226300 [startup+318.302 s] /proc/loadavg: 1.00 1.15 1.31 2/77 11279 /proc/meminfo: memFree=1812872/2055920 swapFree=4180584/4192956 [pid=11248] ppid=11246 vsize=5360 CPUtime=1.71 /proc/11248/stat : 11248 (hydra) S 11246 11248 9075 0 -1 4194304 375 4259 0 0 0 0 169 2 19 0 1 0 2003988089 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11248/statm: 1340 238 196 169 0 51 0 [pid=11256] ppid=11248 vsize=198444 CPUtime=257.97 /proc/11256/stat : 11256 (java) S 11248 11248 9075 0 -1 0 14296 18485 1 1 533 17 25222 25 20 0 10 0 2003988261 203206656 9538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11256/statm: 49611 9538 2545 9 0 44193 0 [pid=11278] ppid=11256 vsize=5356 CPUtime=0 /proc/11278/stat : 11278 (mistral) S 11256 11248 9075 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 2004014021 5484544 238 996147200 4194304 4889804 548682068576 18446744073709551615 231882679108 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/11278/statm: 1339 238 198 169 0 50 0 [pid=11279] ppid=11278 vsize=17140 CPUtime=58.93 /proc/11279/stat : 11279 (xsolve) R 11278 11248 9075 0 -1 4194304 3642 0 0 0 5892 1 0 0 25 0 1 0 2004014022 17551360 3573 996147200 134512640 135239763 4294955952 18446744073709551615 135096142 0 4 0 0 0 0 0 17 0 0 0 /proc/11279/statm: 4285 3573 412 177 0 3188 0 [pid=11256/tid=11257] ppid=11248 vsize=198444 CPUtime=256.71 /proc/11256/task/11257/stat : 11257 (java) S 11248 11248 9075 0 -1 64 3966 18485 1 1 417 7 25222 25 16 0 10 0 2003988262 203206656 9538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=11256/tid=11258] ppid=11248 vsize=198444 CPUtime=253.48 /proc/11256/task/11258/stat : 11258 (java) S 11248 11248 9075 0 -1 64 8679 18485 0 1 93 8 25222 25 16 0 10 0 2003988263 203206656 9538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=11256/tid=11259] ppid=11248 vsize=198444 CPUtime=252.47 /proc/11256/task/11259/stat : 11259 (java) S 11248 11248 9075 0 -1 64 11 18485 0 1 0 0 25222 25 16 0 10 0 2003988264 203206656 9538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11256/tid=11260] ppid=11248 vsize=198444 CPUtime=252.47 /proc/11256/task/11260/stat : 11260 (java) S 11248 11248 9075 0 -1 64 6 18485 0 1 0 0 25222 25 15 0 10 0 2003988264 203206656 9538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11256/tid=11261] ppid=11248 vsize=198444 CPUtime=252.47 /proc/11256/task/11261/stat : 11261 (java) S 11248 11248 9075 0 -1 64 1 18485 0 1 0 0 25222 25 25 0 10 0 2003988265 203206656 9538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11256/tid=11262] ppid=11248 vsize=198444 CPUtime=252.68 /proc/11256/task/11262/stat : 11262 (java) S 11248 11248 9075 0 -1 64 750 18485 0 1 21 0 25222 25 16 0 10 0 2003988265 203206656 9538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11256/tid=11263] ppid=11248 vsize=198444 CPUtime=252.47 /proc/11256/task/11263/stat : 11263 (java) S 11248 11248 9075 0 -1 64 1 18485 0 1 0 0 25222 25 25 0 10 0 2003988266 203206656 9538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11256/tid=11264] ppid=11248 vsize=198444 CPUtime=252.47 /proc/11256/task/11264/stat : 11264 (java) S 11248 11248 9075 0 -1 64 33 18485 0 1 0 0 25222 25 15 0 10 0 2003988266 203206656 9538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11256/tid=11277] ppid=11248 vsize=198444 CPUtime=252.47 /proc/11256/task/11277/stat : 11277 (java) S 11248 11248 9075 0 -1 64 42 18485 0 1 0 0 25222 25 16 0 10 0 2004014021 203206656 9538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 318.61 Current children cumulated vsize (KiB) 226300 [startup+319.103 s] /proc/loadavg: 1.00 1.15 1.31 2/77 11279 /proc/meminfo: memFree=1812872/2055920 swapFree=4180584/4192956 [pid=11248] ppid=11246 vsize=5360 CPUtime=1.71 /proc/11248/stat : 11248 (hydra) S 11246 11248 9075 0 -1 4194304 375 4259 0 0 0 0 169 2 19 0 1 0 2003988089 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11248/statm: 1340 238 196 169 0 51 0 [pid=11256] ppid=11248 vsize=198444 CPUtime=257.97 /proc/11256/stat : 11256 (java) S 11248 11248 9075 0 -1 0 14296 18485 1 1 533 17 25222 25 20 0 10 0 2003988261 203206656 9538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11256/statm: 49611 9538 2545 9 0 44193 0 [pid=11278] ppid=11256 vsize=5356 CPUtime=0 /proc/11278/stat : 11278 (mistral) S 11256 11248 9075 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 2004014021 5484544 238 996147200 4194304 4889804 548682068576 18446744073709551615 231882679108 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/11278/statm: 1339 238 198 169 0 50 0 [pid=11279] ppid=11278 vsize=17140 CPUtime=59.72 /proc/11279/stat : 11279 (xsolve) R 11278 11248 9075 0 -1 4194304 3642 0 0 0 5971 1 0 0 25 0 1 0 2004014022 17551360 3573 996147200 134512640 135239763 4294955952 18446744073709551615 134842477 0 4 0 0 0 0 0 17 0 0 0 /proc/11279/statm: 4285 3573 412 177 0 3188 0 [pid=11256/tid=11257] ppid=11248 vsize=198444 CPUtime=256.71 /proc/11256/task/11257/stat : 11257 (java) S 11248 11248 9075 0 -1 64 3966 18485 1 1 417 7 25222 25 16 0 10 0 2003988262 203206656 9538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=11256/tid=11258] ppid=11248 vsize=198444 CPUtime=253.48 /proc/11256/task/11258/stat : 11258 (java) S 11248 11248 9075 0 -1 64 8679 18485 0 1 93 8 25222 25 16 0 10 0 2003988263 203206656 9538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=11256/tid=11259] ppid=11248 vsize=198444 CPUtime=252.47 /proc/11256/task/11259/stat : 11259 (java) S 11248 11248 9075 0 -1 64 11 18485 0 1 0 0 25222 25 16 0 10 0 2003988264 203206656 9538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11256/tid=11260] ppid=11248 vsize=198444 CPUtime=252.47 /proc/11256/task/11260/stat : 11260 (java) S 11248 11248 9075 0 -1 64 6 18485 0 1 0 0 25222 25 15 0 10 0 2003988264 203206656 9538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11256/tid=11261] ppid=11248 vsize=198444 CPUtime=252.47 /proc/11256/task/11261/stat : 11261 (java) S 11248 11248 9075 0 -1 64 1 18485 0 1 0 0 25222 25 25 0 10 0 2003988265 203206656 9538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11256/tid=11262] ppid=11248 vsize=198444 CPUtime=252.68 /proc/11256/task/11262/stat : 11262 (java) S 11248 11248 9075 0 -1 64 750 18485 0 1 21 0 25222 25 16 0 10 0 2003988265 203206656 9538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11256/tid=11263] ppid=11248 vsize=198444 CPUtime=252.47 /proc/11256/task/11263/stat : 11263 (java) S 11248 11248 9075 0 -1 64 1 18485 0 1 0 0 25222 25 25 0 10 0 2003988266 203206656 9538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11256/tid=11264] ppid=11248 vsize=198444 CPUtime=252.47 /proc/11256/task/11264/stat : 11264 (java) S 11248 11248 9075 0 -1 64 33 18485 0 1 0 0 25222 25 15 0 10 0 2003988266 203206656 9538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11256/tid=11277] ppid=11248 vsize=198444 CPUtime=252.47 /proc/11256/task/11277/stat : 11277 (java) S 11248 11248 9075 0 -1 64 42 18485 0 1 0 0 25222 25 16 0 10 0 2004014021 203206656 9538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 319.4 Current children cumulated vsize (KiB) 226300 [startup+319.503 s] /proc/loadavg: 1.00 1.15 1.31 2/77 11279 /proc/meminfo: memFree=1812872/2055920 swapFree=4180584/4192956 [pid=11248] ppid=11246 vsize=5360 CPUtime=1.71 /proc/11248/stat : 11248 (hydra) S 11246 11248 9075 0 -1 4194304 375 4259 0 0 0 0 169 2 19 0 1 0 2003988089 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11248/statm: 1340 238 196 169 0 51 0 [pid=11256] ppid=11248 vsize=198444 CPUtime=318.11 /proc/11256/stat : 11256 (java) S 11248 11248 9075 0 -1 0 14387 22448 1 1 533 17 31233 28 20 0 9 0 2003988261 203206656 9540 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11256/statm: 49611 9540 2545 9 0 44193 0 [pid=11256/tid=11257] ppid=11248 vsize=198444 CPUtime=316.85 /proc/11256/task/11257/stat : 11257 (java) S 11248 11248 9075 0 -1 64 4024 22448 1 1 417 7 31233 28 16 0 9 0 2003988262 203206656 9540 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11256/tid=11258] ppid=11248 vsize=198444 CPUtime=313.62 /proc/11256/task/11258/stat : 11258 (java) S 11248 11248 9075 0 -1 64 8707 22448 0 1 93 8 31233 28 16 0 9 0 2003988263 203206656 9540 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=11256/tid=11259] ppid=11248 vsize=198444 CPUtime=312.61 /proc/11256/task/11259/stat : 11259 (java) S 11248 11248 9075 0 -1 64 11 22448 0 1 0 0 31233 28 16 0 9 0 2003988264 203206656 9540 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11256/tid=11260] ppid=11248 vsize=198444 CPUtime=312.61 /proc/11256/task/11260/stat : 11260 (java) S 11248 11248 9075 0 -1 64 6 22448 0 1 0 0 31233 28 15 0 9 0 2003988264 203206656 9540 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11256/tid=11261] ppid=11248 vsize=198444 CPUtime=312.61 /proc/11256/task/11261/stat : 11261 (java) S 11248 11248 9075 0 -1 64 1 22448 0 1 0 0 31233 28 25 0 9 0 2003988265 203206656 9540 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11256/tid=11262] ppid=11248 vsize=198444 CPUtime=312.82 /proc/11256/task/11262/stat : 11262 (java) S 11248 11248 9075 0 -1 64 750 22448 0 1 21 0 31233 28 16 0 9 0 2003988265 203206656 9540 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11256/tid=11263] ppid=11248 vsize=198444 CPUtime=312.61 /proc/11256/task/11263/stat : 11263 (java) S 11248 11248 9075 0 -1 64 1 22448 0 1 0 0 31233 28 25 0 9 0 2003988266 203206656 9540 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11256/tid=11264] ppid=11248 vsize=198444 CPUtime=312.61 /proc/11256/task/11264/stat : 11264 (java) S 11248 11248 9075 0 -1 64 33 22448 0 1 0 0 31233 28 15 0 9 0 2003988266 203206656 9540 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 319.82 Current children cumulated vsize (KiB) 203804 Child status: 0 Real time (s): 319.522 CPU time (s): 319.841 CPU user time (s): 319.354 CPU system time (s): 0.486925 CPU usage (%): 100.1 Max. virtual memory (cumulated for all children) (KiB): 872228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 319.354 system time used= 0.486925 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41510 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= 15624 involuntary context switches= 3098 runsolver used 0.760884 second user time and 2.98754 second system time The end
Begin job on node75 at 2008-07-05 11:33:03 IDJOB=1093536 IDBENCH=58709 IDSOLVER=366 FILE ID=node75/1093536-1215250383 PBS_JOBID= 7881855 Free space on /tmp= 66560 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/socialGolfers/normalized-socialGolfer-6-3-5.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1093536-1215250383/watcher-1093536-1215250383 -o /tmp/evaluation-result-1093536-1215250383/solver-1093536-1215250383 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1093536-1215250383.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= be5703472a17e97989b970da7fed1b87 RANDOM SEED=1647551479 node75.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.229 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.229 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1855384 kB Buffers: 11560 kB Cached: 128260 kB SwapCached: 6652 kB Active: 102788 kB Inactive: 45876 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1855384 kB SwapTotal: 4192956 kB SwapFree: 4180584 kB Dirty: 24936 kB Writeback: 0 kB Mapped: 14268 kB Slab: 37652 kB Committed_AS: 4178852 kB PageTables: 1456 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= 66536 MiB End job on node75 at 2008-07-05 11:38:23