(1,22) (2,18) (3,28) (5,19) (6,13) (8,15) (9,30) (10,26) (11,20) (12,24) (14,27) (17,21) 
nodes: 1430  conflicts: 70  modelTime: 1878  solveTime: 7103  totalTime: 9002  modelSize: 72263  readTime: 21 size: 12