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