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