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