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