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