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