CSP 2008 Competition competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
cpHydra k_40	SAT	15.0917	15.5048

Diagnostic	Value
ASSIGNMENTS	2459
CHECKS	34670

0.00/0.00	c cpHydra_k_40 version 0.0
8.57/8.74	c CASE TO CLASSIFY:
8.57/8.74	c Case: 0
8.57/8.74	c 19 >   0.000000 | c 35 >  26.343200 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  20.545300 | c 34 >  26.343200 | c 16 > 146.000000 | c 13 >   3.630320 | c 14 >   9.539160 | c 11 >  11.247300 | c 12 >   4.063740 | c 21 >   1.410180 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.280800 | c 1 >  11.247300 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  15.280800 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.356000 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.57/8.75	c choco : 1801.0
8.57/8.75	c mistral : 1801.0
8.57/8.75	c abscon : 1801.0
8.57/8.75	c
8.57/8.75	c
8.66/8.83	c List of same ones: 40
8.66/8.83	c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/ex5-pi.xml
8.66/8.83	c 19 >   0.000000 | c 35 >  26.343200 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  20.089900 | c 34 >  26.343200 | c 16 > 146.000000 | c 13 >   3.630320 | c 14 >   8.791160 | c 11 >  11.247300 | c 12 >   4.063740 | c 21 >   1.410180 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.280800 | c 1 >  11.247300 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  15.280800 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.356000 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.66/8.84	c choco : 10.89
8.66/8.84	c mistral : 4.98
8.66/8.84	c abscon : 7.27989
8.66/8.84	c
8.66/8.84	c
8.66/8.84	c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/e-am-pi.xml
8.66/8.84	c 19 >   0.000000 | c 35 >  32.220000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  19.767400 | c 34 >  32.220000 | c 16 > 166.000000 | c 13 >   2.574380 | c 14 >   9.920350 | c 11 >  12.191100 | c 12 >   2.458080 | c 21 >   1.414210 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.620300 | c 1 >  12.191100 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.620300 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.826000 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.66/8.85	c choco : 16.5
8.66/8.85	c mistral : 4.84
8.66/8.85	c abscon : 6.63899
8.66/8.85	c
8.66/8.85	c
8.66/8.85	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc205.xml
8.66/8.85	c 19 >   0.000000 | c 35 >   2.033900 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.406780 | c 15 >  19.897300 | c 34 >   3.661020 | c 16 > 120.000000 | c 13 >   7.464060 | c 14 >  10.204600 | c 11 >  12.481800 | c 12 >   3.376420 | c 21 >   1.392570 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.190400 | c 1 >  12.481800 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  15.190400 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  31.926500 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.66/8.86	c choco : 15.99
8.66/8.86	c mistral : 52.33
8.66/8.86	c abscon : 1800.11
8.66/8.86	c
8.66/8.86	c
8.66/8.86	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-markshare2-1.xml
8.66/8.86	c 19 >   0.000000 | c 35 >  33.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  18.000000 | c 15 >  18.319300 | c 34 >  66.000000 | c 16 > 150.000000 | c 13 >   1.599130 | c 14 >   7.592460 | c 11 >  11.148500 | c 12 >   0.825579 | c 21 >   1.345020 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  11.832500 | c 1 >   8.060700 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  11.832500 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  21.353800 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.66/8.86	c choco : 2.64
8.66/8.86	c mistral : 0.55
8.66/8.86	c abscon : 199.342
8.66/8.86	c
8.66/8.86	c
8.66/8.86	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc50b.xml
8.66/8.86	c 19 >   0.000000 | c 35 >   0.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  17.558200 | c 34 >   0.000000 | c 16 > 120.000000 | c 13 >   0.606331 | c 14 >   9.525520 | c 11 >  11.422600 | c 12 >   0.996843 | c 21 >   1.326020 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  12.574600 | c 1 >  10.092800 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  12.574600 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  23.560300 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.66/8.87	c choco : 3.78
8.66/8.87	c mistral : 1.05
8.66/8.87	c abscon : 1800.08
8.66/8.88	c
8.66/8.88	c
8.66/8.88	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc50a.xml
8.66/8.88	c 19 >   0.000000 | c 35 >   0.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  19.779300 | c 34 >   0.000000 | c 16 > 120.000000 | c 13 >   8.497930 | c 14 >  10.999300 | c 11 >  11.494900 | c 12 >   5.398850 | c 21 >   1.331250 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  12.683000 | c 1 >  10.118900 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  12.683000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  24.671300 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.66/8.88	c choco : 3.95
8.66/8.88	c mistral : 1.4
8.66/8.88	c abscon : 385.752
8.66/8.88	c
8.66/8.88	c
8.66/8.88	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-markshare1-1.xml
8.66/8.89	c 19 >   0.000000 | c 35 >  32.352900 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  17.647100 | c 15 >  17.620800 | c 34 >  64.705900 | c 16 > 130.000000 | c 13 >   1.435600 | c 14 >   7.417850 | c 11 >  10.742300 | c 12 >   0.805067 | c 21 >   1.344300 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  11.385300 | c 1 >   7.820180 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  11.385300 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.739500 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.66/8.89	c choco : 2.19
8.66/8.89	c mistral : 0.37
8.66/8.89	c abscon : 175.226
8.66/8.89	c
8.66/8.89	c
8.66/8.89	c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-neos5.xml
8.66/8.89	c 19 >   0.000000 | c 35 >  15.068500 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   8.219180 | c 15 >  19.252700 | c 34 >  30.137000 | c 16 > 102.000000 | c 13 >   3.121570 | c 14 >   7.179910 | c 11 >  10.941000 | c 12 >   1.853770 | c 21 >   1.414210 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.311000 | c 1 >   7.348730 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.311000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  27.205100 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.74/8.90	c choco : 3.04
8.74/8.90	c mistral : 0.9
8.74/8.90	c abscon : 1.9467
8.74/8.90	c
8.74/8.90	c
8.74/8.90	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc105.xml
8.74/8.90	c 19 >   0.000000 | c 35 >   0.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  20.666100 | c 34 >   0.000000 | c 16 > 120.000000 | c 13 >  12.584100 | c 14 >  12.282800 | c 11 >  11.418900 | c 12 >   8.622250 | c 21 >   1.373350 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.085700 | c 1 >  11.418900 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.085700 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  30.206500 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.74/8.91	c choco : 24.54
8.74/8.91	c mistral : 2.61
8.74/8.91	c abscon : 1239.19
8.74/8.91	c
8.74/8.91	c
8.74/8.91	c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-seymour1.xml
8.74/8.91	c 19 >   0.000000 | c 35 >  28.957800 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  12.008300 | c 15 >  20.379700 | c 34 >  53.567200 | c 16 > 198.000000 | c 13 >   5.032800 | c 14 >  -1.000000 | c 11 >  13.358500 | c 12 >   5.009860 | c 21 >   1.411570 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  19.288000 | c 1 >  13.358500 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  19.288000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  29.315800 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.74/8.92	c choco : 1801.0
8.74/8.92	c mistral : 14.2628
8.74/8.92	c abscon : 40.6598
8.74/8.92	c
8.74/8.92	c
8.74/8.92	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-markshare2.xml
8.74/8.92	c 19 >   0.000000 | c 35 >   0.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  16.640600 | c 34 >   0.000000 | c 16 >  90.000000 | c 13 >   1.414640 | c 14 >   7.118940 | c 11 >  10.409400 | c 12 >   0.737814 | c 21 >   1.329160 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  11.064700 | c 1 >   7.693490 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  11.064700 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.458100 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.94/9.11	c choco : 1.89
8.94/9.11	c mistral : 0.2
8.94/9.11	c abscon : 137.014
8.94/9.11	c
8.94/9.11	c
8.94/9.11	c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-mitre.xml
8.94/9.11	c 19 >   9.584350 | c 35 >  33.271400 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  25.467000 | c 15 >  18.214500 | c 34 >  66.542800 | c 16 >  98.000000 | c 13 >  -0.028883 | c 14 >   9.923330 | c 11 >  13.388600 | c 12 >   2.211530 | c 21 >   1.414210 | c 20 >  90.415600 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  16.369600 | c 1 >  13.388600 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  16.366200 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  25.787600 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.94/9.13	c choco : 1801.0
8.94/9.13	c mistral : 3.9354
8.94/9.13	c abscon : 1800.1
8.94/9.13	c
8.94/9.13	c
8.94/9.13	c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/count-b.xml
8.94/9.13	c 19 >   0.000000 | c 35 >  14.481300 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   4.711820 | c 15 >  18.958200 | c 34 >  16.051900 | c 16 >  78.000000 | c 13 >   4.946530 | c 14 >   8.290020 | c 11 >   8.864190 | c 12 >   5.204420 | 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.076100 | c 1 >   8.864190 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.076100 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.134900 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.94/9.14	c choco : 4.36
8.94/9.14	c mistral : 0.934857
8.94/9.14	c abscon : 1.9607
8.94/9.14	c
8.94/9.14	c
8.94/9.14	c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-10teams.xml
8.94/9.14	c 19 >   0.000000 | c 35 >  11.764700 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.882353 | c 15 >  19.441200 | c 34 >  17.647100 | c 16 >  72.000000 | c 13 >   3.111990 | c 14 >   9.355350 | c 11 >  10.643900 | c 12 >   3.355970 | c 21 >   1.374370 | 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.530800 | c 1 >  10.643900 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.530800 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.458700 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.94/9.14	c choco : 6.01
8.94/9.14	c mistral : 1800.04
8.94/9.14	c abscon : 1800.12
8.94/9.14	c
8.94/9.14	c
8.94/9.14	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-markshare1.xml
8.94/9.14	c 19 >   0.000000 | c 35 >   0.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  16.024000 | c 34 >   0.000000 | c 16 >  80.000000 | c 13 >   1.235800 | c 14 >   6.807350 | c 11 >  10.015400 | c 12 >   0.706539 | c 21 >   1.328610 | 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.639300 | c 1 >   7.459430 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  10.639300 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.877900 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.94/9.15	c choco : 1.74
8.94/9.15	c mistral : 0.13
8.94/9.15	c abscon : 130.51
8.94/9.15	c
8.94/9.15	c
8.94/9.15	c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/5xp1-b.xml
8.94/9.15	c 19 >   0.000000 | c 35 >  77.081900 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  13.736700 | c 15 >  19.866700 | c 34 >  81.660700 | c 16 > 149.000000 | c 13 >   5.599960 | c 14 >   6.807350 | c 11 >   8.854870 | c 12 >   6.012360 | c 21 >   1.413450 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  14.865400 | c 1 >   8.854870 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  14.865400 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.590000 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.94/9.16	c choco : 6.4
8.94/9.16	c mistral : 2.56
8.94/9.16	c abscon : 3.13052
8.94/9.16	c
8.94/9.16	c
8.94/9.16	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-bell5.xml
8.94/9.16	c 19 >  12.605000 | c 35 >  46.554600 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  29.243700 | c 15 >  20.294600 | c 34 >  90.756300 | c 16 > 135.000000 | c 13 >   9.222100 | c 14 >  10.246700 | c 11 >  11.626200 | c 12 >   4.995200 | c 21 >   1.335460 | c 20 >  87.395000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  12.449700 | c 1 >  10.382600 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  12.445800 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  24.299100 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.94/9.17	c choco : 1801.0
8.94/9.17	c mistral : 247.62
8.94/9.17	c abscon : 437.054
8.94/9.17	c
8.94/9.17	c
8.94/9.17	c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/apex4-a.xml
8.94/9.17	c 19 >  39.091900 | c 35 >  43.768600 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  39.854300 | c 15 >  19.496800 | c 34 >  53.144200 | c 16 > 160.000000 | c 13 >   3.581130 | c 14 >  10.985800 | c 11 >  12.007400 | c 12 >   3.551250 | c 21 >   1.397820 | c 20 >  60.908100 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.649000 | c 1 >  12.007400 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  15.517500 | c 6 >   6.954200 | c 32 >  -1.000000 | c 5 >  18.803500 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.94/9.17	c choco : 24.35
8.94/9.17	c mistral : 3.62
8.94/9.17	c abscon : 12.2411
8.94/9.17	c
8.94/9.17	c
8.94/9.17	c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-neos18.xml
8.94/9.17	c 19 >  25.134400 | c 35 >  25.841100 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  19.413100 | c 15 >  16.069800 | c 34 >  34.072800 | c 16 >  80.000000 | c 13 >   2.425940 | c 14 >   8.727920 | c 11 >  13.281600 | c 12 >   0.561496 | c 21 >   1.136120 | c 20 >  74.865600 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.375900 | c 1 >   9.911390 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.134900 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  15.385700 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.94/9.18	c choco : 9.44
8.94/9.18	c mistral : 1.19
8.94/9.18	c abscon : 6.61899
8.94/9.18	c
8.94/9.18	c
8.94/9.18	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-harp2.xml
8.94/9.18	c 19 >   0.000000 | c 35 >   0.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  11.980900 | c 34 >   0.000000 | c 16 >  73.000000 | c 13 >  -2.214850 | c 14 >  -1.000000 | c 11 >  11.547400 | c 12 >   1.561310 | 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.822400 | c 1 >  11.547400 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.821300 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  28.484100 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.94/9.19	c choco : 3.8
8.94/9.19	c mistral : 0.37
8.94/9.19	c abscon : 1800.04
8.94/9.19	c
8.94/9.19	c
8.94/9.19	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-usAbbrv-8-25-70.xml
8.94/9.19	c 19 >   0.000000 | c 35 >   7.157060 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   9.408470 | c 15 >  20.387000 | c 34 >  10.295800 | c 16 >  61.000000 | c 13 >   2.162170 | c 14 >   6.108520 | c 11 >  14.331100 | c 12 >   3.131810 | 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 >  18.086600 | c 1 >  14.331100 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  18.086600 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  27.901800 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
8.94/9.20	c choco : 87.71
8.94/9.20	c mistral : 5.19221
8.94/9.20	c abscon : 1800.21
8.94/9.20	c
8.94/9.20	c
8.94/9.20	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-berlin-5-8_0.xml
8.94/9.20	c 19 >   0.000000 | c 35 >   7.226800 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   9.258650 | c 15 >  20.406900 | c 34 >  10.356900 | c 16 >  61.000000 | c 13 >   1.893710 | c 14 >   7.800900 | c 11 >  13.208200 | c 12 >   3.151280 | 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 >  16.983300 | c 1 >  13.208200 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  16.983300 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  31.463400 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
9.00/9.20	c choco : 39.61
9.00/9.20	c mistral : 3.73243
9.00/9.20	c abscon : 1800.12
9.00/9.20	c
9.00/9.20	c
9.00/9.20	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-railway-8-1-0.xml
9.00/9.20	c 19 >   0.000000 | c 35 >   5.794660 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   7.142400 | c 15 >  20.075600 | c 34 >   8.175460 | c 16 >  61.000000 | c 13 >   1.308440 | c 14 >   6.672430 | c 11 >  14.269300 | c 12 >   2.900980 | 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 >  17.795800 | c 1 >  14.269300 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  17.795800 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  28.081300 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
9.00/9.21	c choco : 102.98
9.00/9.21	c mistral : 4.17336
9.00/9.21	c abscon : 1800.15
9.00/9.21	c
9.00/9.21	c
9.00/9.21	c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/clip-b.xml
9.00/9.21	c 19 >   0.000000 | c 35 >  81.276600 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  21.659600 | c 15 >  19.044600 | c 34 >  88.496500 | c 16 > 111.000000 | c 13 >   4.719060 | c 14 >   7.768180 | c 11 >   8.442940 | c 12 >   5.368030 | c 21 >   1.413200 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.820000 | c 1 >   8.442940 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.820000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.178400 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
9.00/9.21	c choco : 4.16
9.00/9.21	c mistral : 1.2
9.00/9.21	c abscon : 2.05169
9.00/9.21	c
9.00/9.21	c
9.00/9.21	c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/mod008.xml
9.00/9.21	c 19 >   0.000000 | c 35 >   0.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  18.023400 | c 34 >   0.000000 | c 16 > 231.000000 | c 13 >   0.672413 | c 14 >   8.299210 | c 11 >   9.290020 | c 12 >   1.306170 | c 21 >   1.414210 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  11.255000 | c 1 >   8.317410 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  11.255000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  28.331200 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
9.00/9.22	c choco : 2.44
9.00/9.22	c mistral : 0.44
9.00/9.22	c abscon : 1.3238
9.00/9.22	c
9.00/9.22	c
9.00/9.22	c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-mod008.xml
9.00/9.22	c 19 >   0.000000 | c 35 >   0.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  18.049400 | c 34 >   0.000000 | c 16 > 231.000000 | c 13 >  -0.085970 | c 14 >   8.290020 | c 11 >   8.317410 | c 12 >   1.959870 | c 21 >   1.414210 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  11.276100 | c 1 >   8.317410 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  11.276100 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  28.679100 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
9.00/9.23	c choco : 2.41
9.00/9.23	c mistral : 0.4
9.00/9.23	c abscon : 1.3208
9.00/9.23	c
9.00/9.23	c
9.00/9.23	c /home/eomahony/cpZilla/CSP/pseudoSeries/course/ws97-5.xml
9.00/9.23	c 19 >  58.459200 | c 35 >  31.284000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  35.075500 | c 15 >  19.950800 | c 34 >  48.836900 | c 16 > 134.000000 | c 13 >   4.497660 | c 14 >  10.391200 | c 11 >  11.696100 | c 12 >   2.707310 | c 21 >   1.411090 | c 20 >  41.540800 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  11.857600 | c 1 >   9.812180 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  11.700400 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  16.912900 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
9.00/9.23	c choco : 1801.0
9.00/9.23	c mistral : 0.71
9.00/9.23	c abscon : 1800.1
9.00/9.23	c
9.00/9.23	c
9.00/9.23	c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-sentoy.xml
9.00/9.23	c 19 >   0.000000 | c 35 >   0.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  16.594100 | c 34 >   0.000000 | c 16 >  60.000000 | c 13 >   2.866770 | c 14 >   5.906890 | c 11 >   9.787900 | c 12 >   1.569650 | 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.801700 | c 1 >   5.906890 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  11.801700 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  22.631700 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
9.00/9.24	c choco : 1.87
9.00/9.24	c mistral : 0.18
9.00/9.24	c abscon : 4.96824
9.00/9.24	c
9.00/9.24	c
9.00/9.24	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-stocfor1.xml
9.00/9.24	c 19 >   0.000000 | c 35 >  26.666700 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   5.333330 | c 15 >  20.214000 | c 34 >  47.555600 | c 16 > 240.000000 | c 13 >   7.046300 | c 14 >  10.579300 | c 11 >  10.957100 | c 12 >   4.699830 | c 21 >   1.263720 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.875400 | c 1 >  10.957100 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.875400 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  20.633500 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
9.00/9.24	c choco : 1801.0
9.00/9.24	c mistral : 18.05
9.00/9.24	c abscon : 1800.09
9.00/9.24	c
9.00/9.24	c
9.00/9.24	c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/sao2-b.xml
9.00/9.24	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
9.00/9.25	c choco : 3.87
9.00/9.25	c mistral : 0.71
9.00/9.25	c abscon : 2.33864
9.00/9.25	c
9.00/9.25	c
9.00/9.25	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-mas74.xml
9.00/9.25	c 19 >   0.000000 | c 35 >   0.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  19.011100 | c 34 >   0.000000 | c 16 > 239.000000 | c 13 >   2.447610 | c 14 >   7.807350 | c 11 >   9.152280 | c 12 >   2.421360 | c 21 >   1.396420 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  11.506800 | c 1 >   7.832890 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  11.506800 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.090300 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
9.00/9.26	c choco : 2.83
9.00/9.26	c mistral : 0.65
9.00/9.26	c abscon : 8.5807
9.00/9.26	c
9.00/9.26	c
9.00/9.26	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-mas76.xml
9.00/9.26	c 19 >   0.000000 | c 35 >   0.000000 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  18.961600 | c 34 >   0.000000 | c 16 > 239.000000 | c 13 >   2.356230 | c 14 >   7.807350 | c 11 >   9.139550 | c 12 >   2.362290 | c 21 >   1.396420 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  11.432000 | c 1 >   7.832890 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  11.432000 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  19.025100 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
9.00/9.26	c choco : 2.67
9.00/9.26	c mistral : 0.58
9.00/9.26	c abscon : 8.38772
9.00/9.26	c
9.00/9.26	c
9.00/9.26	c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/9sym-b.xml
9.00/9.26	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
9.00/9.27	c choco : 5.13
9.00/9.27	c mistral : 1.67
9.00/9.27	c abscon : 2.76658
9.00/9.27	c
9.00/9.27	c
9.00/9.27	c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-stein45.xml
9.00/9.27	c 19 >   0.000000 | c 35 >  29.879200 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  12.144700 | c 34 >  29.879200 | c 16 >  45.000000 | c 13 >   2.372830 | c 14 >   3.584960 | c 11 >   9.546890 | c 12 >   0.910486 | 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.457380 | c 1 >   5.491850 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >   9.457380 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  11.608300 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
9.00/9.27	c choco : 1.83
9.00/9.27	c mistral : 0.05
9.00/9.27	c abscon : 0.839872
9.00/9.27	c
9.00/9.27	c
9.00/9.27	c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/stein45.xml
9.00/9.27	c 19 >   0.000000 | c 35 >  29.879200 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >   0.000000 | c 15 >  12.135400 | c 34 >  29.879200 | c 16 >  45.000000 | c 13 >   2.373190 | c 14 >   3.584960 | c 11 >   9.546890 | c 12 >   0.910486 | 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.457380 | c 1 >   5.491850 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >   9.457380 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  11.608300 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
9.00/9.28	c choco : 1.85
9.00/9.28	c mistral : 0.05
9.00/9.28	c abscon : 0.831872
9.00/9.28	c
9.00/9.28	c
9.00/9.28	c /home/eomahony/cpZilla/CSP/pseudoSeries/course/ss97-4.xml
9.00/9.28	c 19 >  47.631600 | c 35 >  46.561400 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  38.842100 | c 15 >  17.622800 | c 34 >  73.008800 | c 16 > 195.000000 | c 13 >   0.050395 | c 14 >   9.411510 | c 11 >  13.409800 | c 12 >   1.282170 | c 21 >   1.412980 | c 20 >  52.368400 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.572500 | c 1 >  11.155500 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.506800 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  18.835000 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
9.00/9.29	c choco : 1801.0
9.00/9.29	c mistral : 4.13
9.00/9.29	c abscon : 1800.06
9.00/9.29	c
9.00/9.29	c
9.00/9.29	c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/bench1-pi.xml
9.00/9.29	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
9.00/9.29	c choco : 10.13
9.00/9.29	c mistral : 1.24681
9.00/9.29	c abscon : 5.08023
9.00/9.29	c
9.00/9.29	c
9.00/9.29	c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-neos16.xml
9.00/9.29	c 19 >  35.173100 | c 35 >  51.487400 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  58.877500 | c 15 >  19.272300 | c 34 >  96.688500 | c 16 > 128.000000 | c 13 >   2.942240 | c 14 >   8.566050 | c 11 >  13.219500 | c 12 >   1.620620 | c 21 >   1.414210 | c 20 >  64.826900 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  13.243500 | c 1 >   8.857980 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  13.186400 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  17.230100 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
9.07/9.30	c choco : 5.46
9.07/9.30	c mistral : 1800.03
9.07/9.30	c abscon : 314.036
9.07/9.30	c
9.07/9.30	c
9.07/9.30	c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-pp08aCUTS.xml
9.07/9.30	c 19 >   0.000000 | c 35 >  64.598900 | c 17 >   0.000000 | c 18 >   0.000000 | c 33 >  20.534800 | c 15 >  20.157300 | c 34 > 127.487000 | c 16 > 147.000000 | c 13 >  -0.784144 | c 14 >  10.462500 | c 11 >  12.167400 | c 12 >   2.516780 | c 21 >   1.414210 | c 20 > 100.000000 | c 22 >   1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 >  -1.000000 | c 3 >  -1.000000 | c 2 >  -1.000000 | c 10 >  15.436900 | c 1 >  12.167400 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  15.436900 | c 6 >  -1.000000 | c 32 >  -1.000000 | c 5 >  31.838100 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
9.07/9.31	c choco : 482.24
9.07/9.31	c mistral : 1800.08
9.07/9.31	c abscon : 1800.1
9.07/9.31	c
9.07/9.31	c
9.07/9.31	c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-23-01.xml
9.07/9.31	c 19 >   0.000000 | c 35 >   0.141343 | c 17 >   5.729510 | c 18 >   0.000000 | c 33 >   0.106007 | c 15 >  17.829400 | c 34 >   0.106007 | c 16 >  46.000000 | c 13 >   4.393390 | c 14 >   6.807350 | c 11 >   8.781360 | c 12 >   5.873160 | c 21 >   5.099020 | c 20 >  94.270500 | c 22 >   5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 >   0.000000 | c 26 >   0.000000 | c 27 >   4.883720 | c 28 >   5.116280 | c 29 >  -1.000000 | c 3 >   8.781360 | c 2 >  -1.000000 | c 10 >  14.380100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >  -1.000000 | c 7 >  -1.000000 | c 6 >  14.161100 | c 32 >  -1.000000 | c 5 >  15.553100 | c 31 >  -1.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
9.07/9.31	c choco : 29.9
9.07/9.31	c mistral : 6.32
9.07/9.31	c abscon : 30.52
9.07/9.31	c
9.07/9.31	c
9.07/9.32	c Length: 40
9.07/9.32	c 0.8757243630275467  21.827782701094492  43.983663066603484  44.89183095278718  46.01833276245382  46.1040459087779  46.32734845827278  47.19543883209584  47.669380561498805  61.898728909828996  67.89626771800329  69.7404706276573  70.13646629224772  75.97637793637314  76.47238489253948  76.55140508130991  76.92015672175923  77.02688283888554  78.29229468804216  83.73937304673531  89.69765000426933  89.86362922520267  90.18924958921102  92.77857026615415  93.51797900505254  93.58137145681927  93.71205871703279  94.23149240292493  96.60226365276644  97.76893627111988  100.46150091094948  100.47115354277017  102.50187693893756  102.58614318358458  102.58690075087422  105.24198376160078  106.27795717175802  109.00670857014352  110.78225981385917  111.04078355955953  
9.07/9.32	c 
9.07/9.32	c 1.0  0.8402034857688344  0.7187505999480056  0.7145169686239774  0.7093343226500101  0.7089430622481863  0.7079257626251767  0.7039985847565522  0.7018728391047921  0.6435323631074258  0.6217494966302755  0.6153447964307313  0.6139867204456388  0.5946327442324436  0.5930450006546034  0.5927928356668695  0.5916189248808349  0.5912800322634353  0.5872913007394355  0.5707185237176294  0.5536294712256945  0.5531680621336726  0.5522650940969231  0.5451883075751158  0.5432006228544003  0.5430308850942592  0.5426812952843418  0.5412962432024397  0.5350634023266274  0.532048580377003  0.5252186900973761  0.5251945209000211  0.5201587840901457  0.5199519086755595  0.5199500495781618  0.5135150425493424  0.5110471916761965  0.5046589827229595  0.5005873628218912  0.5  
9.07/9.33	c
9.07/9.33	c solver 0
9.07/9.33	c	  before 0.0 seconds: {} 0
9.07/9.33	c	  before 18.0 seconds: {0, 1, 7, 12, 15, 17, 18, 23, 24, 25, 27, 29, 30, 31, 32, 33, 34, 36} 10755
9.07/9.33	c	  before 36.0 seconds: {0, 1, 7, 12, 15, 17, 18, 23, 24, 25, 27, 29, 30, 31, 32, 33, 34, 36, 39} 11255
9.07/9.33	c	  before 54.0 seconds: {0, 1, 7, 9, 12, 15, 17, 18, 23, 24, 25, 27, 29, 30, 31, 32, 33, 34, 36, 39} 11899
9.07/9.33	c	  before 144.0 seconds: {0, 1, 7, 9, 10, 12, 14, 15, 17, 18, 23, 24, 25, 27, 29, 30, 31, 32, 33, 34, 36, 39} 13114
9.07/9.33	c	  before 180.0 seconds: {0, 1, 6, 7, 9, 10, 12, 14, 15, 17, 18, 23, 24, 25, 27, 29, 30, 31, 32, 33, 34, 36, 39} 13822
9.07/9.33	c	  before 216.0 seconds: {0, 1, 3, 6, 7, 9, 10, 12, 14, 15, 17, 18, 23, 24, 25, 27, 29, 30, 31, 32, 33, 34, 36, 39} 14536
9.07/9.33	c	  before 324.0 seconds: {0, 1, 3, 6, 7, 9, 10, 12, 14, 15, 17, 18, 23, 24, 25, 27, 29, 30, 31, 32, 33, 34, 36, 37, 39} 15041
9.07/9.33	c	  before 396.0 seconds: {0, 1, 3, 5, 6, 7, 9, 10, 12, 14, 15, 17, 18, 23, 24, 25, 27, 29, 30, 31, 32, 33, 34, 36, 37, 39} 15750
9.07/9.33	c	  before 450.0 seconds: {0, 1, 3, 5, 6, 7, 9, 10, 12, 14, 15, 16, 17, 18, 23, 24, 25, 27, 29, 30, 31, 32, 33, 34, 36, 37, 39} 16341
9.07/9.33	c	  before 1242.0 seconds: {0, 1, 3, 5, 6, 7, 8, 9, 10, 12, 14, 15, 16, 17, 18, 23, 24, 25, 27, 29, 30, 31, 32, 33, 34, 36, 37, 39} 17043
9.07/9.33	c
9.07/9.33	c solver 1
9.07/9.33	c	  before 0.0 seconds: {} 0
9.07/9.33	c	  before 18.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 39} 20558
9.07/9.33	c	  before 36.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 39} 21093
9.07/9.33	c	  before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 39} 21811
9.07/9.33	c	  before 252.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 39} 22403
9.07/9.33	c
9.07/9.33	c solver 2
9.07/9.33	c	  before 0.0 seconds: {} 0
9.07/9.33	c	  before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 10, 12, 13, 14, 15, 18, 19, 23, 24, 25, 27, 29, 30, 31, 32, 33, 34, 36, 37} 16608
9.07/9.33	c	  before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 12, 13, 14, 15, 17, 18, 19, 23, 24, 25, 27, 29, 30, 31, 32, 33, 34, 36, 37, 39} 18401
9.07/9.33	c	  before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 12, 13, 14, 15, 17, 18, 19, 21, 23, 24, 25, 27, 29, 30, 31, 32, 33, 34, 36, 37, 39} 18955
9.07/9.33	c	  before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 12, 13, 14, 15, 17, 18, 19, 20, 21, 23, 24, 25, 27, 29, 30, 31, 32, 33, 34, 36, 37, 39} 19508
9.07/9.33	c	  before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 29, 30, 31, 32, 33, 34, 36, 37, 39} 20061
9.07/9.33	c	  before 486.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 20561
9.07/9.33	c
9.07/9.33	cTotal time: 110
9.07/9.34	c	  run abscon for 1242.0 seconds {0, 1, 3, 5, 6, 7, 8, 9, 10, 12, 14, 15, 16, 17, 18, 23, 24, 25, 27, 29, 30, 31, 32, 33, 34, 36, 37, 39} 17043
9.07/9.34	c	  run mistral for 54.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 39} 21811
9.07/9.34	c	  run choco for 486.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 20561
9.07/9.34	c Starting solver: HOME/cpHydra_k_40/solver/abscon
9.07/9.34	c On Instance: HOME/instance-1062061-1215133717.xml
9.07/9.34	c Running for: 1242 seconds
15.03/15.46	s SAT
15.03/15.46	v  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 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 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 1 1 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 1 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 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 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 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 1 1 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 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 1 1 1 1 1 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 1 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 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 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 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 0 0 0 1 1 0 0 0 0 0 0 1 1 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 1 1 0 0 1 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 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 1 1 1 1 1 1 0 0 0 0 0 1 0 0 1 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 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 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 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 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 1 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 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 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 1 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 1 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 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 1 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 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 1 0 0 0 0 0 0 0 1 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 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 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 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 1 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 1 0 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 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 1 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 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 1 0 1 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 1 0 0 1 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 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 1 0 1 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 1 0 0 0 0 0 1 1 1 1 0 1 1 0 0 0 0 0 0 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 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 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 
15.03/15.46	d ASSIGNMENTS 2459
15.03/15.46	d CHECKS 34670

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1062061-1215133717/watcher-1062061-1215133717 -o /tmp/evaluation-result-1062061-1215133717/solver-1062061-1215133717 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1062061-1215133717.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.05 2.08 1.98 4/81 20030
/proc/meminfo: memFree=1465200/2055920 swapFree=4180436/4192956
[pid=20030] ppid=20028 vsize=18572 CPUtime=0
/proc/20030/stat : 20030 (runsolver) R 20028 20030 19876 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1992340485 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 231962373415 0 0 4096 24578 0 0 0 17 1 0 0
/proc/20030/statm: 4643 292 257 25 0 2626 0

