(1,19) (2,24) (3,28) (4,16) (5,26) (6,21) (7,17) (8,18) (9,29) (10,20) (11,27) (12,23) (13,30) (14,25) (15,22) 
nodes: 3259  conflicts: 11  modelTime: 1187  solveTime: 8457  totalTime: 9653  modelSize: 41293  readTime: 9 size: 15