(1,20) (2,17) (3,29) (4,23) (5,26) (6,16) (7,27) (9,21) (10,25) (12,28) (13,19) (14,30) (15,22) 
nodes: 2151  conflicts: 44  modelTime: 657  solveTime: 3658  totalTime: 4322  modelSize: 41292  readTime: 7 size: 13