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