0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.08/0.20 c [STEP] preprocessing with Papilo
0.19/0.25 c [STEP] solving with SCIP
299.47/300.38 c [STEP] preprocessing done, loading into solver
299.57/300.44 c [STEP] solving
299.57/300.44 c #variables 5569 #constraints 10895
299.57/300.44 c SMALL=int, LARGE=long long
299.57/300.44 d SCIPUB 256
299.57/300.44 c bounds - >= 0 @ 299.422
299.57/300.44 c stratification level: 0
339.97/340.95 c #Conflicts: 1000 | #Constraints: 11894
339.97/340.95 c #Conflicts: 2000 | #Constraints: 12894
339.97/340.95 c INPROCESSING
339.97/340.95 c #Conflicts: 3000 | #Constraints: 12913
339.97/340.95 c #Conflicts: 4000 | #Constraints: 13913
339.97/340.95 c INPROCESSING
339.97/340.95 c #Conflicts: 5000 | #Constraints: 13333
339.97/340.95 c #Conflicts: 6000 | #Constraints: 14333
339.97/340.95 c INPROCESSING
339.97/340.95 c GARBAGE COLLECT
339.97/340.95 c #Conflicts: 7000 | #Constraints: 13343
339.97/340.95 c #Conflicts: 8000 | #Constraints: 14343
339.97/340.95 c #Conflicts: 9000 | #Constraints: 15343
339.97/340.95 c INPROCESSING
339.97/340.95 c #Conflicts: 10000 | #Constraints: 14052
339.97/340.95 c #Conflicts: 11000 | #Constraints: 15052
339.97/340.95 c #Conflicts: 12000 | #Constraints: 16052
339.97/340.95 c INPROCESSING
339.97/340.95 c GARBAGE COLLECT
339.97/340.95 c #Conflicts: 13000 | #Constraints: 14495
339.97/340.95 c #Conflicts: 14000 | #Constraints: 15495
339.97/340.95 c #Conflicts: 15000 | #Constraints: 16495
339.97/340.95 c INPROCESSING
339.97/340.95 c #Conflicts: 16000 | #Constraints: 14725
339.97/340.95 c #Conflicts: 17000 | #Constraints: 15725
339.97/340.95 c #Conflicts: 18000 | #Constraints: 16725
339.97/340.95 c INPROCESSING
339.97/340.95 c GARBAGE COLLECT
339.97/340.95 c #Conflicts: 19000 | #Constraints: 14738
339.97/340.95 c #Conflicts: 20000 | #Constraints: 15738
339.97/340.95 c #Conflicts: 21000 | #Constraints: 16738
339.97/340.95 c INPROCESSING
339.97/340.95 c GARBAGE COLLECT
339.97/340.95 c #Conflicts: 22000 | #Constraints: 14549
339.97/340.95 c #Conflicts: 23000 | #Constraints: 15549
339.97/340.95 c #Conflicts: 24000 | #Constraints: 16549
339.97/340.95 c #Conflicts: 25000 | #Constraints: 17549
339.97/340.95 c INPROCESSING
339.97/340.95 c GARBAGE COLLECT
339.97/340.95 c #Conflicts: 26000 | #Constraints: 15160
339.97/340.95 c #Conflicts: 27000 | #Constraints: 16160
339.97/340.95 c #Conflicts: 28000 | #Constraints: 17160
339.97/340.95 c #Conflicts: 29000 | #Constraints: 18160
339.97/340.95 c INPROCESSING
339.97/340.95 c GARBAGE COLLECT
339.97/340.95 c #Conflicts: 30000 | #Constraints: 15559
339.97/340.95 c #Conflicts: 31000 | #Constraints: 16559
339.97/340.95 c #Conflicts: 32000 | #Constraints: 17559
339.97/340.95 c #Conflicts: 33000 | #Constraints: 18559
339.97/340.95 c INPROCESSING
339.97/340.95 c GARBAGE COLLECT
339.97/340.95 c #Conflicts: 34000 | #Constraints: 15765
339.97/340.95 c #Conflicts: 35000 | #Constraints: 16765
339.97/340.95 c #Conflicts: 36000 | #Constraints: 17765
339.97/340.95 c #Conflicts: 37000 | #Constraints: 18765
339.97/340.95 c INPROCESSING
339.97/340.95 c GARBAGE COLLECT
339.97/340.95 c #Conflicts: 38000 | #Constraints: 15757
339.97/340.95 c #Conflicts: 39000 | #Constraints: 16757
339.97/340.95 c #Conflicts: 40000 | #Constraints: 17757
339.97/340.95 c #Conflicts: 41000 | #Constraints: 18757
339.97/340.95 c INPROCESSING
339.97/340.95 c GARBAGE COLLECT
339.97/340.95 c #Conflicts: 42000 | #Constraints: 15567
339.97/340.95 c #Conflicts: 43000 | #Constraints: 16567
339.97/340.95 c #Conflicts: 44000 | #Constraints: 17567
339.97/340.95 c #Conflicts: 45000 | #Constraints: 18567
339.97/340.95 c #Conflicts: 46000 | #Constraints: 19567
339.97/340.95 c INPROCESSING
339.97/340.95 c GARBAGE COLLECT
339.97/340.95 c #Conflicts: 47000 | #Constraints: 16164
339.97/340.95 c #Conflicts: 48000 | #Constraints: 17164
339.97/340.95 c #Conflicts: 49000 | #Constraints: 18164
339.97/340.95 c #Conflicts: 50000 | #Constraints: 19164
339.97/340.95 c #Conflicts: 51000 | #Constraints: 20164
339.97/340.95 c INPROCESSING
339.97/340.95 c GARBAGE COLLECT
339.97/340.95 c #Conflicts: 52000 | #Constraints: 16558
339.97/340.95 c #Conflicts: 53000 | #Constraints: 17558
339.97/340.95 c #Conflicts: 54000 | #Constraints: 18558
339.97/340.95 c #Conflicts: 55000 | #Constraints: 19558
339.97/340.95 c #Conflicts: 56000 | #Constraints: 20558
339.97/340.95 c INPROCESSING
339.97/340.95 c GARBAGE COLLECT
339.97/340.95 c #Conflicts: 57000 | #Constraints: 16763
339.97/340.95 c #Conflicts: 58000 | #Constraints: 17763
339.97/340.95 c #Conflicts: 59000 | #Constraints: 18763
339.97/340.95 c #Conflicts: 60000 | #Constraints: 19763
339.97/340.95 c #Conflicts: 61000 | #Constraints: 20763
339.97/340.95 c INPROCESSING
339.97/340.95 c GARBAGE COLLECT
339.97/340.95 c #Conflicts: 62000 | #Constraints: 16759
339.97/340.95 c #Conflicts: 63000 | #Constraints: 17759
339.97/340.95 c #Conflicts: 64000 | #Constraints: 18759
339.97/340.95 c #Conflicts: 65000 | #Constraints: 19759
339.97/340.95 c #Conflicts: 66000 | #Constraints: 20759
339.97/340.95 c INPROCESSING
339.97/340.95 c GARBAGE COLLECT
339.97/340.95 c #Conflicts: 67000 | #Constraints: 16559
339.97/340.95 c #Conflicts: 68000 | #Constraints: 17559
339.97/340.95 c #Conflicts: 69000 | #Constraints: 18559
404.91/406.06 c #Conflicts: 70000 | #Constraints: 19559
404.91/406.06 c #Conflicts: 71000 | #Constraints: 20559
404.91/406.06 c #Conflicts: 72000 | #Constraints: 21559
404.91/406.06 c INPROCESSING
404.91/406.06 c GARBAGE COLLECT
404.91/406.06 c #Conflicts: 73000 | #Constraints: 17158
404.91/406.06 c #Conflicts: 74000 | #Constraints: 18158
404.91/406.06 c #Conflicts: 75000 | #Constraints: 19158
404.91/406.06 c #Conflicts: 76000 | #Constraints: 20158
404.91/406.06 c #Conflicts: 77000 | #Constraints: 21158
404.91/406.06 c #Conflicts: 78000 | #Constraints: 22158
404.91/406.06 c INPROCESSING
404.91/406.06 c GARBAGE COLLECT
404.91/406.06 c #Conflicts: 79000 | #Constraints: 17563
404.91/406.06 c #Conflicts: 80000 | #Constraints: 18563
404.91/406.06 c #Conflicts: 81000 | #Constraints: 19563
404.91/406.06 c #Conflicts: 82000 | #Constraints: 20563
404.91/406.06 c #Conflicts: 83000 | #Constraints: 21563
404.91/406.06 c #Conflicts: 84000 | #Constraints: 22563
404.91/406.06 c INPROCESSING
404.91/406.06 c GARBAGE COLLECT
404.91/406.06 c #Conflicts: 85000 | #Constraints: 17756
404.91/406.06 c #Conflicts: 86000 | #Constraints: 18756
404.91/406.06 c #Conflicts: 87000 | #Constraints: 19756
404.91/406.06 c #Conflicts: 88000 | #Constraints: 20756
404.91/406.06 c #Conflicts: 89000 | #Constraints: 21756
404.91/406.06 c #Conflicts: 90000 | #Constraints: 22756
404.91/406.06 c INPROCESSING
404.91/406.06 c GARBAGE COLLECT
404.91/406.06 c #Conflicts: 91000 | #Constraints: 17759
404.91/406.06 c #Conflicts: 92000 | #Constraints: 18759
404.91/406.06 c #Conflicts: 93000 | #Constraints: 19759
404.91/406.06 c #Conflicts: 94000 | #Constraints: 20759
404.91/406.06 c #Conflicts: 95000 | #Constraints: 21759
404.91/406.06 c #Conflicts: 96000 | #Constraints: 22759
404.91/406.06 c INPROCESSING
404.91/406.06 c GARBAGE COLLECT
404.91/406.06 c #Conflicts: 97000 | #Constraints: 17561
404.91/406.06 c #Conflicts: 98000 | #Constraints: 18561
404.91/406.06 c #Conflicts: 99000 | #Constraints: 19561
404.91/406.06 c #Conflicts: 100000 | #Constraints: 20561
404.91/406.06 c #Conflicts: 101000 | #Constraints: 21561
404.91/406.06 c #Conflicts: 102000 | #Constraints: 22561
404.91/406.06 c #Conflicts: 103000 | #Constraints: 23561
404.91/406.06 c INPROCESSING
404.91/406.06 c GARBAGE COLLECT
404.91/406.06 c #Conflicts: 104000 | #Constraints: 18157
404.91/406.06 c #Conflicts: 105000 | #Constraints: 19157
404.91/406.06 c #Conflicts: 106000 | #Constraints: 20157
404.91/406.06 c #Conflicts: 107000 | #Constraints: 21157
404.91/406.06 c #Conflicts: 108000 | #Constraints: 22157
404.91/406.06 c #Conflicts: 109000 | #Constraints: 23157
404.91/406.06 c #Conflicts: 110000 | #Constraints: 24157
404.91/406.06 c INPROCESSING
404.91/406.06 c GARBAGE COLLECT
404.91/406.06 c #Conflicts: 111000 | #Constraints: 18561
404.91/406.06 c #Conflicts: 112000 | #Constraints: 19561
404.91/406.06 c #Conflicts: 113000 | #Constraints: 20561
404.91/406.06 c #Conflicts: 114000 | #Constraints: 21561
404.91/406.06 c #Conflicts: 115000 | #Constraints: 22561
404.91/406.06 c #Conflicts: 116000 | #Constraints: 23561
404.91/406.06 c #Conflicts: 117000 | #Constraints: 24561
404.91/406.06 c INPROCESSING
404.91/406.06 c GARBAGE COLLECT
404.91/406.06 c #Conflicts: 118000 | #Constraints: 18772
404.91/406.06 c #Conflicts: 119000 | #Constraints: 19772
404.91/406.06 c #Conflicts: 120000 | #Constraints: 20772
404.91/406.06 c #Conflicts: 121000 | #Constraints: 21772
404.91/406.06 c #Conflicts: 122000 | #Constraints: 22772
404.91/406.06 c #Conflicts: 123000 | #Constraints: 23772
404.91/406.06 c #Conflicts: 124000 | #Constraints: 24772
404.91/406.06 c INPROCESSING
404.91/406.06 c GARBAGE COLLECT
404.91/406.06 c #Conflicts: 125000 | #Constraints: 18788
404.91/406.06 c #Conflicts: 126000 | #Constraints: 19788
404.91/406.06 c #Conflicts: 127000 | #Constraints: 20788
404.91/406.06 c #Conflicts: 128000 | #Constraints: 21788
404.91/406.06 c #Conflicts: 129000 | #Constraints: 22788
404.91/406.06 c #Conflicts: 130000 | #Constraints: 23788
404.91/406.06 c #Conflicts: 131000 | #Constraints: 24788
404.91/406.06 c INPROCESSING
404.91/406.06 c GARBAGE COLLECT
404.91/406.06 c #Conflicts: 132000 | #Constraints: 18588
404.91/406.06 c #Conflicts: 133000 | #Constraints: 19588
404.91/406.06 c #Conflicts: 134000 | #Constraints: 20588
404.91/406.06 c #Conflicts: 135000 | #Constraints: 21588
404.91/406.06 c #Conflicts: 136000 | #Constraints: 22588
404.91/406.06 c #Conflicts: 137000 | #Constraints: 23588
404.91/406.06 c #Conflicts: 138000 | #Constraints: 24588
404.91/406.06 c #Conflicts: 139000 | #Constraints: 25588
404.91/406.06 c INPROCESSING
404.91/406.06 c GARBAGE COLLECT
404.91/406.06 c #Conflicts: 140000 | #Constraints: 19180
404.91/406.06 c #Conflicts: 141000 | #Constraints: 20180
488.20/489.57 c #Conflicts: 142000 | #Constraints: 21180
488.20/489.57 c #Conflicts: 143000 | #Constraints: 22180
488.20/489.57 c #Conflicts: 144000 | #Constraints: 23180
488.20/489.57 c #Conflicts: 145000 | #Constraints: 24180
488.20/489.57 c #Conflicts: 146000 | #Constraints: 25180
488.20/489.57 c #Conflicts: 147000 | #Constraints: 26180
488.20/489.57 c INPROCESSING
488.20/489.57 c GARBAGE COLLECT
488.20/489.57 c #Conflicts: 148000 | #Constraints: 19578
488.20/489.57 c #Conflicts: 149000 | #Constraints: 20578
488.20/489.57 c #Conflicts: 150000 | #Constraints: 21578
488.20/489.57 c #Conflicts: 151000 | #Constraints: 22578
488.20/489.57 c #Conflicts: 152000 | #Constraints: 23578
488.20/489.57 c #Conflicts: 153000 | #Constraints: 24578
488.20/489.57 c #Conflicts: 154000 | #Constraints: 25578
488.20/489.57 c #Conflicts: 155000 | #Constraints: 26578
488.20/489.57 c INPROCESSING
488.20/489.57 c GARBAGE COLLECT
488.20/489.57 c #Conflicts: 156000 | #Constraints: 19767
488.20/489.57 c #Conflicts: 157000 | #Constraints: 20767
488.20/489.57 c #Conflicts: 158000 | #Constraints: 21767
488.20/489.57 c #Conflicts: 159000 | #Constraints: 22767
488.20/489.57 c #Conflicts: 160000 | #Constraints: 23767
488.20/489.57 c #Conflicts: 161000 | #Constraints: 24767
488.20/489.57 c #Conflicts: 162000 | #Constraints: 25767
488.20/489.57 c #Conflicts: 163000 | #Constraints: 26767
488.20/489.57 c INPROCESSING
488.20/489.57 c GARBAGE COLLECT
488.20/489.57 c #Conflicts: 164000 | #Constraints: 19786
488.20/489.57 c #Conflicts: 165000 | #Constraints: 20786
488.20/489.57 c #Conflicts: 166000 | #Constraints: 21786
488.20/489.57 c #Conflicts: 167000 | #Constraints: 22786
488.20/489.57 c #Conflicts: 168000 | #Constraints: 23786
488.20/489.57 c #Conflicts: 169000 | #Constraints: 24786
488.20/489.57 c #Conflicts: 170000 | #Constraints: 25786
488.20/489.57 c #Conflicts: 171000 | #Constraints: 26786
488.20/489.57 c INPROCESSING
488.20/489.57 c GARBAGE COLLECT
488.20/489.57 c #Conflicts: 172000 | #Constraints: 19575
488.20/489.57 c #Conflicts: 173000 | #Constraints: 20575
488.20/489.57 c #Conflicts: 174000 | #Constraints: 21575
488.20/489.57 c #Conflicts: 175000 | #Constraints: 22575
488.20/489.57 c #Conflicts: 176000 | #Constraints: 23575
488.20/489.57 c #Conflicts: 177000 | #Constraints: 24575
488.20/489.57 c #Conflicts: 178000 | #Constraints: 25575
488.20/489.57 c #Conflicts: 179000 | #Constraints: 26575
488.20/489.57 c #Conflicts: 180000 | #Constraints: 27575
488.20/489.57 c INPROCESSING
488.20/489.57 c GARBAGE COLLECT
488.20/489.57 c #Conflicts: 181000 | #Constraints: 20177
488.20/489.57 c #Conflicts: 182000 | #Constraints: 21177
488.20/489.57 c #Conflicts: 183000 | #Constraints: 22177
488.20/489.57 c #Conflicts: 184000 | #Constraints: 23177
488.20/489.57 c #Conflicts: 185000 | #Constraints: 24177
488.20/489.57 c #Conflicts: 186000 | #Constraints: 25177
488.20/489.57 c #Conflicts: 187000 | #Constraints: 26177
488.20/489.57 c #Conflicts: 188000 | #Constraints: 27177
488.20/489.57 c #Conflicts: 189000 | #Constraints: 28177
488.20/489.57 c INPROCESSING
488.20/489.57 c GARBAGE COLLECT
488.20/489.57 c #Conflicts: 190000 | #Constraints: 20569
488.20/489.57 c #Conflicts: 191000 | #Constraints: 21569
488.20/489.57 c #Conflicts: 192000 | #Constraints: 22569
488.20/489.57 c #Conflicts: 193000 | #Constraints: 23569
488.20/489.57 c #Conflicts: 194000 | #Constraints: 24569
488.20/489.57 c #Conflicts: 195000 | #Constraints: 25569
488.20/489.57 c #Conflicts: 196000 | #Constraints: 26569
488.20/489.57 c #Conflicts: 197000 | #Constraints: 27569
488.20/489.57 c #Conflicts: 198000 | #Constraints: 28569
488.20/489.57 c INPROCESSING
488.20/489.57 c GARBAGE COLLECT
488.20/489.57 c #Conflicts: 199000 | #Constraints: 20769
488.20/489.57 c #Conflicts: 200000 | #Constraints: 21769
488.20/489.57 c #Conflicts: 201000 | #Constraints: 22769
488.20/489.57 c #Conflicts: 202000 | #Constraints: 23769
488.20/489.57 c #Conflicts: 203000 | #Constraints: 24769
488.20/489.57 c #Conflicts: 204000 | #Constraints: 25769
488.20/489.57 c #Conflicts: 205000 | #Constraints: 26769
488.20/489.57 c #Conflicts: 206000 | #Constraints: 27769
488.20/489.57 c #Conflicts: 207000 | #Constraints: 28769
488.20/489.57 c INPROCESSING
488.20/489.57 c GARBAGE COLLECT
488.20/489.57 c #Conflicts: 208000 | #Constraints: 20771
488.20/489.57 c #Conflicts: 209000 | #Constraints: 21771
488.20/489.57 c #Conflicts: 210000 | #Constraints: 22771
488.20/489.57 c #Conflicts: 211000 | #Constraints: 23771
488.20/489.57 c #Conflicts: 212000 | #Constraints: 24771
488.20/489.57 c #Conflicts: 213000 | #Constraints: 25771
488.20/489.57 c #Conflicts: 214000 | #Constraints: 26771
488.20/489.57 c #Conflicts: 215000 | #Constraints: 27771
587.24/588.89 c #Conflicts: 216000 | #Constraints: 28771
587.24/588.89 c INPROCESSING
587.24/588.89 c GARBAGE COLLECT
587.24/588.89 c #Conflicts: 217000 | #Constraints: 20573
587.24/588.89 c #Conflicts: 218000 | #Constraints: 21573
587.24/588.89 c #Conflicts: 219000 | #Constraints: 22573
587.24/588.89 c #Conflicts: 220000 | #Constraints: 23573
587.24/588.89 c #Conflicts: 221000 | #Constraints: 24573
587.24/588.89 c #Conflicts: 222000 | #Constraints: 25573
587.24/588.89 c #Conflicts: 223000 | #Constraints: 26573
587.24/588.89 c #Conflicts: 224000 | #Constraints: 27573
587.24/588.89 c #Conflicts: 225000 | #Constraints: 28573
587.24/588.89 c #Conflicts: 226000 | #Constraints: 29573
587.24/588.89 c INPROCESSING
587.24/588.89 c GARBAGE COLLECT
587.24/588.89 c #Conflicts: 227000 | #Constraints: 21165
587.24/588.89 c #Conflicts: 228000 | #Constraints: 22165
587.24/588.89 c #Conflicts: 229000 | #Constraints: 23165
587.24/588.89 c #Conflicts: 230000 | #Constraints: 24165
587.24/588.89 c #Conflicts: 231000 | #Constraints: 25165
587.24/588.89 c #Conflicts: 232000 | #Constraints: 26165
587.24/588.89 c #Conflicts: 233000 | #Constraints: 27165
587.24/588.89 c #Conflicts: 234000 | #Constraints: 28165
587.24/588.89 c #Conflicts: 235000 | #Constraints: 29165
587.24/588.89 c #Conflicts: 236000 | #Constraints: 30165
587.24/588.89 c INPROCESSING
587.24/588.89 c GARBAGE COLLECT
587.24/588.89 c #Conflicts: 237000 | #Constraints: 21576
587.24/588.89 c #Conflicts: 238000 | #Constraints: 22576
587.24/588.89 c #Conflicts: 239000 | #Constraints: 23576
587.24/588.89 c #Conflicts: 240000 | #Constraints: 24576
587.24/588.89 c #Conflicts: 241000 | #Constraints: 25576
587.24/588.89 c #Conflicts: 242000 | #Constraints: 26576
587.24/588.89 c #Conflicts: 243000 | #Constraints: 27576
587.24/588.89 c #Conflicts: 244000 | #Constraints: 28576
587.24/588.89 c #Conflicts: 245000 | #Constraints: 29576
587.24/588.89 c #Conflicts: 246000 | #Constraints: 30576
587.24/588.89 c INPROCESSING
587.24/588.89 c GARBAGE COLLECT
587.24/588.89 c #Conflicts: 247000 | #Constraints: 21768
587.24/588.89 c #Conflicts: 248000 | #Constraints: 22768
587.24/588.89 c #Conflicts: 249000 | #Constraints: 23768
587.24/588.89 c #Conflicts: 250000 | #Constraints: 24768
587.24/588.89 c #Conflicts: 251000 | #Constraints: 25768
587.24/588.89 c #Conflicts: 252000 | #Constraints: 26768
587.24/588.89 c #Conflicts: 253000 | #Constraints: 27768
587.24/588.89 c #Conflicts: 254000 | #Constraints: 28768
587.24/588.89 c #Conflicts: 255000 | #Constraints: 29768
587.24/588.89 c #Conflicts: 256000 | #Constraints: 30768
587.24/588.89 c INPROCESSING
587.24/588.89 c GARBAGE COLLECT
587.24/588.89 c #Conflicts: 257000 | #Constraints: 21778
587.24/588.89 c #Conflicts: 258000 | #Constraints: 22778
587.24/588.89 c #Conflicts: 259000 | #Constraints: 23778
587.24/588.89 c #Conflicts: 260000 | #Constraints: 24778
587.24/588.89 c #Conflicts: 261000 | #Constraints: 25778
587.24/588.89 c #Conflicts: 262000 | #Constraints: 26778
587.24/588.89 c #Conflicts: 263000 | #Constraints: 27778
587.24/588.89 c #Conflicts: 264000 | #Constraints: 28778
587.24/588.89 c #Conflicts: 265000 | #Constraints: 29778
587.24/588.89 c #Conflicts: 266000 | #Constraints: 30778
587.24/588.89 c INPROCESSING
587.24/588.89 c GARBAGE COLLECT
587.24/588.89 c #Conflicts: 267000 | #Constraints: 21579
587.24/588.89 c #Conflicts: 268000 | #Constraints: 22579
587.24/588.89 c #Conflicts: 269000 | #Constraints: 23579
587.24/588.89 c #Conflicts: 270000 | #Constraints: 24579
587.24/588.89 c #Conflicts: 271000 | #Constraints: 25579
587.24/588.89 c #Conflicts: 272000 | #Constraints: 26579
587.24/588.89 c #Conflicts: 273000 | #Constraints: 27579
587.24/588.89 c #Conflicts: 274000 | #Constraints: 28579
587.24/588.89 c #Conflicts: 275000 | #Constraints: 29579
587.24/588.89 c #Conflicts: 276000 | #Constraints: 30579
587.24/588.89 c #Conflicts: 277000 | #Constraints: 31579
587.24/588.89 c INPROCESSING
587.24/588.89 c GARBAGE COLLECT
587.24/588.89 c #Conflicts: 278000 | #Constraints: 22174
587.24/588.89 c #Conflicts: 279000 | #Constraints: 23174
587.24/588.89 c #Conflicts: 280000 | #Constraints: 24174
587.24/588.89 c #Conflicts: 281000 | #Constraints: 25174
587.24/588.89 c #Conflicts: 282000 | #Constraints: 26174
587.24/588.89 c #Conflicts: 283000 | #Constraints: 27174
587.24/588.89 c #Conflicts: 284000 | #Constraints: 28174
587.24/588.89 c #Conflicts: 285000 | #Constraints: 29174
587.24/588.89 c #Conflicts: 286000 | #Constraints: 30174
587.24/588.89 c #Conflicts: 287000 | #Constraints: 31174
587.24/588.89 c #Conflicts: 288000 | #Constraints: 32174
587.24/588.89 c INPROCESSING
587.24/588.89 c GARBAGE COLLECT
704.53/706.44 c #Conflicts: 289000 | #Constraints: 22578
704.53/706.44 c #Conflicts: 290000 | #Constraints: 23578
704.53/706.44 c #Conflicts: 291000 | #Constraints: 24578
704.53/706.44 c #Conflicts: 292000 | #Constraints: 25578
704.53/706.44 c #Conflicts: 293000 | #Constraints: 26578
704.53/706.44 c #Conflicts: 294000 | #Constraints: 27578
704.53/706.44 c #Conflicts: 295000 | #Constraints: 28578
704.53/706.44 c #Conflicts: 296000 | #Constraints: 29578
704.53/706.44 c #Conflicts: 297000 | #Constraints: 30578
704.53/706.44 c #Conflicts: 298000 | #Constraints: 31578
704.53/706.44 c #Conflicts: 299000 | #Constraints: 32578
704.53/706.44 c INPROCESSING
704.53/706.44 c GARBAGE COLLECT
704.53/706.44 c #Conflicts: 300000 | #Constraints: 22776
704.53/706.44 c #Conflicts: 301000 | #Constraints: 23776
704.53/706.44 c #Conflicts: 302000 | #Constraints: 24776
704.53/706.44 c #Conflicts: 303000 | #Constraints: 25776
704.53/706.44 c #Conflicts: 304000 | #Constraints: 26776
704.53/706.44 c #Conflicts: 305000 | #Constraints: 27776
704.53/706.44 c #Conflicts: 306000 | #Constraints: 28776
704.53/706.44 c #Conflicts: 307000 | #Constraints: 29776
704.53/706.44 c #Conflicts: 308000 | #Constraints: 30776
704.53/706.44 c #Conflicts: 309000 | #Constraints: 31776
704.53/706.44 c #Conflicts: 310000 | #Constraints: 32776
704.53/706.44 c INPROCESSING
704.53/706.44 c GARBAGE COLLECT
704.53/706.44 c #Conflicts: 311000 | #Constraints: 22786
704.53/706.44 c #Conflicts: 312000 | #Constraints: 23786
704.53/706.44 c #Conflicts: 313000 | #Constraints: 24786
704.53/706.44 c #Conflicts: 314000 | #Constraints: 25786
704.53/706.44 c #Conflicts: 315000 | #Constraints: 26786
704.53/706.44 c #Conflicts: 316000 | #Constraints: 27786
704.53/706.44 c #Conflicts: 317000 | #Constraints: 28786
704.53/706.44 c #Conflicts: 318000 | #Constraints: 29786
704.53/706.44 c #Conflicts: 319000 | #Constraints: 30786
704.53/706.44 c #Conflicts: 320000 | #Constraints: 31786
704.53/706.44 c #Conflicts: 321000 | #Constraints: 32786
704.53/706.44 c INPROCESSING
704.53/706.44 c GARBAGE COLLECT
704.53/706.44 c #Conflicts: 322000 | #Constraints: 22576
704.53/706.44 c #Conflicts: 323000 | #Constraints: 23576
704.53/706.44 c #Conflicts: 324000 | #Constraints: 24576
704.53/706.44 c #Conflicts: 325000 | #Constraints: 25576
704.53/706.44 c #Conflicts: 326000 | #Constraints: 26576
704.53/706.44 c #Conflicts: 327000 | #Constraints: 27576
704.53/706.44 c #Conflicts: 328000 | #Constraints: 28576
704.53/706.44 c #Conflicts: 329000 | #Constraints: 29576
704.53/706.44 c #Conflicts: 330000 | #Constraints: 30576
704.53/706.44 c #Conflicts: 331000 | #Constraints: 31576
704.53/706.44 c #Conflicts: 332000 | #Constraints: 32576
704.53/706.44 c #Conflicts: 333000 | #Constraints: 33576
704.53/706.44 c INPROCESSING
704.53/706.44 c GARBAGE COLLECT
704.53/706.44 c #Conflicts: 334000 | #Constraints: 23172
704.53/706.44 c #Conflicts: 335000 | #Constraints: 24172
704.53/706.44 c #Conflicts: 336000 | #Constraints: 25172
704.53/706.44 c #Conflicts: 337000 | #Constraints: 26172
704.53/706.44 c #Conflicts: 338000 | #Constraints: 27172
704.53/706.44 c #Conflicts: 339000 | #Constraints: 28172
704.53/706.44 c #Conflicts: 340000 | #Constraints: 29172
704.53/706.44 c #Conflicts: 341000 | #Constraints: 30172
704.53/706.44 c #Conflicts: 342000 | #Constraints: 31172
704.53/706.44 c #Conflicts: 343000 | #Constraints: 32172
704.53/706.44 c #Conflicts: 344000 | #Constraints: 33172
704.53/706.44 c #Conflicts: 345000 | #Constraints: 34172
704.53/706.44 c INPROCESSING
704.53/706.44 c GARBAGE COLLECT
704.53/706.44 c #Conflicts: 346000 | #Constraints: 23583
704.53/706.44 c #Conflicts: 347000 | #Constraints: 24583
704.53/706.44 c #Conflicts: 348000 | #Constraints: 25583
704.53/706.44 c #Conflicts: 349000 | #Constraints: 26583
704.53/706.44 c #Conflicts: 350000 | #Constraints: 27583
704.53/706.44 c #Conflicts: 351000 | #Constraints: 28583
704.53/706.44 c #Conflicts: 352000 | #Constraints: 29583
704.53/706.44 c #Conflicts: 353000 | #Constraints: 30583
704.53/706.44 c #Conflicts: 354000 | #Constraints: 31583
704.53/706.44 c #Conflicts: 355000 | #Constraints: 32583
704.53/706.44 c #Conflicts: 356000 | #Constraints: 33583
704.53/706.44 c #Conflicts: 357000 | #Constraints: 34583
704.53/706.44 c INPROCESSING
704.53/706.44 c GARBAGE COLLECT
704.53/706.44 c #Conflicts: 358000 | #Constraints: 23781
704.53/706.44 c #Conflicts: 359000 | #Constraints: 24781
704.53/706.44 c #Conflicts: 360000 | #Constraints: 25781
704.53/706.44 c #Conflicts: 361000 | #Constraints: 26781
704.53/706.44 c #Conflicts: 362000 | #Constraints: 27781
704.53/706.44 c #Conflicts: 363000 | #Constraints: 28781
951.76/954.37 c #Conflicts: 364000 | #Constraints: 29781
951.76/954.37 c #Conflicts: 365000 | #Constraints: 30781
951.76/954.37 c #Conflicts: 366000 | #Constraints: 31781
951.76/954.37 c #Conflicts: 367000 | #Constraints: 32781
951.76/954.37 c #Conflicts: 368000 | #Constraints: 33781
951.76/954.37 c #Conflicts: 369000 | #Constraints: 34781
951.76/954.37 c INPROCESSING
951.76/954.37 c GARBAGE COLLECT
951.76/954.37 c #Conflicts: 370000 | #Constraints: 23779
951.76/954.37 c #Conflicts: 371000 | #Constraints: 24779
951.76/954.37 c #Conflicts: 372000 | #Constraints: 25779
951.76/954.37 c #Conflicts: 373000 | #Constraints: 26779
951.76/954.37 c #Conflicts: 374000 | #Constraints: 27779
951.76/954.37 c #Conflicts: 375000 | #Constraints: 28779
951.76/954.37 c #Conflicts: 376000 | #Constraints: 29779
951.76/954.37 c #Conflicts: 377000 | #Constraints: 30779
951.76/954.37 c #Conflicts: 378000 | #Constraints: 31779
951.76/954.37 c #Conflicts: 379000 | #Constraints: 32779
951.76/954.37 c #Conflicts: 380000 | #Constraints: 33779
951.76/954.37 c #Conflicts: 381000 | #Constraints: 34779
951.76/954.37 c #Conflicts: 382000 | #Constraints: 35779
951.76/954.37 c #Conflicts: 383000 | #Constraints: 36779
951.76/954.37 c #Conflicts: 384000 | #Constraints: 37779
951.76/954.37 c #Conflicts: 385000 | #Constraints: 38779
951.76/954.37 c #Conflicts: 386000 | #Constraints: 39779
951.76/954.37 c #Conflicts: 387000 | #Constraints: 40779
951.76/954.37 c #Conflicts: 388000 | #Constraints: 41779
951.76/954.37 c #Conflicts: 389000 | #Constraints: 42779
951.76/954.37 c #Conflicts: 390000 | #Constraints: 43779
951.76/954.37 c #Conflicts: 391000 | #Constraints: 44779
951.76/954.37 c #Conflicts: 392000 | #Constraints: 45779
951.76/954.37 c #Conflicts: 393000 | #Constraints: 46779
951.76/954.37 c #Conflicts: 394000 | #Constraints: 47779
951.76/954.37 c #Conflicts: 395000 | #Constraints: 48779
951.76/954.37 c #Conflicts: 396000 | #Constraints: 49779
951.76/954.37 c #Conflicts: 397000 | #Constraints: 50779
951.76/954.37 c #Conflicts: 398000 | #Constraints: 51779
951.76/954.37 c #Conflicts: 399000 | #Constraints: 52779
951.76/954.37 c #Conflicts: 400000 | #Constraints: 53779
951.76/954.37 c #Conflicts: 401000 | #Constraints: 54779
951.76/954.37 c #Conflicts: 402000 | #Constraints: 55779
951.76/954.37 c #Conflicts: 403000 | #Constraints: 56779
951.76/954.37 c #Conflicts: 404000 | #Constraints: 57779
951.76/954.37 c #Conflicts: 405000 | #Constraints: 58779
951.76/954.37 c #Conflicts: 406000 | #Constraints: 59779
951.76/954.37 c #Conflicts: 407000 | #Constraints: 60779
951.76/954.37 c #Conflicts: 408000 | #Constraints: 61779
951.76/954.37 c #Conflicts: 409000 | #Constraints: 62779
951.76/954.37 c #Conflicts: 410000 | #Constraints: 63779
951.76/954.37 c #Conflicts: 411000 | #Constraints: 64779
951.76/954.37 c #Conflicts: 412000 | #Constraints: 65779
951.76/954.37 c #Conflicts: 413000 | #Constraints: 66779
951.76/954.37 c #Conflicts: 414000 | #Constraints: 67779
951.76/954.37 c #Conflicts: 415000 | #Constraints: 68779
951.76/954.37 c #Conflicts: 416000 | #Constraints: 69779
951.76/954.37 c #Conflicts: 417000 | #Constraints: 70779
951.76/954.37 c #Conflicts: 418000 | #Constraints: 71779
951.76/954.37 c #Conflicts: 419000 | #Constraints: 72779
951.76/954.37 c #Conflicts: 420000 | #Constraints: 73779
951.76/954.37 c #Conflicts: 421000 | #Constraints: 74779
951.76/954.37 c #Conflicts: 422000 | #Constraints: 75779
951.76/954.37 c #Conflicts: 423000 | #Constraints: 76779
951.76/954.37 c #Conflicts: 424000 | #Constraints: 77779
951.76/954.37 c #Conflicts: 425000 | #Constraints: 78779
951.76/954.37 c #Conflicts: 426000 | #Constraints: 79779
951.76/954.37 c #Conflicts: 427000 | #Constraints: 80779
951.76/954.37 c #Conflicts: 428000 | #Constraints: 81779
951.76/954.37 c #Conflicts: 429000 | #Constraints: 82779
951.76/954.37 c INPROCESSING
951.76/954.37 c GARBAGE COLLECT
951.76/954.37 c #Conflicts: 430000 | #Constraints: 47829
951.76/954.37 c #Conflicts: 431000 | #Constraints: 48829
951.76/954.37 c #Conflicts: 432000 | #Constraints: 49829
951.76/954.37 c #Conflicts: 433000 | #Constraints: 50829
951.76/954.37 c #Conflicts: 434000 | #Constraints: 51829
951.76/954.37 c #Conflicts: 435000 | #Constraints: 52829
951.76/954.37 c #Conflicts: 436000 | #Constraints: 53829
951.76/954.37 c #Conflicts: 437000 | #Constraints: 54829
951.76/954.37 c #Conflicts: 438000 | #Constraints: 55829
951.76/954.37 c #Conflicts: 439000 | #Constraints: 56829
951.76/954.37 c #Conflicts: 440000 | #Constraints: 57829
951.76/954.37 c #Conflicts: 441000 | #Constraints: 58829
1161.28/1164.49 c #Conflicts: 442000 | #Constraints: 59829
1161.28/1164.49 c INPROCESSING
1161.28/1164.49 c GARBAGE COLLECT
1161.28/1164.49 c #Conflicts: 443000 | #Constraints: 36040
1161.28/1164.49 c #Conflicts: 444000 | #Constraints: 37040
1161.28/1164.49 c #Conflicts: 445000 | #Constraints: 38040
1161.28/1164.49 c #Conflicts: 446000 | #Constraints: 39040
1161.28/1164.49 c #Conflicts: 447000 | #Constraints: 40040
1161.28/1164.49 c #Conflicts: 448000 | #Constraints: 41040
1161.28/1164.49 c #Conflicts: 449000 | #Constraints: 42040
1161.28/1164.49 c #Conflicts: 450000 | #Constraints: 43040
1161.28/1164.49 c #Conflicts: 451000 | #Constraints: 44040
1161.28/1164.49 c #Conflicts: 452000 | #Constraints: 45040
1161.28/1164.49 c #Conflicts: 453000 | #Constraints: 46040
1161.28/1164.49 c #Conflicts: 454000 | #Constraints: 47040
1161.28/1164.49 c #Conflicts: 455000 | #Constraints: 48040
1161.28/1164.49 c #Conflicts: 456000 | #Constraints: 49040
1161.28/1164.49 c INPROCESSING
1161.28/1164.49 c GARBAGE COLLECT
1161.28/1164.49 c #Conflicts: 457000 | #Constraints: 30799
1161.28/1164.49 c #Conflicts: 458000 | #Constraints: 31799
1161.28/1164.49 c #Conflicts: 459000 | #Constraints: 32799
1161.28/1164.49 c #Conflicts: 460000 | #Constraints: 33799
1161.28/1164.49 c #Conflicts: 461000 | #Constraints: 34799
1161.28/1164.49 c #Conflicts: 462000 | #Constraints: 35799
1161.28/1164.49 c #Conflicts: 463000 | #Constraints: 36799
1161.28/1164.49 c #Conflicts: 464000 | #Constraints: 37799
1161.28/1164.49 c #Conflicts: 465000 | #Constraints: 38799
1161.28/1164.49 c #Conflicts: 466000 | #Constraints: 39799
1161.28/1164.49 c #Conflicts: 467000 | #Constraints: 40799
1161.28/1164.49 c #Conflicts: 468000 | #Constraints: 41799
1161.28/1164.49 c #Conflicts: 469000 | #Constraints: 42799
1161.28/1164.49 c #Conflicts: 470000 | #Constraints: 43799
1161.28/1164.49 c INPROCESSING
1161.28/1164.49 c GARBAGE COLLECT
1161.28/1164.49 c #Conflicts: 471000 | #Constraints: 28197
1161.28/1164.49 c #Conflicts: 472000 | #Constraints: 29197
1161.28/1164.49 c #Conflicts: 473000 | #Constraints: 30197
1161.28/1164.49 c #Conflicts: 474000 | #Constraints: 31197
1161.28/1164.49 c #Conflicts: 475000 | #Constraints: 32197
1161.28/1164.49 c #Conflicts: 476000 | #Constraints: 33197
1161.28/1164.49 c #Conflicts: 477000 | #Constraints: 34197
1161.28/1164.49 c #Conflicts: 478000 | #Constraints: 35197
1161.28/1164.49 c #Conflicts: 479000 | #Constraints: 36197
1161.28/1164.49 c #Conflicts: 480000 | #Constraints: 37197
1161.28/1164.49 c #Conflicts: 481000 | #Constraints: 38197
1161.28/1164.49 c #Conflicts: 482000 | #Constraints: 39197
1161.28/1164.49 c #Conflicts: 483000 | #Constraints: 40197
1161.28/1164.49 c #Conflicts: 484000 | #Constraints: 41197
1161.28/1164.49 c INPROCESSING
1161.28/1164.49 c GARBAGE COLLECT
1161.28/1164.49 c #Conflicts: 485000 | #Constraints: 26852
1161.28/1164.49 c #Conflicts: 486000 | #Constraints: 27852
1161.28/1164.49 c #Conflicts: 487000 | #Constraints: 28852
1161.28/1164.49 c #Conflicts: 488000 | #Constraints: 29852
1161.28/1164.49 c #Conflicts: 489000 | #Constraints: 30852
1161.28/1164.49 c #Conflicts: 490000 | #Constraints: 31852
1161.28/1164.49 c #Conflicts: 491000 | #Constraints: 32852
1161.28/1164.49 c #Conflicts: 492000 | #Constraints: 33852
1161.28/1164.49 c #Conflicts: 493000 | #Constraints: 34852
1161.28/1164.49 c #Conflicts: 494000 | #Constraints: 35852
1161.28/1164.49 c #Conflicts: 495000 | #Constraints: 36852
1161.28/1164.49 c #Conflicts: 496000 | #Constraints: 37852
1161.28/1164.49 c #Conflicts: 497000 | #Constraints: 38852
1161.28/1164.49 c #Conflicts: 498000 | #Constraints: 39852
1161.28/1164.49 c #Conflicts: 499000 | #Constraints: 40852
1161.28/1164.49 c #Conflicts: 500000 | #Constraints: 41852
1161.28/1164.49 c #Conflicts: 501000 | #Constraints: 42852
1161.28/1164.49 c #Conflicts: 502000 | #Constraints: 43852
1161.28/1164.49 c #Conflicts: 503000 | #Constraints: 44852
1161.28/1164.49 c #Conflicts: 504000 | #Constraints: 45852
1161.28/1164.49 c #Conflicts: 505000 | #Constraints: 46852
1161.28/1164.49 c #Conflicts: 506000 | #Constraints: 47852
1161.28/1164.49 c #Conflicts: 507000 | #Constraints: 48852
1161.28/1164.49 c #Conflicts: 508000 | #Constraints: 49852
1161.28/1164.49 c #Conflicts: 509000 | #Constraints: 50852
1161.28/1164.49 c #Conflicts: 510000 | #Constraints: 51852
1161.28/1164.49 c #Conflicts: 511000 | #Constraints: 52852
1161.28/1164.49 c #Conflicts: 512000 | #Constraints: 53852
1161.28/1164.49 c #Conflicts: 513000 | #Constraints: 54852
1161.28/1164.49 c #Conflicts: 514000 | #Constraints: 55852
1161.28/1164.49 c #Conflicts: 515000 | #Constraints: 56852
1161.28/1164.49 c #Conflicts: 516000 | #Constraints: 57852
1161.28/1164.49 c #Conflicts: 517000 | #Constraints: 58852
1516.70/1520.81 c #Conflicts: 518000 | #Constraints: 59852
1516.70/1520.81 c #Conflicts: 519000 | #Constraints: 60852
1516.70/1520.81 c #Conflicts: 520000 | #Constraints: 61852
1516.70/1520.81 c #Conflicts: 521000 | #Constraints: 62852
1516.70/1520.81 c #Conflicts: 522000 | #Constraints: 63852
1516.70/1520.81 c #Conflicts: 523000 | #Constraints: 64852
1516.70/1520.81 c #Conflicts: 524000 | #Constraints: 65852
1516.70/1520.81 c #Conflicts: 525000 | #Constraints: 66852
1516.70/1520.81 c #Conflicts: 526000 | #Constraints: 67852
1516.70/1520.81 c #Conflicts: 527000 | #Constraints: 68852
1516.70/1520.81 c #Conflicts: 528000 | #Constraints: 69852
1516.70/1520.81 c #Conflicts: 529000 | #Constraints: 70852
1516.70/1520.81 c #Conflicts: 530000 | #Constraints: 71852
1516.70/1520.81 c #Conflicts: 531000 | #Constraints: 72852
1516.70/1520.81 c #Conflicts: 532000 | #Constraints: 73852
1516.70/1520.81 c #Conflicts: 533000 | #Constraints: 74852
1516.70/1520.81 c #Conflicts: 534000 | #Constraints: 75852
1516.70/1520.81 c #Conflicts: 535000 | #Constraints: 76852
1516.70/1520.81 c #Conflicts: 536000 | #Constraints: 77852
1516.70/1520.81 c #Conflicts: 537000 | #Constraints: 78852
1516.70/1520.81 c #Conflicts: 538000 | #Constraints: 79852
1516.70/1520.81 c #Conflicts: 539000 | #Constraints: 80852
1516.70/1520.81 c #Conflicts: 540000 | #Constraints: 81852
1516.70/1520.81 c #Conflicts: 541000 | #Constraints: 82852
1516.70/1520.81 c #Conflicts: 542000 | #Constraints: 83852
1516.70/1520.81 c #Conflicts: 543000 | #Constraints: 84852
1516.70/1520.81 c #Conflicts: 544000 | #Constraints: 85852
1516.70/1520.81 c #Conflicts: 545000 | #Constraints: 86852
1516.70/1520.81 c #Conflicts: 546000 | #Constraints: 87852
1516.70/1520.81 c #Conflicts: 547000 | #Constraints: 88852
1516.70/1520.81 c #Conflicts: 548000 | #Constraints: 89852
1516.70/1520.81 c #Conflicts: 549000 | #Constraints: 90852
1516.70/1520.81 c #Conflicts: 550000 | #Constraints: 91852
1516.70/1520.81 c #Conflicts: 551000 | #Constraints: 92852
1516.70/1520.81 c INPROCESSING
1516.70/1520.81 c GARBAGE COLLECT
1516.70/1520.81 c #Conflicts: 552000 | #Constraints: 52976
1516.70/1520.81 c #Conflicts: 553000 | #Constraints: 53976
1516.70/1520.81 c #Conflicts: 554000 | #Constraints: 54976
1516.70/1520.81 c #Conflicts: 555000 | #Constraints: 55976
1516.70/1520.81 c #Conflicts: 556000 | #Constraints: 56976
1516.70/1520.81 c #Conflicts: 557000 | #Constraints: 57976
1516.70/1520.81 c #Conflicts: 558000 | #Constraints: 58976
1516.70/1520.81 c #Conflicts: 559000 | #Constraints: 59976
1516.70/1520.81 c #Conflicts: 560000 | #Constraints: 60976
1516.70/1520.81 c #Conflicts: 561000 | #Constraints: 61976
1516.70/1520.81 c #Conflicts: 562000 | #Constraints: 62976
1516.70/1520.81 c #Conflicts: 563000 | #Constraints: 63976
1516.70/1520.81 c #Conflicts: 564000 | #Constraints: 64976
1516.70/1520.81 c #Conflicts: 565000 | #Constraints: 65976
1516.70/1520.81 c #Conflicts: 566000 | #Constraints: 66976
1516.70/1520.81 c INPROCESSING
1516.70/1520.81 c GARBAGE COLLECT
1516.70/1520.81 c #Conflicts: 567000 | #Constraints: 39813
1516.70/1520.81 c #Conflicts: 568000 | #Constraints: 40813
1516.70/1520.81 c #Conflicts: 569000 | #Constraints: 41813
1516.70/1520.81 c #Conflicts: 570000 | #Constraints: 42813
1516.70/1520.81 c #Conflicts: 571000 | #Constraints: 43813
1516.70/1520.81 c #Conflicts: 572000 | #Constraints: 44813
1516.70/1520.81 c #Conflicts: 573000 | #Constraints: 45813
1516.70/1520.81 c #Conflicts: 574000 | #Constraints: 46813
1516.70/1520.81 c #Conflicts: 575000 | #Constraints: 47813
1516.70/1520.81 c #Conflicts: 576000 | #Constraints: 48813
1516.70/1520.81 c #Conflicts: 577000 | #Constraints: 49813
1516.70/1520.81 c #Conflicts: 578000 | #Constraints: 50813
1516.70/1520.81 c #Conflicts: 579000 | #Constraints: 51813
1516.70/1520.81 c #Conflicts: 580000 | #Constraints: 52813
1516.70/1520.81 c #Conflicts: 581000 | #Constraints: 53813
1516.70/1520.81 c #Conflicts: 582000 | #Constraints: 54813
1516.70/1520.81 c INPROCESSING
1516.70/1520.81 c GARBAGE COLLECT
1516.70/1520.81 c #Conflicts: 583000 | #Constraints: 33932
1516.70/1520.81 c #Conflicts: 584000 | #Constraints: 34932
1516.70/1520.81 c #Conflicts: 585000 | #Constraints: 35932
1516.70/1520.81 c #Conflicts: 586000 | #Constraints: 36932
1516.70/1520.81 c #Conflicts: 587000 | #Constraints: 37932
1516.70/1520.81 c #Conflicts: 588000 | #Constraints: 38932
1516.70/1520.81 c #Conflicts: 589000 | #Constraints: 39932
1516.70/1520.81 c #Conflicts: 590000 | #Constraints: 40932
1516.70/1520.81 c #Conflicts: 591000 | #Constraints: 41932
1516.70/1520.81 c #Conflicts: 592000 | #Constraints: 42932
1516.70/1520.81 c #Conflicts: 593000 | #Constraints: 43932
1516.70/1520.81 c #Conflicts: 594000 | #Constraints: 44932
1904.72/1909.97 c #Conflicts: 595000 | #Constraints: 45932
1904.72/1909.97 c #Conflicts: 596000 | #Constraints: 46932
1904.72/1909.97 c #Conflicts: 597000 | #Constraints: 47932
1904.72/1909.97 c INPROCESSING
1904.72/1909.97 c GARBAGE COLLECT
1904.72/1909.97 c #Conflicts: 598000 | #Constraints: 30071
1904.72/1909.97 c #Conflicts: 599000 | #Constraints: 31071
1904.72/1909.97 c #Conflicts: 600000 | #Constraints: 32071
1904.72/1909.97 c #Conflicts: 601000 | #Constraints: 33071
1904.72/1909.97 c #Conflicts: 602000 | #Constraints: 34071
1904.72/1909.97 c #Conflicts: 603000 | #Constraints: 35071
1904.72/1909.97 c #Conflicts: 604000 | #Constraints: 36071
1904.72/1909.97 c #Conflicts: 605000 | #Constraints: 37071
1904.72/1909.97 c #Conflicts: 606000 | #Constraints: 38071
1904.72/1909.97 c #Conflicts: 607000 | #Constraints: 39071
1904.72/1909.97 c #Conflicts: 608000 | #Constraints: 40071
1904.72/1909.97 c #Conflicts: 609000 | #Constraints: 41071
1904.72/1909.97 c #Conflicts: 610000 | #Constraints: 42071
1904.72/1909.97 c #Conflicts: 611000 | #Constraints: 43071
1904.72/1909.97 c #Conflicts: 612000 | #Constraints: 44071
1904.72/1909.97 c #Conflicts: 613000 | #Constraints: 45071
1904.72/1909.97 c #Conflicts: 614000 | #Constraints: 46071
1904.72/1909.97 c #Conflicts: 615000 | #Constraints: 47071
1904.72/1909.97 c #Conflicts: 616000 | #Constraints: 48071
1904.72/1909.97 c #Conflicts: 617000 | #Constraints: 49071
1904.72/1909.97 c #Conflicts: 618000 | #Constraints: 50071
1904.72/1909.97 c #Conflicts: 619000 | #Constraints: 51071
1904.72/1909.97 c #Conflicts: 620000 | #Constraints: 52071
1904.72/1909.97 c #Conflicts: 621000 | #Constraints: 53071
1904.72/1909.97 c #Conflicts: 622000 | #Constraints: 54071
1904.72/1909.97 c #Conflicts: 623000 | #Constraints: 55071
1904.72/1909.97 c #Conflicts: 624000 | #Constraints: 56071
1904.72/1909.97 c #Conflicts: 625000 | #Constraints: 57071
1904.72/1909.97 c #Conflicts: 626000 | #Constraints: 58071
1904.72/1909.97 c #Conflicts: 627000 | #Constraints: 59071
1904.72/1909.97 c #Conflicts: 628000 | #Constraints: 60071
1904.72/1909.97 c #Conflicts: 629000 | #Constraints: 61071
1904.72/1909.97 c #Conflicts: 630000 | #Constraints: 62071
1904.72/1909.97 c #Conflicts: 631000 | #Constraints: 63071
1904.72/1909.97 c #Conflicts: 632000 | #Constraints: 64071
1904.72/1909.97 c #Conflicts: 633000 | #Constraints: 65071
1904.72/1909.97 c #Conflicts: 634000 | #Constraints: 66071
1904.72/1909.97 c #Conflicts: 635000 | #Constraints: 67071
1904.72/1909.97 c #Conflicts: 636000 | #Constraints: 68071
1904.72/1909.97 c #Conflicts: 637000 | #Constraints: 69071
1904.72/1909.97 c #Conflicts: 638000 | #Constraints: 70071
1904.72/1909.97 c #Conflicts: 639000 | #Constraints: 71071
1904.72/1909.97 c #Conflicts: 640000 | #Constraints: 72071
1904.72/1909.97 c #Conflicts: 641000 | #Constraints: 73071
1904.72/1909.97 c #Conflicts: 642000 | #Constraints: 74071
1904.72/1909.97 c #Conflicts: 643000 | #Constraints: 75071
1904.72/1909.97 c #Conflicts: 644000 | #Constraints: 76071
1904.72/1909.97 c #Conflicts: 645000 | #Constraints: 77071
1904.72/1909.97 c #Conflicts: 646000 | #Constraints: 78071
1904.72/1909.97 c #Conflicts: 647000 | #Constraints: 79071
1904.72/1909.97 c #Conflicts: 648000 | #Constraints: 80071
1904.72/1909.97 c #Conflicts: 649000 | #Constraints: 81071
1904.72/1909.97 c #Conflicts: 650000 | #Constraints: 82071
1904.72/1909.97 c #Conflicts: 651000 | #Constraints: 83071
1904.72/1909.97 c #Conflicts: 652000 | #Constraints: 84071
1904.72/1909.97 c #Conflicts: 653000 | #Constraints: 85071
1904.72/1909.97 c #Conflicts: 654000 | #Constraints: 86071
1904.72/1909.97 c #Conflicts: 655000 | #Constraints: 87071
1904.72/1909.97 c #Conflicts: 656000 | #Constraints: 88071
1904.72/1909.97 c #Conflicts: 657000 | #Constraints: 89071
1904.72/1909.97 c #Conflicts: 658000 | #Constraints: 90071
1904.72/1909.97 c #Conflicts: 659000 | #Constraints: 91071
1904.72/1909.97 c #Conflicts: 660000 | #Constraints: 92071
1904.72/1909.97 c #Conflicts: 661000 | #Constraints: 93071
1904.72/1909.97 c #Conflicts: 662000 | #Constraints: 94071
1904.72/1909.97 c #Conflicts: 663000 | #Constraints: 95071
1904.72/1909.97 c #Conflicts: 664000 | #Constraints: 96071
1904.72/1909.97 c #Conflicts: 665000 | #Constraints: 97071
1904.72/1909.97 c #Conflicts: 666000 | #Constraints: 98071
1904.72/1909.97 c #Conflicts: 667000 | #Constraints: 99071
1904.72/1909.97 c #Conflicts: 668000 | #Constraints: 100071
1904.72/1909.97 c #Conflicts: 669000 | #Constraints: 101071
1904.72/1909.97 c INPROCESSING
1904.72/1909.97 c GARBAGE COLLECT
1904.72/1909.97 c #Conflicts: 670000 | #Constraints: 56790
1904.72/1909.97 c #Conflicts: 671000 | #Constraints: 57790
2240.09/2246.22 c #Conflicts: 672000 | #Constraints: 58790
2240.09/2246.22 c #Conflicts: 673000 | #Constraints: 59790
2240.09/2246.22 c #Conflicts: 674000 | #Constraints: 60790
2240.09/2246.22 c #Conflicts: 675000 | #Constraints: 61790
2240.09/2246.22 c #Conflicts: 676000 | #Constraints: 62790
2240.09/2246.22 c #Conflicts: 677000 | #Constraints: 63790
2240.09/2246.22 c #Conflicts: 678000 | #Constraints: 64790
2240.09/2246.22 c #Conflicts: 679000 | #Constraints: 65790
2240.09/2246.22 c #Conflicts: 680000 | #Constraints: 66790
2240.09/2246.22 c #Conflicts: 681000 | #Constraints: 67790
2240.09/2246.22 c #Conflicts: 682000 | #Constraints: 68790
2240.09/2246.22 c #Conflicts: 683000 | #Constraints: 69790
2240.09/2246.22 c #Conflicts: 684000 | #Constraints: 70790
2240.09/2246.22 c #Conflicts: 685000 | #Constraints: 71790
2240.09/2246.22 c #Conflicts: 686000 | #Constraints: 72790
2240.09/2246.22 c INPROCESSING
2240.09/2246.22 c GARBAGE COLLECT
2240.09/2246.22 c #Conflicts: 687000 | #Constraints: 42604
2240.09/2246.22 c #Conflicts: 688000 | #Constraints: 43604
2240.09/2246.22 c #Conflicts: 689000 | #Constraints: 44604
2240.09/2246.22 c #Conflicts: 690000 | #Constraints: 45604
2240.09/2246.22 c #Conflicts: 691000 | #Constraints: 46604
2240.09/2246.22 c #Conflicts: 692000 | #Constraints: 47604
2240.09/2246.22 c #Conflicts: 693000 | #Constraints: 48604
2240.09/2246.22 c #Conflicts: 694000 | #Constraints: 49604
2240.09/2246.22 c #Conflicts: 695000 | #Constraints: 50604
2240.09/2246.22 c #Conflicts: 696000 | #Constraints: 51604
2240.09/2246.22 c #Conflicts: 697000 | #Constraints: 52604
2240.09/2246.22 c #Conflicts: 698000 | #Constraints: 53604
2240.09/2246.22 c #Conflicts: 699000 | #Constraints: 54604
2240.09/2246.22 c #Conflicts: 700000 | #Constraints: 55604
2240.09/2246.22 c #Conflicts: 701000 | #Constraints: 56604
2240.09/2246.22 c #Conflicts: 702000 | #Constraints: 57604
2240.09/2246.22 c #Conflicts: 703000 | #Constraints: 58604
2240.09/2246.22 c #Conflicts: 704000 | #Constraints: 59604
2240.09/2246.22 c INPROCESSING
2240.09/2246.22 c GARBAGE COLLECT
2240.09/2246.22 c #Conflicts: 705000 | #Constraints: 36312
2240.09/2246.22 c #Conflicts: 706000 | #Constraints: 37312
2240.09/2246.22 c #Conflicts: 707000 | #Constraints: 38312
2240.09/2246.22 c #Conflicts: 708000 | #Constraints: 39312
2240.09/2246.22 c #Conflicts: 709000 | #Constraints: 40312
2240.09/2246.22 c #Conflicts: 710000 | #Constraints: 41312
2240.09/2246.22 c #Conflicts: 711000 | #Constraints: 42312
2240.09/2246.22 c #Conflicts: 712000 | #Constraints: 43312
2240.09/2246.22 c #Conflicts: 713000 | #Constraints: 44312
2240.09/2246.22 c #Conflicts: 714000 | #Constraints: 45312
2240.09/2246.22 c #Conflicts: 715000 | #Constraints: 46312
2240.09/2246.22 c #Conflicts: 716000 | #Constraints: 47312
2240.09/2246.22 c #Conflicts: 717000 | #Constraints: 48312
2240.09/2246.22 c #Conflicts: 718000 | #Constraints: 49312
2240.09/2246.22 c #Conflicts: 719000 | #Constraints: 50312
2240.09/2246.22 c #Conflicts: 720000 | #Constraints: 51312
2240.09/2246.22 c #Conflicts: 721000 | #Constraints: 52312
2240.09/2246.22 c INPROCESSING
2240.09/2246.22 c GARBAGE COLLECT
2240.09/2246.22 c #Conflicts: 722000 | #Constraints: 32403
2240.09/2246.22 c #Conflicts: 723000 | #Constraints: 33403
2240.09/2246.22 c #Conflicts: 724000 | #Constraints: 34403
2240.09/2246.22 c #Conflicts: 725000 | #Constraints: 35403
2240.09/2246.22 c #Conflicts: 726000 | #Constraints: 36403
2240.09/2246.22 c #Conflicts: 727000 | #Constraints: 37403
2240.09/2246.22 c #Conflicts: 728000 | #Constraints: 38403
2240.09/2246.22 c #Conflicts: 729000 | #Constraints: 39403
2240.09/2246.22 c #Conflicts: 730000 | #Constraints: 40403
2240.09/2246.22 c #Conflicts: 731000 | #Constraints: 41403
2240.09/2246.22 c #Conflicts: 732000 | #Constraints: 42403
2240.09/2246.22 c #Conflicts: 733000 | #Constraints: 43403
2240.09/2246.22 c #Conflicts: 734000 | #Constraints: 44403
2240.09/2246.22 c #Conflicts: 735000 | #Constraints: 45403
2240.09/2246.22 c #Conflicts: 736000 | #Constraints: 46403
2240.09/2246.22 c #Conflicts: 737000 | #Constraints: 47403
2240.09/2246.22 c #Conflicts: 738000 | #Constraints: 48403
2240.09/2246.22 c #Conflicts: 739000 | #Constraints: 49403
2240.09/2246.22 c #Conflicts: 740000 | #Constraints: 50403
2240.09/2246.22 c #Conflicts: 741000 | #Constraints: 51403
2240.09/2246.22 c #Conflicts: 742000 | #Constraints: 52403
2240.09/2246.22 c #Conflicts: 743000 | #Constraints: 53403
2240.09/2246.22 c #Conflicts: 744000 | #Constraints: 54403
2240.09/2246.22 c #Conflicts: 745000 | #Constraints: 55403
2240.09/2246.22 c #Conflicts: 746000 | #Constraints: 56403
2240.09/2246.22 c #Conflicts: 747000 | #Constraints: 57403
2240.09/2246.22 c #Conflicts: 748000 | #Constraints: 58403
2759.85/2767.60 c #Conflicts: 749000 | #Constraints: 59403
2759.85/2767.60 c #Conflicts: 750000 | #Constraints: 60403
2759.85/2767.60 c #Conflicts: 751000 | #Constraints: 61403
2759.85/2767.60 c #Conflicts: 752000 | #Constraints: 62403
2759.85/2767.60 c #Conflicts: 753000 | #Constraints: 63403
2759.85/2767.60 c #Conflicts: 754000 | #Constraints: 64403
2759.85/2767.60 c #Conflicts: 755000 | #Constraints: 65403
2759.85/2767.60 c #Conflicts: 756000 | #Constraints: 66403
2759.85/2767.60 c #Conflicts: 757000 | #Constraints: 67403
2759.85/2767.60 c #Conflicts: 758000 | #Constraints: 68403
2759.85/2767.60 c #Conflicts: 759000 | #Constraints: 69403
2759.85/2767.60 c #Conflicts: 760000 | #Constraints: 70403
2759.85/2767.60 c #Conflicts: 761000 | #Constraints: 71403
2759.85/2767.60 c #Conflicts: 762000 | #Constraints: 72403
2759.85/2767.60 c #Conflicts: 763000 | #Constraints: 73403
2759.85/2767.60 c #Conflicts: 764000 | #Constraints: 74403
2759.85/2767.60 c #Conflicts: 765000 | #Constraints: 75403
2759.85/2767.60 c #Conflicts: 766000 | #Constraints: 76403
2759.85/2767.60 c #Conflicts: 767000 | #Constraints: 77403
2759.85/2767.60 c #Conflicts: 768000 | #Constraints: 78403
2759.85/2767.60 c #Conflicts: 769000 | #Constraints: 79403
2759.85/2767.60 c #Conflicts: 770000 | #Constraints: 80403
2759.85/2767.60 c #Conflicts: 771000 | #Constraints: 81403
2759.85/2767.60 c #Conflicts: 772000 | #Constraints: 82403
2759.85/2767.60 c #Conflicts: 773000 | #Constraints: 83403
2759.85/2767.60 c #Conflicts: 774000 | #Constraints: 84403
2759.85/2767.60 c #Conflicts: 775000 | #Constraints: 85403
2759.85/2767.60 c #Conflicts: 776000 | #Constraints: 86403
2759.85/2767.60 c #Conflicts: 777000 | #Constraints: 87403
2759.85/2767.60 c #Conflicts: 778000 | #Constraints: 88403
2759.85/2767.60 c #Conflicts: 779000 | #Constraints: 89403
2759.85/2767.60 c #Conflicts: 780000 | #Constraints: 90403
2759.85/2767.60 c #Conflicts: 781000 | #Constraints: 91403
2759.85/2767.60 c #Conflicts: 782000 | #Constraints: 92403
2759.85/2767.60 c #Conflicts: 783000 | #Constraints: 93403
2759.85/2767.60 c #Conflicts: 784000 | #Constraints: 94403
2759.85/2767.60 c #Conflicts: 785000 | #Constraints: 95403
2759.85/2767.60 c #Conflicts: 786000 | #Constraints: 96403
2759.85/2767.60 c #Conflicts: 787000 | #Constraints: 97403
2759.85/2767.60 c #Conflicts: 788000 | #Constraints: 98403
2759.85/2767.60 c #Conflicts: 789000 | #Constraints: 99403
2759.85/2767.60 c #Conflicts: 790000 | #Constraints: 100403
2759.85/2767.60 c #Conflicts: 791000 | #Constraints: 101403
2759.85/2767.60 c #Conflicts: 792000 | #Constraints: 102403
2759.85/2767.60 c #Conflicts: 793000 | #Constraints: 103403
2759.85/2767.60 c #Conflicts: 794000 | #Constraints: 104403
2759.85/2767.60 c #Conflicts: 795000 | #Constraints: 105403
2759.85/2767.60 c #Conflicts: 796000 | #Constraints: 106403
2759.85/2767.60 c #Conflicts: 797000 | #Constraints: 107403
2759.85/2767.60 c #Conflicts: 798000 | #Constraints: 108403
2759.85/2767.60 c INPROCESSING
2759.85/2767.60 c GARBAGE COLLECT
2759.85/2767.60 c #Conflicts: 799000 | #Constraints: 60460
2759.85/2767.60 c #Conflicts: 800000 | #Constraints: 61460
2759.85/2767.60 c #Conflicts: 801000 | #Constraints: 62460
2759.85/2767.60 c #Conflicts: 802000 | #Constraints: 63460
2759.85/2767.60 c #Conflicts: 803000 | #Constraints: 64460
2759.85/2767.60 c #Conflicts: 804000 | #Constraints: 65460
2759.85/2767.60 c #Conflicts: 805000 | #Constraints: 66460
2759.85/2767.60 c #Conflicts: 806000 | #Constraints: 67460
2759.85/2767.60 c #Conflicts: 807000 | #Constraints: 68460
2759.85/2767.60 c #Conflicts: 808000 | #Constraints: 69460
2759.85/2767.60 c #Conflicts: 809000 | #Constraints: 70460
2759.85/2767.60 c #Conflicts: 810000 | #Constraints: 71460
2759.85/2767.60 c #Conflicts: 811000 | #Constraints: 72460
2759.85/2767.60 c #Conflicts: 812000 | #Constraints: 73460
2759.85/2767.60 c #Conflicts: 813000 | #Constraints: 74460
2759.85/2767.60 c #Conflicts: 814000 | #Constraints: 75460
2759.85/2767.60 c #Conflicts: 815000 | #Constraints: 76460
2759.85/2767.60 c #Conflicts: 816000 | #Constraints: 77460
2759.85/2767.60 c #Conflicts: 817000 | #Constraints: 78460
2759.85/2767.60 c INPROCESSING
2759.85/2767.60 c GARBAGE COLLECT
2759.85/2767.60 c #Conflicts: 818000 | #Constraints: 45568
2759.85/2767.60 c #Conflicts: 819000 | #Constraints: 46568
2759.85/2767.60 c #Conflicts: 820000 | #Constraints: 47568
2759.85/2767.60 c #Conflicts: 821000 | #Constraints: 48568
2759.85/2767.60 c #Conflicts: 822000 | #Constraints: 49568
2759.85/2767.60 c #Conflicts: 823000 | #Constraints: 50568
2759.85/2767.60 c #Conflicts: 824000 | #Constraints: 51568
2759.85/2767.60 c #Conflicts: 825000 | #Constraints: 52568
2759.85/2767.60 c #Conflicts: 826000 | #Constraints: 53568
3133.67/3142.63 c #Conflicts: 827000 | #Constraints: 54568
3133.67/3142.63 c #Conflicts: 828000 | #Constraints: 55568
3133.67/3142.63 c #Conflicts: 829000 | #Constraints: 56568
3133.67/3142.63 c #Conflicts: 830000 | #Constraints: 57568
3133.67/3142.63 c #Conflicts: 831000 | #Constraints: 58568
3133.67/3142.63 c #Conflicts: 832000 | #Constraints: 59568
3133.67/3142.63 c #Conflicts: 833000 | #Constraints: 60568
3133.67/3142.63 c #Conflicts: 834000 | #Constraints: 61568
3133.67/3142.63 c #Conflicts: 835000 | #Constraints: 62568
3133.67/3142.63 c #Conflicts: 836000 | #Constraints: 63568
3133.67/3142.63 c INPROCESSING
3133.67/3142.63 c GARBAGE COLLECT
3133.67/3142.63 c #Conflicts: 837000 | #Constraints: 38095
3133.67/3142.63 c #Conflicts: 838000 | #Constraints: 39095
3133.67/3142.63 c #Conflicts: 839000 | #Constraints: 40095
3133.67/3142.63 c #Conflicts: 840000 | #Constraints: 41095
3133.67/3142.63 c #Conflicts: 841000 | #Constraints: 42095
3133.67/3142.63 c #Conflicts: 842000 | #Constraints: 43095
3133.67/3142.63 c #Conflicts: 843000 | #Constraints: 44095
3133.67/3142.63 c #Conflicts: 844000 | #Constraints: 45095
3133.67/3142.63 c #Conflicts: 845000 | #Constraints: 46095
3133.67/3142.63 c #Conflicts: 846000 | #Constraints: 47095
3133.67/3142.63 c #Conflicts: 847000 | #Constraints: 48095
3133.67/3142.63 c #Conflicts: 848000 | #Constraints: 49095
3133.67/3142.63 c #Conflicts: 849000 | #Constraints: 50095
3133.67/3142.63 c #Conflicts: 850000 | #Constraints: 51095
3133.67/3142.63 c #Conflicts: 851000 | #Constraints: 52095
3133.67/3142.63 c #Conflicts: 852000 | #Constraints: 53095
3133.67/3142.63 c #Conflicts: 853000 | #Constraints: 54095
3133.67/3142.63 c #Conflicts: 854000 | #Constraints: 55095
3133.67/3142.63 c #Conflicts: 855000 | #Constraints: 56095
3133.67/3142.63 c INPROCESSING
3133.67/3142.63 c GARBAGE COLLECT
3133.67/3142.63 c #Conflicts: 856000 | #Constraints: 34256
3133.67/3142.63 c #Conflicts: 857000 | #Constraints: 35256
3133.67/3142.63 c #Conflicts: 858000 | #Constraints: 36256
3133.67/3142.63 c #Conflicts: 859000 | #Constraints: 37256
3133.67/3142.63 c #Conflicts: 860000 | #Constraints: 38256
3133.67/3142.63 c #Conflicts: 861000 | #Constraints: 39256
3133.67/3142.63 c #Conflicts: 862000 | #Constraints: 40256
3133.67/3142.63 c #Conflicts: 863000 | #Constraints: 41256
3133.67/3142.63 c #Conflicts: 864000 | #Constraints: 42256
3133.67/3142.63 c #Conflicts: 865000 | #Constraints: 43256
3133.67/3142.63 c #Conflicts: 866000 | #Constraints: 44256
3133.67/3142.63 c #Conflicts: 867000 | #Constraints: 45256
3133.67/3142.63 c #Conflicts: 868000 | #Constraints: 46256
3133.67/3142.63 c #Conflicts: 869000 | #Constraints: 47256
3133.67/3142.63 c #Conflicts: 870000 | #Constraints: 48256
3133.67/3142.63 c #Conflicts: 871000 | #Constraints: 49256
3133.67/3142.63 c #Conflicts: 872000 | #Constraints: 50256
3133.67/3142.63 c #Conflicts: 873000 | #Constraints: 51256
3133.67/3142.63 c #Conflicts: 874000 | #Constraints: 52256
3133.67/3142.63 c #Conflicts: 875000 | #Constraints: 53256
3133.67/3142.63 c #Conflicts: 876000 | #Constraints: 54256
3133.67/3142.63 c #Conflicts: 877000 | #Constraints: 55256
3133.67/3142.63 c #Conflicts: 878000 | #Constraints: 56256
3133.67/3142.63 c #Conflicts: 879000 | #Constraints: 57256
3133.67/3142.63 c #Conflicts: 880000 | #Constraints: 58256
3133.67/3142.63 c #Conflicts: 881000 | #Constraints: 59256
3133.67/3142.63 c #Conflicts: 882000 | #Constraints: 60256
3133.67/3142.63 c #Conflicts: 883000 | #Constraints: 61256
3133.67/3142.63 c #Conflicts: 884000 | #Constraints: 62256
3133.67/3142.63 c #Conflicts: 885000 | #Constraints: 63256
3133.67/3142.63 c #Conflicts: 886000 | #Constraints: 64256
3133.67/3142.63 c #Conflicts: 887000 | #Constraints: 65256
3133.67/3142.63 c #Conflicts: 888000 | #Constraints: 66256
3133.67/3142.63 c #Conflicts: 889000 | #Constraints: 67256
3133.67/3142.63 c #Conflicts: 890000 | #Constraints: 68256
3133.67/3142.63 c #Conflicts: 891000 | #Constraints: 69256
3133.67/3142.63 c #Conflicts: 892000 | #Constraints: 70256
3133.67/3142.63 c #Conflicts: 893000 | #Constraints: 71256
3133.67/3142.63 c #Conflicts: 894000 | #Constraints: 72256
3133.67/3142.63 c #Conflicts: 895000 | #Constraints: 73256
3133.67/3142.63 c #Conflicts: 896000 | #Constraints: 74256
3133.67/3142.63 c #Conflicts: 897000 | #Constraints: 75256
3133.67/3142.63 c #Conflicts: 898000 | #Constraints: 76256
3133.67/3142.63 c #Conflicts: 899000 | #Constraints: 77256
3133.67/3142.63 c #Conflicts: 900000 | #Constraints: 78256
3133.67/3142.63 c #Conflicts: 901000 | #Constraints: 79256
3133.67/3142.63 c #Conflicts: 902000 | #Constraints: 80256
3133.67/3142.63 c #Conflicts: 903000 | #Constraints: 81256
3600.01/3610.40 c #Conflicts: 904000 | #Constraints: 82256
3600.01/3610.40 c #Conflicts: 905000 | #Constraints: 83256
3600.01/3610.40 c #Conflicts: 906000 | #Constraints: 84256
3600.01/3610.40 c #Conflicts: 907000 | #Constraints: 85256
3600.01/3610.40 c #Conflicts: 908000 | #Constraints: 86256
3600.01/3610.40 c #Conflicts: 909000 | #Constraints: 87256
3600.01/3610.40 c #Conflicts: 910000 | #Constraints: 88256
3600.01/3610.40 c #Conflicts: 911000 | #Constraints: 89256
3600.01/3610.40 c #Conflicts: 912000 | #Constraints: 90256
3600.01/3610.40 c #Conflicts: 913000 | #Constraints: 91256
3600.01/3610.40 c #Conflicts: 914000 | #Constraints: 92256
3600.01/3610.40 c #Conflicts: 915000 | #Constraints: 93256
3600.01/3610.40 c #Conflicts: 916000 | #Constraints: 94256
3600.01/3610.40 c #Conflicts: 917000 | #Constraints: 95256
3600.01/3610.40 c #Conflicts: 918000 | #Constraints: 96256
3600.01/3610.40 c #Conflicts: 919000 | #Constraints: 97256
3600.01/3610.40 c #Conflicts: 920000 | #Constraints: 98256
3600.01/3610.40 c #Conflicts: 921000 | #Constraints: 99256
3600.01/3610.40 c #Conflicts: 922000 | #Constraints: 100256
3600.01/3610.40 c #Conflicts: 923000 | #Constraints: 101256
3600.01/3610.40 c #Conflicts: 924000 | #Constraints: 102256
3600.01/3610.40 c #Conflicts: 925000 | #Constraints: 103256
3600.01/3610.40 c #Conflicts: 926000 | #Constraints: 104256
3600.01/3610.40 c #Conflicts: 927000 | #Constraints: 105256
3600.01/3610.40 c #Conflicts: 928000 | #Constraints: 106256
3600.01/3610.40 c #Conflicts: 929000 | #Constraints: 107256
3600.01/3610.40 c #Conflicts: 930000 | #Constraints: 108256
3600.01/3610.40 c #Conflicts: 931000 | #Constraints: 109256
3600.01/3610.40 c #Conflicts: 932000 | #Constraints: 110256
3600.01/3610.40 c #Conflicts: 933000 | #Constraints: 111256
3600.01/3610.40 c #Conflicts: 934000 | #Constraints: 112256
3600.01/3610.40 c #Conflicts: 935000 | #Constraints: 113256
3600.01/3610.40 c #Conflicts: 936000 | #Constraints: 114256
3600.01/3610.40 c #Conflicts: 937000 | #Constraints: 115256
3600.01/3610.40 c #Conflicts: 938000 | #Constraints: 116256
3600.01/3610.40 c INPROCESSING
3600.01/3610.40 c GARBAGE COLLECT
3600.01/3610.40 c #Conflicts: 939000 | #Constraints: 64752
3600.01/3610.40 c #Conflicts: 940000 | #Constraints: 65752
3600.01/3610.40 c #Conflicts: 941000 | #Constraints: 66752
3600.01/3610.40 c #Conflicts: 942000 | #Constraints: 67752
3600.01/3610.40 c #Conflicts: 943000 | #Constraints: 68752
3600.01/3610.40 c #Conflicts: 944000 | #Constraints: 69752
3600.01/3610.40 c #Conflicts: 945000 | #Constraints: 70752
3600.01/3610.40 c #Conflicts: 946000 | #Constraints: 71752
3600.01/3610.40 c #Conflicts: 947000 | #Constraints: 72752
3600.01/3610.40 c #Conflicts: 948000 | #Constraints: 73752
3600.01/3610.40 c #Conflicts: 949000 | #Constraints: 74752
3600.01/3610.40 c #Conflicts: 950000 | #Constraints: 75752
3600.01/3610.40 c #Conflicts: 951000 | #Constraints: 76752
3600.01/3610.40 c #Conflicts: 952000 | #Constraints: 77752
3600.01/3610.40 c #Conflicts: 953000 | #Constraints: 78752
3600.01/3610.40 c #Conflicts: 954000 | #Constraints: 79752
3600.01/3610.40 c #Conflicts: 955000 | #Constraints: 80752
3600.01/3610.40 c #Conflicts: 956000 | #Constraints: 81752
3600.01/3610.40 c #Conflicts: 957000 | #Constraints: 82752
3600.01/3610.40 c #Conflicts: 958000 | #Constraints: 83752
3600.01/3610.40 c INPROCESSING
3600.01/3610.40 c GARBAGE COLLECT
3600.01/3610.40 c #Conflicts: 959000 | #Constraints: 48197
3600.01/3610.40 c #Conflicts: 960000 | #Constraints: 49197
3600.01/3610.40 c #Conflicts: 961000 | #Constraints: 50197
3600.01/3610.40 c Program interrupted by user.
3600.01/3610.40 c cpu time 3588.77 s
3600.01/3610.40 c deterministic time 316808699226 3.17e+11
3600.01/3610.40 c optimization time 17.6317 s
3600.01/3610.40 c total solve time 3271.72 s
3600.01/3610.40 c core-guided solve time 3271.72 s
3600.01/3610.40 c propagation time 3172.33 s
3600.01/3610.40 c conflict analysis time 97.3516 s
3600.01/3610.40 c propagations 560933898
3600.01/3610.40 c resolve steps 3506055
3600.01/3610.40 c decisions 6308920
3600.01/3610.40 c conflicts 961950
3600.01/3610.40 c restarts 2044
3600.01/3610.40 c inprocessing phases 71
3600.01/3610.40 c input clauses 0
3600.01/3610.40 c input cardinalities 0
3600.01/3610.40 c input general constraints 10895
3600.01/3610.40 c input average constraint length 30.15
3600.01/3610.40 c input average constraint degree 481.11
3600.01/3610.40 c learned clauses 352403
3600.01/3610.40 c learned cardinalities 46
3600.01/3610.40 c learned general constraints 609501
3600.01/3610.40 c learned average constraint length 43.75
3600.01/3610.40 c learned average constraint degree 195023.37
3600.01/3610.40 c watched constraints 619972
3600.01/3610.40 c counting constraints 424
3600.01/3610.40 c gcd simplifications 7897
3600.01/3610.40 c detected cardinalities 46
3600.01/3610.40 c weakened non-implied lits 4405428
3600.01/3610.40 c weakened non-implying lits 544
3600.01/3610.40 c original variables 5570
3600.01/3610.40 c clausal propagations 455092
3600.01/3610.40 c cardinality propagations 46
3600.01/3610.40 c watched propagations 558539036
3600.01/3610.40 c counting propagations 1354715
3600.01/3610.40 c watch lookups 62950270321
3600.01/3610.40 c watch backjump lookups 59941213359
3600.01/3610.40 c watch checks 109360450459
3600.01/3610.40 c propagation checks 83283412014
3600.01/3610.40 c constraint additions 137907729
3600.01/3610.40 c trail pops 568202525
3600.01/3610.40 c formula constraints 10895
3600.01/3610.40 c learned constraints 961950
3600.01/3610.40 c bound constraints 0
3600.01/3610.40 c core-guided constraints 0
3600.01/3610.40 c encountered formula constraints 3467039
3600.01/3610.40 c encountered learned constraints 1000966
3600.01/3610.40 c encountered bound constraints 0
3600.01/3610.40 c encountered core-guided constraints 0
3600.01/3610.40 c LP total time 0 s
3600.01/3610.40 c LP solve time 0 s
3600.01/3610.40 c LP constraints added 0
3600.01/3610.40 c LP constraints removed 0
3600.01/3610.40 c LP pivots internal 0
3600.01/3610.40 c LP pivots root 0
3600.01/3610.40 c LP calls 0
3600.01/3610.40 c LP optimalities 0
3600.01/3610.40 c LP no pivot count 0
3600.01/3610.40 c LP infeasibilities 0
3600.01/3610.40 c LP valid Farkas constraints 0
3600.01/3610.40 c LP learned Farkas constraints 0
3600.01/3610.40 c LP basis resets 0
3600.01/3610.40 c LP cycling count 0
3600.01/3610.40 c LP singular count 0
3600.01/3610.40 c LP no primal count 0
3600.01/3610.40 c LP no farkas count 0
3600.01/3610.40 c LP other issue count 0
3600.01/3610.40 c LP Gomory cuts 0
3600.01/3610.40 c LP learned cuts 0
3600.01/3610.40 c LP deleted cuts 0
3600.01/3610.40 c LP encountered Gomory constraints 0
3600.01/3610.40 c LP encountered Farkas constraints 0
3600.01/3610.40 c LP encountered learned Farkas constraints 0
3600.01/3610.40 c CG auxiliary variables introduced 0
3600.01/3610.40 c CG solutions found 0
3600.01/3610.40 c CG cores constructed 0
3600.01/3610.40 c CG core cardinality constraints returned 0
3600.01/3610.40 c CG unit cores 0
3600.01/3610.40 c CG single cores 0
3600.01/3610.40 c CG blocks removed during cardinality reduction 0
3600.01/3610.40 c CG first core best 0
3600.01/3610.40 c CG decision core best 0
3600.01/3610.40 c CG core reduction tie 0
3600.01/3610.40 c CG core degree average 0.00
3600.01/3610.40 c CG core slack average 0.00
3600.01/3610.40 c CG exhausted 0
3600.01/3610.40 c CG exhaust time 0 s
3600.01/3610.40 c CG trimmed 0
3600.01/3610.40 c CG trim time 0 s
3600.01/3610.40 c CG minimized 0
3600.01/3610.40 c CG minimize time 0 s
3600.01/3610.40 c CG am1 prop time 0.000182 s
3600.01/3610.40 c CG # am1s reformulated 0
3600.01/3610.40 c CG lower bound derived from am1s 0
3600.01/3610.40 c CG # clausal cores 0
3600.01/3610.40 c CG # cardinality cores 0
3600.01/3610.40 c CG # pb cores 0
3600.01/3610.40 c CG # pb reforms 0
3600.01/3610.40 c CG # cores discarded because of pb reform 0
3600.01/3610.40 d LOWERBOUND 0
3600.01/3610.40 d NCORES 0
3600.01/3610.40 d NPBCORES 0
3600.01/3610.40 d NPBREFORM 0
3600.01/3610.40 d NTRIMMED 0
3600.01/3610.40 d NEXHAUSTED 0
3600.01/3610.40 d NAM1S 0
3600.01/3610.40 d AM1LB 0
3600.01/3610.40 c [Papilo Statistics]
3600.01/3610.40 c prepro time 0.0465448s
3600.01/3610.40 c # tsx applied 5488
3600.01/3610.40 c # tsx conflicts 0
3600.01/3610.40 c # bound changes 2
3600.01/3610.40 c # side changes 5268
3600.01/3610.40 c # coef changes 260
3600.01/3610.40 c # rounds 2
3600.01/3610.40 c # deted vars 2
3600.01/3610.40 c # deted constrs 5254
3600.01/3610.40 c # consecutive rounds of only bound changes 0
3600.01/3610.40 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (60381 MiB free)
memory of node 1: 64507 MiB (53496 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528942-1752258128/watcher-4528942-1752258128 -o /tmp/evaluation-result-4528942-1752258128/solver-4528942-1752258128 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1752258128-123324 --watchdog 3760 mixed-bag HOME/instance-4528942-1752258128.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=123380, runsolver pid=123365
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 0.58 0.98 1.76 3/258 123381
/proc/meminfo: memFree=116601740/131249996 swapFree=33010684/33010684
[pid=123380] ppid=123365 vsize=89188 memory=18344 CPUtime=0.08 cores=5,7
/proc/123380/stat : 123380 (mixed-bag) R 123365 123380 123311 0 -1 4194304 2675 0 0 0 8 0 0 0 20 0 1 0 141490749 91328512 4586 18446744073709551615 4235264 15840557 140730474498048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 38981632 140730474502554 140730474502631 140730474502631 140730474508235 0
/proc/123380/statm: 22297 4586 2144 2834 0 5049 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 89188 KiB
Current children cumulated memory: 18344 KiB
[startup+0.204707 s]*
/proc/loadavg: 0.58 0.98 1.76 2/253 123405
/proc/meminfo: memFree=116575924/131249996 swapFree=33010684/33010684
[pid=123380] ppid=123365 vsize=139272 memory=56224 CPUtime=0.19 cores=5,7
/proc/123380/stat : 123380 (mixed-bag) R 123365 123380 123311 0 -1 4194304 7505 0 0 0 17 2 0 0 20 0 1 0 141490749 142614528 14056 18446744073709551615 4235264 15840557 140730474498048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 38981632 140730474502554 140730474502631 140730474502631 140730474508235 0
/proc/123380/statm: 34818 14056 2208 2834 0 17023 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 139272 KiB
Current children cumulated memory: 56224 KiB
[startup+0.305338 s]*
/proc/loadavg: 0.58 0.98 1.76 2/253 123405
/proc/meminfo: memFree=116532852/131249996 swapFree=33010684/33010684
[pid=123380] ppid=123365 vsize=183508 memory=105004 CPUtime=0.29 cores=5,7
/proc/123380/stat : 123380 (mixed-bag) R 123365 123380 123311 0 -1 4194304 17501 0 0 0 26 3 0 0 20 0 1 0 141490749 187912192 26251 18446744073709551615 4235264 15840557 140730474498048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 38981632 140730474502554 140730474502631 140730474502631 140730474508235 0
/proc/123380/statm: 45877 26251 4000 2834 0 28082 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 183508 KiB
Current children cumulated memory: 105004 KiB
[startup+0.700167 s]
/proc/loadavg: 0.58 0.98 1.76 2/253 123405
/proc/meminfo: memFree=116488644/131249996 swapFree=33010684/33010684
[pid=123380] ppid=123365 vsize=313268 memory=212856 CPUtime=0.68 cores=5,7
/proc/123380/stat : 123380 (mixed-bag) R 123365 123380 123311 0 -1 4194304 39764 0 0 0 60 8 0 0 20 0 1 0 141490749 320786432 53182 18446744073709551615 4235264 15840557 140730474498048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 38981632 140730474502554 140730474502631 140730474502631 140730474508235 0
/proc/123380/statm: 78373 53214 4096 2834 0 60578 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 313268 KiB
Current children cumulated memory: 212856 KiB
[startup+1.50016 s]
/proc/loadavg: 0.85 1.03 1.78 4/253 123405
/proc/meminfo: memFree=116368880/131249996 swapFree=33010684/33010684
[pid=123380] ppid=123365 vsize=386624 memory=282296 CPUtime=1.47 cores=5,7
/proc/123380/stat : 123380 (mixed-bag) R 123365 123380 123311 0 -1 4194304 52477 0 0 0 137 10 0 0 20 0 1 0 141490749 395902976 70574 18446744073709551615 4235264 15840557 140730474498048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 38981632 140730474502554 140730474502631 140730474502631 140730474508235 0
/proc/123380/statm: 96656 70574 4224 2834 0 78861 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 386624 KiB
Current children cumulated memory: 282296 KiB
[startup+3.1053 s]
/proc/loadavg: 0.85 1.03 1.78 3/257 123580
/proc/meminfo: memFree=116279864/131249996 swapFree=33010684/33010684
[pid=123380] ppid=123365 vsize=480300 memory=370292 CPUtime=3.07 cores=5,7
/proc/123380/stat : 123380 (mixed-bag) R 123365 123380 123311 0 -1 4194304 71406 0 0 0 293 14 0 0 20 0 1 0 141490749 491827200 92573 18446744073709551615 4235264 15840557 140730474498048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 38981632 140730474502554 140730474502631 140730474502631 140730474508235 0
/proc/123380/statm: 120075 92573 4256 2834 0 102280 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 480300 KiB
Current children cumulated memory: 370292 KiB
[startup+6.30017 s]
/proc/loadavg: 1.11 1.08 1.79 5/265 123651
/proc/meminfo: memFree=115380132/131249996 swapFree=33010684/33010684
[pid=123380] ppid=123365 vsize=480300 memory=372212 CPUtime=6.26 cores=5,7
/proc/123380/stat : 123380 (mixed-bag) R 123365 123380 123311 0 -1 4194304 71919 0 0 0 612 14 0 0 20 0 1 0 141490749 491827200 93053 18446744073709551615 4235264 15840557 140730474498048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 38981632 140730474502554 140730474502631 140730474502631 140730474508235 0
/proc/123380/statm: 120075 93053 4256 2834 0 102280 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 480300 KiB
Current children cumulated memory: 372212 KiB
[startup+12.7002 s]
/proc/loadavg: 1.34 1.13 1.80 5/265 123696
/proc/meminfo: memFree=115073872/131249996 swapFree=33010684/33010684
[pid=123380] ppid=123365 vsize=507872 memory=402728 CPUtime=12.64 cores=5,7
/proc/123380/stat : 123380 (mixed-bag) R 123365 123380 123311 0 -1 4194304 79048 0 0 0 1248 16 0 0 20 0 1 0 141490749 520060928 100682 18446744073709551615 4235264 15840557 140730474498048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 38981632 140730474502554 140730474502631 140730474502631 140730474508235 0
/proc/123380/statm: 126968 100682 4256 2834 0 109173 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 507872 KiB
Current children cumulated memory: 402728 KiB
[startup+25.5001 s]
/proc/loadavg: 1.75 1.22 1.82 5/265 123697
/proc/meminfo: memFree=115021900/131249996 swapFree=33010684/33010684
[pid=123380] ppid=123365 vsize=517060 memory=412072 CPUtime=25.4 cores=5,7
/proc/123380/stat : 123380 (mixed-bag) R 123365 123380 123311 0 -1 4194304 81409 0 0 0 2524 16 0 0 20 0 1 0 141490749 529469440 103018 18446744073709551615 4235264 15840557 140730474498048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 38981632 140730474502554 140730474502631 140730474502631 140730474508235 0
/proc/123380/statm: 129265 103018 4256 2834 0 111470 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 517060 KiB
Current children cumulated memory: 412072 KiB
[startup+51.1052 s]
/proc/loadavg: 2.64 1.49 1.89 5/265 123832
/proc/meminfo: memFree=115402948/131249996 swapFree=33010684/33010684
[pid=123380] ppid=123365 vsize=517060 memory=412072 CPUtime=50.92 cores=5,7
/proc/123380/stat : 123380 (mixed-bag) R 123365 123380 123311 0 -1 4194304 81409 0 0 0 5076 16 0 0 20 0 1 0 141490749 529469440 103018 18446744073709551615 4235264 15840557 140730474498048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 38981632 140730474502554 140730474502631 140730474502631 140730474508235 0
/proc/123380/statm: 129265 103018 4256 2834 0 111470 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 517060 KiB
Current children cumulated memory: 412072 KiB
[startup+102.3 s]
/proc/loadavg: 3.51 1.91 2.02 5/265 124463
/proc/meminfo: memFree=113939868/131249996 swapFree=33010684/33010684
[pid=123380] ppid=123365 vsize=518172 memory=419112 CPUtime=101.96 cores=5,7
/proc/123380/stat : 123380 (mixed-bag) R 123365 123380 123311 0 -1 4194304 81734 0 0 0 10180 16 0 0 20 0 1 0 141490749 530608128 104778 18446744073709551615 4235264 15840557 140730474498048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 38981632 140730474502554 140730474502631 140730474502631 140730474508235 0
/proc/123380/statm: 129543 104778 4256 2834 0 111748 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 518172 KiB
Current children cumulated memory: 419112 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.32 2.16 5/265 124509
/proc/meminfo: memFree=113208764/131249996 swapFree=33010684/33010684
[pid=123380] ppid=123365 vsize=534224 memory=449960 CPUtime=161.81 cores=5,7
/proc/123380/stat : 123380 (mixed-bag) R 123365 123380 123311 0 -1 4194304 85763 0 0 0 16164 17 0 0 20 0 1 0 141490749 547045376 112490 18446744073709551615 4235264 15840557 140730474498048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 38981632 140730474502554 140730474502631 140730474502631 140730474508235 0
/proc/123380/statm: 133556 112490 4256 2834 0 115761 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 534224 KiB
Current children cumulated memory: 449960 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 2.66 2.28 5/265 124511
/proc/meminfo: memFree=113163768/131249996 swapFree=33010684/33010684
[pid=123380] ppid=123365 vsize=544140 memory=461992 CPUtime=221.66 cores=5,7
/proc/123380/stat : 123380 (mixed-bag) R 123365 123380 123311 0 -1 4194304 88326 0 0 0 22149 17 0 0 20 0 1 0 141490749 557199360 115498 18446744073709551615 4235264 15840557 140730474498048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 38981632 140730474502554 140730474502631 140730474502631 140730474508235 0
/proc/123380/statm: 136035 115498 4256 2834 0 118240 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 544140 KiB
Current children cumulated memory: 461992 KiB
[startup+282.3 s]
/proc/loadavg: 4.02 2.91 2.39 5/265 124513
/proc/meminfo: memFree=113033188/131249996 swapFree=33010684/33010684
[pid=123380] ppid=123365 vsize=578868 memory=497968 CPUtime=281.51 cores=5,7
/proc/123380/stat : 123380 (mixed-bag) R 123365 123380 123311 0 -1 4194304 94982 0 0 0 28133 18 0 0 20 0 1 0 141490749 592760832 124492 18446744073709551615 4235264 15840557 140730474498048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 38981632 140730474502554 140730474502631 140730474502631 140730474508235 0
/proc/123380/statm: 144717 124492 4256 2834 0 126922 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 578868 KiB
Current children cumulated memory: 497968 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 3.14 2.51 5/263 124515
/proc/meminfo: memFree=113042040/131249996 swapFree=33010684/33010684
[pid=123380] ppid=123365 vsize=542204 memory=480612 CPUtime=341.37 cores=5,7
/proc/123380/stat : 123380 (mixed-bag) R 123365 123380 123311 0 -1 4194304 95811 0 0 0 34066 71 0 0 20 0 1 0 141490749 555216896 120153 18446744073709551615 4235264 15840557 140730474498048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 38981632 140730474502554 140730474502631 140730474502631 140730474508235 0
/proc/123380/statm: 135551 120153 4416 2834 0 117756 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 542204 KiB
Current children cumulated memory: 480612 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.31 2.61 5/262 124519
/proc/meminfo: memFree=112981840/131249996 swapFree=33010684/33010684
[pid=123380] ppid=123365 vsize=546624 memory=482020 CPUtime=401.22 cores=5,7
/proc/123380/stat : 123380 (mixed-bag) R 123365 123380 123311 0 -1 4194304 96194 0 0 0 39999 123 0 0 20 0 1 0 141490749 559742976 120505 18446744073709551615 4235264 15840557 140730474498048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 38981632 140730474502554 140730474502631 140730474502631 140730474508235 0
/proc/123380/statm: 136656 120505 4416 2834 0 118861 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 546624 KiB
Current children cumulated memory: 482020 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.46 2.70 5/263 124526
/proc/meminfo: memFree=112441524/131249996 swapFree=33010684/33010684
[pid=123380] ppid=123365 vsize=546624 memory=484984 CPUtime=461.07 cores=5,7
/proc/123380/stat : 123380 (mixed-bag) R 123365 123380 123311 0 -1 4194304 96440 0 0 0 45936 171 0 0 20 0 1 0 141490749 559742976 121246 18446744073709551615 4235264 15840557 140730474498048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 38981632 140730474502554 140730474502631 140730474502631 140730474508235 0
/proc/123380/statm: 136656 121246 4416 2834 0 118861 0
################
# More data... #
################
Current children cumulated memory: 512020 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.19 4.08 5/264 124736
/proc/meminfo: memFree=111807416/131249996 swapFree=33010684/33010684
[pid=123380] ppid=123365 vsize=584448 memory=512020 CPUtime=2854.26 cores=5,7
/proc/123380/stat : 123380 (mixed-bag) R 123365 123380 123311 0 -1 4194304 98569 0 0 0 284470 956 0 0 20 0 1 0 141490749 598474752 128005 18446744073709551615 4235264 15840557 140730474498048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 38981632 140730474502554 140730474502631 140730474502631 140730474508235 0
/proc/123380/statm: 146112 128005 4416 2834 0 128317 0
Current children cumulated CPU time: 2854.26 s
Current children cumulated vsize: 584448 KiB
Current children cumulated memory: 512020 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.17 4.08 5/264 124738
/proc/meminfo: memFree=111784208/131249996 swapFree=33010684/33010684
[pid=123380] ppid=123365 vsize=584448 memory=512020 CPUtime=2914.06 cores=5,7
/proc/123380/stat : 123380 (mixed-bag) R 123365 123380 123311 0 -1 4194304 98569 0 0 0 290431 975 0 0 20 0 1 0 141490749 598474752 128005 18446744073709551615 4235264 15840557 140730474498048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 38981632 140730474502554 140730474502631 140730474502631 140730474508235 0
/proc/123380/statm: 146112 128005 4416 2834 0 128317 0
Current children cumulated CPU time: 2914.06 s
Current children cumulated vsize: 584448 KiB
Current children cumulated memory: 512020 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.15 4.08 5/264 124740
/proc/meminfo: memFree=111787072/131249996 swapFree=33010684/33010684
[pid=123380] ppid=123365 vsize=584448 memory=512020 CPUtime=2973.88 cores=5,7
/proc/123380/stat : 123380 (mixed-bag) R 123365 123380 123311 0 -1 4194304 98569 0 0 0 296392 996 0 0 20 0 1 0 141490749 598474752 128005 18446744073709551615 4235264 15840557 140730474498048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 38981632 140730474502554 140730474502631 140730474502631 140730474508235 0
/proc/123380/statm: 146112 128005 4416 2834 0 128317 0
Current children cumulated CPU time: 2973.88 s
Current children cumulated vsize: 584448 KiB
Current children cumulated memory: 512020 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.14 4.08 5/264 124742
/proc/meminfo: memFree=111765208/131249996 swapFree=33010684/33010684
[pid=123380] ppid=123365 vsize=584448 memory=512020 CPUtime=3033.69 cores=5,7
/proc/123380/stat : 123380 (mixed-bag) R 123365 123380 123311 0 -1 4194304 98569 0 0 0 302358 1011 0 0 20 0 1 0 141490749 598474752 128005 18446744073709551615 4235264 15840557 140730474498048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 38981632 140730474502554 140730474502631 140730474502631 140730474508235 0
/proc/123380/statm: 146112 128005 4416 2834 0 128317 0
Current children cumulated CPU time: 3033.69 s
Current children cumulated vsize: 584448 KiB
Current children cumulated memory: 512020 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.12 4.08 5/263 124744
/proc/meminfo: memFree=111751580/131249996 swapFree=33010684/33010684
[pid=123380] ppid=123365 vsize=584448 memory=512020 CPUtime=3093.5 cores=5,7
/proc/123380/stat : 123380 (mixed-bag) R 123365 123380 123311 0 -1 4194304 98569 0 0 0 308323 1027 0 0 20 0 1 0 141490749 598474752 128005 18446744073709551615 4235264 15840557 140730474498048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 38981632 140730474502554 140730474502631 140730474502631 140730474508235 0
/proc/123380/statm: 146112 128005 4416 2834 0 128317 0
Current children cumulated CPU time: 3093.5 s
Current children cumulated vsize: 584448 KiB
Current children cumulated memory: 512020 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.11 4.08 5/262 124746
/proc/meminfo: memFree=111752644/131249996 swapFree=33010684/33010684
[pid=123380] ppid=123365 vsize=584448 memory=512020 CPUtime=3153.31 cores=5,7
/proc/123380/stat : 123380 (mixed-bag) R 123365 123380 123311 0 -1 4194304 98569 0 0 0 314291 1040 0 0 20 0 1 0 141490749 598474752 128005 18446744073709551615 4235264 15840557 140730474498048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 38981632 140730474502554 140730474502631 140730474502631 140730474508235 0
/proc/123380/statm: 146112 128005 4416 2834 0 128317 0
Current children cumulated CPU time: 3153.31 s
Current children cumulated vsize: 584448 KiB
Current children cumulated memory: 512020 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.14 4.09 5/262 124748
/proc/meminfo: memFree=111756628/131249996 swapFree=33010684/33010684
[pid=123380] ppid=123365 vsize=584448 memory=512020 CPUtime=3213.13 cores=5,7
/proc/123380/stat : 123380 (mixed-bag) R 123365 123380 123311 0 -1 4194304 98569 0 0 0 320261 1052 0 0 20 0 1 0 141490749 598474752 128005 18446744073709551615 4235264 15840557 140730474498048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 38981632 140730474502554 140730474502631 140730474502631 140730474508235 0
/proc/123380/statm: 146112 128005 4416 2834 0 128317 0
Current children cumulated CPU time: 3213.13 s
Current children cumulated vsize: 584448 KiB
Current children cumulated memory: 512020 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/262 124750
/proc/meminfo: memFree=111728168/131249996 swapFree=33010684/33010684
[pid=123380] ppid=123365 vsize=584448 memory=512020 CPUtime=3272.94 cores=5,7
/proc/123380/stat : 123380 (mixed-bag) R 123365 123380 123311 0 -1 4194304 98570 0 0 0 326230 1064 0 0 20 0 1 0 141490749 598474752 128005 18446744073709551615 4235264 15840557 140730474498048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 38981632 140730474502554 140730474502631 140730474502631 140730474508235 0
/proc/123380/statm: 146112 128005 4416 2834 0 128317 0
Current children cumulated CPU time: 3272.94 s
Current children cumulated vsize: 584448 KiB
Current children cumulated memory: 512020 KiB
[startup+3342.3 s]
/proc/loadavg: 4.04 4.10 4.08 5/262 124752
/proc/meminfo: memFree=111731388/131249996 swapFree=33010684/33010684
[pid=123380] ppid=123365 vsize=584448 memory=512020 CPUtime=3332.75 cores=5,7
/proc/123380/stat : 123380 (mixed-bag) R 123365 123380 123311 0 -1 4194304 98571 0 0 0 332201 1074 0 0 20 0 1 0 141490749 598474752 128005 18446744073709551615 4235264 15840557 140730474498048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 38981632 140730474502554 140730474502631 140730474502631 140730474508235 0
/proc/123380/statm: 146112 128005 4416 2834 0 128317 0
Current children cumulated CPU time: 3332.75 s
Current children cumulated vsize: 584448 KiB
Current children cumulated memory: 512020 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 124757
/proc/meminfo: memFree=111732672/131249996 swapFree=33010684/33010684
[pid=123380] ppid=123365 vsize=584448 memory=512020 CPUtime=3392.56 cores=5,7
/proc/123380/stat : 123380 (mixed-bag) R 123365 123380 123311 0 -1 4194304 98573 0 0 0 338172 1084 0 0 20 0 1 0 141490749 598474752 128005 18446744073709551615 4235264 15840557 140730474498048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 38981632 140730474502554 140730474502631 140730474502631 140730474508235 0
/proc/123380/statm: 146112 128005 4416 2834 0 128317 0
Current children cumulated CPU time: 3392.56 s
Current children cumulated vsize: 584448 KiB
Current children cumulated memory: 512020 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 124763
/proc/meminfo: memFree=111733576/131249996 swapFree=33010684/33010684
[pid=123380] ppid=123365 vsize=584448 memory=514068 CPUtime=3452.37 cores=5,7
/proc/123380/stat : 123380 (mixed-bag) R 123365 123380 123311 0 -1 4194304 98574 0 0 0 344144 1093 0 0 20 0 1 0 141490749 598474752 128517 18446744073709551615 4235264 15840557 140730474498048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 38981632 140730474502554 140730474502631 140730474502631 140730474508235 0
/proc/123380/statm: 146112 128517 4416 2834 0 128317 0
Current children cumulated CPU time: 3452.37 s
Current children cumulated vsize: 584448 KiB
Current children cumulated memory: 514068 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/265 124768
/proc/meminfo: memFree=111751400/131249996 swapFree=33010684/33010684
[pid=123380] ppid=123365 vsize=584448 memory=514068 CPUtime=3512.19 cores=5,7
/proc/123380/stat : 123380 (mixed-bag) R 123365 123380 123311 0 -1 4194304 98574 0 0 0 350113 1106 0 0 20 0 1 0 141490749 598474752 128517 18446744073709551615 4235264 15840557 140730474498048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 38981632 140730474502554 140730474502631 140730474502631 140730474508235 0
/proc/123380/statm: 146112 128517 4416 2834 0 128317 0
Current children cumulated CPU time: 3512.19 s
Current children cumulated vsize: 584448 KiB
Current children cumulated memory: 514068 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 124770
/proc/meminfo: memFree=111754804/131249996 swapFree=33010684/33010684
[pid=123380] ppid=123365 vsize=584448 memory=514068 CPUtime=3572 cores=5,7
/proc/123380/stat : 123380 (mixed-bag) R 123365 123380 123311 0 -1 4194304 98574 0 0 0 356081 1119 0 0 20 0 1 0 141490749 598474752 128517 18446744073709551615 4235264 15840557 140730474498048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 38981632 140730474502554 140730474502631 140730474502631 140730474508235 0
/proc/123380/statm: 146112 128517 4416 2834 0 128317 0
Current children cumulated CPU time: 3572 s
Current children cumulated vsize: 584448 KiB
Current children cumulated memory: 514068 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 124771
/proc/meminfo: memFree=111758192/131249996 swapFree=33010684/33010684
[pid=123380] ppid=123365 vsize=584448 memory=514068 CPUtime=3600.01 cores=5,7
/proc/123380/stat : 123380 (mixed-bag) R 123365 123380 123311 0 -1 4194304 98594 0 0 0 358877 1124 0 0 20 0 1 0 141490749 598474752 128517 18446744073709551615 4235264 15840557 140730474498048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 38981632 140730474502554 140730474502631 140730474502631 140730474508235 0
/proc/123380/statm: 146112 128517 4416 2834 0 128317 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 584448 KiB
Current children cumulated memory: 514068 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.41 s]
# the end of solver process 123380 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.77 s, system=11.2502 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.41
CPU time (s): 3600.02
CPU user time (s): 3588.77
CPU system time (s): 11.2502
CPU usage (%): 99.7125
Max. virtual memory (cumulated for all children) (KiB): 584448
Max. memory (cumulated for all children) (KiB): 514068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.77
system time used= 11.2502
maximum resident set size= 514964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98622
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= 143
involuntary context switches= 1204
# summary of solver processes directly reported to runsolver:
# pid: 123380
# total CPU time (s): 3600.02
# total CPU user time (s): 3588.77
# total CPU system time (s): 11.2502
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.64842 second user time and 15.2415 second system time
The end
Begin job on nodeC024 at 2025-07-11 20:22:08
IDJOB=4528942
IDBENCH=147704
IDSOLVER=3386
FILE ID=nodeC024/4528942-1752258128
RUNJOBID= nodeC024-1752258128-123324
SLURM_JOB_ID= 9682612
Free space on /tmp= 432360 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
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-4528942-1752258128/watcher-4528942-1752258128 -o /tmp/evaluation-result-4528942-1752258128/solver-4528942-1752258128 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1752258128-123324 --watchdog 3760 mixed-bag HOME/instance-4528942-1752258128.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0c97dedf99f03a2f12057daa91676c25
RANDOM SEED=2092804810
nodeC024 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.413
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.36
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.921
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.36
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.807
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.36
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.923
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.36
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.780
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.36
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 : 3600.036
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.937
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.36
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 : 3599.670
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 116615448 kB
MemAvailable: 129698212 kB
Buffers: 2144 kB
Cached: 13846564 kB
SwapCached: 0 kB
Active: 649228 kB
Inactive: 13266432 kB
Active(anon): 84980 kB
Inactive(anon): 36 kB
Active(file): 564248 kB
Inactive(file): 13266396 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 63504 kB
Writeback: 0 kB
AnonPages: 70060 kB
Mapped: 105740 kB
Shmem: 18064 kB
KReclaimable: 182320 kB
Slab: 276028 kB
SReclaimable: 182320 kB
SUnreclaim: 93708 kB
KernelStack: 4024 kB
PageTables: 2396 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 342112 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 kB
VmallocChunk: 0 kB
Percpu: 3904 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 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: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 432280 MiB
End job on nodeC024 at 2025-07-11 21:22:19