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