(2,22) (3,17) (4,29) (5,30) (6,27) (8,24) (9,28) (10,19) (12,20) (13,18) (14,16) (15,23) 
nodes: 1589  conflicts: 63  modelTime: 663  solveTime: 1917  totalTime: 2587  modelSize: 41300  readTime: 7 size: 12