(1,22) (3,14) (5,29) (6,15) (7,8) (9,20) (10,19) (11,13) (12,21) (16,18) (24,26) (27,28) 
nodes: 4182  conflicts: 101  modelTime: 1863  solveTime: 17353  totalTime: 19240  modelSize: 72262  readTime: 24 size: 12