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