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