(1,24) (2,13) (3,20) (4,19) (5,27) (6,9) (7,15) (8,14) (10,25) (11,21) (12,22) (16,28) (17,29) (18,26) (23,30) 
nodes: 25487  conflicts: 6  modelTime: 949  solveTime: 122260  totalTime: 123327  modelSize: 72264  readTime: 118 size: 15