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