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