(1,20) (2,19) (3,30) (4,25) (6,22) (7,29) (8,28) (9,26) (10,21) (11,24) (12,16) (13,17) (14,18) (15,23) 
nodes: 6437  conflicts: 12  modelTime: 1195  solveTime: 20903  totalTime: 22107  modelSize: 41293  readTime: 9 size: 14