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