(1,30) (2,24) (3,21) (5,16) (7,18) (10,26) (12,19) (13,27) (14,25) (15,20) 
nodes: 705  conflicts: 89  modelTime: 668  solveTime: 816  totalTime: 1491  modelSize: 41301  readTime: 7 size: 10