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