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