0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.08/0.17 c [STEP] preprocessing with Papilo
0.28/0.36 c Papilo could not simplify the problem
0.28/0.36 c [STEP] solving with SCIP
299.58/300.55 c [STEP] preprocessing done, loading into solver
299.68/300.68 c [STEP] solving
299.68/300.68 c #variables 1151 #constraints 80258
299.68/300.68 c SMALL=int, LARGE=long long
299.68/300.68 d SCIPUB -42
299.68/300.68 c bounds - >= -1150 @ 299.42
299.68/300.68 c stratification level: 0
329.89/330.90 c bounds - >= -205 @ 299.464
329.89/330.90 c bounds - >= -204 @ 299.465
329.89/330.90 c bounds - >= -203 @ 299.465
329.89/330.90 c bounds - >= -202 @ 299.465
329.89/330.90 c bounds - >= -201 @ 299.465
329.89/330.90 c bounds - >= -200 @ 299.466
329.89/330.90 c bounds - >= -199 @ 299.466
329.89/330.90 c bounds - >= -198 @ 299.466
329.89/330.90 c bounds - >= -197 @ 299.466
329.89/330.90 c bounds - >= -196 @ 299.467
329.89/330.90 c bounds - >= -195 @ 299.467
329.89/330.90 c bounds - >= -194 @ 299.467
329.89/330.90 c bounds - >= -193 @ 299.468
329.89/330.90 c bounds - >= -192 @ 299.468
329.89/330.90 c bounds - >= -191 @ 299.468
329.89/330.90 c bounds - >= -190 @ 299.468
329.89/330.90 c bounds - >= -189 @ 299.469
329.89/330.90 c bounds - >= -188 @ 299.469
329.89/330.90 c bounds - >= -187 @ 299.471
329.89/330.90 c bounds - >= -186 @ 299.471
329.89/330.90 c bounds - >= -185 @ 299.471
329.89/330.90 c bounds - >= -184 @ 299.472
329.89/330.90 c bounds - >= -183 @ 299.472
329.89/330.90 c bounds - >= -182 @ 299.473
329.89/330.90 c #Conflicts: 1000 | #Constraints: 81488
329.89/330.90 c #Conflicts: 2000 | #Constraints: 82488
329.89/330.90 c INPROCESSING
329.89/330.90 c GARBAGE COLLECT
329.89/330.90 c #Conflicts: 3000 | #Constraints: 82475
329.89/330.90 c #Conflicts: 4000 | #Constraints: 83475
329.89/330.90 c INPROCESSING
329.89/330.90 c GARBAGE COLLECT
329.89/330.90 c #Conflicts: 5000 | #Constraints: 82880
329.89/330.90 c #Conflicts: 6000 | #Constraints: 83880
329.89/330.90 c INPROCESSING
329.89/330.90 c GARBAGE COLLECT
329.89/330.90 c #Conflicts: 7000 | #Constraints: 82885
329.89/330.90 c #Conflicts: 8000 | #Constraints: 83885
329.89/330.90 c #Conflicts: 9000 | #Constraints: 84885
329.89/330.90 c INPROCESSING
329.89/330.90 c GARBAGE COLLECT
329.89/330.90 c #Conflicts: 10000 | #Constraints: 83589
329.89/330.90 c #Conflicts: 11000 | #Constraints: 84589
329.89/330.90 c #Conflicts: 12000 | #Constraints: 85589
329.89/330.90 c INPROCESSING
329.89/330.90 c GARBAGE COLLECT
329.89/330.90 c #Conflicts: 13000 | #Constraints: 84047
329.89/330.90 c #Conflicts: 14000 | #Constraints: 85047
329.89/330.90 c #Conflicts: 15000 | #Constraints: 86047
329.89/330.90 c INPROCESSING
329.89/330.90 c GARBAGE COLLECT
329.89/330.90 c #Conflicts: 16000 | #Constraints: 84279
329.89/330.90 c #Conflicts: 17000 | #Constraints: 85279
329.89/330.90 c #Conflicts: 18000 | #Constraints: 86279
329.89/330.90 c INPROCESSING
329.89/330.90 c GARBAGE COLLECT
329.89/330.90 c #Conflicts: 19000 | #Constraints: 84299
329.89/330.90 c #Conflicts: 20000 | #Constraints: 85299
329.89/330.90 c #Conflicts: 21000 | #Constraints: 86299
329.89/330.90 c INPROCESSING
329.89/330.90 c GARBAGE COLLECT
329.89/330.90 c #Conflicts: 22000 | #Constraints: 84101
329.89/330.90 c #Conflicts: 23000 | #Constraints: 85101
329.89/330.90 c #Conflicts: 24000 | #Constraints: 86101
329.89/330.90 c #Conflicts: 25000 | #Constraints: 87101
329.89/330.90 c INPROCESSING
329.89/330.90 c GARBAGE COLLECT
329.89/330.90 c #Conflicts: 26000 | #Constraints: 84712
329.89/330.90 c #Conflicts: 27000 | #Constraints: 85712
329.89/330.90 c #Conflicts: 28000 | #Constraints: 86712
329.89/330.90 c #Conflicts: 29000 | #Constraints: 87712
329.89/330.90 c INPROCESSING
329.89/330.90 c GARBAGE COLLECT
329.89/330.90 c #Conflicts: 30000 | #Constraints: 85109
329.89/330.90 c #Conflicts: 31000 | #Constraints: 86109
329.89/330.90 c #Conflicts: 32000 | #Constraints: 87109
329.89/330.90 c #Conflicts: 33000 | #Constraints: 88109
329.89/330.90 c INPROCESSING
329.89/330.90 c GARBAGE COLLECT
329.89/330.90 c #Conflicts: 34000 | #Constraints: 85321
329.89/330.90 c #Conflicts: 35000 | #Constraints: 86321
329.89/330.90 c #Conflicts: 36000 | #Constraints: 87321
329.89/330.90 c #Conflicts: 37000 | #Constraints: 88321
329.89/330.90 c INPROCESSING
329.89/330.90 c GARBAGE COLLECT
329.89/330.90 c #Conflicts: 38000 | #Constraints: 85322
329.89/330.90 c #Conflicts: 39000 | #Constraints: 86322
329.89/330.90 c #Conflicts: 40000 | #Constraints: 87322
329.89/330.90 c #Conflicts: 41000 | #Constraints: 88322
329.89/330.90 c INPROCESSING
329.89/330.90 c GARBAGE COLLECT
329.89/330.90 c #Conflicts: 42000 | #Constraints: 85136
329.89/330.90 c #Conflicts: 43000 | #Constraints: 86136
329.89/330.90 c #Conflicts: 44000 | #Constraints: 87136
329.89/330.90 c #Conflicts: 45000 | #Constraints: 88136
329.89/330.90 c #Conflicts: 46000 | #Constraints: 89136
329.89/330.90 c INPROCESSING
329.89/330.90 c GARBAGE COLLECT
329.89/330.90 c #Conflicts: 47000 | #Constraints: 85742
329.89/330.90 c #Conflicts: 48000 | #Constraints: 86742
329.89/330.90 c #Conflicts: 49000 | #Constraints: 87742
329.89/330.90 c #Conflicts: 50000 | #Constraints: 88742
329.89/330.90 c #Conflicts: 51000 | #Constraints: 89742
329.89/330.90 c INPROCESSING
329.89/330.90 c GARBAGE COLLECT
329.89/330.90 c #Conflicts: 52000 | #Constraints: 86131
329.89/330.90 c #Conflicts: 53000 | #Constraints: 87131
329.89/330.90 c #Conflicts: 54000 | #Constraints: 88131
329.89/330.90 c #Conflicts: 55000 | #Constraints: 89131
329.89/330.90 c #Conflicts: 56000 | #Constraints: 90131
389.72/390.91 c INPROCESSING
389.72/390.91 c GARBAGE COLLECT
389.72/390.91 c #Conflicts: 57000 | #Constraints: 86333
389.72/390.91 c #Conflicts: 58000 | #Constraints: 87333
389.72/390.91 c #Conflicts: 59000 | #Constraints: 88333
389.72/390.91 c #Conflicts: 60000 | #Constraints: 89333
389.72/390.91 c #Conflicts: 61000 | #Constraints: 90333
389.72/390.91 c INPROCESSING
389.72/390.91 c GARBAGE COLLECT
389.72/390.91 c #Conflicts: 62000 | #Constraints: 86340
389.72/390.91 c #Conflicts: 63000 | #Constraints: 87340
389.72/390.91 c #Conflicts: 64000 | #Constraints: 88340
389.72/390.91 c #Conflicts: 65000 | #Constraints: 89340
389.72/390.91 c #Conflicts: 66000 | #Constraints: 90340
389.72/390.91 c INPROCESSING
389.72/390.91 c GARBAGE COLLECT
389.72/390.91 c #Conflicts: 67000 | #Constraints: 86133
389.72/390.91 c #Conflicts: 68000 | #Constraints: 87133
389.72/390.91 c #Conflicts: 69000 | #Constraints: 88133
389.72/390.91 c #Conflicts: 70000 | #Constraints: 89133
389.72/390.91 c #Conflicts: 71000 | #Constraints: 90133
389.72/390.91 c #Conflicts: 72000 | #Constraints: 91133
389.72/390.91 c INPROCESSING
389.72/390.91 c GARBAGE COLLECT
389.72/390.91 c #Conflicts: 73000 | #Constraints: 86729
389.72/390.91 c #Conflicts: 74000 | #Constraints: 87729
389.72/390.91 c #Conflicts: 75000 | #Constraints: 88729
389.72/390.91 c #Conflicts: 76000 | #Constraints: 89729
389.72/390.91 c #Conflicts: 77000 | #Constraints: 90729
389.72/390.91 c #Conflicts: 78000 | #Constraints: 91729
389.72/390.91 c INPROCESSING
389.72/390.91 c GARBAGE COLLECT
389.72/390.91 c #Conflicts: 79000 | #Constraints: 87141
389.72/390.91 c #Conflicts: 80000 | #Constraints: 88141
389.72/390.91 c #Conflicts: 81000 | #Constraints: 89141
389.72/390.91 c #Conflicts: 82000 | #Constraints: 90141
389.72/390.91 c #Conflicts: 83000 | #Constraints: 91141
389.72/390.91 c #Conflicts: 84000 | #Constraints: 92141
389.72/390.91 c INPROCESSING
389.72/390.91 c GARBAGE COLLECT
389.72/390.91 c #Conflicts: 85000 | #Constraints: 87348
389.72/390.91 c #Conflicts: 86000 | #Constraints: 88348
389.72/390.91 c #Conflicts: 87000 | #Constraints: 89348
389.72/390.91 c #Conflicts: 88000 | #Constraints: 90348
389.72/390.91 c #Conflicts: 89000 | #Constraints: 91348
389.72/390.91 c #Conflicts: 90000 | #Constraints: 92348
389.72/390.91 c INPROCESSING
389.72/390.91 c GARBAGE COLLECT
389.72/390.91 c #Conflicts: 91000 | #Constraints: 87360
389.72/390.91 c #Conflicts: 92000 | #Constraints: 88360
389.72/390.91 c #Conflicts: 93000 | #Constraints: 89360
389.72/390.91 c #Conflicts: 94000 | #Constraints: 90360
389.72/390.91 c #Conflicts: 95000 | #Constraints: 91360
389.72/390.91 c #Conflicts: 96000 | #Constraints: 92360
389.72/390.91 c INPROCESSING
389.72/390.91 c GARBAGE COLLECT
389.72/390.91 c #Conflicts: 97000 | #Constraints: 87155
389.72/390.91 c #Conflicts: 98000 | #Constraints: 88155
389.72/390.91 c #Conflicts: 99000 | #Constraints: 89155
389.72/390.91 c #Conflicts: 100000 | #Constraints: 90155
389.72/390.91 c #Conflicts: 101000 | #Constraints: 91155
389.72/390.91 c #Conflicts: 102000 | #Constraints: 92155
389.72/390.91 c #Conflicts: 103000 | #Constraints: 93155
389.72/390.91 c INPROCESSING
389.72/390.91 c GARBAGE COLLECT
389.72/390.91 c #Conflicts: 104000 | #Constraints: 87749
389.72/390.91 c #Conflicts: 105000 | #Constraints: 88749
389.72/390.91 c #Conflicts: 106000 | #Constraints: 89749
389.72/390.91 c #Conflicts: 107000 | #Constraints: 90749
389.72/390.91 c #Conflicts: 108000 | #Constraints: 91749
389.72/390.91 c #Conflicts: 109000 | #Constraints: 92749
389.72/390.91 c #Conflicts: 110000 | #Constraints: 93749
389.72/390.91 c INPROCESSING
389.72/390.91 c GARBAGE COLLECT
389.72/390.91 c #Conflicts: 111000 | #Constraints: 88146
389.72/390.91 c #Conflicts: 112000 | #Constraints: 89146
389.72/390.91 c #Conflicts: 113000 | #Constraints: 90146
389.72/390.91 c #Conflicts: 114000 | #Constraints: 91146
389.72/390.91 c #Conflicts: 115000 | #Constraints: 92146
389.72/390.91 c #Conflicts: 116000 | #Constraints: 93146
389.72/390.91 c #Conflicts: 117000 | #Constraints: 94146
389.72/390.91 c INPROCESSING
389.72/390.91 c GARBAGE COLLECT
389.72/390.91 c #Conflicts: 118000 | #Constraints: 88349
389.72/390.91 c #Conflicts: 119000 | #Constraints: 89349
389.72/390.91 c #Conflicts: 120000 | #Constraints: 90349
389.72/390.91 c #Conflicts: 121000 | #Constraints: 91349
389.72/390.91 c #Conflicts: 122000 | #Constraints: 92349
389.72/390.91 c #Conflicts: 123000 | #Constraints: 93349
389.72/390.91 c #Conflicts: 124000 | #Constraints: 94349
389.72/390.91 c INPROCESSING
389.72/390.91 c GARBAGE COLLECT
389.72/390.91 c #Conflicts: 125000 | #Constraints: 88351
389.72/390.91 c #Conflicts: 126000 | #Constraints: 89351
389.72/390.91 c #Conflicts: 127000 | #Constraints: 90351
389.72/390.91 c #Conflicts: 128000 | #Constraints: 91351
462.92/464.30 c #Conflicts: 129000 | #Constraints: 92351
462.92/464.30 c #Conflicts: 130000 | #Constraints: 93351
462.92/464.30 c #Conflicts: 131000 | #Constraints: 94351
462.92/464.30 c INPROCESSING
462.92/464.30 c GARBAGE COLLECT
462.92/464.30 c #Conflicts: 132000 | #Constraints: 88165
462.92/464.30 c #Conflicts: 133000 | #Constraints: 89165
462.92/464.30 c #Conflicts: 134000 | #Constraints: 90165
462.92/464.30 c #Conflicts: 135000 | #Constraints: 91165
462.92/464.30 c #Conflicts: 136000 | #Constraints: 92165
462.92/464.30 c #Conflicts: 137000 | #Constraints: 93165
462.92/464.30 c #Conflicts: 138000 | #Constraints: 94165
462.92/464.30 c #Conflicts: 139000 | #Constraints: 95165
462.92/464.30 c INPROCESSING
462.92/464.30 c GARBAGE COLLECT
462.92/464.30 c #Conflicts: 140000 | #Constraints: 88775
462.92/464.30 c #Conflicts: 141000 | #Constraints: 89775
462.92/464.30 c #Conflicts: 142000 | #Constraints: 90775
462.92/464.30 c #Conflicts: 143000 | #Constraints: 91775
462.92/464.30 c #Conflicts: 144000 | #Constraints: 92775
462.92/464.30 c #Conflicts: 145000 | #Constraints: 93775
462.92/464.30 c #Conflicts: 146000 | #Constraints: 94775
462.92/464.30 c #Conflicts: 147000 | #Constraints: 95775
462.92/464.30 c INPROCESSING
462.92/464.30 c GARBAGE COLLECT
462.92/464.30 c #Conflicts: 148000 | #Constraints: 89177
462.92/464.30 c #Conflicts: 149000 | #Constraints: 90177
462.92/464.30 c #Conflicts: 150000 | #Constraints: 91177
462.92/464.30 c #Conflicts: 151000 | #Constraints: 92177
462.92/464.30 c #Conflicts: 152000 | #Constraints: 93177
462.92/464.30 c #Conflicts: 153000 | #Constraints: 94177
462.92/464.30 c #Conflicts: 154000 | #Constraints: 95177
462.92/464.30 c #Conflicts: 155000 | #Constraints: 96177
462.92/464.30 c INPROCESSING
462.92/464.30 c GARBAGE COLLECT
462.92/464.30 c #Conflicts: 156000 | #Constraints: 89380
462.92/464.30 c #Conflicts: 157000 | #Constraints: 90380
462.92/464.30 c #Conflicts: 158000 | #Constraints: 91380
462.92/464.30 c #Conflicts: 159000 | #Constraints: 92380
462.92/464.30 c #Conflicts: 160000 | #Constraints: 93380
462.92/464.30 c #Conflicts: 161000 | #Constraints: 94380
462.92/464.30 c #Conflicts: 162000 | #Constraints: 95380
462.92/464.30 c #Conflicts: 163000 | #Constraints: 96380
462.92/464.30 c INPROCESSING
462.92/464.30 c GARBAGE COLLECT
462.92/464.30 c #Conflicts: 164000 | #Constraints: 89377
462.92/464.30 c #Conflicts: 165000 | #Constraints: 90377
462.92/464.30 c #Conflicts: 166000 | #Constraints: 91377
462.92/464.30 c #Conflicts: 167000 | #Constraints: 92377
462.92/464.30 c #Conflicts: 168000 | #Constraints: 93377
462.92/464.30 c #Conflicts: 169000 | #Constraints: 94377
462.92/464.30 c #Conflicts: 170000 | #Constraints: 95377
462.92/464.30 c #Conflicts: 171000 | #Constraints: 96377
462.92/464.30 c INPROCESSING
462.92/464.30 c GARBAGE COLLECT
462.92/464.30 c #Conflicts: 172000 | #Constraints: 89153
462.92/464.30 c #Conflicts: 173000 | #Constraints: 90153
462.92/464.30 c #Conflicts: 174000 | #Constraints: 91153
462.92/464.30 c #Conflicts: 175000 | #Constraints: 92153
462.92/464.30 c #Conflicts: 176000 | #Constraints: 93153
462.92/464.30 c #Conflicts: 177000 | #Constraints: 94153
462.92/464.30 c #Conflicts: 178000 | #Constraints: 95153
462.92/464.30 c #Conflicts: 179000 | #Constraints: 96153
462.92/464.30 c #Conflicts: 180000 | #Constraints: 97153
462.92/464.30 c INPROCESSING
462.92/464.30 c GARBAGE COLLECT
462.92/464.30 c #Conflicts: 181000 | #Constraints: 89769
462.92/464.30 c #Conflicts: 182000 | #Constraints: 90769
462.92/464.30 c #Conflicts: 183000 | #Constraints: 91769
462.92/464.30 c #Conflicts: 184000 | #Constraints: 92769
462.92/464.30 c #Conflicts: 185000 | #Constraints: 93769
462.92/464.30 c #Conflicts: 186000 | #Constraints: 94769
462.92/464.30 c #Conflicts: 187000 | #Constraints: 95769
462.92/464.30 c #Conflicts: 188000 | #Constraints: 96769
462.92/464.30 c #Conflicts: 189000 | #Constraints: 97769
462.92/464.30 c INPROCESSING
462.92/464.30 c GARBAGE COLLECT
462.92/464.30 c #Conflicts: 190000 | #Constraints: 90168
462.92/464.30 c #Conflicts: 191000 | #Constraints: 91168
462.92/464.30 c #Conflicts: 192000 | #Constraints: 92168
462.92/464.30 c #Conflicts: 193000 | #Constraints: 93168
462.92/464.30 c #Conflicts: 194000 | #Constraints: 94168
462.92/464.30 c #Conflicts: 195000 | #Constraints: 95168
462.92/464.30 c #Conflicts: 196000 | #Constraints: 96168
462.92/464.30 c #Conflicts: 197000 | #Constraints: 97168
462.92/464.30 c #Conflicts: 198000 | #Constraints: 98168
462.92/464.30 c INPROCESSING
462.92/464.30 c GARBAGE COLLECT
462.92/464.30 c #Conflicts: 199000 | #Constraints: 90385
462.92/464.30 c #Conflicts: 200000 | #Constraints: 91385
462.92/464.30 c #Conflicts: 201000 | #Constraints: 92385
548.27/549.97 c #Conflicts: 202000 | #Constraints: 93385
548.27/549.97 c #Conflicts: 203000 | #Constraints: 94385
548.27/549.97 c #Conflicts: 204000 | #Constraints: 95385
548.27/549.97 c #Conflicts: 205000 | #Constraints: 96385
548.27/549.97 c #Conflicts: 206000 | #Constraints: 97385
548.27/549.97 c #Conflicts: 207000 | #Constraints: 98385
548.27/549.97 c INPROCESSING
548.27/549.97 c GARBAGE COLLECT
548.27/549.97 c #Conflicts: 208000 | #Constraints: 90383
548.27/549.97 c #Conflicts: 209000 | #Constraints: 91383
548.27/549.97 c #Conflicts: 210000 | #Constraints: 92383
548.27/549.97 c #Conflicts: 211000 | #Constraints: 93383
548.27/549.97 c #Conflicts: 212000 | #Constraints: 94383
548.27/549.97 c #Conflicts: 213000 | #Constraints: 95383
548.27/549.97 c #Conflicts: 214000 | #Constraints: 96383
548.27/549.97 c #Conflicts: 215000 | #Constraints: 97383
548.27/549.97 c #Conflicts: 216000 | #Constraints: 98383
548.27/549.97 c INPROCESSING
548.27/549.97 c GARBAGE COLLECT
548.27/549.97 c #Conflicts: 217000 | #Constraints: 90202
548.27/549.97 c #Conflicts: 218000 | #Constraints: 91202
548.27/549.97 c #Conflicts: 219000 | #Constraints: 92202
548.27/549.97 c #Conflicts: 220000 | #Constraints: 93202
548.27/549.97 c #Conflicts: 221000 | #Constraints: 94202
548.27/549.97 c #Conflicts: 222000 | #Constraints: 95202
548.27/549.97 c #Conflicts: 223000 | #Constraints: 96202
548.27/549.97 c #Conflicts: 224000 | #Constraints: 97202
548.27/549.97 c #Conflicts: 225000 | #Constraints: 98202
548.27/549.97 c #Conflicts: 226000 | #Constraints: 99202
548.27/549.97 c INPROCESSING
548.27/549.97 c GARBAGE COLLECT
548.27/549.97 c #Conflicts: 227000 | #Constraints: 90799
548.27/549.97 c #Conflicts: 228000 | #Constraints: 91799
548.27/549.97 c #Conflicts: 229000 | #Constraints: 92799
548.27/549.97 c #Conflicts: 230000 | #Constraints: 93799
548.27/549.97 c #Conflicts: 231000 | #Constraints: 94799
548.27/549.97 c #Conflicts: 232000 | #Constraints: 95799
548.27/549.97 c #Conflicts: 233000 | #Constraints: 96799
548.27/549.97 c #Conflicts: 234000 | #Constraints: 97799
548.27/549.97 c #Conflicts: 235000 | #Constraints: 98799
548.27/549.97 c #Conflicts: 236000 | #Constraints: 99799
548.27/549.97 c INPROCESSING
548.27/549.97 c GARBAGE COLLECT
548.27/549.97 c #Conflicts: 237000 | #Constraints: 91191
548.27/549.97 c #Conflicts: 238000 | #Constraints: 92191
548.27/549.97 c #Conflicts: 239000 | #Constraints: 93191
548.27/549.97 c #Conflicts: 240000 | #Constraints: 94191
548.27/549.97 c #Conflicts: 241000 | #Constraints: 95191
548.27/549.97 c #Conflicts: 242000 | #Constraints: 96191
548.27/549.97 c #Conflicts: 243000 | #Constraints: 97191
548.27/549.97 c #Conflicts: 244000 | #Constraints: 98191
548.27/549.97 c #Conflicts: 245000 | #Constraints: 99191
548.27/549.97 c #Conflicts: 246000 | #Constraints: 100191
548.27/549.97 c INPROCESSING
548.27/549.97 c GARBAGE COLLECT
548.27/549.97 c #Conflicts: 247000 | #Constraints: 91383
548.27/549.97 c #Conflicts: 248000 | #Constraints: 92383
548.27/549.97 c #Conflicts: 249000 | #Constraints: 93383
548.27/549.97 c #Conflicts: 250000 | #Constraints: 94383
548.27/549.97 c #Conflicts: 251000 | #Constraints: 95383
548.27/549.97 c #Conflicts: 252000 | #Constraints: 96383
548.27/549.97 c #Conflicts: 253000 | #Constraints: 97383
548.27/549.97 c #Conflicts: 254000 | #Constraints: 98383
548.27/549.97 c #Conflicts: 255000 | #Constraints: 99383
548.27/549.97 c #Conflicts: 256000 | #Constraints: 100383
548.27/549.97 c INPROCESSING
548.27/549.97 c GARBAGE COLLECT
548.27/549.97 c #Conflicts: 257000 | #Constraints: 91389
548.27/549.97 c #Conflicts: 258000 | #Constraints: 92389
548.27/549.97 c #Conflicts: 259000 | #Constraints: 93389
548.27/549.97 c #Conflicts: 260000 | #Constraints: 94389
548.27/549.97 c #Conflicts: 261000 | #Constraints: 95389
548.27/549.97 c #Conflicts: 262000 | #Constraints: 96389
548.27/549.97 c #Conflicts: 263000 | #Constraints: 97389
548.27/549.97 c #Conflicts: 264000 | #Constraints: 98389
548.27/549.97 c #Conflicts: 265000 | #Constraints: 99389
548.27/549.97 c #Conflicts: 266000 | #Constraints: 100389
548.27/549.97 c INPROCESSING
548.27/549.97 c GARBAGE COLLECT
548.27/549.97 c #Conflicts: 267000 | #Constraints: 91199
548.27/549.97 c #Conflicts: 268000 | #Constraints: 92199
548.27/549.97 c #Conflicts: 269000 | #Constraints: 93199
548.27/549.97 c #Conflicts: 270000 | #Constraints: 94199
548.27/549.97 c #Conflicts: 271000 | #Constraints: 95199
548.27/549.97 c #Conflicts: 272000 | #Constraints: 96199
548.27/549.97 c #Conflicts: 273000 | #Constraints: 97199
548.27/549.97 c #Conflicts: 274000 | #Constraints: 98199
548.27/549.97 c #Conflicts: 275000 | #Constraints: 99199
651.29/653.26 c #Conflicts: 276000 | #Constraints: 100199
651.29/653.26 c #Conflicts: 277000 | #Constraints: 101199
651.29/653.26 c INPROCESSING
651.29/653.26 c GARBAGE COLLECT
651.29/653.26 c #Conflicts: 278000 | #Constraints: 91793
651.29/653.26 c #Conflicts: 279000 | #Constraints: 92793
651.29/653.26 c #Conflicts: 280000 | #Constraints: 93793
651.29/653.26 c #Conflicts: 281000 | #Constraints: 94793
651.29/653.26 c #Conflicts: 282000 | #Constraints: 95793
651.29/653.26 c #Conflicts: 283000 | #Constraints: 96793
651.29/653.26 c #Conflicts: 284000 | #Constraints: 97793
651.29/653.26 c #Conflicts: 285000 | #Constraints: 98793
651.29/653.26 c #Conflicts: 286000 | #Constraints: 99793
651.29/653.26 c #Conflicts: 287000 | #Constraints: 100793
651.29/653.26 c #Conflicts: 288000 | #Constraints: 101793
651.29/653.26 c INPROCESSING
651.29/653.26 c GARBAGE COLLECT
651.29/653.26 c #Conflicts: 289000 | #Constraints: 92212
651.29/653.26 c #Conflicts: 290000 | #Constraints: 93212
651.29/653.26 c #Conflicts: 291000 | #Constraints: 94212
651.29/653.26 c #Conflicts: 292000 | #Constraints: 95212
651.29/653.26 c #Conflicts: 293000 | #Constraints: 96212
651.29/653.26 c #Conflicts: 294000 | #Constraints: 97212
651.29/653.26 c #Conflicts: 295000 | #Constraints: 98212
651.29/653.26 c #Conflicts: 296000 | #Constraints: 99212
651.29/653.26 c #Conflicts: 297000 | #Constraints: 100212
651.29/653.26 c #Conflicts: 298000 | #Constraints: 101212
651.29/653.26 c #Conflicts: 299000 | #Constraints: 102212
651.29/653.26 c INPROCESSING
651.29/653.26 c GARBAGE COLLECT
651.29/653.26 c #Conflicts: 300000 | #Constraints: 92397
651.29/653.26 c #Conflicts: 301000 | #Constraints: 93397
651.29/653.26 c #Conflicts: 302000 | #Constraints: 94397
651.29/653.26 c #Conflicts: 303000 | #Constraints: 95397
651.29/653.26 c #Conflicts: 304000 | #Constraints: 96397
651.29/653.26 c #Conflicts: 305000 | #Constraints: 97397
651.29/653.26 c #Conflicts: 306000 | #Constraints: 98397
651.29/653.26 c #Conflicts: 307000 | #Constraints: 99397
651.29/653.26 c #Conflicts: 308000 | #Constraints: 100397
651.29/653.26 c #Conflicts: 309000 | #Constraints: 101397
651.29/653.26 c #Conflicts: 310000 | #Constraints: 102397
651.29/653.26 c INPROCESSING
651.29/653.26 c GARBAGE COLLECT
651.29/653.26 c #Conflicts: 311000 | #Constraints: 92410
651.29/653.26 c #Conflicts: 312000 | #Constraints: 93410
651.29/653.26 c #Conflicts: 313000 | #Constraints: 94410
651.29/653.26 c #Conflicts: 314000 | #Constraints: 95410
651.29/653.26 c #Conflicts: 315000 | #Constraints: 96410
651.29/653.26 c #Conflicts: 316000 | #Constraints: 97410
651.29/653.26 c #Conflicts: 317000 | #Constraints: 98410
651.29/653.26 c #Conflicts: 318000 | #Constraints: 99410
651.29/653.26 c #Conflicts: 319000 | #Constraints: 100410
651.29/653.26 c #Conflicts: 320000 | #Constraints: 101410
651.29/653.26 c #Conflicts: 321000 | #Constraints: 102410
651.29/653.26 c INPROCESSING
651.29/653.26 c GARBAGE COLLECT
651.29/653.26 c #Conflicts: 322000 | #Constraints: 92213
651.29/653.26 c #Conflicts: 323000 | #Constraints: 93213
651.29/653.26 c #Conflicts: 324000 | #Constraints: 94213
651.29/653.26 c #Conflicts: 325000 | #Constraints: 95213
651.29/653.26 c #Conflicts: 326000 | #Constraints: 96213
651.29/653.26 c #Conflicts: 327000 | #Constraints: 97213
651.29/653.26 c #Conflicts: 328000 | #Constraints: 98213
651.29/653.26 c #Conflicts: 329000 | #Constraints: 99213
651.29/653.26 c #Conflicts: 330000 | #Constraints: 100213
651.29/653.26 c #Conflicts: 331000 | #Constraints: 101213
651.29/653.26 c #Conflicts: 332000 | #Constraints: 102213
651.29/653.26 c #Conflicts: 333000 | #Constraints: 103213
651.29/653.26 c INPROCESSING
651.29/653.26 c GARBAGE COLLECT
651.29/653.26 c #Conflicts: 334000 | #Constraints: 92806
651.29/653.26 c #Conflicts: 335000 | #Constraints: 93806
651.29/653.26 c #Conflicts: 336000 | #Constraints: 94806
651.29/653.26 c #Conflicts: 337000 | #Constraints: 95806
651.29/653.26 c #Conflicts: 338000 | #Constraints: 96806
651.29/653.26 c #Conflicts: 339000 | #Constraints: 97806
651.29/653.26 c #Conflicts: 340000 | #Constraints: 98806
651.29/653.26 c #Conflicts: 341000 | #Constraints: 99806
651.29/653.26 c #Conflicts: 342000 | #Constraints: 100806
651.29/653.26 c #Conflicts: 343000 | #Constraints: 101806
651.29/653.26 c #Conflicts: 344000 | #Constraints: 102806
651.29/653.26 c #Conflicts: 345000 | #Constraints: 103806
651.29/653.26 c INPROCESSING
651.29/653.26 c GARBAGE COLLECT
651.29/653.26 c #Conflicts: 346000 | #Constraints: 93189
651.29/653.26 c #Conflicts: 347000 | #Constraints: 94189
651.29/653.26 c #Conflicts: 348000 | #Constraints: 95189
651.29/653.26 c #Conflicts: 349000 | #Constraints: 96189
763.78/766.08 c #Conflicts: 350000 | #Constraints: 97189
763.78/766.08 c #Conflicts: 351000 | #Constraints: 98189
763.78/766.08 c #Conflicts: 352000 | #Constraints: 99189
763.78/766.08 c #Conflicts: 353000 | #Constraints: 100189
763.78/766.08 c #Conflicts: 354000 | #Constraints: 101189
763.78/766.08 c #Conflicts: 355000 | #Constraints: 102189
763.78/766.08 c #Conflicts: 356000 | #Constraints: 103189
763.78/766.08 c #Conflicts: 357000 | #Constraints: 104189
763.78/766.08 c INPROCESSING
763.78/766.08 c GARBAGE COLLECT
763.78/766.08 c #Conflicts: 358000 | #Constraints: 93421
763.78/766.08 c #Conflicts: 359000 | #Constraints: 94421
763.78/766.08 c #Conflicts: 360000 | #Constraints: 95421
763.78/766.08 c #Conflicts: 361000 | #Constraints: 96421
763.78/766.08 c #Conflicts: 362000 | #Constraints: 97421
763.78/766.08 c #Conflicts: 363000 | #Constraints: 98421
763.78/766.08 c #Conflicts: 364000 | #Constraints: 99421
763.78/766.08 c #Conflicts: 365000 | #Constraints: 100421
763.78/766.08 c #Conflicts: 366000 | #Constraints: 101421
763.78/766.08 c #Conflicts: 367000 | #Constraints: 102421
763.78/766.08 c #Conflicts: 368000 | #Constraints: 103421
763.78/766.08 c #Conflicts: 369000 | #Constraints: 104421
763.78/766.08 c INPROCESSING
763.78/766.08 c GARBAGE COLLECT
763.78/766.08 c #Conflicts: 370000 | #Constraints: 93399
763.78/766.08 c #Conflicts: 371000 | #Constraints: 94399
763.78/766.08 c #Conflicts: 372000 | #Constraints: 95399
763.78/766.08 c #Conflicts: 373000 | #Constraints: 96399
763.78/766.08 c #Conflicts: 374000 | #Constraints: 97399
763.78/766.08 c #Conflicts: 375000 | #Constraints: 98399
763.78/766.08 c #Conflicts: 376000 | #Constraints: 99399
763.78/766.08 c #Conflicts: 377000 | #Constraints: 100399
763.78/766.08 c #Conflicts: 378000 | #Constraints: 101399
763.78/766.08 c #Conflicts: 379000 | #Constraints: 102399
763.78/766.08 c #Conflicts: 380000 | #Constraints: 103399
763.78/766.08 c #Conflicts: 381000 | #Constraints: 104399
763.78/766.08 c INPROCESSING
763.78/766.08 c GARBAGE COLLECT
763.78/766.08 c #Conflicts: 382000 | #Constraints: 93205
763.78/766.08 c #Conflicts: 383000 | #Constraints: 94205
763.78/766.08 c #Conflicts: 384000 | #Constraints: 95205
763.78/766.08 c #Conflicts: 385000 | #Constraints: 96205
763.78/766.08 c #Conflicts: 386000 | #Constraints: 97205
763.78/766.08 c #Conflicts: 387000 | #Constraints: 98205
763.78/766.08 c #Conflicts: 388000 | #Constraints: 99205
763.78/766.08 c #Conflicts: 389000 | #Constraints: 100205
763.78/766.08 c #Conflicts: 390000 | #Constraints: 101205
763.78/766.08 c #Conflicts: 391000 | #Constraints: 102205
763.78/766.08 c #Conflicts: 392000 | #Constraints: 103205
763.78/766.08 c #Conflicts: 393000 | #Constraints: 104205
763.78/766.08 c #Conflicts: 394000 | #Constraints: 105205
763.78/766.08 c INPROCESSING
763.78/766.08 c GARBAGE COLLECT
763.78/766.08 c #Conflicts: 395000 | #Constraints: 93806
763.78/766.08 c #Conflicts: 396000 | #Constraints: 94806
763.78/766.08 c #Conflicts: 397000 | #Constraints: 95806
763.78/766.08 c #Conflicts: 398000 | #Constraints: 96806
763.78/766.08 c #Conflicts: 399000 | #Constraints: 97806
763.78/766.08 c #Conflicts: 400000 | #Constraints: 98806
763.78/766.08 c #Conflicts: 401000 | #Constraints: 99806
763.78/766.08 c #Conflicts: 402000 | #Constraints: 100806
763.78/766.08 c #Conflicts: 403000 | #Constraints: 101806
763.78/766.08 c #Conflicts: 404000 | #Constraints: 102806
763.78/766.08 c #Conflicts: 405000 | #Constraints: 103806
763.78/766.08 c #Conflicts: 406000 | #Constraints: 104806
763.78/766.08 c #Conflicts: 407000 | #Constraints: 105806
763.78/766.08 c INPROCESSING
763.78/766.08 c GARBAGE COLLECT
763.78/766.08 c #Conflicts: 408000 | #Constraints: 94215
763.78/766.08 c #Conflicts: 409000 | #Constraints: 95215
763.78/766.08 c #Conflicts: 410000 | #Constraints: 96215
763.78/766.08 c #Conflicts: 411000 | #Constraints: 97215
763.78/766.08 c #Conflicts: 412000 | #Constraints: 98215
763.78/766.08 c #Conflicts: 413000 | #Constraints: 99215
763.78/766.08 c #Conflicts: 414000 | #Constraints: 100215
763.78/766.08 c #Conflicts: 415000 | #Constraints: 101215
763.78/766.08 c #Conflicts: 416000 | #Constraints: 102215
763.78/766.08 c #Conflicts: 417000 | #Constraints: 103215
763.78/766.08 c #Conflicts: 418000 | #Constraints: 104215
763.78/766.08 c #Conflicts: 419000 | #Constraints: 105215
763.78/766.08 c #Conflicts: 420000 | #Constraints: 106215
763.78/766.08 c INPROCESSING
763.78/766.08 c GARBAGE COLLECT
763.78/766.08 c #Conflicts: 421000 | #Constraints: 94432
763.78/766.08 c #Conflicts: 422000 | #Constraints: 95432
763.78/766.08 c #Conflicts: 423000 | #Constraints: 96432
763.78/766.08 c #Conflicts: 424000 | #Constraints: 97432
885.23/887.80 c #Conflicts: 425000 | #Constraints: 98432
885.23/887.80 c #Conflicts: 426000 | #Constraints: 99432
885.23/887.80 c #Conflicts: 427000 | #Constraints: 100432
885.23/887.80 c #Conflicts: 428000 | #Constraints: 101432
885.23/887.80 c #Conflicts: 429000 | #Constraints: 102432
885.23/887.80 c #Conflicts: 430000 | #Constraints: 103432
885.23/887.80 c #Conflicts: 431000 | #Constraints: 104432
885.23/887.80 c #Conflicts: 432000 | #Constraints: 105432
885.23/887.80 c #Conflicts: 433000 | #Constraints: 106432
885.23/887.80 c INPROCESSING
885.23/887.80 c GARBAGE COLLECT
885.23/887.80 c #Conflicts: 434000 | #Constraints: 94431
885.23/887.80 c #Conflicts: 435000 | #Constraints: 95431
885.23/887.80 c #Conflicts: 436000 | #Constraints: 96431
885.23/887.80 c #Conflicts: 437000 | #Constraints: 97431
885.23/887.80 c #Conflicts: 438000 | #Constraints: 98431
885.23/887.80 c #Conflicts: 439000 | #Constraints: 99431
885.23/887.80 c #Conflicts: 440000 | #Constraints: 100431
885.23/887.80 c #Conflicts: 441000 | #Constraints: 101431
885.23/887.80 c #Conflicts: 442000 | #Constraints: 102431
885.23/887.80 c #Conflicts: 443000 | #Constraints: 103431
885.23/887.80 c #Conflicts: 444000 | #Constraints: 104431
885.23/887.80 c #Conflicts: 445000 | #Constraints: 105431
885.23/887.80 c #Conflicts: 446000 | #Constraints: 106431
885.23/887.80 c INPROCESSING
885.23/887.80 c GARBAGE COLLECT
885.23/887.80 c #Conflicts: 447000 | #Constraints: 94218
885.23/887.80 c #Conflicts: 448000 | #Constraints: 95218
885.23/887.80 c #Conflicts: 449000 | #Constraints: 96218
885.23/887.80 c #Conflicts: 450000 | #Constraints: 97218
885.23/887.80 c #Conflicts: 451000 | #Constraints: 98218
885.23/887.80 c #Conflicts: 452000 | #Constraints: 99218
885.23/887.80 c #Conflicts: 453000 | #Constraints: 100218
885.23/887.80 c #Conflicts: 454000 | #Constraints: 101218
885.23/887.80 c #Conflicts: 455000 | #Constraints: 102218
885.23/887.80 c #Conflicts: 456000 | #Constraints: 103218
885.23/887.80 c #Conflicts: 457000 | #Constraints: 104218
885.23/887.80 c #Conflicts: 458000 | #Constraints: 105218
885.23/887.80 c #Conflicts: 459000 | #Constraints: 106218
885.23/887.80 c #Conflicts: 460000 | #Constraints: 107218
885.23/887.80 c INPROCESSING
885.23/887.80 c GARBAGE COLLECT
885.23/887.80 c #Conflicts: 461000 | #Constraints: 94814
885.23/887.80 c #Conflicts: 462000 | #Constraints: 95814
885.23/887.80 c #Conflicts: 463000 | #Constraints: 96814
885.23/887.80 c #Conflicts: 464000 | #Constraints: 97814
885.23/887.80 c #Conflicts: 465000 | #Constraints: 98814
885.23/887.80 c #Conflicts: 466000 | #Constraints: 99814
885.23/887.80 c #Conflicts: 467000 | #Constraints: 100814
885.23/887.80 c #Conflicts: 468000 | #Constraints: 101814
885.23/887.80 c #Conflicts: 469000 | #Constraints: 102814
885.23/887.80 c #Conflicts: 470000 | #Constraints: 103814
885.23/887.80 c #Conflicts: 471000 | #Constraints: 104814
885.23/887.80 c #Conflicts: 472000 | #Constraints: 105814
885.23/887.80 c #Conflicts: 473000 | #Constraints: 106814
885.23/887.80 c #Conflicts: 474000 | #Constraints: 107814
885.23/887.80 c INPROCESSING
885.23/887.80 c GARBAGE COLLECT
885.23/887.80 c #Conflicts: 475000 | #Constraints: 95216
885.23/887.80 c #Conflicts: 476000 | #Constraints: 96216
885.23/887.80 c #Conflicts: 477000 | #Constraints: 97216
885.23/887.80 c #Conflicts: 478000 | #Constraints: 98216
885.23/887.80 c #Conflicts: 479000 | #Constraints: 99216
885.23/887.80 c #Conflicts: 480000 | #Constraints: 100216
885.23/887.80 c #Conflicts: 481000 | #Constraints: 101216
885.23/887.80 c #Conflicts: 482000 | #Constraints: 102216
885.23/887.80 c #Conflicts: 483000 | #Constraints: 103216
885.23/887.80 c #Conflicts: 484000 | #Constraints: 104216
885.23/887.80 c #Conflicts: 485000 | #Constraints: 105216
885.23/887.80 c #Conflicts: 486000 | #Constraints: 106216
885.23/887.80 c #Conflicts: 487000 | #Constraints: 107216
885.23/887.80 c #Conflicts: 488000 | #Constraints: 108216
885.23/887.80 c INPROCESSING
885.23/887.80 c GARBAGE COLLECT
885.23/887.80 c #Conflicts: 489000 | #Constraints: 95397
885.23/887.80 c #Conflicts: 490000 | #Constraints: 96397
885.23/887.80 c #Conflicts: 491000 | #Constraints: 97397
885.23/887.80 c #Conflicts: 492000 | #Constraints: 98397
885.23/887.80 c #Conflicts: 493000 | #Constraints: 99397
885.23/887.80 c #Conflicts: 494000 | #Constraints: 100397
885.23/887.80 c #Conflicts: 495000 | #Constraints: 101397
885.23/887.80 c #Conflicts: 496000 | #Constraints: 102397
885.23/887.80 c #Conflicts: 497000 | #Constraints: 103397
885.23/887.80 c #Conflicts: 498000 | #Constraints: 104397
885.23/887.80 c #Conflicts: 499000 | #Constraints: 105397
885.23/887.80 c #Conflicts: 500000 | #Constraints: 106397
1038.80/1041.81 c #Conflicts: 501000 | #Constraints: 107397
1038.80/1041.81 c #Conflicts: 502000 | #Constraints: 108397
1038.80/1041.81 c INPROCESSING
1038.80/1041.81 c GARBAGE COLLECT
1038.80/1041.81 c #Conflicts: 503000 | #Constraints: 95409
1038.80/1041.81 c #Conflicts: 504000 | #Constraints: 96409
1038.80/1041.81 c #Conflicts: 505000 | #Constraints: 97409
1038.80/1041.81 c #Conflicts: 506000 | #Constraints: 98409
1038.80/1041.81 c #Conflicts: 507000 | #Constraints: 99409
1038.80/1041.81 c #Conflicts: 508000 | #Constraints: 100409
1038.80/1041.81 c #Conflicts: 509000 | #Constraints: 101409
1038.80/1041.81 c #Conflicts: 510000 | #Constraints: 102409
1038.80/1041.81 c #Conflicts: 511000 | #Constraints: 103409
1038.80/1041.81 c #Conflicts: 512000 | #Constraints: 104409
1038.80/1041.81 c #Conflicts: 513000 | #Constraints: 105409
1038.80/1041.81 c #Conflicts: 514000 | #Constraints: 106409
1038.80/1041.81 c #Conflicts: 515000 | #Constraints: 107409
1038.80/1041.81 c #Conflicts: 516000 | #Constraints: 108409
1038.80/1041.81 c INPROCESSING
1038.80/1041.81 c GARBAGE COLLECT
1038.80/1041.81 c #Conflicts: 517000 | #Constraints: 95210
1038.80/1041.81 c #Conflicts: 518000 | #Constraints: 96210
1038.80/1041.81 c #Conflicts: 519000 | #Constraints: 97210
1038.80/1041.81 c #Conflicts: 520000 | #Constraints: 98210
1038.80/1041.81 c #Conflicts: 521000 | #Constraints: 99210
1038.80/1041.81 c #Conflicts: 522000 | #Constraints: 100210
1038.80/1041.81 c #Conflicts: 523000 | #Constraints: 101210
1038.80/1041.81 c #Conflicts: 524000 | #Constraints: 102210
1038.80/1041.81 c #Conflicts: 525000 | #Constraints: 103210
1038.80/1041.81 c #Conflicts: 526000 | #Constraints: 104210
1038.80/1041.81 c #Conflicts: 527000 | #Constraints: 105210
1038.80/1041.81 c #Conflicts: 528000 | #Constraints: 106210
1038.80/1041.81 c #Conflicts: 529000 | #Constraints: 107210
1038.80/1041.81 c #Conflicts: 530000 | #Constraints: 108210
1038.80/1041.81 c #Conflicts: 531000 | #Constraints: 109210
1038.80/1041.81 c INPROCESSING
1038.80/1041.81 c GARBAGE COLLECT
1038.80/1041.81 c #Conflicts: 532000 | #Constraints: 95811
1038.80/1041.81 c #Conflicts: 533000 | #Constraints: 96811
1038.80/1041.81 c #Conflicts: 534000 | #Constraints: 97811
1038.80/1041.81 c #Conflicts: 535000 | #Constraints: 98811
1038.80/1041.81 c #Conflicts: 536000 | #Constraints: 99811
1038.80/1041.81 c #Conflicts: 537000 | #Constraints: 100811
1038.80/1041.81 c #Conflicts: 538000 | #Constraints: 101811
1038.80/1041.81 c #Conflicts: 539000 | #Constraints: 102811
1038.80/1041.81 c #Conflicts: 540000 | #Constraints: 103811
1038.80/1041.81 c #Conflicts: 541000 | #Constraints: 104811
1038.80/1041.81 c #Conflicts: 542000 | #Constraints: 105811
1038.80/1041.81 c #Conflicts: 543000 | #Constraints: 106811
1038.80/1041.81 c #Conflicts: 544000 | #Constraints: 107811
1038.80/1041.81 c #Conflicts: 545000 | #Constraints: 108811
1038.80/1041.81 c #Conflicts: 546000 | #Constraints: 109811
1038.80/1041.81 c INPROCESSING
1038.80/1041.81 c GARBAGE COLLECT
1038.80/1041.81 c #Conflicts: 547000 | #Constraints: 96214
1038.80/1041.81 c #Conflicts: 548000 | #Constraints: 97214
1038.80/1041.81 c #Conflicts: 549000 | #Constraints: 98214
1038.80/1041.81 c #Conflicts: 550000 | #Constraints: 99214
1038.80/1041.81 c #Conflicts: 551000 | #Constraints: 100214
1038.80/1041.81 c #Conflicts: 552000 | #Constraints: 101214
1038.80/1041.81 c #Conflicts: 553000 | #Constraints: 102214
1038.80/1041.81 c #Conflicts: 554000 | #Constraints: 103214
1038.80/1041.81 c #Conflicts: 555000 | #Constraints: 104214
1038.80/1041.81 c #Conflicts: 556000 | #Constraints: 105214
1038.80/1041.81 c #Conflicts: 557000 | #Constraints: 106214
1038.80/1041.81 c #Conflicts: 558000 | #Constraints: 107214
1038.80/1041.81 c #Conflicts: 559000 | #Constraints: 108214
1038.80/1041.81 c #Conflicts: 560000 | #Constraints: 109214
1038.80/1041.81 c #Conflicts: 561000 | #Constraints: 110214
1038.80/1041.81 c INPROCESSING
1038.80/1041.81 c GARBAGE COLLECT
1038.80/1041.81 c #Conflicts: 562000 | #Constraints: 96425
1038.80/1041.81 c #Conflicts: 563000 | #Constraints: 97425
1038.80/1041.81 c #Conflicts: 564000 | #Constraints: 98425
1038.80/1041.81 c #Conflicts: 565000 | #Constraints: 99425
1038.80/1041.81 c #Conflicts: 566000 | #Constraints: 100425
1038.80/1041.81 c #Conflicts: 567000 | #Constraints: 101425
1038.80/1041.81 c #Conflicts: 568000 | #Constraints: 102425
1038.80/1041.81 c #Conflicts: 569000 | #Constraints: 103425
1038.80/1041.81 c #Conflicts: 570000 | #Constraints: 104425
1038.80/1041.81 c #Conflicts: 571000 | #Constraints: 105425
1038.80/1041.81 c #Conflicts: 572000 | #Constraints: 106425
1038.80/1041.81 c #Conflicts: 573000 | #Constraints: 107425
1038.80/1041.81 c #Conflicts: 574000 | #Constraints: 108425
1038.80/1041.81 c #Conflicts: 575000 | #Constraints: 109425
1210.24/1213.77 c #Conflicts: 576000 | #Constraints: 110425
1210.24/1213.77 c INPROCESSING
1210.24/1213.77 c GARBAGE COLLECT
1210.24/1213.77 c #Conflicts: 577000 | #Constraints: 96427
1210.24/1213.77 c #Conflicts: 578000 | #Constraints: 97427
1210.24/1213.77 c #Conflicts: 579000 | #Constraints: 98427
1210.24/1213.77 c #Conflicts: 580000 | #Constraints: 99427
1210.24/1213.77 c #Conflicts: 581000 | #Constraints: 100427
1210.24/1213.77 c #Conflicts: 582000 | #Constraints: 101427
1210.24/1213.77 c #Conflicts: 583000 | #Constraints: 102427
1210.24/1213.77 c #Conflicts: 584000 | #Constraints: 103427
1210.24/1213.77 c #Conflicts: 585000 | #Constraints: 104427
1210.24/1213.77 c #Conflicts: 586000 | #Constraints: 105427
1210.24/1213.77 c #Conflicts: 587000 | #Constraints: 106427
1210.24/1213.77 c #Conflicts: 588000 | #Constraints: 107427
1210.24/1213.77 c #Conflicts: 589000 | #Constraints: 108427
1210.24/1213.77 c #Conflicts: 590000 | #Constraints: 109427
1210.24/1213.77 c #Conflicts: 591000 | #Constraints: 110427
1210.24/1213.77 c INPROCESSING
1210.24/1213.77 c GARBAGE COLLECT
1210.24/1213.77 c #Conflicts: 592000 | #Constraints: 96228
1210.24/1213.77 c #Conflicts: 593000 | #Constraints: 97228
1210.24/1213.77 c #Conflicts: 594000 | #Constraints: 98228
1210.24/1213.77 c #Conflicts: 595000 | #Constraints: 99228
1210.24/1213.77 c #Conflicts: 596000 | #Constraints: 100228
1210.24/1213.77 c #Conflicts: 597000 | #Constraints: 101228
1210.24/1213.77 c #Conflicts: 598000 | #Constraints: 102228
1210.24/1213.77 c #Conflicts: 599000 | #Constraints: 103228
1210.24/1213.77 c #Conflicts: 600000 | #Constraints: 104228
1210.24/1213.77 c #Conflicts: 601000 | #Constraints: 105228
1210.24/1213.77 c #Conflicts: 602000 | #Constraints: 106228
1210.24/1213.77 c #Conflicts: 603000 | #Constraints: 107228
1210.24/1213.77 c #Conflicts: 604000 | #Constraints: 108228
1210.24/1213.77 c #Conflicts: 605000 | #Constraints: 109228
1210.24/1213.77 c #Conflicts: 606000 | #Constraints: 110228
1210.24/1213.77 c #Conflicts: 607000 | #Constraints: 111228
1210.24/1213.77 c INPROCESSING
1210.24/1213.77 c GARBAGE COLLECT
1210.24/1213.77 c #Conflicts: 608000 | #Constraints: 96828
1210.24/1213.77 c #Conflicts: 609000 | #Constraints: 97828
1210.24/1213.77 c #Conflicts: 610000 | #Constraints: 98828
1210.24/1213.77 c #Conflicts: 611000 | #Constraints: 99828
1210.24/1213.77 c #Conflicts: 612000 | #Constraints: 100828
1210.24/1213.77 c #Conflicts: 613000 | #Constraints: 101828
1210.24/1213.77 c #Conflicts: 614000 | #Constraints: 102828
1210.24/1213.77 c #Conflicts: 615000 | #Constraints: 103828
1210.24/1213.77 c #Conflicts: 616000 | #Constraints: 104828
1210.24/1213.77 c #Conflicts: 617000 | #Constraints: 105828
1210.24/1213.77 c #Conflicts: 618000 | #Constraints: 106828
1210.24/1213.77 c #Conflicts: 619000 | #Constraints: 107828
1210.24/1213.77 c #Conflicts: 620000 | #Constraints: 108828
1210.24/1213.77 c #Conflicts: 621000 | #Constraints: 109828
1210.24/1213.77 c #Conflicts: 622000 | #Constraints: 110828
1210.24/1213.77 c #Conflicts: 623000 | #Constraints: 111828
1210.24/1213.77 c INPROCESSING
1210.24/1213.77 c GARBAGE COLLECT
1210.24/1213.77 c #Conflicts: 624000 | #Constraints: 97214
1210.24/1213.77 c #Conflicts: 625000 | #Constraints: 98214
1210.24/1213.77 c #Conflicts: 626000 | #Constraints: 99214
1210.24/1213.77 c #Conflicts: 627000 | #Constraints: 100214
1210.24/1213.77 c #Conflicts: 628000 | #Constraints: 101214
1210.24/1213.77 c #Conflicts: 629000 | #Constraints: 102214
1210.24/1213.77 c #Conflicts: 630000 | #Constraints: 103214
1210.24/1213.77 c #Conflicts: 631000 | #Constraints: 104214
1210.24/1213.77 c #Conflicts: 632000 | #Constraints: 105214
1210.24/1213.77 c #Conflicts: 633000 | #Constraints: 106214
1210.24/1213.77 c #Conflicts: 634000 | #Constraints: 107214
1210.24/1213.77 c #Conflicts: 635000 | #Constraints: 108214
1210.24/1213.77 c #Conflicts: 636000 | #Constraints: 109214
1210.24/1213.77 c #Conflicts: 637000 | #Constraints: 110214
1210.24/1213.77 c #Conflicts: 638000 | #Constraints: 111214
1210.24/1213.77 c #Conflicts: 639000 | #Constraints: 112214
1210.24/1213.77 c INPROCESSING
1210.24/1213.77 c GARBAGE COLLECT
1210.24/1213.77 c #Conflicts: 640000 | #Constraints: 97417
1210.24/1213.77 c #Conflicts: 641000 | #Constraints: 98417
1210.24/1213.77 c #Conflicts: 642000 | #Constraints: 99417
1210.24/1213.77 c #Conflicts: 643000 | #Constraints: 100417
1210.24/1213.77 c #Conflicts: 644000 | #Constraints: 101417
1210.24/1213.77 c #Conflicts: 645000 | #Constraints: 102417
1210.24/1213.77 c #Conflicts: 646000 | #Constraints: 103417
1210.24/1213.77 c #Conflicts: 647000 | #Constraints: 104417
1210.24/1213.77 c #Conflicts: 648000 | #Constraints: 105417
1210.24/1213.77 c #Conflicts: 649000 | #Constraints: 106417
1210.24/1213.77 c #Conflicts: 650000 | #Constraints: 107417
1210.24/1213.77 c #Conflicts: 651000 | #Constraints: 108417
1386.35/1390.32 c #Conflicts: 652000 | #Constraints: 109417
1386.35/1390.32 c #Conflicts: 653000 | #Constraints: 110417
1386.35/1390.32 c #Conflicts: 654000 | #Constraints: 111417
1386.35/1390.32 c #Conflicts: 655000 | #Constraints: 112417
1386.35/1390.32 c INPROCESSING
1386.35/1390.32 c GARBAGE COLLECT
1386.35/1390.32 c #Conflicts: 656000 | #Constraints: 97421
1386.35/1390.32 c #Conflicts: 657000 | #Constraints: 98421
1386.35/1390.32 c #Conflicts: 658000 | #Constraints: 99421
1386.35/1390.32 c #Conflicts: 659000 | #Constraints: 100421
1386.35/1390.32 c #Conflicts: 660000 | #Constraints: 101421
1386.35/1390.32 c #Conflicts: 661000 | #Constraints: 102421
1386.35/1390.32 c #Conflicts: 662000 | #Constraints: 103421
1386.35/1390.32 c #Conflicts: 663000 | #Constraints: 104421
1386.35/1390.32 c #Conflicts: 664000 | #Constraints: 105421
1386.35/1390.32 c #Conflicts: 665000 | #Constraints: 106421
1386.35/1390.32 c #Conflicts: 666000 | #Constraints: 107421
1386.35/1390.32 c #Conflicts: 667000 | #Constraints: 108421
1386.35/1390.32 c #Conflicts: 668000 | #Constraints: 109421
1386.35/1390.32 c #Conflicts: 669000 | #Constraints: 110421
1386.35/1390.32 c #Conflicts: 670000 | #Constraints: 111421
1386.35/1390.32 c #Conflicts: 671000 | #Constraints: 112421
1386.35/1390.32 c INPROCESSING
1386.35/1390.32 c GARBAGE COLLECT
1386.35/1390.32 c #Conflicts: 672000 | #Constraints: 97222
1386.35/1390.32 c #Conflicts: 673000 | #Constraints: 98222
1386.35/1390.32 c #Conflicts: 674000 | #Constraints: 99222
1386.35/1390.32 c #Conflicts: 675000 | #Constraints: 100222
1386.35/1390.32 c #Conflicts: 676000 | #Constraints: 101222
1386.35/1390.32 c #Conflicts: 677000 | #Constraints: 102222
1386.35/1390.32 c #Conflicts: 678000 | #Constraints: 103222
1386.35/1390.32 c #Conflicts: 679000 | #Constraints: 104222
1386.35/1390.32 c #Conflicts: 680000 | #Constraints: 105222
1386.35/1390.32 c #Conflicts: 681000 | #Constraints: 106222
1386.35/1390.32 c #Conflicts: 682000 | #Constraints: 107222
1386.35/1390.32 c #Conflicts: 683000 | #Constraints: 108222
1386.35/1390.32 c #Conflicts: 684000 | #Constraints: 109222
1386.35/1390.32 c #Conflicts: 685000 | #Constraints: 110222
1386.35/1390.32 c #Conflicts: 686000 | #Constraints: 111222
1386.35/1390.32 c #Conflicts: 687000 | #Constraints: 112222
1386.35/1390.32 c #Conflicts: 688000 | #Constraints: 113222
1386.35/1390.32 c INPROCESSING
1386.35/1390.32 c GARBAGE COLLECT
1386.35/1390.32 c #Conflicts: 689000 | #Constraints: 97807
1386.35/1390.32 c #Conflicts: 690000 | #Constraints: 98807
1386.35/1390.32 c #Conflicts: 691000 | #Constraints: 99807
1386.35/1390.32 c #Conflicts: 692000 | #Constraints: 100807
1386.35/1390.32 c #Conflicts: 693000 | #Constraints: 101807
1386.35/1390.32 c #Conflicts: 694000 | #Constraints: 102807
1386.35/1390.32 c #Conflicts: 695000 | #Constraints: 103807
1386.35/1390.32 c #Conflicts: 696000 | #Constraints: 104807
1386.35/1390.32 c #Conflicts: 697000 | #Constraints: 105807
1386.35/1390.32 c #Conflicts: 698000 | #Constraints: 106807
1386.35/1390.32 c #Conflicts: 699000 | #Constraints: 107807
1386.35/1390.32 c #Conflicts: 700000 | #Constraints: 108807
1386.35/1390.32 c #Conflicts: 701000 | #Constraints: 109807
1386.35/1390.32 c #Conflicts: 702000 | #Constraints: 110807
1386.35/1390.32 c #Conflicts: 703000 | #Constraints: 111807
1386.35/1390.32 c #Conflicts: 704000 | #Constraints: 112807
1386.35/1390.32 c #Conflicts: 705000 | #Constraints: 113807
1386.35/1390.32 c INPROCESSING
1386.35/1390.32 c GARBAGE COLLECT
1386.35/1390.32 c #Conflicts: 706000 | #Constraints: 98209
1386.35/1390.32 c #Conflicts: 707000 | #Constraints: 99209
1386.35/1390.32 c #Conflicts: 708000 | #Constraints: 100209
1386.35/1390.32 c #Conflicts: 709000 | #Constraints: 101209
1386.35/1390.32 c #Conflicts: 710000 | #Constraints: 102209
1386.35/1390.32 c #Conflicts: 711000 | #Constraints: 103209
1386.35/1390.32 c #Conflicts: 712000 | #Constraints: 104209
1386.35/1390.32 c #Conflicts: 713000 | #Constraints: 105209
1386.35/1390.32 c #Conflicts: 714000 | #Constraints: 106209
1386.35/1390.32 c #Conflicts: 715000 | #Constraints: 107209
1386.35/1390.32 c #Conflicts: 716000 | #Constraints: 108209
1386.35/1390.32 c #Conflicts: 717000 | #Constraints: 109209
1386.35/1390.32 c #Conflicts: 718000 | #Constraints: 110209
1386.35/1390.32 c #Conflicts: 719000 | #Constraints: 111209
1386.35/1390.32 c #Conflicts: 720000 | #Constraints: 112209
1386.35/1390.32 c #Conflicts: 721000 | #Constraints: 113209
1386.35/1390.32 c #Conflicts: 722000 | #Constraints: 114209
1386.35/1390.32 c INPROCESSING
1386.35/1390.32 c GARBAGE COLLECT
1386.35/1390.32 c #Conflicts: 723000 | #Constraints: 98431
1386.35/1390.32 c #Conflicts: 724000 | #Constraints: 99431
1386.35/1390.32 c #Conflicts: 725000 | #Constraints: 100431
1386.35/1390.32 c #Conflicts: 726000 | #Constraints: 101431
1386.35/1390.32 c #Conflicts: 727000 | #Constraints: 102431
1584.59/1589.13 c #Conflicts: 728000 | #Constraints: 103431
1584.59/1589.13 c #Conflicts: 729000 | #Constraints: 104431
1584.59/1589.13 c #Conflicts: 730000 | #Constraints: 105431
1584.59/1589.13 c #Conflicts: 731000 | #Constraints: 106431
1584.59/1589.13 c #Conflicts: 732000 | #Constraints: 107431
1584.59/1589.13 c #Conflicts: 733000 | #Constraints: 108431
1584.59/1589.13 c #Conflicts: 734000 | #Constraints: 109431
1584.59/1589.13 c #Conflicts: 735000 | #Constraints: 110431
1584.59/1589.13 c #Conflicts: 736000 | #Constraints: 111431
1584.59/1589.13 c #Conflicts: 737000 | #Constraints: 112431
1584.59/1589.13 c #Conflicts: 738000 | #Constraints: 113431
1584.59/1589.13 c #Conflicts: 739000 | #Constraints: 114431
1584.59/1589.13 c INPROCESSING
1584.59/1589.13 c GARBAGE COLLECT
1584.59/1589.13 c #Conflicts: 740000 | #Constraints: 98456
1584.59/1589.13 c #Conflicts: 741000 | #Constraints: 99456
1584.59/1589.13 c #Conflicts: 742000 | #Constraints: 100456
1584.59/1589.13 c #Conflicts: 743000 | #Constraints: 101456
1584.59/1589.13 c #Conflicts: 744000 | #Constraints: 102456
1584.59/1589.13 c #Conflicts: 745000 | #Constraints: 103456
1584.59/1589.13 c #Conflicts: 746000 | #Constraints: 104456
1584.59/1589.13 c #Conflicts: 747000 | #Constraints: 105456
1584.59/1589.13 c #Conflicts: 748000 | #Constraints: 106456
1584.59/1589.13 c #Conflicts: 749000 | #Constraints: 107456
1584.59/1589.13 c #Conflicts: 750000 | #Constraints: 108456
1584.59/1589.13 c #Conflicts: 751000 | #Constraints: 109456
1584.59/1589.13 c #Conflicts: 752000 | #Constraints: 110456
1584.59/1589.13 c #Conflicts: 753000 | #Constraints: 111456
1584.59/1589.13 c #Conflicts: 754000 | #Constraints: 112456
1584.59/1589.13 c #Conflicts: 755000 | #Constraints: 113456
1584.59/1589.13 c #Conflicts: 756000 | #Constraints: 114456
1584.59/1589.13 c INPROCESSING
1584.59/1589.13 c GARBAGE COLLECT
1584.59/1589.13 c #Conflicts: 757000 | #Constraints: 98223
1584.59/1589.13 c #Conflicts: 758000 | #Constraints: 99223
1584.59/1589.13 c #Conflicts: 759000 | #Constraints: 100223
1584.59/1589.13 c #Conflicts: 760000 | #Constraints: 101223
1584.59/1589.13 c #Conflicts: 761000 | #Constraints: 102223
1584.59/1589.13 c #Conflicts: 762000 | #Constraints: 103223
1584.59/1589.13 c #Conflicts: 763000 | #Constraints: 104223
1584.59/1589.13 c #Conflicts: 764000 | #Constraints: 105223
1584.59/1589.13 c #Conflicts: 765000 | #Constraints: 106223
1584.59/1589.13 c #Conflicts: 766000 | #Constraints: 107223
1584.59/1589.13 c #Conflicts: 767000 | #Constraints: 108223
1584.59/1589.13 c #Conflicts: 768000 | #Constraints: 109223
1584.59/1589.13 c #Conflicts: 769000 | #Constraints: 110223
1584.59/1589.13 c #Conflicts: 770000 | #Constraints: 111223
1584.59/1589.13 c #Conflicts: 771000 | #Constraints: 112223
1584.59/1589.13 c #Conflicts: 772000 | #Constraints: 113223
1584.59/1589.13 c #Conflicts: 773000 | #Constraints: 114223
1584.59/1589.13 c #Conflicts: 774000 | #Constraints: 115223
1584.59/1589.13 c INPROCESSING
1584.59/1589.13 c GARBAGE COLLECT
1584.59/1589.13 c #Conflicts: 775000 | #Constraints: 98812
1584.59/1589.13 c #Conflicts: 776000 | #Constraints: 99812
1584.59/1589.13 c #Conflicts: 777000 | #Constraints: 100812
1584.59/1589.13 c #Conflicts: 778000 | #Constraints: 101812
1584.59/1589.13 c #Conflicts: 779000 | #Constraints: 102812
1584.59/1589.13 c #Conflicts: 780000 | #Constraints: 103812
1584.59/1589.13 c #Conflicts: 781000 | #Constraints: 104812
1584.59/1589.13 c #Conflicts: 782000 | #Constraints: 105812
1584.59/1589.13 c #Conflicts: 783000 | #Constraints: 106812
1584.59/1589.13 c #Conflicts: 784000 | #Constraints: 107812
1584.59/1589.13 c #Conflicts: 785000 | #Constraints: 108812
1584.59/1589.13 c #Conflicts: 786000 | #Constraints: 109812
1584.59/1589.13 c #Conflicts: 787000 | #Constraints: 110812
1584.59/1589.13 c #Conflicts: 788000 | #Constraints: 111812
1584.59/1589.13 c #Conflicts: 789000 | #Constraints: 112812
1584.59/1589.13 c #Conflicts: 790000 | #Constraints: 113812
1584.59/1589.13 c #Conflicts: 791000 | #Constraints: 114812
1584.59/1589.13 c #Conflicts: 792000 | #Constraints: 115812
1584.59/1589.13 c INPROCESSING
1584.59/1589.13 c GARBAGE COLLECT
1584.59/1589.13 c #Conflicts: 793000 | #Constraints: 99228
1584.59/1589.13 c #Conflicts: 794000 | #Constraints: 100228
1584.59/1589.13 c #Conflicts: 795000 | #Constraints: 101228
1584.59/1589.13 c #Conflicts: 796000 | #Constraints: 102228
1584.59/1589.13 c #Conflicts: 797000 | #Constraints: 103228
1584.59/1589.13 c #Conflicts: 798000 | #Constraints: 104228
1584.59/1589.13 c #Conflicts: 799000 | #Constraints: 105228
1584.59/1589.13 c #Conflicts: 800000 | #Constraints: 106228
1584.59/1589.13 c #Conflicts: 801000 | #Constraints: 107228
1584.59/1589.13 c #Conflicts: 802000 | #Constraints: 108228
1584.59/1589.13 c #Conflicts: 803000 | #Constraints: 109228
1764.18/1769.23 c #Conflicts: 804000 | #Constraints: 110228
1764.18/1769.23 c #Conflicts: 805000 | #Constraints: 111228
1764.18/1769.23 c #Conflicts: 806000 | #Constraints: 112228
1764.18/1769.23 c #Conflicts: 807000 | #Constraints: 113228
1764.18/1769.23 c #Conflicts: 808000 | #Constraints: 114228
1764.18/1769.23 c #Conflicts: 809000 | #Constraints: 115228
1764.18/1769.23 c #Conflicts: 810000 | #Constraints: 116228
1764.18/1769.23 c INPROCESSING
1764.18/1769.23 c GARBAGE COLLECT
1764.18/1769.23 c #Conflicts: 811000 | #Constraints: 99406
1764.18/1769.23 c #Conflicts: 812000 | #Constraints: 100406
1764.18/1769.23 c #Conflicts: 813000 | #Constraints: 101406
1764.18/1769.23 c #Conflicts: 814000 | #Constraints: 102406
1764.18/1769.23 c #Conflicts: 815000 | #Constraints: 103406
1764.18/1769.23 c #Conflicts: 816000 | #Constraints: 104406
1764.18/1769.23 c #Conflicts: 817000 | #Constraints: 105406
1764.18/1769.23 c #Conflicts: 818000 | #Constraints: 106406
1764.18/1769.23 c #Conflicts: 819000 | #Constraints: 107406
1764.18/1769.23 c #Conflicts: 820000 | #Constraints: 108406
1764.18/1769.23 c #Conflicts: 821000 | #Constraints: 109406
1764.18/1769.23 c #Conflicts: 822000 | #Constraints: 110406
1764.18/1769.23 c #Conflicts: 823000 | #Constraints: 111406
1764.18/1769.23 c #Conflicts: 824000 | #Constraints: 112406
1764.18/1769.23 c #Conflicts: 825000 | #Constraints: 113406
1764.18/1769.23 c #Conflicts: 826000 | #Constraints: 114406
1764.18/1769.23 c #Conflicts: 827000 | #Constraints: 115406
1764.18/1769.23 c #Conflicts: 828000 | #Constraints: 116406
1764.18/1769.23 c INPROCESSING
1764.18/1769.23 c GARBAGE COLLECT
1764.18/1769.23 c #Conflicts: 829000 | #Constraints: 99434
1764.18/1769.23 c #Conflicts: 830000 | #Constraints: 100434
1764.18/1769.23 c #Conflicts: 831000 | #Constraints: 101434
1764.18/1769.23 c #Conflicts: 832000 | #Constraints: 102434
1764.18/1769.23 c #Conflicts: 833000 | #Constraints: 103434
1764.18/1769.23 c #Conflicts: 834000 | #Constraints: 104434
1764.18/1769.23 c #Conflicts: 835000 | #Constraints: 105434
1764.18/1769.23 c #Conflicts: 836000 | #Constraints: 106434
1764.18/1769.23 c #Conflicts: 837000 | #Constraints: 107434
1764.18/1769.23 c #Conflicts: 838000 | #Constraints: 108434
1764.18/1769.23 c #Conflicts: 839000 | #Constraints: 109434
1764.18/1769.23 c #Conflicts: 840000 | #Constraints: 110434
1764.18/1769.23 c #Conflicts: 841000 | #Constraints: 111434
1764.18/1769.23 c #Conflicts: 842000 | #Constraints: 112434
1764.18/1769.23 c #Conflicts: 843000 | #Constraints: 113434
1764.18/1769.23 c #Conflicts: 844000 | #Constraints: 114434
1764.18/1769.23 c #Conflicts: 845000 | #Constraints: 115434
1764.18/1769.23 c #Conflicts: 846000 | #Constraints: 116434
1764.18/1769.23 c INPROCESSING
1764.18/1769.23 c GARBAGE COLLECT
1764.18/1769.23 c #Conflicts: 847000 | #Constraints: 99218
1764.18/1769.23 c #Conflicts: 848000 | #Constraints: 100218
1764.18/1769.23 c #Conflicts: 849000 | #Constraints: 101218
1764.18/1769.23 c #Conflicts: 850000 | #Constraints: 102218
1764.18/1769.23 c #Conflicts: 851000 | #Constraints: 103218
1764.18/1769.23 c #Conflicts: 852000 | #Constraints: 104218
1764.18/1769.23 c #Conflicts: 853000 | #Constraints: 105218
1764.18/1769.23 c #Conflicts: 854000 | #Constraints: 106218
1764.18/1769.23 c #Conflicts: 855000 | #Constraints: 107218
1764.18/1769.23 c #Conflicts: 856000 | #Constraints: 108218
1764.18/1769.23 c #Conflicts: 857000 | #Constraints: 109218
1764.18/1769.23 c #Conflicts: 858000 | #Constraints: 110218
1764.18/1769.23 c #Conflicts: 859000 | #Constraints: 111218
1764.18/1769.23 c #Conflicts: 860000 | #Constraints: 112218
1764.18/1769.23 c #Conflicts: 861000 | #Constraints: 113218
1764.18/1769.23 c #Conflicts: 862000 | #Constraints: 114218
1764.18/1769.23 c #Conflicts: 863000 | #Constraints: 115218
1764.18/1769.23 c #Conflicts: 864000 | #Constraints: 116218
1764.18/1769.23 c #Conflicts: 865000 | #Constraints: 117218
1764.18/1769.23 c INPROCESSING
1764.18/1769.23 c GARBAGE COLLECT
1764.18/1769.23 c #Conflicts: 866000 | #Constraints: 99846
1764.18/1769.23 c #Conflicts: 867000 | #Constraints: 100846
1764.18/1769.23 c #Conflicts: 868000 | #Constraints: 101846
1764.18/1769.23 c #Conflicts: 869000 | #Constraints: 102846
1764.18/1769.23 c #Conflicts: 870000 | #Constraints: 103846
1764.18/1769.23 c #Conflicts: 871000 | #Constraints: 104846
1764.18/1769.23 c #Conflicts: 872000 | #Constraints: 105846
1764.18/1769.23 c #Conflicts: 873000 | #Constraints: 106846
1764.18/1769.23 c #Conflicts: 874000 | #Constraints: 107846
1764.18/1769.23 c #Conflicts: 875000 | #Constraints: 108846
1764.18/1769.23 c #Conflicts: 876000 | #Constraints: 109846
1764.18/1769.23 c #Conflicts: 877000 | #Constraints: 110846
1764.18/1769.23 c #Conflicts: 878000 | #Constraints: 111846
1764.18/1769.23 c #Conflicts: 879000 | #Constraints: 112846
1944.33/1949.90 c #Conflicts: 880000 | #Constraints: 113846
1944.33/1949.90 c #Conflicts: 881000 | #Constraints: 114846
1944.33/1949.90 c #Conflicts: 882000 | #Constraints: 115846
1944.33/1949.90 c #Conflicts: 883000 | #Constraints: 116846
1944.33/1949.90 c #Conflicts: 884000 | #Constraints: 117846
1944.33/1949.90 c INPROCESSING
1944.33/1949.90 c GARBAGE COLLECT
1944.33/1949.90 c #Conflicts: 885000 | #Constraints: 100249
1944.33/1949.90 c #Conflicts: 886000 | #Constraints: 101249
1944.33/1949.90 c #Conflicts: 887000 | #Constraints: 102249
1944.33/1949.90 c #Conflicts: 888000 | #Constraints: 103249
1944.33/1949.90 c #Conflicts: 889000 | #Constraints: 104249
1944.33/1949.90 c #Conflicts: 890000 | #Constraints: 105249
1944.33/1949.90 c #Conflicts: 891000 | #Constraints: 106249
1944.33/1949.90 c #Conflicts: 892000 | #Constraints: 107249
1944.33/1949.90 c #Conflicts: 893000 | #Constraints: 108249
1944.33/1949.90 c #Conflicts: 894000 | #Constraints: 109249
1944.33/1949.90 c #Conflicts: 895000 | #Constraints: 110249
1944.33/1949.90 c #Conflicts: 896000 | #Constraints: 111249
1944.33/1949.90 c #Conflicts: 897000 | #Constraints: 112249
1944.33/1949.90 c #Conflicts: 898000 | #Constraints: 113249
1944.33/1949.90 c #Conflicts: 899000 | #Constraints: 114249
1944.33/1949.90 c #Conflicts: 900000 | #Constraints: 115249
1944.33/1949.90 c #Conflicts: 901000 | #Constraints: 116249
1944.33/1949.90 c #Conflicts: 902000 | #Constraints: 117249
1944.33/1949.90 c #Conflicts: 903000 | #Constraints: 118249
1944.33/1949.90 c INPROCESSING
1944.33/1949.90 c GARBAGE COLLECT
1944.33/1949.90 c #Conflicts: 904000 | #Constraints: 100469
1944.33/1949.90 c #Conflicts: 905000 | #Constraints: 101469
1944.33/1949.90 c #Conflicts: 906000 | #Constraints: 102469
1944.33/1949.90 c #Conflicts: 907000 | #Constraints: 103469
1944.33/1949.90 c #Conflicts: 908000 | #Constraints: 104469
1944.33/1949.90 c #Conflicts: 909000 | #Constraints: 105469
1944.33/1949.90 c #Conflicts: 910000 | #Constraints: 106469
1944.33/1949.90 c #Conflicts: 911000 | #Constraints: 107469
1944.33/1949.90 c #Conflicts: 912000 | #Constraints: 108469
1944.33/1949.90 c #Conflicts: 913000 | #Constraints: 109469
1944.33/1949.90 c #Conflicts: 914000 | #Constraints: 110469
1944.33/1949.90 c #Conflicts: 915000 | #Constraints: 111469
1944.33/1949.90 c #Conflicts: 916000 | #Constraints: 112469
1944.33/1949.90 c #Conflicts: 917000 | #Constraints: 113469
1944.33/1949.90 c #Conflicts: 918000 | #Constraints: 114469
1944.33/1949.90 c #Conflicts: 919000 | #Constraints: 115469
1944.33/1949.90 c #Conflicts: 920000 | #Constraints: 116469
1944.33/1949.90 c #Conflicts: 921000 | #Constraints: 117469
1944.33/1949.90 c #Conflicts: 922000 | #Constraints: 118469
1944.33/1949.90 c INPROCESSING
1944.33/1949.90 c GARBAGE COLLECT
1944.33/1949.90 c #Conflicts: 923000 | #Constraints: 100443
1944.33/1949.90 c #Conflicts: 924000 | #Constraints: 101443
1944.33/1949.90 c #Conflicts: 925000 | #Constraints: 102443
1944.33/1949.90 c #Conflicts: 926000 | #Constraints: 103443
1944.33/1949.90 c #Conflicts: 927000 | #Constraints: 104443
1944.33/1949.90 c #Conflicts: 928000 | #Constraints: 105443
1944.33/1949.90 c #Conflicts: 929000 | #Constraints: 106443
1944.33/1949.90 c #Conflicts: 930000 | #Constraints: 107443
1944.33/1949.90 c #Conflicts: 931000 | #Constraints: 108443
1944.33/1949.90 c #Conflicts: 932000 | #Constraints: 109443
1944.33/1949.90 c #Conflicts: 933000 | #Constraints: 110443
1944.33/1949.90 c #Conflicts: 934000 | #Constraints: 111443
1944.33/1949.90 c #Conflicts: 935000 | #Constraints: 112443
1944.33/1949.90 c #Conflicts: 936000 | #Constraints: 113443
1944.33/1949.90 c #Conflicts: 937000 | #Constraints: 114443
1944.33/1949.90 c #Conflicts: 938000 | #Constraints: 115443
1944.33/1949.90 c #Conflicts: 939000 | #Constraints: 116443
1944.33/1949.90 c #Conflicts: 940000 | #Constraints: 117443
1944.33/1949.90 c #Conflicts: 941000 | #Constraints: 118443
1944.33/1949.90 c INPROCESSING
1944.33/1949.90 c GARBAGE COLLECT
1944.33/1949.90 c #Conflicts: 942000 | #Constraints: 100256
1944.33/1949.90 c #Conflicts: 943000 | #Constraints: 101256
1944.33/1949.90 c #Conflicts: 944000 | #Constraints: 102256
1944.33/1949.90 c #Conflicts: 945000 | #Constraints: 103256
1944.33/1949.90 c #Conflicts: 946000 | #Constraints: 104256
1944.33/1949.90 c #Conflicts: 947000 | #Constraints: 105256
1944.33/1949.90 c #Conflicts: 948000 | #Constraints: 106256
1944.33/1949.90 c #Conflicts: 949000 | #Constraints: 107256
1944.33/1949.90 c #Conflicts: 950000 | #Constraints: 108256
1944.33/1949.90 c #Conflicts: 951000 | #Constraints: 109256
1944.33/1949.90 c #Conflicts: 952000 | #Constraints: 110256
1944.33/1949.90 c #Conflicts: 953000 | #Constraints: 111256
1944.33/1949.90 c #Conflicts: 954000 | #Constraints: 112256
1944.33/1949.90 c #Conflicts: 955000 | #Constraints: 113256
2128.88/2135.04 c #Conflicts: 956000 | #Constraints: 114256
2128.88/2135.04 c #Conflicts: 957000 | #Constraints: 115256
2128.88/2135.04 c #Conflicts: 958000 | #Constraints: 116256
2128.88/2135.04 c #Conflicts: 959000 | #Constraints: 117256
2128.88/2135.04 c #Conflicts: 960000 | #Constraints: 118256
2128.88/2135.04 c #Conflicts: 961000 | #Constraints: 119256
2128.88/2135.04 c INPROCESSING
2128.88/2135.04 c GARBAGE COLLECT
2128.88/2135.04 c #Conflicts: 962000 | #Constraints: 100842
2128.88/2135.04 c #Conflicts: 963000 | #Constraints: 101842
2128.88/2135.04 c #Conflicts: 964000 | #Constraints: 102842
2128.88/2135.04 c #Conflicts: 965000 | #Constraints: 103842
2128.88/2135.04 c #Conflicts: 966000 | #Constraints: 104842
2128.88/2135.04 c #Conflicts: 967000 | #Constraints: 105842
2128.88/2135.04 c #Conflicts: 968000 | #Constraints: 106842
2128.88/2135.04 c #Conflicts: 969000 | #Constraints: 107842
2128.88/2135.04 c #Conflicts: 970000 | #Constraints: 108842
2128.88/2135.04 c #Conflicts: 971000 | #Constraints: 109842
2128.88/2135.04 c #Conflicts: 972000 | #Constraints: 110842
2128.88/2135.04 c #Conflicts: 973000 | #Constraints: 111842
2128.88/2135.04 c #Conflicts: 974000 | #Constraints: 112842
2128.88/2135.04 c #Conflicts: 975000 | #Constraints: 113842
2128.88/2135.04 c #Conflicts: 976000 | #Constraints: 114842
2128.88/2135.04 c #Conflicts: 977000 | #Constraints: 115842
2128.88/2135.04 c #Conflicts: 978000 | #Constraints: 116842
2128.88/2135.04 c #Conflicts: 979000 | #Constraints: 117842
2128.88/2135.04 c #Conflicts: 980000 | #Constraints: 118842
2128.88/2135.04 c #Conflicts: 981000 | #Constraints: 119842
2128.88/2135.04 c INPROCESSING
2128.88/2135.04 c GARBAGE COLLECT
2128.88/2135.04 c #Conflicts: 982000 | #Constraints: 101233
2128.88/2135.04 c #Conflicts: 983000 | #Constraints: 102233
2128.88/2135.04 c #Conflicts: 984000 | #Constraints: 103233
2128.88/2135.04 c #Conflicts: 985000 | #Constraints: 104233
2128.88/2135.04 c #Conflicts: 986000 | #Constraints: 105233
2128.88/2135.04 c #Conflicts: 987000 | #Constraints: 106233
2128.88/2135.04 c #Conflicts: 988000 | #Constraints: 107233
2128.88/2135.04 c #Conflicts: 989000 | #Constraints: 108233
2128.88/2135.04 c #Conflicts: 990000 | #Constraints: 109233
2128.88/2135.04 c #Conflicts: 991000 | #Constraints: 110233
2128.88/2135.04 c #Conflicts: 992000 | #Constraints: 111233
2128.88/2135.04 c #Conflicts: 993000 | #Constraints: 112233
2128.88/2135.04 c #Conflicts: 994000 | #Constraints: 113233
2128.88/2135.04 c #Conflicts: 995000 | #Constraints: 114233
2128.88/2135.04 c #Conflicts: 996000 | #Constraints: 115233
2128.88/2135.04 c #Conflicts: 997000 | #Constraints: 116233
2128.88/2135.04 c #Conflicts: 998000 | #Constraints: 117233
2128.88/2135.04 c #Conflicts: 999000 | #Constraints: 118233
2128.88/2135.04 c #Conflicts: 1000000 | #Constraints: 119233
2128.88/2135.04 c #Conflicts: 1001000 | #Constraints: 120233
2128.88/2135.04 c INPROCESSING
2128.88/2135.04 c GARBAGE COLLECT
2128.88/2135.04 c #Conflicts: 1002000 | #Constraints: 101440
2128.88/2135.04 c #Conflicts: 1003000 | #Constraints: 102440
2128.88/2135.04 c #Conflicts: 1004000 | #Constraints: 103440
2128.88/2135.04 c #Conflicts: 1005000 | #Constraints: 104440
2128.88/2135.04 c #Conflicts: 1006000 | #Constraints: 105440
2128.88/2135.04 c #Conflicts: 1007000 | #Constraints: 106440
2128.88/2135.04 c #Conflicts: 1008000 | #Constraints: 107440
2128.88/2135.04 c #Conflicts: 1009000 | #Constraints: 108440
2128.88/2135.04 c #Conflicts: 1010000 | #Constraints: 109440
2128.88/2135.04 c #Conflicts: 1011000 | #Constraints: 110440
2128.88/2135.04 c #Conflicts: 1012000 | #Constraints: 111440
2128.88/2135.04 c #Conflicts: 1013000 | #Constraints: 112440
2128.88/2135.04 c #Conflicts: 1014000 | #Constraints: 113440
2128.88/2135.04 c #Conflicts: 1015000 | #Constraints: 114440
2128.88/2135.04 c #Conflicts: 1016000 | #Constraints: 115440
2128.88/2135.04 c #Conflicts: 1017000 | #Constraints: 116440
2128.88/2135.04 c #Conflicts: 1018000 | #Constraints: 117440
2128.88/2135.04 c #Conflicts: 1019000 | #Constraints: 118440
2128.88/2135.04 c #Conflicts: 1020000 | #Constraints: 119440
2128.88/2135.04 c #Conflicts: 1021000 | #Constraints: 120440
2128.88/2135.04 c INPROCESSING
2128.88/2135.04 c GARBAGE COLLECT
2128.88/2135.04 c #Conflicts: 1022000 | #Constraints: 101474
2128.88/2135.04 c #Conflicts: 1023000 | #Constraints: 102474
2128.88/2135.04 c #Conflicts: 1024000 | #Constraints: 103474
2128.88/2135.04 c #Conflicts: 1025000 | #Constraints: 104474
2128.88/2135.04 c #Conflicts: 1026000 | #Constraints: 105474
2128.88/2135.04 c #Conflicts: 1027000 | #Constraints: 106474
2128.88/2135.04 c #Conflicts: 1028000 | #Constraints: 107474
2128.88/2135.04 c #Conflicts: 1029000 | #Constraints: 108474
2128.88/2135.04 c #Conflicts: 1030000 | #Constraints: 109474
2128.88/2135.04 c #Conflicts: 1031000 | #Constraints: 110474
2319.49/2326.29 c #Conflicts: 1032000 | #Constraints: 111474
2319.49/2326.29 c #Conflicts: 1033000 | #Constraints: 112474
2319.49/2326.29 c #Conflicts: 1034000 | #Constraints: 113474
2319.49/2326.29 c #Conflicts: 1035000 | #Constraints: 114474
2319.49/2326.29 c #Conflicts: 1036000 | #Constraints: 115474
2319.49/2326.29 c #Conflicts: 1037000 | #Constraints: 116474
2319.49/2326.29 c #Conflicts: 1038000 | #Constraints: 117474
2319.49/2326.29 c #Conflicts: 1039000 | #Constraints: 118474
2319.49/2326.29 c #Conflicts: 1040000 | #Constraints: 119474
2319.49/2326.29 c #Conflicts: 1041000 | #Constraints: 120474
2319.49/2326.29 c INPROCESSING
2319.49/2326.29 c GARBAGE COLLECT
2319.49/2326.29 c #Conflicts: 1042000 | #Constraints: 101276
2319.49/2326.29 c #Conflicts: 1043000 | #Constraints: 102276
2319.49/2326.29 c #Conflicts: 1044000 | #Constraints: 103276
2319.49/2326.29 c #Conflicts: 1045000 | #Constraints: 104276
2319.49/2326.29 c #Conflicts: 1046000 | #Constraints: 105276
2319.49/2326.29 c #Conflicts: 1047000 | #Constraints: 106276
2319.49/2326.29 c #Conflicts: 1048000 | #Constraints: 107276
2319.49/2326.29 c #Conflicts: 1049000 | #Constraints: 108276
2319.49/2326.29 c #Conflicts: 1050000 | #Constraints: 109276
2319.49/2326.29 c #Conflicts: 1051000 | #Constraints: 110276
2319.49/2326.29 c #Conflicts: 1052000 | #Constraints: 111276
2319.49/2326.29 c #Conflicts: 1053000 | #Constraints: 112276
2319.49/2326.29 c #Conflicts: 1054000 | #Constraints: 113276
2319.49/2326.29 c #Conflicts: 1055000 | #Constraints: 114276
2319.49/2326.29 c #Conflicts: 1056000 | #Constraints: 115276
2319.49/2326.29 c #Conflicts: 1057000 | #Constraints: 116276
2319.49/2326.29 c #Conflicts: 1058000 | #Constraints: 117276
2319.49/2326.29 c #Conflicts: 1059000 | #Constraints: 118276
2319.49/2326.29 c #Conflicts: 1060000 | #Constraints: 119276
2319.49/2326.29 c #Conflicts: 1061000 | #Constraints: 120276
2319.49/2326.29 c #Conflicts: 1062000 | #Constraints: 121276
2319.49/2326.29 c INPROCESSING
2319.49/2326.29 c GARBAGE COLLECT
2319.49/2326.29 c #Conflicts: 1063000 | #Constraints: 101864
2319.49/2326.29 c #Conflicts: 1064000 | #Constraints: 102864
2319.49/2326.29 c #Conflicts: 1065000 | #Constraints: 103864
2319.49/2326.29 c #Conflicts: 1066000 | #Constraints: 104864
2319.49/2326.29 c #Conflicts: 1067000 | #Constraints: 105864
2319.49/2326.29 c #Conflicts: 1068000 | #Constraints: 106864
2319.49/2326.29 c #Conflicts: 1069000 | #Constraints: 107864
2319.49/2326.29 c #Conflicts: 1070000 | #Constraints: 108864
2319.49/2326.29 c #Conflicts: 1071000 | #Constraints: 109864
2319.49/2326.29 c #Conflicts: 1072000 | #Constraints: 110864
2319.49/2326.29 c #Conflicts: 1073000 | #Constraints: 111864
2319.49/2326.29 c #Conflicts: 1074000 | #Constraints: 112864
2319.49/2326.29 c #Conflicts: 1075000 | #Constraints: 113864
2319.49/2326.29 c #Conflicts: 1076000 | #Constraints: 114864
2319.49/2326.29 c #Conflicts: 1077000 | #Constraints: 115864
2319.49/2326.29 c #Conflicts: 1078000 | #Constraints: 116864
2319.49/2326.29 c #Conflicts: 1079000 | #Constraints: 117864
2319.49/2326.29 c #Conflicts: 1080000 | #Constraints: 118864
2319.49/2326.29 c #Conflicts: 1081000 | #Constraints: 119864
2319.49/2326.29 c #Conflicts: 1082000 | #Constraints: 120864
2319.49/2326.29 c #Conflicts: 1083000 | #Constraints: 121864
2319.49/2326.29 c INPROCESSING
2319.49/2326.29 c GARBAGE COLLECT
2319.49/2326.29 c #Conflicts: 1084000 | #Constraints: 102248
2319.49/2326.29 c #Conflicts: 1085000 | #Constraints: 103248
2319.49/2326.29 c #Conflicts: 1086000 | #Constraints: 104248
2319.49/2326.29 c #Conflicts: 1087000 | #Constraints: 105248
2319.49/2326.29 c #Conflicts: 1088000 | #Constraints: 106248
2319.49/2326.29 c #Conflicts: 1089000 | #Constraints: 107248
2319.49/2326.29 c #Conflicts: 1090000 | #Constraints: 108248
2319.49/2326.29 c #Conflicts: 1091000 | #Constraints: 109248
2319.49/2326.29 c #Conflicts: 1092000 | #Constraints: 110248
2319.49/2326.29 c #Conflicts: 1093000 | #Constraints: 111248
2319.49/2326.29 c #Conflicts: 1094000 | #Constraints: 112248
2319.49/2326.29 c #Conflicts: 1095000 | #Constraints: 113248
2319.49/2326.29 c #Conflicts: 1096000 | #Constraints: 114248
2319.49/2326.29 c #Conflicts: 1097000 | #Constraints: 115248
2319.49/2326.29 c #Conflicts: 1098000 | #Constraints: 116248
2319.49/2326.29 c #Conflicts: 1099000 | #Constraints: 117248
2319.49/2326.29 c #Conflicts: 1100000 | #Constraints: 118248
2319.49/2326.29 c #Conflicts: 1101000 | #Constraints: 119248
2319.49/2326.29 c #Conflicts: 1102000 | #Constraints: 120248
2319.49/2326.29 c #Conflicts: 1103000 | #Constraints: 121248
2319.49/2326.29 c #Conflicts: 1104000 | #Constraints: 122248
2319.49/2326.29 c INPROCESSING
2319.49/2326.29 c GARBAGE COLLECT
2319.49/2326.29 c #Conflicts: 1105000 | #Constraints: 102447
2319.49/2326.29 c #Conflicts: 1106000 | #Constraints: 103447
2319.49/2326.29 c #Conflicts: 1107000 | #Constraints: 104447
2319.49/2326.29 c #Conflicts: 1108000 | #Constraints: 105447
2532.55/2539.94 c #Conflicts: 1109000 | #Constraints: 106447
2532.55/2539.94 c #Conflicts: 1110000 | #Constraints: 107447
2532.55/2539.94 c #Conflicts: 1111000 | #Constraints: 108447
2532.55/2539.94 c #Conflicts: 1112000 | #Constraints: 109447
2532.55/2539.94 c #Conflicts: 1113000 | #Constraints: 110447
2532.55/2539.94 c #Conflicts: 1114000 | #Constraints: 111447
2532.55/2539.94 c #Conflicts: 1115000 | #Constraints: 112447
2532.55/2539.94 c #Conflicts: 1116000 | #Constraints: 113447
2532.55/2539.94 c #Conflicts: 1117000 | #Constraints: 114447
2532.55/2539.94 c #Conflicts: 1118000 | #Constraints: 115447
2532.55/2539.94 c #Conflicts: 1119000 | #Constraints: 116447
2532.55/2539.94 c #Conflicts: 1120000 | #Constraints: 117447
2532.55/2539.94 c #Conflicts: 1121000 | #Constraints: 118447
2532.55/2539.94 c #Conflicts: 1122000 | #Constraints: 119447
2532.55/2539.94 c #Conflicts: 1123000 | #Constraints: 120447
2532.55/2539.94 c #Conflicts: 1124000 | #Constraints: 121447
2532.55/2539.94 c #Conflicts: 1125000 | #Constraints: 122447
2532.55/2539.94 c INPROCESSING
2532.55/2539.94 c GARBAGE COLLECT
2532.55/2539.94 c #Conflicts: 1126000 | #Constraints: 102432
2532.55/2539.94 c #Conflicts: 1127000 | #Constraints: 103432
2532.55/2539.94 c #Conflicts: 1128000 | #Constraints: 104432
2532.55/2539.94 c #Conflicts: 1129000 | #Constraints: 105432
2532.55/2539.94 c #Conflicts: 1130000 | #Constraints: 106432
2532.55/2539.94 c #Conflicts: 1131000 | #Constraints: 107432
2532.55/2539.94 c #Conflicts: 1132000 | #Constraints: 108432
2532.55/2539.94 c #Conflicts: 1133000 | #Constraints: 109432
2532.55/2539.94 c #Conflicts: 1134000 | #Constraints: 110432
2532.55/2539.94 c #Conflicts: 1135000 | #Constraints: 111432
2532.55/2539.94 c #Conflicts: 1136000 | #Constraints: 112432
2532.55/2539.94 c #Conflicts: 1137000 | #Constraints: 113432
2532.55/2539.94 c #Conflicts: 1138000 | #Constraints: 114432
2532.55/2539.94 c #Conflicts: 1139000 | #Constraints: 115432
2532.55/2539.94 c #Conflicts: 1140000 | #Constraints: 116432
2532.55/2539.94 c #Conflicts: 1141000 | #Constraints: 117432
2532.55/2539.94 c #Conflicts: 1142000 | #Constraints: 118432
2532.55/2539.94 c #Conflicts: 1143000 | #Constraints: 119432
2532.55/2539.94 c #Conflicts: 1144000 | #Constraints: 120432
2532.55/2539.94 c #Conflicts: 1145000 | #Constraints: 121432
2532.55/2539.94 c #Conflicts: 1146000 | #Constraints: 122432
2532.55/2539.94 c INPROCESSING
2532.55/2539.94 c GARBAGE COLLECT
2532.55/2539.94 c #Conflicts: 1147000 | #Constraints: 102225
2532.55/2539.94 c #Conflicts: 1148000 | #Constraints: 103225
2532.55/2539.94 c #Conflicts: 1149000 | #Constraints: 104225
2532.55/2539.94 c #Conflicts: 1150000 | #Constraints: 105225
2532.55/2539.94 c #Conflicts: 1151000 | #Constraints: 106225
2532.55/2539.94 c #Conflicts: 1152000 | #Constraints: 107225
2532.55/2539.94 c #Conflicts: 1153000 | #Constraints: 108225
2532.55/2539.94 c #Conflicts: 1154000 | #Constraints: 109225
2532.55/2539.94 c #Conflicts: 1155000 | #Constraints: 110225
2532.55/2539.94 c #Conflicts: 1156000 | #Constraints: 111225
2532.55/2539.94 c #Conflicts: 1157000 | #Constraints: 112225
2532.55/2539.94 c #Conflicts: 1158000 | #Constraints: 113225
2532.55/2539.94 c #Conflicts: 1159000 | #Constraints: 114225
2532.55/2539.94 c #Conflicts: 1160000 | #Constraints: 115225
2532.55/2539.94 c #Conflicts: 1161000 | #Constraints: 116225
2532.55/2539.94 c #Conflicts: 1162000 | #Constraints: 117225
2532.55/2539.94 c #Conflicts: 1163000 | #Constraints: 118225
2532.55/2539.94 c #Conflicts: 1164000 | #Constraints: 119225
2532.55/2539.94 c #Conflicts: 1165000 | #Constraints: 120225
2532.55/2539.94 c #Conflicts: 1166000 | #Constraints: 121225
2532.55/2539.94 c #Conflicts: 1167000 | #Constraints: 122225
2532.55/2539.94 c #Conflicts: 1168000 | #Constraints: 123225
2532.55/2539.94 c INPROCESSING
2532.55/2539.94 c GARBAGE COLLECT
2532.55/2539.94 c #Conflicts: 1169000 | #Constraints: 102828
2532.55/2539.94 c #Conflicts: 1170000 | #Constraints: 103828
2532.55/2539.94 c #Conflicts: 1171000 | #Constraints: 104828
2532.55/2539.94 c #Conflicts: 1172000 | #Constraints: 105828
2532.55/2539.94 c #Conflicts: 1173000 | #Constraints: 106828
2532.55/2539.94 c #Conflicts: 1174000 | #Constraints: 107828
2532.55/2539.94 c #Conflicts: 1175000 | #Constraints: 108828
2532.55/2539.94 c #Conflicts: 1176000 | #Constraints: 109828
2532.55/2539.94 c #Conflicts: 1177000 | #Constraints: 110828
2532.55/2539.94 c #Conflicts: 1178000 | #Constraints: 111828
2532.55/2539.94 c #Conflicts: 1179000 | #Constraints: 112828
2532.55/2539.94 c #Conflicts: 1180000 | #Constraints: 113828
2532.55/2539.94 c #Conflicts: 1181000 | #Constraints: 114828
2532.55/2539.94 c #Conflicts: 1182000 | #Constraints: 115828
2532.55/2539.94 c #Conflicts: 1183000 | #Constraints: 116828
2532.55/2539.94 c #Conflicts: 1184000 | #Constraints: 117828
2532.55/2539.94 c #Conflicts: 1185000 | #Constraints: 118828
2772.52/2780.61 c #Conflicts: 1186000 | #Constraints: 119828
2772.52/2780.61 c #Conflicts: 1187000 | #Constraints: 120828
2772.52/2780.61 c #Conflicts: 1188000 | #Constraints: 121828
2772.52/2780.61 c #Conflicts: 1189000 | #Constraints: 122828
2772.52/2780.61 c #Conflicts: 1190000 | #Constraints: 123828
2772.52/2780.61 c INPROCESSING
2772.52/2780.61 c GARBAGE COLLECT
2772.52/2780.61 c #Conflicts: 1191000 | #Constraints: 103240
2772.52/2780.61 c #Conflicts: 1192000 | #Constraints: 104240
2772.52/2780.61 c #Conflicts: 1193000 | #Constraints: 105240
2772.52/2780.61 c #Conflicts: 1194000 | #Constraints: 106240
2772.52/2780.61 c #Conflicts: 1195000 | #Constraints: 107240
2772.52/2780.61 c #Conflicts: 1196000 | #Constraints: 108240
2772.52/2780.61 c #Conflicts: 1197000 | #Constraints: 109240
2772.52/2780.61 c #Conflicts: 1198000 | #Constraints: 110240
2772.52/2780.61 c #Conflicts: 1199000 | #Constraints: 111240
2772.52/2780.61 c #Conflicts: 1200000 | #Constraints: 112240
2772.52/2780.61 c #Conflicts: 1201000 | #Constraints: 113240
2772.52/2780.61 c #Conflicts: 1202000 | #Constraints: 114240
2772.52/2780.61 c #Conflicts: 1203000 | #Constraints: 115240
2772.52/2780.61 c #Conflicts: 1204000 | #Constraints: 116240
2772.52/2780.61 c #Conflicts: 1205000 | #Constraints: 117240
2772.52/2780.61 c #Conflicts: 1206000 | #Constraints: 118240
2772.52/2780.61 c #Conflicts: 1207000 | #Constraints: 119240
2772.52/2780.61 c #Conflicts: 1208000 | #Constraints: 120240
2772.52/2780.61 c #Conflicts: 1209000 | #Constraints: 121240
2772.52/2780.61 c #Conflicts: 1210000 | #Constraints: 122240
2772.52/2780.61 c #Conflicts: 1211000 | #Constraints: 123240
2772.52/2780.61 c #Conflicts: 1212000 | #Constraints: 124240
2772.52/2780.61 c INPROCESSING
2772.52/2780.61 c GARBAGE COLLECT
2772.52/2780.61 c #Conflicts: 1213000 | #Constraints: 103422
2772.52/2780.61 c #Conflicts: 1214000 | #Constraints: 104422
2772.52/2780.61 c #Conflicts: 1215000 | #Constraints: 105422
2772.52/2780.61 c #Conflicts: 1216000 | #Constraints: 106422
2772.52/2780.61 c #Conflicts: 1217000 | #Constraints: 107422
2772.52/2780.61 c #Conflicts: 1218000 | #Constraints: 108422
2772.52/2780.61 c #Conflicts: 1219000 | #Constraints: 109422
2772.52/2780.61 c #Conflicts: 1220000 | #Constraints: 110422
2772.52/2780.61 c #Conflicts: 1221000 | #Constraints: 111422
2772.52/2780.61 c #Conflicts: 1222000 | #Constraints: 112422
2772.52/2780.61 c #Conflicts: 1223000 | #Constraints: 113422
2772.52/2780.61 c #Conflicts: 1224000 | #Constraints: 114422
2772.52/2780.61 c #Conflicts: 1225000 | #Constraints: 115422
2772.52/2780.61 c #Conflicts: 1226000 | #Constraints: 116422
2772.52/2780.61 c #Conflicts: 1227000 | #Constraints: 117422
2772.52/2780.61 c #Conflicts: 1228000 | #Constraints: 118422
2772.52/2780.61 c #Conflicts: 1229000 | #Constraints: 119422
2772.52/2780.61 c #Conflicts: 1230000 | #Constraints: 120422
2772.52/2780.61 c #Conflicts: 1231000 | #Constraints: 121422
2772.52/2780.61 c #Conflicts: 1232000 | #Constraints: 122422
2772.52/2780.61 c #Conflicts: 1233000 | #Constraints: 123422
2772.52/2780.61 c #Conflicts: 1234000 | #Constraints: 124422
2772.52/2780.61 c INPROCESSING
2772.52/2780.61 c GARBAGE COLLECT
2772.52/2780.61 c #Conflicts: 1235000 | #Constraints: 103457
2772.52/2780.61 c #Conflicts: 1236000 | #Constraints: 104457
2772.52/2780.61 c #Conflicts: 1237000 | #Constraints: 105457
2772.52/2780.61 c #Conflicts: 1238000 | #Constraints: 106457
2772.52/2780.61 c #Conflicts: 1239000 | #Constraints: 107457
2772.52/2780.61 c #Conflicts: 1240000 | #Constraints: 108457
2772.52/2780.61 c #Conflicts: 1241000 | #Constraints: 109457
2772.52/2780.61 c #Conflicts: 1242000 | #Constraints: 110457
2772.52/2780.61 c #Conflicts: 1243000 | #Constraints: 111457
2772.52/2780.61 c #Conflicts: 1244000 | #Constraints: 112457
2772.52/2780.61 c #Conflicts: 1245000 | #Constraints: 113457
2772.52/2780.61 c #Conflicts: 1246000 | #Constraints: 114457
2772.52/2780.61 c #Conflicts: 1247000 | #Constraints: 115457
2772.52/2780.61 c #Conflicts: 1248000 | #Constraints: 116457
2772.52/2780.61 c #Conflicts: 1249000 | #Constraints: 117457
2772.52/2780.61 c #Conflicts: 1250000 | #Constraints: 118457
2772.52/2780.61 c #Conflicts: 1251000 | #Constraints: 119457
2772.52/2780.61 c #Conflicts: 1252000 | #Constraints: 120457
2772.52/2780.61 c #Conflicts: 1253000 | #Constraints: 121457
2772.52/2780.61 c #Conflicts: 1254000 | #Constraints: 122457
2772.52/2780.61 c #Conflicts: 1255000 | #Constraints: 123457
2772.52/2780.61 c #Conflicts: 1256000 | #Constraints: 124457
2772.52/2780.61 c INPROCESSING
2772.52/2780.61 c GARBAGE COLLECT
2772.52/2780.61 c #Conflicts: 1257000 | #Constraints: 103271
2772.52/2780.61 c #Conflicts: 1258000 | #Constraints: 104271
2772.52/2780.61 c #Conflicts: 1259000 | #Constraints: 105271
2772.52/2780.61 c #Conflicts: 1260000 | #Constraints: 106271
2772.52/2780.61 c #Conflicts: 1261000 | #Constraints: 107271
3016.80/3025.65 c #Conflicts: 1262000 | #Constraints: 108271
3016.80/3025.65 c #Conflicts: 1263000 | #Constraints: 109271
3016.80/3025.65 c #Conflicts: 1264000 | #Constraints: 110271
3016.80/3025.65 c #Conflicts: 1265000 | #Constraints: 111271
3016.80/3025.65 c #Conflicts: 1266000 | #Constraints: 112271
3016.80/3025.65 c #Conflicts: 1267000 | #Constraints: 113271
3016.80/3025.65 c #Conflicts: 1268000 | #Constraints: 114271
3016.80/3025.65 c #Conflicts: 1269000 | #Constraints: 115271
3016.80/3025.65 c #Conflicts: 1270000 | #Constraints: 116271
3016.80/3025.65 c #Conflicts: 1271000 | #Constraints: 117271
3016.80/3025.65 c #Conflicts: 1272000 | #Constraints: 118271
3016.80/3025.65 c #Conflicts: 1273000 | #Constraints: 119271
3016.80/3025.65 c #Conflicts: 1274000 | #Constraints: 120271
3016.80/3025.65 c #Conflicts: 1275000 | #Constraints: 121271
3016.80/3025.65 c #Conflicts: 1276000 | #Constraints: 122271
3016.80/3025.65 c #Conflicts: 1277000 | #Constraints: 123271
3016.80/3025.65 c #Conflicts: 1278000 | #Constraints: 124271
3016.80/3025.65 c #Conflicts: 1279000 | #Constraints: 125271
3016.80/3025.65 c INPROCESSING
3016.80/3025.65 c GARBAGE COLLECT
3016.80/3025.65 c #Conflicts: 1280000 | #Constraints: 103841
3016.80/3025.65 c #Conflicts: 1281000 | #Constraints: 104841
3016.80/3025.65 c #Conflicts: 1282000 | #Constraints: 105841
3016.80/3025.65 c #Conflicts: 1283000 | #Constraints: 106841
3016.80/3025.65 c #Conflicts: 1284000 | #Constraints: 107841
3016.80/3025.65 c #Conflicts: 1285000 | #Constraints: 108841
3016.80/3025.65 c #Conflicts: 1286000 | #Constraints: 109841
3016.80/3025.65 c #Conflicts: 1287000 | #Constraints: 110841
3016.80/3025.65 c #Conflicts: 1288000 | #Constraints: 111841
3016.80/3025.65 c #Conflicts: 1289000 | #Constraints: 112841
3016.80/3025.65 c #Conflicts: 1290000 | #Constraints: 113841
3016.80/3025.65 c #Conflicts: 1291000 | #Constraints: 114841
3016.80/3025.65 c #Conflicts: 1292000 | #Constraints: 115841
3016.80/3025.65 c #Conflicts: 1293000 | #Constraints: 116841
3016.80/3025.65 c #Conflicts: 1294000 | #Constraints: 117841
3016.80/3025.65 c #Conflicts: 1295000 | #Constraints: 118841
3016.80/3025.65 c #Conflicts: 1296000 | #Constraints: 119841
3016.80/3025.65 c #Conflicts: 1297000 | #Constraints: 120841
3016.80/3025.65 c #Conflicts: 1298000 | #Constraints: 121841
3016.80/3025.65 c #Conflicts: 1299000 | #Constraints: 122841
3016.80/3025.65 c #Conflicts: 1300000 | #Constraints: 123841
3016.80/3025.65 c #Conflicts: 1301000 | #Constraints: 124841
3016.80/3025.65 c #Conflicts: 1302000 | #Constraints: 125841
3016.80/3025.65 c INPROCESSING
3016.80/3025.65 c GARBAGE COLLECT
3016.80/3025.65 c #Conflicts: 1303000 | #Constraints: 104249
3016.80/3025.65 c #Conflicts: 1304000 | #Constraints: 105249
3016.80/3025.65 c #Conflicts: 1305000 | #Constraints: 106249
3016.80/3025.65 c #Conflicts: 1306000 | #Constraints: 107249
3016.80/3025.65 c #Conflicts: 1307000 | #Constraints: 108249
3016.80/3025.65 c #Conflicts: 1308000 | #Constraints: 109249
3016.80/3025.65 c #Conflicts: 1309000 | #Constraints: 110249
3016.80/3025.65 c #Conflicts: 1310000 | #Constraints: 111249
3016.80/3025.65 c #Conflicts: 1311000 | #Constraints: 112249
3016.80/3025.65 c #Conflicts: 1312000 | #Constraints: 113249
3016.80/3025.65 c #Conflicts: 1313000 | #Constraints: 114249
3016.80/3025.65 c #Conflicts: 1314000 | #Constraints: 115249
3016.80/3025.65 c #Conflicts: 1315000 | #Constraints: 116249
3016.80/3025.65 c #Conflicts: 1316000 | #Constraints: 117249
3016.80/3025.65 c #Conflicts: 1317000 | #Constraints: 118249
3016.80/3025.65 c #Conflicts: 1318000 | #Constraints: 119249
3016.80/3025.65 c #Conflicts: 1319000 | #Constraints: 120249
3016.80/3025.65 c #Conflicts: 1320000 | #Constraints: 121249
3016.80/3025.65 c #Conflicts: 1321000 | #Constraints: 122249
3016.80/3025.65 c #Conflicts: 1322000 | #Constraints: 123249
3016.80/3025.65 c #Conflicts: 1323000 | #Constraints: 124249
3016.80/3025.65 c #Conflicts: 1324000 | #Constraints: 125249
3016.80/3025.65 c #Conflicts: 1325000 | #Constraints: 126249
3016.80/3025.65 c INPROCESSING
3016.80/3025.65 c GARBAGE COLLECT
3016.80/3025.65 c #Conflicts: 1326000 | #Constraints: 104469
3016.80/3025.65 c #Conflicts: 1327000 | #Constraints: 105469
3016.80/3025.65 c #Conflicts: 1328000 | #Constraints: 106469
3016.80/3025.65 c #Conflicts: 1329000 | #Constraints: 107469
3016.80/3025.65 c #Conflicts: 1330000 | #Constraints: 108469
3016.80/3025.65 c #Conflicts: 1331000 | #Constraints: 109469
3016.80/3025.65 c #Conflicts: 1332000 | #Constraints: 110469
3016.80/3025.65 c #Conflicts: 1333000 | #Constraints: 111469
3016.80/3025.65 c #Conflicts: 1334000 | #Constraints: 112469
3016.80/3025.65 c #Conflicts: 1335000 | #Constraints: 113469
3016.80/3025.65 c #Conflicts: 1336000 | #Constraints: 114469
3016.80/3025.65 c #Conflicts: 1337000 | #Constraints: 115469
3016.80/3025.65 c #Conflicts: 1338000 | #Constraints: 116469
3273.92/3283.53 c #Conflicts: 1339000 | #Constraints: 117469
3273.92/3283.53 c #Conflicts: 1340000 | #Constraints: 118469
3273.92/3283.53 c #Conflicts: 1341000 | #Constraints: 119469
3273.92/3283.53 c #Conflicts: 1342000 | #Constraints: 120469
3273.92/3283.53 c #Conflicts: 1343000 | #Constraints: 121469
3273.92/3283.53 c #Conflicts: 1344000 | #Constraints: 122469
3273.92/3283.53 c #Conflicts: 1345000 | #Constraints: 123469
3273.92/3283.53 c #Conflicts: 1346000 | #Constraints: 124469
3273.92/3283.53 c #Conflicts: 1347000 | #Constraints: 125469
3273.92/3283.53 c #Conflicts: 1348000 | #Constraints: 126469
3273.92/3283.53 c INPROCESSING
3273.92/3283.53 c GARBAGE COLLECT
3273.92/3283.53 c #Conflicts: 1349000 | #Constraints: 104454
3273.92/3283.53 c #Conflicts: 1350000 | #Constraints: 105454
3273.92/3283.53 c #Conflicts: 1351000 | #Constraints: 106454
3273.92/3283.53 c #Conflicts: 1352000 | #Constraints: 107454
3273.92/3283.53 c #Conflicts: 1353000 | #Constraints: 108454
3273.92/3283.53 c #Conflicts: 1354000 | #Constraints: 109454
3273.92/3283.53 c #Conflicts: 1355000 | #Constraints: 110454
3273.92/3283.53 c #Conflicts: 1356000 | #Constraints: 111454
3273.92/3283.53 c #Conflicts: 1357000 | #Constraints: 112454
3273.92/3283.53 c #Conflicts: 1358000 | #Constraints: 113454
3273.92/3283.53 c #Conflicts: 1359000 | #Constraints: 114454
3273.92/3283.53 c #Conflicts: 1360000 | #Constraints: 115454
3273.92/3283.53 c #Conflicts: 1361000 | #Constraints: 116454
3273.92/3283.53 c #Conflicts: 1362000 | #Constraints: 117454
3273.92/3283.53 c #Conflicts: 1363000 | #Constraints: 118454
3273.92/3283.53 c #Conflicts: 1364000 | #Constraints: 119454
3273.92/3283.53 c #Conflicts: 1365000 | #Constraints: 120454
3273.92/3283.53 c #Conflicts: 1366000 | #Constraints: 121454
3273.92/3283.53 c #Conflicts: 1367000 | #Constraints: 122454
3273.92/3283.53 c #Conflicts: 1368000 | #Constraints: 123454
3273.92/3283.53 c #Conflicts: 1369000 | #Constraints: 124454
3273.92/3283.53 c #Conflicts: 1370000 | #Constraints: 125454
3273.92/3283.53 c #Conflicts: 1371000 | #Constraints: 126454
3273.92/3283.53 c INPROCESSING
3273.92/3283.53 c GARBAGE COLLECT
3273.92/3283.53 c #Conflicts: 1372000 | #Constraints: 104253
3273.92/3283.53 c #Conflicts: 1373000 | #Constraints: 105253
3273.92/3283.53 c #Conflicts: 1374000 | #Constraints: 106253
3273.92/3283.53 c #Conflicts: 1375000 | #Constraints: 107253
3273.92/3283.53 c #Conflicts: 1376000 | #Constraints: 108253
3273.92/3283.53 c #Conflicts: 1377000 | #Constraints: 109253
3273.92/3283.53 c #Conflicts: 1378000 | #Constraints: 110253
3273.92/3283.53 c #Conflicts: 1379000 | #Constraints: 111253
3273.92/3283.53 c #Conflicts: 1380000 | #Constraints: 112253
3273.92/3283.53 c #Conflicts: 1381000 | #Constraints: 113253
3273.92/3283.53 c #Conflicts: 1382000 | #Constraints: 114253
3273.92/3283.53 c #Conflicts: 1383000 | #Constraints: 115253
3273.92/3283.53 c #Conflicts: 1384000 | #Constraints: 116253
3273.92/3283.53 c #Conflicts: 1385000 | #Constraints: 117253
3273.92/3283.53 c #Conflicts: 1386000 | #Constraints: 118253
3273.92/3283.53 c #Conflicts: 1387000 | #Constraints: 119253
3273.92/3283.53 c #Conflicts: 1388000 | #Constraints: 120253
3273.92/3283.53 c #Conflicts: 1389000 | #Constraints: 121253
3273.92/3283.53 c #Conflicts: 1390000 | #Constraints: 122253
3273.92/3283.53 c #Conflicts: 1391000 | #Constraints: 123253
3273.92/3283.53 c #Conflicts: 1392000 | #Constraints: 124253
3273.92/3283.53 c #Conflicts: 1393000 | #Constraints: 125253
3273.92/3283.53 c #Conflicts: 1394000 | #Constraints: 126253
3273.92/3283.53 c #Conflicts: 1395000 | #Constraints: 127253
3273.92/3283.53 c INPROCESSING
3273.92/3283.53 c GARBAGE COLLECT
3273.92/3283.53 c #Conflicts: 1396000 | #Constraints: 104866
3273.92/3283.53 c #Conflicts: 1397000 | #Constraints: 105866
3273.92/3283.53 c #Conflicts: 1398000 | #Constraints: 106866
3273.92/3283.53 c #Conflicts: 1399000 | #Constraints: 107866
3273.92/3283.53 c #Conflicts: 1400000 | #Constraints: 108866
3273.92/3283.53 c #Conflicts: 1401000 | #Constraints: 109866
3273.92/3283.53 c #Conflicts: 1402000 | #Constraints: 110866
3273.92/3283.53 c #Conflicts: 1403000 | #Constraints: 111866
3273.92/3283.53 c #Conflicts: 1404000 | #Constraints: 112866
3273.92/3283.53 c #Conflicts: 1405000 | #Constraints: 113866
3273.92/3283.53 c #Conflicts: 1406000 | #Constraints: 114866
3273.92/3283.53 c #Conflicts: 1407000 | #Constraints: 115866
3273.92/3283.53 c #Conflicts: 1408000 | #Constraints: 116866
3273.92/3283.53 c #Conflicts: 1409000 | #Constraints: 117866
3273.92/3283.53 c #Conflicts: 1410000 | #Constraints: 118866
3273.92/3283.53 c #Conflicts: 1411000 | #Constraints: 119866
3273.92/3283.53 c #Conflicts: 1412000 | #Constraints: 120866
3273.92/3283.53 c #Conflicts: 1413000 | #Constraints: 121866
3273.92/3283.53 c #Conflicts: 1414000 | #Constraints: 122866
3273.92/3283.53 c #Conflicts: 1415000 | #Constraints: 123866
3534.05/3544.48 c #Conflicts: 1416000 | #Constraints: 124866
3534.05/3544.48 c #Conflicts: 1417000 | #Constraints: 125866
3534.05/3544.48 c #Conflicts: 1418000 | #Constraints: 126866
3534.05/3544.48 c #Conflicts: 1419000 | #Constraints: 127866
3534.05/3544.48 c INPROCESSING
3534.05/3544.48 c GARBAGE COLLECT
3534.05/3544.48 c #Conflicts: 1420000 | #Constraints: 105252
3534.05/3544.48 c #Conflicts: 1421000 | #Constraints: 106252
3534.05/3544.48 c #Conflicts: 1422000 | #Constraints: 107252
3534.05/3544.48 c #Conflicts: 1423000 | #Constraints: 108252
3534.05/3544.48 c #Conflicts: 1424000 | #Constraints: 109252
3534.05/3544.48 c #Conflicts: 1425000 | #Constraints: 110252
3534.05/3544.48 c #Conflicts: 1426000 | #Constraints: 111252
3534.05/3544.48 c #Conflicts: 1427000 | #Constraints: 112252
3534.05/3544.48 c #Conflicts: 1428000 | #Constraints: 113252
3534.05/3544.48 c #Conflicts: 1429000 | #Constraints: 114252
3534.05/3544.48 c #Conflicts: 1430000 | #Constraints: 115252
3534.05/3544.48 c #Conflicts: 1431000 | #Constraints: 116252
3534.05/3544.48 c #Conflicts: 1432000 | #Constraints: 117252
3534.05/3544.48 c #Conflicts: 1433000 | #Constraints: 118252
3534.05/3544.48 c #Conflicts: 1434000 | #Constraints: 119252
3534.05/3544.48 c #Conflicts: 1435000 | #Constraints: 120252
3534.05/3544.48 c #Conflicts: 1436000 | #Constraints: 121252
3534.05/3544.48 c #Conflicts: 1437000 | #Constraints: 122252
3534.05/3544.48 c #Conflicts: 1438000 | #Constraints: 123252
3534.05/3544.48 c #Conflicts: 1439000 | #Constraints: 124252
3534.05/3544.48 c #Conflicts: 1440000 | #Constraints: 125252
3534.05/3544.48 c #Conflicts: 1441000 | #Constraints: 126252
3534.05/3544.48 c #Conflicts: 1442000 | #Constraints: 127252
3534.05/3544.48 c #Conflicts: 1443000 | #Constraints: 128252
3534.05/3544.48 c INPROCESSING
3534.05/3544.48 c GARBAGE COLLECT
3534.05/3544.48 c #Conflicts: 1444000 | #Constraints: 105447
3534.05/3544.48 c #Conflicts: 1445000 | #Constraints: 106447
3534.05/3544.48 c #Conflicts: 1446000 | #Constraints: 107447
3534.05/3544.48 c #Conflicts: 1447000 | #Constraints: 108447
3534.05/3544.48 c #Conflicts: 1448000 | #Constraints: 109447
3534.05/3544.48 c #Conflicts: 1449000 | #Constraints: 110447
3534.05/3544.48 c #Conflicts: 1450000 | #Constraints: 111447
3534.05/3544.48 c #Conflicts: 1451000 | #Constraints: 112447
3534.05/3544.48 c #Conflicts: 1452000 | #Constraints: 113447
3534.05/3544.48 c #Conflicts: 1453000 | #Constraints: 114447
3534.05/3544.48 c #Conflicts: 1454000 | #Constraints: 115447
3534.05/3544.48 c #Conflicts: 1455000 | #Constraints: 116447
3534.05/3544.48 c #Conflicts: 1456000 | #Constraints: 117447
3534.05/3544.48 c #Conflicts: 1457000 | #Constraints: 118447
3534.05/3544.48 c #Conflicts: 1458000 | #Constraints: 119447
3534.05/3544.48 c #Conflicts: 1459000 | #Constraints: 120447
3534.05/3544.48 c #Conflicts: 1460000 | #Constraints: 121447
3534.05/3544.48 c #Conflicts: 1461000 | #Constraints: 122447
3534.05/3544.48 c #Conflicts: 1462000 | #Constraints: 123447
3534.05/3544.48 c #Conflicts: 1463000 | #Constraints: 124447
3534.05/3544.48 c #Conflicts: 1464000 | #Constraints: 125447
3534.05/3544.48 c #Conflicts: 1465000 | #Constraints: 126447
3534.05/3544.48 c #Conflicts: 1466000 | #Constraints: 127447
3534.05/3544.48 c #Conflicts: 1467000 | #Constraints: 128447
3534.05/3544.48 c INPROCESSING
3534.05/3544.48 c GARBAGE COLLECT
3534.05/3544.48 c #Conflicts: 1468000 | #Constraints: 105430
3534.05/3544.48 c #Conflicts: 1469000 | #Constraints: 106430
3534.05/3544.48 c #Conflicts: 1470000 | #Constraints: 107430
3534.05/3544.48 c #Conflicts: 1471000 | #Constraints: 108430
3534.05/3544.48 c #Conflicts: 1472000 | #Constraints: 109430
3534.05/3544.48 c #Conflicts: 1473000 | #Constraints: 110430
3534.05/3544.48 c #Conflicts: 1474000 | #Constraints: 111430
3534.05/3544.48 c #Conflicts: 1475000 | #Constraints: 112430
3534.05/3544.48 c #Conflicts: 1476000 | #Constraints: 113430
3534.05/3544.48 c #Conflicts: 1477000 | #Constraints: 114430
3534.05/3544.48 c #Conflicts: 1478000 | #Constraints: 115430
3534.05/3544.48 c #Conflicts: 1479000 | #Constraints: 116430
3534.05/3544.48 c #Conflicts: 1480000 | #Constraints: 117430
3534.05/3544.48 c #Conflicts: 1481000 | #Constraints: 118430
3534.05/3544.48 c #Conflicts: 1482000 | #Constraints: 119430
3534.05/3544.48 c #Conflicts: 1483000 | #Constraints: 120430
3534.05/3544.48 c #Conflicts: 1484000 | #Constraints: 121430
3534.05/3544.48 c #Conflicts: 1485000 | #Constraints: 122430
3534.05/3544.48 c #Conflicts: 1486000 | #Constraints: 123430
3534.05/3544.48 c #Conflicts: 1487000 | #Constraints: 124430
3534.05/3544.48 c #Conflicts: 1488000 | #Constraints: 125430
3534.05/3544.48 c #Conflicts: 1489000 | #Constraints: 126430
3534.05/3544.48 c #Conflicts: 1490000 | #Constraints: 127430
3534.05/3544.48 c #Conflicts: 1491000 | #Constraints: 128430
3600.04/3610.60 c INPROCESSING
3600.04/3610.60 c GARBAGE COLLECT
3600.04/3610.60 c #Conflicts: 1492000 | #Constraints: 105196
3600.04/3610.60 c #Conflicts: 1493000 | #Constraints: 106196
3600.04/3610.60 c #Conflicts: 1494000 | #Constraints: 107196
3600.04/3610.60 c #Conflicts: 1495000 | #Constraints: 108196
3600.04/3610.60 c #Conflicts: 1496000 | #Constraints: 109196
3600.04/3610.60 c #Conflicts: 1497000 | #Constraints: 110196
3600.04/3610.60 c #Conflicts: 1498000 | #Constraints: 111196
3600.04/3610.60 c #Conflicts: 1499000 | #Constraints: 112196
3600.04/3610.60 c #Conflicts: 1500000 | #Constraints: 113196
3600.04/3610.60 c #Conflicts: 1501000 | #Constraints: 114196
3600.04/3610.60 c #Conflicts: 1502000 | #Constraints: 115196
3600.04/3610.60 c #Conflicts: 1503000 | #Constraints: 116196
3600.04/3610.60 c #Conflicts: 1504000 | #Constraints: 117196
3600.04/3610.60 c #Conflicts: 1505000 | #Constraints: 118196
3600.04/3610.60 c #Conflicts: 1506000 | #Constraints: 119196
3600.04/3610.60 c #Conflicts: 1507000 | #Constraints: 120196
3600.04/3610.60 c #Conflicts: 1508000 | #Constraints: 121196
3600.04/3610.60 c #Conflicts: 1509000 | #Constraints: 122196
3600.04/3610.60 c #Conflicts: 1510000 | #Constraints: 123196
3600.04/3610.60 c #Conflicts: 1511000 | #Constraints: 124196
3600.04/3610.60 c #Conflicts: 1512000 | #Constraints: 125196
3600.04/3610.60 c Program interrupted by user.
3600.04/3610.60 c cpu time 3593.8 s
3600.04/3610.60 c deterministic time 823472140242 8.23e+11
3600.04/3610.60 c optimization time 62.6791 s
3600.04/3610.60 c total solve time 3231.7 s
3600.04/3610.60 c core-guided solve time 3231.7 s
3600.04/3610.60 c propagation time 3097.73 s
3600.04/3610.60 c conflict analysis time 150.515 s
3600.04/3610.60 c propagations 34290704
3600.04/3610.60 c resolve steps 10415222
3600.04/3610.60 c decisions 1978191
3600.04/3610.60 c conflicts 1512314
3600.04/3610.60 c restarts 2965
3600.04/3610.60 c inprocessing phases 113
3600.04/3610.60 c input clauses 80464
3600.04/3610.60 c input cardinalities 25
3600.04/3610.60 c input general constraints 0
3600.04/3610.60 c input average constraint length 2.37
3600.04/3610.60 c input average constraint degree 1.29
3600.04/3610.60 c learned clauses 904079
3600.04/3610.60 c learned cardinalities 410511
3600.04/3610.60 c learned general constraints 197724
3600.04/3610.60 c learned average constraint length 1097.88
3600.04/3610.60 c learned average constraint degree 19.42
3600.04/3610.60 c watched constraints 197724
3600.04/3610.60 c counting constraints 0
3600.04/3610.60 c gcd simplifications 80410
3600.04/3610.60 c detected cardinalities 18995
3600.04/3610.60 c weakened non-implied lits 24386406
3600.04/3610.60 c weakened non-implying lits 51657
3600.04/3610.60 c original variables 1150
3600.04/3610.60 c clausal propagations 23858086
3600.04/3610.60 c cardinality propagations 5691548
3600.04/3610.60 c watched propagations 920474
3600.04/3610.60 c counting propagations 0
3600.04/3610.60 c watch lookups 19358688786
3600.04/3610.60 c watch backjump lookups 3121771
3600.04/3610.60 c watch checks 799156667472
3600.04/3610.60 c propagation checks 1455585777
3600.04/3610.60 c constraint additions 3424026332
3600.04/3610.60 c trail pops 37781208
3600.04/3610.60 c formula constraints 80258
3600.04/3610.60 c learned constraints 1512314
3600.04/3610.60 c bound constraints 25
3600.04/3610.60 c core-guided constraints 206
3600.04/3610.60 c encountered formula constraints 8414511
3600.04/3610.60 c encountered learned constraints 3456842
3600.04/3610.60 c encountered bound constraints 1830
3600.04/3610.60 c encountered core-guided constraints 54353
3600.04/3610.60 c LP total time 0 s
3600.04/3610.60 c LP solve time 0 s
3600.04/3610.60 c LP constraints added 0
3600.04/3610.60 c LP constraints removed 0
3600.04/3610.60 c LP pivots internal 0
3600.04/3610.60 c LP pivots root 0
3600.04/3610.60 c LP calls 0
3600.04/3610.60 c LP optimalities 0
3600.04/3610.60 c LP no pivot count 0
3600.04/3610.60 c LP infeasibilities 0
3600.04/3610.60 c LP valid Farkas constraints 0
3600.04/3610.60 c LP learned Farkas constraints 0
3600.04/3610.60 c LP basis resets 0
3600.04/3610.60 c LP cycling count 0
3600.04/3610.60 c LP singular count 0
3600.04/3610.60 c LP no primal count 0
3600.04/3610.60 c LP no farkas count 0
3600.04/3610.60 c LP other issue count 0
3600.04/3610.60 c LP Gomory cuts 0
3600.04/3610.60 c LP learned cuts 0
3600.04/3610.60 c LP deleted cuts 0
3600.04/3610.60 c LP encountered Gomory constraints 0
3600.04/3610.60 c LP encountered Farkas constraints 0
3600.04/3610.60 c LP encountered learned Farkas constraints 0
3600.04/3610.60 c CG auxiliary variables introduced 206
3600.04/3610.60 c CG solutions found 0
3600.04/3610.60 c CG cores constructed 24
3600.04/3610.60 c CG core cardinality constraints returned 0
3600.04/3610.60 c CG unit cores 0
3600.04/3610.60 c CG single cores 24
3600.04/3610.60 c CG blocks removed during cardinality reduction 0
3600.04/3610.60 c CG first core best 0
3600.04/3610.60 c CG decision core best 0
3600.04/3610.60 c CG core reduction tie 0
3600.04/3610.60 c CG core degree average 1.00
3600.04/3610.60 c CG core slack average 6.92
3600.04/3610.60 c CG exhausted 0
3600.04/3610.60 c CG exhaust time 0 s
3600.04/3610.60 c CG trimmed 1
3600.04/3610.60 c CG trim time 0.000169 s
3600.04/3610.60 c CG minimized 0
3600.04/3610.60 c CG minimize time 0 s
3600.04/3610.60 c CG am1 prop time 0.005768 s
3600.04/3610.60 c CG # am1s reformulated 206
3600.04/3610.60 c CG lower bound derived from am1s 944
3600.04/3610.60 c CG # clausal cores 24
3600.04/3610.60 c CG # cardinality cores 0
3600.04/3610.60 c CG # pb cores 0
3600.04/3610.60 c CG # pb reforms 0
3600.04/3610.60 c CG # cores discarded because of pb reform 0
3600.04/3610.60 d LOWERBOUND -182
3600.04/3610.60 d NCORES 24
3600.04/3610.60 d NPBCORES 0
3600.04/3610.60 d NPBREFORM 0
3600.04/3610.60 d NTRIMMED 1
3600.04/3610.60 d NEXHAUSTED 0
3600.04/3610.60 d NAM1S 206
3600.04/3610.60 d AM1LB 944
3600.04/3610.60 c [Papilo Statistics]
3600.04/3610.60 c prepro time 0.191836s
3600.04/3610.60 c # tsx applied 0
3600.04/3610.60 c # tsx conflicts 0
3600.04/3610.60 c # bound changes 0
3600.04/3610.60 c # side changes 0
3600.04/3610.60 c # coef changes 0
3600.04/3610.60 c # rounds 1
3600.04/3610.60 c # deted vars 0
3600.04/3610.60 c # deted constrs 0
3600.04/3610.60 c # consecutive rounds of only bound changes 0
3600.04/3610.61 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: 63665 MiB (61910 MiB free)
memory of node 1: 64507 MiB (62013 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484897-1751283306/watcher-4484897-1751283306 -o /tmp/evaluation-result-4484897-1751283306/solver-4484897-1751283306 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751279693-38723 --watchdog 3760 mixed-bag HOME/instance-4484897-1751283306.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=39682, runsolver pid=39679
[startup+0.100063 s]*
/proc/loadavg: 4.11 4.11 4.07 5/263 39683
/proc/meminfo: memFree=126874384/131249996 swapFree=33010684/33010684
[pid=39682] ppid=39679 vsize=89716 memory=16200 CPUtime=0.08 cores=0,2
/proc/39682/stat : 39682 (mixed-bag) R 39679 39682 38713 0 -1 4194304 2626 0 0 0 8 0 0 0 20 0 1 0 44008333 91869184 4050 18446744073709551615 4235264 15874749 140730244741872 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 18096864 18107984 44318720 140730244745628 140730244745705 140730244745705 140730244751307 0
/proc/39682/statm: 22429 4050 2176 2842 0 4662 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 89716 KiB
Current children cumulated memory: 16200 KiB
[startup+0.205606 s]*
/proc/loadavg: 4.11 4.11 4.07 5/263 39683
/proc/meminfo: memFree=126844456/131249996 swapFree=33010684/33010684
[pid=39682] ppid=39679 vsize=132932 memory=50656 CPUtime=0.18 cores=0,2
/proc/39682/stat : 39682 (mixed-bag) R 39679 39682 38713 0 -1 4194304 10669 0 0 0 16 2 0 0 20 0 1 0 44008333 136122368 12664 18446744073709551615 4235264 15874749 140730244741872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 44318720 140730244745628 140730244745705 140730244745705 140730244751307 0
/proc/39682/statm: 33233 12664 2304 2842 0 14927 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 132932 KiB
Current children cumulated memory: 50656 KiB
[startup+0.305694 s]*
/proc/loadavg: 4.11 4.11 4.07 5/263 39683
/proc/meminfo: memFree=126812452/131249996 swapFree=33010684/33010684
[pid=39682] ppid=39679 vsize=132932 memory=50656 CPUtime=0.28 cores=0,2
/proc/39682/stat : 39682 (mixed-bag) R 39679 39682 38713 0 -1 4194304 10677 0 0 0 26 2 0 0 20 0 1 0 44008333 136122368 12664 18446744073709551615 4235264 15874749 140730244741872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 44318720 140730244745628 140730244745705 140730244745705 140730244751307 0
/proc/39682/statm: 33233 12664 2304 2842 0 14927 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 132932 KiB
Current children cumulated memory: 50656 KiB
[startup+0.700179 s]
/proc/loadavg: 4.11 4.11 4.07 5/263 39683
/proc/meminfo: memFree=126643576/131249996 swapFree=33010684/33010684
[pid=39682] ppid=39679 vsize=269988 memory=191292 CPUtime=0.67 cores=0,2
/proc/39682/stat : 39682 (mixed-bag) R 39679 39682 38713 0 -1 4194304 42390 0 0 0 60 7 0 0 20 0 1 0 44008333 276467712 47823 18446744073709551615 4235264 15874749 140730244741872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 44318720 140730244745628 140730244745705 140730244745705 140730244751307 0
/proc/39682/statm: 67497 47823 4064 2842 0 49191 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 269988 KiB
Current children cumulated memory: 191292 KiB
[startup+1.50017 s]
/proc/loadavg: 4.11 4.11 4.07 5/263 39683
/proc/meminfo: memFree=126534808/131249996 swapFree=33010684/33010684
[pid=39682] ppid=39679 vsize=298268 memory=216808 CPUtime=1.46 cores=0,2
/proc/39682/stat : 39682 (mixed-bag) R 39679 39682 38713 0 -1 4194304 49491 0 0 0 138 8 0 0 20 0 1 0 44008333 305426432 54202 18446744073709551615 4235264 15874749 140730244741872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 44318720 140730244745628 140730244745705 140730244745705 140730244751307 0
/proc/39682/statm: 74567 54202 4096 2842 0 56261 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 298268 KiB
Current children cumulated memory: 216808 KiB
[startup+3.10554 s]
/proc/loadavg: 4.11 4.11 4.07 5/263 39683
/proc/meminfo: memFree=126018420/131249996 swapFree=33010684/33010684
[pid=39682] ppid=39679 vsize=553704 memory=445868 CPUtime=3.07 cores=0,2
/proc/39682/stat : 39682 (mixed-bag) R 39679 39682 38713 0 -1 4194304 75093 0 0 0 292 15 0 0 20 0 1 0 44008333 566992896 111467 18446744073709551615 4235264 15874749 140730244741872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 44318720 140730244745628 140730244745705 140730244745705 140730244751307 0
/proc/39682/statm: 138426 111467 4288 2842 0 120120 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 553704 KiB
Current children cumulated memory: 445868 KiB
[startup+6.30014 s]
/proc/loadavg: 4.10 4.11 4.07 5/263 39683
/proc/meminfo: memFree=125962824/131249996 swapFree=33010684/33010684
[pid=39682] ppid=39679 vsize=590884 memory=469792 CPUtime=6.25 cores=0,2
/proc/39682/stat : 39682 (mixed-bag) R 39679 39682 38713 0 -1 4194304 80550 0 0 0 609 16 0 0 20 0 1 0 44008333 605065216 117448 18446744073709551615 4235264 15874749 140730244741872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 44318720 140730244745628 140730244745705 140730244745705 140730244751307 0
/proc/39682/statm: 147721 117448 4288 2842 0 129415 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 590884 KiB
Current children cumulated memory: 469792 KiB
[startup+12.7001 s]
/proc/loadavg: 4.09 4.11 4.07 5/263 39683
/proc/meminfo: memFree=125963076/131249996 swapFree=33010684/33010684
[pid=39682] ppid=39679 vsize=608136 memory=473204 CPUtime=12.64 cores=0,2
/proc/39682/stat : 39682 (mixed-bag) R 39679 39682 38713 0 -1 4194304 80915 0 0 0 1247 17 0 0 20 0 1 0 44008333 622731264 118301 18446744073709551615 4235264 15874749 140730244741872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 44318720 140730244745628 140730244745705 140730244745705 140730244751307 0
/proc/39682/statm: 152034 118301 4288 2842 0 133728 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 608136 KiB
Current children cumulated memory: 473204 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.12 4.07 5/263 39683
/proc/meminfo: memFree=125947512/131249996 swapFree=33010684/33010684
[pid=39682] ppid=39679 vsize=696172 memory=479348 CPUtime=25.4 cores=0,2
/proc/39682/stat : 39682 (mixed-bag) R 39679 39682 38713 0 -1 4194304 82458 0 0 0 2523 17 0 0 20 0 1 0 44008333 712880128 119837 18446744073709551615 4235264 15874749 140730244741872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 44318720 140730244745628 140730244745705 140730244745705 140730244751307 0
/proc/39682/statm: 174043 119837 4288 2842 0 155737 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 696172 KiB
Current children cumulated memory: 479348 KiB
[startup+51.1051 s]
/proc/loadavg: 4.10 4.11 4.07 5/263 39684
/proc/meminfo: memFree=125730160/131249996 swapFree=33010684/33010684
[pid=39682] ppid=39679 vsize=844024 memory=578932 CPUtime=50.93 cores=0,2
/proc/39682/stat : 39682 (mixed-bag) R 39679 39682 38713 0 -1 4194304 107398 0 0 0 5071 22 0 0 20 0 1 0 44008333 864280576 144733 18446744073709551615 4235264 15874749 140730244741872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 44318720 140730244745628 140730244745705 140730244745705 140730244751307 0
/proc/39682/statm: 211006 144733 4288 2842 0 192700 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 844024 KiB
Current children cumulated memory: 578932 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.07 5/265 39688
/proc/meminfo: memFree=125650688/131249996 swapFree=33010684/33010684
[pid=39682] ppid=39679 vsize=928004 memory=595304 CPUtime=101.97 cores=0,2
/proc/39682/stat : 39682 (mixed-bag) R 39679 39682 38713 0 -1 4194304 117133 0 0 0 10174 23 0 0 20 0 1 0 44008333 950276096 148826 18446744073709551615 4235264 15874749 140730244741872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 44318720 140730244745628 140730244745705 140730244745705 140730244751307 0
/proc/39682/statm: 232001 148826 4288 2842 0 213695 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 928004 KiB
Current children cumulated memory: 595304 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.11 4.08 5/265 39690
/proc/meminfo: memFree=125569088/131249996 swapFree=33010684/33010684
[pid=39682] ppid=39679 vsize=978224 memory=645224 CPUtime=161.8 cores=0,2
/proc/39682/stat : 39682 (mixed-bag) R 39679 39682 38713 0 -1 4194304 129631 0 0 0 16154 26 0 0 20 0 1 0 44008333 1001701376 161306 18446744073709551615 4235264 15874749 140730244741872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 44318720 140730244745628 140730244745705 140730244745705 140730244751307 0
/proc/39682/statm: 244556 161306 4288 2842 0 226250 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 978224 KiB
Current children cumulated memory: 645224 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.08 5/265 39692
/proc/meminfo: memFree=125440172/131249996 swapFree=33010684/33010684
[pid=39682] ppid=39679 vsize=1064412 memory=708372 CPUtime=221.61 cores=0,2
/proc/39682/stat : 39682 (mixed-bag) R 39679 39682 38713 0 -1 4194304 134332 0 0 0 22134 27 0 0 20 0 1 0 44008333 1089957888 177093 18446744073709551615 4235264 15874749 140730244741872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 44318720 140730244745628 140730244745705 140730244745705 140730244751307 0
/proc/39682/statm: 266103 177093 4288 2842 0 247797 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 1064412 KiB
Current children cumulated memory: 708372 KiB
[startup+282.3 s]
/proc/loadavg: 4.23 4.13 4.09 5/265 39742
/proc/meminfo: memFree=126119060/131249996 swapFree=33010684/33010684
[pid=39682] ppid=39679 vsize=1146816 memory=740200 CPUtime=281.43 cores=0,2
/proc/39682/stat : 39682 (mixed-bag) R 39679 39682 38713 0 -1 4194304 138718 0 0 0 28115 28 0 0 20 0 1 0 44008333 1174339584 185050 18446744073709551615 4235264 15874749 140730244741872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 44318720 140730244745628 140730244745705 140730244745705 140730244751307 0
/proc/39682/statm: 286704 185050 4288 2842 0 268398 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 1146816 KiB
Current children cumulated memory: 740200 KiB
[startup+342.3 s]
/proc/loadavg: 4.62 4.26 4.14 5/267 39795
/proc/meminfo: memFree=127162952/131249996 swapFree=33010684/33010684
[pid=39682] ppid=39679 vsize=901900 memory=562568 CPUtime=341.27 cores=0,2
/proc/39682/stat : 39682 (mixed-bag) R 39679 39682 38713 0 -1 4194304 143071 0 0 0 34063 64 0 0 20 0 1 0 44008333 923545600 140642 18446744073709551615 4235264 15874749 140730244741872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 44318720 140730244745628 140730244745705 140730244745705 140730244751307 0
/proc/39682/statm: 225475 140642 4448 2842 0 207169 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 901900 KiB
Current children cumulated memory: 562568 KiB
[startup+402.3 s]
/proc/loadavg: 4.27 4.23 4.13 5/266 39797
/proc/meminfo: memFree=126999108/131249996 swapFree=33010684/33010684
[pid=39682] ppid=39679 vsize=932720 memory=582420 CPUtime=401.09 cores=0,2
/proc/39682/stat : 39682 (mixed-bag) R 39679 39682 38713 0 -1 4194304 143416 0 0 0 40019 90 0 0 20 0 1 0 44008333 955105280 145605 18446744073709551615 4235264 15874749 140730244741872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 44318720 140730244745628 140730244745705 140730244745705 140730244751307 0
/proc/39682/statm: 233180 145605 4448 2842 0 214874 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 932720 KiB
Current children cumulated memory: 582420 KiB
[startup+462.3 s]
/proc/loadavg: 4.21 4.22 4.13 5/265 39798
/proc/meminfo: memFree=126842988/131249996 swapFree=33010684/33010684
[pid=39682] ppid=39679 vsize=982808 memory=594196 CPUtime=460.92 cores=0,2
/proc/39682/stat : 39682 (mixed-bag) R 39679 39682 38713 0 -1 4194304 143830 0 0 0 45980 112 0 0 20 0 1 0 44008333 1006395392 148549 18446744073709551615 4235264 15874749 140730244741872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 44318720 140730244745628 140730244745705 140730244745705 140730244751307 0
/proc/39682/statm: 245702 148549 4448 2842 0 227396 0
################
# More data... #
################
Current children cumulated memory: 812340 KiB
[startup+2862.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 39926
/proc/meminfo: memFree=126012148/131249996 swapFree=33010684/33010684
[pid=39682] ppid=39679 vsize=1064196 memory=812340 CPUtime=2853.98 cores=0,2
/proc/39682/stat : 39682 (mixed-bag) R 39679 39682 38713 0 -1 4194304 144896 0 0 0 284856 542 0 0 20 0 1 0 44008333 1089736704 203085 18446744073709551615 4235264 15874749 140730244741872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 44318720 140730244745628 140730244745705 140730244745705 140730244751307 0
/proc/39682/statm: 266049 203085 4448 2842 0 247743 0
Current children cumulated CPU time: 2853.98 s
Current children cumulated vsize: 1064196 KiB
Current children cumulated memory: 812340 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 39928
/proc/meminfo: memFree=126004084/131249996 swapFree=33010684/33010684
[pid=39682] ppid=39679 vsize=1064196 memory=812340 CPUtime=2913.8 cores=0,2
/proc/39682/stat : 39682 (mixed-bag) R 39679 39682 38713 0 -1 4194304 144896 0 0 0 290832 548 0 0 20 0 1 0 44008333 1089736704 203085 18446744073709551615 4235264 15874749 140730244741872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 44318720 140730244745628 140730244745705 140730244745705 140730244751307 0
/proc/39682/statm: 266049 203085 4448 2842 0 247743 0
Current children cumulated CPU time: 2913.8 s
Current children cumulated vsize: 1064196 KiB
Current children cumulated memory: 812340 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 39930
/proc/meminfo: memFree=125999908/131249996 swapFree=33010684/33010684
[pid=39682] ppid=39679 vsize=1064196 memory=812340 CPUtime=2973.62 cores=0,2
/proc/39682/stat : 39682 (mixed-bag) R 39679 39682 38713 0 -1 4194304 144896 0 0 0 296806 556 0 0 20 0 1 0 44008333 1089736704 203085 18446744073709551615 4235264 15874749 140730244741872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 44318720 140730244745628 140730244745705 140730244745705 140730244751307 0
/proc/39682/statm: 266049 203085 4448 2842 0 247743 0
Current children cumulated CPU time: 2973.62 s
Current children cumulated vsize: 1064196 KiB
Current children cumulated memory: 812340 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/263 39932
/proc/meminfo: memFree=125991392/131249996 swapFree=33010684/33010684
[pid=39682] ppid=39679 vsize=1064196 memory=818484 CPUtime=3033.44 cores=0,2
/proc/39682/stat : 39682 (mixed-bag) R 39679 39682 38713 0 -1 4194304 144899 0 0 0 302782 562 0 0 20 0 1 0 44008333 1089736704 204621 18446744073709551615 4235264 15874749 140730244741872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 44318720 140730244745628 140730244745705 140730244745705 140730244751307 0
/proc/39682/statm: 266049 204621 4448 2842 0 247743 0
Current children cumulated CPU time: 3033.44 s
Current children cumulated vsize: 1064196 KiB
Current children cumulated memory: 818484 KiB
[startup+3102.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 39935
/proc/meminfo: memFree=125981244/131249996 swapFree=33010684/33010684
[pid=39682] ppid=39679 vsize=1196456 memory=820404 CPUtime=3093.26 cores=0,2
/proc/39682/stat : 39682 (mixed-bag) R 39679 39682 38713 0 -1 4194304 145391 0 0 0 308757 569 0 0 20 0 1 0 44008333 1225170944 205101 18446744073709551615 4235264 15874749 140730244741872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 44318720 140730244745628 140730244745705 140730244745705 140730244751307 0
/proc/39682/statm: 299114 205101 4448 2842 0 280808 0
Current children cumulated CPU time: 3093.26 s
Current children cumulated vsize: 1196456 KiB
Current children cumulated memory: 820404 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 39937
/proc/meminfo: memFree=125981356/131249996 swapFree=33010684/33010684
[pid=39682] ppid=39679 vsize=1196456 memory=820404 CPUtime=3153.09 cores=0,2
/proc/39682/stat : 39682 (mixed-bag) R 39679 39682 38713 0 -1 4194304 145391 0 0 0 314734 575 0 0 20 0 1 0 44008333 1225170944 205101 18446744073709551615 4235264 15874749 140730244741872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 44318720 140730244745628 140730244745705 140730244745705 140730244751307 0
/proc/39682/statm: 299114 205101 4448 2842 0 280808 0
Current children cumulated CPU time: 3153.09 s
Current children cumulated vsize: 1196456 KiB
Current children cumulated memory: 820404 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 39939
/proc/meminfo: memFree=125977452/131249996 swapFree=33010684/33010684
[pid=39682] ppid=39679 vsize=1196456 memory=820404 CPUtime=3212.91 cores=0,2
/proc/39682/stat : 39682 (mixed-bag) R 39679 39682 38713 0 -1 4194304 145392 0 0 0 320709 582 0 0 20 0 1 0 44008333 1225170944 205101 18446744073709551615 4235264 15874749 140730244741872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 44318720 140730244745628 140730244745705 140730244745705 140730244751307 0
/proc/39682/statm: 299114 205101 4448 2842 0 280808 0
Current children cumulated CPU time: 3212.91 s
Current children cumulated vsize: 1196456 KiB
Current children cumulated memory: 820404 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 39944
/proc/meminfo: memFree=125973252/131249996 swapFree=33010684/33010684
[pid=39682] ppid=39679 vsize=1196456 memory=820404 CPUtime=3272.72 cores=0,2
/proc/39682/stat : 39682 (mixed-bag) R 39679 39682 38713 0 -1 4194304 145392 0 0 0 326683 589 0 0 20 0 1 0 44008333 1225170944 205101 18446744073709551615 4235264 15874749 140730244741872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 44318720 140730244745628 140730244745705 140730244745705 140730244751307 0
/proc/39682/statm: 299114 205101 4448 2842 0 280808 0
Current children cumulated CPU time: 3272.72 s
Current children cumulated vsize: 1196456 KiB
Current children cumulated memory: 820404 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 39952
/proc/meminfo: memFree=125968856/131249996 swapFree=33010684/33010684
[pid=39682] ppid=39679 vsize=1196456 memory=822580 CPUtime=3332.55 cores=0,2
/proc/39682/stat : 39682 (mixed-bag) R 39679 39682 38713 0 -1 4194304 145453 0 0 0 332659 596 0 0 20 0 1 0 44008333 1225170944 205645 18446744073709551615 4235264 15874749 140730244741872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 44318720 140730244745628 140730244745705 140730244745705 140730244751307 0
/proc/39682/statm: 299114 205645 4448 2842 0 280808 0
Current children cumulated CPU time: 3332.55 s
Current children cumulated vsize: 1196456 KiB
Current children cumulated memory: 822580 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 39954
/proc/meminfo: memFree=125960248/131249996 swapFree=33010684/33010684
[pid=39682] ppid=39679 vsize=1196456 memory=826676 CPUtime=3392.37 cores=0,2
/proc/39682/stat : 39682 (mixed-bag) R 39679 39682 38713 0 -1 4194304 145609 0 0 0 338635 602 0 0 20 0 1 0 44008333 1225170944 206669 18446744073709551615 4235264 15874749 140730244741872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 44318720 140730244745628 140730244745705 140730244745705 140730244751307 0
/proc/39682/statm: 299114 206669 4448 2842 0 280808 0
Current children cumulated CPU time: 3392.37 s
Current children cumulated vsize: 1196456 KiB
Current children cumulated memory: 826676 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 39957
/proc/meminfo: memFree=125968304/131249996 swapFree=33010684/33010684
[pid=39682] ppid=39679 vsize=1196456 memory=830772 CPUtime=3452.19 cores=0,2
/proc/39682/stat : 39682 (mixed-bag) R 39679 39682 38713 0 -1 4194304 145621 0 0 0 344611 608 0 0 20 0 1 0 44008333 1225170944 207693 18446744073709551615 4235264 15874749 140730244741872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 44318720 140730244745628 140730244745705 140730244745705 140730244751307 0
/proc/39682/statm: 299114 207693 4448 2842 0 280808 0
Current children cumulated CPU time: 3452.19 s
Current children cumulated vsize: 1196456 KiB
Current children cumulated memory: 830772 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 39959
/proc/meminfo: memFree=125964600/131249996 swapFree=33010684/33010684
[pid=39682] ppid=39679 vsize=1196456 memory=830772 CPUtime=3512.01 cores=0,2
/proc/39682/stat : 39682 (mixed-bag) R 39679 39682 38713 0 -1 4194304 145621 0 0 0 350586 615 0 0 20 0 1 0 44008333 1225170944 207693 18446744073709551615 4235264 15874749 140730244741872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 44318720 140730244745628 140730244745705 140730244745705 140730244751307 0
/proc/39682/statm: 299114 207693 4448 2842 0 280808 0
Current children cumulated CPU time: 3512.01 s
Current children cumulated vsize: 1196456 KiB
Current children cumulated memory: 830772 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 39961
/proc/meminfo: memFree=125964696/131249996 swapFree=33010684/33010684
[pid=39682] ppid=39679 vsize=1196456 memory=830772 CPUtime=3571.84 cores=0,2
/proc/39682/stat : 39682 (mixed-bag) R 39679 39682 38713 0 -1 4194304 145621 0 0 0 356561 623 0 0 20 0 1 0 44008333 1225170944 207693 18446744073709551615 4235264 15874749 140730244741872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 44318720 140730244745628 140730244745705 140730244745705 140730244751307 0
/proc/39682/statm: 299114 207693 4448 2842 0 280808 0
Current children cumulated CPU time: 3571.84 s
Current children cumulated vsize: 1196456 KiB
Current children cumulated memory: 830772 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.12 4.10 4.09 4/259 39970
/proc/meminfo: memFree=127006464/131249996 swapFree=33010684/33010684
[pid=39682] ppid=39679 vsize=1196456 memory=830772 CPUtime=3600.04 cores=0,2
/proc/39682/stat : 39682 (mixed-bag) R 39679 39682 38713 0 -1 4194304 145621 0 0 0 359379 625 0 0 20 0 1 0 44008333 1225170944 207693 18446744073709551615 4235264 15874749 140730244741872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 44318720 140730244745628 140730244745705 140730244745705 140730244751307 0
/proc/39682/statm: 299114 207693 4448 2842 0 280808 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1196456 KiB
Current children cumulated memory: 830772 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.61 s]
# the end of solver process 39682 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3593.81 s, system=6.26057 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.61
CPU time (s): 3600.07
CPU user time (s): 3593.81
CPU system time (s): 6.26057
CPU usage (%): 99.708
Max. virtual memory (cumulated for all children) (KiB): 1196456
Max. memory (cumulated for all children) (KiB): 830772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.81
system time used= 6.26057
maximum resident set size= 831284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145652
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= 213
involuntary context switches= 7867
# summary of solver processes directly reported to runsolver:
# pid: 39682
# total CPU time (s): 3600.07
# total CPU user time (s): 3593.81
# total CPU system time (s): 6.26057
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.80464 second user time and 17.1034 second system time
The end
Begin job on nodeC022 at 2025-06-30 13:35:06
IDJOB=4484897
IDBENCH=146675
IDSOLVER=3340
FILE ID=nodeC022/4484897-1751283306
RUNJOBID= nodeC022-1751279693-38723
SLURM_JOB_ID= 9594218
Free space on /tmp= 433008 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484897-1751283306/watcher-4484897-1751283306 -o /tmp/evaluation-result-4484897-1751283306/solver-4484897-1751283306 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751279693-38723 --watchdog 3760 mixed-bag HOME/instance-4484897-1751283306.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 79c0a8033bde71aac2f7ead78fdb13b7
RANDOM SEED=1119648545
nodeC022 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.706
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.709
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.707
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.956
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.703
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.717
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3604.772
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 126914056 kB
MemAvailable: 127727160 kB
Buffers: 3280 kB
Cached: 1616272 kB
SwapCached: 0 kB
Active: 2370572 kB
Inactive: 1366664 kB
Active(anon): 2135748 kB
Inactive(anon): 0 kB
Active(file): 234824 kB
Inactive(file): 1366664 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 35368 kB
Writeback: 152 kB
AnonPages: 2119928 kB
Mapped: 129248 kB
Shmem: 18060 kB
KReclaimable: 101312 kB
Slab: 188368 kB
SReclaimable: 101312 kB
SUnreclaim: 87056 kB
KernelStack: 4240 kB
PageTables: 7368 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 3042436 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2041856 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432996 MiB
End job on nodeC022 at 2025-06-30 14:35:17