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