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