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