(1,23) (2,18) (3,30) (4,21) (5,17) (6,24) (7,25) (8,27) (10,26) (11,16) (12,20) (13,28) (14,29) (15,22) 
nodes: 1279  conflicts: 55  modelTime: 665  solveTime: 1676  totalTime: 2348  modelSize: 41293  readTime: 7 size: 14