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