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