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