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