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