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