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