(1,26) (2,27) (4,30) (5,20) (6,12) (7,21) (8,25) (9,16) (10,29) (11,15) (14,17) (18,28) (19,22) (23,24) 
nodes: 5144  conflicts: 38  modelTime: 1203  solveTime: 21978  totalTime: 23200  modelSize: 72264  readTime: 19 size: 14