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