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