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