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