(1,30) (2,15) (3,24) (4,16) (5,10) (6,25) (7,17) (8,20) (9,26) (11,12) (13,22) (14,27) (18,28) (19,29) (21,23) 
nodes: 112131  conflicts: 47  modelTime: 1713  solveTime: 440025  totalTime: 441757  modelSize: 72269  readTime: 19 size: 15