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