(1,28) (2,29) (3,6) (4,10) (5,8) (7,19) (9,18) (11,22) (12,15) (13,23) (14,26) (16,24) (17,25) (20,27) (21,30) 
nodes: 77865  conflicts: 61  modelTime: 1701  solveTime: 303443  totalTime: 305163  modelSize: 72271  readTime: 19 size: 15