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