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