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