(1,20) (2,8) (3,11) (4,16) (5,21) (7,28) (9,17) (10,18) (12,19) (13,23) (15,24) (25,29) (27,30) 
nodes: 3781  conflicts: 90  modelTime: 1709  solveTime: 15360  totalTime: 17089  modelSize: 72262  readTime: 20 size: 13