(1,20) (2,18) (3,17) (4,16) (5,24) (6,19) (7,22) (8,28) (9,26) (10,29) (12,30) (13,27) (14,25) (15,21) 
nodes: 3167  conflicts: 9  modelTime: 658  solveTime: 5855  totalTime: 6518  modelSize: 41293  readTime: 5 size: 14