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