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