[startup+0.0960259 s]
/proc/loadavg: 2.05 2.08 1.98 4/81 20030
/proc/meminfo: memFree=1465200/2055920 swapFree=4180436/4192956
[pid=20030] ppid=20028 vsize=5360 CPUtime=0
/proc/20030/stat : 20030 (hydra) S 20028 20030 19876 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1992340485 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20030/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.101023 s]
/proc/loadavg: 2.05 2.08 1.98 4/81 20030
/proc/meminfo: memFree=1465200/2055920 swapFree=4180436/4192956
[pid=20030] ppid=20028 vsize=5360 CPUtime=0
/proc/20030/stat : 20030 (hydra) S 20028 20030 19876 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1992340485 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20030/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.301058 s]
/proc/loadavg: 2.05 2.08 1.98 4/81 20030
/proc/meminfo: memFree=1465200/2055920 swapFree=4180436/4192956
[pid=20030] ppid=20028 vsize=5360 CPUtime=0
/proc/20030/stat : 20030 (hydra) S 20028 20030 19876 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1992340485 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20030/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.701113 s]
/proc/loadavg: 2.05 2.08 1.98 4/81 20030
/proc/meminfo: memFree=1465200/2055920 swapFree=4180436/4192956
[pid=20030] ppid=20028 vsize=5360 CPUtime=0
/proc/20030/stat : 20030 (hydra) S 20028 20030 19876 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1992340485 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20030/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+1.50122 s]
/proc/loadavg: 2.05 2.08 1.98 3/83 20034
/proc/meminfo: memFree=1403872/2055920 swapFree=4180436/4192956
[pid=20030] ppid=20028 vsize=5360 CPUtime=0
/proc/20030/stat : 20030 (hydra) S 20028 20030 19876 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1992340485 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20030/statm: 1340 236 195 169 0 51 0
[pid=20034] ppid=20030 vsize=70848 CPUtime=1.47
/proc/20034/stat : 20034 (xsolve) R 20030 20030 19876 0 -1 4194304 18026 0 0 0 141 6 0 0 25 0 1 0 1992340486 72548352 16856 996147200 134512640 135239763 4294956176 18446744073709551615 135073784 0 0 4096 0 0 0 0 17 1 0 0
/proc/20034/statm: 17712 16856 429 177 0 16615 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 76208

