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