(1,22) (2,19) (3,12) (4,27) (5,14) (6,7) (8,16) (9,15) (10,18) (11,17) (13,20) (23,24) (26,28) (29,30) 
nodes: 76025  conflicts: 77  modelTime: 1029  solveTime: 155932  totalTime: 156972  modelSize: 72263  readTime: 11 size: 14