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