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