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