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