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