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