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