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