Benchmark

LabelMeaning
SSolution {OPTIMUM FOUND or OPT | UNSATISFIABLE or UNSAT | UNKNOWN | Not available or N/A}
OBest solution found
TCPU time (TO for Time Out)
(out)(err)Standard output and standard error for each solver

ColorMeaning
TextBest solver column
TextOptimal solution with the best CPU time
TextOptimal solution and finished within the Time Out
TextOptimal solution and did not finish within the Time Out
TextTime Out
TextBuggy solution

Instance file name Best solver IncWMaxSatz PM2 QMaxSat0.11 QMaxSat0.4 WMaxSatz+ WMaxSatz-2009 WPM1 akmaxsat akmaxsat_ls claspMaxSat pwbo1.0 pwbo1.1 sat4j-maxsat wbo1.6
clq1-cv160c800l2g1.wcnf S = OPT
O = 61
T = 691.32		 S = OPT
O = 61
T = 691.32
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 70
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 61
T = 1033.29
(out)(err)		 S = OPT
O = 61
T = 1051.03
(out)(err)		 S = N/A
O = 67
T = TO
(out)(err)		 S = N/A
O = 237
T = TO
(out)(err)		 S = N/A
O = 119
T = TO
(out)(err)		 S = N/A
O = 89
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g10.wcnf S = OPT
O = 53
T = 393.06		 S = OPT
O = 53
T = 393.06
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 58
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 53
T = 1282.02
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 53
T = 500.91
(out)(err)		 S = OPT
O = 53
T = 516.16
(out)(err)		 S = N/A
O = 65
T = TO
(out)(err)		 S = N/A
O = 216
T = TO
(out)(err)		 S = N/A
O = 105
T = TO
(out)(err)		 S = N/A
O = 79
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g11.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 128
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 69
T = TO
(out)(err)		 S = N/A
O = 67
T = TO
(out)(err)		 S = N/A
O = 72
T = TO
(out)(err)		 S = N/A
O = 220
T = TO
(out)(err)		 S = N/A
O = 111
T = TO
(out)(err)		 S = N/A
O = 95
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv160c800l2g12.wcnf S = OPT
O = 59
T = 403.21		 S = OPT
O = 59
T = 403.21
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 68
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 59
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 59
T = 796.57
(out)(err)		 S = OPT
O = 59
T = 776.97
(out)(err)		 S = N/A
O = 70
T = TO
(out)(err)		 S = N/A
O = 238
T = TO
(out)(err)		 S = N/A
O = 107
T = TO
(out)(err)		 S = N/A
O = 86
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g13.wcnf S = OPT
O = 51
T = 19.15		 S = OPT
O = 51
T = 19.15
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 122
T = TO
(out)(err)		 S = OPT
O = 51
T = 258.70
(out)(err)		 S = OPT
O = 51
T = 122.03
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 51
T = 60.28
(out)(err)		 S = OPT
O = 51
T = 41.03
(out)(err)		 S = N/A
O = 60
T = TO
(out)(err)		 S = N/A
O = 235
T = TO
(out)(err)		 S = N/A
O = 84
T = TO
(out)(err)		 S = N/A
O = 74
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g14.wcnf S = OPT
O = 45
T = 3.94		 S = OPT
O = 45
T = 3.94
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 55
T = TO
(out)(err)		 S = OPT
O = 45
T = 35.35
(out)(err)		 S = OPT
O = 45
T = 14.46
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 45
T = 9.68
(out)(err)		 S = OPT
O = 45
T = 16.66
(out)(err)		 S = N/A
O = 55
T = TO
(out)(err)		 S = N/A
O = 226
T = TO
(out)(err)		 S = N/A
O = 88
T = TO
(out)(err)		 S = N/A
O = 70
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g15.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = 62
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 126
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 62
T = TO
(out)(err)		 S = N/A
O = 62
T = TO
(out)(err)		 S = N/A
O = 69
T = TO
(out)(err)		 S = N/A
O = 242
T = TO
(out)(err)		 S = N/A
O = 125
T = TO
(out)(err)		 S = N/A
O = 89
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv160c800l2g16.wcnf S = OPT
O = 56
T = 134.98		 S = OPT
O = 56
T = 134.98
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 72
T = TO
(out)(err)		 S = OPT
O = 56
T = 1218.05
(out)(err)		 S = OPT
O = 56
T = 520.08
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 56
T = 256.94
(out)(err)		 S = OPT
O = 56
T = 254.12
(out)(err)		 S = N/A
O = 63
T = TO
(out)(err)		 S = N/A
O = 231
T = TO
(out)(err)		 S = N/A
O = 123
T = TO
(out)(err)		 S = N/A
O = 87
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g17.wcnf S = OPT
O = 59
T = 946.68		 S = OPT
O = 59
T = 946.68
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 128
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 59
T = 1299.34
(out)(err)		 S = OPT
O = 59
T = 1289.97
(out)(err)		 S = N/A
O = 71
T = TO
(out)(err)		 S = N/A
O = 221
T = TO
(out)(err)		 S = N/A
O = 107
T = TO
(out)(err)		 S = N/A
O = 87
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g18.wcnf S = OPT
O = 55
T = 171.66		 S = OPT
O = 55
T = 171.66
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 67
T = TO
(out)(err)		 S = OPT
O = 55
T = 798.71
(out)(err)		 S = OPT
O = 55
T = 620.28
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 55
T = 558.32
(out)(err)		 S = OPT
O = 55
T = 327.26
(out)(err)		 S = N/A
O = 58
T = TO
(out)(err)		 S = N/A
O = 226
T = TO
(out)(err)		 S = N/A
O = 130
T = TO
(out)(err)		 S = N/A
O = 85
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g19.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 130
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 68
T = TO
(out)(err)		 S = N/A
O = 69
T = TO
(out)(err)		 S = N/A
O = 84
T = TO
(out)(err)		 S = N/A
O = 252
T = TO
(out)(err)		 S = N/A
O = 147
T = TO
(out)(err)		 S = N/A
O = 102
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g2.wcnf S = OPT
O = 48
T = 12.14		 S = OPT
O = 48
T = 12.14
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 66
T = TO
(out)(err)		 S = OPT
O = 48
T = 114.74
(out)(err)		 S = OPT
O = 48
T = 62.75
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 48
T = 19.41
(out)(err)		 S = OPT
O = 48
T = 27.11
(out)(err)		 S = N/A
O = 52
T = TO
(out)(err)		 S = N/A
O = 216
T = TO
(out)(err)		 S = N/A
O = 112
T = TO
(out)(err)		 S = N/A
O = 81
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv160c800l2g20.wcnf S = OPT
O = 46
T = 7.62		 S = OPT
O = 46
T = 7.62
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 64
T = TO
(out)(err)		 S = OPT
O = 46
T = 86.88
(out)(err)		 S = OPT
O = 46
T = 35.67
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 46
T = 18.50
(out)(err)		 S = OPT
O = 46
T = 33.26
(out)(err)		 S = N/A
O = 50
T = TO
(out)(err)		 S = N/A
O = 213
T = TO
(out)(err)		 S = N/A
O = 104
T = TO
(out)(err)		 S = N/A
O = 76
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g21.wcnf S = OPT
O = 56
T = 246.00		 S = OPT
O = 56
T = 246.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 115
T = TO
(out)(err)		 S = OPT
O = 56
T = 1740.90
(out)(err)		 S = OPT
O = 56
T = 749.11
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 56
T = 399.14
(out)(err)		 S = OPT
O = 56
T = 410.77
(out)(err)		 S = N/A
O = 62
T = TO
(out)(err)		 S = N/A
O = 222
T = TO
(out)(err)		 S = N/A
O = 112
T = TO
(out)(err)		 S = N/A
O = 78
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g22.wcnf S = OPT
O = 56
T = 172.94		 S = OPT
O = 56
T = 172.94
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 67
T = TO
(out)(err)		 S = OPT
O = 56
T = 943.51
(out)(err)		 S = OPT
O = 56
T = 801.73
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 56
T = 974.56
(out)(err)		 S = OPT
O = 56
T = 554.35
(out)(err)		 S = N/A
O = 68
T = TO
(out)(err)		 S = N/A
O = 221
T = TO
(out)(err)		 S = N/A
O = 99
T = TO
(out)(err)		 S = N/A
O = 90
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g23.wcnf S = OPT
O = 51
T = 11.85		 S = OPT
O = 51
T = 11.85
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 69
T = TO
(out)(err)		 S = OPT
O = 51
T = 162.01
(out)(err)		 S = OPT
O = 51
T = 70.24
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 51
T = 23.32
(out)(err)		 S = OPT
O = 51
T = 32.28
(out)(err)		 S = N/A
O = 55
T = TO
(out)(err)		 S = N/A
O = 233
T = TO
(out)(err)		 S = N/A
O = 135
T = TO
(out)(err)		 S = N/A
O = 72
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv160c800l2g24.wcnf S = OPT
O = 49
T = 14.22		 S = OPT
O = 49
T = 14.22
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 64
T = TO
(out)(err)		 S = OPT
O = 49
T = 148.51
(out)(err)		 S = OPT
O = 49
T = 82.82
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 49
T = 27.57
(out)(err)		 S = OPT
O = 49
T = 35.08
(out)(err)		 S = N/A
O = 56
T = TO
(out)(err)		 S = N/A
O = 227
T = TO
(out)(err)		 S = N/A
O = 96
T = TO
(out)(err)		 S = N/A
O = 77
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g25.wcnf S = OPT
O = 55
T = 721.49		 S = OPT
O = 55
T = 721.49
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 124
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 55
T = 775.97
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 55
T = 814.35
(out)(err)		 S = OPT
O = 55
T = 903.56
(out)(err)		 S = N/A
O = 60
T = TO
(out)(err)		 S = N/A
O = 226
T = TO
(out)(err)		 S = N/A
O = 96
T = TO
(out)(err)		 S = N/A
O = 81
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv160c800l2g26.wcnf S = OPT
O = 53
T = 342.74		 S = OPT
O = 53
T = 342.74
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 121
T = TO
(out)(err)		 S = N/A
O = 53
T = TO
(out)(err)		 S = OPT
O = 53
T = 1073.95
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 53
T = 614.71
(out)(err)		 S = OPT
O = 53
T = 603.97
(out)(err)		 S = N/A
O = 59
T = TO
(out)(err)		 S = N/A
O = 217
T = TO
(out)(err)		 S = N/A
O = 82
T = TO
(out)(err)		 S = N/A
O = 84
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g27.wcnf S = OPT
O = 56
T = 455.62		 S = OPT
O = 56
T = 455.62
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 67
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 56
T = 922.64
(out)(err)		 S = OPT
O = 56
T = 934.49
(out)(err)		 S = N/A
O = 59
T = TO
(out)(err)		 S = N/A
O = 245
T = TO
(out)(err)		 S = N/A
O = 108
T = TO
(out)(err)		 S = N/A
O = 89
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv160c800l2g28.wcnf S = OPT
O = 50
T = 57.41		 S = OPT
O = 50
T = 57.41
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 59
T = TO
(out)(err)		 S = OPT
O = 50
T = 445.72
(out)(err)		 S = OPT
O = 50
T = 164.51
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 50
T = 155.62
(out)(err)		 S = OPT
O = 50
T = 116.84
(out)(err)		 S = N/A
O = 54
T = TO
(out)(err)		 S = N/A
O = 210
T = TO
(out)(err)		 S = N/A
O = 92
T = TO
(out)(err)		 S = N/A
O = 75
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g29.wcnf S = OPT
O = 42
T = 5.63		 S = OPT
O = 42
T = 5.63
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 62
T = TO
(out)(err)		 S = OPT
O = 42
T = 43.86
(out)(err)		 S = OPT
O = 42
T = 27.93
(out)(err)		 S = N/A
O = N/A
T = 139.74
(out)(err)		 S = OPT
O = 42
T = 19.86
(out)(err)		 S = OPT
O = 42
T = 30.56
(out)(err)		 S = N/A
O = 45
T = TO
(out)(err)		 S = N/A
O = 206
T = TO
(out)(err)		 S = N/A
O = 93
T = TO
(out)(err)		 S = N/A
O = 70
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g3.wcnf S = OPT
O = 60
T = 814.94		 S = OPT
O = 60
T = 814.94
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 122
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 60
T = 1224.17
(out)(err)		 S = OPT
O = 60
T = 1244.35
(out)(err)		 S = N/A
O = 67
T = TO
(out)(err)		 S = N/A
O = 238
T = TO
(out)(err)		 S = N/A
O = 98
T = TO
(out)(err)		 S = N/A
O = 85
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g30.wcnf S = OPT
O = 60
T = 72.64		 S = OPT
O = 60
T = 72.64
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 140
T = TO
(out)(err)		 S = OPT
O = 60
T = 794.96
(out)(err)		 S = OPT
O = 60
T = 514.71
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 60
T = 206.03
(out)(err)		 S = OPT
O = 60
T = 215.81
(out)(err)		 S = N/A
O = 67
T = TO
(out)(err)		 S = N/A
O = 265
T = TO
(out)(err)		 S = N/A
O = 162
T = TO
(out)(err)		 S = N/A
O = 87
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g4.wcnf S = OPT
O = 49
T = 187.01		 S = OPT
O = 49
T = 187.01
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 67
T = TO
(out)(err)		 S = OPT
O = 49
T = 1497.73
(out)(err)		 S = OPT
O = 49
T = 410.31
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 49
T = 336.93
(out)(err)		 S = OPT
O = 49
T = 339.59
(out)(err)		 S = N/A
O = 53
T = TO
(out)(err)		 S = N/A
O = 206
T = TO
(out)(err)		 S = N/A
O = 99
T = TO
(out)(err)		 S = N/A
O = 76
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g5.wcnf S = OPT
O = 49
T = 24.90		 S = OPT
O = 49
T = 24.90
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 58
T = TO
(out)(err)		 S = OPT
O = 49
T = 352.47
(out)(err)		 S = OPT
O = 49
T = 85.16
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 49
T = 70.62
(out)(err)		 S = OPT
O = 49
T = 79.95
(out)(err)		 S = N/A
O = 54
T = TO
(out)(err)		 S = N/A
O = 228
T = TO
(out)(err)		 S = N/A
O = 100
T = TO
(out)(err)		 S = N/A
O = 80
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g6.wcnf S = OPT
O = 62
T = 736.89		 S = OPT
O = 62
T = 736.89
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 129
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 62
T = 836.87
(out)(err)		 S = OPT
O = 62
T = 877.96
(out)(err)		 S = N/A
O = 73
T = TO
(out)(err)		 S = N/A
O = 260
T = TO
(out)(err)		 S = N/A
O = 124
T = TO
(out)(err)		 S = N/A
O = 89
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g7.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 123
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 61
T = TO
(out)(err)		 S = N/A
O = 61
T = TO
(out)(err)		 S = N/A
O = 76
T = TO
(out)(err)		 S = N/A
O = 229
T = TO
(out)(err)		 S = N/A
O = 111
T = TO
(out)(err)		 S = N/A
O = 80
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g8.wcnf S = OPT
O = 49
T = 25.03		 S = OPT
O = 49
T = 25.03
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 63
T = TO
(out)(err)		 S = OPT
O = 49
T = 209.13
(out)(err)		 S = OPT
O = 49
T = 69.09
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 49
T = 47.83
(out)(err)		 S = OPT
O = 49
T = 56.90
(out)(err)		 S = N/A
O = 60
T = TO
(out)(err)		 S = N/A
O = 218
T = TO
(out)(err)		 S = N/A
O = 90
T = TO
(out)(err)		 S = N/A
O = 73
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g9.wcnf S = OPT
O = 57
T = 648.08		 S = OPT
O = 57
T = 648.08
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 133
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 57
T = 1786.05
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 57
T = 1145.54
(out)(err)		 S = OPT
O = 57
T = 1087.19
(out)(err)		 S = N/A
O = 64
T = TO
(out)(err)		 S = N/A
O = 227
T = TO
(out)(err)		 S = N/A
O = 116
T = TO
(out)(err)		 S = N/A
O = 81
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv260c1040l2g1.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 166
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 67
T = TO
(out)(err)		 S = N/A
O = 69
T = TO
(out)(err)		 S = N/A
O = 81
T = TO
(out)(err)		 S = N/A
O = 317
T = TO
(out)(err)		 S = N/A
O = 146
T = TO
(out)(err)		 S = N/A
O = 100
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv260c1040l2g10.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 134
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 61
T = TO
(out)(err)		 S = N/A
O = 61
T = TO
(out)(err)		 S = N/A
O = 72
T = TO
(out)(err)		 S = N/A
O = 276
T = TO
(out)(err)		 S = N/A
O = 112
T = TO
(out)(err)		 S = N/A
O = 94
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv260c1040l2g11.wcnf S = OPT
O = 40
T = 17.40		 S = OPT
O = 40
T = 17.40
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 49
T = TO
(out)(err)		 S = OPT
O = 40
T = 295.06
(out)(err)		 S = OPT
O = 40
T = 65.64
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 40
T = 54.22
(out)(err)		 S = OPT
O = 40
T = 68.85
(out)(err)		 S = N/A
O = 44
T = TO
(out)(err)		 S = N/A
O = 242
T = TO
(out)(err)		 S = N/A
O = 73
T = TO
(out)(err)		 S = N/A
O = 50
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv260c1040l2g12.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 140
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 60
T = TO
(out)(err)		 S = N/A
O = 60
T = TO
(out)(err)		 S = N/A
O = 73
T = TO
(out)(err)		 S = N/A
O = 300
T = TO
(out)(err)		 S = N/A
O = 115
T = TO
(out)(err)		 S = N/A
O = 88
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv260c1040l2g13.wcnf S = OPT
O = 38
T = 42.10		 S = OPT
O = 38
T = 46.96
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 59
T = TO
(out)(err)		 S = OPT
O = 38
T = 209.80
(out)(err)		 S = OPT
O = 38
T = 42.62
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 38
T = 42.10
(out)(err)		 S = OPT
O = 38
T = 53.57
(out)(err)		 S = N/A
O = 43
T = TO
(out)(err)		 S = N/A
O = 237
T = TO
(out)(err)		 S = N/A
O = 89
T = TO
(out)(err)		 S = N/A
O = 56
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv260c1040l2g14.wcnf S = OPT
O = 57
T = 1066.01		 S = OPT
O = 57
T = 1066.01
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 139
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 57
T = TO
(out)(err)		 S = N/A
O = 57
T = TO
(out)(err)		 S = N/A
O = 63
T = TO
(out)(err)		 S = N/A
O = 294
T = TO
(out)(err)		 S = N/A
O = 122
T = TO
(out)(err)		 S = N/A
O = 93
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv260c1040l2g15.wcnf S = OPT
O = 46
T = 528.80		 S = OPT
O = 46
T = 567.17
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 59
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 46
T = 858.64
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 46
T = 528.80
(out)(err)		 S = OPT
O = 46
T = 542.86
(out)(err)		 S = N/A
O = 55
T = TO
(out)(err)		 S = N/A
O = 282
T = TO
(out)(err)		 S = N/A
O = 145
T = TO
(out)(err)		 S = N/A
O = 64
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv260c1040l2g16.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 121
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 60
T = TO
(out)(err)		 S = N/A
O = 60
T = TO
(out)(err)		 S = N/A
O = 63
T = TO
(out)(err)		 S = N/A
O = 288
T = TO
(out)(err)		 S = N/A
O = 139
T = TO
(out)(err)		 S = N/A
O = 77
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv260c1040l2g17.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 129
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 51
T = TO
(out)(err)		 S = N/A
O = 51
T = TO
(out)(err)		 S = N/A
O = 57
T = TO
(out)(err)		 S = N/A
O = 263
T = TO
(out)(err)		 S = N/A
O = 88
T = TO
(out)(err)		 S = N/A
O = 80
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv260c1040l2g18.wcnf S = OPT
O = 52
T = 167.12		 S = OPT
O = 52
T = 167.12
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 70
T = TO
(out)(err)		 S = OPT
O = 52
T = 1185.94
(out)(err)		 S = OPT
O = 52
T = 276.59
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 52
T = 313.95
(out)(err)		 S = OPT
O = 52
T = 340.82
(out)(err)		 S = N/A
O = 56
T = TO
(out)(err)		 S = N/A
O = 277
T = TO
(out)(err)		 S = N/A
O = 103
T = TO
(out)(err)		 S = N/A
O = 70
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv260c1040l2g19.wcnf S = OPT
O = 57
T = 945.38		 S = OPT
O = 57
T = 945.38
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 146
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 57
T = 1761.47
(out)(err)		 S = N/A
O = 57
T = TO
(out)(err)		 S = N/A
O = 71
T = TO
(out)(err)		 S = N/A
O = 295
T = TO
(out)(err)		 S = N/A
O = 126
T = TO
(out)(err)		 S = N/A
O = 80
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv260c1040l2g2.wcnf S = OPT
O = 54
T = 84.47		 S = OPT
O = 54
T = 84.47
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 81
T = TO
(out)(err)		 S = OPT
O = 54
T = 531.37
(out)(err)		 S = OPT
O = 54
T = 247.03
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 54
T = 133.71
(out)(err)		 S = OPT
O = 54
T = 146.21
(out)(err)		 S = N/A
O = 61
T = TO
(out)(err)		 S = N/A
O = 294
T = TO
(out)(err)		 S = N/A
O = 140
T = TO
(out)(err)		 S = N/A
O = 87
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv260c1040l2g20.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 140
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 63
T = TO
(out)(err)		 S = N/A
O = 63
T = TO
(out)(err)		 S = N/A
O = 71
T = TO
(out)(err)		 S = N/A
O = 276
T = TO
(out)(err)		 S = N/A
O = 126
T = TO
(out)(err)		 S = N/A
O = 81
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv260c1040l2g21.wcnf S = OPT
O = 55
T = 232.82		 S = OPT
O = 55
T = 232.82
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 69
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 55
T = 957.76
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 55
T = 643.05
(out)(err)		 S = OPT
O = 55
T = 663.73
(out)(err)		 S = N/A
O = 61
T = TO
(out)(err)		 S = N/A
O = 279
T = TO
(out)(err)		 S = N/A
O = 107
T = TO
(out)(err)		 S = N/A
O = 86
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv260c1040l2g22.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 70
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 61
T = TO
(out)(err)		 S = N/A
O = 61
T = TO
(out)(err)		 S = N/A
O = 67
T = TO
(out)(err)		 S = N/A
O = 299
T = TO
(out)(err)		 S = N/A
O = 134
T = TO
(out)(err)		 S = N/A
O = 104
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv260c1040l2g23.wcnf S = OPT
O = 52
T = 128.61		 S = OPT
O = 52
T = 128.61
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 113
T = TO
(out)(err)		 S = OPT
O = 52
T = 1519.94
(out)(err)		 S = OPT
O = 52
T = 527.03
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 52
T = 308.94
(out)(err)		 S = OPT
O = 52
T = 317.22
(out)(err)		 S = N/A
O = 54
T = TO
(out)(err)		 S = N/A
O = 296
T = TO
(out)(err)		 S = N/A
O = 102
T = TO
(out)(err)		 S = N/A
O = 87
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv260c1040l2g24.wcnf S = OPT
O = 42
T = 5.32		 S = OPT
O = 42
T = 5.32
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 58
T = TO
(out)(err)		 S = OPT
O = 42
T = 100.01
(out)(err)		 S = OPT
O = 42
T = 28.48
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 42
T = 18.97
(out)(err)		 S = OPT
O = 42
T = 31.54
(out)(err)		 S = N/A
O = 54
T = TO
(out)(err)		 S = N/A
O = 262
T = TO
(out)(err)		 S = N/A
O = 150
T = TO
(out)(err)		 S = N/A
O = 55
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv260c1040l2g25.wcnf S = OPT
O = 46
T = 35.09		 S = OPT
O = 46
T = 35.09
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 62
T = TO
(out)(err)		 S = OPT
O = 46
T = 512.26
(out)(err)		 S = OPT
O = 46
T = 140.05
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 46
T = 95.10
(out)(err)		 S = OPT
O = 46
T = 108.37
(out)(err)		 S = N/A
O = 50
T = TO
(out)(err)		 S = N/A
O = 248
T = TO
(out)(err)		 S = N/A
O = 78
T = TO
(out)(err)		 S = N/A
O = 85
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv260c1040l2g26.wcnf S = OPT
O = 50
T = 986.79		 S = OPT
O = 50
T = 986.79
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 135
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 50
T = 1431.85
(out)(err)		 S = N/A
O = N/A
T = 139.49
(out)(err)		 S = OPT
O = 50
T = 1645.84
(out)(err)		 S = OPT
O = 50
T = 1551.21
(out)(err)		 S = N/A
O = 55
T = TO
(out)(err)		 S = N/A
O = 282
T = TO
(out)(err)		 S = N/A
O = 78
T = TO
(out)(err)		 S = N/A
O = 81
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv260c1040l2g27.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 83
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 69
T = TO
(out)(err)		 S = N/A
O = 69
T = TO
(out)(err)		 S = N/A
O = 80
T = TO
(out)(err)		 S = N/A
O = 330
T = TO
(out)(err)		 S = N/A
O = 152
T = TO
(out)(err)		 S = N/A
O = 122
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv260c1040l2g28.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 128
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 58
T = TO
(out)(err)		 S = N/A
O = 58
T = TO
(out)(err)		 S = N/A
O = 66
T = TO
(out)(err)		 S = N/A
O = 287
T = TO
(out)(err)		 S = N/A
O = 87
T = TO
(out)(err)		 S = N/A
O = 99
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv260c1040l2g29.wcnf S = OPT
O = 54
T = 382.11		 S = OPT
O = 54
T = 382.11
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 65
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 54
T = 1345.06
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 54
T = 690.91
(out)(err)		 S = OPT
O = 54
T = 695.64
(out)(err)		 S = N/A
O = 57
T = TO
(out)(err)		 S = N/A
O = 316
T = TO
(out)(err)		 S = N/A
O = 154
T = TO
(out)(err)		 S = N/A
O = 103
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv260c1040l2g3.wcnf S = OPT
O = 52
T = 271.15		 S = OPT
O = 52
T = 271.15
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 68
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 52
T = 665.44
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 52
T = 452.18
(out)(err)		 S = OPT
O = 52
T = 458.30
(out)(err)		 S = N/A
O = 66
T = TO
(out)(err)		 S = N/A
O = 277
T = TO
(out)(err)		 S = N/A
O = 116
T = TO
(out)(err)		 S = N/A
O = 89
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv260c1040l2g30.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 156
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 64
T = TO
(out)(err)		 S = N/A
O = 64
T = TO
(out)(err)		 S = N/A
O = 71
T = TO
(out)(err)		 S = N/A
O = 287
T = TO
(out)(err)		 S = N/A
O = 125
T = TO
(out)(err)		 S = N/A
O = 101
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv260c1040l2g4.wcnf S = OPT
O = 45
T = 326.42		 S = OPT
O = 45
T = 539.40
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 66
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 45
T = 402.18
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 45
T = 326.42
(out)(err)		 S = OPT
O = 45
T = 363.41
(out)(err)		 S = N/A
O = 54
T = TO
(out)(err)		 S = N/A
O = 280
T = TO
(out)(err)		 S = N/A
O = 106
T = TO
(out)(err)		 S = N/A
O = 79
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv260c1040l2g5.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 68
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 58
T = TO
(out)(err)		 S = N/A
O = 58
T = TO
(out)(err)		 S = N/A
O = 64
T = TO
(out)(err)		 S = N/A
O = 280
T = TO
(out)(err)		 S = N/A
O = 132
T = TO
(out)(err)		 S = N/A
O = 89
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv260c1040l2g6.wcnf S = OPT
O = 49
T = 40.12		 S = OPT
O = 49
T = 40.12
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 61
T = TO
(out)(err)		 S = OPT
O = 49
T = 601.05
(out)(err)		 S = OPT
O = 49
T = 267.72
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 49
T = 117.09
(out)(err)		 S = OPT
O = 49
T = 135.07
(out)(err)		 S = N/A
O = 57
T = TO
(out)(err)		 S = N/A
O = 297
T = TO
(out)(err)		 S = N/A
O = 77
T = TO
(out)(err)		 S = N/A
O = 74
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv260c1040l2g7.wcnf S = OPT
O = 46
T = 45.38		 S = OPT
O = 46
T = 45.38
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 61
T = TO
(out)(err)		 S = OPT
O = 46
T = 348.34
(out)(err)		 S = OPT
O = 46
T = 104.24
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 46
T = 63.32
(out)(err)		 S = OPT
O = 46
T = 78.52
(out)(err)		 S = N/A
O = 53
T = TO
(out)(err)		 S = N/A
O = 275
T = TO
(out)(err)		 S = N/A
O = 91
T = TO
(out)(err)		 S = N/A
O = 82
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv260c1040l2g8.wcnf S = OPT
O = 48
T = 138.48		 S = OPT
O = 48
T = 138.48
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 127
T = TO
(out)(err)		 S = OPT
O = 48
T = 660.28
(out)(err)		 S = OPT
O = 48
T = 310.57
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 48
T = 205.03
(out)(err)		 S = OPT
O = 48
T = 212.64
(out)(err)		 S = N/A
O = 57
T = TO
(out)(err)		 S = N/A
O = 271
T = TO
(out)(err)		 S = N/A
O = 143
T = TO
(out)(err)		 S = N/A
O = 76
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv260c1040l2g9.wcnf S = OPT
O = 50
T = 1602.41		 S = OPT
O = 50
T = 1768.43
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 114
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 50
T = 1730.60
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 50
T = 1602.41
(out)(err)		 S = OPT
O = 50
T = 1614.64
(out)(err)		 S = N/A
O = 56
T = TO
(out)(err)		 S = N/A
O = 269
T = TO
(out)(err)		 S = N/A
O = 111
T = TO
(out)(err)		 S = N/A
O = 64
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g1.wcnf S = OPT
O = 54
T = 420.45		 S = OPT
O = 54
T = 1057.19
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 81
T = TO
(out)(err)		 S = OPT
O = 54
T = 622.58
(out)(err)		 S = OPT
O = 54
T = 1334.31
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 54
T = 814.40
(out)(err)		 S = OPT
O = 54
T = 420.45
(out)(err)		 S = N/A
O = 58
T = TO
(out)(err)		 S = N/A
O = 100
T = TO
(out)(err)		 S = N/A
O = 78
T = TO
(out)(err)		 S = N/A
O = 60
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g10.wcnf S = OPT
O = 43
T = 37.40		 S = OPT
O = 43
T = 116.30
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 70
T = TO
(out)(err)		 S = OPT
O = 43
T = 83.71
(out)(err)		 S = OPT
O = 43
T = 133.73
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 43
T = 90.08
(out)(err)		 S = OPT
O = 43
T = 37.40
(out)(err)		 S = N/A
O = 45
T = TO
(out)(err)		 S = N/A
O = 79
T = TO
(out)(err)		 S = N/A
O = 64
T = TO
(out)(err)		 S = N/A
O = 47
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g11.wcnf S = OPT
O = 48
T = 127.58		 S = OPT
O = 48
T = 201.17
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 76
T = TO
(out)(err)		 S = OPT
O = 48
T = 182.90
(out)(err)		 S = OPT
O = 48
T = 250.20
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 48
T = 188.71
(out)(err)		 S = OPT
O = 48
T = 127.58
(out)(err)		 S = N/A
O = 49
T = TO
(out)(err)		 S = N/A
O = 92
T = TO
(out)(err)		 S = N/A
O = 73
T = TO
(out)(err)		 S = N/A
O = 51
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
clq1-c2mv70c350l3g12.wcnf S = OPT
O = 51
T = 58.32		 S = OPT
O = 51
T = 62.75
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 85
T = TO
(out)(err)		 S = OPT
O = 51
T = 67.34
(out)(err)		 S = OPT
O = 51
T = 133.41
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 51
T = 71.98
(out)(err)		 S = OPT
O = 51
T = 58.32
(out)(err)		 S = N/A
O = 54
T = TO
(out)(err)		 S = N/A
O = 100
T = TO
(out)(err)		 S = N/A
O = 78
T = TO
(out)(err)		 S = N/A
O = 56
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g13.wcnf S = OPT
O = 46
T = 60.97		 S = OPT
O = 46
T = 100.53
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 77
T = TO
(out)(err)		 S = OPT
O = 46
T = 106.38
(out)(err)		 S = OPT
O = 46
T = 148.20
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 46
T = 95.10
(out)(err)		 S = OPT
O = 46
T = 60.97
(out)(err)		 S = N/A
O = 49
T = TO
(out)(err)		 S = N/A
O = 87
T = TO
(out)(err)		 S = N/A
O = 56
T = TO
(out)(err)		 S = N/A
O = 51
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
clq1-c2mv70c350l3g14.wcnf S = OPT
O = 50
T = 320.38		 S = OPT
O = 50
T = 375.32
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 79
T = TO
(out)(err)		 S = OPT
O = 50
T = 320.38
(out)(err)		 S = OPT
O = 50
T = 556.48
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 50
T = 468.09
(out)(err)		 S = OPT
O = 50
T = 337.36
(out)(err)		 S = N/A
O = 55
T = TO
(out)(err)		 S = N/A
O = 89
T = TO
(out)(err)		 S = N/A
O = 75
T = TO
(out)(err)		 S = N/A
O = 56
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g15.wcnf S = OPT
O = 51
T = 158.19		 S = OPT
O = 51
T = 238.86
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 80
T = TO
(out)(err)		 S = OPT
O = 51
T = 273.51
(out)(err)		 S = OPT
O = 51
T = 317.63
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 51
T = 271.89
(out)(err)		 S = OPT
O = 51
T = 158.19
(out)(err)		 S = N/A
O = 55
T = TO
(out)(err)		 S = N/A
O = 99
T = TO
(out)(err)		 S = N/A
O = 73
T = TO
(out)(err)		 S = N/A
O = 57
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g16.wcnf S = OPT
O = 51
T = 205.23		 S = OPT
O = 51
T = 455.19
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 86
T = TO
(out)(err)		 S = OPT
O = 51
T = 325.28
(out)(err)		 S = OPT
O = 51
T = 404.84
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 51
T = 355.78
(out)(err)		 S = OPT
O = 51
T = 205.23
(out)(err)		 S = N/A
O = 54
T = TO
(out)(err)		 S = N/A
O = 95
T = TO
(out)(err)		 S = N/A
O = 65
T = TO
(out)(err)		 S = N/A
O = 55
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g17.wcnf S = OPT
O = 45
T = 147.07		 S = OPT
O = 45
T = 206.90
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 77
T = TO
(out)(err)		 S = OPT
O = 45
T = 220.50
(out)(err)		 S = OPT
O = 45
T = 302.63
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 45
T = 171.84
(out)(err)		 S = OPT
O = 45
T = 147.07
(out)(err)		 S = N/A
O = 47
T = TO
(out)(err)		 S = N/A
O = 88
T = TO
(out)(err)		 S = N/A
O = 53
T = TO
(out)(err)		 S = N/A
O = 49
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g18.wcnf S = OPT
O = 51
T = 644.33		 S = OPT
O = 51
T = 1198.93
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 70
T = TO
(out)(err)		 S = OPT
O = 51
T = 1073.11
(out)(err)		 S = OPT
O = 51
T = 1297.64
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 51
T = 706.39
(out)(err)		 S = OPT
O = 51
T = 644.33
(out)(err)		 S = N/A
O = 53
T = TO
(out)(err)		 S = N/A
O = 92
T = TO
(out)(err)		 S = N/A
O = 73
T = TO
(out)(err)		 S = N/A
O = 55
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g19.wcnf S = OPT
O = 55
T = 755.20		 S = N/A
O = 55
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 77
T = TO
(out)(err)		 S = OPT
O = 55
T = 1376.83
(out)(err)		 S = OPT
O = 55
T = 1756.82
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 55
T = 849.04
(out)(err)		 S = OPT
O = 55
T = 755.20
(out)(err)		 S = N/A
O = 58
T = TO
(out)(err)		 S = N/A
O = 98
T = TO
(out)(err)		 S = N/A
O = 74
T = TO
(out)(err)		 S = N/A
O = 60
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g2.wcnf S = OPT
O = 48
T = 65.13		 S = OPT
O = 48
T = 83.47
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 86
T = TO
(out)(err)		 S = OPT
O = 48
T = 95.09
(out)(err)		 S = OPT
O = 48
T = 188.73
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 48
T = 87.11
(out)(err)		 S = OPT
O = 48
T = 65.13
(out)(err)		 S = N/A
O = 52
T = TO
(out)(err)		 S = N/A
O = 89
T = TO
(out)(err)		 S = N/A
O = 60
T = TO
(out)(err)		 S = N/A
O = 54
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g20.wcnf S = OPT
O = 50
T = 199.30		 S = OPT
O = 50
T = 223.16
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 76
T = TO
(out)(err)		 S = OPT
O = 50
T = 261.16
(out)(err)		 S = OPT
O = 50
T = 347.72
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 50
T = 407.10
(out)(err)		 S = OPT
O = 50
T = 199.30
(out)(err)		 S = N/A
O = 50
T = TO
(out)(err)		 S = N/A
O = 98
T = TO
(out)(err)		 S = N/A
O = 80
T = TO
(out)(err)		 S = N/A
O = 52
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g21.wcnf S = OPT
O = 40
T = 83.90		 S = OPT
O = 40
T = 83.90
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 73
T = TO
(out)(err)		 S = OPT
O = 40
T = 84.21
(out)(err)		 S = OPT
O = 40
T = 109.78
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 40
T = 134.73
(out)(err)		 S = OPT
O = 40
T = 85.33
(out)(err)		 S = N/A
O = 43
T = TO
(out)(err)		 S = N/A
O = 81
T = TO
(out)(err)		 S = N/A
O = 52
T = TO
(out)(err)		 S = N/A
O = 44
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g22.wcnf S = OPT
O = 50
T = 220.57		 S = OPT
O = 50
T = 419.19
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 77
T = TO
(out)(err)		 S = OPT
O = 50
T = 302.34
(out)(err)		 S = OPT
O = 50
T = 506.94
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 50
T = 220.57
(out)(err)		 S = OPT
O = 50
T = 260.64
(out)(err)		 S = N/A
O = 53
T = TO
(out)(err)		 S = N/A
O = 94
T = TO
(out)(err)		 S = N/A
O = 79
T = TO
(out)(err)		 S = N/A
O = 56
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
clq1-c2mv70c350l3g23.wcnf S = OPT
O = 52
T = 134.14		 S = OPT
O = 52
T = 146.13
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 80
T = TO
(out)(err)		 S = OPT
O = 52
T = 153.41
(out)(err)		 S = OPT
O = 52
T = 283.88
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 52
T = 142.85
(out)(err)		 S = OPT
O = 52
T = 134.14
(out)(err)		 S = N/A
O = 56
T = TO
(out)(err)		 S = N/A
O = 100
T = TO
(out)(err)		 S = N/A
O = 76
T = TO
(out)(err)		 S = N/A
O = 60
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
clq1-c2mv70c350l3g24.wcnf S = OPT
O = 50
T = 135.91		 S = OPT
O = 50
T = 178.97
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 74
T = TO
(out)(err)		 S = OPT
O = 50
T = 135.91
(out)(err)		 S = OPT
O = 50
T = 308.26
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 50
T = 222.94
(out)(err)		 S = OPT
O = 50
T = 161.81
(out)(err)		 S = N/A
O = 53
T = TO
(out)(err)		 S = N/A
O = 95
T = TO
(out)(err)		 S = N/A
O = 71
T = TO
(out)(err)		 S = N/A
O = 55
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
clq1-c2mv70c350l3g25.wcnf S = OPT
O = 45
T = 132.59		 S = OPT
O = 45
T = 272.84
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 73
T = TO
(out)(err)		 S = OPT
O = 45
T = 232.53
(out)(err)		 S = OPT
O = 45
T = 237.59
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 45
T = 171.15
(out)(err)		 S = OPT
O = 45
T = 132.59
(out)(err)		 S = N/A
O = 47
T = TO
(out)(err)		 S = N/A
O = 79
T = TO
(out)(err)		 S = N/A
O = 63
T = TO
(out)(err)		 S = N/A
O = 49
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g26.wcnf S = OPT
O = 50
T = 73.37		 S = OPT
O = 50
T = 87.89
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 78
T = TO
(out)(err)		 S = OPT
O = 50
T = 88.34
(out)(err)		 S = OPT
O = 50
T = 172.67
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 50
T = 192.40
(out)(err)		 S = OPT
O = 50
T = 73.37
(out)(err)		 S = N/A
O = 53
T = TO
(out)(err)		 S = N/A
O = 101
T = TO
(out)(err)		 S = N/A
O = 74
T = TO
(out)(err)		 S = N/A
O = 54
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g27.wcnf S = OPT
O = 56
T = 871.88		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 83
T = TO
(out)(err)		 S = N/A
O = 56
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 56
T = 1258.68
(out)(err)		 S = OPT
O = 56
T = 871.88
(out)(err)		 S = N/A
O = 59
T = TO
(out)(err)		 S = N/A
O = 98
T = TO
(out)(err)		 S = N/A
O = 78
T = TO
(out)(err)		 S = N/A
O = 59
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g28.wcnf S = OPT
O = 51
T = 248.83		 S = OPT
O = 51
T = 248.83
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 77
T = TO
(out)(err)		 S = OPT
O = 51
T = 279.09
(out)(err)		 S = OPT
O = 51
T = 408.75
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 51
T = 465.70
(out)(err)		 S = OPT
O = 51
T = 339.73
(out)(err)		 S = N/A
O = 52
T = TO
(out)(err)		 S = N/A
O = 99
T = TO
(out)(err)		 S = N/A
O = 66
T = TO
(out)(err)		 S = N/A
O = 56
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g29.wcnf S = OPT
O = 55
T = 438.54		 S = OPT
O = 55
T = 510.58
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 86
T = TO
(out)(err)		 S = OPT
O = 55
T = 502.05
(out)(err)		 S = OPT
O = 55
T = 669.05
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 55
T = 826.78
(out)(err)		 S = OPT
O = 55
T = 438.54
(out)(err)		 S = N/A
O = 56
T = TO
(out)(err)		 S = N/A
O = 97
T = TO
(out)(err)		 S = N/A
O = 70
T = TO
(out)(err)		 S = N/A
O = 59
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g3.wcnf S = OPT
O = 49
T = 714.26		 S = OPT
O = 49
T = 1501.68
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 73
T = TO
(out)(err)		 S = OPT
O = 49
T = 1029.06
(out)(err)		 S = OPT
O = 49
T = 1248.24
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 49
T = 752.17
(out)(err)		 S = OPT
O = 49
T = 714.26
(out)(err)		 S = N/A
O = 53
T = TO
(out)(err)		 S = N/A
O = 91
T = TO
(out)(err)		 S = N/A
O = 67
T = TO
(out)(err)		 S = N/A
O = 54
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g30.wcnf S = OPT
O = 53
T = 931.03		 S = OPT
O = 53
T = 976.11
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 83
T = TO
(out)(err)		 S = OPT
O = 53
T = 940.76
(out)(err)		 S = N/A
O = 53
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 53
T = 1191.72
(out)(err)		 S = OPT
O = 53
T = 931.03
(out)(err)		 S = N/A
O = 55
T = TO
(out)(err)		 S = N/A
O = 95
T = TO
(out)(err)		 S = N/A
O = 64
T = TO
(out)(err)		 S = N/A
O = 58
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g4.wcnf S = OPT
O = 47
T = 86.90		 S = OPT
O = 47
T = 134.59
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 75
T = TO
(out)(err)		 S = OPT
O = 47
T = 148.53
(out)(err)		 S = OPT
O = 47
T = 174.72
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 47
T = 111.08
(out)(err)		 S = OPT
O = 47
T = 86.90
(out)(err)		 S = N/A
O = 50
T = TO
(out)(err)		 S = N/A
O = 88
T = TO
(out)(err)		 S = N/A
O = 64
T = TO
(out)(err)		 S = N/A
O = 52
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g5.wcnf S = OPT
O = 46
T = 50.72		 S = OPT
O = 46
T = 99.92
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 77
T = TO
(out)(err)		 S = OPT
O = 46
T = 162.35
(out)(err)		 S = OPT
O = 46
T = 149.16
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 46
T = 60.43
(out)(err)		 S = OPT
O = 46
T = 50.72
(out)(err)		 S = N/A
O = 48
T = TO
(out)(err)		 S = N/A
O = 92
T = TO
(out)(err)		 S = N/A
O = 59
T = TO
(out)(err)		 S = N/A
O = 49
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g6.wcnf S = OPT
O = 49
T = 74.46		 S = OPT
O = 49
T = 87.88
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 78
T = TO
(out)(err)		 S = OPT
O = 49
T = 75.73
(out)(err)		 S = OPT
O = 49
T = 154.43
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 49
T = 100.20
(out)(err)		 S = OPT
O = 49
T = 74.46
(out)(err)		 S = N/A
O = 50
T = TO
(out)(err)		 S = N/A
O = 91
T = TO
(out)(err)		 S = N/A
O = 74
T = TO
(out)(err)		 S = N/A
O = 54
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
clq1-c2mv70c350l3g7.wcnf S = OPT
O = 54
T = 659.69		 S = OPT
O = 54
T = 1131.93
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 75
T = TO
(out)(err)		 S = OPT
O = 54
T = 858.24
(out)(err)		 S = OPT
O = 54
T = 1504.21
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 54
T = 749.11
(out)(err)		 S = OPT
O = 54
T = 659.69
(out)(err)		 S = N/A
O = 57
T = TO
(out)(err)		 S = N/A
O = 99
T = TO
(out)(err)		 S = N/A
O = 66
T = TO
(out)(err)		 S = N/A
O = 59
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
clq1-c2mv70c350l3g8.wcnf S = OPT
O = 48
T = 397.36		 S = OPT
O = 48
T = 1239.13
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 73
T = TO
(out)(err)		 S = OPT
O = 48
T = 654.76
(out)(err)		 S = OPT
O = 48
T = 969.18
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 48
T = 469.11
(out)(err)		 S = OPT
O = 48
T = 397.36
(out)(err)		 S = N/A
O = 51
T = TO
(out)(err)		 S = N/A
O = 89
T = TO
(out)(err)		 S = N/A
O = 65
T = TO
(out)(err)		 S = N/A
O = 54
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g9.wcnf S = OPT
O = 50
T = 404.37		 S = OPT
O = 50
T = 1238.70
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 75
T = TO
(out)(err)		 S = OPT
O = 50
T = 681.22
(out)(err)		 S = OPT
O = 50
T = 1119.56
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 50
T = 454.31
(out)(err)		 S = OPT
O = 50
T = 404.37
(out)(err)		 S = N/A
O = 53
T = TO
(out)(err)		 S = N/A
O = 95
T = TO
(out)(err)		 S = N/A
O = 63
T = TO
(out)(err)		 S = N/A
O = 54
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
clq1-c2mv80c400l3g1.wcnf S = OPT
O = 56
T = 413.24		 S = OPT
O = 56
T = 693.54
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 87
T = TO
(out)(err)		 S = OPT
O = 56
T = 601.00
(out)(err)		 S = OPT
O = 56
T = 972.79
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 56
T = 479.15
(out)(err)		 S = OPT
O = 56
T = 413.24
(out)(err)		 S = N/A
O = 61
T = TO
(out)(err)		 S = N/A
O = 107
T = TO
(out)(err)		 S = N/A
O = 77
T = TO
(out)(err)		 S = N/A
O = 63
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g10.wcnf S = OPT
O = 55
T = 341.95		 S = OPT
O = 55
T = 341.95
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 96
T = TO
(out)(err)		 S = OPT
O = 55
T = 381.46
(out)(err)		 S = OPT
O = 55
T = 655.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 55
T = 599.58
(out)(err)		 S = OPT
O = 55
T = 396.09
(out)(err)		 S = N/A
O = 57
T = TO
(out)(err)		 S = N/A
O = 105
T = TO
(out)(err)		 S = N/A
O = 73
T = TO
(out)(err)		 S = N/A
O = 63
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
clq1-c2mv80c400l3g11.wcnf S = OPT
O = 57
T = 961.53		 S = OPT
O = 57
T = 1345.93
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 92
T = TO
(out)(err)		 S = OPT
O = 57
T = 1021.12
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 57
T = 1133.50
(out)(err)		 S = OPT
O = 57
T = 961.53
(out)(err)		 S = N/A
O = 61
T = TO
(out)(err)		 S = N/A
O = 108
T = TO
(out)(err)		 S = N/A
O = 65
T = TO
(out)(err)		 S = N/A
O = 66
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g12.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 99
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 66
T = TO
(out)(err)		 S = N/A
O = 65
T = TO
(out)(err)		 S = N/A
O = 66
T = TO
(out)(err)		 S = N/A
O = 118
T = TO
(out)(err)		 S = N/A
O = 88
T = TO
(out)(err)		 S = N/A
O = 71
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
clq1-c2mv80c400l3g13.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 87
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 60
T = TO
(out)(err)		 S = N/A
O = 60
T = TO
(out)(err)		 S = N/A
O = 63
T = TO
(out)(err)		 S = N/A
O = 117
T = TO
(out)(err)		 S = N/A
O = 82
T = TO
(out)(err)		 S = N/A
O = 67
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
clq1-c2mv80c400l3g14.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 91
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 59
T = TO
(out)(err)		 S = N/A
O = 59
T = TO
(out)(err)		 S = N/A
O = 63
T = TO
(out)(err)		 S = N/A
O = 104
T = TO
(out)(err)		 S = N/A
O = 76
T = TO
(out)(err)		 S = N/A
O = 64
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g15.wcnf S = OPT
O = 59
T = 857.76		 S = OPT
O = 59
T = 1215.04
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 97
T = TO
(out)(err)		 S = OPT
O = 59
T = 857.76
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 59
T = TO
(out)(err)		 S = OPT
O = 59
T = 1339.79
(out)(err)		 S = N/A
O = 64
T = TO
(out)(err)		 S = N/A
O = 116
T = TO
(out)(err)		 S = N/A
O = 92
T = TO
(out)(err)		 S = N/A
O = 68
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g16.wcnf S = OPT
O = 61
T = 1743.75		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 96
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 61
T = TO
(out)(err)		 S = OPT
O = 61
T = 1743.75
(out)(err)		 S = N/A
O = 67
T = TO
(out)(err)		 S = N/A
O = 109
T = TO
(out)(err)		 S = N/A
O = 78
T = TO
(out)(err)		 S = N/A
O = 70
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g17.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 90
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 71
T = TO
(out)(err)		 S = N/A
O = 69
T = TO
(out)(err)		 S = N/A
O = 73
T = TO
(out)(err)		 S = N/A
O = 119
T = TO
(out)(err)		 S = N/A
O = 91
T = TO
(out)(err)		 S = N/A
O = 72
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
clq1-c2mv80c400l3g18.wcnf S = OPT
O = 58
T = 712.57		 S = OPT
O = 58
T = 1291.31
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 91
T = TO
(out)(err)		 S = OPT
O = 58
T = 1206.23
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 130.18
(out)(err)		 S = OPT
O = 58
T = 1035.45
(out)(err)		 S = OPT
O = 58
T = 712.57
(out)(err)		 S = N/A
O = 62
T = TO
(out)(err)		 S = N/A
O = 119
T = TO
(out)(err)		 S = N/A
O = 78
T = TO
(out)(err)		 S = N/A
O = 65
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g19.wcnf S = OPT
O = 55
T = 1053.78		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 94
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 55
T = 1577.15
(out)(err)		 S = OPT
O = 55
T = 1053.78
(out)(err)		 S = N/A
O = 60
T = TO
(out)(err)		 S = N/A
O = 98
T = TO
(out)(err)		 S = N/A
O = 71
T = TO
(out)(err)		 S = N/A
O = 60
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g2.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 89
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 70
T = TO
(out)(err)		 S = N/A
O = 67
T = TO
(out)(err)		 S = N/A
O = 68
T = TO
(out)(err)		 S = N/A
O = 121
T = TO
(out)(err)		 S = N/A
O = 98
T = TO
(out)(err)		 S = N/A
O = 72
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g20.wcnf S = OPT
O = 56
T = 615.58		 S = OPT
O = 56
T = 1003.20
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 93
T = TO
(out)(err)		 S = OPT
O = 56
T = 847.48
(out)(err)		 S = OPT
O = 56
T = 1474.22
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 56
T = 768.04
(out)(err)		 S = OPT
O = 56
T = 615.58
(out)(err)		 S = N/A
O = 61
T = TO
(out)(err)		 S = N/A
O = 116
T = TO
(out)(err)		 S = N/A
O = 86
T = TO
(out)(err)		 S = N/A
O = 64
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g21.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 91
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 66
T = TO
(out)(err)		 S = N/A
O = 65
T = TO
(out)(err)		 S = N/A
O = 68
T = TO
(out)(err)		 S = N/A
O = 118
T = TO
(out)(err)		 S = N/A
O = 90
T = TO
(out)(err)		 S = N/A
O = 69
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
clq1-c2mv80c400l3g22.wcnf S = OPT
O = 64
T = 1546.29		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 96
T = TO
(out)(err)		 S = OPT
O = 64
T = 1546.29
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 64
T = TO
(out)(err)		 S = OPT
O = 64
T = 1620.14
(out)(err)		 S = N/A
O = 70
T = TO
(out)(err)		 S = N/A
O = 121
T = TO
(out)(err)		 S = N/A
O = 75
T = TO
(out)(err)		 S = N/A
O = 73
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g23.wcnf S = OPT
O = 56
T = 775.83		 S = OPT
O = 56
T = 1217.04
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 82
T = TO
(out)(err)		 S = OPT
O = 56
T = 1313.50
(out)(err)		 S = OPT
O = 56
T = 1708.71
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 56
T = 934.74
(out)(err)		 S = OPT
O = 56
T = 775.83
(out)(err)		 S = N/A
O = 61
T = TO
(out)(err)		 S = N/A
O = 113
T = TO
(out)(err)		 S = N/A
O = 84
T = TO
(out)(err)		 S = N/A
O = 62
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g24.wcnf S = OPT
O = 51
T = 141.05		 S = OPT
O = 51
T = 180.78
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 90
T = TO
(out)(err)		 S = OPT
O = 51
T = 172.24
(out)(err)		 S = OPT
O = 51
T = 346.66
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 51
T = 141.05
(out)(err)		 S = OPT
O = 51
T = 202.20
(out)(err)		 S = N/A
O = 57
T = TO
(out)(err)		 S = N/A
O = 108
T = TO
(out)(err)		 S = N/A
O = 79
T = TO
(out)(err)		 S = N/A
O = 60
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
clq1-c2mv80c400l3g25.wcnf S = OPT
O = 55
T = 785.16		 S = OPT
O = 55
T = 1576.05
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 94
T = TO
(out)(err)		 S = OPT
O = 55
T = 1120.27
(out)(err)		 S = OPT
O = 55
T = 1798.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 55
T = 1006.59
(out)(err)		 S = OPT
O = 55
T = 785.16
(out)(err)		 S = N/A
O = 58
T = TO
(out)(err)		 S = N/A
O = 107
T = TO
(out)(err)		 S = N/A
O = 75
T = TO
(out)(err)		 S = N/A
O = 61
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g26.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 89
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 60
T = TO
(out)(err)		 S = N/A
O = 59
T = TO
(out)(err)		 S = N/A
O = 60
T = TO
(out)(err)		 S = N/A
O = 89
T = TO
(out)(err)		 S = N/A
O = 73
T = TO
(out)(err)		 S = N/A
O = 65
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g27.wcnf S = OPT
O = 59
T = 1293.76		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 84
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 59
T = 1541.77
(out)(err)		 S = OPT
O = 59
T = 1293.76
(out)(err)		 S = N/A
O = 65
T = TO
(out)(err)		 S = N/A
O = 115
T = TO
(out)(err)		 S = N/A
O = 84
T = TO
(out)(err)		 S = N/A
O = 68
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g28.wcnf S = OPT
O = 57
T = 481.81		 S = OPT
O = 57
T = 617.57
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 95
T = TO
(out)(err)		 S = OPT
O = 57
T = 564.01
(out)(err)		 S = OPT
O = 57
T = 1180.55
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 57
T = 886.20
(out)(err)		 S = OPT
O = 57
T = 481.81
(out)(err)		 S = N/A
O = 60
T = TO
(out)(err)		 S = N/A
O = 113
T = TO
(out)(err)		 S = N/A
O = 73
T = TO
(out)(err)		 S = N/A
O = 65
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g29.wcnf S = OPT
O = 63
T = 1462.07		 S = N/A
O = 63
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 97
T = TO
(out)(err)		 S = OPT
O = 63
T = 1462.07
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 65
T = TO
(out)(err)		 S = N/A
O = 63
T = TO
(out)(err)		 S = N/A
O = 67
T = TO
(out)(err)		 S = N/A
O = 114
T = TO
(out)(err)		 S = N/A
O = 96
T = TO
(out)(err)		 S = N/A
O = 70
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
clq1-c2mv80c400l3g3.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 94
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 63
T = TO
(out)(err)		 S = N/A
O = 64
T = TO
(out)(err)		 S = N/A
O = 67
T = TO
(out)(err)		 S = N/A
O = 107
T = TO
(out)(err)		 S = N/A
O = 79
T = TO
(out)(err)		 S = N/A
O = 70
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g30.wcnf S = OPT
O = 59
T = 1565.60		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 90
T = TO
(out)(err)		 S = N/A
O = 59
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 60
T = TO
(out)(err)		 S = OPT
O = 59
T = 1565.60
(out)(err)		 S = N/A
O = 65
T = TO
(out)(err)		 S = N/A
O = 117
T = TO
(out)(err)		 S = N/A
O = 79
T = TO
(out)(err)		 S = N/A
O = 70
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g4.wcnf S = OPT
O = 61
T = 863.70		 S = OPT
O = 61
T = 1793.59
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 90
T = TO
(out)(err)		 S = OPT
O = 61
T = 863.70
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 70
T = TO
(out)(err)		 S = OPT
O = 61
T = 897.75
(out)(err)		 S = N/A
O = 68
T = TO
(out)(err)		 S = N/A
O = 117
T = TO
(out)(err)		 S = N/A
O = 77
T = TO
(out)(err)		 S = N/A
O = 73
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g5.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 98
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 65
T = TO
(out)(err)		 S = N/A
O = 62
T = TO
(out)(err)		 S = N/A
O = 67
T = TO
(out)(err)		 S = N/A
O = 113
T = TO
(out)(err)		 S = N/A
O = 80
T = TO
(out)(err)		 S = N/A
O = 69
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g6.wcnf S = OPT
O = 59
T = 803.87		 S = OPT
O = 59
T = 1147.77
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 87
T = TO
(out)(err)		 S = OPT
O = 59
T = 803.87
(out)(err)		 S = N/A
O = 59
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 59
T = 1584.38
(out)(err)		 S = OPT
O = 59
T = 1056.37
(out)(err)		 S = N/A
O = 63
T = TO
(out)(err)		 S = N/A
O = 121
T = TO
(out)(err)		 S = N/A
O = 76
T = TO
(out)(err)		 S = N/A
O = 65
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g7.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 94
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 64
T = TO
(out)(err)		 S = N/A
O = 64
T = TO
(out)(err)		 S = N/A
O = 67
T = TO
(out)(err)		 S = N/A
O = 118
T = TO
(out)(err)		 S = N/A
O = 83
T = TO
(out)(err)		 S = N/A
O = 71
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
clq1-c2mv80c400l3g8.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 100
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 66
T = TO
(out)(err)		 S = N/A
O = 65
T = TO
(out)(err)		 S = N/A
O = 69
T = TO
(out)(err)		 S = N/A
O = 128
T = TO
(out)(err)		 S = N/A
O = 89
T = TO
(out)(err)		 S = N/A
O = 72
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g9.wcnf S = OPT
O = 59
T = 1388.79		 S = N/A
O = 59
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 99
T = TO
(out)(err)		 S = OPT
O = 59
T = 1388.79
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 60
T = TO
(out)(err)		 S = N/A
O = 61
T = TO
(out)(err)		 S = N/A
O = 64
T = TO
(out)(err)		 S = N/A
O = 114
T = TO
(out)(err)		 S = N/A
O = 83
T = TO
(out)(err)		 S = N/A
O = 66
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_0.wcnf S = OPT
O = 802
T = 0.44		 S = OPT
O = 802
T = 3.63
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 922
T = TO
(out)(err)		 S = OPT
O = 802
T = 2.08
(out)(err)		 S = OPT
O = 802
T = 1.66
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 802
T = 0.44
(out)(err)		 S = OPT
O = 802
T = 0.91
(out)(err)		 S = N/A
O = 868
T = TO
(out)(err)		 S = N/A
O = 3653
T = TO
(out)(err)		 S = N/A
O = 3635
T = TO
(out)(err)		 S = N/A
O = 886
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_1.wcnf S = UNSAT
O = N/A
T = 0.00		 S = UNSAT
O = 4000
T = 0.04
(out)(err)		 S = UNSAT
O = N/A
T = 0.03
(out)(err)		 S = UNSAT
O = N/A
T = 0.00
(out)(err)		 S = UNSAT
O = N/A
T = 0.00
(out)(err)		 S = UNSAT
O = 4000
T = 0.03
(out)(err)		 S = UNSAT
O = 4000
T = 0.03
(out)(err)		 S = UNSAT
O = N/A
T = 0.01
(out)(err)		 S = UNSAT
O = N/A
T = 0.02
(out)(err)		 S = UNSAT
O = 4000
T = 0.74
(out)(err)		 S = UNSAT
O = N/A
T = 0.02
(out)(err)		 S = UNSAT
O = N/A
T = 0.02
(out)(err)		 S = UNSAT
O = N/A
T = 0.02
(out)(err)		 S = UNSAT
O = N/A
T = 1.28
(out)(err)		 S = UNSAT
O = N/A
T = 0.01
(out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_2.wcnf S = OPT
O = 805
T = 0.62		 S = OPT
O = 805
T = 5.70
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 934
T = TO
(out)(err)		 S = OPT
O = 805
T = 1.50
(out)(err)		 S = OPT
O = 805
T = 1.44
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 805
T = 0.62
(out)(err)		 S = OPT
O = 805
T = 1.29
(out)(err)		 S = N/A
O = 895
T = TO
(out)(err)		 S = N/A
O = 2819
T = TO
(out)(err)		 S = N/A
O = 3615
T = TO
(out)(err)		 S = N/A
O = 903
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_3.wcnf S = OPT
O = 752
T = 1.31		 S = OPT
O = 752
T = 24.55
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 929
T = TO
(out)(err)		 S = OPT
O = 752
T = 4.88
(out)(err)		 S = OPT
O = 752
T = 4.73
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 752
T = 1.50
(out)(err)		 S = OPT
O = 752
T = 1.31
(out)(err)		 S = N/A
O = 866
T = TO
(out)(err)		 S = N/A
O = 3645
T = TO
(out)(err)		 S = N/A
O = 3642
T = TO
(out)(err)		 S = N/A
O = 869
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_4.wcnf S = OPT
O = 750
T = 1.39		 S = OPT
O = 750
T = 37.12
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 919
T = TO
(out)(err)		 S = OPT
O = 750
T = 4.90
(out)(err)		 S = OPT
O = 750
T = 5.64
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 750
T = 2.48
(out)(err)		 S = OPT
O = 750
T = 1.39
(out)(err)		 S = N/A
O = 830
T = TO
(out)(err)		 S = N/A
O = 3654
T = TO
(out)(err)		 S = N/A
O = 3646
T = TO
(out)(err)		 S = N/A
O = 852
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_5.wcnf S = OPT
O = 756
T = 3.14		 S = OPT
O = 756
T = 52.38
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 907
T = TO
(out)(err)		 S = OPT
O = 756
T = 18.97
(out)(err)		 S = OPT
O = 756
T = 18.54
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 756
T = 6.23
(out)(err)		 S = OPT
O = 756
T = 3.14
(out)(err)		 S = N/A
O = 853
T = TO
(out)(err)		 S = N/A
O = 3668
T = TO
(out)(err)		 S = N/A
O = 3635
T = TO
(out)(err)		 S = N/A
O = 858
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_6.wcnf S = OPT
O = 782
T = 5.67		 S = OPT
O = 782
T = 98.33
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 944
T = TO
(out)(err)		 S = OPT
O = 782
T = 29.69
(out)(err)		 S = OPT
O = 782
T = 29.25
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 782
T = 8.04
(out)(err)		 S = OPT
O = 782
T = 5.67
(out)(err)		 S = N/A
O = 873
T = TO
(out)(err)		 S = N/A
O = 3658
T = TO
(out)(err)		 S = N/A
O = 3659
T = TO
(out)(err)		 S = N/A
O = 872
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_7.wcnf S = OPT
O = 755
T = 2.33		 S = OPT
O = 755
T = 103.79
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 943
T = TO
(out)(err)		 S = OPT
O = 755
T = 17.49
(out)(err)		 S = OPT
O = 755
T = 16.86
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 755
T = 4.49
(out)(err)		 S = OPT
O = 755
T = 2.33
(out)(err)		 S = N/A
O = 855
T = TO
(out)(err)		 S = N/A
O = 3641
T = TO
(out)(err)		 S = N/A
O = 3631
T = TO
(out)(err)		 S = N/A
O = 869
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_8.wcnf S = OPT
O = 764
T = 22.29		 S = OPT
O = 764
T = 476.81
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 877
T = TO
(out)(err)		 S = OPT
O = 764
T = 92.51
(out)(err)		 S = OPT
O = 764
T = 87.87
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 764
T = 22.54
(out)(err)		 S = OPT
O = 764
T = 22.29
(out)(err)		 S = N/A
O = 880
T = TO
(out)(err)		 S = N/A
O = 3608
T = TO
(out)(err)		 S = N/A
O = 3646
T = TO
(out)(err)		 S = N/A
O = 882
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_9.wcnf S = OPT
O = 792
T = 3.58		 S = OPT
O = 792
T = 46.41
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 941
T = TO
(out)(err)		 S = OPT
O = 792
T = 13.02
(out)(err)		 S = OPT
O = 792
T = 11.65
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 792
T = 3.81
(out)(err)		 S = OPT
O = 792
T = 3.58
(out)(err)		 S = N/A
O = 875
T = TO
(out)(err)		 S = N/A
O = 3641
T = TO
(out)(err)		 S = N/A
O = 3646
T = TO
(out)(err)		 S = N/A
O = 893
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_0.wcnf S = OPT
O = 867
T = 5.10		 S = OPT
O = 867
T = 362.77
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1065
T = TO
(out)(err)		 S = OPT
O = 867
T = 38.21
(out)(err)		 S = OPT
O = 867
T = 35.71
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 867
T = 10.59
(out)(err)		 S = OPT
O = 867
T = 5.10
(out)(err)		 S = N/A
O = 984
T = TO
(out)(err)		 S = N/A
O = 4159
T = TO
(out)(err)		 S = N/A
O = 4142
T = TO
(out)(err)		 S = N/A
O = 1003
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_1.wcnf S = OPT
O = 905
T = 3.00		 S = OPT
O = 905
T = 128.92
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1060
T = TO
(out)(err)		 S = OPT
O = 905
T = 30.33
(out)(err)		 S = OPT
O = 905
T = 29.88
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 905
T = 8.57
(out)(err)		 S = OPT
O = 905
T = 3.00
(out)(err)		 S = N/A
O = 998
T = TO
(out)(err)		 S = N/A
O = 4178
T = TO
(out)(err)		 S = N/A
O = 4150
T = TO
(out)(err)		 S = N/A
O = 1010
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_2.wcnf S = OPT
O = 912
T = 2.00		 S = OPT
O = 912
T = 28.27
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1049
T = TO
(out)(err)		 S = OPT
O = 912
T = 13.26
(out)(err)		 S = OPT
O = 912
T = 12.91
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 912
T = 3.45
(out)(err)		 S = OPT
O = 912
T = 2.00
(out)(err)		 S = N/A
O = 986
T = TO
(out)(err)		 S = N/A
O = 4147
T = TO
(out)(err)		 S = N/A
O = 4140
T = TO
(out)(err)		 S = N/A
O = 1005
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_3.wcnf S = OPT
O = 878
T = 0.92		 S = OPT
O = 878
T = 9.12
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1064
T = TO
(out)(err)		 S = OPT
O = 878
T = 3.63
(out)(err)		 S = OPT
O = 878
T = 3.22
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 878
T = 0.92
(out)(err)		 S = OPT
O = 878
T = 1.39
(out)(err)		 S = N/A
O = 986
T = TO
(out)(err)		 S = N/A
O = 4165
T = TO
(out)(err)		 S = N/A
O = 4176
T = TO
(out)(err)		 S = N/A
O = 1006
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_4.wcnf S = OPT
O = 890
T = 6.21		 S = OPT
O = 890
T = 323.57
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1041
T = TO
(out)(err)		 S = OPT
O = 890
T = 23.12
(out)(err)		 S = OPT
O = 890
T = 22.82
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 890
T = 9.43
(out)(err)		 S = OPT
O = 890
T = 6.21
(out)(err)		 S = N/A
O = 997
T = TO
(out)(err)		 S = N/A
O = 4147
T = TO
(out)(err)		 S = N/A
O = 4160
T = TO
(out)(err)		 S = N/A
O = 1005
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_5.wcnf S = OPT
O = 881
T = 4.49		 S = OPT
O = 881
T = 101.46
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1073
T = TO
(out)(err)		 S = OPT
O = 881
T = 17.91
(out)(err)		 S = OPT
O = 881
T = 18.06
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 881
T = 5.20
(out)(err)		 S = OPT
O = 881
T = 4.49
(out)(err)		 S = N/A
O = 977
T = TO
(out)(err)		 S = N/A
O = 4177
T = TO
(out)(err)		 S = N/A
O = 4167
T = TO
(out)(err)		 S = N/A
O = 995
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_6.wcnf S = OPT
O = 856
T = 1.36		 S = OPT
O = 856
T = 80.11
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1002
T = TO
(out)(err)		 S = OPT
O = 856
T = 20.81
(out)(err)		 S = OPT
O = 856
T = 21.06
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 856
T = 5.74
(out)(err)		 S = OPT
O = 856
T = 1.36
(out)(err)		 S = N/A
O = 968
T = TO
(out)(err)		 S = N/A
O = 4170
T = TO
(out)(err)		 S = N/A
O = 4137
T = TO
(out)(err)		 S = N/A
O = 952
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_7.wcnf S = OPT
O = 875
T = 3.79		 S = OPT
O = 875
T = 100.96
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1045
T = TO
(out)(err)		 S = OPT
O = 875
T = 31.45
(out)(err)		 S = OPT
O = 875
T = 30.03
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 875
T = 7.10
(out)(err)		 S = OPT
O = 875
T = 3.79
(out)(err)		 S = N/A
O = 980
T = TO
(out)(err)		 S = N/A
O = 4141
T = TO
(out)(err)		 S = N/A
O = 4121
T = TO
(out)(err)		 S = N/A
O = 988
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_8.wcnf S = OPT
O = 908
T = 1.40		 S = OPT
O = 908
T = 19.57
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1097
T = TO
(out)(err)		 S = OPT
O = 908
T = 4.44
(out)(err)		 S = OPT
O = 908
T = 4.92
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 908
T = 1.92
(out)(err)		 S = OPT
O = 908
T = 1.40
(out)(err)		 S = N/A
O = 1004
T = TO
(out)(err)		 S = N/A
O = 4155
T = TO
(out)(err)		 S = N/A
O = 4142
T = TO
(out)(err)		 S = N/A
O = 1018
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_9.wcnf S = OPT
O = 898
T = 1.36		 S = OPT
O = 898
T = 24.67
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1126
T = TO
(out)(err)		 S = OPT
O = 898
T = 8.96
(out)(err)		 S = OPT
O = 898
T = 7.64
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 898
T = 2.08
(out)(err)		 S = OPT
O = 898
T = 1.36
(out)(err)		 S = N/A
O = 986
T = TO
(out)(err)		 S = N/A
O = 4150
T = TO
(out)(err)		 S = N/A
O = 4142
T = TO
(out)(err)		 S = N/A
O = 992
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_0.wcnf S = OPT
O = 1018
T = 1.42		 S = OPT
O = 1018
T = 60.16
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1155
T = TO
(out)(err)		 S = OPT
O = 1018
T = 16.64
(out)(err)		 S = OPT
O = 1018
T = 19.85
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 1018
T = 4.08
(out)(err)		 S = OPT
O = 1018
T = 1.42
(out)(err)		 S = N/A
O = 1129
T = TO
(out)(err)		 S = N/A
O = 4647
T = TO
(out)(err)		 S = N/A
O = 4632
T = TO
(out)(err)		 S = N/A
O = 1134
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_1.wcnf S = OPT
O = 1015
T = 1.61		 S = OPT
O = 1015
T = 55.75
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1158
T = TO
(out)(err)		 S = OPT
O = 1015
T = 26.63
(out)(err)		 S = OPT
O = 1015
T = 27.81
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 1015
T = 5.51
(out)(err)		 S = OPT
O = 1015
T = 1.61
(out)(err)		 S = N/A
O = 1106
T = TO
(out)(err)		 S = N/A
O = 4667
T = TO
(out)(err)		 S = N/A
O = 4662
T = TO
(out)(err)		 S = N/A
O = 1124
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_2.wcnf S = OPT
O = 979
T = 2.43		 S = OPT
O = 979
T = 174.16
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1134
T = TO
(out)(err)		 S = OPT
O = 979
T = 17.38
(out)(err)		 S = OPT
O = 979
T = 16.02
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 979
T = 8.58
(out)(err)		 S = OPT
O = 979
T = 2.43
(out)(err)		 S = N/A
O = 1107
T = TO
(out)(err)		 S = N/A
O = 4661
T = TO
(out)(err)		 S = N/A
O = 4652
T = TO
(out)(err)		 S = N/A
O = 1118
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_3.wcnf S = OPT
O = 1032
T = 3.50		 S = OPT
O = 1032
T = 65.86
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1190
T = TO
(out)(err)		 S = OPT
O = 1032
T = 13.81
(out)(err)		 S = OPT
O = 1032
T = 13.80
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 1032
T = 3.50
(out)(err)		 S = OPT
O = 1032
T = 4.08
(out)(err)		 S = N/A
O = 1107
T = TO
(out)(err)		 S = N/A
O = 4637
T = TO
(out)(err)		 S = N/A
O = 4642
T = TO
(out)(err)		 S = N/A
O = 1117
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_4.wcnf S = OPT
O = 1018
T = 8.96		 S = OPT
O = 1018
T = 1491.02
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1187
T = TO
(out)(err)		 S = OPT
O = 1018
T = 126.08
(out)(err)		 S = OPT
O = 1018
T = 129.44
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 1018
T = 22.48
(out)(err)		 S = OPT
O = 1018
T = 8.96
(out)(err)		 S = N/A
O = 1127
T = TO
(out)(err)		 S = N/A
O = 4667
T = TO
(out)(err)		 S = N/A
O = 4642
T = TO
(out)(err)		 S = N/A
O = 1129
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_5.wcnf S = OPT
O = 991
T = 2.57		 S = OPT
O = 991
T = 99.23
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1157
T = TO
(out)(err)		 S = OPT
O = 991
T = 14.51
(out)(err)		 S = OPT
O = 991
T = 12.59
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 991
T = 3.42
(out)(err)		 S = OPT
O = 991
T = 2.57
(out)(err)		 S = N/A
O = 1098
T = TO
(out)(err)		 S = N/A
O = 4636
T = TO
(out)(err)		 S = N/A
O = 4629
T = TO
(out)(err)		 S = N/A
O = 1111
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_6.wcnf S = OPT
O = 1005
T = 2.12		 S = OPT
O = 1005
T = 41.76
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1127
T = TO
(out)(err)		 S = OPT
O = 1005
T = 9.42
(out)(err)		 S = OPT
O = 1005
T = 9.49
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 1005
T = 3.96
(out)(err)		 S = OPT
O = 1005
T = 2.12
(out)(err)		 S = N/A
O = 1111
T = TO
(out)(err)		 S = N/A
O = 4692
T = TO
(out)(err)		 S = N/A
O = 4650
T = TO
(out)(err)		 S = N/A
O = 1106
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_7.wcnf S = OPT
O = 991
T = 2.36		 S = OPT
O = 991
T = 99.80
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1186
T = TO
(out)(err)		 S = OPT
O = 991
T = 34.98
(out)(err)		 S = OPT
O = 991
T = 33.55
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 991
T = 2.36
(out)(err)		 S = OPT
O = 991
T = 2.85
(out)(err)		 S = N/A
O = 1100
T = TO
(out)(err)		 S = N/A
O = 4667
T = TO
(out)(err)		 S = N/A
O = 4660
T = TO
(out)(err)		 S = N/A
O = 1110
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_8.wcnf S = OPT
O = 999
T = 0.70		 S = OPT
O = 999
T = 5.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1185
T = TO
(out)(err)		 S = OPT
O = 999
T = 2.32
(out)(err)		 S = OPT
O = 999
T = 2.25
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 999
T = 0.70
(out)(err)		 S = OPT
O = 999
T = 1.27
(out)(err)		 S = N/A
O = 1102
T = TO
(out)(err)		 S = N/A
O = 4650
T = TO
(out)(err)		 S = N/A
O = 4657
T = TO
(out)(err)		 S = N/A
O = 1121
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_9.wcnf S = OPT
O = 993
T = 1.16		 S = OPT
O = 993
T = 19.36
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1209
T = TO
(out)(err)		 S = OPT
O = 993
T = 4.38
(out)(err)		 S = OPT
O = 993
T = 4.16
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 993
T = 1.16
(out)(err)		 S = OPT
O = 993
T = 1.39
(out)(err)		 S = N/A
O = 1115
T = TO
(out)(err)		 S = N/A
O = 4639
T = TO
(out)(err)		 S = N/A
O = 4664
T = TO
(out)(err)		 S = N/A
O = 1123
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_0.wcnf S = OPT
O = 464
T = 0.30		 S = OPT
O = 464
T = 0.96
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 563
T = TO
(out)(err)		 S = OPT
O = 464
T = 0.58
(out)(err)		 S = OPT
O = 464
T = 0.55
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 464
T = 0.30
(out)(err)		 S = OPT
O = 464
T = 0.68
(out)(err)		 S = N/A
O = 516
T = TO
(out)(err)		 S = N/A
O = 2120
T = TO
(out)(err)		 S = N/A
O = 2096
T = TO
(out)(err)		 S = N/A
O = 525
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_1.wcnf S = OPT
O = 454
T = 0.45		 S = OPT
O = 454
T = 2.10
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 562
T = TO
(out)(err)		 S = OPT
O = 454
T = 1.19
(out)(err)		 S = OPT
O = 454
T = 1.24
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 454
T = 0.45
(out)(err)		 S = OPT
O = 454
T = 0.71
(out)(err)		 S = N/A
O = 510
T = TO
(out)(err)		 S = N/A
O = 2143
T = TO
(out)(err)		 S = N/A
O = 765
T = TO
(out)(err)		 S = N/A
O = 518
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_2.wcnf S = OPT
O = 423
T = 0.95		 S = OPT
O = 423
T = 17.90
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 549
T = TO
(out)(err)		 S = OPT
O = 423
T = 6.33
(out)(err)		 S = OPT
O = 423
T = 5.56
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 423
T = 2.78
(out)(err)		 S = OPT
O = 423
T = 0.95
(out)(err)		 S = N/A
O = 480
T = TO
(out)(err)		 S = N/A
O = 2113
T = TO
(out)(err)		 S = N/A
O = 2124
T = TO
(out)(err)		 S = N/A
O = 515
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_3.wcnf S = OPT
O = 442
T = 1.03		 S = OPT
O = 442
T = 5.67
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 567
T = TO
(out)(err)		 S = OPT
O = 442
T = 2.23
(out)(err)		 S = OPT
O = 442
T = 2.17
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 442
T = 1.03
(out)(err)		 S = OPT
O = 442
T = 1.36
(out)(err)		 S = N/A
O = 509
T = TO
(out)(err)		 S = N/A
O = 1793
T = TO
(out)(err)		 S = N/A
O = 2126
T = TO
(out)(err)		 S = N/A
O = 516
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_4.wcnf S = OPT
O = 447
T = 0.26		 S = OPT
O = 447
T = 0.92
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 543
T = TO
(out)(err)		 S = OPT
O = 447
T = 0.46
(out)(err)		 S = OPT
O = 447
T = 0.46
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 447
T = 0.26
(out)(err)		 S = OPT
O = 447
T = 0.61
(out)(err)		 S = N/A
O = 500
T = TO
(out)(err)		 S = N/A
O = 2126
T = TO
(out)(err)		 S = N/A
O = 2125
T = TO
(out)(err)		 S = N/A
O = 518
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_5.wcnf S = OPT
O = 433
T = 0.26		 S = OPT
O = 433
T = 0.36
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 536
T = TO
(out)(err)		 S = OPT
O = 433
T = 0.39
(out)(err)		 S = OPT
O = 433
T = 0.35
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 433
T = 0.26
(out)(err)		 S = OPT
O = 433
T = 0.61
(out)(err)		 S = N/A
O = 501
T = TO
(out)(err)		 S = N/A
O = 2122
T = TO
(out)(err)		 S = N/A
O = 2087
T = TO
(out)(err)		 S = N/A
O = 511
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_6.wcnf S = OPT
O = 461
T = 0.64		 S = OPT
O = 461
T = 3.30
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 522
T = TO
(out)(err)		 S = OPT
O = 461
T = 1.77
(out)(err)		 S = OPT
O = 461
T = 1.66
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 461
T = 0.64
(out)(err)		 S = OPT
O = 461
T = 1.03
(out)(err)		 S = N/A
O = 517
T = TO
(out)(err)		 S = N/A
O = 1726
T = TO
(out)(err)		 S = N/A
O = 2096
T = TO
(out)(err)		 S = N/A
O = 515
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_7.wcnf S = OPT
O = 434
T = 1.13		 S = OPT
O = 434
T = 12.79
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 526
T = TO
(out)(err)		 S = OPT
O = 434
T = 5.25
(out)(err)		 S = OPT
O = 434
T = 5.01
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 434
T = 2.64
(out)(err)		 S = OPT
O = 434
T = 1.13
(out)(err)		 S = N/A
O = 493
T = TO
(out)(err)		 S = N/A
O = 2137
T = TO
(out)(err)		 S = N/A
O = 2118
T = TO
(out)(err)		 S = N/A
O = 513
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_8.wcnf S = OPT
O = 456
T = 1.39		 S = OPT
O = 456
T = 6.07
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 547
T = TO
(out)(err)		 S = OPT
O = 456
T = 3.10
(out)(err)		 S = OPT
O = 456
T = 2.96
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 456
T = 1.39
(out)(err)		 S = OPT
O = 456
T = 1.53
(out)(err)		 S = N/A
O = 521
T = TO
(out)(err)		 S = N/A
O = 2141
T = TO
(out)(err)		 S = N/A
O = 2127
T = TO
(out)(err)		 S = N/A
O = 514
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_9.wcnf S = OPT
O = 470
T = 0.19		 S = OPT
O = 470
T = 0.39
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 574
T = TO
(out)(err)		 S = OPT
O = 470
T = 0.43
(out)(err)		 S = OPT
O = 470
T = 0.39
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 470
T = 0.19
(out)(err)		 S = OPT
O = 470
T = 0.59
(out)(err)		 S = N/A
O = 528
T = TO
(out)(err)		 S = N/A
O = 787
T = TO
(out)(err)		 S = N/A
O = 818
T = TO
(out)(err)		 S = N/A
O = 541
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_0.wcnf S = OPT
O = 539
T = 2.35		 S = OPT
O = 539
T = 20.83
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 687
T = TO
(out)(err)		 S = OPT
O = 539
T = 6.90
(out)(err)		 S = OPT
O = 539
T = 6.70
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 539
T = 2.35
(out)(err)		 S = OPT
O = 539
T = 2.36
(out)(err)		 S = N/A
O = 598
T = TO
(out)(err)		 S = N/A
O = 2631
T = TO
(out)(err)		 S = N/A
O = 2623
T = TO
(out)(err)		 S = N/A
O = 621
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_1.wcnf S = OPT
O = 560
T = 5.30		 S = OPT
O = 560
T = 51.59
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 692
T = TO
(out)(err)		 S = OPT
O = 560
T = 25.40
(out)(err)		 S = OPT
O = 560
T = 23.85
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 560
T = 8.01
(out)(err)		 S = OPT
O = 560
T = 5.30
(out)(err)		 S = N/A
O = 632
T = TO
(out)(err)		 S = N/A
O = 2630
T = TO
(out)(err)		 S = N/A
O = 2624
T = TO
(out)(err)		 S = N/A
O = 652
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_2.wcnf S = OPT
O = 531
T = 0.84		 S = OPT
O = 531
T = 7.82
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 679
T = TO
(out)(err)		 S = OPT
O = 531
T = 7.55
(out)(err)		 S = OPT
O = 531
T = 6.94
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 531
T = 2.73
(out)(err)		 S = OPT
O = 531
T = 0.84
(out)(err)		 S = N/A
O = 602
T = TO
(out)(err)		 S = N/A
O = 2636
T = TO
(out)(err)		 S = N/A
O = 2600
T = TO
(out)(err)		 S = N/A
O = 617
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_3.wcnf S = OPT
O = 555
T = 1.65		 S = OPT
O = 555
T = 55.73
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 632
T = TO
(out)(err)		 S = OPT
O = 555
T = 19.38
(out)(err)		 S = OPT
O = 555
T = 17.35
(out)(err)		 S = N/A
O = N/A
T = 341.55
(out)(err)		 S = OPT
O = 555
T = 5.64
(out)(err)		 S = OPT
O = 555
T = 1.65
(out)(err)		 S = N/A
O = 617
T = TO
(out)(err)		 S = N/A
O = 2637
T = TO
(out)(err)		 S = N/A
O = 2625
T = TO
(out)(err)		 S = N/A
O = 631
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_4.wcnf S = OPT
O = 556
T = 0.46		 S = OPT
O = 556
T = 1.65
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 697
T = TO
(out)(err)		 S = OPT
O = 556
T = 1.05
(out)(err)		 S = OPT
O = 556
T = 0.97
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 556
T = 0.46
(out)(err)		 S = OPT
O = 556
T = 0.74
(out)(err)		 S = N/A
O = 635
T = TO
(out)(err)		 S = N/A
O = 2623
T = TO
(out)(err)		 S = N/A
O = 2607
T = TO
(out)(err)		 S = N/A
O = 641
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_5.wcnf S = OPT
O = 538
T = 4.25		 S = OPT
O = 538
T = 142.80
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 664
T = TO
(out)(err)		 S = OPT
O = 538
T = 26.09
(out)(err)		 S = OPT
O = 538
T = 24.84
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 538
T = 8.90
(out)(err)		 S = OPT
O = 538
T = 4.25
(out)(err)		 S = N/A
O = 623
T = TO
(out)(err)		 S = N/A
O = 2617
T = TO
(out)(err)		 S = N/A
O = 2639
T = TO
(out)(err)		 S = N/A
O = 637
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_6.wcnf S = OPT
O = 537
T = 4.14		 S = OPT
O = 537
T = 43.82
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 658
T = TO
(out)(err)		 S = OPT
O = 537
T = 15.24
(out)(err)		 S = OPT
O = 537
T = 13.70
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 537
T = 5.96
(out)(err)		 S = OPT
O = 537
T = 4.14
(out)(err)		 S = N/A
O = 610
T = TO
(out)(err)		 S = N/A
O = 2630
T = TO
(out)(err)		 S = N/A
O = 2579
T = TO
(out)(err)		 S = N/A
O = 632
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_7.wcnf S = OPT
O = 527
T = 1.10		 S = OPT
O = 527
T = 6.35
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 655
T = TO
(out)(err)		 S = OPT
O = 527
T = 3.61
(out)(err)		 S = OPT
O = 527
T = 3.75
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 527
T = 1.65
(out)(err)		 S = OPT
O = 527
T = 1.10
(out)(err)		 S = N/A
O = 615
T = TO
(out)(err)		 S = N/A
O = 2617
T = TO
(out)(err)		 S = N/A
O = 2634
T = TO
(out)(err)		 S = N/A
O = 626
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_8.wcnf S = OPT
O = 564
T = 4.72		 S = OPT
O = 564
T = 105.27
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 667
T = TO
(out)(err)		 S = OPT
O = 564
T = 35.14
(out)(err)		 S = OPT
O = 564
T = 37.70
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 564
T = 9.65
(out)(err)		 S = OPT
O = 564
T = 4.72
(out)(err)		 S = N/A
O = 622
T = TO
(out)(err)		 S = N/A
O = 2617
T = TO
(out)(err)		 S = N/A
O = 2649
T = TO
(out)(err)		 S = N/A
O = 631
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_9.wcnf S = OPT
O = 552
T = 1.11		 S = OPT
O = 552
T = 8.01
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 671
T = TO
(out)(err)		 S = OPT
O = 552
T = 3.28
(out)(err)		 S = OPT
O = 552
T = 3.22
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 552
T = 1.11
(out)(err)		 S = OPT
O = 552
T = 1.32
(out)(err)		 S = N/A
O = 624
T = TO
(out)(err)		 S = N/A
O = 2631
T = TO
(out)(err)		 S = N/A
O = 2616
T = TO
(out)(err)		 S = N/A
O = 637
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_0.wcnf S = OPT
O = 680
T = 3.17		 S = OPT
O = 680
T = 158.01
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 808
T = TO
(out)(err)		 S = OPT
O = 680
T = 28.55
(out)(err)		 S = OPT
O = 680
T = 26.74
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 680
T = 13.42
(out)(err)		 S = OPT
O = 680
T = 3.17
(out)(err)		 S = N/A
O = 761
T = TO
(out)(err)		 S = N/A
O = 3159
T = TO
(out)(err)		 S = N/A
O = 3143
T = TO
(out)(err)		 S = N/A
O = 768
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_1.wcnf S = OPT
O = 679
T = 1.61		 S = OPT
O = 679
T = 8.44
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 791
T = TO
(out)(err)		 S = OPT
O = 679
T = 5.99
(out)(err)		 S = OPT
O = 679
T = 6.17
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 679
T = 1.69
(out)(err)		 S = OPT
O = 679
T = 1.61
(out)(err)		 S = N/A
O = 769
T = TO
(out)(err)		 S = N/A
O = 3118
T = TO
(out)(err)		 S = N/A
O = 3107
T = TO
(out)(err)		 S = N/A
O = 762
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_2.wcnf S = OPT
O = 716
T = 1.09		 S = OPT
O = 716
T = 9.04
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 795
T = TO
(out)(err)		 S = OPT
O = 716
T = 3.39
(out)(err)		 S = OPT
O = 716
T = 3.24
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 716
T = 1.09
(out)(err)		 S = OPT
O = 716
T = 1.33
(out)(err)		 S = N/A
O = 773
T = TO
(out)(err)		 S = N/A
O = 3141
T = TO
(out)(err)		 S = N/A
O = 3150
T = TO
(out)(err)		 S = N/A
O = 780
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_3.wcnf S = OPT
O = 669
T = 1.42		 S = OPT
O = 669
T = 15.55
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 799
T = TO
(out)(err)		 S = OPT
O = 669
T = 5.95
(out)(err)		 S = OPT
O = 669
T = 5.72
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 669
T = 1.81
(out)(err)		 S = OPT
O = 669
T = 1.42
(out)(err)		 S = N/A
O = 747
T = TO
(out)(err)		 S = N/A
O = 3151
T = TO
(out)(err)		 S = N/A
O = 3135
T = TO
(out)(err)		 S = N/A
O = 747
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_4.wcnf S = OPT
O = 627
T = 1.79		 S = OPT
O = 627
T = 21.92
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 733
T = TO
(out)(err)		 S = OPT
O = 627
T = 4.07
(out)(err)		 S = OPT
O = 627
T = 4.23
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 627
T = 1.79
(out)(err)		 S = OPT
O = 627
T = 1.83
(out)(err)		 S = N/A
O = 726
T = TO
(out)(err)		 S = N/A
O = 3144
T = TO
(out)(err)		 S = N/A
O = 3132
T = TO
(out)(err)		 S = N/A
O = 729
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_5.wcnf S = OPT
O = 667
T = 5.09		 S = OPT
O = 667
T = 176.62
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 834
T = TO
(out)(err)		 S = OPT
O = 667
T = 33.92
(out)(err)		 S = OPT
O = 667
T = 36.53
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 667
T = 8.36
(out)(err)		 S = OPT
O = 667
T = 5.09
(out)(err)		 S = N/A
O = 752
T = TO
(out)(err)		 S = N/A
O = 3112
T = TO
(out)(err)		 S = N/A
O = 3149
T = TO
(out)(err)		 S = N/A
O = 767
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_6.wcnf S = OPT
O = 688
T = 0.53		 S = OPT
O = 688
T = 1.94
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 839
T = TO
(out)(err)		 S = OPT
O = 688
T = 1.82
(out)(err)		 S = OPT
O = 688
T = 1.64
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 688
T = 0.53
(out)(err)		 S = OPT
O = 688
T = 0.72
(out)(err)		 S = N/A
O = 779
T = TO
(out)(err)		 S = N/A
O = 3138
T = TO
(out)(err)		 S = N/A
O = 3077
T = TO
(out)(err)		 S = N/A
O = 783
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_7.wcnf S = OPT
O = 675
T = 0.70		 S = OPT
O = 675
T = 2.71
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 778
T = TO
(out)(err)		 S = OPT
O = 675
T = 1.42
(out)(err)		 S = OPT
O = 675
T = 1.55
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 675
T = 0.70
(out)(err)		 S = OPT
O = 675
T = 1.24
(out)(err)		 S = N/A
O = 744
T = TO
(out)(err)		 S = N/A
O = 3127
T = TO
(out)(err)		 S = N/A
O = 3133
T = TO
(out)(err)		 S = N/A
O = 766
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_8.wcnf S = OPT
O = 675
T = 1.20		 S = OPT
O = 675
T = 8.75
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 815
T = TO
(out)(err)		 S = OPT
O = 675
T = 2.81
(out)(err)		 S = OPT
O = 675
T = 2.66
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 675
T = 1.23
(out)(err)		 S = OPT
O = 675
T = 1.20
(out)(err)		 S = N/A
O = 743
T = TO
(out)(err)		 S = N/A
O = 3132
T = TO
(out)(err)		 S = N/A
O = 3135
T = TO
(out)(err)		 S = N/A
O = 779
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_9.wcnf S = OPT
O = 638
T = 1.83		 S = OPT
O = 638
T = 32.76
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 797
T = TO
(out)(err)		 S = OPT
O = 638
T = 10.89
(out)(err)		 S = OPT
O = 638
T = 10.51
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 638
T = 3.34
(out)(err)		 S = OPT
O = 638
T = 1.83
(out)(err)		 S = N/A
O = 728
T = TO
(out)(err)		 S = N/A
O = 3147
T = TO
(out)(err)		 S = N/A
O = 3144
T = TO
(out)(err)		 S = N/A
O = 740
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L3_V100_C600_H100_0.wcnf S = OPT
O = 8
T = 4.77		 S = OPT
O = 8
T = 5.01
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 12
T = TO
(out)(err)		 S = OPT
O = 8
T = 5.06
(out)(err)		 S = OPT
O = 8
T = 4.77
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 8
T = 16.39
(out)(err)		 S = OPT
O = 8
T = 4.91
(out)(err)		 S = N/A
O = 9
T = TO
(out)(err)		 S = N/A
O = 84
T = TO
(out)(err)		 S = N/A
O = 62
T = TO
(out)(err)		 S = N/A
O = 11
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L3_V100_C600_H100_1.wcnf S = OPT
O = 8
T = 6.32		 S = OPT
O = 8
T = 15.47
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 20
T = TO
(out)(err)		 S = OPT
O = 8
T = 14.04
(out)(err)		 S = OPT
O = 8
T = 13.37
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 8
T = 10.37
(out)(err)		 S = OPT
O = 8
T = 6.32
(out)(err)		 S = N/A
O = 11
T = TO
(out)(err)		 S = N/A
O = 99
T = TO
(out)(err)		 S = N/A
O = 77
T = TO
(out)(err)		 S = N/A
O = 10
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L3_V100_C600_H100_2.wcnf S = OPT
O = 8
T = 3.26		 S = OPT
O = 8
T = 22.86
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 22
T = TO
(out)(err)		 S = OPT
O = 8
T = 19.77
(out)(err)		 S = OPT
O = 8
T = 18.75
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 8
T = 8.54
(out)(err)		 S = OPT
O = 8
T = 3.26
(out)(err)		 S = N/A
O = 11
T = TO
(out)(err)		 S = N/A
O = 118
T = TO
(out)(err)		 S = N/A
O = 75
T = TO
(out)(err)		 S = N/A
O = 15
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L3_V100_C600_H100_3.wcnf S = OPT
O = 9
T = 7.32		 S = OPT
O = 9
T = 18.76
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 18
T = TO
(out)(err)		 S = OPT
O = 9
T = 16.01
(out)(err)		 S = OPT
O = 9
T = 15.02
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 9
T = 14.96
(out)(err)		 S = OPT
O = 9
T = 7.32
(out)(err)		 S = N/A
O = 13
T = TO
(out)(err)		 S = N/A
O = 96
T = TO
(out)(err)		 S = N/A
O = 83
T = TO
(out)(err)		 S = N/A
O = 10
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L3_V100_C600_H100_4.wcnf S = OPT
O = 7
T = 2.18		 S = OPT
O = 7
T = 3.95
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 23
T = TO
(out)(err)		 S = OPT
O = 7
T = 3.96
(out)(err)		 S = OPT
O = 7
T = 3.79
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 7
T = 3.48
(out)(err)		 S = OPT
O = 7
T = 2.18
(out)(err)		 S = N/A
O = 9
T = TO
(out)(err)		 S = N/A
O = 82
T = TO
(out)(err)		 S = N/A
O = 62
T = TO
(out)(err)		 S = N/A
O = 10
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L3_V100_C600_H100_5.wcnf S = OPT
O = 8
T = 3.13		 S = OPT
O = 8
T = 4.91
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 19
T = TO
(out)(err)		 S = OPT
O = 8
T = 4.68
(out)(err)		 S = OPT
O = 8
T = 4.43
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 8
T = 6.40
(out)(err)		 S = OPT
O = 8
T = 3.13
(out)(err)		 S = N/A
O = 10
T = TO
(out)(err)		 S = N/A
O = 107
T = TO
(out)(err)		 S = N/A
O = 89
T = TO
(out)(err)		 S = N/A
O = 13
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L3_V100_C600_H100_6.wcnf S = OPT
O = 7
T = 3.19		 S = OPT
O = 7
T = 14.85
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 20
T = TO
(out)(err)		 S = OPT
O = 7
T = 12.24
(out)(err)		 S = OPT
O = 7
T = 11.33
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 7
T = 10.91
(out)(err)		 S = OPT
O = 7
T = 3.19
(out)(err)		 S = N/A
O = 10
T = TO
(out)(err)		 S = N/A
O = 90
T = TO
(out)(err)		 S = N/A
O = 48
T = TO
(out)(err)		 S = N/A
O = 11
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L3_V100_C600_H100_7.wcnf S = OPT
O = 8
T = 8.51		 S = OPT
O = 8
T = 14.49
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 21
T = TO
(out)(err)		 S = OPT
O = 8
T = 12.80
(out)(err)		 S = OPT
O = 8
T = 12.20
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 8
T = 11.00
(out)(err)		 S = OPT
O = 8
T = 8.51
(out)(err)		 S = N/A
O = 9
T = TO
(out)(err)		 S = N/A
O = 97
T = TO
(out)(err)		 S = N/A
O = 70
T = TO
(out)(err)		 S = N/A
O = 12
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L3_V100_C600_H100_8.wcnf S = OPT
O = 5
T = 1.56		 S = OPT
O = 5
T = 7.89
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 26
T = TO
(out)(err)		 S = OPT
O = 5
T = 7.05
(out)(err)		 S = OPT
O = 5
T = 6.68
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 5
T = 4.71
(out)(err)		 S = OPT
O = 5
T = 1.56
(out)(err)		 S = N/A
O = 5
T = TO
(out)(err)		 S = N/A
O = 55
T = TO
(out)(err)		 S = N/A
O = 51
T = TO
(out)(err)		 S = N/A
O = 5
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L3_V100_C600_H100_9.wcnf S = OPT
O = 9
T = 6.36		 S = OPT
O = 9
T = 17.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 25
T = TO
(out)(err)		 S = OPT
O = 9
T = 15.55
(out)(err)		 S = OPT
O = 9
T = 14.71
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 9
T = 7.09
(out)(err)		 S = OPT
O = 9
T = 6.36
(out)(err)		 S = N/A
O = 12
T = TO
(out)(err)		 S = N/A
O = 117
T = TO
(out)(err)		 S = N/A
O = 73
T = TO
(out)(err)		 S = N/A
O = 14
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L3_V100_C700_H100_0.wcnf S = OPT
O = 18
T = 59.69		 S = OPT
O = 18
T = 108.82
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 61
T = TO
(out)(err)		 S = OPT
O = 18
T = 75.06
(out)(err)		 S = OPT
O = 18
T = 72.12
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 18
T = 67.75
(out)(err)		 S = OPT
O = 18
T = 59.69
(out)(err)		 S = N/A
O = 25
T = TO
(out)(err)		 S = N/A
O = 237
T = TO
(out)(err)		 S = N/A
O = 125
T = TO
(out)(err)		 S = N/A
O = 25
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L3_V100_C700_H100_1.wcnf S = OPT
O = 14
T = 26.05		 S = OPT
O = 14
T = 137.06
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 69
T = TO
(out)(err)		 S = OPT
O = 14
T = 84.19
(out)(err)		 S = OPT
O = 14
T = 81.50
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 14
T = 107.55
(out)(err)		 S = OPT
O = 14
T = 26.05
(out)(err)		 S = N/A
O = 24
T = TO
(out)(err)		 S = N/A
O = 195
T = TO
(out)(err)		 S = N/A
O = 137
T = TO
(out)(err)		 S = N/A
O = 25
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L3_V100_C700_H100_2.wcnf S = OPT
O = 15
T = 33.80		 S = OPT
O = 15
T = 54.54
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 66
T = TO
(out)(err)		 S = OPT
O = 15
T = 39.75
(out)(err)		 S = OPT
O = 15
T = 38.05
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 15
T = 36.43
(out)(err)		 S = OPT
O = 15
T = 33.80
(out)(err)		 S = N/A
O = 24
T = TO
(out)(err)		 S = N/A
O = 174
T = TO
(out)(err)		 S = N/A
O = 134
T = TO
(out)(err)		 S = N/A
O = 22
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L3_V100_C700_H100_3.wcnf S = OPT
O = 12
T = 24.39		 S = OPT
O = 12
T = 55.49
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 29
T = TO
(out)(err)		 S = OPT
O = 12
T = 39.53
(out)(err)		 S = OPT
O = 12
T = 37.78
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 12
T = 31.52
(out)(err)		 S = OPT
O = 12
T = 24.39
(out)(err)		 S = N/A
O = 17
T = TO
(out)(err)		 S = N/A
O = 178
T = TO
(out)(err)		 S = N/A
O = 72
T = TO
(out)(err)		 S = N/A
O = 20
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L3_V100_C700_H100_4.wcnf S = OPT
O = 11
T = 5.06		 S = OPT
O = 11
T = 78.28
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 29
T = TO
(out)(err)		 S = OPT
O = 11
T = 50.84
(out)(err)		 S = OPT
O = 11
T = 48.95
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 11
T = 41.66
(out)(err)		 S = OPT
O = 11
T = 5.06
(out)(err)		 S = N/A
O = 22
T = TO
(out)(err)		 S = N/A
O = 143
T = TO
(out)(err)		 S = N/A
O = 75
T = TO
(out)(err)		 S = N/A
O = 21
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L3_V100_C700_H100_5.wcnf S = OPT
O = 14
T = 31.42		 S = OPT
O = 14
T = 190.58
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 60
T = TO
(out)(err)		 S = OPT
O = 14
T = 124.82
(out)(err)		 S = OPT
O = 14
T = 118.71
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 14
T = 119.48
(out)(err)		 S = OPT
O = 14
T = 31.42
(out)(err)		 S = N/A
O = 23
T = TO
(out)(err)		 S = N/A
O = 214
T = TO
(out)(err)		 S = N/A
O = 124
T = TO
(out)(err)		 S = N/A
O = 22
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L3_V100_C700_H100_6.wcnf S = OPT
O = 12
T = 20.46		 S = OPT
O = 12
T = 81.58
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 56
T = TO
(out)(err)		 S = OPT
O = 12
T = 59.86
(out)(err)		 S = OPT
O = 12
T = 57.37
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 12
T = 45.33
(out)(err)		 S = OPT
O = 12
T = 20.46
(out)(err)		 S = N/A
O = 17
T = TO
(out)(err)		 S = N/A
O = 202
T = TO
(out)(err)		 S = N/A
O = 114
T = TO
(out)(err)		 S = N/A
O = 22
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L3_V100_C700_H100_7.wcnf S = OPT
O = 17
T = 78.17		 S = OPT
O = 17
T = 168.98
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 33
T = TO
(out)(err)		 S = OPT
O = 17
T = 118.01
(out)(err)		 S = OPT
O = 17
T = 113.14
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 17
T = 91.35
(out)(err)		 S = OPT
O = 17
T = 78.17
(out)(err)		 S = N/A
O = 23
T = TO
(out)(err)		 S = N/A
O = 104
T = TO
(out)(err)		 S = N/A
O = 137
T = TO
(out)(err)		 S = N/A
O = 24
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L3_V100_C700_H100_8.wcnf S = OPT
O = 16
T = 128.21		 S = OPT
O = 16
T = 268.44
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 27
T = TO
(out)(err)		 S = OPT
O = 16
T = 176.06
(out)(err)		 S = OPT
O = 16
T = 170.40
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 16
T = 147.84
(out)(err)		 S = OPT
O = 16
T = 128.21
(out)(err)		 S = N/A
O = 19
T = TO
(out)(err)		 S = N/A
O = 117
T = TO
(out)(err)		 S = N/A
O = 131
T = TO
(out)(err)		 S = N/A
O = 21
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L3_V100_C700_H100_9.wcnf S = OPT
O = 12
T = 8.01		 S = OPT
O = 12
T = 39.72
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 45
T = TO
(out)(err)		 S = OPT
O = 12
T = 32.15
(out)(err)		 S = OPT
O = 12
T = 30.45
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 12
T = 28.88
(out)(err)		 S = OPT
O = 12
T = 8.01
(out)(err)		 S = N/A
O = 20
T = TO
(out)(err)		 S = N/A
O = 194
T = TO
(out)(err)		 S = N/A
O = 75
T = TO
(out)(err)		 S = N/A
O = 18
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L3_V100_C800_H100_0.wcnf S = OPT
O = 21
T = 107.91		 S = OPT
O = 21
T = 299.90
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 80
T = TO
(out)(err)		 S = OPT
O = 21
T = 153.22
(out)(err)		 S = OPT
O = 21
T = 149.10
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 21
T = 168.75
(out)(err)		 S = OPT
O = 21
T = 107.91
(out)(err)		 S = N/A
O = 35
T = TO
(out)(err)		 S = N/A
O = 206
T = TO
(out)(err)		 S = N/A
O = 104
T = TO
(out)(err)		 S = N/A
O = 32
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L3_V100_C800_H100_1.wcnf S = OPT
O = 21
T = 143.07		 S = OPT
O = 21
T = 459.17
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 71
T = TO
(out)(err)		 S = OPT
O = 21
T = 266.87
(out)(err)		 S = OPT
O = 21
T = 257.57
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 21
T = 241.22
(out)(err)		 S = OPT
O = 21
T = 143.07
(out)(err)		 S = N/A
O = 31
T = TO
(out)(err)		 S = N/A
O = 188
T = TO
(out)(err)		 S = N/A
O = 172
T = TO
(out)(err)		 S = N/A
O = 28
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L3_V100_C800_H100_2.wcnf S = OPT
O = 20
T = 182.75		 S = OPT
O = 20
T = 602.91
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 68
T = TO
(out)(err)		 S = OPT
O = 20
T = 309.51
(out)(err)		 S = OPT
O = 20
T = 295.25
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 20
T = 199.56
(out)(err)		 S = OPT
O = 20
T = 182.75
(out)(err)		 S = N/A
O = 32
T = TO
(out)(err)		 S = N/A
O = 152
T = TO
(out)(err)		 S = N/A
O = 118
T = TO
(out)(err)		 S = N/A
O = 33
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L3_V100_C800_H100_3.wcnf S = OPT
O = 22
T = 81.17		 S = OPT
O = 22
T = 146.22
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 68
T = TO
(out)(err)		 S = OPT
O = 22
T = 100.45
(out)(err)		 S = OPT
O = 22
T = 96.35
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 22
T = 82.75
(out)(err)		 S = OPT
O = 22
T = 81.17
(out)(err)		 S = N/A
O = 30
T = TO
(out)(err)		 S = N/A
O = 178
T = TO
(out)(err)		 S = N/A
O = 176
T = TO
(out)(err)		 S = N/A
O = 33
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L3_V100_C800_H100_4.wcnf S = OPT
O = 18
T = 74.20		 S = OPT
O = 18
T = 267.66
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 43
T = TO
(out)(err)		 S = OPT
O = 18
T = 144.72
(out)(err)		 S = OPT
O = 18
T = 139.65
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 18
T = 106.02
(out)(err)		 S = OPT
O = 18
T = 74.20
(out)(err)		 S = N/A
O = 23
T = TO
(out)(err)		 S = N/A
O = 222
T = TO
(out)(err)		 S = N/A
O = 150
T = TO
(out)(err)		 S = N/A
O = 28
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L3_V100_C800_H100_5.wcnf S = OPT
O = 20
T = 81.81		 S = OPT
O = 20
T = 214.59
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 90
T = TO
(out)(err)		 S = OPT
O = 20
T = 120.54
(out)(err)		 S = OPT
O = 20
T = 117.10
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 20
T = 107.19
(out)(err)		 S = OPT
O = 20
T = 81.81
(out)(err)		 S = N/A
O = 26
T = TO
(out)(err)		 S = N/A
O = 317
T = TO
(out)(err)		 S = N/A
O = 152
T = TO
(out)(err)		 S = N/A
O = 35
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L3_V100_C800_H100_6.wcnf S = OPT
O = 17
T = 34.72		 S = OPT
O = 17
T = 200.66
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 59
T = TO
(out)(err)		 S = OPT
O = 17
T = 118.85
(out)(err)		 S = OPT
O = 17
T = 115.12
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 17
T = 97.95
(out)(err)		 S = OPT
O = 17
T = 34.72
(out)(err)		 S = N/A
O = 27
T = TO
(out)(err)		 S = N/A
O = 316
T = TO
(out)(err)		 S = N/A
O = 112
T = TO
(out)(err)		 S = N/A
O = 31
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L3_V100_C800_H100_7.wcnf S = OPT
O = 23
T = 79.36		 S = OPT
O = 23
T = 383.11
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 80
T = TO
(out)(err)		 S = OPT
O = 23
T = 196.51
(out)(err)		 S = OPT
O = 23
T = 190.49
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 23
T = 163.08
(out)(err)		 S = OPT
O = 23
T = 79.36
(out)(err)		 S = N/A
O = 36
T = TO
(out)(err)		 S = N/A
O = 335
T = TO
(out)(err)		 S = N/A
O = 147
T = TO
(out)(err)		 S = N/A
O = 43
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L3_V100_C800_H100_8.wcnf S = OPT
O = 25
T = 527.58		 S = OPT
O = 25
T = 1255.05
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 39
T = TO
(out)(err)		 S = OPT
O = 25
T = 676.95
(out)(err)		 S = OPT
O = 25
T = 651.10
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 25
T = 542.06
(out)(err)		 S = OPT
O = 25
T = 527.58
(out)(err)		 S = N/A
O = 32
T = TO
(out)(err)		 S = N/A
O = 330
T = TO
(out)(err)		 S = N/A
O = 108
T = TO
(out)(err)		 S = N/A
O = 30
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L3_V100_C800_H100_9.wcnf S = OPT
O = 20
T = 78.26		 S = OPT
O = 20
T = 315.89
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 76
T = TO
(out)(err)		 S = OPT
O = 20
T = 188.00
(out)(err)		 S = OPT
O = 20
T = 180.96
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 20
T = 123.94
(out)(err)		 S = OPT
O = 20
T = 78.26
(out)(err)		 S = N/A
O = 31
T = TO
(out)(err)		 S = N/A
O = 225
T = TO
(out)(err)		 S = N/A
O = 234
T = TO
(out)(err)		 S = N/A
O = 32
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)