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