[startup+3.10143 s]
/proc/loadavg: 2.05 2.08 1.98 3/83 20034
/proc/meminfo: memFree=1391392/2055920 swapFree=4180436/4192956
[pid=20030] ppid=20028 vsize=5360 CPUtime=2.74
/proc/20030/stat : 20030 (hydra) S 20028 20030 19876 0 -1 4194304 375 21690 0 0 0 0 264 10 18 0 1 0 1992340485 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20030/statm: 1340 238 196 169 0 51 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 5360

[startup+6.30287 s]
/proc/loadavg: 2.12 2.10 1.99 4/91 20046
/proc/meminfo: memFree=1450336/2055920 swapFree=4180436/4192956
[pid=20030] ppid=20028 vsize=5360 CPUtime=2.74
/proc/20030/stat : 20030 (hydra) S 20028 20030 19876 0 -1 4194304 375 21690 0 0 0 0 264 10 18 0 1 0 1992340485 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20030/statm: 1340 238 196 169 0 51 0
[pid=20038] ppid=20030 vsize=197108 CPUtime=3.46
/proc/20038/stat : 20038 (java) S 20030 20030 19876 0 -1 0 8428 0 1 0 334 12 0 0 18 0 9 0 1992340762 201838592 6980 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20038/statm: 49277 6980 2541 9 0 43859 0
[pid=20038/tid=20039] ppid=20030 vsize=197108 CPUtime=2.77
/proc/20038/task/20039/stat : 20039 (java) R 20030 20030 19876 0 -1 64 3210 0 1 0 272 5 0 0 25 0 9 0 1992340764 201838592 6980 996147200 134512640 134550740 4294955968 18446744073709551615 4126639126 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20038/tid=20040] ppid=20030 vsize=197108 CPUtime=0.5
/proc/20038/task/20040/stat : 20040 (java) S 20030 20030 19876 0 -1 64 3865 0 0 0 44 6 0 0 16 0 9 0 1992340765 201838592 6980 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20038/tid=20041] ppid=20030 vsize=197108 CPUtime=0
/proc/20038/task/20041/stat : 20041 (java) S 20030 20030 19876 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1992340765 201838592 6980 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20038/tid=20042] ppid=20030 vsize=197108 CPUtime=0
/proc/20038/task/20042/stat : 20042 (java) S 20030 20030 19876 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992340765 201838592 6980 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20038/tid=20043] ppid=20030 vsize=197108 CPUtime=0
/proc/20038/task/20043/stat : 20043 (java) S 20030 20030 19876 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992340767 201838592 6980 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20038/tid=20044] ppid=20030 vsize=197108 CPUtime=0.17
/proc/20038/task/20044/stat : 20044 (java) S 20030 20030 19876 0 -1 64 629 0 0 0 17 0 0 0 16 0 9 0 1992340767 201838592 6980 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20038/tid=20045] ppid=20030 vsize=197108 CPUtime=0
/proc/20038/task/20045/stat : 20045 (java) S 20030 20030 19876 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1992340767 201838592 6980 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20038/tid=20046] ppid=20030 vsize=197108 CPUtime=0
/proc/20038/task/20046/stat : 20046 (java) S 20030 20030 19876 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1992340767 201838592 6980 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 202468

