(1,20) (2,22) (3,4) (5,24) (6,21) (7,11) (8,27) (9,29) (10,28) (12,23) (13,26) (14,18) (15,16) (19,30) 
nodes: 18962  conflicts: 76  modelTime: 939  solveTime: 34850  totalTime: 35800  modelSize: 72262  readTime: 11 size: 14