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