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