(1,19) (2,25) (3,18) (4,21) (5,28) (6,27) (7,30) (8,24) (10,26) (12,23) (13,20) (14,16) (15,29) 
nodes: 3473  conflicts: 37  modelTime: 656  solveTime: 5202  totalTime: 5865  modelSize: 41292  readTime: 7 size: 13