(1,20) (2,15) (3,22) (4,23) (5,16) (6,14) (7,10) (8,27) (9,11) (12,29) (13,21) (17,26) (18,28) (19,25) (24,30) 
nodes: 128256  conflicts: 19  modelTime: 1150  solveTime: 546780  totalTime: 548009  modelSize: 72283  readTime: 79 size: 15