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