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