(1,24) (4,30) (6,20) (7,27) (8,29) (9,16) (12,26) (13,28) (15,21) 
nodes: 401  conflicts: 83  modelTime: 674  solveTime: 715  totalTime: 1396  modelSize: 41301  readTime: 7 size: 9