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