(1,22) (2,17) (3,18) (4,26) (5,16) (7,25) (9,23) (10,30) (12,29) (14,21) (15,20) 
nodes: 1361  conflicts: 74  modelTime: 666  solveTime: 1548  totalTime: 2221  modelSize: 41300  readTime: 7 size: 11