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