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