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