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