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