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