(2,30) (3,20) (5,26) (6,16) (7,18) (9,27) (10,25) (12,24) (14,17) 
nodes: 485  conflicts: 88  modelTime: 679  solveTime: 799  totalTime: 1486  modelSize: 41301  readTime: 8 size: 9