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