(2,29) (4,24) (5,17) (6,22) (7,19) (8,30) (9,18) (10,28) (11,27) (12,26) (13,21) (15,16) 
nodes: 3118  conflicts: 43  modelTime: 665  solveTime: 4828  totalTime: 5499  modelSize: 41293  readTime: 6 size: 12