(1,7) (2,24) (3,23) (5,18) (6,20) (8,11) (9,17) (10,12) (13,27) (14,30) (15,26) (16,19) (21,29) (25,28) 
nodes: 15944  conflicts: 21  modelTime: 1704  solveTime: 66893  totalTime: 68616  modelSize: 72269  readTime: 19 size: 14