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