0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.03 c [STEP] solving
0.00/0.03 c #variables 1287 #constraints 2430
0.00/0.03 c SMALL=int, LARGE=long long
0.00/0.03 c bounds - >= 0 @ 0.025185
0.00/0.03 c stratification level: 0
25.92/26.10 c bounds - >= 1 @ 0.026504
25.92/26.10 c bounds - >= 4 @ 0.026641
25.92/26.10 c bounds - >= 5 @ 0.026842
25.92/26.10 c bounds - >= 8 @ 0.026972
25.92/26.10 c bounds - >= 16 @ 0.03009
25.92/26.10 c #Conflicts: 1000 | #Constraints: 3434
25.92/26.10 c #Conflicts: 2000 | #Constraints: 4434
25.92/26.10 c INPROCESSING
25.92/26.10 c GARBAGE COLLECT
25.92/26.10 c #Conflicts: 3000 | #Constraints: 4447
25.92/26.10 c #Conflicts: 4000 | #Constraints: 5447
25.92/26.10 c INPROCESSING
25.92/26.10 c GARBAGE COLLECT
25.92/26.10 c #Conflicts: 5000 | #Constraints: 4859
25.92/26.10 c #Conflicts: 6000 | #Constraints: 5859
25.92/26.10 c bounds - >= 32 @ 1.69287
25.92/26.10 c INPROCESSING
25.92/26.10 c GARBAGE COLLECT
25.92/26.10 c #Conflicts: 7000 | #Constraints: 4861
25.92/26.10 c #Conflicts: 8000 | #Constraints: 5861
25.92/26.10 c #Conflicts: 9000 | #Constraints: 6861
25.92/26.10 c INPROCESSING
25.92/26.10 c GARBAGE COLLECT
25.92/26.10 c #Conflicts: 10000 | #Constraints: 5563
25.92/26.10 c #Conflicts: 11000 | #Constraints: 6563
25.92/26.10 c #Conflicts: 12000 | #Constraints: 7563
25.92/26.10 c INPROCESSING
25.92/26.10 c GARBAGE COLLECT
25.92/26.10 c #Conflicts: 13000 | #Constraints: 6016
25.92/26.10 c #Conflicts: 14000 | #Constraints: 7016
25.92/26.10 c #Conflicts: 15000 | #Constraints: 8016
25.92/26.10 c INPROCESSING
25.92/26.10 c GARBAGE COLLECT
25.92/26.10 c #Conflicts: 16000 | #Constraints: 6242
25.92/26.10 c #Conflicts: 17000 | #Constraints: 7242
25.92/26.10 c #Conflicts: 18000 | #Constraints: 8242
25.92/26.10 c INPROCESSING
25.92/26.10 c GARBAGE COLLECT
25.92/26.10 c #Conflicts: 19000 | #Constraints: 6261
25.92/26.10 c #Conflicts: 20000 | #Constraints: 7261
25.92/26.10 c #Conflicts: 21000 | #Constraints: 8261
25.92/26.10 c INPROCESSING
25.92/26.10 c GARBAGE COLLECT
25.92/26.10 c #Conflicts: 22000 | #Constraints: 6075
25.92/26.10 c #Conflicts: 23000 | #Constraints: 7075
25.92/26.10 c #Conflicts: 24000 | #Constraints: 8075
25.92/26.10 c #Conflicts: 25000 | #Constraints: 9075
25.92/26.10 c INPROCESSING
25.92/26.10 c GARBAGE COLLECT
25.92/26.10 c #Conflicts: 26000 | #Constraints: 6680
25.92/26.10 c #Conflicts: 27000 | #Constraints: 7680
25.92/26.10 c #Conflicts: 28000 | #Constraints: 8680
25.92/26.10 c #Conflicts: 29000 | #Constraints: 9680
25.92/26.10 c INPROCESSING
25.92/26.10 c GARBAGE COLLECT
25.92/26.10 c #Conflicts: 30000 | #Constraints: 7094
25.92/26.10 c #Conflicts: 31000 | #Constraints: 8094
25.92/26.10 c #Conflicts: 32000 | #Constraints: 9094
25.92/26.10 c #Conflicts: 33000 | #Constraints: 10094
25.92/26.10 c INPROCESSING
25.92/26.10 c GARBAGE COLLECT
25.92/26.10 c #Conflicts: 34000 | #Constraints: 7289
25.92/26.10 c #Conflicts: 35000 | #Constraints: 8289
25.92/26.10 c #Conflicts: 36000 | #Constraints: 9289
25.92/26.10 c #Conflicts: 37000 | #Constraints: 10289
25.92/26.10 c INPROCESSING
25.92/26.10 c GARBAGE COLLECT
25.92/26.10 c #Conflicts: 38000 | #Constraints: 7287
25.92/26.10 c #Conflicts: 39000 | #Constraints: 8287
25.92/26.10 c #Conflicts: 40000 | #Constraints: 9287
25.92/26.10 c #Conflicts: 41000 | #Constraints: 10287
25.92/26.10 c INPROCESSING
25.92/26.10 c GARBAGE COLLECT
25.92/26.10 c #Conflicts: 42000 | #Constraints: 7082
25.92/26.10 c #Conflicts: 43000 | #Constraints: 8082
25.92/26.10 c #Conflicts: 44000 | #Constraints: 9082
25.92/26.10 c #Conflicts: 45000 | #Constraints: 10082
25.92/26.10 c #Conflicts: 46000 | #Constraints: 11082
25.92/26.10 c INPROCESSING
25.92/26.10 c GARBAGE COLLECT
25.92/26.10 c #Conflicts: 47000 | #Constraints: 7686
25.92/26.10 c #Conflicts: 48000 | #Constraints: 8686
25.92/26.10 c #Conflicts: 49000 | #Constraints: 9686
25.92/26.10 c #Conflicts: 50000 | #Constraints: 10686
25.92/26.10 c #Conflicts: 51000 | #Constraints: 11686
25.92/26.10 c INPROCESSING
25.92/26.10 c GARBAGE COLLECT
25.92/26.10 c #Conflicts: 52000 | #Constraints: 8089
25.92/26.10 c #Conflicts: 53000 | #Constraints: 9089
25.92/26.10 c #Conflicts: 54000 | #Constraints: 10089
25.92/26.10 c #Conflicts: 55000 | #Constraints: 11089
25.92/26.10 c #Conflicts: 56000 | #Constraints: 12089
25.92/26.10 c INPROCESSING
25.92/26.10 c GARBAGE COLLECT
25.92/26.10 c #Conflicts: 57000 | #Constraints: 8294
25.92/26.10 c #Conflicts: 58000 | #Constraints: 9294
25.92/26.10 c #Conflicts: 59000 | #Constraints: 10294
25.92/26.10 c #Conflicts: 60000 | #Constraints: 11294
25.92/26.10 c #Conflicts: 61000 | #Constraints: 12294
25.92/26.10 c INPROCESSING
25.92/26.10 c GARBAGE COLLECT
25.92/26.10 c #Conflicts: 62000 | #Constraints: 8285
25.92/26.10 c #Conflicts: 63000 | #Constraints: 9285
25.92/26.10 c #Conflicts: 64000 | #Constraints: 10285
25.92/26.10 c #Conflicts: 65000 | #Constraints: 11285
70.00/70.22 c #Conflicts: 66000 | #Constraints: 12285
70.00/70.22 c INPROCESSING
70.00/70.22 c GARBAGE COLLECT
70.00/70.22 c #Conflicts: 67000 | #Constraints: 8078
70.00/70.22 c #Conflicts: 68000 | #Constraints: 9078
70.00/70.22 c #Conflicts: 69000 | #Constraints: 10078
70.00/70.22 c #Conflicts: 70000 | #Constraints: 11078
70.00/70.22 c #Conflicts: 71000 | #Constraints: 12078
70.00/70.22 c #Conflicts: 72000 | #Constraints: 13078
70.00/70.22 c INPROCESSING
70.00/70.22 c GARBAGE COLLECT
70.00/70.22 c #Conflicts: 73000 | #Constraints: 8695
70.00/70.22 c #Conflicts: 74000 | #Constraints: 9695
70.00/70.22 c #Conflicts: 75000 | #Constraints: 10695
70.00/70.22 c #Conflicts: 76000 | #Constraints: 11695
70.00/70.22 c #Conflicts: 77000 | #Constraints: 12695
70.00/70.22 c #Conflicts: 78000 | #Constraints: 13695
70.00/70.22 c INPROCESSING
70.00/70.22 c GARBAGE COLLECT
70.00/70.22 c #Conflicts: 79000 | #Constraints: 9089
70.00/70.22 c #Conflicts: 80000 | #Constraints: 10089
70.00/70.22 c #Conflicts: 81000 | #Constraints: 11089
70.00/70.22 c #Conflicts: 82000 | #Constraints: 12089
70.00/70.22 c #Conflicts: 83000 | #Constraints: 13089
70.00/70.22 c #Conflicts: 84000 | #Constraints: 14089
70.00/70.22 c INPROCESSING
70.00/70.22 c GARBAGE COLLECT
70.00/70.22 c #Conflicts: 85000 | #Constraints: 9291
70.00/70.22 c #Conflicts: 86000 | #Constraints: 10291
70.00/70.22 c #Conflicts: 87000 | #Constraints: 11291
70.00/70.22 c #Conflicts: 88000 | #Constraints: 12291
70.00/70.22 c #Conflicts: 89000 | #Constraints: 13291
70.00/70.22 c #Conflicts: 90000 | #Constraints: 14291
70.00/70.22 c INPROCESSING
70.00/70.22 c GARBAGE COLLECT
70.00/70.22 c #Conflicts: 91000 | #Constraints: 9285
70.00/70.22 c #Conflicts: 92000 | #Constraints: 10285
70.00/70.22 c #Conflicts: 93000 | #Constraints: 11285
70.00/70.22 c #Conflicts: 94000 | #Constraints: 12285
70.00/70.22 c #Conflicts: 95000 | #Constraints: 13285
70.00/70.22 c #Conflicts: 96000 | #Constraints: 14285
70.00/70.22 c INPROCESSING
70.00/70.22 c GARBAGE COLLECT
70.00/70.22 c #Conflicts: 97000 | #Constraints: 9094
70.00/70.22 c #Conflicts: 98000 | #Constraints: 10094
70.00/70.22 c #Conflicts: 99000 | #Constraints: 11094
70.00/70.22 c #Conflicts: 100000 | #Constraints: 12094
70.00/70.22 c #Conflicts: 101000 | #Constraints: 13094
70.00/70.22 c #Conflicts: 102000 | #Constraints: 14094
70.00/70.22 c #Conflicts: 103000 | #Constraints: 15094
70.00/70.22 c INPROCESSING
70.00/70.22 c GARBAGE COLLECT
70.00/70.22 c #Conflicts: 104000 | #Constraints: 9686
70.00/70.22 c #Conflicts: 105000 | #Constraints: 10686
70.00/70.22 c #Conflicts: 106000 | #Constraints: 11686
70.00/70.22 c #Conflicts: 107000 | #Constraints: 12686
70.00/70.22 c #Conflicts: 108000 | #Constraints: 13686
70.00/70.22 c #Conflicts: 109000 | #Constraints: 14686
70.00/70.22 c #Conflicts: 110000 | #Constraints: 15686
70.00/70.22 c INPROCESSING
70.00/70.22 c GARBAGE COLLECT
70.00/70.22 c #Conflicts: 111000 | #Constraints: 10079
70.00/70.22 c #Conflicts: 112000 | #Constraints: 11079
70.00/70.22 c #Conflicts: 113000 | #Constraints: 12079
70.00/70.22 c #Conflicts: 114000 | #Constraints: 13079
70.00/70.22 c #Conflicts: 115000 | #Constraints: 14079
70.00/70.22 c #Conflicts: 116000 | #Constraints: 15079
70.00/70.22 c #Conflicts: 117000 | #Constraints: 16079
70.00/70.22 c INPROCESSING
70.00/70.22 c GARBAGE COLLECT
70.00/70.22 c #Conflicts: 118000 | #Constraints: 10289
70.00/70.22 c #Conflicts: 119000 | #Constraints: 11289
70.00/70.22 c #Conflicts: 120000 | #Constraints: 12289
70.00/70.22 c #Conflicts: 121000 | #Constraints: 13289
70.00/70.22 c #Conflicts: 122000 | #Constraints: 14289
70.00/70.22 c #Conflicts: 123000 | #Constraints: 15289
70.00/70.22 c #Conflicts: 124000 | #Constraints: 16289
70.00/70.22 c INPROCESSING
70.00/70.22 c GARBAGE COLLECT
70.00/70.22 c #Conflicts: 125000 | #Constraints: 10293
70.00/70.22 c #Conflicts: 126000 | #Constraints: 11293
70.00/70.22 c #Conflicts: 127000 | #Constraints: 12293
70.00/70.22 c #Conflicts: 128000 | #Constraints: 13293
70.00/70.22 c #Conflicts: 129000 | #Constraints: 14293
70.00/70.22 c #Conflicts: 130000 | #Constraints: 15293
70.00/70.22 c #Conflicts: 131000 | #Constraints: 16293
70.00/70.22 c INPROCESSING
70.00/70.22 c GARBAGE COLLECT
70.00/70.22 c #Conflicts: 132000 | #Constraints: 10093
70.00/70.22 c #Conflicts: 133000 | #Constraints: 11093
70.00/70.22 c #Conflicts: 134000 | #Constraints: 12093
70.00/70.22 c #Conflicts: 135000 | #Constraints: 13093
70.00/70.22 c #Conflicts: 136000 | #Constraints: 14093
70.00/70.22 c #Conflicts: 137000 | #Constraints: 15093
157.46/157.97 c #Conflicts: 138000 | #Constraints: 16093
157.46/157.97 c #Conflicts: 139000 | #Constraints: 17093
157.46/157.97 c #Conflicts: 140000 | #Constraints: 18093
157.46/157.97 c #Conflicts: 141000 | #Constraints: 19093
157.46/157.97 c #Conflicts: 142000 | #Constraints: 20093
157.46/157.97 c #Conflicts: 143000 | #Constraints: 21093
157.46/157.97 c #Conflicts: 144000 | #Constraints: 22093
157.46/157.97 c #Conflicts: 145000 | #Constraints: 23093
157.46/157.97 c #Conflicts: 146000 | #Constraints: 24093
157.46/157.97 c #Conflicts: 147000 | #Constraints: 25093
157.46/157.97 c #Conflicts: 148000 | #Constraints: 26093
157.46/157.97 c #Conflicts: 149000 | #Constraints: 27093
157.46/157.97 c #Conflicts: 150000 | #Constraints: 28093
157.46/157.97 c #Conflicts: 151000 | #Constraints: 29093
157.46/157.97 c #Conflicts: 152000 | #Constraints: 30093
157.46/157.97 c #Conflicts: 153000 | #Constraints: 31093
157.46/157.97 c #Conflicts: 154000 | #Constraints: 32093
157.46/157.97 c #Conflicts: 155000 | #Constraints: 33093
157.46/157.97 c #Conflicts: 156000 | #Constraints: 34093
157.46/157.97 c #Conflicts: 157000 | #Constraints: 35093
157.46/157.97 c #Conflicts: 158000 | #Constraints: 36093
157.46/157.97 c #Conflicts: 159000 | #Constraints: 37093
157.46/157.97 c #Conflicts: 160000 | #Constraints: 38093
157.46/157.97 c #Conflicts: 161000 | #Constraints: 39093
157.46/157.97 c #Conflicts: 162000 | #Constraints: 40093
157.46/157.97 c #Conflicts: 163000 | #Constraints: 41093
157.46/157.97 c #Conflicts: 164000 | #Constraints: 42093
157.46/157.97 c #Conflicts: 165000 | #Constraints: 43093
157.46/157.97 c INPROCESSING
157.46/157.97 c GARBAGE COLLECT
157.46/157.97 c #Conflicts: 166000 | #Constraints: 23654
157.46/157.97 c #Conflicts: 167000 | #Constraints: 24654
157.46/157.97 c #Conflicts: 168000 | #Constraints: 25654
157.46/157.97 c #Conflicts: 169000 | #Constraints: 26654
157.46/157.97 c #Conflicts: 170000 | #Constraints: 27654
157.46/157.97 c #Conflicts: 171000 | #Constraints: 28654
157.46/157.97 c #Conflicts: 172000 | #Constraints: 29654
157.46/157.97 c #Conflicts: 173000 | #Constraints: 30654
157.46/157.97 c #Conflicts: 174000 | #Constraints: 31654
157.46/157.97 c INPROCESSING
157.46/157.97 c GARBAGE COLLECT
157.46/157.97 c #Conflicts: 175000 | #Constraints: 18089
157.46/157.97 c #Conflicts: 176000 | #Constraints: 19089
157.46/157.97 c #Conflicts: 177000 | #Constraints: 20089
157.46/157.97 c #Conflicts: 178000 | #Constraints: 21089
157.46/157.97 c #Conflicts: 179000 | #Constraints: 22089
157.46/157.97 c #Conflicts: 180000 | #Constraints: 23089
157.46/157.97 c #Conflicts: 181000 | #Constraints: 24089
157.46/157.97 c #Conflicts: 182000 | #Constraints: 25089
157.46/157.97 c INPROCESSING
157.46/157.97 c GARBAGE COLLECT
157.46/157.97 c #Conflicts: 183000 | #Constraints: 14350
157.46/157.97 c #Conflicts: 184000 | #Constraints: 15350
157.46/157.97 c #Conflicts: 185000 | #Constraints: 16350
157.46/157.97 c #Conflicts: 186000 | #Constraints: 17350
157.46/157.97 c #Conflicts: 187000 | #Constraints: 18350
157.46/157.97 c #Conflicts: 188000 | #Constraints: 19350
157.46/157.97 c #Conflicts: 189000 | #Constraints: 20350
157.46/157.97 c #Conflicts: 190000 | #Constraints: 21350
157.46/157.97 c #Conflicts: 191000 | #Constraints: 22350
157.46/157.97 c #Conflicts: 192000 | #Constraints: 23350
157.46/157.97 c INPROCESSING
157.46/157.97 c GARBAGE COLLECT
157.46/157.97 c #Conflicts: 193000 | #Constraints: 13922
157.46/157.97 c #Conflicts: 194000 | #Constraints: 14922
157.46/157.97 c #Conflicts: 195000 | #Constraints: 15922
157.46/157.97 c #Conflicts: 196000 | #Constraints: 16922
157.46/157.97 c #Conflicts: 197000 | #Constraints: 17922
157.46/157.97 c #Conflicts: 198000 | #Constraints: 18922
157.46/157.97 c #Conflicts: 199000 | #Constraints: 19922
157.46/157.97 c #Conflicts: 200000 | #Constraints: 20922
157.46/157.97 c #Conflicts: 201000 | #Constraints: 21922
157.46/157.97 c INPROCESSING
157.46/157.97 c GARBAGE COLLECT
157.46/157.97 c #Conflicts: 202000 | #Constraints: 13058
157.46/157.97 c #Conflicts: 203000 | #Constraints: 14058
157.46/157.97 c #Conflicts: 204000 | #Constraints: 15058
157.46/157.97 c #Conflicts: 205000 | #Constraints: 16058
157.46/157.97 c #Conflicts: 206000 | #Constraints: 17058
157.46/157.97 c #Conflicts: 207000 | #Constraints: 18058
157.46/157.97 c #Conflicts: 208000 | #Constraints: 19058
157.46/157.97 c #Conflicts: 209000 | #Constraints: 20058
157.46/157.97 c #Conflicts: 210000 | #Constraints: 21058
157.46/157.97 c #Conflicts: 211000 | #Constraints: 22058
157.46/157.97 c #Conflicts: 212000 | #Constraints: 23058
157.46/157.97 c #Conflicts: 213000 | #Constraints: 24058
270.84/271.69 c #Conflicts: 214000 | #Constraints: 25058
270.84/271.69 c #Conflicts: 215000 | #Constraints: 26058
270.84/271.69 c #Conflicts: 216000 | #Constraints: 27058
270.84/271.69 c #Conflicts: 217000 | #Constraints: 28058
270.84/271.69 c #Conflicts: 218000 | #Constraints: 29058
270.84/271.69 c #Conflicts: 219000 | #Constraints: 30058
270.84/271.69 c #Conflicts: 220000 | #Constraints: 31058
270.84/271.69 c #Conflicts: 221000 | #Constraints: 32058
270.84/271.69 c #Conflicts: 222000 | #Constraints: 33058
270.84/271.69 c #Conflicts: 223000 | #Constraints: 34058
270.84/271.69 c #Conflicts: 224000 | #Constraints: 35058
270.84/271.69 c #Conflicts: 225000 | #Constraints: 36058
270.84/271.69 c #Conflicts: 226000 | #Constraints: 37058
270.84/271.69 c #Conflicts: 227000 | #Constraints: 38058
270.84/271.69 c #Conflicts: 228000 | #Constraints: 39058
270.84/271.69 c #Conflicts: 229000 | #Constraints: 40058
270.84/271.69 c #Conflicts: 230000 | #Constraints: 41058
270.84/271.69 c #Conflicts: 231000 | #Constraints: 42058
270.84/271.69 c #Conflicts: 232000 | #Constraints: 43058
270.84/271.69 c #Conflicts: 233000 | #Constraints: 44058
270.84/271.69 c #Conflicts: 234000 | #Constraints: 45058
270.84/271.69 c #Conflicts: 235000 | #Constraints: 46058
270.84/271.69 c #Conflicts: 236000 | #Constraints: 47058
270.84/271.69 c #Conflicts: 237000 | #Constraints: 48058
270.84/271.69 c #Conflicts: 238000 | #Constraints: 49058
270.84/271.69 c #Conflicts: 239000 | #Constraints: 50058
270.84/271.69 c #Conflicts: 240000 | #Constraints: 51058
270.84/271.69 c #Conflicts: 241000 | #Constraints: 52058
270.84/271.69 c INPROCESSING
270.84/271.69 c GARBAGE COLLECT
270.84/271.69 c #Conflicts: 242000 | #Constraints: 28086
270.84/271.69 c #Conflicts: 243000 | #Constraints: 29086
270.84/271.69 c #Conflicts: 244000 | #Constraints: 30086
270.84/271.69 c #Conflicts: 245000 | #Constraints: 31086
270.84/271.69 c #Conflicts: 246000 | #Constraints: 32086
270.84/271.69 c #Conflicts: 247000 | #Constraints: 33086
270.84/271.69 c #Conflicts: 248000 | #Constraints: 34086
270.84/271.69 c #Conflicts: 249000 | #Constraints: 35086
270.84/271.69 c #Conflicts: 250000 | #Constraints: 36086
270.84/271.69 c #Conflicts: 251000 | #Constraints: 37086
270.84/271.69 c #Conflicts: 252000 | #Constraints: 38086
270.84/271.69 c INPROCESSING
270.84/271.69 c GARBAGE COLLECT
270.84/271.69 c #Conflicts: 253000 | #Constraints: 21309
270.84/271.69 c #Conflicts: 254000 | #Constraints: 22309
270.84/271.69 c #Conflicts: 255000 | #Constraints: 23309
270.84/271.69 c #Conflicts: 256000 | #Constraints: 24309
270.84/271.69 c #Conflicts: 257000 | #Constraints: 25309
270.84/271.69 c #Conflicts: 258000 | #Constraints: 26309
270.84/271.69 c #Conflicts: 259000 | #Constraints: 27309
270.84/271.69 c #Conflicts: 260000 | #Constraints: 28309
270.84/271.69 c #Conflicts: 261000 | #Constraints: 29309
270.84/271.69 c #Conflicts: 262000 | #Constraints: 30309
270.84/271.69 c INPROCESSING
270.84/271.69 c GARBAGE COLLECT
270.84/271.69 c #Conflicts: 263000 | #Constraints: 17011
270.84/271.69 c #Conflicts: 264000 | #Constraints: 18011
270.84/271.69 c #Conflicts: 265000 | #Constraints: 19011
270.84/271.69 c #Conflicts: 266000 | #Constraints: 20011
270.84/271.69 c #Conflicts: 267000 | #Constraints: 21011
270.84/271.69 c #Conflicts: 268000 | #Constraints: 22011
270.84/271.69 c #Conflicts: 269000 | #Constraints: 23011
270.84/271.69 c #Conflicts: 270000 | #Constraints: 24011
270.84/271.69 c #Conflicts: 271000 | #Constraints: 25011
270.84/271.69 c #Conflicts: 272000 | #Constraints: 26011
270.84/271.69 c #Conflicts: 273000 | #Constraints: 27011
270.84/271.69 c INPROCESSING
270.84/271.69 c GARBAGE COLLECT
270.84/271.69 c #Conflicts: 274000 | #Constraints: 15365
270.84/271.69 c #Conflicts: 275000 | #Constraints: 16365
270.84/271.69 c #Conflicts: 276000 | #Constraints: 17365
270.84/271.69 c #Conflicts: 277000 | #Constraints: 18365
270.84/271.69 c #Conflicts: 278000 | #Constraints: 19365
270.84/271.69 c #Conflicts: 279000 | #Constraints: 20365
270.84/271.69 c #Conflicts: 280000 | #Constraints: 21365
270.84/271.69 c #Conflicts: 281000 | #Constraints: 22365
270.84/271.69 c #Conflicts: 282000 | #Constraints: 23365
270.84/271.69 c #Conflicts: 283000 | #Constraints: 24365
270.84/271.69 c #Conflicts: 284000 | #Constraints: 25365
270.84/271.69 c #Conflicts: 285000 | #Constraints: 26365
270.84/271.69 c INPROCESSING
270.84/271.69 c GARBAGE COLLECT
270.84/271.69 c #Conflicts: 286000 | #Constraints: 15433
270.84/271.69 c #Conflicts: 287000 | #Constraints: 16433
270.84/271.69 c #Conflicts: 288000 | #Constraints: 17433
413.17/414.35 c #Conflicts: 289000 | #Constraints: 18433
413.17/414.35 c #Conflicts: 290000 | #Constraints: 19433
413.17/414.35 c #Conflicts: 291000 | #Constraints: 20433
413.17/414.35 c #Conflicts: 292000 | #Constraints: 21433
413.17/414.35 c #Conflicts: 293000 | #Constraints: 22433
413.17/414.35 c #Conflicts: 294000 | #Constraints: 23433
413.17/414.35 c #Conflicts: 295000 | #Constraints: 24433
413.17/414.35 c #Conflicts: 296000 | #Constraints: 25433
413.17/414.35 c #Conflicts: 297000 | #Constraints: 26433
413.17/414.35 c #Conflicts: 298000 | #Constraints: 27433
413.17/414.35 c #Conflicts: 299000 | #Constraints: 28433
413.17/414.35 c #Conflicts: 300000 | #Constraints: 29433
413.17/414.35 c #Conflicts: 301000 | #Constraints: 30433
413.17/414.35 c #Conflicts: 302000 | #Constraints: 31433
413.17/414.35 c #Conflicts: 303000 | #Constraints: 32433
413.17/414.35 c #Conflicts: 304000 | #Constraints: 33433
413.17/414.35 c #Conflicts: 305000 | #Constraints: 34433
413.17/414.35 c #Conflicts: 306000 | #Constraints: 35433
413.17/414.35 c #Conflicts: 307000 | #Constraints: 36433
413.17/414.35 c #Conflicts: 308000 | #Constraints: 37433
413.17/414.35 c #Conflicts: 309000 | #Constraints: 38433
413.17/414.35 c #Conflicts: 310000 | #Constraints: 39433
413.17/414.35 c #Conflicts: 311000 | #Constraints: 40433
413.17/414.35 c #Conflicts: 312000 | #Constraints: 41433
413.17/414.35 c #Conflicts: 313000 | #Constraints: 42433
413.17/414.35 c #Conflicts: 314000 | #Constraints: 43433
413.17/414.35 c #Conflicts: 315000 | #Constraints: 44433
413.17/414.35 c #Conflicts: 316000 | #Constraints: 45433
413.17/414.35 c #Conflicts: 317000 | #Constraints: 46433
413.17/414.35 c #Conflicts: 318000 | #Constraints: 47433
413.17/414.35 c #Conflicts: 319000 | #Constraints: 48433
413.17/414.35 c #Conflicts: 320000 | #Constraints: 49433
413.17/414.35 c #Conflicts: 321000 | #Constraints: 50433
413.17/414.35 c #Conflicts: 322000 | #Constraints: 51433
413.17/414.35 c #Conflicts: 323000 | #Constraints: 52433
413.17/414.35 c #Conflicts: 324000 | #Constraints: 53433
413.17/414.35 c #Conflicts: 325000 | #Constraints: 54433
413.17/414.35 c #Conflicts: 326000 | #Constraints: 55433
413.17/414.35 c #Conflicts: 327000 | #Constraints: 56433
413.17/414.35 c #Conflicts: 328000 | #Constraints: 57433
413.17/414.35 c #Conflicts: 329000 | #Constraints: 58433
413.17/414.35 c #Conflicts: 330000 | #Constraints: 59433
413.17/414.35 c #Conflicts: 331000 | #Constraints: 60433
413.17/414.35 c INPROCESSING
413.17/414.35 c GARBAGE COLLECT
413.17/414.35 c #Conflicts: 332000 | #Constraints: 32235
413.17/414.35 c #Conflicts: 333000 | #Constraints: 33235
413.17/414.35 c #Conflicts: 334000 | #Constraints: 34235
413.17/414.35 c #Conflicts: 335000 | #Constraints: 35235
413.17/414.35 c #Conflicts: 336000 | #Constraints: 36235
413.17/414.35 c #Conflicts: 337000 | #Constraints: 37235
413.17/414.35 c #Conflicts: 338000 | #Constraints: 38235
413.17/414.35 c #Conflicts: 339000 | #Constraints: 39235
413.17/414.35 c #Conflicts: 340000 | #Constraints: 40235
413.17/414.35 c #Conflicts: 341000 | #Constraints: 41235
413.17/414.35 c #Conflicts: 342000 | #Constraints: 42235
413.17/414.35 c #Conflicts: 343000 | #Constraints: 43235
413.17/414.35 c #Conflicts: 344000 | #Constraints: 44235
413.17/414.35 c INPROCESSING
413.17/414.35 c GARBAGE COLLECT
413.17/414.35 c #Conflicts: 345000 | #Constraints: 24396
413.17/414.35 c #Conflicts: 346000 | #Constraints: 25396
413.17/414.35 c #Conflicts: 347000 | #Constraints: 26396
413.17/414.35 c #Conflicts: 348000 | #Constraints: 27396
413.17/414.35 c #Conflicts: 349000 | #Constraints: 28396
413.17/414.35 c #Conflicts: 350000 | #Constraints: 29396
413.17/414.35 c #Conflicts: 351000 | #Constraints: 30396
413.17/414.35 c #Conflicts: 352000 | #Constraints: 31396
413.17/414.35 c #Conflicts: 353000 | #Constraints: 32396
413.17/414.35 c #Conflicts: 354000 | #Constraints: 33396
413.17/414.35 c #Conflicts: 355000 | #Constraints: 34396
413.17/414.35 c #Conflicts: 356000 | #Constraints: 35396
413.17/414.35 c INPROCESSING
413.17/414.35 c GARBAGE COLLECT
413.17/414.35 c #Conflicts: 357000 | #Constraints: 19598
413.17/414.35 c #Conflicts: 358000 | #Constraints: 20598
413.17/414.35 c #Conflicts: 359000 | #Constraints: 21598
413.17/414.35 c #Conflicts: 360000 | #Constraints: 22598
413.17/414.35 c #Conflicts: 361000 | #Constraints: 23598
413.17/414.35 c #Conflicts: 362000 | #Constraints: 24598
413.17/414.35 c #Conflicts: 363000 | #Constraints: 25598
413.17/414.35 c #Conflicts: 364000 | #Constraints: 26598
413.17/414.35 c #Conflicts: 365000 | #Constraints: 27598
589.78/591.40 c #Conflicts: 366000 | #Constraints: 28598
589.78/591.40 c #Conflicts: 367000 | #Constraints: 29598
589.78/591.40 c #Conflicts: 368000 | #Constraints: 30598
589.78/591.40 c #Conflicts: 369000 | #Constraints: 31598
589.78/591.40 c INPROCESSING
589.78/591.40 c GARBAGE COLLECT
589.78/591.40 c #Conflicts: 370000 | #Constraints: 17754
589.78/591.40 c #Conflicts: 371000 | #Constraints: 18754
589.78/591.40 c #Conflicts: 372000 | #Constraints: 19754
589.78/591.40 c #Conflicts: 373000 | #Constraints: 20754
589.78/591.40 c #Conflicts: 374000 | #Constraints: 21754
589.78/591.40 c #Conflicts: 375000 | #Constraints: 22754
589.78/591.40 c #Conflicts: 376000 | #Constraints: 23754
589.78/591.40 c #Conflicts: 377000 | #Constraints: 24754
589.78/591.40 c #Conflicts: 378000 | #Constraints: 25754
589.78/591.40 c #Conflicts: 379000 | #Constraints: 26754
589.78/591.40 c #Conflicts: 380000 | #Constraints: 27754
589.78/591.40 c #Conflicts: 381000 | #Constraints: 28754
589.78/591.40 c #Conflicts: 382000 | #Constraints: 29754
589.78/591.40 c #Conflicts: 383000 | #Constraints: 30754
589.78/591.40 c #Conflicts: 384000 | #Constraints: 31754
589.78/591.40 c #Conflicts: 385000 | #Constraints: 32754
589.78/591.40 c #Conflicts: 386000 | #Constraints: 33754
589.78/591.40 c #Conflicts: 387000 | #Constraints: 34754
589.78/591.40 c #Conflicts: 388000 | #Constraints: 35754
589.78/591.40 c #Conflicts: 389000 | #Constraints: 36754
589.78/591.40 c #Conflicts: 390000 | #Constraints: 37754
589.78/591.40 c #Conflicts: 391000 | #Constraints: 38754
589.78/591.40 c #Conflicts: 392000 | #Constraints: 39754
589.78/591.40 c #Conflicts: 393000 | #Constraints: 40754
589.78/591.40 c #Conflicts: 394000 | #Constraints: 41754
589.78/591.40 c #Conflicts: 395000 | #Constraints: 42754
589.78/591.40 c #Conflicts: 396000 | #Constraints: 43754
589.78/591.40 c #Conflicts: 397000 | #Constraints: 44754
589.78/591.40 c #Conflicts: 398000 | #Constraints: 45754
589.78/591.40 c #Conflicts: 399000 | #Constraints: 46754
589.78/591.40 c #Conflicts: 400000 | #Constraints: 47754
589.78/591.40 c #Conflicts: 401000 | #Constraints: 48754
589.78/591.40 c #Conflicts: 402000 | #Constraints: 49754
589.78/591.40 c #Conflicts: 403000 | #Constraints: 50754
589.78/591.40 c #Conflicts: 404000 | #Constraints: 51754
589.78/591.40 c #Conflicts: 405000 | #Constraints: 52754
589.78/591.40 c #Conflicts: 406000 | #Constraints: 53754
589.78/591.40 c #Conflicts: 407000 | #Constraints: 54754
589.78/591.40 c #Conflicts: 408000 | #Constraints: 55754
589.78/591.40 c #Conflicts: 409000 | #Constraints: 56754
589.78/591.40 c #Conflicts: 410000 | #Constraints: 57754
589.78/591.40 c #Conflicts: 411000 | #Constraints: 58754
589.78/591.40 c #Conflicts: 412000 | #Constraints: 59754
589.78/591.40 c #Conflicts: 413000 | #Constraints: 60754
589.78/591.40 c #Conflicts: 414000 | #Constraints: 61754
589.78/591.40 c #Conflicts: 415000 | #Constraints: 62754
589.78/591.40 c #Conflicts: 416000 | #Constraints: 63754
589.78/591.40 c #Conflicts: 417000 | #Constraints: 64754
589.78/591.40 c #Conflicts: 418000 | #Constraints: 65754
589.78/591.40 c #Conflicts: 419000 | #Constraints: 66754
589.78/591.40 c #Conflicts: 420000 | #Constraints: 67754
589.78/591.40 c #Conflicts: 421000 | #Constraints: 68754
589.78/591.40 c INPROCESSING
589.78/591.40 c GARBAGE COLLECT
589.78/591.40 c #Conflicts: 422000 | #Constraints: 36452
589.78/591.40 c #Conflicts: 423000 | #Constraints: 37452
589.78/591.40 c #Conflicts: 424000 | #Constraints: 38452
589.78/591.40 c #Conflicts: 425000 | #Constraints: 39452
589.78/591.40 c #Conflicts: 426000 | #Constraints: 40452
589.78/591.40 c #Conflicts: 427000 | #Constraints: 41452
589.78/591.40 c #Conflicts: 428000 | #Constraints: 42452
589.78/591.40 c #Conflicts: 429000 | #Constraints: 43452
589.78/591.40 c #Conflicts: 430000 | #Constraints: 44452
589.78/591.40 c #Conflicts: 431000 | #Constraints: 45452
589.78/591.40 c #Conflicts: 432000 | #Constraints: 46452
589.78/591.40 c #Conflicts: 433000 | #Constraints: 47452
589.78/591.40 c #Conflicts: 434000 | #Constraints: 48452
589.78/591.40 c #Conflicts: 435000 | #Constraints: 49452
589.78/591.40 c INPROCESSING
589.78/591.40 c GARBAGE COLLECT
589.78/591.40 c #Conflicts: 436000 | #Constraints: 26706
589.78/591.40 c #Conflicts: 437000 | #Constraints: 27706
589.78/591.40 c #Conflicts: 438000 | #Constraints: 28706
589.78/591.40 c #Conflicts: 439000 | #Constraints: 29706
589.78/591.40 c #Conflicts: 440000 | #Constraints: 30706
589.78/591.40 c #Conflicts: 441000 | #Constraints: 31706
589.78/591.40 c #Conflicts: 442000 | #Constraints: 32706
780.52/782.78 c #Conflicts: 443000 | #Constraints: 33706
780.52/782.78 c #Conflicts: 444000 | #Constraints: 34706
780.52/782.78 c #Conflicts: 445000 | #Constraints: 35706
780.52/782.78 c #Conflicts: 446000 | #Constraints: 36706
780.52/782.78 c #Conflicts: 447000 | #Constraints: 37706
780.52/782.78 c #Conflicts: 448000 | #Constraints: 38706
780.52/782.78 c #Conflicts: 449000 | #Constraints: 39706
780.52/782.78 c #Conflicts: 450000 | #Constraints: 40706
780.52/782.78 c INPROCESSING
780.52/782.78 c GARBAGE COLLECT
780.52/782.78 c #Conflicts: 451000 | #Constraints: 22612
780.52/782.78 c #Conflicts: 452000 | #Constraints: 23612
780.52/782.78 c #Conflicts: 453000 | #Constraints: 24612
780.52/782.78 c #Conflicts: 454000 | #Constraints: 25612
780.52/782.78 c #Conflicts: 455000 | #Constraints: 26612
780.52/782.78 c #Conflicts: 456000 | #Constraints: 27612
780.52/782.78 c #Conflicts: 457000 | #Constraints: 28612
780.52/782.78 c #Conflicts: 458000 | #Constraints: 29612
780.52/782.78 c #Conflicts: 459000 | #Constraints: 30612
780.52/782.78 c #Conflicts: 460000 | #Constraints: 31612
780.52/782.78 c #Conflicts: 461000 | #Constraints: 32612
780.52/782.78 c #Conflicts: 462000 | #Constraints: 33612
780.52/782.78 c #Conflicts: 463000 | #Constraints: 34612
780.52/782.78 c #Conflicts: 464000 | #Constraints: 35612
780.52/782.78 c INPROCESSING
780.52/782.78 c GARBAGE COLLECT
780.52/782.78 c #Conflicts: 465000 | #Constraints: 19764
780.52/782.78 c #Conflicts: 466000 | #Constraints: 20764
780.52/782.78 c #Conflicts: 467000 | #Constraints: 21764
780.52/782.78 c #Conflicts: 468000 | #Constraints: 22764
780.52/782.78 c #Conflicts: 469000 | #Constraints: 23764
780.52/782.78 c #Conflicts: 470000 | #Constraints: 24764
780.52/782.78 c #Conflicts: 471000 | #Constraints: 25764
780.52/782.78 c #Conflicts: 472000 | #Constraints: 26764
780.52/782.78 c #Conflicts: 473000 | #Constraints: 27764
780.52/782.78 c #Conflicts: 474000 | #Constraints: 28764
780.52/782.78 c #Conflicts: 475000 | #Constraints: 29764
780.52/782.78 c #Conflicts: 476000 | #Constraints: 30764
780.52/782.78 c #Conflicts: 477000 | #Constraints: 31764
780.52/782.78 c #Conflicts: 478000 | #Constraints: 32764
780.52/782.78 c #Conflicts: 479000 | #Constraints: 33764
780.52/782.78 c #Conflicts: 480000 | #Constraints: 34764
780.52/782.78 c #Conflicts: 481000 | #Constraints: 35764
780.52/782.78 c #Conflicts: 482000 | #Constraints: 36764
780.52/782.78 c #Conflicts: 483000 | #Constraints: 37764
780.52/782.78 c #Conflicts: 484000 | #Constraints: 38764
780.52/782.78 c #Conflicts: 485000 | #Constraints: 39764
780.52/782.78 c #Conflicts: 486000 | #Constraints: 40764
780.52/782.78 c #Conflicts: 487000 | #Constraints: 41764
780.52/782.78 c #Conflicts: 488000 | #Constraints: 42764
780.52/782.78 c #Conflicts: 489000 | #Constraints: 43764
780.52/782.78 c #Conflicts: 490000 | #Constraints: 44764
780.52/782.78 c #Conflicts: 491000 | #Constraints: 45764
780.52/782.78 c #Conflicts: 492000 | #Constraints: 46764
780.52/782.78 c #Conflicts: 493000 | #Constraints: 47764
780.52/782.78 c #Conflicts: 494000 | #Constraints: 48764
780.52/782.78 c #Conflicts: 495000 | #Constraints: 49764
780.52/782.78 c #Conflicts: 496000 | #Constraints: 50764
780.52/782.78 c #Conflicts: 497000 | #Constraints: 51764
780.52/782.78 c #Conflicts: 498000 | #Constraints: 52764
780.52/782.78 c #Conflicts: 499000 | #Constraints: 53764
780.52/782.78 c #Conflicts: 500000 | #Constraints: 54764
780.52/782.78 c #Conflicts: 501000 | #Constraints: 55764
780.52/782.78 c #Conflicts: 502000 | #Constraints: 56764
780.52/782.78 c #Conflicts: 503000 | #Constraints: 57764
780.52/782.78 c #Conflicts: 504000 | #Constraints: 58764
780.52/782.78 c #Conflicts: 505000 | #Constraints: 59764
780.52/782.78 c #Conflicts: 506000 | #Constraints: 60764
780.52/782.78 c #Conflicts: 507000 | #Constraints: 61764
780.52/782.78 c #Conflicts: 508000 | #Constraints: 62764
780.52/782.78 c #Conflicts: 509000 | #Constraints: 63764
780.52/782.78 c #Conflicts: 510000 | #Constraints: 64764
780.52/782.78 c #Conflicts: 511000 | #Constraints: 65764
780.52/782.78 c #Conflicts: 512000 | #Constraints: 66764
780.52/782.78 c #Conflicts: 513000 | #Constraints: 67764
780.52/782.78 c #Conflicts: 514000 | #Constraints: 68764
780.52/782.78 c #Conflicts: 515000 | #Constraints: 69764
780.52/782.78 c #Conflicts: 516000 | #Constraints: 70764
780.52/782.78 c #Conflicts: 517000 | #Constraints: 71764
780.52/782.78 c #Conflicts: 518000 | #Constraints: 72764
780.52/782.78 c #Conflicts: 519000 | #Constraints: 73764
780.52/782.78 c #Conflicts: 520000 | #Constraints: 74764
997.06/999.82 c #Conflicts: 521000 | #Constraints: 75764
997.06/999.82 c INPROCESSING
997.06/999.82 c GARBAGE COLLECT
997.06/999.82 c #Conflicts: 522000 | #Constraints: 39817
997.06/999.82 c #Conflicts: 523000 | #Constraints: 40817
997.06/999.82 c #Conflicts: 524000 | #Constraints: 41817
997.06/999.82 c #Conflicts: 525000 | #Constraints: 42817
997.06/999.82 c #Conflicts: 526000 | #Constraints: 43817
997.06/999.82 c #Conflicts: 527000 | #Constraints: 44817
997.06/999.82 c #Conflicts: 528000 | #Constraints: 45817
997.06/999.82 c #Conflicts: 529000 | #Constraints: 46817
997.06/999.82 c #Conflicts: 530000 | #Constraints: 47817
997.06/999.82 c #Conflicts: 531000 | #Constraints: 48817
997.06/999.82 c #Conflicts: 532000 | #Constraints: 49817
997.06/999.82 c #Conflicts: 533000 | #Constraints: 50817
997.06/999.82 c #Conflicts: 534000 | #Constraints: 51817
997.06/999.82 c #Conflicts: 535000 | #Constraints: 52817
997.06/999.82 c #Conflicts: 536000 | #Constraints: 53817
997.06/999.82 c #Conflicts: 537000 | #Constraints: 54817
997.06/999.82 c INPROCESSING
997.06/999.82 c GARBAGE COLLECT
997.06/999.82 c #Conflicts: 538000 | #Constraints: 29379
997.06/999.82 c #Conflicts: 539000 | #Constraints: 30379
997.06/999.82 c #Conflicts: 540000 | #Constraints: 31379
997.06/999.82 c #Conflicts: 541000 | #Constraints: 32379
997.06/999.82 c #Conflicts: 542000 | #Constraints: 33379
997.06/999.82 c #Conflicts: 543000 | #Constraints: 34379
997.06/999.82 c #Conflicts: 544000 | #Constraints: 35379
997.06/999.82 c #Conflicts: 545000 | #Constraints: 36379
997.06/999.82 c #Conflicts: 546000 | #Constraints: 37379
997.06/999.82 c #Conflicts: 547000 | #Constraints: 38379
997.06/999.82 c #Conflicts: 548000 | #Constraints: 39379
997.06/999.82 c #Conflicts: 549000 | #Constraints: 40379
997.06/999.82 c #Conflicts: 550000 | #Constraints: 41379
997.06/999.82 c #Conflicts: 551000 | #Constraints: 42379
997.06/999.82 c #Conflicts: 552000 | #Constraints: 43379
997.06/999.82 c #Conflicts: 553000 | #Constraints: 44379
997.06/999.82 c INPROCESSING
997.06/999.82 c GARBAGE COLLECT
997.06/999.82 c #Conflicts: 554000 | #Constraints: 24110
997.06/999.82 c #Conflicts: 555000 | #Constraints: 25110
997.06/999.82 c #Conflicts: 556000 | #Constraints: 26110
997.06/999.82 c #Conflicts: 557000 | #Constraints: 27110
997.06/999.82 c #Conflicts: 558000 | #Constraints: 28110
997.06/999.82 c #Conflicts: 559000 | #Constraints: 29110
997.06/999.82 c #Conflicts: 560000 | #Constraints: 30110
997.06/999.82 c #Conflicts: 561000 | #Constraints: 31110
997.06/999.82 c #Conflicts: 562000 | #Constraints: 32110
997.06/999.82 c #Conflicts: 563000 | #Constraints: 33110
997.06/999.82 c #Conflicts: 564000 | #Constraints: 34110
997.06/999.82 c #Conflicts: 565000 | #Constraints: 35110
997.06/999.82 c #Conflicts: 566000 | #Constraints: 36110
997.06/999.82 c #Conflicts: 567000 | #Constraints: 37110
997.06/999.82 c #Conflicts: 568000 | #Constraints: 38110
997.06/999.82 c #Conflicts: 569000 | #Constraints: 39110
997.06/999.82 c #Conflicts: 570000 | #Constraints: 40110
997.06/999.82 c #Conflicts: 571000 | #Constraints: 41110
997.06/999.82 c #Conflicts: 572000 | #Constraints: 42110
997.06/999.82 c #Conflicts: 573000 | #Constraints: 43110
997.06/999.82 c #Conflicts: 574000 | #Constraints: 44110
997.06/999.82 c #Conflicts: 575000 | #Constraints: 45110
997.06/999.82 c #Conflicts: 576000 | #Constraints: 46110
997.06/999.82 c #Conflicts: 577000 | #Constraints: 47110
997.06/999.82 c #Conflicts: 578000 | #Constraints: 48110
997.06/999.82 c #Conflicts: 579000 | #Constraints: 49110
997.06/999.82 c #Conflicts: 580000 | #Constraints: 50110
997.06/999.82 c #Conflicts: 581000 | #Constraints: 51110
997.06/999.82 c #Conflicts: 582000 | #Constraints: 52110
997.06/999.82 c #Conflicts: 583000 | #Constraints: 53110
997.06/999.82 c #Conflicts: 584000 | #Constraints: 54110
997.06/999.82 c #Conflicts: 585000 | #Constraints: 55110
997.06/999.82 c #Conflicts: 586000 | #Constraints: 56110
997.06/999.82 c #Conflicts: 587000 | #Constraints: 57110
997.06/999.82 c #Conflicts: 588000 | #Constraints: 58110
997.06/999.82 c #Conflicts: 589000 | #Constraints: 59110
997.06/999.82 c #Conflicts: 590000 | #Constraints: 60110
997.06/999.82 c #Conflicts: 591000 | #Constraints: 61110
997.06/999.82 c #Conflicts: 592000 | #Constraints: 62110
997.06/999.82 c #Conflicts: 593000 | #Constraints: 63110
997.06/999.82 c #Conflicts: 594000 | #Constraints: 64110
997.06/999.82 c #Conflicts: 595000 | #Constraints: 65110
997.06/999.82 c #Conflicts: 596000 | #Constraints: 66110
1264.44/1267.91 c #Conflicts: 597000 | #Constraints: 67110
1264.44/1267.91 c #Conflicts: 598000 | #Constraints: 68110
1264.44/1267.91 c #Conflicts: 599000 | #Constraints: 69110
1264.44/1267.91 c #Conflicts: 600000 | #Constraints: 70110
1264.44/1267.91 c #Conflicts: 601000 | #Constraints: 71110
1264.44/1267.91 c #Conflicts: 602000 | #Constraints: 72110
1264.44/1267.91 c #Conflicts: 603000 | #Constraints: 73110
1264.44/1267.91 c #Conflicts: 604000 | #Constraints: 74110
1264.44/1267.91 c #Conflicts: 605000 | #Constraints: 75110
1264.44/1267.91 c #Conflicts: 606000 | #Constraints: 76110
1264.44/1267.91 c #Conflicts: 607000 | #Constraints: 77110
1264.44/1267.91 c #Conflicts: 608000 | #Constraints: 78110
1264.44/1267.91 c #Conflicts: 609000 | #Constraints: 79110
1264.44/1267.91 c #Conflicts: 610000 | #Constraints: 80110
1264.44/1267.91 c #Conflicts: 611000 | #Constraints: 81110
1264.44/1267.91 c #Conflicts: 612000 | #Constraints: 82110
1264.44/1267.91 c #Conflicts: 613000 | #Constraints: 83110
1264.44/1267.91 c #Conflicts: 614000 | #Constraints: 84110
1264.44/1267.91 c #Conflicts: 615000 | #Constraints: 85110
1264.44/1267.91 c INPROCESSING
1264.44/1267.91 c GARBAGE COLLECT
1264.44/1267.91 c #Conflicts: 616000 | #Constraints: 44864
1264.44/1267.91 c #Conflicts: 617000 | #Constraints: 45864
1264.44/1267.91 c #Conflicts: 618000 | #Constraints: 46864
1264.44/1267.91 c #Conflicts: 619000 | #Constraints: 47864
1264.44/1267.91 c #Conflicts: 620000 | #Constraints: 48864
1264.44/1267.91 c #Conflicts: 621000 | #Constraints: 49864
1264.44/1267.91 c #Conflicts: 622000 | #Constraints: 50864
1264.44/1267.91 c #Conflicts: 623000 | #Constraints: 51864
1264.44/1267.91 c #Conflicts: 624000 | #Constraints: 52864
1264.44/1267.91 c #Conflicts: 625000 | #Constraints: 53864
1264.44/1267.91 c #Conflicts: 626000 | #Constraints: 54864
1264.44/1267.91 c #Conflicts: 627000 | #Constraints: 55864
1264.44/1267.91 c #Conflicts: 628000 | #Constraints: 56864
1264.44/1267.91 c #Conflicts: 629000 | #Constraints: 57864
1264.44/1267.91 c #Conflicts: 630000 | #Constraints: 58864
1264.44/1267.91 c #Conflicts: 631000 | #Constraints: 59864
1264.44/1267.91 c #Conflicts: 632000 | #Constraints: 60864
1264.44/1267.91 c INPROCESSING
1264.44/1267.91 c GARBAGE COLLECT
1264.44/1267.91 c #Conflicts: 633000 | #Constraints: 32505
1264.44/1267.91 c #Conflicts: 634000 | #Constraints: 33505
1264.44/1267.91 c #Conflicts: 635000 | #Constraints: 34505
1264.44/1267.91 c #Conflicts: 636000 | #Constraints: 35505
1264.44/1267.91 c #Conflicts: 637000 | #Constraints: 36505
1264.44/1267.91 c #Conflicts: 638000 | #Constraints: 37505
1264.44/1267.91 c #Conflicts: 639000 | #Constraints: 38505
1264.44/1267.91 c #Conflicts: 640000 | #Constraints: 39505
1264.44/1267.91 c #Conflicts: 641000 | #Constraints: 40505
1264.44/1267.91 c #Conflicts: 642000 | #Constraints: 41505
1264.44/1267.91 c #Conflicts: 643000 | #Constraints: 42505
1264.44/1267.91 c #Conflicts: 644000 | #Constraints: 43505
1264.44/1267.91 c #Conflicts: 645000 | #Constraints: 44505
1264.44/1267.91 c #Conflicts: 646000 | #Constraints: 45505
1264.44/1267.91 c #Conflicts: 647000 | #Constraints: 46505
1264.44/1267.91 c #Conflicts: 648000 | #Constraints: 47505
1264.44/1267.91 c #Conflicts: 649000 | #Constraints: 48505
1264.44/1267.91 c #Conflicts: 650000 | #Constraints: 49505
1264.44/1267.91 c INPROCESSING
1264.44/1267.91 c GARBAGE COLLECT
1264.44/1267.91 c #Conflicts: 651000 | #Constraints: 27006
1264.44/1267.91 c #Conflicts: 652000 | #Constraints: 28006
1264.44/1267.91 c #Conflicts: 653000 | #Constraints: 29006
1264.44/1267.91 c #Conflicts: 654000 | #Constraints: 30006
1264.44/1267.91 c #Conflicts: 655000 | #Constraints: 31006
1264.44/1267.91 c #Conflicts: 656000 | #Constraints: 32006
1264.44/1267.91 c #Conflicts: 657000 | #Constraints: 33006
1264.44/1267.91 c #Conflicts: 658000 | #Constraints: 34006
1264.44/1267.91 c #Conflicts: 659000 | #Constraints: 35006
1264.44/1267.91 c #Conflicts: 660000 | #Constraints: 36006
1264.44/1267.91 c #Conflicts: 661000 | #Constraints: 37006
1264.44/1267.91 c #Conflicts: 662000 | #Constraints: 38006
1264.44/1267.91 c #Conflicts: 663000 | #Constraints: 39006
1264.44/1267.91 c #Conflicts: 664000 | #Constraints: 40006
1264.44/1267.91 c #Conflicts: 665000 | #Constraints: 41006
1264.44/1267.91 c #Conflicts: 666000 | #Constraints: 42006
1264.44/1267.91 c #Conflicts: 667000 | #Constraints: 43006
1264.44/1267.91 c #Conflicts: 668000 | #Constraints: 44006
1264.44/1267.91 c #Conflicts: 669000 | #Constraints: 45006
1264.44/1267.91 c #Conflicts: 670000 | #Constraints: 46006
1264.44/1267.91 c #Conflicts: 671000 | #Constraints: 47006
1264.44/1267.91 c #Conflicts: 672000 | #Constraints: 48006
1264.44/1267.91 c #Conflicts: 673000 | #Constraints: 49006
1595.33/1599.73 c #Conflicts: 674000 | #Constraints: 50006
1595.33/1599.73 c #Conflicts: 675000 | #Constraints: 51006
1595.33/1599.73 c #Conflicts: 676000 | #Constraints: 52006
1595.33/1599.73 c #Conflicts: 677000 | #Constraints: 53006
1595.33/1599.73 c #Conflicts: 678000 | #Constraints: 54006
1595.33/1599.73 c #Conflicts: 679000 | #Constraints: 55006
1595.33/1599.73 c #Conflicts: 680000 | #Constraints: 56006
1595.33/1599.73 c #Conflicts: 681000 | #Constraints: 57006
1595.33/1599.73 c #Conflicts: 682000 | #Constraints: 58006
1595.33/1599.73 c #Conflicts: 683000 | #Constraints: 59006
1595.33/1599.73 c #Conflicts: 684000 | #Constraints: 60006
1595.33/1599.73 c #Conflicts: 685000 | #Constraints: 61006
1595.33/1599.73 c #Conflicts: 686000 | #Constraints: 62006
1595.33/1599.73 c #Conflicts: 687000 | #Constraints: 63006
1595.33/1599.73 c #Conflicts: 688000 | #Constraints: 64006
1595.33/1599.73 c #Conflicts: 689000 | #Constraints: 65006
1595.33/1599.73 c #Conflicts: 690000 | #Constraints: 66006
1595.33/1599.73 c #Conflicts: 691000 | #Constraints: 67006
1595.33/1599.73 c #Conflicts: 692000 | #Constraints: 68006
1595.33/1599.73 c #Conflicts: 693000 | #Constraints: 69006
1595.33/1599.73 c #Conflicts: 694000 | #Constraints: 70006
1595.33/1599.73 c #Conflicts: 695000 | #Constraints: 71006
1595.33/1599.73 c #Conflicts: 696000 | #Constraints: 72006
1595.33/1599.73 c #Conflicts: 697000 | #Constraints: 73006
1595.33/1599.73 c #Conflicts: 698000 | #Constraints: 74006
1595.33/1599.73 c #Conflicts: 699000 | #Constraints: 75006
1595.33/1599.73 c #Conflicts: 700000 | #Constraints: 76006
1595.33/1599.73 c #Conflicts: 701000 | #Constraints: 77006
1595.33/1599.73 c #Conflicts: 702000 | #Constraints: 78006
1595.33/1599.73 c #Conflicts: 703000 | #Constraints: 79006
1595.33/1599.73 c #Conflicts: 704000 | #Constraints: 80006
1595.33/1599.73 c #Conflicts: 705000 | #Constraints: 81006
1595.33/1599.73 c #Conflicts: 706000 | #Constraints: 82006
1595.33/1599.73 c #Conflicts: 707000 | #Constraints: 83006
1595.33/1599.73 c #Conflicts: 708000 | #Constraints: 84006
1595.33/1599.73 c #Conflicts: 709000 | #Constraints: 85006
1595.33/1599.73 c #Conflicts: 710000 | #Constraints: 86006
1595.33/1599.73 c #Conflicts: 711000 | #Constraints: 87006
1595.33/1599.73 c #Conflicts: 712000 | #Constraints: 88006
1595.33/1599.73 c #Conflicts: 713000 | #Constraints: 89006
1595.33/1599.73 c #Conflicts: 714000 | #Constraints: 90006
1595.33/1599.73 c #Conflicts: 715000 | #Constraints: 91006
1595.33/1599.73 c INPROCESSING
1595.33/1599.73 c GARBAGE COLLECT
1595.33/1599.73 c #Conflicts: 716000 | #Constraints: 47521
1595.33/1599.73 c #Conflicts: 717000 | #Constraints: 48521
1595.33/1599.73 c #Conflicts: 718000 | #Constraints: 49521
1595.33/1599.73 c #Conflicts: 719000 | #Constraints: 50521
1595.33/1599.73 c #Conflicts: 720000 | #Constraints: 51521
1595.33/1599.73 c #Conflicts: 721000 | #Constraints: 52521
1595.33/1599.73 c #Conflicts: 722000 | #Constraints: 53521
1595.33/1599.73 c #Conflicts: 723000 | #Constraints: 54521
1595.33/1599.73 c #Conflicts: 724000 | #Constraints: 55521
1595.33/1599.73 c #Conflicts: 725000 | #Constraints: 56521
1595.33/1599.73 c #Conflicts: 726000 | #Constraints: 57521
1595.33/1599.73 c #Conflicts: 727000 | #Constraints: 58521
1595.33/1599.73 c #Conflicts: 728000 | #Constraints: 59521
1595.33/1599.73 c #Conflicts: 729000 | #Constraints: 60521
1595.33/1599.73 c #Conflicts: 730000 | #Constraints: 61521
1595.33/1599.73 c #Conflicts: 731000 | #Constraints: 62521
1595.33/1599.73 c #Conflicts: 732000 | #Constraints: 63521
1595.33/1599.73 c #Conflicts: 733000 | #Constraints: 64521
1595.33/1599.73 c #Conflicts: 734000 | #Constraints: 65521
1595.33/1599.73 c INPROCESSING
1595.33/1599.73 c GARBAGE COLLECT
1595.33/1599.73 c #Conflicts: 735000 | #Constraints: 34828
1595.33/1599.73 c #Conflicts: 736000 | #Constraints: 35828
1595.33/1599.73 c #Conflicts: 737000 | #Constraints: 36828
1595.33/1599.73 c #Conflicts: 738000 | #Constraints: 37828
1595.33/1599.73 c #Conflicts: 739000 | #Constraints: 38828
1595.33/1599.73 c #Conflicts: 740000 | #Constraints: 39828
1595.33/1599.73 c #Conflicts: 741000 | #Constraints: 40828
1595.33/1599.73 c #Conflicts: 742000 | #Constraints: 41828
1595.33/1599.73 c #Conflicts: 743000 | #Constraints: 42828
1595.33/1599.73 c #Conflicts: 744000 | #Constraints: 43828
1595.33/1599.73 c #Conflicts: 745000 | #Constraints: 44828
1595.33/1599.73 c #Conflicts: 746000 | #Constraints: 45828
1595.33/1599.73 c #Conflicts: 747000 | #Constraints: 46828
1595.33/1599.73 c #Conflicts: 748000 | #Constraints: 47828
1595.33/1599.73 c #Conflicts: 749000 | #Constraints: 48828
1595.33/1599.73 c #Conflicts: 750000 | #Constraints: 49828
1595.33/1599.73 c #Conflicts: 751000 | #Constraints: 50828
1923.92/1929.28 c #Conflicts: 752000 | #Constraints: 51828
1923.92/1929.28 c #Conflicts: 753000 | #Constraints: 52828
1923.92/1929.28 c INPROCESSING
1923.92/1929.28 c GARBAGE COLLECT
1923.92/1929.28 c #Conflicts: 754000 | #Constraints: 28420
1923.92/1929.28 c #Conflicts: 755000 | #Constraints: 29420
1923.92/1929.28 c #Conflicts: 756000 | #Constraints: 30420
1923.92/1929.28 c #Conflicts: 757000 | #Constraints: 31420
1923.92/1929.28 c #Conflicts: 758000 | #Constraints: 32420
1923.92/1929.28 c #Conflicts: 759000 | #Constraints: 33420
1923.92/1929.28 c #Conflicts: 760000 | #Constraints: 34420
1923.92/1929.28 c #Conflicts: 761000 | #Constraints: 35420
1923.92/1929.28 c #Conflicts: 762000 | #Constraints: 36420
1923.92/1929.28 c #Conflicts: 763000 | #Constraints: 37420
1923.92/1929.28 c #Conflicts: 764000 | #Constraints: 38420
1923.92/1929.28 c #Conflicts: 765000 | #Constraints: 39420
1923.92/1929.28 c #Conflicts: 766000 | #Constraints: 40420
1923.92/1929.28 c #Conflicts: 767000 | #Constraints: 41420
1923.92/1929.28 c #Conflicts: 768000 | #Constraints: 42420
1923.92/1929.28 c #Conflicts: 769000 | #Constraints: 43420
1923.92/1929.28 c #Conflicts: 770000 | #Constraints: 44420
1923.92/1929.28 c #Conflicts: 771000 | #Constraints: 45420
1923.92/1929.28 c #Conflicts: 772000 | #Constraints: 46420
1923.92/1929.28 c #Conflicts: 773000 | #Constraints: 47420
1923.92/1929.28 c #Conflicts: 774000 | #Constraints: 48420
1923.92/1929.28 c #Conflicts: 775000 | #Constraints: 49420
1923.92/1929.28 c #Conflicts: 776000 | #Constraints: 50420
1923.92/1929.28 c #Conflicts: 777000 | #Constraints: 51420
1923.92/1929.28 c #Conflicts: 778000 | #Constraints: 52420
1923.92/1929.28 c #Conflicts: 779000 | #Constraints: 53420
1923.92/1929.28 c #Conflicts: 780000 | #Constraints: 54420
1923.92/1929.28 c #Conflicts: 781000 | #Constraints: 55420
1923.92/1929.28 c #Conflicts: 782000 | #Constraints: 56420
1923.92/1929.28 c #Conflicts: 783000 | #Constraints: 57420
1923.92/1929.28 c #Conflicts: 784000 | #Constraints: 58420
1923.92/1929.28 c #Conflicts: 785000 | #Constraints: 59420
1923.92/1929.28 c #Conflicts: 786000 | #Constraints: 60420
1923.92/1929.28 c #Conflicts: 787000 | #Constraints: 61420
1923.92/1929.28 c #Conflicts: 788000 | #Constraints: 62420
1923.92/1929.28 c #Conflicts: 789000 | #Constraints: 63420
1923.92/1929.28 c #Conflicts: 790000 | #Constraints: 64420
1923.92/1929.28 c #Conflicts: 791000 | #Constraints: 65420
1923.92/1929.28 c #Conflicts: 792000 | #Constraints: 66420
1923.92/1929.28 c #Conflicts: 793000 | #Constraints: 67420
1923.92/1929.28 c #Conflicts: 794000 | #Constraints: 68420
1923.92/1929.28 c #Conflicts: 795000 | #Constraints: 69420
1923.92/1929.28 c #Conflicts: 796000 | #Constraints: 70420
1923.92/1929.28 c #Conflicts: 797000 | #Constraints: 71420
1923.92/1929.28 c #Conflicts: 798000 | #Constraints: 72420
1923.92/1929.28 c #Conflicts: 799000 | #Constraints: 73420
1923.92/1929.28 c #Conflicts: 800000 | #Constraints: 74420
1923.92/1929.28 c #Conflicts: 801000 | #Constraints: 75420
1923.92/1929.28 c #Conflicts: 802000 | #Constraints: 76420
1923.92/1929.28 c #Conflicts: 803000 | #Constraints: 77420
1923.92/1929.28 c #Conflicts: 804000 | #Constraints: 78420
1923.92/1929.28 c #Conflicts: 805000 | #Constraints: 79420
1923.92/1929.28 c #Conflicts: 806000 | #Constraints: 80420
1923.92/1929.28 c #Conflicts: 807000 | #Constraints: 81420
1923.92/1929.28 c #Conflicts: 808000 | #Constraints: 82420
1923.92/1929.28 c #Conflicts: 809000 | #Constraints: 83420
1923.92/1929.28 c #Conflicts: 810000 | #Constraints: 84420
1923.92/1929.28 c #Conflicts: 811000 | #Constraints: 85420
1923.92/1929.28 c #Conflicts: 812000 | #Constraints: 86420
1923.92/1929.28 c #Conflicts: 813000 | #Constraints: 87420
1923.92/1929.28 c #Conflicts: 814000 | #Constraints: 88420
1923.92/1929.28 c #Conflicts: 815000 | #Constraints: 89420
1923.92/1929.28 c #Conflicts: 816000 | #Constraints: 90420
1923.92/1929.28 c #Conflicts: 817000 | #Constraints: 91420
1923.92/1929.28 c #Conflicts: 818000 | #Constraints: 92420
1923.92/1929.28 c #Conflicts: 819000 | #Constraints: 93420
1923.92/1929.28 c #Conflicts: 820000 | #Constraints: 94420
1923.92/1929.28 c #Conflicts: 821000 | #Constraints: 95420
1923.92/1929.28 c #Conflicts: 822000 | #Constraints: 96420
1923.92/1929.28 c #Conflicts: 823000 | #Constraints: 97420
1923.92/1929.28 c INPROCESSING
1923.92/1929.28 c GARBAGE COLLECT
1923.92/1929.28 c #Conflicts: 824000 | #Constraints: 50895
1923.92/1929.28 c #Conflicts: 825000 | #Constraints: 51895
1923.92/1929.28 c #Conflicts: 826000 | #Constraints: 52895
1923.92/1929.28 c #Conflicts: 827000 | #Constraints: 53895
1923.92/1929.28 c #Conflicts: 828000 | #Constraints: 54895
2233.55/2239.79 c #Conflicts: 829000 | #Constraints: 55895
2233.55/2239.79 c #Conflicts: 830000 | #Constraints: 56895
2233.55/2239.79 c #Conflicts: 831000 | #Constraints: 57895
2233.55/2239.79 c #Conflicts: 832000 | #Constraints: 58895
2233.55/2239.79 c #Conflicts: 833000 | #Constraints: 59895
2233.55/2239.79 c #Conflicts: 834000 | #Constraints: 60895
2233.55/2239.79 c #Conflicts: 835000 | #Constraints: 61895
2233.55/2239.79 c #Conflicts: 836000 | #Constraints: 62895
2233.55/2239.79 c #Conflicts: 837000 | #Constraints: 63895
2233.55/2239.79 c #Conflicts: 838000 | #Constraints: 64895
2233.55/2239.79 c #Conflicts: 839000 | #Constraints: 65895
2233.55/2239.79 c #Conflicts: 840000 | #Constraints: 66895
2233.55/2239.79 c #Conflicts: 841000 | #Constraints: 67895
2233.55/2239.79 c #Conflicts: 842000 | #Constraints: 68895
2233.55/2239.79 c #Conflicts: 843000 | #Constraints: 69895
2233.55/2239.79 c INPROCESSING
2233.55/2239.79 c GARBAGE COLLECT
2233.55/2239.79 c #Conflicts: 844000 | #Constraints: 36913
2233.55/2239.79 c #Conflicts: 845000 | #Constraints: 37913
2233.55/2239.79 c #Conflicts: 846000 | #Constraints: 38913
2233.55/2239.79 c #Conflicts: 847000 | #Constraints: 39913
2233.55/2239.79 c #Conflicts: 848000 | #Constraints: 40913
2233.55/2239.79 c #Conflicts: 849000 | #Constraints: 41913
2233.55/2239.79 c #Conflicts: 850000 | #Constraints: 42913
2233.55/2239.79 c #Conflicts: 851000 | #Constraints: 43913
2233.55/2239.79 c #Conflicts: 852000 | #Constraints: 44913
2233.55/2239.79 c #Conflicts: 853000 | #Constraints: 45913
2233.55/2239.79 c #Conflicts: 854000 | #Constraints: 46913
2233.55/2239.79 c #Conflicts: 855000 | #Constraints: 47913
2233.55/2239.79 c #Conflicts: 856000 | #Constraints: 48913
2233.55/2239.79 c #Conflicts: 857000 | #Constraints: 49913
2233.55/2239.79 c #Conflicts: 858000 | #Constraints: 50913
2233.55/2239.79 c #Conflicts: 859000 | #Constraints: 51913
2233.55/2239.79 c #Conflicts: 860000 | #Constraints: 52913
2233.55/2239.79 c #Conflicts: 861000 | #Constraints: 53913
2233.55/2239.79 c #Conflicts: 862000 | #Constraints: 54913
2233.55/2239.79 c #Conflicts: 863000 | #Constraints: 55913
2233.55/2239.79 c #Conflicts: 864000 | #Constraints: 56913
2233.55/2239.79 c INPROCESSING
2233.55/2239.79 c GARBAGE COLLECT
2233.55/2239.79 c #Conflicts: 865000 | #Constraints: 30617
2233.55/2239.79 c #Conflicts: 866000 | #Constraints: 31617
2233.55/2239.79 c #Conflicts: 867000 | #Constraints: 32617
2233.55/2239.79 c #Conflicts: 868000 | #Constraints: 33617
2233.55/2239.79 c #Conflicts: 869000 | #Constraints: 34617
2233.55/2239.79 c #Conflicts: 870000 | #Constraints: 35617
2233.55/2239.79 c #Conflicts: 871000 | #Constraints: 36617
2233.55/2239.79 c #Conflicts: 872000 | #Constraints: 37617
2233.55/2239.79 c #Conflicts: 873000 | #Constraints: 38617
2233.55/2239.79 c #Conflicts: 874000 | #Constraints: 39617
2233.55/2239.79 c #Conflicts: 875000 | #Constraints: 40617
2233.55/2239.79 c #Conflicts: 876000 | #Constraints: 41617
2233.55/2239.79 c #Conflicts: 877000 | #Constraints: 42617
2233.55/2239.79 c #Conflicts: 878000 | #Constraints: 43617
2233.55/2239.79 c #Conflicts: 879000 | #Constraints: 44617
2233.55/2239.79 c #Conflicts: 880000 | #Constraints: 45617
2233.55/2239.79 c #Conflicts: 881000 | #Constraints: 46617
2233.55/2239.79 c #Conflicts: 882000 | #Constraints: 47617
2233.55/2239.79 c #Conflicts: 883000 | #Constraints: 48617
2233.55/2239.79 c #Conflicts: 884000 | #Constraints: 49617
2233.55/2239.79 c #Conflicts: 885000 | #Constraints: 50617
2233.55/2239.79 c #Conflicts: 886000 | #Constraints: 51617
2233.55/2239.79 c #Conflicts: 887000 | #Constraints: 52617
2233.55/2239.79 c #Conflicts: 888000 | #Constraints: 53617
2233.55/2239.79 c #Conflicts: 889000 | #Constraints: 54617
2233.55/2239.79 c #Conflicts: 890000 | #Constraints: 55617
2233.55/2239.79 c #Conflicts: 891000 | #Constraints: 56617
2233.55/2239.79 c #Conflicts: 892000 | #Constraints: 57617
2233.55/2239.79 c #Conflicts: 893000 | #Constraints: 58617
2233.55/2239.79 c #Conflicts: 894000 | #Constraints: 59617
2233.55/2239.79 c #Conflicts: 895000 | #Constraints: 60617
2233.55/2239.79 c #Conflicts: 896000 | #Constraints: 61617
2233.55/2239.79 c #Conflicts: 897000 | #Constraints: 62617
2233.55/2239.79 c #Conflicts: 898000 | #Constraints: 63617
2233.55/2239.79 c #Conflicts: 899000 | #Constraints: 64617
2233.55/2239.79 c #Conflicts: 900000 | #Constraints: 65617
2233.55/2239.79 c #Conflicts: 901000 | #Constraints: 66617
2233.55/2239.79 c #Conflicts: 902000 | #Constraints: 67617
2233.55/2239.79 c #Conflicts: 903000 | #Constraints: 68617
2233.55/2239.79 c #Conflicts: 904000 | #Constraints: 69617
2233.55/2239.79 c #Conflicts: 905000 | #Constraints: 70617
2233.55/2239.79 c #Conflicts: 906000 | #Constraints: 71617
2652.66/2660.05 c #Conflicts: 907000 | #Constraints: 72617
2652.66/2660.05 c #Conflicts: 908000 | #Constraints: 73617
2652.66/2660.05 c #Conflicts: 909000 | #Constraints: 74617
2652.66/2660.05 c #Conflicts: 910000 | #Constraints: 75617
2652.66/2660.05 c #Conflicts: 911000 | #Constraints: 76617
2652.66/2660.05 c #Conflicts: 912000 | #Constraints: 77617
2652.66/2660.05 c #Conflicts: 913000 | #Constraints: 78617
2652.66/2660.05 c #Conflicts: 914000 | #Constraints: 79617
2652.66/2660.05 c #Conflicts: 915000 | #Constraints: 80617
2652.66/2660.05 c #Conflicts: 916000 | #Constraints: 81617
2652.66/2660.05 c #Conflicts: 917000 | #Constraints: 82617
2652.66/2660.05 c #Conflicts: 918000 | #Constraints: 83617
2652.66/2660.05 c #Conflicts: 919000 | #Constraints: 84617
2652.66/2660.05 c #Conflicts: 920000 | #Constraints: 85617
2652.66/2660.05 c #Conflicts: 921000 | #Constraints: 86617
2652.66/2660.05 c #Conflicts: 922000 | #Constraints: 87617
2652.66/2660.05 c #Conflicts: 923000 | #Constraints: 88617
2652.66/2660.05 c #Conflicts: 924000 | #Constraints: 89617
2652.66/2660.05 c #Conflicts: 925000 | #Constraints: 90617
2652.66/2660.05 c #Conflicts: 926000 | #Constraints: 91617
2652.66/2660.05 c #Conflicts: 927000 | #Constraints: 92617
2652.66/2660.05 c #Conflicts: 928000 | #Constraints: 93617
2652.66/2660.05 c #Conflicts: 929000 | #Constraints: 94617
2652.66/2660.05 c #Conflicts: 930000 | #Constraints: 95617
2652.66/2660.05 c #Conflicts: 931000 | #Constraints: 96617
2652.66/2660.05 c #Conflicts: 932000 | #Constraints: 97617
2652.66/2660.05 c #Conflicts: 933000 | #Constraints: 98617
2652.66/2660.05 c #Conflicts: 934000 | #Constraints: 99617
2652.66/2660.05 c #Conflicts: 935000 | #Constraints: 100617
2652.66/2660.05 c #Conflicts: 936000 | #Constraints: 101617
2652.66/2660.05 c #Conflicts: 937000 | #Constraints: 102617
2652.66/2660.05 c #Conflicts: 938000 | #Constraints: 103617
2652.66/2660.05 c INPROCESSING
2652.66/2660.05 c GARBAGE COLLECT
2652.66/2660.05 c #Conflicts: 939000 | #Constraints: 54037
2652.66/2660.05 c #Conflicts: 940000 | #Constraints: 55037
2652.66/2660.05 c #Conflicts: 941000 | #Constraints: 56037
2652.66/2660.05 c #Conflicts: 942000 | #Constraints: 57037
2652.66/2660.05 c #Conflicts: 943000 | #Constraints: 58037
2652.66/2660.05 c #Conflicts: 944000 | #Constraints: 59037
2652.66/2660.05 c #Conflicts: 945000 | #Constraints: 60037
2652.66/2660.05 c #Conflicts: 946000 | #Constraints: 61037
2652.66/2660.05 c #Conflicts: 947000 | #Constraints: 62037
2652.66/2660.05 c #Conflicts: 948000 | #Constraints: 63037
2652.66/2660.05 c #Conflicts: 949000 | #Constraints: 64037
2652.66/2660.05 c #Conflicts: 950000 | #Constraints: 65037
2652.66/2660.05 c #Conflicts: 951000 | #Constraints: 66037
2652.66/2660.05 c #Conflicts: 952000 | #Constraints: 67037
2652.66/2660.05 c #Conflicts: 953000 | #Constraints: 68037
2652.66/2660.05 c #Conflicts: 954000 | #Constraints: 69037
2652.66/2660.05 c #Conflicts: 955000 | #Constraints: 70037
2652.66/2660.05 c #Conflicts: 956000 | #Constraints: 71037
2652.66/2660.05 c #Conflicts: 957000 | #Constraints: 72037
2652.66/2660.05 c #Conflicts: 958000 | #Constraints: 73037
2652.66/2660.05 c #Conflicts: 959000 | #Constraints: 74037
2652.66/2660.05 c #Conflicts: 960000 | #Constraints: 75037
2652.66/2660.05 c INPROCESSING
2652.66/2660.05 c GARBAGE COLLECT
2652.66/2660.05 c #Conflicts: 961000 | #Constraints: 39811
2652.66/2660.05 c #Conflicts: 962000 | #Constraints: 40811
2652.66/2660.05 c #Conflicts: 963000 | #Constraints: 41811
2652.66/2660.05 c #Conflicts: 964000 | #Constraints: 42811
2652.66/2660.05 c #Conflicts: 965000 | #Constraints: 43811
2652.66/2660.05 c #Conflicts: 966000 | #Constraints: 44811
2652.66/2660.05 c #Conflicts: 967000 | #Constraints: 45811
2652.66/2660.05 c #Conflicts: 968000 | #Constraints: 46811
2652.66/2660.05 c #Conflicts: 969000 | #Constraints: 47811
2652.66/2660.05 c #Conflicts: 970000 | #Constraints: 48811
2652.66/2660.05 c #Conflicts: 971000 | #Constraints: 49811
2652.66/2660.05 c #Conflicts: 972000 | #Constraints: 50811
2652.66/2660.05 c #Conflicts: 973000 | #Constraints: 51811
2652.66/2660.05 c #Conflicts: 974000 | #Constraints: 52811
2652.66/2660.05 c #Conflicts: 975000 | #Constraints: 53811
2652.66/2660.05 c #Conflicts: 976000 | #Constraints: 54811
2652.66/2660.05 c #Conflicts: 977000 | #Constraints: 55811
2652.66/2660.05 c #Conflicts: 978000 | #Constraints: 56811
2652.66/2660.05 c #Conflicts: 979000 | #Constraints: 57811
2652.66/2660.05 c #Conflicts: 980000 | #Constraints: 58811
2652.66/2660.05 c #Conflicts: 981000 | #Constraints: 59811
2652.66/2660.05 c #Conflicts: 982000 | #Constraints: 60811
2652.66/2660.05 c INPROCESSING
2652.66/2660.05 c GARBAGE COLLECT
2652.66/2660.05 c #Conflicts: 983000 | #Constraints: 32632
3100.39/3109.00 c #Conflicts: 984000 | #Constraints: 33632
3100.39/3109.00 c #Conflicts: 985000 | #Constraints: 34632
3100.39/3109.00 c #Conflicts: 986000 | #Constraints: 35632
3100.39/3109.00 c #Conflicts: 987000 | #Constraints: 36632
3100.39/3109.00 c #Conflicts: 988000 | #Constraints: 37632
3100.39/3109.00 c #Conflicts: 989000 | #Constraints: 38632
3100.39/3109.00 c #Conflicts: 990000 | #Constraints: 39632
3100.39/3109.00 c #Conflicts: 991000 | #Constraints: 40632
3100.39/3109.00 c #Conflicts: 992000 | #Constraints: 41632
3100.39/3109.00 c #Conflicts: 993000 | #Constraints: 42632
3100.39/3109.00 c #Conflicts: 994000 | #Constraints: 43632
3100.39/3109.00 c #Conflicts: 995000 | #Constraints: 44632
3100.39/3109.00 c #Conflicts: 996000 | #Constraints: 45632
3100.39/3109.00 c #Conflicts: 997000 | #Constraints: 46632
3100.39/3109.00 c #Conflicts: 998000 | #Constraints: 47632
3100.39/3109.00 c #Conflicts: 999000 | #Constraints: 48632
3100.39/3109.00 c #Conflicts: 1000000 | #Constraints: 49632
3100.39/3109.00 c #Conflicts: 1001000 | #Constraints: 50632
3100.39/3109.00 c #Conflicts: 1002000 | #Constraints: 51632
3100.39/3109.00 c #Conflicts: 1003000 | #Constraints: 52632
3100.39/3109.00 c #Conflicts: 1004000 | #Constraints: 53632
3100.39/3109.00 c #Conflicts: 1005000 | #Constraints: 54632
3100.39/3109.00 c #Conflicts: 1006000 | #Constraints: 55632
3100.39/3109.00 c #Conflicts: 1007000 | #Constraints: 56632
3100.39/3109.00 c #Conflicts: 1008000 | #Constraints: 57632
3100.39/3109.00 c #Conflicts: 1009000 | #Constraints: 58632
3100.39/3109.00 c #Conflicts: 1010000 | #Constraints: 59632
3100.39/3109.00 c #Conflicts: 1011000 | #Constraints: 60632
3100.39/3109.00 c #Conflicts: 1012000 | #Constraints: 61632
3100.39/3109.00 c #Conflicts: 1013000 | #Constraints: 62632
3100.39/3109.00 c #Conflicts: 1014000 | #Constraints: 63632
3100.39/3109.00 c #Conflicts: 1015000 | #Constraints: 64632
3100.39/3109.00 c #Conflicts: 1016000 | #Constraints: 65632
3100.39/3109.00 c #Conflicts: 1017000 | #Constraints: 66632
3100.39/3109.00 c #Conflicts: 1018000 | #Constraints: 67632
3100.39/3109.00 c #Conflicts: 1019000 | #Constraints: 68632
3100.39/3109.00 c #Conflicts: 1020000 | #Constraints: 69632
3100.39/3109.00 c #Conflicts: 1021000 | #Constraints: 70632
3100.39/3109.00 c #Conflicts: 1022000 | #Constraints: 71632
3100.39/3109.00 c #Conflicts: 1023000 | #Constraints: 72632
3100.39/3109.00 c #Conflicts: 1024000 | #Constraints: 73632
3100.39/3109.00 c #Conflicts: 1025000 | #Constraints: 74632
3100.39/3109.00 c #Conflicts: 1026000 | #Constraints: 75632
3100.39/3109.00 c #Conflicts: 1027000 | #Constraints: 76632
3100.39/3109.00 c #Conflicts: 1028000 | #Constraints: 77632
3100.39/3109.00 c #Conflicts: 1029000 | #Constraints: 78632
3100.39/3109.00 c #Conflicts: 1030000 | #Constraints: 79632
3100.39/3109.00 c #Conflicts: 1031000 | #Constraints: 80632
3100.39/3109.00 c #Conflicts: 1032000 | #Constraints: 81632
3100.39/3109.00 c #Conflicts: 1033000 | #Constraints: 82632
3100.39/3109.00 c #Conflicts: 1034000 | #Constraints: 83632
3100.39/3109.00 c #Conflicts: 1035000 | #Constraints: 84632
3100.39/3109.00 c #Conflicts: 1036000 | #Constraints: 85632
3100.39/3109.00 c #Conflicts: 1037000 | #Constraints: 86632
3100.39/3109.00 c #Conflicts: 1038000 | #Constraints: 87632
3100.39/3109.00 c #Conflicts: 1039000 | #Constraints: 88632
3100.39/3109.00 c #Conflicts: 1040000 | #Constraints: 89632
3100.39/3109.00 c #Conflicts: 1041000 | #Constraints: 90632
3100.39/3109.00 c #Conflicts: 1042000 | #Constraints: 91632
3100.39/3109.00 c #Conflicts: 1043000 | #Constraints: 92632
3100.39/3109.00 c #Conflicts: 1044000 | #Constraints: 93632
3100.39/3109.00 c #Conflicts: 1045000 | #Constraints: 94632
3100.39/3109.00 c #Conflicts: 1046000 | #Constraints: 95632
3100.39/3109.00 c #Conflicts: 1047000 | #Constraints: 96632
3100.39/3109.00 c #Conflicts: 1048000 | #Constraints: 97632
3100.39/3109.00 c #Conflicts: 1049000 | #Constraints: 98632
3100.39/3109.00 c #Conflicts: 1050000 | #Constraints: 99632
3100.39/3109.00 c #Conflicts: 1051000 | #Constraints: 100632
3100.39/3109.00 c #Conflicts: 1052000 | #Constraints: 101632
3100.39/3109.00 c #Conflicts: 1053000 | #Constraints: 102632
3100.39/3109.00 c #Conflicts: 1054000 | #Constraints: 103632
3100.39/3109.00 c #Conflicts: 1055000 | #Constraints: 104632
3100.39/3109.00 c #Conflicts: 1056000 | #Constraints: 105632
3100.39/3109.00 c #Conflicts: 1057000 | #Constraints: 106632
3100.39/3109.00 c #Conflicts: 1058000 | #Constraints: 107632
3100.39/3109.00 c #Conflicts: 1059000 | #Constraints: 108632
3100.39/3109.00 c #Conflicts: 1060000 | #Constraints: 109632
3100.39/3109.00 c INPROCESSING
3100.39/3109.00 c GARBAGE COLLECT
3100.39/3109.00 c #Conflicts: 1061000 | #Constraints: 56996
3521.05/3530.96 c #Conflicts: 1062000 | #Constraints: 57996
3521.05/3530.96 c #Conflicts: 1063000 | #Constraints: 58996
3521.05/3530.96 c #Conflicts: 1064000 | #Constraints: 59996
3521.05/3530.96 c #Conflicts: 1065000 | #Constraints: 60996
3521.05/3530.96 c #Conflicts: 1066000 | #Constraints: 61996
3521.05/3530.96 c #Conflicts: 1067000 | #Constraints: 62996
3521.05/3530.96 c #Conflicts: 1068000 | #Constraints: 63996
3521.05/3530.96 c #Conflicts: 1069000 | #Constraints: 64996
3521.05/3530.96 c #Conflicts: 1070000 | #Constraints: 65996
3521.05/3530.96 c #Conflicts: 1071000 | #Constraints: 66996
3521.05/3530.96 c #Conflicts: 1072000 | #Constraints: 67996
3521.05/3530.96 c #Conflicts: 1073000 | #Constraints: 68996
3521.05/3530.96 c #Conflicts: 1074000 | #Constraints: 69996
3521.05/3530.96 c #Conflicts: 1075000 | #Constraints: 70996
3521.05/3530.96 c #Conflicts: 1076000 | #Constraints: 71996
3521.05/3530.96 c #Conflicts: 1077000 | #Constraints: 72996
3521.05/3530.96 c #Conflicts: 1078000 | #Constraints: 73996
3521.05/3530.96 c #Conflicts: 1079000 | #Constraints: 74996
3521.05/3530.96 c #Conflicts: 1080000 | #Constraints: 75996
3521.05/3530.96 c #Conflicts: 1081000 | #Constraints: 76996
3521.05/3530.96 c #Conflicts: 1082000 | #Constraints: 77996
3521.05/3530.96 c #Conflicts: 1083000 | #Constraints: 78996
3521.05/3530.96 c INPROCESSING
3521.05/3530.96 c GARBAGE COLLECT
3521.05/3530.96 c #Conflicts: 1084000 | #Constraints: 41468
3521.05/3530.96 c #Conflicts: 1085000 | #Constraints: 42468
3521.05/3530.96 c #Conflicts: 1086000 | #Constraints: 43468
3521.05/3530.96 c #Conflicts: 1087000 | #Constraints: 44468
3521.05/3530.96 c #Conflicts: 1088000 | #Constraints: 45468
3521.05/3530.96 c #Conflicts: 1089000 | #Constraints: 46468
3521.05/3530.96 c #Conflicts: 1090000 | #Constraints: 47468
3521.05/3530.96 c #Conflicts: 1091000 | #Constraints: 48468
3521.05/3530.96 c #Conflicts: 1092000 | #Constraints: 49468
3521.05/3530.96 c #Conflicts: 1093000 | #Constraints: 50468
3521.05/3530.96 c #Conflicts: 1094000 | #Constraints: 51468
3521.05/3530.96 c #Conflicts: 1095000 | #Constraints: 52468
3521.05/3530.96 c #Conflicts: 1096000 | #Constraints: 53468
3521.05/3530.96 c #Conflicts: 1097000 | #Constraints: 54468
3521.05/3530.96 c #Conflicts: 1098000 | #Constraints: 55468
3521.05/3530.96 c #Conflicts: 1099000 | #Constraints: 56468
3521.05/3530.96 c #Conflicts: 1100000 | #Constraints: 57468
3521.05/3530.96 c #Conflicts: 1101000 | #Constraints: 58468
3521.05/3530.96 c #Conflicts: 1102000 | #Constraints: 59468
3521.05/3530.96 c #Conflicts: 1103000 | #Constraints: 60468
3521.05/3530.96 c #Conflicts: 1104000 | #Constraints: 61468
3521.05/3530.96 c #Conflicts: 1105000 | #Constraints: 62468
3521.05/3530.96 c #Conflicts: 1106000 | #Constraints: 63468
3521.05/3530.96 c #Conflicts: 1107000 | #Constraints: 64468
3521.05/3530.96 c INPROCESSING
3521.05/3530.96 c GARBAGE COLLECT
3521.05/3530.96 c #Conflicts: 1108000 | #Constraints: 34383
3521.05/3530.96 c #Conflicts: 1109000 | #Constraints: 35383
3521.05/3530.96 c #Conflicts: 1110000 | #Constraints: 36383
3521.05/3530.96 c #Conflicts: 1111000 | #Constraints: 37383
3521.05/3530.96 c #Conflicts: 1112000 | #Constraints: 38383
3521.05/3530.96 c #Conflicts: 1113000 | #Constraints: 39383
3521.05/3530.96 c #Conflicts: 1114000 | #Constraints: 40383
3521.05/3530.96 c #Conflicts: 1115000 | #Constraints: 41383
3521.05/3530.96 c #Conflicts: 1116000 | #Constraints: 42383
3521.05/3530.96 c #Conflicts: 1117000 | #Constraints: 43383
3521.05/3530.96 c #Conflicts: 1118000 | #Constraints: 44383
3521.05/3530.96 c #Conflicts: 1119000 | #Constraints: 45383
3521.05/3530.96 c #Conflicts: 1120000 | #Constraints: 46383
3521.05/3530.96 c #Conflicts: 1121000 | #Constraints: 47383
3521.05/3530.96 c #Conflicts: 1122000 | #Constraints: 48383
3521.05/3530.96 c #Conflicts: 1123000 | #Constraints: 49383
3521.05/3530.96 c #Conflicts: 1124000 | #Constraints: 50383
3521.05/3530.96 c #Conflicts: 1125000 | #Constraints: 51383
3521.05/3530.96 c #Conflicts: 1126000 | #Constraints: 52383
3521.05/3530.96 c #Conflicts: 1127000 | #Constraints: 53383
3521.05/3530.96 c #Conflicts: 1128000 | #Constraints: 54383
3521.05/3530.96 c #Conflicts: 1129000 | #Constraints: 55383
3521.05/3530.96 c #Conflicts: 1130000 | #Constraints: 56383
3521.05/3530.96 c #Conflicts: 1131000 | #Constraints: 57383
3521.05/3530.96 c #Conflicts: 1132000 | #Constraints: 58383
3521.05/3530.96 c #Conflicts: 1133000 | #Constraints: 59383
3521.05/3530.96 c #Conflicts: 1134000 | #Constraints: 60383
3521.05/3530.96 c #Conflicts: 1135000 | #Constraints: 61383
3521.05/3530.96 c #Conflicts: 1136000 | #Constraints: 62383
3521.05/3530.96 c #Conflicts: 1137000 | #Constraints: 63383
3521.05/3530.96 c #Conflicts: 1138000 | #Constraints: 64383
3600.02/3610.10 c #Conflicts: 1139000 | #Constraints: 65383
3600.02/3610.10 c #Conflicts: 1140000 | #Constraints: 66383
3600.02/3610.10 c #Conflicts: 1141000 | #Constraints: 67383
3600.02/3610.10 c #Conflicts: 1142000 | #Constraints: 68383
3600.02/3610.10 c #Conflicts: 1143000 | #Constraints: 69383
3600.02/3610.10 c #Conflicts: 1144000 | #Constraints: 70383
3600.02/3610.10 c #Conflicts: 1145000 | #Constraints: 71383
3600.02/3610.10 c #Conflicts: 1146000 | #Constraints: 72383
3600.02/3610.10 c #Conflicts: 1147000 | #Constraints: 73383
3600.02/3610.10 c #Conflicts: 1148000 | #Constraints: 74383
3600.02/3610.10 c #Conflicts: 1149000 | #Constraints: 75383
3600.02/3610.10 c #Conflicts: 1150000 | #Constraints: 76383
3600.02/3610.10 c #Conflicts: 1151000 | #Constraints: 77383
3600.02/3610.10 c Program interrupted by user.
3600.02/3610.10 c cpu time 3591.39 s
3600.02/3610.10 c deterministic time 352703467667 3.53e+11
3600.02/3610.10 c optimization time 205.804 s
3600.02/3610.10 c total solve time 3385.56 s
3600.02/3610.10 c core-guided solve time 3385.56 s
3600.02/3610.10 c propagation time 3404.22 s
3600.02/3610.10 c conflict analysis time 172.481 s
3600.02/3610.10 c propagations 271939548
3600.02/3610.10 c resolve steps 5165786
3600.02/3610.10 c decisions 5048568
3600.02/3610.10 c conflicts 1151828
3600.02/3610.10 c restarts 2139
3600.02/3610.10 c inprocessing phases 64
3600.02/3610.10 c input clauses 1
3600.02/3610.10 c input cardinalities 0
3600.02/3610.10 c input general constraints 2435
3600.02/3610.10 c input average constraint length 25.41
3600.02/3610.10 c input average constraint degree 233.81
3600.02/3610.10 c learned clauses 336478
3600.02/3610.10 c learned cardinalities 4
3600.02/3610.10 c learned general constraints 815345
3600.02/3610.10 c learned average constraint length 35.11
3600.02/3610.10 c learned average constraint degree 667385.58
3600.02/3610.10 c watched constraints 813903
3600.02/3610.10 c counting constraints 3877
3600.02/3610.10 c gcd simplifications 6142
3600.02/3610.10 c detected cardinalities 4
3600.02/3610.10 c weakened non-implied lits 3795961
3600.02/3610.10 c weakened non-implying lits 1265
3600.02/3610.10 c original variables 1287
3600.02/3610.10 c clausal propagations 668612
3600.02/3610.10 c cardinality propagations 28
3600.02/3610.10 c watched propagations 266152170
3600.02/3610.10 c counting propagations 4489946
3600.02/3610.10 c watch lookups 68393554361
3600.02/3610.10 c watch backjump lookups 64330027863
3600.02/3610.10 c watch checks 132382405219
3600.02/3610.10 c propagation checks 86881507470
3600.02/3610.10 c constraint additions 160845913
3600.02/3610.10 c trail pops 278138724
3600.02/3610.10 c formula constraints 2430
3600.02/3610.10 c learned constraints 1151827
3600.02/3610.10 c bound constraints 6
3600.02/3610.10 c core-guided constraints 0
3600.02/3610.10 c encountered formula constraints 4391039
3600.02/3610.10 c encountered learned constraints 1926575
3600.02/3610.10 c encountered bound constraints 0
3600.02/3610.10 c encountered core-guided constraints 0
3600.02/3610.10 c LP total time 0 s
3600.02/3610.10 c LP solve time 0 s
3600.02/3610.10 c LP constraints added 0
3600.02/3610.10 c LP constraints removed 0
3600.02/3610.10 c LP pivots internal 0
3600.02/3610.10 c LP pivots root 0
3600.02/3610.10 c LP calls 0
3600.02/3610.10 c LP optimalities 0
3600.02/3610.10 c LP no pivot count 0
3600.02/3610.10 c LP infeasibilities 0
3600.02/3610.10 c LP valid Farkas constraints 0
3600.02/3610.10 c LP learned Farkas constraints 0
3600.02/3610.10 c LP basis resets 0
3600.02/3610.10 c LP cycling count 0
3600.02/3610.10 c LP singular count 0
3600.02/3610.10 c LP no primal count 0
3600.02/3610.10 c LP no farkas count 0
3600.02/3610.10 c LP other issue count 0
3600.02/3610.10 c LP Gomory cuts 0
3600.02/3610.10 c LP learned cuts 0
3600.02/3610.10 c LP deleted cuts 0
3600.02/3610.10 c LP encountered Gomory constraints 0
3600.02/3610.10 c LP encountered Farkas constraints 0
3600.02/3610.10 c LP encountered learned Farkas constraints 0
3600.02/3610.10 c CG auxiliary variables introduced 0
3600.02/3610.10 c CG solutions found 0
3600.02/3610.10 c CG cores constructed 6
3600.02/3610.10 c CG core cardinality constraints returned 0
3600.02/3610.10 c CG unit cores 0
3600.02/3610.10 c CG single cores 6
3600.02/3610.10 c CG blocks removed during cardinality reduction 1
3600.02/3610.10 c CG first core best 0
3600.02/3610.10 c CG decision core best 0
3600.02/3610.10 c CG core reduction tie 0
3600.02/3610.10 c CG core degree average 1.00
3600.02/3610.10 c CG core slack average 3.33
3600.02/3610.10 c CG exhausted 0
3600.02/3610.10 c CG exhaust time 0 s
3600.02/3610.10 c CG trimmed 0
3600.02/3610.10 c CG trim time 0.00022 s
3600.02/3610.10 c CG minimized 0
3600.02/3610.10 c CG minimize time 0 s
3600.02/3610.10 c CG am1 prop time 0.000282 s
3600.02/3610.10 c CG # am1s reformulated 0
3600.02/3610.10 c CG lower bound derived from am1s 0
3600.02/3610.10 c CG # clausal cores 5
3600.02/3610.10 c CG # cardinality cores 0
3600.02/3610.10 c CG # pb cores 1
3600.02/3610.10 c CG # pb reforms 0
3600.02/3610.10 c CG # cores discarded because of pb reform 0
3600.02/3610.10 d LOWERBOUND 32
3600.02/3610.10 d NCORES 6
3600.02/3610.10 d NPBCORES 1
3600.02/3610.10 d NPBREFORM 0
3600.02/3610.10 d NTRIMMED 0
3600.02/3610.10 d NEXHAUSTED 0
3600.02/3610.10 d NAM1S 0
3600.02/3610.10 d AM1LB 0
3600.02/3610.10 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62924 MiB free)
memory of node 1: 64465 MiB (63921 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490836-1751370448/watcher-4490836-1751370448 -o /tmp/evaluation-result-4490836-1751370448/solver-4490836-1751370448 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751363225-49198 --watchdog 3760 pb-oll-rs HOME/instance-4490836-1751370448.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=49980, runsolver pid=49976
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.09 4.10 4.09 5/265 49985
/proc/meminfo: memFree=129873600/131250000 swapFree=33010684/33010684
[pid=49980] ppid=49976 vsize=21100 memory=9164 CPUtime=0.09 cores=0,2
/proc/49980/stat : 49980 (pb-oll-rs) R 49976 49980 49188 0 -1 4194304 618 0 0 0 9 0 0 0 20 0 1 0 52667370 21606400 2291 18446744073709551615 4218880 5211445 140726472278112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 8282112 140726472280476 140726472280553 140726472280553 140726472286155 0
/proc/49980/statm: 5275 2291 1344 243 0 1524 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21100 KiB
Current children cumulated memory: 9164 KiB
[startup+0.205495 s]*
/proc/loadavg: 4.09 4.10 4.09 5/265 49985
/proc/meminfo: memFree=129868656/131250000 swapFree=33010684/33010684
[pid=49980] ppid=49976 vsize=21368 memory=9420 CPUtime=0.19 cores=0,2
/proc/49980/stat : 49980 (pb-oll-rs) R 49976 49980 49188 0 -1 4194304 695 0 0 0 19 0 0 0 20 0 1 0 52667370 21880832 2355 18446744073709551615 4218880 5211445 140726472278112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 8282112 140726472280476 140726472280553 140726472280553 140726472286155 0
/proc/49980/statm: 5342 2355 1344 243 0 1591 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 21368 KiB
Current children cumulated memory: 9420 KiB
[startup+0.30536 s]*
/proc/loadavg: 4.09 4.10 4.09 5/265 49985
/proc/meminfo: memFree=129868656/131250000 swapFree=33010684/33010684
[pid=49980] ppid=49976 vsize=21368 memory=9548 CPUtime=0.29 cores=0,2
/proc/49980/stat : 49980 (pb-oll-rs) R 49976 49980 49188 0 -1 4194304 714 0 0 0 29 0 0 0 20 0 1 0 52667370 21880832 2387 18446744073709551615 4218880 5211445 140726472278112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 8282112 140726472280476 140726472280553 140726472280553 140726472286155 0
/proc/49980/statm: 5342 2387 1344 243 0 1591 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 21368 KiB
Current children cumulated memory: 9548 KiB
[startup+0.700179 s]
/proc/loadavg: 4.09 4.10 4.09 4/262 49985
/proc/meminfo: memFree=129853536/131250000 swapFree=33010684/33010684
[pid=49980] ppid=49976 vsize=21640 memory=9676 CPUtime=0.68 cores=0,2
/proc/49980/stat : 49980 (pb-oll-rs) R 49976 49980 49188 0 -1 4194304 755 0 0 0 67 1 0 0 20 0 1 0 52667370 22159360 2419 18446744073709551615 4218880 5211445 140726472278112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 8282112 140726472280476 140726472280553 140726472280553 140726472286155 0
/proc/49980/statm: 5410 2419 1344 243 0 1659 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 21640 KiB
Current children cumulated memory: 9676 KiB
[startup+1.50016 s]
/proc/loadavg: 4.09 4.10 4.09 5/261 50016
/proc/meminfo: memFree=129852960/131250000 swapFree=33010684/33010684
[pid=49980] ppid=49976 vsize=21932 memory=10060 CPUtime=1.48 cores=0,2
/proc/49980/stat : 49980 (pb-oll-rs) R 49976 49980 49188 0 -1 4194304 841 0 0 0 145 3 0 0 20 0 1 0 52667370 22458368 2515 18446744073709551615 4218880 5211445 140726472278112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 8282112 140726472280476 140726472280553 140726472280553 140726472286155 0
/proc/49980/statm: 5483 2515 1344 243 0 1732 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 21932 KiB
Current children cumulated memory: 10060 KiB
[startup+3.10531 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 50030
/proc/meminfo: memFree=129850000/131250000 swapFree=33010684/33010684
[pid=49980] ppid=49976 vsize=22492 memory=10444 CPUtime=3.08 cores=0,2
/proc/49980/stat : 49980 (pb-oll-rs) R 49976 49980 49188 0 -1 4194304 956 0 0 0 302 6 0 0 20 0 1 0 52667370 23031808 2611 18446744073709551615 4218880 5211445 140726472278112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 8282112 140726472280476 140726472280553 140726472280553 140726472286155 0
/proc/49980/statm: 5623 2611 1344 243 0 1872 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 22492 KiB
Current children cumulated memory: 10444 KiB
[startup+6.30014 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 50030
/proc/meminfo: memFree=129850052/131250000 swapFree=33010684/33010684
[pid=49980] ppid=49976 vsize=22876 memory=10956 CPUtime=6.26 cores=0,2
/proc/49980/stat : 49980 (pb-oll-rs) R 49976 49980 49188 0 -1 4194304 1100 0 0 0 615 11 0 0 20 0 1 0 52667370 23425024 2739 18446744073709551615 4218880 5211445 140726472278112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 8282112 140726472280476 140726472280553 140726472280553 140726472286155 0
/proc/49980/statm: 5719 2739 1344 243 0 1968 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 22876 KiB
Current children cumulated memory: 10956 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 50030
/proc/meminfo: memFree=129848040/131250000 swapFree=33010684/33010684
[pid=49980] ppid=49976 vsize=23612 memory=13696 CPUtime=12.65 cores=0,2
/proc/49980/stat : 49980 (pb-oll-rs) R 49976 49980 49188 0 -1 4194304 1307 0 0 0 1244 21 0 0 20 0 1 0 52667370 24178688 3424 18446744073709551615 4218880 5211445 140726472278112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 8282112 140726472280476 140726472280553 140726472280553 140726472286155 0
/proc/49980/statm: 5903 3424 1344 243 0 2152 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 23612 KiB
Current children cumulated memory: 13696 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.09 4.09 5/265 50030
/proc/meminfo: memFree=129842752/131250000 swapFree=33010684/33010684
[pid=49980] ppid=49976 vsize=24476 memory=14464 CPUtime=25.42 cores=0,2
/proc/49980/stat : 49980 (pb-oll-rs) R 49976 49980 49188 0 -1 4194304 1567 0 0 0 2508 34 0 0 20 0 1 0 52667370 25063424 3616 18446744073709551615 4218880 5211445 140726472278112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 8282112 140726472280476 140726472280553 140726472280553 140726472286155 0
/proc/49980/statm: 6119 3616 1344 243 0 2368 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 24476 KiB
Current children cumulated memory: 14464 KiB
[startup+51.1054 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 50031
/proc/meminfo: memFree=129832404/131250000 swapFree=33010684/33010684
[pid=49980] ppid=49976 vsize=25436 memory=15488 CPUtime=50.96 cores=0,2
/proc/49980/stat : 49980 (pb-oll-rs) R 49976 49980 49188 0 -1 4194304 1892 0 0 0 5036 60 0 0 20 0 1 0 52667370 26046464 3872 18446744073709551615 4218880 5211445 140726472278112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 8282112 140726472280476 140726472280553 140726472280553 140726472286155 0
/proc/49980/statm: 6359 3872 1344 243 0 2608 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 25436 KiB
Current children cumulated memory: 15488 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 50036
/proc/meminfo: memFree=129795816/131250000 swapFree=33010684/33010684
[pid=49980] ppid=49976 vsize=39276 memory=27452 CPUtime=102.01 cores=0,2
/proc/49980/stat : 49980 (pb-oll-rs) R 49976 49980 49188 0 -1 4194304 4513 0 0 0 10101 100 0 0 20 0 1 0 52667370 40218624 6863 18446744073709551615 4218880 5211445 140726472278112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 8282112 140726472280476 140726472280553 140726472280553 140726472286155 0
/proc/49980/statm: 9819 6863 1344 243 0 6068 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 39276 KiB
Current children cumulated memory: 27452 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/266 50041
/proc/meminfo: memFree=129799512/131250000 swapFree=33010684/33010684
[pid=49980] ppid=49976 vsize=47772 memory=29096 CPUtime=161.85 cores=0,2
/proc/49980/stat : 49980 (pb-oll-rs) R 49976 49980 49188 0 -1 4194304 5076 0 0 0 16047 138 0 0 20 0 1 0 52667370 48918528 7274 18446744073709551615 4218880 5211445 140726472278112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 8282112 140726472280476 140726472280553 140726472280553 140726472286155 0
/proc/49980/statm: 11943 7274 1344 243 0 8192 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 47772 KiB
Current children cumulated memory: 29096 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 50043
/proc/meminfo: memFree=129789348/131250000 swapFree=33010684/33010684
[pid=49980] ppid=49976 vsize=49656 memory=33680 CPUtime=221.68 cores=0,2
/proc/49980/stat : 49980 (pb-oll-rs) R 49976 49980 49188 0 -1 4194304 5847 0 0 0 22002 166 0 0 20 0 1 0 52667370 50847744 8420 18446744073709551615 4218880 5211445 140726472278112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 8282112 140726472280476 140726472280553 140726472280553 140726472286155 0
/proc/49980/statm: 12414 8420 1344 243 0 8663 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 49656 KiB
Current children cumulated memory: 33680 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 50045
/proc/meminfo: memFree=129764924/131250000 swapFree=33010684/33010684
[pid=49980] ppid=49976 vsize=49968 memory=34960 CPUtime=281.51 cores=0,2
/proc/49980/stat : 49980 (pb-oll-rs) R 49976 49980 49188 0 -1 4194304 5900 0 0 0 27955 196 0 0 20 0 1 0 52667370 51167232 8740 18446744073709551615 4218880 5211445 140726472278112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 8282112 140726472280476 140726472280553 140726472280553 140726472286155 0
/proc/49980/statm: 12492 8740 1344 243 0 8741 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 49968 KiB
Current children cumulated memory: 34960 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 50048
/proc/meminfo: memFree=129785824/131250000 swapFree=33010684/33010684
[pid=49980] ppid=49976 vsize=50548 memory=37548 CPUtime=341.36 cores=0,2
/proc/49980/stat : 49980 (pb-oll-rs) R 49976 49980 49188 0 -1 4194304 6062 0 0 0 33922 214 0 0 20 0 1 0 52667370 51761152 9387 18446744073709551615 4218880 5211445 140726472278112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 8282112 140726472280476 140726472280553 140726472280553 140726472286155 0
/proc/49980/statm: 12637 9387 1344 243 0 8886 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 50548 KiB
Current children cumulated memory: 37548 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 50050
/proc/meminfo: memFree=129784664/131250000 swapFree=33010684/33010684
[pid=49980] ppid=49976 vsize=51812 memory=38880 CPUtime=401.2 cores=0,2
/proc/49980/stat : 49980 (pb-oll-rs) R 49976 49980 49188 0 -1 4194304 6553 0 0 0 39887 233 0 0 20 0 1 0 52667370 53055488 9720 18446744073709551615 4218880 5211445 140726472278112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 8282112 140726472280476 140726472280553 140726472280553 140726472286155 0
/proc/49980/statm: 12953 9720 1344 243 0 9202 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 51812 KiB
Current children cumulated memory: 38880 KiB
[startup+462.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 50052
/proc/meminfo: memFree=129782608/131250000 swapFree=33010684/33010684
[pid=49980] ppid=49976 vsize=51812 memory=38880 CPUtime=461.05 cores=0,2
/proc/49980/stat : 49980 (pb-oll-rs) R 49976 49980 49188 0 -1 4194304 6574 0 0 0 45851 254 0 0 20 0 1 0 52667370 53055488 9720 18446744073709551615 4218880 5211445 140726472278112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 8282112 140726472280476 140726472280553 140726472280553 140726472286155 0
/proc/49980/statm: 12953 9720 1344 243 0 9202 0
################
# More data... #
################
Current children cumulated memory: 66392 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/264 50223
/proc/meminfo: memFree=129463528/131250000 swapFree=33010684/33010684
[pid=49980] ppid=49976 vsize=77048 memory=66392 CPUtime=2914.21 cores=0,2
/proc/49980/stat : 49980 (pb-oll-rs) R 49976 49980 49188 0 -1 4194304 12171 0 0 0 290665 756 0 0 20 0 1 0 52667370 78897152 16598 18446744073709551615 4218880 5211445 140726472278112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 8282112 140726472280476 140726472280553 140726472280553 140726472286155 0
/proc/49980/statm: 19262 16598 1344 243 0 15511 0
Current children cumulated CPU time: 2914.21 s
Current children cumulated vsize: 77048 KiB
Current children cumulated memory: 66392 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/263 50225
/proc/meminfo: memFree=129464716/131250000 swapFree=33010684/33010684
[pid=49980] ppid=49976 vsize=77448 memory=66648 CPUtime=2974.05 cores=0,2
/proc/49980/stat : 49980 (pb-oll-rs) R 49976 49980 49188 0 -1 4194304 12217 0 0 0 296640 765 0 0 20 0 1 0 52667370 79306752 16662 18446744073709551615 4218880 5211445 140726472278112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 8282112 140726472280476 140726472280553 140726472280553 140726472286155 0
/proc/49980/statm: 19362 16662 1344 243 0 15611 0
Current children cumulated CPU time: 2974.05 s
Current children cumulated vsize: 77448 KiB
Current children cumulated memory: 66648 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/263 50227
/proc/meminfo: memFree=129458952/131250000 swapFree=33010684/33010684
[pid=49980] ppid=49976 vsize=78472 memory=67160 CPUtime=3033.87 cores=0,2
/proc/49980/stat : 49980 (pb-oll-rs) R 49976 49980 49188 0 -1 4194304 12362 0 0 0 302614 773 0 0 20 0 1 0 52667370 80355328 16790 18446744073709551615 4218880 5211445 140726472278112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 8282112 140726472280476 140726472280553 140726472280553 140726472286155 0
/proc/49980/statm: 19618 16790 1344 243 0 15867 0
Current children cumulated CPU time: 3033.87 s
Current children cumulated vsize: 78472 KiB
Current children cumulated memory: 67160 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/263 50229
/proc/meminfo: memFree=129460336/131250000 swapFree=33010684/33010684
[pid=49980] ppid=49976 vsize=98976 memory=70656 CPUtime=3093.7 cores=0,2
/proc/49980/stat : 49980 (pb-oll-rs) R 49976 49980 49188 0 -1 4194304 12714 0 0 0 308590 780 0 0 20 0 1 0 52667370 101351424 17664 18446744073709551615 4218880 5211445 140726472278112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 8282112 140726472280476 140726472280553 140726472280553 140726472286155 0
/proc/49980/statm: 24744 17664 1344 243 0 20993 0
Current children cumulated CPU time: 3093.7 s
Current children cumulated vsize: 98976 KiB
Current children cumulated memory: 70656 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/262 50233
/proc/meminfo: memFree=129459024/131250000 swapFree=33010684/33010684
[pid=49980] ppid=49976 vsize=98976 memory=70920 CPUtime=3153.52 cores=0,2
/proc/49980/stat : 49980 (pb-oll-rs) R 49976 49980 49188 0 -1 4194304 13041 0 0 0 314563 789 0 0 20 0 1 0 52667370 101351424 17730 18446744073709551615 4218880 5211445 140726472278112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 8282112 140726472280476 140726472280553 140726472280553 140726472286155 0
/proc/49980/statm: 24744 17730 1344 243 0 20993 0
Current children cumulated CPU time: 3153.52 s
Current children cumulated vsize: 98976 KiB
Current children cumulated memory: 70920 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 50240
/proc/meminfo: memFree=129456396/131250000 swapFree=33010684/33010684
[pid=49980] ppid=49976 vsize=98976 memory=72200 CPUtime=3213.35 cores=0,2
/proc/49980/stat : 49980 (pb-oll-rs) R 49976 49980 49188 0 -1 4194304 13042 0 0 0 320537 798 0 0 20 0 1 0 52667370 101351424 18050 18446744073709551615 4218880 5211445 140726472278112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 8282112 140726472280476 140726472280553 140726472280553 140726472286155 0
/proc/49980/statm: 24744 18050 1344 243 0 20993 0
Current children cumulated CPU time: 3213.35 s
Current children cumulated vsize: 98976 KiB
Current children cumulated memory: 72200 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 50242
/proc/meminfo: memFree=129448568/131250000 swapFree=33010684/33010684
[pid=49980] ppid=49976 vsize=99616 memory=72456 CPUtime=3273.18 cores=0,2
/proc/49980/stat : 49980 (pb-oll-rs) R 49976 49980 49188 0 -1 4194304 13139 0 0 0 326512 806 0 0 20 0 1 0 52667370 102006784 18114 18446744073709551615 4218880 5211445 140726472278112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 8282112 140726472280476 140726472280553 140726472280553 140726472286155 0
/proc/49980/statm: 24904 18114 1344 243 0 21153 0
Current children cumulated CPU time: 3273.18 s
Current children cumulated vsize: 99616 KiB
Current children cumulated memory: 72456 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 50244
/proc/meminfo: memFree=129449500/131250000 swapFree=33010684/33010684
[pid=49980] ppid=49976 vsize=99616 memory=72456 CPUtime=3333.01 cores=0,2
/proc/49980/stat : 49980 (pb-oll-rs) R 49976 49980 49188 0 -1 4194304 13139 0 0 0 332486 815 0 0 20 0 1 0 52667370 102006784 18114 18446744073709551615 4218880 5211445 140726472278112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 8282112 140726472280476 140726472280553 140726472280553 140726472286155 0
/proc/49980/statm: 24904 18114 1344 243 0 21153 0
Current children cumulated CPU time: 3333.01 s
Current children cumulated vsize: 99616 KiB
Current children cumulated memory: 72456 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 50247
/proc/meminfo: memFree=129450628/131250000 swapFree=33010684/33010684
[pid=49980] ppid=49976 vsize=99616 memory=72456 CPUtime=3392.82 cores=0,2
/proc/49980/stat : 49980 (pb-oll-rs) R 49976 49980 49188 0 -1 4194304 13139 0 0 0 338458 824 0 0 20 0 1 0 52667370 102006784 18114 18446744073709551615 4218880 5211445 140726472278112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 8282112 140726472280476 140726472280553 140726472280553 140726472286155 0
/proc/49980/statm: 24904 18114 1344 243 0 21153 0
Current children cumulated CPU time: 3392.82 s
Current children cumulated vsize: 99616 KiB
Current children cumulated memory: 72456 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 50249
/proc/meminfo: memFree=129447204/131250000 swapFree=33010684/33010684
[pid=49980] ppid=49976 vsize=99616 memory=72584 CPUtime=3452.66 cores=0,2
/proc/49980/stat : 49980 (pb-oll-rs) R 49976 49980 49188 0 -1 4194304 13170 0 0 0 344429 837 0 0 20 0 1 0 52667370 102006784 18146 18446744073709551615 4218880 5211445 140726472278112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 8282112 140726472280476 140726472280553 140726472280553 140726472286155 0
/proc/49980/statm: 24904 18146 1344 243 0 21153 0
Current children cumulated CPU time: 3452.66 s
Current children cumulated vsize: 99616 KiB
Current children cumulated memory: 72584 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/263 50251
/proc/meminfo: memFree=129441668/131250000 swapFree=33010684/33010684
[pid=49980] ppid=49976 vsize=99616 memory=72584 CPUtime=3512.47 cores=0,2
/proc/49980/stat : 49980 (pb-oll-rs) R 49976 49980 49188 0 -1 4194304 13170 0 0 0 350399 848 0 0 20 0 1 0 52667370 102006784 18146 18446744073709551615 4218880 5211445 140726472278112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 8282112 140726472280476 140726472280553 140726472280553 140726472286155 0
/proc/49980/statm: 24904 18146 1344 243 0 21153 0
Current children cumulated CPU time: 3512.47 s
Current children cumulated vsize: 99616 KiB
Current children cumulated memory: 72584 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 50253
/proc/meminfo: memFree=129437532/131250000 swapFree=33010684/33010684
[pid=49980] ppid=49976 vsize=99616 memory=72584 CPUtime=3572.3 cores=0,2
/proc/49980/stat : 49980 (pb-oll-rs) R 49976 49980 49188 0 -1 4194304 13170 0 0 0 356371 859 0 0 20 0 1 0 52667370 102006784 18146 18446744073709551615 4218880 5211445 140726472278112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 8282112 140726472280476 140726472280553 140726472280553 140726472286155 0
/proc/49980/statm: 24904 18146 1344 243 0 21153 0
Current children cumulated CPU time: 3572.3 s
Current children cumulated vsize: 99616 KiB
Current children cumulated memory: 72584 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 50255
/proc/meminfo: memFree=129440816/131250000 swapFree=33010684/33010684
[pid=49980] ppid=49976 vsize=99616 memory=72584 CPUtime=3600.02 cores=0,2
/proc/49980/stat : 49980 (pb-oll-rs) R 49976 49980 49188 0 -1 4194304 13170 0 0 0 359138 864 0 0 20 0 1 0 52667370 102006784 18146 18446744073709551615 4218880 5211445 140726472278112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 8282112 140726472280476 140726472280553 140726472280553 140726472286155 0
/proc/49980/statm: 24904 18146 1344 243 0 21153 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 99616 KiB
Current children cumulated memory: 72584 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 49980 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.39 s, system=8.64147 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 50255
/proc/meminfo: memFree=129440816/131250000 swapFree=33010684/33010684
[pid=49980] ppid=49976 vsize=99616 memory=72584 CPUtime=3600.02 cores=0,2
/proc/49980/stat : 49980 (pb-oll-rs) R 49976 49980 49188 0 -1 4194304 13170 0 0 0 359138 864 0 0 20 0 1 0 52667370 102006784 18146 18446744073709551615 4218880 5211445 140726472278112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 8282112 140726472280476 140726472280553 140726472280553 140726472286155 0
/proc/49980/statm: 24904 18146 1344 243 0 21153 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 99616 KiB
Current children cumulated memory: 72584 KiB
Child status: 0
Real time (s): 3610.11
CPU time (s): 3600.03
CPU user time (s): 3591.39
CPU system time (s): 8.64147
CPU usage (%): 99.7209
Max. virtual memory (cumulated for all children) (KiB): 99616
Max. memory (cumulated for all children) (KiB): 72584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.39
system time used= 8.64147
maximum resident set size= 72840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13185
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= 114
involuntary context switches= 5110
# summary of solver processes directly reported to runsolver:
# pid: 49980
# total CPU time (s): 3600.03
# total CPU user time (s): 3591.39
# total CPU system time (s): 8.64147
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.79934 second user time and 15.7196 second system time
The end
Begin job on nodeC028 at 2025-07-01 13:47:28
IDJOB=4490836
IDBENCH=147623
IDSOLVER=3345
FILE ID=nodeC028/4490836-1751370448
RUNJOBID= nodeC028-1751363225-49198
SLURM_JOB_ID= 9598179
Free space on /tmp= 433052 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_11.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490836-1751370448/watcher-4490836-1751370448 -o /tmp/evaluation-result-4490836-1751370448/solver-4490836-1751370448 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751363225-49198 --watchdog 3760 pb-oll-rs HOME/instance-4490836-1751370448.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 615ef0f28fa6784c486981c328c6a987
RANDOM SEED=299059909
nodeC028 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.356
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 : 7000.16
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 : 3009.115
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 : 7000.16
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.059
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 : 7000.16
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 : 3358.794
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 : 7000.16
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.079
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 : 7000.16
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 : 1200.183
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 : 7000.16
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 : 3600.323
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 : 7000.16
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 : 2787.618
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 : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129894572 kB
MemAvailable: 129774460 kB
Buffers: 3280 kB
Cached: 687376 kB
SwapCached: 0 kB
Active: 371648 kB
Inactive: 430584 kB
Active(anon): 129644 kB
Inactive(anon): 0 kB
Active(file): 242004 kB
Inactive(file): 430584 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 9740 kB
Writeback: 0 kB
AnonPages: 114744 kB
Mapped: 104744 kB
Shmem: 18068 kB
KReclaimable: 93076 kB
Slab: 179596 kB
SReclaimable: 93076 kB
SUnreclaim: 86520 kB
KernelStack: 4176 kB
PageTables: 3152 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 409532 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3712 kB
HardwareCorrupted: 0 kB
AnonHugePages: 55296 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433048 MiB
End job on nodeC028 at 2025-07-01 14:47:39