0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4545041-1753220563.opb'
0.00/0.04 c read 2.06MB (32.56ms)
0.00/0.04 c [cnf: #variables 5363 #clauses 78421 #duplicates 0 #arr 167162]
0.00/0.04 c
0.00/0.04 c make graph and approximate orbits
0.00/0.06 c [group: #orbits ~= 0] (24.65ms)
0.00/0.06 c
0.00/0.06 c detect special group actions
0.00/0.06 c probe for Johnson action (limit=64)
0.00/0.06 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.07 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.07 c (3.30ms)
0.00/0.07 c
0.00/0.07 c detect symmetries on remainder
0.00/0.07 c [graph: #vertices 101038 #edges 368832]
0.00/0.07 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.07 c [group: #symmetries 1.00*10^0 #generators 0] (5.98ms)
0.00/0.07 c
0.00/0.07 c finalize break order and special generators
0.00/0.07 c
0.00/0.07 c generation finished
0.00/0.07 c [sbp: #constraints 0 #add_vars 0]
0.00/0.07 c
0.00/0.07 c write result to 'HOME/instance-4545041-1753220563.opb.pre'
0.00/0.08 c wrote 2.07MB (4.44ms)
0.00/0.08 c ------------------------------------------------------------------
0.00/0.08 c 32.56ms 45.26% parse
0.00/0.08 c 24.65ms 34.26% approx_orbits
0.00/0.08 c 5.98ms 8.32% detect_generic
0.00/0.08 c 4.44ms 6.17% output
0.00/0.08 c 3.30ms 4.59% detect_special
0.00/0.08 c 0.83ms 1.15% other
0.00/0.08 c 0.18ms 0.26% finalize_order
0.00/0.08 c ───────────────────────────────────────────────
0.00/0.08 c 71.94ms 100% total
0.00/0.08 c ------------------------------------------------------------------
0.00/0.09 c RoundingSat 2
0.00/0.09 c branch pb25
0.00/0.09 c commit 63f22ad
0.37/0.41 c #variables 5363 #constraints 78527
8.74/8.85 c #Conflicts: 1000 | #Constraints: 79526
8.74/8.85 c #Conflicts: 2000 | #Constraints: 80526
8.74/8.85 c INPROCESSING
8.74/8.85 c GARBAGE COLLECT
8.74/8.85 c #Conflicts: 3000 | #Constraints: 80538
8.74/8.85 c #Conflicts: 4000 | #Constraints: 81538
8.74/8.85 c INPROCESSING
8.74/8.85 c GARBAGE COLLECT
8.74/8.85 c #Conflicts: 5000 | #Constraints: 80945
8.74/8.85 c #Conflicts: 6000 | #Constraints: 81945
8.74/8.85 c INPROCESSING
8.74/8.85 c GARBAGE COLLECT
8.74/8.85 c #Conflicts: 7000 | #Constraints: 80955
8.74/8.85 c #Conflicts: 8000 | #Constraints: 81955
8.74/8.85 c #Conflicts: 9000 | #Constraints: 82955
8.74/8.85 c INPROCESSING
8.74/8.85 c GARBAGE COLLECT
8.74/8.85 c #Conflicts: 10000 | #Constraints: 81652
8.74/8.85 c #Conflicts: 11000 | #Constraints: 82652
8.74/8.85 c #Conflicts: 12000 | #Constraints: 83652
8.74/8.85 c INPROCESSING
8.74/8.85 c GARBAGE COLLECT
8.74/8.85 c rational objective 71.6562
11.14/11.26 c #Conflicts: 13000 | #Constraints: 82109
11.14/11.26 c #Conflicts: 14000 | #Constraints: 83109
11.14/11.26 c #Conflicts: 15000 | #Constraints: 84109
11.14/11.26 c INPROCESSING
11.14/11.26 c GARBAGE COLLECT
11.14/11.26 c rational objective 71.8125
14.32/14.48 c #Conflicts: 16000 | #Constraints: 82335
14.32/14.48 c #Conflicts: 17000 | #Constraints: 83335
14.32/14.48 c #Conflicts: 18000 | #Constraints: 84335
14.32/14.48 c INPROCESSING
14.32/14.48 c GARBAGE COLLECT
14.32/14.48 c rational objective 71.875
38.56/38.74 c #Conflicts: 19000 | #Constraints: 82353
38.56/38.74 c #Conflicts: 20000 | #Constraints: 83353
38.56/38.74 c #Conflicts: 21000 | #Constraints: 84353
38.56/38.74 c INPROCESSING
38.56/38.74 c GARBAGE COLLECT
38.56/38.74 c #Conflicts: 22000 | #Constraints: 82168
38.56/38.74 c #Conflicts: 23000 | #Constraints: 83168
38.56/38.74 c #Conflicts: 24000 | #Constraints: 84168
38.56/38.74 c #Conflicts: 25000 | #Constraints: 85168
38.56/38.74 c INPROCESSING
38.56/38.74 c GARBAGE COLLECT
38.56/38.74 c #Conflicts: 26000 | #Constraints: 82770
38.56/38.74 c #Conflicts: 27000 | #Constraints: 83770
38.56/38.74 c #Conflicts: 28000 | #Constraints: 84770
38.56/38.74 c #Conflicts: 29000 | #Constraints: 85770
38.56/38.74 c INPROCESSING
38.56/38.74 c GARBAGE COLLECT
38.56/38.74 c #Conflicts: 30000 | #Constraints: 83165
38.56/38.74 c #Conflicts: 31000 | #Constraints: 84165
38.56/38.74 c #Conflicts: 32000 | #Constraints: 85165
38.56/38.74 c #Conflicts: 33000 | #Constraints: 86165
38.56/38.74 c INPROCESSING
38.56/38.74 c GARBAGE COLLECT
38.56/38.74 c #Conflicts: 34000 | #Constraints: 83370
38.56/38.74 c #Conflicts: 35000 | #Constraints: 84370
38.56/38.74 c #Conflicts: 36000 | #Constraints: 85370
38.56/38.74 c #Conflicts: 37000 | #Constraints: 86370
38.56/38.74 c INPROCESSING
38.56/38.74 c GARBAGE COLLECT
38.56/38.74 c #Conflicts: 38000 | #Constraints: 83380
38.56/38.74 c #Conflicts: 39000 | #Constraints: 84380
38.56/38.74 c #Conflicts: 40000 | #Constraints: 85380
38.56/38.74 c #Conflicts: 41000 | #Constraints: 86380
38.56/38.74 c INPROCESSING
38.56/38.74 c GARBAGE COLLECT
38.56/38.74 c #Conflicts: 42000 | #Constraints: 83182
38.56/38.74 c #Conflicts: 43000 | #Constraints: 84182
38.56/38.74 c #Conflicts: 44000 | #Constraints: 85182
38.56/38.74 c #Conflicts: 45000 | #Constraints: 86182
38.56/38.74 c #Conflicts: 46000 | #Constraints: 87182
38.56/38.74 c INPROCESSING
38.56/38.74 c GARBAGE COLLECT
38.56/38.74 c #Conflicts: 47000 | #Constraints: 83770
38.56/38.74 c #Conflicts: 48000 | #Constraints: 84770
38.56/38.74 c #Conflicts: 49000 | #Constraints: 85770
38.56/38.74 c #Conflicts: 50000 | #Constraints: 86770
38.56/38.74 c #Conflicts: 51000 | #Constraints: 87770
38.56/38.74 c INPROCESSING
38.56/38.74 c GARBAGE COLLECT
38.56/38.74 c rational objective 71.875
46.53/46.74 c #Conflicts: 52000 | #Constraints: 84180
46.53/46.74 c #Conflicts: 53000 | #Constraints: 85180
46.53/46.74 c #Conflicts: 54000 | #Constraints: 86180
46.53/46.74 c #Conflicts: 55000 | #Constraints: 87180
46.53/46.74 c #Conflicts: 56000 | #Constraints: 88180
46.53/46.74 c INPROCESSING
46.53/46.74 c GARBAGE COLLECT
46.53/46.74 c #Conflicts: 57000 | #Constraints: 84380
46.53/46.74 c #Conflicts: 58000 | #Constraints: 85380
46.53/46.74 c #Conflicts: 59000 | #Constraints: 86380
46.53/46.74 c #Conflicts: 60000 | #Constraints: 87380
46.53/46.74 c #Conflicts: 61000 | #Constraints: 88380
46.53/46.74 c INPROCESSING
46.53/46.74 c GARBAGE COLLECT
46.53/46.74 c rational objective 72.0312
55.31/55.53 c #Conflicts: 62000 | #Constraints: 84381
55.31/55.53 c #Conflicts: 63000 | #Constraints: 85381
55.31/55.53 c #Conflicts: 64000 | #Constraints: 86381
55.31/55.53 c #Conflicts: 65000 | #Constraints: 87381
55.31/55.53 c #Conflicts: 66000 | #Constraints: 88381
55.31/55.53 c INPROCESSING
55.31/55.53 c GARBAGE COLLECT
55.31/55.53 c #Conflicts: 67000 | #Constraints: 84184
55.31/55.53 c #Conflicts: 68000 | #Constraints: 85184
55.31/55.53 c #Conflicts: 69000 | #Constraints: 86184
55.31/55.53 c #Conflicts: 70000 | #Constraints: 87184
55.31/55.53 c #Conflicts: 71000 | #Constraints: 88184
55.31/55.53 c #Conflicts: 72000 | #Constraints: 89184
55.31/55.53 c INPROCESSING
55.31/55.53 c GARBAGE COLLECT
55.31/55.53 c rational objective 72.2344
65.18/65.41 c #Conflicts: 73000 | #Constraints: 84790
65.18/65.41 c #Conflicts: 74000 | #Constraints: 85790
65.18/65.41 c #Conflicts: 75000 | #Constraints: 86790
65.18/65.41 c #Conflicts: 76000 | #Constraints: 87790
65.18/65.41 c #Conflicts: 77000 | #Constraints: 88790
65.18/65.41 c #Conflicts: 78000 | #Constraints: 89790
65.18/65.41 c INPROCESSING
65.18/65.41 c GARBAGE COLLECT
65.18/65.41 c #Conflicts: 79000 | #Constraints: 85194
65.18/65.41 c #Conflicts: 80000 | #Constraints: 86194
65.18/65.41 c #Conflicts: 81000 | #Constraints: 87195
65.18/65.41 c #Conflicts: 82000 | #Constraints: 88195
65.18/65.41 c #Conflicts: 83000 | #Constraints: 89195
65.18/65.41 c #Conflicts: 84000 | #Constraints: 90195
65.18/65.41 c INPROCESSING
65.18/65.41 c GARBAGE COLLECT
65.18/65.41 c rational objective 72.2969
92.71/93.07 c #Conflicts: 85000 | #Constraints: 85396
92.71/93.07 c #Conflicts: 86000 | #Constraints: 86396
92.71/93.07 c #Conflicts: 87000 | #Constraints: 87396
92.71/93.07 c #Conflicts: 88000 | #Constraints: 88396
92.71/93.07 c #Conflicts: 89000 | #Constraints: 89396
92.71/93.07 c #Conflicts: 90000 | #Constraints: 90396
92.71/93.07 c INPROCESSING
92.71/93.07 c GARBAGE COLLECT
92.71/93.07 c #Conflicts: 91000 | #Constraints: 85385
92.71/93.07 c #Conflicts: 92000 | #Constraints: 86385
92.71/93.07 c #Conflicts: 93000 | #Constraints: 87385
92.71/93.07 c #Conflicts: 94000 | #Constraints: 88385
92.71/93.07 c #Conflicts: 95000 | #Constraints: 89385
92.71/93.07 c #Conflicts: 96000 | #Constraints: 90385
92.71/93.07 c INPROCESSING
92.71/93.07 c GARBAGE COLLECT
92.71/93.07 c #Conflicts: 97000 | #Constraints: 85186
92.71/93.07 c #Conflicts: 98000 | #Constraints: 86186
92.71/93.07 c #Conflicts: 99000 | #Constraints: 87187
92.71/93.07 c #Conflicts: 100000 | #Constraints: 88187
92.71/93.07 c #Conflicts: 101000 | #Constraints: 89187
92.71/93.07 c #Conflicts: 102000 | #Constraints: 90187
92.71/93.07 c #Conflicts: 103000 | #Constraints: 91187
92.71/93.07 c INPROCESSING
92.71/93.07 c GARBAGE COLLECT
92.71/93.07 c #Conflicts: 104000 | #Constraints: 85791
92.71/93.07 c #Conflicts: 105000 | #Constraints: 86791
92.71/93.07 c #Conflicts: 106000 | #Constraints: 87791
92.71/93.07 c #Conflicts: 107000 | #Constraints: 88791
92.71/93.07 c #Conflicts: 108000 | #Constraints: 89796
92.71/93.07 c #Conflicts: 109000 | #Constraints: 90808
92.71/93.07 c #Conflicts: 110000 | #Constraints: 91808
92.71/93.07 c INPROCESSING
92.71/93.07 c GARBAGE COLLECT
92.71/93.07 c #Conflicts: 111000 | #Constraints: 86200
92.71/93.07 c #Conflicts: 112000 | #Constraints: 87200
92.71/93.07 c #Conflicts: 113000 | #Constraints: 88201
92.71/93.07 c #Conflicts: 114000 | #Constraints: 89201
92.71/93.07 c #Conflicts: 115000 | #Constraints: 90201
92.71/93.07 c #Conflicts: 116000 | #Constraints: 91201
92.71/93.07 c #Conflicts: 117000 | #Constraints: 92209
92.71/93.07 c INPROCESSING
92.71/93.07 c GARBAGE COLLECT
92.71/93.07 c rational objective 72.4937
157.72/158.27 c #Conflicts: 118000 | #Constraints: 86408
157.72/158.27 c #Conflicts: 119000 | #Constraints: 87408
157.72/158.27 c #Conflicts: 120000 | #Constraints: 88408
157.72/158.27 c #Conflicts: 121000 | #Constraints: 89408
157.72/158.27 c #Conflicts: 122000 | #Constraints: 90408
157.72/158.27 c #Conflicts: 123000 | #Constraints: 91411
157.72/158.27 c #Conflicts: 124000 | #Constraints: 92412
157.72/158.27 c INPROCESSING
157.72/158.27 c GARBAGE COLLECT
157.72/158.27 c #Conflicts: 125000 | #Constraints: 86405
157.72/158.27 c #Conflicts: 126000 | #Constraints: 87405
157.72/158.27 c #Conflicts: 127000 | #Constraints: 88408
157.72/158.27 c #Conflicts: 128000 | #Constraints: 89410
157.72/158.27 c #Conflicts: 129000 | #Constraints: 90410
157.72/158.27 c #Conflicts: 130000 | #Constraints: 91410
157.72/158.27 c #Conflicts: 131000 | #Constraints: 92411
157.72/158.27 c INPROCESSING
157.72/158.27 c GARBAGE COLLECT
157.72/158.27 c #Conflicts: 132000 | #Constraints: 86204
157.72/158.27 c #Conflicts: 133000 | #Constraints: 87205
157.72/158.27 c #Conflicts: 134000 | #Constraints: 88206
157.72/158.27 c #Conflicts: 135000 | #Constraints: 89206
157.72/158.27 c #Conflicts: 136000 | #Constraints: 90206
157.72/158.27 c #Conflicts: 137000 | #Constraints: 91206
157.72/158.27 c #Conflicts: 138000 | #Constraints: 92207
157.72/158.27 c #Conflicts: 139000 | #Constraints: 93207
157.72/158.27 c INPROCESSING
157.72/158.27 c GARBAGE COLLECT
157.72/158.27 c #Conflicts: 140000 | #Constraints: 86812
157.72/158.27 c #Conflicts: 141000 | #Constraints: 87813
157.72/158.27 c #Conflicts: 142000 | #Constraints: 88813
157.72/158.27 c #Conflicts: 143000 | #Constraints: 89813
157.72/158.27 c #Conflicts: 144000 | #Constraints: 90814
157.72/158.27 c #Conflicts: 145000 | #Constraints: 91815
157.72/158.27 c #Conflicts: 146000 | #Constraints: 92815
157.72/158.27 c #Conflicts: 147000 | #Constraints: 93815
157.72/158.27 c INPROCESSING
157.72/158.27 c GARBAGE COLLECT
157.72/158.27 c #Conflicts: 148000 | #Constraints: 87223
157.72/158.27 c #Conflicts: 149000 | #Constraints: 88223
157.72/158.27 c #Conflicts: 150000 | #Constraints: 89223
157.72/158.27 c #Conflicts: 151000 | #Constraints: 90223
157.72/158.27 c #Conflicts: 152000 | #Constraints: 91223
157.72/158.27 c #Conflicts: 153000 | #Constraints: 92224
157.72/158.27 c #Conflicts: 154000 | #Constraints: 93224
157.72/158.27 c #Conflicts: 155000 | #Constraints: 94224
157.72/158.27 c INPROCESSING
157.72/158.27 c GARBAGE COLLECT
157.72/158.27 c #Conflicts: 156000 | #Constraints: 87404
157.72/158.27 c #Conflicts: 157000 | #Constraints: 88404
157.72/158.27 c #Conflicts: 158000 | #Constraints: 89404
157.72/158.27 c #Conflicts: 159000 | #Constraints: 90404
157.72/158.27 c #Conflicts: 160000 | #Constraints: 91405
157.72/158.27 c #Conflicts: 161000 | #Constraints: 92405
157.72/158.27 c #Conflicts: 162000 | #Constraints: 93405
157.72/158.27 c #Conflicts: 163000 | #Constraints: 94405
157.72/158.27 c INPROCESSING
157.72/158.27 c GARBAGE COLLECT
157.72/158.27 c #Conflicts: 164000 | #Constraints: 87406
157.72/158.27 c #Conflicts: 165000 | #Constraints: 88406
157.72/158.27 c #Conflicts: 166000 | #Constraints: 89406
157.72/158.27 c #Conflicts: 167000 | #Constraints: 90406
157.72/158.27 c #Conflicts: 168000 | #Constraints: 91406
157.72/158.27 c #Conflicts: 169000 | #Constraints: 92406
157.72/158.27 c #Conflicts: 170000 | #Constraints: 93407
157.72/158.27 c #Conflicts: 171000 | #Constraints: 94407
157.72/158.27 c INPROCESSING
157.72/158.27 c GARBAGE COLLECT
157.72/158.27 c #Conflicts: 172000 | #Constraints: 87201
157.72/158.27 c #Conflicts: 173000 | #Constraints: 88201
157.72/158.27 c #Conflicts: 174000 | #Constraints: 89202
157.72/158.27 c #Conflicts: 175000 | #Constraints: 90203
157.72/158.27 c #Conflicts: 176000 | #Constraints: 91203
157.72/158.27 c #Conflicts: 177000 | #Constraints: 92204
157.72/158.27 c #Conflicts: 178000 | #Constraints: 93204
157.72/158.27 c #Conflicts: 179000 | #Constraints: 94205
157.72/158.27 c #Conflicts: 180000 | #Constraints: 95205
157.72/158.27 c INPROCESSING
157.72/158.27 c GARBAGE COLLECT
157.72/158.27 c #Conflicts: 181000 | #Constraints: 87805
157.72/158.27 c #Conflicts: 182000 | #Constraints: 88805
157.72/158.27 c #Conflicts: 183000 | #Constraints: 89805
157.72/158.27 c #Conflicts: 184000 | #Constraints: 90805
157.72/158.27 c #Conflicts: 185000 | #Constraints: 91805
157.72/158.27 c #Conflicts: 186000 | #Constraints: 92805
157.72/158.27 c #Conflicts: 187000 | #Constraints: 93805
157.72/158.27 c #Conflicts: 188000 | #Constraints: 94805
157.72/158.27 c #Conflicts: 189000 | #Constraints: 95805
157.72/158.27 c INPROCESSING
157.72/158.27 c GARBAGE COLLECT
157.72/158.27 c #Conflicts: 190000 | #Constraints: 88216
157.72/158.27 c #Conflicts: 191000 | #Constraints: 89216
227.81/228.57 c #Conflicts: 192000 | #Constraints: 90220
227.81/228.57 c #Conflicts: 193000 | #Constraints: 91220
227.81/228.57 c #Conflicts: 194000 | #Constraints: 92220
227.81/228.57 c #Conflicts: 195000 | #Constraints: 93220
227.81/228.57 c #Conflicts: 196000 | #Constraints: 94220
227.81/228.57 c #Conflicts: 197000 | #Constraints: 95220
227.81/228.57 c #Conflicts: 198000 | #Constraints: 96220
227.81/228.57 c INPROCESSING
227.81/228.57 c GARBAGE COLLECT
227.81/228.57 c #Conflicts: 199000 | #Constraints: 88434
227.81/228.57 c #Conflicts: 200000 | #Constraints: 89434
227.81/228.57 c #Conflicts: 201000 | #Constraints: 90435
227.81/228.57 c #Conflicts: 202000 | #Constraints: 91438
227.81/228.57 c #Conflicts: 203000 | #Constraints: 92439
227.81/228.57 c #Conflicts: 204000 | #Constraints: 93439
227.81/228.57 c #Conflicts: 205000 | #Constraints: 94439
227.81/228.57 c #Conflicts: 206000 | #Constraints: 95440
227.81/228.57 c #Conflicts: 207000 | #Constraints: 96441
227.81/228.57 c INPROCESSING
227.81/228.57 c GARBAGE COLLECT
227.81/228.57 c #Conflicts: 208000 | #Constraints: 88423
227.81/228.57 c #Conflicts: 209000 | #Constraints: 89423
227.81/228.57 c #Conflicts: 210000 | #Constraints: 90423
227.81/228.57 c #Conflicts: 211000 | #Constraints: 91423
227.81/228.57 c #Conflicts: 212000 | #Constraints: 92423
227.81/228.57 c #Conflicts: 213000 | #Constraints: 93423
227.81/228.57 c #Conflicts: 214000 | #Constraints: 94423
227.81/228.57 c #Conflicts: 215000 | #Constraints: 95423
227.81/228.57 c #Conflicts: 216000 | #Constraints: 96424
227.81/228.57 c INPROCESSING
227.81/228.57 c GARBAGE COLLECT
227.81/228.57 c #Conflicts: 217000 | #Constraints: 88236
227.81/228.57 c #Conflicts: 218000 | #Constraints: 89236
227.81/228.57 c #Conflicts: 219000 | #Constraints: 90236
227.81/228.57 c #Conflicts: 220000 | #Constraints: 91236
227.81/228.57 c #Conflicts: 221000 | #Constraints: 92236
227.81/228.57 c #Conflicts: 222000 | #Constraints: 93236
227.81/228.57 c #Conflicts: 223000 | #Constraints: 94236
227.81/228.57 c #Conflicts: 224000 | #Constraints: 95236
227.81/228.57 c #Conflicts: 225000 | #Constraints: 96236
227.81/228.57 c #Conflicts: 226000 | #Constraints: 97236
227.81/228.57 c INPROCESSING
227.81/228.57 c GARBAGE COLLECT
227.81/228.57 c #Conflicts: 227000 | #Constraints: 88839
227.81/228.57 c #Conflicts: 228000 | #Constraints: 89839
227.81/228.57 c #Conflicts: 229000 | #Constraints: 90839
227.81/228.57 c #Conflicts: 230000 | #Constraints: 91839
227.81/228.57 c #Conflicts: 231000 | #Constraints: 92839
227.81/228.57 c #Conflicts: 232000 | #Constraints: 93839
227.81/228.57 c #Conflicts: 233000 | #Constraints: 94839
227.81/228.57 c #Conflicts: 234000 | #Constraints: 95839
227.81/228.57 c #Conflicts: 235000 | #Constraints: 96839
227.81/228.57 c #Conflicts: 236000 | #Constraints: 97839
227.81/228.57 c INPROCESSING
227.81/228.57 c GARBAGE COLLECT
227.81/228.57 c #Conflicts: 237000 | #Constraints: 89225
227.81/228.57 c #Conflicts: 238000 | #Constraints: 90225
227.81/228.57 c #Conflicts: 239000 | #Constraints: 91225
227.81/228.57 c #Conflicts: 240000 | #Constraints: 92225
227.81/228.57 c #Conflicts: 241000 | #Constraints: 93225
227.81/228.57 c #Conflicts: 242000 | #Constraints: 94225
227.81/228.57 c #Conflicts: 243000 | #Constraints: 95225
227.81/228.57 c #Conflicts: 244000 | #Constraints: 96225
227.81/228.57 c #Conflicts: 245000 | #Constraints: 97225
227.81/228.57 c #Conflicts: 246000 | #Constraints: 98225
227.81/228.57 c INPROCESSING
227.81/228.57 c GARBAGE COLLECT
227.81/228.57 c #Conflicts: 247000 | #Constraints: 89401
227.81/228.57 c #Conflicts: 248000 | #Constraints: 90401
227.81/228.57 c #Conflicts: 249000 | #Constraints: 91401
227.81/228.57 c #Conflicts: 250000 | #Constraints: 92401
227.81/228.57 c #Conflicts: 251000 | #Constraints: 93401
227.81/228.57 c #Conflicts: 252000 | #Constraints: 94401
227.81/228.57 c #Conflicts: 253000 | #Constraints: 95401
227.81/228.57 c #Conflicts: 254000 | #Constraints: 96401
227.81/228.57 c #Conflicts: 255000 | #Constraints: 97401
227.81/228.57 c #Conflicts: 256000 | #Constraints: 98401
227.81/228.57 c INPROCESSING
227.81/228.57 c GARBAGE COLLECT
227.81/228.57 c #Conflicts: 257000 | #Constraints: 89404
227.81/228.57 c #Conflicts: 258000 | #Constraints: 90404
227.81/228.57 c #Conflicts: 259000 | #Constraints: 91404
227.81/228.57 c #Conflicts: 260000 | #Constraints: 92404
227.81/228.57 c #Conflicts: 261000 | #Constraints: 93404
227.81/228.57 c #Conflicts: 262000 | #Constraints: 94404
227.81/228.57 c #Conflicts: 263000 | #Constraints: 95404
227.81/228.57 c #Conflicts: 264000 | #Constraints: 96404
227.81/228.57 c #Conflicts: 265000 | #Constraints: 97404
229.81/230.53 c #Conflicts: 266000 | #Constraints: 98404
229.81/230.53 c INPROCESSING
229.81/230.53 c GARBAGE COLLECT
229.81/230.53 c rational objective 72.5469
240.58/241.31 c #Conflicts: 267000 | #Constraints: 89208
240.58/241.31 c #Conflicts: 268000 | #Constraints: 90208
240.58/241.31 c #Conflicts: 269000 | #Constraints: 91208
240.58/241.31 c #Conflicts: 270000 | #Constraints: 92208
240.58/241.31 c #Conflicts: 271000 | #Constraints: 93208
240.58/241.31 c #Conflicts: 272000 | #Constraints: 94208
240.58/241.31 c #Conflicts: 273000 | #Constraints: 95208
240.58/241.31 c #Conflicts: 274000 | #Constraints: 96208
240.58/241.31 c #Conflicts: 275000 | #Constraints: 97208
240.58/241.31 c #Conflicts: 276000 | #Constraints: 98208
240.58/241.31 c #Conflicts: 277000 | #Constraints: 99208
240.58/241.31 c INPROCESSING
240.58/241.31 c GARBAGE COLLECT
240.58/241.31 c rational objective 72.6875
248.36/249.19 c #Conflicts: 278000 | #Constraints: 89793
248.36/249.19 c #Conflicts: 279000 | #Constraints: 90793
248.36/249.19 c #Conflicts: 280000 | #Constraints: 91793
248.36/249.19 c #Conflicts: 281000 | #Constraints: 92793
248.36/249.19 c #Conflicts: 282000 | #Constraints: 93793
248.36/249.19 c #Conflicts: 283000 | #Constraints: 94793
248.36/249.19 c #Conflicts: 284000 | #Constraints: 95793
248.36/249.19 c #Conflicts: 285000 | #Constraints: 96793
248.36/249.19 c #Conflicts: 286000 | #Constraints: 97793
248.36/249.19 c #Conflicts: 287000 | #Constraints: 98793
248.36/249.19 c #Conflicts: 288000 | #Constraints: 99793
248.36/249.19 c INPROCESSING
248.36/249.19 c GARBAGE COLLECT
248.36/249.19 c rational objective 72.7344
313.66/314.66 c #Conflicts: 289000 | #Constraints: 90204
313.66/314.66 c #Conflicts: 290000 | #Constraints: 91204
313.66/314.66 c #Conflicts: 291000 | #Constraints: 92204
313.66/314.66 c #Conflicts: 292000 | #Constraints: 93204
313.66/314.66 c #Conflicts: 293000 | #Constraints: 94204
313.66/314.66 c #Conflicts: 294000 | #Constraints: 95204
313.66/314.66 c #Conflicts: 295000 | #Constraints: 96204
313.66/314.66 c #Conflicts: 296000 | #Constraints: 97204
313.66/314.66 c #Conflicts: 297000 | #Constraints: 98204
313.66/314.66 c #Conflicts: 298000 | #Constraints: 99204
313.66/314.66 c #Conflicts: 299000 | #Constraints: 100204
313.66/314.66 c #Conflicts: 300000 | #Constraints: 101204
313.66/314.66 c #Conflicts: 301000 | #Constraints: 102204
313.66/314.66 c #Conflicts: 302000 | #Constraints: 103204
313.66/314.66 c #Conflicts: 303000 | #Constraints: 104204
313.66/314.66 c #Conflicts: 304000 | #Constraints: 105204
313.66/314.66 c #Conflicts: 305000 | #Constraints: 106204
313.66/314.66 c #Conflicts: 306000 | #Constraints: 107204
313.66/314.66 c #Conflicts: 307000 | #Constraints: 108204
313.66/314.66 c #Conflicts: 308000 | #Constraints: 109204
313.66/314.66 c #Conflicts: 309000 | #Constraints: 110204
313.66/314.66 c #Conflicts: 310000 | #Constraints: 111204
313.66/314.66 c #Conflicts: 311000 | #Constraints: 112204
313.66/314.66 c #Conflicts: 312000 | #Constraints: 113204
313.66/314.66 c #Conflicts: 313000 | #Constraints: 114204
313.66/314.66 c #Conflicts: 314000 | #Constraints: 115204
313.66/314.66 c #Conflicts: 315000 | #Constraints: 116204
313.66/314.66 c #Conflicts: 316000 | #Constraints: 117204
313.66/314.66 c #Conflicts: 317000 | #Constraints: 118204
313.66/314.66 c #Conflicts: 318000 | #Constraints: 119204
313.66/314.66 c #Conflicts: 319000 | #Constraints: 120204
313.66/314.66 c #Conflicts: 320000 | #Constraints: 121204
313.66/314.66 c #Conflicts: 321000 | #Constraints: 122204
313.66/314.66 c #Conflicts: 322000 | #Constraints: 123204
313.66/314.66 c #Conflicts: 323000 | #Constraints: 124204
313.66/314.66 c #Conflicts: 324000 | #Constraints: 125204
313.66/314.66 c #Conflicts: 325000 | #Constraints: 126204
313.66/314.66 c #Conflicts: 326000 | #Constraints: 127204
313.66/314.66 c #Conflicts: 327000 | #Constraints: 128204
313.66/314.66 c #Conflicts: 328000 | #Constraints: 129204
313.66/314.66 c #Conflicts: 329000 | #Constraints: 130204
313.66/314.66 c #Conflicts: 330000 | #Constraints: 131204
313.66/314.66 c #Conflicts: 331000 | #Constraints: 132204
313.66/314.66 c #Conflicts: 332000 | #Constraints: 133204
313.66/314.66 c #Conflicts: 333000 | #Constraints: 134204
313.66/314.66 c #Conflicts: 334000 | #Constraints: 135204
313.66/314.66 c #Conflicts: 335000 | #Constraints: 136204
313.66/314.66 c #Conflicts: 336000 | #Constraints: 137204
313.66/314.66 c #Conflicts: 337000 | #Constraints: 138204
313.66/314.66 c #Conflicts: 338000 | #Constraints: 139204
313.66/314.66 c #Conflicts: 339000 | #Constraints: 140204
313.66/314.66 c #Conflicts: 340000 | #Constraints: 141204
313.66/314.66 c INPROCESSING
313.66/314.66 c GARBAGE COLLECT
313.66/314.66 c rational objective 72.8281
339.79/340.83 c #Conflicts: 341000 | #Constraints: 110743
339.79/340.83 c #Conflicts: 342000 | #Constraints: 111743
339.79/340.83 c #Conflicts: 343000 | #Constraints: 112743
339.79/340.83 c #Conflicts: 344000 | #Constraints: 113744
339.79/340.83 c #Conflicts: 345000 | #Constraints: 114744
339.79/340.83 c #Conflicts: 346000 | #Constraints: 115744
339.79/340.83 c #Conflicts: 347000 | #Constraints: 116744
339.79/340.83 c #Conflicts: 348000 | #Constraints: 117744
339.79/340.83 c #Conflicts: 349000 | #Constraints: 118744
339.79/340.83 c #Conflicts: 350000 | #Constraints: 119744
339.79/340.83 c #Conflicts: 351000 | #Constraints: 120744
339.79/340.83 c #Conflicts: 352000 | #Constraints: 121744
339.79/340.83 c INPROCESSING
339.79/340.83 c GARBAGE COLLECT
339.79/340.83 c #Conflicts: 353000 | #Constraints: 100937
339.79/340.83 c #Conflicts: 354000 | #Constraints: 101938
339.79/340.83 c #Conflicts: 355000 | #Constraints: 102938
339.79/340.83 c #Conflicts: 356000 | #Constraints: 103938
339.79/340.83 c #Conflicts: 357000 | #Constraints: 104938
339.79/340.83 c #Conflicts: 358000 | #Constraints: 105938
339.79/340.83 c #Conflicts: 359000 | #Constraints: 106938
339.79/340.83 c #Conflicts: 360000 | #Constraints: 107938
339.79/340.83 c #Conflicts: 361000 | #Constraints: 108938
339.79/340.83 c #Conflicts: 362000 | #Constraints: 109938
339.79/340.83 c #Conflicts: 363000 | #Constraints: 110938
339.79/340.83 c #Conflicts: 364000 | #Constraints: 111938
339.79/340.83 c INPROCESSING
339.79/340.83 c GARBAGE COLLECT
339.79/340.83 c rational objective 72.9062
354.75/355.80 c #Conflicts: 365000 | #Constraints: 95892
354.75/355.80 c #Conflicts: 366000 | #Constraints: 96892
354.75/355.80 c #Conflicts: 367000 | #Constraints: 97892
354.75/355.80 c #Conflicts: 368000 | #Constraints: 98892
354.75/355.80 c #Conflicts: 369000 | #Constraints: 99892
354.75/355.80 c #Conflicts: 370000 | #Constraints: 100892
354.75/355.80 c #Conflicts: 371000 | #Constraints: 101892
354.75/355.80 c #Conflicts: 372000 | #Constraints: 102892
354.75/355.80 c #Conflicts: 373000 | #Constraints: 103892
354.75/355.80 c #Conflicts: 374000 | #Constraints: 104892
354.75/355.80 c #Conflicts: 375000 | #Constraints: 105892
354.75/355.80 c #Conflicts: 376000 | #Constraints: 106893
354.75/355.80 c #Conflicts: 377000 | #Constraints: 107893
354.75/355.80 c INPROCESSING
354.75/355.80 c GARBAGE COLLECT
354.75/355.80 c rational objective 72.9688
448.38/449.70 c #Conflicts: 378000 | #Constraints: 94118
448.38/449.70 c #Conflicts: 379000 | #Constraints: 95118
448.38/449.70 c #Conflicts: 380000 | #Constraints: 96118
448.38/449.70 c #Conflicts: 381000 | #Constraints: 97118
448.38/449.70 c #Conflicts: 382000 | #Constraints: 98118
448.38/449.70 c #Conflicts: 383000 | #Constraints: 99118
448.38/449.70 c #Conflicts: 384000 | #Constraints: 100118
448.38/449.70 c #Conflicts: 385000 | #Constraints: 101118
448.38/449.70 c #Conflicts: 386000 | #Constraints: 102118
448.38/449.70 c #Conflicts: 387000 | #Constraints: 103118
448.38/449.70 c #Conflicts: 388000 | #Constraints: 104118
448.38/449.70 c #Conflicts: 389000 | #Constraints: 105118
448.38/449.70 c #Conflicts: 390000 | #Constraints: 106118
448.38/449.70 c INPROCESSING
448.38/449.70 c GARBAGE COLLECT
448.38/449.70 c #Conflicts: 391000 | #Constraints: 93373
448.38/449.70 c #Conflicts: 392000 | #Constraints: 94373
448.38/449.70 c #Conflicts: 393000 | #Constraints: 95373
448.38/449.70 c #Conflicts: 394000 | #Constraints: 96373
448.38/449.70 c #Conflicts: 395000 | #Constraints: 97373
448.38/449.70 c #Conflicts: 396000 | #Constraints: 98373
448.38/449.70 c #Conflicts: 397000 | #Constraints: 99373
448.38/449.70 c #Conflicts: 398000 | #Constraints: 100374
448.38/449.70 c #Conflicts: 399000 | #Constraints: 101374
448.38/449.70 c #Conflicts: 400000 | #Constraints: 102374
448.38/449.70 c #Conflicts: 401000 | #Constraints: 103375
448.38/449.70 c #Conflicts: 402000 | #Constraints: 104375
448.38/449.70 c #Conflicts: 403000 | #Constraints: 105376
448.38/449.70 c #Conflicts: 404000 | #Constraints: 106376
448.38/449.70 c #Conflicts: 405000 | #Constraints: 107377
448.38/449.70 c #Conflicts: 406000 | #Constraints: 108377
448.38/449.70 c #Conflicts: 407000 | #Constraints: 109378
448.38/449.70 c #Conflicts: 408000 | #Constraints: 110378
448.38/449.70 c #Conflicts: 409000 | #Constraints: 111378
448.38/449.70 c #Conflicts: 410000 | #Constraints: 112378
448.38/449.70 c #Conflicts: 411000 | #Constraints: 113379
448.38/449.70 c #Conflicts: 412000 | #Constraints: 114380
448.38/449.70 c #Conflicts: 413000 | #Constraints: 115380
448.38/449.70 c #Conflicts: 414000 | #Constraints: 116380
448.38/449.70 c #Conflicts: 415000 | #Constraints: 117380
448.38/449.70 c #Conflicts: 416000 | #Constraints: 118380
448.38/449.70 c #Conflicts: 417000 | #Constraints: 119380
448.38/449.70 c #Conflicts: 418000 | #Constraints: 120382
448.38/449.70 c #Conflicts: 419000 | #Constraints: 121383
448.38/449.70 c #Conflicts: 420000 | #Constraints: 122388
448.38/449.70 c #Conflicts: 421000 | #Constraints: 123409
448.38/449.70 c #Conflicts: 422000 | #Constraints: 124410
448.38/449.70 c #Conflicts: 423000 | #Constraints: 125410
448.38/449.70 c #Conflicts: 424000 | #Constraints: 126412
448.38/449.70 c #Conflicts: 425000 | #Constraints: 127414
448.38/449.70 c #Conflicts: 426000 | #Constraints: 128415
448.38/449.70 c #Conflicts: 427000 | #Constraints: 129415
448.38/449.70 c #Conflicts: 428000 | #Constraints: 130417
448.38/449.70 c #Conflicts: 429000 | #Constraints: 131417
448.38/449.70 c #Conflicts: 430000 | #Constraints: 132417
448.38/449.70 c #Conflicts: 431000 | #Constraints: 133417
448.38/449.70 c #Conflicts: 432000 | #Constraints: 134417
448.38/449.70 c #Conflicts: 433000 | #Constraints: 135417
448.38/449.70 c #Conflicts: 434000 | #Constraints: 136417
448.38/449.70 c #Conflicts: 435000 | #Constraints: 137424
448.38/449.70 c #Conflicts: 436000 | #Constraints: 138424
448.38/449.70 c #Conflicts: 437000 | #Constraints: 139424
448.38/449.70 c #Conflicts: 438000 | #Constraints: 140425
448.38/449.70 c #Conflicts: 439000 | #Constraints: 141445
448.38/449.70 c #Conflicts: 440000 | #Constraints: 142490
448.38/449.70 c #Conflicts: 441000 | #Constraints: 143490
448.38/449.70 c #Conflicts: 442000 | #Constraints: 144490
448.38/449.70 c #Conflicts: 443000 | #Constraints: 145490
448.38/449.70 c #Conflicts: 444000 | #Constraints: 146490
448.38/449.70 c #Conflicts: 445000 | #Constraints: 147490
448.38/449.70 c #Conflicts: 446000 | #Constraints: 148490
448.38/449.70 c #Conflicts: 447000 | #Constraints: 149490
448.38/449.70 c #Conflicts: 448000 | #Constraints: 150491
448.38/449.70 c INPROCESSING
448.38/449.70 c GARBAGE COLLECT
448.38/449.70 c #Conflicts: 449000 | #Constraints: 115177
448.38/449.70 c #Conflicts: 450000 | #Constraints: 116177
448.38/449.70 c #Conflicts: 451000 | #Constraints: 117177
448.38/449.70 c #Conflicts: 452000 | #Constraints: 118177
448.38/449.70 c #Conflicts: 453000 | #Constraints: 119177
448.38/449.70 c #Conflicts: 454000 | #Constraints: 120177
448.38/449.70 c #Conflicts: 455000 | #Constraints: 121177
545.99/547.69 c #Conflicts: 456000 | #Constraints: 122177
545.99/547.69 c #Conflicts: 457000 | #Constraints: 123177
545.99/547.69 c #Conflicts: 458000 | #Constraints: 124177
545.99/547.69 c #Conflicts: 459000 | #Constraints: 125178
545.99/547.69 c #Conflicts: 460000 | #Constraints: 126178
545.99/547.69 c #Conflicts: 461000 | #Constraints: 127179
545.99/547.69 c #Conflicts: 462000 | #Constraints: 128180
545.99/547.69 c INPROCESSING
545.99/547.69 c GARBAGE COLLECT
545.99/547.69 c #Conflicts: 463000 | #Constraints: 104004
545.99/547.69 c #Conflicts: 464000 | #Constraints: 105005
545.99/547.69 c #Conflicts: 465000 | #Constraints: 106005
545.99/547.69 c #Conflicts: 466000 | #Constraints: 107005
545.99/547.69 c #Conflicts: 467000 | #Constraints: 108006
545.99/547.69 c #Conflicts: 468000 | #Constraints: 109007
545.99/547.69 c #Conflicts: 469000 | #Constraints: 110007
545.99/547.69 c #Conflicts: 470000 | #Constraints: 111007
545.99/547.69 c #Conflicts: 471000 | #Constraints: 112007
545.99/547.69 c #Conflicts: 472000 | #Constraints: 113007
545.99/547.69 c #Conflicts: 473000 | #Constraints: 114007
545.99/547.69 c #Conflicts: 474000 | #Constraints: 115007
545.99/547.69 c #Conflicts: 475000 | #Constraints: 116007
545.99/547.69 c #Conflicts: 476000 | #Constraints: 117007
545.99/547.69 c #Conflicts: 477000 | #Constraints: 118007
545.99/547.69 c INPROCESSING
545.99/547.69 c GARBAGE COLLECT
545.99/547.69 c #Conflicts: 478000 | #Constraints: 99339
545.99/547.69 c #Conflicts: 479000 | #Constraints: 100339
545.99/547.69 c #Conflicts: 480000 | #Constraints: 101339
545.99/547.69 c #Conflicts: 481000 | #Constraints: 102339
545.99/547.69 c #Conflicts: 482000 | #Constraints: 103340
545.99/547.69 c #Conflicts: 483000 | #Constraints: 104340
545.99/547.69 c #Conflicts: 484000 | #Constraints: 105340
545.99/547.69 c #Conflicts: 485000 | #Constraints: 106340
545.99/547.69 c #Conflicts: 486000 | #Constraints: 107340
545.99/547.69 c #Conflicts: 487000 | #Constraints: 108340
545.99/547.69 c #Conflicts: 488000 | #Constraints: 109340
545.99/547.69 c #Conflicts: 489000 | #Constraints: 110340
545.99/547.69 c #Conflicts: 490000 | #Constraints: 111340
545.99/547.69 c #Conflicts: 491000 | #Constraints: 112340
545.99/547.69 c INPROCESSING
545.99/547.69 c GARBAGE COLLECT
545.99/547.69 c #Conflicts: 492000 | #Constraints: 96304
545.99/547.69 c #Conflicts: 493000 | #Constraints: 97304
545.99/547.69 c #Conflicts: 494000 | #Constraints: 98304
545.99/547.69 c #Conflicts: 495000 | #Constraints: 99304
545.99/547.69 c #Conflicts: 496000 | #Constraints: 100304
545.99/547.69 c #Conflicts: 497000 | #Constraints: 101304
545.99/547.69 c #Conflicts: 498000 | #Constraints: 102304
545.99/547.69 c #Conflicts: 499000 | #Constraints: 103304
545.99/547.69 c #Conflicts: 500000 | #Constraints: 104304
545.99/547.69 c #Conflicts: 501000 | #Constraints: 105304
545.99/547.69 c #Conflicts: 502000 | #Constraints: 106304
545.99/547.69 c #Conflicts: 503000 | #Constraints: 107304
545.99/547.69 c #Conflicts: 504000 | #Constraints: 108304
545.99/547.69 c #Conflicts: 505000 | #Constraints: 109304
545.99/547.69 c #Conflicts: 506000 | #Constraints: 110304
545.99/547.69 c INPROCESSING
545.99/547.69 c GARBAGE COLLECT
545.99/547.69 c #Conflicts: 507000 | #Constraints: 95478
545.99/547.69 c #Conflicts: 508000 | #Constraints: 96478
545.99/547.69 c #Conflicts: 509000 | #Constraints: 97478
545.99/547.69 c #Conflicts: 510000 | #Constraints: 98478
545.99/547.69 c #Conflicts: 511000 | #Constraints: 99478
545.99/547.69 c #Conflicts: 512000 | #Constraints: 100478
545.99/547.69 c #Conflicts: 513000 | #Constraints: 101478
545.99/547.69 c #Conflicts: 514000 | #Constraints: 102478
545.99/547.69 c #Conflicts: 515000 | #Constraints: 103478
545.99/547.69 c #Conflicts: 516000 | #Constraints: 104478
545.99/547.69 c #Conflicts: 517000 | #Constraints: 105478
545.99/547.69 c #Conflicts: 518000 | #Constraints: 106478
545.99/547.69 c #Conflicts: 519000 | #Constraints: 107478
545.99/547.69 c #Conflicts: 520000 | #Constraints: 108478
545.99/547.69 c #Conflicts: 521000 | #Constraints: 109478
545.99/547.69 c #Conflicts: 522000 | #Constraints: 110478
545.99/547.69 c #Conflicts: 523000 | #Constraints: 111478
545.99/547.69 c #Conflicts: 524000 | #Constraints: 112478
545.99/547.69 c #Conflicts: 525000 | #Constraints: 113479
545.99/547.69 c #Conflicts: 526000 | #Constraints: 114479
545.99/547.69 c #Conflicts: 527000 | #Constraints: 115479
545.99/547.69 c #Conflicts: 528000 | #Constraints: 116479
545.99/547.69 c #Conflicts: 529000 | #Constraints: 117479
545.99/547.69 c #Conflicts: 530000 | #Constraints: 118479
545.99/547.69 c #Conflicts: 531000 | #Constraints: 119479
626.56/628.49 c #Conflicts: 532000 | #Constraints: 120479
626.56/628.49 c #Conflicts: 533000 | #Constraints: 121479
626.56/628.49 c #Conflicts: 534000 | #Constraints: 122479
626.56/628.49 c #Conflicts: 535000 | #Constraints: 123480
626.56/628.49 c #Conflicts: 536000 | #Constraints: 124480
626.56/628.49 c #Conflicts: 537000 | #Constraints: 125480
626.56/628.49 c #Conflicts: 538000 | #Constraints: 126480
626.56/628.49 c #Conflicts: 539000 | #Constraints: 127480
626.56/628.49 c #Conflicts: 540000 | #Constraints: 128480
626.56/628.49 c #Conflicts: 541000 | #Constraints: 129481
626.56/628.49 c #Conflicts: 542000 | #Constraints: 130481
626.56/628.49 c #Conflicts: 543000 | #Constraints: 131481
626.56/628.49 c #Conflicts: 544000 | #Constraints: 132482
626.56/628.49 c #Conflicts: 545000 | #Constraints: 133482
626.56/628.49 c #Conflicts: 546000 | #Constraints: 134483
626.56/628.49 c #Conflicts: 547000 | #Constraints: 135483
626.56/628.49 c #Conflicts: 548000 | #Constraints: 136484
626.56/628.49 c #Conflicts: 549000 | #Constraints: 137484
626.56/628.49 c #Conflicts: 550000 | #Constraints: 138484
626.56/628.49 c #Conflicts: 551000 | #Constraints: 139484
626.56/628.49 c #Conflicts: 552000 | #Constraints: 140484
626.56/628.49 c #Conflicts: 553000 | #Constraints: 141484
626.56/628.49 c #Conflicts: 554000 | #Constraints: 142484
626.56/628.49 c #Conflicts: 555000 | #Constraints: 143484
626.56/628.49 c #Conflicts: 556000 | #Constraints: 144484
626.56/628.49 c #Conflicts: 557000 | #Constraints: 145485
626.56/628.49 c #Conflicts: 558000 | #Constraints: 146485
626.56/628.49 c #Conflicts: 559000 | #Constraints: 147485
626.56/628.49 c #Conflicts: 560000 | #Constraints: 148486
626.56/628.49 c #Conflicts: 561000 | #Constraints: 149486
626.56/628.49 c #Conflicts: 562000 | #Constraints: 150486
626.56/628.49 c #Conflicts: 563000 | #Constraints: 151487
626.56/628.49 c #Conflicts: 564000 | #Constraints: 152487
626.56/628.49 c #Conflicts: 565000 | #Constraints: 153487
626.56/628.49 c #Conflicts: 566000 | #Constraints: 154487
626.56/628.49 c #Conflicts: 567000 | #Constraints: 155488
626.56/628.49 c #Conflicts: 568000 | #Constraints: 156488
626.56/628.49 c #Conflicts: 569000 | #Constraints: 157488
626.56/628.49 c #Conflicts: 570000 | #Constraints: 158488
626.56/628.49 c #Conflicts: 571000 | #Constraints: 159490
626.56/628.49 c INPROCESSING
626.56/628.49 c GARBAGE COLLECT
626.56/628.49 c #Conflicts: 572000 | #Constraints: 119963
626.56/628.49 c #Conflicts: 573000 | #Constraints: 120963
626.56/628.49 c #Conflicts: 574000 | #Constraints: 121964
626.56/628.49 c #Conflicts: 575000 | #Constraints: 122964
626.56/628.49 c #Conflicts: 576000 | #Constraints: 123964
626.56/628.49 c #Conflicts: 577000 | #Constraints: 124964
626.56/628.49 c #Conflicts: 578000 | #Constraints: 125964
626.56/628.49 c #Conflicts: 579000 | #Constraints: 126964
626.56/628.49 c #Conflicts: 580000 | #Constraints: 127964
626.56/628.49 c #Conflicts: 581000 | #Constraints: 128964
626.56/628.49 c #Conflicts: 582000 | #Constraints: 129964
626.56/628.49 c #Conflicts: 583000 | #Constraints: 130964
626.56/628.49 c #Conflicts: 584000 | #Constraints: 131965
626.56/628.49 c #Conflicts: 585000 | #Constraints: 132966
626.56/628.49 c #Conflicts: 586000 | #Constraints: 133966
626.56/628.49 c #Conflicts: 587000 | #Constraints: 134967
626.56/628.49 c INPROCESSING
626.56/628.49 c GARBAGE COLLECT
626.56/628.49 c rational objective 73.0078
718.90/721.01 c #Conflicts: 588000 | #Constraints: 107774
718.90/721.01 c #Conflicts: 589000 | #Constraints: 108774
718.90/721.01 c #Conflicts: 590000 | #Constraints: 109774
718.90/721.01 c #Conflicts: 591000 | #Constraints: 110774
718.90/721.01 c #Conflicts: 592000 | #Constraints: 111774
718.90/721.01 c #Conflicts: 593000 | #Constraints: 112774
718.90/721.01 c #Conflicts: 594000 | #Constraints: 113774
718.90/721.01 c #Conflicts: 595000 | #Constraints: 114774
718.90/721.01 c #Conflicts: 596000 | #Constraints: 115774
718.90/721.01 c #Conflicts: 597000 | #Constraints: 116774
718.90/721.01 c #Conflicts: 598000 | #Constraints: 117774
718.90/721.01 c #Conflicts: 599000 | #Constraints: 118774
718.90/721.01 c #Conflicts: 600000 | #Constraints: 119774
718.90/721.01 c #Conflicts: 601000 | #Constraints: 120774
718.90/721.01 c #Conflicts: 602000 | #Constraints: 121774
718.90/721.01 c #Conflicts: 603000 | #Constraints: 122774
718.90/721.01 c INPROCESSING
718.90/721.01 c GARBAGE COLLECT
718.90/721.01 c #Conflicts: 604000 | #Constraints: 101604
718.90/721.01 c #Conflicts: 605000 | #Constraints: 102604
718.90/721.01 c #Conflicts: 606000 | #Constraints: 103604
718.90/721.01 c #Conflicts: 607000 | #Constraints: 104604
718.90/721.01 c #Conflicts: 608000 | #Constraints: 105604
718.90/721.01 c #Conflicts: 609000 | #Constraints: 106604
718.90/721.01 c #Conflicts: 610000 | #Constraints: 107604
718.90/721.01 c #Conflicts: 611000 | #Constraints: 108604
718.90/721.01 c #Conflicts: 612000 | #Constraints: 109604
718.90/721.01 c #Conflicts: 613000 | #Constraints: 110604
718.90/721.01 c #Conflicts: 614000 | #Constraints: 111604
718.90/721.01 c #Conflicts: 615000 | #Constraints: 112604
718.90/721.01 c #Conflicts: 616000 | #Constraints: 113604
718.90/721.01 c #Conflicts: 617000 | #Constraints: 114604
718.90/721.01 c #Conflicts: 618000 | #Constraints: 115604
718.90/721.01 c #Conflicts: 619000 | #Constraints: 116604
718.90/721.01 c INPROCESSING
718.90/721.01 c GARBAGE COLLECT
718.90/721.01 c #Conflicts: 620000 | #Constraints: 98356
718.90/721.01 c #Conflicts: 621000 | #Constraints: 99356
718.90/721.01 c #Conflicts: 622000 | #Constraints: 100356
718.90/721.01 c #Conflicts: 623000 | #Constraints: 101356
718.90/721.01 c #Conflicts: 624000 | #Constraints: 102356
718.90/721.01 c #Conflicts: 625000 | #Constraints: 103356
718.90/721.01 c #Conflicts: 626000 | #Constraints: 104357
718.90/721.01 c #Conflicts: 627000 | #Constraints: 105357
718.90/721.01 c #Conflicts: 628000 | #Constraints: 106357
718.90/721.01 c #Conflicts: 629000 | #Constraints: 107357
718.90/721.01 c #Conflicts: 630000 | #Constraints: 108357
718.90/721.01 c #Conflicts: 631000 | #Constraints: 109357
718.90/721.01 c #Conflicts: 632000 | #Constraints: 110357
718.90/721.01 c #Conflicts: 633000 | #Constraints: 111357
718.90/721.01 c #Conflicts: 634000 | #Constraints: 112357
718.90/721.01 c #Conflicts: 635000 | #Constraints: 113357
718.90/721.01 c #Conflicts: 636000 | #Constraints: 114357
718.90/721.01 c #Conflicts: 637000 | #Constraints: 115357
718.90/721.01 c #Conflicts: 638000 | #Constraints: 116357
718.90/721.01 c #Conflicts: 639000 | #Constraints: 117357
718.90/721.01 c #Conflicts: 640000 | #Constraints: 118357
718.90/721.01 c #Conflicts: 641000 | #Constraints: 119357
718.90/721.01 c #Conflicts: 642000 | #Constraints: 120357
718.90/721.01 c #Conflicts: 643000 | #Constraints: 121357
718.90/721.01 c #Conflicts: 644000 | #Constraints: 122357
718.90/721.01 c #Conflicts: 645000 | #Constraints: 123357
718.90/721.01 c #Conflicts: 646000 | #Constraints: 124357
718.90/721.01 c #Conflicts: 647000 | #Constraints: 125357
718.90/721.01 c #Conflicts: 648000 | #Constraints: 126357
718.90/721.01 c #Conflicts: 649000 | #Constraints: 127357
718.90/721.01 c #Conflicts: 650000 | #Constraints: 128358
718.90/721.01 c #Conflicts: 651000 | #Constraints: 129359
718.90/721.01 c #Conflicts: 652000 | #Constraints: 130360
718.90/721.01 c #Conflicts: 653000 | #Constraints: 131360
718.90/721.01 c #Conflicts: 654000 | #Constraints: 132362
718.90/721.01 c #Conflicts: 655000 | #Constraints: 133363
718.90/721.01 c #Conflicts: 656000 | #Constraints: 134363
718.90/721.01 c #Conflicts: 657000 | #Constraints: 135363
718.90/721.01 c #Conflicts: 658000 | #Constraints: 136363
718.90/721.01 c #Conflicts: 659000 | #Constraints: 137364
718.90/721.01 c #Conflicts: 660000 | #Constraints: 138364
718.90/721.01 c #Conflicts: 661000 | #Constraints: 139364
718.90/721.01 c #Conflicts: 662000 | #Constraints: 140366
718.90/721.01 c #Conflicts: 663000 | #Constraints: 141368
718.90/721.01 c #Conflicts: 664000 | #Constraints: 142368
718.90/721.01 c #Conflicts: 665000 | #Constraints: 143368
758.47/760.76 c #Conflicts: 666000 | #Constraints: 144368
758.47/760.76 c #Conflicts: 667000 | #Constraints: 145368
758.47/760.76 c #Conflicts: 668000 | #Constraints: 146368
758.47/760.76 c #Conflicts: 669000 | #Constraints: 147369
758.47/760.76 c #Conflicts: 670000 | #Constraints: 148369
758.47/760.76 c #Conflicts: 671000 | #Constraints: 149369
758.47/760.76 c #Conflicts: 672000 | #Constraints: 150371
758.47/760.76 c #Conflicts: 673000 | #Constraints: 151371
758.47/760.76 c #Conflicts: 674000 | #Constraints: 152372
758.47/760.76 c #Conflicts: 675000 | #Constraints: 153372
758.47/760.76 c #Conflicts: 676000 | #Constraints: 154372
758.47/760.76 c #Conflicts: 677000 | #Constraints: 155373
758.47/760.76 c #Conflicts: 678000 | #Constraints: 156374
758.47/760.76 c #Conflicts: 679000 | #Constraints: 157374
758.47/760.76 c #Conflicts: 680000 | #Constraints: 158376
758.47/760.76 c #Conflicts: 681000 | #Constraints: 159377
758.47/760.76 c #Conflicts: 682000 | #Constraints: 160378
758.47/760.76 c #Conflicts: 683000 | #Constraints: 161379
758.47/760.76 c #Conflicts: 684000 | #Constraints: 162381
758.47/760.76 c #Conflicts: 685000 | #Constraints: 163382
758.47/760.76 c #Conflicts: 686000 | #Constraints: 164383
758.47/760.76 c #Conflicts: 687000 | #Constraints: 165384
758.47/760.76 c #Conflicts: 688000 | #Constraints: 166386
758.47/760.76 c #Conflicts: 689000 | #Constraints: 167386
758.47/760.76 c #Conflicts: 690000 | #Constraints: 168387
758.47/760.76 c INPROCESSING
758.47/760.76 c GARBAGE COLLECT
758.47/760.76 c rational objective 73.1369
842.24/844.79 c #Conflicts: 691000 | #Constraints: 124556
842.24/844.79 c #Conflicts: 692000 | #Constraints: 125557
842.24/844.79 c #Conflicts: 693000 | #Constraints: 126557
842.24/844.79 c #Conflicts: 694000 | #Constraints: 127557
842.24/844.79 c #Conflicts: 695000 | #Constraints: 128557
842.24/844.79 c #Conflicts: 696000 | #Constraints: 129557
842.24/844.79 c #Conflicts: 697000 | #Constraints: 130557
842.24/844.79 c #Conflicts: 698000 | #Constraints: 131557
842.24/844.79 c #Conflicts: 699000 | #Constraints: 132557
842.24/844.79 c #Conflicts: 700000 | #Constraints: 133557
842.24/844.79 c #Conflicts: 701000 | #Constraints: 134557
842.24/844.79 c #Conflicts: 702000 | #Constraints: 135557
842.24/844.79 c #Conflicts: 703000 | #Constraints: 136557
842.24/844.79 c #Conflicts: 704000 | #Constraints: 137557
842.24/844.79 c #Conflicts: 705000 | #Constraints: 138557
842.24/844.79 c #Conflicts: 706000 | #Constraints: 139557
842.24/844.79 c #Conflicts: 707000 | #Constraints: 140557
842.24/844.79 c INPROCESSING
842.24/844.79 c GARBAGE COLLECT
842.24/844.79 c #Conflicts: 708000 | #Constraints: 110332
842.24/844.79 c #Conflicts: 709000 | #Constraints: 111333
842.24/844.79 c #Conflicts: 710000 | #Constraints: 112333
842.24/844.79 c #Conflicts: 711000 | #Constraints: 113333
842.24/844.79 c #Conflicts: 712000 | #Constraints: 114333
842.24/844.79 c #Conflicts: 713000 | #Constraints: 115333
842.24/844.79 c #Conflicts: 714000 | #Constraints: 116333
842.24/844.79 c #Conflicts: 715000 | #Constraints: 117333
842.24/844.79 c #Conflicts: 716000 | #Constraints: 118333
842.24/844.79 c #Conflicts: 717000 | #Constraints: 119333
842.24/844.79 c #Conflicts: 718000 | #Constraints: 120333
842.24/844.79 c #Conflicts: 719000 | #Constraints: 121333
842.24/844.79 c #Conflicts: 720000 | #Constraints: 122333
842.24/844.79 c #Conflicts: 721000 | #Constraints: 123333
842.24/844.79 c #Conflicts: 722000 | #Constraints: 124333
842.24/844.79 c #Conflicts: 723000 | #Constraints: 125334
842.24/844.79 c #Conflicts: 724000 | #Constraints: 126334
842.24/844.79 c #Conflicts: 725000 | #Constraints: 127336
842.24/844.79 c INPROCESSING
842.24/844.79 c GARBAGE COLLECT
842.24/844.79 c #Conflicts: 726000 | #Constraints: 103811
842.24/844.79 c #Conflicts: 727000 | #Constraints: 104811
842.24/844.79 c #Conflicts: 728000 | #Constraints: 105812
842.24/844.79 c #Conflicts: 729000 | #Constraints: 106812
842.24/844.79 c #Conflicts: 730000 | #Constraints: 107812
842.24/844.79 c #Conflicts: 731000 | #Constraints: 108812
842.24/844.79 c #Conflicts: 732000 | #Constraints: 109812
842.24/844.79 c #Conflicts: 733000 | #Constraints: 110812
842.24/844.79 c #Conflicts: 734000 | #Constraints: 111812
842.24/844.79 c #Conflicts: 735000 | #Constraints: 112812
842.24/844.79 c #Conflicts: 736000 | #Constraints: 113814
842.24/844.79 c #Conflicts: 737000 | #Constraints: 114815
842.24/844.79 c #Conflicts: 738000 | #Constraints: 115815
842.24/844.79 c #Conflicts: 739000 | #Constraints: 116816
842.24/844.79 c #Conflicts: 740000 | #Constraints: 117816
842.24/844.79 c #Conflicts: 741000 | #Constraints: 118816
842.24/844.79 c #Conflicts: 742000 | #Constraints: 119816
842.24/844.79 c #Conflicts: 743000 | #Constraints: 120818
842.24/844.79 c INPROCESSING
842.24/844.79 c GARBAGE COLLECT
842.24/844.79 c rational objective 73.7929
955.31/958.13 c #Conflicts: 744000 | #Constraints: 100570
955.31/958.13 c #Conflicts: 745000 | #Constraints: 101571
955.31/958.13 c #Conflicts: 746000 | #Constraints: 102571
955.31/958.13 c #Conflicts: 747000 | #Constraints: 103571
955.31/958.13 c #Conflicts: 748000 | #Constraints: 104571
955.31/958.13 c #Conflicts: 749000 | #Constraints: 105571
955.31/958.13 c #Conflicts: 750000 | #Constraints: 106571
955.31/958.13 c #Conflicts: 751000 | #Constraints: 107571
955.31/958.13 c #Conflicts: 752000 | #Constraints: 108571
955.31/958.13 c #Conflicts: 753000 | #Constraints: 109571
955.31/958.13 c #Conflicts: 754000 | #Constraints: 110571
955.31/958.13 c #Conflicts: 755000 | #Constraints: 111571
955.31/958.13 c #Conflicts: 756000 | #Constraints: 112571
955.31/958.13 c #Conflicts: 757000 | #Constraints: 113571
955.31/958.13 c #Conflicts: 758000 | #Constraints: 114571
955.31/958.13 c #Conflicts: 759000 | #Constraints: 115571
955.31/958.13 c #Conflicts: 760000 | #Constraints: 116571
955.31/958.13 c #Conflicts: 761000 | #Constraints: 117571
955.31/958.13 c #Conflicts: 762000 | #Constraints: 118571
955.31/958.13 c #Conflicts: 763000 | #Constraints: 119571
955.31/958.13 c #Conflicts: 764000 | #Constraints: 120571
955.31/958.13 c #Conflicts: 765000 | #Constraints: 121571
955.31/958.13 c #Conflicts: 766000 | #Constraints: 122571
955.31/958.13 c #Conflicts: 767000 | #Constraints: 123572
955.31/958.13 c #Conflicts: 768000 | #Constraints: 124573
955.31/958.13 c #Conflicts: 769000 | #Constraints: 125573
955.31/958.13 c #Conflicts: 770000 | #Constraints: 126573
955.31/958.13 c #Conflicts: 771000 | #Constraints: 127573
955.31/958.13 c #Conflicts: 772000 | #Constraints: 128573
955.31/958.13 c #Conflicts: 773000 | #Constraints: 129573
955.31/958.13 c #Conflicts: 774000 | #Constraints: 130573
955.31/958.13 c #Conflicts: 775000 | #Constraints: 131574
955.31/958.13 c #Conflicts: 776000 | #Constraints: 132574
955.31/958.13 c #Conflicts: 777000 | #Constraints: 133574
955.31/958.13 c #Conflicts: 778000 | #Constraints: 134574
955.31/958.13 c #Conflicts: 779000 | #Constraints: 135574
955.31/958.13 c #Conflicts: 780000 | #Constraints: 136574
955.31/958.13 c #Conflicts: 781000 | #Constraints: 137575
955.31/958.13 c #Conflicts: 782000 | #Constraints: 138575
955.31/958.13 c #Conflicts: 783000 | #Constraints: 139575
955.31/958.13 c #Conflicts: 784000 | #Constraints: 140575
955.31/958.13 c #Conflicts: 785000 | #Constraints: 141576
955.31/958.13 c #Conflicts: 786000 | #Constraints: 142576
955.31/958.13 c #Conflicts: 787000 | #Constraints: 143576
955.31/958.13 c #Conflicts: 788000 | #Constraints: 144576
955.31/958.13 c #Conflicts: 789000 | #Constraints: 145577
955.31/958.13 c #Conflicts: 790000 | #Constraints: 146577
955.31/958.13 c #Conflicts: 791000 | #Constraints: 147577
955.31/958.13 c #Conflicts: 792000 | #Constraints: 148577
955.31/958.13 c #Conflicts: 793000 | #Constraints: 149578
955.31/958.13 c #Conflicts: 794000 | #Constraints: 150578
955.31/958.13 c #Conflicts: 795000 | #Constraints: 151578
955.31/958.13 c #Conflicts: 796000 | #Constraints: 152578
955.31/958.13 c #Conflicts: 797000 | #Constraints: 153578
955.31/958.13 c #Conflicts: 798000 | #Constraints: 154578
955.31/958.13 c #Conflicts: 799000 | #Constraints: 155578
955.31/958.13 c #Conflicts: 800000 | #Constraints: 156578
955.31/958.13 c #Conflicts: 801000 | #Constraints: 157578
955.31/958.13 c #Conflicts: 802000 | #Constraints: 158578
955.31/958.13 c #Conflicts: 803000 | #Constraints: 159578
955.31/958.13 c #Conflicts: 804000 | #Constraints: 160578
955.31/958.13 c #Conflicts: 805000 | #Constraints: 161578
955.31/958.13 c #Conflicts: 806000 | #Constraints: 162578
955.31/958.13 c #Conflicts: 807000 | #Constraints: 163578
955.31/958.13 c #Conflicts: 808000 | #Constraints: 164578
955.31/958.13 c #Conflicts: 809000 | #Constraints: 165578
955.31/958.13 c #Conflicts: 810000 | #Constraints: 166578
955.31/958.13 c #Conflicts: 811000 | #Constraints: 167578
955.31/958.13 c #Conflicts: 812000 | #Constraints: 168578
955.31/958.13 c #Conflicts: 813000 | #Constraints: 169578
955.31/958.13 c #Conflicts: 814000 | #Constraints: 170578
955.31/958.13 c #Conflicts: 815000 | #Constraints: 171578
955.31/958.13 c #Conflicts: 816000 | #Constraints: 172578
955.31/958.13 c #Conflicts: 817000 | #Constraints: 173579
955.31/958.13 c #Conflicts: 818000 | #Constraints: 174579
955.31/958.13 c #Conflicts: 819000 | #Constraints: 175579
955.31/958.13 c INPROCESSING
955.31/958.13 c GARBAGE COLLECT
955.31/958.13 c #Conflicts: 820000 | #Constraints: 128021
955.31/958.13 c #Conflicts: 821000 | #Constraints: 129021
955.31/958.13 c #Conflicts: 822000 | #Constraints: 130022
1061.29/1064.40 c #Conflicts: 823000 | #Constraints: 131022
1061.29/1064.40 c #Conflicts: 824000 | #Constraints: 132022
1061.29/1064.40 c #Conflicts: 825000 | #Constraints: 133022
1061.29/1064.40 c #Conflicts: 826000 | #Constraints: 134023
1061.29/1064.40 c #Conflicts: 827000 | #Constraints: 135024
1061.29/1064.40 c #Conflicts: 828000 | #Constraints: 136025
1061.29/1064.40 c #Conflicts: 829000 | #Constraints: 137027
1061.29/1064.40 c #Conflicts: 830000 | #Constraints: 138028
1061.29/1064.40 c #Conflicts: 831000 | #Constraints: 139030
1061.29/1064.40 c #Conflicts: 832000 | #Constraints: 140032
1061.29/1064.40 c #Conflicts: 833000 | #Constraints: 141034
1061.29/1064.40 c #Conflicts: 834000 | #Constraints: 142035
1061.29/1064.40 c #Conflicts: 835000 | #Constraints: 143035
1061.29/1064.40 c #Conflicts: 836000 | #Constraints: 144035
1061.29/1064.40 c #Conflicts: 837000 | #Constraints: 145035
1061.29/1064.40 c #Conflicts: 838000 | #Constraints: 146035
1061.29/1064.40 c INPROCESSING
1061.29/1064.40 c GARBAGE COLLECT
1061.29/1064.40 c #Conflicts: 839000 | #Constraints: 113104
1061.29/1064.40 c #Conflicts: 840000 | #Constraints: 114104
1061.29/1064.40 c #Conflicts: 841000 | #Constraints: 115104
1061.29/1064.40 c #Conflicts: 842000 | #Constraints: 116104
1061.29/1064.40 c #Conflicts: 843000 | #Constraints: 117104
1061.29/1064.40 c #Conflicts: 844000 | #Constraints: 118104
1061.29/1064.40 c #Conflicts: 845000 | #Constraints: 119104
1061.29/1064.40 c #Conflicts: 846000 | #Constraints: 120105
1061.29/1064.40 c #Conflicts: 847000 | #Constraints: 121105
1061.29/1064.40 c #Conflicts: 848000 | #Constraints: 122105
1061.29/1064.40 c #Conflicts: 849000 | #Constraints: 123105
1061.29/1064.40 c #Conflicts: 850000 | #Constraints: 124105
1061.29/1064.40 c #Conflicts: 851000 | #Constraints: 125105
1061.29/1064.40 c #Conflicts: 852000 | #Constraints: 126106
1061.29/1064.40 c #Conflicts: 853000 | #Constraints: 127107
1061.29/1064.40 c #Conflicts: 854000 | #Constraints: 128107
1061.29/1064.40 c #Conflicts: 855000 | #Constraints: 129107
1061.29/1064.40 c #Conflicts: 856000 | #Constraints: 130107
1061.29/1064.40 c #Conflicts: 857000 | #Constraints: 131107
1061.29/1064.40 c #Conflicts: 858000 | #Constraints: 132107
1061.29/1064.40 c INPROCESSING
1061.29/1064.40 c GARBAGE COLLECT
1061.29/1064.40 c #Conflicts: 859000 | #Constraints: 106416
1061.29/1064.40 c #Conflicts: 860000 | #Constraints: 107416
1061.29/1064.40 c #Conflicts: 861000 | #Constraints: 108416
1061.29/1064.40 c #Conflicts: 862000 | #Constraints: 109416
1061.29/1064.40 c #Conflicts: 863000 | #Constraints: 110416
1061.29/1064.40 c #Conflicts: 864000 | #Constraints: 111416
1061.29/1064.40 c #Conflicts: 865000 | #Constraints: 112416
1061.29/1064.40 c #Conflicts: 866000 | #Constraints: 113416
1061.29/1064.40 c #Conflicts: 867000 | #Constraints: 114416
1061.29/1064.40 c #Conflicts: 868000 | #Constraints: 115416
1061.29/1064.40 c #Conflicts: 869000 | #Constraints: 116417
1061.29/1064.40 c #Conflicts: 870000 | #Constraints: 117417
1061.29/1064.40 c #Conflicts: 871000 | #Constraints: 118417
1061.29/1064.40 c #Conflicts: 872000 | #Constraints: 119417
1061.29/1064.40 c #Conflicts: 873000 | #Constraints: 120417
1061.29/1064.40 c #Conflicts: 874000 | #Constraints: 121417
1061.29/1064.40 c #Conflicts: 875000 | #Constraints: 122417
1061.29/1064.40 c #Conflicts: 876000 | #Constraints: 123417
1061.29/1064.40 c #Conflicts: 877000 | #Constraints: 124417
1061.29/1064.40 c INPROCESSING
1061.29/1064.40 c GARBAGE COLLECT
1061.29/1064.40 c #Conflicts: 878000 | #Constraints: 102182
1061.29/1064.40 c #Conflicts: 879000 | #Constraints: 103182
1061.29/1064.40 c #Conflicts: 880000 | #Constraints: 104182
1061.29/1064.40 c #Conflicts: 881000 | #Constraints: 105182
1061.29/1064.40 c #Conflicts: 882000 | #Constraints: 106182
1061.29/1064.40 c #Conflicts: 883000 | #Constraints: 107182
1061.29/1064.40 c #Conflicts: 884000 | #Constraints: 108183
1061.29/1064.40 c #Conflicts: 885000 | #Constraints: 109184
1061.29/1064.40 c #Conflicts: 886000 | #Constraints: 110184
1061.29/1064.40 c #Conflicts: 887000 | #Constraints: 111185
1061.29/1064.40 c #Conflicts: 888000 | #Constraints: 112185
1061.29/1064.40 c #Conflicts: 889000 | #Constraints: 113186
1061.29/1064.40 c #Conflicts: 890000 | #Constraints: 114186
1061.29/1064.40 c #Conflicts: 891000 | #Constraints: 115187
1061.29/1064.40 c #Conflicts: 892000 | #Constraints: 116188
1061.29/1064.40 c #Conflicts: 893000 | #Constraints: 117188
1061.29/1064.40 c #Conflicts: 894000 | #Constraints: 118189
1061.29/1064.40 c #Conflicts: 895000 | #Constraints: 119190
1061.29/1064.40 c #Conflicts: 896000 | #Constraints: 120192
1061.29/1064.40 c #Conflicts: 897000 | #Constraints: 121192
1061.29/1064.40 c #Conflicts: 898000 | #Constraints: 122192
1195.79/1199.32 c #Conflicts: 899000 | #Constraints: 123192
1195.79/1199.32 c #Conflicts: 900000 | #Constraints: 124192
1195.79/1199.32 c #Conflicts: 901000 | #Constraints: 125192
1195.79/1199.32 c #Conflicts: 902000 | #Constraints: 126192
1195.79/1199.32 c #Conflicts: 903000 | #Constraints: 127192
1195.79/1199.32 c #Conflicts: 904000 | #Constraints: 128192
1195.79/1199.32 c #Conflicts: 905000 | #Constraints: 129192
1195.79/1199.32 c #Conflicts: 906000 | #Constraints: 130192
1195.79/1199.32 c #Conflicts: 907000 | #Constraints: 131192
1195.79/1199.32 c #Conflicts: 908000 | #Constraints: 132192
1195.79/1199.32 c #Conflicts: 909000 | #Constraints: 133192
1195.79/1199.32 c #Conflicts: 910000 | #Constraints: 134192
1195.79/1199.32 c #Conflicts: 911000 | #Constraints: 135192
1195.79/1199.32 c #Conflicts: 912000 | #Constraints: 136192
1195.79/1199.32 c #Conflicts: 913000 | #Constraints: 137193
1195.79/1199.32 c #Conflicts: 914000 | #Constraints: 138193
1195.79/1199.32 c #Conflicts: 915000 | #Constraints: 139194
1195.79/1199.32 c #Conflicts: 916000 | #Constraints: 140194
1195.79/1199.32 c #Conflicts: 917000 | #Constraints: 141194
1195.79/1199.32 c #Conflicts: 918000 | #Constraints: 142194
1195.79/1199.32 c #Conflicts: 919000 | #Constraints: 143194
1195.79/1199.32 c #Conflicts: 920000 | #Constraints: 144195
1195.79/1199.32 c #Conflicts: 921000 | #Constraints: 145195
1195.79/1199.32 c #Conflicts: 922000 | #Constraints: 146195
1195.79/1199.32 c #Conflicts: 923000 | #Constraints: 147195
1195.79/1199.32 c #Conflicts: 924000 | #Constraints: 148195
1195.79/1199.32 c #Conflicts: 925000 | #Constraints: 149195
1195.79/1199.32 c #Conflicts: 926000 | #Constraints: 150195
1195.79/1199.32 c #Conflicts: 927000 | #Constraints: 151196
1195.79/1199.32 c #Conflicts: 928000 | #Constraints: 152196
1195.79/1199.32 c #Conflicts: 929000 | #Constraints: 153196
1195.79/1199.32 c #Conflicts: 930000 | #Constraints: 154196
1195.79/1199.32 c #Conflicts: 931000 | #Constraints: 155196
1195.79/1199.32 c #Conflicts: 932000 | #Constraints: 156196
1195.79/1199.32 c #Conflicts: 933000 | #Constraints: 157196
1195.79/1199.32 c #Conflicts: 934000 | #Constraints: 158196
1195.79/1199.32 c #Conflicts: 935000 | #Constraints: 159196
1195.79/1199.32 c #Conflicts: 936000 | #Constraints: 160197
1195.79/1199.32 c #Conflicts: 937000 | #Constraints: 161197
1195.79/1199.32 c #Conflicts: 938000 | #Constraints: 162197
1195.79/1199.32 c #Conflicts: 939000 | #Constraints: 163197
1195.79/1199.32 c #Conflicts: 940000 | #Constraints: 164197
1195.79/1199.32 c #Conflicts: 941000 | #Constraints: 165197
1195.79/1199.32 c #Conflicts: 942000 | #Constraints: 166197
1195.79/1199.32 c #Conflicts: 943000 | #Constraints: 167197
1195.79/1199.32 c #Conflicts: 944000 | #Constraints: 168197
1195.79/1199.32 c #Conflicts: 945000 | #Constraints: 169197
1195.79/1199.32 c #Conflicts: 946000 | #Constraints: 170197
1195.79/1199.32 c #Conflicts: 947000 | #Constraints: 171197
1195.79/1199.32 c #Conflicts: 948000 | #Constraints: 172199
1195.79/1199.32 c #Conflicts: 949000 | #Constraints: 173199
1195.79/1199.32 c #Conflicts: 950000 | #Constraints: 174199
1195.79/1199.32 c #Conflicts: 951000 | #Constraints: 175199
1195.79/1199.32 c #Conflicts: 952000 | #Constraints: 176199
1195.79/1199.32 c #Conflicts: 953000 | #Constraints: 177200
1195.79/1199.32 c #Conflicts: 954000 | #Constraints: 178200
1195.79/1199.32 c #Conflicts: 955000 | #Constraints: 179200
1195.79/1199.32 c #Conflicts: 956000 | #Constraints: 180200
1195.79/1199.32 c #Conflicts: 957000 | #Constraints: 181200
1195.79/1199.32 c #Conflicts: 958000 | #Constraints: 182200
1195.79/1199.32 c INPROCESSING
1195.79/1199.32 c GARBAGE COLLECT
1195.79/1199.32 c #Conflicts: 959000 | #Constraints: 131026
1195.79/1199.32 c #Conflicts: 960000 | #Constraints: 132026
1195.79/1199.32 c #Conflicts: 961000 | #Constraints: 133027
1195.79/1199.32 c #Conflicts: 962000 | #Constraints: 134027
1195.79/1199.32 c #Conflicts: 963000 | #Constraints: 135027
1195.79/1199.32 c #Conflicts: 964000 | #Constraints: 136027
1195.79/1199.32 c #Conflicts: 965000 | #Constraints: 137027
1195.79/1199.32 c #Conflicts: 966000 | #Constraints: 138027
1195.79/1199.32 c #Conflicts: 967000 | #Constraints: 139027
1195.79/1199.32 c #Conflicts: 968000 | #Constraints: 140027
1195.79/1199.32 c #Conflicts: 969000 | #Constraints: 141027
1195.79/1199.32 c #Conflicts: 970000 | #Constraints: 142027
1195.79/1199.32 c #Conflicts: 971000 | #Constraints: 143027
1195.79/1199.32 c #Conflicts: 972000 | #Constraints: 144027
1195.79/1199.32 c #Conflicts: 973000 | #Constraints: 145027
1195.79/1199.32 c #Conflicts: 974000 | #Constraints: 146028
1195.79/1199.32 c #Conflicts: 975000 | #Constraints: 147028
1195.79/1199.32 c #Conflicts: 976000 | #Constraints: 148028
1195.79/1199.32 c #Conflicts: 977000 | #Constraints: 149028
1322.74/1326.63 c #Conflicts: 978000 | #Constraints: 150029
1322.74/1326.63 c #Conflicts: 979000 | #Constraints: 151029
1322.74/1326.63 c INPROCESSING
1322.74/1326.63 c GARBAGE COLLECT
1322.74/1326.63 c #Conflicts: 980000 | #Constraints: 115487
1322.74/1326.63 c #Conflicts: 981000 | #Constraints: 116487
1322.74/1326.63 c #Conflicts: 982000 | #Constraints: 117487
1322.74/1326.63 c #Conflicts: 983000 | #Constraints: 118488
1322.74/1326.63 c #Conflicts: 984000 | #Constraints: 119488
1322.74/1326.63 c #Conflicts: 985000 | #Constraints: 120488
1322.74/1326.63 c #Conflicts: 986000 | #Constraints: 121488
1322.74/1326.63 c #Conflicts: 987000 | #Constraints: 122488
1322.74/1326.63 c #Conflicts: 988000 | #Constraints: 123488
1322.74/1326.63 c #Conflicts: 989000 | #Constraints: 124488
1322.74/1326.63 c #Conflicts: 990000 | #Constraints: 125488
1322.74/1326.63 c #Conflicts: 991000 | #Constraints: 126488
1322.74/1326.63 c #Conflicts: 992000 | #Constraints: 127488
1322.74/1326.63 c #Conflicts: 993000 | #Constraints: 128488
1322.74/1326.63 c #Conflicts: 994000 | #Constraints: 129488
1322.74/1326.63 c #Conflicts: 995000 | #Constraints: 130488
1322.74/1326.63 c #Conflicts: 996000 | #Constraints: 131488
1322.74/1326.63 c #Conflicts: 997000 | #Constraints: 132488
1322.74/1326.63 c #Conflicts: 998000 | #Constraints: 133489
1322.74/1326.63 c #Conflicts: 999000 | #Constraints: 134489
1322.74/1326.63 c #Conflicts: 1000000 | #Constraints: 135489
1322.74/1326.63 c #Conflicts: 1001000 | #Constraints: 136489
1322.74/1326.63 c INPROCESSING
1322.74/1326.63 c GARBAGE COLLECT
1322.74/1326.63 c #Conflicts: 1002000 | #Constraints: 108595
1322.74/1326.63 c #Conflicts: 1003000 | #Constraints: 109595
1322.74/1326.63 c #Conflicts: 1004000 | #Constraints: 110595
1322.74/1326.63 c #Conflicts: 1005000 | #Constraints: 111595
1322.74/1326.63 c #Conflicts: 1006000 | #Constraints: 112595
1322.74/1326.63 c #Conflicts: 1007000 | #Constraints: 113595
1322.74/1326.63 c #Conflicts: 1008000 | #Constraints: 114595
1322.74/1326.63 c #Conflicts: 1009000 | #Constraints: 115595
1322.74/1326.63 c #Conflicts: 1010000 | #Constraints: 116595
1322.74/1326.63 c #Conflicts: 1011000 | #Constraints: 117595
1322.74/1326.63 c #Conflicts: 1012000 | #Constraints: 118595
1322.74/1326.63 c #Conflicts: 1013000 | #Constraints: 119595
1322.74/1326.63 c #Conflicts: 1014000 | #Constraints: 120596
1322.74/1326.63 c #Conflicts: 1015000 | #Constraints: 121596
1322.74/1326.63 c #Conflicts: 1016000 | #Constraints: 122596
1322.74/1326.63 c #Conflicts: 1017000 | #Constraints: 123596
1322.74/1326.63 c #Conflicts: 1018000 | #Constraints: 124596
1322.74/1326.63 c #Conflicts: 1019000 | #Constraints: 125598
1322.74/1326.63 c #Conflicts: 1020000 | #Constraints: 126598
1322.74/1326.63 c #Conflicts: 1021000 | #Constraints: 127598
1322.74/1326.63 c #Conflicts: 1022000 | #Constraints: 128598
1322.74/1326.63 c INPROCESSING
1322.74/1326.63 c GARBAGE COLLECT
1322.74/1326.63 c #Conflicts: 1023000 | #Constraints: 104446
1322.74/1326.63 c #Conflicts: 1024000 | #Constraints: 105446
1322.74/1326.63 c #Conflicts: 1025000 | #Constraints: 106446
1322.74/1326.63 c #Conflicts: 1026000 | #Constraints: 107446
1322.74/1326.63 c #Conflicts: 1027000 | #Constraints: 108446
1322.74/1326.63 c #Conflicts: 1028000 | #Constraints: 109446
1322.74/1326.63 c #Conflicts: 1029000 | #Constraints: 110446
1322.74/1326.63 c #Conflicts: 1030000 | #Constraints: 111446
1322.74/1326.63 c #Conflicts: 1031000 | #Constraints: 112446
1322.74/1326.63 c #Conflicts: 1032000 | #Constraints: 113446
1322.74/1326.63 c #Conflicts: 1033000 | #Constraints: 114446
1322.74/1326.63 c #Conflicts: 1034000 | #Constraints: 115446
1322.74/1326.63 c #Conflicts: 1035000 | #Constraints: 116446
1322.74/1326.63 c #Conflicts: 1036000 | #Constraints: 117446
1322.74/1326.63 c #Conflicts: 1037000 | #Constraints: 118446
1322.74/1326.63 c #Conflicts: 1038000 | #Constraints: 119446
1322.74/1326.63 c #Conflicts: 1039000 | #Constraints: 120446
1322.74/1326.63 c #Conflicts: 1040000 | #Constraints: 121446
1322.74/1326.63 c #Conflicts: 1041000 | #Constraints: 122446
1322.74/1326.63 c #Conflicts: 1042000 | #Constraints: 123446
1322.74/1326.63 c #Conflicts: 1043000 | #Constraints: 124447
1322.74/1326.63 c #Conflicts: 1044000 | #Constraints: 125447
1322.74/1326.63 c #Conflicts: 1045000 | #Constraints: 126447
1322.74/1326.63 c #Conflicts: 1046000 | #Constraints: 127447
1322.74/1326.63 c #Conflicts: 1047000 | #Constraints: 128447
1322.74/1326.63 c #Conflicts: 1048000 | #Constraints: 129447
1322.74/1326.63 c #Conflicts: 1049000 | #Constraints: 130447
1322.74/1326.63 c #Conflicts: 1050000 | #Constraints: 131447
1322.74/1326.63 c #Conflicts: 1051000 | #Constraints: 132447
1322.74/1326.63 c #Conflicts: 1052000 | #Constraints: 133447
1322.74/1326.63 c #Conflicts: 1053000 | #Constraints: 134447
1519.26/1523.72 c #Conflicts: 1054000 | #Constraints: 135447
1519.26/1523.72 c #Conflicts: 1055000 | #Constraints: 136447
1519.26/1523.72 c #Conflicts: 1056000 | #Constraints: 137447
1519.26/1523.72 c #Conflicts: 1057000 | #Constraints: 138447
1519.26/1523.72 c #Conflicts: 1058000 | #Constraints: 139448
1519.26/1523.72 c #Conflicts: 1059000 | #Constraints: 140449
1519.26/1523.72 c #Conflicts: 1060000 | #Constraints: 141450
1519.26/1523.72 c #Conflicts: 1061000 | #Constraints: 142451
1519.26/1523.72 c #Conflicts: 1062000 | #Constraints: 143452
1519.26/1523.72 c #Conflicts: 1063000 | #Constraints: 144452
1519.26/1523.72 c #Conflicts: 1064000 | #Constraints: 145453
1519.26/1523.72 c #Conflicts: 1065000 | #Constraints: 146454
1519.26/1523.72 c #Conflicts: 1066000 | #Constraints: 147456
1519.26/1523.72 c #Conflicts: 1067000 | #Constraints: 148456
1519.26/1523.72 c #Conflicts: 1068000 | #Constraints: 149456
1519.26/1523.72 c #Conflicts: 1069000 | #Constraints: 150456
1519.26/1523.72 c #Conflicts: 1070000 | #Constraints: 151456
1519.26/1523.72 c #Conflicts: 1071000 | #Constraints: 152457
1519.26/1523.72 c #Conflicts: 1072000 | #Constraints: 153458
1519.26/1523.72 c #Conflicts: 1073000 | #Constraints: 154458
1519.26/1523.72 c #Conflicts: 1074000 | #Constraints: 155459
1519.26/1523.72 c #Conflicts: 1075000 | #Constraints: 156460
1519.26/1523.72 c #Conflicts: 1076000 | #Constraints: 157460
1519.26/1523.72 c #Conflicts: 1077000 | #Constraints: 158460
1519.26/1523.72 c #Conflicts: 1078000 | #Constraints: 159460
1519.26/1523.72 c #Conflicts: 1079000 | #Constraints: 160460
1519.26/1523.72 c #Conflicts: 1080000 | #Constraints: 161460
1519.26/1523.72 c #Conflicts: 1081000 | #Constraints: 162461
1519.26/1523.72 c #Conflicts: 1082000 | #Constraints: 163461
1519.26/1523.72 c #Conflicts: 1083000 | #Constraints: 164461
1519.26/1523.72 c #Conflicts: 1084000 | #Constraints: 165461
1519.26/1523.72 c #Conflicts: 1085000 | #Constraints: 166461
1519.26/1523.72 c #Conflicts: 1086000 | #Constraints: 167461
1519.26/1523.72 c #Conflicts: 1087000 | #Constraints: 168461
1519.26/1523.72 c #Conflicts: 1088000 | #Constraints: 169461
1519.26/1523.72 c #Conflicts: 1089000 | #Constraints: 170461
1519.26/1523.72 c #Conflicts: 1090000 | #Constraints: 171461
1519.26/1523.72 c #Conflicts: 1091000 | #Constraints: 172461
1519.26/1523.72 c #Conflicts: 1092000 | #Constraints: 173461
1519.26/1523.72 c #Conflicts: 1093000 | #Constraints: 174462
1519.26/1523.72 c #Conflicts: 1094000 | #Constraints: 175462
1519.26/1523.72 c #Conflicts: 1095000 | #Constraints: 176462
1519.26/1523.72 c #Conflicts: 1096000 | #Constraints: 177462
1519.26/1523.72 c #Conflicts: 1097000 | #Constraints: 178462
1519.26/1523.72 c #Conflicts: 1098000 | #Constraints: 179462
1519.26/1523.72 c #Conflicts: 1099000 | #Constraints: 180462
1519.26/1523.72 c #Conflicts: 1100000 | #Constraints: 181463
1519.26/1523.72 c #Conflicts: 1101000 | #Constraints: 182463
1519.26/1523.72 c #Conflicts: 1102000 | #Constraints: 183463
1519.26/1523.72 c #Conflicts: 1103000 | #Constraints: 184466
1519.26/1523.72 c #Conflicts: 1104000 | #Constraints: 185466
1519.26/1523.72 c #Conflicts: 1105000 | #Constraints: 186466
1519.26/1523.72 c #Conflicts: 1106000 | #Constraints: 187466
1519.26/1523.72 c #Conflicts: 1107000 | #Constraints: 188466
1519.26/1523.72 c #Conflicts: 1108000 | #Constraints: 189466
1519.26/1523.72 c INPROCESSING
1519.26/1523.72 c GARBAGE COLLECT
1519.26/1523.72 c #Conflicts: 1109000 | #Constraints: 134686
1519.26/1523.72 c #Conflicts: 1110000 | #Constraints: 135686
1519.26/1523.72 c #Conflicts: 1111000 | #Constraints: 136686
1519.26/1523.72 c #Conflicts: 1112000 | #Constraints: 137686
1519.26/1523.72 c #Conflicts: 1113000 | #Constraints: 138686
1519.26/1523.72 c #Conflicts: 1114000 | #Constraints: 139686
1519.26/1523.72 c #Conflicts: 1115000 | #Constraints: 140686
1519.26/1523.72 c #Conflicts: 1116000 | #Constraints: 141686
1519.26/1523.72 c #Conflicts: 1117000 | #Constraints: 142686
1519.26/1523.72 c #Conflicts: 1118000 | #Constraints: 143688
1519.26/1523.72 c #Conflicts: 1119000 | #Constraints: 144690
1519.26/1523.72 c #Conflicts: 1120000 | #Constraints: 145690
1519.26/1523.72 c #Conflicts: 1121000 | #Constraints: 146690
1519.26/1523.72 c #Conflicts: 1122000 | #Constraints: 147690
1519.26/1523.72 c #Conflicts: 1123000 | #Constraints: 148690
1519.26/1523.72 c #Conflicts: 1124000 | #Constraints: 149690
1519.26/1523.72 c #Conflicts: 1125000 | #Constraints: 150690
1519.26/1523.72 c #Conflicts: 1126000 | #Constraints: 151690
1519.26/1523.72 c #Conflicts: 1127000 | #Constraints: 152690
1519.26/1523.72 c #Conflicts: 1128000 | #Constraints: 153691
1519.26/1523.72 c #Conflicts: 1129000 | #Constraints: 154691
1519.26/1523.72 c #Conflicts: 1130000 | #Constraints: 155691
1519.26/1523.72 c #Conflicts: 1131000 | #Constraints: 156691
1519.26/1523.72 c INPROCESSING
1615.97/1620.74 c GARBAGE COLLECT
1615.97/1620.74 c #Conflicts: 1132000 | #Constraints: 118452
1615.97/1620.74 c #Conflicts: 1133000 | #Constraints: 119452
1615.97/1620.74 c #Conflicts: 1134000 | #Constraints: 120452
1615.97/1620.74 c #Conflicts: 1135000 | #Constraints: 121452
1615.97/1620.74 c #Conflicts: 1136000 | #Constraints: 122452
1615.97/1620.74 c #Conflicts: 1137000 | #Constraints: 123452
1615.97/1620.74 c #Conflicts: 1138000 | #Constraints: 124452
1615.97/1620.74 c #Conflicts: 1139000 | #Constraints: 125452
1615.97/1620.74 c #Conflicts: 1140000 | #Constraints: 126452
1615.97/1620.74 c #Conflicts: 1141000 | #Constraints: 127452
1615.97/1620.74 c #Conflicts: 1142000 | #Constraints: 128452
1615.97/1620.74 c #Conflicts: 1143000 | #Constraints: 129452
1615.97/1620.74 c #Conflicts: 1144000 | #Constraints: 130452
1615.97/1620.74 c #Conflicts: 1145000 | #Constraints: 131452
1615.97/1620.74 c #Conflicts: 1146000 | #Constraints: 132452
1615.97/1620.74 c #Conflicts: 1147000 | #Constraints: 133452
1615.97/1620.74 c #Conflicts: 1148000 | #Constraints: 134452
1615.97/1620.74 c #Conflicts: 1149000 | #Constraints: 135452
1615.97/1620.74 c #Conflicts: 1150000 | #Constraints: 136453
1615.97/1620.74 c #Conflicts: 1151000 | #Constraints: 137453
1615.97/1620.74 c #Conflicts: 1152000 | #Constraints: 138453
1615.97/1620.74 c #Conflicts: 1153000 | #Constraints: 139453
1615.97/1620.74 c #Conflicts: 1154000 | #Constraints: 140453
1615.97/1620.74 c INPROCESSING
1615.97/1620.74 c GARBAGE COLLECT
1615.97/1620.74 c #Conflicts: 1155000 | #Constraints: 110361
1615.97/1620.74 c #Conflicts: 1156000 | #Constraints: 111361
1615.97/1620.74 c #Conflicts: 1157000 | #Constraints: 112361
1615.97/1620.74 c #Conflicts: 1158000 | #Constraints: 113361
1615.97/1620.74 c #Conflicts: 1159000 | #Constraints: 114361
1615.97/1620.74 c #Conflicts: 1160000 | #Constraints: 115361
1615.97/1620.74 c #Conflicts: 1161000 | #Constraints: 116362
1615.97/1620.74 c #Conflicts: 1162000 | #Constraints: 117362
1615.97/1620.74 c #Conflicts: 1163000 | #Constraints: 118362
1615.97/1620.74 c #Conflicts: 1164000 | #Constraints: 119362
1615.97/1620.74 c #Conflicts: 1165000 | #Constraints: 120362
1615.97/1620.74 c #Conflicts: 1166000 | #Constraints: 121362
1615.97/1620.74 c #Conflicts: 1167000 | #Constraints: 122362
1615.97/1620.74 c #Conflicts: 1168000 | #Constraints: 123362
1615.97/1620.74 c #Conflicts: 1169000 | #Constraints: 124362
1615.97/1620.74 c #Conflicts: 1170000 | #Constraints: 125362
1615.97/1620.74 c #Conflicts: 1171000 | #Constraints: 126363
1615.97/1620.74 c #Conflicts: 1172000 | #Constraints: 127363
1615.97/1620.74 c #Conflicts: 1173000 | #Constraints: 128363
1615.97/1620.74 c #Conflicts: 1174000 | #Constraints: 129363
1615.97/1620.74 c #Conflicts: 1175000 | #Constraints: 130363
1615.97/1620.74 c #Conflicts: 1176000 | #Constraints: 131364
1615.97/1620.74 c #Conflicts: 1177000 | #Constraints: 132364
1615.97/1620.74 c INPROCESSING
1615.97/1620.74 c GARBAGE COLLECT
1615.97/1620.74 c #Conflicts: 1178000 | #Constraints: 106286
1615.97/1620.74 c #Conflicts: 1179000 | #Constraints: 107286
1615.97/1620.74 c #Conflicts: 1180000 | #Constraints: 108286
1615.97/1620.74 c #Conflicts: 1181000 | #Constraints: 109286
1615.97/1620.74 c #Conflicts: 1182000 | #Constraints: 110286
1615.97/1620.74 c #Conflicts: 1183000 | #Constraints: 111286
1615.97/1620.74 c #Conflicts: 1184000 | #Constraints: 112286
1615.97/1620.74 c #Conflicts: 1185000 | #Constraints: 113286
1615.97/1620.74 c #Conflicts: 1186000 | #Constraints: 114286
1615.97/1620.74 c #Conflicts: 1187000 | #Constraints: 115286
1615.97/1620.74 c #Conflicts: 1188000 | #Constraints: 116286
1615.97/1620.74 c #Conflicts: 1189000 | #Constraints: 117286
1615.97/1620.74 c #Conflicts: 1190000 | #Constraints: 118286
1615.97/1620.74 c #Conflicts: 1191000 | #Constraints: 119286
1615.97/1620.74 c #Conflicts: 1192000 | #Constraints: 120286
1615.97/1620.74 c #Conflicts: 1193000 | #Constraints: 121286
1615.97/1620.74 c #Conflicts: 1194000 | #Constraints: 122286
1615.97/1620.74 c #Conflicts: 1195000 | #Constraints: 123286
1615.97/1620.74 c #Conflicts: 1196000 | #Constraints: 124286
1615.97/1620.74 c #Conflicts: 1197000 | #Constraints: 125286
1615.97/1620.74 c #Conflicts: 1198000 | #Constraints: 126286
1615.97/1620.74 c #Conflicts: 1199000 | #Constraints: 127286
1615.97/1620.74 c #Conflicts: 1200000 | #Constraints: 128287
1615.97/1620.74 c #Conflicts: 1201000 | #Constraints: 129287
1615.97/1620.74 c #Conflicts: 1202000 | #Constraints: 130287
1615.97/1620.74 c #Conflicts: 1203000 | #Constraints: 131287
1615.97/1620.74 c #Conflicts: 1204000 | #Constraints: 132287
1615.97/1620.74 c #Conflicts: 1205000 | #Constraints: 133287
1615.97/1620.74 c #Conflicts: 1206000 | #Constraints: 134287
1615.97/1620.74 c #Conflicts: 1207000 | #Constraints: 135287
1615.97/1620.74 c #Conflicts: 1208000 | #Constraints: 136288
1771.71/1776.92 c #Conflicts: 1209000 | #Constraints: 137288
1771.71/1776.92 c #Conflicts: 1210000 | #Constraints: 138288
1771.71/1776.92 c #Conflicts: 1211000 | #Constraints: 139288
1771.71/1776.92 c #Conflicts: 1212000 | #Constraints: 140288
1771.71/1776.92 c #Conflicts: 1213000 | #Constraints: 141288
1771.71/1776.92 c #Conflicts: 1214000 | #Constraints: 142288
1771.71/1776.92 c #Conflicts: 1215000 | #Constraints: 143288
1771.71/1776.92 c #Conflicts: 1216000 | #Constraints: 144289
1771.71/1776.92 c #Conflicts: 1217000 | #Constraints: 145291
1771.71/1776.92 c #Conflicts: 1218000 | #Constraints: 146293
1771.71/1776.92 c #Conflicts: 1219000 | #Constraints: 147293
1771.71/1776.92 c #Conflicts: 1220000 | #Constraints: 148293
1771.71/1776.92 c #Conflicts: 1221000 | #Constraints: 149293
1771.71/1776.92 c #Conflicts: 1222000 | #Constraints: 150295
1771.71/1776.92 c #Conflicts: 1223000 | #Constraints: 151295
1771.71/1776.92 c #Conflicts: 1224000 | #Constraints: 152295
1771.71/1776.92 c #Conflicts: 1225000 | #Constraints: 153295
1771.71/1776.92 c #Conflicts: 1226000 | #Constraints: 154295
1771.71/1776.92 c #Conflicts: 1227000 | #Constraints: 155295
1771.71/1776.92 c #Conflicts: 1228000 | #Constraints: 156295
1771.71/1776.92 c #Conflicts: 1229000 | #Constraints: 157295
1771.71/1776.92 c #Conflicts: 1230000 | #Constraints: 158295
1771.71/1776.92 c #Conflicts: 1231000 | #Constraints: 159295
1771.71/1776.92 c #Conflicts: 1232000 | #Constraints: 160295
1771.71/1776.92 c #Conflicts: 1233000 | #Constraints: 161295
1771.71/1776.92 c #Conflicts: 1234000 | #Constraints: 162295
1771.71/1776.92 c #Conflicts: 1235000 | #Constraints: 163295
1771.71/1776.92 c #Conflicts: 1236000 | #Constraints: 164295
1771.71/1776.92 c #Conflicts: 1237000 | #Constraints: 165295
1771.71/1776.92 c #Conflicts: 1238000 | #Constraints: 166295
1771.71/1776.92 c #Conflicts: 1239000 | #Constraints: 167295
1771.71/1776.92 c #Conflicts: 1240000 | #Constraints: 168295
1771.71/1776.92 c #Conflicts: 1241000 | #Constraints: 169295
1771.71/1776.92 c #Conflicts: 1242000 | #Constraints: 170295
1771.71/1776.92 c #Conflicts: 1243000 | #Constraints: 171295
1771.71/1776.92 c #Conflicts: 1244000 | #Constraints: 172295
1771.71/1776.92 c #Conflicts: 1245000 | #Constraints: 173295
1771.71/1776.92 c #Conflicts: 1246000 | #Constraints: 174295
1771.71/1776.92 c #Conflicts: 1247000 | #Constraints: 175295
1771.71/1776.92 c #Conflicts: 1248000 | #Constraints: 176295
1771.71/1776.92 c #Conflicts: 1249000 | #Constraints: 177295
1771.71/1776.92 c #Conflicts: 1250000 | #Constraints: 178295
1771.71/1776.92 c #Conflicts: 1251000 | #Constraints: 179295
1771.71/1776.92 c #Conflicts: 1252000 | #Constraints: 180295
1771.71/1776.92 c #Conflicts: 1253000 | #Constraints: 181295
1771.71/1776.92 c #Conflicts: 1254000 | #Constraints: 182296
1771.71/1776.92 c #Conflicts: 1255000 | #Constraints: 183296
1771.71/1776.92 c #Conflicts: 1256000 | #Constraints: 184296
1771.71/1776.92 c #Conflicts: 1257000 | #Constraints: 185297
1771.71/1776.92 c #Conflicts: 1258000 | #Constraints: 186298
1771.71/1776.92 c #Conflicts: 1259000 | #Constraints: 187298
1771.71/1776.92 c #Conflicts: 1260000 | #Constraints: 188298
1771.71/1776.92 c #Conflicts: 1261000 | #Constraints: 189298
1771.71/1776.92 c #Conflicts: 1262000 | #Constraints: 190299
1771.71/1776.92 c #Conflicts: 1263000 | #Constraints: 191299
1771.71/1776.92 c #Conflicts: 1264000 | #Constraints: 192299
1771.71/1776.92 c #Conflicts: 1265000 | #Constraints: 193299
1771.71/1776.92 c #Conflicts: 1266000 | #Constraints: 194299
1771.71/1776.92 c #Conflicts: 1267000 | #Constraints: 195299
1771.71/1776.92 c #Conflicts: 1268000 | #Constraints: 196300
1771.71/1776.92 c #Conflicts: 1269000 | #Constraints: 197300
1771.71/1776.92 c INPROCESSING
1771.71/1776.92 c GARBAGE COLLECT
1771.71/1776.92 c #Conflicts: 1270000 | #Constraints: 138886
1771.71/1776.92 c #Conflicts: 1271000 | #Constraints: 139886
1771.71/1776.92 c #Conflicts: 1272000 | #Constraints: 140886
1771.71/1776.92 c #Conflicts: 1273000 | #Constraints: 141886
1771.71/1776.92 c #Conflicts: 1274000 | #Constraints: 142886
1771.71/1776.92 c #Conflicts: 1275000 | #Constraints: 143886
1771.71/1776.92 c #Conflicts: 1276000 | #Constraints: 144886
1771.71/1776.92 c #Conflicts: 1277000 | #Constraints: 145886
1771.71/1776.92 c #Conflicts: 1278000 | #Constraints: 146886
1771.71/1776.92 c #Conflicts: 1279000 | #Constraints: 147886
1771.71/1776.92 c #Conflicts: 1280000 | #Constraints: 148886
1771.71/1776.92 c #Conflicts: 1281000 | #Constraints: 149886
1771.71/1776.92 c #Conflicts: 1282000 | #Constraints: 150886
1771.71/1776.92 c #Conflicts: 1283000 | #Constraints: 151886
1771.71/1776.92 c #Conflicts: 1284000 | #Constraints: 152886
1771.71/1776.92 c #Conflicts: 1285000 | #Constraints: 153886
1771.71/1776.92 c #Conflicts: 1286000 | #Constraints: 154887
1771.71/1776.92 c #Conflicts: 1287000 | #Constraints: 155887
1887.88/1893.41 c #Conflicts: 1288000 | #Constraints: 156887
1887.88/1893.41 c #Conflicts: 1289000 | #Constraints: 157887
1887.88/1893.41 c #Conflicts: 1290000 | #Constraints: 158887
1887.88/1893.41 c #Conflicts: 1291000 | #Constraints: 159887
1887.88/1893.41 c #Conflicts: 1292000 | #Constraints: 160887
1887.88/1893.41 c #Conflicts: 1293000 | #Constraints: 161887
1887.88/1893.41 c INPROCESSING
1887.88/1893.41 c GARBAGE COLLECT
1887.88/1893.41 c #Conflicts: 1294000 | #Constraints: 121009
1887.88/1893.41 c #Conflicts: 1295000 | #Constraints: 122009
1887.88/1893.41 c #Conflicts: 1296000 | #Constraints: 123009
1887.88/1893.41 c #Conflicts: 1297000 | #Constraints: 124009
1887.88/1893.41 c #Conflicts: 1298000 | #Constraints: 125010
1887.88/1893.41 c #Conflicts: 1299000 | #Constraints: 126010
1887.88/1893.41 c #Conflicts: 1300000 | #Constraints: 127010
1887.88/1893.41 c #Conflicts: 1301000 | #Constraints: 128010
1887.88/1893.41 c #Conflicts: 1302000 | #Constraints: 129010
1887.88/1893.41 c #Conflicts: 1303000 | #Constraints: 130010
1887.88/1893.41 c #Conflicts: 1304000 | #Constraints: 131010
1887.88/1893.41 c #Conflicts: 1305000 | #Constraints: 132010
1887.88/1893.41 c #Conflicts: 1306000 | #Constraints: 133010
1887.88/1893.41 c #Conflicts: 1307000 | #Constraints: 134010
1887.88/1893.41 c #Conflicts: 1308000 | #Constraints: 135011
1887.88/1893.41 c #Conflicts: 1309000 | #Constraints: 136012
1887.88/1893.41 c #Conflicts: 1310000 | #Constraints: 137012
1887.88/1893.41 c #Conflicts: 1311000 | #Constraints: 138012
1887.88/1893.41 c #Conflicts: 1312000 | #Constraints: 139013
1887.88/1893.41 c #Conflicts: 1313000 | #Constraints: 140013
1887.88/1893.41 c #Conflicts: 1314000 | #Constraints: 141014
1887.88/1893.41 c #Conflicts: 1315000 | #Constraints: 142014
1887.88/1893.41 c #Conflicts: 1316000 | #Constraints: 143015
1887.88/1893.41 c #Conflicts: 1317000 | #Constraints: 144018
1887.88/1893.41 c #Conflicts: 1318000 | #Constraints: 145019
1887.88/1893.41 c INPROCESSING
1887.88/1893.41 c GARBAGE COLLECT
1887.88/1893.41 c #Conflicts: 1319000 | #Constraints: 112725
1887.88/1893.41 c #Conflicts: 1320000 | #Constraints: 113725
1887.88/1893.41 c #Conflicts: 1321000 | #Constraints: 114725
1887.88/1893.41 c #Conflicts: 1322000 | #Constraints: 115725
1887.88/1893.41 c #Conflicts: 1323000 | #Constraints: 116725
1887.88/1893.41 c #Conflicts: 1324000 | #Constraints: 117725
1887.88/1893.41 c #Conflicts: 1325000 | #Constraints: 118725
1887.88/1893.41 c #Conflicts: 1326000 | #Constraints: 119725
1887.88/1893.41 c #Conflicts: 1327000 | #Constraints: 120725
1887.88/1893.41 c #Conflicts: 1328000 | #Constraints: 121725
1887.88/1893.41 c #Conflicts: 1329000 | #Constraints: 122725
1887.88/1893.41 c #Conflicts: 1330000 | #Constraints: 123727
1887.88/1893.41 c #Conflicts: 1331000 | #Constraints: 124727
1887.88/1893.41 c #Conflicts: 1332000 | #Constraints: 125727
1887.88/1893.41 c #Conflicts: 1333000 | #Constraints: 126728
1887.88/1893.41 c #Conflicts: 1334000 | #Constraints: 127728
1887.88/1893.41 c #Conflicts: 1335000 | #Constraints: 128728
1887.88/1893.41 c #Conflicts: 1336000 | #Constraints: 129728
1887.88/1893.41 c #Conflicts: 1337000 | #Constraints: 130729
1887.88/1893.41 c #Conflicts: 1338000 | #Constraints: 131729
1887.88/1893.41 c #Conflicts: 1339000 | #Constraints: 132729
1887.88/1893.41 c #Conflicts: 1340000 | #Constraints: 133730
1887.88/1893.41 c #Conflicts: 1341000 | #Constraints: 134730
1887.88/1893.41 c #Conflicts: 1342000 | #Constraints: 135730
1887.88/1893.41 c #Conflicts: 1343000 | #Constraints: 136730
1887.88/1893.41 c INPROCESSING
1887.88/1893.41 c GARBAGE COLLECT
1887.88/1893.41 c #Conflicts: 1344000 | #Constraints: 108721
1887.88/1893.41 c #Conflicts: 1345000 | #Constraints: 109721
1887.88/1893.41 c #Conflicts: 1346000 | #Constraints: 110721
1887.88/1893.41 c #Conflicts: 1347000 | #Constraints: 111721
1887.88/1893.41 c #Conflicts: 1348000 | #Constraints: 112721
1887.88/1893.41 c #Conflicts: 1349000 | #Constraints: 113721
1887.88/1893.41 c #Conflicts: 1350000 | #Constraints: 114721
1887.88/1893.41 c #Conflicts: 1351000 | #Constraints: 115721
1887.88/1893.41 c #Conflicts: 1352000 | #Constraints: 116721
1887.88/1893.41 c #Conflicts: 1353000 | #Constraints: 117721
1887.88/1893.41 c #Conflicts: 1354000 | #Constraints: 118721
1887.88/1893.41 c #Conflicts: 1355000 | #Constraints: 119721
1887.88/1893.41 c #Conflicts: 1356000 | #Constraints: 120721
1887.88/1893.41 c #Conflicts: 1357000 | #Constraints: 121721
1887.88/1893.41 c #Conflicts: 1358000 | #Constraints: 122721
1887.88/1893.41 c #Conflicts: 1359000 | #Constraints: 123721
1887.88/1893.41 c #Conflicts: 1360000 | #Constraints: 124721
1887.88/1893.41 c #Conflicts: 1361000 | #Constraints: 125721
1887.88/1893.41 c #Conflicts: 1362000 | #Constraints: 126721
1887.88/1893.41 c #Conflicts: 1363000 | #Constraints: 127721
2035.25/2041.24 c #Conflicts: 1364000 | #Constraints: 128721
2035.25/2041.24 c #Conflicts: 1365000 | #Constraints: 129721
2035.25/2041.24 c #Conflicts: 1366000 | #Constraints: 130721
2035.25/2041.24 c #Conflicts: 1367000 | #Constraints: 131721
2035.25/2041.24 c #Conflicts: 1368000 | #Constraints: 132721
2035.25/2041.24 c #Conflicts: 1369000 | #Constraints: 133722
2035.25/2041.24 c #Conflicts: 1370000 | #Constraints: 134723
2035.25/2041.24 c #Conflicts: 1371000 | #Constraints: 135723
2035.25/2041.24 c #Conflicts: 1372000 | #Constraints: 136723
2035.25/2041.24 c #Conflicts: 1373000 | #Constraints: 137724
2035.25/2041.24 c #Conflicts: 1374000 | #Constraints: 138725
2035.25/2041.24 c #Conflicts: 1375000 | #Constraints: 139725
2035.25/2041.24 c #Conflicts: 1376000 | #Constraints: 140725
2035.25/2041.24 c #Conflicts: 1377000 | #Constraints: 141725
2035.25/2041.24 c #Conflicts: 1378000 | #Constraints: 142726
2035.25/2041.24 c #Conflicts: 1379000 | #Constraints: 143727
2035.25/2041.24 c #Conflicts: 1380000 | #Constraints: 144727
2035.25/2041.24 c #Conflicts: 1381000 | #Constraints: 145727
2035.25/2041.24 c #Conflicts: 1382000 | #Constraints: 146727
2035.25/2041.24 c #Conflicts: 1383000 | #Constraints: 147727
2035.25/2041.24 c #Conflicts: 1384000 | #Constraints: 148727
2035.25/2041.24 c #Conflicts: 1385000 | #Constraints: 149727
2035.25/2041.24 c #Conflicts: 1386000 | #Constraints: 150727
2035.25/2041.24 c #Conflicts: 1387000 | #Constraints: 151727
2035.25/2041.24 c #Conflicts: 1388000 | #Constraints: 152727
2035.25/2041.24 c #Conflicts: 1389000 | #Constraints: 153727
2035.25/2041.24 c #Conflicts: 1390000 | #Constraints: 154727
2035.25/2041.24 c #Conflicts: 1391000 | #Constraints: 155727
2035.25/2041.24 c #Conflicts: 1392000 | #Constraints: 156727
2035.25/2041.24 c #Conflicts: 1393000 | #Constraints: 157727
2035.25/2041.24 c #Conflicts: 1394000 | #Constraints: 158727
2035.25/2041.24 c #Conflicts: 1395000 | #Constraints: 159727
2035.25/2041.24 c #Conflicts: 1396000 | #Constraints: 160727
2035.25/2041.24 c #Conflicts: 1397000 | #Constraints: 161727
2035.25/2041.24 c #Conflicts: 1398000 | #Constraints: 162727
2035.25/2041.24 c #Conflicts: 1399000 | #Constraints: 163728
2035.25/2041.24 c #Conflicts: 1400000 | #Constraints: 164728
2035.25/2041.24 c #Conflicts: 1401000 | #Constraints: 165728
2035.25/2041.24 c #Conflicts: 1402000 | #Constraints: 166728
2035.25/2041.24 c #Conflicts: 1403000 | #Constraints: 167728
2035.25/2041.24 c #Conflicts: 1404000 | #Constraints: 168728
2035.25/2041.24 c #Conflicts: 1405000 | #Constraints: 169728
2035.25/2041.24 c #Conflicts: 1406000 | #Constraints: 170728
2035.25/2041.24 c #Conflicts: 1407000 | #Constraints: 171728
2035.25/2041.24 c #Conflicts: 1408000 | #Constraints: 172728
2035.25/2041.24 c #Conflicts: 1409000 | #Constraints: 173728
2035.25/2041.24 c #Conflicts: 1410000 | #Constraints: 174728
2035.25/2041.24 c #Conflicts: 1411000 | #Constraints: 175728
2035.25/2041.24 c #Conflicts: 1412000 | #Constraints: 176728
2035.25/2041.24 c #Conflicts: 1413000 | #Constraints: 177728
2035.25/2041.24 c #Conflicts: 1414000 | #Constraints: 178728
2035.25/2041.24 c #Conflicts: 1415000 | #Constraints: 179728
2035.25/2041.24 c #Conflicts: 1416000 | #Constraints: 180728
2035.25/2041.24 c #Conflicts: 1417000 | #Constraints: 181728
2035.25/2041.24 c #Conflicts: 1418000 | #Constraints: 182728
2035.25/2041.24 c #Conflicts: 1419000 | #Constraints: 183728
2035.25/2041.24 c #Conflicts: 1420000 | #Constraints: 184728
2035.25/2041.24 c #Conflicts: 1421000 | #Constraints: 185728
2035.25/2041.24 c #Conflicts: 1422000 | #Constraints: 186728
2035.25/2041.24 c #Conflicts: 1423000 | #Constraints: 187728
2035.25/2041.24 c #Conflicts: 1424000 | #Constraints: 188728
2035.25/2041.24 c #Conflicts: 1425000 | #Constraints: 189728
2035.25/2041.24 c #Conflicts: 1426000 | #Constraints: 190728
2035.25/2041.24 c #Conflicts: 1427000 | #Constraints: 191728
2035.25/2041.24 c #Conflicts: 1428000 | #Constraints: 192728
2035.25/2041.24 c #Conflicts: 1429000 | #Constraints: 193728
2035.25/2041.24 c #Conflicts: 1430000 | #Constraints: 194728
2035.25/2041.24 c #Conflicts: 1431000 | #Constraints: 195728
2035.25/2041.24 c #Conflicts: 1432000 | #Constraints: 196728
2035.25/2041.24 c #Conflicts: 1433000 | #Constraints: 197728
2035.25/2041.24 c #Conflicts: 1434000 | #Constraints: 198728
2035.25/2041.24 c #Conflicts: 1435000 | #Constraints: 199728
2035.25/2041.24 c #Conflicts: 1436000 | #Constraints: 200728
2035.25/2041.24 c #Conflicts: 1437000 | #Constraints: 201728
2035.25/2041.24 c #Conflicts: 1438000 | #Constraints: 202728
2035.25/2041.24 c #Conflicts: 1439000 | #Constraints: 203728
2035.25/2041.24 c #Conflicts: 1440000 | #Constraints: 204728
2035.25/2041.24 c INPROCESSING
2035.25/2041.24 c GARBAGE COLLECT
2035.25/2041.24 c #Conflicts: 1441000 | #Constraints: 142695
2035.25/2041.24 c #Conflicts: 1442000 | #Constraints: 143695
2162.19/2168.58 c #Conflicts: 1443000 | #Constraints: 144695
2162.19/2168.58 c #Conflicts: 1444000 | #Constraints: 145695
2162.19/2168.58 c #Conflicts: 1445000 | #Constraints: 146695
2162.19/2168.58 c #Conflicts: 1446000 | #Constraints: 147695
2162.19/2168.58 c #Conflicts: 1447000 | #Constraints: 148695
2162.19/2168.58 c #Conflicts: 1448000 | #Constraints: 149695
2162.19/2168.58 c #Conflicts: 1449000 | #Constraints: 150695
2162.19/2168.58 c #Conflicts: 1450000 | #Constraints: 151696
2162.19/2168.58 c #Conflicts: 1451000 | #Constraints: 152696
2162.19/2168.58 c #Conflicts: 1452000 | #Constraints: 153696
2162.19/2168.58 c #Conflicts: 1453000 | #Constraints: 154696
2162.19/2168.58 c #Conflicts: 1454000 | #Constraints: 155696
2162.19/2168.58 c #Conflicts: 1455000 | #Constraints: 156696
2162.19/2168.58 c #Conflicts: 1456000 | #Constraints: 157696
2162.19/2168.58 c #Conflicts: 1457000 | #Constraints: 158696
2162.19/2168.58 c #Conflicts: 1458000 | #Constraints: 159697
2162.19/2168.58 c #Conflicts: 1459000 | #Constraints: 160698
2162.19/2168.58 c #Conflicts: 1460000 | #Constraints: 161698
2162.19/2168.58 c #Conflicts: 1461000 | #Constraints: 162698
2162.19/2168.58 c #Conflicts: 1462000 | #Constraints: 163699
2162.19/2168.58 c #Conflicts: 1463000 | #Constraints: 164699
2162.19/2168.58 c #Conflicts: 1464000 | #Constraints: 165699
2162.19/2168.58 c #Conflicts: 1465000 | #Constraints: 166699
2162.19/2168.58 c #Conflicts: 1466000 | #Constraints: 167699
2162.19/2168.58 c INPROCESSING
2162.19/2168.58 c GARBAGE COLLECT
2162.19/2168.58 c #Conflicts: 1467000 | #Constraints: 124161
2162.19/2168.58 c #Conflicts: 1468000 | #Constraints: 125161
2162.19/2168.58 c #Conflicts: 1469000 | #Constraints: 126161
2162.19/2168.58 c #Conflicts: 1470000 | #Constraints: 127161
2162.19/2168.58 c #Conflicts: 1471000 | #Constraints: 128161
2162.19/2168.58 c #Conflicts: 1472000 | #Constraints: 129161
2162.19/2168.58 c #Conflicts: 1473000 | #Constraints: 130161
2162.19/2168.58 c #Conflicts: 1474000 | #Constraints: 131161
2162.19/2168.58 c #Conflicts: 1475000 | #Constraints: 132161
2162.19/2168.58 c #Conflicts: 1476000 | #Constraints: 133161
2162.19/2168.58 c #Conflicts: 1477000 | #Constraints: 134161
2162.19/2168.58 c #Conflicts: 1478000 | #Constraints: 135161
2162.19/2168.58 c #Conflicts: 1479000 | #Constraints: 136161
2162.19/2168.58 c #Conflicts: 1480000 | #Constraints: 137161
2162.19/2168.58 c #Conflicts: 1481000 | #Constraints: 138161
2162.19/2168.58 c #Conflicts: 1482000 | #Constraints: 139161
2162.19/2168.58 c #Conflicts: 1483000 | #Constraints: 140161
2162.19/2168.58 c #Conflicts: 1484000 | #Constraints: 141161
2162.19/2168.58 c #Conflicts: 1485000 | #Constraints: 142161
2162.19/2168.58 c #Conflicts: 1486000 | #Constraints: 143161
2162.19/2168.58 c #Conflicts: 1487000 | #Constraints: 144162
2162.19/2168.58 c #Conflicts: 1488000 | #Constraints: 145162
2162.19/2168.58 c #Conflicts: 1489000 | #Constraints: 146162
2162.19/2168.58 c #Conflicts: 1490000 | #Constraints: 147162
2162.19/2168.58 c #Conflicts: 1491000 | #Constraints: 148163
2162.19/2168.58 c #Conflicts: 1492000 | #Constraints: 149163
2162.19/2168.58 c INPROCESSING
2162.19/2168.58 c GARBAGE COLLECT
2162.19/2168.58 c #Conflicts: 1493000 | #Constraints: 114748
2162.19/2168.58 c #Conflicts: 1494000 | #Constraints: 115748
2162.19/2168.58 c #Conflicts: 1495000 | #Constraints: 116749
2162.19/2168.58 c #Conflicts: 1496000 | #Constraints: 117749
2162.19/2168.58 c #Conflicts: 1497000 | #Constraints: 118749
2162.19/2168.58 c #Conflicts: 1498000 | #Constraints: 119749
2162.19/2168.58 c #Conflicts: 1499000 | #Constraints: 120749
2162.19/2168.58 c #Conflicts: 1500000 | #Constraints: 121749
2162.19/2168.58 c #Conflicts: 1501000 | #Constraints: 122749
2162.19/2168.58 c #Conflicts: 1502000 | #Constraints: 123749
2162.19/2168.58 c #Conflicts: 1503000 | #Constraints: 124749
2162.19/2168.58 c #Conflicts: 1504000 | #Constraints: 125749
2162.19/2168.58 c #Conflicts: 1505000 | #Constraints: 126749
2162.19/2168.58 c #Conflicts: 1506000 | #Constraints: 127749
2162.19/2168.58 c #Conflicts: 1507000 | #Constraints: 128749
2162.19/2168.58 c #Conflicts: 1508000 | #Constraints: 129749
2162.19/2168.58 c #Conflicts: 1509000 | #Constraints: 130749
2162.19/2168.58 c #Conflicts: 1510000 | #Constraints: 131749
2162.19/2168.58 c #Conflicts: 1511000 | #Constraints: 132749
2162.19/2168.58 c #Conflicts: 1512000 | #Constraints: 133749
2162.19/2168.58 c #Conflicts: 1513000 | #Constraints: 134749
2162.19/2168.58 c #Conflicts: 1514000 | #Constraints: 135749
2162.19/2168.58 c #Conflicts: 1515000 | #Constraints: 136750
2162.19/2168.58 c #Conflicts: 1516000 | #Constraints: 137750
2162.19/2168.58 c #Conflicts: 1517000 | #Constraints: 138750
2162.19/2168.58 c #Conflicts: 1518000 | #Constraints: 139750
2162.19/2168.58 c INPROCESSING
2162.19/2168.58 c GARBAGE COLLECT
2294.53/2301.23 c #Conflicts: 1519000 | #Constraints: 109783
2294.53/2301.23 c #Conflicts: 1520000 | #Constraints: 110783
2294.53/2301.23 c #Conflicts: 1521000 | #Constraints: 111783
2294.53/2301.23 c #Conflicts: 1522000 | #Constraints: 112783
2294.53/2301.23 c #Conflicts: 1523000 | #Constraints: 113783
2294.53/2301.23 c #Conflicts: 1524000 | #Constraints: 114783
2294.53/2301.23 c #Conflicts: 1525000 | #Constraints: 115783
2294.53/2301.23 c #Conflicts: 1526000 | #Constraints: 116783
2294.53/2301.23 c #Conflicts: 1527000 | #Constraints: 117783
2294.53/2301.23 c #Conflicts: 1528000 | #Constraints: 118783
2294.53/2301.23 c #Conflicts: 1529000 | #Constraints: 119783
2294.53/2301.23 c #Conflicts: 1530000 | #Constraints: 120783
2294.53/2301.23 c #Conflicts: 1531000 | #Constraints: 121783
2294.53/2301.23 c #Conflicts: 1532000 | #Constraints: 122783
2294.53/2301.23 c #Conflicts: 1533000 | #Constraints: 123783
2294.53/2301.23 c #Conflicts: 1534000 | #Constraints: 124784
2294.53/2301.23 c #Conflicts: 1535000 | #Constraints: 125785
2294.53/2301.23 c #Conflicts: 1536000 | #Constraints: 126785
2294.53/2301.23 c #Conflicts: 1537000 | #Constraints: 127786
2294.53/2301.23 c #Conflicts: 1538000 | #Constraints: 128786
2294.53/2301.23 c #Conflicts: 1539000 | #Constraints: 129786
2294.53/2301.23 c #Conflicts: 1540000 | #Constraints: 130786
2294.53/2301.23 c #Conflicts: 1541000 | #Constraints: 131786
2294.53/2301.23 c #Conflicts: 1542000 | #Constraints: 132786
2294.53/2301.23 c #Conflicts: 1543000 | #Constraints: 133786
2294.53/2301.23 c #Conflicts: 1544000 | #Constraints: 134786
2294.53/2301.23 c #Conflicts: 1545000 | #Constraints: 135786
2294.53/2301.23 c #Conflicts: 1546000 | #Constraints: 136786
2294.53/2301.23 c #Conflicts: 1547000 | #Constraints: 137786
2294.53/2301.23 c #Conflicts: 1548000 | #Constraints: 138787
2294.53/2301.23 c #Conflicts: 1549000 | #Constraints: 139787
2294.53/2301.23 c #Conflicts: 1550000 | #Constraints: 140787
2294.53/2301.23 c #Conflicts: 1551000 | #Constraints: 141787
2294.53/2301.23 c #Conflicts: 1552000 | #Constraints: 142787
2294.53/2301.23 c #Conflicts: 1553000 | #Constraints: 143787
2294.53/2301.23 c #Conflicts: 1554000 | #Constraints: 144787
2294.53/2301.23 c #Conflicts: 1555000 | #Constraints: 145787
2294.53/2301.23 c #Conflicts: 1556000 | #Constraints: 146787
2294.53/2301.23 c #Conflicts: 1557000 | #Constraints: 147787
2294.53/2301.23 c #Conflicts: 1558000 | #Constraints: 148787
2294.53/2301.23 c #Conflicts: 1559000 | #Constraints: 149788
2294.53/2301.23 c #Conflicts: 1560000 | #Constraints: 150788
2294.53/2301.23 c #Conflicts: 1561000 | #Constraints: 151788
2294.53/2301.23 c #Conflicts: 1562000 | #Constraints: 152788
2294.53/2301.23 c #Conflicts: 1563000 | #Constraints: 153789
2294.53/2301.23 c #Conflicts: 1564000 | #Constraints: 154789
2294.53/2301.23 c #Conflicts: 1565000 | #Constraints: 155789
2294.53/2301.23 c #Conflicts: 1566000 | #Constraints: 156789
2294.53/2301.23 c #Conflicts: 1567000 | #Constraints: 157789
2294.53/2301.23 c #Conflicts: 1568000 | #Constraints: 158790
2294.53/2301.23 c #Conflicts: 1569000 | #Constraints: 159790
2294.53/2301.23 c #Conflicts: 1570000 | #Constraints: 160790
2294.53/2301.23 c #Conflicts: 1571000 | #Constraints: 161790
2294.53/2301.23 c #Conflicts: 1572000 | #Constraints: 162790
2294.53/2301.23 c #Conflicts: 1573000 | #Constraints: 163790
2294.53/2301.23 c #Conflicts: 1574000 | #Constraints: 164790
2294.53/2301.23 c #Conflicts: 1575000 | #Constraints: 165790
2294.53/2301.23 c #Conflicts: 1576000 | #Constraints: 166790
2294.53/2301.23 c #Conflicts: 1577000 | #Constraints: 167791
2294.53/2301.23 c #Conflicts: 1578000 | #Constraints: 168791
2294.53/2301.23 c #Conflicts: 1579000 | #Constraints: 169791
2294.53/2301.23 c #Conflicts: 1580000 | #Constraints: 170791
2294.53/2301.23 c #Conflicts: 1581000 | #Constraints: 171791
2294.53/2301.23 c #Conflicts: 1582000 | #Constraints: 172791
2294.53/2301.23 c #Conflicts: 1583000 | #Constraints: 173792
2294.53/2301.23 c #Conflicts: 1584000 | #Constraints: 174792
2294.53/2301.23 c #Conflicts: 1585000 | #Constraints: 175792
2294.53/2301.23 c #Conflicts: 1586000 | #Constraints: 176792
2294.53/2301.23 c #Conflicts: 1587000 | #Constraints: 177792
2294.53/2301.23 c #Conflicts: 1588000 | #Constraints: 178792
2294.53/2301.23 c #Conflicts: 1589000 | #Constraints: 179792
2294.53/2301.23 c #Conflicts: 1590000 | #Constraints: 180792
2294.53/2301.23 c #Conflicts: 1591000 | #Constraints: 181792
2294.53/2301.23 c #Conflicts: 1592000 | #Constraints: 182792
2294.53/2301.23 c #Conflicts: 1593000 | #Constraints: 183792
2294.53/2301.23 c #Conflicts: 1594000 | #Constraints: 184792
2294.53/2301.23 c #Conflicts: 1595000 | #Constraints: 185792
2294.53/2301.23 c #Conflicts: 1596000 | #Constraints: 186792
2294.53/2301.23 c #Conflicts: 1597000 | #Constraints: 187792
2448.65/2455.74 c #Conflicts: 1598000 | #Constraints: 188792
2448.65/2455.74 c #Conflicts: 1599000 | #Constraints: 189792
2448.65/2455.74 c #Conflicts: 1600000 | #Constraints: 190792
2448.65/2455.74 c #Conflicts: 1601000 | #Constraints: 191792
2448.65/2455.74 c #Conflicts: 1602000 | #Constraints: 192792
2448.65/2455.74 c #Conflicts: 1603000 | #Constraints: 193792
2448.65/2455.74 c #Conflicts: 1604000 | #Constraints: 194792
2448.65/2455.74 c #Conflicts: 1605000 | #Constraints: 195792
2448.65/2455.74 c #Conflicts: 1606000 | #Constraints: 196792
2448.65/2455.74 c #Conflicts: 1607000 | #Constraints: 197793
2448.65/2455.74 c #Conflicts: 1608000 | #Constraints: 198793
2448.65/2455.74 c #Conflicts: 1609000 | #Constraints: 199793
2448.65/2455.74 c #Conflicts: 1610000 | #Constraints: 200793
2448.65/2455.74 c #Conflicts: 1611000 | #Constraints: 201793
2448.65/2455.74 c #Conflicts: 1612000 | #Constraints: 202793
2448.65/2455.74 c #Conflicts: 1613000 | #Constraints: 203793
2448.65/2455.74 c #Conflicts: 1614000 | #Constraints: 204793
2448.65/2455.74 c #Conflicts: 1615000 | #Constraints: 205793
2448.65/2455.74 c #Conflicts: 1616000 | #Constraints: 206793
2448.65/2455.74 c #Conflicts: 1617000 | #Constraints: 207793
2448.65/2455.74 c #Conflicts: 1618000 | #Constraints: 208793
2448.65/2455.74 c #Conflicts: 1619000 | #Constraints: 209793
2448.65/2455.74 c #Conflicts: 1620000 | #Constraints: 210793
2448.65/2455.74 c #Conflicts: 1621000 | #Constraints: 211794
2448.65/2455.74 c INPROCESSING
2448.65/2455.74 c GARBAGE COLLECT
2448.65/2455.74 c #Conflicts: 1622000 | #Constraints: 146164
2448.65/2455.74 c #Conflicts: 1623000 | #Constraints: 147165
2448.65/2455.74 c #Conflicts: 1624000 | #Constraints: 148165
2448.65/2455.74 c #Conflicts: 1625000 | #Constraints: 149165
2448.65/2455.74 c #Conflicts: 1626000 | #Constraints: 150165
2448.65/2455.74 c #Conflicts: 1627000 | #Constraints: 151165
2448.65/2455.74 c #Conflicts: 1628000 | #Constraints: 152165
2448.65/2455.74 c #Conflicts: 1629000 | #Constraints: 153165
2448.65/2455.74 c #Conflicts: 1630000 | #Constraints: 154165
2448.65/2455.74 c #Conflicts: 1631000 | #Constraints: 155165
2448.65/2455.74 c #Conflicts: 1632000 | #Constraints: 156165
2448.65/2455.74 c #Conflicts: 1633000 | #Constraints: 157165
2448.65/2455.74 c #Conflicts: 1634000 | #Constraints: 158167
2448.65/2455.74 c #Conflicts: 1635000 | #Constraints: 159167
2448.65/2455.74 c #Conflicts: 1636000 | #Constraints: 160167
2448.65/2455.74 c #Conflicts: 1637000 | #Constraints: 161167
2448.65/2455.74 c #Conflicts: 1638000 | #Constraints: 162167
2448.65/2455.74 c #Conflicts: 1639000 | #Constraints: 163167
2448.65/2455.74 c #Conflicts: 1640000 | #Constraints: 164167
2448.65/2455.74 c #Conflicts: 1641000 | #Constraints: 165167
2448.65/2455.74 c #Conflicts: 1642000 | #Constraints: 166167
2448.65/2455.74 c #Conflicts: 1643000 | #Constraints: 167167
2448.65/2455.74 c #Conflicts: 1644000 | #Constraints: 168167
2448.65/2455.74 c #Conflicts: 1645000 | #Constraints: 169167
2448.65/2455.74 c #Conflicts: 1646000 | #Constraints: 170167
2448.65/2455.74 c #Conflicts: 1647000 | #Constraints: 171167
2448.65/2455.74 c #Conflicts: 1648000 | #Constraints: 172167
2448.65/2455.74 c #Conflicts: 1649000 | #Constraints: 173168
2448.65/2455.74 c INPROCESSING
2448.65/2455.74 c GARBAGE COLLECT
2448.65/2455.74 c #Conflicts: 1650000 | #Constraints: 126940
2448.65/2455.74 c #Conflicts: 1651000 | #Constraints: 127940
2448.65/2455.74 c #Conflicts: 1652000 | #Constraints: 128940
2448.65/2455.74 c #Conflicts: 1653000 | #Constraints: 129940
2448.65/2455.74 c #Conflicts: 1654000 | #Constraints: 130940
2448.65/2455.74 c #Conflicts: 1655000 | #Constraints: 131940
2448.65/2455.74 c #Conflicts: 1656000 | #Constraints: 132940
2448.65/2455.74 c #Conflicts: 1657000 | #Constraints: 133940
2448.65/2455.74 c #Conflicts: 1658000 | #Constraints: 134940
2448.65/2455.74 c #Conflicts: 1659000 | #Constraints: 135940
2448.65/2455.74 c #Conflicts: 1660000 | #Constraints: 136940
2448.65/2455.74 c #Conflicts: 1661000 | #Constraints: 137940
2448.65/2455.74 c #Conflicts: 1662000 | #Constraints: 138940
2448.65/2455.74 c #Conflicts: 1663000 | #Constraints: 139940
2448.65/2455.74 c #Conflicts: 1664000 | #Constraints: 140940
2448.65/2455.74 c #Conflicts: 1665000 | #Constraints: 141940
2448.65/2455.74 c #Conflicts: 1666000 | #Constraints: 142940
2448.65/2455.74 c #Conflicts: 1667000 | #Constraints: 143942
2448.65/2455.74 c #Conflicts: 1668000 | #Constraints: 144942
2448.65/2455.74 c #Conflicts: 1669000 | #Constraints: 145942
2448.65/2455.74 c #Conflicts: 1670000 | #Constraints: 146943
2448.65/2455.74 c #Conflicts: 1671000 | #Constraints: 147943
2448.65/2455.74 c #Conflicts: 1672000 | #Constraints: 148943
2448.65/2455.74 c #Conflicts: 1673000 | #Constraints: 149943
2448.65/2455.74 c #Conflicts: 1674000 | #Constraints: 150943
2448.65/2455.74 c #Conflicts: 1675000 | #Constraints: 151943
2562.46/2569.85 c #Conflicts: 1676000 | #Constraints: 152943
2562.46/2569.85 c #Conflicts: 1677000 | #Constraints: 153943
2562.46/2569.85 c INPROCESSING
2562.46/2569.85 c GARBAGE COLLECT
2562.46/2569.85 c #Conflicts: 1678000 | #Constraints: 117331
2562.46/2569.85 c #Conflicts: 1679000 | #Constraints: 118331
2562.46/2569.85 c #Conflicts: 1680000 | #Constraints: 119331
2562.46/2569.85 c #Conflicts: 1681000 | #Constraints: 120331
2562.46/2569.85 c #Conflicts: 1682000 | #Constraints: 121331
2562.46/2569.85 c #Conflicts: 1683000 | #Constraints: 122331
2562.46/2569.85 c #Conflicts: 1684000 | #Constraints: 123331
2562.46/2569.85 c #Conflicts: 1685000 | #Constraints: 124331
2562.46/2569.85 c #Conflicts: 1686000 | #Constraints: 125331
2562.46/2569.85 c #Conflicts: 1687000 | #Constraints: 126331
2562.46/2569.85 c #Conflicts: 1688000 | #Constraints: 127331
2562.46/2569.85 c #Conflicts: 1689000 | #Constraints: 128331
2562.46/2569.85 c #Conflicts: 1690000 | #Constraints: 129331
2562.46/2569.85 c #Conflicts: 1691000 | #Constraints: 130331
2562.46/2569.85 c #Conflicts: 1692000 | #Constraints: 131331
2562.46/2569.85 c #Conflicts: 1693000 | #Constraints: 132331
2562.46/2569.85 c #Conflicts: 1694000 | #Constraints: 133331
2562.46/2569.85 c #Conflicts: 1695000 | #Constraints: 134331
2562.46/2569.85 c #Conflicts: 1696000 | #Constraints: 135331
2562.46/2569.85 c #Conflicts: 1697000 | #Constraints: 136331
2562.46/2569.85 c #Conflicts: 1698000 | #Constraints: 137331
2562.46/2569.85 c #Conflicts: 1699000 | #Constraints: 138331
2562.46/2569.85 c #Conflicts: 1700000 | #Constraints: 139331
2562.46/2569.85 c #Conflicts: 1701000 | #Constraints: 140331
2562.46/2569.85 c #Conflicts: 1702000 | #Constraints: 141331
2562.46/2569.85 c #Conflicts: 1703000 | #Constraints: 142332
2562.46/2569.85 c #Conflicts: 1704000 | #Constraints: 143332
2562.46/2569.85 c #Conflicts: 1705000 | #Constraints: 144332
2562.46/2569.85 c INPROCESSING
2562.46/2569.85 c GARBAGE COLLECT
2562.46/2569.85 c #Conflicts: 1706000 | #Constraints: 112467
2562.46/2569.85 c #Conflicts: 1707000 | #Constraints: 113467
2562.46/2569.85 c #Conflicts: 1708000 | #Constraints: 114467
2562.46/2569.85 c #Conflicts: 1709000 | #Constraints: 115467
2562.46/2569.85 c #Conflicts: 1710000 | #Constraints: 116467
2562.46/2569.85 c #Conflicts: 1711000 | #Constraints: 117467
2562.46/2569.85 c #Conflicts: 1712000 | #Constraints: 118467
2562.46/2569.85 c #Conflicts: 1713000 | #Constraints: 119467
2562.46/2569.85 c #Conflicts: 1714000 | #Constraints: 120467
2562.46/2569.85 c #Conflicts: 1715000 | #Constraints: 121467
2562.46/2569.85 c #Conflicts: 1716000 | #Constraints: 122468
2562.46/2569.85 c #Conflicts: 1717000 | #Constraints: 123468
2562.46/2569.85 c #Conflicts: 1718000 | #Constraints: 124468
2562.46/2569.85 c #Conflicts: 1719000 | #Constraints: 125468
2562.46/2569.85 c #Conflicts: 1720000 | #Constraints: 126468
2562.46/2569.85 c #Conflicts: 1721000 | #Constraints: 127468
2562.46/2569.85 c #Conflicts: 1722000 | #Constraints: 128468
2562.46/2569.85 c #Conflicts: 1723000 | #Constraints: 129468
2562.46/2569.85 c #Conflicts: 1724000 | #Constraints: 130468
2562.46/2569.85 c #Conflicts: 1725000 | #Constraints: 131468
2562.46/2569.85 c #Conflicts: 1726000 | #Constraints: 132468
2562.46/2569.85 c #Conflicts: 1727000 | #Constraints: 133468
2562.46/2569.85 c #Conflicts: 1728000 | #Constraints: 134468
2562.46/2569.85 c #Conflicts: 1729000 | #Constraints: 135468
2562.46/2569.85 c #Conflicts: 1730000 | #Constraints: 136468
2562.46/2569.85 c #Conflicts: 1731000 | #Constraints: 137469
2562.46/2569.85 c #Conflicts: 1732000 | #Constraints: 138470
2562.46/2569.85 c #Conflicts: 1733000 | #Constraints: 139471
2562.46/2569.85 c #Conflicts: 1734000 | #Constraints: 140471
2562.46/2569.85 c #Conflicts: 1735000 | #Constraints: 141473
2562.46/2569.85 c #Conflicts: 1736000 | #Constraints: 142473
2562.46/2569.85 c #Conflicts: 1737000 | #Constraints: 143473
2562.46/2569.85 c #Conflicts: 1738000 | #Constraints: 144473
2562.46/2569.85 c #Conflicts: 1739000 | #Constraints: 145473
2562.46/2569.85 c #Conflicts: 1740000 | #Constraints: 146473
2562.46/2569.85 c #Conflicts: 1741000 | #Constraints: 147473
2562.46/2569.85 c #Conflicts: 1742000 | #Constraints: 148473
2562.46/2569.85 c #Conflicts: 1743000 | #Constraints: 149473
2562.46/2569.85 c #Conflicts: 1744000 | #Constraints: 150473
2562.46/2569.85 c #Conflicts: 1745000 | #Constraints: 151473
2562.46/2569.85 c #Conflicts: 1746000 | #Constraints: 152473
2562.46/2569.85 c #Conflicts: 1747000 | #Constraints: 153473
2562.46/2569.85 c #Conflicts: 1748000 | #Constraints: 154473
2562.46/2569.85 c #Conflicts: 1749000 | #Constraints: 155473
2562.46/2569.85 c #Conflicts: 1750000 | #Constraints: 156473
2562.46/2569.85 c #Conflicts: 1751000 | #Constraints: 157473
2562.46/2569.85 c #Conflicts: 1752000 | #Constraints: 158473
2715.04/2722.86 c #Conflicts: 1753000 | #Constraints: 159473
2715.04/2722.86 c #Conflicts: 1754000 | #Constraints: 160473
2715.04/2722.86 c #Conflicts: 1755000 | #Constraints: 161473
2715.04/2722.86 c #Conflicts: 1756000 | #Constraints: 162473
2715.04/2722.86 c #Conflicts: 1757000 | #Constraints: 163473
2715.04/2722.86 c #Conflicts: 1758000 | #Constraints: 164473
2715.04/2722.86 c #Conflicts: 1759000 | #Constraints: 165473
2715.04/2722.86 c #Conflicts: 1760000 | #Constraints: 166473
2715.04/2722.86 c #Conflicts: 1761000 | #Constraints: 167473
2715.04/2722.86 c #Conflicts: 1762000 | #Constraints: 168473
2715.04/2722.86 c #Conflicts: 1763000 | #Constraints: 169473
2715.04/2722.86 c #Conflicts: 1764000 | #Constraints: 170473
2715.04/2722.86 c #Conflicts: 1765000 | #Constraints: 171473
2715.04/2722.86 c #Conflicts: 1766000 | #Constraints: 172473
2715.04/2722.86 c #Conflicts: 1767000 | #Constraints: 173473
2715.04/2722.86 c #Conflicts: 1768000 | #Constraints: 174473
2715.04/2722.86 c #Conflicts: 1769000 | #Constraints: 175473
2715.04/2722.86 c #Conflicts: 1770000 | #Constraints: 176473
2715.04/2722.86 c #Conflicts: 1771000 | #Constraints: 177473
2715.04/2722.86 c #Conflicts: 1772000 | #Constraints: 178473
2715.04/2722.86 c #Conflicts: 1773000 | #Constraints: 179474
2715.04/2722.86 c #Conflicts: 1774000 | #Constraints: 180474
2715.04/2722.86 c #Conflicts: 1775000 | #Constraints: 181474
2715.04/2722.86 c #Conflicts: 1776000 | #Constraints: 182474
2715.04/2722.86 c #Conflicts: 1777000 | #Constraints: 183474
2715.04/2722.86 c #Conflicts: 1778000 | #Constraints: 184474
2715.04/2722.86 c #Conflicts: 1779000 | #Constraints: 185474
2715.04/2722.86 c #Conflicts: 1780000 | #Constraints: 186474
2715.04/2722.86 c #Conflicts: 1781000 | #Constraints: 187474
2715.04/2722.86 c #Conflicts: 1782000 | #Constraints: 188474
2715.04/2722.86 c #Conflicts: 1783000 | #Constraints: 189474
2715.04/2722.86 c #Conflicts: 1784000 | #Constraints: 190474
2715.04/2722.86 c #Conflicts: 1785000 | #Constraints: 191474
2715.04/2722.86 c #Conflicts: 1786000 | #Constraints: 192474
2715.04/2722.86 c #Conflicts: 1787000 | #Constraints: 193474
2715.04/2722.86 c #Conflicts: 1788000 | #Constraints: 194475
2715.04/2722.86 c #Conflicts: 1789000 | #Constraints: 195475
2715.04/2722.86 c #Conflicts: 1790000 | #Constraints: 196475
2715.04/2722.86 c #Conflicts: 1791000 | #Constraints: 197476
2715.04/2722.86 c #Conflicts: 1792000 | #Constraints: 198476
2715.04/2722.86 c #Conflicts: 1793000 | #Constraints: 199476
2715.04/2722.86 c #Conflicts: 1794000 | #Constraints: 200476
2715.04/2722.86 c #Conflicts: 1795000 | #Constraints: 201476
2715.04/2722.86 c #Conflicts: 1796000 | #Constraints: 202476
2715.04/2722.86 c #Conflicts: 1797000 | #Constraints: 203476
2715.04/2722.86 c #Conflicts: 1798000 | #Constraints: 204476
2715.04/2722.86 c #Conflicts: 1799000 | #Constraints: 205476
2715.04/2722.86 c #Conflicts: 1800000 | #Constraints: 206476
2715.04/2722.86 c #Conflicts: 1801000 | #Constraints: 207476
2715.04/2722.86 c #Conflicts: 1802000 | #Constraints: 208476
2715.04/2722.86 c #Conflicts: 1803000 | #Constraints: 209476
2715.04/2722.86 c #Conflicts: 1804000 | #Constraints: 210476
2715.04/2722.86 c #Conflicts: 1805000 | #Constraints: 211476
2715.04/2722.86 c #Conflicts: 1806000 | #Constraints: 212476
2715.04/2722.86 c #Conflicts: 1807000 | #Constraints: 213476
2715.04/2722.86 c #Conflicts: 1808000 | #Constraints: 214477
2715.04/2722.86 c #Conflicts: 1809000 | #Constraints: 215477
2715.04/2722.86 c #Conflicts: 1810000 | #Constraints: 216478
2715.04/2722.86 c #Conflicts: 1811000 | #Constraints: 217480
2715.04/2722.86 c #Conflicts: 1812000 | #Constraints: 218481
2715.04/2722.86 c INPROCESSING
2715.04/2722.86 c GARBAGE COLLECT
2715.04/2722.86 c #Conflicts: 1813000 | #Constraints: 149218
2715.04/2722.86 c #Conflicts: 1814000 | #Constraints: 150218
2715.04/2722.86 c #Conflicts: 1815000 | #Constraints: 151218
2715.04/2722.86 c #Conflicts: 1816000 | #Constraints: 152218
2715.04/2722.86 c #Conflicts: 1817000 | #Constraints: 153218
2715.04/2722.86 c #Conflicts: 1818000 | #Constraints: 154218
2715.04/2722.86 c #Conflicts: 1819000 | #Constraints: 155218
2715.04/2722.86 c #Conflicts: 1820000 | #Constraints: 156218
2715.04/2722.86 c #Conflicts: 1821000 | #Constraints: 157218
2715.04/2722.86 c #Conflicts: 1822000 | #Constraints: 158218
2715.04/2722.86 c #Conflicts: 1823000 | #Constraints: 159218
2715.04/2722.86 c #Conflicts: 1824000 | #Constraints: 160218
2715.04/2722.86 c #Conflicts: 1825000 | #Constraints: 161218
2715.04/2722.86 c #Conflicts: 1826000 | #Constraints: 162218
2715.04/2722.86 c #Conflicts: 1827000 | #Constraints: 163218
2715.04/2722.86 c #Conflicts: 1828000 | #Constraints: 164218
2715.04/2722.86 c #Conflicts: 1829000 | #Constraints: 165218
2715.04/2722.86 c #Conflicts: 1830000 | #Constraints: 166218
2837.09/2845.26 c #Conflicts: 1831000 | #Constraints: 167218
2837.09/2845.26 c #Conflicts: 1832000 | #Constraints: 168218
2837.09/2845.26 c #Conflicts: 1833000 | #Constraints: 169218
2837.09/2845.26 c #Conflicts: 1834000 | #Constraints: 170218
2837.09/2845.26 c #Conflicts: 1835000 | #Constraints: 171218
2837.09/2845.26 c #Conflicts: 1836000 | #Constraints: 172218
2837.09/2845.26 c #Conflicts: 1837000 | #Constraints: 173218
2837.09/2845.26 c #Conflicts: 1838000 | #Constraints: 174218
2837.09/2845.26 c #Conflicts: 1839000 | #Constraints: 175218
2837.09/2845.26 c #Conflicts: 1840000 | #Constraints: 176218
2837.09/2845.26 c #Conflicts: 1841000 | #Constraints: 177218
2837.09/2845.26 c #Conflicts: 1842000 | #Constraints: 178219
2837.09/2845.26 c INPROCESSING
2837.09/2845.26 c GARBAGE COLLECT
2837.09/2845.26 c #Conflicts: 1843000 | #Constraints: 129332
2837.09/2845.26 c #Conflicts: 1844000 | #Constraints: 130332
2837.09/2845.26 c #Conflicts: 1845000 | #Constraints: 131332
2837.09/2845.26 c #Conflicts: 1846000 | #Constraints: 132332
2837.09/2845.26 c #Conflicts: 1847000 | #Constraints: 133332
2837.09/2845.26 c #Conflicts: 1848000 | #Constraints: 134332
2837.09/2845.26 c #Conflicts: 1849000 | #Constraints: 135332
2837.09/2845.26 c #Conflicts: 1850000 | #Constraints: 136332
2837.09/2845.26 c #Conflicts: 1851000 | #Constraints: 137332
2837.09/2845.26 c #Conflicts: 1852000 | #Constraints: 138332
2837.09/2845.26 c #Conflicts: 1853000 | #Constraints: 139332
2837.09/2845.26 c #Conflicts: 1854000 | #Constraints: 140332
2837.09/2845.26 c #Conflicts: 1855000 | #Constraints: 141332
2837.09/2845.26 c #Conflicts: 1856000 | #Constraints: 142332
2837.09/2845.26 c #Conflicts: 1857000 | #Constraints: 143333
2837.09/2845.26 c #Conflicts: 1858000 | #Constraints: 144333
2837.09/2845.26 c #Conflicts: 1859000 | #Constraints: 145333
2837.09/2845.26 c #Conflicts: 1860000 | #Constraints: 146333
2837.09/2845.26 c #Conflicts: 1861000 | #Constraints: 147333
2837.09/2845.26 c #Conflicts: 1862000 | #Constraints: 148333
2837.09/2845.26 c #Conflicts: 1863000 | #Constraints: 149333
2837.09/2845.26 c #Conflicts: 1864000 | #Constraints: 150333
2837.09/2845.26 c #Conflicts: 1865000 | #Constraints: 151333
2837.09/2845.26 c #Conflicts: 1866000 | #Constraints: 152333
2837.09/2845.26 c #Conflicts: 1867000 | #Constraints: 153333
2837.09/2845.26 c #Conflicts: 1868000 | #Constraints: 154333
2837.09/2845.26 c #Conflicts: 1869000 | #Constraints: 155333
2837.09/2845.26 c #Conflicts: 1870000 | #Constraints: 156333
2837.09/2845.26 c #Conflicts: 1871000 | #Constraints: 157333
2837.09/2845.26 c #Conflicts: 1872000 | #Constraints: 158333
2837.09/2845.26 c INPROCESSING
2837.09/2845.26 c GARBAGE COLLECT
2837.09/2845.26 c #Conflicts: 1873000 | #Constraints: 119581
2837.09/2845.26 c #Conflicts: 1874000 | #Constraints: 120581
2837.09/2845.26 c #Conflicts: 1875000 | #Constraints: 121581
2837.09/2845.26 c #Conflicts: 1876000 | #Constraints: 122581
2837.09/2845.26 c #Conflicts: 1877000 | #Constraints: 123581
2837.09/2845.26 c #Conflicts: 1878000 | #Constraints: 124581
2837.09/2845.26 c #Conflicts: 1879000 | #Constraints: 125581
2837.09/2845.26 c #Conflicts: 1880000 | #Constraints: 126581
2837.09/2845.26 c #Conflicts: 1881000 | #Constraints: 127581
2837.09/2845.26 c #Conflicts: 1882000 | #Constraints: 128581
2837.09/2845.26 c #Conflicts: 1883000 | #Constraints: 129581
2837.09/2845.26 c #Conflicts: 1884000 | #Constraints: 130581
2837.09/2845.26 c #Conflicts: 1885000 | #Constraints: 131581
2837.09/2845.26 c #Conflicts: 1886000 | #Constraints: 132581
2837.09/2845.26 c #Conflicts: 1887000 | #Constraints: 133581
2837.09/2845.26 c #Conflicts: 1888000 | #Constraints: 134581
2837.09/2845.26 c #Conflicts: 1889000 | #Constraints: 135581
2837.09/2845.26 c #Conflicts: 1890000 | #Constraints: 136581
2837.09/2845.26 c #Conflicts: 1891000 | #Constraints: 137581
2837.09/2845.26 c #Conflicts: 1892000 | #Constraints: 138581
2837.09/2845.26 c #Conflicts: 1893000 | #Constraints: 139581
2837.09/2845.26 c #Conflicts: 1894000 | #Constraints: 140581
2837.09/2845.26 c #Conflicts: 1895000 | #Constraints: 141581
2837.09/2845.26 c #Conflicts: 1896000 | #Constraints: 142581
2837.09/2845.26 c #Conflicts: 1897000 | #Constraints: 143581
2837.09/2845.26 c #Conflicts: 1898000 | #Constraints: 144581
2837.09/2845.26 c #Conflicts: 1899000 | #Constraints: 145581
2837.09/2845.26 c #Conflicts: 1900000 | #Constraints: 146581
2837.09/2845.26 c #Conflicts: 1901000 | #Constraints: 147582
2837.09/2845.26 c INPROCESSING
2837.09/2845.26 c GARBAGE COLLECT
2837.09/2845.26 c rational objective 75.2218
2957.26/2965.79 c #Conflicts: 1902000 | #Constraints: 113738
2957.26/2965.79 c #Conflicts: 1903000 | #Constraints: 114738
2957.26/2965.79 c #Conflicts: 1904000 | #Constraints: 115738
2957.26/2965.79 c #Conflicts: 1905000 | #Constraints: 116738
2957.26/2965.79 c #Conflicts: 1906000 | #Constraints: 117738
2957.26/2965.79 c #Conflicts: 1907000 | #Constraints: 118738
2957.26/2965.79 c #Conflicts: 1908000 | #Constraints: 119738
2957.26/2965.79 c #Conflicts: 1909000 | #Constraints: 120738
2957.26/2965.79 c #Conflicts: 1910000 | #Constraints: 121738
2957.26/2965.79 c #Conflicts: 1911000 | #Constraints: 122738
2957.26/2965.79 c #Conflicts: 1912000 | #Constraints: 123738
2957.26/2965.79 c #Conflicts: 1913000 | #Constraints: 124738
2957.26/2965.79 c #Conflicts: 1914000 | #Constraints: 125738
2957.26/2965.79 c #Conflicts: 1915000 | #Constraints: 126738
2957.26/2965.79 c #Conflicts: 1916000 | #Constraints: 127738
2957.26/2965.79 c #Conflicts: 1917000 | #Constraints: 128738
2957.26/2965.79 c #Conflicts: 1918000 | #Constraints: 129738
2957.26/2965.79 c #Conflicts: 1919000 | #Constraints: 130738
2957.26/2965.79 c #Conflicts: 1920000 | #Constraints: 131738
2957.26/2965.79 c #Conflicts: 1921000 | #Constraints: 132738
2957.26/2965.79 c #Conflicts: 1922000 | #Constraints: 133738
2957.26/2965.79 c #Conflicts: 1923000 | #Constraints: 134738
2957.26/2965.79 c #Conflicts: 1924000 | #Constraints: 135738
2957.26/2965.79 c #Conflicts: 1925000 | #Constraints: 136738
2957.26/2965.79 c #Conflicts: 1926000 | #Constraints: 137738
2957.26/2965.79 c #Conflicts: 1927000 | #Constraints: 138738
2957.26/2965.79 c #Conflicts: 1928000 | #Constraints: 139738
2957.26/2965.79 c #Conflicts: 1929000 | #Constraints: 140738
2957.26/2965.79 c #Conflicts: 1930000 | #Constraints: 141738
2957.26/2965.79 c #Conflicts: 1931000 | #Constraints: 142738
2957.26/2965.79 c #Conflicts: 1932000 | #Constraints: 143738
2957.26/2965.79 c #Conflicts: 1933000 | #Constraints: 144738
2957.26/2965.79 c #Conflicts: 1934000 | #Constraints: 145738
2957.26/2965.79 c #Conflicts: 1935000 | #Constraints: 146738
2957.26/2965.79 c #Conflicts: 1936000 | #Constraints: 147738
2957.26/2965.79 c #Conflicts: 1937000 | #Constraints: 148738
2957.26/2965.79 c #Conflicts: 1938000 | #Constraints: 149738
2957.26/2965.79 c #Conflicts: 1939000 | #Constraints: 150738
2957.26/2965.79 c #Conflicts: 1940000 | #Constraints: 151738
2957.26/2965.79 c #Conflicts: 1941000 | #Constraints: 152738
2957.26/2965.79 c #Conflicts: 1942000 | #Constraints: 153738
2957.26/2965.79 c #Conflicts: 1943000 | #Constraints: 154738
2957.26/2965.79 c #Conflicts: 1944000 | #Constraints: 155738
2957.26/2965.79 c #Conflicts: 1945000 | #Constraints: 156738
2957.26/2965.79 c #Conflicts: 1946000 | #Constraints: 157738
2957.26/2965.79 c #Conflicts: 1947000 | #Constraints: 158738
2957.26/2965.79 c #Conflicts: 1948000 | #Constraints: 159738
2957.26/2965.79 c #Conflicts: 1949000 | #Constraints: 160738
2957.26/2965.79 c #Conflicts: 1950000 | #Constraints: 161738
2957.26/2965.79 c #Conflicts: 1951000 | #Constraints: 162738
2957.26/2965.79 c #Conflicts: 1952000 | #Constraints: 163738
2957.26/2965.79 c #Conflicts: 1953000 | #Constraints: 164738
2957.26/2965.79 c #Conflicts: 1954000 | #Constraints: 165738
2957.26/2965.79 c #Conflicts: 1955000 | #Constraints: 166738
2957.26/2965.79 c #Conflicts: 1956000 | #Constraints: 167738
2957.26/2965.79 c #Conflicts: 1957000 | #Constraints: 168738
2957.26/2965.79 c #Conflicts: 1958000 | #Constraints: 169738
2957.26/2965.79 c #Conflicts: 1959000 | #Constraints: 170738
2957.26/2965.79 c #Conflicts: 1960000 | #Constraints: 171738
2957.26/2965.79 c #Conflicts: 1961000 | #Constraints: 172738
2957.26/2965.79 c #Conflicts: 1962000 | #Constraints: 173738
2957.26/2965.79 c #Conflicts: 1963000 | #Constraints: 174738
2957.26/2965.79 c #Conflicts: 1964000 | #Constraints: 175738
2957.26/2965.79 c #Conflicts: 1965000 | #Constraints: 176738
2957.26/2965.79 c #Conflicts: 1966000 | #Constraints: 177738
2957.26/2965.79 c #Conflicts: 1967000 | #Constraints: 178738
2957.26/2965.79 c #Conflicts: 1968000 | #Constraints: 179738
2957.26/2965.79 c #Conflicts: 1969000 | #Constraints: 180738
2957.26/2965.79 c #Conflicts: 1970000 | #Constraints: 181738
2957.26/2965.79 c #Conflicts: 1971000 | #Constraints: 182739
2957.26/2965.79 c #Conflicts: 1972000 | #Constraints: 183739
2957.26/2965.79 c #Conflicts: 1973000 | #Constraints: 184739
2957.26/2965.79 c #Conflicts: 1974000 | #Constraints: 185739
2957.26/2965.79 c #Conflicts: 1975000 | #Constraints: 186739
2957.26/2965.79 c #Conflicts: 1976000 | #Constraints: 187739
2957.26/2965.79 c #Conflicts: 1977000 | #Constraints: 188739
2957.26/2965.79 c #Conflicts: 1978000 | #Constraints: 189739
2957.26/2965.79 c #Conflicts: 1979000 | #Constraints: 190739
2957.26/2965.79 c #Conflicts: 1980000 | #Constraints: 191739
3105.35/3114.25 c #Conflicts: 1981000 | #Constraints: 192739
3105.35/3114.25 c #Conflicts: 1982000 | #Constraints: 193739
3105.35/3114.25 c #Conflicts: 1983000 | #Constraints: 194739
3105.35/3114.25 c #Conflicts: 1984000 | #Constraints: 195739
3105.35/3114.25 c #Conflicts: 1985000 | #Constraints: 196739
3105.35/3114.25 c #Conflicts: 1986000 | #Constraints: 197739
3105.35/3114.25 c #Conflicts: 1987000 | #Constraints: 198739
3105.35/3114.25 c #Conflicts: 1988000 | #Constraints: 199739
3105.35/3114.25 c #Conflicts: 1989000 | #Constraints: 200740
3105.35/3114.25 c #Conflicts: 1990000 | #Constraints: 201742
3105.35/3114.25 c #Conflicts: 1991000 | #Constraints: 202742
3105.35/3114.25 c #Conflicts: 1992000 | #Constraints: 203743
3105.35/3114.25 c #Conflicts: 1993000 | #Constraints: 204743
3105.35/3114.25 c #Conflicts: 1994000 | #Constraints: 205743
3105.35/3114.25 c #Conflicts: 1995000 | #Constraints: 206743
3105.35/3114.25 c #Conflicts: 1996000 | #Constraints: 207743
3105.35/3114.25 c #Conflicts: 1997000 | #Constraints: 208744
3105.35/3114.25 c #Conflicts: 1998000 | #Constraints: 209744
3105.35/3114.25 c #Conflicts: 1999000 | #Constraints: 210744
3105.35/3114.25 c #Conflicts: 2000000 | #Constraints: 211744
3105.35/3114.25 c #Conflicts: 2001000 | #Constraints: 212744
3105.35/3114.25 c #Conflicts: 2002000 | #Constraints: 213744
3105.35/3114.25 c #Conflicts: 2003000 | #Constraints: 214744
3105.35/3114.25 c #Conflicts: 2004000 | #Constraints: 215744
3105.35/3114.25 c #Conflicts: 2005000 | #Constraints: 216744
3105.35/3114.25 c #Conflicts: 2006000 | #Constraints: 217744
3105.35/3114.25 c #Conflicts: 2007000 | #Constraints: 218744
3105.35/3114.25 c #Conflicts: 2008000 | #Constraints: 219744
3105.35/3114.25 c #Conflicts: 2009000 | #Constraints: 220745
3105.35/3114.25 c #Conflicts: 2010000 | #Constraints: 221745
3105.35/3114.25 c #Conflicts: 2011000 | #Constraints: 222745
3105.35/3114.25 c #Conflicts: 2012000 | #Constraints: 223746
3105.35/3114.25 c #Conflicts: 2013000 | #Constraints: 224746
3105.35/3114.25 c #Conflicts: 2014000 | #Constraints: 225746
3105.35/3114.25 c INPROCESSING
3105.35/3114.25 c GARBAGE COLLECT
3105.35/3114.25 c #Conflicts: 2015000 | #Constraints: 152827
3105.35/3114.25 c #Conflicts: 2016000 | #Constraints: 153827
3105.35/3114.25 c #Conflicts: 2017000 | #Constraints: 154827
3105.35/3114.25 c #Conflicts: 2018000 | #Constraints: 155827
3105.35/3114.25 c #Conflicts: 2019000 | #Constraints: 156827
3105.35/3114.25 c #Conflicts: 2020000 | #Constraints: 157827
3105.35/3114.25 c #Conflicts: 2021000 | #Constraints: 158827
3105.35/3114.25 c #Conflicts: 2022000 | #Constraints: 159827
3105.35/3114.25 c #Conflicts: 2023000 | #Constraints: 160828
3105.35/3114.25 c #Conflicts: 2024000 | #Constraints: 161828
3105.35/3114.25 c #Conflicts: 2025000 | #Constraints: 162828
3105.35/3114.25 c #Conflicts: 2026000 | #Constraints: 163828
3105.35/3114.25 c #Conflicts: 2027000 | #Constraints: 164828
3105.35/3114.25 c #Conflicts: 2028000 | #Constraints: 165828
3105.35/3114.25 c #Conflicts: 2029000 | #Constraints: 166828
3105.35/3114.25 c #Conflicts: 2030000 | #Constraints: 167828
3105.35/3114.25 c #Conflicts: 2031000 | #Constraints: 168829
3105.35/3114.25 c #Conflicts: 2032000 | #Constraints: 169829
3105.35/3114.25 c #Conflicts: 2033000 | #Constraints: 170830
3105.35/3114.25 c #Conflicts: 2034000 | #Constraints: 171831
3105.35/3114.25 c #Conflicts: 2035000 | #Constraints: 172832
3105.35/3114.25 c #Conflicts: 2036000 | #Constraints: 173833
3105.35/3114.25 c #Conflicts: 2037000 | #Constraints: 174833
3105.35/3114.25 c #Conflicts: 2038000 | #Constraints: 175833
3105.35/3114.25 c #Conflicts: 2039000 | #Constraints: 176833
3105.35/3114.25 c #Conflicts: 2040000 | #Constraints: 177833
3105.35/3114.25 c #Conflicts: 2041000 | #Constraints: 178833
3105.35/3114.25 c #Conflicts: 2042000 | #Constraints: 179833
3105.35/3114.25 c #Conflicts: 2043000 | #Constraints: 180833
3105.35/3114.25 c #Conflicts: 2044000 | #Constraints: 181833
3105.35/3114.25 c #Conflicts: 2045000 | #Constraints: 182833
3105.35/3114.25 c #Conflicts: 2046000 | #Constraints: 183833
3105.35/3114.25 c INPROCESSING
3105.35/3114.25 c GARBAGE COLLECT
3105.35/3114.25 c #Conflicts: 2047000 | #Constraints: 132286
3105.35/3114.25 c #Conflicts: 2048000 | #Constraints: 133287
3105.35/3114.25 c #Conflicts: 2049000 | #Constraints: 134287
3105.35/3114.25 c #Conflicts: 2050000 | #Constraints: 135287
3105.35/3114.25 c #Conflicts: 2051000 | #Constraints: 136287
3105.35/3114.25 c #Conflicts: 2052000 | #Constraints: 137287
3105.35/3114.25 c #Conflicts: 2053000 | #Constraints: 138287
3105.35/3114.25 c #Conflicts: 2054000 | #Constraints: 139288
3105.35/3114.25 c #Conflicts: 2055000 | #Constraints: 140293
3105.35/3114.25 c #Conflicts: 2056000 | #Constraints: 141294
3105.35/3114.25 c #Conflicts: 2057000 | #Constraints: 142295
3105.35/3114.25 c #Conflicts: 2058000 | #Constraints: 143295
3249.16/3258.41 c #Conflicts: 2059000 | #Constraints: 144295
3249.16/3258.41 c #Conflicts: 2060000 | #Constraints: 145295
3249.16/3258.41 c #Conflicts: 2061000 | #Constraints: 146295
3249.16/3258.41 c #Conflicts: 2062000 | #Constraints: 147295
3249.16/3258.41 c #Conflicts: 2063000 | #Constraints: 148295
3249.16/3258.41 c #Conflicts: 2064000 | #Constraints: 149295
3249.16/3258.41 c #Conflicts: 2065000 | #Constraints: 150295
3249.16/3258.41 c #Conflicts: 2066000 | #Constraints: 151295
3249.16/3258.41 c #Conflicts: 2067000 | #Constraints: 152295
3249.16/3258.41 c #Conflicts: 2068000 | #Constraints: 153295
3249.16/3258.41 c #Conflicts: 2069000 | #Constraints: 154295
3249.16/3258.41 c #Conflicts: 2070000 | #Constraints: 155295
3249.16/3258.41 c #Conflicts: 2071000 | #Constraints: 156295
3249.16/3258.41 c #Conflicts: 2072000 | #Constraints: 157295
3249.16/3258.41 c #Conflicts: 2073000 | #Constraints: 158295
3249.16/3258.41 c #Conflicts: 2074000 | #Constraints: 159295
3249.16/3258.41 c #Conflicts: 2075000 | #Constraints: 160295
3249.16/3258.41 c #Conflicts: 2076000 | #Constraints: 161295
3249.16/3258.41 c #Conflicts: 2077000 | #Constraints: 162295
3249.16/3258.41 c INPROCESSING
3249.16/3258.41 c GARBAGE COLLECT
3249.16/3258.41 c #Conflicts: 2078000 | #Constraints: 121340
3249.16/3258.41 c #Conflicts: 2079000 | #Constraints: 122341
3249.16/3258.41 c #Conflicts: 2080000 | #Constraints: 123341
3249.16/3258.41 c #Conflicts: 2081000 | #Constraints: 124341
3249.16/3258.41 c #Conflicts: 2082000 | #Constraints: 125341
3249.16/3258.41 c #Conflicts: 2083000 | #Constraints: 126341
3249.16/3258.41 c #Conflicts: 2084000 | #Constraints: 127341
3249.16/3258.41 c #Conflicts: 2085000 | #Constraints: 128341
3249.16/3258.41 c #Conflicts: 2086000 | #Constraints: 129472
3249.16/3258.41 c #Conflicts: 2087000 | #Constraints: 130475
3249.16/3258.41 c #Conflicts: 2088000 | #Constraints: 131478
3249.16/3258.41 c #Conflicts: 2089000 | #Constraints: 132482
3249.16/3258.41 c #Conflicts: 2090000 | #Constraints: 133484
3249.16/3258.41 c #Conflicts: 2091000 | #Constraints: 134484
3249.16/3258.41 c #Conflicts: 2092000 | #Constraints: 135484
3249.16/3258.41 c #Conflicts: 2093000 | #Constraints: 136485
3249.16/3258.41 c #Conflicts: 2094000 | #Constraints: 137485
3249.16/3258.41 c #Conflicts: 2095000 | #Constraints: 138485
3249.16/3258.41 c #Conflicts: 2096000 | #Constraints: 139485
3249.16/3258.41 c #Conflicts: 2097000 | #Constraints: 140485
3249.16/3258.41 c #Conflicts: 2098000 | #Constraints: 141486
3249.16/3258.41 c #Conflicts: 2099000 | #Constraints: 142486
3249.16/3258.41 c #Conflicts: 2100000 | #Constraints: 143486
3249.16/3258.41 c #Conflicts: 2101000 | #Constraints: 144486
3249.16/3258.41 c #Conflicts: 2102000 | #Constraints: 145486
3249.16/3258.41 c #Conflicts: 2103000 | #Constraints: 146486
3249.16/3258.41 c #Conflicts: 2104000 | #Constraints: 147487
3249.16/3258.41 c #Conflicts: 2105000 | #Constraints: 148487
3249.16/3258.41 c #Conflicts: 2106000 | #Constraints: 149487
3249.16/3258.41 c #Conflicts: 2107000 | #Constraints: 150487
3249.16/3258.41 c #Conflicts: 2108000 | #Constraints: 151487
3249.16/3258.41 c #Conflicts: 2109000 | #Constraints: 152487
3249.16/3258.41 c INPROCESSING
3249.16/3258.41 c GARBAGE COLLECT
3249.16/3258.41 c #Conflicts: 2110000 | #Constraints: 116673
3249.16/3258.41 c #Conflicts: 2111000 | #Constraints: 117673
3249.16/3258.41 c #Conflicts: 2112000 | #Constraints: 118674
3249.16/3258.41 c #Conflicts: 2113000 | #Constraints: 119674
3249.16/3258.41 c #Conflicts: 2114000 | #Constraints: 120674
3249.16/3258.41 c #Conflicts: 2115000 | #Constraints: 121674
3249.16/3258.41 c #Conflicts: 2116000 | #Constraints: 122674
3249.16/3258.41 c #Conflicts: 2117000 | #Constraints: 123674
3249.16/3258.41 c #Conflicts: 2118000 | #Constraints: 124674
3249.16/3258.41 c #Conflicts: 2119000 | #Constraints: 125674
3249.16/3258.41 c #Conflicts: 2120000 | #Constraints: 126674
3249.16/3258.41 c #Conflicts: 2121000 | #Constraints: 127675
3249.16/3258.41 c #Conflicts: 2122000 | #Constraints: 128675
3249.16/3258.41 c #Conflicts: 2123000 | #Constraints: 129675
3249.16/3258.41 c #Conflicts: 2124000 | #Constraints: 130675
3249.16/3258.41 c #Conflicts: 2125000 | #Constraints: 131675
3249.16/3258.41 c #Conflicts: 2126000 | #Constraints: 132675
3249.16/3258.41 c #Conflicts: 2127000 | #Constraints: 133675
3249.16/3258.41 c #Conflicts: 2128000 | #Constraints: 134675
3249.16/3258.41 c #Conflicts: 2129000 | #Constraints: 135675
3249.16/3258.41 c #Conflicts: 2130000 | #Constraints: 136675
3249.16/3258.41 c #Conflicts: 2131000 | #Constraints: 137675
3249.16/3258.41 c #Conflicts: 2132000 | #Constraints: 138675
3249.16/3258.41 c #Conflicts: 2133000 | #Constraints: 139675
3249.16/3258.41 c #Conflicts: 2134000 | #Constraints: 140675
3249.16/3258.41 c #Conflicts: 2135000 | #Constraints: 141675
3423.59/3433.32 c #Conflicts: 2136000 | #Constraints: 142675
3423.59/3433.32 c #Conflicts: 2137000 | #Constraints: 143675
3423.59/3433.32 c #Conflicts: 2138000 | #Constraints: 144675
3423.59/3433.32 c #Conflicts: 2139000 | #Constraints: 145676
3423.59/3433.32 c #Conflicts: 2140000 | #Constraints: 146676
3423.59/3433.32 c #Conflicts: 2141000 | #Constraints: 147676
3423.59/3433.32 c #Conflicts: 2142000 | #Constraints: 148677
3423.59/3433.32 c #Conflicts: 2143000 | #Constraints: 149677
3423.59/3433.32 c #Conflicts: 2144000 | #Constraints: 150677
3423.59/3433.32 c #Conflicts: 2145000 | #Constraints: 151677
3423.59/3433.32 c #Conflicts: 2146000 | #Constraints: 152677
3423.59/3433.32 c #Conflicts: 2147000 | #Constraints: 153677
3423.59/3433.32 c #Conflicts: 2148000 | #Constraints: 154678
3423.59/3433.32 c #Conflicts: 2149000 | #Constraints: 155678
3423.59/3433.32 c #Conflicts: 2150000 | #Constraints: 156678
3423.59/3433.32 c #Conflicts: 2151000 | #Constraints: 157678
3423.59/3433.32 c #Conflicts: 2152000 | #Constraints: 158678
3423.59/3433.32 c #Conflicts: 2153000 | #Constraints: 159679
3423.59/3433.32 c #Conflicts: 2154000 | #Constraints: 160679
3423.59/3433.32 c #Conflicts: 2155000 | #Constraints: 161679
3423.59/3433.32 c #Conflicts: 2156000 | #Constraints: 162679
3423.59/3433.32 c #Conflicts: 2157000 | #Constraints: 163679
3423.59/3433.32 c #Conflicts: 2158000 | #Constraints: 164679
3423.59/3433.32 c #Conflicts: 2159000 | #Constraints: 165679
3423.59/3433.32 c #Conflicts: 2160000 | #Constraints: 166679
3423.59/3433.32 c #Conflicts: 2161000 | #Constraints: 167679
3423.59/3433.32 c #Conflicts: 2162000 | #Constraints: 168679
3423.59/3433.32 c #Conflicts: 2163000 | #Constraints: 169679
3423.59/3433.32 c #Conflicts: 2164000 | #Constraints: 170679
3423.59/3433.32 c #Conflicts: 2165000 | #Constraints: 171679
3423.59/3433.32 c #Conflicts: 2166000 | #Constraints: 172679
3423.59/3433.32 c #Conflicts: 2167000 | #Constraints: 173679
3423.59/3433.32 c #Conflicts: 2168000 | #Constraints: 174679
3423.59/3433.32 c #Conflicts: 2169000 | #Constraints: 175679
3423.59/3433.32 c #Conflicts: 2170000 | #Constraints: 176679
3423.59/3433.32 c #Conflicts: 2171000 | #Constraints: 177679
3423.59/3433.32 c #Conflicts: 2172000 | #Constraints: 178679
3423.59/3433.32 c #Conflicts: 2173000 | #Constraints: 179679
3423.59/3433.32 c #Conflicts: 2174000 | #Constraints: 180679
3423.59/3433.32 c #Conflicts: 2175000 | #Constraints: 181679
3423.59/3433.32 c #Conflicts: 2176000 | #Constraints: 182679
3423.59/3433.32 c #Conflicts: 2177000 | #Constraints: 183680
3423.59/3433.32 c #Conflicts: 2178000 | #Constraints: 184680
3423.59/3433.32 c #Conflicts: 2179000 | #Constraints: 185680
3423.59/3433.32 c #Conflicts: 2180000 | #Constraints: 186680
3423.59/3433.32 c #Conflicts: 2181000 | #Constraints: 187680
3423.59/3433.32 c #Conflicts: 2182000 | #Constraints: 188681
3423.59/3433.32 c #Conflicts: 2183000 | #Constraints: 189681
3423.59/3433.32 c #Conflicts: 2184000 | #Constraints: 190681
3423.59/3433.32 c #Conflicts: 2185000 | #Constraints: 191681
3423.59/3433.32 c #Conflicts: 2186000 | #Constraints: 192681
3423.59/3433.32 c #Conflicts: 2187000 | #Constraints: 193681
3423.59/3433.32 c #Conflicts: 2188000 | #Constraints: 194681
3423.59/3433.32 c #Conflicts: 2189000 | #Constraints: 195681
3423.59/3433.32 c #Conflicts: 2190000 | #Constraints: 196681
3423.59/3433.32 c #Conflicts: 2191000 | #Constraints: 197681
3423.59/3433.32 c #Conflicts: 2192000 | #Constraints: 198681
3423.59/3433.32 c #Conflicts: 2193000 | #Constraints: 199681
3423.59/3433.32 c #Conflicts: 2194000 | #Constraints: 200681
3423.59/3433.32 c #Conflicts: 2195000 | #Constraints: 201681
3423.59/3433.32 c #Conflicts: 2196000 | #Constraints: 202681
3423.59/3433.32 c #Conflicts: 2197000 | #Constraints: 203681
3423.59/3433.32 c #Conflicts: 2198000 | #Constraints: 204681
3423.59/3433.32 c #Conflicts: 2199000 | #Constraints: 205681
3423.59/3433.32 c #Conflicts: 2200000 | #Constraints: 206681
3423.59/3433.32 c #Conflicts: 2201000 | #Constraints: 207681
3423.59/3433.32 c #Conflicts: 2202000 | #Constraints: 208681
3423.59/3433.32 c #Conflicts: 2203000 | #Constraints: 209681
3423.59/3433.32 c #Conflicts: 2204000 | #Constraints: 210681
3423.59/3433.32 c #Conflicts: 2205000 | #Constraints: 211681
3423.59/3433.32 c #Conflicts: 2206000 | #Constraints: 212681
3423.59/3433.32 c #Conflicts: 2207000 | #Constraints: 213681
3423.59/3433.32 c #Conflicts: 2208000 | #Constraints: 214681
3423.59/3433.32 c #Conflicts: 2209000 | #Constraints: 215682
3423.59/3433.32 c #Conflicts: 2210000 | #Constraints: 216682
3423.59/3433.32 c #Conflicts: 2211000 | #Constraints: 217682
3423.59/3433.32 c #Conflicts: 2212000 | #Constraints: 218682
3423.59/3433.32 c #Conflicts: 2213000 | #Constraints: 219682
3423.59/3433.32 c #Conflicts: 2214000 | #Constraints: 220682
3591.49/3601.71 c #Conflicts: 2215000 | #Constraints: 221682
3591.49/3601.71 c #Conflicts: 2216000 | #Constraints: 222682
3591.49/3601.71 c #Conflicts: 2217000 | #Constraints: 223682
3591.49/3601.71 c #Conflicts: 2218000 | #Constraints: 224682
3591.49/3601.71 c #Conflicts: 2219000 | #Constraints: 225682
3591.49/3601.71 c #Conflicts: 2220000 | #Constraints: 226683
3591.49/3601.71 c #Conflicts: 2221000 | #Constraints: 227683
3591.49/3601.71 c #Conflicts: 2222000 | #Constraints: 228684
3591.49/3601.71 c #Conflicts: 2223000 | #Constraints: 229684
3591.49/3601.71 c #Conflicts: 2224000 | #Constraints: 230684
3591.49/3601.71 c #Conflicts: 2225000 | #Constraints: 231684
3591.49/3601.71 c #Conflicts: 2226000 | #Constraints: 232684
3591.49/3601.71 c #Conflicts: 2227000 | #Constraints: 233686
3591.49/3601.71 c INPROCESSING
3591.49/3601.71 c GARBAGE COLLECT
3591.49/3601.71 c #Conflicts: 2228000 | #Constraints: 157136
3591.49/3601.71 c #Conflicts: 2229000 | #Constraints: 158136
3591.49/3601.71 c #Conflicts: 2230000 | #Constraints: 159136
3591.49/3601.71 c #Conflicts: 2231000 | #Constraints: 160136
3591.49/3601.71 c #Conflicts: 2232000 | #Constraints: 161136
3591.49/3601.71 c #Conflicts: 2233000 | #Constraints: 162136
3591.49/3601.71 c #Conflicts: 2234000 | #Constraints: 163136
3591.49/3601.71 c #Conflicts: 2235000 | #Constraints: 164136
3591.49/3601.71 c #Conflicts: 2236000 | #Constraints: 165136
3591.49/3601.71 c #Conflicts: 2237000 | #Constraints: 166136
3591.49/3601.71 c #Conflicts: 2238000 | #Constraints: 167136
3591.49/3601.71 c #Conflicts: 2239000 | #Constraints: 168136
3591.49/3601.71 c #Conflicts: 2240000 | #Constraints: 169136
3591.49/3601.71 c #Conflicts: 2241000 | #Constraints: 170137
3591.49/3601.71 c #Conflicts: 2242000 | #Constraints: 171137
3591.49/3601.71 c #Conflicts: 2243000 | #Constraints: 172137
3591.49/3601.71 c #Conflicts: 2244000 | #Constraints: 173137
3591.49/3601.71 c #Conflicts: 2245000 | #Constraints: 174137
3591.49/3601.71 c #Conflicts: 2246000 | #Constraints: 175137
3591.49/3601.71 c #Conflicts: 2247000 | #Constraints: 176137
3591.49/3601.71 c #Conflicts: 2248000 | #Constraints: 177137
3591.49/3601.71 c #Conflicts: 2249000 | #Constraints: 178137
3591.49/3601.71 c #Conflicts: 2250000 | #Constraints: 179137
3591.49/3601.71 c #Conflicts: 2251000 | #Constraints: 180137
3591.49/3601.71 c #Conflicts: 2252000 | #Constraints: 181137
3591.49/3601.71 c #Conflicts: 2253000 | #Constraints: 182137
3591.49/3601.71 c #Conflicts: 2254000 | #Constraints: 183137
3591.49/3601.71 c #Conflicts: 2255000 | #Constraints: 184137
3591.49/3601.71 c #Conflicts: 2256000 | #Constraints: 185137
3591.49/3601.71 c #Conflicts: 2257000 | #Constraints: 186137
3591.49/3601.71 c #Conflicts: 2258000 | #Constraints: 187137
3591.49/3601.71 c #Conflicts: 2259000 | #Constraints: 188137
3591.49/3601.71 c #Conflicts: 2260000 | #Constraints: 189137
3591.49/3601.71 c INPROCESSING
3591.49/3601.71 c GARBAGE COLLECT
3591.49/3601.71 c #Conflicts: 2261000 | #Constraints: 134909
3591.49/3601.71 c #Conflicts: 2262000 | #Constraints: 135909
3591.49/3601.71 c #Conflicts: 2263000 | #Constraints: 136909
3591.49/3601.71 c #Conflicts: 2264000 | #Constraints: 137910
3591.49/3601.71 c #Conflicts: 2265000 | #Constraints: 138910
3591.49/3601.71 c #Conflicts: 2266000 | #Constraints: 139910
3591.49/3601.71 c #Conflicts: 2267000 | #Constraints: 140910
3591.49/3601.71 c #Conflicts: 2268000 | #Constraints: 141910
3591.49/3601.71 c #Conflicts: 2269000 | #Constraints: 142910
3591.49/3601.71 c #Conflicts: 2270000 | #Constraints: 143910
3591.49/3601.71 c #Conflicts: 2271000 | #Constraints: 144910
3591.49/3601.71 c #Conflicts: 2272000 | #Constraints: 145910
3591.49/3601.71 c #Conflicts: 2273000 | #Constraints: 146910
3591.49/3601.71 c #Conflicts: 2274000 | #Constraints: 147910
3591.49/3601.71 c #Conflicts: 2275000 | #Constraints: 148910
3591.49/3601.71 c #Conflicts: 2276000 | #Constraints: 149910
3591.49/3601.71 c #Conflicts: 2277000 | #Constraints: 150910
3591.49/3601.71 c #Conflicts: 2278000 | #Constraints: 151910
3591.49/3601.71 c #Conflicts: 2279000 | #Constraints: 152910
3591.49/3601.71 c #Conflicts: 2280000 | #Constraints: 153910
3591.49/3601.71 c #Conflicts: 2281000 | #Constraints: 154910
3591.49/3601.71 c #Conflicts: 2282000 | #Constraints: 155910
3591.49/3601.71 c #Conflicts: 2283000 | #Constraints: 156910
3591.49/3601.71 c #Conflicts: 2284000 | #Constraints: 157910
3591.49/3601.71 c #Conflicts: 2285000 | #Constraints: 158910
3591.49/3601.71 c #Conflicts: 2286000 | #Constraints: 159910
3591.49/3601.71 c #Conflicts: 2287000 | #Constraints: 160910
3591.49/3601.71 c #Conflicts: 2288000 | #Constraints: 161910
3591.49/3601.71 c #Conflicts: 2289000 | #Constraints: 162910
3591.49/3601.71 c #Conflicts: 2290000 | #Constraints: 163910
3591.49/3601.71 c #Conflicts: 2291000 | #Constraints: 164910
3591.49/3601.71 c #Conflicts: 2292000 | #Constraints: 165910
3600.07/3610.30 c #Conflicts: 2293000 | #Constraints: 166910
3600.07/3610.30 c INPROCESSING
3600.07/3610.30 c GARBAGE COLLECT
3600.07/3610.30 c #Conflicts: 2294000 | #Constraints: 123732
3600.07/3610.30 c #Conflicts: 2295000 | #Constraints: 124732
3600.07/3610.30 c #Conflicts: 2296000 | #Constraints: 125732
3600.07/3610.30 c #Conflicts: 2297000 | #Constraints: 126732
3600.07/3610.30 c cpu time 3587.93 s
3600.07/3610.30 c deterministic time 271746415655 2.72e+11
3600.07/3610.30 c optimization time 5.7231 s
3600.07/3610.30 c total solve time 3581.99 s
3600.07/3610.30 c core-guided solve time 0 s
3600.07/3610.30 c propagation time 1727.78 s
3600.07/3610.30 c conflict analysis time 1695.68 s
3600.07/3610.30 c propagations 921604227
3600.07/3610.30 c resolve steps 97821990
3600.07/3610.30 c decisions 4280083
3600.07/3610.30 c conflicts 2297057
3600.07/3610.30 c restarts 4094
3600.07/3610.30 c inprocessing phases 98
3600.07/3610.30 c garbage collections 98 ,( 100.00 )
3600.07/3610.30 c input clauses 74490 ,( 94.86 )
3600.07/3610.30 c input cardinalities 53 ,( 0.07 )
3600.07/3610.30 c input general constraints 3984 ,( 5.07 )
3600.07/3610.30 c input average constraint length 2.16
3600.07/3610.30 c input average constraint degree 1.27
3600.07/3610.30 c learned clauses 2204630 ,( 95.95 )
3600.07/3610.30 c learned cardinalities 24251 ,( 1.06 )
3600.07/3610.30 c learned general constraints 68859 ,( 3.00 )
3600.07/3610.30 c learned average constraint length 1048.96
3600.07/3610.30 c learned average constraint degree 1342454.28
3600.07/3610.30 c watched CF 32, 64, 128, Arb: 55216 , 0 , 0 , 0
3600.07/3610.30 c counting CF 32, 64, 128, Arb: 17627 , 0 , 0 , 0
3600.07/3610.30 c watched constraints 55216 ,( 75.80 )
3600.07/3610.30 c counting constraints 17627 ,( 24.20 )
3600.07/3610.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 8355900538 , 1046143488 , 2533512797 ,( 446754686 , 2086758111 )
3600.07/3610.30 c gcd simplifications 9850
3600.07/3610.30 c detected cardinalities 208
3600.07/3610.30 c weakened non-implied lits 12582658
3600.07/3610.30 c weakened non-implying lits 11556
3600.07/3610.30 c original variables 5363
3600.07/3610.30 c clausal propagations 349190438
3600.07/3610.30 c cardinality propagations 14614390
3600.07/3610.30 c watched propagations 28179132
3600.07/3610.30 c counting propagations 527263818
3600.07/3610.30 c watch lookups 39549091249
3600.07/3610.30 c watch backjump lookups 0
3600.07/3610.30 c watch checks 193612466823
3600.07/3610.30 c propagation checks 32021368790
3600.07/3610.30 c constraint additions 4709013533
3600.07/3610.30 c trail pops 928177140
3600.07/3610.30 c formula constraints 78527
3600.07/3610.30 c learned constraints 2297056
3600.07/3610.30 c bound constraints 0
3600.07/3610.30 c core-guided constraints 0
3600.07/3610.30 c encountered formula constraints 78335250
3600.07/3610.30 c encountered learned constraints 21744722
3600.07/3610.30 c encountered bound constraints 0
3600.07/3610.30 c encountered core-guided constraints 0
3600.07/3610.30 c LP total time 98.5118 s
3600.07/3610.30 c LP solve time 87.85 s
3600.07/3610.30 c LP constraints added 78884
3600.07/3610.30 c LP constraints removed 243
3600.07/3610.30 c LP pivots internal 230427
3600.07/3610.30 c LP pivots root 183382
3600.07/3610.30 c LP calls 769
3600.07/3610.30 c LP optimalities 66
3600.07/3610.30 c LP no pivot count 0
3600.07/3610.30 c LP infeasibilities 616
3600.07/3610.30 c LP valid Farkas constraints 616
3600.07/3610.30 c LP learned Farkas constraints 0
3600.07/3610.30 c LP basis resets 83
3600.07/3610.30 c LP cycling count 20
3600.07/3610.30 c LP singular count 53
3600.07/3610.30 c LP no primal count 0
3600.07/3610.30 c LP no farkas count 0
3600.07/3610.30 c LP other issue count 10
3600.07/3610.30 c LP Gomory cuts 68
3600.07/3610.30 c LP learned cuts 289
3600.07/3610.30 c LP deleted cuts 243
3600.07/3610.30 c LP encountered Gomory constraints 1212
3600.07/3610.30 c LP encountered Farkas constraints 37863
3600.07/3610.30 c LP encountered learned Farkas constraints 0
3600.07/3610.30 c CG auxiliary variables introduced 0
3600.07/3610.30 c CG solutions found 0
3600.07/3610.30 c CG cores constructed 0
3600.07/3610.30 c CG core cardinality constraints returned 0
3600.07/3610.30 c CG unit cores 0
3600.07/3610.30 c CG single cores 0
3600.07/3610.30 c CG blocks removed during cardinality reduction 0
3600.07/3610.30 c CG first core best 0
3600.07/3610.30 c CG decision core best 0
3600.07/3610.30 c CG core reduction tie 0
3600.07/3610.30 c CG core degree average 0.00
3600.07/3610.30 c CG core slack average 0.00
3600.07/3610.30 c CG core upper bound improvements 0
3600.07/3610.30 c STR number of successful calls 0
3600.07/3610.30 c STR number of unsuccessful calls 0
3600.07/3610.30 c STR number of inconclusive calls 0
3600.07/3610.30 c STR number of successful attempts 0
3600.07/3610.30 c STR number of unsuccessful attempts 0
3600.07/3610.30 c STR number of inconclusive attempts 0
3600.07/3610.30 c STR average degree increase per successful call inf
3600.07/3610.30 c STR average degree increase per successful attempt inf
3600.07/3610.30 c STR total number of conflicts for successful attempts 0
3600.07/3610.30 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3610.30 c STR total number of conflicts for inconclusive attempts 0
3600.07/3610.30 c STR average number of conflicts per successful attempt inf
3600.07/3610.30 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3610.30 c STR average number of conflicts per inconclusive attempt inf
3600.07/3610.30 c AVG.sumWPerc 28.37
3600.07/3610.30 c bigint constraints 0
3600.07/3610.30 s UNKNOWN
3600.07/3610.30 c Program interrupted by user.
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: 63708 MiB (60167 MiB free)
memory of node 1: 64465 MiB (62493 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545041-1753220563/watcher-4545041-1753220563 -o /tmp/evaluation-result-4545041-1753220563/solver-4545041-1753220563 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753211687-175477 --watchdog 3760 run-dec-break.sh HOME/instance-4545041-1753220563.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=179540, runsolver pid=179537
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.10 4.10 4.09 5/268 179543
/proc/meminfo: memFree=125566196/131250000 swapFree=33009904/33010684
[pid=179540] ppid=179537 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/179540/stat : 179540 (run-dec-break.s) S 179537 179540 175467 0 -1 4194304 235 9768 0 0 0 0 5 2 20 0 1 0 237735702 4292608 736 18446744073709551615 94377798176768 94377799071301 140735227251648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94377799310352 94377799358096 94377814069248 140735227259231 140735227259360 140735227259360 140735227264964 0
/proc/179540/statm: 1048 736 672 219 0 110 0
[pid=179543] ppid=179540 vsize=56972 memory=10368 CPUtime=0 cores=0,2
/proc/179543/stat : 179543 (roundingsat) R 179540 179540 175467 0 -1 4194304 745 0 0 0 0 0 0 0 20 0 1 0 237735711 58339328 2592 18446744073709551615 4227072 8923433 140728309121696 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 29736960 140728309127490 140728309127718 140728309127718 140728309133290 0
/proc/179543/statm: 14243 2592 2048 1147 0 1670 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 61164 KiB
Current children cumulated memory: 13312 KiB
[startup+0.205583 s]*
/proc/loadavg: 4.10 4.10 4.09 6/268 179543
/proc/meminfo: memFree=125566196/131250000 swapFree=33009904/33010684
[pid=179540] ppid=179537 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/179540/stat : 179540 (run-dec-break.s) S 179537 179540 175467 0 -1 4194304 235 9768 0 0 0 0 5 2 20 0 1 0 237735702 4292608 736 18446744073709551615 94377798176768 94377799071301 140735227251648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94377799310352 94377799358096 94377814069248 140735227259231 140735227259360 140735227259360 140735227264964 0
/proc/179540/statm: 1048 736 672 219 0 110 0
[pid=179543] ppid=179540 vsize=68692 memory=23704 CPUtime=0.1 cores=0,2
/proc/179543/stat : 179543 (roundingsat) R 179540 179540 175467 0 -1 4194304 3925 0 0 0 6 4 0 0 20 0 1 0 237735711 70340608 5926 18446744073709551615 4227072 8923433 140728309121696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29736960 140728309127490 140728309127718 140728309127718 140728309133290 0
/proc/179543/statm: 17173 5926 2048 1147 0 4600 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 72884 KiB
Current children cumulated memory: 26648 KiB
[startup+0.305472 s]*
/proc/loadavg: 4.10 4.10 4.09 5/268 179543
/proc/meminfo: memFree=125550572/131250000 swapFree=33009904/33010684
[pid=179540] ppid=179537 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/179540/stat : 179540 (run-dec-break.s) S 179537 179540 175467 0 -1 4194304 235 9768 0 0 0 0 5 2 20 0 1 0 237735702 4292608 736 18446744073709551615 94377798176768 94377799071301 140735227251648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94377799310352 94377799358096 94377814069248 140735227259231 140735227259360 140735227259360 140735227264964 0
/proc/179540/statm: 1048 736 672 219 0 110 0
[pid=179543] ppid=179540 vsize=88848 memory=44304 CPUtime=0.2 cores=0,2
/proc/179543/stat : 179543 (roundingsat) R 179540 179540 175467 0 -1 4194304 9043 0 0 0 13 7 0 0 20 0 1 0 237735711 90980352 11076 18446744073709551615 4227072 8923433 140728309121696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29736960 140728309127490 140728309127718 140728309127718 140728309133290 0
/proc/179543/statm: 22212 11076 2272 1147 0 9639 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 93040 KiB
Current children cumulated memory: 47248 KiB
[startup+0.700157 s]
/proc/loadavg: 4.10 4.10 4.09 5/268 179543
/proc/meminfo: memFree=125477860/131250000 swapFree=33009904/33010684
[pid=179540] ppid=179537 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/179540/stat : 179540 (run-dec-break.s) S 179537 179540 175467 0 -1 4194304 235 9768 0 0 0 0 5 2 20 0 1 0 237735702 4292608 736 18446744073709551615 94377798176768 94377799071301 140735227251648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94377799310352 94377799358096 94377814069248 140735227259231 140735227259360 140735227259360 140735227264964 0
/proc/179540/statm: 1048 736 672 219 0 110 0
[pid=179543] ppid=179540 vsize=190316 memory=121024 CPUtime=0.59 cores=0,2
/proc/179543/stat : 179543 (roundingsat) R 179540 179540 175467 0 -1 4194304 17941 0 0 0 48 11 0 0 20 0 1 0 237735711 194883584 30256 18446744073709551615 4227072 8923433 140728309121696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29736960 140728309127490 140728309127718 140728309127718 140728309133290 0
/proc/179543/statm: 47579 30256 2304 1147 0 35006 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 194508 KiB
Current children cumulated memory: 123968 KiB
[startup+1.50013 s]
/proc/loadavg: 4.10 4.10 4.09 5/268 179543
/proc/meminfo: memFree=125477944/131250000 swapFree=33009904/33010684
[pid=179540] ppid=179537 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/179540/stat : 179540 (run-dec-break.s) S 179537 179540 175467 0 -1 4194304 235 9768 0 0 0 0 5 2 20 0 1 0 237735702 4292608 736 18446744073709551615 94377798176768 94377799071301 140735227251648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94377799310352 94377799358096 94377814069248 140735227259231 140735227259360 140735227259360 140735227264964 0
/proc/179540/statm: 1048 736 672 219 0 110 0
[pid=179543] ppid=179540 vsize=193036 memory=122816 CPUtime=1.39 cores=0,2
/proc/179543/stat : 179543 (roundingsat) R 179540 179540 175467 0 -1 4194304 18352 0 0 0 127 12 0 0 20 0 1 0 237735711 197668864 30704 18446744073709551615 4227072 8923433 140728309121696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29736960 140728309127490 140728309127718 140728309127718 140728309133290 0
/proc/179543/statm: 48259 30704 2368 1147 0 35686 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 197228 KiB
Current children cumulated memory: 125760 KiB
[startup+3.10498 s]
/proc/loadavg: 4.10 4.10 4.09 5/268 179543
/proc/meminfo: memFree=125477944/131250000 swapFree=33009904/33010684
[pid=179540] ppid=179537 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/179540/stat : 179540 (run-dec-break.s) S 179537 179540 175467 0 -1 4194304 235 9768 0 0 0 0 5 2 20 0 1 0 237735702 4292608 736 18446744073709551615 94377798176768 94377799071301 140735227251648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94377799310352 94377799358096 94377814069248 140735227259231 140735227259360 140735227259360 140735227264964 0
/proc/179540/statm: 1048 736 672 219 0 110 0
[pid=179543] ppid=179540 vsize=197456 memory=125632 CPUtime=2.99 cores=0,2
/proc/179543/stat : 179543 (roundingsat) R 179540 179540 175467 0 -1 4194304 19060 0 0 0 286 13 0 0 20 0 1 0 237735711 202194944 31408 18446744073709551615 4227072 8923433 140728309121696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29736960 140728309127490 140728309127718 140728309127718 140728309133290 0
/proc/179543/statm: 49364 31408 2368 1147 0 36791 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 201648 KiB
Current children cumulated memory: 128576 KiB
[startup+6.30017 s]
/proc/loadavg: 4.09 4.10 4.09 5/268 179543
/proc/meminfo: memFree=125477956/131250000 swapFree=33009904/33010684
[pid=179540] ppid=179537 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/179540/stat : 179540 (run-dec-break.s) S 179537 179540 175467 0 -1 4194304 235 9768 0 0 0 0 5 2 20 0 1 0 237735702 4292608 736 18446744073709551615 94377798176768 94377799071301 140735227251648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94377799310352 94377799358096 94377814069248 140735227259231 140735227259360 140735227259360 140735227264964 0
/proc/179540/statm: 1048 736 672 219 0 110 0
[pid=179543] ppid=179540 vsize=197456 memory=128992 CPUtime=6.17 cores=0,2
/proc/179543/stat : 179543 (roundingsat) R 179540 179540 175467 0 -1 4194304 19384 0 0 0 603 14 0 0 20 0 1 0 237735711 202194944 32248 18446744073709551615 4227072 8923433 140728309121696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29736960 140728309127490 140728309127718 140728309127718 140728309133290 0
/proc/179543/statm: 49364 32248 2368 1147 0 36791 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 201648 KiB
Current children cumulated memory: 131936 KiB
[startup+12.7001 s]
/proc/loadavg: 4.08 4.09 4.09 5/268 179543
/proc/meminfo: memFree=125461828/131250000 swapFree=33009904/33010684
[pid=179540] ppid=179537 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/179540/stat : 179540 (run-dec-break.s) S 179537 179540 175467 0 -1 4194304 235 9768 0 0 0 0 5 2 20 0 1 0 237735702 4292608 736 18446744073709551615 94377798176768 94377799071301 140735227251648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94377799310352 94377799358096 94377814069248 140735227259231 140735227259360 140735227259360 140735227264964 0
/proc/179540/statm: 1048 736 672 219 0 110 0
[pid=179543] ppid=179540 vsize=215536 memory=141776 CPUtime=12.56 cores=0,2
/proc/179543/stat : 179543 (roundingsat) R 179540 179540 175467 0 -1 4194304 21047 0 0 0 1238 18 0 0 20 0 1 0 237735711 220708864 35444 18446744073709551615 4227072 8923433 140728309121696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29736960 140728309127490 140728309127718 140728309127718 140728309133290 0
/proc/179543/statm: 53884 35444 2400 1147 0 41311 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 219728 KiB
Current children cumulated memory: 144720 KiB
[startup+25.5001 s]
/proc/loadavg: 4.14 4.11 4.09 5/269 179545
/proc/meminfo: memFree=125417288/131250000 swapFree=33009904/33010684
[pid=179540] ppid=179537 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/179540/stat : 179540 (run-dec-break.s) S 179537 179540 175467 0 -1 4194304 235 9768 0 0 0 0 5 2 20 0 1 0 237735702 4292608 736 18446744073709551615 94377798176768 94377799071301 140735227251648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94377799310352 94377799358096 94377814069248 140735227259231 140735227259360 140735227259360 140735227264964 0
/proc/179540/statm: 1048 736 672 219 0 110 0
[pid=179543] ppid=179540 vsize=217996 memory=146364 CPUtime=25.32 cores=0,2
/proc/179543/stat : 179543 (roundingsat) R 179540 179540 175467 0 -1 4194304 21671 0 0 0 2506 26 0 0 20 0 1 0 237735711 223227904 36591 18446744073709551615 4227072 8923433 140728309121696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29736960 140728309127490 140728309127718 140728309127718 140728309133290 0
/proc/179543/statm: 54499 36591 2400 1147 0 41926 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 222188 KiB
Current children cumulated memory: 149308 KiB
[startup+51.1056 s]
/proc/loadavg: 4.09 4.10 4.09 5/269 179545
/proc/meminfo: memFree=125396212/131250000 swapFree=33009904/33010684
[pid=179540] ppid=179537 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/179540/stat : 179540 (run-dec-break.s) S 179537 179540 175467 0 -1 4194304 235 9768 0 0 0 0 5 2 20 0 1 0 237735702 4292608 736 18446744073709551615 94377798176768 94377799071301 140735227251648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94377799310352 94377799358096 94377814069248 140735227259231 140735227259360 140735227259360 140735227264964 0
/proc/179540/statm: 1048 736 672 219 0 110 0
[pid=179543] ppid=179540 vsize=233056 memory=159240 CPUtime=50.85 cores=0,2
/proc/179543/stat : 179543 (roundingsat) R 179540 179540 175467 0 -1 4194304 22834 0 0 0 5044 41 0 0 20 0 1 0 237735711 238649344 39810 18446744073709551615 4227072 8923433 140728309121696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29736960 140728309127490 140728309127718 140728309127718 140728309133290 0
/proc/179543/statm: 58264 39810 2400 1147 0 45691 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 237248 KiB
Current children cumulated memory: 162184 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/268 179548
/proc/meminfo: memFree=125328956/131250000 swapFree=33009904/33010684
[pid=179540] ppid=179537 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/179540/stat : 179540 (run-dec-break.s) S 179537 179540 175467 0 -1 4194304 235 9768 0 0 0 0 5 2 20 0 1 0 237735702 4292608 736 18446744073709551615 94377798176768 94377799071301 140735227251648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94377799310352 94377799358096 94377814069248 140735227259231 140735227259360 140735227259360 140735227264964 0
/proc/179540/statm: 1048 736 672 219 0 110 0
[pid=179543] ppid=179540 vsize=270608 memory=185104 CPUtime=101.91 cores=0,2
/proc/179543/stat : 179543 (roundingsat) R 179540 179540 175467 0 -1 4194304 26158 0 0 0 10120 71 0 0 20 0 1 0 237735711 277102592 46276 18446744073709551615 4227072 8923433 140728309121696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29736960 140728309127490 140728309127718 140728309127718 140728309133290 0
/proc/179543/statm: 67652 46276 2496 1147 0 55079 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 274800 KiB
Current children cumulated memory: 188048 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/268 179551
/proc/meminfo: memFree=125254224/131250000 swapFree=33009904/33010684
[pid=179540] ppid=179537 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/179540/stat : 179540 (run-dec-break.s) S 179537 179540 175467 0 -1 4194304 235 9768 0 0 0 0 5 2 20 0 1 0 237735702 4292608 736 18446744073709551615 94377798176768 94377799071301 140735227251648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94377799310352 94377799358096 94377814069248 140735227259231 140735227259360 140735227259360 140735227264964 0
/proc/179540/statm: 1048 736 672 219 0 110 0
[pid=179543] ppid=179540 vsize=273756 memory=202616 CPUtime=161.73 cores=0,2
/proc/179543/stat : 179543 (roundingsat) R 179540 179540 175467 0 -1 4194304 26468 0 0 0 16072 101 0 0 20 0 1 0 237735711 280326144 50654 18446744073709551615 4227072 8923433 140728309121696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29736960 140728309127490 140728309127718 140728309127718 140728309133290 0
/proc/179543/statm: 68439 50654 2496 1147 0 55866 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 277948 KiB
Current children cumulated memory: 205560 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/268 179553
/proc/meminfo: memFree=125073364/131250000 swapFree=33009904/33010684
[pid=179540] ppid=179537 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/179540/stat : 179540 (run-dec-break.s) S 179537 179540 175467 0 -1 4194304 235 9768 0 0 0 0 5 2 20 0 1 0 237735702 4292608 736 18446744073709551615 94377798176768 94377799071301 140735227251648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94377799310352 94377799358096 94377814069248 140735227259231 140735227259360 140735227259360 140735227264964 0
/proc/179540/statm: 1048 736 672 219 0 110 0
[pid=179543] ppid=179540 vsize=305100 memory=206948 CPUtime=221.56 cores=0,2
/proc/179543/stat : 179543 (roundingsat) R 179540 179540 175467 0 -1 4194304 27038 0 0 0 22023 133 0 0 20 0 1 0 237735711 312422400 51737 18446744073709551615 4227072 8923433 140728309121696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29736960 140728309127490 140728309127718 140728309127718 140728309133290 0
/proc/179543/statm: 76275 51737 2496 1147 0 63702 0
################
# More data... #
################
/proc/179543/statm: 230270 196858 2496 1147 0 217697 0
Current children cumulated CPU time: 3093.48 s
Current children cumulated vsize: 925272 KiB
Current children cumulated memory: 790376 KiB
[startup+3162.3 s]
/proc/loadavg: 3.11 3.40 3.77 4/261 179801
/proc/meminfo: memFree=124623744/131250000 swapFree=33009904/33010684
[pid=179540] ppid=179537 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/179540/stat : 179540 (run-dec-break.s) S 179537 179540 175467 0 -1 4194304 235 9768 0 0 0 0 5 2 20 0 1 0 237735702 4292608 736 18446744073709551615 94377798176768 94377799071301 140735227251648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94377799310352 94377799358096 94377814069248 140735227259231 140735227259360 140735227259360 140735227264964 0
/proc/179540/statm: 1048 736 672 219 0 110 0
[pid=179543] ppid=179540 vsize=921080 memory=787432 CPUtime=3153.24 cores=0,2
/proc/179543/stat : 179543 (roundingsat) R 179540 179540 175467 0 -1 4194304 48276 0 0 0 314224 1100 0 0 20 0 1 0 237735711 943185920 196858 18446744073709551615 4227072 8923433 140728309121696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29736960 140728309127490 140728309127718 140728309127718 140728309133290 0
/proc/179543/statm: 230270 196858 2496 1147 0 217697 0
Current children cumulated CPU time: 3153.31 s
Current children cumulated vsize: 925272 KiB
Current children cumulated memory: 790376 KiB
[startup+3222.3 s]
/proc/loadavg: 3.10 3.34 3.72 4/261 179803
/proc/meminfo: memFree=124626792/131250000 swapFree=33009904/33010684
[pid=179540] ppid=179537 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/179540/stat : 179540 (run-dec-break.s) S 179537 179540 175467 0 -1 4194304 235 9768 0 0 0 0 5 2 20 0 1 0 237735702 4292608 736 18446744073709551615 94377798176768 94377799071301 140735227251648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94377799310352 94377799358096 94377814069248 140735227259231 140735227259360 140735227259360 140735227264964 0
/proc/179540/statm: 1048 736 672 219 0 110 0
[pid=179543] ppid=179540 vsize=921080 memory=787432 CPUtime=3213.09 cores=0,2
/proc/179543/stat : 179543 (roundingsat) R 179540 179540 175467 0 -1 4194304 48276 0 0 0 320193 1116 0 0 20 0 1 0 237735711 943185920 196858 18446744073709551615 4227072 8923433 140728309121696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29736960 140728309127490 140728309127718 140728309127718 140728309133290 0
/proc/179543/statm: 230270 196858 2496 1147 0 217697 0
Current children cumulated CPU time: 3213.16 s
Current children cumulated vsize: 925272 KiB
Current children cumulated memory: 790376 KiB
[startup+3282.3 s]
/proc/loadavg: 3.08 3.29 3.68 4/261 179805
/proc/meminfo: memFree=124627088/131250000 swapFree=33009904/33010684
[pid=179540] ppid=179537 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/179540/stat : 179540 (run-dec-break.s) S 179537 179540 175467 0 -1 4194304 235 9768 0 0 0 0 5 2 20 0 1 0 237735702 4292608 736 18446744073709551615 94377798176768 94377799071301 140735227251648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94377799310352 94377799358096 94377814069248 140735227259231 140735227259360 140735227259360 140735227264964 0
/proc/179540/statm: 1048 736 672 219 0 110 0
[pid=179543] ppid=179540 vsize=921080 memory=787432 CPUtime=3272.93 cores=0,2
/proc/179543/stat : 179543 (roundingsat) R 179540 179540 175467 0 -1 4194304 48276 0 0 0 326165 1128 0 0 20 0 1 0 237735711 943185920 196858 18446744073709551615 4227072 8923433 140728309121696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29736960 140728309127490 140728309127718 140728309127718 140728309133290 0
/proc/179543/statm: 230270 196858 2496 1147 0 217697 0
Current children cumulated CPU time: 3273 s
Current children cumulated vsize: 925272 KiB
Current children cumulated memory: 790376 KiB
[startup+3342.3 s]
/proc/loadavg: 3.14 3.27 3.64 4/261 179807
/proc/meminfo: memFree=124633268/131250000 swapFree=33009904/33010684
[pid=179540] ppid=179537 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/179540/stat : 179540 (run-dec-break.s) S 179537 179540 175467 0 -1 4194304 235 9768 0 0 0 0 5 2 20 0 1 0 237735702 4292608 736 18446744073709551615 94377798176768 94377799071301 140735227251648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94377799310352 94377799358096 94377814069248 140735227259231 140735227259360 140735227259360 140735227264964 0
/proc/179540/statm: 1048 736 672 219 0 110 0
[pid=179543] ppid=179540 vsize=921080 memory=787432 CPUtime=3332.76 cores=0,2
/proc/179543/stat : 179543 (roundingsat) R 179540 179540 175467 0 -1 4194304 48435 0 0 0 332134 1142 0 0 20 0 1 0 237735711 943185920 196858 18446744073709551615 4227072 8923433 140728309121696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29736960 140728309127490 140728309127718 140728309127718 140728309133290 0
/proc/179543/statm: 230270 196858 2496 1147 0 217697 0
Current children cumulated CPU time: 3332.83 s
Current children cumulated vsize: 925272 KiB
Current children cumulated memory: 790376 KiB
[startup+3402.3 s]
/proc/loadavg: 3.10 3.23 3.61 4/262 179816
/proc/meminfo: memFree=124630636/131250000 swapFree=33009904/33010684
[pid=179540] ppid=179537 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/179540/stat : 179540 (run-dec-break.s) S 179537 179540 175467 0 -1 4194304 235 9768 0 0 0 0 5 2 20 0 1 0 237735702 4292608 736 18446744073709551615 94377798176768 94377799071301 140735227251648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94377799310352 94377799358096 94377814069248 140735227259231 140735227259360 140735227259360 140735227264964 0
/proc/179540/statm: 1048 736 672 219 0 110 0
[pid=179543] ppid=179540 vsize=921080 memory=787432 CPUtime=3392.59 cores=0,2
/proc/179543/stat : 179543 (roundingsat) R 179540 179540 175467 0 -1 4194304 48508 0 0 0 338106 1153 0 0 20 0 1 0 237735711 943185920 196858 18446744073709551615 4227072 8923433 140728309121696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29736960 140728309127490 140728309127718 140728309127718 140728309133290 0
/proc/179543/statm: 230270 196858 2496 1147 0 217697 0
Current children cumulated CPU time: 3392.66 s
Current children cumulated vsize: 925272 KiB
Current children cumulated memory: 790376 KiB
[startup+3462.3 s]
/proc/loadavg: 2.81 3.14 3.55 3/255 179848
/proc/meminfo: memFree=124842784/131250000 swapFree=33009904/33010684
[pid=179540] ppid=179537 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/179540/stat : 179540 (run-dec-break.s) S 179537 179540 175467 0 -1 4194304 235 9768 0 0 0 0 5 2 20 0 1 0 237735702 4292608 736 18446744073709551615 94377798176768 94377799071301 140735227251648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94377799310352 94377799358096 94377814069248 140735227259231 140735227259360 140735227259360 140735227264964 0
/proc/179540/statm: 1048 736 672 219 0 110 0
[pid=179543] ppid=179540 vsize=1270972 memory=907728 CPUtime=3452.42 cores=0,2
/proc/179543/stat : 179543 (roundingsat) R 179540 179540 175467 0 -1 4194304 49442 0 0 0 344072 1170 0 0 20 0 1 0 237735711 1301475328 226932 18446744073709551615 4227072 8923433 140728309121696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29736960 140728309127490 140728309127718 140728309127718 140728309133290 0
/proc/179543/statm: 317743 226932 2496 1147 0 305170 0
Current children cumulated CPU time: 3452.49 s
Current children cumulated vsize: 1275164 KiB
Current children cumulated memory: 910672 KiB
[startup+3522.3 s]
/proc/loadavg: 2.36 2.94 3.46 3/255 179851
/proc/meminfo: memFree=124834728/131250000 swapFree=33009904/33010684
[pid=179540] ppid=179537 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/179540/stat : 179540 (run-dec-break.s) S 179537 179540 175467 0 -1 4194304 235 9768 0 0 0 0 5 2 20 0 1 0 237735702 4292608 736 18446744073709551615 94377798176768 94377799071301 140735227251648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94377799310352 94377799358096 94377814069248 140735227259231 140735227259360 140735227259360 140735227264964 0
/proc/179540/statm: 1048 736 672 219 0 110 0
[pid=179543] ppid=179540 vsize=1270972 memory=917968 CPUtime=3512.25 cores=0,2
/proc/179543/stat : 179543 (roundingsat) R 179540 179540 175467 0 -1 4194304 49447 0 0 0 350040 1185 0 0 20 0 1 0 237735711 1301475328 229492 18446744073709551615 4227072 8923433 140728309121696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29736960 140728309127490 140728309127718 140728309127718 140728309133290 0
/proc/179543/statm: 317743 229492 2496 1147 0 305170 0
Current children cumulated CPU time: 3512.32 s
Current children cumulated vsize: 1275164 KiB
Current children cumulated memory: 920912 KiB
[startup+3582.3 s]
/proc/loadavg: 2.18 2.78 3.37 3/255 179852
/proc/meminfo: memFree=124827032/131250000 swapFree=33009904/33010684
[pid=179540] ppid=179537 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/179540/stat : 179540 (run-dec-break.s) S 179537 179540 175467 0 -1 4194304 235 9768 0 0 0 0 5 2 20 0 1 0 237735702 4292608 736 18446744073709551615 94377798176768 94377799071301 140735227251648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94377799310352 94377799358096 94377814069248 140735227259231 140735227259360 140735227259360 140735227264964 0
/proc/179540/statm: 1048 736 672 219 0 110 0
[pid=179543] ppid=179540 vsize=1270972 memory=917968 CPUtime=3572.07 cores=0,2
/proc/179543/stat : 179543 (roundingsat) R 179540 179540 175467 0 -1 4194304 49447 0 0 0 356007 1200 0 0 20 0 1 0 237735711 1301475328 229492 18446744073709551615 4227072 8923433 140728309121696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29736960 140728309127490 140728309127718 140728309127718 140728309133290 0
/proc/179543/statm: 317743 229492 2496 1147 0 305170 0
Current children cumulated CPU time: 3572.14 s
Current children cumulated vsize: 1275164 KiB
Current children cumulated memory: 920912 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 2.16 2.72 3.33 3/256 179854
/proc/meminfo: memFree=124827032/131250000 swapFree=33009904/33010684
[pid=179540] ppid=179537 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/179540/stat : 179540 (run-dec-break.s) S 179537 179540 175467 0 -1 4194304 235 9768 0 0 0 0 5 2 20 0 1 0 237735702 4292608 736 18446744073709551615 94377798176768 94377799071301 140735227251648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94377799310352 94377799358096 94377814069248 140735227259231 140735227259360 140735227259360 140735227264964 0
/proc/179540/statm: 1048 736 672 219 0 110 0
[pid=179543] ppid=179540 vsize=1270972 memory=917968 CPUtime=3600 cores=0,2
/proc/179543/stat : 179543 (roundingsat) R 179540 179540 175467 0 -1 4194304 49447 0 0 0 358793 1207 0 0 20 0 1 0 237735711 1301475328 229492 18446744073709551615 4227072 8923433 140728309121696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29736960 140728309127490 140728309127718 140728309127718 140728309133290 0
/proc/179543/statm: 317743 229492 2496 1147 0 305170 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1275164 KiB
Current children cumulated memory: 920912 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.3 s]
# the end of solver process 179540 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.056441 s, system=0.023832 s
Sleeping 2 seconds
[startup+3610.32 s]
# the end of solver process 179543 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3588 s, system=12.1047 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 2.16 2.72 3.33 3/256 179854
/proc/meminfo: memFree=124827032/131250000 swapFree=33009904/33010684
[pid=179540] ppid=179537 vsize=4192 memory=2944 CPUtime=0.07 cores=0,2
/proc/179540/stat : 179540 (run-dec-break.s) S 179537 179540 175467 0 -1 4194304 235 9768 0 0 0 0 5 2 20 0 1 0 237735702 4292608 736 18446744073709551615 94377798176768 94377799071301 140735227251648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94377799310352 94377799358096 94377814069248 140735227259231 140735227259360 140735227259360 140735227264964 0
/proc/179540/statm: 1048 736 672 219 0 110 0
[pid=179543] ppid=179540 vsize=1270972 memory=917968 CPUtime=3600 cores=0,2
/proc/179543/stat : 179543 (roundingsat) R 179540 179540 175467 0 -1 4194304 49447 0 0 0 358793 1207 0 0 20 0 1 0 237735711 1301475328 229492 18446744073709551615 4227072 8923433 140728309121696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29736960 140728309127490 140728309127718 140728309127718 140728309133290 0
/proc/179543/statm: 317743 229492 2496 1147 0 305170 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1275164 KiB
Current children cumulated memory: 920912 KiB
Child status: 2
Real time (s): 3610.32
CPU time (s): 3600.1
CPU user time (s): 3588
CPU system time (s): 12.1047
CPU usage (%): 99.717
Max. virtual memory (cumulated for all children) (KiB): 1275164
Max. memory (cumulated for all children) (KiB): 920912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588
system time used= 12.1047
maximum resident set size= 918224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59468
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 335
involuntary context switches= 7936
# summary of solver processes directly reported to runsolver:
# pid: 179540,179543
# total CPU time (s): 3600.1
# total CPU user time (s): 3588
# total CPU system time (s): 12.1047
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.97181 second user time and 16.1626 second system time
The end
Begin job on nodeC033 at 2025-07-22 23:42:43
IDJOB=4545041
IDBENCH=180696
IDSOLVER=3357
FILE ID=nodeC033/4545041-1753220563
RUNJOBID= nodeC033-1753211687-175477
SLURM_JOB_ID= 9687798
Free space on /tmp= 432528 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-FRB-53-24-1-mgd_c18.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545041-1753220563/watcher-4545041-1753220563 -o /tmp/evaluation-result-4545041-1753220563/solver-4545041-1753220563 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753211687-175477 --watchdog 3760 run-dec-break.sh HOME/instance-4545041-1753220563.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= aa4c4c17affaea5fdc372b8ff9588da4
RANDOM SEED=825751798
nodeC033 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.796
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 0xb00002a
cpu MHz : 3600.064
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 0xb00002a
cpu MHz : 3600.052
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 0xb00002a
cpu MHz : 3598.895
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 0xb00002a
cpu MHz : 3600.064
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 0xb00002a
cpu MHz : 3600.077
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 0xb00002a
cpu MHz : 3601.322
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 0xb00002a
cpu MHz : 3700.000
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 125605340 kB
MemAvailable: 127122592 kB
Buffers: 2128 kB
Cached: 2240216 kB
SwapCached: 64 kB
Active: 3810208 kB
Inactive: 1013084 kB
Active(anon): 2601892 kB
Inactive(anon): 5284 kB
Active(file): 1208316 kB
Inactive(file): 1007800 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 9108 kB
Writeback: 0 kB
AnonPages: 2584040 kB
Mapped: 122192 kB
Shmem: 26228 kB
KReclaimable: 280748 kB
Slab: 378672 kB
SReclaimable: 280748 kB
SUnreclaim: 97924 kB
KernelStack: 4352 kB
PageTables: 8972 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 3440424 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 694272 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432508 MiB
End job on nodeC033 at 2025-07-23 00:42:53