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