(1,26) (4,19) (5,21) (7,29) (8,28) (9,24) (10,22) (12,30) (14,25) (15,16) 
nodes: 472  conflicts: 90  modelTime: 676  solveTime: 442  totalTime: 1125  modelSize: 41300  readTime: 7 size: 10