(1,19) (3,30) (4,26) (5,23) (6,22) (7,21) (8,20) (9,27) (10,24) (13,28) (15,18) 
nodes: 776  conflicts: 65  modelTime: 689  solveTime: 680  totalTime: 1377  modelSize: 41300  readTime: 8 size: 11