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