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