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