(1,12) (2,14) (3,29) (4,15) (5,16) (6,10) (7,30) (8,24) (9,27) (11,18) (13,26) (17,20) (19,23) (21,22) (25,28) 
nodes: 50926  conflicts: 24  modelTime: 1197  solveTime: 185962  totalTime: 187192  modelSize: 72265  readTime: 33 size: 15