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