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