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