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