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