(1,29) (2,11) (3,26) (4,13) (5,27) (6,25) (7,21) (9,15) (10,14) (16,22) (17,20) (18,23) (19,30) (24,28) 
nodes: 28137  conflicts: 59  modelTime: 1030  solveTime: 117417  totalTime: 118458  modelSize: 72262  readTime: 11 size: 14