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