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