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