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