(1,3) (2,24) (4,19) (5,27) (6,18) (7,21) (8,15) (9,10) (11,17) (12,30) (13,20) (14,26) (16,29) (22,23) (25,28) 
nodes: 18712  conflicts: 9  modelTime: 1148  solveTime: 91890  totalTime: 93095  modelSize: 72263  readTime: 57 size: 15