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