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