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