(1,24) (3,16) (4,17) (5,26) (7,18) (8,30) (9,23) (11,25) (13,22) (14,20) (15,29) 
nodes: 519  conflicts: 56  modelTime: 665  solveTime: 718  totalTime: 1390  modelSize: 41300  readTime: 7 size: 11