0.00/0.02 c RoundingSat 2
0.00/0.02 c branch
0.00/0.02 c commit
0.00/0.02 c with Papilo
0.00/0.02 c with SCIP
0.00/0.02 c [STEP] parsing instance
0.00/0.07 c [STEP] preprocessing with Papilo
0.00/0.09 c [STEP] solving with SCIP
299.08/300.17 c [STEP] preprocessing done, loading into solver
299.08/300.17 c [STEP] solving
299.08/300.17 c #variables 2126 #constraints 418
335.52/336.75 c #Conflicts: 1000 | #Constraints: 1417
335.52/336.75 c #Conflicts: 2000 | #Constraints: 2417
335.52/336.75 c INPROCESSING
335.52/336.75 c GARBAGE COLLECT
335.52/336.75 c #Conflicts: 3000 | #Constraints: 2427
335.52/336.75 c #Conflicts: 4000 | #Constraints: 3427
335.52/336.75 c INPROCESSING
335.52/336.75 c GARBAGE COLLECT
335.52/336.75 c #Conflicts: 5000 | #Constraints: 2831
335.52/336.75 c #Conflicts: 6000 | #Constraints: 3831
335.52/336.75 c INPROCESSING
335.52/336.75 c GARBAGE COLLECT
335.52/336.75 c #Conflicts: 7000 | #Constraints: 2835
335.52/336.75 c #Conflicts: 8000 | #Constraints: 3835
335.52/336.75 c #Conflicts: 9000 | #Constraints: 4835
335.52/336.75 c INPROCESSING
335.52/336.75 c GARBAGE COLLECT
335.52/336.75 c #Conflicts: 10000 | #Constraints: 3537
335.52/336.75 c #Conflicts: 11000 | #Constraints: 4537
335.52/336.75 c #Conflicts: 12000 | #Constraints: 5537
335.52/336.75 c INPROCESSING
335.52/336.75 c GARBAGE COLLECT
335.52/336.75 c #Conflicts: 13000 | #Constraints: 3989
335.52/336.75 c #Conflicts: 14000 | #Constraints: 4989
335.52/336.75 c #Conflicts: 15000 | #Constraints: 5989
335.52/336.75 c INPROCESSING
335.52/336.75 c GARBAGE COLLECT
335.52/336.75 c #Conflicts: 16000 | #Constraints: 4219
335.52/336.75 c #Conflicts: 17000 | #Constraints: 5219
335.52/336.75 c #Conflicts: 18000 | #Constraints: 6219
335.52/336.75 c INPROCESSING
335.52/336.75 c GARBAGE COLLECT
335.52/336.75 c #Conflicts: 19000 | #Constraints: 4246
335.52/336.75 c #Conflicts: 20000 | #Constraints: 5246
335.52/336.75 c #Conflicts: 21000 | #Constraints: 6246
335.52/336.75 c INPROCESSING
335.52/336.75 c GARBAGE COLLECT
335.52/336.75 c #Conflicts: 22000 | #Constraints: 4039
335.52/336.75 c #Conflicts: 23000 | #Constraints: 5039
335.52/336.75 c #Conflicts: 24000 | #Constraints: 6039
335.52/336.75 c #Conflicts: 25000 | #Constraints: 7039
335.52/336.75 c INPROCESSING
335.52/336.75 c GARBAGE COLLECT
335.52/336.75 c #Conflicts: 26000 | #Constraints: 4645
335.52/336.75 c #Conflicts: 27000 | #Constraints: 5645
335.52/336.75 c #Conflicts: 28000 | #Constraints: 6645
335.52/336.75 c #Conflicts: 29000 | #Constraints: 7645
335.52/336.75 c INPROCESSING
335.52/336.75 c GARBAGE COLLECT
335.52/336.75 c #Conflicts: 30000 | #Constraints: 5044
335.52/336.75 c #Conflicts: 31000 | #Constraints: 6044
335.52/336.75 c #Conflicts: 32000 | #Constraints: 7044
335.52/336.75 c #Conflicts: 33000 | #Constraints: 8044
335.52/336.75 c INPROCESSING
335.52/336.75 c GARBAGE COLLECT
335.52/336.75 c #Conflicts: 34000 | #Constraints: 5245
335.52/336.75 c #Conflicts: 35000 | #Constraints: 6245
335.52/336.75 c #Conflicts: 36000 | #Constraints: 7245
335.52/336.75 c #Conflicts: 37000 | #Constraints: 8245
335.52/336.75 c INPROCESSING
335.52/336.75 c GARBAGE COLLECT
335.52/336.75 c #Conflicts: 38000 | #Constraints: 5261
335.52/336.75 c #Conflicts: 39000 | #Constraints: 6261
335.52/336.75 c #Conflicts: 40000 | #Constraints: 7261
335.52/336.75 c #Conflicts: 41000 | #Constraints: 8261
335.52/336.75 c INPROCESSING
335.52/336.75 c GARBAGE COLLECT
335.52/336.75 c #Conflicts: 42000 | #Constraints: 5058
335.52/336.75 c #Conflicts: 43000 | #Constraints: 6058
335.52/336.75 c #Conflicts: 44000 | #Constraints: 7058
335.52/336.75 c #Conflicts: 45000 | #Constraints: 8058
335.52/336.75 c #Conflicts: 46000 | #Constraints: 9058
335.52/336.75 c INPROCESSING
335.52/336.75 c GARBAGE COLLECT
335.52/336.75 c #Conflicts: 47000 | #Constraints: 5648
335.52/336.75 c #Conflicts: 48000 | #Constraints: 6648
335.52/336.75 c #Conflicts: 49000 | #Constraints: 7648
335.52/336.75 c #Conflicts: 50000 | #Constraints: 8648
335.52/336.75 c #Conflicts: 51000 | #Constraints: 9648
335.52/336.75 c INPROCESSING
335.52/336.75 c GARBAGE COLLECT
335.52/336.75 c #Conflicts: 52000 | #Constraints: 6051
335.52/336.75 c #Conflicts: 53000 | #Constraints: 7051
335.52/336.75 c #Conflicts: 54000 | #Constraints: 8051
335.52/336.75 c #Conflicts: 55000 | #Constraints: 9051
335.52/336.75 c #Conflicts: 56000 | #Constraints: 10051
335.52/336.75 c INPROCESSING
335.52/336.75 c GARBAGE COLLECT
335.52/336.75 c #Conflicts: 57000 | #Constraints: 6245
335.52/336.75 c #Conflicts: 58000 | #Constraints: 7245
335.52/336.75 c #Conflicts: 59000 | #Constraints: 8245
335.52/336.75 c #Conflicts: 60000 | #Constraints: 9245
335.52/336.75 c #Conflicts: 61000 | #Constraints: 10245
335.52/336.75 c INPROCESSING
335.52/336.75 c GARBAGE COLLECT
335.52/336.75 c #Conflicts: 62000 | #Constraints: 6248
335.52/336.75 c #Conflicts: 63000 | #Constraints: 7248
335.52/336.75 c #Conflicts: 64000 | #Constraints: 8248
335.52/336.75 c #Conflicts: 65000 | #Constraints: 9248
335.52/336.75 c #Conflicts: 66000 | #Constraints: 10248
335.52/336.75 c INPROCESSING
335.52/336.75 c GARBAGE COLLECT
335.52/336.75 c #Conflicts: 67000 | #Constraints: 6054
335.52/336.75 c #Conflicts: 68000 | #Constraints: 7054
393.46/395.00 c #Conflicts: 69000 | #Constraints: 8054
393.46/395.00 c #Conflicts: 70000 | #Constraints: 9054
393.46/395.00 c #Conflicts: 71000 | #Constraints: 10054
393.46/395.00 c #Conflicts: 72000 | #Constraints: 11054
393.46/395.00 c INPROCESSING
393.46/395.00 c GARBAGE COLLECT
393.46/395.00 c #Conflicts: 73000 | #Constraints: 6650
393.46/395.00 c #Conflicts: 74000 | #Constraints: 7650
393.46/395.00 c #Conflicts: 75000 | #Constraints: 8650
393.46/395.00 c #Conflicts: 76000 | #Constraints: 9650
393.46/395.00 c #Conflicts: 77000 | #Constraints: 10650
393.46/395.00 c #Conflicts: 78000 | #Constraints: 11650
393.46/395.00 c INPROCESSING
393.46/395.00 c GARBAGE COLLECT
393.46/395.00 c #Conflicts: 79000 | #Constraints: 7058
393.46/395.00 c #Conflicts: 80000 | #Constraints: 8058
393.46/395.00 c #Conflicts: 81000 | #Constraints: 9058
393.46/395.00 c #Conflicts: 82000 | #Constraints: 10058
393.46/395.00 c #Conflicts: 83000 | #Constraints: 11058
393.46/395.00 c #Conflicts: 84000 | #Constraints: 12058
393.46/395.00 c INPROCESSING
393.46/395.00 c GARBAGE COLLECT
393.46/395.00 c #Conflicts: 85000 | #Constraints: 7253
393.46/395.00 c #Conflicts: 86000 | #Constraints: 8253
393.46/395.00 c #Conflicts: 87000 | #Constraints: 9253
393.46/395.00 c #Conflicts: 88000 | #Constraints: 10253
393.46/395.00 c #Conflicts: 89000 | #Constraints: 11253
393.46/395.00 c #Conflicts: 90000 | #Constraints: 12253
393.46/395.00 c INPROCESSING
393.46/395.00 c GARBAGE COLLECT
393.46/395.00 c #Conflicts: 91000 | #Constraints: 7264
393.46/395.00 c #Conflicts: 92000 | #Constraints: 8264
393.46/395.00 c #Conflicts: 93000 | #Constraints: 9264
393.46/395.00 c #Conflicts: 94000 | #Constraints: 10264
393.46/395.00 c #Conflicts: 95000 | #Constraints: 11264
393.46/395.00 c #Conflicts: 96000 | #Constraints: 12264
393.46/395.00 c INPROCESSING
393.46/395.00 c GARBAGE COLLECT
393.46/395.00 c #Conflicts: 97000 | #Constraints: 7067
393.46/395.00 c #Conflicts: 98000 | #Constraints: 8067
393.46/395.00 c #Conflicts: 99000 | #Constraints: 9067
393.46/395.00 c #Conflicts: 100000 | #Constraints: 10067
393.46/395.00 c #Conflicts: 101000 | #Constraints: 11067
393.46/395.00 c #Conflicts: 102000 | #Constraints: 12067
393.46/395.00 c #Conflicts: 103000 | #Constraints: 13067
393.46/395.00 c INPROCESSING
393.46/395.00 c GARBAGE COLLECT
393.46/395.00 c #Conflicts: 104000 | #Constraints: 7656
393.46/395.00 c #Conflicts: 105000 | #Constraints: 8656
393.46/395.00 c #Conflicts: 106000 | #Constraints: 9656
393.46/395.00 c #Conflicts: 107000 | #Constraints: 10656
393.46/395.00 c #Conflicts: 108000 | #Constraints: 11656
393.46/395.00 c #Conflicts: 109000 | #Constraints: 12656
393.46/395.00 c #Conflicts: 110000 | #Constraints: 13656
393.46/395.00 c INPROCESSING
393.46/395.00 c GARBAGE COLLECT
393.46/395.00 c #Conflicts: 111000 | #Constraints: 8066
393.46/395.00 c #Conflicts: 112000 | #Constraints: 9066
393.46/395.00 c #Conflicts: 113000 | #Constraints: 10066
393.46/395.00 c #Conflicts: 114000 | #Constraints: 11066
393.46/395.00 c #Conflicts: 115000 | #Constraints: 12066
393.46/395.00 c #Conflicts: 116000 | #Constraints: 13066
393.46/395.00 c #Conflicts: 117000 | #Constraints: 14066
393.46/395.00 c INPROCESSING
393.46/395.00 c GARBAGE COLLECT
393.46/395.00 c #Conflicts: 118000 | #Constraints: 8260
393.46/395.00 c #Conflicts: 119000 | #Constraints: 9260
393.46/395.00 c #Conflicts: 120000 | #Constraints: 10260
393.46/395.00 c #Conflicts: 121000 | #Constraints: 11260
393.46/395.00 c #Conflicts: 122000 | #Constraints: 12260
393.46/395.00 c #Conflicts: 123000 | #Constraints: 13260
393.46/395.00 c #Conflicts: 124000 | #Constraints: 14260
393.46/395.00 c INPROCESSING
393.46/395.00 c GARBAGE COLLECT
393.46/395.00 c #Conflicts: 125000 | #Constraints: 8257
393.46/395.00 c #Conflicts: 126000 | #Constraints: 9257
393.46/395.00 c #Conflicts: 127000 | #Constraints: 10257
393.46/395.00 c #Conflicts: 128000 | #Constraints: 11257
393.46/395.00 c #Conflicts: 129000 | #Constraints: 12257
393.46/395.00 c #Conflicts: 130000 | #Constraints: 13257
393.46/395.00 c #Conflicts: 131000 | #Constraints: 14257
393.46/395.00 c INPROCESSING
393.46/395.00 c GARBAGE COLLECT
393.46/395.00 c #Conflicts: 132000 | #Constraints: 8053
393.46/395.00 c #Conflicts: 133000 | #Constraints: 9053
393.46/395.00 c #Conflicts: 134000 | #Constraints: 10053
393.46/395.00 c #Conflicts: 135000 | #Constraints: 11053
393.46/395.00 c #Conflicts: 136000 | #Constraints: 12053
393.46/395.00 c #Conflicts: 137000 | #Constraints: 13053
393.46/395.00 c #Conflicts: 138000 | #Constraints: 14053
393.46/395.00 c #Conflicts: 139000 | #Constraints: 15053
393.46/395.00 c INPROCESSING
393.46/395.00 c GARBAGE COLLECT
393.46/395.00 c #Conflicts: 140000 | #Constraints: 8654
467.08/468.82 c #Conflicts: 141000 | #Constraints: 9654
467.08/468.82 c #Conflicts: 142000 | #Constraints: 10654
467.08/468.82 c #Conflicts: 143000 | #Constraints: 11654
467.08/468.82 c #Conflicts: 144000 | #Constraints: 12654
467.08/468.82 c #Conflicts: 145000 | #Constraints: 13654
467.08/468.82 c #Conflicts: 146000 | #Constraints: 14654
467.08/468.82 c #Conflicts: 147000 | #Constraints: 15654
467.08/468.82 c INPROCESSING
467.08/468.82 c GARBAGE COLLECT
467.08/468.82 c #Conflicts: 148000 | #Constraints: 9077
467.08/468.82 c #Conflicts: 149000 | #Constraints: 10077
467.08/468.82 c #Conflicts: 150000 | #Constraints: 11077
467.08/468.82 c #Conflicts: 151000 | #Constraints: 12077
467.08/468.82 c #Conflicts: 152000 | #Constraints: 13077
467.08/468.82 c #Conflicts: 153000 | #Constraints: 14077
467.08/468.82 c #Conflicts: 154000 | #Constraints: 15077
467.08/468.82 c #Conflicts: 155000 | #Constraints: 16077
467.08/468.82 c INPROCESSING
467.08/468.82 c GARBAGE COLLECT
467.08/468.82 c #Conflicts: 156000 | #Constraints: 9270
467.08/468.82 c #Conflicts: 157000 | #Constraints: 10270
467.08/468.82 c #Conflicts: 158000 | #Constraints: 11270
467.08/468.82 c #Conflicts: 159000 | #Constraints: 12270
467.08/468.82 c #Conflicts: 160000 | #Constraints: 13270
467.08/468.82 c #Conflicts: 161000 | #Constraints: 14270
467.08/468.82 c #Conflicts: 162000 | #Constraints: 15270
467.08/468.82 c #Conflicts: 163000 | #Constraints: 16270
467.08/468.82 c INPROCESSING
467.08/468.82 c GARBAGE COLLECT
467.08/468.82 c #Conflicts: 164000 | #Constraints: 9267
467.08/468.82 c #Conflicts: 165000 | #Constraints: 10267
467.08/468.82 c #Conflicts: 166000 | #Constraints: 11267
467.08/468.82 c #Conflicts: 167000 | #Constraints: 12267
467.08/468.82 c #Conflicts: 168000 | #Constraints: 13267
467.08/468.82 c #Conflicts: 169000 | #Constraints: 14267
467.08/468.82 c #Conflicts: 170000 | #Constraints: 15267
467.08/468.82 c #Conflicts: 171000 | #Constraints: 16267
467.08/468.82 c INPROCESSING
467.08/468.82 c GARBAGE COLLECT
467.08/468.82 c #Conflicts: 172000 | #Constraints: 9059
467.08/468.82 c #Conflicts: 173000 | #Constraints: 10059
467.08/468.82 c #Conflicts: 174000 | #Constraints: 11059
467.08/468.82 c #Conflicts: 175000 | #Constraints: 12059
467.08/468.82 c #Conflicts: 176000 | #Constraints: 13059
467.08/468.82 c #Conflicts: 177000 | #Constraints: 14059
467.08/468.82 c #Conflicts: 178000 | #Constraints: 15059
467.08/468.82 c #Conflicts: 179000 | #Constraints: 16059
467.08/468.82 c #Conflicts: 180000 | #Constraints: 17059
467.08/468.82 c INPROCESSING
467.08/468.82 c GARBAGE COLLECT
467.08/468.82 c #Conflicts: 181000 | #Constraints: 9656
467.08/468.82 c #Conflicts: 182000 | #Constraints: 10656
467.08/468.82 c #Conflicts: 183000 | #Constraints: 11656
467.08/468.82 c #Conflicts: 184000 | #Constraints: 12656
467.08/468.82 c #Conflicts: 185000 | #Constraints: 13656
467.08/468.82 c #Conflicts: 186000 | #Constraints: 14656
467.08/468.82 c #Conflicts: 187000 | #Constraints: 15656
467.08/468.82 c #Conflicts: 188000 | #Constraints: 16656
467.08/468.82 c #Conflicts: 189000 | #Constraints: 17656
467.08/468.82 c INPROCESSING
467.08/468.82 c GARBAGE COLLECT
467.08/468.82 c #Conflicts: 190000 | #Constraints: 10062
467.08/468.82 c #Conflicts: 191000 | #Constraints: 11062
467.08/468.82 c #Conflicts: 192000 | #Constraints: 12062
467.08/468.82 c #Conflicts: 193000 | #Constraints: 13062
467.08/468.82 c #Conflicts: 194000 | #Constraints: 14062
467.08/468.82 c #Conflicts: 195000 | #Constraints: 15062
467.08/468.82 c #Conflicts: 196000 | #Constraints: 16062
467.08/468.82 c #Conflicts: 197000 | #Constraints: 17062
467.08/468.82 c #Conflicts: 198000 | #Constraints: 18062
467.08/468.82 c INPROCESSING
467.08/468.82 c GARBAGE COLLECT
467.08/468.82 c #Conflicts: 199000 | #Constraints: 10269
467.08/468.82 c #Conflicts: 200000 | #Constraints: 11269
467.08/468.82 c #Conflicts: 201000 | #Constraints: 12269
467.08/468.82 c #Conflicts: 202000 | #Constraints: 13269
467.08/468.82 c #Conflicts: 203000 | #Constraints: 14269
467.08/468.82 c #Conflicts: 204000 | #Constraints: 15269
467.08/468.82 c #Conflicts: 205000 | #Constraints: 16269
467.08/468.82 c #Conflicts: 206000 | #Constraints: 17269
467.08/468.82 c #Conflicts: 207000 | #Constraints: 18269
467.08/468.82 c INPROCESSING
467.08/468.82 c GARBAGE COLLECT
467.08/468.82 c #Conflicts: 208000 | #Constraints: 10270
467.08/468.82 c #Conflicts: 209000 | #Constraints: 11270
467.08/468.82 c #Conflicts: 210000 | #Constraints: 12270
467.08/468.82 c #Conflicts: 211000 | #Constraints: 13270
467.08/468.82 c #Conflicts: 212000 | #Constraints: 14270
467.08/468.82 c #Conflicts: 213000 | #Constraints: 15270
537.01/539.09 c #Conflicts: 214000 | #Constraints: 16270
537.01/539.09 c #Conflicts: 215000 | #Constraints: 17270
537.01/539.09 c #Conflicts: 216000 | #Constraints: 18270
537.01/539.09 c INPROCESSING
537.01/539.09 c GARBAGE COLLECT
537.01/539.09 c #Conflicts: 217000 | #Constraints: 10084
537.01/539.09 c #Conflicts: 218000 | #Constraints: 11084
537.01/539.09 c #Conflicts: 219000 | #Constraints: 12084
537.01/539.09 c #Conflicts: 220000 | #Constraints: 13084
537.01/539.09 c #Conflicts: 221000 | #Constraints: 14084
537.01/539.09 c #Conflicts: 222000 | #Constraints: 15084
537.01/539.09 c #Conflicts: 223000 | #Constraints: 16084
537.01/539.09 c #Conflicts: 224000 | #Constraints: 17084
537.01/539.09 c #Conflicts: 225000 | #Constraints: 18084
537.01/539.09 c #Conflicts: 226000 | #Constraints: 19084
537.01/539.09 c INPROCESSING
537.01/539.09 c GARBAGE COLLECT
537.01/539.09 c #Conflicts: 227000 | #Constraints: 10681
537.01/539.09 c #Conflicts: 228000 | #Constraints: 11681
537.01/539.09 c #Conflicts: 229000 | #Constraints: 12681
537.01/539.09 c #Conflicts: 230000 | #Constraints: 13681
537.01/539.09 c #Conflicts: 231000 | #Constraints: 14681
537.01/539.09 c #Conflicts: 232000 | #Constraints: 15681
537.01/539.09 c #Conflicts: 233000 | #Constraints: 16681
537.01/539.09 c #Conflicts: 234000 | #Constraints: 17681
537.01/539.09 c #Conflicts: 235000 | #Constraints: 18681
537.01/539.09 c #Conflicts: 236000 | #Constraints: 19681
537.01/539.09 c INPROCESSING
537.01/539.09 c GARBAGE COLLECT
537.01/539.09 c #Conflicts: 237000 | #Constraints: 11072
537.01/539.09 c #Conflicts: 238000 | #Constraints: 12072
537.01/539.09 c #Conflicts: 239000 | #Constraints: 13072
537.01/539.09 c #Conflicts: 240000 | #Constraints: 14072
537.01/539.09 c #Conflicts: 241000 | #Constraints: 15072
537.01/539.09 c #Conflicts: 242000 | #Constraints: 16072
537.01/539.09 c #Conflicts: 243000 | #Constraints: 17072
537.01/539.09 c #Conflicts: 244000 | #Constraints: 18072
537.01/539.09 c #Conflicts: 245000 | #Constraints: 19072
537.01/539.09 c #Conflicts: 246000 | #Constraints: 20072
537.01/539.09 c INPROCESSING
537.01/539.09 c GARBAGE COLLECT
537.01/539.09 c #Conflicts: 247000 | #Constraints: 11262
537.01/539.09 c #Conflicts: 248000 | #Constraints: 12262
537.01/539.09 c #Conflicts: 249000 | #Constraints: 13262
537.01/539.09 c #Conflicts: 250000 | #Constraints: 14262
537.01/539.09 c #Conflicts: 251000 | #Constraints: 15262
537.01/539.09 c #Conflicts: 252000 | #Constraints: 16262
537.01/539.09 c #Conflicts: 253000 | #Constraints: 17262
537.01/539.09 c #Conflicts: 254000 | #Constraints: 18262
537.01/539.09 c #Conflicts: 255000 | #Constraints: 19262
537.01/539.09 c #Conflicts: 256000 | #Constraints: 20262
537.01/539.09 c INPROCESSING
537.01/539.09 c GARBAGE COLLECT
537.01/539.09 c #Conflicts: 257000 | #Constraints: 11256
537.01/539.09 c #Conflicts: 258000 | #Constraints: 12256
537.01/539.09 c #Conflicts: 259000 | #Constraints: 13256
537.01/539.09 c #Conflicts: 260000 | #Constraints: 14256
537.01/539.09 c #Conflicts: 261000 | #Constraints: 15256
537.01/539.09 c #Conflicts: 262000 | #Constraints: 16256
537.01/539.09 c #Conflicts: 263000 | #Constraints: 17256
537.01/539.09 c #Conflicts: 264000 | #Constraints: 18256
537.01/539.09 c #Conflicts: 265000 | #Constraints: 19256
537.01/539.09 c #Conflicts: 266000 | #Constraints: 20256
537.01/539.09 c INPROCESSING
537.01/539.09 c GARBAGE COLLECT
537.01/539.09 c #Conflicts: 267000 | #Constraints: 11062
537.01/539.09 c #Conflicts: 268000 | #Constraints: 12062
537.01/539.09 c #Conflicts: 269000 | #Constraints: 13062
537.01/539.09 c #Conflicts: 270000 | #Constraints: 14062
537.01/539.09 c #Conflicts: 271000 | #Constraints: 15062
537.01/539.09 c #Conflicts: 272000 | #Constraints: 16062
537.01/539.09 c #Conflicts: 273000 | #Constraints: 17062
537.01/539.09 c #Conflicts: 274000 | #Constraints: 18062
537.01/539.09 c #Conflicts: 275000 | #Constraints: 19062
537.01/539.09 c #Conflicts: 276000 | #Constraints: 20062
537.01/539.09 c #Conflicts: 277000 | #Constraints: 21062
537.01/539.09 c INPROCESSING
537.01/539.09 c GARBAGE COLLECT
537.01/539.09 c #Conflicts: 278000 | #Constraints: 11664
537.01/539.09 c #Conflicts: 279000 | #Constraints: 12664
537.01/539.09 c #Conflicts: 280000 | #Constraints: 13664
537.01/539.09 c #Conflicts: 281000 | #Constraints: 14664
537.01/539.09 c #Conflicts: 282000 | #Constraints: 15664
537.01/539.09 c #Conflicts: 283000 | #Constraints: 16664
537.01/539.09 c #Conflicts: 284000 | #Constraints: 17664
537.01/539.09 c #Conflicts: 285000 | #Constraints: 18664
537.01/539.09 c #Conflicts: 286000 | #Constraints: 19664
537.01/539.09 c #Conflicts: 287000 | #Constraints: 20664
537.01/539.09 c #Conflicts: 288000 | #Constraints: 21664
628.35/630.72 c INPROCESSING
628.35/630.72 c GARBAGE COLLECT
628.35/630.72 c #Conflicts: 289000 | #Constraints: 12051
628.35/630.72 c #Conflicts: 290000 | #Constraints: 13051
628.35/630.72 c #Conflicts: 291000 | #Constraints: 14051
628.35/630.72 c #Conflicts: 292000 | #Constraints: 15051
628.35/630.72 c #Conflicts: 293000 | #Constraints: 16051
628.35/630.72 c #Conflicts: 294000 | #Constraints: 17051
628.35/630.72 c #Conflicts: 295000 | #Constraints: 18051
628.35/630.72 c #Conflicts: 296000 | #Constraints: 19051
628.35/630.72 c #Conflicts: 297000 | #Constraints: 20051
628.35/630.72 c #Conflicts: 298000 | #Constraints: 21051
628.35/630.72 c #Conflicts: 299000 | #Constraints: 22051
628.35/630.72 c INPROCESSING
628.35/630.72 c GARBAGE COLLECT
628.35/630.72 c #Conflicts: 300000 | #Constraints: 12256
628.35/630.72 c #Conflicts: 301000 | #Constraints: 13256
628.35/630.72 c #Conflicts: 302000 | #Constraints: 14256
628.35/630.72 c #Conflicts: 303000 | #Constraints: 15256
628.35/630.72 c #Conflicts: 304000 | #Constraints: 16256
628.35/630.72 c #Conflicts: 305000 | #Constraints: 17256
628.35/630.72 c #Conflicts: 306000 | #Constraints: 18256
628.35/630.72 c #Conflicts: 307000 | #Constraints: 19256
628.35/630.72 c #Conflicts: 308000 | #Constraints: 20256
628.35/630.72 c #Conflicts: 309000 | #Constraints: 21256
628.35/630.72 c #Conflicts: 310000 | #Constraints: 22256
628.35/630.72 c INPROCESSING
628.35/630.72 c GARBAGE COLLECT
628.35/630.72 c #Conflicts: 311000 | #Constraints: 12260
628.35/630.72 c #Conflicts: 312000 | #Constraints: 13260
628.35/630.72 c #Conflicts: 313000 | #Constraints: 14260
628.35/630.72 c #Conflicts: 314000 | #Constraints: 15260
628.35/630.72 c #Conflicts: 315000 | #Constraints: 16260
628.35/630.72 c #Conflicts: 316000 | #Constraints: 17260
628.35/630.72 c #Conflicts: 317000 | #Constraints: 18260
628.35/630.72 c #Conflicts: 318000 | #Constraints: 19260
628.35/630.72 c #Conflicts: 319000 | #Constraints: 20260
628.35/630.72 c #Conflicts: 320000 | #Constraints: 21260
628.35/630.72 c #Conflicts: 321000 | #Constraints: 22260
628.35/630.72 c INPROCESSING
628.35/630.72 c GARBAGE COLLECT
628.35/630.72 c #Conflicts: 322000 | #Constraints: 12064
628.35/630.72 c #Conflicts: 323000 | #Constraints: 13064
628.35/630.72 c #Conflicts: 324000 | #Constraints: 14064
628.35/630.72 c #Conflicts: 325000 | #Constraints: 15064
628.35/630.72 c #Conflicts: 326000 | #Constraints: 16064
628.35/630.72 c #Conflicts: 327000 | #Constraints: 17064
628.35/630.72 c #Conflicts: 328000 | #Constraints: 18064
628.35/630.72 c #Conflicts: 329000 | #Constraints: 19064
628.35/630.72 c #Conflicts: 330000 | #Constraints: 20064
628.35/630.72 c #Conflicts: 331000 | #Constraints: 21064
628.35/630.72 c #Conflicts: 332000 | #Constraints: 22064
628.35/630.72 c #Conflicts: 333000 | #Constraints: 23064
628.35/630.72 c INPROCESSING
628.35/630.72 c GARBAGE COLLECT
628.35/630.72 c #Conflicts: 334000 | #Constraints: 12660
628.35/630.72 c #Conflicts: 335000 | #Constraints: 13660
628.35/630.72 c #Conflicts: 336000 | #Constraints: 14660
628.35/630.72 c #Conflicts: 337000 | #Constraints: 15660
628.35/630.72 c #Conflicts: 338000 | #Constraints: 16660
628.35/630.72 c #Conflicts: 339000 | #Constraints: 17660
628.35/630.72 c #Conflicts: 340000 | #Constraints: 18660
628.35/630.72 c #Conflicts: 341000 | #Constraints: 19660
628.35/630.72 c #Conflicts: 342000 | #Constraints: 20660
628.35/630.72 c #Conflicts: 343000 | #Constraints: 21660
628.35/630.72 c #Conflicts: 344000 | #Constraints: 22660
628.35/630.72 c #Conflicts: 345000 | #Constraints: 23660
628.35/630.72 c INPROCESSING
628.35/630.72 c GARBAGE COLLECT
628.35/630.72 c #Conflicts: 346000 | #Constraints: 13055
628.35/630.72 c #Conflicts: 347000 | #Constraints: 14055
628.35/630.72 c #Conflicts: 348000 | #Constraints: 15055
628.35/630.72 c #Conflicts: 349000 | #Constraints: 16055
628.35/630.72 c #Conflicts: 350000 | #Constraints: 17055
628.35/630.72 c #Conflicts: 351000 | #Constraints: 18055
628.35/630.72 c #Conflicts: 352000 | #Constraints: 19055
628.35/630.72 c #Conflicts: 353000 | #Constraints: 20055
628.35/630.72 c #Conflicts: 354000 | #Constraints: 21055
628.35/630.72 c #Conflicts: 355000 | #Constraints: 22055
628.35/630.72 c #Conflicts: 356000 | #Constraints: 23055
628.35/630.72 c #Conflicts: 357000 | #Constraints: 24055
628.35/630.72 c INPROCESSING
628.35/630.72 c GARBAGE COLLECT
628.35/630.72 c #Conflicts: 358000 | #Constraints: 13252
628.35/630.72 c #Conflicts: 359000 | #Constraints: 14252
628.35/630.72 c #Conflicts: 360000 | #Constraints: 15252
628.35/630.72 c #Conflicts: 361000 | #Constraints: 16252
628.35/630.72 c #Conflicts: 362000 | #Constraints: 17252
744.81/747.65 c #Conflicts: 363000 | #Constraints: 18252
744.81/747.65 c #Conflicts: 364000 | #Constraints: 19252
744.81/747.65 c #Conflicts: 365000 | #Constraints: 20252
744.81/747.65 c #Conflicts: 366000 | #Constraints: 21252
744.81/747.65 c #Conflicts: 367000 | #Constraints: 22252
744.81/747.65 c #Conflicts: 368000 | #Constraints: 23252
744.81/747.65 c #Conflicts: 369000 | #Constraints: 24252
744.81/747.65 c INPROCESSING
744.81/747.65 c GARBAGE COLLECT
744.81/747.65 c #Conflicts: 370000 | #Constraints: 13260
744.81/747.65 c #Conflicts: 371000 | #Constraints: 14260
744.81/747.65 c #Conflicts: 372000 | #Constraints: 15260
744.81/747.65 c #Conflicts: 373000 | #Constraints: 16260
744.81/747.65 c #Conflicts: 374000 | #Constraints: 17260
744.81/747.65 c #Conflicts: 375000 | #Constraints: 18260
744.81/747.65 c #Conflicts: 376000 | #Constraints: 19260
744.81/747.65 c #Conflicts: 377000 | #Constraints: 20260
744.81/747.65 c #Conflicts: 378000 | #Constraints: 21260
744.81/747.65 c #Conflicts: 379000 | #Constraints: 22260
744.81/747.65 c #Conflicts: 380000 | #Constraints: 23260
744.81/747.65 c #Conflicts: 381000 | #Constraints: 24260
744.81/747.65 c INPROCESSING
744.81/747.65 c GARBAGE COLLECT
744.81/747.65 c #Conflicts: 382000 | #Constraints: 13052
744.81/747.65 c #Conflicts: 383000 | #Constraints: 14052
744.81/747.65 c #Conflicts: 384000 | #Constraints: 15052
744.81/747.65 c #Conflicts: 385000 | #Constraints: 16052
744.81/747.65 c #Conflicts: 386000 | #Constraints: 17052
744.81/747.65 c #Conflicts: 387000 | #Constraints: 18052
744.81/747.65 c #Conflicts: 388000 | #Constraints: 19052
744.81/747.65 c #Conflicts: 389000 | #Constraints: 20052
744.81/747.65 c #Conflicts: 390000 | #Constraints: 21052
744.81/747.65 c #Conflicts: 391000 | #Constraints: 22052
744.81/747.65 c #Conflicts: 392000 | #Constraints: 23052
744.81/747.65 c #Conflicts: 393000 | #Constraints: 24052
744.81/747.65 c #Conflicts: 394000 | #Constraints: 25052
744.81/747.65 c INPROCESSING
744.81/747.65 c GARBAGE COLLECT
744.81/747.65 c #Conflicts: 395000 | #Constraints: 13653
744.81/747.65 c #Conflicts: 396000 | #Constraints: 14653
744.81/747.65 c #Conflicts: 397000 | #Constraints: 15653
744.81/747.65 c #Conflicts: 398000 | #Constraints: 16653
744.81/747.65 c #Conflicts: 399000 | #Constraints: 17653
744.81/747.65 c #Conflicts: 400000 | #Constraints: 18653
744.81/747.65 c #Conflicts: 401000 | #Constraints: 19653
744.81/747.65 c #Conflicts: 402000 | #Constraints: 20653
744.81/747.65 c #Conflicts: 403000 | #Constraints: 21653
744.81/747.65 c #Conflicts: 404000 | #Constraints: 22653
744.81/747.65 c #Conflicts: 405000 | #Constraints: 23653
744.81/747.65 c #Conflicts: 406000 | #Constraints: 24653
744.81/747.65 c #Conflicts: 407000 | #Constraints: 25653
744.81/747.65 c INPROCESSING
744.81/747.65 c GARBAGE COLLECT
744.81/747.65 c #Conflicts: 408000 | #Constraints: 14054
744.81/747.65 c #Conflicts: 409000 | #Constraints: 15054
744.81/747.65 c #Conflicts: 410000 | #Constraints: 16054
744.81/747.65 c #Conflicts: 411000 | #Constraints: 17054
744.81/747.65 c #Conflicts: 412000 | #Constraints: 18054
744.81/747.65 c #Conflicts: 413000 | #Constraints: 19054
744.81/747.65 c #Conflicts: 414000 | #Constraints: 20054
744.81/747.65 c #Conflicts: 415000 | #Constraints: 21054
744.81/747.65 c #Conflicts: 416000 | #Constraints: 22054
744.81/747.65 c #Conflicts: 417000 | #Constraints: 23054
744.81/747.65 c #Conflicts: 418000 | #Constraints: 24054
744.81/747.65 c #Conflicts: 419000 | #Constraints: 25054
744.81/747.65 c #Conflicts: 420000 | #Constraints: 26054
744.81/747.65 c INPROCESSING
744.81/747.65 c GARBAGE COLLECT
744.81/747.65 c #Conflicts: 421000 | #Constraints: 14275
744.81/747.65 c #Conflicts: 422000 | #Constraints: 15275
744.81/747.65 c #Conflicts: 423000 | #Constraints: 16275
744.81/747.65 c #Conflicts: 424000 | #Constraints: 17275
744.81/747.65 c #Conflicts: 425000 | #Constraints: 18275
744.81/747.65 c #Conflicts: 426000 | #Constraints: 19275
744.81/747.65 c #Conflicts: 427000 | #Constraints: 20275
744.81/747.65 c #Conflicts: 428000 | #Constraints: 21275
744.81/747.65 c #Conflicts: 429000 | #Constraints: 22275
744.81/747.65 c #Conflicts: 430000 | #Constraints: 23275
744.81/747.65 c #Conflicts: 431000 | #Constraints: 24275
744.81/747.65 c #Conflicts: 432000 | #Constraints: 25275
744.81/747.65 c #Conflicts: 433000 | #Constraints: 26275
744.81/747.65 c INPROCESSING
744.81/747.65 c GARBAGE COLLECT
744.81/747.65 c #Conflicts: 434000 | #Constraints: 14273
744.81/747.65 c #Conflicts: 435000 | #Constraints: 15273
744.81/747.65 c #Conflicts: 436000 | #Constraints: 16273
744.81/747.65 c #Conflicts: 437000 | #Constraints: 17273
899.34/902.71 c #Conflicts: 438000 | #Constraints: 18273
899.34/902.71 c #Conflicts: 439000 | #Constraints: 19273
899.34/902.71 c #Conflicts: 440000 | #Constraints: 20273
899.34/902.71 c #Conflicts: 441000 | #Constraints: 21273
899.34/902.71 c #Conflicts: 442000 | #Constraints: 22273
899.34/902.71 c #Conflicts: 443000 | #Constraints: 23273
899.34/902.71 c #Conflicts: 444000 | #Constraints: 24273
899.34/902.71 c #Conflicts: 445000 | #Constraints: 25273
899.34/902.71 c #Conflicts: 446000 | #Constraints: 26273
899.34/902.71 c INPROCESSING
899.34/902.71 c GARBAGE COLLECT
899.34/902.71 c #Conflicts: 447000 | #Constraints: 14068
899.34/902.71 c #Conflicts: 448000 | #Constraints: 15068
899.34/902.71 c #Conflicts: 449000 | #Constraints: 16068
899.34/902.71 c #Conflicts: 450000 | #Constraints: 17068
899.34/902.71 c #Conflicts: 451000 | #Constraints: 18068
899.34/902.71 c #Conflicts: 452000 | #Constraints: 19068
899.34/902.71 c #Conflicts: 453000 | #Constraints: 20068
899.34/902.71 c #Conflicts: 454000 | #Constraints: 21068
899.34/902.71 c #Conflicts: 455000 | #Constraints: 22068
899.34/902.71 c #Conflicts: 456000 | #Constraints: 23068
899.34/902.71 c #Conflicts: 457000 | #Constraints: 24068
899.34/902.71 c #Conflicts: 458000 | #Constraints: 25068
899.34/902.71 c #Conflicts: 459000 | #Constraints: 26068
899.34/902.71 c #Conflicts: 460000 | #Constraints: 27068
899.34/902.71 c INPROCESSING
899.34/902.71 c GARBAGE COLLECT
899.34/902.71 c #Conflicts: 461000 | #Constraints: 14668
899.34/902.71 c #Conflicts: 462000 | #Constraints: 15668
899.34/902.71 c #Conflicts: 463000 | #Constraints: 16668
899.34/902.71 c #Conflicts: 464000 | #Constraints: 17668
899.34/902.71 c #Conflicts: 465000 | #Constraints: 18668
899.34/902.71 c #Conflicts: 466000 | #Constraints: 19668
899.34/902.71 c #Conflicts: 467000 | #Constraints: 20668
899.34/902.71 c #Conflicts: 468000 | #Constraints: 21668
899.34/902.71 c #Conflicts: 469000 | #Constraints: 22668
899.34/902.71 c #Conflicts: 470000 | #Constraints: 23668
899.34/902.71 c #Conflicts: 471000 | #Constraints: 24668
899.34/902.71 c #Conflicts: 472000 | #Constraints: 25668
899.34/902.71 c #Conflicts: 473000 | #Constraints: 26668
899.34/902.71 c #Conflicts: 474000 | #Constraints: 27668
899.34/902.71 c INPROCESSING
899.34/902.71 c GARBAGE COLLECT
899.34/902.71 c #Conflicts: 475000 | #Constraints: 15071
899.34/902.71 c #Conflicts: 476000 | #Constraints: 16071
899.34/902.71 c #Conflicts: 477000 | #Constraints: 17071
899.34/902.71 c #Conflicts: 478000 | #Constraints: 18071
899.34/902.71 c #Conflicts: 479000 | #Constraints: 19071
899.34/902.71 c #Conflicts: 480000 | #Constraints: 20071
899.34/902.71 c #Conflicts: 481000 | #Constraints: 21071
899.34/902.71 c #Conflicts: 482000 | #Constraints: 22071
899.34/902.71 c #Conflicts: 483000 | #Constraints: 23071
899.34/902.71 c #Conflicts: 484000 | #Constraints: 24071
899.34/902.71 c #Conflicts: 485000 | #Constraints: 25071
899.34/902.71 c #Conflicts: 486000 | #Constraints: 26071
899.34/902.71 c #Conflicts: 487000 | #Constraints: 27071
899.34/902.71 c #Conflicts: 488000 | #Constraints: 28071
899.34/902.71 c INPROCESSING
899.34/902.71 c GARBAGE COLLECT
899.34/902.71 c #Conflicts: 489000 | #Constraints: 15279
899.34/902.71 c #Conflicts: 490000 | #Constraints: 16279
899.34/902.71 c #Conflicts: 491000 | #Constraints: 17279
899.34/902.71 c #Conflicts: 492000 | #Constraints: 18279
899.34/902.71 c #Conflicts: 493000 | #Constraints: 19279
899.34/902.71 c #Conflicts: 494000 | #Constraints: 20279
899.34/902.71 c #Conflicts: 495000 | #Constraints: 21279
899.34/902.71 c #Conflicts: 496000 | #Constraints: 22279
899.34/902.71 c #Conflicts: 497000 | #Constraints: 23279
899.34/902.71 c #Conflicts: 498000 | #Constraints: 24279
899.34/902.71 c #Conflicts: 499000 | #Constraints: 25279
899.34/902.71 c #Conflicts: 500000 | #Constraints: 26279
899.34/902.71 c #Conflicts: 501000 | #Constraints: 27279
899.34/902.71 c #Conflicts: 502000 | #Constraints: 28279
899.34/902.71 c INPROCESSING
899.34/902.71 c GARBAGE COLLECT
899.34/902.71 c #Conflicts: 503000 | #Constraints: 15284
899.34/902.71 c #Conflicts: 504000 | #Constraints: 16284
899.34/902.71 c #Conflicts: 505000 | #Constraints: 17284
899.34/902.71 c #Conflicts: 506000 | #Constraints: 18284
899.34/902.71 c #Conflicts: 507000 | #Constraints: 19284
899.34/902.71 c #Conflicts: 508000 | #Constraints: 20284
899.34/902.71 c #Conflicts: 509000 | #Constraints: 21284
899.34/902.71 c #Conflicts: 510000 | #Constraints: 22284
899.34/902.71 c #Conflicts: 511000 | #Constraints: 23284
899.34/902.71 c #Conflicts: 512000 | #Constraints: 24284
899.34/902.71 c #Conflicts: 513000 | #Constraints: 25284
1010.94/1014.73 c #Conflicts: 514000 | #Constraints: 26284
1010.94/1014.73 c #Conflicts: 515000 | #Constraints: 27284
1010.94/1014.73 c #Conflicts: 516000 | #Constraints: 28284
1010.94/1014.73 c INPROCESSING
1010.94/1014.73 c GARBAGE COLLECT
1010.94/1014.73 c #Conflicts: 517000 | #Constraints: 15069
1010.94/1014.73 c #Conflicts: 518000 | #Constraints: 16069
1010.94/1014.73 c #Conflicts: 519000 | #Constraints: 17069
1010.94/1014.73 c #Conflicts: 520000 | #Constraints: 18069
1010.94/1014.73 c #Conflicts: 521000 | #Constraints: 19069
1010.94/1014.73 c #Conflicts: 522000 | #Constraints: 20069
1010.94/1014.73 c #Conflicts: 523000 | #Constraints: 21069
1010.94/1014.73 c #Conflicts: 524000 | #Constraints: 22069
1010.94/1014.73 c #Conflicts: 525000 | #Constraints: 23069
1010.94/1014.73 c #Conflicts: 526000 | #Constraints: 24069
1010.94/1014.73 c #Conflicts: 527000 | #Constraints: 25069
1010.94/1014.73 c #Conflicts: 528000 | #Constraints: 26069
1010.94/1014.73 c #Conflicts: 529000 | #Constraints: 27069
1010.94/1014.73 c #Conflicts: 530000 | #Constraints: 28069
1010.94/1014.73 c #Conflicts: 531000 | #Constraints: 29069
1010.94/1014.73 c INPROCESSING
1010.94/1014.73 c GARBAGE COLLECT
1010.94/1014.73 c #Conflicts: 532000 | #Constraints: 15682
1010.94/1014.73 c #Conflicts: 533000 | #Constraints: 16682
1010.94/1014.73 c #Conflicts: 534000 | #Constraints: 17682
1010.94/1014.73 c #Conflicts: 535000 | #Constraints: 18682
1010.94/1014.73 c #Conflicts: 536000 | #Constraints: 19682
1010.94/1014.73 c #Conflicts: 537000 | #Constraints: 20682
1010.94/1014.73 c #Conflicts: 538000 | #Constraints: 21682
1010.94/1014.73 c #Conflicts: 539000 | #Constraints: 22682
1010.94/1014.73 c #Conflicts: 540000 | #Constraints: 23682
1010.94/1014.73 c #Conflicts: 541000 | #Constraints: 24682
1010.94/1014.73 c #Conflicts: 542000 | #Constraints: 25682
1010.94/1014.73 c #Conflicts: 543000 | #Constraints: 26682
1010.94/1014.73 c #Conflicts: 544000 | #Constraints: 27682
1010.94/1014.73 c #Conflicts: 545000 | #Constraints: 28682
1010.94/1014.73 c #Conflicts: 546000 | #Constraints: 29682
1010.94/1014.73 c INPROCESSING
1010.94/1014.73 c GARBAGE COLLECT
1010.94/1014.73 c #Conflicts: 547000 | #Constraints: 16071
1010.94/1014.73 c #Conflicts: 548000 | #Constraints: 17071
1010.94/1014.73 c #Conflicts: 549000 | #Constraints: 18071
1010.94/1014.73 c #Conflicts: 550000 | #Constraints: 19071
1010.94/1014.73 c #Conflicts: 551000 | #Constraints: 20071
1010.94/1014.73 c #Conflicts: 552000 | #Constraints: 21071
1010.94/1014.73 c #Conflicts: 553000 | #Constraints: 22071
1010.94/1014.73 c #Conflicts: 554000 | #Constraints: 23071
1010.94/1014.73 c #Conflicts: 555000 | #Constraints: 24071
1010.94/1014.73 c #Conflicts: 556000 | #Constraints: 25071
1010.94/1014.73 c #Conflicts: 557000 | #Constraints: 26071
1010.94/1014.73 c #Conflicts: 558000 | #Constraints: 27071
1010.94/1014.73 c #Conflicts: 559000 | #Constraints: 28071
1010.94/1014.73 c #Conflicts: 560000 | #Constraints: 29071
1010.94/1014.73 c #Conflicts: 561000 | #Constraints: 30071
1010.94/1014.73 c INPROCESSING
1010.94/1014.73 c GARBAGE COLLECT
1010.94/1014.73 c #Conflicts: 562000 | #Constraints: 16267
1010.94/1014.73 c #Conflicts: 563000 | #Constraints: 17267
1010.94/1014.73 c #Conflicts: 564000 | #Constraints: 18267
1010.94/1014.73 c #Conflicts: 565000 | #Constraints: 19267
1010.94/1014.73 c #Conflicts: 566000 | #Constraints: 20267
1010.94/1014.73 c #Conflicts: 567000 | #Constraints: 21267
1010.94/1014.73 c #Conflicts: 568000 | #Constraints: 22267
1010.94/1014.73 c #Conflicts: 569000 | #Constraints: 23267
1010.94/1014.73 c #Conflicts: 570000 | #Constraints: 24267
1010.94/1014.73 c #Conflicts: 571000 | #Constraints: 25267
1010.94/1014.73 c #Conflicts: 572000 | #Constraints: 26267
1010.94/1014.73 c #Conflicts: 573000 | #Constraints: 27267
1010.94/1014.73 c #Conflicts: 574000 | #Constraints: 28267
1010.94/1014.73 c #Conflicts: 575000 | #Constraints: 29267
1010.94/1014.73 c #Conflicts: 576000 | #Constraints: 30267
1010.94/1014.73 c INPROCESSING
1010.94/1014.73 c GARBAGE COLLECT
1010.94/1014.73 c #Conflicts: 577000 | #Constraints: 16262
1010.94/1014.73 c #Conflicts: 578000 | #Constraints: 17262
1010.94/1014.73 c #Conflicts: 579000 | #Constraints: 18262
1010.94/1014.73 c #Conflicts: 580000 | #Constraints: 19262
1010.94/1014.73 c #Conflicts: 581000 | #Constraints: 20262
1010.94/1014.73 c #Conflicts: 582000 | #Constraints: 21262
1010.94/1014.73 c #Conflicts: 583000 | #Constraints: 22262
1010.94/1014.73 c #Conflicts: 584000 | #Constraints: 23262
1010.94/1014.73 c #Conflicts: 585000 | #Constraints: 24262
1010.94/1014.73 c #Conflicts: 586000 | #Constraints: 25262
1010.94/1014.73 c #Conflicts: 587000 | #Constraints: 26262
1010.94/1014.73 c #Conflicts: 588000 | #Constraints: 27262
1129.93/1134.19 c #Conflicts: 589000 | #Constraints: 28262
1129.93/1134.19 c #Conflicts: 590000 | #Constraints: 29262
1129.93/1134.19 c #Conflicts: 591000 | #Constraints: 30262
1129.93/1134.19 c INPROCESSING
1129.93/1134.19 c GARBAGE COLLECT
1129.93/1134.19 c #Conflicts: 592000 | #Constraints: 16061
1129.93/1134.19 c #Conflicts: 593000 | #Constraints: 17061
1129.93/1134.19 c #Conflicts: 594000 | #Constraints: 18061
1129.93/1134.19 c #Conflicts: 595000 | #Constraints: 19061
1129.93/1134.19 c #Conflicts: 596000 | #Constraints: 20061
1129.93/1134.19 c #Conflicts: 597000 | #Constraints: 21061
1129.93/1134.19 c #Conflicts: 598000 | #Constraints: 22061
1129.93/1134.19 c #Conflicts: 599000 | #Constraints: 23061
1129.93/1134.19 c #Conflicts: 600000 | #Constraints: 24061
1129.93/1134.19 c #Conflicts: 601000 | #Constraints: 25061
1129.93/1134.19 c #Conflicts: 602000 | #Constraints: 26061
1129.93/1134.19 c #Conflicts: 603000 | #Constraints: 27061
1129.93/1134.19 c #Conflicts: 604000 | #Constraints: 28061
1129.93/1134.19 c #Conflicts: 605000 | #Constraints: 29061
1129.93/1134.19 c #Conflicts: 606000 | #Constraints: 30061
1129.93/1134.19 c #Conflicts: 607000 | #Constraints: 31061
1129.93/1134.19 c INPROCESSING
1129.93/1134.19 c GARBAGE COLLECT
1129.93/1134.19 c #Conflicts: 608000 | #Constraints: 16665
1129.93/1134.19 c #Conflicts: 609000 | #Constraints: 17665
1129.93/1134.19 c #Conflicts: 610000 | #Constraints: 18665
1129.93/1134.19 c #Conflicts: 611000 | #Constraints: 19665
1129.93/1134.19 c #Conflicts: 612000 | #Constraints: 20665
1129.93/1134.19 c #Conflicts: 613000 | #Constraints: 21665
1129.93/1134.19 c #Conflicts: 614000 | #Constraints: 22665
1129.93/1134.19 c #Conflicts: 615000 | #Constraints: 23665
1129.93/1134.19 c #Conflicts: 616000 | #Constraints: 24665
1129.93/1134.19 c #Conflicts: 617000 | #Constraints: 25665
1129.93/1134.19 c #Conflicts: 618000 | #Constraints: 26665
1129.93/1134.19 c #Conflicts: 619000 | #Constraints: 27665
1129.93/1134.19 c #Conflicts: 620000 | #Constraints: 28665
1129.93/1134.19 c #Conflicts: 621000 | #Constraints: 29665
1129.93/1134.19 c #Conflicts: 622000 | #Constraints: 30665
1129.93/1134.19 c #Conflicts: 623000 | #Constraints: 31665
1129.93/1134.19 c INPROCESSING
1129.93/1134.19 c GARBAGE COLLECT
1129.93/1134.19 c #Conflicts: 624000 | #Constraints: 17057
1129.93/1134.19 c #Conflicts: 625000 | #Constraints: 18057
1129.93/1134.19 c #Conflicts: 626000 | #Constraints: 19057
1129.93/1134.19 c #Conflicts: 627000 | #Constraints: 20057
1129.93/1134.19 c #Conflicts: 628000 | #Constraints: 21057
1129.93/1134.19 c #Conflicts: 629000 | #Constraints: 22057
1129.93/1134.19 c #Conflicts: 630000 | #Constraints: 23057
1129.93/1134.19 c #Conflicts: 631000 | #Constraints: 24057
1129.93/1134.19 c #Conflicts: 632000 | #Constraints: 25057
1129.93/1134.19 c #Conflicts: 633000 | #Constraints: 26057
1129.93/1134.19 c #Conflicts: 634000 | #Constraints: 27057
1129.93/1134.19 c #Conflicts: 635000 | #Constraints: 28057
1129.93/1134.19 c #Conflicts: 636000 | #Constraints: 29057
1129.93/1134.19 c #Conflicts: 637000 | #Constraints: 30057
1129.93/1134.19 c #Conflicts: 638000 | #Constraints: 31057
1129.93/1134.19 c #Conflicts: 639000 | #Constraints: 32057
1129.93/1134.19 c INPROCESSING
1129.93/1134.19 c GARBAGE COLLECT
1129.93/1134.19 c #Conflicts: 640000 | #Constraints: 17250
1129.93/1134.19 c #Conflicts: 641000 | #Constraints: 18250
1129.93/1134.19 c #Conflicts: 642000 | #Constraints: 19250
1129.93/1134.19 c #Conflicts: 643000 | #Constraints: 20250
1129.93/1134.19 c #Conflicts: 644000 | #Constraints: 21250
1129.93/1134.19 c #Conflicts: 645000 | #Constraints: 22250
1129.93/1134.19 c #Conflicts: 646000 | #Constraints: 23250
1129.93/1134.19 c #Conflicts: 647000 | #Constraints: 24250
1129.93/1134.19 c #Conflicts: 648000 | #Constraints: 25250
1129.93/1134.19 c #Conflicts: 649000 | #Constraints: 26250
1129.93/1134.19 c #Conflicts: 650000 | #Constraints: 27250
1129.93/1134.19 c #Conflicts: 651000 | #Constraints: 28250
1129.93/1134.19 c #Conflicts: 652000 | #Constraints: 29250
1129.93/1134.19 c #Conflicts: 653000 | #Constraints: 30250
1129.93/1134.19 c #Conflicts: 654000 | #Constraints: 31250
1129.93/1134.19 c #Conflicts: 655000 | #Constraints: 32250
1129.93/1134.19 c INPROCESSING
1129.93/1134.19 c GARBAGE COLLECT
1129.93/1134.19 c #Conflicts: 656000 | #Constraints: 17271
1129.93/1134.19 c #Conflicts: 657000 | #Constraints: 18271
1129.93/1134.19 c #Conflicts: 658000 | #Constraints: 19271
1129.93/1134.19 c #Conflicts: 659000 | #Constraints: 20271
1129.93/1134.19 c #Conflicts: 660000 | #Constraints: 21271
1129.93/1134.19 c #Conflicts: 661000 | #Constraints: 22271
1129.93/1134.19 c #Conflicts: 662000 | #Constraints: 23271
1129.93/1134.19 c #Conflicts: 663000 | #Constraints: 24271
1129.93/1134.19 c #Conflicts: 664000 | #Constraints: 25271
1329.54/1334.40 c #Conflicts: 665000 | #Constraints: 26271
1329.54/1334.40 c #Conflicts: 666000 | #Constraints: 27271
1329.54/1334.40 c #Conflicts: 667000 | #Constraints: 28271
1329.54/1334.40 c #Conflicts: 668000 | #Constraints: 29271
1329.54/1334.40 c #Conflicts: 669000 | #Constraints: 30271
1329.54/1334.40 c #Conflicts: 670000 | #Constraints: 31271
1329.54/1334.40 c #Conflicts: 671000 | #Constraints: 32271
1329.54/1334.40 c INPROCESSING
1329.54/1334.40 c GARBAGE COLLECT
1329.54/1334.40 c #Conflicts: 672000 | #Constraints: 17062
1329.54/1334.40 c #Conflicts: 673000 | #Constraints: 18062
1329.54/1334.40 c #Conflicts: 674000 | #Constraints: 19062
1329.54/1334.40 c #Conflicts: 675000 | #Constraints: 20062
1329.54/1334.40 c #Conflicts: 676000 | #Constraints: 21062
1329.54/1334.40 c #Conflicts: 677000 | #Constraints: 22062
1329.54/1334.40 c #Conflicts: 678000 | #Constraints: 23062
1329.54/1334.40 c #Conflicts: 679000 | #Constraints: 24062
1329.54/1334.40 c #Conflicts: 680000 | #Constraints: 25062
1329.54/1334.40 c #Conflicts: 681000 | #Constraints: 26062
1329.54/1334.40 c #Conflicts: 682000 | #Constraints: 27062
1329.54/1334.40 c #Conflicts: 683000 | #Constraints: 28062
1329.54/1334.40 c #Conflicts: 684000 | #Constraints: 29062
1329.54/1334.40 c #Conflicts: 685000 | #Constraints: 30062
1329.54/1334.40 c #Conflicts: 686000 | #Constraints: 31062
1329.54/1334.40 c #Conflicts: 687000 | #Constraints: 32062
1329.54/1334.40 c #Conflicts: 688000 | #Constraints: 33062
1329.54/1334.40 c INPROCESSING
1329.54/1334.40 c GARBAGE COLLECT
1329.54/1334.40 c #Conflicts: 689000 | #Constraints: 17658
1329.54/1334.40 c #Conflicts: 690000 | #Constraints: 18658
1329.54/1334.40 c #Conflicts: 691000 | #Constraints: 19658
1329.54/1334.40 c #Conflicts: 692000 | #Constraints: 20658
1329.54/1334.40 c #Conflicts: 693000 | #Constraints: 21658
1329.54/1334.40 c #Conflicts: 694000 | #Constraints: 22658
1329.54/1334.40 c #Conflicts: 695000 | #Constraints: 23658
1329.54/1334.40 c #Conflicts: 696000 | #Constraints: 24658
1329.54/1334.40 c #Conflicts: 697000 | #Constraints: 25658
1329.54/1334.40 c #Conflicts: 698000 | #Constraints: 26658
1329.54/1334.40 c #Conflicts: 699000 | #Constraints: 27658
1329.54/1334.40 c #Conflicts: 700000 | #Constraints: 28658
1329.54/1334.40 c #Conflicts: 701000 | #Constraints: 29658
1329.54/1334.40 c #Conflicts: 702000 | #Constraints: 30658
1329.54/1334.40 c #Conflicts: 703000 | #Constraints: 31658
1329.54/1334.40 c #Conflicts: 704000 | #Constraints: 32658
1329.54/1334.40 c #Conflicts: 705000 | #Constraints: 33658
1329.54/1334.40 c INPROCESSING
1329.54/1334.40 c GARBAGE COLLECT
1329.54/1334.40 c #Conflicts: 706000 | #Constraints: 18064
1329.54/1334.40 c #Conflicts: 707000 | #Constraints: 19064
1329.54/1334.40 c #Conflicts: 708000 | #Constraints: 20064
1329.54/1334.40 c #Conflicts: 709000 | #Constraints: 21064
1329.54/1334.40 c #Conflicts: 710000 | #Constraints: 22064
1329.54/1334.40 c #Conflicts: 711000 | #Constraints: 23064
1329.54/1334.40 c #Conflicts: 712000 | #Constraints: 24064
1329.54/1334.40 c #Conflicts: 713000 | #Constraints: 25064
1329.54/1334.40 c #Conflicts: 714000 | #Constraints: 26064
1329.54/1334.40 c #Conflicts: 715000 | #Constraints: 27064
1329.54/1334.40 c #Conflicts: 716000 | #Constraints: 28064
1329.54/1334.40 c #Conflicts: 717000 | #Constraints: 29064
1329.54/1334.40 c #Conflicts: 718000 | #Constraints: 30064
1329.54/1334.40 c #Conflicts: 719000 | #Constraints: 31064
1329.54/1334.40 c #Conflicts: 720000 | #Constraints: 32064
1329.54/1334.40 c #Conflicts: 721000 | #Constraints: 33064
1329.54/1334.40 c #Conflicts: 722000 | #Constraints: 34064
1329.54/1334.40 c INPROCESSING
1329.54/1334.40 c GARBAGE COLLECT
1329.54/1334.40 c #Conflicts: 723000 | #Constraints: 18282
1329.54/1334.40 c #Conflicts: 724000 | #Constraints: 19282
1329.54/1334.40 c #Conflicts: 725000 | #Constraints: 20282
1329.54/1334.40 c #Conflicts: 726000 | #Constraints: 21282
1329.54/1334.40 c #Conflicts: 727000 | #Constraints: 22282
1329.54/1334.40 c #Conflicts: 728000 | #Constraints: 23282
1329.54/1334.40 c #Conflicts: 729000 | #Constraints: 24282
1329.54/1334.40 c #Conflicts: 730000 | #Constraints: 25282
1329.54/1334.40 c #Conflicts: 731000 | #Constraints: 26282
1329.54/1334.40 c #Conflicts: 732000 | #Constraints: 27282
1329.54/1334.40 c #Conflicts: 733000 | #Constraints: 28282
1329.54/1334.40 c #Conflicts: 734000 | #Constraints: 29282
1329.54/1334.40 c #Conflicts: 735000 | #Constraints: 30282
1329.54/1334.40 c #Conflicts: 736000 | #Constraints: 31282
1329.54/1334.40 c #Conflicts: 737000 | #Constraints: 32282
1329.54/1334.40 c #Conflicts: 738000 | #Constraints: 33282
1329.54/1334.40 c #Conflicts: 739000 | #Constraints: 34282
1329.54/1334.40 c INPROCESSING
1329.54/1334.40 c GARBAGE COLLECT
1462.16/1467.54 c #Conflicts: 740000 | #Constraints: 18297
1462.16/1467.54 c #Conflicts: 741000 | #Constraints: 19297
1462.16/1467.54 c #Conflicts: 742000 | #Constraints: 20297
1462.16/1467.54 c #Conflicts: 743000 | #Constraints: 21297
1462.16/1467.54 c #Conflicts: 744000 | #Constraints: 22297
1462.16/1467.54 c #Conflicts: 745000 | #Constraints: 23297
1462.16/1467.54 c #Conflicts: 746000 | #Constraints: 24297
1462.16/1467.54 c #Conflicts: 747000 | #Constraints: 25297
1462.16/1467.54 c #Conflicts: 748000 | #Constraints: 26297
1462.16/1467.54 c #Conflicts: 749000 | #Constraints: 27297
1462.16/1467.54 c #Conflicts: 750000 | #Constraints: 28297
1462.16/1467.54 c #Conflicts: 751000 | #Constraints: 29297
1462.16/1467.54 c #Conflicts: 752000 | #Constraints: 30297
1462.16/1467.54 c #Conflicts: 753000 | #Constraints: 31297
1462.16/1467.54 c #Conflicts: 754000 | #Constraints: 32297
1462.16/1467.54 c #Conflicts: 755000 | #Constraints: 33297
1462.16/1467.54 c #Conflicts: 756000 | #Constraints: 34297
1462.16/1467.54 c INPROCESSING
1462.16/1467.54 c GARBAGE COLLECT
1462.16/1467.54 c #Conflicts: 757000 | #Constraints: 18086
1462.16/1467.54 c #Conflicts: 758000 | #Constraints: 19086
1462.16/1467.54 c #Conflicts: 759000 | #Constraints: 20086
1462.16/1467.54 c #Conflicts: 760000 | #Constraints: 21086
1462.16/1467.54 c #Conflicts: 761000 | #Constraints: 22086
1462.16/1467.54 c #Conflicts: 762000 | #Constraints: 23086
1462.16/1467.54 c #Conflicts: 763000 | #Constraints: 24086
1462.16/1467.54 c #Conflicts: 764000 | #Constraints: 25086
1462.16/1467.54 c #Conflicts: 765000 | #Constraints: 26086
1462.16/1467.54 c #Conflicts: 766000 | #Constraints: 27086
1462.16/1467.54 c #Conflicts: 767000 | #Constraints: 28086
1462.16/1467.54 c #Conflicts: 768000 | #Constraints: 29086
1462.16/1467.54 c #Conflicts: 769000 | #Constraints: 30086
1462.16/1467.54 c #Conflicts: 770000 | #Constraints: 31086
1462.16/1467.54 c #Conflicts: 771000 | #Constraints: 32086
1462.16/1467.54 c #Conflicts: 772000 | #Constraints: 33086
1462.16/1467.54 c #Conflicts: 773000 | #Constraints: 34086
1462.16/1467.54 c #Conflicts: 774000 | #Constraints: 35086
1462.16/1467.54 c INPROCESSING
1462.16/1467.54 c GARBAGE COLLECT
1462.16/1467.54 c #Conflicts: 775000 | #Constraints: 18668
1462.16/1467.54 c #Conflicts: 776000 | #Constraints: 19668
1462.16/1467.54 c #Conflicts: 777000 | #Constraints: 20668
1462.16/1467.54 c #Conflicts: 778000 | #Constraints: 21668
1462.16/1467.54 c #Conflicts: 779000 | #Constraints: 22668
1462.16/1467.54 c #Conflicts: 780000 | #Constraints: 23668
1462.16/1467.54 c #Conflicts: 781000 | #Constraints: 24668
1462.16/1467.54 c #Conflicts: 782000 | #Constraints: 25668
1462.16/1467.54 c #Conflicts: 783000 | #Constraints: 26668
1462.16/1467.54 c #Conflicts: 784000 | #Constraints: 27668
1462.16/1467.54 c #Conflicts: 785000 | #Constraints: 28668
1462.16/1467.54 c #Conflicts: 786000 | #Constraints: 29668
1462.16/1467.54 c #Conflicts: 787000 | #Constraints: 30668
1462.16/1467.54 c #Conflicts: 788000 | #Constraints: 31668
1462.16/1467.54 c #Conflicts: 789000 | #Constraints: 32668
1462.16/1467.54 c #Conflicts: 790000 | #Constraints: 33668
1462.16/1467.54 c #Conflicts: 791000 | #Constraints: 34668
1462.16/1467.54 c #Conflicts: 792000 | #Constraints: 35668
1462.16/1467.54 c INPROCESSING
1462.16/1467.54 c GARBAGE COLLECT
1462.16/1467.54 c #Conflicts: 793000 | #Constraints: 19065
1462.16/1467.54 c #Conflicts: 794000 | #Constraints: 20065
1462.16/1467.54 c #Conflicts: 795000 | #Constraints: 21065
1462.16/1467.54 c #Conflicts: 796000 | #Constraints: 22065
1462.16/1467.54 c #Conflicts: 797000 | #Constraints: 23065
1462.16/1467.54 c #Conflicts: 798000 | #Constraints: 24065
1462.16/1467.54 c #Conflicts: 799000 | #Constraints: 25065
1462.16/1467.54 c #Conflicts: 800000 | #Constraints: 26065
1462.16/1467.54 c #Conflicts: 801000 | #Constraints: 27065
1462.16/1467.54 c #Conflicts: 802000 | #Constraints: 28065
1462.16/1467.54 c #Conflicts: 803000 | #Constraints: 29065
1462.16/1467.54 c #Conflicts: 804000 | #Constraints: 30065
1462.16/1467.54 c #Conflicts: 805000 | #Constraints: 31065
1462.16/1467.54 c #Conflicts: 806000 | #Constraints: 32065
1462.16/1467.54 c #Conflicts: 807000 | #Constraints: 33065
1462.16/1467.54 c #Conflicts: 808000 | #Constraints: 34065
1462.16/1467.54 c #Conflicts: 809000 | #Constraints: 35065
1462.16/1467.54 c #Conflicts: 810000 | #Constraints: 36065
1462.16/1467.54 c INPROCESSING
1462.16/1467.54 c GARBAGE COLLECT
1462.16/1467.54 c #Conflicts: 811000 | #Constraints: 19264
1462.16/1467.54 c #Conflicts: 812000 | #Constraints: 20264
1462.16/1467.54 c #Conflicts: 813000 | #Constraints: 21264
1462.16/1467.54 c #Conflicts: 814000 | #Constraints: 22264
1462.16/1467.54 c #Conflicts: 815000 | #Constraints: 23264
1462.16/1467.54 c #Conflicts: 816000 | #Constraints: 24264
1620.41/1626.36 c #Conflicts: 817000 | #Constraints: 25264
1620.41/1626.36 c #Conflicts: 818000 | #Constraints: 26264
1620.41/1626.36 c #Conflicts: 819000 | #Constraints: 27264
1620.41/1626.36 c #Conflicts: 820000 | #Constraints: 28264
1620.41/1626.36 c #Conflicts: 821000 | #Constraints: 29264
1620.41/1626.36 c #Conflicts: 822000 | #Constraints: 30264
1620.41/1626.36 c #Conflicts: 823000 | #Constraints: 31264
1620.41/1626.36 c #Conflicts: 824000 | #Constraints: 32264
1620.41/1626.36 c #Conflicts: 825000 | #Constraints: 33264
1620.41/1626.36 c #Conflicts: 826000 | #Constraints: 34264
1620.41/1626.36 c #Conflicts: 827000 | #Constraints: 35264
1620.41/1626.36 c #Conflicts: 828000 | #Constraints: 36264
1620.41/1626.36 c INPROCESSING
1620.41/1626.36 c GARBAGE COLLECT
1620.41/1626.36 c #Conflicts: 829000 | #Constraints: 19272
1620.41/1626.36 c #Conflicts: 830000 | #Constraints: 20272
1620.41/1626.36 c #Conflicts: 831000 | #Constraints: 21272
1620.41/1626.36 c #Conflicts: 832000 | #Constraints: 22272
1620.41/1626.36 c #Conflicts: 833000 | #Constraints: 23272
1620.41/1626.36 c #Conflicts: 834000 | #Constraints: 24272
1620.41/1626.36 c #Conflicts: 835000 | #Constraints: 25272
1620.41/1626.36 c #Conflicts: 836000 | #Constraints: 26272
1620.41/1626.36 c #Conflicts: 837000 | #Constraints: 27272
1620.41/1626.36 c #Conflicts: 838000 | #Constraints: 28272
1620.41/1626.36 c #Conflicts: 839000 | #Constraints: 29272
1620.41/1626.36 c #Conflicts: 840000 | #Constraints: 30272
1620.41/1626.36 c #Conflicts: 841000 | #Constraints: 31272
1620.41/1626.36 c #Conflicts: 842000 | #Constraints: 32272
1620.41/1626.36 c #Conflicts: 843000 | #Constraints: 33272
1620.41/1626.36 c #Conflicts: 844000 | #Constraints: 34272
1620.41/1626.36 c #Conflicts: 845000 | #Constraints: 35272
1620.41/1626.36 c #Conflicts: 846000 | #Constraints: 36272
1620.41/1626.36 c INPROCESSING
1620.41/1626.36 c GARBAGE COLLECT
1620.41/1626.36 c #Conflicts: 847000 | #Constraints: 19067
1620.41/1626.36 c #Conflicts: 848000 | #Constraints: 20067
1620.41/1626.36 c #Conflicts: 849000 | #Constraints: 21067
1620.41/1626.36 c #Conflicts: 850000 | #Constraints: 22067
1620.41/1626.36 c #Conflicts: 851000 | #Constraints: 23067
1620.41/1626.36 c #Conflicts: 852000 | #Constraints: 24067
1620.41/1626.36 c #Conflicts: 853000 | #Constraints: 25067
1620.41/1626.36 c #Conflicts: 854000 | #Constraints: 26067
1620.41/1626.36 c #Conflicts: 855000 | #Constraints: 27067
1620.41/1626.36 c #Conflicts: 856000 | #Constraints: 28067
1620.41/1626.36 c #Conflicts: 857000 | #Constraints: 29067
1620.41/1626.36 c #Conflicts: 858000 | #Constraints: 30067
1620.41/1626.36 c #Conflicts: 859000 | #Constraints: 31067
1620.41/1626.36 c #Conflicts: 860000 | #Constraints: 32067
1620.41/1626.36 c #Conflicts: 861000 | #Constraints: 33067
1620.41/1626.36 c #Conflicts: 862000 | #Constraints: 34067
1620.41/1626.36 c #Conflicts: 863000 | #Constraints: 35067
1620.41/1626.36 c #Conflicts: 864000 | #Constraints: 36067
1620.41/1626.36 c #Conflicts: 865000 | #Constraints: 37067
1620.41/1626.36 c INPROCESSING
1620.41/1626.36 c GARBAGE COLLECT
1620.41/1626.36 c #Conflicts: 866000 | #Constraints: 19665
1620.41/1626.36 c #Conflicts: 867000 | #Constraints: 20665
1620.41/1626.36 c #Conflicts: 868000 | #Constraints: 21665
1620.41/1626.36 c #Conflicts: 869000 | #Constraints: 22665
1620.41/1626.36 c #Conflicts: 870000 | #Constraints: 23665
1620.41/1626.36 c #Conflicts: 871000 | #Constraints: 24665
1620.41/1626.36 c #Conflicts: 872000 | #Constraints: 25665
1620.41/1626.36 c #Conflicts: 873000 | #Constraints: 26665
1620.41/1626.36 c #Conflicts: 874000 | #Constraints: 27665
1620.41/1626.36 c #Conflicts: 875000 | #Constraints: 28665
1620.41/1626.36 c #Conflicts: 876000 | #Constraints: 29665
1620.41/1626.36 c #Conflicts: 877000 | #Constraints: 30665
1620.41/1626.36 c #Conflicts: 878000 | #Constraints: 31665
1620.41/1626.36 c #Conflicts: 879000 | #Constraints: 32665
1620.41/1626.36 c #Conflicts: 880000 | #Constraints: 33665
1620.41/1626.36 c #Conflicts: 881000 | #Constraints: 34665
1620.41/1626.36 c #Conflicts: 882000 | #Constraints: 35665
1620.41/1626.36 c #Conflicts: 883000 | #Constraints: 36665
1620.41/1626.36 c #Conflicts: 884000 | #Constraints: 37665
1620.41/1626.36 c INPROCESSING
1620.41/1626.36 c GARBAGE COLLECT
1620.41/1626.36 c #Conflicts: 885000 | #Constraints: 20069
1620.41/1626.36 c #Conflicts: 886000 | #Constraints: 21069
1620.41/1626.36 c #Conflicts: 887000 | #Constraints: 22069
1620.41/1626.36 c #Conflicts: 888000 | #Constraints: 23069
1620.41/1626.36 c #Conflicts: 889000 | #Constraints: 24069
1620.41/1626.36 c #Conflicts: 890000 | #Constraints: 25069
1620.41/1626.36 c #Conflicts: 891000 | #Constraints: 26069
1620.41/1626.36 c #Conflicts: 892000 | #Constraints: 27069
1783.56/1790.04 c #Conflicts: 893000 | #Constraints: 28069
1783.56/1790.04 c #Conflicts: 894000 | #Constraints: 29069
1783.56/1790.04 c #Conflicts: 895000 | #Constraints: 30069
1783.56/1790.04 c #Conflicts: 896000 | #Constraints: 31069
1783.56/1790.04 c #Conflicts: 897000 | #Constraints: 32069
1783.56/1790.04 c #Conflicts: 898000 | #Constraints: 33069
1783.56/1790.04 c #Conflicts: 899000 | #Constraints: 34069
1783.56/1790.04 c #Conflicts: 900000 | #Constraints: 35069
1783.56/1790.04 c #Conflicts: 901000 | #Constraints: 36069
1783.56/1790.04 c #Conflicts: 902000 | #Constraints: 37069
1783.56/1790.04 c #Conflicts: 903000 | #Constraints: 38069
1783.56/1790.04 c INPROCESSING
1783.56/1790.04 c GARBAGE COLLECT
1783.56/1790.04 c #Conflicts: 904000 | #Constraints: 20257
1783.56/1790.04 c #Conflicts: 905000 | #Constraints: 21257
1783.56/1790.04 c #Conflicts: 906000 | #Constraints: 22257
1783.56/1790.04 c #Conflicts: 907000 | #Constraints: 23257
1783.56/1790.04 c #Conflicts: 908000 | #Constraints: 24257
1783.56/1790.04 c #Conflicts: 909000 | #Constraints: 25257
1783.56/1790.04 c #Conflicts: 910000 | #Constraints: 26257
1783.56/1790.04 c #Conflicts: 911000 | #Constraints: 27257
1783.56/1790.04 c #Conflicts: 912000 | #Constraints: 28257
1783.56/1790.04 c #Conflicts: 913000 | #Constraints: 29257
1783.56/1790.04 c #Conflicts: 914000 | #Constraints: 30257
1783.56/1790.04 c #Conflicts: 915000 | #Constraints: 31257
1783.56/1790.04 c #Conflicts: 916000 | #Constraints: 32257
1783.56/1790.04 c #Conflicts: 917000 | #Constraints: 33257
1783.56/1790.04 c #Conflicts: 918000 | #Constraints: 34257
1783.56/1790.04 c #Conflicts: 919000 | #Constraints: 35257
1783.56/1790.04 c #Conflicts: 920000 | #Constraints: 36257
1783.56/1790.04 c #Conflicts: 921000 | #Constraints: 37257
1783.56/1790.04 c #Conflicts: 922000 | #Constraints: 38257
1783.56/1790.04 c INPROCESSING
1783.56/1790.04 c GARBAGE COLLECT
1783.56/1790.04 c #Conflicts: 923000 | #Constraints: 20257
1783.56/1790.04 c #Conflicts: 924000 | #Constraints: 21257
1783.56/1790.04 c #Conflicts: 925000 | #Constraints: 22257
1783.56/1790.04 c #Conflicts: 926000 | #Constraints: 23257
1783.56/1790.04 c #Conflicts: 927000 | #Constraints: 24257
1783.56/1790.04 c #Conflicts: 928000 | #Constraints: 25257
1783.56/1790.04 c #Conflicts: 929000 | #Constraints: 26257
1783.56/1790.04 c #Conflicts: 930000 | #Constraints: 27257
1783.56/1790.04 c #Conflicts: 931000 | #Constraints: 28257
1783.56/1790.04 c #Conflicts: 932000 | #Constraints: 29257
1783.56/1790.04 c #Conflicts: 933000 | #Constraints: 30257
1783.56/1790.04 c #Conflicts: 934000 | #Constraints: 31257
1783.56/1790.04 c #Conflicts: 935000 | #Constraints: 32257
1783.56/1790.04 c #Conflicts: 936000 | #Constraints: 33257
1783.56/1790.04 c #Conflicts: 937000 | #Constraints: 34257
1783.56/1790.04 c #Conflicts: 938000 | #Constraints: 35257
1783.56/1790.04 c #Conflicts: 939000 | #Constraints: 36257
1783.56/1790.04 c #Conflicts: 940000 | #Constraints: 37257
1783.56/1790.04 c #Conflicts: 941000 | #Constraints: 38257
1783.56/1790.04 c INPROCESSING
1783.56/1790.04 c GARBAGE COLLECT
1783.56/1790.04 c #Conflicts: 942000 | #Constraints: 20083
1783.56/1790.04 c #Conflicts: 943000 | #Constraints: 21083
1783.56/1790.04 c #Conflicts: 944000 | #Constraints: 22083
1783.56/1790.04 c #Conflicts: 945000 | #Constraints: 23083
1783.56/1790.04 c #Conflicts: 946000 | #Constraints: 24083
1783.56/1790.04 c #Conflicts: 947000 | #Constraints: 25083
1783.56/1790.04 c #Conflicts: 948000 | #Constraints: 26083
1783.56/1790.04 c #Conflicts: 949000 | #Constraints: 27083
1783.56/1790.04 c #Conflicts: 950000 | #Constraints: 28083
1783.56/1790.04 c #Conflicts: 951000 | #Constraints: 29083
1783.56/1790.04 c #Conflicts: 952000 | #Constraints: 30083
1783.56/1790.04 c #Conflicts: 953000 | #Constraints: 31083
1783.56/1790.04 c #Conflicts: 954000 | #Constraints: 32083
1783.56/1790.04 c #Conflicts: 955000 | #Constraints: 33083
1783.56/1790.04 c #Conflicts: 956000 | #Constraints: 34083
1783.56/1790.04 c #Conflicts: 957000 | #Constraints: 35083
1783.56/1790.04 c #Conflicts: 958000 | #Constraints: 36083
1783.56/1790.04 c #Conflicts: 959000 | #Constraints: 37083
1783.56/1790.04 c #Conflicts: 960000 | #Constraints: 38083
1783.56/1790.04 c #Conflicts: 961000 | #Constraints: 39083
1783.56/1790.04 c INPROCESSING
1783.56/1790.04 c GARBAGE COLLECT
1783.56/1790.04 c #Conflicts: 962000 | #Constraints: 20693
1783.56/1790.04 c #Conflicts: 963000 | #Constraints: 21693
1783.56/1790.04 c #Conflicts: 964000 | #Constraints: 22693
1783.56/1790.04 c #Conflicts: 965000 | #Constraints: 23693
1783.56/1790.04 c #Conflicts: 966000 | #Constraints: 24693
1783.56/1790.04 c #Conflicts: 967000 | #Constraints: 25693
1783.56/1790.04 c #Conflicts: 968000 | #Constraints: 26693
1979.05/1986.21 c #Conflicts: 969000 | #Constraints: 27693
1979.05/1986.21 c #Conflicts: 970000 | #Constraints: 28693
1979.05/1986.21 c #Conflicts: 971000 | #Constraints: 29693
1979.05/1986.21 c #Conflicts: 972000 | #Constraints: 30693
1979.05/1986.21 c #Conflicts: 973000 | #Constraints: 31693
1979.05/1986.21 c #Conflicts: 974000 | #Constraints: 32693
1979.05/1986.21 c #Conflicts: 975000 | #Constraints: 33693
1979.05/1986.21 c #Conflicts: 976000 | #Constraints: 34693
1979.05/1986.21 c #Conflicts: 977000 | #Constraints: 35693
1979.05/1986.21 c #Conflicts: 978000 | #Constraints: 36693
1979.05/1986.21 c #Conflicts: 979000 | #Constraints: 37693
1979.05/1986.21 c #Conflicts: 980000 | #Constraints: 38693
1979.05/1986.21 c #Conflicts: 981000 | #Constraints: 39693
1979.05/1986.21 c INPROCESSING
1979.05/1986.21 c GARBAGE COLLECT
1979.05/1986.21 c #Conflicts: 982000 | #Constraints: 21098
1979.05/1986.21 c #Conflicts: 983000 | #Constraints: 22098
1979.05/1986.21 c #Conflicts: 984000 | #Constraints: 23098
1979.05/1986.21 c #Conflicts: 985000 | #Constraints: 24098
1979.05/1986.21 c #Conflicts: 986000 | #Constraints: 25098
1979.05/1986.21 c #Conflicts: 987000 | #Constraints: 26098
1979.05/1986.21 c #Conflicts: 988000 | #Constraints: 27098
1979.05/1986.21 c #Conflicts: 989000 | #Constraints: 28098
1979.05/1986.21 c #Conflicts: 990000 | #Constraints: 29098
1979.05/1986.21 c #Conflicts: 991000 | #Constraints: 30098
1979.05/1986.21 c #Conflicts: 992000 | #Constraints: 31098
1979.05/1986.21 c #Conflicts: 993000 | #Constraints: 32098
1979.05/1986.21 c #Conflicts: 994000 | #Constraints: 33098
1979.05/1986.21 c #Conflicts: 995000 | #Constraints: 34098
1979.05/1986.21 c #Conflicts: 996000 | #Constraints: 35098
1979.05/1986.21 c #Conflicts: 997000 | #Constraints: 36098
1979.05/1986.21 c #Conflicts: 998000 | #Constraints: 37098
1979.05/1986.21 c #Conflicts: 999000 | #Constraints: 38098
1979.05/1986.21 c #Conflicts: 1000000 | #Constraints: 39098
1979.05/1986.21 c #Conflicts: 1001000 | #Constraints: 40098
1979.05/1986.21 c INPROCESSING
1979.05/1986.21 c GARBAGE COLLECT
1979.05/1986.21 c #Conflicts: 1002000 | #Constraints: 21307
1979.05/1986.21 c #Conflicts: 1003000 | #Constraints: 22307
1979.05/1986.21 c #Conflicts: 1004000 | #Constraints: 23307
1979.05/1986.21 c #Conflicts: 1005000 | #Constraints: 24307
1979.05/1986.21 c #Conflicts: 1006000 | #Constraints: 25307
1979.05/1986.21 c #Conflicts: 1007000 | #Constraints: 26307
1979.05/1986.21 c #Conflicts: 1008000 | #Constraints: 27307
1979.05/1986.21 c #Conflicts: 1009000 | #Constraints: 28307
1979.05/1986.21 c #Conflicts: 1010000 | #Constraints: 29307
1979.05/1986.21 c #Conflicts: 1011000 | #Constraints: 30307
1979.05/1986.21 c #Conflicts: 1012000 | #Constraints: 31307
1979.05/1986.21 c #Conflicts: 1013000 | #Constraints: 32307
1979.05/1986.21 c #Conflicts: 1014000 | #Constraints: 33307
1979.05/1986.21 c #Conflicts: 1015000 | #Constraints: 34307
1979.05/1986.21 c #Conflicts: 1016000 | #Constraints: 35307
1979.05/1986.21 c #Conflicts: 1017000 | #Constraints: 36307
1979.05/1986.21 c #Conflicts: 1018000 | #Constraints: 37307
1979.05/1986.21 c #Conflicts: 1019000 | #Constraints: 38307
1979.05/1986.21 c #Conflicts: 1020000 | #Constraints: 39307
1979.05/1986.21 c #Conflicts: 1021000 | #Constraints: 40307
1979.05/1986.21 c INPROCESSING
1979.05/1986.21 c GARBAGE COLLECT
1979.05/1986.21 c #Conflicts: 1022000 | #Constraints: 21323
1979.05/1986.21 c #Conflicts: 1023000 | #Constraints: 22323
1979.05/1986.21 c #Conflicts: 1024000 | #Constraints: 23323
1979.05/1986.21 c #Conflicts: 1025000 | #Constraints: 24323
1979.05/1986.21 c #Conflicts: 1026000 | #Constraints: 25323
1979.05/1986.21 c #Conflicts: 1027000 | #Constraints: 26323
1979.05/1986.21 c #Conflicts: 1028000 | #Constraints: 27323
1979.05/1986.21 c #Conflicts: 1029000 | #Constraints: 28323
1979.05/1986.21 c #Conflicts: 1030000 | #Constraints: 29323
1979.05/1986.21 c #Conflicts: 1031000 | #Constraints: 30323
1979.05/1986.21 c #Conflicts: 1032000 | #Constraints: 31323
1979.05/1986.21 c #Conflicts: 1033000 | #Constraints: 32323
1979.05/1986.21 c #Conflicts: 1034000 | #Constraints: 33323
1979.05/1986.21 c #Conflicts: 1035000 | #Constraints: 34323
1979.05/1986.21 c #Conflicts: 1036000 | #Constraints: 35323
1979.05/1986.21 c #Conflicts: 1037000 | #Constraints: 36323
1979.05/1986.21 c #Conflicts: 1038000 | #Constraints: 37323
1979.05/1986.21 c #Conflicts: 1039000 | #Constraints: 38323
1979.05/1986.21 c #Conflicts: 1040000 | #Constraints: 39323
1979.05/1986.21 c #Conflicts: 1041000 | #Constraints: 40323
1979.05/1986.21 c INPROCESSING
1979.05/1986.21 c GARBAGE COLLECT
1979.05/1986.21 c #Conflicts: 1042000 | #Constraints: 21099
1979.05/1986.21 c #Conflicts: 1043000 | #Constraints: 22099
1979.05/1986.21 c #Conflicts: 1044000 | #Constraints: 23099
2332.11/2340.57 c #Conflicts: 1045000 | #Constraints: 24099
2332.11/2340.57 c #Conflicts: 1046000 | #Constraints: 25099
2332.11/2340.57 c #Conflicts: 1047000 | #Constraints: 26099
2332.11/2340.57 c #Conflicts: 1048000 | #Constraints: 27099
2332.11/2340.57 c #Conflicts: 1049000 | #Constraints: 28099
2332.11/2340.57 c #Conflicts: 1050000 | #Constraints: 29099
2332.11/2340.57 c #Conflicts: 1051000 | #Constraints: 30099
2332.11/2340.57 c #Conflicts: 1052000 | #Constraints: 31099
2332.11/2340.57 c #Conflicts: 1053000 | #Constraints: 32099
2332.11/2340.57 c #Conflicts: 1054000 | #Constraints: 33099
2332.11/2340.57 c #Conflicts: 1055000 | #Constraints: 34099
2332.11/2340.57 c #Conflicts: 1056000 | #Constraints: 35099
2332.11/2340.57 c #Conflicts: 1057000 | #Constraints: 36099
2332.11/2340.57 c #Conflicts: 1058000 | #Constraints: 37099
2332.11/2340.57 c #Conflicts: 1059000 | #Constraints: 38099
2332.11/2340.57 c #Conflicts: 1060000 | #Constraints: 39099
2332.11/2340.57 c #Conflicts: 1061000 | #Constraints: 40099
2332.11/2340.57 c #Conflicts: 1062000 | #Constraints: 41099
2332.11/2340.57 c INPROCESSING
2332.11/2340.57 c GARBAGE COLLECT
2332.11/2340.57 c #Conflicts: 1063000 | #Constraints: 21693
2332.11/2340.57 c #Conflicts: 1064000 | #Constraints: 22693
2332.11/2340.57 c #Conflicts: 1065000 | #Constraints: 23693
2332.11/2340.57 c #Conflicts: 1066000 | #Constraints: 24693
2332.11/2340.57 c #Conflicts: 1067000 | #Constraints: 25693
2332.11/2340.57 c #Conflicts: 1068000 | #Constraints: 26693
2332.11/2340.57 c #Conflicts: 1069000 | #Constraints: 27693
2332.11/2340.57 c #Conflicts: 1070000 | #Constraints: 28693
2332.11/2340.57 c #Conflicts: 1071000 | #Constraints: 29693
2332.11/2340.57 c #Conflicts: 1072000 | #Constraints: 30693
2332.11/2340.57 c #Conflicts: 1073000 | #Constraints: 31693
2332.11/2340.57 c #Conflicts: 1074000 | #Constraints: 32693
2332.11/2340.57 c #Conflicts: 1075000 | #Constraints: 33693
2332.11/2340.57 c #Conflicts: 1076000 | #Constraints: 34693
2332.11/2340.57 c #Conflicts: 1077000 | #Constraints: 35693
2332.11/2340.57 c #Conflicts: 1078000 | #Constraints: 36693
2332.11/2340.57 c #Conflicts: 1079000 | #Constraints: 37693
2332.11/2340.57 c #Conflicts: 1080000 | #Constraints: 38693
2332.11/2340.57 c #Conflicts: 1081000 | #Constraints: 39693
2332.11/2340.57 c #Conflicts: 1082000 | #Constraints: 40693
2332.11/2340.57 c #Conflicts: 1083000 | #Constraints: 41693
2332.11/2340.57 c INPROCESSING
2332.11/2340.57 c GARBAGE COLLECT
2332.11/2340.57 c #Conflicts: 1084000 | #Constraints: 22092
2332.11/2340.57 c #Conflicts: 1085000 | #Constraints: 23092
2332.11/2340.57 c #Conflicts: 1086000 | #Constraints: 24092
2332.11/2340.57 c #Conflicts: 1087000 | #Constraints: 25092
2332.11/2340.57 c #Conflicts: 1088000 | #Constraints: 26092
2332.11/2340.57 c #Conflicts: 1089000 | #Constraints: 27092
2332.11/2340.57 c #Conflicts: 1090000 | #Constraints: 28092
2332.11/2340.57 c #Conflicts: 1091000 | #Constraints: 29092
2332.11/2340.57 c #Conflicts: 1092000 | #Constraints: 30092
2332.11/2340.57 c #Conflicts: 1093000 | #Constraints: 31092
2332.11/2340.57 c #Conflicts: 1094000 | #Constraints: 32092
2332.11/2340.57 c #Conflicts: 1095000 | #Constraints: 33092
2332.11/2340.57 c #Conflicts: 1096000 | #Constraints: 34092
2332.11/2340.57 c #Conflicts: 1097000 | #Constraints: 35092
2332.11/2340.57 c #Conflicts: 1098000 | #Constraints: 36092
2332.11/2340.57 c #Conflicts: 1099000 | #Constraints: 37092
2332.11/2340.57 c #Conflicts: 1100000 | #Constraints: 38092
2332.11/2340.57 c #Conflicts: 1101000 | #Constraints: 39092
2332.11/2340.57 c #Conflicts: 1102000 | #Constraints: 40092
2332.11/2340.57 c #Conflicts: 1103000 | #Constraints: 41092
2332.11/2340.57 c #Conflicts: 1104000 | #Constraints: 42092
2332.11/2340.57 c INPROCESSING
2332.11/2340.57 c GARBAGE COLLECT
2332.11/2340.57 c #Conflicts: 1105000 | #Constraints: 22285
2332.11/2340.57 c #Conflicts: 1106000 | #Constraints: 23285
2332.11/2340.57 c #Conflicts: 1107000 | #Constraints: 24285
2332.11/2340.57 c #Conflicts: 1108000 | #Constraints: 25285
2332.11/2340.57 c #Conflicts: 1109000 | #Constraints: 26285
2332.11/2340.57 c #Conflicts: 1110000 | #Constraints: 27285
2332.11/2340.57 c #Conflicts: 1111000 | #Constraints: 28285
2332.11/2340.57 c #Conflicts: 1112000 | #Constraints: 29285
2332.11/2340.57 c #Conflicts: 1113000 | #Constraints: 30285
2332.11/2340.57 c #Conflicts: 1114000 | #Constraints: 31285
2332.11/2340.57 c #Conflicts: 1115000 | #Constraints: 32285
2332.11/2340.57 c #Conflicts: 1116000 | #Constraints: 33285
2332.11/2340.57 c #Conflicts: 1117000 | #Constraints: 34285
2332.11/2340.57 c #Conflicts: 1118000 | #Constraints: 35285
2332.11/2340.57 c #Conflicts: 1119000 | #Constraints: 36285
2332.11/2340.57 c #Conflicts: 1120000 | #Constraints: 37285
2332.11/2340.57 c #Conflicts: 1121000 | #Constraints: 38285
2493.54/2502.52 c #Conflicts: 1122000 | #Constraints: 39285
2493.54/2502.52 c #Conflicts: 1123000 | #Constraints: 40285
2493.54/2502.52 c #Conflicts: 1124000 | #Constraints: 41285
2493.54/2502.52 c #Conflicts: 1125000 | #Constraints: 42285
2493.54/2502.52 c INPROCESSING
2493.54/2502.52 c GARBAGE COLLECT
2493.54/2502.52 c #Conflicts: 1126000 | #Constraints: 22287
2493.54/2502.52 c #Conflicts: 1127000 | #Constraints: 23287
2493.54/2502.52 c #Conflicts: 1128000 | #Constraints: 24287
2493.54/2502.52 c #Conflicts: 1129000 | #Constraints: 25287
2493.54/2502.52 c #Conflicts: 1130000 | #Constraints: 26287
2493.54/2502.52 c #Conflicts: 1131000 | #Constraints: 27287
2493.54/2502.52 c #Conflicts: 1132000 | #Constraints: 28287
2493.54/2502.52 c #Conflicts: 1133000 | #Constraints: 29287
2493.54/2502.52 c #Conflicts: 1134000 | #Constraints: 30287
2493.54/2502.52 c #Conflicts: 1135000 | #Constraints: 31287
2493.54/2502.52 c #Conflicts: 1136000 | #Constraints: 32287
2493.54/2502.52 c #Conflicts: 1137000 | #Constraints: 33287
2493.54/2502.52 c #Conflicts: 1138000 | #Constraints: 34287
2493.54/2502.52 c #Conflicts: 1139000 | #Constraints: 35287
2493.54/2502.52 c #Conflicts: 1140000 | #Constraints: 36287
2493.54/2502.52 c #Conflicts: 1141000 | #Constraints: 37287
2493.54/2502.52 c #Conflicts: 1142000 | #Constraints: 38287
2493.54/2502.52 c #Conflicts: 1143000 | #Constraints: 39287
2493.54/2502.52 c #Conflicts: 1144000 | #Constraints: 40287
2493.54/2502.52 c #Conflicts: 1145000 | #Constraints: 41287
2493.54/2502.52 c #Conflicts: 1146000 | #Constraints: 42287
2493.54/2502.52 c INPROCESSING
2493.54/2502.52 c GARBAGE COLLECT
2493.54/2502.52 c #Conflicts: 1147000 | #Constraints: 22065
2493.54/2502.52 c #Conflicts: 1148000 | #Constraints: 23065
2493.54/2502.52 c #Conflicts: 1149000 | #Constraints: 24065
2493.54/2502.52 c #Conflicts: 1150000 | #Constraints: 25065
2493.54/2502.52 c #Conflicts: 1151000 | #Constraints: 26065
2493.54/2502.52 c #Conflicts: 1152000 | #Constraints: 27065
2493.54/2502.52 c #Conflicts: 1153000 | #Constraints: 28065
2493.54/2502.52 c #Conflicts: 1154000 | #Constraints: 29065
2493.54/2502.52 c #Conflicts: 1155000 | #Constraints: 30065
2493.54/2502.52 c #Conflicts: 1156000 | #Constraints: 31065
2493.54/2502.52 c #Conflicts: 1157000 | #Constraints: 32065
2493.54/2502.52 c #Conflicts: 1158000 | #Constraints: 33065
2493.54/2502.52 c #Conflicts: 1159000 | #Constraints: 34065
2493.54/2502.52 c #Conflicts: 1160000 | #Constraints: 35065
2493.54/2502.52 c #Conflicts: 1161000 | #Constraints: 36065
2493.54/2502.52 c #Conflicts: 1162000 | #Constraints: 37065
2493.54/2502.52 c #Conflicts: 1163000 | #Constraints: 38065
2493.54/2502.52 c #Conflicts: 1164000 | #Constraints: 39065
2493.54/2502.52 c #Conflicts: 1165000 | #Constraints: 40065
2493.54/2502.52 c #Conflicts: 1166000 | #Constraints: 41065
2493.54/2502.52 c #Conflicts: 1167000 | #Constraints: 42065
2493.54/2502.52 c #Conflicts: 1168000 | #Constraints: 43065
2493.54/2502.52 c INPROCESSING
2493.54/2502.52 c GARBAGE COLLECT
2493.54/2502.52 c #Conflicts: 1169000 | #Constraints: 22667
2493.54/2502.52 c #Conflicts: 1170000 | #Constraints: 23667
2493.54/2502.52 c #Conflicts: 1171000 | #Constraints: 24667
2493.54/2502.52 c #Conflicts: 1172000 | #Constraints: 25667
2493.54/2502.52 c #Conflicts: 1173000 | #Constraints: 26667
2493.54/2502.52 c #Conflicts: 1174000 | #Constraints: 27667
2493.54/2502.52 c #Conflicts: 1175000 | #Constraints: 28667
2493.54/2502.52 c #Conflicts: 1176000 | #Constraints: 29667
2493.54/2502.52 c #Conflicts: 1177000 | #Constraints: 30667
2493.54/2502.52 c #Conflicts: 1178000 | #Constraints: 31667
2493.54/2502.52 c #Conflicts: 1179000 | #Constraints: 32667
2493.54/2502.52 c #Conflicts: 1180000 | #Constraints: 33667
2493.54/2502.52 c #Conflicts: 1181000 | #Constraints: 34667
2493.54/2502.52 c #Conflicts: 1182000 | #Constraints: 35667
2493.54/2502.52 c #Conflicts: 1183000 | #Constraints: 36667
2493.54/2502.52 c #Conflicts: 1184000 | #Constraints: 37667
2493.54/2502.52 c #Conflicts: 1185000 | #Constraints: 38667
2493.54/2502.52 c #Conflicts: 1186000 | #Constraints: 39667
2493.54/2502.52 c #Conflicts: 1187000 | #Constraints: 40667
2493.54/2502.52 c #Conflicts: 1188000 | #Constraints: 41667
2493.54/2502.52 c #Conflicts: 1189000 | #Constraints: 42667
2493.54/2502.52 c #Conflicts: 1190000 | #Constraints: 43667
2493.54/2502.52 c INPROCESSING
2493.54/2502.52 c GARBAGE COLLECT
2493.54/2502.52 c #Conflicts: 1191000 | #Constraints: 23078
2493.54/2502.52 c #Conflicts: 1192000 | #Constraints: 24078
2493.54/2502.52 c #Conflicts: 1193000 | #Constraints: 25078
2493.54/2502.52 c #Conflicts: 1194000 | #Constraints: 26078
2493.54/2502.52 c #Conflicts: 1195000 | #Constraints: 27078
2493.54/2502.52 c #Conflicts: 1196000 | #Constraints: 28078
2493.54/2502.52 c #Conflicts: 1197000 | #Constraints: 29078
2680.78/2690.49 c #Conflicts: 1198000 | #Constraints: 30078
2680.78/2690.49 c #Conflicts: 1199000 | #Constraints: 31078
2680.78/2690.49 c #Conflicts: 1200000 | #Constraints: 32078
2680.78/2690.49 c #Conflicts: 1201000 | #Constraints: 33078
2680.78/2690.49 c #Conflicts: 1202000 | #Constraints: 34078
2680.78/2690.49 c #Conflicts: 1203000 | #Constraints: 35078
2680.78/2690.49 c #Conflicts: 1204000 | #Constraints: 36078
2680.78/2690.49 c #Conflicts: 1205000 | #Constraints: 37078
2680.78/2690.49 c #Conflicts: 1206000 | #Constraints: 38078
2680.78/2690.49 c #Conflicts: 1207000 | #Constraints: 39078
2680.78/2690.49 c #Conflicts: 1208000 | #Constraints: 40078
2680.78/2690.49 c #Conflicts: 1209000 | #Constraints: 41078
2680.78/2690.49 c #Conflicts: 1210000 | #Constraints: 42078
2680.78/2690.49 c #Conflicts: 1211000 | #Constraints: 43078
2680.78/2690.49 c #Conflicts: 1212000 | #Constraints: 44078
2680.78/2690.49 c INPROCESSING
2680.78/2690.49 c GARBAGE COLLECT
2680.78/2690.49 c #Conflicts: 1213000 | #Constraints: 23276
2680.78/2690.49 c #Conflicts: 1214000 | #Constraints: 24276
2680.78/2690.49 c #Conflicts: 1215000 | #Constraints: 25276
2680.78/2690.49 c #Conflicts: 1216000 | #Constraints: 26276
2680.78/2690.49 c #Conflicts: 1217000 | #Constraints: 27276
2680.78/2690.49 c #Conflicts: 1218000 | #Constraints: 28276
2680.78/2690.49 c #Conflicts: 1219000 | #Constraints: 29276
2680.78/2690.49 c #Conflicts: 1220000 | #Constraints: 30276
2680.78/2690.49 c #Conflicts: 1221000 | #Constraints: 31276
2680.78/2690.49 c #Conflicts: 1222000 | #Constraints: 32276
2680.78/2690.49 c #Conflicts: 1223000 | #Constraints: 33276
2680.78/2690.49 c #Conflicts: 1224000 | #Constraints: 34276
2680.78/2690.49 c #Conflicts: 1225000 | #Constraints: 35276
2680.78/2690.49 c #Conflicts: 1226000 | #Constraints: 36276
2680.78/2690.49 c #Conflicts: 1227000 | #Constraints: 37276
2680.78/2690.49 c #Conflicts: 1228000 | #Constraints: 38276
2680.78/2690.49 c #Conflicts: 1229000 | #Constraints: 39276
2680.78/2690.49 c #Conflicts: 1230000 | #Constraints: 40276
2680.78/2690.49 c #Conflicts: 1231000 | #Constraints: 41276
2680.78/2690.49 c #Conflicts: 1232000 | #Constraints: 42276
2680.78/2690.49 c #Conflicts: 1233000 | #Constraints: 43276
2680.78/2690.49 c #Conflicts: 1234000 | #Constraints: 44276
2680.78/2690.49 c INPROCESSING
2680.78/2690.49 c GARBAGE COLLECT
2680.78/2690.49 c #Conflicts: 1235000 | #Constraints: 23264
2680.78/2690.49 c #Conflicts: 1236000 | #Constraints: 24264
2680.78/2690.49 c #Conflicts: 1237000 | #Constraints: 25264
2680.78/2690.49 c #Conflicts: 1238000 | #Constraints: 26264
2680.78/2690.49 c #Conflicts: 1239000 | #Constraints: 27264
2680.78/2690.49 c #Conflicts: 1240000 | #Constraints: 28264
2680.78/2690.49 c #Conflicts: 1241000 | #Constraints: 29264
2680.78/2690.49 c #Conflicts: 1242000 | #Constraints: 30264
2680.78/2690.49 c #Conflicts: 1243000 | #Constraints: 31264
2680.78/2690.49 c #Conflicts: 1244000 | #Constraints: 32264
2680.78/2690.49 c #Conflicts: 1245000 | #Constraints: 33264
2680.78/2690.49 c #Conflicts: 1246000 | #Constraints: 34264
2680.78/2690.49 c #Conflicts: 1247000 | #Constraints: 35264
2680.78/2690.49 c #Conflicts: 1248000 | #Constraints: 36264
2680.78/2690.49 c #Conflicts: 1249000 | #Constraints: 37264
2680.78/2690.49 c #Conflicts: 1250000 | #Constraints: 38264
2680.78/2690.49 c #Conflicts: 1251000 | #Constraints: 39264
2680.78/2690.49 c #Conflicts: 1252000 | #Constraints: 40264
2680.78/2690.49 c #Conflicts: 1253000 | #Constraints: 41264
2680.78/2690.49 c #Conflicts: 1254000 | #Constraints: 42264
2680.78/2690.49 c #Conflicts: 1255000 | #Constraints: 43264
2680.78/2690.49 c #Conflicts: 1256000 | #Constraints: 44264
2680.78/2690.49 c INPROCESSING
2680.78/2690.49 c GARBAGE COLLECT
2680.78/2690.49 c #Conflicts: 1257000 | #Constraints: 23074
2680.78/2690.49 c #Conflicts: 1258000 | #Constraints: 24074
2680.78/2690.49 c #Conflicts: 1259000 | #Constraints: 25074
2680.78/2690.49 c #Conflicts: 1260000 | #Constraints: 26074
2680.78/2690.49 c #Conflicts: 1261000 | #Constraints: 27074
2680.78/2690.49 c #Conflicts: 1262000 | #Constraints: 28074
2680.78/2690.49 c #Conflicts: 1263000 | #Constraints: 29074
2680.78/2690.49 c #Conflicts: 1264000 | #Constraints: 30074
2680.78/2690.49 c #Conflicts: 1265000 | #Constraints: 31074
2680.78/2690.49 c #Conflicts: 1266000 | #Constraints: 32074
2680.78/2690.49 c #Conflicts: 1267000 | #Constraints: 33074
2680.78/2690.49 c #Conflicts: 1268000 | #Constraints: 34074
2680.78/2690.49 c #Conflicts: 1269000 | #Constraints: 35074
2680.78/2690.49 c #Conflicts: 1270000 | #Constraints: 36074
2680.78/2690.49 c #Conflicts: 1271000 | #Constraints: 37074
2680.78/2690.49 c #Conflicts: 1272000 | #Constraints: 38074
2680.78/2690.49 c #Conflicts: 1273000 | #Constraints: 39074
2680.78/2690.49 c #Conflicts: 1274000 | #Constraints: 40074
2903.89/2914.30 c #Conflicts: 1275000 | #Constraints: 41074
2903.89/2914.30 c #Conflicts: 1276000 | #Constraints: 42074
2903.89/2914.30 c #Conflicts: 1277000 | #Constraints: 43074
2903.89/2914.30 c #Conflicts: 1278000 | #Constraints: 44074
2903.89/2914.30 c #Conflicts: 1279000 | #Constraints: 45074
2903.89/2914.30 c INPROCESSING
2903.89/2914.30 c GARBAGE COLLECT
2903.89/2914.30 c #Conflicts: 1280000 | #Constraints: 23669
2903.89/2914.30 c #Conflicts: 1281000 | #Constraints: 24669
2903.89/2914.30 c #Conflicts: 1282000 | #Constraints: 25669
2903.89/2914.30 c #Conflicts: 1283000 | #Constraints: 26669
2903.89/2914.30 c #Conflicts: 1284000 | #Constraints: 27669
2903.89/2914.30 c #Conflicts: 1285000 | #Constraints: 28669
2903.89/2914.30 c #Conflicts: 1286000 | #Constraints: 29669
2903.89/2914.30 c #Conflicts: 1287000 | #Constraints: 30669
2903.89/2914.30 c #Conflicts: 1288000 | #Constraints: 31669
2903.89/2914.30 c #Conflicts: 1289000 | #Constraints: 32669
2903.89/2914.30 c #Conflicts: 1290000 | #Constraints: 33669
2903.89/2914.30 c #Conflicts: 1291000 | #Constraints: 34669
2903.89/2914.30 c #Conflicts: 1292000 | #Constraints: 35669
2903.89/2914.30 c #Conflicts: 1293000 | #Constraints: 36669
2903.89/2914.30 c #Conflicts: 1294000 | #Constraints: 37669
2903.89/2914.30 c #Conflicts: 1295000 | #Constraints: 38669
2903.89/2914.30 c #Conflicts: 1296000 | #Constraints: 39669
2903.89/2914.30 c #Conflicts: 1297000 | #Constraints: 40669
2903.89/2914.30 c #Conflicts: 1298000 | #Constraints: 41669
2903.89/2914.30 c #Conflicts: 1299000 | #Constraints: 42669
2903.89/2914.30 c #Conflicts: 1300000 | #Constraints: 43669
2903.89/2914.30 c #Conflicts: 1301000 | #Constraints: 44669
2903.89/2914.30 c #Conflicts: 1302000 | #Constraints: 45669
2903.89/2914.30 c INPROCESSING
2903.89/2914.30 c GARBAGE COLLECT
2903.89/2914.30 c #Conflicts: 1303000 | #Constraints: 24074
2903.89/2914.30 c #Conflicts: 1304000 | #Constraints: 25074
2903.89/2914.30 c #Conflicts: 1305000 | #Constraints: 26074
2903.89/2914.30 c #Conflicts: 1306000 | #Constraints: 27074
2903.89/2914.30 c #Conflicts: 1307000 | #Constraints: 28074
2903.89/2914.30 c #Conflicts: 1308000 | #Constraints: 29074
2903.89/2914.30 c #Conflicts: 1309000 | #Constraints: 30074
2903.89/2914.30 c #Conflicts: 1310000 | #Constraints: 31074
2903.89/2914.30 c #Conflicts: 1311000 | #Constraints: 32074
2903.89/2914.30 c #Conflicts: 1312000 | #Constraints: 33074
2903.89/2914.30 c #Conflicts: 1313000 | #Constraints: 34074
2903.89/2914.30 c #Conflicts: 1314000 | #Constraints: 35074
2903.89/2914.30 c #Conflicts: 1315000 | #Constraints: 36074
2903.89/2914.30 c #Conflicts: 1316000 | #Constraints: 37074
2903.89/2914.30 c #Conflicts: 1317000 | #Constraints: 38074
2903.89/2914.30 c #Conflicts: 1318000 | #Constraints: 39074
2903.89/2914.30 c #Conflicts: 1319000 | #Constraints: 40074
2903.89/2914.30 c #Conflicts: 1320000 | #Constraints: 41074
2903.89/2914.30 c #Conflicts: 1321000 | #Constraints: 42074
2903.89/2914.30 c #Conflicts: 1322000 | #Constraints: 43074
2903.89/2914.30 c #Conflicts: 1323000 | #Constraints: 44074
2903.89/2914.30 c #Conflicts: 1324000 | #Constraints: 45074
2903.89/2914.30 c #Conflicts: 1325000 | #Constraints: 46074
2903.89/2914.30 c INPROCESSING
2903.89/2914.30 c GARBAGE COLLECT
2903.89/2914.30 c #Conflicts: 1326000 | #Constraints: 24266
2903.89/2914.30 c #Conflicts: 1327000 | #Constraints: 25266
2903.89/2914.30 c #Conflicts: 1328000 | #Constraints: 26266
2903.89/2914.30 c #Conflicts: 1329000 | #Constraints: 27266
2903.89/2914.30 c #Conflicts: 1330000 | #Constraints: 28266
2903.89/2914.30 c #Conflicts: 1331000 | #Constraints: 29266
2903.89/2914.30 c #Conflicts: 1332000 | #Constraints: 30266
2903.89/2914.30 c #Conflicts: 1333000 | #Constraints: 31266
2903.89/2914.30 c #Conflicts: 1334000 | #Constraints: 32266
2903.89/2914.30 c #Conflicts: 1335000 | #Constraints: 33266
2903.89/2914.30 c #Conflicts: 1336000 | #Constraints: 34266
2903.89/2914.30 c #Conflicts: 1337000 | #Constraints: 35266
2903.89/2914.30 c #Conflicts: 1338000 | #Constraints: 36266
2903.89/2914.30 c #Conflicts: 1339000 | #Constraints: 37266
2903.89/2914.30 c #Conflicts: 1340000 | #Constraints: 38266
2903.89/2914.30 c #Conflicts: 1341000 | #Constraints: 39266
2903.89/2914.30 c #Conflicts: 1342000 | #Constraints: 40266
2903.89/2914.30 c #Conflicts: 1343000 | #Constraints: 41266
2903.89/2914.30 c #Conflicts: 1344000 | #Constraints: 42266
2903.89/2914.30 c #Conflicts: 1345000 | #Constraints: 43266
2903.89/2914.30 c #Conflicts: 1346000 | #Constraints: 44266
2903.89/2914.30 c #Conflicts: 1347000 | #Constraints: 45266
2903.89/2914.30 c #Conflicts: 1348000 | #Constraints: 46266
2903.89/2914.30 c INPROCESSING
2903.89/2914.30 c GARBAGE COLLECT
2903.89/2914.30 c #Conflicts: 1349000 | #Constraints: 24287
2903.89/2914.30 c #Conflicts: 1350000 | #Constraints: 25287
3116.44/3127.67 c #Conflicts: 1351000 | #Constraints: 26287
3116.44/3127.67 c #Conflicts: 1352000 | #Constraints: 27287
3116.44/3127.67 c #Conflicts: 1353000 | #Constraints: 28287
3116.44/3127.67 c #Conflicts: 1354000 | #Constraints: 29287
3116.44/3127.67 c #Conflicts: 1355000 | #Constraints: 30287
3116.44/3127.67 c #Conflicts: 1356000 | #Constraints: 31287
3116.44/3127.67 c #Conflicts: 1357000 | #Constraints: 32287
3116.44/3127.67 c #Conflicts: 1358000 | #Constraints: 33287
3116.44/3127.67 c #Conflicts: 1359000 | #Constraints: 34287
3116.44/3127.67 c #Conflicts: 1360000 | #Constraints: 35287
3116.44/3127.67 c #Conflicts: 1361000 | #Constraints: 36287
3116.44/3127.67 c #Conflicts: 1362000 | #Constraints: 37287
3116.44/3127.67 c #Conflicts: 1363000 | #Constraints: 38287
3116.44/3127.67 c #Conflicts: 1364000 | #Constraints: 39287
3116.44/3127.67 c #Conflicts: 1365000 | #Constraints: 40287
3116.44/3127.67 c #Conflicts: 1366000 | #Constraints: 41287
3116.44/3127.67 c #Conflicts: 1367000 | #Constraints: 42287
3116.44/3127.67 c #Conflicts: 1368000 | #Constraints: 43287
3116.44/3127.67 c #Conflicts: 1369000 | #Constraints: 44287
3116.44/3127.67 c #Conflicts: 1370000 | #Constraints: 45287
3116.44/3127.67 c #Conflicts: 1371000 | #Constraints: 46287
3116.44/3127.67 c INPROCESSING
3116.44/3127.67 c GARBAGE COLLECT
3116.44/3127.67 c #Conflicts: 1372000 | #Constraints: 24073
3116.44/3127.67 c #Conflicts: 1373000 | #Constraints: 25073
3116.44/3127.67 c #Conflicts: 1374000 | #Constraints: 26073
3116.44/3127.67 c #Conflicts: 1375000 | #Constraints: 27073
3116.44/3127.67 c #Conflicts: 1376000 | #Constraints: 28073
3116.44/3127.67 c #Conflicts: 1377000 | #Constraints: 29073
3116.44/3127.67 c #Conflicts: 1378000 | #Constraints: 30073
3116.44/3127.67 c #Conflicts: 1379000 | #Constraints: 31073
3116.44/3127.67 c #Conflicts: 1380000 | #Constraints: 32073
3116.44/3127.67 c #Conflicts: 1381000 | #Constraints: 33073
3116.44/3127.67 c #Conflicts: 1382000 | #Constraints: 34073
3116.44/3127.67 c #Conflicts: 1383000 | #Constraints: 35073
3116.44/3127.67 c #Conflicts: 1384000 | #Constraints: 36073
3116.44/3127.67 c #Conflicts: 1385000 | #Constraints: 37073
3116.44/3127.67 c #Conflicts: 1386000 | #Constraints: 38073
3116.44/3127.67 c #Conflicts: 1387000 | #Constraints: 39073
3116.44/3127.67 c #Conflicts: 1388000 | #Constraints: 40073
3116.44/3127.67 c #Conflicts: 1389000 | #Constraints: 41073
3116.44/3127.67 c #Conflicts: 1390000 | #Constraints: 42073
3116.44/3127.67 c #Conflicts: 1391000 | #Constraints: 43073
3116.44/3127.67 c #Conflicts: 1392000 | #Constraints: 44073
3116.44/3127.67 c #Conflicts: 1393000 | #Constraints: 45073
3116.44/3127.67 c #Conflicts: 1394000 | #Constraints: 46073
3116.44/3127.67 c #Conflicts: 1395000 | #Constraints: 47073
3116.44/3127.67 c INPROCESSING
3116.44/3127.67 c GARBAGE COLLECT
3116.44/3127.67 c #Conflicts: 1396000 | #Constraints: 24685
3116.44/3127.67 c #Conflicts: 1397000 | #Constraints: 25685
3116.44/3127.67 c #Conflicts: 1398000 | #Constraints: 26685
3116.44/3127.67 c #Conflicts: 1399000 | #Constraints: 27685
3116.44/3127.67 c #Conflicts: 1400000 | #Constraints: 28685
3116.44/3127.67 c #Conflicts: 1401000 | #Constraints: 29685
3116.44/3127.67 c #Conflicts: 1402000 | #Constraints: 30685
3116.44/3127.67 c #Conflicts: 1403000 | #Constraints: 31685
3116.44/3127.67 c #Conflicts: 1404000 | #Constraints: 32685
3116.44/3127.67 c #Conflicts: 1405000 | #Constraints: 33685
3116.44/3127.67 c #Conflicts: 1406000 | #Constraints: 34685
3116.44/3127.67 c #Conflicts: 1407000 | #Constraints: 35685
3116.44/3127.67 c #Conflicts: 1408000 | #Constraints: 36685
3116.44/3127.67 c #Conflicts: 1409000 | #Constraints: 37685
3116.44/3127.67 c #Conflicts: 1410000 | #Constraints: 38685
3116.44/3127.67 c #Conflicts: 1411000 | #Constraints: 39685
3116.44/3127.67 c #Conflicts: 1412000 | #Constraints: 40685
3116.44/3127.67 c #Conflicts: 1413000 | #Constraints: 41685
3116.44/3127.67 c #Conflicts: 1414000 | #Constraints: 42685
3116.44/3127.67 c #Conflicts: 1415000 | #Constraints: 43685
3116.44/3127.67 c #Conflicts: 1416000 | #Constraints: 44685
3116.44/3127.67 c #Conflicts: 1417000 | #Constraints: 45685
3116.44/3127.67 c #Conflicts: 1418000 | #Constraints: 46685
3116.44/3127.67 c #Conflicts: 1419000 | #Constraints: 47685
3116.44/3127.67 c INPROCESSING
3116.44/3127.67 c GARBAGE COLLECT
3116.44/3127.67 c #Conflicts: 1420000 | #Constraints: 25101
3116.44/3127.67 c #Conflicts: 1421000 | #Constraints: 26101
3116.44/3127.67 c #Conflicts: 1422000 | #Constraints: 27101
3116.44/3127.67 c #Conflicts: 1423000 | #Constraints: 28101
3116.44/3127.67 c #Conflicts: 1424000 | #Constraints: 29101
3116.44/3127.67 c #Conflicts: 1425000 | #Constraints: 30101
3116.44/3127.67 c #Conflicts: 1426000 | #Constraints: 31101
3116.44/3127.67 c #Conflicts: 1427000 | #Constraints: 32101
3305.55/3317.48 c #Conflicts: 1428000 | #Constraints: 33101
3305.55/3317.48 c #Conflicts: 1429000 | #Constraints: 34101
3305.55/3317.48 c #Conflicts: 1430000 | #Constraints: 35101
3305.55/3317.48 c #Conflicts: 1431000 | #Constraints: 36101
3305.55/3317.48 c #Conflicts: 1432000 | #Constraints: 37101
3305.55/3317.48 c #Conflicts: 1433000 | #Constraints: 38101
3305.55/3317.48 c #Conflicts: 1434000 | #Constraints: 39101
3305.55/3317.48 c #Conflicts: 1435000 | #Constraints: 40101
3305.55/3317.48 c #Conflicts: 1436000 | #Constraints: 41101
3305.55/3317.48 c #Conflicts: 1437000 | #Constraints: 42101
3305.55/3317.48 c #Conflicts: 1438000 | #Constraints: 43101
3305.55/3317.48 c #Conflicts: 1439000 | #Constraints: 44101
3305.55/3317.48 c #Conflicts: 1440000 | #Constraints: 45101
3305.55/3317.48 c #Conflicts: 1441000 | #Constraints: 46101
3305.55/3317.48 c #Conflicts: 1442000 | #Constraints: 47101
3305.55/3317.48 c #Conflicts: 1443000 | #Constraints: 48101
3305.55/3317.48 c INPROCESSING
3305.55/3317.48 c GARBAGE COLLECT
3305.55/3317.48 c #Conflicts: 1444000 | #Constraints: 25278
3305.55/3317.48 c #Conflicts: 1445000 | #Constraints: 26278
3305.55/3317.48 c #Conflicts: 1446000 | #Constraints: 27278
3305.55/3317.48 c #Conflicts: 1447000 | #Constraints: 28278
3305.55/3317.48 c #Conflicts: 1448000 | #Constraints: 29278
3305.55/3317.48 c #Conflicts: 1449000 | #Constraints: 30278
3305.55/3317.48 c #Conflicts: 1450000 | #Constraints: 31278
3305.55/3317.48 c #Conflicts: 1451000 | #Constraints: 32278
3305.55/3317.48 c #Conflicts: 1452000 | #Constraints: 33278
3305.55/3317.48 c #Conflicts: 1453000 | #Constraints: 34278
3305.55/3317.48 c #Conflicts: 1454000 | #Constraints: 35278
3305.55/3317.48 c #Conflicts: 1455000 | #Constraints: 36278
3305.55/3317.48 c #Conflicts: 1456000 | #Constraints: 37278
3305.55/3317.48 c #Conflicts: 1457000 | #Constraints: 38278
3305.55/3317.48 c #Conflicts: 1458000 | #Constraints: 39278
3305.55/3317.48 c #Conflicts: 1459000 | #Constraints: 40278
3305.55/3317.48 c #Conflicts: 1460000 | #Constraints: 41278
3305.55/3317.48 c #Conflicts: 1461000 | #Constraints: 42278
3305.55/3317.48 c #Conflicts: 1462000 | #Constraints: 43278
3305.55/3317.48 c #Conflicts: 1463000 | #Constraints: 44278
3305.55/3317.48 c #Conflicts: 1464000 | #Constraints: 45278
3305.55/3317.48 c #Conflicts: 1465000 | #Constraints: 46278
3305.55/3317.48 c #Conflicts: 1466000 | #Constraints: 47278
3305.55/3317.48 c #Conflicts: 1467000 | #Constraints: 48278
3305.55/3317.48 c INPROCESSING
3305.55/3317.48 c GARBAGE COLLECT
3305.55/3317.48 c #Conflicts: 1468000 | #Constraints: 25267
3305.55/3317.48 c #Conflicts: 1469000 | #Constraints: 26267
3305.55/3317.48 c #Conflicts: 1470000 | #Constraints: 27267
3305.55/3317.48 c #Conflicts: 1471000 | #Constraints: 28267
3305.55/3317.48 c #Conflicts: 1472000 | #Constraints: 29267
3305.55/3317.48 c #Conflicts: 1473000 | #Constraints: 30267
3305.55/3317.48 c #Conflicts: 1474000 | #Constraints: 31267
3305.55/3317.48 c #Conflicts: 1475000 | #Constraints: 32267
3305.55/3317.48 c #Conflicts: 1476000 | #Constraints: 33267
3305.55/3317.48 c #Conflicts: 1477000 | #Constraints: 34267
3305.55/3317.48 c #Conflicts: 1478000 | #Constraints: 35267
3305.55/3317.48 c #Conflicts: 1479000 | #Constraints: 36267
3305.55/3317.48 c #Conflicts: 1480000 | #Constraints: 37267
3305.55/3317.48 c #Conflicts: 1481000 | #Constraints: 38267
3305.55/3317.48 c #Conflicts: 1482000 | #Constraints: 39267
3305.55/3317.48 c #Conflicts: 1483000 | #Constraints: 40267
3305.55/3317.48 c #Conflicts: 1484000 | #Constraints: 41267
3305.55/3317.48 c #Conflicts: 1485000 | #Constraints: 42267
3305.55/3317.48 c #Conflicts: 1486000 | #Constraints: 43267
3305.55/3317.48 c #Conflicts: 1487000 | #Constraints: 44267
3305.55/3317.48 c #Conflicts: 1488000 | #Constraints: 45267
3305.55/3317.48 c #Conflicts: 1489000 | #Constraints: 46267
3305.55/3317.48 c #Conflicts: 1490000 | #Constraints: 47267
3305.55/3317.48 c #Conflicts: 1491000 | #Constraints: 48267
3305.55/3317.48 c INPROCESSING
3305.55/3317.48 c GARBAGE COLLECT
3305.55/3317.48 c #Conflicts: 1492000 | #Constraints: 25070
3305.55/3317.48 c #Conflicts: 1493000 | #Constraints: 26070
3305.55/3317.48 c #Conflicts: 1494000 | #Constraints: 27070
3305.55/3317.48 c #Conflicts: 1495000 | #Constraints: 28070
3305.55/3317.48 c #Conflicts: 1496000 | #Constraints: 29070
3305.55/3317.48 c #Conflicts: 1497000 | #Constraints: 30070
3305.55/3317.48 c #Conflicts: 1498000 | #Constraints: 31070
3305.55/3317.48 c #Conflicts: 1499000 | #Constraints: 32070
3305.55/3317.48 c #Conflicts: 1500000 | #Constraints: 33070
3305.55/3317.48 c #Conflicts: 1501000 | #Constraints: 34070
3305.55/3317.48 c #Conflicts: 1502000 | #Constraints: 35070
3305.55/3317.48 c #Conflicts: 1503000 | #Constraints: 36070
3305.55/3317.48 c #Conflicts: 1504000 | #Constraints: 37070
3518.60/3531.24 c #Conflicts: 1505000 | #Constraints: 38070
3518.60/3531.24 c #Conflicts: 1506000 | #Constraints: 39070
3518.60/3531.24 c #Conflicts: 1507000 | #Constraints: 40070
3518.60/3531.24 c #Conflicts: 1508000 | #Constraints: 41070
3518.60/3531.24 c #Conflicts: 1509000 | #Constraints: 42070
3518.60/3531.24 c #Conflicts: 1510000 | #Constraints: 43070
3518.60/3531.24 c #Conflicts: 1511000 | #Constraints: 44070
3518.60/3531.24 c #Conflicts: 1512000 | #Constraints: 45070
3518.60/3531.24 c #Conflicts: 1513000 | #Constraints: 46070
3518.60/3531.24 c #Conflicts: 1514000 | #Constraints: 47070
3518.60/3531.24 c #Conflicts: 1515000 | #Constraints: 48070
3518.60/3531.24 c #Conflicts: 1516000 | #Constraints: 49070
3518.60/3531.24 c INPROCESSING
3518.60/3531.24 c GARBAGE COLLECT
3518.60/3531.24 c #Conflicts: 1517000 | #Constraints: 25662
3518.60/3531.24 c #Conflicts: 1518000 | #Constraints: 26662
3518.60/3531.24 c #Conflicts: 1519000 | #Constraints: 27662
3518.60/3531.24 c #Conflicts: 1520000 | #Constraints: 28662
3518.60/3531.24 c #Conflicts: 1521000 | #Constraints: 29662
3518.60/3531.24 c #Conflicts: 1522000 | #Constraints: 30662
3518.60/3531.24 c #Conflicts: 1523000 | #Constraints: 31662
3518.60/3531.24 c #Conflicts: 1524000 | #Constraints: 32662
3518.60/3531.24 c #Conflicts: 1525000 | #Constraints: 33662
3518.60/3531.24 c #Conflicts: 1526000 | #Constraints: 34662
3518.60/3531.24 c #Conflicts: 1527000 | #Constraints: 35662
3518.60/3531.24 c #Conflicts: 1528000 | #Constraints: 36662
3518.60/3531.24 c #Conflicts: 1529000 | #Constraints: 37662
3518.60/3531.24 c #Conflicts: 1530000 | #Constraints: 38662
3518.60/3531.24 c #Conflicts: 1531000 | #Constraints: 39662
3518.60/3531.24 c #Conflicts: 1532000 | #Constraints: 40662
3518.60/3531.24 c #Conflicts: 1533000 | #Constraints: 41662
3518.60/3531.24 c #Conflicts: 1534000 | #Constraints: 42662
3518.60/3531.24 c #Conflicts: 1535000 | #Constraints: 43662
3518.60/3531.24 c #Conflicts: 1536000 | #Constraints: 44662
3518.60/3531.24 c #Conflicts: 1537000 | #Constraints: 45662
3518.60/3531.24 c #Conflicts: 1538000 | #Constraints: 46662
3518.60/3531.24 c #Conflicts: 1539000 | #Constraints: 47662
3518.60/3531.24 c #Conflicts: 1540000 | #Constraints: 48662
3518.60/3531.24 c #Conflicts: 1541000 | #Constraints: 49662
3518.60/3531.24 c INPROCESSING
3518.60/3531.24 c GARBAGE COLLECT
3518.60/3531.24 c #Conflicts: 1542000 | #Constraints: 26059
3518.60/3531.24 c #Conflicts: 1543000 | #Constraints: 27059
3518.60/3531.24 c #Conflicts: 1544000 | #Constraints: 28059
3518.60/3531.24 c #Conflicts: 1545000 | #Constraints: 29059
3518.60/3531.24 c #Conflicts: 1546000 | #Constraints: 30059
3518.60/3531.24 c #Conflicts: 1547000 | #Constraints: 31059
3518.60/3531.24 c #Conflicts: 1548000 | #Constraints: 32059
3518.60/3531.24 c #Conflicts: 1549000 | #Constraints: 33059
3518.60/3531.24 c #Conflicts: 1550000 | #Constraints: 34059
3518.60/3531.24 c #Conflicts: 1551000 | #Constraints: 35059
3518.60/3531.24 c #Conflicts: 1552000 | #Constraints: 36059
3518.60/3531.24 c #Conflicts: 1553000 | #Constraints: 37059
3518.60/3531.24 c #Conflicts: 1554000 | #Constraints: 38059
3518.60/3531.24 c #Conflicts: 1555000 | #Constraints: 39059
3518.60/3531.24 c #Conflicts: 1556000 | #Constraints: 40059
3518.60/3531.24 c #Conflicts: 1557000 | #Constraints: 41059
3518.60/3531.24 c #Conflicts: 1558000 | #Constraints: 42059
3518.60/3531.24 c #Conflicts: 1559000 | #Constraints: 43059
3518.60/3531.24 c #Conflicts: 1560000 | #Constraints: 44059
3518.60/3531.24 c #Conflicts: 1561000 | #Constraints: 45059
3518.60/3531.24 c #Conflicts: 1562000 | #Constraints: 46059
3518.60/3531.24 c #Conflicts: 1563000 | #Constraints: 47059
3518.60/3531.24 c #Conflicts: 1564000 | #Constraints: 48059
3518.60/3531.24 c #Conflicts: 1565000 | #Constraints: 49059
3518.60/3531.24 c #Conflicts: 1566000 | #Constraints: 50059
3518.60/3531.24 c INPROCESSING
3518.60/3531.24 c GARBAGE COLLECT
3518.60/3531.24 c #Conflicts: 1567000 | #Constraints: 26271
3518.60/3531.24 c #Conflicts: 1568000 | #Constraints: 27271
3518.60/3531.24 c #Conflicts: 1569000 | #Constraints: 28271
3518.60/3531.24 c #Conflicts: 1570000 | #Constraints: 29271
3518.60/3531.24 c #Conflicts: 1571000 | #Constraints: 30271
3518.60/3531.24 c #Conflicts: 1572000 | #Constraints: 31271
3518.60/3531.24 c #Conflicts: 1573000 | #Constraints: 32271
3518.60/3531.24 c #Conflicts: 1574000 | #Constraints: 33271
3518.60/3531.24 c #Conflicts: 1575000 | #Constraints: 34271
3518.60/3531.24 c #Conflicts: 1576000 | #Constraints: 35271
3518.60/3531.24 c #Conflicts: 1577000 | #Constraints: 36271
3518.60/3531.24 c #Conflicts: 1578000 | #Constraints: 37271
3518.60/3531.24 c #Conflicts: 1579000 | #Constraints: 38271
3518.60/3531.24 c #Conflicts: 1580000 | #Constraints: 39271
3518.60/3531.24 c #Conflicts: 1581000 | #Constraints: 40271
3600.07/3612.90 c #Conflicts: 1582000 | #Constraints: 41271
3600.07/3612.90 c #Conflicts: 1583000 | #Constraints: 42271
3600.07/3612.90 c #Conflicts: 1584000 | #Constraints: 43271
3600.07/3612.90 c #Conflicts: 1585000 | #Constraints: 44271
3600.07/3612.90 c #Conflicts: 1586000 | #Constraints: 45271
3600.07/3612.90 c #Conflicts: 1587000 | #Constraints: 46271
3600.07/3612.90 c #Conflicts: 1588000 | #Constraints: 47271
3600.07/3612.90 c #Conflicts: 1589000 | #Constraints: 48271
3600.07/3612.90 c #Conflicts: 1590000 | #Constraints: 49271
3600.07/3612.90 c #Conflicts: 1591000 | #Constraints: 50271
3600.07/3612.90 c INPROCESSING
3600.07/3612.90 c GARBAGE COLLECT
3600.07/3612.90 c #Conflicts: 1592000 | #Constraints: 26309
3600.07/3612.90 c #Conflicts: 1593000 | #Constraints: 27309
3600.07/3612.90 c #Conflicts: 1594000 | #Constraints: 28309
3600.07/3612.90 c #Conflicts: 1595000 | #Constraints: 29309
3600.07/3612.90 c #Conflicts: 1596000 | #Constraints: 30309
3600.07/3612.90 c #Conflicts: 1597000 | #Constraints: 31309
3600.07/3612.90 c #Conflicts: 1598000 | #Constraints: 32309
3600.07/3612.90 c #Conflicts: 1599000 | #Constraints: 33309
3600.07/3612.90 c #Conflicts: 1600000 | #Constraints: 34309
3600.07/3612.90 c #Conflicts: 1601000 | #Constraints: 35309
3600.07/3612.90 c Program interrupted by user.
3600.07/3612.90 c cpu time 3587.14 s
3600.07/3612.90 c deterministic time 523114517208 5.23e+11
3600.07/3612.90 c optimization time 33.2478 s
3600.07/3612.90 c total solve time 3254.91 s
3600.07/3612.90 c core-guided solve time 0 s
3600.07/3612.90 c propagation time 2687.07 s
3600.07/3612.90 c conflict analysis time 551.825 s
3600.07/3612.90 c propagations 344250107
3600.07/3612.90 c resolve steps 15531920
3600.07/3612.90 c decisions 6667738
3600.07/3612.90 c conflicts 1601206
3600.07/3612.90 c restarts 3069
3600.07/3612.90 c inprocessing phases 117
3600.07/3612.90 c input clauses 49
3600.07/3612.90 c input cardinalities 49
3600.07/3612.90 c input general constraints 320
3600.07/3612.90 c input average constraint length 47.68
3600.07/3612.90 c input average constraint degree 427.67
3600.07/3612.90 c learned clauses 210258
3600.07/3612.90 c learned cardinalities 14085
3600.07/3612.90 c learned general constraints 1376863
3600.07/3612.90 c learned average constraint length 370.02
3600.07/3612.90 c learned average constraint degree 12515570.23
3600.07/3612.90 c watched constraints 1053483
3600.07/3612.90 c counting constraints 323700
3600.07/3612.90 c gcd simplifications 132048
3600.07/3612.90 c detected cardinalities 451
3600.07/3612.90 c weakened non-implied lits 104788101
3600.07/3612.90 c weakened non-implying lits 218938
3600.07/3612.90 c original variables 2130
3600.07/3612.90 c clausal propagations 2270804
3600.07/3612.90 c cardinality propagations 7115650
3600.07/3612.90 c watched propagations 15034592
3600.07/3612.90 c counting propagations 318333387
3600.07/3612.90 c watch lookups 53488006834
3600.07/3612.90 c watch backjump lookups 49279391752
3600.07/3612.90 c watch checks 340674675467
3600.07/3612.90 c propagation checks 76770225391
3600.07/3612.90 c constraint additions 2198782268
3600.07/3612.90 c trail pops 352517650
3600.07/3612.90 c formula constraints 418
3600.07/3612.90 c learned constraints 1601206
3600.07/3612.90 c bound constraints 0
3600.07/3612.90 c core-guided constraints 0
3600.07/3612.90 c encountered formula constraints 8891395
3600.07/3612.90 c encountered learned constraints 8241731
3600.07/3612.90 c encountered bound constraints 0
3600.07/3612.90 c encountered core-guided constraints 0
3600.07/3612.90 c LP total time 0 s
3600.07/3612.90 c LP solve time 0 s
3600.07/3612.90 c LP constraints added 0
3600.07/3612.90 c LP constraints removed 0
3600.07/3612.90 c LP pivots internal 0
3600.07/3612.90 c LP pivots root 0
3600.07/3612.90 c LP calls 0
3600.07/3612.90 c LP optimalities 0
3600.07/3612.90 c LP no pivot count 0
3600.07/3612.90 c LP infeasibilities 0
3600.07/3612.90 c LP valid Farkas constraints 0
3600.07/3612.90 c LP learned Farkas constraints 0
3600.07/3612.90 c LP basis resets 0
3600.07/3612.90 c LP cycling count 0
3600.07/3612.90 c LP singular count 0
3600.07/3612.90 c LP no primal count 0
3600.07/3612.90 c LP no farkas count 0
3600.07/3612.90 c LP other issue count 0
3600.07/3612.90 c LP Gomory cuts 0
3600.07/3612.90 c LP learned cuts 0
3600.07/3612.90 c LP deleted cuts 0
3600.07/3612.90 c LP encountered Gomory constraints 0
3600.07/3612.90 c LP encountered Farkas constraints 0
3600.07/3612.90 c LP encountered learned Farkas constraints 0
3600.07/3612.90 c CG auxiliary variables introduced 0
3600.07/3612.90 c CG solutions found 0
3600.07/3612.90 c CG cores constructed 0
3600.07/3612.90 c CG core cardinality constraints returned 0
3600.07/3612.90 c CG unit cores 0
3600.07/3612.90 c CG single cores 0
3600.07/3612.90 c CG blocks removed during cardinality reduction 0
3600.07/3612.90 c CG first core best 0
3600.07/3612.90 c CG decision core best 0
3600.07/3612.90 c CG core reduction tie 0
3600.07/3612.90 c CG core degree average 0.00
3600.07/3612.90 c CG core slack average 0.00
3600.07/3612.90 c CG exhausted 0
3600.07/3612.90 c CG exhaust time 0 s
3600.07/3612.90 c CG trimmed 0
3600.07/3612.90 c CG trim time 0 s
3600.07/3612.90 c CG minimized 0
3600.07/3612.90 c CG minimize time 0 s
3600.07/3612.90 c CG am1 prop time 0 s
3600.07/3612.90 c CG # am1s reformulated 0
3600.07/3612.90 c CG lower bound derived from am1s 0
3600.07/3612.90 c CG # clausal cores 0
3600.07/3612.90 c CG # cardinality cores 0
3600.07/3612.90 c CG # pb cores 0
3600.07/3612.90 c CG # pb reforms 0
3600.07/3612.90 c CG # cores discarded because of pb reform 0
3600.07/3612.90 d LOWERBOUND 0
3600.07/3612.90 d NCORES 0
3600.07/3612.90 d NPBCORES 0
3600.07/3612.90 d NPBREFORM 0
3600.07/3612.90 d NTRIMMED 0
3600.07/3612.90 d NEXHAUSTED 0
3600.07/3612.90 d NAM1S 0
3600.07/3612.90 d AM1LB 0
3600.07/3612.90 c [Papilo Statistics]
3600.07/3612.90 c prepro time 0.017198s
3600.07/3612.90 c # tsx applied 10
3600.07/3612.90 c # tsx conflicts 0
3600.07/3612.90 c # bound changes 5
3600.07/3612.90 c # side changes 0
3600.07/3612.90 c # coef changes 0
3600.07/3612.90 c # rounds 2
3600.07/3612.90 c # deted vars 5
3600.07/3612.90 c # deted constrs 2126
3600.07/3612.90 c # consecutive rounds of only bound changes 0
3600.07/3612.90 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (61051 MiB free)
memory of node 1: 64465 MiB (62725 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529060-1752259760/watcher-4529060-1752259760 -o /tmp/evaluation-result-4529060-1752259760/solver-4529060-1752259760 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1752256148-116319 --watchdog 3760 mixed-bag HOME/instance-4529060-1752259760.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=116964, runsolver pid=116957
[startup+0.100101 s]*
/proc/loadavg: 4.09 4.09 4.09 6/251 116965
/proc/meminfo: memFree=126738756/131382120 swapFree=33010416/33010684
[pid=116964] ppid=116957 vsize=102888 memory=30312 CPUtime=0.09 cores=5,7
/proc/116964/stat : 116964 (mixed-bag) R 116957 116964 116306 0 -1 4194304 4228 0 0 0 7 2 0 0 20 0 1 0 141654861 105357312 7546 18446744073709551615 4235264 15840557 140725457449024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 28815360 140725457451418 140725457451495 140725457451495 140725457457099 0
/proc/116964/statm: 25722 7578 3936 2834 0 7927 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 102888 KiB
Current children cumulated memory: 30312 KiB
[startup+0.212705 s]*
/proc/loadavg: 4.09 4.09 4.09 6/251 116965
/proc/meminfo: memFree=126715344/131382120 swapFree=33010416/33010684
[pid=116964] ppid=116957 vsize=109300 memory=36372 CPUtime=0.21 cores=5,7
/proc/116964/stat : 116964 (mixed-bag) R 116957 116964 116306 0 -1 4194304 5828 0 0 0 18 3 0 0 20 0 1 0 141654861 111923200 9093 18446744073709551615 4235264 15840557 140725457449024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 28815360 140725457451418 140725457451495 140725457451495 140725457457099 0
/proc/116964/statm: 27325 9093 4032 2834 0 9530 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 109300 KiB
Current children cumulated memory: 36372 KiB
[startup+0.312724 s]*
/proc/loadavg: 4.09 4.09 4.09 6/251 116965
/proc/meminfo: memFree=126691656/131382120 swapFree=33010416/33010684
[pid=116964] ppid=116957 vsize=118760 memory=42644 CPUtime=0.3 cores=5,7
/proc/116964/stat : 116964 (mixed-bag) R 116957 116964 116306 0 -1 4194304 7376 0 0 0 27 3 0 0 20 0 1 0 141654861 121610240 10661 18446744073709551615 4235264 15840557 140725457449024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 28815360 140725457451418 140725457451495 140725457451495 140725457457099 0
/proc/116964/statm: 29690 10661 4064 2834 0 11895 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 118760 KiB
Current children cumulated memory: 42644 KiB
[startup+0.70027 s]
/proc/loadavg: 4.09 4.09 4.09 7/251 116965
/proc/meminfo: memFree=126675780/131382120 swapFree=33010416/33010684
[pid=116964] ppid=116957 vsize=131008 memory=54164 CPUtime=0.67 cores=5,7
/proc/116964/stat : 116964 (mixed-bag) R 116957 116964 116306 0 -1 4194304 10253 0 0 0 63 4 0 0 20 0 1 0 141654861 134152192 13541 18446744073709551615 4235264 15840557 140725457449024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 28815360 140725457451418 140725457451495 140725457451495 140725457457099 0
/proc/116964/statm: 32752 13541 4064 2834 0 14957 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 131008 KiB
Current children cumulated memory: 54164 KiB
[startup+1.50026 s]
/proc/loadavg: 4.09 4.09 4.09 6/251 116965
/proc/meminfo: memFree=126635460/131382120 swapFree=33010416/33010684
[pid=116964] ppid=116957 vsize=138532 memory=61972 CPUtime=1.47 cores=5,7
/proc/116964/stat : 116964 (mixed-bag) R 116957 116964 116306 0 -1 4194304 12075 0 0 0 142 5 0 0 20 0 1 0 141654861 141856768 15493 18446744073709551615 4235264 15840557 140725457449024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 28815360 140725457451418 140725457451495 140725457451495 140725457457099 0
/proc/116964/statm: 34633 15493 4224 2834 0 16838 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 138532 KiB
Current children cumulated memory: 61972 KiB
[startup+3.11222 s]
/proc/loadavg: 4.09 4.09 4.09 6/251 116965
/proc/meminfo: memFree=126555328/131382120 swapFree=33010416/33010684
[pid=116964] ppid=116957 vsize=169592 memory=91992 CPUtime=3.08 cores=5,7
/proc/116964/stat : 116964 (mixed-bag) R 116957 116964 116306 0 -1 4194304 21230 0 0 0 301 7 0 0 20 0 1 0 141654861 173662208 22998 18446744073709551615 4235264 15840557 140725457449024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 28815360 140725457451418 140725457451495 140725457451495 140725457457099 0
/proc/116964/statm: 42398 22998 4256 2834 0 24603 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 169592 KiB
Current children cumulated memory: 91992 KiB
[startup+6.30027 s]
/proc/loadavg: 4.08 4.09 4.09 6/251 116965
/proc/meminfo: memFree=126532144/131382120 swapFree=33010416/33010684
[pid=116964] ppid=116957 vsize=174388 memory=97944 CPUtime=6.25 cores=5,7
/proc/116964/stat : 116964 (mixed-bag) R 116957 116964 116306 0 -1 4194304 24737 0 0 0 618 7 0 0 20 0 1 0 141654861 178573312 24486 18446744073709551615 4235264 15840557 140725457449024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 28815360 140725457451418 140725457451495 140725457451495 140725457457099 0
/proc/116964/statm: 43597 24486 4256 2834 0 25802 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 174388 KiB
Current children cumulated memory: 97944 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.09 4.09 7/249 116994
/proc/meminfo: memFree=126724652/131382120 swapFree=33010416/33010684
[pid=116964] ppid=116957 vsize=175444 memory=98840 CPUtime=12.61 cores=5,7
/proc/116964/stat : 116964 (mixed-bag) R 116957 116964 116306 0 -1 4194304 24964 0 0 0 1252 9 0 0 20 0 1 0 141654861 179654656 24710 18446744073709551615 4235264 15840557 140725457449024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 28815360 140725457451418 140725457451495 140725457451495 140725457457099 0
/proc/116964/statm: 43861 24710 4256 2834 0 26066 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 175444 KiB
Current children cumulated memory: 98840 KiB
[startup+25.5003 s]
/proc/loadavg: 4.13 4.10 4.09 6/251 117055
/proc/meminfo: memFree=126729928/131382120 swapFree=33010416/33010684
[pid=116964] ppid=116957 vsize=196092 memory=119784 CPUtime=25.36 cores=5,7
/proc/116964/stat : 116964 (mixed-bag) R 116957 116964 116306 0 -1 4194304 31929 0 0 0 2524 12 0 0 20 0 1 0 141654861 200798208 29946 18446744073709551615 4235264 15840557 140725457449024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 28815360 140725457451418 140725457451495 140725457451495 140725457457099 0
/proc/116964/statm: 49023 29946 4256 2834 0 31228 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 196092 KiB
Current children cumulated memory: 119784 KiB
[startup+51.1122 s]
/proc/loadavg: 4.09 4.09 4.09 6/251 117056
/proc/meminfo: memFree=126650668/131382120 swapFree=33010416/33010684
[pid=116964] ppid=116957 vsize=214748 memory=138688 CPUtime=50.89 cores=5,7
/proc/116964/stat : 116964 (mixed-bag) R 116957 116964 116306 0 -1 4194304 42282 0 0 0 5075 14 0 0 20 0 1 0 141654861 219901952 34672 18446744073709551615 4235264 15840557 140725457449024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 28815360 140725457451418 140725457451495 140725457451495 140725457457099 0
/proc/116964/statm: 53687 34672 4288 2834 0 35892 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 214748 KiB
Current children cumulated memory: 138688 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.09 4.09 6/250 117058
/proc/meminfo: memFree=126562464/131382120 swapFree=33010416/33010684
[pid=116964] ppid=116957 vsize=214748 memory=140352 CPUtime=101.89 cores=5,7
/proc/116964/stat : 116964 (mixed-bag) R 116957 116964 116306 0 -1 4194304 42317 0 0 0 10175 14 0 0 20 0 1 0 141654861 219901952 35088 18446744073709551615 4235264 15840557 140725457449024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 28815360 140725457451418 140725457451495 140725457451495 140725457457099 0
/proc/116964/statm: 53687 35088 4288 2834 0 35892 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 214748 KiB
Current children cumulated memory: 140352 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/251 117061
/proc/meminfo: memFree=126479856/131382120 swapFree=33010416/33010684
[pid=116964] ppid=116957 vsize=227828 memory=161896 CPUtime=161.69 cores=5,7
/proc/116964/stat : 116964 (mixed-bag) R 116957 116964 116306 0 -1 4194304 47309 0 0 0 16155 14 0 0 20 0 1 0 141654861 233295872 40474 18446744073709551615 4235264 15840557 140725457449024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 28815360 140725457451418 140725457451495 140725457451495 140725457457099 0
/proc/116964/statm: 56957 40474 4288 2834 0 39162 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 227828 KiB
Current children cumulated memory: 161896 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/251 117063
/proc/meminfo: memFree=126446300/131382120 swapFree=33010416/33010684
[pid=116964] ppid=116957 vsize=240688 memory=173556 CPUtime=221.51 cores=5,7
/proc/116964/stat : 116964 (mixed-bag) R 116957 116964 116306 0 -1 4194304 52760 0 0 0 22136 15 0 0 20 0 1 0 141654861 246464512 43389 18446744073709551615 4235264 15840557 140725457449024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 28815360 140725457451418 140725457451495 140725457451495 140725457457099 0
/proc/116964/statm: 60172 43389 4288 2834 0 42377 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 240688 KiB
Current children cumulated memory: 173556 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/251 117064
/proc/meminfo: memFree=126418760/131382120 swapFree=33010416/33010684
[pid=116964] ppid=116957 vsize=257716 memory=191392 CPUtime=281.32 cores=5,7
/proc/116964/stat : 116964 (mixed-bag) R 116957 116964 116306 0 -1 4194304 57977 0 0 0 28116 16 0 0 20 0 1 0 141654861 263901184 47848 18446744073709551615 4235264 15840557 140725457449024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 28815360 140725457451418 140725457451495 140725457451495 140725457457099 0
/proc/116964/statm: 64429 47848 4288 2834 0 46634 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 257716 KiB
Current children cumulated memory: 191392 KiB
[startup+342.3 s]
/proc/loadavg: 4.58 4.23 4.13 5/251 117200
/proc/meminfo: memFree=126217632/131382120 swapFree=33010416/33010684
[pid=116964] ppid=116957 vsize=259228 memory=198300 CPUtime=341.1 cores=5,7
/proc/116964/stat : 116964 (mixed-bag) R 116957 116964 116306 0 -1 4194304 59503 0 0 0 34042 68 0 0 20 0 1 0 141654861 265449472 49575 18446744073709551615 4235264 15840557 140725457449024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 28815360 140725457451418 140725457451495 140725457451495 140725457457099 0
/proc/116964/statm: 64807 49575 4576 2834 0 47012 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 259228 KiB
Current children cumulated memory: 198300 KiB
[startup+402.3 s]
/proc/loadavg: 4.72 4.33 4.17 4/247 117434
/proc/meminfo: memFree=126229916/131382120 swapFree=33010416/33010684
[pid=116964] ppid=116957 vsize=259228 memory=199068 CPUtime=400.84 cores=5,7
/proc/116964/stat : 116964 (mixed-bag) R 116957 116964 116306 0 -1 4194304 59730 0 0 0 39961 123 0 0 20 0 1 0 141654861 265449472 49767 18446744073709551615 4235264 15840557 140725457449024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 28815360 140725457451418 140725457451495 140725457451495 140725457457099 0
/proc/116964/statm: 64807 49767 4576 2834 0 47012 0
Current children cumulated CPU time: 400.84 s
Current children cumulated vsize: 259228 KiB
Current children cumulated memory: 199068 KiB
[startup+462.3 s]
/proc/loadavg: 4.57 4.37 4.20 5/252 117476
/proc/meminfo: memFree=119065268/131382120 swapFree=33010416/33010684
[pid=116964] ppid=116957 vsize=278196 memory=210756 CPUtime=460.6 cores=5,7
/proc/116964/stat : 116964 (mixed-bag) R 116957 116964 116306 0 -1 4194304 60069 0 0 0 45898 162 0 0 20 0 1 0 141654861 284872704 52689 18446744073709551615 4235264 15840557 140725457449024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 28815360 140725457451418 140725457451495 140725457451495 140725457457099 0
/proc/116964/statm: 69549 52689 4576 2834 0 51754 0
Current children cumulated CPU time: 460.6 s
################
# More data... #
################
Current children cumulated memory: 285688 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.11 4.13 5/251 117651
/proc/meminfo: memFree=121853180/131382120 swapFree=33010416/33010684
[pid=116964] ppid=116957 vsize=366304 memory=290040 CPUtime=2911.87 cores=5,7
/proc/116964/stat : 116964 (mixed-bag) R 116957 116964 116306 0 -1 4194304 62269 0 0 0 290104 1083 0 0 20 0 1 0 141654861 375095296 72510 18446744073709551615 4235264 15840557 140725457449024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 28815360 140725457451418 140725457451495 140725457451495 140725457457099 0
/proc/116964/statm: 91576 72510 4576 2834 0 73781 0
Current children cumulated CPU time: 2911.87 s
Current children cumulated vsize: 366304 KiB
Current children cumulated memory: 290040 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.10 4.13 5/251 117657
/proc/meminfo: memFree=121854440/131382120 swapFree=33010416/33010684
[pid=116964] ppid=116957 vsize=366304 memory=290040 CPUtime=2971.65 cores=5,7
/proc/116964/stat : 116964 (mixed-bag) R 116957 116964 116306 0 -1 4194304 62269 0 0 0 296066 1099 0 0 20 0 1 0 141654861 375095296 72510 18446744073709551615 4235264 15840557 140725457449024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 28815360 140725457451418 140725457451495 140725457451495 140725457457099 0
/proc/116964/statm: 91576 72510 4576 2834 0 73781 0
Current children cumulated CPU time: 2971.65 s
Current children cumulated vsize: 366304 KiB
Current children cumulated memory: 290040 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.11 4.13 5/251 117659
/proc/meminfo: memFree=121822680/131382120 swapFree=33010416/33010684
[pid=116964] ppid=116957 vsize=366816 memory=290552 CPUtime=3031.45 cores=5,7
/proc/116964/stat : 116964 (mixed-bag) R 116957 116964 116306 0 -1 4194304 62397 0 0 0 302024 1121 0 0 20 0 1 0 141654861 375619584 72638 18446744073709551615 4235264 15840557 140725457449024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 28815360 140725457451418 140725457451495 140725457451495 140725457457099 0
/proc/116964/statm: 91704 72638 4576 2834 0 73909 0
Current children cumulated CPU time: 3031.45 s
Current children cumulated vsize: 366816 KiB
Current children cumulated memory: 290552 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/251 117661
/proc/meminfo: memFree=121763464/131382120 swapFree=33010416/33010684
[pid=116964] ppid=116957 vsize=367004 memory=290680 CPUtime=3091.23 cores=5,7
/proc/116964/stat : 116964 (mixed-bag) R 116957 116964 116306 0 -1 4194304 62444 0 0 0 307983 1140 0 0 20 0 1 0 141654861 375812096 72670 18446744073709551615 4235264 15840557 140725457449024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 28815360 140725457451418 140725457451495 140725457451495 140725457457099 0
/proc/116964/statm: 91751 72670 4576 2834 0 73956 0
Current children cumulated CPU time: 3091.23 s
Current children cumulated vsize: 367004 KiB
Current children cumulated memory: 290680 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.10 4.12 5/250 117663
/proc/meminfo: memFree=121717816/131382120 swapFree=33010416/33010684
[pid=116964] ppid=116957 vsize=367004 memory=290680 CPUtime=3151.01 cores=5,7
/proc/116964/stat : 116964 (mixed-bag) R 116957 116964 116306 0 -1 4194304 62444 0 0 0 313944 1157 0 0 20 0 1 0 141654861 375812096 72670 18446744073709551615 4235264 15840557 140725457449024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 28815360 140725457451418 140725457451495 140725457451495 140725457457099 0
/proc/116964/statm: 91751 72670 4576 2834 0 73956 0
Current children cumulated CPU time: 3151.01 s
Current children cumulated vsize: 367004 KiB
Current children cumulated memory: 290680 KiB
[startup+3222.3 s]
/proc/loadavg: 4.70 4.27 4.17 5/250 117665
/proc/meminfo: memFree=121718320/131382120 swapFree=33010416/33010684
[pid=116964] ppid=116957 vsize=367004 memory=290680 CPUtime=3210.79 cores=5,7
/proc/116964/stat : 116964 (mixed-bag) R 116957 116964 116306 0 -1 4194304 62444 0 0 0 319899 1180 0 0 20 0 1 0 141654861 375812096 72670 18446744073709551615 4235264 15840557 140725457449024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 28815360 140725457451418 140725457451495 140725457451495 140725457457099 0
/proc/116964/statm: 91751 72670 4576 2834 0 73956 0
Current children cumulated CPU time: 3210.79 s
Current children cumulated vsize: 367004 KiB
Current children cumulated memory: 290680 KiB
[startup+3282.3 s]
/proc/loadavg: 4.41 4.27 4.18 5/250 117668
/proc/meminfo: memFree=121720376/131382120 swapFree=33010416/33010684
[pid=116964] ppid=116957 vsize=367004 memory=290680 CPUtime=3270.58 cores=5,7
/proc/116964/stat : 116964 (mixed-bag) R 116957 116964 116306 0 -1 4194304 62444 0 0 0 325857 1201 0 0 20 0 1 0 141654861 375812096 72670 18446744073709551615 4235264 15840557 140725457449024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 28815360 140725457451418 140725457451495 140725457451495 140725457457099 0
/proc/116964/statm: 91751 72670 4576 2834 0 73956 0
Current children cumulated CPU time: 3270.58 s
Current children cumulated vsize: 367004 KiB
Current children cumulated memory: 290680 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.24 4.17 5/250 117670
/proc/meminfo: memFree=121640976/131382120 swapFree=33010416/33010684
[pid=116964] ppid=116957 vsize=367260 memory=290936 CPUtime=3330.36 cores=5,7
/proc/116964/stat : 116964 (mixed-bag) R 116957 116964 116306 0 -1 4194304 62557 0 0 0 331815 1221 0 0 20 0 1 0 141654861 376074240 72734 18446744073709551615 4235264 15840557 140725457449024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 28815360 140725457451418 140725457451495 140725457451495 140725457457099 0
/proc/116964/statm: 91815 72734 4576 2834 0 74020 0
Current children cumulated CPU time: 3330.36 s
Current children cumulated vsize: 367260 KiB
Current children cumulated memory: 290936 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.22 4.17 5/250 117672
/proc/meminfo: memFree=121597936/131382120 swapFree=33010416/33010684
[pid=116964] ppid=116957 vsize=367260 memory=290936 CPUtime=3390.15 cores=5,7
/proc/116964/stat : 116964 (mixed-bag) R 116957 116964 116306 0 -1 4194304 62558 0 0 0 337774 1241 0 0 20 0 1 0 141654861 376074240 72734 18446744073709551615 4235264 15840557 140725457449024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 28815360 140725457451418 140725457451495 140725457451495 140725457457099 0
/proc/116964/statm: 91815 72734 4576 2834 0 74020 0
Current children cumulated CPU time: 3390.15 s
Current children cumulated vsize: 367260 KiB
Current children cumulated memory: 290936 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.21 4.17 5/250 117674
/proc/meminfo: memFree=121592560/131382120 swapFree=33010416/33010684
[pid=116964] ppid=116957 vsize=367260 memory=290936 CPUtime=3449.94 cores=5,7
/proc/116964/stat : 116964 (mixed-bag) R 116957 116964 116306 0 -1 4194304 62563 0 0 0 343734 1260 0 0 20 0 1 0 141654861 376074240 72734 18446744073709551615 4235264 15840557 140725457449024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 28815360 140725457451418 140725457451495 140725457451495 140725457457099 0
/proc/116964/statm: 91815 72734 4576 2834 0 74020 0
Current children cumulated CPU time: 3449.94 s
Current children cumulated vsize: 367260 KiB
Current children cumulated memory: 290936 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.18 4.17 5/250 117678
/proc/meminfo: memFree=121555468/131382120 swapFree=33010416/33010684
[pid=116964] ppid=116957 vsize=367260 memory=294008 CPUtime=3509.73 cores=5,7
/proc/116964/stat : 116964 (mixed-bag) R 116957 116964 116306 0 -1 4194304 62602 0 0 0 349700 1273 0 0 20 0 1 0 141654861 376074240 73502 18446744073709551615 4235264 15840557 140725457449024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 28815360 140725457451418 140725457451495 140725457451495 140725457457099 0
/proc/116964/statm: 91815 73502 4576 2834 0 74020 0
Current children cumulated CPU time: 3509.73 s
Current children cumulated vsize: 367260 KiB
Current children cumulated memory: 294008 KiB
[startup+3582.3 s]
/proc/loadavg: 4.04 4.15 4.16 5/251 117686
/proc/meminfo: memFree=121530188/131382120 swapFree=33010416/33010684
[pid=116964] ppid=116957 vsize=368864 memory=295160 CPUtime=3569.55 cores=5,7
/proc/116964/stat : 116964 (mixed-bag) R 116957 116964 116306 0 -1 4194304 62930 0 0 0 355669 1286 0 0 20 0 1 0 141654861 377716736 73790 18446744073709551615 4235264 15840557 140725457449024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 28815360 140725457451418 140725457451495 140725457451495 140725457457099 0
/proc/116964/statm: 92216 73790 4576 2834 0 74421 0
Current children cumulated CPU time: 3569.55 s
Current children cumulated vsize: 368864 KiB
Current children cumulated memory: 295160 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.9 s]
/proc/loadavg: 4.08 4.15 4.16 5/251 117688
/proc/meminfo: memFree=121477696/131382120 swapFree=33010416/33010684
[pid=116964] ppid=116957 vsize=368864 memory=295160 CPUtime=3600.07 cores=5,7
/proc/116964/stat : 116964 (mixed-bag) R 116957 116964 116306 0 -1 4194304 62930 0 0 0 358714 1293 0 0 20 0 1 0 141654861 377716736 73790 18446744073709551615 4235264 15840557 140725457449024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 28815360 140725457451418 140725457451495 140725457451495 140725457457099 0
/proc/116964/statm: 92216 73790 4576 2834 0 74421 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 368864 KiB
Current children cumulated memory: 295160 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.91 s]
# the end of solver process 116964 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.15 s, system=12.9389 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.9 s]
/proc/loadavg: 4.08 4.15 4.16 5/251 117688
/proc/meminfo: memFree=121477696/131382120 swapFree=33010416/33010684
[pid=116964] ppid=116957 vsize=368864 memory=295160 CPUtime=3600.07 cores=5,7
/proc/116964/stat : 116964 (mixed-bag) R 116957 116964 116306 0 -1 4194304 62930 0 0 0 358714 1293 0 0 20 0 1 0 141654861 377716736 73790 18446744073709551615 4235264 15840557 140725457449024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 28815360 140725457451418 140725457451495 140725457451495 140725457457099 0
/proc/116964/statm: 92216 73790 4576 2834 0 74421 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 368864 KiB
Current children cumulated memory: 295160 KiB
Child status: 0
Real time (s): 3612.91
CPU time (s): 3600.09
CPU user time (s): 3587.15
CPU system time (s): 12.9389
CPU usage (%): 99.6453
Max. virtual memory (cumulated for all children) (KiB): 368864
Max. memory (cumulated for all children) (KiB): 295160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.15
system time used= 12.9389
maximum resident set size= 295416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62954
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= 190
involuntary context switches= 1254
# summary of solver processes directly reported to runsolver:
# pid: 116964
# total CPU time (s): 3600.09
# total CPU user time (s): 3587.15
# total CPU system time (s): 12.9389
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4361 second user time and 33.7021 second system time
The end
Begin job on nodeC002 at 2025-07-11 20:49:20
IDJOB=4529060
IDBENCH=148770
IDSOLVER=3386
FILE ID=nodeC002/4529060-1752259760
RUNJOBID= nodeC002-1752256148-116319
SLURM_JOB_ID= 9682593
Free space on /tmp= 431224 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx49.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529060-1752259760/watcher-4529060-1752259760 -o /tmp/evaluation-result-4529060-1752259760/solver-4529060-1752259760 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1752256148-116319 --watchdog 3760 mixed-bag HOME/instance-4529060-1752259760.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bb00c8681178995acecbc2b6e4ec1a1a
RANDOM SEED=1877573857
nodeC002 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.898
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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 : 1197.196
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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.124
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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.289
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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 : 3491.883
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.223
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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.296
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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.264
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 126752676 kB
MemAvailable: 129394140 kB
Buffers: 2128 kB
Cached: 3440624 kB
SwapCached: 28 kB
Active: 968588 kB
Inactive: 3082820 kB
Active(anon): 620184 kB
Inactive(anon): 6404 kB
Active(file): 348404 kB
Inactive(file): 3076416 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 31832 kB
Writeback: 16 kB
AnonPages: 610680 kB
Mapped: 132280 kB
Shmem: 17932 kB
KReclaimable: 112540 kB
Slab: 201308 kB
SReclaimable: 112540 kB
SUnreclaim: 88768 kB
KernelStack: 4016 kB
PageTables: 4228 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 1007032 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149384 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 520192 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 181064 kB
DirectMap2M: 8110080 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431180 MiB
End job on nodeC002 at 2025-07-11 21:49:34