(1,16) (2,24) (3,26) (4,30) (5,27) (6,18) (7,25) (8,22) (10,23) (11,21) (12,17) (14,28) (15,19) 
nodes: 2840  conflicts: 52  modelTime: 658  solveTime: 3700  totalTime: 4365  modelSize: 41292  readTime: 7 size: 13