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