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