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