0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.97/1.04 c #variables 5363 #constraints 78527
10.94/11.09 c #Conflicts: 1000 | #Constraints: 79526
10.94/11.09 c #Conflicts: 2000 | #Constraints: 80526
10.94/11.09 c INPROCESSING
10.94/11.09 c GARBAGE COLLECT
10.94/11.09 c #Conflicts: 3000 | #Constraints: 80538
10.94/11.09 c #Conflicts: 4000 | #Constraints: 81538
10.94/11.09 c INPROCESSING
10.94/11.09 c GARBAGE COLLECT
10.94/11.09 c #Conflicts: 5000 | #Constraints: 80945
10.94/11.09 c #Conflicts: 6000 | #Constraints: 81945
10.94/11.09 c INPROCESSING
10.94/11.09 c GARBAGE COLLECT
10.94/11.09 c #Conflicts: 7000 | #Constraints: 80955
10.94/11.09 c #Conflicts: 8000 | #Constraints: 81955
10.94/11.09 c #Conflicts: 9000 | #Constraints: 82955
10.94/11.09 c INPROCESSING
10.94/11.09 c GARBAGE COLLECT
10.94/11.09 c #Conflicts: 10000 | #Constraints: 81652
10.94/11.09 c #Conflicts: 11000 | #Constraints: 82652
10.94/11.09 c #Conflicts: 12000 | #Constraints: 83652
10.94/11.09 c INPROCESSING
10.94/11.09 c GARBAGE COLLECT
10.94/11.09 c rational objective 71.6562
13.72/13.83 c #Conflicts: 13000 | #Constraints: 82109
13.72/13.83 c #Conflicts: 14000 | #Constraints: 83109
13.72/13.83 c #Conflicts: 15000 | #Constraints: 84109
13.72/13.83 c INPROCESSING
13.72/13.83 c GARBAGE COLLECT
13.72/13.83 c rational objective 71.8125
17.41/17.50 c #Conflicts: 16000 | #Constraints: 82335
17.41/17.50 c #Conflicts: 17000 | #Constraints: 83335
17.41/17.50 c #Conflicts: 18000 | #Constraints: 84335
17.41/17.50 c INPROCESSING
17.41/17.50 c GARBAGE COLLECT
17.41/17.50 c rational objective 71.875
45.25/45.44 c #Conflicts: 19000 | #Constraints: 82353
45.25/45.44 c #Conflicts: 20000 | #Constraints: 83353
45.25/45.44 c #Conflicts: 21000 | #Constraints: 84353
45.25/45.44 c INPROCESSING
45.25/45.44 c GARBAGE COLLECT
45.25/45.44 c #Conflicts: 22000 | #Constraints: 82168
45.25/45.44 c #Conflicts: 23000 | #Constraints: 83168
45.25/45.44 c #Conflicts: 24000 | #Constraints: 84168
45.25/45.44 c #Conflicts: 25000 | #Constraints: 85168
45.25/45.44 c INPROCESSING
45.25/45.44 c GARBAGE COLLECT
45.25/45.44 c #Conflicts: 26000 | #Constraints: 82770
45.25/45.44 c #Conflicts: 27000 | #Constraints: 83770
45.25/45.44 c #Conflicts: 28000 | #Constraints: 84770
45.25/45.44 c #Conflicts: 29000 | #Constraints: 85770
45.25/45.44 c INPROCESSING
45.25/45.44 c GARBAGE COLLECT
45.25/45.44 c #Conflicts: 30000 | #Constraints: 83165
45.25/45.44 c #Conflicts: 31000 | #Constraints: 84165
45.25/45.44 c #Conflicts: 32000 | #Constraints: 85165
45.25/45.44 c #Conflicts: 33000 | #Constraints: 86165
45.25/45.44 c INPROCESSING
45.25/45.44 c GARBAGE COLLECT
45.25/45.44 c #Conflicts: 34000 | #Constraints: 83370
45.25/45.44 c #Conflicts: 35000 | #Constraints: 84370
45.25/45.44 c #Conflicts: 36000 | #Constraints: 85370
45.25/45.44 c #Conflicts: 37000 | #Constraints: 86370
45.25/45.44 c INPROCESSING
45.25/45.44 c GARBAGE COLLECT
45.25/45.44 c #Conflicts: 38000 | #Constraints: 83380
45.25/45.44 c #Conflicts: 39000 | #Constraints: 84380
45.25/45.44 c #Conflicts: 40000 | #Constraints: 85380
45.25/45.44 c #Conflicts: 41000 | #Constraints: 86380
45.25/45.44 c INPROCESSING
45.25/45.44 c GARBAGE COLLECT
45.25/45.44 c #Conflicts: 42000 | #Constraints: 83182
45.25/45.44 c #Conflicts: 43000 | #Constraints: 84182
45.25/45.44 c #Conflicts: 44000 | #Constraints: 85182
45.25/45.44 c #Conflicts: 45000 | #Constraints: 86182
45.25/45.44 c #Conflicts: 46000 | #Constraints: 87182
45.25/45.44 c INPROCESSING
45.25/45.44 c GARBAGE COLLECT
45.25/45.44 c #Conflicts: 47000 | #Constraints: 83770
45.25/45.44 c #Conflicts: 48000 | #Constraints: 84770
45.25/45.44 c #Conflicts: 49000 | #Constraints: 85770
45.25/45.44 c #Conflicts: 50000 | #Constraints: 86770
45.25/45.44 c #Conflicts: 51000 | #Constraints: 87770
45.25/45.44 c INPROCESSING
45.25/45.44 c GARBAGE COLLECT
45.25/45.44 c rational objective 71.875
54.22/54.41 c #Conflicts: 52000 | #Constraints: 84180
54.22/54.41 c #Conflicts: 53000 | #Constraints: 85180
54.22/54.41 c #Conflicts: 54000 | #Constraints: 86180
54.22/54.41 c #Conflicts: 55000 | #Constraints: 87180
54.22/54.41 c #Conflicts: 56000 | #Constraints: 88180
54.22/54.41 c INPROCESSING
54.22/54.41 c GARBAGE COLLECT
54.22/54.41 c #Conflicts: 57000 | #Constraints: 84380
54.22/54.41 c #Conflicts: 58000 | #Constraints: 85380
54.22/54.41 c #Conflicts: 59000 | #Constraints: 86380
54.22/54.41 c #Conflicts: 60000 | #Constraints: 87380
54.22/54.41 c #Conflicts: 61000 | #Constraints: 88380
54.22/54.41 c INPROCESSING
54.22/54.41 c GARBAGE COLLECT
54.22/54.41 c rational objective 72.0312
64.00/64.28 c #Conflicts: 62000 | #Constraints: 84381
64.00/64.28 c #Conflicts: 63000 | #Constraints: 85381
64.00/64.28 c #Conflicts: 64000 | #Constraints: 86381
64.00/64.28 c #Conflicts: 65000 | #Constraints: 87381
64.00/64.28 c #Conflicts: 66000 | #Constraints: 88381
64.00/64.28 c INPROCESSING
64.00/64.28 c GARBAGE COLLECT
64.00/64.28 c #Conflicts: 67000 | #Constraints: 84184
64.00/64.28 c #Conflicts: 68000 | #Constraints: 85184
64.00/64.28 c #Conflicts: 69000 | #Constraints: 86184
64.00/64.28 c #Conflicts: 70000 | #Constraints: 87184
64.00/64.28 c #Conflicts: 71000 | #Constraints: 88184
64.00/64.28 c #Conflicts: 72000 | #Constraints: 89184
64.00/64.28 c INPROCESSING
64.00/64.28 c GARBAGE COLLECT
64.00/64.28 c rational objective 72.2344
74.97/75.27 c #Conflicts: 73000 | #Constraints: 84790
74.97/75.27 c #Conflicts: 74000 | #Constraints: 85790
74.97/75.27 c #Conflicts: 75000 | #Constraints: 86790
74.97/75.27 c #Conflicts: 76000 | #Constraints: 87790
74.97/75.27 c #Conflicts: 77000 | #Constraints: 88790
74.97/75.27 c #Conflicts: 78000 | #Constraints: 89790
74.97/75.27 c INPROCESSING
74.97/75.27 c GARBAGE COLLECT
74.97/75.27 c #Conflicts: 79000 | #Constraints: 85194
74.97/75.27 c #Conflicts: 80000 | #Constraints: 86194
74.97/75.27 c #Conflicts: 81000 | #Constraints: 87195
74.97/75.27 c #Conflicts: 82000 | #Constraints: 88195
74.97/75.27 c #Conflicts: 83000 | #Constraints: 89195
74.97/75.27 c #Conflicts: 84000 | #Constraints: 90195
74.97/75.27 c INPROCESSING
74.97/75.27 c GARBAGE COLLECT
74.97/75.27 c rational objective 72.2969
106.57/106.90 c #Conflicts: 85000 | #Constraints: 85396
106.57/106.90 c #Conflicts: 86000 | #Constraints: 86396
106.57/106.90 c #Conflicts: 87000 | #Constraints: 87396
106.57/106.90 c #Conflicts: 88000 | #Constraints: 88396
106.57/106.90 c #Conflicts: 89000 | #Constraints: 89396
106.57/106.90 c #Conflicts: 90000 | #Constraints: 90396
106.57/106.90 c INPROCESSING
106.57/106.90 c GARBAGE COLLECT
106.57/106.90 c #Conflicts: 91000 | #Constraints: 85385
106.57/106.90 c #Conflicts: 92000 | #Constraints: 86385
106.57/106.90 c #Conflicts: 93000 | #Constraints: 87385
106.57/106.90 c #Conflicts: 94000 | #Constraints: 88385
106.57/106.90 c #Conflicts: 95000 | #Constraints: 89385
106.57/106.90 c #Conflicts: 96000 | #Constraints: 90385
106.57/106.90 c INPROCESSING
106.57/106.90 c GARBAGE COLLECT
106.57/106.90 c #Conflicts: 97000 | #Constraints: 85186
106.57/106.90 c #Conflicts: 98000 | #Constraints: 86186
106.57/106.90 c #Conflicts: 99000 | #Constraints: 87187
106.57/106.90 c #Conflicts: 100000 | #Constraints: 88187
106.57/106.90 c #Conflicts: 101000 | #Constraints: 89187
106.57/106.90 c #Conflicts: 102000 | #Constraints: 90187
106.57/106.90 c #Conflicts: 103000 | #Constraints: 91187
106.57/106.90 c INPROCESSING
106.57/106.90 c GARBAGE COLLECT
106.57/106.90 c #Conflicts: 104000 | #Constraints: 85791
106.57/106.90 c #Conflicts: 105000 | #Constraints: 86791
106.57/106.90 c #Conflicts: 106000 | #Constraints: 87791
106.57/106.90 c #Conflicts: 107000 | #Constraints: 88791
106.57/106.90 c #Conflicts: 108000 | #Constraints: 89796
106.57/106.90 c #Conflicts: 109000 | #Constraints: 90808
106.57/106.90 c #Conflicts: 110000 | #Constraints: 91808
106.57/106.90 c INPROCESSING
106.57/106.90 c GARBAGE COLLECT
106.57/106.90 c #Conflicts: 111000 | #Constraints: 86200
106.57/106.90 c #Conflicts: 112000 | #Constraints: 87200
106.57/106.90 c #Conflicts: 113000 | #Constraints: 88201
106.57/106.90 c #Conflicts: 114000 | #Constraints: 89201
106.57/106.90 c #Conflicts: 115000 | #Constraints: 90201
106.57/106.90 c #Conflicts: 116000 | #Constraints: 91201
106.57/106.90 c #Conflicts: 117000 | #Constraints: 92209
106.57/106.90 c INPROCESSING
106.57/106.90 c GARBAGE COLLECT
106.57/106.90 c rational objective 72.4937
179.25/179.86 c #Conflicts: 118000 | #Constraints: 86408
179.25/179.86 c #Conflicts: 119000 | #Constraints: 87408
179.25/179.86 c #Conflicts: 120000 | #Constraints: 88408
179.25/179.86 c #Conflicts: 121000 | #Constraints: 89408
179.25/179.86 c #Conflicts: 122000 | #Constraints: 90408
179.25/179.86 c #Conflicts: 123000 | #Constraints: 91411
179.25/179.86 c #Conflicts: 124000 | #Constraints: 92412
179.25/179.86 c INPROCESSING
179.25/179.86 c GARBAGE COLLECT
179.25/179.86 c #Conflicts: 125000 | #Constraints: 86405
179.25/179.86 c #Conflicts: 126000 | #Constraints: 87405
179.25/179.86 c #Conflicts: 127000 | #Constraints: 88408
179.25/179.86 c #Conflicts: 128000 | #Constraints: 89410
179.25/179.86 c #Conflicts: 129000 | #Constraints: 90410
179.25/179.86 c #Conflicts: 130000 | #Constraints: 91410
179.25/179.86 c #Conflicts: 131000 | #Constraints: 92411
179.25/179.86 c INPROCESSING
179.25/179.86 c GARBAGE COLLECT
179.25/179.86 c #Conflicts: 132000 | #Constraints: 86204
179.25/179.86 c #Conflicts: 133000 | #Constraints: 87205
179.25/179.86 c #Conflicts: 134000 | #Constraints: 88206
179.25/179.86 c #Conflicts: 135000 | #Constraints: 89206
179.25/179.86 c #Conflicts: 136000 | #Constraints: 90206
179.25/179.86 c #Conflicts: 137000 | #Constraints: 91206
179.25/179.86 c #Conflicts: 138000 | #Constraints: 92207
179.25/179.86 c #Conflicts: 139000 | #Constraints: 93207
179.25/179.86 c INPROCESSING
179.25/179.86 c GARBAGE COLLECT
179.25/179.86 c #Conflicts: 140000 | #Constraints: 86812
179.25/179.86 c #Conflicts: 141000 | #Constraints: 87813
179.25/179.86 c #Conflicts: 142000 | #Constraints: 88813
179.25/179.86 c #Conflicts: 143000 | #Constraints: 89813
179.25/179.86 c #Conflicts: 144000 | #Constraints: 90814
179.25/179.86 c #Conflicts: 145000 | #Constraints: 91815
179.25/179.86 c #Conflicts: 146000 | #Constraints: 92815
179.25/179.86 c #Conflicts: 147000 | #Constraints: 93815
179.25/179.86 c INPROCESSING
179.25/179.86 c GARBAGE COLLECT
179.25/179.86 c #Conflicts: 148000 | #Constraints: 87223
179.25/179.86 c #Conflicts: 149000 | #Constraints: 88223
179.25/179.86 c #Conflicts: 150000 | #Constraints: 89223
179.25/179.86 c #Conflicts: 151000 | #Constraints: 90223
179.25/179.86 c #Conflicts: 152000 | #Constraints: 91223
179.25/179.86 c #Conflicts: 153000 | #Constraints: 92224
179.25/179.86 c #Conflicts: 154000 | #Constraints: 93224
179.25/179.86 c #Conflicts: 155000 | #Constraints: 94224
179.25/179.86 c INPROCESSING
179.25/179.86 c GARBAGE COLLECT
179.25/179.86 c #Conflicts: 156000 | #Constraints: 87404
179.25/179.86 c #Conflicts: 157000 | #Constraints: 88404
179.25/179.86 c #Conflicts: 158000 | #Constraints: 89404
179.25/179.86 c #Conflicts: 159000 | #Constraints: 90404
179.25/179.86 c #Conflicts: 160000 | #Constraints: 91405
179.25/179.86 c #Conflicts: 161000 | #Constraints: 92405
179.25/179.86 c #Conflicts: 162000 | #Constraints: 93405
179.25/179.86 c #Conflicts: 163000 | #Constraints: 94405
179.25/179.86 c INPROCESSING
179.25/179.86 c GARBAGE COLLECT
179.25/179.86 c #Conflicts: 164000 | #Constraints: 87406
179.25/179.86 c #Conflicts: 165000 | #Constraints: 88406
179.25/179.86 c #Conflicts: 166000 | #Constraints: 89406
179.25/179.86 c #Conflicts: 167000 | #Constraints: 90406
179.25/179.86 c #Conflicts: 168000 | #Constraints: 91406
179.25/179.86 c #Conflicts: 169000 | #Constraints: 92406
179.25/179.86 c #Conflicts: 170000 | #Constraints: 93407
179.25/179.86 c #Conflicts: 171000 | #Constraints: 94407
179.25/179.86 c INPROCESSING
179.25/179.86 c GARBAGE COLLECT
179.25/179.86 c #Conflicts: 172000 | #Constraints: 87201
179.25/179.86 c #Conflicts: 173000 | #Constraints: 88201
179.25/179.86 c #Conflicts: 174000 | #Constraints: 89202
179.25/179.86 c #Conflicts: 175000 | #Constraints: 90203
179.25/179.86 c #Conflicts: 176000 | #Constraints: 91203
179.25/179.86 c #Conflicts: 177000 | #Constraints: 92204
179.25/179.86 c #Conflicts: 178000 | #Constraints: 93204
179.25/179.86 c #Conflicts: 179000 | #Constraints: 94205
179.25/179.86 c #Conflicts: 180000 | #Constraints: 95205
179.25/179.86 c INPROCESSING
179.25/179.86 c GARBAGE COLLECT
179.25/179.86 c #Conflicts: 181000 | #Constraints: 87805
179.25/179.86 c #Conflicts: 182000 | #Constraints: 88805
179.25/179.86 c #Conflicts: 183000 | #Constraints: 89805
179.25/179.86 c #Conflicts: 184000 | #Constraints: 90805
179.25/179.86 c #Conflicts: 185000 | #Constraints: 91805
179.25/179.86 c #Conflicts: 186000 | #Constraints: 92805
179.25/179.86 c #Conflicts: 187000 | #Constraints: 93805
179.25/179.86 c #Conflicts: 188000 | #Constraints: 94805
179.25/179.86 c #Conflicts: 189000 | #Constraints: 95805
179.25/179.86 c INPROCESSING
179.25/179.86 c GARBAGE COLLECT
179.25/179.86 c #Conflicts: 190000 | #Constraints: 88216
179.25/179.86 c #Conflicts: 191000 | #Constraints: 89216
258.51/259.33 c #Conflicts: 192000 | #Constraints: 90220
258.51/259.33 c #Conflicts: 193000 | #Constraints: 91220
258.51/259.33 c #Conflicts: 194000 | #Constraints: 92220
258.51/259.33 c #Conflicts: 195000 | #Constraints: 93220
258.51/259.33 c #Conflicts: 196000 | #Constraints: 94220
258.51/259.33 c #Conflicts: 197000 | #Constraints: 95220
258.51/259.33 c #Conflicts: 198000 | #Constraints: 96220
258.51/259.33 c INPROCESSING
258.51/259.33 c GARBAGE COLLECT
258.51/259.33 c #Conflicts: 199000 | #Constraints: 88434
258.51/259.33 c #Conflicts: 200000 | #Constraints: 89434
258.51/259.33 c #Conflicts: 201000 | #Constraints: 90435
258.51/259.33 c #Conflicts: 202000 | #Constraints: 91438
258.51/259.33 c #Conflicts: 203000 | #Constraints: 92439
258.51/259.33 c #Conflicts: 204000 | #Constraints: 93439
258.51/259.33 c #Conflicts: 205000 | #Constraints: 94439
258.51/259.33 c #Conflicts: 206000 | #Constraints: 95440
258.51/259.33 c #Conflicts: 207000 | #Constraints: 96441
258.51/259.33 c INPROCESSING
258.51/259.33 c GARBAGE COLLECT
258.51/259.33 c #Conflicts: 208000 | #Constraints: 88423
258.51/259.33 c #Conflicts: 209000 | #Constraints: 89423
258.51/259.33 c #Conflicts: 210000 | #Constraints: 90423
258.51/259.33 c #Conflicts: 211000 | #Constraints: 91423
258.51/259.33 c #Conflicts: 212000 | #Constraints: 92423
258.51/259.33 c #Conflicts: 213000 | #Constraints: 93423
258.51/259.33 c #Conflicts: 214000 | #Constraints: 94423
258.51/259.33 c #Conflicts: 215000 | #Constraints: 95423
258.51/259.33 c #Conflicts: 216000 | #Constraints: 96424
258.51/259.33 c INPROCESSING
258.51/259.33 c GARBAGE COLLECT
258.51/259.33 c #Conflicts: 217000 | #Constraints: 88236
258.51/259.33 c #Conflicts: 218000 | #Constraints: 89236
258.51/259.33 c #Conflicts: 219000 | #Constraints: 90236
258.51/259.33 c #Conflicts: 220000 | #Constraints: 91236
258.51/259.33 c #Conflicts: 221000 | #Constraints: 92236
258.51/259.33 c #Conflicts: 222000 | #Constraints: 93236
258.51/259.33 c #Conflicts: 223000 | #Constraints: 94236
258.51/259.33 c #Conflicts: 224000 | #Constraints: 95236
258.51/259.33 c #Conflicts: 225000 | #Constraints: 96236
258.51/259.33 c #Conflicts: 226000 | #Constraints: 97236
258.51/259.33 c INPROCESSING
258.51/259.33 c GARBAGE COLLECT
258.51/259.33 c #Conflicts: 227000 | #Constraints: 88839
258.51/259.33 c #Conflicts: 228000 | #Constraints: 89839
258.51/259.33 c #Conflicts: 229000 | #Constraints: 90839
258.51/259.33 c #Conflicts: 230000 | #Constraints: 91839
258.51/259.33 c #Conflicts: 231000 | #Constraints: 92839
258.51/259.33 c #Conflicts: 232000 | #Constraints: 93839
258.51/259.33 c #Conflicts: 233000 | #Constraints: 94839
258.51/259.33 c #Conflicts: 234000 | #Constraints: 95839
258.51/259.33 c #Conflicts: 235000 | #Constraints: 96839
258.51/259.33 c #Conflicts: 236000 | #Constraints: 97839
258.51/259.33 c INPROCESSING
258.51/259.33 c GARBAGE COLLECT
258.51/259.33 c #Conflicts: 237000 | #Constraints: 89225
258.51/259.33 c #Conflicts: 238000 | #Constraints: 90225
258.51/259.33 c #Conflicts: 239000 | #Constraints: 91225
258.51/259.33 c #Conflicts: 240000 | #Constraints: 92225
258.51/259.33 c #Conflicts: 241000 | #Constraints: 93225
258.51/259.33 c #Conflicts: 242000 | #Constraints: 94225
258.51/259.33 c #Conflicts: 243000 | #Constraints: 95225
258.51/259.33 c #Conflicts: 244000 | #Constraints: 96225
258.51/259.33 c #Conflicts: 245000 | #Constraints: 97225
258.51/259.33 c #Conflicts: 246000 | #Constraints: 98225
258.51/259.33 c INPROCESSING
258.51/259.33 c GARBAGE COLLECT
258.51/259.33 c #Conflicts: 247000 | #Constraints: 89401
258.51/259.33 c #Conflicts: 248000 | #Constraints: 90401
258.51/259.33 c #Conflicts: 249000 | #Constraints: 91401
258.51/259.33 c #Conflicts: 250000 | #Constraints: 92401
258.51/259.33 c #Conflicts: 251000 | #Constraints: 93401
258.51/259.33 c #Conflicts: 252000 | #Constraints: 94401
258.51/259.33 c #Conflicts: 253000 | #Constraints: 95401
258.51/259.33 c #Conflicts: 254000 | #Constraints: 96401
258.51/259.33 c #Conflicts: 255000 | #Constraints: 97401
258.51/259.33 c #Conflicts: 256000 | #Constraints: 98401
258.51/259.33 c INPROCESSING
258.51/259.33 c GARBAGE COLLECT
258.51/259.33 c #Conflicts: 257000 | #Constraints: 89404
258.51/259.33 c #Conflicts: 258000 | #Constraints: 90404
258.51/259.33 c #Conflicts: 259000 | #Constraints: 91404
258.51/259.33 c #Conflicts: 260000 | #Constraints: 92404
258.51/259.33 c #Conflicts: 261000 | #Constraints: 93404
258.51/259.33 c #Conflicts: 262000 | #Constraints: 94404
258.51/259.33 c #Conflicts: 263000 | #Constraints: 95404
258.51/259.33 c #Conflicts: 264000 | #Constraints: 96404
258.51/259.33 c #Conflicts: 265000 | #Constraints: 97404
260.70/261.55 c #Conflicts: 266000 | #Constraints: 98404
260.70/261.55 c INPROCESSING
260.70/261.55 c GARBAGE COLLECT
260.70/261.55 c rational objective 72.5469
273.28/274.11 c #Conflicts: 267000 | #Constraints: 89208
273.28/274.11 c #Conflicts: 268000 | #Constraints: 90208
273.28/274.11 c #Conflicts: 269000 | #Constraints: 91208
273.28/274.11 c #Conflicts: 270000 | #Constraints: 92208
273.28/274.11 c #Conflicts: 271000 | #Constraints: 93208
273.28/274.11 c #Conflicts: 272000 | #Constraints: 94208
273.28/274.11 c #Conflicts: 273000 | #Constraints: 95208
273.28/274.11 c #Conflicts: 274000 | #Constraints: 96208
273.28/274.11 c #Conflicts: 275000 | #Constraints: 97208
273.28/274.11 c #Conflicts: 276000 | #Constraints: 98208
273.28/274.11 c #Conflicts: 277000 | #Constraints: 99208
273.28/274.11 c INPROCESSING
273.28/274.11 c GARBAGE COLLECT
273.28/274.11 c rational objective 72.6875
282.14/283.01 c #Conflicts: 278000 | #Constraints: 89793
282.14/283.01 c #Conflicts: 279000 | #Constraints: 90793
282.14/283.01 c #Conflicts: 280000 | #Constraints: 91793
282.14/283.01 c #Conflicts: 281000 | #Constraints: 92793
282.14/283.01 c #Conflicts: 282000 | #Constraints: 93793
282.14/283.01 c #Conflicts: 283000 | #Constraints: 94793
282.14/283.01 c #Conflicts: 284000 | #Constraints: 95793
282.14/283.01 c #Conflicts: 285000 | #Constraints: 96793
282.14/283.01 c #Conflicts: 286000 | #Constraints: 97793
282.14/283.01 c #Conflicts: 287000 | #Constraints: 98793
282.14/283.01 c #Conflicts: 288000 | #Constraints: 99793
282.14/283.01 c INPROCESSING
282.14/283.01 c GARBAGE COLLECT
282.14/283.01 c rational objective 72.7344
353.92/355.03 c #Conflicts: 289000 | #Constraints: 90204
353.92/355.03 c #Conflicts: 290000 | #Constraints: 91204
353.92/355.03 c #Conflicts: 291000 | #Constraints: 92204
353.92/355.03 c #Conflicts: 292000 | #Constraints: 93204
353.92/355.03 c #Conflicts: 293000 | #Constraints: 94204
353.92/355.03 c #Conflicts: 294000 | #Constraints: 95204
353.92/355.03 c #Conflicts: 295000 | #Constraints: 96204
353.92/355.03 c #Conflicts: 296000 | #Constraints: 97204
353.92/355.03 c #Conflicts: 297000 | #Constraints: 98204
353.92/355.03 c #Conflicts: 298000 | #Constraints: 99204
353.92/355.03 c #Conflicts: 299000 | #Constraints: 100204
353.92/355.03 c #Conflicts: 300000 | #Constraints: 101204
353.92/355.03 c #Conflicts: 301000 | #Constraints: 102204
353.92/355.03 c #Conflicts: 302000 | #Constraints: 103204
353.92/355.03 c #Conflicts: 303000 | #Constraints: 104204
353.92/355.03 c #Conflicts: 304000 | #Constraints: 105204
353.92/355.03 c #Conflicts: 305000 | #Constraints: 106204
353.92/355.03 c #Conflicts: 306000 | #Constraints: 107204
353.92/355.03 c #Conflicts: 307000 | #Constraints: 108204
353.92/355.03 c #Conflicts: 308000 | #Constraints: 109204
353.92/355.03 c #Conflicts: 309000 | #Constraints: 110204
353.92/355.03 c #Conflicts: 310000 | #Constraints: 111204
353.92/355.03 c #Conflicts: 311000 | #Constraints: 112204
353.92/355.03 c #Conflicts: 312000 | #Constraints: 113204
353.92/355.03 c #Conflicts: 313000 | #Constraints: 114204
353.92/355.03 c #Conflicts: 314000 | #Constraints: 115204
353.92/355.03 c #Conflicts: 315000 | #Constraints: 116204
353.92/355.03 c #Conflicts: 316000 | #Constraints: 117204
353.92/355.03 c #Conflicts: 317000 | #Constraints: 118204
353.92/355.03 c #Conflicts: 318000 | #Constraints: 119204
353.92/355.03 c #Conflicts: 319000 | #Constraints: 120204
353.92/355.03 c #Conflicts: 320000 | #Constraints: 121204
353.92/355.03 c #Conflicts: 321000 | #Constraints: 122204
353.92/355.03 c #Conflicts: 322000 | #Constraints: 123204
353.92/355.03 c #Conflicts: 323000 | #Constraints: 124204
353.92/355.03 c #Conflicts: 324000 | #Constraints: 125204
353.92/355.03 c #Conflicts: 325000 | #Constraints: 126204
353.92/355.03 c #Conflicts: 326000 | #Constraints: 127204
353.92/355.03 c #Conflicts: 327000 | #Constraints: 128204
353.92/355.03 c #Conflicts: 328000 | #Constraints: 129204
353.92/355.03 c #Conflicts: 329000 | #Constraints: 130204
353.92/355.03 c #Conflicts: 330000 | #Constraints: 131204
353.92/355.03 c #Conflicts: 331000 | #Constraints: 132204
353.92/355.03 c #Conflicts: 332000 | #Constraints: 133204
353.92/355.03 c #Conflicts: 333000 | #Constraints: 134204
353.92/355.03 c #Conflicts: 334000 | #Constraints: 135204
353.92/355.03 c #Conflicts: 335000 | #Constraints: 136204
353.92/355.03 c #Conflicts: 336000 | #Constraints: 137204
353.92/355.03 c #Conflicts: 337000 | #Constraints: 138204
353.92/355.03 c #Conflicts: 338000 | #Constraints: 139204
353.92/355.03 c #Conflicts: 339000 | #Constraints: 140204
353.92/355.03 c #Conflicts: 340000 | #Constraints: 141204
353.92/355.03 c INPROCESSING
353.92/355.03 c GARBAGE COLLECT
353.92/355.03 c rational objective 72.8281
383.11/384.34 c #Conflicts: 341000 | #Constraints: 110743
383.11/384.34 c #Conflicts: 342000 | #Constraints: 111743
383.11/384.34 c #Conflicts: 343000 | #Constraints: 112743
383.11/384.34 c #Conflicts: 344000 | #Constraints: 113744
383.11/384.34 c #Conflicts: 345000 | #Constraints: 114744
383.11/384.34 c #Conflicts: 346000 | #Constraints: 115744
383.11/384.34 c #Conflicts: 347000 | #Constraints: 116744
383.11/384.34 c #Conflicts: 348000 | #Constraints: 117744
383.11/384.34 c #Conflicts: 349000 | #Constraints: 118744
383.11/384.34 c #Conflicts: 350000 | #Constraints: 119744
383.11/384.34 c #Conflicts: 351000 | #Constraints: 120744
383.11/384.34 c #Conflicts: 352000 | #Constraints: 121744
383.11/384.34 c INPROCESSING
383.11/384.34 c GARBAGE COLLECT
383.11/384.34 c #Conflicts: 353000 | #Constraints: 100937
383.11/384.34 c #Conflicts: 354000 | #Constraints: 101938
383.11/384.34 c #Conflicts: 355000 | #Constraints: 102938
383.11/384.34 c #Conflicts: 356000 | #Constraints: 103938
383.11/384.34 c #Conflicts: 357000 | #Constraints: 104938
383.11/384.34 c #Conflicts: 358000 | #Constraints: 105938
383.11/384.34 c #Conflicts: 359000 | #Constraints: 106938
383.11/384.34 c #Conflicts: 360000 | #Constraints: 107938
383.11/384.34 c #Conflicts: 361000 | #Constraints: 108938
383.11/384.34 c #Conflicts: 362000 | #Constraints: 109938
383.11/384.34 c #Conflicts: 363000 | #Constraints: 110938
383.11/384.34 c #Conflicts: 364000 | #Constraints: 111938
383.11/384.34 c INPROCESSING
383.11/384.34 c GARBAGE COLLECT
383.11/384.34 c rational objective 72.9062
400.17/401.48 c #Conflicts: 365000 | #Constraints: 95892
400.17/401.48 c #Conflicts: 366000 | #Constraints: 96892
400.17/401.48 c #Conflicts: 367000 | #Constraints: 97892
400.17/401.48 c #Conflicts: 368000 | #Constraints: 98892
400.17/401.48 c #Conflicts: 369000 | #Constraints: 99892
400.17/401.48 c #Conflicts: 370000 | #Constraints: 100892
400.17/401.48 c #Conflicts: 371000 | #Constraints: 101892
400.17/401.48 c #Conflicts: 372000 | #Constraints: 102892
400.17/401.48 c #Conflicts: 373000 | #Constraints: 103892
400.17/401.48 c #Conflicts: 374000 | #Constraints: 104892
400.17/401.48 c #Conflicts: 375000 | #Constraints: 105892
400.17/401.48 c #Conflicts: 376000 | #Constraints: 106893
400.17/401.48 c #Conflicts: 377000 | #Constraints: 107893
400.17/401.48 c INPROCESSING
400.17/401.48 c GARBAGE COLLECT
400.17/401.48 c rational objective 72.9688
509.72/511.32 c #Conflicts: 378000 | #Constraints: 94118
509.72/511.32 c #Conflicts: 379000 | #Constraints: 95118
509.72/511.32 c #Conflicts: 380000 | #Constraints: 96118
509.72/511.32 c #Conflicts: 381000 | #Constraints: 97118
509.72/511.32 c #Conflicts: 382000 | #Constraints: 98118
509.72/511.32 c #Conflicts: 383000 | #Constraints: 99118
509.72/511.32 c #Conflicts: 384000 | #Constraints: 100118
509.72/511.32 c #Conflicts: 385000 | #Constraints: 101118
509.72/511.32 c #Conflicts: 386000 | #Constraints: 102118
509.72/511.32 c #Conflicts: 387000 | #Constraints: 103118
509.72/511.32 c #Conflicts: 388000 | #Constraints: 104118
509.72/511.32 c #Conflicts: 389000 | #Constraints: 105118
509.72/511.32 c #Conflicts: 390000 | #Constraints: 106118
509.72/511.32 c INPROCESSING
509.72/511.32 c GARBAGE COLLECT
509.72/511.32 c #Conflicts: 391000 | #Constraints: 93373
509.72/511.32 c #Conflicts: 392000 | #Constraints: 94373
509.72/511.32 c #Conflicts: 393000 | #Constraints: 95373
509.72/511.32 c #Conflicts: 394000 | #Constraints: 96373
509.72/511.32 c #Conflicts: 395000 | #Constraints: 97373
509.72/511.32 c #Conflicts: 396000 | #Constraints: 98373
509.72/511.32 c #Conflicts: 397000 | #Constraints: 99373
509.72/511.33 c #Conflicts: 398000 | #Constraints: 100374
509.72/511.33 c #Conflicts: 399000 | #Constraints: 101374
509.72/511.33 c #Conflicts: 400000 | #Constraints: 102374
509.72/511.33 c #Conflicts: 401000 | #Constraints: 103375
509.72/511.33 c #Conflicts: 402000 | #Constraints: 104375
509.72/511.33 c #Conflicts: 403000 | #Constraints: 105376
509.72/511.33 c #Conflicts: 404000 | #Constraints: 106376
509.72/511.33 c #Conflicts: 405000 | #Constraints: 107377
509.72/511.33 c #Conflicts: 406000 | #Constraints: 108377
509.72/511.33 c #Conflicts: 407000 | #Constraints: 109378
509.72/511.33 c #Conflicts: 408000 | #Constraints: 110378
509.72/511.33 c #Conflicts: 409000 | #Constraints: 111378
509.72/511.33 c #Conflicts: 410000 | #Constraints: 112378
509.72/511.33 c #Conflicts: 411000 | #Constraints: 113379
509.72/511.33 c #Conflicts: 412000 | #Constraints: 114380
509.72/511.33 c #Conflicts: 413000 | #Constraints: 115380
509.72/511.33 c #Conflicts: 414000 | #Constraints: 116380
509.72/511.33 c #Conflicts: 415000 | #Constraints: 117380
509.72/511.33 c #Conflicts: 416000 | #Constraints: 118380
509.72/511.33 c #Conflicts: 417000 | #Constraints: 119380
509.72/511.33 c #Conflicts: 418000 | #Constraints: 120382
509.72/511.33 c #Conflicts: 419000 | #Constraints: 121383
509.72/511.33 c #Conflicts: 420000 | #Constraints: 122388
509.72/511.33 c #Conflicts: 421000 | #Constraints: 123409
509.72/511.33 c #Conflicts: 422000 | #Constraints: 124410
509.72/511.33 c #Conflicts: 423000 | #Constraints: 125410
509.72/511.33 c #Conflicts: 424000 | #Constraints: 126412
509.72/511.33 c #Conflicts: 425000 | #Constraints: 127414
509.72/511.33 c #Conflicts: 426000 | #Constraints: 128415
509.72/511.33 c #Conflicts: 427000 | #Constraints: 129415
509.72/511.33 c #Conflicts: 428000 | #Constraints: 130417
509.72/511.33 c #Conflicts: 429000 | #Constraints: 131417
509.72/511.33 c #Conflicts: 430000 | #Constraints: 132417
509.72/511.33 c #Conflicts: 431000 | #Constraints: 133417
509.72/511.33 c #Conflicts: 432000 | #Constraints: 134417
509.72/511.33 c #Conflicts: 433000 | #Constraints: 135417
509.72/511.33 c #Conflicts: 434000 | #Constraints: 136417
509.72/511.33 c #Conflicts: 435000 | #Constraints: 137424
509.72/511.33 c #Conflicts: 436000 | #Constraints: 138424
509.72/511.33 c #Conflicts: 437000 | #Constraints: 139424
509.72/511.33 c #Conflicts: 438000 | #Constraints: 140425
509.72/511.33 c #Conflicts: 439000 | #Constraints: 141445
509.72/511.33 c #Conflicts: 440000 | #Constraints: 142490
509.72/511.33 c #Conflicts: 441000 | #Constraints: 143490
509.72/511.33 c #Conflicts: 442000 | #Constraints: 144490
509.72/511.33 c #Conflicts: 443000 | #Constraints: 145490
509.72/511.33 c #Conflicts: 444000 | #Constraints: 146490
509.72/511.33 c #Conflicts: 445000 | #Constraints: 147490
509.72/511.33 c #Conflicts: 446000 | #Constraints: 148490
509.72/511.33 c #Conflicts: 447000 | #Constraints: 149490
509.72/511.33 c #Conflicts: 448000 | #Constraints: 150491
509.72/511.33 c INPROCESSING
509.72/511.33 c GARBAGE COLLECT
509.72/511.33 c #Conflicts: 449000 | #Constraints: 115177
509.72/511.33 c #Conflicts: 450000 | #Constraints: 116177
509.72/511.33 c #Conflicts: 451000 | #Constraints: 117177
509.72/511.33 c #Conflicts: 452000 | #Constraints: 118177
509.72/511.33 c #Conflicts: 453000 | #Constraints: 119177
509.72/511.33 c #Conflicts: 454000 | #Constraints: 120177
509.72/511.33 c #Conflicts: 455000 | #Constraints: 121177
618.88/620.81 c #Conflicts: 456000 | #Constraints: 122177
618.88/620.81 c #Conflicts: 457000 | #Constraints: 123177
618.88/620.81 c #Conflicts: 458000 | #Constraints: 124177
618.88/620.81 c #Conflicts: 459000 | #Constraints: 125178
618.88/620.81 c #Conflicts: 460000 | #Constraints: 126178
618.88/620.81 c #Conflicts: 461000 | #Constraints: 127179
618.88/620.81 c #Conflicts: 462000 | #Constraints: 128180
618.88/620.81 c INPROCESSING
618.88/620.81 c GARBAGE COLLECT
618.88/620.81 c #Conflicts: 463000 | #Constraints: 104004
618.88/620.81 c #Conflicts: 464000 | #Constraints: 105005
618.88/620.81 c #Conflicts: 465000 | #Constraints: 106005
618.88/620.81 c #Conflicts: 466000 | #Constraints: 107005
618.88/620.81 c #Conflicts: 467000 | #Constraints: 108006
618.88/620.81 c #Conflicts: 468000 | #Constraints: 109007
618.88/620.81 c #Conflicts: 469000 | #Constraints: 110007
618.88/620.81 c #Conflicts: 470000 | #Constraints: 111007
618.88/620.81 c #Conflicts: 471000 | #Constraints: 112007
618.88/620.81 c #Conflicts: 472000 | #Constraints: 113007
618.88/620.81 c #Conflicts: 473000 | #Constraints: 114007
618.88/620.81 c #Conflicts: 474000 | #Constraints: 115007
618.88/620.81 c #Conflicts: 475000 | #Constraints: 116007
618.88/620.81 c #Conflicts: 476000 | #Constraints: 117007
618.88/620.81 c #Conflicts: 477000 | #Constraints: 118007
618.88/620.81 c INPROCESSING
618.88/620.81 c GARBAGE COLLECT
618.88/620.81 c #Conflicts: 478000 | #Constraints: 99339
618.88/620.81 c #Conflicts: 479000 | #Constraints: 100339
618.88/620.81 c #Conflicts: 480000 | #Constraints: 101339
618.88/620.81 c #Conflicts: 481000 | #Constraints: 102339
618.88/620.81 c #Conflicts: 482000 | #Constraints: 103340
618.88/620.81 c #Conflicts: 483000 | #Constraints: 104340
618.88/620.81 c #Conflicts: 484000 | #Constraints: 105340
618.88/620.81 c #Conflicts: 485000 | #Constraints: 106340
618.88/620.81 c #Conflicts: 486000 | #Constraints: 107340
618.88/620.81 c #Conflicts: 487000 | #Constraints: 108340
618.88/620.81 c #Conflicts: 488000 | #Constraints: 109340
618.88/620.81 c #Conflicts: 489000 | #Constraints: 110340
618.88/620.81 c #Conflicts: 490000 | #Constraints: 111340
618.88/620.81 c #Conflicts: 491000 | #Constraints: 112340
618.88/620.81 c INPROCESSING
618.88/620.81 c GARBAGE COLLECT
618.88/620.81 c #Conflicts: 492000 | #Constraints: 96304
618.88/620.81 c #Conflicts: 493000 | #Constraints: 97304
618.88/620.81 c #Conflicts: 494000 | #Constraints: 98304
618.88/620.81 c #Conflicts: 495000 | #Constraints: 99304
618.88/620.81 c #Conflicts: 496000 | #Constraints: 100304
618.88/620.81 c #Conflicts: 497000 | #Constraints: 101304
618.88/620.81 c #Conflicts: 498000 | #Constraints: 102304
618.88/620.81 c #Conflicts: 499000 | #Constraints: 103304
618.88/620.81 c #Conflicts: 500000 | #Constraints: 104304
618.88/620.81 c #Conflicts: 501000 | #Constraints: 105304
618.88/620.81 c #Conflicts: 502000 | #Constraints: 106304
618.88/620.81 c #Conflicts: 503000 | #Constraints: 107304
618.88/620.81 c #Conflicts: 504000 | #Constraints: 108304
618.88/620.81 c #Conflicts: 505000 | #Constraints: 109304
618.88/620.81 c #Conflicts: 506000 | #Constraints: 110304
618.88/620.81 c INPROCESSING
618.88/620.81 c GARBAGE COLLECT
618.88/620.81 c #Conflicts: 507000 | #Constraints: 95478
618.88/620.81 c #Conflicts: 508000 | #Constraints: 96478
618.88/620.81 c #Conflicts: 509000 | #Constraints: 97478
618.88/620.81 c #Conflicts: 510000 | #Constraints: 98478
618.88/620.81 c #Conflicts: 511000 | #Constraints: 99478
618.88/620.81 c #Conflicts: 512000 | #Constraints: 100478
618.88/620.81 c #Conflicts: 513000 | #Constraints: 101478
618.88/620.81 c #Conflicts: 514000 | #Constraints: 102478
618.88/620.81 c #Conflicts: 515000 | #Constraints: 103478
618.88/620.81 c #Conflicts: 516000 | #Constraints: 104478
618.88/620.81 c #Conflicts: 517000 | #Constraints: 105478
618.88/620.81 c #Conflicts: 518000 | #Constraints: 106478
618.88/620.81 c #Conflicts: 519000 | #Constraints: 107478
618.88/620.81 c #Conflicts: 520000 | #Constraints: 108478
618.88/620.81 c #Conflicts: 521000 | #Constraints: 109478
618.88/620.81 c #Conflicts: 522000 | #Constraints: 110478
618.88/620.81 c #Conflicts: 523000 | #Constraints: 111478
618.88/620.81 c #Conflicts: 524000 | #Constraints: 112478
618.88/620.81 c #Conflicts: 525000 | #Constraints: 113479
618.88/620.81 c #Conflicts: 526000 | #Constraints: 114479
618.88/620.81 c #Conflicts: 527000 | #Constraints: 115479
618.88/620.81 c #Conflicts: 528000 | #Constraints: 116479
618.88/620.81 c #Conflicts: 529000 | #Constraints: 117479
618.88/620.81 c #Conflicts: 530000 | #Constraints: 118479
618.88/620.81 c #Conflicts: 531000 | #Constraints: 119479
712.08/714.34 c #Conflicts: 532000 | #Constraints: 120479
712.08/714.34 c #Conflicts: 533000 | #Constraints: 121479
712.08/714.34 c #Conflicts: 534000 | #Constraints: 122479
712.08/714.34 c #Conflicts: 535000 | #Constraints: 123480
712.08/714.34 c #Conflicts: 536000 | #Constraints: 124480
712.08/714.34 c #Conflicts: 537000 | #Constraints: 125480
712.08/714.34 c #Conflicts: 538000 | #Constraints: 126480
712.08/714.34 c #Conflicts: 539000 | #Constraints: 127480
712.08/714.34 c #Conflicts: 540000 | #Constraints: 128480
712.08/714.34 c #Conflicts: 541000 | #Constraints: 129481
712.08/714.34 c #Conflicts: 542000 | #Constraints: 130481
712.08/714.34 c #Conflicts: 543000 | #Constraints: 131481
712.08/714.34 c #Conflicts: 544000 | #Constraints: 132482
712.08/714.34 c #Conflicts: 545000 | #Constraints: 133482
712.08/714.34 c #Conflicts: 546000 | #Constraints: 134483
712.08/714.34 c #Conflicts: 547000 | #Constraints: 135483
712.08/714.34 c #Conflicts: 548000 | #Constraints: 136484
712.08/714.34 c #Conflicts: 549000 | #Constraints: 137484
712.08/714.34 c #Conflicts: 550000 | #Constraints: 138484
712.08/714.34 c #Conflicts: 551000 | #Constraints: 139484
712.08/714.34 c #Conflicts: 552000 | #Constraints: 140484
712.08/714.34 c #Conflicts: 553000 | #Constraints: 141484
712.08/714.34 c #Conflicts: 554000 | #Constraints: 142484
712.08/714.34 c #Conflicts: 555000 | #Constraints: 143484
712.08/714.34 c #Conflicts: 556000 | #Constraints: 144484
712.08/714.34 c #Conflicts: 557000 | #Constraints: 145485
712.08/714.34 c #Conflicts: 558000 | #Constraints: 146485
712.08/714.34 c #Conflicts: 559000 | #Constraints: 147485
712.08/714.34 c #Conflicts: 560000 | #Constraints: 148486
712.08/714.34 c #Conflicts: 561000 | #Constraints: 149486
712.08/714.34 c #Conflicts: 562000 | #Constraints: 150486
712.08/714.34 c #Conflicts: 563000 | #Constraints: 151487
712.08/714.34 c #Conflicts: 564000 | #Constraints: 152487
712.08/714.34 c #Conflicts: 565000 | #Constraints: 153487
712.08/714.34 c #Conflicts: 566000 | #Constraints: 154487
712.08/714.34 c #Conflicts: 567000 | #Constraints: 155488
712.08/714.34 c #Conflicts: 568000 | #Constraints: 156488
712.08/714.34 c #Conflicts: 569000 | #Constraints: 157488
712.08/714.34 c #Conflicts: 570000 | #Constraints: 158488
712.08/714.34 c #Conflicts: 571000 | #Constraints: 159490
712.08/714.34 c INPROCESSING
712.08/714.34 c GARBAGE COLLECT
712.08/714.34 c #Conflicts: 572000 | #Constraints: 119963
712.08/714.34 c #Conflicts: 573000 | #Constraints: 120963
712.08/714.34 c #Conflicts: 574000 | #Constraints: 121964
712.08/714.34 c #Conflicts: 575000 | #Constraints: 122964
712.08/714.34 c #Conflicts: 576000 | #Constraints: 123964
712.08/714.34 c #Conflicts: 577000 | #Constraints: 124964
712.08/714.34 c #Conflicts: 578000 | #Constraints: 125964
712.08/714.34 c #Conflicts: 579000 | #Constraints: 126964
712.08/714.34 c #Conflicts: 580000 | #Constraints: 127964
712.08/714.34 c #Conflicts: 581000 | #Constraints: 128964
712.08/714.34 c #Conflicts: 582000 | #Constraints: 129964
712.08/714.34 c #Conflicts: 583000 | #Constraints: 130964
712.08/714.34 c #Conflicts: 584000 | #Constraints: 131965
712.08/714.34 c #Conflicts: 585000 | #Constraints: 132966
712.08/714.34 c #Conflicts: 586000 | #Constraints: 133966
712.08/714.34 c #Conflicts: 587000 | #Constraints: 134967
712.08/714.34 c INPROCESSING
712.08/714.34 c GARBAGE COLLECT
712.08/714.34 c rational objective 73.0078
817.95/820.58 c #Conflicts: 588000 | #Constraints: 107774
817.95/820.58 c #Conflicts: 589000 | #Constraints: 108774
817.95/820.58 c #Conflicts: 590000 | #Constraints: 109774
817.95/820.58 c #Conflicts: 591000 | #Constraints: 110774
817.95/820.58 c #Conflicts: 592000 | #Constraints: 111774
817.95/820.58 c #Conflicts: 593000 | #Constraints: 112774
817.95/820.58 c #Conflicts: 594000 | #Constraints: 113774
817.95/820.58 c #Conflicts: 595000 | #Constraints: 114774
817.95/820.58 c #Conflicts: 596000 | #Constraints: 115774
817.95/820.58 c #Conflicts: 597000 | #Constraints: 116774
817.95/820.58 c #Conflicts: 598000 | #Constraints: 117774
817.95/820.58 c #Conflicts: 599000 | #Constraints: 118774
817.95/820.58 c #Conflicts: 600000 | #Constraints: 119774
817.95/820.58 c #Conflicts: 601000 | #Constraints: 120774
817.95/820.58 c #Conflicts: 602000 | #Constraints: 121774
817.95/820.58 c #Conflicts: 603000 | #Constraints: 122774
817.95/820.58 c INPROCESSING
817.95/820.58 c GARBAGE COLLECT
817.95/820.58 c #Conflicts: 604000 | #Constraints: 101604
817.95/820.58 c #Conflicts: 605000 | #Constraints: 102604
817.95/820.58 c #Conflicts: 606000 | #Constraints: 103604
817.95/820.58 c #Conflicts: 607000 | #Constraints: 104604
817.95/820.58 c #Conflicts: 608000 | #Constraints: 105604
817.95/820.58 c #Conflicts: 609000 | #Constraints: 106604
817.95/820.58 c #Conflicts: 610000 | #Constraints: 107604
817.95/820.58 c #Conflicts: 611000 | #Constraints: 108604
817.95/820.58 c #Conflicts: 612000 | #Constraints: 109604
817.95/820.58 c #Conflicts: 613000 | #Constraints: 110604
817.95/820.58 c #Conflicts: 614000 | #Constraints: 111604
817.95/820.58 c #Conflicts: 615000 | #Constraints: 112604
817.95/820.58 c #Conflicts: 616000 | #Constraints: 113604
817.95/820.58 c #Conflicts: 617000 | #Constraints: 114604
817.95/820.58 c #Conflicts: 618000 | #Constraints: 115604
817.95/820.58 c #Conflicts: 619000 | #Constraints: 116604
817.95/820.58 c INPROCESSING
817.95/820.58 c GARBAGE COLLECT
817.95/820.58 c #Conflicts: 620000 | #Constraints: 98356
817.95/820.58 c #Conflicts: 621000 | #Constraints: 99356
817.95/820.58 c #Conflicts: 622000 | #Constraints: 100356
817.95/820.58 c #Conflicts: 623000 | #Constraints: 101356
817.95/820.58 c #Conflicts: 624000 | #Constraints: 102356
817.95/820.58 c #Conflicts: 625000 | #Constraints: 103356
817.95/820.58 c #Conflicts: 626000 | #Constraints: 104357
817.95/820.58 c #Conflicts: 627000 | #Constraints: 105357
817.95/820.58 c #Conflicts: 628000 | #Constraints: 106357
817.95/820.58 c #Conflicts: 629000 | #Constraints: 107357
817.95/820.58 c #Conflicts: 630000 | #Constraints: 108357
817.95/820.58 c #Conflicts: 631000 | #Constraints: 109357
817.95/820.58 c #Conflicts: 632000 | #Constraints: 110357
817.95/820.58 c #Conflicts: 633000 | #Constraints: 111357
817.95/820.58 c #Conflicts: 634000 | #Constraints: 112357
817.95/820.58 c #Conflicts: 635000 | #Constraints: 113357
817.95/820.58 c #Conflicts: 636000 | #Constraints: 114357
817.95/820.58 c #Conflicts: 637000 | #Constraints: 115357
817.95/820.58 c #Conflicts: 638000 | #Constraints: 116357
817.95/820.58 c #Conflicts: 639000 | #Constraints: 117357
817.95/820.58 c #Conflicts: 640000 | #Constraints: 118357
817.95/820.58 c #Conflicts: 641000 | #Constraints: 119357
817.95/820.58 c #Conflicts: 642000 | #Constraints: 120357
817.95/820.58 c #Conflicts: 643000 | #Constraints: 121357
817.95/820.58 c #Conflicts: 644000 | #Constraints: 122357
817.95/820.58 c #Conflicts: 645000 | #Constraints: 123357
817.95/820.58 c #Conflicts: 646000 | #Constraints: 124357
817.95/820.58 c #Conflicts: 647000 | #Constraints: 125357
817.95/820.58 c #Conflicts: 648000 | #Constraints: 126357
817.95/820.58 c #Conflicts: 649000 | #Constraints: 127357
817.95/820.58 c #Conflicts: 650000 | #Constraints: 128358
817.95/820.58 c #Conflicts: 651000 | #Constraints: 129359
817.95/820.58 c #Conflicts: 652000 | #Constraints: 130360
817.95/820.58 c #Conflicts: 653000 | #Constraints: 131360
817.95/820.58 c #Conflicts: 654000 | #Constraints: 132362
817.95/820.58 c #Conflicts: 655000 | #Constraints: 133363
817.95/820.58 c #Conflicts: 656000 | #Constraints: 134363
817.95/820.58 c #Conflicts: 657000 | #Constraints: 135363
817.95/820.58 c #Conflicts: 658000 | #Constraints: 136363
817.95/820.58 c #Conflicts: 659000 | #Constraints: 137364
817.95/820.58 c #Conflicts: 660000 | #Constraints: 138364
817.95/820.58 c #Conflicts: 661000 | #Constraints: 139364
817.95/820.58 c #Conflicts: 662000 | #Constraints: 140366
817.95/820.58 c #Conflicts: 663000 | #Constraints: 141368
817.95/820.58 c #Conflicts: 664000 | #Constraints: 142368
817.95/820.58 c #Conflicts: 665000 | #Constraints: 143368
864.49/867.21 c #Conflicts: 666000 | #Constraints: 144368
864.49/867.21 c #Conflicts: 667000 | #Constraints: 145368
864.49/867.21 c #Conflicts: 668000 | #Constraints: 146368
864.49/867.21 c #Conflicts: 669000 | #Constraints: 147369
864.49/867.21 c #Conflicts: 670000 | #Constraints: 148369
864.49/867.21 c #Conflicts: 671000 | #Constraints: 149369
864.49/867.21 c #Conflicts: 672000 | #Constraints: 150371
864.49/867.21 c #Conflicts: 673000 | #Constraints: 151371
864.49/867.21 c #Conflicts: 674000 | #Constraints: 152372
864.49/867.21 c #Conflicts: 675000 | #Constraints: 153372
864.49/867.21 c #Conflicts: 676000 | #Constraints: 154372
864.49/867.21 c #Conflicts: 677000 | #Constraints: 155373
864.49/867.21 c #Conflicts: 678000 | #Constraints: 156374
864.49/867.21 c #Conflicts: 679000 | #Constraints: 157374
864.49/867.21 c #Conflicts: 680000 | #Constraints: 158376
864.49/867.21 c #Conflicts: 681000 | #Constraints: 159377
864.49/867.21 c #Conflicts: 682000 | #Constraints: 160378
864.49/867.21 c #Conflicts: 683000 | #Constraints: 161379
864.49/867.21 c #Conflicts: 684000 | #Constraints: 162381
864.49/867.21 c #Conflicts: 685000 | #Constraints: 163382
864.49/867.21 c #Conflicts: 686000 | #Constraints: 164383
864.49/867.21 c #Conflicts: 687000 | #Constraints: 165384
864.49/867.21 c #Conflicts: 688000 | #Constraints: 166386
864.49/867.21 c #Conflicts: 689000 | #Constraints: 167386
864.49/867.21 c #Conflicts: 690000 | #Constraints: 168387
864.49/867.21 c INPROCESSING
864.49/867.21 c GARBAGE COLLECT
864.49/867.21 c rational objective 73.1369
961.40/964.41 c #Conflicts: 691000 | #Constraints: 124556
961.40/964.41 c #Conflicts: 692000 | #Constraints: 125557
961.40/964.41 c #Conflicts: 693000 | #Constraints: 126557
961.40/964.41 c #Conflicts: 694000 | #Constraints: 127557
961.40/964.41 c #Conflicts: 695000 | #Constraints: 128557
961.40/964.41 c #Conflicts: 696000 | #Constraints: 129557
961.40/964.41 c #Conflicts: 697000 | #Constraints: 130557
961.40/964.41 c #Conflicts: 698000 | #Constraints: 131557
961.40/964.41 c #Conflicts: 699000 | #Constraints: 132557
961.40/964.41 c #Conflicts: 700000 | #Constraints: 133557
961.40/964.41 c #Conflicts: 701000 | #Constraints: 134557
961.40/964.41 c #Conflicts: 702000 | #Constraints: 135557
961.40/964.41 c #Conflicts: 703000 | #Constraints: 136557
961.40/964.41 c #Conflicts: 704000 | #Constraints: 137557
961.40/964.41 c #Conflicts: 705000 | #Constraints: 138557
961.40/964.41 c #Conflicts: 706000 | #Constraints: 139557
961.40/964.41 c #Conflicts: 707000 | #Constraints: 140557
961.40/964.41 c INPROCESSING
961.40/964.41 c GARBAGE COLLECT
961.40/964.41 c #Conflicts: 708000 | #Constraints: 110332
961.40/964.41 c #Conflicts: 709000 | #Constraints: 111333
961.40/964.41 c #Conflicts: 710000 | #Constraints: 112333
961.40/964.41 c #Conflicts: 711000 | #Constraints: 113333
961.40/964.41 c #Conflicts: 712000 | #Constraints: 114333
961.40/964.41 c #Conflicts: 713000 | #Constraints: 115333
961.40/964.41 c #Conflicts: 714000 | #Constraints: 116333
961.40/964.41 c #Conflicts: 715000 | #Constraints: 117333
961.40/964.41 c #Conflicts: 716000 | #Constraints: 118333
961.40/964.41 c #Conflicts: 717000 | #Constraints: 119333
961.40/964.41 c #Conflicts: 718000 | #Constraints: 120333
961.40/964.41 c #Conflicts: 719000 | #Constraints: 121333
961.40/964.41 c #Conflicts: 720000 | #Constraints: 122333
961.40/964.41 c #Conflicts: 721000 | #Constraints: 123333
961.40/964.41 c #Conflicts: 722000 | #Constraints: 124333
961.40/964.41 c #Conflicts: 723000 | #Constraints: 125334
961.40/964.41 c #Conflicts: 724000 | #Constraints: 126334
961.40/964.41 c #Conflicts: 725000 | #Constraints: 127336
961.40/964.41 c INPROCESSING
961.40/964.41 c GARBAGE COLLECT
961.40/964.41 c #Conflicts: 726000 | #Constraints: 103811
961.40/964.41 c #Conflicts: 727000 | #Constraints: 104811
961.40/964.41 c #Conflicts: 728000 | #Constraints: 105812
961.40/964.41 c #Conflicts: 729000 | #Constraints: 106812
961.40/964.41 c #Conflicts: 730000 | #Constraints: 107812
961.40/964.41 c #Conflicts: 731000 | #Constraints: 108812
961.40/964.41 c #Conflicts: 732000 | #Constraints: 109812
961.40/964.41 c #Conflicts: 733000 | #Constraints: 110812
961.40/964.41 c #Conflicts: 734000 | #Constraints: 111812
961.40/964.41 c #Conflicts: 735000 | #Constraints: 112812
961.40/964.41 c #Conflicts: 736000 | #Constraints: 113814
961.40/964.41 c #Conflicts: 737000 | #Constraints: 114815
961.40/964.41 c #Conflicts: 738000 | #Constraints: 115815
961.40/964.41 c #Conflicts: 739000 | #Constraints: 116816
961.40/964.41 c #Conflicts: 740000 | #Constraints: 117816
961.40/964.41 c #Conflicts: 741000 | #Constraints: 118816
961.40/964.41 c #Conflicts: 742000 | #Constraints: 119816
961.40/964.41 c #Conflicts: 743000 | #Constraints: 120818
961.40/964.41 c INPROCESSING
961.40/964.41 c GARBAGE COLLECT
961.40/964.41 c rational objective 73.7929
1084.37/1087.72 c #Conflicts: 744000 | #Constraints: 100570
1084.37/1087.72 c #Conflicts: 745000 | #Constraints: 101571
1084.37/1087.72 c #Conflicts: 746000 | #Constraints: 102571
1084.37/1087.72 c #Conflicts: 747000 | #Constraints: 103571
1084.37/1087.72 c #Conflicts: 748000 | #Constraints: 104571
1084.37/1087.72 c #Conflicts: 749000 | #Constraints: 105571
1084.37/1087.72 c #Conflicts: 750000 | #Constraints: 106571
1084.37/1087.72 c #Conflicts: 751000 | #Constraints: 107571
1084.37/1087.72 c #Conflicts: 752000 | #Constraints: 108571
1084.37/1087.72 c #Conflicts: 753000 | #Constraints: 109571
1084.37/1087.72 c #Conflicts: 754000 | #Constraints: 110571
1084.37/1087.72 c #Conflicts: 755000 | #Constraints: 111571
1084.37/1087.72 c #Conflicts: 756000 | #Constraints: 112571
1084.37/1087.72 c #Conflicts: 757000 | #Constraints: 113571
1084.37/1087.72 c #Conflicts: 758000 | #Constraints: 114571
1084.37/1087.72 c #Conflicts: 759000 | #Constraints: 115571
1084.37/1087.72 c #Conflicts: 760000 | #Constraints: 116571
1084.37/1087.72 c #Conflicts: 761000 | #Constraints: 117571
1084.37/1087.72 c #Conflicts: 762000 | #Constraints: 118571
1084.37/1087.72 c #Conflicts: 763000 | #Constraints: 119571
1084.37/1087.72 c #Conflicts: 764000 | #Constraints: 120571
1084.37/1087.72 c #Conflicts: 765000 | #Constraints: 121571
1084.37/1087.72 c #Conflicts: 766000 | #Constraints: 122571
1084.37/1087.72 c #Conflicts: 767000 | #Constraints: 123572
1084.37/1087.72 c #Conflicts: 768000 | #Constraints: 124573
1084.37/1087.72 c #Conflicts: 769000 | #Constraints: 125573
1084.37/1087.72 c #Conflicts: 770000 | #Constraints: 126573
1084.37/1087.72 c #Conflicts: 771000 | #Constraints: 127573
1084.37/1087.72 c #Conflicts: 772000 | #Constraints: 128573
1084.37/1087.72 c #Conflicts: 773000 | #Constraints: 129573
1084.37/1087.72 c #Conflicts: 774000 | #Constraints: 130573
1084.37/1087.72 c #Conflicts: 775000 | #Constraints: 131574
1084.37/1087.72 c #Conflicts: 776000 | #Constraints: 132574
1084.37/1087.72 c #Conflicts: 777000 | #Constraints: 133574
1084.37/1087.72 c #Conflicts: 778000 | #Constraints: 134574
1084.37/1087.72 c #Conflicts: 779000 | #Constraints: 135574
1084.37/1087.72 c #Conflicts: 780000 | #Constraints: 136574
1084.37/1087.72 c #Conflicts: 781000 | #Constraints: 137575
1084.37/1087.72 c #Conflicts: 782000 | #Constraints: 138575
1084.37/1087.72 c #Conflicts: 783000 | #Constraints: 139575
1084.37/1087.72 c #Conflicts: 784000 | #Constraints: 140575
1084.37/1087.72 c #Conflicts: 785000 | #Constraints: 141576
1084.37/1087.72 c #Conflicts: 786000 | #Constraints: 142576
1084.37/1087.72 c #Conflicts: 787000 | #Constraints: 143576
1084.37/1087.72 c #Conflicts: 788000 | #Constraints: 144576
1084.37/1087.72 c #Conflicts: 789000 | #Constraints: 145577
1084.37/1087.72 c #Conflicts: 790000 | #Constraints: 146577
1084.37/1087.72 c #Conflicts: 791000 | #Constraints: 147577
1084.37/1087.72 c #Conflicts: 792000 | #Constraints: 148577
1084.37/1087.72 c #Conflicts: 793000 | #Constraints: 149578
1084.37/1087.72 c #Conflicts: 794000 | #Constraints: 150578
1084.37/1087.72 c #Conflicts: 795000 | #Constraints: 151578
1084.37/1087.72 c #Conflicts: 796000 | #Constraints: 152578
1084.37/1087.72 c #Conflicts: 797000 | #Constraints: 153578
1084.37/1087.72 c #Conflicts: 798000 | #Constraints: 154578
1084.37/1087.72 c #Conflicts: 799000 | #Constraints: 155578
1084.37/1087.72 c #Conflicts: 800000 | #Constraints: 156578
1084.37/1087.72 c #Conflicts: 801000 | #Constraints: 157578
1084.37/1087.72 c #Conflicts: 802000 | #Constraints: 158578
1084.37/1087.72 c #Conflicts: 803000 | #Constraints: 159578
1084.37/1087.72 c #Conflicts: 804000 | #Constraints: 160578
1084.37/1087.72 c #Conflicts: 805000 | #Constraints: 161578
1084.37/1087.72 c #Conflicts: 806000 | #Constraints: 162578
1084.37/1087.72 c #Conflicts: 807000 | #Constraints: 163578
1084.37/1087.72 c #Conflicts: 808000 | #Constraints: 164578
1084.37/1087.72 c #Conflicts: 809000 | #Constraints: 165578
1084.37/1087.72 c #Conflicts: 810000 | #Constraints: 166578
1084.37/1087.72 c #Conflicts: 811000 | #Constraints: 167578
1084.37/1087.72 c #Conflicts: 812000 | #Constraints: 168578
1084.37/1087.72 c #Conflicts: 813000 | #Constraints: 169578
1084.37/1087.72 c #Conflicts: 814000 | #Constraints: 170578
1084.37/1087.72 c #Conflicts: 815000 | #Constraints: 171578
1084.37/1087.72 c #Conflicts: 816000 | #Constraints: 172578
1084.37/1087.72 c #Conflicts: 817000 | #Constraints: 173579
1084.37/1087.72 c #Conflicts: 818000 | #Constraints: 174579
1084.37/1087.72 c #Conflicts: 819000 | #Constraints: 175579
1084.37/1087.72 c INPROCESSING
1084.37/1087.72 c GARBAGE COLLECT
1084.37/1087.72 c #Conflicts: 820000 | #Constraints: 128021
1084.37/1087.72 c #Conflicts: 821000 | #Constraints: 129021
1084.37/1087.72 c #Conflicts: 822000 | #Constraints: 130022
1200.00/1203.68 c #Conflicts: 823000 | #Constraints: 131022
1200.00/1203.68 c #Conflicts: 824000 | #Constraints: 132022
1200.00/1203.68 c #Conflicts: 825000 | #Constraints: 133022
1200.00/1203.68 c #Conflicts: 826000 | #Constraints: 134023
1200.00/1203.68 c #Conflicts: 827000 | #Constraints: 135024
1200.00/1203.68 c #Conflicts: 828000 | #Constraints: 136025
1200.00/1203.68 c #Conflicts: 829000 | #Constraints: 137027
1200.00/1203.68 c #Conflicts: 830000 | #Constraints: 138028
1200.00/1203.68 c #Conflicts: 831000 | #Constraints: 139030
1200.00/1203.68 c #Conflicts: 832000 | #Constraints: 140032
1200.00/1203.68 c #Conflicts: 833000 | #Constraints: 141034
1200.00/1203.68 c #Conflicts: 834000 | #Constraints: 142035
1200.00/1203.68 c #Conflicts: 835000 | #Constraints: 143035
1200.00/1203.68 c #Conflicts: 836000 | #Constraints: 144035
1200.00/1203.68 c #Conflicts: 837000 | #Constraints: 145035
1200.00/1203.68 c #Conflicts: 838000 | #Constraints: 146035
1200.00/1203.68 c INPROCESSING
1200.00/1203.68 c GARBAGE COLLECT
1200.00/1203.68 c #Conflicts: 839000 | #Constraints: 113104
1200.00/1203.68 c #Conflicts: 840000 | #Constraints: 114104
1200.00/1203.68 c #Conflicts: 841000 | #Constraints: 115104
1200.00/1203.68 c #Conflicts: 842000 | #Constraints: 116104
1200.00/1203.68 c #Conflicts: 843000 | #Constraints: 117104
1200.00/1203.68 c #Conflicts: 844000 | #Constraints: 118104
1200.00/1203.68 c #Conflicts: 845000 | #Constraints: 119104
1200.00/1203.68 c #Conflicts: 846000 | #Constraints: 120105
1200.00/1203.68 c #Conflicts: 847000 | #Constraints: 121105
1200.00/1203.68 c #Conflicts: 848000 | #Constraints: 122105
1200.00/1203.68 c #Conflicts: 849000 | #Constraints: 123105
1200.00/1203.68 c #Conflicts: 850000 | #Constraints: 124105
1200.00/1203.68 c #Conflicts: 851000 | #Constraints: 125105
1200.00/1203.68 c #Conflicts: 852000 | #Constraints: 126106
1200.00/1203.68 c #Conflicts: 853000 | #Constraints: 127107
1200.00/1203.68 c #Conflicts: 854000 | #Constraints: 128107
1200.00/1203.68 c #Conflicts: 855000 | #Constraints: 129107
1200.00/1203.68 c #Conflicts: 856000 | #Constraints: 130107
1200.00/1203.68 c #Conflicts: 857000 | #Constraints: 131107
1200.00/1203.68 c #Conflicts: 858000 | #Constraints: 132107
1200.00/1203.68 c INPROCESSING
1200.00/1203.68 c GARBAGE COLLECT
1200.00/1203.68 c #Conflicts: 859000 | #Constraints: 106416
1200.00/1203.68 c #Conflicts: 860000 | #Constraints: 107416
1200.00/1203.68 c #Conflicts: 861000 | #Constraints: 108416
1200.00/1203.68 c #Conflicts: 862000 | #Constraints: 109416
1200.00/1203.68 c #Conflicts: 863000 | #Constraints: 110416
1200.00/1203.68 c #Conflicts: 864000 | #Constraints: 111416
1200.00/1203.68 c #Conflicts: 865000 | #Constraints: 112416
1200.00/1203.68 c #Conflicts: 866000 | #Constraints: 113416
1200.00/1203.68 c #Conflicts: 867000 | #Constraints: 114416
1200.00/1203.68 c #Conflicts: 868000 | #Constraints: 115416
1200.00/1203.68 c #Conflicts: 869000 | #Constraints: 116417
1200.00/1203.68 c #Conflicts: 870000 | #Constraints: 117417
1200.00/1203.68 c #Conflicts: 871000 | #Constraints: 118417
1200.00/1203.68 c #Conflicts: 872000 | #Constraints: 119417
1200.00/1203.68 c #Conflicts: 873000 | #Constraints: 120417
1200.00/1203.68 c #Conflicts: 874000 | #Constraints: 121417
1200.00/1203.68 c #Conflicts: 875000 | #Constraints: 122417
1200.00/1203.68 c #Conflicts: 876000 | #Constraints: 123417
1200.00/1203.68 c #Conflicts: 877000 | #Constraints: 124417
1200.00/1203.68 c INPROCESSING
1200.00/1203.68 c GARBAGE COLLECT
1200.00/1203.68 c #Conflicts: 878000 | #Constraints: 102182
1200.00/1203.68 c #Conflicts: 879000 | #Constraints: 103182
1200.00/1203.68 c #Conflicts: 880000 | #Constraints: 104182
1200.00/1203.68 c #Conflicts: 881000 | #Constraints: 105182
1200.00/1203.68 c #Conflicts: 882000 | #Constraints: 106182
1200.00/1203.68 c #Conflicts: 883000 | #Constraints: 107182
1200.00/1203.68 c #Conflicts: 884000 | #Constraints: 108183
1200.00/1203.68 c #Conflicts: 885000 | #Constraints: 109184
1200.00/1203.68 c #Conflicts: 886000 | #Constraints: 110184
1200.00/1203.68 c #Conflicts: 887000 | #Constraints: 111185
1200.00/1203.68 c #Conflicts: 888000 | #Constraints: 112185
1200.00/1203.68 c #Conflicts: 889000 | #Constraints: 113186
1200.00/1203.68 c #Conflicts: 890000 | #Constraints: 114186
1200.00/1203.68 c #Conflicts: 891000 | #Constraints: 115187
1200.00/1203.68 c #Conflicts: 892000 | #Constraints: 116188
1200.00/1203.68 c #Conflicts: 893000 | #Constraints: 117188
1200.00/1203.68 c #Conflicts: 894000 | #Constraints: 118189
1200.00/1203.68 c #Conflicts: 895000 | #Constraints: 119190
1200.00/1203.68 c #Conflicts: 896000 | #Constraints: 120192
1200.00/1203.68 c #Conflicts: 897000 | #Constraints: 121192
1200.00/1203.68 c #Conflicts: 898000 | #Constraints: 122192
1348.04/1352.04 c #Conflicts: 899000 | #Constraints: 123192
1348.04/1352.04 c #Conflicts: 900000 | #Constraints: 124192
1348.04/1352.04 c #Conflicts: 901000 | #Constraints: 125192
1348.04/1352.04 c #Conflicts: 902000 | #Constraints: 126192
1348.04/1352.04 c #Conflicts: 903000 | #Constraints: 127192
1348.04/1352.04 c #Conflicts: 904000 | #Constraints: 128192
1348.04/1352.04 c #Conflicts: 905000 | #Constraints: 129192
1348.04/1352.04 c #Conflicts: 906000 | #Constraints: 130192
1348.04/1352.04 c #Conflicts: 907000 | #Constraints: 131192
1348.04/1352.04 c #Conflicts: 908000 | #Constraints: 132192
1348.04/1352.04 c #Conflicts: 909000 | #Constraints: 133192
1348.04/1352.04 c #Conflicts: 910000 | #Constraints: 134192
1348.04/1352.04 c #Conflicts: 911000 | #Constraints: 135192
1348.04/1352.04 c #Conflicts: 912000 | #Constraints: 136192
1348.04/1352.04 c #Conflicts: 913000 | #Constraints: 137193
1348.04/1352.04 c #Conflicts: 914000 | #Constraints: 138193
1348.04/1352.04 c #Conflicts: 915000 | #Constraints: 139194
1348.04/1352.04 c #Conflicts: 916000 | #Constraints: 140194
1348.04/1352.04 c #Conflicts: 917000 | #Constraints: 141194
1348.04/1352.04 c #Conflicts: 918000 | #Constraints: 142194
1348.04/1352.04 c #Conflicts: 919000 | #Constraints: 143194
1348.04/1352.04 c #Conflicts: 920000 | #Constraints: 144195
1348.04/1352.04 c #Conflicts: 921000 | #Constraints: 145195
1348.04/1352.04 c #Conflicts: 922000 | #Constraints: 146195
1348.04/1352.04 c #Conflicts: 923000 | #Constraints: 147195
1348.04/1352.04 c #Conflicts: 924000 | #Constraints: 148195
1348.04/1352.04 c #Conflicts: 925000 | #Constraints: 149195
1348.04/1352.04 c #Conflicts: 926000 | #Constraints: 150195
1348.04/1352.04 c #Conflicts: 927000 | #Constraints: 151196
1348.04/1352.04 c #Conflicts: 928000 | #Constraints: 152196
1348.04/1352.04 c #Conflicts: 929000 | #Constraints: 153196
1348.04/1352.04 c #Conflicts: 930000 | #Constraints: 154196
1348.04/1352.04 c #Conflicts: 931000 | #Constraints: 155196
1348.04/1352.04 c #Conflicts: 932000 | #Constraints: 156196
1348.04/1352.04 c #Conflicts: 933000 | #Constraints: 157196
1348.04/1352.04 c #Conflicts: 934000 | #Constraints: 158196
1348.04/1352.04 c #Conflicts: 935000 | #Constraints: 159196
1348.04/1352.04 c #Conflicts: 936000 | #Constraints: 160197
1348.04/1352.04 c #Conflicts: 937000 | #Constraints: 161197
1348.04/1352.04 c #Conflicts: 938000 | #Constraints: 162197
1348.04/1352.04 c #Conflicts: 939000 | #Constraints: 163197
1348.04/1352.04 c #Conflicts: 940000 | #Constraints: 164197
1348.04/1352.04 c #Conflicts: 941000 | #Constraints: 165197
1348.04/1352.04 c #Conflicts: 942000 | #Constraints: 166197
1348.04/1352.04 c #Conflicts: 943000 | #Constraints: 167197
1348.04/1352.04 c #Conflicts: 944000 | #Constraints: 168197
1348.04/1352.04 c #Conflicts: 945000 | #Constraints: 169197
1348.04/1352.04 c #Conflicts: 946000 | #Constraints: 170197
1348.04/1352.04 c #Conflicts: 947000 | #Constraints: 171197
1348.04/1352.04 c #Conflicts: 948000 | #Constraints: 172199
1348.04/1352.04 c #Conflicts: 949000 | #Constraints: 173199
1348.04/1352.04 c #Conflicts: 950000 | #Constraints: 174199
1348.04/1352.04 c #Conflicts: 951000 | #Constraints: 175199
1348.04/1352.04 c #Conflicts: 952000 | #Constraints: 176199
1348.04/1352.04 c #Conflicts: 953000 | #Constraints: 177200
1348.04/1352.04 c #Conflicts: 954000 | #Constraints: 178200
1348.04/1352.04 c #Conflicts: 955000 | #Constraints: 179200
1348.04/1352.04 c #Conflicts: 956000 | #Constraints: 180200
1348.04/1352.04 c #Conflicts: 957000 | #Constraints: 181200
1348.04/1352.04 c #Conflicts: 958000 | #Constraints: 182200
1348.04/1352.04 c INPROCESSING
1348.04/1352.04 c GARBAGE COLLECT
1348.04/1352.04 c #Conflicts: 959000 | #Constraints: 131026
1348.04/1352.04 c #Conflicts: 960000 | #Constraints: 132026
1348.04/1352.04 c #Conflicts: 961000 | #Constraints: 133027
1348.04/1352.04 c #Conflicts: 962000 | #Constraints: 134027
1348.04/1352.04 c #Conflicts: 963000 | #Constraints: 135027
1348.04/1352.04 c #Conflicts: 964000 | #Constraints: 136027
1348.04/1352.04 c #Conflicts: 965000 | #Constraints: 137027
1348.04/1352.04 c #Conflicts: 966000 | #Constraints: 138027
1348.04/1352.04 c #Conflicts: 967000 | #Constraints: 139027
1348.04/1352.04 c #Conflicts: 968000 | #Constraints: 140027
1348.04/1352.04 c #Conflicts: 969000 | #Constraints: 141027
1348.04/1352.04 c #Conflicts: 970000 | #Constraints: 142027
1348.04/1352.04 c #Conflicts: 971000 | #Constraints: 143027
1348.04/1352.04 c #Conflicts: 972000 | #Constraints: 144027
1348.04/1352.04 c #Conflicts: 973000 | #Constraints: 145027
1348.04/1352.04 c #Conflicts: 974000 | #Constraints: 146028
1348.04/1352.04 c #Conflicts: 975000 | #Constraints: 147028
1348.04/1352.04 c #Conflicts: 976000 | #Constraints: 148028
1348.04/1352.04 c #Conflicts: 977000 | #Constraints: 149028
1498.76/1503.18 c #Conflicts: 978000 | #Constraints: 150029
1498.76/1503.18 c #Conflicts: 979000 | #Constraints: 151029
1498.76/1503.18 c INPROCESSING
1498.76/1503.18 c GARBAGE COLLECT
1498.76/1503.18 c #Conflicts: 980000 | #Constraints: 115487
1498.76/1503.18 c #Conflicts: 981000 | #Constraints: 116487
1498.76/1503.18 c #Conflicts: 982000 | #Constraints: 117487
1498.76/1503.18 c #Conflicts: 983000 | #Constraints: 118488
1498.76/1503.18 c #Conflicts: 984000 | #Constraints: 119488
1498.76/1503.18 c #Conflicts: 985000 | #Constraints: 120488
1498.76/1503.18 c #Conflicts: 986000 | #Constraints: 121488
1498.76/1503.18 c #Conflicts: 987000 | #Constraints: 122488
1498.76/1503.18 c #Conflicts: 988000 | #Constraints: 123488
1498.76/1503.18 c #Conflicts: 989000 | #Constraints: 124488
1498.76/1503.18 c #Conflicts: 990000 | #Constraints: 125488
1498.76/1503.18 c #Conflicts: 991000 | #Constraints: 126488
1498.76/1503.18 c #Conflicts: 992000 | #Constraints: 127488
1498.76/1503.18 c #Conflicts: 993000 | #Constraints: 128488
1498.76/1503.18 c #Conflicts: 994000 | #Constraints: 129488
1498.76/1503.18 c #Conflicts: 995000 | #Constraints: 130488
1498.76/1503.18 c #Conflicts: 996000 | #Constraints: 131488
1498.76/1503.18 c #Conflicts: 997000 | #Constraints: 132488
1498.76/1503.18 c #Conflicts: 998000 | #Constraints: 133489
1498.76/1503.18 c #Conflicts: 999000 | #Constraints: 134489
1498.76/1503.18 c #Conflicts: 1000000 | #Constraints: 135489
1498.76/1503.18 c #Conflicts: 1001000 | #Constraints: 136489
1498.76/1503.18 c INPROCESSING
1498.76/1503.18 c GARBAGE COLLECT
1498.76/1503.18 c #Conflicts: 1002000 | #Constraints: 108595
1498.76/1503.18 c #Conflicts: 1003000 | #Constraints: 109595
1498.76/1503.18 c #Conflicts: 1004000 | #Constraints: 110595
1498.76/1503.18 c #Conflicts: 1005000 | #Constraints: 111595
1498.76/1503.18 c #Conflicts: 1006000 | #Constraints: 112595
1498.76/1503.18 c #Conflicts: 1007000 | #Constraints: 113595
1498.76/1503.18 c #Conflicts: 1008000 | #Constraints: 114595
1498.76/1503.18 c #Conflicts: 1009000 | #Constraints: 115595
1498.76/1503.18 c #Conflicts: 1010000 | #Constraints: 116595
1498.76/1503.18 c #Conflicts: 1011000 | #Constraints: 117595
1498.76/1503.18 c #Conflicts: 1012000 | #Constraints: 118595
1498.76/1503.18 c #Conflicts: 1013000 | #Constraints: 119595
1498.76/1503.18 c #Conflicts: 1014000 | #Constraints: 120596
1498.76/1503.18 c #Conflicts: 1015000 | #Constraints: 121596
1498.76/1503.18 c #Conflicts: 1016000 | #Constraints: 122596
1498.76/1503.18 c #Conflicts: 1017000 | #Constraints: 123596
1498.76/1503.18 c #Conflicts: 1018000 | #Constraints: 124596
1498.76/1503.18 c #Conflicts: 1019000 | #Constraints: 125598
1498.76/1503.18 c #Conflicts: 1020000 | #Constraints: 126598
1498.76/1503.18 c #Conflicts: 1021000 | #Constraints: 127598
1498.76/1503.18 c #Conflicts: 1022000 | #Constraints: 128598
1498.76/1503.18 c INPROCESSING
1498.76/1503.18 c GARBAGE COLLECT
1498.76/1503.18 c #Conflicts: 1023000 | #Constraints: 104446
1498.76/1503.18 c #Conflicts: 1024000 | #Constraints: 105446
1498.76/1503.18 c #Conflicts: 1025000 | #Constraints: 106446
1498.76/1503.18 c #Conflicts: 1026000 | #Constraints: 107446
1498.76/1503.18 c #Conflicts: 1027000 | #Constraints: 108446
1498.76/1503.18 c #Conflicts: 1028000 | #Constraints: 109446
1498.76/1503.18 c #Conflicts: 1029000 | #Constraints: 110446
1498.76/1503.18 c #Conflicts: 1030000 | #Constraints: 111446
1498.76/1503.18 c #Conflicts: 1031000 | #Constraints: 112446
1498.76/1503.18 c #Conflicts: 1032000 | #Constraints: 113446
1498.76/1503.18 c #Conflicts: 1033000 | #Constraints: 114446
1498.76/1503.18 c #Conflicts: 1034000 | #Constraints: 115446
1498.76/1503.18 c #Conflicts: 1035000 | #Constraints: 116446
1498.76/1503.18 c #Conflicts: 1036000 | #Constraints: 117446
1498.76/1503.18 c #Conflicts: 1037000 | #Constraints: 118446
1498.76/1503.18 c #Conflicts: 1038000 | #Constraints: 119446
1498.76/1503.18 c #Conflicts: 1039000 | #Constraints: 120446
1498.76/1503.18 c #Conflicts: 1040000 | #Constraints: 121446
1498.76/1503.18 c #Conflicts: 1041000 | #Constraints: 122446
1498.76/1503.18 c #Conflicts: 1042000 | #Constraints: 123446
1498.76/1503.18 c #Conflicts: 1043000 | #Constraints: 124447
1498.76/1503.18 c #Conflicts: 1044000 | #Constraints: 125447
1498.76/1503.18 c #Conflicts: 1045000 | #Constraints: 126447
1498.76/1503.18 c #Conflicts: 1046000 | #Constraints: 127447
1498.76/1503.18 c #Conflicts: 1047000 | #Constraints: 128447
1498.76/1503.18 c #Conflicts: 1048000 | #Constraints: 129447
1498.76/1503.18 c #Conflicts: 1049000 | #Constraints: 130447
1498.76/1503.18 c #Conflicts: 1050000 | #Constraints: 131447
1498.76/1503.18 c #Conflicts: 1051000 | #Constraints: 132447
1498.76/1503.18 c #Conflicts: 1052000 | #Constraints: 133447
1498.76/1503.18 c #Conflicts: 1053000 | #Constraints: 134447
1721.98/1726.99 c #Conflicts: 1054000 | #Constraints: 135447
1721.98/1726.99 c #Conflicts: 1055000 | #Constraints: 136447
1721.98/1726.99 c #Conflicts: 1056000 | #Constraints: 137447
1721.98/1726.99 c #Conflicts: 1057000 | #Constraints: 138447
1721.98/1726.99 c #Conflicts: 1058000 | #Constraints: 139448
1721.98/1726.99 c #Conflicts: 1059000 | #Constraints: 140449
1721.98/1726.99 c #Conflicts: 1060000 | #Constraints: 141450
1721.98/1726.99 c #Conflicts: 1061000 | #Constraints: 142451
1721.98/1726.99 c #Conflicts: 1062000 | #Constraints: 143452
1721.98/1726.99 c #Conflicts: 1063000 | #Constraints: 144452
1721.98/1726.99 c #Conflicts: 1064000 | #Constraints: 145453
1721.98/1726.99 c #Conflicts: 1065000 | #Constraints: 146454
1721.98/1726.99 c #Conflicts: 1066000 | #Constraints: 147456
1721.98/1726.99 c #Conflicts: 1067000 | #Constraints: 148456
1721.98/1726.99 c #Conflicts: 1068000 | #Constraints: 149456
1721.98/1726.99 c #Conflicts: 1069000 | #Constraints: 150456
1721.98/1726.99 c #Conflicts: 1070000 | #Constraints: 151456
1721.98/1726.99 c #Conflicts: 1071000 | #Constraints: 152457
1721.98/1726.99 c #Conflicts: 1072000 | #Constraints: 153458
1721.98/1726.99 c #Conflicts: 1073000 | #Constraints: 154458
1721.98/1726.99 c #Conflicts: 1074000 | #Constraints: 155459
1721.98/1726.99 c #Conflicts: 1075000 | #Constraints: 156460
1721.98/1726.99 c #Conflicts: 1076000 | #Constraints: 157460
1721.98/1726.99 c #Conflicts: 1077000 | #Constraints: 158460
1721.98/1726.99 c #Conflicts: 1078000 | #Constraints: 159460
1721.98/1726.99 c #Conflicts: 1079000 | #Constraints: 160460
1721.98/1726.99 c #Conflicts: 1080000 | #Constraints: 161460
1721.98/1726.99 c #Conflicts: 1081000 | #Constraints: 162461
1721.98/1726.99 c #Conflicts: 1082000 | #Constraints: 163461
1721.98/1726.99 c #Conflicts: 1083000 | #Constraints: 164461
1721.98/1726.99 c #Conflicts: 1084000 | #Constraints: 165461
1721.98/1726.99 c #Conflicts: 1085000 | #Constraints: 166461
1721.98/1726.99 c #Conflicts: 1086000 | #Constraints: 167461
1721.98/1726.99 c #Conflicts: 1087000 | #Constraints: 168461
1721.98/1726.99 c #Conflicts: 1088000 | #Constraints: 169461
1721.98/1726.99 c #Conflicts: 1089000 | #Constraints: 170461
1721.98/1726.99 c #Conflicts: 1090000 | #Constraints: 171461
1721.98/1726.99 c #Conflicts: 1091000 | #Constraints: 172461
1721.98/1726.99 c #Conflicts: 1092000 | #Constraints: 173461
1721.98/1726.99 c #Conflicts: 1093000 | #Constraints: 174462
1721.98/1726.99 c #Conflicts: 1094000 | #Constraints: 175462
1721.98/1726.99 c #Conflicts: 1095000 | #Constraints: 176462
1721.98/1726.99 c #Conflicts: 1096000 | #Constraints: 177462
1721.98/1726.99 c #Conflicts: 1097000 | #Constraints: 178462
1721.98/1726.99 c #Conflicts: 1098000 | #Constraints: 179462
1721.98/1726.99 c #Conflicts: 1099000 | #Constraints: 180462
1721.98/1726.99 c #Conflicts: 1100000 | #Constraints: 181463
1721.98/1726.99 c #Conflicts: 1101000 | #Constraints: 182463
1721.98/1726.99 c #Conflicts: 1102000 | #Constraints: 183463
1721.98/1726.99 c #Conflicts: 1103000 | #Constraints: 184466
1721.98/1726.99 c #Conflicts: 1104000 | #Constraints: 185466
1721.98/1726.99 c #Conflicts: 1105000 | #Constraints: 186466
1721.98/1726.99 c #Conflicts: 1106000 | #Constraints: 187466
1721.98/1726.99 c #Conflicts: 1107000 | #Constraints: 188466
1721.98/1726.99 c #Conflicts: 1108000 | #Constraints: 189466
1721.98/1726.99 c INPROCESSING
1721.98/1726.99 c GARBAGE COLLECT
1721.98/1726.99 c #Conflicts: 1109000 | #Constraints: 134686
1721.98/1726.99 c #Conflicts: 1110000 | #Constraints: 135686
1721.98/1726.99 c #Conflicts: 1111000 | #Constraints: 136686
1721.98/1726.99 c #Conflicts: 1112000 | #Constraints: 137686
1721.98/1726.99 c #Conflicts: 1113000 | #Constraints: 138686
1721.98/1726.99 c #Conflicts: 1114000 | #Constraints: 139686
1721.98/1726.99 c #Conflicts: 1115000 | #Constraints: 140686
1721.98/1726.99 c #Conflicts: 1116000 | #Constraints: 141686
1721.98/1726.99 c #Conflicts: 1117000 | #Constraints: 142686
1721.98/1726.99 c #Conflicts: 1118000 | #Constraints: 143688
1721.98/1726.99 c #Conflicts: 1119000 | #Constraints: 144690
1721.98/1726.99 c #Conflicts: 1120000 | #Constraints: 145690
1721.98/1726.99 c #Conflicts: 1121000 | #Constraints: 146690
1721.98/1726.99 c #Conflicts: 1122000 | #Constraints: 147690
1721.98/1726.99 c #Conflicts: 1123000 | #Constraints: 148690
1721.98/1726.99 c #Conflicts: 1124000 | #Constraints: 149690
1721.98/1726.99 c #Conflicts: 1125000 | #Constraints: 150690
1721.98/1726.99 c #Conflicts: 1126000 | #Constraints: 151690
1721.98/1726.99 c #Conflicts: 1127000 | #Constraints: 152690
1721.98/1726.99 c #Conflicts: 1128000 | #Constraints: 153691
1721.98/1726.99 c #Conflicts: 1129000 | #Constraints: 154691
1721.98/1726.99 c #Conflicts: 1130000 | #Constraints: 155691
1721.98/1726.99 c #Conflicts: 1131000 | #Constraints: 156691
1721.98/1726.99 c INPROCESSING
1829.82/1835.02 c GARBAGE COLLECT
1829.82/1835.02 c #Conflicts: 1132000 | #Constraints: 118452
1829.82/1835.02 c #Conflicts: 1133000 | #Constraints: 119452
1829.82/1835.02 c #Conflicts: 1134000 | #Constraints: 120452
1829.82/1835.02 c #Conflicts: 1135000 | #Constraints: 121452
1829.82/1835.02 c #Conflicts: 1136000 | #Constraints: 122452
1829.82/1835.02 c #Conflicts: 1137000 | #Constraints: 123452
1829.82/1835.02 c #Conflicts: 1138000 | #Constraints: 124452
1829.82/1835.02 c #Conflicts: 1139000 | #Constraints: 125452
1829.82/1835.02 c #Conflicts: 1140000 | #Constraints: 126452
1829.82/1835.02 c #Conflicts: 1141000 | #Constraints: 127452
1829.82/1835.02 c #Conflicts: 1142000 | #Constraints: 128452
1829.82/1835.02 c #Conflicts: 1143000 | #Constraints: 129452
1829.82/1835.02 c #Conflicts: 1144000 | #Constraints: 130452
1829.82/1835.02 c #Conflicts: 1145000 | #Constraints: 131452
1829.82/1835.02 c #Conflicts: 1146000 | #Constraints: 132452
1829.82/1835.02 c #Conflicts: 1147000 | #Constraints: 133452
1829.82/1835.02 c #Conflicts: 1148000 | #Constraints: 134452
1829.82/1835.02 c #Conflicts: 1149000 | #Constraints: 135452
1829.82/1835.02 c #Conflicts: 1150000 | #Constraints: 136453
1829.82/1835.02 c #Conflicts: 1151000 | #Constraints: 137453
1829.82/1835.02 c #Conflicts: 1152000 | #Constraints: 138453
1829.82/1835.02 c #Conflicts: 1153000 | #Constraints: 139453
1829.82/1835.02 c #Conflicts: 1154000 | #Constraints: 140453
1829.82/1835.02 c INPROCESSING
1829.82/1835.02 c GARBAGE COLLECT
1829.82/1835.02 c #Conflicts: 1155000 | #Constraints: 110361
1829.82/1835.02 c #Conflicts: 1156000 | #Constraints: 111361
1829.82/1835.02 c #Conflicts: 1157000 | #Constraints: 112361
1829.82/1835.02 c #Conflicts: 1158000 | #Constraints: 113361
1829.82/1835.02 c #Conflicts: 1159000 | #Constraints: 114361
1829.82/1835.02 c #Conflicts: 1160000 | #Constraints: 115361
1829.82/1835.02 c #Conflicts: 1161000 | #Constraints: 116362
1829.82/1835.02 c #Conflicts: 1162000 | #Constraints: 117362
1829.82/1835.02 c #Conflicts: 1163000 | #Constraints: 118362
1829.82/1835.02 c #Conflicts: 1164000 | #Constraints: 119362
1829.82/1835.02 c #Conflicts: 1165000 | #Constraints: 120362
1829.82/1835.02 c #Conflicts: 1166000 | #Constraints: 121362
1829.82/1835.02 c #Conflicts: 1167000 | #Constraints: 122362
1829.82/1835.02 c #Conflicts: 1168000 | #Constraints: 123362
1829.82/1835.02 c #Conflicts: 1169000 | #Constraints: 124362
1829.82/1835.02 c #Conflicts: 1170000 | #Constraints: 125362
1829.82/1835.02 c #Conflicts: 1171000 | #Constraints: 126363
1829.82/1835.02 c #Conflicts: 1172000 | #Constraints: 127363
1829.82/1835.02 c #Conflicts: 1173000 | #Constraints: 128363
1829.82/1835.02 c #Conflicts: 1174000 | #Constraints: 129363
1829.82/1835.02 c #Conflicts: 1175000 | #Constraints: 130363
1829.82/1835.02 c #Conflicts: 1176000 | #Constraints: 131364
1829.82/1835.02 c #Conflicts: 1177000 | #Constraints: 132364
1829.82/1835.02 c INPROCESSING
1829.82/1835.02 c GARBAGE COLLECT
1829.82/1835.02 c #Conflicts: 1178000 | #Constraints: 106286
1829.82/1835.02 c #Conflicts: 1179000 | #Constraints: 107286
1829.82/1835.02 c #Conflicts: 1180000 | #Constraints: 108286
1829.82/1835.02 c #Conflicts: 1181000 | #Constraints: 109286
1829.82/1835.02 c #Conflicts: 1182000 | #Constraints: 110286
1829.82/1835.02 c #Conflicts: 1183000 | #Constraints: 111286
1829.82/1835.02 c #Conflicts: 1184000 | #Constraints: 112286
1829.82/1835.02 c #Conflicts: 1185000 | #Constraints: 113286
1829.82/1835.02 c #Conflicts: 1186000 | #Constraints: 114286
1829.82/1835.02 c #Conflicts: 1187000 | #Constraints: 115286
1829.82/1835.02 c #Conflicts: 1188000 | #Constraints: 116286
1829.82/1835.02 c #Conflicts: 1189000 | #Constraints: 117286
1829.82/1835.02 c #Conflicts: 1190000 | #Constraints: 118286
1829.82/1835.02 c #Conflicts: 1191000 | #Constraints: 119286
1829.82/1835.02 c #Conflicts: 1192000 | #Constraints: 120286
1829.82/1835.02 c #Conflicts: 1193000 | #Constraints: 121286
1829.82/1835.02 c #Conflicts: 1194000 | #Constraints: 122286
1829.82/1835.02 c #Conflicts: 1195000 | #Constraints: 123286
1829.82/1835.02 c #Conflicts: 1196000 | #Constraints: 124286
1829.82/1835.02 c #Conflicts: 1197000 | #Constraints: 125286
1829.82/1835.02 c #Conflicts: 1198000 | #Constraints: 126286
1829.82/1835.02 c #Conflicts: 1199000 | #Constraints: 127286
1829.82/1835.02 c #Conflicts: 1200000 | #Constraints: 128287
1829.82/1835.02 c #Conflicts: 1201000 | #Constraints: 129287
1829.82/1835.02 c #Conflicts: 1202000 | #Constraints: 130287
1829.82/1835.02 c #Conflicts: 1203000 | #Constraints: 131287
1829.82/1835.02 c #Conflicts: 1204000 | #Constraints: 132287
1829.82/1835.02 c #Conflicts: 1205000 | #Constraints: 133287
1829.82/1835.02 c #Conflicts: 1206000 | #Constraints: 134287
1829.82/1835.02 c #Conflicts: 1207000 | #Constraints: 135287
1829.82/1835.02 c #Conflicts: 1208000 | #Constraints: 136288
2003.86/2009.56 c #Conflicts: 1209000 | #Constraints: 137288
2003.86/2009.56 c #Conflicts: 1210000 | #Constraints: 138288
2003.86/2009.56 c #Conflicts: 1211000 | #Constraints: 139288
2003.86/2009.56 c #Conflicts: 1212000 | #Constraints: 140288
2003.86/2009.56 c #Conflicts: 1213000 | #Constraints: 141288
2003.86/2009.56 c #Conflicts: 1214000 | #Constraints: 142288
2003.86/2009.56 c #Conflicts: 1215000 | #Constraints: 143288
2003.86/2009.56 c #Conflicts: 1216000 | #Constraints: 144289
2003.86/2009.56 c #Conflicts: 1217000 | #Constraints: 145291
2003.86/2009.56 c #Conflicts: 1218000 | #Constraints: 146293
2003.86/2009.56 c #Conflicts: 1219000 | #Constraints: 147293
2003.86/2009.56 c #Conflicts: 1220000 | #Constraints: 148293
2003.86/2009.56 c #Conflicts: 1221000 | #Constraints: 149293
2003.86/2009.56 c #Conflicts: 1222000 | #Constraints: 150295
2003.86/2009.56 c #Conflicts: 1223000 | #Constraints: 151295
2003.86/2009.56 c #Conflicts: 1224000 | #Constraints: 152295
2003.86/2009.56 c #Conflicts: 1225000 | #Constraints: 153295
2003.86/2009.56 c #Conflicts: 1226000 | #Constraints: 154295
2003.86/2009.56 c #Conflicts: 1227000 | #Constraints: 155295
2003.86/2009.56 c #Conflicts: 1228000 | #Constraints: 156295
2003.86/2009.56 c #Conflicts: 1229000 | #Constraints: 157295
2003.86/2009.56 c #Conflicts: 1230000 | #Constraints: 158295
2003.86/2009.56 c #Conflicts: 1231000 | #Constraints: 159295
2003.86/2009.56 c #Conflicts: 1232000 | #Constraints: 160295
2003.86/2009.56 c #Conflicts: 1233000 | #Constraints: 161295
2003.86/2009.56 c #Conflicts: 1234000 | #Constraints: 162295
2003.86/2009.56 c #Conflicts: 1235000 | #Constraints: 163295
2003.86/2009.56 c #Conflicts: 1236000 | #Constraints: 164295
2003.86/2009.56 c #Conflicts: 1237000 | #Constraints: 165295
2003.86/2009.56 c #Conflicts: 1238000 | #Constraints: 166295
2003.86/2009.56 c #Conflicts: 1239000 | #Constraints: 167295
2003.86/2009.56 c #Conflicts: 1240000 | #Constraints: 168295
2003.86/2009.56 c #Conflicts: 1241000 | #Constraints: 169295
2003.86/2009.56 c #Conflicts: 1242000 | #Constraints: 170295
2003.86/2009.56 c #Conflicts: 1243000 | #Constraints: 171295
2003.86/2009.56 c #Conflicts: 1244000 | #Constraints: 172295
2003.86/2009.56 c #Conflicts: 1245000 | #Constraints: 173295
2003.86/2009.56 c #Conflicts: 1246000 | #Constraints: 174295
2003.86/2009.56 c #Conflicts: 1247000 | #Constraints: 175295
2003.86/2009.56 c #Conflicts: 1248000 | #Constraints: 176295
2003.86/2009.56 c #Conflicts: 1249000 | #Constraints: 177295
2003.86/2009.56 c #Conflicts: 1250000 | #Constraints: 178295
2003.86/2009.56 c #Conflicts: 1251000 | #Constraints: 179295
2003.86/2009.56 c #Conflicts: 1252000 | #Constraints: 180295
2003.86/2009.56 c #Conflicts: 1253000 | #Constraints: 181295
2003.86/2009.56 c #Conflicts: 1254000 | #Constraints: 182296
2003.86/2009.56 c #Conflicts: 1255000 | #Constraints: 183296
2003.86/2009.56 c #Conflicts: 1256000 | #Constraints: 184296
2003.86/2009.56 c #Conflicts: 1257000 | #Constraints: 185297
2003.86/2009.56 c #Conflicts: 1258000 | #Constraints: 186298
2003.86/2009.56 c #Conflicts: 1259000 | #Constraints: 187298
2003.86/2009.56 c #Conflicts: 1260000 | #Constraints: 188298
2003.86/2009.56 c #Conflicts: 1261000 | #Constraints: 189298
2003.86/2009.56 c #Conflicts: 1262000 | #Constraints: 190299
2003.86/2009.56 c #Conflicts: 1263000 | #Constraints: 191299
2003.86/2009.56 c #Conflicts: 1264000 | #Constraints: 192299
2003.86/2009.56 c #Conflicts: 1265000 | #Constraints: 193299
2003.86/2009.56 c #Conflicts: 1266000 | #Constraints: 194299
2003.86/2009.56 c #Conflicts: 1267000 | #Constraints: 195299
2003.86/2009.56 c #Conflicts: 1268000 | #Constraints: 196300
2003.86/2009.56 c #Conflicts: 1269000 | #Constraints: 197300
2003.86/2009.56 c INPROCESSING
2003.86/2009.56 c GARBAGE COLLECT
2003.86/2009.56 c #Conflicts: 1270000 | #Constraints: 138886
2003.86/2009.56 c #Conflicts: 1271000 | #Constraints: 139886
2003.86/2009.56 c #Conflicts: 1272000 | #Constraints: 140886
2003.86/2009.56 c #Conflicts: 1273000 | #Constraints: 141886
2003.86/2009.56 c #Conflicts: 1274000 | #Constraints: 142886
2003.86/2009.56 c #Conflicts: 1275000 | #Constraints: 143886
2003.86/2009.56 c #Conflicts: 1276000 | #Constraints: 144886
2003.86/2009.56 c #Conflicts: 1277000 | #Constraints: 145886
2003.86/2009.56 c #Conflicts: 1278000 | #Constraints: 146886
2003.86/2009.56 c #Conflicts: 1279000 | #Constraints: 147886
2003.86/2009.56 c #Conflicts: 1280000 | #Constraints: 148886
2003.86/2009.56 c #Conflicts: 1281000 | #Constraints: 149886
2003.86/2009.56 c #Conflicts: 1282000 | #Constraints: 150886
2003.86/2009.56 c #Conflicts: 1283000 | #Constraints: 151886
2003.86/2009.56 c #Conflicts: 1284000 | #Constraints: 152886
2003.86/2009.56 c #Conflicts: 1285000 | #Constraints: 153886
2003.86/2009.56 c #Conflicts: 1286000 | #Constraints: 154887
2003.86/2009.56 c #Conflicts: 1287000 | #Constraints: 155887
2132.06/2138.02 c #Conflicts: 1288000 | #Constraints: 156887
2132.06/2138.02 c #Conflicts: 1289000 | #Constraints: 157887
2132.06/2138.02 c #Conflicts: 1290000 | #Constraints: 158887
2132.06/2138.02 c #Conflicts: 1291000 | #Constraints: 159887
2132.06/2138.02 c #Conflicts: 1292000 | #Constraints: 160887
2132.06/2138.02 c #Conflicts: 1293000 | #Constraints: 161887
2132.06/2138.02 c INPROCESSING
2132.06/2138.02 c GARBAGE COLLECT
2132.06/2138.02 c #Conflicts: 1294000 | #Constraints: 121009
2132.06/2138.02 c #Conflicts: 1295000 | #Constraints: 122009
2132.06/2138.02 c #Conflicts: 1296000 | #Constraints: 123009
2132.06/2138.02 c #Conflicts: 1297000 | #Constraints: 124009
2132.06/2138.02 c #Conflicts: 1298000 | #Constraints: 125010
2132.06/2138.02 c #Conflicts: 1299000 | #Constraints: 126010
2132.06/2138.02 c #Conflicts: 1300000 | #Constraints: 127010
2132.06/2138.02 c #Conflicts: 1301000 | #Constraints: 128010
2132.06/2138.02 c #Conflicts: 1302000 | #Constraints: 129010
2132.06/2138.02 c #Conflicts: 1303000 | #Constraints: 130010
2132.06/2138.02 c #Conflicts: 1304000 | #Constraints: 131010
2132.06/2138.02 c #Conflicts: 1305000 | #Constraints: 132010
2132.06/2138.02 c #Conflicts: 1306000 | #Constraints: 133010
2132.06/2138.02 c #Conflicts: 1307000 | #Constraints: 134010
2132.06/2138.02 c #Conflicts: 1308000 | #Constraints: 135011
2132.06/2138.02 c #Conflicts: 1309000 | #Constraints: 136012
2132.06/2138.02 c #Conflicts: 1310000 | #Constraints: 137012
2132.06/2138.02 c #Conflicts: 1311000 | #Constraints: 138012
2132.06/2138.02 c #Conflicts: 1312000 | #Constraints: 139013
2132.06/2138.02 c #Conflicts: 1313000 | #Constraints: 140013
2132.06/2138.02 c #Conflicts: 1314000 | #Constraints: 141014
2132.06/2138.02 c #Conflicts: 1315000 | #Constraints: 142014
2132.06/2138.02 c #Conflicts: 1316000 | #Constraints: 143015
2132.06/2138.02 c #Conflicts: 1317000 | #Constraints: 144018
2132.06/2138.02 c #Conflicts: 1318000 | #Constraints: 145019
2132.06/2138.02 c INPROCESSING
2132.06/2138.02 c GARBAGE COLLECT
2132.06/2138.02 c #Conflicts: 1319000 | #Constraints: 112725
2132.06/2138.02 c #Conflicts: 1320000 | #Constraints: 113725
2132.06/2138.02 c #Conflicts: 1321000 | #Constraints: 114725
2132.06/2138.02 c #Conflicts: 1322000 | #Constraints: 115725
2132.06/2138.02 c #Conflicts: 1323000 | #Constraints: 116725
2132.06/2138.02 c #Conflicts: 1324000 | #Constraints: 117725
2132.06/2138.02 c #Conflicts: 1325000 | #Constraints: 118725
2132.06/2138.02 c #Conflicts: 1326000 | #Constraints: 119725
2132.06/2138.02 c #Conflicts: 1327000 | #Constraints: 120725
2132.06/2138.02 c #Conflicts: 1328000 | #Constraints: 121725
2132.06/2138.02 c #Conflicts: 1329000 | #Constraints: 122725
2132.06/2138.02 c #Conflicts: 1330000 | #Constraints: 123727
2132.06/2138.02 c #Conflicts: 1331000 | #Constraints: 124727
2132.06/2138.02 c #Conflicts: 1332000 | #Constraints: 125727
2132.06/2138.02 c #Conflicts: 1333000 | #Constraints: 126728
2132.06/2138.02 c #Conflicts: 1334000 | #Constraints: 127728
2132.06/2138.02 c #Conflicts: 1335000 | #Constraints: 128728
2132.06/2138.02 c #Conflicts: 1336000 | #Constraints: 129728
2132.06/2138.02 c #Conflicts: 1337000 | #Constraints: 130729
2132.06/2138.02 c #Conflicts: 1338000 | #Constraints: 131729
2132.06/2138.02 c #Conflicts: 1339000 | #Constraints: 132729
2132.06/2138.02 c #Conflicts: 1340000 | #Constraints: 133730
2132.06/2138.02 c #Conflicts: 1341000 | #Constraints: 134730
2132.06/2138.02 c #Conflicts: 1342000 | #Constraints: 135730
2132.06/2138.02 c #Conflicts: 1343000 | #Constraints: 136730
2132.06/2138.02 c INPROCESSING
2132.06/2138.02 c GARBAGE COLLECT
2132.06/2138.02 c #Conflicts: 1344000 | #Constraints: 108721
2132.06/2138.03 c #Conflicts: 1345000 | #Constraints: 109721
2132.06/2138.03 c #Conflicts: 1346000 | #Constraints: 110721
2132.06/2138.03 c #Conflicts: 1347000 | #Constraints: 111721
2132.06/2138.03 c #Conflicts: 1348000 | #Constraints: 112721
2132.06/2138.03 c #Conflicts: 1349000 | #Constraints: 113721
2132.06/2138.03 c #Conflicts: 1350000 | #Constraints: 114721
2132.06/2138.03 c #Conflicts: 1351000 | #Constraints: 115721
2132.06/2138.03 c #Conflicts: 1352000 | #Constraints: 116721
2132.06/2138.03 c #Conflicts: 1353000 | #Constraints: 117721
2132.06/2138.03 c #Conflicts: 1354000 | #Constraints: 118721
2132.06/2138.03 c #Conflicts: 1355000 | #Constraints: 119721
2132.06/2138.03 c #Conflicts: 1356000 | #Constraints: 120721
2132.06/2138.03 c #Conflicts: 1357000 | #Constraints: 121721
2132.06/2138.03 c #Conflicts: 1358000 | #Constraints: 122721
2132.06/2138.03 c #Conflicts: 1359000 | #Constraints: 123721
2132.06/2138.03 c #Conflicts: 1360000 | #Constraints: 124721
2132.06/2138.03 c #Conflicts: 1361000 | #Constraints: 125721
2132.06/2138.03 c #Conflicts: 1362000 | #Constraints: 126721
2132.06/2138.03 c #Conflicts: 1363000 | #Constraints: 127721
2294.05/2300.44 c #Conflicts: 1364000 | #Constraints: 128721
2294.05/2300.44 c #Conflicts: 1365000 | #Constraints: 129721
2294.05/2300.44 c #Conflicts: 1366000 | #Constraints: 130721
2294.05/2300.44 c #Conflicts: 1367000 | #Constraints: 131721
2294.05/2300.44 c #Conflicts: 1368000 | #Constraints: 132721
2294.05/2300.44 c #Conflicts: 1369000 | #Constraints: 133722
2294.05/2300.44 c #Conflicts: 1370000 | #Constraints: 134723
2294.05/2300.44 c #Conflicts: 1371000 | #Constraints: 135723
2294.05/2300.44 c #Conflicts: 1372000 | #Constraints: 136723
2294.05/2300.44 c #Conflicts: 1373000 | #Constraints: 137724
2294.05/2300.44 c #Conflicts: 1374000 | #Constraints: 138725
2294.05/2300.44 c #Conflicts: 1375000 | #Constraints: 139725
2294.05/2300.44 c #Conflicts: 1376000 | #Constraints: 140725
2294.05/2300.44 c #Conflicts: 1377000 | #Constraints: 141725
2294.05/2300.44 c #Conflicts: 1378000 | #Constraints: 142726
2294.05/2300.44 c #Conflicts: 1379000 | #Constraints: 143727
2294.05/2300.44 c #Conflicts: 1380000 | #Constraints: 144727
2294.05/2300.44 c #Conflicts: 1381000 | #Constraints: 145727
2294.05/2300.44 c #Conflicts: 1382000 | #Constraints: 146727
2294.05/2300.44 c #Conflicts: 1383000 | #Constraints: 147727
2294.05/2300.44 c #Conflicts: 1384000 | #Constraints: 148727
2294.05/2300.44 c #Conflicts: 1385000 | #Constraints: 149727
2294.05/2300.44 c #Conflicts: 1386000 | #Constraints: 150727
2294.05/2300.44 c #Conflicts: 1387000 | #Constraints: 151727
2294.05/2300.44 c #Conflicts: 1388000 | #Constraints: 152727
2294.05/2300.44 c #Conflicts: 1389000 | #Constraints: 153727
2294.05/2300.44 c #Conflicts: 1390000 | #Constraints: 154727
2294.05/2300.44 c #Conflicts: 1391000 | #Constraints: 155727
2294.05/2300.44 c #Conflicts: 1392000 | #Constraints: 156727
2294.05/2300.44 c #Conflicts: 1393000 | #Constraints: 157727
2294.05/2300.44 c #Conflicts: 1394000 | #Constraints: 158727
2294.05/2300.44 c #Conflicts: 1395000 | #Constraints: 159727
2294.05/2300.44 c #Conflicts: 1396000 | #Constraints: 160727
2294.05/2300.44 c #Conflicts: 1397000 | #Constraints: 161727
2294.05/2300.44 c #Conflicts: 1398000 | #Constraints: 162727
2294.05/2300.44 c #Conflicts: 1399000 | #Constraints: 163728
2294.05/2300.44 c #Conflicts: 1400000 | #Constraints: 164728
2294.05/2300.44 c #Conflicts: 1401000 | #Constraints: 165728
2294.05/2300.44 c #Conflicts: 1402000 | #Constraints: 166728
2294.05/2300.44 c #Conflicts: 1403000 | #Constraints: 167728
2294.05/2300.44 c #Conflicts: 1404000 | #Constraints: 168728
2294.05/2300.44 c #Conflicts: 1405000 | #Constraints: 169728
2294.05/2300.44 c #Conflicts: 1406000 | #Constraints: 170728
2294.05/2300.44 c #Conflicts: 1407000 | #Constraints: 171728
2294.05/2300.44 c #Conflicts: 1408000 | #Constraints: 172728
2294.05/2300.44 c #Conflicts: 1409000 | #Constraints: 173728
2294.05/2300.44 c #Conflicts: 1410000 | #Constraints: 174728
2294.05/2300.44 c #Conflicts: 1411000 | #Constraints: 175728
2294.05/2300.44 c #Conflicts: 1412000 | #Constraints: 176728
2294.05/2300.44 c #Conflicts: 1413000 | #Constraints: 177728
2294.05/2300.44 c #Conflicts: 1414000 | #Constraints: 178728
2294.05/2300.44 c #Conflicts: 1415000 | #Constraints: 179728
2294.05/2300.44 c #Conflicts: 1416000 | #Constraints: 180728
2294.05/2300.44 c #Conflicts: 1417000 | #Constraints: 181728
2294.05/2300.44 c #Conflicts: 1418000 | #Constraints: 182728
2294.05/2300.44 c #Conflicts: 1419000 | #Constraints: 183728
2294.05/2300.44 c #Conflicts: 1420000 | #Constraints: 184728
2294.05/2300.44 c #Conflicts: 1421000 | #Constraints: 185728
2294.05/2300.44 c #Conflicts: 1422000 | #Constraints: 186728
2294.05/2300.44 c #Conflicts: 1423000 | #Constraints: 187728
2294.05/2300.44 c #Conflicts: 1424000 | #Constraints: 188728
2294.05/2300.44 c #Conflicts: 1425000 | #Constraints: 189728
2294.05/2300.44 c #Conflicts: 1426000 | #Constraints: 190728
2294.05/2300.44 c #Conflicts: 1427000 | #Constraints: 191728
2294.05/2300.44 c #Conflicts: 1428000 | #Constraints: 192728
2294.05/2300.44 c #Conflicts: 1429000 | #Constraints: 193728
2294.05/2300.44 c #Conflicts: 1430000 | #Constraints: 194728
2294.05/2300.44 c #Conflicts: 1431000 | #Constraints: 195728
2294.05/2300.44 c #Conflicts: 1432000 | #Constraints: 196728
2294.05/2300.44 c #Conflicts: 1433000 | #Constraints: 197728
2294.05/2300.44 c #Conflicts: 1434000 | #Constraints: 198728
2294.05/2300.44 c #Conflicts: 1435000 | #Constraints: 199728
2294.05/2300.44 c #Conflicts: 1436000 | #Constraints: 200728
2294.05/2300.44 c #Conflicts: 1437000 | #Constraints: 201728
2294.05/2300.44 c #Conflicts: 1438000 | #Constraints: 202728
2294.05/2300.44 c #Conflicts: 1439000 | #Constraints: 203728
2294.05/2300.44 c #Conflicts: 1440000 | #Constraints: 204728
2294.05/2300.44 c INPROCESSING
2294.05/2300.44 c GARBAGE COLLECT
2294.05/2300.44 c #Conflicts: 1441000 | #Constraints: 142695
2294.05/2300.44 c #Conflicts: 1442000 | #Constraints: 143695
2428.72/2435.45 c #Conflicts: 1443000 | #Constraints: 144695
2428.72/2435.45 c #Conflicts: 1444000 | #Constraints: 145695
2428.72/2435.45 c #Conflicts: 1445000 | #Constraints: 146695
2428.72/2435.45 c #Conflicts: 1446000 | #Constraints: 147695
2428.72/2435.45 c #Conflicts: 1447000 | #Constraints: 148695
2428.72/2435.45 c #Conflicts: 1448000 | #Constraints: 149695
2428.72/2435.45 c #Conflicts: 1449000 | #Constraints: 150695
2428.72/2435.45 c #Conflicts: 1450000 | #Constraints: 151696
2428.72/2435.45 c #Conflicts: 1451000 | #Constraints: 152696
2428.72/2435.45 c #Conflicts: 1452000 | #Constraints: 153696
2428.72/2435.45 c #Conflicts: 1453000 | #Constraints: 154696
2428.72/2435.45 c #Conflicts: 1454000 | #Constraints: 155696
2428.72/2435.45 c #Conflicts: 1455000 | #Constraints: 156696
2428.72/2435.45 c #Conflicts: 1456000 | #Constraints: 157696
2428.72/2435.45 c #Conflicts: 1457000 | #Constraints: 158696
2428.72/2435.45 c #Conflicts: 1458000 | #Constraints: 159697
2428.72/2435.45 c #Conflicts: 1459000 | #Constraints: 160698
2428.72/2435.45 c #Conflicts: 1460000 | #Constraints: 161698
2428.72/2435.45 c #Conflicts: 1461000 | #Constraints: 162698
2428.72/2435.45 c #Conflicts: 1462000 | #Constraints: 163699
2428.72/2435.45 c #Conflicts: 1463000 | #Constraints: 164699
2428.72/2435.45 c #Conflicts: 1464000 | #Constraints: 165699
2428.72/2435.45 c #Conflicts: 1465000 | #Constraints: 166699
2428.72/2435.45 c #Conflicts: 1466000 | #Constraints: 167699
2428.72/2435.45 c INPROCESSING
2428.72/2435.45 c GARBAGE COLLECT
2428.72/2435.45 c #Conflicts: 1467000 | #Constraints: 124161
2428.72/2435.45 c #Conflicts: 1468000 | #Constraints: 125161
2428.72/2435.45 c #Conflicts: 1469000 | #Constraints: 126161
2428.72/2435.45 c #Conflicts: 1470000 | #Constraints: 127161
2428.72/2435.45 c #Conflicts: 1471000 | #Constraints: 128161
2428.72/2435.45 c #Conflicts: 1472000 | #Constraints: 129161
2428.72/2435.45 c #Conflicts: 1473000 | #Constraints: 130161
2428.72/2435.45 c #Conflicts: 1474000 | #Constraints: 131161
2428.72/2435.45 c #Conflicts: 1475000 | #Constraints: 132161
2428.72/2435.45 c #Conflicts: 1476000 | #Constraints: 133161
2428.72/2435.45 c #Conflicts: 1477000 | #Constraints: 134161
2428.72/2435.45 c #Conflicts: 1478000 | #Constraints: 135161
2428.72/2435.45 c #Conflicts: 1479000 | #Constraints: 136161
2428.72/2435.45 c #Conflicts: 1480000 | #Constraints: 137161
2428.72/2435.45 c #Conflicts: 1481000 | #Constraints: 138161
2428.72/2435.45 c #Conflicts: 1482000 | #Constraints: 139161
2428.72/2435.45 c #Conflicts: 1483000 | #Constraints: 140161
2428.72/2435.45 c #Conflicts: 1484000 | #Constraints: 141161
2428.72/2435.45 c #Conflicts: 1485000 | #Constraints: 142161
2428.72/2435.45 c #Conflicts: 1486000 | #Constraints: 143161
2428.72/2435.45 c #Conflicts: 1487000 | #Constraints: 144162
2428.72/2435.45 c #Conflicts: 1488000 | #Constraints: 145162
2428.72/2435.45 c #Conflicts: 1489000 | #Constraints: 146162
2428.72/2435.45 c #Conflicts: 1490000 | #Constraints: 147162
2428.72/2435.45 c #Conflicts: 1491000 | #Constraints: 148163
2428.72/2435.45 c #Conflicts: 1492000 | #Constraints: 149163
2428.72/2435.45 c INPROCESSING
2428.72/2435.45 c GARBAGE COLLECT
2428.72/2435.45 c #Conflicts: 1493000 | #Constraints: 114748
2428.72/2435.45 c #Conflicts: 1494000 | #Constraints: 115748
2428.72/2435.45 c #Conflicts: 1495000 | #Constraints: 116749
2428.72/2435.45 c #Conflicts: 1496000 | #Constraints: 117749
2428.72/2435.45 c #Conflicts: 1497000 | #Constraints: 118749
2428.72/2435.45 c #Conflicts: 1498000 | #Constraints: 119749
2428.72/2435.45 c #Conflicts: 1499000 | #Constraints: 120749
2428.72/2435.45 c #Conflicts: 1500000 | #Constraints: 121749
2428.72/2435.45 c #Conflicts: 1501000 | #Constraints: 122749
2428.72/2435.45 c #Conflicts: 1502000 | #Constraints: 123749
2428.72/2435.45 c #Conflicts: 1503000 | #Constraints: 124749
2428.72/2435.45 c #Conflicts: 1504000 | #Constraints: 125749
2428.72/2435.45 c #Conflicts: 1505000 | #Constraints: 126749
2428.72/2435.45 c #Conflicts: 1506000 | #Constraints: 127749
2428.72/2435.45 c #Conflicts: 1507000 | #Constraints: 128749
2428.72/2435.45 c #Conflicts: 1508000 | #Constraints: 129749
2428.72/2435.45 c #Conflicts: 1509000 | #Constraints: 130749
2428.72/2435.45 c #Conflicts: 1510000 | #Constraints: 131749
2428.72/2435.45 c #Conflicts: 1511000 | #Constraints: 132749
2428.72/2435.45 c #Conflicts: 1512000 | #Constraints: 133749
2428.72/2435.45 c #Conflicts: 1513000 | #Constraints: 134749
2428.72/2435.45 c #Conflicts: 1514000 | #Constraints: 135749
2428.72/2435.45 c #Conflicts: 1515000 | #Constraints: 136750
2428.72/2435.45 c #Conflicts: 1516000 | #Constraints: 137750
2428.72/2435.45 c #Conflicts: 1517000 | #Constraints: 138750
2428.72/2435.45 c #Conflicts: 1518000 | #Constraints: 139750
2428.72/2435.45 c INPROCESSING
2428.72/2435.45 c GARBAGE COLLECT
2590.30/2597.44 c #Conflicts: 1519000 | #Constraints: 109783
2590.30/2597.44 c #Conflicts: 1520000 | #Constraints: 110783
2590.30/2597.44 c #Conflicts: 1521000 | #Constraints: 111783
2590.30/2597.44 c #Conflicts: 1522000 | #Constraints: 112783
2590.30/2597.44 c #Conflicts: 1523000 | #Constraints: 113783
2590.30/2597.44 c #Conflicts: 1524000 | #Constraints: 114783
2590.30/2597.44 c #Conflicts: 1525000 | #Constraints: 115783
2590.30/2597.44 c #Conflicts: 1526000 | #Constraints: 116783
2590.30/2597.44 c #Conflicts: 1527000 | #Constraints: 117783
2590.30/2597.44 c #Conflicts: 1528000 | #Constraints: 118783
2590.30/2597.44 c #Conflicts: 1529000 | #Constraints: 119783
2590.30/2597.44 c #Conflicts: 1530000 | #Constraints: 120783
2590.30/2597.44 c #Conflicts: 1531000 | #Constraints: 121783
2590.30/2597.44 c #Conflicts: 1532000 | #Constraints: 122783
2590.30/2597.44 c #Conflicts: 1533000 | #Constraints: 123783
2590.30/2597.44 c #Conflicts: 1534000 | #Constraints: 124784
2590.30/2597.44 c #Conflicts: 1535000 | #Constraints: 125785
2590.30/2597.44 c #Conflicts: 1536000 | #Constraints: 126785
2590.30/2597.44 c #Conflicts: 1537000 | #Constraints: 127786
2590.30/2597.44 c #Conflicts: 1538000 | #Constraints: 128786
2590.30/2597.44 c #Conflicts: 1539000 | #Constraints: 129786
2590.30/2597.44 c #Conflicts: 1540000 | #Constraints: 130786
2590.30/2597.44 c #Conflicts: 1541000 | #Constraints: 131786
2590.30/2597.44 c #Conflicts: 1542000 | #Constraints: 132786
2590.30/2597.44 c #Conflicts: 1543000 | #Constraints: 133786
2590.30/2597.44 c #Conflicts: 1544000 | #Constraints: 134786
2590.30/2597.44 c #Conflicts: 1545000 | #Constraints: 135786
2590.30/2597.44 c #Conflicts: 1546000 | #Constraints: 136786
2590.30/2597.44 c #Conflicts: 1547000 | #Constraints: 137786
2590.30/2597.44 c #Conflicts: 1548000 | #Constraints: 138787
2590.30/2597.44 c #Conflicts: 1549000 | #Constraints: 139787
2590.30/2597.44 c #Conflicts: 1550000 | #Constraints: 140787
2590.30/2597.44 c #Conflicts: 1551000 | #Constraints: 141787
2590.30/2597.44 c #Conflicts: 1552000 | #Constraints: 142787
2590.30/2597.44 c #Conflicts: 1553000 | #Constraints: 143787
2590.30/2597.44 c #Conflicts: 1554000 | #Constraints: 144787
2590.30/2597.44 c #Conflicts: 1555000 | #Constraints: 145787
2590.30/2597.44 c #Conflicts: 1556000 | #Constraints: 146787
2590.30/2597.44 c #Conflicts: 1557000 | #Constraints: 147787
2590.30/2597.44 c #Conflicts: 1558000 | #Constraints: 148787
2590.30/2597.44 c #Conflicts: 1559000 | #Constraints: 149788
2590.30/2597.44 c #Conflicts: 1560000 | #Constraints: 150788
2590.30/2597.44 c #Conflicts: 1561000 | #Constraints: 151788
2590.30/2597.44 c #Conflicts: 1562000 | #Constraints: 152788
2590.30/2597.44 c #Conflicts: 1563000 | #Constraints: 153789
2590.30/2597.44 c #Conflicts: 1564000 | #Constraints: 154789
2590.30/2597.44 c #Conflicts: 1565000 | #Constraints: 155789
2590.30/2597.44 c #Conflicts: 1566000 | #Constraints: 156789
2590.30/2597.44 c #Conflicts: 1567000 | #Constraints: 157789
2590.30/2597.44 c #Conflicts: 1568000 | #Constraints: 158790
2590.30/2597.44 c #Conflicts: 1569000 | #Constraints: 159790
2590.30/2597.44 c #Conflicts: 1570000 | #Constraints: 160790
2590.30/2597.44 c #Conflicts: 1571000 | #Constraints: 161790
2590.30/2597.44 c #Conflicts: 1572000 | #Constraints: 162790
2590.30/2597.44 c #Conflicts: 1573000 | #Constraints: 163790
2590.30/2597.44 c #Conflicts: 1574000 | #Constraints: 164790
2590.30/2597.44 c #Conflicts: 1575000 | #Constraints: 165790
2590.30/2597.44 c #Conflicts: 1576000 | #Constraints: 166790
2590.30/2597.44 c #Conflicts: 1577000 | #Constraints: 167791
2590.30/2597.44 c #Conflicts: 1578000 | #Constraints: 168791
2590.30/2597.44 c #Conflicts: 1579000 | #Constraints: 169791
2590.30/2597.44 c #Conflicts: 1580000 | #Constraints: 170791
2590.30/2597.44 c #Conflicts: 1581000 | #Constraints: 171791
2590.30/2597.44 c #Conflicts: 1582000 | #Constraints: 172791
2590.30/2597.44 c #Conflicts: 1583000 | #Constraints: 173792
2590.30/2597.44 c #Conflicts: 1584000 | #Constraints: 174792
2590.30/2597.44 c #Conflicts: 1585000 | #Constraints: 175792
2590.30/2597.44 c #Conflicts: 1586000 | #Constraints: 176792
2590.30/2597.44 c #Conflicts: 1587000 | #Constraints: 177792
2590.30/2597.44 c #Conflicts: 1588000 | #Constraints: 178792
2590.30/2597.44 c #Conflicts: 1589000 | #Constraints: 179792
2590.30/2597.44 c #Conflicts: 1590000 | #Constraints: 180792
2590.30/2597.44 c #Conflicts: 1591000 | #Constraints: 181792
2590.30/2597.44 c #Conflicts: 1592000 | #Constraints: 182792
2590.30/2597.44 c #Conflicts: 1593000 | #Constraints: 183792
2590.30/2597.44 c #Conflicts: 1594000 | #Constraints: 184792
2590.30/2597.44 c #Conflicts: 1595000 | #Constraints: 185792
2590.30/2597.44 c #Conflicts: 1596000 | #Constraints: 186792
2590.30/2597.44 c #Conflicts: 1597000 | #Constraints: 187792
2776.32/2783.92 c #Conflicts: 1598000 | #Constraints: 188792
2776.32/2783.92 c #Conflicts: 1599000 | #Constraints: 189792
2776.32/2783.92 c #Conflicts: 1600000 | #Constraints: 190792
2776.32/2783.92 c #Conflicts: 1601000 | #Constraints: 191792
2776.32/2783.92 c #Conflicts: 1602000 | #Constraints: 192792
2776.32/2783.92 c #Conflicts: 1603000 | #Constraints: 193792
2776.32/2783.92 c #Conflicts: 1604000 | #Constraints: 194792
2776.32/2783.92 c #Conflicts: 1605000 | #Constraints: 195792
2776.32/2783.92 c #Conflicts: 1606000 | #Constraints: 196792
2776.32/2783.92 c #Conflicts: 1607000 | #Constraints: 197793
2776.32/2783.92 c #Conflicts: 1608000 | #Constraints: 198793
2776.32/2783.92 c #Conflicts: 1609000 | #Constraints: 199793
2776.32/2783.92 c #Conflicts: 1610000 | #Constraints: 200793
2776.32/2783.92 c #Conflicts: 1611000 | #Constraints: 201793
2776.32/2783.92 c #Conflicts: 1612000 | #Constraints: 202793
2776.32/2783.92 c #Conflicts: 1613000 | #Constraints: 203793
2776.32/2783.92 c #Conflicts: 1614000 | #Constraints: 204793
2776.32/2783.92 c #Conflicts: 1615000 | #Constraints: 205793
2776.32/2783.92 c #Conflicts: 1616000 | #Constraints: 206793
2776.32/2783.92 c #Conflicts: 1617000 | #Constraints: 207793
2776.32/2783.92 c #Conflicts: 1618000 | #Constraints: 208793
2776.32/2783.92 c #Conflicts: 1619000 | #Constraints: 209793
2776.32/2783.92 c #Conflicts: 1620000 | #Constraints: 210793
2776.32/2783.92 c #Conflicts: 1621000 | #Constraints: 211794
2776.32/2783.92 c INPROCESSING
2776.32/2783.92 c GARBAGE COLLECT
2776.32/2783.92 c #Conflicts: 1622000 | #Constraints: 146164
2776.32/2783.92 c #Conflicts: 1623000 | #Constraints: 147165
2776.32/2783.92 c #Conflicts: 1624000 | #Constraints: 148165
2776.32/2783.92 c #Conflicts: 1625000 | #Constraints: 149165
2776.32/2783.92 c #Conflicts: 1626000 | #Constraints: 150165
2776.32/2783.92 c #Conflicts: 1627000 | #Constraints: 151165
2776.32/2783.92 c #Conflicts: 1628000 | #Constraints: 152165
2776.32/2783.92 c #Conflicts: 1629000 | #Constraints: 153165
2776.32/2783.92 c #Conflicts: 1630000 | #Constraints: 154165
2776.32/2783.92 c #Conflicts: 1631000 | #Constraints: 155165
2776.32/2783.92 c #Conflicts: 1632000 | #Constraints: 156165
2776.32/2783.92 c #Conflicts: 1633000 | #Constraints: 157165
2776.32/2783.92 c #Conflicts: 1634000 | #Constraints: 158167
2776.32/2783.92 c #Conflicts: 1635000 | #Constraints: 159167
2776.32/2783.92 c #Conflicts: 1636000 | #Constraints: 160167
2776.32/2783.92 c #Conflicts: 1637000 | #Constraints: 161167
2776.32/2783.92 c #Conflicts: 1638000 | #Constraints: 162167
2776.32/2783.92 c #Conflicts: 1639000 | #Constraints: 163167
2776.32/2783.92 c #Conflicts: 1640000 | #Constraints: 164167
2776.32/2783.92 c #Conflicts: 1641000 | #Constraints: 165167
2776.32/2783.92 c #Conflicts: 1642000 | #Constraints: 166167
2776.32/2783.92 c #Conflicts: 1643000 | #Constraints: 167167
2776.32/2783.92 c #Conflicts: 1644000 | #Constraints: 168167
2776.32/2783.92 c #Conflicts: 1645000 | #Constraints: 169167
2776.32/2783.92 c #Conflicts: 1646000 | #Constraints: 170167
2776.32/2783.92 c #Conflicts: 1647000 | #Constraints: 171167
2776.32/2783.92 c #Conflicts: 1648000 | #Constraints: 172167
2776.32/2783.92 c #Conflicts: 1649000 | #Constraints: 173168
2776.32/2783.92 c INPROCESSING
2776.32/2783.92 c GARBAGE COLLECT
2776.32/2783.92 c #Conflicts: 1650000 | #Constraints: 126940
2776.32/2783.92 c #Conflicts: 1651000 | #Constraints: 127940
2776.32/2783.92 c #Conflicts: 1652000 | #Constraints: 128940
2776.32/2783.92 c #Conflicts: 1653000 | #Constraints: 129940
2776.32/2783.92 c #Conflicts: 1654000 | #Constraints: 130940
2776.32/2783.92 c #Conflicts: 1655000 | #Constraints: 131940
2776.32/2783.92 c #Conflicts: 1656000 | #Constraints: 132940
2776.32/2783.92 c #Conflicts: 1657000 | #Constraints: 133940
2776.32/2783.92 c #Conflicts: 1658000 | #Constraints: 134940
2776.32/2783.92 c #Conflicts: 1659000 | #Constraints: 135940
2776.32/2783.92 c #Conflicts: 1660000 | #Constraints: 136940
2776.32/2783.92 c #Conflicts: 1661000 | #Constraints: 137940
2776.32/2783.92 c #Conflicts: 1662000 | #Constraints: 138940
2776.32/2783.92 c #Conflicts: 1663000 | #Constraints: 139940
2776.32/2783.92 c #Conflicts: 1664000 | #Constraints: 140940
2776.32/2783.92 c #Conflicts: 1665000 | #Constraints: 141940
2776.32/2783.92 c #Conflicts: 1666000 | #Constraints: 142940
2776.32/2783.92 c #Conflicts: 1667000 | #Constraints: 143942
2776.32/2783.92 c #Conflicts: 1668000 | #Constraints: 144942
2776.32/2783.92 c #Conflicts: 1669000 | #Constraints: 145942
2776.32/2783.92 c #Conflicts: 1670000 | #Constraints: 146943
2776.32/2783.92 c #Conflicts: 1671000 | #Constraints: 147943
2776.32/2783.92 c #Conflicts: 1672000 | #Constraints: 148943
2776.32/2783.92 c #Conflicts: 1673000 | #Constraints: 149943
2776.32/2783.92 c #Conflicts: 1674000 | #Constraints: 150943
2776.32/2783.92 c #Conflicts: 1675000 | #Constraints: 151943
2906.49/2914.48 c #Conflicts: 1676000 | #Constraints: 152943
2906.49/2914.48 c #Conflicts: 1677000 | #Constraints: 153943
2906.49/2914.48 c INPROCESSING
2906.49/2914.48 c GARBAGE COLLECT
2906.49/2914.48 c #Conflicts: 1678000 | #Constraints: 117331
2906.49/2914.48 c #Conflicts: 1679000 | #Constraints: 118331
2906.49/2914.48 c #Conflicts: 1680000 | #Constraints: 119331
2906.49/2914.48 c #Conflicts: 1681000 | #Constraints: 120331
2906.49/2914.48 c #Conflicts: 1682000 | #Constraints: 121331
2906.49/2914.48 c #Conflicts: 1683000 | #Constraints: 122331
2906.49/2914.48 c #Conflicts: 1684000 | #Constraints: 123331
2906.49/2914.48 c #Conflicts: 1685000 | #Constraints: 124331
2906.49/2914.48 c #Conflicts: 1686000 | #Constraints: 125331
2906.49/2914.48 c #Conflicts: 1687000 | #Constraints: 126331
2906.49/2914.48 c #Conflicts: 1688000 | #Constraints: 127331
2906.49/2914.48 c #Conflicts: 1689000 | #Constraints: 128331
2906.49/2914.48 c #Conflicts: 1690000 | #Constraints: 129331
2906.49/2914.48 c #Conflicts: 1691000 | #Constraints: 130331
2906.49/2914.48 c #Conflicts: 1692000 | #Constraints: 131331
2906.49/2914.48 c #Conflicts: 1693000 | #Constraints: 132331
2906.49/2914.48 c #Conflicts: 1694000 | #Constraints: 133331
2906.49/2914.48 c #Conflicts: 1695000 | #Constraints: 134331
2906.49/2914.48 c #Conflicts: 1696000 | #Constraints: 135331
2906.49/2914.48 c #Conflicts: 1697000 | #Constraints: 136331
2906.49/2914.48 c #Conflicts: 1698000 | #Constraints: 137331
2906.49/2914.48 c #Conflicts: 1699000 | #Constraints: 138331
2906.49/2914.48 c #Conflicts: 1700000 | #Constraints: 139331
2906.49/2914.48 c #Conflicts: 1701000 | #Constraints: 140331
2906.49/2914.48 c #Conflicts: 1702000 | #Constraints: 141331
2906.49/2914.48 c #Conflicts: 1703000 | #Constraints: 142332
2906.49/2914.48 c #Conflicts: 1704000 | #Constraints: 143332
2906.49/2914.48 c #Conflicts: 1705000 | #Constraints: 144332
2906.49/2914.48 c INPROCESSING
2906.49/2914.48 c GARBAGE COLLECT
2906.49/2914.48 c #Conflicts: 1706000 | #Constraints: 112467
2906.49/2914.48 c #Conflicts: 1707000 | #Constraints: 113467
2906.49/2914.48 c #Conflicts: 1708000 | #Constraints: 114467
2906.49/2914.48 c #Conflicts: 1709000 | #Constraints: 115467
2906.49/2914.48 c #Conflicts: 1710000 | #Constraints: 116467
2906.49/2914.48 c #Conflicts: 1711000 | #Constraints: 117467
2906.49/2914.48 c #Conflicts: 1712000 | #Constraints: 118467
2906.49/2914.48 c #Conflicts: 1713000 | #Constraints: 119467
2906.49/2914.48 c #Conflicts: 1714000 | #Constraints: 120467
2906.49/2914.48 c #Conflicts: 1715000 | #Constraints: 121467
2906.49/2914.48 c #Conflicts: 1716000 | #Constraints: 122468
2906.49/2914.48 c #Conflicts: 1717000 | #Constraints: 123468
2906.49/2914.48 c #Conflicts: 1718000 | #Constraints: 124468
2906.49/2914.48 c #Conflicts: 1719000 | #Constraints: 125468
2906.49/2914.48 c #Conflicts: 1720000 | #Constraints: 126468
2906.49/2914.48 c #Conflicts: 1721000 | #Constraints: 127468
2906.49/2914.48 c #Conflicts: 1722000 | #Constraints: 128468
2906.49/2914.48 c #Conflicts: 1723000 | #Constraints: 129468
2906.49/2914.48 c #Conflicts: 1724000 | #Constraints: 130468
2906.49/2914.48 c #Conflicts: 1725000 | #Constraints: 131468
2906.49/2914.48 c #Conflicts: 1726000 | #Constraints: 132468
2906.49/2914.48 c #Conflicts: 1727000 | #Constraints: 133468
2906.49/2914.48 c #Conflicts: 1728000 | #Constraints: 134468
2906.49/2914.48 c #Conflicts: 1729000 | #Constraints: 135468
2906.49/2914.48 c #Conflicts: 1730000 | #Constraints: 136468
2906.49/2914.48 c #Conflicts: 1731000 | #Constraints: 137469
2906.49/2914.48 c #Conflicts: 1732000 | #Constraints: 138470
2906.49/2914.48 c #Conflicts: 1733000 | #Constraints: 139471
2906.49/2914.48 c #Conflicts: 1734000 | #Constraints: 140471
2906.49/2914.48 c #Conflicts: 1735000 | #Constraints: 141473
2906.49/2914.48 c #Conflicts: 1736000 | #Constraints: 142473
2906.49/2914.48 c #Conflicts: 1737000 | #Constraints: 143473
2906.49/2914.48 c #Conflicts: 1738000 | #Constraints: 144473
2906.49/2914.48 c #Conflicts: 1739000 | #Constraints: 145473
2906.49/2914.48 c #Conflicts: 1740000 | #Constraints: 146473
2906.49/2914.48 c #Conflicts: 1741000 | #Constraints: 147473
2906.49/2914.48 c #Conflicts: 1742000 | #Constraints: 148473
2906.49/2914.48 c #Conflicts: 1743000 | #Constraints: 149473
2906.49/2914.48 c #Conflicts: 1744000 | #Constraints: 150473
2906.49/2914.48 c #Conflicts: 1745000 | #Constraints: 151473
2906.49/2914.48 c #Conflicts: 1746000 | #Constraints: 152473
2906.49/2914.48 c #Conflicts: 1747000 | #Constraints: 153473
2906.49/2914.48 c #Conflicts: 1748000 | #Constraints: 154473
2906.49/2914.48 c #Conflicts: 1749000 | #Constraints: 155473
2906.49/2914.48 c #Conflicts: 1750000 | #Constraints: 156473
2906.49/2914.48 c #Conflicts: 1751000 | #Constraints: 157473
2906.49/2914.48 c #Conflicts: 1752000 | #Constraints: 158473
3085.03/3093.43 c #Conflicts: 1753000 | #Constraints: 159473
3085.03/3093.43 c #Conflicts: 1754000 | #Constraints: 160473
3085.03/3093.43 c #Conflicts: 1755000 | #Constraints: 161473
3085.03/3093.43 c #Conflicts: 1756000 | #Constraints: 162473
3085.03/3093.43 c #Conflicts: 1757000 | #Constraints: 163473
3085.03/3093.43 c #Conflicts: 1758000 | #Constraints: 164473
3085.03/3093.43 c #Conflicts: 1759000 | #Constraints: 165473
3085.03/3093.43 c #Conflicts: 1760000 | #Constraints: 166473
3085.03/3093.43 c #Conflicts: 1761000 | #Constraints: 167473
3085.03/3093.43 c #Conflicts: 1762000 | #Constraints: 168473
3085.03/3093.43 c #Conflicts: 1763000 | #Constraints: 169473
3085.03/3093.43 c #Conflicts: 1764000 | #Constraints: 170473
3085.03/3093.43 c #Conflicts: 1765000 | #Constraints: 171473
3085.03/3093.43 c #Conflicts: 1766000 | #Constraints: 172473
3085.03/3093.43 c #Conflicts: 1767000 | #Constraints: 173473
3085.03/3093.43 c #Conflicts: 1768000 | #Constraints: 174473
3085.03/3093.43 c #Conflicts: 1769000 | #Constraints: 175473
3085.03/3093.43 c #Conflicts: 1770000 | #Constraints: 176473
3085.03/3093.43 c #Conflicts: 1771000 | #Constraints: 177473
3085.03/3093.43 c #Conflicts: 1772000 | #Constraints: 178473
3085.03/3093.43 c #Conflicts: 1773000 | #Constraints: 179474
3085.03/3093.43 c #Conflicts: 1774000 | #Constraints: 180474
3085.03/3093.43 c #Conflicts: 1775000 | #Constraints: 181474
3085.03/3093.43 c #Conflicts: 1776000 | #Constraints: 182474
3085.03/3093.43 c #Conflicts: 1777000 | #Constraints: 183474
3085.03/3093.43 c #Conflicts: 1778000 | #Constraints: 184474
3085.03/3093.43 c #Conflicts: 1779000 | #Constraints: 185474
3085.03/3093.43 c #Conflicts: 1780000 | #Constraints: 186474
3085.03/3093.43 c #Conflicts: 1781000 | #Constraints: 187474
3085.03/3093.43 c #Conflicts: 1782000 | #Constraints: 188474
3085.03/3093.43 c #Conflicts: 1783000 | #Constraints: 189474
3085.03/3093.43 c #Conflicts: 1784000 | #Constraints: 190474
3085.03/3093.43 c #Conflicts: 1785000 | #Constraints: 191474
3085.03/3093.43 c #Conflicts: 1786000 | #Constraints: 192474
3085.03/3093.43 c #Conflicts: 1787000 | #Constraints: 193474
3085.03/3093.43 c #Conflicts: 1788000 | #Constraints: 194475
3085.03/3093.43 c #Conflicts: 1789000 | #Constraints: 195475
3085.03/3093.43 c #Conflicts: 1790000 | #Constraints: 196475
3085.03/3093.43 c #Conflicts: 1791000 | #Constraints: 197476
3085.03/3093.43 c #Conflicts: 1792000 | #Constraints: 198476
3085.03/3093.43 c #Conflicts: 1793000 | #Constraints: 199476
3085.03/3093.43 c #Conflicts: 1794000 | #Constraints: 200476
3085.03/3093.43 c #Conflicts: 1795000 | #Constraints: 201476
3085.03/3093.43 c #Conflicts: 1796000 | #Constraints: 202476
3085.03/3093.43 c #Conflicts: 1797000 | #Constraints: 203476
3085.03/3093.43 c #Conflicts: 1798000 | #Constraints: 204476
3085.03/3093.43 c #Conflicts: 1799000 | #Constraints: 205476
3085.03/3093.43 c #Conflicts: 1800000 | #Constraints: 206476
3085.03/3093.43 c #Conflicts: 1801000 | #Constraints: 207476
3085.03/3093.43 c #Conflicts: 1802000 | #Constraints: 208476
3085.03/3093.43 c #Conflicts: 1803000 | #Constraints: 209476
3085.03/3093.43 c #Conflicts: 1804000 | #Constraints: 210476
3085.03/3093.43 c #Conflicts: 1805000 | #Constraints: 211476
3085.03/3093.43 c #Conflicts: 1806000 | #Constraints: 212476
3085.03/3093.43 c #Conflicts: 1807000 | #Constraints: 213476
3085.03/3093.43 c #Conflicts: 1808000 | #Constraints: 214477
3085.03/3093.43 c #Conflicts: 1809000 | #Constraints: 215477
3085.03/3093.43 c #Conflicts: 1810000 | #Constraints: 216478
3085.03/3093.43 c #Conflicts: 1811000 | #Constraints: 217480
3085.03/3093.43 c #Conflicts: 1812000 | #Constraints: 218481
3085.03/3093.43 c INPROCESSING
3085.03/3093.43 c GARBAGE COLLECT
3085.03/3093.43 c #Conflicts: 1813000 | #Constraints: 149218
3085.03/3093.43 c #Conflicts: 1814000 | #Constraints: 150218
3085.03/3093.43 c #Conflicts: 1815000 | #Constraints: 151218
3085.03/3093.43 c #Conflicts: 1816000 | #Constraints: 152218
3085.03/3093.43 c #Conflicts: 1817000 | #Constraints: 153218
3085.03/3093.43 c #Conflicts: 1818000 | #Constraints: 154218
3085.03/3093.43 c #Conflicts: 1819000 | #Constraints: 155218
3085.03/3093.43 c #Conflicts: 1820000 | #Constraints: 156218
3085.03/3093.43 c #Conflicts: 1821000 | #Constraints: 157218
3085.03/3093.43 c #Conflicts: 1822000 | #Constraints: 158218
3085.03/3093.43 c #Conflicts: 1823000 | #Constraints: 159218
3085.03/3093.43 c #Conflicts: 1824000 | #Constraints: 160218
3085.03/3093.43 c #Conflicts: 1825000 | #Constraints: 161218
3085.03/3093.43 c #Conflicts: 1826000 | #Constraints: 162218
3085.03/3093.43 c #Conflicts: 1827000 | #Constraints: 163218
3085.03/3093.43 c #Conflicts: 1828000 | #Constraints: 164218
3085.03/3093.43 c #Conflicts: 1829000 | #Constraints: 165218
3085.03/3093.43 c #Conflicts: 1830000 | #Constraints: 166218
3234.94/3243.71 c #Conflicts: 1831000 | #Constraints: 167218
3234.94/3243.71 c #Conflicts: 1832000 | #Constraints: 168218
3234.94/3243.71 c #Conflicts: 1833000 | #Constraints: 169218
3234.94/3243.71 c #Conflicts: 1834000 | #Constraints: 170218
3234.94/3243.71 c #Conflicts: 1835000 | #Constraints: 171218
3234.94/3243.71 c #Conflicts: 1836000 | #Constraints: 172218
3234.94/3243.71 c #Conflicts: 1837000 | #Constraints: 173218
3234.94/3243.71 c #Conflicts: 1838000 | #Constraints: 174218
3234.94/3243.71 c #Conflicts: 1839000 | #Constraints: 175218
3234.94/3243.71 c #Conflicts: 1840000 | #Constraints: 176218
3234.94/3243.71 c #Conflicts: 1841000 | #Constraints: 177218
3234.94/3243.71 c #Conflicts: 1842000 | #Constraints: 178219
3234.94/3243.71 c INPROCESSING
3234.94/3243.71 c GARBAGE COLLECT
3234.94/3243.71 c #Conflicts: 1843000 | #Constraints: 129332
3234.94/3243.71 c #Conflicts: 1844000 | #Constraints: 130332
3234.94/3243.71 c #Conflicts: 1845000 | #Constraints: 131332
3234.94/3243.71 c #Conflicts: 1846000 | #Constraints: 132332
3234.94/3243.71 c #Conflicts: 1847000 | #Constraints: 133332
3234.94/3243.71 c #Conflicts: 1848000 | #Constraints: 134332
3234.94/3243.71 c #Conflicts: 1849000 | #Constraints: 135332
3234.94/3243.71 c #Conflicts: 1850000 | #Constraints: 136332
3234.94/3243.71 c #Conflicts: 1851000 | #Constraints: 137332
3234.94/3243.71 c #Conflicts: 1852000 | #Constraints: 138332
3234.94/3243.71 c #Conflicts: 1853000 | #Constraints: 139332
3234.94/3243.71 c #Conflicts: 1854000 | #Constraints: 140332
3234.94/3243.71 c #Conflicts: 1855000 | #Constraints: 141332
3234.94/3243.71 c #Conflicts: 1856000 | #Constraints: 142332
3234.94/3243.71 c #Conflicts: 1857000 | #Constraints: 143333
3234.94/3243.71 c #Conflicts: 1858000 | #Constraints: 144333
3234.94/3243.71 c #Conflicts: 1859000 | #Constraints: 145333
3234.94/3243.71 c #Conflicts: 1860000 | #Constraints: 146333
3234.94/3243.71 c #Conflicts: 1861000 | #Constraints: 147333
3234.94/3243.71 c #Conflicts: 1862000 | #Constraints: 148333
3234.94/3243.71 c #Conflicts: 1863000 | #Constraints: 149333
3234.94/3243.71 c #Conflicts: 1864000 | #Constraints: 150333
3234.94/3243.71 c #Conflicts: 1865000 | #Constraints: 151333
3234.94/3243.71 c #Conflicts: 1866000 | #Constraints: 152333
3234.94/3243.71 c #Conflicts: 1867000 | #Constraints: 153333
3234.94/3243.71 c #Conflicts: 1868000 | #Constraints: 154333
3234.94/3243.71 c #Conflicts: 1869000 | #Constraints: 155333
3234.94/3243.71 c #Conflicts: 1870000 | #Constraints: 156333
3234.94/3243.71 c #Conflicts: 1871000 | #Constraints: 157333
3234.94/3243.71 c #Conflicts: 1872000 | #Constraints: 158333
3234.94/3243.71 c INPROCESSING
3234.94/3243.71 c GARBAGE COLLECT
3234.94/3243.71 c #Conflicts: 1873000 | #Constraints: 119581
3234.94/3243.71 c #Conflicts: 1874000 | #Constraints: 120581
3234.94/3243.71 c #Conflicts: 1875000 | #Constraints: 121581
3234.94/3243.71 c #Conflicts: 1876000 | #Constraints: 122581
3234.94/3243.71 c #Conflicts: 1877000 | #Constraints: 123581
3234.94/3243.71 c #Conflicts: 1878000 | #Constraints: 124581
3234.94/3243.71 c #Conflicts: 1879000 | #Constraints: 125581
3234.94/3243.71 c #Conflicts: 1880000 | #Constraints: 126581
3234.94/3243.71 c #Conflicts: 1881000 | #Constraints: 127581
3234.94/3243.71 c #Conflicts: 1882000 | #Constraints: 128581
3234.94/3243.71 c #Conflicts: 1883000 | #Constraints: 129581
3234.94/3243.71 c #Conflicts: 1884000 | #Constraints: 130581
3234.94/3243.71 c #Conflicts: 1885000 | #Constraints: 131581
3234.94/3243.71 c #Conflicts: 1886000 | #Constraints: 132581
3234.94/3243.71 c #Conflicts: 1887000 | #Constraints: 133581
3234.94/3243.71 c #Conflicts: 1888000 | #Constraints: 134581
3234.94/3243.71 c #Conflicts: 1889000 | #Constraints: 135581
3234.94/3243.71 c #Conflicts: 1890000 | #Constraints: 136581
3234.94/3243.71 c #Conflicts: 1891000 | #Constraints: 137581
3234.94/3243.71 c #Conflicts: 1892000 | #Constraints: 138581
3234.94/3243.71 c #Conflicts: 1893000 | #Constraints: 139581
3234.94/3243.71 c #Conflicts: 1894000 | #Constraints: 140581
3234.94/3243.71 c #Conflicts: 1895000 | #Constraints: 141581
3234.94/3243.71 c #Conflicts: 1896000 | #Constraints: 142581
3234.94/3243.71 c #Conflicts: 1897000 | #Constraints: 143581
3234.94/3243.71 c #Conflicts: 1898000 | #Constraints: 144581
3234.94/3243.71 c #Conflicts: 1899000 | #Constraints: 145581
3234.94/3243.71 c #Conflicts: 1900000 | #Constraints: 146581
3234.94/3243.71 c #Conflicts: 1901000 | #Constraints: 147582
3234.94/3243.71 c INPROCESSING
3234.94/3243.71 c GARBAGE COLLECT
3234.94/3243.71 c rational objective 75.2218
3392.83/3402.09 c #Conflicts: 1902000 | #Constraints: 113738
3392.83/3402.09 c #Conflicts: 1903000 | #Constraints: 114738
3392.83/3402.09 c #Conflicts: 1904000 | #Constraints: 115738
3392.83/3402.09 c #Conflicts: 1905000 | #Constraints: 116738
3392.83/3402.09 c #Conflicts: 1906000 | #Constraints: 117738
3392.83/3402.09 c #Conflicts: 1907000 | #Constraints: 118738
3392.83/3402.09 c #Conflicts: 1908000 | #Constraints: 119738
3392.83/3402.09 c #Conflicts: 1909000 | #Constraints: 120738
3392.83/3402.09 c #Conflicts: 1910000 | #Constraints: 121738
3392.83/3402.09 c #Conflicts: 1911000 | #Constraints: 122738
3392.83/3402.09 c #Conflicts: 1912000 | #Constraints: 123738
3392.83/3402.09 c #Conflicts: 1913000 | #Constraints: 124738
3392.83/3402.09 c #Conflicts: 1914000 | #Constraints: 125738
3392.83/3402.09 c #Conflicts: 1915000 | #Constraints: 126738
3392.83/3402.09 c #Conflicts: 1916000 | #Constraints: 127738
3392.83/3402.09 c #Conflicts: 1917000 | #Constraints: 128738
3392.83/3402.09 c #Conflicts: 1918000 | #Constraints: 129738
3392.83/3402.09 c #Conflicts: 1919000 | #Constraints: 130738
3392.83/3402.09 c #Conflicts: 1920000 | #Constraints: 131738
3392.83/3402.09 c #Conflicts: 1921000 | #Constraints: 132738
3392.83/3402.09 c #Conflicts: 1922000 | #Constraints: 133738
3392.83/3402.09 c #Conflicts: 1923000 | #Constraints: 134738
3392.83/3402.09 c #Conflicts: 1924000 | #Constraints: 135738
3392.83/3402.09 c #Conflicts: 1925000 | #Constraints: 136738
3392.83/3402.09 c #Conflicts: 1926000 | #Constraints: 137738
3392.83/3402.09 c #Conflicts: 1927000 | #Constraints: 138738
3392.83/3402.09 c #Conflicts: 1928000 | #Constraints: 139738
3392.83/3402.09 c #Conflicts: 1929000 | #Constraints: 140738
3392.83/3402.09 c #Conflicts: 1930000 | #Constraints: 141738
3392.83/3402.09 c #Conflicts: 1931000 | #Constraints: 142738
3392.83/3402.09 c #Conflicts: 1932000 | #Constraints: 143738
3392.83/3402.09 c #Conflicts: 1933000 | #Constraints: 144738
3392.83/3402.09 c #Conflicts: 1934000 | #Constraints: 145738
3392.83/3402.09 c #Conflicts: 1935000 | #Constraints: 146738
3392.83/3402.09 c #Conflicts: 1936000 | #Constraints: 147738
3392.83/3402.09 c #Conflicts: 1937000 | #Constraints: 148738
3392.83/3402.09 c #Conflicts: 1938000 | #Constraints: 149738
3392.83/3402.09 c #Conflicts: 1939000 | #Constraints: 150738
3392.83/3402.09 c #Conflicts: 1940000 | #Constraints: 151738
3392.83/3402.09 c #Conflicts: 1941000 | #Constraints: 152738
3392.83/3402.09 c #Conflicts: 1942000 | #Constraints: 153738
3392.83/3402.09 c #Conflicts: 1943000 | #Constraints: 154738
3392.83/3402.09 c #Conflicts: 1944000 | #Constraints: 155738
3392.83/3402.09 c #Conflicts: 1945000 | #Constraints: 156738
3392.83/3402.09 c #Conflicts: 1946000 | #Constraints: 157738
3392.83/3402.09 c #Conflicts: 1947000 | #Constraints: 158738
3392.83/3402.09 c #Conflicts: 1948000 | #Constraints: 159738
3392.83/3402.09 c #Conflicts: 1949000 | #Constraints: 160738
3392.83/3402.09 c #Conflicts: 1950000 | #Constraints: 161738
3392.83/3402.09 c #Conflicts: 1951000 | #Constraints: 162738
3392.83/3402.09 c #Conflicts: 1952000 | #Constraints: 163738
3392.83/3402.09 c #Conflicts: 1953000 | #Constraints: 164738
3392.83/3402.09 c #Conflicts: 1954000 | #Constraints: 165738
3392.83/3402.09 c #Conflicts: 1955000 | #Constraints: 166738
3392.83/3402.09 c #Conflicts: 1956000 | #Constraints: 167738
3392.83/3402.09 c #Conflicts: 1957000 | #Constraints: 168738
3392.83/3402.09 c #Conflicts: 1958000 | #Constraints: 169738
3392.83/3402.09 c #Conflicts: 1959000 | #Constraints: 170738
3392.83/3402.09 c #Conflicts: 1960000 | #Constraints: 171738
3392.83/3402.09 c #Conflicts: 1961000 | #Constraints: 172738
3392.83/3402.09 c #Conflicts: 1962000 | #Constraints: 173738
3392.83/3402.09 c #Conflicts: 1963000 | #Constraints: 174738
3392.83/3402.09 c #Conflicts: 1964000 | #Constraints: 175738
3392.83/3402.09 c #Conflicts: 1965000 | #Constraints: 176738
3392.83/3402.09 c #Conflicts: 1966000 | #Constraints: 177738
3392.83/3402.09 c #Conflicts: 1967000 | #Constraints: 178738
3392.83/3402.09 c #Conflicts: 1968000 | #Constraints: 179738
3392.83/3402.09 c #Conflicts: 1969000 | #Constraints: 180738
3392.83/3402.09 c #Conflicts: 1970000 | #Constraints: 181738
3392.83/3402.09 c #Conflicts: 1971000 | #Constraints: 182739
3392.83/3402.09 c #Conflicts: 1972000 | #Constraints: 183739
3392.83/3402.09 c #Conflicts: 1973000 | #Constraints: 184739
3392.83/3402.09 c #Conflicts: 1974000 | #Constraints: 185739
3392.83/3402.09 c #Conflicts: 1975000 | #Constraints: 186739
3392.83/3402.09 c #Conflicts: 1976000 | #Constraints: 187739
3392.83/3402.09 c #Conflicts: 1977000 | #Constraints: 188739
3392.83/3402.09 c #Conflicts: 1978000 | #Constraints: 189739
3392.83/3402.09 c #Conflicts: 1979000 | #Constraints: 190739
3392.83/3402.09 c #Conflicts: 1980000 | #Constraints: 191739
3590.41/3600.18 c #Conflicts: 1981000 | #Constraints: 192739
3590.41/3600.18 c #Conflicts: 1982000 | #Constraints: 193739
3590.41/3600.18 c #Conflicts: 1983000 | #Constraints: 194739
3590.41/3600.18 c #Conflicts: 1984000 | #Constraints: 195739
3590.41/3600.18 c #Conflicts: 1985000 | #Constraints: 196739
3590.41/3600.18 c #Conflicts: 1986000 | #Constraints: 197739
3590.41/3600.18 c #Conflicts: 1987000 | #Constraints: 198739
3590.41/3600.18 c #Conflicts: 1988000 | #Constraints: 199739
3590.41/3600.18 c #Conflicts: 1989000 | #Constraints: 200740
3590.41/3600.18 c #Conflicts: 1990000 | #Constraints: 201742
3590.41/3600.18 c #Conflicts: 1991000 | #Constraints: 202742
3590.41/3600.18 c #Conflicts: 1992000 | #Constraints: 203743
3590.41/3600.18 c #Conflicts: 1993000 | #Constraints: 204743
3590.41/3600.18 c #Conflicts: 1994000 | #Constraints: 205743
3590.41/3600.18 c #Conflicts: 1995000 | #Constraints: 206743
3590.41/3600.18 c #Conflicts: 1996000 | #Constraints: 207743
3590.41/3600.18 c #Conflicts: 1997000 | #Constraints: 208744
3590.41/3600.18 c #Conflicts: 1998000 | #Constraints: 209744
3590.41/3600.18 c #Conflicts: 1999000 | #Constraints: 210744
3590.41/3600.18 c #Conflicts: 2000000 | #Constraints: 211744
3590.41/3600.18 c #Conflicts: 2001000 | #Constraints: 212744
3590.41/3600.18 c #Conflicts: 2002000 | #Constraints: 213744
3590.41/3600.18 c #Conflicts: 2003000 | #Constraints: 214744
3590.41/3600.18 c #Conflicts: 2004000 | #Constraints: 215744
3590.41/3600.18 c #Conflicts: 2005000 | #Constraints: 216744
3590.41/3600.18 c #Conflicts: 2006000 | #Constraints: 217744
3590.41/3600.18 c #Conflicts: 2007000 | #Constraints: 218744
3590.41/3600.18 c #Conflicts: 2008000 | #Constraints: 219744
3590.41/3600.18 c #Conflicts: 2009000 | #Constraints: 220745
3590.41/3600.18 c #Conflicts: 2010000 | #Constraints: 221745
3590.41/3600.18 c #Conflicts: 2011000 | #Constraints: 222745
3590.41/3600.18 c #Conflicts: 2012000 | #Constraints: 223746
3590.41/3600.18 c #Conflicts: 2013000 | #Constraints: 224746
3590.41/3600.18 c #Conflicts: 2014000 | #Constraints: 225746
3590.41/3600.18 c INPROCESSING
3590.41/3600.18 c GARBAGE COLLECT
3590.41/3600.18 c #Conflicts: 2015000 | #Constraints: 152827
3590.41/3600.18 c #Conflicts: 2016000 | #Constraints: 153827
3590.41/3600.18 c #Conflicts: 2017000 | #Constraints: 154827
3590.41/3600.18 c #Conflicts: 2018000 | #Constraints: 155827
3590.41/3600.18 c #Conflicts: 2019000 | #Constraints: 156827
3590.41/3600.18 c #Conflicts: 2020000 | #Constraints: 157827
3590.41/3600.18 c #Conflicts: 2021000 | #Constraints: 158827
3590.41/3600.18 c #Conflicts: 2022000 | #Constraints: 159827
3590.41/3600.18 c #Conflicts: 2023000 | #Constraints: 160828
3590.41/3600.18 c #Conflicts: 2024000 | #Constraints: 161828
3590.41/3600.18 c #Conflicts: 2025000 | #Constraints: 162828
3590.41/3600.18 c #Conflicts: 2026000 | #Constraints: 163828
3590.41/3600.18 c #Conflicts: 2027000 | #Constraints: 164828
3590.41/3600.18 c #Conflicts: 2028000 | #Constraints: 165828
3590.41/3600.18 c #Conflicts: 2029000 | #Constraints: 166828
3590.41/3600.18 c #Conflicts: 2030000 | #Constraints: 167828
3590.41/3600.18 c #Conflicts: 2031000 | #Constraints: 168829
3590.41/3600.18 c #Conflicts: 2032000 | #Constraints: 169829
3590.41/3600.18 c #Conflicts: 2033000 | #Constraints: 170830
3590.41/3600.18 c #Conflicts: 2034000 | #Constraints: 171831
3590.41/3600.18 c #Conflicts: 2035000 | #Constraints: 172832
3590.41/3600.18 c #Conflicts: 2036000 | #Constraints: 173833
3590.41/3600.18 c #Conflicts: 2037000 | #Constraints: 174833
3590.41/3600.18 c #Conflicts: 2038000 | #Constraints: 175833
3590.41/3600.18 c #Conflicts: 2039000 | #Constraints: 176833
3590.41/3600.18 c #Conflicts: 2040000 | #Constraints: 177833
3590.41/3600.18 c #Conflicts: 2041000 | #Constraints: 178833
3590.41/3600.18 c #Conflicts: 2042000 | #Constraints: 179833
3590.41/3600.18 c #Conflicts: 2043000 | #Constraints: 180833
3590.41/3600.18 c #Conflicts: 2044000 | #Constraints: 181833
3590.41/3600.18 c #Conflicts: 2045000 | #Constraints: 182833
3590.41/3600.18 c #Conflicts: 2046000 | #Constraints: 183833
3590.41/3600.18 c INPROCESSING
3590.41/3600.18 c GARBAGE COLLECT
3590.41/3600.18 c #Conflicts: 2047000 | #Constraints: 132286
3590.41/3600.18 c #Conflicts: 2048000 | #Constraints: 133287
3590.41/3600.18 c #Conflicts: 2049000 | #Constraints: 134287
3590.41/3600.18 c #Conflicts: 2050000 | #Constraints: 135287
3590.41/3600.18 c #Conflicts: 2051000 | #Constraints: 136287
3590.41/3600.18 c #Conflicts: 2052000 | #Constraints: 137287
3590.41/3600.18 c #Conflicts: 2053000 | #Constraints: 138287
3590.41/3600.18 c #Conflicts: 2054000 | #Constraints: 139288
3590.41/3600.18 c #Conflicts: 2055000 | #Constraints: 140293
3590.41/3600.18 c #Conflicts: 2056000 | #Constraints: 141294
3590.41/3600.18 c #Conflicts: 2057000 | #Constraints: 142295
3590.41/3600.18 c #Conflicts: 2058000 | #Constraints: 143295
3600.07/3609.80 c #Conflicts: 2059000 | #Constraints: 144295
3600.07/3609.80 c #Conflicts: 2060000 | #Constraints: 145295
3600.07/3609.80 c #Conflicts: 2061000 | #Constraints: 146295
3600.07/3609.80 c #Conflicts: 2062000 | #Constraints: 147295
3600.07/3609.80 c cpu time 3584.2 s
3600.07/3609.80 c deterministic time 233613247662 2.34e+11
3600.07/3609.80 c optimization time 31.7726 s
3600.07/3609.80 c total solve time 3551.64 s
3600.07/3609.80 c core-guided solve time 0 s
3600.07/3609.80 c propagation time 1732.43 s
3600.07/3609.80 c conflict analysis time 1682.65 s
3600.07/3609.80 c propagations 814834288
3600.07/3609.80 c resolve steps 85358448
3600.07/3609.80 c decisions 3919309
3600.07/3609.80 c conflicts 2062006
3600.07/3609.80 c restarts 4089
3600.07/3609.80 c inprocessing phases 93
3600.07/3609.80 c garbage collections 93 ,( 100.00 )
3600.07/3609.80 c input clauses 74490 ,( 94.86 )
3600.07/3609.80 c input cardinalities 53 ,( 0.07 )
3600.07/3609.80 c input general constraints 3984 ,( 5.07 )
3600.07/3609.80 c input average constraint length 2.16
3600.07/3609.80 c input average constraint degree 1.27
3600.07/3609.80 c learned clauses 1975993 ,( 95.80 )
3600.07/3609.80 c learned cardinalities 22351 ,( 1.08 )
3600.07/3609.80 c learned general constraints 64182 ,( 3.11 )
3600.07/3609.80 c learned average constraint length 1016.98
3600.07/3609.80 c learned average constraint degree 1333817.70
3600.07/3609.80 c watched CF 32, 64, 128, Arb: 51332 , 0 , 0 , 0
3600.07/3609.80 c counting CF 32, 64, 128, Arb: 16834 , 0 , 0 , 0
3600.07/3609.80 c watched constraints 51332 ,( 75.30 )
3600.07/3609.80 c counting constraints 16834 ,( 24.70 )
3600.07/3609.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 6972078853 , 877340590 , 2253777438 ,( 383156180 , 1870621258 )
3600.07/3609.80 c gcd simplifications 9031
3600.07/3609.80 c detected cardinalities 190
3600.07/3609.80 c weakened non-implied lits 11424239
3600.07/3609.80 c weakened non-implying lits 10840
3600.07/3609.80 c original variables 5363
3600.07/3609.80 c clausal propagations 309127100
3600.07/3609.80 c cardinality propagations 13081337
3600.07/3609.80 c watched propagations 25197766
3600.07/3609.80 c counting propagations 465311503
3600.07/3609.80 c watch lookups 34861117855
3600.07/3609.80 c watch backjump lookups 0
3600.07/3609.80 c watch checks 165934788180
3600.07/3609.80 c propagation checks 27104738646
3600.07/3609.80 c constraint additions 4072662528
3600.07/3609.80 c trail pops 820812284
3600.07/3609.80 c formula constraints 78527
3600.07/3609.80 c learned constraints 2062005
3600.07/3609.80 c bound constraints 0
3600.07/3609.80 c core-guided constraints 0
3600.07/3609.80 c encountered formula constraints 68729139
3600.07/3609.80 c encountered learned constraints 18659447
3600.07/3609.80 c encountered bound constraints 0
3600.07/3609.80 c encountered core-guided constraints 0
3600.07/3609.80 c LP total time 93.3574 s
3600.07/3609.80 c LP solve time 81.78 s
3600.07/3609.80 c LP constraints added 78884
3600.07/3609.80 c LP constraints removed 243
3600.07/3609.80 c LP pivots internal 206643
3600.07/3609.80 c LP pivots root 167928
3600.07/3609.80 c LP calls 591
3600.07/3609.80 c LP optimalities 63
3600.07/3609.80 c LP no pivot count 0
3600.07/3609.80 c LP infeasibilities 453
3600.07/3609.80 c LP valid Farkas constraints 453
3600.07/3609.80 c LP learned Farkas constraints 0
3600.07/3609.80 c LP basis resets 71
3600.07/3609.80 c LP cycling count 18
3600.07/3609.80 c LP singular count 46
3600.07/3609.80 c LP no primal count 0
3600.07/3609.80 c LP no farkas count 0
3600.07/3609.80 c LP other issue count 7
3600.07/3609.80 c LP Gomory cuts 68
3600.07/3609.80 c LP learned cuts 289
3600.07/3609.80 c LP deleted cuts 243
3600.07/3609.80 c LP encountered Gomory constraints 1186
3600.07/3609.80 c LP encountered Farkas constraints 30682
3600.07/3609.80 c LP encountered learned Farkas constraints 0
3600.07/3609.80 c CG auxiliary variables introduced 0
3600.07/3609.80 c CG solutions found 0
3600.07/3609.80 c CG cores constructed 0
3600.07/3609.80 c CG core cardinality constraints returned 0
3600.07/3609.80 c CG unit cores 0
3600.07/3609.80 c CG single cores 0
3600.07/3609.80 c CG blocks removed during cardinality reduction 0
3600.07/3609.80 c CG first core best 0
3600.07/3609.80 c CG decision core best 0
3600.07/3609.80 c CG core reduction tie 0
3600.07/3609.80 c CG core degree average 0.00
3600.07/3609.80 c CG core slack average 0.00
3600.07/3609.80 c CG core upper bound improvements 0
3600.07/3609.80 c STR number of successful calls 0
3600.07/3609.80 c STR number of unsuccessful calls 0
3600.07/3609.80 c STR number of inconclusive calls 0
3600.07/3609.80 c STR number of successful attempts 0
3600.07/3609.80 c STR number of unsuccessful attempts 0
3600.07/3609.80 c STR number of inconclusive attempts 0
3600.07/3609.80 c STR average degree increase per successful call inf
3600.07/3609.80 c STR average degree increase per successful attempt inf
3600.07/3609.80 c STR total number of conflicts for successful attempts 0
3600.07/3609.80 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3609.80 c STR total number of conflicts for inconclusive attempts 0
3600.07/3609.80 c STR average number of conflicts per successful attempt inf
3600.07/3609.80 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3609.80 c STR average number of conflicts per inconclusive attempt inf
3600.07/3609.80 c AVG.sumWPerc 28.82
3600.07/3609.80 c bigint constraints 0
3600.07/3609.80 s UNKNOWN
3600.07/3609.80 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: 63837 MiB (62402 MiB free)
memory of node 1: 64465 MiB (63440 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545040-1753232897/watcher-4545040-1753232897 -o /tmp/evaluation-result-4545040-1753232897/solver-4545040-1753232897 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1753232894-165286 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4545040-1753232897.opb /tmp/proof-4545040-1753232897
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=165427, runsolver pid=165424
Current StackSize limit: 8192 KiB
[startup+0.100076 s]*
/proc/loadavg: 3.41 3.97 4.09 5/252 165429
/proc/meminfo: memFree=128830088/131382112 swapFree=33000116/33010684
[pid=165427] ppid=165424 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165427/stat : 165427 (run-dec-ls-log.) S 165424 165427 165275 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 238968847 4292608 768 18446744073709551615 93947298693120 93947299587653 140730657300992 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93947299826704 93947299874448 93947312463872 140730657302847 140730657303007 140730657303007 140730657308611 0
/proc/165427/statm: 1048 768 704 219 0 110 0
[pid=165429] ppid=165427 vsize=59036 memory=14932 CPUtime=0.08 cores=4,6
/proc/165429/stat : 165429 (roundingsat) R 165427 165427 165275 0 -1 4194304 1324 0 0 0 5 3 0 0 20 0 1 0 238968848 60452864 3733 18446744073709551615 4227072 8923433 140734242313616 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 42602496 140734242322804 140734242322982 140734242322982 140734242328554 0
/proc/165429/statm: 14759 3733 2112 1147 0 2186 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 63228 KiB
Current children cumulated memory: 18004 KiB
[startup+0.213389 s]*
/proc/loadavg: 3.41 3.97 4.09 5/252 165429
/proc/meminfo: memFree=128744328/131382112 swapFree=33000116/33010684
[pid=165427] ppid=165424 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165427/stat : 165427 (run-dec-ls-log.) S 165424 165427 165275 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 238968847 4292608 768 18446744073709551615 93947298693120 93947299587653 140730657300992 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93947299826704 93947299874448 93947312463872 140730657302847 140730657303007 140730657303007 140730657308611 0
/proc/165427/statm: 1048 768 704 219 0 110 0
[pid=165429] ppid=165427 vsize=62888 memory=18396 CPUtime=0.18 cores=4,6
/proc/165429/stat : 165429 (roundingsat) R 165427 165427 165275 0 -1 4194304 2304 0 0 0 13 5 0 0 20 0 1 0 238968848 64397312 4599 18446744073709551615 4227072 8923433 140734242313616 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42602496 140734242322804 140734242322982 140734242322982 140734242328554 0
/proc/165429/statm: 15722 4599 2112 1147 0 3149 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 67080 KiB
Current children cumulated memory: 21468 KiB
[startup+0.313291 s]*
/proc/loadavg: 3.41 3.97 4.09 5/252 165429
/proc/meminfo: memFree=128730216/131382112 swapFree=33000116/33010684
[pid=165427] ppid=165424 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165427/stat : 165427 (run-dec-ls-log.) S 165424 165427 165275 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 238968847 4292608 768 18446744073709551615 93947298693120 93947299587653 140730657300992 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93947299826704 93947299874448 93947312463872 140730657302847 140730657303007 140730657303007 140730657308611 0
/proc/165427/statm: 1048 768 704 219 0 110 0
[pid=165429] ppid=165427 vsize=65832 memory=21588 CPUtime=0.29 cores=4,6
/proc/165429/stat : 165429 (roundingsat) R 165427 165427 165275 0 -1 4194304 3151 0 0 0 21 8 0 0 20 0 1 0 238968848 67411968 5397 18446744073709551615 4227072 8923433 140734242313616 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42602496 140734242322804 140734242322982 140734242322982 140734242328554 0
/proc/165429/statm: 16458 5397 2112 1147 0 3885 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 70024 KiB
Current children cumulated memory: 24660 KiB
[startup+0.70036 s]
/proc/loadavg: 3.41 3.97 4.09 5/250 165429
/proc/meminfo: memFree=128550528/131382112 swapFree=33000116/33010684
[pid=165427] ppid=165424 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165427/stat : 165427 (run-dec-ls-log.) S 165424 165427 165275 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 238968847 4292608 768 18446744073709551615 93947298693120 93947299587653 140730657300992 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93947299826704 93947299874448 93947312463872 140730657302847 140730657303007 140730657303007 140730657308611 0
/proc/165427/statm: 1048 768 704 219 0 110 0
[pid=165429] ppid=165427 vsize=79152 memory=34008 CPUtime=0.66 cores=4,6
/proc/165429/stat : 165429 (roundingsat) R 165427 165427 165275 0 -1 4194304 6926 0 0 0 49 17 0 0 20 0 1 0 238968848 81051648 8502 18446744073709551615 4227072 8923433 140734242313616 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42602496 140734242322804 140734242322982 140734242322982 140734242328554 0
/proc/165429/statm: 19788 8502 2112 1147 0 7215 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 83344 KiB
Current children cumulated memory: 37080 KiB
[startup+1.50044 s]
/proc/loadavg: 3.41 3.97 4.09 5/256 165440
/proc/meminfo: memFree=128000740/131382112 swapFree=33000116/33010684
[pid=165427] ppid=165424 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165427/stat : 165427 (run-dec-ls-log.) S 165424 165427 165275 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 238968847 4292608 768 18446744073709551615 93947298693120 93947299587653 140730657300992 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93947299826704 93947299874448 93947312463872 140730657302847 140730657303007 140730657303007 140730657308611 0
/proc/165427/statm: 1048 768 704 219 0 110 0
[pid=165429] ppid=165427 vsize=193480 memory=122684 CPUtime=1.45 cores=4,6
/proc/165429/stat : 165429 (roundingsat) R 165427 165427 165275 0 -1 4194304 18971 0 0 0 121 24 0 0 20 0 1 0 238968848 198123520 30671 18446744073709551615 4227072 8923433 140734242313616 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42602496 140734242322804 140734242322982 140734242322982 140734242328554 0
/proc/165429/statm: 48370 30671 2368 1147 0 35797 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 197672 KiB
Current children cumulated memory: 125756 KiB
[startup+3.11311 s]
/proc/loadavg: 3.41 3.97 4.09 5/256 165440
/proc/meminfo: memFree=127704056/131382112 swapFree=33000116/33010684
[pid=165427] ppid=165424 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165427/stat : 165427 (run-dec-ls-log.) S 165424 165427 165275 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 238968847 4292608 768 18446744073709551615 93947298693120 93947299587653 140730657300992 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93947299826704 93947299874448 93947312463872 140730657302847 140730657303007 140730657303007 140730657308611 0
/proc/165427/statm: 1048 768 704 219 0 110 0
[pid=165429] ppid=165427 vsize=200620 memory=126728 CPUtime=3.06 cores=4,6
/proc/165429/stat : 165429 (roundingsat) R 165427 165427 165275 0 -1 4194304 19430 0 0 0 280 26 0 0 20 0 1 0 238968848 205434880 31682 18446744073709551615 4227072 8923433 140734242313616 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42602496 140734242322804 140734242322982 140734242322982 140734242328554 0
/proc/165429/statm: 50155 31682 2400 1147 0 37582 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 204812 KiB
Current children cumulated memory: 129800 KiB
[startup+6.30038 s]
/proc/loadavg: 3.45 3.97 4.09 5/256 165440
/proc/meminfo: memFree=126725216/131382112 swapFree=33000116/33010684
[pid=165427] ppid=165424 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165427/stat : 165427 (run-dec-ls-log.) S 165424 165427 165275 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 238968847 4292608 768 18446744073709551615 93947298693120 93947299587653 140730657300992 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93947299826704 93947299874448 93947312463872 140730657302847 140730657303007 140730657303007 140730657308611 0
/proc/165427/statm: 1048 768 704 219 0 110 0
[pid=165429] ppid=165427 vsize=200620 memory=129668 CPUtime=6.24 cores=4,6
/proc/165429/stat : 165429 (roundingsat) R 165427 165427 165275 0 -1 4194304 19652 0 0 0 596 28 0 0 20 0 1 0 238968848 205434880 32417 18446744073709551615 4227072 8923433 140734242313616 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42602496 140734242322804 140734242322982 140734242322982 140734242328554 0
/proc/165429/statm: 50155 32417 2400 1147 0 37582 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 204812 KiB
Current children cumulated memory: 132740 KiB
[startup+12.7004 s]
/proc/loadavg: 3.50 3.97 4.09 5/256 165440
/proc/meminfo: memFree=126517664/131382112 swapFree=33000116/33010684
[pid=165427] ppid=165424 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165427/stat : 165427 (run-dec-ls-log.) S 165424 165427 165275 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 238968847 4292608 768 18446744073709551615 93947298693120 93947299587653 140730657300992 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93947299826704 93947299874448 93947312463872 140730657302847 140730657303007 140730657303007 140730657308611 0
/proc/165427/statm: 1048 768 704 219 0 110 0
[pid=165429] ppid=165427 vsize=200620 memory=130692 CPUtime=12.62 cores=4,6
/proc/165429/stat : 165429 (roundingsat) R 165427 165427 165275 0 -1 4194304 19910 0 0 0 1229 33 0 0 20 0 1 0 238968848 205434880 32673 18446744073709551615 4227072 8923433 140734242313616 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42602496 140734242322804 140734242322982 140734242322982 140734242328554 0
/proc/165429/statm: 50155 32673 2432 1147 0 37582 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 204812 KiB
Current children cumulated memory: 133764 KiB
[startup+25.5004 s]
/proc/loadavg: 3.61 3.97 4.09 5/256 165440
/proc/meminfo: memFree=126515004/131382112 swapFree=33000116/33010684
[pid=165427] ppid=165424 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165427/stat : 165427 (run-dec-ls-log.) S 165424 165427 165275 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 238968847 4292608 768 18446744073709551615 93947298693120 93947299587653 140730657300992 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93947299826704 93947299874448 93947312463872 140730657302847 140730657303007 140730657303007 140730657308611 0
/proc/165427/statm: 1048 768 704 219 0 110 0
[pid=165429] ppid=165427 vsize=219264 memory=144864 CPUtime=25.39 cores=4,6
/proc/165429/stat : 165429 (roundingsat) R 165427 165427 165275 0 -1 4194304 21558 0 0 0 2498 41 0 0 20 0 1 0 238968848 224526336 36216 18446744073709551615 4227072 8923433 140734242313616 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42602496 140734242322804 140734242322982 140734242322982 140734242328554 0
/proc/165429/statm: 54816 36216 2432 1147 0 42243 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 223456 KiB
Current children cumulated memory: 147936 KiB
[startup+51.1131 s]
/proc/loadavg: 3.86 4.01 4.10 5/256 165441
/proc/meminfo: memFree=126383816/131382112 swapFree=33000116/33010684
[pid=165427] ppid=165424 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165427/stat : 165427 (run-dec-ls-log.) S 165424 165427 165275 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 238968847 4292608 768 18446744073709551615 93947298693120 93947299587653 140730657300992 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93947299826704 93947299874448 93947312463872 140730657302847 140730657303007 140730657303007 140730657308611 0
/proc/165427/statm: 1048 768 704 219 0 110 0
[pid=165429] ppid=165427 vsize=236872 memory=157444 CPUtime=50.94 cores=4,6
/proc/165429/stat : 165429 (roundingsat) R 165427 165427 165275 0 -1 4194304 23192 0 0 0 5033 61 0 0 20 0 1 0 238968848 242556928 39361 18446744073709551615 4227072 8923433 140734242313616 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42602496 140734242322804 140734242322982 140734242322982 140734242328554 0
/proc/165429/statm: 59218 39361 2432 1147 0 46645 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 241064 KiB
Current children cumulated memory: 160516 KiB
[startup+102.3 s]
/proc/loadavg: 4.00 4.02 4.09 5/256 165442
/proc/meminfo: memFree=126091828/131382112 swapFree=33000116/33010684
[pid=165427] ppid=165424 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165427/stat : 165427 (run-dec-ls-log.) S 165424 165427 165275 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 238968847 4292608 768 18446744073709551615 93947298693120 93947299587653 140730657300992 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93947299826704 93947299874448 93947312463872 140730657302847 140730657303007 140730657303007 140730657308611 0
/proc/165427/statm: 1048 768 704 219 0 110 0
[pid=165429] ppid=165427 vsize=275532 memory=187560 CPUtime=101.99 cores=4,6
/proc/165429/stat : 165429 (roundingsat) R 165427 165427 165275 0 -1 4194304 27073 0 0 0 10104 95 0 0 20 0 1 0 238968848 282144768 46890 18446744073709551615 4227072 8923433 140734242313616 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42602496 140734242322804 140734242322982 140734242322982 140734242328554 0
/proc/165429/statm: 68883 46890 2528 1147 0 56310 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 279724 KiB
Current children cumulated memory: 190632 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.04 4.09 5/258 165495
/proc/meminfo: memFree=125620544/131382112 swapFree=33000116/33010684
[pid=165427] ppid=165424 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165427/stat : 165427 (run-dec-ls-log.) S 165424 165427 165275 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 238968847 4292608 768 18446744073709551615 93947298693120 93947299587653 140730657300992 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93947299826704 93947299874448 93947312463872 140730657302847 140730657303007 140730657303007 140730657308611 0
/proc/165427/statm: 1048 768 704 219 0 110 0
[pid=165429] ppid=165427 vsize=278468 memory=204964 CPUtime=161.8 cores=4,6
/proc/165429/stat : 165429 (roundingsat) R 165427 165427 165275 0 -1 4194304 27823 0 0 0 16044 136 0 0 20 0 1 0 238968848 285151232 51241 18446744073709551615 4227072 8923433 140734242313616 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42602496 140734242322804 140734242322982 140734242322982 140734242328554 0
/proc/165429/statm: 69617 51241 2528 1147 0 57044 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 282660 KiB
Current children cumulated memory: 208036 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.05 4.09 5/258 165497
/proc/meminfo: memFree=125522036/131382112 swapFree=33000116/33010684
[pid=165427] ppid=165424 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165427/stat : 165427 (run-dec-ls-log.) S 165424 165427 165275 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 238968847 4292608 768 18446744073709551615 93947298693120 93947299587653 140730657300992 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93947299826704 93947299874448 93947312463872 140730657302847 140730657303007 140730657303007 140730657308611 0
/proc/165427/statm: 1048 768 704 219 0 110 0
[pid=165429] ppid=165427 vsize=309288 memory=208444 CPUtime=221.62 cores=4,6
/proc/165429/stat : 165429 (roundingsat) R 165427 165427 165275 0 -1 4194304 28218 0 0 0 21992 170 0 0 20 0 1 0 238968848 316710912 52111 18446744073709551615 4227072 8923433 140734242313616 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42602496 140734242322804 140734242322982 140734242322982 140734242328554 0
/proc/165429/statm: 77322 52111 2528 1147 0 64749 0
################
# More data... #
################
/proc/165429/statm: 228765 195123 2528 1147 0 216192 0
Current children cumulated CPU time: 3034.06 s
Current children cumulated vsize: 919252 KiB
Current children cumulated memory: 783564 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.20 4.18 5/254 165636
/proc/meminfo: memFree=119660424/131382112 swapFree=33000116/33010684
[pid=165427] ppid=165424 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165427/stat : 165427 (run-dec-ls-log.) S 165424 165427 165275 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 238968847 4292608 768 18446744073709551615 93947298693120 93947299587653 140730657300992 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93947299826704 93947299874448 93947312463872 140730657302847 140730657303007 140730657303007 140730657308611 0
/proc/165427/statm: 1048 768 704 219 0 110 0
[pid=165429] ppid=165427 vsize=917296 memory=782412 CPUtime=3093.91 cores=4,6
/proc/165429/stat : 165429 (roundingsat) R 165427 165427 165275 0 -1 4194304 50178 0 0 0 307994 1397 0 0 20 0 1 0 238968848 939311104 195603 18446744073709551615 4227072 8923433 140734242313616 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42602496 140734242322804 140734242322982 140734242322982 140734242328554 0
/proc/165429/statm: 229324 195603 2528 1147 0 216751 0
Current children cumulated CPU time: 3093.91 s
Current children cumulated vsize: 921488 KiB
Current children cumulated memory: 785484 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.19 4.18 5/254 165638
/proc/meminfo: memFree=119585232/131382112 swapFree=33000116/33010684
[pid=165427] ppid=165424 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165427/stat : 165427 (run-dec-ls-log.) S 165424 165427 165275 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 238968847 4292608 768 18446744073709551615 93947298693120 93947299587653 140730657300992 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93947299826704 93947299874448 93947312463872 140730657302847 140730657303007 140730657303007 140730657308611 0
/proc/165427/statm: 1048 768 704 219 0 110 0
[pid=165429] ppid=165427 vsize=924304 memory=789744 CPUtime=3153.75 cores=4,6
/proc/165429/stat : 165429 (roundingsat) R 165427 165427 165275 0 -1 4194304 50969 0 0 0 313956 1419 0 0 20 0 1 0 238968848 946487296 197436 18446744073709551615 4227072 8923433 140734242313616 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42602496 140734242322804 140734242322982 140734242322982 140734242328554 0
/proc/165429/statm: 231076 197436 2528 1147 0 218503 0
Current children cumulated CPU time: 3153.75 s
Current children cumulated vsize: 928496 KiB
Current children cumulated memory: 792816 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.17 4.17 5/255 165652
/proc/meminfo: memFree=119482896/131382112 swapFree=33000116/33010684
[pid=165427] ppid=165424 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165427/stat : 165427 (run-dec-ls-log.) S 165424 165427 165275 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 238968847 4292608 768 18446744073709551615 93947298693120 93947299587653 140730657300992 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93947299826704 93947299874448 93947312463872 140730657302847 140730657303007 140730657303007 140730657308611 0
/proc/165427/statm: 1048 768 704 219 0 110 0
[pid=165429] ppid=165427 vsize=924304 memory=789744 CPUtime=3213.59 cores=4,6
/proc/165429/stat : 165429 (roundingsat) R 165427 165427 165275 0 -1 4194304 50969 0 0 0 319916 1443 0 0 20 0 1 0 238968848 946487296 197436 18446744073709551615 4227072 8923433 140734242313616 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42602496 140734242322804 140734242322982 140734242322982 140734242328554 0
/proc/165429/statm: 231076 197436 2528 1147 0 218503 0
Current children cumulated CPU time: 3213.59 s
Current children cumulated vsize: 928496 KiB
Current children cumulated memory: 792816 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.15 4.17 5/255 165654
/proc/meminfo: memFree=119413284/131382112 swapFree=33000116/33010684
[pid=165427] ppid=165424 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165427/stat : 165427 (run-dec-ls-log.) S 165424 165427 165275 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 238968847 4292608 768 18446744073709551615 93947298693120 93947299587653 140730657300992 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93947299826704 93947299874448 93947312463872 140730657302847 140730657303007 140730657303007 140730657308611 0
/proc/165427/statm: 1048 768 704 219 0 110 0
[pid=165429] ppid=165427 vsize=924304 memory=789744 CPUtime=3273.43 cores=4,6
/proc/165429/stat : 165429 (roundingsat) R 165427 165427 165275 0 -1 4194304 50969 0 0 0 325871 1472 0 0 20 0 1 0 238968848 946487296 197436 18446744073709551615 4227072 8923433 140734242313616 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42602496 140734242322804 140734242322982 140734242322982 140734242328554 0
/proc/165429/statm: 231076 197436 2528 1147 0 218503 0
Current children cumulated CPU time: 3273.43 s
Current children cumulated vsize: 928496 KiB
Current children cumulated memory: 792816 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.14 4.16 5/254 165656
/proc/meminfo: memFree=119332808/131382112 swapFree=33000116/33010684
[pid=165427] ppid=165424 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165427/stat : 165427 (run-dec-ls-log.) S 165424 165427 165275 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 238968847 4292608 768 18446744073709551615 93947298693120 93947299587653 140730657300992 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93947299826704 93947299874448 93947312463872 140730657302847 140730657303007 140730657303007 140730657308611 0
/proc/165427/statm: 1048 768 704 219 0 110 0
[pid=165429] ppid=165427 vsize=924304 memory=789744 CPUtime=3333.27 cores=4,6
/proc/165429/stat : 165429 (roundingsat) R 165427 165427 165275 0 -1 4194304 51068 0 0 0 331828 1499 0 0 20 0 1 0 238968848 946487296 197436 18446744073709551615 4227072 8923433 140734242313616 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42602496 140734242322804 140734242322982 140734242322982 140734242328554 0
/proc/165429/statm: 231076 197436 2528 1147 0 218503 0
Current children cumulated CPU time: 3333.27 s
Current children cumulated vsize: 928496 KiB
Current children cumulated memory: 792816 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/254 165658
/proc/meminfo: memFree=119269704/131382112 swapFree=33000116/33010684
[pid=165427] ppid=165424 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165427/stat : 165427 (run-dec-ls-log.) S 165424 165427 165275 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 238968847 4292608 768 18446744073709551615 93947298693120 93947299587653 140730657300992 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93947299826704 93947299874448 93947312463872 140730657302847 140730657303007 140730657303007 140730657308611 0
/proc/165427/statm: 1048 768 704 219 0 110 0
[pid=165429] ppid=165427 vsize=924304 memory=789744 CPUtime=3393.12 cores=4,6
/proc/165429/stat : 165429 (roundingsat) R 165427 165427 165275 0 -1 4194304 51233 0 0 0 337792 1520 0 0 20 0 1 0 238968848 946487296 197436 18446744073709551615 4227072 8923433 140734242313616 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42602496 140734242322804 140734242322982 140734242322982 140734242328554 0
/proc/165429/statm: 231076 197436 2528 1147 0 218503 0
Current children cumulated CPU time: 3393.12 s
Current children cumulated vsize: 928496 KiB
Current children cumulated memory: 792816 KiB
[startup+3462.3 s]
/proc/loadavg: 4.05 4.11 4.15 5/254 165660
/proc/meminfo: memFree=119190992/131382112 swapFree=33000116/33010684
[pid=165427] ppid=165424 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165427/stat : 165427 (run-dec-ls-log.) S 165424 165427 165275 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 238968847 4292608 768 18446744073709551615 93947298693120 93947299587653 140730657300992 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93947299826704 93947299874448 93947312463872 140730657302847 140730657303007 140730657303007 140730657308611 0
/proc/165427/statm: 1048 768 704 219 0 110 0
[pid=165429] ppid=165427 vsize=924304 memory=789744 CPUtime=3452.95 cores=4,6
/proc/165429/stat : 165429 (roundingsat) R 165427 165427 165275 0 -1 4194304 51272 0 0 0 343757 1538 0 0 20 0 1 0 238968848 946487296 197436 18446744073709551615 4227072 8923433 140734242313616 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42602496 140734242322804 140734242322982 140734242322982 140734242328554 0
/proc/165429/statm: 231076 197436 2528 1147 0 218503 0
Current children cumulated CPU time: 3452.95 s
Current children cumulated vsize: 928496 KiB
Current children cumulated memory: 792816 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.15 5/253 165662
/proc/meminfo: memFree=119119908/131382112 swapFree=33000116/33010684
[pid=165427] ppid=165424 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165427/stat : 165427 (run-dec-ls-log.) S 165424 165427 165275 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 238968847 4292608 768 18446744073709551615 93947298693120 93947299587653 140730657300992 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93947299826704 93947299874448 93947312463872 140730657302847 140730657303007 140730657303007 140730657308611 0
/proc/165427/statm: 1048 768 704 219 0 110 0
[pid=165429] ppid=165427 vsize=924304 memory=789744 CPUtime=3512.8 cores=4,6
/proc/165429/stat : 165429 (roundingsat) R 165427 165427 165275 0 -1 4194304 51298 0 0 0 349724 1556 0 0 20 0 1 0 238968848 946487296 197436 18446744073709551615 4227072 8923433 140734242313616 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42602496 140734242322804 140734242322982 140734242322982 140734242328554 0
/proc/165429/statm: 231076 197436 2528 1147 0 218503 0
Current children cumulated CPU time: 3512.8 s
Current children cumulated vsize: 928496 KiB
Current children cumulated memory: 792816 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.15 5/254 165665
/proc/meminfo: memFree=119043732/131382112 swapFree=33000116/33010684
[pid=165427] ppid=165424 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165427/stat : 165427 (run-dec-ls-log.) S 165424 165427 165275 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 238968847 4292608 768 18446744073709551615 93947298693120 93947299587653 140730657300992 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93947299826704 93947299874448 93947312463872 140730657302847 140730657303007 140730657303007 140730657308611 0
/proc/165427/statm: 1048 768 704 219 0 110 0
[pid=165429] ppid=165427 vsize=930960 memory=796400 CPUtime=3572.65 cores=4,6
/proc/165429/stat : 165429 (roundingsat) R 165427 165427 165275 0 -1 4194304 51940 0 0 0 355686 1579 0 0 20 0 1 0 238968848 953303040 199100 18446744073709551615 4227072 8923433 140734242313616 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42602496 140734242322804 140734242322982 140734242322982 140734242328554 0
/proc/165429/statm: 232740 199100 2528 1147 0 220167 0
Current children cumulated CPU time: 3572.65 s
Current children cumulated vsize: 935152 KiB
Current children cumulated memory: 799472 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.07 4.10 4.14 4/249 165673
/proc/meminfo: memFree=120323664/131382112 swapFree=33000116/33010684
[pid=165427] ppid=165424 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165427/stat : 165427 (run-dec-ls-log.) S 165424 165427 165275 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 238968847 4292608 768 18446744073709551615 93947298693120 93947299587653 140730657300992 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93947299826704 93947299874448 93947312463872 140730657302847 140730657303007 140730657303007 140730657308611 0
/proc/165427/statm: 1048 768 704 219 0 110 0
[pid=165429] ppid=165427 vsize=930960 memory=796400 CPUtime=3600.07 cores=4,6
/proc/165429/stat : 165429 (roundingsat) R 165427 165427 165275 0 -1 4194304 51940 0 0 0 358420 1587 0 0 20 0 1 0 238968848 953303040 199100 18446744073709551615 4227072 8923433 140734242313616 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42602496 140734242322804 140734242322982 140734242322982 140734242328554 0
/proc/165429/statm: 232740 199100 2528 1147 0 220167 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 935152 KiB
Current children cumulated memory: 799472 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.81 s]
# the end of solver process 165427 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001726 s, system=0.003638 s
[startup+3609.82 s]
# the end of solver process 165429 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3584.22 s, system=15.8827 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
Child status: 2
Real time (s): 3609.82
CPU time (s): 3600.11
CPU user time (s): 3584.22
CPU system time (s): 15.8827
CPU usage (%): 99.7309
Max. virtual memory (cumulated for all children) (KiB): 935152
Max. memory (cumulated for all children) (KiB): 799472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.22
system time used= 15.8827
maximum resident set size= 796656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52166
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3170264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 219
involuntary context switches= 5720
# summary of solver processes directly reported to runsolver:
# pid: 165427,165429
# total CPU time (s): 3600.11
# total CPU user time (s): 3584.22
# total CPU system time (s): 15.8827
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0478 second user time and 36.4755 second system time
The end
Begin job on nodeC007 at 2025-07-23 03:08:17
IDJOB=4545040
IDBENCH=180696
IDSOLVER=3354
FILE ID=nodeC007/4545040-1753232897
RUNJOBID= nodeC007-1753232894-165286
SLURM_JOB_ID= 9687847
Free space on /tmp= 432940 MiB
SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-FRB-53-24-1-mgd_c18.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545040-1753232897/watcher-4545040-1753232897 -o /tmp/evaluation-result-4545040-1753232897/solver-4545040-1753232897 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1753232894-165286 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4545040-1753232897.opb /tmp/proof-4545040-1753232897
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= aa4c4c17affaea5fdc372b8ff9588da4
RANDOM SEED=929770815
nodeC007 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.344
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1196.992
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.565
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1203.806
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.837
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.193
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.594
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 128895528 kB
MemAvailable: 129465516 kB
Buffers: 16 kB
Cached: 1241476 kB
SwapCached: 2616 kB
Active: 1221400 kB
Inactive: 418224 kB
Active(anon): 385152 kB
Inactive(anon): 33312 kB
Active(file): 836248 kB
Inactive(file): 384912 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33000116 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 47672 kB
Writeback: 0 kB
AnonPages: 398500 kB
Mapped: 111260 kB
Shmem: 20304 kB
KReclaimable: 376908 kB
Slab: 471500 kB
SReclaimable: 376908 kB
SUnreclaim: 94592 kB
KernelStack: 3980 kB
PageTables: 3812 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 750608 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149352 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 83968 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: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 427756 MiB
End job on nodeC007 at 2025-07-23 04:08:27