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