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