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