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