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