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