(1,13) (2,26) (3,5) (6,24) (7,29) (8,11) (9,27) (10,16) (12,20) (14,21) (18,22) (19,25) (23,28) 
nodes: 36511  conflicts: 69  modelTime: 1715  solveTime: 135595  totalTime: 137330  modelSize: 72263  readTime: 20 size: 13