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