0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.02 c [STEP] preprocessing with Papilo
0.00/0.02 c [STEP] solving with SCIP
298.98/300.11 c [STEP] preprocessing done, loading into solver
298.98/300.11 c [STEP] solving
298.98/300.11 c #variables 2126 #constraints 418
334.35/335.62 c #Conflicts: 1000 | #Constraints: 1417
334.35/335.62 c #Conflicts: 2000 | #Constraints: 2417
334.35/335.62 c INPROCESSING
334.35/335.62 c GARBAGE COLLECT
334.35/335.62 c #Conflicts: 3000 | #Constraints: 2427
334.35/335.62 c #Conflicts: 4000 | #Constraints: 3427
334.35/335.62 c INPROCESSING
334.35/335.62 c GARBAGE COLLECT
334.35/335.62 c #Conflicts: 5000 | #Constraints: 2831
334.35/335.62 c #Conflicts: 6000 | #Constraints: 3831
334.35/335.62 c INPROCESSING
334.35/335.62 c GARBAGE COLLECT
334.35/335.62 c #Conflicts: 7000 | #Constraints: 2835
334.35/335.62 c #Conflicts: 8000 | #Constraints: 3835
334.35/335.62 c #Conflicts: 9000 | #Constraints: 4835
334.35/335.62 c INPROCESSING
334.35/335.62 c GARBAGE COLLECT
334.35/335.62 c #Conflicts: 10000 | #Constraints: 3537
334.35/335.62 c #Conflicts: 11000 | #Constraints: 4537
334.35/335.62 c #Conflicts: 12000 | #Constraints: 5537
334.35/335.62 c INPROCESSING
334.35/335.62 c GARBAGE COLLECT
334.35/335.62 c #Conflicts: 13000 | #Constraints: 3989
334.35/335.62 c #Conflicts: 14000 | #Constraints: 4989
334.35/335.62 c #Conflicts: 15000 | #Constraints: 5989
334.35/335.62 c INPROCESSING
334.35/335.62 c GARBAGE COLLECT
334.35/335.62 c #Conflicts: 16000 | #Constraints: 4219
334.35/335.62 c #Conflicts: 17000 | #Constraints: 5219
334.35/335.62 c #Conflicts: 18000 | #Constraints: 6219
334.35/335.62 c INPROCESSING
334.35/335.62 c GARBAGE COLLECT
334.35/335.62 c #Conflicts: 19000 | #Constraints: 4246
334.35/335.62 c #Conflicts: 20000 | #Constraints: 5246
334.35/335.62 c #Conflicts: 21000 | #Constraints: 6246
334.35/335.62 c INPROCESSING
334.35/335.62 c GARBAGE COLLECT
334.35/335.62 c #Conflicts: 22000 | #Constraints: 4039
334.35/335.62 c #Conflicts: 23000 | #Constraints: 5039
334.35/335.62 c #Conflicts: 24000 | #Constraints: 6039
334.35/335.62 c #Conflicts: 25000 | #Constraints: 7039
334.35/335.62 c INPROCESSING
334.35/335.62 c GARBAGE COLLECT
334.35/335.62 c #Conflicts: 26000 | #Constraints: 4645
334.35/335.62 c #Conflicts: 27000 | #Constraints: 5645
334.35/335.62 c #Conflicts: 28000 | #Constraints: 6645
334.35/335.62 c #Conflicts: 29000 | #Constraints: 7645
334.35/335.62 c INPROCESSING
334.35/335.62 c GARBAGE COLLECT
334.35/335.62 c #Conflicts: 30000 | #Constraints: 5044
334.35/335.62 c #Conflicts: 31000 | #Constraints: 6044
334.35/335.62 c #Conflicts: 32000 | #Constraints: 7044
334.35/335.62 c #Conflicts: 33000 | #Constraints: 8044
334.35/335.62 c INPROCESSING
334.35/335.62 c GARBAGE COLLECT
334.35/335.62 c #Conflicts: 34000 | #Constraints: 5245
334.35/335.62 c #Conflicts: 35000 | #Constraints: 6245
334.35/335.62 c #Conflicts: 36000 | #Constraints: 7245
334.35/335.62 c #Conflicts: 37000 | #Constraints: 8245
334.35/335.62 c INPROCESSING
334.35/335.62 c GARBAGE COLLECT
334.35/335.62 c #Conflicts: 38000 | #Constraints: 5261
334.35/335.62 c #Conflicts: 39000 | #Constraints: 6261
334.35/335.62 c #Conflicts: 40000 | #Constraints: 7261
334.35/335.62 c #Conflicts: 41000 | #Constraints: 8261
334.35/335.62 c INPROCESSING
334.35/335.62 c GARBAGE COLLECT
334.35/335.62 c #Conflicts: 42000 | #Constraints: 5058
334.35/335.62 c #Conflicts: 43000 | #Constraints: 6058
334.35/335.62 c #Conflicts: 44000 | #Constraints: 7058
334.35/335.62 c #Conflicts: 45000 | #Constraints: 8058
334.35/335.62 c #Conflicts: 46000 | #Constraints: 9058
334.35/335.62 c INPROCESSING
334.35/335.62 c GARBAGE COLLECT
334.35/335.62 c #Conflicts: 47000 | #Constraints: 5648
334.35/335.62 c #Conflicts: 48000 | #Constraints: 6648
334.35/335.62 c #Conflicts: 49000 | #Constraints: 7648
334.35/335.62 c #Conflicts: 50000 | #Constraints: 8648
334.35/335.62 c #Conflicts: 51000 | #Constraints: 9648
334.35/335.62 c INPROCESSING
334.35/335.62 c GARBAGE COLLECT
334.35/335.62 c #Conflicts: 52000 | #Constraints: 6051
334.35/335.62 c #Conflicts: 53000 | #Constraints: 7051
334.35/335.62 c #Conflicts: 54000 | #Constraints: 8051
334.35/335.62 c #Conflicts: 55000 | #Constraints: 9051
334.35/335.62 c #Conflicts: 56000 | #Constraints: 10051
334.35/335.62 c INPROCESSING
334.35/335.62 c GARBAGE COLLECT
334.35/335.62 c #Conflicts: 57000 | #Constraints: 6245
334.35/335.62 c #Conflicts: 58000 | #Constraints: 7245
334.35/335.62 c #Conflicts: 59000 | #Constraints: 8245
334.35/335.62 c #Conflicts: 60000 | #Constraints: 9245
334.35/335.62 c #Conflicts: 61000 | #Constraints: 10245
334.35/335.62 c INPROCESSING
334.35/335.62 c GARBAGE COLLECT
334.35/335.62 c #Conflicts: 62000 | #Constraints: 6248
334.35/335.62 c #Conflicts: 63000 | #Constraints: 7248
334.35/335.62 c #Conflicts: 64000 | #Constraints: 8248
334.35/335.62 c #Conflicts: 65000 | #Constraints: 9248
334.35/335.62 c #Conflicts: 66000 | #Constraints: 10248
334.35/335.62 c INPROCESSING
334.35/335.62 c GARBAGE COLLECT
334.35/335.62 c #Conflicts: 67000 | #Constraints: 6054
334.35/335.62 c #Conflicts: 68000 | #Constraints: 7054
392.06/393.59 c #Conflicts: 69000 | #Constraints: 8054
392.06/393.59 c #Conflicts: 70000 | #Constraints: 9054
392.06/393.59 c #Conflicts: 71000 | #Constraints: 10054
392.06/393.59 c #Conflicts: 72000 | #Constraints: 11054
392.06/393.59 c INPROCESSING
392.06/393.59 c GARBAGE COLLECT
392.06/393.59 c #Conflicts: 73000 | #Constraints: 6650
392.06/393.59 c #Conflicts: 74000 | #Constraints: 7650
392.06/393.59 c #Conflicts: 75000 | #Constraints: 8650
392.06/393.59 c #Conflicts: 76000 | #Constraints: 9650
392.06/393.59 c #Conflicts: 77000 | #Constraints: 10650
392.06/393.59 c #Conflicts: 78000 | #Constraints: 11650
392.06/393.59 c INPROCESSING
392.06/393.59 c GARBAGE COLLECT
392.06/393.59 c #Conflicts: 79000 | #Constraints: 7058
392.06/393.59 c #Conflicts: 80000 | #Constraints: 8058
392.06/393.59 c #Conflicts: 81000 | #Constraints: 9058
392.06/393.59 c #Conflicts: 82000 | #Constraints: 10058
392.06/393.59 c #Conflicts: 83000 | #Constraints: 11058
392.06/393.59 c #Conflicts: 84000 | #Constraints: 12058
392.06/393.59 c INPROCESSING
392.06/393.59 c GARBAGE COLLECT
392.06/393.59 c #Conflicts: 85000 | #Constraints: 7253
392.06/393.59 c #Conflicts: 86000 | #Constraints: 8253
392.06/393.59 c #Conflicts: 87000 | #Constraints: 9253
392.06/393.59 c #Conflicts: 88000 | #Constraints: 10253
392.06/393.59 c #Conflicts: 89000 | #Constraints: 11253
392.06/393.59 c #Conflicts: 90000 | #Constraints: 12253
392.06/393.59 c INPROCESSING
392.06/393.59 c GARBAGE COLLECT
392.06/393.59 c #Conflicts: 91000 | #Constraints: 7264
392.06/393.59 c #Conflicts: 92000 | #Constraints: 8264
392.06/393.59 c #Conflicts: 93000 | #Constraints: 9264
392.06/393.59 c #Conflicts: 94000 | #Constraints: 10264
392.06/393.59 c #Conflicts: 95000 | #Constraints: 11264
392.06/393.59 c #Conflicts: 96000 | #Constraints: 12264
392.06/393.59 c INPROCESSING
392.06/393.59 c GARBAGE COLLECT
392.06/393.59 c #Conflicts: 97000 | #Constraints: 7067
392.06/393.59 c #Conflicts: 98000 | #Constraints: 8067
392.06/393.59 c #Conflicts: 99000 | #Constraints: 9067
392.06/393.59 c #Conflicts: 100000 | #Constraints: 10067
392.06/393.59 c #Conflicts: 101000 | #Constraints: 11067
392.06/393.59 c #Conflicts: 102000 | #Constraints: 12067
392.06/393.59 c #Conflicts: 103000 | #Constraints: 13067
392.06/393.59 c INPROCESSING
392.06/393.59 c GARBAGE COLLECT
392.06/393.59 c #Conflicts: 104000 | #Constraints: 7656
392.06/393.59 c #Conflicts: 105000 | #Constraints: 8656
392.06/393.59 c #Conflicts: 106000 | #Constraints: 9656
392.06/393.59 c #Conflicts: 107000 | #Constraints: 10656
392.06/393.59 c #Conflicts: 108000 | #Constraints: 11656
392.06/393.59 c #Conflicts: 109000 | #Constraints: 12656
392.06/393.59 c #Conflicts: 110000 | #Constraints: 13656
392.06/393.59 c INPROCESSING
392.06/393.59 c GARBAGE COLLECT
392.06/393.59 c #Conflicts: 111000 | #Constraints: 8066
392.06/393.59 c #Conflicts: 112000 | #Constraints: 9066
392.06/393.59 c #Conflicts: 113000 | #Constraints: 10066
392.06/393.59 c #Conflicts: 114000 | #Constraints: 11066
392.06/393.59 c #Conflicts: 115000 | #Constraints: 12066
392.06/393.59 c #Conflicts: 116000 | #Constraints: 13066
392.06/393.59 c #Conflicts: 117000 | #Constraints: 14066
392.06/393.59 c INPROCESSING
392.06/393.59 c GARBAGE COLLECT
392.06/393.59 c #Conflicts: 118000 | #Constraints: 8260
392.06/393.59 c #Conflicts: 119000 | #Constraints: 9260
392.06/393.59 c #Conflicts: 120000 | #Constraints: 10260
392.06/393.59 c #Conflicts: 121000 | #Constraints: 11260
392.06/393.59 c #Conflicts: 122000 | #Constraints: 12260
392.06/393.59 c #Conflicts: 123000 | #Constraints: 13260
392.06/393.59 c #Conflicts: 124000 | #Constraints: 14260
392.06/393.59 c INPROCESSING
392.06/393.59 c GARBAGE COLLECT
392.06/393.59 c #Conflicts: 125000 | #Constraints: 8257
392.06/393.59 c #Conflicts: 126000 | #Constraints: 9257
392.06/393.59 c #Conflicts: 127000 | #Constraints: 10257
392.06/393.59 c #Conflicts: 128000 | #Constraints: 11257
392.06/393.59 c #Conflicts: 129000 | #Constraints: 12257
392.06/393.59 c #Conflicts: 130000 | #Constraints: 13257
392.06/393.59 c #Conflicts: 131000 | #Constraints: 14257
392.06/393.59 c INPROCESSING
392.06/393.59 c GARBAGE COLLECT
392.06/393.59 c #Conflicts: 132000 | #Constraints: 8053
392.06/393.59 c #Conflicts: 133000 | #Constraints: 9053
392.06/393.59 c #Conflicts: 134000 | #Constraints: 10053
392.06/393.59 c #Conflicts: 135000 | #Constraints: 11053
392.06/393.59 c #Conflicts: 136000 | #Constraints: 12053
392.06/393.59 c #Conflicts: 137000 | #Constraints: 13053
392.06/393.59 c #Conflicts: 138000 | #Constraints: 14053
392.06/393.59 c #Conflicts: 139000 | #Constraints: 15053
392.06/393.59 c INPROCESSING
392.06/393.59 c GARBAGE COLLECT
392.06/393.59 c #Conflicts: 140000 | #Constraints: 8654
468.72/470.47 c #Conflicts: 141000 | #Constraints: 9654
468.72/470.47 c #Conflicts: 142000 | #Constraints: 10654
468.72/470.47 c #Conflicts: 143000 | #Constraints: 11654
468.72/470.47 c #Conflicts: 144000 | #Constraints: 12654
468.72/470.47 c #Conflicts: 145000 | #Constraints: 13654
468.72/470.47 c #Conflicts: 146000 | #Constraints: 14654
468.72/470.47 c #Conflicts: 147000 | #Constraints: 15654
468.72/470.47 c INPROCESSING
468.72/470.47 c GARBAGE COLLECT
468.72/470.47 c #Conflicts: 148000 | #Constraints: 9077
468.72/470.47 c #Conflicts: 149000 | #Constraints: 10077
468.72/470.47 c #Conflicts: 150000 | #Constraints: 11077
468.72/470.47 c #Conflicts: 151000 | #Constraints: 12077
468.72/470.47 c #Conflicts: 152000 | #Constraints: 13077
468.72/470.47 c #Conflicts: 153000 | #Constraints: 14077
468.72/470.47 c #Conflicts: 154000 | #Constraints: 15077
468.72/470.47 c #Conflicts: 155000 | #Constraints: 16077
468.72/470.47 c INPROCESSING
468.72/470.47 c GARBAGE COLLECT
468.72/470.47 c #Conflicts: 156000 | #Constraints: 9270
468.72/470.47 c #Conflicts: 157000 | #Constraints: 10270
468.72/470.47 c #Conflicts: 158000 | #Constraints: 11270
468.72/470.47 c #Conflicts: 159000 | #Constraints: 12270
468.72/470.47 c #Conflicts: 160000 | #Constraints: 13270
468.72/470.47 c #Conflicts: 161000 | #Constraints: 14270
468.72/470.47 c #Conflicts: 162000 | #Constraints: 15270
468.72/470.47 c #Conflicts: 163000 | #Constraints: 16270
468.72/470.47 c INPROCESSING
468.72/470.47 c GARBAGE COLLECT
468.72/470.47 c #Conflicts: 164000 | #Constraints: 9267
468.72/470.47 c #Conflicts: 165000 | #Constraints: 10267
468.72/470.47 c #Conflicts: 166000 | #Constraints: 11267
468.72/470.47 c #Conflicts: 167000 | #Constraints: 12267
468.72/470.47 c #Conflicts: 168000 | #Constraints: 13267
468.72/470.47 c #Conflicts: 169000 | #Constraints: 14267
468.72/470.47 c #Conflicts: 170000 | #Constraints: 15267
468.72/470.47 c #Conflicts: 171000 | #Constraints: 16267
468.72/470.47 c INPROCESSING
468.72/470.47 c GARBAGE COLLECT
468.72/470.47 c #Conflicts: 172000 | #Constraints: 9059
468.72/470.47 c #Conflicts: 173000 | #Constraints: 10059
468.72/470.47 c #Conflicts: 174000 | #Constraints: 11059
468.72/470.47 c #Conflicts: 175000 | #Constraints: 12059
468.72/470.47 c #Conflicts: 176000 | #Constraints: 13059
468.72/470.47 c #Conflicts: 177000 | #Constraints: 14059
468.72/470.47 c #Conflicts: 178000 | #Constraints: 15059
468.72/470.47 c #Conflicts: 179000 | #Constraints: 16059
468.72/470.47 c #Conflicts: 180000 | #Constraints: 17059
468.72/470.47 c INPROCESSING
468.72/470.47 c GARBAGE COLLECT
468.72/470.47 c #Conflicts: 181000 | #Constraints: 9656
468.72/470.47 c #Conflicts: 182000 | #Constraints: 10656
468.72/470.47 c #Conflicts: 183000 | #Constraints: 11656
468.72/470.47 c #Conflicts: 184000 | #Constraints: 12656
468.72/470.47 c #Conflicts: 185000 | #Constraints: 13656
468.72/470.47 c #Conflicts: 186000 | #Constraints: 14656
468.72/470.47 c #Conflicts: 187000 | #Constraints: 15656
468.72/470.47 c #Conflicts: 188000 | #Constraints: 16656
468.72/470.47 c #Conflicts: 189000 | #Constraints: 17656
468.72/470.47 c INPROCESSING
468.72/470.47 c GARBAGE COLLECT
468.72/470.47 c #Conflicts: 190000 | #Constraints: 10062
468.72/470.47 c #Conflicts: 191000 | #Constraints: 11062
468.72/470.47 c #Conflicts: 192000 | #Constraints: 12062
468.72/470.47 c #Conflicts: 193000 | #Constraints: 13062
468.72/470.47 c #Conflicts: 194000 | #Constraints: 14062
468.72/470.47 c #Conflicts: 195000 | #Constraints: 15062
468.72/470.47 c #Conflicts: 196000 | #Constraints: 16062
468.72/470.47 c #Conflicts: 197000 | #Constraints: 17062
468.72/470.47 c #Conflicts: 198000 | #Constraints: 18062
468.72/470.47 c INPROCESSING
468.72/470.47 c GARBAGE COLLECT
468.72/470.47 c #Conflicts: 199000 | #Constraints: 10269
468.72/470.47 c #Conflicts: 200000 | #Constraints: 11269
468.72/470.47 c #Conflicts: 201000 | #Constraints: 12269
468.72/470.47 c #Conflicts: 202000 | #Constraints: 13269
468.72/470.47 c #Conflicts: 203000 | #Constraints: 14269
468.72/470.47 c #Conflicts: 204000 | #Constraints: 15269
468.72/470.47 c #Conflicts: 205000 | #Constraints: 16269
468.72/470.47 c #Conflicts: 206000 | #Constraints: 17269
468.72/470.47 c #Conflicts: 207000 | #Constraints: 18269
468.72/470.47 c INPROCESSING
468.72/470.47 c GARBAGE COLLECT
468.72/470.47 c #Conflicts: 208000 | #Constraints: 10270
468.72/470.47 c #Conflicts: 209000 | #Constraints: 11270
468.72/470.47 c #Conflicts: 210000 | #Constraints: 12270
468.72/470.47 c #Conflicts: 211000 | #Constraints: 13270
468.72/470.47 c #Conflicts: 212000 | #Constraints: 14270
468.72/470.47 c #Conflicts: 213000 | #Constraints: 15270
539.39/541.30 c #Conflicts: 214000 | #Constraints: 16270
539.39/541.30 c #Conflicts: 215000 | #Constraints: 17270
539.39/541.30 c #Conflicts: 216000 | #Constraints: 18270
539.39/541.30 c INPROCESSING
539.39/541.30 c GARBAGE COLLECT
539.39/541.30 c #Conflicts: 217000 | #Constraints: 10084
539.39/541.30 c #Conflicts: 218000 | #Constraints: 11084
539.39/541.30 c #Conflicts: 219000 | #Constraints: 12084
539.39/541.30 c #Conflicts: 220000 | #Constraints: 13084
539.39/541.30 c #Conflicts: 221000 | #Constraints: 14084
539.39/541.30 c #Conflicts: 222000 | #Constraints: 15084
539.39/541.30 c #Conflicts: 223000 | #Constraints: 16084
539.39/541.30 c #Conflicts: 224000 | #Constraints: 17084
539.39/541.30 c #Conflicts: 225000 | #Constraints: 18084
539.39/541.30 c #Conflicts: 226000 | #Constraints: 19084
539.39/541.30 c INPROCESSING
539.39/541.30 c GARBAGE COLLECT
539.39/541.30 c #Conflicts: 227000 | #Constraints: 10681
539.39/541.30 c #Conflicts: 228000 | #Constraints: 11681
539.39/541.30 c #Conflicts: 229000 | #Constraints: 12681
539.39/541.30 c #Conflicts: 230000 | #Constraints: 13681
539.39/541.30 c #Conflicts: 231000 | #Constraints: 14681
539.39/541.30 c #Conflicts: 232000 | #Constraints: 15681
539.39/541.30 c #Conflicts: 233000 | #Constraints: 16681
539.39/541.30 c #Conflicts: 234000 | #Constraints: 17681
539.39/541.30 c #Conflicts: 235000 | #Constraints: 18681
539.39/541.30 c #Conflicts: 236000 | #Constraints: 19681
539.39/541.30 c INPROCESSING
539.39/541.30 c GARBAGE COLLECT
539.39/541.30 c #Conflicts: 237000 | #Constraints: 11072
539.39/541.30 c #Conflicts: 238000 | #Constraints: 12072
539.39/541.30 c #Conflicts: 239000 | #Constraints: 13072
539.39/541.30 c #Conflicts: 240000 | #Constraints: 14072
539.39/541.30 c #Conflicts: 241000 | #Constraints: 15072
539.39/541.30 c #Conflicts: 242000 | #Constraints: 16072
539.39/541.30 c #Conflicts: 243000 | #Constraints: 17072
539.39/541.30 c #Conflicts: 244000 | #Constraints: 18072
539.39/541.30 c #Conflicts: 245000 | #Constraints: 19072
539.39/541.30 c #Conflicts: 246000 | #Constraints: 20072
539.39/541.30 c INPROCESSING
539.39/541.30 c GARBAGE COLLECT
539.39/541.30 c #Conflicts: 247000 | #Constraints: 11262
539.39/541.30 c #Conflicts: 248000 | #Constraints: 12262
539.39/541.30 c #Conflicts: 249000 | #Constraints: 13262
539.39/541.30 c #Conflicts: 250000 | #Constraints: 14262
539.39/541.30 c #Conflicts: 251000 | #Constraints: 15262
539.39/541.30 c #Conflicts: 252000 | #Constraints: 16262
539.39/541.30 c #Conflicts: 253000 | #Constraints: 17262
539.39/541.30 c #Conflicts: 254000 | #Constraints: 18262
539.39/541.30 c #Conflicts: 255000 | #Constraints: 19262
539.39/541.30 c #Conflicts: 256000 | #Constraints: 20262
539.39/541.30 c INPROCESSING
539.39/541.30 c GARBAGE COLLECT
539.39/541.30 c #Conflicts: 257000 | #Constraints: 11256
539.39/541.30 c #Conflicts: 258000 | #Constraints: 12256
539.39/541.30 c #Conflicts: 259000 | #Constraints: 13256
539.39/541.30 c #Conflicts: 260000 | #Constraints: 14256
539.39/541.30 c #Conflicts: 261000 | #Constraints: 15256
539.39/541.30 c #Conflicts: 262000 | #Constraints: 16256
539.39/541.30 c #Conflicts: 263000 | #Constraints: 17256
539.39/541.30 c #Conflicts: 264000 | #Constraints: 18256
539.39/541.30 c #Conflicts: 265000 | #Constraints: 19256
539.39/541.30 c #Conflicts: 266000 | #Constraints: 20256
539.39/541.30 c INPROCESSING
539.39/541.30 c GARBAGE COLLECT
539.39/541.30 c #Conflicts: 267000 | #Constraints: 11062
539.39/541.30 c #Conflicts: 268000 | #Constraints: 12062
539.39/541.30 c #Conflicts: 269000 | #Constraints: 13062
539.39/541.30 c #Conflicts: 270000 | #Constraints: 14062
539.39/541.30 c #Conflicts: 271000 | #Constraints: 15062
539.39/541.30 c #Conflicts: 272000 | #Constraints: 16062
539.39/541.30 c #Conflicts: 273000 | #Constraints: 17062
539.39/541.30 c #Conflicts: 274000 | #Constraints: 18062
539.39/541.30 c #Conflicts: 275000 | #Constraints: 19062
539.39/541.30 c #Conflicts: 276000 | #Constraints: 20062
539.39/541.30 c #Conflicts: 277000 | #Constraints: 21062
539.39/541.30 c INPROCESSING
539.39/541.30 c GARBAGE COLLECT
539.39/541.30 c #Conflicts: 278000 | #Constraints: 11664
539.39/541.30 c #Conflicts: 279000 | #Constraints: 12664
539.39/541.30 c #Conflicts: 280000 | #Constraints: 13664
539.39/541.30 c #Conflicts: 281000 | #Constraints: 14664
539.39/541.30 c #Conflicts: 282000 | #Constraints: 15664
539.39/541.30 c #Conflicts: 283000 | #Constraints: 16664
539.39/541.30 c #Conflicts: 284000 | #Constraints: 17664
539.39/541.30 c #Conflicts: 285000 | #Constraints: 18664
539.39/541.30 c #Conflicts: 286000 | #Constraints: 19664
539.39/541.30 c #Conflicts: 287000 | #Constraints: 20664
539.39/541.30 c #Conflicts: 288000 | #Constraints: 21664
633.28/635.58 c INPROCESSING
633.28/635.58 c GARBAGE COLLECT
633.28/635.58 c #Conflicts: 289000 | #Constraints: 12051
633.28/635.58 c #Conflicts: 290000 | #Constraints: 13051
633.28/635.58 c #Conflicts: 291000 | #Constraints: 14051
633.28/635.58 c #Conflicts: 292000 | #Constraints: 15051
633.28/635.58 c #Conflicts: 293000 | #Constraints: 16051
633.28/635.58 c #Conflicts: 294000 | #Constraints: 17051
633.28/635.58 c #Conflicts: 295000 | #Constraints: 18051
633.28/635.58 c #Conflicts: 296000 | #Constraints: 19051
633.28/635.58 c #Conflicts: 297000 | #Constraints: 20051
633.28/635.58 c #Conflicts: 298000 | #Constraints: 21051
633.28/635.58 c #Conflicts: 299000 | #Constraints: 22051
633.28/635.58 c INPROCESSING
633.28/635.58 c GARBAGE COLLECT
633.28/635.58 c #Conflicts: 300000 | #Constraints: 12256
633.28/635.58 c #Conflicts: 301000 | #Constraints: 13256
633.28/635.58 c #Conflicts: 302000 | #Constraints: 14256
633.28/635.58 c #Conflicts: 303000 | #Constraints: 15256
633.28/635.58 c #Conflicts: 304000 | #Constraints: 16256
633.28/635.58 c #Conflicts: 305000 | #Constraints: 17256
633.28/635.58 c #Conflicts: 306000 | #Constraints: 18256
633.28/635.58 c #Conflicts: 307000 | #Constraints: 19256
633.28/635.58 c #Conflicts: 308000 | #Constraints: 20256
633.28/635.58 c #Conflicts: 309000 | #Constraints: 21256
633.28/635.58 c #Conflicts: 310000 | #Constraints: 22256
633.28/635.58 c INPROCESSING
633.28/635.58 c GARBAGE COLLECT
633.28/635.58 c #Conflicts: 311000 | #Constraints: 12260
633.28/635.58 c #Conflicts: 312000 | #Constraints: 13260
633.28/635.58 c #Conflicts: 313000 | #Constraints: 14260
633.28/635.58 c #Conflicts: 314000 | #Constraints: 15260
633.28/635.58 c #Conflicts: 315000 | #Constraints: 16260
633.28/635.58 c #Conflicts: 316000 | #Constraints: 17260
633.28/635.58 c #Conflicts: 317000 | #Constraints: 18260
633.28/635.58 c #Conflicts: 318000 | #Constraints: 19260
633.28/635.58 c #Conflicts: 319000 | #Constraints: 20260
633.28/635.58 c #Conflicts: 320000 | #Constraints: 21260
633.28/635.58 c #Conflicts: 321000 | #Constraints: 22260
633.28/635.58 c INPROCESSING
633.28/635.58 c GARBAGE COLLECT
633.28/635.58 c #Conflicts: 322000 | #Constraints: 12064
633.28/635.58 c #Conflicts: 323000 | #Constraints: 13064
633.28/635.58 c #Conflicts: 324000 | #Constraints: 14064
633.28/635.58 c #Conflicts: 325000 | #Constraints: 15064
633.28/635.58 c #Conflicts: 326000 | #Constraints: 16064
633.28/635.58 c #Conflicts: 327000 | #Constraints: 17064
633.28/635.58 c #Conflicts: 328000 | #Constraints: 18064
633.28/635.58 c #Conflicts: 329000 | #Constraints: 19064
633.28/635.58 c #Conflicts: 330000 | #Constraints: 20064
633.28/635.58 c #Conflicts: 331000 | #Constraints: 21064
633.28/635.58 c #Conflicts: 332000 | #Constraints: 22064
633.28/635.58 c #Conflicts: 333000 | #Constraints: 23064
633.28/635.58 c INPROCESSING
633.28/635.58 c GARBAGE COLLECT
633.28/635.58 c #Conflicts: 334000 | #Constraints: 12660
633.28/635.58 c #Conflicts: 335000 | #Constraints: 13660
633.28/635.58 c #Conflicts: 336000 | #Constraints: 14660
633.28/635.58 c #Conflicts: 337000 | #Constraints: 15660
633.28/635.58 c #Conflicts: 338000 | #Constraints: 16660
633.28/635.58 c #Conflicts: 339000 | #Constraints: 17660
633.28/635.58 c #Conflicts: 340000 | #Constraints: 18660
633.28/635.58 c #Conflicts: 341000 | #Constraints: 19660
633.28/635.58 c #Conflicts: 342000 | #Constraints: 20660
633.28/635.58 c #Conflicts: 343000 | #Constraints: 21660
633.28/635.58 c #Conflicts: 344000 | #Constraints: 22660
633.28/635.58 c #Conflicts: 345000 | #Constraints: 23660
633.28/635.58 c INPROCESSING
633.28/635.58 c GARBAGE COLLECT
633.28/635.58 c #Conflicts: 346000 | #Constraints: 13055
633.28/635.58 c #Conflicts: 347000 | #Constraints: 14055
633.28/635.58 c #Conflicts: 348000 | #Constraints: 15055
633.28/635.58 c #Conflicts: 349000 | #Constraints: 16055
633.28/635.58 c #Conflicts: 350000 | #Constraints: 17055
633.28/635.58 c #Conflicts: 351000 | #Constraints: 18055
633.28/635.58 c #Conflicts: 352000 | #Constraints: 19055
633.28/635.58 c #Conflicts: 353000 | #Constraints: 20055
633.28/635.58 c #Conflicts: 354000 | #Constraints: 21055
633.28/635.58 c #Conflicts: 355000 | #Constraints: 22055
633.28/635.58 c #Conflicts: 356000 | #Constraints: 23055
633.28/635.58 c #Conflicts: 357000 | #Constraints: 24055
633.28/635.58 c INPROCESSING
633.28/635.58 c GARBAGE COLLECT
633.28/635.58 c #Conflicts: 358000 | #Constraints: 13252
633.28/635.58 c #Conflicts: 359000 | #Constraints: 14252
633.28/635.58 c #Conflicts: 360000 | #Constraints: 15252
633.28/635.58 c #Conflicts: 361000 | #Constraints: 16252
633.28/635.58 c #Conflicts: 362000 | #Constraints: 17252
740.44/743.03 c #Conflicts: 363000 | #Constraints: 18252
740.44/743.03 c #Conflicts: 364000 | #Constraints: 19252
740.44/743.03 c #Conflicts: 365000 | #Constraints: 20252
740.44/743.03 c #Conflicts: 366000 | #Constraints: 21252
740.44/743.03 c #Conflicts: 367000 | #Constraints: 22252
740.44/743.03 c #Conflicts: 368000 | #Constraints: 23252
740.44/743.03 c #Conflicts: 369000 | #Constraints: 24252
740.44/743.03 c INPROCESSING
740.44/743.03 c GARBAGE COLLECT
740.44/743.03 c #Conflicts: 370000 | #Constraints: 13260
740.44/743.03 c #Conflicts: 371000 | #Constraints: 14260
740.44/743.03 c #Conflicts: 372000 | #Constraints: 15260
740.44/743.03 c #Conflicts: 373000 | #Constraints: 16260
740.44/743.03 c #Conflicts: 374000 | #Constraints: 17260
740.44/743.03 c #Conflicts: 375000 | #Constraints: 18260
740.44/743.03 c #Conflicts: 376000 | #Constraints: 19260
740.44/743.03 c #Conflicts: 377000 | #Constraints: 20260
740.44/743.03 c #Conflicts: 378000 | #Constraints: 21260
740.44/743.03 c #Conflicts: 379000 | #Constraints: 22260
740.44/743.03 c #Conflicts: 380000 | #Constraints: 23260
740.44/743.03 c #Conflicts: 381000 | #Constraints: 24260
740.44/743.03 c INPROCESSING
740.44/743.03 c GARBAGE COLLECT
740.44/743.03 c #Conflicts: 382000 | #Constraints: 13052
740.44/743.03 c #Conflicts: 383000 | #Constraints: 14052
740.44/743.03 c #Conflicts: 384000 | #Constraints: 15052
740.44/743.03 c #Conflicts: 385000 | #Constraints: 16052
740.44/743.03 c #Conflicts: 386000 | #Constraints: 17052
740.44/743.03 c #Conflicts: 387000 | #Constraints: 18052
740.44/743.03 c #Conflicts: 388000 | #Constraints: 19052
740.44/743.03 c #Conflicts: 389000 | #Constraints: 20052
740.44/743.03 c #Conflicts: 390000 | #Constraints: 21052
740.44/743.03 c #Conflicts: 391000 | #Constraints: 22052
740.44/743.03 c #Conflicts: 392000 | #Constraints: 23052
740.44/743.03 c #Conflicts: 393000 | #Constraints: 24052
740.44/743.03 c #Conflicts: 394000 | #Constraints: 25052
740.44/743.03 c INPROCESSING
740.44/743.03 c GARBAGE COLLECT
740.44/743.03 c #Conflicts: 395000 | #Constraints: 13653
740.44/743.03 c #Conflicts: 396000 | #Constraints: 14653
740.44/743.03 c #Conflicts: 397000 | #Constraints: 15653
740.44/743.03 c #Conflicts: 398000 | #Constraints: 16653
740.44/743.03 c #Conflicts: 399000 | #Constraints: 17653
740.44/743.03 c #Conflicts: 400000 | #Constraints: 18653
740.44/743.03 c #Conflicts: 401000 | #Constraints: 19653
740.44/743.03 c #Conflicts: 402000 | #Constraints: 20653
740.44/743.03 c #Conflicts: 403000 | #Constraints: 21653
740.44/743.03 c #Conflicts: 404000 | #Constraints: 22653
740.44/743.03 c #Conflicts: 405000 | #Constraints: 23653
740.44/743.03 c #Conflicts: 406000 | #Constraints: 24653
740.44/743.03 c #Conflicts: 407000 | #Constraints: 25653
740.44/743.03 c INPROCESSING
740.44/743.03 c GARBAGE COLLECT
740.44/743.03 c #Conflicts: 408000 | #Constraints: 14054
740.44/743.03 c #Conflicts: 409000 | #Constraints: 15054
740.44/743.03 c #Conflicts: 410000 | #Constraints: 16054
740.44/743.03 c #Conflicts: 411000 | #Constraints: 17054
740.44/743.03 c #Conflicts: 412000 | #Constraints: 18054
740.44/743.03 c #Conflicts: 413000 | #Constraints: 19054
740.44/743.03 c #Conflicts: 414000 | #Constraints: 20054
740.44/743.03 c #Conflicts: 415000 | #Constraints: 21054
740.44/743.03 c #Conflicts: 416000 | #Constraints: 22054
740.44/743.03 c #Conflicts: 417000 | #Constraints: 23054
740.44/743.03 c #Conflicts: 418000 | #Constraints: 24054
740.44/743.03 c #Conflicts: 419000 | #Constraints: 25054
740.44/743.03 c #Conflicts: 420000 | #Constraints: 26054
740.44/743.03 c INPROCESSING
740.44/743.03 c GARBAGE COLLECT
740.44/743.03 c #Conflicts: 421000 | #Constraints: 14275
740.44/743.03 c #Conflicts: 422000 | #Constraints: 15275
740.44/743.03 c #Conflicts: 423000 | #Constraints: 16275
740.44/743.03 c #Conflicts: 424000 | #Constraints: 17275
740.44/743.03 c #Conflicts: 425000 | #Constraints: 18275
740.44/743.03 c #Conflicts: 426000 | #Constraints: 19275
740.44/743.03 c #Conflicts: 427000 | #Constraints: 20275
740.44/743.03 c #Conflicts: 428000 | #Constraints: 21275
740.44/743.03 c #Conflicts: 429000 | #Constraints: 22275
740.44/743.03 c #Conflicts: 430000 | #Constraints: 23275
740.44/743.03 c #Conflicts: 431000 | #Constraints: 24275
740.44/743.03 c #Conflicts: 432000 | #Constraints: 25275
740.44/743.03 c #Conflicts: 433000 | #Constraints: 26275
740.44/743.03 c INPROCESSING
740.44/743.03 c GARBAGE COLLECT
740.44/743.03 c #Conflicts: 434000 | #Constraints: 14273
740.44/743.03 c #Conflicts: 435000 | #Constraints: 15273
740.44/743.03 c #Conflicts: 436000 | #Constraints: 16273
740.44/743.03 c #Conflicts: 437000 | #Constraints: 17273
885.85/888.98 c #Conflicts: 438000 | #Constraints: 18273
885.85/888.98 c #Conflicts: 439000 | #Constraints: 19273
885.85/888.98 c #Conflicts: 440000 | #Constraints: 20273
885.85/888.98 c #Conflicts: 441000 | #Constraints: 21273
885.85/888.98 c #Conflicts: 442000 | #Constraints: 22273
885.85/888.98 c #Conflicts: 443000 | #Constraints: 23273
885.85/888.98 c #Conflicts: 444000 | #Constraints: 24273
885.85/888.98 c #Conflicts: 445000 | #Constraints: 25273
885.85/888.98 c #Conflicts: 446000 | #Constraints: 26273
885.85/888.98 c INPROCESSING
885.85/888.98 c GARBAGE COLLECT
885.85/888.98 c #Conflicts: 447000 | #Constraints: 14068
885.85/888.98 c #Conflicts: 448000 | #Constraints: 15068
885.85/888.98 c #Conflicts: 449000 | #Constraints: 16068
885.85/888.98 c #Conflicts: 450000 | #Constraints: 17068
885.85/888.98 c #Conflicts: 451000 | #Constraints: 18068
885.85/888.98 c #Conflicts: 452000 | #Constraints: 19068
885.85/888.98 c #Conflicts: 453000 | #Constraints: 20068
885.85/888.98 c #Conflicts: 454000 | #Constraints: 21068
885.85/888.98 c #Conflicts: 455000 | #Constraints: 22068
885.85/888.98 c #Conflicts: 456000 | #Constraints: 23068
885.85/888.98 c #Conflicts: 457000 | #Constraints: 24068
885.85/888.98 c #Conflicts: 458000 | #Constraints: 25068
885.85/888.98 c #Conflicts: 459000 | #Constraints: 26068
885.85/888.98 c #Conflicts: 460000 | #Constraints: 27068
885.85/888.98 c INPROCESSING
885.85/888.98 c GARBAGE COLLECT
885.85/888.98 c #Conflicts: 461000 | #Constraints: 14668
885.85/888.98 c #Conflicts: 462000 | #Constraints: 15668
885.85/888.98 c #Conflicts: 463000 | #Constraints: 16668
885.85/888.98 c #Conflicts: 464000 | #Constraints: 17668
885.85/888.98 c #Conflicts: 465000 | #Constraints: 18668
885.85/888.98 c #Conflicts: 466000 | #Constraints: 19668
885.85/888.98 c #Conflicts: 467000 | #Constraints: 20668
885.85/888.98 c #Conflicts: 468000 | #Constraints: 21668
885.85/888.98 c #Conflicts: 469000 | #Constraints: 22668
885.85/888.98 c #Conflicts: 470000 | #Constraints: 23668
885.85/888.98 c #Conflicts: 471000 | #Constraints: 24668
885.85/888.98 c #Conflicts: 472000 | #Constraints: 25668
885.85/888.98 c #Conflicts: 473000 | #Constraints: 26668
885.85/888.98 c #Conflicts: 474000 | #Constraints: 27668
885.85/888.98 c INPROCESSING
885.85/888.98 c GARBAGE COLLECT
885.85/888.98 c #Conflicts: 475000 | #Constraints: 15071
885.85/888.98 c #Conflicts: 476000 | #Constraints: 16071
885.85/888.98 c #Conflicts: 477000 | #Constraints: 17071
885.85/888.98 c #Conflicts: 478000 | #Constraints: 18071
885.85/888.98 c #Conflicts: 479000 | #Constraints: 19071
885.85/888.98 c #Conflicts: 480000 | #Constraints: 20071
885.85/888.98 c #Conflicts: 481000 | #Constraints: 21071
885.85/888.98 c #Conflicts: 482000 | #Constraints: 22071
885.85/888.98 c #Conflicts: 483000 | #Constraints: 23071
885.85/888.98 c #Conflicts: 484000 | #Constraints: 24071
885.85/888.98 c #Conflicts: 485000 | #Constraints: 25071
885.85/888.98 c #Conflicts: 486000 | #Constraints: 26071
885.85/888.98 c #Conflicts: 487000 | #Constraints: 27071
885.85/888.98 c #Conflicts: 488000 | #Constraints: 28071
885.85/888.98 c INPROCESSING
885.85/888.98 c GARBAGE COLLECT
885.85/888.98 c #Conflicts: 489000 | #Constraints: 15279
885.85/888.98 c #Conflicts: 490000 | #Constraints: 16279
885.85/888.98 c #Conflicts: 491000 | #Constraints: 17279
885.85/888.98 c #Conflicts: 492000 | #Constraints: 18279
885.85/888.98 c #Conflicts: 493000 | #Constraints: 19279
885.85/888.98 c #Conflicts: 494000 | #Constraints: 20279
885.85/888.98 c #Conflicts: 495000 | #Constraints: 21279
885.85/888.98 c #Conflicts: 496000 | #Constraints: 22279
885.85/888.98 c #Conflicts: 497000 | #Constraints: 23279
885.85/888.98 c #Conflicts: 498000 | #Constraints: 24279
885.85/888.98 c #Conflicts: 499000 | #Constraints: 25279
885.85/888.98 c #Conflicts: 500000 | #Constraints: 26279
885.85/888.98 c #Conflicts: 501000 | #Constraints: 27279
885.85/888.98 c #Conflicts: 502000 | #Constraints: 28279
885.85/888.98 c INPROCESSING
885.85/888.98 c GARBAGE COLLECT
885.85/888.98 c #Conflicts: 503000 | #Constraints: 15284
885.85/888.98 c #Conflicts: 504000 | #Constraints: 16284
885.85/888.98 c #Conflicts: 505000 | #Constraints: 17284
885.85/888.98 c #Conflicts: 506000 | #Constraints: 18284
885.85/888.98 c #Conflicts: 507000 | #Constraints: 19284
885.85/888.98 c #Conflicts: 508000 | #Constraints: 20284
885.85/888.98 c #Conflicts: 509000 | #Constraints: 21284
885.85/888.98 c #Conflicts: 510000 | #Constraints: 22284
885.85/888.98 c #Conflicts: 511000 | #Constraints: 23284
885.85/888.98 c #Conflicts: 512000 | #Constraints: 24284
885.85/888.98 c #Conflicts: 513000 | #Constraints: 25284
984.88/988.20 c #Conflicts: 514000 | #Constraints: 26284
984.88/988.20 c #Conflicts: 515000 | #Constraints: 27284
984.88/988.20 c #Conflicts: 516000 | #Constraints: 28284
984.88/988.20 c INPROCESSING
984.88/988.20 c GARBAGE COLLECT
984.88/988.20 c #Conflicts: 517000 | #Constraints: 15069
984.88/988.20 c #Conflicts: 518000 | #Constraints: 16069
984.88/988.20 c #Conflicts: 519000 | #Constraints: 17069
984.88/988.20 c #Conflicts: 520000 | #Constraints: 18069
984.88/988.20 c #Conflicts: 521000 | #Constraints: 19069
984.88/988.20 c #Conflicts: 522000 | #Constraints: 20069
984.88/988.20 c #Conflicts: 523000 | #Constraints: 21069
984.88/988.20 c #Conflicts: 524000 | #Constraints: 22069
984.88/988.20 c #Conflicts: 525000 | #Constraints: 23069
984.88/988.20 c #Conflicts: 526000 | #Constraints: 24069
984.88/988.20 c #Conflicts: 527000 | #Constraints: 25069
984.88/988.20 c #Conflicts: 528000 | #Constraints: 26069
984.88/988.20 c #Conflicts: 529000 | #Constraints: 27069
984.88/988.20 c #Conflicts: 530000 | #Constraints: 28069
984.88/988.20 c #Conflicts: 531000 | #Constraints: 29069
984.88/988.20 c INPROCESSING
984.88/988.20 c GARBAGE COLLECT
984.88/988.20 c #Conflicts: 532000 | #Constraints: 15682
984.88/988.20 c #Conflicts: 533000 | #Constraints: 16682
984.88/988.20 c #Conflicts: 534000 | #Constraints: 17682
984.88/988.20 c #Conflicts: 535000 | #Constraints: 18682
984.88/988.20 c #Conflicts: 536000 | #Constraints: 19682
984.88/988.20 c #Conflicts: 537000 | #Constraints: 20682
984.88/988.20 c #Conflicts: 538000 | #Constraints: 21682
984.88/988.20 c #Conflicts: 539000 | #Constraints: 22682
984.88/988.20 c #Conflicts: 540000 | #Constraints: 23682
984.88/988.20 c #Conflicts: 541000 | #Constraints: 24682
984.88/988.20 c #Conflicts: 542000 | #Constraints: 25682
984.88/988.20 c #Conflicts: 543000 | #Constraints: 26682
984.88/988.20 c #Conflicts: 544000 | #Constraints: 27682
984.88/988.20 c #Conflicts: 545000 | #Constraints: 28682
984.88/988.20 c #Conflicts: 546000 | #Constraints: 29682
984.88/988.20 c INPROCESSING
984.88/988.20 c GARBAGE COLLECT
984.88/988.20 c #Conflicts: 547000 | #Constraints: 16071
984.88/988.20 c #Conflicts: 548000 | #Constraints: 17071
984.88/988.20 c #Conflicts: 549000 | #Constraints: 18071
984.88/988.20 c #Conflicts: 550000 | #Constraints: 19071
984.88/988.20 c #Conflicts: 551000 | #Constraints: 20071
984.88/988.20 c #Conflicts: 552000 | #Constraints: 21071
984.88/988.20 c #Conflicts: 553000 | #Constraints: 22071
984.88/988.20 c #Conflicts: 554000 | #Constraints: 23071
984.88/988.20 c #Conflicts: 555000 | #Constraints: 24071
984.88/988.20 c #Conflicts: 556000 | #Constraints: 25071
984.88/988.20 c #Conflicts: 557000 | #Constraints: 26071
984.88/988.20 c #Conflicts: 558000 | #Constraints: 27071
984.88/988.20 c #Conflicts: 559000 | #Constraints: 28071
984.88/988.20 c #Conflicts: 560000 | #Constraints: 29071
984.88/988.20 c #Conflicts: 561000 | #Constraints: 30071
984.88/988.20 c INPROCESSING
984.88/988.20 c GARBAGE COLLECT
984.88/988.20 c #Conflicts: 562000 | #Constraints: 16267
984.88/988.20 c #Conflicts: 563000 | #Constraints: 17267
984.88/988.20 c #Conflicts: 564000 | #Constraints: 18267
984.88/988.20 c #Conflicts: 565000 | #Constraints: 19267
984.88/988.20 c #Conflicts: 566000 | #Constraints: 20267
984.88/988.20 c #Conflicts: 567000 | #Constraints: 21267
984.88/988.20 c #Conflicts: 568000 | #Constraints: 22267
984.88/988.20 c #Conflicts: 569000 | #Constraints: 23267
984.88/988.21 c #Conflicts: 570000 | #Constraints: 24267
984.88/988.21 c #Conflicts: 571000 | #Constraints: 25267
984.88/988.21 c #Conflicts: 572000 | #Constraints: 26267
984.88/988.21 c #Conflicts: 573000 | #Constraints: 27267
984.88/988.21 c #Conflicts: 574000 | #Constraints: 28267
984.88/988.21 c #Conflicts: 575000 | #Constraints: 29267
984.88/988.21 c #Conflicts: 576000 | #Constraints: 30267
984.88/988.21 c INPROCESSING
984.88/988.21 c GARBAGE COLLECT
984.88/988.21 c #Conflicts: 577000 | #Constraints: 16262
984.88/988.21 c #Conflicts: 578000 | #Constraints: 17262
984.88/988.21 c #Conflicts: 579000 | #Constraints: 18262
984.88/988.21 c #Conflicts: 580000 | #Constraints: 19262
984.88/988.21 c #Conflicts: 581000 | #Constraints: 20262
984.88/988.21 c #Conflicts: 582000 | #Constraints: 21262
984.88/988.21 c #Conflicts: 583000 | #Constraints: 22262
984.88/988.21 c #Conflicts: 584000 | #Constraints: 23262
984.88/988.21 c #Conflicts: 585000 | #Constraints: 24262
984.88/988.21 c #Conflicts: 586000 | #Constraints: 25262
984.88/988.21 c #Conflicts: 587000 | #Constraints: 26262
984.88/988.21 c #Conflicts: 588000 | #Constraints: 27262
1101.19/1104.81 c #Conflicts: 589000 | #Constraints: 28262
1101.19/1104.81 c #Conflicts: 590000 | #Constraints: 29262
1101.19/1104.81 c #Conflicts: 591000 | #Constraints: 30262
1101.19/1104.81 c INPROCESSING
1101.19/1104.81 c GARBAGE COLLECT
1101.19/1104.81 c #Conflicts: 592000 | #Constraints: 16061
1101.19/1104.81 c #Conflicts: 593000 | #Constraints: 17061
1101.19/1104.81 c #Conflicts: 594000 | #Constraints: 18061
1101.19/1104.81 c #Conflicts: 595000 | #Constraints: 19061
1101.19/1104.81 c #Conflicts: 596000 | #Constraints: 20061
1101.19/1104.81 c #Conflicts: 597000 | #Constraints: 21061
1101.19/1104.81 c #Conflicts: 598000 | #Constraints: 22061
1101.19/1104.81 c #Conflicts: 599000 | #Constraints: 23061
1101.19/1104.81 c #Conflicts: 600000 | #Constraints: 24061
1101.19/1104.81 c #Conflicts: 601000 | #Constraints: 25061
1101.19/1104.81 c #Conflicts: 602000 | #Constraints: 26061
1101.19/1104.81 c #Conflicts: 603000 | #Constraints: 27061
1101.19/1104.81 c #Conflicts: 604000 | #Constraints: 28061
1101.19/1104.81 c #Conflicts: 605000 | #Constraints: 29061
1101.19/1104.81 c #Conflicts: 606000 | #Constraints: 30061
1101.19/1104.81 c #Conflicts: 607000 | #Constraints: 31061
1101.19/1104.81 c INPROCESSING
1101.19/1104.81 c GARBAGE COLLECT
1101.19/1104.81 c #Conflicts: 608000 | #Constraints: 16665
1101.19/1104.81 c #Conflicts: 609000 | #Constraints: 17665
1101.19/1104.81 c #Conflicts: 610000 | #Constraints: 18665
1101.19/1104.81 c #Conflicts: 611000 | #Constraints: 19665
1101.19/1104.81 c #Conflicts: 612000 | #Constraints: 20665
1101.19/1104.81 c #Conflicts: 613000 | #Constraints: 21665
1101.19/1104.81 c #Conflicts: 614000 | #Constraints: 22665
1101.19/1104.81 c #Conflicts: 615000 | #Constraints: 23665
1101.19/1104.81 c #Conflicts: 616000 | #Constraints: 24665
1101.19/1104.81 c #Conflicts: 617000 | #Constraints: 25665
1101.19/1104.81 c #Conflicts: 618000 | #Constraints: 26665
1101.19/1104.81 c #Conflicts: 619000 | #Constraints: 27665
1101.19/1104.81 c #Conflicts: 620000 | #Constraints: 28665
1101.19/1104.81 c #Conflicts: 621000 | #Constraints: 29665
1101.19/1104.81 c #Conflicts: 622000 | #Constraints: 30665
1101.19/1104.81 c #Conflicts: 623000 | #Constraints: 31665
1101.19/1104.81 c INPROCESSING
1101.19/1104.81 c GARBAGE COLLECT
1101.19/1104.81 c #Conflicts: 624000 | #Constraints: 17057
1101.19/1104.81 c #Conflicts: 625000 | #Constraints: 18057
1101.19/1104.81 c #Conflicts: 626000 | #Constraints: 19057
1101.19/1104.81 c #Conflicts: 627000 | #Constraints: 20057
1101.19/1104.81 c #Conflicts: 628000 | #Constraints: 21057
1101.19/1104.81 c #Conflicts: 629000 | #Constraints: 22057
1101.19/1104.81 c #Conflicts: 630000 | #Constraints: 23057
1101.19/1104.81 c #Conflicts: 631000 | #Constraints: 24057
1101.19/1104.81 c #Conflicts: 632000 | #Constraints: 25057
1101.19/1104.81 c #Conflicts: 633000 | #Constraints: 26057
1101.19/1104.81 c #Conflicts: 634000 | #Constraints: 27057
1101.19/1104.81 c #Conflicts: 635000 | #Constraints: 28057
1101.19/1104.81 c #Conflicts: 636000 | #Constraints: 29057
1101.19/1104.81 c #Conflicts: 637000 | #Constraints: 30057
1101.19/1104.81 c #Conflicts: 638000 | #Constraints: 31057
1101.19/1104.81 c #Conflicts: 639000 | #Constraints: 32057
1101.19/1104.81 c INPROCESSING
1101.19/1104.81 c GARBAGE COLLECT
1101.19/1104.81 c #Conflicts: 640000 | #Constraints: 17250
1101.19/1104.81 c #Conflicts: 641000 | #Constraints: 18250
1101.19/1104.81 c #Conflicts: 642000 | #Constraints: 19250
1101.19/1104.81 c #Conflicts: 643000 | #Constraints: 20250
1101.19/1104.81 c #Conflicts: 644000 | #Constraints: 21250
1101.19/1104.81 c #Conflicts: 645000 | #Constraints: 22250
1101.19/1104.82 c #Conflicts: 646000 | #Constraints: 23250
1101.19/1104.82 c #Conflicts: 647000 | #Constraints: 24250
1101.19/1104.82 c #Conflicts: 648000 | #Constraints: 25250
1101.19/1104.82 c #Conflicts: 649000 | #Constraints: 26250
1101.19/1104.82 c #Conflicts: 650000 | #Constraints: 27250
1101.19/1104.82 c #Conflicts: 651000 | #Constraints: 28250
1101.19/1104.82 c #Conflicts: 652000 | #Constraints: 29250
1101.19/1104.82 c #Conflicts: 653000 | #Constraints: 30250
1101.19/1104.82 c #Conflicts: 654000 | #Constraints: 31250
1101.19/1104.82 c #Conflicts: 655000 | #Constraints: 32250
1101.19/1104.82 c INPROCESSING
1101.19/1104.82 c GARBAGE COLLECT
1101.19/1104.82 c #Conflicts: 656000 | #Constraints: 17271
1101.19/1104.82 c #Conflicts: 657000 | #Constraints: 18271
1101.19/1104.82 c #Conflicts: 658000 | #Constraints: 19271
1101.19/1104.82 c #Conflicts: 659000 | #Constraints: 20271
1101.19/1104.82 c #Conflicts: 660000 | #Constraints: 21271
1101.19/1104.82 c #Conflicts: 661000 | #Constraints: 22271
1101.19/1104.82 c #Conflicts: 662000 | #Constraints: 23271
1101.19/1104.82 c #Conflicts: 663000 | #Constraints: 24271
1101.19/1104.82 c #Conflicts: 664000 | #Constraints: 25271
1298.89/1303.02 c #Conflicts: 665000 | #Constraints: 26271
1298.89/1303.02 c #Conflicts: 666000 | #Constraints: 27271
1298.89/1303.02 c #Conflicts: 667000 | #Constraints: 28271
1298.89/1303.02 c #Conflicts: 668000 | #Constraints: 29271
1298.89/1303.02 c #Conflicts: 669000 | #Constraints: 30271
1298.89/1303.02 c #Conflicts: 670000 | #Constraints: 31271
1298.89/1303.02 c #Conflicts: 671000 | #Constraints: 32271
1298.89/1303.02 c INPROCESSING
1298.89/1303.02 c GARBAGE COLLECT
1298.89/1303.02 c #Conflicts: 672000 | #Constraints: 17062
1298.89/1303.02 c #Conflicts: 673000 | #Constraints: 18062
1298.89/1303.02 c #Conflicts: 674000 | #Constraints: 19062
1298.89/1303.02 c #Conflicts: 675000 | #Constraints: 20062
1298.89/1303.02 c #Conflicts: 676000 | #Constraints: 21062
1298.89/1303.02 c #Conflicts: 677000 | #Constraints: 22062
1298.89/1303.02 c #Conflicts: 678000 | #Constraints: 23062
1298.89/1303.02 c #Conflicts: 679000 | #Constraints: 24062
1298.89/1303.02 c #Conflicts: 680000 | #Constraints: 25062
1298.89/1303.02 c #Conflicts: 681000 | #Constraints: 26062
1298.89/1303.02 c #Conflicts: 682000 | #Constraints: 27062
1298.89/1303.02 c #Conflicts: 683000 | #Constraints: 28062
1298.89/1303.02 c #Conflicts: 684000 | #Constraints: 29062
1298.89/1303.02 c #Conflicts: 685000 | #Constraints: 30062
1298.89/1303.02 c #Conflicts: 686000 | #Constraints: 31062
1298.89/1303.02 c #Conflicts: 687000 | #Constraints: 32062
1298.89/1303.02 c #Conflicts: 688000 | #Constraints: 33062
1298.89/1303.02 c INPROCESSING
1298.89/1303.02 c GARBAGE COLLECT
1298.89/1303.02 c #Conflicts: 689000 | #Constraints: 17658
1298.89/1303.02 c #Conflicts: 690000 | #Constraints: 18658
1298.89/1303.02 c #Conflicts: 691000 | #Constraints: 19658
1298.89/1303.02 c #Conflicts: 692000 | #Constraints: 20658
1298.89/1303.02 c #Conflicts: 693000 | #Constraints: 21658
1298.89/1303.02 c #Conflicts: 694000 | #Constraints: 22658
1298.89/1303.02 c #Conflicts: 695000 | #Constraints: 23658
1298.89/1303.02 c #Conflicts: 696000 | #Constraints: 24658
1298.89/1303.02 c #Conflicts: 697000 | #Constraints: 25658
1298.89/1303.02 c #Conflicts: 698000 | #Constraints: 26658
1298.89/1303.02 c #Conflicts: 699000 | #Constraints: 27658
1298.89/1303.02 c #Conflicts: 700000 | #Constraints: 28658
1298.89/1303.02 c #Conflicts: 701000 | #Constraints: 29658
1298.89/1303.02 c #Conflicts: 702000 | #Constraints: 30658
1298.89/1303.02 c #Conflicts: 703000 | #Constraints: 31658
1298.89/1303.02 c #Conflicts: 704000 | #Constraints: 32658
1298.89/1303.02 c #Conflicts: 705000 | #Constraints: 33658
1298.89/1303.02 c INPROCESSING
1298.89/1303.02 c GARBAGE COLLECT
1298.89/1303.02 c #Conflicts: 706000 | #Constraints: 18064
1298.89/1303.02 c #Conflicts: 707000 | #Constraints: 19064
1298.89/1303.02 c #Conflicts: 708000 | #Constraints: 20064
1298.89/1303.02 c #Conflicts: 709000 | #Constraints: 21064
1298.89/1303.02 c #Conflicts: 710000 | #Constraints: 22064
1298.89/1303.02 c #Conflicts: 711000 | #Constraints: 23064
1298.89/1303.02 c #Conflicts: 712000 | #Constraints: 24064
1298.89/1303.02 c #Conflicts: 713000 | #Constraints: 25064
1298.89/1303.02 c #Conflicts: 714000 | #Constraints: 26064
1298.89/1303.02 c #Conflicts: 715000 | #Constraints: 27064
1298.89/1303.02 c #Conflicts: 716000 | #Constraints: 28064
1298.89/1303.02 c #Conflicts: 717000 | #Constraints: 29064
1298.89/1303.02 c #Conflicts: 718000 | #Constraints: 30064
1298.89/1303.02 c #Conflicts: 719000 | #Constraints: 31064
1298.89/1303.02 c #Conflicts: 720000 | #Constraints: 32064
1298.89/1303.02 c #Conflicts: 721000 | #Constraints: 33064
1298.89/1303.02 c #Conflicts: 722000 | #Constraints: 34064
1298.89/1303.02 c INPROCESSING
1298.89/1303.02 c GARBAGE COLLECT
1298.89/1303.02 c #Conflicts: 723000 | #Constraints: 18282
1298.89/1303.02 c #Conflicts: 724000 | #Constraints: 19282
1298.89/1303.02 c #Conflicts: 725000 | #Constraints: 20282
1298.89/1303.02 c #Conflicts: 726000 | #Constraints: 21282
1298.89/1303.02 c #Conflicts: 727000 | #Constraints: 22282
1298.89/1303.02 c #Conflicts: 728000 | #Constraints: 23282
1298.89/1303.02 c #Conflicts: 729000 | #Constraints: 24282
1298.89/1303.02 c #Conflicts: 730000 | #Constraints: 25282
1298.89/1303.02 c #Conflicts: 731000 | #Constraints: 26282
1298.89/1303.02 c #Conflicts: 732000 | #Constraints: 27282
1298.89/1303.02 c #Conflicts: 733000 | #Constraints: 28282
1298.89/1303.02 c #Conflicts: 734000 | #Constraints: 29282
1298.89/1303.02 c #Conflicts: 735000 | #Constraints: 30282
1298.89/1303.02 c #Conflicts: 736000 | #Constraints: 31282
1298.89/1303.02 c #Conflicts: 737000 | #Constraints: 32282
1298.89/1303.02 c #Conflicts: 738000 | #Constraints: 33282
1298.89/1303.02 c #Conflicts: 739000 | #Constraints: 34282
1298.89/1303.02 c INPROCESSING
1298.89/1303.02 c GARBAGE COLLECT
1436.40/1440.97 c #Conflicts: 740000 | #Constraints: 18297
1436.40/1440.97 c #Conflicts: 741000 | #Constraints: 19297
1436.40/1440.97 c #Conflicts: 742000 | #Constraints: 20297
1436.40/1440.97 c #Conflicts: 743000 | #Constraints: 21297
1436.40/1440.97 c #Conflicts: 744000 | #Constraints: 22297
1436.40/1440.97 c #Conflicts: 745000 | #Constraints: 23297
1436.40/1440.97 c #Conflicts: 746000 | #Constraints: 24297
1436.40/1440.97 c #Conflicts: 747000 | #Constraints: 25297
1436.40/1440.97 c #Conflicts: 748000 | #Constraints: 26297
1436.40/1440.97 c #Conflicts: 749000 | #Constraints: 27297
1436.40/1440.97 c #Conflicts: 750000 | #Constraints: 28297
1436.40/1440.97 c #Conflicts: 751000 | #Constraints: 29297
1436.40/1440.97 c #Conflicts: 752000 | #Constraints: 30297
1436.40/1440.97 c #Conflicts: 753000 | #Constraints: 31297
1436.40/1440.97 c #Conflicts: 754000 | #Constraints: 32297
1436.40/1440.97 c #Conflicts: 755000 | #Constraints: 33297
1436.40/1440.97 c #Conflicts: 756000 | #Constraints: 34297
1436.40/1440.97 c INPROCESSING
1436.40/1440.97 c GARBAGE COLLECT
1436.40/1440.97 c #Conflicts: 757000 | #Constraints: 18086
1436.40/1440.97 c #Conflicts: 758000 | #Constraints: 19086
1436.40/1440.97 c #Conflicts: 759000 | #Constraints: 20086
1436.40/1440.97 c #Conflicts: 760000 | #Constraints: 21086
1436.40/1440.97 c #Conflicts: 761000 | #Constraints: 22086
1436.40/1440.97 c #Conflicts: 762000 | #Constraints: 23086
1436.40/1440.97 c #Conflicts: 763000 | #Constraints: 24086
1436.40/1440.97 c #Conflicts: 764000 | #Constraints: 25086
1436.40/1440.97 c #Conflicts: 765000 | #Constraints: 26086
1436.40/1440.97 c #Conflicts: 766000 | #Constraints: 27086
1436.40/1440.97 c #Conflicts: 767000 | #Constraints: 28086
1436.40/1440.97 c #Conflicts: 768000 | #Constraints: 29086
1436.40/1440.97 c #Conflicts: 769000 | #Constraints: 30086
1436.40/1440.97 c #Conflicts: 770000 | #Constraints: 31086
1436.40/1440.97 c #Conflicts: 771000 | #Constraints: 32086
1436.40/1440.97 c #Conflicts: 772000 | #Constraints: 33086
1436.40/1440.97 c #Conflicts: 773000 | #Constraints: 34086
1436.40/1440.97 c #Conflicts: 774000 | #Constraints: 35086
1436.40/1440.97 c INPROCESSING
1436.40/1440.97 c GARBAGE COLLECT
1436.40/1440.97 c #Conflicts: 775000 | #Constraints: 18668
1436.40/1440.97 c #Conflicts: 776000 | #Constraints: 19668
1436.40/1440.97 c #Conflicts: 777000 | #Constraints: 20668
1436.40/1440.97 c #Conflicts: 778000 | #Constraints: 21668
1436.40/1440.97 c #Conflicts: 779000 | #Constraints: 22668
1436.40/1440.97 c #Conflicts: 780000 | #Constraints: 23668
1436.40/1440.97 c #Conflicts: 781000 | #Constraints: 24668
1436.40/1440.97 c #Conflicts: 782000 | #Constraints: 25668
1436.40/1440.97 c #Conflicts: 783000 | #Constraints: 26668
1436.40/1440.97 c #Conflicts: 784000 | #Constraints: 27668
1436.40/1440.97 c #Conflicts: 785000 | #Constraints: 28668
1436.40/1440.97 c #Conflicts: 786000 | #Constraints: 29668
1436.40/1440.97 c #Conflicts: 787000 | #Constraints: 30668
1436.40/1440.97 c #Conflicts: 788000 | #Constraints: 31668
1436.40/1440.97 c #Conflicts: 789000 | #Constraints: 32668
1436.40/1440.97 c #Conflicts: 790000 | #Constraints: 33668
1436.40/1440.97 c #Conflicts: 791000 | #Constraints: 34668
1436.40/1440.97 c #Conflicts: 792000 | #Constraints: 35668
1436.40/1440.97 c INPROCESSING
1436.40/1440.97 c GARBAGE COLLECT
1436.40/1440.97 c #Conflicts: 793000 | #Constraints: 19065
1436.40/1440.97 c #Conflicts: 794000 | #Constraints: 20065
1436.40/1440.97 c #Conflicts: 795000 | #Constraints: 21065
1436.40/1440.97 c #Conflicts: 796000 | #Constraints: 22065
1436.40/1440.97 c #Conflicts: 797000 | #Constraints: 23065
1436.40/1440.97 c #Conflicts: 798000 | #Constraints: 24065
1436.40/1440.97 c #Conflicts: 799000 | #Constraints: 25065
1436.40/1440.97 c #Conflicts: 800000 | #Constraints: 26065
1436.40/1440.97 c #Conflicts: 801000 | #Constraints: 27065
1436.40/1440.97 c #Conflicts: 802000 | #Constraints: 28065
1436.40/1440.97 c #Conflicts: 803000 | #Constraints: 29065
1436.40/1440.97 c #Conflicts: 804000 | #Constraints: 30065
1436.40/1440.97 c #Conflicts: 805000 | #Constraints: 31065
1436.40/1440.97 c #Conflicts: 806000 | #Constraints: 32065
1436.40/1440.97 c #Conflicts: 807000 | #Constraints: 33065
1436.40/1440.97 c #Conflicts: 808000 | #Constraints: 34065
1436.40/1440.97 c #Conflicts: 809000 | #Constraints: 35065
1436.40/1440.97 c #Conflicts: 810000 | #Constraints: 36065
1436.40/1440.97 c INPROCESSING
1436.40/1440.97 c GARBAGE COLLECT
1436.40/1440.97 c #Conflicts: 811000 | #Constraints: 19264
1436.40/1440.97 c #Conflicts: 812000 | #Constraints: 20264
1436.40/1440.97 c #Conflicts: 813000 | #Constraints: 21264
1436.40/1440.97 c #Conflicts: 814000 | #Constraints: 22264
1436.40/1440.97 c #Conflicts: 815000 | #Constraints: 23264
1436.40/1440.97 c #Conflicts: 816000 | #Constraints: 24264
1604.08/1609.10 c #Conflicts: 817000 | #Constraints: 25264
1604.08/1609.10 c #Conflicts: 818000 | #Constraints: 26264
1604.08/1609.10 c #Conflicts: 819000 | #Constraints: 27264
1604.08/1609.10 c #Conflicts: 820000 | #Constraints: 28264
1604.08/1609.10 c #Conflicts: 821000 | #Constraints: 29264
1604.08/1609.10 c #Conflicts: 822000 | #Constraints: 30264
1604.08/1609.10 c #Conflicts: 823000 | #Constraints: 31264
1604.08/1609.10 c #Conflicts: 824000 | #Constraints: 32264
1604.08/1609.10 c #Conflicts: 825000 | #Constraints: 33264
1604.08/1609.10 c #Conflicts: 826000 | #Constraints: 34264
1604.08/1609.10 c #Conflicts: 827000 | #Constraints: 35264
1604.08/1609.10 c #Conflicts: 828000 | #Constraints: 36264
1604.08/1609.10 c INPROCESSING
1604.08/1609.10 c GARBAGE COLLECT
1604.08/1609.10 c #Conflicts: 829000 | #Constraints: 19272
1604.08/1609.10 c #Conflicts: 830000 | #Constraints: 20272
1604.08/1609.10 c #Conflicts: 831000 | #Constraints: 21272
1604.08/1609.10 c #Conflicts: 832000 | #Constraints: 22272
1604.08/1609.10 c #Conflicts: 833000 | #Constraints: 23272
1604.08/1609.10 c #Conflicts: 834000 | #Constraints: 24272
1604.08/1609.10 c #Conflicts: 835000 | #Constraints: 25272
1604.08/1609.10 c #Conflicts: 836000 | #Constraints: 26272
1604.08/1609.10 c #Conflicts: 837000 | #Constraints: 27272
1604.08/1609.10 c #Conflicts: 838000 | #Constraints: 28272
1604.08/1609.10 c #Conflicts: 839000 | #Constraints: 29272
1604.08/1609.10 c #Conflicts: 840000 | #Constraints: 30272
1604.08/1609.10 c #Conflicts: 841000 | #Constraints: 31272
1604.08/1609.10 c #Conflicts: 842000 | #Constraints: 32272
1604.08/1609.10 c #Conflicts: 843000 | #Constraints: 33272
1604.08/1609.10 c #Conflicts: 844000 | #Constraints: 34272
1604.08/1609.10 c #Conflicts: 845000 | #Constraints: 35272
1604.08/1609.10 c #Conflicts: 846000 | #Constraints: 36272
1604.08/1609.10 c INPROCESSING
1604.08/1609.10 c GARBAGE COLLECT
1604.08/1609.10 c #Conflicts: 847000 | #Constraints: 19067
1604.08/1609.10 c #Conflicts: 848000 | #Constraints: 20067
1604.08/1609.10 c #Conflicts: 849000 | #Constraints: 21067
1604.08/1609.10 c #Conflicts: 850000 | #Constraints: 22067
1604.08/1609.10 c #Conflicts: 851000 | #Constraints: 23067
1604.08/1609.10 c #Conflicts: 852000 | #Constraints: 24067
1604.08/1609.10 c #Conflicts: 853000 | #Constraints: 25067
1604.08/1609.10 c #Conflicts: 854000 | #Constraints: 26067
1604.08/1609.10 c #Conflicts: 855000 | #Constraints: 27067
1604.08/1609.10 c #Conflicts: 856000 | #Constraints: 28067
1604.08/1609.10 c #Conflicts: 857000 | #Constraints: 29067
1604.08/1609.10 c #Conflicts: 858000 | #Constraints: 30067
1604.08/1609.10 c #Conflicts: 859000 | #Constraints: 31067
1604.08/1609.10 c #Conflicts: 860000 | #Constraints: 32067
1604.08/1609.10 c #Conflicts: 861000 | #Constraints: 33067
1604.08/1609.10 c #Conflicts: 862000 | #Constraints: 34067
1604.08/1609.10 c #Conflicts: 863000 | #Constraints: 35067
1604.08/1609.10 c #Conflicts: 864000 | #Constraints: 36067
1604.08/1609.10 c #Conflicts: 865000 | #Constraints: 37067
1604.08/1609.10 c INPROCESSING
1604.08/1609.10 c GARBAGE COLLECT
1604.08/1609.10 c #Conflicts: 866000 | #Constraints: 19665
1604.08/1609.10 c #Conflicts: 867000 | #Constraints: 20665
1604.08/1609.10 c #Conflicts: 868000 | #Constraints: 21665
1604.08/1609.10 c #Conflicts: 869000 | #Constraints: 22665
1604.08/1609.10 c #Conflicts: 870000 | #Constraints: 23665
1604.08/1609.10 c #Conflicts: 871000 | #Constraints: 24665
1604.08/1609.10 c #Conflicts: 872000 | #Constraints: 25665
1604.08/1609.10 c #Conflicts: 873000 | #Constraints: 26665
1604.08/1609.10 c #Conflicts: 874000 | #Constraints: 27665
1604.08/1609.10 c #Conflicts: 875000 | #Constraints: 28665
1604.08/1609.10 c #Conflicts: 876000 | #Constraints: 29665
1604.08/1609.10 c #Conflicts: 877000 | #Constraints: 30665
1604.08/1609.10 c #Conflicts: 878000 | #Constraints: 31665
1604.08/1609.10 c #Conflicts: 879000 | #Constraints: 32665
1604.08/1609.10 c #Conflicts: 880000 | #Constraints: 33665
1604.08/1609.10 c #Conflicts: 881000 | #Constraints: 34665
1604.08/1609.10 c #Conflicts: 882000 | #Constraints: 35665
1604.08/1609.10 c #Conflicts: 883000 | #Constraints: 36665
1604.08/1609.10 c #Conflicts: 884000 | #Constraints: 37665
1604.08/1609.10 c INPROCESSING
1604.08/1609.10 c GARBAGE COLLECT
1604.08/1609.10 c #Conflicts: 885000 | #Constraints: 20069
1604.08/1609.10 c #Conflicts: 886000 | #Constraints: 21069
1604.08/1609.10 c #Conflicts: 887000 | #Constraints: 22069
1604.08/1609.10 c #Conflicts: 888000 | #Constraints: 23069
1604.08/1609.10 c #Conflicts: 889000 | #Constraints: 24069
1604.08/1609.10 c #Conflicts: 890000 | #Constraints: 25069
1604.08/1609.10 c #Conflicts: 891000 | #Constraints: 26069
1604.08/1609.10 c #Conflicts: 892000 | #Constraints: 27069
1777.43/1782.83 c #Conflicts: 893000 | #Constraints: 28069
1777.43/1782.83 c #Conflicts: 894000 | #Constraints: 29069
1777.43/1782.83 c #Conflicts: 895000 | #Constraints: 30069
1777.43/1782.83 c #Conflicts: 896000 | #Constraints: 31069
1777.43/1782.83 c #Conflicts: 897000 | #Constraints: 32069
1777.43/1782.83 c #Conflicts: 898000 | #Constraints: 33069
1777.43/1782.83 c #Conflicts: 899000 | #Constraints: 34069
1777.43/1782.83 c #Conflicts: 900000 | #Constraints: 35069
1777.43/1782.83 c #Conflicts: 901000 | #Constraints: 36069
1777.43/1782.83 c #Conflicts: 902000 | #Constraints: 37069
1777.43/1782.83 c #Conflicts: 903000 | #Constraints: 38069
1777.43/1782.83 c INPROCESSING
1777.43/1782.83 c GARBAGE COLLECT
1777.43/1782.83 c #Conflicts: 904000 | #Constraints: 20257
1777.43/1782.83 c #Conflicts: 905000 | #Constraints: 21257
1777.43/1782.83 c #Conflicts: 906000 | #Constraints: 22257
1777.43/1782.83 c #Conflicts: 907000 | #Constraints: 23257
1777.43/1782.83 c #Conflicts: 908000 | #Constraints: 24257
1777.43/1782.83 c #Conflicts: 909000 | #Constraints: 25257
1777.43/1782.83 c #Conflicts: 910000 | #Constraints: 26257
1777.43/1782.83 c #Conflicts: 911000 | #Constraints: 27257
1777.43/1782.83 c #Conflicts: 912000 | #Constraints: 28257
1777.43/1782.83 c #Conflicts: 913000 | #Constraints: 29257
1777.43/1782.83 c #Conflicts: 914000 | #Constraints: 30257
1777.43/1782.83 c #Conflicts: 915000 | #Constraints: 31257
1777.43/1782.83 c #Conflicts: 916000 | #Constraints: 32257
1777.43/1782.83 c #Conflicts: 917000 | #Constraints: 33257
1777.43/1782.83 c #Conflicts: 918000 | #Constraints: 34257
1777.43/1782.83 c #Conflicts: 919000 | #Constraints: 35257
1777.43/1782.83 c #Conflicts: 920000 | #Constraints: 36257
1777.43/1782.83 c #Conflicts: 921000 | #Constraints: 37257
1777.43/1782.83 c #Conflicts: 922000 | #Constraints: 38257
1777.43/1782.83 c INPROCESSING
1777.43/1782.83 c GARBAGE COLLECT
1777.43/1782.83 c #Conflicts: 923000 | #Constraints: 20257
1777.43/1782.83 c #Conflicts: 924000 | #Constraints: 21257
1777.43/1782.83 c #Conflicts: 925000 | #Constraints: 22257
1777.43/1782.83 c #Conflicts: 926000 | #Constraints: 23257
1777.43/1782.83 c #Conflicts: 927000 | #Constraints: 24257
1777.43/1782.83 c #Conflicts: 928000 | #Constraints: 25257
1777.43/1782.83 c #Conflicts: 929000 | #Constraints: 26257
1777.43/1782.83 c #Conflicts: 930000 | #Constraints: 27257
1777.43/1782.83 c #Conflicts: 931000 | #Constraints: 28257
1777.43/1782.83 c #Conflicts: 932000 | #Constraints: 29257
1777.43/1782.83 c #Conflicts: 933000 | #Constraints: 30257
1777.43/1782.83 c #Conflicts: 934000 | #Constraints: 31257
1777.43/1782.83 c #Conflicts: 935000 | #Constraints: 32257
1777.43/1782.83 c #Conflicts: 936000 | #Constraints: 33257
1777.43/1782.83 c #Conflicts: 937000 | #Constraints: 34257
1777.43/1782.83 c #Conflicts: 938000 | #Constraints: 35257
1777.43/1782.83 c #Conflicts: 939000 | #Constraints: 36257
1777.43/1782.83 c #Conflicts: 940000 | #Constraints: 37257
1777.43/1782.83 c #Conflicts: 941000 | #Constraints: 38257
1777.43/1782.83 c INPROCESSING
1777.43/1782.83 c GARBAGE COLLECT
1777.43/1782.83 c #Conflicts: 942000 | #Constraints: 20083
1777.43/1782.83 c #Conflicts: 943000 | #Constraints: 21083
1777.43/1782.83 c #Conflicts: 944000 | #Constraints: 22083
1777.43/1782.83 c #Conflicts: 945000 | #Constraints: 23083
1777.43/1782.83 c #Conflicts: 946000 | #Constraints: 24083
1777.43/1782.83 c #Conflicts: 947000 | #Constraints: 25083
1777.43/1782.83 c #Conflicts: 948000 | #Constraints: 26083
1777.43/1782.83 c #Conflicts: 949000 | #Constraints: 27083
1777.43/1782.83 c #Conflicts: 950000 | #Constraints: 28083
1777.43/1782.83 c #Conflicts: 951000 | #Constraints: 29083
1777.43/1782.83 c #Conflicts: 952000 | #Constraints: 30083
1777.43/1782.83 c #Conflicts: 953000 | #Constraints: 31083
1777.43/1782.83 c #Conflicts: 954000 | #Constraints: 32083
1777.43/1782.83 c #Conflicts: 955000 | #Constraints: 33083
1777.43/1782.83 c #Conflicts: 956000 | #Constraints: 34083
1777.43/1782.83 c #Conflicts: 957000 | #Constraints: 35083
1777.43/1782.83 c #Conflicts: 958000 | #Constraints: 36083
1777.43/1782.83 c #Conflicts: 959000 | #Constraints: 37083
1777.43/1782.83 c #Conflicts: 960000 | #Constraints: 38083
1777.43/1782.83 c #Conflicts: 961000 | #Constraints: 39083
1777.43/1782.83 c INPROCESSING
1777.43/1782.83 c GARBAGE COLLECT
1777.43/1782.83 c #Conflicts: 962000 | #Constraints: 20693
1777.43/1782.83 c #Conflicts: 963000 | #Constraints: 21693
1777.43/1782.83 c #Conflicts: 964000 | #Constraints: 22693
1777.43/1782.83 c #Conflicts: 965000 | #Constraints: 23693
1777.43/1782.83 c #Conflicts: 966000 | #Constraints: 24693
1777.43/1782.83 c #Conflicts: 967000 | #Constraints: 25693
1777.43/1782.83 c #Conflicts: 968000 | #Constraints: 26693
1984.38/1990.31 c #Conflicts: 969000 | #Constraints: 27693
1984.38/1990.31 c #Conflicts: 970000 | #Constraints: 28693
1984.38/1990.31 c #Conflicts: 971000 | #Constraints: 29693
1984.38/1990.31 c #Conflicts: 972000 | #Constraints: 30693
1984.38/1990.31 c #Conflicts: 973000 | #Constraints: 31693
1984.38/1990.31 c #Conflicts: 974000 | #Constraints: 32693
1984.38/1990.31 c #Conflicts: 975000 | #Constraints: 33693
1984.38/1990.31 c #Conflicts: 976000 | #Constraints: 34693
1984.38/1990.31 c #Conflicts: 977000 | #Constraints: 35693
1984.38/1990.31 c #Conflicts: 978000 | #Constraints: 36693
1984.38/1990.31 c #Conflicts: 979000 | #Constraints: 37693
1984.38/1990.31 c #Conflicts: 980000 | #Constraints: 38693
1984.38/1990.31 c #Conflicts: 981000 | #Constraints: 39693
1984.38/1990.31 c INPROCESSING
1984.38/1990.31 c GARBAGE COLLECT
1984.38/1990.31 c #Conflicts: 982000 | #Constraints: 21098
1984.38/1990.31 c #Conflicts: 983000 | #Constraints: 22098
1984.38/1990.31 c #Conflicts: 984000 | #Constraints: 23098
1984.38/1990.31 c #Conflicts: 985000 | #Constraints: 24098
1984.38/1990.31 c #Conflicts: 986000 | #Constraints: 25098
1984.38/1990.31 c #Conflicts: 987000 | #Constraints: 26098
1984.38/1990.31 c #Conflicts: 988000 | #Constraints: 27098
1984.38/1990.31 c #Conflicts: 989000 | #Constraints: 28098
1984.38/1990.31 c #Conflicts: 990000 | #Constraints: 29098
1984.38/1990.31 c #Conflicts: 991000 | #Constraints: 30098
1984.38/1990.31 c #Conflicts: 992000 | #Constraints: 31098
1984.38/1990.31 c #Conflicts: 993000 | #Constraints: 32098
1984.38/1990.31 c #Conflicts: 994000 | #Constraints: 33098
1984.38/1990.31 c #Conflicts: 995000 | #Constraints: 34098
1984.38/1990.31 c #Conflicts: 996000 | #Constraints: 35098
1984.38/1990.31 c #Conflicts: 997000 | #Constraints: 36098
1984.38/1990.31 c #Conflicts: 998000 | #Constraints: 37098
1984.38/1990.31 c #Conflicts: 999000 | #Constraints: 38098
1984.38/1990.31 c #Conflicts: 1000000 | #Constraints: 39098
1984.38/1990.31 c #Conflicts: 1001000 | #Constraints: 40098
1984.38/1990.31 c INPROCESSING
1984.38/1990.31 c GARBAGE COLLECT
1984.38/1990.31 c #Conflicts: 1002000 | #Constraints: 21307
1984.38/1990.31 c #Conflicts: 1003000 | #Constraints: 22307
1984.38/1990.31 c #Conflicts: 1004000 | #Constraints: 23307
1984.38/1990.31 c #Conflicts: 1005000 | #Constraints: 24307
1984.38/1990.31 c #Conflicts: 1006000 | #Constraints: 25307
1984.38/1990.31 c #Conflicts: 1007000 | #Constraints: 26307
1984.38/1990.31 c #Conflicts: 1008000 | #Constraints: 27307
1984.38/1990.31 c #Conflicts: 1009000 | #Constraints: 28307
1984.38/1990.31 c #Conflicts: 1010000 | #Constraints: 29307
1984.38/1990.31 c #Conflicts: 1011000 | #Constraints: 30307
1984.38/1990.31 c #Conflicts: 1012000 | #Constraints: 31307
1984.38/1990.31 c #Conflicts: 1013000 | #Constraints: 32307
1984.38/1990.31 c #Conflicts: 1014000 | #Constraints: 33307
1984.38/1990.31 c #Conflicts: 1015000 | #Constraints: 34307
1984.38/1990.31 c #Conflicts: 1016000 | #Constraints: 35307
1984.38/1990.31 c #Conflicts: 1017000 | #Constraints: 36307
1984.38/1990.31 c #Conflicts: 1018000 | #Constraints: 37307
1984.38/1990.31 c #Conflicts: 1019000 | #Constraints: 38307
1984.38/1990.31 c #Conflicts: 1020000 | #Constraints: 39307
1984.38/1990.31 c #Conflicts: 1021000 | #Constraints: 40307
1984.38/1990.31 c INPROCESSING
1984.38/1990.31 c GARBAGE COLLECT
1984.38/1990.31 c #Conflicts: 1022000 | #Constraints: 21323
1984.38/1990.31 c #Conflicts: 1023000 | #Constraints: 22323
1984.38/1990.31 c #Conflicts: 1024000 | #Constraints: 23323
1984.38/1990.31 c #Conflicts: 1025000 | #Constraints: 24323
1984.38/1990.31 c #Conflicts: 1026000 | #Constraints: 25323
1984.38/1990.31 c #Conflicts: 1027000 | #Constraints: 26323
1984.38/1990.31 c #Conflicts: 1028000 | #Constraints: 27323
1984.38/1990.31 c #Conflicts: 1029000 | #Constraints: 28323
1984.38/1990.31 c #Conflicts: 1030000 | #Constraints: 29323
1984.38/1990.31 c #Conflicts: 1031000 | #Constraints: 30323
1984.38/1990.31 c #Conflicts: 1032000 | #Constraints: 31323
1984.38/1990.31 c #Conflicts: 1033000 | #Constraints: 32323
1984.38/1990.31 c #Conflicts: 1034000 | #Constraints: 33323
1984.38/1990.31 c #Conflicts: 1035000 | #Constraints: 34323
1984.38/1990.31 c #Conflicts: 1036000 | #Constraints: 35323
1984.38/1990.31 c #Conflicts: 1037000 | #Constraints: 36323
1984.38/1990.31 c #Conflicts: 1038000 | #Constraints: 37323
1984.38/1990.31 c #Conflicts: 1039000 | #Constraints: 38323
1984.38/1990.31 c #Conflicts: 1040000 | #Constraints: 39323
1984.38/1990.31 c #Conflicts: 1041000 | #Constraints: 40323
1984.38/1990.31 c INPROCESSING
1984.38/1990.31 c GARBAGE COLLECT
1984.38/1990.31 c #Conflicts: 1042000 | #Constraints: 21099
1984.38/1990.31 c #Conflicts: 1043000 | #Constraints: 22099
1984.38/1990.31 c #Conflicts: 1044000 | #Constraints: 23099
2351.88/2358.84 c #Conflicts: 1045000 | #Constraints: 24099
2351.88/2358.84 c #Conflicts: 1046000 | #Constraints: 25099
2351.88/2358.84 c #Conflicts: 1047000 | #Constraints: 26099
2351.88/2358.84 c #Conflicts: 1048000 | #Constraints: 27099
2351.88/2358.84 c #Conflicts: 1049000 | #Constraints: 28099
2351.88/2358.84 c #Conflicts: 1050000 | #Constraints: 29099
2351.88/2358.84 c #Conflicts: 1051000 | #Constraints: 30099
2351.88/2358.84 c #Conflicts: 1052000 | #Constraints: 31099
2351.88/2358.84 c #Conflicts: 1053000 | #Constraints: 32099
2351.88/2358.84 c #Conflicts: 1054000 | #Constraints: 33099
2351.88/2358.84 c #Conflicts: 1055000 | #Constraints: 34099
2351.88/2358.84 c #Conflicts: 1056000 | #Constraints: 35099
2351.88/2358.84 c #Conflicts: 1057000 | #Constraints: 36099
2351.88/2358.84 c #Conflicts: 1058000 | #Constraints: 37099
2351.88/2358.84 c #Conflicts: 1059000 | #Constraints: 38099
2351.88/2358.84 c #Conflicts: 1060000 | #Constraints: 39099
2351.88/2358.84 c #Conflicts: 1061000 | #Constraints: 40099
2351.88/2358.84 c #Conflicts: 1062000 | #Constraints: 41099
2351.88/2358.84 c INPROCESSING
2351.88/2358.84 c GARBAGE COLLECT
2351.88/2358.84 c #Conflicts: 1063000 | #Constraints: 21693
2351.88/2358.84 c #Conflicts: 1064000 | #Constraints: 22693
2351.88/2358.84 c #Conflicts: 1065000 | #Constraints: 23693
2351.88/2358.84 c #Conflicts: 1066000 | #Constraints: 24693
2351.88/2358.84 c #Conflicts: 1067000 | #Constraints: 25693
2351.88/2358.84 c #Conflicts: 1068000 | #Constraints: 26693
2351.88/2358.84 c #Conflicts: 1069000 | #Constraints: 27693
2351.88/2358.84 c #Conflicts: 1070000 | #Constraints: 28693
2351.88/2358.84 c #Conflicts: 1071000 | #Constraints: 29693
2351.88/2358.84 c #Conflicts: 1072000 | #Constraints: 30693
2351.88/2358.84 c #Conflicts: 1073000 | #Constraints: 31693
2351.88/2358.84 c #Conflicts: 1074000 | #Constraints: 32693
2351.88/2358.84 c #Conflicts: 1075000 | #Constraints: 33693
2351.88/2358.84 c #Conflicts: 1076000 | #Constraints: 34693
2351.88/2358.84 c #Conflicts: 1077000 | #Constraints: 35693
2351.88/2358.84 c #Conflicts: 1078000 | #Constraints: 36693
2351.88/2358.84 c #Conflicts: 1079000 | #Constraints: 37693
2351.88/2358.84 c #Conflicts: 1080000 | #Constraints: 38693
2351.88/2358.84 c #Conflicts: 1081000 | #Constraints: 39693
2351.88/2358.84 c #Conflicts: 1082000 | #Constraints: 40693
2351.88/2358.84 c #Conflicts: 1083000 | #Constraints: 41693
2351.88/2358.84 c INPROCESSING
2351.88/2358.84 c GARBAGE COLLECT
2351.88/2358.84 c #Conflicts: 1084000 | #Constraints: 22092
2351.88/2358.84 c #Conflicts: 1085000 | #Constraints: 23092
2351.88/2358.84 c #Conflicts: 1086000 | #Constraints: 24092
2351.88/2358.84 c #Conflicts: 1087000 | #Constraints: 25092
2351.88/2358.84 c #Conflicts: 1088000 | #Constraints: 26092
2351.88/2358.84 c #Conflicts: 1089000 | #Constraints: 27092
2351.88/2358.84 c #Conflicts: 1090000 | #Constraints: 28092
2351.88/2358.84 c #Conflicts: 1091000 | #Constraints: 29092
2351.88/2358.84 c #Conflicts: 1092000 | #Constraints: 30092
2351.88/2358.84 c #Conflicts: 1093000 | #Constraints: 31092
2351.88/2358.84 c #Conflicts: 1094000 | #Constraints: 32092
2351.88/2358.84 c #Conflicts: 1095000 | #Constraints: 33092
2351.88/2358.84 c #Conflicts: 1096000 | #Constraints: 34092
2351.88/2358.84 c #Conflicts: 1097000 | #Constraints: 35092
2351.88/2358.84 c #Conflicts: 1098000 | #Constraints: 36092
2351.88/2358.84 c #Conflicts: 1099000 | #Constraints: 37092
2351.88/2358.84 c #Conflicts: 1100000 | #Constraints: 38092
2351.88/2358.84 c #Conflicts: 1101000 | #Constraints: 39092
2351.88/2358.84 c #Conflicts: 1102000 | #Constraints: 40092
2351.88/2358.84 c #Conflicts: 1103000 | #Constraints: 41092
2351.88/2358.84 c #Conflicts: 1104000 | #Constraints: 42092
2351.88/2358.84 c INPROCESSING
2351.88/2358.84 c GARBAGE COLLECT
2351.88/2358.84 c #Conflicts: 1105000 | #Constraints: 22285
2351.88/2358.84 c #Conflicts: 1106000 | #Constraints: 23285
2351.88/2358.84 c #Conflicts: 1107000 | #Constraints: 24285
2351.88/2358.84 c #Conflicts: 1108000 | #Constraints: 25285
2351.88/2358.84 c #Conflicts: 1109000 | #Constraints: 26285
2351.88/2358.84 c #Conflicts: 1110000 | #Constraints: 27285
2351.88/2358.84 c #Conflicts: 1111000 | #Constraints: 28285
2351.88/2358.84 c #Conflicts: 1112000 | #Constraints: 29285
2351.88/2358.84 c #Conflicts: 1113000 | #Constraints: 30285
2351.88/2358.84 c #Conflicts: 1114000 | #Constraints: 31285
2351.88/2358.84 c #Conflicts: 1115000 | #Constraints: 32285
2351.88/2358.84 c #Conflicts: 1116000 | #Constraints: 33285
2351.88/2358.84 c #Conflicts: 1117000 | #Constraints: 34285
2351.88/2358.84 c #Conflicts: 1118000 | #Constraints: 35285
2351.88/2358.84 c #Conflicts: 1119000 | #Constraints: 36285
2351.88/2358.84 c #Conflicts: 1120000 | #Constraints: 37285
2351.88/2358.84 c #Conflicts: 1121000 | #Constraints: 38285
2507.86/2515.24 c #Conflicts: 1122000 | #Constraints: 39285
2507.86/2515.24 c #Conflicts: 1123000 | #Constraints: 40285
2507.86/2515.24 c #Conflicts: 1124000 | #Constraints: 41285
2507.86/2515.24 c #Conflicts: 1125000 | #Constraints: 42285
2507.86/2515.24 c INPROCESSING
2507.86/2515.24 c GARBAGE COLLECT
2507.86/2515.24 c #Conflicts: 1126000 | #Constraints: 22287
2507.86/2515.24 c #Conflicts: 1127000 | #Constraints: 23287
2507.86/2515.24 c #Conflicts: 1128000 | #Constraints: 24287
2507.86/2515.24 c #Conflicts: 1129000 | #Constraints: 25287
2507.86/2515.24 c #Conflicts: 1130000 | #Constraints: 26287
2507.86/2515.24 c #Conflicts: 1131000 | #Constraints: 27287
2507.86/2515.24 c #Conflicts: 1132000 | #Constraints: 28287
2507.86/2515.24 c #Conflicts: 1133000 | #Constraints: 29287
2507.86/2515.24 c #Conflicts: 1134000 | #Constraints: 30287
2507.86/2515.24 c #Conflicts: 1135000 | #Constraints: 31287
2507.86/2515.24 c #Conflicts: 1136000 | #Constraints: 32287
2507.86/2515.24 c #Conflicts: 1137000 | #Constraints: 33287
2507.86/2515.24 c #Conflicts: 1138000 | #Constraints: 34287
2507.86/2515.24 c #Conflicts: 1139000 | #Constraints: 35287
2507.86/2515.24 c #Conflicts: 1140000 | #Constraints: 36287
2507.86/2515.24 c #Conflicts: 1141000 | #Constraints: 37287
2507.86/2515.24 c #Conflicts: 1142000 | #Constraints: 38287
2507.86/2515.24 c #Conflicts: 1143000 | #Constraints: 39287
2507.86/2515.24 c #Conflicts: 1144000 | #Constraints: 40287
2507.86/2515.24 c #Conflicts: 1145000 | #Constraints: 41287
2507.86/2515.24 c #Conflicts: 1146000 | #Constraints: 42287
2507.86/2515.24 c INPROCESSING
2507.86/2515.24 c GARBAGE COLLECT
2507.86/2515.24 c #Conflicts: 1147000 | #Constraints: 22065
2507.86/2515.24 c #Conflicts: 1148000 | #Constraints: 23065
2507.86/2515.24 c #Conflicts: 1149000 | #Constraints: 24065
2507.86/2515.24 c #Conflicts: 1150000 | #Constraints: 25065
2507.86/2515.24 c #Conflicts: 1151000 | #Constraints: 26065
2507.86/2515.24 c #Conflicts: 1152000 | #Constraints: 27065
2507.86/2515.24 c #Conflicts: 1153000 | #Constraints: 28065
2507.86/2515.24 c #Conflicts: 1154000 | #Constraints: 29065
2507.86/2515.24 c #Conflicts: 1155000 | #Constraints: 30065
2507.86/2515.24 c #Conflicts: 1156000 | #Constraints: 31065
2507.86/2515.24 c #Conflicts: 1157000 | #Constraints: 32065
2507.86/2515.24 c #Conflicts: 1158000 | #Constraints: 33065
2507.86/2515.24 c #Conflicts: 1159000 | #Constraints: 34065
2507.86/2515.24 c #Conflicts: 1160000 | #Constraints: 35065
2507.86/2515.24 c #Conflicts: 1161000 | #Constraints: 36065
2507.86/2515.24 c #Conflicts: 1162000 | #Constraints: 37065
2507.86/2515.24 c #Conflicts: 1163000 | #Constraints: 38065
2507.86/2515.24 c #Conflicts: 1164000 | #Constraints: 39065
2507.86/2515.24 c #Conflicts: 1165000 | #Constraints: 40065
2507.86/2515.24 c #Conflicts: 1166000 | #Constraints: 41065
2507.86/2515.24 c #Conflicts: 1167000 | #Constraints: 42065
2507.86/2515.24 c #Conflicts: 1168000 | #Constraints: 43065
2507.86/2515.24 c INPROCESSING
2507.86/2515.24 c GARBAGE COLLECT
2507.86/2515.24 c #Conflicts: 1169000 | #Constraints: 22667
2507.86/2515.24 c #Conflicts: 1170000 | #Constraints: 23667
2507.86/2515.24 c #Conflicts: 1171000 | #Constraints: 24667
2507.86/2515.24 c #Conflicts: 1172000 | #Constraints: 25667
2507.86/2515.24 c #Conflicts: 1173000 | #Constraints: 26667
2507.86/2515.24 c #Conflicts: 1174000 | #Constraints: 27667
2507.86/2515.24 c #Conflicts: 1175000 | #Constraints: 28667
2507.86/2515.24 c #Conflicts: 1176000 | #Constraints: 29667
2507.86/2515.24 c #Conflicts: 1177000 | #Constraints: 30667
2507.86/2515.24 c #Conflicts: 1178000 | #Constraints: 31667
2507.86/2515.24 c #Conflicts: 1179000 | #Constraints: 32667
2507.86/2515.24 c #Conflicts: 1180000 | #Constraints: 33667
2507.86/2515.24 c #Conflicts: 1181000 | #Constraints: 34667
2507.86/2515.24 c #Conflicts: 1182000 | #Constraints: 35667
2507.86/2515.24 c #Conflicts: 1183000 | #Constraints: 36667
2507.86/2515.24 c #Conflicts: 1184000 | #Constraints: 37667
2507.86/2515.24 c #Conflicts: 1185000 | #Constraints: 38667
2507.86/2515.24 c #Conflicts: 1186000 | #Constraints: 39667
2507.86/2515.24 c #Conflicts: 1187000 | #Constraints: 40667
2507.86/2515.24 c #Conflicts: 1188000 | #Constraints: 41667
2507.86/2515.24 c #Conflicts: 1189000 | #Constraints: 42667
2507.86/2515.24 c #Conflicts: 1190000 | #Constraints: 43667
2507.86/2515.24 c INPROCESSING
2507.86/2515.24 c GARBAGE COLLECT
2507.86/2515.24 c #Conflicts: 1191000 | #Constraints: 23078
2507.86/2515.24 c #Conflicts: 1192000 | #Constraints: 24078
2507.86/2515.24 c #Conflicts: 1193000 | #Constraints: 25078
2507.86/2515.24 c #Conflicts: 1194000 | #Constraints: 26078
2507.86/2515.24 c #Conflicts: 1195000 | #Constraints: 27078
2507.86/2515.24 c #Conflicts: 1196000 | #Constraints: 28078
2507.86/2515.24 c #Conflicts: 1197000 | #Constraints: 29078
2683.60/2691.45 c #Conflicts: 1198000 | #Constraints: 30078
2683.60/2691.45 c #Conflicts: 1199000 | #Constraints: 31078
2683.60/2691.45 c #Conflicts: 1200000 | #Constraints: 32078
2683.60/2691.45 c #Conflicts: 1201000 | #Constraints: 33078
2683.60/2691.45 c #Conflicts: 1202000 | #Constraints: 34078
2683.60/2691.45 c #Conflicts: 1203000 | #Constraints: 35078
2683.60/2691.45 c #Conflicts: 1204000 | #Constraints: 36078
2683.60/2691.45 c #Conflicts: 1205000 | #Constraints: 37078
2683.60/2691.45 c #Conflicts: 1206000 | #Constraints: 38078
2683.60/2691.45 c #Conflicts: 1207000 | #Constraints: 39078
2683.60/2691.45 c #Conflicts: 1208000 | #Constraints: 40078
2683.60/2691.45 c #Conflicts: 1209000 | #Constraints: 41078
2683.60/2691.45 c #Conflicts: 1210000 | #Constraints: 42078
2683.60/2691.45 c #Conflicts: 1211000 | #Constraints: 43078
2683.60/2691.45 c #Conflicts: 1212000 | #Constraints: 44078
2683.60/2691.45 c INPROCESSING
2683.60/2691.45 c GARBAGE COLLECT
2683.60/2691.45 c #Conflicts: 1213000 | #Constraints: 23276
2683.60/2691.45 c #Conflicts: 1214000 | #Constraints: 24276
2683.60/2691.45 c #Conflicts: 1215000 | #Constraints: 25276
2683.60/2691.45 c #Conflicts: 1216000 | #Constraints: 26276
2683.60/2691.45 c #Conflicts: 1217000 | #Constraints: 27276
2683.60/2691.45 c #Conflicts: 1218000 | #Constraints: 28276
2683.60/2691.45 c #Conflicts: 1219000 | #Constraints: 29276
2683.60/2691.45 c #Conflicts: 1220000 | #Constraints: 30276
2683.60/2691.45 c #Conflicts: 1221000 | #Constraints: 31276
2683.60/2691.45 c #Conflicts: 1222000 | #Constraints: 32276
2683.60/2691.45 c #Conflicts: 1223000 | #Constraints: 33276
2683.60/2691.45 c #Conflicts: 1224000 | #Constraints: 34276
2683.60/2691.45 c #Conflicts: 1225000 | #Constraints: 35276
2683.60/2691.45 c #Conflicts: 1226000 | #Constraints: 36276
2683.60/2691.45 c #Conflicts: 1227000 | #Constraints: 37276
2683.60/2691.45 c #Conflicts: 1228000 | #Constraints: 38276
2683.60/2691.45 c #Conflicts: 1229000 | #Constraints: 39276
2683.60/2691.45 c #Conflicts: 1230000 | #Constraints: 40276
2683.60/2691.45 c #Conflicts: 1231000 | #Constraints: 41276
2683.60/2691.45 c #Conflicts: 1232000 | #Constraints: 42276
2683.60/2691.45 c #Conflicts: 1233000 | #Constraints: 43276
2683.60/2691.45 c #Conflicts: 1234000 | #Constraints: 44276
2683.60/2691.45 c INPROCESSING
2683.60/2691.45 c GARBAGE COLLECT
2683.60/2691.45 c #Conflicts: 1235000 | #Constraints: 23264
2683.60/2691.45 c #Conflicts: 1236000 | #Constraints: 24264
2683.60/2691.45 c #Conflicts: 1237000 | #Constraints: 25264
2683.60/2691.45 c #Conflicts: 1238000 | #Constraints: 26264
2683.60/2691.45 c #Conflicts: 1239000 | #Constraints: 27264
2683.60/2691.45 c #Conflicts: 1240000 | #Constraints: 28264
2683.60/2691.45 c #Conflicts: 1241000 | #Constraints: 29264
2683.60/2691.45 c #Conflicts: 1242000 | #Constraints: 30264
2683.60/2691.45 c #Conflicts: 1243000 | #Constraints: 31264
2683.60/2691.45 c #Conflicts: 1244000 | #Constraints: 32264
2683.60/2691.45 c #Conflicts: 1245000 | #Constraints: 33264
2683.60/2691.45 c #Conflicts: 1246000 | #Constraints: 34264
2683.60/2691.45 c #Conflicts: 1247000 | #Constraints: 35264
2683.60/2691.45 c #Conflicts: 1248000 | #Constraints: 36264
2683.60/2691.45 c #Conflicts: 1249000 | #Constraints: 37264
2683.60/2691.45 c #Conflicts: 1250000 | #Constraints: 38264
2683.60/2691.45 c #Conflicts: 1251000 | #Constraints: 39264
2683.60/2691.45 c #Conflicts: 1252000 | #Constraints: 40264
2683.60/2691.45 c #Conflicts: 1253000 | #Constraints: 41264
2683.60/2691.45 c #Conflicts: 1254000 | #Constraints: 42264
2683.60/2691.45 c #Conflicts: 1255000 | #Constraints: 43264
2683.60/2691.45 c #Conflicts: 1256000 | #Constraints: 44264
2683.60/2691.45 c INPROCESSING
2683.60/2691.45 c GARBAGE COLLECT
2683.60/2691.45 c #Conflicts: 1257000 | #Constraints: 23074
2683.60/2691.45 c #Conflicts: 1258000 | #Constraints: 24074
2683.60/2691.45 c #Conflicts: 1259000 | #Constraints: 25074
2683.60/2691.45 c #Conflicts: 1260000 | #Constraints: 26074
2683.60/2691.45 c #Conflicts: 1261000 | #Constraints: 27074
2683.60/2691.45 c #Conflicts: 1262000 | #Constraints: 28074
2683.60/2691.45 c #Conflicts: 1263000 | #Constraints: 29074
2683.60/2691.45 c #Conflicts: 1264000 | #Constraints: 30074
2683.60/2691.45 c #Conflicts: 1265000 | #Constraints: 31074
2683.60/2691.45 c #Conflicts: 1266000 | #Constraints: 32074
2683.60/2691.45 c #Conflicts: 1267000 | #Constraints: 33074
2683.60/2691.45 c #Conflicts: 1268000 | #Constraints: 34074
2683.60/2691.45 c #Conflicts: 1269000 | #Constraints: 35074
2683.60/2691.45 c #Conflicts: 1270000 | #Constraints: 36074
2683.60/2691.45 c #Conflicts: 1271000 | #Constraints: 37074
2683.60/2691.45 c #Conflicts: 1272000 | #Constraints: 38074
2683.60/2691.45 c #Conflicts: 1273000 | #Constraints: 39074
2683.60/2691.45 c #Conflicts: 1274000 | #Constraints: 40074
2893.69/2902.08 c #Conflicts: 1275000 | #Constraints: 41074
2893.69/2902.08 c #Conflicts: 1276000 | #Constraints: 42074
2893.69/2902.08 c #Conflicts: 1277000 | #Constraints: 43074
2893.69/2902.08 c #Conflicts: 1278000 | #Constraints: 44074
2893.69/2902.08 c #Conflicts: 1279000 | #Constraints: 45074
2893.69/2902.08 c INPROCESSING
2893.69/2902.08 c GARBAGE COLLECT
2893.69/2902.08 c #Conflicts: 1280000 | #Constraints: 23669
2893.69/2902.08 c #Conflicts: 1281000 | #Constraints: 24669
2893.69/2902.08 c #Conflicts: 1282000 | #Constraints: 25669
2893.69/2902.08 c #Conflicts: 1283000 | #Constraints: 26669
2893.69/2902.08 c #Conflicts: 1284000 | #Constraints: 27669
2893.69/2902.08 c #Conflicts: 1285000 | #Constraints: 28669
2893.69/2902.08 c #Conflicts: 1286000 | #Constraints: 29669
2893.69/2902.08 c #Conflicts: 1287000 | #Constraints: 30669
2893.69/2902.08 c #Conflicts: 1288000 | #Constraints: 31669
2893.69/2902.08 c #Conflicts: 1289000 | #Constraints: 32669
2893.69/2902.08 c #Conflicts: 1290000 | #Constraints: 33669
2893.69/2902.08 c #Conflicts: 1291000 | #Constraints: 34669
2893.69/2902.08 c #Conflicts: 1292000 | #Constraints: 35669
2893.69/2902.08 c #Conflicts: 1293000 | #Constraints: 36669
2893.69/2902.08 c #Conflicts: 1294000 | #Constraints: 37669
2893.69/2902.08 c #Conflicts: 1295000 | #Constraints: 38669
2893.69/2902.08 c #Conflicts: 1296000 | #Constraints: 39669
2893.69/2902.08 c #Conflicts: 1297000 | #Constraints: 40669
2893.69/2902.08 c #Conflicts: 1298000 | #Constraints: 41669
2893.69/2902.08 c #Conflicts: 1299000 | #Constraints: 42669
2893.69/2902.08 c #Conflicts: 1300000 | #Constraints: 43669
2893.69/2902.08 c #Conflicts: 1301000 | #Constraints: 44669
2893.69/2902.08 c #Conflicts: 1302000 | #Constraints: 45669
2893.69/2902.08 c INPROCESSING
2893.69/2902.08 c GARBAGE COLLECT
2893.69/2902.08 c #Conflicts: 1303000 | #Constraints: 24074
2893.69/2902.08 c #Conflicts: 1304000 | #Constraints: 25074
2893.69/2902.08 c #Conflicts: 1305000 | #Constraints: 26074
2893.69/2902.08 c #Conflicts: 1306000 | #Constraints: 27074
2893.69/2902.08 c #Conflicts: 1307000 | #Constraints: 28074
2893.69/2902.08 c #Conflicts: 1308000 | #Constraints: 29074
2893.69/2902.08 c #Conflicts: 1309000 | #Constraints: 30074
2893.69/2902.08 c #Conflicts: 1310000 | #Constraints: 31074
2893.69/2902.08 c #Conflicts: 1311000 | #Constraints: 32074
2893.69/2902.08 c #Conflicts: 1312000 | #Constraints: 33074
2893.69/2902.08 c #Conflicts: 1313000 | #Constraints: 34074
2893.69/2902.08 c #Conflicts: 1314000 | #Constraints: 35074
2893.69/2902.08 c #Conflicts: 1315000 | #Constraints: 36074
2893.69/2902.08 c #Conflicts: 1316000 | #Constraints: 37074
2893.69/2902.08 c #Conflicts: 1317000 | #Constraints: 38074
2893.69/2902.08 c #Conflicts: 1318000 | #Constraints: 39074
2893.69/2902.08 c #Conflicts: 1319000 | #Constraints: 40074
2893.69/2902.08 c #Conflicts: 1320000 | #Constraints: 41074
2893.69/2902.08 c #Conflicts: 1321000 | #Constraints: 42074
2893.69/2902.08 c #Conflicts: 1322000 | #Constraints: 43074
2893.69/2902.08 c #Conflicts: 1323000 | #Constraints: 44074
2893.69/2902.08 c #Conflicts: 1324000 | #Constraints: 45074
2893.69/2902.08 c #Conflicts: 1325000 | #Constraints: 46074
2893.69/2902.08 c INPROCESSING
2893.69/2902.08 c GARBAGE COLLECT
2893.69/2902.08 c #Conflicts: 1326000 | #Constraints: 24266
2893.69/2902.08 c #Conflicts: 1327000 | #Constraints: 25266
2893.69/2902.08 c #Conflicts: 1328000 | #Constraints: 26266
2893.69/2902.08 c #Conflicts: 1329000 | #Constraints: 27266
2893.69/2902.08 c #Conflicts: 1330000 | #Constraints: 28266
2893.69/2902.08 c #Conflicts: 1331000 | #Constraints: 29266
2893.69/2902.08 c #Conflicts: 1332000 | #Constraints: 30266
2893.69/2902.08 c #Conflicts: 1333000 | #Constraints: 31266
2893.69/2902.08 c #Conflicts: 1334000 | #Constraints: 32266
2893.69/2902.08 c #Conflicts: 1335000 | #Constraints: 33266
2893.69/2902.08 c #Conflicts: 1336000 | #Constraints: 34266
2893.69/2902.08 c #Conflicts: 1337000 | #Constraints: 35266
2893.69/2902.08 c #Conflicts: 1338000 | #Constraints: 36266
2893.69/2902.08 c #Conflicts: 1339000 | #Constraints: 37266
2893.69/2902.08 c #Conflicts: 1340000 | #Constraints: 38266
2893.69/2902.08 c #Conflicts: 1341000 | #Constraints: 39266
2893.69/2902.08 c #Conflicts: 1342000 | #Constraints: 40266
2893.69/2902.08 c #Conflicts: 1343000 | #Constraints: 41266
2893.69/2902.08 c #Conflicts: 1344000 | #Constraints: 42266
2893.69/2902.08 c #Conflicts: 1345000 | #Constraints: 43266
2893.69/2902.08 c #Conflicts: 1346000 | #Constraints: 44266
2893.69/2902.08 c #Conflicts: 1347000 | #Constraints: 45266
2893.69/2902.08 c #Conflicts: 1348000 | #Constraints: 46266
2893.69/2902.08 c INPROCESSING
2893.69/2902.08 c GARBAGE COLLECT
2893.69/2902.08 c #Conflicts: 1349000 | #Constraints: 24287
2893.69/2902.08 c #Conflicts: 1350000 | #Constraints: 25287
3088.98/3097.81 c #Conflicts: 1351000 | #Constraints: 26287
3088.98/3097.81 c #Conflicts: 1352000 | #Constraints: 27287
3088.98/3097.81 c #Conflicts: 1353000 | #Constraints: 28287
3088.98/3097.81 c #Conflicts: 1354000 | #Constraints: 29287
3088.98/3097.81 c #Conflicts: 1355000 | #Constraints: 30287
3088.98/3097.81 c #Conflicts: 1356000 | #Constraints: 31287
3088.98/3097.81 c #Conflicts: 1357000 | #Constraints: 32287
3088.98/3097.81 c #Conflicts: 1358000 | #Constraints: 33287
3088.98/3097.81 c #Conflicts: 1359000 | #Constraints: 34287
3088.98/3097.81 c #Conflicts: 1360000 | #Constraints: 35287
3088.98/3097.81 c #Conflicts: 1361000 | #Constraints: 36287
3088.98/3097.81 c #Conflicts: 1362000 | #Constraints: 37287
3088.98/3097.81 c #Conflicts: 1363000 | #Constraints: 38287
3088.98/3097.81 c #Conflicts: 1364000 | #Constraints: 39287
3088.98/3097.81 c #Conflicts: 1365000 | #Constraints: 40287
3088.98/3097.81 c #Conflicts: 1366000 | #Constraints: 41287
3088.98/3097.81 c #Conflicts: 1367000 | #Constraints: 42287
3088.98/3097.81 c #Conflicts: 1368000 | #Constraints: 43287
3088.98/3097.81 c #Conflicts: 1369000 | #Constraints: 44287
3088.98/3097.81 c #Conflicts: 1370000 | #Constraints: 45287
3088.98/3097.81 c #Conflicts: 1371000 | #Constraints: 46287
3088.98/3097.81 c INPROCESSING
3088.98/3097.81 c GARBAGE COLLECT
3088.98/3097.81 c #Conflicts: 1372000 | #Constraints: 24073
3088.98/3097.81 c #Conflicts: 1373000 | #Constraints: 25073
3088.98/3097.81 c #Conflicts: 1374000 | #Constraints: 26073
3088.98/3097.81 c #Conflicts: 1375000 | #Constraints: 27073
3088.98/3097.81 c #Conflicts: 1376000 | #Constraints: 28073
3088.98/3097.81 c #Conflicts: 1377000 | #Constraints: 29073
3088.98/3097.81 c #Conflicts: 1378000 | #Constraints: 30073
3088.98/3097.81 c #Conflicts: 1379000 | #Constraints: 31073
3088.98/3097.81 c #Conflicts: 1380000 | #Constraints: 32073
3088.98/3097.81 c #Conflicts: 1381000 | #Constraints: 33073
3088.98/3097.81 c #Conflicts: 1382000 | #Constraints: 34073
3088.98/3097.81 c #Conflicts: 1383000 | #Constraints: 35073
3088.98/3097.81 c #Conflicts: 1384000 | #Constraints: 36073
3088.98/3097.81 c #Conflicts: 1385000 | #Constraints: 37073
3088.98/3097.81 c #Conflicts: 1386000 | #Constraints: 38073
3088.98/3097.81 c #Conflicts: 1387000 | #Constraints: 39073
3088.98/3097.81 c #Conflicts: 1388000 | #Constraints: 40073
3088.98/3097.81 c #Conflicts: 1389000 | #Constraints: 41073
3088.98/3097.81 c #Conflicts: 1390000 | #Constraints: 42073
3088.98/3097.81 c #Conflicts: 1391000 | #Constraints: 43073
3088.98/3097.81 c #Conflicts: 1392000 | #Constraints: 44073
3088.98/3097.81 c #Conflicts: 1393000 | #Constraints: 45073
3088.98/3097.81 c #Conflicts: 1394000 | #Constraints: 46073
3088.98/3097.81 c #Conflicts: 1395000 | #Constraints: 47073
3088.98/3097.81 c INPROCESSING
3088.98/3097.81 c GARBAGE COLLECT
3088.98/3097.81 c #Conflicts: 1396000 | #Constraints: 24685
3088.98/3097.81 c #Conflicts: 1397000 | #Constraints: 25685
3088.98/3097.81 c #Conflicts: 1398000 | #Constraints: 26685
3088.98/3097.81 c #Conflicts: 1399000 | #Constraints: 27685
3088.98/3097.81 c #Conflicts: 1400000 | #Constraints: 28685
3088.98/3097.81 c #Conflicts: 1401000 | #Constraints: 29685
3088.98/3097.81 c #Conflicts: 1402000 | #Constraints: 30685
3088.98/3097.81 c #Conflicts: 1403000 | #Constraints: 31685
3088.98/3097.81 c #Conflicts: 1404000 | #Constraints: 32685
3088.98/3097.81 c #Conflicts: 1405000 | #Constraints: 33685
3088.98/3097.81 c #Conflicts: 1406000 | #Constraints: 34685
3088.98/3097.81 c #Conflicts: 1407000 | #Constraints: 35685
3088.98/3097.81 c #Conflicts: 1408000 | #Constraints: 36685
3088.98/3097.81 c #Conflicts: 1409000 | #Constraints: 37685
3088.98/3097.81 c #Conflicts: 1410000 | #Constraints: 38685
3088.98/3097.81 c #Conflicts: 1411000 | #Constraints: 39685
3088.98/3097.81 c #Conflicts: 1412000 | #Constraints: 40685
3088.98/3097.81 c #Conflicts: 1413000 | #Constraints: 41685
3088.98/3097.81 c #Conflicts: 1414000 | #Constraints: 42685
3088.98/3097.81 c #Conflicts: 1415000 | #Constraints: 43685
3088.98/3097.81 c #Conflicts: 1416000 | #Constraints: 44685
3088.98/3097.81 c #Conflicts: 1417000 | #Constraints: 45685
3088.98/3097.81 c #Conflicts: 1418000 | #Constraints: 46685
3088.98/3097.81 c #Conflicts: 1419000 | #Constraints: 47685
3088.98/3097.81 c INPROCESSING
3088.98/3097.81 c GARBAGE COLLECT
3088.98/3097.81 c #Conflicts: 1420000 | #Constraints: 25101
3088.98/3097.81 c #Conflicts: 1421000 | #Constraints: 26101
3088.98/3097.81 c #Conflicts: 1422000 | #Constraints: 27101
3088.98/3097.81 c #Conflicts: 1423000 | #Constraints: 28101
3088.98/3097.81 c #Conflicts: 1424000 | #Constraints: 29101
3088.98/3097.81 c #Conflicts: 1425000 | #Constraints: 30101
3088.98/3097.81 c #Conflicts: 1426000 | #Constraints: 31101
3088.98/3097.81 c #Conflicts: 1427000 | #Constraints: 32101
3263.64/3272.94 c #Conflicts: 1428000 | #Constraints: 33101
3263.64/3272.94 c #Conflicts: 1429000 | #Constraints: 34101
3263.64/3272.94 c #Conflicts: 1430000 | #Constraints: 35101
3263.64/3272.94 c #Conflicts: 1431000 | #Constraints: 36101
3263.64/3272.94 c #Conflicts: 1432000 | #Constraints: 37101
3263.64/3272.94 c #Conflicts: 1433000 | #Constraints: 38101
3263.64/3272.94 c #Conflicts: 1434000 | #Constraints: 39101
3263.64/3272.94 c #Conflicts: 1435000 | #Constraints: 40101
3263.64/3272.94 c #Conflicts: 1436000 | #Constraints: 41101
3263.64/3272.94 c #Conflicts: 1437000 | #Constraints: 42101
3263.64/3272.94 c #Conflicts: 1438000 | #Constraints: 43101
3263.64/3272.94 c #Conflicts: 1439000 | #Constraints: 44101
3263.64/3272.94 c #Conflicts: 1440000 | #Constraints: 45101
3263.64/3272.94 c #Conflicts: 1441000 | #Constraints: 46101
3263.64/3272.94 c #Conflicts: 1442000 | #Constraints: 47101
3263.64/3272.94 c #Conflicts: 1443000 | #Constraints: 48101
3263.64/3272.94 c INPROCESSING
3263.64/3272.94 c GARBAGE COLLECT
3263.64/3272.94 c #Conflicts: 1444000 | #Constraints: 25278
3263.64/3272.94 c #Conflicts: 1445000 | #Constraints: 26278
3263.64/3272.94 c #Conflicts: 1446000 | #Constraints: 27278
3263.64/3272.94 c #Conflicts: 1447000 | #Constraints: 28278
3263.64/3272.94 c #Conflicts: 1448000 | #Constraints: 29278
3263.64/3272.94 c #Conflicts: 1449000 | #Constraints: 30278
3263.64/3272.94 c #Conflicts: 1450000 | #Constraints: 31278
3263.64/3272.94 c #Conflicts: 1451000 | #Constraints: 32278
3263.64/3272.94 c #Conflicts: 1452000 | #Constraints: 33278
3263.64/3272.94 c #Conflicts: 1453000 | #Constraints: 34278
3263.64/3272.94 c #Conflicts: 1454000 | #Constraints: 35278
3263.64/3272.94 c #Conflicts: 1455000 | #Constraints: 36278
3263.64/3272.94 c #Conflicts: 1456000 | #Constraints: 37278
3263.64/3272.94 c #Conflicts: 1457000 | #Constraints: 38278
3263.64/3272.94 c #Conflicts: 1458000 | #Constraints: 39278
3263.64/3272.94 c #Conflicts: 1459000 | #Constraints: 40278
3263.64/3272.94 c #Conflicts: 1460000 | #Constraints: 41278
3263.64/3272.94 c #Conflicts: 1461000 | #Constraints: 42278
3263.64/3272.94 c #Conflicts: 1462000 | #Constraints: 43278
3263.64/3272.94 c #Conflicts: 1463000 | #Constraints: 44278
3263.64/3272.94 c #Conflicts: 1464000 | #Constraints: 45278
3263.64/3272.94 c #Conflicts: 1465000 | #Constraints: 46278
3263.64/3272.94 c #Conflicts: 1466000 | #Constraints: 47278
3263.64/3272.94 c #Conflicts: 1467000 | #Constraints: 48278
3263.64/3272.94 c INPROCESSING
3263.64/3272.94 c GARBAGE COLLECT
3263.64/3272.94 c #Conflicts: 1468000 | #Constraints: 25267
3263.64/3272.94 c #Conflicts: 1469000 | #Constraints: 26267
3263.64/3272.94 c #Conflicts: 1470000 | #Constraints: 27267
3263.64/3272.94 c #Conflicts: 1471000 | #Constraints: 28267
3263.64/3272.94 c #Conflicts: 1472000 | #Constraints: 29267
3263.64/3272.94 c #Conflicts: 1473000 | #Constraints: 30267
3263.64/3272.94 c #Conflicts: 1474000 | #Constraints: 31267
3263.64/3272.94 c #Conflicts: 1475000 | #Constraints: 32267
3263.64/3272.94 c #Conflicts: 1476000 | #Constraints: 33267
3263.64/3272.94 c #Conflicts: 1477000 | #Constraints: 34267
3263.64/3272.94 c #Conflicts: 1478000 | #Constraints: 35267
3263.64/3272.94 c #Conflicts: 1479000 | #Constraints: 36267
3263.64/3272.94 c #Conflicts: 1480000 | #Constraints: 37267
3263.64/3272.94 c #Conflicts: 1481000 | #Constraints: 38267
3263.64/3272.94 c #Conflicts: 1482000 | #Constraints: 39267
3263.64/3272.94 c #Conflicts: 1483000 | #Constraints: 40267
3263.64/3272.94 c #Conflicts: 1484000 | #Constraints: 41267
3263.64/3272.94 c #Conflicts: 1485000 | #Constraints: 42267
3263.64/3272.94 c #Conflicts: 1486000 | #Constraints: 43267
3263.64/3272.94 c #Conflicts: 1487000 | #Constraints: 44267
3263.64/3272.94 c #Conflicts: 1488000 | #Constraints: 45267
3263.64/3272.94 c #Conflicts: 1489000 | #Constraints: 46267
3263.64/3272.94 c #Conflicts: 1490000 | #Constraints: 47267
3263.64/3272.94 c #Conflicts: 1491000 | #Constraints: 48267
3263.64/3272.94 c INPROCESSING
3263.64/3272.94 c GARBAGE COLLECT
3263.64/3272.94 c #Conflicts: 1492000 | #Constraints: 25070
3263.64/3272.94 c #Conflicts: 1493000 | #Constraints: 26070
3263.64/3272.94 c #Conflicts: 1494000 | #Constraints: 27070
3263.64/3272.94 c #Conflicts: 1495000 | #Constraints: 28070
3263.64/3272.94 c #Conflicts: 1496000 | #Constraints: 29070
3263.64/3272.94 c #Conflicts: 1497000 | #Constraints: 30070
3263.64/3272.94 c #Conflicts: 1498000 | #Constraints: 31070
3263.64/3272.94 c #Conflicts: 1499000 | #Constraints: 32070
3263.64/3272.94 c #Conflicts: 1500000 | #Constraints: 33070
3263.64/3272.94 c #Conflicts: 1501000 | #Constraints: 34070
3263.64/3272.94 c #Conflicts: 1502000 | #Constraints: 35070
3263.64/3272.94 c #Conflicts: 1503000 | #Constraints: 36070
3263.64/3272.94 c #Conflicts: 1504000 | #Constraints: 37070
3465.45/3475.29 c #Conflicts: 1505000 | #Constraints: 38070
3465.45/3475.29 c #Conflicts: 1506000 | #Constraints: 39070
3465.45/3475.29 c #Conflicts: 1507000 | #Constraints: 40070
3465.45/3475.29 c #Conflicts: 1508000 | #Constraints: 41070
3465.45/3475.29 c #Conflicts: 1509000 | #Constraints: 42070
3465.45/3475.29 c #Conflicts: 1510000 | #Constraints: 43070
3465.45/3475.29 c #Conflicts: 1511000 | #Constraints: 44070
3465.45/3475.29 c #Conflicts: 1512000 | #Constraints: 45070
3465.45/3475.29 c #Conflicts: 1513000 | #Constraints: 46070
3465.45/3475.29 c #Conflicts: 1514000 | #Constraints: 47070
3465.45/3475.29 c #Conflicts: 1515000 | #Constraints: 48070
3465.45/3475.29 c #Conflicts: 1516000 | #Constraints: 49070
3465.45/3475.29 c INPROCESSING
3465.45/3475.29 c GARBAGE COLLECT
3465.45/3475.29 c #Conflicts: 1517000 | #Constraints: 25662
3465.45/3475.29 c #Conflicts: 1518000 | #Constraints: 26662
3465.45/3475.29 c #Conflicts: 1519000 | #Constraints: 27662
3465.45/3475.29 c #Conflicts: 1520000 | #Constraints: 28662
3465.45/3475.29 c #Conflicts: 1521000 | #Constraints: 29662
3465.45/3475.29 c #Conflicts: 1522000 | #Constraints: 30662
3465.45/3475.29 c #Conflicts: 1523000 | #Constraints: 31662
3465.45/3475.29 c #Conflicts: 1524000 | #Constraints: 32662
3465.45/3475.29 c #Conflicts: 1525000 | #Constraints: 33662
3465.45/3475.29 c #Conflicts: 1526000 | #Constraints: 34662
3465.45/3475.29 c #Conflicts: 1527000 | #Constraints: 35662
3465.45/3475.29 c #Conflicts: 1528000 | #Constraints: 36662
3465.45/3475.29 c #Conflicts: 1529000 | #Constraints: 37662
3465.45/3475.29 c #Conflicts: 1530000 | #Constraints: 38662
3465.45/3475.29 c #Conflicts: 1531000 | #Constraints: 39662
3465.45/3475.29 c #Conflicts: 1532000 | #Constraints: 40662
3465.45/3475.29 c #Conflicts: 1533000 | #Constraints: 41662
3465.45/3475.29 c #Conflicts: 1534000 | #Constraints: 42662
3465.45/3475.29 c #Conflicts: 1535000 | #Constraints: 43662
3465.45/3475.29 c #Conflicts: 1536000 | #Constraints: 44662
3465.45/3475.29 c #Conflicts: 1537000 | #Constraints: 45662
3465.45/3475.29 c #Conflicts: 1538000 | #Constraints: 46662
3465.45/3475.29 c #Conflicts: 1539000 | #Constraints: 47662
3465.45/3475.29 c #Conflicts: 1540000 | #Constraints: 48662
3465.45/3475.29 c #Conflicts: 1541000 | #Constraints: 49662
3465.45/3475.29 c INPROCESSING
3465.45/3475.29 c GARBAGE COLLECT
3465.45/3475.29 c #Conflicts: 1542000 | #Constraints: 26059
3465.45/3475.29 c #Conflicts: 1543000 | #Constraints: 27059
3465.45/3475.29 c #Conflicts: 1544000 | #Constraints: 28059
3465.45/3475.29 c #Conflicts: 1545000 | #Constraints: 29059
3465.45/3475.29 c #Conflicts: 1546000 | #Constraints: 30059
3465.45/3475.29 c #Conflicts: 1547000 | #Constraints: 31059
3465.45/3475.29 c #Conflicts: 1548000 | #Constraints: 32059
3465.45/3475.29 c #Conflicts: 1549000 | #Constraints: 33059
3465.45/3475.29 c #Conflicts: 1550000 | #Constraints: 34059
3465.45/3475.29 c #Conflicts: 1551000 | #Constraints: 35059
3465.45/3475.29 c #Conflicts: 1552000 | #Constraints: 36059
3465.45/3475.29 c #Conflicts: 1553000 | #Constraints: 37059
3465.45/3475.29 c #Conflicts: 1554000 | #Constraints: 38059
3465.45/3475.29 c #Conflicts: 1555000 | #Constraints: 39059
3465.45/3475.29 c #Conflicts: 1556000 | #Constraints: 40059
3465.45/3475.29 c #Conflicts: 1557000 | #Constraints: 41059
3465.45/3475.29 c #Conflicts: 1558000 | #Constraints: 42059
3465.45/3475.29 c #Conflicts: 1559000 | #Constraints: 43059
3465.45/3475.29 c #Conflicts: 1560000 | #Constraints: 44059
3465.45/3475.29 c #Conflicts: 1561000 | #Constraints: 45059
3465.45/3475.29 c #Conflicts: 1562000 | #Constraints: 46059
3465.45/3475.29 c #Conflicts: 1563000 | #Constraints: 47059
3465.45/3475.29 c #Conflicts: 1564000 | #Constraints: 48059
3465.45/3475.29 c #Conflicts: 1565000 | #Constraints: 49059
3465.45/3475.29 c #Conflicts: 1566000 | #Constraints: 50059
3465.45/3475.29 c INPROCESSING
3465.45/3475.29 c GARBAGE COLLECT
3465.45/3475.29 c #Conflicts: 1567000 | #Constraints: 26271
3465.45/3475.29 c #Conflicts: 1568000 | #Constraints: 27271
3465.45/3475.29 c #Conflicts: 1569000 | #Constraints: 28271
3465.45/3475.29 c #Conflicts: 1570000 | #Constraints: 29271
3465.45/3475.29 c #Conflicts: 1571000 | #Constraints: 30271
3465.45/3475.29 c #Conflicts: 1572000 | #Constraints: 31271
3465.45/3475.29 c #Conflicts: 1573000 | #Constraints: 32271
3465.45/3475.29 c #Conflicts: 1574000 | #Constraints: 33271
3465.45/3475.29 c #Conflicts: 1575000 | #Constraints: 34271
3465.45/3475.29 c #Conflicts: 1576000 | #Constraints: 35271
3465.45/3475.29 c #Conflicts: 1577000 | #Constraints: 36271
3465.45/3475.29 c #Conflicts: 1578000 | #Constraints: 37271
3465.45/3475.29 c #Conflicts: 1579000 | #Constraints: 38271
3465.45/3475.29 c #Conflicts: 1580000 | #Constraints: 39271
3465.45/3475.29 c #Conflicts: 1581000 | #Constraints: 40271
3600.01/3610.11 c #Conflicts: 1582000 | #Constraints: 41271
3600.01/3610.11 c #Conflicts: 1583000 | #Constraints: 42271
3600.01/3610.11 c #Conflicts: 1584000 | #Constraints: 43271
3600.01/3610.11 c #Conflicts: 1585000 | #Constraints: 44271
3600.01/3610.11 c #Conflicts: 1586000 | #Constraints: 45271
3600.01/3610.11 c #Conflicts: 1587000 | #Constraints: 46271
3600.01/3610.11 c #Conflicts: 1588000 | #Constraints: 47271
3600.01/3610.11 c #Conflicts: 1589000 | #Constraints: 48271
3600.01/3610.11 c #Conflicts: 1590000 | #Constraints: 49271
3600.01/3610.11 c #Conflicts: 1591000 | #Constraints: 50271
3600.01/3610.11 c INPROCESSING
3600.01/3610.11 c GARBAGE COLLECT
3600.01/3610.11 c #Conflicts: 1592000 | #Constraints: 26309
3600.01/3610.11 c #Conflicts: 1593000 | #Constraints: 27309
3600.01/3610.11 c #Conflicts: 1594000 | #Constraints: 28309
3600.01/3610.11 c #Conflicts: 1595000 | #Constraints: 29309
3600.01/3610.11 c #Conflicts: 1596000 | #Constraints: 30309
3600.01/3610.11 c #Conflicts: 1597000 | #Constraints: 31309
3600.01/3610.11 c #Conflicts: 1598000 | #Constraints: 32309
3600.01/3610.11 c #Conflicts: 1599000 | #Constraints: 33309
3600.01/3610.11 c #Conflicts: 1600000 | #Constraints: 34309
3600.01/3610.11 c #Conflicts: 1601000 | #Constraints: 35309
3600.01/3610.11 c #Conflicts: 1602000 | #Constraints: 36309
3600.01/3610.11 c #Conflicts: 1603000 | #Constraints: 37309
3600.01/3610.11 c #Conflicts: 1604000 | #Constraints: 38309
3600.01/3610.11 c #Conflicts: 1605000 | #Constraints: 39309
3600.01/3610.11 c #Conflicts: 1606000 | #Constraints: 40309
3600.01/3610.11 c #Conflicts: 1607000 | #Constraints: 41309
3600.01/3610.11 c #Conflicts: 1608000 | #Constraints: 42309
3600.01/3610.11 c Program interrupted by user.
3600.01/3610.11 c cpu time 3587.59 s
3600.01/3610.11 c deterministic time 533347620415 5.33e+11
3600.01/3610.11 c optimization time 84.2002 s
3600.01/3610.11 c total solve time 3204.53 s
3600.01/3610.11 c core-guided solve time 0 s
3600.01/3610.11 c propagation time 2707.82 s
3600.01/3610.11 c conflict analysis time 533.088 s
3600.01/3610.11 c propagations 346102348
3600.01/3610.11 c resolve steps 15615152
3600.01/3610.11 c decisions 6711552
3600.01/3610.11 c conflicts 1608974
3600.01/3610.11 c restarts 3069
3600.01/3610.11 c inprocessing phases 117
3600.01/3610.11 c input clauses 49
3600.01/3610.11 c input cardinalities 49
3600.01/3610.11 c input general constraints 320
3600.01/3610.11 c input average constraint length 47.68
3600.01/3610.11 c input average constraint degree 427.67
3600.01/3610.11 c learned clauses 210512
3600.01/3610.11 c learned cardinalities 14138
3600.01/3610.11 c learned general constraints 1384323
3600.01/3610.11 c learned average constraint length 370.56
3600.01/3610.11 c learned average constraint degree 12633843.72
3600.01/3610.11 c watched constraints 1059970
3600.01/3610.11 c counting constraints 324673
3600.01/3610.11 c gcd simplifications 132224
3600.01/3610.11 c detected cardinalities 452
3600.01/3610.11 c weakened non-implied lits 105191627
3600.01/3610.11 c weakened non-implying lits 219293
3600.01/3610.11 c original variables 2130
3600.01/3610.11 c clausal propagations 2279183
3600.01/3610.11 c cardinality propagations 7171907
3600.01/3610.11 c watched propagations 15200602
3600.01/3610.11 c counting propagations 319951283
3600.01/3610.11 c watch lookups 53920412121
3600.01/3610.11 c watch backjump lookups 49653537152
3600.01/3610.11 c watch checks 349227125980
3600.01/3610.11 c propagation checks 77624693177
3600.01/3610.11 c constraint additions 2214616503
3600.01/3610.11 c trail pops 354421581
3600.01/3610.11 c formula constraints 418
3600.01/3610.11 c learned constraints 1608973
3600.01/3610.11 c bound constraints 0
3600.01/3610.11 c core-guided constraints 0
3600.01/3610.11 c encountered formula constraints 8922329
3600.01/3610.11 c encountered learned constraints 8301797
3600.01/3610.11 c encountered bound constraints 0
3600.01/3610.11 c encountered core-guided constraints 0
3600.01/3610.11 c LP total time 0 s
3600.01/3610.11 c LP solve time 0 s
3600.01/3610.11 c LP constraints added 0
3600.01/3610.11 c LP constraints removed 0
3600.01/3610.11 c LP pivots internal 0
3600.01/3610.11 c LP pivots root 0
3600.01/3610.11 c LP calls 0
3600.01/3610.11 c LP optimalities 0
3600.01/3610.11 c LP no pivot count 0
3600.01/3610.11 c LP infeasibilities 0
3600.01/3610.11 c LP valid Farkas constraints 0
3600.01/3610.11 c LP learned Farkas constraints 0
3600.01/3610.11 c LP basis resets 0
3600.01/3610.11 c LP cycling count 0
3600.01/3610.11 c LP singular count 0
3600.01/3610.11 c LP no primal count 0
3600.01/3610.11 c LP no farkas count 0
3600.01/3610.11 c LP other issue count 0
3600.01/3610.11 c LP Gomory cuts 0
3600.01/3610.11 c LP learned cuts 0
3600.01/3610.11 c LP deleted cuts 0
3600.01/3610.11 c LP encountered Gomory constraints 0
3600.01/3610.11 c LP encountered Farkas constraints 0
3600.01/3610.11 c LP encountered learned Farkas constraints 0
3600.01/3610.11 c CG auxiliary variables introduced 0
3600.01/3610.11 c CG solutions found 0
3600.01/3610.11 c CG cores constructed 0
3600.01/3610.11 c CG core cardinality constraints returned 0
3600.01/3610.11 c CG unit cores 0
3600.01/3610.11 c CG single cores 0
3600.01/3610.11 c CG blocks removed during cardinality reduction 0
3600.01/3610.11 c CG first core best 0
3600.01/3610.11 c CG decision core best 0
3600.01/3610.11 c CG core reduction tie 0
3600.01/3610.11 c CG core degree average 0.00
3600.01/3610.11 c CG core slack average 0.00
3600.01/3610.11 c CG exhausted 0
3600.01/3610.11 c CG exhaust time 0 s
3600.01/3610.11 c CG trimmed 0
3600.01/3610.11 c CG trim time 0 s
3600.01/3610.11 c CG minimized 0
3600.01/3610.11 c CG minimize time 0 s
3600.01/3610.11 c CG am1 prop time 0 s
3600.01/3610.11 c CG # am1s reformulated 0
3600.01/3610.11 c CG lower bound derived from am1s 0
3600.01/3610.11 c CG # clausal cores 0
3600.01/3610.11 c CG # cardinality cores 0
3600.01/3610.11 c CG # pb cores 0
3600.01/3610.11 c CG # pb reforms 0
3600.01/3610.11 c CG # cores discarded because of pb reform 0
3600.01/3610.11 d LOWERBOUND 0
3600.01/3610.11 d NCORES 0
3600.01/3610.11 d NPBCORES 0
3600.01/3610.11 d NPBREFORM 0
3600.01/3610.11 d NTRIMMED 0
3600.01/3610.11 d NEXHAUSTED 0
3600.01/3610.11 d NAM1S 0
3600.01/3610.11 d AM1LB 0
3600.01/3610.11 c [Papilo Statistics]
3600.01/3610.11 c prepro time 0.00647158s
3600.01/3610.11 c # tsx applied 10
3600.01/3610.11 c # tsx conflicts 0
3600.01/3610.11 c # bound changes 5
3600.01/3610.11 c # side changes 0
3600.01/3610.11 c # coef changes 0
3600.01/3610.11 c # rounds 2
3600.01/3610.11 c # deted vars 5
3600.01/3610.11 c # deted constrs 2126
3600.01/3610.11 c # consecutive rounds of only bound changes 0
3600.01/3610.11 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: 64096 MiB (62119 MiB free)
memory of node 1: 64473 MiB (60847 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454856-1721472186/watcher-4454856-1721472186 -o /tmp/evaluation-result-4454856-1721472186/solver-4454856-1721472186 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721472122-1081702 --watchdog 3760 mixed-bag HOME/instance-4454856-1721472186.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1082289, runsolver pid=1082286
[startup+0.100083 s]*
/proc/loadavg: 3.31 1.81 1.87 5/247 1082290
/proc/meminfo: memFree=125896912/131655788 swapFree=131071996/131071996
[pid=1082289] ppid=1082286 vsize=112608 memory=41832 CPUtime=0.1 cores=5,7
/proc/1082289/stat : 1082289 (mixed-bag) R 1082286 1082289 1081689 0 -1 4194304 7322 0 0 0 10 0 0 0 20 0 1 0 199374399 115310592 10458 134679101440 4194304 16488053 140729150054016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38453248 140729150059541 140729150059618 140729150059618 140729150066635 0
/proc/1082289/statm: 28152 10458 3907 3002 0 11901 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 112608 KiB
Current children cumulated memory: 41832 KiB
[startup+0.213202 s]*
/proc/loadavg: 3.31 1.81 1.87 5/247 1082290
/proc/meminfo: memFree=125889996/131655788 swapFree=131071996/131071996
[pid=1082289] ppid=1082286 vsize=114656 memory=43944 CPUtime=0.21 cores=5,7
/proc/1082289/stat : 1082289 (mixed-bag) R 1082286 1082289 1081689 0 -1 4194304 7822 0 0 0 21 0 0 0 20 0 1 0 199374399 117407744 10986 134679101440 4194304 16488053 140729150054016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38453248 140729150059541 140729150059618 140729150059618 140729150066635 0
/proc/1082289/statm: 28664 10986 3907 3002 0 12413 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 114656 KiB
Current children cumulated memory: 43944 KiB
[startup+0.313003 s]*
/proc/loadavg: 3.31 1.81 1.87 5/247 1082290
/proc/meminfo: memFree=125880448/131655788 swapFree=131071996/131071996
[pid=1082289] ppid=1082286 vsize=124856 memory=53212 CPUtime=0.32 cores=5,7
/proc/1082289/stat : 1082289 (mixed-bag) R 1082286 1082289 1081689 0 -1 4194304 10187 0 0 0 31 1 0 0 20 0 1 0 199374399 127852544 13303 134679101440 4194304 16488053 140729150054016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38453248 140729150059541 140729150059618 140729150059618 140729150066635 0
/proc/1082289/statm: 31214 13303 3915 3002 0 14963 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 124856 KiB
Current children cumulated memory: 53212 KiB
[startup+0.700284 s]
/proc/loadavg: 3.31 1.81 1.87 5/247 1082290
/proc/meminfo: memFree=125879636/131655788 swapFree=131071996/131071996
[pid=1082289] ppid=1082286 vsize=125760 memory=54268 CPUtime=0.69 cores=5,7
/proc/1082289/stat : 1082289 (mixed-bag) R 1082286 1082289 1081689 0 -1 4194304 10424 0 0 0 68 1 0 0 20 0 1 0 199374399 128778240 13567 134679101440 4194304 16488053 140729150054016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38453248 140729150059541 140729150059618 140729150059618 140729150066635 0
/proc/1082289/statm: 31440 13567 3915 3002 0 15189 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 125760 KiB
Current children cumulated memory: 54268 KiB
[startup+1.50034 s]
/proc/loadavg: 3.31 1.81 1.87 5/247 1082290
/proc/meminfo: memFree=125856476/131655788 swapFree=131071996/131071996
[pid=1082289] ppid=1082286 vsize=162160 memory=89844 CPUtime=1.48 cores=5,7
/proc/1082289/stat : 1082289 (mixed-bag) R 1082286 1082289 1081689 0 -1 4194304 20068 0 0 0 147 1 0 0 20 0 1 0 199374399 166051840 22461 134679101440 4194304 16488053 140729150054016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38453248 140729150059541 140729150059618 140729150059618 140729150066635 0
/proc/1082289/statm: 40540 22461 4139 3002 0 24289 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 162160 KiB
Current children cumulated memory: 89844 KiB
[startup+3.11279 s]
/proc/loadavg: 3.31 1.81 1.87 5/247 1082290
/proc/meminfo: memFree=125836468/131655788 swapFree=131071996/131071996
[pid=1082289] ppid=1082286 vsize=168644 memory=97700 CPUtime=3.09 cores=5,7
/proc/1082289/stat : 1082289 (mixed-bag) R 1082286 1082289 1081689 0 -1 4194304 23946 0 0 0 307 2 0 0 20 0 1 0 199374399 172691456 24425 134679101440 4194304 16488053 140729150054016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38453248 140729150059541 140729150059618 140729150059618 140729150066635 0
/proc/1082289/statm: 42161 24425 4139 3002 0 25910 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 168644 KiB
Current children cumulated memory: 97700 KiB
[startup+6.30029 s]
/proc/loadavg: 3.37 1.85 1.88 5/247 1082291
/proc/meminfo: memFree=125828128/131655788 swapFree=131071996/131071996
[pid=1082289] ppid=1082286 vsize=178108 memory=106040 CPUtime=6.26 cores=5,7
/proc/1082289/stat : 1082289 (mixed-bag) R 1082286 1082289 1081689 0 -1 4194304 27200 0 0 0 624 2 0 0 20 0 1 0 199374399 182382592 26510 134679101440 4194304 16488053 140729150054016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38453248 140729150059541 140729150059618 140729150059618 140729150066635 0
/proc/1082289/statm: 44527 26510 4139 3002 0 28276 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 178108 KiB
Current children cumulated memory: 106040 KiB
[startup+12.7003 s]
/proc/loadavg: 3.50 1.90 1.90 5/247 1082291
/proc/meminfo: memFree=125823584/131655788 swapFree=131071996/131071996
[pid=1082289] ppid=1082286 vsize=181248 memory=110364 CPUtime=12.65 cores=5,7
/proc/1082289/stat : 1082289 (mixed-bag) R 1082286 1082289 1081689 0 -1 4194304 29266 0 0 0 1262 3 0 0 20 0 1 0 199374399 185597952 27591 134679101440 4194304 16488053 140729150054016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38453248 140729150059541 140729150059618 140729150059618 140729150066635 0
/proc/1082289/statm: 45312 27591 4139 3002 0 29061 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 181248 KiB
Current children cumulated memory: 110364 KiB
[startup+25.5003 s]
/proc/loadavg: 3.61 2.01 1.93 5/247 1082295
/proc/meminfo: memFree=125779248/131655788 swapFree=131071996/131071996
[pid=1082289] ppid=1082286 vsize=224992 memory=153904 CPUtime=25.42 cores=5,7
/proc/1082289/stat : 1082289 (mixed-bag) R 1082286 1082289 1081689 0 -1 4194304 45129 0 0 0 2536 6 0 0 20 0 1 0 199374399 230391808 38476 134679101440 4194304 16488053 140729150054016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38453248 140729150059541 140729150059618 140729150059618 140729150066635 0
/proc/1082289/statm: 56248 38476 4139 3002 0 39997 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 224992 KiB
Current children cumulated memory: 153904 KiB
[startup+51.1128 s]
/proc/loadavg: 3.75 2.17 1.99 5/247 1082298
/proc/meminfo: memFree=125773680/131655788 swapFree=131071996/131071996
[pid=1082289] ppid=1082286 vsize=230200 memory=159448 CPUtime=50.95 cores=5,7
/proc/1082289/stat : 1082289 (mixed-bag) R 1082286 1082289 1081689 0 -1 4194304 48024 0 0 0 5088 7 0 0 20 0 1 0 199374399 235724800 39862 134679101440 4194304 16488053 140729150054016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38453248 140729150059541 140729150059618 140729150059618 140729150066635 0
/proc/1082289/statm: 57550 39862 4139 3002 0 41299 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 230200 KiB
Current children cumulated memory: 159448 KiB
[startup+102.3 s]
/proc/loadavg: 3.96 2.47 2.10 5/247 1082308
/proc/meminfo: memFree=125760428/131655788 swapFree=131071996/131071996
[pid=1082289] ppid=1082286 vsize=230200 memory=159472 CPUtime=101.93 cores=5,7
/proc/1082289/stat : 1082289 (mixed-bag) R 1082286 1082289 1081689 0 -1 4194304 49352 0 0 0 10185 8 0 0 20 0 1 0 199374399 235724800 39868 134679101440 4194304 16488053 140729150054016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38453248 140729150059541 140729150059618 140729150059618 140729150066635 0
/proc/1082289/statm: 57550 39868 4139 3002 0 41299 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 230200 KiB
Current children cumulated memory: 159472 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 2.78 2.23 5/245 1082318
/proc/meminfo: memFree=125738876/131655788 swapFree=131071996/131071996
[pid=1082289] ppid=1082286 vsize=241224 memory=170608 CPUtime=161.69 cores=5,7
/proc/1082289/stat : 1082289 (mixed-bag) R 1082286 1082289 1081689 0 -1 4194304 57727 0 0 0 16158 11 0 0 20 0 1 0 199374399 247013376 42652 134679101440 4194304 16488053 140729150054016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38453248 140729150059541 140729150059618 140729150059618 140729150066635 0
/proc/1082289/statm: 60306 42652 4139 3002 0 44055 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 241224 KiB
Current children cumulated memory: 170608 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 3.02 2.35 5/245 1082328
/proc/meminfo: memFree=125637260/131655788 swapFree=131071996/131071996
[pid=1082289] ppid=1082286 vsize=251256 memory=180624 CPUtime=221.46 cores=5,7
/proc/1082289/stat : 1082289 (mixed-bag) R 1082286 1082289 1081689 0 -1 4194304 61675 0 0 0 22134 12 0 0 20 0 1 0 199374399 257286144 45156 134679101440 4194304 16488053 140729150054016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38453248 140729150059541 140729150059618 140729150059618 140729150066635 0
/proc/1082289/statm: 62814 45156 4139 3002 0 46563 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 251256 KiB
Current children cumulated memory: 180624 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 3.22 2.46 5/246 1082344
/proc/meminfo: memFree=125506976/131655788 swapFree=131071996/131071996
[pid=1082289] ppid=1082286 vsize=253096 memory=182124 CPUtime=281.23 cores=5,7
/proc/1082289/stat : 1082289 (mixed-bag) R 1082286 1082289 1081689 0 -1 4194304 62068 0 0 0 28111 12 0 0 20 0 1 0 199374399 259170304 45531 134679101440 4194304 16488053 140729150054016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38453248 140729150059541 140729150059618 140729150059618 140729150066635 0
/proc/1082289/statm: 63274 45531 4139 3002 0 47023 0
Current children cumulated CPU time: 281.23 s
Current children cumulated vsize: 253096 KiB
Current children cumulated memory: 182124 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 3.38 2.57 5/244 1082355
/proc/meminfo: memFree=125433780/131655788 swapFree=131071996/131071996
[pid=1082289] ppid=1082286 vsize=254608 memory=191404 CPUtime=341.04 cores=5,7
/proc/1082289/stat : 1082289 (mixed-bag) R 1082286 1082289 1081689 0 -1 4194304 64704 0 0 0 34039 65 0 0 20 0 1 0 199374399 260718592 47851 134679101440 4194304 16488053 140729150054016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38453248 140729150059541 140729150059618 140729150059618 140729150066635 0
/proc/1082289/statm: 63652 47851 4187 3002 0 47401 0
Current children cumulated CPU time: 341.04 s
Current children cumulated vsize: 254608 KiB
Current children cumulated memory: 191404 KiB
[startup+402.3 s]
/proc/loadavg: 4.25 3.55 2.68 5/244 1082365
/proc/meminfo: memFree=125392184/131655788 swapFree=131071996/131071996
[pid=1082289] ppid=1082286 vsize=254608 memory=193452 CPUtime=400.84 cores=5,7
/proc/1082289/stat : 1082289 (mixed-bag) R 1082286 1082289 1081689 0 -1 4194304 64732 0 0 0 39967 117 0 0 20 0 1 0 199374399 260718592 48363 134679101440 4194304 16488053 140729150054016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38453248 140729150059541 140729150059618 140729150059618 140729150066635 0
/proc/1082289/statm: 63652 48363 4187 3002 0 47401 0
Current children cumulated CPU time: 400.84 s
Current children cumulated vsize: 254608 KiB
Current children cumulated memory: 193452 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 3.67 2.78 5/246 1082380
/proc/meminfo: memFree=125326664/131655788 swapFree=131071996/131071996
[pid=1082289] ppid=1082286 vsize=273576 memory=201748 CPUtime=460.64 cores=5,7
/proc/1082289/stat : 1082289 (mixed-bag) R 1082286 1082289 1081689 0 -1 4194304 64781 0 0 0 45908 156 0 0 20 0 1 0 199374399 280141824 50437 134679101440 4194304 16488053 140729150054016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38453248 140729150059541 140729150059618 140729150059618 140729150066635 0
################
# More data... #
################
Current children cumulated memory: 284252 KiB
[startup+2922.3 s]
/proc/loadavg: 4.06 4.10 4.02 5/245 1083998
/proc/meminfo: memFree=124775556/131655788 swapFree=131071996/131071996
[pid=1082289] ppid=1082286 vsize=359972 memory=287420 CPUtime=2913.92 cores=5,7
/proc/1082289/stat : 1082289 (mixed-bag) R 1082286 1082289 1081689 0 -1 4194304 69920 0 0 0 290341 1051 0 0 20 0 1 0 199374399 368611328 71855 134679101440 4194304 16488053 140729150054016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38453248 140729150059541 140729150059618 140729150059618 140729150066635 0
/proc/1082289/statm: 89993 71855 4187 3002 0 73742 0
Current children cumulated CPU time: 2913.92 s
Current children cumulated vsize: 359972 KiB
Current children cumulated memory: 287420 KiB
[startup+2982.3 s]
/proc/loadavg: 4.17 4.12 4.03 5/245 1084009
/proc/meminfo: memFree=124767728/131655788 swapFree=131071996/131071996
[pid=1082289] ppid=1082286 vsize=359972 memory=287500 CPUtime=2973.78 cores=5,7
/proc/1082289/stat : 1082289 (mixed-bag) R 1082286 1082289 1081689 0 -1 4194304 70037 0 0 0 296314 1064 0 0 20 0 1 0 199374399 368611328 71875 134679101440 4194304 16488053 140729150054016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38453248 140729150059541 140729150059618 140729150059618 140729150066635 0
/proc/1082289/statm: 89993 71875 4187 3002 0 73742 0
Current children cumulated CPU time: 2973.78 s
Current children cumulated vsize: 359972 KiB
Current children cumulated memory: 287500 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.11 4.03 5/244 1084019
/proc/meminfo: memFree=124735896/131655788 swapFree=131071996/131071996
[pid=1082289] ppid=1082286 vsize=360692 memory=288116 CPUtime=3033.63 cores=5,7
/proc/1082289/stat : 1082289 (mixed-bag) R 1082286 1082289 1081689 0 -1 4194304 70318 0 0 0 302280 1083 0 0 20 0 1 0 199374399 369348608 72029 134679101440 4194304 16488053 140729150054016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38453248 140729150059541 140729150059618 140729150059618 140729150066635 0
/proc/1082289/statm: 90173 72029 4187 3002 0 73922 0
Current children cumulated CPU time: 3033.63 s
Current children cumulated vsize: 360692 KiB
Current children cumulated memory: 288116 KiB
[startup+3102.3 s]
/proc/loadavg: 4.29 4.16 4.05 5/244 1084030
/proc/meminfo: memFree=124737020/131655788 swapFree=131071996/131071996
[pid=1082289] ppid=1082286 vsize=360692 memory=288204 CPUtime=3093.47 cores=5,7
/proc/1082289/stat : 1082289 (mixed-bag) R 1082286 1082289 1081689 0 -1 4194304 70425 0 0 0 308244 1103 0 0 20 0 1 0 199374399 369348608 72051 134679101440 4194304 16488053 140729150054016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38453248 140729150059541 140729150059618 140729150059618 140729150066635 0
/proc/1082289/statm: 90173 72051 4187 3002 0 73922 0
Current children cumulated CPU time: 3093.47 s
Current children cumulated vsize: 360692 KiB
Current children cumulated memory: 288204 KiB
[startup+3162.3 s]
/proc/loadavg: 5.28 4.45 4.16 5/241 1084042
/proc/meminfo: memFree=124733244/131655788 swapFree=131071996/131071996
[pid=1082289] ppid=1082286 vsize=360692 memory=288204 CPUtime=3153.32 cores=5,7
/proc/1082289/stat : 1082289 (mixed-bag) R 1082286 1082289 1081689 0 -1 4194304 70536 0 0 0 314211 1121 0 0 20 0 1 0 199374399 369348608 72051 134679101440 4194304 16488053 140729150054016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38453248 140729150059541 140729150059618 140729150059618 140729150066635 0
/proc/1082289/statm: 90173 72051 4187 3002 0 73922 0
Current children cumulated CPU time: 3153.32 s
Current children cumulated vsize: 360692 KiB
Current children cumulated memory: 288204 KiB
[startup+3222.3 s]
/proc/loadavg: 4.75 4.47 4.18 5/241 1084052
/proc/meminfo: memFree=124730892/131655788 swapFree=131071996/131071996
[pid=1082289] ppid=1082286 vsize=360692 memory=288204 CPUtime=3213.18 cores=5,7
/proc/1082289/stat : 1082289 (mixed-bag) R 1082286 1082289 1081689 0 -1 4194304 70639 0 0 0 320173 1145 0 0 20 0 1 0 199374399 369348608 72051 134679101440 4194304 16488053 140729150054016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38453248 140729150059541 140729150059618 140729150059618 140729150066635 0
/proc/1082289/statm: 90173 72051 4187 3002 0 73922 0
Current children cumulated CPU time: 3213.18 s
Current children cumulated vsize: 360692 KiB
Current children cumulated memory: 288204 KiB
[startup+3282.3 s]
/proc/loadavg: 4.39 4.41 4.18 5/241 1084062
/proc/meminfo: memFree=124726836/131655788 swapFree=131071996/131071996
[pid=1082289] ppid=1082286 vsize=360948 memory=288216 CPUtime=3273.02 cores=5,7
/proc/1082289/stat : 1082289 (mixed-bag) R 1082286 1082289 1081689 0 -1 4194304 70819 0 0 0 326139 1163 0 0 20 0 1 0 199374399 369610752 72054 134679101440 4194304 16488053 140729150054016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38453248 140729150059541 140729150059618 140729150059618 140729150066635 0
/proc/1082289/statm: 90237 72054 4187 3002 0 73986 0
Current children cumulated CPU time: 3273.02 s
Current children cumulated vsize: 360948 KiB
Current children cumulated memory: 288216 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.35 4.17 5/241 1084072
/proc/meminfo: memFree=124724612/131655788 swapFree=131071996/131071996
[pid=1082289] ppid=1082286 vsize=360948 memory=288460 CPUtime=3332.88 cores=5,7
/proc/1082289/stat : 1082289 (mixed-bag) R 1082286 1082289 1081689 0 -1 4194304 70930 0 0 0 332108 1180 0 0 20 0 1 0 199374399 369610752 72115 134679101440 4194304 16488053 140729150054016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38453248 140729150059541 140729150059618 140729150059618 140729150066635 0
/proc/1082289/statm: 90237 72115 4187 3002 0 73986 0
Current children cumulated CPU time: 3332.88 s
Current children cumulated vsize: 360948 KiB
Current children cumulated memory: 288460 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.30 4.17 5/243 1084087
/proc/meminfo: memFree=124720004/131655788 swapFree=131071996/131071996
[pid=1082289] ppid=1082286 vsize=361108 memory=288460 CPUtime=3392.73 cores=5,7
/proc/1082289/stat : 1082289 (mixed-bag) R 1082286 1082289 1081689 0 -1 4194304 71080 0 0 0 338075 1198 0 0 20 0 1 0 199374399 369774592 72115 134679101440 4194304 16488053 140729150054016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38453248 140729150059541 140729150059618 140729150059618 140729150066635 0
/proc/1082289/statm: 90277 72115 4187 3002 0 74026 0
Current children cumulated CPU time: 3392.73 s
Current children cumulated vsize: 361108 KiB
Current children cumulated memory: 288460 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.27 4.17 5/243 1084097
/proc/meminfo: memFree=124718692/131655788 swapFree=131071996/131071996
[pid=1082289] ppid=1082286 vsize=361108 memory=288620 CPUtime=3452.58 cores=5,7
/proc/1082289/stat : 1082289 (mixed-bag) R 1082286 1082289 1081689 0 -1 4194304 71198 0 0 0 344045 1213 0 0 20 0 1 0 199374399 369774592 72155 134679101440 4194304 16488053 140729150054016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38453248 140729150059541 140729150059618 140729150059618 140729150066635 0
/proc/1082289/statm: 90277 72155 4187 3002 0 74026 0
Current children cumulated CPU time: 3452.58 s
Current children cumulated vsize: 361108 KiB
Current children cumulated memory: 288620 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.24 4.16 5/243 1084107
/proc/meminfo: memFree=124716356/131655788 swapFree=131071996/131071996
[pid=1082289] ppid=1082286 vsize=362348 memory=289336 CPUtime=3512.43 cores=5,7
/proc/1082289/stat : 1082289 (mixed-bag) R 1082286 1082289 1081689 0 -1 4194304 71511 0 0 0 350020 1223 0 0 20 0 1 0 199374399 371044352 72334 134679101440 4194304 16488053 140729150054016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38453248 140729150059541 140729150059618 140729150059618 140729150066635 0
/proc/1082289/statm: 90587 72334 4187 3002 0 74336 0
Current children cumulated CPU time: 3512.43 s
Current children cumulated vsize: 362348 KiB
Current children cumulated memory: 289336 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.22 4.16 5/244 1084256
/proc/meminfo: memFree=111135284/131655788 swapFree=131071996/131071996
[pid=1082289] ppid=1082286 vsize=363032 memory=290120 CPUtime=3572.27 cores=5,7
/proc/1082289/stat : 1082289 (mixed-bag) R 1082286 1082289 1081689 0 -1 4194304 71790 0 0 0 355990 1237 0 0 20 0 1 0 199374399 371744768 72530 134679101440 4194304 16488053 140729150054016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38453248 140729150059541 140729150059618 140729150059618 140729150066635 0
/proc/1082289/statm: 90758 72530 4187 3002 0 74507 0
Current children cumulated CPU time: 3572.27 s
Current children cumulated vsize: 363032 KiB
Current children cumulated memory: 290120 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.12 4.21 4.16 5/244 1084260
/proc/meminfo: memFree=108272388/131655788 swapFree=131071996/131071996
[pid=1082289] ppid=1082286 vsize=364460 memory=290812 CPUtime=3600.01 cores=5,7
/proc/1082289/stat : 1082289 (mixed-bag) R 1082286 1082289 1081689 0 -1 4194304 72105 0 0 0 358758 1243 0 0 20 0 1 0 199374399 373207040 72703 134679101440 4194304 16488053 140729150054016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38453248 140729150059541 140729150059618 140729150059618 140729150066635 0
/proc/1082289/statm: 91115 72703 4187 3002 0 74864 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 364460 KiB
Current children cumulated memory: 290812 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.12 s]
# the end of solver process 1082289 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.59 s, system=12.4326 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.12 4.21 4.16 5/244 1084260
/proc/meminfo: memFree=108272388/131655788 swapFree=131071996/131071996
[pid=1082289] ppid=1082286 vsize=364460 memory=290812 CPUtime=3600.01 cores=5,7
/proc/1082289/stat : 1082289 (mixed-bag) R 1082286 1082289 1081689 0 -1 4194304 72105 0 0 0 358758 1243 0 0 20 0 1 0 199374399 373207040 72703 134679101440 4194304 16488053 140729150054016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38453248 140729150059541 140729150059618 140729150059618 140729150066635 0
/proc/1082289/statm: 91115 72703 4187 3002 0 74864 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 364460 KiB
Current children cumulated memory: 290812 KiB
Child status: 0
Real time (s): 3610.12
CPU time (s): 3600.02
CPU user time (s): 3587.59
CPU system time (s): 12.4326
CPU usage (%): 99.7204
Max. virtual memory (cumulated for all children) (KiB): 364460
Max. memory (cumulated for all children) (KiB): 290812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.59
system time used= 12.4326
maximum resident set size= 290812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72130
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= 93
involuntary context switches= 1434
# summary of solver processes directly reported to runsolver:
# pid: 1082289
# total CPU time (s): 3600.02
# total CPU user time (s): 3587.59
# total CPU system time (s): 12.4326
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8824 second user time and 33.6816 second system time
The end
Begin job on nodeC004 at 2024-07-20 12:43:18
IDJOB=4454856
IDBENCH=148770
IDSOLVER=3083
FILE ID=nodeC004/4454856-1721472186
RUNJOBID= nodeC004-1721472122-1081702
SLURM_JOB_ID= 7545741
Free space on /tmp= 723732 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx49.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454856-1721472186/watcher-4454856-1721472186 -o /tmp/evaluation-result-4454856-1721472186/solver-4454856-1721472186 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721472122-1081702 --watchdog 3760 mixed-bag HOME/instance-4454856-1721472186.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bb00c8681178995acecbc2b6e4ec1a1a
RANDOM SEED=1017416837
nodeC004.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3665.348
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3669.854
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.504
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.434
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3666.324
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3492.163
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.517
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.309
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 125919348 kB
MemAvailable: 128984664 kB
Buffers: 577056 kB
Cached: 3303120 kB
SwapCached: 0 kB
Active: 1284448 kB
Inactive: 3823928 kB
Active(anon): 3344 kB
Inactive(anon): 1270740 kB
Active(file): 1281104 kB
Inactive(file): 2553188 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16672 kB
Writeback: 0 kB
AnonPages: 1227984 kB
Mapped: 140820 kB
Shmem: 45892 kB
KReclaimable: 142444 kB
Slab: 252148 kB
SReclaimable: 142444 kB
SUnreclaim: 109704 kB
KernelStack: 3936 kB
PageTables: 12232 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1779152 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62304 kB
HardwareCorrupted: 0 kB
AnonHugePages: 233472 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 252744 kB
DirectMap2M: 29011968 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 723520 MiB
End job on nodeC004 at 2024-07-20 13:43:28