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