0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.30/0.41 c #variables 14400 #constraints 28800
0.30/0.41 c objective is ce32
0.59/0.62 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.59/0.62 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.59/0.62 c GLOBAL bounds - >= 0 @ 0.470561
0.59/0.66 c GLOBAL bounds - >= 0 @ 0.496892
133.16/133.69 c #Conflicts: 1000 | #Constraints: 29800
133.16/133.69 c #Conflicts: 2000 | #Constraints: 30800
133.16/133.69 c #Conflicts: 3000 | #Constraints: 31800
133.16/133.69 c #Conflicts: 4000 | #Constraints: 32800
133.16/133.69 c #Conflicts: 5000 | #Constraints: 33800
133.16/133.69 c #Conflicts: 6000 | #Constraints: 34800
133.16/133.69 c #Conflicts: 7000 | #Constraints: 35800
133.16/133.69 c INPROCESSING
133.16/133.69 c #Conflicts: 8000 | #Constraints: 36617
133.16/133.69 c #Conflicts: 9000 | #Constraints: 37617
133.16/133.69 c #Conflicts: 10000 | #Constraints: 38617
133.16/133.69 c #Conflicts: 11000 | #Constraints: 39617
133.16/133.69 c #Conflicts: 12000 | #Constraints: 40617
133.16/133.69 c #Conflicts: 13000 | #Constraints: 41617
133.16/133.69 c #Conflicts: 14000 | #Constraints: 42617
133.16/133.69 c INPROCESSING
133.16/133.69 c GARBAGE COLLECT
133.16/133.69 c #Conflicts: 15000 | #Constraints: 38410
133.16/133.69 c #Conflicts: 16000 | #Constraints: 39410
133.16/133.69 c #Conflicts: 17000 | #Constraints: 40410
133.16/133.69 c #Conflicts: 18000 | #Constraints: 41410
133.16/133.69 c #Conflicts: 19000 | #Constraints: 42410
133.16/133.69 c #Conflicts: 20000 | #Constraints: 43410
133.16/133.69 c #Conflicts: 21000 | #Constraints: 44410
133.16/133.69 c INPROCESSING
133.16/133.69 c #Conflicts: 22000 | #Constraints: 39092
133.16/133.69 c #Conflicts: 23000 | #Constraints: 40092
133.16/133.69 c #Conflicts: 24000 | #Constraints: 41092
133.16/133.69 c #Conflicts: 25000 | #Constraints: 42092
133.16/133.69 c #Conflicts: 26000 | #Constraints: 43092
133.16/133.69 c #Conflicts: 27000 | #Constraints: 44092
133.16/133.69 c #Conflicts: 28000 | #Constraints: 45092
133.16/133.69 c #Conflicts: 29000 | #Constraints: 46092
133.16/133.69 c INPROCESSING
133.16/133.69 c GARBAGE COLLECT
133.16/133.69 c #Conflicts: 30000 | #Constraints: 40274
133.16/133.69 c #Conflicts: 31000 | #Constraints: 41274
133.16/133.69 c #Conflicts: 32000 | #Constraints: 42274
133.16/133.69 c #Conflicts: 33000 | #Constraints: 43274
133.16/133.69 c #Conflicts: 34000 | #Constraints: 44274
133.16/133.69 c #Conflicts: 35000 | #Constraints: 45274
133.16/133.69 c #Conflicts: 36000 | #Constraints: 46274
133.16/133.69 c #Conflicts: 37000 | #Constraints: 47274
133.16/133.69 c INPROCESSING
133.16/133.69 c #Conflicts: 38000 | #Constraints: 40941
133.16/133.69 c #Conflicts: 39000 | #Constraints: 41941
133.16/133.69 c #Conflicts: 40000 | #Constraints: 42941
133.16/133.69 c #Conflicts: 41000 | #Constraints: 43941
133.16/133.69 c #Conflicts: 42000 | #Constraints: 44941
133.16/133.69 c #Conflicts: 43000 | #Constraints: 45941
133.16/133.69 c #Conflicts: 44000 | #Constraints: 46941
133.16/133.69 c #Conflicts: 45000 | #Constraints: 47941
133.16/133.69 c INPROCESSING
133.16/133.69 c GARBAGE COLLECT
133.16/133.69 c #Conflicts: 46000 | #Constraints: 41303
133.16/133.69 c #Conflicts: 47000 | #Constraints: 42303
133.16/133.69 c #Conflicts: 48000 | #Constraints: 43303
133.16/133.69 c #Conflicts: 49000 | #Constraints: 44303
133.16/133.69 c #Conflicts: 50000 | #Constraints: 45303
133.16/133.69 c #Conflicts: 51000 | #Constraints: 46303
133.16/133.69 c #Conflicts: 52000 | #Constraints: 47303
133.16/133.69 c #Conflicts: 53000 | #Constraints: 48303
133.16/133.69 c INPROCESSING
133.16/133.69 c #Conflicts: 54000 | #Constraints: 41368
133.16/133.69 c #Conflicts: 55000 | #Constraints: 42368
133.16/133.69 c #Conflicts: 56000 | #Constraints: 43368
133.16/133.69 c #Conflicts: 57000 | #Constraints: 44368
133.16/133.69 c #Conflicts: 58000 | #Constraints: 45368
133.16/133.69 c #Conflicts: 59000 | #Constraints: 46368
133.16/133.69 c #Conflicts: 60000 | #Constraints: 47368
133.16/133.69 c #Conflicts: 61000 | #Constraints: 48368
133.16/133.69 c INPROCESSING
133.16/133.69 c GARBAGE COLLECT
133.16/133.69 c #Conflicts: 62000 | #Constraints: 41159
133.16/133.69 c #Conflicts: 63000 | #Constraints: 42159
133.16/133.69 c #Conflicts: 64000 | #Constraints: 43159
133.16/133.69 c #Conflicts: 65000 | #Constraints: 44159
133.16/133.69 c #Conflicts: 66000 | #Constraints: 45159
133.16/133.69 c #Conflicts: 67000 | #Constraints: 46159
133.16/133.69 c #Conflicts: 68000 | #Constraints: 47159
133.16/133.69 c #Conflicts: 69000 | #Constraints: 48159
133.16/133.69 c #Conflicts: 70000 | #Constraints: 49159
133.16/133.69 c INPROCESSING
133.16/133.69 c #Conflicts: 71000 | #Constraints: 41736
133.16/133.69 c #Conflicts: 72000 | #Constraints: 42736
133.16/133.69 c #Conflicts: 73000 | #Constraints: 43736
133.16/133.69 c #Conflicts: 74000 | #Constraints: 44736
133.16/133.69 c #Conflicts: 75000 | #Constraints: 45736
342.96/344.04 c #Conflicts: 76000 | #Constraints: 46736
342.96/344.04 c #Conflicts: 77000 | #Constraints: 47736
342.96/344.04 c #Conflicts: 78000 | #Constraints: 48736
342.96/344.04 c #Conflicts: 79000 | #Constraints: 49736
342.96/344.04 c INPROCESSING
342.96/344.04 c #Conflicts: 80000 | #Constraints: 42116
342.96/344.04 c #Conflicts: 81000 | #Constraints: 43116
342.96/344.04 c #Conflicts: 82000 | #Constraints: 44116
342.96/344.04 c #Conflicts: 83000 | #Constraints: 45116
342.96/344.04 c #Conflicts: 84000 | #Constraints: 46116
342.96/344.04 c #Conflicts: 85000 | #Constraints: 47116
342.96/344.04 c #Conflicts: 86000 | #Constraints: 48116
342.96/344.04 c #Conflicts: 87000 | #Constraints: 49116
342.96/344.04 c #Conflicts: 88000 | #Constraints: 50116
342.96/344.04 c INPROCESSING
342.96/344.04 c GARBAGE COLLECT
342.96/344.04 c #Conflicts: 89000 | #Constraints: 42298
342.96/344.04 c #Conflicts: 90000 | #Constraints: 43298
342.96/344.04 c #Conflicts: 91000 | #Constraints: 44298
342.96/344.04 c #Conflicts: 92000 | #Constraints: 45298
342.96/344.04 c #Conflicts: 93000 | #Constraints: 46298
342.96/344.04 c #Conflicts: 94000 | #Constraints: 47298
342.96/344.04 c #Conflicts: 95000 | #Constraints: 48298
342.96/344.04 c #Conflicts: 96000 | #Constraints: 49298
342.96/344.04 c #Conflicts: 97000 | #Constraints: 50298
342.96/344.04 c INPROCESSING
342.96/344.04 c #Conflicts: 98000 | #Constraints: 42289
342.96/344.04 c #Conflicts: 99000 | #Constraints: 43289
342.96/344.04 c #Conflicts: 100000 | #Constraints: 44289
342.96/344.04 c #Conflicts: 101000 | #Constraints: 45289
342.96/344.04 c #Conflicts: 102000 | #Constraints: 46289
342.96/344.04 c #Conflicts: 103000 | #Constraints: 47289
342.96/344.04 c #Conflicts: 104000 | #Constraints: 48289
342.96/344.04 c #Conflicts: 105000 | #Constraints: 49289
342.96/344.04 c #Conflicts: 106000 | #Constraints: 50289
342.96/344.04 c INPROCESSING
342.96/344.04 c #Conflicts: 107000 | #Constraints: 42074
342.96/344.04 c #Conflicts: 108000 | #Constraints: 43074
342.96/344.04 c #Conflicts: 109000 | #Constraints: 44074
342.96/344.04 c #Conflicts: 110000 | #Constraints: 45074
342.96/344.04 c #Conflicts: 111000 | #Constraints: 46074
342.96/344.04 c #Conflicts: 112000 | #Constraints: 47074
342.96/344.04 c #Conflicts: 113000 | #Constraints: 48074
342.96/344.04 c #Conflicts: 114000 | #Constraints: 49074
342.96/344.04 c #Conflicts: 115000 | #Constraints: 50074
342.96/344.04 c #Conflicts: 116000 | #Constraints: 51074
342.96/344.04 c INPROCESSING
342.96/344.04 c GARBAGE COLLECT
342.96/344.04 c #Conflicts: 117000 | #Constraints: 42681
342.96/344.04 c #Conflicts: 118000 | #Constraints: 43681
342.96/344.04 c #Conflicts: 119000 | #Constraints: 44681
342.96/344.04 c #Conflicts: 120000 | #Constraints: 45681
342.96/344.04 c #Conflicts: 121000 | #Constraints: 46681
342.96/344.04 c #Conflicts: 122000 | #Constraints: 47681
342.96/344.04 c #Conflicts: 123000 | #Constraints: 48681
342.96/344.04 c #Conflicts: 124000 | #Constraints: 49681
342.96/344.04 c #Conflicts: 125000 | #Constraints: 50681
342.96/344.04 c #Conflicts: 126000 | #Constraints: 51681
342.96/344.04 c INPROCESSING
342.96/344.04 c #Conflicts: 127000 | #Constraints: 43086
342.96/344.04 c #Conflicts: 128000 | #Constraints: 44086
342.96/344.04 c #Conflicts: 129000 | #Constraints: 45086
342.96/344.04 c #Conflicts: 130000 | #Constraints: 46086
342.96/344.04 c #Conflicts: 131000 | #Constraints: 47086
342.96/344.04 c #Conflicts: 132000 | #Constraints: 48086
342.96/344.04 c #Conflicts: 133000 | #Constraints: 49086
342.96/344.04 c #Conflicts: 134000 | #Constraints: 50086
342.96/344.04 c #Conflicts: 135000 | #Constraints: 51086
342.96/344.04 c #Conflicts: 136000 | #Constraints: 52086
342.96/344.04 c INPROCESSING
342.96/344.04 c GARBAGE COLLECT
342.96/344.04 c #Conflicts: 137000 | #Constraints: 43283
342.96/344.04 c #Conflicts: 138000 | #Constraints: 44283
342.96/344.04 c #Conflicts: 139000 | #Constraints: 45283
342.96/344.04 c #Conflicts: 140000 | #Constraints: 46283
342.96/344.04 c #Conflicts: 141000 | #Constraints: 47283
342.96/344.04 c #Conflicts: 142000 | #Constraints: 48283
342.96/344.04 c #Conflicts: 143000 | #Constraints: 49283
342.96/344.04 c #Conflicts: 144000 | #Constraints: 50283
342.96/344.04 c #Conflicts: 145000 | #Constraints: 51283
342.96/344.04 c #Conflicts: 146000 | #Constraints: 52283
342.96/344.04 c INPROCESSING
342.96/344.04 c #Conflicts: 147000 | #Constraints: 43286
342.96/344.04 c #Conflicts: 148000 | #Constraints: 44286
342.96/344.04 c #Conflicts: 149000 | #Constraints: 45286
342.96/344.04 c #Conflicts: 150000 | #Constraints: 46286
342.96/344.04 c #Conflicts: 151000 | #Constraints: 47286
568.69/570.42 c #Conflicts: 152000 | #Constraints: 48286
568.69/570.42 c #Conflicts: 153000 | #Constraints: 49286
568.69/570.42 c #Conflicts: 154000 | #Constraints: 50286
568.69/570.42 c #Conflicts: 155000 | #Constraints: 51286
568.69/570.42 c #Conflicts: 156000 | #Constraints: 52286
568.69/570.42 c INPROCESSING
568.69/570.42 c #Conflicts: 157000 | #Constraints: 43099
568.69/570.42 c #Conflicts: 158000 | #Constraints: 44099
568.69/570.42 c #Conflicts: 159000 | #Constraints: 45099
568.69/570.42 c #Conflicts: 160000 | #Constraints: 46099
568.69/570.42 c #Conflicts: 161000 | #Constraints: 47099
568.69/570.42 c #Conflicts: 162000 | #Constraints: 48099
568.69/570.42 c #Conflicts: 163000 | #Constraints: 49099
568.69/570.42 c #Conflicts: 164000 | #Constraints: 50099
568.69/570.42 c #Conflicts: 165000 | #Constraints: 51099
568.69/570.42 c #Conflicts: 166000 | #Constraints: 52099
568.69/570.42 c #Conflicts: 167000 | #Constraints: 53099
568.69/570.42 c INPROCESSING
568.69/570.42 c GARBAGE COLLECT
568.69/570.42 c #Conflicts: 168000 | #Constraints: 43696
568.69/570.42 c #Conflicts: 169000 | #Constraints: 44696
568.69/570.42 c #Conflicts: 170000 | #Constraints: 45696
568.69/570.42 c #Conflicts: 171000 | #Constraints: 46696
568.69/570.42 c #Conflicts: 172000 | #Constraints: 47696
568.69/570.42 c #Conflicts: 173000 | #Constraints: 48696
568.69/570.42 c #Conflicts: 174000 | #Constraints: 49696
568.69/570.42 c #Conflicts: 175000 | #Constraints: 50696
568.69/570.42 c #Conflicts: 176000 | #Constraints: 51696
568.69/570.42 c #Conflicts: 177000 | #Constraints: 52696
568.69/570.42 c #Conflicts: 178000 | #Constraints: 53696
568.69/570.42 c INPROCESSING
568.69/570.42 c #Conflicts: 179000 | #Constraints: 44103
568.69/570.42 c #Conflicts: 180000 | #Constraints: 45103
568.69/570.42 c #Conflicts: 181000 | #Constraints: 46103
568.69/570.42 c #Conflicts: 182000 | #Constraints: 47103
568.69/570.42 c #Conflicts: 183000 | #Constraints: 48103
568.69/570.42 c #Conflicts: 184000 | #Constraints: 49103
568.69/570.42 c #Conflicts: 185000 | #Constraints: 50103
568.69/570.42 c #Conflicts: 186000 | #Constraints: 51103
568.69/570.42 c #Conflicts: 187000 | #Constraints: 52103
568.69/570.42 c #Conflicts: 188000 | #Constraints: 53103
568.69/570.42 c #Conflicts: 189000 | #Constraints: 54103
568.69/570.42 c INPROCESSING
568.69/570.42 c #Conflicts: 190000 | #Constraints: 44313
568.69/570.42 c #Conflicts: 191000 | #Constraints: 45313
568.69/570.42 c #Conflicts: 192000 | #Constraints: 46313
568.69/570.42 c #Conflicts: 193000 | #Constraints: 47313
568.69/570.42 c #Conflicts: 194000 | #Constraints: 48313
568.69/570.42 c #Conflicts: 195000 | #Constraints: 49313
568.69/570.42 c #Conflicts: 196000 | #Constraints: 50313
568.69/570.42 c #Conflicts: 197000 | #Constraints: 51313
568.69/570.42 c #Conflicts: 198000 | #Constraints: 52313
568.69/570.42 c #Conflicts: 199000 | #Constraints: 53313
568.69/570.42 c #Conflicts: 200000 | #Constraints: 54313
568.69/570.42 c INPROCESSING
568.69/570.42 c GARBAGE COLLECT
568.69/570.42 c #Conflicts: 201000 | #Constraints: 44319
568.69/570.42 c #Conflicts: 202000 | #Constraints: 45319
568.69/570.42 c #Conflicts: 203000 | #Constraints: 46319
568.69/570.42 c #Conflicts: 204000 | #Constraints: 47319
568.69/570.42 c #Conflicts: 205000 | #Constraints: 48319
568.69/570.42 c #Conflicts: 206000 | #Constraints: 49319
568.69/570.42 c #Conflicts: 207000 | #Constraints: 50319
568.69/570.42 c #Conflicts: 208000 | #Constraints: 51319
568.69/570.42 c #Conflicts: 209000 | #Constraints: 52319
568.69/570.42 c #Conflicts: 210000 | #Constraints: 53319
568.69/570.42 c #Conflicts: 211000 | #Constraints: 54319
568.69/570.42 c INPROCESSING
568.69/570.42 c #Conflicts: 212000 | #Constraints: 44123
568.69/570.42 c #Conflicts: 213000 | #Constraints: 45123
568.69/570.42 c #Conflicts: 214000 | #Constraints: 46123
568.69/570.42 c #Conflicts: 215000 | #Constraints: 47123
568.69/570.42 c #Conflicts: 216000 | #Constraints: 48123
568.69/570.42 c #Conflicts: 217000 | #Constraints: 49123
568.69/570.42 c #Conflicts: 218000 | #Constraints: 50123
568.69/570.42 c #Conflicts: 219000 | #Constraints: 51123
568.69/570.42 c #Conflicts: 220000 | #Constraints: 52123
568.69/570.42 c #Conflicts: 221000 | #Constraints: 53123
568.69/570.42 c #Conflicts: 222000 | #Constraints: 54123
568.69/570.42 c #Conflicts: 223000 | #Constraints: 55123
568.69/570.42 c INPROCESSING
568.69/570.42 c #Conflicts: 224000 | #Constraints: 44736
568.69/570.42 c #Conflicts: 225000 | #Constraints: 45736
568.69/570.42 c #Conflicts: 226000 | #Constraints: 46736
568.69/570.42 c #Conflicts: 227000 | #Constraints: 47736
755.14/757.49 c #Conflicts: 228000 | #Constraints: 48736
755.14/757.49 c #Conflicts: 229000 | #Constraints: 49736
755.14/757.49 c #Conflicts: 230000 | #Constraints: 50736
755.14/757.49 c #Conflicts: 231000 | #Constraints: 51736
755.14/757.49 c #Conflicts: 232000 | #Constraints: 52736
755.14/757.49 c #Conflicts: 233000 | #Constraints: 53736
755.14/757.49 c #Conflicts: 234000 | #Constraints: 54736
755.14/757.49 c #Conflicts: 235000 | #Constraints: 55736
755.14/757.49 c INPROCESSING
755.14/757.49 c GARBAGE COLLECT
755.14/757.49 c #Conflicts: 236000 | #Constraints: 45131
755.14/757.49 c #Conflicts: 237000 | #Constraints: 46131
755.14/757.49 c #Conflicts: 238000 | #Constraints: 47131
755.14/757.49 c #Conflicts: 239000 | #Constraints: 48131
755.14/757.49 c #Conflicts: 240000 | #Constraints: 49131
755.14/757.49 c #Conflicts: 241000 | #Constraints: 50131
755.14/757.49 c #Conflicts: 242000 | #Constraints: 51131
755.14/757.49 c #Conflicts: 243000 | #Constraints: 52131
755.14/757.49 c #Conflicts: 244000 | #Constraints: 53131
755.14/757.49 c #Conflicts: 245000 | #Constraints: 54131
755.14/757.49 c #Conflicts: 246000 | #Constraints: 55131
755.14/757.49 c #Conflicts: 247000 | #Constraints: 56131
755.14/757.49 c INPROCESSING
755.14/757.49 c #Conflicts: 248000 | #Constraints: 45330
755.14/757.49 c #Conflicts: 249000 | #Constraints: 46330
755.14/757.49 c #Conflicts: 250000 | #Constraints: 47330
755.14/757.49 c #Conflicts: 251000 | #Constraints: 48330
755.14/757.49 c #Conflicts: 252000 | #Constraints: 49330
755.14/757.49 c #Conflicts: 253000 | #Constraints: 50330
755.14/757.49 c #Conflicts: 254000 | #Constraints: 51330
755.14/757.49 c #Conflicts: 255000 | #Constraints: 52330
755.14/757.49 c #Conflicts: 256000 | #Constraints: 53330
755.14/757.49 c #Conflicts: 257000 | #Constraints: 54330
755.14/757.49 c #Conflicts: 258000 | #Constraints: 55330
755.14/757.49 c #Conflicts: 259000 | #Constraints: 56330
755.14/757.49 c INPROCESSING
755.14/757.49 c GARBAGE COLLECT
755.14/757.49 c #Conflicts: 260000 | #Constraints: 45345
755.14/757.49 c #Conflicts: 261000 | #Constraints: 46345
755.14/757.49 c #Conflicts: 262000 | #Constraints: 47345
755.14/757.49 c #Conflicts: 263000 | #Constraints: 48345
755.14/757.49 c #Conflicts: 264000 | #Constraints: 49345
755.14/757.49 c #Conflicts: 265000 | #Constraints: 50345
755.14/757.49 c #Conflicts: 266000 | #Constraints: 51345
755.14/757.49 c #Conflicts: 267000 | #Constraints: 52345
755.14/757.49 c #Conflicts: 268000 | #Constraints: 53345
755.14/757.49 c #Conflicts: 269000 | #Constraints: 54345
755.14/757.49 c #Conflicts: 270000 | #Constraints: 55345
755.14/757.49 c #Conflicts: 271000 | #Constraints: 56345
755.14/757.49 c INPROCESSING
755.14/757.49 c #Conflicts: 272000 | #Constraints: 45136
755.14/757.49 c #Conflicts: 273000 | #Constraints: 46136
755.14/757.49 c #Conflicts: 274000 | #Constraints: 47136
755.14/757.49 c #Conflicts: 275000 | #Constraints: 48136
755.14/757.49 c #Conflicts: 276000 | #Constraints: 49136
755.14/757.49 c #Conflicts: 277000 | #Constraints: 50136
755.14/757.49 c #Conflicts: 278000 | #Constraints: 51136
755.14/757.49 c #Conflicts: 279000 | #Constraints: 52136
755.14/757.49 c #Conflicts: 280000 | #Constraints: 53136
755.14/757.49 c #Conflicts: 281000 | #Constraints: 54136
755.14/757.49 c #Conflicts: 282000 | #Constraints: 55136
755.14/757.49 c #Conflicts: 283000 | #Constraints: 56136
755.14/757.49 c #Conflicts: 284000 | #Constraints: 57136
755.14/757.49 c INPROCESSING
755.14/757.49 c GARBAGE COLLECT
755.14/757.49 c #Conflicts: 285000 | #Constraints: 45729
755.14/757.49 c #Conflicts: 286000 | #Constraints: 46729
755.14/757.49 c #Conflicts: 287000 | #Constraints: 47729
755.14/757.49 c #Conflicts: 288000 | #Constraints: 48729
755.14/757.49 c #Conflicts: 289000 | #Constraints: 49729
755.14/757.49 c #Conflicts: 290000 | #Constraints: 50729
755.14/757.49 c #Conflicts: 291000 | #Constraints: 51729
755.14/757.49 c #Conflicts: 292000 | #Constraints: 52729
755.14/757.49 c #Conflicts: 293000 | #Constraints: 53729
755.14/757.49 c #Conflicts: 294000 | #Constraints: 54729
755.14/757.49 c #Conflicts: 295000 | #Constraints: 55729
755.14/757.49 c #Conflicts: 296000 | #Constraints: 56729
755.14/757.49 c #Conflicts: 297000 | #Constraints: 57729
755.14/757.49 c INPROCESSING
755.14/757.49 c #Conflicts: 298000 | #Constraints: 46128
755.14/757.49 c #Conflicts: 299000 | #Constraints: 47128
755.14/757.49 c #Conflicts: 300000 | #Constraints: 48128
755.14/757.49 c #Conflicts: 301000 | #Constraints: 49128
755.14/757.49 c #Conflicts: 302000 | #Constraints: 50128
755.14/757.49 c #Conflicts: 303000 | #Constraints: 51128
981.86/984.84 c #Conflicts: 304000 | #Constraints: 52128
981.86/984.84 c #Conflicts: 305000 | #Constraints: 53128
981.86/984.84 c #Conflicts: 306000 | #Constraints: 54128
981.86/984.84 c #Conflicts: 307000 | #Constraints: 55128
981.86/984.84 c #Conflicts: 308000 | #Constraints: 56128
981.86/984.84 c #Conflicts: 309000 | #Constraints: 57128
981.86/984.84 c #Conflicts: 310000 | #Constraints: 58128
981.86/984.84 c INPROCESSING
981.86/984.84 c GARBAGE COLLECT
981.86/984.84 c #Conflicts: 311000 | #Constraints: 46340
981.86/984.84 c #Conflicts: 312000 | #Constraints: 47340
981.86/984.84 c #Conflicts: 313000 | #Constraints: 48340
981.86/984.84 c #Conflicts: 314000 | #Constraints: 49340
981.86/984.84 c #Conflicts: 315000 | #Constraints: 50340
981.86/984.84 c #Conflicts: 316000 | #Constraints: 51340
981.86/984.84 c #Conflicts: 317000 | #Constraints: 52340
981.86/984.84 c #Conflicts: 318000 | #Constraints: 53340
981.86/984.84 c #Conflicts: 319000 | #Constraints: 54340
981.86/984.84 c #Conflicts: 320000 | #Constraints: 55340
981.86/984.84 c #Conflicts: 321000 | #Constraints: 56340
981.86/984.84 c #Conflicts: 322000 | #Constraints: 57340
981.86/984.84 c #Conflicts: 323000 | #Constraints: 58340
981.86/984.84 c INPROCESSING
981.86/984.84 c #Conflicts: 324000 | #Constraints: 46355
981.86/984.84 c #Conflicts: 325000 | #Constraints: 47355
981.86/984.84 c #Conflicts: 326000 | #Constraints: 48355
981.86/984.84 c #Conflicts: 327000 | #Constraints: 49355
981.86/984.84 c #Conflicts: 328000 | #Constraints: 50355
981.86/984.84 c #Conflicts: 329000 | #Constraints: 51355
981.86/984.84 c #Conflicts: 330000 | #Constraints: 52355
981.86/984.84 c #Conflicts: 331000 | #Constraints: 53355
981.86/984.84 c #Conflicts: 332000 | #Constraints: 54355
981.86/984.84 c #Conflicts: 333000 | #Constraints: 55355
981.86/984.84 c #Conflicts: 334000 | #Constraints: 56355
981.86/984.84 c #Conflicts: 335000 | #Constraints: 57355
981.86/984.84 c #Conflicts: 336000 | #Constraints: 58355
981.86/984.84 c INPROCESSING
981.86/984.84 c GARBAGE COLLECT
981.86/984.84 c #Conflicts: 337000 | #Constraints: 46153
981.86/984.84 c #Conflicts: 338000 | #Constraints: 47153
981.86/984.84 c #Conflicts: 339000 | #Constraints: 48153
981.86/984.84 c #Conflicts: 340000 | #Constraints: 49153
981.86/984.84 c #Conflicts: 341000 | #Constraints: 50153
981.86/984.84 c #Conflicts: 342000 | #Constraints: 51153
981.86/984.84 c #Conflicts: 343000 | #Constraints: 52153
981.86/984.84 c #Conflicts: 344000 | #Constraints: 53153
981.86/984.84 c #Conflicts: 345000 | #Constraints: 54153
981.86/984.84 c #Conflicts: 346000 | #Constraints: 55153
981.86/984.84 c #Conflicts: 347000 | #Constraints: 56153
981.86/984.84 c #Conflicts: 348000 | #Constraints: 57153
981.86/984.84 c #Conflicts: 349000 | #Constraints: 58153
981.86/984.84 c #Conflicts: 350000 | #Constraints: 59153
981.86/984.84 c INPROCESSING
981.86/984.84 c #Conflicts: 351000 | #Constraints: 46763
981.86/984.84 c #Conflicts: 352000 | #Constraints: 47763
981.86/984.84 c #Conflicts: 353000 | #Constraints: 48763
981.86/984.84 c #Conflicts: 354000 | #Constraints: 49763
981.86/984.84 c #Conflicts: 355000 | #Constraints: 50763
981.86/984.84 c #Conflicts: 356000 | #Constraints: 51763
981.86/984.84 c #Conflicts: 357000 | #Constraints: 52763
981.86/984.84 c #Conflicts: 358000 | #Constraints: 53763
981.86/984.84 c #Conflicts: 359000 | #Constraints: 54763
981.86/984.84 c #Conflicts: 360000 | #Constraints: 55763
981.86/984.84 c #Conflicts: 361000 | #Constraints: 56763
981.86/984.84 c #Conflicts: 362000 | #Constraints: 57763
981.86/984.84 c #Conflicts: 363000 | #Constraints: 58763
981.86/984.84 c #Conflicts: 364000 | #Constraints: 59763
981.86/984.84 c INPROCESSING
981.86/984.84 c GARBAGE COLLECT
981.86/984.84 c #Conflicts: 365000 | #Constraints: 47151
981.86/984.84 c #Conflicts: 366000 | #Constraints: 48151
981.86/984.84 c #Conflicts: 367000 | #Constraints: 49151
981.86/984.84 c #Conflicts: 368000 | #Constraints: 50151
981.86/984.84 c #Conflicts: 369000 | #Constraints: 51151
981.86/984.84 c #Conflicts: 370000 | #Constraints: 52151
981.86/984.84 c #Conflicts: 371000 | #Constraints: 53151
981.86/984.84 c #Conflicts: 372000 | #Constraints: 54151
981.86/984.84 c #Conflicts: 373000 | #Constraints: 55151
981.86/984.84 c #Conflicts: 374000 | #Constraints: 56151
981.86/984.84 c #Conflicts: 375000 | #Constraints: 57151
981.86/984.84 c #Conflicts: 376000 | #Constraints: 58151
981.86/984.84 c #Conflicts: 377000 | #Constraints: 59151
981.86/984.84 c #Conflicts: 378000 | #Constraints: 60151
981.86/984.84 c INPROCESSING
981.86/984.84 c #Conflicts: 379000 | #Constraints: 47347
1206.11/1209.71 c #Conflicts: 380000 | #Constraints: 48347
1206.11/1209.71 c #Conflicts: 381000 | #Constraints: 49347
1206.11/1209.71 c #Conflicts: 382000 | #Constraints: 50347
1206.11/1209.71 c #Conflicts: 383000 | #Constraints: 51347
1206.11/1209.71 c #Conflicts: 384000 | #Constraints: 52347
1206.11/1209.71 c #Conflicts: 385000 | #Constraints: 53347
1206.11/1209.71 c #Conflicts: 386000 | #Constraints: 54347
1206.11/1209.71 c #Conflicts: 387000 | #Constraints: 55347
1206.11/1209.71 c #Conflicts: 388000 | #Constraints: 56347
1206.11/1209.71 c #Conflicts: 389000 | #Constraints: 57347
1206.11/1209.71 c #Conflicts: 390000 | #Constraints: 58347
1206.11/1209.71 c #Conflicts: 391000 | #Constraints: 59347
1206.11/1209.71 c #Conflicts: 392000 | #Constraints: 60347
1206.11/1209.71 c INPROCESSING
1206.11/1209.71 c GARBAGE COLLECT
1206.11/1209.71 c #Conflicts: 393000 | #Constraints: 47305
1206.11/1209.71 c #Conflicts: 394000 | #Constraints: 48305
1206.11/1209.71 c #Conflicts: 395000 | #Constraints: 49305
1206.11/1209.71 c #Conflicts: 396000 | #Constraints: 50305
1206.11/1209.71 c #Conflicts: 397000 | #Constraints: 51305
1206.11/1209.71 c #Conflicts: 398000 | #Constraints: 52305
1206.11/1209.71 c #Conflicts: 399000 | #Constraints: 53305
1206.11/1209.71 c #Conflicts: 400000 | #Constraints: 54305
1206.11/1209.71 c #Conflicts: 401000 | #Constraints: 55305
1206.11/1209.71 c #Conflicts: 402000 | #Constraints: 56305
1206.11/1209.71 c #Conflicts: 403000 | #Constraints: 57305
1206.11/1209.71 c #Conflicts: 404000 | #Constraints: 58305
1206.11/1209.71 c #Conflicts: 405000 | #Constraints: 59305
1206.11/1209.71 c #Conflicts: 406000 | #Constraints: 60305
1206.11/1209.71 c INPROCESSING
1206.11/1209.71 c #Conflicts: 407000 | #Constraints: 47111
1206.11/1209.71 c #Conflicts: 408000 | #Constraints: 48111
1206.11/1209.71 c #Conflicts: 409000 | #Constraints: 49111
1206.11/1209.71 c #Conflicts: 410000 | #Constraints: 50111
1206.11/1209.71 c #Conflicts: 411000 | #Constraints: 51111
1206.11/1209.71 c #Conflicts: 412000 | #Constraints: 52111
1206.11/1209.71 c #Conflicts: 413000 | #Constraints: 53111
1206.11/1209.71 c #Conflicts: 414000 | #Constraints: 54111
1206.11/1209.71 c #Conflicts: 415000 | #Constraints: 55111
1206.11/1209.71 c #Conflicts: 416000 | #Constraints: 56111
1206.11/1209.71 c #Conflicts: 417000 | #Constraints: 57111
1206.11/1209.71 c #Conflicts: 418000 | #Constraints: 58111
1206.11/1209.71 c #Conflicts: 419000 | #Constraints: 59111
1206.11/1209.71 c #Conflicts: 420000 | #Constraints: 60111
1206.11/1209.71 c #Conflicts: 421000 | #Constraints: 61111
1206.11/1209.71 c INPROCESSING
1206.11/1209.71 c GARBAGE COLLECT
1206.11/1209.71 c #Conflicts: 422000 | #Constraints: 47720
1206.11/1209.71 c #Conflicts: 423000 | #Constraints: 48720
1206.11/1209.71 c #Conflicts: 424000 | #Constraints: 49720
1206.11/1209.71 c #Conflicts: 425000 | #Constraints: 50720
1206.11/1209.71 c #Conflicts: 426000 | #Constraints: 51720
1206.11/1209.71 c #Conflicts: 427000 | #Constraints: 52720
1206.11/1209.71 c #Conflicts: 428000 | #Constraints: 53720
1206.11/1209.71 c #Conflicts: 429000 | #Constraints: 54720
1206.11/1209.71 c #Conflicts: 430000 | #Constraints: 55720
1206.11/1209.71 c #Conflicts: 431000 | #Constraints: 56720
1206.11/1209.71 c #Conflicts: 432000 | #Constraints: 57720
1206.11/1209.71 c #Conflicts: 433000 | #Constraints: 58720
1206.11/1209.71 c #Conflicts: 434000 | #Constraints: 59720
1206.11/1209.71 c #Conflicts: 435000 | #Constraints: 60720
1206.11/1209.71 c #Conflicts: 436000 | #Constraints: 61720
1206.11/1209.71 c INPROCESSING
1206.11/1209.71 c #Conflicts: 437000 | #Constraints: 48116
1206.11/1209.71 c #Conflicts: 438000 | #Constraints: 49116
1206.11/1209.71 c #Conflicts: 439000 | #Constraints: 50116
1206.11/1209.71 c #Conflicts: 440000 | #Constraints: 51116
1206.11/1209.71 c #Conflicts: 441000 | #Constraints: 52116
1206.11/1209.71 c #Conflicts: 442000 | #Constraints: 53116
1206.11/1209.71 c #Conflicts: 443000 | #Constraints: 54116
1206.11/1209.71 c #Conflicts: 444000 | #Constraints: 55116
1206.11/1209.71 c #Conflicts: 445000 | #Constraints: 56116
1206.11/1209.71 c #Conflicts: 446000 | #Constraints: 57116
1206.11/1209.71 c #Conflicts: 447000 | #Constraints: 58116
1206.11/1209.71 c #Conflicts: 448000 | #Constraints: 59116
1206.11/1209.71 c #Conflicts: 449000 | #Constraints: 60116
1206.11/1209.71 c #Conflicts: 450000 | #Constraints: 61116
1206.11/1209.71 c #Conflicts: 451000 | #Constraints: 62116
1206.11/1209.71 c INPROCESSING
1206.11/1209.71 c GARBAGE COLLECT
1206.11/1209.71 c #Conflicts: 452000 | #Constraints: 48310
1206.11/1209.71 c #Conflicts: 453000 | #Constraints: 49310
1206.11/1209.71 c #Conflicts: 454000 | #Constraints: 50310
1206.11/1209.71 c #Conflicts: 455000 | #Constraints: 51310
1425.87/1430.16 c #Conflicts: 456000 | #Constraints: 52310
1425.87/1430.16 c #Conflicts: 457000 | #Constraints: 53310
1425.87/1430.16 c #Conflicts: 458000 | #Constraints: 54310
1425.87/1430.16 c #Conflicts: 459000 | #Constraints: 55310
1425.87/1430.16 c #Conflicts: 460000 | #Constraints: 56310
1425.87/1430.16 c #Conflicts: 461000 | #Constraints: 57310
1425.87/1430.16 c #Conflicts: 462000 | #Constraints: 58310
1425.87/1430.16 c #Conflicts: 463000 | #Constraints: 59310
1425.87/1430.16 c #Conflicts: 464000 | #Constraints: 60310
1425.87/1430.16 c #Conflicts: 465000 | #Constraints: 61310
1425.87/1430.16 c #Conflicts: 466000 | #Constraints: 62310
1425.87/1430.16 c INPROCESSING
1425.87/1430.16 c #Conflicts: 467000 | #Constraints: 48297
1425.87/1430.16 c #Conflicts: 468000 | #Constraints: 49297
1425.87/1430.16 c #Conflicts: 469000 | #Constraints: 50297
1425.87/1430.16 c #Conflicts: 470000 | #Constraints: 51297
1425.87/1430.16 c #Conflicts: 471000 | #Constraints: 52297
1425.87/1430.16 c #Conflicts: 472000 | #Constraints: 53297
1425.87/1430.16 c #Conflicts: 473000 | #Constraints: 54297
1425.87/1430.16 c #Conflicts: 474000 | #Constraints: 55297
1425.87/1430.16 c #Conflicts: 475000 | #Constraints: 56297
1425.87/1430.16 c #Conflicts: 476000 | #Constraints: 57297
1425.87/1430.16 c #Conflicts: 477000 | #Constraints: 58297
1425.87/1430.16 c #Conflicts: 478000 | #Constraints: 59297
1425.87/1430.16 c #Conflicts: 479000 | #Constraints: 60297
1425.87/1430.16 c #Conflicts: 480000 | #Constraints: 61297
1425.87/1430.16 c #Conflicts: 481000 | #Constraints: 62297
1425.87/1430.16 c INPROCESSING
1425.87/1430.16 c GARBAGE COLLECT
1425.87/1430.16 c #Conflicts: 482000 | #Constraints: 48081
1425.87/1430.16 c #Conflicts: 483000 | #Constraints: 49081
1425.87/1430.16 c #Conflicts: 484000 | #Constraints: 50081
1425.87/1430.16 c #Conflicts: 485000 | #Constraints: 51081
1425.87/1430.16 c #Conflicts: 486000 | #Constraints: 52081
1425.87/1430.16 c #Conflicts: 487000 | #Constraints: 53081
1425.87/1430.16 c #Conflicts: 488000 | #Constraints: 54081
1425.87/1430.16 c #Conflicts: 489000 | #Constraints: 55081
1425.87/1430.16 c #Conflicts: 490000 | #Constraints: 56081
1425.87/1430.16 c #Conflicts: 491000 | #Constraints: 57081
1425.87/1430.16 c #Conflicts: 492000 | #Constraints: 58081
1425.87/1430.16 c #Conflicts: 493000 | #Constraints: 59081
1425.87/1430.16 c #Conflicts: 494000 | #Constraints: 60081
1425.87/1430.16 c #Conflicts: 495000 | #Constraints: 61081
1425.87/1430.16 c #Conflicts: 496000 | #Constraints: 62081
1425.87/1430.16 c #Conflicts: 497000 | #Constraints: 63081
1425.87/1430.16 c INPROCESSING
1425.87/1430.16 c #Conflicts: 498000 | #Constraints: 48677
1425.87/1430.16 c #Conflicts: 499000 | #Constraints: 49677
1425.87/1430.16 c #Conflicts: 500000 | #Constraints: 50677
1425.87/1430.16 c #Conflicts: 501000 | #Constraints: 51677
1425.87/1430.16 c #Conflicts: 502000 | #Constraints: 52677
1425.87/1430.16 c #Conflicts: 503000 | #Constraints: 53677
1425.87/1430.16 c #Conflicts: 504000 | #Constraints: 54677
1425.87/1430.16 c #Conflicts: 505000 | #Constraints: 55677
1425.87/1430.16 c #Conflicts: 506000 | #Constraints: 56677
1425.87/1430.16 c #Conflicts: 507000 | #Constraints: 57677
1425.87/1430.16 c #Conflicts: 508000 | #Constraints: 58677
1425.87/1430.16 c #Conflicts: 509000 | #Constraints: 59677
1425.87/1430.16 c #Conflicts: 510000 | #Constraints: 60677
1425.87/1430.16 c #Conflicts: 511000 | #Constraints: 61677
1425.87/1430.16 c #Conflicts: 512000 | #Constraints: 62677
1425.87/1430.16 c #Conflicts: 513000 | #Constraints: 63677
1425.87/1430.16 c INPROCESSING
1425.87/1430.16 c GARBAGE COLLECT
1425.87/1430.16 c #Conflicts: 514000 | #Constraints: 49084
1425.87/1430.16 c #Conflicts: 515000 | #Constraints: 50084
1425.87/1430.16 c #Conflicts: 516000 | #Constraints: 51084
1425.87/1430.16 c #Conflicts: 517000 | #Constraints: 52084
1425.87/1430.16 c #Conflicts: 518000 | #Constraints: 53084
1425.87/1430.16 c #Conflicts: 519000 | #Constraints: 54084
1425.87/1430.16 c #Conflicts: 520000 | #Constraints: 55084
1425.87/1430.16 c #Conflicts: 521000 | #Constraints: 56084
1425.87/1430.16 c #Conflicts: 522000 | #Constraints: 57084
1425.87/1430.16 c #Conflicts: 523000 | #Constraints: 58084
1425.87/1430.16 c #Conflicts: 524000 | #Constraints: 59084
1425.87/1430.16 c #Conflicts: 525000 | #Constraints: 60084
1425.87/1430.16 c #Conflicts: 526000 | #Constraints: 61084
1425.87/1430.16 c #Conflicts: 527000 | #Constraints: 62084
1425.87/1430.16 c #Conflicts: 528000 | #Constraints: 63084
1425.87/1430.16 c #Conflicts: 529000 | #Constraints: 64084
1425.87/1430.16 c INPROCESSING
1425.87/1430.16 c #Conflicts: 530000 | #Constraints: 49276
1425.87/1430.16 c #Conflicts: 531000 | #Constraints: 50276
1425.87/1430.16 c #Conflicts: 532000 | #Constraints: 51276
1678.51/1683.58 c #Conflicts: 533000 | #Constraints: 52276
1678.51/1683.58 c #Conflicts: 534000 | #Constraints: 53276
1678.51/1683.58 c #Conflicts: 535000 | #Constraints: 54276
1678.51/1683.58 c #Conflicts: 536000 | #Constraints: 55276
1678.51/1683.58 c #Conflicts: 537000 | #Constraints: 56276
1678.51/1683.58 c #Conflicts: 538000 | #Constraints: 57276
1678.51/1683.58 c #Conflicts: 539000 | #Constraints: 58276
1678.51/1683.58 c #Conflicts: 540000 | #Constraints: 59276
1678.51/1683.58 c #Conflicts: 541000 | #Constraints: 60276
1678.51/1683.58 c #Conflicts: 542000 | #Constraints: 61276
1678.51/1683.58 c #Conflicts: 543000 | #Constraints: 62276
1678.51/1683.58 c #Conflicts: 544000 | #Constraints: 63276
1678.51/1683.58 c #Conflicts: 545000 | #Constraints: 64276
1678.51/1683.58 c INPROCESSING
1678.51/1683.58 c GARBAGE COLLECT
1678.51/1683.58 c #Conflicts: 546000 | #Constraints: 49289
1678.51/1683.58 c #Conflicts: 547000 | #Constraints: 50289
1678.51/1683.58 c #Conflicts: 548000 | #Constraints: 51289
1678.51/1683.58 c #Conflicts: 549000 | #Constraints: 52289
1678.51/1683.58 c #Conflicts: 550000 | #Constraints: 53289
1678.51/1683.58 c #Conflicts: 551000 | #Constraints: 54289
1678.51/1683.58 c #Conflicts: 552000 | #Constraints: 55289
1678.51/1683.58 c #Conflicts: 553000 | #Constraints: 56289
1678.51/1683.58 c #Conflicts: 554000 | #Constraints: 57289
1678.51/1683.58 c #Conflicts: 555000 | #Constraints: 58289
1678.51/1683.58 c #Conflicts: 556000 | #Constraints: 59289
1678.51/1683.58 c #Conflicts: 557000 | #Constraints: 60289
1678.51/1683.58 c #Conflicts: 558000 | #Constraints: 61289
1678.51/1683.58 c #Conflicts: 559000 | #Constraints: 62289
1678.51/1683.58 c #Conflicts: 560000 | #Constraints: 63289
1678.51/1683.58 c #Conflicts: 561000 | #Constraints: 64289
1678.51/1683.58 c INPROCESSING
1678.51/1683.58 c GARBAGE COLLECT
1678.51/1683.58 c #Conflicts: 562000 | #Constraints: 49097
1678.51/1683.58 c #Conflicts: 563000 | #Constraints: 50097
1678.51/1683.58 c #Conflicts: 564000 | #Constraints: 51097
1678.51/1683.58 c #Conflicts: 565000 | #Constraints: 52097
1678.51/1683.58 c #Conflicts: 566000 | #Constraints: 53097
1678.51/1683.58 c #Conflicts: 567000 | #Constraints: 54097
1678.51/1683.58 c #Conflicts: 568000 | #Constraints: 55097
1678.51/1683.58 c #Conflicts: 569000 | #Constraints: 56097
1678.51/1683.58 c #Conflicts: 570000 | #Constraints: 57097
1678.51/1683.58 c #Conflicts: 571000 | #Constraints: 58097
1678.51/1683.58 c #Conflicts: 572000 | #Constraints: 59097
1678.51/1683.58 c #Conflicts: 573000 | #Constraints: 60097
1678.51/1683.58 c #Conflicts: 574000 | #Constraints: 61097
1678.51/1683.58 c #Conflicts: 575000 | #Constraints: 62097
1678.51/1683.58 c #Conflicts: 576000 | #Constraints: 63097
1678.51/1683.58 c #Conflicts: 577000 | #Constraints: 64097
1678.51/1683.58 c #Conflicts: 578000 | #Constraints: 65097
1678.51/1683.58 c INPROCESSING
1678.51/1683.58 c GARBAGE COLLECT
1678.51/1683.58 c #Conflicts: 579000 | #Constraints: 49696
1678.51/1683.58 c #Conflicts: 580000 | #Constraints: 50696
1678.51/1683.58 c #Conflicts: 581000 | #Constraints: 51696
1678.51/1683.58 c #Conflicts: 582000 | #Constraints: 52696
1678.51/1683.58 c #Conflicts: 583000 | #Constraints: 53696
1678.51/1683.58 c #Conflicts: 584000 | #Constraints: 54696
1678.51/1683.58 c #Conflicts: 585000 | #Constraints: 55696
1678.51/1683.58 c #Conflicts: 586000 | #Constraints: 56696
1678.51/1683.58 c #Conflicts: 587000 | #Constraints: 57696
1678.51/1683.58 c #Conflicts: 588000 | #Constraints: 58696
1678.51/1683.58 c #Conflicts: 589000 | #Constraints: 59696
1678.51/1683.58 c #Conflicts: 590000 | #Constraints: 60696
1678.51/1683.58 c #Conflicts: 591000 | #Constraints: 61696
1678.51/1683.58 c #Conflicts: 592000 | #Constraints: 62696
1678.51/1683.58 c #Conflicts: 593000 | #Constraints: 63696
1678.51/1683.58 c #Conflicts: 594000 | #Constraints: 64696
1678.51/1683.58 c #Conflicts: 595000 | #Constraints: 65696
1678.51/1683.58 c INPROCESSING
1678.51/1683.58 c GARBAGE COLLECT
1678.51/1683.58 c #Conflicts: 596000 | #Constraints: 50102
1678.51/1683.58 c #Conflicts: 597000 | #Constraints: 51102
1678.51/1683.58 c #Conflicts: 598000 | #Constraints: 52102
1678.51/1683.58 c #Conflicts: 599000 | #Constraints: 53102
1678.51/1683.58 c #Conflicts: 600000 | #Constraints: 54102
1678.51/1683.58 c #Conflicts: 601000 | #Constraints: 55102
1678.51/1683.58 c #Conflicts: 602000 | #Constraints: 56102
1678.51/1683.58 c #Conflicts: 603000 | #Constraints: 57102
1678.51/1683.58 c #Conflicts: 604000 | #Constraints: 58102
1678.51/1683.58 c #Conflicts: 605000 | #Constraints: 59102
1678.51/1683.58 c #Conflicts: 606000 | #Constraints: 60102
1678.51/1683.58 c #Conflicts: 607000 | #Constraints: 61102
1678.51/1683.58 c #Conflicts: 608000 | #Constraints: 62102
1925.47/1931.24 c #Conflicts: 609000 | #Constraints: 63102
1925.47/1931.24 c #Conflicts: 610000 | #Constraints: 64102
1925.47/1931.24 c #Conflicts: 611000 | #Constraints: 65102
1925.47/1931.24 c #Conflicts: 612000 | #Constraints: 66102
1925.47/1931.24 c INPROCESSING
1925.47/1931.24 c GARBAGE COLLECT
1925.47/1931.24 c #Conflicts: 613000 | #Constraints: 50286
1925.47/1931.24 c #Conflicts: 614000 | #Constraints: 51286
1925.47/1931.24 c #Conflicts: 615000 | #Constraints: 52286
1925.47/1931.24 c #Conflicts: 616000 | #Constraints: 53286
1925.47/1931.24 c #Conflicts: 617000 | #Constraints: 54286
1925.47/1931.24 c #Conflicts: 618000 | #Constraints: 55286
1925.47/1931.24 c #Conflicts: 619000 | #Constraints: 56286
1925.47/1931.24 c #Conflicts: 620000 | #Constraints: 57286
1925.47/1931.24 c #Conflicts: 621000 | #Constraints: 58286
1925.47/1931.24 c #Conflicts: 622000 | #Constraints: 59286
1925.47/1931.24 c #Conflicts: 623000 | #Constraints: 60286
1925.47/1931.24 c #Conflicts: 624000 | #Constraints: 61286
1925.47/1931.24 c #Conflicts: 625000 | #Constraints: 62286
1925.47/1931.24 c #Conflicts: 626000 | #Constraints: 63286
1925.47/1931.24 c #Conflicts: 627000 | #Constraints: 64286
1925.47/1931.24 c #Conflicts: 628000 | #Constraints: 65286
1925.47/1931.24 c #Conflicts: 629000 | #Constraints: 66286
1925.47/1931.24 c INPROCESSING
1925.47/1931.24 c GARBAGE COLLECT
1925.47/1931.24 c #Conflicts: 630000 | #Constraints: 50275
1925.47/1931.24 c #Conflicts: 631000 | #Constraints: 51275
1925.47/1931.24 c #Conflicts: 632000 | #Constraints: 52275
1925.47/1931.24 c #Conflicts: 633000 | #Constraints: 53275
1925.47/1931.24 c #Conflicts: 634000 | #Constraints: 54275
1925.47/1931.24 c #Conflicts: 635000 | #Constraints: 55275
1925.47/1931.24 c #Conflicts: 636000 | #Constraints: 56275
1925.47/1931.24 c #Conflicts: 637000 | #Constraints: 57275
1925.47/1931.24 c #Conflicts: 638000 | #Constraints: 58275
1925.47/1931.24 c #Conflicts: 639000 | #Constraints: 59275
1925.47/1931.24 c #Conflicts: 640000 | #Constraints: 60275
1925.47/1931.24 c #Conflicts: 641000 | #Constraints: 61275
1925.47/1931.24 c #Conflicts: 642000 | #Constraints: 62275
1925.47/1931.24 c #Conflicts: 643000 | #Constraints: 63275
1925.47/1931.24 c #Conflicts: 644000 | #Constraints: 64275
1925.47/1931.24 c #Conflicts: 645000 | #Constraints: 65275
1925.47/1931.24 c #Conflicts: 646000 | #Constraints: 66275
1925.47/1931.24 c INPROCESSING
1925.47/1931.24 c #Conflicts: 647000 | #Constraints: 50061
1925.47/1931.24 c #Conflicts: 648000 | #Constraints: 51061
1925.47/1931.24 c #Conflicts: 649000 | #Constraints: 52061
1925.47/1931.24 c #Conflicts: 650000 | #Constraints: 53061
1925.47/1931.24 c #Conflicts: 651000 | #Constraints: 54061
1925.47/1931.24 c #Conflicts: 652000 | #Constraints: 55061
1925.47/1931.24 c #Conflicts: 653000 | #Constraints: 56061
1925.47/1931.24 c #Conflicts: 654000 | #Constraints: 57061
1925.47/1931.24 c #Conflicts: 655000 | #Constraints: 58061
1925.47/1931.24 c #Conflicts: 656000 | #Constraints: 59061
1925.47/1931.24 c #Conflicts: 657000 | #Constraints: 60061
1925.47/1931.24 c #Conflicts: 658000 | #Constraints: 61061
1925.47/1931.24 c #Conflicts: 659000 | #Constraints: 62061
1925.47/1931.24 c #Conflicts: 660000 | #Constraints: 63061
1925.47/1931.24 c #Conflicts: 661000 | #Constraints: 64061
1925.47/1931.24 c #Conflicts: 662000 | #Constraints: 65061
1925.47/1931.24 c #Conflicts: 663000 | #Constraints: 66061
1925.47/1931.24 c #Conflicts: 664000 | #Constraints: 67061
1925.47/1931.24 c INPROCESSING
1925.47/1931.24 c GARBAGE COLLECT
1925.47/1931.24 c #Conflicts: 665000 | #Constraints: 50664
1925.47/1931.24 c #Conflicts: 666000 | #Constraints: 51664
1925.47/1931.24 c #Conflicts: 667000 | #Constraints: 52664
1925.47/1931.24 c #Conflicts: 668000 | #Constraints: 53664
1925.47/1931.24 c #Conflicts: 669000 | #Constraints: 54664
1925.47/1931.24 c #Conflicts: 670000 | #Constraints: 55664
1925.47/1931.24 c #Conflicts: 671000 | #Constraints: 56664
1925.47/1931.24 c #Conflicts: 672000 | #Constraints: 57664
1925.47/1931.24 c #Conflicts: 673000 | #Constraints: 58664
1925.47/1931.24 c #Conflicts: 674000 | #Constraints: 59664
1925.47/1931.24 c #Conflicts: 675000 | #Constraints: 60664
1925.47/1931.24 c #Conflicts: 676000 | #Constraints: 61664
1925.47/1931.24 c #Conflicts: 677000 | #Constraints: 62664
1925.47/1931.24 c #Conflicts: 678000 | #Constraints: 63664
1925.47/1931.24 c #Conflicts: 679000 | #Constraints: 64664
1925.47/1931.24 c #Conflicts: 680000 | #Constraints: 65664
1925.47/1931.24 c #Conflicts: 681000 | #Constraints: 66664
1925.47/1931.24 c #Conflicts: 682000 | #Constraints: 67664
1925.47/1931.24 c INPROCESSING
1925.47/1931.24 c GARBAGE COLLECT
1925.47/1931.24 c #Conflicts: 683000 | #Constraints: 51082
1925.47/1931.24 c #Conflicts: 684000 | #Constraints: 52082
2206.22/2212.87 c #Conflicts: 685000 | #Constraints: 53082
2206.22/2212.87 c #Conflicts: 686000 | #Constraints: 54082
2206.22/2212.87 c #Conflicts: 687000 | #Constraints: 55082
2206.22/2212.87 c #Conflicts: 688000 | #Constraints: 56082
2206.22/2212.87 c #Conflicts: 689000 | #Constraints: 57082
2206.22/2212.87 c #Conflicts: 690000 | #Constraints: 58082
2206.22/2212.87 c #Conflicts: 691000 | #Constraints: 59082
2206.22/2212.87 c #Conflicts: 692000 | #Constraints: 60082
2206.22/2212.87 c #Conflicts: 693000 | #Constraints: 61082
2206.22/2212.87 c #Conflicts: 694000 | #Constraints: 62082
2206.22/2212.87 c #Conflicts: 695000 | #Constraints: 63082
2206.22/2212.87 c #Conflicts: 696000 | #Constraints: 64082
2206.22/2212.87 c #Conflicts: 697000 | #Constraints: 65082
2206.22/2212.87 c #Conflicts: 698000 | #Constraints: 66082
2206.22/2212.87 c #Conflicts: 699000 | #Constraints: 67082
2206.22/2212.87 c #Conflicts: 700000 | #Constraints: 68082
2206.22/2212.87 c INPROCESSING
2206.22/2212.87 c GARBAGE COLLECT
2206.22/2212.87 c #Conflicts: 701000 | #Constraints: 51281
2206.22/2212.87 c #Conflicts: 702000 | #Constraints: 52281
2206.22/2212.87 c #Conflicts: 703000 | #Constraints: 53281
2206.22/2212.87 c #Conflicts: 704000 | #Constraints: 54281
2206.22/2212.87 c #Conflicts: 705000 | #Constraints: 55281
2206.22/2212.87 c #Conflicts: 706000 | #Constraints: 56281
2206.22/2212.87 c #Conflicts: 707000 | #Constraints: 57281
2206.22/2212.87 c #Conflicts: 708000 | #Constraints: 58281
2206.22/2212.87 c #Conflicts: 709000 | #Constraints: 59281
2206.22/2212.87 c #Conflicts: 710000 | #Constraints: 60281
2206.22/2212.87 c #Conflicts: 711000 | #Constraints: 61281
2206.22/2212.87 c #Conflicts: 712000 | #Constraints: 62281
2206.22/2212.87 c #Conflicts: 713000 | #Constraints: 63281
2206.22/2212.87 c #Conflicts: 714000 | #Constraints: 64281
2206.22/2212.87 c #Conflicts: 715000 | #Constraints: 65281
2206.22/2212.87 c #Conflicts: 716000 | #Constraints: 66281
2206.22/2212.87 c #Conflicts: 717000 | #Constraints: 67281
2206.22/2212.87 c #Conflicts: 718000 | #Constraints: 68281
2206.22/2212.87 c INPROCESSING
2206.22/2212.87 c GARBAGE COLLECT
2206.22/2212.87 c #Conflicts: 719000 | #Constraints: 51258
2206.22/2212.87 c #Conflicts: 720000 | #Constraints: 52258
2206.22/2212.87 c #Conflicts: 721000 | #Constraints: 53258
2206.22/2212.87 c #Conflicts: 722000 | #Constraints: 54258
2206.22/2212.87 c #Conflicts: 723000 | #Constraints: 55258
2206.22/2212.87 c #Conflicts: 724000 | #Constraints: 56258
2206.22/2212.87 c #Conflicts: 725000 | #Constraints: 57258
2206.22/2212.87 c #Conflicts: 726000 | #Constraints: 58258
2206.22/2212.87 c #Conflicts: 727000 | #Constraints: 59258
2206.22/2212.87 c #Conflicts: 728000 | #Constraints: 60258
2206.22/2212.87 c #Conflicts: 729000 | #Constraints: 61258
2206.22/2212.87 c #Conflicts: 730000 | #Constraints: 62258
2206.22/2212.87 c #Conflicts: 731000 | #Constraints: 63258
2206.22/2212.87 c #Conflicts: 732000 | #Constraints: 64258
2206.22/2212.87 c #Conflicts: 733000 | #Constraints: 65258
2206.22/2212.87 c #Conflicts: 734000 | #Constraints: 66258
2206.22/2212.87 c #Conflicts: 735000 | #Constraints: 67258
2206.22/2212.87 c #Conflicts: 736000 | #Constraints: 68258
2206.22/2212.87 c INPROCESSING
2206.22/2212.87 c GARBAGE COLLECT
2206.22/2212.87 c #Conflicts: 737000 | #Constraints: 51061
2206.22/2212.87 c #Conflicts: 738000 | #Constraints: 52061
2206.22/2212.87 c #Conflicts: 739000 | #Constraints: 53061
2206.22/2212.87 c #Conflicts: 740000 | #Constraints: 54061
2206.22/2212.87 c #Conflicts: 741000 | #Constraints: 55061
2206.22/2212.87 c #Conflicts: 742000 | #Constraints: 56061
2206.22/2212.87 c #Conflicts: 743000 | #Constraints: 57061
2206.22/2212.87 c #Conflicts: 744000 | #Constraints: 58061
2206.22/2212.87 c #Conflicts: 745000 | #Constraints: 59061
2206.22/2212.87 c #Conflicts: 746000 | #Constraints: 60061
2206.22/2212.87 c #Conflicts: 747000 | #Constraints: 61061
2206.22/2212.87 c #Conflicts: 748000 | #Constraints: 62061
2206.22/2212.87 c #Conflicts: 749000 | #Constraints: 63061
2206.22/2212.87 c #Conflicts: 750000 | #Constraints: 64061
2206.22/2212.87 c #Conflicts: 751000 | #Constraints: 65061
2206.22/2212.87 c #Conflicts: 752000 | #Constraints: 66061
2206.22/2212.87 c #Conflicts: 753000 | #Constraints: 67061
2206.22/2212.87 c #Conflicts: 754000 | #Constraints: 68061
2206.22/2212.87 c #Conflicts: 755000 | #Constraints: 69061
2206.22/2212.87 c INPROCESSING
2206.22/2212.87 c GARBAGE COLLECT
2206.22/2212.87 c #Conflicts: 756000 | #Constraints: 51685
2206.22/2212.87 c #Conflicts: 757000 | #Constraints: 52685
2206.22/2212.87 c #Conflicts: 758000 | #Constraints: 53685
2206.22/2212.87 c #Conflicts: 759000 | #Constraints: 54685
2206.22/2212.87 c #Conflicts: 760000 | #Constraints: 55685
2505.64/2513.15 c #Conflicts: 761000 | #Constraints: 56685
2505.64/2513.15 c #Conflicts: 762000 | #Constraints: 57685
2505.64/2513.15 c #Conflicts: 763000 | #Constraints: 58685
2505.64/2513.15 c #Conflicts: 764000 | #Constraints: 59685
2505.64/2513.15 c #Conflicts: 765000 | #Constraints: 60685
2505.64/2513.15 c #Conflicts: 766000 | #Constraints: 61685
2505.64/2513.15 c #Conflicts: 767000 | #Constraints: 62685
2505.64/2513.15 c #Conflicts: 768000 | #Constraints: 63685
2505.64/2513.15 c #Conflicts: 769000 | #Constraints: 64685
2505.64/2513.15 c #Conflicts: 770000 | #Constraints: 65685
2505.64/2513.15 c #Conflicts: 771000 | #Constraints: 66685
2505.64/2513.15 c #Conflicts: 772000 | #Constraints: 67685
2505.64/2513.15 c #Conflicts: 773000 | #Constraints: 68685
2505.64/2513.15 c #Conflicts: 774000 | #Constraints: 69685
2505.64/2513.15 c INPROCESSING
2505.64/2513.15 c GARBAGE COLLECT
2505.64/2513.15 c #Conflicts: 775000 | #Constraints: 52082
2505.64/2513.15 c #Conflicts: 776000 | #Constraints: 53082
2505.64/2513.15 c #Conflicts: 777000 | #Constraints: 54082
2505.64/2513.15 c #Conflicts: 778000 | #Constraints: 55082
2505.64/2513.15 c #Conflicts: 779000 | #Constraints: 56082
2505.64/2513.15 c #Conflicts: 780000 | #Constraints: 57082
2505.64/2513.15 c #Conflicts: 781000 | #Constraints: 58082
2505.64/2513.15 c #Conflicts: 782000 | #Constraints: 59082
2505.64/2513.15 c #Conflicts: 783000 | #Constraints: 60082
2505.64/2513.15 c #Conflicts: 784000 | #Constraints: 61082
2505.64/2513.15 c #Conflicts: 785000 | #Constraints: 62082
2505.64/2513.15 c #Conflicts: 786000 | #Constraints: 63082
2505.64/2513.15 c #Conflicts: 787000 | #Constraints: 64082
2505.64/2513.15 c #Conflicts: 788000 | #Constraints: 65082
2505.64/2513.15 c #Conflicts: 789000 | #Constraints: 66082
2505.64/2513.15 c #Conflicts: 790000 | #Constraints: 67082
2505.64/2513.15 c #Conflicts: 791000 | #Constraints: 68082
2505.64/2513.15 c #Conflicts: 792000 | #Constraints: 69082
2505.64/2513.15 c #Conflicts: 793000 | #Constraints: 70082
2505.64/2513.15 c INPROCESSING
2505.64/2513.15 c GARBAGE COLLECT
2505.64/2513.15 c #Conflicts: 794000 | #Constraints: 52283
2505.64/2513.15 c #Conflicts: 795000 | #Constraints: 53283
2505.64/2513.15 c #Conflicts: 796000 | #Constraints: 54283
2505.64/2513.15 c #Conflicts: 797000 | #Constraints: 55283
2505.64/2513.15 c #Conflicts: 798000 | #Constraints: 56283
2505.64/2513.15 c #Conflicts: 799000 | #Constraints: 57283
2505.64/2513.15 c #Conflicts: 800000 | #Constraints: 58283
2505.64/2513.15 c #Conflicts: 801000 | #Constraints: 59283
2505.64/2513.15 c #Conflicts: 802000 | #Constraints: 60283
2505.64/2513.15 c #Conflicts: 803000 | #Constraints: 61283
2505.64/2513.15 c #Conflicts: 804000 | #Constraints: 62283
2505.64/2513.15 c #Conflicts: 805000 | #Constraints: 63283
2505.64/2513.15 c #Conflicts: 806000 | #Constraints: 64283
2505.64/2513.15 c #Conflicts: 807000 | #Constraints: 65283
2505.64/2513.15 c #Conflicts: 808000 | #Constraints: 66283
2505.64/2513.15 c #Conflicts: 809000 | #Constraints: 67283
2505.64/2513.15 c #Conflicts: 810000 | #Constraints: 68283
2505.64/2513.15 c #Conflicts: 811000 | #Constraints: 69283
2505.64/2513.15 c #Conflicts: 812000 | #Constraints: 70283
2505.64/2513.15 c INPROCESSING
2505.64/2513.15 c #Conflicts: 813000 | #Constraints: 52277
2505.64/2513.15 c #Conflicts: 814000 | #Constraints: 53277
2505.64/2513.15 c #Conflicts: 815000 | #Constraints: 54277
2505.64/2513.15 c #Conflicts: 816000 | #Constraints: 55277
2505.64/2513.15 c #Conflicts: 817000 | #Constraints: 56277
2505.64/2513.15 c #Conflicts: 818000 | #Constraints: 57277
2505.64/2513.15 c #Conflicts: 819000 | #Constraints: 58277
2505.64/2513.15 c #Conflicts: 820000 | #Constraints: 59277
2505.64/2513.15 c #Conflicts: 821000 | #Constraints: 60277
2505.64/2513.15 c #Conflicts: 822000 | #Constraints: 61277
2505.64/2513.15 c #Conflicts: 823000 | #Constraints: 62277
2505.64/2513.15 c #Conflicts: 824000 | #Constraints: 63277
2505.64/2513.15 c #Conflicts: 825000 | #Constraints: 64277
2505.64/2513.15 c #Conflicts: 826000 | #Constraints: 65277
2505.64/2513.15 c #Conflicts: 827000 | #Constraints: 66277
2505.64/2513.15 c #Conflicts: 828000 | #Constraints: 67277
2505.64/2513.15 c #Conflicts: 829000 | #Constraints: 68277
2505.64/2513.15 c #Conflicts: 830000 | #Constraints: 69277
2505.64/2513.15 c #Conflicts: 831000 | #Constraints: 70277
2505.64/2513.15 c INPROCESSING
2505.64/2513.15 c GARBAGE COLLECT
2505.64/2513.15 c #Conflicts: 832000 | #Constraints: 52083
2505.64/2513.15 c #Conflicts: 833000 | #Constraints: 53083
2505.64/2513.15 c #Conflicts: 834000 | #Constraints: 54083
2505.64/2513.15 c #Conflicts: 835000 | #Constraints: 55083
2505.64/2513.15 c #Conflicts: 836000 | #Constraints: 56083
2505.64/2513.15 c #Conflicts: 837000 | #Constraints: 57083
2782.80/2791.15 c #Conflicts: 838000 | #Constraints: 58083
2782.80/2791.15 c #Conflicts: 839000 | #Constraints: 59083
2782.80/2791.15 c #Conflicts: 840000 | #Constraints: 60083
2782.80/2791.15 c #Conflicts: 841000 | #Constraints: 61083
2782.80/2791.15 c #Conflicts: 842000 | #Constraints: 62083
2782.80/2791.15 c #Conflicts: 843000 | #Constraints: 63083
2782.80/2791.15 c #Conflicts: 844000 | #Constraints: 64083
2782.80/2791.15 c #Conflicts: 845000 | #Constraints: 65083
2782.80/2791.15 c #Conflicts: 846000 | #Constraints: 66083
2782.80/2791.15 c #Conflicts: 847000 | #Constraints: 67083
2782.80/2791.15 c #Conflicts: 848000 | #Constraints: 68083
2782.80/2791.15 c #Conflicts: 849000 | #Constraints: 69083
2782.80/2791.15 c #Conflicts: 850000 | #Constraints: 70083
2782.80/2791.15 c #Conflicts: 851000 | #Constraints: 71083
2782.80/2791.15 c INPROCESSING
2782.80/2791.15 c GARBAGE COLLECT
2782.80/2791.15 c #Conflicts: 852000 | #Constraints: 52703
2782.80/2791.15 c #Conflicts: 853000 | #Constraints: 53703
2782.80/2791.15 c #Conflicts: 854000 | #Constraints: 54703
2782.80/2791.15 c #Conflicts: 855000 | #Constraints: 55703
2782.80/2791.15 c #Conflicts: 856000 | #Constraints: 56703
2782.80/2791.15 c #Conflicts: 857000 | #Constraints: 57703
2782.80/2791.15 c #Conflicts: 858000 | #Constraints: 58703
2782.80/2791.15 c #Conflicts: 859000 | #Constraints: 59703
2782.80/2791.15 c #Conflicts: 860000 | #Constraints: 60703
2782.80/2791.15 c #Conflicts: 861000 | #Constraints: 61703
2782.80/2791.15 c #Conflicts: 862000 | #Constraints: 62703
2782.80/2791.15 c #Conflicts: 863000 | #Constraints: 63703
2782.80/2791.15 c #Conflicts: 864000 | #Constraints: 64703
2782.80/2791.15 c #Conflicts: 865000 | #Constraints: 65703
2782.80/2791.15 c #Conflicts: 866000 | #Constraints: 66703
2782.80/2791.15 c #Conflicts: 867000 | #Constraints: 67703
2782.80/2791.15 c #Conflicts: 868000 | #Constraints: 68703
2782.80/2791.15 c #Conflicts: 869000 | #Constraints: 69703
2782.80/2791.15 c #Conflicts: 870000 | #Constraints: 70703
2782.80/2791.15 c #Conflicts: 871000 | #Constraints: 71703
2782.80/2791.15 c INPROCESSING
2782.80/2791.15 c GARBAGE COLLECT
2782.80/2791.15 c #Conflicts: 872000 | #Constraints: 53103
2782.80/2791.15 c #Conflicts: 873000 | #Constraints: 54103
2782.80/2791.15 c #Conflicts: 874000 | #Constraints: 55103
2782.80/2791.15 c #Conflicts: 875000 | #Constraints: 56103
2782.80/2791.15 c #Conflicts: 876000 | #Constraints: 57103
2782.80/2791.15 c #Conflicts: 877000 | #Constraints: 58103
2782.80/2791.15 c #Conflicts: 878000 | #Constraints: 59103
2782.80/2791.15 c #Conflicts: 879000 | #Constraints: 60103
2782.80/2791.15 c #Conflicts: 880000 | #Constraints: 61103
2782.80/2791.15 c #Conflicts: 881000 | #Constraints: 62103
2782.80/2791.15 c #Conflicts: 882000 | #Constraints: 63103
2782.80/2791.15 c #Conflicts: 883000 | #Constraints: 64103
2782.80/2791.15 c #Conflicts: 884000 | #Constraints: 65103
2782.80/2791.15 c #Conflicts: 885000 | #Constraints: 66103
2782.80/2791.15 c #Conflicts: 886000 | #Constraints: 67103
2782.80/2791.15 c #Conflicts: 887000 | #Constraints: 68103
2782.80/2791.15 c #Conflicts: 888000 | #Constraints: 69103
2782.80/2791.15 c #Conflicts: 889000 | #Constraints: 70103
2782.80/2791.15 c #Conflicts: 890000 | #Constraints: 71103
2782.80/2791.15 c #Conflicts: 891000 | #Constraints: 72103
2782.80/2791.15 c INPROCESSING
2782.80/2791.15 c GARBAGE COLLECT
2782.80/2791.15 c #Conflicts: 892000 | #Constraints: 53323
2782.80/2791.15 c #Conflicts: 893000 | #Constraints: 54323
2782.80/2791.15 c #Conflicts: 894000 | #Constraints: 55323
2782.80/2791.15 c #Conflicts: 895000 | #Constraints: 56323
2782.80/2791.15 c #Conflicts: 896000 | #Constraints: 57323
2782.80/2791.15 c #Conflicts: 897000 | #Constraints: 58323
2782.80/2791.15 c #Conflicts: 898000 | #Constraints: 59323
2782.80/2791.15 c #Conflicts: 899000 | #Constraints: 60323
2782.80/2791.15 c #Conflicts: 900000 | #Constraints: 61323
2782.80/2791.15 c #Conflicts: 901000 | #Constraints: 62323
2782.80/2791.15 c #Conflicts: 902000 | #Constraints: 63323
2782.80/2791.15 c #Conflicts: 903000 | #Constraints: 64323
2782.80/2791.15 c #Conflicts: 904000 | #Constraints: 65323
2782.80/2791.15 c #Conflicts: 905000 | #Constraints: 66323
2782.80/2791.15 c #Conflicts: 906000 | #Constraints: 67323
2782.80/2791.15 c #Conflicts: 907000 | #Constraints: 68323
2782.80/2791.15 c #Conflicts: 908000 | #Constraints: 69323
2782.80/2791.15 c #Conflicts: 909000 | #Constraints: 70323
2782.80/2791.15 c #Conflicts: 910000 | #Constraints: 71323
2782.80/2791.15 c #Conflicts: 911000 | #Constraints: 72323
2782.80/2791.15 c INPROCESSING
2782.80/2791.15 c GARBAGE COLLECT
2782.80/2791.15 c #Conflicts: 912000 | #Constraints: 53333
2782.80/2791.15 c #Conflicts: 913000 | #Constraints: 54333
3068.05/3077.20 c #Conflicts: 914000 | #Constraints: 55333
3068.05/3077.20 c #Conflicts: 915000 | #Constraints: 56333
3068.05/3077.20 c #Conflicts: 916000 | #Constraints: 57333
3068.05/3077.20 c #Conflicts: 917000 | #Constraints: 58333
3068.05/3077.20 c #Conflicts: 918000 | #Constraints: 59333
3068.05/3077.20 c #Conflicts: 919000 | #Constraints: 60333
3068.05/3077.20 c #Conflicts: 920000 | #Constraints: 61333
3068.05/3077.20 c #Conflicts: 921000 | #Constraints: 62333
3068.05/3077.20 c #Conflicts: 922000 | #Constraints: 63333
3068.05/3077.20 c #Conflicts: 923000 | #Constraints: 64333
3068.05/3077.20 c #Conflicts: 924000 | #Constraints: 65333
3068.05/3077.20 c #Conflicts: 925000 | #Constraints: 66333
3068.05/3077.20 c #Conflicts: 926000 | #Constraints: 67333
3068.05/3077.20 c #Conflicts: 927000 | #Constraints: 68333
3068.05/3077.20 c #Conflicts: 928000 | #Constraints: 69333
3068.05/3077.20 c #Conflicts: 929000 | #Constraints: 70333
3068.05/3077.20 c #Conflicts: 930000 | #Constraints: 71333
3068.05/3077.20 c #Conflicts: 931000 | #Constraints: 72333
3068.05/3077.20 c INPROCESSING
3068.05/3077.20 c GARBAGE COLLECT
3068.05/3077.20 c #Conflicts: 932000 | #Constraints: 53118
3068.05/3077.20 c #Conflicts: 933000 | #Constraints: 54118
3068.05/3077.20 c #Conflicts: 934000 | #Constraints: 55118
3068.05/3077.20 c #Conflicts: 935000 | #Constraints: 56118
3068.05/3077.20 c #Conflicts: 936000 | #Constraints: 57118
3068.05/3077.20 c #Conflicts: 937000 | #Constraints: 58118
3068.05/3077.20 c #Conflicts: 938000 | #Constraints: 59118
3068.05/3077.20 c #Conflicts: 939000 | #Constraints: 60118
3068.05/3077.20 c #Conflicts: 940000 | #Constraints: 61118
3068.05/3077.20 c #Conflicts: 941000 | #Constraints: 62118
3068.05/3077.20 c #Conflicts: 942000 | #Constraints: 63118
3068.05/3077.20 c #Conflicts: 943000 | #Constraints: 64118
3068.05/3077.20 c #Conflicts: 944000 | #Constraints: 65118
3068.05/3077.20 c #Conflicts: 945000 | #Constraints: 66118
3068.05/3077.20 c #Conflicts: 946000 | #Constraints: 67118
3068.05/3077.20 c #Conflicts: 947000 | #Constraints: 68118
3068.05/3077.20 c #Conflicts: 948000 | #Constraints: 69118
3068.05/3077.20 c #Conflicts: 949000 | #Constraints: 70118
3068.05/3077.20 c #Conflicts: 950000 | #Constraints: 71118
3068.05/3077.20 c #Conflicts: 951000 | #Constraints: 72118
3068.05/3077.20 c #Conflicts: 952000 | #Constraints: 73118
3068.05/3077.20 c INPROCESSING
3068.05/3077.20 c GARBAGE COLLECT
3068.05/3077.20 c #Conflicts: 953000 | #Constraints: 53720
3068.05/3077.20 c #Conflicts: 954000 | #Constraints: 54720
3068.05/3077.20 c #Conflicts: 955000 | #Constraints: 55720
3068.05/3077.20 c #Conflicts: 956000 | #Constraints: 56720
3068.05/3077.20 c #Conflicts: 957000 | #Constraints: 57720
3068.05/3077.20 c #Conflicts: 958000 | #Constraints: 58720
3068.05/3077.20 c #Conflicts: 959000 | #Constraints: 59720
3068.05/3077.20 c #Conflicts: 960000 | #Constraints: 60720
3068.05/3077.20 c #Conflicts: 961000 | #Constraints: 61720
3068.05/3077.20 c #Conflicts: 962000 | #Constraints: 62720
3068.05/3077.20 c #Conflicts: 963000 | #Constraints: 63720
3068.05/3077.20 c #Conflicts: 964000 | #Constraints: 64720
3068.05/3077.20 c #Conflicts: 965000 | #Constraints: 65720
3068.05/3077.20 c #Conflicts: 966000 | #Constraints: 66720
3068.05/3077.20 c #Conflicts: 967000 | #Constraints: 67720
3068.05/3077.20 c #Conflicts: 968000 | #Constraints: 68720
3068.05/3077.20 c #Conflicts: 969000 | #Constraints: 69720
3068.05/3077.20 c #Conflicts: 970000 | #Constraints: 70720
3068.05/3077.20 c #Conflicts: 971000 | #Constraints: 71720
3068.05/3077.20 c #Conflicts: 972000 | #Constraints: 72720
3068.05/3077.20 c #Conflicts: 973000 | #Constraints: 73720
3068.05/3077.20 c INPROCESSING
3068.05/3077.20 c GARBAGE COLLECT
3068.05/3077.20 c #Conflicts: 974000 | #Constraints: 54109
3068.05/3077.20 c #Conflicts: 975000 | #Constraints: 55109
3068.05/3077.20 c #Conflicts: 976000 | #Constraints: 56109
3068.05/3077.20 c #Conflicts: 977000 | #Constraints: 57109
3068.05/3077.20 c #Conflicts: 978000 | #Constraints: 58109
3068.05/3077.20 c #Conflicts: 979000 | #Constraints: 59109
3068.05/3077.20 c #Conflicts: 980000 | #Constraints: 60109
3068.05/3077.20 c #Conflicts: 981000 | #Constraints: 61109
3068.05/3077.20 c #Conflicts: 982000 | #Constraints: 62109
3068.05/3077.20 c #Conflicts: 983000 | #Constraints: 63109
3068.05/3077.20 c #Conflicts: 984000 | #Constraints: 64109
3068.05/3077.20 c #Conflicts: 985000 | #Constraints: 65109
3068.05/3077.20 c #Conflicts: 986000 | #Constraints: 66109
3068.05/3077.20 c #Conflicts: 987000 | #Constraints: 67109
3068.05/3077.20 c #Conflicts: 988000 | #Constraints: 68109
3068.05/3077.20 c #Conflicts: 989000 | #Constraints: 69109
3068.05/3077.20 c #Conflicts: 990000 | #Constraints: 70109
3333.65/3343.65 c #Conflicts: 991000 | #Constraints: 71109
3333.65/3343.65 c #Conflicts: 992000 | #Constraints: 72109
3333.65/3343.65 c #Conflicts: 993000 | #Constraints: 73109
3333.65/3343.65 c #Conflicts: 994000 | #Constraints: 74109
3333.65/3343.65 c INPROCESSING
3333.65/3343.65 c #Conflicts: 995000 | #Constraints: 54321
3333.65/3343.65 c #Conflicts: 996000 | #Constraints: 55321
3333.65/3343.65 c #Conflicts: 997000 | #Constraints: 56321
3333.65/3343.65 c #Conflicts: 998000 | #Constraints: 57321
3333.65/3343.65 c #Conflicts: 999000 | #Constraints: 58321
3333.65/3343.65 c #Conflicts: 1000000 | #Constraints: 59321
3333.65/3343.65 c #Conflicts: 1001000 | #Constraints: 60321
3333.65/3343.65 c #Conflicts: 1002000 | #Constraints: 61321
3333.65/3343.65 c #Conflicts: 1003000 | #Constraints: 62321
3333.65/3343.65 c #Conflicts: 1004000 | #Constraints: 63321
3333.65/3343.65 c #Conflicts: 1005000 | #Constraints: 64321
3333.65/3343.65 c #Conflicts: 1006000 | #Constraints: 65321
3333.65/3343.65 c #Conflicts: 1007000 | #Constraints: 66321
3333.65/3343.65 c #Conflicts: 1008000 | #Constraints: 67321
3333.65/3343.65 c #Conflicts: 1009000 | #Constraints: 68321
3333.65/3343.65 c #Conflicts: 1010000 | #Constraints: 69321
3333.65/3343.65 c #Conflicts: 1011000 | #Constraints: 70321
3333.65/3343.65 c #Conflicts: 1012000 | #Constraints: 71321
3333.65/3343.65 c #Conflicts: 1013000 | #Constraints: 72321
3333.65/3343.65 c #Conflicts: 1014000 | #Constraints: 73321
3333.65/3343.65 c #Conflicts: 1015000 | #Constraints: 74321
3333.65/3343.65 c INPROCESSING
3333.65/3343.65 c GARBAGE COLLECT
3333.65/3343.65 c #Conflicts: 1016000 | #Constraints: 54319
3333.65/3343.65 c #Conflicts: 1017000 | #Constraints: 55319
3333.65/3343.65 c #Conflicts: 1018000 | #Constraints: 56319
3333.65/3343.65 c #Conflicts: 1019000 | #Constraints: 57319
3333.65/3343.65 c #Conflicts: 1020000 | #Constraints: 58319
3333.65/3343.65 c #Conflicts: 1021000 | #Constraints: 59319
3333.65/3343.65 c #Conflicts: 1022000 | #Constraints: 60319
3333.65/3343.65 c #Conflicts: 1023000 | #Constraints: 61319
3333.65/3343.65 c #Conflicts: 1024000 | #Constraints: 62319
3333.65/3343.65 c #Conflicts: 1025000 | #Constraints: 63319
3333.65/3343.65 c #Conflicts: 1026000 | #Constraints: 64319
3333.65/3343.65 c #Conflicts: 1027000 | #Constraints: 65319
3333.65/3343.65 c #Conflicts: 1028000 | #Constraints: 66319
3333.65/3343.65 c #Conflicts: 1029000 | #Constraints: 67319
3333.65/3343.65 c #Conflicts: 1030000 | #Constraints: 68319
3333.65/3343.65 c #Conflicts: 1031000 | #Constraints: 69319
3333.65/3343.65 c #Conflicts: 1032000 | #Constraints: 70319
3333.65/3343.65 c #Conflicts: 1033000 | #Constraints: 71319
3333.65/3343.65 c #Conflicts: 1034000 | #Constraints: 72319
3333.65/3343.65 c #Conflicts: 1035000 | #Constraints: 73319
3333.65/3343.65 c #Conflicts: 1036000 | #Constraints: 74319
3333.65/3343.65 c INPROCESSING
3333.65/3343.65 c GARBAGE COLLECT
3333.65/3343.65 c #Conflicts: 1037000 | #Constraints: 54124
3333.65/3343.65 c #Conflicts: 1038000 | #Constraints: 55124
3333.65/3343.65 c #Conflicts: 1039000 | #Constraints: 56124
3333.65/3343.65 c #Conflicts: 1040000 | #Constraints: 57124
3333.65/3343.65 c #Conflicts: 1041000 | #Constraints: 58124
3333.65/3343.65 c #Conflicts: 1042000 | #Constraints: 59124
3333.65/3343.65 c #Conflicts: 1043000 | #Constraints: 60124
3333.65/3343.65 c #Conflicts: 1044000 | #Constraints: 61124
3333.65/3343.65 c #Conflicts: 1045000 | #Constraints: 62124
3333.65/3343.65 c #Conflicts: 1046000 | #Constraints: 63124
3333.65/3343.65 c #Conflicts: 1047000 | #Constraints: 64124
3333.65/3343.65 c #Conflicts: 1048000 | #Constraints: 65124
3333.65/3343.65 c #Conflicts: 1049000 | #Constraints: 66124
3333.65/3343.65 c #Conflicts: 1050000 | #Constraints: 67124
3333.65/3343.65 c #Conflicts: 1051000 | #Constraints: 68124
3333.65/3343.65 c #Conflicts: 1052000 | #Constraints: 69124
3333.65/3343.65 c #Conflicts: 1053000 | #Constraints: 70124
3333.65/3343.65 c #Conflicts: 1054000 | #Constraints: 71124
3333.65/3343.65 c #Conflicts: 1055000 | #Constraints: 72124
3333.65/3343.65 c #Conflicts: 1056000 | #Constraints: 73124
3333.65/3343.65 c #Conflicts: 1057000 | #Constraints: 74124
3333.65/3343.65 c #Conflicts: 1058000 | #Constraints: 75124
3333.65/3343.65 c INPROCESSING
3333.65/3343.65 c GARBAGE COLLECT
3333.65/3343.65 c #Conflicts: 1059000 | #Constraints: 54716
3333.65/3343.65 c #Conflicts: 1060000 | #Constraints: 55716
3333.65/3343.65 c #Conflicts: 1061000 | #Constraints: 56716
3333.65/3343.65 c #Conflicts: 1062000 | #Constraints: 57716
3333.65/3343.65 c #Conflicts: 1063000 | #Constraints: 58716
3333.65/3343.65 c #Conflicts: 1064000 | #Constraints: 59716
3333.65/3343.65 c #Conflicts: 1065000 | #Constraints: 60716
3333.65/3343.65 c #Conflicts: 1066000 | #Constraints: 61716
3600.00/3610.80 c #Conflicts: 1067000 | #Constraints: 62716
3600.00/3610.80 c #Conflicts: 1068000 | #Constraints: 63716
3600.00/3610.80 c #Conflicts: 1069000 | #Constraints: 64716
3600.00/3610.80 c #Conflicts: 1070000 | #Constraints: 65716
3600.00/3610.80 c #Conflicts: 1071000 | #Constraints: 66716
3600.00/3610.80 c #Conflicts: 1072000 | #Constraints: 67716
3600.00/3610.80 c #Conflicts: 1073000 | #Constraints: 68716
3600.00/3610.80 c #Conflicts: 1074000 | #Constraints: 69716
3600.00/3610.80 c #Conflicts: 1075000 | #Constraints: 70716
3600.00/3610.80 c #Conflicts: 1076000 | #Constraints: 71716
3600.00/3610.80 c #Conflicts: 1077000 | #Constraints: 72716
3600.00/3610.80 c #Conflicts: 1078000 | #Constraints: 73716
3600.00/3610.80 c #Conflicts: 1079000 | #Constraints: 74716
3600.00/3610.80 c #Conflicts: 1080000 | #Constraints: 75716
3600.00/3610.80 c INPROCESSING
3600.00/3610.80 c GARBAGE COLLECT
3600.00/3610.80 c #Conflicts: 1081000 | #Constraints: 55115
3600.00/3610.80 c #Conflicts: 1082000 | #Constraints: 56115
3600.00/3610.80 c #Conflicts: 1083000 | #Constraints: 57115
3600.00/3610.80 c #Conflicts: 1084000 | #Constraints: 58115
3600.00/3610.80 c #Conflicts: 1085000 | #Constraints: 59115
3600.00/3610.80 c #Conflicts: 1086000 | #Constraints: 60115
3600.00/3610.80 c #Conflicts: 1087000 | #Constraints: 61115
3600.00/3610.80 c #Conflicts: 1088000 | #Constraints: 62115
3600.00/3610.80 c #Conflicts: 1089000 | #Constraints: 63115
3600.00/3610.80 c #Conflicts: 1090000 | #Constraints: 64115
3600.00/3610.80 c #Conflicts: 1091000 | #Constraints: 65115
3600.00/3610.80 c #Conflicts: 1092000 | #Constraints: 66115
3600.00/3610.80 c #Conflicts: 1093000 | #Constraints: 67115
3600.00/3610.80 c #Conflicts: 1094000 | #Constraints: 68115
3600.00/3610.80 c #Conflicts: 1095000 | #Constraints: 69115
3600.00/3610.80 c #Conflicts: 1096000 | #Constraints: 70115
3600.00/3610.80 c #Conflicts: 1097000 | #Constraints: 71115
3600.00/3610.80 c #Conflicts: 1098000 | #Constraints: 72115
3600.00/3610.80 c #Conflicts: 1099000 | #Constraints: 73115
3600.00/3610.80 c #Conflicts: 1100000 | #Constraints: 74115
3600.00/3610.80 c #Conflicts: 1101000 | #Constraints: 75115
3600.00/3610.80 c #Conflicts: 1102000 | #Constraints: 76115
3600.00/3610.80 c INPROCESSING
3600.00/3610.80 c #Conflicts: 1103000 | #Constraints: 55320
3600.00/3610.80 c #Conflicts: 1104000 | #Constraints: 56320
3600.00/3610.80 c #Conflicts: 1105000 | #Constraints: 57320
3600.00/3610.80 c #Conflicts: 1106000 | #Constraints: 58320
3600.00/3610.80 c #Conflicts: 1107000 | #Constraints: 59320
3600.00/3610.80 c #Conflicts: 1108000 | #Constraints: 60320
3600.00/3610.80 c #Conflicts: 1109000 | #Constraints: 61320
3600.00/3610.80 c #Conflicts: 1110000 | #Constraints: 62320
3600.00/3610.80 c #Conflicts: 1111000 | #Constraints: 63320
3600.00/3610.80 c #Conflicts: 1112000 | #Constraints: 64320
3600.00/3610.80 c #Conflicts: 1113000 | #Constraints: 65320
3600.00/3610.80 c #Conflicts: 1114000 | #Constraints: 66320
3600.00/3610.80 c #Conflicts: 1115000 | #Constraints: 67320
3600.00/3610.80 c #Conflicts: 1116000 | #Constraints: 68320
3600.00/3610.80 c #Conflicts: 1117000 | #Constraints: 69320
3600.00/3610.80 c #Conflicts: 1118000 | #Constraints: 70320
3600.00/3610.80 c #Conflicts: 1119000 | #Constraints: 71320
3600.00/3610.80 c #Conflicts: 1120000 | #Constraints: 72320
3600.00/3610.80 c #Conflicts: 1121000 | #Constraints: 73320
3600.00/3610.80 c cpu time 3586.59 s
3600.00/3610.80 c deterministic time 1 1.00e+00
3600.00/3610.80 c optimization time 3586.28 s
3600.00/3610.80 c total solve time 0 s
3600.00/3610.80 c core-guided solve time 0 s
3600.00/3610.80 c propagation time 0.02905 s
3600.00/3610.80 c conflict analysis time 0 s
3600.00/3610.80 c propagations 0
3600.00/3610.80 c resolve steps 0
3600.00/3610.80 c decisions 0
3600.00/3610.80 c conflicts 0
3600.00/3610.80 c restarts 0
3600.00/3610.80 c inprocessing phases 0
3600.00/3610.80 c garbage collections 0 ,( -nan )
3600.00/3610.80 c input clauses 28800 ,( 100.00 )
3600.00/3610.80 c input cardinalities 0 ,( 0.00 )
3600.00/3610.80 c input general constraints 0 ,( 0.00 )
3600.00/3610.80 c input average constraint length 2.00
3600.00/3610.80 c input average constraint degree 1.00
3600.00/3610.80 c learned clauses 0 ,( 0.00 )
3600.00/3610.80 c learned cardinalities 0 ,( 0.00 )
3600.00/3610.80 c learned general constraints 0 ,( 0.00 )
3600.00/3610.80 c learned average constraint length 0.00
3600.00/3610.80 c learned average constraint degree 0.00
3600.00/3610.80 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.00/3610.80 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.00/3610.80 c watched constraints 0 ,( -nan )
3600.00/3610.80 c counting constraints 0 ,( -nan )
3600.00/3610.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.00/3610.80 c gcd simplifications 0
3600.00/3610.80 c detected cardinalities 0
3600.00/3610.80 c weakened non-implied lits 0
3600.00/3610.80 c weakened non-implying lits 0
3600.00/3610.80 c original variables 14400
3600.00/3610.80 c clausal propagations 0
3600.00/3610.80 c cardinality propagations 0
3600.00/3610.80 c watched propagations 0
3600.00/3610.80 c counting propagations 0
3600.00/3610.80 c watch lookups 0
3600.00/3610.80 c watch backjump lookups 0
3600.00/3610.80 c watch checks 0
3600.00/3610.80 c propagation checks 0
3600.00/3610.80 c constraint additions 0
3600.00/3610.80 c trail pops 0
3600.00/3610.80 c formula constraints 28800
3600.00/3610.80 c learned constraints 0
3600.00/3610.80 c bound constraints 0
3600.00/3610.80 c core-guided constraints 0
3600.00/3610.80 c encountered formula constraints 0
3600.00/3610.80 c encountered learned constraints 0
3600.00/3610.80 c encountered bound constraints 0
3600.00/3610.80 c encountered core-guided constraints 0
3600.00/3610.80 c LP total time 0 s
3600.00/3610.80 c LP solve time 0 s
3600.00/3610.80 c LP constraints added 0
3600.00/3610.80 c LP constraints removed 0
3600.00/3610.80 c LP pivots internal 0
3600.00/3610.80 c LP pivots root 0
3600.00/3610.80 c LP calls 0
3600.00/3610.80 c LP optimalities 0
3600.00/3610.80 c LP no pivot count 0
3600.00/3610.80 c LP infeasibilities 0
3600.00/3610.80 c LP valid Farkas constraints 0
3600.00/3610.80 c LP learned Farkas constraints 0
3600.00/3610.80 c LP basis resets 0
3600.00/3610.80 c LP cycling count 0
3600.00/3610.80 c LP singular count 0
3600.00/3610.80 c LP no primal count 0
3600.00/3610.80 c LP no farkas count 0
3600.00/3610.80 c LP other issue count 0
3600.00/3610.80 c LP Gomory cuts 0
3600.00/3610.80 c LP learned cuts 0
3600.00/3610.80 c LP deleted cuts 0
3600.00/3610.80 c LP encountered Gomory constraints 0
3600.00/3610.80 c LP encountered Farkas constraints 0
3600.00/3610.80 c LP encountered learned Farkas constraints 0
3600.00/3610.80 c CG auxiliary variables introduced 0
3600.00/3610.80 c CG solutions found 0
3600.00/3610.80 c CG cores constructed 0
3600.00/3610.80 c CG core cardinality constraints returned 0
3600.00/3610.80 c CG unit cores 0
3600.00/3610.80 c CG single cores 0
3600.00/3610.80 c CG blocks removed during cardinality reduction 0
3600.00/3610.80 c CG first core best 0
3600.00/3610.80 c CG decision core best 0
3600.00/3610.80 c CG core reduction tie 0
3600.00/3610.80 c CG core degree average 0.00
3600.00/3610.80 c CG core slack average 0.00
3600.00/3610.80 c CG core upper bound improvements 0
3600.00/3610.80 c STR number of successful calls 0
3600.00/3610.80 c STR number of unsuccessful calls 0
3600.00/3610.80 c STR number of inconclusive calls 0
3600.00/3610.80 c STR number of successful attempts 0
3600.00/3610.80 c STR number of unsuccessful attempts 0
3600.00/3610.80 c STR number of inconclusive attempts 0
3600.00/3610.80 c STR average degree increase per successful call inf
3600.00/3610.80 c STR average degree increase per successful attempt inf
3600.00/3610.80 c STR total number of conflicts for successful attempts 0
3600.00/3610.80 c STR total number of conflicts for unsuccessful attempts 0
3600.00/3610.80 c STR total number of conflicts for inconclusive attempts 0
3600.00/3610.80 c STR average number of conflicts per successful attempt inf
3600.00/3610.80 c STR average number of conflicts per unsuccessful attempt inf
3600.00/3610.80 c STR average number of conflicts per inconclusive attempt inf
3600.00/3610.80 c AVG.sumWPerc -nan
3600.00/3610.80 c bigint constraints 0
3600.00/3610.80 s UNKNOWN
3600.00/3610.80 c Program interrupted by user.
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: 63794 MiB (62255 MiB free)
memory of node 1: 64507 MiB (63303 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521493-1751583526/watcher-4521493-1751583526 -o /tmp/evaluation-result-4521493-1751583526/solver-4521493-1751583526 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751579896-82755 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4521493-1751583526.opb PROOFDIR/proof-4521493-1751583526
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=83261, runsolver pid=83258
[startup+0.100099 s]*
/proc/loadavg: 4.08 4.14 4.09 5/260 83263
/proc/meminfo: memFree=128565088/131382112 swapFree=33010416/33010684
[pid=83261] ppid=83258 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83261/stat : 83261 (run-opt-log.sh) S 83258 83261 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74032353 4292608 736 18446744073709551615 94314944360448 94314945254981 140730578175360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94314945494032 94314945541776 94314954379264 140730578180385 140730578180580 140730578180580 140730578186182 0
/proc/83261/statm: 1048 736 672 219 0 110 0
[pid=83263] ppid=83261 vsize=58752 memory=14084 CPUtime=0.08 cores=1,3
/proc/83263/stat : 83263 (roundingsat) R 83261 83261 82743 0 -1 4194304 1712 0 0 0 6 2 0 0 20 0 1 0 74032354 60162048 3521 18446744073709551615 4227072 8923433 140737278801872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10698752 140737278810450 140737278810664 140737278810664 140737278816234 0
/proc/83263/statm: 14688 3521 1984 1147 0 2115 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 62944 KiB
Current children cumulated memory: 17028 KiB
[startup+0.205865 s]*
/proc/loadavg: 4.08 4.14 4.09 5/260 83263
/proc/meminfo: memFree=128555008/131382112 swapFree=33010416/33010684
[pid=83261] ppid=83258 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83261/stat : 83261 (run-opt-log.sh) S 83258 83261 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74032353 4292608 736 18446744073709551615 94314944360448 94314945254981 140730578175360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94314945494032 94314945541776 94314954379264 140730578180385 140730578180580 140730578180580 140730578186182 0
/proc/83261/statm: 1048 736 672 219 0 110 0
[pid=83263] ppid=83261 vsize=60208 memory=15492 CPUtime=0.18 cores=1,3
/proc/83263/stat : 83263 (roundingsat) R 83261 83261 82743 0 -1 4194304 2069 0 0 0 14 4 0 0 20 0 1 0 74032354 61652992 3873 18446744073709551615 4227072 8923433 140737278801872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10698752 140737278810450 140737278810664 140737278810664 140737278816234 0
/proc/83263/statm: 15052 3873 1984 1147 0 2479 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 64400 KiB
Current children cumulated memory: 18436 KiB
[startup+0.305727 s]*
/proc/loadavg: 4.08 4.14 4.09 5/260 83263
/proc/meminfo: memFree=128538756/131382112 swapFree=33010416/33010684
[pid=83261] ppid=83258 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83261/stat : 83261 (run-opt-log.sh) S 83258 83261 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74032353 4292608 736 18446744073709551615 94314944360448 94314945254981 140730578175360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94314945494032 94314945541776 94314954379264 140730578180385 140730578180580 140730578180580 140730578186182 0
/proc/83261/statm: 1048 736 672 219 0 110 0
[pid=83263] ppid=83261 vsize=78136 memory=31364 CPUtime=0.3 cores=1,3
/proc/83263/stat : 83263 (roundingsat) R 83261 83261 82743 0 -1 4194304 5207 0 0 0 23 7 0 0 20 0 1 0 74032354 80011264 7841 18446744073709551615 4227072 8923433 140737278801872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10698752 140737278810450 140737278810664 140737278810664 140737278816234 0
/proc/83263/statm: 19534 7841 2272 1147 0 6961 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 82328 KiB
Current children cumulated memory: 34308 KiB
[startup+0.700377 s]
/proc/loadavg: 4.08 4.14 4.09 5/260 83263
/proc/meminfo: memFree=128491312/131382112 swapFree=33010416/33010684
[pid=83261] ppid=83258 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83261/stat : 83261 (run-opt-log.sh) S 83258 83261 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74032353 4292608 736 18446744073709551615 94314944360448 94314945254981 140730578175360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94314945494032 94314945541776 94314954379264 140730578180385 140730578180580 140730578180580 140730578186182 0
/proc/83261/statm: 1048 736 672 219 0 110 0
[pid=83263] ppid=83261 vsize=106488 memory=59292 CPUtime=0.67 cores=1,3
/proc/83263/stat : 83263 (roundingsat) R 83261 83261 82743 0 -1 4194304 11311 0 0 0 52 15 0 0 20 0 1 0 74032354 109043712 14823 18446744073709551615 4227072 8923433 140737278801872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10698752 140737278810450 140737278810664 140737278810664 140737278816234 0
/proc/83263/statm: 26622 14823 2368 1147 0 14049 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 110680 KiB
Current children cumulated memory: 62236 KiB
[startup+1.50042 s]
/proc/loadavg: 4.08 4.14 4.09 5/260 83265
/proc/meminfo: memFree=128438576/131382112 swapFree=33010416/33010684
[pid=83261] ppid=83258 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83261/stat : 83261 (run-opt-log.sh) S 83258 83261 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74032353 4292608 736 18446744073709551615 94314944360448 94314945254981 140730578175360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94314945494032 94314945541776 94314954379264 140730578180385 140730578180580 140730578180580 140730578186182 0
/proc/83261/statm: 1048 736 672 219 0 110 0
[pid=83263] ppid=83261 vsize=170212 memory=123520 CPUtime=1.47 cores=1,3
/proc/83263/stat : 83263 (roundingsat) R 83261 83261 82743 0 -1 4194304 22284 0 0 0 129 18 0 0 20 0 1 0 74032354 174297088 30880 18446744073709551615 4227072 8923433 140737278801872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10698752 140737278810450 140737278810664 140737278810664 140737278816234 0
/proc/83263/statm: 42553 30880 2368 1147 0 29980 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 174404 KiB
Current children cumulated memory: 126464 KiB
[startup+3.11356 s]
/proc/loadavg: 4.08 4.14 4.09 5/260 83265
/proc/meminfo: memFree=128173772/131382112 swapFree=33010416/33010684
[pid=83261] ppid=83258 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83261/stat : 83261 (run-opt-log.sh) S 83258 83261 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74032353 4292608 736 18446744073709551615 94314944360448 94314945254981 140730578175360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94314945494032 94314945541776 94314954379264 140730578180385 140730578180580 140730578180580 140730578186182 0
/proc/83261/statm: 1048 736 672 219 0 110 0
[pid=83263] ppid=83261 vsize=410232 memory=316680 CPUtime=3.08 cores=1,3
/proc/83263/stat : 83263 (roundingsat) R 83261 83261 82743 0 -1 4194304 61356 0 0 0 282 26 0 0 20 0 1 0 74032354 420077568 79170 18446744073709551615 4227072 8923433 140737278801872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10698752 140737278810450 140737278810664 140737278810664 140737278816234 0
/proc/83263/statm: 102558 79170 2368 1147 0 89985 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 414424 KiB
Current children cumulated memory: 319624 KiB
[startup+6.30035 s]
/proc/loadavg: 4.08 4.14 4.09 5/260 83265
/proc/meminfo: memFree=127303868/131382112 swapFree=33010416/33010684
[pid=83261] ppid=83258 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83261/stat : 83261 (run-opt-log.sh) S 83258 83261 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74032353 4292608 736 18446744073709551615 94314944360448 94314945254981 140730578175360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94314945494032 94314945541776 94314954379264 140730578180385 140730578180580 140730578180580 140730578186182 0
/proc/83261/statm: 1048 736 672 219 0 110 0
[pid=83263] ppid=83261 vsize=763280 memory=623508 CPUtime=6.25 cores=1,3
/proc/83263/stat : 83263 (roundingsat) R 83261 83261 82743 0 -1 4194304 115602 0 0 0 589 36 0 0 20 0 1 0 74032354 781598720 155877 18446744073709551615 4227072 8923433 140737278801872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10698752 140737278810450 140737278810664 140737278810664 140737278816234 0
/proc/83263/statm: 190820 155877 2368 1147 0 178247 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 767472 KiB
Current children cumulated memory: 626452 KiB
[startup+12.7004 s]
/proc/loadavg: 4.15 4.15 4.10 5/260 83265
/proc/meminfo: memFree=125964724/131382112 swapFree=33010416/33010684
[pid=83261] ppid=83258 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83261/stat : 83261 (run-opt-log.sh) S 83258 83261 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74032353 4292608 736 18446744073709551615 94314944360448 94314945254981 140730578175360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94314945494032 94314945541776 94314954379264 140730578180385 140730578180580 140730578180580 140730578186182 0
/proc/83261/statm: 1048 736 672 219 0 110 0
[pid=83263] ppid=83261 vsize=1695492 memory=1404388 CPUtime=12.64 cores=1,3
/proc/83263/stat : 83263 (roundingsat) R 83261 83261 82743 0 -1 4194304 266869 0 0 0 1199 65 0 0 20 0 1 0 74032354 1736183808 351097 18446744073709551615 4227072 8923433 140737278801872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10698752 140737278810450 140737278810664 140737278810664 140737278816234 0
/proc/83263/statm: 423873 351097 2368 1147 0 411300 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1699684 KiB
Current children cumulated memory: 1407332 KiB
[startup+25.5004 s]
/proc/loadavg: 4.12 4.14 4.09 5/260 83265
/proc/meminfo: memFree=124302116/131382112 swapFree=33010416/33010684
[pid=83261] ppid=83258 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83261/stat : 83261 (run-opt-log.sh) S 83258 83261 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74032353 4292608 736 18446744073709551615 94314944360448 94314945254981 140730578175360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94314945494032 94314945541776 94314954379264 140730578180385 140730578180580 140730578180580 140730578186182 0
/proc/83261/statm: 1048 736 672 219 0 110 0
[pid=83263] ppid=83261 vsize=2272520 memory=1919560 CPUtime=25.4 cores=1,3
/proc/83263/stat : 83263 (roundingsat) R 83261 83261 82743 0 -1 4194304 358941 0 0 0 2450 90 0 0 20 0 1 0 74032354 2327060480 479890 18446744073709551615 4227072 8923433 140737278801872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10698752 140737278810450 140737278810664 140737278810664 140737278816234 0
/proc/83263/statm: 568130 479890 2368 1147 0 555557 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2276712 KiB
Current children cumulated memory: 1922504 KiB
[startup+51.1137 s]
/proc/loadavg: 4.08 4.13 4.09 5/260 83265
/proc/meminfo: memFree=123454212/131382112 swapFree=33010416/33010684
[pid=83261] ppid=83258 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83261/stat : 83261 (run-opt-log.sh) S 83258 83261 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74032353 4292608 736 18446744073709551615 94314944360448 94314945254981 140730578175360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94314945494032 94314945541776 94314954379264 140730578180385 140730578180580 140730578180580 140730578186182 0
/proc/83261/statm: 1048 736 672 219 0 110 0
[pid=83263] ppid=83261 vsize=2347176 memory=1997812 CPUtime=50.95 cores=1,3
/proc/83263/stat : 83263 (roundingsat) R 83261 83261 82743 0 -1 4194304 377937 0 0 0 4988 107 0 0 20 0 1 0 74032354 2403508224 499453 18446744073709551615 4227072 8923433 140737278801872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10698752 140737278810450 140737278810664 140737278810664 140737278816234 0
/proc/83263/statm: 586794 499453 2368 1147 0 574221 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2351368 KiB
Current children cumulated memory: 2000756 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/260 83267
/proc/meminfo: memFree=123218756/131382112 swapFree=33010416/33010684
[pid=83261] ppid=83258 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83261/stat : 83261 (run-opt-log.sh) S 83258 83261 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74032353 4292608 736 18446744073709551615 94314944360448 94314945254981 140730578175360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94314945494032 94314945541776 94314954379264 140730578180385 140730578180580 140730578180580 140730578186182 0
/proc/83261/statm: 1048 736 672 219 0 110 0
[pid=83263] ppid=83261 vsize=2354160 memory=2011764 CPUtime=102 cores=1,3
/proc/83263/stat : 83263 (roundingsat) R 83261 83261 82743 0 -1 4194304 381476 0 0 0 10071 129 0 0 20 0 1 0 74032354 2410659840 502941 18446744073709551615 4227072 8923433 140737278801872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10698752 140737278810450 140737278810664 140737278810664 140737278816234 0
/proc/83263/statm: 588540 502941 2368 1147 0 575967 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 2358352 KiB
Current children cumulated memory: 2014708 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/260 83331
/proc/meminfo: memFree=122710300/131382112 swapFree=33010416/33010684
[pid=83261] ppid=83258 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83261/stat : 83261 (run-opt-log.sh) S 83258 83261 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74032353 4292608 736 18446744073709551615 94314944360448 94314945254981 140730578175360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94314945494032 94314945541776 94314954379264 140730578180385 140730578180580 140730578180580 140730578186182 0
/proc/83261/statm: 1048 736 672 219 0 110 0
[pid=83263] ppid=83261 vsize=2354160 memory=2012020 CPUtime=161.78 cores=1,3
/proc/83263/stat : 83263 (roundingsat) R 83261 83261 82743 0 -1 4194304 381562 0 0 0 16025 153 0 0 20 0 1 0 74032354 2410659840 503005 18446744073709551615 4227072 8923433 140737278801872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10698752 140737278810450 140737278810664 140737278810664 140737278816234 0
/proc/83263/statm: 588540 503005 2368 1147 0 575967 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 2358352 KiB
Current children cumulated memory: 2014964 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/260 83333
/proc/meminfo: memFree=122193640/131382112 swapFree=33010416/33010684
[pid=83261] ppid=83258 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83261/stat : 83261 (run-opt-log.sh) S 83258 83261 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74032353 4292608 736 18446744073709551615 94314944360448 94314945254981 140730578175360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94314945494032 94314945541776 94314954379264 140730578180385 140730578180580 140730578180580 140730578186182 0
/proc/83261/statm: 1048 736 672 219 0 110 0
[pid=83263] ppid=83261 vsize=2354160 memory=2012020 CPUtime=221.6 cores=1,3
/proc/83263/stat : 83263 (roundingsat) R 83261 83261 82743 0 -1 4194304 381625 0 0 0 21989 171 0 0 20 0 1 0 74032354 2410659840 503005 18446744073709551615 4227072 8923433 140737278801872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10698752 140737278810450 140737278810664 140737278810664 140737278816234 0
################
# More data... #
################
/proc/83263/statm: 655841 567645 2368 1147 0 643268 0
Current children cumulated CPU time: 3033.25 s
Current children cumulated vsize: 2627556 KiB
Current children cumulated memory: 2273524 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.10 4.12 5/258 83480
/proc/meminfo: memFree=104639936/131382112 swapFree=33010416/33010684
[pid=83261] ppid=83258 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83261/stat : 83261 (run-opt-log.sh) S 83258 83261 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74032353 4292608 736 18446744073709551615 94314944360448 94314945254981 140730578175360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94314945494032 94314945541776 94314954379264 140730578180385 140730578180580 140730578180580 140730578186182 0
/proc/83261/statm: 1048 736 672 219 0 110 0
[pid=83263] ppid=83261 vsize=2623364 memory=2270708 CPUtime=3093.08 cores=1,3
/proc/83263/stat : 83263 (roundingsat) R 83261 83261 82743 0 -1 4194304 447717 0 0 0 308126 1182 0 0 20 0 1 0 74032354 2686324736 567677 18446744073709551615 4227072 8923433 140737278801872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10698752 140737278810450 140737278810664 140737278810664 140737278816234 0
/proc/83263/statm: 655841 567677 2368 1147 0 643268 0
Current children cumulated CPU time: 3093.08 s
Current children cumulated vsize: 2627556 KiB
Current children cumulated memory: 2273652 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.11 4.12 5/258 83483
/proc/meminfo: memFree=104344812/131382112 swapFree=33010416/33010684
[pid=83261] ppid=83258 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83261/stat : 83261 (run-opt-log.sh) S 83258 83261 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74032353 4292608 736 18446744073709551615 94314944360448 94314945254981 140730578175360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94314945494032 94314945541776 94314954379264 140730578180385 140730578180580 140730578180580 140730578186182 0
/proc/83261/statm: 1048 736 672 219 0 110 0
[pid=83263] ppid=83261 vsize=2623364 memory=2270708 CPUtime=3152.89 cores=1,3
/proc/83263/stat : 83263 (roundingsat) R 83261 83261 82743 0 -1 4194304 447741 0 0 0 314089 1200 0 0 20 0 1 0 74032354 2686324736 567677 18446744073709551615 4227072 8923433 140737278801872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10698752 140737278810450 140737278810664 140737278810664 140737278816234 0
/proc/83263/statm: 655841 567677 2368 1147 0 643268 0
Current children cumulated CPU time: 3152.89 s
Current children cumulated vsize: 2627556 KiB
Current children cumulated memory: 2273652 KiB
[startup+3222.3 s]
/proc/loadavg: 4.05 4.08 4.11 5/258 83485
/proc/meminfo: memFree=103979504/131382112 swapFree=33010416/33010684
[pid=83261] ppid=83258 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83261/stat : 83261 (run-opt-log.sh) S 83258 83261 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74032353 4292608 736 18446744073709551615 94314944360448 94314945254981 140730578175360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94314945494032 94314945541776 94314954379264 140730578180385 140730578180580 140730578180580 140730578186182 0
/proc/83261/statm: 1048 736 672 219 0 110 0
[pid=83263] ppid=83261 vsize=2623888 memory=2271348 CPUtime=3212.72 cores=1,3
/proc/83263/stat : 83263 (roundingsat) R 83261 83261 82743 0 -1 4194304 447988 0 0 0 320050 1222 0 0 20 0 1 0 74032354 2686861312 567837 18446744073709551615 4227072 8923433 140737278801872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10698752 140737278810450 140737278810664 140737278810664 140737278816234 0
/proc/83263/statm: 655972 567837 2368 1147 0 643399 0
Current children cumulated CPU time: 3212.72 s
Current children cumulated vsize: 2628080 KiB
Current children cumulated memory: 2274292 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.11 5/258 83487
/proc/meminfo: memFree=103646168/131382112 swapFree=33010416/33010684
[pid=83261] ppid=83258 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83261/stat : 83261 (run-opt-log.sh) S 83258 83261 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74032353 4292608 736 18446744073709551615 94314944360448 94314945254981 140730578175360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94314945494032 94314945541776 94314954379264 140730578180385 140730578180580 140730578180580 140730578186182 0
/proc/83261/statm: 1048 736 672 219 0 110 0
[pid=83263] ppid=83261 vsize=2646420 memory=2284660 CPUtime=3272.54 cores=1,3
/proc/83263/stat : 83263 (roundingsat) R 83261 83261 82743 0 -1 4194304 451317 0 0 0 326007 1247 0 0 20 0 1 0 74032354 2709934080 571165 18446744073709551615 4227072 8923433 140737278801872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10698752 140737278810450 140737278810664 140737278810664 140737278816234 0
/proc/83263/statm: 661605 571165 2368 1147 0 649032 0
Current children cumulated CPU time: 3272.54 s
Current children cumulated vsize: 2650612 KiB
Current children cumulated memory: 2287604 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.11 4.11 5/259 83490
/proc/meminfo: memFree=103368328/131382112 swapFree=33010416/33010684
[pid=83261] ppid=83258 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83261/stat : 83261 (run-opt-log.sh) S 83258 83261 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74032353 4292608 736 18446744073709551615 94314944360448 94314945254981 140730578175360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94314945494032 94314945541776 94314954379264 140730578180385 140730578180580 140730578180580 140730578186182 0
/proc/83261/statm: 1048 736 672 219 0 110 0
[pid=83263] ppid=83261 vsize=2646420 memory=2284660 CPUtime=3332.35 cores=1,3
/proc/83263/stat : 83263 (roundingsat) R 83261 83261 82743 0 -1 4194304 451318 0 0 0 331968 1267 0 0 20 0 1 0 74032354 2709934080 571165 18446744073709551615 4227072 8923433 140737278801872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10698752 140737278810450 140737278810664 140737278810664 140737278816234 0
/proc/83263/statm: 661605 571165 2368 1147 0 649032 0
Current children cumulated CPU time: 3332.35 s
Current children cumulated vsize: 2650612 KiB
Current children cumulated memory: 2287604 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.10 5/259 83493
/proc/meminfo: memFree=103039460/131382112 swapFree=33010416/33010684
[pid=83261] ppid=83258 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83261/stat : 83261 (run-opt-log.sh) S 83258 83261 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74032353 4292608 736 18446744073709551615 94314944360448 94314945254981 140730578175360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94314945494032 94314945541776 94314954379264 140730578180385 140730578180580 140730578180580 140730578186182 0
/proc/83261/statm: 1048 736 672 219 0 110 0
[pid=83263] ppid=83261 vsize=2646420 memory=2284788 CPUtime=3392.16 cores=1,3
/proc/83263/stat : 83263 (roundingsat) R 83261 83261 82743 0 -1 4194304 451429 0 0 0 337935 1281 0 0 20 0 1 0 74032354 2709934080 571197 18446744073709551615 4227072 8923433 140737278801872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10698752 140737278810450 140737278810664 140737278810664 140737278816234 0
/proc/83263/statm: 661605 571197 2368 1147 0 649032 0
Current children cumulated CPU time: 3392.16 s
Current children cumulated vsize: 2650612 KiB
Current children cumulated memory: 2287732 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.10 5/259 83495
/proc/meminfo: memFree=102676672/131382112 swapFree=33010416/33010684
[pid=83261] ppid=83258 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83261/stat : 83261 (run-opt-log.sh) S 83258 83261 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74032353 4292608 736 18446744073709551615 94314944360448 94314945254981 140730578175360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94314945494032 94314945541776 94314954379264 140730578180385 140730578180580 140730578180580 140730578186182 0
/proc/83261/statm: 1048 736 672 219 0 110 0
[pid=83263] ppid=83261 vsize=2646420 memory=2284916 CPUtime=3451.98 cores=1,3
/proc/83263/stat : 83263 (roundingsat) R 83261 83261 82743 0 -1 4194304 451497 0 0 0 343899 1299 0 0 20 0 1 0 74032354 2709934080 571229 18446744073709551615 4227072 8923433 140737278801872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10698752 140737278810450 140737278810664 140737278810664 140737278816234 0
/proc/83263/statm: 661605 571229 2368 1147 0 649032 0
Current children cumulated CPU time: 3451.98 s
Current children cumulated vsize: 2650612 KiB
Current children cumulated memory: 2287860 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/260 83504
/proc/meminfo: memFree=102384844/131382112 swapFree=33010416/33010684
[pid=83261] ppid=83258 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83261/stat : 83261 (run-opt-log.sh) S 83258 83261 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74032353 4292608 736 18446744073709551615 94314944360448 94314945254981 140730578175360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94314945494032 94314945541776 94314954379264 140730578180385 140730578180580 140730578180580 140730578186182 0
/proc/83261/statm: 1048 736 672 219 0 110 0
[pid=83263] ppid=83261 vsize=2646788 memory=2285812 CPUtime=3511.79 cores=1,3
/proc/83263/stat : 83263 (roundingsat) R 83261 83261 82743 0 -1 4194304 451548 0 0 0 349862 1317 0 0 20 0 1 0 74032354 2710310912 571453 18446744073709551615 4227072 8923433 140737278801872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10698752 140737278810450 140737278810664 140737278810664 140737278816234 0
/proc/83263/statm: 661697 571453 2368 1147 0 649124 0
Current children cumulated CPU time: 3511.79 s
Current children cumulated vsize: 2650980 KiB
Current children cumulated memory: 2288756 KiB
[startup+3582.3 s]
/proc/loadavg: 4.60 4.23 4.14 5/260 83506
/proc/meminfo: memFree=102135536/131382112 swapFree=33010416/33010684
[pid=83261] ppid=83258 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83261/stat : 83261 (run-opt-log.sh) S 83258 83261 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74032353 4292608 736 18446744073709551615 94314944360448 94314945254981 140730578175360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94314945494032 94314945541776 94314954379264 140730578180385 140730578180580 140730578180580 140730578186182 0
/proc/83261/statm: 1048 736 672 219 0 110 0
[pid=83263] ppid=83261 vsize=2646788 memory=2291572 CPUtime=3571.61 cores=1,3
/proc/83263/stat : 83263 (roundingsat) R 83261 83261 82743 0 -1 4194304 451668 0 0 0 355829 1332 0 0 20 0 1 0 74032354 2710310912 572893 18446744073709551615 4227072 8923433 140737278801872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10698752 140737278810450 140737278810664 140737278810664 140737278816234 0
/proc/83263/statm: 661697 572893 2368 1147 0 649124 0
Current children cumulated CPU time: 3571.61 s
Current children cumulated vsize: 2650980 KiB
Current children cumulated memory: 2294516 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 4.72 4.29 4.16 5/260 83598
/proc/meminfo: memFree=113549136/131382112 swapFree=33010416/33010684
[pid=83261] ppid=83258 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83261/stat : 83261 (run-opt-log.sh) S 83258 83261 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 74032353 4292608 736 18446744073709551615 94314944360448 94314945254981 140730578175360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94314945494032 94314945541776 94314954379264 140730578180385 140730578180580 140730578180580 140730578186182 0
/proc/83261/statm: 1048 736 672 219 0 110 0
[pid=83263] ppid=83261 vsize=2646788 memory=2291572 CPUtime=3600 cores=1,3
/proc/83263/stat : 83263 (roundingsat) R 83261 83261 82743 0 -1 4194304 451673 0 0 0 358659 1341 0 0 20 0 1 0 74032354 2710310912 572893 18446744073709551615 4227072 8923433 140737278801872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10698752 140737278810450 140737278810664 140737278810664 140737278816234 0
/proc/83263/statm: 661697 572893 2368 1147 0 649124 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2650980 KiB
Current children cumulated memory: 2294516 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.81 s]
# the end of solver process 83261 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002124 s
[startup+3610.9 s]
# the end of solver process 83263 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3586.61 s, system=13.497 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.9
CPU time (s): 3600.11
CPU user time (s): 3586.61
CPU system time (s): 13.497
CPU usage (%): 99.701
Max. virtual memory (cumulated for all children) (KiB): 2650980
Max. memory (cumulated for all children) (KiB): 2294516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.61
system time used= 13.497
maximum resident set size= 2291828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 451909
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5191576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 584
involuntary context switches= 5218
# summary of solver processes directly reported to runsolver:
# pid: 83261,83263
# total CPU time (s): 3600.11
# total CPU user time (s): 3586.61
# total CPU system time (s): 13.497
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.9014 second user time and 37.8398 second system time
The end
Begin job on nodeC012 at 2025-07-04 00:58:46
IDJOB=4521493
IDBENCH=178318
IDSOLVER=3351
FILE ID=nodeC012/4521493-1751583526
RUNJOBID= nodeC012-1751579896-82755
SLURM_JOB_ID= 9598818
Free space on /tmp= 431840 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowevencolsquare/normalized-vertexcover_opt_grid_evenrowevencolsquare_dim_120.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521493-1751583526/watcher-4521493-1751583526 -o /tmp/evaluation-result-4521493-1751583526/solver-4521493-1751583526 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751579896-82755 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4521493-1751583526.opb PROOFDIR/proof-4521493-1751583526
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 91f2eeaf01beb5a18e4726514b00c397
RANDOM SEED=1441897965
nodeC012 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 : 0xb00001f
cpu MHz : 3662.071
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 1197.212
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 1197.328
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 3491.916
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 3662.263
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 3660.263
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 1198.034
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 1197.420
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 128577532 kB
MemAvailable: 128833648 kB
Buffers: 2136 kB
Cached: 1056368 kB
SwapCached: 16 kB
Active: 1818656 kB
Inactive: 438100 kB
Active(anon): 1209288 kB
Inactive(anon): 6996 kB
Active(file): 609368 kB
Inactive(file): 431104 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 40248 kB
Writeback: 96 kB
AnonPages: 1201464 kB
Mapped: 116948 kB
Shmem: 17944 kB
KReclaimable: 110156 kB
Slab: 197276 kB
SReclaimable: 110156 kB
SUnreclaim: 87120 kB
KernelStack: 4176 kB
PageTables: 5792 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1726152 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149528 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 153600 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: 187208 kB
DirectMap2M: 8103936 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431832 MiB
End job on nodeC012 at 2025-07-04 01:58:58