0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.03 c [STEP] solving
0.00/0.03 c #variables 3216 #constraints 3721
0.00/0.03 c SMALL=int, LARGE=long long
40.06/40.25 c bounds - >= 6 @ 0.01585
40.06/40.25 c #Conflicts: 1000 | #Constraints: 4720
40.06/40.25 c #Conflicts: 2000 | #Constraints: 5720
40.06/40.25 c INPROCESSING
40.06/40.25 c GARBAGE COLLECT
40.06/40.25 c #Conflicts: 3000 | #Constraints: 2525
40.06/40.25 c #Conflicts: 4000 | #Constraints: 3525
40.06/40.25 c INPROCESSING
40.06/40.25 c GARBAGE COLLECT
40.06/40.25 c #Conflicts: 5000 | #Constraints: 2933
40.06/40.25 c #Conflicts: 6000 | #Constraints: 3933
40.06/40.25 c INPROCESSING
40.06/40.25 c GARBAGE COLLECT
40.06/40.25 c #Conflicts: 7000 | #Constraints: 2933
40.06/40.25 c #Conflicts: 8000 | #Constraints: 3933
40.06/40.25 c #Conflicts: 9000 | #Constraints: 4933
40.06/40.25 c INPROCESSING
40.06/40.25 c GARBAGE COLLECT
40.06/40.25 c #Conflicts: 10000 | #Constraints: 3631
40.06/40.25 c #Conflicts: 11000 | #Constraints: 4631
40.06/40.25 c #Conflicts: 12000 | #Constraints: 5631
40.06/40.25 c INPROCESSING
40.06/40.25 c GARBAGE COLLECT
40.06/40.25 c #Conflicts: 13000 | #Constraints: 4075
40.06/40.25 c #Conflicts: 14000 | #Constraints: 5075
40.06/40.25 c #Conflicts: 15000 | #Constraints: 6075
40.06/40.25 c INPROCESSING
40.06/40.25 c GARBAGE COLLECT
40.06/40.25 c #Conflicts: 16000 | #Constraints: 4312
40.06/40.25 c #Conflicts: 17000 | #Constraints: 5312
40.06/40.25 c #Conflicts: 18000 | #Constraints: 6312
40.06/40.25 c INPROCESSING
40.06/40.25 c GARBAGE COLLECT
40.06/40.25 c #Conflicts: 19000 | #Constraints: 4334
40.06/40.25 c #Conflicts: 20000 | #Constraints: 5334
40.06/40.25 c #Conflicts: 21000 | #Constraints: 6334
40.06/40.25 c INPROCESSING
40.06/40.25 c GARBAGE COLLECT
40.06/40.25 c #Conflicts: 22000 | #Constraints: 4136
40.06/40.25 c #Conflicts: 23000 | #Constraints: 5136
40.06/40.25 c #Conflicts: 24000 | #Constraints: 6136
40.06/40.25 c #Conflicts: 25000 | #Constraints: 7136
40.06/40.25 c INPROCESSING
40.06/40.25 c GARBAGE COLLECT
40.06/40.25 c #Conflicts: 26000 | #Constraints: 4740
40.06/40.25 c #Conflicts: 27000 | #Constraints: 5740
40.06/40.25 c #Conflicts: 28000 | #Constraints: 6740
40.06/40.25 c #Conflicts: 29000 | #Constraints: 7740
40.06/40.25 c INPROCESSING
40.06/40.25 c GARBAGE COLLECT
40.06/40.25 c #Conflicts: 30000 | #Constraints: 5144
40.06/40.25 c #Conflicts: 31000 | #Constraints: 6144
40.06/40.25 c #Conflicts: 32000 | #Constraints: 7144
40.06/40.25 c #Conflicts: 33000 | #Constraints: 8144
40.06/40.25 c INPROCESSING
40.06/40.25 c GARBAGE COLLECT
40.06/40.25 c #Conflicts: 34000 | #Constraints: 5348
40.06/40.25 c #Conflicts: 35000 | #Constraints: 6348
40.06/40.25 c #Conflicts: 36000 | #Constraints: 7348
40.06/40.25 c #Conflicts: 37000 | #Constraints: 8348
40.06/40.25 c INPROCESSING
40.06/40.25 c GARBAGE COLLECT
40.06/40.25 c #Conflicts: 38000 | #Constraints: 5357
40.06/40.25 c #Conflicts: 39000 | #Constraints: 6357
40.06/40.25 c #Conflicts: 40000 | #Constraints: 7357
40.06/40.25 c #Conflicts: 41000 | #Constraints: 8357
40.06/40.25 c INPROCESSING
40.06/40.25 c GARBAGE COLLECT
40.06/40.25 c #Conflicts: 42000 | #Constraints: 5161
40.06/40.25 c #Conflicts: 43000 | #Constraints: 6161
40.06/40.25 c #Conflicts: 44000 | #Constraints: 7161
40.06/40.25 c #Conflicts: 45000 | #Constraints: 8161
40.06/40.25 c #Conflicts: 46000 | #Constraints: 9161
40.06/40.25 c INPROCESSING
40.06/40.25 c GARBAGE COLLECT
40.06/40.25 c #Conflicts: 47000 | #Constraints: 5746
40.06/40.25 c #Conflicts: 48000 | #Constraints: 6746
40.06/40.25 c #Conflicts: 49000 | #Constraints: 7746
40.06/40.25 c #Conflicts: 50000 | #Constraints: 8746
40.06/40.25 c #Conflicts: 51000 | #Constraints: 9746
40.06/40.25 c INPROCESSING
40.06/40.25 c GARBAGE COLLECT
40.06/40.25 c #Conflicts: 52000 | #Constraints: 6151
40.06/40.25 c #Conflicts: 53000 | #Constraints: 7151
40.06/40.25 c #Conflicts: 54000 | #Constraints: 8151
40.06/40.25 c #Conflicts: 55000 | #Constraints: 9151
40.06/40.25 c #Conflicts: 56000 | #Constraints: 10151
40.06/40.25 c INPROCESSING
40.06/40.25 c GARBAGE COLLECT
40.06/40.25 c #Conflicts: 57000 | #Constraints: 6343
40.06/40.25 c #Conflicts: 58000 | #Constraints: 7343
40.06/40.25 c #Conflicts: 59000 | #Constraints: 8343
40.06/40.25 c #Conflicts: 60000 | #Constraints: 9343
40.06/40.25 c #Conflicts: 61000 | #Constraints: 10343
40.06/40.25 c INPROCESSING
40.06/40.25 c GARBAGE COLLECT
40.06/40.25 c #Conflicts: 62000 | #Constraints: 6341
40.06/40.25 c #Conflicts: 63000 | #Constraints: 7341
40.06/40.25 c #Conflicts: 64000 | #Constraints: 8341
40.06/40.25 c #Conflicts: 65000 | #Constraints: 9341
40.06/40.25 c #Conflicts: 66000 | #Constraints: 10341
40.06/40.25 c INPROCESSING
40.06/40.25 c GARBAGE COLLECT
40.06/40.25 c #Conflicts: 67000 | #Constraints: 6138
112.65/113.03 c #Conflicts: 68000 | #Constraints: 7138
112.65/113.03 c #Conflicts: 69000 | #Constraints: 8138
112.65/113.03 c #Conflicts: 70000 | #Constraints: 9138
112.65/113.03 c #Conflicts: 71000 | #Constraints: 10138
112.65/113.03 c #Conflicts: 72000 | #Constraints: 11138
112.65/113.03 c INPROCESSING
112.65/113.03 c GARBAGE COLLECT
112.65/113.03 c #Conflicts: 73000 | #Constraints: 6736
112.65/113.03 c #Conflicts: 74000 | #Constraints: 7736
112.65/113.03 c #Conflicts: 75000 | #Constraints: 8736
112.65/113.03 c #Conflicts: 76000 | #Constraints: 9736
112.65/113.03 c #Conflicts: 77000 | #Constraints: 10736
112.65/113.03 c #Conflicts: 78000 | #Constraints: 11736
112.65/113.03 c INPROCESSING
112.65/113.03 c GARBAGE COLLECT
112.65/113.03 c #Conflicts: 79000 | #Constraints: 7145
112.65/113.03 c #Conflicts: 80000 | #Constraints: 8145
112.65/113.03 c #Conflicts: 81000 | #Constraints: 9145
112.65/113.03 c #Conflicts: 82000 | #Constraints: 10145
112.65/113.03 c #Conflicts: 83000 | #Constraints: 11145
112.65/113.03 c #Conflicts: 84000 | #Constraints: 12145
112.65/113.03 c INPROCESSING
112.65/113.03 c GARBAGE COLLECT
112.65/113.03 c #Conflicts: 85000 | #Constraints: 7348
112.65/113.03 c #Conflicts: 86000 | #Constraints: 8348
112.65/113.03 c #Conflicts: 87000 | #Constraints: 9348
112.65/113.03 c #Conflicts: 88000 | #Constraints: 10348
112.65/113.03 c #Conflicts: 89000 | #Constraints: 11348
112.65/113.03 c #Conflicts: 90000 | #Constraints: 12348
112.65/113.03 c INPROCESSING
112.65/113.03 c GARBAGE COLLECT
112.65/113.03 c #Conflicts: 91000 | #Constraints: 7347
112.65/113.03 c #Conflicts: 92000 | #Constraints: 8347
112.65/113.03 c #Conflicts: 93000 | #Constraints: 9347
112.65/113.03 c #Conflicts: 94000 | #Constraints: 10347
112.65/113.03 c #Conflicts: 95000 | #Constraints: 11347
112.65/113.03 c #Conflicts: 96000 | #Constraints: 12347
112.65/113.03 c INPROCESSING
112.65/113.03 c GARBAGE COLLECT
112.65/113.03 c #Conflicts: 97000 | #Constraints: 7170
112.65/113.03 c #Conflicts: 98000 | #Constraints: 8170
112.65/113.03 c #Conflicts: 99000 | #Constraints: 9170
112.65/113.03 c #Conflicts: 100000 | #Constraints: 10170
112.65/113.03 c #Conflicts: 101000 | #Constraints: 11170
112.65/113.03 c #Conflicts: 102000 | #Constraints: 12170
112.65/113.03 c #Conflicts: 103000 | #Constraints: 13170
112.65/113.03 c INPROCESSING
112.65/113.03 c GARBAGE COLLECT
112.65/113.03 c #Conflicts: 104000 | #Constraints: 7757
112.65/113.03 c #Conflicts: 105000 | #Constraints: 8757
112.65/113.03 c #Conflicts: 106000 | #Constraints: 9757
112.65/113.03 c #Conflicts: 107000 | #Constraints: 10757
112.65/113.03 c #Conflicts: 108000 | #Constraints: 11757
112.65/113.03 c #Conflicts: 109000 | #Constraints: 12757
112.65/113.03 c #Conflicts: 110000 | #Constraints: 13757
112.65/113.03 c INPROCESSING
112.65/113.03 c GARBAGE COLLECT
112.65/113.03 c #Conflicts: 111000 | #Constraints: 8156
112.65/113.03 c #Conflicts: 112000 | #Constraints: 9156
112.65/113.03 c #Conflicts: 113000 | #Constraints: 10156
112.65/113.03 c #Conflicts: 114000 | #Constraints: 11156
112.65/113.03 c #Conflicts: 115000 | #Constraints: 12156
112.65/113.03 c #Conflicts: 116000 | #Constraints: 13156
112.65/113.03 c #Conflicts: 117000 | #Constraints: 14156
112.65/113.03 c INPROCESSING
112.65/113.03 c GARBAGE COLLECT
112.65/113.03 c #Conflicts: 118000 | #Constraints: 8355
112.65/113.03 c #Conflicts: 119000 | #Constraints: 9355
112.65/113.03 c #Conflicts: 120000 | #Constraints: 10355
112.65/113.03 c #Conflicts: 121000 | #Constraints: 11355
112.65/113.03 c #Conflicts: 122000 | #Constraints: 12355
112.65/113.03 c #Conflicts: 123000 | #Constraints: 13355
112.65/113.03 c #Conflicts: 124000 | #Constraints: 14355
112.65/113.03 c INPROCESSING
112.65/113.03 c GARBAGE COLLECT
112.65/113.03 c #Conflicts: 125000 | #Constraints: 8342
112.65/113.03 c #Conflicts: 126000 | #Constraints: 9342
112.65/113.03 c #Conflicts: 127000 | #Constraints: 10342
112.65/113.03 c #Conflicts: 128000 | #Constraints: 11342
112.65/113.03 c #Conflicts: 129000 | #Constraints: 12342
112.65/113.03 c #Conflicts: 130000 | #Constraints: 13342
112.65/113.03 c #Conflicts: 131000 | #Constraints: 14342
112.65/113.03 c INPROCESSING
112.65/113.03 c GARBAGE COLLECT
112.65/113.03 c #Conflicts: 132000 | #Constraints: 8144
112.65/113.03 c #Conflicts: 133000 | #Constraints: 9144
112.65/113.03 c #Conflicts: 134000 | #Constraints: 10144
112.65/113.03 c #Conflicts: 135000 | #Constraints: 11144
112.65/113.03 c #Conflicts: 136000 | #Constraints: 12144
112.65/113.03 c #Conflicts: 137000 | #Constraints: 13144
112.65/113.03 c #Conflicts: 138000 | #Constraints: 14144
112.65/113.03 c #Conflicts: 139000 | #Constraints: 15144
112.65/113.03 c INPROCESSING
182.65/183.28 c GARBAGE COLLECT
182.65/183.28 c #Conflicts: 140000 | #Constraints: 8762
182.65/183.28 c #Conflicts: 141000 | #Constraints: 9762
182.65/183.28 c #Conflicts: 142000 | #Constraints: 10762
182.65/183.28 c #Conflicts: 143000 | #Constraints: 11762
182.65/183.28 c #Conflicts: 144000 | #Constraints: 12762
182.65/183.28 c #Conflicts: 145000 | #Constraints: 13762
182.65/183.28 c #Conflicts: 146000 | #Constraints: 14762
182.65/183.28 c #Conflicts: 147000 | #Constraints: 15762
182.65/183.28 c INPROCESSING
182.65/183.28 c GARBAGE COLLECT
182.65/183.28 c #Conflicts: 148000 | #Constraints: 9176
182.65/183.28 c #Conflicts: 149000 | #Constraints: 10176
182.65/183.28 c #Conflicts: 150000 | #Constraints: 11176
182.65/183.28 c #Conflicts: 151000 | #Constraints: 12176
182.65/183.28 c #Conflicts: 152000 | #Constraints: 13176
182.65/183.28 c #Conflicts: 153000 | #Constraints: 14176
182.65/183.28 c #Conflicts: 154000 | #Constraints: 15176
182.65/183.28 c #Conflicts: 155000 | #Constraints: 16176
182.65/183.28 c INPROCESSING
182.65/183.28 c GARBAGE COLLECT
182.65/183.28 c #Conflicts: 156000 | #Constraints: 9369
182.65/183.28 c #Conflicts: 157000 | #Constraints: 10369
182.65/183.28 c #Conflicts: 158000 | #Constraints: 11369
182.65/183.29 c #Conflicts: 159000 | #Constraints: 12369
182.65/183.29 c #Conflicts: 160000 | #Constraints: 13369
182.65/183.29 c #Conflicts: 161000 | #Constraints: 14369
182.65/183.29 c #Conflicts: 162000 | #Constraints: 15369
182.65/183.29 c #Conflicts: 163000 | #Constraints: 16369
182.65/183.29 c INPROCESSING
182.65/183.29 c GARBAGE COLLECT
182.65/183.29 c #Conflicts: 164000 | #Constraints: 9369
182.65/183.29 c #Conflicts: 165000 | #Constraints: 10369
182.65/183.29 c #Conflicts: 166000 | #Constraints: 11369
182.65/183.29 c #Conflicts: 167000 | #Constraints: 12369
182.65/183.29 c #Conflicts: 168000 | #Constraints: 13369
182.65/183.29 c #Conflicts: 169000 | #Constraints: 14369
182.65/183.29 c #Conflicts: 170000 | #Constraints: 15369
182.65/183.29 c #Conflicts: 171000 | #Constraints: 16369
182.65/183.29 c INPROCESSING
182.65/183.29 c GARBAGE COLLECT
182.65/183.29 c #Conflicts: 172000 | #Constraints: 9161
182.65/183.29 c #Conflicts: 173000 | #Constraints: 10161
182.65/183.29 c #Conflicts: 174000 | #Constraints: 11161
182.65/183.29 c #Conflicts: 175000 | #Constraints: 12161
182.65/183.29 c #Conflicts: 176000 | #Constraints: 13161
182.65/183.29 c #Conflicts: 177000 | #Constraints: 14161
182.65/183.29 c #Conflicts: 178000 | #Constraints: 15161
182.65/183.29 c #Conflicts: 179000 | #Constraints: 16161
182.65/183.29 c #Conflicts: 180000 | #Constraints: 17161
182.65/183.29 c INPROCESSING
182.65/183.29 c GARBAGE COLLECT
182.65/183.29 c #Conflicts: 181000 | #Constraints: 9754
182.65/183.29 c #Conflicts: 182000 | #Constraints: 10754
182.65/183.29 c #Conflicts: 183000 | #Constraints: 11754
182.65/183.29 c #Conflicts: 184000 | #Constraints: 12754
182.65/183.29 c #Conflicts: 185000 | #Constraints: 13754
182.65/183.29 c #Conflicts: 186000 | #Constraints: 14754
182.65/183.29 c #Conflicts: 187000 | #Constraints: 15754
182.65/183.29 c #Conflicts: 188000 | #Constraints: 16754
182.65/183.29 c #Conflicts: 189000 | #Constraints: 17754
182.65/183.29 c INPROCESSING
182.65/183.29 c GARBAGE COLLECT
182.65/183.29 c #Conflicts: 190000 | #Constraints: 10170
182.65/183.29 c #Conflicts: 191000 | #Constraints: 11170
182.65/183.29 c #Conflicts: 192000 | #Constraints: 12170
182.65/183.29 c #Conflicts: 193000 | #Constraints: 13170
182.65/183.29 c #Conflicts: 194000 | #Constraints: 14170
182.65/183.29 c #Conflicts: 195000 | #Constraints: 15170
182.65/183.29 c #Conflicts: 196000 | #Constraints: 16170
182.65/183.29 c #Conflicts: 197000 | #Constraints: 17170
182.65/183.29 c #Conflicts: 198000 | #Constraints: 18170
182.65/183.29 c INPROCESSING
182.65/183.29 c GARBAGE COLLECT
182.65/183.29 c #Conflicts: 199000 | #Constraints: 10371
182.65/183.29 c #Conflicts: 200000 | #Constraints: 11371
182.65/183.29 c #Conflicts: 201000 | #Constraints: 12371
182.65/183.29 c #Conflicts: 202000 | #Constraints: 13371
182.65/183.29 c #Conflicts: 203000 | #Constraints: 14371
182.65/183.29 c #Conflicts: 204000 | #Constraints: 15371
182.65/183.29 c #Conflicts: 205000 | #Constraints: 16371
182.65/183.29 c #Conflicts: 206000 | #Constraints: 17371
182.65/183.29 c #Conflicts: 207000 | #Constraints: 18371
182.65/183.29 c INPROCESSING
182.65/183.29 c GARBAGE COLLECT
182.65/183.29 c #Conflicts: 208000 | #Constraints: 10364
182.65/183.29 c #Conflicts: 209000 | #Constraints: 11364
182.65/183.29 c #Conflicts: 210000 | #Constraints: 12364
182.65/183.29 c #Conflicts: 211000 | #Constraints: 13364
182.65/183.29 c #Conflicts: 212000 | #Constraints: 14364
182.65/183.29 c #Conflicts: 213000 | #Constraints: 15364
306.60/307.59 c #Conflicts: 214000 | #Constraints: 16364
306.60/307.59 c #Conflicts: 215000 | #Constraints: 17364
306.60/307.59 c #Conflicts: 216000 | #Constraints: 18364
306.60/307.59 c INPROCESSING
306.60/307.59 c GARBAGE COLLECT
306.60/307.59 c #Conflicts: 217000 | #Constraints: 10196
306.60/307.59 c #Conflicts: 218000 | #Constraints: 11196
306.60/307.59 c #Conflicts: 219000 | #Constraints: 12196
306.60/307.59 c #Conflicts: 220000 | #Constraints: 13196
306.60/307.59 c #Conflicts: 221000 | #Constraints: 14196
306.60/307.59 c #Conflicts: 222000 | #Constraints: 15196
306.60/307.59 c #Conflicts: 223000 | #Constraints: 16196
306.60/307.59 c #Conflicts: 224000 | #Constraints: 17196
306.60/307.59 c #Conflicts: 225000 | #Constraints: 18196
306.60/307.59 c #Conflicts: 226000 | #Constraints: 19196
306.60/307.59 c INPROCESSING
306.60/307.59 c GARBAGE COLLECT
306.60/307.59 c #Conflicts: 227000 | #Constraints: 10822
306.60/307.59 c #Conflicts: 228000 | #Constraints: 11822
306.60/307.59 c #Conflicts: 229000 | #Constraints: 12822
306.60/307.59 c #Conflicts: 230000 | #Constraints: 13822
306.60/307.59 c #Conflicts: 231000 | #Constraints: 14822
306.60/307.59 c #Conflicts: 232000 | #Constraints: 15822
306.60/307.59 c #Conflicts: 233000 | #Constraints: 16822
306.60/307.59 c #Conflicts: 234000 | #Constraints: 17822
306.60/307.59 c #Conflicts: 235000 | #Constraints: 18822
306.60/307.59 c #Conflicts: 236000 | #Constraints: 19822
306.60/307.59 c INPROCESSING
306.60/307.59 c GARBAGE COLLECT
306.60/307.59 c #Conflicts: 237000 | #Constraints: 11182
306.60/307.59 c #Conflicts: 238000 | #Constraints: 12182
306.60/307.59 c #Conflicts: 239000 | #Constraints: 13182
306.60/307.59 c #Conflicts: 240000 | #Constraints: 14182
306.60/307.59 c #Conflicts: 241000 | #Constraints: 15182
306.60/307.59 c #Conflicts: 242000 | #Constraints: 16182
306.60/307.59 c #Conflicts: 243000 | #Constraints: 17182
306.60/307.59 c #Conflicts: 244000 | #Constraints: 18182
306.60/307.59 c #Conflicts: 245000 | #Constraints: 19182
306.60/307.59 c #Conflicts: 246000 | #Constraints: 20182
306.60/307.59 c INPROCESSING
306.60/307.59 c GARBAGE COLLECT
306.60/307.59 c #Conflicts: 247000 | #Constraints: 11372
306.60/307.59 c #Conflicts: 248000 | #Constraints: 12372
306.60/307.59 c #Conflicts: 249000 | #Constraints: 13372
306.60/307.59 c #Conflicts: 250000 | #Constraints: 14372
306.60/307.59 c #Conflicts: 251000 | #Constraints: 15372
306.60/307.59 c #Conflicts: 252000 | #Constraints: 16372
306.60/307.59 c #Conflicts: 253000 | #Constraints: 17372
306.60/307.59 c #Conflicts: 254000 | #Constraints: 18372
306.60/307.59 c #Conflicts: 255000 | #Constraints: 19372
306.60/307.59 c #Conflicts: 256000 | #Constraints: 20372
306.60/307.59 c INPROCESSING
306.60/307.59 c GARBAGE COLLECT
306.60/307.59 c #Conflicts: 257000 | #Constraints: 11359
306.60/307.59 c #Conflicts: 258000 | #Constraints: 12359
306.60/307.59 c #Conflicts: 259000 | #Constraints: 13359
306.60/307.59 c #Conflicts: 260000 | #Constraints: 14359
306.60/307.59 c #Conflicts: 261000 | #Constraints: 15359
306.60/307.59 c #Conflicts: 262000 | #Constraints: 16359
306.60/307.59 c #Conflicts: 263000 | #Constraints: 17359
306.60/307.59 c #Conflicts: 264000 | #Constraints: 18359
306.60/307.59 c #Conflicts: 265000 | #Constraints: 19359
306.60/307.59 c #Conflicts: 266000 | #Constraints: 20359
306.60/307.59 c INPROCESSING
306.60/307.59 c GARBAGE COLLECT
306.60/307.59 c #Conflicts: 267000 | #Constraints: 11160
306.60/307.59 c #Conflicts: 268000 | #Constraints: 12160
306.60/307.59 c #Conflicts: 269000 | #Constraints: 13160
306.60/307.59 c #Conflicts: 270000 | #Constraints: 14160
306.60/307.59 c #Conflicts: 271000 | #Constraints: 15160
306.60/307.59 c #Conflicts: 272000 | #Constraints: 16160
306.60/307.59 c #Conflicts: 273000 | #Constraints: 17160
306.60/307.59 c #Conflicts: 274000 | #Constraints: 18160
306.60/307.59 c #Conflicts: 275000 | #Constraints: 19160
306.60/307.59 c #Conflicts: 276000 | #Constraints: 20160
306.60/307.59 c #Conflicts: 277000 | #Constraints: 21160
306.60/307.59 c INPROCESSING
306.60/307.59 c GARBAGE COLLECT
306.60/307.59 c #Conflicts: 278000 | #Constraints: 11753
306.60/307.59 c #Conflicts: 279000 | #Constraints: 12753
306.60/307.59 c #Conflicts: 280000 | #Constraints: 13753
306.60/307.59 c #Conflicts: 281000 | #Constraints: 14753
306.60/307.59 c #Conflicts: 282000 | #Constraints: 15753
306.60/307.59 c #Conflicts: 283000 | #Constraints: 16753
306.60/307.59 c #Conflicts: 284000 | #Constraints: 17753
306.60/307.59 c #Conflicts: 285000 | #Constraints: 18753
306.60/307.59 c #Conflicts: 286000 | #Constraints: 19753
306.60/307.59 c #Conflicts: 287000 | #Constraints: 20753
413.70/414.92 c #Conflicts: 288000 | #Constraints: 21753
413.70/414.92 c INPROCESSING
413.70/414.92 c GARBAGE COLLECT
413.70/414.92 c #Conflicts: 289000 | #Constraints: 12152
413.70/414.92 c #Conflicts: 290000 | #Constraints: 13152
413.70/414.92 c #Conflicts: 291000 | #Constraints: 14152
413.70/414.92 c #Conflicts: 292000 | #Constraints: 15152
413.70/414.92 c #Conflicts: 293000 | #Constraints: 16152
413.70/414.92 c #Conflicts: 294000 | #Constraints: 17152
413.70/414.92 c #Conflicts: 295000 | #Constraints: 18152
413.70/414.92 c #Conflicts: 296000 | #Constraints: 19152
413.70/414.92 c #Conflicts: 297000 | #Constraints: 20152
413.70/414.92 c #Conflicts: 298000 | #Constraints: 21152
413.70/414.92 c #Conflicts: 299000 | #Constraints: 22152
413.70/414.92 c INPROCESSING
413.70/414.92 c GARBAGE COLLECT
413.70/414.92 c #Conflicts: 300000 | #Constraints: 12346
413.70/414.92 c #Conflicts: 301000 | #Constraints: 13346
413.70/414.92 c #Conflicts: 302000 | #Constraints: 14346
413.70/414.92 c #Conflicts: 303000 | #Constraints: 15346
413.70/414.92 c #Conflicts: 304000 | #Constraints: 16346
413.70/414.92 c #Conflicts: 305000 | #Constraints: 17346
413.70/414.92 c #Conflicts: 306000 | #Constraints: 18346
413.70/414.92 c #Conflicts: 307000 | #Constraints: 19346
413.70/414.92 c #Conflicts: 308000 | #Constraints: 20346
413.70/414.92 c #Conflicts: 309000 | #Constraints: 21346
413.70/414.92 c #Conflicts: 310000 | #Constraints: 22346
413.70/414.92 c INPROCESSING
413.70/414.92 c GARBAGE COLLECT
413.70/414.92 c #Conflicts: 311000 | #Constraints: 12351
413.70/414.92 c #Conflicts: 312000 | #Constraints: 13351
413.70/414.92 c #Conflicts: 313000 | #Constraints: 14351
413.70/414.92 c #Conflicts: 314000 | #Constraints: 15351
413.70/414.92 c #Conflicts: 315000 | #Constraints: 16351
413.70/414.92 c #Conflicts: 316000 | #Constraints: 17351
413.70/414.92 c #Conflicts: 317000 | #Constraints: 18351
413.70/414.92 c #Conflicts: 318000 | #Constraints: 19351
413.70/414.92 c #Conflicts: 319000 | #Constraints: 20351
413.70/414.92 c #Conflicts: 320000 | #Constraints: 21351
413.70/414.92 c #Conflicts: 321000 | #Constraints: 22351
413.70/414.92 c INPROCESSING
413.70/414.92 c GARBAGE COLLECT
413.70/414.92 c #Conflicts: 322000 | #Constraints: 12159
413.70/414.92 c #Conflicts: 323000 | #Constraints: 13159
413.70/414.92 c #Conflicts: 324000 | #Constraints: 14159
413.70/414.92 c #Conflicts: 325000 | #Constraints: 15159
413.70/414.92 c #Conflicts: 326000 | #Constraints: 16159
413.70/414.92 c #Conflicts: 327000 | #Constraints: 17159
413.70/414.92 c #Conflicts: 328000 | #Constraints: 18159
413.70/414.92 c #Conflicts: 329000 | #Constraints: 19159
413.70/414.92 c #Conflicts: 330000 | #Constraints: 20159
413.70/414.92 c #Conflicts: 331000 | #Constraints: 21159
413.70/414.92 c #Conflicts: 332000 | #Constraints: 22159
413.70/414.92 c #Conflicts: 333000 | #Constraints: 23159
413.70/414.92 c INPROCESSING
413.70/414.92 c GARBAGE COLLECT
413.70/414.92 c #Conflicts: 334000 | #Constraints: 12757
413.70/414.92 c #Conflicts: 335000 | #Constraints: 13757
413.70/414.92 c #Conflicts: 336000 | #Constraints: 14757
413.70/414.92 c #Conflicts: 337000 | #Constraints: 15757
413.70/414.92 c #Conflicts: 338000 | #Constraints: 16757
413.70/414.92 c #Conflicts: 339000 | #Constraints: 17757
413.70/414.92 c #Conflicts: 340000 | #Constraints: 18757
413.70/414.92 c #Conflicts: 341000 | #Constraints: 19757
413.70/414.92 c #Conflicts: 342000 | #Constraints: 20757
413.70/414.92 c #Conflicts: 343000 | #Constraints: 21757
413.70/414.92 c #Conflicts: 344000 | #Constraints: 22757
413.70/414.92 c #Conflicts: 345000 | #Constraints: 23757
413.70/414.92 c INPROCESSING
413.70/414.92 c GARBAGE COLLECT
413.70/414.92 c #Conflicts: 346000 | #Constraints: 13146
413.70/414.92 c #Conflicts: 347000 | #Constraints: 14146
413.70/414.92 c #Conflicts: 348000 | #Constraints: 15146
413.70/414.92 c #Conflicts: 349000 | #Constraints: 16146
413.70/414.92 c #Conflicts: 350000 | #Constraints: 17146
413.70/414.92 c #Conflicts: 351000 | #Constraints: 18146
413.70/414.92 c #Conflicts: 352000 | #Constraints: 19146
413.70/414.92 c #Conflicts: 353000 | #Constraints: 20146
413.70/414.92 c #Conflicts: 354000 | #Constraints: 21146
413.70/414.92 c #Conflicts: 355000 | #Constraints: 22146
413.70/414.92 c #Conflicts: 356000 | #Constraints: 23146
413.70/414.92 c #Conflicts: 357000 | #Constraints: 24146
413.70/414.92 c INPROCESSING
413.70/414.92 c GARBAGE COLLECT
413.70/414.92 c #Conflicts: 358000 | #Constraints: 13346
413.70/414.92 c #Conflicts: 359000 | #Constraints: 14346
413.70/414.92 c #Conflicts: 360000 | #Constraints: 15346
413.70/414.92 c #Conflicts: 361000 | #Constraints: 16346
578.94/580.66 c #Conflicts: 362000 | #Constraints: 17346
578.94/580.66 c #Conflicts: 363000 | #Constraints: 18346
578.94/580.66 c #Conflicts: 364000 | #Constraints: 19346
578.94/580.66 c #Conflicts: 365000 | #Constraints: 20346
578.94/580.66 c #Conflicts: 366000 | #Constraints: 21346
578.94/580.66 c #Conflicts: 367000 | #Constraints: 22346
578.94/580.66 c #Conflicts: 368000 | #Constraints: 23346
578.94/580.66 c #Conflicts: 369000 | #Constraints: 24346
578.94/580.66 c INPROCESSING
578.94/580.66 c GARBAGE COLLECT
578.94/580.66 c #Conflicts: 370000 | #Constraints: 13358
578.94/580.66 c #Conflicts: 371000 | #Constraints: 14358
578.94/580.66 c #Conflicts: 372000 | #Constraints: 15358
578.94/580.66 c #Conflicts: 373000 | #Constraints: 16358
578.94/580.66 c #Conflicts: 374000 | #Constraints: 17358
578.94/580.66 c #Conflicts: 375000 | #Constraints: 18358
578.94/580.66 c #Conflicts: 376000 | #Constraints: 19358
578.94/580.66 c #Conflicts: 377000 | #Constraints: 20358
578.94/580.66 c #Conflicts: 378000 | #Constraints: 21358
578.94/580.66 c #Conflicts: 379000 | #Constraints: 22358
578.94/580.66 c #Conflicts: 380000 | #Constraints: 23358
578.94/580.66 c #Conflicts: 381000 | #Constraints: 24358
578.94/580.66 c INPROCESSING
578.94/580.66 c GARBAGE COLLECT
578.94/580.66 c #Conflicts: 382000 | #Constraints: 13149
578.94/580.66 c #Conflicts: 383000 | #Constraints: 14149
578.94/580.66 c #Conflicts: 384000 | #Constraints: 15149
578.94/580.66 c #Conflicts: 385000 | #Constraints: 16149
578.94/580.66 c #Conflicts: 386000 | #Constraints: 17149
578.94/580.66 c #Conflicts: 387000 | #Constraints: 18149
578.94/580.66 c #Conflicts: 388000 | #Constraints: 19149
578.94/580.66 c #Conflicts: 389000 | #Constraints: 20149
578.94/580.66 c #Conflicts: 390000 | #Constraints: 21149
578.94/580.66 c #Conflicts: 391000 | #Constraints: 22149
578.94/580.66 c #Conflicts: 392000 | #Constraints: 23149
578.94/580.66 c #Conflicts: 393000 | #Constraints: 24149
578.94/580.66 c #Conflicts: 394000 | #Constraints: 25149
578.94/580.66 c INPROCESSING
578.94/580.66 c GARBAGE COLLECT
578.94/580.66 c #Conflicts: 395000 | #Constraints: 13768
578.94/580.66 c #Conflicts: 396000 | #Constraints: 14768
578.94/580.66 c #Conflicts: 397000 | #Constraints: 15768
578.94/580.66 c #Conflicts: 398000 | #Constraints: 16768
578.94/580.66 c #Conflicts: 399000 | #Constraints: 17768
578.94/580.66 c #Conflicts: 400000 | #Constraints: 18768
578.94/580.66 c #Conflicts: 401000 | #Constraints: 19768
578.94/580.66 c #Conflicts: 402000 | #Constraints: 20768
578.94/580.66 c #Conflicts: 403000 | #Constraints: 21768
578.94/580.66 c #Conflicts: 404000 | #Constraints: 22768
578.94/580.66 c #Conflicts: 405000 | #Constraints: 23768
578.94/580.66 c #Conflicts: 406000 | #Constraints: 24768
578.94/580.66 c #Conflicts: 407000 | #Constraints: 25768
578.94/580.66 c INPROCESSING
578.94/580.66 c GARBAGE COLLECT
578.94/580.66 c #Conflicts: 408000 | #Constraints: 14155
578.94/580.66 c #Conflicts: 409000 | #Constraints: 15155
578.94/580.66 c #Conflicts: 410000 | #Constraints: 16155
578.94/580.66 c #Conflicts: 411000 | #Constraints: 17155
578.94/580.66 c #Conflicts: 412000 | #Constraints: 18155
578.94/580.66 c #Conflicts: 413000 | #Constraints: 19155
578.94/580.66 c #Conflicts: 414000 | #Constraints: 20155
578.94/580.66 c #Conflicts: 415000 | #Constraints: 21155
578.94/580.66 c #Conflicts: 416000 | #Constraints: 22155
578.94/580.66 c #Conflicts: 417000 | #Constraints: 23155
578.94/580.66 c #Conflicts: 418000 | #Constraints: 24155
578.94/580.66 c #Conflicts: 419000 | #Constraints: 25155
578.94/580.66 c #Conflicts: 420000 | #Constraints: 26155
578.94/580.66 c INPROCESSING
578.94/580.66 c GARBAGE COLLECT
578.94/580.66 c #Conflicts: 421000 | #Constraints: 14387
578.94/580.66 c #Conflicts: 422000 | #Constraints: 15387
578.94/580.66 c #Conflicts: 423000 | #Constraints: 16387
578.94/580.66 c #Conflicts: 424000 | #Constraints: 17387
578.94/580.66 c #Conflicts: 425000 | #Constraints: 18387
578.94/580.66 c #Conflicts: 426000 | #Constraints: 19387
578.94/580.66 c #Conflicts: 427000 | #Constraints: 20387
578.94/580.66 c #Conflicts: 428000 | #Constraints: 21387
578.94/580.66 c #Conflicts: 429000 | #Constraints: 22387
578.94/580.66 c #Conflicts: 430000 | #Constraints: 23387
578.94/580.66 c #Conflicts: 431000 | #Constraints: 24387
578.94/580.66 c #Conflicts: 432000 | #Constraints: 25387
578.94/580.66 c #Conflicts: 433000 | #Constraints: 26387
578.94/580.66 c INPROCESSING
578.94/580.66 c GARBAGE COLLECT
578.94/580.66 c #Conflicts: 434000 | #Constraints: 14389
578.94/580.66 c #Conflicts: 435000 | #Constraints: 15389
578.94/580.66 c #Conflicts: 436000 | #Constraints: 16389
834.64/837.10 c #Conflicts: 437000 | #Constraints: 17389
834.64/837.10 c #Conflicts: 438000 | #Constraints: 18389
834.64/837.10 c #Conflicts: 439000 | #Constraints: 19389
834.64/837.10 c #Conflicts: 440000 | #Constraints: 20389
834.64/837.10 c #Conflicts: 441000 | #Constraints: 21389
834.64/837.10 c #Conflicts: 442000 | #Constraints: 22389
834.64/837.10 c #Conflicts: 443000 | #Constraints: 23389
834.64/837.10 c #Conflicts: 444000 | #Constraints: 24389
834.64/837.10 c #Conflicts: 445000 | #Constraints: 25389
834.64/837.10 c #Conflicts: 446000 | #Constraints: 26389
834.64/837.10 c INPROCESSING
834.64/837.10 c GARBAGE COLLECT
834.64/837.10 c #Conflicts: 447000 | #Constraints: 14192
834.64/837.10 c #Conflicts: 448000 | #Constraints: 15192
834.64/837.10 c #Conflicts: 449000 | #Constraints: 16192
834.64/837.10 c #Conflicts: 450000 | #Constraints: 17192
834.64/837.10 c #Conflicts: 451000 | #Constraints: 18192
834.64/837.10 c #Conflicts: 452000 | #Constraints: 19192
834.64/837.10 c #Conflicts: 453000 | #Constraints: 20192
834.64/837.10 c #Conflicts: 454000 | #Constraints: 21192
834.64/837.10 c #Conflicts: 455000 | #Constraints: 22192
834.64/837.10 c #Conflicts: 456000 | #Constraints: 23192
834.64/837.10 c #Conflicts: 457000 | #Constraints: 24192
834.64/837.10 c #Conflicts: 458000 | #Constraints: 25192
834.64/837.10 c #Conflicts: 459000 | #Constraints: 26192
834.64/837.10 c #Conflicts: 460000 | #Constraints: 27192
834.64/837.10 c INPROCESSING
834.64/837.10 c GARBAGE COLLECT
834.64/837.10 c #Conflicts: 461000 | #Constraints: 14780
834.64/837.10 c #Conflicts: 462000 | #Constraints: 15780
834.64/837.10 c #Conflicts: 463000 | #Constraints: 16780
834.64/837.10 c #Conflicts: 464000 | #Constraints: 17780
834.64/837.10 c #Conflicts: 465000 | #Constraints: 18780
834.64/837.10 c #Conflicts: 466000 | #Constraints: 19780
834.64/837.10 c #Conflicts: 467000 | #Constraints: 20780
834.64/837.10 c #Conflicts: 468000 | #Constraints: 21780
834.64/837.10 c #Conflicts: 469000 | #Constraints: 22780
834.64/837.10 c #Conflicts: 470000 | #Constraints: 23780
834.64/837.10 c #Conflicts: 471000 | #Constraints: 24780
834.64/837.10 c #Conflicts: 472000 | #Constraints: 25780
834.64/837.10 c #Conflicts: 473000 | #Constraints: 26780
834.64/837.10 c #Conflicts: 474000 | #Constraints: 27780
834.64/837.10 c INPROCESSING
834.64/837.10 c GARBAGE COLLECT
834.64/837.10 c #Conflicts: 475000 | #Constraints: 15190
834.64/837.10 c #Conflicts: 476000 | #Constraints: 16190
834.64/837.10 c #Conflicts: 477000 | #Constraints: 17190
834.64/837.10 c #Conflicts: 478000 | #Constraints: 18190
834.64/837.10 c #Conflicts: 479000 | #Constraints: 19190
834.64/837.10 c #Conflicts: 480000 | #Constraints: 20190
834.64/837.10 c #Conflicts: 481000 | #Constraints: 21190
834.64/837.10 c #Conflicts: 482000 | #Constraints: 22190
834.64/837.10 c #Conflicts: 483000 | #Constraints: 23190
834.64/837.10 c #Conflicts: 484000 | #Constraints: 24190
834.64/837.10 c #Conflicts: 485000 | #Constraints: 25190
834.64/837.10 c #Conflicts: 486000 | #Constraints: 26190
834.64/837.10 c #Conflicts: 487000 | #Constraints: 27190
834.64/837.10 c #Conflicts: 488000 | #Constraints: 28190
834.64/837.10 c INPROCESSING
834.64/837.10 c GARBAGE COLLECT
834.64/837.10 c #Conflicts: 489000 | #Constraints: 15421
834.64/837.10 c #Conflicts: 490000 | #Constraints: 16421
834.64/837.10 c #Conflicts: 491000 | #Constraints: 17421
834.64/837.10 c #Conflicts: 492000 | #Constraints: 18421
834.64/837.10 c #Conflicts: 493000 | #Constraints: 19421
834.64/837.10 c #Conflicts: 494000 | #Constraints: 20421
834.64/837.10 c #Conflicts: 495000 | #Constraints: 21421
834.64/837.10 c #Conflicts: 496000 | #Constraints: 22421
834.64/837.10 c #Conflicts: 497000 | #Constraints: 23421
834.64/837.10 c #Conflicts: 498000 | #Constraints: 24421
834.64/837.10 c #Conflicts: 499000 | #Constraints: 25421
834.64/837.10 c #Conflicts: 500000 | #Constraints: 26421
834.64/837.10 c #Conflicts: 501000 | #Constraints: 27421
834.64/837.10 c #Conflicts: 502000 | #Constraints: 28421
834.64/837.10 c INPROCESSING
834.64/837.10 c GARBAGE COLLECT
834.64/837.10 c #Conflicts: 503000 | #Constraints: 15437
834.64/837.10 c #Conflicts: 504000 | #Constraints: 16437
834.64/837.10 c #Conflicts: 505000 | #Constraints: 17437
834.64/837.10 c #Conflicts: 506000 | #Constraints: 18437
834.64/837.10 c #Conflicts: 507000 | #Constraints: 19437
834.64/837.10 c #Conflicts: 508000 | #Constraints: 20437
834.64/837.10 c #Conflicts: 509000 | #Constraints: 21437
834.64/837.10 c #Conflicts: 510000 | #Constraints: 22437
834.64/837.10 c #Conflicts: 511000 | #Constraints: 23437
834.64/837.10 c #Conflicts: 512000 | #Constraints: 24437
955.01/957.76 c #Conflicts: 513000 | #Constraints: 25437
955.01/957.76 c #Conflicts: 514000 | #Constraints: 26437
955.01/957.76 c #Conflicts: 515000 | #Constraints: 27437
955.01/957.76 c #Conflicts: 516000 | #Constraints: 28437
955.01/957.76 c INPROCESSING
955.01/957.76 c GARBAGE COLLECT
955.01/957.76 c #Conflicts: 517000 | #Constraints: 15197
955.01/957.76 c #Conflicts: 518000 | #Constraints: 16197
955.01/957.76 c #Conflicts: 519000 | #Constraints: 17197
955.01/957.76 c #Conflicts: 520000 | #Constraints: 18197
955.01/957.76 c #Conflicts: 521000 | #Constraints: 19197
955.01/957.76 c #Conflicts: 522000 | #Constraints: 20197
955.01/957.76 c #Conflicts: 523000 | #Constraints: 21197
955.01/957.76 c #Conflicts: 524000 | #Constraints: 22197
955.01/957.76 c #Conflicts: 525000 | #Constraints: 23197
955.01/957.76 c #Conflicts: 526000 | #Constraints: 24197
955.01/957.76 c #Conflicts: 527000 | #Constraints: 25197
955.01/957.76 c #Conflicts: 528000 | #Constraints: 26197
955.01/957.76 c #Conflicts: 529000 | #Constraints: 27197
955.01/957.76 c #Conflicts: 530000 | #Constraints: 28197
955.01/957.76 c #Conflicts: 531000 | #Constraints: 29197
955.01/957.76 c INPROCESSING
955.01/957.76 c GARBAGE COLLECT
955.01/957.76 c #Conflicts: 532000 | #Constraints: 15809
955.01/957.76 c #Conflicts: 533000 | #Constraints: 16809
955.01/957.76 c #Conflicts: 534000 | #Constraints: 17809
955.01/957.76 c #Conflicts: 535000 | #Constraints: 18809
955.01/957.76 c #Conflicts: 536000 | #Constraints: 19809
955.01/957.76 c #Conflicts: 537000 | #Constraints: 20809
955.01/957.76 c #Conflicts: 538000 | #Constraints: 21809
955.01/957.76 c #Conflicts: 539000 | #Constraints: 22809
955.01/957.76 c #Conflicts: 540000 | #Constraints: 23809
955.01/957.76 c #Conflicts: 541000 | #Constraints: 24809
955.01/957.76 c #Conflicts: 542000 | #Constraints: 25809
955.01/957.76 c #Conflicts: 543000 | #Constraints: 26809
955.01/957.76 c #Conflicts: 544000 | #Constraints: 27809
955.01/957.76 c #Conflicts: 545000 | #Constraints: 28809
955.01/957.76 c #Conflicts: 546000 | #Constraints: 29809
955.01/957.76 c INPROCESSING
955.01/957.76 c GARBAGE COLLECT
955.01/957.76 c #Conflicts: 547000 | #Constraints: 16179
955.01/957.76 c #Conflicts: 548000 | #Constraints: 17179
955.01/957.76 c #Conflicts: 549000 | #Constraints: 18179
955.01/957.76 c #Conflicts: 550000 | #Constraints: 19179
955.01/957.76 c #Conflicts: 551000 | #Constraints: 20179
955.01/957.76 c #Conflicts: 552000 | #Constraints: 21179
955.01/957.76 c #Conflicts: 553000 | #Constraints: 22179
955.01/957.76 c #Conflicts: 554000 | #Constraints: 23179
955.01/957.76 c #Conflicts: 555000 | #Constraints: 24179
955.01/957.76 c #Conflicts: 556000 | #Constraints: 25179
955.01/957.76 c #Conflicts: 557000 | #Constraints: 26179
955.01/957.76 c #Conflicts: 558000 | #Constraints: 27179
955.01/957.76 c #Conflicts: 559000 | #Constraints: 28179
955.01/957.76 c #Conflicts: 560000 | #Constraints: 29179
955.01/957.76 c #Conflicts: 561000 | #Constraints: 30179
955.01/957.76 c INPROCESSING
955.01/957.76 c GARBAGE COLLECT
955.01/957.76 c #Conflicts: 562000 | #Constraints: 16364
955.01/957.76 c #Conflicts: 563000 | #Constraints: 17364
955.01/957.76 c #Conflicts: 564000 | #Constraints: 18364
955.01/957.76 c #Conflicts: 565000 | #Constraints: 19364
955.01/957.76 c #Conflicts: 566000 | #Constraints: 20364
955.01/957.76 c #Conflicts: 567000 | #Constraints: 21364
955.01/957.76 c #Conflicts: 568000 | #Constraints: 22364
955.01/957.76 c #Conflicts: 569000 | #Constraints: 23364
955.01/957.76 c #Conflicts: 570000 | #Constraints: 24364
955.01/957.76 c #Conflicts: 571000 | #Constraints: 25364
955.01/957.76 c #Conflicts: 572000 | #Constraints: 26364
955.01/957.76 c #Conflicts: 573000 | #Constraints: 27364
955.01/957.76 c #Conflicts: 574000 | #Constraints: 28364
955.01/957.76 c #Conflicts: 575000 | #Constraints: 29364
955.01/957.76 c #Conflicts: 576000 | #Constraints: 30364
955.01/957.76 c INPROCESSING
955.01/957.76 c GARBAGE COLLECT
955.01/957.76 c #Conflicts: 577000 | #Constraints: 16364
955.01/957.76 c #Conflicts: 578000 | #Constraints: 17364
955.01/957.76 c #Conflicts: 579000 | #Constraints: 18364
955.01/957.76 c #Conflicts: 580000 | #Constraints: 19364
955.01/957.76 c #Conflicts: 581000 | #Constraints: 20364
955.01/957.76 c #Conflicts: 582000 | #Constraints: 21364
955.01/957.76 c #Conflicts: 583000 | #Constraints: 22364
955.01/957.76 c #Conflicts: 584000 | #Constraints: 23364
955.01/957.76 c #Conflicts: 585000 | #Constraints: 24364
955.01/957.76 c #Conflicts: 586000 | #Constraints: 25364
955.01/957.76 c #Conflicts: 587000 | #Constraints: 26364
955.01/957.76 c #Conflicts: 588000 | #Constraints: 27364
1087.66/1090.72 c #Conflicts: 589000 | #Constraints: 28364
1087.66/1090.72 c #Conflicts: 590000 | #Constraints: 29364
1087.66/1090.72 c #Conflicts: 591000 | #Constraints: 30364
1087.66/1090.72 c INPROCESSING
1087.66/1090.72 c GARBAGE COLLECT
1087.66/1090.72 c #Conflicts: 592000 | #Constraints: 16156
1087.66/1090.72 c #Conflicts: 593000 | #Constraints: 17156
1087.66/1090.72 c #Conflicts: 594000 | #Constraints: 18156
1087.66/1090.72 c #Conflicts: 595000 | #Constraints: 19156
1087.66/1090.72 c #Conflicts: 596000 | #Constraints: 20156
1087.66/1090.72 c #Conflicts: 597000 | #Constraints: 21156
1087.66/1090.72 c #Conflicts: 598000 | #Constraints: 22156
1087.66/1090.72 c #Conflicts: 599000 | #Constraints: 23156
1087.66/1090.72 c #Conflicts: 600000 | #Constraints: 24156
1087.66/1090.72 c #Conflicts: 601000 | #Constraints: 25156
1087.66/1090.72 c #Conflicts: 602000 | #Constraints: 26156
1087.66/1090.72 c #Conflicts: 603000 | #Constraints: 27156
1087.66/1090.72 c #Conflicts: 604000 | #Constraints: 28156
1087.66/1090.72 c #Conflicts: 605000 | #Constraints: 29156
1087.66/1090.72 c #Conflicts: 606000 | #Constraints: 30156
1087.66/1090.72 c #Conflicts: 607000 | #Constraints: 31156
1087.66/1090.72 c INPROCESSING
1087.66/1090.72 c GARBAGE COLLECT
1087.66/1090.72 c #Conflicts: 608000 | #Constraints: 16758
1087.66/1090.72 c #Conflicts: 609000 | #Constraints: 17758
1087.66/1090.72 c #Conflicts: 610000 | #Constraints: 18758
1087.66/1090.72 c #Conflicts: 611000 | #Constraints: 19758
1087.66/1090.72 c #Conflicts: 612000 | #Constraints: 20758
1087.66/1090.72 c #Conflicts: 613000 | #Constraints: 21758
1087.66/1090.72 c #Conflicts: 614000 | #Constraints: 22758
1087.66/1090.72 c #Conflicts: 615000 | #Constraints: 23758
1087.66/1090.72 c #Conflicts: 616000 | #Constraints: 24758
1087.66/1090.72 c #Conflicts: 617000 | #Constraints: 25758
1087.66/1090.72 c #Conflicts: 618000 | #Constraints: 26758
1087.66/1090.72 c #Conflicts: 619000 | #Constraints: 27758
1087.66/1090.72 c #Conflicts: 620000 | #Constraints: 28758
1087.66/1090.72 c #Conflicts: 621000 | #Constraints: 29758
1087.66/1090.72 c #Conflicts: 622000 | #Constraints: 30758
1087.66/1090.72 c #Conflicts: 623000 | #Constraints: 31758
1087.66/1090.72 c INPROCESSING
1087.66/1090.72 c GARBAGE COLLECT
1087.66/1090.72 c #Conflicts: 624000 | #Constraints: 17153
1087.66/1090.72 c #Conflicts: 625000 | #Constraints: 18153
1087.66/1090.72 c #Conflicts: 626000 | #Constraints: 19153
1087.66/1090.72 c #Conflicts: 627000 | #Constraints: 20153
1087.66/1090.72 c #Conflicts: 628000 | #Constraints: 21153
1087.66/1090.72 c #Conflicts: 629000 | #Constraints: 22153
1087.66/1090.72 c #Conflicts: 630000 | #Constraints: 23153
1087.66/1090.72 c #Conflicts: 631000 | #Constraints: 24153
1087.66/1090.72 c #Conflicts: 632000 | #Constraints: 25153
1087.66/1090.72 c #Conflicts: 633000 | #Constraints: 26153
1087.66/1090.72 c #Conflicts: 634000 | #Constraints: 27153
1087.66/1090.72 c #Conflicts: 635000 | #Constraints: 28153
1087.66/1090.72 c #Conflicts: 636000 | #Constraints: 29153
1087.66/1090.72 c #Conflicts: 637000 | #Constraints: 30153
1087.66/1090.72 c #Conflicts: 638000 | #Constraints: 31153
1087.66/1090.72 c #Conflicts: 639000 | #Constraints: 32153
1087.66/1090.72 c INPROCESSING
1087.66/1090.72 c GARBAGE COLLECT
1087.66/1090.72 c #Conflicts: 640000 | #Constraints: 17345
1087.66/1090.72 c #Conflicts: 641000 | #Constraints: 18345
1087.66/1090.72 c #Conflicts: 642000 | #Constraints: 19345
1087.66/1090.72 c #Conflicts: 643000 | #Constraints: 20345
1087.66/1090.72 c #Conflicts: 644000 | #Constraints: 21345
1087.66/1090.72 c #Conflicts: 645000 | #Constraints: 22345
1087.66/1090.72 c #Conflicts: 646000 | #Constraints: 23345
1087.66/1090.72 c #Conflicts: 647000 | #Constraints: 24345
1087.66/1090.72 c #Conflicts: 648000 | #Constraints: 25345
1087.66/1090.72 c #Conflicts: 649000 | #Constraints: 26345
1087.66/1090.72 c #Conflicts: 650000 | #Constraints: 27345
1087.66/1090.72 c #Conflicts: 651000 | #Constraints: 28345
1087.66/1090.72 c #Conflicts: 652000 | #Constraints: 29345
1087.66/1090.72 c #Conflicts: 653000 | #Constraints: 30345
1087.66/1090.72 c #Conflicts: 654000 | #Constraints: 31345
1087.66/1090.72 c #Conflicts: 655000 | #Constraints: 32345
1087.66/1090.72 c INPROCESSING
1087.66/1090.72 c GARBAGE COLLECT
1087.66/1090.72 c #Conflicts: 656000 | #Constraints: 17358
1087.66/1090.72 c #Conflicts: 657000 | #Constraints: 18358
1087.66/1090.72 c #Conflicts: 658000 | #Constraints: 19358
1087.66/1090.72 c #Conflicts: 659000 | #Constraints: 20358
1087.66/1090.72 c #Conflicts: 660000 | #Constraints: 21358
1087.66/1090.72 c #Conflicts: 661000 | #Constraints: 22358
1087.66/1090.72 c #Conflicts: 662000 | #Constraints: 23358
1087.66/1090.72 c #Conflicts: 663000 | #Constraints: 24358
1324.52/1328.24 c #Conflicts: 664000 | #Constraints: 25358
1324.52/1328.24 c #Conflicts: 665000 | #Constraints: 26358
1324.52/1328.24 c #Conflicts: 666000 | #Constraints: 27358
1324.52/1328.24 c #Conflicts: 667000 | #Constraints: 28358
1324.52/1328.24 c #Conflicts: 668000 | #Constraints: 29358
1324.52/1328.24 c #Conflicts: 669000 | #Constraints: 30358
1324.52/1328.24 c #Conflicts: 670000 | #Constraints: 31358
1324.52/1328.24 c #Conflicts: 671000 | #Constraints: 32358
1324.52/1328.24 c INPROCESSING
1324.52/1328.24 c GARBAGE COLLECT
1324.52/1328.24 c #Conflicts: 672000 | #Constraints: 17145
1324.52/1328.24 c #Conflicts: 673000 | #Constraints: 18145
1324.52/1328.24 c #Conflicts: 674000 | #Constraints: 19145
1324.52/1328.24 c #Conflicts: 675000 | #Constraints: 20145
1324.52/1328.24 c #Conflicts: 676000 | #Constraints: 21145
1324.52/1328.24 c #Conflicts: 677000 | #Constraints: 22145
1324.52/1328.24 c #Conflicts: 678000 | #Constraints: 23145
1324.52/1328.24 c #Conflicts: 679000 | #Constraints: 24145
1324.52/1328.24 c #Conflicts: 680000 | #Constraints: 25145
1324.52/1328.24 c #Conflicts: 681000 | #Constraints: 26145
1324.52/1328.24 c #Conflicts: 682000 | #Constraints: 27145
1324.52/1328.25 c #Conflicts: 683000 | #Constraints: 28145
1324.52/1328.25 c #Conflicts: 684000 | #Constraints: 29145
1324.52/1328.25 c #Conflicts: 685000 | #Constraints: 30145
1324.52/1328.25 c #Conflicts: 686000 | #Constraints: 31145
1324.52/1328.25 c #Conflicts: 687000 | #Constraints: 32145
1324.52/1328.25 c #Conflicts: 688000 | #Constraints: 33145
1324.52/1328.25 c INPROCESSING
1324.52/1328.25 c GARBAGE COLLECT
1324.52/1328.25 c #Conflicts: 689000 | #Constraints: 17747
1324.52/1328.25 c #Conflicts: 690000 | #Constraints: 18747
1324.52/1328.25 c #Conflicts: 691000 | #Constraints: 19747
1324.52/1328.25 c #Conflicts: 692000 | #Constraints: 20747
1324.52/1328.25 c #Conflicts: 693000 | #Constraints: 21747
1324.52/1328.25 c #Conflicts: 694000 | #Constraints: 22747
1324.52/1328.25 c #Conflicts: 695000 | #Constraints: 23747
1324.52/1328.25 c #Conflicts: 696000 | #Constraints: 24747
1324.52/1328.25 c #Conflicts: 697000 | #Constraints: 25747
1324.52/1328.25 c #Conflicts: 698000 | #Constraints: 26747
1324.52/1328.25 c #Conflicts: 699000 | #Constraints: 27747
1324.52/1328.25 c #Conflicts: 700000 | #Constraints: 28747
1324.52/1328.25 c #Conflicts: 701000 | #Constraints: 29747
1324.52/1328.25 c #Conflicts: 702000 | #Constraints: 30747
1324.52/1328.25 c #Conflicts: 703000 | #Constraints: 31747
1324.52/1328.25 c #Conflicts: 704000 | #Constraints: 32747
1324.52/1328.25 c #Conflicts: 705000 | #Constraints: 33747
1324.52/1328.25 c INPROCESSING
1324.52/1328.25 c GARBAGE COLLECT
1324.52/1328.25 c #Conflicts: 706000 | #Constraints: 18144
1324.52/1328.25 c #Conflicts: 707000 | #Constraints: 19144
1324.52/1328.25 c #Conflicts: 708000 | #Constraints: 20144
1324.52/1328.25 c #Conflicts: 709000 | #Constraints: 21144
1324.52/1328.25 c #Conflicts: 710000 | #Constraints: 22144
1324.52/1328.25 c #Conflicts: 711000 | #Constraints: 23144
1324.52/1328.25 c #Conflicts: 712000 | #Constraints: 24144
1324.52/1328.25 c #Conflicts: 713000 | #Constraints: 25144
1324.52/1328.25 c #Conflicts: 714000 | #Constraints: 26144
1324.52/1328.25 c #Conflicts: 715000 | #Constraints: 27144
1324.52/1328.25 c #Conflicts: 716000 | #Constraints: 28144
1324.52/1328.25 c #Conflicts: 717000 | #Constraints: 29144
1324.52/1328.25 c #Conflicts: 718000 | #Constraints: 30144
1324.52/1328.25 c #Conflicts: 719000 | #Constraints: 31144
1324.52/1328.25 c #Conflicts: 720000 | #Constraints: 32144
1324.52/1328.25 c #Conflicts: 721000 | #Constraints: 33144
1324.52/1328.25 c #Conflicts: 722000 | #Constraints: 34144
1324.52/1328.25 c INPROCESSING
1324.52/1328.25 c GARBAGE COLLECT
1324.52/1328.25 c #Conflicts: 723000 | #Constraints: 18373
1324.52/1328.25 c #Conflicts: 724000 | #Constraints: 19373
1324.52/1328.25 c #Conflicts: 725000 | #Constraints: 20373
1324.52/1328.25 c #Conflicts: 726000 | #Constraints: 21373
1324.52/1328.25 c #Conflicts: 727000 | #Constraints: 22373
1324.52/1328.25 c #Conflicts: 728000 | #Constraints: 23373
1324.52/1328.25 c #Conflicts: 729000 | #Constraints: 24373
1324.52/1328.25 c #Conflicts: 730000 | #Constraints: 25373
1324.52/1328.25 c #Conflicts: 731000 | #Constraints: 26373
1324.52/1328.25 c #Conflicts: 732000 | #Constraints: 27373
1324.52/1328.25 c #Conflicts: 733000 | #Constraints: 28373
1324.52/1328.25 c #Conflicts: 734000 | #Constraints: 29373
1324.52/1328.25 c #Conflicts: 735000 | #Constraints: 30373
1324.52/1328.25 c #Conflicts: 736000 | #Constraints: 31373
1324.52/1328.25 c #Conflicts: 737000 | #Constraints: 32373
1324.52/1328.25 c #Conflicts: 738000 | #Constraints: 33373
1324.52/1328.25 c #Conflicts: 739000 | #Constraints: 34373
1457.79/1461.80 c INPROCESSING
1457.79/1461.80 c GARBAGE COLLECT
1457.79/1461.80 c #Conflicts: 740000 | #Constraints: 18386
1457.79/1461.80 c #Conflicts: 741000 | #Constraints: 19386
1457.79/1461.80 c #Conflicts: 742000 | #Constraints: 20386
1457.79/1461.80 c #Conflicts: 743000 | #Constraints: 21386
1457.79/1461.80 c #Conflicts: 744000 | #Constraints: 22386
1457.79/1461.80 c #Conflicts: 745000 | #Constraints: 23386
1457.79/1461.80 c #Conflicts: 746000 | #Constraints: 24386
1457.79/1461.80 c #Conflicts: 747000 | #Constraints: 25386
1457.79/1461.80 c #Conflicts: 748000 | #Constraints: 26386
1457.79/1461.80 c #Conflicts: 749000 | #Constraints: 27386
1457.79/1461.80 c #Conflicts: 750000 | #Constraints: 28386
1457.79/1461.80 c #Conflicts: 751000 | #Constraints: 29386
1457.79/1461.80 c #Conflicts: 752000 | #Constraints: 30386
1457.79/1461.80 c #Conflicts: 753000 | #Constraints: 31386
1457.79/1461.80 c #Conflicts: 754000 | #Constraints: 32386
1457.79/1461.80 c #Conflicts: 755000 | #Constraints: 33386
1457.79/1461.80 c #Conflicts: 756000 | #Constraints: 34386
1457.79/1461.80 c INPROCESSING
1457.79/1461.80 c GARBAGE COLLECT
1457.79/1461.80 c #Conflicts: 757000 | #Constraints: 18166
1457.79/1461.80 c #Conflicts: 758000 | #Constraints: 19166
1457.79/1461.80 c #Conflicts: 759000 | #Constraints: 20166
1457.79/1461.80 c #Conflicts: 760000 | #Constraints: 21166
1457.79/1461.80 c #Conflicts: 761000 | #Constraints: 22166
1457.79/1461.80 c #Conflicts: 762000 | #Constraints: 23166
1457.79/1461.80 c #Conflicts: 763000 | #Constraints: 24166
1457.79/1461.80 c #Conflicts: 764000 | #Constraints: 25166
1457.79/1461.80 c #Conflicts: 765000 | #Constraints: 26166
1457.79/1461.80 c #Conflicts: 766000 | #Constraints: 27166
1457.79/1461.80 c #Conflicts: 767000 | #Constraints: 28166
1457.79/1461.80 c #Conflicts: 768000 | #Constraints: 29166
1457.79/1461.80 c #Conflicts: 769000 | #Constraints: 30166
1457.79/1461.80 c #Conflicts: 770000 | #Constraints: 31166
1457.79/1461.80 c #Conflicts: 771000 | #Constraints: 32166
1457.79/1461.80 c #Conflicts: 772000 | #Constraints: 33166
1457.79/1461.80 c #Conflicts: 773000 | #Constraints: 34166
1457.79/1461.80 c #Conflicts: 774000 | #Constraints: 35166
1457.79/1461.80 c INPROCESSING
1457.79/1461.80 c GARBAGE COLLECT
1457.79/1461.80 c #Conflicts: 775000 | #Constraints: 18763
1457.79/1461.80 c #Conflicts: 776000 | #Constraints: 19763
1457.79/1461.80 c #Conflicts: 777000 | #Constraints: 20763
1457.79/1461.80 c #Conflicts: 778000 | #Constraints: 21763
1457.79/1461.80 c #Conflicts: 779000 | #Constraints: 22763
1457.79/1461.80 c #Conflicts: 780000 | #Constraints: 23763
1457.79/1461.80 c #Conflicts: 781000 | #Constraints: 24763
1457.79/1461.80 c #Conflicts: 782000 | #Constraints: 25763
1457.79/1461.80 c #Conflicts: 783000 | #Constraints: 26763
1457.79/1461.80 c #Conflicts: 784000 | #Constraints: 27763
1457.79/1461.80 c #Conflicts: 785000 | #Constraints: 28763
1457.79/1461.80 c #Conflicts: 786000 | #Constraints: 29763
1457.79/1461.80 c #Conflicts: 787000 | #Constraints: 30763
1457.79/1461.80 c #Conflicts: 788000 | #Constraints: 31763
1457.79/1461.80 c #Conflicts: 789000 | #Constraints: 32763
1457.79/1461.80 c #Conflicts: 790000 | #Constraints: 33763
1457.79/1461.80 c #Conflicts: 791000 | #Constraints: 34763
1457.79/1461.80 c #Conflicts: 792000 | #Constraints: 35763
1457.79/1461.80 c INPROCESSING
1457.79/1461.80 c GARBAGE COLLECT
1457.79/1461.80 c #Conflicts: 793000 | #Constraints: 19155
1457.79/1461.80 c #Conflicts: 794000 | #Constraints: 20155
1457.79/1461.80 c #Conflicts: 795000 | #Constraints: 21155
1457.79/1461.80 c #Conflicts: 796000 | #Constraints: 22155
1457.79/1461.80 c #Conflicts: 797000 | #Constraints: 23155
1457.79/1461.80 c #Conflicts: 798000 | #Constraints: 24155
1457.79/1461.80 c #Conflicts: 799000 | #Constraints: 25155
1457.79/1461.80 c #Conflicts: 800000 | #Constraints: 26155
1457.79/1461.80 c #Conflicts: 801000 | #Constraints: 27155
1457.79/1461.80 c #Conflicts: 802000 | #Constraints: 28155
1457.79/1461.80 c #Conflicts: 803000 | #Constraints: 29155
1457.79/1461.80 c #Conflicts: 804000 | #Constraints: 30155
1457.79/1461.80 c #Conflicts: 805000 | #Constraints: 31155
1457.79/1461.80 c #Conflicts: 806000 | #Constraints: 32155
1457.79/1461.80 c #Conflicts: 807000 | #Constraints: 33155
1457.79/1461.80 c #Conflicts: 808000 | #Constraints: 34155
1457.79/1461.80 c #Conflicts: 809000 | #Constraints: 35155
1457.79/1461.80 c #Conflicts: 810000 | #Constraints: 36155
1457.79/1461.80 c INPROCESSING
1457.79/1461.80 c GARBAGE COLLECT
1457.79/1461.80 c #Conflicts: 811000 | #Constraints: 19341
1457.79/1461.80 c #Conflicts: 812000 | #Constraints: 20341
1457.79/1461.80 c #Conflicts: 813000 | #Constraints: 21341
1457.79/1461.80 c #Conflicts: 814000 | #Constraints: 22341
1457.79/1461.80 c #Conflicts: 815000 | #Constraints: 23341
1604.14/1608.59 c #Conflicts: 816000 | #Constraints: 24341
1604.14/1608.59 c #Conflicts: 817000 | #Constraints: 25341
1604.14/1608.59 c #Conflicts: 818000 | #Constraints: 26341
1604.14/1608.59 c #Conflicts: 819000 | #Constraints: 27341
1604.14/1608.59 c #Conflicts: 820000 | #Constraints: 28341
1604.14/1608.59 c #Conflicts: 821000 | #Constraints: 29341
1604.14/1608.59 c #Conflicts: 822000 | #Constraints: 30341
1604.14/1608.59 c #Conflicts: 823000 | #Constraints: 31341
1604.14/1608.59 c #Conflicts: 824000 | #Constraints: 32341
1604.14/1608.59 c #Conflicts: 825000 | #Constraints: 33341
1604.14/1608.59 c #Conflicts: 826000 | #Constraints: 34341
1604.14/1608.59 c #Conflicts: 827000 | #Constraints: 35341
1604.14/1608.59 c #Conflicts: 828000 | #Constraints: 36341
1604.14/1608.59 c INPROCESSING
1604.14/1608.59 c GARBAGE COLLECT
1604.14/1608.59 c #Conflicts: 829000 | #Constraints: 19357
1604.14/1608.59 c #Conflicts: 830000 | #Constraints: 20357
1604.14/1608.59 c #Conflicts: 831000 | #Constraints: 21357
1604.14/1608.59 c #Conflicts: 832000 | #Constraints: 22357
1604.14/1608.59 c #Conflicts: 833000 | #Constraints: 23357
1604.14/1608.59 c #Conflicts: 834000 | #Constraints: 24357
1604.14/1608.59 c #Conflicts: 835000 | #Constraints: 25357
1604.14/1608.59 c #Conflicts: 836000 | #Constraints: 26357
1604.14/1608.59 c #Conflicts: 837000 | #Constraints: 27357
1604.14/1608.59 c #Conflicts: 838000 | #Constraints: 28357
1604.14/1608.59 c #Conflicts: 839000 | #Constraints: 29357
1604.14/1608.59 c #Conflicts: 840000 | #Constraints: 30357
1604.14/1608.59 c #Conflicts: 841000 | #Constraints: 31357
1604.14/1608.59 c #Conflicts: 842000 | #Constraints: 32357
1604.14/1608.59 c #Conflicts: 843000 | #Constraints: 33357
1604.14/1608.59 c #Conflicts: 844000 | #Constraints: 34357
1604.14/1608.59 c #Conflicts: 845000 | #Constraints: 35357
1604.14/1608.59 c #Conflicts: 846000 | #Constraints: 36357
1604.14/1608.59 c INPROCESSING
1604.14/1608.59 c GARBAGE COLLECT
1604.14/1608.59 c #Conflicts: 847000 | #Constraints: 19153
1604.14/1608.59 c #Conflicts: 848000 | #Constraints: 20153
1604.14/1608.59 c #Conflicts: 849000 | #Constraints: 21153
1604.14/1608.59 c #Conflicts: 850000 | #Constraints: 22153
1604.14/1608.59 c #Conflicts: 851000 | #Constraints: 23153
1604.14/1608.59 c #Conflicts: 852000 | #Constraints: 24153
1604.14/1608.59 c #Conflicts: 853000 | #Constraints: 25153
1604.14/1608.59 c #Conflicts: 854000 | #Constraints: 26153
1604.14/1608.59 c #Conflicts: 855000 | #Constraints: 27153
1604.14/1608.59 c #Conflicts: 856000 | #Constraints: 28153
1604.14/1608.59 c #Conflicts: 857000 | #Constraints: 29153
1604.14/1608.59 c #Conflicts: 858000 | #Constraints: 30153
1604.14/1608.59 c #Conflicts: 859000 | #Constraints: 31153
1604.14/1608.59 c #Conflicts: 860000 | #Constraints: 32153
1604.14/1608.59 c #Conflicts: 861000 | #Constraints: 33153
1604.14/1608.59 c #Conflicts: 862000 | #Constraints: 34153
1604.14/1608.59 c #Conflicts: 863000 | #Constraints: 35153
1604.14/1608.59 c #Conflicts: 864000 | #Constraints: 36153
1604.14/1608.59 c #Conflicts: 865000 | #Constraints: 37153
1604.14/1608.59 c INPROCESSING
1604.14/1608.59 c GARBAGE COLLECT
1604.14/1608.59 c #Conflicts: 866000 | #Constraints: 19752
1604.14/1608.59 c #Conflicts: 867000 | #Constraints: 20752
1604.14/1608.59 c #Conflicts: 868000 | #Constraints: 21752
1604.14/1608.59 c #Conflicts: 869000 | #Constraints: 22752
1604.14/1608.59 c #Conflicts: 870000 | #Constraints: 23752
1604.14/1608.59 c #Conflicts: 871000 | #Constraints: 24752
1604.14/1608.59 c #Conflicts: 872000 | #Constraints: 25752
1604.14/1608.59 c #Conflicts: 873000 | #Constraints: 26752
1604.14/1608.59 c #Conflicts: 874000 | #Constraints: 27752
1604.14/1608.59 c #Conflicts: 875000 | #Constraints: 28752
1604.14/1608.59 c #Conflicts: 876000 | #Constraints: 29752
1604.14/1608.59 c #Conflicts: 877000 | #Constraints: 30752
1604.14/1608.59 c #Conflicts: 878000 | #Constraints: 31752
1604.14/1608.59 c #Conflicts: 879000 | #Constraints: 32752
1604.14/1608.59 c #Conflicts: 880000 | #Constraints: 33752
1604.14/1608.59 c #Conflicts: 881000 | #Constraints: 34752
1604.14/1608.59 c #Conflicts: 882000 | #Constraints: 35752
1604.14/1608.59 c #Conflicts: 883000 | #Constraints: 36752
1604.14/1608.59 c #Conflicts: 884000 | #Constraints: 37752
1604.14/1608.59 c INPROCESSING
1604.14/1608.59 c GARBAGE COLLECT
1604.14/1608.59 c #Conflicts: 885000 | #Constraints: 20148
1604.14/1608.59 c #Conflicts: 886000 | #Constraints: 21148
1604.14/1608.59 c #Conflicts: 887000 | #Constraints: 22148
1604.14/1608.59 c #Conflicts: 888000 | #Constraints: 23148
1604.14/1608.59 c #Conflicts: 889000 | #Constraints: 24148
1604.14/1608.59 c #Conflicts: 890000 | #Constraints: 25148
1604.14/1608.59 c #Conflicts: 891000 | #Constraints: 26148
1767.39/1772.25 c #Conflicts: 892000 | #Constraints: 27148
1767.39/1772.25 c #Conflicts: 893000 | #Constraints: 28148
1767.39/1772.25 c #Conflicts: 894000 | #Constraints: 29148
1767.39/1772.25 c #Conflicts: 895000 | #Constraints: 30148
1767.39/1772.25 c #Conflicts: 896000 | #Constraints: 31148
1767.39/1772.25 c #Conflicts: 897000 | #Constraints: 32148
1767.39/1772.25 c #Conflicts: 898000 | #Constraints: 33148
1767.39/1772.25 c #Conflicts: 899000 | #Constraints: 34148
1767.39/1772.25 c #Conflicts: 900000 | #Constraints: 35148
1767.39/1772.25 c #Conflicts: 901000 | #Constraints: 36148
1767.39/1772.25 c #Conflicts: 902000 | #Constraints: 37148
1767.39/1772.25 c #Conflicts: 903000 | #Constraints: 38148
1767.39/1772.25 c INPROCESSING
1767.39/1772.25 c GARBAGE COLLECT
1767.39/1772.25 c #Conflicts: 904000 | #Constraints: 20354
1767.39/1772.25 c #Conflicts: 905000 | #Constraints: 21354
1767.39/1772.25 c #Conflicts: 906000 | #Constraints: 22354
1767.39/1772.25 c #Conflicts: 907000 | #Constraints: 23354
1767.39/1772.25 c #Conflicts: 908000 | #Constraints: 24354
1767.39/1772.25 c #Conflicts: 909000 | #Constraints: 25354
1767.39/1772.25 c #Conflicts: 910000 | #Constraints: 26354
1767.39/1772.25 c #Conflicts: 911000 | #Constraints: 27354
1767.39/1772.25 c #Conflicts: 912000 | #Constraints: 28354
1767.39/1772.25 c #Conflicts: 913000 | #Constraints: 29354
1767.39/1772.25 c #Conflicts: 914000 | #Constraints: 30354
1767.39/1772.25 c #Conflicts: 915000 | #Constraints: 31354
1767.39/1772.25 c #Conflicts: 916000 | #Constraints: 32354
1767.39/1772.25 c #Conflicts: 917000 | #Constraints: 33354
1767.39/1772.25 c #Conflicts: 918000 | #Constraints: 34354
1767.39/1772.25 c #Conflicts: 919000 | #Constraints: 35354
1767.39/1772.25 c #Conflicts: 920000 | #Constraints: 36354
1767.39/1772.25 c #Conflicts: 921000 | #Constraints: 37354
1767.39/1772.25 c #Conflicts: 922000 | #Constraints: 38354
1767.39/1772.25 c INPROCESSING
1767.39/1772.25 c GARBAGE COLLECT
1767.39/1772.25 c #Conflicts: 923000 | #Constraints: 20343
1767.39/1772.25 c #Conflicts: 924000 | #Constraints: 21343
1767.39/1772.25 c #Conflicts: 925000 | #Constraints: 22343
1767.39/1772.25 c #Conflicts: 926000 | #Constraints: 23343
1767.39/1772.25 c #Conflicts: 927000 | #Constraints: 24343
1767.39/1772.25 c #Conflicts: 928000 | #Constraints: 25343
1767.39/1772.25 c #Conflicts: 929000 | #Constraints: 26343
1767.39/1772.25 c #Conflicts: 930000 | #Constraints: 27343
1767.39/1772.25 c #Conflicts: 931000 | #Constraints: 28343
1767.39/1772.25 c #Conflicts: 932000 | #Constraints: 29343
1767.39/1772.25 c #Conflicts: 933000 | #Constraints: 30343
1767.39/1772.25 c #Conflicts: 934000 | #Constraints: 31343
1767.39/1772.25 c #Conflicts: 935000 | #Constraints: 32343
1767.39/1772.25 c #Conflicts: 936000 | #Constraints: 33343
1767.39/1772.25 c #Conflicts: 937000 | #Constraints: 34343
1767.39/1772.25 c #Conflicts: 938000 | #Constraints: 35343
1767.39/1772.25 c #Conflicts: 939000 | #Constraints: 36343
1767.39/1772.25 c #Conflicts: 940000 | #Constraints: 37343
1767.39/1772.25 c #Conflicts: 941000 | #Constraints: 38343
1767.39/1772.25 c INPROCESSING
1767.39/1772.25 c GARBAGE COLLECT
1767.39/1772.25 c #Conflicts: 942000 | #Constraints: 20172
1767.39/1772.25 c #Conflicts: 943000 | #Constraints: 21172
1767.39/1772.25 c #Conflicts: 944000 | #Constraints: 22172
1767.39/1772.25 c #Conflicts: 945000 | #Constraints: 23172
1767.39/1772.25 c #Conflicts: 946000 | #Constraints: 24172
1767.39/1772.25 c #Conflicts: 947000 | #Constraints: 25172
1767.39/1772.25 c #Conflicts: 948000 | #Constraints: 26172
1767.39/1772.25 c #Conflicts: 949000 | #Constraints: 27172
1767.39/1772.25 c #Conflicts: 950000 | #Constraints: 28172
1767.39/1772.25 c #Conflicts: 951000 | #Constraints: 29172
1767.39/1772.25 c #Conflicts: 952000 | #Constraints: 30172
1767.39/1772.25 c #Conflicts: 953000 | #Constraints: 31172
1767.39/1772.25 c #Conflicts: 954000 | #Constraints: 32172
1767.39/1772.25 c #Conflicts: 955000 | #Constraints: 33172
1767.39/1772.25 c #Conflicts: 956000 | #Constraints: 34172
1767.39/1772.25 c #Conflicts: 957000 | #Constraints: 35172
1767.39/1772.25 c #Conflicts: 958000 | #Constraints: 36172
1767.39/1772.25 c #Conflicts: 959000 | #Constraints: 37172
1767.39/1772.25 c #Conflicts: 960000 | #Constraints: 38172
1767.39/1772.25 c #Conflicts: 961000 | #Constraints: 39172
1767.39/1772.25 c INPROCESSING
1767.39/1772.25 c GARBAGE COLLECT
1767.39/1772.25 c #Conflicts: 962000 | #Constraints: 20812
1767.39/1772.25 c #Conflicts: 963000 | #Constraints: 21812
1767.39/1772.25 c #Conflicts: 964000 | #Constraints: 22812
1767.39/1772.25 c #Conflicts: 965000 | #Constraints: 23812
1767.39/1772.25 c #Conflicts: 966000 | #Constraints: 24812
1767.39/1772.25 c #Conflicts: 967000 | #Constraints: 25812
1767.39/1772.25 c #Conflicts: 968000 | #Constraints: 26812
1956.54/1961.98 c #Conflicts: 969000 | #Constraints: 27812
1956.54/1961.98 c #Conflicts: 970000 | #Constraints: 28812
1956.54/1961.98 c #Conflicts: 971000 | #Constraints: 29812
1956.54/1961.98 c #Conflicts: 972000 | #Constraints: 30812
1956.54/1961.98 c #Conflicts: 973000 | #Constraints: 31812
1956.54/1961.98 c #Conflicts: 974000 | #Constraints: 32812
1956.54/1961.98 c #Conflicts: 975000 | #Constraints: 33812
1956.54/1961.98 c #Conflicts: 976000 | #Constraints: 34812
1956.54/1961.98 c #Conflicts: 977000 | #Constraints: 35812
1956.54/1961.98 c #Conflicts: 978000 | #Constraints: 36812
1956.54/1961.98 c #Conflicts: 979000 | #Constraints: 37812
1956.54/1961.98 c #Conflicts: 980000 | #Constraints: 38812
1956.54/1961.98 c #Conflicts: 981000 | #Constraints: 39812
1956.54/1961.98 c INPROCESSING
1956.54/1961.98 c GARBAGE COLLECT
1956.54/1961.98 c #Conflicts: 982000 | #Constraints: 21222
1956.54/1961.98 c #Conflicts: 983000 | #Constraints: 22222
1956.54/1961.98 c #Conflicts: 984000 | #Constraints: 23222
1956.54/1961.98 c #Conflicts: 985000 | #Constraints: 24222
1956.54/1961.98 c #Conflicts: 986000 | #Constraints: 25222
1956.54/1961.98 c #Conflicts: 987000 | #Constraints: 26222
1956.54/1961.98 c #Conflicts: 988000 | #Constraints: 27222
1956.54/1961.98 c #Conflicts: 989000 | #Constraints: 28222
1956.54/1961.98 c #Conflicts: 990000 | #Constraints: 29222
1956.54/1961.98 c #Conflicts: 991000 | #Constraints: 30222
1956.54/1961.98 c #Conflicts: 992000 | #Constraints: 31222
1956.54/1961.98 c #Conflicts: 993000 | #Constraints: 32222
1956.54/1961.98 c #Conflicts: 994000 | #Constraints: 33222
1956.54/1961.98 c #Conflicts: 995000 | #Constraints: 34222
1956.54/1961.98 c #Conflicts: 996000 | #Constraints: 35222
1956.54/1961.98 c #Conflicts: 997000 | #Constraints: 36222
1956.54/1961.98 c #Conflicts: 998000 | #Constraints: 37222
1956.54/1961.98 c #Conflicts: 999000 | #Constraints: 38222
1956.54/1961.98 c #Conflicts: 1000000 | #Constraints: 39222
1956.54/1961.98 c #Conflicts: 1001000 | #Constraints: 40222
1956.54/1961.98 c INPROCESSING
1956.54/1961.98 c GARBAGE COLLECT
1956.54/1961.98 c #Conflicts: 1002000 | #Constraints: 21413
1956.54/1961.98 c #Conflicts: 1003000 | #Constraints: 22413
1956.54/1961.98 c #Conflicts: 1004000 | #Constraints: 23413
1956.54/1961.98 c #Conflicts: 1005000 | #Constraints: 24413
1956.54/1961.98 c #Conflicts: 1006000 | #Constraints: 25413
1956.54/1961.98 c #Conflicts: 1007000 | #Constraints: 26413
1956.54/1961.98 c #Conflicts: 1008000 | #Constraints: 27413
1956.54/1961.98 c #Conflicts: 1009000 | #Constraints: 28413
1956.54/1961.98 c #Conflicts: 1010000 | #Constraints: 29413
1956.54/1961.98 c #Conflicts: 1011000 | #Constraints: 30413
1956.54/1961.98 c #Conflicts: 1012000 | #Constraints: 31413
1956.54/1961.98 c #Conflicts: 1013000 | #Constraints: 32413
1956.54/1961.98 c #Conflicts: 1014000 | #Constraints: 33413
1956.54/1961.98 c #Conflicts: 1015000 | #Constraints: 34413
1956.54/1961.98 c #Conflicts: 1016000 | #Constraints: 35413
1956.54/1961.98 c #Conflicts: 1017000 | #Constraints: 36413
1956.54/1961.98 c #Conflicts: 1018000 | #Constraints: 37413
1956.54/1961.98 c #Conflicts: 1019000 | #Constraints: 38413
1956.54/1961.98 c #Conflicts: 1020000 | #Constraints: 39413
1956.54/1961.98 c #Conflicts: 1021000 | #Constraints: 40413
1956.54/1961.98 c INPROCESSING
1956.54/1961.98 c GARBAGE COLLECT
1956.54/1961.98 c #Conflicts: 1022000 | #Constraints: 21394
1956.54/1961.98 c #Conflicts: 1023000 | #Constraints: 22394
1956.54/1961.98 c #Conflicts: 1024000 | #Constraints: 23394
1956.54/1961.98 c #Conflicts: 1025000 | #Constraints: 24394
1956.54/1961.98 c #Conflicts: 1026000 | #Constraints: 25394
1956.54/1961.98 c #Conflicts: 1027000 | #Constraints: 26394
1956.54/1961.98 c #Conflicts: 1028000 | #Constraints: 27394
1956.54/1961.98 c #Conflicts: 1029000 | #Constraints: 28394
1956.54/1961.98 c #Conflicts: 1030000 | #Constraints: 29394
1956.54/1961.98 c #Conflicts: 1031000 | #Constraints: 30394
1956.54/1961.98 c #Conflicts: 1032000 | #Constraints: 31394
1956.54/1961.98 c #Conflicts: 1033000 | #Constraints: 32394
1956.54/1961.98 c #Conflicts: 1034000 | #Constraints: 33394
1956.54/1961.98 c #Conflicts: 1035000 | #Constraints: 34394
1956.54/1961.98 c #Conflicts: 1036000 | #Constraints: 35394
1956.54/1961.98 c #Conflicts: 1037000 | #Constraints: 36394
1956.54/1961.98 c #Conflicts: 1038000 | #Constraints: 37394
1956.54/1961.98 c #Conflicts: 1039000 | #Constraints: 38394
1956.54/1961.98 c #Conflicts: 1040000 | #Constraints: 39394
1956.54/1961.98 c #Conflicts: 1041000 | #Constraints: 40394
1956.54/1961.98 c INPROCESSING
1956.54/1961.98 c GARBAGE COLLECT
1956.54/1961.98 c #Conflicts: 1042000 | #Constraints: 21202
1956.54/1961.98 c #Conflicts: 1043000 | #Constraints: 22202
1956.54/1961.98 c #Conflicts: 1044000 | #Constraints: 23202
2338.11/2344.65 c #Conflicts: 1045000 | #Constraints: 24202
2338.11/2344.65 c #Conflicts: 1046000 | #Constraints: 25202
2338.11/2344.65 c #Conflicts: 1047000 | #Constraints: 26202
2338.11/2344.65 c #Conflicts: 1048000 | #Constraints: 27202
2338.11/2344.65 c #Conflicts: 1049000 | #Constraints: 28202
2338.11/2344.65 c #Conflicts: 1050000 | #Constraints: 29202
2338.11/2344.65 c #Conflicts: 1051000 | #Constraints: 30202
2338.11/2344.65 c #Conflicts: 1052000 | #Constraints: 31202
2338.11/2344.65 c #Conflicts: 1053000 | #Constraints: 32202
2338.11/2344.65 c #Conflicts: 1054000 | #Constraints: 33202
2338.11/2344.65 c #Conflicts: 1055000 | #Constraints: 34202
2338.11/2344.65 c #Conflicts: 1056000 | #Constraints: 35202
2338.11/2344.65 c #Conflicts: 1057000 | #Constraints: 36202
2338.11/2344.65 c #Conflicts: 1058000 | #Constraints: 37202
2338.11/2344.65 c #Conflicts: 1059000 | #Constraints: 38202
2338.11/2344.65 c #Conflicts: 1060000 | #Constraints: 39202
2338.11/2344.65 c #Conflicts: 1061000 | #Constraints: 40202
2338.11/2344.65 c #Conflicts: 1062000 | #Constraints: 41202
2338.11/2344.65 c INPROCESSING
2338.11/2344.65 c GARBAGE COLLECT
2338.11/2344.65 c #Conflicts: 1063000 | #Constraints: 21806
2338.11/2344.65 c #Conflicts: 1064000 | #Constraints: 22806
2338.11/2344.65 c #Conflicts: 1065000 | #Constraints: 23806
2338.11/2344.65 c #Conflicts: 1066000 | #Constraints: 24806
2338.11/2344.65 c #Conflicts: 1067000 | #Constraints: 25806
2338.11/2344.65 c #Conflicts: 1068000 | #Constraints: 26806
2338.11/2344.65 c #Conflicts: 1069000 | #Constraints: 27806
2338.11/2344.65 c #Conflicts: 1070000 | #Constraints: 28806
2338.11/2344.65 c #Conflicts: 1071000 | #Constraints: 29806
2338.11/2344.65 c #Conflicts: 1072000 | #Constraints: 30806
2338.11/2344.65 c #Conflicts: 1073000 | #Constraints: 31806
2338.11/2344.65 c #Conflicts: 1074000 | #Constraints: 32806
2338.11/2344.65 c #Conflicts: 1075000 | #Constraints: 33806
2338.11/2344.65 c #Conflicts: 1076000 | #Constraints: 34806
2338.11/2344.65 c #Conflicts: 1077000 | #Constraints: 35806
2338.11/2344.65 c #Conflicts: 1078000 | #Constraints: 36806
2338.11/2344.65 c #Conflicts: 1079000 | #Constraints: 37806
2338.11/2344.65 c #Conflicts: 1080000 | #Constraints: 38806
2338.11/2344.65 c #Conflicts: 1081000 | #Constraints: 39806
2338.11/2344.65 c #Conflicts: 1082000 | #Constraints: 40806
2338.11/2344.65 c #Conflicts: 1083000 | #Constraints: 41806
2338.11/2344.65 c INPROCESSING
2338.11/2344.65 c GARBAGE COLLECT
2338.11/2344.65 c #Conflicts: 1084000 | #Constraints: 22230
2338.11/2344.65 c #Conflicts: 1085000 | #Constraints: 23230
2338.11/2344.65 c #Conflicts: 1086000 | #Constraints: 24230
2338.11/2344.65 c #Conflicts: 1087000 | #Constraints: 25230
2338.11/2344.65 c #Conflicts: 1088000 | #Constraints: 26230
2338.11/2344.65 c #Conflicts: 1089000 | #Constraints: 27230
2338.11/2344.65 c #Conflicts: 1090000 | #Constraints: 28230
2338.11/2344.65 c #Conflicts: 1091000 | #Constraints: 29230
2338.11/2344.65 c #Conflicts: 1092000 | #Constraints: 30230
2338.11/2344.65 c #Conflicts: 1093000 | #Constraints: 31230
2338.11/2344.65 c #Conflicts: 1094000 | #Constraints: 32230
2338.11/2344.65 c #Conflicts: 1095000 | #Constraints: 33230
2338.11/2344.65 c #Conflicts: 1096000 | #Constraints: 34230
2338.11/2344.65 c #Conflicts: 1097000 | #Constraints: 35230
2338.11/2344.65 c #Conflicts: 1098000 | #Constraints: 36230
2338.11/2344.65 c #Conflicts: 1099000 | #Constraints: 37230
2338.11/2344.65 c #Conflicts: 1100000 | #Constraints: 38230
2338.11/2344.65 c #Conflicts: 1101000 | #Constraints: 39230
2338.11/2344.65 c #Conflicts: 1102000 | #Constraints: 40230
2338.11/2344.65 c #Conflicts: 1103000 | #Constraints: 41230
2338.11/2344.65 c #Conflicts: 1104000 | #Constraints: 42230
2338.11/2344.65 c INPROCESSING
2338.11/2344.65 c GARBAGE COLLECT
2338.11/2344.65 c #Conflicts: 1105000 | #Constraints: 22423
2338.11/2344.65 c #Conflicts: 1106000 | #Constraints: 23423
2338.11/2344.65 c #Conflicts: 1107000 | #Constraints: 24423
2338.11/2344.65 c #Conflicts: 1108000 | #Constraints: 25423
2338.11/2344.65 c #Conflicts: 1109000 | #Constraints: 26423
2338.11/2344.65 c #Conflicts: 1110000 | #Constraints: 27423
2338.11/2344.65 c #Conflicts: 1111000 | #Constraints: 28423
2338.11/2344.65 c #Conflicts: 1112000 | #Constraints: 29423
2338.11/2344.65 c #Conflicts: 1113000 | #Constraints: 30423
2338.11/2344.65 c #Conflicts: 1114000 | #Constraints: 31423
2338.11/2344.65 c #Conflicts: 1115000 | #Constraints: 32423
2338.11/2344.65 c #Conflicts: 1116000 | #Constraints: 33423
2338.11/2344.65 c #Conflicts: 1117000 | #Constraints: 34423
2338.11/2344.65 c #Conflicts: 1118000 | #Constraints: 35423
2338.11/2344.65 c #Conflicts: 1119000 | #Constraints: 36423
2338.11/2344.65 c #Conflicts: 1120000 | #Constraints: 37423
2338.11/2344.65 c #Conflicts: 1121000 | #Constraints: 38423
2464.80/2471.60 c #Conflicts: 1122000 | #Constraints: 39423
2464.80/2471.60 c #Conflicts: 1123000 | #Constraints: 40423
2464.80/2471.60 c #Conflicts: 1124000 | #Constraints: 41423
2464.80/2471.60 c #Conflicts: 1125000 | #Constraints: 42423
2464.80/2471.60 c INPROCESSING
2464.80/2471.60 c GARBAGE COLLECT
2464.80/2471.60 c #Conflicts: 1126000 | #Constraints: 22423
2464.80/2471.60 c #Conflicts: 1127000 | #Constraints: 23423
2464.80/2471.60 c #Conflicts: 1128000 | #Constraints: 24423
2464.80/2471.60 c #Conflicts: 1129000 | #Constraints: 25423
2464.80/2471.60 c #Conflicts: 1130000 | #Constraints: 26423
2464.80/2471.60 c #Conflicts: 1131000 | #Constraints: 27423
2464.80/2471.60 c #Conflicts: 1132000 | #Constraints: 28423
2464.80/2471.60 c #Conflicts: 1133000 | #Constraints: 29423
2464.80/2471.60 c #Conflicts: 1134000 | #Constraints: 30423
2464.80/2471.60 c #Conflicts: 1135000 | #Constraints: 31423
2464.80/2471.60 c #Conflicts: 1136000 | #Constraints: 32423
2464.80/2471.60 c #Conflicts: 1137000 | #Constraints: 33423
2464.80/2471.60 c #Conflicts: 1138000 | #Constraints: 34423
2464.80/2471.60 c #Conflicts: 1139000 | #Constraints: 35423
2464.80/2471.60 c #Conflicts: 1140000 | #Constraints: 36423
2464.80/2471.60 c #Conflicts: 1141000 | #Constraints: 37423
2464.80/2471.60 c #Conflicts: 1142000 | #Constraints: 38423
2464.80/2471.60 c #Conflicts: 1143000 | #Constraints: 39423
2464.80/2471.60 c #Conflicts: 1144000 | #Constraints: 40423
2464.80/2471.60 c #Conflicts: 1145000 | #Constraints: 41423
2464.80/2471.60 c #Conflicts: 1146000 | #Constraints: 42423
2464.80/2471.60 c INPROCESSING
2464.80/2471.60 c GARBAGE COLLECT
2464.80/2471.60 c #Conflicts: 1147000 | #Constraints: 22184
2464.80/2471.60 c #Conflicts: 1148000 | #Constraints: 23184
2464.80/2471.60 c #Conflicts: 1149000 | #Constraints: 24184
2464.80/2471.60 c #Conflicts: 1150000 | #Constraints: 25184
2464.80/2471.60 c #Conflicts: 1151000 | #Constraints: 26184
2464.80/2471.60 c #Conflicts: 1152000 | #Constraints: 27184
2464.80/2471.60 c #Conflicts: 1153000 | #Constraints: 28184
2464.80/2471.60 c #Conflicts: 1154000 | #Constraints: 29184
2464.80/2471.60 c #Conflicts: 1155000 | #Constraints: 30184
2464.80/2471.60 c #Conflicts: 1156000 | #Constraints: 31184
2464.80/2471.60 c #Conflicts: 1157000 | #Constraints: 32184
2464.80/2471.60 c #Conflicts: 1158000 | #Constraints: 33184
2464.80/2471.60 c #Conflicts: 1159000 | #Constraints: 34184
2464.80/2471.60 c #Conflicts: 1160000 | #Constraints: 35184
2464.80/2471.60 c #Conflicts: 1161000 | #Constraints: 36184
2464.80/2471.60 c #Conflicts: 1162000 | #Constraints: 37184
2464.80/2471.60 c #Conflicts: 1163000 | #Constraints: 38184
2464.80/2471.60 c #Conflicts: 1164000 | #Constraints: 39184
2464.80/2471.60 c #Conflicts: 1165000 | #Constraints: 40184
2464.80/2471.60 c #Conflicts: 1166000 | #Constraints: 41184
2464.80/2471.60 c #Conflicts: 1167000 | #Constraints: 42184
2464.80/2471.60 c #Conflicts: 1168000 | #Constraints: 43184
2464.80/2471.60 c INPROCESSING
2464.80/2471.60 c GARBAGE COLLECT
2464.80/2471.60 c #Conflicts: 1169000 | #Constraints: 22768
2464.80/2471.60 c #Conflicts: 1170000 | #Constraints: 23768
2464.80/2471.60 c #Conflicts: 1171000 | #Constraints: 24768
2464.80/2471.60 c #Conflicts: 1172000 | #Constraints: 25768
2464.80/2471.60 c #Conflicts: 1173000 | #Constraints: 26768
2464.80/2471.60 c #Conflicts: 1174000 | #Constraints: 27768
2464.80/2471.60 c #Conflicts: 1175000 | #Constraints: 28768
2464.80/2471.60 c #Conflicts: 1176000 | #Constraints: 29768
2464.80/2471.60 c #Conflicts: 1177000 | #Constraints: 30768
2464.80/2471.60 c #Conflicts: 1178000 | #Constraints: 31768
2464.80/2471.60 c #Conflicts: 1179000 | #Constraints: 32768
2464.80/2471.60 c #Conflicts: 1180000 | #Constraints: 33768
2464.80/2471.60 c #Conflicts: 1181000 | #Constraints: 34768
2464.80/2471.60 c #Conflicts: 1182000 | #Constraints: 35768
2464.80/2471.60 c #Conflicts: 1183000 | #Constraints: 36768
2464.80/2471.60 c #Conflicts: 1184000 | #Constraints: 37768
2464.80/2471.60 c #Conflicts: 1185000 | #Constraints: 38768
2464.80/2471.60 c #Conflicts: 1186000 | #Constraints: 39768
2464.80/2471.60 c #Conflicts: 1187000 | #Constraints: 40768
2464.80/2471.60 c #Conflicts: 1188000 | #Constraints: 41768
2464.80/2471.60 c #Conflicts: 1189000 | #Constraints: 42768
2464.80/2471.60 c #Conflicts: 1190000 | #Constraints: 43768
2464.80/2471.60 c INPROCESSING
2464.80/2471.60 c GARBAGE COLLECT
2464.80/2471.60 c #Conflicts: 1191000 | #Constraints: 23169
2464.80/2471.60 c #Conflicts: 1192000 | #Constraints: 24169
2464.80/2471.60 c #Conflicts: 1193000 | #Constraints: 25169
2464.80/2471.60 c #Conflicts: 1194000 | #Constraints: 26169
2464.80/2471.60 c #Conflicts: 1195000 | #Constraints: 27169
2464.80/2471.60 c #Conflicts: 1196000 | #Constraints: 28169
2464.80/2471.60 c #Conflicts: 1197000 | #Constraints: 29169
2657.72/2665.07 c #Conflicts: 1198000 | #Constraints: 30169
2657.72/2665.07 c #Conflicts: 1199000 | #Constraints: 31169
2657.72/2665.07 c #Conflicts: 1200000 | #Constraints: 32169
2657.72/2665.07 c #Conflicts: 1201000 | #Constraints: 33169
2657.72/2665.07 c #Conflicts: 1202000 | #Constraints: 34169
2657.72/2665.07 c #Conflicts: 1203000 | #Constraints: 35169
2657.72/2665.07 c #Conflicts: 1204000 | #Constraints: 36169
2657.72/2665.07 c #Conflicts: 1205000 | #Constraints: 37169
2657.72/2665.07 c #Conflicts: 1206000 | #Constraints: 38169
2657.72/2665.07 c #Conflicts: 1207000 | #Constraints: 39169
2657.72/2665.07 c #Conflicts: 1208000 | #Constraints: 40169
2657.72/2665.07 c #Conflicts: 1209000 | #Constraints: 41169
2657.72/2665.07 c #Conflicts: 1210000 | #Constraints: 42169
2657.72/2665.07 c #Conflicts: 1211000 | #Constraints: 43169
2657.72/2665.07 c #Conflicts: 1212000 | #Constraints: 44169
2657.72/2665.07 c INPROCESSING
2657.72/2665.07 c GARBAGE COLLECT
2657.72/2665.07 c #Conflicts: 1213000 | #Constraints: 23360
2657.72/2665.07 c #Conflicts: 1214000 | #Constraints: 24360
2657.72/2665.07 c #Conflicts: 1215000 | #Constraints: 25360
2657.72/2665.07 c #Conflicts: 1216000 | #Constraints: 26360
2657.72/2665.07 c #Conflicts: 1217000 | #Constraints: 27360
2657.72/2665.07 c #Conflicts: 1218000 | #Constraints: 28360
2657.72/2665.07 c #Conflicts: 1219000 | #Constraints: 29360
2657.72/2665.07 c #Conflicts: 1220000 | #Constraints: 30360
2657.72/2665.07 c #Conflicts: 1221000 | #Constraints: 31360
2657.72/2665.07 c #Conflicts: 1222000 | #Constraints: 32360
2657.72/2665.07 c #Conflicts: 1223000 | #Constraints: 33360
2657.72/2665.07 c #Conflicts: 1224000 | #Constraints: 34360
2657.72/2665.07 c #Conflicts: 1225000 | #Constraints: 35360
2657.72/2665.07 c #Conflicts: 1226000 | #Constraints: 36360
2657.72/2665.07 c #Conflicts: 1227000 | #Constraints: 37360
2657.72/2665.07 c #Conflicts: 1228000 | #Constraints: 38360
2657.72/2665.07 c #Conflicts: 1229000 | #Constraints: 39360
2657.72/2665.07 c #Conflicts: 1230000 | #Constraints: 40360
2657.72/2665.07 c #Conflicts: 1231000 | #Constraints: 41360
2657.72/2665.07 c #Conflicts: 1232000 | #Constraints: 42360
2657.72/2665.07 c #Conflicts: 1233000 | #Constraints: 43360
2657.72/2665.07 c #Conflicts: 1234000 | #Constraints: 44360
2657.72/2665.07 c INPROCESSING
2657.72/2665.07 c GARBAGE COLLECT
2657.72/2665.07 c #Conflicts: 1235000 | #Constraints: 23357
2657.72/2665.07 c #Conflicts: 1236000 | #Constraints: 24357
2657.72/2665.07 c #Conflicts: 1237000 | #Constraints: 25357
2657.72/2665.07 c #Conflicts: 1238000 | #Constraints: 26357
2657.72/2665.07 c #Conflicts: 1239000 | #Constraints: 27357
2657.72/2665.07 c #Conflicts: 1240000 | #Constraints: 28357
2657.72/2665.07 c #Conflicts: 1241000 | #Constraints: 29357
2657.72/2665.07 c #Conflicts: 1242000 | #Constraints: 30357
2657.72/2665.07 c #Conflicts: 1243000 | #Constraints: 31357
2657.72/2665.07 c #Conflicts: 1244000 | #Constraints: 32357
2657.72/2665.07 c #Conflicts: 1245000 | #Constraints: 33357
2657.72/2665.07 c #Conflicts: 1246000 | #Constraints: 34357
2657.72/2665.07 c #Conflicts: 1247000 | #Constraints: 35357
2657.72/2665.07 c #Conflicts: 1248000 | #Constraints: 36357
2657.72/2665.07 c #Conflicts: 1249000 | #Constraints: 37357
2657.72/2665.07 c #Conflicts: 1250000 | #Constraints: 38357
2657.72/2665.07 c #Conflicts: 1251000 | #Constraints: 39357
2657.72/2665.07 c #Conflicts: 1252000 | #Constraints: 40357
2657.72/2665.07 c #Conflicts: 1253000 | #Constraints: 41357
2657.72/2665.07 c #Conflicts: 1254000 | #Constraints: 42357
2657.72/2665.07 c #Conflicts: 1255000 | #Constraints: 43357
2657.72/2665.07 c #Conflicts: 1256000 | #Constraints: 44357
2657.72/2665.07 c INPROCESSING
2657.72/2665.07 c GARBAGE COLLECT
2657.72/2665.07 c #Conflicts: 1257000 | #Constraints: 23157
2657.72/2665.07 c #Conflicts: 1258000 | #Constraints: 24157
2657.72/2665.07 c #Conflicts: 1259000 | #Constraints: 25157
2657.72/2665.07 c #Conflicts: 1260000 | #Constraints: 26157
2657.72/2665.07 c #Conflicts: 1261000 | #Constraints: 27157
2657.72/2665.07 c #Conflicts: 1262000 | #Constraints: 28157
2657.72/2665.07 c #Conflicts: 1263000 | #Constraints: 29157
2657.72/2665.07 c #Conflicts: 1264000 | #Constraints: 30157
2657.72/2665.07 c #Conflicts: 1265000 | #Constraints: 31157
2657.72/2665.07 c #Conflicts: 1266000 | #Constraints: 32157
2657.72/2665.07 c #Conflicts: 1267000 | #Constraints: 33157
2657.72/2665.07 c #Conflicts: 1268000 | #Constraints: 34157
2657.72/2665.07 c #Conflicts: 1269000 | #Constraints: 35157
2657.72/2665.07 c #Conflicts: 1270000 | #Constraints: 36157
2657.72/2665.07 c #Conflicts: 1271000 | #Constraints: 37157
2657.72/2665.07 c #Conflicts: 1272000 | #Constraints: 38157
2657.72/2665.07 c #Conflicts: 1273000 | #Constraints: 39157
2657.72/2665.07 c #Conflicts: 1274000 | #Constraints: 40157
2938.79/2946.90 c #Conflicts: 1275000 | #Constraints: 41157
2938.79/2946.90 c #Conflicts: 1276000 | #Constraints: 42157
2938.79/2946.90 c #Conflicts: 1277000 | #Constraints: 43157
2938.79/2946.90 c #Conflicts: 1278000 | #Constraints: 44157
2938.79/2946.90 c #Conflicts: 1279000 | #Constraints: 45157
2938.79/2946.90 c INPROCESSING
2938.79/2946.90 c GARBAGE COLLECT
2938.79/2946.90 c #Conflicts: 1280000 | #Constraints: 23755
2938.79/2946.90 c #Conflicts: 1281000 | #Constraints: 24755
2938.79/2946.90 c #Conflicts: 1282000 | #Constraints: 25755
2938.79/2946.90 c #Conflicts: 1283000 | #Constraints: 26755
2938.79/2946.90 c #Conflicts: 1284000 | #Constraints: 27755
2938.79/2946.90 c #Conflicts: 1285000 | #Constraints: 28755
2938.79/2946.90 c #Conflicts: 1286000 | #Constraints: 29755
2938.79/2946.90 c #Conflicts: 1287000 | #Constraints: 30755
2938.79/2946.90 c #Conflicts: 1288000 | #Constraints: 31755
2938.79/2946.90 c #Conflicts: 1289000 | #Constraints: 32755
2938.79/2946.90 c #Conflicts: 1290000 | #Constraints: 33755
2938.79/2946.90 c #Conflicts: 1291000 | #Constraints: 34755
2938.79/2946.90 c #Conflicts: 1292000 | #Constraints: 35755
2938.79/2946.90 c #Conflicts: 1293000 | #Constraints: 36755
2938.79/2946.90 c #Conflicts: 1294000 | #Constraints: 37755
2938.79/2946.90 c #Conflicts: 1295000 | #Constraints: 38755
2938.79/2946.90 c #Conflicts: 1296000 | #Constraints: 39755
2938.79/2946.90 c #Conflicts: 1297000 | #Constraints: 40755
2938.79/2946.90 c #Conflicts: 1298000 | #Constraints: 41755
2938.79/2946.90 c #Conflicts: 1299000 | #Constraints: 42755
2938.79/2946.90 c #Conflicts: 1300000 | #Constraints: 43755
2938.79/2946.90 c #Conflicts: 1301000 | #Constraints: 44755
2938.79/2946.90 c #Conflicts: 1302000 | #Constraints: 45755
2938.79/2946.90 c INPROCESSING
2938.79/2946.90 c GARBAGE COLLECT
2938.79/2946.90 c #Conflicts: 1303000 | #Constraints: 24150
2938.79/2946.90 c #Conflicts: 1304000 | #Constraints: 25150
2938.79/2946.90 c #Conflicts: 1305000 | #Constraints: 26150
2938.79/2946.90 c #Conflicts: 1306000 | #Constraints: 27150
2938.79/2946.90 c #Conflicts: 1307000 | #Constraints: 28150
2938.79/2946.90 c #Conflicts: 1308000 | #Constraints: 29150
2938.79/2946.90 c #Conflicts: 1309000 | #Constraints: 30150
2938.79/2946.90 c #Conflicts: 1310000 | #Constraints: 31150
2938.79/2946.90 c #Conflicts: 1311000 | #Constraints: 32150
2938.79/2946.90 c #Conflicts: 1312000 | #Constraints: 33150
2938.79/2946.90 c #Conflicts: 1313000 | #Constraints: 34150
2938.79/2946.90 c #Conflicts: 1314000 | #Constraints: 35150
2938.79/2946.90 c #Conflicts: 1315000 | #Constraints: 36150
2938.79/2946.90 c #Conflicts: 1316000 | #Constraints: 37150
2938.79/2946.90 c #Conflicts: 1317000 | #Constraints: 38150
2938.79/2946.90 c #Conflicts: 1318000 | #Constraints: 39150
2938.79/2946.90 c #Conflicts: 1319000 | #Constraints: 40150
2938.79/2946.90 c #Conflicts: 1320000 | #Constraints: 41150
2938.79/2946.90 c #Conflicts: 1321000 | #Constraints: 42150
2938.79/2946.90 c #Conflicts: 1322000 | #Constraints: 43150
2938.79/2946.90 c #Conflicts: 1323000 | #Constraints: 44150
2938.79/2946.90 c #Conflicts: 1324000 | #Constraints: 45150
2938.79/2946.90 c #Conflicts: 1325000 | #Constraints: 46150
2938.79/2946.90 c INPROCESSING
2938.79/2946.90 c GARBAGE COLLECT
2938.79/2946.90 c #Conflicts: 1326000 | #Constraints: 24371
2938.79/2946.90 c #Conflicts: 1327000 | #Constraints: 25371
2938.79/2946.90 c #Conflicts: 1328000 | #Constraints: 26371
2938.79/2946.90 c #Conflicts: 1329000 | #Constraints: 27371
2938.79/2946.90 c #Conflicts: 1330000 | #Constraints: 28371
2938.79/2946.90 c #Conflicts: 1331000 | #Constraints: 29371
2938.79/2946.90 c #Conflicts: 1332000 | #Constraints: 30371
2938.79/2946.90 c #Conflicts: 1333000 | #Constraints: 31371
2938.79/2946.90 c #Conflicts: 1334000 | #Constraints: 32371
2938.79/2946.90 c #Conflicts: 1335000 | #Constraints: 33371
2938.79/2946.90 c #Conflicts: 1336000 | #Constraints: 34371
2938.79/2946.90 c #Conflicts: 1337000 | #Constraints: 35371
2938.79/2946.90 c #Conflicts: 1338000 | #Constraints: 36371
2938.79/2946.90 c #Conflicts: 1339000 | #Constraints: 37371
2938.79/2946.90 c #Conflicts: 1340000 | #Constraints: 38371
2938.79/2946.90 c #Conflicts: 1341000 | #Constraints: 39371
2938.79/2946.90 c #Conflicts: 1342000 | #Constraints: 40371
2938.79/2946.90 c #Conflicts: 1343000 | #Constraints: 41371
2938.79/2946.90 c #Conflicts: 1344000 | #Constraints: 42371
2938.79/2946.90 c #Conflicts: 1345000 | #Constraints: 43371
2938.79/2946.90 c #Conflicts: 1346000 | #Constraints: 44371
2938.79/2946.90 c #Conflicts: 1347000 | #Constraints: 45371
2938.79/2946.90 c #Conflicts: 1348000 | #Constraints: 46371
2938.79/2946.90 c INPROCESSING
2938.79/2946.90 c GARBAGE COLLECT
2938.79/2946.90 c #Conflicts: 1349000 | #Constraints: 24384
2938.79/2946.90 c #Conflicts: 1350000 | #Constraints: 25384
3090.35/3099.00 c #Conflicts: 1351000 | #Constraints: 26384
3090.35/3099.00 c #Conflicts: 1352000 | #Constraints: 27384
3090.35/3099.00 c #Conflicts: 1353000 | #Constraints: 28384
3090.35/3099.00 c #Conflicts: 1354000 | #Constraints: 29384
3090.35/3099.00 c #Conflicts: 1355000 | #Constraints: 30384
3090.35/3099.00 c #Conflicts: 1356000 | #Constraints: 31384
3090.35/3099.00 c #Conflicts: 1357000 | #Constraints: 32384
3090.35/3099.00 c #Conflicts: 1358000 | #Constraints: 33384
3090.35/3099.00 c #Conflicts: 1359000 | #Constraints: 34384
3090.35/3099.00 c #Conflicts: 1360000 | #Constraints: 35384
3090.35/3099.00 c #Conflicts: 1361000 | #Constraints: 36384
3090.35/3099.00 c #Conflicts: 1362000 | #Constraints: 37384
3090.35/3099.00 c #Conflicts: 1363000 | #Constraints: 38384
3090.35/3099.00 c #Conflicts: 1364000 | #Constraints: 39384
3090.35/3099.00 c #Conflicts: 1365000 | #Constraints: 40384
3090.35/3099.00 c #Conflicts: 1366000 | #Constraints: 41384
3090.35/3099.00 c #Conflicts: 1367000 | #Constraints: 42384
3090.35/3099.00 c #Conflicts: 1368000 | #Constraints: 43384
3090.35/3099.00 c #Conflicts: 1369000 | #Constraints: 44384
3090.35/3099.00 c #Conflicts: 1370000 | #Constraints: 45384
3090.35/3099.00 c #Conflicts: 1371000 | #Constraints: 46384
3090.35/3099.00 c INPROCESSING
3090.35/3099.00 c GARBAGE COLLECT
3090.35/3099.00 c #Conflicts: 1372000 | #Constraints: 24166
3090.35/3099.00 c #Conflicts: 1373000 | #Constraints: 25166
3090.35/3099.00 c #Conflicts: 1374000 | #Constraints: 26166
3090.35/3099.00 c #Conflicts: 1375000 | #Constraints: 27166
3090.35/3099.00 c #Conflicts: 1376000 | #Constraints: 28166
3090.35/3099.00 c #Conflicts: 1377000 | #Constraints: 29166
3090.35/3099.00 c #Conflicts: 1378000 | #Constraints: 30166
3090.35/3099.00 c #Conflicts: 1379000 | #Constraints: 31166
3090.35/3099.00 c #Conflicts: 1380000 | #Constraints: 32166
3090.35/3099.00 c #Conflicts: 1381000 | #Constraints: 33166
3090.35/3099.00 c #Conflicts: 1382000 | #Constraints: 34166
3090.35/3099.00 c #Conflicts: 1383000 | #Constraints: 35166
3090.35/3099.00 c #Conflicts: 1384000 | #Constraints: 36166
3090.35/3099.00 c #Conflicts: 1385000 | #Constraints: 37166
3090.35/3099.00 c #Conflicts: 1386000 | #Constraints: 38166
3090.35/3099.00 c #Conflicts: 1387000 | #Constraints: 39166
3090.35/3099.00 c #Conflicts: 1388000 | #Constraints: 40166
3090.35/3099.00 c #Conflicts: 1389000 | #Constraints: 41166
3090.35/3099.00 c #Conflicts: 1390000 | #Constraints: 42166
3090.35/3099.00 c #Conflicts: 1391000 | #Constraints: 43166
3090.35/3099.00 c #Conflicts: 1392000 | #Constraints: 44166
3090.35/3099.00 c #Conflicts: 1393000 | #Constraints: 45166
3090.35/3099.00 c #Conflicts: 1394000 | #Constraints: 46166
3090.35/3099.00 c #Conflicts: 1395000 | #Constraints: 47166
3090.35/3099.00 c INPROCESSING
3090.35/3099.00 c GARBAGE COLLECT
3090.35/3099.00 c #Conflicts: 1396000 | #Constraints: 24773
3090.35/3099.00 c #Conflicts: 1397000 | #Constraints: 25773
3090.35/3099.00 c #Conflicts: 1398000 | #Constraints: 26773
3090.35/3099.00 c #Conflicts: 1399000 | #Constraints: 27773
3090.35/3099.00 c #Conflicts: 1400000 | #Constraints: 28773
3090.35/3099.00 c #Conflicts: 1401000 | #Constraints: 29773
3090.35/3099.00 c #Conflicts: 1402000 | #Constraints: 30773
3090.35/3099.00 c #Conflicts: 1403000 | #Constraints: 31773
3090.35/3099.00 c #Conflicts: 1404000 | #Constraints: 32773
3090.35/3099.00 c #Conflicts: 1405000 | #Constraints: 33773
3090.35/3099.00 c #Conflicts: 1406000 | #Constraints: 34773
3090.35/3099.00 c #Conflicts: 1407000 | #Constraints: 35773
3090.35/3099.00 c #Conflicts: 1408000 | #Constraints: 36773
3090.35/3099.00 c #Conflicts: 1409000 | #Constraints: 37773
3090.35/3099.00 c #Conflicts: 1410000 | #Constraints: 38773
3090.35/3099.00 c #Conflicts: 1411000 | #Constraints: 39773
3090.35/3099.00 c #Conflicts: 1412000 | #Constraints: 40773
3090.35/3099.00 c #Conflicts: 1413000 | #Constraints: 41773
3090.35/3099.00 c #Conflicts: 1414000 | #Constraints: 42773
3090.35/3099.00 c #Conflicts: 1415000 | #Constraints: 43773
3090.35/3099.00 c #Conflicts: 1416000 | #Constraints: 44773
3090.35/3099.00 c #Conflicts: 1417000 | #Constraints: 45773
3090.35/3099.00 c #Conflicts: 1418000 | #Constraints: 46773
3090.35/3099.00 c #Conflicts: 1419000 | #Constraints: 47773
3090.35/3099.00 c INPROCESSING
3090.35/3099.00 c GARBAGE COLLECT
3090.35/3099.00 c #Conflicts: 1420000 | #Constraints: 25161
3090.35/3099.00 c #Conflicts: 1421000 | #Constraints: 26161
3090.35/3099.00 c #Conflicts: 1422000 | #Constraints: 27161
3090.35/3099.00 c #Conflicts: 1423000 | #Constraints: 28161
3090.35/3099.00 c #Conflicts: 1424000 | #Constraints: 29161
3090.35/3099.00 c #Conflicts: 1425000 | #Constraints: 30161
3090.35/3099.00 c #Conflicts: 1426000 | #Constraints: 31161
3090.35/3099.00 c #Conflicts: 1427000 | #Constraints: 32161
3261.85/3270.97 c #Conflicts: 1428000 | #Constraints: 33161
3261.85/3270.97 c #Conflicts: 1429000 | #Constraints: 34161
3261.85/3270.97 c #Conflicts: 1430000 | #Constraints: 35161
3261.85/3270.97 c #Conflicts: 1431000 | #Constraints: 36161
3261.85/3270.97 c #Conflicts: 1432000 | #Constraints: 37161
3261.85/3270.97 c #Conflicts: 1433000 | #Constraints: 38161
3261.85/3270.97 c #Conflicts: 1434000 | #Constraints: 39161
3261.85/3270.97 c #Conflicts: 1435000 | #Constraints: 40161
3261.85/3270.97 c #Conflicts: 1436000 | #Constraints: 41161
3261.85/3270.97 c #Conflicts: 1437000 | #Constraints: 42161
3261.85/3270.97 c #Conflicts: 1438000 | #Constraints: 43161
3261.85/3270.97 c #Conflicts: 1439000 | #Constraints: 44161
3261.85/3270.97 c #Conflicts: 1440000 | #Constraints: 45161
3261.85/3270.97 c #Conflicts: 1441000 | #Constraints: 46161
3261.85/3270.97 c #Conflicts: 1442000 | #Constraints: 47161
3261.85/3270.97 c #Conflicts: 1443000 | #Constraints: 48161
3261.85/3270.97 c INPROCESSING
3261.85/3270.97 c GARBAGE COLLECT
3261.85/3270.97 c #Conflicts: 1444000 | #Constraints: 25366
3261.85/3270.97 c #Conflicts: 1445000 | #Constraints: 26366
3261.85/3270.97 c #Conflicts: 1446000 | #Constraints: 27366
3261.85/3270.97 c #Conflicts: 1447000 | #Constraints: 28366
3261.85/3270.97 c #Conflicts: 1448000 | #Constraints: 29366
3261.85/3270.97 c #Conflicts: 1449000 | #Constraints: 30366
3261.85/3270.97 c #Conflicts: 1450000 | #Constraints: 31366
3261.85/3270.97 c #Conflicts: 1451000 | #Constraints: 32366
3261.85/3270.97 c #Conflicts: 1452000 | #Constraints: 33366
3261.85/3270.97 c #Conflicts: 1453000 | #Constraints: 34366
3261.85/3270.97 c #Conflicts: 1454000 | #Constraints: 35366
3261.85/3270.97 c #Conflicts: 1455000 | #Constraints: 36366
3261.85/3270.97 c #Conflicts: 1456000 | #Constraints: 37366
3261.85/3270.97 c #Conflicts: 1457000 | #Constraints: 38366
3261.85/3270.97 c #Conflicts: 1458000 | #Constraints: 39366
3261.85/3270.97 c #Conflicts: 1459000 | #Constraints: 40366
3261.85/3270.97 c #Conflicts: 1460000 | #Constraints: 41366
3261.85/3270.97 c #Conflicts: 1461000 | #Constraints: 42366
3261.85/3270.97 c #Conflicts: 1462000 | #Constraints: 43366
3261.85/3270.97 c #Conflicts: 1463000 | #Constraints: 44366
3261.85/3270.97 c #Conflicts: 1464000 | #Constraints: 45366
3261.85/3270.97 c #Conflicts: 1465000 | #Constraints: 46366
3261.85/3270.97 c #Conflicts: 1466000 | #Constraints: 47366
3261.85/3270.97 c #Conflicts: 1467000 | #Constraints: 48366
3261.85/3270.97 c INPROCESSING
3261.85/3270.97 c GARBAGE COLLECT
3261.85/3270.97 c #Conflicts: 1468000 | #Constraints: 25371
3261.85/3270.97 c #Conflicts: 1469000 | #Constraints: 26371
3261.85/3270.97 c #Conflicts: 1470000 | #Constraints: 27371
3261.85/3270.97 c #Conflicts: 1471000 | #Constraints: 28371
3261.85/3270.97 c #Conflicts: 1472000 | #Constraints: 29371
3261.85/3270.97 c #Conflicts: 1473000 | #Constraints: 30371
3261.85/3270.97 c #Conflicts: 1474000 | #Constraints: 31371
3261.85/3270.97 c #Conflicts: 1475000 | #Constraints: 32371
3261.85/3270.97 c #Conflicts: 1476000 | #Constraints: 33371
3261.85/3270.97 c #Conflicts: 1477000 | #Constraints: 34371
3261.85/3270.97 c #Conflicts: 1478000 | #Constraints: 35371
3261.85/3270.97 c #Conflicts: 1479000 | #Constraints: 36371
3261.85/3270.97 c #Conflicts: 1480000 | #Constraints: 37371
3261.85/3270.97 c #Conflicts: 1481000 | #Constraints: 38371
3261.85/3270.97 c #Conflicts: 1482000 | #Constraints: 39371
3261.85/3270.97 c #Conflicts: 1483000 | #Constraints: 40371
3261.85/3270.97 c #Conflicts: 1484000 | #Constraints: 41371
3261.85/3270.97 c #Conflicts: 1485000 | #Constraints: 42371
3261.85/3270.97 c #Conflicts: 1486000 | #Constraints: 43371
3261.85/3270.97 c #Conflicts: 1487000 | #Constraints: 44371
3261.85/3270.97 c #Conflicts: 1488000 | #Constraints: 45371
3261.85/3270.97 c #Conflicts: 1489000 | #Constraints: 46371
3261.85/3270.97 c #Conflicts: 1490000 | #Constraints: 47371
3261.85/3270.97 c #Conflicts: 1491000 | #Constraints: 48371
3261.85/3270.97 c INPROCESSING
3261.85/3270.97 c GARBAGE COLLECT
3261.85/3270.97 c #Conflicts: 1492000 | #Constraints: 25154
3261.85/3270.97 c #Conflicts: 1493000 | #Constraints: 26154
3261.85/3270.97 c #Conflicts: 1494000 | #Constraints: 27154
3261.85/3270.97 c #Conflicts: 1495000 | #Constraints: 28154
3261.85/3270.97 c #Conflicts: 1496000 | #Constraints: 29154
3261.85/3270.97 c #Conflicts: 1497000 | #Constraints: 30154
3261.85/3270.97 c #Conflicts: 1498000 | #Constraints: 31154
3261.85/3270.97 c #Conflicts: 1499000 | #Constraints: 32154
3261.85/3270.97 c #Conflicts: 1500000 | #Constraints: 33154
3261.85/3270.97 c #Conflicts: 1501000 | #Constraints: 34154
3261.85/3270.97 c #Conflicts: 1502000 | #Constraints: 35154
3261.85/3270.97 c #Conflicts: 1503000 | #Constraints: 36154
3261.85/3270.97 c #Conflicts: 1504000 | #Constraints: 37154
3563.39/3573.21 c #Conflicts: 1505000 | #Constraints: 38154
3563.39/3573.21 c #Conflicts: 1506000 | #Constraints: 39154
3563.39/3573.21 c #Conflicts: 1507000 | #Constraints: 40154
3563.39/3573.21 c #Conflicts: 1508000 | #Constraints: 41154
3563.39/3573.21 c #Conflicts: 1509000 | #Constraints: 42154
3563.39/3573.21 c #Conflicts: 1510000 | #Constraints: 43154
3563.39/3573.21 c #Conflicts: 1511000 | #Constraints: 44154
3563.39/3573.21 c #Conflicts: 1512000 | #Constraints: 45154
3563.39/3573.21 c #Conflicts: 1513000 | #Constraints: 46154
3563.39/3573.21 c #Conflicts: 1514000 | #Constraints: 47154
3563.39/3573.21 c #Conflicts: 1515000 | #Constraints: 48154
3563.39/3573.21 c #Conflicts: 1516000 | #Constraints: 49154
3563.39/3573.21 c INPROCESSING
3563.39/3573.21 c GARBAGE COLLECT
3563.39/3573.21 c #Conflicts: 1517000 | #Constraints: 25754
3563.39/3573.21 c #Conflicts: 1518000 | #Constraints: 26754
3563.39/3573.21 c #Conflicts: 1519000 | #Constraints: 27754
3563.39/3573.21 c #Conflicts: 1520000 | #Constraints: 28754
3563.39/3573.21 c #Conflicts: 1521000 | #Constraints: 29754
3563.39/3573.21 c #Conflicts: 1522000 | #Constraints: 30754
3563.39/3573.21 c #Conflicts: 1523000 | #Constraints: 31754
3563.39/3573.21 c #Conflicts: 1524000 | #Constraints: 32754
3563.39/3573.21 c #Conflicts: 1525000 | #Constraints: 33754
3563.39/3573.21 c #Conflicts: 1526000 | #Constraints: 34754
3563.39/3573.21 c #Conflicts: 1527000 | #Constraints: 35754
3563.39/3573.21 c #Conflicts: 1528000 | #Constraints: 36754
3563.39/3573.21 c #Conflicts: 1529000 | #Constraints: 37754
3563.39/3573.21 c #Conflicts: 1530000 | #Constraints: 38754
3563.39/3573.21 c #Conflicts: 1531000 | #Constraints: 39754
3563.39/3573.21 c #Conflicts: 1532000 | #Constraints: 40754
3563.39/3573.21 c #Conflicts: 1533000 | #Constraints: 41754
3563.39/3573.21 c #Conflicts: 1534000 | #Constraints: 42754
3563.39/3573.21 c #Conflicts: 1535000 | #Constraints: 43754
3563.39/3573.21 c #Conflicts: 1536000 | #Constraints: 44754
3563.39/3573.21 c #Conflicts: 1537000 | #Constraints: 45754
3563.39/3573.21 c #Conflicts: 1538000 | #Constraints: 46754
3563.39/3573.21 c #Conflicts: 1539000 | #Constraints: 47754
3563.39/3573.21 c #Conflicts: 1540000 | #Constraints: 48754
3563.39/3573.21 c #Conflicts: 1541000 | #Constraints: 49754
3563.39/3573.21 c INPROCESSING
3563.39/3573.21 c GARBAGE COLLECT
3563.39/3573.21 c #Conflicts: 1542000 | #Constraints: 26150
3563.39/3573.21 c #Conflicts: 1543000 | #Constraints: 27150
3563.39/3573.21 c #Conflicts: 1544000 | #Constraints: 28150
3563.39/3573.21 c #Conflicts: 1545000 | #Constraints: 29150
3563.39/3573.21 c #Conflicts: 1546000 | #Constraints: 30150
3563.39/3573.21 c #Conflicts: 1547000 | #Constraints: 31150
3563.39/3573.21 c #Conflicts: 1548000 | #Constraints: 32150
3563.39/3573.21 c #Conflicts: 1549000 | #Constraints: 33150
3563.39/3573.21 c #Conflicts: 1550000 | #Constraints: 34150
3563.39/3573.21 c #Conflicts: 1551000 | #Constraints: 35150
3563.39/3573.21 c #Conflicts: 1552000 | #Constraints: 36150
3563.39/3573.21 c #Conflicts: 1553000 | #Constraints: 37150
3563.39/3573.21 c #Conflicts: 1554000 | #Constraints: 38150
3563.39/3573.21 c #Conflicts: 1555000 | #Constraints: 39150
3563.39/3573.21 c #Conflicts: 1556000 | #Constraints: 40150
3563.39/3573.21 c #Conflicts: 1557000 | #Constraints: 41150
3563.39/3573.21 c #Conflicts: 1558000 | #Constraints: 42150
3563.39/3573.21 c #Conflicts: 1559000 | #Constraints: 43150
3563.39/3573.21 c #Conflicts: 1560000 | #Constraints: 44150
3563.39/3573.21 c #Conflicts: 1561000 | #Constraints: 45150
3563.39/3573.21 c #Conflicts: 1562000 | #Constraints: 46150
3563.39/3573.21 c #Conflicts: 1563000 | #Constraints: 47150
3563.39/3573.21 c #Conflicts: 1564000 | #Constraints: 48150
3563.39/3573.21 c #Conflicts: 1565000 | #Constraints: 49150
3563.39/3573.21 c #Conflicts: 1566000 | #Constraints: 50150
3563.39/3573.21 c INPROCESSING
3563.39/3573.21 c GARBAGE COLLECT
3563.39/3573.21 c #Conflicts: 1567000 | #Constraints: 26361
3563.39/3573.21 c #Conflicts: 1568000 | #Constraints: 27361
3563.39/3573.21 c #Conflicts: 1569000 | #Constraints: 28361
3563.39/3573.21 c #Conflicts: 1570000 | #Constraints: 29361
3563.39/3573.21 c #Conflicts: 1571000 | #Constraints: 30361
3563.39/3573.21 c #Conflicts: 1572000 | #Constraints: 31361
3563.39/3573.21 c #Conflicts: 1573000 | #Constraints: 32361
3563.39/3573.21 c #Conflicts: 1574000 | #Constraints: 33361
3563.39/3573.21 c #Conflicts: 1575000 | #Constraints: 34361
3563.39/3573.21 c #Conflicts: 1576000 | #Constraints: 35361
3563.39/3573.21 c #Conflicts: 1577000 | #Constraints: 36361
3563.39/3573.21 c #Conflicts: 1578000 | #Constraints: 37361
3563.39/3573.21 c #Conflicts: 1579000 | #Constraints: 38361
3563.39/3573.21 c #Conflicts: 1580000 | #Constraints: 39361
3563.39/3573.21 c #Conflicts: 1581000 | #Constraints: 40361
3600.00/3609.90 c #Conflicts: 1582000 | #Constraints: 41361
3600.00/3609.90 c #Conflicts: 1583000 | #Constraints: 42361
3600.00/3609.90 c #Conflicts: 1584000 | #Constraints: 43361
3600.00/3609.90 c Program interrupted by user.
3600.00/3609.90 c cpu time 3586.95 s
3600.00/3609.90 c deterministic time 734149595866 7.34e+11
3600.00/3609.90 c optimization time 116.612 s
3600.00/3609.90 c total solve time 3470.32 s
3600.00/3609.90 c core-guided solve time 3470.32 s
3600.00/3609.90 c propagation time 2935.41 s
3600.00/3609.90 c conflict analysis time 587.327 s
3600.00/3609.90 c propagations 446489284
3600.00/3609.90 c resolve steps 12786585
3600.00/3609.90 c decisions 8916460
3600.00/3609.90 c conflicts 1584729
3600.00/3609.90 c restarts 3068
3600.00/3609.90 c inprocessing phases 116
3600.00/3609.90 c input clauses 3273
3600.00/3609.90 c input cardinalities 64
3600.00/3609.90 c input general constraints 384
3600.00/3609.90 c input average constraint length 9.95
3600.00/3609.90 c input average constraint degree 74.17
3600.00/3609.90 c learned clauses 182409
3600.00/3609.90 c learned cardinalities 16880
3600.00/3609.90 c learned general constraints 1385439
3600.00/3609.90 c learned average constraint length 525.99
3600.00/3609.90 c learned average constraint degree 12418498.92
3600.00/3609.90 c watched constraints 1052541
3600.00/3609.90 c counting constraints 333282
3600.00/3609.90 c gcd simplifications 138165
3600.00/3609.90 c detected cardinalities 370
3600.00/3609.90 c weakened non-implied lits 127513873
3600.00/3609.90 c weakened non-implying lits 191524
3600.00/3609.90 c original variables 3216
3600.00/3609.90 c clausal propagations 2225281
3600.00/3609.90 c cardinality propagations 8196120
3600.00/3609.90 c watched propagations 22003544
3600.00/3609.90 c counting propagations 412147454
3600.00/3609.90 c watch lookups 60104034460
3600.00/3609.90 c watch backjump lookups 55589705161
3600.00/3609.90 c watch checks 534616355983
3600.00/3609.90 c propagation checks 80110114715
3600.00/3609.90 c constraint additions 2816991760
3600.00/3609.90 c trail pops 456988042
3600.00/3609.90 c formula constraints 3721
3600.00/3609.90 c learned constraints 1584728
3600.00/3609.90 c bound constraints 0
3600.00/3609.90 c core-guided constraints 0
3600.00/3609.90 c encountered formula constraints 6824790
3600.00/3609.90 c encountered learned constraints 7546524
3600.00/3609.90 c encountered bound constraints 0
3600.00/3609.90 c encountered core-guided constraints 0
3600.00/3609.90 c LP total time 0 s
3600.00/3609.90 c LP solve time 0 s
3600.00/3609.90 c LP constraints added 0
3600.00/3609.90 c LP constraints removed 0
3600.00/3609.90 c LP pivots internal 0
3600.00/3609.90 c LP pivots root 0
3600.00/3609.90 c LP calls 0
3600.00/3609.90 c LP optimalities 0
3600.00/3609.90 c LP no pivot count 0
3600.00/3609.90 c LP infeasibilities 0
3600.00/3609.90 c LP valid Farkas constraints 0
3600.00/3609.90 c LP learned Farkas constraints 0
3600.00/3609.90 c LP basis resets 0
3600.00/3609.90 c LP cycling count 0
3600.00/3609.90 c LP singular count 0
3600.00/3609.90 c LP no primal count 0
3600.00/3609.90 c LP no farkas count 0
3600.00/3609.90 c LP other issue count 0
3600.00/3609.90 c LP Gomory cuts 0
3600.00/3609.90 c LP learned cuts 0
3600.00/3609.90 c LP deleted cuts 0
3600.00/3609.90 c LP encountered Gomory constraints 0
3600.00/3609.90 c LP encountered Farkas constraints 0
3600.00/3609.90 c LP encountered learned Farkas constraints 0
3600.00/3609.90 c CG auxiliary variables introduced 0
3600.00/3609.90 c CG solutions found 0
3600.00/3609.90 c CG cores constructed 0
3600.00/3609.90 c CG core cardinality constraints returned 0
3600.00/3609.90 c CG unit cores 0
3600.00/3609.90 c CG single cores 0
3600.00/3609.90 c CG blocks removed during cardinality reduction 0
3600.00/3609.90 c CG first core best 0
3600.00/3609.90 c CG decision core best 0
3600.00/3609.90 c CG core reduction tie 0
3600.00/3609.90 c CG core degree average 0.00
3600.00/3609.90 c CG core slack average 0.00
3600.00/3609.90 c CG exhausted 0
3600.00/3609.90 c CG exhaust time 0 s
3600.00/3609.90 c CG trimmed 0
3600.00/3609.90 c CG trim time 0 s
3600.00/3609.90 c CG minimized 0
3600.00/3609.90 c CG minimize time 0 s
3600.00/3609.90 c CG am1 prop time 0 s
3600.00/3609.90 c CG # am1s reformulated 0
3600.00/3609.90 c CG lower bound derived from am1s 0
3600.00/3609.90 c CG # clausal cores 0
3600.00/3609.90 c CG # cardinality cores 0
3600.00/3609.90 c CG # pb cores 0
3600.00/3609.90 c CG # pb reforms 0
3600.00/3609.90 c CG # cores discarded because of pb reform 0
3600.00/3609.90 d LOWERBOUND 0
3600.00/3609.90 d NCORES 0
3600.00/3609.90 d NPBCORES 0
3600.00/3609.90 d NPBREFORM 0
3600.00/3609.90 d NTRIMMED 0
3600.00/3609.90 d NEXHAUSTED 0
3600.00/3609.90 d NAM1S 0
3600.00/3609.90 d AM1LB 0
3600.00/3609.90 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62550 MiB free)
memory of node 1: 64465 MiB (63012 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499162-1751408463/watcher-4499162-1751408463 -o /tmp/evaluation-result-4499162-1751408463/solver-4499162-1751408463 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751399181-58040 --watchdog 3760 pb-oll-rs HOME/instance-4499162-1751408463.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=59350, runsolver pid=59347
Current StackSize limit: 8192 KiB
[startup+0.100068 s]*
/proc/loadavg: 4.04 4.09 4.08 5/267 59351
/proc/meminfo: memFree=128570660/131249996 swapFree=33005272/33010684
[pid=59350] ppid=59347 vsize=21592 memory=8192 CPUtime=0.09 cores=0,2
/proc/59350/stat : 59350 (pb-oll-rs) R 59347 59350 58030 0 -1 4194304 969 0 0 0 9 0 0 0 20 0 1 0 56524136 22110208 2048 18446744073709551615 4218880 5211445 140729790388864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 6819840 140729790392732 140729790392809 140729790392809 140729790398411 0
/proc/59350/statm: 5398 2048 1312 243 0 1647 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21592 KiB
Current children cumulated memory: 8192 KiB
[startup+0.205797 s]*
/proc/loadavg: 4.04 4.09 4.08 5/267 59351
/proc/meminfo: memFree=128570660/131249996 swapFree=33005272/33010684
[pid=59350] ppid=59347 vsize=22364 memory=11096 CPUtime=0.2 cores=0,2
/proc/59350/stat : 59350 (pb-oll-rs) R 59347 59350 58030 0 -1 4194304 1179 0 0 0 19 1 0 0 20 0 1 0 56524136 22900736 2774 18446744073709551615 4218880 5211445 140729790388864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 6819840 140729790392732 140729790392809 140729790392809 140729790398411 0
/proc/59350/statm: 5591 2774 1312 243 0 1840 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 22364 KiB
Current children cumulated memory: 11096 KiB
[startup+0.305677 s]*
/proc/loadavg: 4.04 4.09 4.08 5/267 59351
/proc/meminfo: memFree=128568644/131249996 swapFree=33005272/33010684
[pid=59350] ppid=59347 vsize=23012 memory=11736 CPUtime=0.29 cores=0,2
/proc/59350/stat : 59350 (pb-oll-rs) R 59347 59350 58030 0 -1 4194304 1350 0 0 0 28 1 0 0 20 0 1 0 56524136 23564288 2934 18446744073709551615 4218880 5211445 140729790388864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 6819840 140729790392732 140729790392809 140729790392809 140729790398411 0
/proc/59350/statm: 5753 2934 1312 243 0 2002 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 23012 KiB
Current children cumulated memory: 11736 KiB
[startup+0.700172 s]
/proc/loadavg: 4.04 4.09 4.08 5/267 59351
/proc/meminfo: memFree=128564976/131249996 swapFree=33005272/33010684
[pid=59350] ppid=59347 vsize=27540 memory=15064 CPUtime=0.68 cores=0,2
/proc/59350/stat : 59350 (pb-oll-rs) R 59347 59350 58030 0 -1 4194304 2172 0 0 0 66 2 0 0 20 0 1 0 56524136 28200960 3766 18446744073709551615 4218880 5211445 140729790388864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 6819840 140729790392732 140729790392809 140729790392809 140729790398411 0
/proc/59350/statm: 6885 3766 1312 243 0 3134 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 27540 KiB
Current children cumulated memory: 15064 KiB
[startup+1.50017 s]
/proc/loadavg: 4.04 4.09 4.08 5/267 59351
/proc/meminfo: memFree=128564976/131249996 swapFree=33005272/33010684
[pid=59350] ppid=59347 vsize=30140 memory=19800 CPUtime=1.48 cores=0,2
/proc/59350/stat : 59350 (pb-oll-rs) R 59347 59350 58030 0 -1 4194304 3361 0 0 0 143 5 0 0 20 0 1 0 56524136 30863360 4950 18446744073709551615 4218880 5211445 140729790388864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 6819840 140729790392732 140729790392809 140729790392809 140729790398411 0
/proc/59350/statm: 7535 4950 1312 243 0 3784 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 30140 KiB
Current children cumulated memory: 19800 KiB
[startup+3.10555 s]
/proc/loadavg: 4.12 4.10 4.09 5/267 59351
/proc/meminfo: memFree=128564980/131249996 swapFree=33005272/33010684
[pid=59350] ppid=59347 vsize=36952 memory=24616 CPUtime=3.08 cores=0,2
/proc/59350/stat : 59350 (pb-oll-rs) R 59347 59350 58030 0 -1 4194304 4076 0 0 0 300 8 0 0 20 0 1 0 56524136 37838848 6154 18446744073709551615 4218880 5211445 140729790388864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 6819840 140729790392732 140729790392809 140729790392809 140729790398411 0
/proc/59350/statm: 9238 6154 1312 243 0 5487 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 36952 KiB
Current children cumulated memory: 24616 KiB
[startup+6.30016 s]
/proc/loadavg: 4.12 4.10 4.09 5/267 59351
/proc/meminfo: memFree=128560380/131249996 swapFree=33005272/33010684
[pid=59350] ppid=59347 vsize=48656 memory=33096 CPUtime=6.26 cores=0,2
/proc/59350/stat : 59350 (pb-oll-rs) R 59347 59350 58030 0 -1 4194304 5655 0 0 0 612 14 0 0 20 0 1 0 56524136 49823744 8274 18446744073709551615 4218880 5211445 140729790388864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 6819840 140729790392732 140729790392809 140729790392809 140729790398411 0
/proc/59350/statm: 12164 8274 1312 243 0 8413 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 48656 KiB
Current children cumulated memory: 33096 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.10 4.09 5/267 59351
/proc/meminfo: memFree=128532596/131249996 swapFree=33005272/33010684
[pid=59350] ppid=59347 vsize=53812 memory=41964 CPUtime=12.64 cores=0,2
/proc/59350/stat : 59350 (pb-oll-rs) R 59347 59350 58030 0 -1 4194304 6857 0 0 0 1240 24 0 0 20 0 1 0 56524136 55103488 10491 18446744073709551615 4218880 5211445 140729790388864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 6819840 140729790392732 140729790392809 140729790392809 140729790398411 0
/proc/59350/statm: 13453 10491 1312 243 0 9702 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 53812 KiB
Current children cumulated memory: 41964 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.09 4.09 5/267 59351
/proc/meminfo: memFree=128510580/131249996 swapFree=33005272/33010684
[pid=59350] ppid=59347 vsize=71172 memory=50560 CPUtime=25.4 cores=0,2
/proc/59350/stat : 59350 (pb-oll-rs) R 59347 59350 58030 0 -1 4194304 8505 0 0 0 2504 36 0 0 20 0 1 0 56524136 72880128 12640 18446744073709551615 4218880 5211445 140729790388864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 6819840 140729790392732 140729790392809 140729790392809 140729790398411 0
/proc/59350/statm: 17793 12640 1312 243 0 14042 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 71172 KiB
Current children cumulated memory: 50560 KiB
[startup+51.1055 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 59352
/proc/meminfo: memFree=128473464/131249996 swapFree=33005272/33010684
[pid=59350] ppid=59347 vsize=80180 memory=65132 CPUtime=50.94 cores=0,2
/proc/59350/stat : 59350 (pb-oll-rs) R 59347 59350 58030 0 -1 4194304 10719 0 0 0 5027 67 0 0 20 0 1 0 56524136 82104320 16283 18446744073709551615 4218880 5211445 140729790388864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 6819840 140729790392732 140729790392809 140729790392809 140729790398411 0
/proc/59350/statm: 20045 16283 1312 243 0 16294 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 80180 KiB
Current children cumulated memory: 65132 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/262 59358
/proc/meminfo: memFree=128441024/131249996 swapFree=33005272/33010684
[pid=59350] ppid=59347 vsize=123296 memory=100024 CPUtime=101.99 cores=0,2
/proc/59350/stat : 59350 (pb-oll-rs) R 59347 59350 58030 0 -1 4194304 16467 0 0 0 10097 102 0 0 20 0 1 0 56524136 126255104 25006 18446744073709551615 4218880 5211445 140729790388864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 6819840 140729790392732 140729790392809 140729790392809 140729790398411 0
/proc/59350/statm: 30824 25006 1312 243 0 27073 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 123296 KiB
Current children cumulated memory: 100024 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/262 59360
/proc/meminfo: memFree=128408020/131249996 swapFree=33005272/33010684
[pid=59350] ppid=59347 vsize=134664 memory=121468 CPUtime=161.81 cores=0,2
/proc/59350/stat : 59350 (pb-oll-rs) R 59347 59350 58030 0 -1 4194304 19110 0 0 0 16030 151 0 0 20 0 1 0 56524136 137895936 30367 18446744073709551615 4218880 5211445 140729790388864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 6819840 140729790392732 140729790392809 140729790392809 140729790398411 0
/proc/59350/statm: 33666 30367 1312 243 0 29915 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 134664 KiB
Current children cumulated memory: 121468 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/262 59362
/proc/meminfo: memFree=128401076/131249996 swapFree=33005272/33010684
[pid=59350] ppid=59347 vsize=140456 memory=126076 CPUtime=221.64 cores=0,2
/proc/59350/stat : 59350 (pb-oll-rs) R 59347 59350 58030 0 -1 4194304 20340 0 0 0 21982 182 0 0 20 0 1 0 56524136 143826944 31519 18446744073709551615 4218880 5211445 140729790388864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 6819840 140729790392732 140729790392809 140729790392809 140729790398411 0
/proc/59350/statm: 35114 31519 1312 243 0 31363 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 140456 KiB
Current children cumulated memory: 126076 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 59365
/proc/meminfo: memFree=128378840/131249996 swapFree=33005272/33010684
[pid=59350] ppid=59347 vsize=174460 memory=136112 CPUtime=281.48 cores=0,2
/proc/59350/stat : 59350 (pb-oll-rs) R 59347 59350 58030 0 -1 4194304 21428 0 0 0 27928 220 0 0 20 0 1 0 56524136 178647040 34028 18446744073709551615 4218880 5211445 140729790388864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 6819840 140729790392732 140729790392809 140729790392809 140729790398411 0
/proc/59350/statm: 43615 34028 1312 243 0 39864 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 174460 KiB
Current children cumulated memory: 136112 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 59370
/proc/meminfo: memFree=128290640/131249996 swapFree=33005272/33010684
[pid=59350] ppid=59347 vsize=181880 memory=158212 CPUtime=341.31 cores=0,2
/proc/59350/stat : 59350 (pb-oll-rs) R 59347 59350 58030 0 -1 4194304 22926 0 0 0 33876 255 0 0 20 0 1 0 56524136 186245120 39553 18446744073709551615 4218880 5211445 140729790388864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 6819840 140729790392732 140729790392809 140729790392809 140729790398411 0
/proc/59350/statm: 45470 39553 1312 243 0 41719 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 181880 KiB
Current children cumulated memory: 158212 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 59372
/proc/meminfo: memFree=128180532/131249996 swapFree=33005272/33010684
[pid=59350] ppid=59347 vsize=186508 memory=162052 CPUtime=401.13 cores=0,2
/proc/59350/stat : 59350 (pb-oll-rs) R 59347 59350 58030 0 -1 4194304 24021 0 0 0 39822 291 0 0 20 0 1 0 56524136 190984192 40513 18446744073709551615 4218880 5211445 140729790388864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 6819840 140729790392732 140729790392809 140729790392809 140729790398411 0
/proc/59350/statm: 46627 40513 1312 243 0 42876 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 186508 KiB
Current children cumulated memory: 162052 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 59374
/proc/meminfo: memFree=128122744/131249996 swapFree=33005272/33010684
[pid=59350] ppid=59347 vsize=188820 memory=163972 CPUtime=460.97 cores=0,2
/proc/59350/stat : 59350 (pb-oll-rs) R 59347 59350 58030 0 -1 4194304 24596 0 0 0 45773 324 0 0 20 0 1 0 56524136 193351680 40993 18446744073709551615 4218880 5211445 140729790388864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 6819840 140729790392732 140729790392809 140729790392809 140729790398411 0
/proc/59350/statm: 47205 40993 1312 243 0 43454 0
################
# More data... #
################
Current children cumulated memory: 443656 KiB
[startup+2922.3 s]
/proc/loadavg: 3.08 3.08 3.19 4/258 59537
/proc/meminfo: memFree=127887372/131249996 swapFree=33005272/33010684
[pid=59350] ppid=59347 vsize=481504 memory=447624 CPUtime=2914.26 cores=0,2
/proc/59350/stat : 59350 (pb-oll-rs) R 59347 59350 58030 0 -1 4194304 58076 0 0 0 290309 1117 0 0 20 0 1 0 56524136 493060096 111906 18446744073709551615 4218880 5211445 140729790388864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 6819840 140729790392732 140729790392809 140729790392809 140729790398411 0
/proc/59350/statm: 120376 111906 1312 243 0 116625 0
Current children cumulated CPU time: 2914.26 s
Current children cumulated vsize: 481504 KiB
Current children cumulated memory: 447624 KiB
[startup+2982.3 s]
/proc/loadavg: 3.15 3.10 3.19 4/258 59541
/proc/meminfo: memFree=127865344/131249996 swapFree=33005272/33010684
[pid=59350] ppid=59347 vsize=484448 memory=449712 CPUtime=2974.09 cores=0,2
/proc/59350/stat : 59350 (pb-oll-rs) R 59347 59350 58030 0 -1 4194304 58872 0 0 0 296271 1138 0 0 20 0 1 0 56524136 496074752 112428 18446744073709551615 4218880 5211445 140729790388864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 6819840 140729790392732 140729790392809 140729790392809 140729790398411 0
/proc/59350/statm: 121112 112428 1312 243 0 117361 0
Current children cumulated CPU time: 2974.09 s
Current children cumulated vsize: 484448 KiB
Current children cumulated memory: 449712 KiB
[startup+3042.3 s]
/proc/loadavg: 3.39 3.17 3.20 4/258 59543
/proc/meminfo: memFree=127861036/131249996 swapFree=33005272/33010684
[pid=59350] ppid=59347 vsize=484448 memory=449720 CPUtime=3033.91 cores=0,2
/proc/59350/stat : 59350 (pb-oll-rs) R 59347 59350 58030 0 -1 4194304 59034 0 0 0 302236 1155 0 0 20 0 1 0 56524136 496074752 112430 18446744073709551615 4218880 5211445 140729790388864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 6819840 140729790392732 140729790392809 140729790392809 140729790398411 0
/proc/59350/statm: 121112 112430 1312 243 0 117361 0
Current children cumulated CPU time: 3033.91 s
Current children cumulated vsize: 484448 KiB
Current children cumulated memory: 449720 KiB
[startup+3102.3 s]
/proc/loadavg: 3.18 3.15 3.19 4/258 59550
/proc/meminfo: memFree=127828192/131249996 swapFree=33005272/33010684
[pid=59350] ppid=59347 vsize=484448 memory=449720 CPUtime=3093.74 cores=0,2
/proc/59350/stat : 59350 (pb-oll-rs) R 59347 59350 58030 0 -1 4194304 59195 0 0 0 308194 1180 0 0 20 0 1 0 56524136 496074752 112430 18446744073709551615 4218880 5211445 140729790388864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 6819840 140729790392732 140729790392809 140729790392809 140729790398411 0
/proc/59350/statm: 121112 112430 1312 243 0 117361 0
Current children cumulated CPU time: 3093.74 s
Current children cumulated vsize: 484448 KiB
Current children cumulated memory: 449720 KiB
[startup+3162.3 s]
/proc/loadavg: 3.16 3.15 3.19 4/258 59552
/proc/meminfo: memFree=127779364/131249996 swapFree=33005272/33010684
[pid=59350] ppid=59347 vsize=484704 memory=449860 CPUtime=3153.56 cores=0,2
/proc/59350/stat : 59350 (pb-oll-rs) R 59347 59350 58030 0 -1 4194304 59368 0 0 0 314161 1195 0 0 20 0 1 0 56524136 496336896 112465 18446744073709551615 4218880 5211445 140729790388864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 6819840 140729790392732 140729790392809 140729790392809 140729790398411 0
/proc/59350/statm: 121176 112465 1312 243 0 117425 0
Current children cumulated CPU time: 3153.56 s
Current children cumulated vsize: 484704 KiB
Current children cumulated memory: 449860 KiB
[startup+3222.3 s]
/proc/loadavg: 3.11 3.14 3.18 4/259 59555
/proc/meminfo: memFree=127788588/131249996 swapFree=33005272/33010684
[pid=59350] ppid=59347 vsize=484960 memory=449996 CPUtime=3213.39 cores=0,2
/proc/59350/stat : 59350 (pb-oll-rs) R 59347 59350 58030 0 -1 4194304 59541 0 0 0 320126 1213 0 0 20 0 1 0 56524136 496599040 112499 18446744073709551615 4218880 5211445 140729790388864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 6819840 140729790392732 140729790392809 140729790392809 140729790398411 0
/proc/59350/statm: 121240 112499 1312 243 0 117489 0
Current children cumulated CPU time: 3213.39 s
Current children cumulated vsize: 484960 KiB
Current children cumulated memory: 449996 KiB
[startup+3282.3 s]
/proc/loadavg: 3.11 3.13 3.17 4/260 59558
/proc/meminfo: memFree=127784708/131249996 swapFree=33005272/33010684
[pid=59350] ppid=59347 vsize=484960 memory=451660 CPUtime=3273.22 cores=0,2
/proc/59350/stat : 59350 (pb-oll-rs) R 59347 59350 58030 0 -1 4194304 59681 0 0 0 326086 1236 0 0 20 0 1 0 56524136 496599040 112915 18446744073709551615 4218880 5211445 140729790388864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 6819840 140729790392732 140729790392809 140729790392809 140729790398411 0
/proc/59350/statm: 121240 112915 1312 243 0 117489 0
Current children cumulated CPU time: 3273.22 s
Current children cumulated vsize: 484960 KiB
Current children cumulated memory: 451660 KiB
[startup+3342.3 s]
/proc/loadavg: 3.10 3.12 3.17 4/260 59562
/proc/meminfo: memFree=127752308/131249996 swapFree=33005272/33010684
[pid=59350] ppid=59347 vsize=484960 memory=464976 CPUtime=3333.07 cores=0,2
/proc/59350/stat : 59350 (pb-oll-rs) R 59347 59350 58030 0 -1 4194304 59846 0 0 0 332055 1252 0 0 20 0 1 0 56524136 496599040 116244 18446744073709551615 4218880 5211445 140729790388864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 6819840 140729790392732 140729790392809 140729790392809 140729790398411 0
/proc/59350/statm: 121240 116244 1312 243 0 117489 0
Current children cumulated CPU time: 3333.07 s
Current children cumulated vsize: 484960 KiB
Current children cumulated memory: 464976 KiB
[startup+3402.3 s]
/proc/loadavg: 2.51 2.95 3.11 3/254 59594
/proc/meminfo: memFree=128612564/131249996 swapFree=33005272/33010684
[pid=59350] ppid=59347 vsize=485600 memory=465416 CPUtime=3392.9 cores=0,2
/proc/59350/stat : 59350 (pb-oll-rs) R 59347 59350 58030 0 -1 4194304 60157 0 0 0 338025 1265 0 0 20 0 1 0 56524136 497254400 116354 18446744073709551615 4218880 5211445 140729790388864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 6819840 140729790392732 140729790392809 140729790392809 140729790398411 0
/proc/59350/statm: 121400 116354 1312 243 0 117649 0
Current children cumulated CPU time: 3392.9 s
Current children cumulated vsize: 485600 KiB
Current children cumulated memory: 465416 KiB
[startup+3462.3 s]
/proc/loadavg: 1.94 2.73 3.02 2/248 59627
/proc/meminfo: memFree=128872384/131249996 swapFree=33005272/33010684
[pid=59350] ppid=59347 vsize=485856 memory=465416 CPUtime=3452.74 cores=0,2
/proc/59350/stat : 59350 (pb-oll-rs) R 59347 59350 58030 0 -1 4194304 60179 0 0 0 343996 1278 0 0 20 0 1 0 56524136 497516544 116354 18446744073709551615 4218880 5211445 140729790388864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 6819840 140729790392732 140729790392809 140729790392809 140729790398411 0
/proc/59350/statm: 121464 116354 1312 243 0 117713 0
Current children cumulated CPU time: 3452.74 s
Current children cumulated vsize: 485856 KiB
Current children cumulated memory: 465416 KiB
[startup+3522.3 s]
/proc/loadavg: 1.39 2.43 2.89 2/246 59629
/proc/meminfo: memFree=128871060/131249996 swapFree=33005272/33010684
[pid=59350] ppid=59347 vsize=488164 memory=466952 CPUtime=3512.61 cores=0,2
/proc/59350/stat : 59350 (pb-oll-rs) R 59347 59350 58030 0 -1 4194304 60688 0 0 0 349969 1292 0 0 20 0 1 0 56524136 499879936 116738 18446744073709551615 4218880 5211445 140729790388864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 6819840 140729790392732 140729790392809 140729790392809 140729790398411 0
/proc/59350/statm: 122041 116738 1312 243 0 118290 0
Current children cumulated CPU time: 3512.61 s
Current children cumulated vsize: 488164 KiB
Current children cumulated memory: 466952 KiB
[startup+3582.3 s]
/proc/loadavg: 1.26 2.20 2.78 2/246 59631
/proc/meminfo: memFree=128875352/131249996 swapFree=33005272/33010684
[pid=59350] ppid=59347 vsize=494628 memory=470792 CPUtime=3572.46 cores=0,2
/proc/59350/stat : 59350 (pb-oll-rs) R 59347 59350 58030 0 -1 4194304 61674 0 0 0 355945 1301 0 0 20 0 1 0 56524136 506499072 117698 18446744073709551615 4218880 5211445 140729790388864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 6819840 140729790392732 140729790392809 140729790392809 140729790398411 0
/proc/59350/statm: 123657 117698 1312 243 0 119906 0
Current children cumulated CPU time: 3572.46 s
Current children cumulated vsize: 494628 KiB
Current children cumulated memory: 470792 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 1.16 2.08 2.72 2/245 59632
/proc/meminfo: memFree=128863272/131249996 swapFree=33005272/33010684
[pid=59350] ppid=59347 vsize=502500 memory=475912 CPUtime=3600 cores=0,2
/proc/59350/stat : 59350 (pb-oll-rs) R 59347 59350 58030 0 -1 4194304 62970 0 0 0 358694 1306 0 0 20 0 1 0 56524136 514560000 118978 18446744073709551615 4218880 5211445 140729790388864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 6819840 140729790392732 140729790392809 140729790392809 140729790398411 0
/proc/59350/statm: 125625 118978 1312 243 0 121874 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 502500 KiB
Current children cumulated memory: 475912 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.91 s]
# the end of solver process 59350 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.95 s, system=13.0661 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 1.16 2.08 2.72 2/245 59632
/proc/meminfo: memFree=128863272/131249996 swapFree=33005272/33010684
[pid=59350] ppid=59347 vsize=502500 memory=475912 CPUtime=3600 cores=0,2
/proc/59350/stat : 59350 (pb-oll-rs) R 59347 59350 58030 0 -1 4194304 62970 0 0 0 358694 1306 0 0 20 0 1 0 56524136 514560000 118978 18446744073709551615 4218880 5211445 140729790388864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 6819840 140729790392732 140729790392809 140729790392809 140729790398411 0
/proc/59350/statm: 125625 118978 1312 243 0 121874 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 502500 KiB
Current children cumulated memory: 475912 KiB
Child status: 0
Real time (s): 3609.91
CPU time (s): 3600.02
CPU user time (s): 3586.95
CPU system time (s): 13.0661
CPU usage (%): 99.726
Max. virtual memory (cumulated for all children) (KiB): 502500
Max. memory (cumulated for all children) (KiB): 475912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.95
system time used= 13.0661
maximum resident set size= 476168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62984
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 208
involuntary context switches= 7960
# summary of solver processes directly reported to runsolver:
# pid: 59350
# total CPU time (s): 3600.02
# total CPU user time (s): 3586.95
# total CPU system time (s): 13.0661
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.78029 second user time and 15.7885 second system time
The end
Begin job on nodeC023 at 2025-07-02 00:21:03
IDJOB=4499162
IDBENCH=148772
IDSOLVER=3345
FILE ID=nodeC023/4499162-1751408463
RUNJOBID= nodeC023-1751399181-58040
SLURM_JOB_ID= 9598285
Free space on /tmp= 432428 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx63.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4499162-1751408463/watcher-4499162-1751408463 -o /tmp/evaluation-result-4499162-1751408463/solver-4499162-1751408463 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751399181-58040 --watchdog 3760 pb-oll-rs HOME/instance-4499162-1751408463.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7c2ff02722ff3a09887b085a032d3a00
RANDOM SEED=2068448824
nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.822
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.888
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.888
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3626.260
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.865
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.883
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.280
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.993
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128576520 kB
MemAvailable: 128966128 kB
Buffers: 1328 kB
Cached: 1187752 kB
SwapCached: 372 kB
Active: 1021652 kB
Inactive: 1018916 kB
Active(anon): 810360 kB
Inactive(anon): 54564 kB
Active(file): 211292 kB
Inactive(file): 964352 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005272 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 2040 kB
Writeback: 0 kB
AnonPages: 851936 kB
Mapped: 103176 kB
Shmem: 13436 kB
KReclaimable: 106404 kB
Slab: 194748 kB
SReclaimable: 106404 kB
SUnreclaim: 88344 kB
KernelStack: 4300 kB
PageTables: 4904 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1362572 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 405504 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: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432432 MiB
End job on nodeC023 at 2025-07-02 01:21:13