0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.05 c [STEP] preprocessing with Papilo
0.00/0.07 c [STEP] solving with SCIP
298.94/300.15 c [STEP] preprocessing done, loading into solver
298.94/300.16 c [STEP] solving
298.94/300.16 c #variables 1288 #constraints 2430
298.94/300.16 c SMALL=int, LARGE=long long
298.94/300.16 d SCIPUB 128
298.94/300.16 c bounds - >= 0 @ 298.715
298.94/300.16 c stratification level: 0
324.28/325.53 c bounds - >= 1 @ 298.716
324.28/325.53 c bounds - >= 4 @ 298.716
324.28/325.53 c bounds - >= 5 @ 298.716
324.28/325.53 c bounds - >= 8 @ 298.717
324.28/325.53 c bounds - >= 16 @ 298.72
324.28/325.53 c #Conflicts: 1000 | #Constraints: 3434
324.28/325.53 c #Conflicts: 2000 | #Constraints: 4434
324.28/325.53 c INPROCESSING
324.28/325.53 c GARBAGE COLLECT
324.28/325.53 c #Conflicts: 3000 | #Constraints: 4447
324.28/325.53 c #Conflicts: 4000 | #Constraints: 5447
324.28/325.53 c INPROCESSING
324.28/325.53 c GARBAGE COLLECT
324.28/325.53 c #Conflicts: 5000 | #Constraints: 4859
324.28/325.53 c #Conflicts: 6000 | #Constraints: 5859
324.28/325.53 c bounds - >= 32 @ 300.374
324.28/325.53 c INPROCESSING
324.28/325.53 c GARBAGE COLLECT
324.28/325.53 c #Conflicts: 7000 | #Constraints: 4861
324.28/325.53 c #Conflicts: 8000 | #Constraints: 5861
324.28/325.53 c #Conflicts: 9000 | #Constraints: 6861
324.28/325.53 c INPROCESSING
324.28/325.53 c GARBAGE COLLECT
324.28/325.53 c #Conflicts: 10000 | #Constraints: 5563
324.28/325.53 c #Conflicts: 11000 | #Constraints: 6563
324.28/325.53 c #Conflicts: 12000 | #Constraints: 7563
324.28/325.53 c INPROCESSING
324.28/325.53 c GARBAGE COLLECT
324.28/325.53 c #Conflicts: 13000 | #Constraints: 6016
324.28/325.53 c #Conflicts: 14000 | #Constraints: 7016
324.28/325.53 c #Conflicts: 15000 | #Constraints: 8016
324.28/325.53 c INPROCESSING
324.28/325.53 c GARBAGE COLLECT
324.28/325.53 c #Conflicts: 16000 | #Constraints: 6242
324.28/325.53 c #Conflicts: 17000 | #Constraints: 7242
324.28/325.53 c #Conflicts: 18000 | #Constraints: 8242
324.28/325.53 c INPROCESSING
324.28/325.53 c GARBAGE COLLECT
324.28/325.53 c #Conflicts: 19000 | #Constraints: 6261
324.28/325.53 c #Conflicts: 20000 | #Constraints: 7261
324.28/325.53 c #Conflicts: 21000 | #Constraints: 8261
324.28/325.53 c INPROCESSING
324.28/325.53 c GARBAGE COLLECT
324.28/325.53 c #Conflicts: 22000 | #Constraints: 6075
324.28/325.53 c #Conflicts: 23000 | #Constraints: 7075
324.28/325.53 c #Conflicts: 24000 | #Constraints: 8075
324.28/325.53 c #Conflicts: 25000 | #Constraints: 9075
324.28/325.53 c INPROCESSING
324.28/325.53 c GARBAGE COLLECT
324.28/325.53 c #Conflicts: 26000 | #Constraints: 6680
324.28/325.53 c #Conflicts: 27000 | #Constraints: 7680
324.28/325.53 c #Conflicts: 28000 | #Constraints: 8680
324.28/325.53 c #Conflicts: 29000 | #Constraints: 9680
324.28/325.53 c INPROCESSING
324.28/325.53 c GARBAGE COLLECT
324.28/325.53 c #Conflicts: 30000 | #Constraints: 7094
324.28/325.53 c #Conflicts: 31000 | #Constraints: 8094
324.28/325.53 c #Conflicts: 32000 | #Constraints: 9094
324.28/325.53 c #Conflicts: 33000 | #Constraints: 10094
324.28/325.53 c INPROCESSING
324.28/325.53 c GARBAGE COLLECT
324.28/325.53 c #Conflicts: 34000 | #Constraints: 7289
324.28/325.53 c #Conflicts: 35000 | #Constraints: 8289
324.28/325.53 c #Conflicts: 36000 | #Constraints: 9289
324.28/325.53 c #Conflicts: 37000 | #Constraints: 10289
324.28/325.53 c INPROCESSING
324.28/325.53 c GARBAGE COLLECT
324.28/325.53 c #Conflicts: 38000 | #Constraints: 7287
324.28/325.53 c #Conflicts: 39000 | #Constraints: 8287
324.28/325.53 c #Conflicts: 40000 | #Constraints: 9287
324.28/325.53 c #Conflicts: 41000 | #Constraints: 10287
324.28/325.53 c INPROCESSING
324.28/325.53 c GARBAGE COLLECT
324.28/325.53 c #Conflicts: 42000 | #Constraints: 7082
324.28/325.53 c #Conflicts: 43000 | #Constraints: 8082
324.28/325.53 c #Conflicts: 44000 | #Constraints: 9082
324.28/325.53 c #Conflicts: 45000 | #Constraints: 10082
324.28/325.53 c #Conflicts: 46000 | #Constraints: 11082
324.28/325.53 c INPROCESSING
324.28/325.53 c GARBAGE COLLECT
324.28/325.53 c #Conflicts: 47000 | #Constraints: 7686
324.28/325.53 c #Conflicts: 48000 | #Constraints: 8686
324.28/325.53 c #Conflicts: 49000 | #Constraints: 9686
324.28/325.53 c #Conflicts: 50000 | #Constraints: 10686
324.28/325.53 c #Conflicts: 51000 | #Constraints: 11686
324.28/325.53 c INPROCESSING
324.28/325.53 c GARBAGE COLLECT
324.28/325.53 c #Conflicts: 52000 | #Constraints: 8089
324.28/325.53 c #Conflicts: 53000 | #Constraints: 9089
324.28/325.53 c #Conflicts: 54000 | #Constraints: 10089
324.28/325.53 c #Conflicts: 55000 | #Constraints: 11089
324.28/325.53 c #Conflicts: 56000 | #Constraints: 12089
324.28/325.53 c INPROCESSING
324.28/325.53 c GARBAGE COLLECT
324.28/325.53 c #Conflicts: 57000 | #Constraints: 8294
324.28/325.53 c #Conflicts: 58000 | #Constraints: 9294
324.28/325.53 c #Conflicts: 59000 | #Constraints: 10294
324.28/325.53 c #Conflicts: 60000 | #Constraints: 11294
324.28/325.53 c #Conflicts: 61000 | #Constraints: 12294
324.28/325.53 c INPROCESSING
324.28/325.53 c GARBAGE COLLECT
324.28/325.53 c #Conflicts: 62000 | #Constraints: 8285
324.28/325.53 c #Conflicts: 63000 | #Constraints: 9285
324.28/325.53 c #Conflicts: 64000 | #Constraints: 10285
324.28/325.53 c #Conflicts: 65000 | #Constraints: 11285
367.17/368.51 c #Conflicts: 66000 | #Constraints: 12285
367.17/368.51 c INPROCESSING
367.17/368.51 c GARBAGE COLLECT
367.17/368.51 c #Conflicts: 67000 | #Constraints: 8078
367.17/368.51 c #Conflicts: 68000 | #Constraints: 9078
367.17/368.51 c #Conflicts: 69000 | #Constraints: 10078
367.17/368.51 c #Conflicts: 70000 | #Constraints: 11078
367.17/368.51 c #Conflicts: 71000 | #Constraints: 12078
367.17/368.51 c #Conflicts: 72000 | #Constraints: 13078
367.17/368.51 c INPROCESSING
367.17/368.51 c GARBAGE COLLECT
367.17/368.51 c #Conflicts: 73000 | #Constraints: 8695
367.17/368.51 c #Conflicts: 74000 | #Constraints: 9695
367.17/368.51 c #Conflicts: 75000 | #Constraints: 10695
367.17/368.51 c #Conflicts: 76000 | #Constraints: 11695
367.17/368.51 c #Conflicts: 77000 | #Constraints: 12695
367.17/368.51 c #Conflicts: 78000 | #Constraints: 13695
367.17/368.51 c INPROCESSING
367.17/368.51 c GARBAGE COLLECT
367.17/368.51 c #Conflicts: 79000 | #Constraints: 9089
367.17/368.51 c #Conflicts: 80000 | #Constraints: 10089
367.17/368.51 c #Conflicts: 81000 | #Constraints: 11089
367.17/368.51 c #Conflicts: 82000 | #Constraints: 12089
367.17/368.51 c #Conflicts: 83000 | #Constraints: 13089
367.17/368.51 c #Conflicts: 84000 | #Constraints: 14089
367.17/368.51 c INPROCESSING
367.17/368.51 c GARBAGE COLLECT
367.17/368.51 c #Conflicts: 85000 | #Constraints: 9291
367.17/368.51 c #Conflicts: 86000 | #Constraints: 10291
367.17/368.51 c #Conflicts: 87000 | #Constraints: 11291
367.17/368.51 c #Conflicts: 88000 | #Constraints: 12291
367.17/368.51 c #Conflicts: 89000 | #Constraints: 13291
367.17/368.51 c #Conflicts: 90000 | #Constraints: 14291
367.17/368.51 c INPROCESSING
367.17/368.51 c GARBAGE COLLECT
367.17/368.51 c #Conflicts: 91000 | #Constraints: 9285
367.17/368.51 c #Conflicts: 92000 | #Constraints: 10285
367.17/368.51 c #Conflicts: 93000 | #Constraints: 11285
367.17/368.51 c #Conflicts: 94000 | #Constraints: 12285
367.17/368.51 c #Conflicts: 95000 | #Constraints: 13285
367.17/368.51 c #Conflicts: 96000 | #Constraints: 14285
367.17/368.51 c INPROCESSING
367.17/368.51 c GARBAGE COLLECT
367.17/368.51 c #Conflicts: 97000 | #Constraints: 9094
367.17/368.51 c #Conflicts: 98000 | #Constraints: 10094
367.17/368.51 c #Conflicts: 99000 | #Constraints: 11094
367.17/368.51 c #Conflicts: 100000 | #Constraints: 12094
367.17/368.51 c #Conflicts: 101000 | #Constraints: 13094
367.17/368.51 c #Conflicts: 102000 | #Constraints: 14094
367.17/368.51 c #Conflicts: 103000 | #Constraints: 15094
367.17/368.51 c INPROCESSING
367.17/368.51 c GARBAGE COLLECT
367.17/368.51 c #Conflicts: 104000 | #Constraints: 9686
367.17/368.51 c #Conflicts: 105000 | #Constraints: 10686
367.17/368.51 c #Conflicts: 106000 | #Constraints: 11686
367.17/368.51 c #Conflicts: 107000 | #Constraints: 12686
367.17/368.51 c #Conflicts: 108000 | #Constraints: 13686
367.17/368.51 c #Conflicts: 109000 | #Constraints: 14686
367.17/368.51 c #Conflicts: 110000 | #Constraints: 15686
367.17/368.51 c INPROCESSING
367.17/368.51 c GARBAGE COLLECT
367.17/368.51 c #Conflicts: 111000 | #Constraints: 10079
367.17/368.51 c #Conflicts: 112000 | #Constraints: 11079
367.17/368.51 c #Conflicts: 113000 | #Constraints: 12079
367.17/368.51 c #Conflicts: 114000 | #Constraints: 13079
367.17/368.51 c #Conflicts: 115000 | #Constraints: 14079
367.17/368.51 c #Conflicts: 116000 | #Constraints: 15079
367.17/368.51 c #Conflicts: 117000 | #Constraints: 16079
367.17/368.51 c INPROCESSING
367.17/368.51 c GARBAGE COLLECT
367.17/368.51 c #Conflicts: 118000 | #Constraints: 10289
367.17/368.51 c #Conflicts: 119000 | #Constraints: 11289
367.17/368.51 c #Conflicts: 120000 | #Constraints: 12289
367.17/368.51 c #Conflicts: 121000 | #Constraints: 13289
367.17/368.51 c #Conflicts: 122000 | #Constraints: 14289
367.17/368.51 c #Conflicts: 123000 | #Constraints: 15289
367.17/368.51 c #Conflicts: 124000 | #Constraints: 16289
367.17/368.51 c INPROCESSING
367.17/368.51 c GARBAGE COLLECT
367.17/368.51 c #Conflicts: 125000 | #Constraints: 10293
367.17/368.51 c #Conflicts: 126000 | #Constraints: 11293
367.17/368.51 c #Conflicts: 127000 | #Constraints: 12293
367.17/368.51 c #Conflicts: 128000 | #Constraints: 13293
367.17/368.51 c #Conflicts: 129000 | #Constraints: 14293
367.17/368.51 c #Conflicts: 130000 | #Constraints: 15293
367.17/368.51 c #Conflicts: 131000 | #Constraints: 16293
367.17/368.51 c INPROCESSING
367.17/368.51 c GARBAGE COLLECT
367.17/368.51 c #Conflicts: 132000 | #Constraints: 10093
367.17/368.51 c #Conflicts: 133000 | #Constraints: 11093
367.17/368.51 c #Conflicts: 134000 | #Constraints: 12093
367.17/368.51 c #Conflicts: 135000 | #Constraints: 13093
367.17/368.51 c #Conflicts: 136000 | #Constraints: 14093
367.17/368.51 c #Conflicts: 137000 | #Constraints: 15093
454.62/456.23 c #Conflicts: 138000 | #Constraints: 16093
454.62/456.23 c #Conflicts: 139000 | #Constraints: 17093
454.62/456.23 c #Conflicts: 140000 | #Constraints: 18093
454.62/456.23 c #Conflicts: 141000 | #Constraints: 19093
454.62/456.23 c #Conflicts: 142000 | #Constraints: 20093
454.62/456.23 c #Conflicts: 143000 | #Constraints: 21093
454.62/456.23 c #Conflicts: 144000 | #Constraints: 22093
454.62/456.23 c #Conflicts: 145000 | #Constraints: 23093
454.62/456.23 c #Conflicts: 146000 | #Constraints: 24093
454.62/456.23 c #Conflicts: 147000 | #Constraints: 25093
454.62/456.23 c #Conflicts: 148000 | #Constraints: 26093
454.62/456.23 c #Conflicts: 149000 | #Constraints: 27093
454.62/456.23 c #Conflicts: 150000 | #Constraints: 28093
454.62/456.23 c #Conflicts: 151000 | #Constraints: 29093
454.62/456.23 c #Conflicts: 152000 | #Constraints: 30093
454.62/456.23 c #Conflicts: 153000 | #Constraints: 31093
454.62/456.23 c #Conflicts: 154000 | #Constraints: 32093
454.62/456.23 c #Conflicts: 155000 | #Constraints: 33093
454.62/456.23 c #Conflicts: 156000 | #Constraints: 34093
454.62/456.23 c #Conflicts: 157000 | #Constraints: 35093
454.62/456.23 c #Conflicts: 158000 | #Constraints: 36093
454.62/456.23 c #Conflicts: 159000 | #Constraints: 37093
454.62/456.23 c #Conflicts: 160000 | #Constraints: 38093
454.62/456.23 c #Conflicts: 161000 | #Constraints: 39093
454.62/456.23 c #Conflicts: 162000 | #Constraints: 40093
454.62/456.23 c #Conflicts: 163000 | #Constraints: 41093
454.62/456.23 c #Conflicts: 164000 | #Constraints: 42093
454.62/456.23 c #Conflicts: 165000 | #Constraints: 43093
454.62/456.23 c INPROCESSING
454.62/456.23 c GARBAGE COLLECT
454.62/456.23 c #Conflicts: 166000 | #Constraints: 23654
454.62/456.23 c #Conflicts: 167000 | #Constraints: 24654
454.62/456.23 c #Conflicts: 168000 | #Constraints: 25654
454.62/456.23 c #Conflicts: 169000 | #Constraints: 26654
454.62/456.23 c #Conflicts: 170000 | #Constraints: 27654
454.62/456.23 c #Conflicts: 171000 | #Constraints: 28654
454.62/456.23 c #Conflicts: 172000 | #Constraints: 29654
454.62/456.23 c #Conflicts: 173000 | #Constraints: 30654
454.62/456.23 c #Conflicts: 174000 | #Constraints: 31654
454.62/456.23 c INPROCESSING
454.62/456.23 c GARBAGE COLLECT
454.62/456.23 c #Conflicts: 175000 | #Constraints: 18089
454.62/456.23 c #Conflicts: 176000 | #Constraints: 19089
454.62/456.23 c #Conflicts: 177000 | #Constraints: 20089
454.62/456.23 c #Conflicts: 178000 | #Constraints: 21089
454.62/456.23 c #Conflicts: 179000 | #Constraints: 22089
454.62/456.23 c #Conflicts: 180000 | #Constraints: 23089
454.62/456.23 c #Conflicts: 181000 | #Constraints: 24089
454.62/456.23 c #Conflicts: 182000 | #Constraints: 25089
454.62/456.23 c INPROCESSING
454.62/456.23 c GARBAGE COLLECT
454.62/456.23 c #Conflicts: 183000 | #Constraints: 14350
454.62/456.23 c #Conflicts: 184000 | #Constraints: 15350
454.62/456.23 c #Conflicts: 185000 | #Constraints: 16350
454.62/456.23 c #Conflicts: 186000 | #Constraints: 17350
454.62/456.23 c #Conflicts: 187000 | #Constraints: 18350
454.62/456.23 c #Conflicts: 188000 | #Constraints: 19350
454.62/456.23 c #Conflicts: 189000 | #Constraints: 20350
454.62/456.23 c #Conflicts: 190000 | #Constraints: 21350
454.62/456.23 c #Conflicts: 191000 | #Constraints: 22350
454.62/456.23 c #Conflicts: 192000 | #Constraints: 23350
454.62/456.23 c INPROCESSING
454.62/456.23 c GARBAGE COLLECT
454.62/456.23 c #Conflicts: 193000 | #Constraints: 13922
454.62/456.23 c #Conflicts: 194000 | #Constraints: 14922
454.62/456.23 c #Conflicts: 195000 | #Constraints: 15922
454.62/456.23 c #Conflicts: 196000 | #Constraints: 16922
454.62/456.23 c #Conflicts: 197000 | #Constraints: 17922
454.62/456.23 c #Conflicts: 198000 | #Constraints: 18922
454.62/456.23 c #Conflicts: 199000 | #Constraints: 19922
454.62/456.23 c #Conflicts: 200000 | #Constraints: 20922
454.62/456.23 c #Conflicts: 201000 | #Constraints: 21922
454.62/456.23 c INPROCESSING
454.62/456.23 c GARBAGE COLLECT
454.62/456.23 c #Conflicts: 202000 | #Constraints: 13058
454.62/456.23 c #Conflicts: 203000 | #Constraints: 14058
454.62/456.23 c #Conflicts: 204000 | #Constraints: 15058
454.62/456.23 c #Conflicts: 205000 | #Constraints: 16058
454.62/456.23 c #Conflicts: 206000 | #Constraints: 17058
454.62/456.23 c #Conflicts: 207000 | #Constraints: 18058
454.62/456.23 c #Conflicts: 208000 | #Constraints: 19058
454.62/456.23 c #Conflicts: 209000 | #Constraints: 20058
454.62/456.23 c #Conflicts: 210000 | #Constraints: 21058
454.62/456.23 c #Conflicts: 211000 | #Constraints: 22058
454.62/456.23 c #Conflicts: 212000 | #Constraints: 23058
454.62/456.23 c #Conflicts: 213000 | #Constraints: 24058
576.64/578.60 c #Conflicts: 214000 | #Constraints: 25058
576.64/578.60 c #Conflicts: 215000 | #Constraints: 26058
576.64/578.60 c #Conflicts: 216000 | #Constraints: 27058
576.64/578.60 c #Conflicts: 217000 | #Constraints: 28058
576.64/578.60 c #Conflicts: 218000 | #Constraints: 29058
576.64/578.60 c #Conflicts: 219000 | #Constraints: 30058
576.64/578.60 c #Conflicts: 220000 | #Constraints: 31058
576.64/578.60 c #Conflicts: 221000 | #Constraints: 32058
576.64/578.60 c #Conflicts: 222000 | #Constraints: 33058
576.64/578.60 c #Conflicts: 223000 | #Constraints: 34058
576.64/578.60 c #Conflicts: 224000 | #Constraints: 35058
576.64/578.60 c #Conflicts: 225000 | #Constraints: 36058
576.64/578.60 c #Conflicts: 226000 | #Constraints: 37058
576.64/578.60 c #Conflicts: 227000 | #Constraints: 38058
576.64/578.60 c #Conflicts: 228000 | #Constraints: 39058
576.64/578.60 c #Conflicts: 229000 | #Constraints: 40058
576.64/578.60 c #Conflicts: 230000 | #Constraints: 41058
576.64/578.60 c #Conflicts: 231000 | #Constraints: 42058
576.64/578.60 c #Conflicts: 232000 | #Constraints: 43058
576.64/578.60 c #Conflicts: 233000 | #Constraints: 44058
576.64/578.60 c #Conflicts: 234000 | #Constraints: 45058
576.64/578.60 c #Conflicts: 235000 | #Constraints: 46058
576.64/578.60 c #Conflicts: 236000 | #Constraints: 47058
576.64/578.60 c #Conflicts: 237000 | #Constraints: 48058
576.64/578.60 c #Conflicts: 238000 | #Constraints: 49058
576.64/578.60 c #Conflicts: 239000 | #Constraints: 50058
576.64/578.60 c #Conflicts: 240000 | #Constraints: 51058
576.64/578.60 c #Conflicts: 241000 | #Constraints: 52058
576.64/578.60 c INPROCESSING
576.64/578.60 c GARBAGE COLLECT
576.64/578.60 c #Conflicts: 242000 | #Constraints: 28086
576.64/578.60 c #Conflicts: 243000 | #Constraints: 29086
576.64/578.60 c #Conflicts: 244000 | #Constraints: 30086
576.64/578.60 c #Conflicts: 245000 | #Constraints: 31086
576.64/578.60 c #Conflicts: 246000 | #Constraints: 32086
576.64/578.60 c #Conflicts: 247000 | #Constraints: 33086
576.64/578.60 c #Conflicts: 248000 | #Constraints: 34086
576.64/578.60 c #Conflicts: 249000 | #Constraints: 35086
576.64/578.60 c #Conflicts: 250000 | #Constraints: 36086
576.64/578.60 c #Conflicts: 251000 | #Constraints: 37086
576.64/578.60 c #Conflicts: 252000 | #Constraints: 38086
576.64/578.60 c INPROCESSING
576.64/578.60 c GARBAGE COLLECT
576.64/578.60 c #Conflicts: 253000 | #Constraints: 21309
576.64/578.60 c #Conflicts: 254000 | #Constraints: 22309
576.64/578.60 c #Conflicts: 255000 | #Constraints: 23309
576.64/578.60 c #Conflicts: 256000 | #Constraints: 24309
576.64/578.60 c #Conflicts: 257000 | #Constraints: 25309
576.64/578.60 c #Conflicts: 258000 | #Constraints: 26309
576.64/578.60 c #Conflicts: 259000 | #Constraints: 27309
576.64/578.60 c #Conflicts: 260000 | #Constraints: 28309
576.64/578.60 c #Conflicts: 261000 | #Constraints: 29309
576.64/578.60 c #Conflicts: 262000 | #Constraints: 30309
576.64/578.60 c INPROCESSING
576.64/578.60 c GARBAGE COLLECT
576.64/578.60 c #Conflicts: 263000 | #Constraints: 17011
576.64/578.60 c #Conflicts: 264000 | #Constraints: 18011
576.64/578.60 c #Conflicts: 265000 | #Constraints: 19011
576.64/578.60 c #Conflicts: 266000 | #Constraints: 20011
576.64/578.60 c #Conflicts: 267000 | #Constraints: 21011
576.64/578.60 c #Conflicts: 268000 | #Constraints: 22011
576.64/578.60 c #Conflicts: 269000 | #Constraints: 23011
576.64/578.60 c #Conflicts: 270000 | #Constraints: 24011
576.64/578.60 c #Conflicts: 271000 | #Constraints: 25011
576.64/578.60 c #Conflicts: 272000 | #Constraints: 26011
576.64/578.60 c #Conflicts: 273000 | #Constraints: 27011
576.64/578.60 c INPROCESSING
576.64/578.60 c GARBAGE COLLECT
576.64/578.60 c #Conflicts: 274000 | #Constraints: 15365
576.64/578.60 c #Conflicts: 275000 | #Constraints: 16365
576.64/578.60 c #Conflicts: 276000 | #Constraints: 17365
576.64/578.60 c #Conflicts: 277000 | #Constraints: 18365
576.64/578.60 c #Conflicts: 278000 | #Constraints: 19365
576.64/578.60 c #Conflicts: 279000 | #Constraints: 20365
576.64/578.60 c #Conflicts: 280000 | #Constraints: 21365
576.64/578.60 c #Conflicts: 281000 | #Constraints: 22365
576.64/578.60 c #Conflicts: 282000 | #Constraints: 23365
576.64/578.60 c #Conflicts: 283000 | #Constraints: 24365
576.64/578.60 c #Conflicts: 284000 | #Constraints: 25365
576.64/578.60 c #Conflicts: 285000 | #Constraints: 26365
576.64/578.60 c INPROCESSING
576.64/578.60 c GARBAGE COLLECT
576.64/578.60 c #Conflicts: 286000 | #Constraints: 15433
576.64/578.60 c #Conflicts: 287000 | #Constraints: 16433
576.64/578.60 c #Conflicts: 288000 | #Constraints: 17433
747.22/749.70 c #Conflicts: 289000 | #Constraints: 18433
747.22/749.70 c #Conflicts: 290000 | #Constraints: 19433
747.22/749.70 c #Conflicts: 291000 | #Constraints: 20433
747.22/749.70 c #Conflicts: 292000 | #Constraints: 21433
747.22/749.70 c #Conflicts: 293000 | #Constraints: 22433
747.22/749.70 c #Conflicts: 294000 | #Constraints: 23433
747.22/749.70 c #Conflicts: 295000 | #Constraints: 24433
747.22/749.70 c #Conflicts: 296000 | #Constraints: 25433
747.22/749.70 c #Conflicts: 297000 | #Constraints: 26433
747.22/749.70 c #Conflicts: 298000 | #Constraints: 27433
747.22/749.70 c #Conflicts: 299000 | #Constraints: 28433
747.22/749.70 c #Conflicts: 300000 | #Constraints: 29433
747.22/749.70 c #Conflicts: 301000 | #Constraints: 30433
747.22/749.70 c #Conflicts: 302000 | #Constraints: 31433
747.22/749.70 c #Conflicts: 303000 | #Constraints: 32433
747.22/749.70 c #Conflicts: 304000 | #Constraints: 33433
747.22/749.70 c #Conflicts: 305000 | #Constraints: 34433
747.22/749.70 c #Conflicts: 306000 | #Constraints: 35433
747.22/749.70 c #Conflicts: 307000 | #Constraints: 36433
747.22/749.70 c #Conflicts: 308000 | #Constraints: 37433
747.22/749.70 c #Conflicts: 309000 | #Constraints: 38433
747.22/749.70 c #Conflicts: 310000 | #Constraints: 39433
747.22/749.70 c #Conflicts: 311000 | #Constraints: 40433
747.22/749.70 c #Conflicts: 312000 | #Constraints: 41433
747.22/749.70 c #Conflicts: 313000 | #Constraints: 42433
747.22/749.70 c #Conflicts: 314000 | #Constraints: 43433
747.22/749.70 c #Conflicts: 315000 | #Constraints: 44433
747.22/749.70 c #Conflicts: 316000 | #Constraints: 45433
747.22/749.70 c #Conflicts: 317000 | #Constraints: 46433
747.22/749.70 c #Conflicts: 318000 | #Constraints: 47433
747.22/749.70 c #Conflicts: 319000 | #Constraints: 48433
747.22/749.70 c #Conflicts: 320000 | #Constraints: 49433
747.22/749.70 c #Conflicts: 321000 | #Constraints: 50433
747.22/749.70 c #Conflicts: 322000 | #Constraints: 51433
747.22/749.70 c #Conflicts: 323000 | #Constraints: 52433
747.22/749.70 c #Conflicts: 324000 | #Constraints: 53433
747.22/749.70 c #Conflicts: 325000 | #Constraints: 54433
747.22/749.70 c #Conflicts: 326000 | #Constraints: 55433
747.22/749.70 c #Conflicts: 327000 | #Constraints: 56433
747.22/749.70 c #Conflicts: 328000 | #Constraints: 57433
747.22/749.70 c #Conflicts: 329000 | #Constraints: 58433
747.22/749.70 c #Conflicts: 330000 | #Constraints: 59433
747.22/749.70 c #Conflicts: 331000 | #Constraints: 60433
747.22/749.70 c INPROCESSING
747.22/749.70 c GARBAGE COLLECT
747.22/749.70 c #Conflicts: 332000 | #Constraints: 32235
747.22/749.70 c #Conflicts: 333000 | #Constraints: 33235
747.22/749.70 c #Conflicts: 334000 | #Constraints: 34235
747.22/749.70 c #Conflicts: 335000 | #Constraints: 35235
747.22/749.70 c #Conflicts: 336000 | #Constraints: 36235
747.22/749.70 c #Conflicts: 337000 | #Constraints: 37235
747.22/749.70 c #Conflicts: 338000 | #Constraints: 38235
747.22/749.70 c #Conflicts: 339000 | #Constraints: 39235
747.22/749.70 c #Conflicts: 340000 | #Constraints: 40235
747.22/749.70 c #Conflicts: 341000 | #Constraints: 41235
747.22/749.70 c #Conflicts: 342000 | #Constraints: 42235
747.22/749.70 c #Conflicts: 343000 | #Constraints: 43235
747.22/749.70 c #Conflicts: 344000 | #Constraints: 44235
747.22/749.70 c INPROCESSING
747.22/749.70 c GARBAGE COLLECT
747.22/749.70 c #Conflicts: 345000 | #Constraints: 24396
747.22/749.70 c #Conflicts: 346000 | #Constraints: 25396
747.22/749.70 c #Conflicts: 347000 | #Constraints: 26396
747.22/749.70 c #Conflicts: 348000 | #Constraints: 27396
747.22/749.70 c #Conflicts: 349000 | #Constraints: 28396
747.22/749.70 c #Conflicts: 350000 | #Constraints: 29396
747.22/749.70 c #Conflicts: 351000 | #Constraints: 30396
747.22/749.70 c #Conflicts: 352000 | #Constraints: 31396
747.22/749.70 c #Conflicts: 353000 | #Constraints: 32396
747.22/749.70 c #Conflicts: 354000 | #Constraints: 33396
747.22/749.70 c #Conflicts: 355000 | #Constraints: 34396
747.22/749.70 c #Conflicts: 356000 | #Constraints: 35396
747.22/749.70 c INPROCESSING
747.22/749.70 c GARBAGE COLLECT
747.22/749.70 c #Conflicts: 357000 | #Constraints: 19598
747.22/749.70 c #Conflicts: 358000 | #Constraints: 20598
747.22/749.70 c #Conflicts: 359000 | #Constraints: 21598
747.22/749.70 c #Conflicts: 360000 | #Constraints: 22598
747.22/749.70 c #Conflicts: 361000 | #Constraints: 23598
747.22/749.70 c #Conflicts: 362000 | #Constraints: 24598
747.22/749.70 c #Conflicts: 363000 | #Constraints: 25598
747.22/749.70 c #Conflicts: 364000 | #Constraints: 26598
747.22/749.70 c #Conflicts: 365000 | #Constraints: 27598
960.26/963.50 c #Conflicts: 366000 | #Constraints: 28598
960.26/963.50 c #Conflicts: 367000 | #Constraints: 29598
960.26/963.50 c #Conflicts: 368000 | #Constraints: 30598
960.26/963.50 c #Conflicts: 369000 | #Constraints: 31598
960.26/963.50 c INPROCESSING
960.26/963.50 c GARBAGE COLLECT
960.26/963.50 c #Conflicts: 370000 | #Constraints: 17754
960.26/963.50 c #Conflicts: 371000 | #Constraints: 18754
960.26/963.50 c #Conflicts: 372000 | #Constraints: 19754
960.26/963.50 c #Conflicts: 373000 | #Constraints: 20754
960.26/963.50 c #Conflicts: 374000 | #Constraints: 21754
960.26/963.50 c #Conflicts: 375000 | #Constraints: 22754
960.26/963.50 c #Conflicts: 376000 | #Constraints: 23754
960.26/963.50 c #Conflicts: 377000 | #Constraints: 24754
960.26/963.50 c #Conflicts: 378000 | #Constraints: 25754
960.26/963.50 c #Conflicts: 379000 | #Constraints: 26754
960.26/963.50 c #Conflicts: 380000 | #Constraints: 27754
960.26/963.50 c #Conflicts: 381000 | #Constraints: 28754
960.26/963.50 c #Conflicts: 382000 | #Constraints: 29754
960.26/963.50 c #Conflicts: 383000 | #Constraints: 30754
960.26/963.50 c #Conflicts: 384000 | #Constraints: 31754
960.26/963.50 c #Conflicts: 385000 | #Constraints: 32754
960.26/963.50 c #Conflicts: 386000 | #Constraints: 33754
960.26/963.50 c #Conflicts: 387000 | #Constraints: 34754
960.26/963.50 c #Conflicts: 388000 | #Constraints: 35754
960.26/963.50 c #Conflicts: 389000 | #Constraints: 36754
960.26/963.50 c #Conflicts: 390000 | #Constraints: 37754
960.26/963.50 c #Conflicts: 391000 | #Constraints: 38754
960.26/963.50 c #Conflicts: 392000 | #Constraints: 39754
960.26/963.50 c #Conflicts: 393000 | #Constraints: 40754
960.26/963.50 c #Conflicts: 394000 | #Constraints: 41754
960.26/963.50 c #Conflicts: 395000 | #Constraints: 42754
960.26/963.50 c #Conflicts: 396000 | #Constraints: 43754
960.26/963.50 c #Conflicts: 397000 | #Constraints: 44754
960.26/963.50 c #Conflicts: 398000 | #Constraints: 45754
960.26/963.50 c #Conflicts: 399000 | #Constraints: 46754
960.26/963.50 c #Conflicts: 400000 | #Constraints: 47754
960.26/963.50 c #Conflicts: 401000 | #Constraints: 48754
960.26/963.50 c #Conflicts: 402000 | #Constraints: 49754
960.26/963.50 c #Conflicts: 403000 | #Constraints: 50754
960.26/963.50 c #Conflicts: 404000 | #Constraints: 51754
960.26/963.50 c #Conflicts: 405000 | #Constraints: 52754
960.26/963.50 c #Conflicts: 406000 | #Constraints: 53754
960.26/963.50 c #Conflicts: 407000 | #Constraints: 54754
960.26/963.50 c #Conflicts: 408000 | #Constraints: 55754
960.26/963.50 c #Conflicts: 409000 | #Constraints: 56754
960.26/963.50 c #Conflicts: 410000 | #Constraints: 57754
960.26/963.50 c #Conflicts: 411000 | #Constraints: 58754
960.26/963.50 c #Conflicts: 412000 | #Constraints: 59754
960.26/963.50 c #Conflicts: 413000 | #Constraints: 60754
960.26/963.50 c #Conflicts: 414000 | #Constraints: 61754
960.26/963.50 c #Conflicts: 415000 | #Constraints: 62754
960.26/963.50 c #Conflicts: 416000 | #Constraints: 63754
960.26/963.50 c #Conflicts: 417000 | #Constraints: 64754
960.26/963.50 c #Conflicts: 418000 | #Constraints: 65754
960.26/963.50 c #Conflicts: 419000 | #Constraints: 66754
960.26/963.50 c #Conflicts: 420000 | #Constraints: 67754
960.26/963.50 c #Conflicts: 421000 | #Constraints: 68754
960.26/963.50 c INPROCESSING
960.26/963.50 c GARBAGE COLLECT
960.26/963.50 c #Conflicts: 422000 | #Constraints: 36452
960.26/963.50 c #Conflicts: 423000 | #Constraints: 37452
960.26/963.50 c #Conflicts: 424000 | #Constraints: 38452
960.26/963.50 c #Conflicts: 425000 | #Constraints: 39452
960.26/963.50 c #Conflicts: 426000 | #Constraints: 40452
960.26/963.50 c #Conflicts: 427000 | #Constraints: 41452
960.26/963.50 c #Conflicts: 428000 | #Constraints: 42452
960.26/963.50 c #Conflicts: 429000 | #Constraints: 43452
960.26/963.50 c #Conflicts: 430000 | #Constraints: 44452
960.26/963.50 c #Conflicts: 431000 | #Constraints: 45452
960.26/963.50 c #Conflicts: 432000 | #Constraints: 46452
960.26/963.50 c #Conflicts: 433000 | #Constraints: 47452
960.26/963.50 c #Conflicts: 434000 | #Constraints: 48452
960.26/963.50 c #Conflicts: 435000 | #Constraints: 49452
960.26/963.50 c INPROCESSING
960.26/963.50 c GARBAGE COLLECT
960.26/963.50 c #Conflicts: 436000 | #Constraints: 26706
960.26/963.50 c #Conflicts: 437000 | #Constraints: 27706
960.26/963.50 c #Conflicts: 438000 | #Constraints: 28706
960.26/963.50 c #Conflicts: 439000 | #Constraints: 29706
960.26/963.50 c #Conflicts: 440000 | #Constraints: 30706
960.26/963.50 c #Conflicts: 441000 | #Constraints: 31706
960.26/963.50 c #Conflicts: 442000 | #Constraints: 32706
1188.08/1192.02 c #Conflicts: 443000 | #Constraints: 33706
1188.08/1192.02 c #Conflicts: 444000 | #Constraints: 34706
1188.08/1192.02 c #Conflicts: 445000 | #Constraints: 35706
1188.08/1192.02 c #Conflicts: 446000 | #Constraints: 36706
1188.08/1192.02 c #Conflicts: 447000 | #Constraints: 37706
1188.08/1192.02 c #Conflicts: 448000 | #Constraints: 38706
1188.08/1192.02 c #Conflicts: 449000 | #Constraints: 39706
1188.08/1192.02 c #Conflicts: 450000 | #Constraints: 40706
1188.08/1192.02 c INPROCESSING
1188.08/1192.02 c GARBAGE COLLECT
1188.08/1192.02 c #Conflicts: 451000 | #Constraints: 22612
1188.08/1192.02 c #Conflicts: 452000 | #Constraints: 23612
1188.08/1192.02 c #Conflicts: 453000 | #Constraints: 24612
1188.08/1192.02 c #Conflicts: 454000 | #Constraints: 25612
1188.08/1192.02 c #Conflicts: 455000 | #Constraints: 26612
1188.08/1192.02 c #Conflicts: 456000 | #Constraints: 27612
1188.08/1192.02 c #Conflicts: 457000 | #Constraints: 28612
1188.08/1192.02 c #Conflicts: 458000 | #Constraints: 29612
1188.08/1192.02 c #Conflicts: 459000 | #Constraints: 30612
1188.08/1192.02 c #Conflicts: 460000 | #Constraints: 31612
1188.08/1192.02 c #Conflicts: 461000 | #Constraints: 32612
1188.08/1192.02 c #Conflicts: 462000 | #Constraints: 33612
1188.08/1192.02 c #Conflicts: 463000 | #Constraints: 34612
1188.08/1192.02 c #Conflicts: 464000 | #Constraints: 35612
1188.08/1192.02 c INPROCESSING
1188.08/1192.02 c GARBAGE COLLECT
1188.08/1192.02 c #Conflicts: 465000 | #Constraints: 19764
1188.08/1192.02 c #Conflicts: 466000 | #Constraints: 20764
1188.08/1192.02 c #Conflicts: 467000 | #Constraints: 21764
1188.08/1192.02 c #Conflicts: 468000 | #Constraints: 22764
1188.08/1192.02 c #Conflicts: 469000 | #Constraints: 23764
1188.08/1192.02 c #Conflicts: 470000 | #Constraints: 24764
1188.08/1192.02 c #Conflicts: 471000 | #Constraints: 25764
1188.08/1192.02 c #Conflicts: 472000 | #Constraints: 26764
1188.08/1192.02 c #Conflicts: 473000 | #Constraints: 27764
1188.08/1192.02 c #Conflicts: 474000 | #Constraints: 28764
1188.08/1192.02 c #Conflicts: 475000 | #Constraints: 29764
1188.08/1192.02 c #Conflicts: 476000 | #Constraints: 30764
1188.08/1192.02 c #Conflicts: 477000 | #Constraints: 31764
1188.08/1192.02 c #Conflicts: 478000 | #Constraints: 32764
1188.08/1192.02 c #Conflicts: 479000 | #Constraints: 33764
1188.08/1192.02 c #Conflicts: 480000 | #Constraints: 34764
1188.08/1192.02 c #Conflicts: 481000 | #Constraints: 35764
1188.08/1192.02 c #Conflicts: 482000 | #Constraints: 36764
1188.08/1192.02 c #Conflicts: 483000 | #Constraints: 37764
1188.08/1192.02 c #Conflicts: 484000 | #Constraints: 38764
1188.08/1192.02 c #Conflicts: 485000 | #Constraints: 39764
1188.08/1192.02 c #Conflicts: 486000 | #Constraints: 40764
1188.08/1192.02 c #Conflicts: 487000 | #Constraints: 41764
1188.08/1192.02 c #Conflicts: 488000 | #Constraints: 42764
1188.08/1192.02 c #Conflicts: 489000 | #Constraints: 43764
1188.08/1192.02 c #Conflicts: 490000 | #Constraints: 44764
1188.08/1192.02 c #Conflicts: 491000 | #Constraints: 45764
1188.08/1192.02 c #Conflicts: 492000 | #Constraints: 46764
1188.08/1192.02 c #Conflicts: 493000 | #Constraints: 47764
1188.08/1192.02 c #Conflicts: 494000 | #Constraints: 48764
1188.08/1192.02 c #Conflicts: 495000 | #Constraints: 49764
1188.08/1192.02 c #Conflicts: 496000 | #Constraints: 50764
1188.08/1192.02 c #Conflicts: 497000 | #Constraints: 51764
1188.08/1192.02 c #Conflicts: 498000 | #Constraints: 52764
1188.08/1192.02 c #Conflicts: 499000 | #Constraints: 53764
1188.08/1192.02 c #Conflicts: 500000 | #Constraints: 54764
1188.08/1192.02 c #Conflicts: 501000 | #Constraints: 55764
1188.08/1192.02 c #Conflicts: 502000 | #Constraints: 56764
1188.08/1192.02 c #Conflicts: 503000 | #Constraints: 57764
1188.08/1192.02 c #Conflicts: 504000 | #Constraints: 58764
1188.08/1192.02 c #Conflicts: 505000 | #Constraints: 59764
1188.08/1192.02 c #Conflicts: 506000 | #Constraints: 60764
1188.08/1192.02 c #Conflicts: 507000 | #Constraints: 61764
1188.08/1192.02 c #Conflicts: 508000 | #Constraints: 62764
1188.08/1192.02 c #Conflicts: 509000 | #Constraints: 63764
1188.08/1192.02 c #Conflicts: 510000 | #Constraints: 64764
1188.08/1192.02 c #Conflicts: 511000 | #Constraints: 65764
1188.08/1192.02 c #Conflicts: 512000 | #Constraints: 66764
1188.08/1192.02 c #Conflicts: 513000 | #Constraints: 67764
1188.08/1192.02 c #Conflicts: 514000 | #Constraints: 68764
1188.08/1192.02 c #Conflicts: 515000 | #Constraints: 69764
1188.08/1192.02 c #Conflicts: 516000 | #Constraints: 70764
1188.08/1192.02 c #Conflicts: 517000 | #Constraints: 71764
1188.08/1192.02 c #Conflicts: 518000 | #Constraints: 72764
1188.08/1192.02 c #Conflicts: 519000 | #Constraints: 73764
1188.08/1192.02 c #Conflicts: 520000 | #Constraints: 74764
1454.03/1458.83 c #Conflicts: 521000 | #Constraints: 75764
1454.03/1458.83 c INPROCESSING
1454.03/1458.83 c GARBAGE COLLECT
1454.03/1458.83 c #Conflicts: 522000 | #Constraints: 39817
1454.03/1458.83 c #Conflicts: 523000 | #Constraints: 40817
1454.03/1458.83 c #Conflicts: 524000 | #Constraints: 41817
1454.03/1458.83 c #Conflicts: 525000 | #Constraints: 42817
1454.03/1458.83 c #Conflicts: 526000 | #Constraints: 43817
1454.03/1458.83 c #Conflicts: 527000 | #Constraints: 44817
1454.03/1458.83 c #Conflicts: 528000 | #Constraints: 45817
1454.03/1458.83 c #Conflicts: 529000 | #Constraints: 46817
1454.03/1458.83 c #Conflicts: 530000 | #Constraints: 47817
1454.03/1458.83 c #Conflicts: 531000 | #Constraints: 48817
1454.03/1458.83 c #Conflicts: 532000 | #Constraints: 49817
1454.03/1458.83 c #Conflicts: 533000 | #Constraints: 50817
1454.03/1458.83 c #Conflicts: 534000 | #Constraints: 51817
1454.03/1458.83 c #Conflicts: 535000 | #Constraints: 52817
1454.03/1458.83 c #Conflicts: 536000 | #Constraints: 53817
1454.03/1458.83 c #Conflicts: 537000 | #Constraints: 54817
1454.03/1458.83 c INPROCESSING
1454.03/1458.83 c GARBAGE COLLECT
1454.03/1458.83 c #Conflicts: 538000 | #Constraints: 29379
1454.03/1458.83 c #Conflicts: 539000 | #Constraints: 30379
1454.03/1458.83 c #Conflicts: 540000 | #Constraints: 31379
1454.03/1458.83 c #Conflicts: 541000 | #Constraints: 32379
1454.03/1458.83 c #Conflicts: 542000 | #Constraints: 33379
1454.03/1458.83 c #Conflicts: 543000 | #Constraints: 34379
1454.03/1458.83 c #Conflicts: 544000 | #Constraints: 35379
1454.03/1458.83 c #Conflicts: 545000 | #Constraints: 36379
1454.03/1458.83 c #Conflicts: 546000 | #Constraints: 37379
1454.03/1458.83 c #Conflicts: 547000 | #Constraints: 38379
1454.03/1458.83 c #Conflicts: 548000 | #Constraints: 39379
1454.03/1458.83 c #Conflicts: 549000 | #Constraints: 40379
1454.03/1458.83 c #Conflicts: 550000 | #Constraints: 41379
1454.03/1458.83 c #Conflicts: 551000 | #Constraints: 42379
1454.03/1458.83 c #Conflicts: 552000 | #Constraints: 43379
1454.03/1458.83 c #Conflicts: 553000 | #Constraints: 44379
1454.03/1458.83 c INPROCESSING
1454.03/1458.83 c GARBAGE COLLECT
1454.03/1458.83 c #Conflicts: 554000 | #Constraints: 24110
1454.03/1458.83 c #Conflicts: 555000 | #Constraints: 25110
1454.03/1458.83 c #Conflicts: 556000 | #Constraints: 26110
1454.03/1458.83 c #Conflicts: 557000 | #Constraints: 27110
1454.03/1458.83 c #Conflicts: 558000 | #Constraints: 28110
1454.03/1458.83 c #Conflicts: 559000 | #Constraints: 29110
1454.03/1458.83 c #Conflicts: 560000 | #Constraints: 30110
1454.03/1458.83 c #Conflicts: 561000 | #Constraints: 31110
1454.03/1458.83 c #Conflicts: 562000 | #Constraints: 32110
1454.03/1458.83 c #Conflicts: 563000 | #Constraints: 33110
1454.03/1458.83 c #Conflicts: 564000 | #Constraints: 34110
1454.03/1458.83 c #Conflicts: 565000 | #Constraints: 35110
1454.03/1458.83 c #Conflicts: 566000 | #Constraints: 36110
1454.03/1458.83 c #Conflicts: 567000 | #Constraints: 37110
1454.03/1458.83 c #Conflicts: 568000 | #Constraints: 38110
1454.03/1458.83 c #Conflicts: 569000 | #Constraints: 39110
1454.03/1458.83 c #Conflicts: 570000 | #Constraints: 40110
1454.03/1458.83 c #Conflicts: 571000 | #Constraints: 41110
1454.03/1458.83 c #Conflicts: 572000 | #Constraints: 42110
1454.03/1458.83 c #Conflicts: 573000 | #Constraints: 43110
1454.03/1458.83 c #Conflicts: 574000 | #Constraints: 44110
1454.03/1458.83 c #Conflicts: 575000 | #Constraints: 45110
1454.03/1458.83 c #Conflicts: 576000 | #Constraints: 46110
1454.03/1458.83 c #Conflicts: 577000 | #Constraints: 47110
1454.03/1458.83 c #Conflicts: 578000 | #Constraints: 48110
1454.03/1458.83 c #Conflicts: 579000 | #Constraints: 49110
1454.03/1458.83 c #Conflicts: 580000 | #Constraints: 50110
1454.03/1458.83 c #Conflicts: 581000 | #Constraints: 51110
1454.03/1458.83 c #Conflicts: 582000 | #Constraints: 52110
1454.03/1458.83 c #Conflicts: 583000 | #Constraints: 53110
1454.03/1458.83 c #Conflicts: 584000 | #Constraints: 54110
1454.03/1458.83 c #Conflicts: 585000 | #Constraints: 55110
1454.03/1458.83 c #Conflicts: 586000 | #Constraints: 56110
1454.03/1458.83 c #Conflicts: 587000 | #Constraints: 57110
1454.03/1458.83 c #Conflicts: 588000 | #Constraints: 58110
1454.03/1458.83 c #Conflicts: 589000 | #Constraints: 59110
1454.03/1458.83 c #Conflicts: 590000 | #Constraints: 60110
1454.03/1458.83 c #Conflicts: 591000 | #Constraints: 61110
1454.03/1458.83 c #Conflicts: 592000 | #Constraints: 62110
1454.03/1458.83 c #Conflicts: 593000 | #Constraints: 63110
1454.03/1458.83 c #Conflicts: 594000 | #Constraints: 64110
1454.03/1458.83 c #Conflicts: 595000 | #Constraints: 65110
1454.03/1458.83 c #Conflicts: 596000 | #Constraints: 66110
1454.03/1458.83 c #Conflicts: 597000 | #Constraints: 67110
1769.42/1775.28 c #Conflicts: 598000 | #Constraints: 68110
1769.42/1775.28 c #Conflicts: 599000 | #Constraints: 69110
1769.42/1775.28 c #Conflicts: 600000 | #Constraints: 70110
1769.42/1775.28 c #Conflicts: 601000 | #Constraints: 71110
1769.42/1775.28 c #Conflicts: 602000 | #Constraints: 72110
1769.42/1775.28 c #Conflicts: 603000 | #Constraints: 73110
1769.42/1775.28 c #Conflicts: 604000 | #Constraints: 74110
1769.42/1775.28 c #Conflicts: 605000 | #Constraints: 75110
1769.42/1775.28 c #Conflicts: 606000 | #Constraints: 76110
1769.42/1775.28 c #Conflicts: 607000 | #Constraints: 77110
1769.42/1775.28 c #Conflicts: 608000 | #Constraints: 78110
1769.42/1775.28 c #Conflicts: 609000 | #Constraints: 79110
1769.42/1775.28 c #Conflicts: 610000 | #Constraints: 80110
1769.42/1775.28 c #Conflicts: 611000 | #Constraints: 81110
1769.42/1775.28 c #Conflicts: 612000 | #Constraints: 82110
1769.42/1775.28 c #Conflicts: 613000 | #Constraints: 83110
1769.42/1775.28 c #Conflicts: 614000 | #Constraints: 84110
1769.42/1775.28 c #Conflicts: 615000 | #Constraints: 85110
1769.42/1775.28 c INPROCESSING
1769.42/1775.28 c GARBAGE COLLECT
1769.42/1775.28 c #Conflicts: 616000 | #Constraints: 44864
1769.42/1775.28 c #Conflicts: 617000 | #Constraints: 45864
1769.42/1775.28 c #Conflicts: 618000 | #Constraints: 46864
1769.42/1775.28 c #Conflicts: 619000 | #Constraints: 47864
1769.42/1775.28 c #Conflicts: 620000 | #Constraints: 48864
1769.42/1775.28 c #Conflicts: 621000 | #Constraints: 49864
1769.42/1775.28 c #Conflicts: 622000 | #Constraints: 50864
1769.42/1775.28 c #Conflicts: 623000 | #Constraints: 51864
1769.42/1775.28 c #Conflicts: 624000 | #Constraints: 52864
1769.42/1775.28 c #Conflicts: 625000 | #Constraints: 53864
1769.42/1775.28 c #Conflicts: 626000 | #Constraints: 54864
1769.42/1775.28 c #Conflicts: 627000 | #Constraints: 55864
1769.42/1775.28 c #Conflicts: 628000 | #Constraints: 56864
1769.42/1775.28 c #Conflicts: 629000 | #Constraints: 57864
1769.42/1775.28 c #Conflicts: 630000 | #Constraints: 58864
1769.42/1775.28 c #Conflicts: 631000 | #Constraints: 59864
1769.42/1775.28 c #Conflicts: 632000 | #Constraints: 60864
1769.42/1775.28 c INPROCESSING
1769.42/1775.28 c GARBAGE COLLECT
1769.42/1775.28 c #Conflicts: 633000 | #Constraints: 32505
1769.42/1775.28 c #Conflicts: 634000 | #Constraints: 33505
1769.42/1775.28 c #Conflicts: 635000 | #Constraints: 34505
1769.42/1775.28 c #Conflicts: 636000 | #Constraints: 35505
1769.42/1775.28 c #Conflicts: 637000 | #Constraints: 36505
1769.42/1775.28 c #Conflicts: 638000 | #Constraints: 37505
1769.42/1775.28 c #Conflicts: 639000 | #Constraints: 38505
1769.42/1775.28 c #Conflicts: 640000 | #Constraints: 39505
1769.42/1775.28 c #Conflicts: 641000 | #Constraints: 40505
1769.42/1775.28 c #Conflicts: 642000 | #Constraints: 41505
1769.42/1775.28 c #Conflicts: 643000 | #Constraints: 42505
1769.42/1775.28 c #Conflicts: 644000 | #Constraints: 43505
1769.42/1775.28 c #Conflicts: 645000 | #Constraints: 44505
1769.42/1775.28 c #Conflicts: 646000 | #Constraints: 45505
1769.42/1775.28 c #Conflicts: 647000 | #Constraints: 46505
1769.42/1775.28 c #Conflicts: 648000 | #Constraints: 47505
1769.42/1775.28 c #Conflicts: 649000 | #Constraints: 48505
1769.42/1775.28 c #Conflicts: 650000 | #Constraints: 49505
1769.42/1775.28 c INPROCESSING
1769.42/1775.28 c GARBAGE COLLECT
1769.42/1775.28 c #Conflicts: 651000 | #Constraints: 27006
1769.42/1775.28 c #Conflicts: 652000 | #Constraints: 28006
1769.42/1775.28 c #Conflicts: 653000 | #Constraints: 29006
1769.42/1775.28 c #Conflicts: 654000 | #Constraints: 30006
1769.42/1775.28 c #Conflicts: 655000 | #Constraints: 31006
1769.42/1775.28 c #Conflicts: 656000 | #Constraints: 32006
1769.42/1775.28 c #Conflicts: 657000 | #Constraints: 33006
1769.42/1775.28 c #Conflicts: 658000 | #Constraints: 34006
1769.42/1775.28 c #Conflicts: 659000 | #Constraints: 35006
1769.42/1775.28 c #Conflicts: 660000 | #Constraints: 36006
1769.42/1775.28 c #Conflicts: 661000 | #Constraints: 37006
1769.42/1775.28 c #Conflicts: 662000 | #Constraints: 38006
1769.42/1775.28 c #Conflicts: 663000 | #Constraints: 39006
1769.42/1775.28 c #Conflicts: 664000 | #Constraints: 40006
1769.42/1775.28 c #Conflicts: 665000 | #Constraints: 41006
1769.42/1775.28 c #Conflicts: 666000 | #Constraints: 42006
1769.42/1775.28 c #Conflicts: 667000 | #Constraints: 43006
1769.42/1775.28 c #Conflicts: 668000 | #Constraints: 44006
1769.42/1775.28 c #Conflicts: 669000 | #Constraints: 45006
1769.42/1775.28 c #Conflicts: 670000 | #Constraints: 46006
1769.42/1775.28 c #Conflicts: 671000 | #Constraints: 47006
1769.42/1775.28 c #Conflicts: 672000 | #Constraints: 48006
1769.42/1775.28 c #Conflicts: 673000 | #Constraints: 49006
2168.16/2175.21 c #Conflicts: 674000 | #Constraints: 50006
2168.16/2175.21 c #Conflicts: 675000 | #Constraints: 51006
2168.16/2175.21 c #Conflicts: 676000 | #Constraints: 52006
2168.16/2175.21 c #Conflicts: 677000 | #Constraints: 53006
2168.16/2175.21 c #Conflicts: 678000 | #Constraints: 54006
2168.16/2175.21 c #Conflicts: 679000 | #Constraints: 55006
2168.16/2175.21 c #Conflicts: 680000 | #Constraints: 56006
2168.16/2175.21 c #Conflicts: 681000 | #Constraints: 57006
2168.16/2175.21 c #Conflicts: 682000 | #Constraints: 58006
2168.16/2175.21 c #Conflicts: 683000 | #Constraints: 59006
2168.16/2175.21 c #Conflicts: 684000 | #Constraints: 60006
2168.16/2175.21 c #Conflicts: 685000 | #Constraints: 61006
2168.16/2175.21 c #Conflicts: 686000 | #Constraints: 62006
2168.16/2175.21 c #Conflicts: 687000 | #Constraints: 63006
2168.16/2175.21 c #Conflicts: 688000 | #Constraints: 64006
2168.16/2175.21 c #Conflicts: 689000 | #Constraints: 65006
2168.16/2175.21 c #Conflicts: 690000 | #Constraints: 66006
2168.16/2175.21 c #Conflicts: 691000 | #Constraints: 67006
2168.16/2175.21 c #Conflicts: 692000 | #Constraints: 68006
2168.16/2175.21 c #Conflicts: 693000 | #Constraints: 69006
2168.16/2175.21 c #Conflicts: 694000 | #Constraints: 70006
2168.16/2175.21 c #Conflicts: 695000 | #Constraints: 71006
2168.16/2175.21 c #Conflicts: 696000 | #Constraints: 72006
2168.16/2175.21 c #Conflicts: 697000 | #Constraints: 73006
2168.16/2175.21 c #Conflicts: 698000 | #Constraints: 74006
2168.16/2175.21 c #Conflicts: 699000 | #Constraints: 75006
2168.16/2175.21 c #Conflicts: 700000 | #Constraints: 76006
2168.16/2175.21 c #Conflicts: 701000 | #Constraints: 77006
2168.16/2175.21 c #Conflicts: 702000 | #Constraints: 78006
2168.16/2175.21 c #Conflicts: 703000 | #Constraints: 79006
2168.16/2175.21 c #Conflicts: 704000 | #Constraints: 80006
2168.16/2175.21 c #Conflicts: 705000 | #Constraints: 81006
2168.16/2175.21 c #Conflicts: 706000 | #Constraints: 82006
2168.16/2175.21 c #Conflicts: 707000 | #Constraints: 83006
2168.16/2175.21 c #Conflicts: 708000 | #Constraints: 84006
2168.16/2175.21 c #Conflicts: 709000 | #Constraints: 85006
2168.16/2175.21 c #Conflicts: 710000 | #Constraints: 86006
2168.16/2175.21 c #Conflicts: 711000 | #Constraints: 87006
2168.16/2175.21 c #Conflicts: 712000 | #Constraints: 88006
2168.16/2175.21 c #Conflicts: 713000 | #Constraints: 89006
2168.16/2175.21 c #Conflicts: 714000 | #Constraints: 90006
2168.16/2175.21 c #Conflicts: 715000 | #Constraints: 91006
2168.16/2175.21 c INPROCESSING
2168.16/2175.21 c GARBAGE COLLECT
2168.16/2175.21 c #Conflicts: 716000 | #Constraints: 47521
2168.16/2175.21 c #Conflicts: 717000 | #Constraints: 48521
2168.16/2175.21 c #Conflicts: 718000 | #Constraints: 49521
2168.16/2175.21 c #Conflicts: 719000 | #Constraints: 50521
2168.16/2175.21 c #Conflicts: 720000 | #Constraints: 51521
2168.16/2175.21 c #Conflicts: 721000 | #Constraints: 52521
2168.16/2175.21 c #Conflicts: 722000 | #Constraints: 53521
2168.16/2175.21 c #Conflicts: 723000 | #Constraints: 54521
2168.16/2175.21 c #Conflicts: 724000 | #Constraints: 55521
2168.16/2175.21 c #Conflicts: 725000 | #Constraints: 56521
2168.16/2175.21 c #Conflicts: 726000 | #Constraints: 57521
2168.16/2175.21 c #Conflicts: 727000 | #Constraints: 58521
2168.16/2175.21 c #Conflicts: 728000 | #Constraints: 59521
2168.16/2175.21 c #Conflicts: 729000 | #Constraints: 60521
2168.16/2175.21 c #Conflicts: 730000 | #Constraints: 61521
2168.16/2175.21 c #Conflicts: 731000 | #Constraints: 62521
2168.16/2175.21 c #Conflicts: 732000 | #Constraints: 63521
2168.16/2175.21 c #Conflicts: 733000 | #Constraints: 64521
2168.16/2175.21 c #Conflicts: 734000 | #Constraints: 65521
2168.16/2175.21 c INPROCESSING
2168.16/2175.21 c GARBAGE COLLECT
2168.16/2175.21 c #Conflicts: 735000 | #Constraints: 34828
2168.16/2175.21 c #Conflicts: 736000 | #Constraints: 35828
2168.16/2175.21 c #Conflicts: 737000 | #Constraints: 36828
2168.16/2175.21 c #Conflicts: 738000 | #Constraints: 37828
2168.16/2175.21 c #Conflicts: 739000 | #Constraints: 38828
2168.16/2175.21 c #Conflicts: 740000 | #Constraints: 39828
2168.16/2175.21 c #Conflicts: 741000 | #Constraints: 40828
2168.16/2175.21 c #Conflicts: 742000 | #Constraints: 41828
2168.16/2175.21 c #Conflicts: 743000 | #Constraints: 42828
2168.16/2175.21 c #Conflicts: 744000 | #Constraints: 43828
2168.16/2175.21 c #Conflicts: 745000 | #Constraints: 44828
2168.16/2175.21 c #Conflicts: 746000 | #Constraints: 45828
2168.16/2175.21 c #Conflicts: 747000 | #Constraints: 46828
2168.16/2175.21 c #Conflicts: 748000 | #Constraints: 47828
2168.16/2175.21 c #Conflicts: 749000 | #Constraints: 48828
2168.16/2175.21 c #Conflicts: 750000 | #Constraints: 49828
2168.16/2175.21 c #Conflicts: 751000 | #Constraints: 50828
2550.43/2558.78 c #Conflicts: 752000 | #Constraints: 51828
2550.43/2558.78 c #Conflicts: 753000 | #Constraints: 52828
2550.43/2558.78 c INPROCESSING
2550.43/2558.78 c GARBAGE COLLECT
2550.43/2558.78 c #Conflicts: 754000 | #Constraints: 28420
2550.43/2558.78 c #Conflicts: 755000 | #Constraints: 29420
2550.43/2558.78 c #Conflicts: 756000 | #Constraints: 30420
2550.43/2558.78 c #Conflicts: 757000 | #Constraints: 31420
2550.43/2558.78 c #Conflicts: 758000 | #Constraints: 32420
2550.43/2558.78 c #Conflicts: 759000 | #Constraints: 33420
2550.43/2558.78 c #Conflicts: 760000 | #Constraints: 34420
2550.43/2558.78 c #Conflicts: 761000 | #Constraints: 35420
2550.43/2558.78 c #Conflicts: 762000 | #Constraints: 36420
2550.43/2558.78 c #Conflicts: 763000 | #Constraints: 37420
2550.43/2558.78 c #Conflicts: 764000 | #Constraints: 38420
2550.43/2558.78 c #Conflicts: 765000 | #Constraints: 39420
2550.43/2558.78 c #Conflicts: 766000 | #Constraints: 40420
2550.43/2558.78 c #Conflicts: 767000 | #Constraints: 41420
2550.43/2558.78 c #Conflicts: 768000 | #Constraints: 42420
2550.43/2558.78 c #Conflicts: 769000 | #Constraints: 43420
2550.43/2558.78 c #Conflicts: 770000 | #Constraints: 44420
2550.43/2558.78 c #Conflicts: 771000 | #Constraints: 45420
2550.43/2558.78 c #Conflicts: 772000 | #Constraints: 46420
2550.43/2558.78 c #Conflicts: 773000 | #Constraints: 47420
2550.43/2558.78 c #Conflicts: 774000 | #Constraints: 48420
2550.43/2558.78 c #Conflicts: 775000 | #Constraints: 49420
2550.43/2558.78 c #Conflicts: 776000 | #Constraints: 50420
2550.43/2558.78 c #Conflicts: 777000 | #Constraints: 51420
2550.43/2558.78 c #Conflicts: 778000 | #Constraints: 52420
2550.43/2558.78 c #Conflicts: 779000 | #Constraints: 53420
2550.43/2558.78 c #Conflicts: 780000 | #Constraints: 54420
2550.43/2558.78 c #Conflicts: 781000 | #Constraints: 55420
2550.43/2558.78 c #Conflicts: 782000 | #Constraints: 56420
2550.43/2558.78 c #Conflicts: 783000 | #Constraints: 57420
2550.43/2558.78 c #Conflicts: 784000 | #Constraints: 58420
2550.43/2558.78 c #Conflicts: 785000 | #Constraints: 59420
2550.43/2558.78 c #Conflicts: 786000 | #Constraints: 60420
2550.43/2558.78 c #Conflicts: 787000 | #Constraints: 61420
2550.43/2558.78 c #Conflicts: 788000 | #Constraints: 62420
2550.43/2558.78 c #Conflicts: 789000 | #Constraints: 63420
2550.43/2558.78 c #Conflicts: 790000 | #Constraints: 64420
2550.43/2558.78 c #Conflicts: 791000 | #Constraints: 65420
2550.43/2558.78 c #Conflicts: 792000 | #Constraints: 66420
2550.43/2558.78 c #Conflicts: 793000 | #Constraints: 67420
2550.43/2558.78 c #Conflicts: 794000 | #Constraints: 68420
2550.43/2558.78 c #Conflicts: 795000 | #Constraints: 69420
2550.43/2558.78 c #Conflicts: 796000 | #Constraints: 70420
2550.43/2558.78 c #Conflicts: 797000 | #Constraints: 71420
2550.43/2558.78 c #Conflicts: 798000 | #Constraints: 72420
2550.43/2558.78 c #Conflicts: 799000 | #Constraints: 73420
2550.43/2558.78 c #Conflicts: 800000 | #Constraints: 74420
2550.43/2558.78 c #Conflicts: 801000 | #Constraints: 75420
2550.43/2558.78 c #Conflicts: 802000 | #Constraints: 76420
2550.43/2558.78 c #Conflicts: 803000 | #Constraints: 77420
2550.43/2558.78 c #Conflicts: 804000 | #Constraints: 78420
2550.43/2558.78 c #Conflicts: 805000 | #Constraints: 79420
2550.43/2558.78 c #Conflicts: 806000 | #Constraints: 80420
2550.43/2558.78 c #Conflicts: 807000 | #Constraints: 81420
2550.43/2558.78 c #Conflicts: 808000 | #Constraints: 82420
2550.43/2558.78 c #Conflicts: 809000 | #Constraints: 83420
2550.43/2558.78 c #Conflicts: 810000 | #Constraints: 84420
2550.43/2558.78 c #Conflicts: 811000 | #Constraints: 85420
2550.43/2558.78 c #Conflicts: 812000 | #Constraints: 86420
2550.43/2558.78 c #Conflicts: 813000 | #Constraints: 87420
2550.43/2558.78 c #Conflicts: 814000 | #Constraints: 88420
2550.43/2558.78 c #Conflicts: 815000 | #Constraints: 89420
2550.43/2558.78 c #Conflicts: 816000 | #Constraints: 90420
2550.43/2558.78 c #Conflicts: 817000 | #Constraints: 91420
2550.43/2558.78 c #Conflicts: 818000 | #Constraints: 92420
2550.43/2558.78 c #Conflicts: 819000 | #Constraints: 93420
2550.43/2558.78 c #Conflicts: 820000 | #Constraints: 94420
2550.43/2558.78 c #Conflicts: 821000 | #Constraints: 95420
2550.43/2558.78 c #Conflicts: 822000 | #Constraints: 96420
2550.43/2558.78 c #Conflicts: 823000 | #Constraints: 97420
2550.43/2558.78 c INPROCESSING
2550.43/2558.78 c GARBAGE COLLECT
2550.43/2558.78 c #Conflicts: 824000 | #Constraints: 50895
2550.43/2558.78 c #Conflicts: 825000 | #Constraints: 51895
2550.43/2558.78 c #Conflicts: 826000 | #Constraints: 52895
2550.43/2558.78 c #Conflicts: 827000 | #Constraints: 53895
2550.43/2558.78 c #Conflicts: 828000 | #Constraints: 54895
2912.67/2922.19 c #Conflicts: 829000 | #Constraints: 55895
2912.67/2922.19 c #Conflicts: 830000 | #Constraints: 56895
2912.67/2922.19 c #Conflicts: 831000 | #Constraints: 57895
2912.67/2922.19 c #Conflicts: 832000 | #Constraints: 58895
2912.67/2922.19 c #Conflicts: 833000 | #Constraints: 59895
2912.67/2922.19 c #Conflicts: 834000 | #Constraints: 60895
2912.67/2922.19 c #Conflicts: 835000 | #Constraints: 61895
2912.67/2922.19 c #Conflicts: 836000 | #Constraints: 62895
2912.67/2922.19 c #Conflicts: 837000 | #Constraints: 63895
2912.67/2922.19 c #Conflicts: 838000 | #Constraints: 64895
2912.67/2922.19 c #Conflicts: 839000 | #Constraints: 65895
2912.67/2922.19 c #Conflicts: 840000 | #Constraints: 66895
2912.67/2922.19 c #Conflicts: 841000 | #Constraints: 67895
2912.67/2922.19 c #Conflicts: 842000 | #Constraints: 68895
2912.67/2922.19 c #Conflicts: 843000 | #Constraints: 69895
2912.67/2922.19 c INPROCESSING
2912.67/2922.19 c GARBAGE COLLECT
2912.67/2922.19 c #Conflicts: 844000 | #Constraints: 36913
2912.67/2922.19 c #Conflicts: 845000 | #Constraints: 37913
2912.67/2922.19 c #Conflicts: 846000 | #Constraints: 38913
2912.67/2922.19 c #Conflicts: 847000 | #Constraints: 39913
2912.67/2922.19 c #Conflicts: 848000 | #Constraints: 40913
2912.67/2922.19 c #Conflicts: 849000 | #Constraints: 41913
2912.67/2922.19 c #Conflicts: 850000 | #Constraints: 42913
2912.67/2922.19 c #Conflicts: 851000 | #Constraints: 43913
2912.67/2922.19 c #Conflicts: 852000 | #Constraints: 44913
2912.67/2922.19 c #Conflicts: 853000 | #Constraints: 45913
2912.67/2922.19 c #Conflicts: 854000 | #Constraints: 46913
2912.67/2922.19 c #Conflicts: 855000 | #Constraints: 47913
2912.67/2922.19 c #Conflicts: 856000 | #Constraints: 48913
2912.67/2922.19 c #Conflicts: 857000 | #Constraints: 49913
2912.67/2922.19 c #Conflicts: 858000 | #Constraints: 50913
2912.67/2922.19 c #Conflicts: 859000 | #Constraints: 51913
2912.67/2922.19 c #Conflicts: 860000 | #Constraints: 52913
2912.67/2922.19 c #Conflicts: 861000 | #Constraints: 53913
2912.67/2922.19 c #Conflicts: 862000 | #Constraints: 54913
2912.67/2922.19 c #Conflicts: 863000 | #Constraints: 55913
2912.67/2922.19 c #Conflicts: 864000 | #Constraints: 56913
2912.67/2922.19 c INPROCESSING
2912.67/2922.19 c GARBAGE COLLECT
2912.67/2922.19 c #Conflicts: 865000 | #Constraints: 30617
2912.67/2922.19 c #Conflicts: 866000 | #Constraints: 31617
2912.67/2922.19 c #Conflicts: 867000 | #Constraints: 32617
2912.67/2922.19 c #Conflicts: 868000 | #Constraints: 33617
2912.67/2922.19 c #Conflicts: 869000 | #Constraints: 34617
2912.67/2922.19 c #Conflicts: 870000 | #Constraints: 35617
2912.67/2922.19 c #Conflicts: 871000 | #Constraints: 36617
2912.67/2922.19 c #Conflicts: 872000 | #Constraints: 37617
2912.67/2922.19 c #Conflicts: 873000 | #Constraints: 38617
2912.67/2922.19 c #Conflicts: 874000 | #Constraints: 39617
2912.67/2922.19 c #Conflicts: 875000 | #Constraints: 40617
2912.67/2922.19 c #Conflicts: 876000 | #Constraints: 41617
2912.67/2922.19 c #Conflicts: 877000 | #Constraints: 42617
2912.67/2922.19 c #Conflicts: 878000 | #Constraints: 43617
2912.67/2922.19 c #Conflicts: 879000 | #Constraints: 44617
2912.67/2922.19 c #Conflicts: 880000 | #Constraints: 45617
2912.67/2922.19 c #Conflicts: 881000 | #Constraints: 46617
2912.67/2922.19 c #Conflicts: 882000 | #Constraints: 47617
2912.67/2922.19 c #Conflicts: 883000 | #Constraints: 48617
2912.67/2922.19 c #Conflicts: 884000 | #Constraints: 49617
2912.67/2922.19 c #Conflicts: 885000 | #Constraints: 50617
2912.67/2922.19 c #Conflicts: 886000 | #Constraints: 51617
2912.67/2922.19 c #Conflicts: 887000 | #Constraints: 52617
2912.67/2922.19 c #Conflicts: 888000 | #Constraints: 53617
2912.67/2922.19 c #Conflicts: 889000 | #Constraints: 54617
2912.67/2922.19 c #Conflicts: 890000 | #Constraints: 55617
2912.67/2922.19 c #Conflicts: 891000 | #Constraints: 56617
2912.67/2922.19 c #Conflicts: 892000 | #Constraints: 57617
2912.67/2922.19 c #Conflicts: 893000 | #Constraints: 58617
2912.67/2922.19 c #Conflicts: 894000 | #Constraints: 59617
2912.67/2922.19 c #Conflicts: 895000 | #Constraints: 60617
2912.67/2922.19 c #Conflicts: 896000 | #Constraints: 61617
2912.67/2922.19 c #Conflicts: 897000 | #Constraints: 62617
2912.67/2922.19 c #Conflicts: 898000 | #Constraints: 63617
2912.67/2922.19 c #Conflicts: 899000 | #Constraints: 64617
2912.67/2922.19 c #Conflicts: 900000 | #Constraints: 65617
2912.67/2922.19 c #Conflicts: 901000 | #Constraints: 66617
2912.67/2922.19 c #Conflicts: 902000 | #Constraints: 67617
2912.67/2922.19 c #Conflicts: 903000 | #Constraints: 68617
2912.67/2922.19 c #Conflicts: 904000 | #Constraints: 69617
2912.67/2922.19 c #Conflicts: 905000 | #Constraints: 70617
2912.67/2922.19 c #Conflicts: 906000 | #Constraints: 71617
3390.07/3401.11 c #Conflicts: 907000 | #Constraints: 72617
3390.07/3401.11 c #Conflicts: 908000 | #Constraints: 73617
3390.07/3401.11 c #Conflicts: 909000 | #Constraints: 74617
3390.07/3401.11 c #Conflicts: 910000 | #Constraints: 75617
3390.07/3401.11 c #Conflicts: 911000 | #Constraints: 76617
3390.07/3401.11 c #Conflicts: 912000 | #Constraints: 77617
3390.07/3401.11 c #Conflicts: 913000 | #Constraints: 78617
3390.07/3401.11 c #Conflicts: 914000 | #Constraints: 79617
3390.07/3401.11 c #Conflicts: 915000 | #Constraints: 80617
3390.07/3401.11 c #Conflicts: 916000 | #Constraints: 81617
3390.07/3401.11 c #Conflicts: 917000 | #Constraints: 82617
3390.07/3401.11 c #Conflicts: 918000 | #Constraints: 83617
3390.07/3401.11 c #Conflicts: 919000 | #Constraints: 84617
3390.07/3401.11 c #Conflicts: 920000 | #Constraints: 85617
3390.07/3401.11 c #Conflicts: 921000 | #Constraints: 86617
3390.07/3401.11 c #Conflicts: 922000 | #Constraints: 87617
3390.07/3401.11 c #Conflicts: 923000 | #Constraints: 88617
3390.07/3401.11 c #Conflicts: 924000 | #Constraints: 89617
3390.07/3401.11 c #Conflicts: 925000 | #Constraints: 90617
3390.07/3401.11 c #Conflicts: 926000 | #Constraints: 91617
3390.07/3401.11 c #Conflicts: 927000 | #Constraints: 92617
3390.07/3401.11 c #Conflicts: 928000 | #Constraints: 93617
3390.07/3401.11 c #Conflicts: 929000 | #Constraints: 94617
3390.07/3401.11 c #Conflicts: 930000 | #Constraints: 95617
3390.07/3401.11 c #Conflicts: 931000 | #Constraints: 96617
3390.07/3401.11 c #Conflicts: 932000 | #Constraints: 97617
3390.07/3401.11 c #Conflicts: 933000 | #Constraints: 98617
3390.07/3401.11 c #Conflicts: 934000 | #Constraints: 99617
3390.07/3401.11 c #Conflicts: 935000 | #Constraints: 100617
3390.07/3401.11 c #Conflicts: 936000 | #Constraints: 101617
3390.07/3401.11 c #Conflicts: 937000 | #Constraints: 102617
3390.07/3401.11 c #Conflicts: 938000 | #Constraints: 103617
3390.07/3401.11 c INPROCESSING
3390.07/3401.11 c GARBAGE COLLECT
3390.07/3401.11 c #Conflicts: 939000 | #Constraints: 54037
3390.07/3401.11 c #Conflicts: 940000 | #Constraints: 55037
3390.07/3401.11 c #Conflicts: 941000 | #Constraints: 56037
3390.07/3401.11 c #Conflicts: 942000 | #Constraints: 57037
3390.07/3401.11 c #Conflicts: 943000 | #Constraints: 58037
3390.07/3401.11 c #Conflicts: 944000 | #Constraints: 59037
3390.07/3401.11 c #Conflicts: 945000 | #Constraints: 60037
3390.07/3401.11 c #Conflicts: 946000 | #Constraints: 61037
3390.07/3401.11 c #Conflicts: 947000 | #Constraints: 62037
3390.07/3401.11 c #Conflicts: 948000 | #Constraints: 63037
3390.07/3401.11 c #Conflicts: 949000 | #Constraints: 64037
3390.07/3401.11 c #Conflicts: 950000 | #Constraints: 65037
3390.07/3401.11 c #Conflicts: 951000 | #Constraints: 66037
3390.07/3401.11 c #Conflicts: 952000 | #Constraints: 67037
3390.07/3401.11 c #Conflicts: 953000 | #Constraints: 68037
3390.07/3401.11 c #Conflicts: 954000 | #Constraints: 69037
3390.07/3401.11 c #Conflicts: 955000 | #Constraints: 70037
3390.07/3401.11 c #Conflicts: 956000 | #Constraints: 71037
3390.07/3401.11 c #Conflicts: 957000 | #Constraints: 72037
3390.07/3401.11 c #Conflicts: 958000 | #Constraints: 73037
3390.07/3401.11 c #Conflicts: 959000 | #Constraints: 74037
3390.07/3401.11 c #Conflicts: 960000 | #Constraints: 75037
3390.07/3401.11 c INPROCESSING
3390.07/3401.11 c GARBAGE COLLECT
3390.07/3401.11 c #Conflicts: 961000 | #Constraints: 39811
3390.07/3401.11 c #Conflicts: 962000 | #Constraints: 40811
3390.07/3401.11 c #Conflicts: 963000 | #Constraints: 41811
3390.07/3401.11 c #Conflicts: 964000 | #Constraints: 42811
3390.07/3401.11 c #Conflicts: 965000 | #Constraints: 43811
3390.07/3401.11 c #Conflicts: 966000 | #Constraints: 44811
3390.07/3401.11 c #Conflicts: 967000 | #Constraints: 45811
3390.07/3401.11 c #Conflicts: 968000 | #Constraints: 46811
3390.07/3401.11 c #Conflicts: 969000 | #Constraints: 47811
3390.07/3401.11 c #Conflicts: 970000 | #Constraints: 48811
3390.07/3401.11 c #Conflicts: 971000 | #Constraints: 49811
3390.07/3401.11 c #Conflicts: 972000 | #Constraints: 50811
3390.07/3401.11 c #Conflicts: 973000 | #Constraints: 51811
3390.07/3401.11 c #Conflicts: 974000 | #Constraints: 52811
3390.07/3401.11 c #Conflicts: 975000 | #Constraints: 53811
3390.07/3401.11 c #Conflicts: 976000 | #Constraints: 54811
3390.07/3401.11 c #Conflicts: 977000 | #Constraints: 55811
3390.07/3401.11 c #Conflicts: 978000 | #Constraints: 56811
3390.07/3401.11 c #Conflicts: 979000 | #Constraints: 57811
3390.07/3401.11 c #Conflicts: 980000 | #Constraints: 58811
3390.07/3401.11 c #Conflicts: 981000 | #Constraints: 59811
3390.07/3401.11 c #Conflicts: 982000 | #Constraints: 60811
3390.07/3401.11 c INPROCESSING
3390.07/3401.11 c GARBAGE COLLECT
3390.07/3401.11 c #Conflicts: 983000 | #Constraints: 32632
3600.06/3611.80 c #Conflicts: 984000 | #Constraints: 33632
3600.06/3611.80 c #Conflicts: 985000 | #Constraints: 34632
3600.06/3611.80 c #Conflicts: 986000 | #Constraints: 35632
3600.06/3611.80 c #Conflicts: 987000 | #Constraints: 36632
3600.06/3611.80 c #Conflicts: 988000 | #Constraints: 37632
3600.06/3611.80 c #Conflicts: 989000 | #Constraints: 38632
3600.06/3611.80 c #Conflicts: 990000 | #Constraints: 39632
3600.06/3611.80 c #Conflicts: 991000 | #Constraints: 40632
3600.06/3611.80 c #Conflicts: 992000 | #Constraints: 41632
3600.06/3611.80 c #Conflicts: 993000 | #Constraints: 42632
3600.06/3611.80 c #Conflicts: 994000 | #Constraints: 43632
3600.06/3611.80 c #Conflicts: 995000 | #Constraints: 44632
3600.06/3611.80 c #Conflicts: 996000 | #Constraints: 45632
3600.06/3611.80 c #Conflicts: 997000 | #Constraints: 46632
3600.06/3611.80 c #Conflicts: 998000 | #Constraints: 47632
3600.06/3611.80 c #Conflicts: 999000 | #Constraints: 48632
3600.06/3611.80 c #Conflicts: 1000000 | #Constraints: 49632
3600.06/3611.80 c #Conflicts: 1001000 | #Constraints: 50632
3600.06/3611.80 c #Conflicts: 1002000 | #Constraints: 51632
3600.06/3611.80 c #Conflicts: 1003000 | #Constraints: 52632
3600.06/3611.80 c #Conflicts: 1004000 | #Constraints: 53632
3600.06/3611.80 c #Conflicts: 1005000 | #Constraints: 54632
3600.06/3611.80 c #Conflicts: 1006000 | #Constraints: 55632
3600.06/3611.80 c #Conflicts: 1007000 | #Constraints: 56632
3600.06/3611.80 c #Conflicts: 1008000 | #Constraints: 57632
3600.06/3611.80 c #Conflicts: 1009000 | #Constraints: 58632
3600.06/3611.80 c #Conflicts: 1010000 | #Constraints: 59632
3600.06/3611.80 c #Conflicts: 1011000 | #Constraints: 60632
3600.06/3611.80 c #Conflicts: 1012000 | #Constraints: 61632
3600.06/3611.80 c #Conflicts: 1013000 | #Constraints: 62632
3600.06/3611.80 c #Conflicts: 1014000 | #Constraints: 63632
3600.06/3611.80 c #Conflicts: 1015000 | #Constraints: 64632
3600.06/3611.80 c #Conflicts: 1016000 | #Constraints: 65632
3600.06/3611.80 c #Conflicts: 1017000 | #Constraints: 66632
3600.06/3611.80 c #Conflicts: 1018000 | #Constraints: 67632
3600.06/3611.80 c #Conflicts: 1019000 | #Constraints: 68632
3600.06/3611.80 c #Conflicts: 1020000 | #Constraints: 69632
3600.06/3611.80 c #Conflicts: 1021000 | #Constraints: 70632
3600.06/3611.80 c #Conflicts: 1022000 | #Constraints: 71632
3600.06/3611.80 c #Conflicts: 1023000 | #Constraints: 72632
3600.06/3611.80 c #Conflicts: 1024000 | #Constraints: 73632
3600.06/3611.80 c #Conflicts: 1025000 | #Constraints: 74632
3600.06/3611.80 c Program interrupted by user.
3600.06/3611.80 c cpu time 3590.43 s
3600.06/3611.80 c deterministic time 289805008751 2.90e+11
3600.06/3611.80 c optimization time 212.109 s
3600.06/3611.80 c total solve time 3079.61 s
3600.06/3611.80 c core-guided solve time 3079.61 s
3600.06/3611.80 c propagation time 3111.16 s
3600.06/3611.80 c conflict analysis time 166.044 s
3600.06/3611.80 c propagations 240166489
3600.06/3611.80 c resolve steps 4576642
3600.06/3611.80 c decisions 4469596
3600.06/3611.80 c conflicts 1025149
3600.06/3611.80 c restarts 2046
3600.06/3611.80 c inprocessing phases 61
3600.06/3611.80 c input clauses 1
3600.06/3611.80 c input cardinalities 0
3600.06/3611.80 c input general constraints 2435
3600.06/3611.80 c input average constraint length 25.41
3600.06/3611.80 c input average constraint degree 233.81
3600.06/3611.80 c learned clauses 301062
3600.06/3611.80 c learned cardinalities 4
3600.06/3611.80 c learned general constraints 724082
3600.06/3611.80 c learned average constraint length 35.01
3600.06/3611.80 c learned average constraint degree 607959.82
3600.06/3611.80 c watched constraints 722993
3600.06/3611.80 c counting constraints 3524
3600.06/3611.80 c gcd simplifications 5341
3600.06/3611.80 c detected cardinalities 4
3600.06/3611.80 c weakened non-implied lits 3396171
3600.06/3611.80 c weakened non-implying lits 1120
3600.06/3611.80 c original variables 1287
3600.06/3611.80 c clausal propagations 565891
3600.06/3611.80 c cardinality propagations 24
3600.06/3611.80 c watched propagations 235063145
3600.06/3611.80 c counting propagations 3974920
3600.06/3611.80 c watch lookups 55758309787
3600.06/3611.80 c watch backjump lookups 52363020783
3600.06/3611.80 c watch checks 109482379044
3600.06/3611.80 c propagation checks 71568490192
3600.06/3611.80 c constraint additions 142512777
3600.06/3611.80 c trail pops 245660082
3600.06/3611.80 c formula constraints 2430
3600.06/3611.80 c learned constraints 1025148
3600.06/3611.80 c bound constraints 6
3600.06/3611.80 c core-guided constraints 0
3600.06/3611.80 c encountered formula constraints 3917153
3600.06/3611.80 c encountered learned constraints 1684638
3600.06/3611.80 c encountered bound constraints 0
3600.06/3611.80 c encountered core-guided constraints 0
3600.06/3611.80 c LP total time 0 s
3600.06/3611.80 c LP solve time 0 s
3600.06/3611.80 c LP constraints added 0
3600.06/3611.80 c LP constraints removed 0
3600.06/3611.80 c LP pivots internal 0
3600.06/3611.80 c LP pivots root 0
3600.06/3611.80 c LP calls 0
3600.06/3611.80 c LP optimalities 0
3600.06/3611.80 c LP no pivot count 0
3600.06/3611.80 c LP infeasibilities 0
3600.06/3611.80 c LP valid Farkas constraints 0
3600.06/3611.80 c LP learned Farkas constraints 0
3600.06/3611.80 c LP basis resets 0
3600.06/3611.80 c LP cycling count 0
3600.06/3611.80 c LP singular count 0
3600.06/3611.80 c LP no primal count 0
3600.06/3611.80 c LP no farkas count 0
3600.06/3611.80 c LP other issue count 0
3600.06/3611.80 c LP Gomory cuts 0
3600.06/3611.80 c LP learned cuts 0
3600.06/3611.80 c LP deleted cuts 0
3600.06/3611.80 c LP encountered Gomory constraints 0
3600.06/3611.80 c LP encountered Farkas constraints 0
3600.06/3611.80 c LP encountered learned Farkas constraints 0
3600.06/3611.80 c CG auxiliary variables introduced 0
3600.06/3611.80 c CG solutions found 0
3600.06/3611.80 c CG cores constructed 6
3600.06/3611.80 c CG core cardinality constraints returned 0
3600.06/3611.80 c CG unit cores 0
3600.06/3611.80 c CG single cores 6
3600.06/3611.80 c CG blocks removed during cardinality reduction 1
3600.06/3611.80 c CG first core best 0
3600.06/3611.80 c CG decision core best 0
3600.06/3611.80 c CG core reduction tie 0
3600.06/3611.80 c CG core degree average 1.00
3600.06/3611.80 c CG core slack average 3.33
3600.06/3611.80 c CG exhausted 0
3600.06/3611.80 c CG exhaust time 0 s
3600.06/3611.80 c CG trimmed 0
3600.06/3611.80 c CG trim time 0.000215 s
3600.06/3611.80 c CG minimized 0
3600.06/3611.80 c CG minimize time 0 s
3600.06/3611.80 c CG am1 prop time 0.000302 s
3600.06/3611.80 c CG # am1s reformulated 0
3600.06/3611.80 c CG lower bound derived from am1s 0
3600.06/3611.80 c CG # clausal cores 5
3600.06/3611.80 c CG # cardinality cores 0
3600.06/3611.80 c CG # pb cores 1
3600.06/3611.80 c CG # pb reforms 0
3600.06/3611.80 c CG # cores discarded because of pb reform 0
3600.06/3611.80 d LOWERBOUND 32
3600.06/3611.80 d NCORES 6
3600.06/3611.80 d NPBCORES 1
3600.06/3611.80 d NPBREFORM 0
3600.06/3611.80 d NTRIMMED 0
3600.06/3611.80 d NEXHAUSTED 0
3600.06/3611.80 d NAM1S 0
3600.06/3611.80 d AM1LB 0
3600.06/3611.80 c [Papilo Statistics]
3600.06/3611.80 c prepro time 0.0190935s
3600.06/3611.80 c # tsx applied 1210
3600.06/3611.80 c # tsx conflicts 0
3600.06/3611.80 c # bound changes 0
3600.06/3611.80 c # side changes 1210
3600.06/3611.80 c # coef changes 0
3600.06/3611.80 c # rounds 2
3600.06/3611.80 c # deted vars 0
3600.06/3611.80 c # deted constrs 1210
3600.06/3611.80 c # consecutive rounds of only bound changes 0
3600.06/3611.80 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61488 MiB free)
memory of node 1: 64465 MiB (61766 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490831-1751379378/watcher-4490831-1751379378 -o /tmp/evaluation-result-4490831-1751379378/solver-4490831-1751379378 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751375766-60449 --watchdog 3760 mixed-bag HOME/instance-4490831-1751379378.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=60837, runsolver pid=60829
[startup+0.100057 s]*
/proc/loadavg: 4.12 4.09 4.09 4/262 60847
/proc/meminfo: memFree=126183008/131249992 swapFree=33010684/33010684
[pid=60837] ppid=60829 vsize=117116 memory=42304 CPUtime=0.08 cores=4,6
/proc/60837/stat : 60837 (mixed-bag) R 60829 60837 60438 0 -1 4194304 7890 0 0 0 6 2 0 0 20 0 1 0 53616609 119926784 10576 18446744073709551615 4235264 15874749 140736005931088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30846976 140736005937564 140736005937641 140736005937641 140736005943243 0
/proc/60837/statm: 29279 10576 4096 2842 0 10973 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 117116 KiB
Current children cumulated memory: 42304 KiB
[startup+0.205336 s]*
/proc/loadavg: 4.12 4.09 4.09 5/260 60848
/proc/meminfo: memFree=126127240/131249992 swapFree=33010684/33010684
[pid=60837] ppid=60829 vsize=148624 memory=69696 CPUtime=0.19 cores=4,6
/proc/60837/stat : 60837 (mixed-bag) R 60829 60837 60438 0 -1 4194304 14543 0 0 0 16 3 0 0 20 0 1 0 53616609 152190976 17424 18446744073709551615 4235264 15874749 140736005931088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30846976 140736005937564 140736005937641 140736005937641 140736005943243 0
/proc/60837/statm: 37156 17424 4320 2842 0 18850 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 148624 KiB
Current children cumulated memory: 69696 KiB
[startup+0.305078 s]*
/proc/loadavg: 4.12 4.09 4.09 5/261 60859
/proc/meminfo: memFree=126102044/131249992 swapFree=33010684/33010684
[pid=60837] ppid=60829 vsize=154152 memory=75072 CPUtime=0.29 cores=4,6
/proc/60837/stat : 60837 (mixed-bag) R 60829 60837 60438 0 -1 4194304 15910 0 0 0 26 3 0 0 20 0 1 0 53616609 157851648 18768 18446744073709551615 4235264 15874749 140736005931088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30846976 140736005937564 140736005937641 140736005937641 140736005943243 0
/proc/60837/statm: 38538 18768 4320 2842 0 20232 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 154152 KiB
Current children cumulated memory: 75072 KiB
[startup+0.70014 s]
/proc/loadavg: 4.12 4.09 4.09 5/259 60869
/proc/meminfo: memFree=126011568/131249992 swapFree=33010684/33010684
[pid=60837] ppid=60829 vsize=184892 memory=104000 CPUtime=0.67 cores=4,6
/proc/60837/stat : 60837 (mixed-bag) R 60829 60837 60438 0 -1 4194304 23139 0 0 0 63 4 0 0 20 0 1 0 53616609 189329408 26000 18446744073709551615 4235264 15874749 140736005931088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30846976 140736005937564 140736005937641 140736005937641 140736005943243 0
/proc/60837/statm: 46223 26000 4320 2842 0 27917 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 184892 KiB
Current children cumulated memory: 104000 KiB
[startup+1.50013 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 60878
/proc/meminfo: memFree=125931704/131249992 swapFree=33010684/33010684
[pid=60837] ppid=60829 vsize=199384 memory=119768 CPUtime=1.47 cores=4,6
/proc/60837/stat : 60837 (mixed-bag) R 60829 60837 60438 0 -1 4194304 28488 0 0 0 142 5 0 0 20 0 1 0 53616609 204169216 29942 18446744073709551615 4235264 15874749 140736005931088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30846976 140736005937564 140736005937641 140736005937641 140736005943243 0
/proc/60837/statm: 49846 29942 4320 2842 0 31540 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 199384 KiB
Current children cumulated memory: 119768 KiB
[startup+3.10463 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 60878
/proc/meminfo: memFree=125755852/131249992 swapFree=33010684/33010684
[pid=60837] ppid=60829 vsize=204196 memory=124568 CPUtime=3.07 cores=4,6
/proc/60837/stat : 60837 (mixed-bag) R 60829 60837 60438 0 -1 4194304 32635 0 0 0 302 5 0 0 20 0 1 0 53616609 209096704 31142 18446744073709551615 4235264 15874749 140736005931088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30846976 140736005937564 140736005937641 140736005937641 140736005943243 0
/proc/60837/statm: 51049 31142 4320 2842 0 32743 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 204196 KiB
Current children cumulated memory: 124568 KiB
[startup+6.30012 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 60878
/proc/meminfo: memFree=125728092/131249992 swapFree=33010684/33010684
[pid=60837] ppid=60829 vsize=208752 memory=128264 CPUtime=6.26 cores=4,6
/proc/60837/stat : 60837 (mixed-bag) R 60829 60837 60438 0 -1 4194304 34145 0 0 0 620 6 0 0 20 0 1 0 53616609 213762048 32066 18446744073709551615 4235264 15874749 140736005931088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30846976 140736005937564 140736005937641 140736005937641 140736005943243 0
/proc/60837/statm: 52188 32066 4320 2842 0 33882 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 208752 KiB
Current children cumulated memory: 128264 KiB
[startup+12.7001 s]
/proc/loadavg: 4.09 4.09 4.09 4/260 61085
/proc/meminfo: memFree=126540552/131249992 swapFree=33010684/33010684
[pid=60837] ppid=60829 vsize=207888 memory=128532 CPUtime=12.55 cores=4,6
/proc/60837/stat : 60837 (mixed-bag) R 60829 60837 60438 0 -1 4194304 37119 0 0 0 1240 15 0 0 20 0 1 0 53616609 212877312 32133 18446744073709551615 4235264 15874749 140736005931088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30846976 140736005937564 140736005937641 140736005937641 140736005943243 0
/proc/60837/statm: 51972 32133 4320 2842 0 33666 0
Current children cumulated CPU time: 12.55 s
Current children cumulated vsize: 207888 KiB
Current children cumulated memory: 128532 KiB
[startup+25.5001 s]
/proc/loadavg: 4.00 4.07 4.08 6/264 61283
/proc/meminfo: memFree=126297524/131249992 swapFree=33010684/33010684
[pid=60837] ppid=60829 vsize=224348 memory=144632 CPUtime=25.29 cores=4,6
/proc/60837/stat : 60837 (mixed-bag) R 60829 60837 60438 0 -1 4194304 49707 0 0 0 2511 18 0 0 20 0 1 0 53616609 229732352 36158 18446744073709551615 4235264 15874749 140736005931088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30846976 140736005937564 140736005937641 140736005937641 140736005943243 0
/proc/60837/statm: 56087 36158 4320 2842 0 37781 0
Current children cumulated CPU time: 25.29 s
Current children cumulated vsize: 224348 KiB
Current children cumulated memory: 144632 KiB
[startup+51.105 s]
/proc/loadavg: 4.07 4.08 4.09 6/265 61285
/proc/meminfo: memFree=126220544/131249992 swapFree=33010684/33010684
[pid=60837] ppid=60829 vsize=225388 memory=146168 CPUtime=50.82 cores=4,6
/proc/60837/stat : 60837 (mixed-bag) R 60829 60837 60438 0 -1 4194304 50108 0 0 0 5063 19 0 0 20 0 1 0 53616609 230797312 36542 18446744073709551615 4235264 15874749 140736005931088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30846976 140736005937564 140736005937641 140736005937641 140736005943243 0
/proc/60837/statm: 56347 36542 4320 2842 0 38041 0
Current children cumulated CPU time: 50.82 s
Current children cumulated vsize: 225388 KiB
Current children cumulated memory: 146168 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.08 4.09 6/265 61287
/proc/meminfo: memFree=126078472/131249992 swapFree=33010684/33010684
[pid=60837] ppid=60829 vsize=262100 memory=181364 CPUtime=101.84 cores=4,6
/proc/60837/stat : 60837 (mixed-bag) R 60829 60837 60438 0 -1 4194304 63012 0 0 0 10162 22 0 0 20 0 1 0 53616609 268390400 45341 18446744073709551615 4235264 15874749 140736005931088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30846976 140736005937564 140736005937641 140736005937641 140736005943243 0
/proc/60837/statm: 65525 45341 4320 2842 0 47219 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 262100 KiB
Current children cumulated memory: 181364 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.08 4.09 6/265 61289
/proc/meminfo: memFree=126015032/131249992 swapFree=33010684/33010684
[pid=60837] ppid=60829 vsize=310396 memory=229096 CPUtime=161.63 cores=4,6
/proc/60837/stat : 60837 (mixed-bag) R 60829 60837 60438 0 -1 4194304 80151 0 0 0 16138 25 0 0 20 0 1 0 53616609 317845504 57274 18446744073709551615 4235264 15874749 140736005931088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30846976 140736005937564 140736005937641 140736005937641 140736005943243 0
/proc/60837/statm: 77599 57274 4320 2842 0 59293 0
Current children cumulated CPU time: 161.63 s
Current children cumulated vsize: 310396 KiB
Current children cumulated memory: 229096 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.08 4.09 6/265 61291
/proc/meminfo: memFree=125920612/131249992 swapFree=33010684/33010684
[pid=60837] ppid=60829 vsize=338284 memory=262416 CPUtime=221.41 cores=4,6
/proc/60837/stat : 60837 (mixed-bag) R 60829 60837 60438 0 -1 4194304 88189 0 0 0 22115 26 0 0 20 0 1 0 53616609 346402816 65604 18446744073709551615 4235264 15874749 140736005931088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30846976 140736005937564 140736005937641 140736005937641 140736005943243 0
/proc/60837/statm: 84571 65604 4320 2842 0 66265 0
Current children cumulated CPU time: 221.41 s
Current children cumulated vsize: 338284 KiB
Current children cumulated memory: 262416 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.08 4.09 6/264 61293
/proc/meminfo: memFree=125830092/131249992 swapFree=33010684/33010684
[pid=60837] ppid=60829 vsize=363260 memory=288364 CPUtime=281.2 cores=4,6
/proc/60837/stat : 60837 (mixed-bag) R 60829 60837 60438 0 -1 4194304 98838 0 0 0 28091 29 0 0 20 0 1 0 53616609 371978240 72091 18446744073709551615 4235264 15874749 140736005931088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30846976 140736005937564 140736005937641 140736005937641 140736005943243 0
/proc/60837/statm: 90815 72091 4320 2842 0 72509 0
Current children cumulated CPU time: 281.2 s
Current children cumulated vsize: 363260 KiB
Current children cumulated memory: 288364 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/263 61295
/proc/meminfo: memFree=125813056/131249992 swapFree=33010684/33010684
[pid=60837] ppid=60829 vsize=353432 memory=286524 CPUtime=341.04 cores=4,6
/proc/60837/stat : 60837 (mixed-bag) R 60829 60837 60438 0 -1 4194304 99891 0 0 0 34021 83 0 0 20 0 1 0 53616609 361914368 71631 18446744073709551615 4235264 15874749 140736005931088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30846976 140736005937564 140736005937641 140736005937641 140736005943243 0
/proc/60837/statm: 88358 71631 4480 2842 0 70052 0
Current children cumulated CPU time: 341.04 s
Current children cumulated vsize: 353432 KiB
Current children cumulated memory: 286524 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.08 4.09 6/263 61298
/proc/meminfo: memFree=125763812/131249992 swapFree=33010684/33010684
[pid=60837] ppid=60829 vsize=367752 memory=295916 CPUtime=400.87 cores=4,6
/proc/60837/stat : 60837 (mixed-bag) R 60829 60837 60438 0 -1 4194304 100720 0 0 0 39958 129 0 0 20 0 1 0 53616609 376578048 73979 18446744073709551615 4235264 15874749 140736005931088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30846976 140736005937564 140736005937641 140736005937641 140736005943243 0
/proc/60837/statm: 91938 73979 4480 2842 0 73632 0
Current children cumulated CPU time: 400.87 s
Current children cumulated vsize: 367752 KiB
Current children cumulated memory: 295916 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.07 4.09 6/265 61302
/proc/meminfo: memFree=125776100/131249992 swapFree=33010684/33010684
[pid=60837] ppid=60829 vsize=367752 memory=296300 CPUtime=460.7 cores=4,6
/proc/60837/stat : 60837 (mixed-bag) R 60829 60837 60438 0 -1 4194304 100818 0 0 0 45901 169 0 0 20 0 1 0 53616609 376578048 74075 18446744073709551615 4235264 15874749 140736005931088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30846976 140736005937564 140736005937641 140736005937641 140736005943243 0
/proc/60837/statm: 91938 74075 4480 2842 0 73632 0
Current children cumulated CPU time: 460.7 s
################
# More data... #
################
Current children cumulated memory: 313312 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/263 61430
/proc/meminfo: memFree=125735776/131249992 swapFree=33010684/33010684
[pid=60837] ppid=60829 vsize=379428 memory=313312 CPUtime=2853.06 cores=4,6
/proc/60837/stat : 60837 (mixed-bag) R 60829 60837 60438 0 -1 4194304 101835 0 0 0 284487 819 0 0 20 0 1 0 53616609 388534272 78328 18446744073709551615 4235264 15874749 140736005931088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30846976 140736005937564 140736005937641 140736005937641 140736005943243 0
/proc/60837/statm: 94857 78328 4480 2842 0 76551 0
Current children cumulated CPU time: 2853.06 s
Current children cumulated vsize: 379428 KiB
Current children cumulated memory: 313312 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/264 61433
/proc/meminfo: memFree=125732544/131249992 swapFree=33010684/33010684
[pid=60837] ppid=60829 vsize=379428 memory=313312 CPUtime=2912.87 cores=4,6
/proc/60837/stat : 60837 (mixed-bag) R 60829 60837 60438 0 -1 4194304 101835 0 0 0 290456 831 0 0 20 0 1 0 53616609 388534272 78328 18446744073709551615 4235264 15874749 140736005931088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30846976 140736005937564 140736005937641 140736005937641 140736005943243 0
/proc/60837/statm: 94857 78328 4480 2842 0 76551 0
Current children cumulated CPU time: 2912.87 s
Current children cumulated vsize: 379428 KiB
Current children cumulated memory: 313312 KiB
[startup+2982.3 s]
/proc/loadavg: 4.05 4.09 4.09 6/265 61442
/proc/meminfo: memFree=125728760/131249992 swapFree=33010684/33010684
[pid=60837] ppid=60829 vsize=379428 memory=313312 CPUtime=2972.68 cores=4,6
/proc/60837/stat : 60837 (mixed-bag) R 60829 60837 60438 0 -1 4194304 101905 0 0 0 296426 842 0 0 20 0 1 0 53616609 388534272 78328 18446744073709551615 4235264 15874749 140736005931088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30846976 140736005937564 140736005937641 140736005937641 140736005943243 0
/proc/60837/statm: 94857 78328 4480 2842 0 76551 0
Current children cumulated CPU time: 2972.68 s
Current children cumulated vsize: 379428 KiB
Current children cumulated memory: 313312 KiB
[startup+3042.3 s]
/proc/loadavg: 4.06 4.09 4.09 6/265 61444
/proc/meminfo: memFree=125728776/131249992 swapFree=33010684/33010684
[pid=60837] ppid=60829 vsize=379428 memory=313312 CPUtime=3032.48 cores=4,6
/proc/60837/stat : 60837 (mixed-bag) R 60829 60837 60438 0 -1 4194304 101908 0 0 0 302396 852 0 0 20 0 1 0 53616609 388534272 78328 18446744073709551615 4235264 15874749 140736005931088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30846976 140736005937564 140736005937641 140736005937641 140736005943243 0
/proc/60837/statm: 94857 78328 4480 2842 0 76551 0
Current children cumulated CPU time: 3032.48 s
Current children cumulated vsize: 379428 KiB
Current children cumulated memory: 313312 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/264 61445
/proc/meminfo: memFree=125728624/131249992 swapFree=33010684/33010684
[pid=60837] ppid=60829 vsize=379428 memory=313312 CPUtime=3092.27 cores=4,6
/proc/60837/stat : 60837 (mixed-bag) R 60829 60837 60438 0 -1 4194304 101909 0 0 0 308366 861 0 0 20 0 1 0 53616609 388534272 78328 18446744073709551615 4235264 15874749 140736005931088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30846976 140736005937564 140736005937641 140736005937641 140736005943243 0
/proc/60837/statm: 94857 78328 4480 2842 0 76551 0
Current children cumulated CPU time: 3092.27 s
Current children cumulated vsize: 379428 KiB
Current children cumulated memory: 313312 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/264 61447
/proc/meminfo: memFree=125728468/131249992 swapFree=33010684/33010684
[pid=60837] ppid=60829 vsize=379428 memory=314592 CPUtime=3152.06 cores=4,6
/proc/60837/stat : 60837 (mixed-bag) R 60829 60837 60438 0 -1 4194304 102238 0 0 0 314334 872 0 0 20 0 1 0 53616609 388534272 78648 18446744073709551615 4235264 15874749 140736005931088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30846976 140736005937564 140736005937641 140736005937641 140736005943243 0
/proc/60837/statm: 94857 78648 4480 2842 0 76551 0
Current children cumulated CPU time: 3152.06 s
Current children cumulated vsize: 379428 KiB
Current children cumulated memory: 314592 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.09 4.09 6/265 61450
/proc/meminfo: memFree=125728556/131249992 swapFree=33010684/33010684
[pid=60837] ppid=60829 vsize=379428 memory=314592 CPUtime=3211.86 cores=4,6
/proc/60837/stat : 60837 (mixed-bag) R 60829 60837 60438 0 -1 4194304 102238 0 0 0 320303 883 0 0 20 0 1 0 53616609 388534272 78648 18446744073709551615 4235264 15874749 140736005931088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30846976 140736005937564 140736005937641 140736005937641 140736005943243 0
/proc/60837/statm: 94857 78648 4480 2842 0 76551 0
Current children cumulated CPU time: 3211.86 s
Current children cumulated vsize: 379428 KiB
Current children cumulated memory: 314592 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/264 61453
/proc/meminfo: memFree=125728412/131249992 swapFree=33010684/33010684
[pid=60837] ppid=60829 vsize=379428 memory=314592 CPUtime=3271.67 cores=4,6
/proc/60837/stat : 60837 (mixed-bag) R 60829 60837 60438 0 -1 4194304 102238 0 0 0 326273 894 0 0 20 0 1 0 53616609 388534272 78648 18446744073709551615 4235264 15874749 140736005931088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30846976 140736005937564 140736005937641 140736005937641 140736005943243 0
/proc/60837/statm: 94857 78648 4480 2842 0 76551 0
Current children cumulated CPU time: 3271.67 s
Current children cumulated vsize: 379428 KiB
Current children cumulated memory: 314592 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.08 4.09 6/263 61455
/proc/meminfo: memFree=125728300/131249992 swapFree=33010684/33010684
[pid=60837] ppid=60829 vsize=379428 memory=314592 CPUtime=3331.46 cores=4,6
/proc/60837/stat : 60837 (mixed-bag) R 60829 60837 60438 0 -1 4194304 102238 0 0 0 332242 904 0 0 20 0 1 0 53616609 388534272 78648 18446744073709551615 4235264 15874749 140736005931088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30846976 140736005937564 140736005937641 140736005937641 140736005943243 0
/proc/60837/statm: 94857 78648 4480 2842 0 76551 0
Current children cumulated CPU time: 3331.46 s
Current children cumulated vsize: 379428 KiB
Current children cumulated memory: 314592 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.09 6/263 61457
/proc/meminfo: memFree=125728344/131249992 swapFree=33010684/33010684
[pid=60837] ppid=60829 vsize=379428 memory=314592 CPUtime=3391.26 cores=4,6
/proc/60837/stat : 60837 (mixed-bag) R 60829 60837 60438 0 -1 4194304 102238 0 0 0 338210 916 0 0 20 0 1 0 53616609 388534272 78648 18446744073709551615 4235264 15874749 140736005931088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30846976 140736005937564 140736005937641 140736005937641 140736005943243 0
/proc/60837/statm: 94857 78648 4480 2842 0 76551 0
Current children cumulated CPU time: 3391.26 s
Current children cumulated vsize: 379428 KiB
Current children cumulated memory: 314592 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/263 61459
/proc/meminfo: memFree=125722992/131249992 swapFree=33010684/33010684
[pid=60837] ppid=60829 vsize=379428 memory=314592 CPUtime=3451.06 cores=4,6
/proc/60837/stat : 60837 (mixed-bag) R 60829 60837 60438 0 -1 4194304 102238 0 0 0 344173 933 0 0 20 0 1 0 53616609 388534272 78648 18446744073709551615 4235264 15874749 140736005931088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30846976 140736005937564 140736005937641 140736005937641 140736005943243 0
/proc/60837/statm: 94857 78648 4480 2842 0 76551 0
Current children cumulated CPU time: 3451.06 s
Current children cumulated vsize: 379428 KiB
Current children cumulated memory: 314592 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.10 4.09 6/264 61462
/proc/meminfo: memFree=125723856/131249992 swapFree=33010684/33010684
[pid=60837] ppid=60829 vsize=379428 memory=314592 CPUtime=3510.87 cores=4,6
/proc/60837/stat : 60837 (mixed-bag) R 60829 60837 60438 0 -1 4194304 102238 0 0 0 350141 946 0 0 20 0 1 0 53616609 388534272 78648 18446744073709551615 4235264 15874749 140736005931088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30846976 140736005937564 140736005937641 140736005937641 140736005943243 0
/proc/60837/statm: 94857 78648 4480 2842 0 76551 0
Current children cumulated CPU time: 3510.87 s
Current children cumulated vsize: 379428 KiB
Current children cumulated memory: 314592 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.09 4.09 6/264 61471
/proc/meminfo: memFree=125723680/131249992 swapFree=33010684/33010684
[pid=60837] ppid=60829 vsize=379428 memory=314592 CPUtime=3570.67 cores=4,6
/proc/60837/stat : 60837 (mixed-bag) R 60829 60837 60438 0 -1 4194304 102238 0 0 0 356109 958 0 0 20 0 1 0 53616609 388534272 78648 18446744073709551615 4235264 15874749 140736005931088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30846976 140736005937564 140736005937641 140736005937641 140736005943243 0
/proc/60837/statm: 94857 78648 4480 2842 0 76551 0
Current children cumulated CPU time: 3570.67 s
Current children cumulated vsize: 379428 KiB
Current children cumulated memory: 314592 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.8 s]
/proc/loadavg: 4.07 4.08 4.09 6/265 61473
/proc/meminfo: memFree=125723800/131249992 swapFree=33010684/33010684
[pid=60837] ppid=60829 vsize=379428 memory=314592 CPUtime=3600.06 cores=4,6
/proc/60837/stat : 60837 (mixed-bag) R 60829 60837 60438 0 -1 4194304 102238 0 0 0 359042 964 0 0 20 0 1 0 53616609 388534272 78648 18446744073709551615 4235264 15874749 140736005931088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30846976 140736005937564 140736005937641 140736005937641 140736005943243 0
/proc/60837/statm: 94857 78648 4480 2842 0 76551 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 379428 KiB
Current children cumulated memory: 314592 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.8 s]
# the end of solver process 60837 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.43 s, system=9.64714 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3611.8
CPU time (s): 3600.08
CPU user time (s): 3590.43
CPU system time (s): 9.64714
CPU usage (%): 99.6754
Max. virtual memory (cumulated for all children) (KiB): 379428
Max. memory (cumulated for all children) (KiB): 314592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.43
system time used= 9.64714
maximum resident set size= 315616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102281
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= 194
involuntary context switches= 19928
# summary of solver processes directly reported to runsolver:
# pid: 60837
# total CPU time (s): 3600.08
# total CPU user time (s): 3590.43
# total CPU system time (s): 9.64714
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.55311 second user time and 15.9663 second system time
The end
Begin job on nodeC025 at 2025-07-01 16:16:18
IDJOB=4490831
IDBENCH=147623
IDSOLVER=3340
FILE ID=nodeC025/4490831-1751379378
RUNJOBID= nodeC025-1751375766-60449
SLURM_JOB_ID= 9598215
Free space on /tmp= 433024 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_11.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490831-1751379378/watcher-4490831-1751379378 -o /tmp/evaluation-result-4490831-1751379378/solver-4490831-1751379378 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751375766-60449 --watchdog 3760 mixed-bag HOME/instance-4490831-1751379378.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 615ef0f28fa6784c486981c328c6a987
RANDOM SEED=2022374849
nodeC025 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 : 3600.966
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.67
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 : 3597.960
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.67
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 : 3600.124
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.67
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 : 3602.663
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.67
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 : 3600.215
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.67
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.805
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.875
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.67
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 : 3606.503
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 126209940 kB
MemAvailable: 129010336 kB
Buffers: 3280 kB
Cached: 3598552 kB
SwapCached: 0 kB
Active: 1161236 kB
Inactive: 3258860 kB
Active(anon): 836348 kB
Inactive(anon): 0 kB
Active(file): 324888 kB
Inactive(file): 3258860 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 32740 kB
Writeback: 8 kB
AnonPages: 818068 kB
Mapped: 117320 kB
Shmem: 18084 kB
KReclaimable: 111776 kB
Slab: 200552 kB
SReclaimable: 111776 kB
SUnreclaim: 88776 kB
KernelStack: 4176 kB
PageTables: 4636 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1136364 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 757760 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: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433000 MiB
End job on nodeC025 at 2025-07-01 17:16:30