0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4499997-1751414790.opb'
0.30/0.35 c read 8.26MB (326.45ms)
0.30/0.35 c [cnf: #variables 72842 #clauses 255738 #duplicates 500 #arr 652778]
0.30/0.35 c output proof to 'PROOFDIR/proof-4499997-1751414790'
0.30/0.35 c
0.30/0.35 c make graph and approximate orbits
0.58/0.67 c [group: #orbits ~= 0] (318.25ms)
0.58/0.67 c
0.58/0.67 c detect special group actions
0.58/0.67 c probe for Johnson action (limit=64)
0.58/0.67 c probe for row-column symmetry (limit=64, splits=16.78M)
0.58/0.69 c probe for row symmetry (limit=64, splits=16.78M)
0.67/0.70 c (29.96ms)
0.67/0.70 c
0.67/0.70 c detect symmetries on remainder
0.67/0.70 c [graph: #vertices 633205 #edges 1914806]
0.67/0.70 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.67/0.76 c [group: #symmetries 1.00*10^0 #generators 0] (67.95ms)
0.67/0.76 c
0.67/0.76 c finalize break order and special generators
0.67/0.77 c
0.67/0.77 c generation finished
0.67/0.77 c [sbp: #constraints 0 #add_vars 0]
0.67/0.78 c
0.67/0.78 c write result to 'HOME/instance-4499997-1751414790.opb.pre'
0.77/0.82 c wrote 8.47MB (34.27ms)
0.77/0.82 c ------------------------------------------------------------------
0.77/0.82 c 326.45ms 40.91% parse
0.77/0.82 c 318.25ms 39.88% approx_orbits
0.77/0.82 c 67.95ms 8.52% detect_generic
0.77/0.82 c 34.27ms 4.29% output
0.77/0.82 c 29.96ms 3.75% detect_special
0.77/0.82 c 15.57ms 1.95% other
0.77/0.82 c 5.52ms 0.69% finalize_order
0.77/0.82 c ───────────────────────────────────────────────
0.77/0.82 c 797.98ms 100% total
0.77/0.82 c ------------------------------------------------------------------
0.77/0.86 c RoundingSat 2
0.77/0.86 c branch pb25
0.77/0.86 c commit 63f22ad
2.34/2.46 c #variables 72842 #constraints 218447
2.34/2.46 c objective is ce32
4.05/4.17 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.05/4.17 c initial counting CF 32, 64, 128, Arb: 1154 , 0 , 0 , 0
4.05/4.17 c bounds 237 >= 0 @ 2.98209
4.95/5.01 c bounds 236 >= 0 @ 3.77573
4.95/5.03 c bounds 236 >= 99 @ 3.79353
4.95/5.05 c bounds 235 >= 99 @ 3.81039
19.69/19.86 c #Conflicts: 1000 | #Constraints: 219453
19.69/19.86 c #Conflicts: 2000 | #Constraints: 220453
19.69/19.86 c INPROCESSING
19.69/19.86 c GARBAGE COLLECT
19.69/19.86 c bounds 234 >= 99 @ 18.5006
19.69/19.87 c bounds 233 >= 99 @ 18.5158
19.69/19.89 c bounds 232 >= 99 @ 18.5306
19.79/19.90 c bounds 231 >= 99 @ 18.544
19.79/19.92 c bounds 230 >= 99 @ 18.5581
19.79/19.94 c bounds 229 >= 99 @ 18.5736
19.79/19.95 c bounds 228 >= 99 @ 18.587
19.79/19.97 c bounds 227 >= 99 @ 18.601
19.79/19.98 c bounds 226 >= 99 @ 18.6156
19.79/20.00 c bounds 225 >= 99 @ 18.6303
19.90/20.01 c bounds 224 >= 99 @ 18.645
19.90/20.03 c bounds 223 >= 99 @ 18.6589
19.90/20.04 c bounds 222 >= 99 @ 18.673
19.90/20.06 c bounds 221 >= 99 @ 18.6877
19.90/20.07 c bounds 220 >= 99 @ 18.7027
19.90/20.09 c bounds 219 >= 99 @ 18.7173
19.90/20.10 c bounds 218 >= 99 @ 18.7313
20.01/20.12 c bounds 217 >= 99 @ 18.746
20.01/20.13 c bounds 216 >= 99 @ 18.7589
20.01/20.15 c bounds 215 >= 99 @ 18.7729
20.01/20.16 c bounds 214 >= 99 @ 18.7854
20.01/20.17 c bounds 213 >= 99 @ 18.7983
20.01/20.19 c bounds 212 >= 99 @ 18.8118
20.09/20.20 c bounds 211 >= 99 @ 18.8249
20.09/20.22 c bounds 210 >= 99 @ 18.8388
20.09/20.23 c bounds 209 >= 99 @ 18.8524
20.09/20.24 c bounds 208 >= 99 @ 18.8653
20.09/20.26 c bounds 207 >= 99 @ 18.8849
20.09/20.28 c bounds 206 >= 99 @ 18.8957
20.09/20.29 c bounds 205 >= 99 @ 18.9072
20.19/20.31 c bounds 204 >= 99 @ 18.9214
20.19/20.32 c bounds 203 >= 99 @ 18.9342
20.19/20.33 c bounds 202 >= 99 @ 18.947
20.19/20.35 c bounds 201 >= 99 @ 18.96
20.19/20.36 c bounds 200 >= 99 @ 18.9713
20.19/20.37 c bounds 199 >= 99 @ 18.9831
20.19/20.39 c bounds 198 >= 99 @ 18.9914
20.29/20.40 c bounds 197 >= 99 @ 19.0032
20.29/20.41 c bounds 196 >= 99 @ 19.0166
20.29/20.43 c bounds 195 >= 99 @ 19.0293
20.29/20.44 c bounds 194 >= 99 @ 19.0411
20.29/20.45 c bounds 193 >= 99 @ 19.0528
20.29/20.46 c bounds 192 >= 99 @ 19.0646
20.29/20.48 c bounds 191 >= 99 @ 19.0756
20.29/20.49 c bounds 190 >= 99 @ 19.0873
20.39/20.50 c bounds 189 >= 99 @ 19.0993
20.39/20.51 c bounds 188 >= 99 @ 19.1099
20.39/20.53 c bounds 187 >= 99 @ 19.1218
20.39/20.54 c bounds 186 >= 99 @ 19.1329
20.39/20.55 c bounds 185 >= 99 @ 19.1425
20.39/20.56 c bounds 184 >= 99 @ 19.1535
20.39/20.57 c bounds 183 >= 99 @ 19.1654
20.39/20.59 c bounds 182 >= 99 @ 19.176
20.48/20.60 c bounds 181 >= 99 @ 19.1874
20.48/20.61 c bounds 180 >= 99 @ 19.1983
20.48/20.62 c bounds 179 >= 99 @ 19.2093
20.48/20.63 c bounds 178 >= 99 @ 19.2186
20.48/20.64 c bounds 177 >= 99 @ 19.2298
20.48/20.65 c bounds 176 >= 99 @ 19.239
20.48/20.67 c bounds 175 >= 99 @ 19.2501
20.48/20.68 c bounds 174 >= 99 @ 19.2613
20.48/20.69 c bounds 173 >= 99 @ 19.273
20.59/20.70 c bounds 172 >= 99 @ 19.2844
20.59/20.71 c bounds 171 >= 99 @ 19.2946
20.59/20.72 c bounds 170 >= 99 @ 19.3037
20.59/20.74 c bounds 169 >= 99 @ 19.3144
20.59/20.75 c bounds 168 >= 99 @ 19.3252
20.59/20.76 c bounds 167 >= 99 @ 19.3357
20.59/20.77 c bounds 166 >= 99 @ 19.3463
20.59/20.78 c bounds 165 >= 99 @ 19.3568
20.59/20.79 c bounds 164 >= 99 @ 19.3671
20.68/20.80 c bounds 163 >= 99 @ 19.3763
20.68/20.81 c bounds 162 >= 99 @ 19.383
20.68/20.82 c bounds 161 >= 99 @ 19.3923
20.68/20.83 c bounds 160 >= 99 @ 19.4022
20.68/20.84 c bounds 159 >= 99 @ 19.4111
20.68/20.85 c bounds 158 >= 99 @ 19.4208
20.68/20.86 c bounds 157 >= 99 @ 19.4304
20.68/20.87 c bounds 156 >= 99 @ 19.44
20.68/20.88 c bounds 155 >= 99 @ 19.4475
20.68/20.89 c bounds 154 >= 99 @ 19.4569
20.78/20.90 c bounds 153 >= 99 @ 19.4662
20.78/20.91 c bounds 152 >= 99 @ 19.4748
20.78/20.92 c bounds 151 >= 99 @ 19.4835
20.78/20.93 c bounds 150 >= 99 @ 19.4933
20.78/20.94 c bounds 149 >= 99 @ 19.5029
20.78/20.94 c bounds 148 >= 99 @ 19.508
20.78/20.95 c bounds 147 >= 99 @ 19.5159
20.78/20.96 c bounds 146 >= 99 @ 19.5247
20.78/20.97 c bounds 145 >= 99 @ 19.5325
20.78/20.98 c bounds 144 >= 99 @ 19.5402
20.78/20.99 c bounds 143 >= 99 @ 19.5491
20.78/21.00 c bounds 142 >= 99 @ 19.5577
21.90/22.05 c #Conflicts: 3000 | #Constraints: 124173
21.90/22.05 c #Conflicts: 4000 | #Constraints: 125173
21.90/22.05 c INPROCESSING
21.90/22.05 c GARBAGE COLLECT
21.90/22.05 c bounds 141 >= 99 @ 20.591
21.90/22.06 c bounds 140 >= 99 @ 20.599
21.90/22.07 c bounds 139 >= 99 @ 20.6058
21.90/22.08 c bounds 138 >= 99 @ 20.6147
21.90/22.09 c bounds 137 >= 99 @ 20.6213
21.90/22.09 c bounds 136 >= 99 @ 20.6298
21.90/22.10 c bounds 135 >= 99 @ 20.6382
21.99/22.11 c bounds 134 >= 99 @ 20.6468
21.99/22.12 c bounds 133 >= 99 @ 20.6545
21.99/22.13 c bounds 132 >= 99 @ 20.6628
21.99/22.14 c bounds 131 >= 99 @ 20.671
21.99/22.14 c bounds 130 >= 99 @ 20.6791
21.99/22.15 c bounds 129 >= 99 @ 20.6861
21.99/22.16 c bounds 128 >= 99 @ 20.693
21.99/22.17 c bounds 127 >= 99 @ 20.7011
21.99/22.18 c bounds 126 >= 99 @ 20.7091
21.99/22.18 c bounds 125 >= 99 @ 20.7159
21.99/22.19 c bounds 124 >= 99 @ 20.7236
22.08/22.20 c bounds 123 >= 99 @ 20.7316
22.08/22.21 c bounds 122 >= 99 @ 20.7382
22.08/22.22 c bounds 121 >= 99 @ 20.7458
22.08/22.22 c bounds 120 >= 99 @ 20.7524
22.08/22.23 c bounds 119 >= 99 @ 20.7594
22.08/22.24 c bounds 118 >= 99 @ 20.7667
22.08/22.24 c bounds 117 >= 99 @ 20.7736
22.08/22.25 c bounds 116 >= 99 @ 20.7798
22.08/22.26 c bounds 115 >= 99 @ 20.7869
22.08/22.27 c bounds 114 >= 99 @ 20.7936
22.08/22.27 c bounds 113 >= 99 @ 20.7993
22.08/22.28 c bounds 112 >= 99 @ 20.8059
22.08/22.29 c bounds 111 >= 99 @ 20.8129
22.08/22.29 c bounds 110 >= 99 @ 20.8193
22.18/22.30 c bounds 109 >= 99 @ 20.8267
22.18/22.31 c bounds 108 >= 99 @ 20.8321
22.18/22.31 c bounds 107 >= 99 @ 20.8398
22.18/22.33 c bounds 106 >= 99 @ 20.8527
22.18/22.33 c bounds 105 >= 99 @ 20.8589
22.18/22.34 c bounds 104 >= 99 @ 20.8652
22.29/22.47 c bounds 103 >= 99 @ 20.9956
22.48/22.68 c #Conflicts: 5000 | #Constraints: 45595
22.48/22.68 c bounds 102 >= 99 @ 21.2037
26.07/26.27 c #Conflicts: 6000 | #Constraints: 46596
26.07/26.27 c INPROCESSING
26.07/26.27 c GARBAGE COLLECT
26.07/26.27 c #Conflicts: 7000 | #Constraints: 14595
26.07/26.27 c #Conflicts: 8000 | #Constraints: 15595
26.07/26.27 c #Conflicts: 9000 | #Constraints: 16595
26.07/26.27 c INPROCESSING
26.07/26.27 c GARBAGE COLLECT
26.07/26.27 c rational objective 99
31.86/32.02 c #Conflicts: 10000 | #Constraints: 15397
31.86/32.02 c #Conflicts: 11000 | #Constraints: 16397
31.86/32.02 c #Conflicts: 12000 | #Constraints: 17397
31.86/32.02 c INPROCESSING
31.86/32.02 c GARBAGE COLLECT
31.86/32.02 c rational objective 99
35.85/36.10 c #Conflicts: 13000 | #Constraints: 15903
35.85/36.10 c #Conflicts: 14000 | #Constraints: 16903
35.85/36.10 c #Conflicts: 15000 | #Constraints: 17903
35.85/36.10 c INPROCESSING
35.85/36.10 c GARBAGE COLLECT
35.85/36.10 c rational objective 99
48.40/48.69 c #Conflicts: 16000 | #Constraints: 16157
48.40/48.69 c #Conflicts: 17000 | #Constraints: 17157
48.40/48.69 c #Conflicts: 18000 | #Constraints: 18157
48.40/48.69 c INPROCESSING
48.40/48.69 c GARBAGE COLLECT
48.40/48.69 c rational objective 99
61.86/62.16 c #Conflicts: 19000 | #Constraints: 16196
61.86/62.16 c #Conflicts: 20000 | #Constraints: 17196
61.86/62.16 c #Conflicts: 21000 | #Constraints: 18196
61.86/62.16 c INPROCESSING
61.86/62.16 c GARBAGE COLLECT
61.86/62.16 c #Conflicts: 22000 | #Constraints: 16007
61.86/62.16 c #Conflicts: 23000 | #Constraints: 17007
61.86/62.16 c #Conflicts: 24000 | #Constraints: 18007
61.86/62.16 c #Conflicts: 25000 | #Constraints: 19007
61.86/62.16 c INPROCESSING
61.86/62.16 c GARBAGE COLLECT
61.86/62.16 c rational objective 99
67.15/67.59 c #Conflicts: 26000 | #Constraints: 16626
67.15/67.59 c #Conflicts: 27000 | #Constraints: 17626
67.15/67.59 c #Conflicts: 28000 | #Constraints: 18626
67.15/67.59 c #Conflicts: 29000 | #Constraints: 19626
67.15/67.59 c INPROCESSING
67.15/67.59 c GARBAGE COLLECT
67.15/67.59 c rational objective 99
73.77/74.29 c #Conflicts: 30000 | #Constraints: 17035
73.77/74.29 c #Conflicts: 31000 | #Constraints: 18035
73.77/74.29 c #Conflicts: 32000 | #Constraints: 19035
73.77/74.29 c #Conflicts: 33000 | #Constraints: 20035
73.77/74.29 c INPROCESSING
73.77/74.29 c GARBAGE COLLECT
73.77/74.29 c rational objective 99
81.11/81.67 c #Conflicts: 34000 | #Constraints: 17242
81.11/81.67 c #Conflicts: 35000 | #Constraints: 18242
81.11/81.67 c #Conflicts: 36000 | #Constraints: 19242
81.11/81.67 c #Conflicts: 37000 | #Constraints: 20242
81.11/81.67 c INPROCESSING
81.11/81.67 c GARBAGE COLLECT
81.11/81.67 c rational objective 99
88.89/89.48 c #Conflicts: 38000 | #Constraints: 17247
88.89/89.48 c #Conflicts: 39000 | #Constraints: 18247
88.89/89.48 c #Conflicts: 40000 | #Constraints: 19247
88.89/89.48 c #Conflicts: 41000 | #Constraints: 20247
88.89/89.48 c INPROCESSING
88.89/89.48 c GARBAGE COLLECT
88.89/89.48 c rational objective 99
98.33/99.06 c #Conflicts: 42000 | #Constraints: 17066
98.33/99.06 c #Conflicts: 43000 | #Constraints: 18066
98.33/99.06 c #Conflicts: 44000 | #Constraints: 19066
98.33/99.06 c #Conflicts: 45000 | #Constraints: 20066
98.33/99.06 c #Conflicts: 46000 | #Constraints: 21066
98.33/99.06 c INPROCESSING
98.33/99.06 c GARBAGE COLLECT
98.33/99.06 c rational objective 99
108.94/109.95 c #Conflicts: 47000 | #Constraints: 17643
108.94/109.95 c #Conflicts: 48000 | #Constraints: 18643
108.94/109.95 c #Conflicts: 49000 | #Constraints: 19643
108.94/109.95 c #Conflicts: 50000 | #Constraints: 20643
108.94/109.95 c #Conflicts: 51000 | #Constraints: 21643
108.94/109.95 c INPROCESSING
108.94/109.95 c GARBAGE COLLECT
108.94/109.95 c rational objective 99
119.31/120.32 c #Conflicts: 52000 | #Constraints: 18040
119.31/120.32 c #Conflicts: 53000 | #Constraints: 19040
119.31/120.32 c #Conflicts: 54000 | #Constraints: 20040
119.31/120.32 c #Conflicts: 55000 | #Constraints: 21040
119.31/120.32 c #Conflicts: 56000 | #Constraints: 22040
119.31/120.32 c INPROCESSING
119.31/120.32 c GARBAGE COLLECT
119.31/120.32 c rational objective 99
129.18/130.28 c #Conflicts: 57000 | #Constraints: 18237
129.18/130.28 c #Conflicts: 58000 | #Constraints: 19237
129.18/130.28 c #Conflicts: 59000 | #Constraints: 20237
129.18/130.28 c #Conflicts: 60000 | #Constraints: 21237
129.18/130.28 c #Conflicts: 61000 | #Constraints: 22237
129.18/130.28 c INPROCESSING
129.18/130.28 c GARBAGE COLLECT
129.18/130.28 c rational objective 99
135.98/137.03 c #Conflicts: 62000 | #Constraints: 18234
135.98/137.03 c #Conflicts: 63000 | #Constraints: 19234
135.98/137.03 c #Conflicts: 64000 | #Constraints: 20234
135.98/137.03 c #Conflicts: 65000 | #Constraints: 21234
135.98/137.03 c #Conflicts: 66000 | #Constraints: 22234
135.98/137.03 c INPROCESSING
135.98/137.03 c GARBAGE COLLECT
135.98/137.03 c rational objective 99
148.33/149.56 c #Conflicts: 67000 | #Constraints: 18055
148.33/149.56 c #Conflicts: 68000 | #Constraints: 19055
148.33/149.56 c #Conflicts: 69000 | #Constraints: 20055
148.33/149.56 c #Conflicts: 70000 | #Constraints: 21055
148.33/149.56 c #Conflicts: 71000 | #Constraints: 22055
148.33/149.56 c #Conflicts: 72000 | #Constraints: 23055
148.33/149.56 c INPROCESSING
148.33/149.56 c GARBAGE COLLECT
148.33/149.56 c rational objective 99
155.31/156.56 c #Conflicts: 73000 | #Constraints: 18670
155.31/156.56 c #Conflicts: 74000 | #Constraints: 19670
155.31/156.56 c #Conflicts: 75000 | #Constraints: 20670
155.31/156.56 c #Conflicts: 76000 | #Constraints: 21670
155.31/156.56 c #Conflicts: 77000 | #Constraints: 22670
155.31/156.56 c #Conflicts: 78000 | #Constraints: 23670
155.31/156.56 c INPROCESSING
155.31/156.56 c GARBAGE COLLECT
155.31/156.56 c rational objective 99
165.79/167.02 c #Conflicts: 79000 | #Constraints: 19063
165.79/167.02 c #Conflicts: 80000 | #Constraints: 20063
165.79/167.02 c #Conflicts: 81000 | #Constraints: 21063
165.79/167.02 c #Conflicts: 82000 | #Constraints: 22063
165.79/167.02 c #Conflicts: 83000 | #Constraints: 23063
165.79/167.02 c #Conflicts: 84000 | #Constraints: 24063
165.79/167.02 c INPROCESSING
165.79/167.02 c GARBAGE COLLECT
165.79/167.02 c rational objective 99
171.16/172.45 c #Conflicts: 85000 | #Constraints: 19265
171.16/172.45 c #Conflicts: 86000 | #Constraints: 20265
171.16/172.45 c #Conflicts: 87000 | #Constraints: 21265
171.16/172.45 c bounds 101 >= 99 @ 168.435
178.63/179.92 c #Conflicts: 88000 | #Constraints: 22266
178.63/179.92 c #Conflicts: 89000 | #Constraints: 23266
178.63/179.92 c #Conflicts: 90000 | #Constraints: 24267
178.63/179.92 c INPROCESSING
178.63/179.92 c GARBAGE COLLECT
178.63/179.92 c rational objective 99
187.74/189.11 c #Conflicts: 91000 | #Constraints: 17156
187.74/189.11 c #Conflicts: 92000 | #Constraints: 18156
187.74/189.11 c #Conflicts: 93000 | #Constraints: 19156
187.74/189.11 c #Conflicts: 94000 | #Constraints: 20156
187.74/189.11 c #Conflicts: 95000 | #Constraints: 21156
187.74/189.11 c #Conflicts: 96000 | #Constraints: 22156
187.74/189.11 c INPROCESSING
187.74/189.11 c GARBAGE COLLECT
187.74/189.11 c rational objective 99
197.68/199.14 c #Conflicts: 97000 | #Constraints: 17647
197.68/199.14 c #Conflicts: 98000 | #Constraints: 18647
197.68/199.14 c #Conflicts: 99000 | #Constraints: 19648
197.68/199.14 c #Conflicts: 100000 | #Constraints: 20648
197.68/199.14 c #Conflicts: 101000 | #Constraints: 21648
197.68/199.14 c #Conflicts: 102000 | #Constraints: 22648
197.68/199.14 c #Conflicts: 103000 | #Constraints: 23648
197.68/199.14 c INPROCESSING
197.68/199.14 c GARBAGE COLLECT
197.68/199.14 c rational objective 99
206.56/208.07 c #Conflicts: 104000 | #Constraints: 18588
206.56/208.07 c #Conflicts: 105000 | #Constraints: 19588
206.56/208.07 c #Conflicts: 106000 | #Constraints: 20588
206.56/208.07 c #Conflicts: 107000 | #Constraints: 21588
206.56/208.07 c #Conflicts: 108000 | #Constraints: 22588
206.56/208.07 c #Conflicts: 109000 | #Constraints: 23588
206.56/208.07 c #Conflicts: 110000 | #Constraints: 24588
206.56/208.07 c INPROCESSING
206.56/208.07 c GARBAGE COLLECT
206.56/208.07 c rational objective 99
215.72/217.29 c #Conflicts: 111000 | #Constraints: 19151
215.72/217.29 c #Conflicts: 112000 | #Constraints: 20151
215.72/217.29 c #Conflicts: 113000 | #Constraints: 21151
215.72/217.29 c #Conflicts: 114000 | #Constraints: 22151
215.72/217.29 c #Conflicts: 115000 | #Constraints: 23151
215.72/217.29 c #Conflicts: 116000 | #Constraints: 24151
215.72/217.29 c #Conflicts: 117000 | #Constraints: 25151
215.72/217.29 c INPROCESSING
215.72/217.29 c GARBAGE COLLECT
215.72/217.29 c rational objective 99
228.70/230.40 c #Conflicts: 118000 | #Constraints: 19452
228.70/230.40 c #Conflicts: 119000 | #Constraints: 20452
228.70/230.40 c #Conflicts: 120000 | #Constraints: 21452
228.70/230.40 c #Conflicts: 121000 | #Constraints: 22452
228.70/230.40 c #Conflicts: 122000 | #Constraints: 23452
228.70/230.40 c #Conflicts: 123000 | #Constraints: 24452
228.70/230.40 c #Conflicts: 124000 | #Constraints: 25452
228.70/230.40 c INPROCESSING
228.70/230.40 c GARBAGE COLLECT
228.70/230.40 c rational objective 99
242.61/244.49 c #Conflicts: 125000 | #Constraints: 19500
242.61/244.49 c #Conflicts: 126000 | #Constraints: 20500
242.61/244.49 c #Conflicts: 127000 | #Constraints: 21500
242.61/244.49 c #Conflicts: 128000 | #Constraints: 22500
242.61/244.49 c #Conflicts: 129000 | #Constraints: 23500
242.61/244.49 c #Conflicts: 130000 | #Constraints: 24500
242.61/244.49 c #Conflicts: 131000 | #Constraints: 25500
242.61/244.49 c INPROCESSING
242.61/244.49 c GARBAGE COLLECT
242.61/244.49 c rational objective 99
253.48/255.38 c #Conflicts: 132000 | #Constraints: 19325
253.48/255.38 c #Conflicts: 133000 | #Constraints: 20325
253.48/255.38 c #Conflicts: 134000 | #Constraints: 21325
253.48/255.38 c #Conflicts: 135000 | #Constraints: 22325
253.48/255.38 c #Conflicts: 136000 | #Constraints: 23325
253.48/255.38 c #Conflicts: 137000 | #Constraints: 24325
253.48/255.38 c #Conflicts: 138000 | #Constraints: 25325
253.48/255.38 c #Conflicts: 139000 | #Constraints: 26325
253.48/255.38 c INPROCESSING
253.48/255.38 c GARBAGE COLLECT
253.48/255.38 c rational objective 99
264.12/266.11 c #Conflicts: 140000 | #Constraints: 19932
264.12/266.11 c #Conflicts: 141000 | #Constraints: 20932
264.12/266.11 c #Conflicts: 142000 | #Constraints: 21932
264.12/266.11 c #Conflicts: 143000 | #Constraints: 22932
264.12/266.11 c #Conflicts: 144000 | #Constraints: 23932
264.12/266.11 c #Conflicts: 145000 | #Constraints: 24932
264.12/266.11 c #Conflicts: 146000 | #Constraints: 25932
264.12/266.11 c #Conflicts: 147000 | #Constraints: 26933
264.12/266.11 c INPROCESSING
264.12/266.11 c GARBAGE COLLECT
264.12/266.11 c rational objective 99
274.88/276.89 c #Conflicts: 148000 | #Constraints: 20333
274.88/276.89 c #Conflicts: 149000 | #Constraints: 21333
274.88/276.89 c #Conflicts: 150000 | #Constraints: 22333
274.88/276.89 c #Conflicts: 151000 | #Constraints: 23333
274.88/276.89 c #Conflicts: 152000 | #Constraints: 24333
274.88/276.89 c #Conflicts: 153000 | #Constraints: 25333
274.88/276.89 c #Conflicts: 154000 | #Constraints: 26333
274.88/276.89 c #Conflicts: 155000 | #Constraints: 27333
274.88/276.89 c INPROCESSING
274.88/276.89 c GARBAGE COLLECT
274.88/276.89 c rational objective 99
287.24/289.22 c #Conflicts: 156000 | #Constraints: 20547
287.24/289.22 c #Conflicts: 157000 | #Constraints: 21547
287.24/289.22 c #Conflicts: 158000 | #Constraints: 22547
287.24/289.22 c #Conflicts: 159000 | #Constraints: 23547
287.24/289.22 c #Conflicts: 160000 | #Constraints: 24547
287.24/289.22 c #Conflicts: 161000 | #Constraints: 25547
287.24/289.22 c #Conflicts: 162000 | #Constraints: 26547
287.24/289.22 c #Conflicts: 163000 | #Constraints: 27547
287.24/289.22 c INPROCESSING
287.24/289.22 c GARBAGE COLLECT
287.24/289.22 c rational objective 99
294.82/296.93 c #Conflicts: 164000 | #Constraints: 20561
294.82/296.93 c #Conflicts: 165000 | #Constraints: 21561
294.82/296.93 c #Conflicts: 166000 | #Constraints: 22561
294.82/296.93 c #Conflicts: 167000 | #Constraints: 23561
294.82/296.93 c #Conflicts: 168000 | #Constraints: 24561
294.82/296.93 c #Conflicts: 169000 | #Constraints: 25561
294.82/296.93 c #Conflicts: 170000 | #Constraints: 26561
294.82/296.93 c #Conflicts: 171000 | #Constraints: 27561
294.82/296.93 c INPROCESSING
294.82/296.93 c GARBAGE COLLECT
294.82/296.93 c rational objective 99
306.39/308.68 c #Conflicts: 172000 | #Constraints: 20371
306.39/308.68 c #Conflicts: 173000 | #Constraints: 21371
306.39/308.68 c #Conflicts: 174000 | #Constraints: 22371
306.39/308.68 c #Conflicts: 175000 | #Constraints: 23371
306.39/308.68 c #Conflicts: 176000 | #Constraints: 24371
306.39/308.68 c #Conflicts: 177000 | #Constraints: 25371
306.39/308.68 c #Conflicts: 178000 | #Constraints: 26371
306.39/308.68 c #Conflicts: 179000 | #Constraints: 27371
306.39/308.68 c #Conflicts: 180000 | #Constraints: 28371
306.39/308.68 c INPROCESSING
306.39/308.68 c GARBAGE COLLECT
306.39/308.68 c rational objective 99
320.05/322.48 c #Conflicts: 181000 | #Constraints: 20981
320.05/322.48 c #Conflicts: 182000 | #Constraints: 21981
320.05/322.48 c #Conflicts: 183000 | #Constraints: 22981
320.05/322.48 c #Conflicts: 184000 | #Constraints: 23981
320.05/322.48 c #Conflicts: 185000 | #Constraints: 24981
320.05/322.48 c #Conflicts: 186000 | #Constraints: 25981
320.05/322.48 c #Conflicts: 187000 | #Constraints: 26981
320.05/322.48 c #Conflicts: 188000 | #Constraints: 27981
320.05/322.48 c #Conflicts: 189000 | #Constraints: 28981
320.05/322.48 c INPROCESSING
320.05/322.48 c GARBAGE COLLECT
320.05/322.48 c rational objective 99
334.69/337.22 c #Conflicts: 190000 | #Constraints: 21384
334.69/337.22 c #Conflicts: 191000 | #Constraints: 22384
334.69/337.22 c #Conflicts: 192000 | #Constraints: 23384
334.69/337.22 c #Conflicts: 193000 | #Constraints: 24384
334.69/337.22 c #Conflicts: 194000 | #Constraints: 25384
334.69/337.22 c #Conflicts: 195000 | #Constraints: 26384
334.69/337.22 c #Conflicts: 196000 | #Constraints: 27384
334.69/337.22 c #Conflicts: 197000 | #Constraints: 28384
334.69/337.22 c #Conflicts: 198000 | #Constraints: 29384
334.69/337.22 c INPROCESSING
334.69/337.22 c GARBAGE COLLECT
334.69/337.22 c rational objective 99
348.95/351.69 c #Conflicts: 199000 | #Constraints: 21578
348.95/351.69 c #Conflicts: 200000 | #Constraints: 22578
348.95/351.69 c #Conflicts: 201000 | #Constraints: 23578
348.95/351.69 c #Conflicts: 202000 | #Constraints: 24578
348.95/351.69 c #Conflicts: 203000 | #Constraints: 25578
348.95/351.69 c #Conflicts: 204000 | #Constraints: 26578
348.95/351.69 c #Conflicts: 205000 | #Constraints: 27578
348.95/351.69 c #Conflicts: 206000 | #Constraints: 28578
348.95/351.69 c #Conflicts: 207000 | #Constraints: 29578
348.95/351.69 c INPROCESSING
348.95/351.69 c GARBAGE COLLECT
348.95/351.69 c rational objective 99
362.80/365.75 c #Conflicts: 208000 | #Constraints: 21577
362.80/365.75 c #Conflicts: 209000 | #Constraints: 22577
362.80/365.75 c #Conflicts: 210000 | #Constraints: 23577
362.80/365.75 c #Conflicts: 211000 | #Constraints: 24577
362.80/365.75 c #Conflicts: 212000 | #Constraints: 25577
362.80/365.75 c #Conflicts: 213000 | #Constraints: 26577
362.80/365.75 c #Conflicts: 214000 | #Constraints: 27577
362.80/365.75 c #Conflicts: 215000 | #Constraints: 28577
362.80/365.75 c #Conflicts: 216000 | #Constraints: 29577
362.80/365.75 c INPROCESSING
362.80/365.75 c GARBAGE COLLECT
362.80/365.75 c rational objective 99
379.43/382.58 c #Conflicts: 217000 | #Constraints: 21395
379.43/382.58 c #Conflicts: 218000 | #Constraints: 22395
379.43/382.58 c #Conflicts: 219000 | #Constraints: 23395
379.43/382.58 c #Conflicts: 220000 | #Constraints: 24395
379.43/382.58 c #Conflicts: 221000 | #Constraints: 25395
379.43/382.58 c #Conflicts: 222000 | #Constraints: 26395
379.43/382.58 c #Conflicts: 223000 | #Constraints: 27395
379.43/382.58 c #Conflicts: 224000 | #Constraints: 28395
379.43/382.58 c #Conflicts: 225000 | #Constraints: 29395
379.43/382.58 c #Conflicts: 226000 | #Constraints: 30395
379.43/382.58 c INPROCESSING
379.43/382.58 c GARBAGE COLLECT
379.43/382.58 c rational objective 99
393.38/396.65 c #Conflicts: 227000 | #Constraints: 21996
393.38/396.65 c #Conflicts: 228000 | #Constraints: 22996
393.38/396.65 c #Conflicts: 229000 | #Constraints: 23996
393.38/396.65 c #Conflicts: 230000 | #Constraints: 24996
393.38/396.65 c #Conflicts: 231000 | #Constraints: 25996
393.38/396.65 c #Conflicts: 232000 | #Constraints: 26996
393.38/396.65 c #Conflicts: 233000 | #Constraints: 27996
393.38/396.65 c #Conflicts: 234000 | #Constraints: 28996
393.38/396.65 c #Conflicts: 235000 | #Constraints: 29996
393.38/396.65 c #Conflicts: 236000 | #Constraints: 30996
393.38/396.65 c INPROCESSING
393.38/396.65 c GARBAGE COLLECT
393.38/396.65 c rational objective 99
405.66/409.03 c #Conflicts: 237000 | #Constraints: 22381
405.66/409.03 c #Conflicts: 238000 | #Constraints: 23381
405.66/409.03 c #Conflicts: 239000 | #Constraints: 24381
405.66/409.03 c #Conflicts: 240000 | #Constraints: 25381
405.66/409.03 c #Conflicts: 241000 | #Constraints: 26381
405.66/409.03 c #Conflicts: 242000 | #Constraints: 27382
405.66/409.03 c #Conflicts: 243000 | #Constraints: 28382
405.66/409.03 c #Conflicts: 244000 | #Constraints: 29382
405.66/409.03 c #Conflicts: 245000 | #Constraints: 30382
405.66/409.03 c #Conflicts: 246000 | #Constraints: 31382
405.66/409.03 c INPROCESSING
405.66/409.03 c GARBAGE COLLECT
405.66/409.03 c rational objective 99
419.71/423.21 c #Conflicts: 247000 | #Constraints: 22586
419.71/423.21 c #Conflicts: 248000 | #Constraints: 23586
419.71/423.21 c #Conflicts: 249000 | #Constraints: 24586
419.71/423.21 c #Conflicts: 250000 | #Constraints: 25586
419.71/423.21 c #Conflicts: 251000 | #Constraints: 26586
419.71/423.21 c #Conflicts: 252000 | #Constraints: 27586
419.71/423.21 c #Conflicts: 253000 | #Constraints: 28586
419.71/423.21 c #Conflicts: 254000 | #Constraints: 29586
419.71/423.21 c #Conflicts: 255000 | #Constraints: 30586
419.71/423.21 c #Conflicts: 256000 | #Constraints: 31586
419.71/423.21 c INPROCESSING
419.71/423.21 c GARBAGE COLLECT
419.71/423.21 c rational objective 99
435.38/439.02 c #Conflicts: 257000 | #Constraints: 22607
435.38/439.02 c #Conflicts: 258000 | #Constraints: 23607
435.38/439.02 c #Conflicts: 259000 | #Constraints: 24607
435.38/439.02 c #Conflicts: 260000 | #Constraints: 25607
435.38/439.02 c #Conflicts: 261000 | #Constraints: 26607
435.38/439.02 c #Conflicts: 262000 | #Constraints: 27607
435.38/439.02 c #Conflicts: 263000 | #Constraints: 28607
435.38/439.02 c #Conflicts: 264000 | #Constraints: 29607
435.38/439.02 c #Conflicts: 265000 | #Constraints: 30607
435.38/439.02 c #Conflicts: 266000 | #Constraints: 31607
435.38/439.02 c INPROCESSING
435.38/439.02 c GARBAGE COLLECT
435.38/439.02 c rational objective 99
450.91/454.61 c #Conflicts: 267000 | #Constraints: 22403
450.91/454.61 c #Conflicts: 268000 | #Constraints: 23403
450.91/454.61 c #Conflicts: 269000 | #Constraints: 24403
450.91/454.61 c #Conflicts: 270000 | #Constraints: 25403
450.91/454.61 c #Conflicts: 271000 | #Constraints: 26403
450.91/454.61 c #Conflicts: 272000 | #Constraints: 27403
450.91/454.61 c #Conflicts: 273000 | #Constraints: 28403
450.91/454.61 c #Conflicts: 274000 | #Constraints: 29403
450.91/454.61 c #Conflicts: 275000 | #Constraints: 30403
450.91/454.61 c #Conflicts: 276000 | #Constraints: 31403
450.91/454.61 c #Conflicts: 277000 | #Constraints: 32403
450.91/454.61 c INPROCESSING
450.91/454.61 c GARBAGE COLLECT
450.91/454.61 c rational objective 99
464.18/467.90 c #Conflicts: 278000 | #Constraints: 22998
464.18/467.90 c #Conflicts: 279000 | #Constraints: 23998
464.18/467.90 c #Conflicts: 280000 | #Constraints: 24998
464.18/467.90 c #Conflicts: 281000 | #Constraints: 25998
464.18/467.90 c #Conflicts: 282000 | #Constraints: 26998
464.18/467.90 c #Conflicts: 283000 | #Constraints: 27998
464.18/467.90 c #Conflicts: 284000 | #Constraints: 28998
464.18/467.90 c #Conflicts: 285000 | #Constraints: 29999
464.18/467.90 c #Conflicts: 286000 | #Constraints: 30999
464.18/467.90 c #Conflicts: 287000 | #Constraints: 31999
464.18/467.90 c #Conflicts: 288000 | #Constraints: 32999
464.18/467.90 c INPROCESSING
464.18/467.90 c GARBAGE COLLECT
464.18/467.90 c rational objective 99
479.04/482.80 c #Conflicts: 289000 | #Constraints: 23402
479.04/482.80 c #Conflicts: 290000 | #Constraints: 24402
479.04/482.80 c #Conflicts: 291000 | #Constraints: 25402
479.04/482.80 c #Conflicts: 292000 | #Constraints: 26402
479.04/482.80 c #Conflicts: 293000 | #Constraints: 27402
479.04/482.80 c #Conflicts: 294000 | #Constraints: 28402
479.04/482.80 c #Conflicts: 295000 | #Constraints: 29402
479.04/482.80 c #Conflicts: 296000 | #Constraints: 30402
479.04/482.80 c #Conflicts: 297000 | #Constraints: 31402
479.04/482.80 c #Conflicts: 298000 | #Constraints: 32402
479.04/482.80 c #Conflicts: 299000 | #Constraints: 33402
479.04/482.80 c INPROCESSING
479.04/482.80 c GARBAGE COLLECT
479.04/482.80 c rational objective 99
498.38/502.25 c #Conflicts: 300000 | #Constraints: 23598
498.38/502.25 c #Conflicts: 301000 | #Constraints: 24598
498.38/502.25 c #Conflicts: 302000 | #Constraints: 25598
498.38/502.25 c #Conflicts: 303000 | #Constraints: 26598
498.38/502.25 c #Conflicts: 304000 | #Constraints: 27598
498.38/502.25 c #Conflicts: 305000 | #Constraints: 28598
498.38/502.25 c #Conflicts: 306000 | #Constraints: 29598
498.38/502.25 c #Conflicts: 307000 | #Constraints: 30598
498.38/502.25 c #Conflicts: 308000 | #Constraints: 31598
498.38/502.25 c #Conflicts: 309000 | #Constraints: 32598
498.38/502.25 c #Conflicts: 310000 | #Constraints: 33598
498.38/502.25 c INPROCESSING
498.38/502.25 c GARBAGE COLLECT
498.38/502.25 c rational objective 99
513.51/517.50 c #Conflicts: 311000 | #Constraints: 23605
513.51/517.50 c #Conflicts: 312000 | #Constraints: 24605
513.51/517.50 c #Conflicts: 313000 | #Constraints: 25605
513.51/517.50 c #Conflicts: 314000 | #Constraints: 26605
513.51/517.50 c #Conflicts: 315000 | #Constraints: 27605
513.51/517.50 c #Conflicts: 316000 | #Constraints: 28605
513.51/517.50 c #Conflicts: 317000 | #Constraints: 29605
513.51/517.50 c #Conflicts: 318000 | #Constraints: 30605
513.51/517.50 c #Conflicts: 319000 | #Constraints: 31605
513.51/517.50 c #Conflicts: 320000 | #Constraints: 32605
513.51/517.50 c #Conflicts: 321000 | #Constraints: 33605
513.51/517.50 c INPROCESSING
513.51/517.50 c GARBAGE COLLECT
513.51/517.50 c rational objective 99
529.27/533.24 c #Conflicts: 322000 | #Constraints: 23410
529.27/533.24 c #Conflicts: 323000 | #Constraints: 24410
529.27/533.24 c #Conflicts: 324000 | #Constraints: 25410
529.27/533.24 c #Conflicts: 325000 | #Constraints: 26410
529.27/533.24 c #Conflicts: 326000 | #Constraints: 27410
529.27/533.24 c #Conflicts: 327000 | #Constraints: 28410
529.27/533.24 c #Conflicts: 328000 | #Constraints: 29410
529.27/533.24 c #Conflicts: 329000 | #Constraints: 30410
529.27/533.24 c #Conflicts: 330000 | #Constraints: 31410
529.27/533.24 c #Conflicts: 331000 | #Constraints: 32410
529.27/533.24 c #Conflicts: 332000 | #Constraints: 33410
529.27/533.24 c #Conflicts: 333000 | #Constraints: 34410
529.27/533.24 c INPROCESSING
529.27/533.24 c GARBAGE COLLECT
529.27/533.24 c rational objective 99
544.37/548.47 c #Conflicts: 334000 | #Constraints: 24006
544.37/548.47 c #Conflicts: 335000 | #Constraints: 25006
544.37/548.47 c #Conflicts: 336000 | #Constraints: 26006
544.37/548.47 c #Conflicts: 337000 | #Constraints: 27006
544.37/548.47 c #Conflicts: 338000 | #Constraints: 28006
544.37/548.47 c #Conflicts: 339000 | #Constraints: 29006
544.37/548.47 c #Conflicts: 340000 | #Constraints: 30006
544.37/548.47 c #Conflicts: 341000 | #Constraints: 31006
544.37/548.47 c #Conflicts: 342000 | #Constraints: 32006
544.37/548.47 c #Conflicts: 343000 | #Constraints: 33006
544.37/548.47 c #Conflicts: 344000 | #Constraints: 34006
544.37/548.47 c #Conflicts: 345000 | #Constraints: 35006
544.37/548.47 c INPROCESSING
544.37/548.47 c GARBAGE COLLECT
544.37/548.47 c rational objective 99
559.94/564.08 c #Conflicts: 346000 | #Constraints: 24422
559.94/564.08 c #Conflicts: 347000 | #Constraints: 25422
559.94/564.08 c #Conflicts: 348000 | #Constraints: 26422
559.94/564.08 c #Conflicts: 349000 | #Constraints: 27422
559.94/564.08 c #Conflicts: 350000 | #Constraints: 28422
559.94/564.08 c #Conflicts: 351000 | #Constraints: 29422
559.94/564.08 c #Conflicts: 352000 | #Constraints: 30422
559.94/564.08 c #Conflicts: 353000 | #Constraints: 31422
559.94/564.08 c #Conflicts: 354000 | #Constraints: 32422
559.94/564.08 c #Conflicts: 355000 | #Constraints: 33422
559.94/564.08 c #Conflicts: 356000 | #Constraints: 34422
559.94/564.08 c #Conflicts: 357000 | #Constraints: 35422
559.94/564.08 c INPROCESSING
559.94/564.08 c GARBAGE COLLECT
559.94/564.08 c rational objective 99
573.90/578.02 c #Conflicts: 358000 | #Constraints: 24609
573.90/578.02 c #Conflicts: 359000 | #Constraints: 25609
573.90/578.02 c #Conflicts: 360000 | #Constraints: 26609
573.90/578.02 c #Conflicts: 361000 | #Constraints: 27609
573.90/578.02 c #Conflicts: 362000 | #Constraints: 28609
573.90/578.02 c #Conflicts: 363000 | #Constraints: 29609
573.90/578.02 c #Conflicts: 364000 | #Constraints: 30609
573.90/578.02 c #Conflicts: 365000 | #Constraints: 31609
573.90/578.02 c #Conflicts: 366000 | #Constraints: 32609
573.90/578.02 c #Conflicts: 367000 | #Constraints: 33609
573.90/578.02 c #Conflicts: 368000 | #Constraints: 34609
573.90/578.02 c #Conflicts: 369000 | #Constraints: 35609
573.90/578.02 c INPROCESSING
573.90/578.02 c GARBAGE COLLECT
573.90/578.02 c rational objective 99
593.55/597.99 c #Conflicts: 370000 | #Constraints: 24611
593.55/597.99 c #Conflicts: 371000 | #Constraints: 25611
593.55/597.99 c #Conflicts: 372000 | #Constraints: 26611
593.55/597.99 c #Conflicts: 373000 | #Constraints: 27611
593.55/597.99 c #Conflicts: 374000 | #Constraints: 28611
593.55/597.99 c #Conflicts: 375000 | #Constraints: 29611
593.55/597.99 c #Conflicts: 376000 | #Constraints: 30611
593.55/597.99 c #Conflicts: 377000 | #Constraints: 31611
593.55/597.99 c #Conflicts: 378000 | #Constraints: 32611
593.55/597.99 c #Conflicts: 379000 | #Constraints: 33611
593.55/597.99 c #Conflicts: 380000 | #Constraints: 34611
593.55/597.99 c #Conflicts: 381000 | #Constraints: 35611
593.55/597.99 c INPROCESSING
593.55/597.99 c GARBAGE COLLECT
593.55/597.99 c rational objective 99
616.22/620.86 c #Conflicts: 382000 | #Constraints: 24410
616.22/620.86 c #Conflicts: 383000 | #Constraints: 25410
616.22/620.86 c #Conflicts: 384000 | #Constraints: 26410
616.22/620.86 c #Conflicts: 385000 | #Constraints: 27410
616.22/620.86 c #Conflicts: 386000 | #Constraints: 28410
616.22/620.86 c #Conflicts: 387000 | #Constraints: 29410
616.22/620.86 c #Conflicts: 388000 | #Constraints: 30410
616.22/620.86 c #Conflicts: 389000 | #Constraints: 31410
616.22/620.86 c #Conflicts: 390000 | #Constraints: 32410
616.22/620.86 c #Conflicts: 391000 | #Constraints: 33410
616.22/620.86 c #Conflicts: 392000 | #Constraints: 34410
616.22/620.86 c #Conflicts: 393000 | #Constraints: 35411
616.22/620.86 c #Conflicts: 394000 | #Constraints: 36411
616.22/620.86 c INPROCESSING
616.22/620.86 c GARBAGE COLLECT
616.22/620.86 c rational objective 99
637.80/642.64 c #Conflicts: 395000 | #Constraints: 25016
637.80/642.64 c #Conflicts: 396000 | #Constraints: 26016
637.80/642.64 c #Conflicts: 397000 | #Constraints: 27016
637.80/642.64 c #Conflicts: 398000 | #Constraints: 28016
637.80/642.64 c #Conflicts: 399000 | #Constraints: 29016
637.80/642.64 c #Conflicts: 400000 | #Constraints: 30016
637.80/642.64 c #Conflicts: 401000 | #Constraints: 31016
637.80/642.64 c #Conflicts: 402000 | #Constraints: 32016
637.80/642.64 c #Conflicts: 403000 | #Constraints: 33016
637.80/642.64 c #Conflicts: 404000 | #Constraints: 34016
637.80/642.64 c #Conflicts: 405000 | #Constraints: 35016
637.80/642.64 c #Conflicts: 406000 | #Constraints: 36016
637.80/642.64 c #Conflicts: 407000 | #Constraints: 37016
637.80/642.64 c INPROCESSING
637.80/642.64 c GARBAGE COLLECT
637.80/642.64 c rational objective 99
654.77/659.86 c #Conflicts: 408000 | #Constraints: 25420
654.77/659.86 c #Conflicts: 409000 | #Constraints: 26420
654.77/659.86 c #Conflicts: 410000 | #Constraints: 27420
654.77/659.86 c #Conflicts: 411000 | #Constraints: 28420
654.77/659.86 c #Conflicts: 412000 | #Constraints: 29420
654.77/659.86 c #Conflicts: 413000 | #Constraints: 30420
654.77/659.86 c #Conflicts: 414000 | #Constraints: 31420
654.77/659.86 c #Conflicts: 415000 | #Constraints: 32420
654.77/659.86 c #Conflicts: 416000 | #Constraints: 33420
654.77/659.86 c #Conflicts: 417000 | #Constraints: 34420
654.77/659.86 c #Conflicts: 418000 | #Constraints: 35420
654.77/659.86 c #Conflicts: 419000 | #Constraints: 36420
654.77/659.86 c #Conflicts: 420000 | #Constraints: 37420
654.77/659.86 c INPROCESSING
654.77/659.86 c GARBAGE COLLECT
654.77/659.86 c rational objective 99
673.87/679.14 c #Conflicts: 421000 | #Constraints: 25613
673.87/679.14 c #Conflicts: 422000 | #Constraints: 26613
673.87/679.14 c #Conflicts: 423000 | #Constraints: 27613
673.87/679.14 c #Conflicts: 424000 | #Constraints: 28613
673.87/679.14 c #Conflicts: 425000 | #Constraints: 29613
673.87/679.14 c #Conflicts: 426000 | #Constraints: 30613
673.87/679.14 c #Conflicts: 427000 | #Constraints: 31613
673.87/679.14 c #Conflicts: 428000 | #Constraints: 32613
673.87/679.14 c #Conflicts: 429000 | #Constraints: 33613
673.87/679.14 c #Conflicts: 430000 | #Constraints: 34613
673.87/679.14 c #Conflicts: 431000 | #Constraints: 35613
673.87/679.14 c #Conflicts: 432000 | #Constraints: 36613
673.87/679.14 c #Conflicts: 433000 | #Constraints: 37613
673.87/679.14 c INPROCESSING
673.87/679.14 c GARBAGE COLLECT
673.87/679.14 c rational objective 99
692.87/698.30 c #Conflicts: 434000 | #Constraints: 25644
692.87/698.30 c #Conflicts: 435000 | #Constraints: 26644
692.87/698.30 c #Conflicts: 436000 | #Constraints: 27644
692.87/698.30 c #Conflicts: 437000 | #Constraints: 28644
692.87/698.30 c #Conflicts: 438000 | #Constraints: 29644
692.87/698.30 c #Conflicts: 439000 | #Constraints: 30644
692.87/698.30 c #Conflicts: 440000 | #Constraints: 31644
692.87/698.30 c #Conflicts: 441000 | #Constraints: 32644
692.87/698.30 c #Conflicts: 442000 | #Constraints: 33644
692.87/698.30 c #Conflicts: 443000 | #Constraints: 34644
692.87/698.30 c #Conflicts: 444000 | #Constraints: 35644
692.87/698.30 c #Conflicts: 445000 | #Constraints: 36644
692.87/698.30 c #Conflicts: 446000 | #Constraints: 37644
692.87/698.30 c INPROCESSING
692.87/698.30 c GARBAGE COLLECT
692.87/698.30 c rational objective 99
710.48/716.17 c #Conflicts: 447000 | #Constraints: 25434
710.48/716.17 c #Conflicts: 448000 | #Constraints: 26434
710.48/716.17 c #Conflicts: 449000 | #Constraints: 27434
710.48/716.17 c #Conflicts: 450000 | #Constraints: 28434
710.48/716.17 c #Conflicts: 451000 | #Constraints: 29434
710.48/716.17 c #Conflicts: 452000 | #Constraints: 30434
710.48/716.17 c #Conflicts: 453000 | #Constraints: 31434
710.48/716.17 c #Conflicts: 454000 | #Constraints: 32434
710.48/716.17 c #Conflicts: 455000 | #Constraints: 33434
710.48/716.17 c #Conflicts: 456000 | #Constraints: 34434
710.48/716.17 c #Conflicts: 457000 | #Constraints: 35434
710.48/716.17 c #Conflicts: 458000 | #Constraints: 36434
710.48/716.17 c #Conflicts: 459000 | #Constraints: 37434
710.48/716.17 c #Conflicts: 460000 | #Constraints: 38434
710.48/716.17 c INPROCESSING
710.48/716.17 c GARBAGE COLLECT
710.48/716.17 c rational objective 99
730.80/736.60 c #Conflicts: 461000 | #Constraints: 26027
730.80/736.60 c #Conflicts: 462000 | #Constraints: 27027
730.80/736.60 c #Conflicts: 463000 | #Constraints: 28027
730.80/736.60 c #Conflicts: 464000 | #Constraints: 29027
730.80/736.60 c #Conflicts: 465000 | #Constraints: 30027
730.80/736.60 c #Conflicts: 466000 | #Constraints: 31027
730.80/736.60 c #Conflicts: 467000 | #Constraints: 32027
730.80/736.60 c #Conflicts: 468000 | #Constraints: 33027
730.80/736.60 c #Conflicts: 469000 | #Constraints: 34027
730.80/736.60 c #Conflicts: 470000 | #Constraints: 35027
730.80/736.60 c #Conflicts: 471000 | #Constraints: 36027
730.80/736.60 c #Conflicts: 472000 | #Constraints: 37027
730.80/736.60 c #Conflicts: 473000 | #Constraints: 38027
730.80/736.60 c #Conflicts: 474000 | #Constraints: 39027
730.80/736.60 c INPROCESSING
730.80/736.60 c GARBAGE COLLECT
730.80/736.60 c rational objective 99
753.45/759.40 c #Conflicts: 475000 | #Constraints: 26439
753.45/759.40 c #Conflicts: 476000 | #Constraints: 27439
753.45/759.40 c #Conflicts: 477000 | #Constraints: 28439
753.45/759.40 c #Conflicts: 478000 | #Constraints: 29439
753.45/759.40 c #Conflicts: 479000 | #Constraints: 30439
753.45/759.40 c #Conflicts: 480000 | #Constraints: 31439
753.45/759.40 c #Conflicts: 481000 | #Constraints: 32439
753.45/759.40 c #Conflicts: 482000 | #Constraints: 33439
753.45/759.40 c #Conflicts: 483000 | #Constraints: 34439
753.45/759.40 c #Conflicts: 484000 | #Constraints: 35439
753.45/759.40 c #Conflicts: 485000 | #Constraints: 36439
753.45/759.40 c #Conflicts: 486000 | #Constraints: 37439
753.45/759.40 c #Conflicts: 487000 | #Constraints: 38439
753.45/759.40 c #Conflicts: 488000 | #Constraints: 39439
753.45/759.40 c INPROCESSING
753.45/759.40 c GARBAGE COLLECT
753.45/759.40 c rational objective 99
774.00/780.08 c #Conflicts: 489000 | #Constraints: 26633
774.00/780.08 c #Conflicts: 490000 | #Constraints: 27633
774.00/780.08 c #Conflicts: 491000 | #Constraints: 28633
774.00/780.08 c #Conflicts: 492000 | #Constraints: 29633
774.00/780.08 c #Conflicts: 493000 | #Constraints: 30633
774.00/780.08 c #Conflicts: 494000 | #Constraints: 31633
774.00/780.08 c #Conflicts: 495000 | #Constraints: 32633
774.00/780.08 c #Conflicts: 496000 | #Constraints: 33633
774.00/780.08 c #Conflicts: 497000 | #Constraints: 34633
774.00/780.08 c #Conflicts: 498000 | #Constraints: 35633
774.00/780.08 c #Conflicts: 499000 | #Constraints: 36633
774.00/780.08 c #Conflicts: 500000 | #Constraints: 37633
774.00/780.08 c #Conflicts: 501000 | #Constraints: 38633
774.00/780.08 c #Conflicts: 502000 | #Constraints: 39633
774.00/780.08 c INPROCESSING
774.00/780.08 c GARBAGE COLLECT
774.00/780.08 c rational objective 99
797.62/803.75 c #Conflicts: 503000 | #Constraints: 26658
797.62/803.75 c #Conflicts: 504000 | #Constraints: 27658
797.62/803.75 c #Conflicts: 505000 | #Constraints: 28658
797.62/803.75 c #Conflicts: 506000 | #Constraints: 29658
797.62/803.75 c #Conflicts: 507000 | #Constraints: 30658
797.62/803.75 c #Conflicts: 508000 | #Constraints: 31658
797.62/803.75 c #Conflicts: 509000 | #Constraints: 32658
797.62/803.75 c #Conflicts: 510000 | #Constraints: 33658
797.62/803.75 c #Conflicts: 511000 | #Constraints: 34658
797.62/803.75 c #Conflicts: 512000 | #Constraints: 35658
797.62/803.75 c #Conflicts: 513000 | #Constraints: 36658
797.62/803.75 c #Conflicts: 514000 | #Constraints: 37658
797.62/803.75 c #Conflicts: 515000 | #Constraints: 38658
797.62/803.75 c #Conflicts: 516000 | #Constraints: 39658
797.62/803.75 c INPROCESSING
797.62/803.75 c GARBAGE COLLECT
797.62/803.75 c rational objective 99
818.87/825.04 c #Conflicts: 517000 | #Constraints: 26442
818.87/825.04 c #Conflicts: 518000 | #Constraints: 27442
818.87/825.04 c #Conflicts: 519000 | #Constraints: 28442
818.87/825.04 c #Conflicts: 520000 | #Constraints: 29442
818.87/825.04 c #Conflicts: 521000 | #Constraints: 30442
818.87/825.04 c #Conflicts: 522000 | #Constraints: 31442
818.87/825.04 c #Conflicts: 523000 | #Constraints: 32442
818.87/825.04 c #Conflicts: 524000 | #Constraints: 33442
818.87/825.04 c #Conflicts: 525000 | #Constraints: 34442
818.87/825.04 c #Conflicts: 526000 | #Constraints: 35442
818.87/825.04 c #Conflicts: 527000 | #Constraints: 36442
818.87/825.04 c #Conflicts: 528000 | #Constraints: 37442
818.87/825.04 c #Conflicts: 529000 | #Constraints: 38442
818.87/825.04 c #Conflicts: 530000 | #Constraints: 39442
818.87/825.04 c #Conflicts: 531000 | #Constraints: 40442
818.87/825.04 c INPROCESSING
818.87/825.04 c GARBAGE COLLECT
818.87/825.04 c rational objective 99
833.64/839.92 c #Conflicts: 532000 | #Constraints: 27061
833.64/839.92 c #Conflicts: 533000 | #Constraints: 28061
833.64/839.92 c #Conflicts: 534000 | #Constraints: 29061
833.64/839.92 c #Conflicts: 535000 | #Constraints: 30061
833.64/839.92 c #Conflicts: 536000 | #Constraints: 31061
833.64/839.92 c #Conflicts: 537000 | #Constraints: 32061
833.64/839.92 c #Conflicts: 538000 | #Constraints: 33061
833.64/839.92 c #Conflicts: 539000 | #Constraints: 34061
833.64/839.92 c #Conflicts: 540000 | #Constraints: 35061
833.64/839.92 c #Conflicts: 541000 | #Constraints: 36061
833.64/839.92 c #Conflicts: 542000 | #Constraints: 37061
833.64/839.92 c #Conflicts: 543000 | #Constraints: 38061
833.64/839.92 c #Conflicts: 544000 | #Constraints: 39061
833.64/839.92 c #Conflicts: 545000 | #Constraints: 40061
833.64/839.92 c #Conflicts: 546000 | #Constraints: 41061
833.64/839.92 c INPROCESSING
833.64/839.92 c GARBAGE COLLECT
833.64/839.92 c rational objective 99
856.79/863.18 c #Conflicts: 547000 | #Constraints: 27460
856.79/863.18 c #Conflicts: 548000 | #Constraints: 28460
856.79/863.18 c #Conflicts: 549000 | #Constraints: 29460
856.79/863.18 c #Conflicts: 550000 | #Constraints: 30460
856.79/863.18 c #Conflicts: 551000 | #Constraints: 31460
856.79/863.18 c #Conflicts: 552000 | #Constraints: 32460
856.79/863.18 c #Conflicts: 553000 | #Constraints: 33460
856.79/863.18 c #Conflicts: 554000 | #Constraints: 34460
856.79/863.18 c #Conflicts: 555000 | #Constraints: 35460
856.79/863.18 c #Conflicts: 556000 | #Constraints: 36460
856.79/863.18 c #Conflicts: 557000 | #Constraints: 37460
856.79/863.18 c #Conflicts: 558000 | #Constraints: 38460
856.79/863.18 c #Conflicts: 559000 | #Constraints: 39460
856.79/863.18 c #Conflicts: 560000 | #Constraints: 40460
856.79/863.18 c #Conflicts: 561000 | #Constraints: 41460
856.79/863.18 c INPROCESSING
856.79/863.18 c GARBAGE COLLECT
856.79/863.18 c rational objective 99
876.03/882.55 c #Conflicts: 562000 | #Constraints: 27654
876.03/882.55 c #Conflicts: 563000 | #Constraints: 28654
876.03/882.55 c #Conflicts: 564000 | #Constraints: 29654
876.03/882.55 c #Conflicts: 565000 | #Constraints: 30654
876.03/882.55 c #Conflicts: 566000 | #Constraints: 31654
876.03/882.55 c #Conflicts: 567000 | #Constraints: 32654
876.03/882.55 c #Conflicts: 568000 | #Constraints: 33654
876.03/882.55 c #Conflicts: 569000 | #Constraints: 34654
876.03/882.55 c #Conflicts: 570000 | #Constraints: 35654
876.03/882.55 c #Conflicts: 571000 | #Constraints: 36654
876.03/882.55 c #Conflicts: 572000 | #Constraints: 37654
876.03/882.55 c #Conflicts: 573000 | #Constraints: 38654
876.03/882.55 c #Conflicts: 574000 | #Constraints: 39654
876.03/882.55 c #Conflicts: 575000 | #Constraints: 40654
876.03/882.55 c #Conflicts: 576000 | #Constraints: 41654
876.03/882.55 c INPROCESSING
876.03/882.55 c GARBAGE COLLECT
876.03/882.55 c rational objective 99
897.48/904.01 c #Conflicts: 577000 | #Constraints: 27634
897.48/904.01 c #Conflicts: 578000 | #Constraints: 28634
897.48/904.01 c #Conflicts: 579000 | #Constraints: 29634
897.48/904.01 c #Conflicts: 580000 | #Constraints: 30634
897.48/904.01 c #Conflicts: 581000 | #Constraints: 31634
897.48/904.01 c #Conflicts: 582000 | #Constraints: 32634
897.48/904.01 c #Conflicts: 583000 | #Constraints: 33634
897.48/904.01 c #Conflicts: 584000 | #Constraints: 34634
897.48/904.01 c #Conflicts: 585000 | #Constraints: 35634
897.48/904.01 c #Conflicts: 586000 | #Constraints: 36634
897.48/904.01 c #Conflicts: 587000 | #Constraints: 37634
897.48/904.01 c #Conflicts: 588000 | #Constraints: 38634
897.48/904.01 c #Conflicts: 589000 | #Constraints: 39634
897.48/904.01 c #Conflicts: 590000 | #Constraints: 40634
897.48/904.01 c #Conflicts: 591000 | #Constraints: 41634
897.48/904.01 c INPROCESSING
897.48/904.01 c GARBAGE COLLECT
897.48/904.01 c rational objective 99
915.54/922.37 c #Conflicts: 592000 | #Constraints: 27463
915.54/922.37 c #Conflicts: 593000 | #Constraints: 28463
915.54/922.37 c #Conflicts: 594000 | #Constraints: 29463
915.54/922.37 c #Conflicts: 595000 | #Constraints: 30463
915.54/922.37 c #Conflicts: 596000 | #Constraints: 31463
915.54/922.37 c #Conflicts: 597000 | #Constraints: 32463
915.54/922.37 c #Conflicts: 598000 | #Constraints: 33463
915.54/922.37 c #Conflicts: 599000 | #Constraints: 34463
915.54/922.37 c #Conflicts: 600000 | #Constraints: 35463
915.54/922.37 c #Conflicts: 601000 | #Constraints: 36463
915.54/922.37 c #Conflicts: 602000 | #Constraints: 37463
915.54/922.37 c #Conflicts: 603000 | #Constraints: 38463
915.54/922.37 c #Conflicts: 604000 | #Constraints: 39463
915.54/922.37 c #Conflicts: 605000 | #Constraints: 40463
915.54/922.37 c #Conflicts: 606000 | #Constraints: 41463
915.54/922.37 c #Conflicts: 607000 | #Constraints: 42463
915.54/922.37 c INPROCESSING
915.54/922.37 c GARBAGE COLLECT
915.54/922.37 c rational objective 99
936.99/943.95 c #Conflicts: 608000 | #Constraints: 28058
936.99/943.95 c #Conflicts: 609000 | #Constraints: 29058
936.99/943.95 c #Conflicts: 610000 | #Constraints: 30058
936.99/943.95 c #Conflicts: 611000 | #Constraints: 31058
936.99/943.95 c #Conflicts: 612000 | #Constraints: 32058
936.99/943.95 c #Conflicts: 613000 | #Constraints: 33058
936.99/943.95 c #Conflicts: 614000 | #Constraints: 34058
936.99/943.95 c #Conflicts: 615000 | #Constraints: 35058
936.99/943.95 c #Conflicts: 616000 | #Constraints: 36058
936.99/943.95 c #Conflicts: 617000 | #Constraints: 37058
936.99/943.95 c #Conflicts: 618000 | #Constraints: 38058
936.99/943.95 c #Conflicts: 619000 | #Constraints: 39058
936.99/943.95 c #Conflicts: 620000 | #Constraints: 40058
936.99/943.95 c #Conflicts: 621000 | #Constraints: 41058
936.99/943.95 c #Conflicts: 622000 | #Constraints: 42058
936.99/943.95 c #Conflicts: 623000 | #Constraints: 43058
936.99/943.95 c INPROCESSING
936.99/943.95 c GARBAGE COLLECT
936.99/943.95 c rational objective 99
958.14/965.17 c #Conflicts: 624000 | #Constraints: 28481
958.14/965.17 c #Conflicts: 625000 | #Constraints: 29481
958.14/965.17 c #Conflicts: 626000 | #Constraints: 30481
958.14/965.17 c #Conflicts: 627000 | #Constraints: 31481
958.14/965.17 c #Conflicts: 628000 | #Constraints: 32481
958.14/965.17 c #Conflicts: 629000 | #Constraints: 33481
958.14/965.17 c #Conflicts: 630000 | #Constraints: 34481
958.14/965.17 c #Conflicts: 631000 | #Constraints: 35481
958.14/965.17 c #Conflicts: 632000 | #Constraints: 36481
958.14/965.17 c #Conflicts: 633000 | #Constraints: 37481
958.14/965.17 c #Conflicts: 634000 | #Constraints: 38481
958.14/965.17 c #Conflicts: 635000 | #Constraints: 39481
958.14/965.17 c #Conflicts: 636000 | #Constraints: 40481
958.14/965.17 c #Conflicts: 637000 | #Constraints: 41481
958.14/965.17 c #Conflicts: 638000 | #Constraints: 42481
958.14/965.17 c #Conflicts: 639000 | #Constraints: 43481
958.14/965.17 c INPROCESSING
958.14/965.17 c GARBAGE COLLECT
958.14/965.17 c rational objective 99
981.54/988.63 c #Conflicts: 640000 | #Constraints: 28685
981.54/988.63 c #Conflicts: 641000 | #Constraints: 29685
981.54/988.63 c #Conflicts: 642000 | #Constraints: 30685
981.54/988.63 c #Conflicts: 643000 | #Constraints: 31685
981.54/988.63 c #Conflicts: 644000 | #Constraints: 32685
981.54/988.63 c #Conflicts: 645000 | #Constraints: 33685
981.54/988.63 c #Conflicts: 646000 | #Constraints: 34685
981.54/988.63 c #Conflicts: 647000 | #Constraints: 35685
981.54/988.63 c #Conflicts: 648000 | #Constraints: 36685
981.54/988.63 c #Conflicts: 649000 | #Constraints: 37685
981.54/988.63 c #Conflicts: 650000 | #Constraints: 38685
981.54/988.63 c #Conflicts: 651000 | #Constraints: 39685
981.54/988.63 c #Conflicts: 652000 | #Constraints: 40685
981.54/988.63 c #Conflicts: 653000 | #Constraints: 41685
981.54/988.63 c #Conflicts: 654000 | #Constraints: 42685
981.54/988.63 c #Conflicts: 655000 | #Constraints: 43685
981.54/988.63 c INPROCESSING
981.54/988.63 c GARBAGE COLLECT
981.54/988.63 c rational objective 99
1000.69/1007.82 c #Conflicts: 656000 | #Constraints: 28683
1000.69/1007.82 c #Conflicts: 657000 | #Constraints: 29683
1000.69/1007.82 c #Conflicts: 658000 | #Constraints: 30683
1000.69/1007.82 c #Conflicts: 659000 | #Constraints: 31683
1000.69/1007.82 c #Conflicts: 660000 | #Constraints: 32683
1000.69/1007.82 c #Conflicts: 661000 | #Constraints: 33683
1000.69/1007.82 c #Conflicts: 662000 | #Constraints: 34683
1000.69/1007.82 c #Conflicts: 663000 | #Constraints: 35683
1000.69/1007.82 c #Conflicts: 664000 | #Constraints: 36683
1000.69/1007.82 c #Conflicts: 665000 | #Constraints: 37683
1000.69/1007.82 c #Conflicts: 666000 | #Constraints: 38683
1000.69/1007.82 c #Conflicts: 667000 | #Constraints: 39683
1000.69/1007.82 c #Conflicts: 668000 | #Constraints: 40683
1000.69/1007.82 c #Conflicts: 669000 | #Constraints: 41683
1000.69/1007.82 c #Conflicts: 670000 | #Constraints: 42683
1000.69/1007.82 c #Conflicts: 671000 | #Constraints: 43683
1000.69/1007.82 c INPROCESSING
1000.69/1007.82 c GARBAGE COLLECT
1000.69/1007.82 c rational objective 99
1023.71/1031.03 c #Conflicts: 672000 | #Constraints: 28480
1023.71/1031.03 c #Conflicts: 673000 | #Constraints: 29480
1023.71/1031.03 c #Conflicts: 674000 | #Constraints: 30480
1023.71/1031.03 c #Conflicts: 675000 | #Constraints: 31480
1023.71/1031.03 c #Conflicts: 676000 | #Constraints: 32480
1023.71/1031.03 c #Conflicts: 677000 | #Constraints: 33481
1023.71/1031.03 c #Conflicts: 678000 | #Constraints: 34481
1023.71/1031.03 c #Conflicts: 679000 | #Constraints: 35481
1023.71/1031.03 c #Conflicts: 680000 | #Constraints: 36481
1023.71/1031.03 c #Conflicts: 681000 | #Constraints: 37481
1023.71/1031.03 c #Conflicts: 682000 | #Constraints: 38481
1023.71/1031.03 c #Conflicts: 683000 | #Constraints: 39481
1023.71/1031.03 c #Conflicts: 684000 | #Constraints: 40481
1023.71/1031.03 c #Conflicts: 685000 | #Constraints: 41481
1023.71/1031.03 c #Conflicts: 686000 | #Constraints: 42481
1023.71/1031.03 c #Conflicts: 687000 | #Constraints: 43481
1023.71/1031.03 c #Conflicts: 688000 | #Constraints: 44481
1023.71/1031.03 c INPROCESSING
1023.71/1031.03 c GARBAGE COLLECT
1023.71/1031.03 c rational objective 99
1045.67/1053.16 c #Conflicts: 689000 | #Constraints: 29070
1045.67/1053.16 c #Conflicts: 690000 | #Constraints: 30070
1045.67/1053.16 c #Conflicts: 691000 | #Constraints: 31070
1045.67/1053.16 c #Conflicts: 692000 | #Constraints: 32070
1045.67/1053.16 c #Conflicts: 693000 | #Constraints: 33070
1045.67/1053.16 c #Conflicts: 694000 | #Constraints: 34070
1045.67/1053.16 c #Conflicts: 695000 | #Constraints: 35070
1045.67/1053.16 c #Conflicts: 696000 | #Constraints: 36070
1045.67/1053.16 c #Conflicts: 697000 | #Constraints: 37070
1045.67/1053.16 c #Conflicts: 698000 | #Constraints: 38070
1045.67/1053.16 c #Conflicts: 699000 | #Constraints: 39070
1045.67/1053.16 c #Conflicts: 700000 | #Constraints: 40070
1045.67/1053.16 c #Conflicts: 701000 | #Constraints: 41070
1045.67/1053.16 c #Conflicts: 702000 | #Constraints: 42070
1045.67/1053.16 c #Conflicts: 703000 | #Constraints: 43070
1045.67/1053.16 c #Conflicts: 704000 | #Constraints: 44070
1045.67/1053.16 c #Conflicts: 705000 | #Constraints: 45070
1045.67/1053.16 c INPROCESSING
1045.67/1053.16 c GARBAGE COLLECT
1045.67/1053.16 c rational objective 99
1069.62/1077.38 c #Conflicts: 706000 | #Constraints: 29450
1069.62/1077.38 c #Conflicts: 707000 | #Constraints: 30450
1069.62/1077.38 c #Conflicts: 708000 | #Constraints: 31450
1069.62/1077.38 c #Conflicts: 709000 | #Constraints: 32450
1069.62/1077.38 c #Conflicts: 710000 | #Constraints: 33450
1069.62/1077.38 c #Conflicts: 711000 | #Constraints: 34450
1069.62/1077.38 c #Conflicts: 712000 | #Constraints: 35450
1069.62/1077.38 c #Conflicts: 713000 | #Constraints: 36450
1069.62/1077.38 c #Conflicts: 714000 | #Constraints: 37450
1069.62/1077.38 c #Conflicts: 715000 | #Constraints: 38450
1069.62/1077.38 c #Conflicts: 716000 | #Constraints: 39450
1069.62/1077.38 c #Conflicts: 717000 | #Constraints: 40450
1069.62/1077.38 c #Conflicts: 718000 | #Constraints: 41450
1069.62/1077.38 c #Conflicts: 719000 | #Constraints: 42450
1069.62/1077.38 c #Conflicts: 720000 | #Constraints: 43450
1069.62/1077.38 c #Conflicts: 721000 | #Constraints: 44450
1069.62/1077.38 c #Conflicts: 722000 | #Constraints: 45450
1069.62/1077.38 c INPROCESSING
1069.62/1077.38 c GARBAGE COLLECT
1069.62/1077.38 c rational objective 99
1095.70/1103.52 c #Conflicts: 723000 | #Constraints: 29659
1095.70/1103.52 c #Conflicts: 724000 | #Constraints: 30659
1095.70/1103.52 c #Conflicts: 725000 | #Constraints: 31659
1095.70/1103.52 c #Conflicts: 726000 | #Constraints: 32659
1095.70/1103.52 c #Conflicts: 727000 | #Constraints: 33659
1095.70/1103.52 c #Conflicts: 728000 | #Constraints: 34659
1095.70/1103.52 c #Conflicts: 729000 | #Constraints: 35659
1095.70/1103.52 c #Conflicts: 730000 | #Constraints: 36659
1095.70/1103.52 c #Conflicts: 731000 | #Constraints: 37659
1095.70/1103.52 c #Conflicts: 732000 | #Constraints: 38659
1095.70/1103.52 c #Conflicts: 733000 | #Constraints: 39659
1095.70/1103.52 c #Conflicts: 734000 | #Constraints: 40659
1095.70/1103.52 c #Conflicts: 735000 | #Constraints: 41659
1095.70/1103.52 c #Conflicts: 736000 | #Constraints: 42659
1095.70/1103.52 c #Conflicts: 737000 | #Constraints: 43659
1095.70/1103.52 c #Conflicts: 738000 | #Constraints: 44659
1095.70/1103.52 c #Conflicts: 739000 | #Constraints: 45659
1095.70/1103.52 c INPROCESSING
1095.70/1103.52 c GARBAGE COLLECT
1095.70/1103.52 c rational objective 99
1119.45/1127.45 c #Conflicts: 740000 | #Constraints: 29668
1119.45/1127.45 c #Conflicts: 741000 | #Constraints: 30668
1119.45/1127.45 c #Conflicts: 742000 | #Constraints: 31668
1119.45/1127.45 c #Conflicts: 743000 | #Constraints: 32668
1119.45/1127.45 c #Conflicts: 744000 | #Constraints: 33668
1119.45/1127.45 c #Conflicts: 745000 | #Constraints: 34668
1119.45/1127.45 c #Conflicts: 746000 | #Constraints: 35668
1119.45/1127.45 c #Conflicts: 747000 | #Constraints: 36668
1119.45/1127.45 c #Conflicts: 748000 | #Constraints: 37668
1119.45/1127.45 c #Conflicts: 749000 | #Constraints: 38668
1119.45/1127.45 c #Conflicts: 750000 | #Constraints: 39669
1119.45/1127.45 c #Conflicts: 751000 | #Constraints: 40669
1119.45/1127.45 c #Conflicts: 752000 | #Constraints: 41669
1119.45/1127.45 c #Conflicts: 753000 | #Constraints: 42670
1119.45/1127.45 c #Conflicts: 754000 | #Constraints: 43670
1119.45/1127.45 c #Conflicts: 755000 | #Constraints: 44670
1119.45/1127.45 c #Conflicts: 756000 | #Constraints: 45670
1119.45/1127.45 c INPROCESSING
1119.45/1127.45 c GARBAGE COLLECT
1119.45/1127.45 c rational objective 99
1139.58/1147.62 c #Conflicts: 757000 | #Constraints: 29482
1139.58/1147.62 c #Conflicts: 758000 | #Constraints: 30482
1139.58/1147.62 c #Conflicts: 759000 | #Constraints: 31482
1139.58/1147.62 c #Conflicts: 760000 | #Constraints: 32482
1139.58/1147.62 c #Conflicts: 761000 | #Constraints: 33482
1139.58/1147.62 c #Conflicts: 762000 | #Constraints: 34482
1139.58/1147.62 c #Conflicts: 763000 | #Constraints: 35482
1139.58/1147.62 c #Conflicts: 764000 | #Constraints: 36482
1139.58/1147.62 c #Conflicts: 765000 | #Constraints: 37482
1139.58/1147.62 c #Conflicts: 766000 | #Constraints: 38482
1139.58/1147.62 c #Conflicts: 767000 | #Constraints: 39482
1139.58/1147.62 c #Conflicts: 768000 | #Constraints: 40482
1139.58/1147.62 c #Conflicts: 769000 | #Constraints: 41482
1139.58/1147.62 c #Conflicts: 770000 | #Constraints: 42482
1139.58/1147.62 c #Conflicts: 771000 | #Constraints: 43482
1139.58/1147.62 c #Conflicts: 772000 | #Constraints: 44482
1139.58/1147.62 c #Conflicts: 773000 | #Constraints: 45482
1139.58/1147.62 c #Conflicts: 774000 | #Constraints: 46482
1139.58/1147.62 c INPROCESSING
1139.58/1147.62 c GARBAGE COLLECT
1139.58/1147.62 c rational objective 99
1164.79/1172.99 c #Conflicts: 775000 | #Constraints: 30072
1164.79/1172.99 c #Conflicts: 776000 | #Constraints: 31072
1164.79/1172.99 c #Conflicts: 777000 | #Constraints: 32072
1164.79/1172.99 c #Conflicts: 778000 | #Constraints: 33072
1164.79/1172.99 c #Conflicts: 779000 | #Constraints: 34072
1164.79/1172.99 c #Conflicts: 780000 | #Constraints: 35072
1164.79/1172.99 c #Conflicts: 781000 | #Constraints: 36072
1164.79/1172.99 c #Conflicts: 782000 | #Constraints: 37072
1164.79/1172.99 c #Conflicts: 783000 | #Constraints: 38072
1164.79/1172.99 c #Conflicts: 784000 | #Constraints: 39072
1164.79/1172.99 c #Conflicts: 785000 | #Constraints: 40072
1164.79/1172.99 c #Conflicts: 786000 | #Constraints: 41072
1164.79/1172.99 c #Conflicts: 787000 | #Constraints: 42072
1164.79/1172.99 c #Conflicts: 788000 | #Constraints: 43072
1164.79/1172.99 c #Conflicts: 789000 | #Constraints: 44072
1164.79/1172.99 c #Conflicts: 790000 | #Constraints: 45072
1164.79/1172.99 c #Conflicts: 791000 | #Constraints: 46072
1164.79/1172.99 c #Conflicts: 792000 | #Constraints: 47072
1164.79/1172.99 c INPROCESSING
1164.79/1172.99 c GARBAGE COLLECT
1164.79/1172.99 c rational objective 99
1189.42/1197.60 c #Conflicts: 793000 | #Constraints: 30483
1189.42/1197.60 c #Conflicts: 794000 | #Constraints: 31483
1189.42/1197.60 c #Conflicts: 795000 | #Constraints: 32483
1189.42/1197.60 c #Conflicts: 796000 | #Constraints: 33483
1189.42/1197.60 c #Conflicts: 797000 | #Constraints: 34483
1189.42/1197.60 c #Conflicts: 798000 | #Constraints: 35483
1189.42/1197.60 c #Conflicts: 799000 | #Constraints: 36483
1189.42/1197.60 c #Conflicts: 800000 | #Constraints: 37483
1189.42/1197.60 c #Conflicts: 801000 | #Constraints: 38483
1189.42/1197.60 c #Conflicts: 802000 | #Constraints: 39483
1189.42/1197.60 c #Conflicts: 803000 | #Constraints: 40483
1189.42/1197.60 c #Conflicts: 804000 | #Constraints: 41483
1189.42/1197.60 c #Conflicts: 805000 | #Constraints: 42483
1189.42/1197.60 c #Conflicts: 806000 | #Constraints: 43483
1189.42/1197.60 c #Conflicts: 807000 | #Constraints: 44483
1189.42/1197.60 c #Conflicts: 808000 | #Constraints: 45483
1189.42/1197.60 c #Conflicts: 809000 | #Constraints: 46483
1189.42/1197.60 c #Conflicts: 810000 | #Constraints: 47483
1189.42/1197.60 c INPROCESSING
1189.42/1197.60 c GARBAGE COLLECT
1189.42/1197.60 c rational objective 99
1214.03/1222.39 c #Conflicts: 811000 | #Constraints: 30700
1214.03/1222.39 c #Conflicts: 812000 | #Constraints: 31700
1214.03/1222.39 c #Conflicts: 813000 | #Constraints: 32700
1214.03/1222.39 c #Conflicts: 814000 | #Constraints: 33700
1214.03/1222.39 c #Conflicts: 815000 | #Constraints: 34700
1214.03/1222.39 c #Conflicts: 816000 | #Constraints: 35700
1214.03/1222.39 c #Conflicts: 817000 | #Constraints: 36700
1214.03/1222.39 c #Conflicts: 818000 | #Constraints: 37700
1214.03/1222.39 c #Conflicts: 819000 | #Constraints: 38700
1214.03/1222.39 c #Conflicts: 820000 | #Constraints: 39700
1214.03/1222.39 c #Conflicts: 821000 | #Constraints: 40700
1214.03/1222.39 c #Conflicts: 822000 | #Constraints: 41700
1214.03/1222.39 c #Conflicts: 823000 | #Constraints: 42700
1214.03/1222.39 c #Conflicts: 824000 | #Constraints: 43700
1214.03/1222.39 c #Conflicts: 825000 | #Constraints: 44701
1214.03/1222.39 c #Conflicts: 826000 | #Constraints: 45701
1214.03/1222.39 c #Conflicts: 827000 | #Constraints: 46701
1214.03/1222.39 c #Conflicts: 828000 | #Constraints: 47701
1214.03/1222.39 c INPROCESSING
1214.03/1222.39 c GARBAGE COLLECT
1214.03/1222.39 c rational objective 99
1237.08/1245.53 c #Conflicts: 829000 | #Constraints: 30699
1237.08/1245.53 c #Conflicts: 830000 | #Constraints: 31699
1237.08/1245.53 c #Conflicts: 831000 | #Constraints: 32699
1237.08/1245.53 c #Conflicts: 832000 | #Constraints: 33699
1237.08/1245.53 c #Conflicts: 833000 | #Constraints: 34699
1237.08/1245.53 c #Conflicts: 834000 | #Constraints: 35699
1237.08/1245.53 c #Conflicts: 835000 | #Constraints: 36699
1237.08/1245.53 c #Conflicts: 836000 | #Constraints: 37699
1237.08/1245.53 c #Conflicts: 837000 | #Constraints: 38699
1237.08/1245.53 c #Conflicts: 838000 | #Constraints: 39699
1237.08/1245.53 c #Conflicts: 839000 | #Constraints: 40699
1237.08/1245.53 c #Conflicts: 840000 | #Constraints: 41699
1237.08/1245.53 c #Conflicts: 841000 | #Constraints: 42699
1237.08/1245.53 c #Conflicts: 842000 | #Constraints: 43699
1237.08/1245.53 c #Conflicts: 843000 | #Constraints: 44700
1237.08/1245.53 c #Conflicts: 844000 | #Constraints: 45700
1237.08/1245.53 c #Conflicts: 845000 | #Constraints: 46700
1237.08/1245.53 c #Conflicts: 846000 | #Constraints: 47700
1237.08/1245.53 c INPROCESSING
1237.08/1245.53 c GARBAGE COLLECT
1237.08/1245.53 c rational objective 99
1259.80/1268.35 c #Conflicts: 847000 | #Constraints: 30501
1259.80/1268.35 c #Conflicts: 848000 | #Constraints: 31501
1259.80/1268.35 c #Conflicts: 849000 | #Constraints: 32501
1259.80/1268.35 c #Conflicts: 850000 | #Constraints: 33502
1259.80/1268.35 c #Conflicts: 851000 | #Constraints: 34502
1259.80/1268.35 c #Conflicts: 852000 | #Constraints: 35503
1259.80/1268.35 c #Conflicts: 853000 | #Constraints: 36503
1259.80/1268.35 c #Conflicts: 854000 | #Constraints: 37503
1259.80/1268.35 c #Conflicts: 855000 | #Constraints: 38503
1259.80/1268.35 c #Conflicts: 856000 | #Constraints: 39503
1259.80/1268.35 c #Conflicts: 857000 | #Constraints: 40503
1259.80/1268.35 c #Conflicts: 858000 | #Constraints: 41503
1259.80/1268.35 c #Conflicts: 859000 | #Constraints: 42503
1259.80/1268.35 c #Conflicts: 860000 | #Constraints: 43503
1259.80/1268.35 c #Conflicts: 861000 | #Constraints: 44503
1259.80/1268.35 c #Conflicts: 862000 | #Constraints: 45503
1259.80/1268.35 c #Conflicts: 863000 | #Constraints: 46503
1259.80/1268.35 c #Conflicts: 864000 | #Constraints: 47503
1259.80/1268.35 c #Conflicts: 865000 | #Constraints: 48503
1259.80/1268.35 c INPROCESSING
1259.80/1268.35 c GARBAGE COLLECT
1259.80/1268.35 c rational objective 99
1285.57/1294.26 c #Conflicts: 866000 | #Constraints: 31077
1285.57/1294.26 c #Conflicts: 867000 | #Constraints: 32077
1285.57/1294.26 c #Conflicts: 868000 | #Constraints: 33077
1285.57/1294.26 c #Conflicts: 869000 | #Constraints: 34077
1285.57/1294.26 c #Conflicts: 870000 | #Constraints: 35077
1285.57/1294.26 c #Conflicts: 871000 | #Constraints: 36077
1285.57/1294.26 c #Conflicts: 872000 | #Constraints: 37077
1285.57/1294.26 c #Conflicts: 873000 | #Constraints: 38077
1285.57/1294.26 c #Conflicts: 874000 | #Constraints: 39077
1285.57/1294.26 c #Conflicts: 875000 | #Constraints: 40077
1285.57/1294.26 c #Conflicts: 876000 | #Constraints: 41077
1285.57/1294.26 c #Conflicts: 877000 | #Constraints: 42077
1285.57/1294.26 c #Conflicts: 878000 | #Constraints: 43077
1285.57/1294.26 c #Conflicts: 879000 | #Constraints: 44077
1285.57/1294.26 c #Conflicts: 880000 | #Constraints: 45077
1285.57/1294.26 c #Conflicts: 881000 | #Constraints: 46077
1285.57/1294.26 c #Conflicts: 882000 | #Constraints: 47077
1285.57/1294.26 c #Conflicts: 883000 | #Constraints: 48077
1285.57/1294.26 c #Conflicts: 884000 | #Constraints: 49077
1285.57/1294.26 c INPROCESSING
1285.57/1294.26 c GARBAGE COLLECT
1285.57/1294.26 c rational objective 99
1310.20/1318.92 c #Conflicts: 885000 | #Constraints: 31485
1310.20/1318.92 c #Conflicts: 886000 | #Constraints: 32485
1310.20/1318.92 c #Conflicts: 887000 | #Constraints: 33485
1310.20/1318.92 c #Conflicts: 888000 | #Constraints: 34485
1310.20/1318.92 c #Conflicts: 889000 | #Constraints: 35485
1310.20/1318.92 c #Conflicts: 890000 | #Constraints: 36485
1310.20/1318.92 c #Conflicts: 891000 | #Constraints: 37485
1310.20/1318.92 c #Conflicts: 892000 | #Constraints: 38485
1310.20/1318.92 c #Conflicts: 893000 | #Constraints: 39485
1310.20/1318.92 c #Conflicts: 894000 | #Constraints: 40485
1310.20/1318.92 c #Conflicts: 895000 | #Constraints: 41485
1310.20/1318.92 c #Conflicts: 896000 | #Constraints: 42485
1310.20/1318.92 c #Conflicts: 897000 | #Constraints: 43486
1310.20/1318.92 c #Conflicts: 898000 | #Constraints: 44486
1310.20/1318.92 c #Conflicts: 899000 | #Constraints: 45486
1310.20/1318.92 c #Conflicts: 900000 | #Constraints: 46486
1310.20/1318.92 c #Conflicts: 901000 | #Constraints: 47486
1310.20/1318.92 c #Conflicts: 902000 | #Constraints: 48486
1310.20/1318.92 c #Conflicts: 903000 | #Constraints: 49486
1310.20/1318.92 c INPROCESSING
1310.20/1318.92 c GARBAGE COLLECT
1310.20/1318.92 c rational objective 99
1335.35/1344.23 c #Conflicts: 904000 | #Constraints: 31680
1335.35/1344.23 c #Conflicts: 905000 | #Constraints: 32680
1335.35/1344.23 c #Conflicts: 906000 | #Constraints: 33680
1335.35/1344.23 c #Conflicts: 907000 | #Constraints: 34680
1335.35/1344.23 c #Conflicts: 908000 | #Constraints: 35680
1335.35/1344.23 c #Conflicts: 909000 | #Constraints: 36680
1335.35/1344.23 c #Conflicts: 910000 | #Constraints: 37680
1335.35/1344.23 c #Conflicts: 911000 | #Constraints: 38680
1335.35/1344.23 c #Conflicts: 912000 | #Constraints: 39680
1335.35/1344.23 c #Conflicts: 913000 | #Constraints: 40680
1335.35/1344.23 c #Conflicts: 914000 | #Constraints: 41680
1335.35/1344.23 c #Conflicts: 915000 | #Constraints: 42680
1335.35/1344.23 c #Conflicts: 916000 | #Constraints: 43680
1335.35/1344.23 c #Conflicts: 917000 | #Constraints: 44680
1335.35/1344.23 c #Conflicts: 918000 | #Constraints: 45680
1335.35/1344.23 c #Conflicts: 919000 | #Constraints: 46680
1335.35/1344.23 c #Conflicts: 920000 | #Constraints: 47680
1335.35/1344.23 c #Conflicts: 921000 | #Constraints: 48680
1335.35/1344.23 c #Conflicts: 922000 | #Constraints: 49680
1335.35/1344.23 c INPROCESSING
1335.35/1344.23 c GARBAGE COLLECT
1335.35/1344.23 c rational objective 99
1361.97/1370.96 c #Conflicts: 923000 | #Constraints: 31707
1361.97/1370.96 c #Conflicts: 924000 | #Constraints: 32707
1361.97/1370.96 c #Conflicts: 925000 | #Constraints: 33707
1361.97/1370.96 c #Conflicts: 926000 | #Constraints: 34707
1361.97/1370.96 c #Conflicts: 927000 | #Constraints: 35707
1361.97/1370.96 c #Conflicts: 928000 | #Constraints: 36707
1361.97/1370.96 c #Conflicts: 929000 | #Constraints: 37707
1361.97/1370.96 c #Conflicts: 930000 | #Constraints: 38707
1361.97/1370.96 c #Conflicts: 931000 | #Constraints: 39707
1361.97/1370.96 c #Conflicts: 932000 | #Constraints: 40707
1361.97/1370.96 c #Conflicts: 933000 | #Constraints: 41707
1361.97/1370.96 c #Conflicts: 934000 | #Constraints: 42707
1361.97/1370.96 c #Conflicts: 935000 | #Constraints: 43707
1361.97/1370.96 c #Conflicts: 936000 | #Constraints: 44707
1361.97/1370.96 c #Conflicts: 937000 | #Constraints: 45707
1361.97/1370.96 c #Conflicts: 938000 | #Constraints: 46707
1361.97/1370.96 c #Conflicts: 939000 | #Constraints: 47707
1361.97/1370.96 c #Conflicts: 940000 | #Constraints: 48707
1361.97/1370.96 c #Conflicts: 941000 | #Constraints: 49707
1361.97/1370.96 c INPROCESSING
1361.97/1370.96 c GARBAGE COLLECT
1361.97/1370.96 c rational objective 99
1385.02/1394.05 c #Conflicts: 942000 | #Constraints: 31512
1385.02/1394.05 c #Conflicts: 943000 | #Constraints: 32512
1385.02/1394.05 c #Conflicts: 944000 | #Constraints: 33512
1385.02/1394.05 c #Conflicts: 945000 | #Constraints: 34512
1385.02/1394.05 c #Conflicts: 946000 | #Constraints: 35512
1385.02/1394.05 c #Conflicts: 947000 | #Constraints: 36512
1385.02/1394.05 c #Conflicts: 948000 | #Constraints: 37513
1385.02/1394.05 c #Conflicts: 949000 | #Constraints: 38513
1385.02/1394.05 c #Conflicts: 950000 | #Constraints: 39513
1385.02/1394.05 c #Conflicts: 951000 | #Constraints: 40513
1385.02/1394.05 c #Conflicts: 952000 | #Constraints: 41513
1385.02/1394.05 c #Conflicts: 953000 | #Constraints: 42513
1385.02/1394.05 c #Conflicts: 954000 | #Constraints: 43513
1385.02/1394.05 c #Conflicts: 955000 | #Constraints: 44513
1385.02/1394.05 c #Conflicts: 956000 | #Constraints: 45513
1385.02/1394.05 c #Conflicts: 957000 | #Constraints: 46513
1385.02/1394.05 c #Conflicts: 958000 | #Constraints: 47513
1385.02/1394.05 c #Conflicts: 959000 | #Constraints: 48513
1385.02/1394.05 c #Conflicts: 960000 | #Constraints: 49513
1385.02/1394.05 c #Conflicts: 961000 | #Constraints: 50513
1385.02/1394.05 c INPROCESSING
1385.02/1394.05 c GARBAGE COLLECT
1385.02/1394.05 c rational objective 99
1411.93/1421.02 c #Conflicts: 962000 | #Constraints: 32123
1411.93/1421.02 c #Conflicts: 963000 | #Constraints: 33123
1411.93/1421.02 c #Conflicts: 964000 | #Constraints: 34123
1411.93/1421.02 c #Conflicts: 965000 | #Constraints: 35123
1411.93/1421.02 c #Conflicts: 966000 | #Constraints: 36123
1411.93/1421.02 c #Conflicts: 967000 | #Constraints: 37123
1411.93/1421.02 c #Conflicts: 968000 | #Constraints: 38123
1411.93/1421.02 c #Conflicts: 969000 | #Constraints: 39123
1411.93/1421.02 c #Conflicts: 970000 | #Constraints: 40123
1411.93/1421.02 c #Conflicts: 971000 | #Constraints: 41123
1411.93/1421.02 c #Conflicts: 972000 | #Constraints: 42123
1411.93/1421.02 c #Conflicts: 973000 | #Constraints: 43123
1411.93/1421.02 c #Conflicts: 974000 | #Constraints: 44123
1411.93/1421.02 c #Conflicts: 975000 | #Constraints: 45123
1411.93/1421.02 c #Conflicts: 976000 | #Constraints: 46123
1411.93/1421.02 c #Conflicts: 977000 | #Constraints: 47123
1411.93/1421.02 c #Conflicts: 978000 | #Constraints: 48123
1411.93/1421.02 c #Conflicts: 979000 | #Constraints: 49123
1411.93/1421.02 c #Conflicts: 980000 | #Constraints: 50123
1411.93/1421.02 c #Conflicts: 981000 | #Constraints: 51123
1411.93/1421.02 c INPROCESSING
1411.93/1421.02 c GARBAGE COLLECT
1411.93/1421.02 c rational objective 99
1439.04/1448.29 c #Conflicts: 982000 | #Constraints: 32506
1439.04/1448.29 c #Conflicts: 983000 | #Constraints: 33506
1439.04/1448.29 c #Conflicts: 984000 | #Constraints: 34506
1439.04/1448.29 c #Conflicts: 985000 | #Constraints: 35506
1439.04/1448.29 c #Conflicts: 986000 | #Constraints: 36506
1439.04/1448.29 c #Conflicts: 987000 | #Constraints: 37506
1439.04/1448.29 c #Conflicts: 988000 | #Constraints: 38506
1439.04/1448.29 c #Conflicts: 989000 | #Constraints: 39506
1439.04/1448.29 c #Conflicts: 990000 | #Constraints: 40506
1439.04/1448.29 c #Conflicts: 991000 | #Constraints: 41506
1439.04/1448.29 c #Conflicts: 992000 | #Constraints: 42506
1439.04/1448.29 c #Conflicts: 993000 | #Constraints: 43506
1439.04/1448.29 c #Conflicts: 994000 | #Constraints: 44506
1439.04/1448.29 c #Conflicts: 995000 | #Constraints: 45506
1439.04/1448.29 c #Conflicts: 996000 | #Constraints: 46506
1439.04/1448.29 c #Conflicts: 997000 | #Constraints: 47506
1439.04/1448.29 c #Conflicts: 998000 | #Constraints: 48506
1439.04/1448.29 c #Conflicts: 999000 | #Constraints: 49506
1439.04/1448.29 c #Conflicts: 1000000 | #Constraints: 50507
1439.04/1448.29 c #Conflicts: 1001000 | #Constraints: 51507
1439.04/1448.29 c INPROCESSING
1439.04/1448.29 c GARBAGE COLLECT
1439.04/1448.29 c rational objective 99
1470.65/1479.97 c #Conflicts: 1002000 | #Constraints: 32697
1470.65/1479.97 c #Conflicts: 1003000 | #Constraints: 33697
1470.65/1479.97 c #Conflicts: 1004000 | #Constraints: 34697
1470.65/1479.97 c #Conflicts: 1005000 | #Constraints: 35697
1470.65/1479.97 c #Conflicts: 1006000 | #Constraints: 36697
1470.65/1479.97 c #Conflicts: 1007000 | #Constraints: 37697
1470.65/1479.97 c #Conflicts: 1008000 | #Constraints: 38697
1470.65/1479.97 c #Conflicts: 1009000 | #Constraints: 39697
1470.65/1479.97 c #Conflicts: 1010000 | #Constraints: 40697
1470.65/1479.97 c #Conflicts: 1011000 | #Constraints: 41697
1470.65/1479.97 c #Conflicts: 1012000 | #Constraints: 42697
1470.65/1479.97 c #Conflicts: 1013000 | #Constraints: 43697
1470.65/1479.97 c #Conflicts: 1014000 | #Constraints: 44697
1470.65/1479.97 c #Conflicts: 1015000 | #Constraints: 45697
1470.65/1479.97 c #Conflicts: 1016000 | #Constraints: 46697
1470.65/1479.97 c #Conflicts: 1017000 | #Constraints: 47697
1470.65/1479.97 c #Conflicts: 1018000 | #Constraints: 48697
1470.65/1479.97 c #Conflicts: 1019000 | #Constraints: 49697
1470.65/1479.97 c #Conflicts: 1020000 | #Constraints: 50697
1470.65/1479.97 c #Conflicts: 1021000 | #Constraints: 51697
1470.65/1479.97 c INPROCESSING
1470.65/1479.97 c GARBAGE COLLECT
1470.65/1479.97 c rational objective 99
1500.25/1509.64 c #Conflicts: 1022000 | #Constraints: 32693
1500.25/1509.64 c #Conflicts: 1023000 | #Constraints: 33693
1500.25/1509.64 c #Conflicts: 1024000 | #Constraints: 34693
1500.25/1509.64 c #Conflicts: 1025000 | #Constraints: 35693
1500.25/1509.64 c #Conflicts: 1026000 | #Constraints: 36693
1500.25/1509.64 c #Conflicts: 1027000 | #Constraints: 37693
1500.25/1509.64 c #Conflicts: 1028000 | #Constraints: 38693
1500.25/1509.64 c #Conflicts: 1029000 | #Constraints: 39693
1500.25/1509.64 c #Conflicts: 1030000 | #Constraints: 40693
1500.25/1509.64 c #Conflicts: 1031000 | #Constraints: 41693
1500.25/1509.64 c #Conflicts: 1032000 | #Constraints: 42693
1500.25/1509.64 c #Conflicts: 1033000 | #Constraints: 43693
1500.25/1509.64 c #Conflicts: 1034000 | #Constraints: 44693
1500.25/1509.64 c #Conflicts: 1035000 | #Constraints: 45693
1500.25/1509.64 c #Conflicts: 1036000 | #Constraints: 46693
1500.25/1509.64 c #Conflicts: 1037000 | #Constraints: 47693
1500.25/1509.64 c #Conflicts: 1038000 | #Constraints: 48693
1500.25/1509.64 c #Conflicts: 1039000 | #Constraints: 49693
1500.25/1509.64 c #Conflicts: 1040000 | #Constraints: 50693
1500.25/1509.64 c #Conflicts: 1041000 | #Constraints: 51693
1500.25/1509.64 c INPROCESSING
1500.25/1509.64 c GARBAGE COLLECT
1500.25/1509.64 c rational objective 99
1530.36/1539.97 c #Conflicts: 1042000 | #Constraints: 32486
1530.36/1539.97 c #Conflicts: 1043000 | #Constraints: 33486
1530.36/1539.97 c #Conflicts: 1044000 | #Constraints: 34486
1530.36/1539.97 c #Conflicts: 1045000 | #Constraints: 35486
1530.36/1539.97 c #Conflicts: 1046000 | #Constraints: 36486
1530.36/1539.97 c #Conflicts: 1047000 | #Constraints: 37486
1530.36/1539.97 c #Conflicts: 1048000 | #Constraints: 38486
1530.36/1539.97 c #Conflicts: 1049000 | #Constraints: 39486
1530.36/1539.97 c #Conflicts: 1050000 | #Constraints: 40486
1530.36/1539.97 c #Conflicts: 1051000 | #Constraints: 41486
1530.36/1539.97 c #Conflicts: 1052000 | #Constraints: 42486
1530.36/1539.97 c #Conflicts: 1053000 | #Constraints: 43486
1530.36/1539.97 c #Conflicts: 1054000 | #Constraints: 44486
1530.36/1539.97 c #Conflicts: 1055000 | #Constraints: 45486
1530.36/1539.97 c #Conflicts: 1056000 | #Constraints: 46486
1530.36/1539.97 c #Conflicts: 1057000 | #Constraints: 47486
1530.36/1539.97 c #Conflicts: 1058000 | #Constraints: 48486
1530.36/1539.97 c #Conflicts: 1059000 | #Constraints: 49486
1530.36/1539.97 c #Conflicts: 1060000 | #Constraints: 50486
1530.36/1539.97 c #Conflicts: 1061000 | #Constraints: 51486
1530.36/1539.97 c #Conflicts: 1062000 | #Constraints: 52486
1530.36/1539.97 c INPROCESSING
1530.36/1539.97 c GARBAGE COLLECT
1530.36/1539.97 c rational objective 99
1572.14/1581.97 c #Conflicts: 1063000 | #Constraints: 33093
1572.14/1581.97 c #Conflicts: 1064000 | #Constraints: 34093
1572.14/1581.97 c #Conflicts: 1065000 | #Constraints: 35093
1572.14/1581.97 c #Conflicts: 1066000 | #Constraints: 36093
1572.14/1581.97 c #Conflicts: 1067000 | #Constraints: 37093
1572.14/1581.97 c #Conflicts: 1068000 | #Constraints: 38093
1572.14/1581.97 c #Conflicts: 1069000 | #Constraints: 39093
1572.14/1581.97 c #Conflicts: 1070000 | #Constraints: 40093
1572.14/1581.97 c #Conflicts: 1071000 | #Constraints: 41093
1572.14/1581.97 c #Conflicts: 1072000 | #Constraints: 42093
1572.14/1581.97 c #Conflicts: 1073000 | #Constraints: 43093
1572.14/1581.97 c #Conflicts: 1074000 | #Constraints: 44093
1572.14/1581.97 c #Conflicts: 1075000 | #Constraints: 45093
1572.14/1581.97 c #Conflicts: 1076000 | #Constraints: 46093
1572.14/1581.97 c #Conflicts: 1077000 | #Constraints: 47093
1572.14/1581.97 c #Conflicts: 1078000 | #Constraints: 48093
1572.14/1581.97 c #Conflicts: 1079000 | #Constraints: 49093
1572.14/1581.97 c #Conflicts: 1080000 | #Constraints: 50093
1572.14/1581.97 c #Conflicts: 1081000 | #Constraints: 51093
1572.14/1581.97 c #Conflicts: 1082000 | #Constraints: 52093
1572.14/1581.97 c #Conflicts: 1083000 | #Constraints: 53094
1572.14/1581.97 c INPROCESSING
1572.14/1581.97 c GARBAGE COLLECT
1572.14/1581.97 c rational objective 99
1603.76/1613.87 c #Conflicts: 1084000 | #Constraints: 33475
1603.76/1613.87 c #Conflicts: 1085000 | #Constraints: 34475
1603.76/1613.87 c #Conflicts: 1086000 | #Constraints: 35475
1603.76/1613.87 c #Conflicts: 1087000 | #Constraints: 36475
1603.76/1613.87 c #Conflicts: 1088000 | #Constraints: 37475
1603.76/1613.87 c #Conflicts: 1089000 | #Constraints: 38475
1603.76/1613.87 c #Conflicts: 1090000 | #Constraints: 39475
1603.76/1613.87 c #Conflicts: 1091000 | #Constraints: 40475
1603.76/1613.87 c #Conflicts: 1092000 | #Constraints: 41475
1603.76/1613.87 c #Conflicts: 1093000 | #Constraints: 42475
1603.76/1613.87 c #Conflicts: 1094000 | #Constraints: 43475
1603.76/1613.87 c #Conflicts: 1095000 | #Constraints: 44475
1603.76/1613.87 c #Conflicts: 1096000 | #Constraints: 45475
1603.76/1613.87 c #Conflicts: 1097000 | #Constraints: 46475
1603.76/1613.87 c #Conflicts: 1098000 | #Constraints: 47475
1603.76/1613.87 c #Conflicts: 1099000 | #Constraints: 48475
1603.76/1613.87 c #Conflicts: 1100000 | #Constraints: 49475
1603.76/1613.87 c #Conflicts: 1101000 | #Constraints: 50475
1603.76/1613.87 c #Conflicts: 1102000 | #Constraints: 51475
1603.76/1613.87 c #Conflicts: 1103000 | #Constraints: 52475
1603.76/1613.87 c #Conflicts: 1104000 | #Constraints: 53475
1603.76/1613.87 c INPROCESSING
1603.76/1613.87 c GARBAGE COLLECT
1603.76/1613.87 c rational objective 99
1631.15/1641.39 c #Conflicts: 1105000 | #Constraints: 33688
1631.15/1641.39 c #Conflicts: 1106000 | #Constraints: 34688
1631.15/1641.39 c #Conflicts: 1107000 | #Constraints: 35688
1631.15/1641.39 c #Conflicts: 1108000 | #Constraints: 36688
1631.15/1641.39 c #Conflicts: 1109000 | #Constraints: 37688
1631.15/1641.39 c #Conflicts: 1110000 | #Constraints: 38688
1631.15/1641.39 c #Conflicts: 1111000 | #Constraints: 39688
1631.15/1641.39 c #Conflicts: 1112000 | #Constraints: 40688
1631.15/1641.39 c #Conflicts: 1113000 | #Constraints: 41688
1631.15/1641.39 c #Conflicts: 1114000 | #Constraints: 42688
1631.15/1641.39 c #Conflicts: 1115000 | #Constraints: 43688
1631.15/1641.39 c #Conflicts: 1116000 | #Constraints: 44688
1631.15/1641.39 c #Conflicts: 1117000 | #Constraints: 45688
1631.15/1641.39 c #Conflicts: 1118000 | #Constraints: 46688
1631.15/1641.39 c #Conflicts: 1119000 | #Constraints: 47688
1631.15/1641.39 c #Conflicts: 1120000 | #Constraints: 48688
1631.15/1641.39 c #Conflicts: 1121000 | #Constraints: 49688
1631.15/1641.39 c #Conflicts: 1122000 | #Constraints: 50688
1631.15/1641.39 c #Conflicts: 1123000 | #Constraints: 51688
1631.15/1641.39 c #Conflicts: 1124000 | #Constraints: 52688
1631.15/1641.39 c #Conflicts: 1125000 | #Constraints: 53688
1631.15/1641.39 c INPROCESSING
1631.15/1641.39 c GARBAGE COLLECT
1631.15/1641.39 c rational objective 99
1661.36/1671.68 c #Conflicts: 1126000 | #Constraints: 33697
1661.36/1671.68 c #Conflicts: 1127000 | #Constraints: 34697
1661.36/1671.68 c #Conflicts: 1128000 | #Constraints: 35697
1661.36/1671.68 c #Conflicts: 1129000 | #Constraints: 36697
1661.36/1671.68 c #Conflicts: 1130000 | #Constraints: 37697
1661.36/1671.68 c #Conflicts: 1131000 | #Constraints: 38697
1661.36/1671.68 c #Conflicts: 1132000 | #Constraints: 39697
1661.36/1671.68 c #Conflicts: 1133000 | #Constraints: 40697
1661.36/1671.68 c #Conflicts: 1134000 | #Constraints: 41697
1661.36/1671.68 c #Conflicts: 1135000 | #Constraints: 42697
1661.36/1671.68 c #Conflicts: 1136000 | #Constraints: 43698
1661.36/1671.68 c #Conflicts: 1137000 | #Constraints: 44698
1661.36/1671.68 c #Conflicts: 1138000 | #Constraints: 45698
1661.36/1671.68 c #Conflicts: 1139000 | #Constraints: 46698
1661.36/1671.68 c #Conflicts: 1140000 | #Constraints: 47699
1661.36/1671.68 c #Conflicts: 1141000 | #Constraints: 48699
1661.36/1671.68 c #Conflicts: 1142000 | #Constraints: 49699
1661.36/1671.68 c #Conflicts: 1143000 | #Constraints: 50699
1661.36/1671.68 c #Conflicts: 1144000 | #Constraints: 51699
1661.36/1671.68 c #Conflicts: 1145000 | #Constraints: 52699
1661.36/1671.68 c #Conflicts: 1146000 | #Constraints: 53699
1661.36/1671.68 c INPROCESSING
1661.36/1671.68 c GARBAGE COLLECT
1661.36/1671.68 c rational objective 99
1688.80/1699.28 c #Conflicts: 1147000 | #Constraints: 33526
1688.80/1699.28 c #Conflicts: 1148000 | #Constraints: 34526
1688.80/1699.28 c #Conflicts: 1149000 | #Constraints: 35526
1688.80/1699.28 c #Conflicts: 1150000 | #Constraints: 36526
1688.80/1699.28 c #Conflicts: 1151000 | #Constraints: 37526
1688.80/1699.28 c #Conflicts: 1152000 | #Constraints: 38526
1688.80/1699.28 c #Conflicts: 1153000 | #Constraints: 39526
1688.80/1699.28 c #Conflicts: 1154000 | #Constraints: 40526
1688.80/1699.28 c #Conflicts: 1155000 | #Constraints: 41526
1688.80/1699.28 c #Conflicts: 1156000 | #Constraints: 42526
1688.80/1699.28 c #Conflicts: 1157000 | #Constraints: 43526
1688.80/1699.28 c #Conflicts: 1158000 | #Constraints: 44526
1688.80/1699.28 c #Conflicts: 1159000 | #Constraints: 45526
1688.80/1699.28 c #Conflicts: 1160000 | #Constraints: 46526
1688.80/1699.28 c #Conflicts: 1161000 | #Constraints: 47526
1688.80/1699.28 c #Conflicts: 1162000 | #Constraints: 48526
1688.80/1699.28 c #Conflicts: 1163000 | #Constraints: 49526
1688.80/1699.28 c #Conflicts: 1164000 | #Constraints: 50526
1688.80/1699.28 c #Conflicts: 1165000 | #Constraints: 51526
1688.80/1699.28 c #Conflicts: 1166000 | #Constraints: 52526
1688.80/1699.28 c #Conflicts: 1167000 | #Constraints: 53526
1688.80/1699.28 c #Conflicts: 1168000 | #Constraints: 54526
1688.80/1699.28 c INPROCESSING
1688.80/1699.28 c GARBAGE COLLECT
1688.80/1699.28 c rational objective 99
1718.75/1729.48 c #Conflicts: 1169000 | #Constraints: 34112
1718.75/1729.48 c #Conflicts: 1170000 | #Constraints: 35112
1718.75/1729.48 c #Conflicts: 1171000 | #Constraints: 36112
1718.75/1729.48 c #Conflicts: 1172000 | #Constraints: 37112
1718.75/1729.48 c #Conflicts: 1173000 | #Constraints: 38112
1718.75/1729.48 c #Conflicts: 1174000 | #Constraints: 39112
1718.75/1729.48 c #Conflicts: 1175000 | #Constraints: 40112
1718.75/1729.48 c #Conflicts: 1176000 | #Constraints: 41112
1718.75/1729.48 c #Conflicts: 1177000 | #Constraints: 42112
1718.75/1729.48 c #Conflicts: 1178000 | #Constraints: 43113
1718.75/1729.48 c #Conflicts: 1179000 | #Constraints: 44113
1718.75/1729.48 c #Conflicts: 1180000 | #Constraints: 45113
1718.75/1729.48 c #Conflicts: 1181000 | #Constraints: 46113
1718.75/1729.48 c #Conflicts: 1182000 | #Constraints: 47113
1718.75/1729.48 c #Conflicts: 1183000 | #Constraints: 48113
1718.75/1729.48 c #Conflicts: 1184000 | #Constraints: 49113
1718.75/1729.48 c #Conflicts: 1185000 | #Constraints: 50113
1718.75/1729.48 c #Conflicts: 1186000 | #Constraints: 51113
1718.75/1729.48 c #Conflicts: 1187000 | #Constraints: 52113
1718.75/1729.48 c #Conflicts: 1188000 | #Constraints: 53113
1718.75/1729.48 c #Conflicts: 1189000 | #Constraints: 54113
1718.75/1729.48 c #Conflicts: 1190000 | #Constraints: 55113
1718.75/1729.48 c INPROCESSING
1718.75/1729.48 c GARBAGE COLLECT
1718.75/1729.48 c rational objective 99
1748.54/1759.46 c #Conflicts: 1191000 | #Constraints: 34510
1748.54/1759.46 c #Conflicts: 1192000 | #Constraints: 35510
1748.54/1759.46 c #Conflicts: 1193000 | #Constraints: 36510
1748.54/1759.46 c #Conflicts: 1194000 | #Constraints: 37510
1748.54/1759.46 c #Conflicts: 1195000 | #Constraints: 38510
1748.54/1759.46 c #Conflicts: 1196000 | #Constraints: 39510
1748.54/1759.46 c #Conflicts: 1197000 | #Constraints: 40510
1748.54/1759.46 c #Conflicts: 1198000 | #Constraints: 41510
1748.54/1759.46 c #Conflicts: 1199000 | #Constraints: 42510
1748.54/1759.46 c #Conflicts: 1200000 | #Constraints: 43510
1748.54/1759.46 c #Conflicts: 1201000 | #Constraints: 44510
1748.54/1759.46 c #Conflicts: 1202000 | #Constraints: 45510
1748.54/1759.46 c #Conflicts: 1203000 | #Constraints: 46510
1748.54/1759.46 c #Conflicts: 1204000 | #Constraints: 47510
1748.54/1759.46 c #Conflicts: 1205000 | #Constraints: 48510
1748.54/1759.46 c #Conflicts: 1206000 | #Constraints: 49510
1748.54/1759.46 c #Conflicts: 1207000 | #Constraints: 50510
1748.54/1759.46 c #Conflicts: 1208000 | #Constraints: 51510
1748.54/1759.46 c #Conflicts: 1209000 | #Constraints: 52510
1748.54/1759.46 c #Conflicts: 1210000 | #Constraints: 53510
1748.54/1759.46 c #Conflicts: 1211000 | #Constraints: 54510
1748.54/1759.46 c #Conflicts: 1212000 | #Constraints: 55510
1748.54/1759.46 c INPROCESSING
1748.54/1759.46 c GARBAGE COLLECT
1748.54/1759.46 c rational objective 99
1781.84/1792.88 c #Conflicts: 1213000 | #Constraints: 34741
1781.84/1792.88 c #Conflicts: 1214000 | #Constraints: 35741
1781.84/1792.88 c #Conflicts: 1215000 | #Constraints: 36741
1781.84/1792.88 c #Conflicts: 1216000 | #Constraints: 37741
1781.84/1792.88 c #Conflicts: 1217000 | #Constraints: 38741
1781.84/1792.88 c #Conflicts: 1218000 | #Constraints: 39741
1781.84/1792.88 c #Conflicts: 1219000 | #Constraints: 40741
1781.84/1792.88 c #Conflicts: 1220000 | #Constraints: 41741
1781.84/1792.88 c #Conflicts: 1221000 | #Constraints: 42741
1781.84/1792.88 c #Conflicts: 1222000 | #Constraints: 43741
1781.84/1792.88 c #Conflicts: 1223000 | #Constraints: 44741
1781.84/1792.88 c #Conflicts: 1224000 | #Constraints: 45741
1781.84/1792.88 c #Conflicts: 1225000 | #Constraints: 46741
1781.84/1792.88 c #Conflicts: 1226000 | #Constraints: 47741
1781.84/1792.88 c #Conflicts: 1227000 | #Constraints: 48741
1781.84/1792.88 c #Conflicts: 1228000 | #Constraints: 49741
1781.84/1792.88 c #Conflicts: 1229000 | #Constraints: 50741
1781.84/1792.88 c #Conflicts: 1230000 | #Constraints: 51741
1781.84/1792.88 c #Conflicts: 1231000 | #Constraints: 52741
1781.84/1792.88 c #Conflicts: 1232000 | #Constraints: 53741
1781.84/1792.88 c #Conflicts: 1233000 | #Constraints: 54741
1781.84/1792.88 c #Conflicts: 1234000 | #Constraints: 55741
1781.84/1792.88 c INPROCESSING
1781.84/1792.88 c GARBAGE COLLECT
1781.84/1792.88 c rational objective 99
1808.16/1819.26 c #Conflicts: 1235000 | #Constraints: 34758
1808.16/1819.26 c #Conflicts: 1236000 | #Constraints: 35758
1808.16/1819.26 c #Conflicts: 1237000 | #Constraints: 36758
1808.16/1819.26 c #Conflicts: 1238000 | #Constraints: 37758
1808.16/1819.26 c #Conflicts: 1239000 | #Constraints: 38758
1808.16/1819.26 c #Conflicts: 1240000 | #Constraints: 39758
1808.16/1819.26 c #Conflicts: 1241000 | #Constraints: 40758
1808.16/1819.26 c #Conflicts: 1242000 | #Constraints: 41758
1808.16/1819.26 c #Conflicts: 1243000 | #Constraints: 42758
1808.16/1819.26 c #Conflicts: 1244000 | #Constraints: 43758
1808.16/1819.26 c #Conflicts: 1245000 | #Constraints: 44758
1808.16/1819.26 c #Conflicts: 1246000 | #Constraints: 45758
1808.16/1819.26 c #Conflicts: 1247000 | #Constraints: 46758
1808.16/1819.26 c #Conflicts: 1248000 | #Constraints: 47758
1808.16/1819.26 c #Conflicts: 1249000 | #Constraints: 48758
1808.16/1819.26 c #Conflicts: 1250000 | #Constraints: 49758
1808.16/1819.26 c #Conflicts: 1251000 | #Constraints: 50758
1808.16/1819.26 c #Conflicts: 1252000 | #Constraints: 51758
1808.16/1819.26 c #Conflicts: 1253000 | #Constraints: 52758
1808.16/1819.26 c #Conflicts: 1254000 | #Constraints: 53758
1808.16/1819.26 c #Conflicts: 1255000 | #Constraints: 54758
1808.16/1819.26 c #Conflicts: 1256000 | #Constraints: 55758
1808.16/1819.26 c INPROCESSING
1808.16/1819.26 c GARBAGE COLLECT
1808.16/1819.26 c rational objective 99
1841.11/1852.46 c #Conflicts: 1257000 | #Constraints: 34528
1841.11/1852.46 c #Conflicts: 1258000 | #Constraints: 35528
1841.11/1852.46 c #Conflicts: 1259000 | #Constraints: 36528
1841.11/1852.46 c #Conflicts: 1260000 | #Constraints: 37528
1841.11/1852.46 c #Conflicts: 1261000 | #Constraints: 38528
1841.11/1852.46 c #Conflicts: 1262000 | #Constraints: 39528
1841.11/1852.46 c #Conflicts: 1263000 | #Constraints: 40528
1841.11/1852.46 c #Conflicts: 1264000 | #Constraints: 41528
1841.11/1852.46 c #Conflicts: 1265000 | #Constraints: 42528
1841.11/1852.46 c #Conflicts: 1266000 | #Constraints: 43528
1841.11/1852.46 c #Conflicts: 1267000 | #Constraints: 44528
1841.11/1852.46 c #Conflicts: 1268000 | #Constraints: 45528
1841.11/1852.46 c #Conflicts: 1269000 | #Constraints: 46529
1841.11/1852.46 c #Conflicts: 1270000 | #Constraints: 47529
1841.11/1852.46 c #Conflicts: 1271000 | #Constraints: 48529
1841.11/1852.46 c #Conflicts: 1272000 | #Constraints: 49529
1841.11/1852.46 c #Conflicts: 1273000 | #Constraints: 50529
1841.11/1852.46 c #Conflicts: 1274000 | #Constraints: 51529
1841.11/1852.46 c #Conflicts: 1275000 | #Constraints: 52529
1841.11/1852.46 c #Conflicts: 1276000 | #Constraints: 53529
1841.11/1852.46 c #Conflicts: 1277000 | #Constraints: 54529
1841.11/1852.46 c #Conflicts: 1278000 | #Constraints: 55529
1841.11/1852.46 c #Conflicts: 1279000 | #Constraints: 56529
1841.11/1852.46 c INPROCESSING
1841.11/1852.46 c GARBAGE COLLECT
1841.11/1852.46 c rational objective 99
1870.02/1881.76 c #Conflicts: 1280000 | #Constraints: 35127
1870.02/1881.76 c #Conflicts: 1281000 | #Constraints: 36127
1870.02/1881.76 c #Conflicts: 1282000 | #Constraints: 37127
1870.02/1881.76 c #Conflicts: 1283000 | #Constraints: 38127
1870.02/1881.76 c #Conflicts: 1284000 | #Constraints: 39127
1870.02/1881.76 c #Conflicts: 1285000 | #Constraints: 40127
1870.02/1881.76 c #Conflicts: 1286000 | #Constraints: 41127
1870.02/1881.76 c #Conflicts: 1287000 | #Constraints: 42127
1870.02/1881.76 c #Conflicts: 1288000 | #Constraints: 43127
1870.02/1881.76 c #Conflicts: 1289000 | #Constraints: 44127
1870.02/1881.76 c #Conflicts: 1290000 | #Constraints: 45127
1870.02/1881.76 c #Conflicts: 1291000 | #Constraints: 46127
1870.02/1881.76 c #Conflicts: 1292000 | #Constraints: 47127
1870.02/1881.76 c #Conflicts: 1293000 | #Constraints: 48127
1870.02/1881.76 c #Conflicts: 1294000 | #Constraints: 49127
1870.02/1881.76 c #Conflicts: 1295000 | #Constraints: 50127
1870.02/1881.76 c #Conflicts: 1296000 | #Constraints: 51127
1870.02/1881.76 c #Conflicts: 1297000 | #Constraints: 52127
1870.02/1881.76 c #Conflicts: 1298000 | #Constraints: 53127
1870.02/1881.76 c #Conflicts: 1299000 | #Constraints: 54127
1870.02/1881.76 c #Conflicts: 1300000 | #Constraints: 55127
1870.02/1881.76 c #Conflicts: 1301000 | #Constraints: 56127
1870.02/1881.76 c #Conflicts: 1302000 | #Constraints: 57127
1870.02/1881.76 c INPROCESSING
1870.02/1881.76 c GARBAGE COLLECT
1870.02/1881.76 c rational objective 99
1902.42/1914.22 c #Conflicts: 1303000 | #Constraints: 35541
1902.42/1914.22 c #Conflicts: 1304000 | #Constraints: 36541
1902.42/1914.22 c #Conflicts: 1305000 | #Constraints: 37541
1902.42/1914.22 c #Conflicts: 1306000 | #Constraints: 38541
1902.42/1914.22 c #Conflicts: 1307000 | #Constraints: 39541
1902.42/1914.22 c #Conflicts: 1308000 | #Constraints: 40541
1902.42/1914.22 c #Conflicts: 1309000 | #Constraints: 41541
1902.42/1914.22 c #Conflicts: 1310000 | #Constraints: 42541
1902.42/1914.22 c #Conflicts: 1311000 | #Constraints: 43541
1902.42/1914.22 c #Conflicts: 1312000 | #Constraints: 44541
1902.42/1914.22 c #Conflicts: 1313000 | #Constraints: 45541
1902.42/1914.22 c #Conflicts: 1314000 | #Constraints: 46541
1902.42/1914.22 c #Conflicts: 1315000 | #Constraints: 47541
1902.42/1914.22 c #Conflicts: 1316000 | #Constraints: 48541
1902.42/1914.22 c #Conflicts: 1317000 | #Constraints: 49541
1902.42/1914.22 c #Conflicts: 1318000 | #Constraints: 50541
1902.42/1914.22 c #Conflicts: 1319000 | #Constraints: 51541
1902.42/1914.22 c #Conflicts: 1320000 | #Constraints: 52541
1902.42/1914.22 c #Conflicts: 1321000 | #Constraints: 53541
1902.42/1914.22 c #Conflicts: 1322000 | #Constraints: 54541
1902.42/1914.22 c #Conflicts: 1323000 | #Constraints: 55541
1902.42/1914.22 c #Conflicts: 1324000 | #Constraints: 56541
1902.42/1914.22 c #Conflicts: 1325000 | #Constraints: 57541
1902.42/1914.22 c INPROCESSING
1902.42/1914.22 c GARBAGE COLLECT
1902.42/1914.22 c rational objective 99
1932.42/1944.31 c #Conflicts: 1326000 | #Constraints: 35735
1932.42/1944.31 c #Conflicts: 1327000 | #Constraints: 36735
1932.42/1944.31 c #Conflicts: 1328000 | #Constraints: 37735
1932.42/1944.31 c #Conflicts: 1329000 | #Constraints: 38735
1932.42/1944.31 c #Conflicts: 1330000 | #Constraints: 39735
1932.42/1944.31 c #Conflicts: 1331000 | #Constraints: 40735
1932.42/1944.31 c #Conflicts: 1332000 | #Constraints: 41735
1932.42/1944.31 c #Conflicts: 1333000 | #Constraints: 42735
1932.42/1944.31 c #Conflicts: 1334000 | #Constraints: 43735
1932.42/1944.31 c #Conflicts: 1335000 | #Constraints: 44735
1932.42/1944.31 c #Conflicts: 1336000 | #Constraints: 45735
1932.42/1944.31 c #Conflicts: 1337000 | #Constraints: 46735
1932.42/1944.31 c #Conflicts: 1338000 | #Constraints: 47735
1932.42/1944.31 c #Conflicts: 1339000 | #Constraints: 48735
1932.42/1944.31 c #Conflicts: 1340000 | #Constraints: 49735
1932.42/1944.31 c #Conflicts: 1341000 | #Constraints: 50735
1932.42/1944.31 c #Conflicts: 1342000 | #Constraints: 51735
1932.42/1944.31 c #Conflicts: 1343000 | #Constraints: 52735
1932.42/1944.31 c #Conflicts: 1344000 | #Constraints: 53735
1932.42/1944.31 c #Conflicts: 1345000 | #Constraints: 54735
1932.42/1944.31 c #Conflicts: 1346000 | #Constraints: 55735
1932.42/1944.31 c #Conflicts: 1347000 | #Constraints: 56735
1932.42/1944.31 c #Conflicts: 1348000 | #Constraints: 57735
1932.42/1944.31 c INPROCESSING
1932.42/1944.31 c GARBAGE COLLECT
1932.42/1944.31 c rational objective 99
1967.72/1979.72 c #Conflicts: 1349000 | #Constraints: 35758
1967.72/1979.72 c #Conflicts: 1350000 | #Constraints: 36758
1967.72/1979.72 c #Conflicts: 1351000 | #Constraints: 37758
1967.72/1979.72 c #Conflicts: 1352000 | #Constraints: 38758
1967.72/1979.72 c #Conflicts: 1353000 | #Constraints: 39758
1967.72/1979.72 c #Conflicts: 1354000 | #Constraints: 40758
1967.72/1979.72 c #Conflicts: 1355000 | #Constraints: 41758
1967.72/1979.72 c #Conflicts: 1356000 | #Constraints: 42758
1967.72/1979.72 c #Conflicts: 1357000 | #Constraints: 43758
1967.72/1979.72 c #Conflicts: 1358000 | #Constraints: 44758
1967.72/1979.72 c #Conflicts: 1359000 | #Constraints: 45758
1967.72/1979.72 c #Conflicts: 1360000 | #Constraints: 46758
1967.72/1979.72 c #Conflicts: 1361000 | #Constraints: 47758
1967.72/1979.72 c #Conflicts: 1362000 | #Constraints: 48758
1967.72/1979.72 c #Conflicts: 1363000 | #Constraints: 49759
1967.72/1979.72 c #Conflicts: 1364000 | #Constraints: 50759
1967.72/1979.72 c #Conflicts: 1365000 | #Constraints: 51759
1967.72/1979.72 c #Conflicts: 1366000 | #Constraints: 52759
1967.72/1979.72 c #Conflicts: 1367000 | #Constraints: 53759
1967.72/1979.72 c #Conflicts: 1368000 | #Constraints: 54759
1967.72/1979.72 c #Conflicts: 1369000 | #Constraints: 55759
1967.72/1979.72 c #Conflicts: 1370000 | #Constraints: 56759
1967.72/1979.72 c #Conflicts: 1371000 | #Constraints: 57759
1967.72/1979.72 c INPROCESSING
1967.72/1979.72 c GARBAGE COLLECT
1967.72/1979.72 c rational objective 99
1996.26/2008.49 c #Conflicts: 1372000 | #Constraints: 35572
1996.26/2008.49 c #Conflicts: 1373000 | #Constraints: 36572
1996.26/2008.49 c #Conflicts: 1374000 | #Constraints: 37572
1996.26/2008.49 c #Conflicts: 1375000 | #Constraints: 38572
1996.26/2008.49 c #Conflicts: 1376000 | #Constraints: 39572
1996.26/2008.49 c #Conflicts: 1377000 | #Constraints: 40572
1996.26/2008.49 c #Conflicts: 1378000 | #Constraints: 41572
1996.26/2008.49 c #Conflicts: 1379000 | #Constraints: 42573
1996.26/2008.49 c #Conflicts: 1380000 | #Constraints: 43573
1996.26/2008.49 c #Conflicts: 1381000 | #Constraints: 44573
1996.26/2008.49 c #Conflicts: 1382000 | #Constraints: 45573
1996.26/2008.49 c #Conflicts: 1383000 | #Constraints: 46573
1996.26/2008.49 c #Conflicts: 1384000 | #Constraints: 47573
1996.26/2008.49 c #Conflicts: 1385000 | #Constraints: 48573
1996.26/2008.49 c #Conflicts: 1386000 | #Constraints: 49573
1996.26/2008.49 c #Conflicts: 1387000 | #Constraints: 50573
1996.26/2008.49 c #Conflicts: 1388000 | #Constraints: 51573
1996.26/2008.49 c #Conflicts: 1389000 | #Constraints: 52573
1996.26/2008.49 c #Conflicts: 1390000 | #Constraints: 53573
1996.26/2008.49 c #Conflicts: 1391000 | #Constraints: 54573
1996.26/2008.49 c #Conflicts: 1392000 | #Constraints: 55573
1996.26/2008.49 c #Conflicts: 1393000 | #Constraints: 56573
1996.26/2008.49 c #Conflicts: 1394000 | #Constraints: 57573
1996.26/2008.49 c #Conflicts: 1395000 | #Constraints: 58573
1996.26/2008.49 c INPROCESSING
1996.26/2008.49 c GARBAGE COLLECT
1996.26/2008.49 c rational objective 99
2028.35/2040.66 c #Conflicts: 1396000 | #Constraints: 36157
2028.35/2040.66 c #Conflicts: 1397000 | #Constraints: 37157
2028.35/2040.66 c #Conflicts: 1398000 | #Constraints: 38157
2028.35/2040.66 c #Conflicts: 1399000 | #Constraints: 39157
2028.35/2040.66 c #Conflicts: 1400000 | #Constraints: 40157
2028.35/2040.66 c #Conflicts: 1401000 | #Constraints: 41157
2028.35/2040.66 c #Conflicts: 1402000 | #Constraints: 42158
2028.35/2040.66 c #Conflicts: 1403000 | #Constraints: 43158
2028.35/2040.66 c #Conflicts: 1404000 | #Constraints: 44158
2028.35/2040.66 c #Conflicts: 1405000 | #Constraints: 45158
2028.35/2040.66 c #Conflicts: 1406000 | #Constraints: 46158
2028.35/2040.66 c #Conflicts: 1407000 | #Constraints: 47158
2028.35/2040.66 c #Conflicts: 1408000 | #Constraints: 48158
2028.35/2040.66 c #Conflicts: 1409000 | #Constraints: 49158
2028.35/2040.66 c #Conflicts: 1410000 | #Constraints: 50158
2028.35/2040.66 c #Conflicts: 1411000 | #Constraints: 51158
2028.35/2040.66 c #Conflicts: 1412000 | #Constraints: 52158
2028.35/2040.66 c #Conflicts: 1413000 | #Constraints: 53158
2028.35/2040.66 c #Conflicts: 1414000 | #Constraints: 54158
2028.35/2040.66 c #Conflicts: 1415000 | #Constraints: 55158
2028.35/2040.66 c #Conflicts: 1416000 | #Constraints: 56158
2028.35/2040.66 c #Conflicts: 1417000 | #Constraints: 57158
2028.35/2040.66 c #Conflicts: 1418000 | #Constraints: 58158
2028.35/2040.66 c #Conflicts: 1419000 | #Constraints: 59158
2028.35/2040.66 c INPROCESSING
2028.35/2040.66 c GARBAGE COLLECT
2028.35/2040.66 c rational objective 99
2060.77/2073.37 c #Conflicts: 1420000 | #Constraints: 36563
2060.77/2073.37 c #Conflicts: 1421000 | #Constraints: 37563
2060.77/2073.37 c #Conflicts: 1422000 | #Constraints: 38563
2060.77/2073.37 c #Conflicts: 1423000 | #Constraints: 39563
2060.77/2073.37 c #Conflicts: 1424000 | #Constraints: 40563
2060.77/2073.37 c #Conflicts: 1425000 | #Constraints: 41563
2060.77/2073.37 c #Conflicts: 1426000 | #Constraints: 42563
2060.77/2073.37 c #Conflicts: 1427000 | #Constraints: 43563
2060.77/2073.37 c #Conflicts: 1428000 | #Constraints: 44563
2060.77/2073.37 c #Conflicts: 1429000 | #Constraints: 45563
2060.77/2073.37 c #Conflicts: 1430000 | #Constraints: 46563
2060.77/2073.37 c #Conflicts: 1431000 | #Constraints: 47563
2060.77/2073.37 c #Conflicts: 1432000 | #Constraints: 48563
2060.77/2073.37 c #Conflicts: 1433000 | #Constraints: 49563
2060.77/2073.37 c #Conflicts: 1434000 | #Constraints: 50563
2060.77/2073.37 c #Conflicts: 1435000 | #Constraints: 51563
2060.77/2073.37 c #Conflicts: 1436000 | #Constraints: 52563
2060.77/2073.37 c #Conflicts: 1437000 | #Constraints: 53563
2060.77/2073.37 c #Conflicts: 1438000 | #Constraints: 54563
2060.77/2073.37 c #Conflicts: 1439000 | #Constraints: 55563
2060.77/2073.37 c #Conflicts: 1440000 | #Constraints: 56563
2060.77/2073.37 c #Conflicts: 1441000 | #Constraints: 57563
2060.77/2073.37 c #Conflicts: 1442000 | #Constraints: 58563
2060.77/2073.37 c #Conflicts: 1443000 | #Constraints: 59563
2060.77/2073.37 c INPROCESSING
2060.77/2073.37 c GARBAGE COLLECT
2060.77/2073.37 c rational objective 99
2097.32/2110.09 c #Conflicts: 1444000 | #Constraints: 36748
2097.32/2110.09 c #Conflicts: 1445000 | #Constraints: 37748
2097.32/2110.09 c #Conflicts: 1446000 | #Constraints: 38748
2097.32/2110.09 c #Conflicts: 1447000 | #Constraints: 39748
2097.32/2110.09 c #Conflicts: 1448000 | #Constraints: 40748
2097.32/2110.09 c #Conflicts: 1449000 | #Constraints: 41748
2097.32/2110.09 c #Conflicts: 1450000 | #Constraints: 42748
2097.32/2110.09 c #Conflicts: 1451000 | #Constraints: 43748
2097.32/2110.09 c #Conflicts: 1452000 | #Constraints: 44748
2097.32/2110.09 c #Conflicts: 1453000 | #Constraints: 45748
2097.32/2110.09 c #Conflicts: 1454000 | #Constraints: 46748
2097.32/2110.09 c #Conflicts: 1455000 | #Constraints: 47748
2097.32/2110.09 c #Conflicts: 1456000 | #Constraints: 48748
2097.32/2110.09 c #Conflicts: 1457000 | #Constraints: 49748
2097.32/2110.09 c #Conflicts: 1458000 | #Constraints: 50748
2097.32/2110.09 c #Conflicts: 1459000 | #Constraints: 51748
2097.32/2110.09 c #Conflicts: 1460000 | #Constraints: 52748
2097.32/2110.09 c #Conflicts: 1461000 | #Constraints: 53748
2097.32/2110.09 c #Conflicts: 1462000 | #Constraints: 54748
2097.32/2110.09 c #Conflicts: 1463000 | #Constraints: 55748
2097.32/2110.09 c #Conflicts: 1464000 | #Constraints: 56748
2097.32/2110.09 c #Conflicts: 1465000 | #Constraints: 57748
2097.32/2110.09 c #Conflicts: 1466000 | #Constraints: 58748
2097.32/2110.09 c #Conflicts: 1467000 | #Constraints: 59748
2097.32/2110.09 c INPROCESSING
2097.32/2110.09 c GARBAGE COLLECT
2097.32/2110.09 c rational objective 99
2130.80/2143.64 c #Conflicts: 1468000 | #Constraints: 36734
2130.80/2143.64 c #Conflicts: 1469000 | #Constraints: 37734
2130.80/2143.64 c #Conflicts: 1470000 | #Constraints: 38734
2130.80/2143.64 c #Conflicts: 1471000 | #Constraints: 39734
2130.80/2143.64 c #Conflicts: 1472000 | #Constraints: 40734
2130.80/2143.64 c #Conflicts: 1473000 | #Constraints: 41734
2130.80/2143.64 c #Conflicts: 1474000 | #Constraints: 42734
2130.80/2143.64 c #Conflicts: 1475000 | #Constraints: 43734
2130.80/2143.64 c #Conflicts: 1476000 | #Constraints: 44734
2130.80/2143.64 c #Conflicts: 1477000 | #Constraints: 45734
2130.80/2143.64 c #Conflicts: 1478000 | #Constraints: 46734
2130.80/2143.64 c #Conflicts: 1479000 | #Constraints: 47734
2130.80/2143.64 c #Conflicts: 1480000 | #Constraints: 48734
2130.80/2143.64 c #Conflicts: 1481000 | #Constraints: 49734
2130.80/2143.64 c #Conflicts: 1482000 | #Constraints: 50734
2130.80/2143.64 c #Conflicts: 1483000 | #Constraints: 51734
2130.80/2143.64 c #Conflicts: 1484000 | #Constraints: 52734
2130.80/2143.64 c #Conflicts: 1485000 | #Constraints: 53734
2130.80/2143.64 c #Conflicts: 1486000 | #Constraints: 54734
2130.80/2143.64 c #Conflicts: 1487000 | #Constraints: 55734
2130.80/2143.64 c #Conflicts: 1488000 | #Constraints: 56734
2130.80/2143.64 c #Conflicts: 1489000 | #Constraints: 57734
2130.80/2143.64 c #Conflicts: 1490000 | #Constraints: 58734
2130.80/2143.64 c #Conflicts: 1491000 | #Constraints: 59734
2130.80/2143.64 c INPROCESSING
2130.80/2143.64 c GARBAGE COLLECT
2130.80/2143.64 c rational objective 99
2162.30/2175.22 c #Conflicts: 1492000 | #Constraints: 36528
2162.30/2175.22 c #Conflicts: 1493000 | #Constraints: 37528
2162.30/2175.22 c #Conflicts: 1494000 | #Constraints: 38528
2162.30/2175.22 c #Conflicts: 1495000 | #Constraints: 39528
2162.30/2175.22 c #Conflicts: 1496000 | #Constraints: 40528
2162.30/2175.22 c #Conflicts: 1497000 | #Constraints: 41528
2162.30/2175.22 c #Conflicts: 1498000 | #Constraints: 42529
2162.30/2175.22 c #Conflicts: 1499000 | #Constraints: 43529
2162.30/2175.22 c #Conflicts: 1500000 | #Constraints: 44529
2162.30/2175.22 c #Conflicts: 1501000 | #Constraints: 45529
2162.30/2175.22 c #Conflicts: 1502000 | #Constraints: 46529
2162.30/2175.22 c #Conflicts: 1503000 | #Constraints: 47529
2162.30/2175.22 c #Conflicts: 1504000 | #Constraints: 48529
2162.30/2175.22 c #Conflicts: 1505000 | #Constraints: 49529
2162.30/2175.22 c #Conflicts: 1506000 | #Constraints: 50529
2162.30/2175.22 c #Conflicts: 1507000 | #Constraints: 51529
2162.30/2175.22 c #Conflicts: 1508000 | #Constraints: 52529
2162.30/2175.22 c #Conflicts: 1509000 | #Constraints: 53529
2162.30/2175.22 c #Conflicts: 1510000 | #Constraints: 54529
2162.30/2175.22 c #Conflicts: 1511000 | #Constraints: 55529
2162.30/2175.22 c #Conflicts: 1512000 | #Constraints: 56529
2162.30/2175.22 c #Conflicts: 1513000 | #Constraints: 57529
2162.30/2175.22 c #Conflicts: 1514000 | #Constraints: 58529
2162.30/2175.22 c #Conflicts: 1515000 | #Constraints: 59529
2162.30/2175.22 c #Conflicts: 1516000 | #Constraints: 60529
2162.30/2175.22 c INPROCESSING
2162.30/2175.22 c GARBAGE COLLECT
2162.30/2175.22 c rational objective 99
2197.68/2210.74 c #Conflicts: 1517000 | #Constraints: 37131
2197.68/2210.74 c #Conflicts: 1518000 | #Constraints: 38131
2197.68/2210.74 c #Conflicts: 1519000 | #Constraints: 39131
2197.68/2210.74 c #Conflicts: 1520000 | #Constraints: 40131
2197.68/2210.74 c #Conflicts: 1521000 | #Constraints: 41131
2197.68/2210.74 c #Conflicts: 1522000 | #Constraints: 42131
2197.68/2210.74 c #Conflicts: 1523000 | #Constraints: 43131
2197.68/2210.74 c #Conflicts: 1524000 | #Constraints: 44131
2197.68/2210.74 c #Conflicts: 1525000 | #Constraints: 45131
2197.68/2210.74 c #Conflicts: 1526000 | #Constraints: 46131
2197.68/2210.74 c #Conflicts: 1527000 | #Constraints: 47131
2197.68/2210.74 c #Conflicts: 1528000 | #Constraints: 48131
2197.68/2210.74 c #Conflicts: 1529000 | #Constraints: 49131
2197.68/2210.74 c #Conflicts: 1530000 | #Constraints: 50131
2197.68/2210.74 c #Conflicts: 1531000 | #Constraints: 51131
2197.68/2210.74 c #Conflicts: 1532000 | #Constraints: 52131
2197.68/2210.74 c #Conflicts: 1533000 | #Constraints: 53131
2197.68/2210.74 c #Conflicts: 1534000 | #Constraints: 54131
2197.68/2210.74 c #Conflicts: 1535000 | #Constraints: 55131
2197.68/2210.74 c #Conflicts: 1536000 | #Constraints: 56131
2197.68/2210.74 c #Conflicts: 1537000 | #Constraints: 57131
2197.68/2210.74 c #Conflicts: 1538000 | #Constraints: 58131
2197.68/2210.74 c #Conflicts: 1539000 | #Constraints: 59131
2197.68/2210.74 c #Conflicts: 1540000 | #Constraints: 60131
2197.68/2210.74 c #Conflicts: 1541000 | #Constraints: 61131
2197.68/2210.74 c INPROCESSING
2197.68/2210.74 c GARBAGE COLLECT
2197.68/2210.74 c rational objective 99
2236.27/2249.66 c #Conflicts: 1542000 | #Constraints: 37548
2236.27/2249.66 c #Conflicts: 1543000 | #Constraints: 38548
2236.27/2249.66 c #Conflicts: 1544000 | #Constraints: 39548
2236.27/2249.66 c #Conflicts: 1545000 | #Constraints: 40548
2236.27/2249.66 c #Conflicts: 1546000 | #Constraints: 41548
2236.27/2249.66 c #Conflicts: 1547000 | #Constraints: 42548
2236.27/2249.66 c #Conflicts: 1548000 | #Constraints: 43548
2236.27/2249.66 c #Conflicts: 1549000 | #Constraints: 44548
2236.27/2249.66 c #Conflicts: 1550000 | #Constraints: 45548
2236.27/2249.66 c #Conflicts: 1551000 | #Constraints: 46548
2236.27/2249.66 c #Conflicts: 1552000 | #Constraints: 47548
2236.27/2249.66 c #Conflicts: 1553000 | #Constraints: 48548
2236.27/2249.66 c #Conflicts: 1554000 | #Constraints: 49548
2236.27/2249.66 c #Conflicts: 1555000 | #Constraints: 50548
2236.27/2249.66 c #Conflicts: 1556000 | #Constraints: 51548
2236.27/2249.66 c #Conflicts: 1557000 | #Constraints: 52548
2236.27/2249.66 c #Conflicts: 1558000 | #Constraints: 53548
2236.27/2249.66 c #Conflicts: 1559000 | #Constraints: 54548
2236.27/2249.66 c #Conflicts: 1560000 | #Constraints: 55548
2236.27/2249.66 c #Conflicts: 1561000 | #Constraints: 56548
2236.27/2249.66 c #Conflicts: 1562000 | #Constraints: 57548
2236.27/2249.66 c #Conflicts: 1563000 | #Constraints: 58548
2236.27/2249.66 c #Conflicts: 1564000 | #Constraints: 59548
2236.27/2249.66 c #Conflicts: 1565000 | #Constraints: 60548
2236.27/2249.66 c #Conflicts: 1566000 | #Constraints: 61548
2236.27/2249.66 c INPROCESSING
2236.27/2249.66 c GARBAGE COLLECT
2236.27/2249.66 c rational objective 99
2270.51/2284.09 c #Conflicts: 1567000 | #Constraints: 37762
2270.51/2284.09 c #Conflicts: 1568000 | #Constraints: 38762
2270.51/2284.09 c #Conflicts: 1569000 | #Constraints: 39762
2270.51/2284.09 c #Conflicts: 1570000 | #Constraints: 40762
2270.51/2284.09 c #Conflicts: 1571000 | #Constraints: 41762
2270.51/2284.09 c #Conflicts: 1572000 | #Constraints: 42762
2270.51/2284.09 c #Conflicts: 1573000 | #Constraints: 43762
2270.51/2284.09 c #Conflicts: 1574000 | #Constraints: 44762
2270.51/2284.09 c #Conflicts: 1575000 | #Constraints: 45762
2270.51/2284.09 c #Conflicts: 1576000 | #Constraints: 46762
2270.51/2284.09 c #Conflicts: 1577000 | #Constraints: 47762
2270.51/2284.09 c #Conflicts: 1578000 | #Constraints: 48762
2270.51/2284.09 c #Conflicts: 1579000 | #Constraints: 49762
2270.51/2284.09 c #Conflicts: 1580000 | #Constraints: 50762
2270.51/2284.09 c #Conflicts: 1581000 | #Constraints: 51762
2270.51/2284.09 c #Conflicts: 1582000 | #Constraints: 52762
2270.51/2284.09 c #Conflicts: 1583000 | #Constraints: 53762
2270.51/2284.09 c #Conflicts: 1584000 | #Constraints: 54762
2270.51/2284.09 c #Conflicts: 1585000 | #Constraints: 55762
2270.51/2284.09 c #Conflicts: 1586000 | #Constraints: 56762
2270.51/2284.09 c #Conflicts: 1587000 | #Constraints: 57762
2270.51/2284.09 c #Conflicts: 1588000 | #Constraints: 58762
2270.51/2284.09 c #Conflicts: 1589000 | #Constraints: 59762
2270.51/2284.09 c #Conflicts: 1590000 | #Constraints: 60762
2270.51/2284.09 c #Conflicts: 1591000 | #Constraints: 61762
2270.51/2284.09 c INPROCESSING
2270.51/2284.09 c GARBAGE COLLECT
2270.51/2284.09 c rational objective 99
2304.79/2318.41 c #Conflicts: 1592000 | #Constraints: 37762
2304.79/2318.41 c #Conflicts: 1593000 | #Constraints: 38762
2304.79/2318.41 c #Conflicts: 1594000 | #Constraints: 39762
2304.79/2318.41 c #Conflicts: 1595000 | #Constraints: 40762
2304.79/2318.41 c #Conflicts: 1596000 | #Constraints: 41762
2304.79/2318.41 c #Conflicts: 1597000 | #Constraints: 42762
2304.79/2318.41 c #Conflicts: 1598000 | #Constraints: 43762
2304.79/2318.41 c #Conflicts: 1599000 | #Constraints: 44762
2304.79/2318.41 c #Conflicts: 1600000 | #Constraints: 45762
2304.79/2318.41 c #Conflicts: 1601000 | #Constraints: 46762
2304.79/2318.41 c #Conflicts: 1602000 | #Constraints: 47763
2304.79/2318.41 c #Conflicts: 1603000 | #Constraints: 48763
2304.79/2318.41 c #Conflicts: 1604000 | #Constraints: 49763
2304.79/2318.41 c #Conflicts: 1605000 | #Constraints: 50763
2304.79/2318.41 c #Conflicts: 1606000 | #Constraints: 51763
2304.79/2318.41 c #Conflicts: 1607000 | #Constraints: 52763
2304.79/2318.41 c #Conflicts: 1608000 | #Constraints: 53763
2304.79/2318.41 c #Conflicts: 1609000 | #Constraints: 54763
2304.79/2318.41 c #Conflicts: 1610000 | #Constraints: 55763
2304.79/2318.41 c #Conflicts: 1611000 | #Constraints: 56763
2304.79/2318.41 c #Conflicts: 1612000 | #Constraints: 57763
2304.79/2318.41 c #Conflicts: 1613000 | #Constraints: 58763
2304.79/2318.41 c #Conflicts: 1614000 | #Constraints: 59763
2304.79/2318.41 c #Conflicts: 1615000 | #Constraints: 60763
2304.79/2318.41 c #Conflicts: 1616000 | #Constraints: 61763
2304.79/2318.41 c INPROCESSING
2304.79/2318.41 c GARBAGE COLLECT
2304.79/2318.41 c rational objective 99
2339.40/2353.24 c #Conflicts: 1617000 | #Constraints: 37555
2339.40/2353.24 c #Conflicts: 1618000 | #Constraints: 38555
2339.40/2353.24 c #Conflicts: 1619000 | #Constraints: 39555
2339.40/2353.24 c #Conflicts: 1620000 | #Constraints: 40555
2339.40/2353.24 c #Conflicts: 1621000 | #Constraints: 41555
2339.40/2353.24 c #Conflicts: 1622000 | #Constraints: 42555
2339.40/2353.24 c #Conflicts: 1623000 | #Constraints: 43555
2339.40/2353.24 c #Conflicts: 1624000 | #Constraints: 44555
2339.40/2353.24 c #Conflicts: 1625000 | #Constraints: 45555
2339.40/2353.24 c #Conflicts: 1626000 | #Constraints: 46555
2339.40/2353.24 c #Conflicts: 1627000 | #Constraints: 47555
2339.40/2353.24 c #Conflicts: 1628000 | #Constraints: 48555
2339.40/2353.24 c #Conflicts: 1629000 | #Constraints: 49555
2339.40/2353.24 c #Conflicts: 1630000 | #Constraints: 50555
2339.40/2353.24 c #Conflicts: 1631000 | #Constraints: 51555
2339.40/2353.24 c #Conflicts: 1632000 | #Constraints: 52555
2339.40/2353.24 c #Conflicts: 1633000 | #Constraints: 53555
2339.40/2353.24 c #Conflicts: 1634000 | #Constraints: 54555
2339.40/2353.24 c #Conflicts: 1635000 | #Constraints: 55555
2339.40/2353.24 c #Conflicts: 1636000 | #Constraints: 56555
2339.40/2353.24 c #Conflicts: 1637000 | #Constraints: 57555
2339.40/2353.24 c #Conflicts: 1638000 | #Constraints: 58555
2339.40/2353.24 c #Conflicts: 1639000 | #Constraints: 59555
2339.40/2353.24 c #Conflicts: 1640000 | #Constraints: 60555
2339.40/2353.24 c #Conflicts: 1641000 | #Constraints: 61555
2339.40/2353.24 c #Conflicts: 1642000 | #Constraints: 62555
2339.40/2353.24 c INPROCESSING
2339.40/2353.24 c GARBAGE COLLECT
2339.40/2353.24 c rational objective 99
2375.35/2389.47 c #Conflicts: 1643000 | #Constraints: 38174
2375.35/2389.47 c #Conflicts: 1644000 | #Constraints: 39174
2375.35/2389.47 c #Conflicts: 1645000 | #Constraints: 40174
2375.35/2389.47 c #Conflicts: 1646000 | #Constraints: 41174
2375.35/2389.47 c #Conflicts: 1647000 | #Constraints: 42174
2375.35/2389.47 c #Conflicts: 1648000 | #Constraints: 43174
2375.35/2389.47 c #Conflicts: 1649000 | #Constraints: 44174
2375.35/2389.47 c #Conflicts: 1650000 | #Constraints: 45175
2375.35/2389.47 c #Conflicts: 1651000 | #Constraints: 46175
2375.35/2389.47 c #Conflicts: 1652000 | #Constraints: 47175
2375.35/2389.47 c #Conflicts: 1653000 | #Constraints: 48175
2375.35/2389.47 c #Conflicts: 1654000 | #Constraints: 49175
2375.35/2389.47 c #Conflicts: 1655000 | #Constraints: 50175
2375.35/2389.47 c #Conflicts: 1656000 | #Constraints: 51175
2375.35/2389.47 c #Conflicts: 1657000 | #Constraints: 52175
2375.35/2389.47 c #Conflicts: 1658000 | #Constraints: 53175
2375.35/2389.47 c #Conflicts: 1659000 | #Constraints: 54175
2375.35/2389.47 c #Conflicts: 1660000 | #Constraints: 55175
2375.35/2389.47 c #Conflicts: 1661000 | #Constraints: 56175
2375.35/2389.47 c #Conflicts: 1662000 | #Constraints: 57176
2375.35/2389.47 c #Conflicts: 1663000 | #Constraints: 58176
2375.35/2389.47 c #Conflicts: 1664000 | #Constraints: 59176
2375.35/2389.47 c #Conflicts: 1665000 | #Constraints: 60176
2375.35/2389.47 c #Conflicts: 1666000 | #Constraints: 61176
2375.35/2389.47 c #Conflicts: 1667000 | #Constraints: 62176
2375.35/2389.47 c #Conflicts: 1668000 | #Constraints: 63176
2375.35/2389.47 c INPROCESSING
2375.35/2389.47 c GARBAGE COLLECT
2375.35/2389.47 c rational objective 99
2412.57/2426.88 c #Conflicts: 1669000 | #Constraints: 38544
2412.57/2426.88 c #Conflicts: 1670000 | #Constraints: 39544
2412.57/2426.88 c #Conflicts: 1671000 | #Constraints: 40544
2412.57/2426.88 c #Conflicts: 1672000 | #Constraints: 41544
2412.57/2426.88 c #Conflicts: 1673000 | #Constraints: 42544
2412.57/2426.88 c #Conflicts: 1674000 | #Constraints: 43544
2412.57/2426.88 c #Conflicts: 1675000 | #Constraints: 44544
2412.57/2426.88 c #Conflicts: 1676000 | #Constraints: 45544
2412.57/2426.88 c #Conflicts: 1677000 | #Constraints: 46544
2412.57/2426.88 c #Conflicts: 1678000 | #Constraints: 47544
2412.57/2426.88 c #Conflicts: 1679000 | #Constraints: 48544
2412.57/2426.88 c #Conflicts: 1680000 | #Constraints: 49544
2412.57/2426.88 c #Conflicts: 1681000 | #Constraints: 50544
2412.57/2426.88 c #Conflicts: 1682000 | #Constraints: 51544
2412.57/2426.88 c #Conflicts: 1683000 | #Constraints: 52544
2412.57/2426.88 c #Conflicts: 1684000 | #Constraints: 53544
2412.57/2426.88 c #Conflicts: 1685000 | #Constraints: 54544
2412.57/2426.88 c #Conflicts: 1686000 | #Constraints: 55544
2412.57/2426.88 c #Conflicts: 1687000 | #Constraints: 56544
2412.57/2426.88 c #Conflicts: 1688000 | #Constraints: 57544
2412.57/2426.88 c #Conflicts: 1689000 | #Constraints: 58544
2412.57/2426.88 c #Conflicts: 1690000 | #Constraints: 59544
2412.57/2426.88 c #Conflicts: 1691000 | #Constraints: 60544
2412.57/2426.88 c #Conflicts: 1692000 | #Constraints: 61544
2412.57/2426.88 c #Conflicts: 1693000 | #Constraints: 62544
2412.57/2426.88 c #Conflicts: 1694000 | #Constraints: 63544
2412.57/2426.88 c INPROCESSING
2412.57/2426.88 c GARBAGE COLLECT
2412.57/2426.88 c rational objective 99
2445.99/2460.48 c #Conflicts: 1695000 | #Constraints: 38720
2445.99/2460.48 c #Conflicts: 1696000 | #Constraints: 39720
2445.99/2460.48 c #Conflicts: 1697000 | #Constraints: 40720
2445.99/2460.48 c #Conflicts: 1698000 | #Constraints: 41720
2445.99/2460.48 c #Conflicts: 1699000 | #Constraints: 42720
2445.99/2460.48 c #Conflicts: 1700000 | #Constraints: 43720
2445.99/2460.48 c #Conflicts: 1701000 | #Constraints: 44720
2445.99/2460.48 c #Conflicts: 1702000 | #Constraints: 45720
2445.99/2460.48 c #Conflicts: 1703000 | #Constraints: 46720
2445.99/2460.48 c #Conflicts: 1704000 | #Constraints: 47720
2445.99/2460.48 c #Conflicts: 1705000 | #Constraints: 48720
2445.99/2460.48 c #Conflicts: 1706000 | #Constraints: 49720
2445.99/2460.48 c #Conflicts: 1707000 | #Constraints: 50720
2445.99/2460.48 c #Conflicts: 1708000 | #Constraints: 51720
2445.99/2460.48 c #Conflicts: 1709000 | #Constraints: 52720
2445.99/2460.48 c #Conflicts: 1710000 | #Constraints: 53720
2445.99/2460.48 c #Conflicts: 1711000 | #Constraints: 54720
2445.99/2460.48 c #Conflicts: 1712000 | #Constraints: 55720
2445.99/2460.48 c #Conflicts: 1713000 | #Constraints: 56720
2445.99/2460.48 c #Conflicts: 1714000 | #Constraints: 57720
2445.99/2460.48 c #Conflicts: 1715000 | #Constraints: 58720
2445.99/2460.48 c #Conflicts: 1716000 | #Constraints: 59720
2445.99/2460.48 c #Conflicts: 1717000 | #Constraints: 60720
2445.99/2460.48 c #Conflicts: 1718000 | #Constraints: 61720
2445.99/2460.48 c #Conflicts: 1719000 | #Constraints: 62720
2445.99/2460.48 c #Conflicts: 1720000 | #Constraints: 63720
2445.99/2460.48 c INPROCESSING
2445.99/2460.48 c GARBAGE COLLECT
2445.99/2460.48 c rational objective 99
2488.15/2502.73 c #Conflicts: 1721000 | #Constraints: 38719
2488.15/2502.73 c #Conflicts: 1722000 | #Constraints: 39719
2488.15/2502.73 c #Conflicts: 1723000 | #Constraints: 40719
2488.15/2502.73 c #Conflicts: 1724000 | #Constraints: 41719
2488.15/2502.73 c #Conflicts: 1725000 | #Constraints: 42719
2488.15/2502.73 c #Conflicts: 1726000 | #Constraints: 43719
2488.15/2502.73 c #Conflicts: 1727000 | #Constraints: 44719
2488.15/2502.73 c #Conflicts: 1728000 | #Constraints: 45719
2488.15/2502.73 c #Conflicts: 1729000 | #Constraints: 46719
2488.15/2502.73 c #Conflicts: 1730000 | #Constraints: 47719
2488.15/2502.73 c #Conflicts: 1731000 | #Constraints: 48719
2488.15/2502.73 c #Conflicts: 1732000 | #Constraints: 49719
2488.15/2502.73 c #Conflicts: 1733000 | #Constraints: 50719
2488.15/2502.73 c #Conflicts: 1734000 | #Constraints: 51719
2488.15/2502.73 c #Conflicts: 1735000 | #Constraints: 52719
2488.15/2502.73 c #Conflicts: 1736000 | #Constraints: 53719
2488.15/2502.73 c #Conflicts: 1737000 | #Constraints: 54719
2488.15/2502.73 c #Conflicts: 1738000 | #Constraints: 55719
2488.15/2502.73 c #Conflicts: 1739000 | #Constraints: 56719
2488.15/2502.73 c #Conflicts: 1740000 | #Constraints: 57719
2488.15/2502.73 c #Conflicts: 1741000 | #Constraints: 58719
2488.15/2502.73 c #Conflicts: 1742000 | #Constraints: 59719
2488.15/2502.73 c #Conflicts: 1743000 | #Constraints: 60719
2488.15/2502.73 c #Conflicts: 1744000 | #Constraints: 61719
2488.15/2502.73 c #Conflicts: 1745000 | #Constraints: 62719
2488.15/2502.73 c #Conflicts: 1746000 | #Constraints: 63719
2488.15/2502.73 c INPROCESSING
2488.15/2502.73 c GARBAGE COLLECT
2488.15/2502.73 c rational objective 99
2522.68/2537.53 c #Conflicts: 1747000 | #Constraints: 38547
2522.68/2537.53 c #Conflicts: 1748000 | #Constraints: 39547
2522.68/2537.53 c #Conflicts: 1749000 | #Constraints: 40547
2522.68/2537.53 c #Conflicts: 1750000 | #Constraints: 41547
2522.68/2537.53 c #Conflicts: 1751000 | #Constraints: 42547
2522.68/2537.53 c #Conflicts: 1752000 | #Constraints: 43547
2522.68/2537.53 c #Conflicts: 1753000 | #Constraints: 44547
2522.68/2537.53 c #Conflicts: 1754000 | #Constraints: 45547
2522.68/2537.53 c #Conflicts: 1755000 | #Constraints: 46547
2522.68/2537.53 c #Conflicts: 1756000 | #Constraints: 47547
2522.68/2537.53 c #Conflicts: 1757000 | #Constraints: 48547
2522.68/2537.53 c #Conflicts: 1758000 | #Constraints: 49547
2522.68/2537.53 c #Conflicts: 1759000 | #Constraints: 50547
2522.68/2537.53 c #Conflicts: 1760000 | #Constraints: 51547
2522.68/2537.53 c #Conflicts: 1761000 | #Constraints: 52547
2522.68/2537.53 c #Conflicts: 1762000 | #Constraints: 53547
2522.68/2537.53 c #Conflicts: 1763000 | #Constraints: 54547
2522.68/2537.53 c #Conflicts: 1764000 | #Constraints: 55547
2522.68/2537.53 c #Conflicts: 1765000 | #Constraints: 56547
2522.68/2537.53 c #Conflicts: 1766000 | #Constraints: 57547
2522.68/2537.53 c #Conflicts: 1767000 | #Constraints: 58547
2522.68/2537.53 c #Conflicts: 1768000 | #Constraints: 59547
2522.68/2537.53 c #Conflicts: 1769000 | #Constraints: 60547
2522.68/2537.53 c #Conflicts: 1770000 | #Constraints: 61547
2522.68/2537.53 c #Conflicts: 1771000 | #Constraints: 62547
2522.68/2537.53 c #Conflicts: 1772000 | #Constraints: 63547
2522.68/2537.53 c #Conflicts: 1773000 | #Constraints: 64547
2522.68/2537.53 c INPROCESSING
2522.68/2537.53 c GARBAGE COLLECT
2522.68/2537.53 c rational objective 99
2563.40/2578.56 c #Conflicts: 1774000 | #Constraints: 39167
2563.40/2578.56 c #Conflicts: 1775000 | #Constraints: 40167
2563.40/2578.56 c #Conflicts: 1776000 | #Constraints: 41167
2563.40/2578.56 c #Conflicts: 1777000 | #Constraints: 42167
2563.40/2578.56 c #Conflicts: 1778000 | #Constraints: 43167
2563.40/2578.56 c #Conflicts: 1779000 | #Constraints: 44167
2563.40/2578.56 c #Conflicts: 1780000 | #Constraints: 45167
2563.40/2578.56 c #Conflicts: 1781000 | #Constraints: 46167
2563.40/2578.56 c #Conflicts: 1782000 | #Constraints: 47167
2563.40/2578.56 c #Conflicts: 1783000 | #Constraints: 48167
2563.40/2578.56 c #Conflicts: 1784000 | #Constraints: 49167
2563.40/2578.56 c #Conflicts: 1785000 | #Constraints: 50167
2563.40/2578.56 c #Conflicts: 1786000 | #Constraints: 51167
2563.40/2578.56 c #Conflicts: 1787000 | #Constraints: 52167
2563.40/2578.56 c #Conflicts: 1788000 | #Constraints: 53167
2563.40/2578.56 c #Conflicts: 1789000 | #Constraints: 54167
2563.40/2578.56 c #Conflicts: 1790000 | #Constraints: 55167
2563.40/2578.56 c #Conflicts: 1791000 | #Constraints: 56167
2563.40/2578.56 c #Conflicts: 1792000 | #Constraints: 57167
2563.40/2578.56 c #Conflicts: 1793000 | #Constraints: 58167
2563.40/2578.56 c #Conflicts: 1794000 | #Constraints: 59167
2563.40/2578.56 c #Conflicts: 1795000 | #Constraints: 60167
2563.40/2578.56 c #Conflicts: 1796000 | #Constraints: 61167
2563.40/2578.56 c #Conflicts: 1797000 | #Constraints: 62167
2563.40/2578.56 c #Conflicts: 1798000 | #Constraints: 63167
2563.40/2578.56 c #Conflicts: 1799000 | #Constraints: 64167
2563.40/2578.56 c #Conflicts: 1800000 | #Constraints: 65167
2563.40/2578.56 c INPROCESSING
2563.40/2578.56 c GARBAGE COLLECT
2563.40/2578.56 c rational objective 99
2598.49/2613.74 c #Conflicts: 1801000 | #Constraints: 39586
2598.49/2613.74 c #Conflicts: 1802000 | #Constraints: 40586
2598.49/2613.74 c #Conflicts: 1803000 | #Constraints: 41586
2598.49/2613.74 c #Conflicts: 1804000 | #Constraints: 42586
2598.49/2613.74 c #Conflicts: 1805000 | #Constraints: 43586
2598.49/2613.74 c #Conflicts: 1806000 | #Constraints: 44586
2598.49/2613.74 c #Conflicts: 1807000 | #Constraints: 45586
2598.49/2613.74 c #Conflicts: 1808000 | #Constraints: 46586
2598.49/2613.74 c #Conflicts: 1809000 | #Constraints: 47586
2598.49/2613.74 c #Conflicts: 1810000 | #Constraints: 48586
2598.49/2613.74 c #Conflicts: 1811000 | #Constraints: 49586
2598.49/2613.74 c #Conflicts: 1812000 | #Constraints: 50586
2598.49/2613.74 c #Conflicts: 1813000 | #Constraints: 51586
2598.49/2613.74 c #Conflicts: 1814000 | #Constraints: 52586
2598.49/2613.74 c #Conflicts: 1815000 | #Constraints: 53586
2598.49/2613.74 c #Conflicts: 1816000 | #Constraints: 54586
2598.49/2613.74 c #Conflicts: 1817000 | #Constraints: 55586
2598.49/2613.74 c #Conflicts: 1818000 | #Constraints: 56586
2598.49/2613.74 c #Conflicts: 1819000 | #Constraints: 57586
2598.49/2613.74 c #Conflicts: 1820000 | #Constraints: 58586
2598.49/2613.74 c #Conflicts: 1821000 | #Constraints: 59586
2598.49/2613.74 c #Conflicts: 1822000 | #Constraints: 60586
2598.49/2613.74 c #Conflicts: 1823000 | #Constraints: 61586
2598.49/2613.74 c #Conflicts: 1824000 | #Constraints: 62586
2598.49/2613.74 c #Conflicts: 1825000 | #Constraints: 63586
2598.49/2613.74 c #Conflicts: 1826000 | #Constraints: 64586
2598.49/2613.74 c #Conflicts: 1827000 | #Constraints: 65586
2598.49/2613.74 c INPROCESSING
2598.49/2613.74 c GARBAGE COLLECT
2598.49/2613.74 c rational objective 99
2773.42/2789.23 c #Conflicts: 1828000 | #Constraints: 39747
2773.42/2789.23 c #Conflicts: 1829000 | #Constraints: 40747
2773.42/2789.23 c #Conflicts: 1830000 | #Constraints: 41747
2773.42/2789.23 c #Conflicts: 1831000 | #Constraints: 42747
2773.42/2789.23 c #Conflicts: 1832000 | #Constraints: 43747
2773.42/2789.23 c #Conflicts: 1833000 | #Constraints: 44747
2773.42/2789.23 c #Conflicts: 1834000 | #Constraints: 45747
2773.42/2789.23 c #Conflicts: 1835000 | #Constraints: 46747
2773.42/2789.23 c #Conflicts: 1836000 | #Constraints: 47747
2773.42/2789.23 c #Conflicts: 1837000 | #Constraints: 48747
2773.42/2789.23 c #Conflicts: 1838000 | #Constraints: 49747
2773.42/2789.23 c #Conflicts: 1839000 | #Constraints: 50747
2773.42/2789.23 c #Conflicts: 1840000 | #Constraints: 51747
2773.42/2789.23 c #Conflicts: 1841000 | #Constraints: 52748
2773.42/2789.23 c #Conflicts: 1842000 | #Constraints: 53748
2773.42/2789.23 c #Conflicts: 1843000 | #Constraints: 54748
2773.42/2789.23 c #Conflicts: 1844000 | #Constraints: 55748
2773.42/2789.23 c #Conflicts: 1845000 | #Constraints: 56748
2773.42/2789.23 c #Conflicts: 1846000 | #Constraints: 57748
2773.42/2789.23 c #Conflicts: 1847000 | #Constraints: 58748
2773.42/2789.23 c #Conflicts: 1848000 | #Constraints: 59748
2773.42/2789.23 c #Conflicts: 1849000 | #Constraints: 60748
2773.42/2789.23 c #Conflicts: 1850000 | #Constraints: 61748
2773.42/2789.23 c #Conflicts: 1851000 | #Constraints: 62748
2773.42/2789.23 c #Conflicts: 1852000 | #Constraints: 63749
2773.42/2789.23 c #Conflicts: 1853000 | #Constraints: 64749
2773.42/2789.23 c #Conflicts: 1854000 | #Constraints: 65749
2773.42/2789.23 c INPROCESSING
2773.42/2789.23 c GARBAGE COLLECT
2773.42/2789.23 c #Conflicts: 1855000 | #Constraints: 39734
2773.42/2789.23 c #Conflicts: 1856000 | #Constraints: 40734
2773.42/2789.23 c #Conflicts: 1857000 | #Constraints: 41734
2773.42/2789.23 c #Conflicts: 1858000 | #Constraints: 42734
2773.42/2789.23 c #Conflicts: 1859000 | #Constraints: 43734
2773.42/2789.23 c #Conflicts: 1860000 | #Constraints: 44734
2773.42/2789.23 c #Conflicts: 1861000 | #Constraints: 45734
2773.42/2789.23 c #Conflicts: 1862000 | #Constraints: 46735
2773.42/2789.23 c #Conflicts: 1863000 | #Constraints: 47735
2773.42/2789.23 c #Conflicts: 1864000 | #Constraints: 48735
2773.42/2789.23 c #Conflicts: 1865000 | #Constraints: 49735
2773.42/2789.23 c #Conflicts: 1866000 | #Constraints: 50735
2773.42/2789.23 c #Conflicts: 1867000 | #Constraints: 51735
2773.42/2789.23 c #Conflicts: 1868000 | #Constraints: 52735
2773.42/2789.23 c #Conflicts: 1869000 | #Constraints: 53735
2773.42/2789.23 c #Conflicts: 1870000 | #Constraints: 54735
2773.42/2789.23 c #Conflicts: 1871000 | #Constraints: 55735
2773.42/2789.23 c #Conflicts: 1872000 | #Constraints: 56735
2773.42/2789.23 c #Conflicts: 1873000 | #Constraints: 57735
2773.42/2789.23 c #Conflicts: 1874000 | #Constraints: 58735
2773.42/2789.23 c #Conflicts: 1875000 | #Constraints: 59735
2773.42/2789.23 c #Conflicts: 1876000 | #Constraints: 60735
2773.42/2789.23 c #Conflicts: 1877000 | #Constraints: 61735
2773.42/2789.23 c #Conflicts: 1878000 | #Constraints: 62735
2773.42/2789.23 c #Conflicts: 1879000 | #Constraints: 63735
2773.42/2789.23 c #Conflicts: 1880000 | #Constraints: 64735
2773.42/2789.23 c #Conflicts: 1881000 | #Constraints: 65735
2773.42/2789.23 c INPROCESSING
2773.42/2789.23 c GARBAGE COLLECT
2773.42/2789.23 c #Conflicts: 1882000 | #Constraints: 39565
2773.42/2789.23 c #Conflicts: 1883000 | #Constraints: 40565
2773.42/2789.23 c #Conflicts: 1884000 | #Constraints: 41565
2773.42/2789.23 c #Conflicts: 1885000 | #Constraints: 42565
2773.42/2789.23 c #Conflicts: 1886000 | #Constraints: 43565
2773.42/2789.23 c #Conflicts: 1887000 | #Constraints: 44565
2773.42/2789.23 c #Conflicts: 1888000 | #Constraints: 45565
2773.42/2789.23 c #Conflicts: 1889000 | #Constraints: 46565
2773.42/2789.23 c #Conflicts: 1890000 | #Constraints: 47565
2773.42/2789.23 c #Conflicts: 1891000 | #Constraints: 48565
2773.42/2789.23 c #Conflicts: 1892000 | #Constraints: 49565
2773.42/2789.23 c #Conflicts: 1893000 | #Constraints: 50565
2773.42/2789.23 c #Conflicts: 1894000 | #Constraints: 51565
2773.42/2789.23 c #Conflicts: 1895000 | #Constraints: 52565
2773.42/2789.23 c #Conflicts: 1896000 | #Constraints: 53565
2773.42/2789.23 c #Conflicts: 1897000 | #Constraints: 54565
2773.42/2789.23 c #Conflicts: 1898000 | #Constraints: 55565
2773.42/2789.23 c #Conflicts: 1899000 | #Constraints: 56565
2773.42/2789.23 c #Conflicts: 1900000 | #Constraints: 57565
2773.42/2789.23 c #Conflicts: 1901000 | #Constraints: 58565
2773.42/2789.23 c #Conflicts: 1902000 | #Constraints: 59565
2773.42/2789.23 c #Conflicts: 1903000 | #Constraints: 60565
2773.42/2789.23 c #Conflicts: 1904000 | #Constraints: 61565
2773.42/2789.23 c #Conflicts: 1905000 | #Constraints: 62565
2901.83/2918.06 c #Conflicts: 1906000 | #Constraints: 63565
2901.83/2918.06 c #Conflicts: 1907000 | #Constraints: 64565
2901.83/2918.06 c #Conflicts: 1908000 | #Constraints: 65565
2901.83/2918.06 c #Conflicts: 1909000 | #Constraints: 66565
2901.83/2918.06 c INPROCESSING
2901.83/2918.06 c GARBAGE COLLECT
2901.83/2918.06 c #Conflicts: 1910000 | #Constraints: 40155
2901.83/2918.06 c #Conflicts: 1911000 | #Constraints: 41155
2901.83/2918.06 c #Conflicts: 1912000 | #Constraints: 42155
2901.83/2918.06 c #Conflicts: 1913000 | #Constraints: 43155
2901.83/2918.06 c #Conflicts: 1914000 | #Constraints: 44155
2901.83/2918.06 c #Conflicts: 1915000 | #Constraints: 45155
2901.83/2918.06 c #Conflicts: 1916000 | #Constraints: 46155
2901.83/2918.06 c #Conflicts: 1917000 | #Constraints: 47155
2901.83/2918.06 c #Conflicts: 1918000 | #Constraints: 48155
2901.83/2918.06 c #Conflicts: 1919000 | #Constraints: 49155
2901.83/2918.06 c #Conflicts: 1920000 | #Constraints: 50155
2901.83/2918.06 c #Conflicts: 1921000 | #Constraints: 51155
2901.83/2918.06 c #Conflicts: 1922000 | #Constraints: 52155
2901.83/2918.06 c #Conflicts: 1923000 | #Constraints: 53155
2901.83/2918.06 c #Conflicts: 1924000 | #Constraints: 54155
2901.83/2918.06 c #Conflicts: 1925000 | #Constraints: 55155
2901.83/2918.06 c #Conflicts: 1926000 | #Constraints: 56155
2901.83/2918.06 c #Conflicts: 1927000 | #Constraints: 57155
2901.83/2918.06 c #Conflicts: 1928000 | #Constraints: 58155
2901.83/2918.06 c #Conflicts: 1929000 | #Constraints: 59155
2901.83/2918.06 c #Conflicts: 1930000 | #Constraints: 60155
2901.83/2918.06 c #Conflicts: 1931000 | #Constraints: 61155
2901.83/2918.06 c #Conflicts: 1932000 | #Constraints: 62155
2901.83/2918.06 c #Conflicts: 1933000 | #Constraints: 63155
2901.83/2918.06 c #Conflicts: 1934000 | #Constraints: 64155
2901.83/2918.06 c #Conflicts: 1935000 | #Constraints: 65155
2901.83/2918.06 c #Conflicts: 1936000 | #Constraints: 66155
2901.83/2918.06 c #Conflicts: 1937000 | #Constraints: 67155
2901.83/2918.06 c INPROCESSING
2901.83/2918.06 c GARBAGE COLLECT
2901.83/2918.06 c #Conflicts: 1938000 | #Constraints: 40557
2901.83/2918.06 c #Conflicts: 1939000 | #Constraints: 41557
2901.83/2918.06 c #Conflicts: 1940000 | #Constraints: 42557
2901.83/2918.06 c #Conflicts: 1941000 | #Constraints: 43557
2901.83/2918.06 c #Conflicts: 1942000 | #Constraints: 44557
2901.83/2918.06 c #Conflicts: 1943000 | #Constraints: 45557
2901.83/2918.06 c #Conflicts: 1944000 | #Constraints: 46557
2901.83/2918.06 c #Conflicts: 1945000 | #Constraints: 47557
2901.83/2918.06 c #Conflicts: 1946000 | #Constraints: 48557
2901.83/2918.06 c #Conflicts: 1947000 | #Constraints: 49557
2901.83/2918.06 c #Conflicts: 1948000 | #Constraints: 50557
2901.83/2918.06 c #Conflicts: 1949000 | #Constraints: 51557
2901.83/2918.06 c #Conflicts: 1950000 | #Constraints: 52557
2901.83/2918.06 c #Conflicts: 1951000 | #Constraints: 53557
2901.83/2918.06 c #Conflicts: 1952000 | #Constraints: 54557
2901.83/2918.06 c #Conflicts: 1953000 | #Constraints: 55557
2901.83/2918.06 c #Conflicts: 1954000 | #Constraints: 56557
2901.83/2918.06 c #Conflicts: 1955000 | #Constraints: 57557
2901.83/2918.06 c #Conflicts: 1956000 | #Constraints: 58557
2901.83/2918.06 c #Conflicts: 1957000 | #Constraints: 59557
2901.83/2918.06 c #Conflicts: 1958000 | #Constraints: 60557
2901.83/2918.06 c #Conflicts: 1959000 | #Constraints: 61557
2901.83/2918.06 c #Conflicts: 1960000 | #Constraints: 62557
2901.83/2918.06 c #Conflicts: 1961000 | #Constraints: 63557
2901.83/2918.06 c #Conflicts: 1962000 | #Constraints: 64557
2901.83/2918.06 c #Conflicts: 1963000 | #Constraints: 65557
2901.83/2918.06 c #Conflicts: 1964000 | #Constraints: 66557
2901.83/2918.06 c #Conflicts: 1965000 | #Constraints: 67557
2901.83/2918.06 c INPROCESSING
2901.83/2918.06 c GARBAGE COLLECT
2901.83/2918.06 c rational objective 99
2950.91/2967.33 c #Conflicts: 1966000 | #Constraints: 40776
2950.91/2967.33 c #Conflicts: 1967000 | #Constraints: 41776
2950.91/2967.33 c #Conflicts: 1968000 | #Constraints: 42776
2950.91/2967.33 c #Conflicts: 1969000 | #Constraints: 43776
2950.91/2967.33 c #Conflicts: 1970000 | #Constraints: 44776
2950.91/2967.33 c #Conflicts: 1971000 | #Constraints: 45776
2950.91/2967.33 c #Conflicts: 1972000 | #Constraints: 46776
2950.91/2967.33 c #Conflicts: 1973000 | #Constraints: 47776
2950.91/2967.33 c #Conflicts: 1974000 | #Constraints: 48776
2950.91/2967.33 c #Conflicts: 1975000 | #Constraints: 49776
2950.91/2967.33 c #Conflicts: 1976000 | #Constraints: 50776
2950.91/2967.33 c #Conflicts: 1977000 | #Constraints: 51776
2950.91/2967.33 c #Conflicts: 1978000 | #Constraints: 52776
2950.91/2967.33 c #Conflicts: 1979000 | #Constraints: 53776
2950.91/2967.33 c #Conflicts: 1980000 | #Constraints: 54776
2950.91/2967.33 c #Conflicts: 1981000 | #Constraints: 55776
2950.91/2967.33 c #Conflicts: 1982000 | #Constraints: 56776
2950.91/2967.33 c #Conflicts: 1983000 | #Constraints: 57776
2950.91/2967.33 c #Conflicts: 1984000 | #Constraints: 58776
2950.91/2967.33 c #Conflicts: 1985000 | #Constraints: 59776
2950.91/2967.33 c #Conflicts: 1986000 | #Constraints: 60776
2950.91/2967.33 c #Conflicts: 1987000 | #Constraints: 61776
2950.91/2967.33 c #Conflicts: 1988000 | #Constraints: 62776
2950.91/2967.33 c #Conflicts: 1989000 | #Constraints: 63776
2950.91/2967.33 c #Conflicts: 1990000 | #Constraints: 64776
2950.91/2967.33 c #Conflicts: 1991000 | #Constraints: 65776
2950.91/2967.33 c #Conflicts: 1992000 | #Constraints: 66776
2950.91/2967.33 c #Conflicts: 1993000 | #Constraints: 67776
2950.91/2967.33 c INPROCESSING
2950.91/2967.33 c GARBAGE COLLECT
2950.91/2967.33 c rational objective 99
3000.84/3017.48 c #Conflicts: 1994000 | #Constraints: 40802
3000.84/3017.48 c #Conflicts: 1995000 | #Constraints: 41802
3000.84/3017.48 c #Conflicts: 1996000 | #Constraints: 42802
3000.84/3017.48 c #Conflicts: 1997000 | #Constraints: 43802
3000.84/3017.48 c #Conflicts: 1998000 | #Constraints: 44802
3000.84/3017.48 c #Conflicts: 1999000 | #Constraints: 45802
3000.84/3017.48 c #Conflicts: 2000000 | #Constraints: 46802
3000.84/3017.48 c #Conflicts: 2001000 | #Constraints: 47802
3000.84/3017.48 c #Conflicts: 2002000 | #Constraints: 48802
3000.84/3017.48 c #Conflicts: 2003000 | #Constraints: 49802
3000.84/3017.48 c #Conflicts: 2004000 | #Constraints: 50802
3000.84/3017.48 c #Conflicts: 2005000 | #Constraints: 51802
3000.84/3017.48 c #Conflicts: 2006000 | #Constraints: 52802
3000.84/3017.48 c #Conflicts: 2007000 | #Constraints: 53802
3000.84/3017.48 c #Conflicts: 2008000 | #Constraints: 54802
3000.84/3017.48 c #Conflicts: 2009000 | #Constraints: 55802
3000.84/3017.48 c #Conflicts: 2010000 | #Constraints: 56802
3000.84/3017.48 c #Conflicts: 2011000 | #Constraints: 57802
3000.84/3017.48 c #Conflicts: 2012000 | #Constraints: 58802
3000.84/3017.48 c #Conflicts: 2013000 | #Constraints: 59802
3000.84/3017.48 c #Conflicts: 2014000 | #Constraints: 60802
3000.84/3017.48 c #Conflicts: 2015000 | #Constraints: 61802
3000.84/3017.48 c #Conflicts: 2016000 | #Constraints: 62802
3000.84/3017.48 c #Conflicts: 2017000 | #Constraints: 63802
3000.84/3017.48 c #Conflicts: 2018000 | #Constraints: 64802
3000.84/3017.48 c #Conflicts: 2019000 | #Constraints: 65802
3000.84/3017.48 c #Conflicts: 2020000 | #Constraints: 66802
3000.84/3017.48 c #Conflicts: 2021000 | #Constraints: 67802
3000.84/3017.48 c INPROCESSING
3000.84/3017.48 c GARBAGE COLLECT
3000.84/3017.48 c rational objective 99
3049.40/3066.17 c #Conflicts: 2022000 | #Constraints: 40590
3049.40/3066.17 c #Conflicts: 2023000 | #Constraints: 41590
3049.40/3066.17 c #Conflicts: 2024000 | #Constraints: 42590
3049.40/3066.17 c #Conflicts: 2025000 | #Constraints: 43590
3049.40/3066.17 c #Conflicts: 2026000 | #Constraints: 44590
3049.40/3066.17 c #Conflicts: 2027000 | #Constraints: 45590
3049.40/3066.17 c #Conflicts: 2028000 | #Constraints: 46590
3049.40/3066.17 c #Conflicts: 2029000 | #Constraints: 47590
3049.40/3066.17 c #Conflicts: 2030000 | #Constraints: 48590
3049.40/3066.17 c #Conflicts: 2031000 | #Constraints: 49590
3049.40/3066.17 c #Conflicts: 2032000 | #Constraints: 50590
3049.40/3066.17 c #Conflicts: 2033000 | #Constraints: 51590
3049.40/3066.17 c #Conflicts: 2034000 | #Constraints: 52590
3049.40/3066.17 c #Conflicts: 2035000 | #Constraints: 53590
3049.40/3066.17 c #Conflicts: 2036000 | #Constraints: 54590
3049.40/3066.17 c #Conflicts: 2037000 | #Constraints: 55590
3049.40/3066.17 c #Conflicts: 2038000 | #Constraints: 56590
3049.40/3066.17 c #Conflicts: 2039000 | #Constraints: 57590
3049.40/3066.17 c #Conflicts: 2040000 | #Constraints: 58590
3049.40/3066.17 c #Conflicts: 2041000 | #Constraints: 59590
3049.40/3066.17 c #Conflicts: 2042000 | #Constraints: 60590
3049.40/3066.17 c #Conflicts: 2043000 | #Constraints: 61590
3049.40/3066.17 c #Conflicts: 2044000 | #Constraints: 62590
3049.40/3066.17 c #Conflicts: 2045000 | #Constraints: 63590
3049.40/3066.17 c #Conflicts: 2046000 | #Constraints: 64590
3049.40/3066.17 c #Conflicts: 2047000 | #Constraints: 65590
3049.40/3066.17 c #Conflicts: 2048000 | #Constraints: 66590
3049.40/3066.17 c #Conflicts: 2049000 | #Constraints: 67590
3049.40/3066.17 c #Conflicts: 2050000 | #Constraints: 68590
3049.40/3066.17 c INPROCESSING
3049.40/3066.17 c GARBAGE COLLECT
3049.40/3066.17 c rational objective 99
3110.38/3127.46 c #Conflicts: 2051000 | #Constraints: 41186
3110.38/3127.46 c #Conflicts: 2052000 | #Constraints: 42186
3110.38/3127.46 c #Conflicts: 2053000 | #Constraints: 43186
3110.38/3127.46 c #Conflicts: 2054000 | #Constraints: 44186
3110.38/3127.46 c #Conflicts: 2055000 | #Constraints: 45186
3110.38/3127.46 c #Conflicts: 2056000 | #Constraints: 46186
3110.38/3127.46 c #Conflicts: 2057000 | #Constraints: 47186
3110.38/3127.46 c #Conflicts: 2058000 | #Constraints: 48186
3110.38/3127.46 c #Conflicts: 2059000 | #Constraints: 49186
3110.38/3127.46 c #Conflicts: 2060000 | #Constraints: 50186
3110.38/3127.46 c #Conflicts: 2061000 | #Constraints: 51186
3110.38/3127.46 c #Conflicts: 2062000 | #Constraints: 52186
3110.38/3127.46 c #Conflicts: 2063000 | #Constraints: 53186
3110.38/3127.46 c #Conflicts: 2064000 | #Constraints: 54186
3110.38/3127.46 c #Conflicts: 2065000 | #Constraints: 55186
3110.38/3127.46 c #Conflicts: 2066000 | #Constraints: 56186
3110.38/3127.46 c #Conflicts: 2067000 | #Constraints: 57186
3110.38/3127.46 c #Conflicts: 2068000 | #Constraints: 58186
3110.38/3127.46 c #Conflicts: 2069000 | #Constraints: 59186
3110.38/3127.46 c #Conflicts: 2070000 | #Constraints: 60186
3110.38/3127.46 c #Conflicts: 2071000 | #Constraints: 61186
3110.38/3127.46 c #Conflicts: 2072000 | #Constraints: 62186
3110.38/3127.46 c #Conflicts: 2073000 | #Constraints: 63186
3110.38/3127.46 c #Conflicts: 2074000 | #Constraints: 64186
3110.38/3127.46 c #Conflicts: 2075000 | #Constraints: 65186
3110.38/3127.46 c #Conflicts: 2076000 | #Constraints: 66186
3110.38/3127.46 c #Conflicts: 2077000 | #Constraints: 67186
3110.38/3127.46 c #Conflicts: 2078000 | #Constraints: 68186
3110.38/3127.46 c #Conflicts: 2079000 | #Constraints: 69186
3110.38/3127.46 c INPROCESSING
3110.38/3127.46 c GARBAGE COLLECT
3110.38/3127.46 c rational objective 99
3148.36/3165.52 c #Conflicts: 2080000 | #Constraints: 41580
3148.36/3165.52 c #Conflicts: 2081000 | #Constraints: 42580
3148.36/3165.52 c #Conflicts: 2082000 | #Constraints: 43580
3148.36/3165.52 c #Conflicts: 2083000 | #Constraints: 44580
3148.36/3165.52 c #Conflicts: 2084000 | #Constraints: 45580
3148.36/3165.52 c #Conflicts: 2085000 | #Constraints: 46580
3148.36/3165.52 c #Conflicts: 2086000 | #Constraints: 47580
3148.36/3165.52 c #Conflicts: 2087000 | #Constraints: 48580
3148.36/3165.52 c #Conflicts: 2088000 | #Constraints: 49580
3148.36/3165.52 c #Conflicts: 2089000 | #Constraints: 50580
3148.36/3165.52 c #Conflicts: 2090000 | #Constraints: 51580
3148.36/3165.52 c #Conflicts: 2091000 | #Constraints: 52580
3148.36/3165.52 c #Conflicts: 2092000 | #Constraints: 53580
3148.36/3165.52 c #Conflicts: 2093000 | #Constraints: 54580
3148.36/3165.52 c #Conflicts: 2094000 | #Constraints: 55580
3148.36/3165.52 c #Conflicts: 2095000 | #Constraints: 56580
3148.36/3165.52 c #Conflicts: 2096000 | #Constraints: 57580
3148.36/3165.52 c #Conflicts: 2097000 | #Constraints: 58580
3148.36/3165.52 c #Conflicts: 2098000 | #Constraints: 59580
3148.36/3165.52 c #Conflicts: 2099000 | #Constraints: 60580
3148.36/3165.52 c #Conflicts: 2100000 | #Constraints: 61580
3148.36/3165.52 c #Conflicts: 2101000 | #Constraints: 62580
3148.36/3165.52 c #Conflicts: 2102000 | #Constraints: 63580
3148.36/3165.52 c #Conflicts: 2103000 | #Constraints: 64580
3148.36/3165.52 c #Conflicts: 2104000 | #Constraints: 65580
3148.36/3165.52 c #Conflicts: 2105000 | #Constraints: 66580
3148.36/3165.52 c #Conflicts: 2106000 | #Constraints: 67580
3148.36/3165.52 c #Conflicts: 2107000 | #Constraints: 68580
3148.36/3165.52 c #Conflicts: 2108000 | #Constraints: 69580
3148.36/3165.52 c INPROCESSING
3148.36/3165.52 c GARBAGE COLLECT
3148.36/3165.52 c rational objective 99
3208.13/3225.58 c #Conflicts: 2109000 | #Constraints: 41761
3208.13/3225.58 c #Conflicts: 2110000 | #Constraints: 42761
3208.13/3225.58 c #Conflicts: 2111000 | #Constraints: 43761
3208.13/3225.58 c #Conflicts: 2112000 | #Constraints: 44761
3208.13/3225.58 c #Conflicts: 2113000 | #Constraints: 45761
3208.13/3225.58 c #Conflicts: 2114000 | #Constraints: 46761
3208.13/3225.58 c #Conflicts: 2115000 | #Constraints: 47761
3208.13/3225.58 c #Conflicts: 2116000 | #Constraints: 48761
3208.13/3225.58 c #Conflicts: 2117000 | #Constraints: 49761
3208.13/3225.58 c #Conflicts: 2118000 | #Constraints: 50761
3208.13/3225.58 c #Conflicts: 2119000 | #Constraints: 51761
3208.13/3225.58 c #Conflicts: 2120000 | #Constraints: 52761
3208.13/3225.58 c #Conflicts: 2121000 | #Constraints: 53761
3208.13/3225.58 c #Conflicts: 2122000 | #Constraints: 54761
3208.13/3225.58 c #Conflicts: 2123000 | #Constraints: 55761
3208.13/3225.58 c #Conflicts: 2124000 | #Constraints: 56761
3208.13/3225.58 c #Conflicts: 2125000 | #Constraints: 57761
3208.13/3225.58 c #Conflicts: 2126000 | #Constraints: 58761
3208.13/3225.58 c #Conflicts: 2127000 | #Constraints: 59761
3208.13/3225.58 c #Conflicts: 2128000 | #Constraints: 60761
3208.13/3225.59 c #Conflicts: 2129000 | #Constraints: 61761
3208.13/3225.59 c #Conflicts: 2130000 | #Constraints: 62761
3208.13/3225.59 c #Conflicts: 2131000 | #Constraints: 63761
3208.13/3225.59 c #Conflicts: 2132000 | #Constraints: 64761
3208.13/3225.59 c #Conflicts: 2133000 | #Constraints: 65761
3208.13/3225.59 c #Conflicts: 2134000 | #Constraints: 66761
3208.13/3225.59 c #Conflicts: 2135000 | #Constraints: 67761
3208.13/3225.59 c #Conflicts: 2136000 | #Constraints: 68761
3208.13/3225.59 c #Conflicts: 2137000 | #Constraints: 69761
3208.13/3225.59 c INPROCESSING
3208.13/3225.59 c GARBAGE COLLECT
3208.13/3225.59 c rational objective 99
3257.98/3275.50 c #Conflicts: 2138000 | #Constraints: 41783
3257.98/3275.50 c #Conflicts: 2139000 | #Constraints: 42783
3257.98/3275.50 c #Conflicts: 2140000 | #Constraints: 43783
3257.98/3275.50 c #Conflicts: 2141000 | #Constraints: 44783
3257.98/3275.50 c #Conflicts: 2142000 | #Constraints: 45783
3257.98/3275.50 c #Conflicts: 2143000 | #Constraints: 46783
3257.98/3275.50 c #Conflicts: 2144000 | #Constraints: 47783
3257.98/3275.50 c #Conflicts: 2145000 | #Constraints: 48783
3257.98/3275.50 c #Conflicts: 2146000 | #Constraints: 49783
3257.98/3275.50 c #Conflicts: 2147000 | #Constraints: 50783
3257.98/3275.50 c #Conflicts: 2148000 | #Constraints: 51783
3257.98/3275.50 c #Conflicts: 2149000 | #Constraints: 52783
3257.98/3275.50 c #Conflicts: 2150000 | #Constraints: 53783
3257.98/3275.50 c #Conflicts: 2151000 | #Constraints: 54783
3257.98/3275.50 c #Conflicts: 2152000 | #Constraints: 55783
3257.98/3275.50 c #Conflicts: 2153000 | #Constraints: 56783
3257.98/3275.50 c #Conflicts: 2154000 | #Constraints: 57783
3257.98/3275.50 c #Conflicts: 2155000 | #Constraints: 58783
3257.98/3275.50 c #Conflicts: 2156000 | #Constraints: 59783
3257.98/3275.50 c #Conflicts: 2157000 | #Constraints: 60783
3257.98/3275.50 c #Conflicts: 2158000 | #Constraints: 61783
3257.98/3275.50 c #Conflicts: 2159000 | #Constraints: 62783
3257.98/3275.50 c #Conflicts: 2160000 | #Constraints: 63783
3257.98/3275.50 c #Conflicts: 2161000 | #Constraints: 64783
3257.98/3275.50 c #Conflicts: 2162000 | #Constraints: 65783
3257.98/3275.50 c #Conflicts: 2163000 | #Constraints: 66783
3257.98/3275.50 c #Conflicts: 2164000 | #Constraints: 67783
3257.98/3275.50 c #Conflicts: 2165000 | #Constraints: 68783
3257.98/3275.50 c #Conflicts: 2166000 | #Constraints: 69783
3257.98/3275.50 c INPROCESSING
3257.98/3275.50 c GARBAGE COLLECT
3257.98/3275.50 c rational objective 99
3309.25/3327.23 c #Conflicts: 2167000 | #Constraints: 41576
3309.25/3327.23 c #Conflicts: 2168000 | #Constraints: 42576
3309.25/3327.23 c #Conflicts: 2169000 | #Constraints: 43576
3309.25/3327.23 c #Conflicts: 2170000 | #Constraints: 44576
3309.25/3327.23 c #Conflicts: 2171000 | #Constraints: 45576
3309.25/3327.23 c #Conflicts: 2172000 | #Constraints: 46576
3309.25/3327.23 c #Conflicts: 2173000 | #Constraints: 47576
3309.25/3327.23 c #Conflicts: 2174000 | #Constraints: 48576
3309.25/3327.23 c #Conflicts: 2175000 | #Constraints: 49576
3309.25/3327.23 c #Conflicts: 2176000 | #Constraints: 50576
3309.25/3327.23 c #Conflicts: 2177000 | #Constraints: 51576
3309.25/3327.23 c #Conflicts: 2178000 | #Constraints: 52576
3309.25/3327.23 c #Conflicts: 2179000 | #Constraints: 53576
3309.25/3327.23 c #Conflicts: 2180000 | #Constraints: 54576
3309.25/3327.23 c #Conflicts: 2181000 | #Constraints: 55576
3309.25/3327.23 c #Conflicts: 2182000 | #Constraints: 56576
3309.25/3327.23 c #Conflicts: 2183000 | #Constraints: 57576
3309.25/3327.23 c #Conflicts: 2184000 | #Constraints: 58576
3309.25/3327.23 c #Conflicts: 2185000 | #Constraints: 59576
3309.25/3327.23 c #Conflicts: 2186000 | #Constraints: 60576
3309.25/3327.23 c #Conflicts: 2187000 | #Constraints: 61576
3309.25/3327.23 c #Conflicts: 2188000 | #Constraints: 62576
3309.25/3327.23 c #Conflicts: 2189000 | #Constraints: 63576
3309.25/3327.23 c #Conflicts: 2190000 | #Constraints: 64576
3309.25/3327.23 c #Conflicts: 2191000 | #Constraints: 65576
3309.25/3327.23 c #Conflicts: 2192000 | #Constraints: 66576
3309.25/3327.23 c #Conflicts: 2193000 | #Constraints: 67576
3309.25/3327.23 c #Conflicts: 2194000 | #Constraints: 68576
3309.25/3327.23 c #Conflicts: 2195000 | #Constraints: 69576
3309.25/3327.23 c #Conflicts: 2196000 | #Constraints: 70576
3309.25/3327.23 c INPROCESSING
3309.25/3327.23 c GARBAGE COLLECT
3309.25/3327.23 c rational objective 99
3361.95/3380.12 c #Conflicts: 2197000 | #Constraints: 42200
3361.95/3380.12 c #Conflicts: 2198000 | #Constraints: 43200
3361.95/3380.12 c #Conflicts: 2199000 | #Constraints: 44200
3361.95/3380.12 c #Conflicts: 2200000 | #Constraints: 45200
3361.95/3380.12 c #Conflicts: 2201000 | #Constraints: 46200
3361.95/3380.12 c #Conflicts: 2202000 | #Constraints: 47200
3361.95/3380.12 c #Conflicts: 2203000 | #Constraints: 48200
3361.95/3380.12 c #Conflicts: 2204000 | #Constraints: 49200
3361.95/3380.12 c #Conflicts: 2205000 | #Constraints: 50200
3361.95/3380.12 c #Conflicts: 2206000 | #Constraints: 51200
3361.95/3380.12 c #Conflicts: 2207000 | #Constraints: 52200
3361.95/3380.12 c #Conflicts: 2208000 | #Constraints: 53200
3361.95/3380.12 c #Conflicts: 2209000 | #Constraints: 54200
3361.95/3380.12 c #Conflicts: 2210000 | #Constraints: 55200
3361.95/3380.12 c #Conflicts: 2211000 | #Constraints: 56200
3361.95/3380.12 c #Conflicts: 2212000 | #Constraints: 57200
3361.95/3380.12 c #Conflicts: 2213000 | #Constraints: 58200
3361.95/3380.12 c #Conflicts: 2214000 | #Constraints: 59200
3361.95/3380.12 c #Conflicts: 2215000 | #Constraints: 60200
3361.95/3380.12 c #Conflicts: 2216000 | #Constraints: 61200
3361.95/3380.12 c #Conflicts: 2217000 | #Constraints: 62200
3361.95/3380.12 c #Conflicts: 2218000 | #Constraints: 63200
3361.95/3380.12 c #Conflicts: 2219000 | #Constraints: 64200
3361.95/3380.12 c #Conflicts: 2220000 | #Constraints: 65200
3361.95/3380.12 c #Conflicts: 2221000 | #Constraints: 66200
3361.95/3380.12 c #Conflicts: 2222000 | #Constraints: 67200
3361.95/3380.12 c #Conflicts: 2223000 | #Constraints: 68200
3361.95/3380.12 c #Conflicts: 2224000 | #Constraints: 69200
3361.95/3380.12 c #Conflicts: 2225000 | #Constraints: 70200
3361.95/3380.12 c #Conflicts: 2226000 | #Constraints: 71200
3361.95/3380.12 c INPROCESSING
3361.95/3380.12 c GARBAGE COLLECT
3361.95/3380.12 c rational objective 99
3413.69/3432.02 c #Conflicts: 2227000 | #Constraints: 42595
3413.69/3432.02 c #Conflicts: 2228000 | #Constraints: 43595
3413.69/3432.02 c #Conflicts: 2229000 | #Constraints: 44595
3413.69/3432.02 c #Conflicts: 2230000 | #Constraints: 45595
3413.69/3432.02 c #Conflicts: 2231000 | #Constraints: 46595
3413.69/3432.02 c #Conflicts: 2232000 | #Constraints: 47595
3413.69/3432.02 c #Conflicts: 2233000 | #Constraints: 48595
3413.69/3432.02 c #Conflicts: 2234000 | #Constraints: 49595
3413.69/3432.02 c #Conflicts: 2235000 | #Constraints: 50595
3413.69/3432.02 c #Conflicts: 2236000 | #Constraints: 51595
3413.69/3432.02 c #Conflicts: 2237000 | #Constraints: 52595
3413.69/3432.02 c #Conflicts: 2238000 | #Constraints: 53595
3413.69/3432.02 c #Conflicts: 2239000 | #Constraints: 54595
3413.69/3432.02 c #Conflicts: 2240000 | #Constraints: 55595
3413.69/3432.02 c #Conflicts: 2241000 | #Constraints: 56595
3413.69/3432.02 c #Conflicts: 2242000 | #Constraints: 57595
3413.69/3432.02 c #Conflicts: 2243000 | #Constraints: 58595
3413.69/3432.02 c #Conflicts: 2244000 | #Constraints: 59595
3413.69/3432.02 c #Conflicts: 2245000 | #Constraints: 60595
3413.69/3432.02 c #Conflicts: 2246000 | #Constraints: 61595
3413.69/3432.02 c #Conflicts: 2247000 | #Constraints: 62595
3413.69/3432.02 c #Conflicts: 2248000 | #Constraints: 63595
3413.69/3432.02 c #Conflicts: 2249000 | #Constraints: 64595
3413.69/3432.02 c #Conflicts: 2250000 | #Constraints: 65595
3413.69/3432.02 c #Conflicts: 2251000 | #Constraints: 66595
3413.69/3432.02 c #Conflicts: 2252000 | #Constraints: 67595
3413.69/3432.02 c #Conflicts: 2253000 | #Constraints: 68595
3413.69/3432.02 c #Conflicts: 2254000 | #Constraints: 69595
3413.69/3432.02 c #Conflicts: 2255000 | #Constraints: 70595
3413.69/3432.02 c #Conflicts: 2256000 | #Constraints: 71595
3413.69/3432.02 c INPROCESSING
3413.69/3432.02 c GARBAGE COLLECT
3413.69/3432.02 c rational objective 99
3473.10/3491.66 c #Conflicts: 2257000 | #Constraints: 42803
3473.10/3491.66 c #Conflicts: 2258000 | #Constraints: 43803
3473.10/3491.66 c #Conflicts: 2259000 | #Constraints: 44803
3473.10/3491.66 c #Conflicts: 2260000 | #Constraints: 45803
3473.10/3491.66 c #Conflicts: 2261000 | #Constraints: 46803
3473.10/3491.66 c #Conflicts: 2262000 | #Constraints: 47803
3473.10/3491.66 c #Conflicts: 2263000 | #Constraints: 48803
3473.10/3491.66 c #Conflicts: 2264000 | #Constraints: 49803
3473.10/3491.66 c #Conflicts: 2265000 | #Constraints: 50803
3473.10/3491.66 c #Conflicts: 2266000 | #Constraints: 51803
3473.10/3491.66 c #Conflicts: 2267000 | #Constraints: 52803
3473.10/3491.66 c #Conflicts: 2268000 | #Constraints: 53803
3473.10/3491.66 c #Conflicts: 2269000 | #Constraints: 54803
3473.10/3491.66 c #Conflicts: 2270000 | #Constraints: 55803
3473.10/3491.66 c #Conflicts: 2271000 | #Constraints: 56803
3473.10/3491.66 c #Conflicts: 2272000 | #Constraints: 57803
3473.10/3491.66 c #Conflicts: 2273000 | #Constraints: 58803
3473.10/3491.66 c #Conflicts: 2274000 | #Constraints: 59803
3473.10/3491.66 c #Conflicts: 2275000 | #Constraints: 60803
3473.10/3491.66 c #Conflicts: 2276000 | #Constraints: 61803
3473.10/3491.66 c #Conflicts: 2277000 | #Constraints: 62803
3473.10/3491.66 c #Conflicts: 2278000 | #Constraints: 63803
3473.10/3491.66 c #Conflicts: 2279000 | #Constraints: 64803
3473.10/3491.66 c #Conflicts: 2280000 | #Constraints: 65803
3473.10/3491.66 c #Conflicts: 2281000 | #Constraints: 66803
3473.10/3491.66 c #Conflicts: 2282000 | #Constraints: 67803
3473.10/3491.66 c #Conflicts: 2283000 | #Constraints: 68803
3473.10/3491.66 c #Conflicts: 2284000 | #Constraints: 69803
3473.10/3491.66 c #Conflicts: 2285000 | #Constraints: 70803
3473.10/3491.66 c #Conflicts: 2286000 | #Constraints: 71803
3473.10/3491.66 c INPROCESSING
3473.10/3491.66 c GARBAGE COLLECT
3473.10/3491.66 c rational objective 99
3531.36/3550.13 c #Conflicts: 2287000 | #Constraints: 42814
3531.36/3550.13 c #Conflicts: 2288000 | #Constraints: 43814
3531.36/3550.13 c #Conflicts: 2289000 | #Constraints: 44814
3531.36/3550.13 c #Conflicts: 2290000 | #Constraints: 45814
3531.36/3550.13 c #Conflicts: 2291000 | #Constraints: 46814
3531.36/3550.13 c #Conflicts: 2292000 | #Constraints: 47814
3531.36/3550.13 c #Conflicts: 2293000 | #Constraints: 48814
3531.36/3550.13 c #Conflicts: 2294000 | #Constraints: 49814
3531.36/3550.13 c #Conflicts: 2295000 | #Constraints: 50814
3531.36/3550.13 c #Conflicts: 2296000 | #Constraints: 51814
3531.36/3550.13 c #Conflicts: 2297000 | #Constraints: 52814
3531.36/3550.13 c #Conflicts: 2298000 | #Constraints: 53814
3531.36/3550.13 c #Conflicts: 2299000 | #Constraints: 54814
3531.36/3550.13 c #Conflicts: 2300000 | #Constraints: 55814
3531.36/3550.13 c #Conflicts: 2301000 | #Constraints: 56814
3531.36/3550.13 c #Conflicts: 2302000 | #Constraints: 57814
3531.36/3550.13 c #Conflicts: 2303000 | #Constraints: 58814
3531.36/3550.13 c #Conflicts: 2304000 | #Constraints: 59814
3531.36/3550.13 c #Conflicts: 2305000 | #Constraints: 60814
3531.36/3550.13 c #Conflicts: 2306000 | #Constraints: 61814
3531.36/3550.13 c #Conflicts: 2307000 | #Constraints: 62814
3531.36/3550.13 c #Conflicts: 2308000 | #Constraints: 63814
3531.36/3550.13 c #Conflicts: 2309000 | #Constraints: 64814
3531.36/3550.13 c #Conflicts: 2310000 | #Constraints: 65814
3531.36/3550.13 c #Conflicts: 2311000 | #Constraints: 66814
3531.36/3550.13 c #Conflicts: 2312000 | #Constraints: 67814
3531.36/3550.13 c #Conflicts: 2313000 | #Constraints: 68814
3531.36/3550.13 c #Conflicts: 2314000 | #Constraints: 69814
3531.36/3550.13 c #Conflicts: 2315000 | #Constraints: 70814
3531.36/3550.13 c #Conflicts: 2316000 | #Constraints: 71814
3531.36/3550.13 c INPROCESSING
3531.36/3550.13 c GARBAGE COLLECT
3531.36/3550.13 c rational objective 99
3593.45/3612.42 c #Conflicts: 2317000 | #Constraints: 42606
3593.45/3612.42 c #Conflicts: 2318000 | #Constraints: 43606
3593.45/3612.42 c #Conflicts: 2319000 | #Constraints: 44606
3593.45/3612.42 c #Conflicts: 2320000 | #Constraints: 45606
3593.45/3612.42 c #Conflicts: 2321000 | #Constraints: 46606
3593.45/3612.42 c #Conflicts: 2322000 | #Constraints: 47606
3593.45/3612.42 c #Conflicts: 2323000 | #Constraints: 48606
3593.45/3612.42 c #Conflicts: 2324000 | #Constraints: 49606
3593.45/3612.42 c #Conflicts: 2325000 | #Constraints: 50606
3593.45/3612.42 c #Conflicts: 2326000 | #Constraints: 51606
3593.45/3612.42 c #Conflicts: 2327000 | #Constraints: 52606
3593.45/3612.42 c #Conflicts: 2328000 | #Constraints: 53606
3593.45/3612.42 c #Conflicts: 2329000 | #Constraints: 54606
3593.45/3612.42 c #Conflicts: 2330000 | #Constraints: 55606
3593.45/3612.42 c #Conflicts: 2331000 | #Constraints: 56606
3593.45/3612.42 c #Conflicts: 2332000 | #Constraints: 57606
3593.45/3612.42 c #Conflicts: 2333000 | #Constraints: 58606
3593.45/3612.42 c #Conflicts: 2334000 | #Constraints: 59606
3593.45/3612.42 c #Conflicts: 2335000 | #Constraints: 60606
3593.45/3612.42 c #Conflicts: 2336000 | #Constraints: 61606
3593.45/3612.42 c #Conflicts: 2337000 | #Constraints: 62606
3593.45/3612.42 c #Conflicts: 2338000 | #Constraints: 63606
3593.45/3612.42 c #Conflicts: 2339000 | #Constraints: 64606
3593.45/3612.42 c #Conflicts: 2340000 | #Constraints: 65606
3593.45/3612.42 c #Conflicts: 2341000 | #Constraints: 66606
3593.45/3612.42 c #Conflicts: 2342000 | #Constraints: 67606
3593.45/3612.42 c #Conflicts: 2343000 | #Constraints: 68606
3593.45/3612.42 c #Conflicts: 2344000 | #Constraints: 69606
3593.45/3612.42 c #Conflicts: 2345000 | #Constraints: 70606
3593.45/3612.42 c #Conflicts: 2346000 | #Constraints: 71606
3593.45/3612.42 c #Conflicts: 2347000 | #Constraints: 72606
3593.45/3612.42 c INPROCESSING
3593.45/3612.42 c GARBAGE COLLECT
3593.45/3612.42 c rational objective 99
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (63010 MiB free)
memory of node 1: 64507 MiB (63836 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499997-1751414790/watcher-4499997-1751414790 -o /tmp/evaluation-result-4499997-1751414790/solver-4499997-1751414790 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751410769-57040 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4499997-1751414790.opb PROOFDIR/proof-4499997-1751414790
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=57712, runsolver pid=57709
Current StackSize limit: 8192 KiB
[startup+0.100117 s]*
/proc/loadavg: 2.06 2.09 2.09 3/244 57714
/proc/meminfo: memFree=129863144/131382112 swapFree=33009904/33010684
[pid=57712] ppid=57709 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/57712/stat : 57712 (run-opt-ls-log.) S 57709 57712 57001 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57157951 4292608 704 18446744073709551615 94814243557376 94814244451909 140723268202048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94814244690960 94814244738704 94814247284736 140723268208923 140723268209121 140723268209121 140723268214723 0
/proc/57712/statm: 1048 704 672 219 0 110 0
[pid=57714] ppid=57712 vsize=56268 memory=45172 CPUtime=0.08 cores=1,3
/proc/57714/stat : 57714 (pbsuma) R 57712 57712 57001 0 -1 4194304 3588 0 0 0 6 2 0 0 20 0 1 0 57157952 57618432 11293 18446744073709551615 4210688 4653049 140722753991024 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 36110336 140722753992931 140722753993266 140722753993266 140722753998831 0
/proc/57714/statm: 14067 11293 992 108 0 11475 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 60460 KiB
Current children cumulated memory: 47988 KiB
[startup+0.213849 s]*
/proc/loadavg: 2.06 2.09 2.09 3/244 57714
/proc/meminfo: memFree=129859048/131382112 swapFree=33009904/33010684
[pid=57712] ppid=57709 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/57712/stat : 57712 (run-opt-ls-log.) S 57709 57712 57001 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57157951 4292608 704 18446744073709551615 94814243557376 94814244451909 140723268202048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94814244690960 94814244738704 94814247284736 140723268208923 140723268209121 140723268209121 140723268214723 0
/proc/57712/statm: 1048 704 672 219 0 110 0
[pid=57714] ppid=57712 vsize=63972 memory=55036 CPUtime=0.2 cores=1,3
/proc/57714/stat : 57714 (pbsuma) R 57712 57712 57001 0 -1 4194304 6249 0 0 0 17 3 0 0 20 0 1 0 57157952 65507328 13759 18446744073709551615 4210688 4653049 140722753991024 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 36110336 140722753992931 140722753993266 140722753993266 140722753998831 0
/proc/57714/statm: 15993 13759 992 108 0 13401 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 68164 KiB
Current children cumulated memory: 57852 KiB
[startup+0.313687 s]*
/proc/loadavg: 2.06 2.09 2.09 3/244 57714
/proc/meminfo: memFree=129859236/131382112 swapFree=33009904/33010684
[pid=57712] ppid=57709 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/57712/stat : 57712 (run-opt-ls-log.) S 57709 57712 57001 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57157951 4292608 704 18446744073709551615 94814243557376 94814244451909 140723268202048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94814244690960 94814244738704 94814247284736 140723268208923 140723268209121 140723268209121 140723268214723 0
/proc/57712/statm: 1048 704 672 219 0 110 0
[pid=57714] ppid=57712 vsize=69120 memory=62332 CPUtime=0.3 cores=1,3
/proc/57714/stat : 57714 (pbsuma) R 57712 57712 57001 0 -1 4194304 8069 0 0 0 26 4 0 0 20 0 1 0 57157952 70778880 15583 18446744073709551615 4210688 4653049 140722753991024 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 36110336 140722753992931 140722753993266 140722753993266 140722753998831 0
/proc/57714/statm: 17280 15583 992 108 0 14688 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 73312 KiB
Current children cumulated memory: 65148 KiB
[startup+0.700394 s]
/proc/loadavg: 2.06 2.09 2.09 3/244 57714
/proc/meminfo: memFree=129790368/131382112 swapFree=33009904/33010684
[pid=57712] ppid=57709 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/57712/stat : 57712 (run-opt-ls-log.) S 57709 57712 57001 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57157951 4292608 704 18446744073709551615 94814243557376 94814244451909 140723268202048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94814244690960 94814244738704 94814247284736 140723268208923 140723268209121 140723268209121 140723268214723 0
/proc/57712/statm: 1048 704 672 219 0 110 0
[pid=57714] ppid=57712 vsize=189512 memory=144892 CPUtime=0.67 cores=1,3
/proc/57714/stat : 57714 (pbsuma) R 57712 57712 57001 0 -1 4194304 24868 0 0 0 56 11 0 0 20 0 1 0 57157952 194060288 36223 18446744073709551615 4210688 4653049 140722753991024 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 36110336 140722753992931 140722753993266 140722753993266 140722753998831 0
/proc/57714/statm: 47378 36223 1056 108 0 44786 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 193704 KiB
Current children cumulated memory: 147708 KiB
[startup+1.50042 s]
/proc/loadavg: 2.06 2.09 2.09 3/244 57715
/proc/meminfo: memFree=129774112/131382112 swapFree=33009904/33010684
[pid=57712] ppid=57709 vsize=4192 memory=2816 CPUtime=0.82 cores=1,3
/proc/57712/stat : 57712 (run-opt-ls-log.) S 57709 57712 57001 0 -1 4194304 242 30505 0 0 0 0 68 14 20 0 1 0 57157951 4292608 704 18446744073709551615 94814243557376 94814244451909 140723268202048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94814244690960 94814244738704 94814247284736 140723268208923 140723268209121 140723268209121 140723268214723 0
/proc/57712/statm: 1048 704 672 219 0 110 0
[pid=57715] ppid=57712 vsize=115676 memory=71624 CPUtime=0.63 cores=1,3
/proc/57715/stat : 57715 (roundingsat) R 57712 57712 57001 0 -1 4194304 15114 0 0 0 49 14 0 0 20 0 1 0 57158036 118452224 17906 18446744073709551615 4227072 8923433 140726929047264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29478912 140726929053942 140726929054248 140726929054248 140726929059818 0
/proc/57715/statm: 28919 17906 2016 1147 0 16346 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 119868 KiB
Current children cumulated memory: 74440 KiB
[startup+3.11331 s]
/proc/loadavg: 2.06 2.09 2.09 3/244 57715
/proc/meminfo: memFree=129639588/131382112 swapFree=33009904/33010684
[pid=57712] ppid=57709 vsize=4192 memory=2816 CPUtime=0.82 cores=1,3
/proc/57712/stat : 57712 (run-opt-ls-log.) S 57709 57712 57001 0 -1 4194304 242 30505 0 0 0 0 68 14 20 0 1 0 57157951 4292608 704 18446744073709551615 94814243557376 94814244451909 140723268202048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94814244690960 94814244738704 94814247284736 140723268208923 140723268209121 140723268209121 140723268214723 0
/proc/57712/statm: 1048 704 672 219 0 110 0
[pid=57715] ppid=57712 vsize=329864 memory=262012 CPUtime=2.23 cores=1,3
/proc/57715/stat : 57715 (roundingsat) R 57712 57712 57001 0 -1 4194304 34390 0 0 0 192 31 0 0 20 0 1 0 57158036 337780736 65503 18446744073709551615 4227072 8923433 140726929047264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29478912 140726929053942 140726929054248 140726929054248 140726929059818 0
/proc/57715/statm: 82466 65503 2304 1147 0 69893 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 334056 KiB
Current children cumulated memory: 264828 KiB
[startup+6.30045 s]
/proc/loadavg: 2.14 2.10 2.09 3/244 57715
/proc/meminfo: memFree=129534748/131382112 swapFree=33009904/33010684
[pid=57712] ppid=57709 vsize=4192 memory=2816 CPUtime=0.82 cores=1,3
/proc/57712/stat : 57712 (run-opt-ls-log.) S 57709 57712 57001 0 -1 4194304 242 30505 0 0 0 0 68 14 20 0 1 0 57157951 4292608 704 18446744073709551615 94814243557376 94814244451909 140723268202048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94814244690960 94814244738704 94814247284736 140723268208923 140723268209121 140723268209121 140723268214723 0
/proc/57712/statm: 1048 704 672 219 0 110 0
[pid=57715] ppid=57712 vsize=452188 memory=362304 CPUtime=5.41 cores=1,3
/proc/57715/stat : 57715 (roundingsat) R 57712 57712 57001 0 -1 4194304 50263 0 0 0 502 39 0 0 20 0 1 0 57158036 463040512 90576 18446744073709551615 4227072 8923433 140726929047264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29478912 140726929053942 140726929054248 140726929054248 140726929059818 0
/proc/57715/statm: 113047 90576 2400 1147 0 100474 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 456380 KiB
Current children cumulated memory: 365120 KiB
[startup+12.7004 s]
/proc/loadavg: 2.13 2.10 2.09 3/244 57715
/proc/meminfo: memFree=129526684/131382112 swapFree=33009904/33010684
[pid=57712] ppid=57709 vsize=4192 memory=2816 CPUtime=0.82 cores=1,3
/proc/57712/stat : 57712 (run-opt-ls-log.) S 57709 57712 57001 0 -1 4194304 242 30505 0 0 0 0 68 14 20 0 1 0 57157951 4292608 704 18446744073709551615 94814243557376 94814244451909 140723268202048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94814244690960 94814244738704 94814247284736 140723268208923 140723268209121 140723268209121 140723268214723 0
/proc/57712/statm: 1048 704 672 219 0 110 0
[pid=57715] ppid=57712 vsize=454096 memory=368904 CPUtime=11.8 cores=1,3
/proc/57715/stat : 57715 (roundingsat) R 57712 57712 57001 0 -1 4194304 51428 0 0 0 1138 42 0 0 20 0 1 0 57158036 464994304 92226 18446744073709551615 4227072 8923433 140726929047264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29478912 140726929053942 140726929054248 140726929054248 140726929059818 0
/proc/57715/statm: 113524 92226 2400 1147 0 100951 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 458288 KiB
Current children cumulated memory: 371720 KiB
[startup+25.5005 s]
/proc/loadavg: 2.10 2.09 2.09 3/242 57716
/proc/meminfo: memFree=129412296/131382112 swapFree=33009904/33010684
[pid=57712] ppid=57709 vsize=4192 memory=2816 CPUtime=0.82 cores=1,3
/proc/57712/stat : 57712 (run-opt-ls-log.) S 57709 57712 57001 0 -1 4194304 242 30505 0 0 0 0 68 14 20 0 1 0 57157951 4292608 704 18446744073709551615 94814243557376 94814244451909 140723268202048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94814244690960 94814244738704 94814247284736 140723268208923 140723268209121 140723268209121 140723268214723 0
/proc/57712/statm: 1048 704 672 219 0 110 0
[pid=57715] ppid=57712 vsize=454980 memory=370824 CPUtime=24.55 cores=1,3
/proc/57715/stat : 57715 (roundingsat) R 57712 57712 57001 0 -1 4194304 51899 0 0 0 2397 58 0 0 20 0 1 0 57158036 465899520 92706 18446744073709551615 4227072 8923433 140726929047264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29478912 140726929053942 140726929054248 140726929054248 140726929059818 0
/proc/57715/statm: 113745 92706 2400 1147 0 101172 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 459172 KiB
Current children cumulated memory: 373640 KiB
[startup+51.1138 s]
/proc/loadavg: 2.14 2.10 2.09 3/249 57723
/proc/meminfo: memFree=129317340/131382112 swapFree=33009904/33010684
[pid=57712] ppid=57709 vsize=4192 memory=2816 CPUtime=0.82 cores=1,3
/proc/57712/stat : 57712 (run-opt-ls-log.) S 57709 57712 57001 0 -1 4194304 242 30505 0 0 0 0 68 14 20 0 1 0 57157951 4292608 704 18446744073709551615 94814243557376 94814244451909 140723268202048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94814244690960 94814244738704 94814247284736 140723268208923 140723268209121 140723268209121 140723268214723 0
/proc/57712/statm: 1048 704 672 219 0 110 0
[pid=57715] ppid=57712 vsize=510040 memory=414308 CPUtime=50.08 cores=1,3
/proc/57715/stat : 57715 (roundingsat) R 57712 57712 57001 0 -1 4194304 57660 0 0 0 4922 86 0 0 20 0 1 0 57158036 522280960 103577 18446744073709551615 4227072 8923433 140726929047264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29478912 140726929053942 140726929054248 140726929054248 140726929059818 0
/proc/57715/statm: 127510 103577 2432 1147 0 114937 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 514232 KiB
Current children cumulated memory: 417124 KiB
[startup+102.3 s]
/proc/loadavg: 2.13 2.10 2.09 2/249 57725
/proc/meminfo: memFree=129069456/131382112 swapFree=33009904/33010684
[pid=57712] ppid=57709 vsize=4192 memory=2816 CPUtime=0.82 cores=1,3
/proc/57712/stat : 57712 (run-opt-ls-log.) S 57709 57712 57001 0 -1 4194304 242 30505 0 0 0 0 68 14 20 0 1 0 57157951 4292608 704 18446744073709551615 94814243557376 94814244451909 140723268202048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94814244690960 94814244738704 94814247284736 140723268208923 140723268209121 140723268209121 140723268214723 0
/proc/57712/statm: 1048 704 672 219 0 110 0
[pid=57715] ppid=57712 vsize=526256 memory=434728 CPUtime=100.55 cores=1,3
/proc/57715/stat : 57715 (roundingsat) R 57712 57712 57001 0 -1 4194304 59521 0 0 0 9921 134 0 0 20 0 1 0 57158036 538886144 108682 18446744073709551615 4227072 8923433 140726929047264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29478912 140726929053942 140726929054248 140726929054248 140726929059818 0
/proc/57715/statm: 131564 108682 2432 1147 0 118991 0
Current children cumulated CPU time: 101.37 s
Current children cumulated vsize: 530448 KiB
Current children cumulated memory: 437544 KiB
[startup+162.3 s]
/proc/loadavg: 2.09 2.09 2.09 3/250 57732
/proc/meminfo: memFree=128770460/131382112 swapFree=33009904/33010684
[pid=57712] ppid=57709 vsize=4192 memory=2816 CPUtime=0.82 cores=1,3
/proc/57712/stat : 57712 (run-opt-ls-log.) S 57709 57712 57001 0 -1 4194304 242 30505 0 0 0 0 68 14 20 0 1 0 57157951 4292608 704 18446744073709551615 94814243557376 94814244451909 140723268202048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94814244690960 94814244738704 94814247284736 140723268208923 140723268209121 140723268209121 140723268214723 0
/proc/57712/statm: 1048 704 672 219 0 110 0
[pid=57715] ppid=57712 vsize=526256 memory=444840 CPUtime=160.27 cores=1,3
/proc/57715/stat : 57715 (roundingsat) R 57712 57712 57001 0 -1 4194304 59624 0 0 0 15840 187 0 0 20 0 1 0 57158036 538886144 111210 18446744073709551615 4227072 8923433 140726929047264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29478912 140726929053942 140726929054248 140726929054248 140726929059818 0
/proc/57715/statm: 131564 111210 2432 1147 0 118991 0
Current children cumulated CPU time: 161.09 s
Current children cumulated vsize: 530448 KiB
Current children cumulated memory: 447656 KiB
[startup+222.3 s]
/proc/loadavg: 2.19 2.12 2.10 3/249 57734
/proc/meminfo: memFree=128520072/131382112 swapFree=33009904/33010684
[pid=57712] ppid=57709 vsize=4192 memory=2816 CPUtime=0.82 cores=1,3
/proc/57712/stat : 57712 (run-opt-ls-log.) S 57709 57712 57001 0 -1 4194304 242 30505 0 0 0 0 68 14 20 0 1 0 57157951 4292608 704 18446744073709551615 94814243557376 94814244451909 140723268202048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94814244690960 94814244738704 94814247284736 140723268208923 140723268209121 140723268209121 140723268214723 0
/proc/57712/statm: 1048 704 672 219 0 110 0
[pid=57715] ppid=57712 vsize=526256 memory=452392 CPUtime=219.86 cores=1,3
/proc/57715/stat : 57715 (roundingsat) R 57712 57712 57001 0 -1 4194304 59753 0 0 0 21746 240 0 0 20 0 1 0 57158036 538886144 113098 18446744073709551615 4227072 8923433 140726929047264 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 29478912 140726929053942 140726929054248 140726929054248 140726929059818 0
/proc/57715/statm: 131564 113098 2432 1147 0 118991 0
################
# More data... #
################
/proc/meminfo: memFree=103372232/131382112 swapFree=33009904/33010684
[pid=57712] ppid=57709 vsize=4192 memory=2816 CPUtime=0.82 cores=1,3
/proc/57712/stat : 57712 (run-opt-ls-log.) S 57709 57712 57001 0 -1 4194304 242 30505 0 0 0 0 68 14 20 0 1 0 57157951 4292608 704 18446744073709551615 94814243557376 94814244451909 140723268202048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94814244690960 94814244738704 94814247284736 140723268208923 140723268209121 140723268209121 140723268214723 0
/proc/57712/statm: 1048 704 672 219 0 110 0
[pid=57715] ppid=57712 vsize=656216 memory=570080 CPUtime=3263.94 cores=1,3
/proc/57715/stat : 57715 (roundingsat) R 57712 57712 57001 0 -1 4194304 67656 0 0 0 323535 2859 0 0 20 0 1 0 57158036 671965184 142520 18446744073709551615 4227072 8923433 140726929047264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29478912 140726929053942 140726929054248 140726929054248 140726929059818 0
/proc/57715/statm: 164054 142520 2560 1147 0 151481 0
Current children cumulated CPU time: 3264.76 s
Current children cumulated vsize: 660408 KiB
Current children cumulated memory: 572896 KiB
[startup+3342.3 s]
/proc/loadavg: 2.16 2.21 2.15 3/249 59545
/proc/meminfo: memFree=102880588/131382112 swapFree=33009904/33010684
[pid=57712] ppid=57709 vsize=4192 memory=2816 CPUtime=0.82 cores=1,3
/proc/57712/stat : 57712 (run-opt-ls-log.) S 57709 57712 57001 0 -1 4194304 242 30505 0 0 0 0 68 14 20 0 1 0 57157951 4292608 704 18446744073709551615 94814243557376 94814244451909 140723268202048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94814244690960 94814244738704 94814247284736 140723268208923 140723268209121 140723268209121 140723268214723 0
/proc/57712/statm: 1048 704 672 219 0 110 0
[pid=57715] ppid=57712 vsize=656216 memory=570080 CPUtime=3323.49 cores=1,3
/proc/57715/stat : 57715 (roundingsat) R 57712 57712 57001 0 -1 4194304 67656 0 0 0 329443 2906 0 0 20 0 1 0 57158036 671965184 142520 18446744073709551615 4227072 8923433 140726929047264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29478912 140726929053942 140726929054248 140726929054248 140726929059818 0
/proc/57715/statm: 164054 142520 2560 1147 0 151481 0
Current children cumulated CPU time: 3324.31 s
Current children cumulated vsize: 660408 KiB
Current children cumulated memory: 572896 KiB
[startup+3402.3 s]
/proc/loadavg: 2.10 2.18 2.14 3/254 59552
/proc/meminfo: memFree=102260540/131382112 swapFree=33009904/33010684
[pid=57712] ppid=57709 vsize=4192 memory=2816 CPUtime=0.82 cores=1,3
/proc/57712/stat : 57712 (run-opt-ls-log.) S 57709 57712 57001 0 -1 4194304 242 30505 0 0 0 0 68 14 20 0 1 0 57157951 4292608 704 18446744073709551615 94814243557376 94814244451909 140723268202048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94814244690960 94814244738704 94814247284736 140723268208923 140723268209121 140723268209121 140723268214723 0
/proc/57712/statm: 1048 704 672 219 0 110 0
[pid=57715] ppid=57712 vsize=656216 memory=574188 CPUtime=3383.26 cores=1,3
/proc/57715/stat : 57715 (roundingsat) R 57712 57712 57001 0 -1 4194304 67658 0 0 0 335368 2958 0 0 20 0 1 0 57158036 671965184 143547 18446744073709551615 4227072 8923433 140726929047264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29478912 140726929053942 140726929054248 140726929054248 140726929059818 0
/proc/57715/statm: 164054 143547 2560 1147 0 151481 0
Current children cumulated CPU time: 3384.08 s
Current children cumulated vsize: 660408 KiB
Current children cumulated memory: 577004 KiB
[startup+3462.3 s]
/proc/loadavg: 2.10 2.16 2.14 3/254 59553
/proc/meminfo: memFree=101761848/131382112 swapFree=33009904/33010684
[pid=57712] ppid=57709 vsize=4192 memory=2816 CPUtime=0.82 cores=1,3
/proc/57712/stat : 57712 (run-opt-ls-log.) S 57709 57712 57001 0 -1 4194304 242 30505 0 0 0 0 68 14 20 0 1 0 57157951 4292608 704 18446744073709551615 94814243557376 94814244451909 140723268202048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94814244690960 94814244738704 94814247284736 140723268208923 140723268209121 140723268209121 140723268214723 0
/proc/57712/statm: 1048 704 672 219 0 110 0
[pid=57715] ppid=57712 vsize=656216 memory=574188 CPUtime=3443.07 cores=1,3
/proc/57715/stat : 57715 (roundingsat) R 57712 57712 57001 0 -1 4194304 67658 0 0 0 341303 3004 0 0 20 0 1 0 57158036 671965184 143547 18446744073709551615 4227072 8923433 140726929047264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29478912 140726929053942 140726929054248 140726929054248 140726929059818 0
/proc/57715/statm: 164054 143547 2560 1147 0 151481 0
Current children cumulated CPU time: 3443.89 s
Current children cumulated vsize: 660408 KiB
Current children cumulated memory: 577004 KiB
[startup+3522.3 s]
/proc/loadavg: 2.08 2.15 2.13 3/251 59555
/proc/meminfo: memFree=101204700/131382112 swapFree=33009904/33010684
[pid=57712] ppid=57709 vsize=4192 memory=2816 CPUtime=0.82 cores=1,3
/proc/57712/stat : 57712 (run-opt-ls-log.) S 57709 57712 57001 0 -1 4194304 242 30505 0 0 0 0 68 14 20 0 1 0 57157951 4292608 704 18446744073709551615 94814243557376 94814244451909 140723268202048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94814244690960 94814244738704 94814247284736 140723268208923 140723268209121 140723268209121 140723268214723 0
/proc/57712/statm: 1048 704 672 219 0 110 0
[pid=57715] ppid=57712 vsize=656216 memory=574188 CPUtime=3502.88 cores=1,3
/proc/57715/stat : 57715 (roundingsat) R 57712 57712 57001 0 -1 4194304 67710 0 0 0 347223 3065 0 0 20 0 1 0 57158036 671965184 143547 18446744073709551615 4227072 8923433 140726929047264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29478912 140726929053942 140726929054248 140726929054248 140726929059818 0
/proc/57715/statm: 164054 143547 2560 1147 0 151481 0
Current children cumulated CPU time: 3503.7 s
Current children cumulated vsize: 660408 KiB
Current children cumulated memory: 577004 KiB
[startup+3582.3 s]
/proc/loadavg: 2.15 2.15 2.13 3/251 59557
/proc/meminfo: memFree=100654684/131382112 swapFree=33009904/33010684
[pid=57712] ppid=57709 vsize=4192 memory=2816 CPUtime=0.82 cores=1,3
/proc/57712/stat : 57712 (run-opt-ls-log.) S 57709 57712 57001 0 -1 4194304 242 30505 0 0 0 0 68 14 20 0 1 0 57157951 4292608 704 18446744073709551615 94814243557376 94814244451909 140723268202048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94814244690960 94814244738704 94814247284736 140723268208923 140723268209121 140723268209121 140723268214723 0
/proc/57712/statm: 1048 704 672 219 0 110 0
[pid=57715] ppid=57712 vsize=656216 memory=574188 CPUtime=3562.63 cores=1,3
/proc/57715/stat : 57715 (roundingsat) R 57712 57712 57001 0 -1 4194304 67832 0 0 0 353142 3121 0 0 20 0 1 0 57158036 671965184 143547 18446744073709551615 4227072 8923433 140726929047264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29478912 140726929053942 140726929054248 140726929054248 140726929059818 0
/proc/57715/statm: 164054 143547 2560 1147 0 151481 0
Current children cumulated CPU time: 3563.45 s
Current children cumulated vsize: 660408 KiB
Current children cumulated memory: 577004 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3619 s]*
/proc/loadavg: 2.08 2.13 2.12 3/251 59559
/proc/meminfo: memFree=100357420/131382112 swapFree=33009904/33010684
[pid=57712] ppid=57709 vsize=4192 memory=2816 CPUtime=0.82 cores=1,3
/proc/57712/stat : 57712 (run-opt-ls-log.) S 57709 57712 57001 0 -1 4194304 242 30505 0 0 0 0 68 14 20 0 1 0 57157951 4292608 704 18446744073709551615 94814243557376 94814244451909 140723268202048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94814244690960 94814244738704 94814247284736 140723268208923 140723268209121 140723268209121 140723268214723 0
/proc/57712/statm: 1048 704 672 219 0 110 0
[pid=57715] ppid=57712 vsize=656216 memory=578284 CPUtime=3599.22 cores=1,3
/proc/57715/stat : 57715 (roundingsat) R 57712 57712 57001 0 -1 4194304 67849 0 0 0 356769 3153 0 0 20 0 1 0 57158036 671965184 144571 18446744073709551615 4227072 8923433 140726929047264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29478912 140726929053942 140726929054248 140726929054248 140726929059818 0
/proc/57715/statm: 164054 144571 2560 1147 0 151481 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 660408 KiB
Current children cumulated memory: 581100 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3619.02 s]
# the end of solver process 57712 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.685268 s, system=0.151335 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3621.08 s]
# the end of solver process 57715 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3570.36 s, system=31.7119 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+3619.21 s]
/proc/loadavg: 2.08 2.13 2.12 3/250 59559
/proc/meminfo: memFree=100357420/131382112 swapFree=33009904/33010684
[pid=57715] ppid=57709 vsize=656216 memory=578284 CPUtime=3599.42 cores=1,3
/proc/57715/stat : 57715 (roundingsat) R 57709 57712 57001 0 -1 4194304 67849 0 0 0 356789 3153 0 0 20 0 1 0 57158036 671965184 144571 18446744073709551615 4227072 8923433 140726929047264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29478912 140726929053942 140726929054248 140726929054248 140726929059818 0
/proc/57715/statm: 164054 144571 2560 1147 0 151481 0
Current cumulated CPU time of completed processes: 0.836603 s
Current children cumulated CPU time: 3599.42 s
Current children cumulated vsize: 656216 KiB
Current children cumulated memory: 578284 KiB
[startup+3620 s]*
/proc/loadavg: 2.08 2.13 2.12 3/250 59559
/proc/meminfo: memFree=100349356/131382112 swapFree=33009904/33010684
[pid=57715] ppid=57709 vsize=656216 memory=578284 CPUtime=3600.21 cores=1,3
/proc/57715/stat : 57715 (roundingsat) R 57709 57712 57001 0 -1 4194304 67849 0 0 0 356868 3153 0 0 20 0 1 0 57158036 671965184 144571 18446744073709551615 4227072 8923433 140726929047264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29478912 140726929053942 140726929054248 140726929054248 140726929059818 0
/proc/57715/statm: 164054 144571 2560 1147 0 151481 0
Current cumulated CPU time of completed processes: 0.836603 s
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 656216 KiB
Current children cumulated memory: 578284 KiB
[startup+3620.8 s]
/proc/loadavg: 2.08 2.13 2.12 3/250 59559
/proc/meminfo: memFree=100349356/131382112 swapFree=33009904/33010684
[pid=57715] ppid=57709 vsize=656216 memory=578284 CPUtime=3601 cores=1,3
/proc/57715/stat : 57715 (roundingsat) R 57709 57712 57001 0 -1 4194304 67849 0 0 0 356946 3154 0 0 20 0 1 0 57158036 671965184 144571 18446744073709551615 4227072 8923433 140726929047264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29478912 140726929053942 140726929054248 140726929054248 140726929059818 0
/proc/57715/statm: 164054 144571 2560 1147 0 151481 0
Current cumulated CPU time of completed processes: 0.836603 s
Current children cumulated CPU time: 3601 s
Current children cumulated vsize: 656216 KiB
Current children cumulated memory: 578284 KiB
[startup+3621 s]*
/proc/loadavg: 2.07 2.13 2.12 3/250 59559
/proc/meminfo: memFree=100368772/131382112 swapFree=33009904/33010684
[pid=57715] ppid=57709 vsize=656216 memory=578284 CPUtime=3601.21 cores=1,3
/proc/57715/stat : 57715 (roundingsat) R 57709 57712 57001 0 -1 4194304 67849 0 0 0 356967 3154 0 0 20 0 1 0 57158036 671965184 144571 18446744073709551615 4227072 8923433 140726929047264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29478912 140726929053942 140726929054248 140726929054248 140726929059818 0
/proc/57715/statm: 164054 144571 2560 1147 0 151481 0
Current cumulated CPU time of completed processes: 0.836603 s
Current children cumulated CPU time: 3601.21 s
Current children cumulated vsize: 656216 KiB
Current children cumulated memory: 578284 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3621.08
CPU time (s): 3602.08
CPU user time (s): 3570.36
CPU system time (s): 31.7119
CPU usage (%): 99.4751
Max. virtual memory (cumulated for all children) (KiB): 660408
Max. memory (cumulated for all children) (KiB): 581100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.36
system time used= 31.7119
maximum resident set size= 578284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98596
page faults= 0
swaps= 0
block input operations= 0
block output operations= 25374184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3017
involuntary context switches= 10533
# summary of solver processes directly reported to runsolver:
# pid: 57712,57715
# total CPU time (s): 3602.08
# total CPU user time (s): 3570.36
# total CPU system time (s): 31.7119
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.449 second user time and 36.4119 second system time
The end
Begin job on nodeC001 at 2025-07-02 02:06:31
IDJOB=4499997
IDBENCH=149053
IDSOLVER=3356
FILE ID=nodeC001/4499997-1751414790
RUNJOBID= nodeC001-1751410769-57040
SLURM_JOB_ID= 9598319
Free space on /tmp= 433000 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB10/OPT-LIN/oliveras/j120opt/normalized-j12055_1.std.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499997-1751414790/watcher-4499997-1751414790 -o /tmp/evaluation-result-4499997-1751414790/solver-4499997-1751414790 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751410769-57040 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4499997-1751414790.opb PROOFDIR/proof-4499997-1751414790
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f0efccbc116c51a095a75c7835df95b0
RANDOM SEED=1102349802
nodeC001 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.508
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.725
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.100
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.351
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3659.927
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.474
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129891816 kB
MemAvailable: 129809980 kB
Buffers: 1668 kB
Cached: 714544 kB
SwapCached: 20 kB
Active: 476308 kB
Inactive: 410908 kB
Active(anon): 166276 kB
Inactive(anon): 22624 kB
Active(file): 310032 kB
Inactive(file): 388284 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 15228 kB
Writeback: 12 kB
AnonPages: 174116 kB
Mapped: 108520 kB
Shmem: 17896 kB
KReclaimable: 118568 kB
Slab: 202364 kB
SReclaimable: 118568 kB
SUnreclaim: 83796 kB
KernelStack: 3856 kB
PageTables: 3040 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 459104 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149368 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 108544 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 195400 kB
DirectMap2M: 9144320 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432988 MiB
End job on nodeC001 at 2025-07-02 03:06:52