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