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