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