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