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