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