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