(1,22) (2,27) (3,21) (4,17) (5,24) (7,18) (8,26) (9,25) (10,16) (11,29) (12,28) (13,19) (15,20) 
nodes: 2857  conflicts: 36  modelTime: 661  solveTime: 4740  totalTime: 5408  modelSize: 41292  readTime: 7 size: 13