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