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