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