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