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