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