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