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