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