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