(1,14) (2,9) (3,30) (4,28) (5,19) (6,7) (8,15) (10,25) (11,17) (12,18) (13,20) (22,23) (24,26) (27,29) 
nodes: 32395  conflicts: 26  modelTime: 981  solveTime: 79559  totalTime: 80551  modelSize: 72276  readTime: 11 size: 14