(1,8) (2,26) (3,19) (4,21) (5,15) (6,10) (7,24) (9,18) (11,20) (12,22) (13,28) (14,23) (16,29) (17,25) (27,30) 
nodes: 20174  conflicts: 3  modelTime: 1679  solveTime: 145930  totalTime: 147622  modelSize: 72338  readTime: 13 size: 15