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