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