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