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