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