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