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