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