(1,3) (2,14) (4,21) (5,25) (7,20) (8,22) (9,30) (10,19) (12,17) (13,27) (15,24) (16,18) (23,28) (26,29) 
nodes: 40171  conflicts: 69  modelTime: 947  solveTime: 139671  totalTime: 140630  modelSize: 72262  readTime: 11 size: 14