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