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