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