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