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