(1,16) (2,20) (3,11) (4,13) (5,7) (6,22) (8,17) (9,21) (10,15) (12,27) (14,30) (23,25) (28,29) 
nodes: 3871  conflicts: 60  modelTime: 956  solveTime: 12317  totalTime: 13285  modelSize: 72262  readTime: 12 size: 13