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