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