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