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