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