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