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