(1,20) (2,16) (3,22) (5,23) (6,19) (7,30) (8,17) (9,26) (10,27) (11,29) (12,25) (13,21) (14,28) (15,24) 
nodes: 42345  conflicts: 22  modelTime: 1187  solveTime: 137479  totalTime: 138675  modelSize: 41292  readTime: 9 size: 14