(1,30) (2,29) (3,5) (4,12) (6,11) (7,22) (9,17) (10,26) (13,25) (14,23) (15,27) (16,20) (18,24) (19,28) 
nodes: 360418  conflicts: 39  modelTime: 958  solveTime: 1750329  totalTime: 1751297  modelSize: 72269  readTime: 10 size: 14