(2,6) (3,21) (4,22) (5,9) (8,14) (10,20) (11,26) (13,28) (15,29) (16,23) (17,25) (18,19) 
nodes: 27061  conflicts: 79  modelTime: 1503  solveTime: 104964  totalTime: 106482  modelSize: 72263  readTime: 15 size: 12