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