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