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