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