0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.03 c [STEP] preprocessing with Papilo
0.00/0.04 c [STEP] solving with SCIP
298.98/300.12 c [STEP] preprocessing done, loading into solver
298.98/300.12 c [STEP] solving
298.98/300.12 c #variables 2126 #constraints 418
334.37/335.61 c #Conflicts: 1000 | #Constraints: 1417
334.37/335.61 c #Conflicts: 2000 | #Constraints: 2417
334.37/335.61 c INPROCESSING
334.37/335.61 c GARBAGE COLLECT
334.37/335.61 c #Conflicts: 3000 | #Constraints: 2427
334.37/335.61 c #Conflicts: 4000 | #Constraints: 3427
334.37/335.61 c INPROCESSING
334.37/335.61 c GARBAGE COLLECT
334.37/335.61 c #Conflicts: 5000 | #Constraints: 2831
334.37/335.61 c #Conflicts: 6000 | #Constraints: 3831
334.37/335.61 c INPROCESSING
334.37/335.61 c GARBAGE COLLECT
334.37/335.61 c #Conflicts: 7000 | #Constraints: 2835
334.37/335.61 c #Conflicts: 8000 | #Constraints: 3835
334.37/335.61 c #Conflicts: 9000 | #Constraints: 4835
334.37/335.61 c INPROCESSING
334.37/335.61 c GARBAGE COLLECT
334.37/335.61 c #Conflicts: 10000 | #Constraints: 3537
334.37/335.61 c #Conflicts: 11000 | #Constraints: 4537
334.37/335.61 c #Conflicts: 12000 | #Constraints: 5537
334.37/335.61 c INPROCESSING
334.37/335.61 c GARBAGE COLLECT
334.37/335.61 c #Conflicts: 13000 | #Constraints: 3989
334.37/335.61 c #Conflicts: 14000 | #Constraints: 4989
334.37/335.61 c #Conflicts: 15000 | #Constraints: 5989
334.37/335.61 c INPROCESSING
334.37/335.61 c GARBAGE COLLECT
334.37/335.61 c #Conflicts: 16000 | #Constraints: 4219
334.37/335.61 c #Conflicts: 17000 | #Constraints: 5219
334.37/335.61 c #Conflicts: 18000 | #Constraints: 6219
334.37/335.61 c INPROCESSING
334.37/335.61 c GARBAGE COLLECT
334.37/335.61 c #Conflicts: 19000 | #Constraints: 4246
334.37/335.61 c #Conflicts: 20000 | #Constraints: 5246
334.37/335.61 c #Conflicts: 21000 | #Constraints: 6246
334.37/335.61 c INPROCESSING
334.37/335.61 c GARBAGE COLLECT
334.37/335.61 c #Conflicts: 22000 | #Constraints: 4039
334.37/335.61 c #Conflicts: 23000 | #Constraints: 5039
334.37/335.61 c #Conflicts: 24000 | #Constraints: 6039
334.37/335.61 c #Conflicts: 25000 | #Constraints: 7039
334.37/335.61 c INPROCESSING
334.37/335.61 c GARBAGE COLLECT
334.37/335.61 c #Conflicts: 26000 | #Constraints: 4645
334.37/335.61 c #Conflicts: 27000 | #Constraints: 5645
334.37/335.61 c #Conflicts: 28000 | #Constraints: 6645
334.37/335.61 c #Conflicts: 29000 | #Constraints: 7645
334.37/335.61 c INPROCESSING
334.37/335.61 c GARBAGE COLLECT
334.37/335.61 c #Conflicts: 30000 | #Constraints: 5044
334.37/335.61 c #Conflicts: 31000 | #Constraints: 6044
334.37/335.61 c #Conflicts: 32000 | #Constraints: 7044
334.37/335.61 c #Conflicts: 33000 | #Constraints: 8044
334.37/335.61 c INPROCESSING
334.37/335.61 c GARBAGE COLLECT
334.37/335.61 c #Conflicts: 34000 | #Constraints: 5245
334.37/335.61 c #Conflicts: 35000 | #Constraints: 6245
334.37/335.61 c #Conflicts: 36000 | #Constraints: 7245
334.37/335.61 c #Conflicts: 37000 | #Constraints: 8245
334.37/335.61 c INPROCESSING
334.37/335.61 c GARBAGE COLLECT
334.37/335.61 c #Conflicts: 38000 | #Constraints: 5261
334.37/335.61 c #Conflicts: 39000 | #Constraints: 6261
334.37/335.61 c #Conflicts: 40000 | #Constraints: 7261
334.37/335.61 c #Conflicts: 41000 | #Constraints: 8261
334.37/335.61 c INPROCESSING
334.37/335.61 c GARBAGE COLLECT
334.37/335.61 c #Conflicts: 42000 | #Constraints: 5058
334.37/335.61 c #Conflicts: 43000 | #Constraints: 6058
334.37/335.61 c #Conflicts: 44000 | #Constraints: 7058
334.37/335.61 c #Conflicts: 45000 | #Constraints: 8058
334.37/335.61 c #Conflicts: 46000 | #Constraints: 9058
334.37/335.61 c INPROCESSING
334.37/335.61 c GARBAGE COLLECT
334.37/335.61 c #Conflicts: 47000 | #Constraints: 5648
334.37/335.61 c #Conflicts: 48000 | #Constraints: 6648
334.37/335.61 c #Conflicts: 49000 | #Constraints: 7648
334.37/335.61 c #Conflicts: 50000 | #Constraints: 8648
334.37/335.61 c #Conflicts: 51000 | #Constraints: 9648
334.37/335.61 c INPROCESSING
334.37/335.61 c GARBAGE COLLECT
334.37/335.61 c #Conflicts: 52000 | #Constraints: 6051
334.37/335.61 c #Conflicts: 53000 | #Constraints: 7051
334.37/335.61 c #Conflicts: 54000 | #Constraints: 8051
334.37/335.61 c #Conflicts: 55000 | #Constraints: 9051
334.37/335.61 c #Conflicts: 56000 | #Constraints: 10051
334.37/335.61 c INPROCESSING
334.37/335.61 c GARBAGE COLLECT
334.37/335.61 c #Conflicts: 57000 | #Constraints: 6245
334.37/335.61 c #Conflicts: 58000 | #Constraints: 7245
334.37/335.61 c #Conflicts: 59000 | #Constraints: 8245
334.37/335.61 c #Conflicts: 60000 | #Constraints: 9245
334.37/335.61 c #Conflicts: 61000 | #Constraints: 10245
334.37/335.61 c INPROCESSING
334.37/335.61 c GARBAGE COLLECT
334.37/335.61 c #Conflicts: 62000 | #Constraints: 6248
334.37/335.61 c #Conflicts: 63000 | #Constraints: 7248
334.37/335.61 c #Conflicts: 64000 | #Constraints: 8248
334.37/335.61 c #Conflicts: 65000 | #Constraints: 9248
334.37/335.61 c #Conflicts: 66000 | #Constraints: 10248
334.37/335.61 c INPROCESSING
334.37/335.61 c GARBAGE COLLECT
334.37/335.61 c #Conflicts: 67000 | #Constraints: 6054
334.37/335.61 c #Conflicts: 68000 | #Constraints: 7054
391.80/393.29 c #Conflicts: 69000 | #Constraints: 8054
391.80/393.29 c #Conflicts: 70000 | #Constraints: 9054
391.80/393.29 c #Conflicts: 71000 | #Constraints: 10054
391.80/393.29 c #Conflicts: 72000 | #Constraints: 11054
391.80/393.29 c INPROCESSING
391.80/393.29 c GARBAGE COLLECT
391.80/393.29 c #Conflicts: 73000 | #Constraints: 6650
391.80/393.29 c #Conflicts: 74000 | #Constraints: 7650
391.80/393.29 c #Conflicts: 75000 | #Constraints: 8650
391.80/393.29 c #Conflicts: 76000 | #Constraints: 9650
391.80/393.29 c #Conflicts: 77000 | #Constraints: 10650
391.80/393.29 c #Conflicts: 78000 | #Constraints: 11650
391.80/393.29 c INPROCESSING
391.80/393.29 c GARBAGE COLLECT
391.80/393.29 c #Conflicts: 79000 | #Constraints: 7058
391.80/393.29 c #Conflicts: 80000 | #Constraints: 8058
391.80/393.29 c #Conflicts: 81000 | #Constraints: 9058
391.80/393.29 c #Conflicts: 82000 | #Constraints: 10058
391.80/393.29 c #Conflicts: 83000 | #Constraints: 11058
391.80/393.29 c #Conflicts: 84000 | #Constraints: 12058
391.80/393.29 c INPROCESSING
391.80/393.29 c GARBAGE COLLECT
391.80/393.29 c #Conflicts: 85000 | #Constraints: 7253
391.80/393.29 c #Conflicts: 86000 | #Constraints: 8253
391.80/393.29 c #Conflicts: 87000 | #Constraints: 9253
391.80/393.29 c #Conflicts: 88000 | #Constraints: 10253
391.80/393.29 c #Conflicts: 89000 | #Constraints: 11253
391.80/393.29 c #Conflicts: 90000 | #Constraints: 12253
391.80/393.29 c INPROCESSING
391.80/393.29 c GARBAGE COLLECT
391.80/393.29 c #Conflicts: 91000 | #Constraints: 7264
391.80/393.29 c #Conflicts: 92000 | #Constraints: 8264
391.80/393.29 c #Conflicts: 93000 | #Constraints: 9264
391.80/393.29 c #Conflicts: 94000 | #Constraints: 10264
391.80/393.29 c #Conflicts: 95000 | #Constraints: 11264
391.80/393.29 c #Conflicts: 96000 | #Constraints: 12264
391.80/393.29 c INPROCESSING
391.80/393.29 c GARBAGE COLLECT
391.80/393.29 c #Conflicts: 97000 | #Constraints: 7067
391.80/393.29 c #Conflicts: 98000 | #Constraints: 8067
391.80/393.29 c #Conflicts: 99000 | #Constraints: 9067
391.80/393.29 c #Conflicts: 100000 | #Constraints: 10067
391.80/393.29 c #Conflicts: 101000 | #Constraints: 11067
391.80/393.29 c #Conflicts: 102000 | #Constraints: 12067
391.80/393.29 c #Conflicts: 103000 | #Constraints: 13067
391.80/393.29 c INPROCESSING
391.80/393.29 c GARBAGE COLLECT
391.80/393.29 c #Conflicts: 104000 | #Constraints: 7656
391.80/393.29 c #Conflicts: 105000 | #Constraints: 8656
391.80/393.29 c #Conflicts: 106000 | #Constraints: 9656
391.80/393.29 c #Conflicts: 107000 | #Constraints: 10656
391.80/393.29 c #Conflicts: 108000 | #Constraints: 11656
391.80/393.29 c #Conflicts: 109000 | #Constraints: 12656
391.80/393.29 c #Conflicts: 110000 | #Constraints: 13656
391.80/393.29 c INPROCESSING
391.80/393.29 c GARBAGE COLLECT
391.80/393.29 c #Conflicts: 111000 | #Constraints: 8066
391.80/393.29 c #Conflicts: 112000 | #Constraints: 9066
391.80/393.29 c #Conflicts: 113000 | #Constraints: 10066
391.80/393.29 c #Conflicts: 114000 | #Constraints: 11066
391.80/393.29 c #Conflicts: 115000 | #Constraints: 12066
391.80/393.29 c #Conflicts: 116000 | #Constraints: 13066
391.80/393.29 c #Conflicts: 117000 | #Constraints: 14066
391.80/393.29 c INPROCESSING
391.80/393.29 c GARBAGE COLLECT
391.80/393.29 c #Conflicts: 118000 | #Constraints: 8260
391.80/393.29 c #Conflicts: 119000 | #Constraints: 9260
391.80/393.29 c #Conflicts: 120000 | #Constraints: 10260
391.80/393.29 c #Conflicts: 121000 | #Constraints: 11260
391.80/393.29 c #Conflicts: 122000 | #Constraints: 12260
391.80/393.29 c #Conflicts: 123000 | #Constraints: 13260
391.80/393.29 c #Conflicts: 124000 | #Constraints: 14260
391.80/393.29 c INPROCESSING
391.80/393.29 c GARBAGE COLLECT
391.80/393.29 c #Conflicts: 125000 | #Constraints: 8257
391.80/393.29 c #Conflicts: 126000 | #Constraints: 9257
391.80/393.29 c #Conflicts: 127000 | #Constraints: 10257
391.80/393.29 c #Conflicts: 128000 | #Constraints: 11257
391.80/393.29 c #Conflicts: 129000 | #Constraints: 12257
391.80/393.29 c #Conflicts: 130000 | #Constraints: 13257
391.80/393.29 c #Conflicts: 131000 | #Constraints: 14257
391.80/393.29 c INPROCESSING
391.80/393.29 c GARBAGE COLLECT
391.80/393.29 c #Conflicts: 132000 | #Constraints: 8053
391.80/393.29 c #Conflicts: 133000 | #Constraints: 9053
391.80/393.29 c #Conflicts: 134000 | #Constraints: 10053
391.80/393.29 c #Conflicts: 135000 | #Constraints: 11053
391.80/393.29 c #Conflicts: 136000 | #Constraints: 12053
391.80/393.29 c #Conflicts: 137000 | #Constraints: 13053
391.80/393.29 c #Conflicts: 138000 | #Constraints: 14053
391.80/393.29 c #Conflicts: 139000 | #Constraints: 15053
391.80/393.29 c INPROCESSING
391.80/393.29 c GARBAGE COLLECT
391.80/393.29 c #Conflicts: 140000 | #Constraints: 8654
466.68/468.33 c #Conflicts: 141000 | #Constraints: 9654
466.68/468.33 c #Conflicts: 142000 | #Constraints: 10654
466.68/468.33 c #Conflicts: 143000 | #Constraints: 11654
466.68/468.33 c #Conflicts: 144000 | #Constraints: 12654
466.68/468.33 c #Conflicts: 145000 | #Constraints: 13654
466.68/468.33 c #Conflicts: 146000 | #Constraints: 14654
466.68/468.33 c #Conflicts: 147000 | #Constraints: 15654
466.68/468.33 c INPROCESSING
466.68/468.33 c GARBAGE COLLECT
466.68/468.33 c #Conflicts: 148000 | #Constraints: 9077
466.68/468.33 c #Conflicts: 149000 | #Constraints: 10077
466.68/468.33 c #Conflicts: 150000 | #Constraints: 11077
466.68/468.33 c #Conflicts: 151000 | #Constraints: 12077
466.68/468.33 c #Conflicts: 152000 | #Constraints: 13077
466.68/468.33 c #Conflicts: 153000 | #Constraints: 14077
466.68/468.33 c #Conflicts: 154000 | #Constraints: 15077
466.68/468.33 c #Conflicts: 155000 | #Constraints: 16077
466.68/468.33 c INPROCESSING
466.68/468.33 c GARBAGE COLLECT
466.68/468.33 c #Conflicts: 156000 | #Constraints: 9270
466.68/468.33 c #Conflicts: 157000 | #Constraints: 10270
466.68/468.33 c #Conflicts: 158000 | #Constraints: 11270
466.68/468.33 c #Conflicts: 159000 | #Constraints: 12270
466.68/468.33 c #Conflicts: 160000 | #Constraints: 13270
466.68/468.33 c #Conflicts: 161000 | #Constraints: 14270
466.68/468.33 c #Conflicts: 162000 | #Constraints: 15270
466.68/468.33 c #Conflicts: 163000 | #Constraints: 16270
466.68/468.33 c INPROCESSING
466.68/468.33 c GARBAGE COLLECT
466.68/468.33 c #Conflicts: 164000 | #Constraints: 9267
466.68/468.33 c #Conflicts: 165000 | #Constraints: 10267
466.68/468.33 c #Conflicts: 166000 | #Constraints: 11267
466.68/468.33 c #Conflicts: 167000 | #Constraints: 12267
466.68/468.33 c #Conflicts: 168000 | #Constraints: 13267
466.68/468.33 c #Conflicts: 169000 | #Constraints: 14267
466.68/468.33 c #Conflicts: 170000 | #Constraints: 15267
466.68/468.33 c #Conflicts: 171000 | #Constraints: 16267
466.68/468.33 c INPROCESSING
466.68/468.33 c GARBAGE COLLECT
466.68/468.33 c #Conflicts: 172000 | #Constraints: 9059
466.68/468.33 c #Conflicts: 173000 | #Constraints: 10059
466.68/468.33 c #Conflicts: 174000 | #Constraints: 11059
466.68/468.33 c #Conflicts: 175000 | #Constraints: 12059
466.68/468.33 c #Conflicts: 176000 | #Constraints: 13059
466.68/468.33 c #Conflicts: 177000 | #Constraints: 14059
466.68/468.33 c #Conflicts: 178000 | #Constraints: 15059
466.68/468.33 c #Conflicts: 179000 | #Constraints: 16059
466.68/468.33 c #Conflicts: 180000 | #Constraints: 17059
466.68/468.33 c INPROCESSING
466.68/468.33 c GARBAGE COLLECT
466.68/468.33 c #Conflicts: 181000 | #Constraints: 9656
466.68/468.33 c #Conflicts: 182000 | #Constraints: 10656
466.68/468.33 c #Conflicts: 183000 | #Constraints: 11656
466.68/468.33 c #Conflicts: 184000 | #Constraints: 12656
466.68/468.33 c #Conflicts: 185000 | #Constraints: 13656
466.68/468.33 c #Conflicts: 186000 | #Constraints: 14656
466.68/468.33 c #Conflicts: 187000 | #Constraints: 15656
466.68/468.33 c #Conflicts: 188000 | #Constraints: 16656
466.68/468.33 c #Conflicts: 189000 | #Constraints: 17656
466.68/468.33 c INPROCESSING
466.68/468.33 c GARBAGE COLLECT
466.68/468.33 c #Conflicts: 190000 | #Constraints: 10062
466.68/468.33 c #Conflicts: 191000 | #Constraints: 11062
466.68/468.33 c #Conflicts: 192000 | #Constraints: 12062
466.68/468.33 c #Conflicts: 193000 | #Constraints: 13062
466.68/468.33 c #Conflicts: 194000 | #Constraints: 14062
466.68/468.33 c #Conflicts: 195000 | #Constraints: 15062
466.68/468.33 c #Conflicts: 196000 | #Constraints: 16062
466.68/468.33 c #Conflicts: 197000 | #Constraints: 17062
466.68/468.33 c #Conflicts: 198000 | #Constraints: 18062
466.68/468.33 c INPROCESSING
466.68/468.33 c GARBAGE COLLECT
466.68/468.33 c #Conflicts: 199000 | #Constraints: 10269
466.68/468.33 c #Conflicts: 200000 | #Constraints: 11269
466.68/468.33 c #Conflicts: 201000 | #Constraints: 12269
466.68/468.33 c #Conflicts: 202000 | #Constraints: 13269
466.68/468.33 c #Conflicts: 203000 | #Constraints: 14269
466.68/468.33 c #Conflicts: 204000 | #Constraints: 15269
466.68/468.33 c #Conflicts: 205000 | #Constraints: 16269
466.68/468.33 c #Conflicts: 206000 | #Constraints: 17269
466.68/468.33 c #Conflicts: 207000 | #Constraints: 18269
466.68/468.33 c INPROCESSING
466.68/468.33 c GARBAGE COLLECT
466.68/468.33 c #Conflicts: 208000 | #Constraints: 10270
466.68/468.33 c #Conflicts: 209000 | #Constraints: 11270
466.68/468.33 c #Conflicts: 210000 | #Constraints: 12270
466.68/468.33 c #Conflicts: 211000 | #Constraints: 13270
466.68/468.33 c #Conflicts: 212000 | #Constraints: 14270
466.68/468.33 c #Conflicts: 213000 | #Constraints: 15270
537.04/538.95 c #Conflicts: 214000 | #Constraints: 16270
537.04/538.95 c #Conflicts: 215000 | #Constraints: 17270
537.04/538.95 c #Conflicts: 216000 | #Constraints: 18270
537.04/538.95 c INPROCESSING
537.04/538.95 c GARBAGE COLLECT
537.04/538.95 c #Conflicts: 217000 | #Constraints: 10084
537.04/538.95 c #Conflicts: 218000 | #Constraints: 11084
537.04/538.95 c #Conflicts: 219000 | #Constraints: 12084
537.04/538.95 c #Conflicts: 220000 | #Constraints: 13084
537.04/538.95 c #Conflicts: 221000 | #Constraints: 14084
537.04/538.95 c #Conflicts: 222000 | #Constraints: 15084
537.04/538.95 c #Conflicts: 223000 | #Constraints: 16084
537.04/538.95 c #Conflicts: 224000 | #Constraints: 17084
537.04/538.95 c #Conflicts: 225000 | #Constraints: 18084
537.04/538.95 c #Conflicts: 226000 | #Constraints: 19084
537.04/538.95 c INPROCESSING
537.04/538.95 c GARBAGE COLLECT
537.04/538.95 c #Conflicts: 227000 | #Constraints: 10681
537.04/538.95 c #Conflicts: 228000 | #Constraints: 11681
537.04/538.95 c #Conflicts: 229000 | #Constraints: 12681
537.04/538.95 c #Conflicts: 230000 | #Constraints: 13681
537.04/538.95 c #Conflicts: 231000 | #Constraints: 14681
537.04/538.95 c #Conflicts: 232000 | #Constraints: 15681
537.04/538.95 c #Conflicts: 233000 | #Constraints: 16681
537.04/538.95 c #Conflicts: 234000 | #Constraints: 17681
537.04/538.95 c #Conflicts: 235000 | #Constraints: 18681
537.04/538.95 c #Conflicts: 236000 | #Constraints: 19681
537.04/538.95 c INPROCESSING
537.04/538.95 c GARBAGE COLLECT
537.04/538.95 c #Conflicts: 237000 | #Constraints: 11072
537.04/538.95 c #Conflicts: 238000 | #Constraints: 12072
537.04/538.95 c #Conflicts: 239000 | #Constraints: 13072
537.04/538.95 c #Conflicts: 240000 | #Constraints: 14072
537.04/538.95 c #Conflicts: 241000 | #Constraints: 15072
537.04/538.95 c #Conflicts: 242000 | #Constraints: 16072
537.04/538.95 c #Conflicts: 243000 | #Constraints: 17072
537.04/538.95 c #Conflicts: 244000 | #Constraints: 18072
537.04/538.95 c #Conflicts: 245000 | #Constraints: 19072
537.04/538.95 c #Conflicts: 246000 | #Constraints: 20072
537.04/538.95 c INPROCESSING
537.04/538.95 c GARBAGE COLLECT
537.04/538.95 c #Conflicts: 247000 | #Constraints: 11262
537.04/538.95 c #Conflicts: 248000 | #Constraints: 12262
537.04/538.95 c #Conflicts: 249000 | #Constraints: 13262
537.04/538.95 c #Conflicts: 250000 | #Constraints: 14262
537.04/538.95 c #Conflicts: 251000 | #Constraints: 15262
537.04/538.95 c #Conflicts: 252000 | #Constraints: 16262
537.04/538.95 c #Conflicts: 253000 | #Constraints: 17262
537.04/538.95 c #Conflicts: 254000 | #Constraints: 18262
537.04/538.95 c #Conflicts: 255000 | #Constraints: 19262
537.04/538.95 c #Conflicts: 256000 | #Constraints: 20262
537.04/538.95 c INPROCESSING
537.04/538.95 c GARBAGE COLLECT
537.04/538.95 c #Conflicts: 257000 | #Constraints: 11256
537.04/538.95 c #Conflicts: 258000 | #Constraints: 12256
537.04/538.95 c #Conflicts: 259000 | #Constraints: 13256
537.04/538.95 c #Conflicts: 260000 | #Constraints: 14256
537.04/538.95 c #Conflicts: 261000 | #Constraints: 15256
537.04/538.95 c #Conflicts: 262000 | #Constraints: 16256
537.04/538.95 c #Conflicts: 263000 | #Constraints: 17256
537.04/538.95 c #Conflicts: 264000 | #Constraints: 18256
537.04/538.95 c #Conflicts: 265000 | #Constraints: 19256
537.04/538.95 c #Conflicts: 266000 | #Constraints: 20256
537.04/538.95 c INPROCESSING
537.04/538.95 c GARBAGE COLLECT
537.04/538.95 c #Conflicts: 267000 | #Constraints: 11062
537.04/538.95 c #Conflicts: 268000 | #Constraints: 12062
537.04/538.95 c #Conflicts: 269000 | #Constraints: 13062
537.04/538.95 c #Conflicts: 270000 | #Constraints: 14062
537.04/538.95 c #Conflicts: 271000 | #Constraints: 15062
537.04/538.95 c #Conflicts: 272000 | #Constraints: 16062
537.04/538.95 c #Conflicts: 273000 | #Constraints: 17062
537.04/538.95 c #Conflicts: 274000 | #Constraints: 18062
537.04/538.95 c #Conflicts: 275000 | #Constraints: 19062
537.04/538.95 c #Conflicts: 276000 | #Constraints: 20062
537.04/538.95 c #Conflicts: 277000 | #Constraints: 21062
537.04/538.95 c INPROCESSING
537.04/538.95 c GARBAGE COLLECT
537.04/538.95 c #Conflicts: 278000 | #Constraints: 11664
537.04/538.95 c #Conflicts: 279000 | #Constraints: 12664
537.04/538.95 c #Conflicts: 280000 | #Constraints: 13664
537.04/538.95 c #Conflicts: 281000 | #Constraints: 14664
537.04/538.95 c #Conflicts: 282000 | #Constraints: 15664
537.04/538.95 c #Conflicts: 283000 | #Constraints: 16664
537.04/538.95 c #Conflicts: 284000 | #Constraints: 17664
537.04/538.95 c #Conflicts: 285000 | #Constraints: 18664
537.04/538.95 c #Conflicts: 286000 | #Constraints: 19664
537.04/538.95 c #Conflicts: 287000 | #Constraints: 20664
537.04/538.95 c #Conflicts: 288000 | #Constraints: 21664
630.03/632.24 c INPROCESSING
630.03/632.24 c GARBAGE COLLECT
630.03/632.24 c #Conflicts: 289000 | #Constraints: 12051
630.03/632.24 c #Conflicts: 290000 | #Constraints: 13051
630.03/632.24 c #Conflicts: 291000 | #Constraints: 14051
630.03/632.24 c #Conflicts: 292000 | #Constraints: 15051
630.03/632.24 c #Conflicts: 293000 | #Constraints: 16051
630.03/632.24 c #Conflicts: 294000 | #Constraints: 17051
630.03/632.24 c #Conflicts: 295000 | #Constraints: 18051
630.03/632.24 c #Conflicts: 296000 | #Constraints: 19051
630.03/632.24 c #Conflicts: 297000 | #Constraints: 20051
630.03/632.24 c #Conflicts: 298000 | #Constraints: 21051
630.03/632.24 c #Conflicts: 299000 | #Constraints: 22051
630.03/632.24 c INPROCESSING
630.03/632.24 c GARBAGE COLLECT
630.03/632.24 c #Conflicts: 300000 | #Constraints: 12256
630.03/632.24 c #Conflicts: 301000 | #Constraints: 13256
630.03/632.24 c #Conflicts: 302000 | #Constraints: 14256
630.03/632.24 c #Conflicts: 303000 | #Constraints: 15256
630.03/632.24 c #Conflicts: 304000 | #Constraints: 16256
630.03/632.24 c #Conflicts: 305000 | #Constraints: 17256
630.03/632.24 c #Conflicts: 306000 | #Constraints: 18256
630.03/632.24 c #Conflicts: 307000 | #Constraints: 19256
630.03/632.24 c #Conflicts: 308000 | #Constraints: 20256
630.03/632.24 c #Conflicts: 309000 | #Constraints: 21256
630.03/632.24 c #Conflicts: 310000 | #Constraints: 22256
630.03/632.24 c INPROCESSING
630.03/632.24 c GARBAGE COLLECT
630.03/632.24 c #Conflicts: 311000 | #Constraints: 12260
630.03/632.24 c #Conflicts: 312000 | #Constraints: 13260
630.03/632.24 c #Conflicts: 313000 | #Constraints: 14260
630.03/632.24 c #Conflicts: 314000 | #Constraints: 15260
630.03/632.24 c #Conflicts: 315000 | #Constraints: 16260
630.03/632.24 c #Conflicts: 316000 | #Constraints: 17260
630.03/632.24 c #Conflicts: 317000 | #Constraints: 18260
630.03/632.24 c #Conflicts: 318000 | #Constraints: 19260
630.03/632.24 c #Conflicts: 319000 | #Constraints: 20260
630.03/632.24 c #Conflicts: 320000 | #Constraints: 21260
630.03/632.24 c #Conflicts: 321000 | #Constraints: 22260
630.03/632.24 c INPROCESSING
630.03/632.24 c GARBAGE COLLECT
630.03/632.24 c #Conflicts: 322000 | #Constraints: 12064
630.03/632.24 c #Conflicts: 323000 | #Constraints: 13064
630.03/632.24 c #Conflicts: 324000 | #Constraints: 14064
630.03/632.24 c #Conflicts: 325000 | #Constraints: 15064
630.03/632.24 c #Conflicts: 326000 | #Constraints: 16064
630.03/632.24 c #Conflicts: 327000 | #Constraints: 17064
630.03/632.24 c #Conflicts: 328000 | #Constraints: 18064
630.03/632.24 c #Conflicts: 329000 | #Constraints: 19064
630.03/632.24 c #Conflicts: 330000 | #Constraints: 20064
630.03/632.24 c #Conflicts: 331000 | #Constraints: 21064
630.03/632.24 c #Conflicts: 332000 | #Constraints: 22064
630.03/632.24 c #Conflicts: 333000 | #Constraints: 23064
630.03/632.24 c INPROCESSING
630.03/632.24 c GARBAGE COLLECT
630.03/632.24 c #Conflicts: 334000 | #Constraints: 12660
630.03/632.24 c #Conflicts: 335000 | #Constraints: 13660
630.03/632.24 c #Conflicts: 336000 | #Constraints: 14660
630.03/632.24 c #Conflicts: 337000 | #Constraints: 15660
630.03/632.24 c #Conflicts: 338000 | #Constraints: 16660
630.03/632.24 c #Conflicts: 339000 | #Constraints: 17660
630.03/632.24 c #Conflicts: 340000 | #Constraints: 18660
630.03/632.24 c #Conflicts: 341000 | #Constraints: 19660
630.03/632.24 c #Conflicts: 342000 | #Constraints: 20660
630.03/632.24 c #Conflicts: 343000 | #Constraints: 21660
630.03/632.24 c #Conflicts: 344000 | #Constraints: 22660
630.03/632.24 c #Conflicts: 345000 | #Constraints: 23660
630.03/632.24 c INPROCESSING
630.03/632.24 c GARBAGE COLLECT
630.03/632.24 c #Conflicts: 346000 | #Constraints: 13055
630.03/632.24 c #Conflicts: 347000 | #Constraints: 14055
630.03/632.24 c #Conflicts: 348000 | #Constraints: 15055
630.03/632.24 c #Conflicts: 349000 | #Constraints: 16055
630.03/632.24 c #Conflicts: 350000 | #Constraints: 17055
630.03/632.24 c #Conflicts: 351000 | #Constraints: 18055
630.03/632.24 c #Conflicts: 352000 | #Constraints: 19055
630.03/632.24 c #Conflicts: 353000 | #Constraints: 20055
630.03/632.24 c #Conflicts: 354000 | #Constraints: 21055
630.03/632.24 c #Conflicts: 355000 | #Constraints: 22055
630.03/632.24 c #Conflicts: 356000 | #Constraints: 23055
630.03/632.24 c #Conflicts: 357000 | #Constraints: 24055
630.03/632.24 c INPROCESSING
630.03/632.24 c GARBAGE COLLECT
630.03/632.24 c #Conflicts: 358000 | #Constraints: 13252
630.03/632.24 c #Conflicts: 359000 | #Constraints: 14252
630.03/632.24 c #Conflicts: 360000 | #Constraints: 15252
630.03/632.24 c #Conflicts: 361000 | #Constraints: 16252
630.03/632.24 c #Conflicts: 362000 | #Constraints: 17252
735.89/738.45 c #Conflicts: 363000 | #Constraints: 18252
735.89/738.45 c #Conflicts: 364000 | #Constraints: 19252
735.89/738.45 c #Conflicts: 365000 | #Constraints: 20252
735.89/738.45 c #Conflicts: 366000 | #Constraints: 21252
735.89/738.45 c #Conflicts: 367000 | #Constraints: 22252
735.89/738.45 c #Conflicts: 368000 | #Constraints: 23252
735.89/738.45 c #Conflicts: 369000 | #Constraints: 24252
735.89/738.45 c INPROCESSING
735.89/738.45 c GARBAGE COLLECT
735.89/738.45 c #Conflicts: 370000 | #Constraints: 13260
735.89/738.45 c #Conflicts: 371000 | #Constraints: 14260
735.89/738.45 c #Conflicts: 372000 | #Constraints: 15260
735.89/738.45 c #Conflicts: 373000 | #Constraints: 16260
735.89/738.45 c #Conflicts: 374000 | #Constraints: 17260
735.89/738.45 c #Conflicts: 375000 | #Constraints: 18260
735.89/738.45 c #Conflicts: 376000 | #Constraints: 19260
735.89/738.45 c #Conflicts: 377000 | #Constraints: 20260
735.89/738.45 c #Conflicts: 378000 | #Constraints: 21260
735.89/738.45 c #Conflicts: 379000 | #Constraints: 22260
735.89/738.45 c #Conflicts: 380000 | #Constraints: 23260
735.89/738.45 c #Conflicts: 381000 | #Constraints: 24260
735.89/738.45 c INPROCESSING
735.89/738.45 c GARBAGE COLLECT
735.89/738.45 c #Conflicts: 382000 | #Constraints: 13052
735.89/738.45 c #Conflicts: 383000 | #Constraints: 14052
735.89/738.45 c #Conflicts: 384000 | #Constraints: 15052
735.89/738.45 c #Conflicts: 385000 | #Constraints: 16052
735.89/738.45 c #Conflicts: 386000 | #Constraints: 17052
735.89/738.45 c #Conflicts: 387000 | #Constraints: 18052
735.89/738.45 c #Conflicts: 388000 | #Constraints: 19052
735.89/738.45 c #Conflicts: 389000 | #Constraints: 20052
735.89/738.45 c #Conflicts: 390000 | #Constraints: 21052
735.89/738.45 c #Conflicts: 391000 | #Constraints: 22052
735.89/738.45 c #Conflicts: 392000 | #Constraints: 23052
735.89/738.45 c #Conflicts: 393000 | #Constraints: 24052
735.89/738.45 c #Conflicts: 394000 | #Constraints: 25052
735.89/738.45 c INPROCESSING
735.89/738.45 c GARBAGE COLLECT
735.89/738.45 c #Conflicts: 395000 | #Constraints: 13653
735.89/738.45 c #Conflicts: 396000 | #Constraints: 14653
735.89/738.45 c #Conflicts: 397000 | #Constraints: 15653
735.89/738.45 c #Conflicts: 398000 | #Constraints: 16653
735.89/738.45 c #Conflicts: 399000 | #Constraints: 17653
735.89/738.45 c #Conflicts: 400000 | #Constraints: 18653
735.89/738.45 c #Conflicts: 401000 | #Constraints: 19653
735.89/738.45 c #Conflicts: 402000 | #Constraints: 20653
735.89/738.45 c #Conflicts: 403000 | #Constraints: 21653
735.89/738.45 c #Conflicts: 404000 | #Constraints: 22653
735.89/738.45 c #Conflicts: 405000 | #Constraints: 23653
735.89/738.45 c #Conflicts: 406000 | #Constraints: 24653
735.89/738.45 c #Conflicts: 407000 | #Constraints: 25653
735.89/738.45 c INPROCESSING
735.89/738.45 c GARBAGE COLLECT
735.89/738.45 c #Conflicts: 408000 | #Constraints: 14054
735.89/738.45 c #Conflicts: 409000 | #Constraints: 15054
735.89/738.45 c #Conflicts: 410000 | #Constraints: 16054
735.89/738.45 c #Conflicts: 411000 | #Constraints: 17054
735.89/738.45 c #Conflicts: 412000 | #Constraints: 18054
735.89/738.45 c #Conflicts: 413000 | #Constraints: 19054
735.89/738.45 c #Conflicts: 414000 | #Constraints: 20054
735.89/738.45 c #Conflicts: 415000 | #Constraints: 21054
735.89/738.45 c #Conflicts: 416000 | #Constraints: 22054
735.89/738.45 c #Conflicts: 417000 | #Constraints: 23054
735.89/738.45 c #Conflicts: 418000 | #Constraints: 24054
735.89/738.45 c #Conflicts: 419000 | #Constraints: 25054
735.89/738.45 c #Conflicts: 420000 | #Constraints: 26054
735.89/738.45 c INPROCESSING
735.89/738.45 c GARBAGE COLLECT
735.89/738.45 c #Conflicts: 421000 | #Constraints: 14275
735.89/738.45 c #Conflicts: 422000 | #Constraints: 15275
735.89/738.45 c #Conflicts: 423000 | #Constraints: 16275
735.89/738.45 c #Conflicts: 424000 | #Constraints: 17275
735.89/738.45 c #Conflicts: 425000 | #Constraints: 18275
735.89/738.45 c #Conflicts: 426000 | #Constraints: 19275
735.89/738.45 c #Conflicts: 427000 | #Constraints: 20275
735.89/738.45 c #Conflicts: 428000 | #Constraints: 21275
735.89/738.45 c #Conflicts: 429000 | #Constraints: 22275
735.89/738.45 c #Conflicts: 430000 | #Constraints: 23275
735.89/738.45 c #Conflicts: 431000 | #Constraints: 24275
735.89/738.45 c #Conflicts: 432000 | #Constraints: 25275
735.89/738.45 c #Conflicts: 433000 | #Constraints: 26275
735.89/738.45 c INPROCESSING
735.89/738.45 c GARBAGE COLLECT
735.89/738.45 c #Conflicts: 434000 | #Constraints: 14273
735.89/738.45 c #Conflicts: 435000 | #Constraints: 15273
735.89/738.45 c #Conflicts: 436000 | #Constraints: 16273
735.89/738.45 c #Conflicts: 437000 | #Constraints: 17273
881.14/884.14 c #Conflicts: 438000 | #Constraints: 18273
881.14/884.14 c #Conflicts: 439000 | #Constraints: 19273
881.14/884.14 c #Conflicts: 440000 | #Constraints: 20273
881.14/884.14 c #Conflicts: 441000 | #Constraints: 21273
881.14/884.14 c #Conflicts: 442000 | #Constraints: 22273
881.14/884.14 c #Conflicts: 443000 | #Constraints: 23273
881.14/884.14 c #Conflicts: 444000 | #Constraints: 24273
881.14/884.14 c #Conflicts: 445000 | #Constraints: 25273
881.14/884.14 c #Conflicts: 446000 | #Constraints: 26273
881.14/884.14 c INPROCESSING
881.14/884.14 c GARBAGE COLLECT
881.14/884.14 c #Conflicts: 447000 | #Constraints: 14068
881.14/884.14 c #Conflicts: 448000 | #Constraints: 15068
881.14/884.14 c #Conflicts: 449000 | #Constraints: 16068
881.14/884.14 c #Conflicts: 450000 | #Constraints: 17068
881.14/884.14 c #Conflicts: 451000 | #Constraints: 18068
881.14/884.14 c #Conflicts: 452000 | #Constraints: 19068
881.14/884.14 c #Conflicts: 453000 | #Constraints: 20068
881.14/884.14 c #Conflicts: 454000 | #Constraints: 21068
881.14/884.14 c #Conflicts: 455000 | #Constraints: 22068
881.14/884.14 c #Conflicts: 456000 | #Constraints: 23068
881.14/884.14 c #Conflicts: 457000 | #Constraints: 24068
881.14/884.14 c #Conflicts: 458000 | #Constraints: 25068
881.14/884.14 c #Conflicts: 459000 | #Constraints: 26068
881.14/884.14 c #Conflicts: 460000 | #Constraints: 27068
881.14/884.14 c INPROCESSING
881.14/884.14 c GARBAGE COLLECT
881.14/884.14 c #Conflicts: 461000 | #Constraints: 14668
881.14/884.14 c #Conflicts: 462000 | #Constraints: 15668
881.14/884.14 c #Conflicts: 463000 | #Constraints: 16668
881.14/884.14 c #Conflicts: 464000 | #Constraints: 17668
881.14/884.14 c #Conflicts: 465000 | #Constraints: 18668
881.14/884.14 c #Conflicts: 466000 | #Constraints: 19668
881.14/884.14 c #Conflicts: 467000 | #Constraints: 20668
881.14/884.14 c #Conflicts: 468000 | #Constraints: 21668
881.14/884.14 c #Conflicts: 469000 | #Constraints: 22668
881.14/884.14 c #Conflicts: 470000 | #Constraints: 23668
881.14/884.14 c #Conflicts: 471000 | #Constraints: 24668
881.14/884.14 c #Conflicts: 472000 | #Constraints: 25668
881.14/884.14 c #Conflicts: 473000 | #Constraints: 26668
881.14/884.14 c #Conflicts: 474000 | #Constraints: 27668
881.14/884.14 c INPROCESSING
881.14/884.14 c GARBAGE COLLECT
881.14/884.14 c #Conflicts: 475000 | #Constraints: 15071
881.14/884.14 c #Conflicts: 476000 | #Constraints: 16071
881.14/884.14 c #Conflicts: 477000 | #Constraints: 17071
881.14/884.14 c #Conflicts: 478000 | #Constraints: 18071
881.14/884.14 c #Conflicts: 479000 | #Constraints: 19071
881.14/884.14 c #Conflicts: 480000 | #Constraints: 20071
881.14/884.14 c #Conflicts: 481000 | #Constraints: 21071
881.14/884.14 c #Conflicts: 482000 | #Constraints: 22071
881.14/884.14 c #Conflicts: 483000 | #Constraints: 23071
881.14/884.14 c #Conflicts: 484000 | #Constraints: 24071
881.14/884.14 c #Conflicts: 485000 | #Constraints: 25071
881.14/884.14 c #Conflicts: 486000 | #Constraints: 26071
881.14/884.14 c #Conflicts: 487000 | #Constraints: 27071
881.14/884.14 c #Conflicts: 488000 | #Constraints: 28071
881.14/884.14 c INPROCESSING
881.14/884.14 c GARBAGE COLLECT
881.14/884.14 c #Conflicts: 489000 | #Constraints: 15279
881.14/884.14 c #Conflicts: 490000 | #Constraints: 16279
881.14/884.14 c #Conflicts: 491000 | #Constraints: 17279
881.14/884.14 c #Conflicts: 492000 | #Constraints: 18279
881.14/884.14 c #Conflicts: 493000 | #Constraints: 19279
881.14/884.14 c #Conflicts: 494000 | #Constraints: 20279
881.14/884.14 c #Conflicts: 495000 | #Constraints: 21279
881.14/884.14 c #Conflicts: 496000 | #Constraints: 22279
881.14/884.14 c #Conflicts: 497000 | #Constraints: 23279
881.14/884.14 c #Conflicts: 498000 | #Constraints: 24279
881.14/884.14 c #Conflicts: 499000 | #Constraints: 25279
881.14/884.14 c #Conflicts: 500000 | #Constraints: 26279
881.14/884.14 c #Conflicts: 501000 | #Constraints: 27279
881.14/884.14 c #Conflicts: 502000 | #Constraints: 28279
881.14/884.14 c INPROCESSING
881.14/884.14 c GARBAGE COLLECT
881.14/884.14 c #Conflicts: 503000 | #Constraints: 15284
881.14/884.14 c #Conflicts: 504000 | #Constraints: 16284
881.14/884.14 c #Conflicts: 505000 | #Constraints: 17284
881.14/884.14 c #Conflicts: 506000 | #Constraints: 18284
881.14/884.14 c #Conflicts: 507000 | #Constraints: 19284
881.14/884.14 c #Conflicts: 508000 | #Constraints: 20284
881.14/884.14 c #Conflicts: 509000 | #Constraints: 21284
881.14/884.14 c #Conflicts: 510000 | #Constraints: 22284
881.14/884.14 c #Conflicts: 511000 | #Constraints: 23284
881.14/884.14 c #Conflicts: 512000 | #Constraints: 24284
881.14/884.14 c #Conflicts: 513000 | #Constraints: 25284
988.60/991.90 c #Conflicts: 514000 | #Constraints: 26284
988.60/991.90 c #Conflicts: 515000 | #Constraints: 27284
988.60/991.90 c #Conflicts: 516000 | #Constraints: 28284
988.60/991.90 c INPROCESSING
988.60/991.90 c GARBAGE COLLECT
988.60/991.90 c #Conflicts: 517000 | #Constraints: 15069
988.60/991.90 c #Conflicts: 518000 | #Constraints: 16069
988.60/991.90 c #Conflicts: 519000 | #Constraints: 17069
988.60/991.90 c #Conflicts: 520000 | #Constraints: 18069
988.60/991.90 c #Conflicts: 521000 | #Constraints: 19069
988.60/991.90 c #Conflicts: 522000 | #Constraints: 20069
988.60/991.90 c #Conflicts: 523000 | #Constraints: 21069
988.60/991.90 c #Conflicts: 524000 | #Constraints: 22069
988.60/991.90 c #Conflicts: 525000 | #Constraints: 23069
988.60/991.90 c #Conflicts: 526000 | #Constraints: 24069
988.60/991.90 c #Conflicts: 527000 | #Constraints: 25069
988.60/991.90 c #Conflicts: 528000 | #Constraints: 26069
988.60/991.90 c #Conflicts: 529000 | #Constraints: 27069
988.60/991.90 c #Conflicts: 530000 | #Constraints: 28069
988.60/991.90 c #Conflicts: 531000 | #Constraints: 29069
988.60/991.90 c INPROCESSING
988.60/991.90 c GARBAGE COLLECT
988.60/991.90 c #Conflicts: 532000 | #Constraints: 15682
988.60/991.90 c #Conflicts: 533000 | #Constraints: 16682
988.60/991.90 c #Conflicts: 534000 | #Constraints: 17682
988.60/991.90 c #Conflicts: 535000 | #Constraints: 18682
988.60/991.90 c #Conflicts: 536000 | #Constraints: 19682
988.60/991.90 c #Conflicts: 537000 | #Constraints: 20682
988.60/991.90 c #Conflicts: 538000 | #Constraints: 21682
988.60/991.90 c #Conflicts: 539000 | #Constraints: 22682
988.60/991.90 c #Conflicts: 540000 | #Constraints: 23682
988.60/991.90 c #Conflicts: 541000 | #Constraints: 24682
988.60/991.90 c #Conflicts: 542000 | #Constraints: 25682
988.60/991.90 c #Conflicts: 543000 | #Constraints: 26682
988.60/991.90 c #Conflicts: 544000 | #Constraints: 27682
988.60/991.90 c #Conflicts: 545000 | #Constraints: 28682
988.60/991.90 c #Conflicts: 546000 | #Constraints: 29682
988.60/991.90 c INPROCESSING
988.60/991.90 c GARBAGE COLLECT
988.60/991.90 c #Conflicts: 547000 | #Constraints: 16071
988.60/991.90 c #Conflicts: 548000 | #Constraints: 17071
988.60/991.90 c #Conflicts: 549000 | #Constraints: 18071
988.60/991.90 c #Conflicts: 550000 | #Constraints: 19071
988.60/991.90 c #Conflicts: 551000 | #Constraints: 20071
988.60/991.90 c #Conflicts: 552000 | #Constraints: 21071
988.60/991.90 c #Conflicts: 553000 | #Constraints: 22071
988.60/991.90 c #Conflicts: 554000 | #Constraints: 23071
988.60/991.90 c #Conflicts: 555000 | #Constraints: 24071
988.60/991.90 c #Conflicts: 556000 | #Constraints: 25071
988.60/991.90 c #Conflicts: 557000 | #Constraints: 26071
988.60/991.90 c #Conflicts: 558000 | #Constraints: 27071
988.60/991.90 c #Conflicts: 559000 | #Constraints: 28071
988.60/991.90 c #Conflicts: 560000 | #Constraints: 29071
988.60/991.90 c #Conflicts: 561000 | #Constraints: 30071
988.60/991.90 c INPROCESSING
988.60/991.90 c GARBAGE COLLECT
988.60/991.90 c #Conflicts: 562000 | #Constraints: 16267
988.60/991.90 c #Conflicts: 563000 | #Constraints: 17267
988.60/991.90 c #Conflicts: 564000 | #Constraints: 18267
988.60/991.90 c #Conflicts: 565000 | #Constraints: 19267
988.60/991.90 c #Conflicts: 566000 | #Constraints: 20267
988.60/991.90 c #Conflicts: 567000 | #Constraints: 21267
988.60/991.90 c #Conflicts: 568000 | #Constraints: 22267
988.60/991.90 c #Conflicts: 569000 | #Constraints: 23267
988.60/991.90 c #Conflicts: 570000 | #Constraints: 24267
988.60/991.90 c #Conflicts: 571000 | #Constraints: 25267
988.60/991.90 c #Conflicts: 572000 | #Constraints: 26267
988.60/991.90 c #Conflicts: 573000 | #Constraints: 27267
988.60/991.90 c #Conflicts: 574000 | #Constraints: 28267
988.60/991.90 c #Conflicts: 575000 | #Constraints: 29267
988.60/991.90 c #Conflicts: 576000 | #Constraints: 30267
988.60/991.90 c INPROCESSING
988.60/991.90 c GARBAGE COLLECT
988.60/991.90 c #Conflicts: 577000 | #Constraints: 16262
988.60/991.90 c #Conflicts: 578000 | #Constraints: 17262
988.60/991.90 c #Conflicts: 579000 | #Constraints: 18262
988.60/991.90 c #Conflicts: 580000 | #Constraints: 19262
988.60/991.90 c #Conflicts: 581000 | #Constraints: 20262
988.60/991.90 c #Conflicts: 582000 | #Constraints: 21262
988.60/991.90 c #Conflicts: 583000 | #Constraints: 22262
988.60/991.90 c #Conflicts: 584000 | #Constraints: 23262
988.60/991.90 c #Conflicts: 585000 | #Constraints: 24262
988.60/991.90 c #Conflicts: 586000 | #Constraints: 25262
988.60/991.90 c #Conflicts: 587000 | #Constraints: 26262
988.60/991.90 c #Conflicts: 588000 | #Constraints: 27262
1114.60/1118.32 c #Conflicts: 589000 | #Constraints: 28262
1114.60/1118.32 c #Conflicts: 590000 | #Constraints: 29262
1114.60/1118.32 c #Conflicts: 591000 | #Constraints: 30262
1114.60/1118.32 c INPROCESSING
1114.60/1118.32 c GARBAGE COLLECT
1114.60/1118.32 c #Conflicts: 592000 | #Constraints: 16061
1114.60/1118.32 c #Conflicts: 593000 | #Constraints: 17061
1114.60/1118.32 c #Conflicts: 594000 | #Constraints: 18061
1114.60/1118.32 c #Conflicts: 595000 | #Constraints: 19061
1114.60/1118.32 c #Conflicts: 596000 | #Constraints: 20061
1114.60/1118.32 c #Conflicts: 597000 | #Constraints: 21061
1114.60/1118.32 c #Conflicts: 598000 | #Constraints: 22061
1114.60/1118.32 c #Conflicts: 599000 | #Constraints: 23061
1114.60/1118.32 c #Conflicts: 600000 | #Constraints: 24061
1114.60/1118.32 c #Conflicts: 601000 | #Constraints: 25061
1114.60/1118.32 c #Conflicts: 602000 | #Constraints: 26061
1114.60/1118.32 c #Conflicts: 603000 | #Constraints: 27061
1114.60/1118.32 c #Conflicts: 604000 | #Constraints: 28061
1114.60/1118.32 c #Conflicts: 605000 | #Constraints: 29061
1114.60/1118.32 c #Conflicts: 606000 | #Constraints: 30061
1114.60/1118.32 c #Conflicts: 607000 | #Constraints: 31061
1114.60/1118.32 c INPROCESSING
1114.60/1118.32 c GARBAGE COLLECT
1114.60/1118.32 c #Conflicts: 608000 | #Constraints: 16665
1114.60/1118.32 c #Conflicts: 609000 | #Constraints: 17665
1114.60/1118.32 c #Conflicts: 610000 | #Constraints: 18665
1114.60/1118.32 c #Conflicts: 611000 | #Constraints: 19665
1114.60/1118.32 c #Conflicts: 612000 | #Constraints: 20665
1114.60/1118.32 c #Conflicts: 613000 | #Constraints: 21665
1114.60/1118.32 c #Conflicts: 614000 | #Constraints: 22665
1114.60/1118.32 c #Conflicts: 615000 | #Constraints: 23665
1114.60/1118.32 c #Conflicts: 616000 | #Constraints: 24665
1114.60/1118.32 c #Conflicts: 617000 | #Constraints: 25665
1114.60/1118.32 c #Conflicts: 618000 | #Constraints: 26665
1114.60/1118.32 c #Conflicts: 619000 | #Constraints: 27665
1114.60/1118.32 c #Conflicts: 620000 | #Constraints: 28665
1114.60/1118.32 c #Conflicts: 621000 | #Constraints: 29665
1114.60/1118.32 c #Conflicts: 622000 | #Constraints: 30665
1114.60/1118.32 c #Conflicts: 623000 | #Constraints: 31665
1114.60/1118.32 c INPROCESSING
1114.60/1118.32 c GARBAGE COLLECT
1114.60/1118.32 c #Conflicts: 624000 | #Constraints: 17057
1114.60/1118.32 c #Conflicts: 625000 | #Constraints: 18057
1114.60/1118.32 c #Conflicts: 626000 | #Constraints: 19057
1114.60/1118.32 c #Conflicts: 627000 | #Constraints: 20057
1114.60/1118.32 c #Conflicts: 628000 | #Constraints: 21057
1114.60/1118.32 c #Conflicts: 629000 | #Constraints: 22057
1114.60/1118.32 c #Conflicts: 630000 | #Constraints: 23057
1114.60/1118.32 c #Conflicts: 631000 | #Constraints: 24057
1114.60/1118.32 c #Conflicts: 632000 | #Constraints: 25057
1114.60/1118.32 c #Conflicts: 633000 | #Constraints: 26057
1114.60/1118.32 c #Conflicts: 634000 | #Constraints: 27057
1114.60/1118.32 c #Conflicts: 635000 | #Constraints: 28057
1114.60/1118.32 c #Conflicts: 636000 | #Constraints: 29057
1114.60/1118.32 c #Conflicts: 637000 | #Constraints: 30057
1114.60/1118.32 c #Conflicts: 638000 | #Constraints: 31057
1114.60/1118.32 c #Conflicts: 639000 | #Constraints: 32057
1114.60/1118.32 c INPROCESSING
1114.60/1118.32 c GARBAGE COLLECT
1114.60/1118.32 c #Conflicts: 640000 | #Constraints: 17250
1114.60/1118.32 c #Conflicts: 641000 | #Constraints: 18250
1114.60/1118.32 c #Conflicts: 642000 | #Constraints: 19250
1114.60/1118.32 c #Conflicts: 643000 | #Constraints: 20250
1114.60/1118.32 c #Conflicts: 644000 | #Constraints: 21250
1114.60/1118.32 c #Conflicts: 645000 | #Constraints: 22250
1114.60/1118.32 c #Conflicts: 646000 | #Constraints: 23250
1114.60/1118.32 c #Conflicts: 647000 | #Constraints: 24250
1114.60/1118.32 c #Conflicts: 648000 | #Constraints: 25250
1114.60/1118.32 c #Conflicts: 649000 | #Constraints: 26250
1114.60/1118.32 c #Conflicts: 650000 | #Constraints: 27250
1114.60/1118.32 c #Conflicts: 651000 | #Constraints: 28250
1114.60/1118.32 c #Conflicts: 652000 | #Constraints: 29250
1114.60/1118.32 c #Conflicts: 653000 | #Constraints: 30250
1114.60/1118.32 c #Conflicts: 654000 | #Constraints: 31250
1114.60/1118.32 c #Conflicts: 655000 | #Constraints: 32250
1114.60/1118.32 c INPROCESSING
1114.60/1118.32 c GARBAGE COLLECT
1114.60/1118.32 c #Conflicts: 656000 | #Constraints: 17271
1114.60/1118.32 c #Conflicts: 657000 | #Constraints: 18271
1114.60/1118.32 c #Conflicts: 658000 | #Constraints: 19271
1114.60/1118.32 c #Conflicts: 659000 | #Constraints: 20271
1114.60/1118.32 c #Conflicts: 660000 | #Constraints: 21271
1114.60/1118.32 c #Conflicts: 661000 | #Constraints: 22271
1114.60/1118.32 c #Conflicts: 662000 | #Constraints: 23271
1114.60/1118.32 c #Conflicts: 663000 | #Constraints: 24271
1114.60/1118.32 c #Conflicts: 664000 | #Constraints: 25271
1312.79/1317.02 c #Conflicts: 665000 | #Constraints: 26271
1312.79/1317.02 c #Conflicts: 666000 | #Constraints: 27271
1312.79/1317.02 c #Conflicts: 667000 | #Constraints: 28271
1312.79/1317.02 c #Conflicts: 668000 | #Constraints: 29271
1312.79/1317.02 c #Conflicts: 669000 | #Constraints: 30271
1312.79/1317.02 c #Conflicts: 670000 | #Constraints: 31271
1312.79/1317.02 c #Conflicts: 671000 | #Constraints: 32271
1312.79/1317.02 c INPROCESSING
1312.79/1317.02 c GARBAGE COLLECT
1312.79/1317.02 c #Conflicts: 672000 | #Constraints: 17062
1312.79/1317.02 c #Conflicts: 673000 | #Constraints: 18062
1312.79/1317.02 c #Conflicts: 674000 | #Constraints: 19062
1312.79/1317.02 c #Conflicts: 675000 | #Constraints: 20062
1312.79/1317.02 c #Conflicts: 676000 | #Constraints: 21062
1312.79/1317.02 c #Conflicts: 677000 | #Constraints: 22062
1312.79/1317.02 c #Conflicts: 678000 | #Constraints: 23062
1312.79/1317.02 c #Conflicts: 679000 | #Constraints: 24062
1312.79/1317.02 c #Conflicts: 680000 | #Constraints: 25062
1312.79/1317.02 c #Conflicts: 681000 | #Constraints: 26062
1312.79/1317.02 c #Conflicts: 682000 | #Constraints: 27062
1312.79/1317.02 c #Conflicts: 683000 | #Constraints: 28062
1312.79/1317.02 c #Conflicts: 684000 | #Constraints: 29062
1312.79/1317.02 c #Conflicts: 685000 | #Constraints: 30062
1312.79/1317.02 c #Conflicts: 686000 | #Constraints: 31062
1312.79/1317.02 c #Conflicts: 687000 | #Constraints: 32062
1312.79/1317.02 c #Conflicts: 688000 | #Constraints: 33062
1312.79/1317.02 c INPROCESSING
1312.79/1317.02 c GARBAGE COLLECT
1312.79/1317.02 c #Conflicts: 689000 | #Constraints: 17658
1312.79/1317.02 c #Conflicts: 690000 | #Constraints: 18658
1312.79/1317.02 c #Conflicts: 691000 | #Constraints: 19658
1312.79/1317.02 c #Conflicts: 692000 | #Constraints: 20658
1312.79/1317.02 c #Conflicts: 693000 | #Constraints: 21658
1312.79/1317.02 c #Conflicts: 694000 | #Constraints: 22658
1312.79/1317.02 c #Conflicts: 695000 | #Constraints: 23658
1312.79/1317.02 c #Conflicts: 696000 | #Constraints: 24658
1312.79/1317.02 c #Conflicts: 697000 | #Constraints: 25658
1312.79/1317.02 c #Conflicts: 698000 | #Constraints: 26658
1312.79/1317.02 c #Conflicts: 699000 | #Constraints: 27658
1312.79/1317.02 c #Conflicts: 700000 | #Constraints: 28658
1312.79/1317.02 c #Conflicts: 701000 | #Constraints: 29658
1312.79/1317.02 c #Conflicts: 702000 | #Constraints: 30658
1312.79/1317.02 c #Conflicts: 703000 | #Constraints: 31658
1312.79/1317.02 c #Conflicts: 704000 | #Constraints: 32658
1312.79/1317.02 c #Conflicts: 705000 | #Constraints: 33658
1312.79/1317.02 c INPROCESSING
1312.79/1317.02 c GARBAGE COLLECT
1312.79/1317.02 c #Conflicts: 706000 | #Constraints: 18064
1312.79/1317.02 c #Conflicts: 707000 | #Constraints: 19064
1312.79/1317.02 c #Conflicts: 708000 | #Constraints: 20064
1312.79/1317.02 c #Conflicts: 709000 | #Constraints: 21064
1312.79/1317.02 c #Conflicts: 710000 | #Constraints: 22064
1312.79/1317.02 c #Conflicts: 711000 | #Constraints: 23064
1312.79/1317.02 c #Conflicts: 712000 | #Constraints: 24064
1312.79/1317.02 c #Conflicts: 713000 | #Constraints: 25064
1312.79/1317.02 c #Conflicts: 714000 | #Constraints: 26064
1312.79/1317.02 c #Conflicts: 715000 | #Constraints: 27064
1312.79/1317.02 c #Conflicts: 716000 | #Constraints: 28064
1312.79/1317.02 c #Conflicts: 717000 | #Constraints: 29064
1312.79/1317.02 c #Conflicts: 718000 | #Constraints: 30064
1312.79/1317.02 c #Conflicts: 719000 | #Constraints: 31064
1312.79/1317.02 c #Conflicts: 720000 | #Constraints: 32064
1312.79/1317.02 c #Conflicts: 721000 | #Constraints: 33064
1312.79/1317.02 c #Conflicts: 722000 | #Constraints: 34064
1312.79/1317.02 c INPROCESSING
1312.79/1317.02 c GARBAGE COLLECT
1312.79/1317.02 c #Conflicts: 723000 | #Constraints: 18282
1312.79/1317.02 c #Conflicts: 724000 | #Constraints: 19282
1312.79/1317.02 c #Conflicts: 725000 | #Constraints: 20282
1312.79/1317.02 c #Conflicts: 726000 | #Constraints: 21282
1312.79/1317.02 c #Conflicts: 727000 | #Constraints: 22282
1312.79/1317.02 c #Conflicts: 728000 | #Constraints: 23282
1312.79/1317.02 c #Conflicts: 729000 | #Constraints: 24282
1312.79/1317.02 c #Conflicts: 730000 | #Constraints: 25282
1312.79/1317.02 c #Conflicts: 731000 | #Constraints: 26282
1312.79/1317.02 c #Conflicts: 732000 | #Constraints: 27282
1312.79/1317.02 c #Conflicts: 733000 | #Constraints: 28282
1312.79/1317.02 c #Conflicts: 734000 | #Constraints: 29282
1312.79/1317.02 c #Conflicts: 735000 | #Constraints: 30282
1312.79/1317.02 c #Conflicts: 736000 | #Constraints: 31282
1312.79/1317.02 c #Conflicts: 737000 | #Constraints: 32282
1312.79/1317.02 c #Conflicts: 738000 | #Constraints: 33282
1312.79/1317.02 c #Conflicts: 739000 | #Constraints: 34282
1312.79/1317.02 c INPROCESSING
1312.79/1317.02 c GARBAGE COLLECT
1451.91/1456.51 c #Conflicts: 740000 | #Constraints: 18297
1451.91/1456.51 c #Conflicts: 741000 | #Constraints: 19297
1451.91/1456.51 c #Conflicts: 742000 | #Constraints: 20297
1451.91/1456.51 c #Conflicts: 743000 | #Constraints: 21297
1451.91/1456.51 c #Conflicts: 744000 | #Constraints: 22297
1451.91/1456.51 c #Conflicts: 745000 | #Constraints: 23297
1451.91/1456.51 c #Conflicts: 746000 | #Constraints: 24297
1451.91/1456.51 c #Conflicts: 747000 | #Constraints: 25297
1451.91/1456.51 c #Conflicts: 748000 | #Constraints: 26297
1451.91/1456.51 c #Conflicts: 749000 | #Constraints: 27297
1451.91/1456.51 c #Conflicts: 750000 | #Constraints: 28297
1451.91/1456.51 c #Conflicts: 751000 | #Constraints: 29297
1451.91/1456.51 c #Conflicts: 752000 | #Constraints: 30297
1451.91/1456.51 c #Conflicts: 753000 | #Constraints: 31297
1451.91/1456.51 c #Conflicts: 754000 | #Constraints: 32297
1451.91/1456.51 c #Conflicts: 755000 | #Constraints: 33297
1451.91/1456.51 c #Conflicts: 756000 | #Constraints: 34297
1451.91/1456.51 c INPROCESSING
1451.91/1456.51 c GARBAGE COLLECT
1451.91/1456.51 c #Conflicts: 757000 | #Constraints: 18086
1451.91/1456.51 c #Conflicts: 758000 | #Constraints: 19086
1451.91/1456.51 c #Conflicts: 759000 | #Constraints: 20086
1451.91/1456.51 c #Conflicts: 760000 | #Constraints: 21086
1451.91/1456.51 c #Conflicts: 761000 | #Constraints: 22086
1451.91/1456.51 c #Conflicts: 762000 | #Constraints: 23086
1451.91/1456.51 c #Conflicts: 763000 | #Constraints: 24086
1451.91/1456.51 c #Conflicts: 764000 | #Constraints: 25086
1451.91/1456.51 c #Conflicts: 765000 | #Constraints: 26086
1451.91/1456.51 c #Conflicts: 766000 | #Constraints: 27086
1451.91/1456.51 c #Conflicts: 767000 | #Constraints: 28086
1451.91/1456.51 c #Conflicts: 768000 | #Constraints: 29086
1451.91/1456.51 c #Conflicts: 769000 | #Constraints: 30086
1451.91/1456.51 c #Conflicts: 770000 | #Constraints: 31086
1451.91/1456.51 c #Conflicts: 771000 | #Constraints: 32086
1451.91/1456.51 c #Conflicts: 772000 | #Constraints: 33086
1451.91/1456.51 c #Conflicts: 773000 | #Constraints: 34086
1451.91/1456.51 c #Conflicts: 774000 | #Constraints: 35086
1451.91/1456.51 c INPROCESSING
1451.91/1456.51 c GARBAGE COLLECT
1451.91/1456.51 c #Conflicts: 775000 | #Constraints: 18668
1451.91/1456.51 c #Conflicts: 776000 | #Constraints: 19668
1451.91/1456.51 c #Conflicts: 777000 | #Constraints: 20668
1451.91/1456.51 c #Conflicts: 778000 | #Constraints: 21668
1451.91/1456.51 c #Conflicts: 779000 | #Constraints: 22668
1451.91/1456.51 c #Conflicts: 780000 | #Constraints: 23668
1451.91/1456.51 c #Conflicts: 781000 | #Constraints: 24668
1451.91/1456.51 c #Conflicts: 782000 | #Constraints: 25668
1451.91/1456.51 c #Conflicts: 783000 | #Constraints: 26668
1451.91/1456.51 c #Conflicts: 784000 | #Constraints: 27668
1451.91/1456.51 c #Conflicts: 785000 | #Constraints: 28668
1451.91/1456.51 c #Conflicts: 786000 | #Constraints: 29668
1451.91/1456.51 c #Conflicts: 787000 | #Constraints: 30668
1451.91/1456.51 c #Conflicts: 788000 | #Constraints: 31668
1451.91/1456.51 c #Conflicts: 789000 | #Constraints: 32668
1451.91/1456.51 c #Conflicts: 790000 | #Constraints: 33668
1451.91/1456.51 c #Conflicts: 791000 | #Constraints: 34668
1451.91/1456.51 c #Conflicts: 792000 | #Constraints: 35668
1451.91/1456.51 c INPROCESSING
1451.91/1456.51 c GARBAGE COLLECT
1451.91/1456.51 c #Conflicts: 793000 | #Constraints: 19065
1451.91/1456.51 c #Conflicts: 794000 | #Constraints: 20065
1451.91/1456.51 c #Conflicts: 795000 | #Constraints: 21065
1451.91/1456.51 c #Conflicts: 796000 | #Constraints: 22065
1451.91/1456.51 c #Conflicts: 797000 | #Constraints: 23065
1451.91/1456.51 c #Conflicts: 798000 | #Constraints: 24065
1451.91/1456.51 c #Conflicts: 799000 | #Constraints: 25065
1451.91/1456.51 c #Conflicts: 800000 | #Constraints: 26065
1451.91/1456.51 c #Conflicts: 801000 | #Constraints: 27065
1451.91/1456.51 c #Conflicts: 802000 | #Constraints: 28065
1451.91/1456.51 c #Conflicts: 803000 | #Constraints: 29065
1451.91/1456.51 c #Conflicts: 804000 | #Constraints: 30065
1451.91/1456.51 c #Conflicts: 805000 | #Constraints: 31065
1451.91/1456.51 c #Conflicts: 806000 | #Constraints: 32065
1451.91/1456.51 c #Conflicts: 807000 | #Constraints: 33065
1451.91/1456.51 c #Conflicts: 808000 | #Constraints: 34065
1451.91/1456.51 c #Conflicts: 809000 | #Constraints: 35065
1451.91/1456.51 c #Conflicts: 810000 | #Constraints: 36065
1451.91/1456.51 c INPROCESSING
1451.91/1456.51 c GARBAGE COLLECT
1451.91/1456.51 c #Conflicts: 811000 | #Constraints: 19264
1451.91/1456.51 c #Conflicts: 812000 | #Constraints: 20264
1451.91/1456.51 c #Conflicts: 813000 | #Constraints: 21264
1451.91/1456.51 c #Conflicts: 814000 | #Constraints: 22264
1451.91/1456.51 c #Conflicts: 815000 | #Constraints: 23264
1451.91/1456.51 c #Conflicts: 816000 | #Constraints: 24264
1617.78/1622.85 c #Conflicts: 817000 | #Constraints: 25264
1617.78/1622.85 c #Conflicts: 818000 | #Constraints: 26264
1617.78/1622.85 c #Conflicts: 819000 | #Constraints: 27264
1617.78/1622.85 c #Conflicts: 820000 | #Constraints: 28264
1617.78/1622.85 c #Conflicts: 821000 | #Constraints: 29264
1617.78/1622.85 c #Conflicts: 822000 | #Constraints: 30264
1617.78/1622.85 c #Conflicts: 823000 | #Constraints: 31264
1617.78/1622.85 c #Conflicts: 824000 | #Constraints: 32264
1617.78/1622.85 c #Conflicts: 825000 | #Constraints: 33264
1617.78/1622.85 c #Conflicts: 826000 | #Constraints: 34264
1617.78/1622.85 c #Conflicts: 827000 | #Constraints: 35264
1617.78/1622.85 c #Conflicts: 828000 | #Constraints: 36264
1617.78/1622.85 c INPROCESSING
1617.78/1622.85 c GARBAGE COLLECT
1617.78/1622.85 c #Conflicts: 829000 | #Constraints: 19272
1617.78/1622.85 c #Conflicts: 830000 | #Constraints: 20272
1617.78/1622.85 c #Conflicts: 831000 | #Constraints: 21272
1617.78/1622.85 c #Conflicts: 832000 | #Constraints: 22272
1617.78/1622.85 c #Conflicts: 833000 | #Constraints: 23272
1617.78/1622.85 c #Conflicts: 834000 | #Constraints: 24272
1617.78/1622.85 c #Conflicts: 835000 | #Constraints: 25272
1617.78/1622.85 c #Conflicts: 836000 | #Constraints: 26272
1617.78/1622.85 c #Conflicts: 837000 | #Constraints: 27272
1617.78/1622.85 c #Conflicts: 838000 | #Constraints: 28272
1617.78/1622.85 c #Conflicts: 839000 | #Constraints: 29272
1617.78/1622.85 c #Conflicts: 840000 | #Constraints: 30272
1617.78/1622.85 c #Conflicts: 841000 | #Constraints: 31272
1617.78/1622.85 c #Conflicts: 842000 | #Constraints: 32272
1617.78/1622.85 c #Conflicts: 843000 | #Constraints: 33272
1617.78/1622.85 c #Conflicts: 844000 | #Constraints: 34272
1617.78/1622.85 c #Conflicts: 845000 | #Constraints: 35272
1617.78/1622.85 c #Conflicts: 846000 | #Constraints: 36272
1617.78/1622.85 c INPROCESSING
1617.78/1622.85 c GARBAGE COLLECT
1617.78/1622.85 c #Conflicts: 847000 | #Constraints: 19067
1617.78/1622.85 c #Conflicts: 848000 | #Constraints: 20067
1617.78/1622.85 c #Conflicts: 849000 | #Constraints: 21067
1617.78/1622.85 c #Conflicts: 850000 | #Constraints: 22067
1617.78/1622.85 c #Conflicts: 851000 | #Constraints: 23067
1617.78/1622.85 c #Conflicts: 852000 | #Constraints: 24067
1617.78/1622.85 c #Conflicts: 853000 | #Constraints: 25067
1617.78/1622.85 c #Conflicts: 854000 | #Constraints: 26067
1617.78/1622.85 c #Conflicts: 855000 | #Constraints: 27067
1617.78/1622.85 c #Conflicts: 856000 | #Constraints: 28067
1617.78/1622.85 c #Conflicts: 857000 | #Constraints: 29067
1617.78/1622.85 c #Conflicts: 858000 | #Constraints: 30067
1617.78/1622.85 c #Conflicts: 859000 | #Constraints: 31067
1617.78/1622.85 c #Conflicts: 860000 | #Constraints: 32067
1617.78/1622.85 c #Conflicts: 861000 | #Constraints: 33067
1617.78/1622.85 c #Conflicts: 862000 | #Constraints: 34067
1617.78/1622.85 c #Conflicts: 863000 | #Constraints: 35067
1617.78/1622.85 c #Conflicts: 864000 | #Constraints: 36067
1617.78/1622.85 c #Conflicts: 865000 | #Constraints: 37067
1617.78/1622.85 c INPROCESSING
1617.78/1622.85 c GARBAGE COLLECT
1617.78/1622.85 c #Conflicts: 866000 | #Constraints: 19665
1617.78/1622.85 c #Conflicts: 867000 | #Constraints: 20665
1617.78/1622.85 c #Conflicts: 868000 | #Constraints: 21665
1617.78/1622.85 c #Conflicts: 869000 | #Constraints: 22665
1617.78/1622.85 c #Conflicts: 870000 | #Constraints: 23665
1617.78/1622.85 c #Conflicts: 871000 | #Constraints: 24665
1617.78/1622.85 c #Conflicts: 872000 | #Constraints: 25665
1617.78/1622.85 c #Conflicts: 873000 | #Constraints: 26665
1617.78/1622.85 c #Conflicts: 874000 | #Constraints: 27665
1617.78/1622.85 c #Conflicts: 875000 | #Constraints: 28665
1617.78/1622.85 c #Conflicts: 876000 | #Constraints: 29665
1617.78/1622.85 c #Conflicts: 877000 | #Constraints: 30665
1617.78/1622.85 c #Conflicts: 878000 | #Constraints: 31665
1617.78/1622.85 c #Conflicts: 879000 | #Constraints: 32665
1617.78/1622.85 c #Conflicts: 880000 | #Constraints: 33665
1617.78/1622.85 c #Conflicts: 881000 | #Constraints: 34665
1617.78/1622.85 c #Conflicts: 882000 | #Constraints: 35665
1617.78/1622.85 c #Conflicts: 883000 | #Constraints: 36665
1617.78/1622.85 c #Conflicts: 884000 | #Constraints: 37665
1617.78/1622.85 c INPROCESSING
1617.78/1622.85 c GARBAGE COLLECT
1617.78/1622.85 c #Conflicts: 885000 | #Constraints: 20069
1617.78/1622.85 c #Conflicts: 886000 | #Constraints: 21069
1617.78/1622.85 c #Conflicts: 887000 | #Constraints: 22069
1617.78/1622.85 c #Conflicts: 888000 | #Constraints: 23069
1617.78/1622.85 c #Conflicts: 889000 | #Constraints: 24069
1617.78/1622.85 c #Conflicts: 890000 | #Constraints: 25069
1617.78/1622.85 c #Conflicts: 891000 | #Constraints: 26069
1617.78/1622.85 c #Conflicts: 892000 | #Constraints: 27069
1788.73/1794.24 c #Conflicts: 893000 | #Constraints: 28069
1788.73/1794.24 c #Conflicts: 894000 | #Constraints: 29069
1788.73/1794.24 c #Conflicts: 895000 | #Constraints: 30069
1788.73/1794.24 c #Conflicts: 896000 | #Constraints: 31069
1788.73/1794.24 c #Conflicts: 897000 | #Constraints: 32069
1788.73/1794.24 c #Conflicts: 898000 | #Constraints: 33069
1788.73/1794.24 c #Conflicts: 899000 | #Constraints: 34069
1788.73/1794.24 c #Conflicts: 900000 | #Constraints: 35069
1788.73/1794.24 c #Conflicts: 901000 | #Constraints: 36069
1788.73/1794.24 c #Conflicts: 902000 | #Constraints: 37069
1788.73/1794.24 c #Conflicts: 903000 | #Constraints: 38069
1788.73/1794.24 c INPROCESSING
1788.73/1794.24 c GARBAGE COLLECT
1788.73/1794.24 c #Conflicts: 904000 | #Constraints: 20257
1788.73/1794.24 c #Conflicts: 905000 | #Constraints: 21257
1788.73/1794.24 c #Conflicts: 906000 | #Constraints: 22257
1788.73/1794.24 c #Conflicts: 907000 | #Constraints: 23257
1788.73/1794.24 c #Conflicts: 908000 | #Constraints: 24257
1788.73/1794.24 c #Conflicts: 909000 | #Constraints: 25257
1788.73/1794.24 c #Conflicts: 910000 | #Constraints: 26257
1788.73/1794.24 c #Conflicts: 911000 | #Constraints: 27257
1788.73/1794.24 c #Conflicts: 912000 | #Constraints: 28257
1788.73/1794.24 c #Conflicts: 913000 | #Constraints: 29257
1788.73/1794.24 c #Conflicts: 914000 | #Constraints: 30257
1788.73/1794.24 c #Conflicts: 915000 | #Constraints: 31257
1788.73/1794.24 c #Conflicts: 916000 | #Constraints: 32257
1788.73/1794.24 c #Conflicts: 917000 | #Constraints: 33257
1788.73/1794.24 c #Conflicts: 918000 | #Constraints: 34257
1788.73/1794.24 c #Conflicts: 919000 | #Constraints: 35257
1788.73/1794.24 c #Conflicts: 920000 | #Constraints: 36257
1788.73/1794.24 c #Conflicts: 921000 | #Constraints: 37257
1788.73/1794.24 c #Conflicts: 922000 | #Constraints: 38257
1788.73/1794.24 c INPROCESSING
1788.73/1794.24 c GARBAGE COLLECT
1788.73/1794.24 c #Conflicts: 923000 | #Constraints: 20257
1788.73/1794.24 c #Conflicts: 924000 | #Constraints: 21257
1788.73/1794.24 c #Conflicts: 925000 | #Constraints: 22257
1788.73/1794.24 c #Conflicts: 926000 | #Constraints: 23257
1788.73/1794.24 c #Conflicts: 927000 | #Constraints: 24257
1788.73/1794.24 c #Conflicts: 928000 | #Constraints: 25257
1788.73/1794.24 c #Conflicts: 929000 | #Constraints: 26257
1788.73/1794.24 c #Conflicts: 930000 | #Constraints: 27257
1788.73/1794.24 c #Conflicts: 931000 | #Constraints: 28257
1788.73/1794.24 c #Conflicts: 932000 | #Constraints: 29257
1788.73/1794.24 c #Conflicts: 933000 | #Constraints: 30257
1788.73/1794.24 c #Conflicts: 934000 | #Constraints: 31257
1788.73/1794.24 c #Conflicts: 935000 | #Constraints: 32257
1788.73/1794.24 c #Conflicts: 936000 | #Constraints: 33257
1788.73/1794.24 c #Conflicts: 937000 | #Constraints: 34257
1788.73/1794.24 c #Conflicts: 938000 | #Constraints: 35257
1788.73/1794.24 c #Conflicts: 939000 | #Constraints: 36257
1788.73/1794.24 c #Conflicts: 940000 | #Constraints: 37257
1788.73/1794.24 c #Conflicts: 941000 | #Constraints: 38257
1788.73/1794.24 c INPROCESSING
1788.73/1794.24 c GARBAGE COLLECT
1788.73/1794.24 c #Conflicts: 942000 | #Constraints: 20083
1788.73/1794.24 c #Conflicts: 943000 | #Constraints: 21083
1788.73/1794.24 c #Conflicts: 944000 | #Constraints: 22083
1788.73/1794.24 c #Conflicts: 945000 | #Constraints: 23083
1788.73/1794.24 c #Conflicts: 946000 | #Constraints: 24083
1788.73/1794.24 c #Conflicts: 947000 | #Constraints: 25083
1788.73/1794.24 c #Conflicts: 948000 | #Constraints: 26083
1788.73/1794.24 c #Conflicts: 949000 | #Constraints: 27083
1788.73/1794.24 c #Conflicts: 950000 | #Constraints: 28083
1788.73/1794.24 c #Conflicts: 951000 | #Constraints: 29083
1788.73/1794.24 c #Conflicts: 952000 | #Constraints: 30083
1788.73/1794.24 c #Conflicts: 953000 | #Constraints: 31083
1788.73/1794.24 c #Conflicts: 954000 | #Constraints: 32083
1788.73/1794.24 c #Conflicts: 955000 | #Constraints: 33083
1788.73/1794.24 c #Conflicts: 956000 | #Constraints: 34083
1788.73/1794.24 c #Conflicts: 957000 | #Constraints: 35083
1788.73/1794.24 c #Conflicts: 958000 | #Constraints: 36083
1788.73/1794.24 c #Conflicts: 959000 | #Constraints: 37083
1788.73/1794.24 c #Conflicts: 960000 | #Constraints: 38083
1788.73/1794.24 c #Conflicts: 961000 | #Constraints: 39083
1788.73/1794.24 c INPROCESSING
1788.73/1794.24 c GARBAGE COLLECT
1788.73/1794.24 c #Conflicts: 962000 | #Constraints: 20693
1788.73/1794.24 c #Conflicts: 963000 | #Constraints: 21693
1788.73/1794.24 c #Conflicts: 964000 | #Constraints: 22693
1788.73/1794.24 c #Conflicts: 965000 | #Constraints: 23693
1788.73/1794.24 c #Conflicts: 966000 | #Constraints: 24693
1788.73/1794.24 c #Conflicts: 967000 | #Constraints: 25693
1788.73/1794.24 c #Conflicts: 968000 | #Constraints: 26693
1996.88/2003.00 c #Conflicts: 969000 | #Constraints: 27693
1996.88/2003.00 c #Conflicts: 970000 | #Constraints: 28693
1996.88/2003.00 c #Conflicts: 971000 | #Constraints: 29693
1996.88/2003.00 c #Conflicts: 972000 | #Constraints: 30693
1996.88/2003.00 c #Conflicts: 973000 | #Constraints: 31693
1996.88/2003.00 c #Conflicts: 974000 | #Constraints: 32693
1996.88/2003.00 c #Conflicts: 975000 | #Constraints: 33693
1996.88/2003.00 c #Conflicts: 976000 | #Constraints: 34693
1996.88/2003.00 c #Conflicts: 977000 | #Constraints: 35693
1996.88/2003.00 c #Conflicts: 978000 | #Constraints: 36693
1996.88/2003.00 c #Conflicts: 979000 | #Constraints: 37693
1996.88/2003.00 c #Conflicts: 980000 | #Constraints: 38693
1996.88/2003.00 c #Conflicts: 981000 | #Constraints: 39693
1996.88/2003.00 c INPROCESSING
1996.88/2003.00 c GARBAGE COLLECT
1996.88/2003.00 c #Conflicts: 982000 | #Constraints: 21098
1996.88/2003.00 c #Conflicts: 983000 | #Constraints: 22098
1996.88/2003.00 c #Conflicts: 984000 | #Constraints: 23098
1996.88/2003.00 c #Conflicts: 985000 | #Constraints: 24098
1996.88/2003.00 c #Conflicts: 986000 | #Constraints: 25098
1996.88/2003.00 c #Conflicts: 987000 | #Constraints: 26098
1996.88/2003.00 c #Conflicts: 988000 | #Constraints: 27098
1996.88/2003.00 c #Conflicts: 989000 | #Constraints: 28098
1996.88/2003.00 c #Conflicts: 990000 | #Constraints: 29098
1996.88/2003.00 c #Conflicts: 991000 | #Constraints: 30098
1996.88/2003.00 c #Conflicts: 992000 | #Constraints: 31098
1996.88/2003.00 c #Conflicts: 993000 | #Constraints: 32098
1996.88/2003.00 c #Conflicts: 994000 | #Constraints: 33098
1996.88/2003.00 c #Conflicts: 995000 | #Constraints: 34098
1996.88/2003.00 c #Conflicts: 996000 | #Constraints: 35098
1996.88/2003.00 c #Conflicts: 997000 | #Constraints: 36098
1996.88/2003.00 c #Conflicts: 998000 | #Constraints: 37098
1996.88/2003.00 c #Conflicts: 999000 | #Constraints: 38098
1996.88/2003.00 c #Conflicts: 1000000 | #Constraints: 39098
1996.88/2003.00 c #Conflicts: 1001000 | #Constraints: 40098
1996.88/2003.00 c INPROCESSING
1996.88/2003.00 c GARBAGE COLLECT
1996.88/2003.00 c #Conflicts: 1002000 | #Constraints: 21307
1996.88/2003.00 c #Conflicts: 1003000 | #Constraints: 22307
1996.88/2003.00 c #Conflicts: 1004000 | #Constraints: 23307
1996.88/2003.00 c #Conflicts: 1005000 | #Constraints: 24307
1996.88/2003.00 c #Conflicts: 1006000 | #Constraints: 25307
1996.88/2003.00 c #Conflicts: 1007000 | #Constraints: 26307
1996.88/2003.00 c #Conflicts: 1008000 | #Constraints: 27307
1996.88/2003.00 c #Conflicts: 1009000 | #Constraints: 28307
1996.88/2003.00 c #Conflicts: 1010000 | #Constraints: 29307
1996.88/2003.00 c #Conflicts: 1011000 | #Constraints: 30307
1996.88/2003.00 c #Conflicts: 1012000 | #Constraints: 31307
1996.88/2003.00 c #Conflicts: 1013000 | #Constraints: 32307
1996.88/2003.00 c #Conflicts: 1014000 | #Constraints: 33307
1996.88/2003.00 c #Conflicts: 1015000 | #Constraints: 34307
1996.88/2003.00 c #Conflicts: 1016000 | #Constraints: 35307
1996.88/2003.00 c #Conflicts: 1017000 | #Constraints: 36307
1996.88/2003.00 c #Conflicts: 1018000 | #Constraints: 37307
1996.88/2003.00 c #Conflicts: 1019000 | #Constraints: 38307
1996.88/2003.00 c #Conflicts: 1020000 | #Constraints: 39307
1996.88/2003.00 c #Conflicts: 1021000 | #Constraints: 40307
1996.88/2003.00 c INPROCESSING
1996.88/2003.00 c GARBAGE COLLECT
1996.88/2003.00 c #Conflicts: 1022000 | #Constraints: 21323
1996.88/2003.00 c #Conflicts: 1023000 | #Constraints: 22323
1996.88/2003.00 c #Conflicts: 1024000 | #Constraints: 23323
1996.88/2003.00 c #Conflicts: 1025000 | #Constraints: 24323
1996.88/2003.00 c #Conflicts: 1026000 | #Constraints: 25323
1996.88/2003.00 c #Conflicts: 1027000 | #Constraints: 26323
1996.88/2003.00 c #Conflicts: 1028000 | #Constraints: 27323
1996.88/2003.00 c #Conflicts: 1029000 | #Constraints: 28323
1996.88/2003.00 c #Conflicts: 1030000 | #Constraints: 29323
1996.88/2003.00 c #Conflicts: 1031000 | #Constraints: 30323
1996.88/2003.00 c #Conflicts: 1032000 | #Constraints: 31323
1996.88/2003.00 c #Conflicts: 1033000 | #Constraints: 32323
1996.88/2003.00 c #Conflicts: 1034000 | #Constraints: 33323
1996.88/2003.00 c #Conflicts: 1035000 | #Constraints: 34323
1996.88/2003.00 c #Conflicts: 1036000 | #Constraints: 35323
1996.88/2003.00 c #Conflicts: 1037000 | #Constraints: 36323
1996.88/2003.00 c #Conflicts: 1038000 | #Constraints: 37323
1996.88/2003.00 c #Conflicts: 1039000 | #Constraints: 38323
1996.88/2003.00 c #Conflicts: 1040000 | #Constraints: 39323
1996.88/2003.00 c #Conflicts: 1041000 | #Constraints: 40323
1996.88/2003.00 c INPROCESSING
1996.88/2003.00 c GARBAGE COLLECT
1996.88/2003.00 c #Conflicts: 1042000 | #Constraints: 21099
1996.88/2003.00 c #Conflicts: 1043000 | #Constraints: 22099
1996.88/2003.00 c #Conflicts: 1044000 | #Constraints: 23099
2331.89/2338.85 c #Conflicts: 1045000 | #Constraints: 24099
2331.89/2338.85 c #Conflicts: 1046000 | #Constraints: 25099
2331.89/2338.85 c #Conflicts: 1047000 | #Constraints: 26099
2331.89/2338.85 c #Conflicts: 1048000 | #Constraints: 27099
2331.89/2338.85 c #Conflicts: 1049000 | #Constraints: 28099
2331.89/2338.85 c #Conflicts: 1050000 | #Constraints: 29099
2331.89/2338.85 c #Conflicts: 1051000 | #Constraints: 30099
2331.89/2338.85 c #Conflicts: 1052000 | #Constraints: 31099
2331.89/2338.85 c #Conflicts: 1053000 | #Constraints: 32099
2331.89/2338.85 c #Conflicts: 1054000 | #Constraints: 33099
2331.89/2338.85 c #Conflicts: 1055000 | #Constraints: 34099
2331.89/2338.85 c #Conflicts: 1056000 | #Constraints: 35099
2331.89/2338.85 c #Conflicts: 1057000 | #Constraints: 36099
2331.89/2338.85 c #Conflicts: 1058000 | #Constraints: 37099
2331.89/2338.85 c #Conflicts: 1059000 | #Constraints: 38099
2331.89/2338.85 c #Conflicts: 1060000 | #Constraints: 39099
2331.89/2338.85 c #Conflicts: 1061000 | #Constraints: 40099
2331.89/2338.85 c #Conflicts: 1062000 | #Constraints: 41099
2331.89/2338.85 c INPROCESSING
2331.89/2338.85 c GARBAGE COLLECT
2331.89/2338.85 c #Conflicts: 1063000 | #Constraints: 21693
2331.89/2338.85 c #Conflicts: 1064000 | #Constraints: 22693
2331.89/2338.85 c #Conflicts: 1065000 | #Constraints: 23693
2331.89/2338.85 c #Conflicts: 1066000 | #Constraints: 24693
2331.89/2338.85 c #Conflicts: 1067000 | #Constraints: 25693
2331.89/2338.85 c #Conflicts: 1068000 | #Constraints: 26693
2331.89/2338.85 c #Conflicts: 1069000 | #Constraints: 27693
2331.89/2338.85 c #Conflicts: 1070000 | #Constraints: 28693
2331.89/2338.85 c #Conflicts: 1071000 | #Constraints: 29693
2331.89/2338.85 c #Conflicts: 1072000 | #Constraints: 30693
2331.89/2338.85 c #Conflicts: 1073000 | #Constraints: 31693
2331.89/2338.85 c #Conflicts: 1074000 | #Constraints: 32693
2331.89/2338.85 c #Conflicts: 1075000 | #Constraints: 33693
2331.89/2338.85 c #Conflicts: 1076000 | #Constraints: 34693
2331.89/2338.85 c #Conflicts: 1077000 | #Constraints: 35693
2331.89/2338.85 c #Conflicts: 1078000 | #Constraints: 36693
2331.89/2338.85 c #Conflicts: 1079000 | #Constraints: 37693
2331.89/2338.85 c #Conflicts: 1080000 | #Constraints: 38693
2331.89/2338.85 c #Conflicts: 1081000 | #Constraints: 39693
2331.89/2338.85 c #Conflicts: 1082000 | #Constraints: 40693
2331.89/2338.85 c #Conflicts: 1083000 | #Constraints: 41693
2331.89/2338.85 c INPROCESSING
2331.89/2338.85 c GARBAGE COLLECT
2331.89/2338.85 c #Conflicts: 1084000 | #Constraints: 22092
2331.89/2338.85 c #Conflicts: 1085000 | #Constraints: 23092
2331.89/2338.85 c #Conflicts: 1086000 | #Constraints: 24092
2331.89/2338.85 c #Conflicts: 1087000 | #Constraints: 25092
2331.89/2338.85 c #Conflicts: 1088000 | #Constraints: 26092
2331.89/2338.85 c #Conflicts: 1089000 | #Constraints: 27092
2331.89/2338.85 c #Conflicts: 1090000 | #Constraints: 28092
2331.89/2338.85 c #Conflicts: 1091000 | #Constraints: 29092
2331.89/2338.85 c #Conflicts: 1092000 | #Constraints: 30092
2331.89/2338.85 c #Conflicts: 1093000 | #Constraints: 31092
2331.89/2338.85 c #Conflicts: 1094000 | #Constraints: 32092
2331.89/2338.85 c #Conflicts: 1095000 | #Constraints: 33092
2331.89/2338.85 c #Conflicts: 1096000 | #Constraints: 34092
2331.89/2338.85 c #Conflicts: 1097000 | #Constraints: 35092
2331.89/2338.85 c #Conflicts: 1098000 | #Constraints: 36092
2331.89/2338.85 c #Conflicts: 1099000 | #Constraints: 37092
2331.89/2338.85 c #Conflicts: 1100000 | #Constraints: 38092
2331.89/2338.85 c #Conflicts: 1101000 | #Constraints: 39092
2331.89/2338.85 c #Conflicts: 1102000 | #Constraints: 40092
2331.89/2338.85 c #Conflicts: 1103000 | #Constraints: 41092
2331.89/2338.85 c #Conflicts: 1104000 | #Constraints: 42092
2331.89/2338.85 c INPROCESSING
2331.89/2338.85 c GARBAGE COLLECT
2331.89/2338.85 c #Conflicts: 1105000 | #Constraints: 22285
2331.89/2338.85 c #Conflicts: 1106000 | #Constraints: 23285
2331.89/2338.85 c #Conflicts: 1107000 | #Constraints: 24285
2331.89/2338.85 c #Conflicts: 1108000 | #Constraints: 25285
2331.89/2338.85 c #Conflicts: 1109000 | #Constraints: 26285
2331.89/2338.85 c #Conflicts: 1110000 | #Constraints: 27285
2331.89/2338.85 c #Conflicts: 1111000 | #Constraints: 28285
2331.89/2338.85 c #Conflicts: 1112000 | #Constraints: 29285
2331.89/2338.85 c #Conflicts: 1113000 | #Constraints: 30285
2331.89/2338.85 c #Conflicts: 1114000 | #Constraints: 31285
2331.89/2338.85 c #Conflicts: 1115000 | #Constraints: 32285
2331.89/2338.85 c #Conflicts: 1116000 | #Constraints: 33285
2331.89/2338.85 c #Conflicts: 1117000 | #Constraints: 34285
2331.89/2338.85 c #Conflicts: 1118000 | #Constraints: 35285
2331.89/2338.85 c #Conflicts: 1119000 | #Constraints: 36285
2331.89/2338.85 c #Conflicts: 1120000 | #Constraints: 37285
2331.89/2338.85 c #Conflicts: 1121000 | #Constraints: 38285
2483.60/2491.00 c #Conflicts: 1122000 | #Constraints: 39285
2483.60/2491.00 c #Conflicts: 1123000 | #Constraints: 40285
2483.60/2491.00 c #Conflicts: 1124000 | #Constraints: 41285
2483.60/2491.00 c #Conflicts: 1125000 | #Constraints: 42285
2483.60/2491.00 c INPROCESSING
2483.60/2491.00 c GARBAGE COLLECT
2483.60/2491.00 c #Conflicts: 1126000 | #Constraints: 22287
2483.60/2491.00 c #Conflicts: 1127000 | #Constraints: 23287
2483.60/2491.00 c #Conflicts: 1128000 | #Constraints: 24287
2483.60/2491.00 c #Conflicts: 1129000 | #Constraints: 25287
2483.60/2491.00 c #Conflicts: 1130000 | #Constraints: 26287
2483.60/2491.00 c #Conflicts: 1131000 | #Constraints: 27287
2483.60/2491.00 c #Conflicts: 1132000 | #Constraints: 28287
2483.60/2491.00 c #Conflicts: 1133000 | #Constraints: 29287
2483.60/2491.00 c #Conflicts: 1134000 | #Constraints: 30287
2483.60/2491.00 c #Conflicts: 1135000 | #Constraints: 31287
2483.60/2491.00 c #Conflicts: 1136000 | #Constraints: 32287
2483.60/2491.00 c #Conflicts: 1137000 | #Constraints: 33287
2483.60/2491.00 c #Conflicts: 1138000 | #Constraints: 34287
2483.60/2491.00 c #Conflicts: 1139000 | #Constraints: 35287
2483.60/2491.00 c #Conflicts: 1140000 | #Constraints: 36287
2483.60/2491.00 c #Conflicts: 1141000 | #Constraints: 37287
2483.60/2491.00 c #Conflicts: 1142000 | #Constraints: 38287
2483.60/2491.00 c #Conflicts: 1143000 | #Constraints: 39287
2483.60/2491.00 c #Conflicts: 1144000 | #Constraints: 40287
2483.60/2491.00 c #Conflicts: 1145000 | #Constraints: 41287
2483.60/2491.00 c #Conflicts: 1146000 | #Constraints: 42287
2483.60/2491.00 c INPROCESSING
2483.60/2491.00 c GARBAGE COLLECT
2483.60/2491.00 c #Conflicts: 1147000 | #Constraints: 22065
2483.60/2491.00 c #Conflicts: 1148000 | #Constraints: 23065
2483.60/2491.00 c #Conflicts: 1149000 | #Constraints: 24065
2483.60/2491.00 c #Conflicts: 1150000 | #Constraints: 25065
2483.60/2491.00 c #Conflicts: 1151000 | #Constraints: 26065
2483.60/2491.00 c #Conflicts: 1152000 | #Constraints: 27065
2483.60/2491.00 c #Conflicts: 1153000 | #Constraints: 28065
2483.60/2491.00 c #Conflicts: 1154000 | #Constraints: 29065
2483.60/2491.00 c #Conflicts: 1155000 | #Constraints: 30065
2483.60/2491.00 c #Conflicts: 1156000 | #Constraints: 31065
2483.60/2491.00 c #Conflicts: 1157000 | #Constraints: 32065
2483.60/2491.00 c #Conflicts: 1158000 | #Constraints: 33065
2483.60/2491.00 c #Conflicts: 1159000 | #Constraints: 34065
2483.60/2491.00 c #Conflicts: 1160000 | #Constraints: 35065
2483.60/2491.00 c #Conflicts: 1161000 | #Constraints: 36065
2483.60/2491.00 c #Conflicts: 1162000 | #Constraints: 37065
2483.60/2491.00 c #Conflicts: 1163000 | #Constraints: 38065
2483.60/2491.00 c #Conflicts: 1164000 | #Constraints: 39065
2483.60/2491.00 c #Conflicts: 1165000 | #Constraints: 40065
2483.60/2491.00 c #Conflicts: 1166000 | #Constraints: 41065
2483.60/2491.00 c #Conflicts: 1167000 | #Constraints: 42065
2483.60/2491.00 c #Conflicts: 1168000 | #Constraints: 43065
2483.60/2491.00 c INPROCESSING
2483.60/2491.00 c GARBAGE COLLECT
2483.60/2491.00 c #Conflicts: 1169000 | #Constraints: 22667
2483.60/2491.00 c #Conflicts: 1170000 | #Constraints: 23667
2483.60/2491.00 c #Conflicts: 1171000 | #Constraints: 24667
2483.60/2491.00 c #Conflicts: 1172000 | #Constraints: 25667
2483.60/2491.00 c #Conflicts: 1173000 | #Constraints: 26667
2483.60/2491.00 c #Conflicts: 1174000 | #Constraints: 27667
2483.60/2491.00 c #Conflicts: 1175000 | #Constraints: 28667
2483.60/2491.00 c #Conflicts: 1176000 | #Constraints: 29667
2483.60/2491.00 c #Conflicts: 1177000 | #Constraints: 30667
2483.60/2491.00 c #Conflicts: 1178000 | #Constraints: 31667
2483.60/2491.00 c #Conflicts: 1179000 | #Constraints: 32667
2483.60/2491.00 c #Conflicts: 1180000 | #Constraints: 33667
2483.60/2491.00 c #Conflicts: 1181000 | #Constraints: 34667
2483.60/2491.00 c #Conflicts: 1182000 | #Constraints: 35667
2483.60/2491.00 c #Conflicts: 1183000 | #Constraints: 36667
2483.60/2491.00 c #Conflicts: 1184000 | #Constraints: 37667
2483.60/2491.00 c #Conflicts: 1185000 | #Constraints: 38667
2483.60/2491.00 c #Conflicts: 1186000 | #Constraints: 39667
2483.60/2491.00 c #Conflicts: 1187000 | #Constraints: 40667
2483.60/2491.00 c #Conflicts: 1188000 | #Constraints: 41667
2483.60/2491.00 c #Conflicts: 1189000 | #Constraints: 42667
2483.60/2491.00 c #Conflicts: 1190000 | #Constraints: 43667
2483.60/2491.00 c INPROCESSING
2483.60/2491.00 c GARBAGE COLLECT
2483.60/2491.00 c #Conflicts: 1191000 | #Constraints: 23078
2483.60/2491.00 c #Conflicts: 1192000 | #Constraints: 24078
2483.60/2491.00 c #Conflicts: 1193000 | #Constraints: 25078
2483.60/2491.00 c #Conflicts: 1194000 | #Constraints: 26078
2483.60/2491.00 c #Conflicts: 1195000 | #Constraints: 27078
2483.60/2491.00 c #Conflicts: 1196000 | #Constraints: 28078
2483.60/2491.00 c #Conflicts: 1197000 | #Constraints: 29078
2662.85/2670.67 c #Conflicts: 1198000 | #Constraints: 30078
2662.85/2670.67 c #Conflicts: 1199000 | #Constraints: 31078
2662.85/2670.67 c #Conflicts: 1200000 | #Constraints: 32078
2662.85/2670.67 c #Conflicts: 1201000 | #Constraints: 33078
2662.85/2670.67 c #Conflicts: 1202000 | #Constraints: 34078
2662.85/2670.67 c #Conflicts: 1203000 | #Constraints: 35078
2662.85/2670.67 c #Conflicts: 1204000 | #Constraints: 36078
2662.85/2670.67 c #Conflicts: 1205000 | #Constraints: 37078
2662.85/2670.67 c #Conflicts: 1206000 | #Constraints: 38078
2662.85/2670.67 c #Conflicts: 1207000 | #Constraints: 39078
2662.85/2670.67 c #Conflicts: 1208000 | #Constraints: 40078
2662.85/2670.67 c #Conflicts: 1209000 | #Constraints: 41078
2662.85/2670.67 c #Conflicts: 1210000 | #Constraints: 42078
2662.85/2670.67 c #Conflicts: 1211000 | #Constraints: 43078
2662.85/2670.67 c #Conflicts: 1212000 | #Constraints: 44078
2662.85/2670.67 c INPROCESSING
2662.85/2670.67 c GARBAGE COLLECT
2662.85/2670.67 c #Conflicts: 1213000 | #Constraints: 23276
2662.85/2670.67 c #Conflicts: 1214000 | #Constraints: 24276
2662.85/2670.67 c #Conflicts: 1215000 | #Constraints: 25276
2662.85/2670.67 c #Conflicts: 1216000 | #Constraints: 26276
2662.85/2670.67 c #Conflicts: 1217000 | #Constraints: 27276
2662.85/2670.67 c #Conflicts: 1218000 | #Constraints: 28276
2662.85/2670.67 c #Conflicts: 1219000 | #Constraints: 29276
2662.85/2670.67 c #Conflicts: 1220000 | #Constraints: 30276
2662.85/2670.67 c #Conflicts: 1221000 | #Constraints: 31276
2662.85/2670.67 c #Conflicts: 1222000 | #Constraints: 32276
2662.85/2670.67 c #Conflicts: 1223000 | #Constraints: 33276
2662.85/2670.67 c #Conflicts: 1224000 | #Constraints: 34276
2662.85/2670.67 c #Conflicts: 1225000 | #Constraints: 35276
2662.85/2670.67 c #Conflicts: 1226000 | #Constraints: 36276
2662.85/2670.67 c #Conflicts: 1227000 | #Constraints: 37276
2662.85/2670.67 c #Conflicts: 1228000 | #Constraints: 38276
2662.85/2670.67 c #Conflicts: 1229000 | #Constraints: 39276
2662.85/2670.67 c #Conflicts: 1230000 | #Constraints: 40276
2662.85/2670.67 c #Conflicts: 1231000 | #Constraints: 41276
2662.85/2670.67 c #Conflicts: 1232000 | #Constraints: 42276
2662.85/2670.67 c #Conflicts: 1233000 | #Constraints: 43276
2662.85/2670.67 c #Conflicts: 1234000 | #Constraints: 44276
2662.85/2670.67 c INPROCESSING
2662.85/2670.67 c GARBAGE COLLECT
2662.85/2670.67 c #Conflicts: 1235000 | #Constraints: 23264
2662.85/2670.67 c #Conflicts: 1236000 | #Constraints: 24264
2662.85/2670.67 c #Conflicts: 1237000 | #Constraints: 25264
2662.85/2670.67 c #Conflicts: 1238000 | #Constraints: 26264
2662.85/2670.67 c #Conflicts: 1239000 | #Constraints: 27264
2662.85/2670.67 c #Conflicts: 1240000 | #Constraints: 28264
2662.85/2670.67 c #Conflicts: 1241000 | #Constraints: 29264
2662.85/2670.67 c #Conflicts: 1242000 | #Constraints: 30264
2662.85/2670.67 c #Conflicts: 1243000 | #Constraints: 31264
2662.85/2670.67 c #Conflicts: 1244000 | #Constraints: 32264
2662.85/2670.67 c #Conflicts: 1245000 | #Constraints: 33264
2662.85/2670.67 c #Conflicts: 1246000 | #Constraints: 34264
2662.85/2670.67 c #Conflicts: 1247000 | #Constraints: 35264
2662.85/2670.67 c #Conflicts: 1248000 | #Constraints: 36264
2662.85/2670.67 c #Conflicts: 1249000 | #Constraints: 37264
2662.85/2670.67 c #Conflicts: 1250000 | #Constraints: 38264
2662.85/2670.67 c #Conflicts: 1251000 | #Constraints: 39264
2662.85/2670.67 c #Conflicts: 1252000 | #Constraints: 40264
2662.85/2670.67 c #Conflicts: 1253000 | #Constraints: 41264
2662.85/2670.67 c #Conflicts: 1254000 | #Constraints: 42264
2662.85/2670.67 c #Conflicts: 1255000 | #Constraints: 43264
2662.85/2670.67 c #Conflicts: 1256000 | #Constraints: 44264
2662.85/2670.67 c INPROCESSING
2662.85/2670.67 c GARBAGE COLLECT
2662.85/2670.67 c #Conflicts: 1257000 | #Constraints: 23074
2662.85/2670.67 c #Conflicts: 1258000 | #Constraints: 24074
2662.85/2670.67 c #Conflicts: 1259000 | #Constraints: 25074
2662.85/2670.67 c #Conflicts: 1260000 | #Constraints: 26074
2662.85/2670.67 c #Conflicts: 1261000 | #Constraints: 27074
2662.85/2670.67 c #Conflicts: 1262000 | #Constraints: 28074
2662.85/2670.67 c #Conflicts: 1263000 | #Constraints: 29074
2662.85/2670.67 c #Conflicts: 1264000 | #Constraints: 30074
2662.85/2670.67 c #Conflicts: 1265000 | #Constraints: 31074
2662.85/2670.67 c #Conflicts: 1266000 | #Constraints: 32074
2662.85/2670.67 c #Conflicts: 1267000 | #Constraints: 33074
2662.85/2670.67 c #Conflicts: 1268000 | #Constraints: 34074
2662.85/2670.67 c #Conflicts: 1269000 | #Constraints: 35074
2662.85/2670.67 c #Conflicts: 1270000 | #Constraints: 36074
2662.85/2670.67 c #Conflicts: 1271000 | #Constraints: 37074
2662.85/2670.67 c #Conflicts: 1272000 | #Constraints: 38074
2662.85/2670.67 c #Conflicts: 1273000 | #Constraints: 39074
2662.85/2670.67 c #Conflicts: 1274000 | #Constraints: 40074
2875.53/2883.88 c #Conflicts: 1275000 | #Constraints: 41074
2875.53/2883.88 c #Conflicts: 1276000 | #Constraints: 42074
2875.53/2883.88 c #Conflicts: 1277000 | #Constraints: 43074
2875.53/2883.88 c #Conflicts: 1278000 | #Constraints: 44074
2875.53/2883.88 c #Conflicts: 1279000 | #Constraints: 45074
2875.53/2883.88 c INPROCESSING
2875.53/2883.88 c GARBAGE COLLECT
2875.53/2883.88 c #Conflicts: 1280000 | #Constraints: 23669
2875.53/2883.88 c #Conflicts: 1281000 | #Constraints: 24669
2875.53/2883.88 c #Conflicts: 1282000 | #Constraints: 25669
2875.53/2883.88 c #Conflicts: 1283000 | #Constraints: 26669
2875.53/2883.88 c #Conflicts: 1284000 | #Constraints: 27669
2875.53/2883.88 c #Conflicts: 1285000 | #Constraints: 28669
2875.53/2883.88 c #Conflicts: 1286000 | #Constraints: 29669
2875.53/2883.88 c #Conflicts: 1287000 | #Constraints: 30669
2875.53/2883.88 c #Conflicts: 1288000 | #Constraints: 31669
2875.53/2883.88 c #Conflicts: 1289000 | #Constraints: 32669
2875.53/2883.88 c #Conflicts: 1290000 | #Constraints: 33669
2875.53/2883.88 c #Conflicts: 1291000 | #Constraints: 34669
2875.53/2883.88 c #Conflicts: 1292000 | #Constraints: 35669
2875.53/2883.88 c #Conflicts: 1293000 | #Constraints: 36669
2875.53/2883.88 c #Conflicts: 1294000 | #Constraints: 37669
2875.53/2883.88 c #Conflicts: 1295000 | #Constraints: 38669
2875.53/2883.88 c #Conflicts: 1296000 | #Constraints: 39669
2875.53/2883.88 c #Conflicts: 1297000 | #Constraints: 40669
2875.53/2883.88 c #Conflicts: 1298000 | #Constraints: 41669
2875.53/2883.88 c #Conflicts: 1299000 | #Constraints: 42669
2875.53/2883.88 c #Conflicts: 1300000 | #Constraints: 43669
2875.53/2883.88 c #Conflicts: 1301000 | #Constraints: 44669
2875.53/2883.88 c #Conflicts: 1302000 | #Constraints: 45669
2875.53/2883.88 c INPROCESSING
2875.53/2883.88 c GARBAGE COLLECT
2875.53/2883.88 c #Conflicts: 1303000 | #Constraints: 24074
2875.53/2883.88 c #Conflicts: 1304000 | #Constraints: 25074
2875.53/2883.88 c #Conflicts: 1305000 | #Constraints: 26074
2875.53/2883.88 c #Conflicts: 1306000 | #Constraints: 27074
2875.53/2883.88 c #Conflicts: 1307000 | #Constraints: 28074
2875.53/2883.88 c #Conflicts: 1308000 | #Constraints: 29074
2875.53/2883.88 c #Conflicts: 1309000 | #Constraints: 30074
2875.53/2883.88 c #Conflicts: 1310000 | #Constraints: 31074
2875.53/2883.88 c #Conflicts: 1311000 | #Constraints: 32074
2875.53/2883.88 c #Conflicts: 1312000 | #Constraints: 33074
2875.53/2883.88 c #Conflicts: 1313000 | #Constraints: 34074
2875.53/2883.88 c #Conflicts: 1314000 | #Constraints: 35074
2875.53/2883.88 c #Conflicts: 1315000 | #Constraints: 36074
2875.53/2883.88 c #Conflicts: 1316000 | #Constraints: 37074
2875.53/2883.88 c #Conflicts: 1317000 | #Constraints: 38074
2875.53/2883.88 c #Conflicts: 1318000 | #Constraints: 39074
2875.53/2883.88 c #Conflicts: 1319000 | #Constraints: 40074
2875.53/2883.88 c #Conflicts: 1320000 | #Constraints: 41074
2875.53/2883.88 c #Conflicts: 1321000 | #Constraints: 42074
2875.53/2883.88 c #Conflicts: 1322000 | #Constraints: 43074
2875.53/2883.88 c #Conflicts: 1323000 | #Constraints: 44074
2875.53/2883.88 c #Conflicts: 1324000 | #Constraints: 45074
2875.53/2883.88 c #Conflicts: 1325000 | #Constraints: 46074
2875.53/2883.88 c INPROCESSING
2875.53/2883.88 c GARBAGE COLLECT
2875.53/2883.88 c #Conflicts: 1326000 | #Constraints: 24266
2875.53/2883.88 c #Conflicts: 1327000 | #Constraints: 25266
2875.53/2883.88 c #Conflicts: 1328000 | #Constraints: 26266
2875.53/2883.88 c #Conflicts: 1329000 | #Constraints: 27266
2875.53/2883.88 c #Conflicts: 1330000 | #Constraints: 28266
2875.53/2883.88 c #Conflicts: 1331000 | #Constraints: 29266
2875.53/2883.88 c #Conflicts: 1332000 | #Constraints: 30266
2875.53/2883.88 c #Conflicts: 1333000 | #Constraints: 31266
2875.53/2883.88 c #Conflicts: 1334000 | #Constraints: 32266
2875.53/2883.88 c #Conflicts: 1335000 | #Constraints: 33266
2875.53/2883.88 c #Conflicts: 1336000 | #Constraints: 34266
2875.53/2883.88 c #Conflicts: 1337000 | #Constraints: 35266
2875.53/2883.88 c #Conflicts: 1338000 | #Constraints: 36266
2875.53/2883.88 c #Conflicts: 1339000 | #Constraints: 37266
2875.53/2883.88 c #Conflicts: 1340000 | #Constraints: 38266
2875.53/2883.88 c #Conflicts: 1341000 | #Constraints: 39266
2875.53/2883.88 c #Conflicts: 1342000 | #Constraints: 40266
2875.53/2883.88 c #Conflicts: 1343000 | #Constraints: 41266
2875.53/2883.88 c #Conflicts: 1344000 | #Constraints: 42266
2875.53/2883.88 c #Conflicts: 1345000 | #Constraints: 43266
2875.53/2883.88 c #Conflicts: 1346000 | #Constraints: 44266
2875.53/2883.88 c #Conflicts: 1347000 | #Constraints: 45266
2875.53/2883.88 c #Conflicts: 1348000 | #Constraints: 46266
2875.53/2883.88 c INPROCESSING
2875.53/2883.88 c GARBAGE COLLECT
2875.53/2883.88 c #Conflicts: 1349000 | #Constraints: 24287
2875.53/2883.88 c #Conflicts: 1350000 | #Constraints: 25287
3071.75/3080.54 c #Conflicts: 1351000 | #Constraints: 26287
3071.75/3080.54 c #Conflicts: 1352000 | #Constraints: 27287
3071.75/3080.54 c #Conflicts: 1353000 | #Constraints: 28287
3071.75/3080.54 c #Conflicts: 1354000 | #Constraints: 29287
3071.75/3080.54 c #Conflicts: 1355000 | #Constraints: 30287
3071.75/3080.54 c #Conflicts: 1356000 | #Constraints: 31287
3071.75/3080.54 c #Conflicts: 1357000 | #Constraints: 32287
3071.75/3080.54 c #Conflicts: 1358000 | #Constraints: 33287
3071.75/3080.54 c #Conflicts: 1359000 | #Constraints: 34287
3071.75/3080.54 c #Conflicts: 1360000 | #Constraints: 35287
3071.75/3080.54 c #Conflicts: 1361000 | #Constraints: 36287
3071.75/3080.54 c #Conflicts: 1362000 | #Constraints: 37287
3071.75/3080.54 c #Conflicts: 1363000 | #Constraints: 38287
3071.75/3080.54 c #Conflicts: 1364000 | #Constraints: 39287
3071.75/3080.54 c #Conflicts: 1365000 | #Constraints: 40287
3071.75/3080.54 c #Conflicts: 1366000 | #Constraints: 41287
3071.75/3080.54 c #Conflicts: 1367000 | #Constraints: 42287
3071.75/3080.54 c #Conflicts: 1368000 | #Constraints: 43287
3071.75/3080.54 c #Conflicts: 1369000 | #Constraints: 44287
3071.75/3080.54 c #Conflicts: 1370000 | #Constraints: 45287
3071.75/3080.54 c #Conflicts: 1371000 | #Constraints: 46287
3071.75/3080.54 c INPROCESSING
3071.75/3080.54 c GARBAGE COLLECT
3071.75/3080.54 c #Conflicts: 1372000 | #Constraints: 24073
3071.75/3080.54 c #Conflicts: 1373000 | #Constraints: 25073
3071.75/3080.54 c #Conflicts: 1374000 | #Constraints: 26073
3071.75/3080.54 c #Conflicts: 1375000 | #Constraints: 27073
3071.75/3080.54 c #Conflicts: 1376000 | #Constraints: 28073
3071.75/3080.54 c #Conflicts: 1377000 | #Constraints: 29073
3071.75/3080.54 c #Conflicts: 1378000 | #Constraints: 30073
3071.75/3080.54 c #Conflicts: 1379000 | #Constraints: 31073
3071.75/3080.54 c #Conflicts: 1380000 | #Constraints: 32073
3071.75/3080.54 c #Conflicts: 1381000 | #Constraints: 33073
3071.75/3080.54 c #Conflicts: 1382000 | #Constraints: 34073
3071.75/3080.54 c #Conflicts: 1383000 | #Constraints: 35073
3071.75/3080.54 c #Conflicts: 1384000 | #Constraints: 36073
3071.75/3080.54 c #Conflicts: 1385000 | #Constraints: 37073
3071.75/3080.54 c #Conflicts: 1386000 | #Constraints: 38073
3071.75/3080.54 c #Conflicts: 1387000 | #Constraints: 39073
3071.75/3080.54 c #Conflicts: 1388000 | #Constraints: 40073
3071.75/3080.54 c #Conflicts: 1389000 | #Constraints: 41073
3071.75/3080.54 c #Conflicts: 1390000 | #Constraints: 42073
3071.75/3080.54 c #Conflicts: 1391000 | #Constraints: 43073
3071.75/3080.54 c #Conflicts: 1392000 | #Constraints: 44073
3071.75/3080.54 c #Conflicts: 1393000 | #Constraints: 45073
3071.75/3080.54 c #Conflicts: 1394000 | #Constraints: 46073
3071.75/3080.54 c #Conflicts: 1395000 | #Constraints: 47073
3071.75/3080.54 c INPROCESSING
3071.75/3080.54 c GARBAGE COLLECT
3071.75/3080.54 c #Conflicts: 1396000 | #Constraints: 24685
3071.75/3080.54 c #Conflicts: 1397000 | #Constraints: 25685
3071.75/3080.54 c #Conflicts: 1398000 | #Constraints: 26685
3071.75/3080.54 c #Conflicts: 1399000 | #Constraints: 27685
3071.75/3080.54 c #Conflicts: 1400000 | #Constraints: 28685
3071.75/3080.54 c #Conflicts: 1401000 | #Constraints: 29685
3071.75/3080.54 c #Conflicts: 1402000 | #Constraints: 30685
3071.75/3080.54 c #Conflicts: 1403000 | #Constraints: 31685
3071.75/3080.54 c #Conflicts: 1404000 | #Constraints: 32685
3071.75/3080.54 c #Conflicts: 1405000 | #Constraints: 33685
3071.75/3080.54 c #Conflicts: 1406000 | #Constraints: 34685
3071.75/3080.54 c #Conflicts: 1407000 | #Constraints: 35685
3071.75/3080.54 c #Conflicts: 1408000 | #Constraints: 36685
3071.75/3080.54 c #Conflicts: 1409000 | #Constraints: 37685
3071.75/3080.54 c #Conflicts: 1410000 | #Constraints: 38685
3071.75/3080.54 c #Conflicts: 1411000 | #Constraints: 39685
3071.75/3080.54 c #Conflicts: 1412000 | #Constraints: 40685
3071.75/3080.54 c #Conflicts: 1413000 | #Constraints: 41685
3071.75/3080.54 c #Conflicts: 1414000 | #Constraints: 42685
3071.75/3080.54 c #Conflicts: 1415000 | #Constraints: 43685
3071.75/3080.54 c #Conflicts: 1416000 | #Constraints: 44685
3071.75/3080.54 c #Conflicts: 1417000 | #Constraints: 45685
3071.75/3080.54 c #Conflicts: 1418000 | #Constraints: 46685
3071.75/3080.54 c #Conflicts: 1419000 | #Constraints: 47685
3071.75/3080.54 c INPROCESSING
3071.75/3080.54 c GARBAGE COLLECT
3071.75/3080.54 c #Conflicts: 1420000 | #Constraints: 25101
3071.75/3080.54 c #Conflicts: 1421000 | #Constraints: 26101
3071.75/3080.54 c #Conflicts: 1422000 | #Constraints: 27101
3071.75/3080.54 c #Conflicts: 1423000 | #Constraints: 28101
3071.75/3080.54 c #Conflicts: 1424000 | #Constraints: 29101
3071.75/3080.54 c #Conflicts: 1425000 | #Constraints: 30101
3071.75/3080.54 c #Conflicts: 1426000 | #Constraints: 31101
3071.75/3080.54 c #Conflicts: 1427000 | #Constraints: 32101
3248.33/3257.56 c #Conflicts: 1428000 | #Constraints: 33101
3248.33/3257.56 c #Conflicts: 1429000 | #Constraints: 34101
3248.33/3257.56 c #Conflicts: 1430000 | #Constraints: 35101
3248.33/3257.56 c #Conflicts: 1431000 | #Constraints: 36101
3248.33/3257.56 c #Conflicts: 1432000 | #Constraints: 37101
3248.33/3257.56 c #Conflicts: 1433000 | #Constraints: 38101
3248.33/3257.56 c #Conflicts: 1434000 | #Constraints: 39101
3248.33/3257.56 c #Conflicts: 1435000 | #Constraints: 40101
3248.33/3257.56 c #Conflicts: 1436000 | #Constraints: 41101
3248.33/3257.56 c #Conflicts: 1437000 | #Constraints: 42101
3248.33/3257.56 c #Conflicts: 1438000 | #Constraints: 43101
3248.33/3257.56 c #Conflicts: 1439000 | #Constraints: 44101
3248.33/3257.56 c #Conflicts: 1440000 | #Constraints: 45101
3248.33/3257.56 c #Conflicts: 1441000 | #Constraints: 46101
3248.33/3257.56 c #Conflicts: 1442000 | #Constraints: 47101
3248.33/3257.56 c #Conflicts: 1443000 | #Constraints: 48101
3248.33/3257.56 c INPROCESSING
3248.33/3257.56 c GARBAGE COLLECT
3248.33/3257.56 c #Conflicts: 1444000 | #Constraints: 25278
3248.33/3257.56 c #Conflicts: 1445000 | #Constraints: 26278
3248.33/3257.56 c #Conflicts: 1446000 | #Constraints: 27278
3248.33/3257.56 c #Conflicts: 1447000 | #Constraints: 28278
3248.33/3257.56 c #Conflicts: 1448000 | #Constraints: 29278
3248.33/3257.56 c #Conflicts: 1449000 | #Constraints: 30278
3248.33/3257.56 c #Conflicts: 1450000 | #Constraints: 31278
3248.33/3257.56 c #Conflicts: 1451000 | #Constraints: 32278
3248.33/3257.56 c #Conflicts: 1452000 | #Constraints: 33278
3248.33/3257.56 c #Conflicts: 1453000 | #Constraints: 34278
3248.33/3257.56 c #Conflicts: 1454000 | #Constraints: 35278
3248.33/3257.56 c #Conflicts: 1455000 | #Constraints: 36278
3248.33/3257.56 c #Conflicts: 1456000 | #Constraints: 37278
3248.33/3257.56 c #Conflicts: 1457000 | #Constraints: 38278
3248.33/3257.56 c #Conflicts: 1458000 | #Constraints: 39278
3248.33/3257.56 c #Conflicts: 1459000 | #Constraints: 40278
3248.33/3257.56 c #Conflicts: 1460000 | #Constraints: 41278
3248.33/3257.56 c #Conflicts: 1461000 | #Constraints: 42278
3248.33/3257.56 c #Conflicts: 1462000 | #Constraints: 43278
3248.33/3257.56 c #Conflicts: 1463000 | #Constraints: 44278
3248.33/3257.56 c #Conflicts: 1464000 | #Constraints: 45278
3248.33/3257.56 c #Conflicts: 1465000 | #Constraints: 46278
3248.33/3257.56 c #Conflicts: 1466000 | #Constraints: 47278
3248.33/3257.56 c #Conflicts: 1467000 | #Constraints: 48278
3248.33/3257.56 c INPROCESSING
3248.33/3257.56 c GARBAGE COLLECT
3248.33/3257.56 c #Conflicts: 1468000 | #Constraints: 25267
3248.33/3257.56 c #Conflicts: 1469000 | #Constraints: 26267
3248.33/3257.56 c #Conflicts: 1470000 | #Constraints: 27267
3248.33/3257.56 c #Conflicts: 1471000 | #Constraints: 28267
3248.33/3257.56 c #Conflicts: 1472000 | #Constraints: 29267
3248.33/3257.56 c #Conflicts: 1473000 | #Constraints: 30267
3248.33/3257.56 c #Conflicts: 1474000 | #Constraints: 31267
3248.33/3257.56 c #Conflicts: 1475000 | #Constraints: 32267
3248.33/3257.56 c #Conflicts: 1476000 | #Constraints: 33267
3248.33/3257.56 c #Conflicts: 1477000 | #Constraints: 34267
3248.33/3257.56 c #Conflicts: 1478000 | #Constraints: 35267
3248.33/3257.56 c #Conflicts: 1479000 | #Constraints: 36267
3248.33/3257.56 c #Conflicts: 1480000 | #Constraints: 37267
3248.33/3257.56 c #Conflicts: 1481000 | #Constraints: 38267
3248.33/3257.56 c #Conflicts: 1482000 | #Constraints: 39267
3248.33/3257.56 c #Conflicts: 1483000 | #Constraints: 40267
3248.33/3257.56 c #Conflicts: 1484000 | #Constraints: 41267
3248.33/3257.56 c #Conflicts: 1485000 | #Constraints: 42267
3248.33/3257.56 c #Conflicts: 1486000 | #Constraints: 43267
3248.33/3257.56 c #Conflicts: 1487000 | #Constraints: 44267
3248.33/3257.56 c #Conflicts: 1488000 | #Constraints: 45267
3248.33/3257.56 c #Conflicts: 1489000 | #Constraints: 46267
3248.33/3257.56 c #Conflicts: 1490000 | #Constraints: 47267
3248.33/3257.56 c #Conflicts: 1491000 | #Constraints: 48267
3248.33/3257.56 c INPROCESSING
3248.33/3257.56 c GARBAGE COLLECT
3248.33/3257.56 c #Conflicts: 1492000 | #Constraints: 25070
3248.33/3257.56 c #Conflicts: 1493000 | #Constraints: 26070
3248.33/3257.56 c #Conflicts: 1494000 | #Constraints: 27070
3248.33/3257.56 c #Conflicts: 1495000 | #Constraints: 28070
3248.33/3257.56 c #Conflicts: 1496000 | #Constraints: 29070
3248.33/3257.56 c #Conflicts: 1497000 | #Constraints: 30070
3248.33/3257.56 c #Conflicts: 1498000 | #Constraints: 31070
3248.33/3257.56 c #Conflicts: 1499000 | #Constraints: 32070
3248.33/3257.56 c #Conflicts: 1500000 | #Constraints: 33070
3248.33/3257.56 c #Conflicts: 1501000 | #Constraints: 34070
3248.33/3257.56 c #Conflicts: 1502000 | #Constraints: 35070
3248.33/3257.56 c #Conflicts: 1503000 | #Constraints: 36070
3248.33/3257.56 c #Conflicts: 1504000 | #Constraints: 37070
3450.04/3459.74 c #Conflicts: 1505000 | #Constraints: 38070
3450.04/3459.74 c #Conflicts: 1506000 | #Constraints: 39070
3450.04/3459.74 c #Conflicts: 1507000 | #Constraints: 40070
3450.04/3459.74 c #Conflicts: 1508000 | #Constraints: 41070
3450.04/3459.74 c #Conflicts: 1509000 | #Constraints: 42070
3450.04/3459.74 c #Conflicts: 1510000 | #Constraints: 43070
3450.04/3459.74 c #Conflicts: 1511000 | #Constraints: 44070
3450.04/3459.74 c #Conflicts: 1512000 | #Constraints: 45070
3450.04/3459.74 c #Conflicts: 1513000 | #Constraints: 46070
3450.04/3459.74 c #Conflicts: 1514000 | #Constraints: 47070
3450.04/3459.74 c #Conflicts: 1515000 | #Constraints: 48070
3450.04/3459.74 c #Conflicts: 1516000 | #Constraints: 49070
3450.04/3459.74 c INPROCESSING
3450.04/3459.74 c GARBAGE COLLECT
3450.04/3459.74 c #Conflicts: 1517000 | #Constraints: 25662
3450.04/3459.74 c #Conflicts: 1518000 | #Constraints: 26662
3450.04/3459.74 c #Conflicts: 1519000 | #Constraints: 27662
3450.04/3459.74 c #Conflicts: 1520000 | #Constraints: 28662
3450.04/3459.74 c #Conflicts: 1521000 | #Constraints: 29662
3450.04/3459.74 c #Conflicts: 1522000 | #Constraints: 30662
3450.04/3459.74 c #Conflicts: 1523000 | #Constraints: 31662
3450.04/3459.74 c #Conflicts: 1524000 | #Constraints: 32662
3450.04/3459.74 c #Conflicts: 1525000 | #Constraints: 33662
3450.04/3459.74 c #Conflicts: 1526000 | #Constraints: 34662
3450.04/3459.74 c #Conflicts: 1527000 | #Constraints: 35662
3450.04/3459.74 c #Conflicts: 1528000 | #Constraints: 36662
3450.04/3459.74 c #Conflicts: 1529000 | #Constraints: 37662
3450.04/3459.74 c #Conflicts: 1530000 | #Constraints: 38662
3450.04/3459.74 c #Conflicts: 1531000 | #Constraints: 39662
3450.04/3459.74 c #Conflicts: 1532000 | #Constraints: 40662
3450.04/3459.74 c #Conflicts: 1533000 | #Constraints: 41662
3450.04/3459.74 c #Conflicts: 1534000 | #Constraints: 42662
3450.04/3459.74 c #Conflicts: 1535000 | #Constraints: 43662
3450.04/3459.74 c #Conflicts: 1536000 | #Constraints: 44662
3450.04/3459.74 c #Conflicts: 1537000 | #Constraints: 45662
3450.04/3459.74 c #Conflicts: 1538000 | #Constraints: 46662
3450.04/3459.74 c #Conflicts: 1539000 | #Constraints: 47662
3450.04/3459.74 c #Conflicts: 1540000 | #Constraints: 48662
3450.04/3459.74 c #Conflicts: 1541000 | #Constraints: 49662
3450.04/3459.74 c INPROCESSING
3450.04/3459.74 c GARBAGE COLLECT
3450.04/3459.74 c #Conflicts: 1542000 | #Constraints: 26059
3450.04/3459.74 c #Conflicts: 1543000 | #Constraints: 27059
3450.04/3459.74 c #Conflicts: 1544000 | #Constraints: 28059
3450.04/3459.74 c #Conflicts: 1545000 | #Constraints: 29059
3450.04/3459.74 c #Conflicts: 1546000 | #Constraints: 30059
3450.04/3459.74 c #Conflicts: 1547000 | #Constraints: 31059
3450.04/3459.74 c #Conflicts: 1548000 | #Constraints: 32059
3450.04/3459.74 c #Conflicts: 1549000 | #Constraints: 33059
3450.04/3459.74 c #Conflicts: 1550000 | #Constraints: 34059
3450.04/3459.74 c #Conflicts: 1551000 | #Constraints: 35059
3450.04/3459.74 c #Conflicts: 1552000 | #Constraints: 36059
3450.04/3459.74 c #Conflicts: 1553000 | #Constraints: 37059
3450.04/3459.74 c #Conflicts: 1554000 | #Constraints: 38059
3450.04/3459.74 c #Conflicts: 1555000 | #Constraints: 39059
3450.04/3459.74 c #Conflicts: 1556000 | #Constraints: 40059
3450.04/3459.74 c #Conflicts: 1557000 | #Constraints: 41059
3450.04/3459.74 c #Conflicts: 1558000 | #Constraints: 42059
3450.04/3459.74 c #Conflicts: 1559000 | #Constraints: 43059
3450.04/3459.74 c #Conflicts: 1560000 | #Constraints: 44059
3450.04/3459.74 c #Conflicts: 1561000 | #Constraints: 45059
3450.04/3459.74 c #Conflicts: 1562000 | #Constraints: 46059
3450.04/3459.74 c #Conflicts: 1563000 | #Constraints: 47059
3450.04/3459.74 c #Conflicts: 1564000 | #Constraints: 48059
3450.04/3459.74 c #Conflicts: 1565000 | #Constraints: 49059
3450.04/3459.74 c #Conflicts: 1566000 | #Constraints: 50059
3450.04/3459.74 c INPROCESSING
3450.04/3459.74 c GARBAGE COLLECT
3450.04/3459.74 c #Conflicts: 1567000 | #Constraints: 26271
3450.04/3459.74 c #Conflicts: 1568000 | #Constraints: 27271
3450.04/3459.74 c #Conflicts: 1569000 | #Constraints: 28271
3450.04/3459.74 c #Conflicts: 1570000 | #Constraints: 29271
3450.04/3459.74 c #Conflicts: 1571000 | #Constraints: 30271
3450.04/3459.74 c #Conflicts: 1572000 | #Constraints: 31271
3450.04/3459.74 c #Conflicts: 1573000 | #Constraints: 32271
3450.04/3459.74 c #Conflicts: 1574000 | #Constraints: 33271
3450.04/3459.74 c #Conflicts: 1575000 | #Constraints: 34271
3450.04/3459.74 c #Conflicts: 1576000 | #Constraints: 35271
3450.04/3459.74 c #Conflicts: 1577000 | #Constraints: 36271
3450.04/3459.74 c #Conflicts: 1578000 | #Constraints: 37271
3450.04/3459.74 c #Conflicts: 1579000 | #Constraints: 38271
3450.04/3459.74 c #Conflicts: 1580000 | #Constraints: 39271
3450.04/3459.74 c #Conflicts: 1581000 | #Constraints: 40271
3600.08/3610.10 c #Conflicts: 1582000 | #Constraints: 41271
3600.08/3610.10 c #Conflicts: 1583000 | #Constraints: 42271
3600.08/3610.10 c #Conflicts: 1584000 | #Constraints: 43271
3600.08/3610.10 c #Conflicts: 1585000 | #Constraints: 44271
3600.08/3610.10 c #Conflicts: 1586000 | #Constraints: 45271
3600.08/3610.10 c #Conflicts: 1587000 | #Constraints: 46271
3600.08/3610.10 c #Conflicts: 1588000 | #Constraints: 47271
3600.08/3610.10 c #Conflicts: 1589000 | #Constraints: 48271
3600.08/3610.10 c #Conflicts: 1590000 | #Constraints: 49271
3600.08/3610.10 c #Conflicts: 1591000 | #Constraints: 50271
3600.08/3610.10 c INPROCESSING
3600.08/3610.10 c GARBAGE COLLECT
3600.08/3610.10 c #Conflicts: 1592000 | #Constraints: 26309
3600.08/3610.10 c #Conflicts: 1593000 | #Constraints: 27309
3600.08/3610.10 c #Conflicts: 1594000 | #Constraints: 28309
3600.08/3610.10 c #Conflicts: 1595000 | #Constraints: 29309
3600.08/3610.10 c #Conflicts: 1596000 | #Constraints: 30309
3600.08/3610.10 c #Conflicts: 1597000 | #Constraints: 31309
3600.08/3610.10 c #Conflicts: 1598000 | #Constraints: 32309
3600.08/3610.10 c #Conflicts: 1599000 | #Constraints: 33309
3600.08/3610.10 c #Conflicts: 1600000 | #Constraints: 34309
3600.08/3610.10 c #Conflicts: 1601000 | #Constraints: 35309
3600.08/3610.10 c #Conflicts: 1602000 | #Constraints: 36309
3600.08/3610.10 c #Conflicts: 1603000 | #Constraints: 37309
3600.08/3610.10 c #Conflicts: 1604000 | #Constraints: 38309
3600.08/3610.10 c #Conflicts: 1605000 | #Constraints: 39309
3600.08/3610.10 c #Conflicts: 1606000 | #Constraints: 40309
3600.08/3610.10 c #Conflicts: 1607000 | #Constraints: 41309
3600.08/3610.10 c #Conflicts: 1608000 | #Constraints: 42309
3600.08/3610.10 c #Conflicts: 1609000 | #Constraints: 43309
3600.08/3610.10 c #Conflicts: 1610000 | #Constraints: 44309
3600.08/3610.10 c #Conflicts: 1611000 | #Constraints: 45309
3600.08/3610.10 c Program interrupted by user.
3600.08/3610.10 c cpu time 3587.63 s
3600.08/3610.10 c deterministic time 536485912375 5.36e+11
3600.08/3610.10 c optimization time 100.909 s
3600.08/3610.10 c total solve time 3187.84 s
3600.08/3610.10 c core-guided solve time 0 s
3600.08/3610.10 c propagation time 2691.21 s
3600.08/3610.10 c conflict analysis time 549.063 s
3600.08/3610.10 c propagations 346678038
3600.08/3610.10 c resolve steps 15644715
3600.08/3610.10 c decisions 6723109
3600.08/3610.10 c conflicts 1611315
3600.08/3610.10 c restarts 3069
3600.08/3610.10 c inprocessing phases 117
3600.08/3610.10 c input clauses 49
3600.08/3610.10 c input cardinalities 49
3600.08/3610.10 c input general constraints 320
3600.08/3610.10 c input average constraint length 47.68
3600.08/3610.10 c input average constraint degree 427.67
3600.08/3610.10 c learned clauses 210657
3600.08/3610.10 c learned cardinalities 14149
3600.08/3610.10 c learned general constraints 1386509
3600.08/3610.10 c learned average constraint length 370.75
3600.08/3610.10 c learned average constraint degree 12744102.27
3600.08/3610.10 c watched constraints 1061964
3600.08/3610.10 c counting constraints 324865
3600.08/3610.10 c gcd simplifications 132301
3600.08/3610.10 c detected cardinalities 452
3600.08/3610.10 c weakened non-implied lits 105305301
3600.08/3610.10 c weakened non-implying lits 219423
3600.08/3610.10 c original variables 2130
3600.08/3610.10 c clausal propagations 2281526
3600.08/3610.10 c cardinality propagations 7191884
3600.08/3610.10 c watched propagations 15270467
3600.08/3610.10 c counting propagations 320433451
3600.08/3610.10 c watch lookups 54083021293
3600.08/3610.10 c watch backjump lookups 49794444356
3600.08/3610.10 c watch checks 351835693545
3600.08/3610.10 c propagation checks 77844007827
3600.08/3610.10 c constraint additions 2220333052
3600.08/3610.10 c trail pops 355011154
3600.08/3610.10 c formula constraints 418
3600.08/3610.10 c learned constraints 1611315
3600.08/3610.10 c bound constraints 0
3600.08/3610.10 c core-guided constraints 0
3600.08/3610.10 c encountered formula constraints 8931582
3600.08/3610.10 c encountered learned constraints 8324448
3600.08/3610.10 c encountered bound constraints 0
3600.08/3610.10 c encountered core-guided constraints 0
3600.08/3610.10 c LP total time 0 s
3600.08/3610.10 c LP solve time 0 s
3600.08/3610.10 c LP constraints added 0
3600.08/3610.10 c LP constraints removed 0
3600.08/3610.10 c LP pivots internal 0
3600.08/3610.10 c LP pivots root 0
3600.08/3610.10 c LP calls 0
3600.08/3610.10 c LP optimalities 0
3600.08/3610.10 c LP no pivot count 0
3600.08/3610.10 c LP infeasibilities 0
3600.08/3610.10 c LP valid Farkas constraints 0
3600.08/3610.10 c LP learned Farkas constraints 0
3600.08/3610.10 c LP basis resets 0
3600.08/3610.10 c LP cycling count 0
3600.08/3610.10 c LP singular count 0
3600.08/3610.10 c LP no primal count 0
3600.08/3610.10 c LP no farkas count 0
3600.08/3610.10 c LP other issue count 0
3600.08/3610.10 c LP Gomory cuts 0
3600.08/3610.10 c LP learned cuts 0
3600.08/3610.10 c LP deleted cuts 0
3600.08/3610.10 c LP encountered Gomory constraints 0
3600.08/3610.10 c LP encountered Farkas constraints 0
3600.08/3610.10 c LP encountered learned Farkas constraints 0
3600.08/3610.10 c CG auxiliary variables introduced 0
3600.08/3610.10 c CG solutions found 0
3600.08/3610.10 c CG cores constructed 0
3600.08/3610.10 c CG core cardinality constraints returned 0
3600.08/3610.10 c CG unit cores 0
3600.08/3610.10 c CG single cores 0
3600.08/3610.10 c CG blocks removed during cardinality reduction 0
3600.08/3610.10 c CG first core best 0
3600.08/3610.10 c CG decision core best 0
3600.08/3610.10 c CG core reduction tie 0
3600.08/3610.10 c CG core degree average 0.00
3600.08/3610.10 c CG core slack average 0.00
3600.08/3610.10 c CG exhausted 0
3600.08/3610.10 c CG exhaust time 0 s
3600.08/3610.10 c CG trimmed 0
3600.08/3610.10 c CG trim time 0 s
3600.08/3610.10 c CG minimized 0
3600.08/3610.10 c CG minimize time 0 s
3600.08/3610.10 c CG am1 prop time 0 s
3600.08/3610.10 c CG # am1s reformulated 0
3600.08/3610.10 c CG lower bound derived from am1s 0
3600.08/3610.10 c CG # clausal cores 0
3600.08/3610.10 c CG # cardinality cores 0
3600.08/3610.10 c CG # pb cores 0
3600.08/3610.10 c CG # pb reforms 0
3600.08/3610.10 c CG # cores discarded because of pb reform 0
3600.08/3610.10 d LOWERBOUND 0
3600.08/3610.10 d NCORES 0
3600.08/3610.10 d NPBCORES 0
3600.08/3610.10 d NPBREFORM 0
3600.08/3610.10 d NTRIMMED 0
3600.08/3610.10 d NEXHAUSTED 0
3600.08/3610.10 d NAM1S 0
3600.08/3610.10 d AM1LB 0
3600.08/3610.10 c [Papilo Statistics]
3600.08/3610.10 c prepro time 0.00588324s
3600.08/3610.10 c # tsx applied 10
3600.08/3610.10 c # tsx conflicts 0
3600.08/3610.10 c # bound changes 5
3600.08/3610.10 c # side changes 0
3600.08/3610.10 c # coef changes 0
3600.08/3610.10 c # rounds 2
3600.08/3610.10 c # deted vars 5
3600.08/3610.10 c # deted constrs 2126
3600.08/3610.10 c # consecutive rounds of only bound changes 0
3600.08/3610.10 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (50646 MiB free)
memory of node 1: 64465 MiB (55311 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499065-1751404603/watcher-4499065-1751404603 -o /tmp/evaluation-result-4499065-1751404603/solver-4499065-1751404603 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751397381-55036 --watchdog 3760 mixed-bag HOME/instance-4499065-1751404603.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=56185, runsolver pid=56178
[startup+0.100067 s]*
/proc/loadavg: 4.29 4.16 4.11 5/262 56186
/proc/meminfo: memFree=108458892/131249988 swapFree=33010416/33010684
[pid=56185] ppid=56178 vsize=111804 memory=37212 CPUtime=0.08 cores=4,6
/proc/56185/stat : 56185 (mixed-bag) R 56178 56185 55025 0 -1 4194304 5980 0 0 0 7 1 0 0 20 0 1 0 56138843 114487296 9303 18446744073709551615 4235264 15874749 140725453720176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48267264 140725453724060 140725453724137 140725453724137 140725453729739 0
/proc/56185/statm: 27951 9303 4096 2842 0 9645 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 111804 KiB
Current children cumulated memory: 37212 KiB
[startup+0.205535 s]*
/proc/loadavg: 4.29 4.16 4.11 4/260 56186
/proc/meminfo: memFree=108893912/131249988 swapFree=33010416/33010684
[pid=56185] ppid=56178 vsize=122924 memory=44636 CPUtime=0.18 cores=4,6
/proc/56185/stat : 56185 (mixed-bag) R 56178 56185 55025 0 -1 4194304 7863 0 0 0 17 1 0 0 20 0 1 0 56138843 125874176 11159 18446744073709551615 4235264 15874749 140725453720176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48267264 140725453724060 140725453724137 140725453724137 140725453729739 0
/proc/56185/statm: 30731 11159 4096 2842 0 12425 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 122924 KiB
Current children cumulated memory: 44636 KiB
[startup+0.305243 s]*
/proc/loadavg: 4.29 4.16 4.11 4/258 56187
/proc/meminfo: memFree=108875560/131249988 swapFree=33010416/33010684
[pid=56185] ppid=56178 vsize=133124 memory=54364 CPUtime=0.28 cores=4,6
/proc/56185/stat : 56185 (mixed-bag) R 56178 56185 55025 0 -1 4194304 10273 0 0 0 27 1 0 0 20 0 1 0 56138843 136318976 13591 18446744073709551615 4235264 15874749 140725453720176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48267264 140725453724060 140725453724137 140725453724137 140725453729739 0
/proc/56185/statm: 33281 13591 4096 2842 0 14975 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 133124 KiB
Current children cumulated memory: 54364 KiB
[startup+0.700142 s]
/proc/loadavg: 4.29 4.16 4.11 4/260 56200
/proc/meminfo: memFree=108863880/131249988 swapFree=33010416/33010684
[pid=56185] ppid=56178 vsize=134028 memory=55260 CPUtime=0.67 cores=4,6
/proc/56185/stat : 56185 (mixed-bag) R 56178 56185 55025 0 -1 4194304 10510 0 0 0 65 2 0 0 20 0 1 0 56138843 137244672 13815 18446744073709551615 4235264 15874749 140725453720176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48267264 140725453724060 140725453724137 140725453724137 140725453729739 0
/proc/56185/statm: 33507 13815 4096 2842 0 15201 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 134028 KiB
Current children cumulated memory: 55260 KiB
[startup+1.50013 s]
/proc/loadavg: 4.29 4.16 4.11 5/262 56231
/proc/meminfo: memFree=108822528/131249988 swapFree=33010416/33010684
[pid=56185] ppid=56178 vsize=172200 memory=92456 CPUtime=1.46 cores=4,6
/proc/56185/stat : 56185 (mixed-bag) R 56178 56185 55025 0 -1 4194304 21229 0 0 0 143 3 0 0 20 0 1 0 56138843 176332800 23114 18446744073709551615 4235264 15874749 140725453720176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48267264 140725453724060 140725453724137 140725453724137 140725453729739 0
/proc/56185/statm: 43050 23114 4288 2842 0 24744 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 172200 KiB
Current children cumulated memory: 92456 KiB
[startup+3.10519 s]
/proc/loadavg: 4.29 4.16 4.11 5/262 56231
/proc/meminfo: memFree=108704424/131249988 swapFree=33010416/33010684
[pid=56185] ppid=56178 vsize=176920 memory=98540 CPUtime=3.06 cores=4,6
/proc/56185/stat : 56185 (mixed-bag) R 56178 56185 55025 0 -1 4194304 24044 0 0 0 302 4 0 0 20 0 1 0 56138843 181166080 24635 18446744073709551615 4235264 15874749 140725453720176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48267264 140725453724060 140725453724137 140725453724137 140725453729739 0
/proc/56185/statm: 44230 24635 4288 2842 0 25924 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 176920 KiB
Current children cumulated memory: 98540 KiB
[startup+6.30015 s]
/proc/loadavg: 4.26 4.16 4.11 4/258 56272
/proc/meminfo: memFree=108697492/131249988 swapFree=33010416/33010684
[pid=56185] ppid=56178 vsize=186620 memory=107128 CPUtime=6.23 cores=4,6
/proc/56185/stat : 56185 (mixed-bag) R 56178 56185 55025 0 -1 4194304 27281 0 0 0 618 5 0 0 20 0 1 0 56138843 191098880 26782 18446744073709551615 4235264 15874749 140725453720176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48267264 140725453724060 140725453724137 140725453724137 140725453729739 0
/proc/56185/statm: 46655 26782 4288 2842 0 28349 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 186620 KiB
Current children cumulated memory: 107128 KiB
[startup+12.7002 s]
/proc/loadavg: 4.24 4.16 4.11 5/264 56326
/proc/meminfo: memFree=108710168/131249988 swapFree=33010416/33010684
[pid=56185] ppid=56178 vsize=188988 memory=110672 CPUtime=12.61 cores=4,6
/proc/56185/stat : 56185 (mixed-bag) R 56178 56185 55025 0 -1 4194304 29259 0 0 0 1255 6 0 0 20 0 1 0 56138843 193523712 27668 18446744073709551615 4235264 15874749 140725453720176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48267264 140725453724060 140725453724137 140725453724137 140725453729739 0
/proc/56185/statm: 47247 27668 4288 2842 0 28941 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 188988 KiB
Current children cumulated memory: 110672 KiB
[startup+25.5002 s]
/proc/loadavg: 4.19 4.15 4.11 5/264 56326
/proc/meminfo: memFree=108498920/131249988 swapFree=33010416/33010684
[pid=56185] ppid=56178 vsize=236344 memory=157864 CPUtime=25.36 cores=4,6
/proc/56185/stat : 56185 (mixed-bag) R 56178 56185 55025 0 -1 4194304 44362 0 0 0 2528 8 0 0 20 0 1 0 56138843 242016256 39466 18446744073709551615 4235264 15874749 140725453720176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48267264 140725453724060 140725453724137 140725453724137 140725453729739 0
/proc/56185/statm: 59086 39466 4288 2842 0 40780 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 236344 KiB
Current children cumulated memory: 157864 KiB
[startup+51.1053 s]
/proc/loadavg: 4.18 4.15 4.11 5/264 56326
/proc/meminfo: memFree=108429872/131249988 swapFree=33010416/33010684
[pid=56185] ppid=56178 vsize=237780 memory=159656 CPUtime=50.88 cores=4,6
/proc/56185/stat : 56185 (mixed-bag) R 56178 56185 55025 0 -1 4194304 46421 0 0 0 5079 9 0 0 20 0 1 0 56138843 243486720 39914 18446744073709551615 4235264 15874749 140725453720176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48267264 140725453724060 140725453724137 140725453724137 140725453729739 0
/proc/56185/statm: 59445 39914 4288 2842 0 41139 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 237780 KiB
Current children cumulated memory: 159656 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 4.16 4.11 5/265 56333
/proc/meminfo: memFree=108397504/131249988 swapFree=33010416/33010684
[pid=56185] ppid=56178 vsize=237780 memory=159656 CPUtime=101.89 cores=4,6
/proc/56185/stat : 56185 (mixed-bag) R 56178 56185 55025 0 -1 4194304 46426 0 0 0 10179 10 0 0 20 0 1 0 56138843 243486720 39914 18446744073709551615 4235264 15874749 140725453720176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48267264 140725453724060 140725453724137 140725453724137 140725453729739 0
/proc/56185/statm: 59445 39914 4288 2842 0 41139 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 237780 KiB
Current children cumulated memory: 159656 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/265 56335
/proc/meminfo: memFree=108332644/131249988 swapFree=33010416/33010684
[pid=56185] ppid=56178 vsize=249344 memory=171412 CPUtime=161.67 cores=4,6
/proc/56185/stat : 56185 (mixed-bag) R 56178 56185 55025 0 -1 4194304 54698 0 0 0 16156 11 0 0 20 0 1 0 56138843 255328256 42853 18446744073709551615 4235264 15874749 140725453720176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48267264 140725453724060 140725453724137 140725453724137 140725453729739 0
/proc/56185/statm: 62336 42853 4288 2842 0 44030 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 249344 KiB
Current children cumulated memory: 171412 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/265 56337
/proc/meminfo: memFree=108280576/131249988 swapFree=33010416/33010684
[pid=56185] ppid=56178 vsize=259524 memory=181432 CPUtime=221.46 cores=4,6
/proc/56185/stat : 56185 (mixed-bag) R 56178 56185 55025 0 -1 4194304 59215 0 0 0 22134 12 0 0 20 0 1 0 56138843 265752576 45358 18446744073709551615 4235264 15874749 140725453720176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48267264 140725453724060 140725453724137 140725453724137 140725453729739 0
/proc/56185/statm: 64881 45358 4288 2842 0 46575 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 259524 KiB
Current children cumulated memory: 181432 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/265 56351
/proc/meminfo: memFree=108271900/131249988 swapFree=33010416/33010684
[pid=56185] ppid=56178 vsize=261308 memory=183224 CPUtime=281.24 cores=4,6
/proc/56185/stat : 56185 (mixed-bag) R 56178 56185 55025 0 -1 4194304 59670 0 0 0 28111 13 0 0 20 0 1 0 56138843 267579392 45806 18446744073709551615 4235264 15874749 140725453720176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48267264 140725453724060 140725453724137 140725453724137 140725453729739 0
/proc/56185/statm: 65327 45806 4288 2842 0 47021 0
Current children cumulated CPU time: 281.24 s
Current children cumulated vsize: 261308 KiB
Current children cumulated memory: 183224 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 56488
/proc/meminfo: memFree=109019612/131249988 swapFree=33010416/33010684
[pid=56185] ppid=56178 vsize=262820 memory=193316 CPUtime=341.05 cores=4,6
/proc/56185/stat : 56185 (mixed-bag) R 56178 56185 55025 0 -1 4194304 61189 0 0 0 34043 62 0 0 20 0 1 0 56138843 269127680 48329 18446744073709551615 4235264 15874749 140725453720176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48267264 140725453724060 140725453724137 140725453724137 140725453729739 0
/proc/56185/statm: 65705 48329 4384 2842 0 47399 0
Current children cumulated CPU time: 341.05 s
Current children cumulated vsize: 262820 KiB
Current children cumulated memory: 193316 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/262 56490
/proc/meminfo: memFree=108953384/131249988 swapFree=33010416/33010684
[pid=56185] ppid=56178 vsize=262820 memory=194596 CPUtime=400.88 cores=4,6
/proc/56185/stat : 56185 (mixed-bag) R 56178 56185 55025 0 -1 4194304 61445 0 0 0 39976 112 0 0 20 0 1 0 56138843 269127680 48649 18446744073709551615 4235264 15874749 140725453720176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48267264 140725453724060 140725453724137 140725453724137 140725453729739 0
/proc/56185/statm: 65705 48649 4384 2842 0 47399 0
Current children cumulated CPU time: 400.88 s
Current children cumulated vsize: 262820 KiB
Current children cumulated memory: 194596 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 56493
/proc/meminfo: memFree=108907124/131249988 swapFree=33010416/33010684
[pid=56185] ppid=56178 vsize=281788 memory=210260 CPUtime=460.7 cores=4,6
/proc/56185/stat : 56185 (mixed-bag) R 56178 56185 55025 0 -1 4194304 61801 0 0 0 45921 149 0 0 20 0 1 0 56138843 288550912 52565 18446744073709551615 4235264 15874749 140725453720176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48267264 140725453724060 140725453724137 140725453724137 140725453729739 0
/proc/56185/statm: 70447 52565 4384 2842 0 52141 0
Current children cumulated CPU time: 460.7 s
################
# More data... #
################
Current children cumulated memory: 285192 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 56633
/proc/meminfo: memFree=108398104/131249988 swapFree=33010416/33010684
[pid=56185] ppid=56178 vsize=367944 memory=288264 CPUtime=2913.94 cores=4,6
/proc/56185/stat : 56185 (mixed-bag) R 56178 56185 55025 0 -1 4194304 63637 0 0 0 290319 1075 0 0 20 0 1 0 56138843 376774656 72066 18446744073709551615 4235264 15874749 140725453720176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48267264 140725453724060 140725453724137 140725453724137 140725453729739 0
/proc/56185/statm: 91986 72066 4384 2842 0 73680 0
Current children cumulated CPU time: 2913.94 s
Current children cumulated vsize: 367944 KiB
Current children cumulated memory: 288264 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 56635
/proc/meminfo: memFree=108401988/131249988 swapFree=33010416/33010684
[pid=56185] ppid=56178 vsize=368456 memory=288776 CPUtime=2973.8 cores=4,6
/proc/56185/stat : 56185 (mixed-bag) R 56178 56185 55025 0 -1 4194304 63765 0 0 0 296290 1090 0 0 20 0 1 0 56138843 377298944 72194 18446744073709551615 4235264 15874749 140725453720176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48267264 140725453724060 140725453724137 140725453724137 140725453729739 0
/proc/56185/statm: 92114 72194 4384 2842 0 73808 0
Current children cumulated CPU time: 2973.8 s
Current children cumulated vsize: 368456 KiB
Current children cumulated memory: 288776 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 56640
/proc/meminfo: memFree=108393172/131249988 swapFree=33010416/33010684
[pid=56185] ppid=56178 vsize=368640 memory=290952 CPUtime=3033.65 cores=4,6
/proc/56185/stat : 56185 (mixed-bag) R 56178 56185 55025 0 -1 4194304 63814 0 0 0 302259 1106 0 0 20 0 1 0 56138843 377487360 72738 18446744073709551615 4235264 15874749 140725453720176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48267264 140725453724060 140725453724137 140725453724137 140725453729739 0
/proc/56185/statm: 92160 72738 4384 2842 0 73854 0
Current children cumulated CPU time: 3033.65 s
Current children cumulated vsize: 368640 KiB
Current children cumulated memory: 290952 KiB
[startup+3102.3 s]
/proc/loadavg: 4.04 4.08 4.09 5/265 56647
/proc/meminfo: memFree=108394208/131249988 swapFree=33010416/33010684
[pid=56185] ppid=56178 vsize=368640 memory=290952 CPUtime=3093.51 cores=4,6
/proc/56185/stat : 56185 (mixed-bag) R 56178 56185 55025 0 -1 4194304 63814 0 0 0 308227 1124 0 0 20 0 1 0 56138843 377487360 72738 18446744073709551615 4235264 15874749 140725453720176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48267264 140725453724060 140725453724137 140725453724137 140725453729739 0
/proc/56185/statm: 92160 72738 4384 2842 0 73854 0
Current children cumulated CPU time: 3093.51 s
Current children cumulated vsize: 368640 KiB
Current children cumulated memory: 290952 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 56649
/proc/meminfo: memFree=108394808/131249988 swapFree=33010416/33010684
[pid=56185] ppid=56178 vsize=368640 memory=290952 CPUtime=3153.36 cores=4,6
/proc/56185/stat : 56185 (mixed-bag) R 56178 56185 55025 0 -1 4194304 63814 0 0 0 314196 1140 0 0 20 0 1 0 56138843 377487360 72738 18446744073709551615 4235264 15874749 140725453720176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48267264 140725453724060 140725453724137 140725453724137 140725453729739 0
/proc/56185/statm: 92160 72738 4384 2842 0 73854 0
Current children cumulated CPU time: 3153.36 s
Current children cumulated vsize: 368640 KiB
Current children cumulated memory: 290952 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 56651
/proc/meminfo: memFree=108395408/131249988 swapFree=33010416/33010684
[pid=56185] ppid=56178 vsize=368640 memory=290952 CPUtime=3213.21 cores=4,6
/proc/56185/stat : 56185 (mixed-bag) R 56178 56185 55025 0 -1 4194304 63814 0 0 0 320160 1161 0 0 20 0 1 0 56138843 377487360 72738 18446744073709551615 4235264 15874749 140725453720176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48267264 140725453724060 140725453724137 140725453724137 140725453729739 0
/proc/56185/statm: 92160 72738 4384 2842 0 73854 0
Current children cumulated CPU time: 3213.21 s
Current children cumulated vsize: 368640 KiB
Current children cumulated memory: 290952 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 56653
/proc/meminfo: memFree=108375164/131249988 swapFree=33010416/33010684
[pid=56185] ppid=56178 vsize=368896 memory=291208 CPUtime=3273.07 cores=4,6
/proc/56185/stat : 56185 (mixed-bag) R 56178 56185 55025 0 -1 4194304 63878 0 0 0 326130 1177 0 0 20 0 1 0 56138843 377749504 72802 18446744073709551615 4235264 15874749 140725453720176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48267264 140725453724060 140725453724137 140725453724137 140725453729739 0
/proc/56185/statm: 92224 72802 4384 2842 0 73918 0
Current children cumulated CPU time: 3273.07 s
Current children cumulated vsize: 368896 KiB
Current children cumulated memory: 291208 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/264 56656
/proc/meminfo: memFree=108375764/131249988 swapFree=33010416/33010684
[pid=56185] ppid=56178 vsize=368896 memory=291208 CPUtime=3332.92 cores=4,6
/proc/56185/stat : 56185 (mixed-bag) R 56178 56185 55025 0 -1 4194304 63878 0 0 0 332099 1193 0 0 20 0 1 0 56138843 377749504 72802 18446744073709551615 4235264 15874749 140725453720176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48267264 140725453724060 140725453724137 140725453724137 140725453729739 0
/proc/56185/statm: 92224 72802 4384 2842 0 73918 0
Current children cumulated CPU time: 3332.92 s
Current children cumulated vsize: 368896 KiB
Current children cumulated memory: 291208 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 56658
/proc/meminfo: memFree=108376616/131249988 swapFree=33010416/33010684
[pid=56185] ppid=56178 vsize=368896 memory=291208 CPUtime=3392.77 cores=4,6
/proc/56185/stat : 56185 (mixed-bag) R 56178 56185 55025 0 -1 4194304 63878 0 0 0 338071 1206 0 0 20 0 1 0 56138843 377749504 72802 18446744073709551615 4235264 15874749 140725453720176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48267264 140725453724060 140725453724137 140725453724137 140725453729739 0
/proc/56185/statm: 92224 72802 4384 2842 0 73918 0
Current children cumulated CPU time: 3392.77 s
Current children cumulated vsize: 368896 KiB
Current children cumulated memory: 291208 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/263 56660
/proc/meminfo: memFree=108369672/131249988 swapFree=33010416/33010684
[pid=56185] ppid=56178 vsize=368896 memory=291208 CPUtime=3452.63 cores=4,6
/proc/56185/stat : 56185 (mixed-bag) R 56178 56185 55025 0 -1 4194304 63878 0 0 0 344045 1218 0 0 20 0 1 0 56138843 377749504 72802 18446744073709551615 4235264 15874749 140725453720176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48267264 140725453724060 140725453724137 140725453724137 140725453729739 0
/proc/56185/statm: 92224 72802 4384 2842 0 73918 0
Current children cumulated CPU time: 3452.63 s
Current children cumulated vsize: 368896 KiB
Current children cumulated memory: 291208 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 56662
/proc/meminfo: memFree=108366256/131249988 swapFree=33010416/33010684
[pid=56185] ppid=56178 vsize=370760 memory=292616 CPUtime=3512.49 cores=4,6
/proc/56185/stat : 56185 (mixed-bag) R 56178 56185 55025 0 -1 4194304 64230 0 0 0 350017 1232 0 0 20 0 1 0 56138843 379658240 73154 18446744073709551615 4235264 15874749 140725453720176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48267264 140725453724060 140725453724137 140725453724137 140725453729739 0
/proc/56185/statm: 92690 73154 4384 2842 0 74384 0
Current children cumulated CPU time: 3512.49 s
Current children cumulated vsize: 370760 KiB
Current children cumulated memory: 292616 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 56665
/proc/meminfo: memFree=108328148/131249988 swapFree=33010416/33010684
[pid=56185] ppid=56178 vsize=371096 memory=292872 CPUtime=3572.34 cores=4,6
/proc/56185/stat : 56185 (mixed-bag) R 56178 56185 55025 0 -1 4194304 64293 0 0 0 355993 1241 0 0 20 0 1 0 56138843 380002304 73218 18446744073709551615 4235264 15874749 140725453720176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48267264 140725453724060 140725453724137 140725453724137 140725453729739 0
/proc/56185/statm: 92774 73218 4384 2842 0 74468 0
Current children cumulated CPU time: 3572.34 s
Current children cumulated vsize: 371096 KiB
Current children cumulated memory: 292872 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 56665
/proc/meminfo: memFree=108320588/131249988 swapFree=33010416/33010684
[pid=56185] ppid=56178 vsize=372888 memory=294024 CPUtime=3600.08 cores=4,6
/proc/56185/stat : 56185 (mixed-bag) R 56178 56185 55025 0 -1 4194304 64607 0 0 0 358763 1245 0 0 20 0 1 0 56138843 381837312 73506 18446744073709551615 4235264 15874749 140725453720176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48267264 140725453724060 140725453724137 140725453724137 140725453729739 0
/proc/56185/statm: 93222 73506 4384 2842 0 74916 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 372888 KiB
Current children cumulated memory: 294024 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 56185 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.63 s, system=12.4534 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 56665
/proc/meminfo: memFree=108320588/131249988 swapFree=33010416/33010684
[pid=56185] ppid=56178 vsize=372888 memory=294024 CPUtime=3600.08 cores=4,6
/proc/56185/stat : 56185 (mixed-bag) R 56178 56185 55025 0 -1 4194304 64607 0 0 0 358763 1245 0 0 20 0 1 0 56138843 381837312 73506 18446744073709551615 4235264 15874749 140725453720176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 48267264 140725453724060 140725453724137 140725453724137 140725453729739 0
/proc/56185/statm: 93222 73506 4384 2842 0 74916 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 372888 KiB
Current children cumulated memory: 294024 KiB
Child status: 0
Real time (s): 3610.11
CPU time (s): 3600.09
CPU user time (s): 3587.63
CPU system time (s): 12.4534
CPU usage (%): 99.7224
Max. virtual memory (cumulated for all children) (KiB): 372888
Max. memory (cumulated for all children) (KiB): 294024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.63
system time used= 12.4534
maximum resident set size= 294408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64635
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= 227
involuntary context switches= 1340
# summary of solver processes directly reported to runsolver:
# pid: 56185
# total CPU time (s): 3600.09
# total CPU user time (s): 3587.63
# total CPU system time (s): 12.4534
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.22633 second user time and 15.2076 second system time
The end
Begin job on nodeC031 at 2025-07-01 23:16:43
IDJOB=4499065
IDBENCH=148770
IDSOLVER=3340
FILE ID=nodeC031/4499065-1751404603
RUNJOBID= nodeC031-1751397381-55036
SLURM_JOB_ID= 9598276
Free space on /tmp= 432688 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx49.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4499065-1751404603/watcher-4499065-1751404603 -o /tmp/evaluation-result-4499065-1751404603/solver-4499065-1751404603 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751397381-55036 --watchdog 3760 mixed-bag HOME/instance-4499065-1751404603.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bb00c8681178995acecbc2b6e4ec1a1a
RANDOM SEED=1903315415
nodeC031 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.888
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.922
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3594.794
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.273
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.710
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.919
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.885
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.061
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 108501152 kB
MemAvailable: 128457484 kB
Buffers: 2128 kB
Cached: 20642676 kB
SwapCached: 12 kB
Active: 1653700 kB
Inactive: 20236744 kB
Active(anon): 1253220 kB
Inactive(anon): 10472 kB
Active(file): 400480 kB
Inactive(file): 20226272 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 31672 kB
Writeback: 36 kB
AnonPages: 1246532 kB
Mapped: 128264 kB
Shmem: 18052 kB
KReclaimable: 337640 kB
Slab: 428596 kB
SReclaimable: 337640 kB
SUnreclaim: 90956 kB
KernelStack: 4208 kB
PageTables: 5604 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 1717624 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150472 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 931840 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191188 kB
DirectMap2M: 9017344 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432660 MiB
End job on nodeC031 at 2025-07-02 00:16:53