0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.02 c #variables 328 #constraints 1747
0.00/0.02 c objective is ce32
0.00/0.02 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.02 c initial counting CF 32, 64, 128, Arb: 146 , 0 , 0 , 0
0.00/0.02 c GLOBAL bounds - >= -235 @ 0.007469
0.00/0.02 c GLOBAL bounds - >= -235 @ 0.00751
0.00/0.02 c GLOBAL bounds - >= -235 @ 0.007788
0.00/0.02 c GLOBAL bounds - >= -235 @ 0.008025
0.00/0.02 c GLOBAL bounds - >= -235 @ 0.008252
0.00/0.03 c GLOBAL bounds - >= -235 @ 0.008669
0.00/0.03 c GLOBAL bounds - >= -235 @ 0.008738
0.00/0.03 c GLOBAL bounds - >= -235 @ 0.008738
0.00/0.03 c GLOBAL bounds - >= -235 @ 0.008738
0.00/0.03 c GLOBAL bounds - >= -235 @ 0.008738
0.00/0.03 c GLOBAL bounds - >= -235 @ 0.011825
0.00/0.03 c GLOBAL bounds - >= -235 @ 0.015954
0.00/0.03 c GLOBAL bounds - >= -235 @ 0.016332
0.00/0.04 c GLOBAL bounds - >= -235 @ 0.016693
0.00/0.04 c GLOBAL bounds - >= -235 @ 0.017052
0.00/0.04 c GLOBAL bounds - >= -235 @ 0.017639
0.00/0.04 c GLOBAL bounds - >= -235 @ 0.017944
0.00/0.04 c GLOBAL bounds - >= -235 @ 0.018386
0.00/0.05 c GLOBAL bounds - >= -235 @ 0.031506
0.00/0.05 c GLOBAL bounds - >= -235 @ 0.032412
0.00/0.05 c GLOBAL bounds - >= -235 @ 0.033315
0.00/0.05 c GLOBAL bounds - >= -235 @ 0.03375
0.00/0.05 c GLOBAL bounds - >= -235 @ 0.035497
0.00/0.06 c GLOBAL bounds - >= -235 @ 0.037695
0.00/0.06 c GLOBAL bounds - >= -235 @ 0.038233
0.00/0.06 c GLOBAL bounds - >= -235 @ 0.038824
0.00/0.06 c GLOBAL bounds - >= -235 @ 0.03929
0.00/0.06 c GLOBAL bounds - >= -235 @ 0.040804
0.00/0.07 c GLOBAL bounds - >= -235 @ 0.051572
0.00/0.07 c GLOBAL bounds - >= -235 @ 0.052272
0.00/0.09 c GLOBAL bounds - >= -235 @ 0.069144
0.07/0.11 c GLOBAL bounds - >= -235 @ 0.087541
0.07/0.18 c #Conflicts: 1000 | #Constraints: 1661
0.07/0.18 c GLOBAL bounds - >= -235 @ 0.148444
0.07/0.19 c GLOBAL bounds - >= -235 @ 0.16396
0.37/0.47 c #Conflicts: 2000 | #Constraints: 2665
0.37/0.47 c INPROCESSING
0.37/0.47 c GARBAGE COLLECT
0.37/0.47 c GLOBAL bounds - >= -235 @ 0.426964
0.37/0.49 c GLOBAL bounds - >= -235 @ 0.449962
0.37/0.50 c GLOBAL bounds - >= -235 @ 0.462488
18.03/18.15 c #Conflicts: 3000 | #Constraints: 2677
18.03/18.15 c #Conflicts: 4000 | #Constraints: 3677
18.03/18.15 c INPROCESSING
18.03/18.15 c GARBAGE COLLECT
18.03/18.15 c #Conflicts: 5000 | #Constraints: 3080
18.03/18.15 c #Conflicts: 6000 | #Constraints: 4080
18.03/18.15 c INPROCESSING
18.03/18.15 c GARBAGE COLLECT
18.03/18.15 c #Conflicts: 7000 | #Constraints: 3082
18.03/18.15 c #Conflicts: 8000 | #Constraints: 4082
18.03/18.15 c #Conflicts: 9000 | #Constraints: 5082
18.03/18.15 c INPROCESSING
18.03/18.15 c GARBAGE COLLECT
18.03/18.15 c #Conflicts: 10000 | #Constraints: 3783
18.03/18.15 c #Conflicts: 11000 | #Constraints: 4783
18.03/18.15 c #Conflicts: 12000 | #Constraints: 5783
18.03/18.15 c INPROCESSING
18.03/18.15 c GARBAGE COLLECT
18.03/18.15 c #Conflicts: 13000 | #Constraints: 4234
18.03/18.15 c #Conflicts: 14000 | #Constraints: 5234
18.03/18.15 c #Conflicts: 15000 | #Constraints: 6234
18.03/18.15 c INPROCESSING
18.03/18.15 c GARBAGE COLLECT
18.03/18.15 c #Conflicts: 16000 | #Constraints: 4463
18.03/18.15 c #Conflicts: 17000 | #Constraints: 5463
18.03/18.15 c #Conflicts: 18000 | #Constraints: 6463
18.03/18.15 c INPROCESSING
18.03/18.15 c GARBAGE COLLECT
18.03/18.15 c #Conflicts: 19000 | #Constraints: 4477
18.03/18.15 c #Conflicts: 20000 | #Constraints: 5477
18.03/18.15 c #Conflicts: 21000 | #Constraints: 6477
18.03/18.15 c INPROCESSING
18.03/18.15 c GARBAGE COLLECT
18.03/18.15 c #Conflicts: 22000 | #Constraints: 4286
18.03/18.15 c #Conflicts: 23000 | #Constraints: 5286
18.03/18.15 c #Conflicts: 24000 | #Constraints: 6286
18.03/18.15 c #Conflicts: 25000 | #Constraints: 7286
18.03/18.15 c INPROCESSING
18.03/18.15 c GARBAGE COLLECT
18.03/18.15 c #Conflicts: 26000 | #Constraints: 4890
18.03/18.15 c #Conflicts: 27000 | #Constraints: 5890
18.03/18.15 c #Conflicts: 28000 | #Constraints: 6890
18.03/18.15 c #Conflicts: 29000 | #Constraints: 7890
18.03/18.15 c INPROCESSING
18.03/18.15 c GARBAGE COLLECT
18.03/18.15 c #Conflicts: 30000 | #Constraints: 5291
18.03/18.15 c #Conflicts: 31000 | #Constraints: 6291
18.03/18.15 c #Conflicts: 32000 | #Constraints: 7291
18.03/18.15 c #Conflicts: 33000 | #Constraints: 8291
18.03/18.15 c INPROCESSING
18.03/18.15 c GARBAGE COLLECT
18.03/18.15 c #Conflicts: 34000 | #Constraints: 5496
18.03/18.15 c #Conflicts: 35000 | #Constraints: 6496
18.03/18.15 c #Conflicts: 36000 | #Constraints: 7496
18.03/18.15 c #Conflicts: 37000 | #Constraints: 8496
18.03/18.15 c INPROCESSING
18.03/18.15 c GARBAGE COLLECT
18.03/18.15 c #Conflicts: 38000 | #Constraints: 5497
18.03/18.15 c #Conflicts: 39000 | #Constraints: 6497
18.03/18.15 c #Conflicts: 40000 | #Constraints: 7497
18.03/18.15 c #Conflicts: 41000 | #Constraints: 8497
18.03/18.15 c INPROCESSING
18.03/18.15 c GARBAGE COLLECT
18.03/18.15 c #Conflicts: 42000 | #Constraints: 5300
18.03/18.15 c #Conflicts: 43000 | #Constraints: 6300
18.03/18.15 c #Conflicts: 44000 | #Constraints: 7300
18.03/18.15 c #Conflicts: 45000 | #Constraints: 8300
18.03/18.15 c #Conflicts: 46000 | #Constraints: 9300
18.03/18.15 c INPROCESSING
18.03/18.15 c GARBAGE COLLECT
18.03/18.15 c #Conflicts: 47000 | #Constraints: 5899
18.03/18.15 c #Conflicts: 48000 | #Constraints: 6899
18.03/18.15 c #Conflicts: 49000 | #Constraints: 7899
18.03/18.15 c #Conflicts: 50000 | #Constraints: 8899
18.03/18.15 c #Conflicts: 51000 | #Constraints: 9899
18.03/18.15 c INPROCESSING
18.03/18.15 c GARBAGE COLLECT
18.03/18.15 c #Conflicts: 52000 | #Constraints: 6291
18.03/18.15 c #Conflicts: 53000 | #Constraints: 7291
18.03/18.15 c #Conflicts: 54000 | #Constraints: 8291
18.03/18.15 c #Conflicts: 55000 | #Constraints: 9291
18.03/18.15 c #Conflicts: 56000 | #Constraints: 10291
18.03/18.15 c INPROCESSING
18.03/18.15 c GARBAGE COLLECT
18.03/18.15 c #Conflicts: 57000 | #Constraints: 6493
18.03/18.15 c #Conflicts: 58000 | #Constraints: 7493
18.03/18.15 c #Conflicts: 59000 | #Constraints: 8493
18.03/18.15 c #Conflicts: 60000 | #Constraints: 9493
18.03/18.15 c #Conflicts: 61000 | #Constraints: 10493
18.03/18.15 c INPROCESSING
18.03/18.15 c GARBAGE COLLECT
18.03/18.15 c #Conflicts: 62000 | #Constraints: 6496
18.03/18.15 c #Conflicts: 63000 | #Constraints: 7496
18.03/18.15 c #Conflicts: 64000 | #Constraints: 8496
18.03/18.15 c #Conflicts: 65000 | #Constraints: 9496
18.03/18.15 c #Conflicts: 66000 | #Constraints: 10496
18.03/18.15 c INPROCESSING
18.03/18.15 c GARBAGE COLLECT
18.03/18.15 c #Conflicts: 67000 | #Constraints: 6295
18.03/18.15 c #Conflicts: 68000 | #Constraints: 7295
18.03/18.15 c #Conflicts: 69000 | #Constraints: 8295
18.03/18.15 c #Conflicts: 70000 | #Constraints: 9295
44.36/44.53 c #Conflicts: 71000 | #Constraints: 10295
44.36/44.53 c #Conflicts: 72000 | #Constraints: 11295
44.36/44.53 c INPROCESSING
44.36/44.53 c GARBAGE COLLECT
44.36/44.53 c #Conflicts: 73000 | #Constraints: 6894
44.36/44.53 c #Conflicts: 74000 | #Constraints: 7894
44.36/44.53 c #Conflicts: 75000 | #Constraints: 8894
44.36/44.53 c #Conflicts: 76000 | #Constraints: 9894
44.36/44.53 c #Conflicts: 77000 | #Constraints: 10894
44.36/44.53 c #Conflicts: 78000 | #Constraints: 11894
44.36/44.53 c INPROCESSING
44.36/44.53 c GARBAGE COLLECT
44.36/44.53 c #Conflicts: 79000 | #Constraints: 7294
44.36/44.53 c #Conflicts: 80000 | #Constraints: 8294
44.36/44.53 c #Conflicts: 81000 | #Constraints: 9294
44.36/44.53 c #Conflicts: 82000 | #Constraints: 10294
44.36/44.53 c #Conflicts: 83000 | #Constraints: 11294
44.36/44.53 c #Conflicts: 84000 | #Constraints: 12294
44.36/44.53 c INPROCESSING
44.36/44.53 c GARBAGE COLLECT
44.36/44.53 c #Conflicts: 85000 | #Constraints: 7492
44.36/44.53 c #Conflicts: 86000 | #Constraints: 8492
44.36/44.53 c #Conflicts: 87000 | #Constraints: 9492
44.36/44.53 c #Conflicts: 88000 | #Constraints: 10492
44.36/44.53 c #Conflicts: 89000 | #Constraints: 11492
44.36/44.53 c #Conflicts: 90000 | #Constraints: 12492
44.36/44.53 c INPROCESSING
44.36/44.53 c GARBAGE COLLECT
44.36/44.53 c #Conflicts: 91000 | #Constraints: 7495
44.36/44.53 c #Conflicts: 92000 | #Constraints: 8495
44.36/44.53 c #Conflicts: 93000 | #Constraints: 9495
44.36/44.53 c #Conflicts: 94000 | #Constraints: 10495
44.36/44.53 c #Conflicts: 95000 | #Constraints: 11495
44.36/44.53 c #Conflicts: 96000 | #Constraints: 12495
44.36/44.53 c INPROCESSING
44.36/44.53 c GARBAGE COLLECT
44.36/44.53 c #Conflicts: 97000 | #Constraints: 7294
44.36/44.53 c #Conflicts: 98000 | #Constraints: 8294
44.36/44.53 c #Conflicts: 99000 | #Constraints: 9294
44.36/44.53 c #Conflicts: 100000 | #Constraints: 10294
44.36/44.53 c #Conflicts: 101000 | #Constraints: 11294
44.36/44.53 c #Conflicts: 102000 | #Constraints: 12294
44.36/44.53 c #Conflicts: 103000 | #Constraints: 13294
44.36/44.53 c INPROCESSING
44.36/44.53 c GARBAGE COLLECT
44.36/44.53 c #Conflicts: 104000 | #Constraints: 7897
44.36/44.53 c #Conflicts: 105000 | #Constraints: 8897
44.36/44.53 c #Conflicts: 106000 | #Constraints: 9897
44.36/44.53 c #Conflicts: 107000 | #Constraints: 10897
44.36/44.53 c #Conflicts: 108000 | #Constraints: 11897
44.36/44.53 c #Conflicts: 109000 | #Constraints: 12897
44.36/44.53 c #Conflicts: 110000 | #Constraints: 13897
44.36/44.53 c INPROCESSING
44.36/44.53 c GARBAGE COLLECT
44.36/44.53 c #Conflicts: 111000 | #Constraints: 8300
44.36/44.53 c #Conflicts: 112000 | #Constraints: 9300
44.36/44.53 c #Conflicts: 113000 | #Constraints: 10300
44.36/44.53 c #Conflicts: 114000 | #Constraints: 11300
44.36/44.53 c #Conflicts: 115000 | #Constraints: 12300
44.36/44.53 c #Conflicts: 116000 | #Constraints: 13300
44.36/44.53 c #Conflicts: 117000 | #Constraints: 14300
44.36/44.53 c INPROCESSING
44.36/44.53 c GARBAGE COLLECT
44.36/44.53 c #Conflicts: 118000 | #Constraints: 8498
44.36/44.53 c #Conflicts: 119000 | #Constraints: 9498
44.36/44.53 c #Conflicts: 120000 | #Constraints: 10498
44.36/44.53 c #Conflicts: 121000 | #Constraints: 11498
44.36/44.53 c #Conflicts: 122000 | #Constraints: 12498
44.36/44.53 c #Conflicts: 123000 | #Constraints: 13498
44.36/44.53 c #Conflicts: 124000 | #Constraints: 14498
44.36/44.53 c INPROCESSING
44.36/44.53 c GARBAGE COLLECT
44.36/44.53 c #Conflicts: 125000 | #Constraints: 8500
44.36/44.53 c #Conflicts: 126000 | #Constraints: 9500
44.36/44.53 c #Conflicts: 127000 | #Constraints: 10500
44.36/44.53 c #Conflicts: 128000 | #Constraints: 11500
44.36/44.53 c #Conflicts: 129000 | #Constraints: 12500
44.36/44.53 c #Conflicts: 130000 | #Constraints: 13500
44.36/44.53 c #Conflicts: 131000 | #Constraints: 14500
44.36/44.53 c INPROCESSING
44.36/44.53 c GARBAGE COLLECT
44.36/44.53 c #Conflicts: 132000 | #Constraints: 8301
44.36/44.53 c #Conflicts: 133000 | #Constraints: 9301
44.36/44.53 c #Conflicts: 134000 | #Constraints: 10301
44.36/44.53 c #Conflicts: 135000 | #Constraints: 11301
44.36/44.53 c #Conflicts: 136000 | #Constraints: 12301
44.36/44.53 c #Conflicts: 137000 | #Constraints: 13301
44.36/44.53 c #Conflicts: 138000 | #Constraints: 14301
44.36/44.53 c #Conflicts: 139000 | #Constraints: 15301
44.36/44.53 c INPROCESSING
44.36/44.53 c GARBAGE COLLECT
44.36/44.53 c #Conflicts: 140000 | #Constraints: 8903
44.36/44.53 c #Conflicts: 141000 | #Constraints: 9903
44.36/44.53 c #Conflicts: 142000 | #Constraints: 10903
75.89/76.18 c #Conflicts: 143000 | #Constraints: 11903
75.89/76.18 c #Conflicts: 144000 | #Constraints: 12903
75.89/76.18 c #Conflicts: 145000 | #Constraints: 13903
75.89/76.18 c #Conflicts: 146000 | #Constraints: 14903
75.89/76.18 c #Conflicts: 147000 | #Constraints: 15903
75.89/76.18 c INPROCESSING
75.89/76.18 c GARBAGE COLLECT
75.89/76.18 c #Conflicts: 148000 | #Constraints: 9307
75.89/76.18 c #Conflicts: 149000 | #Constraints: 10307
75.89/76.18 c #Conflicts: 150000 | #Constraints: 11307
75.89/76.18 c #Conflicts: 151000 | #Constraints: 12307
75.89/76.18 c #Conflicts: 152000 | #Constraints: 13307
75.89/76.18 c #Conflicts: 153000 | #Constraints: 14307
75.89/76.18 c #Conflicts: 154000 | #Constraints: 15307
75.89/76.18 c #Conflicts: 155000 | #Constraints: 16307
75.89/76.18 c INPROCESSING
75.89/76.18 c GARBAGE COLLECT
75.89/76.18 c #Conflicts: 156000 | #Constraints: 9503
75.89/76.18 c #Conflicts: 157000 | #Constraints: 10503
75.89/76.18 c #Conflicts: 158000 | #Constraints: 11503
75.89/76.18 c #Conflicts: 159000 | #Constraints: 12503
75.89/76.18 c #Conflicts: 160000 | #Constraints: 13503
75.89/76.18 c #Conflicts: 161000 | #Constraints: 14503
75.89/76.18 c #Conflicts: 162000 | #Constraints: 15503
75.89/76.18 c #Conflicts: 163000 | #Constraints: 16503
75.89/76.18 c INPROCESSING
75.89/76.18 c GARBAGE COLLECT
75.89/76.18 c #Conflicts: 164000 | #Constraints: 9501
75.89/76.18 c #Conflicts: 165000 | #Constraints: 10501
75.89/76.18 c #Conflicts: 166000 | #Constraints: 11501
75.89/76.18 c #Conflicts: 167000 | #Constraints: 12501
75.89/76.18 c #Conflicts: 168000 | #Constraints: 13501
75.89/76.18 c #Conflicts: 169000 | #Constraints: 14501
75.89/76.18 c #Conflicts: 170000 | #Constraints: 15501
75.89/76.18 c #Conflicts: 171000 | #Constraints: 16501
75.89/76.18 c INPROCESSING
75.89/76.18 c GARBAGE COLLECT
75.89/76.18 c #Conflicts: 172000 | #Constraints: 9307
75.89/76.18 c #Conflicts: 173000 | #Constraints: 10307
75.89/76.18 c #Conflicts: 174000 | #Constraints: 11307
75.89/76.18 c #Conflicts: 175000 | #Constraints: 12307
75.89/76.18 c #Conflicts: 176000 | #Constraints: 13307
75.89/76.18 c #Conflicts: 177000 | #Constraints: 14307
75.89/76.18 c #Conflicts: 178000 | #Constraints: 15307
75.89/76.18 c #Conflicts: 179000 | #Constraints: 16307
75.89/76.18 c #Conflicts: 180000 | #Constraints: 17307
75.89/76.18 c INPROCESSING
75.89/76.18 c GARBAGE COLLECT
75.89/76.18 c #Conflicts: 181000 | #Constraints: 9911
75.89/76.18 c #Conflicts: 182000 | #Constraints: 10911
75.89/76.18 c #Conflicts: 183000 | #Constraints: 11911
75.89/76.18 c #Conflicts: 184000 | #Constraints: 12911
75.89/76.18 c #Conflicts: 185000 | #Constraints: 13911
75.89/76.18 c #Conflicts: 186000 | #Constraints: 14911
75.89/76.18 c #Conflicts: 187000 | #Constraints: 15911
75.89/76.18 c #Conflicts: 188000 | #Constraints: 16911
75.89/76.18 c #Conflicts: 189000 | #Constraints: 17911
75.89/76.18 c INPROCESSING
75.89/76.18 c GARBAGE COLLECT
75.89/76.18 c #Conflicts: 190000 | #Constraints: 10308
75.89/76.18 c #Conflicts: 191000 | #Constraints: 11308
75.89/76.18 c #Conflicts: 192000 | #Constraints: 12308
75.89/76.18 c #Conflicts: 193000 | #Constraints: 13308
75.89/76.18 c #Conflicts: 194000 | #Constraints: 14308
75.89/76.18 c #Conflicts: 195000 | #Constraints: 15308
75.89/76.18 c #Conflicts: 196000 | #Constraints: 16308
75.89/76.18 c #Conflicts: 197000 | #Constraints: 17308
75.89/76.18 c #Conflicts: 198000 | #Constraints: 18308
75.89/76.18 c INPROCESSING
75.89/76.18 c GARBAGE COLLECT
75.89/76.18 c #Conflicts: 199000 | #Constraints: 10504
75.89/76.18 c #Conflicts: 200000 | #Constraints: 11504
75.89/76.18 c #Conflicts: 201000 | #Constraints: 12504
75.89/76.18 c #Conflicts: 202000 | #Constraints: 13504
75.89/76.18 c #Conflicts: 203000 | #Constraints: 14504
75.89/76.18 c #Conflicts: 204000 | #Constraints: 15504
75.89/76.18 c #Conflicts: 205000 | #Constraints: 16504
75.89/76.18 c #Conflicts: 206000 | #Constraints: 17504
75.89/76.18 c #Conflicts: 207000 | #Constraints: 18504
75.89/76.18 c INPROCESSING
75.89/76.18 c GARBAGE COLLECT
75.89/76.18 c #Conflicts: 208000 | #Constraints: 10498
75.89/76.18 c #Conflicts: 209000 | #Constraints: 11498
75.89/76.18 c #Conflicts: 210000 | #Constraints: 12498
75.89/76.18 c #Conflicts: 211000 | #Constraints: 13498
75.89/76.18 c #Conflicts: 212000 | #Constraints: 14498
75.89/76.18 c #Conflicts: 213000 | #Constraints: 15498
75.89/76.18 c #Conflicts: 214000 | #Constraints: 16498
75.89/76.18 c #Conflicts: 215000 | #Constraints: 17498
75.89/76.18 c #Conflicts: 216000 | #Constraints: 18498
102.42/102.72 c INPROCESSING
102.42/102.72 c GARBAGE COLLECT
102.42/102.72 c #Conflicts: 217000 | #Constraints: 10297
102.42/102.72 c #Conflicts: 218000 | #Constraints: 11297
102.42/102.72 c #Conflicts: 219000 | #Constraints: 12297
102.42/102.72 c #Conflicts: 220000 | #Constraints: 13297
102.42/102.72 c #Conflicts: 221000 | #Constraints: 14297
102.42/102.72 c #Conflicts: 222000 | #Constraints: 15297
102.42/102.72 c #Conflicts: 223000 | #Constraints: 16297
102.42/102.72 c #Conflicts: 224000 | #Constraints: 17297
102.42/102.72 c #Conflicts: 225000 | #Constraints: 18297
102.42/102.72 c #Conflicts: 226000 | #Constraints: 19297
102.42/102.72 c INPROCESSING
102.42/102.72 c GARBAGE COLLECT
102.42/102.72 c #Conflicts: 227000 | #Constraints: 10900
102.42/102.72 c #Conflicts: 228000 | #Constraints: 11900
102.42/102.72 c #Conflicts: 229000 | #Constraints: 12900
102.42/102.72 c #Conflicts: 230000 | #Constraints: 13900
102.42/102.72 c #Conflicts: 231000 | #Constraints: 14900
102.42/102.72 c #Conflicts: 232000 | #Constraints: 15900
102.42/102.72 c #Conflicts: 233000 | #Constraints: 16900
102.42/102.72 c #Conflicts: 234000 | #Constraints: 17900
102.42/102.72 c #Conflicts: 235000 | #Constraints: 18900
102.42/102.72 c #Conflicts: 236000 | #Constraints: 19900
102.42/102.72 c INPROCESSING
102.42/102.72 c GARBAGE COLLECT
102.42/102.72 c #Conflicts: 237000 | #Constraints: 11296
102.42/102.72 c #Conflicts: 238000 | #Constraints: 12296
102.42/102.72 c #Conflicts: 239000 | #Constraints: 13296
102.42/102.72 c #Conflicts: 240000 | #Constraints: 14296
102.42/102.72 c #Conflicts: 241000 | #Constraints: 15296
102.42/102.72 c #Conflicts: 242000 | #Constraints: 16296
102.42/102.72 c #Conflicts: 243000 | #Constraints: 17296
102.42/102.72 c #Conflicts: 244000 | #Constraints: 18296
102.42/102.72 c #Conflicts: 245000 | #Constraints: 19296
102.42/102.72 c #Conflicts: 246000 | #Constraints: 20296
102.42/102.72 c INPROCESSING
102.42/102.72 c GARBAGE COLLECT
102.42/102.72 c #Conflicts: 247000 | #Constraints: 11498
102.42/102.72 c #Conflicts: 248000 | #Constraints: 12498
102.42/102.72 c #Conflicts: 249000 | #Constraints: 13498
102.42/102.72 c #Conflicts: 250000 | #Constraints: 14498
102.42/102.72 c #Conflicts: 251000 | #Constraints: 15498
102.42/102.72 c #Conflicts: 252000 | #Constraints: 16498
102.42/102.72 c #Conflicts: 253000 | #Constraints: 17498
102.42/102.72 c #Conflicts: 254000 | #Constraints: 18498
102.42/102.72 c #Conflicts: 255000 | #Constraints: 19498
102.42/102.72 c #Conflicts: 256000 | #Constraints: 20498
102.42/102.72 c INPROCESSING
102.42/102.72 c GARBAGE COLLECT
102.42/102.72 c #Conflicts: 257000 | #Constraints: 11499
102.42/102.72 c #Conflicts: 258000 | #Constraints: 12499
102.42/102.72 c #Conflicts: 259000 | #Constraints: 13499
102.42/102.72 c #Conflicts: 260000 | #Constraints: 14499
102.42/102.72 c #Conflicts: 261000 | #Constraints: 15499
102.42/102.72 c #Conflicts: 262000 | #Constraints: 16499
102.42/102.72 c #Conflicts: 263000 | #Constraints: 17499
102.42/102.72 c #Conflicts: 264000 | #Constraints: 18499
102.42/102.72 c #Conflicts: 265000 | #Constraints: 19499
102.42/102.72 c #Conflicts: 266000 | #Constraints: 20499
102.42/102.72 c INPROCESSING
102.42/102.72 c GARBAGE COLLECT
102.42/102.72 c #Conflicts: 267000 | #Constraints: 11297
102.42/102.72 c #Conflicts: 268000 | #Constraints: 12297
102.42/102.72 c #Conflicts: 269000 | #Constraints: 13297
102.42/102.72 c #Conflicts: 270000 | #Constraints: 14297
102.42/102.72 c #Conflicts: 271000 | #Constraints: 15297
102.42/102.72 c GLOBAL bounds - >= -235 @ 101.482
102.42/102.72 c GLOBAL bounds - >= -235 @ 101.487
102.73/103.09 c #Conflicts: 272000 | #Constraints: 16301
102.73/103.09 c GLOBAL bounds - >= -235 @ 101.852
138.03/138.48 c #Conflicts: 273000 | #Constraints: 17303
138.03/138.48 c #Conflicts: 274000 | #Constraints: 18303
138.03/138.48 c #Conflicts: 275000 | #Constraints: 19303
138.03/138.48 c #Conflicts: 276000 | #Constraints: 20303
138.03/138.48 c #Conflicts: 277000 | #Constraints: 21303
138.03/138.48 c INPROCESSING
138.03/138.48 c GARBAGE COLLECT
138.03/138.48 c #Conflicts: 278000 | #Constraints: 11901
138.03/138.48 c #Conflicts: 279000 | #Constraints: 12901
138.03/138.48 c #Conflicts: 280000 | #Constraints: 13901
138.03/138.48 c #Conflicts: 281000 | #Constraints: 14901
138.03/138.48 c #Conflicts: 282000 | #Constraints: 15901
138.03/138.48 c #Conflicts: 283000 | #Constraints: 16901
138.03/138.48 c #Conflicts: 284000 | #Constraints: 17901
138.03/138.48 c #Conflicts: 285000 | #Constraints: 18901
138.03/138.48 c #Conflicts: 286000 | #Constraints: 19901
138.03/138.48 c #Conflicts: 287000 | #Constraints: 20901
138.03/138.48 c #Conflicts: 288000 | #Constraints: 21901
138.03/138.48 c INPROCESSING
138.03/138.48 c GARBAGE COLLECT
138.03/138.48 c #Conflicts: 289000 | #Constraints: 12301
138.03/138.48 c #Conflicts: 290000 | #Constraints: 13301
138.03/138.48 c #Conflicts: 291000 | #Constraints: 14301
138.03/138.48 c #Conflicts: 292000 | #Constraints: 15301
138.03/138.48 c #Conflicts: 293000 | #Constraints: 16301
138.03/138.48 c #Conflicts: 294000 | #Constraints: 17301
138.03/138.48 c #Conflicts: 295000 | #Constraints: 18301
138.03/138.48 c #Conflicts: 296000 | #Constraints: 19301
138.03/138.48 c #Conflicts: 297000 | #Constraints: 20301
138.03/138.48 c #Conflicts: 298000 | #Constraints: 21301
138.03/138.48 c #Conflicts: 299000 | #Constraints: 22301
138.03/138.48 c INPROCESSING
138.03/138.48 c GARBAGE COLLECT
138.03/138.48 c #Conflicts: 300000 | #Constraints: 12505
138.03/138.48 c #Conflicts: 301000 | #Constraints: 13505
138.03/138.48 c #Conflicts: 302000 | #Constraints: 14505
138.03/138.48 c #Conflicts: 303000 | #Constraints: 15505
138.03/138.48 c #Conflicts: 304000 | #Constraints: 16505
138.03/138.48 c #Conflicts: 305000 | #Constraints: 17505
138.03/138.48 c #Conflicts: 306000 | #Constraints: 18505
138.03/138.48 c #Conflicts: 307000 | #Constraints: 19505
138.03/138.48 c #Conflicts: 308000 | #Constraints: 20505
138.03/138.48 c #Conflicts: 309000 | #Constraints: 21505
138.03/138.48 c #Conflicts: 310000 | #Constraints: 22505
138.03/138.48 c INPROCESSING
138.03/138.48 c GARBAGE COLLECT
138.03/138.48 c #Conflicts: 311000 | #Constraints: 12503
138.03/138.48 c #Conflicts: 312000 | #Constraints: 13503
138.03/138.48 c #Conflicts: 313000 | #Constraints: 14503
138.03/138.48 c #Conflicts: 314000 | #Constraints: 15503
138.03/138.48 c #Conflicts: 315000 | #Constraints: 16503
138.03/138.48 c #Conflicts: 316000 | #Constraints: 17503
138.03/138.48 c #Conflicts: 317000 | #Constraints: 18503
138.03/138.48 c #Conflicts: 318000 | #Constraints: 19503
138.03/138.48 c #Conflicts: 319000 | #Constraints: 20503
138.03/138.48 c #Conflicts: 320000 | #Constraints: 21503
138.03/138.48 c #Conflicts: 321000 | #Constraints: 22503
138.03/138.48 c INPROCESSING
138.03/138.48 c GARBAGE COLLECT
138.03/138.48 c #Conflicts: 322000 | #Constraints: 12302
138.03/138.48 c #Conflicts: 323000 | #Constraints: 13302
138.03/138.48 c #Conflicts: 324000 | #Constraints: 14302
138.03/138.48 c #Conflicts: 325000 | #Constraints: 15302
138.03/138.48 c #Conflicts: 326000 | #Constraints: 16302
138.03/138.48 c #Conflicts: 327000 | #Constraints: 17302
138.03/138.48 c #Conflicts: 328000 | #Constraints: 18302
138.03/138.48 c #Conflicts: 329000 | #Constraints: 19302
138.03/138.48 c #Conflicts: 330000 | #Constraints: 20302
138.03/138.48 c #Conflicts: 331000 | #Constraints: 21302
138.03/138.48 c #Conflicts: 332000 | #Constraints: 22302
138.03/138.48 c #Conflicts: 333000 | #Constraints: 23302
138.03/138.48 c INPROCESSING
138.03/138.48 c GARBAGE COLLECT
138.03/138.48 c #Conflicts: 334000 | #Constraints: 12904
138.03/138.48 c #Conflicts: 335000 | #Constraints: 13904
138.03/138.48 c #Conflicts: 336000 | #Constraints: 14904
138.03/138.48 c #Conflicts: 337000 | #Constraints: 15904
138.03/138.48 c #Conflicts: 338000 | #Constraints: 16904
138.03/138.48 c #Conflicts: 339000 | #Constraints: 17904
138.03/138.48 c #Conflicts: 340000 | #Constraints: 18904
138.03/138.48 c #Conflicts: 341000 | #Constraints: 19904
138.03/138.48 c #Conflicts: 342000 | #Constraints: 20904
138.03/138.48 c #Conflicts: 343000 | #Constraints: 21904
138.03/138.48 c #Conflicts: 344000 | #Constraints: 22904
138.03/138.48 c #Conflicts: 345000 | #Constraints: 23904
138.03/138.48 c INPROCESSING
138.03/138.48 c GARBAGE COLLECT
138.03/138.48 c #Conflicts: 346000 | #Constraints: 13301
138.03/138.48 c #Conflicts: 347000 | #Constraints: 14301
148.71/149.13 c #Conflicts: 348000 | #Constraints: 15301
148.71/149.13 c #Conflicts: 349000 | #Constraints: 16301
148.71/149.13 c #Conflicts: 350000 | #Constraints: 17301
148.71/149.13 c #Conflicts: 351000 | #Constraints: 18301
148.71/149.13 c #Conflicts: 352000 | #Constraints: 19301
148.71/149.13 c #Conflicts: 353000 | #Constraints: 20301
148.71/149.13 c #Conflicts: 354000 | #Constraints: 21301
148.71/149.13 c #Conflicts: 355000 | #Constraints: 22301
148.71/149.13 c #Conflicts: 356000 | #Constraints: 23301
148.71/149.13 c #Conflicts: 357000 | #Constraints: 24301
148.71/149.13 c INPROCESSING
148.71/149.13 c GARBAGE COLLECT
148.71/149.13 c #Conflicts: 358000 | #Constraints: 13504
148.71/149.13 c #Conflicts: 359000 | #Constraints: 14504
148.71/149.13 c #Conflicts: 360000 | #Constraints: 15504
148.71/149.13 c #Conflicts: 361000 | #Constraints: 16504
148.71/149.13 c #Conflicts: 362000 | #Constraints: 17504
148.71/149.13 c #Conflicts: 363000 | #Constraints: 18504
148.71/149.13 c #Conflicts: 364000 | #Constraints: 19504
148.71/149.13 c #Conflicts: 365000 | #Constraints: 20504
148.71/149.13 c GLOBAL bounds - >= -4 @ 147.425
148.71/149.14 c rational objective 0
148.71/149.15 c GLOBAL bounds - >= -4 @ 147.443
148.71/149.15 c GLOBAL bounds - >= -4 @ 147.443
148.71/149.15 c GLOBAL bounds - >= -4 @ 147.443
148.71/149.15 c GLOBAL bounds - >= -4 @ 147.444
148.71/149.15 c GLOBAL bounds - >= -4 @ 147.444
148.71/149.15 c GLOBAL bounds - >= -4 @ 147.444
148.71/149.15 c GLOBAL bounds - >= -4 @ 147.444
148.71/149.15 c GLOBAL bounds - >= -4 @ 147.444
148.71/149.15 c GLOBAL bounds - >= -4 @ 147.444
148.71/149.15 c GLOBAL bounds - >= -4 @ 147.446
148.71/149.15 c GLOBAL bounds - >= -4 @ 147.446
148.71/149.15 c GLOBAL bounds - >= -4 @ 147.449
148.71/149.15 c GLOBAL bounds - >= -4 @ 147.449
148.71/149.16 c GLOBAL bounds - >= -4 @ 147.451
148.71/149.16 c GLOBAL bounds - >= -4 @ 147.451
148.71/149.16 c GLOBAL bounds - >= -4 @ 147.453
148.71/149.16 c GLOBAL bounds - >= -4 @ 147.453
148.71/149.16 c GLOBAL bounds - >= -4 @ 147.456
148.71/149.16 c GLOBAL bounds - >= -4 @ 147.456
148.71/149.16 c GLOBAL bounds - >= -4 @ 147.458
148.71/149.16 c GLOBAL bounds - >= -4 @ 147.458
148.71/149.17 c GLOBAL bounds - >= -4 @ 147.459
148.71/149.17 c GLOBAL bounds - >= -4 @ 147.459
148.71/149.17 c GLOBAL bounds - >= -4 @ 147.461
148.71/149.17 c GLOBAL bounds - >= -4 @ 147.462
148.71/149.17 c GLOBAL bounds - >= -4 @ 147.464
148.71/149.17 c GLOBAL bounds 21 >= -4 @ 147.464
148.71/149.17 c GLOBAL bounds 21 >= -4 @ 147.465
148.71/149.17 c GLOBAL bounds 20 >= -4 @ 147.465
148.71/149.18 c GLOBAL bounds 20 >= -4 @ 147.47
148.71/149.18 c GLOBAL bounds 20 >= -4 @ 147.47
148.71/149.18 c GLOBAL bounds 20 >= -4 @ 147.472
148.71/149.18 c GLOBAL bounds 20 >= -4 @ 147.474
148.71/149.19 c GLOBAL bounds 20 >= -4 @ 147.477
148.71/149.19 c GLOBAL bounds 20 >= -4 @ 147.479
148.71/149.19 c GLOBAL bounds 20 >= -4 @ 147.483
148.81/149.27 c GLOBAL bounds 20 >= -4 @ 147.561
148.81/149.27 c GLOBAL bounds 20 >= -4 @ 147.563
148.81/149.28 c GLOBAL bounds 20 >= -4 @ 147.564
148.91/149.32 c GLOBAL bounds 20 >= -4 @ 147.605
149.11/149.55 c #Conflicts: 366000 | #Constraints: 21534
149.11/149.55 c GLOBAL bounds 20 >= -4 @ 147.834
149.31/149.74 c #Conflicts: 367000 | #Constraints: 22534
149.31/149.74 c GLOBAL bounds 20 >= -4 @ 148.018
150.30/150.77 c #Conflicts: 368000 | #Constraints: 23534
150.30/150.77 c #Conflicts: 369000 | #Constraints: 24534
150.30/150.77 c INPROCESSING
150.30/150.77 c GARBAGE COLLECT
150.30/150.77 c #Conflicts: 370000 | #Constraints: 13487
150.30/150.77 c #Conflicts: 371000 | #Constraints: 14487
150.30/150.77 c GLOBAL bounds 20 >= -4 @ 149.045
150.71/151.14 c #Conflicts: 372000 | #Constraints: 15487
150.71/151.14 c #Conflicts: 373000 | #Constraints: 16487
150.71/151.14 c GLOBAL bounds 20 >= -4 @ 149.403
154.00/154.48 c #Conflicts: 374000 | #Constraints: 17487
154.00/154.48 c #Conflicts: 375000 | #Constraints: 18487
154.00/154.48 c #Conflicts: 376000 | #Constraints: 19487
154.00/154.48 c #Conflicts: 377000 | #Constraints: 20487
154.00/154.48 c #Conflicts: 378000 | #Constraints: 21487
154.00/154.48 c #Conflicts: 379000 | #Constraints: 22487
154.00/154.48 c #Conflicts: 380000 | #Constraints: 23487
154.00/154.48 c #Conflicts: 381000 | #Constraints: 24487
154.00/154.48 c INPROCESSING
154.00/154.48 c GARBAGE COLLECT
154.00/154.48 c GLOBAL bounds 20 >= -4 @ 152.699
183.43/183.92 c #Conflicts: 382000 | #Constraints: 13289
183.43/183.92 c #Conflicts: 383000 | #Constraints: 14289
183.43/183.92 c #Conflicts: 384000 | #Constraints: 15289
183.43/183.92 c #Conflicts: 385000 | #Constraints: 16289
183.43/183.92 c #Conflicts: 386000 | #Constraints: 17289
183.43/183.92 c #Conflicts: 387000 | #Constraints: 18289
183.43/183.92 c #Conflicts: 388000 | #Constraints: 19289
183.43/183.92 c #Conflicts: 389000 | #Constraints: 20289
183.43/183.92 c #Conflicts: 390000 | #Constraints: 21289
183.43/183.92 c #Conflicts: 391000 | #Constraints: 22289
183.43/183.92 c #Conflicts: 392000 | #Constraints: 23289
183.43/183.92 c #Conflicts: 393000 | #Constraints: 24289
183.43/183.92 c #Conflicts: 394000 | #Constraints: 25289
183.43/183.92 c INPROCESSING
183.43/183.92 c GARBAGE COLLECT
183.43/183.92 c #Conflicts: 395000 | #Constraints: 13892
183.43/183.92 c #Conflicts: 396000 | #Constraints: 14892
183.43/183.92 c #Conflicts: 397000 | #Constraints: 15892
183.43/183.92 c #Conflicts: 398000 | #Constraints: 16892
183.43/183.92 c #Conflicts: 399000 | #Constraints: 17892
183.43/183.92 c #Conflicts: 400000 | #Constraints: 18892
183.43/183.92 c #Conflicts: 401000 | #Constraints: 19892
183.43/183.92 c #Conflicts: 402000 | #Constraints: 20892
183.43/183.92 c #Conflicts: 403000 | #Constraints: 21892
183.43/183.92 c #Conflicts: 404000 | #Constraints: 22892
183.43/183.92 c #Conflicts: 405000 | #Constraints: 23892
183.43/183.92 c #Conflicts: 406000 | #Constraints: 24892
183.43/183.92 c #Conflicts: 407000 | #Constraints: 25892
183.43/183.92 c INPROCESSING
183.43/183.92 c GARBAGE COLLECT
183.43/183.92 c #Conflicts: 408000 | #Constraints: 14288
183.43/183.92 c #Conflicts: 409000 | #Constraints: 15288
183.43/183.92 c #Conflicts: 410000 | #Constraints: 16288
183.43/183.92 c #Conflicts: 411000 | #Constraints: 17288
183.43/183.92 c #Conflicts: 412000 | #Constraints: 18288
183.43/183.92 c #Conflicts: 413000 | #Constraints: 19288
183.43/183.92 c #Conflicts: 414000 | #Constraints: 20288
183.43/183.92 c #Conflicts: 415000 | #Constraints: 21288
183.43/183.92 c #Conflicts: 416000 | #Constraints: 22288
183.43/183.92 c #Conflicts: 417000 | #Constraints: 23288
183.43/183.92 c #Conflicts: 418000 | #Constraints: 24288
183.43/183.92 c #Conflicts: 419000 | #Constraints: 25288
183.43/183.92 c #Conflicts: 420000 | #Constraints: 26288
183.43/183.92 c INPROCESSING
183.43/183.92 c GARBAGE COLLECT
183.43/183.92 c #Conflicts: 421000 | #Constraints: 14490
183.43/183.92 c #Conflicts: 422000 | #Constraints: 15490
183.43/183.92 c #Conflicts: 423000 | #Constraints: 16490
183.43/183.92 c #Conflicts: 424000 | #Constraints: 17490
183.43/183.92 c #Conflicts: 425000 | #Constraints: 18490
183.43/183.92 c #Conflicts: 426000 | #Constraints: 19490
183.43/183.92 c #Conflicts: 427000 | #Constraints: 20490
183.43/183.92 c #Conflicts: 428000 | #Constraints: 21490
183.43/183.92 c #Conflicts: 429000 | #Constraints: 22490
183.43/183.92 c #Conflicts: 430000 | #Constraints: 23490
183.43/183.92 c #Conflicts: 431000 | #Constraints: 24490
183.43/183.92 c #Conflicts: 432000 | #Constraints: 25490
183.43/183.92 c #Conflicts: 433000 | #Constraints: 26490
183.43/183.92 c INPROCESSING
183.43/183.92 c GARBAGE COLLECT
183.43/183.92 c #Conflicts: 434000 | #Constraints: 14492
183.43/183.92 c #Conflicts: 435000 | #Constraints: 15492
183.43/183.92 c #Conflicts: 436000 | #Constraints: 16492
183.43/183.92 c #Conflicts: 437000 | #Constraints: 17492
183.43/183.92 c #Conflicts: 438000 | #Constraints: 18492
183.43/183.92 c #Conflicts: 439000 | #Constraints: 19492
183.43/183.92 c #Conflicts: 440000 | #Constraints: 20492
183.43/183.92 c #Conflicts: 441000 | #Constraints: 21492
183.43/183.92 c #Conflicts: 442000 | #Constraints: 22492
183.43/183.92 c #Conflicts: 443000 | #Constraints: 23492
183.43/183.92 c #Conflicts: 444000 | #Constraints: 24492
183.43/183.92 c #Conflicts: 445000 | #Constraints: 25492
183.43/183.92 c #Conflicts: 446000 | #Constraints: 26492
183.43/183.92 c INPROCESSING
183.43/183.92 c GARBAGE COLLECT
183.43/183.92 c #Conflicts: 447000 | #Constraints: 14291
183.43/183.92 c #Conflicts: 448000 | #Constraints: 15291
183.43/183.92 c #Conflicts: 449000 | #Constraints: 16291
183.43/183.92 c #Conflicts: 450000 | #Constraints: 17291
183.43/183.92 c #Conflicts: 451000 | #Constraints: 18291
183.43/183.92 c #Conflicts: 452000 | #Constraints: 19291
183.43/183.92 c #Conflicts: 453000 | #Constraints: 20291
183.43/183.92 c #Conflicts: 454000 | #Constraints: 21291
183.43/183.92 c #Conflicts: 455000 | #Constraints: 22291
183.43/183.92 c #Conflicts: 456000 | #Constraints: 23291
183.43/183.92 c #Conflicts: 457000 | #Constraints: 24291
217.85/218.44 c #Conflicts: 458000 | #Constraints: 25291
217.85/218.44 c #Conflicts: 459000 | #Constraints: 26291
217.85/218.44 c #Conflicts: 460000 | #Constraints: 27291
217.85/218.44 c INPROCESSING
217.85/218.44 c GARBAGE COLLECT
217.85/218.44 c #Conflicts: 461000 | #Constraints: 14891
217.85/218.44 c #Conflicts: 462000 | #Constraints: 15891
217.85/218.44 c #Conflicts: 463000 | #Constraints: 16891
217.85/218.44 c #Conflicts: 464000 | #Constraints: 17891
217.85/218.44 c #Conflicts: 465000 | #Constraints: 18891
217.85/218.44 c #Conflicts: 466000 | #Constraints: 19891
217.85/218.44 c #Conflicts: 467000 | #Constraints: 20891
217.85/218.44 c #Conflicts: 468000 | #Constraints: 21891
217.85/218.44 c #Conflicts: 469000 | #Constraints: 22891
217.85/218.44 c #Conflicts: 470000 | #Constraints: 23891
217.85/218.44 c #Conflicts: 471000 | #Constraints: 24891
217.85/218.44 c #Conflicts: 472000 | #Constraints: 25891
217.85/218.44 c #Conflicts: 473000 | #Constraints: 26891
217.85/218.44 c #Conflicts: 474000 | #Constraints: 27891
217.85/218.44 c INPROCESSING
217.85/218.44 c GARBAGE COLLECT
217.85/218.44 c #Conflicts: 475000 | #Constraints: 15292
217.85/218.44 c #Conflicts: 476000 | #Constraints: 16292
217.85/218.44 c #Conflicts: 477000 | #Constraints: 17292
217.85/218.44 c #Conflicts: 478000 | #Constraints: 18292
217.85/218.44 c #Conflicts: 479000 | #Constraints: 19292
217.85/218.44 c #Conflicts: 480000 | #Constraints: 20292
217.85/218.44 c #Conflicts: 481000 | #Constraints: 21292
217.85/218.44 c #Conflicts: 482000 | #Constraints: 22292
217.85/218.44 c #Conflicts: 483000 | #Constraints: 23292
217.85/218.44 c #Conflicts: 484000 | #Constraints: 24292
217.85/218.44 c #Conflicts: 485000 | #Constraints: 25292
217.85/218.44 c #Conflicts: 486000 | #Constraints: 26292
217.85/218.44 c #Conflicts: 487000 | #Constraints: 27292
217.85/218.44 c #Conflicts: 488000 | #Constraints: 28292
217.85/218.44 c INPROCESSING
217.85/218.44 c GARBAGE COLLECT
217.85/218.44 c #Conflicts: 489000 | #Constraints: 15489
217.85/218.44 c #Conflicts: 490000 | #Constraints: 16489
217.85/218.44 c #Conflicts: 491000 | #Constraints: 17489
217.85/218.44 c #Conflicts: 492000 | #Constraints: 18489
217.85/218.44 c #Conflicts: 493000 | #Constraints: 19489
217.85/218.44 c #Conflicts: 494000 | #Constraints: 20489
217.85/218.44 c #Conflicts: 495000 | #Constraints: 21489
217.85/218.44 c #Conflicts: 496000 | #Constraints: 22489
217.85/218.44 c #Conflicts: 497000 | #Constraints: 23489
217.85/218.44 c #Conflicts: 498000 | #Constraints: 24489
217.85/218.44 c #Conflicts: 499000 | #Constraints: 25489
217.85/218.44 c #Conflicts: 500000 | #Constraints: 26489
217.85/218.44 c #Conflicts: 501000 | #Constraints: 27489
217.85/218.44 c #Conflicts: 502000 | #Constraints: 28489
217.85/218.44 c INPROCESSING
217.85/218.44 c GARBAGE COLLECT
217.85/218.44 c #Conflicts: 503000 | #Constraints: 15491
217.85/218.44 c #Conflicts: 504000 | #Constraints: 16491
217.85/218.44 c #Conflicts: 505000 | #Constraints: 17491
217.85/218.44 c #Conflicts: 506000 | #Constraints: 18491
217.85/218.44 c #Conflicts: 507000 | #Constraints: 19491
217.85/218.44 c #Conflicts: 508000 | #Constraints: 20491
217.85/218.44 c #Conflicts: 509000 | #Constraints: 21491
217.85/218.44 c #Conflicts: 510000 | #Constraints: 22491
217.85/218.44 c #Conflicts: 511000 | #Constraints: 23491
217.85/218.44 c #Conflicts: 512000 | #Constraints: 24491
217.85/218.44 c #Conflicts: 513000 | #Constraints: 25491
217.85/218.44 c #Conflicts: 514000 | #Constraints: 26491
217.85/218.44 c #Conflicts: 515000 | #Constraints: 27491
217.85/218.44 c #Conflicts: 516000 | #Constraints: 28491
217.85/218.44 c INPROCESSING
217.85/218.44 c GARBAGE COLLECT
217.85/218.44 c #Conflicts: 517000 | #Constraints: 15296
217.85/218.44 c #Conflicts: 518000 | #Constraints: 16296
217.85/218.44 c #Conflicts: 519000 | #Constraints: 17296
217.85/218.44 c #Conflicts: 520000 | #Constraints: 18296
217.85/218.44 c #Conflicts: 521000 | #Constraints: 19296
217.85/218.44 c #Conflicts: 522000 | #Constraints: 20296
217.85/218.44 c #Conflicts: 523000 | #Constraints: 21296
217.85/218.44 c #Conflicts: 524000 | #Constraints: 22296
217.85/218.44 c #Conflicts: 525000 | #Constraints: 23296
217.85/218.44 c #Conflicts: 526000 | #Constraints: 24296
217.85/218.44 c #Conflicts: 527000 | #Constraints: 25296
217.85/218.44 c #Conflicts: 528000 | #Constraints: 26296
217.85/218.44 c #Conflicts: 529000 | #Constraints: 27296
217.85/218.44 c #Conflicts: 530000 | #Constraints: 28296
217.85/218.44 c #Conflicts: 531000 | #Constraints: 29296
217.85/218.44 c INPROCESSING
217.85/218.44 c GARBAGE COLLECT
217.85/218.44 c #Conflicts: 532000 | #Constraints: 15895
258.05/258.74 c #Conflicts: 533000 | #Constraints: 16895
258.05/258.74 c #Conflicts: 534000 | #Constraints: 17895
258.05/258.74 c #Conflicts: 535000 | #Constraints: 18895
258.05/258.74 c #Conflicts: 536000 | #Constraints: 19895
258.05/258.74 c #Conflicts: 537000 | #Constraints: 20895
258.05/258.74 c #Conflicts: 538000 | #Constraints: 21895
258.05/258.74 c #Conflicts: 539000 | #Constraints: 22895
258.05/258.74 c #Conflicts: 540000 | #Constraints: 23895
258.05/258.74 c #Conflicts: 541000 | #Constraints: 24895
258.05/258.74 c #Conflicts: 542000 | #Constraints: 25895
258.05/258.74 c #Conflicts: 543000 | #Constraints: 26895
258.05/258.74 c #Conflicts: 544000 | #Constraints: 27895
258.05/258.74 c #Conflicts: 545000 | #Constraints: 28895
258.05/258.74 c #Conflicts: 546000 | #Constraints: 29895
258.05/258.74 c INPROCESSING
258.05/258.74 c GARBAGE COLLECT
258.05/258.74 c #Conflicts: 547000 | #Constraints: 16294
258.05/258.74 c #Conflicts: 548000 | #Constraints: 17294
258.05/258.74 c #Conflicts: 549000 | #Constraints: 18294
258.05/258.74 c #Conflicts: 550000 | #Constraints: 19294
258.05/258.74 c #Conflicts: 551000 | #Constraints: 20294
258.05/258.74 c #Conflicts: 552000 | #Constraints: 21294
258.05/258.74 c #Conflicts: 553000 | #Constraints: 22294
258.05/258.74 c #Conflicts: 554000 | #Constraints: 23294
258.05/258.74 c #Conflicts: 555000 | #Constraints: 24294
258.05/258.74 c #Conflicts: 556000 | #Constraints: 25294
258.05/258.74 c #Conflicts: 557000 | #Constraints: 26294
258.05/258.74 c #Conflicts: 558000 | #Constraints: 27294
258.05/258.74 c #Conflicts: 559000 | #Constraints: 28294
258.05/258.74 c #Conflicts: 560000 | #Constraints: 29294
258.05/258.74 c #Conflicts: 561000 | #Constraints: 30294
258.05/258.74 c INPROCESSING
258.05/258.74 c GARBAGE COLLECT
258.05/258.74 c #Conflicts: 562000 | #Constraints: 16494
258.05/258.74 c #Conflicts: 563000 | #Constraints: 17494
258.05/258.74 c #Conflicts: 564000 | #Constraints: 18494
258.05/258.74 c #Conflicts: 565000 | #Constraints: 19494
258.05/258.74 c #Conflicts: 566000 | #Constraints: 20494
258.05/258.74 c #Conflicts: 567000 | #Constraints: 21494
258.05/258.74 c #Conflicts: 568000 | #Constraints: 22494
258.05/258.74 c #Conflicts: 569000 | #Constraints: 23494
258.05/258.74 c #Conflicts: 570000 | #Constraints: 24494
258.05/258.74 c #Conflicts: 571000 | #Constraints: 25494
258.05/258.74 c #Conflicts: 572000 | #Constraints: 26494
258.05/258.74 c #Conflicts: 573000 | #Constraints: 27494
258.05/258.74 c #Conflicts: 574000 | #Constraints: 28494
258.05/258.74 c #Conflicts: 575000 | #Constraints: 29494
258.05/258.74 c #Conflicts: 576000 | #Constraints: 30494
258.05/258.74 c INPROCESSING
258.05/258.74 c GARBAGE COLLECT
258.05/258.74 c #Conflicts: 577000 | #Constraints: 16495
258.05/258.74 c #Conflicts: 578000 | #Constraints: 17495
258.05/258.74 c #Conflicts: 579000 | #Constraints: 18495
258.05/258.74 c #Conflicts: 580000 | #Constraints: 19495
258.05/258.74 c #Conflicts: 581000 | #Constraints: 20495
258.05/258.74 c #Conflicts: 582000 | #Constraints: 21495
258.05/258.74 c #Conflicts: 583000 | #Constraints: 22495
258.05/258.74 c #Conflicts: 584000 | #Constraints: 23495
258.05/258.74 c #Conflicts: 585000 | #Constraints: 24495
258.05/258.74 c #Conflicts: 586000 | #Constraints: 25495
258.05/258.74 c #Conflicts: 587000 | #Constraints: 26495
258.05/258.74 c #Conflicts: 588000 | #Constraints: 27495
258.05/258.74 c #Conflicts: 589000 | #Constraints: 28495
258.05/258.74 c #Conflicts: 590000 | #Constraints: 29495
258.05/258.74 c #Conflicts: 591000 | #Constraints: 30495
258.05/258.74 c INPROCESSING
258.05/258.74 c GARBAGE COLLECT
258.05/258.74 c #Conflicts: 592000 | #Constraints: 16300
258.05/258.74 c #Conflicts: 593000 | #Constraints: 17300
258.05/258.74 c #Conflicts: 594000 | #Constraints: 18300
258.05/258.74 c #Conflicts: 595000 | #Constraints: 19300
258.05/258.74 c #Conflicts: 596000 | #Constraints: 20300
258.05/258.74 c #Conflicts: 597000 | #Constraints: 21300
258.05/258.74 c #Conflicts: 598000 | #Constraints: 22300
258.05/258.74 c #Conflicts: 599000 | #Constraints: 23300
258.05/258.74 c #Conflicts: 600000 | #Constraints: 24300
258.05/258.74 c #Conflicts: 601000 | #Constraints: 25300
258.05/258.74 c #Conflicts: 602000 | #Constraints: 26300
258.05/258.74 c #Conflicts: 603000 | #Constraints: 27300
258.05/258.74 c #Conflicts: 604000 | #Constraints: 28300
258.05/258.74 c #Conflicts: 605000 | #Constraints: 29300
258.05/258.74 c #Conflicts: 606000 | #Constraints: 30300
258.05/258.74 c #Conflicts: 607000 | #Constraints: 31300
258.05/258.74 c INPROCESSING
258.05/258.74 c GARBAGE COLLECT
258.05/258.74 c #Conflicts: 608000 | #Constraints: 16899
293.57/294.38 c #Conflicts: 609000 | #Constraints: 17899
293.57/294.38 c #Conflicts: 610000 | #Constraints: 18899
293.57/294.38 c #Conflicts: 611000 | #Constraints: 19899
293.57/294.38 c #Conflicts: 612000 | #Constraints: 20899
293.57/294.38 c #Conflicts: 613000 | #Constraints: 21899
293.57/294.38 c #Conflicts: 614000 | #Constraints: 22899
293.57/294.38 c #Conflicts: 615000 | #Constraints: 23899
293.57/294.38 c #Conflicts: 616000 | #Constraints: 24899
293.57/294.38 c #Conflicts: 617000 | #Constraints: 25899
293.57/294.38 c #Conflicts: 618000 | #Constraints: 26899
293.57/294.38 c #Conflicts: 619000 | #Constraints: 27899
293.57/294.38 c #Conflicts: 620000 | #Constraints: 28899
293.57/294.38 c #Conflicts: 621000 | #Constraints: 29899
293.57/294.38 c #Conflicts: 622000 | #Constraints: 30899
293.57/294.38 c #Conflicts: 623000 | #Constraints: 31899
293.57/294.38 c INPROCESSING
293.57/294.38 c GARBAGE COLLECT
293.57/294.38 c #Conflicts: 624000 | #Constraints: 17299
293.57/294.38 c #Conflicts: 625000 | #Constraints: 18299
293.57/294.38 c #Conflicts: 626000 | #Constraints: 19299
293.57/294.38 c #Conflicts: 627000 | #Constraints: 20299
293.57/294.38 c #Conflicts: 628000 | #Constraints: 21299
293.57/294.38 c #Conflicts: 629000 | #Constraints: 22299
293.57/294.38 c #Conflicts: 630000 | #Constraints: 23299
293.57/294.38 c #Conflicts: 631000 | #Constraints: 24299
293.57/294.38 c #Conflicts: 632000 | #Constraints: 25299
293.57/294.38 c #Conflicts: 633000 | #Constraints: 26299
293.57/294.38 c #Conflicts: 634000 | #Constraints: 27299
293.57/294.38 c #Conflicts: 635000 | #Constraints: 28299
293.57/294.38 c #Conflicts: 636000 | #Constraints: 29299
293.57/294.38 c #Conflicts: 637000 | #Constraints: 30299
293.57/294.38 c #Conflicts: 638000 | #Constraints: 31299
293.57/294.38 c #Conflicts: 639000 | #Constraints: 32299
293.57/294.38 c INPROCESSING
293.57/294.38 c GARBAGE COLLECT
293.57/294.38 c #Conflicts: 640000 | #Constraints: 17504
293.57/294.38 c #Conflicts: 641000 | #Constraints: 18504
293.57/294.38 c #Conflicts: 642000 | #Constraints: 19504
293.57/294.38 c #Conflicts: 643000 | #Constraints: 20504
293.57/294.38 c #Conflicts: 644000 | #Constraints: 21504
293.57/294.38 c #Conflicts: 645000 | #Constraints: 22504
293.57/294.38 c #Conflicts: 646000 | #Constraints: 23504
293.57/294.38 c #Conflicts: 647000 | #Constraints: 24504
293.57/294.38 c #Conflicts: 648000 | #Constraints: 25504
293.57/294.38 c #Conflicts: 649000 | #Constraints: 26504
293.57/294.38 c #Conflicts: 650000 | #Constraints: 27504
293.57/294.38 c #Conflicts: 651000 | #Constraints: 28504
293.57/294.38 c #Conflicts: 652000 | #Constraints: 29504
293.57/294.38 c #Conflicts: 653000 | #Constraints: 30504
293.57/294.38 c #Conflicts: 654000 | #Constraints: 31504
293.57/294.38 c #Conflicts: 655000 | #Constraints: 32504
293.57/294.38 c INPROCESSING
293.57/294.38 c GARBAGE COLLECT
293.57/294.38 c #Conflicts: 656000 | #Constraints: 17503
293.57/294.38 c #Conflicts: 657000 | #Constraints: 18503
293.57/294.38 c #Conflicts: 658000 | #Constraints: 19503
293.57/294.38 c #Conflicts: 659000 | #Constraints: 20503
293.57/294.38 c #Conflicts: 660000 | #Constraints: 21503
293.57/294.38 c #Conflicts: 661000 | #Constraints: 22503
293.57/294.38 c #Conflicts: 662000 | #Constraints: 23503
293.57/294.38 c #Conflicts: 663000 | #Constraints: 24503
293.57/294.38 c #Conflicts: 664000 | #Constraints: 25503
293.57/294.38 c #Conflicts: 665000 | #Constraints: 26503
293.57/294.38 c GLOBAL bounds 20 >= 0 @ 291.234
293.57/294.38 c GLOBAL bounds 20 >= 0 @ 291.241
293.57/294.38 c GLOBAL bounds 20 >= 0 @ 291.241
293.57/294.38 c GLOBAL bounds 20 >= 0 @ 291.241
293.57/294.38 c GLOBAL bounds 20 >= 0 @ 291.241
293.57/294.38 c GLOBAL bounds 20 >= 0 @ 291.241
293.57/294.38 c GLOBAL bounds 20 >= 0 @ 291.241
293.57/294.38 c GLOBAL bounds 20 >= 0 @ 291.241
293.57/294.38 c GLOBAL bounds 20 >= 0 @ 291.241
293.57/294.38 c GLOBAL bounds 20 >= 0 @ 291.241
293.57/294.38 c GLOBAL bounds 9 >= 0 @ 291.241
293.57/294.39 c GLOBAL bounds 9 >= 0 @ 291.245
293.57/294.39 c GLOBAL bounds 9 >= 0 @ 291.245
293.57/294.39 c GLOBAL bounds 9 >= 0 @ 291.247
293.57/294.39 c GLOBAL bounds 9 >= 0 @ 291.247
293.57/294.39 c GLOBAL bounds 9 >= 0 @ 291.248
293.57/294.40 c GLOBAL bounds 9 >= 0 @ 291.249
293.67/294.40 c GLOBAL bounds 9 >= 0 @ 291.251
293.67/294.40 c GLOBAL bounds 5 >= 0 @ 291.252
293.67/294.41 c GLOBAL bounds 5 >= 0 @ 291.261
293.67/294.41 c GLOBAL bounds 4 >= 0 @ 291.261
294.77/295.57 c #Conflicts: 666000 | #Constraints: 27520
294.77/295.57 c #Conflicts: 667000 | #Constraints: 28520
294.77/295.57 c #Conflicts: 668000 | #Constraints: 29520
294.77/295.57 c #Conflicts: 669000 | #Constraints: 30520
294.77/295.57 c GLOBAL bounds 4 >= 0 @ 292.406
294.77/295.57 c GLOBAL bounds 4 >= 0 @ 292.407
319.61/320.42 c #Conflicts: 670000 | #Constraints: 31521
319.61/320.42 c #Conflicts: 671000 | #Constraints: 32521
319.61/320.42 c INPROCESSING
319.61/320.42 c GARBAGE COLLECT
319.61/320.42 c #Conflicts: 672000 | #Constraints: 17284
319.61/320.42 c #Conflicts: 673000 | #Constraints: 18284
319.61/320.42 c #Conflicts: 674000 | #Constraints: 19284
319.61/320.42 c #Conflicts: 675000 | #Constraints: 20284
319.61/320.42 c #Conflicts: 676000 | #Constraints: 21284
319.61/320.42 c #Conflicts: 677000 | #Constraints: 22284
319.61/320.42 c #Conflicts: 678000 | #Constraints: 23284
319.61/320.42 c #Conflicts: 679000 | #Constraints: 24284
319.61/320.42 c #Conflicts: 680000 | #Constraints: 25284
319.61/320.42 c #Conflicts: 681000 | #Constraints: 26284
319.61/320.42 c #Conflicts: 682000 | #Constraints: 27284
319.61/320.42 c #Conflicts: 683000 | #Constraints: 28284
319.61/320.42 c #Conflicts: 684000 | #Constraints: 29284
319.61/320.42 c #Conflicts: 685000 | #Constraints: 30284
319.61/320.42 c #Conflicts: 686000 | #Constraints: 31284
319.61/320.42 c #Conflicts: 687000 | #Constraints: 32284
319.61/320.42 c #Conflicts: 688000 | #Constraints: 33284
319.61/320.42 c INPROCESSING
319.61/320.42 c GARBAGE COLLECT
319.61/320.42 c #Conflicts: 689000 | #Constraints: 17879
319.61/320.42 c #Conflicts: 690000 | #Constraints: 18879
319.61/320.42 c #Conflicts: 691000 | #Constraints: 19879
319.61/320.42 c #Conflicts: 692000 | #Constraints: 20879
319.61/320.42 c #Conflicts: 693000 | #Constraints: 21879
319.61/320.42 c #Conflicts: 694000 | #Constraints: 22879
319.61/320.42 c #Conflicts: 695000 | #Constraints: 23879
319.61/320.42 c #Conflicts: 696000 | #Constraints: 24879
319.61/320.42 c #Conflicts: 697000 | #Constraints: 25879
319.61/320.42 c #Conflicts: 698000 | #Constraints: 26879
319.61/320.42 c #Conflicts: 699000 | #Constraints: 27879
319.61/320.42 c #Conflicts: 700000 | #Constraints: 28879
319.61/320.42 c #Conflicts: 701000 | #Constraints: 29879
319.61/320.42 c #Conflicts: 702000 | #Constraints: 30879
319.61/320.42 c #Conflicts: 703000 | #Constraints: 31879
319.61/320.42 c #Conflicts: 704000 | #Constraints: 32879
319.61/320.42 c #Conflicts: 705000 | #Constraints: 33879
319.61/320.42 c INPROCESSING
319.61/320.42 c GARBAGE COLLECT
319.61/320.42 c #Conflicts: 706000 | #Constraints: 18279
319.61/320.42 c #Conflicts: 707000 | #Constraints: 19279
319.61/320.42 c #Conflicts: 708000 | #Constraints: 20279
319.61/320.42 c #Conflicts: 709000 | #Constraints: 21279
319.61/320.42 c #Conflicts: 710000 | #Constraints: 22279
319.61/320.42 c #Conflicts: 711000 | #Constraints: 23279
319.61/320.42 c #Conflicts: 712000 | #Constraints: 24279
319.61/320.42 c #Conflicts: 713000 | #Constraints: 25279
319.61/320.42 c #Conflicts: 714000 | #Constraints: 26279
319.61/320.42 c #Conflicts: 715000 | #Constraints: 27279
319.61/320.42 c #Conflicts: 716000 | #Constraints: 28279
319.61/320.42 c #Conflicts: 717000 | #Constraints: 29279
319.61/320.42 c #Conflicts: 718000 | #Constraints: 30279
319.61/320.42 c #Conflicts: 719000 | #Constraints: 31279
319.61/320.42 c #Conflicts: 720000 | #Constraints: 32279
319.61/320.42 c #Conflicts: 721000 | #Constraints: 33279
319.61/320.42 c #Conflicts: 722000 | #Constraints: 34279
319.61/320.42 c INPROCESSING
319.61/320.42 c GARBAGE COLLECT
319.61/320.42 c #Conflicts: 723000 | #Constraints: 18479
319.61/320.42 c #Conflicts: 724000 | #Constraints: 19479
319.61/320.42 c #Conflicts: 725000 | #Constraints: 20479
319.61/320.42 c #Conflicts: 726000 | #Constraints: 21479
319.61/320.42 c #Conflicts: 727000 | #Constraints: 22479
319.61/320.42 c #Conflicts: 728000 | #Constraints: 23479
319.61/320.42 c #Conflicts: 729000 | #Constraints: 24479
319.61/320.42 c #Conflicts: 730000 | #Constraints: 25479
319.61/320.42 c #Conflicts: 731000 | #Constraints: 26479
319.61/320.42 c #Conflicts: 732000 | #Constraints: 27479
319.61/320.42 c #Conflicts: 733000 | #Constraints: 28479
319.61/320.42 c #Conflicts: 734000 | #Constraints: 29479
319.61/320.42 c #Conflicts: 735000 | #Constraints: 30479
319.61/320.42 c #Conflicts: 736000 | #Constraints: 31479
319.61/320.42 c #Conflicts: 737000 | #Constraints: 32479
319.61/320.42 c #Conflicts: 738000 | #Constraints: 33479
319.61/320.42 c #Conflicts: 739000 | #Constraints: 34479
319.61/320.42 c INPROCESSING
319.61/320.42 c GARBAGE COLLECT
319.61/320.42 c #Conflicts: 740000 | #Constraints: 18479
319.61/320.42 c #Conflicts: 741000 | #Constraints: 19479
319.61/320.42 c #Conflicts: 742000 | #Constraints: 20479
319.61/320.42 c #Conflicts: 743000 | #Constraints: 21479
319.61/320.42 c #Conflicts: 744000 | #Constraints: 22479
319.61/320.42 c #Conflicts: 745000 | #Constraints: 23479
345.85/346.73 c #Conflicts: 746000 | #Constraints: 24479
345.85/346.73 c #Conflicts: 747000 | #Constraints: 25479
345.85/346.73 c #Conflicts: 748000 | #Constraints: 26479
345.85/346.73 c #Conflicts: 749000 | #Constraints: 27479
345.85/346.73 c #Conflicts: 750000 | #Constraints: 28479
345.85/346.73 c #Conflicts: 751000 | #Constraints: 29479
345.85/346.73 c #Conflicts: 752000 | #Constraints: 30479
345.85/346.73 c #Conflicts: 753000 | #Constraints: 31479
345.85/346.73 c #Conflicts: 754000 | #Constraints: 32479
345.85/346.73 c #Conflicts: 755000 | #Constraints: 33479
345.85/346.73 c #Conflicts: 756000 | #Constraints: 34479
345.85/346.73 c INPROCESSING
345.85/346.73 c GARBAGE COLLECT
345.85/346.73 c #Conflicts: 757000 | #Constraints: 18279
345.85/346.73 c #Conflicts: 758000 | #Constraints: 19279
345.85/346.73 c #Conflicts: 759000 | #Constraints: 20279
345.85/346.73 c #Conflicts: 760000 | #Constraints: 21279
345.85/346.73 c #Conflicts: 761000 | #Constraints: 22279
345.85/346.73 c #Conflicts: 762000 | #Constraints: 23279
345.85/346.73 c #Conflicts: 763000 | #Constraints: 24279
345.85/346.73 c #Conflicts: 764000 | #Constraints: 25279
345.85/346.73 c #Conflicts: 765000 | #Constraints: 26279
345.85/346.73 c #Conflicts: 766000 | #Constraints: 27279
345.85/346.73 c #Conflicts: 767000 | #Constraints: 28279
345.85/346.73 c #Conflicts: 768000 | #Constraints: 29279
345.85/346.73 c #Conflicts: 769000 | #Constraints: 30279
345.85/346.73 c #Conflicts: 770000 | #Constraints: 31279
345.85/346.73 c #Conflicts: 771000 | #Constraints: 32279
345.85/346.73 c #Conflicts: 772000 | #Constraints: 33279
345.85/346.73 c #Conflicts: 773000 | #Constraints: 34279
345.85/346.73 c #Conflicts: 774000 | #Constraints: 35279
345.85/346.73 c INPROCESSING
345.85/346.73 c GARBAGE COLLECT
345.85/346.73 c #Conflicts: 775000 | #Constraints: 18881
345.85/346.73 c #Conflicts: 776000 | #Constraints: 19881
345.85/346.73 c #Conflicts: 777000 | #Constraints: 20881
345.85/346.73 c #Conflicts: 778000 | #Constraints: 21881
345.85/346.73 c #Conflicts: 779000 | #Constraints: 22881
345.85/346.73 c #Conflicts: 780000 | #Constraints: 23881
345.85/346.73 c #Conflicts: 781000 | #Constraints: 24881
345.85/346.73 c #Conflicts: 782000 | #Constraints: 25881
345.85/346.73 c #Conflicts: 783000 | #Constraints: 26881
345.85/346.73 c #Conflicts: 784000 | #Constraints: 27881
345.85/346.73 c #Conflicts: 785000 | #Constraints: 28881
345.85/346.73 c #Conflicts: 786000 | #Constraints: 29881
345.85/346.73 c #Conflicts: 787000 | #Constraints: 30881
345.85/346.73 c #Conflicts: 788000 | #Constraints: 31881
345.85/346.73 c #Conflicts: 789000 | #Constraints: 32881
345.85/346.73 c #Conflicts: 790000 | #Constraints: 33881
345.85/346.73 c #Conflicts: 791000 | #Constraints: 34881
345.85/346.73 c #Conflicts: 792000 | #Constraints: 35881
345.85/346.73 c INPROCESSING
345.85/346.73 c GARBAGE COLLECT
345.85/346.73 c #Conflicts: 793000 | #Constraints: 19283
345.85/346.73 c #Conflicts: 794000 | #Constraints: 20283
345.85/346.73 c #Conflicts: 795000 | #Constraints: 21283
345.85/346.73 c #Conflicts: 796000 | #Constraints: 22283
345.85/346.73 c #Conflicts: 797000 | #Constraints: 23283
345.85/346.73 c #Conflicts: 798000 | #Constraints: 24283
345.85/346.73 c #Conflicts: 799000 | #Constraints: 25283
345.85/346.73 c #Conflicts: 800000 | #Constraints: 26283
345.85/346.73 c #Conflicts: 801000 | #Constraints: 27283
345.85/346.73 c #Conflicts: 802000 | #Constraints: 28283
345.85/346.73 c #Conflicts: 803000 | #Constraints: 29283
345.85/346.73 c #Conflicts: 804000 | #Constraints: 30283
345.85/346.73 c #Conflicts: 805000 | #Constraints: 31283
345.85/346.73 c #Conflicts: 806000 | #Constraints: 32283
345.85/346.73 c #Conflicts: 807000 | #Constraints: 33283
345.85/346.73 c #Conflicts: 808000 | #Constraints: 34283
345.85/346.73 c #Conflicts: 809000 | #Constraints: 35283
345.85/346.73 c #Conflicts: 810000 | #Constraints: 36283
345.85/346.73 c INPROCESSING
345.85/346.73 c GARBAGE COLLECT
345.85/346.73 c #Conflicts: 811000 | #Constraints: 19485
345.85/346.73 c #Conflicts: 812000 | #Constraints: 20485
345.85/346.73 c #Conflicts: 813000 | #Constraints: 21485
345.85/346.73 c #Conflicts: 814000 | #Constraints: 22485
345.85/346.73 c #Conflicts: 815000 | #Constraints: 23485
345.85/346.73 c #Conflicts: 816000 | #Constraints: 24485
345.85/346.73 c #Conflicts: 817000 | #Constraints: 25485
345.85/346.73 c #Conflicts: 818000 | #Constraints: 26485
345.85/346.73 c #Conflicts: 819000 | #Constraints: 27485
345.85/346.73 c #Conflicts: 820000 | #Constraints: 28485
345.85/346.73 c #Conflicts: 821000 | #Constraints: 29485
373.08/374.00 c #Conflicts: 822000 | #Constraints: 30485
373.08/374.00 c #Conflicts: 823000 | #Constraints: 31485
373.08/374.00 c #Conflicts: 824000 | #Constraints: 32485
373.08/374.00 c #Conflicts: 825000 | #Constraints: 33485
373.08/374.00 c #Conflicts: 826000 | #Constraints: 34485
373.08/374.00 c #Conflicts: 827000 | #Constraints: 35485
373.08/374.00 c #Conflicts: 828000 | #Constraints: 36485
373.08/374.00 c INPROCESSING
373.08/374.00 c GARBAGE COLLECT
373.08/374.00 c #Conflicts: 829000 | #Constraints: 19487
373.08/374.00 c #Conflicts: 830000 | #Constraints: 20487
373.08/374.00 c #Conflicts: 831000 | #Constraints: 21487
373.08/374.00 c #Conflicts: 832000 | #Constraints: 22487
373.08/374.00 c #Conflicts: 833000 | #Constraints: 23487
373.08/374.00 c #Conflicts: 834000 | #Constraints: 24487
373.08/374.00 c #Conflicts: 835000 | #Constraints: 25487
373.08/374.00 c #Conflicts: 836000 | #Constraints: 26487
373.08/374.00 c #Conflicts: 837000 | #Constraints: 27487
373.08/374.00 c #Conflicts: 838000 | #Constraints: 28487
373.08/374.00 c #Conflicts: 839000 | #Constraints: 29487
373.08/374.00 c #Conflicts: 840000 | #Constraints: 30487
373.08/374.00 c #Conflicts: 841000 | #Constraints: 31487
373.08/374.00 c #Conflicts: 842000 | #Constraints: 32487
373.08/374.00 c #Conflicts: 843000 | #Constraints: 33487
373.08/374.00 c #Conflicts: 844000 | #Constraints: 34487
373.08/374.00 c #Conflicts: 845000 | #Constraints: 35487
373.08/374.00 c #Conflicts: 846000 | #Constraints: 36487
373.08/374.00 c INPROCESSING
373.08/374.00 c GARBAGE COLLECT
373.08/374.00 c #Conflicts: 847000 | #Constraints: 19287
373.08/374.00 c #Conflicts: 848000 | #Constraints: 20287
373.08/374.00 c #Conflicts: 849000 | #Constraints: 21287
373.08/374.00 c #Conflicts: 850000 | #Constraints: 22287
373.08/374.00 c #Conflicts: 851000 | #Constraints: 23287
373.08/374.00 c #Conflicts: 852000 | #Constraints: 24287
373.08/374.00 c #Conflicts: 853000 | #Constraints: 25287
373.08/374.00 c #Conflicts: 854000 | #Constraints: 26287
373.08/374.00 c #Conflicts: 855000 | #Constraints: 27287
373.08/374.00 c #Conflicts: 856000 | #Constraints: 28287
373.08/374.00 c #Conflicts: 857000 | #Constraints: 29287
373.08/374.00 c #Conflicts: 858000 | #Constraints: 30287
373.08/374.00 c #Conflicts: 859000 | #Constraints: 31287
373.08/374.00 c #Conflicts: 860000 | #Constraints: 32287
373.08/374.00 c #Conflicts: 861000 | #Constraints: 33287
373.08/374.00 c #Conflicts: 862000 | #Constraints: 34287
373.08/374.00 c #Conflicts: 863000 | #Constraints: 35287
373.08/374.00 c #Conflicts: 864000 | #Constraints: 36287
373.08/374.00 c #Conflicts: 865000 | #Constraints: 37287
373.08/374.00 c INPROCESSING
373.08/374.00 c GARBAGE COLLECT
373.08/374.00 c #Conflicts: 866000 | #Constraints: 19883
373.08/374.00 c #Conflicts: 867000 | #Constraints: 20883
373.08/374.00 c #Conflicts: 868000 | #Constraints: 21883
373.08/374.00 c #Conflicts: 869000 | #Constraints: 22883
373.08/374.00 c #Conflicts: 870000 | #Constraints: 23883
373.08/374.00 c #Conflicts: 871000 | #Constraints: 24883
373.08/374.00 c #Conflicts: 872000 | #Constraints: 25883
373.08/374.00 c #Conflicts: 873000 | #Constraints: 26883
373.08/374.00 c #Conflicts: 874000 | #Constraints: 27883
373.08/374.00 c #Conflicts: 875000 | #Constraints: 28883
373.08/374.00 c #Conflicts: 876000 | #Constraints: 29883
373.08/374.00 c #Conflicts: 877000 | #Constraints: 30883
373.08/374.00 c #Conflicts: 878000 | #Constraints: 31883
373.08/374.00 c #Conflicts: 879000 | #Constraints: 32883
373.08/374.00 c #Conflicts: 880000 | #Constraints: 33883
373.08/374.00 c #Conflicts: 881000 | #Constraints: 34883
373.08/374.00 c #Conflicts: 882000 | #Constraints: 35883
373.08/374.00 c #Conflicts: 883000 | #Constraints: 36883
373.08/374.00 c #Conflicts: 884000 | #Constraints: 37883
373.08/374.00 c INPROCESSING
373.08/374.00 c GARBAGE COLLECT
373.08/374.00 c #Conflicts: 885000 | #Constraints: 20285
373.08/374.00 c #Conflicts: 886000 | #Constraints: 21285
373.08/374.00 c #Conflicts: 887000 | #Constraints: 22285
373.08/374.00 c #Conflicts: 888000 | #Constraints: 23285
373.08/374.00 c #Conflicts: 889000 | #Constraints: 24285
373.08/374.00 c #Conflicts: 890000 | #Constraints: 25285
373.08/374.00 c #Conflicts: 891000 | #Constraints: 26285
373.08/374.00 c #Conflicts: 892000 | #Constraints: 27285
373.08/374.00 c #Conflicts: 893000 | #Constraints: 28285
373.08/374.00 c #Conflicts: 894000 | #Constraints: 29285
373.08/374.00 c #Conflicts: 895000 | #Constraints: 30285
373.08/374.00 c #Conflicts: 896000 | #Constraints: 31285
373.08/374.00 c #Conflicts: 897000 | #Constraints: 32285
373.08/374.00 c #Conflicts: 898000 | #Constraints: 33285
401.01/402.02 c #Conflicts: 899000 | #Constraints: 34285
401.01/402.02 c #Conflicts: 900000 | #Constraints: 35285
401.01/402.02 c #Conflicts: 901000 | #Constraints: 36285
401.01/402.02 c #Conflicts: 902000 | #Constraints: 37285
401.01/402.02 c #Conflicts: 903000 | #Constraints: 38285
401.01/402.02 c INPROCESSING
401.01/402.02 c GARBAGE COLLECT
401.01/402.02 c #Conflicts: 904000 | #Constraints: 20483
401.01/402.02 c #Conflicts: 905000 | #Constraints: 21483
401.01/402.02 c #Conflicts: 906000 | #Constraints: 22483
401.01/402.02 c #Conflicts: 907000 | #Constraints: 23483
401.01/402.02 c #Conflicts: 908000 | #Constraints: 24483
401.01/402.02 c #Conflicts: 909000 | #Constraints: 25483
401.01/402.02 c #Conflicts: 910000 | #Constraints: 26483
401.01/402.02 c #Conflicts: 911000 | #Constraints: 27483
401.01/402.02 c #Conflicts: 912000 | #Constraints: 28483
401.01/402.02 c #Conflicts: 913000 | #Constraints: 29483
401.01/402.02 c #Conflicts: 914000 | #Constraints: 30483
401.01/402.02 c #Conflicts: 915000 | #Constraints: 31483
401.01/402.02 c #Conflicts: 916000 | #Constraints: 32483
401.01/402.02 c #Conflicts: 917000 | #Constraints: 33483
401.01/402.02 c #Conflicts: 918000 | #Constraints: 34483
401.01/402.02 c #Conflicts: 919000 | #Constraints: 35483
401.01/402.02 c #Conflicts: 920000 | #Constraints: 36483
401.01/402.02 c #Conflicts: 921000 | #Constraints: 37483
401.01/402.02 c #Conflicts: 922000 | #Constraints: 38483
401.01/402.02 c INPROCESSING
401.01/402.02 c GARBAGE COLLECT
401.01/402.02 c #Conflicts: 923000 | #Constraints: 20482
401.01/402.02 c #Conflicts: 924000 | #Constraints: 21482
401.01/402.02 c #Conflicts: 925000 | #Constraints: 22482
401.01/402.02 c #Conflicts: 926000 | #Constraints: 23482
401.01/402.02 c #Conflicts: 927000 | #Constraints: 24482
401.01/402.02 c #Conflicts: 928000 | #Constraints: 25482
401.01/402.02 c #Conflicts: 929000 | #Constraints: 26482
401.01/402.02 c #Conflicts: 930000 | #Constraints: 27482
401.01/402.02 c #Conflicts: 931000 | #Constraints: 28482
401.01/402.02 c #Conflicts: 932000 | #Constraints: 29482
401.01/402.02 c #Conflicts: 933000 | #Constraints: 30482
401.01/402.02 c #Conflicts: 934000 | #Constraints: 31482
401.01/402.02 c #Conflicts: 935000 | #Constraints: 32482
401.01/402.02 c #Conflicts: 936000 | #Constraints: 33482
401.01/402.02 c #Conflicts: 937000 | #Constraints: 34482
401.01/402.02 c #Conflicts: 938000 | #Constraints: 35482
401.01/402.02 c #Conflicts: 939000 | #Constraints: 36482
401.01/402.02 c #Conflicts: 940000 | #Constraints: 37482
401.01/402.02 c #Conflicts: 941000 | #Constraints: 38482
401.01/402.02 c INPROCESSING
401.01/402.02 c GARBAGE COLLECT
401.01/402.02 c #Conflicts: 942000 | #Constraints: 20286
401.01/402.02 c #Conflicts: 943000 | #Constraints: 21286
401.01/402.02 c #Conflicts: 944000 | #Constraints: 22286
401.01/402.02 c #Conflicts: 945000 | #Constraints: 23286
401.01/402.02 c #Conflicts: 946000 | #Constraints: 24286
401.01/402.02 c #Conflicts: 947000 | #Constraints: 25286
401.01/402.02 c #Conflicts: 948000 | #Constraints: 26286
401.01/402.02 c #Conflicts: 949000 | #Constraints: 27286
401.01/402.02 c #Conflicts: 950000 | #Constraints: 28286
401.01/402.02 c #Conflicts: 951000 | #Constraints: 29286
401.01/402.02 c #Conflicts: 952000 | #Constraints: 30286
401.01/402.02 c #Conflicts: 953000 | #Constraints: 31286
401.01/402.02 c #Conflicts: 954000 | #Constraints: 32286
401.01/402.02 c #Conflicts: 955000 | #Constraints: 33286
401.01/402.02 c #Conflicts: 956000 | #Constraints: 34286
401.01/402.02 c #Conflicts: 957000 | #Constraints: 35286
401.01/402.02 c #Conflicts: 958000 | #Constraints: 36286
401.01/402.02 c #Conflicts: 959000 | #Constraints: 37286
401.01/402.02 c #Conflicts: 960000 | #Constraints: 38286
401.01/402.02 c #Conflicts: 961000 | #Constraints: 39286
401.01/402.02 c INPROCESSING
401.01/402.02 c GARBAGE COLLECT
401.01/402.02 c #Conflicts: 962000 | #Constraints: 20885
401.01/402.02 c #Conflicts: 963000 | #Constraints: 21885
401.01/402.02 c #Conflicts: 964000 | #Constraints: 22885
401.01/402.02 c #Conflicts: 965000 | #Constraints: 23885
401.01/402.02 c #Conflicts: 966000 | #Constraints: 24885
401.01/402.02 c #Conflicts: 967000 | #Constraints: 25885
401.01/402.02 c #Conflicts: 968000 | #Constraints: 26885
401.01/402.02 c #Conflicts: 969000 | #Constraints: 27885
401.01/402.02 c #Conflicts: 970000 | #Constraints: 28885
401.01/402.02 c #Conflicts: 971000 | #Constraints: 29885
401.01/402.02 c #Conflicts: 972000 | #Constraints: 30885
401.01/402.02 c #Conflicts: 973000 | #Constraints: 31885
401.01/402.02 c #Conflicts: 974000 | #Constraints: 32885
429.35/430.47 c #Conflicts: 975000 | #Constraints: 33885
429.35/430.47 c #Conflicts: 976000 | #Constraints: 34885
429.35/430.47 c #Conflicts: 977000 | #Constraints: 35885
429.35/430.47 c #Conflicts: 978000 | #Constraints: 36885
429.35/430.47 c #Conflicts: 979000 | #Constraints: 37885
429.35/430.47 c #Conflicts: 980000 | #Constraints: 38885
429.35/430.47 c #Conflicts: 981000 | #Constraints: 39885
429.35/430.47 c INPROCESSING
429.35/430.47 c GARBAGE COLLECT
429.35/430.47 c #Conflicts: 982000 | #Constraints: 21283
429.35/430.47 c #Conflicts: 983000 | #Constraints: 22283
429.35/430.47 c #Conflicts: 984000 | #Constraints: 23283
429.35/430.47 c #Conflicts: 985000 | #Constraints: 24283
429.35/430.47 c #Conflicts: 986000 | #Constraints: 25283
429.35/430.47 c #Conflicts: 987000 | #Constraints: 26283
429.35/430.47 c #Conflicts: 988000 | #Constraints: 27283
429.35/430.47 c #Conflicts: 989000 | #Constraints: 28283
429.35/430.47 c #Conflicts: 990000 | #Constraints: 29283
429.35/430.47 c #Conflicts: 991000 | #Constraints: 30283
429.35/430.47 c #Conflicts: 992000 | #Constraints: 31283
429.35/430.47 c #Conflicts: 993000 | #Constraints: 32283
429.35/430.47 c #Conflicts: 994000 | #Constraints: 33283
429.35/430.47 c #Conflicts: 995000 | #Constraints: 34283
429.35/430.47 c #Conflicts: 996000 | #Constraints: 35283
429.35/430.47 c #Conflicts: 997000 | #Constraints: 36283
429.35/430.47 c #Conflicts: 998000 | #Constraints: 37283
429.35/430.47 c #Conflicts: 999000 | #Constraints: 38283
429.35/430.47 c #Conflicts: 1000000 | #Constraints: 39283
429.35/430.47 c #Conflicts: 1001000 | #Constraints: 40283
429.35/430.47 c INPROCESSING
429.35/430.47 c GARBAGE COLLECT
429.35/430.47 c #Conflicts: 1002000 | #Constraints: 21486
429.35/430.47 c #Conflicts: 1003000 | #Constraints: 22486
429.35/430.47 c #Conflicts: 1004000 | #Constraints: 23486
429.35/430.47 c #Conflicts: 1005000 | #Constraints: 24486
429.35/430.47 c #Conflicts: 1006000 | #Constraints: 25486
429.35/430.47 c #Conflicts: 1007000 | #Constraints: 26486
429.35/430.47 c #Conflicts: 1008000 | #Constraints: 27486
429.35/430.47 c #Conflicts: 1009000 | #Constraints: 28486
429.35/430.47 c #Conflicts: 1010000 | #Constraints: 29486
429.35/430.47 c #Conflicts: 1011000 | #Constraints: 30486
429.35/430.47 c #Conflicts: 1012000 | #Constraints: 31486
429.35/430.47 c #Conflicts: 1013000 | #Constraints: 32486
429.35/430.47 c #Conflicts: 1014000 | #Constraints: 33486
429.35/430.47 c #Conflicts: 1015000 | #Constraints: 34486
429.35/430.47 c #Conflicts: 1016000 | #Constraints: 35486
429.35/430.47 c #Conflicts: 1017000 | #Constraints: 36486
429.35/430.47 c #Conflicts: 1018000 | #Constraints: 37486
429.35/430.47 c #Conflicts: 1019000 | #Constraints: 38486
429.35/430.47 c #Conflicts: 1020000 | #Constraints: 39486
429.35/430.47 c #Conflicts: 1021000 | #Constraints: 40486
429.35/430.47 c INPROCESSING
429.35/430.47 c GARBAGE COLLECT
429.35/430.47 c #Conflicts: 1022000 | #Constraints: 21484
429.35/430.47 c #Conflicts: 1023000 | #Constraints: 22484
429.35/430.47 c #Conflicts: 1024000 | #Constraints: 23484
429.35/430.47 c #Conflicts: 1025000 | #Constraints: 24484
429.35/430.47 c #Conflicts: 1026000 | #Constraints: 25484
429.35/430.47 c #Conflicts: 1027000 | #Constraints: 26484
429.35/430.47 c #Conflicts: 1028000 | #Constraints: 27484
429.35/430.47 c #Conflicts: 1029000 | #Constraints: 28484
429.35/430.47 c #Conflicts: 1030000 | #Constraints: 29484
429.35/430.47 c #Conflicts: 1031000 | #Constraints: 30484
429.35/430.47 c #Conflicts: 1032000 | #Constraints: 31484
429.35/430.47 c #Conflicts: 1033000 | #Constraints: 32484
429.35/430.47 c #Conflicts: 1034000 | #Constraints: 33484
429.35/430.47 c #Conflicts: 1035000 | #Constraints: 34484
429.35/430.47 c #Conflicts: 1036000 | #Constraints: 35484
429.35/430.47 c #Conflicts: 1037000 | #Constraints: 36484
429.35/430.47 c #Conflicts: 1038000 | #Constraints: 37484
429.35/430.47 c #Conflicts: 1039000 | #Constraints: 38484
429.35/430.47 c #Conflicts: 1040000 | #Constraints: 39484
429.35/430.47 c #Conflicts: 1041000 | #Constraints: 40484
429.35/430.47 c INPROCESSING
429.35/430.47 c GARBAGE COLLECT
429.35/430.47 c #Conflicts: 1042000 | #Constraints: 21287
429.35/430.47 c #Conflicts: 1043000 | #Constraints: 22287
429.35/430.47 c #Conflicts: 1044000 | #Constraints: 23287
429.35/430.47 c #Conflicts: 1045000 | #Constraints: 24287
429.35/430.47 c #Conflicts: 1046000 | #Constraints: 25287
429.35/430.47 c #Conflicts: 1047000 | #Constraints: 26287
429.35/430.47 c #Conflicts: 1048000 | #Constraints: 27287
429.35/430.47 c #Conflicts: 1049000 | #Constraints: 28287
429.35/430.47 c #Conflicts: 1050000 | #Constraints: 29287
449.80/450.98 c #Conflicts: 1051000 | #Constraints: 30287
449.80/450.98 c #Conflicts: 1052000 | #Constraints: 31287
449.80/450.98 c #Conflicts: 1053000 | #Constraints: 32287
449.80/450.98 c #Conflicts: 1054000 | #Constraints: 33287
449.80/450.98 c #Conflicts: 1055000 | #Constraints: 34287
449.80/450.98 c #Conflicts: 1056000 | #Constraints: 35287
449.80/450.98 c #Conflicts: 1057000 | #Constraints: 36287
449.80/450.98 c #Conflicts: 1058000 | #Constraints: 37287
449.80/450.98 c #Conflicts: 1059000 | #Constraints: 38287
449.80/450.98 c #Conflicts: 1060000 | #Constraints: 39287
449.80/450.98 c #Conflicts: 1061000 | #Constraints: 40287
449.80/450.98 c #Conflicts: 1062000 | #Constraints: 41287
449.80/450.98 c INPROCESSING
449.80/450.98 c GARBAGE COLLECT
449.80/450.98 c #Conflicts: 1063000 | #Constraints: 21889
449.80/450.98 c #Conflicts: 1064000 | #Constraints: 22889
449.80/450.98 c #Conflicts: 1065000 | #Constraints: 23889
449.80/450.98 c #Conflicts: 1066000 | #Constraints: 24889
449.80/450.98 c #Conflicts: 1067000 | #Constraints: 25889
449.80/450.98 c #Conflicts: 1068000 | #Constraints: 26889
449.80/450.98 c #Conflicts: 1069000 | #Constraints: 27889
449.80/450.98 c #Conflicts: 1070000 | #Constraints: 28889
449.80/450.98 c #Conflicts: 1071000 | #Constraints: 29889
449.80/450.98 c #Conflicts: 1072000 | #Constraints: 30889
449.80/450.98 c #Conflicts: 1073000 | #Constraints: 31889
449.80/450.98 c #Conflicts: 1074000 | #Constraints: 32889
449.80/450.98 c #Conflicts: 1075000 | #Constraints: 33889
449.80/450.98 c #Conflicts: 1076000 | #Constraints: 34889
449.80/450.98 c #Conflicts: 1077000 | #Constraints: 35889
449.80/450.98 c #Conflicts: 1078000 | #Constraints: 36889
449.80/450.98 c #Conflicts: 1079000 | #Constraints: 37889
449.80/450.98 c #Conflicts: 1080000 | #Constraints: 38889
449.80/450.98 c #Conflicts: 1081000 | #Constraints: 39889
449.80/450.98 c #Conflicts: 1082000 | #Constraints: 40889
449.80/450.98 c #Conflicts: 1083000 | #Constraints: 41889
449.80/450.98 c INPROCESSING
449.80/450.98 c GARBAGE COLLECT
449.80/450.98 c #Conflicts: 1084000 | #Constraints: 22290
449.80/450.98 c #Conflicts: 1085000 | #Constraints: 23290
449.80/450.98 c #Conflicts: 1086000 | #Constraints: 24290
449.80/450.98 c #Conflicts: 1087000 | #Constraints: 25290
449.80/450.98 c #Conflicts: 1088000 | #Constraints: 26290
449.80/450.98 c #Conflicts: 1089000 | #Constraints: 27290
449.80/450.98 c #Conflicts: 1090000 | #Constraints: 28290
449.80/450.98 c #Conflicts: 1091000 | #Constraints: 29290
449.80/450.98 c #Conflicts: 1092000 | #Constraints: 30290
449.80/450.98 c #Conflicts: 1093000 | #Constraints: 31290
449.80/450.98 c #Conflicts: 1094000 | #Constraints: 32290
449.80/450.98 c #Conflicts: 1095000 | #Constraints: 33290
449.80/450.98 c #Conflicts: 1096000 | #Constraints: 34290
449.80/450.98 c #Conflicts: 1097000 | #Constraints: 35290
449.80/450.98 c #Conflicts: 1098000 | #Constraints: 36290
449.80/450.98 c #Conflicts: 1099000 | #Constraints: 37290
449.80/450.98 c #Conflicts: 1100000 | #Constraints: 38290
449.80/450.98 c GLOBAL bounds 4 >= 0 @ 445.975
449.80/450.98 c GLOBAL bounds 4 >= 0 @ 445.975
450.20/451.30 c GLOBAL bounds 4 >= 0 @ 446.286
450.20/451.30 c GLOBAL bounds 4 >= 0 @ 446.286
450.30/451.43 c #Conflicts: 1101000 | #Constraints: 39292
450.30/451.43 c GLOBAL bounds 4 >= 0 @ 446.412
450.30/451.43 c GLOBAL bounds 4 >= 0 @ 446.412
456.29/457.43 c #Conflicts: 1102000 | #Constraints: 40293
456.29/457.43 c #Conflicts: 1103000 | #Constraints: 41293
456.29/457.43 c #Conflicts: 1104000 | #Constraints: 42293
456.29/457.43 c INPROCESSING
456.29/457.43 c GARBAGE COLLECT
456.29/457.43 c #Conflicts: 1105000 | #Constraints: 22491
456.29/457.43 c #Conflicts: 1106000 | #Constraints: 23491
456.29/457.43 c #Conflicts: 1107000 | #Constraints: 24491
456.29/457.43 c #Conflicts: 1108000 | #Constraints: 25491
456.29/457.43 c #Conflicts: 1109000 | #Constraints: 26491
456.29/457.43 c #Conflicts: 1110000 | #Constraints: 27491
456.29/457.43 c #Conflicts: 1111000 | #Constraints: 28491
456.29/457.43 c #Conflicts: 1112000 | #Constraints: 29491
456.29/457.43 c #Conflicts: 1113000 | #Constraints: 30491
456.29/457.43 c #Conflicts: 1114000 | #Constraints: 31491
456.29/457.43 c #Conflicts: 1115000 | #Constraints: 32491
456.29/457.43 c #Conflicts: 1116000 | #Constraints: 33491
456.29/457.43 c GLOBAL bounds 4 >= 0 @ 452.356
456.29/457.43 c GLOBAL bounds 4 >= 0 @ 452.357
492.40/493.63 c #Conflicts: 1117000 | #Constraints: 34492
492.40/493.63 c #Conflicts: 1118000 | #Constraints: 35492
492.40/493.63 c #Conflicts: 1119000 | #Constraints: 36492
492.40/493.63 c #Conflicts: 1120000 | #Constraints: 37492
492.40/493.63 c #Conflicts: 1121000 | #Constraints: 38492
492.40/493.63 c #Conflicts: 1122000 | #Constraints: 39492
492.40/493.63 c #Conflicts: 1123000 | #Constraints: 40492
492.40/493.63 c #Conflicts: 1124000 | #Constraints: 41492
492.40/493.63 c #Conflicts: 1125000 | #Constraints: 42492
492.40/493.63 c INPROCESSING
492.40/493.63 c GARBAGE COLLECT
492.40/493.63 c #Conflicts: 1126000 | #Constraints: 22493
492.40/493.63 c #Conflicts: 1127000 | #Constraints: 23493
492.40/493.63 c #Conflicts: 1128000 | #Constraints: 24493
492.40/493.63 c #Conflicts: 1129000 | #Constraints: 25493
492.40/493.63 c #Conflicts: 1130000 | #Constraints: 26493
492.40/493.63 c #Conflicts: 1131000 | #Constraints: 27493
492.40/493.63 c #Conflicts: 1132000 | #Constraints: 28493
492.40/493.63 c #Conflicts: 1133000 | #Constraints: 29493
492.40/493.63 c #Conflicts: 1134000 | #Constraints: 30493
492.40/493.63 c #Conflicts: 1135000 | #Constraints: 31493
492.40/493.63 c #Conflicts: 1136000 | #Constraints: 32493
492.40/493.63 c #Conflicts: 1137000 | #Constraints: 33493
492.40/493.63 c #Conflicts: 1138000 | #Constraints: 34493
492.40/493.63 c #Conflicts: 1139000 | #Constraints: 35493
492.40/493.63 c #Conflicts: 1140000 | #Constraints: 36493
492.40/493.63 c #Conflicts: 1141000 | #Constraints: 37493
492.40/493.63 c #Conflicts: 1142000 | #Constraints: 38493
492.40/493.63 c #Conflicts: 1143000 | #Constraints: 39493
492.40/493.63 c #Conflicts: 1144000 | #Constraints: 40493
492.40/493.63 c #Conflicts: 1145000 | #Constraints: 41493
492.40/493.63 c #Conflicts: 1146000 | #Constraints: 42493
492.40/493.63 c INPROCESSING
492.40/493.63 c GARBAGE COLLECT
492.40/493.63 c #Conflicts: 1147000 | #Constraints: 22291
492.40/493.63 c #Conflicts: 1148000 | #Constraints: 23291
492.40/493.63 c #Conflicts: 1149000 | #Constraints: 24291
492.40/493.63 c #Conflicts: 1150000 | #Constraints: 25291
492.40/493.63 c #Conflicts: 1151000 | #Constraints: 26291
492.40/493.63 c #Conflicts: 1152000 | #Constraints: 27291
492.40/493.63 c #Conflicts: 1153000 | #Constraints: 28291
492.40/493.63 c #Conflicts: 1154000 | #Constraints: 29291
492.40/493.63 c #Conflicts: 1155000 | #Constraints: 30291
492.40/493.63 c #Conflicts: 1156000 | #Constraints: 31291
492.40/493.63 c #Conflicts: 1157000 | #Constraints: 32291
492.40/493.63 c #Conflicts: 1158000 | #Constraints: 33291
492.40/493.63 c #Conflicts: 1159000 | #Constraints: 34291
492.40/493.63 c #Conflicts: 1160000 | #Constraints: 35291
492.40/493.63 c #Conflicts: 1161000 | #Constraints: 36291
492.40/493.63 c #Conflicts: 1162000 | #Constraints: 37291
492.40/493.63 c #Conflicts: 1163000 | #Constraints: 38291
492.40/493.63 c #Conflicts: 1164000 | #Constraints: 39291
492.40/493.63 c #Conflicts: 1165000 | #Constraints: 40291
492.40/493.63 c #Conflicts: 1166000 | #Constraints: 41291
492.40/493.63 c #Conflicts: 1167000 | #Constraints: 42291
492.40/493.63 c #Conflicts: 1168000 | #Constraints: 43291
492.40/493.63 c INPROCESSING
492.40/493.63 c GARBAGE COLLECT
492.40/493.63 c #Conflicts: 1169000 | #Constraints: 22892
492.40/493.63 c #Conflicts: 1170000 | #Constraints: 23892
492.40/493.63 c #Conflicts: 1171000 | #Constraints: 24892
492.40/493.63 c #Conflicts: 1172000 | #Constraints: 25892
492.40/493.63 c #Conflicts: 1173000 | #Constraints: 26892
492.40/493.63 c #Conflicts: 1174000 | #Constraints: 27892
492.40/493.63 c #Conflicts: 1175000 | #Constraints: 28892
492.40/493.63 c #Conflicts: 1176000 | #Constraints: 29892
492.40/493.63 c #Conflicts: 1177000 | #Constraints: 30892
492.40/493.63 c #Conflicts: 1178000 | #Constraints: 31892
492.40/493.63 c #Conflicts: 1179000 | #Constraints: 32892
492.40/493.63 c #Conflicts: 1180000 | #Constraints: 33892
492.40/493.63 c #Conflicts: 1181000 | #Constraints: 34892
492.40/493.63 c #Conflicts: 1182000 | #Constraints: 35892
492.40/493.63 c #Conflicts: 1183000 | #Constraints: 36892
492.40/493.63 c #Conflicts: 1184000 | #Constraints: 37892
492.40/493.63 c #Conflicts: 1185000 | #Constraints: 38892
492.40/493.63 c #Conflicts: 1186000 | #Constraints: 39892
492.40/493.63 c #Conflicts: 1187000 | #Constraints: 40892
492.40/493.63 c #Conflicts: 1188000 | #Constraints: 41892
492.40/493.63 c #Conflicts: 1189000 | #Constraints: 42892
492.40/493.63 c #Conflicts: 1190000 | #Constraints: 43892
492.40/493.63 c INPROCESSING
492.40/493.63 c GARBAGE COLLECT
492.40/493.63 c #Conflicts: 1191000 | #Constraints: 23294
492.40/493.63 c #Conflicts: 1192000 | #Constraints: 24294
492.40/493.63 c #Conflicts: 1193000 | #Constraints: 25294
528.82/530.19 c #Conflicts: 1194000 | #Constraints: 26294
528.82/530.19 c #Conflicts: 1195000 | #Constraints: 27294
528.82/530.19 c #Conflicts: 1196000 | #Constraints: 28294
528.82/530.19 c #Conflicts: 1197000 | #Constraints: 29294
528.82/530.19 c #Conflicts: 1198000 | #Constraints: 30294
528.82/530.19 c #Conflicts: 1199000 | #Constraints: 31294
528.82/530.19 c #Conflicts: 1200000 | #Constraints: 32294
528.82/530.19 c #Conflicts: 1201000 | #Constraints: 33294
528.82/530.19 c #Conflicts: 1202000 | #Constraints: 34294
528.82/530.19 c #Conflicts: 1203000 | #Constraints: 35294
528.82/530.19 c #Conflicts: 1204000 | #Constraints: 36294
528.82/530.19 c #Conflicts: 1205000 | #Constraints: 37294
528.82/530.19 c #Conflicts: 1206000 | #Constraints: 38294
528.82/530.19 c #Conflicts: 1207000 | #Constraints: 39294
528.82/530.19 c #Conflicts: 1208000 | #Constraints: 40294
528.82/530.19 c #Conflicts: 1209000 | #Constraints: 41294
528.82/530.19 c #Conflicts: 1210000 | #Constraints: 42294
528.82/530.19 c #Conflicts: 1211000 | #Constraints: 43294
528.82/530.19 c #Conflicts: 1212000 | #Constraints: 44294
528.82/530.19 c INPROCESSING
528.82/530.19 c GARBAGE COLLECT
528.82/530.19 c #Conflicts: 1213000 | #Constraints: 23495
528.82/530.19 c #Conflicts: 1214000 | #Constraints: 24495
528.82/530.19 c #Conflicts: 1215000 | #Constraints: 25495
528.82/530.19 c #Conflicts: 1216000 | #Constraints: 26495
528.82/530.19 c #Conflicts: 1217000 | #Constraints: 27495
528.82/530.19 c #Conflicts: 1218000 | #Constraints: 28495
528.82/530.19 c #Conflicts: 1219000 | #Constraints: 29495
528.82/530.19 c #Conflicts: 1220000 | #Constraints: 30495
528.82/530.19 c #Conflicts: 1221000 | #Constraints: 31495
528.82/530.19 c #Conflicts: 1222000 | #Constraints: 32495
528.82/530.19 c #Conflicts: 1223000 | #Constraints: 33495
528.82/530.19 c #Conflicts: 1224000 | #Constraints: 34495
528.82/530.19 c #Conflicts: 1225000 | #Constraints: 35495
528.82/530.19 c #Conflicts: 1226000 | #Constraints: 36495
528.82/530.19 c #Conflicts: 1227000 | #Constraints: 37495
528.82/530.19 c #Conflicts: 1228000 | #Constraints: 38495
528.82/530.19 c #Conflicts: 1229000 | #Constraints: 39495
528.82/530.19 c #Conflicts: 1230000 | #Constraints: 40495
528.82/530.19 c #Conflicts: 1231000 | #Constraints: 41495
528.82/530.19 c #Conflicts: 1232000 | #Constraints: 42495
528.82/530.19 c #Conflicts: 1233000 | #Constraints: 43495
528.82/530.19 c #Conflicts: 1234000 | #Constraints: 44495
528.82/530.19 c INPROCESSING
528.82/530.19 c GARBAGE COLLECT
528.82/530.19 c #Conflicts: 1235000 | #Constraints: 23498
528.82/530.19 c #Conflicts: 1236000 | #Constraints: 24498
528.82/530.19 c #Conflicts: 1237000 | #Constraints: 25498
528.82/530.19 c #Conflicts: 1238000 | #Constraints: 26498
528.82/530.19 c #Conflicts: 1239000 | #Constraints: 27498
528.82/530.19 c #Conflicts: 1240000 | #Constraints: 28498
528.82/530.19 c #Conflicts: 1241000 | #Constraints: 29498
528.82/530.19 c #Conflicts: 1242000 | #Constraints: 30498
528.82/530.19 c #Conflicts: 1243000 | #Constraints: 31498
528.82/530.19 c #Conflicts: 1244000 | #Constraints: 32498
528.82/530.19 c #Conflicts: 1245000 | #Constraints: 33498
528.82/530.19 c #Conflicts: 1246000 | #Constraints: 34498
528.82/530.19 c #Conflicts: 1247000 | #Constraints: 35498
528.82/530.19 c #Conflicts: 1248000 | #Constraints: 36498
528.82/530.19 c #Conflicts: 1249000 | #Constraints: 37498
528.82/530.19 c #Conflicts: 1250000 | #Constraints: 38498
528.82/530.19 c #Conflicts: 1251000 | #Constraints: 39498
528.82/530.19 c #Conflicts: 1252000 | #Constraints: 40498
528.82/530.19 c #Conflicts: 1253000 | #Constraints: 41498
528.82/530.19 c #Conflicts: 1254000 | #Constraints: 42498
528.82/530.19 c #Conflicts: 1255000 | #Constraints: 43498
528.82/530.19 c #Conflicts: 1256000 | #Constraints: 44498
528.82/530.19 c INPROCESSING
528.82/530.19 c GARBAGE COLLECT
528.82/530.19 c #Conflicts: 1257000 | #Constraints: 22195
528.82/530.19 c #Conflicts: 1258000 | #Constraints: 23195
528.82/530.19 c #Conflicts: 1259000 | #Constraints: 24195
528.82/530.19 c #Conflicts: 1260000 | #Constraints: 25195
528.82/530.19 c #Conflicts: 1261000 | #Constraints: 26195
528.82/530.19 c #Conflicts: 1262000 | #Constraints: 27195
528.82/530.19 c #Conflicts: 1263000 | #Constraints: 28195
528.82/530.19 c #Conflicts: 1264000 | #Constraints: 29195
528.82/530.19 c #Conflicts: 1265000 | #Constraints: 30195
528.82/530.19 c #Conflicts: 1266000 | #Constraints: 31195
528.82/530.19 c #Conflicts: 1267000 | #Constraints: 32195
528.82/530.19 c #Conflicts: 1268000 | #Constraints: 33195
528.82/530.19 c #Conflicts: 1269000 | #Constraints: 34195
528.82/530.19 c #Conflicts: 1270000 | #Constraints: 35195
546.57/547.94 c #Conflicts: 1271000 | #Constraints: 36195
546.57/547.94 c #Conflicts: 1272000 | #Constraints: 37195
546.57/547.94 c #Conflicts: 1273000 | #Constraints: 38195
546.57/547.94 c #Conflicts: 1274000 | #Constraints: 39195
546.57/547.94 c #Conflicts: 1275000 | #Constraints: 40195
546.57/547.94 c #Conflicts: 1276000 | #Constraints: 41195
546.57/547.94 c #Conflicts: 1277000 | #Constraints: 42195
546.57/547.94 c #Conflicts: 1278000 | #Constraints: 43195
546.57/547.94 c #Conflicts: 1279000 | #Constraints: 44195
546.57/547.94 c INPROCESSING
546.57/547.94 c GARBAGE COLLECT
546.57/547.94 c #Conflicts: 1280000 | #Constraints: 23343
546.57/547.94 c #Conflicts: 1281000 | #Constraints: 24343
546.57/547.94 c #Conflicts: 1282000 | #Constraints: 25343
546.57/547.94 c #Conflicts: 1283000 | #Constraints: 26343
546.57/547.94 c #Conflicts: 1284000 | #Constraints: 27343
546.57/547.94 c #Conflicts: 1285000 | #Constraints: 28343
546.57/547.94 c #Conflicts: 1286000 | #Constraints: 29343
546.57/547.94 c #Conflicts: 1287000 | #Constraints: 30343
546.57/547.94 c #Conflicts: 1288000 | #Constraints: 31343
546.57/547.94 c #Conflicts: 1289000 | #Constraints: 32343
546.57/547.94 c #Conflicts: 1290000 | #Constraints: 33343
546.57/547.94 c #Conflicts: 1291000 | #Constraints: 34343
546.57/547.94 c #Conflicts: 1292000 | #Constraints: 35343
546.57/547.94 c #Conflicts: 1293000 | #Constraints: 36343
546.57/547.94 c #Conflicts: 1294000 | #Constraints: 37343
546.57/547.94 c #Conflicts: 1295000 | #Constraints: 38343
546.57/547.94 c #Conflicts: 1296000 | #Constraints: 39343
546.57/547.94 c #Conflicts: 1297000 | #Constraints: 40343
546.57/547.94 c #Conflicts: 1298000 | #Constraints: 41343
546.57/547.94 c #Conflicts: 1299000 | #Constraints: 42343
546.57/547.94 c #Conflicts: 1300000 | #Constraints: 43343
546.57/547.94 c #Conflicts: 1301000 | #Constraints: 44343
546.57/547.94 c #Conflicts: 1302000 | #Constraints: 45343
546.57/547.94 c INPROCESSING
546.57/547.94 c GARBAGE COLLECT
546.57/547.94 c #Conflicts: 1303000 | #Constraints: 15141
546.57/547.94 c #Conflicts: 1304000 | #Constraints: 16141
546.57/547.94 c GLOBAL bounds 4 >= 4 @ 542.005
546.57/547.94 c cpu time 542.005 s
546.57/547.94 c deterministic time 62129 6.21e+04
546.57/547.94 c optimization time 541.982 s
546.57/547.94 c total solve time 0.017015 s
546.57/547.94 c core-guided solve time 0 s
546.57/547.94 c propagation time 0.002847 s
546.57/547.94 c conflict analysis time 0.000368 s
546.57/547.94 c propagations 6744
546.57/547.94 c resolve steps 0
546.57/547.94 c decisions 3888
546.57/547.94 c conflicts 0
546.57/547.94 c restarts 1
546.57/547.94 c inprocessing phases 0
546.57/547.94 c garbage collections 0 ,( -nan )
546.57/547.94 c input clauses 1668 ,( 88.96 )
546.57/547.94 c input cardinalities 0 ,( 0.00 )
546.57/547.94 c input general constraints 207 ,( 11.04 )
546.57/547.94 c input average constraint length 3.72
546.57/547.94 c input average constraint degree 2.01
546.57/547.94 c learned clauses 1 ,( 4.00 )
546.57/547.94 c learned cardinalities 0 ,( 0.00 )
546.57/547.94 c learned general constraints 24 ,( 96.00 )
546.57/547.94 c learned average constraint length 5.56
546.57/547.94 c learned average constraint degree 2.56
546.57/547.94 c watched CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
546.57/547.94 c counting CF 32, 64, 128, Arb: 231 , 0 , 0 , 0
546.57/547.94 c watched constraints 1 ,( 0.43 )
546.57/547.94 c counting constraints 230 ,( 99.57 )
546.57/547.94 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 6222 , 0 , 6309 ,( 45 , 6264 )
546.57/547.94 c gcd simplifications 1
546.57/547.94 c detected cardinalities 0
546.57/547.94 c weakened non-implied lits 0
546.57/547.94 c weakened non-implying lits 0
546.57/547.94 c original variables 328
546.57/547.94 c clausal propagations 2306
546.57/547.94 c cardinality propagations 0
546.57/547.94 c watched propagations 0
546.57/547.94 c counting propagations 2393
546.57/547.94 c watch lookups 21586
546.57/547.94 c watch backjump lookups 0
546.57/547.94 c watch checks 5557
546.57/547.94 c propagation checks 13185
546.57/547.94 c constraint additions 217
546.57/547.94 c trail pops 10631
546.57/547.94 c formula constraints 1747
546.57/547.94 c learned constraints 24
546.57/547.94 c bound constraints 0
546.57/547.94 c core-guided constraints 0
546.57/547.94 c encountered formula constraints 0
546.57/547.94 c encountered learned constraints 0
546.57/547.94 c encountered bound constraints 0
546.57/547.94 c encountered core-guided constraints 0
546.57/547.94 c LP total time 0.014158 s
546.57/547.94 c LP solve time 0 s
546.57/547.94 c LP constraints added 1748
546.57/547.94 c LP constraints removed 0
546.57/547.94 c LP pivots internal 4
546.57/547.94 c LP pivots root 316
546.57/547.94 c LP calls 2
546.57/547.94 c LP optimalities 2
546.57/547.94 c LP no pivot count 0
546.57/547.94 c LP infeasibilities 0
546.57/547.94 c LP valid Farkas constraints 0
546.57/547.94 c LP learned Farkas constraints 0
546.57/547.94 c LP basis resets 0
546.57/547.94 c LP cycling count 0
546.57/547.94 c LP singular count 0
546.57/547.94 c LP no primal count 0
546.57/547.94 c LP no farkas count 0
546.57/547.94 c LP other issue count 0
546.57/547.94 c LP Gomory cuts 1
546.57/547.94 c LP learned cuts 0
546.57/547.94 c LP deleted cuts 0
546.57/547.94 c LP encountered Gomory constraints 0
546.57/547.94 c LP encountered Farkas constraints 0
546.57/547.94 c LP encountered learned Farkas constraints 0
546.57/547.94 c CG auxiliary variables introduced 42
546.57/547.94 c CG solutions found 5
546.57/547.94 c CG cores constructed 35
546.57/547.94 c CG core cardinality constraints returned 0
546.57/547.94 c CG unit cores 0
546.57/547.94 c CG single cores 0
546.57/547.94 c CG blocks removed during cardinality reduction 0
546.57/547.94 c CG first core best 0
546.57/547.94 c CG decision core best 0
546.57/547.94 c CG core reduction tie 0
546.57/547.94 c CG core degree average 0.00
546.57/547.94 c CG core slack average 0.00
546.57/547.94 c CG core upper bound improvements 0
546.57/547.94 c STR number of successful calls 0
546.57/547.94 c STR number of unsuccessful calls 0
546.57/547.94 c STR number of inconclusive calls 0
546.57/547.94 c STR number of successful attempts 0
546.57/547.94 c STR number of unsuccessful attempts 0
546.57/547.94 c STR number of inconclusive attempts 0
546.57/547.94 c STR average degree increase per successful call inf
546.57/547.94 c STR average degree increase per successful attempt inf
546.57/547.94 c STR total number of conflicts for successful attempts 0
546.57/547.94 c STR total number of conflicts for unsuccessful attempts 0
546.57/547.94 c STR total number of conflicts for inconclusive attempts 0
546.57/547.94 c STR average number of conflicts per successful attempt inf
546.57/547.94 c STR average number of conflicts per unsuccessful attempt inf
546.57/547.94 c STR average number of conflicts per inconclusive attempt inf
546.57/547.94 c AVG.sumWPerc 96.36
546.57/547.94 c bigint constraints 0
546.57/547.94 o 4
546.57/547.94 s OPTIMUM FOUND
546.57/547.94 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: 63665 MiB (62533 MiB free)
memory of node 1: 64507 MiB (63488 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509056-1751521021/watcher-4509056-1751521021 -o /tmp/evaluation-result-4509056-1751521021/solver-4509056-1751521021 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751521021-72983 --watchdog 3760 run-opt.sh HOME/instance-4509056-1751521021.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=73037, runsolver pid=73026
[startup+0.100058 s]*
/proc/loadavg: 0.52 1.21 1.94 6/269 73044
/proc/meminfo: memFree=129022456/131249996 swapFree=33010416/33010684
[pid=73037] ppid=73026 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/73037/stat : 73037 (run-opt.sh) S 73026 73037 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781677 4292608 672 18446744073709551615 94595227971584 94595228866117 140728383637440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94595229105168 94595229152912 94595251281920 140728383646061 140728383646184 140728383646184 140728383651786 0
/proc/73037/statm: 1048 672 640 219 0 110 0
[pid=73043] ppid=73037 vsize=63240 memory=14304 CPUtime=0.07 cores=5,7
/proc/73043/stat : 73043 (roundingsat) R 73037 73037 72970 0 -1 4194304 1659 0 0 0 7 0 0 0 20 0 1 0 67781678 64757760 3576 18446744073709551615 4227072 8923433 140734547723632 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 41119744 140734547732898 140734547733032 140734547733032 140734547738602 0
/proc/73043/statm: 15810 3576 2368 1147 0 3237 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 67432 KiB
Current children cumulated memory: 16992 KiB
[startup+0.205403 s]*
/proc/loadavg: 0.52 1.21 1.94 5/269 73044
/proc/meminfo: memFree=129019180/131249996 swapFree=33010416/33010684
[pid=73037] ppid=73026 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/73037/stat : 73037 (run-opt.sh) S 73026 73037 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781677 4292608 672 18446744073709551615 94595227971584 94595228866117 140728383637440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94595229105168 94595229152912 94595251281920 140728383646061 140728383646184 140728383646184 140728383651786 0
/proc/73037/statm: 1048 672 640 219 0 110 0
[pid=73043] ppid=73037 vsize=64816 memory=16352 CPUtime=0.18 cores=5,7
/proc/73043/stat : 73043 (roundingsat) R 73037 73037 72970 0 -1 4194304 2181 0 0 0 17 1 0 0 20 0 1 0 67781678 66371584 4088 18446744073709551615 4227072 8923433 140734547723632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41119744 140734547732898 140734547733032 140734547733032 140734547738602 0
/proc/73043/statm: 16204 4088 2368 1147 0 3631 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 69008 KiB
Current children cumulated memory: 19040 KiB
[startup+0.305171 s]*
/proc/loadavg: 0.52 1.21 1.94 5/269 73044
/proc/meminfo: memFree=128983204/131249996 swapFree=33010416/33010684
[pid=73037] ppid=73026 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/73037/stat : 73037 (run-opt.sh) S 73026 73037 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781677 4292608 672 18446744073709551615 94595227971584 94595228866117 140728383637440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94595229105168 94595229152912 94595251281920 140728383646061 140728383646184 140728383646184 140728383651786 0
/proc/73037/statm: 1048 672 640 219 0 110 0
[pid=73043] ppid=73037 vsize=65744 memory=19292 CPUtime=0.27 cores=5,7
/proc/73043/stat : 73043 (roundingsat) R 73037 73037 72970 0 -1 4194304 2409 0 0 0 26 1 0 0 20 0 1 0 67781678 67321856 4823 18446744073709551615 4227072 8923433 140734547723632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41119744 140734547732898 140734547733032 140734547733032 140734547738602 0
/proc/73043/statm: 16436 4823 2368 1147 0 3863 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 69936 KiB
Current children cumulated memory: 21980 KiB
[startup+0.700184 s]
/proc/loadavg: 0.52 1.21 1.94 5/269 73044
/proc/meminfo: memFree=128869288/131249996 swapFree=33010416/33010684
[pid=73037] ppid=73026 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/73037/stat : 73037 (run-opt.sh) S 73026 73037 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781677 4292608 672 18446744073709551615 94595227971584 94595228866117 140728383637440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94595229105168 94595229152912 94595251281920 140728383646061 140728383646184 140728383646184 140728383651786 0
/proc/73037/statm: 1048 672 640 219 0 110 0
[pid=73043] ppid=73037 vsize=67024 memory=20444 CPUtime=0.67 cores=5,7
/proc/73043/stat : 73043 (roundingsat) R 73037 73037 72970 0 -1 4194304 2701 0 0 0 65 2 0 0 20 0 1 0 67781678 68632576 5111 18446744073709551615 4227072 8923433 140734547723632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41119744 140734547732898 140734547733032 140734547733032 140734547738602 0
/proc/73043/statm: 16756 5111 2368 1147 0 4183 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 71216 KiB
Current children cumulated memory: 23132 KiB
[startup+1.50016 s]
/proc/loadavg: 0.52 1.21 1.94 5/269 73044
/proc/meminfo: memFree=128828212/131249996 swapFree=33010416/33010684
[pid=73037] ppid=73026 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/73037/stat : 73037 (run-opt.sh) S 73026 73037 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781677 4292608 672 18446744073709551615 94595227971584 94595228866117 140728383637440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94595229105168 94595229152912 94595251281920 140728383646061 140728383646184 140728383646184 140728383651786 0
/proc/73037/statm: 1048 672 640 219 0 110 0
[pid=73043] ppid=73037 vsize=68208 memory=21468 CPUtime=1.46 cores=5,7
/proc/73043/stat : 73043 (roundingsat) R 73037 73037 72970 0 -1 4194304 2945 0 0 0 143 3 0 0 20 0 1 0 67781678 69844992 5367 18446744073709551615 4227072 8923433 140734547723632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41119744 140734547732898 140734547733032 140734547733032 140734547738602 0
/proc/73043/statm: 17052 5367 2368 1147 0 4479 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 72400 KiB
Current children cumulated memory: 24156 KiB
[startup+3.10541 s]
/proc/loadavg: 0.52 1.21 1.94 5/269 73044
/proc/meminfo: memFree=128819536/131249996 swapFree=33010416/33010684
[pid=73037] ppid=73026 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/73037/stat : 73037 (run-opt.sh) S 73026 73037 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781677 4292608 672 18446744073709551615 94595227971584 94595228866117 140728383637440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94595229105168 94595229152912 94595251281920 140728383646061 140728383646184 140728383646184 140728383651786 0
/proc/73037/statm: 1048 672 640 219 0 110 0
[pid=73043] ppid=73037 vsize=70260 memory=22876 CPUtime=3.06 cores=5,7
/proc/73043/stat : 73043 (roundingsat) R 73037 73037 72970 0 -1 4194304 3317 0 0 0 300 6 0 0 20 0 1 0 67781678 71946240 5719 18446744073709551615 4227072 8923433 140734547723632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41119744 140734547732898 140734547733032 140734547733032 140734547738602 0
/proc/73043/statm: 17565 5719 2368 1147 0 4992 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 74452 KiB
Current children cumulated memory: 25564 KiB
[startup+6.30017 s]
/proc/loadavg: 0.80 1.25 1.95 5/269 73044
/proc/meminfo: memFree=128798208/131249996 swapFree=33010416/33010684
[pid=73037] ppid=73026 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/73037/stat : 73037 (run-opt.sh) S 73026 73037 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781677 4292608 672 18446744073709551615 94595227971584 94595228866117 140728383637440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94595229105168 94595229152912 94595251281920 140728383646061 140728383646184 140728383646184 140728383651786 0
/proc/73037/statm: 1048 672 640 219 0 110 0
[pid=73043] ppid=73037 vsize=71028 memory=24412 CPUtime=6.25 cores=5,7
/proc/73043/stat : 73043 (roundingsat) R 73037 73037 72970 0 -1 4194304 3690 0 0 0 614 11 0 0 20 0 1 0 67781678 72732672 6103 18446744073709551615 4227072 8923433 140734547723632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41119744 140734547732898 140734547733032 140734547733032 140734547738602 0
/proc/73043/statm: 17757 6103 2368 1147 0 5184 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 75220 KiB
Current children cumulated memory: 27100 KiB
[startup+12.7001 s]
/proc/loadavg: 1.06 1.30 1.97 5/268 73044
/proc/meminfo: memFree=128768708/131249996 swapFree=33010416/33010684
[pid=73037] ppid=73026 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/73037/stat : 73037 (run-opt.sh) S 73026 73037 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781677 4292608 672 18446744073709551615 94595227971584 94595228866117 140728383637440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94595229105168 94595229152912 94595251281920 140728383646061 140728383646184 140728383646184 140728383651786 0
/proc/73037/statm: 1048 672 640 219 0 110 0
[pid=73043] ppid=73037 vsize=76512 memory=29212 CPUtime=12.64 cores=5,7
/proc/73043/stat : 73043 (roundingsat) R 73037 73037 72970 0 -1 4194304 4379 0 0 0 1246 18 0 0 20 0 1 0 67781678 78348288 7303 18446744073709551615 4227072 8923433 140734547723632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41119744 140734547732898 140734547733032 140734547733032 140734547738602 0
/proc/73043/statm: 19128 7303 2368 1147 0 6555 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 80704 KiB
Current children cumulated memory: 31900 KiB
[startup+25.5002 s]
/proc/loadavg: 1.78 1.45 2.01 5/268 73045
/proc/meminfo: memFree=128755904/131249996 swapFree=33010416/33010684
[pid=73037] ppid=73026 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/73037/stat : 73037 (run-opt.sh) S 73026 73037 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781677 4292608 672 18446744073709551615 94595227971584 94595228866117 140728383637440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94595229105168 94595229152912 94595251281920 140728383646061 140728383646184 140728383646184 140728383651786 0
/proc/73037/statm: 1048 672 640 219 0 110 0
[pid=73043] ppid=73037 vsize=79636 memory=31772 CPUtime=25.41 cores=5,7
/proc/73043/stat : 73043 (roundingsat) R 73037 73037 72970 0 -1 4194304 5038 0 0 0 2509 32 0 0 20 0 1 0 67781678 81547264 7943 18446744073709551615 4227072 8923433 140734547723632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41119744 140734547732898 140734547733032 140734547733032 140734547738602 0
/proc/73043/statm: 19909 7943 2368 1147 0 7336 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 83828 KiB
Current children cumulated memory: 34460 KiB
[startup+51.1058 s]
/proc/loadavg: 2.54 1.65 2.06 5/268 73045
/proc/meminfo: memFree=128733924/131249996 swapFree=33010416/33010684
[pid=73037] ppid=73026 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/73037/stat : 73037 (run-opt.sh) S 73026 73037 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781677 4292608 672 18446744073709551615 94595227971584 94595228866117 140728383637440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94595229105168 94595229152912 94595251281920 140728383646061 140728383646184 140728383646184 140728383651786 0
/proc/73037/statm: 1048 672 640 219 0 110 0
[pid=73043] ppid=73037 vsize=86744 memory=37508 CPUtime=50.95 cores=5,7
/proc/73043/stat : 73043 (roundingsat) R 73037 73037 72970 0 -1 4194304 5958 0 0 0 5041 54 0 0 20 0 1 0 67781678 88825856 9377 18446744073709551615 4227072 8923433 140734547723632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41119744 140734547732898 140734547733032 140734547733032 140734547738602 0
/proc/73043/statm: 21686 9377 2368 1147 0 9113 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 90936 KiB
Current children cumulated memory: 40196 KiB
[startup+102.3 s]
/proc/loadavg: 3.41 2.03 2.17 5/269 73050
/proc/meminfo: memFree=128664420/131249996 swapFree=33010416/33010684
[pid=73037] ppid=73026 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/73037/stat : 73037 (run-opt.sh) S 73026 73037 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781677 4292608 672 18446744073709551615 94595227971584 94595228866117 140728383637440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94595229105168 94595229152912 94595251281920 140728383646061 140728383646184 140728383646184 140728383651786 0
/proc/73037/statm: 1048 672 640 219 0 110 0
[pid=73043] ppid=73037 vsize=92316 memory=42756 CPUtime=102.02 cores=5,7
/proc/73043/stat : 73043 (roundingsat) R 73037 73037 72970 0 -1 4194304 7280 0 0 0 10106 96 0 0 20 0 1 0 67781678 94531584 10689 18446744073709551615 4227072 8923433 140734547723632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41119744 140734547732898 140734547733032 140734547733032 140734547738602 0
/proc/73043/statm: 23079 10689 2368 1147 0 10506 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 96508 KiB
Current children cumulated memory: 45444 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 2.42 2.30 5/268 73052
/proc/meminfo: memFree=128634304/131249996 swapFree=33010416/33010684
[pid=73037] ppid=73026 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/73037/stat : 73037 (run-opt.sh) S 73026 73037 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781677 4292608 672 18446744073709551615 94595227971584 94595228866117 140728383637440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94595229105168 94595229152912 94595251281920 140728383646061 140728383646184 140728383646184 140728383651786 0
/proc/73037/statm: 1048 672 640 219 0 110 0
[pid=73043] ppid=73037 vsize=95348 memory=47236 CPUtime=161.88 cores=5,7
/proc/73043/stat : 73043 (roundingsat) R 73037 73037 72970 0 -1 4194304 8353 0 0 0 16041 147 0 0 20 0 1 0 67781678 97636352 11809 18446744073709551615 4227072 8923433 140734547723632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41119744 140734547732898 140734547733032 140734547733032 140734547738602 0
/proc/73043/statm: 23837 11809 2400 1147 0 11264 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 99540 KiB
Current children cumulated memory: 49924 KiB
[startup+222.3 s]
/proc/loadavg: 3.96 2.71 2.41 5/269 73055
/proc/meminfo: memFree=128610372/131249996 swapFree=33010416/33010684
[pid=73037] ppid=73026 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/73037/stat : 73037 (run-opt.sh) S 73026 73037 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781677 4292608 672 18446744073709551615 94595227971584 94595228866117 140728383637440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94595229105168 94595229152912 94595251281920 140728383646061 140728383646184 140728383646184 140728383651786 0
/proc/73037/statm: 1048 672 640 219 0 110 0
[pid=73043] ppid=73037 vsize=107116 memory=54148 CPUtime=221.74 cores=5,7
/proc/73043/stat : 73043 (roundingsat) R 73037 73037 72970 0 -1 4194304 9588 0 0 0 21977 197 0 0 20 0 1 0 67781678 109686784 13537 18446744073709551615 4227072 8923433 140734547723632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41119744 140734547732898 140734547733032 140734547733032 140734547738602 0
/proc/73043/statm: 26779 13537 2400 1147 0 14206 0
Current children cumulated CPU time: 221.74 s
################
# More data... #
################
/proc/73043/stat : 73043 (roundingsat) R 73037 73037 72970 0 -1 4194304 11223 0 0 0 33854 292 0 0 20 0 1 0 67781678 117485568 15676 18446744073709551615 4227072 8923433 140734547723632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41119744 140734547732898 140734547733032 140734547733032 140734547738602 0
/proc/73043/statm: 28683 15676 2400 1147 0 16110 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 118924 KiB
Current children cumulated memory: 65392 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.36 2.72 5/268 73066
/proc/meminfo: memFree=128522428/131249996 swapFree=33010416/33010684
[pid=73037] ppid=73026 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/73037/stat : 73037 (run-opt.sh) S 73026 73037 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781677 4292608 672 18446744073709551615 94595227971584 94595228866117 140728383637440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94595229105168 94595229152912 94595251281920 140728383646061 140728383646184 140728383646184 140728383651786 0
/proc/73037/statm: 1048 672 640 219 0 110 0
[pid=73043] ppid=73037 vsize=116156 memory=70132 CPUtime=401.32 cores=5,7
/proc/73043/stat : 73043 (roundingsat) R 73037 73037 72970 0 -1 4194304 11617 0 0 0 39784 348 0 0 20 0 1 0 67781678 118943744 17533 18446744073709551615 4227072 8923433 140734547723632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41119744 140734547732898 140734547733032 140734547733032 140734547738602 0
/proc/73043/statm: 29039 17533 2400 1147 0 16466 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 120348 KiB
Current children cumulated memory: 72820 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.49 2.81 5/268 73113
/proc/meminfo: memFree=127975384/131249996 swapFree=33010416/33010684
[pid=73037] ppid=73026 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/73037/stat : 73037 (run-opt.sh) S 73026 73037 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781677 4292608 672 18446744073709551615 94595227971584 94595228866117 140728383637440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94595229105168 94595229152912 94595251281920 140728383646061 140728383646184 140728383646184 140728383651786 0
/proc/73037/statm: 1048 672 640 219 0 110 0
[pid=73043] ppid=73037 vsize=133760 memory=78416 CPUtime=461.17 cores=5,7
/proc/73043/stat : 73043 (roundingsat) R 73037 73037 72970 0 -1 4194304 13403 0 0 0 45717 400 0 0 20 0 1 0 67781678 136970240 19604 18446744073709551615 4227072 8923433 140734547723632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41119744 140734547732898 140734547733032 140734547733032 140734547738602 0
/proc/73043/statm: 33440 19604 2400 1147 0 20867 0
Current children cumulated CPU time: 461.17 s
Current children cumulated vsize: 137952 KiB
Current children cumulated memory: 81104 KiB
[startup+522.3 s]
/proc/loadavg: 4.08 3.60 2.89 5/267 73115
/proc/meminfo: memFree=127560672/131249996 swapFree=33010416/33010684
[pid=73037] ppid=73026 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/73037/stat : 73037 (run-opt.sh) S 73026 73037 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781677 4292608 672 18446744073709551615 94595227971584 94595228866117 140728383637440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94595229105168 94595229152912 94595251281920 140728383646061 140728383646184 140728383646184 140728383651786 0
/proc/73037/statm: 1048 672 640 219 0 110 0
[pid=73043] ppid=73037 vsize=137344 memory=80744 CPUtime=521.03 cores=5,7
/proc/73043/stat : 73043 (roundingsat) R 73037 73037 72970 0 -1 4194304 14621 0 0 0 51660 443 0 0 20 0 1 0 67781678 140640256 20186 18446744073709551615 4227072 8923433 140734547723632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41119744 140734547732898 140734547733032 140734547733032 140734547738602 0
/proc/73043/statm: 34336 20186 2400 1147 0 21763 0
Current children cumulated CPU time: 521.03 s
Current children cumulated vsize: 141536 KiB
Current children cumulated memory: 83432 KiB
[startup+547.946 s]
# the end of solver process 73037 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=542.008 s, system=4.61892 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+524.8 s]
/proc/loadavg: 4.07 3.61 2.90 5/267 73115
/proc/meminfo: memFree=127552480/131249996 swapFree=33010416/33010684
[pid=73037] ppid=73026 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/73037/stat : 73037 (run-opt.sh) S 73026 73037 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781677 4292608 672 18446744073709551615 94595227971584 94595228866117 140728383637440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94595229105168 94595229152912 94595251281920 140728383646061 140728383646184 140728383646184 140728383651786 0
/proc/73037/statm: 1048 672 640 219 0 110 0
[pid=73043] ppid=73037 vsize=138700 memory=81640 CPUtime=523.52 cores=5,7
/proc/73043/stat : 73043 (roundingsat) R 73037 73037 72970 0 -1 4194304 14862 0 0 0 51908 444 0 0 20 0 1 0 67781678 142028800 20410 18446744073709551615 4227072 8923433 140734547723632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41119744 140734547732898 140734547733032 140734547733032 140734547738602 0
/proc/73043/statm: 34675 20410 2400 1147 0 22102 0
Current children cumulated CPU time: 523.52 s
Current children cumulated vsize: 142892 KiB
Current children cumulated memory: 84328 KiB
[startup+537.6 s]
/proc/loadavg: 4.14 3.64 2.91 5/267 73115
/proc/meminfo: memFree=127463448/131249996 swapFree=33010416/33010684
[pid=73037] ppid=73026 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/73037/stat : 73037 (run-opt.sh) S 73026 73037 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781677 4292608 672 18446744073709551615 94595227971584 94595228866117 140728383637440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94595229105168 94595229152912 94595251281920 140728383646061 140728383646184 140728383646184 140728383651786 0
/proc/73037/statm: 1048 672 640 219 0 110 0
[pid=73043] ppid=73037 vsize=138700 memory=81640 CPUtime=536.29 cores=5,7
/proc/73043/stat : 73043 (roundingsat) R 73037 73037 72970 0 -1 4194304 14867 0 0 0 53175 454 0 0 20 0 1 0 67781678 142028800 20410 18446744073709551615 4227072 8923433 140734547723632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41119744 140734547732898 140734547733032 140734547733032 140734547738602 0
/proc/73043/statm: 34675 20410 2400 1147 0 22102 0
Current children cumulated CPU time: 536.29 s
Current children cumulated vsize: 142892 KiB
Current children cumulated memory: 84328 KiB
[startup+544 s]*
/proc/loadavg: 4.12 3.65 2.93 5/267 73116
/proc/meminfo: memFree=127427632/131249996 swapFree=33010416/33010684
[pid=73037] ppid=73026 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/73037/stat : 73037 (run-opt.sh) S 73026 73037 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781677 4292608 672 18446744073709551615 94595227971584 94595228866117 140728383637440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94595229105168 94595229152912 94595251281920 140728383646061 140728383646184 140728383646184 140728383651786 0
/proc/73037/statm: 1048 672 640 219 0 110 0
[pid=73043] ppid=73037 vsize=138700 memory=81640 CPUtime=542.69 cores=5,7
/proc/73043/stat : 73043 (roundingsat) R 73037 73037 72970 0 -1 4194304 14867 0 0 0 53810 459 0 0 20 0 1 0 67781678 142028800 20410 18446744073709551615 4227072 8923433 140734547723632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41119744 140734547732898 140734547733032 140734547733032 140734547738602 0
/proc/73043/statm: 34675 20410 2400 1147 0 22102 0
Current children cumulated CPU time: 542.69 s
Current children cumulated vsize: 142892 KiB
Current children cumulated memory: 84328 KiB
[startup+545.6 s]
/proc/loadavg: 4.12 3.65 2.93 5/267 73116
/proc/meminfo: memFree=127420004/131249996 swapFree=33010416/33010684
[pid=73037] ppid=73026 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/73037/stat : 73037 (run-opt.sh) S 73026 73037 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781677 4292608 672 18446744073709551615 94595227971584 94595228866117 140728383637440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94595229105168 94595229152912 94595251281920 140728383646061 140728383646184 140728383646184 140728383651786 0
/proc/73037/statm: 1048 672 640 219 0 110 0
[pid=73043] ppid=73037 vsize=138700 memory=81640 CPUtime=544.27 cores=5,7
/proc/73043/stat : 73043 (roundingsat) R 73037 73037 72970 0 -1 4194304 14867 0 0 0 53968 459 0 0 20 0 1 0 67781678 142028800 20410 18446744073709551615 4227072 8923433 140734547723632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41119744 140734547732898 140734547733032 140734547733032 140734547738602 0
/proc/73043/statm: 34675 20410 2400 1147 0 22102 0
Current children cumulated CPU time: 544.27 s
Current children cumulated vsize: 142892 KiB
Current children cumulated memory: 84328 KiB
[startup+547.2 s]
/proc/loadavg: 4.12 3.65 2.93 5/267 73116
/proc/meminfo: memFree=127391508/131249996 swapFree=33010416/33010684
[pid=73037] ppid=73026 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/73037/stat : 73037 (run-opt.sh) S 73026 73037 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781677 4292608 672 18446744073709551615 94595227971584 94595228866117 140728383637440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94595229105168 94595229152912 94595251281920 140728383646061 140728383646184 140728383646184 140728383651786 0
/proc/73037/statm: 1048 672 640 219 0 110 0
[pid=73043] ppid=73037 vsize=138700 memory=81640 CPUtime=545.87 cores=5,7
/proc/73043/stat : 73043 (roundingsat) R 73037 73037 72970 0 -1 4194304 14867 0 0 0 54127 460 0 0 20 0 1 0 67781678 142028800 20410 18446744073709551615 4227072 8923433 140734547723632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41119744 140734547732898 140734547733032 140734547733032 140734547738602 0
/proc/73043/statm: 34675 20410 2400 1147 0 22102 0
Current children cumulated CPU time: 545.87 s
Current children cumulated vsize: 142892 KiB
Current children cumulated memory: 84328 KiB
[startup+547.6 s]
/proc/loadavg: 4.12 3.65 2.93 5/267 73116
/proc/meminfo: memFree=127391508/131249996 swapFree=33010416/33010684
[pid=73037] ppid=73026 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/73037/stat : 73037 (run-opt.sh) S 73026 73037 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781677 4292608 672 18446744073709551615 94595227971584 94595228866117 140728383637440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94595229105168 94595229152912 94595251281920 140728383646061 140728383646184 140728383646184 140728383651786 0
/proc/73037/statm: 1048 672 640 219 0 110 0
[pid=73043] ppid=73037 vsize=138700 memory=81640 CPUtime=546.27 cores=5,7
/proc/73043/stat : 73043 (roundingsat) R 73037 73037 72970 0 -1 4194304 14867 0 0 0 54166 461 0 0 20 0 1 0 67781678 142028800 20410 18446744073709551615 4227072 8923433 140734547723632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41119744 140734547732898 140734547733032 140734547733032 140734547738602 0
/proc/73043/statm: 34675 20410 2400 1147 0 22102 0
Current children cumulated CPU time: 546.27 s
Current children cumulated vsize: 142892 KiB
Current children cumulated memory: 84328 KiB
[startup+547.8 s]
/proc/loadavg: 4.12 3.65 2.93 5/267 73116
/proc/meminfo: memFree=127391508/131249996 swapFree=33010416/33010684
[pid=73037] ppid=73026 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/73037/stat : 73037 (run-opt.sh) S 73026 73037 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781677 4292608 672 18446744073709551615 94595227971584 94595228866117 140728383637440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94595229105168 94595229152912 94595251281920 140728383646061 140728383646184 140728383646184 140728383651786 0
/proc/73037/statm: 1048 672 640 219 0 110 0
[pid=73043] ppid=73037 vsize=138700 memory=81640 CPUtime=546.47 cores=5,7
/proc/73043/stat : 73043 (roundingsat) R 73037 73037 72970 0 -1 4194304 14867 0 0 0 54186 461 0 0 20 0 1 0 67781678 142028800 20410 18446744073709551615 4227072 8923433 140734547723632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41119744 140734547732898 140734547733032 140734547733032 140734547738602 0
/proc/73043/statm: 34675 20410 2400 1147 0 22102 0
Current children cumulated CPU time: 546.47 s
Current children cumulated vsize: 142892 KiB
Current children cumulated memory: 84328 KiB
[startup+547.9 s]
/proc/loadavg: 4.12 3.65 2.93 5/267 73116
/proc/meminfo: memFree=127391508/131249996 swapFree=33010416/33010684
[pid=73037] ppid=73026 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/73037/stat : 73037 (run-opt.sh) S 73026 73037 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781677 4292608 672 18446744073709551615 94595227971584 94595228866117 140728383637440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94595229105168 94595229152912 94595251281920 140728383646061 140728383646184 140728383646184 140728383651786 0
/proc/73037/statm: 1048 672 640 219 0 110 0
[pid=73043] ppid=73037 vsize=138700 memory=81640 CPUtime=546.57 cores=5,7
/proc/73043/stat : 73043 (roundingsat) R 73037 73037 72970 0 -1 4194304 14867 0 0 0 54196 461 0 0 20 0 1 0 67781678 142028800 20410 18446744073709551615 4227072 8923433 140734547723632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41119744 140734547732898 140734547733032 140734547733032 140734547738602 0
/proc/73043/statm: 34675 20410 2400 1147 0 22102 0
Current children cumulated CPU time: 546.57 s
Current children cumulated vsize: 142892 KiB
Current children cumulated memory: 84328 KiB
Child status: 0
Real time (s): 547.946
CPU time (s): 546.627
CPU user time (s): 542.008
CPU system time (s): 4.61892
CPU usage (%): 99.7592
Max. virtual memory (cumulated for all children) (KiB): 142892
Max. memory (cumulated for all children) (KiB): 84328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 542.008
system time used= 4.61892
maximum resident set size= 81640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15096
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 191
involuntary context switches= 561
# summary of solver processes directly reported to runsolver:
# pid: 73037
# total CPU time (s): 546.627
# total CPU user time (s): 542.008
# total CPU system time (s): 4.61892
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.05413 second user time and 2.51512 second system time
The end
Begin job on nodeC030 at 2025-07-03 07:37:01
IDJOB=4509056
IDBENCH=158583
IDSOLVER=3350
FILE ID=nodeC030/4509056-1751521021
RUNJOBID= nodeC030-1751521021-72983
SLURM_JOB_ID= 9598643
Free space on /tmp= 432508 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross14-019.lin.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509056-1751521021/watcher-4509056-1751521021 -o /tmp/evaluation-result-4509056-1751521021/solver-4509056-1751521021 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751521021-72983 --watchdog 3760 run-opt.sh HOME/instance-4509056-1751521021.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fd898dd3347352c45e90b01c742e4b19
RANDOM SEED=1683089071
nodeC030 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.550
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.169
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.306
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.313
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.375
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3500.731
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.323
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.330
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129043212 kB
MemAvailable: 129724724 kB
Buffers: 2564 kB
Cached: 1473288 kB
SwapCached: 16 kB
Active: 506796 kB
Inactive: 1029780 kB
Active(anon): 74224 kB
Inactive(anon): 4548 kB
Active(file): 432572 kB
Inactive(file): 1025232 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 32400 kB
Writeback: 0 kB
AnonPages: 63696 kB
Mapped: 103100 kB
Shmem: 18048 kB
KReclaimable: 125496 kB
Slab: 214332 kB
SReclaimable: 125496 kB
SUnreclaim: 88836 kB
KernelStack: 4024 kB
PageTables: 2660 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 330332 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 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: 189140 kB
DirectMap2M: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432472 MiB
End job on nodeC030 at 2025-07-03 07:46:09