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