(1,30) (2,16) (3,20) (4,21) (5,18) (7,26) (8,25) (9,22) (10,24) (11,19) (13,23) (15,17) 
nodes: 1179  conflicts: 82  modelTime: 660  solveTime: 1203  totalTime: 1870  modelSize: 41292  readTime: 7 size: 12