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