(1,26) (3,17) (4,7) (5,21) (6,14) (8,28) (9,29) (10,22) (11,24) (12,27) (13,20) (15,16) (18,19) (25,30) 
nodes: 68613  conflicts: 30  modelTime: 1725  solveTime: 285061  totalTime: 286805  modelSize: 72263  readTime: 19 size: 14