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