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