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