(1,23) (2,30) (3,22) (4,27) (5,10) (6,29) (7,12) (8,16) (9,25) (11,19) (13,28) (14,18) (15,26) (17,21) (20,24) 
nodes: 73542  conflicts: 42  modelTime: 1710  solveTime: 263770  totalTime: 265499  modelSize: 72263  readTime: 19 size: 15