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