0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.02	c #variables 4688 #constraints 403
2.28/2.34	c bounds - >= 0 @ 0.018674
2.28/2.34	c bounds 263 >= 0 @ 0.487325
2.28/2.34	c bounds 263 >= 1 @ 0.488326
2.28/2.34	c bounds 263 >= 2 @ 0.488364
2.28/2.34	c bounds 263 >= 3 @ 0.488364
2.28/2.34	c bounds 263 >= 4 @ 0.488364
2.28/2.34	c bounds 263 >= 5 @ 0.488365
2.28/2.34	c bounds 263 >= 6 @ 0.488367
2.28/2.34	c bounds 263 >= 7 @ 0.488367
2.28/2.34	c bounds 263 >= 8 @ 0.48936
2.28/2.34	c bounds 263 >= 9 @ 0.489364
2.28/2.34	c bounds 263 >= 10 @ 0.490359
2.28/2.34	c bounds 263 >= 11 @ 0.490816
2.28/2.34	c bounds 263 >= 12 @ 0.492521
2.28/2.34	c bounds 263 >= 13 @ 0.493352
2.28/2.34	c bounds 263 >= 14 @ 0.494347
2.28/2.34	c bounds 263 >= 15 @ 0.495342
2.28/2.34	c bounds 263 >= 16 @ 0.496341
2.28/2.34	c bounds 263 >= 17 @ 0.497338
2.28/2.34	c bounds 263 >= 18 @ 0.498356
2.28/2.34	c bounds 263 >= 19 @ 0.499487
2.28/2.34	c bounds 263 >= 20 @ 0.501329
2.28/2.34	c bounds 262 >= 20 @ 0.520306
2.28/2.34	c bounds 262 >= 21 @ 0.521259
2.28/2.34	c bounds 262 >= 22 @ 0.522018
2.28/2.34	c bounds 262 >= 23 @ 0.524249
2.28/2.34	c bounds 262 >= 24 @ 0.524251
2.28/2.34	c bounds 262 >= 25 @ 0.52525
2.28/2.34	c bounds 262 >= 26 @ 0.52723
2.28/2.34	c bounds 262 >= 27 @ 0.528412
2.28/2.34	c bounds 262 >= 28 @ 0.530588
2.28/2.34	c bounds 262 >= 29 @ 0.532219
2.28/2.34	c bounds 262 >= 30 @ 0.5344
2.28/2.34	c bounds 262 >= 31 @ 0.53621
2.28/2.34	c bounds 262 >= 32 @ 0.538106
2.28/2.34	c bounds 262 >= 33 @ 0.539203
2.28/2.34	c bounds 262 >= 34 @ 0.543053
2.28/2.34	c bounds 262 >= 35 @ 0.54614
2.28/2.34	c bounds 262 >= 36 @ 0.547185
2.28/2.34	c bounds 262 >= 37 @ 0.550438
2.28/2.34	c bounds 262 >= 38 @ 0.551174
2.28/2.34	c bounds 262 >= 39 @ 0.553166
2.28/2.34	c bounds 262 >= 40 @ 0.555162
2.28/2.34	c bounds 262 >= 41 @ 0.556159
2.28/2.34	c bounds 261 >= 41 @ 0.5813
2.28/2.34	c bounds 261 >= 42 @ 0.582918
2.28/2.34	c bounds 261 >= 43 @ 0.584042
2.28/2.34	c bounds 261 >= 44 @ 0.586037
2.28/2.34	c bounds 261 >= 45 @ 0.588099
2.28/2.34	c bounds 261 >= 46 @ 0.589026
2.28/2.34	c bounds 261 >= 47 @ 0.592017
2.28/2.34	c bounds 261 >= 48 @ 0.593018
2.28/2.34	c bounds 261 >= 49 @ 0.594016
2.28/2.34	c bounds 261 >= 50 @ 0.596268
2.28/2.34	c bounds 261 >= 51 @ 0.598598
2.28/2.34	c bounds 261 >= 52 @ 0.601
2.28/2.34	c bounds 261 >= 53 @ 0.603989
2.28/2.34	c bounds 261 >= 54 @ 0.607981
2.28/2.34	c bounds 261 >= 55 @ 0.60898
2.28/2.34	c bounds 261 >= 56 @ 0.610978
2.28/2.34	c bounds 261 >= 57 @ 0.613674
2.28/2.34	c bounds 261 >= 58 @ 0.615966
2.28/2.34	c bounds 261 >= 59 @ 0.616464
2.28/2.34	c bounds 261 >= 60 @ 0.621391
2.28/2.34	c bounds 261 >= 61 @ 0.622952
2.28/2.34	c bounds 261 >= 62 @ 0.624948
2.28/2.34	c bounds 261 >= 63 @ 0.626033
2.28/2.34	c bounds 260 >= 63 @ 0.645017
2.28/2.34	c bounds 260 >= 64 @ 0.646448
2.28/2.34	c bounds 260 >= 65 @ 0.647866
2.28/2.34	c bounds 260 >= 66 @ 0.649149
2.28/2.34	c bounds 260 >= 67 @ 0.649864
2.28/2.34	c bounds 260 >= 68 @ 0.65186
2.28/2.34	c bounds 260 >= 69 @ 0.653858
2.28/2.34	c bounds 260 >= 70 @ 0.655855
2.28/2.34	c bounds 260 >= 71 @ 0.656935
2.28/2.34	c bounds 260 >= 72 @ 0.658928
2.28/2.34	c bounds 260 >= 73 @ 0.661046
2.28/2.34	c bounds 260 >= 74 @ 0.662844
2.28/2.34	c bounds 260 >= 75 @ 0.66484
2.28/2.34	c bounds 260 >= 76 @ 0.664841
2.28/2.34	c bounds 260 >= 77 @ 0.667689
2.28/2.34	c bounds 260 >= 78 @ 0.668931
2.28/2.34	c bounds 260 >= 79 @ 0.669836
2.28/2.34	c bounds 260 >= 80 @ 0.670835
2.28/2.34	c bounds 260 >= 81 @ 0.671834
2.28/2.34	c bounds 260 >= 82 @ 0.67402
2.28/2.34	c bounds 260 >= 83 @ 0.677255
2.28/2.34	c bounds 259 >= 83 @ 0.694523
2.28/2.34	c bounds 259 >= 84 @ 0.696988
2.28/2.34	c bounds 259 >= 85 @ 0.6982
2.28/2.34	c bounds 259 >= 86 @ 0.700445
2.28/2.34	c bounds 259 >= 87 @ 0.702779
2.28/2.34	c bounds 259 >= 88 @ 0.704751
2.28/2.34	c bounds 259 >= 89 @ 0.706325
2.28/2.34	c bounds 259 >= 90 @ 0.709741
2.28/2.34	c bounds 259 >= 91 @ 0.711738
2.28/2.34	c bounds 259 >= 92 @ 0.713923
2.28/2.34	c bounds 259 >= 93 @ 0.715122
2.28/2.34	c bounds 259 >= 94 @ 0.717174
2.28/2.34	c bounds 259 >= 95 @ 0.71773
2.28/2.34	c bounds 259 >= 96 @ 0.718728
2.28/2.34	c bounds 259 >= 97 @ 0.722239
2.28/2.34	c bounds 258 >= 97 @ 0.744423
2.28/2.34	c bounds 258 >= 98 @ 0.762347
2.28/2.34	c bounds 257 >= 98 @ 0.78447
2.28/2.34	c bounds 256 >= 98 @ 0.804739
2.28/2.34	c bounds 256 >= 99 @ 0.824679
2.28/2.34	c bounds 255 >= 99 @ 0.861484
2.28/2.34	c bounds 254 >= 99 @ 0.89412
2.28/2.34	c bounds 254 >= 100 @ 0.921248
2.28/2.34	c bounds 253 >= 100 @ 0.942517
2.28/2.34	c bounds 252 >= 100 @ 0.968775
2.28/2.34	c bounds 251 >= 100 @ 1.03099
2.28/2.34	c bounds 251 >= 101 @ 1.03173
2.28/2.34	c bounds 251 >= 102 @ 1.03593
2.28/2.34	c bounds 251 >= 103 @ 1.04427
2.28/2.34	c bounds 251 >= 104 @ 1.09731
2.28/2.34	c bounds 249 >= 104 @ 1.10285
2.28/2.34	c bounds 248 >= 104 @ 1.12509
2.28/2.34	c bounds 247 >= 104 @ 1.16574
2.28/2.34	c #Conflicts:       1000 | #Constraints:       1841
2.28/2.34	c bounds 246 >= 104 @ 1.20965
2.28/2.34	c bounds 245 >= 104 @ 1.26171
2.28/2.34	c bounds 245 >= 105 @ 1.29295
2.28/2.34	c bounds 244 >= 105 @ 1.31918
2.28/2.34	c bounds 243 >= 105 @ 1.35034
2.28/2.34	c bounds 243 >= 106 @ 1.35407
2.28/2.34	c #Conflicts:       2000 | #Constraints:       2870
2.28/2.34	c INPROCESSING
2.28/2.34	c GARBAGE COLLECT
2.28/2.34	c rational objective 119.86
5.77/5.81	c bounds 242 >= 106 @ 1.73602
5.77/5.81	c bounds 241 >= 106 @ 1.76131
5.77/5.81	c bounds 240 >= 106 @ 1.7858
5.77/5.81	c bounds 239 >= 106 @ 1.80859
5.77/5.81	c bounds 238 >= 106 @ 1.83558
5.77/5.81	c bounds 237 >= 106 @ 1.87047
5.77/5.81	c bounds 236 >= 106 @ 1.89408
5.77/5.81	c bounds 235 >= 106 @ 1.93435
5.77/5.81	c bounds 234 >= 106 @ 1.96686
5.77/5.81	c bounds 233 >= 106 @ 2.00044
5.77/5.81	c bounds 232 >= 106 @ 2.0886
5.77/5.81	c bounds 231 >= 106 @ 2.22998
5.77/5.81	c bounds 230 >= 106 @ 2.49174
5.77/5.81	c #Conflicts:       3000 | #Constraints:       2901
5.77/5.81	c bounds 230 >= 107 @ 2.8091
5.77/5.81	c bounds 229 >= 107 @ 2.84038
5.77/5.81	c bounds 228 >= 107 @ 2.88917
5.77/5.81	c bounds 227 >= 107 @ 2.93748
5.77/5.81	c bounds 226 >= 107 @ 2.9789
5.77/5.81	c bounds 225 >= 107 @ 3.00417
5.77/5.81	c bounds 224 >= 107 @ 3.02551
5.77/5.81	c bounds 223 >= 107 @ 3.05418
5.77/5.81	c bounds 222 >= 107 @ 3.09781
5.77/5.81	c bounds 221 >= 107 @ 3.12969
5.77/5.81	c #Conflicts:       4000 | #Constraints:       3939
5.77/5.81	c bounds 220 >= 107 @ 3.26442
5.77/5.81	c bounds 220 >= 108 @ 3.26616
5.77/5.81	c INPROCESSING
5.77/5.81	c GARBAGE COLLECT
5.77/5.81	c bounds 219 >= 108 @ 3.47981
5.77/5.81	c bounds 218 >= 108 @ 3.5026
5.77/5.81	c bounds 217 >= 108 @ 3.53138
5.77/5.81	c #Conflicts:       5000 | #Constraints:       3336
5.77/5.81	c #Conflicts:       6000 | #Constraints:       4336
5.77/5.81	c INPROCESSING
5.77/5.81	c GARBAGE COLLECT
5.77/5.81	c rational objective 119.86
8.67/8.72	c bounds 216 >= 108 @ 4.84006
8.67/8.72	c #Conflicts:       7000 | #Constraints:       3357
8.67/8.72	c bounds 215 >= 108 @ 5.20634
8.67/8.72	c bounds 214 >= 108 @ 5.27978
8.67/8.72	c bounds 213 >= 108 @ 5.39133
8.67/8.72	c bounds 212 >= 108 @ 5.51888
8.67/8.72	c #Conflicts:       8000 | #Constraints:       4380
8.67/8.72	c bounds 211 >= 108 @ 6.32038
8.67/8.72	c bounds 210 >= 108 @ 6.7065
8.67/8.72	c bounds 209 >= 108 @ 7.13608
8.67/8.72	c #Conflicts:       9000 | #Constraints:       5389
8.67/8.72	c bounds 208 >= 108 @ 7.28973
8.67/8.72	c bounds 207 >= 108 @ 7.38816
8.67/8.72	c INPROCESSING
8.67/8.72	c GARBAGE COLLECT
8.67/8.72	c rational objective 119.86
11.16/11.24	c bounds 206 >= 108 @ 7.67249
11.16/11.24	c bounds 205 >= 108 @ 7.92782
11.16/11.24	c bounds 205 >= 109 @ 7.98518
11.16/11.24	c #Conflicts:      10000 | #Constraints:       4084
11.16/11.24	c #Conflicts:      11000 | #Constraints:       5084
11.16/11.24	c #Conflicts:      12000 | #Constraints:       6084
11.16/11.24	c INPROCESSING
11.16/11.24	c GARBAGE COLLECT
11.16/11.24	c rational objective 119.86
14.85/14.98	c bounds 204 >= 109 @ 9.95615
14.85/14.98	c bounds 203 >= 109 @ 10.008
14.85/14.98	c bounds 202 >= 109 @ 10.0368
14.85/14.98	c bounds 201 >= 109 @ 10.099
14.85/14.98	c bounds 200 >= 109 @ 10.1526
14.85/14.98	c bounds 199 >= 109 @ 10.4735
14.85/14.98	c bounds 198 >= 109 @ 10.5928
14.85/14.98	c bounds 197 >= 109 @ 10.7171
14.85/14.98	c #Conflicts:      13000 | #Constraints:       4584
14.85/14.98	c bounds 196 >= 109 @ 11.0602
14.85/14.98	c bounds 195 >= 109 @ 11.8601
14.85/14.98	c #Conflicts:      14000 | #Constraints:       5586
14.85/14.98	c bounds 194 >= 109 @ 12.0243
14.85/14.98	c bounds 193 >= 109 @ 12.466
14.85/14.98	c #Conflicts:      15000 | #Constraints:       6596
14.85/14.98	c INPROCESSING
14.85/14.98	c GARBAGE COLLECT
14.85/14.98	c rational objective 119.86
18.84/18.90	c #Conflicts:      16000 | #Constraints:       4778
18.84/18.90	c #Conflicts:      17000 | #Constraints:       5805
18.84/18.90	c bounds 192 >= 109 @ 16.485
18.84/18.90	c #Conflicts:      18000 | #Constraints:       6830
18.84/18.90	c INPROCESSING
18.84/18.90	c GARBAGE COLLECT
18.84/18.90	c rational objective 119.86
22.33/22.49	c bounds 191 >= 109 @ 17.3893
22.33/22.49	c bounds 190 >= 109 @ 17.4681
22.33/22.49	c bounds 189 >= 109 @ 17.5635
22.33/22.49	c bounds 188 >= 109 @ 17.6428
22.33/22.49	c bounds 187 >= 109 @ 17.7138
22.33/22.49	c bounds 186 >= 109 @ 17.8222
22.33/22.49	c #Conflicts:      19000 | #Constraints:       4858
22.33/22.49	c bounds 185 >= 109 @ 17.9803
22.33/22.49	c #Conflicts:      20000 | #Constraints:       5869
22.33/22.49	c #Conflicts:      21000 | #Constraints:       6869
22.33/22.49	c INPROCESSING
22.33/22.49	c GARBAGE COLLECT
22.33/22.49	c rational objective 119.86
26.33/26.48	c bounds 184 >= 109 @ 20.7227
26.33/26.48	c bounds 183 >= 109 @ 20.8164
26.33/26.48	c #Conflicts:      22000 | #Constraints:       4639
26.33/26.48	c bounds 182 >= 109 @ 21.1403
26.33/26.48	c bounds 181 >= 109 @ 21.3546
26.33/26.48	c #Conflicts:      23000 | #Constraints:       5659
26.33/26.48	c #Conflicts:      24000 | #Constraints:       6660
26.33/26.48	c bounds 180 >= 109 @ 22.8946
26.33/26.48	c bounds 179 >= 109 @ 23.4832
26.33/26.48	c bounds 178 >= 109 @ 23.7553
26.33/26.48	c bounds 177 >= 109 @ 23.9401
26.33/26.48	c #Conflicts:      25000 | #Constraints:       7723
26.33/26.48	c bounds 176 >= 109 @ 24.126
26.33/26.48	c INPROCESSING
26.33/26.48	c GARBAGE COLLECT
26.33/26.48	c rational objective 119.86
30.81/30.99	c #Conflicts:      26000 | #Constraints:       5279
30.81/30.99	c bounds 175 >= 109 @ 25.8999
30.81/30.99	c #Conflicts:      27000 | #Constraints:       6327
30.81/30.99	c bounds 174 >= 109 @ 26.5121
30.81/30.99	c bounds 173 >= 109 @ 27.12
30.81/30.99	c bounds 172 >= 109 @ 27.4367
30.81/30.99	c #Conflicts:      28000 | #Constraints:       7379
30.81/30.99	c bounds 171 >= 109 @ 27.7694
30.81/30.99	c bounds 170 >= 109 @ 27.9308
30.81/30.99	c #Conflicts:      29000 | #Constraints:       8402
30.81/30.99	c INPROCESSING
30.81/30.99	c GARBAGE COLLECT
30.81/30.99	c rational objective 119.86
36.49/36.67	c #Conflicts:      30000 | #Constraints:       5723
36.49/36.67	c bounds 169 >= 109 @ 30.4581
36.49/36.67	c #Conflicts:      31000 | #Constraints:       6756
36.49/36.67	c #Conflicts:      32000 | #Constraints:       7756
36.49/36.67	c bounds 169 >= 110 @ 32.3564
36.49/36.67	c #Conflicts:      33000 | #Constraints:       8848
36.49/36.67	c INPROCESSING
36.49/36.67	c GARBAGE COLLECT
36.49/36.67	c rational objective 119.86
42.68/42.80	c bounds 168 >= 110 @ 35.1857
42.68/42.80	c #Conflicts:      34000 | #Constraints:       6004
42.68/42.80	c bounds 167 >= 110 @ 35.853
42.68/42.80	c #Conflicts:      35000 | #Constraints:       7032
42.68/42.80	c bounds 166 >= 110 @ 38.5112
42.68/42.80	c #Conflicts:      36000 | #Constraints:       8072
42.68/42.80	c #Conflicts:      37000 | #Constraints:       9072
42.68/42.80	c INPROCESSING
42.68/42.80	c GARBAGE COLLECT
42.68/42.80	c rational objective 119.86
49.16/49.32	c #Conflicts:      38000 | #Constraints:       5992
49.16/49.32	c bounds 165 >= 110 @ 41.0953
49.16/49.32	c bounds 164 >= 110 @ 41.3763
49.16/49.32	c bounds 163 >= 110 @ 41.6961
49.16/49.32	c #Conflicts:      39000 | #Constraints:       7034
49.16/49.32	c #Conflicts:      40000 | #Constraints:       8035
49.16/49.32	c bounds 162 >= 110 @ 45.2387
49.16/49.32	c #Conflicts:      41000 | #Constraints:       9059
49.16/49.32	c INPROCESSING
49.16/49.32	c GARBAGE COLLECT
49.16/49.32	c rational objective 119.86
56.96/57.19	c #Conflicts:      42000 | #Constraints:       5784
56.96/57.19	c #Conflicts:      43000 | #Constraints:       6784
56.96/57.19	c #Conflicts:      44000 | #Constraints:       7784
56.96/57.19	c #Conflicts:      45000 | #Constraints:       8784
56.96/57.19	c #Conflicts:      46000 | #Constraints:       9784
56.96/57.19	c INPROCESSING
56.96/57.19	c GARBAGE COLLECT
56.96/57.19	c rational objective 119.86
67.83/68.05	c #Conflicts:      47000 | #Constraints:       6388
67.83/68.05	c #Conflicts:      48000 | #Constraints:       7415
67.83/68.05	c #Conflicts:      49000 | #Constraints:       8454
67.83/68.05	c #Conflicts:      50000 | #Constraints:       9504
67.83/68.05	c bounds 161 >= 110 @ 62.4633
67.83/68.05	c #Conflicts:      51000 | #Constraints:      10550
67.83/68.05	c INPROCESSING
67.83/68.05	c GARBAGE COLLECT
67.83/68.05	c rational objective 119.86
79.29/79.52	c bounds 160 >= 110 @ 65.8841
79.29/79.52	c #Conflicts:      52000 | #Constraints:       6838
79.29/79.52	c #Conflicts:      53000 | #Constraints:       7844
79.29/79.52	c #Conflicts:      54000 | #Constraints:       8867
79.29/79.52	c bounds 159 >= 110 @ 72.2818
79.29/79.52	c #Conflicts:      55000 | #Constraints:       9909
79.29/79.52	c bounds 158 >= 110 @ 73.6917
79.29/79.52	c bounds 157 >= 110 @ 74.3303
79.29/79.52	c #Conflicts:      56000 | #Constraints:      10957
79.29/79.52	c INPROCESSING
79.29/79.52	c GARBAGE COLLECT
79.29/79.52	c rational objective 119.86
89.56/89.88	c bounds 156 >= 110 @ 75.2692
89.56/89.88	c bounds 155 >= 110 @ 76.4743
89.56/89.88	c #Conflicts:      57000 | #Constraints:       7045
89.56/89.88	c bounds 154 >= 110 @ 76.9868
89.56/89.88	c #Conflicts:      58000 | #Constraints:       8082
89.56/89.88	c #Conflicts:      59000 | #Constraints:       9123
89.56/89.88	c #Conflicts:      60000 | #Constraints:      10150
89.56/89.88	c bounds 153 >= 110 @ 83.3854
89.56/89.88	c #Conflicts:      61000 | #Constraints:      11157
89.56/89.88	c INPROCESSING
89.56/89.88	c GARBAGE COLLECT
89.56/89.88	c rational objective 119.86
101.03/101.39	c #Conflicts:      62000 | #Constraints:       7035
101.03/101.39	c #Conflicts:      63000 | #Constraints:       8035
101.03/101.39	c #Conflicts:      64000 | #Constraints:       9035
101.03/101.39	c #Conflicts:      65000 | #Constraints:      10035
101.03/101.39	c #Conflicts:      66000 | #Constraints:      11035
101.03/101.39	c INPROCESSING
101.03/101.39	c GARBAGE COLLECT
101.03/101.39	c rational objective 119.86
114.30/114.67	c #Conflicts:      67000 | #Constraints:       6787
114.30/114.67	c #Conflicts:      68000 | #Constraints:       7809
114.30/114.67	c #Conflicts:      69000 | #Constraints:       8833
114.30/114.67	c bounds 152 >= 110 @ 102.25
114.30/114.67	c #Conflicts:      70000 | #Constraints:       9851
114.30/114.67	c #Conflicts:      71000 | #Constraints:      10886
114.30/114.67	c bounds 151 >= 110 @ 107.318
114.30/114.67	c #Conflicts:      72000 | #Constraints:      11904
114.30/114.67	c INPROCESSING
114.30/114.67	c GARBAGE COLLECT
114.30/114.67	c rational objective 119.86
129.96/130.32	c #Conflicts:      73000 | #Constraints:       7394
129.96/130.32	c #Conflicts:      74000 | #Constraints:       8419
129.96/130.32	c bounds 150 >= 110 @ 113.264
129.96/130.32	c #Conflicts:      75000 | #Constraints:       9456
129.96/130.32	c #Conflicts:      76000 | #Constraints:      10490
129.96/130.32	c bounds 149 >= 110 @ 118.764
129.96/130.32	c #Conflicts:      77000 | #Constraints:      11536
129.96/130.32	c #Conflicts:      78000 | #Constraints:      12554
129.96/130.32	c INPROCESSING
129.96/130.32	c GARBAGE COLLECT
129.96/130.32	c rational objective 119.86
145.31/145.76	c bounds 148 >= 110 @ 126.642
145.31/145.76	c #Conflicts:      79000 | #Constraints:       7833
145.31/145.76	c #Conflicts:      80000 | #Constraints:       8868
145.31/145.76	c #Conflicts:      81000 | #Constraints:       9882
145.31/145.76	c bounds 147 >= 110 @ 133.366
145.31/145.76	c #Conflicts:      82000 | #Constraints:      10909
145.31/145.76	c #Conflicts:      83000 | #Constraints:      11909
145.31/145.76	c #Conflicts:      84000 | #Constraints:      12909
145.31/145.76	c INPROCESSING
145.31/145.76	c GARBAGE COLLECT
145.31/145.76	c rational objective 119.86
163.45/163.99	c bounds 146 >= 110 @ 139.118
163.45/163.99	c bounds 145 >= 110 @ 140.696
163.45/163.99	c #Conflicts:      85000 | #Constraints:       8058
163.45/163.99	c #Conflicts:      86000 | #Constraints:       9095
163.45/163.99	c #Conflicts:      87000 | #Constraints:      10117
163.45/163.99	c #Conflicts:      88000 | #Constraints:      11127
163.45/163.99	c #Conflicts:      89000 | #Constraints:      12148
163.45/163.99	c bounds 144 >= 110 @ 155.626
163.45/163.99	c #Conflicts:      90000 | #Constraints:      13165
163.45/163.99	c INPROCESSING
163.45/163.99	c GARBAGE COLLECT
163.45/163.99	c rational objective 119.86
180.29/180.89	c #Conflicts:      91000 | #Constraints:       8043
180.29/180.89	c #Conflicts:      92000 | #Constraints:       9043
180.29/180.89	c #Conflicts:      93000 | #Constraints:      10043
180.29/180.89	c #Conflicts:      94000 | #Constraints:      11043
180.29/180.89	c #Conflicts:      95000 | #Constraints:      12043
180.29/180.89	c #Conflicts:      96000 | #Constraints:      13043
180.29/180.89	c INPROCESSING
180.29/180.89	c GARBAGE COLLECT
180.29/180.89	c rational objective 119.86
335.45/336.48	c bounds 143 >= 110 @ 173.025
335.45/336.48	c #Conflicts:      97000 | #Constraints:       7795
335.45/336.48	c bounds 142 >= 110 @ 173.782
335.45/336.48	c #Conflicts:      98000 | #Constraints:       8822
335.45/336.48	c bounds 141 >= 110 @ 175.865
335.45/336.48	c #Conflicts:      99000 | #Constraints:       9864
335.45/336.48	c bounds 140 >= 110 @ 176.719
335.45/336.48	c #Conflicts:     100000 | #Constraints:      10870
335.45/336.48	c bounds 139 >= 110 @ 178.994
335.45/336.48	c #Conflicts:     101000 | #Constraints:      11912
335.45/336.48	c #Conflicts:     102000 | #Constraints:      12929
335.45/336.48	c bounds 138 >= 110 @ 186.083
335.45/336.48	c #Conflicts:     103000 | #Constraints:      13952
335.45/336.48	c bounds 137 >= 110 @ 187.702
335.45/336.48	c #Conflicts:     104000 | #Constraints:      14988
335.45/336.48	c bounds 136 >= 110 @ 189.064
335.45/336.48	c bounds 135 >= 110 @ 189.939
335.45/336.48	c bounds 134 >= 110 @ 190.393
335.45/336.48	c #Conflicts:     105000 | #Constraints:      16042
335.45/336.48	c #Conflicts:     106000 | #Constraints:      17068
335.45/336.48	c #Conflicts:     107000 | #Constraints:      18088
335.45/336.48	c bounds 133 >= 110 @ 197.97
335.45/336.48	c bounds 132 >= 110 @ 198.785
335.45/336.48	c #Conflicts:     108000 | #Constraints:      19121
335.45/336.48	c #Conflicts:     109000 | #Constraints:      20145
335.45/336.48	c #Conflicts:     110000 | #Constraints:      21160
335.45/336.48	c bounds 131 >= 110 @ 208.37
335.45/336.48	c #Conflicts:     111000 | #Constraints:      22161
335.45/336.48	c #Conflicts:     112000 | #Constraints:      23161
335.45/336.48	c #Conflicts:     113000 | #Constraints:      24161
335.45/336.48	c #Conflicts:     114000 | #Constraints:      25161
335.45/336.48	c #Conflicts:     115000 | #Constraints:      26161
335.45/336.48	c #Conflicts:     116000 | #Constraints:      27161
335.45/336.48	c #Conflicts:     117000 | #Constraints:      28161
335.45/336.48	c #Conflicts:     118000 | #Constraints:      29161
335.45/336.48	c #Conflicts:     119000 | #Constraints:      30161
335.45/336.48	c #Conflicts:     120000 | #Constraints:      31161
335.45/336.48	c #Conflicts:     121000 | #Constraints:      32161
335.45/336.48	c #Conflicts:     122000 | #Constraints:      33161
335.45/336.48	c #Conflicts:     123000 | #Constraints:      34161
335.45/336.48	c #Conflicts:     124000 | #Constraints:      35161
335.45/336.48	c INPROCESSING
335.45/336.48	c GARBAGE COLLECT
335.45/336.48	c rational objective 119.86
364.17/365.25	c #Conflicts:     125000 | #Constraints:      18758
364.17/365.25	c bounds 130 >= 110 @ 326.599
364.17/365.25	c #Conflicts:     126000 | #Constraints:      19795
364.17/365.25	c #Conflicts:     127000 | #Constraints:      20815
364.17/365.25	c bounds 129 >= 110 @ 333.613
364.17/365.25	c #Conflicts:     128000 | #Constraints:      21828
364.17/365.25	c #Conflicts:     129000 | #Constraints:      22837
364.17/365.25	c bounds 128 >= 110 @ 340.183
364.17/365.25	c bounds 127 >= 110 @ 342.568
364.17/365.25	c #Conflicts:     130000 | #Constraints:      23869
364.17/365.25	c #Conflicts:     131000 | #Constraints:      24869
364.17/365.25	c #Conflicts:     132000 | #Constraints:      25898
364.17/365.25	c bounds 126 >= 110 @ 351.415
364.17/365.25	c INPROCESSING
364.17/365.25	c GARBAGE COLLECT
364.17/365.25	c rational objective 119.86
407.12/408.36	c #Conflicts:     133000 | #Constraints:      14260
407.12/408.36	c #Conflicts:     134000 | #Constraints:      15283
407.12/408.36	c #Conflicts:     135000 | #Constraints:      16300
407.12/408.36	c #Conflicts:     136000 | #Constraints:      17325
407.12/408.36	c #Conflicts:     137000 | #Constraints:      18349
407.12/408.36	c bounds 125 >= 110 @ 377.744
407.12/408.36	c #Conflicts:     138000 | #Constraints:      19365
407.12/408.36	c bounds 124 >= 110 @ 385.333
407.12/408.36	c #Conflicts:     139000 | #Constraints:      20381
407.12/408.36	c #Conflicts:     140000 | #Constraints:      21409
407.12/408.36	c INPROCESSING
407.12/408.36	c GARBAGE COLLECT
407.12/408.36	c rational objective 119.86
443.13/444.49	c #Conflicts:     141000 | #Constraints:      12065
443.13/444.49	c #Conflicts:     142000 | #Constraints:      13093
443.13/444.49	c #Conflicts:     143000 | #Constraints:      14106
443.13/444.49	c bounds 123 >= 110 @ 404.214
443.13/444.49	c #Conflicts:     144000 | #Constraints:      15146
443.13/444.49	c #Conflicts:     145000 | #Constraints:      16169
443.13/444.49	c #Conflicts:     146000 | #Constraints:      17199
443.13/444.49	c #Conflicts:     147000 | #Constraints:      18225
443.13/444.49	c #Conflicts:     148000 | #Constraints:      19241
443.13/444.49	c INPROCESSING
443.13/444.49	c GARBAGE COLLECT
443.13/444.49	c rational objective 119.86
491.28/492.73	c #Conflicts:     149000 | #Constraints:      10925
491.28/492.73	c #Conflicts:     150000 | #Constraints:      11939
491.28/492.73	c #Conflicts:     151000 | #Constraints:      12954
491.28/492.73	c #Conflicts:     152000 | #Constraints:      13975
491.28/492.73	c #Conflicts:     153000 | #Constraints:      14994
491.28/492.73	c #Conflicts:     154000 | #Constraints:      16005
491.28/492.73	c #Conflicts:     155000 | #Constraints:      17025
491.28/492.73	c #Conflicts:     156000 | #Constraints:      18043
491.28/492.73	c INPROCESSING
491.28/492.73	c GARBAGE COLLECT
491.28/492.73	c rational objective 119.86
540.84/542.46	c #Conflicts:     157000 | #Constraints:      10177
540.84/542.46	c #Conflicts:     158000 | #Constraints:      11183
540.84/542.46	c #Conflicts:     159000 | #Constraints:      12202
540.84/542.46	c #Conflicts:     160000 | #Constraints:      13209
540.84/542.46	c #Conflicts:     161000 | #Constraints:      14214
540.84/542.46	c #Conflicts:     162000 | #Constraints:      15228
540.84/542.46	c #Conflicts:     163000 | #Constraints:      16246
540.84/542.46	c #Conflicts:     164000 | #Constraints:      17262
540.84/542.46	c #Conflicts:     165000 | #Constraints:      18276
540.84/542.46	c INPROCESSING
540.84/542.46	c GARBAGE COLLECT
540.84/542.46	c rational objective 119.86
587.31/589.08	c #Conflicts:     166000 | #Constraints:      10560
587.31/589.08	c #Conflicts:     167000 | #Constraints:      11568
587.31/589.08	c #Conflicts:     168000 | #Constraints:      12581
587.31/589.08	c #Conflicts:     169000 | #Constraints:      13589
587.31/589.08	c #Conflicts:     170000 | #Constraints:      14605
587.31/589.08	c #Conflicts:     171000 | #Constraints:      15613
587.31/589.08	c #Conflicts:     172000 | #Constraints:      16623
587.31/589.08	c #Conflicts:     173000 | #Constraints:      17637
587.31/589.08	c #Conflicts:     174000 | #Constraints:      18653
587.31/589.08	c INPROCESSING
587.31/589.08	c GARBAGE COLLECT
587.31/589.08	c rational objective 119.86
630.89/632.72	c #Conflicts:     175000 | #Constraints:      10881
630.89/632.72	c #Conflicts:     176000 | #Constraints:      11881
630.89/632.72	c #Conflicts:     177000 | #Constraints:      12881
630.89/632.72	c #Conflicts:     178000 | #Constraints:      13882
630.89/632.72	c #Conflicts:     179000 | #Constraints:      14884
630.89/632.72	c #Conflicts:     180000 | #Constraints:      15885
630.89/632.72	c #Conflicts:     181000 | #Constraints:      16886
630.89/632.72	c #Conflicts:     182000 | #Constraints:      17887
630.89/632.72	c INPROCESSING
630.89/632.72	c GARBAGE COLLECT
630.89/632.72	c rational objective 119.86
681.95/683.92	c #Conflicts:     183000 | #Constraints:      10088
681.95/683.92	c #Conflicts:     184000 | #Constraints:      11109
681.95/683.92	c #Conflicts:     185000 | #Constraints:      12139
681.95/683.92	c #Conflicts:     186000 | #Constraints:      13166
681.95/683.92	c #Conflicts:     187000 | #Constraints:      14186
681.95/683.92	c #Conflicts:     188000 | #Constraints:      15203
681.95/683.92	c #Conflicts:     189000 | #Constraints:      16217
681.95/683.92	c #Conflicts:     190000 | #Constraints:      17235
681.95/683.92	c #Conflicts:     191000 | #Constraints:      18255
681.95/683.92	c #Conflicts:     192000 | #Constraints:      19278
681.95/683.92	c INPROCESSING
681.95/683.92	c GARBAGE COLLECT
681.95/683.92	c rational objective 119.86
755.27/757.44	c #Conflicts:     193000 | #Constraints:      11200
755.27/757.44	c bounds 123 >= 111 @ 669.466
755.27/757.44	c #Conflicts:     194000 | #Constraints:      12293
755.27/757.44	c #Conflicts:     195000 | #Constraints:      13295
755.27/757.44	c #Conflicts:     196000 | #Constraints:      14296
755.27/757.44	c #Conflicts:     197000 | #Constraints:      15296
755.27/757.44	c #Conflicts:     198000 | #Constraints:      16297
755.27/757.44	c #Conflicts:     199000 | #Constraints:      17297
755.27/757.44	c #Conflicts:     200000 | #Constraints:      18297
755.27/757.44	c #Conflicts:     201000 | #Constraints:      19298
755.27/757.44	c INPROCESSING
755.27/757.44	c GARBAGE COLLECT
755.27/757.44	c rational objective 119.86
803.75/806.03	c #Conflicts:     202000 | #Constraints:      11132
803.75/806.03	c #Conflicts:     203000 | #Constraints:      12151
803.75/806.03	c #Conflicts:     204000 | #Constraints:      13170
803.75/806.03	c #Conflicts:     205000 | #Constraints:      14187
803.75/806.03	c #Conflicts:     206000 | #Constraints:      15191
803.75/806.03	c #Conflicts:     207000 | #Constraints:      16204
803.75/806.03	c #Conflicts:     208000 | #Constraints:      17224
803.75/806.03	c #Conflicts:     209000 | #Constraints:      18237
803.75/806.03	c bounds 122 >= 111 @ 775.328
803.75/806.03	c #Conflicts:     210000 | #Constraints:      19261
803.75/806.03	c INPROCESSING
803.75/806.03	c GARBAGE COLLECT
803.75/806.03	c rational objective 119.86
861.40/863.89	c #Conflicts:     211000 | #Constraints:      10838
861.40/863.89	c #Conflicts:     212000 | #Constraints:      11848
861.40/863.89	c #Conflicts:     213000 | #Constraints:      12859
861.40/863.89	c #Conflicts:     214000 | #Constraints:      13880
861.40/863.89	c #Conflicts:     215000 | #Constraints:      14894
861.40/863.89	c #Conflicts:     216000 | #Constraints:      15918
861.40/863.89	c #Conflicts:     217000 | #Constraints:      16938
861.40/863.89	c #Conflicts:     218000 | #Constraints:      17950
861.40/863.89	c #Conflicts:     219000 | #Constraints:      18963
861.40/863.89	c #Conflicts:     220000 | #Constraints:      19974
861.40/863.89	c INPROCESSING
861.40/863.89	c GARBAGE COLLECT
861.40/863.89	c rational objective 119.86
934.03/936.64	c #Conflicts:     221000 | #Constraints:      11373
934.03/936.64	c #Conflicts:     222000 | #Constraints:      12393
934.03/936.64	c #Conflicts:     223000 | #Constraints:      13427
934.03/936.64	c #Conflicts:     224000 | #Constraints:      14446
934.03/936.64	c #Conflicts:     225000 | #Constraints:      15460
934.03/936.64	c #Conflicts:     226000 | #Constraints:      16475
934.03/936.64	c #Conflicts:     227000 | #Constraints:      17482
934.03/936.64	c #Conflicts:     228000 | #Constraints:      18488
934.03/936.64	c #Conflicts:     229000 | #Constraints:      19510
934.03/936.64	c #Conflicts:     230000 | #Constraints:      20533
934.03/936.64	c INPROCESSING
934.03/936.64	c GARBAGE COLLECT
934.03/936.64	c rational objective 119.86
1051.34/1054.28	c #Conflicts:     231000 | #Constraints:      11683
1051.34/1054.28	c #Conflicts:     232000 | #Constraints:      12685
1051.34/1054.28	c #Conflicts:     233000 | #Constraints:      13687
1051.34/1054.28	c #Conflicts:     234000 | #Constraints:      14690
1051.34/1054.28	c #Conflicts:     235000 | #Constraints:      15690
1051.34/1054.28	c #Conflicts:     236000 | #Constraints:      16690
1051.34/1054.28	c #Conflicts:     237000 | #Constraints:      17690
1051.34/1054.28	c #Conflicts:     238000 | #Constraints:      18692
1051.34/1054.28	c #Conflicts:     239000 | #Constraints:      19692
1051.34/1054.28	c #Conflicts:     240000 | #Constraints:      20693
1051.34/1054.28	c INPROCESSING
1051.34/1054.28	c GARBAGE COLLECT
1051.34/1054.28	c rational objective 119.86
1121.27/1124.32	c #Conflicts:     241000 | #Constraints:      11735
1121.27/1124.32	c #Conflicts:     242000 | #Constraints:      12750
1121.27/1124.32	c #Conflicts:     243000 | #Constraints:      13774
1121.27/1124.32	c #Conflicts:     244000 | #Constraints:      14801
1121.27/1124.32	c #Conflicts:     245000 | #Constraints:      15821
1121.27/1124.32	c #Conflicts:     246000 | #Constraints:      16843
1121.27/1124.32	c #Conflicts:     247000 | #Constraints:      17870
1121.27/1124.32	c #Conflicts:     248000 | #Constraints:      18899
1121.27/1124.32	c #Conflicts:     249000 | #Constraints:      19913
1121.27/1124.32	c #Conflicts:     250000 | #Constraints:      20923
1121.27/1124.32	c INPROCESSING
1121.27/1124.32	c GARBAGE COLLECT
1121.27/1124.32	c rational objective 119.86
1204.06/1207.38	c #Conflicts:     251000 | #Constraints:      11674
1204.06/1207.38	c #Conflicts:     252000 | #Constraints:      12691
1204.06/1207.38	c #Conflicts:     253000 | #Constraints:      13702
1204.06/1207.38	c #Conflicts:     254000 | #Constraints:      14714
1204.06/1207.38	c #Conflicts:     255000 | #Constraints:      15733
1204.06/1207.38	c #Conflicts:     256000 | #Constraints:      16747
1204.06/1207.38	c #Conflicts:     257000 | #Constraints:      17765
1204.06/1207.38	c #Conflicts:     258000 | #Constraints:      18784
1204.06/1207.38	c #Conflicts:     259000 | #Constraints:      19802
1204.06/1207.38	c #Conflicts:     260000 | #Constraints:      20811
1204.06/1207.38	c #Conflicts:     261000 | #Constraints:      21829
1204.06/1207.38	c INPROCESSING
1204.06/1207.38	c GARBAGE COLLECT
1204.06/1207.38	c rational objective 119.86
1312.77/1316.34	c #Conflicts:     262000 | #Constraints:      12372
1312.77/1316.34	c #Conflicts:     263000 | #Constraints:      13372
1312.77/1316.34	c #Conflicts:     264000 | #Constraints:      14372
1312.77/1316.34	c #Conflicts:     265000 | #Constraints:      15373
1312.77/1316.34	c #Conflicts:     266000 | #Constraints:      16373
1312.77/1316.34	c #Conflicts:     267000 | #Constraints:      17373
1312.77/1316.34	c #Conflicts:     268000 | #Constraints:      18373
1312.77/1316.34	c bounds 122 >= 112 @ 1255.36
1312.77/1316.34	c #Conflicts:     269000 | #Constraints:      19432
1312.77/1316.34	c #Conflicts:     270000 | #Constraints:      20440
1312.77/1316.34	c #Conflicts:     271000 | #Constraints:      21456
1312.77/1316.34	c #Conflicts:     272000 | #Constraints:      22462
1312.77/1316.34	c INPROCESSING
1312.77/1316.34	c GARBAGE COLLECT
1312.77/1316.34	c rational objective 119.86
1393.29/1397.06	c #Conflicts:     273000 | #Constraints:      12893
1393.29/1397.06	c #Conflicts:     274000 | #Constraints:      13911
1393.29/1397.06	c #Conflicts:     275000 | #Constraints:      14922
1393.29/1397.06	c #Conflicts:     276000 | #Constraints:      15940
1393.29/1397.06	c #Conflicts:     277000 | #Constraints:      16947
1393.29/1397.06	c #Conflicts:     278000 | #Constraints:      17954
1393.29/1397.06	c #Conflicts:     279000 | #Constraints:      18962
1393.29/1397.06	c #Conflicts:     280000 | #Constraints:      19965
1393.29/1397.06	c #Conflicts:     281000 | #Constraints:      20973
1393.29/1397.06	c #Conflicts:     282000 | #Constraints:      21985
1393.29/1397.06	c INPROCESSING
1393.29/1397.06	c GARBAGE COLLECT
1393.29/1397.06	c rational objective 119.86
1516.66/1520.78	c #Conflicts:     283000 | #Constraints:      12186
1516.66/1520.78	c #Conflicts:     284000 | #Constraints:      13186
1516.66/1520.78	c #Conflicts:     285000 | #Constraints:      14188
1516.66/1520.78	c #Conflicts:     286000 | #Constraints:      15189
1516.66/1520.78	c #Conflicts:     287000 | #Constraints:      16189
1516.66/1520.78	c #Conflicts:     288000 | #Constraints:      17190
1516.66/1520.78	c #Conflicts:     289000 | #Constraints:      18190
1516.66/1520.78	c #Conflicts:     290000 | #Constraints:      19191
1516.66/1520.78	c #Conflicts:     291000 | #Constraints:      20192
1516.66/1520.78	c #Conflicts:     292000 | #Constraints:      21192
1516.66/1520.78	c #Conflicts:     293000 | #Constraints:      22193
1516.66/1520.78	c #Conflicts:     294000 | #Constraints:      23194
1516.66/1520.78	c INPROCESSING
1516.66/1520.78	c GARBAGE COLLECT
1516.66/1520.78	c rational objective 119.86
2584.37/2591.16	c #Conflicts:     295000 | #Constraints:      13274
2584.37/2591.16	c #Conflicts:     296000 | #Constraints:      14298
2584.37/2591.16	c #Conflicts:     297000 | #Constraints:      15314
2584.37/2591.16	c #Conflicts:     298000 | #Constraints:      16333
2584.37/2591.16	c #Conflicts:     299000 | #Constraints:      17341
2584.37/2591.16	c #Conflicts:     300000 | #Constraints:      18351
2584.37/2591.16	c #Conflicts:     301000 | #Constraints:      19374
2584.37/2591.16	c #Conflicts:     302000 | #Constraints:      20384
2584.37/2591.16	c #Conflicts:     303000 | #Constraints:      21407
2584.37/2591.16	c #Conflicts:     304000 | #Constraints:      22421
2584.37/2591.16	c #Conflicts:     305000 | #Constraints:      23440
2584.37/2591.16	c #Conflicts:     306000 | #Constraints:      24449
2584.37/2591.16	c #Conflicts:     307000 | #Constraints:      25463
2584.37/2591.16	c #Conflicts:     308000 | #Constraints:      26470
2584.37/2591.16	c #Conflicts:     309000 | #Constraints:      27490
2584.37/2591.16	c #Conflicts:     310000 | #Constraints:      28507
2584.37/2591.16	c #Conflicts:     311000 | #Constraints:      29524
2584.37/2591.16	c #Conflicts:     312000 | #Constraints:      30532
2584.37/2591.16	c #Conflicts:     313000 | #Constraints:      31547
2584.37/2591.16	c #Conflicts:     314000 | #Constraints:      32573
2584.37/2591.16	c #Conflicts:     315000 | #Constraints:      33588
2584.37/2591.16	c #Conflicts:     316000 | #Constraints:      34604
2584.37/2591.16	c #Conflicts:     317000 | #Constraints:      35624
2584.37/2591.16	c #Conflicts:     318000 | #Constraints:      36636
2584.37/2591.16	c #Conflicts:     319000 | #Constraints:      37654
2584.37/2591.16	c #Conflicts:     320000 | #Constraints:      38674
2584.37/2591.16	c #Conflicts:     321000 | #Constraints:      39689
2584.37/2591.16	c #Conflicts:     322000 | #Constraints:      40706
2584.37/2591.16	c #Conflicts:     323000 | #Constraints:      41722
2584.37/2591.16	c #Conflicts:     324000 | #Constraints:      42728
2584.37/2591.16	c #Conflicts:     325000 | #Constraints:      43743
2584.37/2591.16	c #Conflicts:     326000 | #Constraints:      44764
2584.37/2591.16	c #Conflicts:     327000 | #Constraints:      45777
2584.37/2591.16	c #Conflicts:     328000 | #Constraints:      46786
2584.37/2591.16	c #Conflicts:     329000 | #Constraints:      47798
2584.37/2591.16	c #Conflicts:     330000 | #Constraints:      48804
2584.37/2591.16	c #Conflicts:     331000 | #Constraints:      49814
2584.37/2591.16	c #Conflicts:     332000 | #Constraints:      50827
2584.37/2591.16	c #Conflicts:     333000 | #Constraints:      51841
2584.37/2591.16	c #Conflicts:     334000 | #Constraints:      52847
2584.37/2591.16	c #Conflicts:     335000 | #Constraints:      53857
2584.37/2591.16	c #Conflicts:     336000 | #Constraints:      54865
2584.37/2591.16	c #Conflicts:     337000 | #Constraints:      55873
2584.37/2591.16	c #Conflicts:     338000 | #Constraints:      56881
2584.37/2591.16	c #Conflicts:     339000 | #Constraints:      57891
2584.37/2591.16	c #Conflicts:     340000 | #Constraints:      58903
2584.37/2591.16	c #Conflicts:     341000 | #Constraints:      59909
2584.37/2591.16	c #Conflicts:     342000 | #Constraints:      60918
2584.37/2591.16	c #Conflicts:     343000 | #Constraints:      61925
2584.37/2591.16	c #Conflicts:     344000 | #Constraints:      62934
2584.37/2591.16	c INPROCESSING
2584.37/2591.16	c GARBAGE COLLECT
2584.37/2591.16	c rational objective 119.86
3075.25/3083.27	c #Conflicts:     345000 | #Constraints:      33135
3075.25/3083.27	c #Conflicts:     346000 | #Constraints:      34135
3075.25/3083.27	c #Conflicts:     347000 | #Constraints:      35135
3075.25/3083.27	c #Conflicts:     348000 | #Constraints:      36136
3075.25/3083.27	c #Conflicts:     349000 | #Constraints:      37136
3075.25/3083.27	c #Conflicts:     350000 | #Constraints:      38137
3075.25/3083.27	c #Conflicts:     351000 | #Constraints:      39139
3075.25/3083.27	c #Conflicts:     352000 | #Constraints:      40139
3075.25/3083.27	c #Conflicts:     353000 | #Constraints:      41140
3075.25/3083.27	c #Conflicts:     354000 | #Constraints:      42142
3075.25/3083.27	c #Conflicts:     355000 | #Constraints:      43143
3075.25/3083.27	c #Conflicts:     356000 | #Constraints:      44144
3075.25/3083.27	c INPROCESSING
3075.25/3083.27	c GARBAGE COLLECT
3075.25/3083.27	c rational objective 119.86
3459.56/3468.50	c #Conflicts:     357000 | #Constraints:      23538
3459.56/3468.50	c #Conflicts:     358000 | #Constraints:      24538
3459.56/3468.50	c #Conflicts:     359000 | #Constraints:      25539
3459.56/3468.50	c #Conflicts:     360000 | #Constraints:      26540
3459.56/3468.50	c #Conflicts:     361000 | #Constraints:      27541
3459.56/3468.50	c #Conflicts:     362000 | #Constraints:      28542
3459.56/3468.50	c #Conflicts:     363000 | #Constraints:      29542
3459.56/3468.50	c #Conflicts:     364000 | #Constraints:      30543
3459.56/3468.50	c #Conflicts:     365000 | #Constraints:      31543
3459.56/3468.50	c #Conflicts:     366000 | #Constraints:      32544
3459.56/3468.50	c #Conflicts:     367000 | #Constraints:      33545
3459.56/3468.50	c #Conflicts:     368000 | #Constraints:      34546
3459.56/3468.50	c #Conflicts:     369000 | #Constraints:      35548
3459.56/3468.50	c INPROCESSING
3459.56/3468.50	c GARBAGE COLLECT
3459.56/3468.50	c rational objective 119.86
3594.59/3603.96	c #Conflicts:     370000 | #Constraints:      19471
3594.59/3603.96	c #Conflicts:     371000 | #Constraints:      20486
3594.59/3603.96	c #Conflicts:     372000 | #Constraints:      21508
3594.59/3603.96	c #Conflicts:     373000 | #Constraints:      22531
3594.59/3603.96	c #Conflicts:     374000 | #Constraints:      23550
3594.59/3603.96	c #Conflicts:     375000 | #Constraints:      24566
3594.59/3603.96	c #Conflicts:     376000 | #Constraints:      25582
3594.59/3603.96	c #Conflicts:     377000 | #Constraints:      26593
3594.59/3603.96	c #Conflicts:     378000 | #Constraints:      27606
3594.59/3603.96	c #Conflicts:     379000 | #Constraints:      28615
3594.59/3603.96	c #Conflicts:     380000 | #Constraints:      29629
3594.59/3603.96	c #Conflicts:     381000 | #Constraints:      30641
3594.59/3603.96	c INPROCESSING
3594.59/3603.96	c GARBAGE COLLECT
3594.59/3603.96	c rational objective 119.86
3600.08/3609.40	c #Conflicts:     382000 | #Constraints:      16556
3600.08/3609.40	c Program interrupted by user.
3600.08/3609.40	c cpu time 3545.67 s
3600.08/3609.40	c deterministic time 370383302738 3.70e+11
3600.08/3609.40	c optimization time 5.4559 s
3600.08/3609.40	c total solve time 3540.19 s
3600.08/3609.40	c core-guided solve time 1469.56 s
3600.08/3609.40	c propagation time 2457.06 s
3600.08/3609.40	c conflict analysis time 942.106 s
3600.08/3609.40	c propagations 241071036
3600.08/3609.40	c resolve steps 1898841
3600.08/3609.40	c decisions 17495238
3600.08/3609.40	c conflicts 382211
3600.08/3609.40	c restarts 914
3600.08/3609.40	c inprocessing phases 46
3600.08/3609.40	c input clauses 562
3600.08/3609.40	c input cardinalities 253
3600.08/3609.40	c input general constraints 424
3600.08/3609.40	c input average constraint length 558.53
3600.08/3609.40	c input average constraint degree 520.68
3600.08/3609.40	c learned clauses 47214
3600.08/3609.40	c learned cardinalities 18596
3600.08/3609.40	c learned general constraints 321443
3600.08/3609.40	c learned average constraint length 2616.67
3600.08/3609.40	c learned average constraint degree 264141882024.44
3600.08/3609.40	c watched constraints 56723
3600.08/3609.40	c counting constraints 265144
3600.08/3609.40	c gcd simplifications 7929
3600.08/3609.40	c detected cardinalities 976
3600.08/3609.40	c weakened non-implied lits 189258960
3600.08/3609.40	c weakened non-implying lits 128613
3600.08/3609.40	c original variables 4688
3600.08/3609.40	c clausal propagations 3552957
3600.08/3609.40	c cardinality propagations 2502979
3600.08/3609.40	c watched propagations 15119767
3600.08/3609.40	c counting propagations 214693881
3600.08/3609.40	c watch lookups 49690857295
3600.08/3609.40	c watch backjump lookups 48849323478
3600.08/3609.40	c watch checks 130286015671
3600.08/3609.40	c propagation checks 136776817663
3600.08/3609.40	c constraint additions 4262369048
3600.08/3609.40	c trail pops 258940341
3600.08/3609.40	c formula constraints 403
3600.08/3609.40	c learned constraints 377191
3600.08/3609.40	c bound constraints 141
3600.08/3609.40	c core-guided constraints 695
3600.08/3609.40	c encountered formula constraints 276891
3600.08/3609.40	c encountered learned constraints 1266108
3600.08/3609.40	c encountered bound constraints 142
3600.08/3609.40	c encountered core-guided constraints 147470
3600.08/3609.40	c LP total time 42.0762 s
3600.08/3609.40	c LP solve time 28.88 s
3600.08/3609.40	c LP constraints added 403
3600.08/3609.40	c LP constraints removed 0
3600.08/3609.40	c LP pivots internal 382938
3600.08/3609.40	c LP pivots root 30029
3600.08/3609.40	c LP calls 5695
3600.08/3609.40	c LP optimalities 662
3600.08/3609.40	c LP no pivot count 137
3600.08/3609.40	c LP infeasibilities 5031
3600.08/3609.40	c LP valid Farkas constraints 5031
3600.08/3609.40	c LP learned Farkas constraints 5031
3600.08/3609.40	c LP basis resets 0
3600.08/3609.40	c LP cycling count 0
3600.08/3609.40	c LP singular count 0
3600.08/3609.40	c LP no primal count 0
3600.08/3609.40	c LP no farkas count 0
3600.08/3609.40	c LP other issue count 0
3600.08/3609.40	c LP Gomory cuts 0
3600.08/3609.40	c LP learned cuts 0
3600.08/3609.40	c LP deleted cuts 0
3600.08/3609.40	c LP encountered Gomory constraints 0
3600.08/3609.40	c LP encountered Farkas constraints 516370
3600.08/3609.40	c LP encountered learned Farkas constraints 69040
3600.08/3609.40	c CG auxiliary variables introduced 269
3600.08/3609.40	c CG solutions found 141
3600.08/3609.40	c CG cores constructed 112
3600.08/3609.40	c CG core cardinality constraints returned 0
3600.08/3609.40	c CG unit cores 0
3600.08/3609.40	c CG single cores 112
3600.08/3609.40	c CG blocks removed during cardinality reduction 0
3600.08/3609.40	c CG first core best 0
3600.08/3609.40	c CG decision core best 0
3600.08/3609.40	c CG core reduction tie 0
3600.08/3609.40	c CG core degree average 1.00
3600.08/3609.40	c CG core slack average 28.02
3600.08/3609.40	s SATISFIABLE
3600.08/3609.40	v x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 x595 -x596 x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 x1589 -x1590 x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 x2117 -x2118 -x2119 -x2120 -x2121 x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 x2444 -x2445 -x2446 -x2447 -x2448 -x2449 x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 x3844 -x3845 -x3846 -x3847 -x3848 x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4

