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