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