(1,14) (2,19) (3,13) (6,12) (7,26) (8,16) (9,11) (10,28) (15,22) (17,30) (18,21) (20,23) (24,29) 
nodes: 299  conflicts: 79  modelTime: 949  solveTime: 4094  totalTime: 5054  modelSize: 72262  readTime: 11 size: 13