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