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