[startup+12.7037 s]
/proc/loadavg: 2.11 2.10 1.99 3/103 20058
/proc/meminfo: memFree=1369344/2055920 swapFree=4180436/4192956
[pid=20030] ppid=20028 vsize=5360 CPUtime=2.74
/proc/20030/stat : 20030 (hydra) S 20028 20030 19876 0 -1 4194304 375 21690 0 0 0 0 264 10 18 0 1 0 1992340485 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20030/statm: 1340 238 196 169 0 51 0
[pid=20038] ppid=20030 vsize=197432 CPUtime=6.37
/proc/20038/stat : 20038 (java) S 20030 20030 19876 0 -1 0 13945 0 1 0 615 22 0 0 18 0 10 0 1992340762 202170368 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20038/statm: 49358 9484 2544 9 0 43940 0
[pid=20048] ppid=20038 vsize=5356 CPUtime=0
/proc/20048/stat : 20048 (abscon) S 20038 20030 19876 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 1992341419 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 231962370884 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/20048/statm: 1339 237 196 169 0 50 0
[pid=20049] ppid=20048 vsize=655708 CPUtime=3.27
/proc/20049/stat : 20049 (java) S 20048 20030 19876 0 -1 0 19729 0 1 0 308 19 0 0 25 0 9 0 1992341420 671444992 19226 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20049/statm: 163927 19226 2012 9 0 158455 0
[pid=20049/tid=20051] ppid=20048 vsize=655708 CPUtime=2.85
/proc/20049/task/20051/stat : 20051 (java) R 20048 20030 19876 0 -1 64 12464 0 1 0 271 14 0 0 25 0 9 0 1992341421 671444992 19226 996147200 134512640 134550740 4294955808 18446744073709551615 4127056443 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20049/tid=20052] ppid=20048 vsize=655708 CPUtime=0.16
/proc/20049/task/20052/stat : 20052 (java) S 20048 20030 19876 0 -1 64 6058 0 0 0 13 3 0 0 16 0 9 0 1992341422 671444992 19226 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20049/tid=20053] ppid=20048 vsize=655708 CPUtime=0
/proc/20049/task/20053/stat : 20053 (java) S 20048 20030 19876 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1992341423 671444992 19226 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20049/tid=20054] ppid=20048 vsize=655708 CPUtime=0
/proc/20049/task/20054/stat : 20054 (java) S 20048 20030 19876 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992341423 671444992 19226 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20049/tid=20055] ppid=20048 vsize=655708 CPUtime=0
/proc/20049/task/20055/stat : 20055 (java) S 20048 20030 19876 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992341424 671444992 19226 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20049/tid=20056] ppid=20048 vsize=655708 CPUtime=0.24
/proc/20049/task/20056/stat : 20056 (java) S 20048 20030 19876 0 -1 64 661 0 0 0 24 0 0 0 15 0 9 0 1992341424 671444992 19226 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20049/tid=20057] ppid=20048 vsize=655708 CPUtime=0
/proc/20049/task/20057/stat : 20057 (java) S 20048 20030 19876 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992341425 671444992 19226 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20049/tid=20058] ppid=20048 vsize=655708 CPUtime=0
/proc/20049/task/20058/stat : 20058 (java) S 20048 20030 19876 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992341425 671444992 19226 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20050] ppid=20048 vsize=7044 CPUtime=0
/proc/20050/stat : 20050 (translate) S 20048 20030 19876 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1992341420 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 231962542162 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/20050/statm: 1761 213 182 1 0 41 0
[pid=20038/tid=20039] ppid=20030 vsize=197432 CPUtime=5
/proc/20038/task/20039/stat : 20039 (java) S 20030 20030 19876 0 -1 64 3906 0 1 0 491 9 0 0 25 0 10 0 1992340764 202170368 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=20038/tid=20040] ppid=20030 vsize=197432 CPUtime=1.11
/proc/20038/task/20040/stat : 20040 (java) S 20030 20030 19876 0 -1 64 8573 0 0 0 100 11 0 0 16 0 10 0 1992340765 202170368 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20038/tid=20041] ppid=20030 vsize=197432 CPUtime=0
/proc/20038/task/20041/stat : 20041 (java) S 20030 20030 19876 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1992340765 202170368 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20038/tid=20042] ppid=20030 vsize=197432 CPUtime=0
/proc/20038/task/20042/stat : 20042 (java) S 20030 20030 19876 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1992340765 202170368 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20038/tid=20043] ppid=20030 vsize=197432 CPUtime=0
/proc/20038/task/20043/stat : 20043 (java) S 20030 20030 19876 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1992340767 202170368 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20038/tid=20044] ppid=20030 vsize=197432 CPUtime=0.22
/proc/20038/task/20044/stat : 20044 (java) S 20030 20030 19876 0 -1 64 667 0 0 0 22 0 0 0 16 0 10 0 1992340767 202170368 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20038/tid=20045] ppid=20030 vsize=197432 CPUtime=0
/proc/20038/task/20045/stat : 20045 (java) S 20030 20030 19876 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1992340767 202170368 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20038/tid=20046] ppid=20030 vsize=197432 CPUtime=0
/proc/20038/task/20046/stat : 20046 (java) S 20030 20030 19876 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1992340767 202170368 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20038/tid=20047] ppid=20030 vsize=197432 CPUtime=0
/proc/20038/task/20047/stat : 20047 (java) S 20030 20030 19876 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1992341419 202170368 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 870900

