(1,15) (2,17) (3,9) (4,22) (5,8) (6,12) (7,18) (10,24) (11,29) (13,19) (14,26) (20,21) (23,28) (25,27) 
nodes: 4271  conflicts: 28  modelTime: 1363  solveTime: 21267  totalTime: 22649  modelSize: 72264  readTime: 19 size: 14