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