0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.02 c #variables 435 #constraints 501
0.00/0.02 c objective is ce32
0.00/0.02 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.02 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.02 c GLOBAL bounds - >= -282 @ 0.002083
0.00/0.02 c GLOBAL bounds - >= -282 @ 0.002083
0.00/0.02 c GLOBAL bounds - >= -282 @ 0.00293
0.00/0.02 c GLOBAL bounds - >= -282 @ 0.003413
0.00/0.03 c GLOBAL bounds - >= -282 @ 0.009139
0.00/0.03 c GLOBAL bounds - >= -282 @ 0.014192
0.00/0.04 c GLOBAL bounds - >= -282 @ 0.020706
0.00/0.06 c GLOBAL bounds - >= -282 @ 0.040134
0.00/0.06 c GLOBAL bounds - >= -282 @ 0.042362
0.00/0.06 c GLOBAL bounds - >= -282 @ 0.043244
0.00/0.07 c GLOBAL bounds - >= -282 @ 0.048344
0.00/0.07 c GLOBAL bounds - >= -282 @ 0.052213
0.00/0.08 c GLOBAL bounds - >= -282 @ 0.059007
0.00/0.08 c GLOBAL bounds - >= -282 @ 0.061016
0.00/0.08 c GLOBAL bounds - >= -282 @ 0.06275
0.00/0.09 c GLOBAL bounds - >= -282 @ 0.065108
0.08/0.12 c GLOBAL bounds - >= -282 @ 0.102421
0.08/0.14 c GLOBAL bounds - >= -282 @ 0.113564
0.08/0.14 c GLOBAL bounds - >= -282 @ 0.121468
0.08/0.15 c GLOBAL bounds - >= -282 @ 0.124292
0.08/0.17 c GLOBAL bounds - >= -282 @ 0.148432
22.01/22.15 c #Conflicts: 1000 | #Constraints: 1539
22.01/22.15 c #Conflicts: 2000 | #Constraints: 2539
22.01/22.15 c INPROCESSING
22.01/22.15 c GARBAGE COLLECT
22.01/22.15 c #Conflicts: 3000 | #Constraints: 2556
22.01/22.15 c #Conflicts: 4000 | #Constraints: 3556
22.01/22.15 c INPROCESSING
22.01/22.15 c GARBAGE COLLECT
22.01/22.15 c #Conflicts: 5000 | #Constraints: 2964
22.01/22.15 c #Conflicts: 6000 | #Constraints: 3964
22.01/22.15 c INPROCESSING
22.01/22.15 c GARBAGE COLLECT
22.01/22.15 c #Conflicts: 7000 | #Constraints: 2968
22.01/22.15 c #Conflicts: 8000 | #Constraints: 3968
22.01/22.15 c #Conflicts: 9000 | #Constraints: 4968
22.01/22.15 c INPROCESSING
22.01/22.15 c GARBAGE COLLECT
22.01/22.15 c #Conflicts: 10000 | #Constraints: 3670
22.01/22.15 c #Conflicts: 11000 | #Constraints: 4670
22.01/22.15 c #Conflicts: 12000 | #Constraints: 5670
22.01/22.15 c INPROCESSING
22.01/22.15 c GARBAGE COLLECT
22.01/22.15 c #Conflicts: 13000 | #Constraints: 4122
22.01/22.15 c #Conflicts: 14000 | #Constraints: 5122
22.01/22.15 c #Conflicts: 15000 | #Constraints: 6122
22.01/22.15 c INPROCESSING
22.01/22.15 c GARBAGE COLLECT
22.01/22.15 c #Conflicts: 16000 | #Constraints: 4354
22.01/22.15 c #Conflicts: 17000 | #Constraints: 5354
22.01/22.15 c #Conflicts: 18000 | #Constraints: 6354
22.01/22.15 c INPROCESSING
22.01/22.15 c GARBAGE COLLECT
22.01/22.15 c #Conflicts: 19000 | #Constraints: 4373
22.01/22.15 c #Conflicts: 20000 | #Constraints: 5373
22.01/22.15 c #Conflicts: 21000 | #Constraints: 6373
22.01/22.15 c INPROCESSING
22.01/22.15 c GARBAGE COLLECT
22.01/22.15 c #Conflicts: 22000 | #Constraints: 4175
22.01/22.15 c #Conflicts: 23000 | #Constraints: 5175
22.01/22.15 c #Conflicts: 24000 | #Constraints: 6175
22.01/22.15 c #Conflicts: 25000 | #Constraints: 7175
22.01/22.15 c INPROCESSING
22.01/22.15 c GARBAGE COLLECT
22.01/22.15 c #Conflicts: 26000 | #Constraints: 4783
22.01/22.15 c #Conflicts: 27000 | #Constraints: 5783
22.01/22.15 c #Conflicts: 28000 | #Constraints: 6783
22.01/22.15 c #Conflicts: 29000 | #Constraints: 7783
22.01/22.15 c INPROCESSING
22.01/22.15 c GARBAGE COLLECT
22.01/22.15 c #Conflicts: 30000 | #Constraints: 5184
22.01/22.15 c #Conflicts: 31000 | #Constraints: 6184
22.01/22.15 c #Conflicts: 32000 | #Constraints: 7184
22.01/22.15 c #Conflicts: 33000 | #Constraints: 8184
22.01/22.15 c INPROCESSING
22.01/22.15 c GARBAGE COLLECT
22.01/22.15 c #Conflicts: 34000 | #Constraints: 5385
22.01/22.15 c #Conflicts: 35000 | #Constraints: 6385
22.01/22.15 c #Conflicts: 36000 | #Constraints: 7385
22.01/22.15 c #Conflicts: 37000 | #Constraints: 8385
22.01/22.15 c INPROCESSING
22.01/22.15 c GARBAGE COLLECT
22.01/22.15 c #Conflicts: 38000 | #Constraints: 5387
22.01/22.15 c #Conflicts: 39000 | #Constraints: 6387
22.01/22.15 c #Conflicts: 40000 | #Constraints: 7387
22.01/22.15 c #Conflicts: 41000 | #Constraints: 8387
22.01/22.15 c INPROCESSING
22.01/22.15 c GARBAGE COLLECT
22.01/22.15 c #Conflicts: 42000 | #Constraints: 5191
22.01/22.15 c #Conflicts: 43000 | #Constraints: 6191
22.01/22.15 c #Conflicts: 44000 | #Constraints: 7191
22.01/22.15 c #Conflicts: 45000 | #Constraints: 8191
22.01/22.15 c #Conflicts: 46000 | #Constraints: 9191
22.01/22.15 c INPROCESSING
22.01/22.15 c GARBAGE COLLECT
22.01/22.15 c #Conflicts: 47000 | #Constraints: 5786
22.01/22.15 c #Conflicts: 48000 | #Constraints: 6786
22.01/22.15 c #Conflicts: 49000 | #Constraints: 7786
22.01/22.15 c #Conflicts: 50000 | #Constraints: 8786
22.01/22.15 c #Conflicts: 51000 | #Constraints: 9786
22.01/22.15 c INPROCESSING
22.01/22.15 c GARBAGE COLLECT
22.01/22.15 c #Conflicts: 52000 | #Constraints: 6195
22.01/22.15 c #Conflicts: 53000 | #Constraints: 7195
22.01/22.15 c #Conflicts: 54000 | #Constraints: 8195
22.01/22.15 c #Conflicts: 55000 | #Constraints: 9195
22.01/22.15 c #Conflicts: 56000 | #Constraints: 10195
22.01/22.15 c INPROCESSING
22.01/22.15 c GARBAGE COLLECT
22.01/22.15 c #Conflicts: 57000 | #Constraints: 6394
22.01/22.15 c #Conflicts: 58000 | #Constraints: 7394
22.01/22.15 c #Conflicts: 59000 | #Constraints: 8394
22.01/22.15 c #Conflicts: 60000 | #Constraints: 9394
22.01/22.15 c #Conflicts: 61000 | #Constraints: 10394
22.01/22.15 c INPROCESSING
22.01/22.15 c GARBAGE COLLECT
22.01/22.15 c #Conflicts: 62000 | #Constraints: 6393
22.01/22.15 c #Conflicts: 63000 | #Constraints: 7393
22.01/22.15 c #Conflicts: 64000 | #Constraints: 8393
22.01/22.15 c #Conflicts: 65000 | #Constraints: 9393
22.01/22.15 c #Conflicts: 66000 | #Constraints: 10393
22.01/22.15 c INPROCESSING
22.01/22.15 c GARBAGE COLLECT
22.01/22.15 c #Conflicts: 67000 | #Constraints: 6194
22.01/22.15 c #Conflicts: 68000 | #Constraints: 7194
59.40/59.65 c #Conflicts: 69000 | #Constraints: 8194
59.40/59.65 c #Conflicts: 70000 | #Constraints: 9194
59.40/59.65 c #Conflicts: 71000 | #Constraints: 10194
59.40/59.65 c #Conflicts: 72000 | #Constraints: 11194
59.40/59.65 c INPROCESSING
59.40/59.65 c GARBAGE COLLECT
59.40/59.65 c #Conflicts: 73000 | #Constraints: 6788
59.40/59.65 c #Conflicts: 74000 | #Constraints: 7788
59.40/59.65 c #Conflicts: 75000 | #Constraints: 8788
59.40/59.65 c #Conflicts: 76000 | #Constraints: 9788
59.40/59.65 c #Conflicts: 77000 | #Constraints: 10788
59.40/59.65 c #Conflicts: 78000 | #Constraints: 11788
59.40/59.65 c INPROCESSING
59.40/59.65 c GARBAGE COLLECT
59.40/59.65 c #Conflicts: 79000 | #Constraints: 7187
59.40/59.65 c #Conflicts: 80000 | #Constraints: 8187
59.40/59.65 c #Conflicts: 81000 | #Constraints: 9187
59.40/59.65 c #Conflicts: 82000 | #Constraints: 10187
59.40/59.65 c #Conflicts: 83000 | #Constraints: 11187
59.40/59.65 c #Conflicts: 84000 | #Constraints: 12187
59.40/59.65 c INPROCESSING
59.40/59.65 c GARBAGE COLLECT
59.40/59.65 c #Conflicts: 85000 | #Constraints: 7392
59.40/59.65 c #Conflicts: 86000 | #Constraints: 8392
59.40/59.65 c #Conflicts: 87000 | #Constraints: 9392
59.40/59.65 c #Conflicts: 88000 | #Constraints: 10392
59.40/59.65 c #Conflicts: 89000 | #Constraints: 11392
59.40/59.65 c #Conflicts: 90000 | #Constraints: 12392
59.40/59.65 c INPROCESSING
59.40/59.65 c GARBAGE COLLECT
59.40/59.65 c #Conflicts: 91000 | #Constraints: 7394
59.40/59.65 c #Conflicts: 92000 | #Constraints: 8394
59.40/59.65 c #Conflicts: 93000 | #Constraints: 9394
59.40/59.65 c #Conflicts: 94000 | #Constraints: 10394
59.40/59.65 c #Conflicts: 95000 | #Constraints: 11394
59.40/59.65 c #Conflicts: 96000 | #Constraints: 12394
59.40/59.65 c INPROCESSING
59.40/59.65 c GARBAGE COLLECT
59.40/59.65 c #Conflicts: 97000 | #Constraints: 7201
59.40/59.65 c #Conflicts: 98000 | #Constraints: 8201
59.40/59.65 c #Conflicts: 99000 | #Constraints: 9201
59.40/59.65 c #Conflicts: 100000 | #Constraints: 10201
59.40/59.65 c #Conflicts: 101000 | #Constraints: 11201
59.40/59.65 c #Conflicts: 102000 | #Constraints: 12201
59.40/59.65 c #Conflicts: 103000 | #Constraints: 13201
59.40/59.65 c INPROCESSING
59.40/59.65 c GARBAGE COLLECT
59.40/59.65 c #Conflicts: 104000 | #Constraints: 7798
59.40/59.65 c #Conflicts: 105000 | #Constraints: 8798
59.40/59.65 c #Conflicts: 106000 | #Constraints: 9798
59.40/59.65 c #Conflicts: 107000 | #Constraints: 10798
59.40/59.65 c #Conflicts: 108000 | #Constraints: 11798
59.40/59.65 c #Conflicts: 109000 | #Constraints: 12798
59.40/59.65 c #Conflicts: 110000 | #Constraints: 13798
59.40/59.65 c INPROCESSING
59.40/59.65 c GARBAGE COLLECT
59.40/59.65 c #Conflicts: 111000 | #Constraints: 8201
59.40/59.65 c #Conflicts: 112000 | #Constraints: 9201
59.40/59.65 c #Conflicts: 113000 | #Constraints: 10201
59.40/59.65 c #Conflicts: 114000 | #Constraints: 11201
59.40/59.65 c #Conflicts: 115000 | #Constraints: 12201
59.40/59.65 c #Conflicts: 116000 | #Constraints: 13201
59.40/59.65 c #Conflicts: 117000 | #Constraints: 14201
59.40/59.65 c INPROCESSING
59.40/59.65 c GARBAGE COLLECT
59.40/59.65 c #Conflicts: 118000 | #Constraints: 8392
59.40/59.65 c #Conflicts: 119000 | #Constraints: 9392
59.40/59.65 c #Conflicts: 120000 | #Constraints: 10392
59.40/59.65 c #Conflicts: 121000 | #Constraints: 11392
59.40/59.65 c #Conflicts: 122000 | #Constraints: 12392
59.40/59.65 c #Conflicts: 123000 | #Constraints: 13392
59.40/59.65 c #Conflicts: 124000 | #Constraints: 14392
59.40/59.65 c INPROCESSING
59.40/59.65 c GARBAGE COLLECT
59.40/59.65 c #Conflicts: 125000 | #Constraints: 8390
59.40/59.65 c #Conflicts: 126000 | #Constraints: 9390
59.40/59.65 c #Conflicts: 127000 | #Constraints: 10390
59.40/59.65 c #Conflicts: 128000 | #Constraints: 11390
59.40/59.65 c #Conflicts: 129000 | #Constraints: 12390
59.40/59.65 c #Conflicts: 130000 | #Constraints: 13390
59.40/59.65 c #Conflicts: 131000 | #Constraints: 14390
59.40/59.65 c INPROCESSING
59.40/59.65 c GARBAGE COLLECT
59.40/59.65 c #Conflicts: 132000 | #Constraints: 8186
59.40/59.65 c #Conflicts: 133000 | #Constraints: 9186
59.40/59.65 c #Conflicts: 134000 | #Constraints: 10186
59.40/59.65 c #Conflicts: 135000 | #Constraints: 11186
59.40/59.65 c #Conflicts: 136000 | #Constraints: 12186
59.40/59.65 c #Conflicts: 137000 | #Constraints: 13186
59.40/59.65 c #Conflicts: 138000 | #Constraints: 14186
59.40/59.65 c #Conflicts: 139000 | #Constraints: 15186
59.40/59.65 c INPROCESSING
59.40/59.65 c GARBAGE COLLECT
59.40/59.65 c #Conflicts: 140000 | #Constraints: 8788
102.70/103.04 c #Conflicts: 141000 | #Constraints: 9788
102.70/103.04 c #Conflicts: 142000 | #Constraints: 10788
102.70/103.04 c #Conflicts: 143000 | #Constraints: 11788
102.70/103.04 c #Conflicts: 144000 | #Constraints: 12788
102.70/103.04 c #Conflicts: 145000 | #Constraints: 13788
102.70/103.04 c #Conflicts: 146000 | #Constraints: 14788
102.70/103.04 c #Conflicts: 147000 | #Constraints: 15788
102.70/103.04 c INPROCESSING
102.70/103.04 c GARBAGE COLLECT
102.70/103.04 c #Conflicts: 148000 | #Constraints: 9199
102.70/103.04 c #Conflicts: 149000 | #Constraints: 10199
102.70/103.04 c #Conflicts: 150000 | #Constraints: 11199
102.70/103.04 c #Conflicts: 151000 | #Constraints: 12199
102.70/103.04 c #Conflicts: 152000 | #Constraints: 13199
102.70/103.04 c #Conflicts: 153000 | #Constraints: 14199
102.70/103.04 c #Conflicts: 154000 | #Constraints: 15199
102.70/103.04 c #Conflicts: 155000 | #Constraints: 16199
102.70/103.04 c INPROCESSING
102.70/103.04 c GARBAGE COLLECT
102.70/103.04 c #Conflicts: 156000 | #Constraints: 9405
102.70/103.04 c #Conflicts: 157000 | #Constraints: 10405
102.70/103.04 c #Conflicts: 158000 | #Constraints: 11405
102.70/103.04 c #Conflicts: 159000 | #Constraints: 12405
102.70/103.04 c #Conflicts: 160000 | #Constraints: 13405
102.70/103.04 c #Conflicts: 161000 | #Constraints: 14405
102.70/103.04 c #Conflicts: 162000 | #Constraints: 15405
102.70/103.04 c #Conflicts: 163000 | #Constraints: 16405
102.70/103.04 c INPROCESSING
102.70/103.04 c GARBAGE COLLECT
102.70/103.04 c #Conflicts: 164000 | #Constraints: 9400
102.70/103.04 c #Conflicts: 165000 | #Constraints: 10400
102.70/103.04 c #Conflicts: 166000 | #Constraints: 11400
102.70/103.04 c #Conflicts: 167000 | #Constraints: 12400
102.70/103.04 c #Conflicts: 168000 | #Constraints: 13400
102.70/103.04 c #Conflicts: 169000 | #Constraints: 14400
102.70/103.04 c #Conflicts: 170000 | #Constraints: 15400
102.70/103.04 c #Conflicts: 171000 | #Constraints: 16400
102.70/103.04 c INPROCESSING
102.70/103.04 c GARBAGE COLLECT
102.70/103.04 c #Conflicts: 172000 | #Constraints: 9196
102.70/103.04 c #Conflicts: 173000 | #Constraints: 10196
102.70/103.04 c #Conflicts: 174000 | #Constraints: 11196
102.70/103.04 c #Conflicts: 175000 | #Constraints: 12196
102.70/103.04 c #Conflicts: 176000 | #Constraints: 13196
102.70/103.04 c #Conflicts: 177000 | #Constraints: 14196
102.70/103.04 c #Conflicts: 178000 | #Constraints: 15196
102.70/103.04 c #Conflicts: 179000 | #Constraints: 16196
102.70/103.04 c #Conflicts: 180000 | #Constraints: 17196
102.70/103.04 c INPROCESSING
102.70/103.04 c GARBAGE COLLECT
102.70/103.04 c #Conflicts: 181000 | #Constraints: 9793
102.70/103.04 c #Conflicts: 182000 | #Constraints: 10793
102.70/103.04 c #Conflicts: 183000 | #Constraints: 11793
102.70/103.04 c #Conflicts: 184000 | #Constraints: 12793
102.70/103.04 c #Conflicts: 185000 | #Constraints: 13793
102.70/103.04 c #Conflicts: 186000 | #Constraints: 14793
102.70/103.04 c #Conflicts: 187000 | #Constraints: 15793
102.70/103.04 c #Conflicts: 188000 | #Constraints: 16793
102.70/103.04 c #Conflicts: 189000 | #Constraints: 17793
102.70/103.04 c INPROCESSING
102.70/103.04 c GARBAGE COLLECT
102.70/103.04 c #Conflicts: 190000 | #Constraints: 10196
102.70/103.04 c #Conflicts: 191000 | #Constraints: 11196
102.70/103.04 c #Conflicts: 192000 | #Constraints: 12196
102.70/103.04 c #Conflicts: 193000 | #Constraints: 13196
102.70/103.04 c #Conflicts: 194000 | #Constraints: 14196
102.70/103.04 c #Conflicts: 195000 | #Constraints: 15196
102.70/103.04 c #Conflicts: 196000 | #Constraints: 16196
102.70/103.04 c #Conflicts: 197000 | #Constraints: 17196
102.70/103.04 c #Conflicts: 198000 | #Constraints: 18196
102.70/103.04 c INPROCESSING
102.70/103.04 c GARBAGE COLLECT
102.70/103.04 c #Conflicts: 199000 | #Constraints: 10390
102.70/103.04 c #Conflicts: 200000 | #Constraints: 11390
102.70/103.04 c #Conflicts: 201000 | #Constraints: 12390
102.70/103.04 c #Conflicts: 202000 | #Constraints: 13390
102.70/103.04 c #Conflicts: 203000 | #Constraints: 14390
102.70/103.04 c #Conflicts: 204000 | #Constraints: 15390
102.70/103.04 c #Conflicts: 205000 | #Constraints: 16390
102.70/103.04 c #Conflicts: 206000 | #Constraints: 17390
102.70/103.04 c #Conflicts: 207000 | #Constraints: 18390
102.70/103.04 c INPROCESSING
102.70/103.04 c GARBAGE COLLECT
102.70/103.04 c #Conflicts: 208000 | #Constraints: 10393
102.70/103.04 c #Conflicts: 209000 | #Constraints: 11393
102.70/103.04 c #Conflicts: 210000 | #Constraints: 12393
102.70/103.04 c #Conflicts: 211000 | #Constraints: 13393
102.70/103.04 c #Conflicts: 212000 | #Constraints: 14393
102.70/103.04 c #Conflicts: 213000 | #Constraints: 15393
150.26/150.76 c #Conflicts: 214000 | #Constraints: 16393
150.26/150.76 c #Conflicts: 215000 | #Constraints: 17393
150.26/150.76 c #Conflicts: 216000 | #Constraints: 18393
150.26/150.76 c INPROCESSING
150.26/150.76 c GARBAGE COLLECT
150.26/150.76 c #Conflicts: 217000 | #Constraints: 10194
150.26/150.76 c #Conflicts: 218000 | #Constraints: 11194
150.26/150.76 c #Conflicts: 219000 | #Constraints: 12194
150.26/150.76 c #Conflicts: 220000 | #Constraints: 13194
150.26/150.76 c #Conflicts: 221000 | #Constraints: 14194
150.26/150.76 c #Conflicts: 222000 | #Constraints: 15194
150.26/150.76 c #Conflicts: 223000 | #Constraints: 16194
150.26/150.76 c #Conflicts: 224000 | #Constraints: 17194
150.26/150.76 c #Conflicts: 225000 | #Constraints: 18194
150.26/150.76 c #Conflicts: 226000 | #Constraints: 19194
150.26/150.76 c INPROCESSING
150.26/150.76 c GARBAGE COLLECT
150.26/150.76 c #Conflicts: 227000 | #Constraints: 10790
150.26/150.76 c #Conflicts: 228000 | #Constraints: 11790
150.26/150.76 c #Conflicts: 229000 | #Constraints: 12790
150.26/150.76 c #Conflicts: 230000 | #Constraints: 13790
150.26/150.76 c #Conflicts: 231000 | #Constraints: 14790
150.26/150.76 c #Conflicts: 232000 | #Constraints: 15790
150.26/150.76 c #Conflicts: 233000 | #Constraints: 16790
150.26/150.76 c #Conflicts: 234000 | #Constraints: 17790
150.26/150.76 c #Conflicts: 235000 | #Constraints: 18790
150.26/150.76 c #Conflicts: 236000 | #Constraints: 19790
150.26/150.76 c INPROCESSING
150.26/150.76 c GARBAGE COLLECT
150.26/150.76 c #Conflicts: 237000 | #Constraints: 11193
150.26/150.76 c #Conflicts: 238000 | #Constraints: 12193
150.26/150.76 c #Conflicts: 239000 | #Constraints: 13193
150.26/150.76 c #Conflicts: 240000 | #Constraints: 14193
150.26/150.76 c #Conflicts: 241000 | #Constraints: 15193
150.26/150.76 c #Conflicts: 242000 | #Constraints: 16193
150.26/150.76 c #Conflicts: 243000 | #Constraints: 17193
150.26/150.76 c #Conflicts: 244000 | #Constraints: 18193
150.26/150.76 c #Conflicts: 245000 | #Constraints: 19193
150.26/150.76 c #Conflicts: 246000 | #Constraints: 20193
150.26/150.76 c INPROCESSING
150.26/150.76 c GARBAGE COLLECT
150.26/150.76 c #Conflicts: 247000 | #Constraints: 11398
150.26/150.76 c #Conflicts: 248000 | #Constraints: 12398
150.26/150.76 c #Conflicts: 249000 | #Constraints: 13398
150.26/150.76 c #Conflicts: 250000 | #Constraints: 14398
150.26/150.76 c #Conflicts: 251000 | #Constraints: 15398
150.26/150.76 c #Conflicts: 252000 | #Constraints: 16398
150.26/150.76 c #Conflicts: 253000 | #Constraints: 17398
150.26/150.76 c #Conflicts: 254000 | #Constraints: 18398
150.26/150.76 c #Conflicts: 255000 | #Constraints: 19398
150.26/150.76 c #Conflicts: 256000 | #Constraints: 20398
150.26/150.76 c INPROCESSING
150.26/150.76 c GARBAGE COLLECT
150.26/150.76 c #Conflicts: 257000 | #Constraints: 11398
150.26/150.76 c #Conflicts: 258000 | #Constraints: 12398
150.26/150.76 c #Conflicts: 259000 | #Constraints: 13398
150.26/150.76 c #Conflicts: 260000 | #Constraints: 14398
150.26/150.76 c #Conflicts: 261000 | #Constraints: 15398
150.26/150.76 c #Conflicts: 262000 | #Constraints: 16398
150.26/150.76 c #Conflicts: 263000 | #Constraints: 17398
150.26/150.76 c #Conflicts: 264000 | #Constraints: 18398
150.26/150.76 c #Conflicts: 265000 | #Constraints: 19398
150.26/150.76 c #Conflicts: 266000 | #Constraints: 20398
150.26/150.76 c INPROCESSING
150.26/150.76 c GARBAGE COLLECT
150.26/150.76 c #Conflicts: 267000 | #Constraints: 11195
150.26/150.76 c #Conflicts: 268000 | #Constraints: 12195
150.26/150.76 c #Conflicts: 269000 | #Constraints: 13195
150.26/150.76 c #Conflicts: 270000 | #Constraints: 14195
150.26/150.76 c #Conflicts: 271000 | #Constraints: 15195
150.26/150.76 c #Conflicts: 272000 | #Constraints: 16195
150.26/150.76 c #Conflicts: 273000 | #Constraints: 17195
150.26/150.76 c #Conflicts: 274000 | #Constraints: 18195
150.26/150.76 c #Conflicts: 275000 | #Constraints: 19195
150.26/150.76 c #Conflicts: 276000 | #Constraints: 20195
150.26/150.76 c #Conflicts: 277000 | #Constraints: 21195
150.26/150.76 c INPROCESSING
150.26/150.76 c GARBAGE COLLECT
150.26/150.76 c #Conflicts: 278000 | #Constraints: 11794
150.26/150.76 c #Conflicts: 279000 | #Constraints: 12794
150.26/150.76 c #Conflicts: 280000 | #Constraints: 13794
150.26/150.76 c #Conflicts: 281000 | #Constraints: 14794
150.26/150.76 c #Conflicts: 282000 | #Constraints: 15794
150.26/150.76 c #Conflicts: 283000 | #Constraints: 16794
150.26/150.76 c #Conflicts: 284000 | #Constraints: 17794
150.26/150.76 c #Conflicts: 285000 | #Constraints: 18794
150.26/150.76 c #Conflicts: 286000 | #Constraints: 19794
150.26/150.76 c #Conflicts: 287000 | #Constraints: 20794
150.26/150.76 c #Conflicts: 288000 | #Constraints: 21794
204.80/205.46 c INPROCESSING
204.80/205.46 c GARBAGE COLLECT
204.80/205.46 c #Conflicts: 289000 | #Constraints: 12197
204.80/205.46 c #Conflicts: 290000 | #Constraints: 13197
204.80/205.46 c #Conflicts: 291000 | #Constraints: 14197
204.80/205.46 c #Conflicts: 292000 | #Constraints: 15197
204.80/205.46 c #Conflicts: 293000 | #Constraints: 16197
204.80/205.46 c #Conflicts: 294000 | #Constraints: 17197
204.80/205.46 c #Conflicts: 295000 | #Constraints: 18197
204.80/205.46 c #Conflicts: 296000 | #Constraints: 19197
204.80/205.46 c #Conflicts: 297000 | #Constraints: 20197
204.80/205.46 c #Conflicts: 298000 | #Constraints: 21197
204.80/205.46 c #Conflicts: 299000 | #Constraints: 22197
204.80/205.46 c INPROCESSING
204.80/205.46 c GARBAGE COLLECT
204.80/205.46 c #Conflicts: 300000 | #Constraints: 12399
204.80/205.46 c #Conflicts: 301000 | #Constraints: 13399
204.80/205.46 c #Conflicts: 302000 | #Constraints: 14399
204.80/205.46 c #Conflicts: 303000 | #Constraints: 15399
204.80/205.46 c #Conflicts: 304000 | #Constraints: 16399
204.80/205.46 c #Conflicts: 305000 | #Constraints: 17399
204.80/205.46 c #Conflicts: 306000 | #Constraints: 18399
204.80/205.46 c #Conflicts: 307000 | #Constraints: 19399
204.80/205.46 c #Conflicts: 308000 | #Constraints: 20399
204.80/205.46 c #Conflicts: 309000 | #Constraints: 21399
204.80/205.46 c #Conflicts: 310000 | #Constraints: 22399
204.80/205.46 c INPROCESSING
204.80/205.46 c GARBAGE COLLECT
204.80/205.46 c #Conflicts: 311000 | #Constraints: 12407
204.80/205.46 c #Conflicts: 312000 | #Constraints: 13407
204.80/205.46 c #Conflicts: 313000 | #Constraints: 14407
204.80/205.46 c #Conflicts: 314000 | #Constraints: 15407
204.80/205.46 c #Conflicts: 315000 | #Constraints: 16407
204.80/205.46 c #Conflicts: 316000 | #Constraints: 17407
204.80/205.46 c #Conflicts: 317000 | #Constraints: 18407
204.80/205.46 c #Conflicts: 318000 | #Constraints: 19407
204.80/205.46 c #Conflicts: 319000 | #Constraints: 20407
204.80/205.46 c #Conflicts: 320000 | #Constraints: 21407
204.80/205.46 c #Conflicts: 321000 | #Constraints: 22407
204.80/205.46 c INPROCESSING
204.80/205.46 c GARBAGE COLLECT
204.80/205.46 c #Conflicts: 322000 | #Constraints: 12199
204.80/205.46 c #Conflicts: 323000 | #Constraints: 13199
204.80/205.46 c #Conflicts: 324000 | #Constraints: 14199
204.80/205.46 c #Conflicts: 325000 | #Constraints: 15199
204.80/205.46 c #Conflicts: 326000 | #Constraints: 16199
204.80/205.46 c #Conflicts: 327000 | #Constraints: 17199
204.80/205.46 c #Conflicts: 328000 | #Constraints: 18199
204.80/205.46 c #Conflicts: 329000 | #Constraints: 19199
204.80/205.46 c #Conflicts: 330000 | #Constraints: 20199
204.80/205.46 c #Conflicts: 331000 | #Constraints: 21199
204.80/205.46 c #Conflicts: 332000 | #Constraints: 22199
204.80/205.46 c #Conflicts: 333000 | #Constraints: 23199
204.80/205.46 c INPROCESSING
204.80/205.46 c GARBAGE COLLECT
204.80/205.46 c #Conflicts: 334000 | #Constraints: 12804
204.80/205.46 c #Conflicts: 335000 | #Constraints: 13804
204.80/205.46 c #Conflicts: 336000 | #Constraints: 14804
204.80/205.46 c #Conflicts: 337000 | #Constraints: 15804
204.80/205.46 c #Conflicts: 338000 | #Constraints: 16804
204.80/205.46 c #Conflicts: 339000 | #Constraints: 17804
204.80/205.46 c #Conflicts: 340000 | #Constraints: 18804
204.80/205.46 c #Conflicts: 341000 | #Constraints: 19804
204.80/205.46 c #Conflicts: 342000 | #Constraints: 20804
204.80/205.46 c #Conflicts: 343000 | #Constraints: 21804
204.80/205.46 c #Conflicts: 344000 | #Constraints: 22804
204.80/205.46 c #Conflicts: 345000 | #Constraints: 23804
204.80/205.46 c INPROCESSING
204.80/205.46 c GARBAGE COLLECT
204.80/205.46 c #Conflicts: 346000 | #Constraints: 13198
204.80/205.46 c #Conflicts: 347000 | #Constraints: 14198
204.80/205.46 c #Conflicts: 348000 | #Constraints: 15198
204.80/205.46 c #Conflicts: 349000 | #Constraints: 16198
204.80/205.46 c #Conflicts: 350000 | #Constraints: 17198
204.80/205.46 c #Conflicts: 351000 | #Constraints: 18198
204.80/205.46 c #Conflicts: 352000 | #Constraints: 19198
204.80/205.46 c #Conflicts: 353000 | #Constraints: 20198
204.80/205.46 c #Conflicts: 354000 | #Constraints: 21198
204.80/205.46 c #Conflicts: 355000 | #Constraints: 22198
204.80/205.46 c #Conflicts: 356000 | #Constraints: 23198
204.80/205.46 c #Conflicts: 357000 | #Constraints: 24198
204.80/205.46 c INPROCESSING
204.80/205.46 c GARBAGE COLLECT
204.80/205.46 c #Conflicts: 358000 | #Constraints: 13398
204.80/205.46 c #Conflicts: 359000 | #Constraints: 14398
204.80/205.46 c #Conflicts: 360000 | #Constraints: 15398
204.80/205.46 c #Conflicts: 361000 | #Constraints: 16398
204.80/205.46 c #Conflicts: 362000 | #Constraints: 17398
263.50/264.37 c #Conflicts: 363000 | #Constraints: 18398
263.50/264.37 c #Conflicts: 364000 | #Constraints: 19398
263.50/264.37 c #Conflicts: 365000 | #Constraints: 20398
263.50/264.37 c #Conflicts: 366000 | #Constraints: 21398
263.50/264.37 c #Conflicts: 367000 | #Constraints: 22398
263.50/264.37 c #Conflicts: 368000 | #Constraints: 23398
263.50/264.37 c #Conflicts: 369000 | #Constraints: 24398
263.50/264.37 c INPROCESSING
263.50/264.37 c GARBAGE COLLECT
263.50/264.37 c #Conflicts: 370000 | #Constraints: 13403
263.50/264.37 c #Conflicts: 371000 | #Constraints: 14403
263.50/264.37 c #Conflicts: 372000 | #Constraints: 15403
263.50/264.37 c #Conflicts: 373000 | #Constraints: 16403
263.50/264.37 c #Conflicts: 374000 | #Constraints: 17403
263.50/264.37 c #Conflicts: 375000 | #Constraints: 18403
263.50/264.37 c #Conflicts: 376000 | #Constraints: 19403
263.50/264.37 c #Conflicts: 377000 | #Constraints: 20403
263.50/264.37 c #Conflicts: 378000 | #Constraints: 21403
263.50/264.37 c #Conflicts: 379000 | #Constraints: 22403
263.50/264.37 c #Conflicts: 380000 | #Constraints: 23403
263.50/264.37 c #Conflicts: 381000 | #Constraints: 24403
263.50/264.37 c INPROCESSING
263.50/264.37 c GARBAGE COLLECT
263.50/264.37 c #Conflicts: 382000 | #Constraints: 13200
263.50/264.37 c #Conflicts: 383000 | #Constraints: 14200
263.50/264.37 c #Conflicts: 384000 | #Constraints: 15200
263.50/264.37 c #Conflicts: 385000 | #Constraints: 16200
263.50/264.37 c #Conflicts: 386000 | #Constraints: 17200
263.50/264.37 c #Conflicts: 387000 | #Constraints: 18200
263.50/264.37 c #Conflicts: 388000 | #Constraints: 19200
263.50/264.37 c #Conflicts: 389000 | #Constraints: 20200
263.50/264.37 c #Conflicts: 390000 | #Constraints: 21200
263.50/264.37 c #Conflicts: 391000 | #Constraints: 22200
263.50/264.37 c #Conflicts: 392000 | #Constraints: 23200
263.50/264.37 c #Conflicts: 393000 | #Constraints: 24200
263.50/264.37 c #Conflicts: 394000 | #Constraints: 25200
263.50/264.37 c INPROCESSING
263.50/264.37 c GARBAGE COLLECT
263.50/264.37 c #Conflicts: 395000 | #Constraints: 13799
263.50/264.37 c #Conflicts: 396000 | #Constraints: 14799
263.50/264.37 c #Conflicts: 397000 | #Constraints: 15799
263.50/264.37 c #Conflicts: 398000 | #Constraints: 16799
263.50/264.37 c #Conflicts: 399000 | #Constraints: 17799
263.50/264.37 c #Conflicts: 400000 | #Constraints: 18799
263.50/264.37 c #Conflicts: 401000 | #Constraints: 19799
263.50/264.37 c #Conflicts: 402000 | #Constraints: 20799
263.50/264.37 c #Conflicts: 403000 | #Constraints: 21799
263.50/264.37 c #Conflicts: 404000 | #Constraints: 22799
263.50/264.37 c #Conflicts: 405000 | #Constraints: 23799
263.50/264.37 c #Conflicts: 406000 | #Constraints: 24799
263.50/264.37 c #Conflicts: 407000 | #Constraints: 25799
263.50/264.37 c INPROCESSING
263.50/264.37 c GARBAGE COLLECT
263.50/264.37 c #Conflicts: 408000 | #Constraints: 14198
263.50/264.37 c #Conflicts: 409000 | #Constraints: 15198
263.50/264.37 c #Conflicts: 410000 | #Constraints: 16198
263.50/264.37 c #Conflicts: 411000 | #Constraints: 17198
263.50/264.37 c #Conflicts: 412000 | #Constraints: 18198
263.50/264.37 c #Conflicts: 413000 | #Constraints: 19198
263.50/264.37 c #Conflicts: 414000 | #Constraints: 20198
263.50/264.37 c #Conflicts: 415000 | #Constraints: 21198
263.50/264.37 c #Conflicts: 416000 | #Constraints: 22198
263.50/264.37 c #Conflicts: 417000 | #Constraints: 23198
263.50/264.37 c #Conflicts: 418000 | #Constraints: 24198
263.50/264.37 c #Conflicts: 419000 | #Constraints: 25198
263.50/264.37 c #Conflicts: 420000 | #Constraints: 26198
263.50/264.37 c INPROCESSING
263.50/264.37 c GARBAGE COLLECT
263.50/264.37 c #Conflicts: 421000 | #Constraints: 14401
263.50/264.37 c #Conflicts: 422000 | #Constraints: 15401
263.50/264.37 c #Conflicts: 423000 | #Constraints: 16401
263.50/264.37 c #Conflicts: 424000 | #Constraints: 17401
263.50/264.37 c #Conflicts: 425000 | #Constraints: 18401
263.50/264.37 c #Conflicts: 426000 | #Constraints: 19401
263.50/264.37 c #Conflicts: 427000 | #Constraints: 20401
263.50/264.37 c #Conflicts: 428000 | #Constraints: 21401
263.50/264.37 c #Conflicts: 429000 | #Constraints: 22401
263.50/264.37 c #Conflicts: 430000 | #Constraints: 23401
263.50/264.37 c #Conflicts: 431000 | #Constraints: 24401
263.50/264.37 c #Conflicts: 432000 | #Constraints: 25401
263.50/264.37 c #Conflicts: 433000 | #Constraints: 26401
263.50/264.37 c INPROCESSING
263.50/264.37 c GARBAGE COLLECT
263.50/264.37 c #Conflicts: 434000 | #Constraints: 14406
263.50/264.37 c #Conflicts: 435000 | #Constraints: 15406
263.50/264.37 c #Conflicts: 436000 | #Constraints: 16406
263.50/264.37 c #Conflicts: 437000 | #Constraints: 17406
332.48/333.54 c #Conflicts: 438000 | #Constraints: 18406
332.48/333.54 c #Conflicts: 439000 | #Constraints: 19406
332.48/333.54 c #Conflicts: 440000 | #Constraints: 20406
332.48/333.54 c #Conflicts: 441000 | #Constraints: 21406
332.48/333.54 c #Conflicts: 442000 | #Constraints: 22406
332.48/333.54 c #Conflicts: 443000 | #Constraints: 23406
332.48/333.54 c #Conflicts: 444000 | #Constraints: 24406
332.48/333.54 c #Conflicts: 445000 | #Constraints: 25406
332.48/333.54 c #Conflicts: 446000 | #Constraints: 26406
332.48/333.54 c INPROCESSING
332.48/333.54 c GARBAGE COLLECT
332.48/333.54 c #Conflicts: 447000 | #Constraints: 14208
332.48/333.54 c #Conflicts: 448000 | #Constraints: 15208
332.48/333.54 c #Conflicts: 449000 | #Constraints: 16208
332.48/333.54 c #Conflicts: 450000 | #Constraints: 17208
332.48/333.54 c #Conflicts: 451000 | #Constraints: 18208
332.48/333.54 c #Conflicts: 452000 | #Constraints: 19208
332.48/333.54 c #Conflicts: 453000 | #Constraints: 20208
332.48/333.54 c #Conflicts: 454000 | #Constraints: 21208
332.48/333.54 c #Conflicts: 455000 | #Constraints: 22208
332.48/333.54 c #Conflicts: 456000 | #Constraints: 23208
332.48/333.54 c #Conflicts: 457000 | #Constraints: 24208
332.48/333.54 c #Conflicts: 458000 | #Constraints: 25208
332.48/333.54 c #Conflicts: 459000 | #Constraints: 26208
332.48/333.54 c #Conflicts: 460000 | #Constraints: 27208
332.48/333.54 c INPROCESSING
332.48/333.54 c GARBAGE COLLECT
332.48/333.54 c #Conflicts: 461000 | #Constraints: 14810
332.48/333.54 c #Conflicts: 462000 | #Constraints: 15810
332.48/333.54 c #Conflicts: 463000 | #Constraints: 16810
332.48/333.54 c #Conflicts: 464000 | #Constraints: 17810
332.48/333.54 c #Conflicts: 465000 | #Constraints: 18810
332.48/333.54 c #Conflicts: 466000 | #Constraints: 19810
332.48/333.54 c #Conflicts: 467000 | #Constraints: 20810
332.48/333.54 c #Conflicts: 468000 | #Constraints: 21810
332.48/333.54 c #Conflicts: 469000 | #Constraints: 22810
332.48/333.54 c #Conflicts: 470000 | #Constraints: 23810
332.48/333.54 c #Conflicts: 471000 | #Constraints: 24810
332.48/333.54 c #Conflicts: 472000 | #Constraints: 25810
332.48/333.54 c #Conflicts: 473000 | #Constraints: 26810
332.48/333.54 c #Conflicts: 474000 | #Constraints: 27810
332.48/333.54 c INPROCESSING
332.48/333.54 c GARBAGE COLLECT
332.48/333.54 c #Conflicts: 475000 | #Constraints: 15208
332.48/333.54 c #Conflicts: 476000 | #Constraints: 16208
332.48/333.54 c #Conflicts: 477000 | #Constraints: 17208
332.48/333.54 c #Conflicts: 478000 | #Constraints: 18208
332.48/333.54 c #Conflicts: 479000 | #Constraints: 19208
332.48/333.54 c #Conflicts: 480000 | #Constraints: 20208
332.48/333.54 c #Conflicts: 481000 | #Constraints: 21208
332.48/333.54 c #Conflicts: 482000 | #Constraints: 22208
332.48/333.54 c #Conflicts: 483000 | #Constraints: 23208
332.48/333.54 c #Conflicts: 484000 | #Constraints: 24208
332.48/333.54 c #Conflicts: 485000 | #Constraints: 25208
332.48/333.54 c #Conflicts: 486000 | #Constraints: 26208
332.48/333.54 c #Conflicts: 487000 | #Constraints: 27208
332.48/333.54 c #Conflicts: 488000 | #Constraints: 28208
332.48/333.54 c INPROCESSING
332.48/333.54 c GARBAGE COLLECT
332.48/333.54 c #Conflicts: 489000 | #Constraints: 15411
332.48/333.54 c #Conflicts: 490000 | #Constraints: 16411
332.48/333.54 c #Conflicts: 491000 | #Constraints: 17411
332.48/333.54 c #Conflicts: 492000 | #Constraints: 18411
332.48/333.54 c #Conflicts: 493000 | #Constraints: 19411
332.48/333.54 c #Conflicts: 494000 | #Constraints: 20411
332.48/333.54 c #Conflicts: 495000 | #Constraints: 21411
332.48/333.54 c #Conflicts: 496000 | #Constraints: 22411
332.48/333.54 c #Conflicts: 497000 | #Constraints: 23411
332.48/333.54 c #Conflicts: 498000 | #Constraints: 24411
332.48/333.54 c #Conflicts: 499000 | #Constraints: 25411
332.48/333.54 c #Conflicts: 500000 | #Constraints: 26411
332.48/333.54 c #Conflicts: 501000 | #Constraints: 27411
332.48/333.54 c #Conflicts: 502000 | #Constraints: 28411
332.48/333.54 c INPROCESSING
332.48/333.54 c GARBAGE COLLECT
332.48/333.54 c #Conflicts: 503000 | #Constraints: 15412
332.48/333.54 c #Conflicts: 504000 | #Constraints: 16412
332.48/333.54 c #Conflicts: 505000 | #Constraints: 17412
332.48/333.54 c #Conflicts: 506000 | #Constraints: 18412
332.48/333.54 c #Conflicts: 507000 | #Constraints: 19412
332.48/333.54 c #Conflicts: 508000 | #Constraints: 20412
332.48/333.54 c #Conflicts: 509000 | #Constraints: 21412
332.48/333.54 c #Conflicts: 510000 | #Constraints: 22412
332.48/333.54 c #Conflicts: 511000 | #Constraints: 23412
332.48/333.54 c #Conflicts: 512000 | #Constraints: 24412
332.48/333.54 c #Conflicts: 513000 | #Constraints: 25412
411.95/413.29 c #Conflicts: 514000 | #Constraints: 26412
411.95/413.29 c #Conflicts: 515000 | #Constraints: 27412
411.95/413.29 c #Conflicts: 516000 | #Constraints: 28412
411.95/413.29 c INPROCESSING
411.95/413.29 c GARBAGE COLLECT
411.95/413.29 c #Conflicts: 517000 | #Constraints: 15208
411.95/413.29 c #Conflicts: 518000 | #Constraints: 16208
411.95/413.29 c #Conflicts: 519000 | #Constraints: 17208
411.95/413.29 c #Conflicts: 520000 | #Constraints: 18208
411.95/413.29 c #Conflicts: 521000 | #Constraints: 19208
411.95/413.29 c #Conflicts: 522000 | #Constraints: 20208
411.95/413.29 c #Conflicts: 523000 | #Constraints: 21208
411.95/413.29 c #Conflicts: 524000 | #Constraints: 22208
411.95/413.29 c #Conflicts: 525000 | #Constraints: 23208
411.95/413.29 c #Conflicts: 526000 | #Constraints: 24208
411.95/413.29 c #Conflicts: 527000 | #Constraints: 25208
411.95/413.29 c #Conflicts: 528000 | #Constraints: 26208
411.95/413.29 c #Conflicts: 529000 | #Constraints: 27208
411.95/413.29 c #Conflicts: 530000 | #Constraints: 28208
411.95/413.29 c #Conflicts: 531000 | #Constraints: 29208
411.95/413.29 c INPROCESSING
411.95/413.29 c GARBAGE COLLECT
411.95/413.29 c #Conflicts: 532000 | #Constraints: 15802
411.95/413.29 c #Conflicts: 533000 | #Constraints: 16802
411.95/413.29 c #Conflicts: 534000 | #Constraints: 17802
411.95/413.29 c #Conflicts: 535000 | #Constraints: 18802
411.95/413.29 c #Conflicts: 536000 | #Constraints: 19802
411.95/413.29 c #Conflicts: 537000 | #Constraints: 20802
411.95/413.29 c #Conflicts: 538000 | #Constraints: 21802
411.95/413.29 c #Conflicts: 539000 | #Constraints: 22802
411.95/413.29 c #Conflicts: 540000 | #Constraints: 23802
411.95/413.29 c #Conflicts: 541000 | #Constraints: 24802
411.95/413.29 c #Conflicts: 542000 | #Constraints: 25802
411.95/413.29 c #Conflicts: 543000 | #Constraints: 26802
411.95/413.29 c #Conflicts: 544000 | #Constraints: 27802
411.95/413.29 c #Conflicts: 545000 | #Constraints: 28802
411.95/413.29 c #Conflicts: 546000 | #Constraints: 29802
411.95/413.29 c INPROCESSING
411.95/413.29 c GARBAGE COLLECT
411.95/413.29 c #Conflicts: 547000 | #Constraints: 16201
411.95/413.29 c #Conflicts: 548000 | #Constraints: 17201
411.95/413.29 c #Conflicts: 549000 | #Constraints: 18201
411.95/413.29 c #Conflicts: 550000 | #Constraints: 19201
411.95/413.29 c #Conflicts: 551000 | #Constraints: 20201
411.95/413.29 c #Conflicts: 552000 | #Constraints: 21201
411.95/413.29 c #Conflicts: 553000 | #Constraints: 22201
411.95/413.29 c #Conflicts: 554000 | #Constraints: 23201
411.95/413.29 c #Conflicts: 555000 | #Constraints: 24201
411.95/413.29 c #Conflicts: 556000 | #Constraints: 25201
411.95/413.29 c #Conflicts: 557000 | #Constraints: 26201
411.95/413.29 c #Conflicts: 558000 | #Constraints: 27201
411.95/413.29 c #Conflicts: 559000 | #Constraints: 28201
411.95/413.29 c #Conflicts: 560000 | #Constraints: 29201
411.95/413.29 c #Conflicts: 561000 | #Constraints: 30201
411.95/413.29 c INPROCESSING
411.95/413.29 c GARBAGE COLLECT
411.95/413.29 c #Conflicts: 562000 | #Constraints: 16402
411.95/413.29 c #Conflicts: 563000 | #Constraints: 17402
411.95/413.29 c #Conflicts: 564000 | #Constraints: 18402
411.95/413.29 c #Conflicts: 565000 | #Constraints: 19402
411.95/413.29 c #Conflicts: 566000 | #Constraints: 20402
411.95/413.29 c #Conflicts: 567000 | #Constraints: 21402
411.95/413.29 c #Conflicts: 568000 | #Constraints: 22402
411.95/413.29 c #Conflicts: 569000 | #Constraints: 23402
411.95/413.29 c #Conflicts: 570000 | #Constraints: 24402
411.95/413.29 c #Conflicts: 571000 | #Constraints: 25402
411.95/413.29 c #Conflicts: 572000 | #Constraints: 26402
411.95/413.29 c #Conflicts: 573000 | #Constraints: 27402
411.95/413.29 c #Conflicts: 574000 | #Constraints: 28402
411.95/413.29 c #Conflicts: 575000 | #Constraints: 29402
411.95/413.29 c #Conflicts: 576000 | #Constraints: 30402
411.95/413.29 c INPROCESSING
411.95/413.29 c GARBAGE COLLECT
411.95/413.29 c #Conflicts: 577000 | #Constraints: 16403
411.95/413.29 c #Conflicts: 578000 | #Constraints: 17403
411.95/413.29 c #Conflicts: 579000 | #Constraints: 18403
411.95/413.29 c #Conflicts: 580000 | #Constraints: 19403
411.95/413.29 c #Conflicts: 581000 | #Constraints: 20403
411.95/413.29 c #Conflicts: 582000 | #Constraints: 21403
411.95/413.29 c #Conflicts: 583000 | #Constraints: 22403
411.95/413.29 c #Conflicts: 584000 | #Constraints: 23403
411.95/413.29 c #Conflicts: 585000 | #Constraints: 24403
411.95/413.29 c #Conflicts: 586000 | #Constraints: 25403
411.95/413.29 c #Conflicts: 587000 | #Constraints: 26403
411.95/413.29 c #Conflicts: 588000 | #Constraints: 27403
491.83/493.36 c #Conflicts: 589000 | #Constraints: 28403
491.83/493.36 c #Conflicts: 590000 | #Constraints: 29403
491.83/493.36 c #Conflicts: 591000 | #Constraints: 30403
491.83/493.36 c INPROCESSING
491.83/493.36 c GARBAGE COLLECT
491.83/493.36 c #Conflicts: 592000 | #Constraints: 16197
491.83/493.36 c #Conflicts: 593000 | #Constraints: 17197
491.83/493.36 c #Conflicts: 594000 | #Constraints: 18197
491.83/493.36 c #Conflicts: 595000 | #Constraints: 19197
491.83/493.36 c #Conflicts: 596000 | #Constraints: 20197
491.83/493.36 c #Conflicts: 597000 | #Constraints: 21197
491.83/493.36 c #Conflicts: 598000 | #Constraints: 22197
491.83/493.36 c #Conflicts: 599000 | #Constraints: 23197
491.83/493.36 c #Conflicts: 600000 | #Constraints: 24197
491.83/493.36 c #Conflicts: 601000 | #Constraints: 25197
491.83/493.36 c #Conflicts: 602000 | #Constraints: 26197
491.83/493.36 c #Conflicts: 603000 | #Constraints: 27197
491.83/493.36 c #Conflicts: 604000 | #Constraints: 28197
491.83/493.36 c #Conflicts: 605000 | #Constraints: 29197
491.83/493.36 c #Conflicts: 606000 | #Constraints: 30197
491.83/493.36 c #Conflicts: 607000 | #Constraints: 31197
491.83/493.36 c INPROCESSING
491.83/493.36 c GARBAGE COLLECT
491.83/493.36 c #Conflicts: 608000 | #Constraints: 16802
491.83/493.36 c #Conflicts: 609000 | #Constraints: 17802
491.83/493.36 c #Conflicts: 610000 | #Constraints: 18802
491.83/493.36 c #Conflicts: 611000 | #Constraints: 19802
491.83/493.36 c #Conflicts: 612000 | #Constraints: 20802
491.83/493.36 c #Conflicts: 613000 | #Constraints: 21802
491.83/493.36 c #Conflicts: 614000 | #Constraints: 22802
491.83/493.36 c #Conflicts: 615000 | #Constraints: 23802
491.83/493.36 c #Conflicts: 616000 | #Constraints: 24802
491.83/493.36 c #Conflicts: 617000 | #Constraints: 25802
491.83/493.36 c #Conflicts: 618000 | #Constraints: 26802
491.83/493.36 c #Conflicts: 619000 | #Constraints: 27802
491.83/493.36 c #Conflicts: 620000 | #Constraints: 28802
491.83/493.36 c #Conflicts: 621000 | #Constraints: 29802
491.83/493.36 c #Conflicts: 622000 | #Constraints: 30802
491.83/493.36 c #Conflicts: 623000 | #Constraints: 31802
491.83/493.36 c INPROCESSING
491.83/493.36 c GARBAGE COLLECT
491.83/493.36 c #Conflicts: 624000 | #Constraints: 17204
491.83/493.36 c #Conflicts: 625000 | #Constraints: 18204
491.83/493.36 c #Conflicts: 626000 | #Constraints: 19204
491.83/493.37 c #Conflicts: 627000 | #Constraints: 20204
491.83/493.37 c #Conflicts: 628000 | #Constraints: 21204
491.83/493.37 c #Conflicts: 629000 | #Constraints: 22204
491.83/493.37 c #Conflicts: 630000 | #Constraints: 23204
491.83/493.37 c #Conflicts: 631000 | #Constraints: 24204
491.83/493.37 c #Conflicts: 632000 | #Constraints: 25204
491.83/493.37 c #Conflicts: 633000 | #Constraints: 26204
491.83/493.37 c #Conflicts: 634000 | #Constraints: 27204
491.83/493.37 c #Conflicts: 635000 | #Constraints: 28204
491.83/493.37 c #Conflicts: 636000 | #Constraints: 29204
491.83/493.37 c #Conflicts: 637000 | #Constraints: 30204
491.83/493.37 c #Conflicts: 638000 | #Constraints: 31204
491.83/493.37 c #Conflicts: 639000 | #Constraints: 32204
491.83/493.37 c INPROCESSING
491.83/493.37 c GARBAGE COLLECT
491.83/493.37 c #Conflicts: 640000 | #Constraints: 17405
491.83/493.37 c #Conflicts: 641000 | #Constraints: 18405
491.83/493.37 c #Conflicts: 642000 | #Constraints: 19405
491.83/493.37 c #Conflicts: 643000 | #Constraints: 20405
491.83/493.37 c #Conflicts: 644000 | #Constraints: 21405
491.83/493.37 c #Conflicts: 645000 | #Constraints: 22405
491.83/493.37 c #Conflicts: 646000 | #Constraints: 23405
491.83/493.37 c #Conflicts: 647000 | #Constraints: 24405
491.83/493.37 c #Conflicts: 648000 | #Constraints: 25405
491.83/493.37 c #Conflicts: 649000 | #Constraints: 26405
491.83/493.37 c #Conflicts: 650000 | #Constraints: 27405
491.83/493.37 c #Conflicts: 651000 | #Constraints: 28405
491.83/493.37 c #Conflicts: 652000 | #Constraints: 29405
491.83/493.37 c #Conflicts: 653000 | #Constraints: 30405
491.83/493.37 c #Conflicts: 654000 | #Constraints: 31405
491.83/493.37 c #Conflicts: 655000 | #Constraints: 32405
491.83/493.37 c INPROCESSING
491.83/493.37 c GARBAGE COLLECT
491.83/493.37 c #Conflicts: 656000 | #Constraints: 17402
491.83/493.37 c #Conflicts: 657000 | #Constraints: 18402
491.83/493.37 c #Conflicts: 658000 | #Constraints: 19402
491.83/493.37 c #Conflicts: 659000 | #Constraints: 20402
491.83/493.37 c #Conflicts: 660000 | #Constraints: 21402
491.83/493.37 c #Conflicts: 661000 | #Constraints: 22402
491.83/493.37 c #Conflicts: 662000 | #Constraints: 23402
491.83/493.37 c #Conflicts: 663000 | #Constraints: 24402
491.83/493.37 c #Conflicts: 664000 | #Constraints: 25402
585.28/587.05 c #Conflicts: 665000 | #Constraints: 26402
585.28/587.05 c #Conflicts: 666000 | #Constraints: 27402
585.28/587.05 c #Conflicts: 667000 | #Constraints: 28402
585.28/587.05 c #Conflicts: 668000 | #Constraints: 29402
585.28/587.05 c #Conflicts: 669000 | #Constraints: 30402
585.28/587.05 c #Conflicts: 670000 | #Constraints: 31402
585.28/587.05 c #Conflicts: 671000 | #Constraints: 32402
585.28/587.05 c INPROCESSING
585.28/587.05 c GARBAGE COLLECT
585.28/587.05 c #Conflicts: 672000 | #Constraints: 17206
585.28/587.05 c #Conflicts: 673000 | #Constraints: 18206
585.28/587.05 c #Conflicts: 674000 | #Constraints: 19206
585.28/587.05 c #Conflicts: 675000 | #Constraints: 20206
585.28/587.05 c #Conflicts: 676000 | #Constraints: 21206
585.28/587.05 c #Conflicts: 677000 | #Constraints: 22206
585.28/587.05 c #Conflicts: 678000 | #Constraints: 23206
585.28/587.05 c #Conflicts: 679000 | #Constraints: 24206
585.28/587.05 c #Conflicts: 680000 | #Constraints: 25206
585.28/587.05 c #Conflicts: 681000 | #Constraints: 26206
585.28/587.05 c #Conflicts: 682000 | #Constraints: 27206
585.28/587.05 c #Conflicts: 683000 | #Constraints: 28206
585.28/587.05 c #Conflicts: 684000 | #Constraints: 29206
585.28/587.05 c #Conflicts: 685000 | #Constraints: 30206
585.28/587.05 c #Conflicts: 686000 | #Constraints: 31206
585.28/587.05 c #Conflicts: 687000 | #Constraints: 32206
585.28/587.05 c #Conflicts: 688000 | #Constraints: 33206
585.28/587.05 c INPROCESSING
585.28/587.05 c GARBAGE COLLECT
585.28/587.05 c #Conflicts: 689000 | #Constraints: 17804
585.28/587.05 c #Conflicts: 690000 | #Constraints: 18804
585.28/587.05 c #Conflicts: 691000 | #Constraints: 19804
585.28/587.05 c #Conflicts: 692000 | #Constraints: 20804
585.28/587.05 c #Conflicts: 693000 | #Constraints: 21804
585.28/587.05 c #Conflicts: 694000 | #Constraints: 22804
585.28/587.05 c #Conflicts: 695000 | #Constraints: 23804
585.28/587.05 c #Conflicts: 696000 | #Constraints: 24804
585.28/587.05 c #Conflicts: 697000 | #Constraints: 25804
585.28/587.05 c #Conflicts: 698000 | #Constraints: 26804
585.28/587.05 c #Conflicts: 699000 | #Constraints: 27804
585.28/587.05 c #Conflicts: 700000 | #Constraints: 28804
585.28/587.05 c #Conflicts: 701000 | #Constraints: 29804
585.28/587.05 c #Conflicts: 702000 | #Constraints: 30804
585.28/587.05 c #Conflicts: 703000 | #Constraints: 31804
585.28/587.05 c #Conflicts: 704000 | #Constraints: 32804
585.28/587.05 c #Conflicts: 705000 | #Constraints: 33804
585.28/587.05 c INPROCESSING
585.28/587.05 c GARBAGE COLLECT
585.28/587.05 c #Conflicts: 706000 | #Constraints: 18206
585.28/587.05 c #Conflicts: 707000 | #Constraints: 19206
585.28/587.05 c #Conflicts: 708000 | #Constraints: 20206
585.28/587.05 c #Conflicts: 709000 | #Constraints: 21206
585.28/587.05 c #Conflicts: 710000 | #Constraints: 22206
585.28/587.05 c #Conflicts: 711000 | #Constraints: 23206
585.28/587.05 c #Conflicts: 712000 | #Constraints: 24206
585.28/587.05 c #Conflicts: 713000 | #Constraints: 25206
585.28/587.05 c #Conflicts: 714000 | #Constraints: 26206
585.28/587.05 c #Conflicts: 715000 | #Constraints: 27206
585.28/587.05 c #Conflicts: 716000 | #Constraints: 28206
585.28/587.05 c #Conflicts: 717000 | #Constraints: 29206
585.28/587.05 c #Conflicts: 718000 | #Constraints: 30206
585.28/587.05 c #Conflicts: 719000 | #Constraints: 31206
585.28/587.05 c #Conflicts: 720000 | #Constraints: 32206
585.28/587.05 c #Conflicts: 721000 | #Constraints: 33206
585.28/587.05 c #Conflicts: 722000 | #Constraints: 34206
585.28/587.05 c INPROCESSING
585.28/587.05 c GARBAGE COLLECT
585.28/587.05 c #Conflicts: 723000 | #Constraints: 18413
585.28/587.05 c #Conflicts: 724000 | #Constraints: 19413
585.28/587.05 c #Conflicts: 725000 | #Constraints: 20413
585.28/587.05 c #Conflicts: 726000 | #Constraints: 21413
585.28/587.05 c #Conflicts: 727000 | #Constraints: 22413
585.28/587.05 c #Conflicts: 728000 | #Constraints: 23413
585.28/587.05 c #Conflicts: 729000 | #Constraints: 24413
585.28/587.05 c #Conflicts: 730000 | #Constraints: 25413
585.28/587.05 c #Conflicts: 731000 | #Constraints: 26413
585.28/587.05 c #Conflicts: 732000 | #Constraints: 27413
585.28/587.05 c #Conflicts: 733000 | #Constraints: 28413
585.28/587.05 c #Conflicts: 734000 | #Constraints: 29413
585.28/587.05 c #Conflicts: 735000 | #Constraints: 30413
585.28/587.05 c #Conflicts: 736000 | #Constraints: 31413
585.28/587.05 c #Conflicts: 737000 | #Constraints: 32413
585.28/587.05 c #Conflicts: 738000 | #Constraints: 33413
585.28/587.05 c #Conflicts: 739000 | #Constraints: 34413
585.28/587.05 c INPROCESSING
585.28/587.05 c GARBAGE COLLECT
681.51/683.58 c #Conflicts: 740000 | #Constraints: 18414
681.51/683.58 c #Conflicts: 741000 | #Constraints: 19414
681.51/683.58 c #Conflicts: 742000 | #Constraints: 20414
681.51/683.58 c #Conflicts: 743000 | #Constraints: 21414
681.51/683.58 c #Conflicts: 744000 | #Constraints: 22414
681.51/683.58 c #Conflicts: 745000 | #Constraints: 23414
681.51/683.58 c #Conflicts: 746000 | #Constraints: 24414
681.51/683.58 c #Conflicts: 747000 | #Constraints: 25414
681.51/683.58 c #Conflicts: 748000 | #Constraints: 26414
681.51/683.58 c #Conflicts: 749000 | #Constraints: 27414
681.51/683.58 c #Conflicts: 750000 | #Constraints: 28414
681.51/683.58 c #Conflicts: 751000 | #Constraints: 29414
681.51/683.58 c #Conflicts: 752000 | #Constraints: 30414
681.51/683.58 c #Conflicts: 753000 | #Constraints: 31414
681.51/683.58 c #Conflicts: 754000 | #Constraints: 32414
681.51/683.58 c #Conflicts: 755000 | #Constraints: 33414
681.51/683.58 c #Conflicts: 756000 | #Constraints: 34414
681.51/683.58 c INPROCESSING
681.51/683.58 c GARBAGE COLLECT
681.51/683.58 c #Conflicts: 757000 | #Constraints: 18212
681.51/683.58 c #Conflicts: 758000 | #Constraints: 19212
681.51/683.58 c #Conflicts: 759000 | #Constraints: 20212
681.51/683.58 c #Conflicts: 760000 | #Constraints: 21212
681.51/683.58 c #Conflicts: 761000 | #Constraints: 22212
681.51/683.58 c #Conflicts: 762000 | #Constraints: 23212
681.51/683.58 c #Conflicts: 763000 | #Constraints: 24212
681.51/683.58 c #Conflicts: 764000 | #Constraints: 25212
681.51/683.58 c #Conflicts: 765000 | #Constraints: 26212
681.51/683.58 c #Conflicts: 766000 | #Constraints: 27212
681.51/683.58 c #Conflicts: 767000 | #Constraints: 28212
681.51/683.58 c #Conflicts: 768000 | #Constraints: 29212
681.51/683.58 c #Conflicts: 769000 | #Constraints: 30212
681.51/683.58 c #Conflicts: 770000 | #Constraints: 31212
681.51/683.58 c #Conflicts: 771000 | #Constraints: 32212
681.51/683.58 c #Conflicts: 772000 | #Constraints: 33212
681.51/683.58 c #Conflicts: 773000 | #Constraints: 34212
681.51/683.58 c #Conflicts: 774000 | #Constraints: 35212
681.51/683.58 c INPROCESSING
681.51/683.58 c GARBAGE COLLECT
681.51/683.58 c #Conflicts: 775000 | #Constraints: 18809
681.51/683.58 c #Conflicts: 776000 | #Constraints: 19809
681.51/683.58 c #Conflicts: 777000 | #Constraints: 20809
681.51/683.58 c #Conflicts: 778000 | #Constraints: 21809
681.51/683.58 c #Conflicts: 779000 | #Constraints: 22809
681.51/683.58 c #Conflicts: 780000 | #Constraints: 23809
681.51/683.58 c #Conflicts: 781000 | #Constraints: 24809
681.51/683.58 c #Conflicts: 782000 | #Constraints: 25809
681.51/683.58 c #Conflicts: 783000 | #Constraints: 26809
681.51/683.58 c #Conflicts: 784000 | #Constraints: 27809
681.51/683.58 c #Conflicts: 785000 | #Constraints: 28809
681.51/683.58 c #Conflicts: 786000 | #Constraints: 29809
681.51/683.58 c #Conflicts: 787000 | #Constraints: 30809
681.51/683.58 c #Conflicts: 788000 | #Constraints: 31809
681.51/683.58 c #Conflicts: 789000 | #Constraints: 32809
681.51/683.58 c #Conflicts: 790000 | #Constraints: 33809
681.51/683.58 c #Conflicts: 791000 | #Constraints: 34809
681.51/683.58 c #Conflicts: 792000 | #Constraints: 35809
681.51/683.58 c INPROCESSING
681.51/683.58 c GARBAGE COLLECT
681.51/683.58 c #Conflicts: 793000 | #Constraints: 19203
681.51/683.58 c #Conflicts: 794000 | #Constraints: 20203
681.51/683.58 c #Conflicts: 795000 | #Constraints: 21203
681.51/683.58 c #Conflicts: 796000 | #Constraints: 22203
681.51/683.58 c #Conflicts: 797000 | #Constraints: 23203
681.51/683.58 c #Conflicts: 798000 | #Constraints: 24203
681.51/683.58 c #Conflicts: 799000 | #Constraints: 25203
681.51/683.58 c #Conflicts: 800000 | #Constraints: 26203
681.51/683.58 c #Conflicts: 801000 | #Constraints: 27203
681.51/683.58 c #Conflicts: 802000 | #Constraints: 28203
681.51/683.58 c #Conflicts: 803000 | #Constraints: 29203
681.51/683.58 c #Conflicts: 804000 | #Constraints: 30203
681.51/683.58 c #Conflicts: 805000 | #Constraints: 31203
681.51/683.58 c #Conflicts: 806000 | #Constraints: 32203
681.51/683.58 c #Conflicts: 807000 | #Constraints: 33203
681.51/683.58 c #Conflicts: 808000 | #Constraints: 34203
681.51/683.58 c #Conflicts: 809000 | #Constraints: 35203
681.51/683.58 c #Conflicts: 810000 | #Constraints: 36203
681.51/683.58 c INPROCESSING
681.51/683.58 c GARBAGE COLLECT
681.51/683.58 c #Conflicts: 811000 | #Constraints: 19402
681.51/683.58 c #Conflicts: 812000 | #Constraints: 20402
681.51/683.58 c #Conflicts: 813000 | #Constraints: 21402
681.51/683.58 c #Conflicts: 814000 | #Constraints: 22402
681.51/683.58 c #Conflicts: 815000 | #Constraints: 23402
681.51/683.58 c #Conflicts: 816000 | #Constraints: 24402
785.02/787.30 c #Conflicts: 817000 | #Constraints: 25402
785.02/787.30 c #Conflicts: 818000 | #Constraints: 26402
785.02/787.30 c #Conflicts: 819000 | #Constraints: 27402
785.02/787.30 c #Conflicts: 820000 | #Constraints: 28402
785.02/787.30 c #Conflicts: 821000 | #Constraints: 29402
785.02/787.30 c #Conflicts: 822000 | #Constraints: 30402
785.02/787.30 c #Conflicts: 823000 | #Constraints: 31402
785.02/787.30 c #Conflicts: 824000 | #Constraints: 32402
785.02/787.30 c #Conflicts: 825000 | #Constraints: 33402
785.02/787.30 c #Conflicts: 826000 | #Constraints: 34402
785.02/787.30 c #Conflicts: 827000 | #Constraints: 35402
785.02/787.30 c #Conflicts: 828000 | #Constraints: 36402
785.02/787.30 c INPROCESSING
785.02/787.30 c GARBAGE COLLECT
785.02/787.30 c #Conflicts: 829000 | #Constraints: 19404
785.02/787.30 c #Conflicts: 830000 | #Constraints: 20404
785.02/787.30 c #Conflicts: 831000 | #Constraints: 21404
785.02/787.30 c #Conflicts: 832000 | #Constraints: 22404
785.02/787.30 c #Conflicts: 833000 | #Constraints: 23404
785.02/787.30 c #Conflicts: 834000 | #Constraints: 24404
785.02/787.30 c #Conflicts: 835000 | #Constraints: 25404
785.02/787.30 c #Conflicts: 836000 | #Constraints: 26404
785.02/787.30 c #Conflicts: 837000 | #Constraints: 27404
785.02/787.30 c #Conflicts: 838000 | #Constraints: 28404
785.02/787.30 c #Conflicts: 839000 | #Constraints: 29404
785.02/787.30 c #Conflicts: 840000 | #Constraints: 30404
785.02/787.30 c #Conflicts: 841000 | #Constraints: 31404
785.02/787.30 c #Conflicts: 842000 | #Constraints: 32404
785.02/787.30 c #Conflicts: 843000 | #Constraints: 33404
785.02/787.30 c #Conflicts: 844000 | #Constraints: 34404
785.02/787.30 c #Conflicts: 845000 | #Constraints: 35404
785.02/787.30 c #Conflicts: 846000 | #Constraints: 36404
785.02/787.30 c INPROCESSING
785.02/787.30 c GARBAGE COLLECT
785.02/787.30 c #Conflicts: 847000 | #Constraints: 19203
785.02/787.30 c #Conflicts: 848000 | #Constraints: 20203
785.02/787.30 c #Conflicts: 849000 | #Constraints: 21203
785.02/787.30 c #Conflicts: 850000 | #Constraints: 22203
785.02/787.30 c #Conflicts: 851000 | #Constraints: 23203
785.02/787.30 c #Conflicts: 852000 | #Constraints: 24203
785.02/787.30 c #Conflicts: 853000 | #Constraints: 25203
785.02/787.30 c #Conflicts: 854000 | #Constraints: 26203
785.02/787.30 c #Conflicts: 855000 | #Constraints: 27203
785.02/787.30 c #Conflicts: 856000 | #Constraints: 28203
785.02/787.30 c #Conflicts: 857000 | #Constraints: 29203
785.02/787.30 c #Conflicts: 858000 | #Constraints: 30203
785.02/787.30 c #Conflicts: 859000 | #Constraints: 31203
785.02/787.30 c #Conflicts: 860000 | #Constraints: 32203
785.02/787.30 c #Conflicts: 861000 | #Constraints: 33203
785.02/787.30 c #Conflicts: 862000 | #Constraints: 34203
785.02/787.30 c #Conflicts: 863000 | #Constraints: 35203
785.02/787.30 c #Conflicts: 864000 | #Constraints: 36203
785.02/787.30 c #Conflicts: 865000 | #Constraints: 37203
785.02/787.30 c INPROCESSING
785.02/787.30 c GARBAGE COLLECT
785.02/787.30 c #Conflicts: 866000 | #Constraints: 19801
785.02/787.30 c #Conflicts: 867000 | #Constraints: 20801
785.02/787.30 c #Conflicts: 868000 | #Constraints: 21801
785.02/787.30 c #Conflicts: 869000 | #Constraints: 22801
785.02/787.30 c #Conflicts: 870000 | #Constraints: 23801
785.02/787.30 c #Conflicts: 871000 | #Constraints: 24801
785.02/787.30 c #Conflicts: 872000 | #Constraints: 25801
785.02/787.30 c #Conflicts: 873000 | #Constraints: 26801
785.02/787.30 c #Conflicts: 874000 | #Constraints: 27801
785.02/787.30 c #Conflicts: 875000 | #Constraints: 28801
785.02/787.30 c #Conflicts: 876000 | #Constraints: 29801
785.02/787.30 c #Conflicts: 877000 | #Constraints: 30801
785.02/787.30 c #Conflicts: 878000 | #Constraints: 31801
785.02/787.30 c #Conflicts: 879000 | #Constraints: 32801
785.02/787.30 c #Conflicts: 880000 | #Constraints: 33801
785.02/787.30 c #Conflicts: 881000 | #Constraints: 34801
785.02/787.30 c #Conflicts: 882000 | #Constraints: 35801
785.02/787.30 c #Conflicts: 883000 | #Constraints: 36801
785.02/787.30 c #Conflicts: 884000 | #Constraints: 37801
785.02/787.30 c INPROCESSING
785.02/787.30 c GARBAGE COLLECT
785.02/787.30 c #Conflicts: 885000 | #Constraints: 20200
785.02/787.30 c #Conflicts: 886000 | #Constraints: 21200
785.02/787.30 c #Conflicts: 887000 | #Constraints: 22200
785.02/787.30 c #Conflicts: 888000 | #Constraints: 23200
785.02/787.30 c #Conflicts: 889000 | #Constraints: 24200
785.02/787.30 c #Conflicts: 890000 | #Constraints: 25200
785.02/787.30 c #Conflicts: 891000 | #Constraints: 26200
785.02/787.30 c #Conflicts: 892000 | #Constraints: 27200
878.36/880.95 c #Conflicts: 893000 | #Constraints: 28200
878.36/880.95 c #Conflicts: 894000 | #Constraints: 29200
878.36/880.95 c #Conflicts: 895000 | #Constraints: 30200
878.36/880.95 c #Conflicts: 896000 | #Constraints: 31200
878.36/880.95 c #Conflicts: 897000 | #Constraints: 32200
878.36/880.95 c #Conflicts: 898000 | #Constraints: 33200
878.36/880.95 c #Conflicts: 899000 | #Constraints: 34200
878.36/880.95 c #Conflicts: 900000 | #Constraints: 35200
878.36/880.95 c #Conflicts: 901000 | #Constraints: 36200
878.36/880.95 c #Conflicts: 902000 | #Constraints: 37200
878.36/880.95 c #Conflicts: 903000 | #Constraints: 38200
878.36/880.95 c INPROCESSING
878.36/880.95 c GARBAGE COLLECT
878.36/880.95 c #Conflicts: 904000 | #Constraints: 20401
878.36/880.95 c #Conflicts: 905000 | #Constraints: 21401
878.36/880.95 c #Conflicts: 906000 | #Constraints: 22401
878.36/880.95 c #Conflicts: 907000 | #Constraints: 23401
878.36/880.95 c #Conflicts: 908000 | #Constraints: 24401
878.36/880.95 c #Conflicts: 909000 | #Constraints: 25401
878.36/880.95 c #Conflicts: 910000 | #Constraints: 26401
878.36/880.95 c #Conflicts: 911000 | #Constraints: 27401
878.36/880.95 c #Conflicts: 912000 | #Constraints: 28401
878.36/880.95 c #Conflicts: 913000 | #Constraints: 29401
878.36/880.95 c #Conflicts: 914000 | #Constraints: 30401
878.36/880.95 c #Conflicts: 915000 | #Constraints: 31401
878.36/880.95 c #Conflicts: 916000 | #Constraints: 32401
878.36/880.95 c #Conflicts: 917000 | #Constraints: 33401
878.36/880.95 c #Conflicts: 918000 | #Constraints: 34401
878.36/880.95 c #Conflicts: 919000 | #Constraints: 35401
878.36/880.95 c #Conflicts: 920000 | #Constraints: 36401
878.36/880.95 c #Conflicts: 921000 | #Constraints: 37401
878.36/880.95 c #Conflicts: 922000 | #Constraints: 38401
878.36/880.95 c INPROCESSING
878.36/880.95 c GARBAGE COLLECT
878.36/880.95 c #Conflicts: 923000 | #Constraints: 20407
878.36/880.95 c #Conflicts: 924000 | #Constraints: 21407
878.36/880.95 c #Conflicts: 925000 | #Constraints: 22407
878.36/880.95 c #Conflicts: 926000 | #Constraints: 23407
878.36/880.95 c #Conflicts: 927000 | #Constraints: 24407
878.36/880.95 c #Conflicts: 928000 | #Constraints: 25407
878.36/880.95 c #Conflicts: 929000 | #Constraints: 26407
878.36/880.95 c #Conflicts: 930000 | #Constraints: 27407
878.36/880.95 c #Conflicts: 931000 | #Constraints: 28407
878.36/880.95 c #Conflicts: 932000 | #Constraints: 29407
878.36/880.95 c #Conflicts: 933000 | #Constraints: 30407
878.36/880.95 c #Conflicts: 934000 | #Constraints: 31407
878.36/880.95 c #Conflicts: 935000 | #Constraints: 32407
878.36/880.95 c #Conflicts: 936000 | #Constraints: 33407
878.36/880.95 c #Conflicts: 937000 | #Constraints: 34407
878.36/880.95 c #Conflicts: 938000 | #Constraints: 35407
878.36/880.95 c #Conflicts: 939000 | #Constraints: 36407
878.36/880.95 c #Conflicts: 940000 | #Constraints: 37407
878.36/880.95 c #Conflicts: 941000 | #Constraints: 38407
878.36/880.95 c INPROCESSING
878.36/880.95 c GARBAGE COLLECT
878.36/880.95 c #Conflicts: 942000 | #Constraints: 20202
878.36/880.95 c #Conflicts: 943000 | #Constraints: 21202
878.36/880.95 c #Conflicts: 944000 | #Constraints: 22202
878.36/880.95 c #Conflicts: 945000 | #Constraints: 23202
878.36/880.95 c #Conflicts: 946000 | #Constraints: 24202
878.36/880.95 c #Conflicts: 947000 | #Constraints: 25202
878.36/880.95 c #Conflicts: 948000 | #Constraints: 26202
878.36/880.95 c #Conflicts: 949000 | #Constraints: 27202
878.36/880.95 c #Conflicts: 950000 | #Constraints: 28202
878.36/880.95 c #Conflicts: 951000 | #Constraints: 29202
878.36/880.95 c #Conflicts: 952000 | #Constraints: 30202
878.36/880.95 c #Conflicts: 953000 | #Constraints: 31202
878.36/880.95 c #Conflicts: 954000 | #Constraints: 32202
878.36/880.95 c #Conflicts: 955000 | #Constraints: 33202
878.36/880.95 c #Conflicts: 956000 | #Constraints: 34202
878.36/880.95 c #Conflicts: 957000 | #Constraints: 35202
878.36/880.95 c #Conflicts: 958000 | #Constraints: 36202
878.36/880.95 c #Conflicts: 959000 | #Constraints: 37202
878.36/880.95 c #Conflicts: 960000 | #Constraints: 38202
878.36/880.95 c #Conflicts: 961000 | #Constraints: 39202
878.36/880.95 c INPROCESSING
878.36/880.95 c GARBAGE COLLECT
878.36/880.95 c #Conflicts: 962000 | #Constraints: 20806
878.36/880.95 c #Conflicts: 963000 | #Constraints: 21806
878.36/880.95 c #Conflicts: 964000 | #Constraints: 22806
878.36/880.95 c #Conflicts: 965000 | #Constraints: 23806
878.36/880.95 c #Conflicts: 966000 | #Constraints: 24806
878.36/880.95 c #Conflicts: 967000 | #Constraints: 25806
878.36/880.95 c #Conflicts: 968000 | #Constraints: 26806
981.78/984.62 c #Conflicts: 969000 | #Constraints: 27806
981.78/984.62 c #Conflicts: 970000 | #Constraints: 28806
981.78/984.62 c #Conflicts: 971000 | #Constraints: 29806
981.78/984.62 c #Conflicts: 972000 | #Constraints: 30806
981.78/984.62 c #Conflicts: 973000 | #Constraints: 31806
981.78/984.62 c #Conflicts: 974000 | #Constraints: 32806
981.78/984.62 c #Conflicts: 975000 | #Constraints: 33806
981.78/984.62 c #Conflicts: 976000 | #Constraints: 34806
981.78/984.62 c #Conflicts: 977000 | #Constraints: 35806
981.78/984.62 c #Conflicts: 978000 | #Constraints: 36806
981.78/984.62 c #Conflicts: 979000 | #Constraints: 37806
981.78/984.62 c #Conflicts: 980000 | #Constraints: 38806
981.78/984.62 c #Conflicts: 981000 | #Constraints: 39806
981.78/984.62 c INPROCESSING
981.78/984.62 c GARBAGE COLLECT
981.78/984.62 c #Conflicts: 982000 | #Constraints: 21207
981.78/984.62 c #Conflicts: 983000 | #Constraints: 22207
981.78/984.62 c #Conflicts: 984000 | #Constraints: 23207
981.78/984.62 c #Conflicts: 985000 | #Constraints: 24207
981.78/984.62 c #Conflicts: 986000 | #Constraints: 25207
981.78/984.62 c #Conflicts: 987000 | #Constraints: 26207
981.78/984.62 c #Conflicts: 988000 | #Constraints: 27207
981.78/984.62 c #Conflicts: 989000 | #Constraints: 28207
981.78/984.62 c #Conflicts: 990000 | #Constraints: 29207
981.78/984.62 c #Conflicts: 991000 | #Constraints: 30207
981.78/984.62 c #Conflicts: 992000 | #Constraints: 31207
981.78/984.62 c #Conflicts: 993000 | #Constraints: 32207
981.78/984.62 c #Conflicts: 994000 | #Constraints: 33207
981.78/984.62 c #Conflicts: 995000 | #Constraints: 34207
981.78/984.62 c #Conflicts: 996000 | #Constraints: 35207
981.78/984.62 c #Conflicts: 997000 | #Constraints: 36207
981.78/984.62 c #Conflicts: 998000 | #Constraints: 37207
981.78/984.62 c #Conflicts: 999000 | #Constraints: 38207
981.78/984.62 c #Conflicts: 1000000 | #Constraints: 39207
981.78/984.62 c #Conflicts: 1001000 | #Constraints: 40207
981.78/984.62 c INPROCESSING
981.78/984.62 c GARBAGE COLLECT
981.78/984.62 c #Conflicts: 1002000 | #Constraints: 21412
981.78/984.62 c #Conflicts: 1003000 | #Constraints: 22412
981.78/984.62 c #Conflicts: 1004000 | #Constraints: 23412
981.78/984.62 c #Conflicts: 1005000 | #Constraints: 24412
981.78/984.62 c #Conflicts: 1006000 | #Constraints: 25412
981.78/984.62 c #Conflicts: 1007000 | #Constraints: 26412
981.78/984.62 c #Conflicts: 1008000 | #Constraints: 27412
981.78/984.62 c #Conflicts: 1009000 | #Constraints: 28412
981.78/984.62 c #Conflicts: 1010000 | #Constraints: 29412
981.78/984.62 c #Conflicts: 1011000 | #Constraints: 30412
981.78/984.62 c #Conflicts: 1012000 | #Constraints: 31412
981.78/984.62 c #Conflicts: 1013000 | #Constraints: 32412
981.78/984.62 c #Conflicts: 1014000 | #Constraints: 33412
981.78/984.62 c #Conflicts: 1015000 | #Constraints: 34412
981.78/984.62 c #Conflicts: 1016000 | #Constraints: 35412
981.78/984.62 c #Conflicts: 1017000 | #Constraints: 36412
981.78/984.62 c #Conflicts: 1018000 | #Constraints: 37412
981.78/984.62 c #Conflicts: 1019000 | #Constraints: 38412
981.78/984.62 c #Conflicts: 1020000 | #Constraints: 39412
981.78/984.62 c #Conflicts: 1021000 | #Constraints: 40412
981.78/984.62 c INPROCESSING
981.78/984.62 c GARBAGE COLLECT
981.78/984.62 c #Conflicts: 1022000 | #Constraints: 21408
981.78/984.62 c #Conflicts: 1023000 | #Constraints: 22408
981.78/984.62 c #Conflicts: 1024000 | #Constraints: 23408
981.78/984.62 c #Conflicts: 1025000 | #Constraints: 24408
981.78/984.62 c #Conflicts: 1026000 | #Constraints: 25408
981.78/984.62 c #Conflicts: 1027000 | #Constraints: 26408
981.78/984.62 c #Conflicts: 1028000 | #Constraints: 27408
981.78/984.62 c #Conflicts: 1029000 | #Constraints: 28408
981.78/984.62 c #Conflicts: 1030000 | #Constraints: 29408
981.78/984.62 c #Conflicts: 1031000 | #Constraints: 30408
981.78/984.62 c #Conflicts: 1032000 | #Constraints: 31408
981.78/984.62 c #Conflicts: 1033000 | #Constraints: 32408
981.78/984.62 c #Conflicts: 1034000 | #Constraints: 33408
981.78/984.62 c #Conflicts: 1035000 | #Constraints: 34408
981.78/984.62 c #Conflicts: 1036000 | #Constraints: 35408
981.78/984.62 c #Conflicts: 1037000 | #Constraints: 36408
981.78/984.62 c #Conflicts: 1038000 | #Constraints: 37408
981.78/984.62 c #Conflicts: 1039000 | #Constraints: 38408
981.78/984.62 c #Conflicts: 1040000 | #Constraints: 39408
981.78/984.62 c #Conflicts: 1041000 | #Constraints: 40408
981.78/984.62 c INPROCESSING
981.78/984.62 c GARBAGE COLLECT
981.78/984.62 c #Conflicts: 1042000 | #Constraints: 21198
981.78/984.62 c #Conflicts: 1043000 | #Constraints: 22198
981.78/984.62 c #Conflicts: 1044000 | #Constraints: 23198
1074.21/1077.33 c #Conflicts: 1045000 | #Constraints: 24198
1074.21/1077.33 c #Conflicts: 1046000 | #Constraints: 25198
1074.21/1077.33 c #Conflicts: 1047000 | #Constraints: 26198
1074.21/1077.33 c #Conflicts: 1048000 | #Constraints: 27198
1074.21/1077.33 c #Conflicts: 1049000 | #Constraints: 28198
1074.21/1077.33 c #Conflicts: 1050000 | #Constraints: 29198
1074.21/1077.33 c #Conflicts: 1051000 | #Constraints: 30198
1074.21/1077.33 c #Conflicts: 1052000 | #Constraints: 31198
1074.21/1077.33 c #Conflicts: 1053000 | #Constraints: 32198
1074.21/1077.33 c #Conflicts: 1054000 | #Constraints: 33198
1074.21/1077.33 c #Conflicts: 1055000 | #Constraints: 34198
1074.21/1077.33 c #Conflicts: 1056000 | #Constraints: 35198
1074.21/1077.33 c #Conflicts: 1057000 | #Constraints: 36198
1074.21/1077.33 c #Conflicts: 1058000 | #Constraints: 37198
1074.21/1077.33 c #Conflicts: 1059000 | #Constraints: 38198
1074.21/1077.33 c #Conflicts: 1060000 | #Constraints: 39198
1074.21/1077.33 c #Conflicts: 1061000 | #Constraints: 40198
1074.21/1077.33 c #Conflicts: 1062000 | #Constraints: 41198
1074.21/1077.33 c INPROCESSING
1074.21/1077.33 c GARBAGE COLLECT
1074.21/1077.33 c #Conflicts: 1063000 | #Constraints: 21808
1074.21/1077.33 c #Conflicts: 1064000 | #Constraints: 22808
1074.21/1077.33 c #Conflicts: 1065000 | #Constraints: 23808
1074.21/1077.33 c #Conflicts: 1066000 | #Constraints: 24808
1074.21/1077.33 c #Conflicts: 1067000 | #Constraints: 25808
1074.21/1077.33 c #Conflicts: 1068000 | #Constraints: 26808
1074.21/1077.33 c #Conflicts: 1069000 | #Constraints: 27808
1074.21/1077.33 c #Conflicts: 1070000 | #Constraints: 28808
1074.21/1077.33 c #Conflicts: 1071000 | #Constraints: 29808
1074.21/1077.33 c #Conflicts: 1072000 | #Constraints: 30808
1074.21/1077.33 c #Conflicts: 1073000 | #Constraints: 31808
1074.21/1077.33 c #Conflicts: 1074000 | #Constraints: 32808
1074.21/1077.33 c #Conflicts: 1075000 | #Constraints: 33808
1074.21/1077.33 c #Conflicts: 1076000 | #Constraints: 34808
1074.21/1077.33 c #Conflicts: 1077000 | #Constraints: 35808
1074.21/1077.33 c #Conflicts: 1078000 | #Constraints: 36808
1074.21/1077.33 c #Conflicts: 1079000 | #Constraints: 37808
1074.21/1077.33 c #Conflicts: 1080000 | #Constraints: 38808
1074.21/1077.33 c #Conflicts: 1081000 | #Constraints: 39808
1074.21/1077.33 c #Conflicts: 1082000 | #Constraints: 40808
1074.21/1077.33 c #Conflicts: 1083000 | #Constraints: 41808
1074.21/1077.33 c INPROCESSING
1074.21/1077.33 c GARBAGE COLLECT
1074.21/1077.33 c #Conflicts: 1084000 | #Constraints: 22198
1074.21/1077.33 c #Conflicts: 1085000 | #Constraints: 23198
1074.21/1077.33 c #Conflicts: 1086000 | #Constraints: 24198
1074.21/1077.33 c #Conflicts: 1087000 | #Constraints: 25198
1074.21/1077.33 c #Conflicts: 1088000 | #Constraints: 26198
1074.21/1077.33 c #Conflicts: 1089000 | #Constraints: 27198
1074.21/1077.33 c #Conflicts: 1090000 | #Constraints: 28198
1074.21/1077.33 c #Conflicts: 1091000 | #Constraints: 29198
1074.21/1077.33 c #Conflicts: 1092000 | #Constraints: 30198
1074.21/1077.33 c #Conflicts: 1093000 | #Constraints: 31198
1074.21/1077.33 c #Conflicts: 1094000 | #Constraints: 32198
1074.21/1077.33 c #Conflicts: 1095000 | #Constraints: 33198
1074.21/1077.33 c #Conflicts: 1096000 | #Constraints: 34198
1074.21/1077.33 c #Conflicts: 1097000 | #Constraints: 35198
1074.21/1077.33 c #Conflicts: 1098000 | #Constraints: 36198
1074.21/1077.33 c #Conflicts: 1099000 | #Constraints: 37198
1074.21/1077.33 c #Conflicts: 1100000 | #Constraints: 38198
1074.21/1077.33 c #Conflicts: 1101000 | #Constraints: 39198
1074.21/1077.33 c #Conflicts: 1102000 | #Constraints: 40198
1074.21/1077.33 c #Conflicts: 1103000 | #Constraints: 41198
1074.21/1077.33 c #Conflicts: 1104000 | #Constraints: 42198
1074.21/1077.33 c INPROCESSING
1074.21/1077.33 c GARBAGE COLLECT
1074.21/1077.33 c #Conflicts: 1105000 | #Constraints: 22404
1074.21/1077.33 c #Conflicts: 1106000 | #Constraints: 23404
1074.21/1077.33 c #Conflicts: 1107000 | #Constraints: 24404
1074.21/1077.33 c #Conflicts: 1108000 | #Constraints: 25404
1074.21/1077.33 c #Conflicts: 1109000 | #Constraints: 26404
1074.21/1077.33 c #Conflicts: 1110000 | #Constraints: 27404
1074.21/1077.33 c #Conflicts: 1111000 | #Constraints: 28404
1074.21/1077.33 c #Conflicts: 1112000 | #Constraints: 29404
1074.21/1077.33 c #Conflicts: 1113000 | #Constraints: 30404
1074.21/1077.33 c #Conflicts: 1114000 | #Constraints: 31404
1074.21/1077.33 c #Conflicts: 1115000 | #Constraints: 32404
1074.21/1077.33 c #Conflicts: 1116000 | #Constraints: 33404
1074.21/1077.33 c #Conflicts: 1117000 | #Constraints: 34404
1074.21/1077.33 c #Conflicts: 1118000 | #Constraints: 35404
1074.21/1077.33 c #Conflicts: 1119000 | #Constraints: 36404
1074.21/1077.33 c #Conflicts: 1120000 | #Constraints: 37404
1074.21/1077.33 c #Conflicts: 1121000 | #Constraints: 38404
1104.93/1108.19 c #Conflicts: 1122000 | #Constraints: 39404
1104.93/1108.19 c #Conflicts: 1123000 | #Constraints: 40404
1104.93/1108.19 c #Conflicts: 1124000 | #Constraints: 41404
1104.93/1108.19 c #Conflicts: 1125000 | #Constraints: 42404
1104.93/1108.19 c INPROCESSING
1104.93/1108.19 c GARBAGE COLLECT
1104.93/1108.19 c #Conflicts: 1126000 | #Constraints: 22404
1104.93/1108.19 c #Conflicts: 1127000 | #Constraints: 23404
1104.93/1108.19 c #Conflicts: 1128000 | #Constraints: 24404
1104.93/1108.19 c #Conflicts: 1129000 | #Constraints: 25404
1104.93/1108.19 c #Conflicts: 1130000 | #Constraints: 26404
1104.93/1108.19 c #Conflicts: 1131000 | #Constraints: 27404
1104.93/1108.19 c #Conflicts: 1132000 | #Constraints: 28404
1104.93/1108.19 c #Conflicts: 1133000 | #Constraints: 29404
1104.93/1108.19 c #Conflicts: 1134000 | #Constraints: 30404
1104.93/1108.19 c #Conflicts: 1135000 | #Constraints: 31404
1104.93/1108.19 c #Conflicts: 1136000 | #Constraints: 32404
1104.93/1108.19 c #Conflicts: 1137000 | #Constraints: 33404
1104.93/1108.19 c #Conflicts: 1138000 | #Constraints: 34404
1104.93/1108.19 c #Conflicts: 1139000 | #Constraints: 35404
1104.93/1108.19 c #Conflicts: 1140000 | #Constraints: 36404
1104.93/1108.19 c #Conflicts: 1141000 | #Constraints: 37404
1104.93/1108.19 c #Conflicts: 1142000 | #Constraints: 38404
1104.93/1108.19 c GLOBAL bounds - >= 0 @ 1097.56
1105.03/1108.22 c rational objective 0
1105.03/1108.29 c Conflict after adding new constraint
1105.03/1108.29 c cpu time 1097.66 s
1105.03/1108.29 c deterministic time 4211 4.21e+03
1105.03/1108.29 c optimization time 1097.59 s
1105.03/1108.29 c total solve time 0.07621 s
1105.03/1108.29 c core-guided solve time 0 s
1105.03/1108.29 c propagation time 0.001406 s
1105.03/1108.29 c conflict analysis time 0 s
1105.03/1108.29 c propagations 206
1105.03/1108.29 c resolve steps 0
1105.03/1108.29 c decisions 249
1105.03/1108.29 c conflicts 0
1105.03/1108.29 c restarts 1
1105.03/1108.29 c inprocessing phases 0
1105.03/1108.29 c garbage collections 0 ,( -nan )
1105.03/1108.29 c input clauses 406 ,( 68.93 )
1105.03/1108.29 c input cardinalities 183 ,( 31.07 )
1105.03/1108.29 c input general constraints 0 ,( 0.00 )
1105.03/1108.29 c input average constraint length 4.18
1105.03/1108.29 c input average constraint degree 1.59
1105.03/1108.29 c learned clauses 0 ,( 0.00 )
1105.03/1108.29 c learned cardinalities 0 ,( 0.00 )
1105.03/1108.29 c learned general constraints 1 ,( 100.00 )
1105.03/1108.29 c learned average constraint length 144.00
1105.03/1108.29 c learned average constraint degree 7462468543.00
1105.03/1108.29 c watched CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
1105.03/1108.29 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
1105.03/1108.29 c watched constraints 1 ,( 100.00 )
1105.03/1108.29 c counting constraints 0 ,( 0.00 )
1105.03/1108.29 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 88 , 399 , 17 ,( 17 , 0 )
1105.03/1108.29 c gcd simplifications 0
1105.03/1108.29 c detected cardinalities 0
1105.03/1108.29 c weakened non-implied lits 0
1105.03/1108.29 c weakened non-implying lits 0
1105.03/1108.29 c original variables 435
1105.03/1108.29 c clausal propagations 87
1105.03/1108.29 c cardinality propagations 118
1105.03/1108.29 c watched propagations 0
1105.03/1108.29 c counting propagations 0
1105.03/1108.29 c watch lookups 520
1105.03/1108.29 c watch backjump lookups 0
1105.03/1108.29 c watch checks 1192
1105.03/1108.29 c propagation checks 800
1105.03/1108.29 c constraint additions 0
1105.03/1108.29 c trail pops 454
1105.03/1108.29 c formula constraints 501
1105.03/1108.29 c learned constraints 0
1105.03/1108.29 c bound constraints 0
1105.03/1108.29 c core-guided constraints 0
1105.03/1108.29 c encountered formula constraints 0
1105.03/1108.29 c encountered learned constraints 0
1105.03/1108.29 c encountered bound constraints 0
1105.03/1108.29 c encountered core-guided constraints 0
1105.03/1108.29 c LP total time 0.075815 s
1105.03/1108.29 c LP solve time 0.01 s
1105.03/1108.29 c LP constraints added 502
1105.03/1108.29 c LP constraints removed 0
1105.03/1108.29 c LP pivots internal 25
1105.03/1108.29 c LP pivots root 764
1105.03/1108.29 c LP calls 2
1105.03/1108.29 c LP optimalities 2
1105.03/1108.29 c LP no pivot count 0
1105.03/1108.29 c LP infeasibilities 0
1105.03/1108.29 c LP valid Farkas constraints 0
1105.03/1108.29 c LP learned Farkas constraints 0
1105.03/1108.29 c LP basis resets 0
1105.03/1108.29 c LP cycling count 0
1105.03/1108.29 c LP singular count 0
1105.03/1108.29 c LP no primal count 0
1105.03/1108.29 c LP no farkas count 0
1105.03/1108.29 c LP other issue count 0
1105.03/1108.29 c LP Gomory cuts 1
1105.03/1108.29 c LP learned cuts 0
1105.03/1108.29 c LP deleted cuts 0
1105.03/1108.29 c LP encountered Gomory constraints 0
1105.03/1108.29 c LP encountered Farkas constraints 0
1105.03/1108.29 c LP encountered learned Farkas constraints 0
1105.03/1108.29 c CG auxiliary variables introduced 20
1105.03/1108.29 c CG solutions found 1
1105.03/1108.29 c CG cores constructed 0
1105.03/1108.29 c CG core cardinality constraints returned 0
1105.03/1108.29 c CG unit cores 0
1105.03/1108.29 c CG single cores 0
1105.03/1108.29 c CG blocks removed during cardinality reduction 0
1105.03/1108.29 c CG first core best 0
1105.03/1108.29 c CG decision core best 0
1105.03/1108.29 c CG core reduction tie 0
1105.03/1108.29 c CG core degree average 0.00
1105.03/1108.29 c CG core slack average 0.00
1105.03/1108.29 c CG core upper bound improvements 0
1105.03/1108.29 c STR number of successful calls 0
1105.03/1108.29 c STR number of unsuccessful calls 0
1105.03/1108.29 c STR number of inconclusive calls 0
1105.03/1108.29 c STR number of successful attempts 0
1105.03/1108.29 c STR number of unsuccessful attempts 0
1105.03/1108.29 c STR number of inconclusive attempts 0
1105.03/1108.29 c STR average degree increase per successful call inf
1105.03/1108.29 c STR average degree increase per successful attempt inf
1105.03/1108.29 c STR total number of conflicts for successful attempts 0
1105.03/1108.29 c STR total number of conflicts for unsuccessful attempts 0
1105.03/1108.29 c STR total number of conflicts for inconclusive attempts 0
1105.03/1108.29 c STR average number of conflicts per successful attempt inf
1105.03/1108.29 c STR average number of conflicts per unsuccessful attempt inf
1105.03/1108.29 c STR average number of conflicts per inconclusive attempt inf
1105.03/1108.29 c AVG.sumWPerc 31.94
1105.03/1108.29 c bigint constraints 0
1105.03/1108.29 o 0
1105.03/1108.29 s OPTIMUM FOUND
1105.12/1108.30 v x1 x2 x3 x4 x5 x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 x20 -x21 -x22 -x23 x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 x104 x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 x193 -x194 -x195 x196 x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 x210 -x211 x212 x213 x214 -x215 -x216 -x217 x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 x231 x232 x233 x234 x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 x250 -x251 -x252 -x253 x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 x264 x265 x266 x267 x268 x269 x270 x271 x272 -x273 -x274 x275 x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 x285 x286 x287 x288 x289 x290 x291 -x292 -x293 x294 x295 x296 -x297 -x298 -x299 x300 -x301 -x302 x303 x304 x305 x306 x307 x308 x309 x310 x311 x312 x313 x314 x315 x316 x317 x318 x319 -x320 -x321 -x322 -x323 x324 -x325 x326 x327 x328 x329 x330 x331 x332 -x333 x334 x335 x336 -x337 x338 x339 x340 -x341 x342 x343 x344 x345 x346 x347 x348 x349 x350 x351 x352 x353 x354 x355 x356 x357 x358 x359 x360 x361 x362 x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 x372 x373 -x374 x375 x376 x377 x378 x379 x380 x381 -x382 -x383 -x384 x385 -x386 -x387 x388 x389 x390 x391 x392 x393 x394 x395 x396 x397 x398 x399 -x400 x401 x402 x403 x404 x405 x406 x407 x408 x409 x410 -x411 -x412 -x413 x414 x415 x416 x417 x418 x419 x420 -x421 x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 x434 x435
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (55045 MiB free)
memory of node 1: 64465 MiB (63626 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484263-1751287344/watcher-4484263-1751287344 -o /tmp/evaluation-result-4484263-1751287344/solver-4484263-1751287344 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751280113-39699 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4484263-1751287344.opb PROOFDIR/proof-4484263-1751287344
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
Current StackSize limit: 8192 KiB
solver pid=40580, runsolver pid=40576
[startup+0.100059 s]*
/proc/loadavg: 4.10 4.09 4.09 4/268 40590
/proc/meminfo: memFree=121512456/131250000 swapFree=33010684/33010684
[pid=40580] ppid=40576 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40580/stat : 40580 (run-opt-log.sh) S 40576 40580 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410969 4292608 768 18446744073709551615 93954242371584 93954243266117 140727824230336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93954243505168 93954243552912 93954261098496 140727824234785 140727824234980 140727824234980 140727824240582 0
/proc/40580/statm: 1048 768 704 219 0 110 0
[pid=40583] ppid=40580 vsize=63212 memory=15788 CPUtime=0.08 cores=4,6
/proc/40583/stat : 40583 (roundingsat) R 40580 40580 39688 0 -1 4194304 1390 0 0 0 8 0 0 0 20 0 1 0 44410970 64729088 3947 18446744073709551615 4227072 8923433 140734128745968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13537280 140734128748882 140734128749096 140734128749096 140734128754666 0
/proc/40583/statm: 15803 3947 2336 1147 0 3230 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 67404 KiB
Current children cumulated memory: 18860 KiB
[startup+0.205674 s]*
/proc/loadavg: 4.10 4.09 4.09 5/274 40597
/proc/meminfo: memFree=121495696/131250000 swapFree=33010684/33010684
[pid=40580] ppid=40576 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40580/stat : 40580 (run-opt-log.sh) S 40576 40580 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410969 4292608 768 18446744073709551615 93954242371584 93954243266117 140727824230336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93954243505168 93954243552912 93954261098496 140727824234785 140727824234980 140727824234980 140727824240582 0
/proc/40580/statm: 1048 768 704 219 0 110 0
[pid=40583] ppid=40580 vsize=66060 memory=18348 CPUtime=0.18 cores=4,6
/proc/40583/stat : 40583 (roundingsat) R 40580 40580 39688 0 -1 4194304 2037 0 0 0 18 0 0 0 20 0 1 0 44410970 67645440 4587 18446744073709551615 4227072 8923433 140734128745968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13537280 140734128748882 140734128749096 140734128749096 140734128754666 0
/proc/40583/statm: 16515 4587 2336 1147 0 3942 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 70252 KiB
Current children cumulated memory: 21420 KiB
[startup+0.30566 s]*
/proc/loadavg: 4.10 4.09 4.09 5/274 40597
/proc/meminfo: memFree=121475032/131250000 swapFree=33010684/33010684
[pid=40580] ppid=40576 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40580/stat : 40580 (run-opt-log.sh) S 40576 40580 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410969 4292608 768 18446744073709551615 93954242371584 93954243266117 140727824230336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93954243505168 93954243552912 93954261098496 140727824234785 140727824234980 140727824234980 140727824240582 0
/proc/40580/statm: 1048 768 704 219 0 110 0
[pid=40583] ppid=40580 vsize=67612 memory=19884 CPUtime=0.28 cores=4,6
/proc/40583/stat : 40583 (roundingsat) R 40580 40580 39688 0 -1 4194304 2413 0 0 0 27 1 0 0 20 0 1 0 44410970 69234688 4971 18446744073709551615 4227072 8923433 140734128745968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13537280 140734128748882 140734128749096 140734128749096 140734128754666 0
/proc/40583/statm: 16903 4971 2336 1147 0 4330 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 71804 KiB
Current children cumulated memory: 22956 KiB
[startup+0.700192 s]
/proc/loadavg: 4.10 4.09 4.09 5/274 40597
/proc/meminfo: memFree=121443784/131250000 swapFree=33010684/33010684
[pid=40580] ppid=40576 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40580/stat : 40580 (run-opt-log.sh) S 40576 40580 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410969 4292608 768 18446744073709551615 93954242371584 93954243266117 140727824230336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93954243505168 93954243552912 93954261098496 140727824234785 140727824234980 140727824234980 140727824240582 0
/proc/40580/statm: 1048 768 704 219 0 110 0
[pid=40583] ppid=40580 vsize=71652 memory=24876 CPUtime=0.67 cores=4,6
/proc/40583/stat : 40583 (roundingsat) R 40580 40580 39688 0 -1 4194304 3666 0 0 0 65 2 0 0 20 0 1 0 44410970 73371648 6219 18446744073709551615 4227072 8923433 140734128745968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13537280 140734128748882 140734128749096 140734128749096 140734128754666 0
/proc/40583/statm: 17913 6219 2336 1147 0 5340 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 75844 KiB
Current children cumulated memory: 27948 KiB
[startup+1.50019 s]
/proc/loadavg: 4.10 4.09 4.09 5/274 40597
/proc/meminfo: memFree=121404724/131250000 swapFree=33010684/33010684
[pid=40580] ppid=40576 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40580/stat : 40580 (run-opt-log.sh) S 40576 40580 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410969 4292608 768 18446744073709551615 93954242371584 93954243266117 140727824230336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93954243505168 93954243552912 93954261098496 140727824234785 140727824234980 140727824234980 140727824240582 0
/proc/40580/statm: 1048 768 704 219 0 110 0
[pid=40583] ppid=40580 vsize=80264 memory=30892 CPUtime=1.47 cores=4,6
/proc/40583/stat : 40583 (roundingsat) R 40580 40580 39688 0 -1 4194304 5172 0 0 0 143 4 0 0 20 0 1 0 44410970 82190336 7723 18446744073709551615 4227072 8923433 140734128745968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13537280 140734128748882 140734128749096 140734128749096 140734128754666 0
/proc/40583/statm: 20066 7723 2336 1147 0 7493 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 84456 KiB
Current children cumulated memory: 33964 KiB
[startup+3.10552 s]
/proc/loadavg: 4.10 4.09 4.09 5/274 40597
/proc/meminfo: memFree=121288324/131250000 swapFree=33010684/33010684
[pid=40580] ppid=40576 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40580/stat : 40580 (run-opt-log.sh) S 40576 40580 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410969 4292608 768 18446744073709551615 93954242371584 93954243266117 140727824230336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93954243505168 93954243552912 93954261098496 140727824234785 140727824234980 140727824234980 140727824240582 0
/proc/40580/statm: 1048 768 704 219 0 110 0
[pid=40583] ppid=40580 vsize=83032 memory=33196 CPUtime=3.07 cores=4,6
/proc/40583/stat : 40583 (roundingsat) R 40580 40580 39688 0 -1 4194304 5726 0 0 0 301 6 0 0 20 0 1 0 44410970 85024768 8299 18446744073709551615 4227072 8923433 140734128745968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13537280 140734128748882 140734128749096 140734128749096 140734128754666 0
/proc/40583/statm: 20758 8299 2336 1147 0 8185 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 87224 KiB
Current children cumulated memory: 36268 KiB
[startup+6.30019 s]
/proc/loadavg: 4.10 4.09 4.09 5/274 40597
/proc/meminfo: memFree=120938952/131250000 swapFree=33010684/33010684
[pid=40580] ppid=40576 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40580/stat : 40580 (run-opt-log.sh) S 40576 40580 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410969 4292608 768 18446744073709551615 93954242371584 93954243266117 140727824230336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93954243505168 93954243552912 93954261098496 140727824234785 140727824234980 140727824234980 140727824240582 0
/proc/40580/statm: 1048 768 704 219 0 110 0
[pid=40583] ppid=40580 vsize=88408 memory=38316 CPUtime=6.26 cores=4,6
/proc/40583/stat : 40583 (roundingsat) R 40580 40580 39688 0 -1 4194304 7031 0 0 0 615 11 0 0 20 0 1 0 44410970 90529792 9579 18446744073709551615 4227072 8923433 140734128745968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13537280 140734128748882 140734128749096 140734128749096 140734128754666 0
/proc/40583/statm: 22102 9579 2336 1147 0 9529 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 92600 KiB
Current children cumulated memory: 41388 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.09 4.09 5/274 40597
/proc/meminfo: memFree=120538068/131250000 swapFree=33010684/33010684
[pid=40580] ppid=40576 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40580/stat : 40580 (run-opt-log.sh) S 40576 40580 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410969 4292608 768 18446744073709551615 93954242371584 93954243266117 140727824230336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93954243505168 93954243552912 93954261098496 140727824234785 140727824234980 140727824234980 140727824240582 0
/proc/40580/statm: 1048 768 704 219 0 110 0
[pid=40583] ppid=40580 vsize=95388 memory=42284 CPUtime=12.63 cores=4,6
/proc/40583/stat : 40583 (roundingsat) R 40580 40580 39688 0 -1 4194304 8021 0 0 0 1243 20 0 0 20 0 1 0 44410970 97677312 10571 18446744073709551615 4227072 8923433 140734128745968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13537280 140734128748882 140734128749096 140734128749096 140734128754666 0
/proc/40583/statm: 23847 10571 2336 1147 0 11274 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 99580 KiB
Current children cumulated memory: 45356 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.09 4.09 5/274 40597
/proc/meminfo: memFree=120221536/131250000 swapFree=33010684/33010684
[pid=40580] ppid=40576 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40580/stat : 40580 (run-opt-log.sh) S 40576 40580 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410969 4292608 768 18446744073709551615 93954242371584 93954243266117 140727824230336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93954243505168 93954243552912 93954261098496 140727824234785 140727824234980 140727824234980 140727824240582 0
/proc/40580/statm: 1048 768 704 219 0 110 0
[pid=40583] ppid=40580 vsize=98408 memory=45868 CPUtime=25.41 cores=4,6
/proc/40583/stat : 40583 (roundingsat) R 40580 40580 39688 0 -1 4194304 8920 0 0 0 2506 35 0 0 20 0 1 0 44410970 100769792 11467 18446744073709551615 4227072 8923433 140734128745968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13537280 140734128748882 140734128749096 140734128749096 140734128754666 0
/proc/40583/statm: 24602 11467 2336 1147 0 12029 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 102600 KiB
Current children cumulated memory: 48940 KiB
[startup+51.1055 s]
/proc/loadavg: 4.23 4.13 4.10 5/274 40643
/proc/meminfo: memFree=127050512/131250000 swapFree=33010684/33010684
[pid=40580] ppid=40576 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40580/stat : 40580 (run-opt-log.sh) S 40576 40580 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410969 4292608 768 18446744073709551615 93954242371584 93954243266117 140727824230336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93954243505168 93954243552912 93954261098496 140727824234785 140727824234980 140727824234980 140727824240582 0
/proc/40580/statm: 1048 768 704 219 0 110 0
[pid=40583] ppid=40580 vsize=104888 memory=53320 CPUtime=50.94 cores=4,6
/proc/40583/stat : 40583 (roundingsat) R 40580 40580 39688 0 -1 4194304 10259 0 0 0 5035 59 0 0 20 0 1 0 44410970 107405312 13330 18446744073709551615 4227072 8923433 140734128745968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13537280 140734128748882 140734128749096 140734128749096 140734128754666 0
/proc/40583/statm: 26222 13330 2336 1147 0 13649 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 109080 KiB
Current children cumulated memory: 56392 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/274 40646
/proc/meminfo: memFree=125263872/131250000 swapFree=33010684/33010684
[pid=40580] ppid=40576 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40580/stat : 40580 (run-opt-log.sh) S 40576 40580 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410969 4292608 768 18446744073709551615 93954242371584 93954243266117 140727824230336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93954243505168 93954243552912 93954261098496 140727824234785 140727824234980 140727824234980 140727824240582 0
/proc/40580/statm: 1048 768 704 219 0 110 0
[pid=40583] ppid=40580 vsize=127264 memory=71216 CPUtime=101.99 cores=4,6
/proc/40583/stat : 40583 (roundingsat) R 40580 40580 39688 0 -1 4194304 13747 0 0 0 10097 102 0 0 20 0 1 0 44410970 130318336 17804 18446744073709551615 4227072 8923433 140734128745968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13537280 140734128748882 140734128749096 140734128749096 140734128754666 0
/proc/40583/statm: 31816 17804 2336 1147 0 19243 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 131456 KiB
Current children cumulated memory: 74288 KiB
[startup+162.3 s]
/proc/loadavg: 4.27 4.16 4.11 5/274 40648
/proc/meminfo: memFree=123524480/131250000 swapFree=33010684/33010684
[pid=40580] ppid=40576 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40580/stat : 40580 (run-opt-log.sh) S 40576 40580 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410969 4292608 768 18446744073709551615 93954242371584 93954243266117 140727824230336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93954243505168 93954243552912 93954261098496 140727824234785 140727824234980 140727824234980 140727824240582 0
/proc/40580/statm: 1048 768 704 219 0 110 0
[pid=40583] ppid=40580 vsize=130308 memory=73640 CPUtime=161.83 cores=4,6
/proc/40583/stat : 40583 (roundingsat) R 40580 40580 39688 0 -1 4194304 14631 0 0 0 16029 154 0 0 20 0 1 0 44410970 133435392 18410 18446744073709551615 4227072 8923433 140734128745968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13537280 140734128748882 140734128749096 140734128749096 140734128754666 0
/proc/40583/statm: 32577 18410 2336 1147 0 20004 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 134500 KiB
Current children cumulated memory: 76712 KiB
[startup+222.3 s]
/proc/loadavg: 4.20 4.16 4.11 5/275 40651
/proc/meminfo: memFree=121924124/131250000 swapFree=33010684/33010684
[pid=40580] ppid=40576 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40580/stat : 40580 (run-opt-log.sh) S 40576 40580 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410969 4292608 768 18446744073709551615 93954242371584 93954243266117 140727824230336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93954243505168 93954243552912 93954261098496 140727824234785 140727824234980 140727824234980 140727824240582 0
/proc/40580/statm: 1048 768 704 219 0 110 0
[pid=40583] ppid=40580 vsize=136036 memory=80148 CPUtime=221.63 cores=4,6
/proc/40583/stat : 40583 (roundingsat) R 40580 40580 39688 0 -1 4194304 16329 0 0 0 21962 201 0 0 20 0 1 0 44410970 139300864 20037 18446744073709551615 4227072 8923433 140734128745968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13537280 140734128748882 140734128749096 140734128749096 140734128754666 0
/proc/40583/statm: 34009 20037 2336 1147 0 21436 0
################
# More data... #
################
/proc/40583/stat : 40583 (roundingsat) R 40580 40580 39688 0 -1 4194304 31433 0 0 0 93301 658 0 0 20 0 1 0 44410970 219807744 33194 18446744073709551615 4227072 8923433 140734128745968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13537280 140734128748882 140734128749096 140734128749096 140734128754666 0
/proc/40583/statm: 53664 33194 2336 1147 0 41091 0
Current children cumulated CPU time: 939.59 s
Current children cumulated vsize: 218848 KiB
Current children cumulated memory: 135848 KiB
[startup+1002.3 s]
/proc/loadavg: 4.30 4.17 4.11 5/274 40699
/proc/meminfo: memFree=107975476/131250000 swapFree=33010684/33010684
[pid=40580] ppid=40576 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40580/stat : 40580 (run-opt-log.sh) S 40576 40580 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410969 4292608 768 18446744073709551615 93954242371584 93954243266117 140727824230336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93954243505168 93954243552912 93954261098496 140727824234785 140727824234980 140727824234980 140727824240582 0
/proc/40580/statm: 1048 768 704 219 0 110 0
[pid=40583] ppid=40580 vsize=218772 memory=135504 CPUtime=999.42 cores=4,6
/proc/40583/stat : 40583 (roundingsat) R 40580 40580 39688 0 -1 4194304 32539 0 0 0 99254 688 0 0 20 0 1 0 44410970 224022528 33876 18446744073709551615 4227072 8923433 140734128745968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13537280 140734128748882 140734128749096 140734128749096 140734128754666 0
/proc/40583/statm: 54693 33876 2336 1147 0 42120 0
Current children cumulated CPU time: 999.42 s
Current children cumulated vsize: 222964 KiB
Current children cumulated memory: 138576 KiB
[startup+1062.3 s]
/proc/loadavg: 4.23 4.17 4.11 5/273 40701
/proc/meminfo: memFree=106387892/131250000 swapFree=33010684/33010684
[pid=40580] ppid=40576 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40580/stat : 40580 (run-opt-log.sh) S 40576 40580 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410969 4292608 768 18446744073709551615 93954242371584 93954243266117 140727824230336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93954243505168 93954243552912 93954261098496 140727824234785 140727824234980 140727824234980 140727824240582 0
/proc/40580/statm: 1048 768 704 219 0 110 0
[pid=40583] ppid=40580 vsize=228396 memory=149672 CPUtime=1059.25 cores=4,6
/proc/40583/stat : 40583 (roundingsat) R 40580 40580 39688 0 -1 4194304 35739 0 0 0 105201 724 0 0 20 0 1 0 44410970 233877504 37418 18446744073709551615 4227072 8923433 140734128745968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13537280 140734128748882 140734128749096 140734128749096 140734128754666 0
/proc/40583/statm: 57099 37418 2336 1147 0 44526 0
Current children cumulated CPU time: 1059.25 s
Current children cumulated vsize: 232588 KiB
Current children cumulated memory: 152744 KiB
[startup+1108.31 s]
# the end of solver process 40580 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1097.67 s, system=7.47461 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1075.2 s]
/proc/loadavg: 4.18 4.16 4.10 5/273 40701
/proc/meminfo: memFree=106193360/131250000 swapFree=33010684/33010684
[pid=40580] ppid=40576 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40580/stat : 40580 (run-opt-log.sh) S 40576 40580 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410969 4292608 768 18446744073709551615 93954242371584 93954243266117 140727824230336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93954243505168 93954243552912 93954261098496 140727824234785 140727824234980 140727824234980 140727824240582 0
/proc/40580/statm: 1048 768 704 219 0 110 0
[pid=40583] ppid=40580 vsize=228396 memory=149672 CPUtime=1072.12 cores=4,6
/proc/40583/stat : 40583 (roundingsat) R 40580 40580 39688 0 -1 4194304 35739 0 0 0 106482 730 0 0 20 0 1 0 44410970 233877504 37418 18446744073709551615 4227072 8923433 140734128745968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13537280 140734128748882 140734128749096 140734128749096 140734128754666 0
/proc/40583/statm: 57099 37418 2336 1147 0 44526 0
Current children cumulated CPU time: 1072.12 s
Current children cumulated vsize: 232588 KiB
Current children cumulated memory: 152744 KiB
[startup+1088 s]*
/proc/loadavg: 4.15 4.15 4.10 5/273 40701
/proc/meminfo: memFree=106042524/131250000 swapFree=33010684/33010684
[pid=40580] ppid=40576 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40580/stat : 40580 (run-opt-log.sh) S 40576 40580 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410969 4292608 768 18446744073709551615 93954242371584 93954243266117 140727824230336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93954243505168 93954243552912 93954261098496 140727824234785 140727824234980 140727824234980 140727824240582 0
/proc/40580/statm: 1048 768 704 219 0 110 0
[pid=40583] ppid=40580 vsize=228396 memory=149672 CPUtime=1084.89 cores=4,6
/proc/40583/stat : 40583 (roundingsat) R 40580 40580 39688 0 -1 4194304 35741 0 0 0 107751 738 0 0 20 0 1 0 44410970 233877504 37418 18446744073709551615 4227072 8923433 140734128745968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13537280 140734128748882 140734128749096 140734128749096 140734128754666 0
/proc/40583/statm: 57099 37418 2336 1147 0 44526 0
Current children cumulated CPU time: 1084.89 s
Current children cumulated vsize: 232588 KiB
Current children cumulated memory: 152744 KiB
[startup+1100.8 s]
/proc/loadavg: 4.11 4.14 4.10 5/273 40701
/proc/meminfo: memFree=105881556/131250000 swapFree=33010684/33010684
[pid=40580] ppid=40576 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40580/stat : 40580 (run-opt-log.sh) S 40576 40580 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410969 4292608 768 18446744073709551615 93954242371584 93954243266117 140727824230336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93954243505168 93954243552912 93954261098496 140727824234785 140727824234980 140727824234980 140727824240582 0
/proc/40580/statm: 1048 768 704 219 0 110 0
[pid=40583] ppid=40580 vsize=228396 memory=149672 CPUtime=1097.65 cores=4,6
/proc/40583/stat : 40583 (roundingsat) R 40580 40580 39688 0 -1 4194304 35741 0 0 0 109021 744 0 0 20 0 1 0 44410970 233877504 37418 18446744073709551615 4227072 8923433 140734128745968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13537280 140734128748882 140734128749096 140734128749096 140734128754666 0
/proc/40583/statm: 57099 37418 2336 1147 0 44526 0
Current children cumulated CPU time: 1097.65 s
Current children cumulated vsize: 232588 KiB
Current children cumulated memory: 152744 KiB
[startup+1104 s]*
/proc/loadavg: 4.11 4.14 4.10 5/273 40701
/proc/meminfo: memFree=105849736/131250000 swapFree=33010684/33010684
[pid=40580] ppid=40576 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40580/stat : 40580 (run-opt-log.sh) S 40576 40580 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410969 4292608 768 18446744073709551615 93954242371584 93954243266117 140727824230336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93954243505168 93954243552912 93954261098496 140727824234785 140727824234980 140727824234980 140727824240582 0
/proc/40580/statm: 1048 768 704 219 0 110 0
[pid=40583] ppid=40580 vsize=228396 memory=149672 CPUtime=1100.85 cores=4,6
/proc/40583/stat : 40583 (roundingsat) R 40580 40580 39688 0 -1 4194304 35741 0 0 0 109340 745 0 0 20 0 1 0 44410970 233877504 37418 18446744073709551615 4227072 8923433 140734128745968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13537280 140734128748882 140734128749096 140734128749096 140734128754666 0
/proc/40583/statm: 57099 37418 2336 1147 0 44526 0
Current children cumulated CPU time: 1100.85 s
Current children cumulated vsize: 232588 KiB
Current children cumulated memory: 152744 KiB
[startup+1105.6 s]
/proc/loadavg: 4.19 4.16 4.10 5/273 40701
/proc/meminfo: memFree=105857176/131250000 swapFree=33010684/33010684
[pid=40580] ppid=40576 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40580/stat : 40580 (run-opt-log.sh) S 40576 40580 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410969 4292608 768 18446744073709551615 93954242371584 93954243266117 140727824230336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93954243505168 93954243552912 93954261098496 140727824234785 140727824234980 140727824234980 140727824240582 0
/proc/40580/statm: 1048 768 704 219 0 110 0
[pid=40583] ppid=40580 vsize=228396 memory=149672 CPUtime=1102.43 cores=4,6
/proc/40583/stat : 40583 (roundingsat) R 40580 40580 39688 0 -1 4194304 35741 0 0 0 109498 745 0 0 20 0 1 0 44410970 233877504 37418 18446744073709551615 4227072 8923433 140734128745968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13537280 140734128748882 140734128749096 140734128749096 140734128754666 0
/proc/40583/statm: 57099 37418 2336 1147 0 44526 0
Current children cumulated CPU time: 1102.43 s
Current children cumulated vsize: 232588 KiB
Current children cumulated memory: 152744 KiB
[startup+1107.2 s]
/proc/loadavg: 4.19 4.16 4.10 5/274 40703
/proc/meminfo: memFree=105836744/131250000 swapFree=33010684/33010684
[pid=40580] ppid=40576 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40580/stat : 40580 (run-opt-log.sh) S 40576 40580 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410969 4292608 768 18446744073709551615 93954242371584 93954243266117 140727824230336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93954243505168 93954243552912 93954261098496 140727824234785 140727824234980 140727824234980 140727824240582 0
/proc/40580/statm: 1048 768 704 219 0 110 0
[pid=40583] ppid=40580 vsize=228396 memory=149672 CPUtime=1104.03 cores=4,6
/proc/40583/stat : 40583 (roundingsat) R 40580 40580 39688 0 -1 4194304 35741 0 0 0 109657 746 0 0 20 0 1 0 44410970 233877504 37418 18446744073709551615 4227072 8923433 140734128745968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13537280 140734128748882 140734128749096 140734128749096 140734128754666 0
/proc/40583/statm: 57099 37418 2336 1147 0 44526 0
Current children cumulated CPU time: 1104.03 s
Current children cumulated vsize: 232588 KiB
Current children cumulated memory: 152744 KiB
[startup+1108 s]*
/proc/loadavg: 4.19 4.16 4.10 5/274 40703
/proc/meminfo: memFree=105859344/131250000 swapFree=33010684/33010684
[pid=40580] ppid=40576 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40580/stat : 40580 (run-opt-log.sh) S 40576 40580 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410969 4292608 768 18446744073709551615 93954242371584 93954243266117 140727824230336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93954243505168 93954243552912 93954261098496 140727824234785 140727824234980 140727824234980 140727824240582 0
/proc/40580/statm: 1048 768 704 219 0 110 0
[pid=40583] ppid=40580 vsize=228396 memory=149672 CPUtime=1104.84 cores=4,6
/proc/40583/stat : 40583 (roundingsat) R 40580 40580 39688 0 -1 4194304 35741 0 0 0 109738 746 0 0 20 0 1 0 44410970 233877504 37418 18446744073709551615 4227072 8923433 140734128745968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13537280 140734128748882 140734128749096 140734128749096 140734128754666 0
/proc/40583/statm: 57099 37418 2336 1147 0 44526 0
Current children cumulated CPU time: 1104.84 s
Current children cumulated vsize: 232588 KiB
Current children cumulated memory: 152744 KiB
[startup+1108.2 s]
/proc/loadavg: 4.19 4.16 4.10 5/274 40703
/proc/meminfo: memFree=105859344/131250000 swapFree=33010684/33010684
[pid=40580] ppid=40576 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40580/stat : 40580 (run-opt-log.sh) S 40576 40580 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410969 4292608 768 18446744073709551615 93954242371584 93954243266117 140727824230336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93954243505168 93954243552912 93954261098496 140727824234785 140727824234980 140727824234980 140727824240582 0
/proc/40580/statm: 1048 768 704 219 0 110 0
[pid=40583] ppid=40580 vsize=228396 memory=149672 CPUtime=1105.03 cores=4,6
/proc/40583/stat : 40583 (roundingsat) R 40580 40580 39688 0 -1 4194304 35741 0 0 0 109757 746 0 0 20 0 1 0 44410970 233877504 37418 18446744073709551615 4227072 8923433 140734128745968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13537280 140734128748882 140734128749096 140734128749096 140734128754666 0
/proc/40583/statm: 57099 37418 2336 1147 0 44526 0
Current children cumulated CPU time: 1105.03 s
Current children cumulated vsize: 232588 KiB
Current children cumulated memory: 152744 KiB
[startup+1108.3 s]
/proc/loadavg: 4.19 4.16 4.10 5/274 40703
/proc/meminfo: memFree=105859344/131250000 swapFree=33010684/33010684
[pid=40580] ppid=40576 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40580/stat : 40580 (run-opt-log.sh) S 40576 40580 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410969 4292608 768 18446744073709551615 93954242371584 93954243266117 140727824230336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93954243505168 93954243552912 93954261098496 140727824234785 140727824234980 140727824234980 140727824240582 0
/proc/40580/statm: 1048 768 704 219 0 110 0
[pid=40583] ppid=40580 vsize=150268 memory=54340 CPUtime=1105.12 cores=4,6
/proc/40583/stat : 40583 (roundingsat) R 40580 40580 39688 0 -1 4194304 35747 0 0 0 109766 746 0 0 20 0 1 0 44410970 153874432 13585 18446744073709551615 4227072 8923433 140734128745968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13537280 140734128748882 140734128749096 140734128749096 140734128754666 0
/proc/40583/statm: 37567 13585 2368 1147 0 24994 0
Current children cumulated CPU time: 1105.12 s
Current children cumulated vsize: 154460 KiB
Current children cumulated memory: 57412 KiB
Child status: 0
Real time (s): 1108.31
CPU time (s): 1105.14
CPU user time (s): 1097.67
CPU system time (s): 7.47461
CPU usage (%): 99.7145
Max. virtual memory (cumulated for all children) (KiB): 232588
Max. memory (cumulated for all children) (KiB): 152744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1097.67
system time used= 7.47461
maximum resident set size= 149800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35978
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3466496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 211
involuntary context switches= 1709
# summary of solver processes directly reported to runsolver:
# pid: 40580
# total CPU time (s): 1105.14
# total CPU user time (s): 1097.67
# total CPU system time (s): 7.47461
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.20404 second user time and 5.09624 second system time
The end
Begin job on nodeC014 at 2025-06-30 14:42:24
IDJOB=4484263
IDBENCH=146653
IDSOLVER=3351
FILE ID=nodeC014/4484263-1751287344
RUNJOBID= nodeC014-1751280113-39699
SLURM_JOB_ID= 9594224
Free space on /tmp= 432988 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:100.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484263-1751287344/watcher-4484263-1751287344 -o /tmp/evaluation-result-4484263-1751287344/solver-4484263-1751287344 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751280113-39699 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4484263-1751287344.opb PROOFDIR/proof-4484263-1751287344
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7fa9d6bae1eb6fc87d1fc158a8928861
RANDOM SEED=2084240328
nodeC014 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.175
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.210
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.721
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.165
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.487
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.117
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.122
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.956
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 121529932 kB
MemAvailable: 129165952 kB
Buffers: 3280 kB
Cached: 8434804 kB
SwapCached: 0 kB
Active: 934524 kB
Inactive: 8178696 kB
Active(anon): 693240 kB
Inactive(anon): 0 kB
Active(file): 241284 kB
Inactive(file): 8178696 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 31040 kB
Writeback: 32 kB
AnonPages: 664444 kB
Mapped: 112952 kB
Shmem: 18068 kB
KReclaimable: 110556 kB
Slab: 199672 kB
SReclaimable: 110556 kB
SUnreclaim: 89116 kB
KernelStack: 4468 kB
PageTables: 4420 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1137648 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 296960 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432980 MiB
End job on nodeC014 at 2025-06-30 15:00:52