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