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