(1,16) (2,27) (3,21) (5,22) (6,19) (7,20) (8,24) (9,26) (10,30) (11,25) (12,28) (13,17) (14,18) (15,29) 
nodes: 35871  conflicts: 37  modelTime: 692  solveTime: 107614  totalTime: 108359  modelSize: 41293  readTime: 53 size: 14