(1,30) (2,21) (3,27) (4,24) (5,23) (6,26) (7,18) (8,20) (9,17) (11,25) (12,22) (13,16) (15,29) 
nodes: 1485  conflicts: 57  modelTime: 657  solveTime: 1223  totalTime: 1887  modelSize: 41292  readTime: 7 size: 13