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