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