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