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