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