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