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