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