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