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