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