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