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