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