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