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