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