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