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