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