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