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