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