(1,28) (2,25) (3,30) (4,17) (6,18) (7,27) (8,24) (9,22) (10,21) (11,26) (12,16) (13,23) (14,19) (15,29) 
nodes: 2264  conflicts: 46  modelTime: 658  solveTime: 2755  totalTime: 3419  modelSize: 41293  readTime: 6 size: 14