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