(1,8) (2,13) (4,24) (5,16) (6,7) (9,23) (10,14) (11,22) (12,28) (15,27) (17,20) (18,19) (21,25) (26,29) 
nodes: 2796  conflicts: 69  modelTime: 1780  solveTime: 15036  totalTime: 16841  modelSize: 72264  readTime: 24 size: 14