ERROR: no interpretation found !

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: 64096 MiB (63451 MiB free)
  memory of node 1: 64473 MiB (63945 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462531-1722340768/watcher-4462531-1722340768 -o /tmp/evaluation-result-4462531-1722340768/solver-4462531-1722340768 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722340763-6758 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462531-1722340768 --lp-cut-gomory=0 HOME/instance-4462531-1722340768.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 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 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=6942, runsolver pid=6938
Current StackSize limit: 8192 KiB


[startup+0.100098 s]*
/proc/loadavg: 0.38 0.15 0.11 4/238 6952
/proc/meminfo: memFree=130441572/131655788 swapFree=131071996/131071996
[pid=6942] ppid=6938 vsize=42040 memory=11920 CPUtime=0.1 cores=5,7
/proc/6942/stat : 6942 (roundingsat) R 6938 6942 6745 0 -1 4194304 1711 0 0 0 9 1 0 0 20 0 1 0 673285 43048960 2980 134679101440 4194304 8255733 140723398069904 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14188544 140723398075230 140723398075492 140723398075492 140723398082505 0
/proc/6942/statm: 10510 2980 1763 992 0 2368 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42040 KiB
Current children cumulated memory: 11920 KiB

[startup+0.213136 s]*
/proc/loadavg: 0.38 0.15 0.11 6/241 6970
/proc/meminfo: memFree=130439016/131655788 swapFree=131071996/131071996
[pid=6942] ppid=6938 vsize=42336 memory=11920 CPUtime=0.21 cores=5,7
/proc/6942/stat : 6942 (roundingsat) R 6938 6942 6745 0 -1 4194304 1747 0 0 0 20 1 0 0 20 0 1 0 673285 43352064 2980 134679101440 4194304 8255733 140723398069904 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14188544 140723398075230 140723398075492 140723398075492 140723398082505 0
/proc/6942/statm: 10584 2980 1763 992 0 2442 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 11920 KiB

[startup+0.3128 s]*
/proc/loadavg: 0.38 0.15 0.11 4/243 6976
/proc/meminfo: memFree=130430036/131655788 swapFree=131071996/131071996
[pid=6942] ppid=6938 vsize=42336 memory=11920 CPUtime=0.32 cores=5,7
/proc/6942/stat : 6942 (roundingsat) R 6938 6942 6745 0 -1 4194304 1747 0 0 0 30 2 0 0 20 0 1 0 673285 43352064 2980 134679101440 4194304 8255733 140723398069904 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14188544 140723398075230 140723398075492 140723398075492 140723398082505 0
/proc/6942/statm: 10584 2980 1763 992 0 2442 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 11920 KiB

[startup+0.70032 s]
/proc/loadavg: 0.38 0.15 0.11 4/240 6996
/proc/meminfo: memFree=130435296/131655788 swapFree=131071996/131071996
[pid=6942] ppid=6938 vsize=43684 memory=13676 CPUtime=0.69 cores=5,7
/proc/6942/stat : 6942 (roundingsat) R 6938 6942 6745 0 -1 4194304 2112 0 0 0 56 13 0 0 20 0 1 0 673285 44732416 3419 134679101440 4194304 8255733 140723398069904 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14188544 140723398075230 140723398075492 140723398075492 140723398082505 0
/proc/6942/statm: 10921 3419 1809 992 0 2779 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43684 KiB
Current children cumulated memory: 13676 KiB

[startup+1.50034 s]
/proc/loadavg: 0.38 0.15 0.11 5/246 7011
/proc/meminfo: memFree=130409900/131655788 swapFree=131071996/131071996
[pid=6942] ppid=6938 vsize=57524 memory=29440 CPUtime=1.49 cores=5,7
/proc/6942/stat : 6942 (roundingsat) R 6938 6942 6745 0 -1 4194304 5504 0 0 0 99 50 0 0 20 0 1 0 673285 58904576 7360 134679101440 4194304 8255733 140723398069904 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14188544 140723398075230 140723398075492 140723398075492 140723398082505 0
/proc/6942/statm: 14381 7360 1866 992 0 6239 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 57524 KiB
Current children cumulated memory: 29440 KiB

[startup+3.11279 s]
/proc/loadavg: 0.38 0.15 0.11 5/246 7011
/proc/meminfo: memFree=130302928/131655788 swapFree=131071996/131071996
[pid=6942] ppid=6938 vsize=98236 memory=71020 CPUtime=3.09 cores=5,7
/proc/6942/stat : 6942 (roundingsat) R 6938 6942 6745 0 -1 4194304 13884 0 0 0 238 71 0 0 20 0 1 0 673285 100593664 17755 134679101440 4194304 8255733 140723398069904 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14188544 140723398075230 140723398075492 140723398075492 140723398082505 0
/proc/6942/statm: 24559 17755 1866 992 0 16417 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 98236 KiB
Current children cumulated memory: 71020 KiB

[startup+6.30027 s]
/proc/loadavg: 0.67 0.21 0.13 5/246 7011
/proc/meminfo: memFree=130204660/131655788 swapFree=131071996/131071996
[pid=6942] ppid=6938 vsize=147776 memory=119368 CPUtime=6.27 cores=5,7
/proc/6942/stat : 6942 (roundingsat) R 6938 6942 6745 0 -1 4194304 23398 0 0 0 528 99 0 0 20 0 1 0 673285 151322624 29842 134679101440 4194304 8255733 140723398069904 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14188544 140723398075230 140723398075492 140723398075492 140723398082505 0
/proc/6942/statm: 36944 29842 1882 992 0 28802 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 147776 KiB
Current children cumulated memory: 119368 KiB

[startup+12.7003 s]
/proc/loadavg: 0.93 0.28 0.15 5/246 7012
/proc/meminfo: memFree=130044004/131655788 swapFree=131071996/131071996
[pid=6942] ppid=6938 vsize=264640 memory=195388 CPUtime=12.66 cores=5,7
/proc/6942/stat : 6942 (roundingsat) R 6938 6942 6745 0 -1 4194304 37278 0 0 0 1127 139 0 0 20 0 1 0 673285 270991360 48847 134679101440 4194304 8255733 140723398069904 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14188544 140723398075230 140723398075492 140723398075492 140723398082505 0
/proc/6942/statm: 66160 48847 1882 992 0 58018 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 264640 KiB
Current children cumulated memory: 195388 KiB

[startup+25.5004 s]
/proc/loadavg: 1.61 0.46 0.21 5/246 7014
/proc/meminfo: memFree=129767712/131655788 swapFree=131071996/131071996
[pid=6942] ppid=6938 vsize=279564 memory=222008 CPUtime=25.42 cores=5,7
/proc/6942/stat : 6942 (roundingsat) R 6938 6942 6745 0 -1 4194304 41924 0 0 0 2343 199 0 0 20 0 1 0 673285 286273536 55502 134679101440 4194304 8255733 140723398069904 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14188544 140723398075230 140723398075492 140723398075492 140723398082505 0
/proc/6942/statm: 69891 55502 1882 992 0 61749 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 279564 KiB
Current children cumulated memory: 222008 KiB

[startup+51.1132 s]
/proc/loadavg: 2.49 0.76 0.32 5/250 7024
/proc/meminfo: memFree=129116996/131655788 swapFree=131071996/131071996
[pid=6942] ppid=6938 vsize=345168 memory=272456 CPUtime=50.98 cores=5,7
/proc/6942/stat : 6942 (roundingsat) R 6938 6942 6745 0 -1 4194304 47387 0 0 0 4797 301 0 0 20 0 1 0 673285 353452032 68114 134679101440 4194304 8255733 140723398069904 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14188544 140723398075230 140723398075492 140723398075492 140723398082505 0
/proc/6942/statm: 86292 68114 1882 992 0 78150 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 345168 KiB
Current children cumulated memory: 272456 KiB

[startup+102.3 s]
/proc/loadavg: 3.40 1.28 0.52 5/244 7071
/proc/meminfo: memFree=127719292/131655788 swapFree=131071996/131071996
[pid=6942] ppid=6938 vsize=432400 memory=361372 CPUtime=102.03 cores=5,7
/proc/6942/stat : 6942 (roundingsat) R 6938 6942 6745 0 -1 4194304 64226 0 0 0 9704 499 0 0 20 0 1 0 673285 442777600 90343 134679101440 4194304 8255733 140723398069904 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14188544 140723398075230 140723398075492 140723398075492 140723398082505 0
/proc/6942/statm: 108100 90343 1882 992 0 99958 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 432400 KiB
Current children cumulated memory: 361372 KiB

[startup+162.3 s]
/proc/loadavg: 3.86 1.80 0.75 5/251 7102
/proc/meminfo: memFree=125356272/131655788 swapFree=131071996/131071996
[pid=6942] ppid=6938 vsize=553872 memory=431504 CPUtime=161.85 cores=5,7
/proc/6942/stat : 6942 (roundingsat) R 6938 6942 6745 0 -1 4194304 75570 0 0 0 15498 687 0 0 20 0 1 0 673285 567164928 107876 134679101440 4194304 8255733 140723398069904 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14188544 140723398075230 140723398075492 140723398075492 140723398082505 0
/proc/6942/statm: 138468 107876 1882 992 0 130326 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 553872 KiB
Current children cumulated memory: 431504 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 2.24 0.97 5/251 7115
/proc/meminfo: memFree=123610220/131655788 swapFree=131071996/131071996
[pid=6942] ppid=6938 vsize=922244 memory=768964 CPUtime=221.66 cores=5,7
/proc/6942/stat : 6942 (roundingsat) R 6938 6942 6745 0 -1 4194304 128778 0 0 0 21289 877 0 0 20 0 1 0 673285 944377856 192241 134679101440 4194304 8255733 140723398069904 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14188544 140723398075230 140723398075492 140723398075492 140723398082505 0
/proc/6942/statm: 230561 192241 1882 992 0 222419 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 922244 KiB
Current children cumulated memory: 768964 KiB

[startup+282.3 s]
/proc/loadavg: 4.02 2.56 1.16 5/251 7125
/proc/meminfo: memFree=123267208/131655788 swapFree=131071996/131071996
[pid=6942] ppid=6938 vsize=934788 memory=813092 CPUtime=281.5 cores=5,7
/proc/6942/stat : 6942 (roundingsat) R 6938 6942 6745 0 -1 4194304 132203 0 0 0 27186 964 0 0 20 0 1 0 673285 957222912 203273 134679101440 4194304 8255733 140723398069904 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14188544 140723398075230 140723398075492 140723398075492 140723398082505 0
/proc/6942/statm: 233697 203273 1882 992 0 225555 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 934788 KiB
Current children cumulated memory: 813092 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 2.87 1.36 5/249 7135
/proc/meminfo: memFree=122863352/131655788 swapFree=131071996/131071996
[pid=6942] ppid=6938 vsize=958444 memory=851560 CPUtime=341.33 cores=5,7
/proc/6942/stat : 6942 (roundingsat) R 6938 6942 6745 0 -1 4194304 136393 0 0 0 33099 1034 0 0 20 0 1 0 673285 981446656 212890 134679101440 4194304 8255733 140723398069904 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14188544 140723398075230 140723398075492 140723398075492 140723398082505 0
/proc/6942/statm: 239611 212890 1882 992 0 231469 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 958444 KiB
Current children cumulated memory: 851560 KiB

[startup+402.3 s]
/proc/loadavg: 4.25 3.15 1.55 5/248 7147
/proc/meminfo: memFree=121132836/131655788 swapFree=131071996/131071996
[pid=6942] ppid=6938 vsize=997144 memory=899852 CPUtime=401.14 cores=5,7
/proc/6942/stat : 6942 (roundingsat) R 6938 6942 6745 0 -1 4194304 147060 0 0 0 38939 1175 0 0 20 0 1 0 673285 1021075456 224963 134679101440 4194304 8255733 140723398069904 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14188544 140723398075230 140723398075492 140723398075492 140723398082505 0
/proc/6942/statm: 249286 224963 1882 992 0 241144 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 997144 KiB
Current children cumulated memory: 899852 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 3.32 1.71 5/248 7158
/proc/meminfo: memFree=118827576/131655788 swapFree=131071996/131071996
[pid=6942] ppid=6938 vsize=998316 memory=923964 CPUtime=460.97 cores=5,7
/proc/6942/stat : 6942 (roundingsat) R 6938 6942 6745 0 -1 4194304 148597 0 0 0 44770 1327 0 0 20 0 1 0 673285 1022275584 230991 134679101440 4194304 8255733 140723398069904 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14188544 140723398075230 140723398075492 140723398075492 140723398082505 0

################
# More data... #
################


[startup+3222.3 s]
/proc/loadavg: 4.30 4.31 4.16 5/246 8317
/proc/meminfo: memFree=68670844/131655788 swapFree=131071996/131071996
[pid=6942] ppid=6938 vsize=3850072 memory=3617628 CPUtime=3213.98 cores=5,7
/proc/6942/stat : 6942 (roundingsat) R 6938 6942 6745 0 -1 4194304 577245 0 0 0 316363 5035 0 0 20 0 1 0 673285 3942473728 904407 134679101440 4194304 8255733 140723398069904 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14188544 140723398075230 140723398075492 140723398075492 140723398082505 0
/proc/6942/statm: 962518 904407 1882 992 0 954376 0
Current children cumulated CPU time: 3213.98 s
Current children cumulated vsize: 3850072 KiB
Current children cumulated memory: 3617628 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.27 4.16 5/246 8328
/proc/meminfo: memFree=68264496/131655788 swapFree=131071996/131071996
[pid=6942] ppid=6938 vsize=3850072 memory=3632052 CPUtime=3273.84 cores=5,7
/proc/6942/stat : 6942 (roundingsat) R 6938 6942 6745 0 -1 4194304 578629 0 0 0 322296 5088 0 0 20 0 1 0 673285 3942473728 908013 134679101440 4194304 8255733 140723398069904 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14188544 140723398075230 140723398075492 140723398075492 140723398082505 0
/proc/6942/statm: 962518 908013 1882 992 0 954376 0
Current children cumulated CPU time: 3273.84 s
Current children cumulated vsize: 3850072 KiB
Current children cumulated memory: 3632052 KiB

[startup+3342.3 s]
/proc/loadavg: 4.70 4.38 4.20 6/251 8712
/proc/meminfo: memFree=67881364/131655788 swapFree=131071996/131071996
[pid=6942] ppid=6938 vsize=3850072 memory=3651148 CPUtime=3333.68 cores=5,7
/proc/6942/stat : 6942 (roundingsat) R 6938 6942 6745 0 -1 4194304 580204 0 0 0 328228 5140 0 0 20 0 1 0 673285 3942473728 912787 134679101440 4194304 8255733 140723398069904 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14188544 140723398075230 140723398075492 140723398075492 140723398082505 0
/proc/6942/statm: 962518 912787 1882 992 0 954376 0
Current children cumulated CPU time: 3333.68 s
Current children cumulated vsize: 3850072 KiB
Current children cumulated memory: 3651148 KiB

[startup+3402.3 s]
/proc/loadavg: 4.55 4.41 4.23 5/246 8736
/proc/meminfo: memFree=67630416/131655788 swapFree=131071996/131071996
[pid=6942] ppid=6938 vsize=3850072 memory=3673176 CPUtime=3393.53 cores=5,7
/proc/6942/stat : 6942 (roundingsat) R 6938 6942 6745 0 -1 4194304 581647 0 0 0 334172 5181 0 0 20 0 1 0 673285 3942473728 918294 134679101440 4194304 8255733 140723398069904 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14188544 140723398075230 140723398075492 140723398075492 140723398082505 0
/proc/6942/statm: 962518 918294 1882 992 0 954376 0
Current children cumulated CPU time: 3393.53 s
Current children cumulated vsize: 3850072 KiB
Current children cumulated memory: 3673176 KiB

[startup+3462.3 s]
/proc/loadavg: 4.30 4.37 4.22 5/246 8746
/proc/meminfo: memFree=67281412/131655788 swapFree=131071996/131071996
[pid=6942] ppid=6938 vsize=3850072 memory=3692524 CPUtime=3453.38 cores=5,7
/proc/6942/stat : 6942 (roundingsat) R 6938 6942 6745 0 -1 4194304 583182 0 0 0 340116 5222 0 0 20 0 1 0 673285 3942473728 923131 134679101440 4194304 8255733 140723398069904 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14188544 140723398075230 140723398075492 140723398075492 140723398082505 0
/proc/6942/statm: 962518 923131 1882 992 0 954376 0
Current children cumulated CPU time: 3453.38 s
Current children cumulated vsize: 3850072 KiB
Current children cumulated memory: 3692524 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.31 4.21 5/253 8932
/proc/meminfo: memFree=65680292/131655788 swapFree=131071996/131071996
[pid=6942] ppid=6938 vsize=3850464 memory=3708452 CPUtime=3513.21 cores=5,7
/proc/6942/stat : 6942 (roundingsat) R 6938 6942 6745 0 -1 4194304 585030 0 0 0 345995 5326 0 0 20 0 1 0 673285 3942875136 927113 134679101440 4194304 8255733 140723398069904 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14188544 140723398075230 140723398075492 140723398075492 140723398082505 0
/proc/6942/statm: 962616 927113 1882 992 0 954474 0
Current children cumulated CPU time: 3513.21 s
Current children cumulated vsize: 3850464 KiB
Current children cumulated memory: 3708452 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.27 4.20 5/255 8945
/proc/meminfo: memFree=64357192/131655788 swapFree=131071996/131071996
[pid=6942] ppid=6938 vsize=3851544 memory=3718104 CPUtime=3573.06 cores=5,7
/proc/6942/stat : 6942 (roundingsat) R 6938 6942 6745 0 -1 4194304 587074 0 0 0 351900 5406 0 0 20 0 1 0 673285 3943981056 929526 134679101440 4194304 8255733 140723398069904 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14188544 140723398075230 140723398075492 140723398075492 140723398082505 0
/proc/6942/statm: 962886 929526 1882 992 0 954744 0
Current children cumulated CPU time: 3573.06 s
Current children cumulated vsize: 3851544 KiB
Current children cumulated memory: 3718104 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 4.23 4.28 4.20 5/255 8950
/proc/meminfo: memFree=63919492/131655788 swapFree=131071996/131071996
[pid=6942] ppid=6938 vsize=3851544 memory=3718104 CPUtime=3600.08 cores=5,7
/proc/6942/stat : 6942 (roundingsat) R 6938 6942 6745 0 -1 4194304 587983 0 0 0 354566 5442 0 0 20 0 1 0 673285 3943981056 929526 134679101440 4194304 8255733 140723398069904 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14188544 140723398075230 140723398075492 140723398075492 140723398082505 0
/proc/6942/statm: 962886 929526 1882 992 0 954744 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 3851544 KiB
Current children cumulated memory: 3718104 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:

[startup+0 s]*
/proc/loadavg: 4.21 4.27 4.20 2/255 8951
/proc/meminfo: memFree=63909372/131655788 swapFree=131071996/131071996
[pid=6942] ppid=6938 vsize=3851544 memory=3718104 CPUtime=3600.1 cores=5,7
/proc/6942/stat : 6942 (roundingsat) D 6938 6942 6745 0 -1 4194304 587988 0 1 0 354566 5444 0 0 20 0 1 0 673285 3943981056 929526 134679101440 4194304 8255733 140723398069904 0 0 256 0 0 25182210 0 0 0 17 7 0 0 262 0 0 9037040 9046032 14188544 140723398075230 140723398075492 140723398075492 140723398082505 0
/proc/6942/statm: 962886 929526 1882 992 0 954744 0
??? kill 6942 sig 9
??? end of watcher thread

[startup+3661.63 s]
# the end of solver process 6942 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3545.67 s, system=54.4989 s

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

[startup+3609.7 s]
/proc/loadavg: 4.23 4.28 4.20 5/255 8950
/proc/meminfo: memFree=63919492/131655788 swapFree=131071996/131071996
[pid=6942] ppid=6938 vsize=3851544 memory=3718104 CPUtime=3600.1 cores=5,7
/proc/6942/stat : 6942 (roundingsat) D 6938 6942 6745 0 -1 4194304 587988 0 1 0 354566 5444 0 0 20 0 1 0 673285 3943981056 929526 134679101440 4194304 8255733 140723398069904 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14188544 140723398075230 140723398075492 140723398075492 140723398082505 0
/proc/6942/statm: 962886 929526 1882 992 0 954744 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 3851544 KiB
Current children cumulated memory: 3718104 KiB

[startup+3610.5 s]
/proc/loadavg: 4.21 4.27 4.20 3/255 8950
/proc/meminfo: memFree=63911284/131655788 swapFree=131071996/131071996
[pid=6942] ppid=6938 vsize=3851544 memory=3718104 CPUtime=3600.1 cores=5,7
/proc/6942/stat : 6942 (roundingsat) D 6938 6942 6745 0 -1 4194304 587988 0 1 0 354566 5444 0 0 20 0 1 0 673285 3943981056 929526 134679101440 4194304 8255733 140723398069904 0 0 0 0 0 25182210 0 0 0 17 5 0 0 156 0 0 9037040 9046032 14188544 140723398075230 140723398075492 140723398075492 140723398082505 0
/proc/6942/statm: 962886 929526 1882 992 0 954744 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 3851544 KiB
Current children cumulated memory: 3718104 KiB

[startup+3610.9 s]
/proc/loadavg: 4.21 4.27 4.20 3/255 8950
/proc/meminfo: memFree=63911284/131655788 swapFree=131071996/131071996
[pid=6942] ppid=6938 vsize=3851544 memory=3718104 CPUtime=3600.1 cores=5,7
/proc/6942/stat : 6942 (roundingsat) D 6938 6942 6745 0 -1 4194304 587988 0 1 0 354566 5444 0 0 20 0 1 0 673285 3943981056 929526 134679101440 4194304 8255733 140723398069904 0 0 0 0 0 25182210 0 0 0 17 5 0 0 156 0 0 9037040 9046032 14188544 140723398075230 140723398075492 140723398075492 140723398082505 0
/proc/6942/statm: 962886 929526 1882 992 0 954744 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 3851544 KiB
Current children cumulated memory: 3718104 KiB

[startup+3611.3 s]
/proc/loadavg: 4.21 4.27 4.20 2/255 8951
/proc/meminfo: memFree=63910044/131655788 swapFree=131071996/131071996
[pid=6942] ppid=6938 vsize=3851544 memory=3718104 CPUtime=3600.1 cores=5,7
/proc/6942/stat : 6942 (roundingsat) D 6938 6942 6745 0 -1 4194304 587988 0 1 0 354566 5444 0 0 20 0 1 0 673285 3943981056 929526 134679101440 4194304 8255733 140723398069904 0 0 0 0 0 25182210 0 0 0 17 7 0 0 262 0 0 9037040 9046032 14188544 140723398075230 140723398075492 140723398075492 140723398082505 0
/proc/6942/statm: 962886 929526 1882 992 0 954744 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 3851544 KiB
Current children cumulated memory: 3718104 KiB

[startup+3611.4 s]
/proc/loadavg: 4.21 4.27 4.20 2/255 8951
/proc/meminfo: memFree=63910044/131655788 swapFree=131071996/131071996
[pid=6942] ppid=6938 vsize=3851544 memory=3718104 CPUtime=3600.1 cores=5,7
/proc/6942/stat : 6942 (roundingsat) D 6938 6942 6745 0 -1 4194304 587988 0 1 0 354566 5444 0 0 20 0 1 0 673285 3943981056 929526 134679101440 4194304 8255733 140723398069904 0 0 0 0 0 25182210 0 0 0 17 7 0 0 262 0 0 9037040 9046032 14188544 140723398075230 140723398075492 140723398075492 140723398082505 0
/proc/6942/statm: 962886 929526 1882 992 0 954744 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 3851544 KiB
Current children cumulated memory: 3718104 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3661.63
CPU time (s): 3600.17
CPU user time (s): 3545.67
CPU system time (s): 54.4989
CPU usage (%): 98.3217
Max. virtual memory (cumulated for all children) (KiB): 3851544
Max. memory (cumulated for all children) (KiB): 3718104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3545.67
system time used= 54.4989
maximum resident set size= 3718448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 587988
page faults= 1
swaps= 0
block input operations= 224
block output operations= 112785376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6471
involuntary context switches= 8474


# summary of solver processes directly reported to runsolver:
#   pid: 6942
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3545.67
#   total CPU system time (s): 54.4989

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4663 second user time and 35.4021 second system time

The end

Begin job on nodeC006 at 2024-07-30 13:59:28
IDJOB=4462531
IDBENCH=147662
IDSOLVER=3089
FILE ID=nodeC006/4462531-1722340768
RUNJOBID= nodeC006-1722340763-6758
SLURM_JOB_ID= 8248986
Free space on /tmp= 723772 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/logic_synthesis/normalized-bench1.r.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462531-1722340768/watcher-4462531-1722340768 -o /tmp/evaluation-result-4462531-1722340768/solver-4462531-1722340768 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722340763-6758 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462531-1722340768 --lp-cut-gomory=0 HOME/instance-4462531-1722340768.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= f38762496267db1df9beeeeb0c56175f
RANDOM SEED=52205761

nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3491.732
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.46
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		: 1197.200
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.38
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.325
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.46
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.183
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.38
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		: 1197.165
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.46
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		: 1197.178
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.38
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		: 1197.189
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.46
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.171
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        130448724 kB
MemAvailable:   130040764 kB
Buffers:           41500 kB
Cached:           357344 kB
SwapCached:            0 kB
Active:           136200 kB
Inactive:         658652 kB
Active(anon):       1388 kB
Inactive(anon):   416032 kB
Active(file):     134812 kB
Inactive(file):   242620 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             27672 kB
Writeback:             4 kB
AnonPages:        396116 kB
Mapped:            91660 kB
Shmem:             21320 kB
KReclaimable:      43632 kB
Slab:             115744 kB
SReclaimable:      43632 kB
SUnreclaim:        72112 kB
KernelStack:        3808 kB
PageTables:         9756 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     799712 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             6400 kB
HardwareCorrupted:     0 kB
AnonHugePages:    268288 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      181064 kB
DirectMap2M:     9160704 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 723508 MiB
End job on nodeC006 at 2024-07-30 15:00:30