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