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