(1,21) (2,19) (3,24) (4,30) (5,18) (6,20) (7,26) (8,28) (9,22) (10,27) (12,29) (13,16) (14,23) (15,25) 
nodes: 23628  conflicts: 38  modelTime: 660  solveTime: 45426  totalTime: 46093  modelSize: 41293  readTime: 7 size: 14