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