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