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