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