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