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