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