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