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