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