0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.09 c #variables 2726 #constraints 4391
0.00/0.09 c objective is ce32
0.07/0.14 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.07/0.14 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.07/0.14 c GLOBAL bounds - >= 0 @ 0.073075
0.07/0.15 c GLOBAL bounds - >= 0 @ 0.077968
172.16/172.72 c #Conflicts: 1000 | #Constraints: 5391
172.16/172.72 c #Conflicts: 2000 | #Constraints: 6391
172.16/172.72 c INPROCESSING
172.16/172.72 c GARBAGE COLLECT
172.16/172.72 c #Conflicts: 3000 | #Constraints: 6411
172.16/172.72 c #Conflicts: 4000 | #Constraints: 7411
172.16/172.72 c INPROCESSING
172.16/172.72 c GARBAGE COLLECT
172.16/172.72 c #Conflicts: 5000 | #Constraints: 6823
172.16/172.72 c #Conflicts: 6000 | #Constraints: 7823
172.16/172.72 c INPROCESSING
172.16/172.72 c GARBAGE COLLECT
172.16/172.72 c #Conflicts: 7000 | #Constraints: 6830
172.16/172.72 c #Conflicts: 8000 | #Constraints: 7830
172.16/172.72 c #Conflicts: 9000 | #Constraints: 8830
172.16/172.72 c INPROCESSING
172.16/172.72 c GARBAGE COLLECT
172.16/172.72 c #Conflicts: 10000 | #Constraints: 7537
172.16/172.72 c #Conflicts: 11000 | #Constraints: 8537
172.16/172.72 c #Conflicts: 12000 | #Constraints: 9537
172.16/172.72 c INPROCESSING
172.16/172.72 c GARBAGE COLLECT
172.16/172.72 c #Conflicts: 13000 | #Constraints: 7990
172.16/172.72 c #Conflicts: 14000 | #Constraints: 8990
172.16/172.72 c #Conflicts: 15000 | #Constraints: 9990
172.16/172.72 c INPROCESSING
172.16/172.72 c GARBAGE COLLECT
172.16/172.72 c #Conflicts: 16000 | #Constraints: 8218
172.16/172.72 c #Conflicts: 17000 | #Constraints: 9218
172.16/172.72 c #Conflicts: 18000 | #Constraints: 10218
172.16/172.72 c INPROCESSING
172.16/172.72 c GARBAGE COLLECT
172.16/172.72 c #Conflicts: 19000 | #Constraints: 8230
172.16/172.72 c #Conflicts: 20000 | #Constraints: 9230
172.16/172.72 c #Conflicts: 21000 | #Constraints: 10230
172.16/172.72 c INPROCESSING
172.16/172.72 c GARBAGE COLLECT
172.16/172.72 c #Conflicts: 22000 | #Constraints: 8037
172.16/172.72 c #Conflicts: 23000 | #Constraints: 9037
172.16/172.72 c #Conflicts: 24000 | #Constraints: 10037
172.16/172.72 c #Conflicts: 25000 | #Constraints: 11037
172.16/172.72 c INPROCESSING
172.16/172.72 c GARBAGE COLLECT
172.16/172.72 c #Conflicts: 26000 | #Constraints: 8641
172.16/172.72 c #Conflicts: 27000 | #Constraints: 9641
172.16/172.72 c #Conflicts: 28000 | #Constraints: 10641
172.16/172.72 c #Conflicts: 29000 | #Constraints: 11641
172.16/172.72 c INPROCESSING
172.16/172.72 c GARBAGE COLLECT
172.16/172.72 c #Conflicts: 30000 | #Constraints: 9041
172.16/172.72 c #Conflicts: 31000 | #Constraints: 10041
172.16/172.72 c #Conflicts: 32000 | #Constraints: 11041
172.16/172.72 c #Conflicts: 33000 | #Constraints: 12041
172.16/172.72 c INPROCESSING
172.16/172.72 c GARBAGE COLLECT
172.16/172.72 c #Conflicts: 34000 | #Constraints: 9243
172.16/172.72 c #Conflicts: 35000 | #Constraints: 10243
172.16/172.72 c #Conflicts: 36000 | #Constraints: 11243
172.16/172.72 c #Conflicts: 37000 | #Constraints: 12243
172.16/172.72 c INPROCESSING
172.16/172.72 c GARBAGE COLLECT
172.16/172.72 c #Conflicts: 38000 | #Constraints: 9243
172.16/172.72 c #Conflicts: 39000 | #Constraints: 10243
172.16/172.72 c #Conflicts: 40000 | #Constraints: 11243
172.16/172.72 c #Conflicts: 41000 | #Constraints: 12243
172.16/172.72 c INPROCESSING
172.16/172.72 c GARBAGE COLLECT
172.16/172.72 c #Conflicts: 42000 | #Constraints: 9045
172.16/172.72 c #Conflicts: 43000 | #Constraints: 10045
172.16/172.72 c #Conflicts: 44000 | #Constraints: 11045
172.16/172.72 c #Conflicts: 45000 | #Constraints: 12045
172.16/172.72 c #Conflicts: 46000 | #Constraints: 13045
172.16/172.72 c INPROCESSING
172.16/172.72 c GARBAGE COLLECT
172.16/172.72 c #Conflicts: 47000 | #Constraints: 9643
172.16/172.72 c #Conflicts: 48000 | #Constraints: 10643
172.16/172.72 c #Conflicts: 49000 | #Constraints: 11643
172.16/172.72 c #Conflicts: 50000 | #Constraints: 12643
172.16/172.72 c #Conflicts: 51000 | #Constraints: 13643
172.16/172.72 c INPROCESSING
172.16/172.72 c GARBAGE COLLECT
172.16/172.72 c #Conflicts: 52000 | #Constraints: 10046
172.16/172.72 c #Conflicts: 53000 | #Constraints: 11046
172.16/172.72 c #Conflicts: 54000 | #Constraints: 12046
172.16/172.72 c #Conflicts: 55000 | #Constraints: 13046
172.16/172.72 c #Conflicts: 56000 | #Constraints: 14046
172.16/172.72 c INPROCESSING
172.16/172.72 c GARBAGE COLLECT
172.16/172.72 c #Conflicts: 57000 | #Constraints: 10243
172.16/172.72 c #Conflicts: 58000 | #Constraints: 11243
172.16/172.72 c #Conflicts: 59000 | #Constraints: 12243
172.16/172.72 c #Conflicts: 60000 | #Constraints: 13243
172.16/172.72 c #Conflicts: 61000 | #Constraints: 14243
172.16/172.72 c INPROCESSING
172.16/172.72 c GARBAGE COLLECT
172.16/172.72 c #Conflicts: 62000 | #Constraints: 10242
172.16/172.72 c #Conflicts: 63000 | #Constraints: 11242
172.16/172.72 c #Conflicts: 64000 | #Constraints: 12242
172.16/172.72 c #Conflicts: 65000 | #Constraints: 13242
172.16/172.72 c #Conflicts: 66000 | #Constraints: 14242
172.16/172.72 c INPROCESSING
172.16/172.72 c GARBAGE COLLECT
172.16/172.72 c #Conflicts: 67000 | #Constraints: 10044
172.16/172.72 c #Conflicts: 68000 | #Constraints: 11044
353.42/354.54 c #Conflicts: 69000 | #Constraints: 12044
353.42/354.54 c #Conflicts: 70000 | #Constraints: 13044
353.42/354.54 c #Conflicts: 71000 | #Constraints: 14044
353.42/354.54 c #Conflicts: 72000 | #Constraints: 15044
353.42/354.54 c INPROCESSING
353.42/354.54 c GARBAGE COLLECT
353.42/354.54 c #Conflicts: 73000 | #Constraints: 10645
353.42/354.54 c #Conflicts: 74000 | #Constraints: 11645
353.42/354.54 c #Conflicts: 75000 | #Constraints: 12645
353.42/354.54 c #Conflicts: 76000 | #Constraints: 13645
353.42/354.54 c #Conflicts: 77000 | #Constraints: 14645
353.42/354.54 c #Conflicts: 78000 | #Constraints: 15645
353.42/354.54 c INPROCESSING
353.42/354.54 c GARBAGE COLLECT
353.42/354.54 c #Conflicts: 79000 | #Constraints: 11045
353.42/354.54 c #Conflicts: 80000 | #Constraints: 12045
353.42/354.54 c #Conflicts: 81000 | #Constraints: 13045
353.42/354.54 c #Conflicts: 82000 | #Constraints: 14045
353.42/354.54 c #Conflicts: 83000 | #Constraints: 15045
353.42/354.54 c #Conflicts: 84000 | #Constraints: 16045
353.42/354.54 c INPROCESSING
353.42/354.54 c GARBAGE COLLECT
353.42/354.54 c #Conflicts: 85000 | #Constraints: 11244
353.42/354.54 c #Conflicts: 86000 | #Constraints: 12244
353.42/354.54 c #Conflicts: 87000 | #Constraints: 13244
353.42/354.54 c #Conflicts: 88000 | #Constraints: 14244
353.42/354.54 c #Conflicts: 89000 | #Constraints: 15244
353.42/354.54 c #Conflicts: 90000 | #Constraints: 16244
353.42/354.54 c INPROCESSING
353.42/354.54 c GARBAGE COLLECT
353.42/354.54 c #Conflicts: 91000 | #Constraints: 11244
353.42/354.54 c #Conflicts: 92000 | #Constraints: 12244
353.42/354.54 c #Conflicts: 93000 | #Constraints: 13244
353.42/354.54 c #Conflicts: 94000 | #Constraints: 14244
353.42/354.54 c #Conflicts: 95000 | #Constraints: 15244
353.42/354.54 c #Conflicts: 96000 | #Constraints: 16244
353.42/354.54 c INPROCESSING
353.42/354.54 c GARBAGE COLLECT
353.42/354.54 c #Conflicts: 97000 | #Constraints: 11045
353.42/354.54 c #Conflicts: 98000 | #Constraints: 12045
353.42/354.54 c #Conflicts: 99000 | #Constraints: 13045
353.42/354.54 c #Conflicts: 100000 | #Constraints: 14045
353.42/354.54 c #Conflicts: 101000 | #Constraints: 15045
353.42/354.54 c #Conflicts: 102000 | #Constraints: 16045
353.42/354.54 c #Conflicts: 103000 | #Constraints: 17045
353.42/354.54 c INPROCESSING
353.42/354.54 c GARBAGE COLLECT
353.42/354.54 c #Conflicts: 104000 | #Constraints: 11644
353.42/354.54 c #Conflicts: 105000 | #Constraints: 12644
353.42/354.54 c #Conflicts: 106000 | #Constraints: 13644
353.42/354.54 c #Conflicts: 107000 | #Constraints: 14644
353.42/354.54 c #Conflicts: 108000 | #Constraints: 15644
353.42/354.54 c #Conflicts: 109000 | #Constraints: 16644
353.42/354.54 c #Conflicts: 110000 | #Constraints: 17644
353.42/354.54 c INPROCESSING
353.42/354.54 c GARBAGE COLLECT
353.42/354.54 c #Conflicts: 111000 | #Constraints: 12045
353.42/354.54 c #Conflicts: 112000 | #Constraints: 13045
353.42/354.54 c #Conflicts: 113000 | #Constraints: 14045
353.42/354.54 c #Conflicts: 114000 | #Constraints: 15045
353.42/354.54 c #Conflicts: 115000 | #Constraints: 16045
353.42/354.54 c #Conflicts: 116000 | #Constraints: 17045
353.42/354.54 c #Conflicts: 117000 | #Constraints: 18045
353.42/354.54 c INPROCESSING
353.42/354.54 c GARBAGE COLLECT
353.42/354.54 c #Conflicts: 118000 | #Constraints: 12245
353.42/354.54 c #Conflicts: 119000 | #Constraints: 13245
353.42/354.54 c #Conflicts: 120000 | #Constraints: 14245
353.42/354.54 c #Conflicts: 121000 | #Constraints: 15245
353.42/354.54 c #Conflicts: 122000 | #Constraints: 16245
353.42/354.54 c #Conflicts: 123000 | #Constraints: 17245
353.42/354.54 c #Conflicts: 124000 | #Constraints: 18245
353.42/354.54 c INPROCESSING
353.42/354.54 c GARBAGE COLLECT
353.42/354.54 c #Conflicts: 125000 | #Constraints: 12245
353.42/354.54 c #Conflicts: 126000 | #Constraints: 13245
353.42/354.54 c #Conflicts: 127000 | #Constraints: 14245
353.42/354.54 c #Conflicts: 128000 | #Constraints: 15245
353.42/354.54 c #Conflicts: 129000 | #Constraints: 16245
353.42/354.54 c #Conflicts: 130000 | #Constraints: 17245
353.42/354.54 c #Conflicts: 131000 | #Constraints: 18245
353.42/354.54 c INPROCESSING
353.42/354.54 c GARBAGE COLLECT
353.42/354.54 c #Conflicts: 132000 | #Constraints: 12045
353.42/354.54 c #Conflicts: 133000 | #Constraints: 13045
353.42/354.54 c #Conflicts: 134000 | #Constraints: 14045
353.42/354.54 c #Conflicts: 135000 | #Constraints: 15045
353.42/354.54 c #Conflicts: 136000 | #Constraints: 16045
353.42/354.54 c #Conflicts: 137000 | #Constraints: 17045
353.42/354.54 c #Conflicts: 138000 | #Constraints: 18045
353.42/354.54 c #Conflicts: 139000 | #Constraints: 19045
353.42/354.54 c INPROCESSING
353.42/354.54 c GARBAGE COLLECT
353.42/354.54 c #Conflicts: 140000 | #Constraints: 12647
537.53/539.17 c #Conflicts: 141000 | #Constraints: 13647
537.53/539.17 c #Conflicts: 142000 | #Constraints: 14647
537.53/539.17 c #Conflicts: 143000 | #Constraints: 15647
537.53/539.17 c #Conflicts: 144000 | #Constraints: 16647
537.53/539.17 c #Conflicts: 145000 | #Constraints: 17647
537.53/539.17 c #Conflicts: 146000 | #Constraints: 18647
537.53/539.17 c #Conflicts: 147000 | #Constraints: 19647
537.53/539.17 c INPROCESSING
537.53/539.17 c GARBAGE COLLECT
537.53/539.17 c #Conflicts: 148000 | #Constraints: 13049
537.53/539.17 c #Conflicts: 149000 | #Constraints: 14049
537.53/539.17 c #Conflicts: 150000 | #Constraints: 15049
537.53/539.17 c #Conflicts: 151000 | #Constraints: 16049
537.53/539.17 c #Conflicts: 152000 | #Constraints: 17049
537.53/539.17 c #Conflicts: 153000 | #Constraints: 18049
537.53/539.17 c #Conflicts: 154000 | #Constraints: 19049
537.53/539.17 c #Conflicts: 155000 | #Constraints: 20049
537.53/539.17 c INPROCESSING
537.53/539.17 c GARBAGE COLLECT
537.53/539.17 c #Conflicts: 156000 | #Constraints: 13249
537.53/539.17 c #Conflicts: 157000 | #Constraints: 14249
537.53/539.17 c #Conflicts: 158000 | #Constraints: 15249
537.53/539.17 c #Conflicts: 159000 | #Constraints: 16249
537.53/539.17 c #Conflicts: 160000 | #Constraints: 17249
537.53/539.17 c #Conflicts: 161000 | #Constraints: 18249
537.53/539.17 c #Conflicts: 162000 | #Constraints: 19249
537.53/539.17 c #Conflicts: 163000 | #Constraints: 20249
537.53/539.17 c INPROCESSING
537.53/539.17 c GARBAGE COLLECT
537.53/539.17 c #Conflicts: 164000 | #Constraints: 13248
537.53/539.17 c #Conflicts: 165000 | #Constraints: 14248
537.53/539.17 c #Conflicts: 166000 | #Constraints: 15248
537.53/539.17 c #Conflicts: 167000 | #Constraints: 16248
537.53/539.17 c #Conflicts: 168000 | #Constraints: 17248
537.53/539.17 c #Conflicts: 169000 | #Constraints: 18248
537.53/539.17 c #Conflicts: 170000 | #Constraints: 19248
537.53/539.17 c #Conflicts: 171000 | #Constraints: 20248
537.53/539.17 c INPROCESSING
537.53/539.17 c GARBAGE COLLECT
537.53/539.17 c #Conflicts: 172000 | #Constraints: 13047
537.53/539.17 c #Conflicts: 173000 | #Constraints: 14047
537.53/539.17 c #Conflicts: 174000 | #Constraints: 15047
537.53/539.17 c #Conflicts: 175000 | #Constraints: 16047
537.53/539.17 c #Conflicts: 176000 | #Constraints: 17047
537.53/539.17 c #Conflicts: 177000 | #Constraints: 18047
537.53/539.17 c #Conflicts: 178000 | #Constraints: 19047
537.53/539.17 c #Conflicts: 179000 | #Constraints: 20047
537.53/539.17 c #Conflicts: 180000 | #Constraints: 21047
537.53/539.17 c INPROCESSING
537.53/539.17 c GARBAGE COLLECT
537.53/539.17 c #Conflicts: 181000 | #Constraints: 13645
537.53/539.17 c #Conflicts: 182000 | #Constraints: 14645
537.53/539.17 c #Conflicts: 183000 | #Constraints: 15645
537.53/539.17 c #Conflicts: 184000 | #Constraints: 16645
537.53/539.17 c #Conflicts: 185000 | #Constraints: 17645
537.53/539.17 c #Conflicts: 186000 | #Constraints: 18645
537.53/539.17 c #Conflicts: 187000 | #Constraints: 19645
537.53/539.17 c #Conflicts: 188000 | #Constraints: 20645
537.53/539.17 c #Conflicts: 189000 | #Constraints: 21645
537.53/539.17 c INPROCESSING
537.53/539.17 c GARBAGE COLLECT
537.53/539.17 c #Conflicts: 190000 | #Constraints: 14045
537.53/539.17 c #Conflicts: 191000 | #Constraints: 15045
537.53/539.17 c #Conflicts: 192000 | #Constraints: 16045
537.53/539.17 c #Conflicts: 193000 | #Constraints: 17045
537.53/539.17 c #Conflicts: 194000 | #Constraints: 18045
537.53/539.17 c #Conflicts: 195000 | #Constraints: 19045
537.53/539.17 c #Conflicts: 196000 | #Constraints: 20045
537.53/539.17 c #Conflicts: 197000 | #Constraints: 21045
537.53/539.17 c #Conflicts: 198000 | #Constraints: 22045
537.53/539.17 c INPROCESSING
537.53/539.17 c GARBAGE COLLECT
537.53/539.17 c #Conflicts: 199000 | #Constraints: 14247
537.53/539.17 c #Conflicts: 200000 | #Constraints: 15247
537.53/539.17 c #Conflicts: 201000 | #Constraints: 16247
537.53/539.17 c #Conflicts: 202000 | #Constraints: 17247
537.53/539.17 c #Conflicts: 203000 | #Constraints: 18247
537.53/539.17 c #Conflicts: 204000 | #Constraints: 19247
537.53/539.17 c #Conflicts: 205000 | #Constraints: 20247
537.53/539.17 c #Conflicts: 206000 | #Constraints: 21247
537.53/539.17 c #Conflicts: 207000 | #Constraints: 22247
537.53/539.17 c INPROCESSING
537.53/539.17 c GARBAGE COLLECT
537.53/539.17 c #Conflicts: 208000 | #Constraints: 14247
537.53/539.17 c #Conflicts: 209000 | #Constraints: 15247
537.53/539.17 c #Conflicts: 210000 | #Constraints: 16247
537.53/539.17 c #Conflicts: 211000 | #Constraints: 17247
537.53/539.17 c #Conflicts: 212000 | #Constraints: 18247
537.53/539.17 c #Conflicts: 213000 | #Constraints: 19247
726.07/728.36 c #Conflicts: 214000 | #Constraints: 20247
726.07/728.36 c #Conflicts: 215000 | #Constraints: 21247
726.07/728.36 c #Conflicts: 216000 | #Constraints: 22247
726.07/728.36 c INPROCESSING
726.07/728.36 c GARBAGE COLLECT
726.07/728.36 c #Conflicts: 217000 | #Constraints: 14048
726.07/728.36 c #Conflicts: 218000 | #Constraints: 15048
726.07/728.36 c #Conflicts: 219000 | #Constraints: 16048
726.07/728.36 c #Conflicts: 220000 | #Constraints: 17048
726.07/728.36 c #Conflicts: 221000 | #Constraints: 18048
726.07/728.36 c #Conflicts: 222000 | #Constraints: 19048
726.07/728.36 c #Conflicts: 223000 | #Constraints: 20048
726.07/728.36 c #Conflicts: 224000 | #Constraints: 21048
726.07/728.36 c #Conflicts: 225000 | #Constraints: 22048
726.07/728.36 c #Conflicts: 226000 | #Constraints: 23048
726.07/728.36 c INPROCESSING
726.07/728.36 c GARBAGE COLLECT
726.07/728.36 c #Conflicts: 227000 | #Constraints: 14652
726.07/728.36 c #Conflicts: 228000 | #Constraints: 15652
726.07/728.36 c #Conflicts: 229000 | #Constraints: 16652
726.07/728.36 c #Conflicts: 230000 | #Constraints: 17652
726.07/728.36 c #Conflicts: 231000 | #Constraints: 18652
726.07/728.36 c #Conflicts: 232000 | #Constraints: 19652
726.07/728.36 c #Conflicts: 233000 | #Constraints: 20652
726.07/728.36 c #Conflicts: 234000 | #Constraints: 21652
726.07/728.36 c #Conflicts: 235000 | #Constraints: 22652
726.07/728.36 c #Conflicts: 236000 | #Constraints: 23652
726.07/728.36 c INPROCESSING
726.07/728.36 c GARBAGE COLLECT
726.07/728.36 c #Conflicts: 237000 | #Constraints: 15050
726.07/728.36 c #Conflicts: 238000 | #Constraints: 16050
726.07/728.36 c #Conflicts: 239000 | #Constraints: 17050
726.07/728.36 c #Conflicts: 240000 | #Constraints: 18050
726.07/728.36 c #Conflicts: 241000 | #Constraints: 19050
726.07/728.36 c #Conflicts: 242000 | #Constraints: 20050
726.07/728.36 c #Conflicts: 243000 | #Constraints: 21050
726.07/728.36 c #Conflicts: 244000 | #Constraints: 22050
726.07/728.36 c #Conflicts: 245000 | #Constraints: 23050
726.07/728.36 c #Conflicts: 246000 | #Constraints: 24050
726.07/728.36 c INPROCESSING
726.07/728.36 c GARBAGE COLLECT
726.07/728.36 c #Conflicts: 247000 | #Constraints: 15249
726.07/728.36 c #Conflicts: 248000 | #Constraints: 16249
726.07/728.36 c #Conflicts: 249000 | #Constraints: 17249
726.07/728.36 c #Conflicts: 250000 | #Constraints: 18249
726.07/728.36 c #Conflicts: 251000 | #Constraints: 19249
726.07/728.36 c #Conflicts: 252000 | #Constraints: 20249
726.07/728.36 c #Conflicts: 253000 | #Constraints: 21249
726.07/728.36 c #Conflicts: 254000 | #Constraints: 22249
726.07/728.36 c #Conflicts: 255000 | #Constraints: 23249
726.07/728.36 c #Conflicts: 256000 | #Constraints: 24249
726.07/728.36 c INPROCESSING
726.07/728.36 c GARBAGE COLLECT
726.07/728.36 c #Conflicts: 257000 | #Constraints: 15247
726.07/728.36 c #Conflicts: 258000 | #Constraints: 16247
726.07/728.36 c #Conflicts: 259000 | #Constraints: 17247
726.07/728.36 c #Conflicts: 260000 | #Constraints: 18247
726.07/728.36 c #Conflicts: 261000 | #Constraints: 19247
726.07/728.36 c #Conflicts: 262000 | #Constraints: 20247
726.07/728.36 c #Conflicts: 263000 | #Constraints: 21247
726.07/728.36 c #Conflicts: 264000 | #Constraints: 22247
726.07/728.36 c #Conflicts: 265000 | #Constraints: 23247
726.07/728.36 c #Conflicts: 266000 | #Constraints: 24247
726.07/728.36 c INPROCESSING
726.07/728.36 c GARBAGE COLLECT
726.07/728.36 c #Conflicts: 267000 | #Constraints: 15046
726.07/728.36 c #Conflicts: 268000 | #Constraints: 16046
726.07/728.36 c #Conflicts: 269000 | #Constraints: 17046
726.07/728.36 c #Conflicts: 270000 | #Constraints: 18046
726.07/728.36 c #Conflicts: 271000 | #Constraints: 19046
726.07/728.36 c #Conflicts: 272000 | #Constraints: 20046
726.07/728.36 c #Conflicts: 273000 | #Constraints: 21046
726.07/728.36 c #Conflicts: 274000 | #Constraints: 22046
726.07/728.36 c #Conflicts: 275000 | #Constraints: 23046
726.07/728.36 c #Conflicts: 276000 | #Constraints: 24046
726.07/728.36 c #Conflicts: 277000 | #Constraints: 25046
726.07/728.36 c INPROCESSING
726.07/728.36 c GARBAGE COLLECT
726.07/728.36 c #Conflicts: 278000 | #Constraints: 15646
726.07/728.36 c #Conflicts: 279000 | #Constraints: 16646
726.07/728.36 c #Conflicts: 280000 | #Constraints: 17646
726.07/728.36 c #Conflicts: 281000 | #Constraints: 18646
726.07/728.36 c #Conflicts: 282000 | #Constraints: 19646
726.07/728.36 c #Conflicts: 283000 | #Constraints: 20646
726.07/728.36 c #Conflicts: 284000 | #Constraints: 21646
726.07/728.36 c #Conflicts: 285000 | #Constraints: 22646
726.07/728.36 c #Conflicts: 286000 | #Constraints: 23646
726.07/728.36 c #Conflicts: 287000 | #Constraints: 24646
726.07/728.36 c #Conflicts: 288000 | #Constraints: 25646
913.20/915.92 c INPROCESSING
913.20/915.92 c GARBAGE COLLECT
913.20/915.92 c #Conflicts: 289000 | #Constraints: 16045
913.20/915.92 c #Conflicts: 290000 | #Constraints: 17045
913.20/915.92 c #Conflicts: 291000 | #Constraints: 18045
913.20/915.92 c #Conflicts: 292000 | #Constraints: 19045
913.20/915.92 c #Conflicts: 293000 | #Constraints: 20045
913.20/915.92 c #Conflicts: 294000 | #Constraints: 21045
913.20/915.92 c #Conflicts: 295000 | #Constraints: 22045
913.20/915.92 c #Conflicts: 296000 | #Constraints: 23045
913.20/915.92 c #Conflicts: 297000 | #Constraints: 24045
913.20/915.92 c #Conflicts: 298000 | #Constraints: 25045
913.20/915.92 c #Conflicts: 299000 | #Constraints: 26045
913.20/915.92 c INPROCESSING
913.20/915.92 c GARBAGE COLLECT
913.20/915.92 c #Conflicts: 300000 | #Constraints: 16247
913.20/915.92 c #Conflicts: 301000 | #Constraints: 17247
913.20/915.92 c #Conflicts: 302000 | #Constraints: 18247
913.20/915.92 c #Conflicts: 303000 | #Constraints: 19247
913.20/915.92 c #Conflicts: 304000 | #Constraints: 20247
913.20/915.92 c #Conflicts: 305000 | #Constraints: 21247
913.20/915.92 c #Conflicts: 306000 | #Constraints: 22247
913.20/915.92 c #Conflicts: 307000 | #Constraints: 23247
913.20/915.92 c #Conflicts: 308000 | #Constraints: 24247
913.20/915.92 c #Conflicts: 309000 | #Constraints: 25247
913.20/915.92 c #Conflicts: 310000 | #Constraints: 26247
913.20/915.92 c INPROCESSING
913.20/915.92 c GARBAGE COLLECT
913.20/915.92 c #Conflicts: 311000 | #Constraints: 16247
913.20/915.92 c #Conflicts: 312000 | #Constraints: 17247
913.20/915.92 c #Conflicts: 313000 | #Constraints: 18247
913.20/915.92 c #Conflicts: 314000 | #Constraints: 19247
913.20/915.92 c #Conflicts: 315000 | #Constraints: 20247
913.20/915.92 c #Conflicts: 316000 | #Constraints: 21247
913.20/915.92 c #Conflicts: 317000 | #Constraints: 22247
913.20/915.92 c #Conflicts: 318000 | #Constraints: 23247
913.20/915.92 c #Conflicts: 319000 | #Constraints: 24247
913.20/915.92 c #Conflicts: 320000 | #Constraints: 25247
913.20/915.92 c #Conflicts: 321000 | #Constraints: 26247
913.20/915.92 c INPROCESSING
913.20/915.92 c GARBAGE COLLECT
913.20/915.92 c #Conflicts: 322000 | #Constraints: 16049
913.20/915.92 c #Conflicts: 323000 | #Constraints: 17049
913.20/915.92 c #Conflicts: 324000 | #Constraints: 18049
913.20/915.92 c #Conflicts: 325000 | #Constraints: 19049
913.20/915.92 c #Conflicts: 326000 | #Constraints: 20049
913.20/915.92 c #Conflicts: 327000 | #Constraints: 21049
913.20/915.92 c #Conflicts: 328000 | #Constraints: 22049
913.20/915.92 c #Conflicts: 329000 | #Constraints: 23049
913.20/915.92 c #Conflicts: 330000 | #Constraints: 24049
913.20/915.92 c #Conflicts: 331000 | #Constraints: 25049
913.20/915.92 c #Conflicts: 332000 | #Constraints: 26049
913.20/915.92 c #Conflicts: 333000 | #Constraints: 27049
913.20/915.92 c INPROCESSING
913.20/915.92 c GARBAGE COLLECT
913.20/915.92 c #Conflicts: 334000 | #Constraints: 16647
913.20/915.92 c #Conflicts: 335000 | #Constraints: 17647
913.20/915.92 c #Conflicts: 336000 | #Constraints: 18647
913.20/915.92 c #Conflicts: 337000 | #Constraints: 19647
913.20/915.92 c #Conflicts: 338000 | #Constraints: 20647
913.20/915.92 c #Conflicts: 339000 | #Constraints: 21647
913.20/915.92 c #Conflicts: 340000 | #Constraints: 22647
913.20/915.92 c #Conflicts: 341000 | #Constraints: 23647
913.20/915.92 c #Conflicts: 342000 | #Constraints: 24647
913.20/915.92 c #Conflicts: 343000 | #Constraints: 25647
913.20/915.92 c #Conflicts: 344000 | #Constraints: 26647
913.20/915.92 c #Conflicts: 345000 | #Constraints: 27647
913.20/915.92 c INPROCESSING
913.20/915.92 c GARBAGE COLLECT
913.20/915.92 c #Conflicts: 346000 | #Constraints: 17048
913.20/915.92 c #Conflicts: 347000 | #Constraints: 18048
913.20/915.92 c #Conflicts: 348000 | #Constraints: 19048
913.20/915.92 c #Conflicts: 349000 | #Constraints: 20048
913.20/915.92 c #Conflicts: 350000 | #Constraints: 21048
913.20/915.92 c #Conflicts: 351000 | #Constraints: 22048
913.20/915.92 c #Conflicts: 352000 | #Constraints: 23048
913.20/915.92 c #Conflicts: 353000 | #Constraints: 24048
913.20/915.92 c #Conflicts: 354000 | #Constraints: 25048
913.20/915.92 c #Conflicts: 355000 | #Constraints: 26048
913.20/915.92 c #Conflicts: 356000 | #Constraints: 27048
913.20/915.92 c #Conflicts: 357000 | #Constraints: 28048
913.20/915.92 c INPROCESSING
913.20/915.92 c GARBAGE COLLECT
913.20/915.92 c #Conflicts: 358000 | #Constraints: 17246
913.20/915.92 c #Conflicts: 359000 | #Constraints: 18246
913.20/915.92 c #Conflicts: 360000 | #Constraints: 19246
913.20/915.92 c #Conflicts: 361000 | #Constraints: 20246
913.20/915.92 c #Conflicts: 362000 | #Constraints: 21246
1107.22/1110.61 c #Conflicts: 363000 | #Constraints: 22246
1107.22/1110.61 c #Conflicts: 364000 | #Constraints: 23246
1107.22/1110.61 c #Conflicts: 365000 | #Constraints: 24246
1107.22/1110.61 c #Conflicts: 366000 | #Constraints: 25246
1107.22/1110.61 c #Conflicts: 367000 | #Constraints: 26246
1107.22/1110.61 c #Conflicts: 368000 | #Constraints: 27246
1107.22/1110.61 c #Conflicts: 369000 | #Constraints: 28246
1107.22/1110.61 c INPROCESSING
1107.22/1110.61 c GARBAGE COLLECT
1107.22/1110.61 c #Conflicts: 370000 | #Constraints: 17247
1107.22/1110.61 c #Conflicts: 371000 | #Constraints: 18247
1107.22/1110.61 c #Conflicts: 372000 | #Constraints: 19247
1107.22/1110.61 c #Conflicts: 373000 | #Constraints: 20247
1107.22/1110.61 c #Conflicts: 374000 | #Constraints: 21247
1107.22/1110.61 c #Conflicts: 375000 | #Constraints: 22247
1107.22/1110.61 c #Conflicts: 376000 | #Constraints: 23247
1107.22/1110.61 c #Conflicts: 377000 | #Constraints: 24247
1107.22/1110.61 c #Conflicts: 378000 | #Constraints: 25247
1107.22/1110.61 c #Conflicts: 379000 | #Constraints: 26247
1107.22/1110.61 c #Conflicts: 380000 | #Constraints: 27247
1107.22/1110.61 c #Conflicts: 381000 | #Constraints: 28247
1107.22/1110.61 c INPROCESSING
1107.22/1110.61 c GARBAGE COLLECT
1107.22/1110.61 c #Conflicts: 382000 | #Constraints: 17045
1107.22/1110.61 c #Conflicts: 383000 | #Constraints: 18045
1107.22/1110.61 c #Conflicts: 384000 | #Constraints: 19045
1107.22/1110.61 c #Conflicts: 385000 | #Constraints: 20045
1107.22/1110.61 c #Conflicts: 386000 | #Constraints: 21045
1107.22/1110.61 c #Conflicts: 387000 | #Constraints: 22045
1107.22/1110.61 c #Conflicts: 388000 | #Constraints: 23045
1107.22/1110.61 c #Conflicts: 389000 | #Constraints: 24045
1107.22/1110.61 c #Conflicts: 390000 | #Constraints: 25045
1107.22/1110.61 c #Conflicts: 391000 | #Constraints: 26045
1107.22/1110.61 c #Conflicts: 392000 | #Constraints: 27045
1107.22/1110.61 c #Conflicts: 393000 | #Constraints: 28045
1107.22/1110.61 c #Conflicts: 394000 | #Constraints: 29045
1107.22/1110.61 c INPROCESSING
1107.22/1110.61 c GARBAGE COLLECT
1107.22/1110.61 c #Conflicts: 395000 | #Constraints: 17645
1107.22/1110.61 c #Conflicts: 396000 | #Constraints: 18645
1107.22/1110.61 c #Conflicts: 397000 | #Constraints: 19645
1107.22/1110.61 c #Conflicts: 398000 | #Constraints: 20645
1107.22/1110.61 c #Conflicts: 399000 | #Constraints: 21645
1107.22/1110.61 c #Conflicts: 400000 | #Constraints: 22645
1107.22/1110.61 c #Conflicts: 401000 | #Constraints: 23645
1107.22/1110.61 c #Conflicts: 402000 | #Constraints: 24645
1107.22/1110.61 c #Conflicts: 403000 | #Constraints: 25645
1107.22/1110.61 c #Conflicts: 404000 | #Constraints: 26645
1107.22/1110.61 c #Conflicts: 405000 | #Constraints: 27645
1107.22/1110.61 c #Conflicts: 406000 | #Constraints: 28645
1107.22/1110.61 c #Conflicts: 407000 | #Constraints: 29645
1107.22/1110.61 c INPROCESSING
1107.22/1110.61 c GARBAGE COLLECT
1107.22/1110.61 c #Conflicts: 408000 | #Constraints: 18047
1107.22/1110.61 c #Conflicts: 409000 | #Constraints: 19047
1107.22/1110.61 c #Conflicts: 410000 | #Constraints: 20047
1107.22/1110.61 c #Conflicts: 411000 | #Constraints: 21047
1107.22/1110.61 c #Conflicts: 412000 | #Constraints: 22047
1107.22/1110.61 c #Conflicts: 413000 | #Constraints: 23047
1107.22/1110.61 c #Conflicts: 414000 | #Constraints: 24047
1107.22/1110.61 c #Conflicts: 415000 | #Constraints: 25047
1107.22/1110.61 c #Conflicts: 416000 | #Constraints: 26047
1107.22/1110.61 c #Conflicts: 417000 | #Constraints: 27047
1107.22/1110.61 c #Conflicts: 418000 | #Constraints: 28047
1107.22/1110.61 c #Conflicts: 419000 | #Constraints: 29047
1107.22/1110.61 c #Conflicts: 420000 | #Constraints: 30047
1107.22/1110.61 c INPROCESSING
1107.22/1110.61 c GARBAGE COLLECT
1107.22/1110.61 c #Conflicts: 421000 | #Constraints: 18248
1107.22/1110.61 c #Conflicts: 422000 | #Constraints: 19248
1107.22/1110.61 c #Conflicts: 423000 | #Constraints: 20248
1107.22/1110.61 c #Conflicts: 424000 | #Constraints: 21248
1107.22/1110.61 c #Conflicts: 425000 | #Constraints: 22248
1107.22/1110.61 c #Conflicts: 426000 | #Constraints: 23248
1107.22/1110.61 c #Conflicts: 427000 | #Constraints: 24248
1107.22/1110.61 c #Conflicts: 428000 | #Constraints: 25248
1107.22/1110.61 c #Conflicts: 429000 | #Constraints: 26248
1107.22/1110.61 c #Conflicts: 430000 | #Constraints: 27248
1107.22/1110.61 c #Conflicts: 431000 | #Constraints: 28248
1107.22/1110.61 c #Conflicts: 432000 | #Constraints: 29248
1107.22/1110.61 c #Conflicts: 433000 | #Constraints: 30248
1107.22/1110.61 c INPROCESSING
1107.22/1110.61 c GARBAGE COLLECT
1107.22/1110.61 c #Conflicts: 434000 | #Constraints: 18250
1107.22/1110.61 c #Conflicts: 435000 | #Constraints: 19250
1107.22/1110.61 c #Conflicts: 436000 | #Constraints: 20250
1107.22/1110.61 c #Conflicts: 437000 | #Constraints: 21250
1291.96/1295.83 c #Conflicts: 438000 | #Constraints: 22250
1291.96/1295.83 c #Conflicts: 439000 | #Constraints: 23250
1291.96/1295.83 c #Conflicts: 440000 | #Constraints: 24250
1291.96/1295.83 c #Conflicts: 441000 | #Constraints: 25250
1291.96/1295.83 c #Conflicts: 442000 | #Constraints: 26250
1291.96/1295.83 c #Conflicts: 443000 | #Constraints: 27250
1291.96/1295.83 c #Conflicts: 444000 | #Constraints: 28250
1291.96/1295.83 c #Conflicts: 445000 | #Constraints: 29250
1291.96/1295.83 c #Conflicts: 446000 | #Constraints: 30250
1291.96/1295.83 c INPROCESSING
1291.96/1295.83 c GARBAGE COLLECT
1291.96/1295.83 c #Conflicts: 447000 | #Constraints: 18049
1291.96/1295.83 c #Conflicts: 448000 | #Constraints: 19049
1291.96/1295.83 c #Conflicts: 449000 | #Constraints: 20049
1291.96/1295.83 c #Conflicts: 450000 | #Constraints: 21049
1291.96/1295.83 c #Conflicts: 451000 | #Constraints: 22049
1291.96/1295.83 c #Conflicts: 452000 | #Constraints: 23049
1291.96/1295.83 c #Conflicts: 453000 | #Constraints: 24049
1291.96/1295.83 c #Conflicts: 454000 | #Constraints: 25049
1291.96/1295.83 c #Conflicts: 455000 | #Constraints: 26049
1291.96/1295.83 c #Conflicts: 456000 | #Constraints: 27049
1291.96/1295.83 c #Conflicts: 457000 | #Constraints: 28049
1291.96/1295.83 c #Conflicts: 458000 | #Constraints: 29049
1291.96/1295.83 c #Conflicts: 459000 | #Constraints: 30049
1291.96/1295.83 c #Conflicts: 460000 | #Constraints: 31049
1291.96/1295.83 c INPROCESSING
1291.96/1295.83 c GARBAGE COLLECT
1291.96/1295.83 c #Conflicts: 461000 | #Constraints: 18651
1291.96/1295.83 c #Conflicts: 462000 | #Constraints: 19651
1291.96/1295.83 c #Conflicts: 463000 | #Constraints: 20651
1291.96/1295.83 c #Conflicts: 464000 | #Constraints: 21651
1291.96/1295.83 c #Conflicts: 465000 | #Constraints: 22651
1291.96/1295.83 c #Conflicts: 466000 | #Constraints: 23651
1291.96/1295.83 c #Conflicts: 467000 | #Constraints: 24651
1291.96/1295.83 c #Conflicts: 468000 | #Constraints: 25651
1291.96/1295.83 c #Conflicts: 469000 | #Constraints: 26651
1291.96/1295.83 c #Conflicts: 470000 | #Constraints: 27651
1291.96/1295.83 c #Conflicts: 471000 | #Constraints: 28651
1291.96/1295.83 c #Conflicts: 472000 | #Constraints: 29651
1291.96/1295.83 c #Conflicts: 473000 | #Constraints: 30651
1291.96/1295.83 c #Conflicts: 474000 | #Constraints: 31651
1291.96/1295.83 c INPROCESSING
1291.96/1295.83 c GARBAGE COLLECT
1291.96/1295.83 c #Conflicts: 475000 | #Constraints: 19052
1291.96/1295.83 c #Conflicts: 476000 | #Constraints: 20052
1291.96/1295.83 c #Conflicts: 477000 | #Constraints: 21052
1291.96/1295.83 c #Conflicts: 478000 | #Constraints: 22052
1291.96/1295.83 c #Conflicts: 479000 | #Constraints: 23052
1291.96/1295.83 c #Conflicts: 480000 | #Constraints: 24052
1291.96/1295.83 c #Conflicts: 481000 | #Constraints: 25052
1291.96/1295.83 c #Conflicts: 482000 | #Constraints: 26052
1291.96/1295.83 c #Conflicts: 483000 | #Constraints: 27052
1291.96/1295.83 c #Conflicts: 484000 | #Constraints: 28052
1291.96/1295.83 c #Conflicts: 485000 | #Constraints: 29052
1291.96/1295.83 c #Conflicts: 486000 | #Constraints: 30052
1291.96/1295.83 c #Conflicts: 487000 | #Constraints: 31052
1291.96/1295.83 c #Conflicts: 488000 | #Constraints: 32052
1291.96/1295.83 c INPROCESSING
1291.96/1295.83 c GARBAGE COLLECT
1291.96/1295.83 c #Conflicts: 489000 | #Constraints: 19251
1291.96/1295.83 c #Conflicts: 490000 | #Constraints: 20251
1291.96/1295.83 c #Conflicts: 491000 | #Constraints: 21251
1291.96/1295.83 c #Conflicts: 492000 | #Constraints: 22251
1291.96/1295.83 c #Conflicts: 493000 | #Constraints: 23251
1291.96/1295.83 c #Conflicts: 494000 | #Constraints: 24251
1291.96/1295.83 c #Conflicts: 495000 | #Constraints: 25251
1291.96/1295.83 c #Conflicts: 496000 | #Constraints: 26251
1291.96/1295.83 c #Conflicts: 497000 | #Constraints: 27251
1291.96/1295.83 c #Conflicts: 498000 | #Constraints: 28251
1291.96/1295.83 c #Conflicts: 499000 | #Constraints: 29251
1291.96/1295.83 c #Conflicts: 500000 | #Constraints: 30251
1291.96/1295.83 c #Conflicts: 501000 | #Constraints: 31251
1291.96/1295.83 c #Conflicts: 502000 | #Constraints: 32251
1291.96/1295.83 c INPROCESSING
1291.96/1295.83 c GARBAGE COLLECT
1291.96/1295.83 c #Conflicts: 503000 | #Constraints: 19249
1291.96/1295.83 c #Conflicts: 504000 | #Constraints: 20249
1291.96/1295.83 c #Conflicts: 505000 | #Constraints: 21249
1291.96/1295.83 c #Conflicts: 506000 | #Constraints: 22249
1291.96/1295.83 c #Conflicts: 507000 | #Constraints: 23249
1291.96/1295.83 c #Conflicts: 508000 | #Constraints: 24249
1291.96/1295.83 c #Conflicts: 509000 | #Constraints: 25249
1291.96/1295.83 c #Conflicts: 510000 | #Constraints: 26249
1291.96/1295.83 c #Conflicts: 511000 | #Constraints: 27249
1291.96/1295.83 c #Conflicts: 512000 | #Constraints: 28249
1291.96/1295.83 c #Conflicts: 513000 | #Constraints: 29249
1484.48/1488.89 c #Conflicts: 514000 | #Constraints: 30249
1484.48/1488.89 c #Conflicts: 515000 | #Constraints: 31249
1484.48/1488.89 c #Conflicts: 516000 | #Constraints: 32249
1484.48/1488.89 c INPROCESSING
1484.48/1488.89 c GARBAGE COLLECT
1484.48/1488.89 c #Conflicts: 517000 | #Constraints: 19046
1484.48/1488.89 c #Conflicts: 518000 | #Constraints: 20046
1484.48/1488.89 c #Conflicts: 519000 | #Constraints: 21046
1484.48/1488.89 c #Conflicts: 520000 | #Constraints: 22046
1484.48/1488.89 c #Conflicts: 521000 | #Constraints: 23046
1484.48/1488.89 c #Conflicts: 522000 | #Constraints: 24046
1484.48/1488.89 c #Conflicts: 523000 | #Constraints: 25046
1484.48/1488.89 c #Conflicts: 524000 | #Constraints: 26046
1484.48/1488.89 c #Conflicts: 525000 | #Constraints: 27046
1484.48/1488.89 c #Conflicts: 526000 | #Constraints: 28046
1484.48/1488.89 c #Conflicts: 527000 | #Constraints: 29046
1484.48/1488.89 c #Conflicts: 528000 | #Constraints: 30046
1484.48/1488.89 c #Conflicts: 529000 | #Constraints: 31046
1484.48/1488.89 c #Conflicts: 530000 | #Constraints: 32046
1484.48/1488.89 c #Conflicts: 531000 | #Constraints: 33046
1484.48/1488.89 c INPROCESSING
1484.48/1488.89 c GARBAGE COLLECT
1484.48/1488.89 c #Conflicts: 532000 | #Constraints: 19647
1484.48/1488.89 c #Conflicts: 533000 | #Constraints: 20647
1484.48/1488.89 c #Conflicts: 534000 | #Constraints: 21647
1484.48/1488.89 c #Conflicts: 535000 | #Constraints: 22647
1484.48/1488.89 c #Conflicts: 536000 | #Constraints: 23647
1484.48/1488.89 c #Conflicts: 537000 | #Constraints: 24647
1484.48/1488.89 c #Conflicts: 538000 | #Constraints: 25647
1484.48/1488.89 c #Conflicts: 539000 | #Constraints: 26647
1484.48/1488.89 c #Conflicts: 540000 | #Constraints: 27647
1484.48/1488.89 c #Conflicts: 541000 | #Constraints: 28647
1484.48/1488.89 c #Conflicts: 542000 | #Constraints: 29647
1484.48/1488.89 c #Conflicts: 543000 | #Constraints: 30647
1484.48/1488.89 c #Conflicts: 544000 | #Constraints: 31647
1484.48/1488.89 c #Conflicts: 545000 | #Constraints: 32647
1484.48/1488.89 c #Conflicts: 546000 | #Constraints: 33647
1484.48/1488.89 c INPROCESSING
1484.48/1488.89 c GARBAGE COLLECT
1484.48/1488.89 c #Conflicts: 547000 | #Constraints: 20046
1484.48/1488.89 c #Conflicts: 548000 | #Constraints: 21046
1484.48/1488.89 c #Conflicts: 549000 | #Constraints: 22046
1484.48/1488.89 c #Conflicts: 550000 | #Constraints: 23046
1484.48/1488.89 c #Conflicts: 551000 | #Constraints: 24046
1484.48/1488.89 c #Conflicts: 552000 | #Constraints: 25046
1484.48/1488.89 c #Conflicts: 553000 | #Constraints: 26046
1484.48/1488.89 c #Conflicts: 554000 | #Constraints: 27046
1484.48/1488.89 c #Conflicts: 555000 | #Constraints: 28046
1484.48/1488.89 c #Conflicts: 556000 | #Constraints: 29046
1484.48/1488.89 c #Conflicts: 557000 | #Constraints: 30046
1484.48/1488.89 c #Conflicts: 558000 | #Constraints: 31046
1484.48/1488.89 c #Conflicts: 559000 | #Constraints: 32046
1484.48/1488.89 c #Conflicts: 560000 | #Constraints: 33046
1484.48/1488.89 c #Conflicts: 561000 | #Constraints: 34046
1484.48/1488.89 c INPROCESSING
1484.48/1488.89 c GARBAGE COLLECT
1484.48/1488.89 c #Conflicts: 562000 | #Constraints: 20247
1484.48/1488.89 c #Conflicts: 563000 | #Constraints: 21247
1484.48/1488.89 c #Conflicts: 564000 | #Constraints: 22247
1484.48/1488.89 c #Conflicts: 565000 | #Constraints: 23247
1484.48/1488.89 c #Conflicts: 566000 | #Constraints: 24247
1484.48/1488.89 c #Conflicts: 567000 | #Constraints: 25247
1484.48/1488.89 c #Conflicts: 568000 | #Constraints: 26247
1484.48/1488.89 c #Conflicts: 569000 | #Constraints: 27247
1484.48/1488.89 c #Conflicts: 570000 | #Constraints: 28247
1484.48/1488.89 c #Conflicts: 571000 | #Constraints: 29247
1484.48/1488.89 c #Conflicts: 572000 | #Constraints: 30247
1484.48/1488.89 c #Conflicts: 573000 | #Constraints: 31247
1484.48/1488.89 c #Conflicts: 574000 | #Constraints: 32247
1484.48/1488.89 c #Conflicts: 575000 | #Constraints: 33247
1484.48/1488.89 c #Conflicts: 576000 | #Constraints: 34247
1484.48/1488.89 c INPROCESSING
1484.48/1488.89 c GARBAGE COLLECT
1484.48/1488.89 c #Conflicts: 577000 | #Constraints: 20250
1484.48/1488.89 c #Conflicts: 578000 | #Constraints: 21250
1484.48/1488.89 c #Conflicts: 579000 | #Constraints: 22250
1484.48/1488.89 c #Conflicts: 580000 | #Constraints: 23250
1484.48/1488.89 c #Conflicts: 581000 | #Constraints: 24250
1484.48/1488.89 c #Conflicts: 582000 | #Constraints: 25250
1484.48/1488.89 c #Conflicts: 583000 | #Constraints: 26250
1484.48/1488.89 c #Conflicts: 584000 | #Constraints: 27250
1484.48/1488.89 c #Conflicts: 585000 | #Constraints: 28250
1484.48/1488.89 c #Conflicts: 586000 | #Constraints: 29250
1484.48/1488.89 c #Conflicts: 587000 | #Constraints: 30250
1484.48/1488.89 c #Conflicts: 588000 | #Constraints: 31250
1679.68/1684.60 c #Conflicts: 589000 | #Constraints: 32250
1679.68/1684.60 c #Conflicts: 590000 | #Constraints: 33250
1679.68/1684.60 c #Conflicts: 591000 | #Constraints: 34250
1679.68/1684.60 c INPROCESSING
1679.68/1684.60 c GARBAGE COLLECT
1679.68/1684.60 c #Conflicts: 592000 | #Constraints: 20052
1679.68/1684.60 c #Conflicts: 593000 | #Constraints: 21052
1679.68/1684.60 c #Conflicts: 594000 | #Constraints: 22052
1679.68/1684.60 c #Conflicts: 595000 | #Constraints: 23052
1679.68/1684.60 c #Conflicts: 596000 | #Constraints: 24052
1679.68/1684.60 c #Conflicts: 597000 | #Constraints: 25052
1679.68/1684.60 c #Conflicts: 598000 | #Constraints: 26052
1679.68/1684.60 c #Conflicts: 599000 | #Constraints: 27052
1679.68/1684.60 c #Conflicts: 600000 | #Constraints: 28052
1679.68/1684.60 c #Conflicts: 601000 | #Constraints: 29052
1679.68/1684.60 c #Conflicts: 602000 | #Constraints: 30052
1679.68/1684.60 c #Conflicts: 603000 | #Constraints: 31052
1679.68/1684.60 c #Conflicts: 604000 | #Constraints: 32052
1679.68/1684.60 c #Conflicts: 605000 | #Constraints: 33052
1679.68/1684.60 c #Conflicts: 606000 | #Constraints: 34052
1679.68/1684.60 c #Conflicts: 607000 | #Constraints: 35052
1679.68/1684.60 c INPROCESSING
1679.68/1684.60 c GARBAGE COLLECT
1679.68/1684.60 c #Conflicts: 608000 | #Constraints: 20649
1679.68/1684.60 c #Conflicts: 609000 | #Constraints: 21649
1679.68/1684.60 c #Conflicts: 610000 | #Constraints: 22649
1679.68/1684.60 c #Conflicts: 611000 | #Constraints: 23649
1679.68/1684.60 c #Conflicts: 612000 | #Constraints: 24649
1679.68/1684.60 c #Conflicts: 613000 | #Constraints: 25649
1679.68/1684.60 c #Conflicts: 614000 | #Constraints: 26649
1679.68/1684.60 c #Conflicts: 615000 | #Constraints: 27649
1679.68/1684.60 c #Conflicts: 616000 | #Constraints: 28649
1679.68/1684.60 c #Conflicts: 617000 | #Constraints: 29649
1679.68/1684.60 c #Conflicts: 618000 | #Constraints: 30649
1679.68/1684.60 c #Conflicts: 619000 | #Constraints: 31649
1679.68/1684.60 c #Conflicts: 620000 | #Constraints: 32649
1679.68/1684.60 c #Conflicts: 621000 | #Constraints: 33649
1679.68/1684.60 c #Conflicts: 622000 | #Constraints: 34649
1679.68/1684.60 c #Conflicts: 623000 | #Constraints: 35649
1679.68/1684.60 c INPROCESSING
1679.68/1684.60 c GARBAGE COLLECT
1679.68/1684.60 c #Conflicts: 624000 | #Constraints: 21049
1679.68/1684.60 c #Conflicts: 625000 | #Constraints: 22049
1679.68/1684.60 c #Conflicts: 626000 | #Constraints: 23049
1679.68/1684.60 c #Conflicts: 627000 | #Constraints: 24049
1679.68/1684.60 c #Conflicts: 628000 | #Constraints: 25049
1679.68/1684.60 c #Conflicts: 629000 | #Constraints: 26049
1679.68/1684.60 c #Conflicts: 630000 | #Constraints: 27049
1679.68/1684.60 c #Conflicts: 631000 | #Constraints: 28049
1679.68/1684.60 c #Conflicts: 632000 | #Constraints: 29049
1679.68/1684.60 c #Conflicts: 633000 | #Constraints: 30049
1679.68/1684.60 c #Conflicts: 634000 | #Constraints: 31049
1679.68/1684.60 c #Conflicts: 635000 | #Constraints: 32049
1679.68/1684.60 c #Conflicts: 636000 | #Constraints: 33049
1679.68/1684.60 c #Conflicts: 637000 | #Constraints: 34049
1679.68/1684.60 c #Conflicts: 638000 | #Constraints: 35049
1679.68/1684.60 c #Conflicts: 639000 | #Constraints: 36049
1679.68/1684.60 c INPROCESSING
1679.68/1684.60 c GARBAGE COLLECT
1679.68/1684.60 c #Conflicts: 640000 | #Constraints: 21248
1679.68/1684.60 c #Conflicts: 641000 | #Constraints: 22248
1679.68/1684.60 c #Conflicts: 642000 | #Constraints: 23248
1679.68/1684.60 c #Conflicts: 643000 | #Constraints: 24248
1679.68/1684.60 c #Conflicts: 644000 | #Constraints: 25248
1679.68/1684.60 c #Conflicts: 645000 | #Constraints: 26248
1679.68/1684.60 c #Conflicts: 646000 | #Constraints: 27248
1679.68/1684.60 c #Conflicts: 647000 | #Constraints: 28248
1679.68/1684.60 c #Conflicts: 648000 | #Constraints: 29248
1679.68/1684.60 c #Conflicts: 649000 | #Constraints: 30248
1679.68/1684.60 c #Conflicts: 650000 | #Constraints: 31248
1679.68/1684.60 c #Conflicts: 651000 | #Constraints: 32248
1679.68/1684.60 c #Conflicts: 652000 | #Constraints: 33248
1679.68/1684.60 c #Conflicts: 653000 | #Constraints: 34248
1679.68/1684.60 c #Conflicts: 654000 | #Constraints: 35248
1679.68/1684.60 c #Conflicts: 655000 | #Constraints: 36248
1679.68/1684.60 c INPROCESSING
1679.68/1684.60 c GARBAGE COLLECT
1679.68/1684.60 c #Conflicts: 656000 | #Constraints: 21251
1679.68/1684.60 c #Conflicts: 657000 | #Constraints: 22251
1679.68/1684.60 c #Conflicts: 658000 | #Constraints: 23251
1679.68/1684.60 c #Conflicts: 659000 | #Constraints: 24251
1679.68/1684.60 c #Conflicts: 660000 | #Constraints: 25251
1679.68/1684.60 c #Conflicts: 661000 | #Constraints: 26251
1679.68/1684.60 c #Conflicts: 662000 | #Constraints: 27251
1679.68/1684.60 c #Conflicts: 663000 | #Constraints: 28251
1679.68/1684.60 c #Conflicts: 664000 | #Constraints: 29251
1867.05/1872.59 c #Conflicts: 665000 | #Constraints: 30251
1867.05/1872.59 c #Conflicts: 666000 | #Constraints: 31251
1867.05/1872.59 c #Conflicts: 667000 | #Constraints: 32251
1867.05/1872.59 c #Conflicts: 668000 | #Constraints: 33251
1867.05/1872.59 c #Conflicts: 669000 | #Constraints: 34251
1867.05/1872.59 c #Conflicts: 670000 | #Constraints: 35251
1867.05/1872.59 c #Conflicts: 671000 | #Constraints: 36251
1867.05/1872.59 c INPROCESSING
1867.05/1872.59 c GARBAGE COLLECT
1867.05/1872.59 c #Conflicts: 672000 | #Constraints: 21048
1867.05/1872.59 c #Conflicts: 673000 | #Constraints: 22048
1867.05/1872.59 c #Conflicts: 674000 | #Constraints: 23048
1867.05/1872.59 c #Conflicts: 675000 | #Constraints: 24048
1867.05/1872.59 c #Conflicts: 676000 | #Constraints: 25048
1867.05/1872.59 c #Conflicts: 677000 | #Constraints: 26048
1867.05/1872.59 c #Conflicts: 678000 | #Constraints: 27048
1867.05/1872.59 c #Conflicts: 679000 | #Constraints: 28048
1867.05/1872.59 c #Conflicts: 680000 | #Constraints: 29048
1867.05/1872.59 c #Conflicts: 681000 | #Constraints: 30048
1867.05/1872.59 c #Conflicts: 682000 | #Constraints: 31048
1867.05/1872.59 c #Conflicts: 683000 | #Constraints: 32048
1867.05/1872.59 c #Conflicts: 684000 | #Constraints: 33048
1867.05/1872.59 c #Conflicts: 685000 | #Constraints: 34048
1867.05/1872.59 c #Conflicts: 686000 | #Constraints: 35048
1867.05/1872.59 c #Conflicts: 687000 | #Constraints: 36048
1867.05/1872.59 c #Conflicts: 688000 | #Constraints: 37048
1867.05/1872.59 c INPROCESSING
1867.05/1872.59 c GARBAGE COLLECT
1867.05/1872.59 c #Conflicts: 689000 | #Constraints: 21647
1867.05/1872.59 c #Conflicts: 690000 | #Constraints: 22647
1867.05/1872.59 c #Conflicts: 691000 | #Constraints: 23647
1867.05/1872.59 c #Conflicts: 692000 | #Constraints: 24647
1867.05/1872.59 c #Conflicts: 693000 | #Constraints: 25647
1867.05/1872.59 c #Conflicts: 694000 | #Constraints: 26647
1867.05/1872.59 c #Conflicts: 695000 | #Constraints: 27647
1867.05/1872.59 c #Conflicts: 696000 | #Constraints: 28647
1867.05/1872.59 c #Conflicts: 697000 | #Constraints: 29647
1867.05/1872.59 c #Conflicts: 698000 | #Constraints: 30647
1867.05/1872.59 c #Conflicts: 699000 | #Constraints: 31647
1867.05/1872.59 c #Conflicts: 700000 | #Constraints: 32647
1867.05/1872.59 c #Conflicts: 701000 | #Constraints: 33647
1867.05/1872.59 c #Conflicts: 702000 | #Constraints: 34647
1867.05/1872.59 c #Conflicts: 703000 | #Constraints: 35647
1867.05/1872.59 c #Conflicts: 704000 | #Constraints: 36647
1867.05/1872.59 c #Conflicts: 705000 | #Constraints: 37647
1867.05/1872.59 c INPROCESSING
1867.05/1872.59 c GARBAGE COLLECT
1867.05/1872.59 c #Conflicts: 706000 | #Constraints: 22047
1867.05/1872.59 c #Conflicts: 707000 | #Constraints: 23047
1867.05/1872.59 c #Conflicts: 708000 | #Constraints: 24047
1867.05/1872.59 c #Conflicts: 709000 | #Constraints: 25047
1867.05/1872.59 c #Conflicts: 710000 | #Constraints: 26047
1867.05/1872.59 c #Conflicts: 711000 | #Constraints: 27047
1867.05/1872.59 c #Conflicts: 712000 | #Constraints: 28047
1867.05/1872.59 c #Conflicts: 713000 | #Constraints: 29047
1867.05/1872.59 c #Conflicts: 714000 | #Constraints: 30047
1867.05/1872.59 c #Conflicts: 715000 | #Constraints: 31047
1867.05/1872.59 c #Conflicts: 716000 | #Constraints: 32047
1867.05/1872.59 c #Conflicts: 717000 | #Constraints: 33047
1867.05/1872.59 c #Conflicts: 718000 | #Constraints: 34047
1867.05/1872.59 c #Conflicts: 719000 | #Constraints: 35047
1867.05/1872.59 c #Conflicts: 720000 | #Constraints: 36047
1867.05/1872.59 c #Conflicts: 721000 | #Constraints: 37047
1867.05/1872.59 c #Conflicts: 722000 | #Constraints: 38047
1867.05/1872.59 c INPROCESSING
1867.05/1872.59 c GARBAGE COLLECT
1867.05/1872.59 c #Conflicts: 723000 | #Constraints: 22249
1867.05/1872.59 c #Conflicts: 724000 | #Constraints: 23249
1867.05/1872.59 c #Conflicts: 725000 | #Constraints: 24249
1867.05/1872.59 c #Conflicts: 726000 | #Constraints: 25249
1867.05/1872.59 c #Conflicts: 727000 | #Constraints: 26249
1867.05/1872.59 c #Conflicts: 728000 | #Constraints: 27249
1867.05/1872.59 c #Conflicts: 729000 | #Constraints: 28249
1867.05/1872.59 c #Conflicts: 730000 | #Constraints: 29249
1867.05/1872.59 c #Conflicts: 731000 | #Constraints: 30249
1867.05/1872.59 c #Conflicts: 732000 | #Constraints: 31249
1867.05/1872.59 c #Conflicts: 733000 | #Constraints: 32249
1867.05/1872.59 c #Conflicts: 734000 | #Constraints: 33249
1867.05/1872.59 c #Conflicts: 735000 | #Constraints: 34249
1867.05/1872.59 c #Conflicts: 736000 | #Constraints: 35249
1867.05/1872.59 c #Conflicts: 737000 | #Constraints: 36249
1867.05/1872.59 c #Conflicts: 738000 | #Constraints: 37249
1867.05/1872.59 c #Conflicts: 739000 | #Constraints: 38249
1867.05/1872.59 c INPROCESSING
1867.05/1872.59 c GARBAGE COLLECT
2059.46/2065.48 c #Conflicts: 740000 | #Constraints: 22250
2059.46/2065.48 c #Conflicts: 741000 | #Constraints: 23250
2059.46/2065.48 c #Conflicts: 742000 | #Constraints: 24250
2059.46/2065.48 c #Conflicts: 743000 | #Constraints: 25250
2059.46/2065.48 c #Conflicts: 744000 | #Constraints: 26250
2059.46/2065.48 c #Conflicts: 745000 | #Constraints: 27250
2059.46/2065.48 c #Conflicts: 746000 | #Constraints: 28250
2059.46/2065.48 c #Conflicts: 747000 | #Constraints: 29250
2059.46/2065.48 c #Conflicts: 748000 | #Constraints: 30250
2059.46/2065.48 c #Conflicts: 749000 | #Constraints: 31250
2059.46/2065.48 c #Conflicts: 750000 | #Constraints: 32250
2059.46/2065.48 c #Conflicts: 751000 | #Constraints: 33250
2059.46/2065.48 c #Conflicts: 752000 | #Constraints: 34250
2059.46/2065.48 c #Conflicts: 753000 | #Constraints: 35250
2059.46/2065.48 c #Conflicts: 754000 | #Constraints: 36250
2059.46/2065.48 c #Conflicts: 755000 | #Constraints: 37250
2059.46/2065.48 c #Conflicts: 756000 | #Constraints: 38250
2059.46/2065.48 c INPROCESSING
2059.46/2065.48 c GARBAGE COLLECT
2059.46/2065.48 c #Conflicts: 757000 | #Constraints: 22050
2059.46/2065.48 c #Conflicts: 758000 | #Constraints: 23050
2059.46/2065.48 c #Conflicts: 759000 | #Constraints: 24050
2059.46/2065.48 c #Conflicts: 760000 | #Constraints: 25050
2059.46/2065.48 c #Conflicts: 761000 | #Constraints: 26050
2059.46/2065.48 c #Conflicts: 762000 | #Constraints: 27050
2059.46/2065.48 c #Conflicts: 763000 | #Constraints: 28050
2059.46/2065.48 c #Conflicts: 764000 | #Constraints: 29050
2059.46/2065.48 c #Conflicts: 765000 | #Constraints: 30050
2059.46/2065.48 c #Conflicts: 766000 | #Constraints: 31050
2059.46/2065.48 c #Conflicts: 767000 | #Constraints: 32050
2059.46/2065.48 c #Conflicts: 768000 | #Constraints: 33050
2059.46/2065.48 c #Conflicts: 769000 | #Constraints: 34050
2059.46/2065.48 c #Conflicts: 770000 | #Constraints: 35050
2059.46/2065.48 c #Conflicts: 771000 | #Constraints: 36050
2059.46/2065.48 c #Conflicts: 772000 | #Constraints: 37050
2059.46/2065.48 c #Conflicts: 773000 | #Constraints: 38050
2059.46/2065.48 c #Conflicts: 774000 | #Constraints: 39050
2059.46/2065.48 c INPROCESSING
2059.46/2065.48 c GARBAGE COLLECT
2059.46/2065.48 c #Conflicts: 775000 | #Constraints: 22649
2059.46/2065.48 c #Conflicts: 776000 | #Constraints: 23649
2059.46/2065.48 c #Conflicts: 777000 | #Constraints: 24649
2059.46/2065.48 c #Conflicts: 778000 | #Constraints: 25649
2059.46/2065.48 c #Conflicts: 779000 | #Constraints: 26649
2059.46/2065.48 c #Conflicts: 780000 | #Constraints: 27649
2059.46/2065.48 c #Conflicts: 781000 | #Constraints: 28649
2059.46/2065.48 c #Conflicts: 782000 | #Constraints: 29649
2059.46/2065.48 c #Conflicts: 783000 | #Constraints: 30649
2059.46/2065.48 c #Conflicts: 784000 | #Constraints: 31649
2059.46/2065.48 c #Conflicts: 785000 | #Constraints: 32649
2059.46/2065.48 c #Conflicts: 786000 | #Constraints: 33649
2059.46/2065.48 c #Conflicts: 787000 | #Constraints: 34649
2059.46/2065.48 c #Conflicts: 788000 | #Constraints: 35649
2059.46/2065.48 c #Conflicts: 789000 | #Constraints: 36649
2059.46/2065.48 c #Conflicts: 790000 | #Constraints: 37649
2059.46/2065.48 c #Conflicts: 791000 | #Constraints: 38649
2059.46/2065.48 c #Conflicts: 792000 | #Constraints: 39649
2059.46/2065.48 c INPROCESSING
2059.46/2065.48 c GARBAGE COLLECT
2059.46/2065.48 c #Conflicts: 793000 | #Constraints: 23049
2059.46/2065.48 c #Conflicts: 794000 | #Constraints: 24049
2059.46/2065.48 c #Conflicts: 795000 | #Constraints: 25049
2059.46/2065.48 c #Conflicts: 796000 | #Constraints: 26049
2059.46/2065.48 c #Conflicts: 797000 | #Constraints: 27049
2059.46/2065.48 c #Conflicts: 798000 | #Constraints: 28049
2059.46/2065.48 c #Conflicts: 799000 | #Constraints: 29049
2059.46/2065.48 c #Conflicts: 800000 | #Constraints: 30049
2059.46/2065.48 c #Conflicts: 801000 | #Constraints: 31049
2059.46/2065.48 c #Conflicts: 802000 | #Constraints: 32049
2059.46/2065.48 c #Conflicts: 803000 | #Constraints: 33049
2059.46/2065.48 c #Conflicts: 804000 | #Constraints: 34049
2059.46/2065.48 c #Conflicts: 805000 | #Constraints: 35049
2059.46/2065.48 c #Conflicts: 806000 | #Constraints: 36049
2059.46/2065.48 c #Conflicts: 807000 | #Constraints: 37049
2059.46/2065.48 c #Conflicts: 808000 | #Constraints: 38049
2059.46/2065.48 c #Conflicts: 809000 | #Constraints: 39049
2059.46/2065.48 c #Conflicts: 810000 | #Constraints: 40049
2059.46/2065.48 c INPROCESSING
2059.46/2065.48 c GARBAGE COLLECT
2059.46/2065.48 c #Conflicts: 811000 | #Constraints: 23252
2059.46/2065.48 c #Conflicts: 812000 | #Constraints: 24252
2059.46/2065.48 c #Conflicts: 813000 | #Constraints: 25252
2059.46/2065.48 c #Conflicts: 814000 | #Constraints: 26252
2059.46/2065.48 c #Conflicts: 815000 | #Constraints: 27252
2059.46/2065.48 c #Conflicts: 816000 | #Constraints: 28252
2250.68/2257.11 c #Conflicts: 817000 | #Constraints: 29252
2250.68/2257.11 c #Conflicts: 818000 | #Constraints: 30252
2250.68/2257.11 c #Conflicts: 819000 | #Constraints: 31252
2250.68/2257.11 c #Conflicts: 820000 | #Constraints: 32252
2250.68/2257.11 c #Conflicts: 821000 | #Constraints: 33252
2250.68/2257.11 c #Conflicts: 822000 | #Constraints: 34252
2250.68/2257.11 c #Conflicts: 823000 | #Constraints: 35252
2250.68/2257.11 c #Conflicts: 824000 | #Constraints: 36252
2250.68/2257.11 c #Conflicts: 825000 | #Constraints: 37252
2250.68/2257.11 c #Conflicts: 826000 | #Constraints: 38252
2250.68/2257.11 c #Conflicts: 827000 | #Constraints: 39252
2250.68/2257.11 c #Conflicts: 828000 | #Constraints: 40252
2250.68/2257.11 c INPROCESSING
2250.68/2257.11 c GARBAGE COLLECT
2250.68/2257.11 c #Conflicts: 829000 | #Constraints: 23251
2250.68/2257.11 c #Conflicts: 830000 | #Constraints: 24251
2250.68/2257.11 c #Conflicts: 831000 | #Constraints: 25251
2250.68/2257.11 c #Conflicts: 832000 | #Constraints: 26251
2250.68/2257.11 c #Conflicts: 833000 | #Constraints: 27251
2250.68/2257.11 c #Conflicts: 834000 | #Constraints: 28251
2250.68/2257.11 c #Conflicts: 835000 | #Constraints: 29251
2250.68/2257.11 c #Conflicts: 836000 | #Constraints: 30251
2250.68/2257.11 c #Conflicts: 837000 | #Constraints: 31251
2250.68/2257.11 c #Conflicts: 838000 | #Constraints: 32251
2250.68/2257.11 c #Conflicts: 839000 | #Constraints: 33251
2250.68/2257.11 c #Conflicts: 840000 | #Constraints: 34251
2250.68/2257.11 c #Conflicts: 841000 | #Constraints: 35251
2250.68/2257.11 c #Conflicts: 842000 | #Constraints: 36251
2250.68/2257.11 c #Conflicts: 843000 | #Constraints: 37251
2250.68/2257.11 c #Conflicts: 844000 | #Constraints: 38251
2250.68/2257.11 c #Conflicts: 845000 | #Constraints: 39251
2250.68/2257.11 c #Conflicts: 846000 | #Constraints: 40251
2250.68/2257.11 c INPROCESSING
2250.68/2257.11 c GARBAGE COLLECT
2250.68/2257.11 c #Conflicts: 847000 | #Constraints: 23051
2250.68/2257.11 c #Conflicts: 848000 | #Constraints: 24051
2250.68/2257.11 c #Conflicts: 849000 | #Constraints: 25051
2250.68/2257.11 c #Conflicts: 850000 | #Constraints: 26051
2250.68/2257.11 c #Conflicts: 851000 | #Constraints: 27051
2250.68/2257.11 c #Conflicts: 852000 | #Constraints: 28051
2250.68/2257.11 c #Conflicts: 853000 | #Constraints: 29051
2250.68/2257.11 c #Conflicts: 854000 | #Constraints: 30051
2250.68/2257.11 c #Conflicts: 855000 | #Constraints: 31051
2250.68/2257.11 c #Conflicts: 856000 | #Constraints: 32051
2250.68/2257.11 c #Conflicts: 857000 | #Constraints: 33051
2250.68/2257.11 c #Conflicts: 858000 | #Constraints: 34051
2250.68/2257.11 c #Conflicts: 859000 | #Constraints: 35051
2250.68/2257.11 c #Conflicts: 860000 | #Constraints: 36051
2250.68/2257.11 c #Conflicts: 861000 | #Constraints: 37051
2250.68/2257.11 c #Conflicts: 862000 | #Constraints: 38051
2250.68/2257.11 c #Conflicts: 863000 | #Constraints: 39051
2250.68/2257.11 c #Conflicts: 864000 | #Constraints: 40051
2250.68/2257.11 c #Conflicts: 865000 | #Constraints: 41051
2250.68/2257.11 c INPROCESSING
2250.68/2257.11 c GARBAGE COLLECT
2250.68/2257.11 c #Conflicts: 866000 | #Constraints: 23650
2250.68/2257.11 c #Conflicts: 867000 | #Constraints: 24650
2250.68/2257.11 c #Conflicts: 868000 | #Constraints: 25650
2250.68/2257.11 c #Conflicts: 869000 | #Constraints: 26650
2250.68/2257.11 c #Conflicts: 870000 | #Constraints: 27650
2250.68/2257.11 c #Conflicts: 871000 | #Constraints: 28650
2250.68/2257.11 c #Conflicts: 872000 | #Constraints: 29650
2250.68/2257.11 c #Conflicts: 873000 | #Constraints: 30650
2250.68/2257.11 c #Conflicts: 874000 | #Constraints: 31650
2250.68/2257.11 c #Conflicts: 875000 | #Constraints: 32650
2250.68/2257.11 c #Conflicts: 876000 | #Constraints: 33650
2250.68/2257.11 c #Conflicts: 877000 | #Constraints: 34650
2250.68/2257.11 c #Conflicts: 878000 | #Constraints: 35650
2250.68/2257.11 c #Conflicts: 879000 | #Constraints: 36650
2250.68/2257.11 c #Conflicts: 880000 | #Constraints: 37650
2250.68/2257.11 c #Conflicts: 881000 | #Constraints: 38650
2250.68/2257.11 c #Conflicts: 882000 | #Constraints: 39650
2250.68/2257.11 c #Conflicts: 883000 | #Constraints: 40650
2250.68/2257.11 c #Conflicts: 884000 | #Constraints: 41650
2250.68/2257.11 c INPROCESSING
2250.68/2257.11 c GARBAGE COLLECT
2250.68/2257.11 c #Conflicts: 885000 | #Constraints: 24051
2250.68/2257.11 c #Conflicts: 886000 | #Constraints: 25051
2250.68/2257.11 c #Conflicts: 887000 | #Constraints: 26051
2250.68/2257.11 c #Conflicts: 888000 | #Constraints: 27051
2250.68/2257.11 c #Conflicts: 889000 | #Constraints: 28051
2250.68/2257.11 c #Conflicts: 890000 | #Constraints: 29051
2250.68/2257.11 c #Conflicts: 891000 | #Constraints: 30051
2250.68/2257.11 c #Conflicts: 892000 | #Constraints: 31051
2439.20/2446.29 c #Conflicts: 893000 | #Constraints: 32051
2439.20/2446.29 c #Conflicts: 894000 | #Constraints: 33051
2439.20/2446.29 c #Conflicts: 895000 | #Constraints: 34051
2439.20/2446.29 c #Conflicts: 896000 | #Constraints: 35051
2439.20/2446.29 c #Conflicts: 897000 | #Constraints: 36051
2439.20/2446.29 c #Conflicts: 898000 | #Constraints: 37051
2439.20/2446.29 c #Conflicts: 899000 | #Constraints: 38051
2439.20/2446.29 c #Conflicts: 900000 | #Constraints: 39051
2439.20/2446.29 c #Conflicts: 901000 | #Constraints: 40051
2439.20/2446.29 c #Conflicts: 902000 | #Constraints: 41051
2439.20/2446.29 c #Conflicts: 903000 | #Constraints: 42051
2439.20/2446.29 c INPROCESSING
2439.20/2446.29 c GARBAGE COLLECT
2439.20/2446.29 c #Conflicts: 904000 | #Constraints: 24252
2439.20/2446.29 c #Conflicts: 905000 | #Constraints: 25252
2439.20/2446.29 c #Conflicts: 906000 | #Constraints: 26252
2439.20/2446.29 c #Conflicts: 907000 | #Constraints: 27252
2439.20/2446.29 c #Conflicts: 908000 | #Constraints: 28252
2439.20/2446.29 c #Conflicts: 909000 | #Constraints: 29252
2439.20/2446.29 c #Conflicts: 910000 | #Constraints: 30252
2439.20/2446.29 c #Conflicts: 911000 | #Constraints: 31252
2439.20/2446.29 c #Conflicts: 912000 | #Constraints: 32252
2439.20/2446.29 c #Conflicts: 913000 | #Constraints: 33252
2439.20/2446.29 c #Conflicts: 914000 | #Constraints: 34252
2439.20/2446.29 c #Conflicts: 915000 | #Constraints: 35252
2439.20/2446.29 c #Conflicts: 916000 | #Constraints: 36252
2439.20/2446.29 c #Conflicts: 917000 | #Constraints: 37252
2439.20/2446.29 c #Conflicts: 918000 | #Constraints: 38252
2439.20/2446.29 c #Conflicts: 919000 | #Constraints: 39252
2439.20/2446.29 c #Conflicts: 920000 | #Constraints: 40252
2439.20/2446.29 c #Conflicts: 921000 | #Constraints: 41252
2439.20/2446.29 c #Conflicts: 922000 | #Constraints: 42252
2439.20/2446.29 c INPROCESSING
2439.20/2446.29 c GARBAGE COLLECT
2439.20/2446.29 c #Conflicts: 923000 | #Constraints: 24253
2439.20/2446.29 c #Conflicts: 924000 | #Constraints: 25253
2439.20/2446.29 c #Conflicts: 925000 | #Constraints: 26253
2439.20/2446.29 c #Conflicts: 926000 | #Constraints: 27253
2439.20/2446.29 c #Conflicts: 927000 | #Constraints: 28253
2439.20/2446.29 c #Conflicts: 928000 | #Constraints: 29253
2439.20/2446.29 c #Conflicts: 929000 | #Constraints: 30253
2439.20/2446.29 c #Conflicts: 930000 | #Constraints: 31253
2439.20/2446.29 c #Conflicts: 931000 | #Constraints: 32253
2439.20/2446.29 c #Conflicts: 932000 | #Constraints: 33253
2439.20/2446.29 c #Conflicts: 933000 | #Constraints: 34253
2439.20/2446.29 c #Conflicts: 934000 | #Constraints: 35253
2439.20/2446.29 c #Conflicts: 935000 | #Constraints: 36253
2439.20/2446.29 c #Conflicts: 936000 | #Constraints: 37253
2439.20/2446.29 c #Conflicts: 937000 | #Constraints: 38253
2439.20/2446.29 c #Conflicts: 938000 | #Constraints: 39253
2439.20/2446.29 c #Conflicts: 939000 | #Constraints: 40253
2439.20/2446.29 c #Conflicts: 940000 | #Constraints: 41253
2439.20/2446.29 c #Conflicts: 941000 | #Constraints: 42253
2439.20/2446.29 c INPROCESSING
2439.20/2446.29 c GARBAGE COLLECT
2439.20/2446.29 c #Conflicts: 942000 | #Constraints: 24053
2439.20/2446.29 c #Conflicts: 943000 | #Constraints: 25053
2439.20/2446.29 c #Conflicts: 944000 | #Constraints: 26053
2439.20/2446.29 c #Conflicts: 945000 | #Constraints: 27053
2439.20/2446.29 c #Conflicts: 946000 | #Constraints: 28053
2439.20/2446.29 c #Conflicts: 947000 | #Constraints: 29053
2439.20/2446.29 c #Conflicts: 948000 | #Constraints: 30053
2439.20/2446.29 c #Conflicts: 949000 | #Constraints: 31053
2439.20/2446.29 c #Conflicts: 950000 | #Constraints: 32053
2439.20/2446.29 c #Conflicts: 951000 | #Constraints: 33053
2439.20/2446.29 c #Conflicts: 952000 | #Constraints: 34053
2439.20/2446.29 c #Conflicts: 953000 | #Constraints: 35053
2439.20/2446.29 c #Conflicts: 954000 | #Constraints: 36053
2439.20/2446.29 c #Conflicts: 955000 | #Constraints: 37053
2439.20/2446.29 c #Conflicts: 956000 | #Constraints: 38053
2439.20/2446.29 c #Conflicts: 957000 | #Constraints: 39053
2439.20/2446.29 c #Conflicts: 958000 | #Constraints: 40053
2439.20/2446.29 c #Conflicts: 959000 | #Constraints: 41053
2439.20/2446.29 c #Conflicts: 960000 | #Constraints: 42053
2439.20/2446.29 c #Conflicts: 961000 | #Constraints: 43053
2439.20/2446.29 c INPROCESSING
2439.20/2446.29 c GARBAGE COLLECT
2439.20/2446.29 c #Conflicts: 962000 | #Constraints: 24655
2439.20/2446.29 c #Conflicts: 963000 | #Constraints: 25655
2439.20/2446.29 c #Conflicts: 964000 | #Constraints: 26655
2439.20/2446.29 c #Conflicts: 965000 | #Constraints: 27655
2439.20/2446.29 c #Conflicts: 966000 | #Constraints: 28655
2439.20/2446.29 c #Conflicts: 967000 | #Constraints: 29655
2439.20/2446.29 c #Conflicts: 968000 | #Constraints: 30655
2630.06/2637.63 c #Conflicts: 969000 | #Constraints: 31655
2630.06/2637.63 c #Conflicts: 970000 | #Constraints: 32655
2630.06/2637.63 c #Conflicts: 971000 | #Constraints: 33655
2630.06/2637.63 c #Conflicts: 972000 | #Constraints: 34655
2630.06/2637.63 c #Conflicts: 973000 | #Constraints: 35655
2630.06/2637.63 c #Conflicts: 974000 | #Constraints: 36655
2630.06/2637.63 c #Conflicts: 975000 | #Constraints: 37655
2630.06/2637.63 c #Conflicts: 976000 | #Constraints: 38655
2630.06/2637.63 c #Conflicts: 977000 | #Constraints: 39655
2630.06/2637.63 c #Conflicts: 978000 | #Constraints: 40655
2630.06/2637.63 c #Conflicts: 979000 | #Constraints: 41655
2630.06/2637.63 c #Conflicts: 980000 | #Constraints: 42655
2630.06/2637.63 c #Conflicts: 981000 | #Constraints: 43655
2630.06/2637.63 c INPROCESSING
2630.06/2637.63 c GARBAGE COLLECT
2630.06/2637.63 c #Conflicts: 982000 | #Constraints: 25054
2630.06/2637.63 c #Conflicts: 983000 | #Constraints: 26054
2630.06/2637.63 c #Conflicts: 984000 | #Constraints: 27054
2630.06/2637.63 c #Conflicts: 985000 | #Constraints: 28054
2630.06/2637.63 c #Conflicts: 986000 | #Constraints: 29054
2630.06/2637.63 c #Conflicts: 987000 | #Constraints: 30054
2630.06/2637.63 c #Conflicts: 988000 | #Constraints: 31054
2630.06/2637.63 c #Conflicts: 989000 | #Constraints: 32054
2630.06/2637.63 c #Conflicts: 990000 | #Constraints: 33054
2630.06/2637.63 c #Conflicts: 991000 | #Constraints: 34054
2630.06/2637.63 c #Conflicts: 992000 | #Constraints: 35054
2630.06/2637.63 c #Conflicts: 993000 | #Constraints: 36054
2630.06/2637.63 c #Conflicts: 994000 | #Constraints: 37054
2630.06/2637.63 c #Conflicts: 995000 | #Constraints: 38054
2630.06/2637.63 c #Conflicts: 996000 | #Constraints: 39054
2630.06/2637.63 c #Conflicts: 997000 | #Constraints: 40054
2630.06/2637.63 c #Conflicts: 998000 | #Constraints: 41054
2630.06/2637.63 c #Conflicts: 999000 | #Constraints: 42054
2630.06/2637.63 c #Conflicts: 1000000 | #Constraints: 43054
2630.06/2637.63 c #Conflicts: 1001000 | #Constraints: 44054
2630.06/2637.63 c INPROCESSING
2630.06/2637.63 c GARBAGE COLLECT
2630.06/2637.63 c #Conflicts: 1002000 | #Constraints: 25254
2630.06/2637.63 c #Conflicts: 1003000 | #Constraints: 26254
2630.06/2637.63 c #Conflicts: 1004000 | #Constraints: 27254
2630.06/2637.63 c #Conflicts: 1005000 | #Constraints: 28254
2630.06/2637.63 c #Conflicts: 1006000 | #Constraints: 29254
2630.06/2637.63 c #Conflicts: 1007000 | #Constraints: 30254
2630.06/2637.63 c #Conflicts: 1008000 | #Constraints: 31254
2630.06/2637.63 c #Conflicts: 1009000 | #Constraints: 32254
2630.06/2637.63 c #Conflicts: 1010000 | #Constraints: 33254
2630.06/2637.63 c #Conflicts: 1011000 | #Constraints: 34254
2630.06/2637.63 c #Conflicts: 1012000 | #Constraints: 35254
2630.06/2637.63 c #Conflicts: 1013000 | #Constraints: 36254
2630.06/2637.63 c #Conflicts: 1014000 | #Constraints: 37254
2630.06/2637.63 c #Conflicts: 1015000 | #Constraints: 38254
2630.06/2637.63 c #Conflicts: 1016000 | #Constraints: 39254
2630.06/2637.63 c #Conflicts: 1017000 | #Constraints: 40254
2630.06/2637.63 c #Conflicts: 1018000 | #Constraints: 41254
2630.06/2637.63 c #Conflicts: 1019000 | #Constraints: 42254
2630.06/2637.63 c #Conflicts: 1020000 | #Constraints: 43254
2630.06/2637.63 c #Conflicts: 1021000 | #Constraints: 44254
2630.06/2637.63 c INPROCESSING
2630.06/2637.63 c GARBAGE COLLECT
2630.06/2637.63 c #Conflicts: 1022000 | #Constraints: 25254
2630.06/2637.63 c #Conflicts: 1023000 | #Constraints: 26254
2630.06/2637.63 c #Conflicts: 1024000 | #Constraints: 27254
2630.06/2637.63 c #Conflicts: 1025000 | #Constraints: 28254
2630.06/2637.63 c #Conflicts: 1026000 | #Constraints: 29254
2630.06/2637.63 c #Conflicts: 1027000 | #Constraints: 30254
2630.06/2637.63 c #Conflicts: 1028000 | #Constraints: 31254
2630.06/2637.63 c #Conflicts: 1029000 | #Constraints: 32254
2630.06/2637.63 c #Conflicts: 1030000 | #Constraints: 33254
2630.06/2637.63 c #Conflicts: 1031000 | #Constraints: 34254
2630.06/2637.63 c #Conflicts: 1032000 | #Constraints: 35254
2630.06/2637.63 c #Conflicts: 1033000 | #Constraints: 36254
2630.06/2637.63 c #Conflicts: 1034000 | #Constraints: 37254
2630.06/2637.63 c #Conflicts: 1035000 | #Constraints: 38254
2630.06/2637.63 c #Conflicts: 1036000 | #Constraints: 39254
2630.06/2637.63 c #Conflicts: 1037000 | #Constraints: 40254
2630.06/2637.63 c #Conflicts: 1038000 | #Constraints: 41254
2630.06/2637.63 c #Conflicts: 1039000 | #Constraints: 42254
2630.06/2637.63 c #Conflicts: 1040000 | #Constraints: 43254
2630.06/2637.63 c #Conflicts: 1041000 | #Constraints: 44254
2630.06/2637.63 c INPROCESSING
2630.06/2637.63 c GARBAGE COLLECT
2630.06/2637.63 c #Conflicts: 1042000 | #Constraints: 25054
2630.06/2637.63 c #Conflicts: 1043000 | #Constraints: 26054
2630.06/2637.63 c #Conflicts: 1044000 | #Constraints: 27054
2812.26/2820.30 c #Conflicts: 1045000 | #Constraints: 28054
2812.26/2820.30 c #Conflicts: 1046000 | #Constraints: 29054
2812.26/2820.30 c #Conflicts: 1047000 | #Constraints: 30054
2812.26/2820.30 c #Conflicts: 1048000 | #Constraints: 31054
2812.26/2820.30 c #Conflicts: 1049000 | #Constraints: 32054
2812.26/2820.30 c #Conflicts: 1050000 | #Constraints: 33054
2812.26/2820.30 c #Conflicts: 1051000 | #Constraints: 34054
2812.26/2820.30 c #Conflicts: 1052000 | #Constraints: 35054
2812.26/2820.30 c #Conflicts: 1053000 | #Constraints: 36054
2812.26/2820.30 c #Conflicts: 1054000 | #Constraints: 37054
2812.26/2820.30 c #Conflicts: 1055000 | #Constraints: 38054
2812.26/2820.30 c #Conflicts: 1056000 | #Constraints: 39054
2812.26/2820.30 c #Conflicts: 1057000 | #Constraints: 40054
2812.26/2820.30 c #Conflicts: 1058000 | #Constraints: 41054
2812.26/2820.30 c #Conflicts: 1059000 | #Constraints: 42054
2812.26/2820.30 c #Conflicts: 1060000 | #Constraints: 43054
2812.26/2820.30 c #Conflicts: 1061000 | #Constraints: 44054
2812.26/2820.30 c #Conflicts: 1062000 | #Constraints: 45054
2812.26/2820.30 c INPROCESSING
2812.26/2820.30 c GARBAGE COLLECT
2812.26/2820.30 c #Conflicts: 1063000 | #Constraints: 25653
2812.26/2820.30 c #Conflicts: 1064000 | #Constraints: 26653
2812.26/2820.30 c #Conflicts: 1065000 | #Constraints: 27653
2812.26/2820.30 c #Conflicts: 1066000 | #Constraints: 28653
2812.26/2820.30 c #Conflicts: 1067000 | #Constraints: 29653
2812.26/2820.30 c #Conflicts: 1068000 | #Constraints: 30653
2812.26/2820.30 c #Conflicts: 1069000 | #Constraints: 31653
2812.26/2820.30 c #Conflicts: 1070000 | #Constraints: 32653
2812.26/2820.30 c #Conflicts: 1071000 | #Constraints: 33653
2812.26/2820.30 c #Conflicts: 1072000 | #Constraints: 34653
2812.26/2820.30 c #Conflicts: 1073000 | #Constraints: 35653
2812.26/2820.30 c #Conflicts: 1074000 | #Constraints: 36653
2812.26/2820.30 c #Conflicts: 1075000 | #Constraints: 37653
2812.26/2820.30 c #Conflicts: 1076000 | #Constraints: 38653
2812.26/2820.30 c #Conflicts: 1077000 | #Constraints: 39653
2812.26/2820.30 c #Conflicts: 1078000 | #Constraints: 40653
2812.26/2820.30 c #Conflicts: 1079000 | #Constraints: 41653
2812.26/2820.30 c #Conflicts: 1080000 | #Constraints: 42653
2812.26/2820.30 c #Conflicts: 1081000 | #Constraints: 43653
2812.26/2820.30 c #Conflicts: 1082000 | #Constraints: 44653
2812.26/2820.30 c #Conflicts: 1083000 | #Constraints: 45653
2812.26/2820.30 c INPROCESSING
2812.26/2820.30 c GARBAGE COLLECT
2812.26/2820.30 c #Conflicts: 1084000 | #Constraints: 26054
2812.26/2820.30 c #Conflicts: 1085000 | #Constraints: 27054
2812.26/2820.30 c #Conflicts: 1086000 | #Constraints: 28054
2812.26/2820.30 c #Conflicts: 1087000 | #Constraints: 29054
2812.26/2820.30 c #Conflicts: 1088000 | #Constraints: 30054
2812.26/2820.30 c #Conflicts: 1089000 | #Constraints: 31054
2812.26/2820.30 c #Conflicts: 1090000 | #Constraints: 32054
2812.26/2820.30 c #Conflicts: 1091000 | #Constraints: 33054
2812.26/2820.30 c #Conflicts: 1092000 | #Constraints: 34054
2812.26/2820.30 c #Conflicts: 1093000 | #Constraints: 35054
2812.26/2820.30 c #Conflicts: 1094000 | #Constraints: 36054
2812.26/2820.30 c #Conflicts: 1095000 | #Constraints: 37054
2812.26/2820.30 c #Conflicts: 1096000 | #Constraints: 38054
2812.26/2820.30 c #Conflicts: 1097000 | #Constraints: 39054
2812.26/2820.30 c #Conflicts: 1098000 | #Constraints: 40054
2812.26/2820.30 c #Conflicts: 1099000 | #Constraints: 41054
2812.26/2820.30 c #Conflicts: 1100000 | #Constraints: 42054
2812.26/2820.30 c #Conflicts: 1101000 | #Constraints: 43054
2812.26/2820.30 c #Conflicts: 1102000 | #Constraints: 44054
2812.26/2820.30 c #Conflicts: 1103000 | #Constraints: 45054
2812.26/2820.30 c #Conflicts: 1104000 | #Constraints: 46054
2812.26/2820.30 c INPROCESSING
2812.26/2820.30 c GARBAGE COLLECT
2812.26/2820.30 c #Conflicts: 1105000 | #Constraints: 26255
2812.26/2820.30 c #Conflicts: 1106000 | #Constraints: 27255
2812.26/2820.30 c #Conflicts: 1107000 | #Constraints: 28255
2812.26/2820.30 c #Conflicts: 1108000 | #Constraints: 29255
2812.26/2820.30 c #Conflicts: 1109000 | #Constraints: 30255
2812.26/2820.30 c #Conflicts: 1110000 | #Constraints: 31255
2812.26/2820.30 c #Conflicts: 1111000 | #Constraints: 32255
2812.26/2820.30 c #Conflicts: 1112000 | #Constraints: 33255
2812.26/2820.30 c #Conflicts: 1113000 | #Constraints: 34255
2812.26/2820.30 c #Conflicts: 1114000 | #Constraints: 35255
2812.26/2820.30 c #Conflicts: 1115000 | #Constraints: 36255
2812.26/2820.30 c #Conflicts: 1116000 | #Constraints: 37255
2812.26/2820.30 c #Conflicts: 1117000 | #Constraints: 38255
2812.26/2820.30 c #Conflicts: 1118000 | #Constraints: 39255
2812.26/2820.30 c #Conflicts: 1119000 | #Constraints: 40255
2812.26/2820.30 c #Conflicts: 1120000 | #Constraints: 41255
2812.26/2820.30 c #Conflicts: 1121000 | #Constraints: 42255
3002.80/3011.30 c #Conflicts: 1122000 | #Constraints: 43255
3002.80/3011.30 c #Conflicts: 1123000 | #Constraints: 44255
3002.80/3011.30 c #Conflicts: 1124000 | #Constraints: 45255
3002.80/3011.30 c #Conflicts: 1125000 | #Constraints: 46255
3002.80/3011.30 c INPROCESSING
3002.80/3011.30 c GARBAGE COLLECT
3002.80/3011.30 c #Conflicts: 1126000 | #Constraints: 26252
3002.80/3011.30 c #Conflicts: 1127000 | #Constraints: 27252
3002.80/3011.30 c #Conflicts: 1128000 | #Constraints: 28252
3002.80/3011.30 c #Conflicts: 1129000 | #Constraints: 29252
3002.80/3011.30 c #Conflicts: 1130000 | #Constraints: 30252
3002.80/3011.30 c #Conflicts: 1131000 | #Constraints: 31252
3002.80/3011.30 c #Conflicts: 1132000 | #Constraints: 32252
3002.80/3011.30 c #Conflicts: 1133000 | #Constraints: 33252
3002.80/3011.30 c #Conflicts: 1134000 | #Constraints: 34252
3002.80/3011.30 c #Conflicts: 1135000 | #Constraints: 35252
3002.80/3011.30 c #Conflicts: 1136000 | #Constraints: 36252
3002.80/3011.30 c #Conflicts: 1137000 | #Constraints: 37252
3002.80/3011.30 c #Conflicts: 1138000 | #Constraints: 38252
3002.80/3011.30 c #Conflicts: 1139000 | #Constraints: 39252
3002.80/3011.30 c #Conflicts: 1140000 | #Constraints: 40252
3002.80/3011.30 c #Conflicts: 1141000 | #Constraints: 41252
3002.80/3011.30 c #Conflicts: 1142000 | #Constraints: 42252
3002.80/3011.30 c #Conflicts: 1143000 | #Constraints: 43252
3002.80/3011.30 c #Conflicts: 1144000 | #Constraints: 44252
3002.80/3011.30 c #Conflicts: 1145000 | #Constraints: 45252
3002.80/3011.30 c #Conflicts: 1146000 | #Constraints: 46252
3002.80/3011.30 c INPROCESSING
3002.80/3011.30 c GARBAGE COLLECT
3002.80/3011.30 c #Conflicts: 1147000 | #Constraints: 26051
3002.80/3011.30 c #Conflicts: 1148000 | #Constraints: 27051
3002.80/3011.30 c #Conflicts: 1149000 | #Constraints: 28051
3002.80/3011.30 c #Conflicts: 1150000 | #Constraints: 29051
3002.80/3011.30 c #Conflicts: 1151000 | #Constraints: 30051
3002.80/3011.30 c #Conflicts: 1152000 | #Constraints: 31051
3002.80/3011.30 c #Conflicts: 1153000 | #Constraints: 32051
3002.80/3011.30 c #Conflicts: 1154000 | #Constraints: 33051
3002.80/3011.30 c #Conflicts: 1155000 | #Constraints: 34051
3002.80/3011.30 c #Conflicts: 1156000 | #Constraints: 35051
3002.80/3011.30 c #Conflicts: 1157000 | #Constraints: 36051
3002.80/3011.30 c #Conflicts: 1158000 | #Constraints: 37051
3002.80/3011.30 c #Conflicts: 1159000 | #Constraints: 38051
3002.80/3011.30 c #Conflicts: 1160000 | #Constraints: 39051
3002.80/3011.30 c #Conflicts: 1161000 | #Constraints: 40051
3002.80/3011.30 c #Conflicts: 1162000 | #Constraints: 41051
3002.80/3011.30 c #Conflicts: 1163000 | #Constraints: 42051
3002.80/3011.30 c #Conflicts: 1164000 | #Constraints: 43051
3002.80/3011.30 c #Conflicts: 1165000 | #Constraints: 44051
3002.80/3011.30 c #Conflicts: 1166000 | #Constraints: 45051
3002.80/3011.30 c #Conflicts: 1167000 | #Constraints: 46051
3002.80/3011.30 c #Conflicts: 1168000 | #Constraints: 47051
3002.80/3011.30 c INPROCESSING
3002.80/3011.30 c GARBAGE COLLECT
3002.80/3011.30 c #Conflicts: 1169000 | #Constraints: 26649
3002.80/3011.30 c #Conflicts: 1170000 | #Constraints: 27649
3002.80/3011.30 c #Conflicts: 1171000 | #Constraints: 28649
3002.80/3011.30 c #Conflicts: 1172000 | #Constraints: 29649
3002.80/3011.30 c #Conflicts: 1173000 | #Constraints: 30649
3002.80/3011.30 c #Conflicts: 1174000 | #Constraints: 31649
3002.80/3011.30 c #Conflicts: 1175000 | #Constraints: 32649
3002.80/3011.30 c #Conflicts: 1176000 | #Constraints: 33649
3002.80/3011.30 c #Conflicts: 1177000 | #Constraints: 34649
3002.80/3011.30 c #Conflicts: 1178000 | #Constraints: 35649
3002.80/3011.30 c #Conflicts: 1179000 | #Constraints: 36649
3002.80/3011.30 c #Conflicts: 1180000 | #Constraints: 37649
3002.80/3011.30 c #Conflicts: 1181000 | #Constraints: 38649
3002.80/3011.30 c #Conflicts: 1182000 | #Constraints: 39649
3002.80/3011.30 c #Conflicts: 1183000 | #Constraints: 40649
3002.80/3011.30 c #Conflicts: 1184000 | #Constraints: 41649
3002.80/3011.30 c #Conflicts: 1185000 | #Constraints: 42649
3002.80/3011.30 c #Conflicts: 1186000 | #Constraints: 43649
3002.80/3011.30 c #Conflicts: 1187000 | #Constraints: 44649
3002.80/3011.30 c #Conflicts: 1188000 | #Constraints: 45649
3002.80/3011.30 c #Conflicts: 1189000 | #Constraints: 46649
3002.80/3011.30 c #Conflicts: 1190000 | #Constraints: 47649
3002.80/3011.30 c INPROCESSING
3002.80/3011.30 c GARBAGE COLLECT
3002.80/3011.30 c #Conflicts: 1191000 | #Constraints: 27051
3002.80/3011.30 c #Conflicts: 1192000 | #Constraints: 28051
3002.80/3011.30 c #Conflicts: 1193000 | #Constraints: 29051
3002.80/3011.30 c #Conflicts: 1194000 | #Constraints: 30051
3002.80/3011.30 c #Conflicts: 1195000 | #Constraints: 31051
3002.80/3011.30 c #Conflicts: 1196000 | #Constraints: 32051
3002.80/3011.30 c #Conflicts: 1197000 | #Constraints: 33051
3194.07/3203.24 c #Conflicts: 1198000 | #Constraints: 34051
3194.07/3203.24 c #Conflicts: 1199000 | #Constraints: 35051
3194.07/3203.24 c #Conflicts: 1200000 | #Constraints: 36051
3194.07/3203.24 c #Conflicts: 1201000 | #Constraints: 37051
3194.07/3203.24 c #Conflicts: 1202000 | #Constraints: 38051
3194.07/3203.24 c #Conflicts: 1203000 | #Constraints: 39051
3194.07/3203.24 c #Conflicts: 1204000 | #Constraints: 40051
3194.07/3203.24 c #Conflicts: 1205000 | #Constraints: 41051
3194.07/3203.24 c #Conflicts: 1206000 | #Constraints: 42051
3194.07/3203.24 c #Conflicts: 1207000 | #Constraints: 43051
3194.07/3203.24 c #Conflicts: 1208000 | #Constraints: 44051
3194.07/3203.24 c #Conflicts: 1209000 | #Constraints: 45051
3194.07/3203.24 c #Conflicts: 1210000 | #Constraints: 46051
3194.07/3203.24 c #Conflicts: 1211000 | #Constraints: 47051
3194.07/3203.24 c #Conflicts: 1212000 | #Constraints: 48051
3194.07/3203.24 c INPROCESSING
3194.07/3203.24 c GARBAGE COLLECT
3194.07/3203.24 c #Conflicts: 1213000 | #Constraints: 27253
3194.07/3203.24 c #Conflicts: 1214000 | #Constraints: 28253
3194.07/3203.24 c #Conflicts: 1215000 | #Constraints: 29253
3194.07/3203.24 c #Conflicts: 1216000 | #Constraints: 30253
3194.07/3203.24 c #Conflicts: 1217000 | #Constraints: 31253
3194.07/3203.24 c #Conflicts: 1218000 | #Constraints: 32253
3194.07/3203.24 c #Conflicts: 1219000 | #Constraints: 33253
3194.07/3203.24 c #Conflicts: 1220000 | #Constraints: 34253
3194.07/3203.24 c #Conflicts: 1221000 | #Constraints: 35253
3194.07/3203.24 c #Conflicts: 1222000 | #Constraints: 36253
3194.07/3203.24 c #Conflicts: 1223000 | #Constraints: 37253
3194.07/3203.24 c #Conflicts: 1224000 | #Constraints: 38253
3194.07/3203.24 c #Conflicts: 1225000 | #Constraints: 39253
3194.07/3203.24 c #Conflicts: 1226000 | #Constraints: 40253
3194.07/3203.24 c #Conflicts: 1227000 | #Constraints: 41253
3194.07/3203.24 c #Conflicts: 1228000 | #Constraints: 42253
3194.07/3203.24 c #Conflicts: 1229000 | #Constraints: 43253
3194.07/3203.24 c #Conflicts: 1230000 | #Constraints: 44253
3194.07/3203.24 c #Conflicts: 1231000 | #Constraints: 45253
3194.07/3203.24 c #Conflicts: 1232000 | #Constraints: 46253
3194.07/3203.24 c #Conflicts: 1233000 | #Constraints: 47253
3194.07/3203.24 c #Conflicts: 1234000 | #Constraints: 48253
3194.07/3203.24 c INPROCESSING
3194.07/3203.24 c GARBAGE COLLECT
3194.07/3203.24 c #Conflicts: 1235000 | #Constraints: 27255
3194.07/3203.24 c #Conflicts: 1236000 | #Constraints: 28255
3194.07/3203.24 c #Conflicts: 1237000 | #Constraints: 29255
3194.07/3203.24 c #Conflicts: 1238000 | #Constraints: 30255
3194.07/3203.24 c #Conflicts: 1239000 | #Constraints: 31255
3194.07/3203.24 c #Conflicts: 1240000 | #Constraints: 32255
3194.07/3203.24 c #Conflicts: 1241000 | #Constraints: 33255
3194.07/3203.24 c #Conflicts: 1242000 | #Constraints: 34255
3194.07/3203.24 c #Conflicts: 1243000 | #Constraints: 35255
3194.07/3203.24 c #Conflicts: 1244000 | #Constraints: 36255
3194.07/3203.24 c #Conflicts: 1245000 | #Constraints: 37255
3194.07/3203.24 c #Conflicts: 1246000 | #Constraints: 38255
3194.07/3203.24 c #Conflicts: 1247000 | #Constraints: 39255
3194.07/3203.24 c #Conflicts: 1248000 | #Constraints: 40255
3194.07/3203.24 c #Conflicts: 1249000 | #Constraints: 41255
3194.07/3203.24 c #Conflicts: 1250000 | #Constraints: 42255
3194.07/3203.24 c #Conflicts: 1251000 | #Constraints: 43255
3194.07/3203.24 c #Conflicts: 1252000 | #Constraints: 44255
3194.07/3203.24 c #Conflicts: 1253000 | #Constraints: 45255
3194.07/3203.24 c #Conflicts: 1254000 | #Constraints: 46255
3194.07/3203.24 c #Conflicts: 1255000 | #Constraints: 47255
3194.07/3203.24 c #Conflicts: 1256000 | #Constraints: 48255
3194.07/3203.24 c INPROCESSING
3194.07/3203.24 c GARBAGE COLLECT
3194.07/3203.24 c #Conflicts: 1257000 | #Constraints: 27050
3194.07/3203.24 c #Conflicts: 1258000 | #Constraints: 28050
3194.07/3203.24 c #Conflicts: 1259000 | #Constraints: 29050
3194.07/3203.24 c #Conflicts: 1260000 | #Constraints: 30050
3194.07/3203.24 c #Conflicts: 1261000 | #Constraints: 31050
3194.07/3203.24 c #Conflicts: 1262000 | #Constraints: 32050
3194.07/3203.24 c #Conflicts: 1263000 | #Constraints: 33050
3194.07/3203.24 c #Conflicts: 1264000 | #Constraints: 34050
3194.07/3203.24 c #Conflicts: 1265000 | #Constraints: 35050
3194.07/3203.24 c #Conflicts: 1266000 | #Constraints: 36050
3194.07/3203.24 c #Conflicts: 1267000 | #Constraints: 37050
3194.07/3203.24 c #Conflicts: 1268000 | #Constraints: 38050
3194.07/3203.24 c #Conflicts: 1269000 | #Constraints: 39050
3194.07/3203.24 c #Conflicts: 1270000 | #Constraints: 40050
3194.07/3203.24 c #Conflicts: 1271000 | #Constraints: 41050
3194.07/3203.24 c #Conflicts: 1272000 | #Constraints: 42050
3194.07/3203.24 c #Conflicts: 1273000 | #Constraints: 43050
3194.07/3203.24 c #Conflicts: 1274000 | #Constraints: 44050
3386.50/3396.14 c #Conflicts: 1275000 | #Constraints: 45050
3386.50/3396.14 c #Conflicts: 1276000 | #Constraints: 46050
3386.50/3396.14 c #Conflicts: 1277000 | #Constraints: 47050
3386.50/3396.14 c #Conflicts: 1278000 | #Constraints: 48050
3386.50/3396.14 c #Conflicts: 1279000 | #Constraints: 49050
3386.50/3396.14 c INPROCESSING
3386.50/3396.14 c GARBAGE COLLECT
3386.50/3396.14 c #Conflicts: 1280000 | #Constraints: 27653
3386.50/3396.14 c #Conflicts: 1281000 | #Constraints: 28653
3386.50/3396.14 c #Conflicts: 1282000 | #Constraints: 29653
3386.50/3396.14 c #Conflicts: 1283000 | #Constraints: 30653
3386.50/3396.14 c #Conflicts: 1284000 | #Constraints: 31653
3386.50/3396.14 c #Conflicts: 1285000 | #Constraints: 32653
3386.50/3396.14 c #Conflicts: 1286000 | #Constraints: 33653
3386.50/3396.14 c #Conflicts: 1287000 | #Constraints: 34653
3386.50/3396.14 c #Conflicts: 1288000 | #Constraints: 35653
3386.50/3396.14 c #Conflicts: 1289000 | #Constraints: 36653
3386.50/3396.14 c #Conflicts: 1290000 | #Constraints: 37653
3386.50/3396.14 c #Conflicts: 1291000 | #Constraints: 38653
3386.50/3396.14 c #Conflicts: 1292000 | #Constraints: 39653
3386.50/3396.14 c #Conflicts: 1293000 | #Constraints: 40653
3386.50/3396.14 c #Conflicts: 1294000 | #Constraints: 41653
3386.50/3396.14 c #Conflicts: 1295000 | #Constraints: 42653
3386.50/3396.14 c #Conflicts: 1296000 | #Constraints: 43653
3386.50/3396.14 c #Conflicts: 1297000 | #Constraints: 44653
3386.50/3396.14 c #Conflicts: 1298000 | #Constraints: 45653
3386.50/3396.14 c #Conflicts: 1299000 | #Constraints: 46653
3386.50/3396.14 c #Conflicts: 1300000 | #Constraints: 47653
3386.50/3396.14 c #Conflicts: 1301000 | #Constraints: 48653
3386.50/3396.14 c #Conflicts: 1302000 | #Constraints: 49653
3386.50/3396.14 c INPROCESSING
3386.50/3396.14 c GARBAGE COLLECT
3386.50/3396.14 c #Conflicts: 1303000 | #Constraints: 28053
3386.50/3396.14 c #Conflicts: 1304000 | #Constraints: 29053
3386.50/3396.14 c #Conflicts: 1305000 | #Constraints: 30053
3386.50/3396.14 c #Conflicts: 1306000 | #Constraints: 31053
3386.50/3396.14 c #Conflicts: 1307000 | #Constraints: 32053
3386.50/3396.14 c #Conflicts: 1308000 | #Constraints: 33053
3386.50/3396.14 c #Conflicts: 1309000 | #Constraints: 34053
3386.50/3396.14 c #Conflicts: 1310000 | #Constraints: 35053
3386.50/3396.14 c #Conflicts: 1311000 | #Constraints: 36053
3386.50/3396.14 c #Conflicts: 1312000 | #Constraints: 37053
3386.50/3396.14 c #Conflicts: 1313000 | #Constraints: 38053
3386.50/3396.14 c #Conflicts: 1314000 | #Constraints: 39053
3386.50/3396.14 c #Conflicts: 1315000 | #Constraints: 40053
3386.50/3396.14 c #Conflicts: 1316000 | #Constraints: 41053
3386.50/3396.14 c #Conflicts: 1317000 | #Constraints: 42053
3386.50/3396.14 c #Conflicts: 1318000 | #Constraints: 43053
3386.50/3396.14 c #Conflicts: 1319000 | #Constraints: 44053
3386.50/3396.14 c #Conflicts: 1320000 | #Constraints: 45053
3386.50/3396.14 c #Conflicts: 1321000 | #Constraints: 46053
3386.50/3396.14 c #Conflicts: 1322000 | #Constraints: 47053
3386.50/3396.14 c #Conflicts: 1323000 | #Constraints: 48053
3386.50/3396.14 c #Conflicts: 1324000 | #Constraints: 49053
3386.50/3396.14 c #Conflicts: 1325000 | #Constraints: 50053
3386.50/3396.14 c INPROCESSING
3386.50/3396.14 c GARBAGE COLLECT
3386.50/3396.14 c #Conflicts: 1326000 | #Constraints: 28254
3386.50/3396.14 c #Conflicts: 1327000 | #Constraints: 29254
3386.50/3396.14 c #Conflicts: 1328000 | #Constraints: 30254
3386.50/3396.14 c #Conflicts: 1329000 | #Constraints: 31254
3386.50/3396.14 c #Conflicts: 1330000 | #Constraints: 32254
3386.50/3396.14 c #Conflicts: 1331000 | #Constraints: 33254
3386.50/3396.14 c #Conflicts: 1332000 | #Constraints: 34254
3386.50/3396.14 c #Conflicts: 1333000 | #Constraints: 35254
3386.50/3396.14 c #Conflicts: 1334000 | #Constraints: 36254
3386.50/3396.14 c #Conflicts: 1335000 | #Constraints: 37254
3386.50/3396.14 c #Conflicts: 1336000 | #Constraints: 38254
3386.50/3396.14 c #Conflicts: 1337000 | #Constraints: 39254
3386.50/3396.14 c #Conflicts: 1338000 | #Constraints: 40254
3386.50/3396.14 c #Conflicts: 1339000 | #Constraints: 41254
3386.50/3396.14 c #Conflicts: 1340000 | #Constraints: 42254
3386.50/3396.14 c #Conflicts: 1341000 | #Constraints: 43254
3386.50/3396.14 c #Conflicts: 1342000 | #Constraints: 44254
3386.50/3396.14 c #Conflicts: 1343000 | #Constraints: 45254
3386.50/3396.14 c #Conflicts: 1344000 | #Constraints: 46254
3386.50/3396.14 c #Conflicts: 1345000 | #Constraints: 47254
3386.50/3396.14 c #Conflicts: 1346000 | #Constraints: 48254
3386.50/3396.14 c #Conflicts: 1347000 | #Constraints: 49254
3386.50/3396.14 c #Conflicts: 1348000 | #Constraints: 50254
3386.50/3396.14 c INPROCESSING
3386.50/3396.14 c GARBAGE COLLECT
3386.50/3396.14 c #Conflicts: 1349000 | #Constraints: 28255
3386.50/3396.14 c #Conflicts: 1350000 | #Constraints: 29255
3578.71/3588.82 c #Conflicts: 1351000 | #Constraints: 30255
3578.71/3588.82 c #Conflicts: 1352000 | #Constraints: 31255
3578.71/3588.82 c #Conflicts: 1353000 | #Constraints: 32255
3578.71/3588.82 c #Conflicts: 1354000 | #Constraints: 33255
3578.71/3588.82 c #Conflicts: 1355000 | #Constraints: 34255
3578.71/3588.82 c #Conflicts: 1356000 | #Constraints: 35255
3578.71/3588.82 c #Conflicts: 1357000 | #Constraints: 36255
3578.71/3588.82 c #Conflicts: 1358000 | #Constraints: 37255
3578.71/3588.82 c #Conflicts: 1359000 | #Constraints: 38255
3578.71/3588.82 c #Conflicts: 1360000 | #Constraints: 39255
3578.71/3588.82 c #Conflicts: 1361000 | #Constraints: 40255
3578.71/3588.82 c #Conflicts: 1362000 | #Constraints: 41255
3578.71/3588.82 c #Conflicts: 1363000 | #Constraints: 42255
3578.71/3588.82 c #Conflicts: 1364000 | #Constraints: 43255
3578.71/3588.82 c #Conflicts: 1365000 | #Constraints: 44255
3578.71/3588.82 c #Conflicts: 1366000 | #Constraints: 45255
3578.71/3588.82 c #Conflicts: 1367000 | #Constraints: 46255
3578.71/3588.82 c #Conflicts: 1368000 | #Constraints: 47255
3578.71/3588.82 c #Conflicts: 1369000 | #Constraints: 48255
3578.71/3588.82 c #Conflicts: 1370000 | #Constraints: 49255
3578.71/3588.82 c #Conflicts: 1371000 | #Constraints: 50255
3578.71/3588.82 c INPROCESSING
3578.71/3588.82 c GARBAGE COLLECT
3578.71/3588.82 c #Conflicts: 1372000 | #Constraints: 28056
3578.71/3588.82 c #Conflicts: 1373000 | #Constraints: 29056
3578.71/3588.82 c #Conflicts: 1374000 | #Constraints: 30056
3578.71/3588.82 c #Conflicts: 1375000 | #Constraints: 31056
3578.71/3588.82 c #Conflicts: 1376000 | #Constraints: 32056
3578.71/3588.82 c #Conflicts: 1377000 | #Constraints: 33056
3578.71/3588.82 c #Conflicts: 1378000 | #Constraints: 34056
3578.71/3588.82 c #Conflicts: 1379000 | #Constraints: 35056
3578.71/3588.82 c #Conflicts: 1380000 | #Constraints: 36056
3578.71/3588.82 c #Conflicts: 1381000 | #Constraints: 37056
3578.71/3588.82 c #Conflicts: 1382000 | #Constraints: 38056
3578.71/3588.82 c #Conflicts: 1383000 | #Constraints: 39056
3578.71/3588.82 c #Conflicts: 1384000 | #Constraints: 40056
3578.71/3588.82 c #Conflicts: 1385000 | #Constraints: 41056
3578.71/3588.82 c #Conflicts: 1386000 | #Constraints: 42056
3578.71/3588.82 c #Conflicts: 1387000 | #Constraints: 43056
3578.71/3588.82 c #Conflicts: 1388000 | #Constraints: 44056
3578.71/3588.82 c #Conflicts: 1389000 | #Constraints: 45056
3578.71/3588.82 c #Conflicts: 1390000 | #Constraints: 46056
3578.71/3588.82 c #Conflicts: 1391000 | #Constraints: 47056
3578.71/3588.82 c #Conflicts: 1392000 | #Constraints: 48056
3578.71/3588.82 c #Conflicts: 1393000 | #Constraints: 49056
3578.71/3588.82 c #Conflicts: 1394000 | #Constraints: 50056
3578.71/3588.82 c #Conflicts: 1395000 | #Constraints: 51056
3578.71/3588.82 c INPROCESSING
3578.71/3588.82 c GARBAGE COLLECT
3578.71/3588.82 c #Conflicts: 1396000 | #Constraints: 28656
3578.71/3588.82 c #Conflicts: 1397000 | #Constraints: 29656
3578.71/3588.82 c #Conflicts: 1398000 | #Constraints: 30656
3578.71/3588.82 c #Conflicts: 1399000 | #Constraints: 31656
3578.71/3588.82 c #Conflicts: 1400000 | #Constraints: 32656
3578.71/3588.82 c #Conflicts: 1401000 | #Constraints: 33656
3578.71/3588.82 c #Conflicts: 1402000 | #Constraints: 34656
3578.71/3588.82 c #Conflicts: 1403000 | #Constraints: 35656
3578.71/3588.82 c #Conflicts: 1404000 | #Constraints: 36656
3578.71/3588.82 c #Conflicts: 1405000 | #Constraints: 37656
3578.71/3588.82 c #Conflicts: 1406000 | #Constraints: 38656
3578.71/3588.82 c #Conflicts: 1407000 | #Constraints: 39656
3578.71/3588.82 c #Conflicts: 1408000 | #Constraints: 40656
3578.71/3588.82 c #Conflicts: 1409000 | #Constraints: 41656
3578.71/3588.82 c #Conflicts: 1410000 | #Constraints: 42656
3578.71/3588.82 c #Conflicts: 1411000 | #Constraints: 43656
3578.71/3588.82 c #Conflicts: 1412000 | #Constraints: 44656
3578.71/3588.82 c #Conflicts: 1413000 | #Constraints: 45656
3578.71/3588.82 c #Conflicts: 1414000 | #Constraints: 46656
3578.71/3588.82 c #Conflicts: 1415000 | #Constraints: 47656
3578.71/3588.82 c #Conflicts: 1416000 | #Constraints: 48656
3578.71/3588.82 c #Conflicts: 1417000 | #Constraints: 49656
3578.71/3588.82 c #Conflicts: 1418000 | #Constraints: 50656
3578.71/3588.82 c #Conflicts: 1419000 | #Constraints: 51656
3578.71/3588.82 c INPROCESSING
3578.71/3588.82 c GARBAGE COLLECT
3578.71/3588.82 c #Conflicts: 1420000 | #Constraints: 29053
3578.71/3588.82 c #Conflicts: 1421000 | #Constraints: 30053
3578.71/3588.82 c #Conflicts: 1422000 | #Constraints: 31053
3578.71/3588.82 c #Conflicts: 1423000 | #Constraints: 32053
3578.71/3588.82 c #Conflicts: 1424000 | #Constraints: 33053
3578.71/3588.82 c #Conflicts: 1425000 | #Constraints: 34053
3578.71/3588.82 c #Conflicts: 1426000 | #Constraints: 35053
3578.71/3588.82 c #Conflicts: 1427000 | #Constraints: 36053
3600.00/3610.20 c #Conflicts: 1428000 | #Constraints: 37053
3600.00/3610.20 c #Conflicts: 1429000 | #Constraints: 38053
3600.00/3610.20 c #Conflicts: 1430000 | #Constraints: 39053
3600.00/3610.20 c #Conflicts: 1431000 | #Constraints: 40053
3600.00/3610.20 c #Conflicts: 1432000 | #Constraints: 41053
3600.00/3610.20 c #Conflicts: 1433000 | #Constraints: 42053
3600.00/3610.20 c #Conflicts: 1434000 | #Constraints: 43053
3600.00/3610.20 c #Conflicts: 1435000 | #Constraints: 44053
3600.00/3610.20 c cpu time 3585.95 s
3600.00/3610.20 c deterministic time 826 8.26e+02
3600.00/3610.20 c optimization time 3585.9 s
3600.00/3610.20 c total solve time 0 s
3600.00/3610.20 c core-guided solve time 0 s
3600.00/3610.20 c propagation time 0.005221 s
3600.00/3610.20 c conflict analysis time 0 s
3600.00/3610.20 c propagations 264
3600.00/3610.20 c resolve steps 0
3600.00/3610.20 c decisions 0
3600.00/3610.20 c conflicts 0
3600.00/3610.20 c restarts 0
3600.00/3610.20 c inprocessing phases 0
3600.00/3610.20 c garbage collections 0 ,( -nan )
3600.00/3610.20 c input clauses 4391 ,( 100.00 )
3600.00/3610.20 c input cardinalities 0 ,( 0.00 )
3600.00/3610.20 c input general constraints 0 ,( 0.00 )
3600.00/3610.20 c input average constraint length 2.16
3600.00/3610.20 c input average constraint degree 1.00
3600.00/3610.20 c learned clauses 0 ,( 0.00 )
3600.00/3610.20 c learned cardinalities 0 ,( 0.00 )
3600.00/3610.20 c learned general constraints 0 ,( 0.00 )
3600.00/3610.20 c learned average constraint length 0.00
3600.00/3610.20 c learned average constraint degree 0.00
3600.00/3610.20 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.00/3610.20 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.00/3610.20 c watched constraints 0 ,( -nan )
3600.00/3610.20 c counting constraints 0 ,( -nan )
3600.00/3610.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 267 , 0 , 0 ,( 0 , 0 )
3600.00/3610.20 c gcd simplifications 0
3600.00/3610.20 c detected cardinalities 0
3600.00/3610.20 c weakened non-implied lits 0
3600.00/3610.20 c weakened non-implying lits 0
3600.00/3610.20 c original variables 2726
3600.00/3610.20 c clausal propagations 196
3600.00/3610.20 c cardinality propagations 0
3600.00/3610.20 c watched propagations 0
3600.00/3610.20 c counting propagations 0
3600.00/3610.20 c watch lookups 267
3600.00/3610.20 c watch backjump lookups 0
3600.00/3610.20 c watch checks 98
3600.00/3610.20 c propagation checks 196
3600.00/3610.20 c constraint additions 0
3600.00/3610.20 c trail pops 0
3600.00/3610.20 c formula constraints 4391
3600.00/3610.20 c learned constraints 0
3600.00/3610.20 c bound constraints 0
3600.00/3610.20 c core-guided constraints 0
3600.00/3610.20 c encountered formula constraints 0
3600.00/3610.20 c encountered learned constraints 0
3600.00/3610.20 c encountered bound constraints 0
3600.00/3610.20 c encountered core-guided constraints 0
3600.00/3610.20 c LP total time 0 s
3600.00/3610.20 c LP solve time 0 s
3600.00/3610.20 c LP constraints added 0
3600.00/3610.20 c LP constraints removed 0
3600.00/3610.20 c LP pivots internal 0
3600.00/3610.20 c LP pivots root 0
3600.00/3610.20 c LP calls 0
3600.00/3610.20 c LP optimalities 0
3600.00/3610.20 c LP no pivot count 0
3600.00/3610.20 c LP infeasibilities 0
3600.00/3610.20 c LP valid Farkas constraints 0
3600.00/3610.20 c LP learned Farkas constraints 0
3600.00/3610.20 c LP basis resets 0
3600.00/3610.20 c LP cycling count 0
3600.00/3610.20 c LP singular count 0
3600.00/3610.20 c LP no primal count 0
3600.00/3610.20 c LP no farkas count 0
3600.00/3610.20 c LP other issue count 0
3600.00/3610.20 c LP Gomory cuts 0
3600.00/3610.20 c LP learned cuts 0
3600.00/3610.20 c LP deleted cuts 0
3600.00/3610.20 c LP encountered Gomory constraints 0
3600.00/3610.20 c LP encountered Farkas constraints 0
3600.00/3610.20 c LP encountered learned Farkas constraints 0
3600.00/3610.20 c CG auxiliary variables introduced 0
3600.00/3610.20 c CG solutions found 0
3600.00/3610.20 c CG cores constructed 0
3600.00/3610.20 c CG core cardinality constraints returned 0
3600.00/3610.20 c CG unit cores 0
3600.00/3610.20 c CG single cores 0
3600.00/3610.20 c CG blocks removed during cardinality reduction 0
3600.00/3610.20 c CG first core best 0
3600.00/3610.20 c CG decision core best 0
3600.00/3610.20 c CG core reduction tie 0
3600.00/3610.20 c CG core degree average 0.00
3600.00/3610.20 c CG core slack average 0.00
3600.00/3610.20 c CG core upper bound improvements 0
3600.00/3610.20 c STR number of successful calls 0
3600.00/3610.20 c STR number of unsuccessful calls 0
3600.00/3610.20 c STR number of inconclusive calls 0
3600.00/3610.20 c STR number of successful attempts 0
3600.00/3610.20 c STR number of unsuccessful attempts 0
3600.00/3610.20 c STR number of inconclusive attempts 0
3600.00/3610.20 c STR average degree increase per successful call inf
3600.00/3610.20 c STR average degree increase per successful attempt inf
3600.00/3610.20 c STR total number of conflicts for successful attempts 0
3600.00/3610.20 c STR total number of conflicts for unsuccessful attempts 0
3600.00/3610.20 c STR total number of conflicts for inconclusive attempts 0
3600.00/3610.20 c STR average number of conflicts per successful attempt inf
3600.00/3610.20 c STR average number of conflicts per unsuccessful attempt inf
3600.00/3610.20 c STR average number of conflicts per inconclusive attempt inf
3600.00/3610.20 c AVG.sumWPerc -nan
3600.00/3610.20 c bigint constraints 0
3600.00/3610.20 s UNKNOWN
3600.00/3610.20 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: 63837 MiB (62550 MiB free)
memory of node 1: 64465 MiB (63585 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4487023-1751329204/watcher-4487023-1751329204 -o /tmp/evaluation-result-4487023-1751329204/solver-4487023-1751329204 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751329194-41422 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4487023-1751329204.opb PROOFDIR/proof-4487023-1751329204
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=41763, runsolver pid=41760
Current StackSize limit: 8192 KiB
[startup+0.100067 s]*
/proc/loadavg: 1.10 1.49 2.24 5/254 41765
/proc/meminfo: memFree=129159876/131382120 swapFree=33010684/33010684
[pid=41763] ppid=41760 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41763/stat : 41763 (run-opt-log.sh) S 41760 41763 41409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48599047 4292608 736 18446744073709551615 94873628151808 94873629046341 140721258335152 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94873629285392 94873629333136 94873645015040 140721258342689 140721258342884 140721258342884 140721258348486 0
/proc/41763/statm: 1048 736 672 219 0 110 0
[pid=41765] ppid=41763 vsize=67028 memory=16868 CPUtime=0.07 cores=5,7
/proc/41765/stat : 41765 (roundingsat) R 41763 41763 41409 0 -1 4194304 2655 0 0 0 5 2 0 0 20 0 1 0 48599048 68636672 4217 18446744073709551615 4227072 8923433 140721091525664 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 33579008 140721091533138 140721091533352 140721091533352 140721091538922 0
/proc/41765/statm: 16757 4217 2368 1147 0 4184 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 71220 KiB
Current children cumulated memory: 19812 KiB
[startup+0.214491 s]*
/proc/loadavg: 1.10 1.49 2.24 5/254 41765
/proc/meminfo: memFree=129159876/131382120 swapFree=33010684/33010684
[pid=41763] ppid=41760 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41763/stat : 41763 (run-opt-log.sh) S 41760 41763 41409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48599047 4292608 736 18446744073709551615 94873628151808 94873629046341 140721258335152 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94873629285392 94873629333136 94873645015040 140721258342689 140721258342884 140721258342884 140721258348486 0
/proc/41763/statm: 1048 736 672 219 0 110 0
[pid=41765] ppid=41763 vsize=69052 memory=19300 CPUtime=0.18 cores=5,7
/proc/41765/stat : 41765 (roundingsat) R 41763 41763 41409 0 -1 4194304 3259 0 0 0 15 3 0 0 20 0 1 0 48599048 70709248 4825 18446744073709551615 4227072 8923433 140721091525664 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33579008 140721091533138 140721091533352 140721091533352 140721091538922 0
/proc/41765/statm: 17263 4825 2400 1147 0 4690 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 73244 KiB
Current children cumulated memory: 22244 KiB
[startup+0.313068 s]*
/proc/loadavg: 1.10 1.49 2.24 5/254 41765
/proc/meminfo: memFree=129159876/131382120 swapFree=33010684/33010684
[pid=41763] ppid=41760 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41763/stat : 41763 (run-opt-log.sh) S 41760 41763 41409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48599047 4292608 736 18446744073709551615 94873628151808 94873629046341 140721258335152 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94873629285392 94873629333136 94873645015040 140721258342689 140721258342884 140721258342884 140721258348486 0
/proc/41763/statm: 1048 736 672 219 0 110 0
[pid=41765] ppid=41763 vsize=69052 memory=19300 CPUtime=0.28 cores=5,7
/proc/41765/stat : 41765 (roundingsat) R 41763 41763 41409 0 -1 4194304 3274 0 0 0 25 3 0 0 20 0 1 0 48599048 70709248 4825 18446744073709551615 4227072 8923433 140721091525664 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33579008 140721091533138 140721091533352 140721091533352 140721091538922 0
/proc/41765/statm: 17263 4825 2400 1147 0 4690 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 73244 KiB
Current children cumulated memory: 22244 KiB
[startup+0.700321 s]
/proc/loadavg: 1.10 1.49 2.24 5/254 41765
/proc/meminfo: memFree=129159380/131382120 swapFree=33010684/33010684
[pid=41763] ppid=41760 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41763/stat : 41763 (run-opt-log.sh) S 41760 41763 41409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48599047 4292608 736 18446744073709551615 94873628151808 94873629046341 140721258335152 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94873629285392 94873629333136 94873645015040 140721258342689 140721258342884 140721258342884 140721258348486 0
/proc/41763/statm: 1048 736 672 219 0 110 0
[pid=41765] ppid=41763 vsize=69052 memory=19556 CPUtime=0.65 cores=5,7
/proc/41765/stat : 41765 (roundingsat) R 41763 41763 41409 0 -1 4194304 3338 0 0 0 62 3 0 0 20 0 1 0 48599048 70709248 4889 18446744073709551615 4227072 8923433 140721091525664 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33579008 140721091533138 140721091533352 140721091533352 140721091538922 0
/proc/41765/statm: 17263 4889 2400 1147 0 4690 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 73244 KiB
Current children cumulated memory: 22500 KiB
[startup+1.5004 s]
/proc/loadavg: 1.10 1.49 2.24 5/254 41765
/proc/meminfo: memFree=129159380/131382120 swapFree=33010684/33010684
[pid=41763] ppid=41760 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41763/stat : 41763 (run-opt-log.sh) S 41760 41763 41409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48599047 4292608 736 18446744073709551615 94873628151808 94873629046341 140721258335152 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94873629285392 94873629333136 94873645015040 140721258342689 140721258342884 140721258342884 140721258348486 0
/proc/41763/statm: 1048 736 672 219 0 110 0
[pid=41765] ppid=41763 vsize=70244 memory=23776 CPUtime=1.45 cores=5,7
/proc/41765/stat : 41765 (roundingsat) R 41763 41763 41409 0 -1 4194304 3881 0 0 0 141 4 0 0 20 0 1 0 48599048 71929856 5944 18446744073709551615 4227072 8923433 140721091525664 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33579008 140721091533138 140721091533352 140721091533352 140721091538922 0
/proc/41765/statm: 17561 5944 2400 1147 0 4988 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 74436 KiB
Current children cumulated memory: 26720 KiB
[startup+3.11306 s]
/proc/loadavg: 1.34 1.53 2.25 5/254 41765
/proc/meminfo: memFree=129126620/131382120 swapFree=33010684/33010684
[pid=41763] ppid=41760 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41763/stat : 41763 (run-opt-log.sh) S 41760 41763 41409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48599047 4292608 736 18446744073709551615 94873628151808 94873629046341 140721258335152 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94873629285392 94873629333136 94873645015040 140721258342689 140721258342884 140721258342884 140721258348486 0
/proc/41763/statm: 1048 736 672 219 0 110 0
[pid=41765] ppid=41763 vsize=73096 memory=26940 CPUtime=3.06 cores=5,7
/proc/41765/stat : 41765 (roundingsat) R 41763 41763 41409 0 -1 4194304 4164 0 0 0 301 5 0 0 20 0 1 0 48599048 74850304 6735 18446744073709551615 4227072 8923433 140721091525664 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33579008 140721091533138 140721091533352 140721091533352 140721091538922 0
/proc/41765/statm: 18274 6735 2400 1147 0 5701 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 77288 KiB
Current children cumulated memory: 29884 KiB
[startup+6.30036 s]
/proc/loadavg: 1.34 1.53 2.25 5/254 41765
/proc/meminfo: memFree=129087292/131382120 swapFree=33010684/33010684
[pid=41763] ppid=41760 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41763/stat : 41763 (run-opt-log.sh) S 41760 41763 41409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48599047 4292608 736 18446744073709551615 94873628151808 94873629046341 140721258335152 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94873629285392 94873629333136 94873645015040 140721258342689 140721258342884 140721258342884 140721258348486 0
/proc/41763/statm: 1048 736 672 219 0 110 0
[pid=41765] ppid=41763 vsize=78708 memory=31480 CPUtime=6.23 cores=5,7
/proc/41765/stat : 41765 (roundingsat) R 41763 41763 41409 0 -1 4194304 4786 0 0 0 617 6 0 0 20 0 1 0 48599048 80596992 7870 18446744073709551615 4227072 8923433 140721091525664 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33579008 140721091533138 140721091533352 140721091533352 140721091538922 0
/proc/41765/statm: 19677 7870 2400 1147 0 7104 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 82900 KiB
Current children cumulated memory: 34424 KiB
[startup+12.7004 s]
/proc/loadavg: 1.75 1.61 2.27 5/254 41765
/proc/meminfo: memFree=129013780/131382120 swapFree=33010684/33010684
[pid=41763] ppid=41760 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41763/stat : 41763 (run-opt-log.sh) S 41760 41763 41409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48599047 4292608 736 18446744073709551615 94873628151808 94873629046341 140721258335152 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94873629285392 94873629333136 94873645015040 140721258342689 140721258342884 140721258342884 140721258348486 0
/proc/41763/statm: 1048 736 672 219 0 110 0
[pid=41765] ppid=41763 vsize=86024 memory=35760 CPUtime=12.62 cores=5,7
/proc/41765/stat : 41765 (roundingsat) R 41763 41763 41409 0 -1 4194304 5346 0 0 0 1254 8 0 0 20 0 1 0 48599048 88088576 8940 18446744073709551615 4227072 8923433 140721091525664 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33579008 140721091533138 140721091533352 140721091533352 140721091538922 0
/proc/41765/statm: 21506 8940 2400 1147 0 8933 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 90216 KiB
Current children cumulated memory: 38704 KiB
[startup+25.5004 s]
/proc/loadavg: 2.09 1.69 2.29 5/257 41769
/proc/meminfo: memFree=128925400/131382120 swapFree=33010684/33010684
[pid=41763] ppid=41760 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41763/stat : 41763 (run-opt-log.sh) S 41760 41763 41409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48599047 4292608 736 18446744073709551615 94873628151808 94873629046341 140721258335152 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94873629285392 94873629333136 94873645015040 140721258342689 140721258342884 140721258342884 140721258348486 0
/proc/41763/statm: 1048 736 672 219 0 110 0
[pid=41765] ppid=41763 vsize=98024 memory=41828 CPUtime=25.38 cores=5,7
/proc/41765/stat : 41765 (roundingsat) R 41763 41763 41409 0 -1 4194304 5836 0 0 0 2523 15 0 0 20 0 1 0 48599048 100376576 10457 18446744073709551615 4227072 8923433 140721091525664 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33579008 140721091533138 140721091533352 140721091533352 140721091538922 0
/proc/41765/statm: 24506 10457 2400 1147 0 11933 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 102216 KiB
Current children cumulated memory: 44772 KiB
[startup+51.1136 s]
/proc/loadavg: 2.87 1.91 2.35 5/259 41771
/proc/meminfo: memFree=128631792/131382120 swapFree=33010684/33010684
[pid=41763] ppid=41760 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41763/stat : 41763 (run-opt-log.sh) S 41760 41763 41409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48599047 4292608 736 18446744073709551615 94873628151808 94873629046341 140721258335152 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94873629285392 94873629333136 94873645015040 140721258342689 140721258342884 140721258342884 140721258348486 0
/proc/41763/statm: 1048 736 672 219 0 110 0
[pid=41765] ppid=41763 vsize=98376 memory=48208 CPUtime=50.92 cores=5,7
/proc/41765/stat : 41765 (roundingsat) R 41763 41763 41409 0 -1 4194304 5903 0 0 0 5067 25 0 0 20 0 1 0 48599048 100737024 12052 18446744073709551615 4227072 8923433 140721091525664 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33579008 140721091533138 140721091533352 140721091533352 140721091538922 0
/proc/41765/statm: 24594 12052 2400 1147 0 12021 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 102568 KiB
Current children cumulated memory: 51152 KiB
[startup+102.3 s]
/proc/loadavg: 3.72 2.31 2.46 5/259 41773
/proc/meminfo: memFree=128179952/131382120 swapFree=33010684/33010684
[pid=41763] ppid=41760 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41763/stat : 41763 (run-opt-log.sh) S 41760 41763 41409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48599047 4292608 736 18446744073709551615 94873628151808 94873629046341 140721258335152 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94873629285392 94873629333136 94873645015040 140721258342689 140721258342884 140721258342884 140721258348486 0
/proc/41763/statm: 1048 736 672 219 0 110 0
[pid=41765] ppid=41763 vsize=117668 memory=58852 CPUtime=101.96 cores=5,7
/proc/41765/stat : 41765 (roundingsat) R 41763 41763 41409 0 -1 4194304 6528 0 0 0 10149 47 0 0 20 0 1 0 48599048 120492032 14713 18446744073709551615 4227072 8923433 140721091525664 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33579008 140721091533138 140721091533352 140721091533352 140721091538922 0
/proc/41765/statm: 29417 14713 2400 1147 0 16844 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 121860 KiB
Current children cumulated memory: 61796 KiB
[startup+162.3 s]
/proc/loadavg: 3.96 2.63 2.56 5/259 41777
/proc/meminfo: memFree=127659616/131382120 swapFree=33010684/33010684
[pid=41763] ppid=41760 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41763/stat : 41763 (run-opt-log.sh) S 41760 41763 41409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48599047 4292608 736 18446744073709551615 94873628151808 94873629046341 140721258335152 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94873629285392 94873629333136 94873645015040 140721258342689 140721258342884 140721258342884 140721258348486 0
/proc/41763/statm: 1048 736 672 219 0 110 0
[pid=41765] ppid=41763 vsize=118080 memory=67480 CPUtime=161.79 cores=5,7
/proc/41765/stat : 41765 (roundingsat) R 41763 41763 41409 0 -1 4194304 6635 0 0 0 16111 68 0 0 20 0 1 0 48599048 120913920 16870 18446744073709551615 4227072 8923433 140721091525664 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33579008 140721091533138 140721091533352 140721091533352 140721091538922 0
/proc/41765/statm: 29520 16870 2400 1147 0 16947 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 122272 KiB
Current children cumulated memory: 70424 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.90 2.66 5/260 41784
/proc/meminfo: memFree=127137208/131382120 swapFree=33010684/33010684
[pid=41763] ppid=41760 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41763/stat : 41763 (run-opt-log.sh) S 41760 41763 41409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48599047 4292608 736 18446744073709551615 94873628151808 94873629046341 140721258335152 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94873629285392 94873629333136 94873645015040 140721258342689 140721258342884 140721258342884 140721258348486 0
/proc/41763/statm: 1048 736 672 219 0 110 0
[pid=41765] ppid=41763 vsize=118440 memory=72588 CPUtime=221.63 cores=5,7
/proc/41765/stat : 41765 (roundingsat) R 41763 41763 41409 0 -1 4194304 6904 0 0 0 22074 89 0 0 20 0 1 0 48599048 121282560 18147 18446744073709551615 4227072 8923433 140721091525664 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33579008 140721091533138 140721091533352 140721091533352 140721091538922 0
################
# More data... #
################
/proc/41765/statm: 73424 55232 2400 1147 0 60851 0
Current children cumulated CPU time: 3033.72 s
Current children cumulated vsize: 297888 KiB
Current children cumulated memory: 223872 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.18 4.10 5/264 42510
/proc/meminfo: memFree=94062844/131382120 swapFree=33010684/33010684
[pid=41763] ppid=41760 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41763/stat : 41763 (run-opt-log.sh) S 41760 41763 41409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48599047 4292608 736 18446744073709551615 94873628151808 94873629046341 140721258335152 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94873629285392 94873629333136 94873645015040 140721258342689 140721258342884 140721258342884 140721258348486 0
/proc/41763/statm: 1048 736 672 219 0 110 0
[pid=41765] ppid=41763 vsize=293696 memory=223004 CPUtime=3093.43 cores=5,7
/proc/41765/stat : 41765 (roundingsat) R 41763 41763 41409 0 -1 4194304 12117 0 0 0 308137 1206 0 0 20 0 1 0 48599048 300744704 55751 18446744073709551615 4227072 8923433 140721091525664 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33579008 140721091533138 140721091533352 140721091533352 140721091538922 0
/proc/41765/statm: 73424 55751 2400 1147 0 60851 0
Current children cumulated CPU time: 3093.43 s
Current children cumulated vsize: 297888 KiB
Current children cumulated memory: 225948 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.17 4.10 5/264 42517
/proc/meminfo: memFree=93554808/131382120 swapFree=33010684/33010684
[pid=41763] ppid=41760 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41763/stat : 41763 (run-opt-log.sh) S 41760 41763 41409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48599047 4292608 736 18446744073709551615 94873628151808 94873629046341 140721258335152 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94873629285392 94873629333136 94873645015040 140721258342689 140721258342884 140721258342884 140721258348486 0
/proc/41763/statm: 1048 736 672 219 0 110 0
[pid=41765] ppid=41763 vsize=294144 memory=227488 CPUtime=3153.28 cores=5,7
/proc/41765/stat : 41765 (roundingsat) R 41763 41763 41409 0 -1 4194304 12202 0 0 0 314100 1228 0 0 20 0 1 0 48599048 301203456 56872 18446744073709551615 4227072 8923433 140721091525664 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33579008 140721091533138 140721091533352 140721091533352 140721091538922 0
/proc/41765/statm: 73536 56872 2400 1147 0 60963 0
Current children cumulated CPU time: 3153.28 s
Current children cumulated vsize: 298336 KiB
Current children cumulated memory: 230432 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.16 4.09 5/264 42524
/proc/meminfo: memFree=93079448/131382120 swapFree=33010684/33010684
[pid=41763] ppid=41760 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41763/stat : 41763 (run-opt-log.sh) S 41760 41763 41409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48599047 4292608 736 18446744073709551615 94873628151808 94873629046341 140721258335152 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94873629285392 94873629333136 94873645015040 140721258342689 140721258342884 140721258342884 140721258348486 0
/proc/41763/statm: 1048 736 672 219 0 110 0
[pid=41765] ppid=41763 vsize=294144 memory=227488 CPUtime=3213.13 cores=5,7
/proc/41765/stat : 41765 (roundingsat) R 41763 41763 41409 0 -1 4194304 12204 0 0 0 320062 1251 0 0 20 0 1 0 48599048 301203456 56872 18446744073709551615 4227072 8923433 140721091525664 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33579008 140721091533138 140721091533352 140721091533352 140721091538922 0
/proc/41765/statm: 73536 56872 2400 1147 0 60963 0
Current children cumulated CPU time: 3213.13 s
Current children cumulated vsize: 298336 KiB
Current children cumulated memory: 230432 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.14 4.09 5/261 42526
/proc/meminfo: memFree=92538900/131382120 swapFree=33010684/33010684
[pid=41763] ppid=41760 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41763/stat : 41763 (run-opt-log.sh) S 41760 41763 41409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48599047 4292608 736 18446744073709551615 94873628151808 94873629046341 140721258335152 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94873629285392 94873629333136 94873645015040 140721258342689 140721258342884 140721258342884 140721258348486 0
/proc/41763/statm: 1048 736 672 219 0 110 0
[pid=41765] ppid=41763 vsize=294144 memory=229548 CPUtime=3272.98 cores=5,7
/proc/41765/stat : 41765 (roundingsat) R 41763 41763 41409 0 -1 4194304 12216 0 0 0 326023 1275 0 0 20 0 1 0 48599048 301203456 57387 18446744073709551615 4227072 8923433 140721091525664 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33579008 140721091533138 140721091533352 140721091533352 140721091538922 0
/proc/41765/statm: 73536 57387 2400 1147 0 60963 0
Current children cumulated CPU time: 3272.98 s
Current children cumulated vsize: 298336 KiB
Current children cumulated memory: 232492 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/263 42530
/proc/meminfo: memFree=91936284/131382120 swapFree=33010684/33010684
[pid=41763] ppid=41760 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41763/stat : 41763 (run-opt-log.sh) S 41760 41763 41409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48599047 4292608 736 18446744073709551615 94873628151808 94873629046341 140721258335152 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94873629285392 94873629333136 94873645015040 140721258342689 140721258342884 140721258342884 140721258348486 0
/proc/41763/statm: 1048 736 672 219 0 110 0
[pid=41765] ppid=41763 vsize=294280 memory=231640 CPUtime=3332.83 cores=5,7
/proc/41765/stat : 41765 (roundingsat) R 41763 41763 41409 0 -1 4194304 12237 0 0 0 331985 1298 0 0 20 0 1 0 48599048 301342720 57910 18446744073709551615 4227072 8923433 140721091525664 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33579008 140721091533138 140721091533352 140721091533352 140721091538922 0
/proc/41765/statm: 73570 57910 2400 1147 0 60997 0
Current children cumulated CPU time: 3332.83 s
Current children cumulated vsize: 298472 KiB
Current children cumulated memory: 234584 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/264 42533
/proc/meminfo: memFree=91267012/131382120 swapFree=33010684/33010684
[pid=41763] ppid=41760 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41763/stat : 41763 (run-opt-log.sh) S 41760 41763 41409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48599047 4292608 736 18446744073709551615 94873628151808 94873629046341 140721258335152 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94873629285392 94873629333136 94873645015040 140721258342689 140721258342884 140721258342884 140721258348486 0
/proc/41763/statm: 1048 736 672 219 0 110 0
[pid=41765] ppid=41763 vsize=294280 memory=231768 CPUtime=3392.68 cores=5,7
/proc/41765/stat : 41765 (roundingsat) R 41763 41763 41409 0 -1 4194304 12257 0 0 0 337947 1321 0 0 20 0 1 0 48599048 301342720 57942 18446744073709551615 4227072 8923433 140721091525664 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33579008 140721091533138 140721091533352 140721091533352 140721091538922 0
/proc/41765/statm: 73570 57942 2400 1147 0 60997 0
Current children cumulated CPU time: 3392.68 s
Current children cumulated vsize: 298472 KiB
Current children cumulated memory: 234712 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/262 42534
/proc/meminfo: memFree=90569396/131382120 swapFree=33010684/33010684
[pid=41763] ppid=41760 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41763/stat : 41763 (run-opt-log.sh) S 41760 41763 41409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48599047 4292608 736 18446744073709551615 94873628151808 94873629046341 140721258335152 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94873629285392 94873629333136 94873645015040 140721258342689 140721258342884 140721258342884 140721258348486 0
/proc/41763/statm: 1048 736 672 219 0 110 0
[pid=41765] ppid=41763 vsize=294280 memory=233848 CPUtime=3452.52 cores=5,7
/proc/41765/stat : 41765 (roundingsat) R 41763 41763 41409 0 -1 4194304 12279 0 0 0 343909 1343 0 0 20 0 1 0 48599048 301342720 58462 18446744073709551615 4227072 8923433 140721091525664 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33579008 140721091533138 140721091533352 140721091533352 140721091538922 0
/proc/41765/statm: 73570 58462 2400 1147 0 60997 0
Current children cumulated CPU time: 3452.52 s
Current children cumulated vsize: 298472 KiB
Current children cumulated memory: 236792 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/263 42540
/proc/meminfo: memFree=89867376/131382120 swapFree=33010684/33010684
[pid=41763] ppid=41760 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41763/stat : 41763 (run-opt-log.sh) S 41760 41763 41409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48599047 4292608 736 18446744073709551615 94873628151808 94873629046341 140721258335152 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94873629285392 94873629333136 94873645015040 140721258342689 140721258342884 140721258342884 140721258348486 0
/proc/41763/statm: 1048 736 672 219 0 110 0
[pid=41765] ppid=41763 vsize=294492 memory=237976 CPUtime=3512.38 cores=5,7
/proc/41765/stat : 41765 (roundingsat) R 41763 41763 41409 0 -1 4194304 12805 0 0 0 349871 1367 0 0 20 0 1 0 48599048 301559808 59494 18446744073709551615 4227072 8923433 140721091525664 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33579008 140721091533138 140721091533352 140721091533352 140721091538922 0
/proc/41765/statm: 73623 59494 2400 1147 0 61050 0
Current children cumulated CPU time: 3512.38 s
Current children cumulated vsize: 298684 KiB
Current children cumulated memory: 240920 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/264 42543
/proc/meminfo: memFree=89330076/131382120 swapFree=33010684/33010684
[pid=41763] ppid=41760 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41763/stat : 41763 (run-opt-log.sh) S 41760 41763 41409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48599047 4292608 736 18446744073709551615 94873628151808 94873629046341 140721258335152 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94873629285392 94873629333136 94873645015040 140721258342689 140721258342884 140721258342884 140721258348486 0
/proc/41763/statm: 1048 736 672 219 0 110 0
[pid=41765] ppid=41763 vsize=294492 memory=240124 CPUtime=3572.22 cores=5,7
/proc/41765/stat : 41765 (roundingsat) R 41763 41763 41409 0 -1 4194304 12825 0 0 0 355834 1388 0 0 20 0 1 0 48599048 301559808 60031 18446744073709551615 4227072 8923433 140721091525664 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33579008 140721091533138 140721091533352 140721091533352 140721091538922 0
/proc/41765/statm: 73623 60031 2400 1147 0 61050 0
Current children cumulated CPU time: 3572.22 s
Current children cumulated vsize: 298684 KiB
Current children cumulated memory: 243068 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.12 4.13 4.09 5/259 42663
/proc/meminfo: memFree=99285812/131382120 swapFree=33010684/33010684
[pid=41763] ppid=41760 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41763/stat : 41763 (run-opt-log.sh) S 41760 41763 41409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48599047 4292608 736 18446744073709551615 94873628151808 94873629046341 140721258335152 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94873629285392 94873629333136 94873645015040 140721258342689 140721258342884 140721258342884 140721258348486 0
/proc/41763/statm: 1048 736 672 219 0 110 0
[pid=41765] ppid=41763 vsize=294492 memory=240124 CPUtime=3600 cores=5,7
/proc/41765/stat : 41765 (roundingsat) R 41763 41763 41409 0 -1 4194304 12825 0 0 0 358595 1405 0 0 20 0 1 0 48599048 301559808 60031 18446744073709551615 4227072 8923433 140721091525664 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33579008 140721091533138 140721091533352 140721091533352 140721091538922 0
/proc/41765/statm: 73623 60031 2400 1147 0 61050 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 298684 KiB
Current children cumulated memory: 243068 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.21 s]
# the end of solver process 41763 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.00246 s, system=0.002359 s
[startup+3610.26 s]
# the end of solver process 41765 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3585.97 s, system=14.0619 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.26
CPU time (s): 3600.03
CPU user time (s): 3585.97
CPU system time (s): 14.0619
CPU usage (%): 99.7166
Max. virtual memory (cumulated for all children) (KiB): 298684
Max. memory (cumulated for all children) (KiB): 243068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.97
system time used= 14.0619
maximum resident set size= 240508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13055
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24253584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1764
involuntary context switches= 6289
# summary of solver processes directly reported to runsolver:
# pid: 41763,41765
# total CPU time (s): 3600.03
# total CPU user time (s): 3585.97
# total CPU system time (s): 14.0619
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.2542 second user time and 35.6016 second system time
The end
Begin job on nodeC003 at 2025-07-01 02:20:04
IDJOB=4487023
IDBENCH=147179
IDSOLVER=3351
FILE ID=nodeC003/4487023-1751329204
RUNJOBID= nodeC003-1751329194-41422
SLURM_JOB_ID= 9594376
Free space on /tmp= 432732 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ssa7552-159.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4487023-1751329204/watcher-4487023-1751329204 -o /tmp/evaluation-result-4487023-1751329204/solver-4487023-1751329204 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751329194-41422 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4487023-1751329204.opb PROOFDIR/proof-4487023-1751329204
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9b60d282f6d94cb463dd26171dfefd6b
RANDOM SEED=320776024
nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.637
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3659.378
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.347
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.338
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.618
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.655
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.163
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129163972 kB
MemAvailable: 129737852 kB
Buffers: 3280 kB
Cached: 1379108 kB
SwapCached: 0 kB
Active: 478588 kB
Inactive: 1129524 kB
Active(anon): 243832 kB
Inactive(anon): 0 kB
Active(file): 234756 kB
Inactive(file): 1129524 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 82940 kB
Writeback: 0 kB
AnonPages: 229028 kB
Mapped: 116544 kB
Shmem: 17960 kB
KReclaimable: 98456 kB
Slab: 183400 kB
SReclaimable: 98456 kB
SUnreclaim: 84944 kB
KernelStack: 4080 kB
PageTables: 3652 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 602692 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149384 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 65536 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: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432724 MiB
End job on nodeC003 at 2025-07-01 03:20:14