0.00/0.02 c RoundingSat 2
0.00/0.02 c branch
0.00/0.02 c commit
0.00/0.02 c with Papilo
0.00/0.02 c with SCIP
0.00/0.02 c [STEP] parsing instance
0.17/0.22 c [STEP] preprocessing with Papilo
0.17/0.27 c [STEP] solving with SCIP
299.31/300.34 c [STEP] preprocessing done, loading into solver
299.41/300.40 c [STEP] solving
299.41/300.40 c #variables 5569 #constraints 10895
299.41/300.40 c SMALL=int, LARGE=long long
299.41/300.40 d SCIPUB 256
299.41/300.40 c bounds - >= 0 @ 299.14
299.41/300.40 c stratification level: 0
339.61/340.78 c #Conflicts: 1000 | #Constraints: 11894
339.61/340.78 c #Conflicts: 2000 | #Constraints: 12894
339.61/340.78 c INPROCESSING
339.61/340.78 c #Conflicts: 3000 | #Constraints: 12913
339.61/340.78 c #Conflicts: 4000 | #Constraints: 13913
339.61/340.78 c INPROCESSING
339.61/340.78 c #Conflicts: 5000 | #Constraints: 13333
339.61/340.78 c #Conflicts: 6000 | #Constraints: 14333
339.61/340.78 c INPROCESSING
339.61/340.78 c GARBAGE COLLECT
339.61/340.78 c #Conflicts: 7000 | #Constraints: 13343
339.61/340.78 c #Conflicts: 8000 | #Constraints: 14343
339.61/340.78 c #Conflicts: 9000 | #Constraints: 15343
339.61/340.78 c INPROCESSING
339.61/340.78 c #Conflicts: 10000 | #Constraints: 14052
339.61/340.78 c #Conflicts: 11000 | #Constraints: 15052
339.61/340.78 c #Conflicts: 12000 | #Constraints: 16052
339.61/340.78 c INPROCESSING
339.61/340.78 c GARBAGE COLLECT
339.61/340.78 c #Conflicts: 13000 | #Constraints: 14495
339.61/340.78 c #Conflicts: 14000 | #Constraints: 15495
339.61/340.78 c #Conflicts: 15000 | #Constraints: 16495
339.61/340.78 c INPROCESSING
339.61/340.78 c #Conflicts: 16000 | #Constraints: 14725
339.61/340.78 c #Conflicts: 17000 | #Constraints: 15725
339.61/340.78 c #Conflicts: 18000 | #Constraints: 16725
339.61/340.78 c INPROCESSING
339.61/340.78 c GARBAGE COLLECT
339.61/340.78 c #Conflicts: 19000 | #Constraints: 14738
339.61/340.78 c #Conflicts: 20000 | #Constraints: 15738
339.61/340.78 c #Conflicts: 21000 | #Constraints: 16738
339.61/340.78 c INPROCESSING
339.61/340.78 c GARBAGE COLLECT
339.61/340.78 c #Conflicts: 22000 | #Constraints: 14549
339.61/340.78 c #Conflicts: 23000 | #Constraints: 15549
339.61/340.78 c #Conflicts: 24000 | #Constraints: 16549
339.61/340.78 c #Conflicts: 25000 | #Constraints: 17549
339.61/340.78 c INPROCESSING
339.61/340.78 c GARBAGE COLLECT
339.61/340.78 c #Conflicts: 26000 | #Constraints: 15160
339.61/340.78 c #Conflicts: 27000 | #Constraints: 16160
339.61/340.78 c #Conflicts: 28000 | #Constraints: 17160
339.61/340.78 c #Conflicts: 29000 | #Constraints: 18160
339.61/340.78 c INPROCESSING
339.61/340.78 c GARBAGE COLLECT
339.61/340.78 c #Conflicts: 30000 | #Constraints: 15559
339.61/340.78 c #Conflicts: 31000 | #Constraints: 16559
339.61/340.78 c #Conflicts: 32000 | #Constraints: 17559
339.61/340.78 c #Conflicts: 33000 | #Constraints: 18559
339.61/340.78 c INPROCESSING
339.61/340.78 c GARBAGE COLLECT
339.61/340.78 c #Conflicts: 34000 | #Constraints: 15765
339.61/340.78 c #Conflicts: 35000 | #Constraints: 16765
339.61/340.78 c #Conflicts: 36000 | #Constraints: 17765
339.61/340.78 c #Conflicts: 37000 | #Constraints: 18765
339.61/340.78 c INPROCESSING
339.61/340.78 c GARBAGE COLLECT
339.61/340.78 c #Conflicts: 38000 | #Constraints: 15757
339.61/340.78 c #Conflicts: 39000 | #Constraints: 16757
339.61/340.78 c #Conflicts: 40000 | #Constraints: 17757
339.61/340.78 c #Conflicts: 41000 | #Constraints: 18757
339.61/340.78 c INPROCESSING
339.61/340.78 c GARBAGE COLLECT
339.61/340.78 c #Conflicts: 42000 | #Constraints: 15567
339.61/340.78 c #Conflicts: 43000 | #Constraints: 16567
339.61/340.78 c #Conflicts: 44000 | #Constraints: 17567
339.61/340.78 c #Conflicts: 45000 | #Constraints: 18567
339.61/340.78 c #Conflicts: 46000 | #Constraints: 19567
339.61/340.78 c INPROCESSING
339.61/340.78 c GARBAGE COLLECT
339.61/340.78 c #Conflicts: 47000 | #Constraints: 16164
339.61/340.78 c #Conflicts: 48000 | #Constraints: 17164
339.61/340.78 c #Conflicts: 49000 | #Constraints: 18164
339.61/340.78 c #Conflicts: 50000 | #Constraints: 19164
339.61/340.78 c #Conflicts: 51000 | #Constraints: 20164
339.61/340.78 c INPROCESSING
339.61/340.78 c GARBAGE COLLECT
339.61/340.78 c #Conflicts: 52000 | #Constraints: 16558
339.61/340.78 c #Conflicts: 53000 | #Constraints: 17558
339.61/340.78 c #Conflicts: 54000 | #Constraints: 18558
339.61/340.78 c #Conflicts: 55000 | #Constraints: 19558
339.61/340.78 c #Conflicts: 56000 | #Constraints: 20558
339.61/340.78 c INPROCESSING
339.61/340.78 c GARBAGE COLLECT
339.61/340.78 c #Conflicts: 57000 | #Constraints: 16763
339.61/340.78 c #Conflicts: 58000 | #Constraints: 17763
339.61/340.78 c #Conflicts: 59000 | #Constraints: 18763
339.61/340.78 c #Conflicts: 60000 | #Constraints: 19763
339.61/340.78 c #Conflicts: 61000 | #Constraints: 20763
339.61/340.78 c INPROCESSING
339.61/340.78 c GARBAGE COLLECT
339.61/340.78 c #Conflicts: 62000 | #Constraints: 16759
339.61/340.78 c #Conflicts: 63000 | #Constraints: 17759
339.61/340.78 c #Conflicts: 64000 | #Constraints: 18759
339.61/340.78 c #Conflicts: 65000 | #Constraints: 19759
339.61/340.78 c #Conflicts: 66000 | #Constraints: 20759
339.61/340.78 c INPROCESSING
339.61/340.78 c GARBAGE COLLECT
339.61/340.78 c #Conflicts: 67000 | #Constraints: 16559
339.61/340.78 c #Conflicts: 68000 | #Constraints: 17559
339.61/340.78 c #Conflicts: 69000 | #Constraints: 18559
404.34/405.62 c #Conflicts: 70000 | #Constraints: 19559
404.34/405.62 c #Conflicts: 71000 | #Constraints: 20559
404.34/405.62 c #Conflicts: 72000 | #Constraints: 21559
404.34/405.62 c INPROCESSING
404.34/405.62 c GARBAGE COLLECT
404.34/405.62 c #Conflicts: 73000 | #Constraints: 17158
404.34/405.62 c #Conflicts: 74000 | #Constraints: 18158
404.34/405.62 c #Conflicts: 75000 | #Constraints: 19158
404.34/405.62 c #Conflicts: 76000 | #Constraints: 20158
404.34/405.62 c #Conflicts: 77000 | #Constraints: 21158
404.34/405.62 c #Conflicts: 78000 | #Constraints: 22158
404.34/405.62 c INPROCESSING
404.34/405.62 c GARBAGE COLLECT
404.34/405.62 c #Conflicts: 79000 | #Constraints: 17563
404.34/405.62 c #Conflicts: 80000 | #Constraints: 18563
404.34/405.62 c #Conflicts: 81000 | #Constraints: 19563
404.34/405.62 c #Conflicts: 82000 | #Constraints: 20563
404.34/405.62 c #Conflicts: 83000 | #Constraints: 21563
404.34/405.62 c #Conflicts: 84000 | #Constraints: 22563
404.34/405.62 c INPROCESSING
404.34/405.62 c GARBAGE COLLECT
404.34/405.62 c #Conflicts: 85000 | #Constraints: 17756
404.34/405.62 c #Conflicts: 86000 | #Constraints: 18756
404.34/405.62 c #Conflicts: 87000 | #Constraints: 19756
404.34/405.62 c #Conflicts: 88000 | #Constraints: 20756
404.34/405.62 c #Conflicts: 89000 | #Constraints: 21756
404.34/405.62 c #Conflicts: 90000 | #Constraints: 22756
404.34/405.62 c INPROCESSING
404.34/405.62 c GARBAGE COLLECT
404.34/405.62 c #Conflicts: 91000 | #Constraints: 17759
404.34/405.62 c #Conflicts: 92000 | #Constraints: 18759
404.34/405.62 c #Conflicts: 93000 | #Constraints: 19759
404.34/405.62 c #Conflicts: 94000 | #Constraints: 20759
404.34/405.62 c #Conflicts: 95000 | #Constraints: 21759
404.34/405.62 c #Conflicts: 96000 | #Constraints: 22759
404.34/405.62 c INPROCESSING
404.34/405.62 c GARBAGE COLLECT
404.34/405.62 c #Conflicts: 97000 | #Constraints: 17561
404.34/405.62 c #Conflicts: 98000 | #Constraints: 18561
404.34/405.62 c #Conflicts: 99000 | #Constraints: 19561
404.34/405.62 c #Conflicts: 100000 | #Constraints: 20561
404.34/405.62 c #Conflicts: 101000 | #Constraints: 21561
404.34/405.62 c #Conflicts: 102000 | #Constraints: 22561
404.34/405.62 c #Conflicts: 103000 | #Constraints: 23561
404.34/405.62 c INPROCESSING
404.34/405.62 c GARBAGE COLLECT
404.34/405.62 c #Conflicts: 104000 | #Constraints: 18157
404.34/405.62 c #Conflicts: 105000 | #Constraints: 19157
404.34/405.62 c #Conflicts: 106000 | #Constraints: 20157
404.34/405.62 c #Conflicts: 107000 | #Constraints: 21157
404.34/405.62 c #Conflicts: 108000 | #Constraints: 22157
404.34/405.62 c #Conflicts: 109000 | #Constraints: 23157
404.34/405.62 c #Conflicts: 110000 | #Constraints: 24157
404.34/405.62 c INPROCESSING
404.34/405.62 c GARBAGE COLLECT
404.34/405.62 c #Conflicts: 111000 | #Constraints: 18561
404.34/405.62 c #Conflicts: 112000 | #Constraints: 19561
404.34/405.62 c #Conflicts: 113000 | #Constraints: 20561
404.34/405.62 c #Conflicts: 114000 | #Constraints: 21561
404.34/405.62 c #Conflicts: 115000 | #Constraints: 22561
404.34/405.62 c #Conflicts: 116000 | #Constraints: 23561
404.34/405.62 c #Conflicts: 117000 | #Constraints: 24561
404.34/405.62 c INPROCESSING
404.34/405.62 c GARBAGE COLLECT
404.34/405.62 c #Conflicts: 118000 | #Constraints: 18772
404.34/405.62 c #Conflicts: 119000 | #Constraints: 19772
404.34/405.62 c #Conflicts: 120000 | #Constraints: 20772
404.34/405.62 c #Conflicts: 121000 | #Constraints: 21772
404.34/405.62 c #Conflicts: 122000 | #Constraints: 22772
404.34/405.62 c #Conflicts: 123000 | #Constraints: 23772
404.34/405.62 c #Conflicts: 124000 | #Constraints: 24772
404.34/405.62 c INPROCESSING
404.34/405.62 c GARBAGE COLLECT
404.34/405.62 c #Conflicts: 125000 | #Constraints: 18788
404.34/405.62 c #Conflicts: 126000 | #Constraints: 19788
404.34/405.62 c #Conflicts: 127000 | #Constraints: 20788
404.34/405.62 c #Conflicts: 128000 | #Constraints: 21788
404.34/405.62 c #Conflicts: 129000 | #Constraints: 22788
404.34/405.62 c #Conflicts: 130000 | #Constraints: 23788
404.34/405.62 c #Conflicts: 131000 | #Constraints: 24788
404.34/405.62 c INPROCESSING
404.34/405.62 c GARBAGE COLLECT
404.34/405.62 c #Conflicts: 132000 | #Constraints: 18588
404.34/405.62 c #Conflicts: 133000 | #Constraints: 19588
404.34/405.62 c #Conflicts: 134000 | #Constraints: 20588
404.34/405.62 c #Conflicts: 135000 | #Constraints: 21588
404.34/405.62 c #Conflicts: 136000 | #Constraints: 22588
404.34/405.62 c #Conflicts: 137000 | #Constraints: 23588
404.34/405.62 c #Conflicts: 138000 | #Constraints: 24588
404.34/405.62 c #Conflicts: 139000 | #Constraints: 25588
404.34/405.62 c INPROCESSING
404.34/405.62 c GARBAGE COLLECT
404.34/405.62 c #Conflicts: 140000 | #Constraints: 19180
404.34/405.62 c #Conflicts: 141000 | #Constraints: 20180
489.01/490.52 c #Conflicts: 142000 | #Constraints: 21180
489.01/490.52 c #Conflicts: 143000 | #Constraints: 22180
489.01/490.52 c #Conflicts: 144000 | #Constraints: 23180
489.01/490.52 c #Conflicts: 145000 | #Constraints: 24180
489.01/490.52 c #Conflicts: 146000 | #Constraints: 25180
489.01/490.52 c #Conflicts: 147000 | #Constraints: 26180
489.01/490.52 c INPROCESSING
489.01/490.52 c GARBAGE COLLECT
489.01/490.52 c #Conflicts: 148000 | #Constraints: 19578
489.01/490.52 c #Conflicts: 149000 | #Constraints: 20578
489.01/490.52 c #Conflicts: 150000 | #Constraints: 21578
489.01/490.52 c #Conflicts: 151000 | #Constraints: 22578
489.01/490.52 c #Conflicts: 152000 | #Constraints: 23578
489.01/490.52 c #Conflicts: 153000 | #Constraints: 24578
489.01/490.52 c #Conflicts: 154000 | #Constraints: 25578
489.01/490.52 c #Conflicts: 155000 | #Constraints: 26578
489.01/490.52 c INPROCESSING
489.01/490.52 c GARBAGE COLLECT
489.01/490.52 c #Conflicts: 156000 | #Constraints: 19767
489.01/490.52 c #Conflicts: 157000 | #Constraints: 20767
489.01/490.52 c #Conflicts: 158000 | #Constraints: 21767
489.01/490.52 c #Conflicts: 159000 | #Constraints: 22767
489.01/490.52 c #Conflicts: 160000 | #Constraints: 23767
489.01/490.52 c #Conflicts: 161000 | #Constraints: 24767
489.01/490.52 c #Conflicts: 162000 | #Constraints: 25767
489.01/490.52 c #Conflicts: 163000 | #Constraints: 26767
489.01/490.52 c INPROCESSING
489.01/490.52 c GARBAGE COLLECT
489.01/490.52 c #Conflicts: 164000 | #Constraints: 19786
489.01/490.52 c #Conflicts: 165000 | #Constraints: 20786
489.01/490.52 c #Conflicts: 166000 | #Constraints: 21786
489.01/490.52 c #Conflicts: 167000 | #Constraints: 22786
489.01/490.52 c #Conflicts: 168000 | #Constraints: 23786
489.01/490.52 c #Conflicts: 169000 | #Constraints: 24786
489.01/490.52 c #Conflicts: 170000 | #Constraints: 25786
489.01/490.52 c #Conflicts: 171000 | #Constraints: 26786
489.01/490.52 c INPROCESSING
489.01/490.52 c GARBAGE COLLECT
489.01/490.52 c #Conflicts: 172000 | #Constraints: 19575
489.01/490.52 c #Conflicts: 173000 | #Constraints: 20575
489.01/490.52 c #Conflicts: 174000 | #Constraints: 21575
489.01/490.52 c #Conflicts: 175000 | #Constraints: 22575
489.01/490.52 c #Conflicts: 176000 | #Constraints: 23575
489.01/490.52 c #Conflicts: 177000 | #Constraints: 24575
489.01/490.52 c #Conflicts: 178000 | #Constraints: 25575
489.01/490.52 c #Conflicts: 179000 | #Constraints: 26575
489.01/490.52 c #Conflicts: 180000 | #Constraints: 27575
489.01/490.52 c INPROCESSING
489.01/490.52 c GARBAGE COLLECT
489.01/490.52 c #Conflicts: 181000 | #Constraints: 20177
489.01/490.52 c #Conflicts: 182000 | #Constraints: 21177
489.01/490.52 c #Conflicts: 183000 | #Constraints: 22177
489.01/490.52 c #Conflicts: 184000 | #Constraints: 23177
489.01/490.52 c #Conflicts: 185000 | #Constraints: 24177
489.01/490.52 c #Conflicts: 186000 | #Constraints: 25177
489.01/490.52 c #Conflicts: 187000 | #Constraints: 26177
489.01/490.52 c #Conflicts: 188000 | #Constraints: 27177
489.01/490.52 c #Conflicts: 189000 | #Constraints: 28177
489.01/490.52 c INPROCESSING
489.01/490.52 c GARBAGE COLLECT
489.01/490.52 c #Conflicts: 190000 | #Constraints: 20569
489.01/490.52 c #Conflicts: 191000 | #Constraints: 21569
489.01/490.52 c #Conflicts: 192000 | #Constraints: 22569
489.01/490.52 c #Conflicts: 193000 | #Constraints: 23569
489.01/490.52 c #Conflicts: 194000 | #Constraints: 24569
489.01/490.52 c #Conflicts: 195000 | #Constraints: 25569
489.01/490.52 c #Conflicts: 196000 | #Constraints: 26569
489.01/490.52 c #Conflicts: 197000 | #Constraints: 27569
489.01/490.52 c #Conflicts: 198000 | #Constraints: 28569
489.01/490.52 c INPROCESSING
489.01/490.52 c GARBAGE COLLECT
489.01/490.52 c #Conflicts: 199000 | #Constraints: 20769
489.01/490.52 c #Conflicts: 200000 | #Constraints: 21769
489.01/490.52 c #Conflicts: 201000 | #Constraints: 22769
489.01/490.52 c #Conflicts: 202000 | #Constraints: 23769
489.01/490.52 c #Conflicts: 203000 | #Constraints: 24769
489.01/490.52 c #Conflicts: 204000 | #Constraints: 25769
489.01/490.52 c #Conflicts: 205000 | #Constraints: 26769
489.01/490.52 c #Conflicts: 206000 | #Constraints: 27769
489.01/490.52 c #Conflicts: 207000 | #Constraints: 28769
489.01/490.52 c INPROCESSING
489.01/490.52 c GARBAGE COLLECT
489.01/490.52 c #Conflicts: 208000 | #Constraints: 20771
489.01/490.52 c #Conflicts: 209000 | #Constraints: 21771
489.01/490.52 c #Conflicts: 210000 | #Constraints: 22771
489.01/490.52 c #Conflicts: 211000 | #Constraints: 23771
489.01/490.52 c #Conflicts: 212000 | #Constraints: 24771
489.01/490.52 c #Conflicts: 213000 | #Constraints: 25771
489.01/490.52 c #Conflicts: 214000 | #Constraints: 26771
489.01/490.52 c #Conflicts: 215000 | #Constraints: 27771
590.11/591.93 c #Conflicts: 216000 | #Constraints: 28771
590.11/591.93 c INPROCESSING
590.11/591.93 c GARBAGE COLLECT
590.11/591.93 c #Conflicts: 217000 | #Constraints: 20573
590.11/591.93 c #Conflicts: 218000 | #Constraints: 21573
590.11/591.93 c #Conflicts: 219000 | #Constraints: 22573
590.11/591.93 c #Conflicts: 220000 | #Constraints: 23573
590.11/591.93 c #Conflicts: 221000 | #Constraints: 24573
590.11/591.93 c #Conflicts: 222000 | #Constraints: 25573
590.11/591.93 c #Conflicts: 223000 | #Constraints: 26573
590.11/591.93 c #Conflicts: 224000 | #Constraints: 27573
590.11/591.93 c #Conflicts: 225000 | #Constraints: 28573
590.11/591.93 c #Conflicts: 226000 | #Constraints: 29573
590.11/591.93 c INPROCESSING
590.11/591.93 c GARBAGE COLLECT
590.11/591.93 c #Conflicts: 227000 | #Constraints: 21165
590.11/591.93 c #Conflicts: 228000 | #Constraints: 22165
590.11/591.93 c #Conflicts: 229000 | #Constraints: 23165
590.11/591.93 c #Conflicts: 230000 | #Constraints: 24165
590.11/591.93 c #Conflicts: 231000 | #Constraints: 25165
590.11/591.93 c #Conflicts: 232000 | #Constraints: 26165
590.11/591.93 c #Conflicts: 233000 | #Constraints: 27165
590.11/591.93 c #Conflicts: 234000 | #Constraints: 28165
590.11/591.93 c #Conflicts: 235000 | #Constraints: 29165
590.11/591.93 c #Conflicts: 236000 | #Constraints: 30165
590.11/591.93 c INPROCESSING
590.11/591.93 c GARBAGE COLLECT
590.11/591.93 c #Conflicts: 237000 | #Constraints: 21576
590.11/591.93 c #Conflicts: 238000 | #Constraints: 22576
590.11/591.93 c #Conflicts: 239000 | #Constraints: 23576
590.11/591.93 c #Conflicts: 240000 | #Constraints: 24576
590.11/591.93 c #Conflicts: 241000 | #Constraints: 25576
590.11/591.93 c #Conflicts: 242000 | #Constraints: 26576
590.11/591.93 c #Conflicts: 243000 | #Constraints: 27576
590.11/591.93 c #Conflicts: 244000 | #Constraints: 28576
590.11/591.93 c #Conflicts: 245000 | #Constraints: 29576
590.11/591.93 c #Conflicts: 246000 | #Constraints: 30576
590.11/591.93 c INPROCESSING
590.11/591.93 c GARBAGE COLLECT
590.11/591.93 c #Conflicts: 247000 | #Constraints: 21768
590.11/591.93 c #Conflicts: 248000 | #Constraints: 22768
590.11/591.93 c #Conflicts: 249000 | #Constraints: 23768
590.11/591.93 c #Conflicts: 250000 | #Constraints: 24768
590.11/591.93 c #Conflicts: 251000 | #Constraints: 25768
590.11/591.93 c #Conflicts: 252000 | #Constraints: 26768
590.11/591.93 c #Conflicts: 253000 | #Constraints: 27768
590.11/591.93 c #Conflicts: 254000 | #Constraints: 28768
590.11/591.93 c #Conflicts: 255000 | #Constraints: 29768
590.11/591.93 c #Conflicts: 256000 | #Constraints: 30768
590.11/591.93 c INPROCESSING
590.11/591.93 c GARBAGE COLLECT
590.11/591.93 c #Conflicts: 257000 | #Constraints: 21778
590.11/591.93 c #Conflicts: 258000 | #Constraints: 22778
590.11/591.93 c #Conflicts: 259000 | #Constraints: 23778
590.11/591.93 c #Conflicts: 260000 | #Constraints: 24778
590.11/591.93 c #Conflicts: 261000 | #Constraints: 25778
590.11/591.93 c #Conflicts: 262000 | #Constraints: 26778
590.11/591.93 c #Conflicts: 263000 | #Constraints: 27778
590.11/591.93 c #Conflicts: 264000 | #Constraints: 28778
590.11/591.93 c #Conflicts: 265000 | #Constraints: 29778
590.11/591.93 c #Conflicts: 266000 | #Constraints: 30778
590.11/591.93 c INPROCESSING
590.11/591.93 c GARBAGE COLLECT
590.11/591.93 c #Conflicts: 267000 | #Constraints: 21579
590.11/591.93 c #Conflicts: 268000 | #Constraints: 22579
590.11/591.93 c #Conflicts: 269000 | #Constraints: 23579
590.11/591.93 c #Conflicts: 270000 | #Constraints: 24579
590.11/591.93 c #Conflicts: 271000 | #Constraints: 25579
590.11/591.93 c #Conflicts: 272000 | #Constraints: 26579
590.11/591.93 c #Conflicts: 273000 | #Constraints: 27579
590.11/591.93 c #Conflicts: 274000 | #Constraints: 28579
590.11/591.93 c #Conflicts: 275000 | #Constraints: 29579
590.11/591.93 c #Conflicts: 276000 | #Constraints: 30579
590.11/591.93 c #Conflicts: 277000 | #Constraints: 31579
590.11/591.93 c INPROCESSING
590.11/591.93 c GARBAGE COLLECT
590.11/591.93 c #Conflicts: 278000 | #Constraints: 22174
590.11/591.93 c #Conflicts: 279000 | #Constraints: 23174
590.11/591.93 c #Conflicts: 280000 | #Constraints: 24174
590.11/591.93 c #Conflicts: 281000 | #Constraints: 25174
590.11/591.93 c #Conflicts: 282000 | #Constraints: 26174
590.11/591.93 c #Conflicts: 283000 | #Constraints: 27174
590.11/591.93 c #Conflicts: 284000 | #Constraints: 28174
590.11/591.93 c #Conflicts: 285000 | #Constraints: 29174
590.11/591.93 c #Conflicts: 286000 | #Constraints: 30174
590.11/591.93 c #Conflicts: 287000 | #Constraints: 31174
590.11/591.93 c #Conflicts: 288000 | #Constraints: 32174
590.11/591.93 c INPROCESSING
590.11/591.93 c GARBAGE COLLECT
708.37/710.51 c #Conflicts: 289000 | #Constraints: 22578
708.37/710.51 c #Conflicts: 290000 | #Constraints: 23578
708.37/710.51 c #Conflicts: 291000 | #Constraints: 24578
708.37/710.51 c #Conflicts: 292000 | #Constraints: 25578
708.37/710.51 c #Conflicts: 293000 | #Constraints: 26578
708.37/710.51 c #Conflicts: 294000 | #Constraints: 27578
708.37/710.51 c #Conflicts: 295000 | #Constraints: 28578
708.37/710.51 c #Conflicts: 296000 | #Constraints: 29578
708.37/710.51 c #Conflicts: 297000 | #Constraints: 30578
708.37/710.51 c #Conflicts: 298000 | #Constraints: 31578
708.37/710.51 c #Conflicts: 299000 | #Constraints: 32578
708.37/710.51 c INPROCESSING
708.37/710.51 c GARBAGE COLLECT
708.37/710.51 c #Conflicts: 300000 | #Constraints: 22776
708.37/710.51 c #Conflicts: 301000 | #Constraints: 23776
708.37/710.51 c #Conflicts: 302000 | #Constraints: 24776
708.37/710.51 c #Conflicts: 303000 | #Constraints: 25776
708.37/710.51 c #Conflicts: 304000 | #Constraints: 26776
708.37/710.51 c #Conflicts: 305000 | #Constraints: 27776
708.37/710.51 c #Conflicts: 306000 | #Constraints: 28776
708.37/710.51 c #Conflicts: 307000 | #Constraints: 29776
708.37/710.51 c #Conflicts: 308000 | #Constraints: 30776
708.37/710.51 c #Conflicts: 309000 | #Constraints: 31776
708.37/710.51 c #Conflicts: 310000 | #Constraints: 32776
708.37/710.51 c INPROCESSING
708.37/710.51 c GARBAGE COLLECT
708.37/710.51 c #Conflicts: 311000 | #Constraints: 22786
708.37/710.51 c #Conflicts: 312000 | #Constraints: 23786
708.37/710.51 c #Conflicts: 313000 | #Constraints: 24786
708.37/710.51 c #Conflicts: 314000 | #Constraints: 25786
708.37/710.51 c #Conflicts: 315000 | #Constraints: 26786
708.37/710.51 c #Conflicts: 316000 | #Constraints: 27786
708.37/710.51 c #Conflicts: 317000 | #Constraints: 28786
708.37/710.51 c #Conflicts: 318000 | #Constraints: 29786
708.37/710.51 c #Conflicts: 319000 | #Constraints: 30786
708.37/710.51 c #Conflicts: 320000 | #Constraints: 31786
708.37/710.51 c #Conflicts: 321000 | #Constraints: 32786
708.37/710.51 c INPROCESSING
708.37/710.51 c GARBAGE COLLECT
708.37/710.51 c #Conflicts: 322000 | #Constraints: 22576
708.37/710.51 c #Conflicts: 323000 | #Constraints: 23576
708.37/710.51 c #Conflicts: 324000 | #Constraints: 24576
708.37/710.51 c #Conflicts: 325000 | #Constraints: 25576
708.37/710.51 c #Conflicts: 326000 | #Constraints: 26576
708.37/710.51 c #Conflicts: 327000 | #Constraints: 27576
708.37/710.51 c #Conflicts: 328000 | #Constraints: 28576
708.37/710.51 c #Conflicts: 329000 | #Constraints: 29576
708.37/710.51 c #Conflicts: 330000 | #Constraints: 30576
708.37/710.51 c #Conflicts: 331000 | #Constraints: 31576
708.37/710.51 c #Conflicts: 332000 | #Constraints: 32576
708.37/710.51 c #Conflicts: 333000 | #Constraints: 33576
708.37/710.51 c INPROCESSING
708.37/710.51 c GARBAGE COLLECT
708.37/710.51 c #Conflicts: 334000 | #Constraints: 23172
708.37/710.51 c #Conflicts: 335000 | #Constraints: 24172
708.37/710.51 c #Conflicts: 336000 | #Constraints: 25172
708.37/710.51 c #Conflicts: 337000 | #Constraints: 26172
708.37/710.51 c #Conflicts: 338000 | #Constraints: 27172
708.37/710.51 c #Conflicts: 339000 | #Constraints: 28172
708.37/710.51 c #Conflicts: 340000 | #Constraints: 29172
708.37/710.51 c #Conflicts: 341000 | #Constraints: 30172
708.37/710.51 c #Conflicts: 342000 | #Constraints: 31172
708.37/710.51 c #Conflicts: 343000 | #Constraints: 32172
708.37/710.51 c #Conflicts: 344000 | #Constraints: 33172
708.37/710.51 c #Conflicts: 345000 | #Constraints: 34172
708.37/710.51 c INPROCESSING
708.37/710.51 c GARBAGE COLLECT
708.37/710.51 c #Conflicts: 346000 | #Constraints: 23583
708.37/710.51 c #Conflicts: 347000 | #Constraints: 24583
708.37/710.51 c #Conflicts: 348000 | #Constraints: 25583
708.37/710.51 c #Conflicts: 349000 | #Constraints: 26583
708.37/710.51 c #Conflicts: 350000 | #Constraints: 27583
708.37/710.51 c #Conflicts: 351000 | #Constraints: 28583
708.37/710.51 c #Conflicts: 352000 | #Constraints: 29583
708.37/710.51 c #Conflicts: 353000 | #Constraints: 30583
708.37/710.51 c #Conflicts: 354000 | #Constraints: 31583
708.37/710.51 c #Conflicts: 355000 | #Constraints: 32583
708.37/710.51 c #Conflicts: 356000 | #Constraints: 33583
708.37/710.51 c #Conflicts: 357000 | #Constraints: 34583
708.37/710.51 c INPROCESSING
708.37/710.51 c GARBAGE COLLECT
708.37/710.51 c #Conflicts: 358000 | #Constraints: 23781
708.37/710.51 c #Conflicts: 359000 | #Constraints: 24781
708.37/710.51 c #Conflicts: 360000 | #Constraints: 25781
708.37/710.51 c #Conflicts: 361000 | #Constraints: 26781
708.37/710.51 c #Conflicts: 362000 | #Constraints: 27781
708.37/710.51 c #Conflicts: 363000 | #Constraints: 28781
957.43/960.39 c #Conflicts: 364000 | #Constraints: 29781
957.43/960.39 c #Conflicts: 365000 | #Constraints: 30781
957.43/960.39 c #Conflicts: 366000 | #Constraints: 31781
957.43/960.39 c #Conflicts: 367000 | #Constraints: 32781
957.43/960.39 c #Conflicts: 368000 | #Constraints: 33781
957.43/960.39 c #Conflicts: 369000 | #Constraints: 34781
957.43/960.39 c INPROCESSING
957.43/960.39 c GARBAGE COLLECT
957.43/960.39 c #Conflicts: 370000 | #Constraints: 23779
957.43/960.39 c #Conflicts: 371000 | #Constraints: 24779
957.43/960.39 c #Conflicts: 372000 | #Constraints: 25779
957.43/960.39 c #Conflicts: 373000 | #Constraints: 26779
957.43/960.39 c #Conflicts: 374000 | #Constraints: 27779
957.43/960.39 c #Conflicts: 375000 | #Constraints: 28779
957.43/960.39 c #Conflicts: 376000 | #Constraints: 29779
957.43/960.39 c #Conflicts: 377000 | #Constraints: 30779
957.43/960.39 c #Conflicts: 378000 | #Constraints: 31779
957.43/960.39 c #Conflicts: 379000 | #Constraints: 32779
957.43/960.39 c #Conflicts: 380000 | #Constraints: 33779
957.43/960.39 c #Conflicts: 381000 | #Constraints: 34779
957.43/960.39 c #Conflicts: 382000 | #Constraints: 35779
957.43/960.39 c #Conflicts: 383000 | #Constraints: 36779
957.43/960.39 c #Conflicts: 384000 | #Constraints: 37779
957.43/960.39 c #Conflicts: 385000 | #Constraints: 38779
957.43/960.39 c #Conflicts: 386000 | #Constraints: 39779
957.43/960.39 c #Conflicts: 387000 | #Constraints: 40779
957.43/960.39 c #Conflicts: 388000 | #Constraints: 41779
957.43/960.39 c #Conflicts: 389000 | #Constraints: 42779
957.43/960.39 c #Conflicts: 390000 | #Constraints: 43779
957.43/960.39 c #Conflicts: 391000 | #Constraints: 44779
957.43/960.39 c #Conflicts: 392000 | #Constraints: 45779
957.43/960.39 c #Conflicts: 393000 | #Constraints: 46779
957.43/960.39 c #Conflicts: 394000 | #Constraints: 47779
957.43/960.39 c #Conflicts: 395000 | #Constraints: 48779
957.43/960.39 c #Conflicts: 396000 | #Constraints: 49779
957.43/960.39 c #Conflicts: 397000 | #Constraints: 50779
957.43/960.39 c #Conflicts: 398000 | #Constraints: 51779
957.43/960.39 c #Conflicts: 399000 | #Constraints: 52779
957.43/960.39 c #Conflicts: 400000 | #Constraints: 53779
957.43/960.39 c #Conflicts: 401000 | #Constraints: 54779
957.43/960.39 c #Conflicts: 402000 | #Constraints: 55779
957.43/960.39 c #Conflicts: 403000 | #Constraints: 56779
957.43/960.39 c #Conflicts: 404000 | #Constraints: 57779
957.43/960.39 c #Conflicts: 405000 | #Constraints: 58779
957.43/960.39 c #Conflicts: 406000 | #Constraints: 59779
957.43/960.39 c #Conflicts: 407000 | #Constraints: 60779
957.43/960.39 c #Conflicts: 408000 | #Constraints: 61779
957.43/960.39 c #Conflicts: 409000 | #Constraints: 62779
957.43/960.39 c #Conflicts: 410000 | #Constraints: 63779
957.43/960.39 c #Conflicts: 411000 | #Constraints: 64779
957.43/960.39 c #Conflicts: 412000 | #Constraints: 65779
957.43/960.39 c #Conflicts: 413000 | #Constraints: 66779
957.43/960.39 c #Conflicts: 414000 | #Constraints: 67779
957.43/960.39 c #Conflicts: 415000 | #Constraints: 68779
957.43/960.39 c #Conflicts: 416000 | #Constraints: 69779
957.43/960.39 c #Conflicts: 417000 | #Constraints: 70779
957.43/960.39 c #Conflicts: 418000 | #Constraints: 71779
957.43/960.39 c #Conflicts: 419000 | #Constraints: 72779
957.43/960.39 c #Conflicts: 420000 | #Constraints: 73779
957.43/960.39 c #Conflicts: 421000 | #Constraints: 74779
957.43/960.39 c #Conflicts: 422000 | #Constraints: 75779
957.43/960.39 c #Conflicts: 423000 | #Constraints: 76779
957.43/960.39 c #Conflicts: 424000 | #Constraints: 77779
957.43/960.39 c #Conflicts: 425000 | #Constraints: 78779
957.43/960.39 c #Conflicts: 426000 | #Constraints: 79779
957.43/960.39 c #Conflicts: 427000 | #Constraints: 80779
957.43/960.39 c #Conflicts: 428000 | #Constraints: 81779
957.43/960.39 c #Conflicts: 429000 | #Constraints: 82779
957.43/960.39 c INPROCESSING
957.43/960.39 c GARBAGE COLLECT
957.43/960.39 c #Conflicts: 430000 | #Constraints: 47829
957.43/960.39 c #Conflicts: 431000 | #Constraints: 48829
957.43/960.39 c #Conflicts: 432000 | #Constraints: 49829
957.43/960.39 c #Conflicts: 433000 | #Constraints: 50829
957.43/960.39 c #Conflicts: 434000 | #Constraints: 51829
957.43/960.39 c #Conflicts: 435000 | #Constraints: 52829
957.43/960.39 c #Conflicts: 436000 | #Constraints: 53829
957.43/960.39 c #Conflicts: 437000 | #Constraints: 54829
957.43/960.39 c #Conflicts: 438000 | #Constraints: 55829
957.43/960.39 c #Conflicts: 439000 | #Constraints: 56829
957.43/960.39 c #Conflicts: 440000 | #Constraints: 57829
957.43/960.39 c #Conflicts: 441000 | #Constraints: 58829
1165.51/1169.08 c #Conflicts: 442000 | #Constraints: 59829
1165.51/1169.08 c INPROCESSING
1165.51/1169.08 c GARBAGE COLLECT
1165.51/1169.08 c #Conflicts: 443000 | #Constraints: 36040
1165.51/1169.08 c #Conflicts: 444000 | #Constraints: 37040
1165.51/1169.08 c #Conflicts: 445000 | #Constraints: 38040
1165.51/1169.08 c #Conflicts: 446000 | #Constraints: 39040
1165.51/1169.08 c #Conflicts: 447000 | #Constraints: 40040
1165.51/1169.08 c #Conflicts: 448000 | #Constraints: 41040
1165.51/1169.08 c #Conflicts: 449000 | #Constraints: 42040
1165.51/1169.08 c #Conflicts: 450000 | #Constraints: 43040
1165.51/1169.08 c #Conflicts: 451000 | #Constraints: 44040
1165.51/1169.08 c #Conflicts: 452000 | #Constraints: 45040
1165.51/1169.08 c #Conflicts: 453000 | #Constraints: 46040
1165.51/1169.08 c #Conflicts: 454000 | #Constraints: 47040
1165.51/1169.08 c #Conflicts: 455000 | #Constraints: 48040
1165.51/1169.08 c #Conflicts: 456000 | #Constraints: 49040
1165.51/1169.08 c INPROCESSING
1165.51/1169.08 c GARBAGE COLLECT
1165.51/1169.08 c #Conflicts: 457000 | #Constraints: 30799
1165.51/1169.08 c #Conflicts: 458000 | #Constraints: 31799
1165.51/1169.08 c #Conflicts: 459000 | #Constraints: 32799
1165.51/1169.08 c #Conflicts: 460000 | #Constraints: 33799
1165.51/1169.08 c #Conflicts: 461000 | #Constraints: 34799
1165.51/1169.08 c #Conflicts: 462000 | #Constraints: 35799
1165.51/1169.08 c #Conflicts: 463000 | #Constraints: 36799
1165.51/1169.08 c #Conflicts: 464000 | #Constraints: 37799
1165.51/1169.08 c #Conflicts: 465000 | #Constraints: 38799
1165.51/1169.08 c #Conflicts: 466000 | #Constraints: 39799
1165.51/1169.08 c #Conflicts: 467000 | #Constraints: 40799
1165.51/1169.08 c #Conflicts: 468000 | #Constraints: 41799
1165.51/1169.08 c #Conflicts: 469000 | #Constraints: 42799
1165.51/1169.08 c #Conflicts: 470000 | #Constraints: 43799
1165.51/1169.08 c INPROCESSING
1165.51/1169.08 c GARBAGE COLLECT
1165.51/1169.08 c #Conflicts: 471000 | #Constraints: 28197
1165.51/1169.08 c #Conflicts: 472000 | #Constraints: 29197
1165.51/1169.08 c #Conflicts: 473000 | #Constraints: 30197
1165.51/1169.08 c #Conflicts: 474000 | #Constraints: 31197
1165.51/1169.08 c #Conflicts: 475000 | #Constraints: 32197
1165.51/1169.08 c #Conflicts: 476000 | #Constraints: 33197
1165.51/1169.08 c #Conflicts: 477000 | #Constraints: 34197
1165.51/1169.08 c #Conflicts: 478000 | #Constraints: 35197
1165.51/1169.08 c #Conflicts: 479000 | #Constraints: 36197
1165.51/1169.08 c #Conflicts: 480000 | #Constraints: 37197
1165.51/1169.08 c #Conflicts: 481000 | #Constraints: 38197
1165.51/1169.08 c #Conflicts: 482000 | #Constraints: 39197
1165.51/1169.08 c #Conflicts: 483000 | #Constraints: 40197
1165.51/1169.08 c #Conflicts: 484000 | #Constraints: 41197
1165.51/1169.08 c INPROCESSING
1165.51/1169.08 c GARBAGE COLLECT
1165.51/1169.08 c #Conflicts: 485000 | #Constraints: 26852
1165.51/1169.08 c #Conflicts: 486000 | #Constraints: 27852
1165.51/1169.08 c #Conflicts: 487000 | #Constraints: 28852
1165.51/1169.08 c #Conflicts: 488000 | #Constraints: 29852
1165.51/1169.08 c #Conflicts: 489000 | #Constraints: 30852
1165.51/1169.08 c #Conflicts: 490000 | #Constraints: 31852
1165.51/1169.08 c #Conflicts: 491000 | #Constraints: 32852
1165.51/1169.08 c #Conflicts: 492000 | #Constraints: 33852
1165.51/1169.08 c #Conflicts: 493000 | #Constraints: 34852
1165.51/1169.08 c #Conflicts: 494000 | #Constraints: 35852
1165.51/1169.08 c #Conflicts: 495000 | #Constraints: 36852
1165.51/1169.08 c #Conflicts: 496000 | #Constraints: 37852
1165.51/1169.08 c #Conflicts: 497000 | #Constraints: 38852
1165.51/1169.08 c #Conflicts: 498000 | #Constraints: 39852
1165.51/1169.08 c #Conflicts: 499000 | #Constraints: 40852
1165.51/1169.08 c #Conflicts: 500000 | #Constraints: 41852
1165.51/1169.08 c #Conflicts: 501000 | #Constraints: 42852
1165.51/1169.08 c #Conflicts: 502000 | #Constraints: 43852
1165.51/1169.08 c #Conflicts: 503000 | #Constraints: 44852
1165.51/1169.08 c #Conflicts: 504000 | #Constraints: 45852
1165.51/1169.08 c #Conflicts: 505000 | #Constraints: 46852
1165.51/1169.08 c #Conflicts: 506000 | #Constraints: 47852
1165.51/1169.08 c #Conflicts: 507000 | #Constraints: 48852
1165.51/1169.08 c #Conflicts: 508000 | #Constraints: 49852
1165.51/1169.08 c #Conflicts: 509000 | #Constraints: 50852
1165.51/1169.08 c #Conflicts: 510000 | #Constraints: 51852
1165.51/1169.08 c #Conflicts: 511000 | #Constraints: 52852
1165.51/1169.08 c #Conflicts: 512000 | #Constraints: 53852
1165.51/1169.08 c #Conflicts: 513000 | #Constraints: 54852
1165.51/1169.08 c #Conflicts: 514000 | #Constraints: 55852
1165.51/1169.08 c #Conflicts: 515000 | #Constraints: 56852
1165.51/1169.08 c #Conflicts: 516000 | #Constraints: 57852
1165.51/1169.08 c #Conflicts: 517000 | #Constraints: 58852
1518.94/1523.53 c #Conflicts: 518000 | #Constraints: 59852
1518.94/1523.53 c #Conflicts: 519000 | #Constraints: 60852
1518.94/1523.53 c #Conflicts: 520000 | #Constraints: 61852
1518.94/1523.53 c #Conflicts: 521000 | #Constraints: 62852
1518.94/1523.53 c #Conflicts: 522000 | #Constraints: 63852
1518.94/1523.53 c #Conflicts: 523000 | #Constraints: 64852
1518.94/1523.53 c #Conflicts: 524000 | #Constraints: 65852
1518.94/1523.53 c #Conflicts: 525000 | #Constraints: 66852
1518.94/1523.53 c #Conflicts: 526000 | #Constraints: 67852
1518.94/1523.53 c #Conflicts: 527000 | #Constraints: 68852
1518.94/1523.53 c #Conflicts: 528000 | #Constraints: 69852
1518.94/1523.53 c #Conflicts: 529000 | #Constraints: 70852
1518.94/1523.53 c #Conflicts: 530000 | #Constraints: 71852
1518.94/1523.53 c #Conflicts: 531000 | #Constraints: 72852
1518.94/1523.53 c #Conflicts: 532000 | #Constraints: 73852
1518.94/1523.53 c #Conflicts: 533000 | #Constraints: 74852
1518.94/1523.53 c #Conflicts: 534000 | #Constraints: 75852
1518.94/1523.53 c #Conflicts: 535000 | #Constraints: 76852
1518.94/1523.53 c #Conflicts: 536000 | #Constraints: 77852
1518.94/1523.53 c #Conflicts: 537000 | #Constraints: 78852
1518.94/1523.53 c #Conflicts: 538000 | #Constraints: 79852
1518.94/1523.53 c #Conflicts: 539000 | #Constraints: 80852
1518.94/1523.53 c #Conflicts: 540000 | #Constraints: 81852
1518.94/1523.53 c #Conflicts: 541000 | #Constraints: 82852
1518.94/1523.53 c #Conflicts: 542000 | #Constraints: 83852
1518.94/1523.53 c #Conflicts: 543000 | #Constraints: 84852
1518.94/1523.53 c #Conflicts: 544000 | #Constraints: 85852
1518.94/1523.53 c #Conflicts: 545000 | #Constraints: 86852
1518.94/1523.53 c #Conflicts: 546000 | #Constraints: 87852
1518.94/1523.53 c #Conflicts: 547000 | #Constraints: 88852
1518.94/1523.53 c #Conflicts: 548000 | #Constraints: 89852
1518.94/1523.53 c #Conflicts: 549000 | #Constraints: 90852
1518.94/1523.53 c #Conflicts: 550000 | #Constraints: 91852
1518.94/1523.53 c #Conflicts: 551000 | #Constraints: 92852
1518.94/1523.53 c INPROCESSING
1518.94/1523.53 c GARBAGE COLLECT
1518.94/1523.53 c #Conflicts: 552000 | #Constraints: 52976
1518.94/1523.53 c #Conflicts: 553000 | #Constraints: 53976
1518.94/1523.53 c #Conflicts: 554000 | #Constraints: 54976
1518.94/1523.53 c #Conflicts: 555000 | #Constraints: 55976
1518.94/1523.53 c #Conflicts: 556000 | #Constraints: 56976
1518.94/1523.53 c #Conflicts: 557000 | #Constraints: 57976
1518.94/1523.53 c #Conflicts: 558000 | #Constraints: 58976
1518.94/1523.53 c #Conflicts: 559000 | #Constraints: 59976
1518.94/1523.53 c #Conflicts: 560000 | #Constraints: 60976
1518.94/1523.53 c #Conflicts: 561000 | #Constraints: 61976
1518.94/1523.53 c #Conflicts: 562000 | #Constraints: 62976
1518.94/1523.53 c #Conflicts: 563000 | #Constraints: 63976
1518.94/1523.53 c #Conflicts: 564000 | #Constraints: 64976
1518.94/1523.53 c #Conflicts: 565000 | #Constraints: 65976
1518.94/1523.53 c #Conflicts: 566000 | #Constraints: 66976
1518.94/1523.53 c INPROCESSING
1518.94/1523.53 c GARBAGE COLLECT
1518.94/1523.53 c #Conflicts: 567000 | #Constraints: 39813
1518.94/1523.53 c #Conflicts: 568000 | #Constraints: 40813
1518.94/1523.53 c #Conflicts: 569000 | #Constraints: 41813
1518.94/1523.53 c #Conflicts: 570000 | #Constraints: 42813
1518.94/1523.53 c #Conflicts: 571000 | #Constraints: 43813
1518.94/1523.53 c #Conflicts: 572000 | #Constraints: 44813
1518.94/1523.53 c #Conflicts: 573000 | #Constraints: 45813
1518.94/1523.53 c #Conflicts: 574000 | #Constraints: 46813
1518.94/1523.53 c #Conflicts: 575000 | #Constraints: 47813
1518.94/1523.53 c #Conflicts: 576000 | #Constraints: 48813
1518.94/1523.53 c #Conflicts: 577000 | #Constraints: 49813
1518.94/1523.53 c #Conflicts: 578000 | #Constraints: 50813
1518.94/1523.53 c #Conflicts: 579000 | #Constraints: 51813
1518.94/1523.53 c #Conflicts: 580000 | #Constraints: 52813
1518.94/1523.53 c #Conflicts: 581000 | #Constraints: 53813
1518.94/1523.53 c #Conflicts: 582000 | #Constraints: 54813
1518.94/1523.53 c INPROCESSING
1518.94/1523.53 c GARBAGE COLLECT
1518.94/1523.53 c #Conflicts: 583000 | #Constraints: 33932
1518.94/1523.53 c #Conflicts: 584000 | #Constraints: 34932
1518.94/1523.53 c #Conflicts: 585000 | #Constraints: 35932
1518.94/1523.53 c #Conflicts: 586000 | #Constraints: 36932
1518.94/1523.53 c #Conflicts: 587000 | #Constraints: 37932
1518.94/1523.53 c #Conflicts: 588000 | #Constraints: 38932
1518.94/1523.53 c #Conflicts: 589000 | #Constraints: 39932
1518.94/1523.53 c #Conflicts: 590000 | #Constraints: 40932
1518.94/1523.53 c #Conflicts: 591000 | #Constraints: 41932
1518.94/1523.53 c #Conflicts: 592000 | #Constraints: 42932
1518.94/1523.53 c #Conflicts: 593000 | #Constraints: 43932
1518.94/1523.53 c #Conflicts: 594000 | #Constraints: 44932
1901.66/1907.49 c #Conflicts: 595000 | #Constraints: 45932
1901.66/1907.49 c #Conflicts: 596000 | #Constraints: 46932
1901.66/1907.49 c #Conflicts: 597000 | #Constraints: 47932
1901.66/1907.49 c INPROCESSING
1901.66/1907.49 c GARBAGE COLLECT
1901.66/1907.49 c #Conflicts: 598000 | #Constraints: 30071
1901.66/1907.49 c #Conflicts: 599000 | #Constraints: 31071
1901.66/1907.49 c #Conflicts: 600000 | #Constraints: 32071
1901.66/1907.49 c #Conflicts: 601000 | #Constraints: 33071
1901.66/1907.49 c #Conflicts: 602000 | #Constraints: 34071
1901.66/1907.49 c #Conflicts: 603000 | #Constraints: 35071
1901.66/1907.49 c #Conflicts: 604000 | #Constraints: 36071
1901.66/1907.49 c #Conflicts: 605000 | #Constraints: 37071
1901.66/1907.49 c #Conflicts: 606000 | #Constraints: 38071
1901.66/1907.49 c #Conflicts: 607000 | #Constraints: 39071
1901.66/1907.49 c #Conflicts: 608000 | #Constraints: 40071
1901.66/1907.49 c #Conflicts: 609000 | #Constraints: 41071
1901.66/1907.49 c #Conflicts: 610000 | #Constraints: 42071
1901.66/1907.49 c #Conflicts: 611000 | #Constraints: 43071
1901.66/1907.49 c #Conflicts: 612000 | #Constraints: 44071
1901.66/1907.49 c #Conflicts: 613000 | #Constraints: 45071
1901.66/1907.49 c #Conflicts: 614000 | #Constraints: 46071
1901.66/1907.49 c #Conflicts: 615000 | #Constraints: 47071
1901.66/1907.49 c #Conflicts: 616000 | #Constraints: 48071
1901.66/1907.49 c #Conflicts: 617000 | #Constraints: 49071
1901.66/1907.49 c #Conflicts: 618000 | #Constraints: 50071
1901.66/1907.49 c #Conflicts: 619000 | #Constraints: 51071
1901.66/1907.49 c #Conflicts: 620000 | #Constraints: 52071
1901.66/1907.49 c #Conflicts: 621000 | #Constraints: 53071
1901.66/1907.49 c #Conflicts: 622000 | #Constraints: 54071
1901.66/1907.49 c #Conflicts: 623000 | #Constraints: 55071
1901.66/1907.49 c #Conflicts: 624000 | #Constraints: 56071
1901.66/1907.49 c #Conflicts: 625000 | #Constraints: 57071
1901.66/1907.49 c #Conflicts: 626000 | #Constraints: 58071
1901.66/1907.49 c #Conflicts: 627000 | #Constraints: 59071
1901.66/1907.49 c #Conflicts: 628000 | #Constraints: 60071
1901.66/1907.49 c #Conflicts: 629000 | #Constraints: 61071
1901.66/1907.49 c #Conflicts: 630000 | #Constraints: 62071
1901.66/1907.49 c #Conflicts: 631000 | #Constraints: 63071
1901.66/1907.49 c #Conflicts: 632000 | #Constraints: 64071
1901.66/1907.49 c #Conflicts: 633000 | #Constraints: 65071
1901.66/1907.49 c #Conflicts: 634000 | #Constraints: 66071
1901.66/1907.49 c #Conflicts: 635000 | #Constraints: 67071
1901.66/1907.49 c #Conflicts: 636000 | #Constraints: 68071
1901.66/1907.49 c #Conflicts: 637000 | #Constraints: 69071
1901.66/1907.49 c #Conflicts: 638000 | #Constraints: 70071
1901.66/1907.49 c #Conflicts: 639000 | #Constraints: 71071
1901.66/1907.49 c #Conflicts: 640000 | #Constraints: 72071
1901.66/1907.49 c #Conflicts: 641000 | #Constraints: 73071
1901.66/1907.49 c #Conflicts: 642000 | #Constraints: 74071
1901.66/1907.49 c #Conflicts: 643000 | #Constraints: 75071
1901.66/1907.49 c #Conflicts: 644000 | #Constraints: 76071
1901.66/1907.49 c #Conflicts: 645000 | #Constraints: 77071
1901.66/1907.49 c #Conflicts: 646000 | #Constraints: 78071
1901.66/1907.49 c #Conflicts: 647000 | #Constraints: 79071
1901.66/1907.49 c #Conflicts: 648000 | #Constraints: 80071
1901.66/1907.49 c #Conflicts: 649000 | #Constraints: 81071
1901.66/1907.49 c #Conflicts: 650000 | #Constraints: 82071
1901.66/1907.49 c #Conflicts: 651000 | #Constraints: 83071
1901.66/1907.49 c #Conflicts: 652000 | #Constraints: 84071
1901.66/1907.49 c #Conflicts: 653000 | #Constraints: 85071
1901.66/1907.49 c #Conflicts: 654000 | #Constraints: 86071
1901.66/1907.49 c #Conflicts: 655000 | #Constraints: 87071
1901.66/1907.49 c #Conflicts: 656000 | #Constraints: 88071
1901.66/1907.49 c #Conflicts: 657000 | #Constraints: 89071
1901.66/1907.49 c #Conflicts: 658000 | #Constraints: 90071
1901.66/1907.49 c #Conflicts: 659000 | #Constraints: 91071
1901.66/1907.49 c #Conflicts: 660000 | #Constraints: 92071
1901.66/1907.49 c #Conflicts: 661000 | #Constraints: 93071
1901.66/1907.49 c #Conflicts: 662000 | #Constraints: 94071
1901.66/1907.49 c #Conflicts: 663000 | #Constraints: 95071
1901.66/1907.49 c #Conflicts: 664000 | #Constraints: 96071
1901.66/1907.49 c #Conflicts: 665000 | #Constraints: 97071
1901.66/1907.49 c #Conflicts: 666000 | #Constraints: 98071
1901.66/1907.49 c #Conflicts: 667000 | #Constraints: 99071
1901.66/1907.49 c #Conflicts: 668000 | #Constraints: 100071
1901.66/1907.49 c #Conflicts: 669000 | #Constraints: 101071
1901.66/1907.49 c INPROCESSING
1901.66/1907.49 c GARBAGE COLLECT
1901.66/1907.49 c #Conflicts: 670000 | #Constraints: 56790
1901.66/1907.49 c #Conflicts: 671000 | #Constraints: 57790
2228.67/2235.45 c #Conflicts: 672000 | #Constraints: 58790
2228.67/2235.45 c #Conflicts: 673000 | #Constraints: 59790
2228.67/2235.45 c #Conflicts: 674000 | #Constraints: 60790
2228.67/2235.45 c #Conflicts: 675000 | #Constraints: 61790
2228.67/2235.45 c #Conflicts: 676000 | #Constraints: 62790
2228.67/2235.45 c #Conflicts: 677000 | #Constraints: 63790
2228.67/2235.45 c #Conflicts: 678000 | #Constraints: 64790
2228.67/2235.45 c #Conflicts: 679000 | #Constraints: 65790
2228.67/2235.45 c #Conflicts: 680000 | #Constraints: 66790
2228.67/2235.45 c #Conflicts: 681000 | #Constraints: 67790
2228.67/2235.45 c #Conflicts: 682000 | #Constraints: 68790
2228.67/2235.45 c #Conflicts: 683000 | #Constraints: 69790
2228.67/2235.45 c #Conflicts: 684000 | #Constraints: 70790
2228.67/2235.45 c #Conflicts: 685000 | #Constraints: 71790
2228.67/2235.45 c #Conflicts: 686000 | #Constraints: 72790
2228.67/2235.45 c INPROCESSING
2228.67/2235.45 c GARBAGE COLLECT
2228.67/2235.45 c #Conflicts: 687000 | #Constraints: 42604
2228.67/2235.45 c #Conflicts: 688000 | #Constraints: 43604
2228.67/2235.45 c #Conflicts: 689000 | #Constraints: 44604
2228.67/2235.45 c #Conflicts: 690000 | #Constraints: 45604
2228.67/2235.45 c #Conflicts: 691000 | #Constraints: 46604
2228.67/2235.45 c #Conflicts: 692000 | #Constraints: 47604
2228.67/2235.45 c #Conflicts: 693000 | #Constraints: 48604
2228.67/2235.45 c #Conflicts: 694000 | #Constraints: 49604
2228.67/2235.45 c #Conflicts: 695000 | #Constraints: 50604
2228.67/2235.45 c #Conflicts: 696000 | #Constraints: 51604
2228.67/2235.45 c #Conflicts: 697000 | #Constraints: 52604
2228.67/2235.45 c #Conflicts: 698000 | #Constraints: 53604
2228.67/2235.45 c #Conflicts: 699000 | #Constraints: 54604
2228.67/2235.45 c #Conflicts: 700000 | #Constraints: 55604
2228.67/2235.45 c #Conflicts: 701000 | #Constraints: 56604
2228.67/2235.45 c #Conflicts: 702000 | #Constraints: 57604
2228.67/2235.45 c #Conflicts: 703000 | #Constraints: 58604
2228.67/2235.45 c #Conflicts: 704000 | #Constraints: 59604
2228.67/2235.45 c INPROCESSING
2228.67/2235.45 c GARBAGE COLLECT
2228.67/2235.45 c #Conflicts: 705000 | #Constraints: 36312
2228.67/2235.45 c #Conflicts: 706000 | #Constraints: 37312
2228.67/2235.45 c #Conflicts: 707000 | #Constraints: 38312
2228.67/2235.45 c #Conflicts: 708000 | #Constraints: 39312
2228.67/2235.45 c #Conflicts: 709000 | #Constraints: 40312
2228.67/2235.45 c #Conflicts: 710000 | #Constraints: 41312
2228.67/2235.45 c #Conflicts: 711000 | #Constraints: 42312
2228.67/2235.45 c #Conflicts: 712000 | #Constraints: 43312
2228.67/2235.45 c #Conflicts: 713000 | #Constraints: 44312
2228.67/2235.45 c #Conflicts: 714000 | #Constraints: 45312
2228.67/2235.45 c #Conflicts: 715000 | #Constraints: 46312
2228.67/2235.45 c #Conflicts: 716000 | #Constraints: 47312
2228.67/2235.45 c #Conflicts: 717000 | #Constraints: 48312
2228.67/2235.45 c #Conflicts: 718000 | #Constraints: 49312
2228.67/2235.45 c #Conflicts: 719000 | #Constraints: 50312
2228.67/2235.45 c #Conflicts: 720000 | #Constraints: 51312
2228.67/2235.45 c #Conflicts: 721000 | #Constraints: 52312
2228.67/2235.45 c INPROCESSING
2228.67/2235.45 c GARBAGE COLLECT
2228.67/2235.45 c #Conflicts: 722000 | #Constraints: 32403
2228.67/2235.45 c #Conflicts: 723000 | #Constraints: 33403
2228.67/2235.45 c #Conflicts: 724000 | #Constraints: 34403
2228.67/2235.45 c #Conflicts: 725000 | #Constraints: 35403
2228.67/2235.45 c #Conflicts: 726000 | #Constraints: 36403
2228.67/2235.45 c #Conflicts: 727000 | #Constraints: 37403
2228.67/2235.45 c #Conflicts: 728000 | #Constraints: 38403
2228.67/2235.45 c #Conflicts: 729000 | #Constraints: 39403
2228.67/2235.45 c #Conflicts: 730000 | #Constraints: 40403
2228.67/2235.45 c #Conflicts: 731000 | #Constraints: 41403
2228.67/2235.45 c #Conflicts: 732000 | #Constraints: 42403
2228.67/2235.45 c #Conflicts: 733000 | #Constraints: 43403
2228.67/2235.45 c #Conflicts: 734000 | #Constraints: 44403
2228.67/2235.45 c #Conflicts: 735000 | #Constraints: 45403
2228.67/2235.45 c #Conflicts: 736000 | #Constraints: 46403
2228.67/2235.45 c #Conflicts: 737000 | #Constraints: 47403
2228.67/2235.45 c #Conflicts: 738000 | #Constraints: 48403
2228.67/2235.45 c #Conflicts: 739000 | #Constraints: 49403
2228.67/2235.45 c #Conflicts: 740000 | #Constraints: 50403
2228.67/2235.45 c #Conflicts: 741000 | #Constraints: 51403
2228.67/2235.45 c #Conflicts: 742000 | #Constraints: 52403
2228.67/2235.45 c #Conflicts: 743000 | #Constraints: 53403
2228.67/2235.45 c #Conflicts: 744000 | #Constraints: 54403
2228.67/2235.45 c #Conflicts: 745000 | #Constraints: 55403
2228.67/2235.45 c #Conflicts: 746000 | #Constraints: 56403
2228.67/2235.45 c #Conflicts: 747000 | #Constraints: 57403
2228.67/2235.45 c #Conflicts: 748000 | #Constraints: 58403
2744.58/2753.11 c #Conflicts: 749000 | #Constraints: 59403
2744.58/2753.11 c #Conflicts: 750000 | #Constraints: 60403
2744.58/2753.11 c #Conflicts: 751000 | #Constraints: 61403
2744.58/2753.11 c #Conflicts: 752000 | #Constraints: 62403
2744.58/2753.11 c #Conflicts: 753000 | #Constraints: 63403
2744.58/2753.11 c #Conflicts: 754000 | #Constraints: 64403
2744.58/2753.11 c #Conflicts: 755000 | #Constraints: 65403
2744.58/2753.11 c #Conflicts: 756000 | #Constraints: 66403
2744.58/2753.11 c #Conflicts: 757000 | #Constraints: 67403
2744.58/2753.11 c #Conflicts: 758000 | #Constraints: 68403
2744.58/2753.11 c #Conflicts: 759000 | #Constraints: 69403
2744.58/2753.11 c #Conflicts: 760000 | #Constraints: 70403
2744.58/2753.11 c #Conflicts: 761000 | #Constraints: 71403
2744.58/2753.11 c #Conflicts: 762000 | #Constraints: 72403
2744.58/2753.11 c #Conflicts: 763000 | #Constraints: 73403
2744.58/2753.11 c #Conflicts: 764000 | #Constraints: 74403
2744.58/2753.11 c #Conflicts: 765000 | #Constraints: 75403
2744.58/2753.11 c #Conflicts: 766000 | #Constraints: 76403
2744.58/2753.11 c #Conflicts: 767000 | #Constraints: 77403
2744.58/2753.11 c #Conflicts: 768000 | #Constraints: 78403
2744.58/2753.11 c #Conflicts: 769000 | #Constraints: 79403
2744.58/2753.11 c #Conflicts: 770000 | #Constraints: 80403
2744.58/2753.11 c #Conflicts: 771000 | #Constraints: 81403
2744.58/2753.11 c #Conflicts: 772000 | #Constraints: 82403
2744.58/2753.11 c #Conflicts: 773000 | #Constraints: 83403
2744.58/2753.11 c #Conflicts: 774000 | #Constraints: 84403
2744.58/2753.11 c #Conflicts: 775000 | #Constraints: 85403
2744.58/2753.11 c #Conflicts: 776000 | #Constraints: 86403
2744.58/2753.11 c #Conflicts: 777000 | #Constraints: 87403
2744.58/2753.11 c #Conflicts: 778000 | #Constraints: 88403
2744.58/2753.11 c #Conflicts: 779000 | #Constraints: 89403
2744.58/2753.11 c #Conflicts: 780000 | #Constraints: 90403
2744.58/2753.11 c #Conflicts: 781000 | #Constraints: 91403
2744.58/2753.11 c #Conflicts: 782000 | #Constraints: 92403
2744.58/2753.11 c #Conflicts: 783000 | #Constraints: 93403
2744.58/2753.11 c #Conflicts: 784000 | #Constraints: 94403
2744.58/2753.11 c #Conflicts: 785000 | #Constraints: 95403
2744.58/2753.11 c #Conflicts: 786000 | #Constraints: 96403
2744.58/2753.11 c #Conflicts: 787000 | #Constraints: 97403
2744.58/2753.11 c #Conflicts: 788000 | #Constraints: 98403
2744.58/2753.11 c #Conflicts: 789000 | #Constraints: 99403
2744.58/2753.11 c #Conflicts: 790000 | #Constraints: 100403
2744.58/2753.11 c #Conflicts: 791000 | #Constraints: 101403
2744.58/2753.11 c #Conflicts: 792000 | #Constraints: 102403
2744.58/2753.11 c #Conflicts: 793000 | #Constraints: 103403
2744.58/2753.11 c #Conflicts: 794000 | #Constraints: 104403
2744.58/2753.11 c #Conflicts: 795000 | #Constraints: 105403
2744.58/2753.11 c #Conflicts: 796000 | #Constraints: 106403
2744.58/2753.11 c #Conflicts: 797000 | #Constraints: 107403
2744.58/2753.11 c #Conflicts: 798000 | #Constraints: 108403
2744.58/2753.11 c INPROCESSING
2744.58/2753.11 c GARBAGE COLLECT
2744.58/2753.11 c #Conflicts: 799000 | #Constraints: 60460
2744.58/2753.11 c #Conflicts: 800000 | #Constraints: 61460
2744.58/2753.11 c #Conflicts: 801000 | #Constraints: 62460
2744.58/2753.11 c #Conflicts: 802000 | #Constraints: 63460
2744.58/2753.11 c #Conflicts: 803000 | #Constraints: 64460
2744.58/2753.11 c #Conflicts: 804000 | #Constraints: 65460
2744.58/2753.11 c #Conflicts: 805000 | #Constraints: 66460
2744.58/2753.11 c #Conflicts: 806000 | #Constraints: 67460
2744.58/2753.11 c #Conflicts: 807000 | #Constraints: 68460
2744.58/2753.11 c #Conflicts: 808000 | #Constraints: 69460
2744.58/2753.11 c #Conflicts: 809000 | #Constraints: 70460
2744.58/2753.11 c #Conflicts: 810000 | #Constraints: 71460
2744.58/2753.11 c #Conflicts: 811000 | #Constraints: 72460
2744.58/2753.11 c #Conflicts: 812000 | #Constraints: 73460
2744.58/2753.11 c #Conflicts: 813000 | #Constraints: 74460
2744.58/2753.11 c #Conflicts: 814000 | #Constraints: 75460
2744.58/2753.11 c #Conflicts: 815000 | #Constraints: 76460
2744.58/2753.11 c #Conflicts: 816000 | #Constraints: 77460
2744.58/2753.11 c #Conflicts: 817000 | #Constraints: 78460
2744.58/2753.11 c INPROCESSING
2744.58/2753.11 c GARBAGE COLLECT
2744.58/2753.11 c #Conflicts: 818000 | #Constraints: 45568
2744.58/2753.11 c #Conflicts: 819000 | #Constraints: 46568
2744.58/2753.11 c #Conflicts: 820000 | #Constraints: 47568
2744.58/2753.11 c #Conflicts: 821000 | #Constraints: 48568
2744.58/2753.11 c #Conflicts: 822000 | #Constraints: 49568
2744.58/2753.11 c #Conflicts: 823000 | #Constraints: 50568
2744.58/2753.11 c #Conflicts: 824000 | #Constraints: 51568
2744.58/2753.11 c #Conflicts: 825000 | #Constraints: 52568
2744.58/2753.11 c #Conflicts: 826000 | #Constraints: 53568
3108.84/3118.67 c #Conflicts: 827000 | #Constraints: 54568
3108.84/3118.67 c #Conflicts: 828000 | #Constraints: 55568
3108.84/3118.67 c #Conflicts: 829000 | #Constraints: 56568
3108.84/3118.67 c #Conflicts: 830000 | #Constraints: 57568
3108.84/3118.67 c #Conflicts: 831000 | #Constraints: 58568
3108.84/3118.67 c #Conflicts: 832000 | #Constraints: 59568
3108.84/3118.67 c #Conflicts: 833000 | #Constraints: 60568
3108.84/3118.67 c #Conflicts: 834000 | #Constraints: 61568
3108.84/3118.67 c #Conflicts: 835000 | #Constraints: 62568
3108.84/3118.67 c #Conflicts: 836000 | #Constraints: 63568
3108.84/3118.67 c INPROCESSING
3108.84/3118.67 c GARBAGE COLLECT
3108.84/3118.67 c #Conflicts: 837000 | #Constraints: 38095
3108.84/3118.67 c #Conflicts: 838000 | #Constraints: 39095
3108.84/3118.67 c #Conflicts: 839000 | #Constraints: 40095
3108.84/3118.67 c #Conflicts: 840000 | #Constraints: 41095
3108.84/3118.67 c #Conflicts: 841000 | #Constraints: 42095
3108.84/3118.67 c #Conflicts: 842000 | #Constraints: 43095
3108.84/3118.67 c #Conflicts: 843000 | #Constraints: 44095
3108.84/3118.67 c #Conflicts: 844000 | #Constraints: 45095
3108.84/3118.67 c #Conflicts: 845000 | #Constraints: 46095
3108.84/3118.67 c #Conflicts: 846000 | #Constraints: 47095
3108.84/3118.67 c #Conflicts: 847000 | #Constraints: 48095
3108.84/3118.67 c #Conflicts: 848000 | #Constraints: 49095
3108.84/3118.67 c #Conflicts: 849000 | #Constraints: 50095
3108.84/3118.67 c #Conflicts: 850000 | #Constraints: 51095
3108.84/3118.67 c #Conflicts: 851000 | #Constraints: 52095
3108.84/3118.67 c #Conflicts: 852000 | #Constraints: 53095
3108.84/3118.67 c #Conflicts: 853000 | #Constraints: 54095
3108.84/3118.67 c #Conflicts: 854000 | #Constraints: 55095
3108.84/3118.67 c #Conflicts: 855000 | #Constraints: 56095
3108.84/3118.67 c INPROCESSING
3108.84/3118.67 c GARBAGE COLLECT
3108.84/3118.67 c #Conflicts: 856000 | #Constraints: 34256
3108.84/3118.67 c #Conflicts: 857000 | #Constraints: 35256
3108.84/3118.67 c #Conflicts: 858000 | #Constraints: 36256
3108.84/3118.67 c #Conflicts: 859000 | #Constraints: 37256
3108.84/3118.67 c #Conflicts: 860000 | #Constraints: 38256
3108.84/3118.67 c #Conflicts: 861000 | #Constraints: 39256
3108.84/3118.67 c #Conflicts: 862000 | #Constraints: 40256
3108.84/3118.67 c #Conflicts: 863000 | #Constraints: 41256
3108.84/3118.67 c #Conflicts: 864000 | #Constraints: 42256
3108.84/3118.67 c #Conflicts: 865000 | #Constraints: 43256
3108.84/3118.67 c #Conflicts: 866000 | #Constraints: 44256
3108.84/3118.67 c #Conflicts: 867000 | #Constraints: 45256
3108.84/3118.67 c #Conflicts: 868000 | #Constraints: 46256
3108.84/3118.67 c #Conflicts: 869000 | #Constraints: 47256
3108.84/3118.67 c #Conflicts: 870000 | #Constraints: 48256
3108.84/3118.67 c #Conflicts: 871000 | #Constraints: 49256
3108.84/3118.67 c #Conflicts: 872000 | #Constraints: 50256
3108.84/3118.67 c #Conflicts: 873000 | #Constraints: 51256
3108.84/3118.67 c #Conflicts: 874000 | #Constraints: 52256
3108.84/3118.67 c #Conflicts: 875000 | #Constraints: 53256
3108.84/3118.67 c #Conflicts: 876000 | #Constraints: 54256
3108.84/3118.67 c #Conflicts: 877000 | #Constraints: 55256
3108.84/3118.67 c #Conflicts: 878000 | #Constraints: 56256
3108.84/3118.67 c #Conflicts: 879000 | #Constraints: 57256
3108.84/3118.67 c #Conflicts: 880000 | #Constraints: 58256
3108.84/3118.67 c #Conflicts: 881000 | #Constraints: 59256
3108.84/3118.67 c #Conflicts: 882000 | #Constraints: 60256
3108.84/3118.67 c #Conflicts: 883000 | #Constraints: 61256
3108.84/3118.67 c #Conflicts: 884000 | #Constraints: 62256
3108.84/3118.67 c #Conflicts: 885000 | #Constraints: 63256
3108.84/3118.67 c #Conflicts: 886000 | #Constraints: 64256
3108.84/3118.67 c #Conflicts: 887000 | #Constraints: 65256
3108.84/3118.67 c #Conflicts: 888000 | #Constraints: 66256
3108.84/3118.67 c #Conflicts: 889000 | #Constraints: 67256
3108.84/3118.67 c #Conflicts: 890000 | #Constraints: 68256
3108.84/3118.67 c #Conflicts: 891000 | #Constraints: 69256
3108.84/3118.67 c #Conflicts: 892000 | #Constraints: 70256
3108.84/3118.67 c #Conflicts: 893000 | #Constraints: 71256
3108.84/3118.67 c #Conflicts: 894000 | #Constraints: 72256
3108.84/3118.67 c #Conflicts: 895000 | #Constraints: 73256
3108.84/3118.67 c #Conflicts: 896000 | #Constraints: 74256
3108.84/3118.67 c #Conflicts: 897000 | #Constraints: 75256
3108.84/3118.67 c #Conflicts: 898000 | #Constraints: 76256
3108.84/3118.67 c #Conflicts: 899000 | #Constraints: 77256
3108.84/3118.67 c #Conflicts: 900000 | #Constraints: 78256
3108.84/3118.67 c #Conflicts: 901000 | #Constraints: 79256
3108.84/3118.67 c #Conflicts: 902000 | #Constraints: 80256
3108.84/3118.67 c #Conflicts: 903000 | #Constraints: 81256
3600.07/3611.50 c #Conflicts: 904000 | #Constraints: 82256
3600.07/3611.50 c #Conflicts: 905000 | #Constraints: 83256
3600.07/3611.50 c #Conflicts: 906000 | #Constraints: 84256
3600.07/3611.50 c #Conflicts: 907000 | #Constraints: 85256
3600.07/3611.50 c #Conflicts: 908000 | #Constraints: 86256
3600.07/3611.50 c #Conflicts: 909000 | #Constraints: 87256
3600.07/3611.50 c #Conflicts: 910000 | #Constraints: 88256
3600.07/3611.50 c #Conflicts: 911000 | #Constraints: 89256
3600.07/3611.50 c #Conflicts: 912000 | #Constraints: 90256
3600.07/3611.50 c #Conflicts: 913000 | #Constraints: 91256
3600.07/3611.50 c #Conflicts: 914000 | #Constraints: 92256
3600.07/3611.50 c #Conflicts: 915000 | #Constraints: 93256
3600.07/3611.50 c #Conflicts: 916000 | #Constraints: 94256
3600.07/3611.50 c #Conflicts: 917000 | #Constraints: 95256
3600.07/3611.50 c #Conflicts: 918000 | #Constraints: 96256
3600.07/3611.50 c #Conflicts: 919000 | #Constraints: 97256
3600.07/3611.50 c #Conflicts: 920000 | #Constraints: 98256
3600.07/3611.50 c #Conflicts: 921000 | #Constraints: 99256
3600.07/3611.50 c #Conflicts: 922000 | #Constraints: 100256
3600.07/3611.50 c #Conflicts: 923000 | #Constraints: 101256
3600.07/3611.50 c #Conflicts: 924000 | #Constraints: 102256
3600.07/3611.50 c #Conflicts: 925000 | #Constraints: 103256
3600.07/3611.50 c #Conflicts: 926000 | #Constraints: 104256
3600.07/3611.50 c #Conflicts: 927000 | #Constraints: 105256
3600.07/3611.50 c #Conflicts: 928000 | #Constraints: 106256
3600.07/3611.50 c #Conflicts: 929000 | #Constraints: 107256
3600.07/3611.50 c #Conflicts: 930000 | #Constraints: 108256
3600.07/3611.50 c #Conflicts: 931000 | #Constraints: 109256
3600.07/3611.50 c #Conflicts: 932000 | #Constraints: 110256
3600.07/3611.50 c #Conflicts: 933000 | #Constraints: 111256
3600.07/3611.50 c #Conflicts: 934000 | #Constraints: 112256
3600.07/3611.50 c #Conflicts: 935000 | #Constraints: 113256
3600.07/3611.50 c #Conflicts: 936000 | #Constraints: 114256
3600.07/3611.50 c #Conflicts: 937000 | #Constraints: 115256
3600.07/3611.50 c #Conflicts: 938000 | #Constraints: 116256
3600.07/3611.50 c INPROCESSING
3600.07/3611.50 c GARBAGE COLLECT
3600.07/3611.50 c #Conflicts: 939000 | #Constraints: 64752
3600.07/3611.50 c #Conflicts: 940000 | #Constraints: 65752
3600.07/3611.50 c #Conflicts: 941000 | #Constraints: 66752
3600.07/3611.50 c #Conflicts: 942000 | #Constraints: 67752
3600.07/3611.50 c #Conflicts: 943000 | #Constraints: 68752
3600.07/3611.50 c #Conflicts: 944000 | #Constraints: 69752
3600.07/3611.50 c #Conflicts: 945000 | #Constraints: 70752
3600.07/3611.50 c #Conflicts: 946000 | #Constraints: 71752
3600.07/3611.50 c #Conflicts: 947000 | #Constraints: 72752
3600.07/3611.50 c #Conflicts: 948000 | #Constraints: 73752
3600.07/3611.50 c #Conflicts: 949000 | #Constraints: 74752
3600.07/3611.50 c #Conflicts: 950000 | #Constraints: 75752
3600.07/3611.50 c #Conflicts: 951000 | #Constraints: 76752
3600.07/3611.50 c #Conflicts: 952000 | #Constraints: 77752
3600.07/3611.50 c #Conflicts: 953000 | #Constraints: 78752
3600.07/3611.50 c #Conflicts: 954000 | #Constraints: 79752
3600.07/3611.50 c #Conflicts: 955000 | #Constraints: 80752
3600.07/3611.50 c #Conflicts: 956000 | #Constraints: 81752
3600.07/3611.50 c #Conflicts: 957000 | #Constraints: 82752
3600.07/3611.50 c #Conflicts: 958000 | #Constraints: 83752
3600.07/3611.50 c INPROCESSING
3600.07/3611.50 c GARBAGE COLLECT
3600.07/3611.50 c #Conflicts: 959000 | #Constraints: 48197
3600.07/3611.50 c #Conflicts: 960000 | #Constraints: 49197
3600.07/3611.50 c #Conflicts: 961000 | #Constraints: 50197
3600.07/3611.50 c #Conflicts: 962000 | #Constraints: 51197
3600.07/3611.50 c #Conflicts: 963000 | #Constraints: 52197
3600.07/3611.50 c #Conflicts: 964000 | #Constraints: 53197
3600.07/3611.50 c #Conflicts: 965000 | #Constraints: 54197
3600.07/3611.50 c #Conflicts: 966000 | #Constraints: 55197
3600.07/3611.50 c #Conflicts: 967000 | #Constraints: 56197
3600.07/3611.50 c Program interrupted by user.
3600.07/3611.50 c cpu time 3587.37 s
3600.07/3611.50 c deterministic time 319114454502 3.19e+11
3600.07/3611.50 c optimization time 46.3437 s
3600.07/3611.50 c total solve time 3241.88 s
3600.07/3611.50 c core-guided solve time 3241.88 s
3600.07/3611.50 c propagation time 3168.86 s
3600.07/3611.50 c conflict analysis time 98.6528 s
3600.07/3611.50 c propagations 563924134
3600.07/3611.50 c resolve steps 3525686
3600.07/3611.50 c decisions 6343841
3600.07/3611.50 c conflicts 967152
3600.07/3611.50 c restarts 2044
3600.07/3611.50 c inprocessing phases 71
3600.07/3611.50 c input clauses 0
3600.07/3611.50 c input cardinalities 0
3600.07/3611.50 c input general constraints 10895
3600.07/3611.50 c input average constraint length 30.15
3600.07/3611.50 c input average constraint degree 481.11
3600.07/3611.50 c learned clauses 354246
3600.07/3611.50 c learned cardinalities 46
3600.07/3611.50 c learned general constraints 612860
3600.07/3611.50 c learned average constraint length 43.76
3600.07/3611.50 c learned average constraint degree 197410.00
3600.07/3611.50 c watched constraints 623331
3600.07/3611.50 c counting constraints 424
3600.07/3611.50 c gcd simplifications 7943
3600.07/3611.50 c detected cardinalities 46
3600.07/3611.50 c weakened non-implied lits 4428364
3600.07/3611.50 c weakened non-implying lits 547
3600.07/3611.50 c original variables 5570
3600.07/3611.50 c clausal propagations 458532
3600.07/3611.50 c cardinality propagations 46
3600.07/3611.50 c watched propagations 561513520
3600.07/3611.50 c counting propagations 1363974
3600.07/3611.50 c watch lookups 63511442807
3600.07/3611.50 c watch backjump lookups 60492080306
3600.07/3611.50 c watch checks 109826554308
3600.07/3611.50 c propagation checks 84004195917
3600.07/3611.50 c constraint additions 138678642
3600.07/3611.50 c trail pops 571234546
3600.07/3611.50 c formula constraints 10895
3600.07/3611.50 c learned constraints 967152
3600.07/3611.50 c bound constraints 0
3600.07/3611.50 c core-guided constraints 0
3600.07/3611.50 c encountered formula constraints 3485791
3600.07/3611.50 c encountered learned constraints 1007047
3600.07/3611.50 c encountered bound constraints 0
3600.07/3611.50 c encountered core-guided constraints 0
3600.07/3611.50 c LP total time 0 s
3600.07/3611.50 c LP solve time 0 s
3600.07/3611.50 c LP constraints added 0
3600.07/3611.50 c LP constraints removed 0
3600.07/3611.50 c LP pivots internal 0
3600.07/3611.50 c LP pivots root 0
3600.07/3611.50 c LP calls 0
3600.07/3611.50 c LP optimalities 0
3600.07/3611.50 c LP no pivot count 0
3600.07/3611.50 c LP infeasibilities 0
3600.07/3611.50 c LP valid Farkas constraints 0
3600.07/3611.50 c LP learned Farkas constraints 0
3600.07/3611.50 c LP basis resets 0
3600.07/3611.50 c LP cycling count 0
3600.07/3611.50 c LP singular count 0
3600.07/3611.50 c LP no primal count 0
3600.07/3611.50 c LP no farkas count 0
3600.07/3611.50 c LP other issue count 0
3600.07/3611.50 c LP Gomory cuts 0
3600.07/3611.50 c LP learned cuts 0
3600.07/3611.50 c LP deleted cuts 0
3600.07/3611.50 c LP encountered Gomory constraints 0
3600.07/3611.50 c LP encountered Farkas constraints 0
3600.07/3611.50 c LP encountered learned Farkas constraints 0
3600.07/3611.50 c CG auxiliary variables introduced 0
3600.07/3611.50 c CG solutions found 0
3600.07/3611.50 c CG cores constructed 0
3600.07/3611.50 c CG core cardinality constraints returned 0
3600.07/3611.50 c CG unit cores 0
3600.07/3611.50 c CG single cores 0
3600.07/3611.50 c CG blocks removed during cardinality reduction 0
3600.07/3611.50 c CG first core best 0
3600.07/3611.50 c CG decision core best 0
3600.07/3611.50 c CG core reduction tie 0
3600.07/3611.50 c CG core degree average 0.00
3600.07/3611.50 c CG core slack average 0.00
3600.07/3611.50 c CG exhausted 0
3600.07/3611.50 c CG exhaust time 0 s
3600.07/3611.50 c CG trimmed 0
3600.07/3611.50 c CG trim time 0 s
3600.07/3611.50 c CG minimized 0
3600.07/3611.50 c CG minimize time 0 s
3600.07/3611.50 c CG am1 prop time 0.000121 s
3600.07/3611.50 c CG # am1s reformulated 0
3600.07/3611.50 c CG lower bound derived from am1s 0
3600.07/3611.50 c CG # clausal cores 0
3600.07/3611.50 c CG # cardinality cores 0
3600.07/3611.50 c CG # pb cores 0
3600.07/3611.50 c CG # pb reforms 0
3600.07/3611.50 c CG # cores discarded because of pb reform 0
3600.07/3611.50 d LOWERBOUND 0
3600.07/3611.50 d NCORES 0
3600.07/3611.50 d NPBCORES 0
3600.07/3611.50 d NPBREFORM 0
3600.07/3611.50 d NTRIMMED 0
3600.07/3611.50 d NEXHAUSTED 0
3600.07/3611.50 d NAM1S 0
3600.07/3611.50 d AM1LB 0
3600.07/3611.50 c [Papilo Statistics]
3600.07/3611.50 c prepro time 0.046312s
3600.07/3611.50 c # tsx applied 5488
3600.07/3611.50 c # tsx conflicts 0
3600.07/3611.50 c # bound changes 2
3600.07/3611.50 c # side changes 5268
3600.07/3611.50 c # coef changes 260
3600.07/3611.50 c # rounds 2
3600.07/3611.50 c # deted vars 2
3600.07/3611.50 c # deted constrs 5254
3600.07/3611.50 c # consecutive rounds of only bound changes 0
3600.07/3611.50 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 (61495 MiB free)
memory of node 1: 64465 MiB (61889 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4491383-1751382992/watcher-4491383-1751382992 -o /tmp/evaluation-result-4491383-1751382992/solver-4491383-1751382992 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751375766-60449 --watchdog 3760 mixed-bag HOME/instance-4491383-1751382992.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=61562, runsolver pid=61555
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 3.99 4.07 4.08 5/263 61563
/proc/meminfo: memFree=126339292/131249992 swapFree=33010684/33010684
[pid=61562] ppid=61555 vsize=91352 memory=16292 CPUtime=0.07 cores=4,6
/proc/61562/stat : 61562 (mixed-bag) R 61555 61562 60438 0 -1 4194304 2693 0 0 0 7 0 0 0 20 0 1 0 53977930 93544448 4073 18446744073709551615 4235264 15874749 140724387928800 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18096864 18107984 27623424 140724387936668 140724387936745 140724387936745 140724387942347 0
/proc/61562/statm: 22838 4073 2144 2842 0 5071 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 91352 KiB
Current children cumulated memory: 16292 KiB
[startup+0.204846 s]*
/proc/loadavg: 3.99 4.07 4.08 4/261 61568
/proc/meminfo: memFree=126322156/131249992 swapFree=33010684/33010684
[pid=61562] ppid=61555 vsize=115964 memory=39060 CPUtime=0.17 cores=4,6
/proc/61562/stat : 61562 (mixed-bag) R 61555 61562 60438 0 -1 4194304 4831 0 0 0 16 1 0 0 20 0 1 0 53977930 118747136 9765 18446744073709551615 4235264 15874749 140724387928800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 27623424 140724387936668 140724387936745 140724387936745 140724387942347 0
/proc/61562/statm: 28991 9765 2144 2842 0 11224 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 115964 KiB
Current children cumulated memory: 39060 KiB
[startup+0.305528 s]*
/proc/loadavg: 3.99 4.07 4.08 4/261 61571
/proc/meminfo: memFree=126284680/131249992 swapFree=33010684/33010684
[pid=61562] ppid=61555 vsize=185300 memory=104812 CPUtime=0.27 cores=4,6
/proc/61562/stat : 61562 (mixed-bag) R 61555 61562 60438 0 -1 4194304 16968 0 0 0 24 3 0 0 20 0 1 0 53977930 189747200 26203 18446744073709551615 4235264 15874749 140724387928800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 27623424 140724387936668 140724387936745 140724387936745 140724387942347 0
/proc/61562/statm: 46325 26203 4000 2842 0 28019 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 185300 KiB
Current children cumulated memory: 104812 KiB
[startup+0.700176 s]
/proc/loadavg: 3.99 4.07 4.08 5/261 61571
/proc/meminfo: memFree=126240136/131249992 swapFree=33010684/33010684
[pid=61562] ppid=61555 vsize=302992 memory=206244 CPUtime=0.67 cores=4,6
/proc/61562/stat : 61562 (mixed-bag) R 61555 61562 60438 0 -1 4194304 38650 0 0 0 59 8 0 0 20 0 1 0 53977930 310263808 51529 18446744073709551615 4235264 15874749 140724387928800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 27623424 140724387936668 140724387936745 140724387936745 140724387942347 0
/proc/61562/statm: 76000 51561 4096 2842 0 57694 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 302992 KiB
Current children cumulated memory: 206244 KiB
[startup+1.50017 s]
/proc/loadavg: 3.99 4.07 4.08 4/261 61587
/proc/meminfo: memFree=126122432/131249992 swapFree=33010684/33010684
[pid=61562] ppid=61555 vsize=386712 memory=283032 CPUtime=1.47 cores=4,6
/proc/61562/stat : 61562 (mixed-bag) R 61555 61562 60438 0 -1 4194304 53676 0 0 0 136 11 0 0 20 0 1 0 53977930 395993088 70758 18446744073709551615 4235264 15874749 140724387928800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 27623424 140724387936668 140724387936745 140724387936745 140724387942347 0
/proc/61562/statm: 96678 70758 4256 2842 0 78372 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 386712 KiB
Current children cumulated memory: 283032 KiB
[startup+3.10532 s]
/proc/loadavg: 3.99 4.07 4.08 4/261 61661
/proc/meminfo: memFree=125979432/131249992 swapFree=33010684/33010684
[pid=61562] ppid=61555 vsize=482424 memory=373928 CPUtime=3.07 cores=4,6
/proc/61562/stat : 61562 (mixed-bag) R 61555 61562 60438 0 -1 4194304 75412 0 0 0 292 15 0 0 20 0 1 0 53977930 494002176 93482 18446744073709551615 4235264 15874749 140724387928800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 27623424 140724387936668 140724387936745 140724387936745 140724387942347 0
/proc/61562/statm: 120606 93482 4256 2842 0 102300 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 482424 KiB
Current children cumulated memory: 373928 KiB
[startup+6.30016 s]
/proc/loadavg: 3.99 4.06 4.08 4/264 61758
/proc/meminfo: memFree=125983956/131249992 swapFree=33010684/33010684
[pid=61562] ppid=61555 vsize=482424 memory=375336 CPUtime=6.25 cores=4,6
/proc/61562/stat : 61562 (mixed-bag) R 61555 61562 60438 0 -1 4194304 75788 0 0 0 610 15 0 0 20 0 1 0 53977930 494002176 93834 18446744073709551615 4235264 15874749 140724387928800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 27623424 140724387936668 140724387936745 140724387936745 140724387942347 0
/proc/61562/statm: 120606 93834 4256 2842 0 102300 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 482424 KiB
Current children cumulated memory: 375336 KiB
[startup+12.7001 s]
/proc/loadavg: 3.99 4.06 4.08 4/265 61887
/proc/meminfo: memFree=125962648/131249992 swapFree=33010684/33010684
[pid=61562] ppid=61555 vsize=519860 memory=415496 CPUtime=12.63 cores=4,6
/proc/61562/stat : 61562 (mixed-bag) R 61555 61562 60438 0 -1 4194304 83295 0 0 0 1247 16 0 0 20 0 1 0 53977930 532336640 103874 18446744073709551615 4235264 15874749 140724387928800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 27623424 140724387936668 140724387936745 140724387936745 140724387942347 0
/proc/61562/statm: 129965 103874 4256 2842 0 111659 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 519860 KiB
Current children cumulated memory: 415496 KiB
[startup+25.5001 s]
/proc/loadavg: 4.06 4.08 4.09 5/266 61969
/proc/meminfo: memFree=125563244/131249992 swapFree=33010684/33010684
[pid=61562] ppid=61555 vsize=520608 memory=416264 CPUtime=25.36 cores=4,6
/proc/61562/stat : 61562 (mixed-bag) R 61555 61562 60438 0 -1 4194304 83482 0 0 0 2517 19 0 0 20 0 1 0 53977930 533102592 104066 18446744073709551615 4235264 15874749 140724387928800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 27623424 140724387936668 140724387936745 140724387936745 140724387942347 0
/proc/61562/statm: 130152 104066 4256 2842 0 111846 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 520608 KiB
Current children cumulated memory: 416264 KiB
[startup+51.1053 s]
/proc/loadavg: 4.10 4.08 4.09 5/266 62060
/proc/meminfo: memFree=125471056/131249992 swapFree=33010684/33010684
[pid=61562] ppid=61555 vsize=521260 memory=416904 CPUtime=50.86 cores=4,6
/proc/61562/stat : 61562 (mixed-bag) R 61555 61562 60438 0 -1 4194304 83669 0 0 0 5066 20 0 0 20 0 1 0 53977930 533770240 104226 18446744073709551615 4235264 15874749 140724387928800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 27623424 140724387936668 140724387936745 140724387936745 140724387942347 0
/proc/61562/statm: 130315 104226 4256 2842 0 112009 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 521260 KiB
Current children cumulated memory: 416904 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/266 62735
/proc/meminfo: memFree=124633788/131249992 swapFree=33010684/33010684
[pid=61562] ppid=61555 vsize=521260 memory=420744 CPUtime=101.87 cores=4,6
/proc/61562/stat : 61562 (mixed-bag) R 61555 61562 60438 0 -1 4194304 83719 0 0 0 10165 22 0 0 20 0 1 0 53977930 533770240 105186 18446744073709551615 4235264 15874749 140724387928800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 27623424 140724387936668 140724387936745 140724387936745 140724387942347 0
/proc/61562/statm: 130315 105186 4256 2842 0 112009 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 521260 KiB
Current children cumulated memory: 420744 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/266 62781
/proc/meminfo: memFree=123533824/131249992 swapFree=33010684/33010684
[pid=61562] ppid=61555 vsize=524284 memory=438464 CPUtime=161.68 cores=4,6
/proc/61562/stat : 61562 (mixed-bag) R 61555 61562 60438 0 -1 4194304 93916 0 0 0 16143 25 0 0 20 0 1 0 53977930 536866816 109616 18446744073709551615 4235264 15874749 140724387928800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 27623424 140724387936668 140724387936745 140724387936745 140724387942347 0
/proc/61562/statm: 131071 109616 4256 2842 0 112765 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 524284 KiB
Current children cumulated memory: 438464 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/266 62784
/proc/meminfo: memFree=123464088/131249992 swapFree=33010684/33010684
[pid=61562] ppid=61555 vsize=534816 memory=451136 CPUtime=221.52 cores=4,6
/proc/61562/stat : 61562 (mixed-bag) R 61555 61562 60438 0 -1 4194304 96655 0 0 0 22127 25 0 0 20 0 1 0 53977930 547651584 112784 18446744073709551615 4235264 15874749 140724387928800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 27623424 140724387936668 140724387936745 140724387936745 140724387942347 0
/proc/61562/statm: 133704 112784 4256 2842 0 115398 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 534816 KiB
Current children cumulated memory: 451136 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 62786
/proc/meminfo: memFree=123405864/131249992 swapFree=33010684/33010684
[pid=61562] ppid=61555 vsize=573468 memory=490560 CPUtime=281.35 cores=4,6
/proc/61562/stat : 61562 (mixed-bag) R 61555 61562 60438 0 -1 4194304 105329 0 0 0 28108 27 0 0 20 0 1 0 53977930 587231232 122640 18446744073709551615 4235264 15874749 140724387928800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 27623424 140724387936668 140724387936745 140724387936745 140724387942347 0
/proc/61562/statm: 143367 122640 4256 2842 0 125061 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 573468 KiB
Current children cumulated memory: 490560 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/263 62788
/proc/meminfo: memFree=123345396/131249992 swapFree=33010684/33010684
[pid=61562] ppid=61555 vsize=539164 memory=475468 CPUtime=341.2 cores=4,6
/proc/61562/stat : 61562 (mixed-bag) R 61555 61562 60438 0 -1 4194304 106631 0 0 0 34039 81 0 0 20 0 1 0 53977930 552103936 118867 18446744073709551615 4235264 15874749 140724387928800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 27623424 140724387936668 140724387936745 140724387936745 140724387942347 0
/proc/61562/statm: 134791 118867 4416 2842 0 116485 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 539164 KiB
Current children cumulated memory: 475468 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 62791
/proc/meminfo: memFree=123424920/131249992 swapFree=33010684/33010684
[pid=61562] ppid=61555 vsize=543584 memory=476876 CPUtime=401.04 cores=4,6
/proc/61562/stat : 61562 (mixed-bag) R 61555 61562 60438 0 -1 4194304 106991 0 0 0 39965 139 0 0 20 0 1 0 53977930 556630016 119219 18446744073709551615 4235264 15874749 140724387928800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 27623424 140724387936668 140724387936745 140724387936745 140724387942347 0
/proc/61562/statm: 135896 119219 4416 2842 0 117590 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 543584 KiB
Current children cumulated memory: 476876 KiB
[startup+462.3 s]
/proc/loadavg: 4.04 4.09 4.08 5/264 62793
/proc/meminfo: memFree=122893316/131249992 swapFree=33010684/33010684
[pid=61562] ppid=61555 vsize=543584 memory=479840 CPUtime=460.88 cores=4,6
/proc/61562/stat : 61562 (mixed-bag) R 61555 61562 60438 0 -1 4194304 107261 0 0 0 45898 190 0 0 20 0 1 0 53977930 556630016 119960 18446744073709551615 4235264 15874749 140724387928800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 27623424 140724387936668 140724387936745 140724387936745 140724387942347 0
/proc/61562/statm: 135896 119960 4416 2842 0 117590 0
Current children cumulated CPU time: 460.88 s
################
# More data... #
################
Current children cumulated memory: 506876 KiB
[startup+2922.3 s]
/proc/loadavg: 4.45 4.18 4.12 5/265 62969
/proc/meminfo: memFree=123997816/131249992 swapFree=33010684/33010684
[pid=61562] ppid=61555 vsize=581408 memory=506876 CPUtime=2913.2 cores=4,6
/proc/61562/stat : 61562 (mixed-bag) R 61555 61562 60438 0 -1 4194304 109408 0 0 0 290212 1108 0 0 20 0 1 0 53977930 595361792 126719 18446744073709551615 4235264 15874749 140724387928800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 27623424 140724387936668 140724387936745 140724387936745 140724387942347 0
/proc/61562/statm: 145352 126719 4416 2842 0 127046 0
Current children cumulated CPU time: 2913.2 s
Current children cumulated vsize: 581408 KiB
Current children cumulated memory: 506876 KiB
[startup+2982.3 s]
/proc/loadavg: 4.23 4.16 4.11 5/265 62971
/proc/meminfo: memFree=124007816/131249992 swapFree=33010684/33010684
[pid=61562] ppid=61555 vsize=581408 memory=506876 CPUtime=2972.99 cores=4,6
/proc/61562/stat : 61562 (mixed-bag) R 61555 61562 60438 0 -1 4194304 109408 0 0 0 296169 1130 0 0 20 0 1 0 53977930 595361792 126719 18446744073709551615 4235264 15874749 140724387928800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 27623424 140724387936668 140724387936745 140724387936745 140724387942347 0
/proc/61562/statm: 145352 126719 4416 2842 0 127046 0
Current children cumulated CPU time: 2972.99 s
Current children cumulated vsize: 581408 KiB
Current children cumulated memory: 506876 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/266 62980
/proc/meminfo: memFree=123997328/131249992 swapFree=33010684/33010684
[pid=61562] ppid=61555 vsize=581408 memory=506876 CPUtime=3032.79 cores=4,6
/proc/61562/stat : 61562 (mixed-bag) R 61555 61562 60438 0 -1 4194304 109408 0 0 0 302132 1147 0 0 20 0 1 0 53977930 595361792 126719 18446744073709551615 4235264 15874749 140724387928800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 27623424 140724387936668 140724387936745 140724387936745 140724387942347 0
/proc/61562/statm: 145352 126719 4416 2842 0 127046 0
Current children cumulated CPU time: 3032.79 s
Current children cumulated vsize: 581408 KiB
Current children cumulated memory: 506876 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/266 62983
/proc/meminfo: memFree=123990216/131249992 swapFree=33010684/33010684
[pid=61562] ppid=61555 vsize=581408 memory=506876 CPUtime=3092.58 cores=4,6
/proc/61562/stat : 61562 (mixed-bag) R 61555 61562 60438 0 -1 4194304 109408 0 0 0 308096 1162 0 0 20 0 1 0 53977930 595361792 126719 18446744073709551615 4235264 15874749 140724387928800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 27623424 140724387936668 140724387936745 140724387936745 140724387942347 0
/proc/61562/statm: 145352 126719 4416 2842 0 127046 0
Current children cumulated CPU time: 3092.58 s
Current children cumulated vsize: 581408 KiB
Current children cumulated memory: 506876 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/264 62985
/proc/meminfo: memFree=123944196/131249992 swapFree=33010684/33010684
[pid=61562] ppid=61555 vsize=581408 memory=506876 CPUtime=3152.39 cores=4,6
/proc/61562/stat : 61562 (mixed-bag) R 61555 61562 60438 0 -1 4194304 109408 0 0 0 314062 1177 0 0 20 0 1 0 53977930 595361792 126719 18446744073709551615 4235264 15874749 140724387928800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 27623424 140724387936668 140724387936745 140724387936745 140724387942347 0
/proc/61562/statm: 145352 126719 4416 2842 0 127046 0
Current children cumulated CPU time: 3152.39 s
Current children cumulated vsize: 581408 KiB
Current children cumulated memory: 506876 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/264 62987
/proc/meminfo: memFree=123911692/131249992 swapFree=33010684/33010684
[pid=61562] ppid=61555 vsize=581408 memory=506876 CPUtime=3212.18 cores=4,6
/proc/61562/stat : 61562 (mixed-bag) R 61555 61562 60438 0 -1 4194304 109408 0 0 0 320027 1191 0 0 20 0 1 0 53977930 595361792 126719 18446744073709551615 4235264 15874749 140724387928800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 27623424 140724387936668 140724387936745 140724387936745 140724387942347 0
/proc/61562/statm: 145352 126719 4416 2842 0 127046 0
Current children cumulated CPU time: 3212.18 s
Current children cumulated vsize: 581408 KiB
Current children cumulated memory: 506876 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/264 62989
/proc/meminfo: memFree=123895692/131249992 swapFree=33010684/33010684
[pid=61562] ppid=61555 vsize=581408 memory=506876 CPUtime=3271.98 cores=4,6
/proc/61562/stat : 61562 (mixed-bag) R 61555 61562 60438 0 -1 4194304 109476 0 0 0 325994 1204 0 0 20 0 1 0 53977930 595361792 126719 18446744073709551615 4235264 15874749 140724387928800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 27623424 140724387936668 140724387936745 140724387936745 140724387942347 0
/proc/61562/statm: 145352 126719 4416 2842 0 127046 0
Current children cumulated CPU time: 3271.98 s
Current children cumulated vsize: 581408 KiB
Current children cumulated memory: 506876 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/263 62991
/proc/meminfo: memFree=123888060/131249992 swapFree=33010684/33010684
[pid=61562] ppid=61555 vsize=581408 memory=506876 CPUtime=3331.79 cores=4,6
/proc/61562/stat : 61562 (mixed-bag) R 61555 61562 60438 0 -1 4194304 109479 0 0 0 331964 1215 0 0 20 0 1 0 53977930 595361792 126719 18446744073709551615 4235264 15874749 140724387928800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 27623424 140724387936668 140724387936745 140724387936745 140724387942347 0
/proc/61562/statm: 145352 126719 4416 2842 0 127046 0
Current children cumulated CPU time: 3331.79 s
Current children cumulated vsize: 581408 KiB
Current children cumulated memory: 506876 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/262 62993
/proc/meminfo: memFree=123887860/131249992 swapFree=33010684/33010684
[pid=61562] ppid=61555 vsize=581408 memory=508924 CPUtime=3391.59 cores=4,6
/proc/61562/stat : 61562 (mixed-bag) R 61555 61562 60438 0 -1 4194304 109481 0 0 0 337934 1225 0 0 20 0 1 0 53977930 595361792 127231 18446744073709551615 4235264 15874749 140724387928800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 27623424 140724387936668 140724387936745 140724387936745 140724387942347 0
/proc/61562/statm: 145352 127231 4416 2842 0 127046 0
Current children cumulated CPU time: 3391.59 s
Current children cumulated vsize: 581408 KiB
Current children cumulated memory: 508924 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/262 62995
/proc/meminfo: memFree=123886796/131249992 swapFree=33010684/33010684
[pid=61562] ppid=61555 vsize=581408 memory=508924 CPUtime=3451.38 cores=4,6
/proc/61562/stat : 61562 (mixed-bag) R 61555 61562 60438 0 -1 4194304 109483 0 0 0 343901 1237 0 0 20 0 1 0 53977930 595361792 127231 18446744073709551615 4235264 15874749 140724387928800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 27623424 140724387936668 140724387936745 140724387936745 140724387942347 0
/proc/61562/statm: 145352 127231 4416 2842 0 127046 0
Current children cumulated CPU time: 3451.38 s
Current children cumulated vsize: 581408 KiB
Current children cumulated memory: 508924 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 62998
/proc/meminfo: memFree=123886940/131249992 swapFree=33010684/33010684
[pid=61562] ppid=61555 vsize=581408 memory=508924 CPUtime=3511.17 cores=4,6
/proc/61562/stat : 61562 (mixed-bag) R 61555 61562 60438 0 -1 4194304 109483 0 0 0 349867 1250 0 0 20 0 1 0 53977930 595361792 127231 18446744073709551615 4235264 15874749 140724387928800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 27623424 140724387936668 140724387936745 140724387936745 140724387942347 0
/proc/61562/statm: 145352 127231 4416 2842 0 127046 0
Current children cumulated CPU time: 3511.17 s
Current children cumulated vsize: 581408 KiB
Current children cumulated memory: 508924 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 63000
/proc/meminfo: memFree=123866596/131249992 swapFree=33010684/33010684
[pid=61562] ppid=61555 vsize=581408 memory=508924 CPUtime=3570.96 cores=4,6
/proc/61562/stat : 61562 (mixed-bag) R 61555 61562 60438 0 -1 4194304 109483 0 0 0 355833 1263 0 0 20 0 1 0 53977930 595361792 127231 18446744073709551615 4235264 15874749 140724387928800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 27623424 140724387936668 140724387936745 140724387936745 140724387942347 0
/proc/61562/statm: 145352 127231 4416 2842 0 127046 0
Current children cumulated CPU time: 3570.96 s
Current children cumulated vsize: 581408 KiB
Current children cumulated memory: 508924 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.5 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 63009
/proc/meminfo: memFree=123865408/131249992 swapFree=33010684/33010684
[pid=61562] ppid=61555 vsize=581408 memory=508924 CPUtime=3600.07 cores=4,6
/proc/61562/stat : 61562 (mixed-bag) R 61555 61562 60438 0 -1 4194304 109483 0 0 0 358736 1271 0 0 20 0 1 0 53977930 595361792 127231 18446744073709551615 4235264 15874749 140724387928800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 27623424 140724387936668 140724387936745 140724387936745 140724387942347 0
/proc/61562/statm: 145352 127231 4416 2842 0 127046 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 581408 KiB
Current children cumulated memory: 508924 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.51 s]
# the end of solver process 61562 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.37 s, system=12.7167 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.5 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 63009
/proc/meminfo: memFree=123865408/131249992 swapFree=33010684/33010684
[pid=61562] ppid=61555 vsize=581408 memory=508924 CPUtime=3600.07 cores=4,6
/proc/61562/stat : 61562 (mixed-bag) R 61555 61562 60438 0 -1 4194304 109483 0 0 0 358736 1271 0 0 20 0 1 0 53977930 595361792 127231 18446744073709551615 4235264 15874749 140724387928800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 27623424 140724387936668 140724387936745 140724387936745 140724387942347 0
/proc/61562/statm: 145352 127231 4416 2842 0 127046 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 581408 KiB
Current children cumulated memory: 508924 KiB
Child status: 0
Real time (s): 3611.51
CPU time (s): 3600.09
CPU user time (s): 3587.37
CPU system time (s): 12.7167
CPU usage (%): 99.6838
Max. virtual memory (cumulated for all children) (KiB): 581408
Max. memory (cumulated for all children) (KiB): 508924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.37
system time used= 12.7167
maximum resident set size= 509820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109524
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= 204
involuntary context switches= 19836
# summary of solver processes directly reported to runsolver:
# pid: 61562
# total CPU time (s): 3600.09
# total CPU user time (s): 3587.37
# total CPU system time (s): 12.7167
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.7478 second user time and 15.3116 second system time
The end
Begin job on nodeC025 at 2025-07-01 17:16:32
IDJOB=4491383
IDBENCH=147704
IDSOLVER=3340
FILE ID=nodeC025/4491383-1751382992
RUNJOBID= nodeC025-1751375766-60449
SLURM_JOB_ID= 9598215
Free space on /tmp= 433028 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_16.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4491383-1751382992/watcher-4491383-1751382992 -o /tmp/evaluation-result-4491383-1751382992/solver-4491383-1751382992 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751375766-60449 --watchdog 3760 mixed-bag HOME/instance-4491383-1751382992.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0c97dedf99f03a2f12057daa91676c25
RANDOM SEED=1391913845
nodeC025 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3617.243
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.849
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.835
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.207
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.835
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.573
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.916
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3639.305
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 126350848 kB
MemAvailable: 129149876 kB
Buffers: 3280 kB
Cached: 3597104 kB
SwapCached: 0 kB
Active: 1057096 kB
Inactive: 3257412 kB
Active(anon): 732208 kB
Inactive(anon): 0 kB
Active(file): 324888 kB
Inactive(file): 3257412 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 33488 kB
Writeback: 0 kB
AnonPages: 712532 kB
Mapped: 127644 kB
Shmem: 18084 kB
KReclaimable: 111932 kB
Slab: 200612 kB
SReclaimable: 111932 kB
SUnreclaim: 88680 kB
KernelStack: 4176 kB
PageTables: 4456 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1046484 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 647168 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432992 MiB
End job on nodeC025 at 2025-07-01 18:16:43