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