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