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