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