(3,19) (4,22) (5,27) (6,21) (8,24) (9,20) (10,29) (11,16) (12,28) (13,18) (14,23) (15,25) 
nodes: 318  conflicts: 67  modelTime: 669  solveTime: 570  totalTime: 1247  modelSize: 41300  readTime: 7 size: 12