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