(1,11) (2,15) (3,10) (4,30) (5,22) (6,24) (7,8) (9,14) (12,23) (13,28) (16,18) (17,26) (19,29) (20,21) (25,27) 
nodes: 63811  conflicts: 26  modelTime: 1730  solveTime: 241582  totalTime: 243351  modelSize: 72275  readTime: 38 size: 15