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