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