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