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