0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.02 c #variables 1806 #constraints 3612
0.00/0.02 c objective is ce32
0.00/0.03 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.03 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.01125
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.01235
65.50/65.75 c #Conflicts: 1000 | #Constraints: 4612
65.50/65.75 c #Conflicts: 2000 | #Constraints: 5612
65.50/65.75 c INPROCESSING
65.50/65.75 c GARBAGE COLLECT
65.50/65.75 c #Conflicts: 3000 | #Constraints: 5681
65.50/65.75 c #Conflicts: 4000 | #Constraints: 6681
65.50/65.75 c INPROCESSING
65.50/65.75 c GARBAGE COLLECT
65.50/65.75 c #Conflicts: 5000 | #Constraints: 6114
65.50/65.75 c #Conflicts: 6000 | #Constraints: 7114
65.50/65.75 c INPROCESSING
65.50/65.75 c GARBAGE COLLECT
65.50/65.75 c #Conflicts: 7000 | #Constraints: 6093
65.50/65.75 c #Conflicts: 8000 | #Constraints: 7093
65.50/65.75 c #Conflicts: 9000 | #Constraints: 8093
65.50/65.75 c INPROCESSING
65.50/65.75 c GARBAGE COLLECT
65.50/65.75 c #Conflicts: 10000 | #Constraints: 6803
65.50/65.75 c #Conflicts: 11000 | #Constraints: 7803
65.50/65.75 c #Conflicts: 12000 | #Constraints: 8803
65.50/65.75 c INPROCESSING
65.50/65.75 c GARBAGE COLLECT
65.50/65.75 c #Conflicts: 13000 | #Constraints: 7241
65.50/65.75 c #Conflicts: 14000 | #Constraints: 8241
65.50/65.75 c #Conflicts: 15000 | #Constraints: 9241
65.50/65.75 c INPROCESSING
65.50/65.75 c GARBAGE COLLECT
65.50/65.75 c #Conflicts: 16000 | #Constraints: 7463
65.50/65.75 c #Conflicts: 17000 | #Constraints: 8463
65.50/65.75 c #Conflicts: 18000 | #Constraints: 9463
65.50/65.75 c INPROCESSING
65.50/65.75 c GARBAGE COLLECT
65.50/65.75 c #Conflicts: 19000 | #Constraints: 7468
65.50/65.75 c #Conflicts: 20000 | #Constraints: 8468
65.50/65.75 c #Conflicts: 21000 | #Constraints: 9468
65.50/65.75 c INPROCESSING
65.50/65.75 c GARBAGE COLLECT
65.50/65.75 c #Conflicts: 22000 | #Constraints: 7281
65.50/65.75 c #Conflicts: 23000 | #Constraints: 8281
65.50/65.75 c #Conflicts: 24000 | #Constraints: 9281
65.50/65.75 c #Conflicts: 25000 | #Constraints: 10281
65.50/65.75 c INPROCESSING
65.50/65.75 c GARBAGE COLLECT
65.50/65.75 c #Conflicts: 26000 | #Constraints: 7879
65.50/65.75 c #Conflicts: 27000 | #Constraints: 8879
65.50/65.75 c #Conflicts: 28000 | #Constraints: 9879
65.50/65.75 c #Conflicts: 29000 | #Constraints: 10879
65.50/65.75 c INPROCESSING
65.50/65.75 c GARBAGE COLLECT
65.50/65.75 c #Conflicts: 30000 | #Constraints: 8295
65.50/65.75 c #Conflicts: 31000 | #Constraints: 9295
65.50/65.75 c #Conflicts: 32000 | #Constraints: 10295
65.50/65.75 c #Conflicts: 33000 | #Constraints: 11295
65.50/65.75 c INPROCESSING
65.50/65.75 c GARBAGE COLLECT
65.50/65.75 c #Conflicts: 34000 | #Constraints: 8499
65.50/65.75 c #Conflicts: 35000 | #Constraints: 9499
65.50/65.75 c #Conflicts: 36000 | #Constraints: 10499
65.50/65.75 c #Conflicts: 37000 | #Constraints: 11499
65.50/65.75 c INPROCESSING
65.50/65.75 c GARBAGE COLLECT
65.50/65.75 c #Conflicts: 38000 | #Constraints: 8495
65.50/65.75 c #Conflicts: 39000 | #Constraints: 9495
65.50/65.75 c #Conflicts: 40000 | #Constraints: 10495
65.50/65.75 c #Conflicts: 41000 | #Constraints: 11495
65.50/65.75 c INPROCESSING
65.50/65.75 c GARBAGE COLLECT
65.50/65.75 c #Conflicts: 42000 | #Constraints: 8296
65.50/65.75 c #Conflicts: 43000 | #Constraints: 9296
65.50/65.75 c #Conflicts: 44000 | #Constraints: 10296
65.50/65.75 c #Conflicts: 45000 | #Constraints: 11296
65.50/65.75 c #Conflicts: 46000 | #Constraints: 12296
65.50/65.75 c INPROCESSING
65.50/65.75 c GARBAGE COLLECT
65.50/65.75 c #Conflicts: 47000 | #Constraints: 8895
65.50/65.75 c #Conflicts: 48000 | #Constraints: 9895
65.50/65.75 c #Conflicts: 49000 | #Constraints: 10895
65.50/65.75 c #Conflicts: 50000 | #Constraints: 11895
65.50/65.75 c #Conflicts: 51000 | #Constraints: 12895
65.50/65.75 c INPROCESSING
65.50/65.75 c GARBAGE COLLECT
65.50/65.75 c #Conflicts: 52000 | #Constraints: 9298
65.50/65.75 c #Conflicts: 53000 | #Constraints: 10298
65.50/65.75 c #Conflicts: 54000 | #Constraints: 11298
65.50/65.75 c #Conflicts: 55000 | #Constraints: 12298
65.50/65.75 c #Conflicts: 56000 | #Constraints: 13298
65.50/65.75 c INPROCESSING
65.50/65.75 c GARBAGE COLLECT
65.50/65.75 c #Conflicts: 57000 | #Constraints: 9491
65.50/65.75 c #Conflicts: 58000 | #Constraints: 10491
65.50/65.75 c #Conflicts: 59000 | #Constraints: 11491
65.50/65.75 c #Conflicts: 60000 | #Constraints: 12491
65.50/65.75 c #Conflicts: 61000 | #Constraints: 13491
65.50/65.75 c INPROCESSING
65.50/65.75 c GARBAGE COLLECT
65.50/65.75 c #Conflicts: 62000 | #Constraints: 9483
65.50/65.75 c #Conflicts: 63000 | #Constraints: 10483
65.50/65.75 c #Conflicts: 64000 | #Constraints: 11483
65.50/65.75 c #Conflicts: 65000 | #Constraints: 12483
65.50/65.75 c #Conflicts: 66000 | #Constraints: 13483
65.50/65.75 c INPROCESSING
65.50/65.75 c GARBAGE COLLECT
65.50/65.75 c #Conflicts: 67000 | #Constraints: 9287
65.50/65.75 c #Conflicts: 68000 | #Constraints: 10287
193.94/194.50 c #Conflicts: 69000 | #Constraints: 11287
193.94/194.50 c #Conflicts: 70000 | #Constraints: 12287
193.94/194.50 c #Conflicts: 71000 | #Constraints: 13287
193.94/194.50 c #Conflicts: 72000 | #Constraints: 14287
193.94/194.50 c INPROCESSING
193.94/194.50 c GARBAGE COLLECT
193.94/194.50 c #Conflicts: 73000 | #Constraints: 9884
193.94/194.50 c #Conflicts: 74000 | #Constraints: 10884
193.94/194.50 c #Conflicts: 75000 | #Constraints: 11884
193.94/194.50 c #Conflicts: 76000 | #Constraints: 12884
193.94/194.50 c #Conflicts: 77000 | #Constraints: 13884
193.94/194.50 c #Conflicts: 78000 | #Constraints: 14884
193.94/194.50 c INPROCESSING
193.94/194.50 c GARBAGE COLLECT
193.94/194.50 c #Conflicts: 79000 | #Constraints: 10283
193.94/194.50 c #Conflicts: 80000 | #Constraints: 11283
193.94/194.50 c #Conflicts: 81000 | #Constraints: 12283
193.94/194.50 c #Conflicts: 82000 | #Constraints: 13283
193.94/194.50 c #Conflicts: 83000 | #Constraints: 14283
193.94/194.50 c #Conflicts: 84000 | #Constraints: 15283
193.94/194.50 c INPROCESSING
193.94/194.50 c GARBAGE COLLECT
193.94/194.50 c #Conflicts: 85000 | #Constraints: 10486
193.94/194.50 c #Conflicts: 86000 | #Constraints: 11486
193.94/194.50 c #Conflicts: 87000 | #Constraints: 12486
193.94/194.50 c #Conflicts: 88000 | #Constraints: 13486
193.94/194.50 c #Conflicts: 89000 | #Constraints: 14486
193.94/194.50 c #Conflicts: 90000 | #Constraints: 15486
193.94/194.50 c INPROCESSING
193.94/194.50 c GARBAGE COLLECT
193.94/194.50 c #Conflicts: 91000 | #Constraints: 10489
193.94/194.50 c #Conflicts: 92000 | #Constraints: 11489
193.94/194.50 c #Conflicts: 93000 | #Constraints: 12489
193.94/194.50 c #Conflicts: 94000 | #Constraints: 13489
193.94/194.50 c #Conflicts: 95000 | #Constraints: 14489
193.94/194.50 c #Conflicts: 96000 | #Constraints: 15489
193.94/194.50 c INPROCESSING
193.94/194.50 c GARBAGE COLLECT
193.94/194.50 c #Conflicts: 97000 | #Constraints: 10283
193.94/194.50 c #Conflicts: 98000 | #Constraints: 11283
193.94/194.50 c #Conflicts: 99000 | #Constraints: 12283
193.94/194.50 c #Conflicts: 100000 | #Constraints: 13283
193.94/194.50 c #Conflicts: 101000 | #Constraints: 14283
193.94/194.50 c #Conflicts: 102000 | #Constraints: 15283
193.94/194.50 c #Conflicts: 103000 | #Constraints: 16283
193.94/194.50 c INPROCESSING
193.94/194.50 c GARBAGE COLLECT
193.94/194.50 c #Conflicts: 104000 | #Constraints: 10879
193.94/194.50 c #Conflicts: 105000 | #Constraints: 11879
193.94/194.50 c #Conflicts: 106000 | #Constraints: 12879
193.94/194.50 c #Conflicts: 107000 | #Constraints: 13879
193.94/194.50 c #Conflicts: 108000 | #Constraints: 14879
193.94/194.50 c #Conflicts: 109000 | #Constraints: 15879
193.94/194.50 c #Conflicts: 110000 | #Constraints: 16879
193.94/194.50 c INPROCESSING
193.94/194.50 c GARBAGE COLLECT
193.94/194.50 c #Conflicts: 111000 | #Constraints: 11299
193.94/194.50 c #Conflicts: 112000 | #Constraints: 12299
193.94/194.50 c #Conflicts: 113000 | #Constraints: 13299
193.94/194.50 c #Conflicts: 114000 | #Constraints: 14299
193.94/194.50 c #Conflicts: 115000 | #Constraints: 15299
193.94/194.50 c #Conflicts: 116000 | #Constraints: 16299
193.94/194.50 c #Conflicts: 117000 | #Constraints: 17299
193.94/194.50 c INPROCESSING
193.94/194.50 c GARBAGE COLLECT
193.94/194.50 c #Conflicts: 118000 | #Constraints: 11504
193.94/194.50 c #Conflicts: 119000 | #Constraints: 12504
193.94/194.50 c #Conflicts: 120000 | #Constraints: 13504
193.94/194.50 c #Conflicts: 121000 | #Constraints: 14504
193.94/194.50 c #Conflicts: 122000 | #Constraints: 15504
193.94/194.50 c #Conflicts: 123000 | #Constraints: 16504
193.94/194.50 c #Conflicts: 124000 | #Constraints: 17504
193.94/194.50 c INPROCESSING
193.94/194.50 c GARBAGE COLLECT
193.94/194.50 c #Conflicts: 125000 | #Constraints: 11495
193.94/194.50 c #Conflicts: 126000 | #Constraints: 12495
193.94/194.50 c #Conflicts: 127000 | #Constraints: 13495
193.94/194.50 c #Conflicts: 128000 | #Constraints: 14495
193.94/194.50 c #Conflicts: 129000 | #Constraints: 15495
193.94/194.50 c #Conflicts: 130000 | #Constraints: 16495
193.94/194.50 c #Conflicts: 131000 | #Constraints: 17495
193.94/194.50 c INPROCESSING
193.94/194.50 c GARBAGE COLLECT
193.94/194.50 c #Conflicts: 132000 | #Constraints: 11304
193.94/194.50 c #Conflicts: 133000 | #Constraints: 12304
193.94/194.50 c #Conflicts: 134000 | #Constraints: 13304
193.94/194.50 c #Conflicts: 135000 | #Constraints: 14304
193.94/194.50 c #Conflicts: 136000 | #Constraints: 15304
193.94/194.50 c #Conflicts: 137000 | #Constraints: 16304
193.94/194.50 c #Conflicts: 138000 | #Constraints: 17304
193.94/194.50 c #Conflicts: 139000 | #Constraints: 18304
193.94/194.50 c INPROCESSING
193.94/194.50 c GARBAGE COLLECT
193.94/194.50 c #Conflicts: 140000 | #Constraints: 11909
331.06/332.04 c #Conflicts: 141000 | #Constraints: 12909
331.06/332.04 c #Conflicts: 142000 | #Constraints: 13909
331.06/332.04 c #Conflicts: 143000 | #Constraints: 14909
331.06/332.04 c #Conflicts: 144000 | #Constraints: 15909
331.06/332.04 c #Conflicts: 145000 | #Constraints: 16909
331.06/332.04 c #Conflicts: 146000 | #Constraints: 17909
331.06/332.04 c #Conflicts: 147000 | #Constraints: 18909
331.06/332.04 c INPROCESSING
331.06/332.04 c GARBAGE COLLECT
331.06/332.04 c #Conflicts: 148000 | #Constraints: 12294
331.06/332.04 c #Conflicts: 149000 | #Constraints: 13294
331.06/332.04 c #Conflicts: 150000 | #Constraints: 14294
331.06/332.04 c #Conflicts: 151000 | #Constraints: 15294
331.06/332.04 c #Conflicts: 152000 | #Constraints: 16294
331.06/332.04 c #Conflicts: 153000 | #Constraints: 17294
331.06/332.04 c #Conflicts: 154000 | #Constraints: 18294
331.06/332.04 c #Conflicts: 155000 | #Constraints: 19294
331.06/332.04 c INPROCESSING
331.06/332.04 c GARBAGE COLLECT
331.06/332.04 c #Conflicts: 156000 | #Constraints: 12495
331.06/332.04 c #Conflicts: 157000 | #Constraints: 13495
331.06/332.04 c #Conflicts: 158000 | #Constraints: 14495
331.06/332.04 c #Conflicts: 159000 | #Constraints: 15495
331.06/332.04 c #Conflicts: 160000 | #Constraints: 16495
331.06/332.04 c #Conflicts: 161000 | #Constraints: 17495
331.06/332.04 c #Conflicts: 162000 | #Constraints: 18495
331.06/332.04 c #Conflicts: 163000 | #Constraints: 19495
331.06/332.04 c INPROCESSING
331.06/332.04 c GARBAGE COLLECT
331.06/332.04 c #Conflicts: 164000 | #Constraints: 12485
331.06/332.04 c #Conflicts: 165000 | #Constraints: 13485
331.06/332.04 c #Conflicts: 166000 | #Constraints: 14485
331.06/332.04 c #Conflicts: 167000 | #Constraints: 15485
331.06/332.04 c #Conflicts: 168000 | #Constraints: 16485
331.06/332.04 c #Conflicts: 169000 | #Constraints: 17485
331.06/332.04 c #Conflicts: 170000 | #Constraints: 18485
331.06/332.04 c #Conflicts: 171000 | #Constraints: 19485
331.06/332.04 c INPROCESSING
331.06/332.04 c GARBAGE COLLECT
331.06/332.04 c #Conflicts: 172000 | #Constraints: 12291
331.06/332.04 c #Conflicts: 173000 | #Constraints: 13291
331.06/332.04 c #Conflicts: 174000 | #Constraints: 14291
331.06/332.04 c #Conflicts: 175000 | #Constraints: 15291
331.06/332.04 c #Conflicts: 176000 | #Constraints: 16291
331.06/332.04 c #Conflicts: 177000 | #Constraints: 17291
331.06/332.04 c #Conflicts: 178000 | #Constraints: 18291
331.06/332.04 c #Conflicts: 179000 | #Constraints: 19291
331.06/332.04 c #Conflicts: 180000 | #Constraints: 20291
331.06/332.04 c INPROCESSING
331.06/332.04 c GARBAGE COLLECT
331.06/332.04 c #Conflicts: 181000 | #Constraints: 12899
331.06/332.04 c #Conflicts: 182000 | #Constraints: 13899
331.06/332.04 c #Conflicts: 183000 | #Constraints: 14899
331.06/332.04 c #Conflicts: 184000 | #Constraints: 15899
331.06/332.04 c #Conflicts: 185000 | #Constraints: 16899
331.06/332.04 c #Conflicts: 186000 | #Constraints: 17899
331.06/332.04 c #Conflicts: 187000 | #Constraints: 18899
331.06/332.04 c #Conflicts: 188000 | #Constraints: 19899
331.06/332.04 c #Conflicts: 189000 | #Constraints: 20899
331.06/332.04 c INPROCESSING
331.06/332.04 c GARBAGE COLLECT
331.06/332.04 c #Conflicts: 190000 | #Constraints: 13286
331.06/332.04 c #Conflicts: 191000 | #Constraints: 14286
331.06/332.04 c #Conflicts: 192000 | #Constraints: 15286
331.06/332.04 c #Conflicts: 193000 | #Constraints: 16286
331.06/332.04 c #Conflicts: 194000 | #Constraints: 17286
331.06/332.04 c #Conflicts: 195000 | #Constraints: 18286
331.06/332.04 c #Conflicts: 196000 | #Constraints: 19286
331.06/332.04 c #Conflicts: 197000 | #Constraints: 20286
331.06/332.04 c #Conflicts: 198000 | #Constraints: 21286
331.06/332.04 c INPROCESSING
331.06/332.04 c GARBAGE COLLECT
331.06/332.04 c #Conflicts: 199000 | #Constraints: 13495
331.06/332.04 c #Conflicts: 200000 | #Constraints: 14495
331.06/332.04 c #Conflicts: 201000 | #Constraints: 15495
331.06/332.04 c #Conflicts: 202000 | #Constraints: 16495
331.06/332.04 c #Conflicts: 203000 | #Constraints: 17495
331.06/332.04 c #Conflicts: 204000 | #Constraints: 18495
331.06/332.04 c #Conflicts: 205000 | #Constraints: 19495
331.06/332.04 c #Conflicts: 206000 | #Constraints: 20495
331.06/332.04 c #Conflicts: 207000 | #Constraints: 21495
331.06/332.04 c INPROCESSING
331.06/332.04 c GARBAGE COLLECT
331.06/332.04 c #Conflicts: 208000 | #Constraints: 13495
331.06/332.04 c #Conflicts: 209000 | #Constraints: 14495
331.06/332.04 c #Conflicts: 210000 | #Constraints: 15495
331.06/332.04 c #Conflicts: 211000 | #Constraints: 16495
331.06/332.04 c #Conflicts: 212000 | #Constraints: 17495
331.06/332.04 c #Conflicts: 213000 | #Constraints: 18495
510.64/512.12 c #Conflicts: 214000 | #Constraints: 19495
510.64/512.12 c #Conflicts: 215000 | #Constraints: 20495
510.64/512.12 c #Conflicts: 216000 | #Constraints: 21495
510.64/512.12 c INPROCESSING
510.64/512.12 c GARBAGE COLLECT
510.64/512.12 c #Conflicts: 217000 | #Constraints: 13302
510.64/512.12 c #Conflicts: 218000 | #Constraints: 14302
510.64/512.12 c #Conflicts: 219000 | #Constraints: 15302
510.64/512.12 c #Conflicts: 220000 | #Constraints: 16302
510.64/512.12 c #Conflicts: 221000 | #Constraints: 17302
510.64/512.12 c #Conflicts: 222000 | #Constraints: 18302
510.64/512.12 c #Conflicts: 223000 | #Constraints: 19302
510.64/512.12 c #Conflicts: 224000 | #Constraints: 20302
510.64/512.12 c #Conflicts: 225000 | #Constraints: 21302
510.64/512.12 c #Conflicts: 226000 | #Constraints: 22302
510.64/512.12 c INPROCESSING
510.64/512.12 c GARBAGE COLLECT
510.64/512.12 c #Conflicts: 227000 | #Constraints: 13887
510.64/512.12 c #Conflicts: 228000 | #Constraints: 14887
510.64/512.12 c #Conflicts: 229000 | #Constraints: 15887
510.64/512.12 c #Conflicts: 230000 | #Constraints: 16887
510.64/512.12 c #Conflicts: 231000 | #Constraints: 17887
510.64/512.12 c #Conflicts: 232000 | #Constraints: 18887
510.64/512.12 c #Conflicts: 233000 | #Constraints: 19887
510.64/512.12 c #Conflicts: 234000 | #Constraints: 20887
510.64/512.12 c #Conflicts: 235000 | #Constraints: 21887
510.64/512.12 c #Conflicts: 236000 | #Constraints: 22887
510.64/512.12 c INPROCESSING
510.64/512.12 c GARBAGE COLLECT
510.64/512.12 c #Conflicts: 237000 | #Constraints: 14286
510.64/512.12 c #Conflicts: 238000 | #Constraints: 15286
510.64/512.12 c #Conflicts: 239000 | #Constraints: 16286
510.64/512.12 c #Conflicts: 240000 | #Constraints: 17286
510.64/512.12 c #Conflicts: 241000 | #Constraints: 18286
510.64/512.12 c #Conflicts: 242000 | #Constraints: 19286
510.64/512.12 c #Conflicts: 243000 | #Constraints: 20286
510.64/512.12 c #Conflicts: 244000 | #Constraints: 21286
510.64/512.12 c #Conflicts: 245000 | #Constraints: 22286
510.64/512.12 c #Conflicts: 246000 | #Constraints: 23286
510.64/512.12 c INPROCESSING
510.64/512.12 c GARBAGE COLLECT
510.64/512.12 c #Conflicts: 247000 | #Constraints: 14487
510.64/512.12 c #Conflicts: 248000 | #Constraints: 15487
510.64/512.12 c #Conflicts: 249000 | #Constraints: 16487
510.64/512.12 c #Conflicts: 250000 | #Constraints: 17487
510.64/512.12 c #Conflicts: 251000 | #Constraints: 18487
510.64/512.12 c #Conflicts: 252000 | #Constraints: 19487
510.64/512.12 c #Conflicts: 253000 | #Constraints: 20487
510.64/512.12 c #Conflicts: 254000 | #Constraints: 21487
510.64/512.12 c #Conflicts: 255000 | #Constraints: 22487
510.64/512.12 c #Conflicts: 256000 | #Constraints: 23487
510.64/512.12 c INPROCESSING
510.64/512.12 c GARBAGE COLLECT
510.64/512.12 c #Conflicts: 257000 | #Constraints: 14491
510.64/512.12 c #Conflicts: 258000 | #Constraints: 15491
510.64/512.12 c #Conflicts: 259000 | #Constraints: 16491
510.64/512.12 c #Conflicts: 260000 | #Constraints: 17491
510.64/512.12 c #Conflicts: 261000 | #Constraints: 18491
510.64/512.12 c #Conflicts: 262000 | #Constraints: 19491
510.64/512.12 c #Conflicts: 263000 | #Constraints: 20491
510.64/512.12 c #Conflicts: 264000 | #Constraints: 21491
510.64/512.12 c #Conflicts: 265000 | #Constraints: 22491
510.64/512.12 c #Conflicts: 266000 | #Constraints: 23491
510.64/512.12 c INPROCESSING
510.64/512.12 c GARBAGE COLLECT
510.64/512.12 c #Conflicts: 267000 | #Constraints: 14297
510.64/512.12 c #Conflicts: 268000 | #Constraints: 15297
510.64/512.12 c #Conflicts: 269000 | #Constraints: 16297
510.64/512.12 c #Conflicts: 270000 | #Constraints: 17297
510.64/512.12 c #Conflicts: 271000 | #Constraints: 18297
510.64/512.12 c #Conflicts: 272000 | #Constraints: 19297
510.64/512.12 c #Conflicts: 273000 | #Constraints: 20297
510.64/512.12 c #Conflicts: 274000 | #Constraints: 21297
510.64/512.12 c #Conflicts: 275000 | #Constraints: 22297
510.64/512.12 c #Conflicts: 276000 | #Constraints: 23297
510.64/512.12 c #Conflicts: 277000 | #Constraints: 24297
510.64/512.12 c INPROCESSING
510.64/512.12 c GARBAGE COLLECT
510.64/512.12 c #Conflicts: 278000 | #Constraints: 14892
510.64/512.12 c #Conflicts: 279000 | #Constraints: 15892
510.64/512.12 c #Conflicts: 280000 | #Constraints: 16892
510.64/512.12 c #Conflicts: 281000 | #Constraints: 17892
510.64/512.12 c #Conflicts: 282000 | #Constraints: 18892
510.64/512.12 c #Conflicts: 283000 | #Constraints: 19892
510.64/512.12 c #Conflicts: 284000 | #Constraints: 20892
510.64/512.12 c #Conflicts: 285000 | #Constraints: 21892
510.64/512.12 c #Conflicts: 286000 | #Constraints: 22892
510.64/512.12 c #Conflicts: 287000 | #Constraints: 23892
510.64/512.12 c #Conflicts: 288000 | #Constraints: 24892
695.11/697.15 c INPROCESSING
695.11/697.15 c GARBAGE COLLECT
695.11/697.15 c #Conflicts: 289000 | #Constraints: 15296
695.11/697.15 c #Conflicts: 290000 | #Constraints: 16296
695.11/697.15 c #Conflicts: 291000 | #Constraints: 17296
695.11/697.15 c #Conflicts: 292000 | #Constraints: 18296
695.11/697.15 c #Conflicts: 293000 | #Constraints: 19296
695.11/697.15 c #Conflicts: 294000 | #Constraints: 20296
695.11/697.15 c #Conflicts: 295000 | #Constraints: 21296
695.11/697.15 c #Conflicts: 296000 | #Constraints: 22296
695.11/697.15 c #Conflicts: 297000 | #Constraints: 23296
695.11/697.15 c #Conflicts: 298000 | #Constraints: 24296
695.11/697.15 c #Conflicts: 299000 | #Constraints: 25296
695.11/697.15 c INPROCESSING
695.11/697.15 c GARBAGE COLLECT
695.11/697.15 c #Conflicts: 300000 | #Constraints: 15498
695.11/697.15 c #Conflicts: 301000 | #Constraints: 16498
695.11/697.15 c #Conflicts: 302000 | #Constraints: 17498
695.11/697.15 c #Conflicts: 303000 | #Constraints: 18498
695.11/697.15 c #Conflicts: 304000 | #Constraints: 19498
695.11/697.15 c #Conflicts: 305000 | #Constraints: 20498
695.11/697.15 c #Conflicts: 306000 | #Constraints: 21498
695.11/697.15 c #Conflicts: 307000 | #Constraints: 22498
695.11/697.15 c #Conflicts: 308000 | #Constraints: 23498
695.11/697.15 c #Conflicts: 309000 | #Constraints: 24498
695.11/697.15 c #Conflicts: 310000 | #Constraints: 25498
695.11/697.15 c INPROCESSING
695.11/697.15 c GARBAGE COLLECT
695.11/697.15 c #Conflicts: 311000 | #Constraints: 15495
695.11/697.15 c #Conflicts: 312000 | #Constraints: 16495
695.11/697.15 c #Conflicts: 313000 | #Constraints: 17495
695.11/697.15 c #Conflicts: 314000 | #Constraints: 18495
695.11/697.15 c #Conflicts: 315000 | #Constraints: 19495
695.11/697.15 c #Conflicts: 316000 | #Constraints: 20495
695.11/697.15 c #Conflicts: 317000 | #Constraints: 21495
695.11/697.15 c #Conflicts: 318000 | #Constraints: 22495
695.11/697.15 c #Conflicts: 319000 | #Constraints: 23495
695.11/697.15 c #Conflicts: 320000 | #Constraints: 24495
695.11/697.15 c #Conflicts: 321000 | #Constraints: 25495
695.11/697.15 c INPROCESSING
695.11/697.15 c GARBAGE COLLECT
695.11/697.15 c #Conflicts: 322000 | #Constraints: 15289
695.11/697.15 c #Conflicts: 323000 | #Constraints: 16289
695.11/697.15 c #Conflicts: 324000 | #Constraints: 17289
695.11/697.15 c #Conflicts: 325000 | #Constraints: 18289
695.11/697.15 c #Conflicts: 326000 | #Constraints: 19289
695.11/697.15 c #Conflicts: 327000 | #Constraints: 20289
695.11/697.15 c #Conflicts: 328000 | #Constraints: 21289
695.11/697.15 c #Conflicts: 329000 | #Constraints: 22289
695.11/697.15 c #Conflicts: 330000 | #Constraints: 23289
695.11/697.15 c #Conflicts: 331000 | #Constraints: 24289
695.11/697.15 c #Conflicts: 332000 | #Constraints: 25289
695.11/697.15 c #Conflicts: 333000 | #Constraints: 26289
695.11/697.15 c INPROCESSING
695.11/697.15 c GARBAGE COLLECT
695.11/697.15 c #Conflicts: 334000 | #Constraints: 15892
695.11/697.15 c #Conflicts: 335000 | #Constraints: 16892
695.11/697.15 c #Conflicts: 336000 | #Constraints: 17892
695.11/697.15 c #Conflicts: 337000 | #Constraints: 18892
695.11/697.15 c #Conflicts: 338000 | #Constraints: 19892
695.11/697.15 c #Conflicts: 339000 | #Constraints: 20892
695.11/697.15 c #Conflicts: 340000 | #Constraints: 21892
695.11/697.15 c #Conflicts: 341000 | #Constraints: 22892
695.11/697.15 c #Conflicts: 342000 | #Constraints: 23892
695.11/697.15 c #Conflicts: 343000 | #Constraints: 24892
695.11/697.15 c #Conflicts: 344000 | #Constraints: 25892
695.11/697.15 c #Conflicts: 345000 | #Constraints: 26892
695.11/697.15 c INPROCESSING
695.11/697.15 c GARBAGE COLLECT
695.11/697.15 c #Conflicts: 346000 | #Constraints: 16302
695.11/697.15 c #Conflicts: 347000 | #Constraints: 17302
695.11/697.15 c #Conflicts: 348000 | #Constraints: 18302
695.11/697.15 c #Conflicts: 349000 | #Constraints: 19302
695.11/697.15 c #Conflicts: 350000 | #Constraints: 20302
695.11/697.15 c #Conflicts: 351000 | #Constraints: 21302
695.11/697.15 c #Conflicts: 352000 | #Constraints: 22302
695.11/697.15 c #Conflicts: 353000 | #Constraints: 23302
695.11/697.15 c #Conflicts: 354000 | #Constraints: 24302
695.11/697.15 c #Conflicts: 355000 | #Constraints: 25302
695.11/697.15 c #Conflicts: 356000 | #Constraints: 26302
695.11/697.15 c #Conflicts: 357000 | #Constraints: 27302
695.11/697.15 c INPROCESSING
695.11/697.15 c GARBAGE COLLECT
695.11/697.15 c #Conflicts: 358000 | #Constraints: 16488
695.11/697.15 c #Conflicts: 359000 | #Constraints: 17488
695.11/697.15 c #Conflicts: 360000 | #Constraints: 18488
695.11/697.15 c #Conflicts: 361000 | #Constraints: 19488
695.11/697.15 c #Conflicts: 362000 | #Constraints: 20488
872.92/875.41 c #Conflicts: 363000 | #Constraints: 21488
872.92/875.41 c #Conflicts: 364000 | #Constraints: 22488
872.92/875.41 c #Conflicts: 365000 | #Constraints: 23488
872.92/875.41 c #Conflicts: 366000 | #Constraints: 24488
872.92/875.41 c #Conflicts: 367000 | #Constraints: 25488
872.92/875.41 c #Conflicts: 368000 | #Constraints: 26488
872.92/875.41 c #Conflicts: 369000 | #Constraints: 27488
872.92/875.41 c INPROCESSING
872.92/875.41 c GARBAGE COLLECT
872.92/875.41 c #Conflicts: 370000 | #Constraints: 16482
872.92/875.41 c #Conflicts: 371000 | #Constraints: 17482
872.92/875.41 c #Conflicts: 372000 | #Constraints: 18482
872.92/875.41 c #Conflicts: 373000 | #Constraints: 19482
872.92/875.41 c #Conflicts: 374000 | #Constraints: 20482
872.92/875.41 c #Conflicts: 375000 | #Constraints: 21482
872.92/875.41 c #Conflicts: 376000 | #Constraints: 22482
872.92/875.41 c #Conflicts: 377000 | #Constraints: 23482
872.92/875.41 c #Conflicts: 378000 | #Constraints: 24482
872.92/875.41 c #Conflicts: 379000 | #Constraints: 25482
872.92/875.41 c #Conflicts: 380000 | #Constraints: 26482
872.92/875.41 c #Conflicts: 381000 | #Constraints: 27482
872.92/875.41 c INPROCESSING
872.92/875.41 c GARBAGE COLLECT
872.92/875.41 c #Conflicts: 382000 | #Constraints: 16292
872.92/875.41 c #Conflicts: 383000 | #Constraints: 17292
872.92/875.41 c #Conflicts: 384000 | #Constraints: 18292
872.92/875.41 c #Conflicts: 385000 | #Constraints: 19292
872.92/875.41 c #Conflicts: 386000 | #Constraints: 20292
872.92/875.41 c #Conflicts: 387000 | #Constraints: 21292
872.92/875.41 c #Conflicts: 388000 | #Constraints: 22292
872.92/875.41 c #Conflicts: 389000 | #Constraints: 23292
872.92/875.41 c #Conflicts: 390000 | #Constraints: 24292
872.92/875.41 c #Conflicts: 391000 | #Constraints: 25292
872.92/875.41 c #Conflicts: 392000 | #Constraints: 26292
872.92/875.41 c #Conflicts: 393000 | #Constraints: 27292
872.92/875.41 c #Conflicts: 394000 | #Constraints: 28292
872.92/875.41 c INPROCESSING
872.92/875.41 c GARBAGE COLLECT
872.92/875.41 c #Conflicts: 395000 | #Constraints: 16894
872.92/875.41 c #Conflicts: 396000 | #Constraints: 17894
872.92/875.41 c #Conflicts: 397000 | #Constraints: 18894
872.92/875.41 c #Conflicts: 398000 | #Constraints: 19894
872.92/875.41 c #Conflicts: 399000 | #Constraints: 20894
872.92/875.41 c #Conflicts: 400000 | #Constraints: 21894
872.92/875.41 c #Conflicts: 401000 | #Constraints: 22894
872.92/875.41 c #Conflicts: 402000 | #Constraints: 23894
872.92/875.41 c #Conflicts: 403000 | #Constraints: 24894
872.92/875.41 c #Conflicts: 404000 | #Constraints: 25894
872.92/875.41 c #Conflicts: 405000 | #Constraints: 26894
872.92/875.41 c #Conflicts: 406000 | #Constraints: 27894
872.92/875.41 c #Conflicts: 407000 | #Constraints: 28894
872.92/875.41 c INPROCESSING
872.92/875.41 c GARBAGE COLLECT
872.92/875.41 c #Conflicts: 408000 | #Constraints: 17303
872.92/875.41 c #Conflicts: 409000 | #Constraints: 18303
872.92/875.41 c #Conflicts: 410000 | #Constraints: 19303
872.92/875.41 c #Conflicts: 411000 | #Constraints: 20303
872.92/875.41 c #Conflicts: 412000 | #Constraints: 21303
872.92/875.41 c #Conflicts: 413000 | #Constraints: 22303
872.92/875.41 c #Conflicts: 414000 | #Constraints: 23303
872.92/875.41 c #Conflicts: 415000 | #Constraints: 24303
872.92/875.41 c #Conflicts: 416000 | #Constraints: 25303
872.92/875.41 c #Conflicts: 417000 | #Constraints: 26303
872.92/875.41 c #Conflicts: 418000 | #Constraints: 27303
872.92/875.41 c #Conflicts: 419000 | #Constraints: 28303
872.92/875.41 c #Conflicts: 420000 | #Constraints: 29303
872.92/875.41 c INPROCESSING
872.92/875.41 c GARBAGE COLLECT
872.92/875.41 c #Conflicts: 421000 | #Constraints: 17492
872.92/875.41 c #Conflicts: 422000 | #Constraints: 18492
872.92/875.41 c #Conflicts: 423000 | #Constraints: 19492
872.92/875.41 c #Conflicts: 424000 | #Constraints: 20492
872.92/875.41 c #Conflicts: 425000 | #Constraints: 21492
872.92/875.41 c #Conflicts: 426000 | #Constraints: 22492
872.92/875.41 c #Conflicts: 427000 | #Constraints: 23492
872.92/875.41 c #Conflicts: 428000 | #Constraints: 24492
872.92/875.41 c #Conflicts: 429000 | #Constraints: 25492
872.92/875.41 c #Conflicts: 430000 | #Constraints: 26492
872.92/875.41 c #Conflicts: 431000 | #Constraints: 27492
872.92/875.41 c #Conflicts: 432000 | #Constraints: 28492
872.92/875.41 c #Conflicts: 433000 | #Constraints: 29492
872.92/875.41 c INPROCESSING
872.92/875.41 c GARBAGE COLLECT
872.92/875.41 c #Conflicts: 434000 | #Constraints: 17504
872.92/875.41 c #Conflicts: 435000 | #Constraints: 18504
872.92/875.41 c #Conflicts: 436000 | #Constraints: 19504
872.92/875.41 c #Conflicts: 437000 | #Constraints: 20504
1064.59/1067.69 c #Conflicts: 438000 | #Constraints: 21504
1064.59/1067.69 c #Conflicts: 439000 | #Constraints: 22504
1064.59/1067.69 c #Conflicts: 440000 | #Constraints: 23504
1064.59/1067.69 c #Conflicts: 441000 | #Constraints: 24504
1064.59/1067.69 c #Conflicts: 442000 | #Constraints: 25504
1064.59/1067.69 c #Conflicts: 443000 | #Constraints: 26504
1064.59/1067.69 c #Conflicts: 444000 | #Constraints: 27504
1064.59/1067.69 c #Conflicts: 445000 | #Constraints: 28504
1064.59/1067.69 c #Conflicts: 446000 | #Constraints: 29504
1064.59/1067.69 c INPROCESSING
1064.59/1067.69 c GARBAGE COLLECT
1064.59/1067.69 c #Conflicts: 447000 | #Constraints: 17302
1064.59/1067.69 c #Conflicts: 448000 | #Constraints: 18302
1064.59/1067.69 c #Conflicts: 449000 | #Constraints: 19302
1064.59/1067.69 c #Conflicts: 450000 | #Constraints: 20302
1064.59/1067.69 c #Conflicts: 451000 | #Constraints: 21302
1064.59/1067.69 c #Conflicts: 452000 | #Constraints: 22302
1064.59/1067.69 c #Conflicts: 453000 | #Constraints: 23302
1064.59/1067.69 c #Conflicts: 454000 | #Constraints: 24302
1064.59/1067.69 c #Conflicts: 455000 | #Constraints: 25302
1064.59/1067.69 c #Conflicts: 456000 | #Constraints: 26302
1064.59/1067.69 c #Conflicts: 457000 | #Constraints: 27302
1064.59/1067.69 c #Conflicts: 458000 | #Constraints: 28302
1064.59/1067.69 c #Conflicts: 459000 | #Constraints: 29302
1064.59/1067.69 c #Conflicts: 460000 | #Constraints: 30302
1064.59/1067.69 c INPROCESSING
1064.59/1067.69 c GARBAGE COLLECT
1064.59/1067.69 c #Conflicts: 461000 | #Constraints: 17891
1064.59/1067.69 c #Conflicts: 462000 | #Constraints: 18891
1064.59/1067.69 c #Conflicts: 463000 | #Constraints: 19891
1064.59/1067.69 c #Conflicts: 464000 | #Constraints: 20891
1064.59/1067.69 c #Conflicts: 465000 | #Constraints: 21891
1064.59/1067.69 c #Conflicts: 466000 | #Constraints: 22891
1064.59/1067.69 c #Conflicts: 467000 | #Constraints: 23891
1064.59/1067.69 c #Conflicts: 468000 | #Constraints: 24891
1064.59/1067.69 c #Conflicts: 469000 | #Constraints: 25891
1064.59/1067.69 c #Conflicts: 470000 | #Constraints: 26891
1064.59/1067.69 c #Conflicts: 471000 | #Constraints: 27891
1064.59/1067.69 c #Conflicts: 472000 | #Constraints: 28891
1064.59/1067.69 c #Conflicts: 473000 | #Constraints: 29891
1064.59/1067.69 c #Conflicts: 474000 | #Constraints: 30891
1064.59/1067.69 c INPROCESSING
1064.59/1067.69 c GARBAGE COLLECT
1064.59/1067.69 c #Conflicts: 475000 | #Constraints: 18299
1064.59/1067.69 c #Conflicts: 476000 | #Constraints: 19299
1064.59/1067.69 c #Conflicts: 477000 | #Constraints: 20299
1064.59/1067.69 c #Conflicts: 478000 | #Constraints: 21299
1064.59/1067.69 c #Conflicts: 479000 | #Constraints: 22299
1064.59/1067.69 c #Conflicts: 480000 | #Constraints: 23299
1064.59/1067.69 c #Conflicts: 481000 | #Constraints: 24299
1064.59/1067.69 c #Conflicts: 482000 | #Constraints: 25299
1064.59/1067.69 c #Conflicts: 483000 | #Constraints: 26299
1064.59/1067.69 c #Conflicts: 484000 | #Constraints: 27299
1064.59/1067.69 c #Conflicts: 485000 | #Constraints: 28299
1064.59/1067.69 c #Conflicts: 486000 | #Constraints: 29299
1064.59/1067.69 c #Conflicts: 487000 | #Constraints: 30299
1064.59/1067.69 c #Conflicts: 488000 | #Constraints: 31299
1064.59/1067.69 c INPROCESSING
1064.59/1067.69 c GARBAGE COLLECT
1064.59/1067.69 c #Conflicts: 489000 | #Constraints: 18501
1064.59/1067.69 c #Conflicts: 490000 | #Constraints: 19501
1064.59/1067.69 c #Conflicts: 491000 | #Constraints: 20501
1064.59/1067.69 c #Conflicts: 492000 | #Constraints: 21501
1064.59/1067.69 c #Conflicts: 493000 | #Constraints: 22501
1064.59/1067.69 c #Conflicts: 494000 | #Constraints: 23501
1064.59/1067.69 c #Conflicts: 495000 | #Constraints: 24501
1064.59/1067.69 c #Conflicts: 496000 | #Constraints: 25501
1064.59/1067.69 c #Conflicts: 497000 | #Constraints: 26501
1064.59/1067.69 c #Conflicts: 498000 | #Constraints: 27501
1064.59/1067.69 c #Conflicts: 499000 | #Constraints: 28501
1064.59/1067.69 c #Conflicts: 500000 | #Constraints: 29501
1064.59/1067.69 c #Conflicts: 501000 | #Constraints: 30501
1064.59/1067.69 c #Conflicts: 502000 | #Constraints: 31501
1064.59/1067.69 c INPROCESSING
1064.59/1067.69 c GARBAGE COLLECT
1064.59/1067.69 c #Conflicts: 503000 | #Constraints: 18493
1064.59/1067.69 c #Conflicts: 504000 | #Constraints: 19493
1064.59/1067.69 c #Conflicts: 505000 | #Constraints: 20493
1064.59/1067.69 c #Conflicts: 506000 | #Constraints: 21493
1064.59/1067.69 c #Conflicts: 507000 | #Constraints: 22493
1064.59/1067.69 c #Conflicts: 508000 | #Constraints: 23493
1064.59/1067.69 c #Conflicts: 509000 | #Constraints: 24493
1064.59/1067.69 c #Conflicts: 510000 | #Constraints: 25493
1064.59/1067.69 c #Conflicts: 511000 | #Constraints: 26493
1064.59/1067.69 c #Conflicts: 512000 | #Constraints: 27493
1064.59/1067.69 c #Conflicts: 513000 | #Constraints: 28493
1378.17/1382.05 c #Conflicts: 514000 | #Constraints: 29493
1378.17/1382.05 c #Conflicts: 515000 | #Constraints: 30493
1378.17/1382.05 c #Conflicts: 516000 | #Constraints: 31493
1378.17/1382.05 c INPROCESSING
1378.17/1382.05 c GARBAGE COLLECT
1378.17/1382.05 c #Conflicts: 517000 | #Constraints: 18285
1378.17/1382.05 c #Conflicts: 518000 | #Constraints: 19285
1378.17/1382.05 c #Conflicts: 519000 | #Constraints: 20285
1378.17/1382.05 c #Conflicts: 520000 | #Constraints: 21285
1378.17/1382.05 c #Conflicts: 521000 | #Constraints: 22285
1378.17/1382.05 c #Conflicts: 522000 | #Constraints: 23285
1378.17/1382.05 c #Conflicts: 523000 | #Constraints: 24285
1378.17/1382.05 c #Conflicts: 524000 | #Constraints: 25285
1378.17/1382.05 c #Conflicts: 525000 | #Constraints: 26285
1378.17/1382.05 c #Conflicts: 526000 | #Constraints: 27285
1378.17/1382.05 c #Conflicts: 527000 | #Constraints: 28285
1378.17/1382.05 c #Conflicts: 528000 | #Constraints: 29285
1378.17/1382.05 c #Conflicts: 529000 | #Constraints: 30285
1378.17/1382.05 c #Conflicts: 530000 | #Constraints: 31285
1378.17/1382.05 c #Conflicts: 531000 | #Constraints: 32285
1378.17/1382.05 c INPROCESSING
1378.17/1382.05 c GARBAGE COLLECT
1378.17/1382.05 c #Conflicts: 532000 | #Constraints: 18899
1378.17/1382.05 c #Conflicts: 533000 | #Constraints: 19899
1378.17/1382.05 c #Conflicts: 534000 | #Constraints: 20899
1378.17/1382.05 c #Conflicts: 535000 | #Constraints: 21899
1378.17/1382.05 c #Conflicts: 536000 | #Constraints: 22899
1378.17/1382.05 c #Conflicts: 537000 | #Constraints: 23899
1378.17/1382.05 c #Conflicts: 538000 | #Constraints: 24899
1378.17/1382.05 c #Conflicts: 539000 | #Constraints: 25899
1378.17/1382.05 c #Conflicts: 540000 | #Constraints: 26899
1378.17/1382.05 c #Conflicts: 541000 | #Constraints: 27899
1378.17/1382.05 c #Conflicts: 542000 | #Constraints: 28899
1378.17/1382.05 c #Conflicts: 543000 | #Constraints: 29899
1378.17/1382.05 c #Conflicts: 544000 | #Constraints: 30899
1378.17/1382.05 c #Conflicts: 545000 | #Constraints: 31899
1378.17/1382.05 c #Conflicts: 546000 | #Constraints: 32899
1378.17/1382.05 c INPROCESSING
1378.17/1382.05 c GARBAGE COLLECT
1378.17/1382.05 c #Conflicts: 547000 | #Constraints: 19305
1378.17/1382.05 c #Conflicts: 548000 | #Constraints: 20305
1378.17/1382.05 c #Conflicts: 549000 | #Constraints: 21305
1378.17/1382.05 c #Conflicts: 550000 | #Constraints: 22305
1378.17/1382.05 c #Conflicts: 551000 | #Constraints: 23305
1378.17/1382.05 c #Conflicts: 552000 | #Constraints: 24305
1378.17/1382.05 c #Conflicts: 553000 | #Constraints: 25305
1378.17/1382.05 c #Conflicts: 554000 | #Constraints: 26305
1378.17/1382.05 c #Conflicts: 555000 | #Constraints: 27305
1378.17/1382.05 c #Conflicts: 556000 | #Constraints: 28305
1378.17/1382.05 c #Conflicts: 557000 | #Constraints: 29305
1378.17/1382.05 c #Conflicts: 558000 | #Constraints: 30305
1378.17/1382.05 c #Conflicts: 559000 | #Constraints: 31305
1378.17/1382.05 c #Conflicts: 560000 | #Constraints: 32305
1378.17/1382.05 c #Conflicts: 561000 | #Constraints: 33305
1378.17/1382.05 c INPROCESSING
1378.17/1382.05 c GARBAGE COLLECT
1378.17/1382.05 c #Conflicts: 562000 | #Constraints: 19541
1378.17/1382.05 c #Conflicts: 563000 | #Constraints: 20541
1378.17/1382.05 c #Conflicts: 564000 | #Constraints: 21541
1378.17/1382.05 c #Conflicts: 565000 | #Constraints: 22541
1378.17/1382.05 c #Conflicts: 566000 | #Constraints: 23541
1378.17/1382.05 c #Conflicts: 567000 | #Constraints: 24541
1378.17/1382.05 c #Conflicts: 568000 | #Constraints: 25541
1378.17/1382.05 c #Conflicts: 569000 | #Constraints: 26541
1378.17/1382.05 c #Conflicts: 570000 | #Constraints: 27541
1378.17/1382.05 c #Conflicts: 571000 | #Constraints: 28541
1378.17/1382.05 c #Conflicts: 572000 | #Constraints: 29541
1378.17/1382.05 c #Conflicts: 573000 | #Constraints: 30541
1378.17/1382.05 c #Conflicts: 574000 | #Constraints: 31541
1378.17/1382.05 c #Conflicts: 575000 | #Constraints: 32541
1378.17/1382.05 c #Conflicts: 576000 | #Constraints: 33541
1378.17/1382.05 c INPROCESSING
1378.17/1382.05 c GARBAGE COLLECT
1378.17/1382.05 c #Conflicts: 577000 | #Constraints: 19517
1378.17/1382.05 c #Conflicts: 578000 | #Constraints: 20517
1378.17/1382.05 c #Conflicts: 579000 | #Constraints: 21517
1378.17/1382.05 c #Conflicts: 580000 | #Constraints: 22517
1378.17/1382.05 c #Conflicts: 581000 | #Constraints: 23517
1378.17/1382.05 c #Conflicts: 582000 | #Constraints: 24517
1378.17/1382.05 c #Conflicts: 583000 | #Constraints: 25517
1378.17/1382.05 c #Conflicts: 584000 | #Constraints: 26517
1378.17/1382.05 c #Conflicts: 585000 | #Constraints: 27517
1378.17/1382.05 c #Conflicts: 586000 | #Constraints: 28517
1378.17/1382.05 c #Conflicts: 587000 | #Constraints: 29517
1378.17/1382.05 c #Conflicts: 588000 | #Constraints: 30517
1683.18/1687.80 c #Conflicts: 589000 | #Constraints: 31517
1683.18/1687.80 c #Conflicts: 590000 | #Constraints: 32517
1683.18/1687.80 c #Conflicts: 591000 | #Constraints: 33517
1683.18/1687.80 c INPROCESSING
1683.18/1687.80 c GARBAGE COLLECT
1683.18/1687.80 c #Conflicts: 592000 | #Constraints: 19306
1683.18/1687.80 c #Conflicts: 593000 | #Constraints: 20306
1683.18/1687.80 c #Conflicts: 594000 | #Constraints: 21306
1683.18/1687.80 c #Conflicts: 595000 | #Constraints: 22306
1683.18/1687.80 c #Conflicts: 596000 | #Constraints: 23306
1683.18/1687.80 c #Conflicts: 597000 | #Constraints: 24306
1683.18/1687.80 c #Conflicts: 598000 | #Constraints: 25306
1683.18/1687.80 c #Conflicts: 599000 | #Constraints: 26306
1683.18/1687.80 c #Conflicts: 600000 | #Constraints: 27306
1683.18/1687.80 c #Conflicts: 601000 | #Constraints: 28306
1683.18/1687.80 c #Conflicts: 602000 | #Constraints: 29306
1683.18/1687.80 c #Conflicts: 603000 | #Constraints: 30306
1683.18/1687.80 c #Conflicts: 604000 | #Constraints: 31306
1683.18/1687.80 c #Conflicts: 605000 | #Constraints: 32306
1683.18/1687.80 c #Conflicts: 606000 | #Constraints: 33306
1683.18/1687.80 c #Conflicts: 607000 | #Constraints: 34306
1683.18/1687.80 c INPROCESSING
1683.18/1687.80 c GARBAGE COLLECT
1683.18/1687.80 c #Conflicts: 608000 | #Constraints: 19908
1683.18/1687.80 c #Conflicts: 609000 | #Constraints: 20908
1683.18/1687.80 c #Conflicts: 610000 | #Constraints: 21908
1683.18/1687.80 c #Conflicts: 611000 | #Constraints: 22908
1683.18/1687.80 c #Conflicts: 612000 | #Constraints: 23908
1683.18/1687.80 c #Conflicts: 613000 | #Constraints: 24908
1683.18/1687.80 c #Conflicts: 614000 | #Constraints: 25908
1683.18/1687.80 c #Conflicts: 615000 | #Constraints: 26908
1683.18/1687.80 c #Conflicts: 616000 | #Constraints: 27908
1683.18/1687.80 c #Conflicts: 617000 | #Constraints: 28908
1683.18/1687.80 c #Conflicts: 618000 | #Constraints: 29908
1683.18/1687.80 c #Conflicts: 619000 | #Constraints: 30908
1683.18/1687.80 c #Conflicts: 620000 | #Constraints: 31908
1683.18/1687.80 c #Conflicts: 621000 | #Constraints: 32908
1683.18/1687.80 c #Conflicts: 622000 | #Constraints: 33908
1683.18/1687.80 c #Conflicts: 623000 | #Constraints: 34908
1683.18/1687.80 c INPROCESSING
1683.18/1687.80 c GARBAGE COLLECT
1683.18/1687.80 c #Conflicts: 624000 | #Constraints: 20318
1683.18/1687.80 c #Conflicts: 625000 | #Constraints: 21318
1683.18/1687.80 c #Conflicts: 626000 | #Constraints: 22318
1683.18/1687.80 c #Conflicts: 627000 | #Constraints: 23318
1683.18/1687.80 c #Conflicts: 628000 | #Constraints: 24318
1683.18/1687.80 c #Conflicts: 629000 | #Constraints: 25318
1683.18/1687.80 c #Conflicts: 630000 | #Constraints: 26318
1683.18/1687.80 c #Conflicts: 631000 | #Constraints: 27318
1683.18/1687.80 c #Conflicts: 632000 | #Constraints: 28318
1683.18/1687.80 c #Conflicts: 633000 | #Constraints: 29318
1683.18/1687.80 c #Conflicts: 634000 | #Constraints: 30318
1683.18/1687.80 c #Conflicts: 635000 | #Constraints: 31318
1683.18/1687.80 c #Conflicts: 636000 | #Constraints: 32318
1683.18/1687.80 c #Conflicts: 637000 | #Constraints: 33318
1683.18/1687.80 c #Conflicts: 638000 | #Constraints: 34318
1683.18/1687.80 c #Conflicts: 639000 | #Constraints: 35318
1683.18/1687.80 c INPROCESSING
1683.18/1687.80 c GARBAGE COLLECT
1683.18/1687.80 c #Conflicts: 640000 | #Constraints: 20515
1683.18/1687.80 c #Conflicts: 641000 | #Constraints: 21515
1683.18/1687.80 c #Conflicts: 642000 | #Constraints: 22515
1683.18/1687.80 c #Conflicts: 643000 | #Constraints: 23515
1683.18/1687.80 c #Conflicts: 644000 | #Constraints: 24515
1683.18/1687.80 c #Conflicts: 645000 | #Constraints: 25515
1683.18/1687.80 c #Conflicts: 646000 | #Constraints: 26515
1683.18/1687.80 c #Conflicts: 647000 | #Constraints: 27515
1683.18/1687.80 c #Conflicts: 648000 | #Constraints: 28515
1683.18/1687.80 c #Conflicts: 649000 | #Constraints: 29515
1683.18/1687.80 c #Conflicts: 650000 | #Constraints: 30515
1683.18/1687.80 c #Conflicts: 651000 | #Constraints: 31515
1683.18/1687.80 c #Conflicts: 652000 | #Constraints: 32515
1683.18/1687.80 c #Conflicts: 653000 | #Constraints: 33515
1683.18/1687.80 c #Conflicts: 654000 | #Constraints: 34515
1683.18/1687.80 c #Conflicts: 655000 | #Constraints: 35515
1683.18/1687.80 c INPROCESSING
1683.18/1687.80 c GARBAGE COLLECT
1683.18/1687.80 c #Conflicts: 656000 | #Constraints: 20513
1683.18/1687.80 c #Conflicts: 657000 | #Constraints: 21513
1683.18/1687.80 c #Conflicts: 658000 | #Constraints: 22513
1683.18/1687.80 c #Conflicts: 659000 | #Constraints: 23513
1683.18/1687.80 c #Conflicts: 660000 | #Constraints: 24513
1683.18/1687.80 c #Conflicts: 661000 | #Constraints: 25513
1683.18/1687.80 c #Conflicts: 662000 | #Constraints: 26513
1683.18/1687.80 c #Conflicts: 663000 | #Constraints: 27513
1683.18/1687.80 c #Conflicts: 664000 | #Constraints: 28513
1998.68/2004.15 c #Conflicts: 665000 | #Constraints: 29513
1998.68/2004.15 c #Conflicts: 666000 | #Constraints: 30513
1998.68/2004.15 c #Conflicts: 667000 | #Constraints: 31513
1998.68/2004.15 c #Conflicts: 668000 | #Constraints: 32513
1998.68/2004.15 c #Conflicts: 669000 | #Constraints: 33513
1998.68/2004.15 c #Conflicts: 670000 | #Constraints: 34513
1998.68/2004.15 c #Conflicts: 671000 | #Constraints: 35513
1998.68/2004.15 c INPROCESSING
1998.68/2004.15 c GARBAGE COLLECT
1998.68/2004.15 c #Conflicts: 672000 | #Constraints: 20302
1998.68/2004.15 c #Conflicts: 673000 | #Constraints: 21302
1998.68/2004.15 c #Conflicts: 674000 | #Constraints: 22302
1998.68/2004.15 c #Conflicts: 675000 | #Constraints: 23302
1998.68/2004.15 c #Conflicts: 676000 | #Constraints: 24302
1998.68/2004.15 c #Conflicts: 677000 | #Constraints: 25302
1998.68/2004.15 c #Conflicts: 678000 | #Constraints: 26302
1998.68/2004.15 c #Conflicts: 679000 | #Constraints: 27302
1998.68/2004.15 c #Conflicts: 680000 | #Constraints: 28302
1998.68/2004.15 c #Conflicts: 681000 | #Constraints: 29302
1998.68/2004.15 c #Conflicts: 682000 | #Constraints: 30302
1998.68/2004.15 c #Conflicts: 683000 | #Constraints: 31302
1998.68/2004.15 c #Conflicts: 684000 | #Constraints: 32302
1998.68/2004.15 c #Conflicts: 685000 | #Constraints: 33302
1998.68/2004.15 c #Conflicts: 686000 | #Constraints: 34302
1998.68/2004.15 c #Conflicts: 687000 | #Constraints: 35302
1998.68/2004.15 c #Conflicts: 688000 | #Constraints: 36302
1998.68/2004.15 c INPROCESSING
1998.68/2004.15 c GARBAGE COLLECT
1998.68/2004.15 c #Conflicts: 689000 | #Constraints: 20906
1998.68/2004.15 c #Conflicts: 690000 | #Constraints: 21906
1998.68/2004.15 c #Conflicts: 691000 | #Constraints: 22906
1998.68/2004.15 c #Conflicts: 692000 | #Constraints: 23906
1998.68/2004.15 c #Conflicts: 693000 | #Constraints: 24906
1998.68/2004.15 c #Conflicts: 694000 | #Constraints: 25906
1998.68/2004.15 c #Conflicts: 695000 | #Constraints: 26906
1998.68/2004.15 c #Conflicts: 696000 | #Constraints: 27906
1998.68/2004.15 c #Conflicts: 697000 | #Constraints: 28906
1998.68/2004.15 c #Conflicts: 698000 | #Constraints: 29906
1998.68/2004.15 c #Conflicts: 699000 | #Constraints: 30906
1998.68/2004.15 c #Conflicts: 700000 | #Constraints: 31906
1998.68/2004.15 c #Conflicts: 701000 | #Constraints: 32906
1998.68/2004.15 c #Conflicts: 702000 | #Constraints: 33906
1998.68/2004.15 c #Conflicts: 703000 | #Constraints: 34906
1998.68/2004.15 c #Conflicts: 704000 | #Constraints: 35906
1998.68/2004.15 c #Conflicts: 705000 | #Constraints: 36906
1998.68/2004.15 c INPROCESSING
1998.68/2004.15 c GARBAGE COLLECT
1998.68/2004.15 c #Conflicts: 706000 | #Constraints: 21306
1998.68/2004.15 c #Conflicts: 707000 | #Constraints: 22306
1998.68/2004.15 c #Conflicts: 708000 | #Constraints: 23306
1998.68/2004.15 c #Conflicts: 709000 | #Constraints: 24306
1998.68/2004.15 c #Conflicts: 710000 | #Constraints: 25306
1998.68/2004.15 c #Conflicts: 711000 | #Constraints: 26306
1998.68/2004.15 c #Conflicts: 712000 | #Constraints: 27306
1998.68/2004.15 c #Conflicts: 713000 | #Constraints: 28306
1998.68/2004.15 c #Conflicts: 714000 | #Constraints: 29306
1998.68/2004.15 c #Conflicts: 715000 | #Constraints: 30306
1998.68/2004.15 c #Conflicts: 716000 | #Constraints: 31306
1998.68/2004.15 c #Conflicts: 717000 | #Constraints: 32306
1998.68/2004.15 c #Conflicts: 718000 | #Constraints: 33306
1998.68/2004.15 c #Conflicts: 719000 | #Constraints: 34306
1998.68/2004.15 c #Conflicts: 720000 | #Constraints: 35306
1998.68/2004.15 c #Conflicts: 721000 | #Constraints: 36306
1998.68/2004.15 c #Conflicts: 722000 | #Constraints: 37306
1998.68/2004.15 c INPROCESSING
1998.68/2004.15 c GARBAGE COLLECT
1998.68/2004.15 c #Conflicts: 723000 | #Constraints: 21514
1998.68/2004.15 c #Conflicts: 724000 | #Constraints: 22514
1998.68/2004.15 c #Conflicts: 725000 | #Constraints: 23514
1998.68/2004.15 c #Conflicts: 726000 | #Constraints: 24514
1998.68/2004.15 c #Conflicts: 727000 | #Constraints: 25514
1998.68/2004.15 c #Conflicts: 728000 | #Constraints: 26514
1998.68/2004.15 c #Conflicts: 729000 | #Constraints: 27514
1998.68/2004.15 c #Conflicts: 730000 | #Constraints: 28514
1998.68/2004.15 c #Conflicts: 731000 | #Constraints: 29514
1998.68/2004.15 c #Conflicts: 732000 | #Constraints: 30514
1998.68/2004.15 c #Conflicts: 733000 | #Constraints: 31514
1998.68/2004.15 c #Conflicts: 734000 | #Constraints: 32514
1998.68/2004.15 c #Conflicts: 735000 | #Constraints: 33514
1998.68/2004.15 c #Conflicts: 736000 | #Constraints: 34514
1998.68/2004.15 c #Conflicts: 737000 | #Constraints: 35514
1998.68/2004.15 c #Conflicts: 738000 | #Constraints: 36514
1998.68/2004.15 c #Conflicts: 739000 | #Constraints: 37514
1998.68/2004.15 c INPROCESSING
1998.68/2004.15 c GARBAGE COLLECT
2332.91/2339.21 c #Conflicts: 740000 | #Constraints: 21513
2332.91/2339.21 c #Conflicts: 741000 | #Constraints: 22513
2332.91/2339.21 c #Conflicts: 742000 | #Constraints: 23513
2332.91/2339.21 c #Conflicts: 743000 | #Constraints: 24513
2332.91/2339.21 c #Conflicts: 744000 | #Constraints: 25513
2332.91/2339.21 c #Conflicts: 745000 | #Constraints: 26513
2332.91/2339.21 c #Conflicts: 746000 | #Constraints: 27513
2332.91/2339.21 c #Conflicts: 747000 | #Constraints: 28513
2332.91/2339.21 c #Conflicts: 748000 | #Constraints: 29513
2332.91/2339.21 c #Conflicts: 749000 | #Constraints: 30513
2332.91/2339.21 c #Conflicts: 750000 | #Constraints: 31513
2332.91/2339.21 c #Conflicts: 751000 | #Constraints: 32513
2332.91/2339.21 c #Conflicts: 752000 | #Constraints: 33513
2332.91/2339.21 c #Conflicts: 753000 | #Constraints: 34513
2332.91/2339.21 c #Conflicts: 754000 | #Constraints: 35513
2332.91/2339.21 c #Conflicts: 755000 | #Constraints: 36513
2332.91/2339.21 c #Conflicts: 756000 | #Constraints: 37513
2332.91/2339.21 c INPROCESSING
2332.91/2339.21 c GARBAGE COLLECT
2332.91/2339.21 c #Conflicts: 757000 | #Constraints: 21308
2332.91/2339.21 c #Conflicts: 758000 | #Constraints: 22308
2332.91/2339.21 c #Conflicts: 759000 | #Constraints: 23308
2332.91/2339.21 c #Conflicts: 760000 | #Constraints: 24308
2332.91/2339.21 c #Conflicts: 761000 | #Constraints: 25308
2332.91/2339.21 c #Conflicts: 762000 | #Constraints: 26308
2332.91/2339.21 c #Conflicts: 763000 | #Constraints: 27308
2332.91/2339.21 c #Conflicts: 764000 | #Constraints: 28308
2332.91/2339.21 c #Conflicts: 765000 | #Constraints: 29308
2332.91/2339.21 c #Conflicts: 766000 | #Constraints: 30308
2332.91/2339.21 c #Conflicts: 767000 | #Constraints: 31308
2332.91/2339.21 c #Conflicts: 768000 | #Constraints: 32308
2332.91/2339.21 c #Conflicts: 769000 | #Constraints: 33308
2332.91/2339.21 c #Conflicts: 770000 | #Constraints: 34308
2332.91/2339.21 c #Conflicts: 771000 | #Constraints: 35308
2332.91/2339.21 c #Conflicts: 772000 | #Constraints: 36308
2332.91/2339.21 c #Conflicts: 773000 | #Constraints: 37308
2332.91/2339.21 c #Conflicts: 774000 | #Constraints: 38308
2332.91/2339.21 c INPROCESSING
2332.91/2339.21 c GARBAGE COLLECT
2332.91/2339.21 c #Conflicts: 775000 | #Constraints: 21900
2332.91/2339.21 c #Conflicts: 776000 | #Constraints: 22900
2332.91/2339.21 c #Conflicts: 777000 | #Constraints: 23900
2332.91/2339.21 c #Conflicts: 778000 | #Constraints: 24900
2332.91/2339.21 c #Conflicts: 779000 | #Constraints: 25900
2332.91/2339.21 c #Conflicts: 780000 | #Constraints: 26900
2332.91/2339.21 c #Conflicts: 781000 | #Constraints: 27900
2332.91/2339.21 c #Conflicts: 782000 | #Constraints: 28900
2332.91/2339.21 c #Conflicts: 783000 | #Constraints: 29900
2332.91/2339.21 c #Conflicts: 784000 | #Constraints: 30900
2332.91/2339.21 c #Conflicts: 785000 | #Constraints: 31900
2332.91/2339.21 c #Conflicts: 786000 | #Constraints: 32900
2332.91/2339.21 c #Conflicts: 787000 | #Constraints: 33900
2332.91/2339.21 c #Conflicts: 788000 | #Constraints: 34900
2332.91/2339.21 c #Conflicts: 789000 | #Constraints: 35900
2332.91/2339.21 c #Conflicts: 790000 | #Constraints: 36900
2332.91/2339.21 c #Conflicts: 791000 | #Constraints: 37900
2332.91/2339.21 c #Conflicts: 792000 | #Constraints: 38900
2332.91/2339.21 c INPROCESSING
2332.91/2339.21 c GARBAGE COLLECT
2332.91/2339.21 c #Conflicts: 793000 | #Constraints: 22304
2332.91/2339.21 c #Conflicts: 794000 | #Constraints: 23304
2332.91/2339.21 c #Conflicts: 795000 | #Constraints: 24304
2332.91/2339.21 c #Conflicts: 796000 | #Constraints: 25304
2332.91/2339.21 c #Conflicts: 797000 | #Constraints: 26304
2332.91/2339.21 c #Conflicts: 798000 | #Constraints: 27304
2332.91/2339.21 c #Conflicts: 799000 | #Constraints: 28304
2332.91/2339.21 c #Conflicts: 800000 | #Constraints: 29304
2332.91/2339.21 c #Conflicts: 801000 | #Constraints: 30304
2332.91/2339.21 c #Conflicts: 802000 | #Constraints: 31304
2332.91/2339.21 c #Conflicts: 803000 | #Constraints: 32304
2332.91/2339.21 c #Conflicts: 804000 | #Constraints: 33304
2332.91/2339.21 c #Conflicts: 805000 | #Constraints: 34304
2332.91/2339.21 c #Conflicts: 806000 | #Constraints: 35304
2332.91/2339.21 c #Conflicts: 807000 | #Constraints: 36304
2332.91/2339.21 c #Conflicts: 808000 | #Constraints: 37304
2332.91/2339.21 c #Conflicts: 809000 | #Constraints: 38304
2332.91/2339.21 c #Conflicts: 810000 | #Constraints: 39304
2332.91/2339.21 c INPROCESSING
2332.91/2339.21 c GARBAGE COLLECT
2332.91/2339.21 c #Conflicts: 811000 | #Constraints: 22497
2332.91/2339.21 c #Conflicts: 812000 | #Constraints: 23497
2332.91/2339.21 c #Conflicts: 813000 | #Constraints: 24497
2332.91/2339.21 c #Conflicts: 814000 | #Constraints: 25497
2332.91/2339.21 c #Conflicts: 815000 | #Constraints: 26497
2332.91/2339.21 c #Conflicts: 816000 | #Constraints: 27497
2637.31/2644.40 c #Conflicts: 817000 | #Constraints: 28497
2637.31/2644.40 c #Conflicts: 818000 | #Constraints: 29497
2637.31/2644.40 c #Conflicts: 819000 | #Constraints: 30497
2637.31/2644.40 c #Conflicts: 820000 | #Constraints: 31497
2637.31/2644.40 c #Conflicts: 821000 | #Constraints: 32497
2637.31/2644.40 c #Conflicts: 822000 | #Constraints: 33497
2637.31/2644.40 c #Conflicts: 823000 | #Constraints: 34497
2637.31/2644.40 c #Conflicts: 824000 | #Constraints: 35497
2637.31/2644.40 c #Conflicts: 825000 | #Constraints: 36497
2637.31/2644.40 c #Conflicts: 826000 | #Constraints: 37497
2637.31/2644.40 c #Conflicts: 827000 | #Constraints: 38497
2637.31/2644.40 c #Conflicts: 828000 | #Constraints: 39497
2637.31/2644.40 c INPROCESSING
2637.31/2644.40 c GARBAGE COLLECT
2637.31/2644.40 c #Conflicts: 829000 | #Constraints: 22503
2637.31/2644.40 c #Conflicts: 830000 | #Constraints: 23503
2637.31/2644.40 c #Conflicts: 831000 | #Constraints: 24503
2637.31/2644.40 c #Conflicts: 832000 | #Constraints: 25503
2637.31/2644.40 c #Conflicts: 833000 | #Constraints: 26503
2637.31/2644.40 c #Conflicts: 834000 | #Constraints: 27503
2637.31/2644.40 c #Conflicts: 835000 | #Constraints: 28503
2637.31/2644.40 c #Conflicts: 836000 | #Constraints: 29503
2637.31/2644.40 c #Conflicts: 837000 | #Constraints: 30503
2637.31/2644.40 c #Conflicts: 838000 | #Constraints: 31503
2637.31/2644.40 c #Conflicts: 839000 | #Constraints: 32503
2637.31/2644.40 c #Conflicts: 840000 | #Constraints: 33503
2637.31/2644.40 c #Conflicts: 841000 | #Constraints: 34503
2637.31/2644.40 c #Conflicts: 842000 | #Constraints: 35503
2637.31/2644.40 c #Conflicts: 843000 | #Constraints: 36503
2637.31/2644.40 c #Conflicts: 844000 | #Constraints: 37503
2637.31/2644.40 c #Conflicts: 845000 | #Constraints: 38503
2637.31/2644.40 c #Conflicts: 846000 | #Constraints: 39503
2637.31/2644.40 c INPROCESSING
2637.31/2644.40 c GARBAGE COLLECT
2637.31/2644.40 c #Conflicts: 847000 | #Constraints: 22306
2637.31/2644.40 c #Conflicts: 848000 | #Constraints: 23306
2637.31/2644.40 c #Conflicts: 849000 | #Constraints: 24306
2637.31/2644.40 c #Conflicts: 850000 | #Constraints: 25306
2637.31/2644.40 c #Conflicts: 851000 | #Constraints: 26306
2637.31/2644.40 c #Conflicts: 852000 | #Constraints: 27306
2637.31/2644.40 c #Conflicts: 853000 | #Constraints: 28306
2637.31/2644.40 c #Conflicts: 854000 | #Constraints: 29306
2637.31/2644.40 c #Conflicts: 855000 | #Constraints: 30306
2637.31/2644.40 c #Conflicts: 856000 | #Constraints: 31306
2637.31/2644.40 c #Conflicts: 857000 | #Constraints: 32306
2637.31/2644.40 c #Conflicts: 858000 | #Constraints: 33306
2637.31/2644.40 c #Conflicts: 859000 | #Constraints: 34306
2637.31/2644.40 c #Conflicts: 860000 | #Constraints: 35306
2637.31/2644.40 c #Conflicts: 861000 | #Constraints: 36306
2637.31/2644.40 c #Conflicts: 862000 | #Constraints: 37306
2637.31/2644.40 c #Conflicts: 863000 | #Constraints: 38306
2637.31/2644.40 c #Conflicts: 864000 | #Constraints: 39306
2637.31/2644.40 c #Conflicts: 865000 | #Constraints: 40306
2637.31/2644.40 c INPROCESSING
2637.31/2644.40 c GARBAGE COLLECT
2637.31/2644.40 c #Conflicts: 866000 | #Constraints: 22911
2637.31/2644.40 c #Conflicts: 867000 | #Constraints: 23911
2637.31/2644.40 c #Conflicts: 868000 | #Constraints: 24911
2637.31/2644.40 c #Conflicts: 869000 | #Constraints: 25911
2637.31/2644.40 c #Conflicts: 870000 | #Constraints: 26911
2637.31/2644.40 c #Conflicts: 871000 | #Constraints: 27911
2637.31/2644.40 c #Conflicts: 872000 | #Constraints: 28911
2637.31/2644.40 c #Conflicts: 873000 | #Constraints: 29911
2637.31/2644.40 c #Conflicts: 874000 | #Constraints: 30911
2637.31/2644.40 c #Conflicts: 875000 | #Constraints: 31911
2637.31/2644.40 c #Conflicts: 876000 | #Constraints: 32911
2637.31/2644.40 c #Conflicts: 877000 | #Constraints: 33911
2637.31/2644.40 c #Conflicts: 878000 | #Constraints: 34911
2637.31/2644.40 c #Conflicts: 879000 | #Constraints: 35911
2637.31/2644.40 c #Conflicts: 880000 | #Constraints: 36911
2637.31/2644.40 c #Conflicts: 881000 | #Constraints: 37911
2637.31/2644.40 c #Conflicts: 882000 | #Constraints: 38911
2637.31/2644.40 c #Conflicts: 883000 | #Constraints: 39911
2637.31/2644.40 c #Conflicts: 884000 | #Constraints: 40911
2637.31/2644.40 c INPROCESSING
2637.31/2644.40 c GARBAGE COLLECT
2637.31/2644.40 c #Conflicts: 885000 | #Constraints: 23323
2637.31/2644.40 c #Conflicts: 886000 | #Constraints: 24323
2637.31/2644.40 c #Conflicts: 887000 | #Constraints: 25323
2637.31/2644.40 c #Conflicts: 888000 | #Constraints: 26323
2637.31/2644.40 c #Conflicts: 889000 | #Constraints: 27323
2637.31/2644.40 c #Conflicts: 890000 | #Constraints: 28323
2637.31/2644.40 c #Conflicts: 891000 | #Constraints: 29323
2637.31/2644.40 c #Conflicts: 892000 | #Constraints: 30323
2968.96/2976.91 c #Conflicts: 893000 | #Constraints: 31323
2968.96/2976.91 c #Conflicts: 894000 | #Constraints: 32323
2968.96/2976.91 c #Conflicts: 895000 | #Constraints: 33323
2968.96/2976.91 c #Conflicts: 896000 | #Constraints: 34323
2968.96/2976.91 c #Conflicts: 897000 | #Constraints: 35323
2968.96/2976.91 c #Conflicts: 898000 | #Constraints: 36323
2968.96/2976.91 c #Conflicts: 899000 | #Constraints: 37323
2968.96/2976.91 c #Conflicts: 900000 | #Constraints: 38323
2968.96/2976.91 c #Conflicts: 901000 | #Constraints: 39323
2968.96/2976.91 c #Conflicts: 902000 | #Constraints: 40323
2968.96/2976.91 c #Conflicts: 903000 | #Constraints: 41323
2968.96/2976.91 c INPROCESSING
2968.96/2976.91 c GARBAGE COLLECT
2968.96/2976.91 c #Conflicts: 904000 | #Constraints: 23511
2968.96/2976.91 c #Conflicts: 905000 | #Constraints: 24511
2968.96/2976.91 c #Conflicts: 906000 | #Constraints: 25511
2968.96/2976.91 c #Conflicts: 907000 | #Constraints: 26511
2968.96/2976.91 c #Conflicts: 908000 | #Constraints: 27511
2968.96/2976.91 c #Conflicts: 909000 | #Constraints: 28511
2968.96/2976.91 c #Conflicts: 910000 | #Constraints: 29511
2968.96/2976.91 c #Conflicts: 911000 | #Constraints: 30511
2968.96/2976.91 c #Conflicts: 912000 | #Constraints: 31511
2968.96/2976.91 c #Conflicts: 913000 | #Constraints: 32511
2968.96/2976.91 c #Conflicts: 914000 | #Constraints: 33511
2968.96/2976.91 c #Conflicts: 915000 | #Constraints: 34511
2968.96/2976.91 c #Conflicts: 916000 | #Constraints: 35511
2968.96/2976.91 c #Conflicts: 917000 | #Constraints: 36511
2968.96/2976.91 c #Conflicts: 918000 | #Constraints: 37511
2968.96/2976.91 c #Conflicts: 919000 | #Constraints: 38511
2968.96/2976.91 c #Conflicts: 920000 | #Constraints: 39511
2968.96/2976.91 c #Conflicts: 921000 | #Constraints: 40511
2968.96/2976.91 c #Conflicts: 922000 | #Constraints: 41511
2968.96/2976.91 c INPROCESSING
2968.96/2976.91 c GARBAGE COLLECT
2968.96/2976.91 c #Conflicts: 923000 | #Constraints: 23508
2968.96/2976.91 c #Conflicts: 924000 | #Constraints: 24508
2968.96/2976.91 c #Conflicts: 925000 | #Constraints: 25508
2968.96/2976.91 c #Conflicts: 926000 | #Constraints: 26508
2968.96/2976.91 c #Conflicts: 927000 | #Constraints: 27508
2968.96/2976.91 c #Conflicts: 928000 | #Constraints: 28508
2968.96/2976.91 c #Conflicts: 929000 | #Constraints: 29508
2968.96/2976.91 c #Conflicts: 930000 | #Constraints: 30508
2968.96/2976.91 c #Conflicts: 931000 | #Constraints: 31508
2968.96/2976.91 c #Conflicts: 932000 | #Constraints: 32508
2968.96/2976.91 c #Conflicts: 933000 | #Constraints: 33508
2968.96/2976.91 c #Conflicts: 934000 | #Constraints: 34508
2968.96/2976.91 c #Conflicts: 935000 | #Constraints: 35508
2968.96/2976.91 c #Conflicts: 936000 | #Constraints: 36508
2968.96/2976.91 c #Conflicts: 937000 | #Constraints: 37508
2968.96/2976.91 c #Conflicts: 938000 | #Constraints: 38508
2968.96/2976.91 c #Conflicts: 939000 | #Constraints: 39508
2968.96/2976.91 c #Conflicts: 940000 | #Constraints: 40508
2968.96/2976.91 c #Conflicts: 941000 | #Constraints: 41508
2968.96/2976.91 c INPROCESSING
2968.96/2976.91 c GARBAGE COLLECT
2968.96/2976.91 c #Conflicts: 942000 | #Constraints: 23306
2968.96/2976.91 c #Conflicts: 943000 | #Constraints: 24306
2968.96/2976.91 c #Conflicts: 944000 | #Constraints: 25306
2968.96/2976.91 c #Conflicts: 945000 | #Constraints: 26306
2968.96/2976.91 c #Conflicts: 946000 | #Constraints: 27306
2968.96/2976.91 c #Conflicts: 947000 | #Constraints: 28306
2968.96/2976.91 c #Conflicts: 948000 | #Constraints: 29306
2968.96/2976.91 c #Conflicts: 949000 | #Constraints: 30306
2968.96/2976.91 c #Conflicts: 950000 | #Constraints: 31306
2968.96/2976.91 c #Conflicts: 951000 | #Constraints: 32306
2968.96/2976.91 c #Conflicts: 952000 | #Constraints: 33306
2968.96/2976.91 c #Conflicts: 953000 | #Constraints: 34306
2968.96/2976.91 c #Conflicts: 954000 | #Constraints: 35306
2968.96/2976.91 c #Conflicts: 955000 | #Constraints: 36306
2968.96/2976.91 c #Conflicts: 956000 | #Constraints: 37306
2968.96/2976.91 c #Conflicts: 957000 | #Constraints: 38306
2968.96/2976.91 c #Conflicts: 958000 | #Constraints: 39306
2968.96/2976.91 c #Conflicts: 959000 | #Constraints: 40306
2968.96/2976.91 c #Conflicts: 960000 | #Constraints: 41306
2968.96/2976.91 c #Conflicts: 961000 | #Constraints: 42306
2968.96/2976.91 c INPROCESSING
2968.96/2976.91 c GARBAGE COLLECT
2968.96/2976.91 c #Conflicts: 962000 | #Constraints: 23915
2968.96/2976.91 c #Conflicts: 963000 | #Constraints: 24915
2968.96/2976.91 c #Conflicts: 964000 | #Constraints: 25915
2968.96/2976.91 c #Conflicts: 965000 | #Constraints: 26915
2968.96/2976.91 c #Conflicts: 966000 | #Constraints: 27915
2968.96/2976.91 c #Conflicts: 967000 | #Constraints: 28915
2968.96/2976.91 c #Conflicts: 968000 | #Constraints: 29915
3317.51/3326.50 c #Conflicts: 969000 | #Constraints: 30915
3317.51/3326.50 c #Conflicts: 970000 | #Constraints: 31915
3317.51/3326.50 c #Conflicts: 971000 | #Constraints: 32915
3317.51/3326.50 c #Conflicts: 972000 | #Constraints: 33915
3317.51/3326.50 c #Conflicts: 973000 | #Constraints: 34915
3317.51/3326.50 c #Conflicts: 974000 | #Constraints: 35915
3317.51/3326.50 c #Conflicts: 975000 | #Constraints: 36915
3317.51/3326.50 c #Conflicts: 976000 | #Constraints: 37915
3317.51/3326.50 c #Conflicts: 977000 | #Constraints: 38915
3317.51/3326.50 c #Conflicts: 978000 | #Constraints: 39915
3317.51/3326.50 c #Conflicts: 979000 | #Constraints: 40915
3317.51/3326.50 c #Conflicts: 980000 | #Constraints: 41915
3317.51/3326.50 c #Conflicts: 981000 | #Constraints: 42915
3317.51/3326.50 c INPROCESSING
3317.51/3326.50 c GARBAGE COLLECT
3317.51/3326.50 c #Conflicts: 982000 | #Constraints: 24315
3317.51/3326.50 c #Conflicts: 983000 | #Constraints: 25315
3317.51/3326.50 c #Conflicts: 984000 | #Constraints: 26315
3317.51/3326.50 c #Conflicts: 985000 | #Constraints: 27315
3317.51/3326.50 c #Conflicts: 986000 | #Constraints: 28315
3317.51/3326.50 c #Conflicts: 987000 | #Constraints: 29315
3317.51/3326.50 c #Conflicts: 988000 | #Constraints: 30315
3317.51/3326.50 c #Conflicts: 989000 | #Constraints: 31315
3317.51/3326.50 c #Conflicts: 990000 | #Constraints: 32315
3317.51/3326.50 c #Conflicts: 991000 | #Constraints: 33315
3317.51/3326.50 c #Conflicts: 992000 | #Constraints: 34315
3317.51/3326.50 c #Conflicts: 993000 | #Constraints: 35315
3317.51/3326.50 c #Conflicts: 994000 | #Constraints: 36315
3317.51/3326.50 c #Conflicts: 995000 | #Constraints: 37315
3317.51/3326.50 c #Conflicts: 996000 | #Constraints: 38315
3317.51/3326.50 c #Conflicts: 997000 | #Constraints: 39315
3317.51/3326.50 c #Conflicts: 998000 | #Constraints: 40315
3317.51/3326.50 c #Conflicts: 999000 | #Constraints: 41315
3317.51/3326.50 c #Conflicts: 1000000 | #Constraints: 42315
3317.51/3326.50 c #Conflicts: 1001000 | #Constraints: 43315
3317.51/3326.50 c INPROCESSING
3317.51/3326.50 c GARBAGE COLLECT
3317.51/3326.50 c #Conflicts: 1002000 | #Constraints: 24523
3317.51/3326.50 c #Conflicts: 1003000 | #Constraints: 25523
3317.51/3326.50 c #Conflicts: 1004000 | #Constraints: 26523
3317.51/3326.50 c #Conflicts: 1005000 | #Constraints: 27523
3317.51/3326.50 c #Conflicts: 1006000 | #Constraints: 28523
3317.51/3326.50 c #Conflicts: 1007000 | #Constraints: 29523
3317.51/3326.50 c #Conflicts: 1008000 | #Constraints: 30523
3317.51/3326.50 c #Conflicts: 1009000 | #Constraints: 31523
3317.51/3326.50 c #Conflicts: 1010000 | #Constraints: 32523
3317.51/3326.50 c #Conflicts: 1011000 | #Constraints: 33523
3317.51/3326.50 c #Conflicts: 1012000 | #Constraints: 34523
3317.51/3326.50 c #Conflicts: 1013000 | #Constraints: 35523
3317.51/3326.50 c #Conflicts: 1014000 | #Constraints: 36523
3317.51/3326.50 c #Conflicts: 1015000 | #Constraints: 37523
3317.51/3326.50 c #Conflicts: 1016000 | #Constraints: 38523
3317.51/3326.50 c #Conflicts: 1017000 | #Constraints: 39523
3317.51/3326.50 c #Conflicts: 1018000 | #Constraints: 40523
3317.51/3326.50 c #Conflicts: 1019000 | #Constraints: 41523
3317.51/3326.50 c #Conflicts: 1020000 | #Constraints: 42523
3317.51/3326.50 c #Conflicts: 1021000 | #Constraints: 43523
3317.51/3326.50 c INPROCESSING
3317.51/3326.50 c GARBAGE COLLECT
3317.51/3326.50 c #Conflicts: 1022000 | #Constraints: 24530
3317.51/3326.50 c #Conflicts: 1023000 | #Constraints: 25530
3317.51/3326.50 c #Conflicts: 1024000 | #Constraints: 26530
3317.51/3326.50 c #Conflicts: 1025000 | #Constraints: 27530
3317.51/3326.50 c #Conflicts: 1026000 | #Constraints: 28530
3317.51/3326.50 c #Conflicts: 1027000 | #Constraints: 29530
3317.51/3326.50 c #Conflicts: 1028000 | #Constraints: 30530
3317.51/3326.50 c #Conflicts: 1029000 | #Constraints: 31530
3317.51/3326.50 c #Conflicts: 1030000 | #Constraints: 32530
3317.51/3326.50 c #Conflicts: 1031000 | #Constraints: 33530
3317.51/3326.50 c #Conflicts: 1032000 | #Constraints: 34530
3317.51/3326.50 c #Conflicts: 1033000 | #Constraints: 35530
3317.51/3326.50 c #Conflicts: 1034000 | #Constraints: 36530
3317.51/3326.50 c #Conflicts: 1035000 | #Constraints: 37530
3317.51/3326.50 c #Conflicts: 1036000 | #Constraints: 38530
3317.51/3326.50 c #Conflicts: 1037000 | #Constraints: 39530
3317.51/3326.50 c #Conflicts: 1038000 | #Constraints: 40530
3317.51/3326.50 c #Conflicts: 1039000 | #Constraints: 41530
3317.51/3326.50 c #Conflicts: 1040000 | #Constraints: 42530
3317.51/3326.50 c #Conflicts: 1041000 | #Constraints: 43530
3317.51/3326.50 c INPROCESSING
3317.51/3326.50 c GARBAGE COLLECT
3317.51/3326.50 c #Conflicts: 1042000 | #Constraints: 24323
3317.51/3326.50 c #Conflicts: 1043000 | #Constraints: 25323
3317.51/3326.50 c #Conflicts: 1044000 | #Constraints: 26323
3600.08/3609.70 c #Conflicts: 1045000 | #Constraints: 27323
3600.08/3609.70 c #Conflicts: 1046000 | #Constraints: 28323
3600.08/3609.70 c #Conflicts: 1047000 | #Constraints: 29323
3600.08/3609.70 c #Conflicts: 1048000 | #Constraints: 30323
3600.08/3609.70 c #Conflicts: 1049000 | #Constraints: 31323
3600.08/3609.70 c #Conflicts: 1050000 | #Constraints: 32323
3600.08/3609.70 c #Conflicts: 1051000 | #Constraints: 33323
3600.08/3609.70 c #Conflicts: 1052000 | #Constraints: 34323
3600.08/3609.70 c #Conflicts: 1053000 | #Constraints: 35323
3600.08/3609.70 c #Conflicts: 1054000 | #Constraints: 36323
3600.08/3609.70 c #Conflicts: 1055000 | #Constraints: 37323
3600.08/3609.70 c #Conflicts: 1056000 | #Constraints: 38323
3600.08/3609.70 c #Conflicts: 1057000 | #Constraints: 39323
3600.08/3609.70 c #Conflicts: 1058000 | #Constraints: 40323
3600.08/3609.70 c #Conflicts: 1059000 | #Constraints: 41323
3600.08/3609.70 c #Conflicts: 1060000 | #Constraints: 42323
3600.08/3609.70 c #Conflicts: 1061000 | #Constraints: 43323
3600.08/3609.70 c #Conflicts: 1062000 | #Constraints: 44323
3600.08/3609.70 c INPROCESSING
3600.08/3609.70 c GARBAGE COLLECT
3600.08/3609.70 c #Conflicts: 1063000 | #Constraints: 24917
3600.08/3609.70 c #Conflicts: 1064000 | #Constraints: 25917
3600.08/3609.70 c #Conflicts: 1065000 | #Constraints: 26917
3600.08/3609.70 c #Conflicts: 1066000 | #Constraints: 27917
3600.08/3609.70 c #Conflicts: 1067000 | #Constraints: 28917
3600.08/3609.70 c #Conflicts: 1068000 | #Constraints: 29917
3600.08/3609.70 c #Conflicts: 1069000 | #Constraints: 30917
3600.08/3609.70 c #Conflicts: 1070000 | #Constraints: 31917
3600.08/3609.70 c #Conflicts: 1071000 | #Constraints: 32917
3600.08/3609.70 c #Conflicts: 1072000 | #Constraints: 33917
3600.08/3609.70 c #Conflicts: 1073000 | #Constraints: 34917
3600.08/3609.70 c #Conflicts: 1074000 | #Constraints: 35917
3600.08/3609.70 c #Conflicts: 1075000 | #Constraints: 36917
3600.08/3609.70 c #Conflicts: 1076000 | #Constraints: 37917
3600.08/3609.70 c #Conflicts: 1077000 | #Constraints: 38917
3600.08/3609.70 c #Conflicts: 1078000 | #Constraints: 39917
3600.08/3609.70 c #Conflicts: 1079000 | #Constraints: 40917
3600.08/3609.70 c #Conflicts: 1080000 | #Constraints: 41917
3600.08/3609.70 c #Conflicts: 1081000 | #Constraints: 42917
3600.08/3609.70 c #Conflicts: 1082000 | #Constraints: 43917
3600.08/3609.70 c #Conflicts: 1083000 | #Constraints: 44917
3600.08/3609.70 c INPROCESSING
3600.08/3609.70 c GARBAGE COLLECT
3600.08/3609.70 c #Conflicts: 1084000 | #Constraints: 25309
3600.08/3609.70 c #Conflicts: 1085000 | #Constraints: 26309
3600.08/3609.70 c #Conflicts: 1086000 | #Constraints: 27309
3600.08/3609.70 c #Conflicts: 1087000 | #Constraints: 28309
3600.08/3609.70 c #Conflicts: 1088000 | #Constraints: 29309
3600.08/3609.70 c #Conflicts: 1089000 | #Constraints: 30309
3600.08/3609.70 c #Conflicts: 1090000 | #Constraints: 31309
3600.08/3609.70 c #Conflicts: 1091000 | #Constraints: 32309
3600.08/3609.70 c #Conflicts: 1092000 | #Constraints: 33309
3600.08/3609.70 c #Conflicts: 1093000 | #Constraints: 34309
3600.08/3609.70 c #Conflicts: 1094000 | #Constraints: 35309
3600.08/3609.70 c #Conflicts: 1095000 | #Constraints: 36309
3600.08/3609.70 c #Conflicts: 1096000 | #Constraints: 37309
3600.08/3609.70 c #Conflicts: 1097000 | #Constraints: 38309
3600.08/3609.70 c #Conflicts: 1098000 | #Constraints: 39309
3600.08/3609.70 c #Conflicts: 1099000 | #Constraints: 40309
3600.08/3609.70 c #Conflicts: 1100000 | #Constraints: 41309
3600.08/3609.70 c #Conflicts: 1101000 | #Constraints: 42309
3600.08/3609.70 c #Conflicts: 1102000 | #Constraints: 43309
3600.08/3609.70 c #Conflicts: 1103000 | #Constraints: 44309
3600.08/3609.70 c #Conflicts: 1104000 | #Constraints: 45309
3600.08/3609.70 c INPROCESSING
3600.08/3609.70 c GARBAGE COLLECT
3600.08/3609.70 c #Conflicts: 1105000 | #Constraints: 25504
3600.08/3609.70 c #Conflicts: 1106000 | #Constraints: 26504
3600.08/3609.70 c #Conflicts: 1107000 | #Constraints: 27504
3600.08/3609.70 c #Conflicts: 1108000 | #Constraints: 28504
3600.08/3609.70 c #Conflicts: 1109000 | #Constraints: 29504
3600.08/3609.70 c #Conflicts: 1110000 | #Constraints: 30504
3600.08/3609.70 c #Conflicts: 1111000 | #Constraints: 31504
3600.08/3609.70 c #Conflicts: 1112000 | #Constraints: 32504
3600.08/3609.70 c #Conflicts: 1113000 | #Constraints: 33504
3600.08/3609.70 c #Conflicts: 1114000 | #Constraints: 34504
3600.08/3609.70 c #Conflicts: 1115000 | #Constraints: 35504
3600.08/3609.70 c #Conflicts: 1116000 | #Constraints: 36504
3600.08/3609.70 c cpu time 3587.84 s
3600.08/3609.70 c deterministic time 1 1.00e+00
3600.08/3609.70 c optimization time 3587.83 s
3600.08/3609.70 c total solve time 0 s
3600.08/3609.70 c core-guided solve time 0 s
3600.08/3609.70 c propagation time 0.000569 s
3600.08/3609.70 c conflict analysis time 0 s
3600.08/3609.70 c propagations 0
3600.08/3609.70 c resolve steps 0
3600.08/3609.70 c decisions 0
3600.08/3609.70 c conflicts 0
3600.08/3609.70 c restarts 0
3600.08/3609.70 c inprocessing phases 0
3600.08/3609.70 c garbage collections 0 ,( -nan )
3600.08/3609.70 c input clauses 3612 ,( 100.00 )
3600.08/3609.70 c input cardinalities 0 ,( 0.00 )
3600.08/3609.70 c input general constraints 0 ,( 0.00 )
3600.08/3609.70 c input average constraint length 2.00
3600.08/3609.70 c input average constraint degree 1.00
3600.08/3609.70 c learned clauses 0 ,( 0.00 )
3600.08/3609.70 c learned cardinalities 0 ,( 0.00 )
3600.08/3609.70 c learned general constraints 0 ,( 0.00 )
3600.08/3609.70 c learned average constraint length 0.00
3600.08/3609.70 c learned average constraint degree 0.00
3600.08/3609.70 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.08/3609.70 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.08/3609.70 c watched constraints 0 ,( -nan )
3600.08/3609.70 c counting constraints 0 ,( -nan )
3600.08/3609.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.08/3609.70 c gcd simplifications 0
3600.08/3609.70 c detected cardinalities 0
3600.08/3609.70 c weakened non-implied lits 0
3600.08/3609.70 c weakened non-implying lits 0
3600.08/3609.70 c original variables 1806
3600.08/3609.70 c clausal propagations 0
3600.08/3609.70 c cardinality propagations 0
3600.08/3609.70 c watched propagations 0
3600.08/3609.70 c counting propagations 0
3600.08/3609.70 c watch lookups 0
3600.08/3609.70 c watch backjump lookups 0
3600.08/3609.70 c watch checks 0
3600.08/3609.70 c propagation checks 0
3600.08/3609.70 c constraint additions 0
3600.08/3609.70 c trail pops 0
3600.08/3609.70 c formula constraints 3612
3600.08/3609.70 c learned constraints 0
3600.08/3609.70 c bound constraints 0
3600.08/3609.70 c core-guided constraints 0
3600.08/3609.70 c encountered formula constraints 0
3600.08/3609.70 c encountered learned constraints 0
3600.08/3609.70 c encountered bound constraints 0
3600.08/3609.70 c encountered core-guided constraints 0
3600.08/3609.70 c LP total time 0 s
3600.08/3609.70 c LP solve time 0 s
3600.08/3609.70 c LP constraints added 0
3600.08/3609.70 c LP constraints removed 0
3600.08/3609.70 c LP pivots internal 0
3600.08/3609.70 c LP pivots root 0
3600.08/3609.70 c LP calls 0
3600.08/3609.70 c LP optimalities 0
3600.08/3609.70 c LP no pivot count 0
3600.08/3609.70 c LP infeasibilities 0
3600.08/3609.70 c LP valid Farkas constraints 0
3600.08/3609.70 c LP learned Farkas constraints 0
3600.08/3609.70 c LP basis resets 0
3600.08/3609.70 c LP cycling count 0
3600.08/3609.70 c LP singular count 0
3600.08/3609.70 c LP no primal count 0
3600.08/3609.70 c LP no farkas count 0
3600.08/3609.70 c LP other issue count 0
3600.08/3609.70 c LP Gomory cuts 0
3600.08/3609.70 c LP learned cuts 0
3600.08/3609.70 c LP deleted cuts 0
3600.08/3609.70 c LP encountered Gomory constraints 0
3600.08/3609.70 c LP encountered Farkas constraints 0
3600.08/3609.70 c LP encountered learned Farkas constraints 0
3600.08/3609.70 c CG auxiliary variables introduced 0
3600.08/3609.70 c CG solutions found 0
3600.08/3609.70 c CG cores constructed 0
3600.08/3609.70 c CG core cardinality constraints returned 0
3600.08/3609.70 c CG unit cores 0
3600.08/3609.70 c CG single cores 0
3600.08/3609.70 c CG blocks removed during cardinality reduction 0
3600.08/3609.70 c CG first core best 0
3600.08/3609.70 c CG decision core best 0
3600.08/3609.70 c CG core reduction tie 0
3600.08/3609.70 c CG core degree average 0.00
3600.08/3609.70 c CG core slack average 0.00
3600.08/3609.70 c CG core upper bound improvements 0
3600.08/3609.70 c STR number of successful calls 0
3600.08/3609.70 c STR number of unsuccessful calls 0
3600.08/3609.70 c STR number of inconclusive calls 0
3600.08/3609.70 c STR number of successful attempts 0
3600.08/3609.70 c STR number of unsuccessful attempts 0
3600.08/3609.70 c STR number of inconclusive attempts 0
3600.08/3609.70 c STR average degree increase per successful call inf
3600.08/3609.70 c STR average degree increase per successful attempt inf
3600.08/3609.70 c STR total number of conflicts for successful attempts 0
3600.08/3609.70 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3609.70 c STR total number of conflicts for inconclusive attempts 0
3600.08/3609.70 c STR average number of conflicts per successful attempt inf
3600.08/3609.70 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3609.70 c STR average number of conflicts per inconclusive attempt inf
3600.08/3609.70 c AVG.sumWPerc -nan
3600.08/3609.70 c bigint constraints 0
3600.08/3609.70 s UNKNOWN
3600.08/3609.70 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 (61927 MiB free)
memory of node 1: 64465 MiB (62728 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521722-1751589209/watcher-4521722-1751589209 -o /tmp/evaluation-result-4521722-1751589209/solver-4521722-1751589209 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751585596-84117 --watchdog 3760 run-opt.sh HOME/instance-4521722-1751589209.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=84639, runsolver pid=84636
[startup+0.10006 s]*
/proc/loadavg: 4.14 4.11 4.05 5/268 84641
/proc/meminfo: memFree=127599108/131250000 swapFree=33010684/33010684
[pid=84639] ppid=84636 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84639/stat : 84639 (run-opt.sh) S 84636 84639 84107 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 74543398 4292608 736 18446744073709551615 94034487345152 94034488239685 140727961841040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94034488478736 94034488526480 94034519990272 140727961844077 140727961844200 140727961844200 140727961849802 0
/proc/84639/statm: 1048 736 672 219 0 110 0
[pid=84641] ppid=84639 vsize=70908 memory=24728 CPUtime=0.08 cores=0,2
/proc/84641/stat : 84641 (roundingsat) R 84639 84639 84107 0 -1 4194304 4130 0 0 0 7 1 0 0 20 0 1 0 74543399 72609792 6182 18446744073709551615 4227072 8923433 140734667708960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10264576 140734667717026 140734667717160 140734667717160 140734667722730 0
/proc/84641/statm: 17727 6182 2368 1147 0 5154 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 75100 KiB
Current children cumulated memory: 27672 KiB
[startup+0.205509 s]*
/proc/loadavg: 4.13 4.11 4.05 5/268 84641
/proc/meminfo: memFree=127589280/131250000 swapFree=33010684/33010684
[pid=84639] ppid=84636 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84639/stat : 84639 (run-opt.sh) S 84636 84639 84107 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 74543398 4292608 736 18446744073709551615 94034487345152 94034488239685 140727961841040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94034488478736 94034488526480 94034519990272 140727961844077 140727961844200 140727961844200 140727961849802 0
/proc/84639/statm: 1048 736 672 219 0 110 0
[pid=84641] ppid=84639 vsize=80136 memory=34164 CPUtime=0.19 cores=0,2
/proc/84641/stat : 84641 (roundingsat) R 84639 84639 84107 0 -1 4194304 5973 0 0 0 17 2 0 0 20 0 1 0 74543399 82059264 8541 18446744073709551615 4227072 8923433 140734667708960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10264576 140734667717026 140734667717160 140734667717160 140734667722730 0
/proc/84641/statm: 20034 8541 2368 1147 0 7461 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 84328 KiB
Current children cumulated memory: 37108 KiB
[startup+0.305431 s]*
/proc/loadavg: 4.13 4.11 4.05 5/268 84641
/proc/meminfo: memFree=127582224/131250000 swapFree=33010684/33010684
[pid=84639] ppid=84636 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84639/stat : 84639 (run-opt.sh) S 84636 84639 84107 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 74543398 4292608 736 18446744073709551615 94034487345152 94034488239685 140727961841040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94034488478736 94034488526480 94034519990272 140727961844077 140727961844200 140727961844200 140727961849802 0
/proc/84639/statm: 1048 736 672 219 0 110 0
[pid=84641] ppid=84639 vsize=89920 memory=42868 CPUtime=0.29 cores=0,2
/proc/84641/stat : 84641 (roundingsat) R 84639 84639 84107 0 -1 4194304 8156 0 0 0 27 2 0 0 20 0 1 0 74543399 92078080 10717 18446744073709551615 4227072 8923433 140734667708960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10264576 140734667717026 140734667717160 140734667717160 140734667722730 0
/proc/84641/statm: 22480 10717 2368 1147 0 9907 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 94112 KiB
Current children cumulated memory: 45812 KiB
[startup+0.700212 s]
/proc/loadavg: 4.13 4.11 4.05 5/268 84641
/proc/meminfo: memFree=127564204/131250000 swapFree=33010684/33010684
[pid=84639] ppid=84636 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84639/stat : 84639 (run-opt.sh) S 84636 84639 84107 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 74543398 4292608 736 18446744073709551615 94034487345152 94034488239685 140727961841040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94034488478736 94034488526480 94034519990272 140727961844077 140727961844200 140727961844200 140727961849802 0
/proc/84639/statm: 1048 736 672 219 0 110 0
[pid=84641] ppid=84639 vsize=119336 memory=61640 CPUtime=0.68 cores=0,2
/proc/84641/stat : 84641 (roundingsat) R 84639 84639 84107 0 -1 4194304 12331 0 0 0 65 3 0 0 20 0 1 0 74543399 122200064 15410 18446744073709551615 4227072 8923433 140734667708960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10264576 140734667717026 140734667717160 140734667717160 140734667722730 0
/proc/84641/statm: 29834 15410 2368 1147 0 17261 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 123528 KiB
Current children cumulated memory: 64584 KiB
[startup+1.50015 s]
/proc/loadavg: 4.13 4.11 4.05 5/268 84641
/proc/meminfo: memFree=127517880/131250000 swapFree=33010684/33010684
[pid=84639] ppid=84636 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84639/stat : 84639 (run-opt.sh) S 84636 84639 84107 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 74543398 4292608 736 18446744073709551615 94034487345152 94034488239685 140727961841040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94034488478736 94034488526480 94034519990272 140727961844077 140727961844200 140727961844200 140727961849802 0
/proc/84639/statm: 1048 736 672 219 0 110 0
[pid=84641] ppid=84639 vsize=119824 memory=68716 CPUtime=1.48 cores=0,2
/proc/84641/stat : 84641 (roundingsat) R 84639 84639 84107 0 -1 4194304 13096 0 0 0 144 4 0 0 20 0 1 0 74543399 122699776 17179 18446744073709551615 4227072 8923433 140734667708960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10264576 140734667717026 140734667717160 140734667717160 140734667722730 0
/proc/84641/statm: 29956 17179 2368 1147 0 17383 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 124016 KiB
Current children cumulated memory: 71660 KiB
[startup+3.1053 s]
/proc/loadavg: 4.13 4.11 4.05 5/268 84641
/proc/meminfo: memFree=127433472/131250000 swapFree=33010684/33010684
[pid=84639] ppid=84636 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84639/stat : 84639 (run-opt.sh) S 84636 84639 84107 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 74543398 4292608 736 18446744073709551615 94034487345152 94034488239685 140727961841040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94034488478736 94034488526480 94034519990272 140727961844077 140727961844200 140727961844200 140727961849802 0
/proc/84639/statm: 1048 736 672 219 0 110 0
[pid=84641] ppid=84639 vsize=133204 memory=78408 CPUtime=3.07 cores=0,2
/proc/84641/stat : 84641 (roundingsat) R 84639 84639 84107 0 -1 4194304 14487 0 0 0 300 7 0 0 20 0 1 0 74543399 136400896 19602 18446744073709551615 4227072 8923433 140734667708960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10264576 140734667717026 140734667717160 140734667717160 140734667722730 0
/proc/84641/statm: 33301 19602 2368 1147 0 20728 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 137396 KiB
Current children cumulated memory: 81352 KiB
[startup+6.30015 s]
/proc/loadavg: 4.12 4.11 4.05 5/268 84641
/proc/meminfo: memFree=127370084/131250000 swapFree=33010684/33010684
[pid=84639] ppid=84636 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84639/stat : 84639 (run-opt.sh) S 84636 84639 84107 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 74543398 4292608 736 18446744073709551615 94034487345152 94034488239685 140727961841040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94034488478736 94034488526480 94034519990272 140727961844077 140727961844200 140727961844200 140727961849802 0
/proc/84639/statm: 1048 736 672 219 0 110 0
[pid=84641] ppid=84639 vsize=166876 memory=105244 CPUtime=6.26 cores=0,2
/proc/84641/stat : 84641 (roundingsat) R 84639 84639 84107 0 -1 4194304 19670 0 0 0 614 12 0 0 20 0 1 0 74543399 170881024 26311 18446744073709551615 4227072 8923433 140734667708960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10264576 140734667717026 140734667717160 140734667717160 140734667722730 0
/proc/84641/statm: 41719 26311 2368 1147 0 29146 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 171068 KiB
Current children cumulated memory: 108188 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.11 4.05 5/268 84642
/proc/meminfo: memFree=127336324/131250000 swapFree=33010684/33010684
[pid=84639] ppid=84636 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84639/stat : 84639 (run-opt.sh) S 84636 84639 84107 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 74543398 4292608 736 18446744073709551615 94034487345152 94034488239685 140727961841040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94034488478736 94034488526480 94034519990272 140727961844077 140727961844200 140727961844200 140727961849802 0
/proc/84639/statm: 1048 736 672 219 0 110 0
[pid=84641] ppid=84639 vsize=172128 memory=112412 CPUtime=12.64 cores=0,2
/proc/84641/stat : 84641 (roundingsat) R 84639 84639 84107 0 -1 4194304 21463 0 0 0 1246 18 0 0 20 0 1 0 74543399 176259072 28103 18446744073709551615 4227072 8923433 140734667708960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10264576 140734667717026 140734667717160 140734667717160 140734667722730 0
/proc/84641/statm: 43032 28103 2368 1147 0 30459 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 176320 KiB
Current children cumulated memory: 115356 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.10 4.05 5/268 84642
/proc/meminfo: memFree=127173916/131250000 swapFree=33010684/33010684
[pid=84639] ppid=84636 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84639/stat : 84639 (run-opt.sh) S 84636 84639 84107 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 74543398 4292608 736 18446744073709551615 94034487345152 94034488239685 140727961841040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94034488478736 94034488526480 94034519990272 140727961844077 140727961844200 140727961844200 140727961849802 0
/proc/84639/statm: 1048 736 672 219 0 110 0
[pid=84641] ppid=84639 vsize=192264 memory=123060 CPUtime=25.41 cores=0,2
/proc/84641/stat : 84641 (roundingsat) R 84639 84639 84107 0 -1 4194304 23109 0 0 0 2510 31 0 0 20 0 1 0 74543399 196878336 30765 18446744073709551615 4227072 8923433 140734667708960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10264576 140734667717026 140734667717160 140734667717160 140734667722730 0
/proc/84641/statm: 48066 30765 2368 1147 0 35493 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 196456 KiB
Current children cumulated memory: 126004 KiB
[startup+51.1055 s]
/proc/loadavg: 4.05 4.09 4.04 5/268 84642
/proc/meminfo: memFree=126913360/131250000 swapFree=33010684/33010684
[pid=84639] ppid=84636 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84639/stat : 84639 (run-opt.sh) S 84636 84639 84107 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 74543398 4292608 736 18446744073709551615 94034487345152 94034488239685 140727961841040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94034488478736 94034488526480 94034519990272 140727961844077 140727961844200 140727961844200 140727961849802 0
/proc/84639/statm: 1048 736 672 219 0 110 0
[pid=84641] ppid=84639 vsize=226492 memory=154848 CPUtime=50.94 cores=0,2
/proc/84641/stat : 84641 (roundingsat) R 84639 84639 84107 0 -1 4194304 29018 0 0 0 5042 52 0 0 20 0 1 0 74543399 231927808 38712 18446744073709551615 4227072 8923433 140734667708960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10264576 140734667717026 140734667717160 140734667717160 140734667722730 0
/proc/84641/statm: 56623 38712 2368 1147 0 44050 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 230684 KiB
Current children cumulated memory: 157792 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.04 5/269 84645
/proc/meminfo: memFree=126773156/131250000 swapFree=33010684/33010684
[pid=84639] ppid=84636 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84639/stat : 84639 (run-opt.sh) S 84636 84639 84107 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 74543398 4292608 736 18446744073709551615 94034487345152 94034488239685 140727961841040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94034488478736 94034488526480 94034519990272 140727961844077 140727961844200 140727961844200 140727961849802 0
/proc/84639/statm: 1048 736 672 219 0 110 0
[pid=84641] ppid=84639 vsize=283684 memory=194360 CPUtime=101.99 cores=0,2
/proc/84641/stat : 84641 (roundingsat) R 84639 84639 84107 0 -1 4194304 35820 0 0 0 10100 99 0 0 20 0 1 0 74543399 290492416 48590 18446744073709551615 4227072 8923433 140734667708960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10264576 140734667717026 140734667717160 140734667717160 140734667722730 0
/proc/84641/statm: 70921 48590 2368 1147 0 58348 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 287876 KiB
Current children cumulated memory: 197304 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.10 4.05 5/269 84647
/proc/meminfo: memFree=126569104/131250000 swapFree=33010684/33010684
[pid=84639] ppid=84636 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84639/stat : 84639 (run-opt.sh) S 84636 84639 84107 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 74543398 4292608 736 18446744073709551615 94034487345152 94034488239685 140727961841040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94034488478736 94034488526480 94034519990272 140727961844077 140727961844200 140727961844200 140727961849802 0
/proc/84639/statm: 1048 736 672 219 0 110 0
[pid=84641] ppid=84639 vsize=298448 memory=212108 CPUtime=161.82 cores=0,2
/proc/84641/stat : 84641 (roundingsat) R 84639 84639 84107 0 -1 4194304 38751 0 0 0 16037 145 0 0 20 0 1 0 74543399 305610752 53027 18446744073709551615 4227072 8923433 140734667708960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10264576 140734667717026 140734667717160 140734667717160 140734667722730 0
/proc/84641/statm: 74612 53027 2368 1147 0 62039 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 302640 KiB
Current children cumulated memory: 215052 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.05 5/269 84649
/proc/meminfo: memFree=126543636/131250000 swapFree=33010684/33010684
[pid=84639] ppid=84636 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84639/stat : 84639 (run-opt.sh) S 84636 84639 84107 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 74543398 4292608 736 18446744073709551615 94034487345152 94034488239685 140727961841040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94034488478736 94034488526480 94034519990272 140727961844077 140727961844200 140727961844200 140727961849802 0
/proc/84639/statm: 1048 736 672 219 0 110 0
[pid=84641] ppid=84639 vsize=306912 memory=225232 CPUtime=221.65 cores=0,2
/proc/84641/stat : 84641 (roundingsat) R 84639 84639 84107 0 -1 4194304 40995 0 0 0 21978 187 0 0 20 0 1 0 74543399 314277888 56308 18446744073709551615 4227072 8923433 140734667708960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10264576 140734667717026 140734667717160 140734667717160 140734667722730 0
/proc/84641/statm: 76728 56308 2368 1147 0 64155 0
################
# More data... #
################
/proc/loadavg: 4.06 4.09 4.09 5/268 84801
/proc/meminfo: memFree=124859600/131250000 swapFree=33010684/33010684
[pid=84639] ppid=84636 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84639/stat : 84639 (run-opt.sh) S 84636 84639 84107 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 74543398 4292608 736 18446744073709551615 94034487345152 94034488239685 140727961841040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94034488478736 94034488526480 94034519990272 140727961844077 140727961844200 140727961844200 140727961849802 0
/proc/84639/statm: 1048 736 672 219 0 110 0
[pid=84641] ppid=84639 vsize=625808 memory=500460 CPUtime=3094.02 cores=0,2
/proc/84641/stat : 84641 (roundingsat) R 84639 84639 84107 0 -1 4194304 76538 0 0 0 308299 1103 0 0 20 0 1 0 74543399 640827392 125115 18446744073709551615 4227072 8923433 140734667708960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10264576 140734667717026 140734667717160 140734667717160 140734667722730 0
/proc/84641/statm: 156452 125115 2368 1147 0 143879 0
Current children cumulated CPU time: 3094.02 s
Current children cumulated vsize: 630000 KiB
Current children cumulated memory: 503404 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/269 84804
/proc/meminfo: memFree=124829536/131250000 swapFree=33010684/33010684
[pid=84639] ppid=84636 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84639/stat : 84639 (run-opt.sh) S 84636 84639 84107 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 74543398 4292608 736 18446744073709551615 94034487345152 94034488239685 140727961841040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94034488478736 94034488526480 94034519990272 140727961844077 140727961844200 140727961844200 140727961849802 0
/proc/84639/statm: 1048 736 672 219 0 110 0
[pid=84641] ppid=84639 vsize=626144 memory=516588 CPUtime=3153.86 cores=0,2
/proc/84641/stat : 84641 (roundingsat) R 84639 84639 84107 0 -1 4194304 76638 0 0 0 314268 1118 0 0 20 0 1 0 74543399 641171456 129147 18446744073709551615 4227072 8923433 140734667708960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10264576 140734667717026 140734667717160 140734667717160 140734667722730 0
/proc/84641/statm: 156536 129147 2368 1147 0 143963 0
Current children cumulated CPU time: 3153.86 s
Current children cumulated vsize: 630336 KiB
Current children cumulated memory: 519532 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/269 84806
/proc/meminfo: memFree=124829848/131250000 swapFree=33010684/33010684
[pid=84639] ppid=84636 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84639/stat : 84639 (run-opt.sh) S 84636 84639 84107 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 74543398 4292608 736 18446744073709551615 94034487345152 94034488239685 140727961841040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94034488478736 94034488526480 94034519990272 140727961844077 140727961844200 140727961844200 140727961849802 0
/proc/84639/statm: 1048 736 672 219 0 110 0
[pid=84641] ppid=84639 vsize=627012 memory=516972 CPUtime=3213.68 cores=0,2
/proc/84641/stat : 84641 (roundingsat) R 84639 84639 84107 0 -1 4194304 76775 0 0 0 320237 1131 0 0 20 0 1 0 74543399 642060288 129243 18446744073709551615 4227072 8923433 140734667708960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10264576 140734667717026 140734667717160 140734667717160 140734667722730 0
/proc/84641/statm: 156753 129243 2368 1147 0 144180 0
Current children cumulated CPU time: 3213.68 s
Current children cumulated vsize: 631204 KiB
Current children cumulated memory: 519916 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/269 84808
/proc/meminfo: memFree=124831132/131250000 swapFree=33010684/33010684
[pid=84639] ppid=84636 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84639/stat : 84639 (run-opt.sh) S 84636 84639 84107 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 74543398 4292608 736 18446744073709551615 94034487345152 94034488239685 140727961841040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94034488478736 94034488526480 94034519990272 140727961844077 140727961844200 140727961844200 140727961849802 0
/proc/84639/statm: 1048 736 672 219 0 110 0
[pid=84641] ppid=84639 vsize=628452 memory=518124 CPUtime=3273.52 cores=0,2
/proc/84641/stat : 84641 (roundingsat) R 84639 84639 84107 0 -1 4194304 77051 0 0 0 326207 1145 0 0 20 0 1 0 74543399 643534848 129531 18446744073709551615 4227072 8923433 140734667708960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10264576 140734667717026 140734667717160 140734667717160 140734667722730 0
/proc/84641/statm: 157113 129531 2368 1147 0 144540 0
Current children cumulated CPU time: 3273.52 s
Current children cumulated vsize: 632644 KiB
Current children cumulated memory: 521068 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/269 84810
/proc/meminfo: memFree=124827856/131250000 swapFree=33010684/33010684
[pid=84639] ppid=84636 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84639/stat : 84639 (run-opt.sh) S 84636 84639 84107 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 74543398 4292608 736 18446744073709551615 94034487345152 94034488239685 140727961841040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94034488478736 94034488526480 94034519990272 140727961844077 140727961844200 140727961844200 140727961849802 0
/proc/84639/statm: 1048 736 672 219 0 110 0
[pid=84641] ppid=84639 vsize=628452 memory=518124 CPUtime=3333.37 cores=0,2
/proc/84641/stat : 84641 (roundingsat) R 84639 84639 84107 0 -1 4194304 77052 0 0 0 332179 1158 0 0 20 0 1 0 74543399 643534848 129531 18446744073709551615 4227072 8923433 140734667708960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10264576 140734667717026 140734667717160 140734667717160 140734667722730 0
/proc/84641/statm: 157113 129531 2368 1147 0 144540 0
Current children cumulated CPU time: 3333.37 s
Current children cumulated vsize: 632644 KiB
Current children cumulated memory: 521068 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/269 84812
/proc/meminfo: memFree=124829680/131250000 swapFree=33010684/33010684
[pid=84639] ppid=84636 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84639/stat : 84639 (run-opt.sh) S 84636 84639 84107 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 74543398 4292608 736 18446744073709551615 94034487345152 94034488239685 140727961841040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94034488478736 94034488526480 94034519990272 140727961844077 140727961844200 140727961844200 140727961849802 0
/proc/84639/statm: 1048 736 672 219 0 110 0
[pid=84641] ppid=84639 vsize=628452 memory=518124 CPUtime=3393.22 cores=0,2
/proc/84641/stat : 84641 (roundingsat) R 84639 84639 84107 0 -1 4194304 77052 0 0 0 338154 1168 0 0 20 0 1 0 74543399 643534848 129531 18446744073709551615 4227072 8923433 140734667708960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10264576 140734667717026 140734667717160 140734667717160 140734667722730 0
/proc/84641/statm: 157113 129531 2368 1147 0 144540 0
Current children cumulated CPU time: 3393.22 s
Current children cumulated vsize: 632644 KiB
Current children cumulated memory: 521068 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/268 84815
/proc/meminfo: memFree=124830372/131250000 swapFree=33010684/33010684
[pid=84639] ppid=84636 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84639/stat : 84639 (run-opt.sh) S 84636 84639 84107 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 74543398 4292608 736 18446744073709551615 94034487345152 94034488239685 140727961841040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94034488478736 94034488526480 94034519990272 140727961844077 140727961844200 140727961844200 140727961849802 0
/proc/84639/statm: 1048 736 672 219 0 110 0
[pid=84641] ppid=84639 vsize=628452 memory=518124 CPUtime=3453.06 cores=0,2
/proc/84641/stat : 84641 (roundingsat) R 84639 84639 84107 0 -1 4194304 77054 0 0 0 344118 1188 0 0 20 0 1 0 74543399 643534848 129531 18446744073709551615 4227072 8923433 140734667708960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10264576 140734667717026 140734667717160 140734667717160 140734667722730 0
/proc/84641/statm: 157113 129531 2368 1147 0 144540 0
Current children cumulated CPU time: 3453.06 s
Current children cumulated vsize: 632644 KiB
Current children cumulated memory: 521068 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/267 84820
/proc/meminfo: memFree=124837048/131250000 swapFree=33010684/33010684
[pid=84639] ppid=84636 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84639/stat : 84639 (run-opt.sh) S 84636 84639 84107 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 74543398 4292608 736 18446744073709551615 94034487345152 94034488239685 140727961841040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94034488478736 94034488526480 94034519990272 140727961844077 140727961844200 140727961844200 140727961849802 0
/proc/84639/statm: 1048 736 672 219 0 110 0
[pid=84641] ppid=84639 vsize=628452 memory=518124 CPUtime=3512.91 cores=0,2
/proc/84641/stat : 84641 (roundingsat) R 84639 84639 84107 0 -1 4194304 77055 0 0 0 350086 1205 0 0 20 0 1 0 74543399 643534848 129531 18446744073709551615 4227072 8923433 140734667708960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10264576 140734667717026 140734667717160 140734667717160 140734667722730 0
/proc/84641/statm: 157113 129531 2368 1147 0 144540 0
Current children cumulated CPU time: 3512.91 s
Current children cumulated vsize: 632644 KiB
Current children cumulated memory: 521068 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/268 84827
/proc/meminfo: memFree=124785372/131250000 swapFree=33010684/33010684
[pid=84639] ppid=84636 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84639/stat : 84639 (run-opt.sh) S 84636 84639 84107 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 74543398 4292608 736 18446744073709551615 94034487345152 94034488239685 140727961841040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94034488478736 94034488526480 94034519990272 140727961844077 140727961844200 140727961844200 140727961849802 0
/proc/84639/statm: 1048 736 672 219 0 110 0
[pid=84641] ppid=84639 vsize=628452 memory=518124 CPUtime=3572.76 cores=0,2
/proc/84641/stat : 84641 (roundingsat) R 84639 84639 84107 0 -1 4194304 77093 0 0 0 356057 1219 0 0 20 0 1 0 74543399 643534848 129531 18446744073709551615 4227072 8923433 140734667708960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10264576 140734667717026 140734667717160 140734667717160 140734667722730 0
/proc/84641/statm: 157113 129531 2368 1147 0 144540 0
Current children cumulated CPU time: 3572.76 s
Current children cumulated vsize: 632644 KiB
Current children cumulated memory: 521068 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.12 4.09 4.09 2/259 84907
/proc/meminfo: memFree=127331420/131250000 swapFree=33010684/33010684
[pid=84639] ppid=84636 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84639/stat : 84639 (run-opt.sh) S 84636 84639 84107 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 74543398 4292608 736 18446744073709551615 94034487345152 94034488239685 140727961841040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94034488478736 94034488526480 94034519990272 140727961844077 140727961844200 140727961844200 140727961849802 0
/proc/84639/statm: 1048 736 672 219 0 110 0
[pid=84641] ppid=84639 vsize=628452 memory=518124 CPUtime=3600.08 cores=0,2
/proc/84641/stat : 84641 (roundingsat) R 84639 84639 84107 0 -1 4194304 77108 0 0 0 358783 1225 0 0 20 0 1 0 74543399 643534848 129531 18446744073709551615 4227072 8923433 140734667708960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10264576 140734667717026 140734667717160 140734667717160 140734667722730 0
/proc/84641/statm: 157113 129531 2368 1147 0 144540 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 632644 KiB
Current children cumulated memory: 521068 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.7 s]
# the end of solver process 84639 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3587.84 s, system=12.2594 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.12 4.09 4.09 2/259 84907
/proc/meminfo: memFree=127331420/131250000 swapFree=33010684/33010684
[pid=84639] ppid=84636 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/84639/stat : 84639 (run-opt.sh) S 84636 84639 84107 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 74543398 4292608 736 18446744073709551615 94034487345152 94034488239685 140727961841040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94034488478736 94034488526480 94034519990272 140727961844077 140727961844200 140727961844200 140727961849802 0
/proc/84639/statm: 1048 736 672 219 0 110 0
[pid=84641] ppid=84639 vsize=628452 memory=518124 CPUtime=3600.08 cores=0,2
/proc/84641/stat : 84641 (roundingsat) R 84639 84639 84107 0 -1 4194304 77108 0 0 0 358783 1225 0 0 20 0 1 0 74543399 643534848 129531 18446744073709551615 4227072 8923433 140734667708960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10264576 140734667717026 140734667717160 140734667717160 140734667722730 0
/proc/84641/statm: 157113 129531 2368 1147 0 144540 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 632644 KiB
Current children cumulated memory: 521068 KiB
Child status: 2
Real time (s): 3609.7
CPU time (s): 3600.1
CPU user time (s): 3587.84
CPU system time (s): 12.2594
CPU usage (%): 99.7339
Max. virtual memory (cumulated for all children) (KiB): 632644
Max. memory (cumulated for all children) (KiB): 521068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.84
system time used= 12.2594
maximum resident set size= 518508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77340
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= 261
involuntary context switches= 5165
# summary of solver processes directly reported to runsolver:
# pid: 84639
# total CPU time (s): 3600.1
# total CPU user time (s): 3587.84
# total CPU system time (s): 12.2594
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.9661 second user time and 17.1771 second system time
The end
Begin job on nodeC028 at 2025-07-04 02:33:29
IDJOB=4521722
IDBENCH=178419
IDSOLVER=3350
FILE ID=nodeC028/4521722-1751589209
RUNJOBID= nodeC028-1751585596-84117
SLURM_JOB_ID= 9598831
Free space on /tmp= 431460 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_042.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521722-1751589209/watcher-4521722-1751589209 -o /tmp/evaluation-result-4521722-1751589209/solver-4521722-1751589209 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751585596-84117 --watchdog 3760 run-opt.sh HOME/instance-4521722-1751589209.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8fca3dbbdb1005f2017732e8199f3266
RANDOM SEED=567562656
nodeC028 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3581.346
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.034
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.085
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.348
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.078
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.091
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.082
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3604.555
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127647052 kB
MemAvailable: 129552260 kB
Buffers: 3280 kB
Cached: 2706332 kB
SwapCached: 0 kB
Active: 596324 kB
Inactive: 2397076 kB
Active(anon): 301856 kB
Inactive(anon): 0 kB
Active(file): 294468 kB
Inactive(file): 2397076 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 30212 kB
Writeback: 0 kB
AnonPages: 286928 kB
Mapped: 117392 kB
Shmem: 18068 kB
KReclaimable: 105808 kB
Slab: 195340 kB
SReclaimable: 105808 kB
SUnreclaim: 89532 kB
KernelStack: 4320 kB
PageTables: 3812 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 642116 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3904 kB
HardwareCorrupted: 0 kB
AnonHugePages: 45056 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431452 MiB
End job on nodeC028 at 2025-07-04 03:33:39