(1,28) (2,21) (3,18) (6,26) (7,17) (8,29) (9,19) (10,23) (11,24) (13,16) (14,25) (15,30) 
nodes: 519  conflicts: 67  modelTime: 664  solveTime: 625  totalTime: 1295  modelSize: 41300  readTime: 6 size: 12