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