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