Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | SAT | 27.3628 | 27.8757 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 265 |
CHECKS | 5302800 |
Name | csp/pseudo/mpsReduced/ normalized-mps-red-flugpl.xml |
MD5SUM | a3667df7e591448b4043207f6356c865 |
Bench Category | N-ARY-INT (n-ary constraints in intension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.52577 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 265 |
Number of constraints | 35 |
Maximum constraint arity | 65 |
Maximum domain size | 2 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 35 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 6.54/6.69 c CASE TO CLASSIFY: 6.54/6.69 c Case: 0 6.54/6.69 c 19 > 0.000000 | c 35 > 67.142900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 36.000000 | c 15 > 21.508100 | c 34 > 130.571000 | c 16 > 65.000000 | c 13 > 7.077320 | c 14 > 13.117500 | c 11 > 9.379380 | c 12 > 4.393450 | c 21 > 1.320380 | 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.951280 | c 1 > 7.622050 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.951280 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.247200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.63/6.70 c choco : 1801.0 6.63/6.70 c mistral : 1801.0 6.63/6.70 c abscon : 1801.0 6.63/6.70 c 6.63/6.70 c 6.63/6.77 c List of same ones: 40 6.63/6.77 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-flugpl.xml 6.63/6.77 c 19 > 0.000000 | c 35 > 67.142900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 36.000000 | c 15 > 20.735000 | c 34 > 130.571000 | c 16 > 65.000000 | c 13 > 5.926460 | c 14 > 12.123200 | c 11 > 9.379380 | c 12 > 3.744580 | c 21 > 1.320380 | 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.951280 | c 1 > 7.622050 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.951280 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.247200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.63/6.78 c choco : 3.16 6.63/6.78 c mistral : 3.08 6.63/6.78 c abscon : 4.10837 6.63/6.78 c 6.63/6.78 c 6.63/6.78 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-p0201.xml 6.63/6.78 c 19 > 4.511280 | c 35 > 67.218000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 41.503800 | c 15 > 15.978800 | c 34 > 108.045000 | c 16 > 67.000000 | c 13 > 1.210120 | c 14 > 6.022370 | c 11 > 11.244400 | c 12 > 0.715638 | c 21 > 1.403620 | c 20 > 95.488700 | 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.637100 | c 1 > 7.607330 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.634400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.905800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.63/6.79 c choco : 2.01 6.63/6.79 c mistral : 0.19 6.63/6.79 c abscon : 1.05784 6.63/6.79 c 6.63/6.79 c 6.63/6.79 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/p0201.xml 6.63/6.79 c 19 > 4.511280 | c 35 > 65.413500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 41.503800 | c 15 > 15.970600 | c 34 > 104.436000 | c 16 > 65.000000 | c 13 > 1.208230 | c 14 > 5.832890 | c 11 > 11.244400 | c 12 > 0.715638 | c 21 > 1.414210 | c 20 > 95.488700 | 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.637100 | c 1 > 7.607330 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.634400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.905800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.63/6.80 c choco : 2.02 6.63/6.80 c mistral : 0.18 6.63/6.80 c abscon : 1.04484 6.63/6.80 c 6.63/6.80 c 6.63/6.80 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-nazareth.xml 6.63/6.80 c 19 > 0.000000 | c 35 > 56.666700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 20.000000 | c 15 > 12.682800 | c 34 > 113.333000 | c 16 > 61.000000 | c 13 > -0.697651 | c 14 > 6.285400 | c 11 > 7.459430 | c 12 > 0.347923 | 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.607330 | c 1 > 6.285400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.607330 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.321300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.72/6.81 c choco : 1.18 6.72/6.81 c mistral : 0.02 6.72/6.81 c abscon : 0.702892 6.72/6.81 c 6.72/6.81 c 6.72/6.81 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-mzzv42z.xml 6.72/6.81 c 19 > 7.116990 | c 35 > 66.027400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 44.288000 | c 15 > 19.554500 | c 34 > 117.346000 | c 16 > 80.000000 | c 13 > 4.029350 | c 14 > 7.434630 | c 11 > 13.620700 | c 12 > 3.829030 | c 21 > 1.414210 | c 20 > 92.883000 | 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.272500 | c 1 > 13.620700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 18.262100 | c 6 > 10.224000 | c 32 > -1.000000 | c 5 > 22.314300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.72/6.82 c choco : 63.36 6.72/6.82 c mistral : 16.05 6.72/6.82 c abscon : 350.484 6.72/6.82 c 6.72/6.82 c 6.72/6.82 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-mzzv11.xml 6.72/6.82 c 19 > 3.888380 | c 35 > 80.594700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 48.323400 | c 15 > 19.455300 | c 34 > 146.118000 | c 16 > 68.000000 | c 13 > 3.973000 | c 14 > 7.748190 | c 11 > 13.457300 | c 12 > 3.829950 | c 21 > 1.414210 | c 20 > 96.111600 | 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.120700 | c 1 > 13.457300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 18.114100 | c 6 > 9.609180 | c 32 > -1.000000 | c 5 > 22.291800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.72/6.83 c choco : 53.92 6.72/6.83 c mistral : 14.2 6.72/6.83 c abscon : 307.272 6.72/6.83 c 6.72/6.83 c 6.72/6.83 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-misc02.xml 6.72/6.83 c 19 > 3.773580 | c 35 > 89.434000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 46.415100 | c 15 > 14.210600 | c 34 > 142.264000 | c 16 > 79.000000 | c 13 > 1.217250 | c 14 > 5.169930 | c 11 > 9.784630 | c 12 > 0.653117 | c 21 > 1.414210 | c 20 > 96.226400 | 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.952740 | c 1 > 6.475730 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.949830 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 24.749000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.72/6.83 c choco : 1.68 6.72/6.83 c mistral : 0.07 6.72/6.83 c abscon : 21.5577 6.72/6.83 c 6.72/6.83 c 6.72/6.83 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-enigma.xml 6.72/6.83 c 19 > 0.000000 | c 35 > 94.761900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.571400 | c 15 > 20.129800 | c 34 > 142.143000 | c 16 > 90.000000 | c 13 > 6.570010 | c 14 > 9.894820 | c 11 > 9.515700 | c 12 > 5.423830 | 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.823370 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.823370 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 25.520800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.72/6.84 c choco : 1.86 6.72/6.84 c mistral : 0.86 6.72/6.84 c abscon : 1800.07 6.72/6.84 c 6.72/6.84 c 6.72/6.84 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-enigma.xml 6.72/6.84 c 19 > 0.000000 | c 35 > 94.761900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.571400 | c 15 > 20.829000 | c 34 > 142.143000 | c 16 > 90.000000 | c 13 > 6.767430 | c 14 > 10.433600 | c 11 > 9.396600 | c 12 > 5.943450 | 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.836050 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.836050 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 29.701500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.72/6.85 c choco : 2.76 6.72/6.85 c mistral : 18.74 6.72/6.85 c abscon : 1800.07 6.72/6.85 c 6.72/6.85 c 6.72/6.85 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-bm23.xml 6.72/6.85 c 19 > 0.000000 | c 35 > 65.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 18.000000 | c 15 > 16.325800 | c 34 > 126.000000 | c 16 > 26.000000 | c 13 > 1.848410 | c 14 > 5.727920 | c 11 > 9.513730 | c 12 > 0.893540 | 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.821770 | c 1 > 4.754890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.821770 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.909200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.72/6.86 c choco : 1.42 6.72/6.86 c mistral : 0.071988 6.72/6.86 c abscon : 4.93025 6.72/6.86 c 6.72/6.86 c 6.72/6.86 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/rot-b.xml 6.72/6.86 c 19 > 7.039340 | c 35 > 87.481000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.082800 | c 15 > 19.778000 | c 34 > 95.138000 | c 16 > 81.000000 | c 13 > 4.883410 | c 14 > 9.923330 | c 11 > 10.479800 | c 12 > 4.801460 | c 21 > 1.408600 | c 20 > 92.960700 | 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.295000 | c 1 > 10.479800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.287900 | c 6 > 0.000000 | c 32 > -1.000000 | c 5 > 18.944400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.91/7.04 c choco : 9.03 6.91/7.04 c mistral : 2.49 6.91/7.04 c abscon : 6.06508 6.91/7.04 c 6.91/7.04 c 6.91/7.04 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/9sym-b.xml 6.91/7.04 c 19 > 0.000000 | c 35 > 80.373800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 19.813100 | c 15 > 19.394400 | c 34 > 86.978200 | c 16 > 87.000000 | c 13 > 5.633970 | c 14 > 7.139550 | c 11 > 8.271460 | c 12 > 6.182960 | 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.463800 | c 1 > 8.271460 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.463800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.764700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.91/7.06 c choco : 5.13 6.91/7.06 c mistral : 1.67 6.91/7.06 c abscon : 2.76658 6.91/7.06 c 6.91/7.06 c 6.91/7.06 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/alu4-b.xml 6.91/7.06 c 19 > 5.990020 | c 35 > 94.642300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 22.412600 | c 15 > 19.780300 | c 34 > 101.514000 | c 16 > 98.000000 | c 13 > 5.384320 | c 14 > 8.791160 | c 11 > 9.627530 | c 12 > 5.492460 | c 21 > 1.407190 | c 20 > 94.010000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.135300 | c 1 > 9.627530 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.131300 | c 6 > 1.584960 | c 32 > -1.000000 | c 5 > 19.161100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.91/7.06 c choco : 7.44 6.91/7.06 c mistral : 2.31 6.91/7.06 c abscon : 6.18006 6.91/7.06 c 6.91/7.06 c 6.91/7.06 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/e64-b.xml 6.91/7.06 c 19 > 0.000000 | c 35 > 79.305300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.332700 | c 15 > 16.325200 | c 34 > 87.749500 | c 16 > 32.000000 | c 13 > 2.222290 | c 14 > 8.839200 | c 11 > 13.078200 | c 12 > 0.816762 | 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.973200 | c 1 > 9.245550 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.973200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.598000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.91/7.07 c choco : 3.46 6.91/7.07 c mistral : 0.301953 6.91/7.07 c abscon : 2.43263 6.91/7.07 c 6.91/7.07 c 6.91/7.07 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-15-15.xml 6.91/7.07 c 19 > 0.000000 | c 35 > 91.963000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 31.666700 | c 15 > 19.308400 | c 34 > 112.815000 | c 16 > 15.000000 | c 13 > 7.288500 | c 14 > 11.102000 | c 11 > 11.604600 | c 12 > 5.019110 | 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.438800 | c 1 > 8.400880 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.438800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.006800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.91/7.08 c choco : 1801.0 6.91/7.08 c mistral : 2.03 6.91/7.08 c abscon : 1.09183 6.91/7.08 c 6.91/7.08 c 6.91/7.08 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-14-14.xml 6.91/7.08 c 19 > 0.000000 | c 35 > 86.470600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 31.764700 | c 15 > 19.399800 | c 34 > 107.059000 | c 16 > 14.000000 | c 13 > 6.837210 | c 14 > 11.345400 | c 11 > 11.346500 | c 12 > 4.792060 | 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.173700 | c 1 > 8.199670 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.173700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.673100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.91/7.09 c choco : 1801.0 6.91/7.09 c mistral : 1.47 6.91/7.09 c abscon : 1.06484 6.91/7.09 c 6.91/7.09 c 6.91/7.09 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-14-13.xml 6.91/7.09 c 19 > 0.000000 | c 35 > 81.982000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 31.891900 | c 15 > 19.459200 | c 34 > 102.477000 | c 16 > 14.000000 | c 13 > 7.837230 | c 14 > 11.458900 | c 11 > 11.183600 | c 12 > 5.828740 | 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.003500 | c 1 > 8.092760 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.003500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.453500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.91/7.09 c choco : 1801.0 6.91/7.09 c mistral : 1800.04 6.91/7.09 c abscon : 1.01884 6.91/7.09 c 6.91/7.09 c 6.91/7.09 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-13-13.xml 6.91/7.09 c 19 > 0.000000 | c 35 > 81.586500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 31.875000 | c 15 > 19.495300 | c 34 > 101.923000 | c 16 > 13.000000 | c 13 > 6.722870 | c 14 > 11.442400 | c 11 > 11.080800 | c 12 > 4.829150 | 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 > 10.900900 | c 1 > 7.988680 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.900900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.340500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.91/7.10 c choco : 1801.0 6.91/7.10 c mistral : 1.0 6.91/7.10 c abscon : 0.926858 6.91/7.10 c 6.91/7.10 c 6.91/7.10 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-testprob.xml 6.91/7.10 c 19 > 0.000000 | c 35 > 41.666700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 20.000000 | c 15 > 12.379400 | c 34 > 83.333300 | c 16 > 44.000000 | c 13 > 0.086506 | c 14 > 5.247930 | c 11 > 7.392320 | c 12 > 0.787592 | 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.233620 | c 1 > 5.807350 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.233620 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 24.870000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.99/7.10 c choco : 1.31 6.99/7.10 c mistral : 0.03 6.99/7.10 c abscon : 25.8971 6.99/7.10 c 6.99/7.10 c 6.99/7.10 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-14-12.xml 6.99/7.10 c 19 > 0.000000 | c 35 > 77.475700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 32.038800 | c 15 > 19.598400 | c 34 > 97.864100 | c 16 > 14.000000 | c 13 > 7.677140 | c 14 > 11.494400 | c 11 > 11.009800 | c 12 > 5.898800 | 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 > 10.821800 | c 1 > 7.977280 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.821800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.215800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.99/7.11 c choco : 1801.0 6.99/7.11 c mistral : 1800.0 6.99/7.11 c abscon : 1628.67 6.99/7.11 c 6.99/7.11 c 6.99/7.11 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/sao2-b.xml 6.99/7.11 c 19 > 15.817000 | c 35 > 77.542500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.196100 | c 15 > 18.013800 | c 34 > 84.692800 | c 16 > 98.000000 | c 13 > 4.520700 | c 14 > 7.348730 | c 11 > 8.519640 | c 12 > 5.072470 | c 21 > 1.409450 | c 20 > 84.183000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.624600 | c 1 > 8.519640 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.610800 | c 6 > 0.000000 | c 32 > -1.000000 | c 5 > 17.580900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.99/7.12 c choco : 3.87 6.99/7.12 c mistral : 0.71 6.99/7.12 c abscon : 2.33864 6.99/7.12 c 6.99/7.12 c 6.99/7.12 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-13-12.xml 6.99/7.12 c 19 > 0.000000 | c 35 > 76.787600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 32.020700 | c 15 > 19.615500 | c 34 > 96.994800 | c 16 > 13.000000 | c 13 > 7.252100 | c 14 > 11.556000 | c 11 > 10.901600 | c 12 > 5.569820 | 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 > 10.713400 | c 1 > 7.870360 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.713400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.092600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.99/7.12 c choco : 1801.0 6.99/7.12 c mistral : 1800.03 6.99/7.12 c abscon : 128.541 6.99/7.12 c 6.99/7.12 c 6.99/7.12 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/bench1-pi.xml 6.99/7.12 c 19 > 0.000000 | c 35 > 84.949700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.348100 | c 34 > 84.949700 | c 16 > 80.000000 | c 13 > -0.514601 | c 14 > 9.264440 | c 11 > 13.754900 | c 12 > 0.990262 | 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.161900 | c 1 > 12.191100 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.161900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.342100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.99/7.13 c choco : 10.13 6.99/7.13 c mistral : 1.24681 6.99/7.13 c abscon : 5.08023 6.99/7.13 c 6.99/7.13 c 6.99/7.13 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-12-12.xml 6.99/7.13 c 19 > 0.000000 | c 35 > 76.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 32.000000 | c 15 > 19.693300 | c 34 > 96.000000 | c 16 > 12.000000 | c 13 > 6.896820 | c 14 > 11.592900 | c 11 > 10.784600 | c 12 > 5.352680 | 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 > 10.596200 | c 1 > 7.754890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.596200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.960000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.99/7.14 c choco : 1801.0 6.99/7.14 c mistral : 0.67 6.99/7.14 c abscon : 0.920859 6.99/7.14 c 6.99/7.14 c 6.99/7.14 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-46.xml 6.99/7.14 c 19 > 0.000000 | c 35 > 47.656200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.909700 | c 34 > 142.969000 | c 16 > 22.000000 | c 13 > 0.197684 | c 14 > 7.276120 | c 11 > 10.627500 | c 12 > 0.417543 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.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 > 7.491850 | c 10 > 10.517700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.315150 | c 6 > 9.579320 | c 32 > -1.000000 | c 5 > 12.890300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.99/7.14 c choco : 13.96 6.99/7.14 c mistral : 0.17 6.99/7.14 c abscon : 11.05 6.99/7.14 c 6.99/7.14 c 6.99/7.14 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-20-19.xml 6.99/7.14 c 19 > 0.000000 | c 35 > 112.785000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 31.369900 | c 15 > 19.187000 | c 34 > 134.475000 | c 16 > 20.000000 | c 13 > 5.501180 | c 14 > 10.448100 | c 11 > 12.556000 | c 12 > 3.023020 | 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.412600 | c 1 > 9.154820 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.412600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.213700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.99/7.15 c choco : 1801.0 6.99/7.15 c mistral : 1800.01 6.99/7.15 c abscon : 2.09268 6.99/7.15 c 6.99/7.15 c 6.99/7.15 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-20.xml 6.99/7.15 c 19 > 0.000000 | c 35 > 45.312500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.035500 | c 34 > 135.938000 | c 16 > 21.000000 | c 13 > 0.180063 | c 14 > 7.098030 | c 11 > 10.605500 | c 12 > 0.431381 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.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 > 7.491850 | c 10 > 10.493900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.287710 | c 6 > 9.556510 | c 32 > -1.000000 | c 5 > 12.836800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.99/7.15 c choco : 13.0 6.99/7.15 c mistral : 0.13 6.99/7.15 c abscon : 8.06 6.99/7.15 c 6.99/7.15 c 6.99/7.15 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-13-11.xml 6.99/7.15 c 19 > 0.000000 | c 35 > 72.640400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 32.191000 | c 15 > 19.848800 | c 34 > 92.752800 | c 16 > 13.000000 | c 13 > 8.574980 | c 14 > 11.794000 | c 11 > 10.721100 | c 12 > 6.814870 | 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 > 10.524500 | c 1 > 7.748190 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.524500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.855600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.99/7.16 c choco : 1801.0 6.99/7.16 c mistral : 1800.08 6.99/7.16 c abscon : 124.961 6.99/7.16 c 6.99/7.16 c 6.99/7.16 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-49.xml 6.99/7.16 c 19 > 0.000000 | c 35 > 45.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.935500 | c 34 > 135.000000 | c 16 > 20.000000 | c 13 > 0.277519 | c 14 > 7.209450 | c 11 > 10.527500 | c 12 > 0.439749 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.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 > 7.491850 | c 10 > 10.409400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.189820 | c 6 > 9.475730 | c 32 > -1.000000 | c 5 > 12.718500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.99/7.16 c choco : 13.82 6.99/7.16 c mistral : 0.15 6.99/7.16 c abscon : 5.78 6.99/7.16 c 6.99/7.16 c 6.99/7.16 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-33.xml 6.99/7.16 c 19 > 0.000000 | c 35 > 46.406200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.693100 | c 34 > 139.219000 | c 16 > 20.000000 | c 13 > 0.195192 | c 14 > 7.076820 | c 11 > 10.583100 | c 12 > 0.406312 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.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 > 7.491850 | c 10 > 10.469600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.259740 | c 6 > 9.533330 | c 32 > -1.000000 | c 5 > 12.813200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.99/7.17 c choco : 12.8 6.99/7.17 c mistral : 0.2 6.99/7.17 c abscon : 7.25 6.99/7.17 c 6.99/7.17 c 6.99/7.17 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-7.xml 6.99/7.17 c 19 > 0.000000 | c 35 > 44.062500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.846500 | c 34 > 132.188000 | c 16 > 20.000000 | c 13 > 0.188228 | c 14 > 7.189820 | c 11 > 10.586800 | c 12 > 0.416678 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.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 > 7.491850 | c 10 > 10.473700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.264440 | c 6 > 9.537220 | c 32 > -1.000000 | c 5 > 12.824800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.99/7.17 c choco : 14.15 6.99/7.17 c mistral : 0.14 6.99/7.17 c abscon : 5.96 6.99/7.17 c 6.99/7.17 c 6.99/7.17 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-38.xml 6.99/7.17 c 19 > 0.000000 | c 35 > 42.031200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.705000 | c 34 > 126.094000 | c 16 > 21.000000 | c 13 > 0.170554 | c 14 > 7.044390 | c 11 > 10.592500 | c 12 > 0.408247 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.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 > 7.491850 | c 10 > 10.479800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.271460 | c 6 > 9.543030 | c 32 > -1.000000 | c 5 > 12.821800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.99/7.18 c choco : 9.49 6.99/7.18 c mistral : 0.13 6.99/7.18 c abscon : 6.03 6.99/7.18 c 6.99/7.18 c 6.99/7.18 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/clip-b.xml 6.99/7.18 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 6.99/7.18 c choco : 4.16 6.99/7.18 c mistral : 1.2 6.99/7.18 c abscon : 2.05169 6.99/7.18 c 6.99/7.18 c 6.99/7.18 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-31.xml 6.99/7.18 c 19 > 0.000000 | c 35 > 45.312500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.094700 | c 34 > 135.938000 | c 16 > 19.000000 | c 13 > 0.203019 | c 14 > 7.238400 | c 11 > 10.558400 | c 12 > 0.421719 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.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 > 7.491850 | c 10 > 10.442900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.228820 | c 6 > 9.507790 | c 32 > -1.000000 | c 5 > 12.772100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.99/7.19 c choco : 15.97 6.99/7.19 c mistral : 0.12 6.99/7.19 c abscon : 6.04 6.99/7.19 c 6.99/7.19 c 6.99/7.19 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-8.xml 6.99/7.19 c 19 > 0.000000 | c 35 > 45.937500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.784800 | c 34 > 137.812000 | c 16 > 19.000000 | c 13 > 0.131853 | c 14 > 7.228820 | c 11 > 10.523600 | c 12 > 0.415283 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.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 > 7.491850 | c 10 > 10.404100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.187350 | c 6 > 9.469640 | c 32 > -1.000000 | c 5 > 12.707100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.99/7.20 c choco : 5.22 6.99/7.20 c mistral : 0.13 6.99/7.20 c abscon : 5.53 6.99/7.20 c 6.99/7.20 c 6.99/7.20 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-29.xml 6.99/7.20 c 19 > 0.000000 | c 35 > 42.812500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.879400 | c 34 > 128.438000 | c 16 > 20.000000 | c 13 > 0.173619 | c 14 > 7.199670 | c 11 > 10.525500 | c 12 > 0.414058 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.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 > 7.491850 | c 10 > 10.407300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.187350 | c 6 > 9.473710 | c 32 > -1.000000 | c 5 > 12.722200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.04/7.20 c choco : 11.24 7.04/7.20 c mistral : 0.14 7.04/7.20 c abscon : 7.72 7.04/7.20 c 7.04/7.20 c 7.04/7.20 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-2.xml 7.04/7.20 c 19 > 0.000000 | c 35 > 46.406200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.705600 | c 34 > 139.219000 | c 16 > 19.000000 | c 13 > 0.177365 | c 14 > 7.189820 | c 11 > 10.529400 | c 12 > 0.401307 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.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 > 7.491850 | c 10 > 10.411500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.192290 | c 6 > 9.477760 | c 32 > -1.000000 | c 5 > 12.705800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.04/7.21 c choco : 12.79 7.04/7.21 c mistral : 0.13 7.04/7.21 c abscon : 7.55 7.04/7.21 c 7.04/7.21 c 7.04/7.21 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-28.xml 7.04/7.21 c 19 > 0.000000 | c 35 > 45.781200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.665600 | c 34 > 137.344000 | c 16 > 19.000000 | c 13 > 0.142920 | c 14 > 6.954200 | c 11 > 10.527500 | c 12 > 0.401041 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.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 > 7.491850 | c 10 > 10.409400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.189820 | c 6 > 9.475730 | c 32 > -1.000000 | c 5 > 12.708400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.04/7.21 c choco : 17.11 7.04/7.21 c mistral : 0.12 7.04/7.21 c abscon : 7.38 7.04/7.21 c 7.04/7.21 c 7.04/7.21 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-18.xml 7.04/7.21 c 19 > 1.562500 | c 35 > 43.906200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.535200 | c 34 > 131.719000 | c 16 > 19.000000 | c 13 > 1.228050 | c 14 > 7.451210 | c 11 > 10.487800 | c 12 > 0.612165 | c 21 > 2.000000 | c 20 > 98.437500 | c 22 > 2.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 > 7.475730 | c 10 > 10.366300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.142110 | c 6 > 9.432540 | c 32 > -1.000000 | c 5 > 12.658000 | c 31 > -1.000000 | c 4 > 1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.04/7.22 c choco : 8.95 7.04/7.22 c mistral : 0.17 7.04/7.22 c abscon : 5.21 7.04/7.22 c 7.04/7.22 c 7.04/7.22 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-4.xml 7.04/7.22 c 19 > 0.000000 | c 35 > 41.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.887200 | c 34 > 123.750000 | c 16 > 21.000000 | c 13 > 0.244530 | c 14 > 7.179910 | c 11 > 10.583100 | c 12 > 0.433029 | c 21 > 2.000000 | c 20 > 100.000000 | c 22 > 2.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 > 7.491850 | c 10 > 10.469600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.259740 | c 6 > 9.533330 | c 32 > -1.000000 | c 5 > 12.817200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.04/7.23 c choco : 9.5 7.04/7.23 c mistral : 0.13 7.04/7.23 c abscon : 8.56 7.04/7.23 c 7.04/7.23 c 7.04/7.23 c Length: 40 7.04/7.23 c 1.8253293172740086 26.87462840070247 29.994797260199032 30.01751360468535 30.733345268110657 31.026553258328583 34.10393576048063 40.384203451306306 41.19893653313517 44.90818864316173 47.21348087286935 53.93987746843054 55.10143261964702 57.56590075100315 59.13443636845624 59.92816474392237 60.63168768482699 61.62178686084574 61.88166933019704 61.990266148355104 63.112068882909384 63.15915812499008 63.987120025422186 64.40135626901501 64.43217436508831 64.82738810699918 64.8898121987035 65.07605602943144 65.59662068754992 65.61290379038736 65.81408375041886 66.04933149921855 66.0719537273668 66.23821724902446 66.26220151609193 66.27311320092987 66.29409242758267 66.30428385240339 66.38994513124277 66.50310683512643 7.04/7.23 c 7.04/7.23 c 1.0 0.7208278701117197 0.6966041609190766 0.6964337689022992 0.6911067921809266 0.6889482899555911 0.6670811644938119 0.6265001477958303 0.6215945869761812 0.6001985457049531 0.5876275979526098 0.5537844815347726 0.5483310686184917 0.5371089877993461 0.5302027160243613 0.5267751639836497 0.523773981605816 0.5196077524472109 0.5185251541294993 0.5180741051262231 0.5134602903687929 0.5132684155358547 0.5099179887037352 0.5082581050321903 0.5081350458063766 0.5065621901491575 0.5063146472881421 0.5055775326002766 0.5035285820108436 0.5034647592947928 0.5026775536507426 0.501760159312636 0.50167211598934 0.5010259827276411 0.5009329124137468 0.5008905813523683 0.5008092141164878 0.5007696965522536 0.50043778864259 0.5 7.04/7.24 c 7.04/7.24 c solver 0 7.04/7.24 c before 0.0 seconds: {} 0 7.04/7.24 c before 18.0 seconds: {0, 1, 2, 3, 9, 10, 11, 12, 13, 14, 15, 16, 17, 20, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17111 7.04/7.24 c before 36.0 seconds: {0, 1, 2, 3, 6, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18297 7.04/7.24 c before 126.0 seconds: {0, 1, 2, 3, 6, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18803 7.04/7.24 c before 144.0 seconds: {0, 1, 2, 3, 6, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19316 7.04/7.24 c before 324.0 seconds: {0, 1, 2, 3, 5, 6, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20005 7.04/7.24 c before 360.0 seconds: {0, 1, 2, 3, 4, 5, 6, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20696 7.04/7.24 c before 1638.0 seconds: {0, 1, 2, 3, 4, 5, 6, 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} 21214 7.04/7.24 c 7.04/7.24 c solver 1 7.04/7.24 c before 0.0 seconds: {} 0 7.04/7.24 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 15, 17, 18, 20, 22, 23, 24, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19273 7.04/7.24 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 20, 22, 23, 24, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19895 7.04/7.24 c 7.04/7.24 c solver 2 7.04/7.24 c before 0.0 seconds: {} 0 7.04/7.24 c before 18.0 seconds: {0, 1, 2, 3, 6, 7, 8, 9, 10, 11, 12, 13, 18, 20, 22, 24, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16430 7.04/7.24 c before 54.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 18, 20, 22, 24, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17119 7.04/7.24 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 18, 20, 22, 24, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17810 7.04/7.24 c 7.04/7.24 cTotal time: 97 7.04/7.24 c 1746.0 seconds unused 7.04/7.24 c 0 c 5 c 9 7.04/7.24 c 2 c 0 c 4 7.04/7.24 c 2 c 0 c 0 7.04/7.24 c is solver0 dominated by: 7.04/7.25 c solver 1 (0 solves instances that 1 can't: true) (1 doesn't solve instances that 0 can't: false) (0 is faster than 1: false) (0 is equally as fast as 1: false) (0 < 1: false) 7.04/7.25 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: false) (0 is faster than 2: false) (0 is equally as fast as 2: false) (0 < 2: false) 7.04/7.25 c is dominated? false 7.04/7.25 c 7.04/7.25 c is solver1 dominated by: 7.04/7.25 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true) 7.04/7.25 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: true) (1 is equally as fast as 2: false) (1 < 2: false) 7.04/7.25 c is dominated? false 7.04/7.25 c 7.04/7.25 c is solver2 dominated by: 7.04/7.25 c solver 0 (2 solves instances that 0 can't: true) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true) 7.04/7.25 c solver 1 (2 solves instances that 1 can't: false) (1 doesn't solve instances that 2 can't: false) (2 is faster than 1: false) (2 is equally as fast as 1: false) (2 < 1: true) 7.04/7.25 c is dominated? true 7.04/7.25 c 7.04/7.25 c Number of non-dominated solvers: 2 7.04/7.25 c remove dominated solvers 7.04/7.25 c solver 0 is not dominated by another solver 7.04/7.25 c solver 1 is not dominated by another solver 7.04/7.25 c solver 2 is dominated by another solver 7.04/7.25 c 7.04/7.25 c solver 0: 1638.0 7.04/7.25 c 7.04/7.25 c+ 91/93 of 7 7.04/7.25 c 7.04/7.25 c solver 1: 36.0 7.04/7.25 c 7.04/7.25 c+ 2/93 of 7 7.04/7.25 c 7.04/7.25 c solver 2: 0.0 7.04/7.25 c run abscon for 1746.0 seconds {0, 1, 2, 3, 4, 5, 6, 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} 21214 7.04/7.25 c run mistral for 36.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 20, 22, 23, 24, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19895 7.04/7.25 c do not run choco 7.04/7.25 c Starting solver: HOME/cpHydra_k_40/solver/abscon 7.04/7.25 c On Instance: HOME/instance-1063489-1215137550.xml 7.04/7.25 c Running for: 1746 seconds 27.30/27.82 s SAT 27.30/27.82 v 0 1 1 1 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 1 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 27.30/27.82 d ASSIGNMENTS 265 27.30/27.82 d CHECKS 5302795
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-1063489-1215137550/watcher-1063489-1215137550 -o /tmp/evaluation-result-1063489-1215137550/solver-1063489-1215137550 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1063489-1215137550.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.85 2.92 2.54 4/82 21463 /proc/meminfo: memFree=1019696/2055920 swapFree=4179552/4192956 [pid=21463] ppid=21461 vsize=880 CPUtime=0 /proc/21463/stat : 21463 (hydra) R 21461 21463 21426 0 -1 4194304 40 0 0 0 0 0 0 0 20 0 1 0 246743001 901120 25 996147200 4194304 4889804 548682068816 18446744073709551615 269804959113 0 0 4096 0 0 0 0 17 1 0 0 /proc/21463/statm: 220 25 18 169 0 8 0 [startup+0.010803 s] /proc/loadavg: 2.85 2.92 2.54 4/82 21463 /proc/meminfo: memFree=1019696/2055920 swapFree=4179552/4192956 [pid=21463] ppid=21461 vsize=5360 CPUtime=0 /proc/21463/stat : 21463 (hydra) R 21461 21463 21426 0 -1 4194304 312 247 0 0 0 0 0 0 21 0 1 0 246743001 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269807577759 0 65538 4100 65536 0 0 0 17 1 0 0 /proc/21463/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.102815 s] /proc/loadavg: 2.85 2.92 2.54 4/82 21463 /proc/meminfo: memFree=1019696/2055920 swapFree=4179552/4192956 [pid=21463] ppid=21461 vsize=5360 CPUtime=0 /proc/21463/stat : 21463 (hydra) S 21461 21463 21426 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 246743001 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/21463/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301841 s] /proc/loadavg: 2.85 2.92 2.54 4/82 21463 /proc/meminfo: memFree=1019696/2055920 swapFree=4179552/4192956 [pid=21463] ppid=21461 vsize=5360 CPUtime=0 /proc/21463/stat : 21463 (hydra) S 21461 21463 21426 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 246743001 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/21463/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701875 s] /proc/loadavg: 2.85 2.92 2.54 4/82 21463 /proc/meminfo: memFree=1019696/2055920 swapFree=4179552/4192956 [pid=21463] ppid=21461 vsize=5360 CPUtime=0 /proc/21463/stat : 21463 (hydra) S 21461 21463 21426 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 246743001 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/21463/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50196 s] /proc/loadavg: 2.79 2.91 2.54 3/84 21467 /proc/meminfo: memFree=1017568/2055920 swapFree=4179552/4192956 [pid=21463] ppid=21461 vsize=5360 CPUtime=0 /proc/21463/stat : 21463 (hydra) S 21461 21463 21426 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 246743001 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/21463/statm: 1340 236 195 169 0 51 0 [pid=21467] ppid=21463 vsize=6200 CPUtime=1.47 /proc/21467/stat : 21467 (xsolve) R 21463 21463 21426 0 -1 4194304 934 0 0 0 146 1 0 0 25 0 1 0 246743002 6348800 893 996147200 134512640 135239763 4294956176 18446744073709551615 134803389 0 0 4096 0 0 0 0 17 0 0 0 /proc/21467/statm: 1550 893 433 177 0 453 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 11560 [startup+3.10114 s] /proc/loadavg: 2.79 2.91 2.54 3/92 21479 /proc/meminfo: memFree=1011424/2055920 swapFree=4179552/4192956 [pid=21463] ppid=21461 vsize=5360 CPUtime=1.49 /proc/21463/stat : 21463 (hydra) S 21461 21463 21426 0 -1 4194304 375 1530 0 0 0 0 147 2 19 0 1 0 246743001 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/21463/statm: 1340 238 196 169 0 51 0 [pid=21471] ppid=21463 vsize=196988 CPUtime=1.57 /proc/21471/stat : 21471 (java) S 21463 21463 21426 0 -1 0 6632 0 1 0 150 7 0 0 18 0 9 0 246743152 201715712 5565 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/21471/statm: 49247 5565 2541 9 0 43829 0 [pid=21471/tid=21472] ppid=21463 vsize=196988 CPUtime=1.18 /proc/21471/task/21472/stat : 21472 (java) R 21463 21463 21426 0 -1 64 2827 0 1 0 115 3 0 0 25 0 9 0 246743153 201715712 5565 996147200 134512640 134550740 4294955968 18446744073709551615 4126551119 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21473] ppid=21463 vsize=196988 CPUtime=0.22 /proc/21471/task/21473/stat : 21473 (java) S 21463 21463 21426 0 -1 64 2470 0 0 0 20 2 0 0 16 0 9 0 246743154 201715712 5565 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21474] ppid=21463 vsize=196988 CPUtime=0 /proc/21471/task/21474/stat : 21474 (java) S 21463 21463 21426 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 246743154 201715712 5565 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21475] ppid=21463 vsize=196988 CPUtime=0 /proc/21471/task/21475/stat : 21475 (java) S 21463 21463 21426 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 246743154 201715712 5565 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21476] ppid=21463 vsize=196988 CPUtime=0 /proc/21471/task/21476/stat : 21476 (java) S 21463 21463 21426 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 246743156 201715712 5565 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21477] ppid=21463 vsize=196988 CPUtime=0.14 /proc/21471/task/21477/stat : 21477 (java) S 21463 21463 21426 0 -1 64 611 0 0 0 14 0 0 0 16 0 9 0 246743156 201715712 5565 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21478] ppid=21463 vsize=196988 CPUtime=0 /proc/21471/task/21478/stat : 21478 (java) S 21463 21463 21426 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 246743156 201715712 5565 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21479] ppid=21463 vsize=196988 CPUtime=0 /proc/21471/task/21479/stat : 21479 (java) S 21463 21463 21426 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 246743156 201715712 5565 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 202348 [startup+6.30249 s] /proc/loadavg: 2.80 2.91 2.54 3/92 21479 /proc/meminfo: memFree=997344/2055920 swapFree=4179552/4192956 [pid=21463] ppid=21461 vsize=5360 CPUtime=1.49 /proc/21463/stat : 21463 (hydra) S 21461 21463 21426 0 -1 4194304 375 1530 0 0 0 0 147 2 19 0 1 0 246743001 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/21463/statm: 1340 238 196 169 0 51 0 [pid=21471] ppid=21463 vsize=197096 CPUtime=4.75 /proc/21471/stat : 21471 (java) S 21463 21463 21426 0 -1 0 10661 0 1 0 459 16 0 0 18 0 9 0 246743152 201826304 8841 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/21471/statm: 49274 8841 2541 9 0 43856 0 [pid=21471/tid=21472] ppid=21463 vsize=197096 CPUtime=3.75 /proc/21471/task/21472/stat : 21472 (java) R 21463 21463 21426 0 -1 64 3660 0 1 0 368 7 0 0 25 0 9 0 246743153 201826304 8841 996147200 134512640 134550740 4294955968 18446744073709551615 4126582660 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21473] ppid=21463 vsize=197096 CPUtime=0.8 /proc/21471/task/21473/stat : 21473 (java) S 21463 21463 21426 0 -1 64 5650 0 0 0 73 7 0 0 16 0 9 0 246743154 201826304 8841 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21474] ppid=21463 vsize=197096 CPUtime=0 /proc/21471/task/21474/stat : 21474 (java) S 21463 21463 21426 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 246743154 201826304 8841 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21475] ppid=21463 vsize=197096 CPUtime=0 /proc/21471/task/21475/stat : 21475 (java) S 21463 21463 21426 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 246743154 201826304 8841 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21476] ppid=21463 vsize=197096 CPUtime=0 /proc/21471/task/21476/stat : 21476 (java) S 21463 21463 21426 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 246743156 201826304 8841 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21477] ppid=21463 vsize=197096 CPUtime=0.16 /proc/21471/task/21477/stat : 21477 (java) S 21463 21463 21426 0 -1 64 627 0 0 0 16 0 0 0 16 0 9 0 246743156 201826304 8841 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21478] ppid=21463 vsize=197096 CPUtime=0 /proc/21471/task/21478/stat : 21478 (java) S 21463 21463 21426 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 246743156 201826304 8841 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21479] ppid=21463 vsize=197096 CPUtime=0 /proc/21471/task/21479/stat : 21479 (java) S 21463 21463 21426 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 246743156 201826304 8841 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.24 Current children cumulated vsize (KiB) 202456 [startup+12.7022 s] /proc/loadavg: 2.74 2.89 2.54 3/104 21491 /proc/meminfo: memFree=956040/2055920 swapFree=4179552/4192956 [pid=21463] ppid=21461 vsize=5360 CPUtime=1.49 /proc/21463/stat : 21463 (hydra) S 21461 21463 21426 0 -1 4194304 375 1530 0 0 0 0 147 2 19 0 1 0 246743001 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/21463/statm: 1340 238 196 169 0 51 0 [pid=21471] ppid=21463 vsize=197420 CPUtime=5.59 /proc/21471/stat : 21471 (java) S 21463 21463 21426 0 -1 0 13957 0 1 0 539 20 0 0 18 0 10 0 246743152 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/21471/statm: 49355 9478 2544 9 0 43937 0 [pid=21481] ppid=21471 vsize=5356 CPUtime=0 /proc/21481/stat : 21481 (abscon) S 21471 21463 21426 0 -1 4194304 304 0 0 0 0 0 0 0 19 0 1 0 246743726 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 269807575876 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/21481/statm: 1339 237 196 169 0 50 0 [pid=21482] ppid=21481 vsize=654940 CPUtime=5.34 /proc/21482/stat : 21482 (java) S 21481 21463 21426 0 -1 0 11621 0 1 0 527 7 0 0 20 0 9 0 246743727 670658560 10938 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/21482/statm: 163735 10938 2610 9 0 158263 0 [pid=21482/tid=21484] ppid=21481 vsize=654940 CPUtime=5.1 /proc/21482/task/21484/stat : 21484 (java) R 21481 21463 21426 0 -1 64 9486 0 1 0 505 5 0 0 25 0 9 0 246743728 670658560 10938 996147200 134512640 134550740 4294955808 18446744073709551615 4126813164 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21482/tid=21485] ppid=21481 vsize=654940 CPUtime=0.03 /proc/21482/task/21485/stat : 21485 (java) S 21481 21463 21426 0 -1 64 1213 0 0 0 3 0 0 0 16 0 9 0 246743729 670658560 10938 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=21482/tid=21486] ppid=21481 vsize=654940 CPUtime=0 /proc/21482/task/21486/stat : 21486 (java) S 21481 21463 21426 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 246743729 670658560 10938 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21482/tid=21487] ppid=21481 vsize=654940 CPUtime=0 /proc/21482/task/21487/stat : 21487 (java) S 21481 21463 21426 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 246743729 670658560 10938 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21482/tid=21488] ppid=21481 vsize=654940 CPUtime=0 /proc/21482/task/21488/stat : 21488 (java) S 21481 21463 21426 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 246743731 670658560 10938 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21482/tid=21489] ppid=21481 vsize=654940 CPUtime=0.17 /proc/21482/task/21489/stat : 21489 (java) S 21481 21463 21426 0 -1 64 377 0 0 0 17 0 0 0 16 0 9 0 246743731 670658560 10938 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21482/tid=21490] ppid=21481 vsize=654940 CPUtime=0 /proc/21482/task/21490/stat : 21490 (java) S 21481 21463 21426 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 246743731 670658560 10938 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21482/tid=21491] ppid=21481 vsize=654940 CPUtime=0 /proc/21482/task/21491/stat : 21491 (java) S 21481 21463 21426 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 246743731 670658560 10938 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21483] ppid=21481 vsize=7044 CPUtime=0 /proc/21483/stat : 21483 (translate) S 21481 21463 21426 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 246743727 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 269807747154 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/21483/statm: 1761 213 182 1 0 41 0 [pid=21471/tid=21472] ppid=21463 vsize=197420 CPUtime=4.29 /proc/21471/task/21472/stat : 21472 (java) S 21463 21463 21426 0 -1 64 3900 0 1 0 421 8 0 0 24 0 10 0 246743153 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=21471/tid=21473] ppid=21463 vsize=197420 CPUtime=1.04 /proc/21471/task/21473/stat : 21473 (java) S 21463 21463 21426 0 -1 64 8564 0 0 0 95 9 0 0 16 0 10 0 246743154 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21474] ppid=21463 vsize=197420 CPUtime=0 /proc/21471/task/21474/stat : 21474 (java) S 21463 21463 21426 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 246743154 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21475] ppid=21463 vsize=197420 CPUtime=0 /proc/21471/task/21475/stat : 21475 (java) S 21463 21463 21426 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 246743154 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21476] ppid=21463 vsize=197420 CPUtime=0 /proc/21471/task/21476/stat : 21476 (java) S 21463 21463 21426 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 246743156 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21477] ppid=21463 vsize=197420 CPUtime=0.23 /proc/21471/task/21477/stat : 21477 (java) S 21463 21463 21426 0 -1 64 667 0 0 0 22 1 0 0 16 0 10 0 246743156 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21478] ppid=21463 vsize=197420 CPUtime=0 /proc/21471/task/21478/stat : 21478 (java) S 21463 21463 21426 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 246743156 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21479] ppid=21463 vsize=197420 CPUtime=0 /proc/21471/task/21479/stat : 21479 (java) S 21463 21463 21426 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 246743156 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21480] ppid=21463 vsize=197420 CPUtime=0 /proc/21471/task/21480/stat : 21480 (java) S 21463 21463 21426 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 246743726 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 12.42 Current children cumulated vsize (KiB) 870120 [startup+25.5036 s] /proc/loadavg: 2.57 2.85 2.53 3/104 21491 /proc/meminfo: memFree=956040/2055920 swapFree=4179552/4192956 [pid=21463] ppid=21461 vsize=5360 CPUtime=1.49 /proc/21463/stat : 21463 (hydra) S 21461 21463 21426 0 -1 4194304 375 1530 0 0 0 0 147 2 19 0 1 0 246743001 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/21463/statm: 1340 238 196 169 0 51 0 [pid=21471] ppid=21463 vsize=197420 CPUtime=5.59 /proc/21471/stat : 21471 (java) S 21463 21463 21426 0 -1 0 13957 0 1 0 539 20 0 0 18 0 10 0 246743152 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/21471/statm: 49355 9478 2544 9 0 43937 0 [pid=21481] ppid=21471 vsize=5356 CPUtime=0 /proc/21481/stat : 21481 (abscon) S 21471 21463 21426 0 -1 4194304 304 0 0 0 0 0 0 0 19 0 1 0 246743726 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 269807575876 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/21481/statm: 1339 237 196 169 0 50 0 [pid=21482] ppid=21481 vsize=654940 CPUtime=17.96 /proc/21482/stat : 21482 (java) S 21481 21463 21426 0 -1 0 11656 0 1 0 1789 7 0 0 20 0 9 0 246743727 670658560 10969 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/21482/statm: 163735 10969 2610 9 0 158263 0 [pid=21482/tid=21484] ppid=21481 vsize=654940 CPUtime=17.71 /proc/21482/task/21484/stat : 21484 (java) R 21481 21463 21426 0 -1 64 9510 0 1 0 1766 5 0 0 25 0 9 0 246743728 670658560 10969 996147200 134512640 134550740 4294955808 18446744073709551615 4126818354 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21482/tid=21485] ppid=21481 vsize=654940 CPUtime=0.03 /proc/21482/task/21485/stat : 21485 (java) S 21481 21463 21426 0 -1 64 1213 0 0 0 3 0 0 0 16 0 9 0 246743729 670658560 10969 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=21482/tid=21486] ppid=21481 vsize=654940 CPUtime=0 /proc/21482/task/21486/stat : 21486 (java) S 21481 21463 21426 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 246743729 670658560 10969 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/21471/task/21479/stat : 21479 (java) S 21463 21463 21426 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 246743156 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21480] ppid=21463 vsize=197420 CPUtime=0 /proc/21471/task/21480/stat : 21480 (java) S 21463 21463 21426 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 246743726 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 26.62 Current children cumulated vsize (KiB) 870120 [startup+27.5068 s] /proc/loadavg: 2.57 2.85 2.53 3/104 21491 /proc/meminfo: memFree=956040/2055920 swapFree=4179552/4192956 [pid=21463] ppid=21461 vsize=5360 CPUtime=1.49 /proc/21463/stat : 21463 (hydra) S 21461 21463 21426 0 -1 4194304 375 1530 0 0 0 0 147 2 19 0 1 0 246743001 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/21463/statm: 1340 238 196 169 0 51 0 [pid=21471] ppid=21463 vsize=197420 CPUtime=5.59 /proc/21471/stat : 21471 (java) S 21463 21463 21426 0 -1 0 13957 0 1 0 539 20 0 0 18 0 10 0 246743152 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/21471/statm: 49355 9478 2544 9 0 43937 0 [pid=21481] ppid=21471 vsize=5356 CPUtime=0 /proc/21481/stat : 21481 (abscon) S 21471 21463 21426 0 -1 4194304 304 0 0 0 0 0 0 0 19 0 1 0 246743726 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 269807575876 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/21481/statm: 1339 237 196 169 0 50 0 [pid=21482] ppid=21481 vsize=654940 CPUtime=19.93 /proc/21482/stat : 21482 (java) S 21481 21463 21426 0 -1 0 11656 0 1 0 1986 7 0 0 20 0 9 0 246743727 670658560 10969 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/21482/statm: 163735 10969 2610 9 0 158263 0 [pid=21482/tid=21484] ppid=21481 vsize=654940 CPUtime=19.68 /proc/21482/task/21484/stat : 21484 (java) R 21481 21463 21426 0 -1 64 9510 0 1 0 1963 5 0 0 25 0 9 0 246743728 670658560 10969 996147200 134512640 134550740 4294955808 18446744073709551615 4126819600 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21482/tid=21485] ppid=21481 vsize=654940 CPUtime=0.03 /proc/21482/task/21485/stat : 21485 (java) S 21481 21463 21426 0 -1 64 1213 0 0 0 3 0 0 0 16 0 9 0 246743729 670658560 10969 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=21482/tid=21486] ppid=21481 vsize=654940 CPUtime=0 /proc/21482/task/21486/stat : 21486 (java) S 21481 21463 21426 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 246743729 670658560 10969 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21482/tid=21487] ppid=21481 vsize=654940 CPUtime=0 /proc/21482/task/21487/stat : 21487 (java) S 21481 21463 21426 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 246743729 670658560 10969 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21482/tid=21488] ppid=21481 vsize=654940 CPUtime=0 /proc/21482/task/21488/stat : 21488 (java) S 21481 21463 21426 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 246743731 670658560 10969 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21482/tid=21489] ppid=21481 vsize=654940 CPUtime=0.18 /proc/21482/task/21489/stat : 21489 (java) S 21481 21463 21426 0 -1 64 388 0 0 0 18 0 0 0 16 0 9 0 246743731 670658560 10969 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21482/tid=21490] ppid=21481 vsize=654940 CPUtime=0 /proc/21482/task/21490/stat : 21490 (java) S 21481 21463 21426 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 246743731 670658560 10969 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21482/tid=21491] ppid=21481 vsize=654940 CPUtime=0 /proc/21482/task/21491/stat : 21491 (java) S 21481 21463 21426 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 246743731 670658560 10969 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21483] ppid=21481 vsize=7044 CPUtime=0 /proc/21483/stat : 21483 (translate) S 21481 21463 21426 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 246743727 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 269807747154 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/21483/statm: 1761 213 182 1 0 41 0 [pid=21471/tid=21472] ppid=21463 vsize=197420 CPUtime=4.29 /proc/21471/task/21472/stat : 21472 (java) S 21463 21463 21426 0 -1 64 3900 0 1 0 421 8 0 0 24 0 10 0 246743153 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=21471/tid=21473] ppid=21463 vsize=197420 CPUtime=1.04 /proc/21471/task/21473/stat : 21473 (java) S 21463 21463 21426 0 -1 64 8564 0 0 0 95 9 0 0 16 0 10 0 246743154 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21474] ppid=21463 vsize=197420 CPUtime=0 /proc/21471/task/21474/stat : 21474 (java) S 21463 21463 21426 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 246743154 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21475] ppid=21463 vsize=197420 CPUtime=0 /proc/21471/task/21475/stat : 21475 (java) S 21463 21463 21426 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 246743154 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21476] ppid=21463 vsize=197420 CPUtime=0 /proc/21471/task/21476/stat : 21476 (java) S 21463 21463 21426 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 246743156 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21477] ppid=21463 vsize=197420 CPUtime=0.23 /proc/21471/task/21477/stat : 21477 (java) S 21463 21463 21426 0 -1 64 667 0 0 0 22 1 0 0 16 0 10 0 246743156 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21478] ppid=21463 vsize=197420 CPUtime=0 /proc/21471/task/21478/stat : 21478 (java) S 21463 21463 21426 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 246743156 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21479] ppid=21463 vsize=197420 CPUtime=0 /proc/21471/task/21479/stat : 21479 (java) S 21463 21463 21426 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 246743156 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21480] ppid=21463 vsize=197420 CPUtime=0 /proc/21471/task/21480/stat : 21480 (java) S 21463 21463 21426 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 246743726 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 27.01 Current children cumulated vsize (KiB) 870120 [startup+27.7028 s] /proc/loadavg: 2.57 2.85 2.53 3/104 21491 /proc/meminfo: memFree=956040/2055920 swapFree=4179552/4192956 [pid=21463] ppid=21461 vsize=5360 CPUtime=1.49 /proc/21463/stat : 21463 (hydra) S 21461 21463 21426 0 -1 4194304 375 1530 0 0 0 0 147 2 19 0 1 0 246743001 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/21463/statm: 1340 238 196 169 0 51 0 [pid=21471] ppid=21463 vsize=197420 CPUtime=5.59 /proc/21471/stat : 21471 (java) S 21463 21463 21426 0 -1 0 13957 0 1 0 539 20 0 0 18 0 10 0 246743152 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/21471/statm: 49355 9478 2544 9 0 43937 0 [pid=21481] ppid=21471 vsize=5356 CPUtime=0 /proc/21481/stat : 21481 (abscon) S 21471 21463 21426 0 -1 4194304 304 0 0 0 0 0 0 0 19 0 1 0 246743726 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 269807575876 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/21481/statm: 1339 237 196 169 0 50 0 [pid=21482] ppid=21481 vsize=654940 CPUtime=20.12 /proc/21482/stat : 21482 (java) S 21481 21463 21426 0 -1 0 11656 0 1 0 2005 7 0 0 20 0 9 0 246743727 670658560 10969 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/21482/statm: 163735 10969 2610 9 0 158263 0 [pid=21482/tid=21484] ppid=21481 vsize=654940 CPUtime=19.88 /proc/21482/task/21484/stat : 21484 (java) R 21481 21463 21426 0 -1 64 9510 0 1 0 1983 5 0 0 25 0 9 0 246743728 670658560 10969 996147200 134512640 134550740 4294955808 18446744073709551615 4126821431 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21482/tid=21485] ppid=21481 vsize=654940 CPUtime=0.03 /proc/21482/task/21485/stat : 21485 (java) S 21481 21463 21426 0 -1 64 1213 0 0 0 3 0 0 0 16 0 9 0 246743729 670658560 10969 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=21482/tid=21486] ppid=21481 vsize=654940 CPUtime=0 /proc/21482/task/21486/stat : 21486 (java) S 21481 21463 21426 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 246743729 670658560 10969 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21482/tid=21487] ppid=21481 vsize=654940 CPUtime=0 /proc/21482/task/21487/stat : 21487 (java) S 21481 21463 21426 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 246743729 670658560 10969 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21482/tid=21488] ppid=21481 vsize=654940 CPUtime=0 /proc/21482/task/21488/stat : 21488 (java) S 21481 21463 21426 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 246743731 670658560 10969 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21482/tid=21489] ppid=21481 vsize=654940 CPUtime=0.18 /proc/21482/task/21489/stat : 21489 (java) S 21481 21463 21426 0 -1 64 388 0 0 0 18 0 0 0 16 0 9 0 246743731 670658560 10969 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21482/tid=21490] ppid=21481 vsize=654940 CPUtime=0 /proc/21482/task/21490/stat : 21490 (java) S 21481 21463 21426 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 246743731 670658560 10969 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21482/tid=21491] ppid=21481 vsize=654940 CPUtime=0 /proc/21482/task/21491/stat : 21491 (java) S 21481 21463 21426 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 246743731 670658560 10969 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21483] ppid=21481 vsize=7044 CPUtime=0 /proc/21483/stat : 21483 (translate) S 21481 21463 21426 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 246743727 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 269807747154 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/21483/statm: 1761 213 182 1 0 41 0 [pid=21471/tid=21472] ppid=21463 vsize=197420 CPUtime=4.29 /proc/21471/task/21472/stat : 21472 (java) S 21463 21463 21426 0 -1 64 3900 0 1 0 421 8 0 0 24 0 10 0 246743153 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=21471/tid=21473] ppid=21463 vsize=197420 CPUtime=1.04 /proc/21471/task/21473/stat : 21473 (java) S 21463 21463 21426 0 -1 64 8564 0 0 0 95 9 0 0 16 0 10 0 246743154 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21474] ppid=21463 vsize=197420 CPUtime=0 /proc/21471/task/21474/stat : 21474 (java) S 21463 21463 21426 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 246743154 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21475] ppid=21463 vsize=197420 CPUtime=0 /proc/21471/task/21475/stat : 21475 (java) S 21463 21463 21426 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 246743154 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21476] ppid=21463 vsize=197420 CPUtime=0 /proc/21471/task/21476/stat : 21476 (java) S 21463 21463 21426 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 246743156 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21477] ppid=21463 vsize=197420 CPUtime=0.23 /proc/21471/task/21477/stat : 21477 (java) S 21463 21463 21426 0 -1 64 667 0 0 0 22 1 0 0 16 0 10 0 246743156 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21478] ppid=21463 vsize=197420 CPUtime=0 /proc/21471/task/21478/stat : 21478 (java) S 21463 21463 21426 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 246743156 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21479] ppid=21463 vsize=197420 CPUtime=0 /proc/21471/task/21479/stat : 21479 (java) S 21463 21463 21426 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 246743156 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21480] ppid=21463 vsize=197420 CPUtime=0 /proc/21471/task/21480/stat : 21480 (java) S 21463 21463 21426 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 246743726 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 27.2 Current children cumulated vsize (KiB) 870120 [startup+27.8028 s] /proc/loadavg: 2.57 2.85 2.53 3/104 21491 /proc/meminfo: memFree=956040/2055920 swapFree=4179552/4192956 [pid=21463] ppid=21461 vsize=5360 CPUtime=1.49 /proc/21463/stat : 21463 (hydra) S 21461 21463 21426 0 -1 4194304 375 1530 0 0 0 0 147 2 19 0 1 0 246743001 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/21463/statm: 1340 238 196 169 0 51 0 [pid=21471] ppid=21463 vsize=197420 CPUtime=5.59 /proc/21471/stat : 21471 (java) S 21463 21463 21426 0 -1 0 13957 0 1 0 539 20 0 0 18 0 10 0 246743152 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/21471/statm: 49355 9478 2544 9 0 43937 0 [pid=21481] ppid=21471 vsize=5356 CPUtime=0 /proc/21481/stat : 21481 (abscon) S 21471 21463 21426 0 -1 4194304 304 0 0 0 0 0 0 0 19 0 1 0 246743726 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 269807575876 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/21481/statm: 1339 237 196 169 0 50 0 [pid=21482] ppid=21481 vsize=654940 CPUtime=20.22 /proc/21482/stat : 21482 (java) S 21481 21463 21426 0 -1 0 11675 0 1 0 2015 7 0 0 20 0 9 0 246743727 670658560 10987 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/21482/statm: 163735 10987 2610 9 0 158263 0 [pid=21482/tid=21484] ppid=21481 vsize=654940 CPUtime=19.98 /proc/21482/task/21484/stat : 21484 (java) R 21481 21463 21426 0 -1 64 9528 0 1 0 1993 5 0 0 25 0 9 0 246743728 670658560 10987 996147200 134512640 134550740 4294955808 18446744073709551615 4125977793 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21482/tid=21485] ppid=21481 vsize=654940 CPUtime=0.03 /proc/21482/task/21485/stat : 21485 (java) S 21481 21463 21426 0 -1 64 1213 0 0 0 3 0 0 0 16 0 9 0 246743729 670658560 10987 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=21482/tid=21486] ppid=21481 vsize=654940 CPUtime=0 /proc/21482/task/21486/stat : 21486 (java) S 21481 21463 21426 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 246743729 670658560 10987 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21482/tid=21487] ppid=21481 vsize=654940 CPUtime=0 /proc/21482/task/21487/stat : 21487 (java) S 21481 21463 21426 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 246743729 670658560 10987 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21482/tid=21488] ppid=21481 vsize=654940 CPUtime=0 /proc/21482/task/21488/stat : 21488 (java) S 21481 21463 21426 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 246743731 670658560 10987 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21482/tid=21489] ppid=21481 vsize=654940 CPUtime=0.18 /proc/21482/task/21489/stat : 21489 (java) S 21481 21463 21426 0 -1 64 389 0 0 0 18 0 0 0 16 0 9 0 246743731 670658560 10987 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21482/tid=21490] ppid=21481 vsize=654940 CPUtime=0 /proc/21482/task/21490/stat : 21490 (java) S 21481 21463 21426 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 246743731 670658560 10987 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21482/tid=21491] ppid=21481 vsize=654940 CPUtime=0 /proc/21482/task/21491/stat : 21491 (java) S 21481 21463 21426 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 246743731 670658560 10987 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=21483] ppid=21481 vsize=7044 CPUtime=0 /proc/21483/stat : 21483 (translate) S 21481 21463 21426 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 246743727 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 269807747154 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/21483/statm: 1761 213 182 1 0 41 0 [pid=21471/tid=21472] ppid=21463 vsize=197420 CPUtime=4.29 /proc/21471/task/21472/stat : 21472 (java) S 21463 21463 21426 0 -1 64 3900 0 1 0 421 8 0 0 24 0 10 0 246743153 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=21471/tid=21473] ppid=21463 vsize=197420 CPUtime=1.04 /proc/21471/task/21473/stat : 21473 (java) S 21463 21463 21426 0 -1 64 8564 0 0 0 95 9 0 0 16 0 10 0 246743154 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21474] ppid=21463 vsize=197420 CPUtime=0 /proc/21471/task/21474/stat : 21474 (java) S 21463 21463 21426 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 246743154 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21475] ppid=21463 vsize=197420 CPUtime=0 /proc/21471/task/21475/stat : 21475 (java) S 21463 21463 21426 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 246743154 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21476] ppid=21463 vsize=197420 CPUtime=0 /proc/21471/task/21476/stat : 21476 (java) S 21463 21463 21426 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 246743156 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21477] ppid=21463 vsize=197420 CPUtime=0.23 /proc/21471/task/21477/stat : 21477 (java) S 21463 21463 21426 0 -1 64 667 0 0 0 22 1 0 0 16 0 10 0 246743156 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21478] ppid=21463 vsize=197420 CPUtime=0 /proc/21471/task/21478/stat : 21478 (java) S 21463 21463 21426 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 246743156 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21479] ppid=21463 vsize=197420 CPUtime=0 /proc/21471/task/21479/stat : 21479 (java) S 21463 21463 21426 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 246743156 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=21471/tid=21480] ppid=21463 vsize=197420 CPUtime=0 /proc/21471/task/21480/stat : 21480 (java) S 21463 21463 21426 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 246743726 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 27.3 Current children cumulated vsize (KiB) 870120 Child status: 0 Real time (s): 27.8757 CPU time (s): 27.3628 CPU user time (s): 27.0379 CPU system time (s): 0.32495 CPU usage (%): 98.1602 Max. virtual memory (cumulated for all children) (KiB): 870120 getrusage(RUSAGE_CHILDREN,...) data: user time used= 27.0379 system time used= 0.32495 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28342 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= 11650 involuntary context switches= 16818 runsolver used 0.165974 second user time and 0.266959 second system time The end
Begin job on node81 at 2008-07-04 04:12:30 IDJOB=1063489 IDBENCH=54758 IDSOLVER=366 FILE ID=node81/1063489-1215137550 PBS_JOBID= 7877378 Free space on /tmp= 126864 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/pseudo/mpsReduced/normalized-mps-red-flugpl.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1063489-1215137550/watcher-1063489-1215137550 -o /tmp/evaluation-result-1063489-1215137550/solver-1063489-1215137550 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1063489-1215137550.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= a3667df7e591448b4043207f6356c865 RANDOM SEED=651536184 node81.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.236 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.236 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1020176 kB Buffers: 18688 kB Cached: 237140 kB SwapCached: 6108 kB Active: 834032 kB Inactive: 133956 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1020176 kB SwapTotal: 4192956 kB SwapFree: 4179552 kB Dirty: 26112 kB Writeback: 0 kB Mapped: 728944 kB Slab: 51564 kB Committed_AS: 1239832 kB PageTables: 3160 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 126840 MiB End job on node81 at 2008-07-04 04:12:59