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