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