(1,17) (2,29) (3,28) (4,21) (5,25) (6,24) (7,12) (8,18) (9,20) (10,19) (11,26) (13,23) (14,22) (15,16) (27,30) 
nodes: 497353  conflicts: 29  modelTime: 1641  solveTime: 2391169  totalTime: 2392846  modelSize: 72285  readTime: 35 size: 15