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