(1,7) (2,18) (3,22) (4,13) (5,30) (6,28) (8,23) (9,17) (10,12) (11,26) (14,15) (16,20) (19,21) (24,27) (25,29) 
nodes: 158249  conflicts: 15  modelTime: 1199  solveTime: 827098  totalTime: 828314  modelSize: 72264  readTime: 17 size: 15