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