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