Solver just ended. Dumping a history of the last processes samples

[startup+14.308 s]
/proc/loadavg: 2.18 2.11 1.99 3/103 20058
/proc/meminfo: memFree=1328448/2055920 swapFree=4180436/4192956
[pid=20030] ppid=20028 vsize=5360 CPUtime=2.74
/proc/20030/stat : 20030 (hydra) S 20028 20030 19876 0 -1 4194304 375 21690 0 0 0 0 264 10 18 0 1 0 1992340485 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20030/statm: 1340 238 196 169 0 51 0
[pid=20038] ppid=20030 vsize=197432 CPUtime=6.37
/proc/20038/stat : 20038 (java) S 20030 20030 19876 0 -1 0 13972 0 1 0 615 22 0 0 18 0 10 0 1992340762 202170368 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20038/statm: 49358 9484 2544 9 0 43940 0
[pid=20048] ppid=20038 vsize=5356 CPUtime=0
/proc/20048/stat : 20048 (abscon) S 20038 20030 19876 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 1992341419 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 231962370884 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/20048/statm: 1339 237 196 169 0 50 0
[pid=20049] ppid=20048 vsize=655792 CPUtime=4.84
/proc/20049/stat : 20049 (java) S 20048 20030 19876 0 -1 0 30064 0 1 0 459 25 0 0 25 0 9 0 1992341420 671531008 29370 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20049/statm: 163948 29370 2616 9 0 158476 0
[pid=20049/tid=20051] ppid=20048 vsize=655792 CPUtime=4.03
/proc/20049/task/20051/stat : 20051 (java) R 20048 20030 19876 0 -1 64 12569 0 1 0 388 15 0 0 25 0 9 0 1992341421 671531008 29370 996147200 134512640 134550740 4294955808 18446744073709551615 4127242029 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20049/tid=20052] ppid=20048 vsize=655792 CPUtime=0.45
/proc/20049/task/20052/stat : 20052 (java) S 20048 20030 19876 0 -1 64 16235 0 0 0 37 8 0 0 16 0 9 0 1992341422 671531008 29370 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20049/tid=20053] ppid=20048 vsize=655792 CPUtime=0
/proc/20049/task/20053/stat : 20053 (java) S 20048 20030 19876 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1992341423 671531008 29370 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20049/tid=20054] ppid=20048 vsize=655792 CPUtime=0
/proc/20049/task/20054/stat : 20054 (java) S 20048 20030 19876 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992341423 671531008 29370 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20049/tid=20055] ppid=20048 vsize=655792 CPUtime=0
/proc/20049/task/20055/stat : 20055 (java) S 20048 20030 19876 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992341424 671531008 29370 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20049/tid=20056] ppid=20048 vsize=655792 CPUtime=0.32
/proc/20049/task/20056/stat : 20056 (java) S 20048 20030 19876 0 -1 64 714 0 0 0 32 0 0 0 16 0 9 0 1992341424 671531008 29370 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20049/tid=20057] ppid=20048 vsize=655792 CPUtime=0
/proc/20049/task/20057/stat : 20057 (java) S 20048 20030 19876 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992341425 671531008 29370 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20049/tid=20058] ppid=20048 vsize=655792 CPUtime=0
/proc/20049/task/20058/stat : 20058 (java) S 20048 20030 19876 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992341425 671531008 29370 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20050] ppid=20048 vsize=7044 CPUtime=0
/proc/20050/stat : 20050 (translate) S 20048 20030 19876 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1992341420 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 231962542162 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/20050/statm: 1761 213 182 1 0 41 0
[pid=20038/tid=20039] ppid=20030 vsize=197432 CPUtime=5
/proc/20038/task/20039/stat : 20039 (java) S 20030 20030 19876 0 -1 64 3906 0 1 0 491 9 0 0 25 0 10 0 1992340764 202170368 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=20038/tid=20040] ppid=20030 vsize=197432 CPUtime=1.11
/proc/20038/task/20040/stat : 20040 (java) S 20030 20030 19876 0 -1 64 8573 0 0 0 100 11 0 0 16 0 10 0 1992340765 202170368 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20038/tid=20041] ppid=20030 vsize=197432 CPUtime=0
/proc/20038/task/20041/stat : 20041 (java) S 20030 20030 19876 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1992340765 202170368 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20038/tid=20042] ppid=20030 vsize=197432 CPUtime=0
/proc/20038/task/20042/stat : 20042 (java) S 20030 20030 19876 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1992340765 202170368 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20038/tid=20043] ppid=20030 vsize=197432 CPUtime=0
/proc/20038/task/20043/stat : 20043 (java) S 20030 20030 19876 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1992340767 202170368 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20038/tid=20044] ppid=20030 vsize=197432 CPUtime=0.22
/proc/20038/task/20044/stat : 20044 (java) S 20030 20030 19876 0 -1 64 667 0 0 0 22 0 0 0 16 0 10 0 1992340767 202170368 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20038/tid=20045] ppid=20030 vsize=197432 CPUtime=0
/proc/20038/task/20045/stat : 20045 (java) S 20030 20030 19876 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1992340767 202170368 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20038/tid=20046] ppid=20030 vsize=197432 CPUtime=0
/proc/20038/task/20046/stat : 20046 (java) S 20030 20030 19876 0 -1 64 33 0 0 0 0 0 0 0 15 0 10 0 1992340767 202170368 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20038/tid=20047] ppid=20030 vsize=197432 CPUtime=0
/proc/20038/task/20047/stat : 20047 (java) S 20030 20030 19876 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1992341419 202170368 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 13.95
Current children cumulated vsize (KiB) 870984

