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