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