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