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