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