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