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