(1,11) (2,5) (3,10) (4,20) (6,29) (8,21) (9,28) (12,16) (13,30) (14,23) (15,22) (17,24) (18,19) (26,27) 
nodes: 862  conflicts: 86  modelTime: 941  solveTime: 4558  totalTime: 5510  modelSize: 72262  readTime: 11 size: 14