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