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