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