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