[startup+15.1031 s]
/proc/loadavg: 2.18 2.11 1.99 3/103 20058
/proc/meminfo: memFree=1328448/2055920 swapFree=4180436/4192956
[pid=20030] ppid=20028 vsize=5360 CPUtime=2.74
/proc/20030/stat : 20030 (hydra) S 20028 20030 19876 0 -1 4194304 375 21690 0 0 0 0 264 10 18 0 1 0 1992340485 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20030/statm: 1340 238 196 169 0 51 0
[pid=20038] ppid=20030 vsize=197432 CPUtime=6.37
/proc/20038/stat : 20038 (java) S 20030 20030 19876 0 -1 0 13972 0 1 0 615 22 0 0 18 0 10 0 1992340762 202170368 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20038/statm: 49358 9484 2544 9 0 43940 0
[pid=20048] ppid=20038 vsize=5356 CPUtime=0
/proc/20048/stat : 20048 (abscon) S 20038 20030 19876 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 1992341419 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 231962370884 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/20048/statm: 1339 237 196 169 0 50 0
[pid=20049] ppid=20048 vsize=655792 CPUtime=5.63
/proc/20049/stat : 20049 (java) S 20048 20030 19876 0 -1 0 30073 0 1 0 538 25 0 0 25 0 9 0 1992341420 671531008 29378 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20049/statm: 163948 29378 2616 9 0 158476 0
[pid=20049/tid=20051] ppid=20048 vsize=655792 CPUtime=4.8
/proc/20049/task/20051/stat : 20051 (java) R 20048 20030 19876 0 -1 64 12569 0 1 0 465 15 0 0 25 0 9 0 1992341421 671531008 29378 996147200 134512640 134550740 4294955808 18446744073709551615 4127210108 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20049/tid=20052] ppid=20048 vsize=655792 CPUtime=0.45
/proc/20049/task/20052/stat : 20052 (java) S 20048 20030 19876 0 -1 64 16235 0 0 0 37 8 0 0 17 0 9 0 1992341422 671531008 29378 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20049/tid=20053] ppid=20048 vsize=655792 CPUtime=0
/proc/20049/task/20053/stat : 20053 (java) S 20048 20030 19876 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1992341423 671531008 29378 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20049/tid=20054] ppid=20048 vsize=655792 CPUtime=0
/proc/20049/task/20054/stat : 20054 (java) S 20048 20030 19876 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992341423 671531008 29378 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20049/tid=20055] ppid=20048 vsize=655792 CPUtime=0
/proc/20049/task/20055/stat : 20055 (java) S 20048 20030 19876 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992341424 671531008 29378 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20049/tid=20056] ppid=20048 vsize=655792 CPUtime=0.34
/proc/20049/task/20056/stat : 20056 (java) S 20048 20030 19876 0 -1 64 723 0 0 0 34 0 0 0 15 0 9 0 1992341424 671531008 29378 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20049/tid=20057] ppid=20048 vsize=655792 CPUtime=0
/proc/20049/task/20057/stat : 20057 (java) S 20048 20030 19876 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992341425 671531008 29378 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20049/tid=20058] ppid=20048 vsize=655792 CPUtime=0
/proc/20049/task/20058/stat : 20058 (java) S 20048 20030 19876 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992341425 671531008 29378 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20050] ppid=20048 vsize=7044 CPUtime=0
/proc/20050/stat : 20050 (translate) S 20048 20030 19876 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1992341420 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 231962542162 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/20050/statm: 1761 213 182 1 0 41 0
[pid=20038/tid=20039] ppid=20030 vsize=197432 CPUtime=5
/proc/20038/task/20039/stat : 20039 (java) S 20030 20030 19876 0 -1 64 3906 0 1 0 491 9 0 0 25 0 10 0 1992340764 202170368 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=20038/tid=20040] ppid=20030 vsize=197432 CPUtime=1.11
/proc/20038/task/20040/stat : 20040 (java) S 20030 20030 19876 0 -1 64 8573 0 0 0 100 11 0 0 16 0 10 0 1992340765 202170368 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20038/tid=20041] ppid=20030 vsize=197432 CPUtime=0
/proc/20038/task/20041/stat : 20041 (java) S 20030 20030 19876 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1992340765 202170368 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20038/tid=20042] ppid=20030 vsize=197432 CPUtime=0
/proc/20038/task/20042/stat : 20042 (java) S 20030 20030 19876 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1992340765 202170368 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20038/tid=20043] ppid=20030 vsize=197432 CPUtime=0
/proc/20038/task/20043/stat : 20043 (java) S 20030 20030 19876 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1992340767 202170368 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20038/tid=20044] ppid=20030 vsize=197432 CPUtime=0.22
/proc/20038/task/20044/stat : 20044 (java) S 20030 20030 19876 0 -1 64 667 0 0 0 22 0 0 0 16 0 10 0 1992340767 202170368 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20038/tid=20045] ppid=20030 vsize=197432 CPUtime=0
/proc/20038/task/20045/stat : 20045 (java) S 20030 20030 19876 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1992340767 202170368 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20038/tid=20046] ppid=20030 vsize=197432 CPUtime=0
/proc/20038/task/20046/stat : 20046 (java) S 20030 20030 19876 0 -1 64 33 0 0 0 0 0 0 0 15 0 10 0 1992340767 202170368 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20038/tid=20047] ppid=20030 vsize=197432 CPUtime=0
/proc/20038/task/20047/stat : 20047 (java) S 20030 20030 19876 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1992341419 202170368 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.74
Current children cumulated vsize (KiB) 870984

