(1,17) (2,28) (3,20) (4,23) (5,16) (6,26) (7,27) (8,30) (9,24) (10,29) (11,19) (12,21) (13,25) (14,18) (15,22) 
nodes: 81174  conflicts: 12  modelTime: 817  solveTime: 123785  totalTime: 124610  modelSize: 41293  readTime: 8 size: 15