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