(1,19) (2,7) (3,18) (4,6) (5,23) (8,30) (9,20) (10,24) (11,17) (12,13) (14,22) (15,16) (21,27) (25,26) 
nodes: 8231  conflicts: 78  modelTime: 999  solveTime: 16636  totalTime: 17671  modelSize: 72263  readTime: 36 size: 14