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