(1,21) (2,22) (3,16) (4,23) (5,19) (6,26) (7,18) (8,17) (9,28) (10,30) (12,29) (13,20) (14,27) (15,25) 
nodes: 4288  conflicts: 13  modelTime: 1189  solveTime: 13878  totalTime: 15076  modelSize: 41292  readTime: 9 size: 14