0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.02/0.12 c #variables 328 #constraints 1747
0.02/0.12 c objective is ce32
0.02/0.12 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.02/0.12 c initial counting CF 32, 64, 128, Arb: 146 , 0 , 0 , 0
0.02/0.12 c GLOBAL bounds - >= -235 @ 0.027133
0.02/0.12 c GLOBAL bounds - >= -235 @ 0.02802
0.02/0.12 c GLOBAL bounds - >= -235 @ 0.029461
0.02/0.12 c GLOBAL bounds - >= -235 @ 0.03004
0.02/0.13 c GLOBAL bounds - >= -235 @ 0.030309
0.02/0.13 c GLOBAL bounds - >= -235 @ 0.031967
0.02/0.13 c GLOBAL bounds - >= -235 @ 0.03313
0.02/0.13 c GLOBAL bounds - >= -235 @ 0.034247
0.02/0.13 c GLOBAL bounds - >= -235 @ 0.035048
0.02/0.13 c GLOBAL bounds - >= -235 @ 0.035315
0.02/0.15 c GLOBAL bounds - >= -235 @ 0.050868
0.02/0.16 c GLOBAL bounds - >= -235 @ 0.065029
0.02/0.16 c GLOBAL bounds - >= -235 @ 0.065925
0.02/0.17 c GLOBAL bounds - >= -235 @ 0.067252
0.02/0.17 c GLOBAL bounds - >= -235 @ 0.068021
0.02/0.17 c GLOBAL bounds - >= -235 @ 0.069007
0.02/0.17 c GLOBAL bounds - >= -235 @ 0.069007
0.02/0.17 c GLOBAL bounds - >= -235 @ 0.06997
0.12/0.24 c GLOBAL bounds - >= -235 @ 0.119525
0.12/0.24 c GLOBAL bounds - >= -235 @ 0.121682
0.12/0.24 c GLOBAL bounds - >= -235 @ 0.12395
0.12/0.25 c GLOBAL bounds - >= -235 @ 0.125352
0.12/0.25 c GLOBAL bounds - >= -235 @ 0.131563
0.12/0.26 c GLOBAL bounds - >= -235 @ 0.139391
0.12/0.26 c GLOBAL bounds - >= -235 @ 0.141207
0.12/0.26 c GLOBAL bounds - >= -235 @ 0.143311
0.12/0.27 c GLOBAL bounds - >= -235 @ 0.144409
0.12/0.27 c GLOBAL bounds - >= -235 @ 0.148411
0.12/0.31 c GLOBAL bounds - >= -235 @ 0.188388
0.12/0.33 c GLOBAL bounds - >= -235 @ 0.190689
0.21/0.37 c GLOBAL bounds - >= -235 @ 0.230408
0.21/0.41 c GLOBAL bounds - >= -235 @ 0.271444
0.40/0.61 c #Conflicts: 1000 | #Constraints: 1661
0.40/0.61 c GLOBAL bounds - >= -235 @ 0.468186
0.49/0.66 c GLOBAL bounds - >= -235 @ 0.522454
1.18/1.34 c #Conflicts: 2000 | #Constraints: 2665
1.18/1.34 c INPROCESSING
1.18/1.34 c GARBAGE COLLECT
1.18/1.34 c GLOBAL bounds - >= -235 @ 1.18241
1.18/1.39 c GLOBAL bounds - >= -235 @ 1.23296
1.28/1.42 c GLOBAL bounds - >= -235 @ 1.26066
21.12/21.31 c #Conflicts: 3000 | #Constraints: 2677
21.12/21.31 c #Conflicts: 4000 | #Constraints: 3677
21.12/21.31 c INPROCESSING
21.12/21.31 c GARBAGE COLLECT
21.12/21.31 c #Conflicts: 5000 | #Constraints: 3080
21.12/21.31 c #Conflicts: 6000 | #Constraints: 4080
21.12/21.31 c INPROCESSING
21.12/21.31 c GARBAGE COLLECT
21.12/21.31 c #Conflicts: 7000 | #Constraints: 3082
21.12/21.31 c #Conflicts: 8000 | #Constraints: 4082
21.12/21.31 c #Conflicts: 9000 | #Constraints: 5082
21.12/21.31 c INPROCESSING
21.12/21.31 c GARBAGE COLLECT
21.12/21.31 c #Conflicts: 10000 | #Constraints: 3783
21.12/21.31 c #Conflicts: 11000 | #Constraints: 4783
21.12/21.31 c #Conflicts: 12000 | #Constraints: 5783
21.12/21.31 c INPROCESSING
21.12/21.31 c GARBAGE COLLECT
21.12/21.31 c #Conflicts: 13000 | #Constraints: 4234
21.12/21.31 c #Conflicts: 14000 | #Constraints: 5234
21.12/21.31 c #Conflicts: 15000 | #Constraints: 6234
21.12/21.31 c INPROCESSING
21.12/21.31 c GARBAGE COLLECT
21.12/21.31 c #Conflicts: 16000 | #Constraints: 4463
21.12/21.31 c #Conflicts: 17000 | #Constraints: 5463
21.12/21.31 c #Conflicts: 18000 | #Constraints: 6463
21.12/21.31 c INPROCESSING
21.12/21.31 c GARBAGE COLLECT
21.12/21.31 c #Conflicts: 19000 | #Constraints: 4477
21.12/21.31 c #Conflicts: 20000 | #Constraints: 5477
21.12/21.31 c #Conflicts: 21000 | #Constraints: 6477
21.12/21.31 c INPROCESSING
21.12/21.31 c GARBAGE COLLECT
21.12/21.31 c #Conflicts: 22000 | #Constraints: 4286
21.12/21.31 c #Conflicts: 23000 | #Constraints: 5286
21.12/21.31 c #Conflicts: 24000 | #Constraints: 6286
21.12/21.31 c #Conflicts: 25000 | #Constraints: 7286
21.12/21.31 c INPROCESSING
21.12/21.31 c GARBAGE COLLECT
21.12/21.31 c #Conflicts: 26000 | #Constraints: 4890
21.12/21.31 c #Conflicts: 27000 | #Constraints: 5890
21.12/21.31 c #Conflicts: 28000 | #Constraints: 6890
21.12/21.31 c #Conflicts: 29000 | #Constraints: 7890
21.12/21.31 c INPROCESSING
21.12/21.31 c GARBAGE COLLECT
21.12/21.31 c #Conflicts: 30000 | #Constraints: 5291
21.12/21.31 c #Conflicts: 31000 | #Constraints: 6291
21.12/21.31 c #Conflicts: 32000 | #Constraints: 7291
21.12/21.31 c #Conflicts: 33000 | #Constraints: 8291
21.12/21.31 c INPROCESSING
21.12/21.31 c GARBAGE COLLECT
21.12/21.31 c #Conflicts: 34000 | #Constraints: 5496
21.12/21.31 c #Conflicts: 35000 | #Constraints: 6496
21.12/21.31 c #Conflicts: 36000 | #Constraints: 7496
21.12/21.31 c #Conflicts: 37000 | #Constraints: 8496
21.12/21.31 c INPROCESSING
21.12/21.31 c GARBAGE COLLECT
21.12/21.31 c #Conflicts: 38000 | #Constraints: 5497
21.12/21.31 c #Conflicts: 39000 | #Constraints: 6497
21.12/21.31 c #Conflicts: 40000 | #Constraints: 7497
21.12/21.31 c #Conflicts: 41000 | #Constraints: 8497
21.12/21.31 c INPROCESSING
21.12/21.31 c GARBAGE COLLECT
21.12/21.31 c #Conflicts: 42000 | #Constraints: 5300
21.12/21.31 c #Conflicts: 43000 | #Constraints: 6300
21.12/21.31 c #Conflicts: 44000 | #Constraints: 7300
21.12/21.31 c #Conflicts: 45000 | #Constraints: 8300
21.12/21.31 c #Conflicts: 46000 | #Constraints: 9300
21.12/21.31 c INPROCESSING
21.12/21.31 c GARBAGE COLLECT
21.12/21.31 c #Conflicts: 47000 | #Constraints: 5899
21.12/21.31 c #Conflicts: 48000 | #Constraints: 6899
21.12/21.31 c #Conflicts: 49000 | #Constraints: 7899
21.12/21.31 c #Conflicts: 50000 | #Constraints: 8899
21.12/21.31 c #Conflicts: 51000 | #Constraints: 9899
21.12/21.31 c INPROCESSING
21.12/21.31 c GARBAGE COLLECT
21.12/21.31 c #Conflicts: 52000 | #Constraints: 6291
21.12/21.31 c #Conflicts: 53000 | #Constraints: 7291
21.12/21.31 c #Conflicts: 54000 | #Constraints: 8291
21.12/21.31 c #Conflicts: 55000 | #Constraints: 9291
21.12/21.31 c #Conflicts: 56000 | #Constraints: 10291
21.12/21.31 c INPROCESSING
21.12/21.31 c GARBAGE COLLECT
21.12/21.31 c #Conflicts: 57000 | #Constraints: 6493
21.12/21.31 c #Conflicts: 58000 | #Constraints: 7493
21.12/21.31 c #Conflicts: 59000 | #Constraints: 8493
21.12/21.31 c #Conflicts: 60000 | #Constraints: 9493
21.12/21.31 c #Conflicts: 61000 | #Constraints: 10493
21.12/21.31 c INPROCESSING
21.12/21.31 c GARBAGE COLLECT
21.12/21.31 c #Conflicts: 62000 | #Constraints: 6496
21.12/21.31 c #Conflicts: 63000 | #Constraints: 7496
21.12/21.31 c #Conflicts: 64000 | #Constraints: 8496
21.12/21.31 c #Conflicts: 65000 | #Constraints: 9496
21.12/21.31 c #Conflicts: 66000 | #Constraints: 10496
21.12/21.31 c INPROCESSING
21.12/21.31 c GARBAGE COLLECT
21.12/21.31 c #Conflicts: 67000 | #Constraints: 6295
21.12/21.31 c #Conflicts: 68000 | #Constraints: 7295
21.12/21.31 c #Conflicts: 69000 | #Constraints: 8295
21.12/21.31 c #Conflicts: 70000 | #Constraints: 9295
50.14/50.41 c #Conflicts: 71000 | #Constraints: 10295
50.14/50.41 c #Conflicts: 72000 | #Constraints: 11295
50.14/50.41 c INPROCESSING
50.14/50.41 c GARBAGE COLLECT
50.14/50.41 c #Conflicts: 73000 | #Constraints: 6894
50.14/50.41 c #Conflicts: 74000 | #Constraints: 7894
50.14/50.41 c #Conflicts: 75000 | #Constraints: 8894
50.14/50.41 c #Conflicts: 76000 | #Constraints: 9894
50.14/50.41 c #Conflicts: 77000 | #Constraints: 10894
50.14/50.41 c #Conflicts: 78000 | #Constraints: 11894
50.14/50.41 c INPROCESSING
50.14/50.41 c GARBAGE COLLECT
50.14/50.41 c #Conflicts: 79000 | #Constraints: 7294
50.14/50.41 c #Conflicts: 80000 | #Constraints: 8294
50.14/50.41 c #Conflicts: 81000 | #Constraints: 9294
50.14/50.41 c #Conflicts: 82000 | #Constraints: 10294
50.14/50.41 c #Conflicts: 83000 | #Constraints: 11294
50.14/50.41 c #Conflicts: 84000 | #Constraints: 12294
50.14/50.41 c INPROCESSING
50.14/50.41 c GARBAGE COLLECT
50.14/50.41 c #Conflicts: 85000 | #Constraints: 7492
50.14/50.41 c #Conflicts: 86000 | #Constraints: 8492
50.14/50.41 c #Conflicts: 87000 | #Constraints: 9492
50.14/50.41 c #Conflicts: 88000 | #Constraints: 10492
50.14/50.41 c #Conflicts: 89000 | #Constraints: 11492
50.14/50.41 c #Conflicts: 90000 | #Constraints: 12492
50.14/50.41 c INPROCESSING
50.14/50.41 c GARBAGE COLLECT
50.14/50.41 c #Conflicts: 91000 | #Constraints: 7495
50.14/50.41 c #Conflicts: 92000 | #Constraints: 8495
50.14/50.41 c #Conflicts: 93000 | #Constraints: 9495
50.14/50.41 c #Conflicts: 94000 | #Constraints: 10495
50.14/50.41 c #Conflicts: 95000 | #Constraints: 11495
50.14/50.41 c #Conflicts: 96000 | #Constraints: 12495
50.14/50.41 c INPROCESSING
50.14/50.41 c GARBAGE COLLECT
50.14/50.41 c #Conflicts: 97000 | #Constraints: 7294
50.14/50.41 c #Conflicts: 98000 | #Constraints: 8294
50.14/50.41 c #Conflicts: 99000 | #Constraints: 9294
50.14/50.41 c #Conflicts: 100000 | #Constraints: 10294
50.14/50.41 c #Conflicts: 101000 | #Constraints: 11294
50.14/50.41 c #Conflicts: 102000 | #Constraints: 12294
50.14/50.41 c #Conflicts: 103000 | #Constraints: 13294
50.14/50.41 c INPROCESSING
50.14/50.41 c GARBAGE COLLECT
50.14/50.41 c #Conflicts: 104000 | #Constraints: 7897
50.14/50.41 c #Conflicts: 105000 | #Constraints: 8897
50.14/50.41 c #Conflicts: 106000 | #Constraints: 9897
50.14/50.41 c #Conflicts: 107000 | #Constraints: 10897
50.14/50.41 c #Conflicts: 108000 | #Constraints: 11897
50.14/50.41 c #Conflicts: 109000 | #Constraints: 12897
50.14/50.41 c #Conflicts: 110000 | #Constraints: 13897
50.14/50.41 c INPROCESSING
50.14/50.41 c GARBAGE COLLECT
50.14/50.41 c #Conflicts: 111000 | #Constraints: 8300
50.14/50.41 c #Conflicts: 112000 | #Constraints: 9300
50.14/50.41 c #Conflicts: 113000 | #Constraints: 10300
50.14/50.41 c #Conflicts: 114000 | #Constraints: 11300
50.14/50.41 c #Conflicts: 115000 | #Constraints: 12300
50.14/50.41 c #Conflicts: 116000 | #Constraints: 13300
50.14/50.41 c #Conflicts: 117000 | #Constraints: 14300
50.14/50.41 c INPROCESSING
50.14/50.41 c GARBAGE COLLECT
50.14/50.41 c #Conflicts: 118000 | #Constraints: 8498
50.14/50.41 c #Conflicts: 119000 | #Constraints: 9498
50.14/50.41 c #Conflicts: 120000 | #Constraints: 10498
50.14/50.41 c #Conflicts: 121000 | #Constraints: 11498
50.14/50.41 c #Conflicts: 122000 | #Constraints: 12498
50.14/50.41 c #Conflicts: 123000 | #Constraints: 13498
50.14/50.41 c #Conflicts: 124000 | #Constraints: 14498
50.14/50.41 c INPROCESSING
50.14/50.41 c GARBAGE COLLECT
50.14/50.41 c #Conflicts: 125000 | #Constraints: 8500
50.14/50.41 c #Conflicts: 126000 | #Constraints: 9500
50.14/50.41 c #Conflicts: 127000 | #Constraints: 10500
50.14/50.41 c #Conflicts: 128000 | #Constraints: 11500
50.14/50.41 c #Conflicts: 129000 | #Constraints: 12500
50.14/50.41 c #Conflicts: 130000 | #Constraints: 13500
50.14/50.41 c #Conflicts: 131000 | #Constraints: 14500
50.14/50.41 c INPROCESSING
50.14/50.41 c GARBAGE COLLECT
50.14/50.41 c #Conflicts: 132000 | #Constraints: 8301
50.14/50.41 c #Conflicts: 133000 | #Constraints: 9301
50.14/50.41 c #Conflicts: 134000 | #Constraints: 10301
50.14/50.41 c #Conflicts: 135000 | #Constraints: 11301
50.14/50.41 c #Conflicts: 136000 | #Constraints: 12301
50.14/50.41 c #Conflicts: 137000 | #Constraints: 13301
50.14/50.41 c #Conflicts: 138000 | #Constraints: 14301
50.14/50.41 c #Conflicts: 139000 | #Constraints: 15301
50.14/50.41 c INPROCESSING
50.14/50.41 c GARBAGE COLLECT
50.14/50.41 c #Conflicts: 140000 | #Constraints: 8903
50.14/50.41 c #Conflicts: 141000 | #Constraints: 9903
50.14/50.41 c #Conflicts: 142000 | #Constraints: 10903
84.65/85.10 c #Conflicts: 143000 | #Constraints: 11903
84.65/85.10 c #Conflicts: 144000 | #Constraints: 12903
84.65/85.10 c #Conflicts: 145000 | #Constraints: 13903
84.65/85.10 c #Conflicts: 146000 | #Constraints: 14903
84.65/85.10 c #Conflicts: 147000 | #Constraints: 15903
84.65/85.10 c INPROCESSING
84.65/85.10 c GARBAGE COLLECT
84.65/85.10 c #Conflicts: 148000 | #Constraints: 9307
84.65/85.10 c #Conflicts: 149000 | #Constraints: 10307
84.65/85.10 c #Conflicts: 150000 | #Constraints: 11307
84.65/85.10 c #Conflicts: 151000 | #Constraints: 12307
84.65/85.10 c #Conflicts: 152000 | #Constraints: 13307
84.65/85.10 c #Conflicts: 153000 | #Constraints: 14307
84.65/85.10 c #Conflicts: 154000 | #Constraints: 15307
84.65/85.10 c #Conflicts: 155000 | #Constraints: 16307
84.65/85.10 c INPROCESSING
84.65/85.10 c GARBAGE COLLECT
84.65/85.10 c #Conflicts: 156000 | #Constraints: 9503
84.65/85.10 c #Conflicts: 157000 | #Constraints: 10503
84.65/85.10 c #Conflicts: 158000 | #Constraints: 11503
84.65/85.10 c #Conflicts: 159000 | #Constraints: 12503
84.65/85.10 c #Conflicts: 160000 | #Constraints: 13503
84.65/85.10 c #Conflicts: 161000 | #Constraints: 14503
84.65/85.10 c #Conflicts: 162000 | #Constraints: 15503
84.65/85.10 c #Conflicts: 163000 | #Constraints: 16503
84.65/85.10 c INPROCESSING
84.65/85.10 c GARBAGE COLLECT
84.65/85.10 c #Conflicts: 164000 | #Constraints: 9501
84.65/85.10 c #Conflicts: 165000 | #Constraints: 10501
84.65/85.10 c #Conflicts: 166000 | #Constraints: 11501
84.65/85.10 c #Conflicts: 167000 | #Constraints: 12501
84.65/85.10 c #Conflicts: 168000 | #Constraints: 13501
84.65/85.10 c #Conflicts: 169000 | #Constraints: 14501
84.65/85.10 c #Conflicts: 170000 | #Constraints: 15501
84.65/85.10 c #Conflicts: 171000 | #Constraints: 16501
84.65/85.10 c INPROCESSING
84.65/85.10 c GARBAGE COLLECT
84.65/85.10 c #Conflicts: 172000 | #Constraints: 9307
84.65/85.10 c #Conflicts: 173000 | #Constraints: 10307
84.65/85.10 c #Conflicts: 174000 | #Constraints: 11307
84.65/85.10 c #Conflicts: 175000 | #Constraints: 12307
84.65/85.10 c #Conflicts: 176000 | #Constraints: 13307
84.65/85.10 c #Conflicts: 177000 | #Constraints: 14307
84.65/85.10 c #Conflicts: 178000 | #Constraints: 15307
84.65/85.10 c #Conflicts: 179000 | #Constraints: 16307
84.65/85.10 c #Conflicts: 180000 | #Constraints: 17307
84.65/85.10 c INPROCESSING
84.65/85.10 c GARBAGE COLLECT
84.65/85.10 c #Conflicts: 181000 | #Constraints: 9911
84.65/85.10 c #Conflicts: 182000 | #Constraints: 10911
84.65/85.10 c #Conflicts: 183000 | #Constraints: 11911
84.65/85.10 c #Conflicts: 184000 | #Constraints: 12911
84.65/85.10 c #Conflicts: 185000 | #Constraints: 13911
84.65/85.10 c #Conflicts: 186000 | #Constraints: 14911
84.65/85.10 c #Conflicts: 187000 | #Constraints: 15911
84.65/85.10 c #Conflicts: 188000 | #Constraints: 16911
84.65/85.10 c #Conflicts: 189000 | #Constraints: 17911
84.65/85.10 c INPROCESSING
84.65/85.10 c GARBAGE COLLECT
84.65/85.10 c #Conflicts: 190000 | #Constraints: 10308
84.65/85.10 c #Conflicts: 191000 | #Constraints: 11308
84.65/85.10 c #Conflicts: 192000 | #Constraints: 12308
84.65/85.10 c #Conflicts: 193000 | #Constraints: 13308
84.65/85.10 c #Conflicts: 194000 | #Constraints: 14308
84.65/85.10 c #Conflicts: 195000 | #Constraints: 15308
84.65/85.10 c #Conflicts: 196000 | #Constraints: 16308
84.65/85.10 c #Conflicts: 197000 | #Constraints: 17308
84.65/85.10 c #Conflicts: 198000 | #Constraints: 18308
84.65/85.10 c INPROCESSING
84.65/85.10 c GARBAGE COLLECT
84.65/85.10 c #Conflicts: 199000 | #Constraints: 10504
84.65/85.10 c #Conflicts: 200000 | #Constraints: 11504
84.65/85.10 c #Conflicts: 201000 | #Constraints: 12504
84.65/85.10 c #Conflicts: 202000 | #Constraints: 13504
84.65/85.10 c #Conflicts: 203000 | #Constraints: 14504
84.65/85.10 c #Conflicts: 204000 | #Constraints: 15504
84.65/85.10 c #Conflicts: 205000 | #Constraints: 16504
84.65/85.10 c #Conflicts: 206000 | #Constraints: 17504
84.65/85.10 c #Conflicts: 207000 | #Constraints: 18504
84.65/85.10 c INPROCESSING
84.65/85.10 c GARBAGE COLLECT
84.65/85.10 c #Conflicts: 208000 | #Constraints: 10498
84.65/85.10 c #Conflicts: 209000 | #Constraints: 11498
84.65/85.10 c #Conflicts: 210000 | #Constraints: 12498
84.65/85.10 c #Conflicts: 211000 | #Constraints: 13498
84.65/85.10 c #Conflicts: 212000 | #Constraints: 14498
84.65/85.10 c #Conflicts: 213000 | #Constraints: 15498
84.65/85.10 c #Conflicts: 214000 | #Constraints: 16498
84.65/85.10 c #Conflicts: 215000 | #Constraints: 17498
84.65/85.10 c #Conflicts: 216000 | #Constraints: 18498
113.57/114.10 c INPROCESSING
113.57/114.10 c GARBAGE COLLECT
113.57/114.10 c #Conflicts: 217000 | #Constraints: 10297
113.57/114.10 c #Conflicts: 218000 | #Constraints: 11297
113.57/114.10 c #Conflicts: 219000 | #Constraints: 12297
113.57/114.10 c #Conflicts: 220000 | #Constraints: 13297
113.57/114.10 c #Conflicts: 221000 | #Constraints: 14297
113.57/114.10 c #Conflicts: 222000 | #Constraints: 15297
113.57/114.10 c #Conflicts: 223000 | #Constraints: 16297
113.57/114.10 c #Conflicts: 224000 | #Constraints: 17297
113.57/114.10 c #Conflicts: 225000 | #Constraints: 18297
113.57/114.10 c #Conflicts: 226000 | #Constraints: 19297
113.57/114.10 c INPROCESSING
113.57/114.10 c GARBAGE COLLECT
113.57/114.10 c #Conflicts: 227000 | #Constraints: 10900
113.57/114.10 c #Conflicts: 228000 | #Constraints: 11900
113.57/114.10 c #Conflicts: 229000 | #Constraints: 12900
113.57/114.10 c #Conflicts: 230000 | #Constraints: 13900
113.57/114.10 c #Conflicts: 231000 | #Constraints: 14900
113.57/114.10 c #Conflicts: 232000 | #Constraints: 15900
113.57/114.10 c #Conflicts: 233000 | #Constraints: 16900
113.57/114.10 c #Conflicts: 234000 | #Constraints: 17900
113.57/114.10 c #Conflicts: 235000 | #Constraints: 18900
113.57/114.10 c #Conflicts: 236000 | #Constraints: 19900
113.57/114.10 c INPROCESSING
113.57/114.10 c GARBAGE COLLECT
113.57/114.10 c #Conflicts: 237000 | #Constraints: 11296
113.57/114.10 c #Conflicts: 238000 | #Constraints: 12296
113.57/114.10 c #Conflicts: 239000 | #Constraints: 13296
113.57/114.10 c #Conflicts: 240000 | #Constraints: 14296
113.57/114.10 c #Conflicts: 241000 | #Constraints: 15296
113.57/114.10 c #Conflicts: 242000 | #Constraints: 16296
113.57/114.10 c #Conflicts: 243000 | #Constraints: 17296
113.57/114.10 c #Conflicts: 244000 | #Constraints: 18296
113.57/114.10 c #Conflicts: 245000 | #Constraints: 19296
113.57/114.10 c #Conflicts: 246000 | #Constraints: 20296
113.57/114.10 c INPROCESSING
113.57/114.10 c GARBAGE COLLECT
113.57/114.10 c #Conflicts: 247000 | #Constraints: 11498
113.57/114.10 c #Conflicts: 248000 | #Constraints: 12498
113.57/114.10 c #Conflicts: 249000 | #Constraints: 13498
113.57/114.10 c #Conflicts: 250000 | #Constraints: 14498
113.57/114.10 c #Conflicts: 251000 | #Constraints: 15498
113.57/114.10 c #Conflicts: 252000 | #Constraints: 16498
113.57/114.10 c #Conflicts: 253000 | #Constraints: 17498
113.57/114.10 c #Conflicts: 254000 | #Constraints: 18498
113.57/114.10 c #Conflicts: 255000 | #Constraints: 19498
113.57/114.10 c #Conflicts: 256000 | #Constraints: 20498
113.57/114.10 c INPROCESSING
113.57/114.10 c GARBAGE COLLECT
113.57/114.10 c #Conflicts: 257000 | #Constraints: 11499
113.57/114.10 c #Conflicts: 258000 | #Constraints: 12499
113.57/114.10 c #Conflicts: 259000 | #Constraints: 13499
113.57/114.10 c #Conflicts: 260000 | #Constraints: 14499
113.57/114.10 c #Conflicts: 261000 | #Constraints: 15499
113.57/114.10 c #Conflicts: 262000 | #Constraints: 16499
113.57/114.10 c #Conflicts: 263000 | #Constraints: 17499
113.57/114.10 c #Conflicts: 264000 | #Constraints: 18499
113.57/114.10 c #Conflicts: 265000 | #Constraints: 19499
113.57/114.10 c #Conflicts: 266000 | #Constraints: 20499
113.57/114.10 c INPROCESSING
113.57/114.10 c GARBAGE COLLECT
113.57/114.10 c #Conflicts: 267000 | #Constraints: 11297
113.57/114.10 c #Conflicts: 268000 | #Constraints: 12297
113.57/114.10 c #Conflicts: 269000 | #Constraints: 13297
113.57/114.10 c #Conflicts: 270000 | #Constraints: 14297
113.57/114.10 c #Conflicts: 271000 | #Constraints: 15297
113.57/114.10 c GLOBAL bounds - >= -235 @ 112.266
113.57/114.11 c GLOBAL bounds - >= -235 @ 112.271
114.05/114.51 c #Conflicts: 272000 | #Constraints: 16301
114.05/114.51 c GLOBAL bounds - >= -235 @ 112.674
152.46/153.01 c #Conflicts: 273000 | #Constraints: 17303
152.46/153.01 c #Conflicts: 274000 | #Constraints: 18303
152.46/153.01 c #Conflicts: 275000 | #Constraints: 19303
152.46/153.01 c #Conflicts: 276000 | #Constraints: 20303
152.46/153.01 c #Conflicts: 277000 | #Constraints: 21303
152.46/153.01 c INPROCESSING
152.46/153.01 c GARBAGE COLLECT
152.46/153.01 c #Conflicts: 278000 | #Constraints: 11901
152.46/153.01 c #Conflicts: 279000 | #Constraints: 12901
152.46/153.01 c #Conflicts: 280000 | #Constraints: 13901
152.46/153.01 c #Conflicts: 281000 | #Constraints: 14901
152.46/153.01 c #Conflicts: 282000 | #Constraints: 15901
152.46/153.01 c #Conflicts: 283000 | #Constraints: 16901
152.46/153.01 c #Conflicts: 284000 | #Constraints: 17901
152.46/153.01 c #Conflicts: 285000 | #Constraints: 18901
152.46/153.01 c #Conflicts: 286000 | #Constraints: 19901
152.46/153.01 c #Conflicts: 287000 | #Constraints: 20901
152.46/153.01 c #Conflicts: 288000 | #Constraints: 21901
152.46/153.01 c INPROCESSING
152.46/153.01 c GARBAGE COLLECT
152.46/153.01 c #Conflicts: 289000 | #Constraints: 12301
152.46/153.01 c #Conflicts: 290000 | #Constraints: 13301
152.46/153.01 c #Conflicts: 291000 | #Constraints: 14301
152.46/153.01 c #Conflicts: 292000 | #Constraints: 15301
152.46/153.01 c #Conflicts: 293000 | #Constraints: 16301
152.46/153.01 c #Conflicts: 294000 | #Constraints: 17301
152.46/153.01 c #Conflicts: 295000 | #Constraints: 18301
152.46/153.01 c #Conflicts: 296000 | #Constraints: 19301
152.46/153.01 c #Conflicts: 297000 | #Constraints: 20301
152.46/153.01 c #Conflicts: 298000 | #Constraints: 21301
152.46/153.01 c #Conflicts: 299000 | #Constraints: 22301
152.46/153.01 c INPROCESSING
152.46/153.01 c GARBAGE COLLECT
152.46/153.01 c #Conflicts: 300000 | #Constraints: 12505
152.46/153.01 c #Conflicts: 301000 | #Constraints: 13505
152.46/153.01 c #Conflicts: 302000 | #Constraints: 14505
152.46/153.01 c #Conflicts: 303000 | #Constraints: 15505
152.46/153.01 c #Conflicts: 304000 | #Constraints: 16505
152.46/153.01 c #Conflicts: 305000 | #Constraints: 17505
152.46/153.01 c #Conflicts: 306000 | #Constraints: 18505
152.46/153.01 c #Conflicts: 307000 | #Constraints: 19505
152.46/153.01 c #Conflicts: 308000 | #Constraints: 20505
152.46/153.01 c #Conflicts: 309000 | #Constraints: 21505
152.46/153.01 c #Conflicts: 310000 | #Constraints: 22505
152.46/153.01 c INPROCESSING
152.46/153.01 c GARBAGE COLLECT
152.46/153.01 c #Conflicts: 311000 | #Constraints: 12503
152.46/153.01 c #Conflicts: 312000 | #Constraints: 13503
152.46/153.01 c #Conflicts: 313000 | #Constraints: 14503
152.46/153.01 c #Conflicts: 314000 | #Constraints: 15503
152.46/153.01 c #Conflicts: 315000 | #Constraints: 16503
152.46/153.01 c #Conflicts: 316000 | #Constraints: 17503
152.46/153.01 c #Conflicts: 317000 | #Constraints: 18503
152.46/153.01 c #Conflicts: 318000 | #Constraints: 19503
152.46/153.01 c #Conflicts: 319000 | #Constraints: 20503
152.46/153.01 c #Conflicts: 320000 | #Constraints: 21503
152.46/153.01 c #Conflicts: 321000 | #Constraints: 22503
152.46/153.01 c INPROCESSING
152.46/153.01 c GARBAGE COLLECT
152.46/153.01 c #Conflicts: 322000 | #Constraints: 12302
152.46/153.01 c #Conflicts: 323000 | #Constraints: 13302
152.46/153.01 c #Conflicts: 324000 | #Constraints: 14302
152.46/153.01 c #Conflicts: 325000 | #Constraints: 15302
152.46/153.01 c #Conflicts: 326000 | #Constraints: 16302
152.46/153.01 c #Conflicts: 327000 | #Constraints: 17302
152.46/153.01 c #Conflicts: 328000 | #Constraints: 18302
152.46/153.01 c #Conflicts: 329000 | #Constraints: 19302
152.46/153.01 c #Conflicts: 330000 | #Constraints: 20302
152.46/153.01 c #Conflicts: 331000 | #Constraints: 21302
152.46/153.01 c #Conflicts: 332000 | #Constraints: 22302
152.46/153.01 c #Conflicts: 333000 | #Constraints: 23302
152.46/153.01 c INPROCESSING
152.46/153.01 c GARBAGE COLLECT
152.46/153.01 c #Conflicts: 334000 | #Constraints: 12904
152.46/153.01 c #Conflicts: 335000 | #Constraints: 13904
152.46/153.01 c #Conflicts: 336000 | #Constraints: 14904
152.46/153.01 c #Conflicts: 337000 | #Constraints: 15904
152.46/153.01 c #Conflicts: 338000 | #Constraints: 16904
152.46/153.01 c #Conflicts: 339000 | #Constraints: 17904
152.46/153.01 c #Conflicts: 340000 | #Constraints: 18904
152.46/153.01 c #Conflicts: 341000 | #Constraints: 19904
152.46/153.01 c #Conflicts: 342000 | #Constraints: 20904
152.46/153.01 c #Conflicts: 343000 | #Constraints: 21904
152.46/153.01 c #Conflicts: 344000 | #Constraints: 22904
152.46/153.01 c #Conflicts: 345000 | #Constraints: 23904
152.46/153.01 c INPROCESSING
152.46/153.01 c GARBAGE COLLECT
152.46/153.01 c #Conflicts: 346000 | #Constraints: 13301
152.46/153.01 c #Conflicts: 347000 | #Constraints: 14301
163.91/164.51 c #Conflicts: 348000 | #Constraints: 15301
163.91/164.51 c #Conflicts: 349000 | #Constraints: 16301
163.91/164.51 c #Conflicts: 350000 | #Constraints: 17301
163.91/164.51 c #Conflicts: 351000 | #Constraints: 18301
163.91/164.51 c #Conflicts: 352000 | #Constraints: 19301
163.91/164.51 c #Conflicts: 353000 | #Constraints: 20301
163.91/164.51 c #Conflicts: 354000 | #Constraints: 21301
163.91/164.51 c #Conflicts: 355000 | #Constraints: 22301
163.91/164.51 c #Conflicts: 356000 | #Constraints: 23301
163.91/164.51 c #Conflicts: 357000 | #Constraints: 24301
163.91/164.51 c INPROCESSING
163.91/164.51 c GARBAGE COLLECT
163.91/164.51 c #Conflicts: 358000 | #Constraints: 13504
163.91/164.51 c #Conflicts: 359000 | #Constraints: 14504
163.91/164.51 c #Conflicts: 360000 | #Constraints: 15504
163.91/164.51 c #Conflicts: 361000 | #Constraints: 16504
163.91/164.51 c #Conflicts: 362000 | #Constraints: 17504
163.91/164.51 c #Conflicts: 363000 | #Constraints: 18504
163.91/164.51 c #Conflicts: 364000 | #Constraints: 19504
163.91/164.51 c #Conflicts: 365000 | #Constraints: 20504
163.91/164.51 c GLOBAL bounds - >= -4 @ 162.049
163.91/164.52 c rational objective 0
163.91/164.54 c GLOBAL bounds - >= -4 @ 162.073
163.91/164.54 c GLOBAL bounds - >= -4 @ 162.073
163.91/164.54 c GLOBAL bounds - >= -4 @ 162.073
163.91/164.54 c GLOBAL bounds - >= -4 @ 162.073
163.91/164.54 c GLOBAL bounds - >= -4 @ 162.073
163.91/164.54 c GLOBAL bounds - >= -4 @ 162.073
163.91/164.54 c GLOBAL bounds - >= -4 @ 162.073
163.91/164.54 c GLOBAL bounds - >= -4 @ 162.073
163.91/164.54 c GLOBAL bounds - >= -4 @ 162.074
163.91/164.54 c GLOBAL bounds - >= -4 @ 162.077
163.91/164.54 c GLOBAL bounds - >= -4 @ 162.077
163.91/164.54 c GLOBAL bounds - >= -4 @ 162.079
163.91/164.54 c GLOBAL bounds - >= -4 @ 162.079
163.91/164.54 c GLOBAL bounds - >= -4 @ 162.081
163.91/164.55 c GLOBAL bounds - >= -4 @ 162.081
163.91/164.55 c GLOBAL bounds - >= -4 @ 162.083
163.91/164.55 c GLOBAL bounds - >= -4 @ 162.084
163.91/164.55 c GLOBAL bounds - >= -4 @ 162.086
163.91/164.55 c GLOBAL bounds - >= -4 @ 162.086
163.91/164.55 c GLOBAL bounds - >= -4 @ 162.088
163.91/164.55 c GLOBAL bounds - >= -4 @ 162.088
163.91/164.55 c GLOBAL bounds - >= -4 @ 162.091
163.91/164.55 c GLOBAL bounds - >= -4 @ 162.091
163.91/164.56 c GLOBAL bounds - >= -4 @ 162.093
163.91/164.56 c GLOBAL bounds - >= -4 @ 162.093
163.91/164.56 c GLOBAL bounds - >= -4 @ 162.096
163.91/164.56 c GLOBAL bounds 21 >= -4 @ 162.096
163.91/164.56 c GLOBAL bounds 21 >= -4 @ 162.098
163.91/164.56 c GLOBAL bounds 20 >= -4 @ 162.099
163.91/164.57 c GLOBAL bounds 20 >= -4 @ 162.105
163.91/164.57 c GLOBAL bounds 20 >= -4 @ 162.105
163.91/164.57 c GLOBAL bounds 20 >= -4 @ 162.108
163.91/164.57 c GLOBAL bounds 20 >= -4 @ 162.109
163.91/164.58 c GLOBAL bounds 20 >= -4 @ 162.112
163.91/164.58 c GLOBAL bounds 20 >= -4 @ 162.114
163.91/164.58 c GLOBAL bounds 20 >= -4 @ 162.118
164.02/164.67 c GLOBAL bounds 20 >= -4 @ 162.208
164.02/164.68 c GLOBAL bounds 20 >= -4 @ 162.21
164.02/164.68 c GLOBAL bounds 20 >= -4 @ 162.213
164.12/164.72 c GLOBAL bounds 20 >= -4 @ 162.258
164.31/164.98 c #Conflicts: 366000 | #Constraints: 21534
164.31/164.98 c GLOBAL bounds 20 >= -4 @ 162.514
164.53/165.19 c #Conflicts: 367000 | #Constraints: 22534
164.53/165.19 c GLOBAL bounds 20 >= -4 @ 162.722
165.72/166.36 c #Conflicts: 368000 | #Constraints: 23534
165.72/166.36 c #Conflicts: 369000 | #Constraints: 24534
165.72/166.36 c INPROCESSING
165.72/166.36 c GARBAGE COLLECT
165.72/166.36 c #Conflicts: 370000 | #Constraints: 13487
165.72/166.36 c #Conflicts: 371000 | #Constraints: 14487
165.72/166.36 c GLOBAL bounds 20 >= -4 @ 163.867
166.11/166.76 c #Conflicts: 372000 | #Constraints: 15487
166.11/166.76 c #Conflicts: 373000 | #Constraints: 16487
166.11/166.76 c GLOBAL bounds 20 >= -4 @ 164.264
169.80/170.41 c #Conflicts: 374000 | #Constraints: 17487
169.80/170.41 c #Conflicts: 375000 | #Constraints: 18487
169.80/170.41 c #Conflicts: 376000 | #Constraints: 19487
169.80/170.41 c #Conflicts: 377000 | #Constraints: 20487
169.80/170.41 c #Conflicts: 378000 | #Constraints: 21487
169.80/170.41 c #Conflicts: 379000 | #Constraints: 22487
169.80/170.41 c #Conflicts: 380000 | #Constraints: 23487
169.80/170.41 c #Conflicts: 381000 | #Constraints: 24487
169.80/170.41 c INPROCESSING
169.80/170.41 c GARBAGE COLLECT
169.80/170.41 c GLOBAL bounds 20 >= -4 @ 167.854
201.81/202.53 c #Conflicts: 382000 | #Constraints: 13289
201.81/202.53 c #Conflicts: 383000 | #Constraints: 14289
201.81/202.53 c #Conflicts: 384000 | #Constraints: 15289
201.81/202.53 c #Conflicts: 385000 | #Constraints: 16289
201.81/202.53 c #Conflicts: 386000 | #Constraints: 17289
201.81/202.53 c #Conflicts: 387000 | #Constraints: 18289
201.81/202.53 c #Conflicts: 388000 | #Constraints: 19289
201.81/202.53 c #Conflicts: 389000 | #Constraints: 20289
201.81/202.53 c #Conflicts: 390000 | #Constraints: 21289
201.81/202.53 c #Conflicts: 391000 | #Constraints: 22289
201.81/202.53 c #Conflicts: 392000 | #Constraints: 23289
201.81/202.53 c #Conflicts: 393000 | #Constraints: 24289
201.81/202.53 c #Conflicts: 394000 | #Constraints: 25289
201.81/202.53 c INPROCESSING
201.81/202.53 c GARBAGE COLLECT
201.81/202.53 c #Conflicts: 395000 | #Constraints: 13892
201.81/202.53 c #Conflicts: 396000 | #Constraints: 14892
201.81/202.53 c #Conflicts: 397000 | #Constraints: 15892
201.81/202.53 c #Conflicts: 398000 | #Constraints: 16892
201.81/202.53 c #Conflicts: 399000 | #Constraints: 17892
201.81/202.53 c #Conflicts: 400000 | #Constraints: 18892
201.81/202.53 c #Conflicts: 401000 | #Constraints: 19892
201.81/202.53 c #Conflicts: 402000 | #Constraints: 20892
201.81/202.53 c #Conflicts: 403000 | #Constraints: 21892
201.81/202.53 c #Conflicts: 404000 | #Constraints: 22892
201.81/202.53 c #Conflicts: 405000 | #Constraints: 23892
201.81/202.53 c #Conflicts: 406000 | #Constraints: 24892
201.81/202.53 c #Conflicts: 407000 | #Constraints: 25892
201.81/202.53 c INPROCESSING
201.81/202.53 c GARBAGE COLLECT
201.81/202.53 c #Conflicts: 408000 | #Constraints: 14288
201.81/202.53 c #Conflicts: 409000 | #Constraints: 15288
201.81/202.53 c #Conflicts: 410000 | #Constraints: 16288
201.81/202.53 c #Conflicts: 411000 | #Constraints: 17288
201.81/202.53 c #Conflicts: 412000 | #Constraints: 18288
201.81/202.53 c #Conflicts: 413000 | #Constraints: 19288
201.81/202.53 c #Conflicts: 414000 | #Constraints: 20288
201.81/202.53 c #Conflicts: 415000 | #Constraints: 21288
201.81/202.53 c #Conflicts: 416000 | #Constraints: 22288
201.81/202.53 c #Conflicts: 417000 | #Constraints: 23288
201.81/202.53 c #Conflicts: 418000 | #Constraints: 24288
201.81/202.53 c #Conflicts: 419000 | #Constraints: 25288
201.81/202.53 c #Conflicts: 420000 | #Constraints: 26288
201.81/202.53 c INPROCESSING
201.81/202.53 c GARBAGE COLLECT
201.81/202.53 c #Conflicts: 421000 | #Constraints: 14490
201.81/202.53 c #Conflicts: 422000 | #Constraints: 15490
201.81/202.53 c #Conflicts: 423000 | #Constraints: 16490
201.81/202.53 c #Conflicts: 424000 | #Constraints: 17490
201.81/202.53 c #Conflicts: 425000 | #Constraints: 18490
201.81/202.53 c #Conflicts: 426000 | #Constraints: 19490
201.81/202.53 c #Conflicts: 427000 | #Constraints: 20490
201.81/202.53 c #Conflicts: 428000 | #Constraints: 21490
201.81/202.53 c #Conflicts: 429000 | #Constraints: 22490
201.81/202.53 c #Conflicts: 430000 | #Constraints: 23490
201.81/202.53 c #Conflicts: 431000 | #Constraints: 24490
201.81/202.53 c #Conflicts: 432000 | #Constraints: 25490
201.81/202.53 c #Conflicts: 433000 | #Constraints: 26490
201.81/202.53 c INPROCESSING
201.81/202.53 c GARBAGE COLLECT
201.81/202.53 c #Conflicts: 434000 | #Constraints: 14492
201.81/202.53 c #Conflicts: 435000 | #Constraints: 15492
201.81/202.53 c #Conflicts: 436000 | #Constraints: 16492
201.81/202.53 c #Conflicts: 437000 | #Constraints: 17492
201.81/202.53 c #Conflicts: 438000 | #Constraints: 18492
201.81/202.53 c #Conflicts: 439000 | #Constraints: 19492
201.81/202.53 c #Conflicts: 440000 | #Constraints: 20492
201.81/202.53 c #Conflicts: 441000 | #Constraints: 21492
201.81/202.53 c #Conflicts: 442000 | #Constraints: 22492
201.81/202.53 c #Conflicts: 443000 | #Constraints: 23492
201.81/202.53 c #Conflicts: 444000 | #Constraints: 24492
201.81/202.53 c #Conflicts: 445000 | #Constraints: 25492
201.81/202.53 c #Conflicts: 446000 | #Constraints: 26492
201.81/202.53 c INPROCESSING
201.81/202.53 c GARBAGE COLLECT
201.81/202.53 c #Conflicts: 447000 | #Constraints: 14291
201.81/202.53 c #Conflicts: 448000 | #Constraints: 15291
201.81/202.53 c #Conflicts: 449000 | #Constraints: 16291
201.81/202.53 c #Conflicts: 450000 | #Constraints: 17291
201.81/202.53 c #Conflicts: 451000 | #Constraints: 18291
201.81/202.53 c #Conflicts: 452000 | #Constraints: 19291
201.81/202.53 c #Conflicts: 453000 | #Constraints: 20291
201.81/202.53 c #Conflicts: 454000 | #Constraints: 21291
201.81/202.53 c #Conflicts: 455000 | #Constraints: 22291
201.81/202.53 c #Conflicts: 456000 | #Constraints: 23291
201.81/202.53 c #Conflicts: 457000 | #Constraints: 24291
239.41/240.29 c #Conflicts: 458000 | #Constraints: 25291
239.41/240.29 c #Conflicts: 459000 | #Constraints: 26291
239.41/240.29 c #Conflicts: 460000 | #Constraints: 27291
239.41/240.29 c INPROCESSING
239.41/240.29 c GARBAGE COLLECT
239.41/240.29 c #Conflicts: 461000 | #Constraints: 14891
239.41/240.29 c #Conflicts: 462000 | #Constraints: 15891
239.41/240.29 c #Conflicts: 463000 | #Constraints: 16891
239.41/240.29 c #Conflicts: 464000 | #Constraints: 17891
239.41/240.29 c #Conflicts: 465000 | #Constraints: 18891
239.41/240.29 c #Conflicts: 466000 | #Constraints: 19891
239.41/240.29 c #Conflicts: 467000 | #Constraints: 20891
239.41/240.29 c #Conflicts: 468000 | #Constraints: 21891
239.41/240.29 c #Conflicts: 469000 | #Constraints: 22891
239.41/240.29 c #Conflicts: 470000 | #Constraints: 23891
239.41/240.29 c #Conflicts: 471000 | #Constraints: 24891
239.41/240.29 c #Conflicts: 472000 | #Constraints: 25891
239.41/240.29 c #Conflicts: 473000 | #Constraints: 26891
239.41/240.29 c #Conflicts: 474000 | #Constraints: 27891
239.41/240.29 c INPROCESSING
239.41/240.29 c GARBAGE COLLECT
239.41/240.29 c #Conflicts: 475000 | #Constraints: 15292
239.41/240.29 c #Conflicts: 476000 | #Constraints: 16292
239.41/240.29 c #Conflicts: 477000 | #Constraints: 17292
239.41/240.29 c #Conflicts: 478000 | #Constraints: 18292
239.41/240.29 c #Conflicts: 479000 | #Constraints: 19292
239.41/240.29 c #Conflicts: 480000 | #Constraints: 20292
239.41/240.29 c #Conflicts: 481000 | #Constraints: 21292
239.41/240.29 c #Conflicts: 482000 | #Constraints: 22292
239.41/240.29 c #Conflicts: 483000 | #Constraints: 23292
239.41/240.29 c #Conflicts: 484000 | #Constraints: 24292
239.41/240.29 c #Conflicts: 485000 | #Constraints: 25292
239.41/240.29 c #Conflicts: 486000 | #Constraints: 26292
239.41/240.29 c #Conflicts: 487000 | #Constraints: 27292
239.41/240.29 c #Conflicts: 488000 | #Constraints: 28292
239.41/240.29 c INPROCESSING
239.41/240.29 c GARBAGE COLLECT
239.41/240.29 c #Conflicts: 489000 | #Constraints: 15489
239.41/240.29 c #Conflicts: 490000 | #Constraints: 16489
239.41/240.29 c #Conflicts: 491000 | #Constraints: 17489
239.41/240.29 c #Conflicts: 492000 | #Constraints: 18489
239.41/240.29 c #Conflicts: 493000 | #Constraints: 19489
239.41/240.29 c #Conflicts: 494000 | #Constraints: 20489
239.41/240.29 c #Conflicts: 495000 | #Constraints: 21489
239.41/240.29 c #Conflicts: 496000 | #Constraints: 22489
239.41/240.29 c #Conflicts: 497000 | #Constraints: 23489
239.41/240.29 c #Conflicts: 498000 | #Constraints: 24489
239.41/240.29 c #Conflicts: 499000 | #Constraints: 25489
239.41/240.29 c #Conflicts: 500000 | #Constraints: 26489
239.41/240.29 c #Conflicts: 501000 | #Constraints: 27489
239.41/240.29 c #Conflicts: 502000 | #Constraints: 28489
239.41/240.29 c INPROCESSING
239.41/240.29 c GARBAGE COLLECT
239.41/240.29 c #Conflicts: 503000 | #Constraints: 15491
239.41/240.29 c #Conflicts: 504000 | #Constraints: 16491
239.41/240.29 c #Conflicts: 505000 | #Constraints: 17491
239.41/240.29 c #Conflicts: 506000 | #Constraints: 18491
239.41/240.29 c #Conflicts: 507000 | #Constraints: 19491
239.41/240.29 c #Conflicts: 508000 | #Constraints: 20491
239.41/240.29 c #Conflicts: 509000 | #Constraints: 21491
239.41/240.29 c #Conflicts: 510000 | #Constraints: 22491
239.41/240.29 c #Conflicts: 511000 | #Constraints: 23491
239.41/240.29 c #Conflicts: 512000 | #Constraints: 24491
239.41/240.29 c #Conflicts: 513000 | #Constraints: 25491
239.41/240.29 c #Conflicts: 514000 | #Constraints: 26491
239.41/240.29 c #Conflicts: 515000 | #Constraints: 27491
239.41/240.29 c #Conflicts: 516000 | #Constraints: 28491
239.41/240.29 c INPROCESSING
239.41/240.29 c GARBAGE COLLECT
239.41/240.29 c #Conflicts: 517000 | #Constraints: 15296
239.41/240.29 c #Conflicts: 518000 | #Constraints: 16296
239.41/240.29 c #Conflicts: 519000 | #Constraints: 17296
239.41/240.29 c #Conflicts: 520000 | #Constraints: 18296
239.41/240.29 c #Conflicts: 521000 | #Constraints: 19296
239.41/240.29 c #Conflicts: 522000 | #Constraints: 20296
239.41/240.29 c #Conflicts: 523000 | #Constraints: 21296
239.41/240.29 c #Conflicts: 524000 | #Constraints: 22296
239.41/240.29 c #Conflicts: 525000 | #Constraints: 23296
239.41/240.29 c #Conflicts: 526000 | #Constraints: 24296
239.41/240.29 c #Conflicts: 527000 | #Constraints: 25296
239.41/240.29 c #Conflicts: 528000 | #Constraints: 26296
239.41/240.29 c #Conflicts: 529000 | #Constraints: 27296
239.41/240.29 c #Conflicts: 530000 | #Constraints: 28296
239.41/240.29 c #Conflicts: 531000 | #Constraints: 29296
239.41/240.29 c INPROCESSING
239.41/240.29 c GARBAGE COLLECT
239.41/240.29 c #Conflicts: 532000 | #Constraints: 15895
283.10/284.04 c #Conflicts: 533000 | #Constraints: 16895
283.10/284.04 c #Conflicts: 534000 | #Constraints: 17895
283.10/284.04 c #Conflicts: 535000 | #Constraints: 18895
283.10/284.04 c #Conflicts: 536000 | #Constraints: 19895
283.10/284.04 c #Conflicts: 537000 | #Constraints: 20895
283.10/284.04 c #Conflicts: 538000 | #Constraints: 21895
283.10/284.04 c #Conflicts: 539000 | #Constraints: 22895
283.10/284.04 c #Conflicts: 540000 | #Constraints: 23895
283.10/284.04 c #Conflicts: 541000 | #Constraints: 24895
283.10/284.04 c #Conflicts: 542000 | #Constraints: 25895
283.10/284.04 c #Conflicts: 543000 | #Constraints: 26895
283.10/284.04 c #Conflicts: 544000 | #Constraints: 27895
283.10/284.04 c #Conflicts: 545000 | #Constraints: 28895
283.10/284.04 c #Conflicts: 546000 | #Constraints: 29895
283.10/284.04 c INPROCESSING
283.10/284.04 c GARBAGE COLLECT
283.10/284.04 c #Conflicts: 547000 | #Constraints: 16294
283.10/284.04 c #Conflicts: 548000 | #Constraints: 17294
283.10/284.04 c #Conflicts: 549000 | #Constraints: 18294
283.10/284.04 c #Conflicts: 550000 | #Constraints: 19294
283.10/284.04 c #Conflicts: 551000 | #Constraints: 20294
283.10/284.04 c #Conflicts: 552000 | #Constraints: 21294
283.10/284.04 c #Conflicts: 553000 | #Constraints: 22294
283.10/284.04 c #Conflicts: 554000 | #Constraints: 23294
283.10/284.04 c #Conflicts: 555000 | #Constraints: 24294
283.10/284.04 c #Conflicts: 556000 | #Constraints: 25294
283.10/284.04 c #Conflicts: 557000 | #Constraints: 26294
283.10/284.04 c #Conflicts: 558000 | #Constraints: 27294
283.10/284.04 c #Conflicts: 559000 | #Constraints: 28294
283.10/284.04 c #Conflicts: 560000 | #Constraints: 29294
283.10/284.04 c #Conflicts: 561000 | #Constraints: 30294
283.10/284.04 c INPROCESSING
283.10/284.04 c GARBAGE COLLECT
283.10/284.04 c #Conflicts: 562000 | #Constraints: 16494
283.10/284.04 c #Conflicts: 563000 | #Constraints: 17494
283.10/284.04 c #Conflicts: 564000 | #Constraints: 18494
283.10/284.04 c #Conflicts: 565000 | #Constraints: 19494
283.10/284.04 c #Conflicts: 566000 | #Constraints: 20494
283.10/284.04 c #Conflicts: 567000 | #Constraints: 21494
283.10/284.04 c #Conflicts: 568000 | #Constraints: 22494
283.10/284.04 c #Conflicts: 569000 | #Constraints: 23494
283.10/284.04 c #Conflicts: 570000 | #Constraints: 24494
283.10/284.04 c #Conflicts: 571000 | #Constraints: 25494
283.10/284.04 c #Conflicts: 572000 | #Constraints: 26494
283.10/284.04 c #Conflicts: 573000 | #Constraints: 27494
283.10/284.04 c #Conflicts: 574000 | #Constraints: 28494
283.10/284.04 c #Conflicts: 575000 | #Constraints: 29494
283.10/284.04 c #Conflicts: 576000 | #Constraints: 30494
283.10/284.04 c INPROCESSING
283.10/284.04 c GARBAGE COLLECT
283.10/284.04 c #Conflicts: 577000 | #Constraints: 16495
283.10/284.04 c #Conflicts: 578000 | #Constraints: 17495
283.10/284.04 c #Conflicts: 579000 | #Constraints: 18495
283.10/284.04 c #Conflicts: 580000 | #Constraints: 19495
283.10/284.04 c #Conflicts: 581000 | #Constraints: 20495
283.10/284.04 c #Conflicts: 582000 | #Constraints: 21495
283.10/284.04 c #Conflicts: 583000 | #Constraints: 22495
283.10/284.04 c #Conflicts: 584000 | #Constraints: 23495
283.10/284.04 c #Conflicts: 585000 | #Constraints: 24495
283.10/284.04 c #Conflicts: 586000 | #Constraints: 25495
283.10/284.04 c #Conflicts: 587000 | #Constraints: 26495
283.10/284.04 c #Conflicts: 588000 | #Constraints: 27495
283.10/284.04 c #Conflicts: 589000 | #Constraints: 28495
283.10/284.04 c #Conflicts: 590000 | #Constraints: 29495
283.10/284.04 c #Conflicts: 591000 | #Constraints: 30495
283.10/284.04 c INPROCESSING
283.10/284.04 c GARBAGE COLLECT
283.10/284.04 c #Conflicts: 592000 | #Constraints: 16300
283.10/284.04 c #Conflicts: 593000 | #Constraints: 17300
283.10/284.04 c #Conflicts: 594000 | #Constraints: 18300
283.10/284.04 c #Conflicts: 595000 | #Constraints: 19300
283.10/284.04 c #Conflicts: 596000 | #Constraints: 20300
283.10/284.04 c #Conflicts: 597000 | #Constraints: 21300
283.10/284.04 c #Conflicts: 598000 | #Constraints: 22300
283.10/284.04 c #Conflicts: 599000 | #Constraints: 23300
283.10/284.04 c #Conflicts: 600000 | #Constraints: 24300
283.10/284.04 c #Conflicts: 601000 | #Constraints: 25300
283.10/284.04 c #Conflicts: 602000 | #Constraints: 26300
283.10/284.04 c #Conflicts: 603000 | #Constraints: 27300
283.10/284.04 c #Conflicts: 604000 | #Constraints: 28300
283.10/284.04 c #Conflicts: 605000 | #Constraints: 29300
283.10/284.04 c #Conflicts: 606000 | #Constraints: 30300
283.10/284.04 c #Conflicts: 607000 | #Constraints: 31300
283.10/284.04 c INPROCESSING
283.10/284.04 c GARBAGE COLLECT
283.10/284.04 c #Conflicts: 608000 | #Constraints: 16899
321.38/322.48 c #Conflicts: 609000 | #Constraints: 17899
321.38/322.48 c #Conflicts: 610000 | #Constraints: 18899
321.38/322.48 c #Conflicts: 611000 | #Constraints: 19899
321.38/322.48 c #Conflicts: 612000 | #Constraints: 20899
321.38/322.48 c #Conflicts: 613000 | #Constraints: 21899
321.38/322.48 c #Conflicts: 614000 | #Constraints: 22899
321.38/322.48 c #Conflicts: 615000 | #Constraints: 23899
321.38/322.48 c #Conflicts: 616000 | #Constraints: 24899
321.38/322.48 c #Conflicts: 617000 | #Constraints: 25899
321.38/322.48 c #Conflicts: 618000 | #Constraints: 26899
321.38/322.48 c #Conflicts: 619000 | #Constraints: 27899
321.38/322.48 c #Conflicts: 620000 | #Constraints: 28899
321.38/322.48 c #Conflicts: 621000 | #Constraints: 29899
321.38/322.48 c #Conflicts: 622000 | #Constraints: 30899
321.38/322.48 c #Conflicts: 623000 | #Constraints: 31899
321.38/322.48 c INPROCESSING
321.38/322.48 c GARBAGE COLLECT
321.38/322.48 c #Conflicts: 624000 | #Constraints: 17299
321.38/322.48 c #Conflicts: 625000 | #Constraints: 18299
321.38/322.48 c #Conflicts: 626000 | #Constraints: 19299
321.38/322.48 c #Conflicts: 627000 | #Constraints: 20299
321.38/322.48 c #Conflicts: 628000 | #Constraints: 21299
321.38/322.48 c #Conflicts: 629000 | #Constraints: 22299
321.38/322.48 c #Conflicts: 630000 | #Constraints: 23299
321.38/322.48 c #Conflicts: 631000 | #Constraints: 24299
321.38/322.48 c #Conflicts: 632000 | #Constraints: 25299
321.38/322.48 c #Conflicts: 633000 | #Constraints: 26299
321.38/322.48 c #Conflicts: 634000 | #Constraints: 27299
321.38/322.48 c #Conflicts: 635000 | #Constraints: 28299
321.38/322.48 c #Conflicts: 636000 | #Constraints: 29299
321.38/322.48 c #Conflicts: 637000 | #Constraints: 30299
321.38/322.48 c #Conflicts: 638000 | #Constraints: 31299
321.38/322.48 c #Conflicts: 639000 | #Constraints: 32299
321.38/322.48 c INPROCESSING
321.38/322.48 c GARBAGE COLLECT
321.38/322.48 c #Conflicts: 640000 | #Constraints: 17504
321.38/322.48 c #Conflicts: 641000 | #Constraints: 18504
321.38/322.48 c #Conflicts: 642000 | #Constraints: 19504
321.38/322.48 c #Conflicts: 643000 | #Constraints: 20504
321.38/322.48 c #Conflicts: 644000 | #Constraints: 21504
321.38/322.48 c #Conflicts: 645000 | #Constraints: 22504
321.38/322.48 c #Conflicts: 646000 | #Constraints: 23504
321.38/322.48 c #Conflicts: 647000 | #Constraints: 24504
321.38/322.48 c #Conflicts: 648000 | #Constraints: 25504
321.38/322.48 c #Conflicts: 649000 | #Constraints: 26504
321.38/322.48 c #Conflicts: 650000 | #Constraints: 27504
321.38/322.48 c #Conflicts: 651000 | #Constraints: 28504
321.38/322.48 c #Conflicts: 652000 | #Constraints: 29504
321.38/322.48 c #Conflicts: 653000 | #Constraints: 30504
321.38/322.48 c #Conflicts: 654000 | #Constraints: 31504
321.38/322.48 c #Conflicts: 655000 | #Constraints: 32504
321.38/322.48 c INPROCESSING
321.38/322.48 c GARBAGE COLLECT
321.38/322.48 c #Conflicts: 656000 | #Constraints: 17503
321.38/322.48 c #Conflicts: 657000 | #Constraints: 18503
321.38/322.48 c #Conflicts: 658000 | #Constraints: 19503
321.38/322.48 c #Conflicts: 659000 | #Constraints: 20503
321.38/322.48 c #Conflicts: 660000 | #Constraints: 21503
321.38/322.48 c #Conflicts: 661000 | #Constraints: 22503
321.38/322.48 c #Conflicts: 662000 | #Constraints: 23503
321.38/322.48 c #Conflicts: 663000 | #Constraints: 24503
321.38/322.48 c #Conflicts: 664000 | #Constraints: 25503
321.38/322.48 c #Conflicts: 665000 | #Constraints: 26503
321.38/322.48 c GLOBAL bounds 20 >= 0 @ 318.144
321.38/322.49 c GLOBAL bounds 20 >= 0 @ 318.151
321.38/322.49 c GLOBAL bounds 20 >= 0 @ 318.151
321.38/322.49 c GLOBAL bounds 20 >= 0 @ 318.151
321.38/322.49 c GLOBAL bounds 20 >= 0 @ 318.151
321.38/322.49 c GLOBAL bounds 20 >= 0 @ 318.151
321.38/322.49 c GLOBAL bounds 20 >= 0 @ 318.151
321.38/322.49 c GLOBAL bounds 20 >= 0 @ 318.151
321.38/322.49 c GLOBAL bounds 20 >= 0 @ 318.151
321.38/322.49 c GLOBAL bounds 20 >= 0 @ 318.151
321.38/322.49 c GLOBAL bounds 9 >= 0 @ 318.152
321.48/322.50 c GLOBAL bounds 9 >= 0 @ 318.156
321.48/322.50 c GLOBAL bounds 9 >= 0 @ 318.157
321.48/322.50 c GLOBAL bounds 9 >= 0 @ 318.159
321.48/322.50 c GLOBAL bounds 9 >= 0 @ 318.159
321.48/322.50 c GLOBAL bounds 9 >= 0 @ 318.161
321.48/322.50 c GLOBAL bounds 9 >= 0 @ 318.162
321.48/322.51 c GLOBAL bounds 9 >= 0 @ 318.164
321.48/322.51 c GLOBAL bounds 5 >= 0 @ 318.165
321.48/322.52 c GLOBAL bounds 5 >= 0 @ 318.175
321.48/322.52 c GLOBAL bounds 4 >= 0 @ 318.176
322.78/323.80 c #Conflicts: 666000 | #Constraints: 27520
322.78/323.80 c #Conflicts: 667000 | #Constraints: 28520
322.78/323.80 c #Conflicts: 668000 | #Constraints: 29520
322.78/323.80 c #Conflicts: 669000 | #Constraints: 30520
322.78/323.80 c GLOBAL bounds 4 >= 0 @ 319.442
322.78/323.80 c GLOBAL bounds 4 >= 0 @ 319.442
349.70/350.87 c #Conflicts: 670000 | #Constraints: 31521
349.70/350.87 c #Conflicts: 671000 | #Constraints: 32521
349.70/350.87 c INPROCESSING
349.70/350.87 c GARBAGE COLLECT
349.70/350.87 c #Conflicts: 672000 | #Constraints: 17284
349.70/350.87 c #Conflicts: 673000 | #Constraints: 18284
349.70/350.87 c #Conflicts: 674000 | #Constraints: 19284
349.70/350.87 c #Conflicts: 675000 | #Constraints: 20284
349.70/350.87 c #Conflicts: 676000 | #Constraints: 21284
349.70/350.87 c #Conflicts: 677000 | #Constraints: 22284
349.70/350.87 c #Conflicts: 678000 | #Constraints: 23284
349.70/350.87 c #Conflicts: 679000 | #Constraints: 24284
349.70/350.87 c #Conflicts: 680000 | #Constraints: 25284
349.70/350.87 c #Conflicts: 681000 | #Constraints: 26284
349.70/350.87 c #Conflicts: 682000 | #Constraints: 27284
349.70/350.87 c #Conflicts: 683000 | #Constraints: 28284
349.70/350.87 c #Conflicts: 684000 | #Constraints: 29284
349.70/350.87 c #Conflicts: 685000 | #Constraints: 30284
349.70/350.87 c #Conflicts: 686000 | #Constraints: 31284
349.70/350.87 c #Conflicts: 687000 | #Constraints: 32284
349.70/350.87 c #Conflicts: 688000 | #Constraints: 33284
349.70/350.87 c INPROCESSING
349.70/350.87 c GARBAGE COLLECT
349.70/350.87 c #Conflicts: 689000 | #Constraints: 17879
349.70/350.87 c #Conflicts: 690000 | #Constraints: 18879
349.70/350.87 c #Conflicts: 691000 | #Constraints: 19879
349.70/350.87 c #Conflicts: 692000 | #Constraints: 20879
349.70/350.87 c #Conflicts: 693000 | #Constraints: 21879
349.70/350.87 c #Conflicts: 694000 | #Constraints: 22879
349.70/350.87 c #Conflicts: 695000 | #Constraints: 23879
349.70/350.87 c #Conflicts: 696000 | #Constraints: 24879
349.70/350.87 c #Conflicts: 697000 | #Constraints: 25879
349.70/350.87 c #Conflicts: 698000 | #Constraints: 26879
349.70/350.87 c #Conflicts: 699000 | #Constraints: 27879
349.70/350.87 c #Conflicts: 700000 | #Constraints: 28879
349.70/350.87 c #Conflicts: 701000 | #Constraints: 29879
349.70/350.87 c #Conflicts: 702000 | #Constraints: 30879
349.70/350.87 c #Conflicts: 703000 | #Constraints: 31879
349.70/350.87 c #Conflicts: 704000 | #Constraints: 32879
349.70/350.87 c #Conflicts: 705000 | #Constraints: 33879
349.70/350.87 c INPROCESSING
349.70/350.87 c GARBAGE COLLECT
349.70/350.87 c #Conflicts: 706000 | #Constraints: 18279
349.70/350.87 c #Conflicts: 707000 | #Constraints: 19279
349.70/350.87 c #Conflicts: 708000 | #Constraints: 20279
349.70/350.87 c #Conflicts: 709000 | #Constraints: 21279
349.70/350.87 c #Conflicts: 710000 | #Constraints: 22279
349.70/350.87 c #Conflicts: 711000 | #Constraints: 23279
349.70/350.87 c #Conflicts: 712000 | #Constraints: 24279
349.70/350.87 c #Conflicts: 713000 | #Constraints: 25279
349.70/350.87 c #Conflicts: 714000 | #Constraints: 26279
349.70/350.87 c #Conflicts: 715000 | #Constraints: 27279
349.70/350.87 c #Conflicts: 716000 | #Constraints: 28279
349.70/350.87 c #Conflicts: 717000 | #Constraints: 29279
349.70/350.87 c #Conflicts: 718000 | #Constraints: 30279
349.70/350.87 c #Conflicts: 719000 | #Constraints: 31279
349.70/350.87 c #Conflicts: 720000 | #Constraints: 32279
349.70/350.87 c #Conflicts: 721000 | #Constraints: 33279
349.70/350.87 c #Conflicts: 722000 | #Constraints: 34279
349.70/350.87 c INPROCESSING
349.70/350.87 c GARBAGE COLLECT
349.70/350.87 c #Conflicts: 723000 | #Constraints: 18479
349.70/350.87 c #Conflicts: 724000 | #Constraints: 19479
349.70/350.87 c #Conflicts: 725000 | #Constraints: 20479
349.70/350.87 c #Conflicts: 726000 | #Constraints: 21479
349.70/350.87 c #Conflicts: 727000 | #Constraints: 22479
349.70/350.87 c #Conflicts: 728000 | #Constraints: 23479
349.70/350.87 c #Conflicts: 729000 | #Constraints: 24479
349.70/350.87 c #Conflicts: 730000 | #Constraints: 25479
349.70/350.87 c #Conflicts: 731000 | #Constraints: 26479
349.70/350.87 c #Conflicts: 732000 | #Constraints: 27479
349.70/350.87 c #Conflicts: 733000 | #Constraints: 28479
349.70/350.87 c #Conflicts: 734000 | #Constraints: 29479
349.70/350.87 c #Conflicts: 735000 | #Constraints: 30479
349.70/350.87 c #Conflicts: 736000 | #Constraints: 31479
349.70/350.87 c #Conflicts: 737000 | #Constraints: 32479
349.70/350.87 c #Conflicts: 738000 | #Constraints: 33479
349.70/350.87 c #Conflicts: 739000 | #Constraints: 34479
349.70/350.87 c INPROCESSING
349.70/350.87 c GARBAGE COLLECT
349.70/350.87 c #Conflicts: 740000 | #Constraints: 18479
349.70/350.87 c #Conflicts: 741000 | #Constraints: 19479
349.70/350.87 c #Conflicts: 742000 | #Constraints: 20479
349.70/350.87 c #Conflicts: 743000 | #Constraints: 21479
349.70/350.87 c #Conflicts: 744000 | #Constraints: 22479
349.70/350.87 c #Conflicts: 745000 | #Constraints: 23479
378.32/379.52 c #Conflicts: 746000 | #Constraints: 24479
378.32/379.52 c #Conflicts: 747000 | #Constraints: 25479
378.32/379.52 c #Conflicts: 748000 | #Constraints: 26479
378.32/379.52 c #Conflicts: 749000 | #Constraints: 27479
378.32/379.52 c #Conflicts: 750000 | #Constraints: 28479
378.32/379.52 c #Conflicts: 751000 | #Constraints: 29479
378.32/379.52 c #Conflicts: 752000 | #Constraints: 30479
378.32/379.52 c #Conflicts: 753000 | #Constraints: 31479
378.32/379.52 c #Conflicts: 754000 | #Constraints: 32479
378.32/379.52 c #Conflicts: 755000 | #Constraints: 33479
378.32/379.52 c #Conflicts: 756000 | #Constraints: 34479
378.32/379.52 c INPROCESSING
378.32/379.52 c GARBAGE COLLECT
378.32/379.52 c #Conflicts: 757000 | #Constraints: 18279
378.32/379.52 c #Conflicts: 758000 | #Constraints: 19279
378.32/379.52 c #Conflicts: 759000 | #Constraints: 20279
378.32/379.52 c #Conflicts: 760000 | #Constraints: 21279
378.32/379.52 c #Conflicts: 761000 | #Constraints: 22279
378.32/379.52 c #Conflicts: 762000 | #Constraints: 23279
378.32/379.52 c #Conflicts: 763000 | #Constraints: 24279
378.32/379.52 c #Conflicts: 764000 | #Constraints: 25279
378.32/379.52 c #Conflicts: 765000 | #Constraints: 26279
378.32/379.52 c #Conflicts: 766000 | #Constraints: 27279
378.32/379.52 c #Conflicts: 767000 | #Constraints: 28279
378.32/379.52 c #Conflicts: 768000 | #Constraints: 29279
378.32/379.52 c #Conflicts: 769000 | #Constraints: 30279
378.32/379.52 c #Conflicts: 770000 | #Constraints: 31279
378.32/379.52 c #Conflicts: 771000 | #Constraints: 32279
378.32/379.52 c #Conflicts: 772000 | #Constraints: 33279
378.32/379.52 c #Conflicts: 773000 | #Constraints: 34279
378.32/379.52 c #Conflicts: 774000 | #Constraints: 35279
378.32/379.52 c INPROCESSING
378.32/379.52 c GARBAGE COLLECT
378.32/379.52 c #Conflicts: 775000 | #Constraints: 18881
378.32/379.52 c #Conflicts: 776000 | #Constraints: 19881
378.32/379.52 c #Conflicts: 777000 | #Constraints: 20881
378.32/379.52 c #Conflicts: 778000 | #Constraints: 21881
378.32/379.52 c #Conflicts: 779000 | #Constraints: 22881
378.32/379.52 c #Conflicts: 780000 | #Constraints: 23881
378.32/379.52 c #Conflicts: 781000 | #Constraints: 24881
378.32/379.52 c #Conflicts: 782000 | #Constraints: 25881
378.32/379.52 c #Conflicts: 783000 | #Constraints: 26881
378.32/379.52 c #Conflicts: 784000 | #Constraints: 27881
378.32/379.52 c #Conflicts: 785000 | #Constraints: 28881
378.32/379.52 c #Conflicts: 786000 | #Constraints: 29881
378.32/379.52 c #Conflicts: 787000 | #Constraints: 30881
378.32/379.52 c #Conflicts: 788000 | #Constraints: 31881
378.32/379.52 c #Conflicts: 789000 | #Constraints: 32881
378.32/379.52 c #Conflicts: 790000 | #Constraints: 33881
378.32/379.52 c #Conflicts: 791000 | #Constraints: 34881
378.32/379.52 c #Conflicts: 792000 | #Constraints: 35881
378.32/379.52 c INPROCESSING
378.32/379.52 c GARBAGE COLLECT
378.32/379.52 c #Conflicts: 793000 | #Constraints: 19283
378.32/379.52 c #Conflicts: 794000 | #Constraints: 20283
378.32/379.52 c #Conflicts: 795000 | #Constraints: 21283
378.32/379.52 c #Conflicts: 796000 | #Constraints: 22283
378.32/379.52 c #Conflicts: 797000 | #Constraints: 23283
378.32/379.52 c #Conflicts: 798000 | #Constraints: 24283
378.32/379.52 c #Conflicts: 799000 | #Constraints: 25283
378.32/379.52 c #Conflicts: 800000 | #Constraints: 26283
378.32/379.52 c #Conflicts: 801000 | #Constraints: 27283
378.32/379.52 c #Conflicts: 802000 | #Constraints: 28283
378.32/379.52 c #Conflicts: 803000 | #Constraints: 29283
378.32/379.52 c #Conflicts: 804000 | #Constraints: 30283
378.32/379.52 c #Conflicts: 805000 | #Constraints: 31283
378.32/379.52 c #Conflicts: 806000 | #Constraints: 32283
378.32/379.52 c #Conflicts: 807000 | #Constraints: 33283
378.32/379.52 c #Conflicts: 808000 | #Constraints: 34283
378.32/379.52 c #Conflicts: 809000 | #Constraints: 35283
378.32/379.52 c #Conflicts: 810000 | #Constraints: 36283
378.32/379.52 c INPROCESSING
378.32/379.52 c GARBAGE COLLECT
378.32/379.52 c #Conflicts: 811000 | #Constraints: 19485
378.32/379.52 c #Conflicts: 812000 | #Constraints: 20485
378.32/379.52 c #Conflicts: 813000 | #Constraints: 21485
378.32/379.52 c #Conflicts: 814000 | #Constraints: 22485
378.32/379.52 c #Conflicts: 815000 | #Constraints: 23485
378.32/379.52 c #Conflicts: 816000 | #Constraints: 24485
378.32/379.52 c #Conflicts: 817000 | #Constraints: 25485
378.32/379.52 c #Conflicts: 818000 | #Constraints: 26485
378.32/379.52 c #Conflicts: 819000 | #Constraints: 27485
378.32/379.52 c #Conflicts: 820000 | #Constraints: 28485
378.32/379.52 c #Conflicts: 821000 | #Constraints: 29485
407.94/409.27 c #Conflicts: 822000 | #Constraints: 30485
407.94/409.27 c #Conflicts: 823000 | #Constraints: 31485
407.94/409.27 c #Conflicts: 824000 | #Constraints: 32485
407.94/409.27 c #Conflicts: 825000 | #Constraints: 33485
407.94/409.27 c #Conflicts: 826000 | #Constraints: 34485
407.94/409.27 c #Conflicts: 827000 | #Constraints: 35485
407.94/409.27 c #Conflicts: 828000 | #Constraints: 36485
407.94/409.27 c INPROCESSING
407.94/409.27 c GARBAGE COLLECT
407.94/409.27 c #Conflicts: 829000 | #Constraints: 19487
407.94/409.27 c #Conflicts: 830000 | #Constraints: 20487
407.94/409.27 c #Conflicts: 831000 | #Constraints: 21487
407.94/409.27 c #Conflicts: 832000 | #Constraints: 22487
407.94/409.27 c #Conflicts: 833000 | #Constraints: 23487
407.94/409.27 c #Conflicts: 834000 | #Constraints: 24487
407.94/409.27 c #Conflicts: 835000 | #Constraints: 25487
407.94/409.27 c #Conflicts: 836000 | #Constraints: 26487
407.94/409.27 c #Conflicts: 837000 | #Constraints: 27487
407.94/409.27 c #Conflicts: 838000 | #Constraints: 28487
407.94/409.27 c #Conflicts: 839000 | #Constraints: 29487
407.94/409.27 c #Conflicts: 840000 | #Constraints: 30487
407.94/409.27 c #Conflicts: 841000 | #Constraints: 31487
407.94/409.27 c #Conflicts: 842000 | #Constraints: 32487
407.94/409.27 c #Conflicts: 843000 | #Constraints: 33487
407.94/409.27 c #Conflicts: 844000 | #Constraints: 34487
407.94/409.27 c #Conflicts: 845000 | #Constraints: 35487
407.94/409.27 c #Conflicts: 846000 | #Constraints: 36487
407.94/409.27 c INPROCESSING
407.94/409.27 c GARBAGE COLLECT
407.94/409.27 c #Conflicts: 847000 | #Constraints: 19287
407.94/409.27 c #Conflicts: 848000 | #Constraints: 20287
407.94/409.27 c #Conflicts: 849000 | #Constraints: 21287
407.94/409.27 c #Conflicts: 850000 | #Constraints: 22287
407.94/409.27 c #Conflicts: 851000 | #Constraints: 23287
407.94/409.27 c #Conflicts: 852000 | #Constraints: 24287
407.94/409.27 c #Conflicts: 853000 | #Constraints: 25287
407.94/409.27 c #Conflicts: 854000 | #Constraints: 26287
407.94/409.27 c #Conflicts: 855000 | #Constraints: 27287
407.94/409.27 c #Conflicts: 856000 | #Constraints: 28287
407.94/409.27 c #Conflicts: 857000 | #Constraints: 29287
407.94/409.27 c #Conflicts: 858000 | #Constraints: 30287
407.94/409.27 c #Conflicts: 859000 | #Constraints: 31287
407.94/409.27 c #Conflicts: 860000 | #Constraints: 32287
407.94/409.27 c #Conflicts: 861000 | #Constraints: 33287
407.94/409.27 c #Conflicts: 862000 | #Constraints: 34287
407.94/409.27 c #Conflicts: 863000 | #Constraints: 35287
407.94/409.27 c #Conflicts: 864000 | #Constraints: 36287
407.94/409.27 c #Conflicts: 865000 | #Constraints: 37287
407.94/409.27 c INPROCESSING
407.94/409.27 c GARBAGE COLLECT
407.94/409.27 c #Conflicts: 866000 | #Constraints: 19883
407.94/409.27 c #Conflicts: 867000 | #Constraints: 20883
407.94/409.27 c #Conflicts: 868000 | #Constraints: 21883
407.94/409.27 c #Conflicts: 869000 | #Constraints: 22883
407.94/409.27 c #Conflicts: 870000 | #Constraints: 23883
407.94/409.27 c #Conflicts: 871000 | #Constraints: 24883
407.94/409.27 c #Conflicts: 872000 | #Constraints: 25883
407.94/409.27 c #Conflicts: 873000 | #Constraints: 26883
407.94/409.27 c #Conflicts: 874000 | #Constraints: 27883
407.94/409.27 c #Conflicts: 875000 | #Constraints: 28883
407.94/409.27 c #Conflicts: 876000 | #Constraints: 29883
407.94/409.27 c #Conflicts: 877000 | #Constraints: 30883
407.94/409.27 c #Conflicts: 878000 | #Constraints: 31883
407.94/409.27 c #Conflicts: 879000 | #Constraints: 32883
407.94/409.27 c #Conflicts: 880000 | #Constraints: 33883
407.94/409.27 c #Conflicts: 881000 | #Constraints: 34883
407.94/409.27 c #Conflicts: 882000 | #Constraints: 35883
407.94/409.27 c #Conflicts: 883000 | #Constraints: 36883
407.94/409.27 c #Conflicts: 884000 | #Constraints: 37883
407.94/409.27 c INPROCESSING
407.94/409.27 c GARBAGE COLLECT
407.94/409.27 c #Conflicts: 885000 | #Constraints: 20285
407.94/409.27 c #Conflicts: 886000 | #Constraints: 21285
407.94/409.27 c #Conflicts: 887000 | #Constraints: 22285
407.94/409.27 c #Conflicts: 888000 | #Constraints: 23285
407.94/409.27 c #Conflicts: 889000 | #Constraints: 24285
407.94/409.27 c #Conflicts: 890000 | #Constraints: 25285
407.94/409.27 c #Conflicts: 891000 | #Constraints: 26285
407.94/409.27 c #Conflicts: 892000 | #Constraints: 27285
407.94/409.27 c #Conflicts: 893000 | #Constraints: 28285
407.94/409.27 c #Conflicts: 894000 | #Constraints: 29285
407.94/409.27 c #Conflicts: 895000 | #Constraints: 30285
407.94/409.27 c #Conflicts: 896000 | #Constraints: 31285
407.94/409.27 c #Conflicts: 897000 | #Constraints: 32285
407.94/409.27 c #Conflicts: 898000 | #Constraints: 33285
438.55/439.96 c #Conflicts: 899000 | #Constraints: 34285
438.55/439.96 c #Conflicts: 900000 | #Constraints: 35285
438.55/439.96 c #Conflicts: 901000 | #Constraints: 36285
438.55/439.96 c #Conflicts: 902000 | #Constraints: 37285
438.55/439.96 c #Conflicts: 903000 | #Constraints: 38285
438.55/439.96 c INPROCESSING
438.55/439.96 c GARBAGE COLLECT
438.55/439.96 c #Conflicts: 904000 | #Constraints: 20483
438.55/439.96 c #Conflicts: 905000 | #Constraints: 21483
438.55/439.96 c #Conflicts: 906000 | #Constraints: 22483
438.55/439.96 c #Conflicts: 907000 | #Constraints: 23483
438.55/439.96 c #Conflicts: 908000 | #Constraints: 24483
438.55/439.96 c #Conflicts: 909000 | #Constraints: 25483
438.55/439.96 c #Conflicts: 910000 | #Constraints: 26483
438.55/439.96 c #Conflicts: 911000 | #Constraints: 27483
438.55/439.96 c #Conflicts: 912000 | #Constraints: 28483
438.55/439.96 c #Conflicts: 913000 | #Constraints: 29483
438.55/439.96 c #Conflicts: 914000 | #Constraints: 30483
438.55/439.96 c #Conflicts: 915000 | #Constraints: 31483
438.55/439.96 c #Conflicts: 916000 | #Constraints: 32483
438.55/439.96 c #Conflicts: 917000 | #Constraints: 33483
438.55/439.96 c #Conflicts: 918000 | #Constraints: 34483
438.55/439.96 c #Conflicts: 919000 | #Constraints: 35483
438.55/439.96 c #Conflicts: 920000 | #Constraints: 36483
438.55/439.96 c #Conflicts: 921000 | #Constraints: 37483
438.55/439.96 c #Conflicts: 922000 | #Constraints: 38483
438.55/439.96 c INPROCESSING
438.55/439.96 c GARBAGE COLLECT
438.55/439.96 c #Conflicts: 923000 | #Constraints: 20482
438.55/439.96 c #Conflicts: 924000 | #Constraints: 21482
438.55/439.96 c #Conflicts: 925000 | #Constraints: 22482
438.55/439.96 c #Conflicts: 926000 | #Constraints: 23482
438.55/439.96 c #Conflicts: 927000 | #Constraints: 24482
438.55/439.96 c #Conflicts: 928000 | #Constraints: 25482
438.55/439.96 c #Conflicts: 929000 | #Constraints: 26482
438.55/439.96 c #Conflicts: 930000 | #Constraints: 27482
438.55/439.96 c #Conflicts: 931000 | #Constraints: 28482
438.55/439.96 c #Conflicts: 932000 | #Constraints: 29482
438.55/439.96 c #Conflicts: 933000 | #Constraints: 30482
438.55/439.96 c #Conflicts: 934000 | #Constraints: 31482
438.55/439.96 c #Conflicts: 935000 | #Constraints: 32482
438.55/439.96 c #Conflicts: 936000 | #Constraints: 33482
438.55/439.96 c #Conflicts: 937000 | #Constraints: 34482
438.55/439.96 c #Conflicts: 938000 | #Constraints: 35482
438.55/439.96 c #Conflicts: 939000 | #Constraints: 36482
438.55/439.96 c #Conflicts: 940000 | #Constraints: 37482
438.55/439.96 c #Conflicts: 941000 | #Constraints: 38482
438.55/439.96 c INPROCESSING
438.55/439.96 c GARBAGE COLLECT
438.55/439.96 c #Conflicts: 942000 | #Constraints: 20286
438.55/439.96 c #Conflicts: 943000 | #Constraints: 21286
438.55/439.96 c #Conflicts: 944000 | #Constraints: 22286
438.55/439.96 c #Conflicts: 945000 | #Constraints: 23286
438.55/439.96 c #Conflicts: 946000 | #Constraints: 24286
438.55/439.96 c #Conflicts: 947000 | #Constraints: 25286
438.55/439.96 c #Conflicts: 948000 | #Constraints: 26286
438.55/439.96 c #Conflicts: 949000 | #Constraints: 27286
438.55/439.96 c #Conflicts: 950000 | #Constraints: 28286
438.55/439.96 c #Conflicts: 951000 | #Constraints: 29286
438.55/439.96 c #Conflicts: 952000 | #Constraints: 30286
438.55/439.96 c #Conflicts: 953000 | #Constraints: 31286
438.55/439.96 c #Conflicts: 954000 | #Constraints: 32286
438.55/439.96 c #Conflicts: 955000 | #Constraints: 33286
438.55/439.96 c #Conflicts: 956000 | #Constraints: 34286
438.55/439.96 c #Conflicts: 957000 | #Constraints: 35286
438.55/439.96 c #Conflicts: 958000 | #Constraints: 36286
438.55/439.96 c #Conflicts: 959000 | #Constraints: 37286
438.55/439.96 c #Conflicts: 960000 | #Constraints: 38286
438.55/439.96 c #Conflicts: 961000 | #Constraints: 39286
438.55/439.96 c INPROCESSING
438.55/439.96 c GARBAGE COLLECT
438.55/439.96 c #Conflicts: 962000 | #Constraints: 20885
438.55/439.96 c #Conflicts: 963000 | #Constraints: 21885
438.55/439.96 c #Conflicts: 964000 | #Constraints: 22885
438.55/439.96 c #Conflicts: 965000 | #Constraints: 23885
438.55/439.96 c #Conflicts: 966000 | #Constraints: 24885
438.55/439.96 c #Conflicts: 967000 | #Constraints: 25885
438.55/439.96 c #Conflicts: 968000 | #Constraints: 26885
438.55/439.96 c #Conflicts: 969000 | #Constraints: 27885
438.55/439.96 c #Conflicts: 970000 | #Constraints: 28885
438.55/439.96 c #Conflicts: 971000 | #Constraints: 29885
438.55/439.96 c #Conflicts: 972000 | #Constraints: 30885
438.55/439.96 c #Conflicts: 973000 | #Constraints: 31885
438.55/439.96 c #Conflicts: 974000 | #Constraints: 32885
469.67/471.17 c #Conflicts: 975000 | #Constraints: 33885
469.67/471.17 c #Conflicts: 976000 | #Constraints: 34885
469.67/471.17 c #Conflicts: 977000 | #Constraints: 35885
469.67/471.17 c #Conflicts: 978000 | #Constraints: 36885
469.67/471.17 c #Conflicts: 979000 | #Constraints: 37885
469.67/471.17 c #Conflicts: 980000 | #Constraints: 38885
469.67/471.17 c #Conflicts: 981000 | #Constraints: 39885
469.67/471.17 c INPROCESSING
469.67/471.17 c GARBAGE COLLECT
469.67/471.17 c #Conflicts: 982000 | #Constraints: 21283
469.67/471.17 c #Conflicts: 983000 | #Constraints: 22283
469.67/471.17 c #Conflicts: 984000 | #Constraints: 23283
469.67/471.17 c #Conflicts: 985000 | #Constraints: 24283
469.67/471.17 c #Conflicts: 986000 | #Constraints: 25283
469.67/471.17 c #Conflicts: 987000 | #Constraints: 26283
469.67/471.17 c #Conflicts: 988000 | #Constraints: 27283
469.67/471.17 c #Conflicts: 989000 | #Constraints: 28283
469.67/471.17 c #Conflicts: 990000 | #Constraints: 29283
469.67/471.17 c #Conflicts: 991000 | #Constraints: 30283
469.67/471.17 c #Conflicts: 992000 | #Constraints: 31283
469.67/471.17 c #Conflicts: 993000 | #Constraints: 32283
469.67/471.17 c #Conflicts: 994000 | #Constraints: 33283
469.67/471.17 c #Conflicts: 995000 | #Constraints: 34283
469.67/471.17 c #Conflicts: 996000 | #Constraints: 35283
469.67/471.17 c #Conflicts: 997000 | #Constraints: 36283
469.67/471.17 c #Conflicts: 998000 | #Constraints: 37283
469.67/471.17 c #Conflicts: 999000 | #Constraints: 38283
469.67/471.17 c #Conflicts: 1000000 | #Constraints: 39283
469.67/471.17 c #Conflicts: 1001000 | #Constraints: 40283
469.67/471.17 c INPROCESSING
469.67/471.17 c GARBAGE COLLECT
469.67/471.17 c #Conflicts: 1002000 | #Constraints: 21486
469.67/471.17 c #Conflicts: 1003000 | #Constraints: 22486
469.67/471.17 c #Conflicts: 1004000 | #Constraints: 23486
469.67/471.17 c #Conflicts: 1005000 | #Constraints: 24486
469.67/471.17 c #Conflicts: 1006000 | #Constraints: 25486
469.67/471.17 c #Conflicts: 1007000 | #Constraints: 26486
469.67/471.17 c #Conflicts: 1008000 | #Constraints: 27486
469.67/471.17 c #Conflicts: 1009000 | #Constraints: 28486
469.67/471.17 c #Conflicts: 1010000 | #Constraints: 29486
469.67/471.17 c #Conflicts: 1011000 | #Constraints: 30486
469.67/471.17 c #Conflicts: 1012000 | #Constraints: 31486
469.67/471.17 c #Conflicts: 1013000 | #Constraints: 32486
469.67/471.17 c #Conflicts: 1014000 | #Constraints: 33486
469.67/471.17 c #Conflicts: 1015000 | #Constraints: 34486
469.67/471.17 c #Conflicts: 1016000 | #Constraints: 35486
469.67/471.17 c #Conflicts: 1017000 | #Constraints: 36486
469.67/471.17 c #Conflicts: 1018000 | #Constraints: 37486
469.67/471.17 c #Conflicts: 1019000 | #Constraints: 38486
469.67/471.17 c #Conflicts: 1020000 | #Constraints: 39486
469.67/471.17 c #Conflicts: 1021000 | #Constraints: 40486
469.67/471.17 c INPROCESSING
469.67/471.17 c GARBAGE COLLECT
469.67/471.17 c #Conflicts: 1022000 | #Constraints: 21484
469.67/471.17 c #Conflicts: 1023000 | #Constraints: 22484
469.67/471.17 c #Conflicts: 1024000 | #Constraints: 23484
469.67/471.17 c #Conflicts: 1025000 | #Constraints: 24484
469.67/471.17 c #Conflicts: 1026000 | #Constraints: 25484
469.67/471.17 c #Conflicts: 1027000 | #Constraints: 26484
469.67/471.17 c #Conflicts: 1028000 | #Constraints: 27484
469.67/471.17 c #Conflicts: 1029000 | #Constraints: 28484
469.67/471.17 c #Conflicts: 1030000 | #Constraints: 29484
469.67/471.17 c #Conflicts: 1031000 | #Constraints: 30484
469.67/471.17 c #Conflicts: 1032000 | #Constraints: 31484
469.67/471.17 c #Conflicts: 1033000 | #Constraints: 32484
469.67/471.17 c #Conflicts: 1034000 | #Constraints: 33484
469.67/471.17 c #Conflicts: 1035000 | #Constraints: 34484
469.67/471.17 c #Conflicts: 1036000 | #Constraints: 35484
469.67/471.17 c #Conflicts: 1037000 | #Constraints: 36484
469.67/471.17 c #Conflicts: 1038000 | #Constraints: 37484
469.67/471.17 c #Conflicts: 1039000 | #Constraints: 38484
469.67/471.17 c #Conflicts: 1040000 | #Constraints: 39484
469.67/471.17 c #Conflicts: 1041000 | #Constraints: 40484
469.67/471.17 c INPROCESSING
469.67/471.17 c GARBAGE COLLECT
469.67/471.17 c #Conflicts: 1042000 | #Constraints: 21287
469.67/471.17 c #Conflicts: 1043000 | #Constraints: 22287
469.67/471.17 c #Conflicts: 1044000 | #Constraints: 23287
469.67/471.17 c #Conflicts: 1045000 | #Constraints: 24287
469.67/471.17 c #Conflicts: 1046000 | #Constraints: 25287
469.67/471.17 c #Conflicts: 1047000 | #Constraints: 26287
469.67/471.17 c #Conflicts: 1048000 | #Constraints: 27287
469.67/471.17 c #Conflicts: 1049000 | #Constraints: 28287
469.67/471.17 c #Conflicts: 1050000 | #Constraints: 29287
491.90/493.44 c #Conflicts: 1051000 | #Constraints: 30287
491.90/493.44 c #Conflicts: 1052000 | #Constraints: 31287
491.90/493.44 c #Conflicts: 1053000 | #Constraints: 32287
491.90/493.44 c #Conflicts: 1054000 | #Constraints: 33287
491.90/493.44 c #Conflicts: 1055000 | #Constraints: 34287
491.90/493.44 c #Conflicts: 1056000 | #Constraints: 35287
491.90/493.44 c #Conflicts: 1057000 | #Constraints: 36287
491.90/493.44 c #Conflicts: 1058000 | #Constraints: 37287
491.90/493.44 c #Conflicts: 1059000 | #Constraints: 38287
491.90/493.44 c #Conflicts: 1060000 | #Constraints: 39287
491.90/493.44 c #Conflicts: 1061000 | #Constraints: 40287
491.90/493.44 c #Conflicts: 1062000 | #Constraints: 41287
491.90/493.44 c INPROCESSING
491.90/493.44 c GARBAGE COLLECT
491.90/493.44 c #Conflicts: 1063000 | #Constraints: 21889
491.90/493.44 c #Conflicts: 1064000 | #Constraints: 22889
491.90/493.44 c #Conflicts: 1065000 | #Constraints: 23889
491.90/493.44 c #Conflicts: 1066000 | #Constraints: 24889
491.90/493.44 c #Conflicts: 1067000 | #Constraints: 25889
491.90/493.44 c #Conflicts: 1068000 | #Constraints: 26889
491.90/493.44 c #Conflicts: 1069000 | #Constraints: 27889
491.90/493.44 c #Conflicts: 1070000 | #Constraints: 28889
491.90/493.44 c #Conflicts: 1071000 | #Constraints: 29889
491.90/493.44 c #Conflicts: 1072000 | #Constraints: 30889
491.90/493.44 c #Conflicts: 1073000 | #Constraints: 31889
491.90/493.44 c #Conflicts: 1074000 | #Constraints: 32889
491.90/493.44 c #Conflicts: 1075000 | #Constraints: 33889
491.90/493.44 c #Conflicts: 1076000 | #Constraints: 34889
491.90/493.44 c #Conflicts: 1077000 | #Constraints: 35889
491.90/493.44 c #Conflicts: 1078000 | #Constraints: 36889
491.90/493.44 c #Conflicts: 1079000 | #Constraints: 37889
491.90/493.44 c #Conflicts: 1080000 | #Constraints: 38889
491.90/493.44 c #Conflicts: 1081000 | #Constraints: 39889
491.90/493.44 c #Conflicts: 1082000 | #Constraints: 40889
491.90/493.44 c #Conflicts: 1083000 | #Constraints: 41889
491.90/493.44 c INPROCESSING
491.90/493.44 c GARBAGE COLLECT
491.90/493.44 c #Conflicts: 1084000 | #Constraints: 22290
491.90/493.44 c #Conflicts: 1085000 | #Constraints: 23290
491.90/493.44 c #Conflicts: 1086000 | #Constraints: 24290
491.90/493.44 c #Conflicts: 1087000 | #Constraints: 25290
491.90/493.44 c #Conflicts: 1088000 | #Constraints: 26290
491.90/493.44 c #Conflicts: 1089000 | #Constraints: 27290
491.90/493.44 c #Conflicts: 1090000 | #Constraints: 28290
491.90/493.44 c #Conflicts: 1091000 | #Constraints: 29290
491.90/493.44 c #Conflicts: 1092000 | #Constraints: 30290
491.90/493.44 c #Conflicts: 1093000 | #Constraints: 31290
491.90/493.44 c #Conflicts: 1094000 | #Constraints: 32290
491.90/493.44 c #Conflicts: 1095000 | #Constraints: 33290
491.90/493.44 c #Conflicts: 1096000 | #Constraints: 34290
491.90/493.44 c #Conflicts: 1097000 | #Constraints: 35290
491.90/493.44 c #Conflicts: 1098000 | #Constraints: 36290
491.90/493.44 c #Conflicts: 1099000 | #Constraints: 37290
491.90/493.44 c #Conflicts: 1100000 | #Constraints: 38290
491.90/493.44 c GLOBAL bounds 4 >= 0 @ 486.74
491.90/493.44 c GLOBAL bounds 4 >= 0 @ 486.74
492.20/493.79 c GLOBAL bounds 4 >= 0 @ 487.078
492.20/493.79 c GLOBAL bounds 4 >= 0 @ 487.078
492.40/493.93 c #Conflicts: 1101000 | #Constraints: 39292
492.40/493.93 c GLOBAL bounds 4 >= 0 @ 487.217
492.40/493.93 c GLOBAL bounds 4 >= 0 @ 487.217
498.79/500.37 c #Conflicts: 1102000 | #Constraints: 40293
498.79/500.37 c #Conflicts: 1103000 | #Constraints: 41293
498.79/500.37 c #Conflicts: 1104000 | #Constraints: 42293
498.79/500.37 c INPROCESSING
498.79/500.37 c GARBAGE COLLECT
498.79/500.37 c #Conflicts: 1105000 | #Constraints: 22491
498.79/500.37 c #Conflicts: 1106000 | #Constraints: 23491
498.79/500.37 c #Conflicts: 1107000 | #Constraints: 24491
498.79/500.37 c #Conflicts: 1108000 | #Constraints: 25491
498.79/500.37 c #Conflicts: 1109000 | #Constraints: 26491
498.79/500.37 c #Conflicts: 1110000 | #Constraints: 27491
498.79/500.37 c #Conflicts: 1111000 | #Constraints: 28491
498.79/500.37 c #Conflicts: 1112000 | #Constraints: 29491
498.79/500.37 c #Conflicts: 1113000 | #Constraints: 30491
498.79/500.37 c #Conflicts: 1114000 | #Constraints: 31491
498.79/500.37 c #Conflicts: 1115000 | #Constraints: 32491
498.79/500.37 c #Conflicts: 1116000 | #Constraints: 33491
498.79/500.37 c GLOBAL bounds 4 >= 0 @ 493.572
498.79/500.37 c GLOBAL bounds 4 >= 0 @ 493.573
537.39/539.01 c #Conflicts: 1117000 | #Constraints: 34492
537.39/539.01 c #Conflicts: 1118000 | #Constraints: 35492
537.39/539.01 c #Conflicts: 1119000 | #Constraints: 36492
537.39/539.01 c #Conflicts: 1120000 | #Constraints: 37492
537.39/539.01 c #Conflicts: 1121000 | #Constraints: 38492
537.39/539.01 c #Conflicts: 1122000 | #Constraints: 39492
537.39/539.01 c #Conflicts: 1123000 | #Constraints: 40492
537.39/539.01 c #Conflicts: 1124000 | #Constraints: 41492
537.39/539.01 c #Conflicts: 1125000 | #Constraints: 42492
537.39/539.01 c INPROCESSING
537.39/539.01 c GARBAGE COLLECT
537.39/539.01 c #Conflicts: 1126000 | #Constraints: 22493
537.39/539.01 c #Conflicts: 1127000 | #Constraints: 23493
537.39/539.01 c #Conflicts: 1128000 | #Constraints: 24493
537.39/539.01 c #Conflicts: 1129000 | #Constraints: 25493
537.39/539.01 c #Conflicts: 1130000 | #Constraints: 26493
537.39/539.01 c #Conflicts: 1131000 | #Constraints: 27493
537.39/539.01 c #Conflicts: 1132000 | #Constraints: 28493
537.39/539.01 c #Conflicts: 1133000 | #Constraints: 29493
537.39/539.01 c #Conflicts: 1134000 | #Constraints: 30493
537.39/539.01 c #Conflicts: 1135000 | #Constraints: 31493
537.39/539.01 c #Conflicts: 1136000 | #Constraints: 32493
537.39/539.01 c #Conflicts: 1137000 | #Constraints: 33493
537.39/539.01 c #Conflicts: 1138000 | #Constraints: 34493
537.39/539.01 c #Conflicts: 1139000 | #Constraints: 35493
537.39/539.01 c #Conflicts: 1140000 | #Constraints: 36493
537.39/539.01 c #Conflicts: 1141000 | #Constraints: 37493
537.39/539.01 c #Conflicts: 1142000 | #Constraints: 38493
537.39/539.01 c #Conflicts: 1143000 | #Constraints: 39493
537.39/539.01 c #Conflicts: 1144000 | #Constraints: 40493
537.39/539.01 c #Conflicts: 1145000 | #Constraints: 41493
537.39/539.01 c #Conflicts: 1146000 | #Constraints: 42493
537.39/539.01 c INPROCESSING
537.39/539.01 c GARBAGE COLLECT
537.39/539.01 c #Conflicts: 1147000 | #Constraints: 22291
537.39/539.01 c #Conflicts: 1148000 | #Constraints: 23291
537.39/539.01 c #Conflicts: 1149000 | #Constraints: 24291
537.39/539.01 c #Conflicts: 1150000 | #Constraints: 25291
537.39/539.01 c #Conflicts: 1151000 | #Constraints: 26291
537.39/539.01 c #Conflicts: 1152000 | #Constraints: 27291
537.39/539.01 c #Conflicts: 1153000 | #Constraints: 28291
537.39/539.01 c #Conflicts: 1154000 | #Constraints: 29291
537.39/539.01 c #Conflicts: 1155000 | #Constraints: 30291
537.39/539.01 c #Conflicts: 1156000 | #Constraints: 31291
537.39/539.01 c #Conflicts: 1157000 | #Constraints: 32291
537.39/539.01 c #Conflicts: 1158000 | #Constraints: 33291
537.39/539.01 c #Conflicts: 1159000 | #Constraints: 34291
537.39/539.01 c #Conflicts: 1160000 | #Constraints: 35291
537.39/539.01 c #Conflicts: 1161000 | #Constraints: 36291
537.39/539.01 c #Conflicts: 1162000 | #Constraints: 37291
537.39/539.01 c #Conflicts: 1163000 | #Constraints: 38291
537.39/539.01 c #Conflicts: 1164000 | #Constraints: 39291
537.39/539.01 c #Conflicts: 1165000 | #Constraints: 40291
537.39/539.01 c #Conflicts: 1166000 | #Constraints: 41291
537.39/539.01 c #Conflicts: 1167000 | #Constraints: 42291
537.39/539.01 c #Conflicts: 1168000 | #Constraints: 43291
537.39/539.01 c INPROCESSING
537.39/539.01 c GARBAGE COLLECT
537.39/539.01 c #Conflicts: 1169000 | #Constraints: 22892
537.39/539.01 c #Conflicts: 1170000 | #Constraints: 23892
537.39/539.01 c #Conflicts: 1171000 | #Constraints: 24892
537.39/539.01 c #Conflicts: 1172000 | #Constraints: 25892
537.39/539.01 c #Conflicts: 1173000 | #Constraints: 26892
537.39/539.01 c #Conflicts: 1174000 | #Constraints: 27892
537.39/539.01 c #Conflicts: 1175000 | #Constraints: 28892
537.39/539.01 c #Conflicts: 1176000 | #Constraints: 29892
537.39/539.01 c #Conflicts: 1177000 | #Constraints: 30892
537.39/539.01 c #Conflicts: 1178000 | #Constraints: 31892
537.39/539.01 c #Conflicts: 1179000 | #Constraints: 32892
537.39/539.01 c #Conflicts: 1180000 | #Constraints: 33892
537.39/539.01 c #Conflicts: 1181000 | #Constraints: 34892
537.39/539.01 c #Conflicts: 1182000 | #Constraints: 35892
537.39/539.01 c #Conflicts: 1183000 | #Constraints: 36892
537.39/539.01 c #Conflicts: 1184000 | #Constraints: 37892
537.39/539.01 c #Conflicts: 1185000 | #Constraints: 38892
537.39/539.01 c #Conflicts: 1186000 | #Constraints: 39892
537.39/539.01 c #Conflicts: 1187000 | #Constraints: 40892
537.39/539.01 c #Conflicts: 1188000 | #Constraints: 41892
537.39/539.01 c #Conflicts: 1189000 | #Constraints: 42892
537.39/539.01 c #Conflicts: 1190000 | #Constraints: 43892
537.39/539.01 c INPROCESSING
537.39/539.01 c GARBAGE COLLECT
537.39/539.01 c #Conflicts: 1191000 | #Constraints: 23294
537.39/539.01 c #Conflicts: 1192000 | #Constraints: 24294
537.39/539.01 c #Conflicts: 1193000 | #Constraints: 25294
576.40/578.13 c #Conflicts: 1194000 | #Constraints: 26294
576.40/578.13 c #Conflicts: 1195000 | #Constraints: 27294
576.40/578.13 c #Conflicts: 1196000 | #Constraints: 28294
576.40/578.13 c #Conflicts: 1197000 | #Constraints: 29294
576.40/578.13 c #Conflicts: 1198000 | #Constraints: 30294
576.40/578.13 c #Conflicts: 1199000 | #Constraints: 31294
576.40/578.13 c #Conflicts: 1200000 | #Constraints: 32294
576.40/578.13 c #Conflicts: 1201000 | #Constraints: 33294
576.40/578.13 c #Conflicts: 1202000 | #Constraints: 34294
576.40/578.13 c #Conflicts: 1203000 | #Constraints: 35294
576.40/578.13 c #Conflicts: 1204000 | #Constraints: 36294
576.40/578.13 c #Conflicts: 1205000 | #Constraints: 37294
576.40/578.13 c #Conflicts: 1206000 | #Constraints: 38294
576.40/578.13 c #Conflicts: 1207000 | #Constraints: 39294
576.40/578.13 c #Conflicts: 1208000 | #Constraints: 40294
576.40/578.13 c #Conflicts: 1209000 | #Constraints: 41294
576.40/578.13 c #Conflicts: 1210000 | #Constraints: 42294
576.40/578.13 c #Conflicts: 1211000 | #Constraints: 43294
576.40/578.13 c #Conflicts: 1212000 | #Constraints: 44294
576.40/578.13 c INPROCESSING
576.40/578.13 c GARBAGE COLLECT
576.40/578.13 c #Conflicts: 1213000 | #Constraints: 23495
576.40/578.13 c #Conflicts: 1214000 | #Constraints: 24495
576.40/578.13 c #Conflicts: 1215000 | #Constraints: 25495
576.40/578.13 c #Conflicts: 1216000 | #Constraints: 26495
576.40/578.13 c #Conflicts: 1217000 | #Constraints: 27495
576.40/578.13 c #Conflicts: 1218000 | #Constraints: 28495
576.40/578.13 c #Conflicts: 1219000 | #Constraints: 29495
576.40/578.13 c #Conflicts: 1220000 | #Constraints: 30495
576.40/578.13 c #Conflicts: 1221000 | #Constraints: 31495
576.40/578.13 c #Conflicts: 1222000 | #Constraints: 32495
576.40/578.13 c #Conflicts: 1223000 | #Constraints: 33495
576.40/578.13 c #Conflicts: 1224000 | #Constraints: 34495
576.40/578.13 c #Conflicts: 1225000 | #Constraints: 35495
576.40/578.13 c #Conflicts: 1226000 | #Constraints: 36495
576.40/578.13 c #Conflicts: 1227000 | #Constraints: 37495
576.40/578.13 c #Conflicts: 1228000 | #Constraints: 38495
576.40/578.13 c #Conflicts: 1229000 | #Constraints: 39495
576.40/578.13 c #Conflicts: 1230000 | #Constraints: 40495
576.40/578.13 c #Conflicts: 1231000 | #Constraints: 41495
576.40/578.13 c #Conflicts: 1232000 | #Constraints: 42495
576.40/578.13 c #Conflicts: 1233000 | #Constraints: 43495
576.40/578.13 c #Conflicts: 1234000 | #Constraints: 44495
576.40/578.13 c INPROCESSING
576.40/578.13 c GARBAGE COLLECT
576.40/578.13 c #Conflicts: 1235000 | #Constraints: 23498
576.40/578.13 c #Conflicts: 1236000 | #Constraints: 24498
576.40/578.13 c #Conflicts: 1237000 | #Constraints: 25498
576.40/578.13 c #Conflicts: 1238000 | #Constraints: 26498
576.40/578.13 c #Conflicts: 1239000 | #Constraints: 27498
576.40/578.13 c #Conflicts: 1240000 | #Constraints: 28498
576.40/578.13 c #Conflicts: 1241000 | #Constraints: 29498
576.40/578.13 c #Conflicts: 1242000 | #Constraints: 30498
576.40/578.13 c #Conflicts: 1243000 | #Constraints: 31498
576.40/578.13 c #Conflicts: 1244000 | #Constraints: 32498
576.40/578.13 c #Conflicts: 1245000 | #Constraints: 33498
576.40/578.13 c #Conflicts: 1246000 | #Constraints: 34498
576.40/578.13 c #Conflicts: 1247000 | #Constraints: 35498
576.40/578.13 c #Conflicts: 1248000 | #Constraints: 36498
576.40/578.13 c #Conflicts: 1249000 | #Constraints: 37498
576.40/578.13 c #Conflicts: 1250000 | #Constraints: 38498
576.40/578.13 c #Conflicts: 1251000 | #Constraints: 39498
576.40/578.13 c #Conflicts: 1252000 | #Constraints: 40498
576.40/578.13 c #Conflicts: 1253000 | #Constraints: 41498
576.40/578.13 c #Conflicts: 1254000 | #Constraints: 42498
576.40/578.13 c #Conflicts: 1255000 | #Constraints: 43498
576.40/578.13 c #Conflicts: 1256000 | #Constraints: 44498
576.40/578.13 c INPROCESSING
576.40/578.13 c GARBAGE COLLECT
576.40/578.13 c #Conflicts: 1257000 | #Constraints: 22195
576.40/578.13 c #Conflicts: 1258000 | #Constraints: 23195
576.40/578.13 c #Conflicts: 1259000 | #Constraints: 24195
576.40/578.13 c #Conflicts: 1260000 | #Constraints: 25195
576.40/578.13 c #Conflicts: 1261000 | #Constraints: 26195
576.40/578.13 c #Conflicts: 1262000 | #Constraints: 27195
576.40/578.13 c #Conflicts: 1263000 | #Constraints: 28195
576.40/578.13 c #Conflicts: 1264000 | #Constraints: 29195
576.40/578.13 c #Conflicts: 1265000 | #Constraints: 30195
576.40/578.13 c #Conflicts: 1266000 | #Constraints: 31195
576.40/578.13 c #Conflicts: 1267000 | #Constraints: 32195
576.40/578.13 c #Conflicts: 1268000 | #Constraints: 33195
576.40/578.13 c #Conflicts: 1269000 | #Constraints: 34195
576.40/578.13 c #Conflicts: 1270000 | #Constraints: 35195
595.34/597.11 c #Conflicts: 1271000 | #Constraints: 36195
595.34/597.11 c #Conflicts: 1272000 | #Constraints: 37195
595.34/597.11 c #Conflicts: 1273000 | #Constraints: 38195
595.34/597.11 c #Conflicts: 1274000 | #Constraints: 39195
595.34/597.11 c #Conflicts: 1275000 | #Constraints: 40195
595.34/597.11 c #Conflicts: 1276000 | #Constraints: 41195
595.34/597.11 c #Conflicts: 1277000 | #Constraints: 42195
595.34/597.11 c #Conflicts: 1278000 | #Constraints: 43195
595.34/597.11 c #Conflicts: 1279000 | #Constraints: 44195
595.34/597.11 c INPROCESSING
595.34/597.11 c GARBAGE COLLECT
595.34/597.11 c #Conflicts: 1280000 | #Constraints: 23343
595.34/597.11 c #Conflicts: 1281000 | #Constraints: 24343
595.34/597.11 c #Conflicts: 1282000 | #Constraints: 25343
595.34/597.11 c #Conflicts: 1283000 | #Constraints: 26343
595.34/597.11 c #Conflicts: 1284000 | #Constraints: 27343
595.34/597.11 c #Conflicts: 1285000 | #Constraints: 28343
595.34/597.11 c #Conflicts: 1286000 | #Constraints: 29343
595.34/597.11 c #Conflicts: 1287000 | #Constraints: 30343
595.34/597.11 c #Conflicts: 1288000 | #Constraints: 31343
595.34/597.11 c #Conflicts: 1289000 | #Constraints: 32343
595.34/597.11 c #Conflicts: 1290000 | #Constraints: 33343
595.34/597.11 c #Conflicts: 1291000 | #Constraints: 34343
595.34/597.11 c #Conflicts: 1292000 | #Constraints: 35343
595.34/597.11 c #Conflicts: 1293000 | #Constraints: 36343
595.34/597.11 c #Conflicts: 1294000 | #Constraints: 37343
595.34/597.11 c #Conflicts: 1295000 | #Constraints: 38343
595.34/597.11 c #Conflicts: 1296000 | #Constraints: 39343
595.34/597.11 c #Conflicts: 1297000 | #Constraints: 40343
595.34/597.11 c #Conflicts: 1298000 | #Constraints: 41343
595.34/597.11 c #Conflicts: 1299000 | #Constraints: 42343
595.34/597.11 c #Conflicts: 1300000 | #Constraints: 43343
595.34/597.11 c #Conflicts: 1301000 | #Constraints: 44343
595.34/597.11 c #Conflicts: 1302000 | #Constraints: 45343
595.34/597.11 c INPROCESSING
595.34/597.11 c GARBAGE COLLECT
595.34/597.11 c #Conflicts: 1303000 | #Constraints: 15141
595.34/597.11 c #Conflicts: 1304000 | #Constraints: 16141
595.34/597.11 c GLOBAL bounds 4 >= 4 @ 589.26
595.34/597.11 c cpu time 589.26 s
595.34/597.11 c deterministic time 62129 6.21e+04
595.34/597.11 c optimization time 589.213 s
595.34/597.11 c total solve time 0.023274 s
595.34/597.11 c core-guided solve time 0 s
595.34/597.11 c propagation time 0.004539 s
595.34/597.11 c conflict analysis time 0.000533 s
595.34/597.11 c propagations 6744
595.34/597.11 c resolve steps 0
595.34/597.11 c decisions 3888
595.34/597.11 c conflicts 0
595.34/597.11 c restarts 1
595.34/597.11 c inprocessing phases 0
595.34/597.11 c garbage collections 0 ,( -nan )
595.34/597.11 c input clauses 1668 ,( 88.96 )
595.34/597.11 c input cardinalities 0 ,( 0.00 )
595.34/597.11 c input general constraints 207 ,( 11.04 )
595.34/597.11 c input average constraint length 3.72
595.34/597.11 c input average constraint degree 2.01
595.34/597.11 c learned clauses 1 ,( 4.00 )
595.34/597.11 c learned cardinalities 0 ,( 0.00 )
595.34/597.11 c learned general constraints 24 ,( 96.00 )
595.34/597.11 c learned average constraint length 5.56
595.34/597.11 c learned average constraint degree 2.56
595.34/597.11 c watched CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
595.34/597.11 c counting CF 32, 64, 128, Arb: 231 , 0 , 0 , 0
595.34/597.11 c watched constraints 1 ,( 0.43 )
595.34/597.11 c counting constraints 230 ,( 99.57 )
595.34/597.11 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 6222 , 0 , 6309 ,( 45 , 6264 )
595.34/597.11 c gcd simplifications 1
595.34/597.11 c detected cardinalities 0
595.34/597.11 c weakened non-implied lits 0
595.34/597.11 c weakened non-implying lits 0
595.34/597.11 c original variables 328
595.34/597.11 c clausal propagations 2306
595.34/597.11 c cardinality propagations 0
595.34/597.11 c watched propagations 0
595.34/597.11 c counting propagations 2393
595.34/597.11 c watch lookups 21586
595.34/597.11 c watch backjump lookups 0
595.34/597.11 c watch checks 5557
595.34/597.11 c propagation checks 13185
595.34/597.11 c constraint additions 217
595.34/597.11 c trail pops 10631
595.34/597.11 c formula constraints 1747
595.34/597.11 c learned constraints 24
595.34/597.11 c bound constraints 0
595.34/597.11 c core-guided constraints 0
595.34/597.11 c encountered formula constraints 0
595.34/597.11 c encountered learned constraints 0
595.34/597.11 c encountered bound constraints 0
595.34/597.11 c encountered core-guided constraints 0
595.34/597.11 c LP total time 0.019785 s
595.34/597.11 c LP solve time 0.01 s
595.34/597.11 c LP constraints added 1748
595.34/597.11 c LP constraints removed 0
595.34/597.11 c LP pivots internal 4
595.34/597.11 c LP pivots root 316
595.34/597.11 c LP calls 2
595.34/597.11 c LP optimalities 2
595.34/597.11 c LP no pivot count 0
595.34/597.11 c LP infeasibilities 0
595.34/597.11 c LP valid Farkas constraints 0
595.34/597.11 c LP learned Farkas constraints 0
595.34/597.11 c LP basis resets 0
595.34/597.11 c LP cycling count 0
595.34/597.11 c LP singular count 0
595.34/597.11 c LP no primal count 0
595.34/597.11 c LP no farkas count 0
595.34/597.11 c LP other issue count 0
595.34/597.11 c LP Gomory cuts 1
595.34/597.11 c LP learned cuts 0
595.34/597.11 c LP deleted cuts 0
595.34/597.11 c LP encountered Gomory constraints 0
595.34/597.11 c LP encountered Farkas constraints 0
595.34/597.11 c LP encountered learned Farkas constraints 0
595.34/597.11 c CG auxiliary variables introduced 42
595.34/597.11 c CG solutions found 5
595.34/597.11 c CG cores constructed 35
595.34/597.11 c CG core cardinality constraints returned 0
595.34/597.11 c CG unit cores 0
595.34/597.11 c CG single cores 0
595.34/597.11 c CG blocks removed during cardinality reduction 0
595.34/597.11 c CG first core best 0
595.34/597.11 c CG decision core best 0
595.34/597.11 c CG core reduction tie 0
595.34/597.11 c CG core degree average 0.00
595.34/597.11 c CG core slack average 0.00
595.34/597.11 c CG core upper bound improvements 0
595.34/597.11 c STR number of successful calls 0
595.34/597.11 c STR number of unsuccessful calls 0
595.34/597.11 c STR number of inconclusive calls 0
595.34/597.11 c STR number of successful attempts 0
595.34/597.11 c STR number of unsuccessful attempts 0
595.34/597.11 c STR number of inconclusive attempts 0
595.34/597.11 c STR average degree increase per successful call inf
595.34/597.11 c STR average degree increase per successful attempt inf
595.34/597.11 c STR total number of conflicts for successful attempts 0
595.34/597.11 c STR total number of conflicts for unsuccessful attempts 0
595.34/597.11 c STR total number of conflicts for inconclusive attempts 0
595.34/597.11 c STR average number of conflicts per successful attempt inf
595.34/597.11 c STR average number of conflicts per unsuccessful attempt inf
595.34/597.11 c STR average number of conflicts per inconclusive attempt inf
595.34/597.11 c AVG.sumWPerc 96.36
595.34/597.11 c bigint constraints 0
595.34/597.11 o 4
595.34/597.11 s OPTIMUM FOUND
595.34/597.15 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
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (51262 MiB free)
memory of node 1: 64465 MiB (63518 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509057-1751518407/watcher-4509057-1751518407 -o /tmp/evaluation-result-4509057-1751518407/solver-4509057-1751518407 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751514781-82244 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4509057-1751518407.opb PROOFDIR/proof-4509057-1751518407
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=83057, runsolver pid=83054
Current StackSize limit: 8192 KiB
[startup+0.100071 s]*
/proc/loadavg: 4.90 4.44 4.21 6/260 83059
/proc/meminfo: memFree=117536688/131382112 swapFree=33005784/33010684
[pid=83057] ppid=83054 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83057/stat : 83057 (run-opt-log.sh) S 83054 83057 82234 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67519811 4292608 736 18446744073709551615 94704216371200 94704217265733 140736843307360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94704217504784 94704217552528 94704237559808 140736843311393 140736843311588 140736843311588 140736843317190 0
/proc/83057/statm: 1048 736 672 219 0 110 0
[pid=83059] ppid=83057 vsize=56836 memory=10932 CPUtime=0.02 cores=0,2
/proc/83059/stat : 83059 (roundingsat) R 83057 83057 82234 0 -1 4194304 911 0 0 0 2 0 0 0 20 0 1 0 67519812 58200064 2733 18446744073709551615 4227072 8923433 140732017345200 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 24215552 140732017346898 140732017347112 140732017347112 140732017352682 0
/proc/83059/statm: 14209 2733 2272 1147 0 1636 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 61028 KiB
Current children cumulated memory: 13876 KiB
[startup+0.218327 s]*
/proc/loadavg: 4.90 4.44 4.21 5/260 83059
/proc/meminfo: memFree=117539920/131382112 swapFree=33005784/33010684
[pid=83057] ppid=83054 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83057/stat : 83057 (run-opt-log.sh) S 83054 83057 82234 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67519811 4292608 736 18446744073709551615 94704216371200 94704217265733 140736843307360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94704217504784 94704217552528 94704237559808 140736843311393 140736843311588 140736843311588 140736843317190 0
/proc/83057/statm: 1048 736 672 219 0 110 0
[pid=83059] ppid=83057 vsize=62120 memory=12596 CPUtime=0.12 cores=0,2
/proc/83059/stat : 83059 (roundingsat) R 83057 83057 82234 0 -1 4194304 1267 0 0 0 11 1 0 0 20 0 1 0 67519812 63610880 3149 18446744073709551615 4227072 8923433 140732017345200 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 24215552 140732017346898 140732017347112 140732017347112 140732017352682 0
/proc/83059/statm: 15530 3149 2336 1147 0 2957 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 66312 KiB
Current children cumulated memory: 15540 KiB
[startup+0.318258 s]*
/proc/loadavg: 4.90 4.44 4.21 5/260 83059
/proc/meminfo: memFree=117539920/131382112 swapFree=33005784/33010684
[pid=83057] ppid=83054 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83057/stat : 83057 (run-opt-log.sh) S 83054 83057 82234 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67519811 4292608 736 18446744073709551615 94704216371200 94704217265733 140736843307360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94704217504784 94704217552528 94704237559808 140736843311393 140736843311588 140736843311588 140736843317190 0
/proc/83057/statm: 1048 736 672 219 0 110 0
[pid=83059] ppid=83057 vsize=62648 memory=13236 CPUtime=0.21 cores=0,2
/proc/83059/stat : 83059 (roundingsat) R 83057 83057 82234 0 -1 4194304 1444 0 0 0 19 2 0 0 20 0 1 0 67519812 64151552 3309 18446744073709551615 4227072 8923433 140732017345200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24215552 140732017346898 140732017347112 140732017347112 140732017352682 0
/proc/83059/statm: 15662 3309 2336 1147 0 3089 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 66840 KiB
Current children cumulated memory: 16180 KiB
[startup+0.700334 s]
/proc/loadavg: 4.90 4.44 4.21 5/260 83059
/proc/meminfo: memFree=117531856/131382112 swapFree=33005784/33010684
[pid=83057] ppid=83054 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83057/stat : 83057 (run-opt-log.sh) S 83054 83057 82234 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67519811 4292608 736 18446744073709551615 94704216371200 94704217265733 140736843307360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94704217504784 94704217552528 94704237559808 140736843311393 140736843311588 140736843311588 140736843317190 0
/proc/83057/statm: 1048 736 672 219 0 110 0
[pid=83059] ppid=83057 vsize=65048 memory=16564 CPUtime=0.57 cores=0,2
/proc/83059/stat : 83059 (roundingsat) R 83057 83057 82234 0 -1 4194304 2283 0 0 0 55 2 0 0 20 0 1 0 67519812 66609152 4141 18446744073709551615 4227072 8923433 140732017345200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24215552 140732017346898 140732017347112 140732017347112 140732017352682 0
/proc/83059/statm: 16262 4141 2336 1147 0 3689 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 69240 KiB
Current children cumulated memory: 19508 KiB
[startup+1.50036 s]
/proc/loadavg: 4.90 4.44 4.21 5/260 83059
/proc/meminfo: memFree=117531616/131382112 swapFree=33005784/33010684
[pid=83057] ppid=83054 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83057/stat : 83057 (run-opt-log.sh) S 83054 83057 82234 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67519811 4292608 736 18446744073709551615 94704216371200 94704217265733 140736843307360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94704217504784 94704217552528 94704237559808 140736843311393 140736843311588 140736843311588 140736843317190 0
/proc/83057/statm: 1048 736 672 219 0 110 0
[pid=83059] ppid=83057 vsize=66764 memory=19832 CPUtime=1.37 cores=0,2
/proc/83059/stat : 83059 (roundingsat) R 83057 83057 82234 0 -1 4194304 2603 0 0 0 133 4 0 0 20 0 1 0 67519812 68366336 4958 18446744073709551615 4227072 8923433 140732017345200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24215552 140732017346898 140732017347112 140732017347112 140732017352682 0
/proc/83059/statm: 16691 4958 2336 1147 0 4118 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 70956 KiB
Current children cumulated memory: 22776 KiB
[startup+3.11373 s]
/proc/loadavg: 4.83 4.43 4.21 5/260 83059
/proc/meminfo: memFree=117516864/131382112 swapFree=33005784/33010684
[pid=83057] ppid=83054 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83057/stat : 83057 (run-opt-log.sh) S 83054 83057 82234 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67519811 4292608 736 18446744073709551615 94704216371200 94704217265733 140736843307360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94704217504784 94704217552528 94704237559808 140736843311393 140736843311588 140736843311588 140736843317190 0
/proc/83057/statm: 1048 736 672 219 0 110 0
[pid=83059] ppid=83057 vsize=69132 memory=21880 CPUtime=2.98 cores=0,2
/proc/83059/stat : 83059 (roundingsat) R 83057 83057 82234 0 -1 4194304 3100 0 0 0 292 6 0 0 20 0 1 0 67519812 70791168 5470 18446744073709551615 4227072 8923433 140732017345200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24215552 140732017346898 140732017347112 140732017347112 140732017352682 0
/proc/83059/statm: 17283 5470 2336 1147 0 4710 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 73324 KiB
Current children cumulated memory: 24824 KiB
[startup+6.30032 s]
/proc/loadavg: 4.83 4.43 4.21 5/260 83059
/proc/meminfo: memFree=117480764/131382112 swapFree=33005784/33010684
[pid=83057] ppid=83054 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83057/stat : 83057 (run-opt-log.sh) S 83054 83057 82234 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67519811 4292608 736 18446744073709551615 94704216371200 94704217265733 140736843307360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94704217504784 94704217552528 94704237559808 140736843311393 140736843311588 140736843311588 140736843317190 0
/proc/83057/statm: 1048 736 672 219 0 110 0
[pid=83059] ppid=83057 vsize=71420 memory=24056 CPUtime=6.16 cores=0,2
/proc/83059/stat : 83059 (roundingsat) R 83057 83057 82234 0 -1 4194304 3657 0 0 0 604 12 0 0 20 0 1 0 67519812 73134080 6014 18446744073709551615 4227072 8923433 140732017345200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24215552 140732017346898 140732017347112 140732017347112 140732017352682 0
/proc/83059/statm: 17855 6014 2336 1147 0 5282 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 75612 KiB
Current children cumulated memory: 27000 KiB
[startup+12.7003 s]
/proc/loadavg: 4.70 4.41 4.21 5/260 83059
/proc/meminfo: memFree=117437672/131382112 swapFree=33005784/33010684
[pid=83057] ppid=83054 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83057/stat : 83057 (run-opt-log.sh) S 83054 83057 82234 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67519811 4292608 736 18446744073709551615 94704216371200 94704217265733 140736843307360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94704217504784 94704217552528 94704237559808 140736843311393 140736843311588 140736843311588 140736843317190 0
/proc/83057/statm: 1048 736 672 219 0 110 0
[pid=83059] ppid=83057 vsize=75392 memory=28340 CPUtime=12.54 cores=0,2
/proc/83059/stat : 83059 (roundingsat) R 83057 83057 82234 0 -1 4194304 4203 0 0 0 1231 23 0 0 20 0 1 0 67519812 77201408 7085 18446744073709551615 4227072 8923433 140732017345200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24215552 140732017346898 140732017347112 140732017347112 140732017352682 0
/proc/83059/statm: 18848 7085 2336 1147 0 6275 0
Current children cumulated CPU time: 12.54 s
Current children cumulated vsize: 79584 KiB
Current children cumulated memory: 31284 KiB
[startup+25.5003 s]
/proc/loadavg: 4.75 4.43 4.22 5/260 83059
/proc/meminfo: memFree=117343044/131382112 swapFree=33005784/33010684
[pid=83057] ppid=83054 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83057/stat : 83057 (run-opt-log.sh) S 83054 83057 82234 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67519811 4292608 736 18446744073709551615 94704216371200 94704217265733 140736843307360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94704217504784 94704217552528 94704237559808 140736843311393 140736843311588 140736843311588 140736843317190 0
/proc/83057/statm: 1048 736 672 219 0 110 0
[pid=83059] ppid=83057 vsize=79772 memory=31796 CPUtime=25.31 cores=0,2
/proc/83059/stat : 83059 (roundingsat) R 83057 83057 82234 0 -1 4194304 5065 0 0 0 2492 39 0 0 20 0 1 0 67519812 81686528 7949 18446744073709551615 4227072 8923433 140732017345200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24215552 140732017346898 140732017347112 140732017347112 140732017352682 0
/proc/83059/statm: 19943 7949 2336 1147 0 7370 0
Current children cumulated CPU time: 25.31 s
Current children cumulated vsize: 83964 KiB
Current children cumulated memory: 34740 KiB
[startup+51.1143 s]
/proc/loadavg: 4.49 4.40 4.21 5/260 83059
/proc/meminfo: memFree=117186960/131382112 swapFree=33005784/33010684
[pid=83057] ppid=83054 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83057/stat : 83057 (run-opt-log.sh) S 83054 83057 82234 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67519811 4292608 736 18446744073709551615 94704216371200 94704217265733 140736843307360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94704217504784 94704217552528 94704237559808 140736843311393 140736843311588 140736843311588 140736843317190 0
/proc/83057/statm: 1048 736 672 219 0 110 0
[pid=83059] ppid=83057 vsize=86916 memory=35124 CPUtime=50.85 cores=0,2
/proc/83059/stat : 83059 (roundingsat) R 83057 83057 82234 0 -1 4194304 5916 0 0 0 5015 70 0 0 20 0 1 0 67519812 89001984 8781 18446744073709551615 4227072 8923433 140732017345200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24215552 140732017346898 140732017347112 140732017347112 140732017352682 0
/proc/83059/statm: 21729 8781 2336 1147 0 9156 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 91108 KiB
Current children cumulated memory: 38068 KiB
[startup+102.3 s]
/proc/loadavg: 4.26 4.35 4.20 5/259 83063
/proc/meminfo: memFree=116828476/131382112 swapFree=33005784/33010684
[pid=83057] ppid=83054 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83057/stat : 83057 (run-opt-log.sh) S 83054 83057 82234 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67519811 4292608 736 18446744073709551615 94704216371200 94704217265733 140736843307360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94704217504784 94704217552528 94704237559808 140736843311393 140736843311588 140736843311588 140736843317190 0
/proc/83057/statm: 1048 736 672 219 0 110 0
[pid=83059] ppid=83057 vsize=92748 memory=42808 CPUtime=101.89 cores=0,2
/proc/83059/stat : 83059 (roundingsat) R 83057 83057 82234 0 -1 4194304 7341 0 0 0 10060 129 0 0 20 0 1 0 67519812 94973952 10702 18446744073709551615 4227072 8923433 140732017345200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24215552 140732017346898 140732017347112 140732017347112 140732017352682 0
/proc/83059/statm: 23187 10702 2336 1147 0 10614 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 96940 KiB
Current children cumulated memory: 45752 KiB
[startup+162.3 s]
/proc/loadavg: 4.72 4.46 4.25 5/259 83065
/proc/meminfo: memFree=116211032/131382112 swapFree=33005784/33010684
[pid=83057] ppid=83054 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83057/stat : 83057 (run-opt-log.sh) S 83054 83057 82234 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67519811 4292608 736 18446744073709551615 94704216371200 94704217265733 140736843307360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94704217504784 94704217552528 94704237559808 140736843311393 140736843311588 140736843311588 140736843317190 0
/proc/83057/statm: 1048 736 672 219 0 110 0
[pid=83059] ppid=83057 vsize=94824 memory=45368 CPUtime=161.73 cores=0,2
/proc/83059/stat : 83059 (roundingsat) R 83057 83057 82234 0 -1 4194304 7978 0 0 0 15986 187 0 0 20 0 1 0 67519812 97099776 11342 18446744073709551615 4227072 8923433 140732017345200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24215552 140732017346898 140732017347112 140732017347112 140732017352682 0
/proc/83059/statm: 23706 11342 2336 1147 0 11133 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 99016 KiB
Current children cumulated memory: 48312 KiB
[startup+222.3 s]
/proc/loadavg: 4.42 4.43 4.25 5/259 83067
/proc/meminfo: memFree=115404752/131382112 swapFree=33005784/33010684
[pid=83057] ppid=83054 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83057/stat : 83057 (run-opt-log.sh) S 83054 83057 82234 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67519811 4292608 736 18446744073709551615 94704216371200 94704217265733 140736843307360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94704217504784 94704217552528 94704237559808 140736843311393 140736843311588 140736843311588 140736843317190 0
/proc/83057/statm: 1048 736 672 219 0 110 0
[pid=83059] ppid=83057 vsize=106116 memory=53208 CPUtime=221.56 cores=0,2
/proc/83059/stat : 83059 (roundingsat) R 83057 83057 82234 0 -1 4194304 9387 0 0 0 21907 249 0 0 20 0 1 0 67519812 108662784 13302 18446744073709551615 4227072 8923433 140732017345200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24215552 140732017346898 140732017347112 140732017347112 140732017352682 0
/proc/83059/statm: 26529 13302 2368 1147 0 13956 0
################
# More data... #
################
/proc/83059/stat : 83059 (roundingsat) R 83057 83057 82234 0 -1 4194304 11107 0 0 0 33767 356 0 0 20 0 1 0 67519812 117514240 15507 18446744073709551615 4227072 8923433 140732017345200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24215552 140732017346898 140732017347112 140732017347112 140732017352682 0
/proc/83059/statm: 28690 15507 2368 1147 0 16117 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 118952 KiB
Current children cumulated memory: 64972 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.27 4.22 5/258 83078
/proc/meminfo: memFree=114265892/131382112 swapFree=33005784/33010684
[pid=83057] ppid=83054 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83057/stat : 83057 (run-opt-log.sh) S 83054 83057 82234 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67519811 4292608 736 18446744073709551615 94704216371200 94704217265733 140736843307360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94704217504784 94704217552528 94704237559808 140736843311393 140736843311588 140736843311588 140736843317190 0
/proc/83057/statm: 1048 736 672 219 0 110 0
[pid=83059] ppid=83057 vsize=116668 memory=65956 CPUtime=401.06 cores=0,2
/proc/83059/stat : 83059 (roundingsat) R 83057 83057 82234 0 -1 4194304 11558 0 0 0 39680 426 0 0 20 0 1 0 67519812 119468032 16489 18446744073709551615 4227072 8923433 140732017345200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24215552 140732017346898 140732017347112 140732017347112 140732017352682 0
/proc/83059/statm: 29167 16489 2368 1147 0 16594 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 120860 KiB
Current children cumulated memory: 68900 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.24 4.21 5/259 83139
/proc/meminfo: memFree=114361124/131382112 swapFree=33005784/33010684
[pid=83057] ppid=83054 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83057/stat : 83057 (run-opt-log.sh) S 83054 83057 82234 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67519811 4292608 736 18446744073709551615 94704216371200 94704217265733 140736843307360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94704217504784 94704217552528 94704237559808 140736843311393 140736843311588 140736843311588 140736843317190 0
/proc/83057/statm: 1048 736 672 219 0 110 0
[pid=83059] ppid=83057 vsize=120504 memory=70308 CPUtime=460.89 cores=0,2
/proc/83059/stat : 83059 (roundingsat) R 83057 83057 82234 0 -1 4194304 12671 0 0 0 45598 491 0 0 20 0 1 0 67519812 123396096 17577 18446744073709551615 4227072 8923433 140732017345200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24215552 140732017346898 140732017347112 140732017347112 140732017352682 0
/proc/83059/statm: 30126 17577 2368 1147 0 17553 0
Current children cumulated CPU time: 460.89 s
Current children cumulated vsize: 124696 KiB
Current children cumulated memory: 73252 KiB
[startup+522.3 s]
/proc/loadavg: 4.10 4.21 4.20 5/260 83143
/proc/meminfo: memFree=113882624/131382112 swapFree=33005784/33010684
[pid=83057] ppid=83054 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83057/stat : 83057 (run-opt-log.sh) S 83054 83057 82234 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67519811 4292608 736 18446744073709551615 94704216371200 94704217265733 140736843307360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94704217504784 94704217552528 94704237559808 140736843311393 140736843311588 140736843311588 140736843317190 0
/proc/83057/statm: 1048 736 672 219 0 110 0
[pid=83059] ppid=83057 vsize=138448 memory=80216 CPUtime=520.72 cores=0,2
/proc/83059/stat : 83059 (roundingsat) R 83057 83057 82234 0 -1 4194304 14826 0 0 0 51525 547 0 0 20 0 1 0 67519812 141770752 20054 18446744073709551615 4227072 8923433 140732017345200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24215552 140732017346898 140732017347112 140732017347112 140732017352682 0
/proc/83059/statm: 34612 20054 2368 1147 0 22039 0
Current children cumulated CPU time: 520.72 s
Current children cumulated vsize: 142640 KiB
Current children cumulated memory: 83160 KiB
[startup+582.3 s]
/proc/loadavg: 4.11 4.19 4.19 5/260 83145
/proc/meminfo: memFree=113497612/131382112 swapFree=33005784/33010684
[pid=83057] ppid=83054 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83057/stat : 83057 (run-opt-log.sh) S 83054 83057 82234 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67519811 4292608 736 18446744073709551615 94704216371200 94704217265733 140736843307360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94704217504784 94704217552528 94704237559808 140736843311393 140736843311588 140736843311588 140736843317190 0
/proc/83057/statm: 1048 736 672 219 0 110 0
[pid=83059] ppid=83057 vsize=140664 memory=82392 CPUtime=580.57 cores=0,2
/proc/83059/stat : 83059 (roundingsat) R 83057 83057 82234 0 -1 4194304 15395 0 0 0 57462 595 0 0 20 0 1 0 67519812 144039936 20598 18446744073709551615 4227072 8923433 140732017345200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24215552 140732017346898 140732017347112 140732017347112 140732017352682 0
/proc/83059/statm: 35166 20598 2368 1147 0 22593 0
Current children cumulated CPU time: 580.57 s
Current children cumulated vsize: 144856 KiB
Current children cumulated memory: 85336 KiB
[startup+597.155 s]
# the end of solver process 83057 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=589.266 s, system=6.10082 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+588.8 s]
/proc/loadavg: 4.09 4.18 4.18 5/260 83145
/proc/meminfo: memFree=113455844/131382112 swapFree=33005784/33010684
[pid=83057] ppid=83054 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83057/stat : 83057 (run-opt-log.sh) S 83054 83057 82234 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67519811 4292608 736 18446744073709551615 94704216371200 94704217265733 140736843307360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94704217504784 94704217552528 94704237559808 140736843311393 140736843311588 140736843311588 140736843317190 0
/proc/83057/statm: 1048 736 672 219 0 110 0
[pid=83059] ppid=83057 vsize=140664 memory=82392 CPUtime=587.05 cores=0,2
/proc/83059/stat : 83059 (roundingsat) R 83057 83057 82234 0 -1 4194304 15397 0 0 0 58103 602 0 0 20 0 1 0 67519812 144039936 20598 18446744073709551615 4227072 8923433 140732017345200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24215552 140732017346898 140732017347112 140732017347112 140732017352682 0
/proc/83059/statm: 35166 20598 2368 1147 0 22593 0
Current children cumulated CPU time: 587.05 s
Current children cumulated vsize: 144856 KiB
Current children cumulated memory: 85336 KiB
[startup+592 s]*
/proc/loadavg: 4.09 4.18 4.18 5/260 83145
/proc/meminfo: memFree=113445764/131382112 swapFree=33005784/33010684
[pid=83057] ppid=83054 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83057/stat : 83057 (run-opt-log.sh) S 83054 83057 82234 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67519811 4292608 736 18446744073709551615 94704216371200 94704217265733 140736843307360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94704217504784 94704217552528 94704237559808 140736843311393 140736843311588 140736843311588 140736843317190 0
/proc/83057/statm: 1048 736 672 219 0 110 0
[pid=83059] ppid=83057 vsize=140664 memory=82392 CPUtime=590.26 cores=0,2
/proc/83059/stat : 83059 (roundingsat) R 83057 83057 82234 0 -1 4194304 15397 0 0 0 58421 605 0 0 20 0 1 0 67519812 144039936 20598 18446744073709551615 4227072 8923433 140732017345200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24215552 140732017346898 140732017347112 140732017347112 140732017352682 0
/proc/83059/statm: 35166 20598 2368 1147 0 22593 0
Current children cumulated CPU time: 590.26 s
Current children cumulated vsize: 144856 KiB
Current children cumulated memory: 85336 KiB
[startup+595.2 s]
/proc/loadavg: 4.08 4.18 4.18 5/260 83145
/proc/meminfo: memFree=113409660/131382112 swapFree=33005784/33010684
[pid=83057] ppid=83054 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83057/stat : 83057 (run-opt-log.sh) S 83054 83057 82234 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67519811 4292608 736 18446744073709551615 94704216371200 94704217265733 140736843307360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94704217504784 94704217552528 94704237559808 140736843311393 140736843311588 140736843311588 140736843317190 0
/proc/83057/statm: 1048 736 672 219 0 110 0
[pid=83059] ppid=83057 vsize=140664 memory=82392 CPUtime=593.43 cores=0,2
/proc/83059/stat : 83059 (roundingsat) R 83057 83057 82234 0 -1 4194304 15397 0 0 0 58736 607 0 0 20 0 1 0 67519812 144039936 20598 18446744073709551615 4227072 8923433 140732017345200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24215552 140732017346898 140732017347112 140732017347112 140732017352682 0
/proc/83059/statm: 35166 20598 2368 1147 0 22593 0
Current children cumulated CPU time: 593.43 s
Current children cumulated vsize: 144856 KiB
Current children cumulated memory: 85336 KiB
[startup+596 s]*
/proc/loadavg: 4.08 4.18 4.18 5/260 83145
/proc/meminfo: memFree=113409408/131382112 swapFree=33005784/33010684
[pid=83057] ppid=83054 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83057/stat : 83057 (run-opt-log.sh) S 83054 83057 82234 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67519811 4292608 736 18446744073709551615 94704216371200 94704217265733 140736843307360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94704217504784 94704217552528 94704237559808 140736843311393 140736843311588 140736843311588 140736843317190 0
/proc/83057/statm: 1048 736 672 219 0 110 0
[pid=83059] ppid=83057 vsize=140664 memory=82392 CPUtime=594.24 cores=0,2
/proc/83059/stat : 83059 (roundingsat) R 83057 83057 82234 0 -1 4194304 15397 0 0 0 58817 607 0 0 20 0 1 0 67519812 144039936 20598 18446744073709551615 4227072 8923433 140732017345200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24215552 140732017346898 140732017347112 140732017347112 140732017352682 0
/proc/83059/statm: 35166 20598 2368 1147 0 22593 0
Current children cumulated CPU time: 594.24 s
Current children cumulated vsize: 144856 KiB
Current children cumulated memory: 85336 KiB
[startup+596.8 s]
/proc/loadavg: 4.08 4.18 4.18 5/260 83145
/proc/meminfo: memFree=113409408/131382112 swapFree=33005784/33010684
[pid=83057] ppid=83054 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83057/stat : 83057 (run-opt-log.sh) S 83054 83057 82234 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67519811 4292608 736 18446744073709551615 94704216371200 94704217265733 140736843307360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94704217504784 94704217552528 94704237559808 140736843311393 140736843311588 140736843311588 140736843317190 0
/proc/83057/statm: 1048 736 672 219 0 110 0
[pid=83059] ppid=83057 vsize=140664 memory=82392 CPUtime=595.03 cores=0,2
/proc/83059/stat : 83059 (roundingsat) R 83057 83057 82234 0 -1 4194304 15398 0 0 0 58895 608 0 0 20 0 1 0 67519812 144039936 20598 18446744073709551615 4227072 8923433 140732017345200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24215552 140732017346898 140732017347112 140732017347112 140732017352682 0
/proc/83059/statm: 35166 20598 2368 1147 0 22593 0
Current children cumulated CPU time: 595.03 s
Current children cumulated vsize: 144856 KiB
Current children cumulated memory: 85336 KiB
[startup+597 s]*
/proc/loadavg: 4.08 4.18 4.18 5/260 83145
/proc/meminfo: memFree=113401596/131382112 swapFree=33005784/33010684
[pid=83057] ppid=83054 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83057/stat : 83057 (run-opt-log.sh) S 83054 83057 82234 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67519811 4292608 736 18446744073709551615 94704216371200 94704217265733 140736843307360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94704217504784 94704217552528 94704237559808 140736843311393 140736843311588 140736843311588 140736843317190 0
/proc/83057/statm: 1048 736 672 219 0 110 0
[pid=83059] ppid=83057 vsize=140664 memory=82392 CPUtime=595.24 cores=0,2
/proc/83059/stat : 83059 (roundingsat) R 83057 83057 82234 0 -1 4194304 15398 0 0 0 58916 608 0 0 20 0 1 0 67519812 144039936 20598 18446744073709551615 4227072 8923433 140732017345200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24215552 140732017346898 140732017347112 140732017347112 140732017352682 0
/proc/83059/statm: 35166 20598 2368 1147 0 22593 0
Current children cumulated CPU time: 595.24 s
Current children cumulated vsize: 144856 KiB
Current children cumulated memory: 85336 KiB
[startup+597.114 s]
/proc/loadavg: 4.08 4.18 4.18 5/260 83145
/proc/meminfo: memFree=113401596/131382112 swapFree=33005784/33010684
[pid=83057] ppid=83054 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/83057/stat : 83057 (run-opt-log.sh) S 83054 83057 82234 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 67519811 4292608 736 18446744073709551615 94704216371200 94704217265733 140736843307360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94704217504784 94704217552528 94704237559808 140736843311393 140736843311588 140736843311588 140736843317190 0
/proc/83057/statm: 1048 736 672 219 0 110 0
[pid=83059] ppid=83057 vsize=140664 memory=82392 CPUtime=595.34 cores=0,2
/proc/83059/stat : 83059 (roundingsat) R 83057 83057 82234 0 -1 4194304 15398 0 0 0 58926 608 0 0 20 0 1 0 67519812 144039936 20598 18446744073709551615 4227072 8923433 140732017345200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24215552 140732017346898 140732017347112 140732017347112 140732017352682 0
/proc/83059/statm: 35166 20598 2368 1147 0 22593 0
Current children cumulated CPU time: 595.34 s
Current children cumulated vsize: 144856 KiB
Current children cumulated memory: 85336 KiB
Child status: 0
Real time (s): 597.155
CPU time (s): 595.367
CPU user time (s): 589.266
CPU system time (s): 6.10082
CPU usage (%): 99.7007
Max. virtual memory (cumulated for all children) (KiB): 144856
Max. memory (cumulated for all children) (KiB): 85336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 589.266
system time used= 6.10082
maximum resident set size= 82392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15630
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2341480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1392
involuntary context switches= 1357
# summary of solver processes directly reported to runsolver:
# pid: 83057
# total CPU time (s): 595.367
# total CPU user time (s): 589.266
# total CPU system time (s): 6.10082
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.36782 second user time and 6.28724 second system time
The end
Begin job on nodeC007 at 2025-07-03 06:53:27
IDJOB=4509057
IDBENCH=158583
IDSOLVER=3351
FILE ID=nodeC007/4509057-1751518407
RUNJOBID= nodeC007-1751514781-82244
SLURM_JOB_ID= 9598624
Free space on /tmp= 431004 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross14-019.lin.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509057-1751518407/watcher-4509057-1751518407 -o /tmp/evaluation-result-4509057-1751518407/solver-4509057-1751518407 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751514781-82244 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4509057-1751518407.opb PROOFDIR/proof-4509057-1751518407
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fd898dd3347352c45e90b01c742e4b19
RANDOM SEED=567313772
nodeC007 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1795.806
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3591.605
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.201
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.188
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3591.557
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3591.615
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.162
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.211
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 117534940 kB
MemAvailable: 122796888 kB
Buffers: 16 kB
Cached: 5931540 kB
SwapCached: 252 kB
Active: 7276816 kB
Inactive: 5706092 kB
Active(anon): 7017048 kB
Inactive(anon): 47904 kB
Active(file): 259768 kB
Inactive(file): 5658188 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005784 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 94292 kB
Writeback: 97432 kB
AnonPages: 7054308 kB
Mapped: 111772 kB
Shmem: 13504 kB
KReclaimable: 367236 kB
Slab: 462244 kB
SReclaimable: 367236 kB
SUnreclaim: 95008 kB
KernelStack: 4176 kB
PageTables: 18612 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 8866260 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149512 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2150400 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 430996 MiB
End job on nodeC007 at 2025-07-03 07:03:24