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