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