(4,18) (5,17) (6,26) (7,24) (8,20) (9,22) (12,21) (13,30) (14,16) 
nodes: 693  conflicts: 76  modelTime: 667  solveTime: 799  totalTime: 1481  modelSize: 41301  readTime: 15 size: 9