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