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