(1,24) (2,6) (3,8) (4,19) (5,29) (7,20) (9,11) (10,12) (13,22) (14,30) (15,26) (16,28) (17,27) (18,25) (21,23) 
nodes: 19360  conflicts: 23  modelTime: 1706  solveTime: 47376  totalTime: 49102  modelSize: 72262  readTime: 20 size: 15