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