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