0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.03 c #variables 200 #constraints 1999
0.00/0.03 c objective is ce32
0.00/0.03 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.03 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.007878
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.00802
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.009702
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.010236
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.01057
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.010798
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.011143
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.011564
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.012024
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.012502
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.01282
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.013066
0.00/0.06 c GLOBAL bounds - >= 0 @ 0.034059
46.86/47.06 c #Conflicts: 1000 | #Constraints: 3021
46.86/47.06 c #Conflicts: 2000 | #Constraints: 4021
46.86/47.06 c INPROCESSING
46.86/47.06 c GARBAGE COLLECT
46.86/47.06 c #Conflicts: 3000 | #Constraints: 4029
46.86/47.06 c #Conflicts: 4000 | #Constraints: 5029
46.86/47.06 c INPROCESSING
46.86/47.06 c GARBAGE COLLECT
46.86/47.06 c #Conflicts: 5000 | #Constraints: 4433
46.86/47.06 c #Conflicts: 6000 | #Constraints: 5433
46.86/47.06 c INPROCESSING
46.86/47.06 c GARBAGE COLLECT
46.86/47.06 c #Conflicts: 7000 | #Constraints: 4437
46.86/47.06 c #Conflicts: 8000 | #Constraints: 5437
46.86/47.06 c #Conflicts: 9000 | #Constraints: 6437
46.86/47.06 c INPROCESSING
46.86/47.06 c GARBAGE COLLECT
46.86/47.06 c #Conflicts: 10000 | #Constraints: 5138
46.86/47.06 c #Conflicts: 11000 | #Constraints: 6138
46.86/47.06 c #Conflicts: 12000 | #Constraints: 7138
46.86/47.06 c INPROCESSING
46.86/47.06 c GARBAGE COLLECT
46.86/47.06 c #Conflicts: 13000 | #Constraints: 5588
46.86/47.06 c #Conflicts: 14000 | #Constraints: 6588
46.86/47.06 c #Conflicts: 15000 | #Constraints: 7588
46.86/47.06 c INPROCESSING
46.86/47.06 c GARBAGE COLLECT
46.86/47.06 c #Conflicts: 16000 | #Constraints: 5810
46.86/47.06 c #Conflicts: 17000 | #Constraints: 6810
46.86/47.06 c #Conflicts: 18000 | #Constraints: 7810
46.86/47.06 c INPROCESSING
46.86/47.06 c GARBAGE COLLECT
46.86/47.06 c #Conflicts: 19000 | #Constraints: 5823
46.86/47.06 c #Conflicts: 20000 | #Constraints: 6823
46.86/47.06 c #Conflicts: 21000 | #Constraints: 7823
46.86/47.06 c INPROCESSING
46.86/47.06 c GARBAGE COLLECT
46.86/47.06 c #Conflicts: 22000 | #Constraints: 5633
46.86/47.06 c #Conflicts: 23000 | #Constraints: 6633
46.86/47.06 c #Conflicts: 24000 | #Constraints: 7633
46.86/47.06 c #Conflicts: 25000 | #Constraints: 8633
46.86/47.06 c INPROCESSING
46.86/47.06 c GARBAGE COLLECT
46.86/47.06 c #Conflicts: 26000 | #Constraints: 6237
46.86/47.06 c #Conflicts: 27000 | #Constraints: 7237
46.86/47.06 c #Conflicts: 28000 | #Constraints: 8237
46.86/47.06 c #Conflicts: 29000 | #Constraints: 9237
46.86/47.06 c INPROCESSING
46.86/47.06 c GARBAGE COLLECT
46.86/47.06 c #Conflicts: 30000 | #Constraints: 6637
46.86/47.06 c #Conflicts: 31000 | #Constraints: 7637
46.86/47.06 c #Conflicts: 32000 | #Constraints: 8637
46.86/47.06 c #Conflicts: 33000 | #Constraints: 9637
46.86/47.06 c INPROCESSING
46.86/47.06 c GARBAGE COLLECT
46.86/47.06 c #Conflicts: 34000 | #Constraints: 6840
46.86/47.06 c #Conflicts: 35000 | #Constraints: 7840
46.86/47.06 c #Conflicts: 36000 | #Constraints: 8840
46.86/47.06 c #Conflicts: 37000 | #Constraints: 9840
46.86/47.06 c INPROCESSING
46.86/47.06 c GARBAGE COLLECT
46.86/47.06 c #Conflicts: 38000 | #Constraints: 6839
46.86/47.06 c #Conflicts: 39000 | #Constraints: 7839
46.86/47.06 c #Conflicts: 40000 | #Constraints: 8839
46.86/47.06 c #Conflicts: 41000 | #Constraints: 9839
46.86/47.06 c INPROCESSING
46.86/47.06 c GARBAGE COLLECT
46.86/47.06 c #Conflicts: 42000 | #Constraints: 6637
46.86/47.06 c #Conflicts: 43000 | #Constraints: 7637
46.86/47.06 c #Conflicts: 44000 | #Constraints: 8637
46.86/47.06 c #Conflicts: 45000 | #Constraints: 9637
46.86/47.06 c #Conflicts: 46000 | #Constraints: 10637
46.86/47.06 c INPROCESSING
46.86/47.06 c GARBAGE COLLECT
46.86/47.06 c #Conflicts: 47000 | #Constraints: 7240
46.86/47.06 c #Conflicts: 48000 | #Constraints: 8240
46.86/47.06 c #Conflicts: 49000 | #Constraints: 9240
46.86/47.06 c #Conflicts: 50000 | #Constraints: 10240
46.86/47.06 c #Conflicts: 51000 | #Constraints: 11240
46.86/47.06 c INPROCESSING
46.86/47.06 c GARBAGE COLLECT
46.86/47.06 c #Conflicts: 52000 | #Constraints: 7636
46.86/47.06 c #Conflicts: 53000 | #Constraints: 8636
46.86/47.06 c #Conflicts: 54000 | #Constraints: 9636
46.86/47.06 c #Conflicts: 55000 | #Constraints: 10636
46.86/47.06 c #Conflicts: 56000 | #Constraints: 11636
46.86/47.06 c INPROCESSING
46.86/47.06 c GARBAGE COLLECT
46.86/47.06 c #Conflicts: 57000 | #Constraints: 7834
46.86/47.06 c #Conflicts: 58000 | #Constraints: 8834
46.86/47.06 c #Conflicts: 59000 | #Constraints: 9834
46.86/47.06 c #Conflicts: 60000 | #Constraints: 10834
46.86/47.06 c #Conflicts: 61000 | #Constraints: 11834
46.86/47.06 c INPROCESSING
46.86/47.06 c GARBAGE COLLECT
46.86/47.06 c #Conflicts: 62000 | #Constraints: 7835
46.86/47.06 c #Conflicts: 63000 | #Constraints: 8835
46.86/47.06 c #Conflicts: 64000 | #Constraints: 9835
46.86/47.06 c #Conflicts: 65000 | #Constraints: 10835
46.86/47.06 c #Conflicts: 66000 | #Constraints: 11835
46.86/47.06 c INPROCESSING
46.86/47.06 c GARBAGE COLLECT
46.86/47.06 c #Conflicts: 67000 | #Constraints: 7637
46.86/47.06 c #Conflicts: 68000 | #Constraints: 8637
140.43/140.84 c #Conflicts: 69000 | #Constraints: 9637
140.43/140.84 c #Conflicts: 70000 | #Constraints: 10637
140.43/140.84 c #Conflicts: 71000 | #Constraints: 11637
140.43/140.84 c #Conflicts: 72000 | #Constraints: 12637
140.43/140.84 c INPROCESSING
140.43/140.84 c GARBAGE COLLECT
140.43/140.84 c #Conflicts: 73000 | #Constraints: 8237
140.43/140.84 c #Conflicts: 74000 | #Constraints: 9237
140.43/140.84 c #Conflicts: 75000 | #Constraints: 10237
140.43/140.84 c #Conflicts: 76000 | #Constraints: 11237
140.43/140.84 c #Conflicts: 77000 | #Constraints: 12237
140.43/140.84 c #Conflicts: 78000 | #Constraints: 13237
140.43/140.84 c INPROCESSING
140.43/140.84 c GARBAGE COLLECT
140.43/140.84 c #Conflicts: 79000 | #Constraints: 8639
140.43/140.84 c #Conflicts: 80000 | #Constraints: 9639
140.43/140.84 c #Conflicts: 81000 | #Constraints: 10639
140.43/140.84 c #Conflicts: 82000 | #Constraints: 11639
140.43/140.84 c #Conflicts: 83000 | #Constraints: 12639
140.43/140.84 c #Conflicts: 84000 | #Constraints: 13639
140.43/140.84 c INPROCESSING
140.43/140.84 c GARBAGE COLLECT
140.43/140.84 c #Conflicts: 85000 | #Constraints: 8833
140.43/140.84 c #Conflicts: 86000 | #Constraints: 9833
140.43/140.84 c #Conflicts: 87000 | #Constraints: 10833
140.43/140.84 c #Conflicts: 88000 | #Constraints: 11833
140.43/140.84 c #Conflicts: 89000 | #Constraints: 12833
140.43/140.84 c #Conflicts: 90000 | #Constraints: 13833
140.43/140.84 c INPROCESSING
140.43/140.84 c GARBAGE COLLECT
140.43/140.84 c #Conflicts: 91000 | #Constraints: 8836
140.43/140.84 c #Conflicts: 92000 | #Constraints: 9836
140.43/140.84 c #Conflicts: 93000 | #Constraints: 10836
140.43/140.84 c #Conflicts: 94000 | #Constraints: 11836
140.43/140.84 c #Conflicts: 95000 | #Constraints: 12836
140.43/140.84 c #Conflicts: 96000 | #Constraints: 13836
140.43/140.84 c INPROCESSING
140.43/140.84 c GARBAGE COLLECT
140.43/140.84 c #Conflicts: 97000 | #Constraints: 8635
140.43/140.84 c #Conflicts: 98000 | #Constraints: 9635
140.43/140.84 c #Conflicts: 99000 | #Constraints: 10635
140.43/140.84 c #Conflicts: 100000 | #Constraints: 11635
140.43/140.84 c #Conflicts: 101000 | #Constraints: 12635
140.43/140.84 c #Conflicts: 102000 | #Constraints: 13635
140.43/140.84 c #Conflicts: 103000 | #Constraints: 14635
140.43/140.84 c INPROCESSING
140.43/140.84 c GARBAGE COLLECT
140.43/140.84 c #Conflicts: 104000 | #Constraints: 9239
140.43/140.84 c #Conflicts: 105000 | #Constraints: 10239
140.43/140.84 c #Conflicts: 106000 | #Constraints: 11239
140.43/140.84 c #Conflicts: 107000 | #Constraints: 12239
140.43/140.84 c #Conflicts: 108000 | #Constraints: 13239
140.43/140.84 c #Conflicts: 109000 | #Constraints: 14239
140.43/140.84 c #Conflicts: 110000 | #Constraints: 15239
140.43/140.84 c INPROCESSING
140.43/140.84 c GARBAGE COLLECT
140.43/140.84 c #Conflicts: 111000 | #Constraints: 9638
140.43/140.84 c #Conflicts: 112000 | #Constraints: 10638
140.43/140.84 c #Conflicts: 113000 | #Constraints: 11638
140.43/140.84 c #Conflicts: 114000 | #Constraints: 12638
140.43/140.84 c #Conflicts: 115000 | #Constraints: 13638
140.43/140.84 c #Conflicts: 116000 | #Constraints: 14638
140.43/140.84 c #Conflicts: 117000 | #Constraints: 15638
140.43/140.84 c INPROCESSING
140.43/140.84 c GARBAGE COLLECT
140.43/140.84 c #Conflicts: 118000 | #Constraints: 9835
140.43/140.84 c #Conflicts: 119000 | #Constraints: 10835
140.43/140.84 c #Conflicts: 120000 | #Constraints: 11835
140.43/140.84 c #Conflicts: 121000 | #Constraints: 12835
140.43/140.84 c #Conflicts: 122000 | #Constraints: 13835
140.43/140.84 c #Conflicts: 123000 | #Constraints: 14835
140.43/140.84 c #Conflicts: 124000 | #Constraints: 15835
140.43/140.84 c INPROCESSING
140.43/140.84 c GARBAGE COLLECT
140.43/140.84 c #Conflicts: 125000 | #Constraints: 9837
140.43/140.84 c #Conflicts: 126000 | #Constraints: 10837
140.43/140.84 c #Conflicts: 127000 | #Constraints: 11837
140.43/140.84 c #Conflicts: 128000 | #Constraints: 12837
140.43/140.84 c #Conflicts: 129000 | #Constraints: 13837
140.43/140.84 c #Conflicts: 130000 | #Constraints: 14837
140.43/140.84 c #Conflicts: 131000 | #Constraints: 15837
140.43/140.84 c INPROCESSING
140.43/140.84 c GARBAGE COLLECT
140.43/140.84 c #Conflicts: 132000 | #Constraints: 9639
140.43/140.84 c #Conflicts: 133000 | #Constraints: 10639
140.43/140.84 c #Conflicts: 134000 | #Constraints: 11639
140.43/140.84 c #Conflicts: 135000 | #Constraints: 12639
140.43/140.84 c #Conflicts: 136000 | #Constraints: 13639
140.43/140.84 c #Conflicts: 137000 | #Constraints: 14639
140.43/140.84 c #Conflicts: 138000 | #Constraints: 15639
140.43/140.84 c #Conflicts: 139000 | #Constraints: 16639
140.43/140.84 c INPROCESSING
140.43/140.84 c GARBAGE COLLECT
140.43/140.84 c #Conflicts: 140000 | #Constraints: 10236
261.21/261.93 c #Conflicts: 141000 | #Constraints: 11236
261.21/261.93 c #Conflicts: 142000 | #Constraints: 12236
261.21/261.93 c #Conflicts: 143000 | #Constraints: 13236
261.21/261.93 c #Conflicts: 144000 | #Constraints: 14236
261.21/261.93 c #Conflicts: 145000 | #Constraints: 15236
261.21/261.93 c #Conflicts: 146000 | #Constraints: 16236
261.21/261.93 c #Conflicts: 147000 | #Constraints: 17236
261.21/261.93 c INPROCESSING
261.21/261.93 c GARBAGE COLLECT
261.21/261.93 c #Conflicts: 148000 | #Constraints: 10637
261.21/261.93 c #Conflicts: 149000 | #Constraints: 11637
261.21/261.93 c #Conflicts: 150000 | #Constraints: 12637
261.21/261.93 c #Conflicts: 151000 | #Constraints: 13637
261.21/261.93 c #Conflicts: 152000 | #Constraints: 14637
261.21/261.93 c #Conflicts: 153000 | #Constraints: 15637
261.21/261.93 c #Conflicts: 154000 | #Constraints: 16637
261.21/261.93 c #Conflicts: 155000 | #Constraints: 17637
261.21/261.93 c INPROCESSING
261.21/261.93 c GARBAGE COLLECT
261.21/261.93 c #Conflicts: 156000 | #Constraints: 10838
261.21/261.93 c #Conflicts: 157000 | #Constraints: 11838
261.21/261.93 c #Conflicts: 158000 | #Constraints: 12838
261.21/261.93 c #Conflicts: 159000 | #Constraints: 13838
261.21/261.93 c #Conflicts: 160000 | #Constraints: 14838
261.21/261.93 c #Conflicts: 161000 | #Constraints: 15838
261.21/261.93 c #Conflicts: 162000 | #Constraints: 16838
261.21/261.93 c #Conflicts: 163000 | #Constraints: 17838
261.21/261.93 c INPROCESSING
261.21/261.93 c GARBAGE COLLECT
261.21/261.93 c #Conflicts: 164000 | #Constraints: 10836
261.21/261.93 c #Conflicts: 165000 | #Constraints: 11836
261.21/261.93 c #Conflicts: 166000 | #Constraints: 12836
261.21/261.93 c #Conflicts: 167000 | #Constraints: 13836
261.21/261.93 c #Conflicts: 168000 | #Constraints: 14836
261.21/261.93 c #Conflicts: 169000 | #Constraints: 15836
261.21/261.93 c #Conflicts: 170000 | #Constraints: 16836
261.21/261.93 c #Conflicts: 171000 | #Constraints: 17836
261.21/261.93 c INPROCESSING
261.21/261.93 c GARBAGE COLLECT
261.21/261.93 c #Conflicts: 172000 | #Constraints: 10637
261.21/261.93 c #Conflicts: 173000 | #Constraints: 11637
261.21/261.93 c #Conflicts: 174000 | #Constraints: 12637
261.21/261.93 c #Conflicts: 175000 | #Constraints: 13637
261.21/261.93 c #Conflicts: 176000 | #Constraints: 14637
261.21/261.93 c #Conflicts: 177000 | #Constraints: 15637
261.21/261.93 c #Conflicts: 178000 | #Constraints: 16637
261.21/261.93 c #Conflicts: 179000 | #Constraints: 17637
261.21/261.93 c #Conflicts: 180000 | #Constraints: 18637
261.21/261.93 c INPROCESSING
261.21/261.93 c GARBAGE COLLECT
261.21/261.93 c #Conflicts: 181000 | #Constraints: 11237
261.21/261.93 c #Conflicts: 182000 | #Constraints: 12237
261.21/261.93 c #Conflicts: 183000 | #Constraints: 13237
261.21/261.93 c #Conflicts: 184000 | #Constraints: 14237
261.21/261.93 c #Conflicts: 185000 | #Constraints: 15237
261.21/261.93 c #Conflicts: 186000 | #Constraints: 16237
261.21/261.93 c #Conflicts: 187000 | #Constraints: 17237
261.21/261.93 c #Conflicts: 188000 | #Constraints: 18237
261.21/261.93 c #Conflicts: 189000 | #Constraints: 19237
261.21/261.93 c INPROCESSING
261.21/261.93 c GARBAGE COLLECT
261.21/261.93 c #Conflicts: 190000 | #Constraints: 11636
261.21/261.93 c #Conflicts: 191000 | #Constraints: 12636
261.21/261.93 c #Conflicts: 192000 | #Constraints: 13636
261.21/261.93 c #Conflicts: 193000 | #Constraints: 14636
261.21/261.93 c #Conflicts: 194000 | #Constraints: 15636
261.21/261.93 c #Conflicts: 195000 | #Constraints: 16636
261.21/261.93 c #Conflicts: 196000 | #Constraints: 17636
261.21/261.93 c #Conflicts: 197000 | #Constraints: 18636
261.21/261.93 c #Conflicts: 198000 | #Constraints: 19636
261.21/261.93 c INPROCESSING
261.21/261.93 c GARBAGE COLLECT
261.21/261.93 c #Conflicts: 199000 | #Constraints: 11836
261.21/261.93 c #Conflicts: 200000 | #Constraints: 12836
261.21/261.93 c #Conflicts: 201000 | #Constraints: 13836
261.21/261.93 c #Conflicts: 202000 | #Constraints: 14836
261.21/261.93 c #Conflicts: 203000 | #Constraints: 15836
261.21/261.93 c #Conflicts: 204000 | #Constraints: 16836
261.21/261.93 c #Conflicts: 205000 | #Constraints: 17836
261.21/261.93 c #Conflicts: 206000 | #Constraints: 18836
261.21/261.93 c #Conflicts: 207000 | #Constraints: 19836
261.21/261.93 c INPROCESSING
261.21/261.93 c GARBAGE COLLECT
261.21/261.93 c #Conflicts: 208000 | #Constraints: 11840
261.21/261.93 c #Conflicts: 209000 | #Constraints: 12840
261.21/261.93 c #Conflicts: 210000 | #Constraints: 13840
261.21/261.93 c #Conflicts: 211000 | #Constraints: 14840
261.21/261.93 c #Conflicts: 212000 | #Constraints: 15840
261.21/261.93 c #Conflicts: 213000 | #Constraints: 16840
413.12/414.27 c #Conflicts: 214000 | #Constraints: 17840
413.12/414.27 c #Conflicts: 215000 | #Constraints: 18840
413.12/414.27 c #Conflicts: 216000 | #Constraints: 19840
413.12/414.27 c INPROCESSING
413.12/414.27 c GARBAGE COLLECT
413.12/414.27 c #Conflicts: 217000 | #Constraints: 11639
413.12/414.27 c #Conflicts: 218000 | #Constraints: 12639
413.12/414.27 c #Conflicts: 219000 | #Constraints: 13639
413.12/414.27 c #Conflicts: 220000 | #Constraints: 14639
413.12/414.27 c #Conflicts: 221000 | #Constraints: 15639
413.12/414.27 c #Conflicts: 222000 | #Constraints: 16639
413.12/414.27 c #Conflicts: 223000 | #Constraints: 17639
413.12/414.27 c #Conflicts: 224000 | #Constraints: 18639
413.12/414.27 c #Conflicts: 225000 | #Constraints: 19639
413.12/414.27 c #Conflicts: 226000 | #Constraints: 20639
413.12/414.27 c INPROCESSING
413.12/414.27 c GARBAGE COLLECT
413.12/414.27 c #Conflicts: 227000 | #Constraints: 12240
413.12/414.27 c #Conflicts: 228000 | #Constraints: 13240
413.12/414.27 c #Conflicts: 229000 | #Constraints: 14240
413.12/414.27 c #Conflicts: 230000 | #Constraints: 15240
413.12/414.27 c #Conflicts: 231000 | #Constraints: 16240
413.12/414.27 c #Conflicts: 232000 | #Constraints: 17240
413.12/414.27 c #Conflicts: 233000 | #Constraints: 18240
413.12/414.27 c #Conflicts: 234000 | #Constraints: 19240
413.12/414.27 c #Conflicts: 235000 | #Constraints: 20240
413.12/414.27 c #Conflicts: 236000 | #Constraints: 21240
413.12/414.27 c INPROCESSING
413.12/414.27 c GARBAGE COLLECT
413.12/414.27 c #Conflicts: 237000 | #Constraints: 12638
413.12/414.27 c #Conflicts: 238000 | #Constraints: 13638
413.12/414.27 c #Conflicts: 239000 | #Constraints: 14638
413.12/414.27 c #Conflicts: 240000 | #Constraints: 15638
413.12/414.27 c #Conflicts: 241000 | #Constraints: 16638
413.12/414.27 c #Conflicts: 242000 | #Constraints: 17638
413.12/414.27 c #Conflicts: 243000 | #Constraints: 18638
413.12/414.27 c #Conflicts: 244000 | #Constraints: 19638
413.12/414.27 c #Conflicts: 245000 | #Constraints: 20638
413.12/414.27 c #Conflicts: 246000 | #Constraints: 21638
413.12/414.27 c INPROCESSING
413.12/414.27 c GARBAGE COLLECT
413.12/414.27 c #Conflicts: 247000 | #Constraints: 12840
413.12/414.27 c #Conflicts: 248000 | #Constraints: 13840
413.12/414.27 c #Conflicts: 249000 | #Constraints: 14840
413.12/414.27 c #Conflicts: 250000 | #Constraints: 15840
413.12/414.27 c #Conflicts: 251000 | #Constraints: 16840
413.12/414.27 c #Conflicts: 252000 | #Constraints: 17840
413.12/414.27 c #Conflicts: 253000 | #Constraints: 18840
413.12/414.27 c #Conflicts: 254000 | #Constraints: 19840
413.12/414.27 c #Conflicts: 255000 | #Constraints: 20840
413.12/414.27 c #Conflicts: 256000 | #Constraints: 21840
413.12/414.27 c INPROCESSING
413.12/414.27 c GARBAGE COLLECT
413.12/414.27 c #Conflicts: 257000 | #Constraints: 12839
413.12/414.27 c #Conflicts: 258000 | #Constraints: 13839
413.12/414.27 c #Conflicts: 259000 | #Constraints: 14839
413.12/414.27 c #Conflicts: 260000 | #Constraints: 15839
413.12/414.27 c #Conflicts: 261000 | #Constraints: 16839
413.12/414.27 c #Conflicts: 262000 | #Constraints: 17839
413.12/414.27 c #Conflicts: 263000 | #Constraints: 18839
413.12/414.27 c #Conflicts: 264000 | #Constraints: 19839
413.12/414.27 c #Conflicts: 265000 | #Constraints: 20839
413.12/414.27 c #Conflicts: 266000 | #Constraints: 21839
413.12/414.27 c INPROCESSING
413.12/414.27 c GARBAGE COLLECT
413.12/414.27 c #Conflicts: 267000 | #Constraints: 12642
413.12/414.27 c #Conflicts: 268000 | #Constraints: 13642
413.12/414.27 c #Conflicts: 269000 | #Constraints: 14642
413.12/414.27 c #Conflicts: 270000 | #Constraints: 15642
413.12/414.27 c #Conflicts: 271000 | #Constraints: 16642
413.12/414.27 c #Conflicts: 272000 | #Constraints: 17642
413.12/414.27 c #Conflicts: 273000 | #Constraints: 18642
413.12/414.27 c #Conflicts: 274000 | #Constraints: 19642
413.12/414.27 c #Conflicts: 275000 | #Constraints: 20642
413.12/414.27 c #Conflicts: 276000 | #Constraints: 21642
413.12/414.27 c #Conflicts: 277000 | #Constraints: 22642
413.12/414.27 c INPROCESSING
413.12/414.27 c GARBAGE COLLECT
413.12/414.27 c #Conflicts: 278000 | #Constraints: 13240
413.12/414.27 c #Conflicts: 279000 | #Constraints: 14240
413.12/414.27 c #Conflicts: 280000 | #Constraints: 15240
413.12/414.27 c #Conflicts: 281000 | #Constraints: 16240
413.12/414.27 c #Conflicts: 282000 | #Constraints: 17240
413.12/414.27 c #Conflicts: 283000 | #Constraints: 18240
413.12/414.27 c #Conflicts: 284000 | #Constraints: 19240
413.12/414.27 c #Conflicts: 285000 | #Constraints: 20240
413.12/414.27 c #Conflicts: 286000 | #Constraints: 21240
413.12/414.27 c #Conflicts: 287000 | #Constraints: 22240
413.12/414.27 c #Conflicts: 288000 | #Constraints: 23240
557.05/558.52 c INPROCESSING
557.05/558.52 c GARBAGE COLLECT
557.05/558.52 c #Conflicts: 289000 | #Constraints: 13641
557.05/558.52 c #Conflicts: 290000 | #Constraints: 14641
557.05/558.52 c #Conflicts: 291000 | #Constraints: 15641
557.05/558.52 c #Conflicts: 292000 | #Constraints: 16641
557.05/558.52 c #Conflicts: 293000 | #Constraints: 17641
557.05/558.52 c #Conflicts: 294000 | #Constraints: 18641
557.05/558.52 c #Conflicts: 295000 | #Constraints: 19641
557.05/558.52 c #Conflicts: 296000 | #Constraints: 20641
557.05/558.52 c #Conflicts: 297000 | #Constraints: 21641
557.05/558.52 c #Conflicts: 298000 | #Constraints: 22641
557.05/558.52 c #Conflicts: 299000 | #Constraints: 23641
557.05/558.52 c INPROCESSING
557.05/558.52 c GARBAGE COLLECT
557.05/558.52 c #Conflicts: 300000 | #Constraints: 13841
557.05/558.52 c #Conflicts: 301000 | #Constraints: 14841
557.05/558.52 c #Conflicts: 302000 | #Constraints: 15841
557.05/558.52 c #Conflicts: 303000 | #Constraints: 16841
557.05/558.52 c #Conflicts: 304000 | #Constraints: 17841
557.05/558.52 c #Conflicts: 305000 | #Constraints: 18841
557.05/558.52 c #Conflicts: 306000 | #Constraints: 19841
557.05/558.52 c #Conflicts: 307000 | #Constraints: 20841
557.05/558.52 c #Conflicts: 308000 | #Constraints: 21841
557.05/558.52 c #Conflicts: 309000 | #Constraints: 22841
557.05/558.52 c #Conflicts: 310000 | #Constraints: 23841
557.05/558.52 c INPROCESSING
557.05/558.52 c GARBAGE COLLECT
557.05/558.52 c #Conflicts: 311000 | #Constraints: 13839
557.05/558.52 c #Conflicts: 312000 | #Constraints: 14839
557.05/558.52 c #Conflicts: 313000 | #Constraints: 15839
557.05/558.52 c #Conflicts: 314000 | #Constraints: 16839
557.05/558.52 c #Conflicts: 315000 | #Constraints: 17839
557.05/558.52 c #Conflicts: 316000 | #Constraints: 18839
557.05/558.52 c #Conflicts: 317000 | #Constraints: 19839
557.05/558.52 c #Conflicts: 318000 | #Constraints: 20839
557.05/558.52 c #Conflicts: 319000 | #Constraints: 21839
557.05/558.52 c #Conflicts: 320000 | #Constraints: 22839
557.05/558.52 c #Conflicts: 321000 | #Constraints: 23839
557.05/558.52 c INPROCESSING
557.05/558.52 c GARBAGE COLLECT
557.05/558.52 c #Conflicts: 322000 | #Constraints: 13637
557.05/558.52 c #Conflicts: 323000 | #Constraints: 14637
557.05/558.52 c #Conflicts: 324000 | #Constraints: 15637
557.05/558.52 c #Conflicts: 325000 | #Constraints: 16637
557.05/558.52 c #Conflicts: 326000 | #Constraints: 17637
557.05/558.52 c #Conflicts: 327000 | #Constraints: 18637
557.05/558.52 c #Conflicts: 328000 | #Constraints: 19637
557.05/558.52 c #Conflicts: 329000 | #Constraints: 20637
557.05/558.52 c #Conflicts: 330000 | #Constraints: 21637
557.05/558.52 c #Conflicts: 331000 | #Constraints: 22637
557.05/558.52 c #Conflicts: 332000 | #Constraints: 23637
557.05/558.52 c #Conflicts: 333000 | #Constraints: 24637
557.05/558.52 c INPROCESSING
557.05/558.52 c GARBAGE COLLECT
557.05/558.52 c #Conflicts: 334000 | #Constraints: 14237
557.05/558.52 c #Conflicts: 335000 | #Constraints: 15237
557.05/558.52 c #Conflicts: 336000 | #Constraints: 16237
557.05/558.52 c #Conflicts: 337000 | #Constraints: 17237
557.05/558.52 c #Conflicts: 338000 | #Constraints: 18237
557.05/558.52 c #Conflicts: 339000 | #Constraints: 19237
557.05/558.52 c #Conflicts: 340000 | #Constraints: 20237
557.05/558.52 c #Conflicts: 341000 | #Constraints: 21237
557.05/558.52 c #Conflicts: 342000 | #Constraints: 22237
557.05/558.52 c #Conflicts: 343000 | #Constraints: 23237
557.05/558.52 c #Conflicts: 344000 | #Constraints: 24237
557.05/558.52 c #Conflicts: 345000 | #Constraints: 25237
557.05/558.52 c INPROCESSING
557.05/558.52 c GARBAGE COLLECT
557.05/558.52 c #Conflicts: 346000 | #Constraints: 14639
557.05/558.52 c #Conflicts: 347000 | #Constraints: 15639
557.05/558.52 c #Conflicts: 348000 | #Constraints: 16639
557.05/558.52 c #Conflicts: 349000 | #Constraints: 17639
557.05/558.52 c #Conflicts: 350000 | #Constraints: 18639
557.05/558.52 c #Conflicts: 351000 | #Constraints: 19639
557.05/558.52 c #Conflicts: 352000 | #Constraints: 20639
557.05/558.52 c #Conflicts: 353000 | #Constraints: 21639
557.05/558.52 c #Conflicts: 354000 | #Constraints: 22639
557.05/558.52 c #Conflicts: 355000 | #Constraints: 23639
557.05/558.52 c #Conflicts: 356000 | #Constraints: 24639
557.05/558.52 c #Conflicts: 357000 | #Constraints: 25639
557.05/558.52 c INPROCESSING
557.05/558.52 c GARBAGE COLLECT
557.05/558.52 c #Conflicts: 358000 | #Constraints: 14838
557.05/558.52 c #Conflicts: 359000 | #Constraints: 15838
557.05/558.52 c #Conflicts: 360000 | #Constraints: 16838
557.05/558.52 c #Conflicts: 361000 | #Constraints: 17838
557.05/558.52 c #Conflicts: 362000 | #Constraints: 18838
712.85/714.75 c #Conflicts: 363000 | #Constraints: 19838
712.85/714.75 c #Conflicts: 364000 | #Constraints: 20838
712.85/714.75 c #Conflicts: 365000 | #Constraints: 21838
712.85/714.75 c #Conflicts: 366000 | #Constraints: 22838
712.85/714.75 c #Conflicts: 367000 | #Constraints: 23838
712.85/714.75 c #Conflicts: 368000 | #Constraints: 24838
712.85/714.75 c #Conflicts: 369000 | #Constraints: 25838
712.85/714.75 c INPROCESSING
712.85/714.75 c GARBAGE COLLECT
712.85/714.75 c #Conflicts: 370000 | #Constraints: 14838
712.85/714.75 c #Conflicts: 371000 | #Constraints: 15838
712.85/714.75 c #Conflicts: 372000 | #Constraints: 16838
712.85/714.75 c #Conflicts: 373000 | #Constraints: 17838
712.85/714.75 c #Conflicts: 374000 | #Constraints: 18838
712.85/714.75 c #Conflicts: 375000 | #Constraints: 19838
712.85/714.75 c #Conflicts: 376000 | #Constraints: 20838
712.85/714.75 c #Conflicts: 377000 | #Constraints: 21838
712.85/714.75 c #Conflicts: 378000 | #Constraints: 22838
712.85/714.75 c #Conflicts: 379000 | #Constraints: 23838
712.85/714.75 c #Conflicts: 380000 | #Constraints: 24838
712.85/714.75 c #Conflicts: 381000 | #Constraints: 25838
712.85/714.75 c INPROCESSING
712.85/714.75 c GARBAGE COLLECT
712.85/714.75 c #Conflicts: 382000 | #Constraints: 14640
712.85/714.75 c #Conflicts: 383000 | #Constraints: 15640
712.85/714.75 c #Conflicts: 384000 | #Constraints: 16640
712.85/714.75 c #Conflicts: 385000 | #Constraints: 17640
712.85/714.75 c #Conflicts: 386000 | #Constraints: 18640
712.85/714.75 c #Conflicts: 387000 | #Constraints: 19640
712.85/714.75 c #Conflicts: 388000 | #Constraints: 20640
712.85/714.75 c #Conflicts: 389000 | #Constraints: 21640
712.85/714.75 c #Conflicts: 390000 | #Constraints: 22640
712.85/714.75 c #Conflicts: 391000 | #Constraints: 23640
712.85/714.75 c #Conflicts: 392000 | #Constraints: 24640
712.85/714.75 c #Conflicts: 393000 | #Constraints: 25640
712.85/714.75 c #Conflicts: 394000 | #Constraints: 26640
712.85/714.75 c INPROCESSING
712.85/714.75 c GARBAGE COLLECT
712.85/714.75 c #Conflicts: 395000 | #Constraints: 15239
712.85/714.75 c #Conflicts: 396000 | #Constraints: 16239
712.85/714.75 c #Conflicts: 397000 | #Constraints: 17239
712.85/714.75 c #Conflicts: 398000 | #Constraints: 18239
712.85/714.75 c #Conflicts: 399000 | #Constraints: 19239
712.85/714.75 c #Conflicts: 400000 | #Constraints: 20239
712.85/714.75 c #Conflicts: 401000 | #Constraints: 21239
712.85/714.75 c #Conflicts: 402000 | #Constraints: 22239
712.85/714.75 c #Conflicts: 403000 | #Constraints: 23239
712.85/714.75 c #Conflicts: 404000 | #Constraints: 24239
712.85/714.75 c #Conflicts: 405000 | #Constraints: 25239
712.85/714.75 c #Conflicts: 406000 | #Constraints: 26239
712.85/714.75 c #Conflicts: 407000 | #Constraints: 27239
712.85/714.75 c INPROCESSING
712.85/714.75 c GARBAGE COLLECT
712.85/714.75 c #Conflicts: 408000 | #Constraints: 15640
712.85/714.75 c #Conflicts: 409000 | #Constraints: 16640
712.85/714.75 c #Conflicts: 410000 | #Constraints: 17640
712.85/714.75 c #Conflicts: 411000 | #Constraints: 18640
712.85/714.75 c #Conflicts: 412000 | #Constraints: 19640
712.85/714.75 c #Conflicts: 413000 | #Constraints: 20640
712.85/714.75 c #Conflicts: 414000 | #Constraints: 21640
712.85/714.75 c #Conflicts: 415000 | #Constraints: 22640
712.85/714.75 c #Conflicts: 416000 | #Constraints: 23640
712.85/714.75 c #Conflicts: 417000 | #Constraints: 24640
712.85/714.75 c #Conflicts: 418000 | #Constraints: 25640
712.85/714.75 c #Conflicts: 419000 | #Constraints: 26640
712.85/714.75 c #Conflicts: 420000 | #Constraints: 27640
712.85/714.75 c INPROCESSING
712.85/714.75 c GARBAGE COLLECT
712.85/714.75 c #Conflicts: 421000 | #Constraints: 15839
712.85/714.75 c #Conflicts: 422000 | #Constraints: 16839
712.85/714.75 c #Conflicts: 423000 | #Constraints: 17839
712.85/714.75 c #Conflicts: 424000 | #Constraints: 18839
712.85/714.75 c #Conflicts: 425000 | #Constraints: 19839
712.85/714.75 c #Conflicts: 426000 | #Constraints: 20839
712.85/714.75 c #Conflicts: 427000 | #Constraints: 21839
712.85/714.75 c #Conflicts: 428000 | #Constraints: 22839
712.85/714.75 c #Conflicts: 429000 | #Constraints: 23839
712.85/714.75 c #Conflicts: 430000 | #Constraints: 24839
712.85/714.75 c #Conflicts: 431000 | #Constraints: 25839
712.85/714.75 c #Conflicts: 432000 | #Constraints: 26839
712.85/714.75 c #Conflicts: 433000 | #Constraints: 27839
712.85/714.75 c INPROCESSING
712.85/714.75 c GARBAGE COLLECT
712.85/714.75 c #Conflicts: 434000 | #Constraints: 15838
712.85/714.75 c #Conflicts: 435000 | #Constraints: 16838
712.85/714.75 c #Conflicts: 436000 | #Constraints: 17838
712.85/714.75 c #Conflicts: 437000 | #Constraints: 18838
720.73/722.67 c #Conflicts: 438000 | #Constraints: 19838
720.73/722.67 c #Conflicts: 439000 | #Constraints: 20838
720.73/722.67 c #Conflicts: 440000 | #Constraints: 21838
720.73/722.67 c #Conflicts: 441000 | #Constraints: 22838
720.73/722.67 c GLOBAL bounds - >= 0 @ 718.921
942.86/945.38 c #Conflicts: 442000 | #Constraints: 23840
942.86/945.38 c #Conflicts: 443000 | #Constraints: 24840
942.86/945.38 c #Conflicts: 444000 | #Constraints: 25840
942.86/945.38 c #Conflicts: 445000 | #Constraints: 26840
942.86/945.38 c #Conflicts: 446000 | #Constraints: 27840
942.86/945.38 c INPROCESSING
942.86/945.38 c GARBAGE COLLECT
942.86/945.38 c #Conflicts: 447000 | #Constraints: 15640
942.86/945.38 c #Conflicts: 448000 | #Constraints: 16640
942.86/945.38 c #Conflicts: 449000 | #Constraints: 17640
942.86/945.38 c #Conflicts: 450000 | #Constraints: 18640
942.86/945.38 c #Conflicts: 451000 | #Constraints: 19640
942.86/945.38 c #Conflicts: 452000 | #Constraints: 20640
942.86/945.38 c #Conflicts: 453000 | #Constraints: 21640
942.86/945.38 c #Conflicts: 454000 | #Constraints: 22640
942.86/945.38 c #Conflicts: 455000 | #Constraints: 23640
942.86/945.38 c #Conflicts: 456000 | #Constraints: 24640
942.86/945.38 c #Conflicts: 457000 | #Constraints: 25640
942.86/945.38 c #Conflicts: 458000 | #Constraints: 26640
942.86/945.38 c #Conflicts: 459000 | #Constraints: 27640
942.86/945.38 c #Conflicts: 460000 | #Constraints: 28640
942.86/945.38 c INPROCESSING
942.86/945.38 c GARBAGE COLLECT
942.86/945.38 c #Conflicts: 461000 | #Constraints: 16239
942.86/945.38 c #Conflicts: 462000 | #Constraints: 17239
942.86/945.38 c #Conflicts: 463000 | #Constraints: 18239
942.86/945.38 c #Conflicts: 464000 | #Constraints: 19239
942.86/945.38 c #Conflicts: 465000 | #Constraints: 20239
942.86/945.38 c #Conflicts: 466000 | #Constraints: 21239
942.86/945.38 c #Conflicts: 467000 | #Constraints: 22239
942.86/945.38 c #Conflicts: 468000 | #Constraints: 23239
942.86/945.38 c #Conflicts: 469000 | #Constraints: 24239
942.86/945.38 c #Conflicts: 470000 | #Constraints: 25239
942.86/945.38 c #Conflicts: 471000 | #Constraints: 26239
942.86/945.38 c #Conflicts: 472000 | #Constraints: 27239
942.86/945.38 c #Conflicts: 473000 | #Constraints: 28239
942.86/945.38 c #Conflicts: 474000 | #Constraints: 29239
942.86/945.38 c INPROCESSING
942.86/945.38 c GARBAGE COLLECT
942.86/945.38 c #Conflicts: 475000 | #Constraints: 16640
942.86/945.38 c #Conflicts: 476000 | #Constraints: 17640
942.86/945.38 c #Conflicts: 477000 | #Constraints: 18640
942.86/945.38 c #Conflicts: 478000 | #Constraints: 19640
942.86/945.38 c #Conflicts: 479000 | #Constraints: 20640
942.86/945.38 c #Conflicts: 480000 | #Constraints: 21640
942.86/945.38 c #Conflicts: 481000 | #Constraints: 22640
942.86/945.38 c #Conflicts: 482000 | #Constraints: 23640
942.86/945.38 c #Conflicts: 483000 | #Constraints: 24640
942.86/945.38 c #Conflicts: 484000 | #Constraints: 25640
942.86/945.38 c #Conflicts: 485000 | #Constraints: 26640
942.86/945.38 c #Conflicts: 486000 | #Constraints: 27640
942.86/945.38 c #Conflicts: 487000 | #Constraints: 28640
942.86/945.38 c #Conflicts: 488000 | #Constraints: 29640
942.86/945.38 c INPROCESSING
942.86/945.38 c GARBAGE COLLECT
942.86/945.38 c #Conflicts: 489000 | #Constraints: 16839
942.86/945.38 c #Conflicts: 490000 | #Constraints: 17839
942.86/945.38 c #Conflicts: 491000 | #Constraints: 18839
942.86/945.38 c #Conflicts: 492000 | #Constraints: 19839
942.86/945.38 c #Conflicts: 493000 | #Constraints: 20839
942.86/945.38 c #Conflicts: 494000 | #Constraints: 21839
942.86/945.38 c #Conflicts: 495000 | #Constraints: 22839
942.86/945.38 c #Conflicts: 496000 | #Constraints: 23839
942.86/945.38 c #Conflicts: 497000 | #Constraints: 24839
942.86/945.38 c #Conflicts: 498000 | #Constraints: 25839
942.86/945.38 c #Conflicts: 499000 | #Constraints: 26839
942.86/945.38 c #Conflicts: 500000 | #Constraints: 27839
942.86/945.38 c #Conflicts: 501000 | #Constraints: 28839
942.86/945.38 c #Conflicts: 502000 | #Constraints: 29839
942.86/945.38 c INPROCESSING
942.86/945.38 c GARBAGE COLLECT
942.86/945.38 c #Conflicts: 503000 | #Constraints: 16841
942.86/945.38 c #Conflicts: 504000 | #Constraints: 17841
942.86/945.38 c #Conflicts: 505000 | #Constraints: 18841
942.86/945.38 c #Conflicts: 506000 | #Constraints: 19841
942.86/945.38 c #Conflicts: 507000 | #Constraints: 20841
942.86/945.38 c #Conflicts: 508000 | #Constraints: 21841
942.86/945.38 c #Conflicts: 509000 | #Constraints: 22841
942.86/945.38 c #Conflicts: 510000 | #Constraints: 23841
942.86/945.38 c #Conflicts: 511000 | #Constraints: 24841
942.86/945.38 c #Conflicts: 512000 | #Constraints: 25841
942.86/945.38 c #Conflicts: 513000 | #Constraints: 26841
942.86/945.38 c GLOBAL bounds - >= 0 @ 940.761
1181.38/1184.47 c #Conflicts: 514000 | #Constraints: 27843
1181.38/1184.47 c #Conflicts: 515000 | #Constraints: 28843
1181.38/1184.47 c #Conflicts: 516000 | #Constraints: 29843
1181.38/1184.47 c INPROCESSING
1181.38/1184.47 c GARBAGE COLLECT
1181.38/1184.47 c #Conflicts: 517000 | #Constraints: 16640
1181.38/1184.47 c #Conflicts: 518000 | #Constraints: 17640
1181.38/1184.47 c #Conflicts: 519000 | #Constraints: 18640
1181.38/1184.47 c #Conflicts: 520000 | #Constraints: 19640
1181.38/1184.47 c #Conflicts: 521000 | #Constraints: 20640
1181.38/1184.47 c #Conflicts: 522000 | #Constraints: 21640
1181.38/1184.47 c #Conflicts: 523000 | #Constraints: 22640
1181.38/1184.47 c #Conflicts: 524000 | #Constraints: 23640
1181.38/1184.47 c #Conflicts: 525000 | #Constraints: 24640
1181.38/1184.47 c #Conflicts: 526000 | #Constraints: 25640
1181.38/1184.47 c #Conflicts: 527000 | #Constraints: 26640
1181.38/1184.47 c #Conflicts: 528000 | #Constraints: 27640
1181.38/1184.47 c #Conflicts: 529000 | #Constraints: 28640
1181.38/1184.47 c #Conflicts: 530000 | #Constraints: 29640
1181.38/1184.47 c #Conflicts: 531000 | #Constraints: 30640
1181.38/1184.47 c INPROCESSING
1181.38/1184.47 c GARBAGE COLLECT
1181.38/1184.47 c #Conflicts: 532000 | #Constraints: 17240
1181.38/1184.47 c #Conflicts: 533000 | #Constraints: 18240
1181.38/1184.47 c #Conflicts: 534000 | #Constraints: 19240
1181.38/1184.47 c #Conflicts: 535000 | #Constraints: 20240
1181.38/1184.47 c #Conflicts: 536000 | #Constraints: 21240
1181.38/1184.47 c #Conflicts: 537000 | #Constraints: 22240
1181.38/1184.47 c #Conflicts: 538000 | #Constraints: 23240
1181.38/1184.47 c #Conflicts: 539000 | #Constraints: 24240
1181.38/1184.47 c #Conflicts: 540000 | #Constraints: 25240
1181.38/1184.47 c #Conflicts: 541000 | #Constraints: 26240
1181.38/1184.47 c #Conflicts: 542000 | #Constraints: 27240
1181.38/1184.47 c #Conflicts: 543000 | #Constraints: 28240
1181.38/1184.47 c #Conflicts: 544000 | #Constraints: 29240
1181.38/1184.47 c #Conflicts: 545000 | #Constraints: 30240
1181.38/1184.47 c #Conflicts: 546000 | #Constraints: 31240
1181.38/1184.47 c INPROCESSING
1181.38/1184.47 c GARBAGE COLLECT
1181.38/1184.47 c #Conflicts: 547000 | #Constraints: 17641
1181.38/1184.47 c #Conflicts: 548000 | #Constraints: 18641
1181.38/1184.47 c #Conflicts: 549000 | #Constraints: 19641
1181.38/1184.47 c #Conflicts: 550000 | #Constraints: 20641
1181.38/1184.47 c #Conflicts: 551000 | #Constraints: 21641
1181.38/1184.47 c #Conflicts: 552000 | #Constraints: 22641
1181.38/1184.47 c #Conflicts: 553000 | #Constraints: 23641
1181.38/1184.47 c #Conflicts: 554000 | #Constraints: 24641
1181.38/1184.47 c #Conflicts: 555000 | #Constraints: 25641
1181.38/1184.47 c #Conflicts: 556000 | #Constraints: 26641
1181.38/1184.47 c #Conflicts: 557000 | #Constraints: 27641
1181.38/1184.47 c #Conflicts: 558000 | #Constraints: 28641
1181.38/1184.47 c #Conflicts: 559000 | #Constraints: 29641
1181.38/1184.47 c #Conflicts: 560000 | #Constraints: 30641
1181.38/1184.47 c #Conflicts: 561000 | #Constraints: 31641
1181.38/1184.47 c INPROCESSING
1181.38/1184.47 c GARBAGE COLLECT
1181.38/1184.47 c #Conflicts: 562000 | #Constraints: 17842
1181.38/1184.47 c #Conflicts: 563000 | #Constraints: 18842
1181.38/1184.47 c #Conflicts: 564000 | #Constraints: 19842
1181.38/1184.47 c #Conflicts: 565000 | #Constraints: 20842
1181.38/1184.47 c #Conflicts: 566000 | #Constraints: 21842
1181.38/1184.47 c #Conflicts: 567000 | #Constraints: 22842
1181.38/1184.47 c #Conflicts: 568000 | #Constraints: 23842
1181.38/1184.47 c #Conflicts: 569000 | #Constraints: 24842
1181.38/1184.47 c #Conflicts: 570000 | #Constraints: 25842
1181.38/1184.47 c #Conflicts: 571000 | #Constraints: 26842
1181.38/1184.47 c #Conflicts: 572000 | #Constraints: 27842
1181.38/1184.47 c #Conflicts: 573000 | #Constraints: 28842
1181.38/1184.47 c #Conflicts: 574000 | #Constraints: 29842
1181.38/1184.47 c #Conflicts: 575000 | #Constraints: 30842
1181.38/1184.47 c #Conflicts: 576000 | #Constraints: 31842
1181.38/1184.47 c INPROCESSING
1181.38/1184.47 c GARBAGE COLLECT
1181.38/1184.47 c #Conflicts: 577000 | #Constraints: 17842
1181.38/1184.47 c #Conflicts: 578000 | #Constraints: 18842
1181.38/1184.47 c #Conflicts: 579000 | #Constraints: 19842
1181.38/1184.47 c #Conflicts: 580000 | #Constraints: 20842
1181.38/1184.47 c #Conflicts: 581000 | #Constraints: 21842
1181.38/1184.47 c #Conflicts: 582000 | #Constraints: 22842
1181.38/1184.47 c #Conflicts: 583000 | #Constraints: 23842
1181.38/1184.47 c #Conflicts: 584000 | #Constraints: 24842
1181.38/1184.47 c #Conflicts: 585000 | #Constraints: 25842
1181.38/1184.47 c #Conflicts: 586000 | #Constraints: 26842
1181.38/1184.47 c #Conflicts: 587000 | #Constraints: 27842
1181.38/1184.47 c #Conflicts: 588000 | #Constraints: 28842
1181.38/1184.47 c #Conflicts: 589000 | #Constraints: 29842
1437.06/1440.74 c #Conflicts: 590000 | #Constraints: 30842
1437.06/1440.74 c #Conflicts: 591000 | #Constraints: 31842
1437.06/1440.74 c INPROCESSING
1437.06/1440.74 c GARBAGE COLLECT
1437.06/1440.74 c #Conflicts: 592000 | #Constraints: 17644
1437.06/1440.74 c #Conflicts: 593000 | #Constraints: 18644
1437.06/1440.74 c #Conflicts: 594000 | #Constraints: 19644
1437.06/1440.74 c #Conflicts: 595000 | #Constraints: 20644
1437.06/1440.74 c #Conflicts: 596000 | #Constraints: 21644
1437.06/1440.74 c #Conflicts: 597000 | #Constraints: 22644
1437.06/1440.74 c #Conflicts: 598000 | #Constraints: 23644
1437.06/1440.74 c #Conflicts: 599000 | #Constraints: 24644
1437.06/1440.74 c #Conflicts: 600000 | #Constraints: 25644
1437.06/1440.74 c #Conflicts: 601000 | #Constraints: 26644
1437.06/1440.74 c #Conflicts: 602000 | #Constraints: 27644
1437.06/1440.74 c #Conflicts: 603000 | #Constraints: 28644
1437.06/1440.74 c #Conflicts: 604000 | #Constraints: 29644
1437.06/1440.74 c #Conflicts: 605000 | #Constraints: 30644
1437.06/1440.74 c #Conflicts: 606000 | #Constraints: 31644
1437.06/1440.74 c #Conflicts: 607000 | #Constraints: 32644
1437.06/1440.74 c INPROCESSING
1437.06/1440.74 c GARBAGE COLLECT
1437.06/1440.74 c #Conflicts: 608000 | #Constraints: 18240
1437.06/1440.74 c #Conflicts: 609000 | #Constraints: 19240
1437.06/1440.74 c #Conflicts: 610000 | #Constraints: 20240
1437.06/1440.74 c #Conflicts: 611000 | #Constraints: 21240
1437.06/1440.74 c #Conflicts: 612000 | #Constraints: 22240
1437.06/1440.74 c #Conflicts: 613000 | #Constraints: 23240
1437.06/1440.74 c #Conflicts: 614000 | #Constraints: 24240
1437.06/1440.74 c #Conflicts: 615000 | #Constraints: 25240
1437.06/1440.74 c #Conflicts: 616000 | #Constraints: 26240
1437.06/1440.74 c #Conflicts: 617000 | #Constraints: 27240
1437.06/1440.74 c #Conflicts: 618000 | #Constraints: 28240
1437.06/1440.74 c #Conflicts: 619000 | #Constraints: 29240
1437.06/1440.74 c #Conflicts: 620000 | #Constraints: 30240
1437.06/1440.74 c #Conflicts: 621000 | #Constraints: 31240
1437.06/1440.74 c #Conflicts: 622000 | #Constraints: 32240
1437.06/1440.74 c #Conflicts: 623000 | #Constraints: 33240
1437.06/1440.74 c INPROCESSING
1437.06/1440.74 c GARBAGE COLLECT
1437.06/1440.74 c #Conflicts: 624000 | #Constraints: 18639
1437.06/1440.74 c #Conflicts: 625000 | #Constraints: 19639
1437.06/1440.74 c #Conflicts: 626000 | #Constraints: 20639
1437.06/1440.74 c #Conflicts: 627000 | #Constraints: 21639
1437.06/1440.74 c #Conflicts: 628000 | #Constraints: 22639
1437.06/1440.74 c #Conflicts: 629000 | #Constraints: 23639
1437.06/1440.74 c #Conflicts: 630000 | #Constraints: 24639
1437.06/1440.74 c #Conflicts: 631000 | #Constraints: 25639
1437.06/1440.74 c #Conflicts: 632000 | #Constraints: 26639
1437.06/1440.74 c #Conflicts: 633000 | #Constraints: 27639
1437.06/1440.74 c #Conflicts: 634000 | #Constraints: 28639
1437.06/1440.74 c #Conflicts: 635000 | #Constraints: 29639
1437.06/1440.74 c #Conflicts: 636000 | #Constraints: 30639
1437.06/1440.74 c #Conflicts: 637000 | #Constraints: 31639
1437.06/1440.74 c #Conflicts: 638000 | #Constraints: 32639
1437.06/1440.74 c #Conflicts: 639000 | #Constraints: 33639
1437.06/1440.74 c INPROCESSING
1437.06/1440.74 c GARBAGE COLLECT
1437.06/1440.74 c #Conflicts: 640000 | #Constraints: 18841
1437.06/1440.74 c #Conflicts: 641000 | #Constraints: 19841
1437.06/1440.74 c #Conflicts: 642000 | #Constraints: 20841
1437.06/1440.74 c #Conflicts: 643000 | #Constraints: 21841
1437.06/1440.74 c #Conflicts: 644000 | #Constraints: 22841
1437.06/1440.74 c #Conflicts: 645000 | #Constraints: 23841
1437.06/1440.74 c #Conflicts: 646000 | #Constraints: 24841
1437.06/1440.74 c #Conflicts: 647000 | #Constraints: 25841
1437.06/1440.74 c #Conflicts: 648000 | #Constraints: 26841
1437.06/1440.74 c #Conflicts: 649000 | #Constraints: 27841
1437.06/1440.74 c #Conflicts: 650000 | #Constraints: 28841
1437.06/1440.74 c #Conflicts: 651000 | #Constraints: 29841
1437.06/1440.74 c #Conflicts: 652000 | #Constraints: 30841
1437.06/1440.74 c #Conflicts: 653000 | #Constraints: 31841
1437.06/1440.74 c #Conflicts: 654000 | #Constraints: 32841
1437.06/1440.74 c #Conflicts: 655000 | #Constraints: 33841
1437.06/1440.74 c INPROCESSING
1437.06/1440.74 c GARBAGE COLLECT
1437.06/1440.74 c #Conflicts: 656000 | #Constraints: 18840
1437.06/1440.74 c #Conflicts: 657000 | #Constraints: 19840
1437.06/1440.74 c #Conflicts: 658000 | #Constraints: 20840
1437.06/1440.74 c #Conflicts: 659000 | #Constraints: 21840
1437.06/1440.74 c #Conflicts: 660000 | #Constraints: 22840
1437.06/1440.74 c #Conflicts: 661000 | #Constraints: 23840
1437.06/1440.74 c #Conflicts: 662000 | #Constraints: 24840
1437.06/1440.74 c #Conflicts: 663000 | #Constraints: 25840
1437.06/1440.74 c #Conflicts: 664000 | #Constraints: 26840
1437.06/1440.74 c #Conflicts: 665000 | #Constraints: 27840
1700.02/1704.33 c #Conflicts: 666000 | #Constraints: 28840
1700.02/1704.33 c #Conflicts: 667000 | #Constraints: 29840
1700.02/1704.33 c #Conflicts: 668000 | #Constraints: 30840
1700.02/1704.33 c #Conflicts: 669000 | #Constraints: 31840
1700.02/1704.33 c #Conflicts: 670000 | #Constraints: 32840
1700.02/1704.33 c #Conflicts: 671000 | #Constraints: 33840
1700.02/1704.33 c INPROCESSING
1700.02/1704.33 c GARBAGE COLLECT
1700.02/1704.33 c #Conflicts: 672000 | #Constraints: 18639
1700.02/1704.33 c #Conflicts: 673000 | #Constraints: 19639
1700.02/1704.33 c #Conflicts: 674000 | #Constraints: 20639
1700.02/1704.33 c #Conflicts: 675000 | #Constraints: 21639
1700.02/1704.33 c #Conflicts: 676000 | #Constraints: 22639
1700.02/1704.33 c #Conflicts: 677000 | #Constraints: 23639
1700.02/1704.33 c #Conflicts: 678000 | #Constraints: 24639
1700.02/1704.33 c #Conflicts: 679000 | #Constraints: 25639
1700.02/1704.33 c #Conflicts: 680000 | #Constraints: 26639
1700.02/1704.33 c #Conflicts: 681000 | #Constraints: 27639
1700.02/1704.33 c #Conflicts: 682000 | #Constraints: 28639
1700.02/1704.33 c #Conflicts: 683000 | #Constraints: 29639
1700.02/1704.33 c #Conflicts: 684000 | #Constraints: 30639
1700.02/1704.33 c #Conflicts: 685000 | #Constraints: 31639
1700.02/1704.33 c #Conflicts: 686000 | #Constraints: 32639
1700.02/1704.33 c #Conflicts: 687000 | #Constraints: 33639
1700.02/1704.33 c #Conflicts: 688000 | #Constraints: 34639
1700.02/1704.33 c INPROCESSING
1700.02/1704.33 c GARBAGE COLLECT
1700.02/1704.33 c #Conflicts: 689000 | #Constraints: 19244
1700.02/1704.33 c #Conflicts: 690000 | #Constraints: 20244
1700.02/1704.33 c #Conflicts: 691000 | #Constraints: 21244
1700.02/1704.33 c #Conflicts: 692000 | #Constraints: 22244
1700.02/1704.33 c #Conflicts: 693000 | #Constraints: 23244
1700.02/1704.33 c #Conflicts: 694000 | #Constraints: 24244
1700.02/1704.33 c #Conflicts: 695000 | #Constraints: 25244
1700.02/1704.33 c #Conflicts: 696000 | #Constraints: 26244
1700.02/1704.33 c #Conflicts: 697000 | #Constraints: 27244
1700.02/1704.33 c #Conflicts: 698000 | #Constraints: 28244
1700.02/1704.33 c #Conflicts: 699000 | #Constraints: 29244
1700.02/1704.33 c #Conflicts: 700000 | #Constraints: 30244
1700.02/1704.33 c #Conflicts: 701000 | #Constraints: 31244
1700.02/1704.33 c #Conflicts: 702000 | #Constraints: 32244
1700.02/1704.33 c #Conflicts: 703000 | #Constraints: 33244
1700.02/1704.33 c #Conflicts: 704000 | #Constraints: 34244
1700.02/1704.33 c #Conflicts: 705000 | #Constraints: 35244
1700.02/1704.33 c INPROCESSING
1700.02/1704.33 c GARBAGE COLLECT
1700.02/1704.33 c #Conflicts: 706000 | #Constraints: 19643
1700.02/1704.33 c #Conflicts: 707000 | #Constraints: 20643
1700.02/1704.33 c #Conflicts: 708000 | #Constraints: 21643
1700.02/1704.33 c #Conflicts: 709000 | #Constraints: 22643
1700.02/1704.33 c #Conflicts: 710000 | #Constraints: 23643
1700.02/1704.33 c #Conflicts: 711000 | #Constraints: 24643
1700.02/1704.33 c #Conflicts: 712000 | #Constraints: 25643
1700.02/1704.33 c #Conflicts: 713000 | #Constraints: 26643
1700.02/1704.33 c #Conflicts: 714000 | #Constraints: 27643
1700.02/1704.33 c #Conflicts: 715000 | #Constraints: 28643
1700.02/1704.33 c #Conflicts: 716000 | #Constraints: 29643
1700.02/1704.33 c #Conflicts: 717000 | #Constraints: 30643
1700.02/1704.33 c #Conflicts: 718000 | #Constraints: 31643
1700.02/1704.33 c #Conflicts: 719000 | #Constraints: 32643
1700.02/1704.33 c #Conflicts: 720000 | #Constraints: 33643
1700.02/1704.33 c #Conflicts: 721000 | #Constraints: 34643
1700.02/1704.33 c #Conflicts: 722000 | #Constraints: 35643
1700.02/1704.33 c INPROCESSING
1700.02/1704.33 c GARBAGE COLLECT
1700.02/1704.33 c #Conflicts: 723000 | #Constraints: 19842
1700.02/1704.33 c #Conflicts: 724000 | #Constraints: 20842
1700.02/1704.33 c #Conflicts: 725000 | #Constraints: 21842
1700.02/1704.33 c #Conflicts: 726000 | #Constraints: 22842
1700.02/1704.33 c #Conflicts: 727000 | #Constraints: 23842
1700.02/1704.33 c #Conflicts: 728000 | #Constraints: 24842
1700.02/1704.33 c #Conflicts: 729000 | #Constraints: 25842
1700.02/1704.33 c #Conflicts: 730000 | #Constraints: 26842
1700.02/1704.33 c #Conflicts: 731000 | #Constraints: 27842
1700.02/1704.33 c #Conflicts: 732000 | #Constraints: 28842
1700.02/1704.33 c #Conflicts: 733000 | #Constraints: 29842
1700.02/1704.33 c #Conflicts: 734000 | #Constraints: 30842
1700.02/1704.33 c #Conflicts: 735000 | #Constraints: 31842
1700.02/1704.33 c #Conflicts: 736000 | #Constraints: 32842
1700.02/1704.33 c #Conflicts: 737000 | #Constraints: 33842
1700.02/1704.33 c #Conflicts: 738000 | #Constraints: 34842
1700.02/1704.33 c #Conflicts: 739000 | #Constraints: 35842
1700.02/1704.33 c INPROCESSING
1700.02/1704.33 c GARBAGE COLLECT
1700.02/1704.33 c #Conflicts: 740000 | #Constraints: 19843
1975.54/1980.51 c #Conflicts: 741000 | #Constraints: 20843
1975.54/1980.51 c #Conflicts: 742000 | #Constraints: 21843
1975.54/1980.51 c #Conflicts: 743000 | #Constraints: 22843
1975.54/1980.51 c #Conflicts: 744000 | #Constraints: 23843
1975.54/1980.51 c #Conflicts: 745000 | #Constraints: 24843
1975.54/1980.51 c #Conflicts: 746000 | #Constraints: 25843
1975.54/1980.51 c #Conflicts: 747000 | #Constraints: 26843
1975.54/1980.51 c #Conflicts: 748000 | #Constraints: 27843
1975.54/1980.51 c #Conflicts: 749000 | #Constraints: 28843
1975.54/1980.51 c #Conflicts: 750000 | #Constraints: 29843
1975.54/1980.51 c #Conflicts: 751000 | #Constraints: 30843
1975.54/1980.51 c #Conflicts: 752000 | #Constraints: 31843
1975.54/1980.51 c #Conflicts: 753000 | #Constraints: 32843
1975.54/1980.51 c #Conflicts: 754000 | #Constraints: 33843
1975.54/1980.51 c #Conflicts: 755000 | #Constraints: 34843
1975.54/1980.51 c #Conflicts: 756000 | #Constraints: 35843
1975.54/1980.51 c INPROCESSING
1975.54/1980.51 c GARBAGE COLLECT
1975.54/1980.51 c #Conflicts: 757000 | #Constraints: 19645
1975.54/1980.51 c #Conflicts: 758000 | #Constraints: 20645
1975.54/1980.51 c #Conflicts: 759000 | #Constraints: 21645
1975.54/1980.51 c #Conflicts: 760000 | #Constraints: 22645
1975.54/1980.51 c #Conflicts: 761000 | #Constraints: 23645
1975.54/1980.51 c #Conflicts: 762000 | #Constraints: 24645
1975.54/1980.51 c #Conflicts: 763000 | #Constraints: 25645
1975.54/1980.51 c #Conflicts: 764000 | #Constraints: 26645
1975.54/1980.51 c #Conflicts: 765000 | #Constraints: 27645
1975.54/1980.51 c #Conflicts: 766000 | #Constraints: 28645
1975.54/1980.51 c #Conflicts: 767000 | #Constraints: 29645
1975.54/1980.51 c #Conflicts: 768000 | #Constraints: 30645
1975.54/1980.51 c #Conflicts: 769000 | #Constraints: 31645
1975.54/1980.51 c #Conflicts: 770000 | #Constraints: 32645
1975.54/1980.51 c #Conflicts: 771000 | #Constraints: 33645
1975.54/1980.51 c #Conflicts: 772000 | #Constraints: 34645
1975.54/1980.51 c #Conflicts: 773000 | #Constraints: 35645
1975.54/1980.51 c #Conflicts: 774000 | #Constraints: 36645
1975.54/1980.51 c INPROCESSING
1975.54/1980.51 c GARBAGE COLLECT
1975.54/1980.51 c #Conflicts: 775000 | #Constraints: 20247
1975.54/1980.51 c #Conflicts: 776000 | #Constraints: 21247
1975.54/1980.51 c #Conflicts: 777000 | #Constraints: 22247
1975.54/1980.51 c #Conflicts: 778000 | #Constraints: 23247
1975.54/1980.51 c #Conflicts: 779000 | #Constraints: 24247
1975.54/1980.51 c #Conflicts: 780000 | #Constraints: 25247
1975.54/1980.51 c #Conflicts: 781000 | #Constraints: 26247
1975.54/1980.51 c #Conflicts: 782000 | #Constraints: 27247
1975.54/1980.51 c #Conflicts: 783000 | #Constraints: 28247
1975.54/1980.51 c #Conflicts: 784000 | #Constraints: 29247
1975.54/1980.51 c #Conflicts: 785000 | #Constraints: 30247
1975.54/1980.51 c #Conflicts: 786000 | #Constraints: 31247
1975.54/1980.51 c #Conflicts: 787000 | #Constraints: 32247
1975.54/1980.51 c #Conflicts: 788000 | #Constraints: 33247
1975.54/1980.51 c #Conflicts: 789000 | #Constraints: 34247
1975.54/1980.51 c #Conflicts: 790000 | #Constraints: 35247
1975.54/1980.51 c #Conflicts: 791000 | #Constraints: 36247
1975.54/1980.51 c #Conflicts: 792000 | #Constraints: 37247
1975.54/1980.51 c INPROCESSING
1975.54/1980.51 c GARBAGE COLLECT
1975.54/1980.51 c #Conflicts: 793000 | #Constraints: 20650
1975.54/1980.51 c #Conflicts: 794000 | #Constraints: 21650
1975.54/1980.51 c #Conflicts: 795000 | #Constraints: 22650
1975.54/1980.51 c #Conflicts: 796000 | #Constraints: 23650
1975.54/1980.51 c #Conflicts: 797000 | #Constraints: 24650
1975.54/1980.51 c #Conflicts: 798000 | #Constraints: 25650
1975.54/1980.51 c #Conflicts: 799000 | #Constraints: 26650
1975.54/1980.51 c #Conflicts: 800000 | #Constraints: 27650
1975.54/1980.51 c #Conflicts: 801000 | #Constraints: 28650
1975.54/1980.51 c #Conflicts: 802000 | #Constraints: 29650
1975.54/1980.51 c #Conflicts: 803000 | #Constraints: 30650
1975.54/1980.51 c #Conflicts: 804000 | #Constraints: 31650
1975.54/1980.51 c #Conflicts: 805000 | #Constraints: 32650
1975.54/1980.51 c #Conflicts: 806000 | #Constraints: 33650
1975.54/1980.51 c #Conflicts: 807000 | #Constraints: 34650
1975.54/1980.51 c #Conflicts: 808000 | #Constraints: 35650
1975.54/1980.51 c #Conflicts: 809000 | #Constraints: 36650
1975.54/1980.51 c #Conflicts: 810000 | #Constraints: 37650
1975.54/1980.51 c INPROCESSING
1975.54/1980.51 c GARBAGE COLLECT
1975.54/1980.51 c #Conflicts: 811000 | #Constraints: 20848
1975.54/1980.51 c #Conflicts: 812000 | #Constraints: 21848
1975.54/1980.51 c #Conflicts: 813000 | #Constraints: 22848
1975.54/1980.51 c #Conflicts: 814000 | #Constraints: 23848
1975.54/1980.51 c #Conflicts: 815000 | #Constraints: 24848
1975.54/1980.51 c #Conflicts: 816000 | #Constraints: 25848
1975.54/1980.51 c #Conflicts: 817000 | #Constraints: 26848
2266.82/2272.50 c #Conflicts: 818000 | #Constraints: 27848
2266.82/2272.50 c #Conflicts: 819000 | #Constraints: 28848
2266.82/2272.50 c #Conflicts: 820000 | #Constraints: 29848
2266.82/2272.50 c #Conflicts: 821000 | #Constraints: 30848
2266.82/2272.50 c #Conflicts: 822000 | #Constraints: 31848
2266.82/2272.50 c #Conflicts: 823000 | #Constraints: 32848
2266.82/2272.50 c #Conflicts: 824000 | #Constraints: 33848
2266.82/2272.50 c #Conflicts: 825000 | #Constraints: 34848
2266.82/2272.50 c #Conflicts: 826000 | #Constraints: 35848
2266.82/2272.50 c #Conflicts: 827000 | #Constraints: 36848
2266.82/2272.50 c #Conflicts: 828000 | #Constraints: 37848
2266.82/2272.50 c INPROCESSING
2266.82/2272.50 c GARBAGE COLLECT
2266.82/2272.50 c #Conflicts: 829000 | #Constraints: 20845
2266.82/2272.50 c #Conflicts: 830000 | #Constraints: 21845
2266.82/2272.50 c #Conflicts: 831000 | #Constraints: 22845
2266.82/2272.50 c #Conflicts: 832000 | #Constraints: 23845
2266.82/2272.50 c #Conflicts: 833000 | #Constraints: 24845
2266.82/2272.50 c #Conflicts: 834000 | #Constraints: 25845
2266.82/2272.50 c #Conflicts: 835000 | #Constraints: 26845
2266.82/2272.50 c #Conflicts: 836000 | #Constraints: 27845
2266.82/2272.50 c #Conflicts: 837000 | #Constraints: 28845
2266.82/2272.50 c #Conflicts: 838000 | #Constraints: 29845
2266.82/2272.50 c #Conflicts: 839000 | #Constraints: 30845
2266.82/2272.50 c #Conflicts: 840000 | #Constraints: 31845
2266.82/2272.50 c #Conflicts: 841000 | #Constraints: 32845
2266.82/2272.50 c #Conflicts: 842000 | #Constraints: 33845
2266.82/2272.50 c #Conflicts: 843000 | #Constraints: 34845
2266.82/2272.50 c #Conflicts: 844000 | #Constraints: 35845
2266.82/2272.50 c #Conflicts: 845000 | #Constraints: 36845
2266.82/2272.50 c #Conflicts: 846000 | #Constraints: 37845
2266.82/2272.50 c INPROCESSING
2266.82/2272.50 c GARBAGE COLLECT
2266.82/2272.50 c #Conflicts: 847000 | #Constraints: 20644
2266.82/2272.50 c #Conflicts: 848000 | #Constraints: 21644
2266.82/2272.50 c #Conflicts: 849000 | #Constraints: 22644
2266.82/2272.50 c #Conflicts: 850000 | #Constraints: 23644
2266.82/2272.50 c #Conflicts: 851000 | #Constraints: 24644
2266.82/2272.50 c #Conflicts: 852000 | #Constraints: 25644
2266.82/2272.50 c #Conflicts: 853000 | #Constraints: 26644
2266.82/2272.50 c #Conflicts: 854000 | #Constraints: 27644
2266.82/2272.50 c #Conflicts: 855000 | #Constraints: 28644
2266.82/2272.50 c #Conflicts: 856000 | #Constraints: 29644
2266.82/2272.50 c #Conflicts: 857000 | #Constraints: 30644
2266.82/2272.50 c #Conflicts: 858000 | #Constraints: 31644
2266.82/2272.50 c #Conflicts: 859000 | #Constraints: 32644
2266.82/2272.50 c #Conflicts: 860000 | #Constraints: 33644
2266.82/2272.50 c #Conflicts: 861000 | #Constraints: 34644
2266.82/2272.50 c #Conflicts: 862000 | #Constraints: 35644
2266.82/2272.50 c #Conflicts: 863000 | #Constraints: 36644
2266.82/2272.50 c #Conflicts: 864000 | #Constraints: 37644
2266.82/2272.50 c #Conflicts: 865000 | #Constraints: 38644
2266.82/2272.50 c INPROCESSING
2266.82/2272.50 c GARBAGE COLLECT
2266.82/2272.50 c #Conflicts: 866000 | #Constraints: 21248
2266.82/2272.50 c #Conflicts: 867000 | #Constraints: 22248
2266.82/2272.50 c #Conflicts: 868000 | #Constraints: 23248
2266.82/2272.50 c #Conflicts: 869000 | #Constraints: 24248
2266.82/2272.50 c #Conflicts: 870000 | #Constraints: 25248
2266.82/2272.50 c #Conflicts: 871000 | #Constraints: 26248
2266.82/2272.50 c #Conflicts: 872000 | #Constraints: 27248
2266.82/2272.50 c #Conflicts: 873000 | #Constraints: 28248
2266.82/2272.50 c #Conflicts: 874000 | #Constraints: 29248
2266.82/2272.50 c #Conflicts: 875000 | #Constraints: 30248
2266.82/2272.50 c #Conflicts: 876000 | #Constraints: 31248
2266.82/2272.50 c #Conflicts: 877000 | #Constraints: 32248
2266.82/2272.50 c #Conflicts: 878000 | #Constraints: 33248
2266.82/2272.50 c #Conflicts: 879000 | #Constraints: 34248
2266.82/2272.50 c #Conflicts: 880000 | #Constraints: 35248
2266.82/2272.50 c #Conflicts: 881000 | #Constraints: 36248
2266.82/2272.50 c #Conflicts: 882000 | #Constraints: 37248
2266.82/2272.50 c #Conflicts: 883000 | #Constraints: 38248
2266.82/2272.50 c #Conflicts: 884000 | #Constraints: 39248
2266.82/2272.50 c INPROCESSING
2266.82/2272.50 c GARBAGE COLLECT
2266.82/2272.50 c #Conflicts: 885000 | #Constraints: 21645
2266.82/2272.50 c #Conflicts: 886000 | #Constraints: 22645
2266.82/2272.50 c #Conflicts: 887000 | #Constraints: 23645
2266.82/2272.50 c #Conflicts: 888000 | #Constraints: 24645
2266.82/2272.50 c #Conflicts: 889000 | #Constraints: 25645
2266.82/2272.50 c #Conflicts: 890000 | #Constraints: 26645
2266.82/2272.50 c #Conflicts: 891000 | #Constraints: 27645
2266.82/2272.50 c #Conflicts: 892000 | #Constraints: 28645
2266.82/2272.50 c #Conflicts: 893000 | #Constraints: 29645
2573.78/2580.28 c #Conflicts: 894000 | #Constraints: 30645
2573.78/2580.28 c #Conflicts: 895000 | #Constraints: 31645
2573.78/2580.28 c #Conflicts: 896000 | #Constraints: 32645
2573.78/2580.28 c #Conflicts: 897000 | #Constraints: 33645
2573.78/2580.28 c #Conflicts: 898000 | #Constraints: 34645
2573.78/2580.28 c #Conflicts: 899000 | #Constraints: 35645
2573.78/2580.28 c #Conflicts: 900000 | #Constraints: 36645
2573.78/2580.28 c #Conflicts: 901000 | #Constraints: 37645
2573.78/2580.28 c #Conflicts: 902000 | #Constraints: 38645
2573.78/2580.28 c #Conflicts: 903000 | #Constraints: 39645
2573.78/2580.28 c INPROCESSING
2573.78/2580.28 c GARBAGE COLLECT
2573.78/2580.28 c #Conflicts: 904000 | #Constraints: 21843
2573.78/2580.28 c #Conflicts: 905000 | #Constraints: 22843
2573.78/2580.28 c #Conflicts: 906000 | #Constraints: 23843
2573.78/2580.28 c #Conflicts: 907000 | #Constraints: 24843
2573.78/2580.28 c #Conflicts: 908000 | #Constraints: 25843
2573.78/2580.28 c #Conflicts: 909000 | #Constraints: 26843
2573.78/2580.28 c #Conflicts: 910000 | #Constraints: 27843
2573.78/2580.28 c #Conflicts: 911000 | #Constraints: 28843
2573.78/2580.28 c #Conflicts: 912000 | #Constraints: 29843
2573.78/2580.28 c #Conflicts: 913000 | #Constraints: 30843
2573.78/2580.28 c #Conflicts: 914000 | #Constraints: 31843
2573.78/2580.28 c #Conflicts: 915000 | #Constraints: 32843
2573.78/2580.28 c #Conflicts: 916000 | #Constraints: 33843
2573.78/2580.28 c #Conflicts: 917000 | #Constraints: 34843
2573.78/2580.28 c #Conflicts: 918000 | #Constraints: 35843
2573.78/2580.28 c #Conflicts: 919000 | #Constraints: 36843
2573.78/2580.28 c #Conflicts: 920000 | #Constraints: 37843
2573.78/2580.28 c #Conflicts: 921000 | #Constraints: 38843
2573.78/2580.28 c #Conflicts: 922000 | #Constraints: 39843
2573.78/2580.28 c INPROCESSING
2573.78/2580.28 c GARBAGE COLLECT
2573.78/2580.28 c #Conflicts: 923000 | #Constraints: 21843
2573.78/2580.28 c #Conflicts: 924000 | #Constraints: 22843
2573.78/2580.28 c #Conflicts: 925000 | #Constraints: 23843
2573.78/2580.28 c #Conflicts: 926000 | #Constraints: 24843
2573.78/2580.28 c #Conflicts: 927000 | #Constraints: 25843
2573.78/2580.28 c #Conflicts: 928000 | #Constraints: 26843
2573.78/2580.28 c #Conflicts: 929000 | #Constraints: 27843
2573.78/2580.28 c #Conflicts: 930000 | #Constraints: 28843
2573.78/2580.28 c #Conflicts: 931000 | #Constraints: 29843
2573.78/2580.28 c #Conflicts: 932000 | #Constraints: 30843
2573.78/2580.28 c #Conflicts: 933000 | #Constraints: 31843
2573.78/2580.28 c #Conflicts: 934000 | #Constraints: 32843
2573.78/2580.28 c #Conflicts: 935000 | #Constraints: 33843
2573.78/2580.28 c #Conflicts: 936000 | #Constraints: 34843
2573.78/2580.28 c #Conflicts: 937000 | #Constraints: 35843
2573.78/2580.28 c #Conflicts: 938000 | #Constraints: 36843
2573.78/2580.28 c #Conflicts: 939000 | #Constraints: 37843
2573.78/2580.28 c #Conflicts: 940000 | #Constraints: 38843
2573.78/2580.28 c #Conflicts: 941000 | #Constraints: 39843
2573.78/2580.28 c INPROCESSING
2573.78/2580.28 c GARBAGE COLLECT
2573.78/2580.28 c #Conflicts: 942000 | #Constraints: 21642
2573.78/2580.28 c #Conflicts: 943000 | #Constraints: 22642
2573.78/2580.28 c #Conflicts: 944000 | #Constraints: 23642
2573.78/2580.28 c #Conflicts: 945000 | #Constraints: 24642
2573.78/2580.28 c #Conflicts: 946000 | #Constraints: 25642
2573.78/2580.28 c #Conflicts: 947000 | #Constraints: 26642
2573.78/2580.28 c #Conflicts: 948000 | #Constraints: 27642
2573.78/2580.28 c #Conflicts: 949000 | #Constraints: 28642
2573.78/2580.28 c #Conflicts: 950000 | #Constraints: 29642
2573.78/2580.28 c #Conflicts: 951000 | #Constraints: 30642
2573.78/2580.28 c #Conflicts: 952000 | #Constraints: 31642
2573.78/2580.28 c #Conflicts: 953000 | #Constraints: 32642
2573.78/2580.28 c #Conflicts: 954000 | #Constraints: 33642
2573.78/2580.28 c #Conflicts: 955000 | #Constraints: 34642
2573.78/2580.28 c #Conflicts: 956000 | #Constraints: 35642
2573.78/2580.28 c #Conflicts: 957000 | #Constraints: 36642
2573.78/2580.28 c #Conflicts: 958000 | #Constraints: 37642
2573.78/2580.28 c #Conflicts: 959000 | #Constraints: 38642
2573.78/2580.28 c #Conflicts: 960000 | #Constraints: 39642
2573.78/2580.28 c #Conflicts: 961000 | #Constraints: 40642
2573.78/2580.28 c INPROCESSING
2573.78/2580.28 c GARBAGE COLLECT
2573.78/2580.28 c #Conflicts: 962000 | #Constraints: 22243
2573.78/2580.28 c #Conflicts: 963000 | #Constraints: 23243
2573.78/2580.28 c #Conflicts: 964000 | #Constraints: 24243
2573.78/2580.28 c #Conflicts: 965000 | #Constraints: 25243
2573.78/2580.28 c #Conflicts: 966000 | #Constraints: 26243
2573.78/2580.28 c #Conflicts: 967000 | #Constraints: 27243
2573.78/2580.28 c #Conflicts: 968000 | #Constraints: 28243
2573.78/2580.28 c #Conflicts: 969000 | #Constraints: 29243
2901.27/2908.58 c #Conflicts: 970000 | #Constraints: 30243
2901.27/2908.58 c #Conflicts: 971000 | #Constraints: 31243
2901.27/2908.58 c #Conflicts: 972000 | #Constraints: 32243
2901.27/2908.58 c #Conflicts: 973000 | #Constraints: 33243
2901.27/2908.58 c #Conflicts: 974000 | #Constraints: 34243
2901.27/2908.58 c #Conflicts: 975000 | #Constraints: 35243
2901.27/2908.58 c #Conflicts: 976000 | #Constraints: 36243
2901.27/2908.58 c #Conflicts: 977000 | #Constraints: 37243
2901.27/2908.58 c #Conflicts: 978000 | #Constraints: 38243
2901.27/2908.58 c #Conflicts: 979000 | #Constraints: 39243
2901.27/2908.58 c #Conflicts: 980000 | #Constraints: 40243
2901.27/2908.58 c #Conflicts: 981000 | #Constraints: 41243
2901.27/2908.58 c INPROCESSING
2901.27/2908.58 c GARBAGE COLLECT
2901.27/2908.58 c #Conflicts: 982000 | #Constraints: 22644
2901.27/2908.58 c #Conflicts: 983000 | #Constraints: 23644
2901.27/2908.58 c #Conflicts: 984000 | #Constraints: 24644
2901.27/2908.58 c #Conflicts: 985000 | #Constraints: 25644
2901.27/2908.58 c #Conflicts: 986000 | #Constraints: 26644
2901.27/2908.58 c #Conflicts: 987000 | #Constraints: 27644
2901.27/2908.58 c #Conflicts: 988000 | #Constraints: 28644
2901.27/2908.58 c #Conflicts: 989000 | #Constraints: 29644
2901.27/2908.58 c #Conflicts: 990000 | #Constraints: 30644
2901.27/2908.58 c #Conflicts: 991000 | #Constraints: 31644
2901.27/2908.58 c #Conflicts: 992000 | #Constraints: 32644
2901.27/2908.58 c #Conflicts: 993000 | #Constraints: 33644
2901.27/2908.58 c #Conflicts: 994000 | #Constraints: 34644
2901.27/2908.58 c #Conflicts: 995000 | #Constraints: 35644
2901.27/2908.58 c #Conflicts: 996000 | #Constraints: 36644
2901.27/2908.58 c #Conflicts: 997000 | #Constraints: 37644
2901.27/2908.58 c #Conflicts: 998000 | #Constraints: 38644
2901.27/2908.58 c #Conflicts: 999000 | #Constraints: 39644
2901.27/2908.58 c #Conflicts: 1000000 | #Constraints: 40644
2901.27/2908.58 c #Conflicts: 1001000 | #Constraints: 41644
2901.27/2908.58 c INPROCESSING
2901.27/2908.58 c GARBAGE COLLECT
2901.27/2908.58 c #Conflicts: 1002000 | #Constraints: 22843
2901.27/2908.58 c #Conflicts: 1003000 | #Constraints: 23843
2901.27/2908.58 c #Conflicts: 1004000 | #Constraints: 24843
2901.27/2908.58 c #Conflicts: 1005000 | #Constraints: 25843
2901.27/2908.58 c #Conflicts: 1006000 | #Constraints: 26843
2901.27/2908.58 c #Conflicts: 1007000 | #Constraints: 27843
2901.27/2908.58 c #Conflicts: 1008000 | #Constraints: 28843
2901.27/2908.58 c #Conflicts: 1009000 | #Constraints: 29843
2901.27/2908.58 c #Conflicts: 1010000 | #Constraints: 30843
2901.27/2908.58 c #Conflicts: 1011000 | #Constraints: 31843
2901.27/2908.58 c #Conflicts: 1012000 | #Constraints: 32843
2901.27/2908.58 c #Conflicts: 1013000 | #Constraints: 33843
2901.27/2908.58 c #Conflicts: 1014000 | #Constraints: 34843
2901.27/2908.58 c #Conflicts: 1015000 | #Constraints: 35843
2901.27/2908.58 c #Conflicts: 1016000 | #Constraints: 36843
2901.27/2908.58 c #Conflicts: 1017000 | #Constraints: 37843
2901.27/2908.58 c #Conflicts: 1018000 | #Constraints: 38843
2901.27/2908.58 c #Conflicts: 1019000 | #Constraints: 39843
2901.27/2908.58 c #Conflicts: 1020000 | #Constraints: 40843
2901.27/2908.58 c #Conflicts: 1021000 | #Constraints: 41843
2901.27/2908.58 c INPROCESSING
2901.27/2908.58 c GARBAGE COLLECT
2901.27/2908.58 c #Conflicts: 1022000 | #Constraints: 22848
2901.27/2908.58 c #Conflicts: 1023000 | #Constraints: 23848
2901.27/2908.58 c #Conflicts: 1024000 | #Constraints: 24848
2901.27/2908.58 c #Conflicts: 1025000 | #Constraints: 25848
2901.27/2908.58 c #Conflicts: 1026000 | #Constraints: 26848
2901.27/2908.58 c #Conflicts: 1027000 | #Constraints: 27848
2901.27/2908.58 c #Conflicts: 1028000 | #Constraints: 28848
2901.27/2908.58 c #Conflicts: 1029000 | #Constraints: 29848
2901.27/2908.58 c #Conflicts: 1030000 | #Constraints: 30848
2901.27/2908.58 c #Conflicts: 1031000 | #Constraints: 31848
2901.27/2908.58 c #Conflicts: 1032000 | #Constraints: 32848
2901.27/2908.58 c #Conflicts: 1033000 | #Constraints: 33848
2901.27/2908.58 c #Conflicts: 1034000 | #Constraints: 34848
2901.27/2908.58 c #Conflicts: 1035000 | #Constraints: 35848
2901.27/2908.58 c #Conflicts: 1036000 | #Constraints: 36848
2901.27/2908.58 c #Conflicts: 1037000 | #Constraints: 37848
2901.27/2908.58 c #Conflicts: 1038000 | #Constraints: 38848
2901.27/2908.58 c #Conflicts: 1039000 | #Constraints: 39848
2901.27/2908.58 c #Conflicts: 1040000 | #Constraints: 40848
2901.27/2908.58 c #Conflicts: 1041000 | #Constraints: 41848
2901.27/2908.58 c INPROCESSING
2901.27/2908.58 c GARBAGE COLLECT
2901.27/2908.58 c #Conflicts: 1042000 | #Constraints: 22643
2901.27/2908.58 c #Conflicts: 1043000 | #Constraints: 23643
2901.27/2908.58 c #Conflicts: 1044000 | #Constraints: 24643
2901.27/2908.58 c #Conflicts: 1045000 | #Constraints: 25643
3251.62/3259.74 c #Conflicts: 1046000 | #Constraints: 26643
3251.62/3259.74 c #Conflicts: 1047000 | #Constraints: 27643
3251.62/3259.74 c #Conflicts: 1048000 | #Constraints: 28643
3251.62/3259.74 c #Conflicts: 1049000 | #Constraints: 29643
3251.62/3259.74 c #Conflicts: 1050000 | #Constraints: 30643
3251.62/3259.74 c #Conflicts: 1051000 | #Constraints: 31643
3251.62/3259.74 c #Conflicts: 1052000 | #Constraints: 32643
3251.62/3259.74 c #Conflicts: 1053000 | #Constraints: 33643
3251.62/3259.74 c #Conflicts: 1054000 | #Constraints: 34643
3251.62/3259.74 c #Conflicts: 1055000 | #Constraints: 35643
3251.62/3259.74 c #Conflicts: 1056000 | #Constraints: 36643
3251.62/3259.74 c #Conflicts: 1057000 | #Constraints: 37643
3251.62/3259.74 c #Conflicts: 1058000 | #Constraints: 38643
3251.62/3259.74 c #Conflicts: 1059000 | #Constraints: 39643
3251.62/3259.74 c #Conflicts: 1060000 | #Constraints: 40643
3251.62/3259.74 c #Conflicts: 1061000 | #Constraints: 41643
3251.62/3259.74 c #Conflicts: 1062000 | #Constraints: 42643
3251.62/3259.74 c INPROCESSING
3251.62/3259.74 c GARBAGE COLLECT
3251.62/3259.74 c #Conflicts: 1063000 | #Constraints: 23245
3251.62/3259.74 c #Conflicts: 1064000 | #Constraints: 24245
3251.62/3259.74 c #Conflicts: 1065000 | #Constraints: 25245
3251.62/3259.74 c #Conflicts: 1066000 | #Constraints: 26245
3251.62/3259.74 c #Conflicts: 1067000 | #Constraints: 27245
3251.62/3259.74 c #Conflicts: 1068000 | #Constraints: 28245
3251.62/3259.74 c #Conflicts: 1069000 | #Constraints: 29245
3251.62/3259.74 c #Conflicts: 1070000 | #Constraints: 30245
3251.62/3259.74 c #Conflicts: 1071000 | #Constraints: 31245
3251.62/3259.74 c #Conflicts: 1072000 | #Constraints: 32245
3251.62/3259.74 c #Conflicts: 1073000 | #Constraints: 33245
3251.62/3259.74 c #Conflicts: 1074000 | #Constraints: 34245
3251.62/3259.74 c #Conflicts: 1075000 | #Constraints: 35245
3251.62/3259.74 c #Conflicts: 1076000 | #Constraints: 36245
3251.62/3259.74 c #Conflicts: 1077000 | #Constraints: 37245
3251.62/3259.74 c #Conflicts: 1078000 | #Constraints: 38245
3251.62/3259.74 c #Conflicts: 1079000 | #Constraints: 39245
3251.62/3259.74 c #Conflicts: 1080000 | #Constraints: 40245
3251.62/3259.74 c #Conflicts: 1081000 | #Constraints: 41245
3251.62/3259.74 c #Conflicts: 1082000 | #Constraints: 42245
3251.62/3259.74 c #Conflicts: 1083000 | #Constraints: 43245
3251.62/3259.74 c INPROCESSING
3251.62/3259.74 c GARBAGE COLLECT
3251.62/3259.74 c #Conflicts: 1084000 | #Constraints: 23643
3251.62/3259.74 c #Conflicts: 1085000 | #Constraints: 24643
3251.62/3259.74 c #Conflicts: 1086000 | #Constraints: 25643
3251.62/3259.74 c #Conflicts: 1087000 | #Constraints: 26643
3251.62/3259.74 c #Conflicts: 1088000 | #Constraints: 27643
3251.62/3259.74 c #Conflicts: 1089000 | #Constraints: 28643
3251.62/3259.74 c #Conflicts: 1090000 | #Constraints: 29643
3251.62/3259.74 c #Conflicts: 1091000 | #Constraints: 30643
3251.62/3259.74 c #Conflicts: 1092000 | #Constraints: 31643
3251.62/3259.74 c #Conflicts: 1093000 | #Constraints: 32643
3251.62/3259.74 c #Conflicts: 1094000 | #Constraints: 33643
3251.62/3259.74 c #Conflicts: 1095000 | #Constraints: 34643
3251.62/3259.74 c #Conflicts: 1096000 | #Constraints: 35643
3251.62/3259.74 c #Conflicts: 1097000 | #Constraints: 36643
3251.62/3259.74 c #Conflicts: 1098000 | #Constraints: 37643
3251.62/3259.74 c #Conflicts: 1099000 | #Constraints: 38643
3251.62/3259.74 c #Conflicts: 1100000 | #Constraints: 39643
3251.62/3259.74 c #Conflicts: 1101000 | #Constraints: 40643
3251.62/3259.74 c #Conflicts: 1102000 | #Constraints: 41643
3251.62/3259.74 c #Conflicts: 1103000 | #Constraints: 42643
3251.62/3259.74 c #Conflicts: 1104000 | #Constraints: 43643
3251.62/3259.74 c INPROCESSING
3251.62/3259.74 c GARBAGE COLLECT
3251.62/3259.74 c #Conflicts: 1105000 | #Constraints: 23844
3251.62/3259.74 c #Conflicts: 1106000 | #Constraints: 24844
3251.62/3259.74 c #Conflicts: 1107000 | #Constraints: 25844
3251.62/3259.74 c #Conflicts: 1108000 | #Constraints: 26844
3251.62/3259.74 c #Conflicts: 1109000 | #Constraints: 27844
3251.62/3259.74 c #Conflicts: 1110000 | #Constraints: 28844
3251.62/3259.74 c #Conflicts: 1111000 | #Constraints: 29844
3251.62/3259.74 c #Conflicts: 1112000 | #Constraints: 30844
3251.62/3259.74 c #Conflicts: 1113000 | #Constraints: 31844
3251.62/3259.74 c #Conflicts: 1114000 | #Constraints: 32844
3251.62/3259.74 c #Conflicts: 1115000 | #Constraints: 33844
3251.62/3259.74 c #Conflicts: 1116000 | #Constraints: 34844
3251.62/3259.74 c #Conflicts: 1117000 | #Constraints: 35844
3251.62/3259.74 c #Conflicts: 1118000 | #Constraints: 36844
3251.62/3259.74 c #Conflicts: 1119000 | #Constraints: 37844
3251.62/3259.74 c #Conflicts: 1120000 | #Constraints: 38844
3251.62/3259.74 c #Conflicts: 1121000 | #Constraints: 39844
3251.62/3259.74 c #Conflicts: 1122000 | #Constraints: 40844
3587.41/3596.38 c #Conflicts: 1123000 | #Constraints: 41844
3587.41/3596.38 c #Conflicts: 1124000 | #Constraints: 42844
3587.41/3596.38 c #Conflicts: 1125000 | #Constraints: 43844
3587.41/3596.38 c INPROCESSING
3587.41/3596.38 c GARBAGE COLLECT
3587.41/3596.38 c #Conflicts: 1126000 | #Constraints: 23844
3587.41/3596.38 c #Conflicts: 1127000 | #Constraints: 24844
3587.41/3596.38 c #Conflicts: 1128000 | #Constraints: 25844
3587.41/3596.38 c #Conflicts: 1129000 | #Constraints: 26844
3587.41/3596.38 c #Conflicts: 1130000 | #Constraints: 27844
3587.41/3596.38 c #Conflicts: 1131000 | #Constraints: 28844
3587.41/3596.38 c #Conflicts: 1132000 | #Constraints: 29844
3587.41/3596.38 c #Conflicts: 1133000 | #Constraints: 30844
3587.41/3596.38 c #Conflicts: 1134000 | #Constraints: 31844
3587.41/3596.38 c #Conflicts: 1135000 | #Constraints: 32844
3587.41/3596.38 c #Conflicts: 1136000 | #Constraints: 33844
3587.41/3596.38 c #Conflicts: 1137000 | #Constraints: 34844
3587.41/3596.38 c #Conflicts: 1138000 | #Constraints: 35844
3587.41/3596.38 c #Conflicts: 1139000 | #Constraints: 36844
3587.41/3596.38 c #Conflicts: 1140000 | #Constraints: 37844
3587.41/3596.38 c #Conflicts: 1141000 | #Constraints: 38844
3587.41/3596.38 c #Conflicts: 1142000 | #Constraints: 39844
3587.41/3596.38 c #Conflicts: 1143000 | #Constraints: 40844
3587.41/3596.38 c #Conflicts: 1144000 | #Constraints: 41844
3587.41/3596.38 c #Conflicts: 1145000 | #Constraints: 42844
3587.41/3596.38 c #Conflicts: 1146000 | #Constraints: 43844
3587.41/3596.38 c INPROCESSING
3587.41/3596.38 c GARBAGE COLLECT
3587.41/3596.38 c #Conflicts: 1147000 | #Constraints: 23643
3587.41/3596.38 c #Conflicts: 1148000 | #Constraints: 24643
3587.41/3596.38 c #Conflicts: 1149000 | #Constraints: 25643
3587.41/3596.38 c #Conflicts: 1150000 | #Constraints: 26643
3587.41/3596.38 c #Conflicts: 1151000 | #Constraints: 27643
3587.41/3596.38 c #Conflicts: 1152000 | #Constraints: 28643
3587.41/3596.38 c #Conflicts: 1153000 | #Constraints: 29643
3587.41/3596.38 c #Conflicts: 1154000 | #Constraints: 30643
3587.41/3596.38 c #Conflicts: 1155000 | #Constraints: 31643
3587.41/3596.38 c #Conflicts: 1156000 | #Constraints: 32643
3587.41/3596.38 c #Conflicts: 1157000 | #Constraints: 33643
3587.41/3596.38 c #Conflicts: 1158000 | #Constraints: 34643
3587.41/3596.38 c #Conflicts: 1159000 | #Constraints: 35643
3587.41/3596.38 c #Conflicts: 1160000 | #Constraints: 36643
3587.41/3596.38 c #Conflicts: 1161000 | #Constraints: 37643
3587.41/3596.38 c #Conflicts: 1162000 | #Constraints: 38643
3587.41/3596.38 c #Conflicts: 1163000 | #Constraints: 39643
3587.41/3596.38 c #Conflicts: 1164000 | #Constraints: 40643
3587.41/3596.38 c #Conflicts: 1165000 | #Constraints: 41643
3587.41/3596.38 c #Conflicts: 1166000 | #Constraints: 42643
3587.41/3596.38 c #Conflicts: 1167000 | #Constraints: 43643
3587.41/3596.38 c #Conflicts: 1168000 | #Constraints: 44643
3587.41/3596.38 c INPROCESSING
3587.41/3596.38 c GARBAGE COLLECT
3587.41/3596.38 c #Conflicts: 1169000 | #Constraints: 24247
3587.41/3596.38 c #Conflicts: 1170000 | #Constraints: 25247
3587.41/3596.38 c #Conflicts: 1171000 | #Constraints: 26247
3587.41/3596.38 c #Conflicts: 1172000 | #Constraints: 27247
3587.41/3596.38 c #Conflicts: 1173000 | #Constraints: 28247
3587.41/3596.38 c #Conflicts: 1174000 | #Constraints: 29247
3587.41/3596.38 c #Conflicts: 1175000 | #Constraints: 30247
3587.41/3596.38 c #Conflicts: 1176000 | #Constraints: 31247
3587.41/3596.38 c #Conflicts: 1177000 | #Constraints: 32247
3587.41/3596.38 c #Conflicts: 1178000 | #Constraints: 33247
3587.41/3596.38 c #Conflicts: 1179000 | #Constraints: 34247
3587.41/3596.38 c #Conflicts: 1180000 | #Constraints: 35247
3587.41/3596.38 c #Conflicts: 1181000 | #Constraints: 36247
3587.41/3596.38 c #Conflicts: 1182000 | #Constraints: 37247
3587.41/3596.38 c #Conflicts: 1183000 | #Constraints: 38247
3587.41/3596.38 c #Conflicts: 1184000 | #Constraints: 39247
3587.41/3596.38 c #Conflicts: 1185000 | #Constraints: 40247
3587.41/3596.38 c #Conflicts: 1186000 | #Constraints: 41247
3587.41/3596.38 c #Conflicts: 1187000 | #Constraints: 42247
3587.41/3596.38 c #Conflicts: 1188000 | #Constraints: 43247
3587.41/3596.38 c #Conflicts: 1189000 | #Constraints: 44247
3587.41/3596.38 c #Conflicts: 1190000 | #Constraints: 45247
3587.41/3596.38 c INPROCESSING
3587.41/3596.38 c GARBAGE COLLECT
3587.41/3596.38 c #Conflicts: 1191000 | #Constraints: 24645
3587.41/3596.38 c #Conflicts: 1192000 | #Constraints: 25645
3587.41/3596.38 c #Conflicts: 1193000 | #Constraints: 26645
3587.41/3596.38 c #Conflicts: 1194000 | #Constraints: 27645
3587.41/3596.38 c #Conflicts: 1195000 | #Constraints: 28645
3587.41/3596.38 c #Conflicts: 1196000 | #Constraints: 29645
3587.41/3596.38 c #Conflicts: 1197000 | #Constraints: 30645
3587.41/3596.38 c #Conflicts: 1198000 | #Constraints: 31645
3600.08/3609.00 c #Conflicts: 1199000 | #Constraints: 32645
3600.08/3609.00 c #Conflicts: 1200000 | #Constraints: 33645
3600.08/3609.00 c cpu time 3595.36 s
3600.08/3609.00 c deterministic time 1 1.00e+00
3600.08/3609.00 c optimization time 3595.35 s
3600.08/3609.00 c total solve time 0 s
3600.08/3609.00 c core-guided solve time 0 s
3600.08/3609.00 c propagation time 0.000612 s
3600.08/3609.00 c conflict analysis time 0 s
3600.08/3609.00 c propagations 0
3600.08/3609.00 c resolve steps 0
3600.08/3609.00 c decisions 0
3600.08/3609.00 c conflicts 0
3600.08/3609.00 c restarts 0
3600.08/3609.00 c inprocessing phases 0
3600.08/3609.00 c garbage collections 0 ,( -nan )
3600.08/3609.00 c input clauses 1999 ,( 100.00 )
3600.08/3609.00 c input cardinalities 0 ,( 0.00 )
3600.08/3609.00 c input general constraints 0 ,( 0.00 )
3600.08/3609.00 c input average constraint length 2.00
3600.08/3609.00 c input average constraint degree 1.00
3600.08/3609.00 c learned clauses 0 ,( 0.00 )
3600.08/3609.00 c learned cardinalities 0 ,( 0.00 )
3600.08/3609.00 c learned general constraints 0 ,( 0.00 )
3600.08/3609.00 c learned average constraint length 0.00
3600.08/3609.00 c learned average constraint degree 0.00
3600.08/3609.00 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.08/3609.00 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.08/3609.00 c watched constraints 0 ,( -nan )
3600.08/3609.00 c counting constraints 0 ,( -nan )
3600.08/3609.00 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.08/3609.00 c gcd simplifications 0
3600.08/3609.00 c detected cardinalities 0
3600.08/3609.00 c weakened non-implied lits 0
3600.08/3609.00 c weakened non-implying lits 0
3600.08/3609.00 c original variables 200
3600.08/3609.00 c clausal propagations 0
3600.08/3609.00 c cardinality propagations 0
3600.08/3609.00 c watched propagations 0
3600.08/3609.00 c counting propagations 0
3600.08/3609.00 c watch lookups 0
3600.08/3609.00 c watch backjump lookups 0
3600.08/3609.00 c watch checks 0
3600.08/3609.00 c propagation checks 0
3600.08/3609.00 c constraint additions 0
3600.08/3609.00 c trail pops 0
3600.08/3609.00 c formula constraints 1999
3600.08/3609.00 c learned constraints 0
3600.08/3609.00 c bound constraints 0
3600.08/3609.00 c core-guided constraints 0
3600.08/3609.00 c encountered formula constraints 0
3600.08/3609.00 c encountered learned constraints 0
3600.08/3609.00 c encountered bound constraints 0
3600.08/3609.00 c encountered core-guided constraints 0
3600.08/3609.00 c LP total time 0 s
3600.08/3609.00 c LP solve time 0 s
3600.08/3609.00 c LP constraints added 0
3600.08/3609.00 c LP constraints removed 0
3600.08/3609.00 c LP pivots internal 0
3600.08/3609.00 c LP pivots root 0
3600.08/3609.00 c LP calls 0
3600.08/3609.00 c LP optimalities 0
3600.08/3609.00 c LP no pivot count 0
3600.08/3609.00 c LP infeasibilities 0
3600.08/3609.00 c LP valid Farkas constraints 0
3600.08/3609.00 c LP learned Farkas constraints 0
3600.08/3609.00 c LP basis resets 0
3600.08/3609.00 c LP cycling count 0
3600.08/3609.00 c LP singular count 0
3600.08/3609.00 c LP no primal count 0
3600.08/3609.00 c LP no farkas count 0
3600.08/3609.00 c LP other issue count 0
3600.08/3609.00 c LP Gomory cuts 0
3600.08/3609.00 c LP learned cuts 0
3600.08/3609.00 c LP deleted cuts 0
3600.08/3609.00 c LP encountered Gomory constraints 0
3600.08/3609.00 c LP encountered Farkas constraints 0
3600.08/3609.00 c LP encountered learned Farkas constraints 0
3600.08/3609.00 c CG auxiliary variables introduced 0
3600.08/3609.00 c CG solutions found 0
3600.08/3609.00 c CG cores constructed 0
3600.08/3609.00 c CG core cardinality constraints returned 0
3600.08/3609.00 c CG unit cores 0
3600.08/3609.00 c CG single cores 0
3600.08/3609.00 c CG blocks removed during cardinality reduction 0
3600.08/3609.00 c CG first core best 0
3600.08/3609.00 c CG decision core best 0
3600.08/3609.00 c CG core reduction tie 0
3600.08/3609.00 c CG core degree average 0.00
3600.08/3609.00 c CG core slack average 0.00
3600.08/3609.00 c CG core upper bound improvements 0
3600.08/3609.00 c STR number of successful calls 0
3600.08/3609.00 c STR number of unsuccessful calls 0
3600.08/3609.00 c STR number of inconclusive calls 0
3600.08/3609.00 c STR number of successful attempts 0
3600.08/3609.00 c STR number of unsuccessful attempts 0
3600.08/3609.00 c STR number of inconclusive attempts 0
3600.08/3609.00 c STR average degree increase per successful call inf
3600.08/3609.00 c STR average degree increase per successful attempt inf
3600.08/3609.00 c STR total number of conflicts for successful attempts 0
3600.08/3609.00 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3609.00 c STR total number of conflicts for inconclusive attempts 0
3600.08/3609.00 c STR average number of conflicts per successful attempt inf
3600.08/3609.00 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3609.00 c STR average number of conflicts per inconclusive attempt inf
3600.08/3609.00 c AVG.sumWPerc -nan
3600.08/3609.00 c bigint constraints 0
3600.08/3609.00 s UNKNOWN
3600.08/3609.00 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62301 MiB free)
memory of node 1: 64465 MiB (62631 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502738-1751477639/watcher-4502738-1751477639 -o /tmp/evaluation-result-4502738-1751477639/solver-4502738-1751477639 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751477637-67545 --watchdog 3760 run-opt.sh HOME/instance-4502738-1751477639.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=67697, runsolver pid=67694
[startup+0.10006 s]*
/proc/loadavg: 0.64 1.91 3.11 6/270 67699
/proc/meminfo: memFree=127904020/131250000 swapFree=33010672/33010684
[pid=67697] ppid=67694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67697/stat : 67697 (run-opt.sh) S 67694 67697 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63440478 4292608 736 18446744073709551615 93985498968064 93985499862597 140735531144048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93985500101648 93985500149392 93985509105664 140735531145581 140735531145704 140735531145704 140735531151306 0
/proc/67697/statm: 1048 736 672 219 0 110 0
[pid=67699] ppid=67697 vsize=62632 memory=13852 CPUtime=0.07 cores=1,3
/proc/67699/stat : 67699 (roundingsat) R 67697 67697 67533 0 -1 4194304 1613 0 0 0 7 0 0 0 20 0 1 0 63440479 64135168 3463 18446744073709551615 4227072 8923433 140728758697360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29880320 140728758704546 140728758704680 140728758704680 140728758710250 0
/proc/67699/statm: 15658 3463 2336 1147 0 3085 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 66824 KiB
Current children cumulated memory: 16796 KiB
[startup+0.205593 s]*
/proc/loadavg: 0.64 1.91 3.11 5/270 67699
/proc/meminfo: memFree=127900996/131250000 swapFree=33010672/33010684
[pid=67697] ppid=67694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67697/stat : 67697 (run-opt.sh) S 67694 67697 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63440478 4292608 736 18446744073709551615 93985498968064 93985499862597 140735531144048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93985500101648 93985500149392 93985509105664 140735531145581 140735531145704 140735531145704 140735531151306 0
/proc/67697/statm: 1048 736 672 219 0 110 0
[pid=67699] ppid=67697 vsize=63900 memory=17572 CPUtime=0.18 cores=1,3
/proc/67699/stat : 67699 (roundingsat) R 67697 67697 67533 0 -1 4194304 2014 0 0 0 18 0 0 0 20 0 1 0 63440479 65433600 4393 18446744073709551615 4227072 8923433 140728758697360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29880320 140728758704546 140728758704680 140728758704680 140728758710250 0
/proc/67699/statm: 15975 4393 2336 1147 0 3402 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 68092 KiB
Current children cumulated memory: 20516 KiB
[startup+0.304911 s]*
/proc/loadavg: 0.64 1.91 3.11 5/270 67699
/proc/meminfo: memFree=127896964/131250000 swapFree=33010672/33010684
[pid=67697] ppid=67694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67697/stat : 67697 (run-opt.sh) S 67694 67697 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63440478 4292608 736 18446744073709551615 93985498968064 93985499862597 140735531144048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93985500101648 93985500149392 93985509105664 140735531145581 140735531145704 140735531145704 140735531151306 0
/proc/67697/statm: 1048 736 672 219 0 110 0
[pid=67699] ppid=67697 vsize=64828 memory=18340 CPUtime=0.28 cores=1,3
/proc/67699/stat : 67699 (roundingsat) R 67697 67697 67533 0 -1 4194304 2206 0 0 0 27 1 0 0 20 0 1 0 63440479 66383872 4585 18446744073709551615 4227072 8923433 140728758697360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29880320 140728758704546 140728758704680 140728758704680 140728758710250 0
/proc/67699/statm: 16207 4585 2336 1147 0 3634 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 69020 KiB
Current children cumulated memory: 21284 KiB
[startup+0.700145 s]
/proc/loadavg: 0.64 1.91 3.11 5/270 67699
/proc/meminfo: memFree=127861620/131250000 swapFree=33010672/33010684
[pid=67697] ppid=67694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67697/stat : 67697 (run-opt.sh) S 67694 67697 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63440478 4292608 736 18446744073709551615 93985498968064 93985499862597 140735531144048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93985500101648 93985500149392 93985509105664 140735531145581 140735531145704 140735531145704 140735531151306 0
/proc/67697/statm: 1048 736 672 219 0 110 0
[pid=67699] ppid=67697 vsize=65932 memory=19236 CPUtime=0.67 cores=1,3
/proc/67699/stat : 67699 (roundingsat) R 67697 67697 67533 0 -1 4194304 2441 0 0 0 66 1 0 0 20 0 1 0 63440479 67514368 4809 18446744073709551615 4227072 8923433 140728758697360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29880320 140728758704546 140728758704680 140728758704680 140728758710250 0
/proc/67699/statm: 16483 4809 2336 1147 0 3910 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 70124 KiB
Current children cumulated memory: 22180 KiB
[startup+1.50015 s]
/proc/loadavg: 0.64 1.91 3.11 6/270 67699
/proc/meminfo: memFree=127849460/131250000 swapFree=33010672/33010684
[pid=67697] ppid=67694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67697/stat : 67697 (run-opt.sh) S 67694 67697 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63440478 4292608 736 18446744073709551615 93985498968064 93985499862597 140735531144048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93985500101648 93985500149392 93985509105664 140735531145581 140735531145704 140735531145704 140735531151306 0
/proc/67697/statm: 1048 736 672 219 0 110 0
[pid=67699] ppid=67697 vsize=66956 memory=20260 CPUtime=1.46 cores=1,3
/proc/67699/stat : 67699 (roundingsat) R 67697 67697 67533 0 -1 4194304 2696 0 0 0 144 2 0 0 20 0 1 0 63440479 68562944 5065 18446744073709551615 4227072 8923433 140728758697360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29880320 140728758704546 140728758704680 140728758704680 140728758710250 0
/proc/67699/statm: 16739 5065 2336 1147 0 4166 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 71148 KiB
Current children cumulated memory: 23204 KiB
[startup+3.1053 s]
/proc/loadavg: 0.91 1.95 3.12 5/265 67707
/proc/meminfo: memFree=127831824/131250000 swapFree=33010672/33010684
[pid=67697] ppid=67694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67697/stat : 67697 (run-opt.sh) S 67694 67697 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63440478 4292608 736 18446744073709551615 93985498968064 93985499862597 140735531144048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93985500101648 93985500149392 93985509105664 140735531145581 140735531145704 140735531145704 140735531151306 0
/proc/67697/statm: 1048 736 672 219 0 110 0
[pid=67699] ppid=67697 vsize=71212 memory=24532 CPUtime=3.07 cores=1,3
/proc/67699/stat : 67699 (roundingsat) R 67697 67697 67533 0 -1 4194304 3242 0 0 0 303 4 0 0 20 0 1 0 63440479 72921088 6133 18446744073709551615 4227072 8923433 140728758697360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29880320 140728758704546 140728758704680 140728758704680 140728758710250 0
/proc/67699/statm: 17803 6133 2336 1147 0 5230 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 75404 KiB
Current children cumulated memory: 27476 KiB
[startup+6.30016 s]
/proc/loadavg: 0.91 1.95 3.12 5/265 67753
/proc/meminfo: memFree=127830852/131250000 swapFree=33010672/33010684
[pid=67697] ppid=67694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67697/stat : 67697 (run-opt.sh) S 67694 67697 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63440478 4292608 736 18446744073709551615 93985498968064 93985499862597 140735531144048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93985500101648 93985500149392 93985509105664 140735531145581 140735531145704 140735531145704 140735531151306 0
/proc/67697/statm: 1048 736 672 219 0 110 0
[pid=67699] ppid=67697 vsize=72940 memory=25940 CPUtime=6.26 cores=1,3
/proc/67699/stat : 67699 (roundingsat) R 67697 67697 67533 0 -1 4194304 3602 0 0 0 620 6 0 0 20 0 1 0 63440479 74690560 6485 18446744073709551615 4227072 8923433 140728758697360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29880320 140728758704546 140728758704680 140728758704680 140728758710250 0
/proc/67699/statm: 18235 6485 2336 1147 0 5662 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 77132 KiB
Current children cumulated memory: 28884 KiB
[startup+12.7002 s]
/proc/loadavg: 1.16 1.98 3.12 5/270 67791
/proc/meminfo: memFree=127267652/131250000 swapFree=33010672/33010684
[pid=67697] ppid=67694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67697/stat : 67697 (run-opt.sh) S 67694 67697 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63440478 4292608 736 18446744073709551615 93985498968064 93985499862597 140735531144048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93985500101648 93985500149392 93985509105664 140735531145581 140735531145704 140735531145704 140735531151306 0
/proc/67697/statm: 1048 736 672 219 0 110 0
[pid=67699] ppid=67697 vsize=75524 memory=28628 CPUtime=12.64 cores=1,3
/proc/67699/stat : 67699 (roundingsat) R 67697 67697 67533 0 -1 4194304 4263 0 0 0 1254 10 0 0 20 0 1 0 63440479 77336576 7157 18446744073709551615 4227072 8923433 140728758697360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29880320 140728758704546 140728758704680 140728758704680 140728758710250 0
/proc/67699/statm: 18881 7157 2336 1147 0 6308 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 79716 KiB
Current children cumulated memory: 31572 KiB
[startup+25.5002 s]
/proc/loadavg: 1.79 2.08 3.14 5/270 67791
/proc/meminfo: memFree=126753264/131250000 swapFree=33010672/33010684
[pid=67697] ppid=67694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67697/stat : 67697 (run-opt.sh) S 67694 67697 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63440478 4292608 736 18446744073709551615 93985498968064 93985499862597 140735531144048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93985500101648 93985500149392 93985509105664 140735531145581 140735531145704 140735531145704 140735531151306 0
/proc/67697/statm: 1048 736 672 219 0 110 0
[pid=67699] ppid=67697 vsize=84212 memory=34840 CPUtime=25.41 cores=1,3
/proc/67699/stat : 67699 (roundingsat) R 67697 67697 67533 0 -1 4194304 5311 0 0 0 2525 16 0 0 20 0 1 0 63440479 86233088 8710 18446744073709551615 4227072 8923433 140728758697360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29880320 140728758704546 140728758704680 140728758704680 140728758710250 0
/proc/67699/statm: 21053 8710 2336 1147 0 8480 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 88404 KiB
Current children cumulated memory: 37784 KiB
[startup+51.1055 s]
/proc/loadavg: 2.61 2.25 3.17 5/270 67792
/proc/meminfo: memFree=126013252/131250000 swapFree=33010672/33010684
[pid=67697] ppid=67694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67697/stat : 67697 (run-opt.sh) S 67694 67697 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63440478 4292608 736 18446744073709551615 93985498968064 93985499862597 140735531144048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93985500101648 93985500149392 93985509105664 140735531145581 140735531145704 140735531145704 140735531151306 0
/proc/67697/statm: 1048 736 672 219 0 110 0
[pid=67699] ppid=67697 vsize=88308 memory=38296 CPUtime=50.95 cores=1,3
/proc/67699/stat : 67699 (roundingsat) R 67697 67697 67533 0 -1 4194304 6171 0 0 0 5070 25 0 0 20 0 1 0 63440479 90427392 9574 18446744073709551615 4227072 8923433 140728758697360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29880320 140728758704546 140728758704680 140728758704680 140728758710250 0
/proc/67699/statm: 22077 9574 2336 1147 0 9504 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 92500 KiB
Current children cumulated memory: 41240 KiB
[startup+102.3 s]
/proc/loadavg: 3.40 2.53 3.21 5/268 67793
/proc/meminfo: memFree=123726836/131250000 swapFree=33010672/33010684
[pid=67697] ppid=67694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67697/stat : 67697 (run-opt.sh) S 67694 67697 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63440478 4292608 736 18446744073709551615 93985498968064 93985499862597 140735531144048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93985500101648 93985500149392 93985509105664 140735531145581 140735531145704 140735531145704 140735531151306 0
/proc/67697/statm: 1048 736 672 219 0 110 0
[pid=67699] ppid=67697 vsize=99448 memory=46000 CPUtime=102.02 cores=1,3
/proc/67699/stat : 67699 (roundingsat) R 67697 67697 67533 0 -1 4194304 7618 0 0 0 10160 42 0 0 20 0 1 0 63440479 101834752 11500 18446744073709551615 4227072 8923433 140728758697360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29880320 140728758704546 140728758704680 140728758704680 140728758710250 0
/proc/67699/statm: 24862 11500 2336 1147 0 12289 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 103640 KiB
Current children cumulated memory: 48944 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 2.83 3.28 6/269 67796
/proc/meminfo: memFree=122880192/131250000 swapFree=33010672/33010684
[pid=67697] ppid=67694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67697/stat : 67697 (run-opt.sh) S 67694 67697 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63440478 4292608 736 18446744073709551615 93985498968064 93985499862597 140735531144048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93985500101648 93985500149392 93985509105664 140735531145581 140735531145704 140735531145704 140735531151306 0
/proc/67697/statm: 1048 736 672 219 0 110 0
[pid=67699] ppid=67697 vsize=103168 memory=51156 CPUtime=161.86 cores=1,3
/proc/67699/stat : 67699 (roundingsat) R 67697 67697 67533 0 -1 4194304 8380 0 0 0 16126 60 0 0 20 0 1 0 63440479 105644032 12789 18446744073709551615 4227072 8923433 140728758697360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29880320 140728758704546 140728758704680 140728758704680 140728758710250 0
/proc/67699/statm: 25792 12789 2336 1147 0 13219 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 107360 KiB
Current children cumulated memory: 54100 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 3.06 3.33 6/269 67805
/proc/meminfo: memFree=122159476/131250000 swapFree=33010672/33010684
[pid=67697] ppid=67694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67697/stat : 67697 (run-opt.sh) S 67694 67697 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63440478 4292608 736 18446744073709551615 93985498968064 93985499862597 140735531144048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93985500101648 93985500149392 93985509105664 140735531145581 140735531145704 140735531145704 140735531151306 0
/proc/67697/statm: 1048 736 672 219 0 110 0
[pid=67699] ppid=67697 vsize=110080 memory=57896 CPUtime=221.72 cores=1,3
/proc/67699/stat : 67699 (roundingsat) R 67697 67697 67533 0 -1 4194304 9566 0 0 0 22094 78 0 0 20 0 1 0 63440479 112721920 14474 18446744073709551615 4227072 8923433 140728758697360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29880320 140728758704546 140728758704680 140728758704680 140728758710250 0
/proc/67699/statm: 27520 14474 2336 1147 0 14947 0
Current children cumulated CPU time: 221.72 s
################
# More data... #
################
/proc/67699/statm: 47853 30373 2336 1147 0 35280 0
Current children cumulated CPU time: 3034.75 s
Current children cumulated vsize: 195604 KiB
Current children cumulated memory: 124436 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.10 4.07 5/267 67949
/proc/meminfo: memFree=116041464/131250000 swapFree=33010672/33010684
[pid=67697] ppid=67694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67697/stat : 67697 (run-opt.sh) S 67694 67697 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63440478 4292608 736 18446744073709551615 93985498968064 93985499862597 140735531144048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93985500101648 93985500149392 93985509105664 140735531145581 140735531145704 140735531145704 140735531151306 0
/proc/67697/statm: 1048 736 672 219 0 110 0
[pid=67699] ppid=67697 vsize=191924 memory=122004 CPUtime=3094.6 cores=1,3
/proc/67699/stat : 67699 (roundingsat) R 67697 67697 67533 0 -1 4194304 20263 0 0 0 309031 429 0 0 20 0 1 0 63440479 196530176 30501 18446744073709551615 4227072 8923433 140728758697360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29880320 140728758704546 140728758704680 140728758704680 140728758710250 0
/proc/67699/statm: 47981 30501 2336 1147 0 35408 0
Current children cumulated CPU time: 3094.6 s
Current children cumulated vsize: 196116 KiB
Current children cumulated memory: 124948 KiB
[startup+3162.3 s]
/proc/loadavg: 4.04 4.08 4.06 5/266 67951
/proc/meminfo: memFree=115810284/131250000 swapFree=33010672/33010684
[pid=67697] ppid=67694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67697/stat : 67697 (run-opt.sh) S 67694 67697 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63440478 4292608 736 18446744073709551615 93985498968064 93985499862597 140735531144048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93985500101648 93985500149392 93985509105664 140735531145581 140735531145704 140735531145704 140735531151306 0
/proc/67697/statm: 1048 736 672 219 0 110 0
[pid=67699] ppid=67697 vsize=192436 memory=122260 CPUtime=3154.46 cores=1,3
/proc/67699/stat : 67699 (roundingsat) R 67697 67697 67533 0 -1 4194304 20335 0 0 0 315010 436 0 0 20 0 1 0 63440479 197054464 30565 18446744073709551615 4227072 8923433 140728758697360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29880320 140728758704546 140728758704680 140728758704680 140728758710250 0
/proc/67699/statm: 48109 30565 2336 1147 0 35536 0
Current children cumulated CPU time: 3154.46 s
Current children cumulated vsize: 196628 KiB
Current children cumulated memory: 125204 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.09 4.07 6/268 67961
/proc/meminfo: memFree=115810696/131250000 swapFree=33010672/33010684
[pid=67697] ppid=67694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67697/stat : 67697 (run-opt.sh) S 67694 67697 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63440478 4292608 736 18446744073709551615 93985498968064 93985499862597 140735531144048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93985500101648 93985500149392 93985509105664 140735531145581 140735531145704 140735531145704 140735531151306 0
/proc/67697/statm: 1048 736 672 219 0 110 0
[pid=67699] ppid=67697 vsize=192436 memory=122516 CPUtime=3214.31 cores=1,3
/proc/67699/stat : 67699 (roundingsat) R 67697 67697 67533 0 -1 4194304 20400 0 0 0 320990 441 0 0 20 0 1 0 63440479 197054464 30629 18446744073709551615 4227072 8923433 140728758697360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29880320 140728758704546 140728758704680 140728758704680 140728758710250 0
/proc/67699/statm: 48109 30629 2336 1147 0 35536 0
Current children cumulated CPU time: 3214.31 s
Current children cumulated vsize: 196628 KiB
Current children cumulated memory: 125460 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.07 6/268 67963
/proc/meminfo: memFree=115791808/131250000 swapFree=33010672/33010684
[pid=67697] ppid=67694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67697/stat : 67697 (run-opt.sh) S 67694 67697 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63440478 4292608 736 18446744073709551615 93985498968064 93985499862597 140735531144048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93985500101648 93985500149392 93985509105664 140735531145581 140735531145704 140735531145704 140735531151306 0
/proc/67697/statm: 1048 736 672 219 0 110 0
[pid=67699] ppid=67697 vsize=193976 memory=123540 CPUtime=3274.17 cores=1,3
/proc/67699/stat : 67699 (roundingsat) R 67697 67697 67533 0 -1 4194304 20666 0 0 0 326971 446 0 0 20 0 1 0 63440479 198631424 30885 18446744073709551615 4227072 8923433 140728758697360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29880320 140728758704546 140728758704680 140728758704680 140728758710250 0
/proc/67699/statm: 48494 30885 2336 1147 0 35921 0
Current children cumulated CPU time: 3274.17 s
Current children cumulated vsize: 198168 KiB
Current children cumulated memory: 126484 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.12 4.08 6/268 67965
/proc/meminfo: memFree=115793868/131250000 swapFree=33010672/33010684
[pid=67697] ppid=67694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67697/stat : 67697 (run-opt.sh) S 67694 67697 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63440478 4292608 736 18446744073709551615 93985498968064 93985499862597 140735531144048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93985500101648 93985500149392 93985509105664 140735531145581 140735531145704 140735531145704 140735531151306 0
/proc/67697/statm: 1048 736 672 219 0 110 0
[pid=67699] ppid=67697 vsize=193976 memory=123540 CPUtime=3334.02 cores=1,3
/proc/67699/stat : 67699 (roundingsat) R 67697 67697 67533 0 -1 4194304 20666 0 0 0 332951 451 0 0 20 0 1 0 63440479 198631424 30885 18446744073709551615 4227072 8923433 140728758697360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29880320 140728758704546 140728758704680 140728758704680 140728758710250 0
/proc/67699/statm: 48494 30885 2336 1147 0 35921 0
Current children cumulated CPU time: 3334.02 s
Current children cumulated vsize: 198168 KiB
Current children cumulated memory: 126484 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.08 6/268 67967
/proc/meminfo: memFree=115732492/131250000 swapFree=33010672/33010684
[pid=67697] ppid=67694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67697/stat : 67697 (run-opt.sh) S 67694 67697 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63440478 4292608 736 18446744073709551615 93985498968064 93985499862597 140735531144048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93985500101648 93985500149392 93985509105664 140735531145581 140735531145704 140735531145704 140735531151306 0
/proc/67697/statm: 1048 736 672 219 0 110 0
[pid=67699] ppid=67697 vsize=195000 memory=124308 CPUtime=3393.88 cores=1,3
/proc/67699/stat : 67699 (roundingsat) R 67697 67697 67533 0 -1 4194304 20841 0 0 0 338931 457 0 0 20 0 1 0 63440479 199680000 31077 18446744073709551615 4227072 8923433 140728758697360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29880320 140728758704546 140728758704680 140728758704680 140728758710250 0
/proc/67699/statm: 48750 31077 2336 1147 0 36177 0
Current children cumulated CPU time: 3393.88 s
Current children cumulated vsize: 199192 KiB
Current children cumulated memory: 127252 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.08 6/268 67969
/proc/meminfo: memFree=115733136/131250000 swapFree=33010672/33010684
[pid=67697] ppid=67694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67697/stat : 67697 (run-opt.sh) S 67694 67697 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63440478 4292608 736 18446744073709551615 93985498968064 93985499862597 140735531144048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93985500101648 93985500149392 93985509105664 140735531145581 140735531145704 140735531145704 140735531151306 0
/proc/67697/statm: 1048 736 672 219 0 110 0
[pid=67699] ppid=67697 vsize=195512 memory=124564 CPUtime=3453.73 cores=1,3
/proc/67699/stat : 67699 (roundingsat) R 67697 67697 67533 0 -1 4194304 20918 0 0 0 344913 460 0 0 20 0 1 0 63440479 200204288 31141 18446744073709551615 4227072 8923433 140728758697360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29880320 140728758704546 140728758704680 140728758704680 140728758710250 0
/proc/67699/statm: 48878 31141 2336 1147 0 36305 0
Current children cumulated CPU time: 3453.73 s
Current children cumulated vsize: 199704 KiB
Current children cumulated memory: 127508 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.11 4.08 6/268 67971
/proc/meminfo: memFree=115469464/131250000 swapFree=33010672/33010684
[pid=67697] ppid=67694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67697/stat : 67697 (run-opt.sh) S 67694 67697 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63440478 4292608 736 18446744073709551615 93985498968064 93985499862597 140735531144048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93985500101648 93985500149392 93985509105664 140735531145581 140735531145704 140735531145704 140735531151306 0
/proc/67697/statm: 1048 736 672 219 0 110 0
[pid=67699] ppid=67697 vsize=196024 memory=124948 CPUtime=3513.59 cores=1,3
/proc/67699/stat : 67699 (roundingsat) R 67697 67697 67533 0 -1 4194304 21013 0 0 0 350893 466 0 0 20 0 1 0 63440479 200728576 31237 18446744073709551615 4227072 8923433 140728758697360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29880320 140728758704546 140728758704680 140728758704680 140728758710250 0
/proc/67699/statm: 49006 31237 2336 1147 0 36433 0
Current children cumulated CPU time: 3513.59 s
Current children cumulated vsize: 200216 KiB
Current children cumulated memory: 127892 KiB
[startup+3582.3 s]
/proc/loadavg: 4.05 4.09 4.08 6/267 67973
/proc/meminfo: memFree=115469156/131250000 swapFree=33010672/33010684
[pid=67697] ppid=67694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67697/stat : 67697 (run-opt.sh) S 67694 67697 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63440478 4292608 736 18446744073709551615 93985498968064 93985499862597 140735531144048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93985500101648 93985500149392 93985509105664 140735531145581 140735531145704 140735531145704 140735531151306 0
/proc/67697/statm: 1048 736 672 219 0 110 0
[pid=67699] ppid=67697 vsize=196536 memory=125460 CPUtime=3573.44 cores=1,3
/proc/67699/stat : 67699 (roundingsat) R 67697 67697 67533 0 -1 4194304 21123 0 0 0 356873 471 0 0 20 0 1 0 63440479 201252864 31365 18446744073709551615 4227072 8923433 140728758697360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29880320 140728758704546 140728758704680 140728758704680 140728758710250 0
/proc/67699/statm: 49134 31365 2336 1147 0 36561 0
Current children cumulated CPU time: 3573.44 s
Current children cumulated vsize: 200728 KiB
Current children cumulated memory: 128404 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 4.10 4.10 4.08 4/263 68005
/proc/meminfo: memFree=116938228/131250000 swapFree=33010672/33010684
[pid=67697] ppid=67694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/67697/stat : 67697 (run-opt.sh) S 67694 67697 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63440478 4292608 736 18446744073709551615 93985498968064 93985499862597 140735531144048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93985500101648 93985500149392 93985509105664 140735531145581 140735531145704 140735531145704 140735531151306 0
/proc/67697/statm: 1048 736 672 219 0 110 0
[pid=67699] ppid=67697 vsize=196536 memory=125460 CPUtime=3600.08 cores=1,3
/proc/67699/stat : 67699 (roundingsat) R 67697 67697 67533 0 -1 4194304 21123 0 0 0 359535 473 0 0 20 0 1 0 63440479 201252864 31365 18446744073709551615 4227072 8923433 140728758697360 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29880320 140728758704546 140728758704680 140728758704680 140728758710250 0
/proc/67699/statm: 49134 31365 2336 1147 0 36561 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 200728 KiB
Current children cumulated memory: 128404 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.01 s]
# the end of solver process 67697 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.00205 s
[startup+3609.01 s]
# the end of solver process 67699 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3595.36 s, system=4.74265 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3609.01
CPU time (s): 3600.1
CPU user time (s): 3595.36
CPU system time (s): 4.74265
CPU usage (%): 99.7531
Max. virtual memory (cumulated for all children) (KiB): 200728
Max. memory (cumulated for all children) (KiB): 128404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.36
system time used= 4.74266
maximum resident set size= 125844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21348
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= 174
involuntary context switches= 5992
# summary of solver processes directly reported to runsolver:
# pid: 67697,67699
# total CPU time (s): 3600.1
# total CPU user time (s): 3595.36
# total CPU system time (s): 4.74265
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.2625 second user time and 14.2017 second system time
The end
Begin job on nodeC014 at 2025-07-02 19:33:59
IDJOB=4502738
IDBENCH=155375
IDSOLVER=3350
FILE ID=nodeC014/4502738-1751477639
RUNJOBID= nodeC014-1751477637-67545
SLURM_JOB_ID= 9598515
Free space on /tmp= 430516 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-neos-1616732.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502738-1751477639/watcher-4502738-1751477639 -o /tmp/evaluation-result-4502738-1751477639/solver-4502738-1751477639 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751477637-67545 --watchdog 3760 run-opt.sh HOME/instance-4502738-1751477639.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 75f9ad7c30513194432fdca99f15ae89
RANDOM SEED=820872541
nodeC014 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.438
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.151
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.313
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.124
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.124
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.124
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.405
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.975
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127931052 kB
MemAvailable: 129663220 kB
Buffers: 2508 kB
Cached: 2527940 kB
SwapCached: 4 kB
Active: 735556 kB
Inactive: 1980468 kB
Active(anon): 199844 kB
Inactive(anon): 3852 kB
Active(file): 535712 kB
Inactive(file): 1976616 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 29916 kB
Writeback: 8 kB
AnonPages: 188632 kB
Mapped: 113828 kB
Shmem: 18064 kB
KReclaimable: 118160 kB
Slab: 208592 kB
SReclaimable: 118160 kB
SUnreclaim: 90432 kB
KernelStack: 4372 kB
PageTables: 3496 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 523492 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 30720 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430468 MiB
End job on nodeC014 at 2025-07-02 20:34:08