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