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