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