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