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