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