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