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