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