0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.01 c [STEP] preprocessing with Papilo
0.00/0.02 c [STEP] solving with SCIP
299.13/300.10 c [STEP] preprocessing done, loading into solver
299.23/300.10 c [STEP] solving
299.23/300.10 c #variables 2126 #constraints 418
334.75/335.73 c #Conflicts: 1000 | #Constraints: 1417
334.75/335.73 c #Conflicts: 2000 | #Constraints: 2417
334.75/335.73 c INPROCESSING
334.75/335.73 c GARBAGE COLLECT
334.75/335.73 c #Conflicts: 3000 | #Constraints: 2427
334.75/335.73 c #Conflicts: 4000 | #Constraints: 3427
334.75/335.73 c INPROCESSING
334.75/335.73 c GARBAGE COLLECT
334.75/335.73 c #Conflicts: 5000 | #Constraints: 2831
334.75/335.73 c #Conflicts: 6000 | #Constraints: 3831
334.75/335.73 c INPROCESSING
334.75/335.73 c GARBAGE COLLECT
334.75/335.73 c #Conflicts: 7000 | #Constraints: 2835
334.75/335.73 c #Conflicts: 8000 | #Constraints: 3835
334.75/335.73 c #Conflicts: 9000 | #Constraints: 4835
334.75/335.73 c INPROCESSING
334.75/335.73 c GARBAGE COLLECT
334.75/335.73 c #Conflicts: 10000 | #Constraints: 3537
334.75/335.73 c #Conflicts: 11000 | #Constraints: 4537
334.75/335.73 c #Conflicts: 12000 | #Constraints: 5537
334.75/335.73 c INPROCESSING
334.75/335.73 c GARBAGE COLLECT
334.75/335.73 c #Conflicts: 13000 | #Constraints: 3989
334.75/335.73 c #Conflicts: 14000 | #Constraints: 4989
334.75/335.73 c #Conflicts: 15000 | #Constraints: 5989
334.75/335.73 c INPROCESSING
334.75/335.73 c GARBAGE COLLECT
334.75/335.73 c #Conflicts: 16000 | #Constraints: 4219
334.75/335.73 c #Conflicts: 17000 | #Constraints: 5219
334.75/335.73 c #Conflicts: 18000 | #Constraints: 6219
334.75/335.73 c INPROCESSING
334.75/335.73 c GARBAGE COLLECT
334.75/335.73 c #Conflicts: 19000 | #Constraints: 4246
334.75/335.73 c #Conflicts: 20000 | #Constraints: 5246
334.75/335.73 c #Conflicts: 21000 | #Constraints: 6246
334.75/335.73 c INPROCESSING
334.75/335.73 c GARBAGE COLLECT
334.75/335.73 c #Conflicts: 22000 | #Constraints: 4039
334.75/335.73 c #Conflicts: 23000 | #Constraints: 5039
334.75/335.73 c #Conflicts: 24000 | #Constraints: 6039
334.75/335.73 c #Conflicts: 25000 | #Constraints: 7039
334.75/335.73 c INPROCESSING
334.75/335.73 c GARBAGE COLLECT
334.75/335.73 c #Conflicts: 26000 | #Constraints: 4645
334.75/335.73 c #Conflicts: 27000 | #Constraints: 5645
334.75/335.73 c #Conflicts: 28000 | #Constraints: 6645
334.75/335.73 c #Conflicts: 29000 | #Constraints: 7645
334.75/335.73 c INPROCESSING
334.75/335.73 c GARBAGE COLLECT
334.75/335.73 c #Conflicts: 30000 | #Constraints: 5044
334.75/335.73 c #Conflicts: 31000 | #Constraints: 6044
334.75/335.73 c #Conflicts: 32000 | #Constraints: 7044
334.75/335.73 c #Conflicts: 33000 | #Constraints: 8044
334.75/335.73 c INPROCESSING
334.75/335.73 c GARBAGE COLLECT
334.75/335.73 c #Conflicts: 34000 | #Constraints: 5245
334.75/335.73 c #Conflicts: 35000 | #Constraints: 6245
334.75/335.73 c #Conflicts: 36000 | #Constraints: 7245
334.75/335.73 c #Conflicts: 37000 | #Constraints: 8245
334.75/335.73 c INPROCESSING
334.75/335.73 c GARBAGE COLLECT
334.75/335.73 c #Conflicts: 38000 | #Constraints: 5261
334.75/335.73 c #Conflicts: 39000 | #Constraints: 6261
334.75/335.73 c #Conflicts: 40000 | #Constraints: 7261
334.75/335.73 c #Conflicts: 41000 | #Constraints: 8261
334.75/335.73 c INPROCESSING
334.75/335.73 c GARBAGE COLLECT
334.75/335.73 c #Conflicts: 42000 | #Constraints: 5058
334.75/335.73 c #Conflicts: 43000 | #Constraints: 6058
334.75/335.73 c #Conflicts: 44000 | #Constraints: 7058
334.75/335.73 c #Conflicts: 45000 | #Constraints: 8058
334.75/335.73 c #Conflicts: 46000 | #Constraints: 9058
334.75/335.73 c INPROCESSING
334.75/335.73 c GARBAGE COLLECT
334.75/335.73 c #Conflicts: 47000 | #Constraints: 5648
334.75/335.73 c #Conflicts: 48000 | #Constraints: 6648
334.75/335.73 c #Conflicts: 49000 | #Constraints: 7648
334.75/335.73 c #Conflicts: 50000 | #Constraints: 8648
334.75/335.73 c #Conflicts: 51000 | #Constraints: 9648
334.75/335.73 c INPROCESSING
334.75/335.73 c GARBAGE COLLECT
334.75/335.73 c #Conflicts: 52000 | #Constraints: 6051
334.75/335.73 c #Conflicts: 53000 | #Constraints: 7051
334.75/335.73 c #Conflicts: 54000 | #Constraints: 8051
334.75/335.73 c #Conflicts: 55000 | #Constraints: 9051
334.75/335.73 c #Conflicts: 56000 | #Constraints: 10051
334.75/335.73 c INPROCESSING
334.75/335.73 c GARBAGE COLLECT
334.75/335.73 c #Conflicts: 57000 | #Constraints: 6245
334.75/335.73 c #Conflicts: 58000 | #Constraints: 7245
334.75/335.73 c #Conflicts: 59000 | #Constraints: 8245
334.75/335.73 c #Conflicts: 60000 | #Constraints: 9245
334.75/335.73 c #Conflicts: 61000 | #Constraints: 10245
334.75/335.73 c INPROCESSING
334.75/335.73 c GARBAGE COLLECT
334.75/335.73 c #Conflicts: 62000 | #Constraints: 6248
334.75/335.73 c #Conflicts: 63000 | #Constraints: 7248
334.75/335.73 c #Conflicts: 64000 | #Constraints: 8248
334.75/335.73 c #Conflicts: 65000 | #Constraints: 9248
334.75/335.73 c #Conflicts: 66000 | #Constraints: 10248
334.75/335.73 c INPROCESSING
334.75/335.73 c GARBAGE COLLECT
334.75/335.73 c #Conflicts: 67000 | #Constraints: 6054
334.75/335.73 c #Conflicts: 68000 | #Constraints: 7054
392.20/393.31 c #Conflicts: 69000 | #Constraints: 8054
392.20/393.31 c #Conflicts: 70000 | #Constraints: 9054
392.20/393.31 c #Conflicts: 71000 | #Constraints: 10054
392.20/393.31 c #Conflicts: 72000 | #Constraints: 11054
392.20/393.31 c INPROCESSING
392.20/393.31 c GARBAGE COLLECT
392.20/393.31 c #Conflicts: 73000 | #Constraints: 6650
392.20/393.31 c #Conflicts: 74000 | #Constraints: 7650
392.20/393.31 c #Conflicts: 75000 | #Constraints: 8650
392.20/393.31 c #Conflicts: 76000 | #Constraints: 9650
392.20/393.31 c #Conflicts: 77000 | #Constraints: 10650
392.20/393.31 c #Conflicts: 78000 | #Constraints: 11650
392.20/393.31 c INPROCESSING
392.20/393.31 c GARBAGE COLLECT
392.20/393.31 c #Conflicts: 79000 | #Constraints: 7058
392.20/393.31 c #Conflicts: 80000 | #Constraints: 8058
392.20/393.31 c #Conflicts: 81000 | #Constraints: 9058
392.20/393.31 c #Conflicts: 82000 | #Constraints: 10058
392.20/393.31 c #Conflicts: 83000 | #Constraints: 11058
392.20/393.31 c #Conflicts: 84000 | #Constraints: 12058
392.20/393.31 c INPROCESSING
392.20/393.31 c GARBAGE COLLECT
392.20/393.31 c #Conflicts: 85000 | #Constraints: 7253
392.20/393.31 c #Conflicts: 86000 | #Constraints: 8253
392.20/393.31 c #Conflicts: 87000 | #Constraints: 9253
392.20/393.31 c #Conflicts: 88000 | #Constraints: 10253
392.20/393.31 c #Conflicts: 89000 | #Constraints: 11253
392.20/393.31 c #Conflicts: 90000 | #Constraints: 12253
392.20/393.31 c INPROCESSING
392.20/393.31 c GARBAGE COLLECT
392.20/393.31 c #Conflicts: 91000 | #Constraints: 7264
392.20/393.31 c #Conflicts: 92000 | #Constraints: 8264
392.20/393.31 c #Conflicts: 93000 | #Constraints: 9264
392.20/393.31 c #Conflicts: 94000 | #Constraints: 10264
392.20/393.31 c #Conflicts: 95000 | #Constraints: 11264
392.20/393.31 c #Conflicts: 96000 | #Constraints: 12264
392.20/393.31 c INPROCESSING
392.20/393.31 c GARBAGE COLLECT
392.20/393.31 c #Conflicts: 97000 | #Constraints: 7067
392.20/393.31 c #Conflicts: 98000 | #Constraints: 8067
392.20/393.31 c #Conflicts: 99000 | #Constraints: 9067
392.20/393.31 c #Conflicts: 100000 | #Constraints: 10067
392.20/393.31 c #Conflicts: 101000 | #Constraints: 11067
392.20/393.31 c #Conflicts: 102000 | #Constraints: 12067
392.20/393.31 c #Conflicts: 103000 | #Constraints: 13067
392.20/393.31 c INPROCESSING
392.20/393.31 c GARBAGE COLLECT
392.20/393.31 c #Conflicts: 104000 | #Constraints: 7656
392.20/393.31 c #Conflicts: 105000 | #Constraints: 8656
392.20/393.31 c #Conflicts: 106000 | #Constraints: 9656
392.20/393.31 c #Conflicts: 107000 | #Constraints: 10656
392.20/393.31 c #Conflicts: 108000 | #Constraints: 11656
392.20/393.31 c #Conflicts: 109000 | #Constraints: 12656
392.20/393.31 c #Conflicts: 110000 | #Constraints: 13656
392.20/393.31 c INPROCESSING
392.20/393.31 c GARBAGE COLLECT
392.20/393.31 c #Conflicts: 111000 | #Constraints: 8066
392.20/393.31 c #Conflicts: 112000 | #Constraints: 9066
392.20/393.31 c #Conflicts: 113000 | #Constraints: 10066
392.20/393.31 c #Conflicts: 114000 | #Constraints: 11066
392.20/393.31 c #Conflicts: 115000 | #Constraints: 12066
392.20/393.31 c #Conflicts: 116000 | #Constraints: 13066
392.20/393.31 c #Conflicts: 117000 | #Constraints: 14066
392.20/393.31 c INPROCESSING
392.20/393.31 c GARBAGE COLLECT
392.20/393.31 c #Conflicts: 118000 | #Constraints: 8260
392.20/393.31 c #Conflicts: 119000 | #Constraints: 9260
392.20/393.31 c #Conflicts: 120000 | #Constraints: 10260
392.20/393.31 c #Conflicts: 121000 | #Constraints: 11260
392.20/393.31 c #Conflicts: 122000 | #Constraints: 12260
392.20/393.31 c #Conflicts: 123000 | #Constraints: 13260
392.20/393.31 c #Conflicts: 124000 | #Constraints: 14260
392.20/393.31 c INPROCESSING
392.20/393.31 c GARBAGE COLLECT
392.20/393.31 c #Conflicts: 125000 | #Constraints: 8257
392.20/393.31 c #Conflicts: 126000 | #Constraints: 9257
392.20/393.31 c #Conflicts: 127000 | #Constraints: 10257
392.20/393.31 c #Conflicts: 128000 | #Constraints: 11257
392.20/393.31 c #Conflicts: 129000 | #Constraints: 12257
392.20/393.31 c #Conflicts: 130000 | #Constraints: 13257
392.20/393.31 c #Conflicts: 131000 | #Constraints: 14257
392.20/393.31 c INPROCESSING
392.20/393.31 c GARBAGE COLLECT
392.20/393.31 c #Conflicts: 132000 | #Constraints: 8053
392.20/393.31 c #Conflicts: 133000 | #Constraints: 9053
392.20/393.31 c #Conflicts: 134000 | #Constraints: 10053
392.20/393.31 c #Conflicts: 135000 | #Constraints: 11053
392.20/393.31 c #Conflicts: 136000 | #Constraints: 12053
392.20/393.31 c #Conflicts: 137000 | #Constraints: 13053
392.20/393.31 c #Conflicts: 138000 | #Constraints: 14053
392.20/393.31 c #Conflicts: 139000 | #Constraints: 15053
392.20/393.31 c INPROCESSING
392.20/393.31 c GARBAGE COLLECT
392.20/393.31 c #Conflicts: 140000 | #Constraints: 8654
468.21/469.50 c #Conflicts: 141000 | #Constraints: 9654
468.21/469.50 c #Conflicts: 142000 | #Constraints: 10654
468.21/469.50 c #Conflicts: 143000 | #Constraints: 11654
468.21/469.50 c #Conflicts: 144000 | #Constraints: 12654
468.21/469.50 c #Conflicts: 145000 | #Constraints: 13654
468.21/469.50 c #Conflicts: 146000 | #Constraints: 14654
468.21/469.50 c #Conflicts: 147000 | #Constraints: 15654
468.21/469.50 c INPROCESSING
468.21/469.50 c GARBAGE COLLECT
468.21/469.50 c #Conflicts: 148000 | #Constraints: 9077
468.21/469.50 c #Conflicts: 149000 | #Constraints: 10077
468.21/469.50 c #Conflicts: 150000 | #Constraints: 11077
468.21/469.50 c #Conflicts: 151000 | #Constraints: 12077
468.21/469.50 c #Conflicts: 152000 | #Constraints: 13077
468.21/469.50 c #Conflicts: 153000 | #Constraints: 14077
468.21/469.50 c #Conflicts: 154000 | #Constraints: 15077
468.21/469.50 c #Conflicts: 155000 | #Constraints: 16077
468.21/469.50 c INPROCESSING
468.21/469.50 c GARBAGE COLLECT
468.21/469.50 c #Conflicts: 156000 | #Constraints: 9270
468.21/469.50 c #Conflicts: 157000 | #Constraints: 10270
468.21/469.50 c #Conflicts: 158000 | #Constraints: 11270
468.21/469.50 c #Conflicts: 159000 | #Constraints: 12270
468.21/469.50 c #Conflicts: 160000 | #Constraints: 13270
468.21/469.50 c #Conflicts: 161000 | #Constraints: 14270
468.21/469.50 c #Conflicts: 162000 | #Constraints: 15270
468.21/469.50 c #Conflicts: 163000 | #Constraints: 16270
468.21/469.50 c INPROCESSING
468.21/469.50 c GARBAGE COLLECT
468.21/469.50 c #Conflicts: 164000 | #Constraints: 9267
468.21/469.50 c #Conflicts: 165000 | #Constraints: 10267
468.21/469.50 c #Conflicts: 166000 | #Constraints: 11267
468.21/469.50 c #Conflicts: 167000 | #Constraints: 12267
468.21/469.50 c #Conflicts: 168000 | #Constraints: 13267
468.21/469.50 c #Conflicts: 169000 | #Constraints: 14267
468.21/469.50 c #Conflicts: 170000 | #Constraints: 15267
468.21/469.50 c #Conflicts: 171000 | #Constraints: 16267
468.21/469.50 c INPROCESSING
468.21/469.50 c GARBAGE COLLECT
468.21/469.50 c #Conflicts: 172000 | #Constraints: 9059
468.21/469.50 c #Conflicts: 173000 | #Constraints: 10059
468.21/469.50 c #Conflicts: 174000 | #Constraints: 11059
468.21/469.50 c #Conflicts: 175000 | #Constraints: 12059
468.21/469.50 c #Conflicts: 176000 | #Constraints: 13059
468.21/469.50 c #Conflicts: 177000 | #Constraints: 14059
468.21/469.50 c #Conflicts: 178000 | #Constraints: 15059
468.21/469.50 c #Conflicts: 179000 | #Constraints: 16059
468.21/469.50 c #Conflicts: 180000 | #Constraints: 17059
468.21/469.50 c INPROCESSING
468.21/469.50 c GARBAGE COLLECT
468.21/469.50 c #Conflicts: 181000 | #Constraints: 9656
468.21/469.50 c #Conflicts: 182000 | #Constraints: 10656
468.21/469.50 c #Conflicts: 183000 | #Constraints: 11656
468.21/469.50 c #Conflicts: 184000 | #Constraints: 12656
468.21/469.50 c #Conflicts: 185000 | #Constraints: 13656
468.21/469.50 c #Conflicts: 186000 | #Constraints: 14656
468.21/469.50 c #Conflicts: 187000 | #Constraints: 15656
468.21/469.50 c #Conflicts: 188000 | #Constraints: 16656
468.21/469.50 c #Conflicts: 189000 | #Constraints: 17656
468.21/469.50 c INPROCESSING
468.21/469.50 c GARBAGE COLLECT
468.21/469.50 c #Conflicts: 190000 | #Constraints: 10062
468.21/469.50 c #Conflicts: 191000 | #Constraints: 11062
468.21/469.50 c #Conflicts: 192000 | #Constraints: 12062
468.21/469.50 c #Conflicts: 193000 | #Constraints: 13062
468.21/469.50 c #Conflicts: 194000 | #Constraints: 14062
468.21/469.50 c #Conflicts: 195000 | #Constraints: 15062
468.21/469.50 c #Conflicts: 196000 | #Constraints: 16062
468.21/469.50 c #Conflicts: 197000 | #Constraints: 17062
468.21/469.50 c #Conflicts: 198000 | #Constraints: 18062
468.21/469.50 c INPROCESSING
468.21/469.50 c GARBAGE COLLECT
468.21/469.50 c #Conflicts: 199000 | #Constraints: 10269
468.21/469.50 c #Conflicts: 200000 | #Constraints: 11269
468.21/469.50 c #Conflicts: 201000 | #Constraints: 12269
468.21/469.50 c #Conflicts: 202000 | #Constraints: 13269
468.21/469.50 c #Conflicts: 203000 | #Constraints: 14269
468.21/469.50 c #Conflicts: 204000 | #Constraints: 15269
468.21/469.50 c #Conflicts: 205000 | #Constraints: 16269
468.21/469.50 c #Conflicts: 206000 | #Constraints: 17269
468.21/469.50 c #Conflicts: 207000 | #Constraints: 18269
468.21/469.50 c INPROCESSING
468.21/469.50 c GARBAGE COLLECT
468.21/469.50 c #Conflicts: 208000 | #Constraints: 10270
468.21/469.50 c #Conflicts: 209000 | #Constraints: 11270
468.21/469.50 c #Conflicts: 210000 | #Constraints: 12270
468.21/469.50 c #Conflicts: 211000 | #Constraints: 13270
468.21/469.50 c #Conflicts: 212000 | #Constraints: 14270
468.21/469.50 c #Conflicts: 213000 | #Constraints: 15270
539.12/540.65 c #Conflicts: 214000 | #Constraints: 16270
539.12/540.65 c #Conflicts: 215000 | #Constraints: 17270
539.12/540.65 c #Conflicts: 216000 | #Constraints: 18270
539.12/540.65 c INPROCESSING
539.12/540.65 c GARBAGE COLLECT
539.12/540.65 c #Conflicts: 217000 | #Constraints: 10084
539.12/540.65 c #Conflicts: 218000 | #Constraints: 11084
539.12/540.65 c #Conflicts: 219000 | #Constraints: 12084
539.12/540.65 c #Conflicts: 220000 | #Constraints: 13084
539.12/540.65 c #Conflicts: 221000 | #Constraints: 14084
539.12/540.65 c #Conflicts: 222000 | #Constraints: 15084
539.12/540.65 c #Conflicts: 223000 | #Constraints: 16084
539.12/540.65 c #Conflicts: 224000 | #Constraints: 17084
539.12/540.65 c #Conflicts: 225000 | #Constraints: 18084
539.12/540.65 c #Conflicts: 226000 | #Constraints: 19084
539.12/540.65 c INPROCESSING
539.12/540.65 c GARBAGE COLLECT
539.12/540.65 c #Conflicts: 227000 | #Constraints: 10681
539.12/540.65 c #Conflicts: 228000 | #Constraints: 11681
539.12/540.65 c #Conflicts: 229000 | #Constraints: 12681
539.12/540.65 c #Conflicts: 230000 | #Constraints: 13681
539.12/540.65 c #Conflicts: 231000 | #Constraints: 14681
539.12/540.65 c #Conflicts: 232000 | #Constraints: 15681
539.12/540.65 c #Conflicts: 233000 | #Constraints: 16681
539.12/540.65 c #Conflicts: 234000 | #Constraints: 17681
539.12/540.65 c #Conflicts: 235000 | #Constraints: 18681
539.12/540.65 c #Conflicts: 236000 | #Constraints: 19681
539.12/540.65 c INPROCESSING
539.12/540.65 c GARBAGE COLLECT
539.12/540.65 c #Conflicts: 237000 | #Constraints: 11072
539.12/540.65 c #Conflicts: 238000 | #Constraints: 12072
539.12/540.65 c #Conflicts: 239000 | #Constraints: 13072
539.12/540.65 c #Conflicts: 240000 | #Constraints: 14072
539.12/540.65 c #Conflicts: 241000 | #Constraints: 15072
539.12/540.65 c #Conflicts: 242000 | #Constraints: 16072
539.12/540.65 c #Conflicts: 243000 | #Constraints: 17072
539.12/540.65 c #Conflicts: 244000 | #Constraints: 18072
539.12/540.65 c #Conflicts: 245000 | #Constraints: 19072
539.12/540.65 c #Conflicts: 246000 | #Constraints: 20072
539.12/540.65 c INPROCESSING
539.12/540.65 c GARBAGE COLLECT
539.12/540.65 c #Conflicts: 247000 | #Constraints: 11262
539.12/540.65 c #Conflicts: 248000 | #Constraints: 12262
539.12/540.65 c #Conflicts: 249000 | #Constraints: 13262
539.12/540.65 c #Conflicts: 250000 | #Constraints: 14262
539.12/540.65 c #Conflicts: 251000 | #Constraints: 15262
539.12/540.65 c #Conflicts: 252000 | #Constraints: 16262
539.12/540.65 c #Conflicts: 253000 | #Constraints: 17262
539.12/540.65 c #Conflicts: 254000 | #Constraints: 18262
539.12/540.65 c #Conflicts: 255000 | #Constraints: 19262
539.12/540.65 c #Conflicts: 256000 | #Constraints: 20262
539.12/540.65 c INPROCESSING
539.12/540.65 c GARBAGE COLLECT
539.12/540.65 c #Conflicts: 257000 | #Constraints: 11256
539.12/540.65 c #Conflicts: 258000 | #Constraints: 12256
539.12/540.65 c #Conflicts: 259000 | #Constraints: 13256
539.12/540.65 c #Conflicts: 260000 | #Constraints: 14256
539.12/540.65 c #Conflicts: 261000 | #Constraints: 15256
539.12/540.65 c #Conflicts: 262000 | #Constraints: 16256
539.12/540.65 c #Conflicts: 263000 | #Constraints: 17256
539.12/540.65 c #Conflicts: 264000 | #Constraints: 18256
539.12/540.65 c #Conflicts: 265000 | #Constraints: 19256
539.12/540.65 c #Conflicts: 266000 | #Constraints: 20256
539.12/540.65 c INPROCESSING
539.12/540.65 c GARBAGE COLLECT
539.12/540.65 c #Conflicts: 267000 | #Constraints: 11062
539.12/540.65 c #Conflicts: 268000 | #Constraints: 12062
539.12/540.65 c #Conflicts: 269000 | #Constraints: 13062
539.12/540.65 c #Conflicts: 270000 | #Constraints: 14062
539.12/540.65 c #Conflicts: 271000 | #Constraints: 15062
539.12/540.65 c #Conflicts: 272000 | #Constraints: 16062
539.12/540.65 c #Conflicts: 273000 | #Constraints: 17062
539.12/540.65 c #Conflicts: 274000 | #Constraints: 18062
539.12/540.65 c #Conflicts: 275000 | #Constraints: 19062
539.12/540.65 c #Conflicts: 276000 | #Constraints: 20062
539.12/540.65 c #Conflicts: 277000 | #Constraints: 21062
539.12/540.65 c INPROCESSING
539.12/540.65 c GARBAGE COLLECT
539.12/540.65 c #Conflicts: 278000 | #Constraints: 11664
539.12/540.65 c #Conflicts: 279000 | #Constraints: 12664
539.12/540.65 c #Conflicts: 280000 | #Constraints: 13664
539.12/540.65 c #Conflicts: 281000 | #Constraints: 14664
539.12/540.65 c #Conflicts: 282000 | #Constraints: 15664
539.12/540.65 c #Conflicts: 283000 | #Constraints: 16664
539.12/540.65 c #Conflicts: 284000 | #Constraints: 17664
539.12/540.65 c #Conflicts: 285000 | #Constraints: 18664
539.12/540.65 c #Conflicts: 286000 | #Constraints: 19664
539.12/540.65 c #Conflicts: 287000 | #Constraints: 20664
539.12/540.65 c #Conflicts: 288000 | #Constraints: 21664
632.75/634.57 c INPROCESSING
632.75/634.57 c GARBAGE COLLECT
632.75/634.57 c #Conflicts: 289000 | #Constraints: 12051
632.75/634.57 c #Conflicts: 290000 | #Constraints: 13051
632.75/634.57 c #Conflicts: 291000 | #Constraints: 14051
632.75/634.57 c #Conflicts: 292000 | #Constraints: 15051
632.75/634.57 c #Conflicts: 293000 | #Constraints: 16051
632.75/634.57 c #Conflicts: 294000 | #Constraints: 17051
632.75/634.57 c #Conflicts: 295000 | #Constraints: 18051
632.75/634.57 c #Conflicts: 296000 | #Constraints: 19051
632.75/634.57 c #Conflicts: 297000 | #Constraints: 20051
632.75/634.57 c #Conflicts: 298000 | #Constraints: 21051
632.75/634.57 c #Conflicts: 299000 | #Constraints: 22051
632.75/634.57 c INPROCESSING
632.75/634.57 c GARBAGE COLLECT
632.75/634.57 c #Conflicts: 300000 | #Constraints: 12256
632.75/634.57 c #Conflicts: 301000 | #Constraints: 13256
632.75/634.57 c #Conflicts: 302000 | #Constraints: 14256
632.75/634.57 c #Conflicts: 303000 | #Constraints: 15256
632.75/634.57 c #Conflicts: 304000 | #Constraints: 16256
632.75/634.57 c #Conflicts: 305000 | #Constraints: 17256
632.75/634.57 c #Conflicts: 306000 | #Constraints: 18256
632.75/634.57 c #Conflicts: 307000 | #Constraints: 19256
632.75/634.57 c #Conflicts: 308000 | #Constraints: 20256
632.75/634.57 c #Conflicts: 309000 | #Constraints: 21256
632.75/634.57 c #Conflicts: 310000 | #Constraints: 22256
632.75/634.57 c INPROCESSING
632.75/634.57 c GARBAGE COLLECT
632.75/634.57 c #Conflicts: 311000 | #Constraints: 12260
632.75/634.57 c #Conflicts: 312000 | #Constraints: 13260
632.75/634.57 c #Conflicts: 313000 | #Constraints: 14260
632.75/634.57 c #Conflicts: 314000 | #Constraints: 15260
632.75/634.57 c #Conflicts: 315000 | #Constraints: 16260
632.75/634.57 c #Conflicts: 316000 | #Constraints: 17260
632.75/634.57 c #Conflicts: 317000 | #Constraints: 18260
632.75/634.57 c #Conflicts: 318000 | #Constraints: 19260
632.75/634.57 c #Conflicts: 319000 | #Constraints: 20260
632.75/634.57 c #Conflicts: 320000 | #Constraints: 21260
632.75/634.57 c #Conflicts: 321000 | #Constraints: 22260
632.75/634.57 c INPROCESSING
632.75/634.57 c GARBAGE COLLECT
632.75/634.57 c #Conflicts: 322000 | #Constraints: 12064
632.75/634.57 c #Conflicts: 323000 | #Constraints: 13064
632.75/634.57 c #Conflicts: 324000 | #Constraints: 14064
632.75/634.57 c #Conflicts: 325000 | #Constraints: 15064
632.75/634.57 c #Conflicts: 326000 | #Constraints: 16064
632.75/634.57 c #Conflicts: 327000 | #Constraints: 17064
632.75/634.57 c #Conflicts: 328000 | #Constraints: 18064
632.75/634.57 c #Conflicts: 329000 | #Constraints: 19064
632.75/634.57 c #Conflicts: 330000 | #Constraints: 20064
632.75/634.57 c #Conflicts: 331000 | #Constraints: 21064
632.75/634.57 c #Conflicts: 332000 | #Constraints: 22064
632.75/634.57 c #Conflicts: 333000 | #Constraints: 23064
632.75/634.57 c INPROCESSING
632.75/634.57 c GARBAGE COLLECT
632.75/634.57 c #Conflicts: 334000 | #Constraints: 12660
632.75/634.57 c #Conflicts: 335000 | #Constraints: 13660
632.75/634.57 c #Conflicts: 336000 | #Constraints: 14660
632.75/634.57 c #Conflicts: 337000 | #Constraints: 15660
632.75/634.57 c #Conflicts: 338000 | #Constraints: 16660
632.75/634.57 c #Conflicts: 339000 | #Constraints: 17660
632.75/634.57 c #Conflicts: 340000 | #Constraints: 18660
632.75/634.57 c #Conflicts: 341000 | #Constraints: 19660
632.75/634.57 c #Conflicts: 342000 | #Constraints: 20660
632.75/634.57 c #Conflicts: 343000 | #Constraints: 21660
632.75/634.57 c #Conflicts: 344000 | #Constraints: 22660
632.75/634.57 c #Conflicts: 345000 | #Constraints: 23660
632.75/634.57 c INPROCESSING
632.75/634.57 c GARBAGE COLLECT
632.75/634.57 c #Conflicts: 346000 | #Constraints: 13055
632.75/634.57 c #Conflicts: 347000 | #Constraints: 14055
632.75/634.57 c #Conflicts: 348000 | #Constraints: 15055
632.75/634.57 c #Conflicts: 349000 | #Constraints: 16055
632.75/634.57 c #Conflicts: 350000 | #Constraints: 17055
632.75/634.57 c #Conflicts: 351000 | #Constraints: 18055
632.75/634.57 c #Conflicts: 352000 | #Constraints: 19055
632.75/634.57 c #Conflicts: 353000 | #Constraints: 20055
632.75/634.57 c #Conflicts: 354000 | #Constraints: 21055
632.75/634.57 c #Conflicts: 355000 | #Constraints: 22055
632.75/634.57 c #Conflicts: 356000 | #Constraints: 23055
632.75/634.57 c #Conflicts: 357000 | #Constraints: 24055
632.75/634.57 c INPROCESSING
632.75/634.57 c GARBAGE COLLECT
632.75/634.57 c #Conflicts: 358000 | #Constraints: 13252
632.75/634.57 c #Conflicts: 359000 | #Constraints: 14252
632.75/634.57 c #Conflicts: 360000 | #Constraints: 15252
632.75/634.57 c #Conflicts: 361000 | #Constraints: 16252
632.75/634.57 c #Conflicts: 362000 | #Constraints: 17252
738.54/740.69 c #Conflicts: 363000 | #Constraints: 18252
738.54/740.69 c #Conflicts: 364000 | #Constraints: 19252
738.54/740.69 c #Conflicts: 365000 | #Constraints: 20252
738.54/740.69 c #Conflicts: 366000 | #Constraints: 21252
738.54/740.69 c #Conflicts: 367000 | #Constraints: 22252
738.54/740.69 c #Conflicts: 368000 | #Constraints: 23252
738.54/740.69 c #Conflicts: 369000 | #Constraints: 24252
738.54/740.69 c INPROCESSING
738.54/740.69 c GARBAGE COLLECT
738.54/740.69 c #Conflicts: 370000 | #Constraints: 13260
738.54/740.69 c #Conflicts: 371000 | #Constraints: 14260
738.54/740.69 c #Conflicts: 372000 | #Constraints: 15260
738.54/740.69 c #Conflicts: 373000 | #Constraints: 16260
738.54/740.69 c #Conflicts: 374000 | #Constraints: 17260
738.54/740.69 c #Conflicts: 375000 | #Constraints: 18260
738.54/740.69 c #Conflicts: 376000 | #Constraints: 19260
738.54/740.69 c #Conflicts: 377000 | #Constraints: 20260
738.54/740.69 c #Conflicts: 378000 | #Constraints: 21260
738.54/740.69 c #Conflicts: 379000 | #Constraints: 22260
738.54/740.69 c #Conflicts: 380000 | #Constraints: 23260
738.54/740.69 c #Conflicts: 381000 | #Constraints: 24260
738.54/740.69 c INPROCESSING
738.54/740.69 c GARBAGE COLLECT
738.54/740.69 c #Conflicts: 382000 | #Constraints: 13052
738.54/740.69 c #Conflicts: 383000 | #Constraints: 14052
738.54/740.69 c #Conflicts: 384000 | #Constraints: 15052
738.54/740.69 c #Conflicts: 385000 | #Constraints: 16052
738.54/740.69 c #Conflicts: 386000 | #Constraints: 17052
738.54/740.69 c #Conflicts: 387000 | #Constraints: 18052
738.54/740.69 c #Conflicts: 388000 | #Constraints: 19052
738.54/740.69 c #Conflicts: 389000 | #Constraints: 20052
738.54/740.69 c #Conflicts: 390000 | #Constraints: 21052
738.54/740.69 c #Conflicts: 391000 | #Constraints: 22052
738.54/740.69 c #Conflicts: 392000 | #Constraints: 23052
738.54/740.69 c #Conflicts: 393000 | #Constraints: 24052
738.54/740.69 c #Conflicts: 394000 | #Constraints: 25052
738.54/740.69 c INPROCESSING
738.54/740.69 c GARBAGE COLLECT
738.54/740.69 c #Conflicts: 395000 | #Constraints: 13653
738.54/740.69 c #Conflicts: 396000 | #Constraints: 14653
738.54/740.69 c #Conflicts: 397000 | #Constraints: 15653
738.54/740.69 c #Conflicts: 398000 | #Constraints: 16653
738.54/740.69 c #Conflicts: 399000 | #Constraints: 17653
738.54/740.69 c #Conflicts: 400000 | #Constraints: 18653
738.54/740.69 c #Conflicts: 401000 | #Constraints: 19653
738.54/740.69 c #Conflicts: 402000 | #Constraints: 20653
738.54/740.69 c #Conflicts: 403000 | #Constraints: 21653
738.54/740.69 c #Conflicts: 404000 | #Constraints: 22653
738.54/740.69 c #Conflicts: 405000 | #Constraints: 23653
738.54/740.69 c #Conflicts: 406000 | #Constraints: 24653
738.54/740.69 c #Conflicts: 407000 | #Constraints: 25653
738.54/740.69 c INPROCESSING
738.54/740.69 c GARBAGE COLLECT
738.54/740.69 c #Conflicts: 408000 | #Constraints: 14054
738.54/740.69 c #Conflicts: 409000 | #Constraints: 15054
738.54/740.69 c #Conflicts: 410000 | #Constraints: 16054
738.54/740.69 c #Conflicts: 411000 | #Constraints: 17054
738.54/740.69 c #Conflicts: 412000 | #Constraints: 18054
738.54/740.69 c #Conflicts: 413000 | #Constraints: 19054
738.54/740.69 c #Conflicts: 414000 | #Constraints: 20054
738.54/740.69 c #Conflicts: 415000 | #Constraints: 21054
738.54/740.69 c #Conflicts: 416000 | #Constraints: 22054
738.54/740.69 c #Conflicts: 417000 | #Constraints: 23054
738.54/740.69 c #Conflicts: 418000 | #Constraints: 24054
738.54/740.69 c #Conflicts: 419000 | #Constraints: 25054
738.54/740.69 c #Conflicts: 420000 | #Constraints: 26054
738.54/740.69 c INPROCESSING
738.54/740.69 c GARBAGE COLLECT
738.54/740.69 c #Conflicts: 421000 | #Constraints: 14275
738.54/740.69 c #Conflicts: 422000 | #Constraints: 15275
738.54/740.69 c #Conflicts: 423000 | #Constraints: 16275
738.54/740.69 c #Conflicts: 424000 | #Constraints: 17275
738.54/740.69 c #Conflicts: 425000 | #Constraints: 18275
738.54/740.69 c #Conflicts: 426000 | #Constraints: 19275
738.54/740.69 c #Conflicts: 427000 | #Constraints: 20275
738.54/740.69 c #Conflicts: 428000 | #Constraints: 21275
738.54/740.69 c #Conflicts: 429000 | #Constraints: 22275
738.54/740.69 c #Conflicts: 430000 | #Constraints: 23275
738.54/740.69 c #Conflicts: 431000 | #Constraints: 24275
738.54/740.69 c #Conflicts: 432000 | #Constraints: 25275
738.54/740.69 c #Conflicts: 433000 | #Constraints: 26275
738.54/740.69 c INPROCESSING
738.54/740.69 c GARBAGE COLLECT
738.54/740.69 c #Conflicts: 434000 | #Constraints: 14273
738.54/740.69 c #Conflicts: 435000 | #Constraints: 15273
738.54/740.69 c #Conflicts: 436000 | #Constraints: 16273
738.54/740.69 c #Conflicts: 437000 | #Constraints: 17273
882.63/885.18 c #Conflicts: 438000 | #Constraints: 18273
882.63/885.18 c #Conflicts: 439000 | #Constraints: 19273
882.63/885.18 c #Conflicts: 440000 | #Constraints: 20273
882.63/885.18 c #Conflicts: 441000 | #Constraints: 21273
882.63/885.18 c #Conflicts: 442000 | #Constraints: 22273
882.63/885.18 c #Conflicts: 443000 | #Constraints: 23273
882.63/885.18 c #Conflicts: 444000 | #Constraints: 24273
882.63/885.18 c #Conflicts: 445000 | #Constraints: 25273
882.63/885.18 c #Conflicts: 446000 | #Constraints: 26273
882.63/885.18 c INPROCESSING
882.63/885.18 c GARBAGE COLLECT
882.63/885.18 c #Conflicts: 447000 | #Constraints: 14068
882.63/885.18 c #Conflicts: 448000 | #Constraints: 15068
882.63/885.18 c #Conflicts: 449000 | #Constraints: 16068
882.63/885.18 c #Conflicts: 450000 | #Constraints: 17068
882.63/885.18 c #Conflicts: 451000 | #Constraints: 18068
882.63/885.18 c #Conflicts: 452000 | #Constraints: 19068
882.63/885.18 c #Conflicts: 453000 | #Constraints: 20068
882.63/885.18 c #Conflicts: 454000 | #Constraints: 21068
882.63/885.18 c #Conflicts: 455000 | #Constraints: 22068
882.63/885.18 c #Conflicts: 456000 | #Constraints: 23068
882.63/885.18 c #Conflicts: 457000 | #Constraints: 24068
882.63/885.18 c #Conflicts: 458000 | #Constraints: 25068
882.63/885.18 c #Conflicts: 459000 | #Constraints: 26068
882.63/885.18 c #Conflicts: 460000 | #Constraints: 27068
882.63/885.18 c INPROCESSING
882.63/885.18 c GARBAGE COLLECT
882.63/885.18 c #Conflicts: 461000 | #Constraints: 14668
882.63/885.18 c #Conflicts: 462000 | #Constraints: 15668
882.63/885.18 c #Conflicts: 463000 | #Constraints: 16668
882.63/885.18 c #Conflicts: 464000 | #Constraints: 17668
882.63/885.18 c #Conflicts: 465000 | #Constraints: 18668
882.63/885.18 c #Conflicts: 466000 | #Constraints: 19668
882.63/885.18 c #Conflicts: 467000 | #Constraints: 20668
882.63/885.18 c #Conflicts: 468000 | #Constraints: 21668
882.63/885.18 c #Conflicts: 469000 | #Constraints: 22668
882.63/885.18 c #Conflicts: 470000 | #Constraints: 23668
882.63/885.18 c #Conflicts: 471000 | #Constraints: 24668
882.63/885.18 c #Conflicts: 472000 | #Constraints: 25668
882.63/885.18 c #Conflicts: 473000 | #Constraints: 26668
882.63/885.18 c #Conflicts: 474000 | #Constraints: 27668
882.63/885.18 c INPROCESSING
882.63/885.18 c GARBAGE COLLECT
882.63/885.18 c #Conflicts: 475000 | #Constraints: 15071
882.63/885.18 c #Conflicts: 476000 | #Constraints: 16071
882.63/885.18 c #Conflicts: 477000 | #Constraints: 17071
882.63/885.18 c #Conflicts: 478000 | #Constraints: 18071
882.63/885.18 c #Conflicts: 479000 | #Constraints: 19071
882.63/885.18 c #Conflicts: 480000 | #Constraints: 20071
882.63/885.18 c #Conflicts: 481000 | #Constraints: 21071
882.63/885.18 c #Conflicts: 482000 | #Constraints: 22071
882.63/885.18 c #Conflicts: 483000 | #Constraints: 23071
882.63/885.18 c #Conflicts: 484000 | #Constraints: 24071
882.63/885.18 c #Conflicts: 485000 | #Constraints: 25071
882.63/885.18 c #Conflicts: 486000 | #Constraints: 26071
882.63/885.18 c #Conflicts: 487000 | #Constraints: 27071
882.63/885.18 c #Conflicts: 488000 | #Constraints: 28071
882.63/885.18 c INPROCESSING
882.63/885.18 c GARBAGE COLLECT
882.63/885.18 c #Conflicts: 489000 | #Constraints: 15279
882.63/885.18 c #Conflicts: 490000 | #Constraints: 16279
882.63/885.18 c #Conflicts: 491000 | #Constraints: 17279
882.63/885.18 c #Conflicts: 492000 | #Constraints: 18279
882.63/885.18 c #Conflicts: 493000 | #Constraints: 19279
882.63/885.18 c #Conflicts: 494000 | #Constraints: 20279
882.63/885.18 c #Conflicts: 495000 | #Constraints: 21279
882.63/885.18 c #Conflicts: 496000 | #Constraints: 22279
882.63/885.18 c #Conflicts: 497000 | #Constraints: 23279
882.63/885.18 c #Conflicts: 498000 | #Constraints: 24279
882.63/885.18 c #Conflicts: 499000 | #Constraints: 25279
882.63/885.18 c #Conflicts: 500000 | #Constraints: 26279
882.63/885.18 c #Conflicts: 501000 | #Constraints: 27279
882.63/885.18 c #Conflicts: 502000 | #Constraints: 28279
882.63/885.18 c INPROCESSING
882.63/885.18 c GARBAGE COLLECT
882.63/885.18 c #Conflicts: 503000 | #Constraints: 15284
882.63/885.18 c #Conflicts: 504000 | #Constraints: 16284
882.63/885.18 c #Conflicts: 505000 | #Constraints: 17284
882.63/885.18 c #Conflicts: 506000 | #Constraints: 18284
882.63/885.18 c #Conflicts: 507000 | #Constraints: 19284
882.63/885.18 c #Conflicts: 508000 | #Constraints: 20284
882.63/885.18 c #Conflicts: 509000 | #Constraints: 21284
882.63/885.18 c #Conflicts: 510000 | #Constraints: 22284
882.63/885.18 c #Conflicts: 511000 | #Constraints: 23284
882.63/885.18 c #Conflicts: 512000 | #Constraints: 24284
882.63/885.18 c #Conflicts: 513000 | #Constraints: 25284
991.10/993.96 c #Conflicts: 514000 | #Constraints: 26284
991.10/993.96 c #Conflicts: 515000 | #Constraints: 27284
991.10/993.96 c #Conflicts: 516000 | #Constraints: 28284
991.10/993.96 c INPROCESSING
991.10/993.96 c GARBAGE COLLECT
991.10/993.96 c #Conflicts: 517000 | #Constraints: 15069
991.10/993.96 c #Conflicts: 518000 | #Constraints: 16069
991.10/993.96 c #Conflicts: 519000 | #Constraints: 17069
991.10/993.96 c #Conflicts: 520000 | #Constraints: 18069
991.10/993.96 c #Conflicts: 521000 | #Constraints: 19069
991.10/993.96 c #Conflicts: 522000 | #Constraints: 20069
991.10/993.96 c #Conflicts: 523000 | #Constraints: 21069
991.10/993.96 c #Conflicts: 524000 | #Constraints: 22069
991.10/993.96 c #Conflicts: 525000 | #Constraints: 23069
991.10/993.96 c #Conflicts: 526000 | #Constraints: 24069
991.10/993.96 c #Conflicts: 527000 | #Constraints: 25069
991.10/993.96 c #Conflicts: 528000 | #Constraints: 26069
991.10/993.96 c #Conflicts: 529000 | #Constraints: 27069
991.10/993.96 c #Conflicts: 530000 | #Constraints: 28069
991.10/993.96 c #Conflicts: 531000 | #Constraints: 29069
991.10/993.96 c INPROCESSING
991.10/993.96 c GARBAGE COLLECT
991.10/993.96 c #Conflicts: 532000 | #Constraints: 15682
991.10/993.96 c #Conflicts: 533000 | #Constraints: 16682
991.10/993.96 c #Conflicts: 534000 | #Constraints: 17682
991.10/993.96 c #Conflicts: 535000 | #Constraints: 18682
991.10/993.96 c #Conflicts: 536000 | #Constraints: 19682
991.10/993.96 c #Conflicts: 537000 | #Constraints: 20682
991.10/993.96 c #Conflicts: 538000 | #Constraints: 21682
991.10/993.96 c #Conflicts: 539000 | #Constraints: 22682
991.10/993.96 c #Conflicts: 540000 | #Constraints: 23682
991.10/993.96 c #Conflicts: 541000 | #Constraints: 24682
991.10/993.96 c #Conflicts: 542000 | #Constraints: 25682
991.10/993.96 c #Conflicts: 543000 | #Constraints: 26682
991.10/993.96 c #Conflicts: 544000 | #Constraints: 27682
991.10/993.96 c #Conflicts: 545000 | #Constraints: 28682
991.10/993.96 c #Conflicts: 546000 | #Constraints: 29682
991.10/993.96 c INPROCESSING
991.10/993.96 c GARBAGE COLLECT
991.10/993.96 c #Conflicts: 547000 | #Constraints: 16071
991.10/993.96 c #Conflicts: 548000 | #Constraints: 17071
991.10/993.96 c #Conflicts: 549000 | #Constraints: 18071
991.10/993.96 c #Conflicts: 550000 | #Constraints: 19071
991.10/993.96 c #Conflicts: 551000 | #Constraints: 20071
991.10/993.96 c #Conflicts: 552000 | #Constraints: 21071
991.10/993.96 c #Conflicts: 553000 | #Constraints: 22071
991.10/993.96 c #Conflicts: 554000 | #Constraints: 23071
991.10/993.96 c #Conflicts: 555000 | #Constraints: 24071
991.10/993.96 c #Conflicts: 556000 | #Constraints: 25071
991.10/993.96 c #Conflicts: 557000 | #Constraints: 26071
991.10/993.96 c #Conflicts: 558000 | #Constraints: 27071
991.10/993.96 c #Conflicts: 559000 | #Constraints: 28071
991.10/993.96 c #Conflicts: 560000 | #Constraints: 29071
991.10/993.96 c #Conflicts: 561000 | #Constraints: 30071
991.10/993.96 c INPROCESSING
991.10/993.96 c GARBAGE COLLECT
991.10/993.96 c #Conflicts: 562000 | #Constraints: 16267
991.10/993.96 c #Conflicts: 563000 | #Constraints: 17267
991.10/993.96 c #Conflicts: 564000 | #Constraints: 18267
991.10/993.96 c #Conflicts: 565000 | #Constraints: 19267
991.10/993.96 c #Conflicts: 566000 | #Constraints: 20267
991.10/993.96 c #Conflicts: 567000 | #Constraints: 21267
991.10/993.96 c #Conflicts: 568000 | #Constraints: 22267
991.10/993.96 c #Conflicts: 569000 | #Constraints: 23267
991.10/993.96 c #Conflicts: 570000 | #Constraints: 24267
991.10/993.96 c #Conflicts: 571000 | #Constraints: 25267
991.10/993.96 c #Conflicts: 572000 | #Constraints: 26267
991.10/993.96 c #Conflicts: 573000 | #Constraints: 27267
991.10/993.96 c #Conflicts: 574000 | #Constraints: 28267
991.10/993.96 c #Conflicts: 575000 | #Constraints: 29267
991.10/993.96 c #Conflicts: 576000 | #Constraints: 30267
991.10/993.96 c INPROCESSING
991.10/993.96 c GARBAGE COLLECT
991.10/993.96 c #Conflicts: 577000 | #Constraints: 16262
991.10/993.96 c #Conflicts: 578000 | #Constraints: 17262
991.10/993.96 c #Conflicts: 579000 | #Constraints: 18262
991.10/993.96 c #Conflicts: 580000 | #Constraints: 19262
991.10/993.96 c #Conflicts: 581000 | #Constraints: 20262
991.10/993.96 c #Conflicts: 582000 | #Constraints: 21262
991.10/993.96 c #Conflicts: 583000 | #Constraints: 22262
991.10/993.96 c #Conflicts: 584000 | #Constraints: 23262
991.10/993.96 c #Conflicts: 585000 | #Constraints: 24262
991.10/993.96 c #Conflicts: 586000 | #Constraints: 25262
991.10/993.96 c #Conflicts: 587000 | #Constraints: 26262
991.10/993.96 c #Conflicts: 588000 | #Constraints: 27262
1119.51/1122.78 c #Conflicts: 589000 | #Constraints: 28262
1119.51/1122.78 c #Conflicts: 590000 | #Constraints: 29262
1119.51/1122.78 c #Conflicts: 591000 | #Constraints: 30262
1119.51/1122.78 c INPROCESSING
1119.51/1122.78 c GARBAGE COLLECT
1119.51/1122.78 c #Conflicts: 592000 | #Constraints: 16061
1119.51/1122.78 c #Conflicts: 593000 | #Constraints: 17061
1119.51/1122.78 c #Conflicts: 594000 | #Constraints: 18061
1119.51/1122.78 c #Conflicts: 595000 | #Constraints: 19061
1119.51/1122.78 c #Conflicts: 596000 | #Constraints: 20061
1119.51/1122.78 c #Conflicts: 597000 | #Constraints: 21061
1119.51/1122.78 c #Conflicts: 598000 | #Constraints: 22061
1119.51/1122.78 c #Conflicts: 599000 | #Constraints: 23061
1119.51/1122.78 c #Conflicts: 600000 | #Constraints: 24061
1119.51/1122.78 c #Conflicts: 601000 | #Constraints: 25061
1119.51/1122.78 c #Conflicts: 602000 | #Constraints: 26061
1119.51/1122.78 c #Conflicts: 603000 | #Constraints: 27061
1119.51/1122.78 c #Conflicts: 604000 | #Constraints: 28061
1119.51/1122.78 c #Conflicts: 605000 | #Constraints: 29061
1119.51/1122.78 c #Conflicts: 606000 | #Constraints: 30061
1119.51/1122.78 c #Conflicts: 607000 | #Constraints: 31061
1119.51/1122.78 c INPROCESSING
1119.51/1122.78 c GARBAGE COLLECT
1119.51/1122.78 c #Conflicts: 608000 | #Constraints: 16665
1119.51/1122.78 c #Conflicts: 609000 | #Constraints: 17665
1119.51/1122.78 c #Conflicts: 610000 | #Constraints: 18665
1119.51/1122.78 c #Conflicts: 611000 | #Constraints: 19665
1119.51/1122.78 c #Conflicts: 612000 | #Constraints: 20665
1119.51/1122.78 c #Conflicts: 613000 | #Constraints: 21665
1119.51/1122.78 c #Conflicts: 614000 | #Constraints: 22665
1119.51/1122.78 c #Conflicts: 615000 | #Constraints: 23665
1119.51/1122.78 c #Conflicts: 616000 | #Constraints: 24665
1119.51/1122.78 c #Conflicts: 617000 | #Constraints: 25665
1119.51/1122.78 c #Conflicts: 618000 | #Constraints: 26665
1119.51/1122.78 c #Conflicts: 619000 | #Constraints: 27665
1119.51/1122.78 c #Conflicts: 620000 | #Constraints: 28665
1119.51/1122.78 c #Conflicts: 621000 | #Constraints: 29665
1119.51/1122.78 c #Conflicts: 622000 | #Constraints: 30665
1119.51/1122.78 c #Conflicts: 623000 | #Constraints: 31665
1119.51/1122.78 c INPROCESSING
1119.51/1122.78 c GARBAGE COLLECT
1119.51/1122.78 c #Conflicts: 624000 | #Constraints: 17057
1119.51/1122.78 c #Conflicts: 625000 | #Constraints: 18057
1119.51/1122.78 c #Conflicts: 626000 | #Constraints: 19057
1119.51/1122.78 c #Conflicts: 627000 | #Constraints: 20057
1119.51/1122.78 c #Conflicts: 628000 | #Constraints: 21057
1119.51/1122.78 c #Conflicts: 629000 | #Constraints: 22057
1119.51/1122.78 c #Conflicts: 630000 | #Constraints: 23057
1119.51/1122.78 c #Conflicts: 631000 | #Constraints: 24057
1119.51/1122.78 c #Conflicts: 632000 | #Constraints: 25057
1119.51/1122.78 c #Conflicts: 633000 | #Constraints: 26057
1119.51/1122.78 c #Conflicts: 634000 | #Constraints: 27057
1119.51/1122.78 c #Conflicts: 635000 | #Constraints: 28057
1119.51/1122.78 c #Conflicts: 636000 | #Constraints: 29057
1119.51/1122.78 c #Conflicts: 637000 | #Constraints: 30057
1119.51/1122.78 c #Conflicts: 638000 | #Constraints: 31057
1119.51/1122.78 c #Conflicts: 639000 | #Constraints: 32057
1119.51/1122.78 c INPROCESSING
1119.51/1122.78 c GARBAGE COLLECT
1119.51/1122.78 c #Conflicts: 640000 | #Constraints: 17250
1119.51/1122.78 c #Conflicts: 641000 | #Constraints: 18250
1119.51/1122.78 c #Conflicts: 642000 | #Constraints: 19250
1119.51/1122.78 c #Conflicts: 643000 | #Constraints: 20250
1119.51/1122.78 c #Conflicts: 644000 | #Constraints: 21250
1119.51/1122.78 c #Conflicts: 645000 | #Constraints: 22250
1119.51/1122.78 c #Conflicts: 646000 | #Constraints: 23250
1119.51/1122.78 c #Conflicts: 647000 | #Constraints: 24250
1119.51/1122.78 c #Conflicts: 648000 | #Constraints: 25250
1119.51/1122.78 c #Conflicts: 649000 | #Constraints: 26250
1119.51/1122.78 c #Conflicts: 650000 | #Constraints: 27250
1119.51/1122.78 c #Conflicts: 651000 | #Constraints: 28250
1119.51/1122.78 c #Conflicts: 652000 | #Constraints: 29250
1119.51/1122.78 c #Conflicts: 653000 | #Constraints: 30250
1119.51/1122.78 c #Conflicts: 654000 | #Constraints: 31250
1119.51/1122.78 c #Conflicts: 655000 | #Constraints: 32250
1119.51/1122.78 c INPROCESSING
1119.51/1122.78 c GARBAGE COLLECT
1119.51/1122.78 c #Conflicts: 656000 | #Constraints: 17271
1119.51/1122.78 c #Conflicts: 657000 | #Constraints: 18271
1119.51/1122.78 c #Conflicts: 658000 | #Constraints: 19271
1119.51/1122.78 c #Conflicts: 659000 | #Constraints: 20271
1119.51/1122.78 c #Conflicts: 660000 | #Constraints: 21271
1119.51/1122.78 c #Conflicts: 661000 | #Constraints: 22271
1119.51/1122.78 c #Conflicts: 662000 | #Constraints: 23271
1119.51/1122.78 c #Conflicts: 663000 | #Constraints: 24271
1119.51/1122.78 c #Conflicts: 664000 | #Constraints: 25271
1324.15/1327.93 c #Conflicts: 665000 | #Constraints: 26271
1324.15/1327.93 c #Conflicts: 666000 | #Constraints: 27271
1324.15/1327.93 c #Conflicts: 667000 | #Constraints: 28271
1324.15/1327.93 c #Conflicts: 668000 | #Constraints: 29271
1324.15/1327.93 c #Conflicts: 669000 | #Constraints: 30271
1324.15/1327.93 c #Conflicts: 670000 | #Constraints: 31271
1324.15/1327.93 c #Conflicts: 671000 | #Constraints: 32271
1324.15/1327.93 c INPROCESSING
1324.15/1327.93 c GARBAGE COLLECT
1324.15/1327.93 c #Conflicts: 672000 | #Constraints: 17062
1324.15/1327.93 c #Conflicts: 673000 | #Constraints: 18062
1324.15/1327.93 c #Conflicts: 674000 | #Constraints: 19062
1324.15/1327.93 c #Conflicts: 675000 | #Constraints: 20062
1324.15/1327.93 c #Conflicts: 676000 | #Constraints: 21062
1324.15/1327.93 c #Conflicts: 677000 | #Constraints: 22062
1324.15/1327.93 c #Conflicts: 678000 | #Constraints: 23062
1324.15/1327.93 c #Conflicts: 679000 | #Constraints: 24062
1324.15/1327.93 c #Conflicts: 680000 | #Constraints: 25062
1324.15/1327.93 c #Conflicts: 681000 | #Constraints: 26062
1324.15/1327.93 c #Conflicts: 682000 | #Constraints: 27062
1324.15/1327.93 c #Conflicts: 683000 | #Constraints: 28062
1324.15/1327.93 c #Conflicts: 684000 | #Constraints: 29062
1324.15/1327.93 c #Conflicts: 685000 | #Constraints: 30062
1324.15/1327.93 c #Conflicts: 686000 | #Constraints: 31062
1324.15/1327.93 c #Conflicts: 687000 | #Constraints: 32062
1324.15/1327.93 c #Conflicts: 688000 | #Constraints: 33062
1324.15/1327.93 c INPROCESSING
1324.15/1327.93 c GARBAGE COLLECT
1324.15/1327.93 c #Conflicts: 689000 | #Constraints: 17658
1324.15/1327.93 c #Conflicts: 690000 | #Constraints: 18658
1324.15/1327.93 c #Conflicts: 691000 | #Constraints: 19658
1324.15/1327.93 c #Conflicts: 692000 | #Constraints: 20658
1324.15/1327.93 c #Conflicts: 693000 | #Constraints: 21658
1324.15/1327.93 c #Conflicts: 694000 | #Constraints: 22658
1324.15/1327.93 c #Conflicts: 695000 | #Constraints: 23658
1324.15/1327.93 c #Conflicts: 696000 | #Constraints: 24658
1324.15/1327.93 c #Conflicts: 697000 | #Constraints: 25658
1324.15/1327.93 c #Conflicts: 698000 | #Constraints: 26658
1324.15/1327.93 c #Conflicts: 699000 | #Constraints: 27658
1324.15/1327.93 c #Conflicts: 700000 | #Constraints: 28658
1324.15/1327.93 c #Conflicts: 701000 | #Constraints: 29658
1324.15/1327.93 c #Conflicts: 702000 | #Constraints: 30658
1324.15/1327.93 c #Conflicts: 703000 | #Constraints: 31658
1324.15/1327.93 c #Conflicts: 704000 | #Constraints: 32658
1324.15/1327.93 c #Conflicts: 705000 | #Constraints: 33658
1324.15/1327.93 c INPROCESSING
1324.15/1327.93 c GARBAGE COLLECT
1324.15/1327.93 c #Conflicts: 706000 | #Constraints: 18064
1324.15/1327.93 c #Conflicts: 707000 | #Constraints: 19064
1324.15/1327.93 c #Conflicts: 708000 | #Constraints: 20064
1324.15/1327.93 c #Conflicts: 709000 | #Constraints: 21064
1324.15/1327.93 c #Conflicts: 710000 | #Constraints: 22064
1324.15/1327.93 c #Conflicts: 711000 | #Constraints: 23064
1324.15/1327.93 c #Conflicts: 712000 | #Constraints: 24064
1324.15/1327.93 c #Conflicts: 713000 | #Constraints: 25064
1324.15/1327.93 c #Conflicts: 714000 | #Constraints: 26064
1324.15/1327.93 c #Conflicts: 715000 | #Constraints: 27064
1324.15/1327.93 c #Conflicts: 716000 | #Constraints: 28064
1324.15/1327.93 c #Conflicts: 717000 | #Constraints: 29064
1324.15/1327.93 c #Conflicts: 718000 | #Constraints: 30064
1324.15/1327.93 c #Conflicts: 719000 | #Constraints: 31064
1324.15/1327.93 c #Conflicts: 720000 | #Constraints: 32064
1324.15/1327.93 c #Conflicts: 721000 | #Constraints: 33064
1324.15/1327.93 c #Conflicts: 722000 | #Constraints: 34064
1324.15/1327.93 c INPROCESSING
1324.15/1327.93 c GARBAGE COLLECT
1324.15/1327.93 c #Conflicts: 723000 | #Constraints: 18282
1324.15/1327.93 c #Conflicts: 724000 | #Constraints: 19282
1324.15/1327.93 c #Conflicts: 725000 | #Constraints: 20282
1324.15/1327.93 c #Conflicts: 726000 | #Constraints: 21282
1324.15/1327.93 c #Conflicts: 727000 | #Constraints: 22282
1324.15/1327.93 c #Conflicts: 728000 | #Constraints: 23282
1324.15/1327.93 c #Conflicts: 729000 | #Constraints: 24282
1324.15/1327.93 c #Conflicts: 730000 | #Constraints: 25282
1324.15/1327.93 c #Conflicts: 731000 | #Constraints: 26282
1324.15/1327.93 c #Conflicts: 732000 | #Constraints: 27282
1324.15/1327.93 c #Conflicts: 733000 | #Constraints: 28282
1324.15/1327.93 c #Conflicts: 734000 | #Constraints: 29282
1324.15/1327.93 c #Conflicts: 735000 | #Constraints: 30282
1324.15/1327.93 c #Conflicts: 736000 | #Constraints: 31282
1324.15/1327.93 c #Conflicts: 737000 | #Constraints: 32282
1324.15/1327.93 c #Conflicts: 738000 | #Constraints: 33282
1324.15/1327.93 c #Conflicts: 739000 | #Constraints: 34282
1324.15/1327.93 c INPROCESSING
1324.15/1327.93 c GARBAGE COLLECT
1460.80/1464.94 c #Conflicts: 740000 | #Constraints: 18297
1460.80/1464.94 c #Conflicts: 741000 | #Constraints: 19297
1460.80/1464.94 c #Conflicts: 742000 | #Constraints: 20297
1460.80/1464.94 c #Conflicts: 743000 | #Constraints: 21297
1460.80/1464.94 c #Conflicts: 744000 | #Constraints: 22297
1460.80/1464.94 c #Conflicts: 745000 | #Constraints: 23297
1460.80/1464.94 c #Conflicts: 746000 | #Constraints: 24297
1460.80/1464.94 c #Conflicts: 747000 | #Constraints: 25297
1460.80/1464.94 c #Conflicts: 748000 | #Constraints: 26297
1460.80/1464.94 c #Conflicts: 749000 | #Constraints: 27297
1460.80/1464.94 c #Conflicts: 750000 | #Constraints: 28297
1460.80/1464.94 c #Conflicts: 751000 | #Constraints: 29297
1460.80/1464.94 c #Conflicts: 752000 | #Constraints: 30297
1460.80/1464.94 c #Conflicts: 753000 | #Constraints: 31297
1460.80/1464.94 c #Conflicts: 754000 | #Constraints: 32297
1460.80/1464.94 c #Conflicts: 755000 | #Constraints: 33297
1460.80/1464.94 c #Conflicts: 756000 | #Constraints: 34297
1460.80/1464.94 c INPROCESSING
1460.80/1464.94 c GARBAGE COLLECT
1460.80/1464.94 c #Conflicts: 757000 | #Constraints: 18086
1460.80/1464.94 c #Conflicts: 758000 | #Constraints: 19086
1460.80/1464.94 c #Conflicts: 759000 | #Constraints: 20086
1460.80/1464.94 c #Conflicts: 760000 | #Constraints: 21086
1460.80/1464.94 c #Conflicts: 761000 | #Constraints: 22086
1460.80/1464.94 c #Conflicts: 762000 | #Constraints: 23086
1460.80/1464.94 c #Conflicts: 763000 | #Constraints: 24086
1460.80/1464.94 c #Conflicts: 764000 | #Constraints: 25086
1460.80/1464.94 c #Conflicts: 765000 | #Constraints: 26086
1460.80/1464.94 c #Conflicts: 766000 | #Constraints: 27086
1460.80/1464.94 c #Conflicts: 767000 | #Constraints: 28086
1460.80/1464.94 c #Conflicts: 768000 | #Constraints: 29086
1460.80/1464.94 c #Conflicts: 769000 | #Constraints: 30086
1460.80/1464.94 c #Conflicts: 770000 | #Constraints: 31086
1460.80/1464.94 c #Conflicts: 771000 | #Constraints: 32086
1460.80/1464.94 c #Conflicts: 772000 | #Constraints: 33086
1460.80/1464.94 c #Conflicts: 773000 | #Constraints: 34086
1460.80/1464.94 c #Conflicts: 774000 | #Constraints: 35086
1460.80/1464.94 c INPROCESSING
1460.80/1464.94 c GARBAGE COLLECT
1460.80/1464.94 c #Conflicts: 775000 | #Constraints: 18668
1460.80/1464.94 c #Conflicts: 776000 | #Constraints: 19668
1460.80/1464.94 c #Conflicts: 777000 | #Constraints: 20668
1460.80/1464.94 c #Conflicts: 778000 | #Constraints: 21668
1460.80/1464.94 c #Conflicts: 779000 | #Constraints: 22668
1460.80/1464.94 c #Conflicts: 780000 | #Constraints: 23668
1460.80/1464.94 c #Conflicts: 781000 | #Constraints: 24668
1460.80/1464.94 c #Conflicts: 782000 | #Constraints: 25668
1460.80/1464.94 c #Conflicts: 783000 | #Constraints: 26668
1460.80/1464.94 c #Conflicts: 784000 | #Constraints: 27668
1460.80/1464.94 c #Conflicts: 785000 | #Constraints: 28668
1460.80/1464.94 c #Conflicts: 786000 | #Constraints: 29668
1460.80/1464.94 c #Conflicts: 787000 | #Constraints: 30668
1460.80/1464.94 c #Conflicts: 788000 | #Constraints: 31668
1460.80/1464.94 c #Conflicts: 789000 | #Constraints: 32668
1460.80/1464.94 c #Conflicts: 790000 | #Constraints: 33668
1460.80/1464.94 c #Conflicts: 791000 | #Constraints: 34668
1460.80/1464.94 c #Conflicts: 792000 | #Constraints: 35668
1460.80/1464.94 c INPROCESSING
1460.80/1464.94 c GARBAGE COLLECT
1460.80/1464.94 c #Conflicts: 793000 | #Constraints: 19065
1460.80/1464.94 c #Conflicts: 794000 | #Constraints: 20065
1460.80/1464.94 c #Conflicts: 795000 | #Constraints: 21065
1460.80/1464.94 c #Conflicts: 796000 | #Constraints: 22065
1460.80/1464.94 c #Conflicts: 797000 | #Constraints: 23065
1460.80/1464.94 c #Conflicts: 798000 | #Constraints: 24065
1460.80/1464.94 c #Conflicts: 799000 | #Constraints: 25065
1460.80/1464.94 c #Conflicts: 800000 | #Constraints: 26065
1460.80/1464.94 c #Conflicts: 801000 | #Constraints: 27065
1460.80/1464.94 c #Conflicts: 802000 | #Constraints: 28065
1460.80/1464.94 c #Conflicts: 803000 | #Constraints: 29065
1460.80/1464.94 c #Conflicts: 804000 | #Constraints: 30065
1460.80/1464.94 c #Conflicts: 805000 | #Constraints: 31065
1460.80/1464.94 c #Conflicts: 806000 | #Constraints: 32065
1460.80/1464.94 c #Conflicts: 807000 | #Constraints: 33065
1460.80/1464.94 c #Conflicts: 808000 | #Constraints: 34065
1460.80/1464.94 c #Conflicts: 809000 | #Constraints: 35065
1460.80/1464.94 c #Conflicts: 810000 | #Constraints: 36065
1460.80/1464.94 c INPROCESSING
1460.80/1464.94 c GARBAGE COLLECT
1460.80/1464.94 c #Conflicts: 811000 | #Constraints: 19264
1460.80/1464.94 c #Conflicts: 812000 | #Constraints: 20264
1460.80/1464.94 c #Conflicts: 813000 | #Constraints: 21264
1460.80/1464.94 c #Conflicts: 814000 | #Constraints: 22264
1460.80/1464.94 c #Conflicts: 815000 | #Constraints: 23264
1460.80/1464.94 c #Conflicts: 816000 | #Constraints: 24264
1624.89/1629.41 c #Conflicts: 817000 | #Constraints: 25264
1624.89/1629.41 c #Conflicts: 818000 | #Constraints: 26264
1624.89/1629.41 c #Conflicts: 819000 | #Constraints: 27264
1624.89/1629.41 c #Conflicts: 820000 | #Constraints: 28264
1624.89/1629.41 c #Conflicts: 821000 | #Constraints: 29264
1624.89/1629.41 c #Conflicts: 822000 | #Constraints: 30264
1624.89/1629.41 c #Conflicts: 823000 | #Constraints: 31264
1624.89/1629.41 c #Conflicts: 824000 | #Constraints: 32264
1624.89/1629.41 c #Conflicts: 825000 | #Constraints: 33264
1624.89/1629.41 c #Conflicts: 826000 | #Constraints: 34264
1624.89/1629.41 c #Conflicts: 827000 | #Constraints: 35264
1624.89/1629.41 c #Conflicts: 828000 | #Constraints: 36264
1624.89/1629.41 c INPROCESSING
1624.89/1629.41 c GARBAGE COLLECT
1624.89/1629.41 c #Conflicts: 829000 | #Constraints: 19272
1624.89/1629.41 c #Conflicts: 830000 | #Constraints: 20272
1624.89/1629.41 c #Conflicts: 831000 | #Constraints: 21272
1624.89/1629.41 c #Conflicts: 832000 | #Constraints: 22272
1624.89/1629.41 c #Conflicts: 833000 | #Constraints: 23272
1624.89/1629.41 c #Conflicts: 834000 | #Constraints: 24272
1624.89/1629.41 c #Conflicts: 835000 | #Constraints: 25272
1624.89/1629.41 c #Conflicts: 836000 | #Constraints: 26272
1624.89/1629.41 c #Conflicts: 837000 | #Constraints: 27272
1624.89/1629.41 c #Conflicts: 838000 | #Constraints: 28272
1624.89/1629.41 c #Conflicts: 839000 | #Constraints: 29272
1624.89/1629.41 c #Conflicts: 840000 | #Constraints: 30272
1624.89/1629.41 c #Conflicts: 841000 | #Constraints: 31272
1624.89/1629.41 c #Conflicts: 842000 | #Constraints: 32272
1624.89/1629.41 c #Conflicts: 843000 | #Constraints: 33272
1624.89/1629.41 c #Conflicts: 844000 | #Constraints: 34272
1624.89/1629.41 c #Conflicts: 845000 | #Constraints: 35272
1624.89/1629.41 c #Conflicts: 846000 | #Constraints: 36272
1624.89/1629.41 c INPROCESSING
1624.89/1629.41 c GARBAGE COLLECT
1624.89/1629.41 c #Conflicts: 847000 | #Constraints: 19067
1624.89/1629.41 c #Conflicts: 848000 | #Constraints: 20067
1624.89/1629.41 c #Conflicts: 849000 | #Constraints: 21067
1624.89/1629.41 c #Conflicts: 850000 | #Constraints: 22067
1624.89/1629.41 c #Conflicts: 851000 | #Constraints: 23067
1624.89/1629.41 c #Conflicts: 852000 | #Constraints: 24067
1624.89/1629.41 c #Conflicts: 853000 | #Constraints: 25067
1624.89/1629.41 c #Conflicts: 854000 | #Constraints: 26067
1624.89/1629.41 c #Conflicts: 855000 | #Constraints: 27067
1624.89/1629.41 c #Conflicts: 856000 | #Constraints: 28067
1624.89/1629.41 c #Conflicts: 857000 | #Constraints: 29067
1624.89/1629.41 c #Conflicts: 858000 | #Constraints: 30067
1624.89/1629.41 c #Conflicts: 859000 | #Constraints: 31067
1624.89/1629.41 c #Conflicts: 860000 | #Constraints: 32067
1624.89/1629.41 c #Conflicts: 861000 | #Constraints: 33067
1624.89/1629.41 c #Conflicts: 862000 | #Constraints: 34067
1624.89/1629.41 c #Conflicts: 863000 | #Constraints: 35067
1624.89/1629.41 c #Conflicts: 864000 | #Constraints: 36067
1624.89/1629.41 c #Conflicts: 865000 | #Constraints: 37067
1624.89/1629.41 c INPROCESSING
1624.89/1629.41 c GARBAGE COLLECT
1624.89/1629.41 c #Conflicts: 866000 | #Constraints: 19665
1624.89/1629.41 c #Conflicts: 867000 | #Constraints: 20665
1624.89/1629.41 c #Conflicts: 868000 | #Constraints: 21665
1624.89/1629.41 c #Conflicts: 869000 | #Constraints: 22665
1624.89/1629.41 c #Conflicts: 870000 | #Constraints: 23665
1624.89/1629.41 c #Conflicts: 871000 | #Constraints: 24665
1624.89/1629.41 c #Conflicts: 872000 | #Constraints: 25665
1624.89/1629.41 c #Conflicts: 873000 | #Constraints: 26665
1624.89/1629.41 c #Conflicts: 874000 | #Constraints: 27665
1624.89/1629.41 c #Conflicts: 875000 | #Constraints: 28665
1624.89/1629.41 c #Conflicts: 876000 | #Constraints: 29665
1624.89/1629.41 c #Conflicts: 877000 | #Constraints: 30665
1624.89/1629.41 c #Conflicts: 878000 | #Constraints: 31665
1624.89/1629.41 c #Conflicts: 879000 | #Constraints: 32665
1624.89/1629.41 c #Conflicts: 880000 | #Constraints: 33665
1624.89/1629.41 c #Conflicts: 881000 | #Constraints: 34665
1624.89/1629.41 c #Conflicts: 882000 | #Constraints: 35665
1624.89/1629.41 c #Conflicts: 883000 | #Constraints: 36665
1624.89/1629.41 c #Conflicts: 884000 | #Constraints: 37665
1624.89/1629.41 c INPROCESSING
1624.89/1629.41 c GARBAGE COLLECT
1624.89/1629.41 c #Conflicts: 885000 | #Constraints: 20069
1624.89/1629.41 c #Conflicts: 886000 | #Constraints: 21069
1624.89/1629.41 c #Conflicts: 887000 | #Constraints: 22069
1624.89/1629.41 c #Conflicts: 888000 | #Constraints: 23069
1624.89/1629.41 c #Conflicts: 889000 | #Constraints: 24069
1624.89/1629.41 c #Conflicts: 890000 | #Constraints: 25069
1624.89/1629.41 c #Conflicts: 891000 | #Constraints: 26069
1624.89/1629.41 c #Conflicts: 892000 | #Constraints: 27069
1792.28/1797.25 c #Conflicts: 893000 | #Constraints: 28069
1792.28/1797.25 c #Conflicts: 894000 | #Constraints: 29069
1792.28/1797.25 c #Conflicts: 895000 | #Constraints: 30069
1792.28/1797.25 c #Conflicts: 896000 | #Constraints: 31069
1792.28/1797.25 c #Conflicts: 897000 | #Constraints: 32069
1792.28/1797.25 c #Conflicts: 898000 | #Constraints: 33069
1792.28/1797.25 c #Conflicts: 899000 | #Constraints: 34069
1792.28/1797.25 c #Conflicts: 900000 | #Constraints: 35069
1792.28/1797.25 c #Conflicts: 901000 | #Constraints: 36069
1792.28/1797.25 c #Conflicts: 902000 | #Constraints: 37069
1792.28/1797.25 c #Conflicts: 903000 | #Constraints: 38069
1792.28/1797.25 c INPROCESSING
1792.28/1797.25 c GARBAGE COLLECT
1792.28/1797.25 c #Conflicts: 904000 | #Constraints: 20257
1792.28/1797.25 c #Conflicts: 905000 | #Constraints: 21257
1792.28/1797.25 c #Conflicts: 906000 | #Constraints: 22257
1792.28/1797.25 c #Conflicts: 907000 | #Constraints: 23257
1792.28/1797.25 c #Conflicts: 908000 | #Constraints: 24257
1792.28/1797.25 c #Conflicts: 909000 | #Constraints: 25257
1792.28/1797.25 c #Conflicts: 910000 | #Constraints: 26257
1792.28/1797.25 c #Conflicts: 911000 | #Constraints: 27257
1792.28/1797.25 c #Conflicts: 912000 | #Constraints: 28257
1792.28/1797.25 c #Conflicts: 913000 | #Constraints: 29257
1792.28/1797.25 c #Conflicts: 914000 | #Constraints: 30257
1792.28/1797.25 c #Conflicts: 915000 | #Constraints: 31257
1792.28/1797.25 c #Conflicts: 916000 | #Constraints: 32257
1792.28/1797.25 c #Conflicts: 917000 | #Constraints: 33257
1792.28/1797.25 c #Conflicts: 918000 | #Constraints: 34257
1792.28/1797.25 c #Conflicts: 919000 | #Constraints: 35257
1792.28/1797.25 c #Conflicts: 920000 | #Constraints: 36257
1792.28/1797.25 c #Conflicts: 921000 | #Constraints: 37257
1792.28/1797.25 c #Conflicts: 922000 | #Constraints: 38257
1792.28/1797.25 c INPROCESSING
1792.28/1797.25 c GARBAGE COLLECT
1792.28/1797.25 c #Conflicts: 923000 | #Constraints: 20257
1792.28/1797.25 c #Conflicts: 924000 | #Constraints: 21257
1792.28/1797.25 c #Conflicts: 925000 | #Constraints: 22257
1792.28/1797.25 c #Conflicts: 926000 | #Constraints: 23257
1792.28/1797.25 c #Conflicts: 927000 | #Constraints: 24257
1792.28/1797.25 c #Conflicts: 928000 | #Constraints: 25257
1792.28/1797.25 c #Conflicts: 929000 | #Constraints: 26257
1792.28/1797.25 c #Conflicts: 930000 | #Constraints: 27257
1792.28/1797.25 c #Conflicts: 931000 | #Constraints: 28257
1792.28/1797.25 c #Conflicts: 932000 | #Constraints: 29257
1792.28/1797.25 c #Conflicts: 933000 | #Constraints: 30257
1792.28/1797.25 c #Conflicts: 934000 | #Constraints: 31257
1792.28/1797.25 c #Conflicts: 935000 | #Constraints: 32257
1792.28/1797.25 c #Conflicts: 936000 | #Constraints: 33257
1792.28/1797.25 c #Conflicts: 937000 | #Constraints: 34257
1792.28/1797.25 c #Conflicts: 938000 | #Constraints: 35257
1792.28/1797.25 c #Conflicts: 939000 | #Constraints: 36257
1792.28/1797.25 c #Conflicts: 940000 | #Constraints: 37257
1792.28/1797.25 c #Conflicts: 941000 | #Constraints: 38257
1792.28/1797.25 c INPROCESSING
1792.28/1797.25 c GARBAGE COLLECT
1792.28/1797.25 c #Conflicts: 942000 | #Constraints: 20083
1792.28/1797.25 c #Conflicts: 943000 | #Constraints: 21083
1792.28/1797.25 c #Conflicts: 944000 | #Constraints: 22083
1792.28/1797.25 c #Conflicts: 945000 | #Constraints: 23083
1792.28/1797.25 c #Conflicts: 946000 | #Constraints: 24083
1792.28/1797.25 c #Conflicts: 947000 | #Constraints: 25083
1792.28/1797.25 c #Conflicts: 948000 | #Constraints: 26083
1792.28/1797.25 c #Conflicts: 949000 | #Constraints: 27083
1792.28/1797.25 c #Conflicts: 950000 | #Constraints: 28083
1792.28/1797.25 c #Conflicts: 951000 | #Constraints: 29083
1792.28/1797.25 c #Conflicts: 952000 | #Constraints: 30083
1792.28/1797.25 c #Conflicts: 953000 | #Constraints: 31083
1792.28/1797.25 c #Conflicts: 954000 | #Constraints: 32083
1792.28/1797.25 c #Conflicts: 955000 | #Constraints: 33083
1792.28/1797.25 c #Conflicts: 956000 | #Constraints: 34083
1792.28/1797.25 c #Conflicts: 957000 | #Constraints: 35083
1792.28/1797.25 c #Conflicts: 958000 | #Constraints: 36083
1792.28/1797.25 c #Conflicts: 959000 | #Constraints: 37083
1792.28/1797.25 c #Conflicts: 960000 | #Constraints: 38083
1792.28/1797.25 c #Conflicts: 961000 | #Constraints: 39083
1792.28/1797.25 c INPROCESSING
1792.28/1797.25 c GARBAGE COLLECT
1792.28/1797.25 c #Conflicts: 962000 | #Constraints: 20693
1792.28/1797.25 c #Conflicts: 963000 | #Constraints: 21693
1792.28/1797.25 c #Conflicts: 964000 | #Constraints: 22693
1792.28/1797.25 c #Conflicts: 965000 | #Constraints: 23693
1792.28/1797.25 c #Conflicts: 966000 | #Constraints: 24693
1792.28/1797.25 c #Conflicts: 967000 | #Constraints: 25693
1792.28/1797.25 c #Conflicts: 968000 | #Constraints: 26693
1995.27/2000.79 c #Conflicts: 969000 | #Constraints: 27693
1995.27/2000.79 c #Conflicts: 970000 | #Constraints: 28693
1995.27/2000.79 c #Conflicts: 971000 | #Constraints: 29693
1995.27/2000.79 c #Conflicts: 972000 | #Constraints: 30693
1995.27/2000.79 c #Conflicts: 973000 | #Constraints: 31693
1995.27/2000.79 c #Conflicts: 974000 | #Constraints: 32693
1995.27/2000.79 c #Conflicts: 975000 | #Constraints: 33693
1995.27/2000.79 c #Conflicts: 976000 | #Constraints: 34693
1995.27/2000.79 c #Conflicts: 977000 | #Constraints: 35693
1995.27/2000.79 c #Conflicts: 978000 | #Constraints: 36693
1995.27/2000.79 c #Conflicts: 979000 | #Constraints: 37693
1995.27/2000.79 c #Conflicts: 980000 | #Constraints: 38693
1995.27/2000.79 c #Conflicts: 981000 | #Constraints: 39693
1995.27/2000.79 c INPROCESSING
1995.27/2000.79 c GARBAGE COLLECT
1995.27/2000.79 c #Conflicts: 982000 | #Constraints: 21098
1995.27/2000.79 c #Conflicts: 983000 | #Constraints: 22098
1995.27/2000.79 c #Conflicts: 984000 | #Constraints: 23098
1995.27/2000.79 c #Conflicts: 985000 | #Constraints: 24098
1995.27/2000.79 c #Conflicts: 986000 | #Constraints: 25098
1995.27/2000.79 c #Conflicts: 987000 | #Constraints: 26098
1995.27/2000.79 c #Conflicts: 988000 | #Constraints: 27098
1995.27/2000.79 c #Conflicts: 989000 | #Constraints: 28098
1995.27/2000.79 c #Conflicts: 990000 | #Constraints: 29098
1995.27/2000.79 c #Conflicts: 991000 | #Constraints: 30098
1995.27/2000.79 c #Conflicts: 992000 | #Constraints: 31098
1995.27/2000.79 c #Conflicts: 993000 | #Constraints: 32098
1995.27/2000.79 c #Conflicts: 994000 | #Constraints: 33098
1995.27/2000.79 c #Conflicts: 995000 | #Constraints: 34098
1995.27/2000.79 c #Conflicts: 996000 | #Constraints: 35098
1995.27/2000.79 c #Conflicts: 997000 | #Constraints: 36098
1995.27/2000.79 c #Conflicts: 998000 | #Constraints: 37098
1995.27/2000.79 c #Conflicts: 999000 | #Constraints: 38098
1995.27/2000.79 c #Conflicts: 1000000 | #Constraints: 39098
1995.27/2000.79 c #Conflicts: 1001000 | #Constraints: 40098
1995.27/2000.79 c INPROCESSING
1995.27/2000.79 c GARBAGE COLLECT
1995.27/2000.79 c #Conflicts: 1002000 | #Constraints: 21307
1995.27/2000.79 c #Conflicts: 1003000 | #Constraints: 22307
1995.27/2000.79 c #Conflicts: 1004000 | #Constraints: 23307
1995.27/2000.79 c #Conflicts: 1005000 | #Constraints: 24307
1995.27/2000.79 c #Conflicts: 1006000 | #Constraints: 25307
1995.27/2000.79 c #Conflicts: 1007000 | #Constraints: 26307
1995.27/2000.79 c #Conflicts: 1008000 | #Constraints: 27307
1995.27/2000.79 c #Conflicts: 1009000 | #Constraints: 28307
1995.27/2000.79 c #Conflicts: 1010000 | #Constraints: 29307
1995.27/2000.79 c #Conflicts: 1011000 | #Constraints: 30307
1995.27/2000.79 c #Conflicts: 1012000 | #Constraints: 31307
1995.27/2000.79 c #Conflicts: 1013000 | #Constraints: 32307
1995.27/2000.79 c #Conflicts: 1014000 | #Constraints: 33307
1995.27/2000.79 c #Conflicts: 1015000 | #Constraints: 34307
1995.27/2000.79 c #Conflicts: 1016000 | #Constraints: 35307
1995.27/2000.79 c #Conflicts: 1017000 | #Constraints: 36307
1995.27/2000.79 c #Conflicts: 1018000 | #Constraints: 37307
1995.27/2000.79 c #Conflicts: 1019000 | #Constraints: 38307
1995.27/2000.79 c #Conflicts: 1020000 | #Constraints: 39307
1995.27/2000.79 c #Conflicts: 1021000 | #Constraints: 40307
1995.27/2000.79 c INPROCESSING
1995.27/2000.79 c GARBAGE COLLECT
1995.27/2000.79 c #Conflicts: 1022000 | #Constraints: 21323
1995.27/2000.79 c #Conflicts: 1023000 | #Constraints: 22323
1995.27/2000.79 c #Conflicts: 1024000 | #Constraints: 23323
1995.27/2000.79 c #Conflicts: 1025000 | #Constraints: 24323
1995.27/2000.79 c #Conflicts: 1026000 | #Constraints: 25323
1995.27/2000.79 c #Conflicts: 1027000 | #Constraints: 26323
1995.27/2000.79 c #Conflicts: 1028000 | #Constraints: 27323
1995.27/2000.79 c #Conflicts: 1029000 | #Constraints: 28323
1995.27/2000.79 c #Conflicts: 1030000 | #Constraints: 29323
1995.27/2000.79 c #Conflicts: 1031000 | #Constraints: 30323
1995.27/2000.79 c #Conflicts: 1032000 | #Constraints: 31323
1995.27/2000.79 c #Conflicts: 1033000 | #Constraints: 32323
1995.27/2000.79 c #Conflicts: 1034000 | #Constraints: 33323
1995.27/2000.79 c #Conflicts: 1035000 | #Constraints: 34323
1995.27/2000.79 c #Conflicts: 1036000 | #Constraints: 35323
1995.27/2000.79 c #Conflicts: 1037000 | #Constraints: 36323
1995.27/2000.79 c #Conflicts: 1038000 | #Constraints: 37323
1995.27/2000.79 c #Conflicts: 1039000 | #Constraints: 38323
1995.27/2000.79 c #Conflicts: 1040000 | #Constraints: 39323
1995.27/2000.79 c #Conflicts: 1041000 | #Constraints: 40323
1995.27/2000.79 c INPROCESSING
1995.27/2000.79 c GARBAGE COLLECT
1995.27/2000.79 c #Conflicts: 1042000 | #Constraints: 21099
1995.27/2000.79 c #Conflicts: 1043000 | #Constraints: 22099
1995.27/2000.79 c #Conflicts: 1044000 | #Constraints: 23099
2352.82/2359.25 c #Conflicts: 1045000 | #Constraints: 24099
2352.82/2359.25 c #Conflicts: 1046000 | #Constraints: 25099
2352.82/2359.25 c #Conflicts: 1047000 | #Constraints: 26099
2352.82/2359.25 c #Conflicts: 1048000 | #Constraints: 27099
2352.82/2359.25 c #Conflicts: 1049000 | #Constraints: 28099
2352.82/2359.25 c #Conflicts: 1050000 | #Constraints: 29099
2352.82/2359.25 c #Conflicts: 1051000 | #Constraints: 30099
2352.82/2359.25 c #Conflicts: 1052000 | #Constraints: 31099
2352.82/2359.25 c #Conflicts: 1053000 | #Constraints: 32099
2352.82/2359.25 c #Conflicts: 1054000 | #Constraints: 33099
2352.82/2359.25 c #Conflicts: 1055000 | #Constraints: 34099
2352.82/2359.25 c #Conflicts: 1056000 | #Constraints: 35099
2352.82/2359.25 c #Conflicts: 1057000 | #Constraints: 36099
2352.82/2359.25 c #Conflicts: 1058000 | #Constraints: 37099
2352.82/2359.25 c #Conflicts: 1059000 | #Constraints: 38099
2352.82/2359.25 c #Conflicts: 1060000 | #Constraints: 39099
2352.82/2359.25 c #Conflicts: 1061000 | #Constraints: 40099
2352.82/2359.25 c #Conflicts: 1062000 | #Constraints: 41099
2352.82/2359.25 c INPROCESSING
2352.82/2359.25 c GARBAGE COLLECT
2352.82/2359.25 c #Conflicts: 1063000 | #Constraints: 21693
2352.82/2359.25 c #Conflicts: 1064000 | #Constraints: 22693
2352.82/2359.25 c #Conflicts: 1065000 | #Constraints: 23693
2352.82/2359.25 c #Conflicts: 1066000 | #Constraints: 24693
2352.82/2359.25 c #Conflicts: 1067000 | #Constraints: 25693
2352.82/2359.25 c #Conflicts: 1068000 | #Constraints: 26693
2352.82/2359.25 c #Conflicts: 1069000 | #Constraints: 27693
2352.82/2359.25 c #Conflicts: 1070000 | #Constraints: 28693
2352.82/2359.25 c #Conflicts: 1071000 | #Constraints: 29693
2352.82/2359.25 c #Conflicts: 1072000 | #Constraints: 30693
2352.82/2359.25 c #Conflicts: 1073000 | #Constraints: 31693
2352.82/2359.25 c #Conflicts: 1074000 | #Constraints: 32693
2352.82/2359.25 c #Conflicts: 1075000 | #Constraints: 33693
2352.82/2359.25 c #Conflicts: 1076000 | #Constraints: 34693
2352.82/2359.25 c #Conflicts: 1077000 | #Constraints: 35693
2352.82/2359.25 c #Conflicts: 1078000 | #Constraints: 36693
2352.82/2359.25 c #Conflicts: 1079000 | #Constraints: 37693
2352.82/2359.25 c #Conflicts: 1080000 | #Constraints: 38693
2352.82/2359.25 c #Conflicts: 1081000 | #Constraints: 39693
2352.82/2359.25 c #Conflicts: 1082000 | #Constraints: 40693
2352.82/2359.25 c #Conflicts: 1083000 | #Constraints: 41693
2352.82/2359.25 c INPROCESSING
2352.82/2359.25 c GARBAGE COLLECT
2352.82/2359.25 c #Conflicts: 1084000 | #Constraints: 22092
2352.82/2359.25 c #Conflicts: 1085000 | #Constraints: 23092
2352.82/2359.25 c #Conflicts: 1086000 | #Constraints: 24092
2352.82/2359.25 c #Conflicts: 1087000 | #Constraints: 25092
2352.82/2359.25 c #Conflicts: 1088000 | #Constraints: 26092
2352.82/2359.25 c #Conflicts: 1089000 | #Constraints: 27092
2352.82/2359.25 c #Conflicts: 1090000 | #Constraints: 28092
2352.82/2359.25 c #Conflicts: 1091000 | #Constraints: 29092
2352.82/2359.25 c #Conflicts: 1092000 | #Constraints: 30092
2352.82/2359.25 c #Conflicts: 1093000 | #Constraints: 31092
2352.82/2359.25 c #Conflicts: 1094000 | #Constraints: 32092
2352.82/2359.25 c #Conflicts: 1095000 | #Constraints: 33092
2352.82/2359.25 c #Conflicts: 1096000 | #Constraints: 34092
2352.82/2359.25 c #Conflicts: 1097000 | #Constraints: 35092
2352.82/2359.25 c #Conflicts: 1098000 | #Constraints: 36092
2352.82/2359.25 c #Conflicts: 1099000 | #Constraints: 37092
2352.82/2359.25 c #Conflicts: 1100000 | #Constraints: 38092
2352.82/2359.25 c #Conflicts: 1101000 | #Constraints: 39092
2352.82/2359.25 c #Conflicts: 1102000 | #Constraints: 40092
2352.82/2359.25 c #Conflicts: 1103000 | #Constraints: 41092
2352.82/2359.25 c #Conflicts: 1104000 | #Constraints: 42092
2352.82/2359.25 c INPROCESSING
2352.82/2359.25 c GARBAGE COLLECT
2352.82/2359.25 c #Conflicts: 1105000 | #Constraints: 22285
2352.82/2359.25 c #Conflicts: 1106000 | #Constraints: 23285
2352.82/2359.25 c #Conflicts: 1107000 | #Constraints: 24285
2352.82/2359.25 c #Conflicts: 1108000 | #Constraints: 25285
2352.82/2359.25 c #Conflicts: 1109000 | #Constraints: 26285
2352.82/2359.25 c #Conflicts: 1110000 | #Constraints: 27285
2352.82/2359.25 c #Conflicts: 1111000 | #Constraints: 28285
2352.82/2359.25 c #Conflicts: 1112000 | #Constraints: 29285
2352.82/2359.25 c #Conflicts: 1113000 | #Constraints: 30285
2352.82/2359.25 c #Conflicts: 1114000 | #Constraints: 31285
2352.82/2359.25 c #Conflicts: 1115000 | #Constraints: 32285
2352.82/2359.25 c #Conflicts: 1116000 | #Constraints: 33285
2352.82/2359.25 c #Conflicts: 1117000 | #Constraints: 34285
2352.82/2359.25 c #Conflicts: 1118000 | #Constraints: 35285
2352.82/2359.25 c #Conflicts: 1119000 | #Constraints: 36285
2352.82/2359.25 c #Conflicts: 1120000 | #Constraints: 37285
2352.82/2359.25 c #Conflicts: 1121000 | #Constraints: 38285
2518.58/2525.40 c #Conflicts: 1122000 | #Constraints: 39285
2518.58/2525.40 c #Conflicts: 1123000 | #Constraints: 40285
2518.58/2525.40 c #Conflicts: 1124000 | #Constraints: 41285
2518.58/2525.40 c #Conflicts: 1125000 | #Constraints: 42285
2518.58/2525.40 c INPROCESSING
2518.58/2525.40 c GARBAGE COLLECT
2518.58/2525.40 c #Conflicts: 1126000 | #Constraints: 22287
2518.58/2525.40 c #Conflicts: 1127000 | #Constraints: 23287
2518.58/2525.40 c #Conflicts: 1128000 | #Constraints: 24287
2518.58/2525.40 c #Conflicts: 1129000 | #Constraints: 25287
2518.58/2525.40 c #Conflicts: 1130000 | #Constraints: 26287
2518.58/2525.40 c #Conflicts: 1131000 | #Constraints: 27287
2518.58/2525.40 c #Conflicts: 1132000 | #Constraints: 28287
2518.58/2525.40 c #Conflicts: 1133000 | #Constraints: 29287
2518.58/2525.40 c #Conflicts: 1134000 | #Constraints: 30287
2518.58/2525.40 c #Conflicts: 1135000 | #Constraints: 31287
2518.58/2525.40 c #Conflicts: 1136000 | #Constraints: 32287
2518.58/2525.40 c #Conflicts: 1137000 | #Constraints: 33287
2518.58/2525.40 c #Conflicts: 1138000 | #Constraints: 34287
2518.58/2525.40 c #Conflicts: 1139000 | #Constraints: 35287
2518.58/2525.40 c #Conflicts: 1140000 | #Constraints: 36287
2518.58/2525.40 c #Conflicts: 1141000 | #Constraints: 37287
2518.58/2525.40 c #Conflicts: 1142000 | #Constraints: 38287
2518.58/2525.40 c #Conflicts: 1143000 | #Constraints: 39287
2518.58/2525.40 c #Conflicts: 1144000 | #Constraints: 40287
2518.58/2525.40 c #Conflicts: 1145000 | #Constraints: 41287
2518.58/2525.40 c #Conflicts: 1146000 | #Constraints: 42287
2518.58/2525.40 c INPROCESSING
2518.58/2525.40 c GARBAGE COLLECT
2518.58/2525.40 c #Conflicts: 1147000 | #Constraints: 22065
2518.58/2525.40 c #Conflicts: 1148000 | #Constraints: 23065
2518.58/2525.40 c #Conflicts: 1149000 | #Constraints: 24065
2518.58/2525.40 c #Conflicts: 1150000 | #Constraints: 25065
2518.58/2525.40 c #Conflicts: 1151000 | #Constraints: 26065
2518.58/2525.40 c #Conflicts: 1152000 | #Constraints: 27065
2518.58/2525.40 c #Conflicts: 1153000 | #Constraints: 28065
2518.58/2525.40 c #Conflicts: 1154000 | #Constraints: 29065
2518.58/2525.40 c #Conflicts: 1155000 | #Constraints: 30065
2518.58/2525.40 c #Conflicts: 1156000 | #Constraints: 31065
2518.58/2525.40 c #Conflicts: 1157000 | #Constraints: 32065
2518.58/2525.40 c #Conflicts: 1158000 | #Constraints: 33065
2518.58/2525.40 c #Conflicts: 1159000 | #Constraints: 34065
2518.58/2525.40 c #Conflicts: 1160000 | #Constraints: 35065
2518.58/2525.40 c #Conflicts: 1161000 | #Constraints: 36065
2518.58/2525.40 c #Conflicts: 1162000 | #Constraints: 37065
2518.58/2525.40 c #Conflicts: 1163000 | #Constraints: 38065
2518.58/2525.40 c #Conflicts: 1164000 | #Constraints: 39065
2518.58/2525.40 c #Conflicts: 1165000 | #Constraints: 40065
2518.58/2525.40 c #Conflicts: 1166000 | #Constraints: 41065
2518.58/2525.40 c #Conflicts: 1167000 | #Constraints: 42065
2518.58/2525.40 c #Conflicts: 1168000 | #Constraints: 43065
2518.58/2525.40 c INPROCESSING
2518.58/2525.40 c GARBAGE COLLECT
2518.58/2525.40 c #Conflicts: 1169000 | #Constraints: 22667
2518.58/2525.40 c #Conflicts: 1170000 | #Constraints: 23667
2518.58/2525.40 c #Conflicts: 1171000 | #Constraints: 24667
2518.58/2525.40 c #Conflicts: 1172000 | #Constraints: 25667
2518.58/2525.40 c #Conflicts: 1173000 | #Constraints: 26667
2518.58/2525.40 c #Conflicts: 1174000 | #Constraints: 27667
2518.58/2525.40 c #Conflicts: 1175000 | #Constraints: 28667
2518.58/2525.40 c #Conflicts: 1176000 | #Constraints: 29667
2518.58/2525.40 c #Conflicts: 1177000 | #Constraints: 30667
2518.58/2525.40 c #Conflicts: 1178000 | #Constraints: 31667
2518.58/2525.40 c #Conflicts: 1179000 | #Constraints: 32667
2518.58/2525.40 c #Conflicts: 1180000 | #Constraints: 33667
2518.58/2525.40 c #Conflicts: 1181000 | #Constraints: 34667
2518.58/2525.40 c #Conflicts: 1182000 | #Constraints: 35667
2518.58/2525.40 c #Conflicts: 1183000 | #Constraints: 36667
2518.58/2525.40 c #Conflicts: 1184000 | #Constraints: 37667
2518.58/2525.40 c #Conflicts: 1185000 | #Constraints: 38667
2518.58/2525.40 c #Conflicts: 1186000 | #Constraints: 39667
2518.58/2525.40 c #Conflicts: 1187000 | #Constraints: 40667
2518.58/2525.40 c #Conflicts: 1188000 | #Constraints: 41667
2518.58/2525.40 c #Conflicts: 1189000 | #Constraints: 42667
2518.58/2525.40 c #Conflicts: 1190000 | #Constraints: 43667
2518.58/2525.40 c INPROCESSING
2518.58/2525.40 c GARBAGE COLLECT
2518.58/2525.40 c #Conflicts: 1191000 | #Constraints: 23078
2518.58/2525.40 c #Conflicts: 1192000 | #Constraints: 24078
2518.58/2525.40 c #Conflicts: 1193000 | #Constraints: 25078
2518.58/2525.40 c #Conflicts: 1194000 | #Constraints: 26078
2518.58/2525.40 c #Conflicts: 1195000 | #Constraints: 27078
2518.58/2525.40 c #Conflicts: 1196000 | #Constraints: 28078
2518.58/2525.40 c #Conflicts: 1197000 | #Constraints: 29078
2708.94/2716.34 c #Conflicts: 1198000 | #Constraints: 30078
2708.94/2716.34 c #Conflicts: 1199000 | #Constraints: 31078
2708.94/2716.34 c #Conflicts: 1200000 | #Constraints: 32078
2708.94/2716.34 c #Conflicts: 1201000 | #Constraints: 33078
2708.94/2716.34 c #Conflicts: 1202000 | #Constraints: 34078
2708.94/2716.34 c #Conflicts: 1203000 | #Constraints: 35078
2708.94/2716.34 c #Conflicts: 1204000 | #Constraints: 36078
2708.94/2716.34 c #Conflicts: 1205000 | #Constraints: 37078
2708.94/2716.34 c #Conflicts: 1206000 | #Constraints: 38078
2708.94/2716.34 c #Conflicts: 1207000 | #Constraints: 39078
2708.94/2716.34 c #Conflicts: 1208000 | #Constraints: 40078
2708.94/2716.34 c #Conflicts: 1209000 | #Constraints: 41078
2708.94/2716.34 c #Conflicts: 1210000 | #Constraints: 42078
2708.94/2716.34 c #Conflicts: 1211000 | #Constraints: 43078
2708.94/2716.34 c #Conflicts: 1212000 | #Constraints: 44078
2708.94/2716.34 c INPROCESSING
2708.94/2716.34 c GARBAGE COLLECT
2708.94/2716.34 c #Conflicts: 1213000 | #Constraints: 23276
2708.94/2716.34 c #Conflicts: 1214000 | #Constraints: 24276
2708.94/2716.34 c #Conflicts: 1215000 | #Constraints: 25276
2708.94/2716.34 c #Conflicts: 1216000 | #Constraints: 26276
2708.94/2716.34 c #Conflicts: 1217000 | #Constraints: 27276
2708.94/2716.34 c #Conflicts: 1218000 | #Constraints: 28276
2708.94/2716.34 c #Conflicts: 1219000 | #Constraints: 29276
2708.94/2716.34 c #Conflicts: 1220000 | #Constraints: 30276
2708.94/2716.34 c #Conflicts: 1221000 | #Constraints: 31276
2708.94/2716.34 c #Conflicts: 1222000 | #Constraints: 32276
2708.94/2716.34 c #Conflicts: 1223000 | #Constraints: 33276
2708.94/2716.34 c #Conflicts: 1224000 | #Constraints: 34276
2708.94/2716.34 c #Conflicts: 1225000 | #Constraints: 35276
2708.94/2716.34 c #Conflicts: 1226000 | #Constraints: 36276
2708.94/2716.34 c #Conflicts: 1227000 | #Constraints: 37276
2708.94/2716.34 c #Conflicts: 1228000 | #Constraints: 38276
2708.94/2716.34 c #Conflicts: 1229000 | #Constraints: 39276
2708.94/2716.34 c #Conflicts: 1230000 | #Constraints: 40276
2708.94/2716.34 c #Conflicts: 1231000 | #Constraints: 41276
2708.94/2716.34 c #Conflicts: 1232000 | #Constraints: 42276
2708.94/2716.34 c #Conflicts: 1233000 | #Constraints: 43276
2708.94/2716.34 c #Conflicts: 1234000 | #Constraints: 44276
2708.94/2716.34 c INPROCESSING
2708.94/2716.34 c GARBAGE COLLECT
2708.94/2716.34 c #Conflicts: 1235000 | #Constraints: 23264
2708.94/2716.34 c #Conflicts: 1236000 | #Constraints: 24264
2708.94/2716.34 c #Conflicts: 1237000 | #Constraints: 25264
2708.94/2716.34 c #Conflicts: 1238000 | #Constraints: 26264
2708.94/2716.34 c #Conflicts: 1239000 | #Constraints: 27264
2708.94/2716.34 c #Conflicts: 1240000 | #Constraints: 28264
2708.94/2716.34 c #Conflicts: 1241000 | #Constraints: 29264
2708.94/2716.34 c #Conflicts: 1242000 | #Constraints: 30264
2708.94/2716.34 c #Conflicts: 1243000 | #Constraints: 31264
2708.94/2716.34 c #Conflicts: 1244000 | #Constraints: 32264
2708.94/2716.34 c #Conflicts: 1245000 | #Constraints: 33264
2708.94/2716.34 c #Conflicts: 1246000 | #Constraints: 34264
2708.94/2716.34 c #Conflicts: 1247000 | #Constraints: 35264
2708.94/2716.34 c #Conflicts: 1248000 | #Constraints: 36264
2708.94/2716.34 c #Conflicts: 1249000 | #Constraints: 37264
2708.94/2716.34 c #Conflicts: 1250000 | #Constraints: 38264
2708.94/2716.34 c #Conflicts: 1251000 | #Constraints: 39264
2708.94/2716.34 c #Conflicts: 1252000 | #Constraints: 40264
2708.94/2716.34 c #Conflicts: 1253000 | #Constraints: 41264
2708.94/2716.34 c #Conflicts: 1254000 | #Constraints: 42264
2708.94/2716.34 c #Conflicts: 1255000 | #Constraints: 43264
2708.94/2716.34 c #Conflicts: 1256000 | #Constraints: 44264
2708.94/2716.34 c INPROCESSING
2708.94/2716.34 c GARBAGE COLLECT
2708.94/2716.34 c #Conflicts: 1257000 | #Constraints: 23074
2708.94/2716.34 c #Conflicts: 1258000 | #Constraints: 24074
2708.94/2716.34 c #Conflicts: 1259000 | #Constraints: 25074
2708.94/2716.34 c #Conflicts: 1260000 | #Constraints: 26074
2708.94/2716.34 c #Conflicts: 1261000 | #Constraints: 27074
2708.94/2716.34 c #Conflicts: 1262000 | #Constraints: 28074
2708.94/2716.34 c #Conflicts: 1263000 | #Constraints: 29074
2708.94/2716.34 c #Conflicts: 1264000 | #Constraints: 30074
2708.94/2716.34 c #Conflicts: 1265000 | #Constraints: 31074
2708.94/2716.34 c #Conflicts: 1266000 | #Constraints: 32074
2708.94/2716.34 c #Conflicts: 1267000 | #Constraints: 33074
2708.94/2716.34 c #Conflicts: 1268000 | #Constraints: 34074
2708.94/2716.34 c #Conflicts: 1269000 | #Constraints: 35074
2708.94/2716.34 c #Conflicts: 1270000 | #Constraints: 36074
2708.94/2716.34 c #Conflicts: 1271000 | #Constraints: 37074
2708.94/2716.34 c #Conflicts: 1272000 | #Constraints: 38074
2708.94/2716.34 c #Conflicts: 1273000 | #Constraints: 39074
2708.94/2716.34 c #Conflicts: 1274000 | #Constraints: 40074
2937.91/2945.94 c #Conflicts: 1275000 | #Constraints: 41074
2937.91/2945.94 c #Conflicts: 1276000 | #Constraints: 42074
2937.91/2945.94 c #Conflicts: 1277000 | #Constraints: 43074
2937.91/2945.94 c #Conflicts: 1278000 | #Constraints: 44074
2937.91/2945.94 c #Conflicts: 1279000 | #Constraints: 45074
2937.91/2945.94 c INPROCESSING
2937.91/2945.94 c GARBAGE COLLECT
2937.91/2945.94 c #Conflicts: 1280000 | #Constraints: 23669
2937.91/2945.94 c #Conflicts: 1281000 | #Constraints: 24669
2937.91/2945.94 c #Conflicts: 1282000 | #Constraints: 25669
2937.91/2945.94 c #Conflicts: 1283000 | #Constraints: 26669
2937.91/2945.94 c #Conflicts: 1284000 | #Constraints: 27669
2937.91/2945.94 c #Conflicts: 1285000 | #Constraints: 28669
2937.91/2945.94 c #Conflicts: 1286000 | #Constraints: 29669
2937.91/2945.94 c #Conflicts: 1287000 | #Constraints: 30669
2937.91/2945.94 c #Conflicts: 1288000 | #Constraints: 31669
2937.91/2945.94 c #Conflicts: 1289000 | #Constraints: 32669
2937.91/2945.94 c #Conflicts: 1290000 | #Constraints: 33669
2937.91/2945.94 c #Conflicts: 1291000 | #Constraints: 34669
2937.91/2945.94 c #Conflicts: 1292000 | #Constraints: 35669
2937.91/2945.94 c #Conflicts: 1293000 | #Constraints: 36669
2937.91/2945.94 c #Conflicts: 1294000 | #Constraints: 37669
2937.91/2945.94 c #Conflicts: 1295000 | #Constraints: 38669
2937.91/2945.94 c #Conflicts: 1296000 | #Constraints: 39669
2937.91/2945.94 c #Conflicts: 1297000 | #Constraints: 40669
2937.91/2945.94 c #Conflicts: 1298000 | #Constraints: 41669
2937.91/2945.94 c #Conflicts: 1299000 | #Constraints: 42669
2937.91/2945.94 c #Conflicts: 1300000 | #Constraints: 43669
2937.91/2945.94 c #Conflicts: 1301000 | #Constraints: 44669
2937.91/2945.94 c #Conflicts: 1302000 | #Constraints: 45669
2937.91/2945.94 c INPROCESSING
2937.91/2945.94 c GARBAGE COLLECT
2937.91/2945.94 c #Conflicts: 1303000 | #Constraints: 24074
2937.91/2945.94 c #Conflicts: 1304000 | #Constraints: 25074
2937.91/2945.94 c #Conflicts: 1305000 | #Constraints: 26074
2937.91/2945.94 c #Conflicts: 1306000 | #Constraints: 27074
2937.91/2945.94 c #Conflicts: 1307000 | #Constraints: 28074
2937.91/2945.94 c #Conflicts: 1308000 | #Constraints: 29074
2937.91/2945.94 c #Conflicts: 1309000 | #Constraints: 30074
2937.91/2945.94 c #Conflicts: 1310000 | #Constraints: 31074
2937.91/2945.94 c #Conflicts: 1311000 | #Constraints: 32074
2937.91/2945.94 c #Conflicts: 1312000 | #Constraints: 33074
2937.91/2945.94 c #Conflicts: 1313000 | #Constraints: 34074
2937.91/2945.94 c #Conflicts: 1314000 | #Constraints: 35074
2937.91/2945.94 c #Conflicts: 1315000 | #Constraints: 36074
2937.91/2945.94 c #Conflicts: 1316000 | #Constraints: 37074
2937.91/2945.94 c #Conflicts: 1317000 | #Constraints: 38074
2937.91/2945.94 c #Conflicts: 1318000 | #Constraints: 39074
2937.91/2945.94 c #Conflicts: 1319000 | #Constraints: 40074
2937.91/2945.94 c #Conflicts: 1320000 | #Constraints: 41074
2937.91/2945.94 c #Conflicts: 1321000 | #Constraints: 42074
2937.91/2945.94 c #Conflicts: 1322000 | #Constraints: 43074
2937.91/2945.94 c #Conflicts: 1323000 | #Constraints: 44074
2937.91/2945.94 c #Conflicts: 1324000 | #Constraints: 45074
2937.91/2945.94 c #Conflicts: 1325000 | #Constraints: 46074
2937.91/2945.94 c INPROCESSING
2937.91/2945.94 c GARBAGE COLLECT
2937.91/2945.94 c #Conflicts: 1326000 | #Constraints: 24266
2937.91/2945.94 c #Conflicts: 1327000 | #Constraints: 25266
2937.91/2945.94 c #Conflicts: 1328000 | #Constraints: 26266
2937.91/2945.94 c #Conflicts: 1329000 | #Constraints: 27266
2937.91/2945.94 c #Conflicts: 1330000 | #Constraints: 28266
2937.91/2945.94 c #Conflicts: 1331000 | #Constraints: 29266
2937.91/2945.94 c #Conflicts: 1332000 | #Constraints: 30266
2937.91/2945.94 c #Conflicts: 1333000 | #Constraints: 31266
2937.91/2945.94 c #Conflicts: 1334000 | #Constraints: 32266
2937.91/2945.94 c #Conflicts: 1335000 | #Constraints: 33266
2937.91/2945.94 c #Conflicts: 1336000 | #Constraints: 34266
2937.91/2945.94 c #Conflicts: 1337000 | #Constraints: 35266
2937.91/2945.94 c #Conflicts: 1338000 | #Constraints: 36266
2937.91/2945.94 c #Conflicts: 1339000 | #Constraints: 37266
2937.91/2945.94 c #Conflicts: 1340000 | #Constraints: 38266
2937.91/2945.94 c #Conflicts: 1341000 | #Constraints: 39266
2937.91/2945.94 c #Conflicts: 1342000 | #Constraints: 40266
2937.91/2945.94 c #Conflicts: 1343000 | #Constraints: 41266
2937.91/2945.94 c #Conflicts: 1344000 | #Constraints: 42266
2937.91/2945.94 c #Conflicts: 1345000 | #Constraints: 43266
2937.91/2945.94 c #Conflicts: 1346000 | #Constraints: 44266
2937.91/2945.94 c #Conflicts: 1347000 | #Constraints: 45266
2937.91/2945.94 c #Conflicts: 1348000 | #Constraints: 46266
2937.91/2945.94 c INPROCESSING
2937.91/2945.94 c GARBAGE COLLECT
2937.91/2945.94 c #Conflicts: 1349000 | #Constraints: 24287
2937.91/2945.94 c #Conflicts: 1350000 | #Constraints: 25287
3155.83/3164.47 c #Conflicts: 1351000 | #Constraints: 26287
3155.83/3164.47 c #Conflicts: 1352000 | #Constraints: 27287
3155.83/3164.47 c #Conflicts: 1353000 | #Constraints: 28287
3155.83/3164.47 c #Conflicts: 1354000 | #Constraints: 29287
3155.83/3164.47 c #Conflicts: 1355000 | #Constraints: 30287
3155.83/3164.47 c #Conflicts: 1356000 | #Constraints: 31287
3155.83/3164.47 c #Conflicts: 1357000 | #Constraints: 32287
3155.83/3164.47 c #Conflicts: 1358000 | #Constraints: 33287
3155.83/3164.47 c #Conflicts: 1359000 | #Constraints: 34287
3155.83/3164.47 c #Conflicts: 1360000 | #Constraints: 35287
3155.83/3164.47 c #Conflicts: 1361000 | #Constraints: 36287
3155.83/3164.47 c #Conflicts: 1362000 | #Constraints: 37287
3155.83/3164.47 c #Conflicts: 1363000 | #Constraints: 38287
3155.83/3164.47 c #Conflicts: 1364000 | #Constraints: 39287
3155.83/3164.47 c #Conflicts: 1365000 | #Constraints: 40287
3155.83/3164.47 c #Conflicts: 1366000 | #Constraints: 41287
3155.83/3164.47 c #Conflicts: 1367000 | #Constraints: 42287
3155.83/3164.47 c #Conflicts: 1368000 | #Constraints: 43287
3155.83/3164.47 c #Conflicts: 1369000 | #Constraints: 44287
3155.83/3164.47 c #Conflicts: 1370000 | #Constraints: 45287
3155.83/3164.47 c #Conflicts: 1371000 | #Constraints: 46287
3155.83/3164.47 c INPROCESSING
3155.83/3164.47 c GARBAGE COLLECT
3155.83/3164.47 c #Conflicts: 1372000 | #Constraints: 24073
3155.83/3164.47 c #Conflicts: 1373000 | #Constraints: 25073
3155.83/3164.47 c #Conflicts: 1374000 | #Constraints: 26073
3155.83/3164.47 c #Conflicts: 1375000 | #Constraints: 27073
3155.83/3164.47 c #Conflicts: 1376000 | #Constraints: 28073
3155.83/3164.47 c #Conflicts: 1377000 | #Constraints: 29073
3155.83/3164.47 c #Conflicts: 1378000 | #Constraints: 30073
3155.83/3164.47 c #Conflicts: 1379000 | #Constraints: 31073
3155.83/3164.47 c #Conflicts: 1380000 | #Constraints: 32073
3155.83/3164.47 c #Conflicts: 1381000 | #Constraints: 33073
3155.83/3164.47 c #Conflicts: 1382000 | #Constraints: 34073
3155.83/3164.47 c #Conflicts: 1383000 | #Constraints: 35073
3155.83/3164.47 c #Conflicts: 1384000 | #Constraints: 36073
3155.83/3164.47 c #Conflicts: 1385000 | #Constraints: 37073
3155.83/3164.47 c #Conflicts: 1386000 | #Constraints: 38073
3155.83/3164.47 c #Conflicts: 1387000 | #Constraints: 39073
3155.83/3164.47 c #Conflicts: 1388000 | #Constraints: 40073
3155.83/3164.47 c #Conflicts: 1389000 | #Constraints: 41073
3155.83/3164.47 c #Conflicts: 1390000 | #Constraints: 42073
3155.83/3164.47 c #Conflicts: 1391000 | #Constraints: 43073
3155.83/3164.47 c #Conflicts: 1392000 | #Constraints: 44073
3155.83/3164.47 c #Conflicts: 1393000 | #Constraints: 45073
3155.83/3164.47 c #Conflicts: 1394000 | #Constraints: 46073
3155.83/3164.47 c #Conflicts: 1395000 | #Constraints: 47073
3155.83/3164.47 c INPROCESSING
3155.83/3164.47 c GARBAGE COLLECT
3155.83/3164.47 c #Conflicts: 1396000 | #Constraints: 24685
3155.83/3164.47 c #Conflicts: 1397000 | #Constraints: 25685
3155.83/3164.47 c #Conflicts: 1398000 | #Constraints: 26685
3155.83/3164.47 c #Conflicts: 1399000 | #Constraints: 27685
3155.83/3164.47 c #Conflicts: 1400000 | #Constraints: 28685
3155.83/3164.47 c #Conflicts: 1401000 | #Constraints: 29685
3155.83/3164.47 c #Conflicts: 1402000 | #Constraints: 30685
3155.83/3164.47 c #Conflicts: 1403000 | #Constraints: 31685
3155.83/3164.47 c #Conflicts: 1404000 | #Constraints: 32685
3155.83/3164.47 c #Conflicts: 1405000 | #Constraints: 33685
3155.83/3164.47 c #Conflicts: 1406000 | #Constraints: 34685
3155.83/3164.47 c #Conflicts: 1407000 | #Constraints: 35685
3155.83/3164.47 c #Conflicts: 1408000 | #Constraints: 36685
3155.83/3164.47 c #Conflicts: 1409000 | #Constraints: 37685
3155.83/3164.47 c #Conflicts: 1410000 | #Constraints: 38685
3155.83/3164.47 c #Conflicts: 1411000 | #Constraints: 39685
3155.83/3164.47 c #Conflicts: 1412000 | #Constraints: 40685
3155.83/3164.47 c #Conflicts: 1413000 | #Constraints: 41685
3155.83/3164.47 c #Conflicts: 1414000 | #Constraints: 42685
3155.83/3164.47 c #Conflicts: 1415000 | #Constraints: 43685
3155.83/3164.47 c #Conflicts: 1416000 | #Constraints: 44685
3155.83/3164.47 c #Conflicts: 1417000 | #Constraints: 45685
3155.83/3164.47 c #Conflicts: 1418000 | #Constraints: 46685
3155.83/3164.47 c #Conflicts: 1419000 | #Constraints: 47685
3155.83/3164.47 c INPROCESSING
3155.83/3164.47 c GARBAGE COLLECT
3155.83/3164.47 c #Conflicts: 1420000 | #Constraints: 25101
3155.83/3164.47 c #Conflicts: 1421000 | #Constraints: 26101
3155.83/3164.47 c #Conflicts: 1422000 | #Constraints: 27101
3155.83/3164.47 c #Conflicts: 1423000 | #Constraints: 28101
3155.83/3164.47 c #Conflicts: 1424000 | #Constraints: 29101
3155.83/3164.47 c #Conflicts: 1425000 | #Constraints: 30101
3155.83/3164.47 c #Conflicts: 1426000 | #Constraints: 31101
3155.83/3164.47 c #Conflicts: 1427000 | #Constraints: 32101
3328.29/3337.31 c #Conflicts: 1428000 | #Constraints: 33101
3328.29/3337.31 c #Conflicts: 1429000 | #Constraints: 34101
3328.29/3337.31 c #Conflicts: 1430000 | #Constraints: 35101
3328.29/3337.31 c #Conflicts: 1431000 | #Constraints: 36101
3328.29/3337.31 c #Conflicts: 1432000 | #Constraints: 37101
3328.29/3337.31 c #Conflicts: 1433000 | #Constraints: 38101
3328.29/3337.31 c #Conflicts: 1434000 | #Constraints: 39101
3328.29/3337.31 c #Conflicts: 1435000 | #Constraints: 40101
3328.29/3337.31 c #Conflicts: 1436000 | #Constraints: 41101
3328.29/3337.31 c #Conflicts: 1437000 | #Constraints: 42101
3328.29/3337.31 c #Conflicts: 1438000 | #Constraints: 43101
3328.29/3337.31 c #Conflicts: 1439000 | #Constraints: 44101
3328.29/3337.31 c #Conflicts: 1440000 | #Constraints: 45101
3328.29/3337.31 c #Conflicts: 1441000 | #Constraints: 46101
3328.29/3337.31 c #Conflicts: 1442000 | #Constraints: 47101
3328.29/3337.31 c #Conflicts: 1443000 | #Constraints: 48101
3328.29/3337.31 c INPROCESSING
3328.29/3337.31 c GARBAGE COLLECT
3328.29/3337.31 c #Conflicts: 1444000 | #Constraints: 25278
3328.29/3337.31 c #Conflicts: 1445000 | #Constraints: 26278
3328.29/3337.31 c #Conflicts: 1446000 | #Constraints: 27278
3328.29/3337.31 c #Conflicts: 1447000 | #Constraints: 28278
3328.29/3337.31 c #Conflicts: 1448000 | #Constraints: 29278
3328.29/3337.31 c #Conflicts: 1449000 | #Constraints: 30278
3328.29/3337.31 c #Conflicts: 1450000 | #Constraints: 31278
3328.29/3337.31 c #Conflicts: 1451000 | #Constraints: 32278
3328.29/3337.31 c #Conflicts: 1452000 | #Constraints: 33278
3328.29/3337.31 c #Conflicts: 1453000 | #Constraints: 34278
3328.29/3337.31 c #Conflicts: 1454000 | #Constraints: 35278
3328.29/3337.31 c #Conflicts: 1455000 | #Constraints: 36278
3328.29/3337.31 c #Conflicts: 1456000 | #Constraints: 37278
3328.29/3337.31 c #Conflicts: 1457000 | #Constraints: 38278
3328.29/3337.31 c #Conflicts: 1458000 | #Constraints: 39278
3328.29/3337.31 c #Conflicts: 1459000 | #Constraints: 40278
3328.29/3337.31 c #Conflicts: 1460000 | #Constraints: 41278
3328.29/3337.31 c #Conflicts: 1461000 | #Constraints: 42278
3328.29/3337.31 c #Conflicts: 1462000 | #Constraints: 43278
3328.29/3337.31 c #Conflicts: 1463000 | #Constraints: 44278
3328.29/3337.31 c #Conflicts: 1464000 | #Constraints: 45278
3328.29/3337.31 c #Conflicts: 1465000 | #Constraints: 46278
3328.29/3337.31 c #Conflicts: 1466000 | #Constraints: 47278
3328.29/3337.31 c #Conflicts: 1467000 | #Constraints: 48278
3328.29/3337.31 c INPROCESSING
3328.29/3337.31 c GARBAGE COLLECT
3328.29/3337.31 c #Conflicts: 1468000 | #Constraints: 25267
3328.29/3337.31 c #Conflicts: 1469000 | #Constraints: 26267
3328.29/3337.31 c #Conflicts: 1470000 | #Constraints: 27267
3328.29/3337.31 c #Conflicts: 1471000 | #Constraints: 28267
3328.29/3337.31 c #Conflicts: 1472000 | #Constraints: 29267
3328.29/3337.31 c #Conflicts: 1473000 | #Constraints: 30267
3328.29/3337.31 c #Conflicts: 1474000 | #Constraints: 31267
3328.29/3337.31 c #Conflicts: 1475000 | #Constraints: 32267
3328.29/3337.31 c #Conflicts: 1476000 | #Constraints: 33267
3328.29/3337.31 c #Conflicts: 1477000 | #Constraints: 34267
3328.29/3337.31 c #Conflicts: 1478000 | #Constraints: 35267
3328.29/3337.31 c #Conflicts: 1479000 | #Constraints: 36267
3328.29/3337.31 c #Conflicts: 1480000 | #Constraints: 37267
3328.29/3337.31 c #Conflicts: 1481000 | #Constraints: 38267
3328.29/3337.31 c #Conflicts: 1482000 | #Constraints: 39267
3328.29/3337.31 c #Conflicts: 1483000 | #Constraints: 40267
3328.29/3337.31 c #Conflicts: 1484000 | #Constraints: 41267
3328.29/3337.31 c #Conflicts: 1485000 | #Constraints: 42267
3328.29/3337.31 c #Conflicts: 1486000 | #Constraints: 43267
3328.29/3337.31 c #Conflicts: 1487000 | #Constraints: 44267
3328.29/3337.31 c #Conflicts: 1488000 | #Constraints: 45267
3328.29/3337.31 c #Conflicts: 1489000 | #Constraints: 46267
3328.29/3337.31 c #Conflicts: 1490000 | #Constraints: 47267
3328.29/3337.31 c #Conflicts: 1491000 | #Constraints: 48267
3328.29/3337.31 c INPROCESSING
3328.29/3337.31 c GARBAGE COLLECT
3328.29/3337.31 c #Conflicts: 1492000 | #Constraints: 25070
3328.29/3337.31 c #Conflicts: 1493000 | #Constraints: 26070
3328.29/3337.31 c #Conflicts: 1494000 | #Constraints: 27070
3328.29/3337.31 c #Conflicts: 1495000 | #Constraints: 28070
3328.29/3337.31 c #Conflicts: 1496000 | #Constraints: 29070
3328.29/3337.31 c #Conflicts: 1497000 | #Constraints: 30070
3328.29/3337.31 c #Conflicts: 1498000 | #Constraints: 31070
3328.29/3337.31 c #Conflicts: 1499000 | #Constraints: 32070
3328.29/3337.31 c #Conflicts: 1500000 | #Constraints: 33070
3328.29/3337.31 c #Conflicts: 1501000 | #Constraints: 34070
3328.29/3337.31 c #Conflicts: 1502000 | #Constraints: 35070
3328.29/3337.31 c #Conflicts: 1503000 | #Constraints: 36070
3328.29/3337.31 c #Conflicts: 1504000 | #Constraints: 37070
3526.22/3535.75 c #Conflicts: 1505000 | #Constraints: 38070
3526.22/3535.75 c #Conflicts: 1506000 | #Constraints: 39070
3526.22/3535.75 c #Conflicts: 1507000 | #Constraints: 40070
3526.22/3535.75 c #Conflicts: 1508000 | #Constraints: 41070
3526.22/3535.75 c #Conflicts: 1509000 | #Constraints: 42070
3526.22/3535.75 c #Conflicts: 1510000 | #Constraints: 43070
3526.22/3535.75 c #Conflicts: 1511000 | #Constraints: 44070
3526.22/3535.75 c #Conflicts: 1512000 | #Constraints: 45070
3526.22/3535.75 c #Conflicts: 1513000 | #Constraints: 46070
3526.22/3535.75 c #Conflicts: 1514000 | #Constraints: 47070
3526.22/3535.75 c #Conflicts: 1515000 | #Constraints: 48070
3526.22/3535.75 c #Conflicts: 1516000 | #Constraints: 49070
3526.22/3535.75 c INPROCESSING
3526.22/3535.75 c GARBAGE COLLECT
3526.22/3535.75 c #Conflicts: 1517000 | #Constraints: 25662
3526.22/3535.75 c #Conflicts: 1518000 | #Constraints: 26662
3526.22/3535.75 c #Conflicts: 1519000 | #Constraints: 27662
3526.22/3535.75 c #Conflicts: 1520000 | #Constraints: 28662
3526.22/3535.75 c #Conflicts: 1521000 | #Constraints: 29662
3526.22/3535.75 c #Conflicts: 1522000 | #Constraints: 30662
3526.22/3535.75 c #Conflicts: 1523000 | #Constraints: 31662
3526.22/3535.75 c #Conflicts: 1524000 | #Constraints: 32662
3526.22/3535.75 c #Conflicts: 1525000 | #Constraints: 33662
3526.22/3535.75 c #Conflicts: 1526000 | #Constraints: 34662
3526.22/3535.75 c #Conflicts: 1527000 | #Constraints: 35662
3526.22/3535.75 c #Conflicts: 1528000 | #Constraints: 36662
3526.22/3535.75 c #Conflicts: 1529000 | #Constraints: 37662
3526.22/3535.75 c #Conflicts: 1530000 | #Constraints: 38662
3526.22/3535.75 c #Conflicts: 1531000 | #Constraints: 39662
3526.22/3535.75 c #Conflicts: 1532000 | #Constraints: 40662
3526.22/3535.75 c #Conflicts: 1533000 | #Constraints: 41662
3526.22/3535.75 c #Conflicts: 1534000 | #Constraints: 42662
3526.22/3535.75 c #Conflicts: 1535000 | #Constraints: 43662
3526.22/3535.75 c #Conflicts: 1536000 | #Constraints: 44662
3526.22/3535.75 c #Conflicts: 1537000 | #Constraints: 45662
3526.22/3535.75 c #Conflicts: 1538000 | #Constraints: 46662
3526.22/3535.75 c #Conflicts: 1539000 | #Constraints: 47662
3526.22/3535.75 c #Conflicts: 1540000 | #Constraints: 48662
3526.22/3535.75 c #Conflicts: 1541000 | #Constraints: 49662
3526.22/3535.75 c INPROCESSING
3526.22/3535.75 c GARBAGE COLLECT
3526.22/3535.75 c #Conflicts: 1542000 | #Constraints: 26059
3526.22/3535.75 c #Conflicts: 1543000 | #Constraints: 27059
3526.22/3535.75 c #Conflicts: 1544000 | #Constraints: 28059
3526.22/3535.75 c #Conflicts: 1545000 | #Constraints: 29059
3526.22/3535.75 c #Conflicts: 1546000 | #Constraints: 30059
3526.22/3535.75 c #Conflicts: 1547000 | #Constraints: 31059
3526.22/3535.75 c #Conflicts: 1548000 | #Constraints: 32059
3526.22/3535.75 c #Conflicts: 1549000 | #Constraints: 33059
3526.22/3535.75 c #Conflicts: 1550000 | #Constraints: 34059
3526.22/3535.75 c #Conflicts: 1551000 | #Constraints: 35059
3526.22/3535.75 c #Conflicts: 1552000 | #Constraints: 36059
3526.22/3535.75 c #Conflicts: 1553000 | #Constraints: 37059
3526.22/3535.75 c #Conflicts: 1554000 | #Constraints: 38059
3526.22/3535.75 c #Conflicts: 1555000 | #Constraints: 39059
3526.22/3535.75 c #Conflicts: 1556000 | #Constraints: 40059
3526.22/3535.75 c #Conflicts: 1557000 | #Constraints: 41059
3526.22/3535.75 c #Conflicts: 1558000 | #Constraints: 42059
3526.22/3535.75 c #Conflicts: 1559000 | #Constraints: 43059
3526.22/3535.75 c #Conflicts: 1560000 | #Constraints: 44059
3526.22/3535.75 c #Conflicts: 1561000 | #Constraints: 45059
3526.22/3535.75 c #Conflicts: 1562000 | #Constraints: 46059
3526.22/3535.75 c #Conflicts: 1563000 | #Constraints: 47059
3526.22/3535.75 c #Conflicts: 1564000 | #Constraints: 48059
3526.22/3535.75 c #Conflicts: 1565000 | #Constraints: 49059
3526.22/3535.75 c #Conflicts: 1566000 | #Constraints: 50059
3526.22/3535.75 c INPROCESSING
3526.22/3535.75 c GARBAGE COLLECT
3526.22/3535.75 c #Conflicts: 1567000 | #Constraints: 26271
3526.22/3535.75 c #Conflicts: 1568000 | #Constraints: 27271
3526.22/3535.75 c #Conflicts: 1569000 | #Constraints: 28271
3526.22/3535.75 c #Conflicts: 1570000 | #Constraints: 29271
3526.22/3535.75 c #Conflicts: 1571000 | #Constraints: 30271
3526.22/3535.75 c #Conflicts: 1572000 | #Constraints: 31271
3526.22/3535.75 c #Conflicts: 1573000 | #Constraints: 32271
3526.22/3535.75 c #Conflicts: 1574000 | #Constraints: 33271
3526.22/3535.75 c #Conflicts: 1575000 | #Constraints: 34271
3526.22/3535.75 c #Conflicts: 1576000 | #Constraints: 35271
3526.22/3535.75 c #Conflicts: 1577000 | #Constraints: 36271
3526.22/3535.75 c #Conflicts: 1578000 | #Constraints: 37271
3526.22/3535.75 c #Conflicts: 1579000 | #Constraints: 38271
3526.22/3535.75 c #Conflicts: 1580000 | #Constraints: 39271
3526.22/3535.75 c #Conflicts: 1581000 | #Constraints: 40271
3600.04/3609.70 c #Conflicts: 1582000 | #Constraints: 41271
3600.04/3609.70 c #Conflicts: 1583000 | #Constraints: 42271
3600.04/3609.70 c #Conflicts: 1584000 | #Constraints: 43271
3600.04/3609.70 c #Conflicts: 1585000 | #Constraints: 44271
3600.04/3609.70 c #Conflicts: 1586000 | #Constraints: 45271
3600.04/3609.70 c #Conflicts: 1587000 | #Constraints: 46271
3600.04/3609.70 c #Conflicts: 1588000 | #Constraints: 47271
3600.04/3609.70 c #Conflicts: 1589000 | #Constraints: 48271
3600.04/3609.70 c #Conflicts: 1590000 | #Constraints: 49271
3600.04/3609.70 c #Conflicts: 1591000 | #Constraints: 50271
3600.04/3609.70 c INPROCESSING
3600.04/3609.70 c GARBAGE COLLECT
3600.04/3609.70 c #Conflicts: 1592000 | #Constraints: 26309
3600.04/3609.70 c #Conflicts: 1593000 | #Constraints: 27309
3600.04/3609.70 c #Conflicts: 1594000 | #Constraints: 28309
3600.04/3609.70 c #Conflicts: 1595000 | #Constraints: 29309
3600.04/3609.70 c #Conflicts: 1596000 | #Constraints: 30309
3600.04/3609.70 c #Conflicts: 1597000 | #Constraints: 31309
3600.04/3609.70 c #Conflicts: 1598000 | #Constraints: 32309
3600.04/3609.70 c #Conflicts: 1599000 | #Constraints: 33309
3600.04/3609.70 c #Conflicts: 1600000 | #Constraints: 34309
3600.04/3609.70 c Program interrupted by user.
3600.04/3609.70 c cpu time 3586.23 s
3600.04/3609.70 c deterministic time 522510817616 5.23e+11
3600.04/3609.70 c optimization time 28.4923 s
3600.04/3609.70 c total solve time 3258.61 s
3600.04/3609.70 c core-guided solve time 0 s
3600.04/3609.70 c propagation time 2694.08 s
3600.04/3609.70 c conflict analysis time 544.667 s
3600.04/3609.70 c propagations 344158194
3600.04/3609.70 c resolve steps 15526650
3600.04/3609.70 c decisions 6665641
3600.04/3609.70 c conflicts 1600733
3600.04/3609.70 c restarts 3069
3600.04/3609.70 c inprocessing phases 117
3600.04/3609.70 c input clauses 49
3600.04/3609.70 c input cardinalities 49
3600.04/3609.70 c input general constraints 320
3600.04/3609.70 c input average constraint length 47.68
3600.04/3609.70 c input average constraint degree 427.67
3600.04/3609.70 c learned clauses 210255
3600.04/3609.70 c learned cardinalities 14085
3600.04/3609.70 c learned general constraints 1376392
3600.04/3609.70 c learned average constraint length 369.96
3600.04/3609.70 c learned average constraint degree 12517900.63
3600.04/3609.70 c watched constraints 1053076
3600.04/3609.70 c counting constraints 323636
3600.04/3609.70 c gcd simplifications 132037
3600.04/3609.70 c detected cardinalities 451
3600.04/3609.70 c weakened non-implied lits 104761230
3600.04/3609.70 c weakened non-implying lits 218918
3600.04/3609.70 c original variables 2130
3600.04/3609.70 c clausal propagations 2270520
3600.04/3609.70 c cardinality propagations 7113505
3600.04/3609.70 c watched propagations 15024595
3600.04/3609.70 c counting propagations 318254080
3600.04/3609.70 c watch lookups 53468198404
3600.04/3609.70 c watch backjump lookups 49262281511
3600.04/3609.70 c watch checks 340178592511
3600.04/3609.70 c propagation checks 76700873052
3600.04/3609.70 c constraint additions 2197625248
3600.04/3609.70 c trail pops 352423054
3600.04/3609.70 c formula constraints 418
3600.04/3609.70 c learned constraints 1600732
3600.04/3609.70 c bound constraints 0
3600.04/3609.70 c core-guided constraints 0
3600.04/3609.70 c encountered formula constraints 8889190
3600.04/3609.70 c encountered learned constraints 8238193
3600.04/3609.70 c encountered bound constraints 0
3600.04/3609.70 c encountered core-guided constraints 0
3600.04/3609.70 c LP total time 0 s
3600.04/3609.70 c LP solve time 0 s
3600.04/3609.70 c LP constraints added 0
3600.04/3609.70 c LP constraints removed 0
3600.04/3609.70 c LP pivots internal 0
3600.04/3609.70 c LP pivots root 0
3600.04/3609.70 c LP calls 0
3600.04/3609.70 c LP optimalities 0
3600.04/3609.70 c LP no pivot count 0
3600.04/3609.70 c LP infeasibilities 0
3600.04/3609.70 c LP valid Farkas constraints 0
3600.04/3609.70 c LP learned Farkas constraints 0
3600.04/3609.70 c LP basis resets 0
3600.04/3609.70 c LP cycling count 0
3600.04/3609.70 c LP singular count 0
3600.04/3609.70 c LP no primal count 0
3600.04/3609.70 c LP no farkas count 0
3600.04/3609.70 c LP other issue count 0
3600.04/3609.70 c LP Gomory cuts 0
3600.04/3609.70 c LP learned cuts 0
3600.04/3609.70 c LP deleted cuts 0
3600.04/3609.70 c LP encountered Gomory constraints 0
3600.04/3609.70 c LP encountered Farkas constraints 0
3600.04/3609.70 c LP encountered learned Farkas constraints 0
3600.04/3609.70 c CG auxiliary variables introduced 0
3600.04/3609.70 c CG solutions found 0
3600.04/3609.70 c CG cores constructed 0
3600.04/3609.70 c CG core cardinality constraints returned 0
3600.04/3609.70 c CG unit cores 0
3600.04/3609.70 c CG single cores 0
3600.04/3609.70 c CG blocks removed during cardinality reduction 0
3600.04/3609.70 c CG first core best 0
3600.04/3609.70 c CG decision core best 0
3600.04/3609.70 c CG core reduction tie 0
3600.04/3609.70 c CG core degree average 0.00
3600.04/3609.70 c CG core slack average 0.00
3600.04/3609.70 c CG exhausted 0
3600.04/3609.70 c CG exhaust time 0 s
3600.04/3609.70 c CG trimmed 0
3600.04/3609.70 c CG trim time 0 s
3600.04/3609.70 c CG minimized 0
3600.04/3609.70 c CG minimize time 0 s
3600.04/3609.70 c CG am1 prop time 0 s
3600.04/3609.70 c CG # am1s reformulated 0
3600.04/3609.70 c CG lower bound derived from am1s 0
3600.04/3609.70 c CG # clausal cores 0
3600.04/3609.70 c CG # cardinality cores 0
3600.04/3609.70 c CG # pb cores 0
3600.04/3609.70 c CG # pb reforms 0
3600.04/3609.70 c CG # cores discarded because of pb reform 0
3600.04/3609.70 d LOWERBOUND 0
3600.04/3609.70 d NCORES 0
3600.04/3609.70 d NPBCORES 0
3600.04/3609.70 d NPBREFORM 0
3600.04/3609.70 d NTRIMMED 0
3600.04/3609.70 d NEXHAUSTED 0
3600.04/3609.70 d NAM1S 0
3600.04/3609.70 d AM1LB 0
3600.04/3609.70 c [Papilo Statistics]
3600.04/3609.70 c prepro time 0.00629972s
3600.04/3609.70 c # tsx applied 10
3600.04/3609.70 c # tsx conflicts 0
3600.04/3609.70 c # bound changes 5
3600.04/3609.70 c # side changes 0
3600.04/3609.70 c # coef changes 0
3600.04/3609.70 c # rounds 2
3600.04/3609.70 c # deted vars 5
3600.04/3609.70 c # deted constrs 2126
3600.04/3609.70 c # consecutive rounds of only bound changes 0
3600.04/3609.70 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: 63931 MiB (57902 MiB free)
memory of node 1: 64510 MiB (61634 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435598-1721107993/watcher-4435598-1721107993 -o /tmp/evaluation-result-4435598-1721107993/solver-4435598-1721107993 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721104319-834478 --watchdog 3760 mixed-bag HOME/instance-4435598-1721107993.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=838655, runsolver pid=838652
[startup+0.100077 s]*
/proc/loadavg: 4.15 4.11 4.09 5/258 838656
/proc/meminfo: memFree=122381884/131524600 swapFree=131071996/131071996
[pid=838655] ppid=838652 vsize=112072 memory=41224 CPUtime=0.1 cores=1,3
/proc/838655/stat : 838655 (mixed-bag) R 838652 838655 834466 0 -1 4194304 7220 0 0 0 9 1 0 0 20 0 1 0 162959480 114761728 10306 134679101440 4194304 16487941 140733171819568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51613696 140733171827735 140733171827812 140733171827812 140733171834827 0
/proc/838655/statm: 28018 10306 3821 3002 0 11769 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 112072 KiB
Current children cumulated memory: 41224 KiB
[startup+0.205672 s]*
/proc/loadavg: 4.15 4.11 4.09 5/258 838656
/proc/meminfo: memFree=122377700/131524600 swapFree=131071996/131071996
[pid=838655] ppid=838652 vsize=114648 memory=43600 CPUtime=0.2 cores=1,3
/proc/838655/stat : 838655 (mixed-bag) R 838652 838655 834466 0 -1 4194304 7815 0 0 0 19 1 0 0 20 0 1 0 162959480 117399552 10900 134679101440 4194304 16487941 140733171819568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51613696 140733171827735 140733171827812 140733171827812 140733171834827 0
/proc/838655/statm: 28662 10900 3821 3002 0 12413 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 114648 KiB
Current children cumulated memory: 43600 KiB
[startup+0.304845 s]*
/proc/loadavg: 4.15 4.11 4.09 5/258 838656
/proc/meminfo: memFree=122367816/131524600 swapFree=131071996/131071996
[pid=838655] ppid=838652 vsize=124848 memory=52892 CPUtime=0.3 cores=1,3
/proc/838655/stat : 838655 (mixed-bag) R 838652 838655 834466 0 -1 4194304 10183 0 0 0 29 1 0 0 20 0 1 0 162959480 127844352 13223 134679101440 4194304 16487941 140733171819568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51613696 140733171827735 140733171827812 140733171827812 140733171834827 0
/proc/838655/statm: 31212 13223 3835 3002 0 14963 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 124848 KiB
Current children cumulated memory: 52892 KiB
[startup+0.700233 s]
/proc/loadavg: 4.15 4.11 4.09 5/258 838656
/proc/meminfo: memFree=122367340/131524600 swapFree=131071996/131071996
[pid=838655] ppid=838652 vsize=132108 memory=60484 CPUtime=0.68 cores=1,3
/proc/838655/stat : 838655 (mixed-bag) R 838652 838655 834466 0 -1 4194304 11974 0 0 0 67 1 0 0 20 0 1 0 162959480 135278592 15121 134679101440 4194304 16487941 140733171819568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51613696 140733171827735 140733171827812 140733171827812 140733171834827 0
/proc/838655/statm: 33027 15121 3899 3002 0 16778 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 132108 KiB
Current children cumulated memory: 60484 KiB
[startup+1.50023 s]
/proc/loadavg: 4.15 4.11 4.09 5/258 838656
/proc/meminfo: memFree=122344352/131524600 swapFree=131071996/131071996
[pid=838655] ppid=838652 vsize=163924 memory=91456 CPUtime=1.49 cores=1,3
/proc/838655/stat : 838655 (mixed-bag) R 838652 838655 834466 0 -1 4194304 21179 0 0 0 146 3 0 0 20 0 1 0 162959480 167858176 22864 134679101440 4194304 16487941 140733171819568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51613696 140733171827735 140733171827812 140733171827812 140733171834827 0
/proc/838655/statm: 40981 22864 4043 3002 0 24732 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 163924 KiB
Current children cumulated memory: 91456 KiB
[startup+3.10565 s]
/proc/loadavg: 4.14 4.11 4.09 5/258 838656
/proc/meminfo: memFree=122324080/131524600 swapFree=131071996/131071996
[pid=838655] ppid=838652 vsize=168636 memory=97316 CPUtime=3.08 cores=1,3
/proc/838655/stat : 838655 (mixed-bag) R 838652 838655 834466 0 -1 4194304 23938 0 0 0 305 3 0 0 20 0 1 0 162959480 172683264 24329 134679101440 4194304 16487941 140733171819568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51613696 140733171827735 140733171827812 140733171827812 140733171834827 0
/proc/838655/statm: 42159 24329 4043 3002 0 25910 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 168636 KiB
Current children cumulated memory: 97316 KiB
[startup+6.30021 s]
/proc/loadavg: 4.14 4.11 4.09 5/259 838657
/proc/meminfo: memFree=122315680/131524600 swapFree=131071996/131071996
[pid=838655] ppid=838652 vsize=178100 memory=105656 CPUtime=6.27 cores=1,3
/proc/838655/stat : 838655 (mixed-bag) R 838652 838655 834466 0 -1 4194304 27192 0 0 0 623 4 0 0 20 0 1 0 162959480 182374400 26414 134679101440 4194304 16487941 140733171819568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51613696 140733171827735 140733171827812 140733171827812 140733171834827 0
/proc/838655/statm: 44525 26414 4043 3002 0 28276 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 178100 KiB
Current children cumulated memory: 105656 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.10 4.09 5/259 838659
/proc/meminfo: memFree=122311152/131524600 swapFree=131071996/131071996
[pid=838655] ppid=838652 vsize=181240 memory=109980 CPUtime=12.65 cores=1,3
/proc/838655/stat : 838655 (mixed-bag) R 838652 838655 834466 0 -1 4194304 29258 0 0 0 1261 4 0 0 20 0 1 0 162959480 185589760 27495 134679101440 4194304 16487941 140733171819568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51613696 140733171827735 140733171827812 140733171827812 140733171834827 0
/proc/838655/statm: 45310 27495 4043 3002 0 29061 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 181240 KiB
Current children cumulated memory: 109980 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.10 4.09 5/259 838660
/proc/meminfo: memFree=122267412/131524600 swapFree=131071996/131071996
[pid=838655] ppid=838652 vsize=226780 memory=155512 CPUtime=25.41 cores=1,3
/proc/838655/stat : 838655 (mixed-bag) R 838652 838655 834466 0 -1 4194304 46651 0 0 0 2535 6 0 0 20 0 1 0 162959480 232222720 38878 134679101440 4194304 16487941 140733171819568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51613696 140733171827735 140733171827812 140733171827812 140733171834827 0
/proc/838655/statm: 56695 38878 4043 3002 0 40446 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 226780 KiB
Current children cumulated memory: 155512 KiB
[startup+51.1056 s]
/proc/loadavg: 4.14 4.11 4.09 5/259 838667
/proc/meminfo: memFree=122261184/131524600 swapFree=131071996/131071996
[pid=838655] ppid=838652 vsize=230192 memory=159064 CPUtime=50.95 cores=1,3
/proc/838655/stat : 838655 (mixed-bag) R 838652 838655 834466 0 -1 4194304 48517 0 0 0 5088 7 0 0 20 0 1 0 162959480 235716608 39766 134679101440 4194304 16487941 140733171819568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51613696 140733171827735 140733171827812 140733171827812 140733171834827 0
/proc/838655/statm: 57548 39766 4043 3002 0 41299 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 230192 KiB
Current children cumulated memory: 159064 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/258 838676
/proc/meminfo: memFree=122249280/131524600 swapFree=131071996/131071996
[pid=838655] ppid=838652 vsize=230192 memory=159064 CPUtime=101.99 cores=1,3
/proc/838655/stat : 838655 (mixed-bag) R 838652 838655 834466 0 -1 4194304 48524 0 0 0 10192 7 0 0 20 0 1 0 162959480 235716608 39766 134679101440 4194304 16487941 140733171819568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51613696 140733171827735 140733171827812 140733171827812 140733171834827 0
/proc/838655/statm: 57548 39766 4043 3002 0 41299 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 230192 KiB
Current children cumulated memory: 159064 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 838687
/proc/meminfo: memFree=122157896/131524600 swapFree=131071996/131071996
[pid=838655] ppid=838652 vsize=246696 memory=174420 CPUtime=161.83 cores=1,3
/proc/838655/stat : 838655 (mixed-bag) R 838652 838655 834466 0 -1 4194304 58404 0 0 0 16173 10 0 0 20 0 1 0 162959480 252616704 43605 134679101440 4194304 16487941 140733171819568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51613696 140733171827735 140733171827812 140733171827812 140733171834827 0
/proc/838655/statm: 61674 43605 4043 3002 0 45425 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 246696 KiB
Current children cumulated memory: 174420 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/256 838697
/proc/meminfo: memFree=122150756/131524600 swapFree=131071996/131071996
[pid=838655] ppid=838652 vsize=251248 memory=180240 CPUtime=221.66 cores=1,3
/proc/838655/stat : 838655 (mixed-bag) R 838652 838655 834466 0 -1 4194304 60827 0 0 0 22155 11 0 0 20 0 1 0 162959480 257277952 45060 134679101440 4194304 16487941 140733171819568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51613696 140733171827735 140733171827812 140733171827812 140733171834827 0
/proc/838655/statm: 62812 45060 4043 3002 0 46563 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 251248 KiB
Current children cumulated memory: 180240 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/256 838708
/proc/meminfo: memFree=122054872/131524600 swapFree=131071996/131071996
[pid=838655] ppid=838652 vsize=253088 memory=182084 CPUtime=281.48 cores=1,3
/proc/838655/stat : 838655 (mixed-bag) R 838652 838655 834466 0 -1 4194304 61290 0 0 0 28137 11 0 0 20 0 1 0 162959480 259162112 45521 134679101440 4194304 16487941 140733171819568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51613696 140733171827735 140733171827812 140733171827812 140733171834827 0
/proc/838655/statm: 63272 45521 4043 3002 0 47023 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 253088 KiB
Current children cumulated memory: 182084 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/255 838720
/proc/meminfo: memFree=121983804/131524600 swapFree=131071996/131071996
[pid=838655] ppid=838652 vsize=256400 memory=192192 CPUtime=341.32 cores=1,3
/proc/838655/stat : 838655 (mixed-bag) R 838652 838655 834466 0 -1 4194304 64664 0 0 0 34065 67 0 0 20 0 1 0 162959480 262553600 48048 134679101440 4194304 16487941 140733171819568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51613696 140733171827735 140733171827812 140733171827812 140733171834827 0
/proc/838655/statm: 64100 48048 4107 3002 0 47851 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 256400 KiB
Current children cumulated memory: 192192 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 4.12 4.10 5/257 838734
/proc/meminfo: memFree=121930728/131524600 swapFree=131071996/131071996
[pid=838655] ppid=838652 vsize=256400 memory=194488 CPUtime=401.18 cores=1,3
/proc/838655/stat : 838655 (mixed-bag) R 838652 838655 834466 0 -1 4194304 64685 0 0 0 39999 119 0 0 20 0 1 0 162959480 262553600 48622 134679101440 4194304 16487941 140733171819568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51613696 140733171827735 140733171827812 140733171827812 140733171834827 0
/proc/838655/statm: 64100 48622 4107 3002 0 47851 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 256400 KiB
Current children cumulated memory: 194488 KiB
[startup+462.3 s]
/proc/loadavg: 4.30 4.18 4.12 5/257 838745
/proc/meminfo: memFree=121914032/131524600 swapFree=131071996/131071996
[pid=838655] ppid=838652 vsize=275368 memory=204856 CPUtime=461.02 cores=1,3
/proc/838655/stat : 838655 (mixed-bag) R 838652 838655 834466 0 -1 4194304 65261 0 0 0 45940 162 0 0 20 0 1 0 162959480 281976832 51214 134679101440 4194304 16487941 140733171819568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51613696 140733171827735 140733171827812 140733171827812 140733171834827 0
/proc/838655/statm: 68842 51214 4107 3002 0 52593 0
################
# More data... #
################
Current children cumulated memory: 285204 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/254 839861
/proc/meminfo: memFree=122143204/131524600 swapFree=131071996/131071996
[pid=838655] ppid=838652 vsize=356276 memory=285204 CPUtime=2914.37 cores=1,3
/proc/838655/stat : 838655 (mixed-bag) R 838652 838655 834466 0 -1 4194304 69177 0 0 0 290270 1167 0 0 20 0 1 0 162959480 364826624 71301 134679101440 4194304 16487941 140733171819568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51613696 140733171827735 140733171827812 140733171827812 140733171834827 0
/proc/838655/statm: 89069 71301 4107 3002 0 72820 0
Current children cumulated CPU time: 2914.37 s
Current children cumulated vsize: 356276 KiB
Current children cumulated memory: 285204 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/254 839871
/proc/meminfo: memFree=122118828/131524600 swapFree=131071996/131071996
[pid=838655] ppid=838652 vsize=359708 memory=287216 CPUtime=2974.22 cores=1,3
/proc/838655/stat : 838655 (mixed-bag) R 838652 838655 834466 0 -1 4194304 69760 0 0 0 296237 1185 0 0 20 0 1 0 162959480 368340992 71804 134679101440 4194304 16487941 140733171819568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51613696 140733171827735 140733171827812 140733171827812 140733171834827 0
/proc/838655/statm: 89927 71804 4107 3002 0 73678 0
Current children cumulated CPU time: 2974.22 s
Current children cumulated vsize: 359708 KiB
Current children cumulated memory: 287216 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/254 839883
/proc/meminfo: memFree=122117736/131524600 swapFree=131071996/131071996
[pid=838655] ppid=838652 vsize=360220 memory=287712 CPUtime=3034.06 cores=1,3
/proc/838655/stat : 838655 (mixed-bag) R 838652 838655 834466 0 -1 4194304 69963 0 0 0 302202 1204 0 0 20 0 1 0 162959480 368865280 71928 134679101440 4194304 16487941 140733171819568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51613696 140733171827735 140733171827812 140733171827812 140733171834827 0
/proc/838655/statm: 90055 71928 4107 3002 0 73806 0
Current children cumulated CPU time: 3034.06 s
Current children cumulated vsize: 360220 KiB
Current children cumulated memory: 287712 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/256 840277
/proc/meminfo: memFree=122100948/131524600 swapFree=131071996/131071996
[pid=838655] ppid=838652 vsize=360428 memory=287920 CPUtime=3093.9 cores=1,3
/proc/838655/stat : 838655 (mixed-bag) R 838652 838655 834466 0 -1 4194304 70087 0 0 0 308163 1227 0 0 20 0 1 0 162959480 369078272 71980 134679101440 4194304 16487941 140733171819568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51613696 140733171827735 140733171827812 140733171827812 140733171834827 0
/proc/838655/statm: 90107 71980 4107 3002 0 73858 0
Current children cumulated CPU time: 3093.9 s
Current children cumulated vsize: 360428 KiB
Current children cumulated memory: 287920 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/256 840287
/proc/meminfo: memFree=122096792/131524600 swapFree=131071996/131071996
[pid=838655] ppid=838652 vsize=360428 memory=289284 CPUtime=3153.74 cores=1,3
/proc/838655/stat : 838655 (mixed-bag) R 838652 838655 834466 0 -1 4194304 70247 0 0 0 314125 1249 0 0 20 0 1 0 162959480 369078272 72321 134679101440 4194304 16487941 140733171819568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51613696 140733171827735 140733171827812 140733171827812 140733171834827 0
/proc/838655/statm: 90107 72321 4107 3002 0 73858 0
Current children cumulated CPU time: 3153.74 s
Current children cumulated vsize: 360428 KiB
Current children cumulated memory: 289284 KiB
[startup+3222.3 s]
/proc/loadavg: 4.49 4.21 4.13 5/256 840297
/proc/meminfo: memFree=122094952/131524600 swapFree=131071996/131071996
[pid=838655] ppid=838652 vsize=360428 memory=289284 CPUtime=3213.58 cores=1,3
/proc/838655/stat : 838655 (mixed-bag) R 838652 838655 834466 0 -1 4194304 70369 0 0 0 320088 1270 0 0 20 0 1 0 162959480 369078272 72321 134679101440 4194304 16487941 140733171819568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51613696 140733171827735 140733171827812 140733171827812 140733171834827 0
/proc/838655/statm: 90107 72321 4107 3002 0 73858 0
Current children cumulated CPU time: 3213.58 s
Current children cumulated vsize: 360428 KiB
Current children cumulated memory: 289284 KiB
[startup+3282.3 s]
/proc/loadavg: 4.24 4.18 4.12 5/256 840477
/proc/meminfo: memFree=122090156/131524600 swapFree=131071996/131071996
[pid=838655] ppid=838652 vsize=360428 memory=289284 CPUtime=3273.43 cores=1,3
/proc/838655/stat : 838655 (mixed-bag) R 838652 838655 834466 0 -1 4194304 70489 0 0 0 326050 1293 0 0 20 0 1 0 162959480 369078272 72321 134679101440 4194304 16487941 140733171819568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51613696 140733171827735 140733171827812 140733171827812 140733171834827 0
/proc/838655/statm: 90107 72321 4107 3002 0 73858 0
Current children cumulated CPU time: 3273.43 s
Current children cumulated vsize: 360428 KiB
Current children cumulated memory: 289284 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/256 840488
/proc/meminfo: memFree=122085532/131524600 swapFree=131071996/131071996
[pid=838655] ppid=838652 vsize=360684 memory=289540 CPUtime=3333.28 cores=1,3
/proc/838655/stat : 838655 (mixed-bag) R 838652 838655 834466 0 -1 4194304 70664 0 0 0 332018 1310 0 0 20 0 1 0 162959480 369340416 72385 134679101440 4194304 16487941 140733171819568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51613696 140733171827735 140733171827812 140733171827812 140733171834827 0
/proc/838655/statm: 90171 72385 4107 3002 0 73922 0
Current children cumulated CPU time: 3333.28 s
Current children cumulated vsize: 360684 KiB
Current children cumulated memory: 289540 KiB
[startup+3402.3 s]
/proc/loadavg: 4.23 4.18 4.12 5/258 840556
/proc/meminfo: memFree=122042960/131524600 swapFree=131071996/131071996
[pid=838655] ppid=838652 vsize=360876 memory=289732 CPUtime=3393.14 cores=1,3
/proc/838655/stat : 838655 (mixed-bag) R 838652 838655 834466 0 -1 4194304 70822 0 0 0 337984 1330 0 0 20 0 1 0 162959480 369537024 72433 134679101440 4194304 16487941 140733171819568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51613696 140733171827735 140733171827812 140733171827812 140733171834827 0
/proc/838655/statm: 90219 72433 4107 3002 0 73970 0
Current children cumulated CPU time: 3393.14 s
Current children cumulated vsize: 360876 KiB
Current children cumulated memory: 289732 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/257 840568
/proc/meminfo: memFree=122007076/131524600 swapFree=131071996/131071996
[pid=838655] ppid=838652 vsize=361040 memory=289896 CPUtime=3452.99 cores=1,3
/proc/838655/stat : 838655 (mixed-bag) R 838652 838655 834466 0 -1 4194304 70979 0 0 0 343952 1347 0 0 20 0 1 0 162959480 369704960 72474 134679101440 4194304 16487941 140733171819568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51613696 140733171827735 140733171827812 140733171827812 140733171834827 0
/proc/838655/statm: 90260 72474 4107 3002 0 74011 0
Current children cumulated CPU time: 3452.99 s
Current children cumulated vsize: 361040 KiB
Current children cumulated memory: 289896 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.14 4.11 5/257 840578
/proc/meminfo: memFree=122005628/131524600 swapFree=131071996/131071996
[pid=838655] ppid=838652 vsize=361040 memory=289992 CPUtime=3512.84 cores=1,3
/proc/838655/stat : 838655 (mixed-bag) R 838652 838655 834466 0 -1 4194304 71115 0 0 0 349925 1359 0 0 20 0 1 0 162959480 369704960 72498 134679101440 4194304 16487941 140733171819568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51613696 140733171827735 140733171827812 140733171827812 140733171834827 0
/proc/838655/statm: 90260 72498 4107 3002 0 74011 0
Current children cumulated CPU time: 3512.84 s
Current children cumulated vsize: 361040 KiB
Current children cumulated memory: 289992 KiB
[startup+3582.3 s]
/proc/loadavg: 4.32 4.21 4.13 5/258 840681
/proc/meminfo: memFree=122796512/131524600 swapFree=131071996/131071996
[pid=838655] ppid=838652 vsize=362832 memory=291312 CPUtime=3572.7 cores=1,3
/proc/838655/stat : 838655 (mixed-bag) R 838652 838655 834466 0 -1 4194304 71552 0 0 0 355897 1373 0 0 20 0 1 0 162959480 371539968 72828 134679101440 4194304 16487941 140733171819568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51613696 140733171827735 140733171827812 140733171827812 140733171834827 0
/proc/838655/statm: 90708 72828 4107 3002 0 74459 0
Current children cumulated CPU time: 3572.7 s
Current children cumulated vsize: 362832 KiB
Current children cumulated memory: 291312 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.29 4.21 4.13 5/258 840685
/proc/meminfo: memFree=122758640/131524600 swapFree=131071996/131071996
[pid=838655] ppid=838652 vsize=362832 memory=291312 CPUtime=3600.04 cores=1,3
/proc/838655/stat : 838655 (mixed-bag) R 838652 838655 834466 0 -1 4194304 71569 0 0 0 358622 1382 0 0 20 0 1 0 162959480 371539968 72828 134679101440 4194304 16487941 140733171819568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51613696 140733171827735 140733171827812 140733171827812 140733171834827 0
/proc/838655/statm: 90708 72828 4107 3002 0 74459 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 362832 KiB
Current children cumulated memory: 291312 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.71 s]
# the end of solver process 838655 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.23 s, system=13.8251 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.29 4.21 4.13 5/258 840685
/proc/meminfo: memFree=122758640/131524600 swapFree=131071996/131071996
[pid=838655] ppid=838652 vsize=362832 memory=291312 CPUtime=3600.04 cores=1,3
/proc/838655/stat : 838655 (mixed-bag) R 838652 838655 834466 0 -1 4194304 71569 0 0 0 358622 1382 0 0 20 0 1 0 162959480 371539968 72828 134679101440 4194304 16487941 140733171819568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51613696 140733171827735 140733171827812 140733171827812 140733171834827 0
/proc/838655/statm: 90708 72828 4107 3002 0 74459 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 362832 KiB
Current children cumulated memory: 291312 KiB
Child status: 0
Real time (s): 3609.71
CPU time (s): 3600.06
CPU user time (s): 3586.23
CPU system time (s): 13.8251
CPU usage (%): 99.7326
Max. virtual memory (cumulated for all children) (KiB): 362832
Max. memory (cumulated for all children) (KiB): 291312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.23
system time used= 13.8251
maximum resident set size= 291312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71592
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= 108
involuntary context switches= 1343
# summary of solver processes directly reported to runsolver:
# pid: 838655
# total CPU time (s): 3600.06
# total CPU user time (s): 3586.23
# total CPU system time (s): 13.8251
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.9634 second user time and 16.9781 second system time
The end
Begin job on nodeC015 at 2024-07-16 07:33:25
IDJOB=4435598
IDBENCH=148770
IDSOLVER=3066
FILE ID=nodeC015/4435598-1721107993
RUNJOBID= nodeC015-1721104319-834478
SLURM_JOB_ID= 7505624
Free space on /tmp= 890032 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx49.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435598-1721107993/watcher-4435598-1721107993 -o /tmp/evaluation-result-4435598-1721107993/solver-4435598-1721107993 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721104319-834478 --watchdog 3760 mixed-bag HOME/instance-4435598-1721107993.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bb00c8681178995acecbc2b6e4ec1a1a
RANDOM SEED=1561982346
nodeC015.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3670.188
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3668.469
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
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.850
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3666.050
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
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 : 3670.246
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3670.023
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
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 : 3599.962
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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.456
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 122406848 kB
MemAvailable: 128280520 kB
Buffers: 383008 kB
Cached: 6312524 kB
SwapCached: 0 kB
Active: 1235280 kB
Inactive: 7251568 kB
Active(anon): 1548 kB
Inactive(anon): 1827508 kB
Active(file): 1233732 kB
Inactive(file): 5424060 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16660 kB
Writeback: 12 kB
AnonPages: 1789668 kB
Mapped: 137652 kB
Shmem: 37720 kB
KReclaimable: 111056 kB
Slab: 220268 kB
SReclaimable: 111056 kB
SUnreclaim: 109212 kB
KernelStack: 4112 kB
PageTables: 13164 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2314264 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62624 kB
HardwareCorrupted: 0 kB
AnonHugePages: 976896 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 258772 kB
DirectMap2M: 37263360 kB
DirectMap1G: 98566144 kB
Free space on /tmp at the end= 890016 MiB
End job on nodeC015 at 2024-07-16 08:33:35