(1,21) (3,18) (4,25) (5,24) (6,22) (7,17) (8,30) (10,16) (12,27) (13,19) (14,28) (15,20) 
nodes: 645  conflicts: 63  modelTime: 672  solveTime: 880  totalTime: 1559  modelSize: 41300  readTime: 7 size: 12