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