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