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