0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.08/0.12 c #variables 14400 #constraints 28800
0.08/0.12 c objective is ce32
0.08/0.18 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.08/0.18 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.08/0.18 c GLOBAL bounds - >= 0 @ 0.116414
0.08/0.19 c GLOBAL bounds - >= 0 @ 0.122963
128.54/128.90 c #Conflicts: 1000 | #Constraints: 29800
128.54/128.90 c #Conflicts: 2000 | #Constraints: 30800
128.54/128.90 c #Conflicts: 3000 | #Constraints: 31800
128.54/128.90 c #Conflicts: 4000 | #Constraints: 32800
128.54/128.90 c #Conflicts: 5000 | #Constraints: 33800
128.54/128.90 c #Conflicts: 6000 | #Constraints: 34800
128.54/128.90 c #Conflicts: 7000 | #Constraints: 35800
128.54/128.90 c INPROCESSING
128.54/128.90 c #Conflicts: 8000 | #Constraints: 36617
128.54/128.90 c #Conflicts: 9000 | #Constraints: 37617
128.54/128.90 c #Conflicts: 10000 | #Constraints: 38617
128.54/128.90 c #Conflicts: 11000 | #Constraints: 39617
128.54/128.90 c #Conflicts: 12000 | #Constraints: 40617
128.54/128.90 c #Conflicts: 13000 | #Constraints: 41617
128.54/128.90 c #Conflicts: 14000 | #Constraints: 42617
128.54/128.90 c INPROCESSING
128.54/128.90 c GARBAGE COLLECT
128.54/128.90 c #Conflicts: 15000 | #Constraints: 38410
128.54/128.90 c #Conflicts: 16000 | #Constraints: 39410
128.54/128.90 c #Conflicts: 17000 | #Constraints: 40410
128.54/128.90 c #Conflicts: 18000 | #Constraints: 41410
128.54/128.90 c #Conflicts: 19000 | #Constraints: 42410
128.54/128.90 c #Conflicts: 20000 | #Constraints: 43410
128.54/128.90 c #Conflicts: 21000 | #Constraints: 44410
128.54/128.90 c INPROCESSING
128.54/128.90 c #Conflicts: 22000 | #Constraints: 39092
128.54/128.90 c #Conflicts: 23000 | #Constraints: 40092
128.54/128.90 c #Conflicts: 24000 | #Constraints: 41092
128.54/128.90 c #Conflicts: 25000 | #Constraints: 42092
128.54/128.90 c #Conflicts: 26000 | #Constraints: 43092
128.54/128.90 c #Conflicts: 27000 | #Constraints: 44092
128.54/128.90 c #Conflicts: 28000 | #Constraints: 45092
128.54/128.90 c #Conflicts: 29000 | #Constraints: 46092
128.54/128.90 c INPROCESSING
128.54/128.90 c GARBAGE COLLECT
128.54/128.90 c #Conflicts: 30000 | #Constraints: 40274
128.54/128.90 c #Conflicts: 31000 | #Constraints: 41274
128.54/128.90 c #Conflicts: 32000 | #Constraints: 42274
128.54/128.90 c #Conflicts: 33000 | #Constraints: 43274
128.54/128.90 c #Conflicts: 34000 | #Constraints: 44274
128.54/128.90 c #Conflicts: 35000 | #Constraints: 45274
128.54/128.90 c #Conflicts: 36000 | #Constraints: 46274
128.54/128.90 c #Conflicts: 37000 | #Constraints: 47274
128.54/128.90 c INPROCESSING
128.54/128.90 c #Conflicts: 38000 | #Constraints: 40941
128.54/128.90 c #Conflicts: 39000 | #Constraints: 41941
128.54/128.90 c #Conflicts: 40000 | #Constraints: 42941
128.54/128.90 c #Conflicts: 41000 | #Constraints: 43941
128.54/128.90 c #Conflicts: 42000 | #Constraints: 44941
128.54/128.90 c #Conflicts: 43000 | #Constraints: 45941
128.54/128.90 c #Conflicts: 44000 | #Constraints: 46941
128.54/128.90 c #Conflicts: 45000 | #Constraints: 47941
128.54/128.90 c INPROCESSING
128.54/128.90 c GARBAGE COLLECT
128.54/128.90 c #Conflicts: 46000 | #Constraints: 41303
128.54/128.90 c #Conflicts: 47000 | #Constraints: 42303
128.54/128.90 c #Conflicts: 48000 | #Constraints: 43303
128.54/128.90 c #Conflicts: 49000 | #Constraints: 44303
128.54/128.90 c #Conflicts: 50000 | #Constraints: 45303
128.54/128.90 c #Conflicts: 51000 | #Constraints: 46303
128.54/128.90 c #Conflicts: 52000 | #Constraints: 47303
128.54/128.90 c #Conflicts: 53000 | #Constraints: 48303
128.54/128.90 c INPROCESSING
128.54/128.90 c #Conflicts: 54000 | #Constraints: 41368
128.54/128.90 c #Conflicts: 55000 | #Constraints: 42368
128.54/128.90 c #Conflicts: 56000 | #Constraints: 43368
128.54/128.90 c #Conflicts: 57000 | #Constraints: 44368
128.54/128.90 c #Conflicts: 58000 | #Constraints: 45368
128.54/128.90 c #Conflicts: 59000 | #Constraints: 46368
128.54/128.90 c #Conflicts: 60000 | #Constraints: 47368
128.54/128.90 c #Conflicts: 61000 | #Constraints: 48368
128.54/128.90 c INPROCESSING
128.54/128.90 c GARBAGE COLLECT
128.54/128.90 c #Conflicts: 62000 | #Constraints: 41159
128.54/128.90 c #Conflicts: 63000 | #Constraints: 42159
128.54/128.90 c #Conflicts: 64000 | #Constraints: 43159
128.54/128.90 c #Conflicts: 65000 | #Constraints: 44159
128.54/128.90 c #Conflicts: 66000 | #Constraints: 45159
128.54/128.90 c #Conflicts: 67000 | #Constraints: 46159
128.54/128.90 c #Conflicts: 68000 | #Constraints: 47159
128.54/128.90 c #Conflicts: 69000 | #Constraints: 48159
128.54/128.90 c #Conflicts: 70000 | #Constraints: 49159
128.54/128.90 c INPROCESSING
128.54/128.90 c #Conflicts: 71000 | #Constraints: 41736
128.54/128.90 c #Conflicts: 72000 | #Constraints: 42736
128.54/128.90 c #Conflicts: 73000 | #Constraints: 43736
128.54/128.90 c #Conflicts: 74000 | #Constraints: 44736
128.54/128.90 c #Conflicts: 75000 | #Constraints: 45736
335.49/336.41 c #Conflicts: 76000 | #Constraints: 46736
335.49/336.41 c #Conflicts: 77000 | #Constraints: 47736
335.49/336.41 c #Conflicts: 78000 | #Constraints: 48736
335.49/336.41 c #Conflicts: 79000 | #Constraints: 49736
335.49/336.41 c INPROCESSING
335.49/336.41 c #Conflicts: 80000 | #Constraints: 42116
335.49/336.41 c #Conflicts: 81000 | #Constraints: 43116
335.49/336.41 c #Conflicts: 82000 | #Constraints: 44116
335.49/336.41 c #Conflicts: 83000 | #Constraints: 45116
335.49/336.41 c #Conflicts: 84000 | #Constraints: 46116
335.49/336.41 c #Conflicts: 85000 | #Constraints: 47116
335.49/336.41 c #Conflicts: 86000 | #Constraints: 48116
335.49/336.41 c #Conflicts: 87000 | #Constraints: 49116
335.49/336.41 c #Conflicts: 88000 | #Constraints: 50116
335.49/336.41 c INPROCESSING
335.49/336.41 c GARBAGE COLLECT
335.49/336.41 c #Conflicts: 89000 | #Constraints: 42298
335.49/336.41 c #Conflicts: 90000 | #Constraints: 43298
335.49/336.41 c #Conflicts: 91000 | #Constraints: 44298
335.49/336.41 c #Conflicts: 92000 | #Constraints: 45298
335.49/336.41 c #Conflicts: 93000 | #Constraints: 46298
335.49/336.41 c #Conflicts: 94000 | #Constraints: 47298
335.49/336.41 c #Conflicts: 95000 | #Constraints: 48298
335.49/336.41 c #Conflicts: 96000 | #Constraints: 49298
335.49/336.41 c #Conflicts: 97000 | #Constraints: 50298
335.49/336.41 c INPROCESSING
335.49/336.41 c #Conflicts: 98000 | #Constraints: 42289
335.49/336.41 c #Conflicts: 99000 | #Constraints: 43289
335.49/336.41 c #Conflicts: 100000 | #Constraints: 44289
335.49/336.41 c #Conflicts: 101000 | #Constraints: 45289
335.49/336.41 c #Conflicts: 102000 | #Constraints: 46289
335.49/336.41 c #Conflicts: 103000 | #Constraints: 47289
335.49/336.41 c #Conflicts: 104000 | #Constraints: 48289
335.49/336.41 c #Conflicts: 105000 | #Constraints: 49289
335.49/336.41 c #Conflicts: 106000 | #Constraints: 50289
335.49/336.41 c INPROCESSING
335.49/336.41 c #Conflicts: 107000 | #Constraints: 42074
335.49/336.41 c #Conflicts: 108000 | #Constraints: 43074
335.49/336.41 c #Conflicts: 109000 | #Constraints: 44074
335.49/336.41 c #Conflicts: 110000 | #Constraints: 45074
335.49/336.41 c #Conflicts: 111000 | #Constraints: 46074
335.49/336.41 c #Conflicts: 112000 | #Constraints: 47074
335.49/336.41 c #Conflicts: 113000 | #Constraints: 48074
335.49/336.41 c #Conflicts: 114000 | #Constraints: 49074
335.49/336.41 c #Conflicts: 115000 | #Constraints: 50074
335.49/336.41 c #Conflicts: 116000 | #Constraints: 51074
335.49/336.41 c INPROCESSING
335.49/336.41 c GARBAGE COLLECT
335.49/336.41 c #Conflicts: 117000 | #Constraints: 42681
335.49/336.41 c #Conflicts: 118000 | #Constraints: 43681
335.49/336.41 c #Conflicts: 119000 | #Constraints: 44681
335.49/336.41 c #Conflicts: 120000 | #Constraints: 45681
335.49/336.41 c #Conflicts: 121000 | #Constraints: 46681
335.49/336.41 c #Conflicts: 122000 | #Constraints: 47681
335.49/336.41 c #Conflicts: 123000 | #Constraints: 48681
335.49/336.41 c #Conflicts: 124000 | #Constraints: 49681
335.49/336.41 c #Conflicts: 125000 | #Constraints: 50681
335.49/336.41 c #Conflicts: 126000 | #Constraints: 51681
335.49/336.41 c INPROCESSING
335.49/336.41 c #Conflicts: 127000 | #Constraints: 43086
335.49/336.41 c #Conflicts: 128000 | #Constraints: 44086
335.49/336.41 c #Conflicts: 129000 | #Constraints: 45086
335.49/336.41 c #Conflicts: 130000 | #Constraints: 46086
335.49/336.41 c #Conflicts: 131000 | #Constraints: 47086
335.49/336.41 c #Conflicts: 132000 | #Constraints: 48086
335.49/336.41 c #Conflicts: 133000 | #Constraints: 49086
335.49/336.41 c #Conflicts: 134000 | #Constraints: 50086
335.49/336.41 c #Conflicts: 135000 | #Constraints: 51086
335.49/336.41 c #Conflicts: 136000 | #Constraints: 52086
335.49/336.41 c INPROCESSING
335.49/336.41 c GARBAGE COLLECT
335.49/336.41 c #Conflicts: 137000 | #Constraints: 43283
335.49/336.41 c #Conflicts: 138000 | #Constraints: 44283
335.49/336.41 c #Conflicts: 139000 | #Constraints: 45283
335.49/336.41 c #Conflicts: 140000 | #Constraints: 46283
335.49/336.41 c #Conflicts: 141000 | #Constraints: 47283
335.49/336.41 c #Conflicts: 142000 | #Constraints: 48283
335.49/336.41 c #Conflicts: 143000 | #Constraints: 49283
335.49/336.41 c #Conflicts: 144000 | #Constraints: 50283
335.49/336.41 c #Conflicts: 145000 | #Constraints: 51283
335.49/336.41 c #Conflicts: 146000 | #Constraints: 52283
335.49/336.41 c INPROCESSING
335.49/336.41 c #Conflicts: 147000 | #Constraints: 43286
335.49/336.41 c #Conflicts: 148000 | #Constraints: 44286
335.49/336.41 c #Conflicts: 149000 | #Constraints: 45286
335.49/336.41 c #Conflicts: 150000 | #Constraints: 46286
335.49/336.41 c #Conflicts: 151000 | #Constraints: 47286
557.60/559.15 c #Conflicts: 152000 | #Constraints: 48286
557.60/559.15 c #Conflicts: 153000 | #Constraints: 49286
557.60/559.15 c #Conflicts: 154000 | #Constraints: 50286
557.60/559.15 c #Conflicts: 155000 | #Constraints: 51286
557.60/559.15 c #Conflicts: 156000 | #Constraints: 52286
557.60/559.15 c INPROCESSING
557.60/559.15 c #Conflicts: 157000 | #Constraints: 43099
557.60/559.15 c #Conflicts: 158000 | #Constraints: 44099
557.60/559.15 c #Conflicts: 159000 | #Constraints: 45099
557.60/559.15 c #Conflicts: 160000 | #Constraints: 46099
557.60/559.15 c #Conflicts: 161000 | #Constraints: 47099
557.60/559.15 c #Conflicts: 162000 | #Constraints: 48099
557.60/559.15 c #Conflicts: 163000 | #Constraints: 49099
557.60/559.15 c #Conflicts: 164000 | #Constraints: 50099
557.60/559.15 c #Conflicts: 165000 | #Constraints: 51099
557.60/559.15 c #Conflicts: 166000 | #Constraints: 52099
557.60/559.15 c #Conflicts: 167000 | #Constraints: 53099
557.60/559.15 c INPROCESSING
557.60/559.15 c GARBAGE COLLECT
557.60/559.15 c #Conflicts: 168000 | #Constraints: 43696
557.60/559.15 c #Conflicts: 169000 | #Constraints: 44696
557.60/559.15 c #Conflicts: 170000 | #Constraints: 45696
557.60/559.15 c #Conflicts: 171000 | #Constraints: 46696
557.60/559.15 c #Conflicts: 172000 | #Constraints: 47696
557.60/559.15 c #Conflicts: 173000 | #Constraints: 48696
557.60/559.15 c #Conflicts: 174000 | #Constraints: 49696
557.60/559.15 c #Conflicts: 175000 | #Constraints: 50696
557.60/559.15 c #Conflicts: 176000 | #Constraints: 51696
557.60/559.15 c #Conflicts: 177000 | #Constraints: 52696
557.60/559.15 c #Conflicts: 178000 | #Constraints: 53696
557.60/559.15 c INPROCESSING
557.60/559.15 c #Conflicts: 179000 | #Constraints: 44103
557.60/559.15 c #Conflicts: 180000 | #Constraints: 45103
557.60/559.15 c #Conflicts: 181000 | #Constraints: 46103
557.60/559.15 c #Conflicts: 182000 | #Constraints: 47103
557.60/559.15 c #Conflicts: 183000 | #Constraints: 48103
557.60/559.15 c #Conflicts: 184000 | #Constraints: 49103
557.60/559.15 c #Conflicts: 185000 | #Constraints: 50103
557.60/559.15 c #Conflicts: 186000 | #Constraints: 51103
557.60/559.15 c #Conflicts: 187000 | #Constraints: 52103
557.60/559.15 c #Conflicts: 188000 | #Constraints: 53103
557.60/559.15 c #Conflicts: 189000 | #Constraints: 54103
557.60/559.15 c INPROCESSING
557.60/559.15 c #Conflicts: 190000 | #Constraints: 44313
557.60/559.15 c #Conflicts: 191000 | #Constraints: 45313
557.60/559.15 c #Conflicts: 192000 | #Constraints: 46313
557.60/559.15 c #Conflicts: 193000 | #Constraints: 47313
557.60/559.15 c #Conflicts: 194000 | #Constraints: 48313
557.60/559.15 c #Conflicts: 195000 | #Constraints: 49313
557.60/559.15 c #Conflicts: 196000 | #Constraints: 50313
557.60/559.15 c #Conflicts: 197000 | #Constraints: 51313
557.60/559.15 c #Conflicts: 198000 | #Constraints: 52313
557.60/559.15 c #Conflicts: 199000 | #Constraints: 53313
557.60/559.15 c #Conflicts: 200000 | #Constraints: 54313
557.60/559.15 c INPROCESSING
557.60/559.15 c GARBAGE COLLECT
557.60/559.15 c #Conflicts: 201000 | #Constraints: 44319
557.60/559.15 c #Conflicts: 202000 | #Constraints: 45319
557.60/559.15 c #Conflicts: 203000 | #Constraints: 46319
557.60/559.15 c #Conflicts: 204000 | #Constraints: 47319
557.60/559.15 c #Conflicts: 205000 | #Constraints: 48319
557.60/559.15 c #Conflicts: 206000 | #Constraints: 49319
557.60/559.15 c #Conflicts: 207000 | #Constraints: 50319
557.60/559.15 c #Conflicts: 208000 | #Constraints: 51319
557.60/559.15 c #Conflicts: 209000 | #Constraints: 52319
557.60/559.15 c #Conflicts: 210000 | #Constraints: 53319
557.60/559.15 c #Conflicts: 211000 | #Constraints: 54319
557.60/559.15 c INPROCESSING
557.60/559.15 c #Conflicts: 212000 | #Constraints: 44123
557.60/559.15 c #Conflicts: 213000 | #Constraints: 45123
557.60/559.15 c #Conflicts: 214000 | #Constraints: 46123
557.60/559.15 c #Conflicts: 215000 | #Constraints: 47123
557.60/559.15 c #Conflicts: 216000 | #Constraints: 48123
557.60/559.15 c #Conflicts: 217000 | #Constraints: 49123
557.60/559.15 c #Conflicts: 218000 | #Constraints: 50123
557.60/559.15 c #Conflicts: 219000 | #Constraints: 51123
557.60/559.15 c #Conflicts: 220000 | #Constraints: 52123
557.60/559.15 c #Conflicts: 221000 | #Constraints: 53123
557.60/559.15 c #Conflicts: 222000 | #Constraints: 54123
557.60/559.15 c #Conflicts: 223000 | #Constraints: 55123
557.60/559.15 c INPROCESSING
557.60/559.15 c #Conflicts: 224000 | #Constraints: 44736
557.60/559.15 c #Conflicts: 225000 | #Constraints: 45736
557.60/559.15 c #Conflicts: 226000 | #Constraints: 46736
557.60/559.15 c #Conflicts: 227000 | #Constraints: 47736
740.40/742.47 c #Conflicts: 228000 | #Constraints: 48736
740.40/742.47 c #Conflicts: 229000 | #Constraints: 49736
740.40/742.47 c #Conflicts: 230000 | #Constraints: 50736
740.40/742.47 c #Conflicts: 231000 | #Constraints: 51736
740.40/742.47 c #Conflicts: 232000 | #Constraints: 52736
740.40/742.47 c #Conflicts: 233000 | #Constraints: 53736
740.40/742.47 c #Conflicts: 234000 | #Constraints: 54736
740.40/742.47 c #Conflicts: 235000 | #Constraints: 55736
740.40/742.47 c INPROCESSING
740.40/742.47 c GARBAGE COLLECT
740.40/742.47 c #Conflicts: 236000 | #Constraints: 45131
740.40/742.47 c #Conflicts: 237000 | #Constraints: 46131
740.40/742.47 c #Conflicts: 238000 | #Constraints: 47131
740.40/742.47 c #Conflicts: 239000 | #Constraints: 48131
740.40/742.47 c #Conflicts: 240000 | #Constraints: 49131
740.40/742.47 c #Conflicts: 241000 | #Constraints: 50131
740.40/742.47 c #Conflicts: 242000 | #Constraints: 51131
740.40/742.47 c #Conflicts: 243000 | #Constraints: 52131
740.40/742.47 c #Conflicts: 244000 | #Constraints: 53131
740.40/742.47 c #Conflicts: 245000 | #Constraints: 54131
740.40/742.47 c #Conflicts: 246000 | #Constraints: 55131
740.40/742.47 c #Conflicts: 247000 | #Constraints: 56131
740.40/742.47 c INPROCESSING
740.40/742.47 c #Conflicts: 248000 | #Constraints: 45330
740.40/742.47 c #Conflicts: 249000 | #Constraints: 46330
740.40/742.47 c #Conflicts: 250000 | #Constraints: 47330
740.40/742.47 c #Conflicts: 251000 | #Constraints: 48330
740.40/742.47 c #Conflicts: 252000 | #Constraints: 49330
740.40/742.47 c #Conflicts: 253000 | #Constraints: 50330
740.40/742.47 c #Conflicts: 254000 | #Constraints: 51330
740.40/742.47 c #Conflicts: 255000 | #Constraints: 52330
740.40/742.47 c #Conflicts: 256000 | #Constraints: 53330
740.40/742.47 c #Conflicts: 257000 | #Constraints: 54330
740.40/742.47 c #Conflicts: 258000 | #Constraints: 55330
740.40/742.47 c #Conflicts: 259000 | #Constraints: 56330
740.40/742.47 c INPROCESSING
740.40/742.47 c GARBAGE COLLECT
740.40/742.47 c #Conflicts: 260000 | #Constraints: 45345
740.40/742.47 c #Conflicts: 261000 | #Constraints: 46345
740.40/742.47 c #Conflicts: 262000 | #Constraints: 47345
740.40/742.47 c #Conflicts: 263000 | #Constraints: 48345
740.40/742.47 c #Conflicts: 264000 | #Constraints: 49345
740.40/742.47 c #Conflicts: 265000 | #Constraints: 50345
740.40/742.47 c #Conflicts: 266000 | #Constraints: 51345
740.40/742.47 c #Conflicts: 267000 | #Constraints: 52345
740.40/742.47 c #Conflicts: 268000 | #Constraints: 53345
740.40/742.47 c #Conflicts: 269000 | #Constraints: 54345
740.40/742.47 c #Conflicts: 270000 | #Constraints: 55345
740.40/742.47 c #Conflicts: 271000 | #Constraints: 56345
740.40/742.47 c INPROCESSING
740.40/742.47 c #Conflicts: 272000 | #Constraints: 45136
740.40/742.47 c #Conflicts: 273000 | #Constraints: 46136
740.40/742.47 c #Conflicts: 274000 | #Constraints: 47136
740.40/742.47 c #Conflicts: 275000 | #Constraints: 48136
740.40/742.47 c #Conflicts: 276000 | #Constraints: 49136
740.40/742.47 c #Conflicts: 277000 | #Constraints: 50136
740.40/742.47 c #Conflicts: 278000 | #Constraints: 51136
740.40/742.47 c #Conflicts: 279000 | #Constraints: 52136
740.40/742.47 c #Conflicts: 280000 | #Constraints: 53136
740.40/742.47 c #Conflicts: 281000 | #Constraints: 54136
740.40/742.47 c #Conflicts: 282000 | #Constraints: 55136
740.40/742.47 c #Conflicts: 283000 | #Constraints: 56136
740.40/742.47 c #Conflicts: 284000 | #Constraints: 57136
740.40/742.47 c INPROCESSING
740.40/742.47 c GARBAGE COLLECT
740.40/742.47 c #Conflicts: 285000 | #Constraints: 45729
740.40/742.47 c #Conflicts: 286000 | #Constraints: 46729
740.40/742.47 c #Conflicts: 287000 | #Constraints: 47729
740.40/742.47 c #Conflicts: 288000 | #Constraints: 48729
740.40/742.47 c #Conflicts: 289000 | #Constraints: 49729
740.40/742.47 c #Conflicts: 290000 | #Constraints: 50729
740.40/742.47 c #Conflicts: 291000 | #Constraints: 51729
740.40/742.47 c #Conflicts: 292000 | #Constraints: 52729
740.40/742.47 c #Conflicts: 293000 | #Constraints: 53729
740.40/742.47 c #Conflicts: 294000 | #Constraints: 54729
740.40/742.47 c #Conflicts: 295000 | #Constraints: 55729
740.40/742.47 c #Conflicts: 296000 | #Constraints: 56729
740.40/742.47 c #Conflicts: 297000 | #Constraints: 57729
740.40/742.47 c INPROCESSING
740.40/742.47 c #Conflicts: 298000 | #Constraints: 46128
740.40/742.47 c #Conflicts: 299000 | #Constraints: 47128
740.40/742.47 c #Conflicts: 300000 | #Constraints: 48128
740.40/742.47 c #Conflicts: 301000 | #Constraints: 49128
740.40/742.47 c #Conflicts: 302000 | #Constraints: 50128
740.40/742.47 c #Conflicts: 303000 | #Constraints: 51128
962.20/964.88 c #Conflicts: 304000 | #Constraints: 52128
962.20/964.88 c #Conflicts: 305000 | #Constraints: 53128
962.20/964.88 c #Conflicts: 306000 | #Constraints: 54128
962.20/964.88 c #Conflicts: 307000 | #Constraints: 55128
962.20/964.88 c #Conflicts: 308000 | #Constraints: 56128
962.20/964.88 c #Conflicts: 309000 | #Constraints: 57128
962.20/964.88 c #Conflicts: 310000 | #Constraints: 58128
962.20/964.88 c INPROCESSING
962.20/964.88 c GARBAGE COLLECT
962.20/964.88 c #Conflicts: 311000 | #Constraints: 46340
962.20/964.88 c #Conflicts: 312000 | #Constraints: 47340
962.20/964.88 c #Conflicts: 313000 | #Constraints: 48340
962.20/964.88 c #Conflicts: 314000 | #Constraints: 49340
962.20/964.88 c #Conflicts: 315000 | #Constraints: 50340
962.20/964.88 c #Conflicts: 316000 | #Constraints: 51340
962.20/964.88 c #Conflicts: 317000 | #Constraints: 52340
962.20/964.88 c #Conflicts: 318000 | #Constraints: 53340
962.20/964.88 c #Conflicts: 319000 | #Constraints: 54340
962.20/964.88 c #Conflicts: 320000 | #Constraints: 55340
962.20/964.88 c #Conflicts: 321000 | #Constraints: 56340
962.20/964.88 c #Conflicts: 322000 | #Constraints: 57340
962.20/964.88 c #Conflicts: 323000 | #Constraints: 58340
962.20/964.88 c INPROCESSING
962.20/964.88 c #Conflicts: 324000 | #Constraints: 46355
962.20/964.88 c #Conflicts: 325000 | #Constraints: 47355
962.20/964.88 c #Conflicts: 326000 | #Constraints: 48355
962.20/964.88 c #Conflicts: 327000 | #Constraints: 49355
962.20/964.88 c #Conflicts: 328000 | #Constraints: 50355
962.20/964.88 c #Conflicts: 329000 | #Constraints: 51355
962.20/964.88 c #Conflicts: 330000 | #Constraints: 52355
962.20/964.88 c #Conflicts: 331000 | #Constraints: 53355
962.20/964.88 c #Conflicts: 332000 | #Constraints: 54355
962.20/964.88 c #Conflicts: 333000 | #Constraints: 55355
962.20/964.88 c #Conflicts: 334000 | #Constraints: 56355
962.20/964.88 c #Conflicts: 335000 | #Constraints: 57355
962.20/964.88 c #Conflicts: 336000 | #Constraints: 58355
962.20/964.88 c INPROCESSING
962.20/964.88 c GARBAGE COLLECT
962.20/964.88 c #Conflicts: 337000 | #Constraints: 46153
962.20/964.88 c #Conflicts: 338000 | #Constraints: 47153
962.20/964.88 c #Conflicts: 339000 | #Constraints: 48153
962.20/964.88 c #Conflicts: 340000 | #Constraints: 49153
962.20/964.88 c #Conflicts: 341000 | #Constraints: 50153
962.20/964.88 c #Conflicts: 342000 | #Constraints: 51153
962.20/964.88 c #Conflicts: 343000 | #Constraints: 52153
962.20/964.88 c #Conflicts: 344000 | #Constraints: 53153
962.20/964.88 c #Conflicts: 345000 | #Constraints: 54153
962.20/964.88 c #Conflicts: 346000 | #Constraints: 55153
962.20/964.88 c #Conflicts: 347000 | #Constraints: 56153
962.20/964.88 c #Conflicts: 348000 | #Constraints: 57153
962.20/964.88 c #Conflicts: 349000 | #Constraints: 58153
962.20/964.88 c #Conflicts: 350000 | #Constraints: 59153
962.20/964.88 c INPROCESSING
962.20/964.88 c #Conflicts: 351000 | #Constraints: 46763
962.20/964.88 c #Conflicts: 352000 | #Constraints: 47763
962.20/964.88 c #Conflicts: 353000 | #Constraints: 48763
962.20/964.88 c #Conflicts: 354000 | #Constraints: 49763
962.20/964.88 c #Conflicts: 355000 | #Constraints: 50763
962.20/964.88 c #Conflicts: 356000 | #Constraints: 51763
962.20/964.88 c #Conflicts: 357000 | #Constraints: 52763
962.20/964.88 c #Conflicts: 358000 | #Constraints: 53763
962.20/964.88 c #Conflicts: 359000 | #Constraints: 54763
962.20/964.88 c #Conflicts: 360000 | #Constraints: 55763
962.20/964.88 c #Conflicts: 361000 | #Constraints: 56763
962.20/964.88 c #Conflicts: 362000 | #Constraints: 57763
962.20/964.88 c #Conflicts: 363000 | #Constraints: 58763
962.20/964.88 c #Conflicts: 364000 | #Constraints: 59763
962.20/964.88 c INPROCESSING
962.20/964.88 c GARBAGE COLLECT
962.20/964.88 c #Conflicts: 365000 | #Constraints: 47151
962.20/964.88 c #Conflicts: 366000 | #Constraints: 48151
962.20/964.88 c #Conflicts: 367000 | #Constraints: 49151
962.20/964.88 c #Conflicts: 368000 | #Constraints: 50151
962.20/964.88 c #Conflicts: 369000 | #Constraints: 51151
962.20/964.88 c #Conflicts: 370000 | #Constraints: 52151
962.20/964.88 c #Conflicts: 371000 | #Constraints: 53151
962.20/964.88 c #Conflicts: 372000 | #Constraints: 54151
962.20/964.88 c #Conflicts: 373000 | #Constraints: 55151
962.20/964.88 c #Conflicts: 374000 | #Constraints: 56151
962.20/964.88 c #Conflicts: 375000 | #Constraints: 57151
962.20/964.88 c #Conflicts: 376000 | #Constraints: 58151
962.20/964.88 c #Conflicts: 377000 | #Constraints: 59151
962.20/964.88 c #Conflicts: 378000 | #Constraints: 60151
962.20/964.88 c INPROCESSING
962.20/964.88 c #Conflicts: 379000 | #Constraints: 47347
1181.22/1184.46 c #Conflicts: 380000 | #Constraints: 48347
1181.22/1184.46 c #Conflicts: 381000 | #Constraints: 49347
1181.22/1184.46 c #Conflicts: 382000 | #Constraints: 50347
1181.22/1184.46 c #Conflicts: 383000 | #Constraints: 51347
1181.22/1184.46 c #Conflicts: 384000 | #Constraints: 52347
1181.22/1184.46 c #Conflicts: 385000 | #Constraints: 53347
1181.22/1184.46 c #Conflicts: 386000 | #Constraints: 54347
1181.22/1184.46 c #Conflicts: 387000 | #Constraints: 55347
1181.22/1184.46 c #Conflicts: 388000 | #Constraints: 56347
1181.22/1184.46 c #Conflicts: 389000 | #Constraints: 57347
1181.22/1184.46 c #Conflicts: 390000 | #Constraints: 58347
1181.22/1184.46 c #Conflicts: 391000 | #Constraints: 59347
1181.22/1184.46 c #Conflicts: 392000 | #Constraints: 60347
1181.22/1184.46 c INPROCESSING
1181.22/1184.46 c GARBAGE COLLECT
1181.22/1184.46 c #Conflicts: 393000 | #Constraints: 47305
1181.22/1184.46 c #Conflicts: 394000 | #Constraints: 48305
1181.22/1184.46 c #Conflicts: 395000 | #Constraints: 49305
1181.22/1184.46 c #Conflicts: 396000 | #Constraints: 50305
1181.22/1184.46 c #Conflicts: 397000 | #Constraints: 51305
1181.22/1184.46 c #Conflicts: 398000 | #Constraints: 52305
1181.22/1184.46 c #Conflicts: 399000 | #Constraints: 53305
1181.22/1184.46 c #Conflicts: 400000 | #Constraints: 54305
1181.22/1184.46 c #Conflicts: 401000 | #Constraints: 55305
1181.22/1184.46 c #Conflicts: 402000 | #Constraints: 56305
1181.22/1184.46 c #Conflicts: 403000 | #Constraints: 57305
1181.22/1184.46 c #Conflicts: 404000 | #Constraints: 58305
1181.22/1184.46 c #Conflicts: 405000 | #Constraints: 59305
1181.22/1184.46 c #Conflicts: 406000 | #Constraints: 60305
1181.22/1184.46 c INPROCESSING
1181.22/1184.46 c #Conflicts: 407000 | #Constraints: 47111
1181.22/1184.46 c #Conflicts: 408000 | #Constraints: 48111
1181.22/1184.46 c #Conflicts: 409000 | #Constraints: 49111
1181.22/1184.46 c #Conflicts: 410000 | #Constraints: 50111
1181.22/1184.46 c #Conflicts: 411000 | #Constraints: 51111
1181.22/1184.46 c #Conflicts: 412000 | #Constraints: 52111
1181.22/1184.46 c #Conflicts: 413000 | #Constraints: 53111
1181.22/1184.46 c #Conflicts: 414000 | #Constraints: 54111
1181.22/1184.46 c #Conflicts: 415000 | #Constraints: 55111
1181.22/1184.46 c #Conflicts: 416000 | #Constraints: 56111
1181.22/1184.46 c #Conflicts: 417000 | #Constraints: 57111
1181.22/1184.46 c #Conflicts: 418000 | #Constraints: 58111
1181.22/1184.46 c #Conflicts: 419000 | #Constraints: 59111
1181.22/1184.46 c #Conflicts: 420000 | #Constraints: 60111
1181.22/1184.46 c #Conflicts: 421000 | #Constraints: 61111
1181.22/1184.46 c INPROCESSING
1181.22/1184.46 c GARBAGE COLLECT
1181.22/1184.46 c #Conflicts: 422000 | #Constraints: 47720
1181.22/1184.46 c #Conflicts: 423000 | #Constraints: 48720
1181.22/1184.46 c #Conflicts: 424000 | #Constraints: 49720
1181.22/1184.46 c #Conflicts: 425000 | #Constraints: 50720
1181.22/1184.46 c #Conflicts: 426000 | #Constraints: 51720
1181.22/1184.46 c #Conflicts: 427000 | #Constraints: 52720
1181.22/1184.46 c #Conflicts: 428000 | #Constraints: 53720
1181.22/1184.46 c #Conflicts: 429000 | #Constraints: 54720
1181.22/1184.46 c #Conflicts: 430000 | #Constraints: 55720
1181.22/1184.46 c #Conflicts: 431000 | #Constraints: 56720
1181.22/1184.46 c #Conflicts: 432000 | #Constraints: 57720
1181.22/1184.46 c #Conflicts: 433000 | #Constraints: 58720
1181.22/1184.46 c #Conflicts: 434000 | #Constraints: 59720
1181.22/1184.46 c #Conflicts: 435000 | #Constraints: 60720
1181.22/1184.46 c #Conflicts: 436000 | #Constraints: 61720
1181.22/1184.46 c INPROCESSING
1181.22/1184.46 c #Conflicts: 437000 | #Constraints: 48116
1181.22/1184.46 c #Conflicts: 438000 | #Constraints: 49116
1181.22/1184.46 c #Conflicts: 439000 | #Constraints: 50116
1181.22/1184.46 c #Conflicts: 440000 | #Constraints: 51116
1181.22/1184.46 c #Conflicts: 441000 | #Constraints: 52116
1181.22/1184.46 c #Conflicts: 442000 | #Constraints: 53116
1181.22/1184.46 c #Conflicts: 443000 | #Constraints: 54116
1181.22/1184.46 c #Conflicts: 444000 | #Constraints: 55116
1181.22/1184.46 c #Conflicts: 445000 | #Constraints: 56116
1181.22/1184.46 c #Conflicts: 446000 | #Constraints: 57116
1181.22/1184.46 c #Conflicts: 447000 | #Constraints: 58116
1181.22/1184.46 c #Conflicts: 448000 | #Constraints: 59116
1181.22/1184.46 c #Conflicts: 449000 | #Constraints: 60116
1181.22/1184.46 c #Conflicts: 450000 | #Constraints: 61116
1181.22/1184.46 c #Conflicts: 451000 | #Constraints: 62116
1181.22/1184.46 c INPROCESSING
1181.22/1184.46 c GARBAGE COLLECT
1181.22/1184.46 c #Conflicts: 452000 | #Constraints: 48310
1181.22/1184.46 c #Conflicts: 453000 | #Constraints: 49310
1181.22/1184.46 c #Conflicts: 454000 | #Constraints: 50310
1181.22/1184.46 c #Conflicts: 455000 | #Constraints: 51310
1396.35/1400.20 c #Conflicts: 456000 | #Constraints: 52310
1396.35/1400.20 c #Conflicts: 457000 | #Constraints: 53310
1396.35/1400.20 c #Conflicts: 458000 | #Constraints: 54310
1396.35/1400.20 c #Conflicts: 459000 | #Constraints: 55310
1396.35/1400.20 c #Conflicts: 460000 | #Constraints: 56310
1396.35/1400.20 c #Conflicts: 461000 | #Constraints: 57310
1396.35/1400.20 c #Conflicts: 462000 | #Constraints: 58310
1396.35/1400.20 c #Conflicts: 463000 | #Constraints: 59310
1396.35/1400.20 c #Conflicts: 464000 | #Constraints: 60310
1396.35/1400.20 c #Conflicts: 465000 | #Constraints: 61310
1396.35/1400.20 c #Conflicts: 466000 | #Constraints: 62310
1396.35/1400.20 c INPROCESSING
1396.35/1400.20 c #Conflicts: 467000 | #Constraints: 48297
1396.35/1400.20 c #Conflicts: 468000 | #Constraints: 49297
1396.35/1400.20 c #Conflicts: 469000 | #Constraints: 50297
1396.35/1400.20 c #Conflicts: 470000 | #Constraints: 51297
1396.35/1400.20 c #Conflicts: 471000 | #Constraints: 52297
1396.35/1400.20 c #Conflicts: 472000 | #Constraints: 53297
1396.35/1400.20 c #Conflicts: 473000 | #Constraints: 54297
1396.35/1400.20 c #Conflicts: 474000 | #Constraints: 55297
1396.35/1400.20 c #Conflicts: 475000 | #Constraints: 56297
1396.35/1400.20 c #Conflicts: 476000 | #Constraints: 57297
1396.35/1400.20 c #Conflicts: 477000 | #Constraints: 58297
1396.35/1400.20 c #Conflicts: 478000 | #Constraints: 59297
1396.35/1400.20 c #Conflicts: 479000 | #Constraints: 60297
1396.35/1400.20 c #Conflicts: 480000 | #Constraints: 61297
1396.35/1400.20 c #Conflicts: 481000 | #Constraints: 62297
1396.35/1400.20 c INPROCESSING
1396.35/1400.20 c GARBAGE COLLECT
1396.35/1400.20 c #Conflicts: 482000 | #Constraints: 48081
1396.35/1400.20 c #Conflicts: 483000 | #Constraints: 49081
1396.35/1400.20 c #Conflicts: 484000 | #Constraints: 50081
1396.35/1400.20 c #Conflicts: 485000 | #Constraints: 51081
1396.35/1400.20 c #Conflicts: 486000 | #Constraints: 52081
1396.35/1400.20 c #Conflicts: 487000 | #Constraints: 53081
1396.35/1400.20 c #Conflicts: 488000 | #Constraints: 54081
1396.35/1400.20 c #Conflicts: 489000 | #Constraints: 55081
1396.35/1400.20 c #Conflicts: 490000 | #Constraints: 56081
1396.35/1400.20 c #Conflicts: 491000 | #Constraints: 57081
1396.35/1400.20 c #Conflicts: 492000 | #Constraints: 58081
1396.35/1400.20 c #Conflicts: 493000 | #Constraints: 59081
1396.35/1400.20 c #Conflicts: 494000 | #Constraints: 60081
1396.35/1400.20 c #Conflicts: 495000 | #Constraints: 61081
1396.35/1400.20 c #Conflicts: 496000 | #Constraints: 62081
1396.35/1400.20 c #Conflicts: 497000 | #Constraints: 63081
1396.35/1400.20 c INPROCESSING
1396.35/1400.20 c #Conflicts: 498000 | #Constraints: 48677
1396.35/1400.20 c #Conflicts: 499000 | #Constraints: 49677
1396.35/1400.20 c #Conflicts: 500000 | #Constraints: 50677
1396.35/1400.20 c #Conflicts: 501000 | #Constraints: 51677
1396.35/1400.20 c #Conflicts: 502000 | #Constraints: 52677
1396.35/1400.20 c #Conflicts: 503000 | #Constraints: 53677
1396.35/1400.20 c #Conflicts: 504000 | #Constraints: 54677
1396.35/1400.20 c #Conflicts: 505000 | #Constraints: 55677
1396.35/1400.20 c #Conflicts: 506000 | #Constraints: 56677
1396.35/1400.20 c #Conflicts: 507000 | #Constraints: 57677
1396.35/1400.20 c #Conflicts: 508000 | #Constraints: 58677
1396.35/1400.20 c #Conflicts: 509000 | #Constraints: 59677
1396.35/1400.20 c #Conflicts: 510000 | #Constraints: 60677
1396.35/1400.20 c #Conflicts: 511000 | #Constraints: 61677
1396.35/1400.20 c #Conflicts: 512000 | #Constraints: 62677
1396.35/1400.20 c #Conflicts: 513000 | #Constraints: 63677
1396.35/1400.20 c INPROCESSING
1396.35/1400.20 c GARBAGE COLLECT
1396.35/1400.20 c #Conflicts: 514000 | #Constraints: 49084
1396.35/1400.20 c #Conflicts: 515000 | #Constraints: 50084
1396.35/1400.20 c #Conflicts: 516000 | #Constraints: 51084
1396.35/1400.20 c #Conflicts: 517000 | #Constraints: 52084
1396.35/1400.20 c #Conflicts: 518000 | #Constraints: 53084
1396.35/1400.20 c #Conflicts: 519000 | #Constraints: 54084
1396.35/1400.20 c #Conflicts: 520000 | #Constraints: 55084
1396.35/1400.20 c #Conflicts: 521000 | #Constraints: 56084
1396.35/1400.20 c #Conflicts: 522000 | #Constraints: 57084
1396.35/1400.20 c #Conflicts: 523000 | #Constraints: 58084
1396.35/1400.20 c #Conflicts: 524000 | #Constraints: 59084
1396.35/1400.20 c #Conflicts: 525000 | #Constraints: 60084
1396.35/1400.20 c #Conflicts: 526000 | #Constraints: 61084
1396.35/1400.20 c #Conflicts: 527000 | #Constraints: 62084
1396.35/1400.20 c #Conflicts: 528000 | #Constraints: 63084
1396.35/1400.20 c #Conflicts: 529000 | #Constraints: 64084
1396.35/1400.20 c INPROCESSING
1396.35/1400.20 c #Conflicts: 530000 | #Constraints: 49276
1396.35/1400.20 c #Conflicts: 531000 | #Constraints: 50276
1396.35/1400.20 c #Conflicts: 532000 | #Constraints: 51276
1641.59/1646.02 c #Conflicts: 533000 | #Constraints: 52276
1641.59/1646.02 c #Conflicts: 534000 | #Constraints: 53276
1641.59/1646.02 c #Conflicts: 535000 | #Constraints: 54276
1641.59/1646.02 c #Conflicts: 536000 | #Constraints: 55276
1641.59/1646.02 c #Conflicts: 537000 | #Constraints: 56276
1641.59/1646.02 c #Conflicts: 538000 | #Constraints: 57276
1641.59/1646.02 c #Conflicts: 539000 | #Constraints: 58276
1641.59/1646.02 c #Conflicts: 540000 | #Constraints: 59276
1641.59/1646.02 c #Conflicts: 541000 | #Constraints: 60276
1641.59/1646.02 c #Conflicts: 542000 | #Constraints: 61276
1641.59/1646.02 c #Conflicts: 543000 | #Constraints: 62276
1641.59/1646.02 c #Conflicts: 544000 | #Constraints: 63276
1641.59/1646.02 c #Conflicts: 545000 | #Constraints: 64276
1641.59/1646.02 c INPROCESSING
1641.59/1646.02 c GARBAGE COLLECT
1641.59/1646.02 c #Conflicts: 546000 | #Constraints: 49289
1641.59/1646.02 c #Conflicts: 547000 | #Constraints: 50289
1641.59/1646.02 c #Conflicts: 548000 | #Constraints: 51289
1641.59/1646.02 c #Conflicts: 549000 | #Constraints: 52289
1641.59/1646.02 c #Conflicts: 550000 | #Constraints: 53289
1641.59/1646.02 c #Conflicts: 551000 | #Constraints: 54289
1641.59/1646.02 c #Conflicts: 552000 | #Constraints: 55289
1641.59/1646.02 c #Conflicts: 553000 | #Constraints: 56289
1641.59/1646.02 c #Conflicts: 554000 | #Constraints: 57289
1641.59/1646.02 c #Conflicts: 555000 | #Constraints: 58289
1641.59/1646.02 c #Conflicts: 556000 | #Constraints: 59289
1641.59/1646.02 c #Conflicts: 557000 | #Constraints: 60289
1641.59/1646.02 c #Conflicts: 558000 | #Constraints: 61289
1641.59/1646.02 c #Conflicts: 559000 | #Constraints: 62289
1641.59/1646.02 c #Conflicts: 560000 | #Constraints: 63289
1641.59/1646.02 c #Conflicts: 561000 | #Constraints: 64289
1641.59/1646.02 c INPROCESSING
1641.59/1646.02 c GARBAGE COLLECT
1641.59/1646.02 c #Conflicts: 562000 | #Constraints: 49097
1641.59/1646.02 c #Conflicts: 563000 | #Constraints: 50097
1641.59/1646.02 c #Conflicts: 564000 | #Constraints: 51097
1641.59/1646.02 c #Conflicts: 565000 | #Constraints: 52097
1641.59/1646.02 c #Conflicts: 566000 | #Constraints: 53097
1641.59/1646.02 c #Conflicts: 567000 | #Constraints: 54097
1641.59/1646.02 c #Conflicts: 568000 | #Constraints: 55097
1641.59/1646.02 c #Conflicts: 569000 | #Constraints: 56097
1641.59/1646.02 c #Conflicts: 570000 | #Constraints: 57097
1641.59/1646.02 c #Conflicts: 571000 | #Constraints: 58097
1641.59/1646.02 c #Conflicts: 572000 | #Constraints: 59097
1641.59/1646.02 c #Conflicts: 573000 | #Constraints: 60097
1641.59/1646.02 c #Conflicts: 574000 | #Constraints: 61097
1641.59/1646.02 c #Conflicts: 575000 | #Constraints: 62097
1641.59/1646.02 c #Conflicts: 576000 | #Constraints: 63097
1641.59/1646.02 c #Conflicts: 577000 | #Constraints: 64097
1641.59/1646.02 c #Conflicts: 578000 | #Constraints: 65097
1641.59/1646.02 c INPROCESSING
1641.59/1646.02 c GARBAGE COLLECT
1641.59/1646.02 c #Conflicts: 579000 | #Constraints: 49696
1641.59/1646.02 c #Conflicts: 580000 | #Constraints: 50696
1641.59/1646.02 c #Conflicts: 581000 | #Constraints: 51696
1641.59/1646.02 c #Conflicts: 582000 | #Constraints: 52696
1641.59/1646.02 c #Conflicts: 583000 | #Constraints: 53696
1641.59/1646.02 c #Conflicts: 584000 | #Constraints: 54696
1641.59/1646.02 c #Conflicts: 585000 | #Constraints: 55696
1641.59/1646.02 c #Conflicts: 586000 | #Constraints: 56696
1641.59/1646.02 c #Conflicts: 587000 | #Constraints: 57696
1641.59/1646.02 c #Conflicts: 588000 | #Constraints: 58696
1641.59/1646.02 c #Conflicts: 589000 | #Constraints: 59696
1641.59/1646.02 c #Conflicts: 590000 | #Constraints: 60696
1641.59/1646.02 c #Conflicts: 591000 | #Constraints: 61696
1641.59/1646.02 c #Conflicts: 592000 | #Constraints: 62696
1641.59/1646.02 c #Conflicts: 593000 | #Constraints: 63696
1641.59/1646.02 c #Conflicts: 594000 | #Constraints: 64696
1641.59/1646.02 c #Conflicts: 595000 | #Constraints: 65696
1641.59/1646.02 c INPROCESSING
1641.59/1646.02 c GARBAGE COLLECT
1641.59/1646.02 c #Conflicts: 596000 | #Constraints: 50102
1641.59/1646.02 c #Conflicts: 597000 | #Constraints: 51102
1641.59/1646.02 c #Conflicts: 598000 | #Constraints: 52102
1641.59/1646.02 c #Conflicts: 599000 | #Constraints: 53102
1641.59/1646.02 c #Conflicts: 600000 | #Constraints: 54102
1641.59/1646.02 c #Conflicts: 601000 | #Constraints: 55102
1641.59/1646.02 c #Conflicts: 602000 | #Constraints: 56102
1641.59/1646.02 c #Conflicts: 603000 | #Constraints: 57102
1641.59/1646.02 c #Conflicts: 604000 | #Constraints: 58102
1641.59/1646.02 c #Conflicts: 605000 | #Constraints: 59102
1641.59/1646.02 c #Conflicts: 606000 | #Constraints: 60102
1641.59/1646.02 c #Conflicts: 607000 | #Constraints: 61102
1641.59/1646.02 c #Conflicts: 608000 | #Constraints: 62102
1882.43/1887.51 c #Conflicts: 609000 | #Constraints: 63102
1882.43/1887.51 c #Conflicts: 610000 | #Constraints: 64102
1882.43/1887.51 c #Conflicts: 611000 | #Constraints: 65102
1882.43/1887.51 c #Conflicts: 612000 | #Constraints: 66102
1882.43/1887.51 c INPROCESSING
1882.43/1887.51 c GARBAGE COLLECT
1882.43/1887.51 c #Conflicts: 613000 | #Constraints: 50286
1882.43/1887.51 c #Conflicts: 614000 | #Constraints: 51286
1882.43/1887.51 c #Conflicts: 615000 | #Constraints: 52286
1882.43/1887.51 c #Conflicts: 616000 | #Constraints: 53286
1882.43/1887.51 c #Conflicts: 617000 | #Constraints: 54286
1882.43/1887.51 c #Conflicts: 618000 | #Constraints: 55286
1882.43/1887.51 c #Conflicts: 619000 | #Constraints: 56286
1882.43/1887.51 c #Conflicts: 620000 | #Constraints: 57286
1882.43/1887.51 c #Conflicts: 621000 | #Constraints: 58286
1882.43/1887.51 c #Conflicts: 622000 | #Constraints: 59286
1882.43/1887.51 c #Conflicts: 623000 | #Constraints: 60286
1882.43/1887.51 c #Conflicts: 624000 | #Constraints: 61286
1882.43/1887.51 c #Conflicts: 625000 | #Constraints: 62286
1882.43/1887.51 c #Conflicts: 626000 | #Constraints: 63286
1882.43/1887.51 c #Conflicts: 627000 | #Constraints: 64286
1882.43/1887.51 c #Conflicts: 628000 | #Constraints: 65286
1882.43/1887.51 c #Conflicts: 629000 | #Constraints: 66286
1882.43/1887.51 c INPROCESSING
1882.43/1887.51 c GARBAGE COLLECT
1882.43/1887.51 c #Conflicts: 630000 | #Constraints: 50275
1882.43/1887.51 c #Conflicts: 631000 | #Constraints: 51275
1882.43/1887.51 c #Conflicts: 632000 | #Constraints: 52275
1882.43/1887.51 c #Conflicts: 633000 | #Constraints: 53275
1882.43/1887.51 c #Conflicts: 634000 | #Constraints: 54275
1882.43/1887.51 c #Conflicts: 635000 | #Constraints: 55275
1882.43/1887.51 c #Conflicts: 636000 | #Constraints: 56275
1882.43/1887.51 c #Conflicts: 637000 | #Constraints: 57275
1882.43/1887.51 c #Conflicts: 638000 | #Constraints: 58275
1882.43/1887.51 c #Conflicts: 639000 | #Constraints: 59275
1882.43/1887.51 c #Conflicts: 640000 | #Constraints: 60275
1882.43/1887.51 c #Conflicts: 641000 | #Constraints: 61275
1882.43/1887.51 c #Conflicts: 642000 | #Constraints: 62275
1882.43/1887.51 c #Conflicts: 643000 | #Constraints: 63275
1882.43/1887.51 c #Conflicts: 644000 | #Constraints: 64275
1882.43/1887.51 c #Conflicts: 645000 | #Constraints: 65275
1882.43/1887.51 c #Conflicts: 646000 | #Constraints: 66275
1882.43/1887.51 c INPROCESSING
1882.43/1887.51 c #Conflicts: 647000 | #Constraints: 50061
1882.43/1887.51 c #Conflicts: 648000 | #Constraints: 51061
1882.43/1887.51 c #Conflicts: 649000 | #Constraints: 52061
1882.43/1887.51 c #Conflicts: 650000 | #Constraints: 53061
1882.43/1887.51 c #Conflicts: 651000 | #Constraints: 54061
1882.43/1887.51 c #Conflicts: 652000 | #Constraints: 55061
1882.43/1887.51 c #Conflicts: 653000 | #Constraints: 56061
1882.43/1887.51 c #Conflicts: 654000 | #Constraints: 57061
1882.43/1887.51 c #Conflicts: 655000 | #Constraints: 58061
1882.43/1887.51 c #Conflicts: 656000 | #Constraints: 59061
1882.43/1887.51 c #Conflicts: 657000 | #Constraints: 60061
1882.43/1887.51 c #Conflicts: 658000 | #Constraints: 61061
1882.43/1887.51 c #Conflicts: 659000 | #Constraints: 62061
1882.43/1887.51 c #Conflicts: 660000 | #Constraints: 63061
1882.43/1887.51 c #Conflicts: 661000 | #Constraints: 64061
1882.43/1887.51 c #Conflicts: 662000 | #Constraints: 65061
1882.43/1887.51 c #Conflicts: 663000 | #Constraints: 66061
1882.43/1887.51 c #Conflicts: 664000 | #Constraints: 67061
1882.43/1887.51 c INPROCESSING
1882.43/1887.51 c GARBAGE COLLECT
1882.43/1887.51 c #Conflicts: 665000 | #Constraints: 50664
1882.43/1887.51 c #Conflicts: 666000 | #Constraints: 51664
1882.43/1887.51 c #Conflicts: 667000 | #Constraints: 52664
1882.43/1887.51 c #Conflicts: 668000 | #Constraints: 53664
1882.43/1887.51 c #Conflicts: 669000 | #Constraints: 54664
1882.43/1887.51 c #Conflicts: 670000 | #Constraints: 55664
1882.43/1887.51 c #Conflicts: 671000 | #Constraints: 56664
1882.43/1887.51 c #Conflicts: 672000 | #Constraints: 57664
1882.43/1887.51 c #Conflicts: 673000 | #Constraints: 58664
1882.43/1887.51 c #Conflicts: 674000 | #Constraints: 59664
1882.43/1887.51 c #Conflicts: 675000 | #Constraints: 60664
1882.43/1887.51 c #Conflicts: 676000 | #Constraints: 61664
1882.43/1887.51 c #Conflicts: 677000 | #Constraints: 62664
1882.43/1887.51 c #Conflicts: 678000 | #Constraints: 63664
1882.43/1887.51 c #Conflicts: 679000 | #Constraints: 64664
1882.43/1887.51 c #Conflicts: 680000 | #Constraints: 65664
1882.43/1887.51 c #Conflicts: 681000 | #Constraints: 66664
1882.43/1887.51 c #Conflicts: 682000 | #Constraints: 67664
1882.43/1887.51 c INPROCESSING
1882.43/1887.51 c GARBAGE COLLECT
1882.43/1887.51 c #Conflicts: 683000 | #Constraints: 51082
1882.43/1887.51 c #Conflicts: 684000 | #Constraints: 52082
2158.19/2164.05 c #Conflicts: 685000 | #Constraints: 53082
2158.19/2164.05 c #Conflicts: 686000 | #Constraints: 54082
2158.19/2164.05 c #Conflicts: 687000 | #Constraints: 55082
2158.19/2164.05 c #Conflicts: 688000 | #Constraints: 56082
2158.19/2164.05 c #Conflicts: 689000 | #Constraints: 57082
2158.19/2164.05 c #Conflicts: 690000 | #Constraints: 58082
2158.19/2164.05 c #Conflicts: 691000 | #Constraints: 59082
2158.19/2164.05 c #Conflicts: 692000 | #Constraints: 60082
2158.19/2164.05 c #Conflicts: 693000 | #Constraints: 61082
2158.19/2164.05 c #Conflicts: 694000 | #Constraints: 62082
2158.19/2164.05 c #Conflicts: 695000 | #Constraints: 63082
2158.19/2164.05 c #Conflicts: 696000 | #Constraints: 64082
2158.19/2164.05 c #Conflicts: 697000 | #Constraints: 65082
2158.19/2164.05 c #Conflicts: 698000 | #Constraints: 66082
2158.19/2164.05 c #Conflicts: 699000 | #Constraints: 67082
2158.19/2164.05 c #Conflicts: 700000 | #Constraints: 68082
2158.19/2164.05 c INPROCESSING
2158.19/2164.05 c GARBAGE COLLECT
2158.19/2164.05 c #Conflicts: 701000 | #Constraints: 51281
2158.19/2164.05 c #Conflicts: 702000 | #Constraints: 52281
2158.19/2164.05 c #Conflicts: 703000 | #Constraints: 53281
2158.19/2164.05 c #Conflicts: 704000 | #Constraints: 54281
2158.19/2164.05 c #Conflicts: 705000 | #Constraints: 55281
2158.19/2164.05 c #Conflicts: 706000 | #Constraints: 56281
2158.19/2164.05 c #Conflicts: 707000 | #Constraints: 57281
2158.19/2164.05 c #Conflicts: 708000 | #Constraints: 58281
2158.19/2164.05 c #Conflicts: 709000 | #Constraints: 59281
2158.19/2164.05 c #Conflicts: 710000 | #Constraints: 60281
2158.19/2164.05 c #Conflicts: 711000 | #Constraints: 61281
2158.19/2164.05 c #Conflicts: 712000 | #Constraints: 62281
2158.19/2164.05 c #Conflicts: 713000 | #Constraints: 63281
2158.19/2164.05 c #Conflicts: 714000 | #Constraints: 64281
2158.19/2164.05 c #Conflicts: 715000 | #Constraints: 65281
2158.19/2164.05 c #Conflicts: 716000 | #Constraints: 66281
2158.19/2164.05 c #Conflicts: 717000 | #Constraints: 67281
2158.19/2164.05 c #Conflicts: 718000 | #Constraints: 68281
2158.19/2164.05 c INPROCESSING
2158.19/2164.05 c GARBAGE COLLECT
2158.19/2164.05 c #Conflicts: 719000 | #Constraints: 51258
2158.19/2164.05 c #Conflicts: 720000 | #Constraints: 52258
2158.19/2164.05 c #Conflicts: 721000 | #Constraints: 53258
2158.19/2164.05 c #Conflicts: 722000 | #Constraints: 54258
2158.19/2164.05 c #Conflicts: 723000 | #Constraints: 55258
2158.19/2164.05 c #Conflicts: 724000 | #Constraints: 56258
2158.19/2164.05 c #Conflicts: 725000 | #Constraints: 57258
2158.19/2164.05 c #Conflicts: 726000 | #Constraints: 58258
2158.19/2164.05 c #Conflicts: 727000 | #Constraints: 59258
2158.19/2164.05 c #Conflicts: 728000 | #Constraints: 60258
2158.19/2164.05 c #Conflicts: 729000 | #Constraints: 61258
2158.19/2164.05 c #Conflicts: 730000 | #Constraints: 62258
2158.19/2164.05 c #Conflicts: 731000 | #Constraints: 63258
2158.19/2164.05 c #Conflicts: 732000 | #Constraints: 64258
2158.19/2164.05 c #Conflicts: 733000 | #Constraints: 65258
2158.19/2164.05 c #Conflicts: 734000 | #Constraints: 66258
2158.19/2164.05 c #Conflicts: 735000 | #Constraints: 67258
2158.19/2164.05 c #Conflicts: 736000 | #Constraints: 68258
2158.19/2164.05 c INPROCESSING
2158.19/2164.05 c GARBAGE COLLECT
2158.19/2164.05 c #Conflicts: 737000 | #Constraints: 51061
2158.19/2164.05 c #Conflicts: 738000 | #Constraints: 52061
2158.19/2164.05 c #Conflicts: 739000 | #Constraints: 53061
2158.19/2164.05 c #Conflicts: 740000 | #Constraints: 54061
2158.19/2164.05 c #Conflicts: 741000 | #Constraints: 55061
2158.19/2164.05 c #Conflicts: 742000 | #Constraints: 56061
2158.19/2164.05 c #Conflicts: 743000 | #Constraints: 57061
2158.19/2164.05 c #Conflicts: 744000 | #Constraints: 58061
2158.19/2164.05 c #Conflicts: 745000 | #Constraints: 59061
2158.19/2164.05 c #Conflicts: 746000 | #Constraints: 60061
2158.19/2164.05 c #Conflicts: 747000 | #Constraints: 61061
2158.19/2164.05 c #Conflicts: 748000 | #Constraints: 62061
2158.19/2164.05 c #Conflicts: 749000 | #Constraints: 63061
2158.19/2164.05 c #Conflicts: 750000 | #Constraints: 64061
2158.19/2164.05 c #Conflicts: 751000 | #Constraints: 65061
2158.19/2164.05 c #Conflicts: 752000 | #Constraints: 66061
2158.19/2164.05 c #Conflicts: 753000 | #Constraints: 67061
2158.19/2164.05 c #Conflicts: 754000 | #Constraints: 68061
2158.19/2164.05 c #Conflicts: 755000 | #Constraints: 69061
2158.19/2164.05 c INPROCESSING
2158.19/2164.05 c GARBAGE COLLECT
2158.19/2164.05 c #Conflicts: 756000 | #Constraints: 51685
2158.19/2164.05 c #Conflicts: 757000 | #Constraints: 52685
2158.19/2164.05 c #Conflicts: 758000 | #Constraints: 53685
2158.19/2164.05 c #Conflicts: 759000 | #Constraints: 54685
2158.19/2164.05 c #Conflicts: 760000 | #Constraints: 55685
2447.81/2454.50 c #Conflicts: 761000 | #Constraints: 56685
2447.81/2454.50 c #Conflicts: 762000 | #Constraints: 57685
2447.81/2454.50 c #Conflicts: 763000 | #Constraints: 58685
2447.81/2454.50 c #Conflicts: 764000 | #Constraints: 59685
2447.81/2454.50 c #Conflicts: 765000 | #Constraints: 60685
2447.81/2454.50 c #Conflicts: 766000 | #Constraints: 61685
2447.81/2454.50 c #Conflicts: 767000 | #Constraints: 62685
2447.81/2454.50 c #Conflicts: 768000 | #Constraints: 63685
2447.81/2454.50 c #Conflicts: 769000 | #Constraints: 64685
2447.81/2454.50 c #Conflicts: 770000 | #Constraints: 65685
2447.81/2454.50 c #Conflicts: 771000 | #Constraints: 66685
2447.81/2454.50 c #Conflicts: 772000 | #Constraints: 67685
2447.81/2454.50 c #Conflicts: 773000 | #Constraints: 68685
2447.81/2454.50 c #Conflicts: 774000 | #Constraints: 69685
2447.81/2454.50 c INPROCESSING
2447.81/2454.50 c GARBAGE COLLECT
2447.81/2454.50 c #Conflicts: 775000 | #Constraints: 52082
2447.81/2454.50 c #Conflicts: 776000 | #Constraints: 53082
2447.81/2454.50 c #Conflicts: 777000 | #Constraints: 54082
2447.81/2454.50 c #Conflicts: 778000 | #Constraints: 55082
2447.81/2454.50 c #Conflicts: 779000 | #Constraints: 56082
2447.81/2454.50 c #Conflicts: 780000 | #Constraints: 57082
2447.81/2454.50 c #Conflicts: 781000 | #Constraints: 58082
2447.81/2454.50 c #Conflicts: 782000 | #Constraints: 59082
2447.81/2454.50 c #Conflicts: 783000 | #Constraints: 60082
2447.81/2454.50 c #Conflicts: 784000 | #Constraints: 61082
2447.81/2454.50 c #Conflicts: 785000 | #Constraints: 62082
2447.81/2454.50 c #Conflicts: 786000 | #Constraints: 63082
2447.81/2454.50 c #Conflicts: 787000 | #Constraints: 64082
2447.81/2454.50 c #Conflicts: 788000 | #Constraints: 65082
2447.81/2454.50 c #Conflicts: 789000 | #Constraints: 66082
2447.81/2454.50 c #Conflicts: 790000 | #Constraints: 67082
2447.81/2454.50 c #Conflicts: 791000 | #Constraints: 68082
2447.81/2454.50 c #Conflicts: 792000 | #Constraints: 69082
2447.81/2454.50 c #Conflicts: 793000 | #Constraints: 70082
2447.81/2454.50 c INPROCESSING
2447.81/2454.50 c GARBAGE COLLECT
2447.81/2454.50 c #Conflicts: 794000 | #Constraints: 52283
2447.81/2454.50 c #Conflicts: 795000 | #Constraints: 53283
2447.81/2454.50 c #Conflicts: 796000 | #Constraints: 54283
2447.81/2454.50 c #Conflicts: 797000 | #Constraints: 55283
2447.81/2454.50 c #Conflicts: 798000 | #Constraints: 56283
2447.81/2454.50 c #Conflicts: 799000 | #Constraints: 57283
2447.81/2454.50 c #Conflicts: 800000 | #Constraints: 58283
2447.81/2454.50 c #Conflicts: 801000 | #Constraints: 59283
2447.81/2454.50 c #Conflicts: 802000 | #Constraints: 60283
2447.81/2454.50 c #Conflicts: 803000 | #Constraints: 61283
2447.81/2454.50 c #Conflicts: 804000 | #Constraints: 62283
2447.81/2454.50 c #Conflicts: 805000 | #Constraints: 63283
2447.81/2454.50 c #Conflicts: 806000 | #Constraints: 64283
2447.81/2454.50 c #Conflicts: 807000 | #Constraints: 65283
2447.81/2454.50 c #Conflicts: 808000 | #Constraints: 66283
2447.81/2454.50 c #Conflicts: 809000 | #Constraints: 67283
2447.81/2454.50 c #Conflicts: 810000 | #Constraints: 68283
2447.81/2454.50 c #Conflicts: 811000 | #Constraints: 69283
2447.81/2454.50 c #Conflicts: 812000 | #Constraints: 70283
2447.81/2454.50 c INPROCESSING
2447.81/2454.50 c #Conflicts: 813000 | #Constraints: 52277
2447.81/2454.50 c #Conflicts: 814000 | #Constraints: 53277
2447.81/2454.50 c #Conflicts: 815000 | #Constraints: 54277
2447.81/2454.50 c #Conflicts: 816000 | #Constraints: 55277
2447.81/2454.50 c #Conflicts: 817000 | #Constraints: 56277
2447.81/2454.50 c #Conflicts: 818000 | #Constraints: 57277
2447.81/2454.50 c #Conflicts: 819000 | #Constraints: 58277
2447.81/2454.50 c #Conflicts: 820000 | #Constraints: 59277
2447.81/2454.50 c #Conflicts: 821000 | #Constraints: 60277
2447.81/2454.50 c #Conflicts: 822000 | #Constraints: 61277
2447.81/2454.50 c #Conflicts: 823000 | #Constraints: 62277
2447.81/2454.50 c #Conflicts: 824000 | #Constraints: 63277
2447.81/2454.50 c #Conflicts: 825000 | #Constraints: 64277
2447.81/2454.50 c #Conflicts: 826000 | #Constraints: 65277
2447.81/2454.50 c #Conflicts: 827000 | #Constraints: 66277
2447.81/2454.50 c #Conflicts: 828000 | #Constraints: 67277
2447.81/2454.50 c #Conflicts: 829000 | #Constraints: 68277
2447.81/2454.50 c #Conflicts: 830000 | #Constraints: 69277
2447.81/2454.50 c #Conflicts: 831000 | #Constraints: 70277
2447.81/2454.50 c INPROCESSING
2447.81/2454.50 c GARBAGE COLLECT
2447.81/2454.50 c #Conflicts: 832000 | #Constraints: 52083
2447.81/2454.50 c #Conflicts: 833000 | #Constraints: 53083
2447.81/2454.50 c #Conflicts: 834000 | #Constraints: 54083
2447.81/2454.50 c #Conflicts: 835000 | #Constraints: 55083
2447.81/2454.50 c #Conflicts: 836000 | #Constraints: 56083
2447.81/2454.50 c #Conflicts: 837000 | #Constraints: 57083
2715.98/2723.34 c #Conflicts: 838000 | #Constraints: 58083
2715.98/2723.34 c #Conflicts: 839000 | #Constraints: 59083
2715.98/2723.34 c #Conflicts: 840000 | #Constraints: 60083
2715.98/2723.34 c #Conflicts: 841000 | #Constraints: 61083
2715.98/2723.34 c #Conflicts: 842000 | #Constraints: 62083
2715.98/2723.34 c #Conflicts: 843000 | #Constraints: 63083
2715.98/2723.34 c #Conflicts: 844000 | #Constraints: 64083
2715.98/2723.34 c #Conflicts: 845000 | #Constraints: 65083
2715.98/2723.34 c #Conflicts: 846000 | #Constraints: 66083
2715.98/2723.34 c #Conflicts: 847000 | #Constraints: 67083
2715.98/2723.34 c #Conflicts: 848000 | #Constraints: 68083
2715.98/2723.34 c #Conflicts: 849000 | #Constraints: 69083
2715.98/2723.34 c #Conflicts: 850000 | #Constraints: 70083
2715.98/2723.34 c #Conflicts: 851000 | #Constraints: 71083
2715.98/2723.34 c INPROCESSING
2715.98/2723.34 c GARBAGE COLLECT
2715.98/2723.34 c #Conflicts: 852000 | #Constraints: 52703
2715.98/2723.34 c #Conflicts: 853000 | #Constraints: 53703
2715.98/2723.34 c #Conflicts: 854000 | #Constraints: 54703
2715.98/2723.34 c #Conflicts: 855000 | #Constraints: 55703
2715.98/2723.34 c #Conflicts: 856000 | #Constraints: 56703
2715.98/2723.34 c #Conflicts: 857000 | #Constraints: 57703
2715.98/2723.34 c #Conflicts: 858000 | #Constraints: 58703
2715.98/2723.34 c #Conflicts: 859000 | #Constraints: 59703
2715.98/2723.34 c #Conflicts: 860000 | #Constraints: 60703
2715.98/2723.34 c #Conflicts: 861000 | #Constraints: 61703
2715.98/2723.34 c #Conflicts: 862000 | #Constraints: 62703
2715.98/2723.34 c #Conflicts: 863000 | #Constraints: 63703
2715.98/2723.34 c #Conflicts: 864000 | #Constraints: 64703
2715.98/2723.34 c #Conflicts: 865000 | #Constraints: 65703
2715.98/2723.34 c #Conflicts: 866000 | #Constraints: 66703
2715.98/2723.34 c #Conflicts: 867000 | #Constraints: 67703
2715.98/2723.34 c #Conflicts: 868000 | #Constraints: 68703
2715.98/2723.34 c #Conflicts: 869000 | #Constraints: 69703
2715.98/2723.34 c #Conflicts: 870000 | #Constraints: 70703
2715.98/2723.34 c #Conflicts: 871000 | #Constraints: 71703
2715.98/2723.34 c INPROCESSING
2715.98/2723.34 c GARBAGE COLLECT
2715.98/2723.34 c #Conflicts: 872000 | #Constraints: 53103
2715.98/2723.34 c #Conflicts: 873000 | #Constraints: 54103
2715.98/2723.34 c #Conflicts: 874000 | #Constraints: 55103
2715.98/2723.34 c #Conflicts: 875000 | #Constraints: 56103
2715.98/2723.34 c #Conflicts: 876000 | #Constraints: 57103
2715.98/2723.34 c #Conflicts: 877000 | #Constraints: 58103
2715.98/2723.34 c #Conflicts: 878000 | #Constraints: 59103
2715.98/2723.34 c #Conflicts: 879000 | #Constraints: 60103
2715.98/2723.34 c #Conflicts: 880000 | #Constraints: 61103
2715.98/2723.34 c #Conflicts: 881000 | #Constraints: 62103
2715.98/2723.34 c #Conflicts: 882000 | #Constraints: 63103
2715.98/2723.34 c #Conflicts: 883000 | #Constraints: 64103
2715.98/2723.34 c #Conflicts: 884000 | #Constraints: 65103
2715.98/2723.34 c #Conflicts: 885000 | #Constraints: 66103
2715.98/2723.34 c #Conflicts: 886000 | #Constraints: 67103
2715.98/2723.34 c #Conflicts: 887000 | #Constraints: 68103
2715.98/2723.34 c #Conflicts: 888000 | #Constraints: 69103
2715.98/2723.34 c #Conflicts: 889000 | #Constraints: 70103
2715.98/2723.34 c #Conflicts: 890000 | #Constraints: 71103
2715.98/2723.34 c #Conflicts: 891000 | #Constraints: 72103
2715.98/2723.34 c INPROCESSING
2715.98/2723.34 c GARBAGE COLLECT
2715.98/2723.34 c #Conflicts: 892000 | #Constraints: 53323
2715.98/2723.34 c #Conflicts: 893000 | #Constraints: 54323
2715.98/2723.34 c #Conflicts: 894000 | #Constraints: 55323
2715.98/2723.34 c #Conflicts: 895000 | #Constraints: 56323
2715.98/2723.34 c #Conflicts: 896000 | #Constraints: 57323
2715.98/2723.34 c #Conflicts: 897000 | #Constraints: 58323
2715.98/2723.34 c #Conflicts: 898000 | #Constraints: 59323
2715.98/2723.34 c #Conflicts: 899000 | #Constraints: 60323
2715.98/2723.34 c #Conflicts: 900000 | #Constraints: 61323
2715.98/2723.34 c #Conflicts: 901000 | #Constraints: 62323
2715.98/2723.34 c #Conflicts: 902000 | #Constraints: 63323
2715.98/2723.34 c #Conflicts: 903000 | #Constraints: 64323
2715.98/2723.34 c #Conflicts: 904000 | #Constraints: 65323
2715.98/2723.34 c #Conflicts: 905000 | #Constraints: 66323
2715.98/2723.34 c #Conflicts: 906000 | #Constraints: 67323
2715.98/2723.34 c #Conflicts: 907000 | #Constraints: 68323
2715.98/2723.34 c #Conflicts: 908000 | #Constraints: 69323
2715.98/2723.34 c #Conflicts: 909000 | #Constraints: 70323
2715.98/2723.34 c #Conflicts: 910000 | #Constraints: 71323
2715.98/2723.34 c #Conflicts: 911000 | #Constraints: 72323
2715.98/2723.34 c INPROCESSING
2715.98/2723.34 c GARBAGE COLLECT
2715.98/2723.34 c #Conflicts: 912000 | #Constraints: 53333
2715.98/2723.34 c #Conflicts: 913000 | #Constraints: 54333
2993.20/3001.26 c #Conflicts: 914000 | #Constraints: 55333
2993.20/3001.26 c #Conflicts: 915000 | #Constraints: 56333
2993.20/3001.26 c #Conflicts: 916000 | #Constraints: 57333
2993.20/3001.26 c #Conflicts: 917000 | #Constraints: 58333
2993.20/3001.26 c #Conflicts: 918000 | #Constraints: 59333
2993.20/3001.26 c #Conflicts: 919000 | #Constraints: 60333
2993.20/3001.26 c #Conflicts: 920000 | #Constraints: 61333
2993.20/3001.26 c #Conflicts: 921000 | #Constraints: 62333
2993.20/3001.26 c #Conflicts: 922000 | #Constraints: 63333
2993.20/3001.26 c #Conflicts: 923000 | #Constraints: 64333
2993.20/3001.26 c #Conflicts: 924000 | #Constraints: 65333
2993.20/3001.26 c #Conflicts: 925000 | #Constraints: 66333
2993.20/3001.26 c #Conflicts: 926000 | #Constraints: 67333
2993.20/3001.26 c #Conflicts: 927000 | #Constraints: 68333
2993.20/3001.26 c #Conflicts: 928000 | #Constraints: 69333
2993.20/3001.26 c #Conflicts: 929000 | #Constraints: 70333
2993.20/3001.26 c #Conflicts: 930000 | #Constraints: 71333
2993.20/3001.26 c #Conflicts: 931000 | #Constraints: 72333
2993.20/3001.26 c INPROCESSING
2993.20/3001.26 c GARBAGE COLLECT
2993.20/3001.26 c #Conflicts: 932000 | #Constraints: 53118
2993.20/3001.26 c #Conflicts: 933000 | #Constraints: 54118
2993.20/3001.26 c #Conflicts: 934000 | #Constraints: 55118
2993.20/3001.26 c #Conflicts: 935000 | #Constraints: 56118
2993.20/3001.26 c #Conflicts: 936000 | #Constraints: 57118
2993.20/3001.26 c #Conflicts: 937000 | #Constraints: 58118
2993.20/3001.26 c #Conflicts: 938000 | #Constraints: 59118
2993.20/3001.26 c #Conflicts: 939000 | #Constraints: 60118
2993.20/3001.26 c #Conflicts: 940000 | #Constraints: 61118
2993.20/3001.26 c #Conflicts: 941000 | #Constraints: 62118
2993.20/3001.26 c #Conflicts: 942000 | #Constraints: 63118
2993.20/3001.26 c #Conflicts: 943000 | #Constraints: 64118
2993.20/3001.26 c #Conflicts: 944000 | #Constraints: 65118
2993.20/3001.26 c #Conflicts: 945000 | #Constraints: 66118
2993.20/3001.26 c #Conflicts: 946000 | #Constraints: 67118
2993.20/3001.26 c #Conflicts: 947000 | #Constraints: 68118
2993.20/3001.26 c #Conflicts: 948000 | #Constraints: 69118
2993.20/3001.26 c #Conflicts: 949000 | #Constraints: 70118
2993.20/3001.26 c #Conflicts: 950000 | #Constraints: 71118
2993.20/3001.26 c #Conflicts: 951000 | #Constraints: 72118
2993.20/3001.26 c #Conflicts: 952000 | #Constraints: 73118
2993.20/3001.26 c INPROCESSING
2993.20/3001.26 c GARBAGE COLLECT
2993.20/3001.26 c #Conflicts: 953000 | #Constraints: 53720
2993.20/3001.26 c #Conflicts: 954000 | #Constraints: 54720
2993.20/3001.26 c #Conflicts: 955000 | #Constraints: 55720
2993.20/3001.26 c #Conflicts: 956000 | #Constraints: 56720
2993.20/3001.26 c #Conflicts: 957000 | #Constraints: 57720
2993.20/3001.26 c #Conflicts: 958000 | #Constraints: 58720
2993.20/3001.26 c #Conflicts: 959000 | #Constraints: 59720
2993.20/3001.26 c #Conflicts: 960000 | #Constraints: 60720
2993.20/3001.26 c #Conflicts: 961000 | #Constraints: 61720
2993.20/3001.26 c #Conflicts: 962000 | #Constraints: 62720
2993.20/3001.26 c #Conflicts: 963000 | #Constraints: 63720
2993.20/3001.26 c #Conflicts: 964000 | #Constraints: 64720
2993.20/3001.26 c #Conflicts: 965000 | #Constraints: 65720
2993.20/3001.26 c #Conflicts: 966000 | #Constraints: 66720
2993.20/3001.26 c #Conflicts: 967000 | #Constraints: 67720
2993.20/3001.26 c #Conflicts: 968000 | #Constraints: 68720
2993.20/3001.26 c #Conflicts: 969000 | #Constraints: 69720
2993.20/3001.26 c #Conflicts: 970000 | #Constraints: 70720
2993.20/3001.26 c #Conflicts: 971000 | #Constraints: 71720
2993.20/3001.26 c #Conflicts: 972000 | #Constraints: 72720
2993.20/3001.26 c #Conflicts: 973000 | #Constraints: 73720
2993.20/3001.26 c INPROCESSING
2993.20/3001.26 c GARBAGE COLLECT
2993.20/3001.26 c #Conflicts: 974000 | #Constraints: 54109
2993.20/3001.26 c #Conflicts: 975000 | #Constraints: 55109
2993.20/3001.26 c #Conflicts: 976000 | #Constraints: 56109
2993.20/3001.26 c #Conflicts: 977000 | #Constraints: 57109
2993.20/3001.26 c #Conflicts: 978000 | #Constraints: 58109
2993.20/3001.26 c #Conflicts: 979000 | #Constraints: 59109
2993.20/3001.26 c #Conflicts: 980000 | #Constraints: 60109
2993.20/3001.26 c #Conflicts: 981000 | #Constraints: 61109
2993.20/3001.26 c #Conflicts: 982000 | #Constraints: 62109
2993.20/3001.26 c #Conflicts: 983000 | #Constraints: 63109
2993.20/3001.26 c #Conflicts: 984000 | #Constraints: 64109
2993.20/3001.26 c #Conflicts: 985000 | #Constraints: 65109
2993.20/3001.26 c #Conflicts: 986000 | #Constraints: 66109
2993.20/3001.26 c #Conflicts: 987000 | #Constraints: 67109
2993.20/3001.26 c #Conflicts: 988000 | #Constraints: 68109
2993.20/3001.26 c #Conflicts: 989000 | #Constraints: 69109
2993.20/3001.26 c #Conflicts: 990000 | #Constraints: 70109
3248.07/3256.70 c #Conflicts: 991000 | #Constraints: 71109
3248.07/3256.70 c #Conflicts: 992000 | #Constraints: 72109
3248.07/3256.70 c #Conflicts: 993000 | #Constraints: 73109
3248.07/3256.70 c #Conflicts: 994000 | #Constraints: 74109
3248.07/3256.70 c INPROCESSING
3248.07/3256.70 c #Conflicts: 995000 | #Constraints: 54321
3248.07/3256.70 c #Conflicts: 996000 | #Constraints: 55321
3248.07/3256.70 c #Conflicts: 997000 | #Constraints: 56321
3248.07/3256.70 c #Conflicts: 998000 | #Constraints: 57321
3248.07/3256.70 c #Conflicts: 999000 | #Constraints: 58321
3248.07/3256.70 c #Conflicts: 1000000 | #Constraints: 59321
3248.07/3256.70 c #Conflicts: 1001000 | #Constraints: 60321
3248.07/3256.70 c #Conflicts: 1002000 | #Constraints: 61321
3248.07/3256.70 c #Conflicts: 1003000 | #Constraints: 62321
3248.07/3256.70 c #Conflicts: 1004000 | #Constraints: 63321
3248.07/3256.70 c #Conflicts: 1005000 | #Constraints: 64321
3248.07/3256.70 c #Conflicts: 1006000 | #Constraints: 65321
3248.07/3256.70 c #Conflicts: 1007000 | #Constraints: 66321
3248.07/3256.70 c #Conflicts: 1008000 | #Constraints: 67321
3248.07/3256.70 c #Conflicts: 1009000 | #Constraints: 68321
3248.07/3256.70 c #Conflicts: 1010000 | #Constraints: 69321
3248.07/3256.70 c #Conflicts: 1011000 | #Constraints: 70321
3248.07/3256.70 c #Conflicts: 1012000 | #Constraints: 71321
3248.07/3256.70 c #Conflicts: 1013000 | #Constraints: 72321
3248.07/3256.70 c #Conflicts: 1014000 | #Constraints: 73321
3248.07/3256.70 c #Conflicts: 1015000 | #Constraints: 74321
3248.07/3256.70 c INPROCESSING
3248.07/3256.70 c GARBAGE COLLECT
3248.07/3256.70 c #Conflicts: 1016000 | #Constraints: 54319
3248.07/3256.70 c #Conflicts: 1017000 | #Constraints: 55319
3248.07/3256.70 c #Conflicts: 1018000 | #Constraints: 56319
3248.07/3256.70 c #Conflicts: 1019000 | #Constraints: 57319
3248.07/3256.70 c #Conflicts: 1020000 | #Constraints: 58319
3248.07/3256.70 c #Conflicts: 1021000 | #Constraints: 59319
3248.07/3256.70 c #Conflicts: 1022000 | #Constraints: 60319
3248.07/3256.70 c #Conflicts: 1023000 | #Constraints: 61319
3248.07/3256.70 c #Conflicts: 1024000 | #Constraints: 62319
3248.07/3256.70 c #Conflicts: 1025000 | #Constraints: 63319
3248.07/3256.70 c #Conflicts: 1026000 | #Constraints: 64319
3248.07/3256.70 c #Conflicts: 1027000 | #Constraints: 65319
3248.07/3256.70 c #Conflicts: 1028000 | #Constraints: 66319
3248.07/3256.70 c #Conflicts: 1029000 | #Constraints: 67319
3248.07/3256.70 c #Conflicts: 1030000 | #Constraints: 68319
3248.07/3256.70 c #Conflicts: 1031000 | #Constraints: 69319
3248.07/3256.70 c #Conflicts: 1032000 | #Constraints: 70319
3248.07/3256.70 c #Conflicts: 1033000 | #Constraints: 71319
3248.07/3256.70 c #Conflicts: 1034000 | #Constraints: 72319
3248.07/3256.70 c #Conflicts: 1035000 | #Constraints: 73319
3248.07/3256.70 c #Conflicts: 1036000 | #Constraints: 74319
3248.07/3256.70 c INPROCESSING
3248.07/3256.70 c GARBAGE COLLECT
3248.07/3256.70 c #Conflicts: 1037000 | #Constraints: 54124
3248.07/3256.70 c #Conflicts: 1038000 | #Constraints: 55124
3248.07/3256.70 c #Conflicts: 1039000 | #Constraints: 56124
3248.07/3256.70 c #Conflicts: 1040000 | #Constraints: 57124
3248.07/3256.70 c #Conflicts: 1041000 | #Constraints: 58124
3248.07/3256.70 c #Conflicts: 1042000 | #Constraints: 59124
3248.07/3256.70 c #Conflicts: 1043000 | #Constraints: 60124
3248.07/3256.70 c #Conflicts: 1044000 | #Constraints: 61124
3248.07/3256.70 c #Conflicts: 1045000 | #Constraints: 62124
3248.07/3256.70 c #Conflicts: 1046000 | #Constraints: 63124
3248.07/3256.70 c #Conflicts: 1047000 | #Constraints: 64124
3248.07/3256.70 c #Conflicts: 1048000 | #Constraints: 65124
3248.07/3256.70 c #Conflicts: 1049000 | #Constraints: 66124
3248.07/3256.70 c #Conflicts: 1050000 | #Constraints: 67124
3248.07/3256.70 c #Conflicts: 1051000 | #Constraints: 68124
3248.07/3256.70 c #Conflicts: 1052000 | #Constraints: 69124
3248.07/3256.70 c #Conflicts: 1053000 | #Constraints: 70124
3248.07/3256.70 c #Conflicts: 1054000 | #Constraints: 71124
3248.07/3256.70 c #Conflicts: 1055000 | #Constraints: 72124
3248.07/3256.70 c #Conflicts: 1056000 | #Constraints: 73124
3248.07/3256.70 c #Conflicts: 1057000 | #Constraints: 74124
3248.07/3256.70 c #Conflicts: 1058000 | #Constraints: 75124
3248.07/3256.70 c INPROCESSING
3248.07/3256.70 c GARBAGE COLLECT
3248.07/3256.70 c #Conflicts: 1059000 | #Constraints: 54716
3248.07/3256.70 c #Conflicts: 1060000 | #Constraints: 55716
3248.07/3256.70 c #Conflicts: 1061000 | #Constraints: 56716
3248.07/3256.70 c #Conflicts: 1062000 | #Constraints: 57716
3248.07/3256.70 c #Conflicts: 1063000 | #Constraints: 58716
3248.07/3256.70 c #Conflicts: 1064000 | #Constraints: 59716
3248.07/3256.70 c #Conflicts: 1065000 | #Constraints: 60716
3248.07/3256.70 c #Conflicts: 1066000 | #Constraints: 61716
3600.07/3609.60 c #Conflicts: 1067000 | #Constraints: 62716
3600.07/3609.60 c #Conflicts: 1068000 | #Constraints: 63716
3600.07/3609.60 c #Conflicts: 1069000 | #Constraints: 64716
3600.07/3609.60 c #Conflicts: 1070000 | #Constraints: 65716
3600.07/3609.60 c #Conflicts: 1071000 | #Constraints: 66716
3600.07/3609.60 c #Conflicts: 1072000 | #Constraints: 67716
3600.07/3609.60 c #Conflicts: 1073000 | #Constraints: 68716
3600.07/3609.60 c #Conflicts: 1074000 | #Constraints: 69716
3600.07/3609.60 c #Conflicts: 1075000 | #Constraints: 70716
3600.07/3609.60 c #Conflicts: 1076000 | #Constraints: 71716
3600.07/3609.60 c #Conflicts: 1077000 | #Constraints: 72716
3600.07/3609.60 c #Conflicts: 1078000 | #Constraints: 73716
3600.07/3609.60 c #Conflicts: 1079000 | #Constraints: 74716
3600.07/3609.60 c #Conflicts: 1080000 | #Constraints: 75716
3600.07/3609.60 c INPROCESSING
3600.07/3609.60 c GARBAGE COLLECT
3600.07/3609.60 c #Conflicts: 1081000 | #Constraints: 55115
3600.07/3609.60 c #Conflicts: 1082000 | #Constraints: 56115
3600.07/3609.60 c #Conflicts: 1083000 | #Constraints: 57115
3600.07/3609.60 c #Conflicts: 1084000 | #Constraints: 58115
3600.07/3609.60 c #Conflicts: 1085000 | #Constraints: 59115
3600.07/3609.60 c #Conflicts: 1086000 | #Constraints: 60115
3600.07/3609.60 c #Conflicts: 1087000 | #Constraints: 61115
3600.07/3609.60 c #Conflicts: 1088000 | #Constraints: 62115
3600.07/3609.60 c #Conflicts: 1089000 | #Constraints: 63115
3600.07/3609.60 c #Conflicts: 1090000 | #Constraints: 64115
3600.07/3609.60 c #Conflicts: 1091000 | #Constraints: 65115
3600.07/3609.60 c #Conflicts: 1092000 | #Constraints: 66115
3600.07/3609.60 c #Conflicts: 1093000 | #Constraints: 67115
3600.07/3609.60 c #Conflicts: 1094000 | #Constraints: 68115
3600.07/3609.60 c #Conflicts: 1095000 | #Constraints: 69115
3600.07/3609.60 c #Conflicts: 1096000 | #Constraints: 70115
3600.07/3609.60 c #Conflicts: 1097000 | #Constraints: 71115
3600.07/3609.60 c #Conflicts: 1098000 | #Constraints: 72115
3600.07/3609.60 c #Conflicts: 1099000 | #Constraints: 73115
3600.07/3609.60 c #Conflicts: 1100000 | #Constraints: 74115
3600.07/3609.60 c #Conflicts: 1101000 | #Constraints: 75115
3600.07/3609.60 c #Conflicts: 1102000 | #Constraints: 76115
3600.07/3609.60 c INPROCESSING
3600.07/3609.60 c #Conflicts: 1103000 | #Constraints: 55320
3600.07/3609.60 c #Conflicts: 1104000 | #Constraints: 56320
3600.07/3609.60 c #Conflicts: 1105000 | #Constraints: 57320
3600.07/3609.60 c #Conflicts: 1106000 | #Constraints: 58320
3600.07/3609.60 c #Conflicts: 1107000 | #Constraints: 59320
3600.07/3609.60 c #Conflicts: 1108000 | #Constraints: 60320
3600.07/3609.60 c #Conflicts: 1109000 | #Constraints: 61320
3600.07/3609.60 c #Conflicts: 1110000 | #Constraints: 62320
3600.07/3609.60 c #Conflicts: 1111000 | #Constraints: 63320
3600.07/3609.60 c #Conflicts: 1112000 | #Constraints: 64320
3600.07/3609.60 c #Conflicts: 1113000 | #Constraints: 65320
3600.07/3609.60 c #Conflicts: 1114000 | #Constraints: 66320
3600.07/3609.60 c #Conflicts: 1115000 | #Constraints: 67320
3600.07/3609.60 c #Conflicts: 1116000 | #Constraints: 68320
3600.07/3609.60 c #Conflicts: 1117000 | #Constraints: 69320
3600.07/3609.60 c #Conflicts: 1118000 | #Constraints: 70320
3600.07/3609.60 c #Conflicts: 1119000 | #Constraints: 71320
3600.07/3609.60 c #Conflicts: 1120000 | #Constraints: 72320
3600.07/3609.60 c #Conflicts: 1121000 | #Constraints: 73320
3600.07/3609.60 c #Conflicts: 1122000 | #Constraints: 74320
3600.07/3609.60 c #Conflicts: 1123000 | #Constraints: 75320
3600.07/3609.60 c #Conflicts: 1124000 | #Constraints: 76320
3600.07/3609.60 c INPROCESSING
3600.07/3609.60 c GARBAGE COLLECT
3600.07/3609.60 c #Conflicts: 1125000 | #Constraints: 55319
3600.07/3609.60 c #Conflicts: 1126000 | #Constraints: 56319
3600.07/3609.60 c #Conflicts: 1127000 | #Constraints: 57319
3600.07/3609.60 c #Conflicts: 1128000 | #Constraints: 58319
3600.07/3609.60 c #Conflicts: 1129000 | #Constraints: 59319
3600.07/3609.60 c #Conflicts: 1130000 | #Constraints: 60319
3600.07/3609.60 c #Conflicts: 1131000 | #Constraints: 61319
3600.07/3609.60 c #Conflicts: 1132000 | #Constraints: 62319
3600.07/3609.60 c #Conflicts: 1133000 | #Constraints: 63319
3600.07/3609.60 c #Conflicts: 1134000 | #Constraints: 64319
3600.07/3609.60 c #Conflicts: 1135000 | #Constraints: 65319
3600.07/3609.60 c #Conflicts: 1136000 | #Constraints: 66319
3600.07/3609.60 c #Conflicts: 1137000 | #Constraints: 67319
3600.07/3609.60 c #Conflicts: 1138000 | #Constraints: 68319
3600.07/3609.60 c #Conflicts: 1139000 | #Constraints: 69319
3600.07/3609.60 c #Conflicts: 1140000 | #Constraints: 70319
3600.07/3609.60 c #Conflicts: 1141000 | #Constraints: 71319
3600.07/3609.60 c cpu time 3591.55 s
3600.07/3609.60 c deterministic time 1 1.00e+00
3600.07/3609.60 c optimization time 3591.47 s
3600.07/3609.60 c total solve time 0 s
3600.07/3609.60 c core-guided solve time 0 s
3600.07/3609.60 c propagation time 0.008929 s
3600.07/3609.60 c conflict analysis time 0 s
3600.07/3609.60 c propagations 0
3600.07/3609.60 c resolve steps 0
3600.07/3609.60 c decisions 0
3600.07/3609.60 c conflicts 0
3600.07/3609.60 c restarts 0
3600.07/3609.60 c inprocessing phases 0
3600.07/3609.60 c garbage collections 0 ,( -nan )
3600.07/3609.60 c input clauses 28800 ,( 100.00 )
3600.07/3609.60 c input cardinalities 0 ,( 0.00 )
3600.07/3609.60 c input general constraints 0 ,( 0.00 )
3600.07/3609.60 c input average constraint length 2.00
3600.07/3609.60 c input average constraint degree 1.00
3600.07/3609.60 c learned clauses 0 ,( 0.00 )
3600.07/3609.60 c learned cardinalities 0 ,( 0.00 )
3600.07/3609.60 c learned general constraints 0 ,( 0.00 )
3600.07/3609.60 c learned average constraint length 0.00
3600.07/3609.60 c learned average constraint degree 0.00
3600.07/3609.60 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.07/3609.60 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.07/3609.60 c watched constraints 0 ,( -nan )
3600.07/3609.60 c counting constraints 0 ,( -nan )
3600.07/3609.60 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.07/3609.60 c gcd simplifications 0
3600.07/3609.60 c detected cardinalities 0
3600.07/3609.60 c weakened non-implied lits 0
3600.07/3609.60 c weakened non-implying lits 0
3600.07/3609.60 c original variables 14400
3600.07/3609.60 c clausal propagations 0
3600.07/3609.60 c cardinality propagations 0
3600.07/3609.60 c watched propagations 0
3600.07/3609.60 c counting propagations 0
3600.07/3609.60 c watch lookups 0
3600.07/3609.60 c watch backjump lookups 0
3600.07/3609.60 c watch checks 0
3600.07/3609.60 c propagation checks 0
3600.07/3609.60 c constraint additions 0
3600.07/3609.60 c trail pops 0
3600.07/3609.60 c formula constraints 28800
3600.07/3609.60 c learned constraints 0
3600.07/3609.60 c bound constraints 0
3600.07/3609.60 c core-guided constraints 0
3600.07/3609.60 c encountered formula constraints 0
3600.07/3609.60 c encountered learned constraints 0
3600.07/3609.60 c encountered bound constraints 0
3600.07/3609.60 c encountered core-guided constraints 0
3600.07/3609.60 c LP total time 0 s
3600.07/3609.60 c LP solve time 0 s
3600.07/3609.60 c LP constraints added 0
3600.07/3609.60 c LP constraints removed 0
3600.07/3609.60 c LP pivots internal 0
3600.07/3609.60 c LP pivots root 0
3600.07/3609.60 c LP calls 0
3600.07/3609.60 c LP optimalities 0
3600.07/3609.60 c LP no pivot count 0
3600.07/3609.60 c LP infeasibilities 0
3600.07/3609.60 c LP valid Farkas constraints 0
3600.07/3609.60 c LP learned Farkas constraints 0
3600.07/3609.60 c LP basis resets 0
3600.07/3609.60 c LP cycling count 0
3600.07/3609.60 c LP singular count 0
3600.07/3609.60 c LP no primal count 0
3600.07/3609.60 c LP no farkas count 0
3600.07/3609.60 c LP other issue count 0
3600.07/3609.60 c LP Gomory cuts 0
3600.07/3609.60 c LP learned cuts 0
3600.07/3609.60 c LP deleted cuts 0
3600.07/3609.60 c LP encountered Gomory constraints 0
3600.07/3609.60 c LP encountered Farkas constraints 0
3600.07/3609.60 c LP encountered learned Farkas constraints 0
3600.07/3609.60 c CG auxiliary variables introduced 0
3600.07/3609.60 c CG solutions found 0
3600.07/3609.60 c CG cores constructed 0
3600.07/3609.60 c CG core cardinality constraints returned 0
3600.07/3609.60 c CG unit cores 0
3600.07/3609.60 c CG single cores 0
3600.07/3609.60 c CG blocks removed during cardinality reduction 0
3600.07/3609.60 c CG first core best 0
3600.07/3609.60 c CG decision core best 0
3600.07/3609.60 c CG core reduction tie 0
3600.07/3609.60 c CG core degree average 0.00
3600.07/3609.60 c CG core slack average 0.00
3600.07/3609.60 c CG core upper bound improvements 0
3600.07/3609.60 c STR number of successful calls 0
3600.07/3609.60 c STR number of unsuccessful calls 0
3600.07/3609.60 c STR number of inconclusive calls 0
3600.07/3609.60 c STR number of successful attempts 0
3600.07/3609.60 c STR number of unsuccessful attempts 0
3600.07/3609.60 c STR number of inconclusive attempts 0
3600.07/3609.60 c STR average degree increase per successful call inf
3600.07/3609.60 c STR average degree increase per successful attempt inf
3600.07/3609.60 c STR total number of conflicts for successful attempts 0
3600.07/3609.60 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3609.60 c STR total number of conflicts for inconclusive attempts 0
3600.07/3609.60 c STR average number of conflicts per successful attempt inf
3600.07/3609.60 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3609.60 c STR average number of conflicts per inconclusive attempt inf
3600.07/3609.60 c AVG.sumWPerc -nan
3600.07/3609.60 c bigint constraints 0
3600.07/3609.60 s UNKNOWN
3600.07/3609.60 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: 63708 MiB (56754 MiB free)
memory of node 1: 64465 MiB (63016 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521492-1751586082/watcher-4521492-1751586082 -o /tmp/evaluation-result-4521492-1751586082/solver-4521492-1751586082 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751586076-87393 --watchdog 3760 run-opt.sh HOME/instance-4521492-1751586082.opb
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 VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=87498, runsolver pid=87495
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 1.27 2.35 3.38 5/269 87500
/proc/meminfo: memFree=122614328/131250000 swapFree=33009904/33010684
[pid=87498] ppid=87495 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/87498/stat : 87498 (run-opt.sh) S 87495 87498 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287610 4292608 768 18446744073709551615 94742219071488 94742219966021 140734881834416 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94742220205072 94742220252816 94742228840448 140734881843565 140734881843688 140734881843688 140734881849290 0
/proc/87498/statm: 1048 768 704 219 0 110 0
[pid=87500] ppid=87498 vsize=89508 memory=28984 CPUtime=0.08 cores=1,3
/proc/87500/stat : 87500 (roundingsat) R 87498 87498 87381 0 -1 4194304 5229 0 0 0 6 2 0 0 20 0 1 0 74287610 91656192 7246 18446744073709551615 4227072 8923433 140734889579904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24391680 140734889585058 140734889585192 140734889585192 140734889590762 0
/proc/87500/statm: 22377 7246 2240 1147 0 9804 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 93700 KiB
Current children cumulated memory: 32056 KiB
[startup+0.20568 s]*
/proc/loadavg: 1.27 2.35 3.38 5/269 87500
/proc/meminfo: memFree=122598324/131250000 swapFree=33009904/33010684
[pid=87498] ppid=87495 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/87498/stat : 87498 (run-opt.sh) S 87495 87498 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287610 4292608 768 18446744073709551615 94742219071488 94742219966021 140734881834416 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94742220205072 94742220252816 94742228840448 140734881843565 140734881843688 140734881843688 140734881849290 0
/proc/87498/statm: 1048 768 704 219 0 110 0
[pid=87500] ppid=87498 vsize=105064 memory=57660 CPUtime=0.19 cores=1,3
/proc/87500/stat : 87500 (roundingsat) R 87498 87498 87381 0 -1 4194304 10966 0 0 0 14 5 0 0 20 0 1 0 74287610 107585536 14415 18446744073709551615 4227072 8923433 140734889579904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24391680 140734889585058 140734889585192 140734889585192 140734889590762 0
/proc/87500/statm: 26266 14415 2336 1147 0 13693 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 109256 KiB
Current children cumulated memory: 60732 KiB
[startup+0.305636 s]*
/proc/loadavg: 1.27 2.35 3.38 5/269 87500
/proc/meminfo: memFree=122569908/131250000 swapFree=33009904/33010684
[pid=87498] ppid=87495 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/87498/stat : 87498 (run-opt.sh) S 87495 87498 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287610 4292608 768 18446744073709551615 94742219071488 94742219966021 140734881834416 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94742220205072 94742220252816 94742228840448 140734881843565 140734881843688 140734881843688 140734881849290 0
/proc/87498/statm: 1048 768 704 219 0 110 0
[pid=87500] ppid=87498 vsize=112148 memory=66956 CPUtime=0.28 cores=1,3
/proc/87500/stat : 87500 (roundingsat) R 87498 87498 87381 0 -1 4194304 11273 0 0 0 23 5 0 0 20 0 1 0 74287610 114839552 16739 18446744073709551615 4227072 8923433 140734889579904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24391680 140734889585058 140734889585192 140734889585192 140734889590762 0
/proc/87500/statm: 28037 16739 2336 1147 0 15464 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 116340 KiB
Current children cumulated memory: 70028 KiB
[startup+0.700194 s]
/proc/loadavg: 1.27 2.35 3.38 5/269 87500
/proc/meminfo: memFree=122541492/131250000 swapFree=33009904/33010684
[pid=87498] ppid=87495 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/87498/stat : 87498 (run-opt.sh) S 87495 87498 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287610 4292608 768 18446744073709551615 94742219071488 94742219966021 140734881834416 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94742220205072 94742220252816 94742228840448 140734881843565 140734881843688 140734881843688 140734881849290 0
/proc/87498/statm: 1048 768 704 219 0 110 0
[pid=87500] ppid=87498 vsize=168496 memory=122932 CPUtime=0.68 cores=1,3
/proc/87500/stat : 87500 (roundingsat) R 87498 87498 87381 0 -1 4194304 21684 0 0 0 61 7 0 0 20 0 1 0 74287610 172539904 30733 18446744073709551615 4227072 8923433 140734889579904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24391680 140734889585058 140734889585192 140734889585192 140734889590762 0
/proc/87500/statm: 42124 30733 2336 1147 0 29551 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 172688 KiB
Current children cumulated memory: 126004 KiB
[startup+1.50019 s]
/proc/loadavg: 1.27 2.35 3.38 5/269 87500
/proc/meminfo: memFree=122460484/131250000 swapFree=33009904/33010684
[pid=87498] ppid=87495 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/87498/stat : 87498 (run-opt.sh) S 87495 87498 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287610 4292608 768 18446744073709551615 94742219071488 94742219966021 140734881834416 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94742220205072 94742220252816 94742228840448 140734881843565 140734881843688 140734881843688 140734881849290 0
/proc/87498/statm: 1048 768 704 219 0 110 0
[pid=87500] ppid=87498 vsize=259756 memory=209972 CPUtime=1.48 cores=1,3
/proc/87500/stat : 87500 (roundingsat) R 87498 87498 87381 0 -1 4194304 37809 0 0 0 138 10 0 0 20 0 1 0 74287610 265990144 52493 18446744073709551615 4227072 8923433 140734889579904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24391680 140734889585058 140734889585192 140734889585192 140734889590762 0
/proc/87500/statm: 64939 52493 2336 1147 0 52366 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 263948 KiB
Current children cumulated memory: 213044 KiB
[startup+3.10547 s]
/proc/loadavg: 1.49 2.38 3.38 5/269 87500
/proc/meminfo: memFree=122114428/131250000 swapFree=33009904/33010684
[pid=87498] ppid=87495 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/87498/stat : 87498 (run-opt.sh) S 87495 87498 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287610 4292608 768 18446744073709551615 94742219071488 94742219966021 140734881834416 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94742220205072 94742220252816 94742228840448 140734881843565 140734881843688 140734881843688 140734881849290 0
/proc/87498/statm: 1048 768 704 219 0 110 0
[pid=87500] ppid=87498 vsize=457572 memory=378652 CPUtime=3.07 cores=1,3
/proc/87500/stat : 87500 (roundingsat) R 87498 87498 87381 0 -1 4194304 67719 0 0 0 292 15 0 0 20 0 1 0 74287610 468553728 94663 18446744073709551615 4227072 8923433 140734889579904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24391680 140734889585058 140734889585192 140734889585192 140734889590762 0
/proc/87500/statm: 114393 94663 2336 1147 0 101820 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 461764 KiB
Current children cumulated memory: 381724 KiB
[startup+6.30019 s]
/proc/loadavg: 1.49 2.38 3.38 5/269 87500
/proc/meminfo: memFree=121319132/131250000 swapFree=33009904/33010684
[pid=87498] ppid=87495 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/87498/stat : 87498 (run-opt.sh) S 87495 87498 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287610 4292608 768 18446744073709551615 94742219071488 94742219966021 140734881834416 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94742220205072 94742220252816 94742228840448 140734881843565 140734881843688 140734881843688 140734881849290 0
/proc/87498/statm: 1048 768 704 219 0 110 0
[pid=87500] ppid=87498 vsize=757364 memory=692124 CPUtime=6.26 cores=1,3
/proc/87500/stat : 87500 (roundingsat) R 87498 87498 87381 0 -1 4194304 121563 0 0 0 598 28 0 0 20 0 1 0 74287610 775540736 173031 18446744073709551615 4227072 8923433 140734889579904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24391680 140734889585058 140734889585192 140734889585192 140734889590762 0
/proc/87500/statm: 189341 173031 2336 1147 0 176768 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 761556 KiB
Current children cumulated memory: 695196 KiB
[startup+12.7002 s]
/proc/loadavg: 1.69 2.41 3.38 5/269 87500
/proc/meminfo: memFree=119707748/131250000 swapFree=33009904/33010684
[pid=87498] ppid=87495 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/87498/stat : 87498 (run-opt.sh) S 87495 87498 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287610 4292608 768 18446744073709551615 94742219071488 94742219966021 140734881834416 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94742220205072 94742220252816 94742228840448 140734881843565 140734881843688 140734881843688 140734881849290 0
/proc/87498/statm: 1048 768 704 219 0 110 0
[pid=87500] ppid=87498 vsize=1944180 memory=1546912 CPUtime=12.65 cores=1,3
/proc/87500/stat : 87500 (roundingsat) R 87498 87498 87381 0 -1 4194304 287259 0 0 0 1205 60 0 0 20 0 1 0 74287610 1990840320 386728 18446744073709551615 4227072 8923433 140734889579904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24391680 140734889585058 140734889585192 140734889585192 140734889590762 0
/proc/87500/statm: 486045 386728 2336 1147 0 473472 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1948372 KiB
Current children cumulated memory: 1549984 KiB
[startup+25.5002 s]
/proc/loadavg: 2.20 2.49 3.39 5/269 87501
/proc/meminfo: memFree=118505948/131250000 swapFree=33009904/33010684
[pid=87498] ppid=87495 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/87498/stat : 87498 (run-opt.sh) S 87495 87498 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287610 4292608 768 18446744073709551615 94742219071488 94742219966021 140734881834416 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94742220205072 94742220252816 94742228840448 140734881843565 140734881843688 140734881843688 140734881849290 0
/proc/87498/statm: 1048 768 704 219 0 110 0
[pid=87500] ppid=87498 vsize=2244304 memory=1918504 CPUtime=25.41 cores=1,3
/proc/87500/stat : 87500 (roundingsat) R 87498 87498 87381 0 -1 4194304 357663 0 0 0 2464 77 0 0 20 0 1 0 74287610 2298167296 479626 18446744073709551615 4227072 8923433 140734889579904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24391680 140734889585058 140734889585192 140734889585192 140734889590762 0
/proc/87500/statm: 561076 479626 2336 1147 0 548503 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2248496 KiB
Current children cumulated memory: 1921576 KiB
[startup+51.1056 s]
/proc/loadavg: 2.88 2.62 3.41 5/269 87501
/proc/meminfo: memFree=117792276/131250000 swapFree=33009904/33010684
[pid=87498] ppid=87495 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/87498/stat : 87498 (run-opt.sh) S 87495 87498 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287610 4292608 768 18446744073709551615 94742219071488 94742219966021 140734881834416 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94742220205072 94742220252816 94742228840448 140734881843565 140734881843688 140734881843688 140734881849290 0
/proc/87498/statm: 1048 768 704 219 0 110 0
[pid=87500] ppid=87498 vsize=2318732 memory=1975848 CPUtime=50.95 cores=1,3
/proc/87500/stat : 87500 (roundingsat) R 87498 87498 87381 0 -1 4194304 372005 0 0 0 5001 94 0 0 20 0 1 0 74287610 2374381568 493962 18446744073709551615 4227072 8923433 140734889579904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24391680 140734889585058 140734889585192 140734889585192 140734889590762 0
/proc/87500/statm: 579683 493962 2336 1147 0 567110 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2322924 KiB
Current children cumulated memory: 1978920 KiB
[startup+102.3 s]
/proc/loadavg: 3.57 2.85 3.45 5/269 87507
/proc/meminfo: memFree=117764916/131250000 swapFree=33009904/33010684
[pid=87498] ppid=87495 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/87498/stat : 87498 (run-opt.sh) S 87495 87498 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287610 4292608 768 18446744073709551615 94742219071488 94742219966021 140734881834416 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94742220205072 94742220252816 94742228840448 140734881843565 140734881843688 140734881843688 140734881849290 0
/proc/87498/statm: 1048 768 704 219 0 110 0
[pid=87500] ppid=87498 vsize=2320084 memory=1982120 CPUtime=102.01 cores=1,3
/proc/87500/stat : 87500 (roundingsat) R 87498 87498 87381 0 -1 4194304 373636 0 0 0 10088 113 0 0 20 0 1 0 74287610 2375766016 495530 18446744073709551615 4227072 8923433 140734889579904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24391680 140734889585058 140734889585192 140734889585192 140734889590762 0
/proc/87500/statm: 580021 495530 2336 1147 0 567448 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 2324276 KiB
Current children cumulated memory: 1985192 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 3.08 3.50 5/269 87554
/proc/meminfo: memFree=117258100/131250000 swapFree=33009904/33010684
[pid=87498] ppid=87495 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/87498/stat : 87498 (run-opt.sh) S 87495 87498 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287610 4292608 768 18446744073709551615 94742219071488 94742219966021 140734881834416 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94742220205072 94742220252816 94742228840448 140734881843565 140734881843688 140734881843688 140734881849290 0
/proc/87498/statm: 1048 768 704 219 0 110 0
[pid=87500] ppid=87498 vsize=2320084 memory=1982504 CPUtime=161.86 cores=1,3
/proc/87500/stat : 87500 (roundingsat) R 87498 87498 87381 0 -1 4194304 373789 0 0 0 16060 126 0 0 20 0 1 0 74287610 2375766016 495626 18446744073709551615 4227072 8923433 140734889579904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24391680 140734889585058 140734889585192 140734889585192 140734889590762 0
/proc/87500/statm: 580021 495626 2336 1147 0 567448 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 2324276 KiB
Current children cumulated memory: 1985576 KiB
[startup+222.3 s]
/proc/loadavg: 3.99 3.26 3.54 5/270 87558
/proc/meminfo: memFree=117057436/131250000 swapFree=33009904/33010684
[pid=87498] ppid=87495 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/87498/stat : 87498 (run-opt.sh) S 87495 87498 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287610 4292608 768 18446744073709551615 94742219071488 94742219966021 140734881834416 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94742220205072 94742220252816 94742228840448 140734881843565 140734881843688 140734881843688 140734881849290 0
/proc/87498/statm: 1048 768 704 219 0 110 0
[pid=87500] ppid=87498 vsize=2320084 memory=1982760 CPUtime=221.69 cores=1,3
/proc/87500/stat : 87500 (roundingsat) R 87498 87498 87381 0 -1 4194304 373933 0 0 0 22031 138 0 0 20 0 1 0 74287610 2375766016 495690 18446744073709551615 4227072 8923433 140734889579904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24391680 140734889585058 140734889585192 140734889585192 140734889590762 0
/proc/87500/statm: 580021 495690 2336 1147 0 567448 0
Current children cumulated CPU time: 221.69 s
################
# More data... #
################
/proc/87500/statm: 645658 558922 2336 1147 0 633085 0
Current children cumulated CPU time: 3034.2 s
Current children cumulated vsize: 2586824 KiB
Current children cumulated memory: 2238760 KiB
[startup+3102.3 s]
/proc/loadavg: 4.43 4.21 4.11 5/267 87713
/proc/meminfo: memFree=115059436/131250000 swapFree=33009904/33010684
[pid=87498] ppid=87495 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/87498/stat : 87498 (run-opt.sh) S 87495 87498 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287610 4292608 768 18446744073709551615 94742219071488 94742219966021 140734881834416 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94742220205072 94742220252816 94742228840448 140734881843565 140734881843688 140734881843688 140734881849290 0
/proc/87498/statm: 1048 768 704 219 0 110 0
[pid=87500] ppid=87498 vsize=2582632 memory=2235688 CPUtime=3094.05 cores=1,3
/proc/87500/stat : 87500 (roundingsat) R 87498 87498 87381 0 -1 4194304 438623 0 0 0 308622 783 0 0 20 0 1 0 74287610 2644615168 558922 18446744073709551615 4227072 8923433 140734889579904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24391680 140734889585058 140734889585192 140734889585192 140734889590762 0
/proc/87500/statm: 645658 558922 2336 1147 0 633085 0
Current children cumulated CPU time: 3094.05 s
Current children cumulated vsize: 2586824 KiB
Current children cumulated memory: 2238760 KiB
[startup+3162.3 s]
/proc/loadavg: 4.68 4.32 4.15 5/268 87720
/proc/meminfo: memFree=115042956/131250000 swapFree=33009904/33010684
[pid=87498] ppid=87495 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/87498/stat : 87498 (run-opt.sh) S 87495 87498 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287610 4292608 768 18446744073709551615 94742219071488 94742219966021 140734881834416 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94742220205072 94742220252816 94742228840448 140734881843565 140734881843688 140734881843688 140734881849290 0
/proc/87498/statm: 1048 768 704 219 0 110 0
[pid=87500] ppid=87498 vsize=2605688 memory=2249512 CPUtime=3153.9 cores=1,3
/proc/87500/stat : 87500 (roundingsat) R 87498 87498 87381 0 -1 4194304 442076 0 0 0 314598 792 0 0 20 0 1 0 74287610 2668224512 562378 18446744073709551615 4227072 8923433 140734889579904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24391680 140734889585058 140734889585192 140734889585192 140734889590762 0
/proc/87500/statm: 651422 562378 2336 1147 0 638849 0
Current children cumulated CPU time: 3153.9 s
Current children cumulated vsize: 2609880 KiB
Current children cumulated memory: 2252584 KiB
[startup+3222.3 s]
/proc/loadavg: 4.43 4.32 4.16 5/268 87722
/proc/meminfo: memFree=115043640/131250000 swapFree=33009904/33010684
[pid=87498] ppid=87495 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/87498/stat : 87498 (run-opt.sh) S 87495 87498 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287610 4292608 768 18446744073709551615 94742219071488 94742219966021 140734881834416 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94742220205072 94742220252816 94742228840448 140734881843565 140734881843688 140734881843688 140734881849290 0
/proc/87498/statm: 1048 768 704 219 0 110 0
[pid=87500] ppid=87498 vsize=2605688 memory=2249512 CPUtime=3213.76 cores=1,3
/proc/87500/stat : 87500 (roundingsat) R 87498 87498 87381 0 -1 4194304 442156 0 0 0 320572 804 0 0 20 0 1 0 74287610 2668224512 562378 18446744073709551615 4227072 8923433 140734889579904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24391680 140734889585058 140734889585192 140734889585192 140734889590762 0
/proc/87500/statm: 651422 562378 2336 1147 0 638849 0
Current children cumulated CPU time: 3213.76 s
Current children cumulated vsize: 2609880 KiB
Current children cumulated memory: 2252584 KiB
[startup+3282.3 s]
/proc/loadavg: 4.21 4.28 4.16 5/269 87725
/proc/meminfo: memFree=115042644/131250000 swapFree=33009904/33010684
[pid=87498] ppid=87495 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/87498/stat : 87498 (run-opt.sh) S 87495 87498 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287610 4292608 768 18446744073709551615 94742219071488 94742219966021 140734881834416 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94742220205072 94742220252816 94742228840448 140734881843565 140734881843688 140734881843688 140734881849290 0
/proc/87498/statm: 1048 768 704 219 0 110 0
[pid=87500] ppid=87498 vsize=2605688 memory=2249512 CPUtime=3273.61 cores=1,3
/proc/87500/stat : 87500 (roundingsat) R 87498 87498 87381 0 -1 4194304 442161 0 0 0 326549 812 0 0 20 0 1 0 74287610 2668224512 562378 18446744073709551615 4227072 8923433 140734889579904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24391680 140734889585058 140734889585192 140734889585192 140734889590762 0
/proc/87500/statm: 651422 562378 2336 1147 0 638849 0
Current children cumulated CPU time: 3273.61 s
Current children cumulated vsize: 2609880 KiB
Current children cumulated memory: 2252584 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.24 4.15 5/268 87727
/proc/meminfo: memFree=115021832/131250000 swapFree=33009904/33010684
[pid=87498] ppid=87495 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/87498/stat : 87498 (run-opt.sh) S 87495 87498 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287610 4292608 768 18446744073709551615 94742219071488 94742219966021 140734881834416 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94742220205072 94742220252816 94742228840448 140734881843565 140734881843688 140734881843688 140734881849290 0
/proc/87498/statm: 1048 768 704 219 0 110 0
[pid=87500] ppid=87498 vsize=2605688 memory=2249768 CPUtime=3333.45 cores=1,3
/proc/87500/stat : 87500 (roundingsat) R 87498 87498 87381 0 -1 4194304 442239 0 0 0 332527 818 0 0 20 0 1 0 74287610 2668224512 562442 18446744073709551615 4227072 8923433 140734889579904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24391680 140734889585058 140734889585192 140734889585192 140734889590762 0
/proc/87500/statm: 651422 562442 2336 1147 0 638849 0
Current children cumulated CPU time: 3333.45 s
Current children cumulated vsize: 2609880 KiB
Current children cumulated memory: 2252840 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.22 4.15 5/269 87730
/proc/meminfo: memFree=115002672/131250000 swapFree=33009904/33010684
[pid=87498] ppid=87495 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/87498/stat : 87498 (run-opt.sh) S 87495 87498 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287610 4292608 768 18446744073709551615 94742219071488 94742219966021 140734881834416 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94742220205072 94742220252816 94742228840448 140734881843565 140734881843688 140734881843688 140734881849290 0
/proc/87498/statm: 1048 768 704 219 0 110 0
[pid=87500] ppid=87498 vsize=2605688 memory=2249768 CPUtime=3393.31 cores=1,3
/proc/87500/stat : 87500 (roundingsat) R 87498 87498 87381 0 -1 4194304 442322 0 0 0 338504 827 0 0 20 0 1 0 74287610 2668224512 562442 18446744073709551615 4227072 8923433 140734889579904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24391680 140734889585058 140734889585192 140734889585192 140734889590762 0
/proc/87500/statm: 651422 562442 2336 1147 0 638849 0
Current children cumulated CPU time: 3393.31 s
Current children cumulated vsize: 2609880 KiB
Current children cumulated memory: 2252840 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.20 4.15 5/268 87732
/proc/meminfo: memFree=114927496/131250000 swapFree=33009904/33010684
[pid=87498] ppid=87495 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/87498/stat : 87498 (run-opt.sh) S 87495 87498 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287610 4292608 768 18446744073709551615 94742219071488 94742219966021 140734881834416 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94742220205072 94742220252816 94742228840448 140734881843565 140734881843688 140734881843688 140734881849290 0
/proc/87498/statm: 1048 768 704 219 0 110 0
[pid=87500] ppid=87498 vsize=2606056 memory=2250664 CPUtime=3453.15 cores=1,3
/proc/87500/stat : 87500 (roundingsat) R 87498 87498 87381 0 -1 4194304 442404 0 0 0 344480 835 0 0 20 0 1 0 74287610 2668601344 562666 18446744073709551615 4227072 8923433 140734889579904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24391680 140734889585058 140734889585192 140734889585192 140734889590762 0
/proc/87500/statm: 651514 562666 2336 1147 0 638941 0
Current children cumulated CPU time: 3453.15 s
Current children cumulated vsize: 2610248 KiB
Current children cumulated memory: 2253736 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.19 4.15 5/269 87735
/proc/meminfo: memFree=114925148/131250000 swapFree=33009904/33010684
[pid=87498] ppid=87495 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/87498/stat : 87498 (run-opt.sh) S 87495 87498 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287610 4292608 768 18446744073709551615 94742219071488 94742219966021 140734881834416 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94742220205072 94742220252816 94742228840448 140734881843565 140734881843688 140734881843688 140734881849290 0
/proc/87498/statm: 1048 768 704 219 0 110 0
[pid=87500] ppid=87498 vsize=2606056 memory=2253480 CPUtime=3513 cores=1,3
/proc/87500/stat : 87500 (roundingsat) R 87498 87498 87381 0 -1 4194304 442424 0 0 0 350457 843 0 0 20 0 1 0 74287610 2668601344 563370 18446744073709551615 4227072 8923433 140734889579904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24391680 140734889585058 140734889585192 140734889585192 140734889590762 0
/proc/87500/statm: 651514 563370 2336 1147 0 638941 0
Current children cumulated CPU time: 3513 s
Current children cumulated vsize: 2610248 KiB
Current children cumulated memory: 2256552 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.17 4.14 5/269 87737
/proc/meminfo: memFree=114931148/131250000 swapFree=33009904/33010684
[pid=87498] ppid=87495 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/87498/stat : 87498 (run-opt.sh) S 87495 87498 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287610 4292608 768 18446744073709551615 94742219071488 94742219966021 140734881834416 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94742220205072 94742220252816 94742228840448 140734881843565 140734881843688 140734881843688 140734881849290 0
/proc/87498/statm: 1048 768 704 219 0 110 0
[pid=87500] ppid=87498 vsize=2606724 memory=2256680 CPUtime=3572.84 cores=1,3
/proc/87500/stat : 87500 (roundingsat) R 87498 87498 87381 0 -1 4194304 442676 0 0 0 356434 850 0 0 20 0 1 0 74287610 2669285376 564170 18446744073709551615 4227072 8923433 140734889579904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24391680 140734889585058 140734889585192 140734889585192 140734889590762 0
/proc/87500/statm: 651681 564170 2336 1147 0 639108 0
Current children cumulated CPU time: 3572.84 s
Current children cumulated vsize: 2610916 KiB
Current children cumulated memory: 2259752 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.14 4.17 4.14 5/269 87833
/proc/meminfo: memFree=119615684/131250000 swapFree=33009904/33010684
[pid=87498] ppid=87495 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/87498/stat : 87498 (run-opt.sh) S 87495 87498 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287610 4292608 768 18446744073709551615 94742219071488 94742219966021 140734881834416 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94742220205072 94742220252816 94742228840448 140734881843565 140734881843688 140734881843688 140734881849290 0
/proc/87498/statm: 1048 768 704 219 0 110 0
[pid=87500] ppid=87498 vsize=2606724 memory=2256680 CPUtime=3600.07 cores=1,3
/proc/87500/stat : 87500 (roundingsat) R 87498 87498 87381 0 -1 4194304 442685 0 0 0 359154 853 0 0 20 0 1 0 74287610 2669285376 564170 18446744073709551615 4227072 8923433 140734889579904 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24391680 140734889585058 140734889585192 140734889585192 140734889590762 0
/proc/87500/statm: 651681 564170 2336 1147 0 639108 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2610916 KiB
Current children cumulated memory: 2259752 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.6 s]
# the end of solver process 87498 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001066 s, system=0.001067 s
[startup+3609.68 s]
# the end of solver process 87500 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3591.56 s, system=8.60749 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): 3609.68
CPU time (s): 3600.17
CPU user time (s): 3591.56
CPU system time (s): 8.60749
CPU usage (%): 99.7365
Max. virtual memory (cumulated for all children) (KiB): 2610916
Max. memory (cumulated for all children) (KiB): 2259752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.56
system time used= 8.60749
maximum resident set size= 2257192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 442921
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 168
involuntary context switches= 2890
# summary of solver processes directly reported to runsolver:
# pid: 87498,87500
# total CPU time (s): 3600.17
# total CPU user time (s): 3591.56
# total CPU system time (s): 8.60749
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.0455 second user time and 16.6602 second system time
The end
Begin job on nodeC033 at 2025-07-04 01:41:22
IDJOB=4521492
IDBENCH=178318
IDSOLVER=3350
FILE ID=nodeC033/4521492-1751586082
RUNJOBID= nodeC033-1751586076-87393
SLURM_JOB_ID= 9598834
Free space on /tmp= 429884 MiB
SOLVER NAME= roundingsat-ihs 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.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521492-1751586082/watcher-4521492-1751586082 -o /tmp/evaluation-result-4521492-1751586082/solver-4521492-1751586082 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751586076-87393 --watchdog 3760 run-opt.sh HOME/instance-4521492-1751586082.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 91f2eeaf01beb5a18e4726514b00c397
RANDOM SEED=1924638636
nodeC033 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.088
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.066
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.686
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.102
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.074
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.062
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3562.555
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3589.046
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 122645624 kB
MemAvailable: 128615844 kB
Buffers: 2128 kB
Cached: 6722480 kB
SwapCached: 68 kB
Active: 1769300 kB
Inactive: 6141624 kB
Active(anon): 1198828 kB
Inactive(anon): 5524 kB
Active(file): 570472 kB
Inactive(file): 6136100 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 31840 kB
Writeback: 0 kB
AnonPages: 1187396 kB
Mapped: 117652 kB
Shmem: 18028 kB
KReclaimable: 205772 kB
Slab: 298524 kB
SReclaimable: 205772 kB
SUnreclaim: 92752 kB
KernelStack: 4352 kB
PageTables: 5764 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1716776 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 149504 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: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 429876 MiB
End job on nodeC033 at 2025-07-04 02:41:32