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