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