(1,26) (2,9) (3,18) (4,19) (5,20) (6,15) (7,13) (8,30) (10,23) (11,24) (12,22) (14,25) (16,27) (17,21) (28,29) 
nodes: 33089  conflicts: 50  modelTime: 968  solveTime: 104371  totalTime: 105350  modelSize: 72271  readTime: 11 size: 15