(1,13) (2,20) (3,28) (4,22) (5,10) (6,23) (7,27) (8,15) (9,30) (11,12) (16,18) (17,19) (21,26) (25,29) 
nodes: 20133  conflicts: 34  modelTime: 1721  solveTime: 79288  totalTime: 81028  modelSize: 72265  readTime: 19 size: 14