(1,23) (2,16) (4,20) (5,29) (6,17) (7,27) (8,25) (9,19) (10,28) (12,18) (13,30) (14,24) (15,21) 
nodes: 2547  conflicts: 39  modelTime: 659  solveTime: 3416  totalTime: 4081  modelSize: 41292  readTime: 6 size: 13