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