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