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