(1,23) (2,25) (3,16) (4,29) (5,19) (6,24) (7,18) (8,21) (10,27) (11,22) (13,30) (14,26) (15,20) 
nodes: 3378  conflicts: 27  modelTime: 657  solveTime: 5452  totalTime: 6116  modelSize: 41298  readTime: 7 size: 13