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