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