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