0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.07 c #variables 1806 #constraints 3612
0.00/0.07 c objective is ce32
0.00/0.08 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.08 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.08 c GLOBAL bounds - >= 0 @ 0.022703
0.00/0.08 c GLOBAL bounds - >= 0 @ 0.023728
70.24/70.55 c #Conflicts: 1000 | #Constraints: 4612
70.24/70.55 c #Conflicts: 2000 | #Constraints: 5612
70.24/70.55 c INPROCESSING
70.24/70.55 c GARBAGE COLLECT
70.24/70.55 c #Conflicts: 3000 | #Constraints: 5681
70.24/70.55 c #Conflicts: 4000 | #Constraints: 6681
70.24/70.55 c INPROCESSING
70.24/70.55 c GARBAGE COLLECT
70.24/70.55 c #Conflicts: 5000 | #Constraints: 6114
70.24/70.55 c #Conflicts: 6000 | #Constraints: 7114
70.24/70.55 c INPROCESSING
70.24/70.55 c GARBAGE COLLECT
70.24/70.55 c #Conflicts: 7000 | #Constraints: 6093
70.24/70.55 c #Conflicts: 8000 | #Constraints: 7093
70.24/70.55 c #Conflicts: 9000 | #Constraints: 8093
70.24/70.55 c INPROCESSING
70.24/70.55 c GARBAGE COLLECT
70.24/70.55 c #Conflicts: 10000 | #Constraints: 6803
70.24/70.55 c #Conflicts: 11000 | #Constraints: 7803
70.24/70.55 c #Conflicts: 12000 | #Constraints: 8803
70.24/70.55 c INPROCESSING
70.24/70.55 c GARBAGE COLLECT
70.24/70.55 c #Conflicts: 13000 | #Constraints: 7241
70.24/70.55 c #Conflicts: 14000 | #Constraints: 8241
70.24/70.55 c #Conflicts: 15000 | #Constraints: 9241
70.24/70.55 c INPROCESSING
70.24/70.55 c GARBAGE COLLECT
70.24/70.55 c #Conflicts: 16000 | #Constraints: 7463
70.24/70.55 c #Conflicts: 17000 | #Constraints: 8463
70.24/70.55 c #Conflicts: 18000 | #Constraints: 9463
70.24/70.55 c INPROCESSING
70.24/70.55 c GARBAGE COLLECT
70.24/70.55 c #Conflicts: 19000 | #Constraints: 7468
70.24/70.55 c #Conflicts: 20000 | #Constraints: 8468
70.24/70.55 c #Conflicts: 21000 | #Constraints: 9468
70.24/70.55 c INPROCESSING
70.24/70.55 c GARBAGE COLLECT
70.24/70.55 c #Conflicts: 22000 | #Constraints: 7281
70.24/70.55 c #Conflicts: 23000 | #Constraints: 8281
70.24/70.55 c #Conflicts: 24000 | #Constraints: 9281
70.24/70.55 c #Conflicts: 25000 | #Constraints: 10281
70.24/70.55 c INPROCESSING
70.24/70.55 c GARBAGE COLLECT
70.24/70.55 c #Conflicts: 26000 | #Constraints: 7879
70.24/70.55 c #Conflicts: 27000 | #Constraints: 8879
70.24/70.55 c #Conflicts: 28000 | #Constraints: 9879
70.24/70.55 c #Conflicts: 29000 | #Constraints: 10879
70.24/70.55 c INPROCESSING
70.24/70.55 c GARBAGE COLLECT
70.24/70.55 c #Conflicts: 30000 | #Constraints: 8295
70.24/70.55 c #Conflicts: 31000 | #Constraints: 9295
70.24/70.55 c #Conflicts: 32000 | #Constraints: 10295
70.24/70.55 c #Conflicts: 33000 | #Constraints: 11295
70.24/70.55 c INPROCESSING
70.24/70.55 c GARBAGE COLLECT
70.24/70.55 c #Conflicts: 34000 | #Constraints: 8499
70.24/70.55 c #Conflicts: 35000 | #Constraints: 9499
70.24/70.55 c #Conflicts: 36000 | #Constraints: 10499
70.24/70.55 c #Conflicts: 37000 | #Constraints: 11499
70.24/70.55 c INPROCESSING
70.24/70.55 c GARBAGE COLLECT
70.24/70.55 c #Conflicts: 38000 | #Constraints: 8495
70.24/70.55 c #Conflicts: 39000 | #Constraints: 9495
70.24/70.55 c #Conflicts: 40000 | #Constraints: 10495
70.24/70.55 c #Conflicts: 41000 | #Constraints: 11495
70.24/70.55 c INPROCESSING
70.24/70.55 c GARBAGE COLLECT
70.24/70.55 c #Conflicts: 42000 | #Constraints: 8296
70.24/70.55 c #Conflicts: 43000 | #Constraints: 9296
70.24/70.55 c #Conflicts: 44000 | #Constraints: 10296
70.24/70.55 c #Conflicts: 45000 | #Constraints: 11296
70.24/70.55 c #Conflicts: 46000 | #Constraints: 12296
70.24/70.55 c INPROCESSING
70.24/70.55 c GARBAGE COLLECT
70.24/70.55 c #Conflicts: 47000 | #Constraints: 8895
70.24/70.55 c #Conflicts: 48000 | #Constraints: 9895
70.24/70.55 c #Conflicts: 49000 | #Constraints: 10895
70.24/70.55 c #Conflicts: 50000 | #Constraints: 11895
70.24/70.55 c #Conflicts: 51000 | #Constraints: 12895
70.24/70.55 c INPROCESSING
70.24/70.55 c GARBAGE COLLECT
70.24/70.55 c #Conflicts: 52000 | #Constraints: 9298
70.24/70.55 c #Conflicts: 53000 | #Constraints: 10298
70.24/70.55 c #Conflicts: 54000 | #Constraints: 11298
70.24/70.55 c #Conflicts: 55000 | #Constraints: 12298
70.24/70.55 c #Conflicts: 56000 | #Constraints: 13298
70.24/70.55 c INPROCESSING
70.24/70.55 c GARBAGE COLLECT
70.24/70.55 c #Conflicts: 57000 | #Constraints: 9491
70.24/70.55 c #Conflicts: 58000 | #Constraints: 10491
70.24/70.55 c #Conflicts: 59000 | #Constraints: 11491
70.24/70.55 c #Conflicts: 60000 | #Constraints: 12491
70.24/70.55 c #Conflicts: 61000 | #Constraints: 13491
70.24/70.55 c INPROCESSING
70.24/70.55 c GARBAGE COLLECT
70.24/70.55 c #Conflicts: 62000 | #Constraints: 9483
70.24/70.55 c #Conflicts: 63000 | #Constraints: 10483
70.24/70.55 c #Conflicts: 64000 | #Constraints: 11483
70.24/70.55 c #Conflicts: 65000 | #Constraints: 12483
70.24/70.55 c #Conflicts: 66000 | #Constraints: 13483
70.24/70.55 c INPROCESSING
70.24/70.55 c GARBAGE COLLECT
70.24/70.55 c #Conflicts: 67000 | #Constraints: 9287
70.24/70.55 c #Conflicts: 68000 | #Constraints: 10287
206.55/207.23 c #Conflicts: 69000 | #Constraints: 11287
206.55/207.23 c #Conflicts: 70000 | #Constraints: 12287
206.55/207.23 c #Conflicts: 71000 | #Constraints: 13287
206.55/207.23 c #Conflicts: 72000 | #Constraints: 14287
206.55/207.23 c INPROCESSING
206.55/207.23 c GARBAGE COLLECT
206.55/207.23 c #Conflicts: 73000 | #Constraints: 9884
206.55/207.23 c #Conflicts: 74000 | #Constraints: 10884
206.55/207.23 c #Conflicts: 75000 | #Constraints: 11884
206.55/207.23 c #Conflicts: 76000 | #Constraints: 12884
206.55/207.23 c #Conflicts: 77000 | #Constraints: 13884
206.55/207.23 c #Conflicts: 78000 | #Constraints: 14884
206.55/207.23 c INPROCESSING
206.55/207.23 c GARBAGE COLLECT
206.55/207.23 c #Conflicts: 79000 | #Constraints: 10283
206.55/207.23 c #Conflicts: 80000 | #Constraints: 11283
206.55/207.23 c #Conflicts: 81000 | #Constraints: 12283
206.55/207.23 c #Conflicts: 82000 | #Constraints: 13283
206.55/207.23 c #Conflicts: 83000 | #Constraints: 14283
206.55/207.23 c #Conflicts: 84000 | #Constraints: 15283
206.55/207.23 c INPROCESSING
206.55/207.23 c GARBAGE COLLECT
206.55/207.23 c #Conflicts: 85000 | #Constraints: 10486
206.55/207.23 c #Conflicts: 86000 | #Constraints: 11486
206.55/207.23 c #Conflicts: 87000 | #Constraints: 12486
206.55/207.23 c #Conflicts: 88000 | #Constraints: 13486
206.55/207.23 c #Conflicts: 89000 | #Constraints: 14486
206.55/207.23 c #Conflicts: 90000 | #Constraints: 15486
206.55/207.23 c INPROCESSING
206.55/207.23 c GARBAGE COLLECT
206.55/207.23 c #Conflicts: 91000 | #Constraints: 10489
206.55/207.23 c #Conflicts: 92000 | #Constraints: 11489
206.55/207.23 c #Conflicts: 93000 | #Constraints: 12489
206.55/207.23 c #Conflicts: 94000 | #Constraints: 13489
206.55/207.23 c #Conflicts: 95000 | #Constraints: 14489
206.55/207.23 c #Conflicts: 96000 | #Constraints: 15489
206.55/207.23 c INPROCESSING
206.55/207.23 c GARBAGE COLLECT
206.55/207.23 c #Conflicts: 97000 | #Constraints: 10283
206.55/207.23 c #Conflicts: 98000 | #Constraints: 11283
206.55/207.23 c #Conflicts: 99000 | #Constraints: 12283
206.55/207.23 c #Conflicts: 100000 | #Constraints: 13283
206.55/207.23 c #Conflicts: 101000 | #Constraints: 14283
206.55/207.23 c #Conflicts: 102000 | #Constraints: 15283
206.55/207.23 c #Conflicts: 103000 | #Constraints: 16283
206.55/207.23 c INPROCESSING
206.55/207.23 c GARBAGE COLLECT
206.55/207.23 c #Conflicts: 104000 | #Constraints: 10879
206.55/207.23 c #Conflicts: 105000 | #Constraints: 11879
206.55/207.23 c #Conflicts: 106000 | #Constraints: 12879
206.55/207.23 c #Conflicts: 107000 | #Constraints: 13879
206.55/207.23 c #Conflicts: 108000 | #Constraints: 14879
206.55/207.23 c #Conflicts: 109000 | #Constraints: 15879
206.55/207.23 c #Conflicts: 110000 | #Constraints: 16879
206.55/207.23 c INPROCESSING
206.55/207.23 c GARBAGE COLLECT
206.55/207.23 c #Conflicts: 111000 | #Constraints: 11299
206.55/207.23 c #Conflicts: 112000 | #Constraints: 12299
206.55/207.23 c #Conflicts: 113000 | #Constraints: 13299
206.55/207.23 c #Conflicts: 114000 | #Constraints: 14299
206.55/207.23 c #Conflicts: 115000 | #Constraints: 15299
206.55/207.23 c #Conflicts: 116000 | #Constraints: 16299
206.55/207.23 c #Conflicts: 117000 | #Constraints: 17299
206.55/207.23 c INPROCESSING
206.55/207.23 c GARBAGE COLLECT
206.55/207.23 c #Conflicts: 118000 | #Constraints: 11504
206.55/207.23 c #Conflicts: 119000 | #Constraints: 12504
206.55/207.23 c #Conflicts: 120000 | #Constraints: 13504
206.55/207.23 c #Conflicts: 121000 | #Constraints: 14504
206.55/207.23 c #Conflicts: 122000 | #Constraints: 15504
206.55/207.23 c #Conflicts: 123000 | #Constraints: 16504
206.55/207.23 c #Conflicts: 124000 | #Constraints: 17504
206.55/207.23 c INPROCESSING
206.55/207.23 c GARBAGE COLLECT
206.55/207.23 c #Conflicts: 125000 | #Constraints: 11495
206.55/207.23 c #Conflicts: 126000 | #Constraints: 12495
206.55/207.23 c #Conflicts: 127000 | #Constraints: 13495
206.55/207.23 c #Conflicts: 128000 | #Constraints: 14495
206.55/207.23 c #Conflicts: 129000 | #Constraints: 15495
206.55/207.23 c #Conflicts: 130000 | #Constraints: 16495
206.55/207.23 c #Conflicts: 131000 | #Constraints: 17495
206.55/207.23 c INPROCESSING
206.55/207.23 c GARBAGE COLLECT
206.55/207.23 c #Conflicts: 132000 | #Constraints: 11304
206.55/207.23 c #Conflicts: 133000 | #Constraints: 12304
206.55/207.23 c #Conflicts: 134000 | #Constraints: 13304
206.55/207.23 c #Conflicts: 135000 | #Constraints: 14304
206.55/207.23 c #Conflicts: 136000 | #Constraints: 15304
206.55/207.23 c #Conflicts: 137000 | #Constraints: 16304
206.55/207.23 c #Conflicts: 138000 | #Constraints: 17304
206.55/207.23 c #Conflicts: 139000 | #Constraints: 18304
206.55/207.23 c INPROCESSING
206.55/207.23 c GARBAGE COLLECT
206.55/207.23 c #Conflicts: 140000 | #Constraints: 11909
351.74/352.81 c #Conflicts: 141000 | #Constraints: 12909
351.74/352.81 c #Conflicts: 142000 | #Constraints: 13909
351.74/352.81 c #Conflicts: 143000 | #Constraints: 14909
351.74/352.81 c #Conflicts: 144000 | #Constraints: 15909
351.74/352.81 c #Conflicts: 145000 | #Constraints: 16909
351.74/352.81 c #Conflicts: 146000 | #Constraints: 17909
351.74/352.81 c #Conflicts: 147000 | #Constraints: 18909
351.74/352.81 c INPROCESSING
351.74/352.81 c GARBAGE COLLECT
351.74/352.81 c #Conflicts: 148000 | #Constraints: 12294
351.74/352.81 c #Conflicts: 149000 | #Constraints: 13294
351.74/352.81 c #Conflicts: 150000 | #Constraints: 14294
351.74/352.81 c #Conflicts: 151000 | #Constraints: 15294
351.74/352.81 c #Conflicts: 152000 | #Constraints: 16294
351.74/352.81 c #Conflicts: 153000 | #Constraints: 17294
351.74/352.81 c #Conflicts: 154000 | #Constraints: 18294
351.74/352.81 c #Conflicts: 155000 | #Constraints: 19294
351.74/352.81 c INPROCESSING
351.74/352.81 c GARBAGE COLLECT
351.74/352.81 c #Conflicts: 156000 | #Constraints: 12495
351.74/352.81 c #Conflicts: 157000 | #Constraints: 13495
351.74/352.81 c #Conflicts: 158000 | #Constraints: 14495
351.74/352.81 c #Conflicts: 159000 | #Constraints: 15495
351.74/352.81 c #Conflicts: 160000 | #Constraints: 16495
351.74/352.81 c #Conflicts: 161000 | #Constraints: 17495
351.74/352.81 c #Conflicts: 162000 | #Constraints: 18495
351.74/352.81 c #Conflicts: 163000 | #Constraints: 19495
351.74/352.81 c INPROCESSING
351.74/352.81 c GARBAGE COLLECT
351.74/352.81 c #Conflicts: 164000 | #Constraints: 12485
351.74/352.81 c #Conflicts: 165000 | #Constraints: 13485
351.74/352.81 c #Conflicts: 166000 | #Constraints: 14485
351.74/352.81 c #Conflicts: 167000 | #Constraints: 15485
351.74/352.81 c #Conflicts: 168000 | #Constraints: 16485
351.74/352.81 c #Conflicts: 169000 | #Constraints: 17485
351.74/352.81 c #Conflicts: 170000 | #Constraints: 18485
351.74/352.81 c #Conflicts: 171000 | #Constraints: 19485
351.74/352.81 c INPROCESSING
351.74/352.81 c GARBAGE COLLECT
351.74/352.81 c #Conflicts: 172000 | #Constraints: 12291
351.74/352.81 c #Conflicts: 173000 | #Constraints: 13291
351.74/352.81 c #Conflicts: 174000 | #Constraints: 14291
351.74/352.81 c #Conflicts: 175000 | #Constraints: 15291
351.74/352.81 c #Conflicts: 176000 | #Constraints: 16291
351.74/352.81 c #Conflicts: 177000 | #Constraints: 17291
351.74/352.81 c #Conflicts: 178000 | #Constraints: 18291
351.74/352.81 c #Conflicts: 179000 | #Constraints: 19291
351.74/352.81 c #Conflicts: 180000 | #Constraints: 20291
351.74/352.81 c INPROCESSING
351.74/352.81 c GARBAGE COLLECT
351.74/352.81 c #Conflicts: 181000 | #Constraints: 12899
351.74/352.81 c #Conflicts: 182000 | #Constraints: 13899
351.74/352.81 c #Conflicts: 183000 | #Constraints: 14899
351.74/352.81 c #Conflicts: 184000 | #Constraints: 15899
351.74/352.81 c #Conflicts: 185000 | #Constraints: 16899
351.74/352.81 c #Conflicts: 186000 | #Constraints: 17899
351.74/352.81 c #Conflicts: 187000 | #Constraints: 18899
351.74/352.81 c #Conflicts: 188000 | #Constraints: 19899
351.74/352.81 c #Conflicts: 189000 | #Constraints: 20899
351.74/352.81 c INPROCESSING
351.74/352.81 c GARBAGE COLLECT
351.74/352.81 c #Conflicts: 190000 | #Constraints: 13286
351.74/352.81 c #Conflicts: 191000 | #Constraints: 14286
351.74/352.81 c #Conflicts: 192000 | #Constraints: 15286
351.74/352.81 c #Conflicts: 193000 | #Constraints: 16286
351.74/352.81 c #Conflicts: 194000 | #Constraints: 17286
351.74/352.81 c #Conflicts: 195000 | #Constraints: 18286
351.74/352.81 c #Conflicts: 196000 | #Constraints: 19286
351.74/352.81 c #Conflicts: 197000 | #Constraints: 20286
351.74/352.81 c #Conflicts: 198000 | #Constraints: 21286
351.74/352.81 c INPROCESSING
351.74/352.81 c GARBAGE COLLECT
351.74/352.81 c #Conflicts: 199000 | #Constraints: 13495
351.74/352.81 c #Conflicts: 200000 | #Constraints: 14495
351.74/352.81 c #Conflicts: 201000 | #Constraints: 15495
351.74/352.81 c #Conflicts: 202000 | #Constraints: 16495
351.74/352.81 c #Conflicts: 203000 | #Constraints: 17495
351.74/352.81 c #Conflicts: 204000 | #Constraints: 18495
351.74/352.81 c #Conflicts: 205000 | #Constraints: 19495
351.74/352.81 c #Conflicts: 206000 | #Constraints: 20495
351.74/352.81 c #Conflicts: 207000 | #Constraints: 21495
351.74/352.81 c INPROCESSING
351.74/352.81 c GARBAGE COLLECT
351.74/352.81 c #Conflicts: 208000 | #Constraints: 13495
351.74/352.81 c #Conflicts: 209000 | #Constraints: 14495
351.74/352.81 c #Conflicts: 210000 | #Constraints: 15495
351.74/352.81 c #Conflicts: 211000 | #Constraints: 16495
351.74/352.81 c #Conflicts: 212000 | #Constraints: 17495
351.74/352.81 c #Conflicts: 213000 | #Constraints: 18495
539.60/541.28 c #Conflicts: 214000 | #Constraints: 19495
539.60/541.28 c #Conflicts: 215000 | #Constraints: 20495
539.60/541.28 c #Conflicts: 216000 | #Constraints: 21495
539.60/541.28 c INPROCESSING
539.60/541.28 c GARBAGE COLLECT
539.60/541.28 c #Conflicts: 217000 | #Constraints: 13302
539.60/541.28 c #Conflicts: 218000 | #Constraints: 14302
539.60/541.28 c #Conflicts: 219000 | #Constraints: 15302
539.60/541.28 c #Conflicts: 220000 | #Constraints: 16302
539.60/541.28 c #Conflicts: 221000 | #Constraints: 17302
539.60/541.28 c #Conflicts: 222000 | #Constraints: 18302
539.60/541.28 c #Conflicts: 223000 | #Constraints: 19302
539.60/541.28 c #Conflicts: 224000 | #Constraints: 20302
539.60/541.28 c #Conflicts: 225000 | #Constraints: 21302
539.60/541.28 c #Conflicts: 226000 | #Constraints: 22302
539.60/541.28 c INPROCESSING
539.60/541.28 c GARBAGE COLLECT
539.60/541.28 c #Conflicts: 227000 | #Constraints: 13887
539.60/541.28 c #Conflicts: 228000 | #Constraints: 14887
539.60/541.28 c #Conflicts: 229000 | #Constraints: 15887
539.60/541.28 c #Conflicts: 230000 | #Constraints: 16887
539.60/541.28 c #Conflicts: 231000 | #Constraints: 17887
539.60/541.28 c #Conflicts: 232000 | #Constraints: 18887
539.60/541.28 c #Conflicts: 233000 | #Constraints: 19887
539.60/541.28 c #Conflicts: 234000 | #Constraints: 20887
539.60/541.28 c #Conflicts: 235000 | #Constraints: 21887
539.60/541.28 c #Conflicts: 236000 | #Constraints: 22887
539.60/541.28 c INPROCESSING
539.60/541.28 c GARBAGE COLLECT
539.60/541.28 c #Conflicts: 237000 | #Constraints: 14286
539.60/541.28 c #Conflicts: 238000 | #Constraints: 15286
539.60/541.28 c #Conflicts: 239000 | #Constraints: 16286
539.60/541.28 c #Conflicts: 240000 | #Constraints: 17286
539.60/541.28 c #Conflicts: 241000 | #Constraints: 18286
539.60/541.28 c #Conflicts: 242000 | #Constraints: 19286
539.60/541.28 c #Conflicts: 243000 | #Constraints: 20286
539.60/541.28 c #Conflicts: 244000 | #Constraints: 21286
539.60/541.28 c #Conflicts: 245000 | #Constraints: 22286
539.60/541.28 c #Conflicts: 246000 | #Constraints: 23286
539.60/541.28 c INPROCESSING
539.60/541.28 c GARBAGE COLLECT
539.60/541.28 c #Conflicts: 247000 | #Constraints: 14487
539.60/541.28 c #Conflicts: 248000 | #Constraints: 15487
539.60/541.28 c #Conflicts: 249000 | #Constraints: 16487
539.60/541.28 c #Conflicts: 250000 | #Constraints: 17487
539.60/541.28 c #Conflicts: 251000 | #Constraints: 18487
539.60/541.28 c #Conflicts: 252000 | #Constraints: 19487
539.60/541.28 c #Conflicts: 253000 | #Constraints: 20487
539.60/541.28 c #Conflicts: 254000 | #Constraints: 21487
539.60/541.28 c #Conflicts: 255000 | #Constraints: 22487
539.60/541.28 c #Conflicts: 256000 | #Constraints: 23487
539.60/541.28 c INPROCESSING
539.60/541.28 c GARBAGE COLLECT
539.60/541.28 c #Conflicts: 257000 | #Constraints: 14491
539.60/541.28 c #Conflicts: 258000 | #Constraints: 15491
539.60/541.28 c #Conflicts: 259000 | #Constraints: 16491
539.60/541.28 c #Conflicts: 260000 | #Constraints: 17491
539.60/541.28 c #Conflicts: 261000 | #Constraints: 18491
539.60/541.28 c #Conflicts: 262000 | #Constraints: 19491
539.60/541.28 c #Conflicts: 263000 | #Constraints: 20491
539.60/541.28 c #Conflicts: 264000 | #Constraints: 21491
539.60/541.28 c #Conflicts: 265000 | #Constraints: 22491
539.60/541.28 c #Conflicts: 266000 | #Constraints: 23491
539.60/541.28 c INPROCESSING
539.60/541.28 c GARBAGE COLLECT
539.60/541.28 c #Conflicts: 267000 | #Constraints: 14297
539.60/541.28 c #Conflicts: 268000 | #Constraints: 15297
539.60/541.28 c #Conflicts: 269000 | #Constraints: 16297
539.60/541.28 c #Conflicts: 270000 | #Constraints: 17297
539.60/541.28 c #Conflicts: 271000 | #Constraints: 18297
539.60/541.28 c #Conflicts: 272000 | #Constraints: 19297
539.60/541.28 c #Conflicts: 273000 | #Constraints: 20297
539.60/541.28 c #Conflicts: 274000 | #Constraints: 21297
539.60/541.28 c #Conflicts: 275000 | #Constraints: 22297
539.60/541.28 c #Conflicts: 276000 | #Constraints: 23297
539.60/541.28 c #Conflicts: 277000 | #Constraints: 24297
539.60/541.28 c INPROCESSING
539.60/541.28 c GARBAGE COLLECT
539.60/541.28 c #Conflicts: 278000 | #Constraints: 14892
539.60/541.28 c #Conflicts: 279000 | #Constraints: 15892
539.60/541.28 c #Conflicts: 280000 | #Constraints: 16892
539.60/541.28 c #Conflicts: 281000 | #Constraints: 17892
539.60/541.28 c #Conflicts: 282000 | #Constraints: 18892
539.60/541.28 c #Conflicts: 283000 | #Constraints: 19892
539.60/541.28 c #Conflicts: 284000 | #Constraints: 20892
539.60/541.28 c #Conflicts: 285000 | #Constraints: 21892
539.60/541.28 c #Conflicts: 286000 | #Constraints: 22892
539.60/541.28 c #Conflicts: 287000 | #Constraints: 23892
539.60/541.28 c #Conflicts: 288000 | #Constraints: 24892
732.66/734.88 c INPROCESSING
732.66/734.88 c GARBAGE COLLECT
732.66/734.88 c #Conflicts: 289000 | #Constraints: 15296
732.66/734.88 c #Conflicts: 290000 | #Constraints: 16296
732.66/734.88 c #Conflicts: 291000 | #Constraints: 17296
732.66/734.88 c #Conflicts: 292000 | #Constraints: 18296
732.66/734.88 c #Conflicts: 293000 | #Constraints: 19296
732.66/734.88 c #Conflicts: 294000 | #Constraints: 20296
732.66/734.88 c #Conflicts: 295000 | #Constraints: 21296
732.66/734.88 c #Conflicts: 296000 | #Constraints: 22296
732.66/734.88 c #Conflicts: 297000 | #Constraints: 23296
732.66/734.88 c #Conflicts: 298000 | #Constraints: 24296
732.66/734.88 c #Conflicts: 299000 | #Constraints: 25296
732.66/734.88 c INPROCESSING
732.66/734.88 c GARBAGE COLLECT
732.66/734.88 c #Conflicts: 300000 | #Constraints: 15498
732.66/734.88 c #Conflicts: 301000 | #Constraints: 16498
732.66/734.88 c #Conflicts: 302000 | #Constraints: 17498
732.66/734.88 c #Conflicts: 303000 | #Constraints: 18498
732.66/734.88 c #Conflicts: 304000 | #Constraints: 19498
732.66/734.88 c #Conflicts: 305000 | #Constraints: 20498
732.66/734.88 c #Conflicts: 306000 | #Constraints: 21498
732.66/734.88 c #Conflicts: 307000 | #Constraints: 22498
732.66/734.88 c #Conflicts: 308000 | #Constraints: 23498
732.66/734.88 c #Conflicts: 309000 | #Constraints: 24498
732.66/734.88 c #Conflicts: 310000 | #Constraints: 25498
732.66/734.88 c INPROCESSING
732.66/734.88 c GARBAGE COLLECT
732.66/734.88 c #Conflicts: 311000 | #Constraints: 15495
732.66/734.88 c #Conflicts: 312000 | #Constraints: 16495
732.66/734.88 c #Conflicts: 313000 | #Constraints: 17495
732.66/734.88 c #Conflicts: 314000 | #Constraints: 18495
732.66/734.88 c #Conflicts: 315000 | #Constraints: 19495
732.66/734.88 c #Conflicts: 316000 | #Constraints: 20495
732.66/734.88 c #Conflicts: 317000 | #Constraints: 21495
732.66/734.88 c #Conflicts: 318000 | #Constraints: 22495
732.66/734.88 c #Conflicts: 319000 | #Constraints: 23495
732.66/734.88 c #Conflicts: 320000 | #Constraints: 24495
732.66/734.88 c #Conflicts: 321000 | #Constraints: 25495
732.66/734.88 c INPROCESSING
732.66/734.88 c GARBAGE COLLECT
732.66/734.88 c #Conflicts: 322000 | #Constraints: 15289
732.66/734.88 c #Conflicts: 323000 | #Constraints: 16289
732.66/734.88 c #Conflicts: 324000 | #Constraints: 17289
732.66/734.88 c #Conflicts: 325000 | #Constraints: 18289
732.66/734.88 c #Conflicts: 326000 | #Constraints: 19289
732.66/734.88 c #Conflicts: 327000 | #Constraints: 20289
732.66/734.88 c #Conflicts: 328000 | #Constraints: 21289
732.66/734.88 c #Conflicts: 329000 | #Constraints: 22289
732.66/734.88 c #Conflicts: 330000 | #Constraints: 23289
732.66/734.88 c #Conflicts: 331000 | #Constraints: 24289
732.66/734.88 c #Conflicts: 332000 | #Constraints: 25289
732.66/734.88 c #Conflicts: 333000 | #Constraints: 26289
732.66/734.88 c INPROCESSING
732.66/734.88 c GARBAGE COLLECT
732.66/734.88 c #Conflicts: 334000 | #Constraints: 15892
732.66/734.88 c #Conflicts: 335000 | #Constraints: 16892
732.66/734.88 c #Conflicts: 336000 | #Constraints: 17892
732.66/734.88 c #Conflicts: 337000 | #Constraints: 18892
732.66/734.88 c #Conflicts: 338000 | #Constraints: 19892
732.66/734.88 c #Conflicts: 339000 | #Constraints: 20892
732.66/734.88 c #Conflicts: 340000 | #Constraints: 21892
732.66/734.88 c #Conflicts: 341000 | #Constraints: 22892
732.66/734.88 c #Conflicts: 342000 | #Constraints: 23892
732.66/734.88 c #Conflicts: 343000 | #Constraints: 24892
732.66/734.88 c #Conflicts: 344000 | #Constraints: 25892
732.66/734.88 c #Conflicts: 345000 | #Constraints: 26892
732.66/734.88 c INPROCESSING
732.66/734.88 c GARBAGE COLLECT
732.66/734.88 c #Conflicts: 346000 | #Constraints: 16302
732.66/734.88 c #Conflicts: 347000 | #Constraints: 17302
732.66/734.88 c #Conflicts: 348000 | #Constraints: 18302
732.66/734.88 c #Conflicts: 349000 | #Constraints: 19302
732.66/734.88 c #Conflicts: 350000 | #Constraints: 20302
732.66/734.88 c #Conflicts: 351000 | #Constraints: 21302
732.66/734.88 c #Conflicts: 352000 | #Constraints: 22302
732.66/734.88 c #Conflicts: 353000 | #Constraints: 23302
732.66/734.88 c #Conflicts: 354000 | #Constraints: 24302
732.66/734.88 c #Conflicts: 355000 | #Constraints: 25302
732.66/734.88 c #Conflicts: 356000 | #Constraints: 26302
732.66/734.88 c #Conflicts: 357000 | #Constraints: 27302
732.66/734.88 c INPROCESSING
732.66/734.88 c GARBAGE COLLECT
732.66/734.88 c #Conflicts: 358000 | #Constraints: 16488
732.66/734.88 c #Conflicts: 359000 | #Constraints: 17488
732.66/734.88 c #Conflicts: 360000 | #Constraints: 18488
732.66/734.88 c #Conflicts: 361000 | #Constraints: 19488
732.66/734.88 c #Conflicts: 362000 | #Constraints: 20488
920.03/922.78 c #Conflicts: 363000 | #Constraints: 21488
920.03/922.78 c #Conflicts: 364000 | #Constraints: 22488
920.03/922.78 c #Conflicts: 365000 | #Constraints: 23488
920.03/922.78 c #Conflicts: 366000 | #Constraints: 24488
920.03/922.78 c #Conflicts: 367000 | #Constraints: 25488
920.03/922.78 c #Conflicts: 368000 | #Constraints: 26488
920.03/922.78 c #Conflicts: 369000 | #Constraints: 27488
920.03/922.78 c INPROCESSING
920.03/922.78 c GARBAGE COLLECT
920.03/922.78 c #Conflicts: 370000 | #Constraints: 16482
920.03/922.78 c #Conflicts: 371000 | #Constraints: 17482
920.03/922.78 c #Conflicts: 372000 | #Constraints: 18482
920.03/922.78 c #Conflicts: 373000 | #Constraints: 19482
920.03/922.78 c #Conflicts: 374000 | #Constraints: 20482
920.03/922.78 c #Conflicts: 375000 | #Constraints: 21482
920.03/922.78 c #Conflicts: 376000 | #Constraints: 22482
920.03/922.78 c #Conflicts: 377000 | #Constraints: 23482
920.03/922.78 c #Conflicts: 378000 | #Constraints: 24482
920.03/922.78 c #Conflicts: 379000 | #Constraints: 25482
920.03/922.78 c #Conflicts: 380000 | #Constraints: 26482
920.03/922.78 c #Conflicts: 381000 | #Constraints: 27482
920.03/922.78 c INPROCESSING
920.03/922.78 c GARBAGE COLLECT
920.03/922.78 c #Conflicts: 382000 | #Constraints: 16292
920.03/922.78 c #Conflicts: 383000 | #Constraints: 17292
920.03/922.78 c #Conflicts: 384000 | #Constraints: 18292
920.03/922.78 c #Conflicts: 385000 | #Constraints: 19292
920.03/922.78 c #Conflicts: 386000 | #Constraints: 20292
920.03/922.78 c #Conflicts: 387000 | #Constraints: 21292
920.03/922.78 c #Conflicts: 388000 | #Constraints: 22292
920.03/922.78 c #Conflicts: 389000 | #Constraints: 23292
920.03/922.78 c #Conflicts: 390000 | #Constraints: 24292
920.03/922.78 c #Conflicts: 391000 | #Constraints: 25292
920.03/922.78 c #Conflicts: 392000 | #Constraints: 26292
920.03/922.78 c #Conflicts: 393000 | #Constraints: 27292
920.03/922.78 c #Conflicts: 394000 | #Constraints: 28292
920.03/922.78 c INPROCESSING
920.03/922.78 c GARBAGE COLLECT
920.03/922.78 c #Conflicts: 395000 | #Constraints: 16894
920.03/922.78 c #Conflicts: 396000 | #Constraints: 17894
920.03/922.78 c #Conflicts: 397000 | #Constraints: 18894
920.03/922.78 c #Conflicts: 398000 | #Constraints: 19894
920.03/922.78 c #Conflicts: 399000 | #Constraints: 20894
920.03/922.78 c #Conflicts: 400000 | #Constraints: 21894
920.03/922.78 c #Conflicts: 401000 | #Constraints: 22894
920.03/922.78 c #Conflicts: 402000 | #Constraints: 23894
920.03/922.78 c #Conflicts: 403000 | #Constraints: 24894
920.03/922.78 c #Conflicts: 404000 | #Constraints: 25894
920.03/922.78 c #Conflicts: 405000 | #Constraints: 26894
920.03/922.78 c #Conflicts: 406000 | #Constraints: 27894
920.03/922.78 c #Conflicts: 407000 | #Constraints: 28894
920.03/922.78 c INPROCESSING
920.03/922.78 c GARBAGE COLLECT
920.03/922.78 c #Conflicts: 408000 | #Constraints: 17303
920.03/922.78 c #Conflicts: 409000 | #Constraints: 18303
920.03/922.78 c #Conflicts: 410000 | #Constraints: 19303
920.03/922.78 c #Conflicts: 411000 | #Constraints: 20303
920.03/922.78 c #Conflicts: 412000 | #Constraints: 21303
920.03/922.78 c #Conflicts: 413000 | #Constraints: 22303
920.03/922.78 c #Conflicts: 414000 | #Constraints: 23303
920.03/922.78 c #Conflicts: 415000 | #Constraints: 24303
920.03/922.78 c #Conflicts: 416000 | #Constraints: 25303
920.03/922.78 c #Conflicts: 417000 | #Constraints: 26303
920.03/922.78 c #Conflicts: 418000 | #Constraints: 27303
920.03/922.78 c #Conflicts: 419000 | #Constraints: 28303
920.03/922.78 c #Conflicts: 420000 | #Constraints: 29303
920.03/922.78 c INPROCESSING
920.03/922.78 c GARBAGE COLLECT
920.03/922.78 c #Conflicts: 421000 | #Constraints: 17492
920.03/922.78 c #Conflicts: 422000 | #Constraints: 18492
920.03/922.78 c #Conflicts: 423000 | #Constraints: 19492
920.03/922.78 c #Conflicts: 424000 | #Constraints: 20492
920.03/922.78 c #Conflicts: 425000 | #Constraints: 21492
920.03/922.78 c #Conflicts: 426000 | #Constraints: 22492
920.03/922.78 c #Conflicts: 427000 | #Constraints: 23492
920.03/922.78 c #Conflicts: 428000 | #Constraints: 24492
920.03/922.78 c #Conflicts: 429000 | #Constraints: 25492
920.03/922.78 c #Conflicts: 430000 | #Constraints: 26492
920.03/922.78 c #Conflicts: 431000 | #Constraints: 27492
920.03/922.78 c #Conflicts: 432000 | #Constraints: 28492
920.03/922.78 c #Conflicts: 433000 | #Constraints: 29492
920.03/922.78 c INPROCESSING
920.03/922.78 c GARBAGE COLLECT
920.03/922.78 c #Conflicts: 434000 | #Constraints: 17504
920.03/922.78 c #Conflicts: 435000 | #Constraints: 18504
920.03/922.78 c #Conflicts: 436000 | #Constraints: 19504
920.03/922.78 c #Conflicts: 437000 | #Constraints: 20504
1118.38/1121.60 c #Conflicts: 438000 | #Constraints: 21504
1118.38/1121.60 c #Conflicts: 439000 | #Constraints: 22504
1118.38/1121.60 c #Conflicts: 440000 | #Constraints: 23504
1118.38/1121.60 c #Conflicts: 441000 | #Constraints: 24504
1118.38/1121.60 c #Conflicts: 442000 | #Constraints: 25504
1118.38/1121.60 c #Conflicts: 443000 | #Constraints: 26504
1118.38/1121.60 c #Conflicts: 444000 | #Constraints: 27504
1118.38/1121.60 c #Conflicts: 445000 | #Constraints: 28504
1118.38/1121.60 c #Conflicts: 446000 | #Constraints: 29504
1118.38/1121.60 c INPROCESSING
1118.38/1121.60 c GARBAGE COLLECT
1118.38/1121.60 c #Conflicts: 447000 | #Constraints: 17302
1118.38/1121.60 c #Conflicts: 448000 | #Constraints: 18302
1118.38/1121.60 c #Conflicts: 449000 | #Constraints: 19302
1118.38/1121.60 c #Conflicts: 450000 | #Constraints: 20302
1118.38/1121.60 c #Conflicts: 451000 | #Constraints: 21302
1118.38/1121.60 c #Conflicts: 452000 | #Constraints: 22302
1118.38/1121.60 c #Conflicts: 453000 | #Constraints: 23302
1118.38/1121.60 c #Conflicts: 454000 | #Constraints: 24302
1118.38/1121.60 c #Conflicts: 455000 | #Constraints: 25302
1118.38/1121.60 c #Conflicts: 456000 | #Constraints: 26302
1118.38/1121.60 c #Conflicts: 457000 | #Constraints: 27302
1118.38/1121.60 c #Conflicts: 458000 | #Constraints: 28302
1118.38/1121.60 c #Conflicts: 459000 | #Constraints: 29302
1118.38/1121.60 c #Conflicts: 460000 | #Constraints: 30302
1118.38/1121.60 c INPROCESSING
1118.38/1121.60 c GARBAGE COLLECT
1118.38/1121.60 c #Conflicts: 461000 | #Constraints: 17891
1118.38/1121.60 c #Conflicts: 462000 | #Constraints: 18891
1118.38/1121.60 c #Conflicts: 463000 | #Constraints: 19891
1118.38/1121.60 c #Conflicts: 464000 | #Constraints: 20891
1118.38/1121.60 c #Conflicts: 465000 | #Constraints: 21891
1118.38/1121.60 c #Conflicts: 466000 | #Constraints: 22891
1118.38/1121.60 c #Conflicts: 467000 | #Constraints: 23891
1118.38/1121.60 c #Conflicts: 468000 | #Constraints: 24891
1118.38/1121.60 c #Conflicts: 469000 | #Constraints: 25891
1118.38/1121.60 c #Conflicts: 470000 | #Constraints: 26891
1118.38/1121.60 c #Conflicts: 471000 | #Constraints: 27891
1118.38/1121.60 c #Conflicts: 472000 | #Constraints: 28891
1118.38/1121.60 c #Conflicts: 473000 | #Constraints: 29891
1118.38/1121.60 c #Conflicts: 474000 | #Constraints: 30891
1118.38/1121.60 c INPROCESSING
1118.38/1121.60 c GARBAGE COLLECT
1118.38/1121.60 c #Conflicts: 475000 | #Constraints: 18299
1118.38/1121.60 c #Conflicts: 476000 | #Constraints: 19299
1118.38/1121.60 c #Conflicts: 477000 | #Constraints: 20299
1118.38/1121.60 c #Conflicts: 478000 | #Constraints: 21299
1118.38/1121.60 c #Conflicts: 479000 | #Constraints: 22299
1118.38/1121.60 c #Conflicts: 480000 | #Constraints: 23299
1118.38/1121.60 c #Conflicts: 481000 | #Constraints: 24299
1118.38/1121.60 c #Conflicts: 482000 | #Constraints: 25299
1118.38/1121.60 c #Conflicts: 483000 | #Constraints: 26299
1118.38/1121.60 c #Conflicts: 484000 | #Constraints: 27299
1118.38/1121.60 c #Conflicts: 485000 | #Constraints: 28299
1118.38/1121.60 c #Conflicts: 486000 | #Constraints: 29299
1118.38/1121.60 c #Conflicts: 487000 | #Constraints: 30299
1118.38/1121.60 c #Conflicts: 488000 | #Constraints: 31299
1118.38/1121.60 c INPROCESSING
1118.38/1121.60 c GARBAGE COLLECT
1118.38/1121.60 c #Conflicts: 489000 | #Constraints: 18501
1118.38/1121.60 c #Conflicts: 490000 | #Constraints: 19501
1118.38/1121.60 c #Conflicts: 491000 | #Constraints: 20501
1118.38/1121.60 c #Conflicts: 492000 | #Constraints: 21501
1118.38/1121.60 c #Conflicts: 493000 | #Constraints: 22501
1118.38/1121.60 c #Conflicts: 494000 | #Constraints: 23501
1118.38/1121.60 c #Conflicts: 495000 | #Constraints: 24501
1118.38/1121.60 c #Conflicts: 496000 | #Constraints: 25501
1118.38/1121.60 c #Conflicts: 497000 | #Constraints: 26501
1118.38/1121.60 c #Conflicts: 498000 | #Constraints: 27501
1118.38/1121.60 c #Conflicts: 499000 | #Constraints: 28501
1118.38/1121.60 c #Conflicts: 500000 | #Constraints: 29501
1118.38/1121.60 c #Conflicts: 501000 | #Constraints: 30501
1118.38/1121.60 c #Conflicts: 502000 | #Constraints: 31501
1118.38/1121.60 c INPROCESSING
1118.38/1121.60 c GARBAGE COLLECT
1118.38/1121.60 c #Conflicts: 503000 | #Constraints: 18493
1118.38/1121.60 c #Conflicts: 504000 | #Constraints: 19493
1118.38/1121.60 c #Conflicts: 505000 | #Constraints: 20493
1118.38/1121.60 c #Conflicts: 506000 | #Constraints: 21493
1118.38/1121.60 c #Conflicts: 507000 | #Constraints: 22493
1118.38/1121.60 c #Conflicts: 508000 | #Constraints: 23493
1118.38/1121.60 c #Conflicts: 509000 | #Constraints: 24493
1118.38/1121.60 c #Conflicts: 510000 | #Constraints: 25493
1118.38/1121.60 c #Conflicts: 511000 | #Constraints: 26493
1118.38/1121.60 c #Conflicts: 512000 | #Constraints: 27493
1118.38/1121.60 c #Conflicts: 513000 | #Constraints: 28493
1431.45/1435.51 c #Conflicts: 514000 | #Constraints: 29493
1431.45/1435.51 c #Conflicts: 515000 | #Constraints: 30493
1431.45/1435.51 c #Conflicts: 516000 | #Constraints: 31493
1431.45/1435.51 c INPROCESSING
1431.45/1435.51 c GARBAGE COLLECT
1431.45/1435.51 c #Conflicts: 517000 | #Constraints: 18285
1431.45/1435.51 c #Conflicts: 518000 | #Constraints: 19285
1431.45/1435.51 c #Conflicts: 519000 | #Constraints: 20285
1431.45/1435.51 c #Conflicts: 520000 | #Constraints: 21285
1431.45/1435.51 c #Conflicts: 521000 | #Constraints: 22285
1431.45/1435.51 c #Conflicts: 522000 | #Constraints: 23285
1431.45/1435.51 c #Conflicts: 523000 | #Constraints: 24285
1431.45/1435.51 c #Conflicts: 524000 | #Constraints: 25285
1431.45/1435.51 c #Conflicts: 525000 | #Constraints: 26285
1431.45/1435.51 c #Conflicts: 526000 | #Constraints: 27285
1431.45/1435.51 c #Conflicts: 527000 | #Constraints: 28285
1431.45/1435.51 c #Conflicts: 528000 | #Constraints: 29285
1431.45/1435.51 c #Conflicts: 529000 | #Constraints: 30285
1431.45/1435.51 c #Conflicts: 530000 | #Constraints: 31285
1431.45/1435.51 c #Conflicts: 531000 | #Constraints: 32285
1431.45/1435.51 c INPROCESSING
1431.45/1435.51 c GARBAGE COLLECT
1431.45/1435.51 c #Conflicts: 532000 | #Constraints: 18899
1431.45/1435.51 c #Conflicts: 533000 | #Constraints: 19899
1431.45/1435.51 c #Conflicts: 534000 | #Constraints: 20899
1431.45/1435.51 c #Conflicts: 535000 | #Constraints: 21899
1431.45/1435.51 c #Conflicts: 536000 | #Constraints: 22899
1431.45/1435.51 c #Conflicts: 537000 | #Constraints: 23899
1431.45/1435.51 c #Conflicts: 538000 | #Constraints: 24899
1431.45/1435.51 c #Conflicts: 539000 | #Constraints: 25899
1431.45/1435.51 c #Conflicts: 540000 | #Constraints: 26899
1431.45/1435.51 c #Conflicts: 541000 | #Constraints: 27899
1431.45/1435.51 c #Conflicts: 542000 | #Constraints: 28899
1431.45/1435.51 c #Conflicts: 543000 | #Constraints: 29899
1431.45/1435.51 c #Conflicts: 544000 | #Constraints: 30899
1431.45/1435.51 c #Conflicts: 545000 | #Constraints: 31899
1431.45/1435.51 c #Conflicts: 546000 | #Constraints: 32899
1431.45/1435.51 c INPROCESSING
1431.45/1435.51 c GARBAGE COLLECT
1431.45/1435.51 c #Conflicts: 547000 | #Constraints: 19305
1431.45/1435.51 c #Conflicts: 548000 | #Constraints: 20305
1431.45/1435.51 c #Conflicts: 549000 | #Constraints: 21305
1431.45/1435.51 c #Conflicts: 550000 | #Constraints: 22305
1431.45/1435.51 c #Conflicts: 551000 | #Constraints: 23305
1431.45/1435.51 c #Conflicts: 552000 | #Constraints: 24305
1431.45/1435.51 c #Conflicts: 553000 | #Constraints: 25305
1431.45/1435.51 c #Conflicts: 554000 | #Constraints: 26305
1431.45/1435.51 c #Conflicts: 555000 | #Constraints: 27305
1431.45/1435.51 c #Conflicts: 556000 | #Constraints: 28305
1431.45/1435.51 c #Conflicts: 557000 | #Constraints: 29305
1431.45/1435.51 c #Conflicts: 558000 | #Constraints: 30305
1431.45/1435.51 c #Conflicts: 559000 | #Constraints: 31305
1431.45/1435.51 c #Conflicts: 560000 | #Constraints: 32305
1431.45/1435.51 c #Conflicts: 561000 | #Constraints: 33305
1431.45/1435.51 c INPROCESSING
1431.45/1435.51 c GARBAGE COLLECT
1431.45/1435.51 c #Conflicts: 562000 | #Constraints: 19541
1431.45/1435.51 c #Conflicts: 563000 | #Constraints: 20541
1431.45/1435.51 c #Conflicts: 564000 | #Constraints: 21541
1431.45/1435.51 c #Conflicts: 565000 | #Constraints: 22541
1431.45/1435.51 c #Conflicts: 566000 | #Constraints: 23541
1431.45/1435.51 c #Conflicts: 567000 | #Constraints: 24541
1431.45/1435.51 c #Conflicts: 568000 | #Constraints: 25541
1431.45/1435.51 c #Conflicts: 569000 | #Constraints: 26541
1431.45/1435.51 c #Conflicts: 570000 | #Constraints: 27541
1431.45/1435.51 c #Conflicts: 571000 | #Constraints: 28541
1431.45/1435.51 c #Conflicts: 572000 | #Constraints: 29541
1431.45/1435.51 c #Conflicts: 573000 | #Constraints: 30541
1431.45/1435.51 c #Conflicts: 574000 | #Constraints: 31541
1431.45/1435.51 c #Conflicts: 575000 | #Constraints: 32541
1431.45/1435.51 c #Conflicts: 576000 | #Constraints: 33541
1431.45/1435.51 c INPROCESSING
1431.45/1435.51 c GARBAGE COLLECT
1431.45/1435.51 c #Conflicts: 577000 | #Constraints: 19517
1431.45/1435.51 c #Conflicts: 578000 | #Constraints: 20517
1431.45/1435.51 c #Conflicts: 579000 | #Constraints: 21517
1431.45/1435.51 c #Conflicts: 580000 | #Constraints: 22517
1431.45/1435.51 c #Conflicts: 581000 | #Constraints: 23517
1431.45/1435.51 c #Conflicts: 582000 | #Constraints: 24517
1431.45/1435.51 c #Conflicts: 583000 | #Constraints: 25517
1431.45/1435.51 c #Conflicts: 584000 | #Constraints: 26517
1431.45/1435.51 c #Conflicts: 585000 | #Constraints: 27517
1431.45/1435.51 c #Conflicts: 586000 | #Constraints: 28517
1431.45/1435.51 c #Conflicts: 587000 | #Constraints: 29517
1431.45/1435.51 c #Conflicts: 588000 | #Constraints: 30517
1744.22/1749.18 c #Conflicts: 589000 | #Constraints: 31517
1744.22/1749.18 c #Conflicts: 590000 | #Constraints: 32517
1744.22/1749.18 c #Conflicts: 591000 | #Constraints: 33517
1744.22/1749.18 c INPROCESSING
1744.22/1749.18 c GARBAGE COLLECT
1744.22/1749.18 c #Conflicts: 592000 | #Constraints: 19306
1744.22/1749.18 c #Conflicts: 593000 | #Constraints: 20306
1744.22/1749.18 c #Conflicts: 594000 | #Constraints: 21306
1744.22/1749.18 c #Conflicts: 595000 | #Constraints: 22306
1744.22/1749.18 c #Conflicts: 596000 | #Constraints: 23306
1744.22/1749.18 c #Conflicts: 597000 | #Constraints: 24306
1744.22/1749.18 c #Conflicts: 598000 | #Constraints: 25306
1744.22/1749.18 c #Conflicts: 599000 | #Constraints: 26306
1744.22/1749.18 c #Conflicts: 600000 | #Constraints: 27306
1744.22/1749.18 c #Conflicts: 601000 | #Constraints: 28306
1744.22/1749.18 c #Conflicts: 602000 | #Constraints: 29306
1744.22/1749.18 c #Conflicts: 603000 | #Constraints: 30306
1744.22/1749.18 c #Conflicts: 604000 | #Constraints: 31306
1744.22/1749.18 c #Conflicts: 605000 | #Constraints: 32306
1744.22/1749.18 c #Conflicts: 606000 | #Constraints: 33306
1744.22/1749.18 c #Conflicts: 607000 | #Constraints: 34306
1744.22/1749.18 c INPROCESSING
1744.22/1749.18 c GARBAGE COLLECT
1744.22/1749.18 c #Conflicts: 608000 | #Constraints: 19908
1744.22/1749.18 c #Conflicts: 609000 | #Constraints: 20908
1744.22/1749.18 c #Conflicts: 610000 | #Constraints: 21908
1744.22/1749.18 c #Conflicts: 611000 | #Constraints: 22908
1744.22/1749.18 c #Conflicts: 612000 | #Constraints: 23908
1744.22/1749.18 c #Conflicts: 613000 | #Constraints: 24908
1744.22/1749.18 c #Conflicts: 614000 | #Constraints: 25908
1744.22/1749.18 c #Conflicts: 615000 | #Constraints: 26908
1744.22/1749.18 c #Conflicts: 616000 | #Constraints: 27908
1744.22/1749.18 c #Conflicts: 617000 | #Constraints: 28908
1744.22/1749.18 c #Conflicts: 618000 | #Constraints: 29908
1744.22/1749.18 c #Conflicts: 619000 | #Constraints: 30908
1744.22/1749.18 c #Conflicts: 620000 | #Constraints: 31908
1744.22/1749.18 c #Conflicts: 621000 | #Constraints: 32908
1744.22/1749.18 c #Conflicts: 622000 | #Constraints: 33908
1744.22/1749.18 c #Conflicts: 623000 | #Constraints: 34908
1744.22/1749.18 c INPROCESSING
1744.22/1749.18 c GARBAGE COLLECT
1744.22/1749.18 c #Conflicts: 624000 | #Constraints: 20318
1744.22/1749.18 c #Conflicts: 625000 | #Constraints: 21318
1744.22/1749.18 c #Conflicts: 626000 | #Constraints: 22318
1744.22/1749.18 c #Conflicts: 627000 | #Constraints: 23318
1744.22/1749.18 c #Conflicts: 628000 | #Constraints: 24318
1744.22/1749.18 c #Conflicts: 629000 | #Constraints: 25318
1744.22/1749.18 c #Conflicts: 630000 | #Constraints: 26318
1744.22/1749.18 c #Conflicts: 631000 | #Constraints: 27318
1744.22/1749.18 c #Conflicts: 632000 | #Constraints: 28318
1744.22/1749.18 c #Conflicts: 633000 | #Constraints: 29318
1744.22/1749.18 c #Conflicts: 634000 | #Constraints: 30318
1744.22/1749.18 c #Conflicts: 635000 | #Constraints: 31318
1744.22/1749.18 c #Conflicts: 636000 | #Constraints: 32318
1744.22/1749.18 c #Conflicts: 637000 | #Constraints: 33318
1744.22/1749.18 c #Conflicts: 638000 | #Constraints: 34318
1744.22/1749.18 c #Conflicts: 639000 | #Constraints: 35318
1744.22/1749.18 c INPROCESSING
1744.22/1749.18 c GARBAGE COLLECT
1744.22/1749.18 c #Conflicts: 640000 | #Constraints: 20515
1744.22/1749.18 c #Conflicts: 641000 | #Constraints: 21515
1744.22/1749.18 c #Conflicts: 642000 | #Constraints: 22515
1744.22/1749.18 c #Conflicts: 643000 | #Constraints: 23515
1744.22/1749.18 c #Conflicts: 644000 | #Constraints: 24515
1744.22/1749.18 c #Conflicts: 645000 | #Constraints: 25515
1744.22/1749.18 c #Conflicts: 646000 | #Constraints: 26515
1744.22/1749.18 c #Conflicts: 647000 | #Constraints: 27515
1744.22/1749.18 c #Conflicts: 648000 | #Constraints: 28515
1744.22/1749.18 c #Conflicts: 649000 | #Constraints: 29515
1744.22/1749.18 c #Conflicts: 650000 | #Constraints: 30515
1744.22/1749.18 c #Conflicts: 651000 | #Constraints: 31515
1744.22/1749.18 c #Conflicts: 652000 | #Constraints: 32515
1744.22/1749.18 c #Conflicts: 653000 | #Constraints: 33515
1744.22/1749.18 c #Conflicts: 654000 | #Constraints: 34515
1744.22/1749.18 c #Conflicts: 655000 | #Constraints: 35515
1744.22/1749.18 c INPROCESSING
1744.22/1749.18 c GARBAGE COLLECT
1744.22/1749.18 c #Conflicts: 656000 | #Constraints: 20513
1744.22/1749.18 c #Conflicts: 657000 | #Constraints: 21513
1744.22/1749.18 c #Conflicts: 658000 | #Constraints: 22513
1744.22/1749.18 c #Conflicts: 659000 | #Constraints: 23513
1744.22/1749.18 c #Conflicts: 660000 | #Constraints: 24513
1744.22/1749.18 c #Conflicts: 661000 | #Constraints: 25513
1744.22/1749.18 c #Conflicts: 662000 | #Constraints: 26513
1744.22/1749.18 c #Conflicts: 663000 | #Constraints: 27513
1744.22/1749.18 c #Conflicts: 664000 | #Constraints: 28513
2067.16/2072.99 c #Conflicts: 665000 | #Constraints: 29513
2067.16/2072.99 c #Conflicts: 666000 | #Constraints: 30513
2067.16/2072.99 c #Conflicts: 667000 | #Constraints: 31513
2067.16/2072.99 c #Conflicts: 668000 | #Constraints: 32513
2067.16/2072.99 c #Conflicts: 669000 | #Constraints: 33513
2067.16/2072.99 c #Conflicts: 670000 | #Constraints: 34513
2067.16/2072.99 c #Conflicts: 671000 | #Constraints: 35513
2067.16/2072.99 c INPROCESSING
2067.16/2072.99 c GARBAGE COLLECT
2067.16/2072.99 c #Conflicts: 672000 | #Constraints: 20302
2067.16/2072.99 c #Conflicts: 673000 | #Constraints: 21302
2067.16/2072.99 c #Conflicts: 674000 | #Constraints: 22302
2067.16/2072.99 c #Conflicts: 675000 | #Constraints: 23302
2067.16/2072.99 c #Conflicts: 676000 | #Constraints: 24302
2067.16/2072.99 c #Conflicts: 677000 | #Constraints: 25302
2067.16/2072.99 c #Conflicts: 678000 | #Constraints: 26302
2067.16/2072.99 c #Conflicts: 679000 | #Constraints: 27302
2067.16/2072.99 c #Conflicts: 680000 | #Constraints: 28302
2067.16/2072.99 c #Conflicts: 681000 | #Constraints: 29302
2067.16/2072.99 c #Conflicts: 682000 | #Constraints: 30302
2067.16/2072.99 c #Conflicts: 683000 | #Constraints: 31302
2067.16/2072.99 c #Conflicts: 684000 | #Constraints: 32302
2067.16/2072.99 c #Conflicts: 685000 | #Constraints: 33302
2067.16/2072.99 c #Conflicts: 686000 | #Constraints: 34302
2067.16/2072.99 c #Conflicts: 687000 | #Constraints: 35302
2067.16/2072.99 c #Conflicts: 688000 | #Constraints: 36302
2067.16/2072.99 c INPROCESSING
2067.16/2072.99 c GARBAGE COLLECT
2067.16/2072.99 c #Conflicts: 689000 | #Constraints: 20906
2067.16/2072.99 c #Conflicts: 690000 | #Constraints: 21906
2067.16/2072.99 c #Conflicts: 691000 | #Constraints: 22906
2067.16/2072.99 c #Conflicts: 692000 | #Constraints: 23906
2067.16/2072.99 c #Conflicts: 693000 | #Constraints: 24906
2067.16/2072.99 c #Conflicts: 694000 | #Constraints: 25906
2067.16/2072.99 c #Conflicts: 695000 | #Constraints: 26906
2067.16/2072.99 c #Conflicts: 696000 | #Constraints: 27906
2067.16/2072.99 c #Conflicts: 697000 | #Constraints: 28906
2067.16/2072.99 c #Conflicts: 698000 | #Constraints: 29906
2067.16/2072.99 c #Conflicts: 699000 | #Constraints: 30906
2067.16/2072.99 c #Conflicts: 700000 | #Constraints: 31906
2067.16/2072.99 c #Conflicts: 701000 | #Constraints: 32906
2067.16/2072.99 c #Conflicts: 702000 | #Constraints: 33906
2067.16/2072.99 c #Conflicts: 703000 | #Constraints: 34906
2067.16/2072.99 c #Conflicts: 704000 | #Constraints: 35906
2067.16/2072.99 c #Conflicts: 705000 | #Constraints: 36906
2067.16/2072.99 c INPROCESSING
2067.16/2072.99 c GARBAGE COLLECT
2067.16/2072.99 c #Conflicts: 706000 | #Constraints: 21306
2067.16/2072.99 c #Conflicts: 707000 | #Constraints: 22306
2067.16/2072.99 c #Conflicts: 708000 | #Constraints: 23306
2067.16/2072.99 c #Conflicts: 709000 | #Constraints: 24306
2067.16/2072.99 c #Conflicts: 710000 | #Constraints: 25306
2067.16/2072.99 c #Conflicts: 711000 | #Constraints: 26306
2067.16/2072.99 c #Conflicts: 712000 | #Constraints: 27306
2067.16/2072.99 c #Conflicts: 713000 | #Constraints: 28306
2067.16/2072.99 c #Conflicts: 714000 | #Constraints: 29306
2067.16/2072.99 c #Conflicts: 715000 | #Constraints: 30306
2067.16/2072.99 c #Conflicts: 716000 | #Constraints: 31306
2067.16/2072.99 c #Conflicts: 717000 | #Constraints: 32306
2067.16/2072.99 c #Conflicts: 718000 | #Constraints: 33306
2067.16/2072.99 c #Conflicts: 719000 | #Constraints: 34306
2067.16/2072.99 c #Conflicts: 720000 | #Constraints: 35306
2067.16/2072.99 c #Conflicts: 721000 | #Constraints: 36306
2067.16/2072.99 c #Conflicts: 722000 | #Constraints: 37306
2067.16/2072.99 c INPROCESSING
2067.16/2072.99 c GARBAGE COLLECT
2067.16/2072.99 c #Conflicts: 723000 | #Constraints: 21514
2067.16/2072.99 c #Conflicts: 724000 | #Constraints: 22514
2067.16/2072.99 c #Conflicts: 725000 | #Constraints: 23514
2067.16/2072.99 c #Conflicts: 726000 | #Constraints: 24514
2067.16/2072.99 c #Conflicts: 727000 | #Constraints: 25514
2067.16/2072.99 c #Conflicts: 728000 | #Constraints: 26514
2067.16/2072.99 c #Conflicts: 729000 | #Constraints: 27514
2067.16/2072.99 c #Conflicts: 730000 | #Constraints: 28514
2067.16/2072.99 c #Conflicts: 731000 | #Constraints: 29514
2067.16/2072.99 c #Conflicts: 732000 | #Constraints: 30514
2067.16/2072.99 c #Conflicts: 733000 | #Constraints: 31514
2067.16/2072.99 c #Conflicts: 734000 | #Constraints: 32514
2067.16/2072.99 c #Conflicts: 735000 | #Constraints: 33514
2067.16/2072.99 c #Conflicts: 736000 | #Constraints: 34514
2067.16/2072.99 c #Conflicts: 737000 | #Constraints: 35514
2067.16/2072.99 c #Conflicts: 738000 | #Constraints: 36514
2067.16/2072.99 c #Conflicts: 739000 | #Constraints: 37514
2067.16/2072.99 c INPROCESSING
2067.16/2072.99 c GARBAGE COLLECT
2408.99/2415.77 c #Conflicts: 740000 | #Constraints: 21513
2408.99/2415.77 c #Conflicts: 741000 | #Constraints: 22513
2408.99/2415.77 c #Conflicts: 742000 | #Constraints: 23513
2408.99/2415.77 c #Conflicts: 743000 | #Constraints: 24513
2408.99/2415.77 c #Conflicts: 744000 | #Constraints: 25513
2408.99/2415.77 c #Conflicts: 745000 | #Constraints: 26513
2408.99/2415.77 c #Conflicts: 746000 | #Constraints: 27513
2408.99/2415.77 c #Conflicts: 747000 | #Constraints: 28513
2408.99/2415.77 c #Conflicts: 748000 | #Constraints: 29513
2408.99/2415.77 c #Conflicts: 749000 | #Constraints: 30513
2408.99/2415.77 c #Conflicts: 750000 | #Constraints: 31513
2408.99/2415.77 c #Conflicts: 751000 | #Constraints: 32513
2408.99/2415.77 c #Conflicts: 752000 | #Constraints: 33513
2408.99/2415.77 c #Conflicts: 753000 | #Constraints: 34513
2408.99/2415.77 c #Conflicts: 754000 | #Constraints: 35513
2408.99/2415.77 c #Conflicts: 755000 | #Constraints: 36513
2408.99/2415.77 c #Conflicts: 756000 | #Constraints: 37513
2408.99/2415.77 c INPROCESSING
2408.99/2415.77 c GARBAGE COLLECT
2408.99/2415.77 c #Conflicts: 757000 | #Constraints: 21308
2408.99/2415.77 c #Conflicts: 758000 | #Constraints: 22308
2408.99/2415.77 c #Conflicts: 759000 | #Constraints: 23308
2408.99/2415.77 c #Conflicts: 760000 | #Constraints: 24308
2408.99/2415.77 c #Conflicts: 761000 | #Constraints: 25308
2408.99/2415.77 c #Conflicts: 762000 | #Constraints: 26308
2408.99/2415.77 c #Conflicts: 763000 | #Constraints: 27308
2408.99/2415.77 c #Conflicts: 764000 | #Constraints: 28308
2408.99/2415.77 c #Conflicts: 765000 | #Constraints: 29308
2408.99/2415.77 c #Conflicts: 766000 | #Constraints: 30308
2408.99/2415.77 c #Conflicts: 767000 | #Constraints: 31308
2408.99/2415.77 c #Conflicts: 768000 | #Constraints: 32308
2408.99/2415.77 c #Conflicts: 769000 | #Constraints: 33308
2408.99/2415.77 c #Conflicts: 770000 | #Constraints: 34308
2408.99/2415.77 c #Conflicts: 771000 | #Constraints: 35308
2408.99/2415.77 c #Conflicts: 772000 | #Constraints: 36308
2408.99/2415.77 c #Conflicts: 773000 | #Constraints: 37308
2408.99/2415.77 c #Conflicts: 774000 | #Constraints: 38308
2408.99/2415.77 c INPROCESSING
2408.99/2415.77 c GARBAGE COLLECT
2408.99/2415.77 c #Conflicts: 775000 | #Constraints: 21900
2408.99/2415.77 c #Conflicts: 776000 | #Constraints: 22900
2408.99/2415.77 c #Conflicts: 777000 | #Constraints: 23900
2408.99/2415.77 c #Conflicts: 778000 | #Constraints: 24900
2408.99/2415.77 c #Conflicts: 779000 | #Constraints: 25900
2408.99/2415.77 c #Conflicts: 780000 | #Constraints: 26900
2408.99/2415.77 c #Conflicts: 781000 | #Constraints: 27900
2408.99/2415.77 c #Conflicts: 782000 | #Constraints: 28900
2408.99/2415.77 c #Conflicts: 783000 | #Constraints: 29900
2408.99/2415.77 c #Conflicts: 784000 | #Constraints: 30900
2408.99/2415.77 c #Conflicts: 785000 | #Constraints: 31900
2408.99/2415.77 c #Conflicts: 786000 | #Constraints: 32900
2408.99/2415.77 c #Conflicts: 787000 | #Constraints: 33900
2408.99/2415.77 c #Conflicts: 788000 | #Constraints: 34900
2408.99/2415.77 c #Conflicts: 789000 | #Constraints: 35900
2408.99/2415.77 c #Conflicts: 790000 | #Constraints: 36900
2408.99/2415.77 c #Conflicts: 791000 | #Constraints: 37900
2408.99/2415.77 c #Conflicts: 792000 | #Constraints: 38900
2408.99/2415.77 c INPROCESSING
2408.99/2415.77 c GARBAGE COLLECT
2408.99/2415.77 c #Conflicts: 793000 | #Constraints: 22304
2408.99/2415.77 c #Conflicts: 794000 | #Constraints: 23304
2408.99/2415.77 c #Conflicts: 795000 | #Constraints: 24304
2408.99/2415.77 c #Conflicts: 796000 | #Constraints: 25304
2408.99/2415.77 c #Conflicts: 797000 | #Constraints: 26304
2408.99/2415.77 c #Conflicts: 798000 | #Constraints: 27304
2408.99/2415.77 c #Conflicts: 799000 | #Constraints: 28304
2408.99/2415.77 c #Conflicts: 800000 | #Constraints: 29304
2408.99/2415.77 c #Conflicts: 801000 | #Constraints: 30304
2408.99/2415.77 c #Conflicts: 802000 | #Constraints: 31304
2408.99/2415.77 c #Conflicts: 803000 | #Constraints: 32304
2408.99/2415.77 c #Conflicts: 804000 | #Constraints: 33304
2408.99/2415.77 c #Conflicts: 805000 | #Constraints: 34304
2408.99/2415.77 c #Conflicts: 806000 | #Constraints: 35304
2408.99/2415.77 c #Conflicts: 807000 | #Constraints: 36304
2408.99/2415.77 c #Conflicts: 808000 | #Constraints: 37304
2408.99/2415.77 c #Conflicts: 809000 | #Constraints: 38304
2408.99/2415.77 c #Conflicts: 810000 | #Constraints: 39304
2408.99/2415.77 c INPROCESSING
2408.99/2415.77 c GARBAGE COLLECT
2408.99/2415.77 c #Conflicts: 811000 | #Constraints: 22497
2408.99/2415.77 c #Conflicts: 812000 | #Constraints: 23497
2408.99/2415.77 c #Conflicts: 813000 | #Constraints: 24497
2408.99/2415.77 c #Conflicts: 814000 | #Constraints: 25497
2408.99/2415.77 c #Conflicts: 815000 | #Constraints: 26497
2408.99/2415.77 c #Conflicts: 816000 | #Constraints: 27497
2720.73/2728.35 c #Conflicts: 817000 | #Constraints: 28497
2720.73/2728.35 c #Conflicts: 818000 | #Constraints: 29497
2720.73/2728.35 c #Conflicts: 819000 | #Constraints: 30497
2720.73/2728.35 c #Conflicts: 820000 | #Constraints: 31497
2720.73/2728.35 c #Conflicts: 821000 | #Constraints: 32497
2720.73/2728.35 c #Conflicts: 822000 | #Constraints: 33497
2720.73/2728.35 c #Conflicts: 823000 | #Constraints: 34497
2720.73/2728.35 c #Conflicts: 824000 | #Constraints: 35497
2720.73/2728.35 c #Conflicts: 825000 | #Constraints: 36497
2720.73/2728.35 c #Conflicts: 826000 | #Constraints: 37497
2720.73/2728.35 c #Conflicts: 827000 | #Constraints: 38497
2720.73/2728.35 c #Conflicts: 828000 | #Constraints: 39497
2720.73/2728.35 c INPROCESSING
2720.73/2728.35 c GARBAGE COLLECT
2720.73/2728.35 c #Conflicts: 829000 | #Constraints: 22503
2720.73/2728.35 c #Conflicts: 830000 | #Constraints: 23503
2720.73/2728.35 c #Conflicts: 831000 | #Constraints: 24503
2720.73/2728.35 c #Conflicts: 832000 | #Constraints: 25503
2720.73/2728.35 c #Conflicts: 833000 | #Constraints: 26503
2720.73/2728.35 c #Conflicts: 834000 | #Constraints: 27503
2720.73/2728.35 c #Conflicts: 835000 | #Constraints: 28503
2720.73/2728.35 c #Conflicts: 836000 | #Constraints: 29503
2720.73/2728.35 c #Conflicts: 837000 | #Constraints: 30503
2720.73/2728.35 c #Conflicts: 838000 | #Constraints: 31503
2720.73/2728.35 c #Conflicts: 839000 | #Constraints: 32503
2720.73/2728.35 c #Conflicts: 840000 | #Constraints: 33503
2720.73/2728.35 c #Conflicts: 841000 | #Constraints: 34503
2720.73/2728.35 c #Conflicts: 842000 | #Constraints: 35503
2720.73/2728.35 c #Conflicts: 843000 | #Constraints: 36503
2720.73/2728.35 c #Conflicts: 844000 | #Constraints: 37503
2720.73/2728.35 c #Conflicts: 845000 | #Constraints: 38503
2720.73/2728.35 c #Conflicts: 846000 | #Constraints: 39503
2720.73/2728.35 c INPROCESSING
2720.73/2728.35 c GARBAGE COLLECT
2720.73/2728.35 c #Conflicts: 847000 | #Constraints: 22306
2720.73/2728.35 c #Conflicts: 848000 | #Constraints: 23306
2720.73/2728.35 c #Conflicts: 849000 | #Constraints: 24306
2720.73/2728.35 c #Conflicts: 850000 | #Constraints: 25306
2720.73/2728.35 c #Conflicts: 851000 | #Constraints: 26306
2720.73/2728.35 c #Conflicts: 852000 | #Constraints: 27306
2720.73/2728.35 c #Conflicts: 853000 | #Constraints: 28306
2720.73/2728.35 c #Conflicts: 854000 | #Constraints: 29306
2720.73/2728.35 c #Conflicts: 855000 | #Constraints: 30306
2720.73/2728.35 c #Conflicts: 856000 | #Constraints: 31306
2720.73/2728.35 c #Conflicts: 857000 | #Constraints: 32306
2720.73/2728.35 c #Conflicts: 858000 | #Constraints: 33306
2720.73/2728.35 c #Conflicts: 859000 | #Constraints: 34306
2720.73/2728.35 c #Conflicts: 860000 | #Constraints: 35306
2720.73/2728.35 c #Conflicts: 861000 | #Constraints: 36306
2720.73/2728.35 c #Conflicts: 862000 | #Constraints: 37306
2720.73/2728.35 c #Conflicts: 863000 | #Constraints: 38306
2720.73/2728.35 c #Conflicts: 864000 | #Constraints: 39306
2720.73/2728.35 c #Conflicts: 865000 | #Constraints: 40306
2720.73/2728.35 c INPROCESSING
2720.73/2728.35 c GARBAGE COLLECT
2720.73/2728.35 c #Conflicts: 866000 | #Constraints: 22911
2720.73/2728.35 c #Conflicts: 867000 | #Constraints: 23911
2720.73/2728.35 c #Conflicts: 868000 | #Constraints: 24911
2720.73/2728.35 c #Conflicts: 869000 | #Constraints: 25911
2720.73/2728.35 c #Conflicts: 870000 | #Constraints: 26911
2720.73/2728.35 c #Conflicts: 871000 | #Constraints: 27911
2720.73/2728.35 c #Conflicts: 872000 | #Constraints: 28911
2720.73/2728.35 c #Conflicts: 873000 | #Constraints: 29911
2720.73/2728.35 c #Conflicts: 874000 | #Constraints: 30911
2720.73/2728.35 c #Conflicts: 875000 | #Constraints: 31911
2720.73/2728.35 c #Conflicts: 876000 | #Constraints: 32911
2720.73/2728.35 c #Conflicts: 877000 | #Constraints: 33911
2720.73/2728.35 c #Conflicts: 878000 | #Constraints: 34911
2720.73/2728.35 c #Conflicts: 879000 | #Constraints: 35911
2720.73/2728.35 c #Conflicts: 880000 | #Constraints: 36911
2720.73/2728.35 c #Conflicts: 881000 | #Constraints: 37911
2720.73/2728.35 c #Conflicts: 882000 | #Constraints: 38911
2720.73/2728.35 c #Conflicts: 883000 | #Constraints: 39911
2720.73/2728.35 c #Conflicts: 884000 | #Constraints: 40911
2720.73/2728.35 c INPROCESSING
2720.73/2728.35 c GARBAGE COLLECT
2720.73/2728.35 c #Conflicts: 885000 | #Constraints: 23323
2720.73/2728.35 c #Conflicts: 886000 | #Constraints: 24323
2720.73/2728.35 c #Conflicts: 887000 | #Constraints: 25323
2720.73/2728.35 c #Conflicts: 888000 | #Constraints: 26323
2720.73/2728.35 c #Conflicts: 889000 | #Constraints: 27323
2720.73/2728.35 c #Conflicts: 890000 | #Constraints: 28323
2720.73/2728.35 c #Conflicts: 891000 | #Constraints: 29323
2720.73/2728.35 c #Conflicts: 892000 | #Constraints: 30323
3060.79/3069.37 c #Conflicts: 893000 | #Constraints: 31323
3060.79/3069.37 c #Conflicts: 894000 | #Constraints: 32323
3060.79/3069.37 c #Conflicts: 895000 | #Constraints: 33323
3060.79/3069.37 c #Conflicts: 896000 | #Constraints: 34323
3060.79/3069.37 c #Conflicts: 897000 | #Constraints: 35323
3060.79/3069.37 c #Conflicts: 898000 | #Constraints: 36323
3060.79/3069.37 c #Conflicts: 899000 | #Constraints: 37323
3060.79/3069.37 c #Conflicts: 900000 | #Constraints: 38323
3060.79/3069.37 c #Conflicts: 901000 | #Constraints: 39323
3060.79/3069.37 c #Conflicts: 902000 | #Constraints: 40323
3060.79/3069.37 c #Conflicts: 903000 | #Constraints: 41323
3060.79/3069.37 c INPROCESSING
3060.79/3069.37 c GARBAGE COLLECT
3060.79/3069.37 c #Conflicts: 904000 | #Constraints: 23511
3060.79/3069.37 c #Conflicts: 905000 | #Constraints: 24511
3060.79/3069.37 c #Conflicts: 906000 | #Constraints: 25511
3060.79/3069.37 c #Conflicts: 907000 | #Constraints: 26511
3060.79/3069.37 c #Conflicts: 908000 | #Constraints: 27511
3060.79/3069.37 c #Conflicts: 909000 | #Constraints: 28511
3060.79/3069.37 c #Conflicts: 910000 | #Constraints: 29511
3060.79/3069.37 c #Conflicts: 911000 | #Constraints: 30511
3060.79/3069.37 c #Conflicts: 912000 | #Constraints: 31511
3060.79/3069.37 c #Conflicts: 913000 | #Constraints: 32511
3060.79/3069.37 c #Conflicts: 914000 | #Constraints: 33511
3060.79/3069.37 c #Conflicts: 915000 | #Constraints: 34511
3060.79/3069.37 c #Conflicts: 916000 | #Constraints: 35511
3060.79/3069.37 c #Conflicts: 917000 | #Constraints: 36511
3060.79/3069.37 c #Conflicts: 918000 | #Constraints: 37511
3060.79/3069.37 c #Conflicts: 919000 | #Constraints: 38511
3060.79/3069.37 c #Conflicts: 920000 | #Constraints: 39511
3060.79/3069.37 c #Conflicts: 921000 | #Constraints: 40511
3060.79/3069.37 c #Conflicts: 922000 | #Constraints: 41511
3060.79/3069.37 c INPROCESSING
3060.79/3069.37 c GARBAGE COLLECT
3060.79/3069.37 c #Conflicts: 923000 | #Constraints: 23508
3060.79/3069.37 c #Conflicts: 924000 | #Constraints: 24508
3060.79/3069.37 c #Conflicts: 925000 | #Constraints: 25508
3060.79/3069.37 c #Conflicts: 926000 | #Constraints: 26508
3060.79/3069.37 c #Conflicts: 927000 | #Constraints: 27508
3060.79/3069.37 c #Conflicts: 928000 | #Constraints: 28508
3060.79/3069.37 c #Conflicts: 929000 | #Constraints: 29508
3060.79/3069.37 c #Conflicts: 930000 | #Constraints: 30508
3060.79/3069.37 c #Conflicts: 931000 | #Constraints: 31508
3060.79/3069.37 c #Conflicts: 932000 | #Constraints: 32508
3060.79/3069.37 c #Conflicts: 933000 | #Constraints: 33508
3060.79/3069.37 c #Conflicts: 934000 | #Constraints: 34508
3060.79/3069.37 c #Conflicts: 935000 | #Constraints: 35508
3060.79/3069.37 c #Conflicts: 936000 | #Constraints: 36508
3060.79/3069.37 c #Conflicts: 937000 | #Constraints: 37508
3060.79/3069.37 c #Conflicts: 938000 | #Constraints: 38508
3060.79/3069.37 c #Conflicts: 939000 | #Constraints: 39508
3060.79/3069.37 c #Conflicts: 940000 | #Constraints: 40508
3060.79/3069.37 c #Conflicts: 941000 | #Constraints: 41508
3060.79/3069.37 c INPROCESSING
3060.79/3069.37 c GARBAGE COLLECT
3060.79/3069.37 c #Conflicts: 942000 | #Constraints: 23306
3060.79/3069.37 c #Conflicts: 943000 | #Constraints: 24306
3060.79/3069.37 c #Conflicts: 944000 | #Constraints: 25306
3060.79/3069.37 c #Conflicts: 945000 | #Constraints: 26306
3060.79/3069.37 c #Conflicts: 946000 | #Constraints: 27306
3060.79/3069.37 c #Conflicts: 947000 | #Constraints: 28306
3060.79/3069.37 c #Conflicts: 948000 | #Constraints: 29306
3060.79/3069.37 c #Conflicts: 949000 | #Constraints: 30306
3060.79/3069.37 c #Conflicts: 950000 | #Constraints: 31306
3060.79/3069.37 c #Conflicts: 951000 | #Constraints: 32306
3060.79/3069.37 c #Conflicts: 952000 | #Constraints: 33306
3060.79/3069.37 c #Conflicts: 953000 | #Constraints: 34306
3060.79/3069.37 c #Conflicts: 954000 | #Constraints: 35306
3060.79/3069.37 c #Conflicts: 955000 | #Constraints: 36306
3060.79/3069.37 c #Conflicts: 956000 | #Constraints: 37306
3060.79/3069.37 c #Conflicts: 957000 | #Constraints: 38306
3060.79/3069.37 c #Conflicts: 958000 | #Constraints: 39306
3060.79/3069.37 c #Conflicts: 959000 | #Constraints: 40306
3060.79/3069.37 c #Conflicts: 960000 | #Constraints: 41306
3060.79/3069.37 c #Conflicts: 961000 | #Constraints: 42306
3060.79/3069.37 c INPROCESSING
3060.79/3069.37 c GARBAGE COLLECT
3060.79/3069.37 c #Conflicts: 962000 | #Constraints: 23915
3060.79/3069.37 c #Conflicts: 963000 | #Constraints: 24915
3060.79/3069.37 c #Conflicts: 964000 | #Constraints: 25915
3060.79/3069.37 c #Conflicts: 965000 | #Constraints: 26915
3060.79/3069.37 c #Conflicts: 966000 | #Constraints: 27915
3060.79/3069.37 c #Conflicts: 967000 | #Constraints: 28915
3060.79/3069.37 c #Conflicts: 968000 | #Constraints: 29915
3401.47/3410.92 c #Conflicts: 969000 | #Constraints: 30915
3401.47/3410.92 c #Conflicts: 970000 | #Constraints: 31915
3401.47/3410.92 c #Conflicts: 971000 | #Constraints: 32915
3401.47/3410.92 c #Conflicts: 972000 | #Constraints: 33915
3401.47/3410.92 c #Conflicts: 973000 | #Constraints: 34915
3401.47/3410.92 c #Conflicts: 974000 | #Constraints: 35915
3401.47/3410.92 c #Conflicts: 975000 | #Constraints: 36915
3401.47/3410.92 c #Conflicts: 976000 | #Constraints: 37915
3401.47/3410.92 c #Conflicts: 977000 | #Constraints: 38915
3401.47/3410.92 c #Conflicts: 978000 | #Constraints: 39915
3401.47/3410.92 c #Conflicts: 979000 | #Constraints: 40915
3401.47/3410.92 c #Conflicts: 980000 | #Constraints: 41915
3401.47/3410.92 c #Conflicts: 981000 | #Constraints: 42915
3401.47/3410.92 c INPROCESSING
3401.47/3410.92 c GARBAGE COLLECT
3401.47/3410.92 c #Conflicts: 982000 | #Constraints: 24315
3401.47/3410.92 c #Conflicts: 983000 | #Constraints: 25315
3401.47/3410.92 c #Conflicts: 984000 | #Constraints: 26315
3401.47/3410.92 c #Conflicts: 985000 | #Constraints: 27315
3401.47/3410.92 c #Conflicts: 986000 | #Constraints: 28315
3401.47/3410.92 c #Conflicts: 987000 | #Constraints: 29315
3401.47/3410.92 c #Conflicts: 988000 | #Constraints: 30315
3401.47/3410.92 c #Conflicts: 989000 | #Constraints: 31315
3401.47/3410.92 c #Conflicts: 990000 | #Constraints: 32315
3401.47/3410.92 c #Conflicts: 991000 | #Constraints: 33315
3401.47/3410.92 c #Conflicts: 992000 | #Constraints: 34315
3401.47/3410.92 c #Conflicts: 993000 | #Constraints: 35315
3401.47/3410.92 c #Conflicts: 994000 | #Constraints: 36315
3401.47/3410.92 c #Conflicts: 995000 | #Constraints: 37315
3401.47/3410.92 c #Conflicts: 996000 | #Constraints: 38315
3401.47/3410.92 c #Conflicts: 997000 | #Constraints: 39315
3401.47/3410.92 c #Conflicts: 998000 | #Constraints: 40315
3401.47/3410.92 c #Conflicts: 999000 | #Constraints: 41315
3401.47/3410.92 c #Conflicts: 1000000 | #Constraints: 42315
3401.47/3410.92 c #Conflicts: 1001000 | #Constraints: 43315
3401.47/3410.92 c INPROCESSING
3401.47/3410.92 c GARBAGE COLLECT
3401.47/3410.92 c #Conflicts: 1002000 | #Constraints: 24523
3401.47/3410.92 c #Conflicts: 1003000 | #Constraints: 25523
3401.47/3410.92 c #Conflicts: 1004000 | #Constraints: 26523
3401.47/3410.92 c #Conflicts: 1005000 | #Constraints: 27523
3401.47/3410.92 c #Conflicts: 1006000 | #Constraints: 28523
3401.47/3410.92 c #Conflicts: 1007000 | #Constraints: 29523
3401.47/3410.92 c #Conflicts: 1008000 | #Constraints: 30523
3401.47/3410.92 c #Conflicts: 1009000 | #Constraints: 31523
3401.47/3410.92 c #Conflicts: 1010000 | #Constraints: 32523
3401.47/3410.92 c #Conflicts: 1011000 | #Constraints: 33523
3401.47/3410.92 c #Conflicts: 1012000 | #Constraints: 34523
3401.47/3410.92 c #Conflicts: 1013000 | #Constraints: 35523
3401.47/3410.92 c #Conflicts: 1014000 | #Constraints: 36523
3401.47/3410.92 c #Conflicts: 1015000 | #Constraints: 37523
3401.47/3410.92 c #Conflicts: 1016000 | #Constraints: 38523
3401.47/3410.92 c #Conflicts: 1017000 | #Constraints: 39523
3401.47/3410.92 c #Conflicts: 1018000 | #Constraints: 40523
3401.47/3410.92 c #Conflicts: 1019000 | #Constraints: 41523
3401.47/3410.92 c #Conflicts: 1020000 | #Constraints: 42523
3401.47/3410.92 c #Conflicts: 1021000 | #Constraints: 43523
3401.47/3410.92 c INPROCESSING
3401.47/3410.92 c GARBAGE COLLECT
3401.47/3410.92 c #Conflicts: 1022000 | #Constraints: 24530
3401.47/3410.92 c #Conflicts: 1023000 | #Constraints: 25530
3401.47/3410.92 c #Conflicts: 1024000 | #Constraints: 26530
3401.47/3410.92 c #Conflicts: 1025000 | #Constraints: 27530
3401.47/3410.92 c #Conflicts: 1026000 | #Constraints: 28530
3401.47/3410.92 c #Conflicts: 1027000 | #Constraints: 29530
3401.47/3410.92 c #Conflicts: 1028000 | #Constraints: 30530
3401.47/3410.92 c #Conflicts: 1029000 | #Constraints: 31530
3401.47/3410.92 c #Conflicts: 1030000 | #Constraints: 32530
3401.47/3410.92 c #Conflicts: 1031000 | #Constraints: 33530
3401.47/3410.92 c #Conflicts: 1032000 | #Constraints: 34530
3401.47/3410.92 c #Conflicts: 1033000 | #Constraints: 35530
3401.47/3410.92 c #Conflicts: 1034000 | #Constraints: 36530
3401.47/3410.92 c #Conflicts: 1035000 | #Constraints: 37530
3401.47/3410.92 c #Conflicts: 1036000 | #Constraints: 38530
3401.47/3410.92 c #Conflicts: 1037000 | #Constraints: 39530
3401.47/3410.92 c #Conflicts: 1038000 | #Constraints: 40530
3401.47/3410.92 c #Conflicts: 1039000 | #Constraints: 41530
3401.47/3410.92 c #Conflicts: 1040000 | #Constraints: 42530
3401.47/3410.92 c #Conflicts: 1041000 | #Constraints: 43530
3401.47/3410.92 c INPROCESSING
3401.47/3410.92 c GARBAGE COLLECT
3401.47/3410.92 c #Conflicts: 1042000 | #Constraints: 24323
3401.47/3410.92 c #Conflicts: 1043000 | #Constraints: 25323
3401.47/3410.92 c #Conflicts: 1044000 | #Constraints: 26323
3600.02/3610.00 c #Conflicts: 1045000 | #Constraints: 27323
3600.02/3610.00 c #Conflicts: 1046000 | #Constraints: 28323
3600.02/3610.00 c #Conflicts: 1047000 | #Constraints: 29323
3600.02/3610.00 c #Conflicts: 1048000 | #Constraints: 30323
3600.02/3610.00 c #Conflicts: 1049000 | #Constraints: 31323
3600.02/3610.00 c #Conflicts: 1050000 | #Constraints: 32323
3600.02/3610.00 c #Conflicts: 1051000 | #Constraints: 33323
3600.02/3610.00 c #Conflicts: 1052000 | #Constraints: 34323
3600.02/3610.00 c #Conflicts: 1053000 | #Constraints: 35323
3600.02/3610.00 c #Conflicts: 1054000 | #Constraints: 36323
3600.02/3610.00 c #Conflicts: 1055000 | #Constraints: 37323
3600.02/3610.00 c #Conflicts: 1056000 | #Constraints: 38323
3600.02/3610.00 c #Conflicts: 1057000 | #Constraints: 39323
3600.02/3610.00 c #Conflicts: 1058000 | #Constraints: 40323
3600.02/3610.00 c #Conflicts: 1059000 | #Constraints: 41323
3600.02/3610.00 c #Conflicts: 1060000 | #Constraints: 42323
3600.02/3610.00 c #Conflicts: 1061000 | #Constraints: 43323
3600.02/3610.00 c #Conflicts: 1062000 | #Constraints: 44323
3600.02/3610.00 c INPROCESSING
3600.02/3610.00 c GARBAGE COLLECT
3600.02/3610.00 c #Conflicts: 1063000 | #Constraints: 24917
3600.02/3610.00 c #Conflicts: 1064000 | #Constraints: 25917
3600.02/3610.00 c #Conflicts: 1065000 | #Constraints: 26917
3600.02/3610.00 c #Conflicts: 1066000 | #Constraints: 27917
3600.02/3610.00 c #Conflicts: 1067000 | #Constraints: 28917
3600.02/3610.00 c #Conflicts: 1068000 | #Constraints: 29917
3600.02/3610.00 c #Conflicts: 1069000 | #Constraints: 30917
3600.02/3610.00 c #Conflicts: 1070000 | #Constraints: 31917
3600.02/3610.00 c #Conflicts: 1071000 | #Constraints: 32917
3600.02/3610.00 c #Conflicts: 1072000 | #Constraints: 33917
3600.02/3610.00 c #Conflicts: 1073000 | #Constraints: 34917
3600.02/3610.00 c #Conflicts: 1074000 | #Constraints: 35917
3600.02/3610.00 c #Conflicts: 1075000 | #Constraints: 36917
3600.02/3610.00 c #Conflicts: 1076000 | #Constraints: 37917
3600.02/3610.00 c #Conflicts: 1077000 | #Constraints: 38917
3600.02/3610.00 c #Conflicts: 1078000 | #Constraints: 39917
3600.02/3610.00 c #Conflicts: 1079000 | #Constraints: 40917
3600.02/3610.00 c #Conflicts: 1080000 | #Constraints: 41917
3600.02/3610.00 c #Conflicts: 1081000 | #Constraints: 42917
3600.02/3610.00 c #Conflicts: 1082000 | #Constraints: 43917
3600.02/3610.00 c #Conflicts: 1083000 | #Constraints: 44917
3600.02/3610.00 c INPROCESSING
3600.02/3610.00 c GARBAGE COLLECT
3600.02/3610.00 c #Conflicts: 1084000 | #Constraints: 25309
3600.02/3610.00 c #Conflicts: 1085000 | #Constraints: 26309
3600.02/3610.00 c #Conflicts: 1086000 | #Constraints: 27309
3600.02/3610.00 c #Conflicts: 1087000 | #Constraints: 28309
3600.02/3610.00 c #Conflicts: 1088000 | #Constraints: 29309
3600.02/3610.00 c #Conflicts: 1089000 | #Constraints: 30309
3600.02/3610.00 c #Conflicts: 1090000 | #Constraints: 31309
3600.02/3610.00 c #Conflicts: 1091000 | #Constraints: 32309
3600.02/3610.00 c #Conflicts: 1092000 | #Constraints: 33309
3600.02/3610.00 c #Conflicts: 1093000 | #Constraints: 34309
3600.02/3610.00 c #Conflicts: 1094000 | #Constraints: 35309
3600.02/3610.00 c #Conflicts: 1095000 | #Constraints: 36309
3600.02/3610.00 c cpu time 3582.98 s
3600.02/3610.00 c deterministic time 1 1.00e+00
3600.02/3610.00 c optimization time 3582.96 s
3600.02/3610.00 c total solve time 0 s
3600.02/3610.00 c core-guided solve time 0 s
3600.02/3610.00 c propagation time 0.001448 s
3600.02/3610.00 c conflict analysis time 0 s
3600.02/3610.00 c propagations 0
3600.02/3610.00 c resolve steps 0
3600.02/3610.00 c decisions 0
3600.02/3610.00 c conflicts 0
3600.02/3610.00 c restarts 0
3600.02/3610.00 c inprocessing phases 0
3600.02/3610.00 c garbage collections 0 ,( -nan )
3600.02/3610.00 c input clauses 3612 ,( 100.00 )
3600.02/3610.00 c input cardinalities 0 ,( 0.00 )
3600.02/3610.00 c input general constraints 0 ,( 0.00 )
3600.02/3610.00 c input average constraint length 2.00
3600.02/3610.00 c input average constraint degree 1.00
3600.02/3610.00 c learned clauses 0 ,( 0.00 )
3600.02/3610.00 c learned cardinalities 0 ,( 0.00 )
3600.02/3610.00 c learned general constraints 0 ,( 0.00 )
3600.02/3610.00 c learned average constraint length 0.00
3600.02/3610.00 c learned average constraint degree 0.00
3600.02/3610.00 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.02/3610.00 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.02/3610.00 c watched constraints 0 ,( -nan )
3600.02/3610.00 c counting constraints 0 ,( -nan )
3600.02/3610.00 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.02/3610.00 c gcd simplifications 0
3600.02/3610.00 c detected cardinalities 0
3600.02/3610.00 c weakened non-implied lits 0
3600.02/3610.00 c weakened non-implying lits 0
3600.02/3610.00 c original variables 1806
3600.02/3610.00 c clausal propagations 0
3600.02/3610.00 c cardinality propagations 0
3600.02/3610.00 c watched propagations 0
3600.02/3610.00 c counting propagations 0
3600.02/3610.00 c watch lookups 0
3600.02/3610.00 c watch backjump lookups 0
3600.02/3610.00 c watch checks 0
3600.02/3610.00 c propagation checks 0
3600.02/3610.00 c constraint additions 0
3600.02/3610.00 c trail pops 0
3600.02/3610.00 c formula constraints 3612
3600.02/3610.00 c learned constraints 0
3600.02/3610.00 c bound constraints 0
3600.02/3610.00 c core-guided constraints 0
3600.02/3610.00 c encountered formula constraints 0
3600.02/3610.00 c encountered learned constraints 0
3600.02/3610.00 c encountered bound constraints 0
3600.02/3610.00 c encountered core-guided constraints 0
3600.02/3610.00 c LP total time 0 s
3600.02/3610.00 c LP solve time 0 s
3600.02/3610.00 c LP constraints added 0
3600.02/3610.00 c LP constraints removed 0
3600.02/3610.00 c LP pivots internal 0
3600.02/3610.00 c LP pivots root 0
3600.02/3610.00 c LP calls 0
3600.02/3610.00 c LP optimalities 0
3600.02/3610.00 c LP no pivot count 0
3600.02/3610.00 c LP infeasibilities 0
3600.02/3610.00 c LP valid Farkas constraints 0
3600.02/3610.00 c LP learned Farkas constraints 0
3600.02/3610.00 c LP basis resets 0
3600.02/3610.00 c LP cycling count 0
3600.02/3610.00 c LP singular count 0
3600.02/3610.00 c LP no primal count 0
3600.02/3610.00 c LP no farkas count 0
3600.02/3610.00 c LP other issue count 0
3600.02/3610.00 c LP Gomory cuts 0
3600.02/3610.00 c LP learned cuts 0
3600.02/3610.00 c LP deleted cuts 0
3600.02/3610.00 c LP encountered Gomory constraints 0
3600.02/3610.00 c LP encountered Farkas constraints 0
3600.02/3610.00 c LP encountered learned Farkas constraints 0
3600.02/3610.00 c CG auxiliary variables introduced 0
3600.02/3610.00 c CG solutions found 0
3600.02/3610.00 c CG cores constructed 0
3600.02/3610.00 c CG core cardinality constraints returned 0
3600.02/3610.00 c CG unit cores 0
3600.02/3610.00 c CG single cores 0
3600.02/3610.00 c CG blocks removed during cardinality reduction 0
3600.02/3610.00 c CG first core best 0
3600.02/3610.00 c CG decision core best 0
3600.02/3610.00 c CG core reduction tie 0
3600.02/3610.00 c CG core degree average 0.00
3600.02/3610.00 c CG core slack average 0.00
3600.02/3610.00 c CG core upper bound improvements 0
3600.02/3610.00 c STR number of successful calls 0
3600.02/3610.00 c STR number of unsuccessful calls 0
3600.02/3610.00 c STR number of inconclusive calls 0
3600.02/3610.00 c STR number of successful attempts 0
3600.02/3610.00 c STR number of unsuccessful attempts 0
3600.02/3610.00 c STR number of inconclusive attempts 0
3600.02/3610.00 c STR average degree increase per successful call inf
3600.02/3610.00 c STR average degree increase per successful attempt inf
3600.02/3610.00 c STR total number of conflicts for successful attempts 0
3600.02/3610.00 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3610.00 c STR total number of conflicts for inconclusive attempts 0
3600.02/3610.00 c STR average number of conflicts per successful attempt inf
3600.02/3610.00 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3610.00 c STR average number of conflicts per inconclusive attempt inf
3600.02/3610.00 c AVG.sumWPerc -nan
3600.02/3610.00 c bigint constraints 0
3600.02/3610.00 s UNKNOWN
3600.02/3610.00 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 (62802 MiB free)
memory of node 1: 64465 MiB (63654 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521723-1751586310/watcher-4521723-1751586310 -o /tmp/evaluation-result-4521723-1751586310/solver-4521723-1751586310 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751579055-83032 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4521723-1751586310.opb PROOFDIR/proof-4521723-1751586310
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=83960, runsolver pid=83957
[startup+0.100059 s]*
/proc/loadavg: 4.14 4.14 4.11 5/273 83962
/proc/meminfo: memFree=129487820/131249988 swapFree=33010160/33010684
[pid=83960] ppid=83957 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83960/stat : 83960 (run-opt-log.sh) S 83957 83960 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74308523 4292608 768 18446744073709551615 94356008386560 94356009281093 140734870843520 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356009520144 94356009567888 94356011462656 140734870849825 140734870850020 140734870850020 140734870855622 0
/proc/83960/statm: 1048 768 704 219 0 110 0
[pid=83962] ppid=83960 vsize=65948 memory=17048 CPUtime=0.04 cores=4,6
/proc/83962/stat : 83962 (roundingsat) R 83960 83960 83021 0 -1 4194304 2710 0 0 0 4 0 0 0 20 0 1 0 74308524 67530752 4262 18446744073709551615 4227072 8923433 140720921768112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19296256 140720921774418 140720921774632 140720921774632 140720921780202 0
/proc/83962/statm: 16487 4262 2336 1147 0 3914 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 70140 KiB
Current children cumulated memory: 20120 KiB
[startup+0.20542 s]*
/proc/loadavg: 4.14 4.14 4.11 5/273 83962
/proc/meminfo: memFree=129459784/131249988 swapFree=33010160/33010684
[pid=83960] ppid=83957 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83960/stat : 83960 (run-opt-log.sh) S 83957 83960 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74308523 4292608 768 18446744073709551615 94356008386560 94356009281093 140734870843520 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356009520144 94356009567888 94356011462656 140734870849825 140734870850020 140734870850020 140734870855622 0
/proc/83960/statm: 1048 768 704 219 0 110 0
[pid=83962] ppid=83960 vsize=77756 memory=31820 CPUtime=0.15 cores=4,6
/proc/83962/stat : 83962 (roundingsat) R 83960 83960 83021 0 -1 4194304 5879 0 0 0 14 1 0 0 20 0 1 0 74308524 79622144 7955 18446744073709551615 4227072 8923433 140720921768112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19296256 140720921774418 140720921774632 140720921774632 140720921780202 0
/proc/83962/statm: 19439 7955 2368 1147 0 6866 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 81948 KiB
Current children cumulated memory: 34892 KiB
[startup+0.305614 s]*
/proc/loadavg: 4.14 4.14 4.11 5/273 83962
/proc/meminfo: memFree=129452664/131249988 swapFree=33010160/33010684
[pid=83960] ppid=83957 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83960/stat : 83960 (run-opt-log.sh) S 83957 83960 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74308523 4292608 768 18446744073709551615 94356008386560 94356009281093 140734870843520 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356009520144 94356009567888 94356011462656 140734870849825 140734870850020 140734870850020 140734870855622 0
/proc/83960/statm: 1048 768 704 219 0 110 0
[pid=83962] ppid=83960 vsize=90384 memory=42472 CPUtime=0.25 cores=4,6
/proc/83962/stat : 83962 (roundingsat) R 83960 83960 83021 0 -1 4194304 8016 0 0 0 24 1 0 0 20 0 1 0 74308524 92553216 10618 18446744073709551615 4227072 8923433 140720921768112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19296256 140720921774418 140720921774632 140720921774632 140720921780202 0
/proc/83962/statm: 22596 10618 2368 1147 0 10023 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 94576 KiB
Current children cumulated memory: 45544 KiB
[startup+0.700214 s]
/proc/loadavg: 4.14 4.14 4.11 5/273 83962
/proc/meminfo: memFree=129416628/131249988 swapFree=33010160/33010684
[pid=83960] ppid=83957 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83960/stat : 83960 (run-opt-log.sh) S 83957 83960 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74308523 4292608 768 18446744073709551615 94356008386560 94356009281093 140734870843520 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356009520144 94356009567888 94356011462656 140734870849825 140734870850020 140734870850020 140734870855622 0
/proc/83960/statm: 1048 768 704 219 0 110 0
[pid=83962] ppid=83960 vsize=111952 memory=59512 CPUtime=0.64 cores=4,6
/proc/83962/stat : 83962 (roundingsat) R 83960 83960 83021 0 -1 4194304 11775 0 0 0 62 2 0 0 20 0 1 0 74308524 114638848 14878 18446744073709551615 4227072 8923433 140720921768112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19296256 140720921774418 140720921774632 140720921774632 140720921780202 0
/proc/83962/statm: 27988 14878 2368 1147 0 15415 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 116144 KiB
Current children cumulated memory: 62584 KiB
[startup+1.50018 s]
/proc/loadavg: 4.14 4.14 4.11 5/273 83962
/proc/meminfo: memFree=129356208/131249988 swapFree=33010160/33010684
[pid=83960] ppid=83957 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83960/stat : 83960 (run-opt-log.sh) S 83957 83960 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74308523 4292608 768 18446744073709551615 94356008386560 94356009281093 140734870843520 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356009520144 94356009567888 94356011462656 140734870849825 140734870850020 140734870850020 140734870855622 0
/proc/83960/statm: 1048 768 704 219 0 110 0
[pid=83962] ppid=83960 vsize=121036 memory=70208 CPUtime=1.44 cores=4,6
/proc/83962/stat : 83962 (roundingsat) R 83960 83960 83021 0 -1 4194304 13443 0 0 0 140 4 0 0 20 0 1 0 74308524 123940864 17552 18446744073709551615 4227072 8923433 140720921768112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19296256 140720921774418 140720921774632 140720921774632 140720921780202 0
/proc/83962/statm: 30259 17552 2368 1147 0 17686 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 125228 KiB
Current children cumulated memory: 73280 KiB
[startup+3.10547 s]
/proc/loadavg: 4.14 4.14 4.11 5/273 83962
/proc/meminfo: memFree=129235268/131249988 swapFree=33010160/33010684
[pid=83960] ppid=83957 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83960/stat : 83960 (run-opt-log.sh) S 83957 83960 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74308523 4292608 768 18446744073709551615 94356008386560 94356009281093 140734870843520 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356009520144 94356009567888 94356011462656 140734870849825 140734870850020 140734870850020 140734870855622 0
/proc/83960/statm: 1048 768 704 219 0 110 0
[pid=83962] ppid=83960 vsize=121036 memory=74384 CPUtime=3.03 cores=4,6
/proc/83962/stat : 83962 (roundingsat) R 83960 83960 83021 0 -1 4194304 13965 0 0 0 297 6 0 0 20 0 1 0 74308524 123940864 18596 18446744073709551615 4227072 8923433 140720921768112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19296256 140720921774418 140720921774632 140720921774632 140720921780202 0
/proc/83962/statm: 30259 18596 2368 1147 0 17686 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 125228 KiB
Current children cumulated memory: 77456 KiB
[startup+6.30019 s]
/proc/loadavg: 4.12 4.13 4.10 5/273 83962
/proc/meminfo: memFree=129110776/131249988 swapFree=33010160/33010684
[pid=83960] ppid=83957 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83960/stat : 83960 (run-opt-log.sh) S 83957 83960 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74308523 4292608 768 18446744073709551615 94356008386560 94356009281093 140734870843520 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356009520144 94356009567888 94356011462656 140734870849825 140734870850020 140734870850020 140734870855622 0
/proc/83960/statm: 1048 768 704 219 0 110 0
[pid=83962] ppid=83960 vsize=166016 memory=105028 CPUtime=6.22 cores=4,6
/proc/83962/stat : 83962 (roundingsat) R 83960 83960 83021 0 -1 4194304 19579 0 0 0 610 12 0 0 20 0 1 0 74308524 170000384 26257 18446744073709551615 4227072 8923433 140720921768112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19296256 140720921774418 140720921774632 140720921774632 140720921780202 0
/proc/83962/statm: 41504 26257 2368 1147 0 28931 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 170208 KiB
Current children cumulated memory: 108100 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.13 4.10 5/273 83962
/proc/meminfo: memFree=128993592/131249988 swapFree=33010160/33010684
[pid=83960] ppid=83957 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83960/stat : 83960 (run-opt-log.sh) S 83957 83960 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74308523 4292608 768 18446744073709551615 94356008386560 94356009281093 140734870843520 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356009520144 94356009567888 94356011462656 140734870849825 140734870850020 140734870850020 140734870855622 0
/proc/83960/statm: 1048 768 704 219 0 110 0
[pid=83962] ppid=83960 vsize=173460 memory=113476 CPUtime=12.6 cores=4,6
/proc/83962/stat : 83962 (roundingsat) R 83960 83960 83021 0 -1 4194304 21696 0 0 0 1242 18 0 0 20 0 1 0 74308524 177623040 28369 18446744073709551615 4227072 8923433 140720921768112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19296256 140720921774418 140720921774632 140720921774632 140720921780202 0
/proc/83962/statm: 43365 28369 2368 1147 0 30792 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 177652 KiB
Current children cumulated memory: 116548 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.14 4.11 5/273 83962
/proc/meminfo: memFree=128686644/131249988 swapFree=33010160/33010684
[pid=83960] ppid=83957 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83960/stat : 83960 (run-opt-log.sh) S 83957 83960 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74308523 4292608 768 18446744073709551615 94356008386560 94356009281093 140734870843520 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356009520144 94356009567888 94356011462656 140734870849825 140734870850020 140734870850020 140734870855622 0
/proc/83960/statm: 1048 768 704 219 0 110 0
[pid=83962] ppid=83960 vsize=193916 memory=124604 CPUtime=25.36 cores=4,6
/proc/83962/stat : 83962 (roundingsat) R 83960 83960 83021 0 -1 4194304 23451 0 0 0 2505 31 0 0 20 0 1 0 74308524 198569984 31151 18446744073709551615 4227072 8923433 140720921768112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19296256 140720921774418 140720921774632 140720921774632 140720921780202 0
/proc/83962/statm: 48479 31151 2368 1147 0 35906 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 198108 KiB
Current children cumulated memory: 127676 KiB
[startup+51.1059 s]
/proc/loadavg: 4.11 4.13 4.10 5/273 83962
/proc/meminfo: memFree=128338212/131249988 swapFree=33010160/33010684
[pid=83960] ppid=83957 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83960/stat : 83960 (run-opt-log.sh) S 83957 83960 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74308523 4292608 768 18446744073709551615 94356008386560 94356009281093 140734870843520 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356009520144 94356009567888 94356011462656 140734870849825 140734870850020 140734870850020 140734870855622 0
/proc/83960/statm: 1048 768 704 219 0 110 0
[pid=83962] ppid=83960 vsize=222848 memory=153372 CPUtime=50.91 cores=4,6
/proc/83962/stat : 83962 (roundingsat) R 83960 83960 83021 0 -1 4194304 28622 0 0 0 5035 56 0 0 20 0 1 0 74308524 228196352 38343 18446744073709551615 4227072 8923433 140720921768112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19296256 140720921774418 140720921774632 140720921774632 140720921780202 0
/proc/83962/statm: 55712 38343 2368 1147 0 43139 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 227040 KiB
Current children cumulated memory: 156444 KiB
[startup+102.3 s]
/proc/loadavg: 4.36 4.20 4.13 5/273 83964
/proc/meminfo: memFree=127697464/131249988 swapFree=33010160/33010684
[pid=83960] ppid=83957 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83960/stat : 83960 (run-opt-log.sh) S 83957 83960 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74308523 4292608 768 18446744073709551615 94356008386560 94356009281093 140734870843520 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356009520144 94356009567888 94356011462656 140734870849825 140734870850020 140734870850020 140734870855622 0
/proc/83960/statm: 1048 768 704 219 0 110 0
[pid=83962] ppid=83960 vsize=280040 memory=189676 CPUtime=101.95 cores=4,6
/proc/83962/stat : 83962 (roundingsat) R 83960 83960 83021 0 -1 4194304 35140 0 0 0 10085 110 0 0 20 0 1 0 74308524 286760960 47419 18446744073709551615 4227072 8923433 140720921768112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19296256 140720921774418 140720921774632 140720921774632 140720921780202 0
/proc/83962/statm: 70010 47419 2368 1147 0 57437 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 284232 KiB
Current children cumulated memory: 192748 KiB
[startup+162.3 s]
/proc/loadavg: 4.24 4.19 4.13 5/272 83972
/proc/meminfo: memFree=126978540/131249988 swapFree=33010160/33010684
[pid=83960] ppid=83957 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83960/stat : 83960 (run-opt-log.sh) S 83957 83960 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74308523 4292608 768 18446744073709551615 94356008386560 94356009281093 140734870843520 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356009520144 94356009567888 94356011462656 140734870849825 140734870850020 140734870850020 140734870855622 0
/proc/83960/statm: 1048 768 704 219 0 110 0
[pid=83962] ppid=83960 vsize=285840 memory=203428 CPUtime=161.78 cores=4,6
/proc/83962/stat : 83962 (roundingsat) R 83960 83960 83021 0 -1 4194304 36526 0 0 0 16012 166 0 0 20 0 1 0 74308524 292700160 50857 18446744073709551615 4227072 8923433 140720921768112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19296256 140720921774418 140720921774632 140720921774632 140720921780202 0
/proc/83962/statm: 71460 50857 2368 1147 0 58887 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 290032 KiB
Current children cumulated memory: 206500 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.17 4.12 5/271 83974
/proc/meminfo: memFree=126562328/131249988 swapFree=33010160/33010684
[pid=83960] ppid=83957 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83960/stat : 83960 (run-opt-log.sh) S 83957 83960 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74308523 4292608 768 18446744073709551615 94356008386560 94356009281093 140734870843520 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356009520144 94356009567888 94356011462656 140734870849825 140734870850020 140734870850020 140734870855622 0
/proc/83960/statm: 1048 768 704 219 0 110 0
[pid=83962] ppid=83960 vsize=305440 memory=222176 CPUtime=221.6 cores=4,6
/proc/83962/stat : 83962 (roundingsat) R 83960 83960 83021 0 -1 4194304 40722 0 0 0 21948 212 0 0 20 0 1 0 74308524 312770560 55544 18446744073709551615 4227072 8923433 140720921768112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19296256 140720921774418 140720921774632 140720921774632 140720921780202 0
################
# More data... #
################
/proc/83962/statm: 155434 120383 2368 1147 0 142861 0
Current children cumulated CPU time: 3033.87 s
Current children cumulated vsize: 625928 KiB
Current children cumulated memory: 484604 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/270 84124
/proc/meminfo: memFree=108258956/131249988 swapFree=33010160/33010684
[pid=83960] ppid=83957 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83960/stat : 83960 (run-opt-log.sh) S 83957 83960 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74308523 4292608 768 18446744073709551615 94356008386560 94356009281093 140734870843520 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356009520144 94356009567888 94356011462656 140734870849825 140734870850020 140734870850020 140734870855622 0
/proc/83960/statm: 1048 768 704 219 0 110 0
[pid=83962] ppid=83960 vsize=627516 memory=515900 CPUtime=3093.7 cores=4,6
/proc/83962/stat : 83962 (roundingsat) R 83960 83960 83021 0 -1 4194304 76973 0 0 0 307857 1513 0 0 20 0 1 0 74308524 642576384 128975 18446744073709551615 4227072 8923433 140720921768112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19296256 140720921774418 140720921774632 140720921774632 140720921780202 0
/proc/83962/statm: 156879 128975 2368 1147 0 144306 0
Current children cumulated CPU time: 3093.7 s
Current children cumulated vsize: 631708 KiB
Current children cumulated memory: 518972 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/271 84133
/proc/meminfo: memFree=108009592/131249988 swapFree=33010160/33010684
[pid=83960] ppid=83957 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83960/stat : 83960 (run-opt-log.sh) S 83957 83960 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74308523 4292608 768 18446744073709551615 94356008386560 94356009281093 140734870843520 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356009520144 94356009567888 94356011462656 140734870849825 140734870850020 140734870850020 140734870855622 0
/proc/83960/statm: 1048 768 704 219 0 110 0
[pid=83962] ppid=83960 vsize=627516 memory=517948 CPUtime=3153.53 cores=4,6
/proc/83962/stat : 83962 (roundingsat) R 83960 83960 83021 0 -1 4194304 76999 0 0 0 313815 1538 0 0 20 0 1 0 74308524 642576384 129487 18446744073709551615 4227072 8923433 140720921768112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19296256 140720921774418 140720921774632 140720921774632 140720921780202 0
/proc/83962/statm: 156879 129487 2368 1147 0 144306 0
Current children cumulated CPU time: 3153.53 s
Current children cumulated vsize: 631708 KiB
Current children cumulated memory: 521020 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/271 84135
/proc/meminfo: memFree=107718364/131249988 swapFree=33010160/33010684
[pid=83960] ppid=83957 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83960/stat : 83960 (run-opt-log.sh) S 83957 83960 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74308523 4292608 768 18446744073709551615 94356008386560 94356009281093 140734870843520 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356009520144 94356009567888 94356011462656 140734870849825 140734870850020 140734870850020 140734870855622 0
/proc/83960/statm: 1048 768 704 219 0 110 0
[pid=83962] ppid=83960 vsize=627516 memory=517948 CPUtime=3213.38 cores=4,6
/proc/83962/stat : 83962 (roundingsat) R 83960 83960 83021 0 -1 4194304 77005 0 0 0 319779 1559 0 0 20 0 1 0 74308524 642576384 129487 18446744073709551615 4227072 8923433 140720921768112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19296256 140720921774418 140720921774632 140720921774632 140720921780202 0
/proc/83962/statm: 156879 129487 2368 1147 0 144306 0
Current children cumulated CPU time: 3213.38 s
Current children cumulated vsize: 631708 KiB
Current children cumulated memory: 521020 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/271 84137
/proc/meminfo: memFree=107422852/131249988 swapFree=33010160/33010684
[pid=83960] ppid=83957 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83960/stat : 83960 (run-opt-log.sh) S 83957 83960 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74308523 4292608 768 18446744073709551615 94356008386560 94356009281093 140734870843520 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356009520144 94356009567888 94356011462656 140734870849825 140734870850020 140734870850020 140734870855622 0
/proc/83960/statm: 1048 768 704 219 0 110 0
[pid=83962] ppid=83960 vsize=627516 memory=517948 CPUtime=3273.21 cores=4,6
/proc/83962/stat : 83962 (roundingsat) R 83960 83960 83021 0 -1 4194304 77005 0 0 0 325740 1581 0 0 20 0 1 0 74308524 642576384 129487 18446744073709551615 4227072 8923433 140720921768112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19296256 140720921774418 140720921774632 140720921774632 140720921780202 0
/proc/83962/statm: 156879 129487 2368 1147 0 144306 0
Current children cumulated CPU time: 3273.21 s
Current children cumulated vsize: 631708 KiB
Current children cumulated memory: 521020 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/271 84139
/proc/meminfo: memFree=107112976/131249988 swapFree=33010160/33010684
[pid=83960] ppid=83957 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83960/stat : 83960 (run-opt-log.sh) S 83957 83960 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74308523 4292608 768 18446744073709551615 94356008386560 94356009281093 140734870843520 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356009520144 94356009567888 94356011462656 140734870849825 140734870850020 140734870850020 140734870855622 0
/proc/83960/statm: 1048 768 704 219 0 110 0
[pid=83962] ppid=83960 vsize=629828 memory=519484 CPUtime=3333.05 cores=4,6
/proc/83962/stat : 83962 (roundingsat) R 83960 83960 83021 0 -1 4194304 77371 0 0 0 331706 1599 0 0 20 0 1 0 74308524 644943872 129871 18446744073709551615 4227072 8923433 140720921768112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19296256 140720921774418 140720921774632 140720921774632 140720921780202 0
/proc/83962/statm: 157457 129871 2368 1147 0 144884 0
Current children cumulated CPU time: 3333.05 s
Current children cumulated vsize: 634020 KiB
Current children cumulated memory: 522556 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/270 84141
/proc/meminfo: memFree=106798756/131249988 swapFree=33010160/33010684
[pid=83960] ppid=83957 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83960/stat : 83960 (run-opt-log.sh) S 83957 83960 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74308523 4292608 768 18446744073709551615 94356008386560 94356009281093 140734870843520 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356009520144 94356009567888 94356011462656 140734870849825 140734870850020 140734870850020 140734870855622 0
/proc/83960/statm: 1048 768 704 219 0 110 0
[pid=83962] ppid=83960 vsize=629828 memory=519484 CPUtime=3392.9 cores=4,6
/proc/83962/stat : 83962 (roundingsat) R 83960 83960 83021 0 -1 4194304 77371 0 0 0 337673 1617 0 0 20 0 1 0 74308524 644943872 129871 18446744073709551615 4227072 8923433 140720921768112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19296256 140720921774418 140720921774632 140720921774632 140720921780202 0
/proc/83962/statm: 157457 129871 2368 1147 0 144884 0
Current children cumulated CPU time: 3392.9 s
Current children cumulated vsize: 634020 KiB
Current children cumulated memory: 522556 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/272 84146
/proc/meminfo: memFree=106551584/131249988 swapFree=33010160/33010684
[pid=83960] ppid=83957 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83960/stat : 83960 (run-opt-log.sh) S 83957 83960 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74308523 4292608 768 18446744073709551615 94356008386560 94356009281093 140734870843520 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356009520144 94356009567888 94356011462656 140734870849825 140734870850020 140734870850020 140734870855622 0
/proc/83960/statm: 1048 768 704 219 0 110 0
[pid=83962] ppid=83960 vsize=629828 memory=519484 CPUtime=3452.72 cores=4,6
/proc/83962/stat : 83962 (roundingsat) R 83960 83960 83021 0 -1 4194304 77373 0 0 0 343630 1642 0 0 20 0 1 0 74308524 644943872 129871 18446744073709551615 4227072 8923433 140720921768112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19296256 140720921774418 140720921774632 140720921774632 140720921780202 0
/proc/83962/statm: 157457 129871 2368 1147 0 144884 0
Current children cumulated CPU time: 3452.72 s
Current children cumulated vsize: 634020 KiB
Current children cumulated memory: 522556 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/272 84148
/proc/meminfo: memFree=106276344/131249988 swapFree=33010160/33010684
[pid=83960] ppid=83957 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83960/stat : 83960 (run-opt-log.sh) S 83957 83960 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74308523 4292608 768 18446744073709551615 94356008386560 94356009281093 140734870843520 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356009520144 94356009567888 94356011462656 140734870849825 140734870850020 140734870850020 140734870855622 0
/proc/83960/statm: 1048 768 704 219 0 110 0
[pid=83962] ppid=83960 vsize=629828 memory=519484 CPUtime=3512.57 cores=4,6
/proc/83962/stat : 83962 (roundingsat) R 83960 83960 83021 0 -1 4194304 77374 0 0 0 349592 1665 0 0 20 0 1 0 74308524 644943872 129871 18446744073709551615 4227072 8923433 140720921768112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19296256 140720921774418 140720921774632 140720921774632 140720921780202 0
/proc/83962/statm: 157457 129871 2368 1147 0 144884 0
Current children cumulated CPU time: 3512.57 s
Current children cumulated vsize: 634020 KiB
Current children cumulated memory: 522556 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/272 84150
/proc/meminfo: memFree=105995384/131249988 swapFree=33010160/33010684
[pid=83960] ppid=83957 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83960/stat : 83960 (run-opt-log.sh) S 83957 83960 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74308523 4292608 768 18446744073709551615 94356008386560 94356009281093 140734870843520 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356009520144 94356009567888 94356011462656 140734870849825 140734870850020 140734870850020 140734870855622 0
/proc/83960/statm: 1048 768 704 219 0 110 0
[pid=83962] ppid=83960 vsize=629828 memory=519484 CPUtime=3572.4 cores=4,6
/proc/83962/stat : 83962 (roundingsat) R 83960 83960 83021 0 -1 4194304 77414 0 0 0 355549 1691 0 0 20 0 1 0 74308524 644943872 129871 18446744073709551615 4227072 8923433 140720921768112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19296256 140720921774418 140720921774632 140720921774632 140720921780202 0
/proc/83962/statm: 157457 129871 2368 1147 0 144884 0
Current children cumulated CPU time: 3572.4 s
Current children cumulated vsize: 634020 KiB
Current children cumulated memory: 522556 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 3.96 4.08 4.08 3/252 84239
/proc/meminfo: memFree=119606132/131249988 swapFree=33010160/33010684
[pid=83960] ppid=83957 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/83960/stat : 83960 (run-opt-log.sh) S 83957 83960 83021 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74308523 4292608 768 18446744073709551615 94356008386560 94356009281093 140734870843520 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94356009520144 94356009567888 94356011462656 140734870849825 140734870850020 140734870850020 140734870855622 0
/proc/83960/statm: 1048 768 704 219 0 110 0
[pid=83962] ppid=83960 vsize=629828 memory=519484 CPUtime=3600.02 cores=4,6
/proc/83962/stat : 83962 (roundingsat) R 83960 83960 83021 0 -1 4194304 77424 0 0 0 358297 1705 0 0 20 0 1 0 74308524 644943872 129871 18446744073709551615 4227072 8923433 140720921768112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19296256 140720921774418 140720921774632 140720921774632 140720921780202 0
/proc/83962/statm: 157457 129871 2368 1147 0 144884 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 634020 KiB
Current children cumulated memory: 522556 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.01 s]
# the end of solver process 83960 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001024 s, system=0.001001 s
[startup+3610.03 s]
# the end of solver process 83962 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3582.98 s, system=17.0585 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.03
CPU time (s): 3600.04
CPU user time (s): 3582.98
CPU system time (s): 17.0585
CPU usage (%): 99.7233
Max. virtual memory (cumulated for all children) (KiB): 634020
Max. memory (cumulated for all children) (KiB): 522556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.98
system time used= 17.0585
maximum resident set size= 519868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77655
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8300968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 511
involuntary context switches= 22347
# summary of solver processes directly reported to runsolver:
# pid: 83960,83962
# total CPU time (s): 3600.04
# total CPU user time (s): 3582.98
# total CPU system time (s): 17.0585
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.32826 second user time and 17.0883 second system time
The end
Begin job on nodeC020 at 2025-07-04 01:45:10
IDJOB=4521723
IDBENCH=178419
IDSOLVER=3351
FILE ID=nodeC020/4521723-1751586310
RUNJOBID= nodeC020-1751579055-83032
SLURM_JOB_ID= 9598813
Free space on /tmp= 431756 MiB
SOLVER NAME= roundingsat-ihs-log 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-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521723-1751586310/watcher-4521723-1751586310 -o /tmp/evaluation-result-4521723-1751586310/solver-4521723-1751586310 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751579055-83032 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4521723-1751586310.opb PROOFDIR/proof-4521723-1751586310
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8fca3dbbdb1005f2017732e8199f3266
RANDOM SEED=1389317034
nodeC020 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 : 3599.889
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.783
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
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 : 3602.687
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.934
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.893
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.903
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
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 : 3598.731
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 129515604 kB
MemAvailable: 129563320 kB
Buffers: 2128 kB
Cached: 839824 kB
SwapCached: 8 kB
Active: 837572 kB
Inactive: 274352 kB
Active(anon): 263504 kB
Inactive(anon): 24568 kB
Active(file): 574068 kB
Inactive(file): 249784 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 45812 kB
Writeback: 8 kB
AnonPages: 273128 kB
Mapped: 117308 kB
Shmem: 18044 kB
KReclaimable: 126208 kB
Slab: 219072 kB
SReclaimable: 126208 kB
SUnreclaim: 92864 kB
KernelStack: 4368 kB
PageTables: 3704 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 628152 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 51200 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= 431764 MiB
End job on nodeC020 at 2025-07-04 02:45:20