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