(3,23) (5,26) (6,27) (7,22) (8,25) (9,16) (10,19) (11,30) (13,29) (14,21) (15,18) 
nodes: 601  conflicts: 74  modelTime: 674  solveTime: 920  totalTime: 1601  modelSize: 41300  readTime: 7 size: 11