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