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