[startup+15.5022 s]
/proc/loadavg: 2.18 2.11 1.99 3/103 20058
/proc/meminfo: memFree=1328448/2055920 swapFree=4180436/4192956
[pid=20030] ppid=20028 vsize=5360 CPUtime=2.74
/proc/20030/stat : 20030 (hydra) S 20028 20030 19876 0 -1 4194304 375 21690 0 0 0 0 264 10 18 0 1 0 1992340485 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20030/statm: 1340 238 196 169 0 51 0
[pid=20038] ppid=20030 vsize=0 CPUtime=12.31
/proc/20038/stat : 20038 (java) R 20030 20030 19876 0 -1 1028 14074 30693 1 1 615 22 567 27 16 0 1 0 1992340762 0 0 996147200 0 0 0 0 0 0 0 0 16800975 0 0 0 17 1 0 0
/proc/20038/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 15.05
Current children cumulated vsize (KiB) 5360

Child status: 0
Real time (s): 15.5048
CPU time (s): 15.0917
CPU user time (s): 14.4758
CPU system time (s): 0.615906
CPU usage (%): 97.336
Max. virtual memory (cumulated for all children) (KiB): 870984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.4758
system time used= 0.615906
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66844
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= 11201
involuntary context switches= 16360

runsolver used 0.071989 second user time and 0.173973 second system time

The end

Name	csp/pseudo/logic-synthesis/ normalized-ex5-pi.xml
MD5SUM	1ac4e78a26edc4b10d5750638375b473
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	2.6526
Satisfiable
(Un)Satisfiability was proved
Number of variables	2459
Number of constraints	845
Maximum constraint arity	146
Maximum domain size	2
Number of constraints which are defined in extension	0
Number of constraints which are defined in intension	845
Global constraints used (with number of constraints)

Trace number 1062061

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data (download as text)

Verifier Data (download as text)

Watcher Data (download as text)

Launcher Data (download as text)