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