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