(1,16) (2,21) (3,11) (4,9) (5,28) (7,23) (8,30) (14,17) (15,26) (18,27) (19,20) (22,25) (24,29) 
nodes: 1183  conflicts: 55  modelTime: 966  solveTime: 5753  totalTime: 6731  modelSize: 72262  readTime: 12 size: 13