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