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