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