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