(1,23) (2,24) (3,22) (4,19) (5,29) (6,20) (7,25) (8,27) (9,21) (10,17) (11,28) (13,30) (14,16) (15,18) 
nodes: 3699  conflicts: 38  modelTime: 659  solveTime: 5323  totalTime: 5988  modelSize: 41293  readTime: 6 size: 14