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