(2,16) (3,28) (4,22) (5,24) (6,26) (7,25) (8,30) (10,17) (11,21) (12,19) (13,27) (14,29) (15,23) 
nodes: 2996  conflicts: 58  modelTime: 661  solveTime: 4051  totalTime: 4719  modelSize: 41292  readTime: 7 size: 13