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