0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.02 c #variables 200 #constraints 1999
0.00/0.02 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.012116
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.012116
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.013569
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.014214
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.014622
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.014884
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.015299
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.015807
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.016101
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.016101
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.0163
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.016602
0.00/0.06 c GLOBAL bounds - >= 0 @ 0.038803
48.33/48.52 c #Conflicts: 1000 | #Constraints: 3021
48.33/48.52 c #Conflicts: 2000 | #Constraints: 4021
48.33/48.52 c INPROCESSING
48.33/48.52 c GARBAGE COLLECT
48.33/48.52 c #Conflicts: 3000 | #Constraints: 4029
48.33/48.52 c #Conflicts: 4000 | #Constraints: 5029
48.33/48.52 c INPROCESSING
48.33/48.52 c GARBAGE COLLECT
48.33/48.52 c #Conflicts: 5000 | #Constraints: 4433
48.33/48.52 c #Conflicts: 6000 | #Constraints: 5433
48.33/48.52 c INPROCESSING
48.33/48.52 c GARBAGE COLLECT
48.33/48.52 c #Conflicts: 7000 | #Constraints: 4437
48.33/48.52 c #Conflicts: 8000 | #Constraints: 5437
48.33/48.52 c #Conflicts: 9000 | #Constraints: 6437
48.33/48.52 c INPROCESSING
48.33/48.52 c GARBAGE COLLECT
48.33/48.52 c #Conflicts: 10000 | #Constraints: 5138
48.33/48.52 c #Conflicts: 11000 | #Constraints: 6138
48.33/48.52 c #Conflicts: 12000 | #Constraints: 7138
48.33/48.52 c INPROCESSING
48.33/48.52 c GARBAGE COLLECT
48.33/48.52 c #Conflicts: 13000 | #Constraints: 5588
48.33/48.52 c #Conflicts: 14000 | #Constraints: 6588
48.33/48.52 c #Conflicts: 15000 | #Constraints: 7588
48.33/48.52 c INPROCESSING
48.33/48.52 c GARBAGE COLLECT
48.33/48.52 c #Conflicts: 16000 | #Constraints: 5810
48.33/48.52 c #Conflicts: 17000 | #Constraints: 6810
48.33/48.52 c #Conflicts: 18000 | #Constraints: 7810
48.33/48.52 c INPROCESSING
48.33/48.52 c GARBAGE COLLECT
48.33/48.52 c #Conflicts: 19000 | #Constraints: 5823
48.33/48.52 c #Conflicts: 20000 | #Constraints: 6823
48.33/48.52 c #Conflicts: 21000 | #Constraints: 7823
48.33/48.52 c INPROCESSING
48.33/48.52 c GARBAGE COLLECT
48.33/48.52 c #Conflicts: 22000 | #Constraints: 5633
48.33/48.52 c #Conflicts: 23000 | #Constraints: 6633
48.33/48.52 c #Conflicts: 24000 | #Constraints: 7633
48.33/48.52 c #Conflicts: 25000 | #Constraints: 8633
48.33/48.52 c INPROCESSING
48.33/48.52 c GARBAGE COLLECT
48.33/48.52 c #Conflicts: 26000 | #Constraints: 6237
48.33/48.52 c #Conflicts: 27000 | #Constraints: 7237
48.33/48.52 c #Conflicts: 28000 | #Constraints: 8237
48.33/48.52 c #Conflicts: 29000 | #Constraints: 9237
48.33/48.52 c INPROCESSING
48.33/48.52 c GARBAGE COLLECT
48.33/48.52 c #Conflicts: 30000 | #Constraints: 6637
48.33/48.52 c #Conflicts: 31000 | #Constraints: 7637
48.33/48.52 c #Conflicts: 32000 | #Constraints: 8637
48.33/48.52 c #Conflicts: 33000 | #Constraints: 9637
48.33/48.52 c INPROCESSING
48.33/48.52 c GARBAGE COLLECT
48.33/48.52 c #Conflicts: 34000 | #Constraints: 6840
48.33/48.52 c #Conflicts: 35000 | #Constraints: 7840
48.33/48.52 c #Conflicts: 36000 | #Constraints: 8840
48.33/48.52 c #Conflicts: 37000 | #Constraints: 9840
48.33/48.52 c INPROCESSING
48.33/48.52 c GARBAGE COLLECT
48.33/48.52 c #Conflicts: 38000 | #Constraints: 6839
48.33/48.52 c #Conflicts: 39000 | #Constraints: 7839
48.33/48.52 c #Conflicts: 40000 | #Constraints: 8839
48.33/48.52 c #Conflicts: 41000 | #Constraints: 9839
48.33/48.52 c INPROCESSING
48.33/48.52 c GARBAGE COLLECT
48.33/48.52 c #Conflicts: 42000 | #Constraints: 6637
48.33/48.52 c #Conflicts: 43000 | #Constraints: 7637
48.33/48.52 c #Conflicts: 44000 | #Constraints: 8637
48.33/48.52 c #Conflicts: 45000 | #Constraints: 9637
48.33/48.52 c #Conflicts: 46000 | #Constraints: 10637
48.33/48.52 c INPROCESSING
48.33/48.52 c GARBAGE COLLECT
48.33/48.52 c #Conflicts: 47000 | #Constraints: 7240
48.33/48.52 c #Conflicts: 48000 | #Constraints: 8240
48.33/48.52 c #Conflicts: 49000 | #Constraints: 9240
48.33/48.52 c #Conflicts: 50000 | #Constraints: 10240
48.33/48.52 c #Conflicts: 51000 | #Constraints: 11240
48.33/48.52 c INPROCESSING
48.33/48.52 c GARBAGE COLLECT
48.33/48.52 c #Conflicts: 52000 | #Constraints: 7636
48.33/48.52 c #Conflicts: 53000 | #Constraints: 8636
48.33/48.52 c #Conflicts: 54000 | #Constraints: 9636
48.33/48.52 c #Conflicts: 55000 | #Constraints: 10636
48.33/48.52 c #Conflicts: 56000 | #Constraints: 11636
48.33/48.52 c INPROCESSING
48.33/48.52 c GARBAGE COLLECT
48.33/48.52 c #Conflicts: 57000 | #Constraints: 7834
48.33/48.52 c #Conflicts: 58000 | #Constraints: 8834
48.33/48.52 c #Conflicts: 59000 | #Constraints: 9834
48.33/48.52 c #Conflicts: 60000 | #Constraints: 10834
48.33/48.52 c #Conflicts: 61000 | #Constraints: 11834
48.33/48.52 c INPROCESSING
48.33/48.52 c GARBAGE COLLECT
48.33/48.52 c #Conflicts: 62000 | #Constraints: 7835
48.33/48.52 c #Conflicts: 63000 | #Constraints: 8835
48.33/48.52 c #Conflicts: 64000 | #Constraints: 9835
48.33/48.52 c #Conflicts: 65000 | #Constraints: 10835
48.33/48.52 c #Conflicts: 66000 | #Constraints: 11835
48.33/48.52 c INPROCESSING
48.33/48.52 c GARBAGE COLLECT
48.33/48.52 c #Conflicts: 67000 | #Constraints: 7637
48.33/48.52 c #Conflicts: 68000 | #Constraints: 8637
143.94/144.44 c #Conflicts: 69000 | #Constraints: 9637
143.94/144.44 c #Conflicts: 70000 | #Constraints: 10637
143.94/144.44 c #Conflicts: 71000 | #Constraints: 11637
143.94/144.44 c #Conflicts: 72000 | #Constraints: 12637
143.94/144.44 c INPROCESSING
143.94/144.44 c GARBAGE COLLECT
143.94/144.44 c #Conflicts: 73000 | #Constraints: 8237
143.94/144.44 c #Conflicts: 74000 | #Constraints: 9237
143.94/144.44 c #Conflicts: 75000 | #Constraints: 10237
143.94/144.44 c #Conflicts: 76000 | #Constraints: 11237
143.94/144.44 c #Conflicts: 77000 | #Constraints: 12237
143.94/144.44 c #Conflicts: 78000 | #Constraints: 13237
143.94/144.44 c INPROCESSING
143.94/144.44 c GARBAGE COLLECT
143.94/144.44 c #Conflicts: 79000 | #Constraints: 8639
143.94/144.44 c #Conflicts: 80000 | #Constraints: 9639
143.94/144.44 c #Conflicts: 81000 | #Constraints: 10639
143.94/144.44 c #Conflicts: 82000 | #Constraints: 11639
143.94/144.44 c #Conflicts: 83000 | #Constraints: 12639
143.94/144.44 c #Conflicts: 84000 | #Constraints: 13639
143.94/144.44 c INPROCESSING
143.94/144.44 c GARBAGE COLLECT
143.94/144.44 c #Conflicts: 85000 | #Constraints: 8833
143.94/144.44 c #Conflicts: 86000 | #Constraints: 9833
143.94/144.44 c #Conflicts: 87000 | #Constraints: 10833
143.94/144.44 c #Conflicts: 88000 | #Constraints: 11833
143.94/144.44 c #Conflicts: 89000 | #Constraints: 12833
143.94/144.44 c #Conflicts: 90000 | #Constraints: 13833
143.94/144.44 c INPROCESSING
143.94/144.44 c GARBAGE COLLECT
143.94/144.44 c #Conflicts: 91000 | #Constraints: 8836
143.94/144.44 c #Conflicts: 92000 | #Constraints: 9836
143.94/144.44 c #Conflicts: 93000 | #Constraints: 10836
143.94/144.44 c #Conflicts: 94000 | #Constraints: 11836
143.94/144.44 c #Conflicts: 95000 | #Constraints: 12836
143.94/144.44 c #Conflicts: 96000 | #Constraints: 13836
143.94/144.44 c INPROCESSING
143.94/144.44 c GARBAGE COLLECT
143.94/144.44 c #Conflicts: 97000 | #Constraints: 8635
143.94/144.44 c #Conflicts: 98000 | #Constraints: 9635
143.94/144.44 c #Conflicts: 99000 | #Constraints: 10635
143.94/144.44 c #Conflicts: 100000 | #Constraints: 11635
143.94/144.44 c #Conflicts: 101000 | #Constraints: 12635
143.94/144.44 c #Conflicts: 102000 | #Constraints: 13635
143.94/144.44 c #Conflicts: 103000 | #Constraints: 14635
143.94/144.44 c INPROCESSING
143.94/144.44 c GARBAGE COLLECT
143.94/144.44 c #Conflicts: 104000 | #Constraints: 9239
143.94/144.44 c #Conflicts: 105000 | #Constraints: 10239
143.94/144.44 c #Conflicts: 106000 | #Constraints: 11239
143.94/144.44 c #Conflicts: 107000 | #Constraints: 12239
143.94/144.44 c #Conflicts: 108000 | #Constraints: 13239
143.94/144.44 c #Conflicts: 109000 | #Constraints: 14239
143.94/144.44 c #Conflicts: 110000 | #Constraints: 15239
143.94/144.44 c INPROCESSING
143.94/144.44 c GARBAGE COLLECT
143.94/144.44 c #Conflicts: 111000 | #Constraints: 9638
143.94/144.44 c #Conflicts: 112000 | #Constraints: 10638
143.94/144.44 c #Conflicts: 113000 | #Constraints: 11638
143.94/144.44 c #Conflicts: 114000 | #Constraints: 12638
143.94/144.44 c #Conflicts: 115000 | #Constraints: 13638
143.94/144.44 c #Conflicts: 116000 | #Constraints: 14638
143.94/144.44 c #Conflicts: 117000 | #Constraints: 15638
143.94/144.44 c INPROCESSING
143.94/144.44 c GARBAGE COLLECT
143.94/144.44 c #Conflicts: 118000 | #Constraints: 9835
143.94/144.44 c #Conflicts: 119000 | #Constraints: 10835
143.94/144.44 c #Conflicts: 120000 | #Constraints: 11835
143.94/144.44 c #Conflicts: 121000 | #Constraints: 12835
143.94/144.44 c #Conflicts: 122000 | #Constraints: 13835
143.94/144.44 c #Conflicts: 123000 | #Constraints: 14835
143.94/144.44 c #Conflicts: 124000 | #Constraints: 15835
143.94/144.44 c INPROCESSING
143.94/144.44 c GARBAGE COLLECT
143.94/144.44 c #Conflicts: 125000 | #Constraints: 9837
143.94/144.44 c #Conflicts: 126000 | #Constraints: 10837
143.94/144.44 c #Conflicts: 127000 | #Constraints: 11837
143.94/144.44 c #Conflicts: 128000 | #Constraints: 12837
143.94/144.44 c #Conflicts: 129000 | #Constraints: 13837
143.94/144.44 c #Conflicts: 130000 | #Constraints: 14837
143.94/144.44 c #Conflicts: 131000 | #Constraints: 15837
143.94/144.44 c INPROCESSING
143.94/144.44 c GARBAGE COLLECT
143.94/144.44 c #Conflicts: 132000 | #Constraints: 9639
143.94/144.44 c #Conflicts: 133000 | #Constraints: 10639
143.94/144.44 c #Conflicts: 134000 | #Constraints: 11639
143.94/144.44 c #Conflicts: 135000 | #Constraints: 12639
143.94/144.44 c #Conflicts: 136000 | #Constraints: 13639
143.94/144.44 c #Conflicts: 137000 | #Constraints: 14639
143.94/144.44 c #Conflicts: 138000 | #Constraints: 15639
143.94/144.44 c #Conflicts: 139000 | #Constraints: 16639
143.94/144.44 c INPROCESSING
143.94/144.44 c GARBAGE COLLECT
143.94/144.44 c #Conflicts: 140000 | #Constraints: 10236
265.98/266.86 c #Conflicts: 141000 | #Constraints: 11236
265.98/266.86 c #Conflicts: 142000 | #Constraints: 12236
265.98/266.86 c #Conflicts: 143000 | #Constraints: 13236
265.98/266.86 c #Conflicts: 144000 | #Constraints: 14236
265.98/266.86 c #Conflicts: 145000 | #Constraints: 15236
265.98/266.86 c #Conflicts: 146000 | #Constraints: 16236
265.98/266.86 c #Conflicts: 147000 | #Constraints: 17236
265.98/266.86 c INPROCESSING
265.98/266.86 c GARBAGE COLLECT
265.98/266.86 c #Conflicts: 148000 | #Constraints: 10637
265.98/266.86 c #Conflicts: 149000 | #Constraints: 11637
265.98/266.86 c #Conflicts: 150000 | #Constraints: 12637
265.98/266.86 c #Conflicts: 151000 | #Constraints: 13637
265.98/266.86 c #Conflicts: 152000 | #Constraints: 14637
265.98/266.86 c #Conflicts: 153000 | #Constraints: 15637
265.98/266.86 c #Conflicts: 154000 | #Constraints: 16637
265.98/266.86 c #Conflicts: 155000 | #Constraints: 17637
265.98/266.86 c INPROCESSING
265.98/266.86 c GARBAGE COLLECT
265.98/266.86 c #Conflicts: 156000 | #Constraints: 10838
265.98/266.86 c #Conflicts: 157000 | #Constraints: 11838
265.98/266.86 c #Conflicts: 158000 | #Constraints: 12838
265.98/266.86 c #Conflicts: 159000 | #Constraints: 13838
265.98/266.86 c #Conflicts: 160000 | #Constraints: 14838
265.98/266.86 c #Conflicts: 161000 | #Constraints: 15838
265.98/266.86 c #Conflicts: 162000 | #Constraints: 16838
265.98/266.86 c #Conflicts: 163000 | #Constraints: 17838
265.98/266.86 c INPROCESSING
265.98/266.86 c GARBAGE COLLECT
265.98/266.86 c #Conflicts: 164000 | #Constraints: 10836
265.98/266.86 c #Conflicts: 165000 | #Constraints: 11836
265.98/266.86 c #Conflicts: 166000 | #Constraints: 12836
265.98/266.86 c #Conflicts: 167000 | #Constraints: 13836
265.98/266.86 c #Conflicts: 168000 | #Constraints: 14836
265.98/266.86 c #Conflicts: 169000 | #Constraints: 15836
265.98/266.86 c #Conflicts: 170000 | #Constraints: 16836
265.98/266.86 c #Conflicts: 171000 | #Constraints: 17836
265.98/266.86 c INPROCESSING
265.98/266.86 c GARBAGE COLLECT
265.98/266.86 c #Conflicts: 172000 | #Constraints: 10637
265.98/266.86 c #Conflicts: 173000 | #Constraints: 11637
265.98/266.86 c #Conflicts: 174000 | #Constraints: 12637
265.98/266.86 c #Conflicts: 175000 | #Constraints: 13637
265.98/266.86 c #Conflicts: 176000 | #Constraints: 14637
265.98/266.86 c #Conflicts: 177000 | #Constraints: 15637
265.98/266.86 c #Conflicts: 178000 | #Constraints: 16637
265.98/266.86 c #Conflicts: 179000 | #Constraints: 17637
265.98/266.86 c #Conflicts: 180000 | #Constraints: 18637
265.98/266.86 c INPROCESSING
265.98/266.86 c GARBAGE COLLECT
265.98/266.86 c #Conflicts: 181000 | #Constraints: 11237
265.98/266.86 c #Conflicts: 182000 | #Constraints: 12237
265.98/266.86 c #Conflicts: 183000 | #Constraints: 13237
265.98/266.86 c #Conflicts: 184000 | #Constraints: 14237
265.98/266.86 c #Conflicts: 185000 | #Constraints: 15237
265.98/266.86 c #Conflicts: 186000 | #Constraints: 16237
265.98/266.86 c #Conflicts: 187000 | #Constraints: 17237
265.98/266.86 c #Conflicts: 188000 | #Constraints: 18237
265.98/266.86 c #Conflicts: 189000 | #Constraints: 19237
265.98/266.86 c INPROCESSING
265.98/266.86 c GARBAGE COLLECT
265.98/266.86 c #Conflicts: 190000 | #Constraints: 11636
265.98/266.86 c #Conflicts: 191000 | #Constraints: 12636
265.98/266.86 c #Conflicts: 192000 | #Constraints: 13636
265.98/266.86 c #Conflicts: 193000 | #Constraints: 14636
265.98/266.86 c #Conflicts: 194000 | #Constraints: 15636
265.98/266.86 c #Conflicts: 195000 | #Constraints: 16636
265.98/266.86 c #Conflicts: 196000 | #Constraints: 17636
265.98/266.86 c #Conflicts: 197000 | #Constraints: 18636
265.98/266.86 c #Conflicts: 198000 | #Constraints: 19636
265.98/266.86 c INPROCESSING
265.98/266.86 c GARBAGE COLLECT
265.98/266.86 c #Conflicts: 199000 | #Constraints: 11836
265.98/266.86 c #Conflicts: 200000 | #Constraints: 12836
265.98/266.86 c #Conflicts: 201000 | #Constraints: 13836
265.98/266.86 c #Conflicts: 202000 | #Constraints: 14836
265.98/266.86 c #Conflicts: 203000 | #Constraints: 15836
265.98/266.86 c #Conflicts: 204000 | #Constraints: 16836
265.98/266.86 c #Conflicts: 205000 | #Constraints: 17836
265.98/266.86 c #Conflicts: 206000 | #Constraints: 18836
265.98/266.86 c #Conflicts: 207000 | #Constraints: 19836
265.98/266.86 c INPROCESSING
265.98/266.86 c GARBAGE COLLECT
265.98/266.86 c #Conflicts: 208000 | #Constraints: 11840
265.98/266.86 c #Conflicts: 209000 | #Constraints: 12840
265.98/266.86 c #Conflicts: 210000 | #Constraints: 13840
265.98/266.86 c #Conflicts: 211000 | #Constraints: 14840
265.98/266.86 c #Conflicts: 212000 | #Constraints: 15840
265.98/266.86 c #Conflicts: 213000 | #Constraints: 16840
419.37/420.72 c #Conflicts: 214000 | #Constraints: 17840
419.37/420.72 c #Conflicts: 215000 | #Constraints: 18840
419.37/420.72 c #Conflicts: 216000 | #Constraints: 19840
419.37/420.72 c INPROCESSING
419.37/420.72 c GARBAGE COLLECT
419.37/420.72 c #Conflicts: 217000 | #Constraints: 11639
419.37/420.72 c #Conflicts: 218000 | #Constraints: 12639
419.37/420.72 c #Conflicts: 219000 | #Constraints: 13639
419.37/420.72 c #Conflicts: 220000 | #Constraints: 14639
419.37/420.72 c #Conflicts: 221000 | #Constraints: 15639
419.37/420.72 c #Conflicts: 222000 | #Constraints: 16639
419.37/420.72 c #Conflicts: 223000 | #Constraints: 17639
419.37/420.72 c #Conflicts: 224000 | #Constraints: 18639
419.37/420.72 c #Conflicts: 225000 | #Constraints: 19639
419.37/420.72 c #Conflicts: 226000 | #Constraints: 20639
419.37/420.72 c INPROCESSING
419.37/420.72 c GARBAGE COLLECT
419.37/420.72 c #Conflicts: 227000 | #Constraints: 12240
419.37/420.72 c #Conflicts: 228000 | #Constraints: 13240
419.37/420.72 c #Conflicts: 229000 | #Constraints: 14240
419.37/420.72 c #Conflicts: 230000 | #Constraints: 15240
419.37/420.72 c #Conflicts: 231000 | #Constraints: 16240
419.37/420.72 c #Conflicts: 232000 | #Constraints: 17240
419.37/420.72 c #Conflicts: 233000 | #Constraints: 18240
419.37/420.72 c #Conflicts: 234000 | #Constraints: 19240
419.37/420.72 c #Conflicts: 235000 | #Constraints: 20240
419.37/420.72 c #Conflicts: 236000 | #Constraints: 21240
419.37/420.72 c INPROCESSING
419.37/420.72 c GARBAGE COLLECT
419.37/420.72 c #Conflicts: 237000 | #Constraints: 12638
419.37/420.72 c #Conflicts: 238000 | #Constraints: 13638
419.37/420.72 c #Conflicts: 239000 | #Constraints: 14638
419.37/420.72 c #Conflicts: 240000 | #Constraints: 15638
419.37/420.72 c #Conflicts: 241000 | #Constraints: 16638
419.37/420.72 c #Conflicts: 242000 | #Constraints: 17638
419.37/420.72 c #Conflicts: 243000 | #Constraints: 18638
419.37/420.72 c #Conflicts: 244000 | #Constraints: 19638
419.37/420.72 c #Conflicts: 245000 | #Constraints: 20638
419.37/420.72 c #Conflicts: 246000 | #Constraints: 21638
419.37/420.72 c INPROCESSING
419.37/420.72 c GARBAGE COLLECT
419.37/420.72 c #Conflicts: 247000 | #Constraints: 12840
419.37/420.72 c #Conflicts: 248000 | #Constraints: 13840
419.37/420.72 c #Conflicts: 249000 | #Constraints: 14840
419.37/420.72 c #Conflicts: 250000 | #Constraints: 15840
419.37/420.72 c #Conflicts: 251000 | #Constraints: 16840
419.37/420.72 c #Conflicts: 252000 | #Constraints: 17840
419.37/420.72 c #Conflicts: 253000 | #Constraints: 18840
419.37/420.72 c #Conflicts: 254000 | #Constraints: 19840
419.37/420.72 c #Conflicts: 255000 | #Constraints: 20840
419.37/420.72 c #Conflicts: 256000 | #Constraints: 21840
419.37/420.72 c INPROCESSING
419.37/420.72 c GARBAGE COLLECT
419.37/420.72 c #Conflicts: 257000 | #Constraints: 12839
419.37/420.72 c #Conflicts: 258000 | #Constraints: 13839
419.37/420.72 c #Conflicts: 259000 | #Constraints: 14839
419.37/420.72 c #Conflicts: 260000 | #Constraints: 15839
419.37/420.72 c #Conflicts: 261000 | #Constraints: 16839
419.37/420.72 c #Conflicts: 262000 | #Constraints: 17839
419.37/420.72 c #Conflicts: 263000 | #Constraints: 18839
419.37/420.72 c #Conflicts: 264000 | #Constraints: 19839
419.37/420.72 c #Conflicts: 265000 | #Constraints: 20839
419.37/420.72 c #Conflicts: 266000 | #Constraints: 21839
419.37/420.72 c INPROCESSING
419.37/420.72 c GARBAGE COLLECT
419.37/420.72 c #Conflicts: 267000 | #Constraints: 12642
419.37/420.72 c #Conflicts: 268000 | #Constraints: 13642
419.37/420.72 c #Conflicts: 269000 | #Constraints: 14642
419.37/420.72 c #Conflicts: 270000 | #Constraints: 15642
419.37/420.72 c #Conflicts: 271000 | #Constraints: 16642
419.37/420.72 c #Conflicts: 272000 | #Constraints: 17642
419.37/420.72 c #Conflicts: 273000 | #Constraints: 18642
419.37/420.72 c #Conflicts: 274000 | #Constraints: 19642
419.37/420.72 c #Conflicts: 275000 | #Constraints: 20642
419.37/420.72 c #Conflicts: 276000 | #Constraints: 21642
419.37/420.72 c #Conflicts: 277000 | #Constraints: 22642
419.37/420.72 c INPROCESSING
419.37/420.72 c GARBAGE COLLECT
419.37/420.72 c #Conflicts: 278000 | #Constraints: 13240
419.37/420.72 c #Conflicts: 279000 | #Constraints: 14240
419.37/420.72 c #Conflicts: 280000 | #Constraints: 15240
419.37/420.72 c #Conflicts: 281000 | #Constraints: 16240
419.37/420.72 c #Conflicts: 282000 | #Constraints: 17240
419.37/420.72 c #Conflicts: 283000 | #Constraints: 18240
419.37/420.72 c #Conflicts: 284000 | #Constraints: 19240
419.37/420.72 c #Conflicts: 285000 | #Constraints: 20240
419.37/420.72 c #Conflicts: 286000 | #Constraints: 21240
419.37/420.72 c #Conflicts: 287000 | #Constraints: 22240
419.37/420.72 c #Conflicts: 288000 | #Constraints: 23240
564.48/566.34 c INPROCESSING
564.48/566.34 c GARBAGE COLLECT
564.48/566.34 c #Conflicts: 289000 | #Constraints: 13641
564.48/566.34 c #Conflicts: 290000 | #Constraints: 14641
564.48/566.34 c #Conflicts: 291000 | #Constraints: 15641
564.48/566.34 c #Conflicts: 292000 | #Constraints: 16641
564.48/566.34 c #Conflicts: 293000 | #Constraints: 17641
564.48/566.34 c #Conflicts: 294000 | #Constraints: 18641
564.48/566.34 c #Conflicts: 295000 | #Constraints: 19641
564.48/566.34 c #Conflicts: 296000 | #Constraints: 20641
564.48/566.34 c #Conflicts: 297000 | #Constraints: 21641
564.48/566.34 c #Conflicts: 298000 | #Constraints: 22641
564.48/566.34 c #Conflicts: 299000 | #Constraints: 23641
564.48/566.34 c INPROCESSING
564.48/566.34 c GARBAGE COLLECT
564.48/566.34 c #Conflicts: 300000 | #Constraints: 13841
564.48/566.34 c #Conflicts: 301000 | #Constraints: 14841
564.48/566.34 c #Conflicts: 302000 | #Constraints: 15841
564.48/566.34 c #Conflicts: 303000 | #Constraints: 16841
564.48/566.34 c #Conflicts: 304000 | #Constraints: 17841
564.48/566.34 c #Conflicts: 305000 | #Constraints: 18841
564.48/566.34 c #Conflicts: 306000 | #Constraints: 19841
564.48/566.34 c #Conflicts: 307000 | #Constraints: 20841
564.48/566.34 c #Conflicts: 308000 | #Constraints: 21841
564.48/566.34 c #Conflicts: 309000 | #Constraints: 22841
564.48/566.34 c #Conflicts: 310000 | #Constraints: 23841
564.48/566.34 c INPROCESSING
564.48/566.34 c GARBAGE COLLECT
564.48/566.34 c #Conflicts: 311000 | #Constraints: 13839
564.48/566.34 c #Conflicts: 312000 | #Constraints: 14839
564.48/566.34 c #Conflicts: 313000 | #Constraints: 15839
564.48/566.34 c #Conflicts: 314000 | #Constraints: 16839
564.48/566.34 c #Conflicts: 315000 | #Constraints: 17839
564.48/566.34 c #Conflicts: 316000 | #Constraints: 18839
564.48/566.34 c #Conflicts: 317000 | #Constraints: 19839
564.48/566.34 c #Conflicts: 318000 | #Constraints: 20839
564.48/566.34 c #Conflicts: 319000 | #Constraints: 21839
564.48/566.34 c #Conflicts: 320000 | #Constraints: 22839
564.48/566.34 c #Conflicts: 321000 | #Constraints: 23839
564.48/566.34 c INPROCESSING
564.48/566.34 c GARBAGE COLLECT
564.48/566.34 c #Conflicts: 322000 | #Constraints: 13637
564.48/566.34 c #Conflicts: 323000 | #Constraints: 14637
564.48/566.34 c #Conflicts: 324000 | #Constraints: 15637
564.48/566.34 c #Conflicts: 325000 | #Constraints: 16637
564.48/566.34 c #Conflicts: 326000 | #Constraints: 17637
564.48/566.34 c #Conflicts: 327000 | #Constraints: 18637
564.48/566.34 c #Conflicts: 328000 | #Constraints: 19637
564.48/566.34 c #Conflicts: 329000 | #Constraints: 20637
564.48/566.34 c #Conflicts: 330000 | #Constraints: 21637
564.48/566.34 c #Conflicts: 331000 | #Constraints: 22637
564.48/566.34 c #Conflicts: 332000 | #Constraints: 23637
564.48/566.34 c #Conflicts: 333000 | #Constraints: 24637
564.48/566.34 c INPROCESSING
564.48/566.34 c GARBAGE COLLECT
564.48/566.34 c #Conflicts: 334000 | #Constraints: 14237
564.48/566.34 c #Conflicts: 335000 | #Constraints: 15237
564.48/566.34 c #Conflicts: 336000 | #Constraints: 16237
564.48/566.34 c #Conflicts: 337000 | #Constraints: 17237
564.48/566.34 c #Conflicts: 338000 | #Constraints: 18237
564.48/566.34 c #Conflicts: 339000 | #Constraints: 19237
564.48/566.34 c #Conflicts: 340000 | #Constraints: 20237
564.48/566.34 c #Conflicts: 341000 | #Constraints: 21237
564.48/566.34 c #Conflicts: 342000 | #Constraints: 22237
564.48/566.34 c #Conflicts: 343000 | #Constraints: 23237
564.48/566.34 c #Conflicts: 344000 | #Constraints: 24237
564.48/566.34 c #Conflicts: 345000 | #Constraints: 25237
564.48/566.34 c INPROCESSING
564.48/566.34 c GARBAGE COLLECT
564.48/566.34 c #Conflicts: 346000 | #Constraints: 14639
564.48/566.34 c #Conflicts: 347000 | #Constraints: 15639
564.48/566.34 c #Conflicts: 348000 | #Constraints: 16639
564.48/566.34 c #Conflicts: 349000 | #Constraints: 17639
564.48/566.34 c #Conflicts: 350000 | #Constraints: 18639
564.48/566.34 c #Conflicts: 351000 | #Constraints: 19639
564.48/566.34 c #Conflicts: 352000 | #Constraints: 20639
564.48/566.34 c #Conflicts: 353000 | #Constraints: 21639
564.48/566.34 c #Conflicts: 354000 | #Constraints: 22639
564.48/566.34 c #Conflicts: 355000 | #Constraints: 23639
564.48/566.34 c #Conflicts: 356000 | #Constraints: 24639
564.48/566.34 c #Conflicts: 357000 | #Constraints: 25639
564.48/566.34 c INPROCESSING
564.48/566.34 c GARBAGE COLLECT
564.48/566.34 c #Conflicts: 358000 | #Constraints: 14838
564.48/566.34 c #Conflicts: 359000 | #Constraints: 15838
564.48/566.34 c #Conflicts: 360000 | #Constraints: 16838
564.48/566.34 c #Conflicts: 361000 | #Constraints: 17838
564.48/566.34 c #Conflicts: 362000 | #Constraints: 18838
721.60/723.95 c #Conflicts: 363000 | #Constraints: 19838
721.60/723.95 c #Conflicts: 364000 | #Constraints: 20838
721.60/723.95 c #Conflicts: 365000 | #Constraints: 21838
721.60/723.95 c #Conflicts: 366000 | #Constraints: 22838
721.60/723.95 c #Conflicts: 367000 | #Constraints: 23838
721.60/723.95 c #Conflicts: 368000 | #Constraints: 24838
721.60/723.95 c #Conflicts: 369000 | #Constraints: 25838
721.60/723.95 c INPROCESSING
721.60/723.95 c GARBAGE COLLECT
721.60/723.95 c #Conflicts: 370000 | #Constraints: 14838
721.60/723.95 c #Conflicts: 371000 | #Constraints: 15838
721.60/723.95 c #Conflicts: 372000 | #Constraints: 16838
721.60/723.95 c #Conflicts: 373000 | #Constraints: 17838
721.60/723.95 c #Conflicts: 374000 | #Constraints: 18838
721.60/723.95 c #Conflicts: 375000 | #Constraints: 19838
721.60/723.95 c #Conflicts: 376000 | #Constraints: 20838
721.60/723.95 c #Conflicts: 377000 | #Constraints: 21838
721.60/723.95 c #Conflicts: 378000 | #Constraints: 22838
721.60/723.95 c #Conflicts: 379000 | #Constraints: 23838
721.60/723.95 c #Conflicts: 380000 | #Constraints: 24838
721.60/723.95 c #Conflicts: 381000 | #Constraints: 25838
721.60/723.95 c INPROCESSING
721.60/723.95 c GARBAGE COLLECT
721.60/723.95 c #Conflicts: 382000 | #Constraints: 14640
721.60/723.95 c #Conflicts: 383000 | #Constraints: 15640
721.60/723.95 c #Conflicts: 384000 | #Constraints: 16640
721.60/723.95 c #Conflicts: 385000 | #Constraints: 17640
721.60/723.95 c #Conflicts: 386000 | #Constraints: 18640
721.60/723.95 c #Conflicts: 387000 | #Constraints: 19640
721.60/723.95 c #Conflicts: 388000 | #Constraints: 20640
721.60/723.95 c #Conflicts: 389000 | #Constraints: 21640
721.60/723.95 c #Conflicts: 390000 | #Constraints: 22640
721.60/723.95 c #Conflicts: 391000 | #Constraints: 23640
721.60/723.95 c #Conflicts: 392000 | #Constraints: 24640
721.60/723.95 c #Conflicts: 393000 | #Constraints: 25640
721.60/723.95 c #Conflicts: 394000 | #Constraints: 26640
721.60/723.95 c INPROCESSING
721.60/723.95 c GARBAGE COLLECT
721.60/723.95 c #Conflicts: 395000 | #Constraints: 15239
721.60/723.95 c #Conflicts: 396000 | #Constraints: 16239
721.60/723.95 c #Conflicts: 397000 | #Constraints: 17239
721.60/723.95 c #Conflicts: 398000 | #Constraints: 18239
721.60/723.95 c #Conflicts: 399000 | #Constraints: 19239
721.60/723.95 c #Conflicts: 400000 | #Constraints: 20239
721.60/723.95 c #Conflicts: 401000 | #Constraints: 21239
721.60/723.95 c #Conflicts: 402000 | #Constraints: 22239
721.60/723.95 c #Conflicts: 403000 | #Constraints: 23239
721.60/723.95 c #Conflicts: 404000 | #Constraints: 24239
721.60/723.95 c #Conflicts: 405000 | #Constraints: 25239
721.60/723.95 c #Conflicts: 406000 | #Constraints: 26239
721.60/723.95 c #Conflicts: 407000 | #Constraints: 27239
721.60/723.95 c INPROCESSING
721.60/723.95 c GARBAGE COLLECT
721.60/723.95 c #Conflicts: 408000 | #Constraints: 15640
721.60/723.95 c #Conflicts: 409000 | #Constraints: 16640
721.60/723.95 c #Conflicts: 410000 | #Constraints: 17640
721.60/723.95 c #Conflicts: 411000 | #Constraints: 18640
721.60/723.95 c #Conflicts: 412000 | #Constraints: 19640
721.60/723.95 c #Conflicts: 413000 | #Constraints: 20640
721.60/723.95 c #Conflicts: 414000 | #Constraints: 21640
721.60/723.95 c #Conflicts: 415000 | #Constraints: 22640
721.60/723.95 c #Conflicts: 416000 | #Constraints: 23640
721.60/723.95 c #Conflicts: 417000 | #Constraints: 24640
721.60/723.95 c #Conflicts: 418000 | #Constraints: 25640
721.60/723.95 c #Conflicts: 419000 | #Constraints: 26640
721.60/723.95 c #Conflicts: 420000 | #Constraints: 27640
721.60/723.95 c INPROCESSING
721.60/723.95 c GARBAGE COLLECT
721.60/723.95 c #Conflicts: 421000 | #Constraints: 15839
721.60/723.95 c #Conflicts: 422000 | #Constraints: 16839
721.60/723.95 c #Conflicts: 423000 | #Constraints: 17839
721.60/723.95 c #Conflicts: 424000 | #Constraints: 18839
721.60/723.95 c #Conflicts: 425000 | #Constraints: 19839
721.60/723.95 c #Conflicts: 426000 | #Constraints: 20839
721.60/723.95 c #Conflicts: 427000 | #Constraints: 21839
721.60/723.95 c #Conflicts: 428000 | #Constraints: 22839
721.60/723.95 c #Conflicts: 429000 | #Constraints: 23839
721.60/723.95 c #Conflicts: 430000 | #Constraints: 24839
721.60/723.95 c #Conflicts: 431000 | #Constraints: 25839
721.60/723.95 c #Conflicts: 432000 | #Constraints: 26839
721.60/723.95 c #Conflicts: 433000 | #Constraints: 27839
721.60/723.95 c INPROCESSING
721.60/723.95 c GARBAGE COLLECT
721.60/723.95 c #Conflicts: 434000 | #Constraints: 15838
721.60/723.95 c #Conflicts: 435000 | #Constraints: 16838
721.60/723.95 c #Conflicts: 436000 | #Constraints: 17838
721.60/723.95 c #Conflicts: 437000 | #Constraints: 18838
729.57/731.94 c #Conflicts: 438000 | #Constraints: 19838
729.57/731.94 c #Conflicts: 439000 | #Constraints: 20838
729.57/731.94 c #Conflicts: 440000 | #Constraints: 21838
729.57/731.94 c #Conflicts: 441000 | #Constraints: 22838
729.57/731.94 c GLOBAL bounds - >= 0 @ 727.508
956.37/959.49 c #Conflicts: 442000 | #Constraints: 23840
956.37/959.49 c #Conflicts: 443000 | #Constraints: 24840
956.37/959.49 c #Conflicts: 444000 | #Constraints: 25840
956.37/959.49 c #Conflicts: 445000 | #Constraints: 26840
956.37/959.49 c #Conflicts: 446000 | #Constraints: 27840
956.37/959.49 c INPROCESSING
956.37/959.49 c GARBAGE COLLECT
956.37/959.49 c #Conflicts: 447000 | #Constraints: 15640
956.37/959.49 c #Conflicts: 448000 | #Constraints: 16640
956.37/959.49 c #Conflicts: 449000 | #Constraints: 17640
956.37/959.49 c #Conflicts: 450000 | #Constraints: 18640
956.37/959.49 c #Conflicts: 451000 | #Constraints: 19640
956.37/959.49 c #Conflicts: 452000 | #Constraints: 20640
956.37/959.49 c #Conflicts: 453000 | #Constraints: 21640
956.37/959.49 c #Conflicts: 454000 | #Constraints: 22640
956.37/959.49 c #Conflicts: 455000 | #Constraints: 23640
956.37/959.49 c #Conflicts: 456000 | #Constraints: 24640
956.37/959.49 c #Conflicts: 457000 | #Constraints: 25640
956.37/959.49 c #Conflicts: 458000 | #Constraints: 26640
956.37/959.49 c #Conflicts: 459000 | #Constraints: 27640
956.37/959.49 c #Conflicts: 460000 | #Constraints: 28640
956.37/959.49 c INPROCESSING
956.37/959.49 c GARBAGE COLLECT
956.37/959.49 c #Conflicts: 461000 | #Constraints: 16239
956.37/959.49 c #Conflicts: 462000 | #Constraints: 17239
956.37/959.49 c #Conflicts: 463000 | #Constraints: 18239
956.37/959.49 c #Conflicts: 464000 | #Constraints: 19239
956.37/959.49 c #Conflicts: 465000 | #Constraints: 20239
956.37/959.49 c #Conflicts: 466000 | #Constraints: 21239
956.37/959.49 c #Conflicts: 467000 | #Constraints: 22239
956.37/959.49 c #Conflicts: 468000 | #Constraints: 23239
956.37/959.49 c #Conflicts: 469000 | #Constraints: 24239
956.37/959.49 c #Conflicts: 470000 | #Constraints: 25239
956.37/959.49 c #Conflicts: 471000 | #Constraints: 26239
956.37/959.49 c #Conflicts: 472000 | #Constraints: 27239
956.37/959.49 c #Conflicts: 473000 | #Constraints: 28239
956.37/959.49 c #Conflicts: 474000 | #Constraints: 29239
956.37/959.49 c INPROCESSING
956.37/959.49 c GARBAGE COLLECT
956.37/959.49 c #Conflicts: 475000 | #Constraints: 16640
956.37/959.49 c #Conflicts: 476000 | #Constraints: 17640
956.37/959.49 c #Conflicts: 477000 | #Constraints: 18640
956.37/959.49 c #Conflicts: 478000 | #Constraints: 19640
956.37/959.49 c #Conflicts: 479000 | #Constraints: 20640
956.37/959.49 c #Conflicts: 480000 | #Constraints: 21640
956.37/959.49 c #Conflicts: 481000 | #Constraints: 22640
956.37/959.49 c #Conflicts: 482000 | #Constraints: 23640
956.37/959.49 c #Conflicts: 483000 | #Constraints: 24640
956.37/959.49 c #Conflicts: 484000 | #Constraints: 25640
956.37/959.49 c #Conflicts: 485000 | #Constraints: 26640
956.37/959.49 c #Conflicts: 486000 | #Constraints: 27640
956.37/959.49 c #Conflicts: 487000 | #Constraints: 28640
956.37/959.49 c #Conflicts: 488000 | #Constraints: 29640
956.37/959.49 c INPROCESSING
956.37/959.49 c GARBAGE COLLECT
956.37/959.49 c #Conflicts: 489000 | #Constraints: 16839
956.37/959.49 c #Conflicts: 490000 | #Constraints: 17839
956.37/959.49 c #Conflicts: 491000 | #Constraints: 18839
956.37/959.49 c #Conflicts: 492000 | #Constraints: 19839
956.37/959.49 c #Conflicts: 493000 | #Constraints: 20839
956.37/959.49 c #Conflicts: 494000 | #Constraints: 21839
956.37/959.49 c #Conflicts: 495000 | #Constraints: 22839
956.37/959.49 c #Conflicts: 496000 | #Constraints: 23839
956.37/959.49 c #Conflicts: 497000 | #Constraints: 24839
956.37/959.49 c #Conflicts: 498000 | #Constraints: 25839
956.37/959.49 c #Conflicts: 499000 | #Constraints: 26839
956.37/959.49 c #Conflicts: 500000 | #Constraints: 27839
956.37/959.49 c #Conflicts: 501000 | #Constraints: 28839
956.37/959.49 c #Conflicts: 502000 | #Constraints: 29839
956.37/959.49 c INPROCESSING
956.37/959.49 c GARBAGE COLLECT
956.37/959.49 c #Conflicts: 503000 | #Constraints: 16841
956.37/959.49 c #Conflicts: 504000 | #Constraints: 17841
956.37/959.49 c #Conflicts: 505000 | #Constraints: 18841
956.37/959.49 c #Conflicts: 506000 | #Constraints: 19841
956.37/959.49 c #Conflicts: 507000 | #Constraints: 20841
956.37/959.49 c #Conflicts: 508000 | #Constraints: 21841
956.37/959.49 c #Conflicts: 509000 | #Constraints: 22841
956.37/959.49 c #Conflicts: 510000 | #Constraints: 23841
956.37/959.49 c #Conflicts: 511000 | #Constraints: 24841
956.37/959.49 c #Conflicts: 512000 | #Constraints: 25841
956.37/959.49 c #Conflicts: 513000 | #Constraints: 26841
956.37/959.49 c GLOBAL bounds - >= 0 @ 953.981
1213.18/1217.06 c #Conflicts: 514000 | #Constraints: 27843
1213.18/1217.06 c #Conflicts: 515000 | #Constraints: 28843
1213.18/1217.06 c #Conflicts: 516000 | #Constraints: 29843
1213.18/1217.06 c INPROCESSING
1213.18/1217.06 c GARBAGE COLLECT
1213.18/1217.06 c #Conflicts: 517000 | #Constraints: 16640
1213.18/1217.06 c #Conflicts: 518000 | #Constraints: 17640
1213.18/1217.06 c #Conflicts: 519000 | #Constraints: 18640
1213.18/1217.06 c #Conflicts: 520000 | #Constraints: 19640
1213.18/1217.06 c #Conflicts: 521000 | #Constraints: 20640
1213.18/1217.06 c #Conflicts: 522000 | #Constraints: 21640
1213.18/1217.06 c #Conflicts: 523000 | #Constraints: 22640
1213.18/1217.06 c #Conflicts: 524000 | #Constraints: 23640
1213.18/1217.06 c #Conflicts: 525000 | #Constraints: 24640
1213.18/1217.06 c #Conflicts: 526000 | #Constraints: 25640
1213.18/1217.06 c #Conflicts: 527000 | #Constraints: 26640
1213.18/1217.06 c #Conflicts: 528000 | #Constraints: 27640
1213.18/1217.06 c #Conflicts: 529000 | #Constraints: 28640
1213.18/1217.06 c #Conflicts: 530000 | #Constraints: 29640
1213.18/1217.06 c #Conflicts: 531000 | #Constraints: 30640
1213.18/1217.06 c INPROCESSING
1213.18/1217.06 c GARBAGE COLLECT
1213.18/1217.06 c #Conflicts: 532000 | #Constraints: 17240
1213.18/1217.06 c #Conflicts: 533000 | #Constraints: 18240
1213.18/1217.06 c #Conflicts: 534000 | #Constraints: 19240
1213.18/1217.06 c #Conflicts: 535000 | #Constraints: 20240
1213.18/1217.06 c #Conflicts: 536000 | #Constraints: 21240
1213.18/1217.06 c #Conflicts: 537000 | #Constraints: 22240
1213.18/1217.06 c #Conflicts: 538000 | #Constraints: 23240
1213.18/1217.06 c #Conflicts: 539000 | #Constraints: 24240
1213.18/1217.06 c #Conflicts: 540000 | #Constraints: 25240
1213.18/1217.06 c #Conflicts: 541000 | #Constraints: 26240
1213.18/1217.06 c #Conflicts: 542000 | #Constraints: 27240
1213.18/1217.06 c #Conflicts: 543000 | #Constraints: 28240
1213.18/1217.06 c #Conflicts: 544000 | #Constraints: 29240
1213.18/1217.06 c #Conflicts: 545000 | #Constraints: 30240
1213.18/1217.06 c #Conflicts: 546000 | #Constraints: 31240
1213.18/1217.06 c INPROCESSING
1213.18/1217.06 c GARBAGE COLLECT
1213.18/1217.06 c #Conflicts: 547000 | #Constraints: 17641
1213.18/1217.06 c #Conflicts: 548000 | #Constraints: 18641
1213.18/1217.06 c #Conflicts: 549000 | #Constraints: 19641
1213.18/1217.06 c #Conflicts: 550000 | #Constraints: 20641
1213.18/1217.06 c #Conflicts: 551000 | #Constraints: 21641
1213.18/1217.06 c #Conflicts: 552000 | #Constraints: 22641
1213.18/1217.06 c #Conflicts: 553000 | #Constraints: 23641
1213.18/1217.06 c #Conflicts: 554000 | #Constraints: 24641
1213.18/1217.06 c #Conflicts: 555000 | #Constraints: 25641
1213.18/1217.06 c #Conflicts: 556000 | #Constraints: 26641
1213.18/1217.06 c #Conflicts: 557000 | #Constraints: 27641
1213.18/1217.06 c #Conflicts: 558000 | #Constraints: 28641
1213.18/1217.06 c #Conflicts: 559000 | #Constraints: 29641
1213.18/1217.06 c #Conflicts: 560000 | #Constraints: 30641
1213.18/1217.06 c #Conflicts: 561000 | #Constraints: 31641
1213.18/1217.06 c INPROCESSING
1213.18/1217.06 c GARBAGE COLLECT
1213.18/1217.06 c #Conflicts: 562000 | #Constraints: 17842
1213.18/1217.06 c #Conflicts: 563000 | #Constraints: 18842
1213.18/1217.06 c #Conflicts: 564000 | #Constraints: 19842
1213.18/1217.06 c #Conflicts: 565000 | #Constraints: 20842
1213.18/1217.06 c #Conflicts: 566000 | #Constraints: 21842
1213.18/1217.06 c #Conflicts: 567000 | #Constraints: 22842
1213.18/1217.06 c #Conflicts: 568000 | #Constraints: 23842
1213.18/1217.06 c #Conflicts: 569000 | #Constraints: 24842
1213.18/1217.06 c #Conflicts: 570000 | #Constraints: 25842
1213.18/1217.06 c #Conflicts: 571000 | #Constraints: 26842
1213.18/1217.06 c #Conflicts: 572000 | #Constraints: 27842
1213.18/1217.06 c #Conflicts: 573000 | #Constraints: 28842
1213.18/1217.06 c #Conflicts: 574000 | #Constraints: 29842
1213.18/1217.06 c #Conflicts: 575000 | #Constraints: 30842
1213.18/1217.06 c #Conflicts: 576000 | #Constraints: 31842
1213.18/1217.06 c INPROCESSING
1213.18/1217.06 c GARBAGE COLLECT
1213.18/1217.06 c #Conflicts: 577000 | #Constraints: 17842
1213.18/1217.06 c #Conflicts: 578000 | #Constraints: 18842
1213.18/1217.06 c #Conflicts: 579000 | #Constraints: 19842
1213.18/1217.06 c #Conflicts: 580000 | #Constraints: 20842
1213.18/1217.06 c #Conflicts: 581000 | #Constraints: 21842
1213.18/1217.06 c #Conflicts: 582000 | #Constraints: 22842
1213.18/1217.06 c #Conflicts: 583000 | #Constraints: 23842
1213.18/1217.06 c #Conflicts: 584000 | #Constraints: 24842
1213.18/1217.06 c #Conflicts: 585000 | #Constraints: 25842
1213.18/1217.06 c #Conflicts: 586000 | #Constraints: 26842
1213.18/1217.06 c #Conflicts: 587000 | #Constraints: 27842
1213.18/1217.06 c #Conflicts: 588000 | #Constraints: 28842
1213.18/1217.06 c #Conflicts: 589000 | #Constraints: 29842
1485.47/1490.26 c #Conflicts: 590000 | #Constraints: 30842
1485.47/1490.26 c #Conflicts: 591000 | #Constraints: 31842
1485.47/1490.26 c INPROCESSING
1485.47/1490.26 c GARBAGE COLLECT
1485.47/1490.26 c #Conflicts: 592000 | #Constraints: 17644
1485.47/1490.26 c #Conflicts: 593000 | #Constraints: 18644
1485.47/1490.26 c #Conflicts: 594000 | #Constraints: 19644
1485.47/1490.26 c #Conflicts: 595000 | #Constraints: 20644
1485.47/1490.26 c #Conflicts: 596000 | #Constraints: 21644
1485.47/1490.26 c #Conflicts: 597000 | #Constraints: 22644
1485.47/1490.26 c #Conflicts: 598000 | #Constraints: 23644
1485.47/1490.26 c #Conflicts: 599000 | #Constraints: 24644
1485.47/1490.26 c #Conflicts: 600000 | #Constraints: 25644
1485.47/1490.26 c #Conflicts: 601000 | #Constraints: 26644
1485.47/1490.26 c #Conflicts: 602000 | #Constraints: 27644
1485.47/1490.26 c #Conflicts: 603000 | #Constraints: 28644
1485.47/1490.26 c #Conflicts: 604000 | #Constraints: 29644
1485.47/1490.26 c #Conflicts: 605000 | #Constraints: 30644
1485.47/1490.26 c #Conflicts: 606000 | #Constraints: 31644
1485.47/1490.26 c #Conflicts: 607000 | #Constraints: 32644
1485.47/1490.26 c INPROCESSING
1485.47/1490.26 c GARBAGE COLLECT
1485.47/1490.26 c #Conflicts: 608000 | #Constraints: 18240
1485.47/1490.26 c #Conflicts: 609000 | #Constraints: 19240
1485.47/1490.26 c #Conflicts: 610000 | #Constraints: 20240
1485.47/1490.26 c #Conflicts: 611000 | #Constraints: 21240
1485.47/1490.26 c #Conflicts: 612000 | #Constraints: 22240
1485.47/1490.26 c #Conflicts: 613000 | #Constraints: 23240
1485.47/1490.26 c #Conflicts: 614000 | #Constraints: 24240
1485.47/1490.26 c #Conflicts: 615000 | #Constraints: 25240
1485.47/1490.26 c #Conflicts: 616000 | #Constraints: 26240
1485.47/1490.26 c #Conflicts: 617000 | #Constraints: 27240
1485.47/1490.26 c #Conflicts: 618000 | #Constraints: 28240
1485.47/1490.26 c #Conflicts: 619000 | #Constraints: 29240
1485.47/1490.26 c #Conflicts: 620000 | #Constraints: 30240
1485.47/1490.26 c #Conflicts: 621000 | #Constraints: 31240
1485.47/1490.26 c #Conflicts: 622000 | #Constraints: 32240
1485.47/1490.26 c #Conflicts: 623000 | #Constraints: 33240
1485.47/1490.26 c INPROCESSING
1485.47/1490.26 c GARBAGE COLLECT
1485.47/1490.26 c #Conflicts: 624000 | #Constraints: 18639
1485.47/1490.26 c #Conflicts: 625000 | #Constraints: 19639
1485.47/1490.26 c #Conflicts: 626000 | #Constraints: 20639
1485.47/1490.26 c #Conflicts: 627000 | #Constraints: 21639
1485.47/1490.26 c #Conflicts: 628000 | #Constraints: 22639
1485.47/1490.26 c #Conflicts: 629000 | #Constraints: 23639
1485.47/1490.26 c #Conflicts: 630000 | #Constraints: 24639
1485.47/1490.26 c #Conflicts: 631000 | #Constraints: 25639
1485.47/1490.26 c #Conflicts: 632000 | #Constraints: 26639
1485.47/1490.26 c #Conflicts: 633000 | #Constraints: 27639
1485.47/1490.26 c #Conflicts: 634000 | #Constraints: 28639
1485.47/1490.26 c #Conflicts: 635000 | #Constraints: 29639
1485.47/1490.26 c #Conflicts: 636000 | #Constraints: 30639
1485.47/1490.26 c #Conflicts: 637000 | #Constraints: 31639
1485.47/1490.26 c #Conflicts: 638000 | #Constraints: 32639
1485.47/1490.26 c #Conflicts: 639000 | #Constraints: 33639
1485.47/1490.26 c INPROCESSING
1485.47/1490.26 c GARBAGE COLLECT
1485.47/1490.26 c #Conflicts: 640000 | #Constraints: 18841
1485.47/1490.26 c #Conflicts: 641000 | #Constraints: 19841
1485.47/1490.26 c #Conflicts: 642000 | #Constraints: 20841
1485.47/1490.26 c #Conflicts: 643000 | #Constraints: 21841
1485.47/1490.26 c #Conflicts: 644000 | #Constraints: 22841
1485.47/1490.26 c #Conflicts: 645000 | #Constraints: 23841
1485.47/1490.26 c #Conflicts: 646000 | #Constraints: 24841
1485.47/1490.26 c #Conflicts: 647000 | #Constraints: 25841
1485.47/1490.26 c #Conflicts: 648000 | #Constraints: 26841
1485.47/1490.26 c #Conflicts: 649000 | #Constraints: 27841
1485.47/1490.26 c #Conflicts: 650000 | #Constraints: 28841
1485.47/1490.26 c #Conflicts: 651000 | #Constraints: 29841
1485.47/1490.26 c #Conflicts: 652000 | #Constraints: 30841
1485.47/1490.26 c #Conflicts: 653000 | #Constraints: 31841
1485.47/1490.26 c #Conflicts: 654000 | #Constraints: 32841
1485.47/1490.26 c #Conflicts: 655000 | #Constraints: 33841
1485.47/1490.26 c INPROCESSING
1485.47/1490.26 c GARBAGE COLLECT
1485.47/1490.26 c #Conflicts: 656000 | #Constraints: 18840
1485.47/1490.26 c #Conflicts: 657000 | #Constraints: 19840
1485.47/1490.26 c #Conflicts: 658000 | #Constraints: 20840
1485.47/1490.26 c #Conflicts: 659000 | #Constraints: 21840
1485.47/1490.26 c #Conflicts: 660000 | #Constraints: 22840
1485.47/1490.26 c #Conflicts: 661000 | #Constraints: 23840
1485.47/1490.26 c #Conflicts: 662000 | #Constraints: 24840
1485.47/1490.26 c #Conflicts: 663000 | #Constraints: 25840
1485.47/1490.26 c #Conflicts: 664000 | #Constraints: 26840
1485.47/1490.26 c #Conflicts: 665000 | #Constraints: 27840
1751.59/1757.18 c #Conflicts: 666000 | #Constraints: 28840
1751.59/1757.18 c #Conflicts: 667000 | #Constraints: 29840
1751.59/1757.18 c #Conflicts: 668000 | #Constraints: 30840
1751.59/1757.18 c #Conflicts: 669000 | #Constraints: 31840
1751.59/1757.18 c #Conflicts: 670000 | #Constraints: 32840
1751.59/1757.18 c #Conflicts: 671000 | #Constraints: 33840
1751.59/1757.18 c INPROCESSING
1751.59/1757.18 c GARBAGE COLLECT
1751.59/1757.18 c #Conflicts: 672000 | #Constraints: 18639
1751.59/1757.18 c #Conflicts: 673000 | #Constraints: 19639
1751.59/1757.18 c #Conflicts: 674000 | #Constraints: 20639
1751.59/1757.18 c #Conflicts: 675000 | #Constraints: 21639
1751.59/1757.18 c #Conflicts: 676000 | #Constraints: 22639
1751.59/1757.18 c #Conflicts: 677000 | #Constraints: 23639
1751.59/1757.18 c #Conflicts: 678000 | #Constraints: 24639
1751.59/1757.18 c #Conflicts: 679000 | #Constraints: 25639
1751.59/1757.18 c #Conflicts: 680000 | #Constraints: 26639
1751.59/1757.18 c #Conflicts: 681000 | #Constraints: 27639
1751.59/1757.18 c #Conflicts: 682000 | #Constraints: 28639
1751.59/1757.18 c #Conflicts: 683000 | #Constraints: 29639
1751.59/1757.18 c #Conflicts: 684000 | #Constraints: 30639
1751.59/1757.18 c #Conflicts: 685000 | #Constraints: 31639
1751.59/1757.18 c #Conflicts: 686000 | #Constraints: 32639
1751.59/1757.18 c #Conflicts: 687000 | #Constraints: 33639
1751.59/1757.18 c #Conflicts: 688000 | #Constraints: 34639
1751.59/1757.18 c INPROCESSING
1751.59/1757.18 c GARBAGE COLLECT
1751.59/1757.18 c #Conflicts: 689000 | #Constraints: 19244
1751.59/1757.18 c #Conflicts: 690000 | #Constraints: 20244
1751.59/1757.18 c #Conflicts: 691000 | #Constraints: 21244
1751.59/1757.18 c #Conflicts: 692000 | #Constraints: 22244
1751.59/1757.18 c #Conflicts: 693000 | #Constraints: 23244
1751.59/1757.18 c #Conflicts: 694000 | #Constraints: 24244
1751.59/1757.18 c #Conflicts: 695000 | #Constraints: 25244
1751.59/1757.18 c #Conflicts: 696000 | #Constraints: 26244
1751.59/1757.18 c #Conflicts: 697000 | #Constraints: 27244
1751.59/1757.18 c #Conflicts: 698000 | #Constraints: 28244
1751.59/1757.18 c #Conflicts: 699000 | #Constraints: 29244
1751.59/1757.18 c #Conflicts: 700000 | #Constraints: 30244
1751.59/1757.18 c #Conflicts: 701000 | #Constraints: 31244
1751.59/1757.18 c #Conflicts: 702000 | #Constraints: 32244
1751.59/1757.18 c #Conflicts: 703000 | #Constraints: 33244
1751.59/1757.18 c #Conflicts: 704000 | #Constraints: 34244
1751.59/1757.18 c #Conflicts: 705000 | #Constraints: 35244
1751.59/1757.18 c INPROCESSING
1751.59/1757.18 c GARBAGE COLLECT
1751.59/1757.18 c #Conflicts: 706000 | #Constraints: 19643
1751.59/1757.18 c #Conflicts: 707000 | #Constraints: 20643
1751.59/1757.18 c #Conflicts: 708000 | #Constraints: 21643
1751.59/1757.18 c #Conflicts: 709000 | #Constraints: 22643
1751.59/1757.18 c #Conflicts: 710000 | #Constraints: 23643
1751.59/1757.18 c #Conflicts: 711000 | #Constraints: 24643
1751.59/1757.18 c #Conflicts: 712000 | #Constraints: 25643
1751.59/1757.18 c #Conflicts: 713000 | #Constraints: 26643
1751.59/1757.18 c #Conflicts: 714000 | #Constraints: 27643
1751.59/1757.18 c #Conflicts: 715000 | #Constraints: 28643
1751.59/1757.18 c #Conflicts: 716000 | #Constraints: 29643
1751.59/1757.18 c #Conflicts: 717000 | #Constraints: 30643
1751.59/1757.18 c #Conflicts: 718000 | #Constraints: 31643
1751.59/1757.18 c #Conflicts: 719000 | #Constraints: 32643
1751.59/1757.18 c #Conflicts: 720000 | #Constraints: 33643
1751.59/1757.18 c #Conflicts: 721000 | #Constraints: 34643
1751.59/1757.18 c #Conflicts: 722000 | #Constraints: 35643
1751.59/1757.18 c INPROCESSING
1751.59/1757.18 c GARBAGE COLLECT
1751.59/1757.18 c #Conflicts: 723000 | #Constraints: 19842
1751.59/1757.18 c #Conflicts: 724000 | #Constraints: 20842
1751.59/1757.18 c #Conflicts: 725000 | #Constraints: 21842
1751.59/1757.18 c #Conflicts: 726000 | #Constraints: 22842
1751.59/1757.18 c #Conflicts: 727000 | #Constraints: 23842
1751.59/1757.18 c #Conflicts: 728000 | #Constraints: 24842
1751.59/1757.18 c #Conflicts: 729000 | #Constraints: 25842
1751.59/1757.18 c #Conflicts: 730000 | #Constraints: 26842
1751.59/1757.18 c #Conflicts: 731000 | #Constraints: 27842
1751.59/1757.18 c #Conflicts: 732000 | #Constraints: 28842
1751.59/1757.18 c #Conflicts: 733000 | #Constraints: 29842
1751.59/1757.18 c #Conflicts: 734000 | #Constraints: 30842
1751.59/1757.18 c #Conflicts: 735000 | #Constraints: 31842
1751.59/1757.18 c #Conflicts: 736000 | #Constraints: 32842
1751.59/1757.18 c #Conflicts: 737000 | #Constraints: 33842
1751.59/1757.18 c #Conflicts: 738000 | #Constraints: 34842
1751.59/1757.18 c #Conflicts: 739000 | #Constraints: 35842
1751.59/1757.18 c INPROCESSING
1751.59/1757.18 c GARBAGE COLLECT
1751.59/1757.18 c #Conflicts: 740000 | #Constraints: 19843
2030.70/2037.19 c #Conflicts: 741000 | #Constraints: 20843
2030.70/2037.19 c #Conflicts: 742000 | #Constraints: 21843
2030.70/2037.19 c #Conflicts: 743000 | #Constraints: 22843
2030.70/2037.19 c #Conflicts: 744000 | #Constraints: 23843
2030.70/2037.19 c #Conflicts: 745000 | #Constraints: 24843
2030.70/2037.19 c #Conflicts: 746000 | #Constraints: 25843
2030.70/2037.19 c #Conflicts: 747000 | #Constraints: 26843
2030.70/2037.19 c #Conflicts: 748000 | #Constraints: 27843
2030.70/2037.19 c #Conflicts: 749000 | #Constraints: 28843
2030.70/2037.19 c #Conflicts: 750000 | #Constraints: 29843
2030.70/2037.19 c #Conflicts: 751000 | #Constraints: 30843
2030.70/2037.19 c #Conflicts: 752000 | #Constraints: 31843
2030.70/2037.19 c #Conflicts: 753000 | #Constraints: 32843
2030.70/2037.19 c #Conflicts: 754000 | #Constraints: 33843
2030.70/2037.19 c #Conflicts: 755000 | #Constraints: 34843
2030.70/2037.19 c #Conflicts: 756000 | #Constraints: 35843
2030.70/2037.19 c INPROCESSING
2030.70/2037.19 c GARBAGE COLLECT
2030.70/2037.19 c #Conflicts: 757000 | #Constraints: 19645
2030.70/2037.19 c #Conflicts: 758000 | #Constraints: 20645
2030.70/2037.19 c #Conflicts: 759000 | #Constraints: 21645
2030.70/2037.19 c #Conflicts: 760000 | #Constraints: 22645
2030.70/2037.19 c #Conflicts: 761000 | #Constraints: 23645
2030.70/2037.19 c #Conflicts: 762000 | #Constraints: 24645
2030.70/2037.19 c #Conflicts: 763000 | #Constraints: 25645
2030.70/2037.19 c #Conflicts: 764000 | #Constraints: 26645
2030.70/2037.19 c #Conflicts: 765000 | #Constraints: 27645
2030.70/2037.19 c #Conflicts: 766000 | #Constraints: 28645
2030.70/2037.19 c #Conflicts: 767000 | #Constraints: 29645
2030.70/2037.19 c #Conflicts: 768000 | #Constraints: 30645
2030.70/2037.19 c #Conflicts: 769000 | #Constraints: 31645
2030.70/2037.19 c #Conflicts: 770000 | #Constraints: 32645
2030.70/2037.19 c #Conflicts: 771000 | #Constraints: 33645
2030.70/2037.19 c #Conflicts: 772000 | #Constraints: 34645
2030.70/2037.19 c #Conflicts: 773000 | #Constraints: 35645
2030.70/2037.19 c #Conflicts: 774000 | #Constraints: 36645
2030.70/2037.19 c INPROCESSING
2030.70/2037.19 c GARBAGE COLLECT
2030.70/2037.19 c #Conflicts: 775000 | #Constraints: 20247
2030.70/2037.19 c #Conflicts: 776000 | #Constraints: 21247
2030.70/2037.19 c #Conflicts: 777000 | #Constraints: 22247
2030.70/2037.19 c #Conflicts: 778000 | #Constraints: 23247
2030.70/2037.19 c #Conflicts: 779000 | #Constraints: 24247
2030.70/2037.19 c #Conflicts: 780000 | #Constraints: 25247
2030.70/2037.19 c #Conflicts: 781000 | #Constraints: 26247
2030.70/2037.19 c #Conflicts: 782000 | #Constraints: 27247
2030.70/2037.19 c #Conflicts: 783000 | #Constraints: 28247
2030.70/2037.19 c #Conflicts: 784000 | #Constraints: 29247
2030.70/2037.19 c #Conflicts: 785000 | #Constraints: 30247
2030.70/2037.19 c #Conflicts: 786000 | #Constraints: 31247
2030.70/2037.19 c #Conflicts: 787000 | #Constraints: 32247
2030.70/2037.19 c #Conflicts: 788000 | #Constraints: 33247
2030.70/2037.19 c #Conflicts: 789000 | #Constraints: 34247
2030.70/2037.19 c #Conflicts: 790000 | #Constraints: 35247
2030.70/2037.19 c #Conflicts: 791000 | #Constraints: 36247
2030.70/2037.19 c #Conflicts: 792000 | #Constraints: 37247
2030.70/2037.19 c INPROCESSING
2030.70/2037.19 c GARBAGE COLLECT
2030.70/2037.19 c #Conflicts: 793000 | #Constraints: 20650
2030.70/2037.19 c #Conflicts: 794000 | #Constraints: 21650
2030.70/2037.19 c #Conflicts: 795000 | #Constraints: 22650
2030.70/2037.19 c #Conflicts: 796000 | #Constraints: 23650
2030.70/2037.19 c #Conflicts: 797000 | #Constraints: 24650
2030.70/2037.19 c #Conflicts: 798000 | #Constraints: 25650
2030.70/2037.19 c #Conflicts: 799000 | #Constraints: 26650
2030.70/2037.19 c #Conflicts: 800000 | #Constraints: 27650
2030.70/2037.19 c #Conflicts: 801000 | #Constraints: 28650
2030.70/2037.19 c #Conflicts: 802000 | #Constraints: 29650
2030.70/2037.19 c #Conflicts: 803000 | #Constraints: 30650
2030.70/2037.19 c #Conflicts: 804000 | #Constraints: 31650
2030.70/2037.19 c #Conflicts: 805000 | #Constraints: 32650
2030.70/2037.19 c #Conflicts: 806000 | #Constraints: 33650
2030.70/2037.19 c #Conflicts: 807000 | #Constraints: 34650
2030.70/2037.19 c #Conflicts: 808000 | #Constraints: 35650
2030.70/2037.19 c #Conflicts: 809000 | #Constraints: 36650
2030.70/2037.19 c #Conflicts: 810000 | #Constraints: 37650
2030.70/2037.19 c INPROCESSING
2030.70/2037.19 c GARBAGE COLLECT
2030.70/2037.19 c #Conflicts: 811000 | #Constraints: 20848
2030.70/2037.19 c #Conflicts: 812000 | #Constraints: 21848
2030.70/2037.19 c #Conflicts: 813000 | #Constraints: 22848
2030.70/2037.19 c #Conflicts: 814000 | #Constraints: 23848
2030.70/2037.19 c #Conflicts: 815000 | #Constraints: 24848
2030.70/2037.19 c #Conflicts: 816000 | #Constraints: 25848
2030.70/2037.19 c #Conflicts: 817000 | #Constraints: 26848
2325.02/2332.45 c #Conflicts: 818000 | #Constraints: 27848
2325.02/2332.45 c #Conflicts: 819000 | #Constraints: 28848
2325.02/2332.45 c #Conflicts: 820000 | #Constraints: 29848
2325.02/2332.45 c #Conflicts: 821000 | #Constraints: 30848
2325.02/2332.45 c #Conflicts: 822000 | #Constraints: 31848
2325.02/2332.45 c #Conflicts: 823000 | #Constraints: 32848
2325.02/2332.45 c #Conflicts: 824000 | #Constraints: 33848
2325.02/2332.45 c #Conflicts: 825000 | #Constraints: 34848
2325.02/2332.45 c #Conflicts: 826000 | #Constraints: 35848
2325.02/2332.45 c #Conflicts: 827000 | #Constraints: 36848
2325.02/2332.45 c #Conflicts: 828000 | #Constraints: 37848
2325.02/2332.45 c INPROCESSING
2325.02/2332.45 c GARBAGE COLLECT
2325.02/2332.45 c #Conflicts: 829000 | #Constraints: 20845
2325.02/2332.45 c #Conflicts: 830000 | #Constraints: 21845
2325.02/2332.45 c #Conflicts: 831000 | #Constraints: 22845
2325.02/2332.45 c #Conflicts: 832000 | #Constraints: 23845
2325.02/2332.45 c #Conflicts: 833000 | #Constraints: 24845
2325.02/2332.45 c #Conflicts: 834000 | #Constraints: 25845
2325.02/2332.45 c #Conflicts: 835000 | #Constraints: 26845
2325.02/2332.45 c #Conflicts: 836000 | #Constraints: 27845
2325.02/2332.45 c #Conflicts: 837000 | #Constraints: 28845
2325.02/2332.45 c #Conflicts: 838000 | #Constraints: 29845
2325.02/2332.45 c #Conflicts: 839000 | #Constraints: 30845
2325.02/2332.45 c #Conflicts: 840000 | #Constraints: 31845
2325.02/2332.45 c #Conflicts: 841000 | #Constraints: 32845
2325.02/2332.45 c #Conflicts: 842000 | #Constraints: 33845
2325.02/2332.45 c #Conflicts: 843000 | #Constraints: 34845
2325.02/2332.45 c #Conflicts: 844000 | #Constraints: 35845
2325.02/2332.45 c #Conflicts: 845000 | #Constraints: 36845
2325.02/2332.45 c #Conflicts: 846000 | #Constraints: 37845
2325.02/2332.45 c INPROCESSING
2325.02/2332.45 c GARBAGE COLLECT
2325.02/2332.45 c #Conflicts: 847000 | #Constraints: 20644
2325.02/2332.45 c #Conflicts: 848000 | #Constraints: 21644
2325.02/2332.45 c #Conflicts: 849000 | #Constraints: 22644
2325.02/2332.45 c #Conflicts: 850000 | #Constraints: 23644
2325.02/2332.45 c #Conflicts: 851000 | #Constraints: 24644
2325.02/2332.45 c #Conflicts: 852000 | #Constraints: 25644
2325.02/2332.45 c #Conflicts: 853000 | #Constraints: 26644
2325.02/2332.45 c #Conflicts: 854000 | #Constraints: 27644
2325.02/2332.45 c #Conflicts: 855000 | #Constraints: 28644
2325.02/2332.45 c #Conflicts: 856000 | #Constraints: 29644
2325.02/2332.45 c #Conflicts: 857000 | #Constraints: 30644
2325.02/2332.45 c #Conflicts: 858000 | #Constraints: 31644
2325.02/2332.45 c #Conflicts: 859000 | #Constraints: 32644
2325.02/2332.45 c #Conflicts: 860000 | #Constraints: 33644
2325.02/2332.45 c #Conflicts: 861000 | #Constraints: 34644
2325.02/2332.45 c #Conflicts: 862000 | #Constraints: 35644
2325.02/2332.45 c #Conflicts: 863000 | #Constraints: 36644
2325.02/2332.45 c #Conflicts: 864000 | #Constraints: 37644
2325.02/2332.45 c #Conflicts: 865000 | #Constraints: 38644
2325.02/2332.45 c INPROCESSING
2325.02/2332.45 c GARBAGE COLLECT
2325.02/2332.45 c #Conflicts: 866000 | #Constraints: 21248
2325.02/2332.45 c #Conflicts: 867000 | #Constraints: 22248
2325.02/2332.45 c #Conflicts: 868000 | #Constraints: 23248
2325.02/2332.45 c #Conflicts: 869000 | #Constraints: 24248
2325.02/2332.45 c #Conflicts: 870000 | #Constraints: 25248
2325.02/2332.45 c #Conflicts: 871000 | #Constraints: 26248
2325.02/2332.45 c #Conflicts: 872000 | #Constraints: 27248
2325.02/2332.45 c #Conflicts: 873000 | #Constraints: 28248
2325.02/2332.45 c #Conflicts: 874000 | #Constraints: 29248
2325.02/2332.45 c #Conflicts: 875000 | #Constraints: 30248
2325.02/2332.45 c #Conflicts: 876000 | #Constraints: 31248
2325.02/2332.45 c #Conflicts: 877000 | #Constraints: 32248
2325.02/2332.45 c #Conflicts: 878000 | #Constraints: 33248
2325.02/2332.45 c #Conflicts: 879000 | #Constraints: 34248
2325.02/2332.45 c #Conflicts: 880000 | #Constraints: 35248
2325.02/2332.45 c #Conflicts: 881000 | #Constraints: 36248
2325.02/2332.45 c #Conflicts: 882000 | #Constraints: 37248
2325.02/2332.45 c #Conflicts: 883000 | #Constraints: 38248
2325.02/2332.45 c #Conflicts: 884000 | #Constraints: 39248
2325.02/2332.45 c INPROCESSING
2325.02/2332.45 c GARBAGE COLLECT
2325.02/2332.45 c #Conflicts: 885000 | #Constraints: 21645
2325.02/2332.45 c #Conflicts: 886000 | #Constraints: 22645
2325.02/2332.45 c #Conflicts: 887000 | #Constraints: 23645
2325.02/2332.45 c #Conflicts: 888000 | #Constraints: 24645
2325.02/2332.45 c #Conflicts: 889000 | #Constraints: 25645
2325.02/2332.45 c #Conflicts: 890000 | #Constraints: 26645
2325.02/2332.45 c #Conflicts: 891000 | #Constraints: 27645
2325.02/2332.45 c #Conflicts: 892000 | #Constraints: 28645
2325.02/2332.45 c #Conflicts: 893000 | #Constraints: 29645
2634.07/2642.57 c #Conflicts: 894000 | #Constraints: 30645
2634.07/2642.57 c #Conflicts: 895000 | #Constraints: 31645
2634.07/2642.57 c #Conflicts: 896000 | #Constraints: 32645
2634.07/2642.57 c #Conflicts: 897000 | #Constraints: 33645
2634.07/2642.57 c #Conflicts: 898000 | #Constraints: 34645
2634.07/2642.57 c #Conflicts: 899000 | #Constraints: 35645
2634.07/2642.57 c #Conflicts: 900000 | #Constraints: 36645
2634.07/2642.57 c #Conflicts: 901000 | #Constraints: 37645
2634.07/2642.57 c #Conflicts: 902000 | #Constraints: 38645
2634.07/2642.57 c #Conflicts: 903000 | #Constraints: 39645
2634.07/2642.57 c INPROCESSING
2634.07/2642.57 c GARBAGE COLLECT
2634.07/2642.57 c #Conflicts: 904000 | #Constraints: 21843
2634.07/2642.57 c #Conflicts: 905000 | #Constraints: 22843
2634.07/2642.57 c #Conflicts: 906000 | #Constraints: 23843
2634.07/2642.57 c #Conflicts: 907000 | #Constraints: 24843
2634.07/2642.57 c #Conflicts: 908000 | #Constraints: 25843
2634.07/2642.57 c #Conflicts: 909000 | #Constraints: 26843
2634.07/2642.57 c #Conflicts: 910000 | #Constraints: 27843
2634.07/2642.57 c #Conflicts: 911000 | #Constraints: 28843
2634.07/2642.57 c #Conflicts: 912000 | #Constraints: 29843
2634.07/2642.57 c #Conflicts: 913000 | #Constraints: 30843
2634.07/2642.57 c #Conflicts: 914000 | #Constraints: 31843
2634.07/2642.57 c #Conflicts: 915000 | #Constraints: 32843
2634.07/2642.57 c #Conflicts: 916000 | #Constraints: 33843
2634.07/2642.57 c #Conflicts: 917000 | #Constraints: 34843
2634.07/2642.57 c #Conflicts: 918000 | #Constraints: 35843
2634.07/2642.57 c #Conflicts: 919000 | #Constraints: 36843
2634.07/2642.57 c #Conflicts: 920000 | #Constraints: 37843
2634.07/2642.57 c #Conflicts: 921000 | #Constraints: 38843
2634.07/2642.57 c #Conflicts: 922000 | #Constraints: 39843
2634.07/2642.57 c INPROCESSING
2634.07/2642.57 c GARBAGE COLLECT
2634.07/2642.57 c #Conflicts: 923000 | #Constraints: 21843
2634.07/2642.57 c #Conflicts: 924000 | #Constraints: 22843
2634.07/2642.57 c #Conflicts: 925000 | #Constraints: 23843
2634.07/2642.57 c #Conflicts: 926000 | #Constraints: 24843
2634.07/2642.57 c #Conflicts: 927000 | #Constraints: 25843
2634.07/2642.57 c #Conflicts: 928000 | #Constraints: 26843
2634.07/2642.57 c #Conflicts: 929000 | #Constraints: 27843
2634.07/2642.57 c #Conflicts: 930000 | #Constraints: 28843
2634.07/2642.57 c #Conflicts: 931000 | #Constraints: 29843
2634.07/2642.57 c #Conflicts: 932000 | #Constraints: 30843
2634.07/2642.57 c #Conflicts: 933000 | #Constraints: 31843
2634.07/2642.57 c #Conflicts: 934000 | #Constraints: 32843
2634.07/2642.57 c #Conflicts: 935000 | #Constraints: 33843
2634.07/2642.57 c #Conflicts: 936000 | #Constraints: 34843
2634.07/2642.57 c #Conflicts: 937000 | #Constraints: 35843
2634.07/2642.57 c #Conflicts: 938000 | #Constraints: 36843
2634.07/2642.57 c #Conflicts: 939000 | #Constraints: 37843
2634.07/2642.57 c #Conflicts: 940000 | #Constraints: 38843
2634.07/2642.57 c #Conflicts: 941000 | #Constraints: 39843
2634.07/2642.57 c INPROCESSING
2634.07/2642.57 c GARBAGE COLLECT
2634.07/2642.57 c #Conflicts: 942000 | #Constraints: 21642
2634.07/2642.57 c #Conflicts: 943000 | #Constraints: 22642
2634.07/2642.57 c #Conflicts: 944000 | #Constraints: 23642
2634.07/2642.57 c #Conflicts: 945000 | #Constraints: 24642
2634.07/2642.57 c #Conflicts: 946000 | #Constraints: 25642
2634.07/2642.57 c #Conflicts: 947000 | #Constraints: 26642
2634.07/2642.57 c #Conflicts: 948000 | #Constraints: 27642
2634.07/2642.57 c #Conflicts: 949000 | #Constraints: 28642
2634.07/2642.57 c #Conflicts: 950000 | #Constraints: 29642
2634.07/2642.57 c #Conflicts: 951000 | #Constraints: 30642
2634.07/2642.57 c #Conflicts: 952000 | #Constraints: 31642
2634.07/2642.57 c #Conflicts: 953000 | #Constraints: 32642
2634.07/2642.57 c #Conflicts: 954000 | #Constraints: 33642
2634.07/2642.57 c #Conflicts: 955000 | #Constraints: 34642
2634.07/2642.57 c #Conflicts: 956000 | #Constraints: 35642
2634.07/2642.57 c #Conflicts: 957000 | #Constraints: 36642
2634.07/2642.57 c #Conflicts: 958000 | #Constraints: 37642
2634.07/2642.57 c #Conflicts: 959000 | #Constraints: 38642
2634.07/2642.57 c #Conflicts: 960000 | #Constraints: 39642
2634.07/2642.57 c #Conflicts: 961000 | #Constraints: 40642
2634.07/2642.57 c INPROCESSING
2634.07/2642.57 c GARBAGE COLLECT
2634.07/2642.57 c #Conflicts: 962000 | #Constraints: 22243
2634.07/2642.57 c #Conflicts: 963000 | #Constraints: 23243
2634.07/2642.57 c #Conflicts: 964000 | #Constraints: 24243
2634.07/2642.57 c #Conflicts: 965000 | #Constraints: 25243
2634.07/2642.57 c #Conflicts: 966000 | #Constraints: 26243
2634.07/2642.57 c #Conflicts: 967000 | #Constraints: 27243
2634.07/2642.57 c #Conflicts: 968000 | #Constraints: 28243
2634.07/2642.57 c #Conflicts: 969000 | #Constraints: 29243
2964.08/2973.61 c #Conflicts: 970000 | #Constraints: 30243
2964.08/2973.61 c #Conflicts: 971000 | #Constraints: 31243
2964.08/2973.61 c #Conflicts: 972000 | #Constraints: 32243
2964.08/2973.61 c #Conflicts: 973000 | #Constraints: 33243
2964.08/2973.61 c #Conflicts: 974000 | #Constraints: 34243
2964.08/2973.61 c #Conflicts: 975000 | #Constraints: 35243
2964.08/2973.61 c #Conflicts: 976000 | #Constraints: 36243
2964.08/2973.61 c #Conflicts: 977000 | #Constraints: 37243
2964.08/2973.61 c #Conflicts: 978000 | #Constraints: 38243
2964.08/2973.61 c #Conflicts: 979000 | #Constraints: 39243
2964.08/2973.61 c #Conflicts: 980000 | #Constraints: 40243
2964.08/2973.61 c #Conflicts: 981000 | #Constraints: 41243
2964.08/2973.61 c INPROCESSING
2964.08/2973.61 c GARBAGE COLLECT
2964.08/2973.61 c #Conflicts: 982000 | #Constraints: 22644
2964.08/2973.61 c #Conflicts: 983000 | #Constraints: 23644
2964.08/2973.61 c #Conflicts: 984000 | #Constraints: 24644
2964.08/2973.61 c #Conflicts: 985000 | #Constraints: 25644
2964.08/2973.61 c #Conflicts: 986000 | #Constraints: 26644
2964.08/2973.61 c #Conflicts: 987000 | #Constraints: 27644
2964.08/2973.61 c #Conflicts: 988000 | #Constraints: 28644
2964.08/2973.61 c #Conflicts: 989000 | #Constraints: 29644
2964.08/2973.61 c #Conflicts: 990000 | #Constraints: 30644
2964.08/2973.61 c #Conflicts: 991000 | #Constraints: 31644
2964.08/2973.61 c #Conflicts: 992000 | #Constraints: 32644
2964.08/2973.61 c #Conflicts: 993000 | #Constraints: 33644
2964.08/2973.61 c #Conflicts: 994000 | #Constraints: 34644
2964.08/2973.61 c #Conflicts: 995000 | #Constraints: 35644
2964.08/2973.61 c #Conflicts: 996000 | #Constraints: 36644
2964.08/2973.61 c #Conflicts: 997000 | #Constraints: 37644
2964.08/2973.61 c #Conflicts: 998000 | #Constraints: 38644
2964.08/2973.61 c #Conflicts: 999000 | #Constraints: 39644
2964.08/2973.61 c #Conflicts: 1000000 | #Constraints: 40644
2964.08/2973.61 c #Conflicts: 1001000 | #Constraints: 41644
2964.08/2973.61 c INPROCESSING
2964.08/2973.61 c GARBAGE COLLECT
2964.08/2973.61 c #Conflicts: 1002000 | #Constraints: 22843
2964.08/2973.61 c #Conflicts: 1003000 | #Constraints: 23843
2964.08/2973.61 c #Conflicts: 1004000 | #Constraints: 24843
2964.08/2973.61 c #Conflicts: 1005000 | #Constraints: 25843
2964.08/2973.61 c #Conflicts: 1006000 | #Constraints: 26843
2964.08/2973.61 c #Conflicts: 1007000 | #Constraints: 27843
2964.08/2973.61 c #Conflicts: 1008000 | #Constraints: 28843
2964.08/2973.61 c #Conflicts: 1009000 | #Constraints: 29843
2964.08/2973.61 c #Conflicts: 1010000 | #Constraints: 30843
2964.08/2973.61 c #Conflicts: 1011000 | #Constraints: 31843
2964.08/2973.61 c #Conflicts: 1012000 | #Constraints: 32843
2964.08/2973.61 c #Conflicts: 1013000 | #Constraints: 33843
2964.08/2973.61 c #Conflicts: 1014000 | #Constraints: 34843
2964.08/2973.61 c #Conflicts: 1015000 | #Constraints: 35843
2964.08/2973.61 c #Conflicts: 1016000 | #Constraints: 36843
2964.08/2973.61 c #Conflicts: 1017000 | #Constraints: 37843
2964.08/2973.61 c #Conflicts: 1018000 | #Constraints: 38843
2964.08/2973.61 c #Conflicts: 1019000 | #Constraints: 39843
2964.08/2973.61 c #Conflicts: 1020000 | #Constraints: 40843
2964.08/2973.61 c #Conflicts: 1021000 | #Constraints: 41843
2964.08/2973.61 c INPROCESSING
2964.08/2973.61 c GARBAGE COLLECT
2964.08/2973.61 c #Conflicts: 1022000 | #Constraints: 22848
2964.08/2973.61 c #Conflicts: 1023000 | #Constraints: 23848
2964.08/2973.61 c #Conflicts: 1024000 | #Constraints: 24848
2964.08/2973.61 c #Conflicts: 1025000 | #Constraints: 25848
2964.08/2973.61 c #Conflicts: 1026000 | #Constraints: 26848
2964.08/2973.61 c #Conflicts: 1027000 | #Constraints: 27848
2964.08/2973.61 c #Conflicts: 1028000 | #Constraints: 28848
2964.08/2973.61 c #Conflicts: 1029000 | #Constraints: 29848
2964.08/2973.61 c #Conflicts: 1030000 | #Constraints: 30848
2964.08/2973.61 c #Conflicts: 1031000 | #Constraints: 31848
2964.08/2973.61 c #Conflicts: 1032000 | #Constraints: 32848
2964.08/2973.61 c #Conflicts: 1033000 | #Constraints: 33848
2964.08/2973.61 c #Conflicts: 1034000 | #Constraints: 34848
2964.08/2973.61 c #Conflicts: 1035000 | #Constraints: 35848
2964.08/2973.61 c #Conflicts: 1036000 | #Constraints: 36848
2964.08/2973.61 c #Conflicts: 1037000 | #Constraints: 37848
2964.08/2973.61 c #Conflicts: 1038000 | #Constraints: 38848
2964.08/2973.61 c #Conflicts: 1039000 | #Constraints: 39848
2964.08/2973.61 c #Conflicts: 1040000 | #Constraints: 40848
2964.08/2973.61 c #Conflicts: 1041000 | #Constraints: 41848
2964.08/2973.61 c INPROCESSING
2964.08/2973.61 c GARBAGE COLLECT
2964.08/2973.61 c #Conflicts: 1042000 | #Constraints: 22643
2964.08/2973.61 c #Conflicts: 1043000 | #Constraints: 23643
2964.08/2973.61 c #Conflicts: 1044000 | #Constraints: 24643
2964.08/2973.61 c #Conflicts: 1045000 | #Constraints: 25643
3316.75/3327.36 c #Conflicts: 1046000 | #Constraints: 26643
3316.75/3327.36 c #Conflicts: 1047000 | #Constraints: 27643
3316.75/3327.36 c #Conflicts: 1048000 | #Constraints: 28643
3316.75/3327.36 c #Conflicts: 1049000 | #Constraints: 29643
3316.75/3327.36 c #Conflicts: 1050000 | #Constraints: 30643
3316.75/3327.36 c #Conflicts: 1051000 | #Constraints: 31643
3316.75/3327.36 c #Conflicts: 1052000 | #Constraints: 32643
3316.75/3327.36 c #Conflicts: 1053000 | #Constraints: 33643
3316.75/3327.36 c #Conflicts: 1054000 | #Constraints: 34643
3316.75/3327.36 c #Conflicts: 1055000 | #Constraints: 35643
3316.75/3327.36 c #Conflicts: 1056000 | #Constraints: 36643
3316.75/3327.36 c #Conflicts: 1057000 | #Constraints: 37643
3316.75/3327.36 c #Conflicts: 1058000 | #Constraints: 38643
3316.75/3327.36 c #Conflicts: 1059000 | #Constraints: 39643
3316.75/3327.36 c #Conflicts: 1060000 | #Constraints: 40643
3316.75/3327.36 c #Conflicts: 1061000 | #Constraints: 41643
3316.75/3327.36 c #Conflicts: 1062000 | #Constraints: 42643
3316.75/3327.36 c INPROCESSING
3316.75/3327.36 c GARBAGE COLLECT
3316.75/3327.36 c #Conflicts: 1063000 | #Constraints: 23245
3316.75/3327.36 c #Conflicts: 1064000 | #Constraints: 24245
3316.75/3327.36 c #Conflicts: 1065000 | #Constraints: 25245
3316.75/3327.36 c #Conflicts: 1066000 | #Constraints: 26245
3316.75/3327.36 c #Conflicts: 1067000 | #Constraints: 27245
3316.75/3327.36 c #Conflicts: 1068000 | #Constraints: 28245
3316.75/3327.36 c #Conflicts: 1069000 | #Constraints: 29245
3316.75/3327.36 c #Conflicts: 1070000 | #Constraints: 30245
3316.75/3327.36 c #Conflicts: 1071000 | #Constraints: 31245
3316.75/3327.36 c #Conflicts: 1072000 | #Constraints: 32245
3316.75/3327.36 c #Conflicts: 1073000 | #Constraints: 33245
3316.75/3327.36 c #Conflicts: 1074000 | #Constraints: 34245
3316.75/3327.36 c #Conflicts: 1075000 | #Constraints: 35245
3316.75/3327.36 c #Conflicts: 1076000 | #Constraints: 36245
3316.75/3327.36 c #Conflicts: 1077000 | #Constraints: 37245
3316.75/3327.36 c #Conflicts: 1078000 | #Constraints: 38245
3316.75/3327.36 c #Conflicts: 1079000 | #Constraints: 39245
3316.75/3327.36 c #Conflicts: 1080000 | #Constraints: 40245
3316.75/3327.36 c #Conflicts: 1081000 | #Constraints: 41245
3316.75/3327.36 c #Conflicts: 1082000 | #Constraints: 42245
3316.75/3327.36 c #Conflicts: 1083000 | #Constraints: 43245
3316.75/3327.36 c INPROCESSING
3316.75/3327.36 c GARBAGE COLLECT
3316.75/3327.36 c #Conflicts: 1084000 | #Constraints: 23643
3316.75/3327.36 c #Conflicts: 1085000 | #Constraints: 24643
3316.75/3327.36 c #Conflicts: 1086000 | #Constraints: 25643
3316.75/3327.36 c #Conflicts: 1087000 | #Constraints: 26643
3316.75/3327.36 c #Conflicts: 1088000 | #Constraints: 27643
3316.75/3327.36 c #Conflicts: 1089000 | #Constraints: 28643
3316.75/3327.36 c #Conflicts: 1090000 | #Constraints: 29643
3316.75/3327.36 c #Conflicts: 1091000 | #Constraints: 30643
3316.75/3327.36 c #Conflicts: 1092000 | #Constraints: 31643
3316.75/3327.36 c #Conflicts: 1093000 | #Constraints: 32643
3316.75/3327.36 c #Conflicts: 1094000 | #Constraints: 33643
3316.75/3327.36 c #Conflicts: 1095000 | #Constraints: 34643
3316.75/3327.36 c #Conflicts: 1096000 | #Constraints: 35643
3316.75/3327.36 c #Conflicts: 1097000 | #Constraints: 36643
3316.75/3327.36 c #Conflicts: 1098000 | #Constraints: 37643
3316.75/3327.36 c #Conflicts: 1099000 | #Constraints: 38643
3316.75/3327.36 c #Conflicts: 1100000 | #Constraints: 39643
3316.75/3327.36 c #Conflicts: 1101000 | #Constraints: 40643
3316.75/3327.36 c #Conflicts: 1102000 | #Constraints: 41643
3316.75/3327.36 c #Conflicts: 1103000 | #Constraints: 42643
3316.75/3327.36 c #Conflicts: 1104000 | #Constraints: 43643
3316.75/3327.36 c INPROCESSING
3316.75/3327.36 c GARBAGE COLLECT
3316.75/3327.36 c #Conflicts: 1105000 | #Constraints: 23844
3316.75/3327.36 c #Conflicts: 1106000 | #Constraints: 24844
3316.75/3327.36 c #Conflicts: 1107000 | #Constraints: 25844
3316.75/3327.36 c #Conflicts: 1108000 | #Constraints: 26844
3316.75/3327.36 c #Conflicts: 1109000 | #Constraints: 27844
3316.75/3327.36 c #Conflicts: 1110000 | #Constraints: 28844
3316.75/3327.36 c #Conflicts: 1111000 | #Constraints: 29844
3316.75/3327.36 c #Conflicts: 1112000 | #Constraints: 30844
3316.75/3327.36 c #Conflicts: 1113000 | #Constraints: 31844
3316.75/3327.36 c #Conflicts: 1114000 | #Constraints: 32844
3316.75/3327.36 c #Conflicts: 1115000 | #Constraints: 33844
3316.75/3327.36 c #Conflicts: 1116000 | #Constraints: 34844
3316.75/3327.36 c #Conflicts: 1117000 | #Constraints: 35844
3316.75/3327.36 c #Conflicts: 1118000 | #Constraints: 36844
3316.75/3327.36 c #Conflicts: 1119000 | #Constraints: 37844
3316.75/3327.36 c #Conflicts: 1120000 | #Constraints: 38844
3316.75/3327.36 c #Conflicts: 1121000 | #Constraints: 39844
3316.75/3327.36 c #Conflicts: 1122000 | #Constraints: 40844
3600.03/3611.50 c #Conflicts: 1123000 | #Constraints: 41844
3600.03/3611.50 c #Conflicts: 1124000 | #Constraints: 42844
3600.03/3611.50 c #Conflicts: 1125000 | #Constraints: 43844
3600.03/3611.50 c INPROCESSING
3600.03/3611.50 c GARBAGE COLLECT
3600.03/3611.50 c #Conflicts: 1126000 | #Constraints: 23844
3600.03/3611.50 c #Conflicts: 1127000 | #Constraints: 24844
3600.03/3611.50 c #Conflicts: 1128000 | #Constraints: 25844
3600.03/3611.50 c #Conflicts: 1129000 | #Constraints: 26844
3600.03/3611.50 c #Conflicts: 1130000 | #Constraints: 27844
3600.03/3611.50 c #Conflicts: 1131000 | #Constraints: 28844
3600.03/3611.50 c #Conflicts: 1132000 | #Constraints: 29844
3600.03/3611.50 c #Conflicts: 1133000 | #Constraints: 30844
3600.03/3611.50 c #Conflicts: 1134000 | #Constraints: 31844
3600.03/3611.50 c #Conflicts: 1135000 | #Constraints: 32844
3600.03/3611.50 c #Conflicts: 1136000 | #Constraints: 33844
3600.03/3611.50 c #Conflicts: 1137000 | #Constraints: 34844
3600.03/3611.50 c #Conflicts: 1138000 | #Constraints: 35844
3600.03/3611.50 c #Conflicts: 1139000 | #Constraints: 36844
3600.03/3611.50 c #Conflicts: 1140000 | #Constraints: 37844
3600.03/3611.50 c #Conflicts: 1141000 | #Constraints: 38844
3600.03/3611.50 c #Conflicts: 1142000 | #Constraints: 39844
3600.03/3611.50 c #Conflicts: 1143000 | #Constraints: 40844
3600.03/3611.50 c #Conflicts: 1144000 | #Constraints: 41844
3600.03/3611.50 c #Conflicts: 1145000 | #Constraints: 42844
3600.03/3611.50 c #Conflicts: 1146000 | #Constraints: 43844
3600.03/3611.50 c INPROCESSING
3600.03/3611.50 c GARBAGE COLLECT
3600.03/3611.50 c #Conflicts: 1147000 | #Constraints: 23643
3600.03/3611.50 c #Conflicts: 1148000 | #Constraints: 24643
3600.03/3611.50 c #Conflicts: 1149000 | #Constraints: 25643
3600.03/3611.50 c #Conflicts: 1150000 | #Constraints: 26643
3600.03/3611.50 c #Conflicts: 1151000 | #Constraints: 27643
3600.03/3611.50 c #Conflicts: 1152000 | #Constraints: 28643
3600.03/3611.50 c #Conflicts: 1153000 | #Constraints: 29643
3600.03/3611.50 c #Conflicts: 1154000 | #Constraints: 30643
3600.03/3611.50 c #Conflicts: 1155000 | #Constraints: 31643
3600.03/3611.50 c #Conflicts: 1156000 | #Constraints: 32643
3600.03/3611.50 c #Conflicts: 1157000 | #Constraints: 33643
3600.03/3611.50 c #Conflicts: 1158000 | #Constraints: 34643
3600.03/3611.50 c #Conflicts: 1159000 | #Constraints: 35643
3600.03/3611.50 c #Conflicts: 1160000 | #Constraints: 36643
3600.03/3611.50 c #Conflicts: 1161000 | #Constraints: 37643
3600.03/3611.50 c #Conflicts: 1162000 | #Constraints: 38643
3600.03/3611.50 c #Conflicts: 1163000 | #Constraints: 39643
3600.03/3611.50 c #Conflicts: 1164000 | #Constraints: 40643
3600.03/3611.50 c #Conflicts: 1165000 | #Constraints: 41643
3600.03/3611.50 c #Conflicts: 1166000 | #Constraints: 42643
3600.03/3611.50 c #Conflicts: 1167000 | #Constraints: 43643
3600.03/3611.50 c #Conflicts: 1168000 | #Constraints: 44643
3600.03/3611.50 c INPROCESSING
3600.03/3611.50 c GARBAGE COLLECT
3600.03/3611.50 c #Conflicts: 1169000 | #Constraints: 24247
3600.03/3611.50 c #Conflicts: 1170000 | #Constraints: 25247
3600.03/3611.50 c #Conflicts: 1171000 | #Constraints: 26247
3600.03/3611.50 c #Conflicts: 1172000 | #Constraints: 27247
3600.03/3611.50 c #Conflicts: 1173000 | #Constraints: 28247
3600.03/3611.50 c #Conflicts: 1174000 | #Constraints: 29247
3600.03/3611.50 c #Conflicts: 1175000 | #Constraints: 30247
3600.03/3611.50 c #Conflicts: 1176000 | #Constraints: 31247
3600.03/3611.50 c #Conflicts: 1177000 | #Constraints: 32247
3600.03/3611.50 c #Conflicts: 1178000 | #Constraints: 33247
3600.03/3611.50 c #Conflicts: 1179000 | #Constraints: 34247
3600.03/3611.50 c #Conflicts: 1180000 | #Constraints: 35247
3600.03/3611.50 c #Conflicts: 1181000 | #Constraints: 36247
3600.03/3611.50 c #Conflicts: 1182000 | #Constraints: 37247
3600.03/3611.50 c #Conflicts: 1183000 | #Constraints: 38247
3600.03/3611.50 c #Conflicts: 1184000 | #Constraints: 39247
3600.03/3611.50 c #Conflicts: 1185000 | #Constraints: 40247
3600.03/3611.50 c #Conflicts: 1186000 | #Constraints: 41247
3600.03/3611.50 c cpu time 3594.31 s
3600.03/3611.50 c deterministic time 1 1.00e+00
3600.03/3611.50 c optimization time 3594.3 s
3600.03/3611.50 c total solve time 0 s
3600.03/3611.50 c core-guided solve time 0 s
3600.03/3611.50 c propagation time 0.000737 s
3600.03/3611.50 c conflict analysis time 0 s
3600.03/3611.50 c propagations 0
3600.03/3611.50 c resolve steps 0
3600.03/3611.50 c decisions 0
3600.03/3611.50 c conflicts 0
3600.03/3611.50 c restarts 0
3600.03/3611.50 c inprocessing phases 0
3600.03/3611.50 c garbage collections 0 ,( -nan )
3600.03/3611.50 c input clauses 1999 ,( 100.00 )
3600.03/3611.50 c input cardinalities 0 ,( 0.00 )
3600.03/3611.50 c input general constraints 0 ,( 0.00 )
3600.03/3611.50 c input average constraint length 2.00
3600.03/3611.50 c input average constraint degree 1.00
3600.03/3611.50 c learned clauses 0 ,( 0.00 )
3600.03/3611.50 c learned cardinalities 0 ,( 0.00 )
3600.03/3611.50 c learned general constraints 0 ,( 0.00 )
3600.03/3611.50 c learned average constraint length 0.00
3600.03/3611.50 c learned average constraint degree 0.00
3600.03/3611.50 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.03/3611.50 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.03/3611.50 c watched constraints 0 ,( -nan )
3600.03/3611.50 c counting constraints 0 ,( -nan )
3600.03/3611.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.03/3611.50 c gcd simplifications 0
3600.03/3611.50 c detected cardinalities 0
3600.03/3611.50 c weakened non-implied lits 0
3600.03/3611.50 c weakened non-implying lits 0
3600.03/3611.50 c original variables 200
3600.03/3611.50 c clausal propagations 0
3600.03/3611.50 c cardinality propagations 0
3600.03/3611.50 c watched propagations 0
3600.03/3611.50 c counting propagations 0
3600.03/3611.50 c watch lookups 0
3600.03/3611.50 c watch backjump lookups 0
3600.03/3611.50 c watch checks 0
3600.03/3611.50 c propagation checks 0
3600.03/3611.50 c constraint additions 0
3600.03/3611.50 c trail pops 0
3600.03/3611.50 c formula constraints 1999
3600.03/3611.50 c learned constraints 0
3600.03/3611.50 c bound constraints 0
3600.03/3611.50 c core-guided constraints 0
3600.03/3611.50 c encountered formula constraints 0
3600.03/3611.50 c encountered learned constraints 0
3600.03/3611.50 c encountered bound constraints 0
3600.03/3611.50 c encountered core-guided constraints 0
3600.03/3611.50 c LP total time 0 s
3600.03/3611.50 c LP solve time 0 s
3600.03/3611.50 c LP constraints added 0
3600.03/3611.50 c LP constraints removed 0
3600.03/3611.50 c LP pivots internal 0
3600.03/3611.50 c LP pivots root 0
3600.03/3611.50 c LP calls 0
3600.03/3611.50 c LP optimalities 0
3600.03/3611.50 c LP no pivot count 0
3600.03/3611.50 c LP infeasibilities 0
3600.03/3611.50 c LP valid Farkas constraints 0
3600.03/3611.50 c LP learned Farkas constraints 0
3600.03/3611.50 c LP basis resets 0
3600.03/3611.50 c LP cycling count 0
3600.03/3611.50 c LP singular count 0
3600.03/3611.50 c LP no primal count 0
3600.03/3611.50 c LP no farkas count 0
3600.03/3611.50 c LP other issue count 0
3600.03/3611.50 c LP Gomory cuts 0
3600.03/3611.50 c LP learned cuts 0
3600.03/3611.50 c LP deleted cuts 0
3600.03/3611.50 c LP encountered Gomory constraints 0
3600.03/3611.50 c LP encountered Farkas constraints 0
3600.03/3611.50 c LP encountered learned Farkas constraints 0
3600.03/3611.50 c CG auxiliary variables introduced 0
3600.03/3611.50 c CG solutions found 0
3600.03/3611.50 c CG cores constructed 0
3600.03/3611.50 c CG core cardinality constraints returned 0
3600.03/3611.50 c CG unit cores 0
3600.03/3611.50 c CG single cores 0
3600.03/3611.50 c CG blocks removed during cardinality reduction 0
3600.03/3611.50 c CG first core best 0
3600.03/3611.50 c CG decision core best 0
3600.03/3611.50 c CG core reduction tie 0
3600.03/3611.50 c CG core degree average 0.00
3600.03/3611.50 c CG core slack average 0.00
3600.03/3611.50 c CG core upper bound improvements 0
3600.03/3611.50 c STR number of successful calls 0
3600.03/3611.50 c STR number of unsuccessful calls 0
3600.03/3611.50 c STR number of inconclusive calls 0
3600.03/3611.50 c STR number of successful attempts 0
3600.03/3611.50 c STR number of unsuccessful attempts 0
3600.03/3611.50 c STR number of inconclusive attempts 0
3600.03/3611.50 c STR average degree increase per successful call inf
3600.03/3611.50 c STR average degree increase per successful attempt inf
3600.03/3611.50 c STR total number of conflicts for successful attempts 0
3600.03/3611.50 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3611.50 c STR total number of conflicts for inconclusive attempts 0
3600.03/3611.50 c STR average number of conflicts per successful attempt inf
3600.03/3611.50 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3611.50 c STR average number of conflicts per inconclusive attempt inf
3600.03/3611.50 c AVG.sumWPerc -nan
3600.03/3611.50 c bigint constraints 0
3600.03/3611.50 s UNKNOWN
3600.03/3611.50 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: 63665 MiB (62093 MiB free)
memory of node 1: 64507 MiB (62136 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502739-1751442840/watcher-4502739-1751442840 -o /tmp/evaluation-result-4502739-1751442840/solver-4502739-1751442840 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751439163-67589 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4502739-1751442840.opb PROOFDIR/proof-4502739-1751442840
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=68279, runsolver pid=68276
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.20 4.11 4.09 5/272 68281
/proc/meminfo: memFree=127211184/131250000 swapFree=33010416/33010684
[pid=68279] ppid=68276 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68279/stat : 68279 (run-opt-log.sh) S 68276 68279 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59961816 4292608 736 18446744073709551615 94872765198336 94872766092869 140724029171104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94872766331920 94872766379664 94872770985984 140724029176097 140724029176292 140724029176292 140724029181894 0
/proc/68279/statm: 1048 736 672 219 0 110 0
[pid=68281] ppid=68279 vsize=62700 memory=13768 CPUtime=0.08 cores=0,2
/proc/68281/stat : 68281 (roundingsat) R 68279 68279 67579 0 -1 4194304 1617 0 0 0 8 0 0 0 20 0 1 0 59961817 64204800 3442 18446744073709551615 4227072 8923433 140724900848128 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37306368 140724900854098 140724900854312 140724900854312 140724900859882 0
/proc/68281/statm: 15675 3442 2304 1147 0 3102 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 66892 KiB
Current children cumulated memory: 16712 KiB
[startup+0.205688 s]*
/proc/loadavg: 4.20 4.11 4.09 5/272 68281
/proc/meminfo: memFree=127211184/131250000 swapFree=33010416/33010684
[pid=68279] ppid=68276 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68279/stat : 68279 (run-opt-log.sh) S 68276 68279 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59961816 4292608 736 18446744073709551615 94872765198336 94872766092869 140724029171104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94872766331920 94872766379664 94872770985984 140724029176097 140724029176292 140724029176292 140724029181894 0
/proc/68279/statm: 1048 736 672 219 0 110 0
[pid=68281] ppid=68279 vsize=63988 memory=17648 CPUtime=0.18 cores=0,2
/proc/68281/stat : 68281 (roundingsat) R 68279 68279 67579 0 -1 4194304 2081 0 0 0 18 0 0 0 20 0 1 0 59961817 65523712 4412 18446744073709551615 4227072 8923433 140724900848128 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37306368 140724900854098 140724900854312 140724900854312 140724900859882 0
/proc/68281/statm: 15997 4412 2304 1147 0 3424 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 68180 KiB
Current children cumulated memory: 20592 KiB
[startup+0.305602 s]*
/proc/loadavg: 4.20 4.11 4.09 5/272 68281
/proc/meminfo: memFree=127211184/131250000 swapFree=33010416/33010684
[pid=68279] ppid=68276 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68279/stat : 68279 (run-opt-log.sh) S 68276 68279 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59961816 4292608 736 18446744073709551615 94872765198336 94872766092869 140724029171104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94872766331920 94872766379664 94872770985984 140724029176097 140724029176292 140724029176292 140724029181894 0
/proc/68279/statm: 1048 736 672 219 0 110 0
[pid=68281] ppid=68279 vsize=65080 memory=18288 CPUtime=0.29 cores=0,2
/proc/68281/stat : 68281 (roundingsat) R 68279 68279 67579 0 -1 4194304 2252 0 0 0 28 1 0 0 20 0 1 0 59961817 66641920 4572 18446744073709551615 4227072 8923433 140724900848128 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37306368 140724900854098 140724900854312 140724900854312 140724900859882 0
/proc/68281/statm: 16270 4572 2304 1147 0 3697 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 69272 KiB
Current children cumulated memory: 21232 KiB
[startup+0.700157 s]
/proc/loadavg: 4.20 4.11 4.09 5/272 68281
/proc/meminfo: memFree=127203120/131250000 swapFree=33010416/33010684
[pid=68279] ppid=68276 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68279/stat : 68279 (run-opt-log.sh) S 68276 68279 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59961816 4292608 736 18446744073709551615 94872765198336 94872766092869 140724029171104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94872766331920 94872766379664 94872770985984 140724029176097 140724029176292 140724029176292 140724029181894 0
/proc/68279/statm: 1048 736 672 219 0 110 0
[pid=68281] ppid=68279 vsize=66200 memory=19312 CPUtime=0.67 cores=0,2
/proc/68281/stat : 68281 (roundingsat) R 68279 68279 67579 0 -1 4194304 2491 0 0 0 66 1 0 0 20 0 1 0 59961817 67788800 4828 18446744073709551615 4227072 8923433 140724900848128 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37306368 140724900854098 140724900854312 140724900854312 140724900859882 0
/proc/68281/statm: 16550 4828 2304 1147 0 3977 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 70392 KiB
Current children cumulated memory: 22256 KiB
[startup+1.50018 s]
/proc/loadavg: 4.20 4.11 4.09 5/272 68281
/proc/meminfo: memFree=127189404/131250000 swapFree=33010416/33010684
[pid=68279] ppid=68276 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68279/stat : 68279 (run-opt-log.sh) S 68276 68279 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59961816 4292608 736 18446744073709551615 94872765198336 94872766092869 140724029171104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94872766331920 94872766379664 94872770985984 140724029176097 140724029176292 140724029176292 140724029181894 0
/proc/68279/statm: 1048 736 672 219 0 110 0
[pid=68281] ppid=68279 vsize=67144 memory=20208 CPUtime=1.47 cores=0,2
/proc/68281/stat : 68281 (roundingsat) R 68279 68279 67579 0 -1 4194304 2736 0 0 0 146 1 0 0 20 0 1 0 59961817 68755456 5052 18446744073709551615 4227072 8923433 140724900848128 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37306368 140724900854098 140724900854312 140724900854312 140724900859882 0
/proc/68281/statm: 16786 5052 2304 1147 0 4213 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 71336 KiB
Current children cumulated memory: 23152 KiB
[startup+3.10555 s]
/proc/loadavg: 4.19 4.11 4.09 5/272 68281
/proc/meminfo: memFree=127133884/131250000 swapFree=33010416/33010684
[pid=68279] ppid=68276 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68279/stat : 68279 (run-opt-log.sh) S 68276 68279 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59961816 4292608 736 18446744073709551615 94872765198336 94872766092869 140724029171104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94872766331920 94872766379664 94872770985984 140724029176097 140724029176292 140724029176292 140724029181894 0
/proc/68279/statm: 1048 736 672 219 0 110 0
[pid=68281] ppid=68279 vsize=71772 memory=24636 CPUtime=3.07 cores=0,2
/proc/68281/stat : 68281 (roundingsat) R 68279 68279 67579 0 -1 4194304 3325 0 0 0 304 3 0 0 20 0 1 0 59961817 73494528 6159 18446744073709551615 4227072 8923433 140724900848128 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37306368 140724900854098 140724900854312 140724900854312 140724900859882 0
/proc/68281/statm: 17943 6159 2304 1147 0 5370 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 75964 KiB
Current children cumulated memory: 27580 KiB
[startup+6.30017 s]
/proc/loadavg: 4.19 4.11 4.09 5/272 68281
/proc/meminfo: memFree=127039992/131250000 swapFree=33010416/33010684
[pid=68279] ppid=68276 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68279/stat : 68279 (run-opt-log.sh) S 68276 68279 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59961816 4292608 736 18446744073709551615 94872765198336 94872766092869 140724029171104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94872766331920 94872766379664 94872770985984 140724029176097 140724029176292 140724029176292 140724029181894 0
/proc/68279/statm: 1048 736 672 219 0 110 0
[pid=68281] ppid=68279 vsize=73444 memory=26044 CPUtime=6.26 cores=0,2
/proc/68281/stat : 68281 (roundingsat) R 68279 68279 67579 0 -1 4194304 3682 0 0 0 621 5 0 0 20 0 1 0 59961817 75206656 6511 18446744073709551615 4227072 8923433 140724900848128 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37306368 140724900854098 140724900854312 140724900854312 140724900859882 0
/proc/68281/statm: 18361 6511 2304 1147 0 5788 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 77636 KiB
Current children cumulated memory: 28988 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.11 4.09 5/272 68281
/proc/meminfo: memFree=126825228/131250000 swapFree=33010416/33010684
[pid=68279] ppid=68276 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68279/stat : 68279 (run-opt-log.sh) S 68276 68279 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59961816 4292608 736 18446744073709551615 94872765198336 94872766092869 140724029171104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94872766331920 94872766379664 94872770985984 140724029176097 140724029176292 140724029176292 140724029181894 0
/proc/68279/statm: 1048 736 672 219 0 110 0
[pid=68281] ppid=68279 vsize=75952 memory=28860 CPUtime=12.64 cores=0,2
/proc/68281/stat : 68281 (roundingsat) R 68279 68279 67579 0 -1 4194304 4367 0 0 0 1255 9 0 0 20 0 1 0 59961817 77774848 7215 18446744073709551615 4227072 8923433 140724900848128 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37306368 140724900854098 140724900854312 140724900854312 140724900859882 0
/proc/68281/statm: 18988 7215 2304 1147 0 6415 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 80144 KiB
Current children cumulated memory: 31804 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.10 4.09 5/272 68281
/proc/meminfo: memFree=126386124/131250000 swapFree=33010416/33010684
[pid=68279] ppid=68276 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68279/stat : 68279 (run-opt-log.sh) S 68276 68279 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59961816 4292608 736 18446744073709551615 94872765198336 94872766092869 140724029171104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94872766331920 94872766379664 94872770985984 140724029176097 140724029176292 140724029176292 140724029181894 0
/proc/68279/statm: 1048 736 672 219 0 110 0
[pid=68281] ppid=68279 vsize=85136 memory=35436 CPUtime=25.4 cores=0,2
/proc/68281/stat : 68281 (roundingsat) R 68279 68279 67579 0 -1 4194304 5510 0 0 0 2523 17 0 0 20 0 1 0 59961817 87179264 8859 18446744073709551615 4227072 8923433 140724900848128 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37306368 140724900854098 140724900854312 140724900854312 140724900859882 0
/proc/68281/statm: 21284 8859 2304 1147 0 8711 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 89328 KiB
Current children cumulated memory: 38380 KiB
[startup+51.1056 s]
/proc/loadavg: 4.15 4.11 4.09 5/272 68283
/proc/meminfo: memFree=125529960/131250000 swapFree=33010416/33010684
[pid=68279] ppid=68276 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68279/stat : 68279 (run-opt-log.sh) S 68276 68279 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59961816 4292608 736 18446744073709551615 94872765198336 94872766092869 140724029171104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94872766331920 94872766379664 94872770985984 140724029176097 140724029176292 140724029176292 140724029181894 0
/proc/68279/statm: 1048 736 672 219 0 110 0
[pid=68281] ppid=68279 vsize=89744 memory=39148 CPUtime=50.93 cores=0,2
/proc/68281/stat : 68281 (roundingsat) R 68279 68279 67579 0 -1 4194304 6429 0 0 0 5066 27 0 0 20 0 1 0 59961817 91897856 9787 18446744073709551615 4227072 8923433 140724900848128 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37306368 140724900854098 140724900854312 140724900854312 140724900859882 0
/proc/68281/statm: 22436 9787 2304 1147 0 9863 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 93936 KiB
Current children cumulated memory: 42092 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/272 68284
/proc/meminfo: memFree=123818712/131250000 swapFree=33010416/33010684
[pid=68279] ppid=68276 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68279/stat : 68279 (run-opt-log.sh) S 68276 68279 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59961816 4292608 736 18446744073709551615 94872765198336 94872766092869 140724029171104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94872766331920 94872766379664 94872770985984 140724029176097 140724029176292 140724029176292 140724029181894 0
/proc/68279/statm: 1048 736 672 219 0 110 0
[pid=68281] ppid=68279 vsize=100636 memory=47108 CPUtime=101.97 cores=0,2
/proc/68281/stat : 68281 (roundingsat) R 68279 68279 67579 0 -1 4194304 7915 0 0 0 10152 45 0 0 20 0 1 0 59961817 103051264 11777 18446744073709551615 4227072 8923433 140724900848128 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37306368 140724900854098 140724900854312 140724900854312 140724900859882 0
/proc/68281/statm: 25159 11777 2304 1147 0 12586 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 104828 KiB
Current children cumulated memory: 50052 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/272 68286
/proc/meminfo: memFree=122270224/131250000 swapFree=33010416/33010684
[pid=68279] ppid=68276 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68279/stat : 68279 (run-opt-log.sh) S 68276 68279 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59961816 4292608 736 18446744073709551615 94872765198336 94872766092869 140724029171104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94872766331920 94872766379664 94872770985984 140724029176097 140724029176292 140724029176292 140724029181894 0
/proc/68279/statm: 1048 736 672 219 0 110 0
[pid=68281] ppid=68279 vsize=103708 memory=51828 CPUtime=161.79 cores=0,2
/proc/68281/stat : 68281 (roundingsat) R 68279 68279 67579 0 -1 4194304 8605 0 0 0 16116 63 0 0 20 0 1 0 59961817 106196992 12957 18446744073709551615 4227072 8923433 140724900848128 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37306368 140724900854098 140724900854312 140724900854312 140724900859882 0
/proc/68281/statm: 25927 12957 2304 1147 0 13354 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 107900 KiB
Current children cumulated memory: 54772 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/274 68292
/proc/meminfo: memFree=120690040/131250000 swapFree=33010416/33010684
[pid=68279] ppid=68276 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68279/stat : 68279 (run-opt-log.sh) S 68276 68279 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59961816 4292608 736 18446744073709551615 94872765198336 94872766092869 140724029171104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94872766331920 94872766379664 94872770985984 140724029176097 140724029176292 140724029176292 140724029181894 0
/proc/68279/statm: 1048 736 672 219 0 110 0
[pid=68281] ppid=68279 vsize=110364 memory=56308 CPUtime=221.62 cores=0,2
/proc/68281/stat : 68281 (roundingsat) R 68279 68279 67579 0 -1 4194304 9710 0 0 0 22081 81 0 0 20 0 1 0 59961817 113012736 14077 18446744073709551615 4227072 8923433 140724900848128 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37306368 140724900854098 140724900854312 140724900854312 140724900859882 0
################
# More data... #
################
/proc/68281/statm: 48558 34148 2304 1147 0 35985 0
Current children cumulated CPU time: 3092.41 s
Current children cumulated vsize: 198424 KiB
Current children cumulated memory: 139536 KiB
[startup+3162.3 s]
/proc/loadavg: 4.42 4.22 4.13 5/273 68461
/proc/meminfo: memFree=67596412/131250000 swapFree=33010416/33010684
[pid=68279] ppid=68276 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68279/stat : 68279 (run-opt-log.sh) S 68276 68279 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59961816 4292608 736 18446744073709551615 94872765198336 94872766092869 140724029171104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94872766331920 94872766379664 94872770985984 140724029176097 140724029176292 140724029176292 140724029181894 0
/proc/68279/statm: 1048 736 672 219 0 110 0
[pid=68281] ppid=68279 vsize=194232 memory=136592 CPUtime=3152.23 cores=0,2
/proc/68281/stat : 68281 (roundingsat) R 68279 68279 67579 0 -1 4194304 20732 0 0 0 314699 524 0 0 20 0 1 0 59961817 198893568 34148 18446744073709551615 4227072 8923433 140724900848128 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37306368 140724900854098 140724900854312 140724900854312 140724900859882 0
/proc/68281/statm: 48558 34148 2304 1147 0 35985 0
Current children cumulated CPU time: 3152.23 s
Current children cumulated vsize: 198424 KiB
Current children cumulated memory: 139536 KiB
[startup+3222.3 s]
/proc/loadavg: 4.23 4.20 4.13 5/274 68467
/proc/meminfo: memFree=66628676/131250000 swapFree=33010416/33010684
[pid=68279] ppid=68276 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68279/stat : 68279 (run-opt-log.sh) S 68276 68279 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59961816 4292608 736 18446744073709551615 94872765198336 94872766092869 140724029171104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94872766331920 94872766379664 94872770985984 140724029176097 140724029176292 140724029176292 140724029181894 0
/proc/68279/statm: 1048 736 672 219 0 110 0
[pid=68281] ppid=68279 vsize=194232 memory=136592 CPUtime=3212.05 cores=0,2
/proc/68281/stat : 68281 (roundingsat) R 68279 68279 67579 0 -1 4194304 20732 0 0 0 320674 531 0 0 20 0 1 0 59961817 198893568 34148 18446744073709551615 4227072 8923433 140724900848128 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37306368 140724900854098 140724900854312 140724900854312 140724900859882 0
/proc/68281/statm: 48558 34148 2304 1147 0 35985 0
Current children cumulated CPU time: 3212.05 s
Current children cumulated vsize: 198424 KiB
Current children cumulated memory: 139536 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.18 4.13 5/274 68469
/proc/meminfo: memFree=65714980/131250000 swapFree=33010416/33010684
[pid=68279] ppid=68276 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68279/stat : 68279 (run-opt-log.sh) S 68276 68279 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59961816 4292608 736 18446744073709551615 94872765198336 94872766092869 140724029171104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94872766331920 94872766379664 94872770985984 140724029176097 140724029176292 140724029176292 140724029181894 0
/proc/68279/statm: 1048 736 672 219 0 110 0
[pid=68281] ppid=68279 vsize=194744 memory=136848 CPUtime=3271.88 cores=0,2
/proc/68281/stat : 68281 (roundingsat) R 68279 68279 67579 0 -1 4194304 20802 0 0 0 326652 536 0 0 20 0 1 0 59961817 199417856 34212 18446744073709551615 4227072 8923433 140724900848128 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37306368 140724900854098 140724900854312 140724900854312 140724900859882 0
/proc/68281/statm: 48686 34212 2304 1147 0 36113 0
Current children cumulated CPU time: 3271.88 s
Current children cumulated vsize: 198936 KiB
Current children cumulated memory: 139792 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.16 4.12 5/274 68477
/proc/meminfo: memFree=64863368/131250000 swapFree=33010416/33010684
[pid=68279] ppid=68276 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68279/stat : 68279 (run-opt-log.sh) S 68276 68279 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59961816 4292608 736 18446744073709551615 94872765198336 94872766092869 140724029171104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94872766331920 94872766379664 94872770985984 140724029176097 140724029176292 140724029176292 140724029181894 0
/proc/68279/statm: 1048 736 672 219 0 110 0
[pid=68281] ppid=68279 vsize=195768 memory=137360 CPUtime=3331.71 cores=0,2
/proc/68281/stat : 68281 (roundingsat) R 68279 68279 67579 0 -1 4194304 20942 0 0 0 332630 541 0 0 20 0 1 0 59961817 200466432 34340 18446744073709551615 4227072 8923433 140724900848128 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37306368 140724900854098 140724900854312 140724900854312 140724900859882 0
/proc/68281/statm: 48942 34340 2304 1147 0 36369 0
Current children cumulated CPU time: 3331.71 s
Current children cumulated vsize: 199960 KiB
Current children cumulated memory: 140304 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.16 4.12 5/274 68479
/proc/meminfo: memFree=64163560/131250000 swapFree=33010416/33010684
[pid=68279] ppid=68276 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68279/stat : 68279 (run-opt-log.sh) S 68276 68279 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59961816 4292608 736 18446744073709551615 94872765198336 94872766092869 140724029171104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94872766331920 94872766379664 94872770985984 140724029176097 140724029176292 140724029176292 140724029181894 0
/proc/68279/statm: 1048 736 672 219 0 110 0
[pid=68281] ppid=68279 vsize=195768 memory=137360 CPUtime=3391.54 cores=0,2
/proc/68281/stat : 68281 (roundingsat) R 68279 68279 67579 0 -1 4194304 20944 0 0 0 338606 548 0 0 20 0 1 0 59961817 200466432 34340 18446744073709551615 4227072 8923433 140724900848128 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37306368 140724900854098 140724900854312 140724900854312 140724900859882 0
/proc/68281/statm: 48942 34340 2304 1147 0 36369 0
Current children cumulated CPU time: 3391.54 s
Current children cumulated vsize: 199960 KiB
Current children cumulated memory: 140304 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.14 4.12 5/274 68482
/proc/meminfo: memFree=63384516/131250000 swapFree=33010416/33010684
[pid=68279] ppid=68276 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68279/stat : 68279 (run-opt-log.sh) S 68276 68279 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59961816 4292608 736 18446744073709551615 94872765198336 94872766092869 140724029171104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94872766331920 94872766379664 94872770985984 140724029176097 140724029176292 140724029176292 140724029181894 0
/proc/68279/statm: 1048 736 672 219 0 110 0
[pid=68281] ppid=68279 vsize=197304 memory=138128 CPUtime=3451.36 cores=0,2
/proc/68281/stat : 68281 (roundingsat) R 68279 68279 67579 0 -1 4194304 21146 0 0 0 344583 553 0 0 20 0 1 0 59961817 202039296 34532 18446744073709551615 4227072 8923433 140724900848128 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37306368 140724900854098 140724900854312 140724900854312 140724900859882 0
/proc/68281/statm: 49326 34532 2304 1147 0 36753 0
Current children cumulated CPU time: 3451.36 s
Current children cumulated vsize: 201496 KiB
Current children cumulated memory: 141072 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.15 4.12 5/272 68484
/proc/meminfo: memFree=62647892/131250000 swapFree=33010416/33010684
[pid=68279] ppid=68276 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68279/stat : 68279 (run-opt-log.sh) S 68276 68279 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59961816 4292608 736 18446744073709551615 94872765198336 94872766092869 140724029171104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94872766331920 94872766379664 94872770985984 140724029176097 140724029176292 140724029176292 140724029181894 0
/proc/68279/statm: 1048 736 672 219 0 110 0
[pid=68281] ppid=68279 vsize=197816 memory=138512 CPUtime=3511.19 cores=0,2
/proc/68281/stat : 68281 (roundingsat) R 68279 68279 67579 0 -1 4194304 21218 0 0 0 350562 557 0 0 20 0 1 0 59961817 202563584 34628 18446744073709551615 4227072 8923433 140724900848128 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37306368 140724900854098 140724900854312 140724900854312 140724900859882 0
/proc/68281/statm: 49454 34628 2304 1147 0 36881 0
Current children cumulated CPU time: 3511.19 s
Current children cumulated vsize: 202008 KiB
Current children cumulated memory: 141456 KiB
[startup+3582.3 s]
/proc/loadavg: 4.24 4.17 4.12 5/274 68673
/proc/meminfo: memFree=127113536/131250000 swapFree=33010416/33010684
[pid=68279] ppid=68276 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68279/stat : 68279 (run-opt-log.sh) S 68276 68279 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59961816 4292608 736 18446744073709551615 94872765198336 94872766092869 140724029171104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94872766331920 94872766379664 94872770985984 140724029176097 140724029176292 140724029176292 140724029181894 0
/proc/68279/statm: 1048 736 672 219 0 110 0
[pid=68281] ppid=68279 vsize=198840 memory=139024 CPUtime=3570.93 cores=0,2
/proc/68281/stat : 68281 (roundingsat) R 68279 68279 67579 0 -1 4194304 21359 0 0 0 356522 571 0 0 20 0 1 0 59961817 203612160 34756 18446744073709551615 4227072 8923433 140724900848128 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37306368 140724900854098 140724900854312 140724900854312 140724900859882 0
/proc/68281/statm: 49710 34756 2304 1147 0 37137 0
Current children cumulated CPU time: 3570.93 s
Current children cumulated vsize: 203032 KiB
Current children cumulated memory: 141968 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.5 s]
/proc/loadavg: 4.30 4.18 4.13 5/274 68674
/proc/meminfo: memFree=123022780/131250000 swapFree=33010416/33010684
[pid=68279] ppid=68276 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68279/stat : 68279 (run-opt-log.sh) S 68276 68279 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59961816 4292608 736 18446744073709551615 94872765198336 94872766092869 140724029171104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94872766331920 94872766379664 94872770985984 140724029176097 140724029176292 140724029176292 140724029181894 0
/proc/68279/statm: 1048 736 672 219 0 110 0
[pid=68281] ppid=68279 vsize=198840 memory=139024 CPUtime=3600.03 cores=0,2
/proc/68281/stat : 68281 (roundingsat) R 68279 68279 67579 0 -1 4194304 21361 0 0 0 359430 573 0 0 20 0 1 0 59961817 203612160 34756 18446744073709551615 4227072 8923433 140724900848128 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37306368 140724900854098 140724900854312 140724900854312 140724900859882 0
/proc/68281/statm: 49710 34756 2304 1147 0 37137 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 203032 KiB
Current children cumulated memory: 141968 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.5 s]
# the end of solver process 68279 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.002001 s
[startup+3611.51 s]
# the end of solver process 68281 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3594.31 s, system=5.73977 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
[startup+3611.5 s]
/proc/loadavg: 4.30 4.18 4.13 5/274 68674
/proc/meminfo: memFree=123022780/131250000 swapFree=33010416/33010684
[pid=68279] ppid=68276 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/68279/stat : 68279 (run-opt-log.sh) S 68276 68279 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59961816 4292608 736 18446744073709551615 94872765198336 94872766092869 140724029171104 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94872766331920 94872766379664 94872770985984 140724029176097 140724029176292 140724029176292 140724029181894 0
/proc/68279/statm: 1048 736 672 219 0 110 0
[pid=68281] ppid=68279 vsize=198840 memory=139024 CPUtime=3600.03 cores=0,2
/proc/68281/stat : 68281 (roundingsat) R 68279 68279 67579 0 -1 4194304 21361 0 0 0 359430 573 0 0 20 0 1 0 59961817 203612160 34756 18446744073709551615 4227072 8923433 140724900848128 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37306368 140724900854098 140724900854312 140724900854312 140724900859882 0
/proc/68281/statm: 49710 34756 2304 1147 0 37137 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 203032 KiB
Current children cumulated memory: 141968 KiB
Child status: 2
Real time (s): 3611.51
CPU time (s): 3600.05
CPU user time (s): 3594.31
CPU system time (s): 5.73977
CPU usage (%): 99.6828
Max. virtual memory (cumulated for all children) (KiB): 203032
Max. memory (cumulated for all children) (KiB): 141968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.31
system time used= 5.73977
maximum resident set size= 139536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21593
page faults= 0
swaps= 0
block input operations= 0
block output operations= 371432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 220
involuntary context switches= 22912
# summary of solver processes directly reported to runsolver:
# pid: 68279,68281
# total CPU time (s): 3600.05
# total CPU user time (s): 3594.31
# total CPU system time (s): 5.73977
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.73783 second user time and 16.5672 second system time
The end
Begin job on nodeC018 at 2025-07-02 09:54:00
IDJOB=4502739
IDBENCH=155375
IDSOLVER=3351
FILE ID=nodeC018/4502739-1751442840
RUNJOBID= nodeC018-1751439163-67589
SLURM_JOB_ID= 9598397
Free space on /tmp= 432908 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-neos-1616732.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502739-1751442840/watcher-4502739-1751442840 -o /tmp/evaluation-result-4502739-1751442840/solver-4502739-1751442840 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751439163-67589 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4502739-1751442840.opb PROOFDIR/proof-4502739-1751442840
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 75f9ad7c30513194432fdca99f15ae89
RANDOM SEED=801632146
nodeC018 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.808
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 : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.824
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 : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.194
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 : 6999.66
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 : 3599.922
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 : 6999.66
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 : 3599.806
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 : 6999.66
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 : 3599.776
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 : 6999.66
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 : 3700.000
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 : 6999.66
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.728
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 : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127219248 kB
MemAvailable: 128831348 kB
Buffers: 2128 kB
Cached: 2378280 kB
SwapCached: 32 kB
Active: 1275196 kB
Inactive: 1961432 kB
Active(anon): 874008 kB
Inactive(anon): 288 kB
Active(file): 401188 kB
Inactive(file): 1961144 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1580888 kB
Writeback: 320 kB
AnonPages: 858704 kB
Mapped: 117104 kB
Shmem: 18044 kB
KReclaimable: 177612 kB
Slab: 317772 kB
SReclaimable: 177612 kB
SUnreclaim: 140160 kB
KernelStack: 4384 kB
PageTables: 4980 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1284136 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 126976 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432252 MiB
End job on nodeC018 at 2025-07-02 10:54:11