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