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